一类半线性退化进化方程组的Cauchy问题

本文考虑高阶半线性进化方程组Cauchy问题广义解和古典解大范围的存在性、唯一性和正则性,其中u(x,t),f(u),φ(x),是J维向量函数。A_m(t)(m=1,2,…,M)是非负定矩阵,B_r(t)(r=0,1,…,R)是对称矩阵,c_p(p=1,2,…,P)是对称非负定常数矩阵,这些矩阵可以是奇异的。因此方程组(1)包含着下列情况:其中几个方程是抛物型或拟抛物型偏微分方程组,而另一些是常微分方     

核反应动力学中的一个半线性抛物型方程组

本文讨论核反应动力学数学模型的半线性抛物型方程组的初边值问题正平衡解的存在性与门槛结果,其中u_1是中于通量,u_2是反应堆温度.a,b,α>0,Ω(?)R~N有界,(?)Ω∈C~β,u_(10)(x),u_(20)(x)∈C~β(Ω),0 <β<1,n是(?)Ω上的单位外法向.(1)式的边界条件表示系统与外界有热交换.当α=0,即系统绝热时,许多作者都讨论过(1)式的解的整体存在性、渐近性和爆破问题,见文献[1,2]及其参考文献.由抛物型方程组的经典结论容易知道(1)存在局部解且非负.同时容易证明,当B≤0时(1)式的解整体存在且一致趋于零(t→ ∞).下面我们只讨论B>0,作变换可认为B=1.先讨论(1)式的正平衡解的存在性.     

任意初始点下的广义梯度投影方法

本文考虑问题(NP): 其中只={x∈E~n丨h_i(x)≤0,j=1,2,…,m}。 记I={1,2,…,m},g(x)=-▽f(x),φ_θ(x)=max{0,φ(x)},A(x)=(▽h_i(x),j∈I);H(x)为-n×n维对角矩阵,其主对角元为     

随机线性方程组的一个极限性质

