无穷维反应扩散过程的唯一性

本文用极大值原理证明所构造的无穷维反应扩散过程的唯一性,排除了文献[2]中的多项式增长条件,设Z_+为非负整数集,S为可数集,E=Z_+~S,对每一u∈S,给定Z_+上的函数C_u≥0和保守Q矩阵Q_u=(q_u(i,j)),为了方便,约定C_u(0)=0,q_u(i,j)=0,如j<0,再给定S上的转移矩阵P=(p(u,v)),取正可和数列{α(u);u∈S},使(?)P(u,     

一类广义Fisher方程的波前解

当反应函数F(u)有多个零点时,文献[1—3]都讨论过反应扩散方程u_t=u_(xx) F(u)的行波解问题.本文讨论一类广义Fisher方程对我们的问题,文献的方法都不适用,我们采用一种较简单的方法来处理.此方法可用于更一般的方程 u_i=(u~m)_(xx) u~nf(u)(m>0)和f(u)有更多个零点的情形.在u>O的地方令u’=P,易证明(2)式等价于     

半空间上半线性椭圆型方程组正解的对称性

1979年,Gidas等人用平移平面法结合极大值原理讨论了椭圆型方程正解的对称性和单调性.此后十几年中,这方面的研究工作开展得十分活跃,如Gidas等人证明了“如果u∈C~2(?)是方程面△u u~p=0,u(?)Ω=0在半空间Ω=│x=(x_1,x_2,…,x_N)│X_N>0│中的非负解,12是空间维数,则u只依赖于X_N”正如文献[2]中指出的那样,这个结果好就好在对解在无穷远处未加限制.1993年,Berestycki等人应用文献[4]中提出的滑动方法证明了“如果u∈C~2(?)是方程△u f(u)=0,u(?)Ω=0在半空间Ω=│x=(x_1,x_2,…,x_N)│x_N>0│中的正解,且supu=M< ∞,f是[0,M]上的Lipschitz连续函数,f(M)≤0,则u只依赖于X_N”上述这些结果,以及由此产生的各种方法,如平移平面法、滑动方法、窄区域上的极值原理等等,对我们研究非线性椭圆型方程的解的对称性、单调性及解的先验估计等提供了某些行之有效的办法.关于半线性椭圆型方程组的解的对称性和单调性研究,至今为止还未广泛开展.众所周     

一类平面E3的极限环

当p=q=r=s=0时,(1)式为文献[1]的二次微分系统的I类方程,并已证明:对于任意的a,l,n,I类方程至多有一个极限环;当l=m=n=0时,(1)式为文献[2]研究的平面三次系统,并利用二次型理论,Poincare-Bendixson定理,Levinson-Smith定理得出一系列结论.本文在更大的参数范围内得到(1)式存在极限环的充分条件.作地形系.当n~2 4s<0时,(3)式是一族包围原点的闭曲线;当n~2 4s≥0时,(3)式以P为分界线,当C>φ(k)时,λ(x,y)=c是一条围绕原点且包含Γ于其内部的闭曲线,当C<φ(k)时,λ(x.y)=c是由两个互不相交(可能重合)闭分枝组成,分别位于Γ内部.借助Poincar(?)-Bendixso定理和无穷远的方     

在迁移理论中一类非线性积分方程的极大解和极小解

一在文献[1]中给出方程u(x)=ψ(x) u(x)∫K(x,t)u(t)dμ(t)在L~1(μ)中存在唯一解的充分条件.在文献[2]中给出H方程H(x)=1 xH(x)∫_0~11x 1ψ(t)H(t)dt存在两个解的充分条件(但这个条件不易检验),本文是对于一般形式的双线性型方程     

关于积分Schoenberg样条的一些结果

设△_n:0=x_0相似文献   

自正交卷积码约束长度的下界

按照Massey的思想,文献[1]引进了自正交卷积码,这类卷积码的优点是可以采取门限译码,且错误扩散是有限的。对于一个码长n_0=k_0 1和设计距离d均给定的(mn_0,mk_0)-自正交卷积码,其编码约束长度n=mn 0有如下的下界(见文献[1]或[2]中系13.1):     

退化和奇异抛物型方程差分解的收敛性

渗流方程u_t=f(u)_(xx)由于扩散系数有零点,其解可以不光滑。当f'(u)是退化或奇异时,文献[1]给出差分解收敛性证明,同时证明微分方程解的存在性。本文用类似的方法,在估计中作了改进,研究另一种退化或奇异非线性抛物型方程     

关于映射稳定性的弱猜测

关于微分流形的可微映射的稳定性问题,文献[1]中给出过如下的猜测: γ-稳定性猜测。对于任二拟紧C~∞微分流形V和M,L(V,M,∞)中几乎所有的映射都是γ-稳定的(∞≥γ≥0)。其中“几乎所有”卽除去可数个无內点的闭集之和的意思。γ=∞时称为強猜测,γ=0,1时分別称为弱猜测和次弱猜测。文献[1]中证明了当∞≥γ≥2时上述γ-稳定性猜测都是错误的。于是仅留下     

导数的非线性Schrdinge矿方程的Zakharov-Shabat方程

导数的非线性Schrdinger方程iu_1+u_(xx)+ⅰ(|u|~2u)=0 (1)的反散射解法可以由文献[1]中引入的Lax偶出发来建立,以Jost解表出的Zakharov-Shabat方程可以表述如下:     

用满足Micchelli条件的Kantorovi■型算子的L逼近性质

设T是C[0,1]■AC[0,1]的线性算子,对g(u)∈C[0,1]有:T(g(u),0)=0,T(g(u),1)=g(1),f(t)∈L[0,1],F(u)=integral from 0 to n (f(t)dt),A(f(t),称A为Kantorovi(?)型算子,记为A∈(?),它是Kantorovi(?)多项式P_n(f)的推广。B_n~([k])(F)和和P_n~([k](f)分别是Bernstein多项式B_n(F)     

有限维单Lie代数的拟有理自同构

本文所用述语及符号与文献[1]中所用一致。 以下总假定g是一个X_N型的单有限维复Lie代数,n是取定的一个CSA,△′是相应的根系,{a′_1,…,a′_N}是取定的一个素根系,e_i,f_i,h_i(i=1,2,…N)是取定的一组标准生成元.如文献[1]中§8.2所述,对于g的k阶自同构u,引入记号E_i,F_i,H_i(i=0,1,…,l),那么 E_0,…,E_1生成g.令     

二参数Harnesses和对Brown单的表征

一、引言 随机过程的Harness性质开始由Hamersley和Williams所研究。文献[3]把单参数过程(X_t;t>0)的下列性质作为一个重要的Harness:对任何s相似文献   

具有非线性阻尼与软弹簧系统的极限环及其对机械振动的应用

§1.本文研究控制方程 其中,0<λ<1,μ>1 λ,β>0.(1.1)式是工程实践中提出的非线性振动模型。当β=0,1 λ μ<2时,已在文献[1]中讨论过。文献[2]用图解法讨论过(1.1)式的一个具体数值例子。文献[3]曾研究(1.1)式中a或b等于零时,位移项有参数激励的极限环     

伴随于可积系Lax表示的Lax算子代数

最近许多著名的1+1维可积系的Lax算子代数被直接提出,本文旨在给出可积系Lax算子代数的一般描述。引用文献[4]中的符号。设B表示所有复(或实)的C~∞可微函数P[u]=P(x,t,u),B~r={(P_1,…,P_r)~T|P_i∈B),V~r表示所有C~∞可微的线性算子Φ=Φ(x,t,u):B~r→B~r,而     

二维可数状态Markov过程的首达时间

随机模型的研究中经常涉及Markov过程(以下简记为MP)首达时间的计算问题,例如在随机服务系统与网络中的等待时间、逗留时间与忙期等重要指标都是相应Markov过程的首达时间.迄今为止,不少文献讨论过某些特殊MP或Markov更新过程的这类问题,例如文献[1～5].但是对一般MP而言,只有个别论文研究过首达时间,如文献[6,7],而且在可数状态时其误差不仅难以控制,同时对时间 t也非一致.最近,Hsu和Yuan研究了在任意初始条件下一般可数MP的首达时间,并导出了具有一致误差的算法,使该问题得到了圆满的解决.然而,众所周知,上述所有结果都仅对至多一维为可数状态的多维MP成立,这远远不能满足实际应用的需要,因为在现实生活的各种随机模型中经常会遇到多维可数MP的问题,如多结点随机服务网络、多输入匹配服务系统等等.因此研究二维或多维可数MP的首达时间问题自然就显示了其重要的理论意义与应用价值.     

关于判定问题的两个注记

1.在文献中Castaneda对Lewis模态命题演算S5证明了一条定理。此定理表明演算S5具有有穷模型性质,从而由之可推出S5的可判定性。略早于文献[1]时,著者在文献[2]中对于演算(?)_ε得到一条类似的定理,即文献[2]中的定理6。这里应指出,Castaneda在文献[1]中的定理和文献[2]中的定理6实质上是等价的。这里先对文献[2]中有关部分作一些修正。文献[2]的定理6陈述中的“B_0~()”应改为“B_0~(<2n>)”;相应地,该定理证明中     

二次系统(Ⅱ)_(m=0)的极限环之唯一性问题

文献[2]暗含奇点O外围的极限环或(A)位于过鞍点M的分界线围成的区域中(称O外围的极限环由奇点M决定);或(B)位于过鞍点N的分界线围成的区域中(称O外围的极限环由奇点N决定)。对情形(A),文献[2]用无切直线方法给出了方程(1)至多有一个极限环的一些参数条件。对情形(B),文献[2]除了举出当δ取某些值时,O外围至少出现2个极     

Wl,p(Rn)(1<P<+∞)函数的Lp可微分性

由文献[1]我们知道,每个函数f,是L~p连续的,即 (integral from n=R~n to ∞(|f(x+h)-f(x)|~pdx))~(1/p)ljt→0,当h→0。 在文献[2]§Ⅰ.4中,关于L~p连续性获得了更深入结果:命题 设则     

关于丢番图方程x~4-pqy~2=1

关于丢番图方程x~4-Dy~2=1,D>0,且不是平方数,(1)有过许多工作,例如Nagell、Ljunggren、Cohn和作者,都分别得到过若干结果(见文献[1])。我们在文献[1]中证明了D(?)3(mod 8),且当x~2-Dy~2=1的基本解ε=x_0+y_0D~(1/2)满足2