二阶线性双曲型偏微分方程组的不等距对顶点定理及其应用

考虑二阶两个自变数两个未知函数线性偏微分方程组其中,A、B、C 是二行二列的实数方阵.如果特征方程F(ξ,η)=|Aξ~2 2Bξη Cη~2|=0的根全为实根,而且不是实四重根,则称方程组(Ⅰ)是双曲型的.文[1]将双曲型方程组分为第一、二、三、四类,分别用(H_1)、(H_2)、(H_3)、(H_4)表示,并已导出它们的标准型和一般解.     

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

§.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有四个不同实根的双曲方程组。本文是作者在华罗庚教授的直接指导下写成的,可以说是文章的继续,从问题的提出以至解决的方法都是华教授提出的,在整个研究过程中,华教授自始至终都经常给我们耐心的指导和无微不至的关怀,在这里我们对华教授给我们的热情培养表示衷心的感谢。     

带p-Laplacian算子四阶四点边值问题的正解

考虑带p-Laplacian算子的四阶四点边值问题φp(u(″t)))″=a(t)(ft,u(t),u(″t)),t∈[0,1],b1u(0)-b2u′(0)=0,b3u(1)+b4u′(1)=0,c1φp(u″(ξ))-c2(φp(u(″ξ)))′=0,c3φp(u(″η))+c4(φp(u(″η)))′=0其中:φp(s)=│s│p-2s,p>1;0<ξ,η<1;bi,ci(i=1,2,3,4)>0,c1c4+c2c3+c1c3(η-ξ)>0;a(t)∈C([0,1],[0,+∞)).通过Avery-Henderson不动点定理得到边值问题存在至少两个正解.     

HAMILTON图的特征矩阵

讨论了Hamilton图G和它的邻接矩阵A之间的关系，得到如下结果定理1：图G是H－图当且仅当A＝B＋Q，这里B≥0且B≠0，Q＝PCP，C是由互换单矩阵中的第1行和第n行所得到的初等阵，P是置换阵，P是P的转置矩阵，定理：图G是H－图当且仅当A的谱半径ρ（A）是A的单根，且存在正特征向量ξ，使得Aξ＝ρ（A）ξ＞η，这里η是适当调整ξ的分量而得到的向量，满足：当ξ的第i个分量调为η的第j个分量时，A的（i,j)元aij=1.     

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

§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 的两个方程所成的方程组。行列式     

两类非线性三阶四点边值问题解的存在性

利用Leray-Schauder度理论,得到了非线性三阶微分方程x'=f(t,x,x',x″),t∈[0,1]分别满足下列四点边界条件x(0)=0,x'(0)=αx'(ξ),x'(1)=βx'(η)和x'(0)=αx'(ξ),x(1)=0,x'(1)=βx'(η)的两类边值问题解的存在性,并且作为应用给出了一个例子.     

常系数二阶两个自变数两个来知函数的线性双曲方程组(Ⅱ)——特征方程具有三个不同实根的情况

本文解决特征方程具有三个不同实根的常系数二阶两个自变数两个未知函数的线性双曲方程组b_3=b_1~2-b_1 1/4≠0,b_1≠0的Canchy问题等七类定解问题的解的存在唯一性。     

具p-Laplacian算子的四阶三点边值问题的迭代解