考虑随机线性方程组这儿W_n=(w_(ij))_(nxn),w_(ij),i,j=1,2,…为一列iid随机变量序列且EW_(ij)=0。V_n=(α_1,…,α_n)′为n×1列向量,{α_n},n=1,2,…为一列常数序列。这类方程组在一些物理大系统中起着十分重要的作用.Geman和Hwang(参见Z.wahrsch.     

一类非线性波动方程组差分格式的理论分析

的初边值问题和周期初值问题的差分计算中的理论问题。其中向量φ=(ψ_1,ψ_2,…,ψ_L)~T为复值函数向量,未知函数X(x,t)为实值函数;μ,δ,ν均为实常数;在文献[1,2]中研究了该类三维非线性波动方程组的三维孤立子问题。在文献[3]中证明了这类非线性波动方程组光滑解的存在唯一性。本文对一维非线性波动方程组的初边值问题给出隐式差分格式,证明了该格式依C~1模的收敛性和稳定性,并由差分解的高阶差商的一致性估计得到了微分方程组广义解的存在性。对多维非线性波动方程组的周期     

全局渐近稳定性的Jacobi猜想的证明

设f∈C~1(R~2,R~2),f(o)=0.考虑平面微分方程x=f(x) (1)很久以来人们猜测:如果(?)x∈R~2,f的Jacobi矩阵Df(x)的特征值都具有负实部,则微分方程(1)的零解全局渐近稳定.在文献中,此猜想被称为Jacobi猜想或平面Markus-Yamabe猜想.1963年,Olech证明此猜想等价于f的全局单射性.1988年,Meisters和Olech证明,当f是多项式映射时,Jacobi猜想成立.1991年Gassull,Llibre和Sotomayor证明,当f是Khovansky函数(一类解析函数)时,Jacobi猜想成立.本文对一般情况证明了Jacobi猜想成立.1 预备知识设S~k(R~2,R~2)={f∈C~k(R~2,R~2)|(?)_x∈R~2,Df(x)是稳定矩阵},k=1,2,…, ∞ .设f∈S~∞(R~2,R~2),则(?)_x∈R~2,Lyapunov矩阵方程Df(x)G(x)十G(x)(Df(x))~T=-I_2 (2)有唯一正定解G(x),其中I_2为2×2单位阵.显然G∈C~∞(R~2,R~(2×2)).定义微分方程(?)y=G(y)ν,ν∈R~2, (3)y(0)=x,     

富里埃级数论中一些定理的等价性

1.设x·g(x)∈L(0,π),b_m(g)=2/πintegral from n=0 to n=π g(x)sin nxdx(n=1,2,…)。杨义群改进了Boas的定理,证得     

关于U-统计量列完全收敛的一个不等式

对任意实数a_1,…,a_n,n=1,2,…设 a_n~*=max|a_i|. i≤n {x,x_n:n=1,2,…}为定义于同一完备概率空间(Ω,(P),取值于R的r.v.列。 S_o=O。S_n=sum from i=1 to n X_i, T_n=sum from 1≤i≤j≤n X_iX_j,n=1,2,…周元燊于1991年提出定理A 设{X,X_n:n=1,2,…}     

带不等式约束数学规划的总极值问题

近年来国内外对数学规划方法都有广泛的研究,但大都在较强的条件下证明算法收敛于局部解,或在一些特殊类型问题时才讨论总体解问题。本文作者提出了在很弱条件下收敛于总极值的方法,这些方法已获得应用,本栏的《透镜初始解的自动创成》,一文即其一例。设f(x),g_i(x),i=1,…m是n维欧氏空间R~n中区域G上的连续函数,考虑带不等式约束的数学规划问题:     

线性迭代算法基本定理

我们考虑非定线性方程组:Ax=b。 定理1 线性迭代法x~(k+1)=Sx~k+d,k=1,2,…对任意初值x~0都收敛的充要条件是: (1) x=Sx+d有解。     

Kuhn求根算法的收敛速度

设f(x)是n次复多项式。H. W. Kuhn构造了序列(x_(jk),d_(jh),j=1,…,n,k=1,2,…,使得,这里x_1,…,x_n都是,f(z)的根(Fixed Points; Algorithms and Applications, Acade-mic Press, New York. 1977)。     

关于具有限时滞Liénard方程周期解的存在性

关于具有限时滞的Liénard方程x(t) f(x(t))x(t) g(x(t-r))=0 (0.1)的周期解的存在性的研究已有很多,但多数对g(x)都假设x∈R\{0}时X·g(x)>0.该条件对某些实际背景很强的方程是不成立的.如向日葵方程a(t) (a/r)a(t) (b/r)sina(t-r)=0就不满足上述条件.关于方程(0.1)的周期解的研究可参阅文献[2～4]及其参考文献.本文的目的在于以滞量r为参数,在减弱条件x·g(x)>0的基础上,给出保证方程(0.1)存在非平凡周期解的充分条件1 零解的稳定性及Hopf分支对方程(0.l),假设r>0为常数f,g∈C~2且g(0)=0.记f(0)=m,g’(0)=n,且设m>0,n>0.令x=y,则方程(0.1)化成等价系统     

无限维中Hamilton-Jacobi方程的平均化及应用

本文研究无限维中带有快速变量的Hamilton-Jacobi方程在粘性解意义下的平均化。考虑某个Hilbert空间X上的Hamilton-Jacobi方程: 其中为连续映射;是周期为1的周期函数。从文献[1,2]知,在适当条件下(见第1节),方程(1)有唯一的粘性解V_ε(t,x)。本文用到粘性解的定义见文献[1～3]。满足 本文证明了,如果L_ε不依赖于ε(可依赖于R),则当ε→0~ 时,V_ε(t,x)的极限存在,且其极限V(t,x)是如下HJB方程的唯一粘性解:     

关于一类变系数线性微分差分方程组稳定性探讨

本文主要研究变系数及变时滞线性微分差分方程组其中a_(if)(t),b_(if)(t)(i,j=1,2,…,n)均为连续有界的实函数,时滞r(t)>0为连     

一个特征在某一零测集上线性退化的2×2双曲守恒律组粘性解的收敛性

其中u_o~ε(x),υ_o~ε(x)分别是u_o(x),υ_o(x)的磨光函数.当系统(1)的两个特征在全平面上线性退化时,Serrs在文献[3]中也证明了方程组(4)的粘性逼近解的收敛性.陈贵强考虑了系统(1)的一个特征真正非线性而另一特征在全平面上线性退化的情形,并对某些特殊的守恒律组证明了粘性逼近解的收敛性,但当系统(1)的一个特征真正非线性,另一特征仅部分线性退化时,研究由方程组(4)定义的粘性解的收敛性似乎十分困难.本文在假设(A1)～(A3)下,通过对Lax类型的行进熵波的深入分析,证明了方程组(4)的粘性逼近解的点点收敛性,从而建     

一类含时滞的偏泛函微分方程解的稳定性

考虑含常时滞的偏泛函微分方程其中A(t),B(t)是在R~+=[0,+∞)上连续的n×n矩阵,D(t)=diag(d_1(t),…,d_n(t)),C(x,t)=diag(c_1(x,t),…,c_n(x,t)),而d_i(x,t)>0,c_i(x,t)≥0,i=1,2,…,n。φ是Ω×[—τ,0]上适当光滑的已知n维     

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

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”上述这些结果,以及由此产生的各种方法,如平移平面法、滑动方法、窄区域上的极值原理等等,对我们研究非线性椭圆型方程的解的对称性、单调性及解的先验估计等提供了某些行之有效的办法.关于半线性椭圆型方程组的解的对称性和单调性研究,至今为止还未广泛开展.众所周     

非负边界控制抛物型系统的能控性问题

本文考虑最简单的抛物型方程定义状态空间X=C[0,1],控制空间U=L~∞(0,∞)∩L~2(0,∞),则对每一给定的(?)∈U,方程(1)存在唯一解y(t,x;(?)):y(t,x;(?))=integral from n=σ to I(G(t-s;x,(?))(?)(s)ds),(2)其中G(t;x,ξ)=sum from l=0 to ∞e(?)e_l(x)e_l(ξ),(3)λ_0=0,e_σ(x)=1,λ_l=l~2π~2,e_l(x)=2～(1/2)coslπx,l=1,2…     

关于具有限时滞Liénard方程周期解的存在性

<正>关于具有限时滞的Liénard方程x(t)+f(x(t))x(t)+g(x(t-r))=0 (0.1)的周期解的存在性的研究已有很多,但多数对g(x)都假设x∈R\{0}时X·g(x)>0.该条件对某些实际背景很强的方程是不成立的.如向日葵方程a(t)+(a/r)a(t)+(b/r)sina(t-r)=0就不满足上述条件.关于方程(0.1)的周期解的研究可参阅文献[2～4]及其参考文献.本文的目的在于以滞量r为参数,在减弱条件x·g(x)>0的基础上,给出保证方程(0.1)存在非平凡周期解的充分条件.     

两侧逼近区间松弛法

本文讨论求解非线性方程组x=f(x)=g(x)+h(x)+c,x∈R~n,其中,g,h:R~n→R~n分别是保序和反序映射。当初值y~(0),z~(0),y~(0)≤z~(0)满足时,两侧逼近迭代法和两侧逼近区间迭代法都无法使用,为此,本文给出了新的算法并证明了算法的收敛性和(1)式解的存在唯一性。