有限集上的拓扑数的探讨

本文尝试对有限集上的拓扑空间结构进行探讨,得到有限集上的T_0空间、正规、正则空间的一种刻画,给出有限集上互不同胚的拓扑空间个数的一个估计式。一、有限集上的拓扑分类设φ_n是n元集S上所有拓扑组成的集合.今将φ_n按如下办法划分成n类:命题1:(?)T∈φ_(n.i),如果u_1,u_2是T中两个势为i的开集,且u_1≠u_2,则s=u_1∪u_2。证明:u_1,u_2∈T,则u_1∪u_2∈T.由u_1≠u_2,有|u_1∪u_2|>|u_1|=i,由T∈φ_(n,i)及φ_(n,i)的定义知s=u_1∪u_2。命题2:(?)T∈φ_(n,i),则T中至多有[n/(n-i)]个不同开集的势为i。     

一类半线性微分方程组第三边值问题的差分方法

本文旨在证明形如 u_t(x,t)=Auxx(x,t) f(u)微分方程组的第三边值问题近似解的存在唯一性问题。其中: (z,t)∈(0,L)×(0,T)=G_T u(x,t)=(u_1(x,t),u_2(x,t),…,u_m(x,t)) f(u)=(f_1(u),f_2(u),…,f_m(u))其边值条件为“u_x(0,t)=σ_1u(0,t),u_x(L,t)=-σ_2u(L,t) u(x,0)=φ(x),σ_1>0,σ_2>0,φ(x)满足边界条件: φ′(0)=σ_1φ(0),φ′(L)=-σ_2φ(L) [1]的作者解决了上述方程组的第一、二边值问题,本文用与[1]类似的方法解决了第三边值问题。实际上,对A,σ_1,σ_2和f含t变量的同类边值问题也有类似的结论。本文为简明计,仅对条件与[1]相同的情况进行论证。     

二阶耦合拟线性抛物组边值问题的周期解

本文利用有限维正交投影方法证明了下述边值问题u_j1-a_j(u_j)_(xx)+σ_ju_j+f_j(t,x,u)=g_j(t,x),(t,X)∈G=(0,π)×(0,π),-α_(j1)u_(jx)+β_(j1)u_(j)|_(x=0)=0α_(j2)u_(jx)+β_(j2)u_(j)|_(x=π)=0 j=1,…,n在假设条件(4)-(6)成立时,于少有一周期解u_j∈W_1~(2,1)(G)。当a_j(u_j)=u_j时,文[7]讨论了此种情形,但是我们得到的结果u_j∈w_2~2(G)且u_(jx)∈W_1~(2,1)(G),比文[7]的结果强得多。     

THE COMPLEX FORM AND EXISTENCE THEOREM OF GENERALIZED SOLUTION FOR NONLINEAR ELLIPTIC SYSTEMS OF THIRD ORDER

Let G be a simply connected bounded domain, we consider the system of partial differential equationsof third order in Gφ_j(x,y,u,v,u_(10),v_(10),u_(01),v_(01),...,u_(03),v_(03)) = 0, (j = 1,2),(1)where u_(ik) = U_(x~i_y~k), v_(ik) = V_(x~i_y~k)(0≤i, k≤3), φ_j (j = 1, 2) are continuous real functions of the variablesx,y[(x,y) ∈G] and u_(ik), v_(ik)(0≤i, k≤3, i+k≤3) , and continuously differentiable for u_(ik) ,v_(ik)(0≤i,k≤3, i+k=3)Definition 1 If the system (1) satisfy the following conditions in G respectively|A_30λ~3 + A_(21)λ~2+ A_(12)λ+ A_02|≠0,λ∈R.(2)3A_(30)+ _(21) + A_(12)+ 3 _(03)|≠0.(3)then (1) will be called π-elliptic type and π-strong elliptic type equation system respectively, where     

带利息的风险模型中破产前索赔次数的矩

