一类拟线性Schrdinger方程

在二维空间中讨论一类拟线性Schrdinger方程,该方程在物理学上描述了吸引玻色-爱因斯坦凝聚.通过建立这个方程的性质,运用能量方法,证明了该方程所对应的初值问题的解在一定条件下爆破.同时利用变分方法,也得到了整体解存在的一个充分条件,该条件与一个经典的椭圆方程的基态有关.     

一个非线性椭圆方程有限元近似的拟范数插值误差估计

运用拟范数方法,获得一个非线性椭圆方程的有限元插值误差估计.该方程源于弹塑性力学中的组合材料问题.为了在更弱正则性条件下得到该方程的优化先验误差界,这个误差估计是非常必要的.一个推广的拟范数被提出,并建立了该范数下的类似结果.     

关于一类带有非线性边界条件的拟线性椭圆方程

本文研究了一类带有非线性边界条件的拟线性椭圆方程.在比常用的经典条件弱的假设条件下,得到该方程所对应的能量泛函存在有界Palais-Smale序列.然后,利用山路引理,得到该方程非平凡解的存在性.最后,给出一个例子,说明所给的条件比经典条件弱.     

定常Navier-Stokes方程的一种高效稳定有限元方法

提出了二维定常Navier-Stokes(N-S)方程的一种两层稳定有限元方法.该方法基于局部高斯积分技术,通过不满足inf-sup条件的低次等阶有限元对N-S方程进行有限元求解.该方法在粗网格上解定常N-S方程,在细网格上只需解一个Stokes方程.误差分析和数值试验都表明:两层稳定有限元方法与直接在细网格上采用的传统有限元方法得到的解具有同阶的收敛性,但两层稳定有限元方法节省了大量的工作时间.     

一类拟线性Schroedinger方程

在二维空间中讨论一类拟线性Schroedinger方程，该方程在物理学上描述了吸引玻色-爱因斯坦凝聚．通过建立这个方程的性质，运用能量方法，证明了该方程所对应的初值问题的解在一定条件下爆破．同时利用变分方法，也得到了整体解存在的一个充分条件，该条件与一个经典的椭圆方程的基态有关．     

具不同分数阶扩散趋化模型的衰减估计

研究了生物学中具有分数阶扩散的Keller-Segel模型.该模型是由两个分数阶抛物方程和一个经典抛物方程组成.在小初值条件下,利用[李大潜,陈韵梅.非线性发展方程[M].北京:科学出版社,1999.]中的能量方法,作者建立了该模型古典解的全局存在性及最优的衰减估计,得到了u,v及▽Ψ高阶导数的衰减估计.     

一类广义Boussinesq方程的Wronskian行列式解

为了构造非线性孤子方程的Wronskian行列式新解,进一步研究了Wronskian技巧.本文首先给出非线性广义Boussinesq方程的双线性形式,利用Wronskian技巧构造出该非线性方程所满足的一个线性偏微分条件方程组,然后求解该微分条件方程组,得到了广义Boussinesq方程的各种Wronskian行列式解.     

对称正则长波方程的行波解分岔

通过平面动力系统的方法讨论了对称正则长波方程的分岔问题.得到了该方程的分岔条件,在一些参数的具体值的情况下给出相图并通过微分方程的数值模拟方法模拟出了该方程的周期行波解、孤立行波解及无界行波解.     

基于指标形式张量的微分几何定理机器证明

提出了一个基于指标形式张量的微分几何定理的机器证明算法.该算法将微分几何定理转化成带指标的张量多项式的计算问题,然后通过利用重写规则,挖掘等价条件和分次选取条件等方法大大减少了这个多项式系统的方程个数.再利用这个多项式系统本身和关于哑元的方程三角化这个多项式系统,将所得到的首项代入结论, 从而得到了该定理的机器证明.该算法不仅能够证明基于指标形式张量的微分几何定理,也可以用于张量方程的求解.     

广义系统的Hamilton矩阵与H\-2代数Riccati方程的稳定化解

研究线性连续广义系统的Hamilton矩阵及H\-2代数Riccati方程.　提出一个标准的广义H\-2代数Riccati方程及对应的Hamilton矩阵，给出该Hamilton矩阵的几个重要性质. 在此基础上，得到该广义H\-2代数Riccati方程的稳定化解存在的一个充分条件并给出求解方法.此条件具有一般性, 主要定理是正常系统相应结果的推广.