常系数二阶两个自变数两个未知函数线性抛物型偏微分方程组

§1 前言命A,B,C 代表三个二行二列的实数方阵,矩阵形式的偏微分方程A(?)~2/(?)x~2(u/v)+2B(?)~2/(?)x(?)y(u/v)+C(?)~2/(?)y~2(u/v)=0实际上是两个自变数x,y,两个未知函数u,v 的两个方程所成的方程组。     

常系数二阶两个自变数两个未知函数的线性复合型微分方程组——特征四次型有一实重根及一对复根的情形

§1 前言命A,B,C 代表三个二行二列的实数方阵,矩阵形式的偏微方程.(1.1) A(?)~2/(?)x~2(u/v)+2B(?)~2(?)x(?)y(u/v)+(?)~2/(?)y~2(u/v)=0实际上是两个自变数x,y,两个未知函数u,v 的两个方程所成的方程组。行列式     

常系数二阶两个自变数两个未知函数的线性双曲方程组(Ⅰ)——特征方程具有四个不同实根的情形

§.1 前言命A、B、C 代表三个二行二列的实数方阵,矩阵形式的偏微分方程组A(?)~2/(?)x~2(u/v)+2 B(?)~2/(?)x(?)y(u/v)+C(?)~2/(?)y~2(u/v)=0(1,1)实际上是两个自变数x,y,两个未知函数u,v 的两个方程所成的方程组.行列式Q(ξ,η)=|Aξ~2+2 Bξη+Cη~2|定义为微分方程组(1,1)的特征四次型,如果特征方程的根全是实根,而且不是实四重根,则(1,1)是双曲型的。本文研究Q(ξ,η)=0有四个不同实根的双曲方程组。本文是作者在华罗庚教授的直接指导下写成的,可以说是文章的继续,从问题的提出以至解决的方法都是华教授提出的,在整个研究过程中,华教授自始至终都经常给我们耐心的指导和无微不至的关怀,在这里我们对华教授给我们的热情培养表示衷心的感谢。     

两个自变数三个未知函数的二阶常系数线性双曲型、复合型、抛物型偏微分方程组的通解

在这篇文章中,我们考虑了问题:求函数u=(u_1,U_2,u_3)~T满足方程:A ( ~2u/ x~2)+2B( ~2u/ x y)+C( ~2u/ y~2)(Ⅰ)这里A、B、C为3阶常数矩阵。得到了方程(Ⅰ)的一个可分解等价条件;在标准形方面,我们指出了方程(Ⅰ)与〔1〕中方程的不同之处;给出了方程(Ⅰ)在等价变换下双曲型、复合型、抛物型方程的通解。     

非自治系统的拓扑线性化

