一类高阶多维非线性进化方程组Cauchy问题解的渐近性态

f(0)=0,其Jacobi矩阵半有界,即存在常数b以致成立(ξ,f'ξ)≥b(ξ,ξ),ξ=(ξ_1,…,ξ_J) (3)φ是向量u的数值函数,二次连续可微,且φ(0)=0;Q_u表空间R~u。     

半线性退化双曲拟双曲耦合方程组

其中A_m与B_m是非负定常数矩阵,u与f(u)是J维向量函数。(1)式包含着物理、生物、力学等问题中出现的许多方程组。如半线性双曲方程(Klein-Gordon,Sine-Gordon,非线性强迫弦振动等),半线性拟双曲方程(神经传播方程等)以及部分双曲型与部分拟双曲型耦合方程组。本文用Galerkin方法讨论(1)的周期边界问题     

半线性热方程Cauchy问题的生存时间

当1相似文献   

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

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

非线性退化双曲型方程的Cauchy问题

本文考虑非线性退化双曲型方程的Cauchy问题~~     

一类退化非线性抛物型方程组的变网格有限元方法

本文研究一类退化非线性抛物型方程组的初、边值问题~~     

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

本文讨论核反应动力学数学模型的半线性抛物型方程组的初边值问题正平衡解的存在性与门槛结果,其中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)式的正平衡解的存在性.     

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

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

一类对流扩散方程Cauchy问题的概率求解

在力学中广泛地存在对流—扩散问题,对流扩散方程具有重要作用.本文利用鞅的方法讨论了一类非齐次对流扩散方程Cauchy问题:     

一类半线性抛物系统正解的爆破速度

近来有关抛物方程爆破问题的研究有了较大进展,越来越多的工作是对抛物系统爆破条件、爆破速度、爆破点集及渐近形态的研究,本文考虑如下Dirichlet问题: u_t-△u=υ~q,υ_t-△υ=u~q,(x,t)∈B_R×（O,T） u(x,t)=υ(x,t)=0,(x,t)∈S_R×(O,T), (1) u(x,0)=u_0(x),υ(x,0)=υ_0(x),x∈B_R, 其中B_R={|x|1（不妨设p≤q）,u_0,υ_0∈C~2是径向对称非增非负函数满足u_0(x)=υ_0(x)=0,x∈S_R且△u_0 υ_0~P≥0,△υ_0 u_0~P≥0,x∈B_R.我们得到 定理 设（u,υ）是式（1）的非平凡解,在有限时刻T爆破,那么存在常数c和C使得 c（T-t）~（-α）≤ sup_x∈B_Ru（x,t）=u（0,t）≤C（T-t）~（-α）,t∈（0,T）, C（T-t）~（-β）≤sup_x∈B_Rυ（x,t）=υ（0,t）≤C（T-t）~(-β),t∈（0,T）,     

一类高阶退化双曲抛物型耦合方程组的周期边界问题和初值问题

在文献[1—5]中周毓麟、符鸿源研究了非线性高阶双曲、拟双曲、抛物、拟抛物型方程组和耦合方程组的周期边界问题和初值问题。这几种类型的方程组或它们的耦合方程组在物理、化学反应和生物学的研究中常常出现。     

一类退化方程的初值问题

大家知道,对于退化方程Lpu≡u_(xx)-x~2u_(tt) Pu_t=0的初值问题,在c~∞函数类中讨论,有所谓离散现象。在解析函数类中讨论,则另有一个奇怪的现象:即只要给一个初值条件就完全确定了方程(P≠0)的解。这说明退化方程具有独特的性质。本文讨论更高阶退化的情形,即讨论初值问题:     

半线性热方程的blow-up问题的一点注记

R. O. Ayeni(SIAM. J. Math. Anal, 14(1983),1),考虑如下问题:u_t=△u=f(x,t,u),t>0、掌∈经R~n (1)u(x,0)=u_0(x),u_0(x)≥0,x∈R~n (2)u(x,t)=0,当|x|→∞时,(3)在有限时间内blow-up。他对函数f的假定为     

一类带非线性边界条件的抛物型方程组

带非线性边界条件的抛物型方程组解的整体存在性和爆破问题,据作者所知,目前的研究工作较少.文献[1—4]利用凸性方法,讨论了一类问题的古典解在有限时刻爆破的充分条件.本文讨论     

一类燃烧方程组广义解的存在性

考虑下面燃烧方程组的Cauchy问题:a,灭.一戈u.节qz j.,,Ut具r(“)一。,aX己石,z+冷中(“)公~0,口不(x,r)〔R xR*, (l) (“(x,o),:(x,0))~(,。(二), 20(二)),x〔R,(2)其中及,宁是正常数,f(“)是光滑函数,币(u)定义如下:律广义解的证明,在f非凸以及初值在有界可测函数类中得到(1)、(2)式广义解的存在性.本文主要结果是 定理设声〔Cl且没有区间使得f是线性的,初值是有界可测函数,则Cauoh}问题(l)、(2)式的广义解存在.价(u)一l,u>00,u蕊0. 上述模型由Maida[1]提出,滕振寰、应隆安〔2.3,对这类问题进行了系统研究,他们利用广义特征及差分格式…     

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

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

线性半锁归结方法

1965年Robinson提出归结方法后,引起了人工智能学者的重视,纷纷对这一方法做了很多精练和改进。著名的工作有Slagle(1967)提出的语义归结方法,Loveland和Luckham(1970)提出的线性归结方法,以及Boyer(1971)提出的锁归结方法。 这三种改进方法之间的相容性问题,是进一步改进归结方法的途径。1978年本文作者证明了语义归结和锁归结是相容的,提出了锁语义归结策略;1979年证明了语义归结和线性归     

广义线性半锁归结

文献[1,2]提出的广义归结方法,把归结方法引入到了一般的公式集(广义子句集)中,使得对问题的描述更为自然,并证明了广义线性归结和广义锁归结的完备性。文献[4]在分析了(常义)线性归结和锁归结不相容的基础上,提出了(常义)线性半锁归结方法,并证明了其完备性。广义线性归结和广义锁归结也是不相容的,为此,本文引入了广义线性半锁归结方法,并     

一类复数的对数的线性形式

以Q,C,Z分别表示有理数域,复数域,有理整数环.设A_1相似文献   

一类齐性半单空间

称流形M上的1-1型张量场I为复结构,是指满足I~2=-1及可积性条件 I~2[X,Y]-I[IX,Y]- I[IX,IY]+[IX,IY]=0, (?)X,Y∈Γ(TM)。 本文把复结构推广为半单结构,只保留了可积性条件,把I~2=-1推广为只要求I满足f(I)=0,其中f(x)是一个无重根的实多项