研究下列具有p-Laplacian算子的四阶三点边值问题{(Ψp(u"(t)))"=f(t,u(t),u"(t)),t∈[0,1]u(0)-ξu(1)=0,u"(1)-ηu'(0)=0,u"(0)-αu"(δ)=0,u"(1)-bu(δ)=0,其中ψp(s)=|s|p-2s,p>1,0<ξ,η<1,0<α,b<1,0<δ<1,f∈C([0,1]×R2,R),通过单调迭代方法得到迭代解.     

因子von Neumann代数上ξ-*-Lie同构的特征

设H和K是复Hilbert空间,A和B分别是H和K上的维数大于1的因子von Neumann代数。设Φ:A→B是双射且满足条件Φ(A*B-ξB*A)=Φ(A)*Φ(B)-ξΦ(B)*Φ(A),?A、B∈A。证明了以下三个结论:(1)当ξ=0时,Φ是线性或共轭线性*-同构;(2)当ξ∈R/{0,1,-1}时,若Φ保单位元,则Φ是线性或共轭线性*-同构;(3)当ξ∈C/R,若Φ保单位元,则Φ是线性*-同构。     

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

§1 引言假设A,B,C,是三个二行二列的实数方阵,则矩阵型式的偏微分方程(Ⅰ) A(?)~2(?)x~2(u/v)+2 B(?)~2(?)x(?)y(u/v)+C(?)~2(?)y~2(u/v)=0是两个自变数x.y 两个未知函数u.v 的两个方程所组成的常系数二阶线性偏微分     

关于带导数非线性薛定谔方程组的拟周期解（英文）

本文中,我们考虑周期边界条件下的一维非线性薛定谔方程组iu_t-u_(xx)-i(M_ξu+|v|~2u)_x=0,iv_t-v_(xx)-i(M_ηv+|u|~2v)_x=0证明了该方程组在一族小振幅,实解析,2个频率的拟周期解     

因子von Neumann代数上ξ-斜Jordan可导映射的一个刻画

设R是维数大于1的因子von Neumann代数。对于给定的复数ξ且ξ≠0,如果映射δ:R→R满足对所有A,B∈R,有δ((A·B)_ξ)=(δ(A)·B)_ξ+(A·δ(B))_ξ,那么δ是可加的*-导子且满足δ(ξA)=ξδ(A)。特别地,若von Neumann代数R是无限的Ⅰ型因子,给出了δ的具体刻画。     

一类非线性四阶微分方程三点边值问题解的存在性

应用Leray-Schauder 不动点定理研究了一类非线性四阶微分方程三点边值问题{x(4)=f(tmx(t),x'(t),x"(t),x'"(t),t∈[0,1].x"(0)=A,x(η)=B,x'(η)=C,x"(1)=D,η∈(0,1)的解的存在性.     

不同分布的随机中心极限定理

引言设{ξ_k}是独立同分布的随机变量序列,其均值Eξ_k=0,方差D(ξ_k)=1,(k=1、2…)。记η_n=sum from K=1 to=n(ξ_k) ξ_n=η_n/n~(1/2) 那么独立同分布的中心极限定理成立,即 n→∞P(ξ_n相似文献   

关于双线性函数的核的性质

设V是域F上的向量空间,f(ξ,η)是V上的双线性函数。在〔1〕中提到f(ξ,η)的左(右)核的概念和性质,本文将其推广,并得更本质的性质。 定义 设S是V的任一非空子集,f(ξ,η)关于S的左核指的是:对一切η∈S,使f(ξ,η)=O的所有向量ξ∈V的集合,记作 K_(er)f_L~S={ ξ∈V|f(ξ,η )=0,Vη∈S}。类似地定义f(ξ,η)关于S的右核,记作     

用双线性算子推导Bcklund变换

本文用Hirota双线性算子推导了双线性Boussinesq方程(D_t~2-D_x~2-D_x~4)f·f=0的一个含参数B(?)cklund变换,这个结果与文献[1]的结果一致.文中还讨论了双参数B(?)cklund变换与复合scale变换的关系,得到了有关分解等式B_(ξ,η)=S~(-1)(ξ,η)B_(0,1)S(ξ,η).这一工作改进了文献[3]中的结果.     

正余弦加权叠加式的研究

AcoS(ωt)+Bsin(ωt)=Csin(ωt+D)中,令A=k1a、B=k2b、C=k3(A2+B2)1/2=k3(a2+b2)1/2、D=k4β,并规定a、b、(A2+B2)1/2和β都取A、B、C、D的绝对值,即a＞0、b＞0、(A2+B2)1/2＞0、β≥0,推导出AcoS(ωt)+Bsin(ωt)=F(B)(A2+B2)1/2sin[ωt+F(AB)β]其中F(B)=B/|B|,F(AB)=AB/|AB|,β=tg-1|A/B|,(A2+B2)1/2＞0.     

二阶四点边值问题的三解存在性

讨论了二阶四点边值问题:-x″(t)=f(t,x(t),x′(t)), t∈I=［0,1］;x(0)=ax(ξ), x(1)=bx(η),其中0<ξ<η<1,0≤a,b≤1, f:［0,1］×［0,∞］→［0,∞］是连续的。利用拓扑度理论讨论了其多个解的存在性。     

以初始轴为特征的一类拟线性双曲型方程组的混合问题

本文讨论关于未知向量函数v与s的如下拟线性双典型方程组其中a和β为适当维数的向量函数,σ为某个对角阵(依赖于v),求解区域为T(δ)={(t,ξ)|0≤t≤σ,ξ_-≤ξ≤ξ_+},初始条件为v(0,ξ)=v_o(ξ),它使得σ(v_o(ξ))=0,从而t=O为多重特征.此外,在ξ=ξ_±上还给定一组非线性边界条件.在适当的假设下,本文证明了上述问题的小范围解的存在性与唯一性,并且给出了解的一些估计式。这些结果可用于对拟线性双曲型方程组的中心波进行分析.