微分方程拓扑线性化理论是由Hartman和Grobman给出的,Palmer把线性化理论推广到了非自治系统.对非自治系统的拓扑线性化理论进行扩展,讨论了系统{x′=A(t)x+f(t,x)+g(t,y) y′=B(t)y+φ(t,x)+ψ(t,y)的线性化.当f(t,x)、φ(t,x)、g(t,y)、ψ(t,y)具有特殊结构时,通过构造适当的同胚函数,把系统{x′=A(t)x+f(t,x)+g(t,y) y′=B(t)y+φ(t,x)+ψ(t,y)的解映射为系统{v′=A(t)v u′=B(t)u的解.所讨论的系统更常见,结论更实用.     

抛物线的一个几何性质

我们考虑这样一个几何问题:求一曲线Γ,使其上任一点P(x,y)之法线段(?)的平方与过R之垂线段(?)的平方之差等于C,即 (?)~2-(?)~2=C (1)则Γ的方程为y=y(x) 时有: y~2(x)+y~2(x)y′~2(x)-y~2(x+y(x)y′(x))=C其中C为常数。 通过对方程(2)的讨论,我们有如下结论:     

蕴含强(p,q)哈密尔顿性的几个条件

利用路收缩技术,证明了,如果有向图D满足下列条件中的任何一个,(1)最小半度δ0(D)≥(n+p+q)/2;(2)D是(p+q+1)强连通有向图,且d+(x)+d+(y)+d-(u)+d-(v)≥2(n+p+q)-1,这里,x,y是任意控制顶点对,u,v是任意被控制顶点对;(3)D的弧数超过(n-1)2+q2+p;那么D是强(p,q)哈密尔顿的.     

解双曲型偏微分方程初边值问题的分裂格式

本文对双曲型偏微分方程 ~2u/ t~2=A(x,t)( ~2u/?x~2) C(y,t)( ~2u/ y~2) 2D(x,t)( u/ x 2E(y,t)( u/ y) 2F(t)u γ(x,y,t)在空间方向用Hermit方法,在时间方向用差商代替微商构造了两种分裂差分格、并讨论了它们的稳定性和精度分析。最后给出了一个数值例子结果表明这二种格式都比Lees格式好。     

赋权图中最重的最长v-路与赋权周长

对2－连通非Hamilton赋权图G,本文证明：若P（u,v)是G中最重的最长路，则G的赋权周长C^w(G)≥d^w(u) d^w(v)，假设G满足文中描述的额外条件C1，C2，则max｛d^w(x),d^w(y)|d(x,y)=2｝≥m/2时，对每个顶点v,G含量最重长v-路P（u,v)使d^w(u)≥m/2，而d^w(x) d^w(y) d^w(z)≥m（当d(x,y,z)=2)时，c^w(G)≥2m/3.改进了非赋权图的周长及赋权图的赋权周长的若干已有结果。     

关于二阶线性双曲型方程的奇Cauchy问题

本文研究了如下的奇Cauchy问题:我们所得到的主要结果是:若y≠0时,a,b,c,f∈c~1,而且存在充分小的正数δ,成立估计式则当τ(x)≡0,v(x)≡0时,问题(1)(2)存在着唯一的正则解u(x,y)∈D_1[u]≡{u(x,y)|u=0(1)y~(3-m/2)}.若把关于f的条件改为D_2[u]≡{u(x,y)|u=O(1)y~(2-m/2)}.这时系数a,b,c在y→0~+时还允许有奇性,因此在00,00也可以类似地得到上面的结果.     

对称定常微流边界层

利用Oleinik的经典线性化方法,讨论对称定常微流边界层方程{uu/x+vu/y=Udu/dx+[v(y)uy]/y (ru)/x+(rv)/y=0,满足边界条件:u(0,y)=0,u(0,x)=0,v(x,0)=v0(x),lim u(x,y)y→∞=U(x)解的适定性问题.其中,v(y)>0是粘性系数,满足一定的限制条件.     

型为44的OGDD的同构分类

正交可分组设计是一个四元组(X,Y,A,B）,其中X是一个点集,Y是X的一个划分(称为组集),A和B是两个不交的三元子集簇,满足对不在同一组的任一点对{x,y}恰好出现在A的一个三元集中,也恰好出现在B的一个三元集中．进一步有(a)如果{x,y,a}∈A且{x,y,b}∈B,那么a和b不在同一组,且(b)如果{x,y,z},{u,v,z}∈A且{u,v,b},{x,y,a}∈B,那么a≠b,在这篇文章中,将证明只有一个型为4^4的OGDD的同构类．     

赋权图中重路的隐赋权度条件

对2—连通非Hamilton赋权图G，本文给出了重路存在的隐赋权度条件：将G满足文中描述的条件C1、C2，且max{id^u(u),id^u(v)|d(u,v)=2}≥m/2,则当G中存在y—最长路时，存在一最重的y—最长路P(x，y)满足d^u(x)≥m/2.     

关于无界摄动的一个结果

一、主要结果设(V,H,a)是三重结构.a(u,v)是V×V上的半椭圆自共轭连续双线型,即存在λ及δ>0满足a(v,v)+λ||v||_H~2≥δ||v||_v~2,(1)v∈V.按Lax-Milgram定理,存在算子■∈■(V,V′)适合a(u,v)=■u(v),■u,u∈V.记A=■\_(D(A)),D(A)=■~(-1)H.熟知-A是H上的C_0类(算子半群)母元. 分布参数控制理论要求讨论-(?)及-(?)受到某类无界算子摄动后的新算子-■+■是否是V′上的C_0类母元.     

三阶微分方程组非局部边值问题多个正解的存在性

利用Leggett--Williams不动点定理,研究下列三阶微分方程组边值问题{u′″(t)+a_1(t)f_1(t,u(t),v(t))=0,0t1,v′″(t)+a_2(t)f_2(t,u(t),v(t))=0,0t1,u'(0)=u″(0)=0,u(1)=g_1(∫_0~1u(s)dф_1(s),∫_0~1v(s)dф_1(s)),v'(0)=v″(0)=0,v(1)=g_2(∫_0~1u(s)dф_2(s),∫_0~1v(s)dф_2(s))多个正解的存在性,其中a_i∈C((0,1),[0,+∞)),f_i,g_i∈C([0,1]×[0,+∞)×[0,+∞)→[0,+∞)),∫_0~1u(s)dфi(s),∫_0~1v(s)dфi(s)是Riemann-Stiltjes积分,i=1,2.     

一类二阶线性变系数微分方程解法的探讨

二阶线性变系数微分方程大量出现在工程科学中,尽管这类方程求精确解困难,但实际问题往往有需要求解.对于二阶微分方程A(x)y″+B(x)y′+C(x)y=f (x),根据判别式Δ=A(x)φ′(x)+A(x)φ2(x)+B(x)φ(x)+C(x),将该方程化成新形式.当Δ=0时,该方程化为可解的一阶方程;当Δ≠0时,该方程化为新的二阶线性变系数微分方程,再探求其解法.     

几类含奇线双曲型方程的Riemann函数

一、引言已知双曲型偏微分方程(α~2u)/(αxαy)+A(x,y)(αu)/(αx)+B(x,y)(αu/(αy)+C(x,y)u=F(x,y)(1.1)的Riemann函数(本文以下简称R函数)的存在性早已被肯定,而求出R函数又是求方程(1.1)的解以及讨论其Cauchy问题的一个基本途径。然而,至今能求出R函数明显表达式的方程却并不多,已知的求法也多半因方程类型不同而异。1958年,Copson较全面地总结归纳出(已知的)求R函数的六种方法,其中之一是Chaundy在[1]中提出通过幂级数求R函数的方法。此法虽仍受方程类型的局限,但对于探求含奇线双曲型方程的R函数来说是有价值的,其意义在于该法通过变换能消除原方程的奇性,从而得出适合用幂级数求R函数的方程组。Chaundy在[1]中用这样的方法求     

两点边值问题的双向迭加法

考虑二阶线性常微分方程的两点边值问题: Lu=f(x),a≤x≤b (1) (I){ a_1u′(a)+a_2u(a)=α,b_1u′(b)+b_2u(b)=β (2) (a_1~2+a_2~2≠0,b_1~2+b_2~2≠0)不失一般性,算子L可看作 Lu=u″(x)-q(x)u(x) (3) 众所周知,方程(1)的通解具有如下迭加结构: u(x)=c_1u_1(x)+c_2u_2(x)+u_f(x) (4)其中u_1,u_2为对应(1)的齐次方程     

二维定常的微流边界层解的存在性

证明了二维边界层uδu/δx＋vδu/δy=vδ2u/δy2-dp/dx和δu/δx＋δv/δy=0满足边界条件：内解的存在唯一性,其中：X是适当小的正数;     

關於核的因子分解

Ⅰ.引言§1.在這篇文章里,我們將引用下符號: AB=AB(x,y)=integral from n=a to b A(x,s)B(s,y)ds, (?)=(?)=integral from n=a to b A(x,s)B(y,s)ds, (?)=(?)=integral from n=a to bA(s,x)B(s,y)ds, (f,g)=integral from n=a to bf(x)g(x)dx,‖f‖~2=(f,f), Kψ(x)=integral from n=a to b K(y,x)ψ(y)dy。在(?)及(?)中,我們稱A為左因子,B為右因子抑^(?)及(?)是由於“A右乘以B”或“B左乘以A”得來的。此外,記(?)是一個(x,y)的函數,這個函數合有n個因子A_1(x,y),A_2(x,y),…,A_n(x,y),且認為它是由於從左至右逐次將前面運算所得的左因子右乘以緊接着後面的右因子經過(n-1)次運算得來的?(?)是由於以(?)为左因子右乘以右因子A_3(x,y)得來的。(?)是由於以(?)為左因子右乘以右因子A_4(x,y)得來的。依此類推,則A_1A_2A_3…A_(n-1)A_n(x,y)是由於以A_1A_2…A_(n-1)(x,y)為左因