复合二项模型中的更新方程和渐近解

讨论复合二项模型中破产前一刻的盈余、破产时赤字和破产时刻的联合分布.当初始盈余为零时,得到了此联合分布的显式表达式;对于充分大的初始盈余,得到了此联合分布满足的瑕疵更新方程和渐近解.此外,还得到了导致破产的索赔额的分布满足的瑕疵更新方程和渐近解.     

一类反应扩散方程的显示复线形孤子解

基于推广的tanh函数法,将Riccati方程v′=k(1-v2)作为新的"扰动"方程,利用对解的新假设,借助于工程软件Matlab的符号运算功能,得到了一类反应扩散方程的复线形孤子解.这种解的实部是一种扭状孤立子,而虚部则由一种钟状孤立子构成.     

非线性算子方程解的存在唯一性及应用

在不假定算子具有连续性和紧性的条件下,利用锥理论和Banach压缩映象原理证明了一类非线性算子方程解的存在唯一性定理,并应用到Nanach空间中常微分方程的初值问题.     

非线性中立型差分方程的振动性

获得了非线性中立型差分方程Δ(yn-Png(yn-k) qnf(yn-m)=0的所有解振动的几个充分条件。     

映射法与Klein-Gordon方程新的精确解

运用映射法,结合辅助方程,利用计算机代数系统Mathematica求出了非线性Klein-Gordon方程的一系列新的精确周期解,补充了前面研究的结果.这些精确解可在极限情况下(m→1)退化为孤波解.该方法简化了求解过程,并可以用来求解其他的非线性演化方程,如Schrǒdinger方程、KP方程等.     

害虫治理与半连续动力系统几何理论

从害虫治理的实际问题出发,建立了一类脉冲状态反馈控制害虫的防治模型.提出了半连续动力系统几何理论,并应用这一理论证明了该模型至少存在一个阶1周期解.结合具体实例,介绍了阶1同宿分支和脉冲环面动力系统的基本理论与分析方法.     

非线性发展方程近似解收敛性与稳定性的等价定理

考察了非线性抽象算子发展方程近似解收敛性与稳定性,提出了非线性算子的有界延拓的概念,由此给出了一般近似解收敛性与稳定性证明的统一方法,从而避免了较复杂的先验估计。     

三维摩擦接触问题算法精度和收敛性研究

回顾了摩擦接触问题的现有解法，包括Lagrange乘子法、惩罚函数法、增广Lagrangian乘子法，线性互补模型及互补类非线性方程组方法等，尤其是近期关于非线性方程组方法的系列研究结果：(1)三维弹性摩擦接触问题互补类非线性方程组的光滑化解法；(2)将其推广为非光滑解法；(3)三维弹塑性摩擦接触问题增量方程和算法，非线性方程组方法解法基于严格的数学理论基础，严格地满足接触条件，并用随机数产生的接触柔度矩阵证实了算法的收敛性，由于每个接触点对的未知数只有3个，不合任何人工变量，同时，算法有局部二次收敛率且计算效率很高。为了考察以增广拉格朗日法为代表的工程中流行算法的精度和收敛性，设计了一个典型的弹性摩擦接触问题算例，证实了通用程序ANSYS的增广拉格朗日法是近似的并且不能保证收敛。     

修正的Navier－Stokes方程的定常解

考虑于１９６８年作为粘性不可压缩流的一个数学模型提出的修正的Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程的定常解的存在性，唯一性和吸引性．定常的修正的Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程是满足一定的单调性条件的拟线性椭圆方程组．利用逼近建立了一个一般的存在性定理，进而看到，如果或者椭圆性常数足够大，或者具适当大的单调性参数，或者外力相当小，则有唯一的定常解，最后，我们在类似（仅仅是类似！）于上述的条件下证明了所有的定常解的集合是极小的紧的不变的可吸引相空间中任何有界集的吸引子．     

一类非线性反应扩散方程的数值解法

对一类非线性反应扩散方程的初边值问题采用有限差分方法,在离散过程中针对非线性项的特性进行线性化处理,提出了一种新的差分格式,并在差分格式稳定性分析时,采用能量方法给出了差分格式的稳定性条件。经数值计算表明,与以往构造的差分格式相比,所构造的差分格式具有计算简单、精度较高、稳定性条件较好的特点。