一类高阶半线性抛物型方程初值问题解

本文讨论了方程(1): (-Δ)=F(u,D_z,…,)和方程(2): (-Δ)=F的初值问题,在关于幂性非线性项F=O(||~1 )a≥1为整数的假定之下,对方程(1),在x的维数n>2m/a的条件下,对方程(2),在x维数n≥1的任意情形,论证了小初值问题在时间大范围的可解性,唯一性,基于线性方程解的衰减估计和能量估计,所设计的某种Sobolev空间上的压缩映象原理.     

一类新的高阶非线性退化抛物方程的对称及群不变解

研究了一类高阶非线性退化抛物方程的精确解.利用Lie对称群的方法,建立了该方程由4个向量场生成的有限维对称群及7个非等价子代数组成的一维优化系统,得到p=2、n=1时Newton流体的两类群不变解和p=3、n=1时幂律流体的3类群不变解.结果表明:对于这两种情形,所研究的流体均存在有限时间内发生爆破的群不变解.     

广义Davey-Stewartson方程的能量散射理论

在浅水波理论中,通常的具有立方项的一维Schrodinger方程推广到二维的情形即是Davey-Stewartson方程.将此立方项推广到p次幂非线性项的情形,进而考虑其初值在∑(Rn):={u∈H1(Rn):x|u∈L2(Rn)}中的Cauchy问题的解的整体存在性及惟一性,得到该方程的散射理论.     

层状介质中浅杂质激发态方程

本文导出了类氢杂质第二激发态的一维化方程,该方程适于计算层状介质中浅杂质第二激发态束缚能及状态随层厚、势垒高度和杂质中心位置的变化规律。在极限情形下方程具有与所有已知三维及二维精确解一致的解析解。     

系数为mxn矩阵的矩阵方程

本文主要讨论系数为m×n矩阵的矩阵方程 BXA=C 给出此矩阵方程有解的充分必要条件,在有解的情况下,讨论解的结构,给出一般解,将线性方程组的理论,推广到一般矩阵方程。对矩阵方程 XDX+AX+XB+C=0 的几种特殊情形,在文[1]的基础上,推广到D为m×n矩阵的情形。     

二階偏微分方程組的積分流形的几何解釋

本文要討論形狀为的偏微分方程組的几何解釋,这个解釋在一般情形下比作者的前所得到的结果。具有更內在的意义,对m>n,m相似文献   

一类多项式型迭代方程连续解的存在性

作者讨论了多项式型迭代方程∑ni=1λifi(x)=F(x)在λ1＞0,λi0,i=2,…,n,λi满足规范化条件∑ni=1λi=1且F(x)连续递增,没有端点限制的情形下连续解的存在性,同时在一定条件下讨论了其解的唯一性、凸性和稳定性.     

A2XA*2=C2的约束Hermitian最小二乘解

研究了约束条件minx=x*‖A1XB1-C1‖下矩阵方程A2XA*2=C2的Hermitian最小二乘解的问题。利用相关矩阵函数的秩与惯性指数极值得到了方程A2XA*2=C2存在满足此约束的Hermitian最小二乘解的等价条件,同时得到了矩阵不等式A*2A2XA*2A2>(<,≥,≤)A*2C2A2存在满足minx=x*‖A1XB1-C1‖的解的等价条件,作为以上问题的特殊情形,讨论了方程A1XB1=C1的(半)正(负)定的Hermitian最小二乘解的存在性问题。     

二维Euler—Poisson—Darboux方程奇性混合问题解的存在性

EPD方程是经典方程之一.对它的研究主要是奇性柯西问题,对其混合问题的研究工作大多是讨论一个空间变量的情形[1—4].本文则讨论了一类二维EPD方程的奇性混合问题解的存在性.证明了二维EPD方程     

关于方程σ（n）=kn，k≥2解的讨论

本文对方程σ(n)=kn,k≥2解的各种情形进行了理论分析,其中σ(n)=∑d|nd.首先证明上述方程不存在形如n=pa,或者p1p2…ps＞6(其中p是素数,a≥1,pi为互异素数,i=1,2,…,s)的解,并进一步给出上述方程所存在解的具体形式,最后我们利用计算机在区间[4,108]上直接对此方程的解进行搜索,得以13个解,它们完全符合我们的理论分析.     

二阶常微分方程的最优控制的必要条件

讨论控制出现在最高阶系数上二阶常微分方程系统最优控制满足的必要条件,得到了最优控制满足的变分不等式。首先讨论了系统的解的存在与唯一性,接着讨论了解的连续相依性。然后利用针状变分求出系统的变分方程,从而得到了最优控制满足的变分不等式。本文讨论的问题是类似文献[1]的最优控制问题在空间维数n=1的情形。     