在带利息的经典风险模型中,计算了公司初始盈余u=0时Gerber-Shiu型函数φ_(r,δ)(0)以及在第n次索赔时破产的概率p_n(0).得出了公司初始盈余u 0时第n次索赔时破产的概率p_n(u)的表达式,利用这个公式及拉普拉斯变换得出了u=0及u 0时破产前索赔次数的矩.     

R~n上超线性椭圆型方程组整体极小解的存在性

本文考虑下列超线性椭圆型方程组-△u_i=f_i(x)g_i(u_1,u_2…,u_n)x∈R~n i=1,2,…,n 的整体极小解的存在性。所谓极小极是指 u=(u_1,u_2,…,u_n),u_i∈C_(loc)~(2+α)(R~n),sup(1+|x|)~(n-2)|u_i∞|<+∞且满足对任何φ∈C_0~∞(R~n),∫R~n▽u_i▽φdx=integral from x∈R~n R_nf_i(x)g_i(u_1,u_2,…u_n)φdx。本文用拓扑度方法证明了,在 f_i(x)、g_i(u)满足一定条件下,方程组存在正的整体极小解。     

复合函数求导数法则的证明的改进

设y=f(u),u=φ(x),u在x_0可微分;u_0=φ(x_0),y在u_0可微分,则复合函数y=f(φ(x))在x_0可微分,而且(1) dy/dx|_(x=x_0)=f′(u_0)·φ′(x_0)。这个复合函数求导数法则的证明,在通常的数学分析教科书上,有如下两种: 〔证法一〕给x从x_0起取增量△x(≠0),则相应地函数u从u_0起得增量△u,y从f(φ(x_0))起得增量△y。因为f′(u_0)存在,所以当△u≠0时,令α=△y/△u-f′(u_0),就有limα=0,而且 △u→0     

概率度量空间的若干结果

本文给出文献[1]中定理8.15及8.25的逆定理,并证明其中的条件是最佳的.为方便计,我们将所得的逆定理与原有结果适当修正综合起来以充要条件的形式叙述.引理1 设T是左连续t-范数,且L是满足交换律、结合律的算子,并满足若u_1a+b,由于L(a,b)≤Sum(a,b)≤a+b相似文献   

关于半线性双曲方程解的爆破问题

本文讨论半线性双曲方程u_(tt)-sum from n=(i,j=1) to n(a_(ij)(x,t)u_(x_i))_(x_j)=f(x,u)的爆破问题,并给出其初边值问题的解在有限时间内爆破的充分条件,这个结果不同于文献[1]、[2]的结果.     

锥上的逼近定理和不动点定理

