一类高阶非线性微分方程的正周期解

应用Krasnoselskii锥映射不动点定理,研究了一类高阶非线性常微分方程Lnu=f(t,u(t))的ω-周期解的存在性,获得了正ω-周期解存在性的充分性条件.     

一类多时滞中立型方程描述的神经网络渐近稳定时滞依赖判据

通过引入适当的Lyapunov-Krasovskii泛函,给出一类由多时滞中立型方程所描述的神经网络的稳定性判据,该稳定性判据不仅与离散性时滞相关,而且依赖中立型时滞,由于稳定性判据基于线性矩阵不等式,因此其求解方法可以使用各种凸优化算法,使用Matlab工具箱中的线性矩阵不等式算法,给出数据仿真实例,验证了方法的有效性.     

Ginzburg-Landau方程的椭圆函数解与包络孤立波解

通过对Ginzburg-Landau方程系数的分析,给出其包络波解存在的一个必要条件.利用两类辅助椭圆方程,求得Ginzburg-Landau方程的多种椭圆函数解,其极限情形可以还原为经典的包络孤立波解.     

Navier-Stokes方程的局部压力梯度稳定化有限元方法分析

基于局部压力梯度稳定化方法,作者提出了Navier-Stokes方程的一种新的有限元方法,其中速度V属于H~1连续的空间,压力P属于L~2非连续的空间.利用Brouwer不动点定理,作者证明了离散解的存在性和唯一性并给出了误差估计.     

二维Helmholtz方程的高阶紧致差分方法

基于二阶导数的四阶Padé型紧致差分逼近式,并结合原方程本身,得到了二维Helm-holtz一种四阶精度的紧致差分格式.该格式在每个空间方向上只涉及到三个点处的未知量及其二阶导数值,边界处对于二阶导数利用四阶显式偏心格式.然后,利用Richardson外推法、算子插值法及二阶导数在边界点处的六阶显式偏心格式,将本文构造的二维Helmholtz方程四阶紧致差分格式的精度提高到六阶.最后,通过数值实验验证了本文方法的精确性和可靠性.     

具强吸引项的拟线性抛物方程解的耗竭

讨论了一类拟线性抛物方程柯西问题与初边值问题解的耗竭现象，给出了解在有限时刻出现耗竭的条件，并对耗竭时刻的上限进行了估计。     

二维粘弹介质五点八阶超紧致有限差分声波方程数值模拟

本文首次将五点八阶超紧致有限差分格式(CCD8)用于粘弹介质声波方程的数值模拟中。此文根据泰勒级数展开粘滞声波方程,建立了位移场时间二阶离散格式,将CCD8用于对位移场空间导数的求取。然后,对CCD8格式进行稳定性研究,频散的压制效果对比分析,及截断误差对比。将CCD8格式运用于均匀介质模型以及水平层状介质模型中进行数值模拟,最后运用于对Marmousi模型的数值模拟中。研究结果表明：(1)CCD8与普通八阶紧致差分相比,具有更小的截断误差、更高的模拟精度以及低数值频散的优势;(2)CCD8具有较高稳定性;(3)采用完全匹配层(PML)对人工边界进行处理后对均匀介质、含有层状介质以及Marmousi模型进行粘弹声波方程的数值模拟,发现模拟效果不错,从而验证了方法的实用性和有效。     

局部凸空间中K映像的若干问题

研究局部凸空间（简记ＬＣＳ）中满足边界条件（Ｌ－Ｓ，ａ）的Ｋ映像方程的解、本征元、谱等问题。     

阻尼Boussinesq方程初边值问题解的渐近性

 运用Fourier变换和扰动方法研究了一类广义阻尼Boussinesq方程初边值问题,在古典空间中得到了这类Boussinesq方程整体解的存在唯一性和形式解的长时间渐近性.     

一类非线性抛物方程解的熄灭

讨论了非线性抛物方程初边值问题ut=△u+λ|u|γ-1u-βup,(x,t)∈Ω×(0,+∞),u(x,t)|Ω×(0,+∞)=0,u(x,0)=u0(x),x∈Ω解的渐近性态,给出了解在有限时间熄灭的充分条件.