求解混合整数线性规划的降维搜索法

很多实际问题归结为解如下线性规划max C~TX AX=b (1) {X≥0 其中X=(x_1,…x_L,x_(L 1),…x_n)~T的x_1…x_L 为整数。降维搜索法求解这个问题,首先是从(1)的约束中除掉x_1…x_L为整数的要求,求出线性规划的最优解。此解若不为整数解,则从解的分量x_1开始取整,即令x_1=[x_1~(0)] 代入约束,在n-1维空间上求最优解。如果仍不是整数解,则继续在n-1维最优解中令分量x_2取整,求n-2维空间的最优解。若降维至n-r得一整数解,则依定理1,停止继续降维。此时的整数解为(1)的可行解。然后在此可行解的基础上在x的两边进行左右搜索,用新的更优的可行整数解代替原有的可行整数解。用定理(2)和(3)判别是否停止搜索,搜索完毕便得n-r 1维(1≤r≤L)的一个最优整数解。然后求出所有n-r 1维的最优整数解,比较所有n-r 1维的最优解,得n-r 2维的一个最优整数解,如此类推,一定可求得原问题(1)的最优整数解。降维搜索法可以完全平行地推广到求非线性规划的整数解。     

不动点集为∪mi=1CPi(2n+1)的带有对合的光滑流形

设(Mr,T)是r维光滑闭流形M上的不平凡光滑对合,它的不动点集为F.给出了F＝∪mi=1CPi(2n+1) (r>4n+2)时对合的协边类,其中CP(2n+1)表示2n+1维复射影空间.     

(2+1)维拟线性热方程的不变集和精确解

目的研究带有反应项的(2 1)拟线性热方程ut=A(u)(uxx Nx-1ux) B(u)(uyy N-1yuy) C(u)u2x D(u)u2y Q(u)的精确解问题。方法运用推广的不变集E0={u:ux=vxF(u),uy=vyF(u)}求(2 1)维拟线性热方程的精确解。结果给出(2 1)维拟线性热方程的一些特殊解。结论此方法是(1 1)维拟线性热方程的推广。     

一类非线性强度Boussinesq方程的Compacton解和孤立波解

研究一类非线性强度的Boussinesq方程um-1utt-uxx-a(un)xx+b(uk)xxxx=0,用拟设法求出方程的Compacton解(即在有限区间外为0的孤立波解)和周期解以及孤立波解,讨论维数参数满足m=n=k,m=k≠n和m=n≠k下解的结构,并作出它们的图像.另外研究了(2+1)维和(3+1)维方程的解,并推广到(n+1)维方程的解.     

带有logistic源的三维趋化系统弱解的最终光滑性

基于三维趋化系统弱解的整体存在性的结果,进一步考虑了一类带有 logistic 源抛物-抛物型趋 化方程组在三维情形时对应的齐次诺依曼初边值条件下弱解的最终光滑性;通过构造能量泛函并利用 Sobolev 最大正则性理论、Sobolev嵌入定理、Gagliardo-Nirenberg不等式、Young 不等式、 H?lder 不等式、Poincaré不等式、紧嵌入定理以及 Gronwall 不等式得到解的高阶正则性估计;结果表明:对于任意非负且适 当的初始值,可以证明到系统的弱解在一定的等待时间后变成经典解。     

Kasner时空自由粒子的Dirac方程

本文用旋量零标架方法讨论了Kasner时空中自由粒子的Dirac方程,并进一步讨论了它的精确解。     

解多维抛物型偏微分方程的差分格式

本文给出了一个解 m 维抛物型偏微分方程的差分格式,它含有两个参数α,β,当α≥1/2,β≥m 时,它是三层显格式,绝对稳定。它的截断误差为 o(τ+h~2),τ=△t,h=△x.本文可看成是[1]的格式的推广。对于二维情形,本文用数值例子验算了格式的稳定性与精确度。     

一类布线问题求解的判别准则和算法

在已有的判决图的基础上,定义了方向性及导出判决图,找到了一个判断布线问题中的1-嵌入问题是否有解的准则和基于此判别准则的算法,并在此基础上进一步研究了禁用构形,找到了1-嵌入问题有解的另一个判别准则.     

广义线性模型中拟似然估计的弱相合性及渐近正态性

对于多维广义线性模型,q×l响应变量yi是可观测的,协变量xi是已知p×q固定设计的情形,研究了在自然联系情形下的拟似然方程n∑i=1xi(yi-h(xiτβ))的解(^βn).用压缩映射,证明了拟似然方程的解(^βn)在(λ-n)→ ∞及其它正则条件下的弱相合性,.将独立随机变量情形推广到了任意随机变量;在独立的情形...