X是Banach空间,KX是一个锥,intK≠φ;K_R={x∈K:0≤ⅡxⅡ相似文献   

空间B_(p1q)~(r)(φ)与差分法的L_p(φ)误差估计

在[1]中我们引进了空间L_p(φ),E_p(φ),在本文中我们把Бесоб空间B_(p1q)~(r)中[见2]的L_p范数换为L_p(φ)范数,新得的空间称之为B_(p~1q)~(r)(φ)。我们将证明B_(p~1q)~(r)(φ)的一个迹定理,并把这个方法应用到初值问题的差分法的误差估计上,而得出差分法的L_p(φ)误差估计。§1.以E_n表n维欧氏空间,x=(x_1,…,x_n),令f(x)=L_p(φ),?f?_(LP)(φ)简记为?f?_(p,φ),f(x)的k阶L_p(φ)光滑模定义为     

关于Euler-Totient链

本文讨论函数链φ_1(n)>φ_2(n)>…>φ_t(n),其中φ_1(n)为Euler函数φ(n),φ_k(n)=φ(φ_(k-1)(n)),t=min{k}.估计了链长l(n)=t 及和 S(n)=φ_1(n)+…+φ_t(n),φ(n)=1得到■证明了v(n)=(S(b))/n 在数列{m_r=np~r}上的单调性;s(n)=n的除去3的幂以外的解,在素因子有上界的整数中只有有限多个。     

体上特征矩阵的简化形式的唯一性定理

对体K上任意n阶矩阵A,特征矩阵λI-A 可由一些初等变换化成对角形:使得φ_1(λ)|φ_2(λ)|…|φ_s(λ),这些φ_1(λ)(i=1,2,…,s)都是K上首项系数为1的多项式。 在本文中给出了(1)是由A所唯一确定的充要条件,同时也推广了Cayley-Hamilton定理。     

一类四阶Kirchhoff型问题的多解性研究

利用Ricceri变分原理研究了四阶Kirchhoff型问题{Δ(Δu_i︱~(p_i-2)(Δu_i)-[M_i(∫_Ω︱▽u_i︱~(p_i)dx)]~(p_i-1)Δ_(p_i)u_i+ρ_i︱u_i︱~(p_i-2)u_i=λF_(u_i)(x,u_1,…,u_n),x∈Ω,u_i=Δu_i=0,x∈Ω,解的存在性与多解性.     

Euler-Poisson-Darboux方程的奇型第三问题

本文讨论了Euler-Poisson-Darboux方程E(k/2,k/2)u=u_x,-k/2 (1/(x-y))u_x+k/2(1/(x-y))u_y=0(k>2,k不是自然数)(1)的奇型第三问题我们把方程(1)的解u分为在奇线附近有不同奇性的两部分u_1、u_2,再逐一来求u_1、u_2.用这一方法克服了方程(1)在讨论第三问题时用一般方法遇到的困难,从而解决了问题(E).     

∑_4关系式在确定晶体结构中的应用

本文在高级∑关系式最新研究成果的基础上,提出了一套可行的利用∑_4关系式计算h_1反射相角为0的概率P (h_1)的方法,并用ALGOL-60语言编制了∑_4计算程序。用这个程序计算了EuP_5O_(14)(空间群P2_1/C)衍射数据中的27个结构半不变量的相角为0的概率。得到的相角同结构经最小二乘修正后的最后相角φ_c符合得很好,从而首次实现了∑_4关系式在确定晶体结构中的应用。     

复合算子在β_μ(B)空间到β_μ(D)空间上的有界性

给出了复合算子C_φ=f°φ在β_μ(B)空间到β_μ(D)空间上的有界的充分必要条件,以及复合算子C_φ=f°φ在β_(μ,0)(B)空间到β_(μ,0)(D)空间上的有界的充分必要条件.     

Ostrovsky方程的Cauchy问题

研究Ostrovsky方程的Cauchy问题{u_2+αu_(xxx)+u_x+((u~p)_x)_x=yu, u(x,0)=φ(x),其中,x∈R,t≥0,α、β、γ是常数,p≥2是正整数.证明了该问题的解在空间χ_s中的局部存在性和解在空间χ_2中的整体存在性.     

一类具有强阻尼和强时滞的粘弹性方程解的存在性

研究一类具有强阻尼和强时滞作用的粘弹性波动方程|u_t|~ρu_(tt)-Δu-Δu_(tt)+∫_0~tg(t-s)Δu(s)ds-μ_1Δu_t-μ_2Δu_t(t-τ)=0的初边值问题,当μ_1、μ_2和记忆核g满足一定条件时,利用Faedo-Galerkin方法证明了解的整体存在性.     

解色散方程u_t=αu_(xxx)的高精度绝对稳定的隐式差分格式

对色散方程u_t=αu_(xxx)构造了一类三层隐式差分格式(1.10).它们含有非负参数α_1,α_2和α_3,其局部截断误差是O(τ~2+h~6).在条件α_1≥α_3,α_1+α_3≥α_2。(α_1+α_2+α_3=1)下,格式(1.10)绝对稳定.在(1.10)中选取适当的参数可以得到文[1]和文[2]的格式.