新的非线性常微分方程的可积类型

本文给出了文[1]、[2]研究的非线性常微分方程可积类型以统一的形式,提供了可积的充分条件及其通积分,并且推广了文[1]、[2]的有关结论,因而得到了新的非线性常微分方程的可积类型。     

一类非线性积分-微分方程终值问题解的存在性及其迭代求法

利用Banach空间中增算子的不动点迭代求法定理,讨论了非线性积分-微分方程终值问题解的存在性及其迭代求法．     

一类食饵捕食者模型的渐近性态

研究了一类带周期系数的阶段结构的食饵-捕食者模型的渐近性态。利用比较原理和泛函数微分方程定理建立了种群一致持续生存的条件，并得到了正周期解的存在性。     

带有Poisson跳的股票价格模型的欧式双向期权定价

假定股票价格过程为遵循带非时齐Poisson跳跃的扩散过程,在股票预期收益率、波动率和无风险利率均为时间函数的条件下,利用公平保费原则和价格过程的实际概率测度的保险精算定价方法,得到了有红利支付的欧式双向期权的定价公式.     

低碳钢碳氮析出物的热力学计算

钢中的碳氮析出物通过细晶强化和析出强化方式对钢的力学性能有非常重要的作用. 基于规则溶液的双亚点阵模型(其中一个为金属亚点阵,另一个为间隙原子亚点阵)建立了碳氮化钛、氮化铝以及硫化锰的热力学计算模型用以研究析出物的析出开始温度、给定温度的奥氏体成分,并将这一结果应用于CSP过程. 经计算得Ti(CxN1-x),MnS和 AlN的析出温度分别是1 200 ℃,1 440 ℃和1 010 ℃,最大的体积分数分别为2.315×10-5,4.18×10-4和3.1×10-4. 对比发现热力学的计算结果与Thermo-Calc的计算结果和有关文献的实验数据有较好的一致性.     

中立型无穷时滞微分方程适度解的存在性

对Banach空间中的一类中立型无穷时滞微分方程引入适度解的定义,利用Hausdorff非紧测度、解析半群以及Darbo不动点理论,在不假没相关半群具有紧性条件下,得到此类方程适度解的存在性定理,对已有的一些结果进行了改进和推广.     

一类生态系统的全局稳定性和极限环的存在性与唯一性

本文对具有 Holling 第三类功能性反应的食饵-捕食者两种群且食饵种群具有常数存放率的系统进行了研究.主要讨论了:平衡点的性态,解的有界性,可行平衡点的全局渐近稳定性,系统无环性的条件和正平衡点周围存在唯一稳定极限环的条件.同时也解释了这些结论的生态意义.     

一类偏微分方程弱解存在性

一类如下拟线性偏微分方程{-div(|Du|p-2Du)+b(Du)+u|u|p-2u=0,在U内,u=0,在U上.这里的U是有界的并且边界是光滑的区域,应用不动点方法研究此类方程弱解的存在性.     

偏微分方程组的对称群及其在弹性力学方程组中应用

给出了非退化线性偏微分方程组及二次型泛函对称群的不变向量场的一般形式和一类特殊形式非线性偏微分方程组对称群的简化计算条件；利用以上结论及作者以往工作，借助符号运算语言ＭａｔｈｅｍａｔｉｃａＴＭ计算了平面弹性力学方程组一阶Ｌｉｅ－Ｂａｃｔｌｕｎｄ对称群的不变向量场，以及应力函数对应的三维弹性力学方程组的Ｌｉｅ代数．为构造弹性力学方程组的一类广泛精确解及守恒律提供了必要的基础，并说明了结论对计算偏微分方程组对称群时的简化作用     

二维稳态晶体生长浓度控制方程的精确解

利用傅里叶级数展开,将稳态晶体生长的浓度控制方程转化为一阶常微分方程组.利用对于一阶常微分方程组性质的讨论,得到了稳态晶体生长控制方程的精确解.理论结果可用于揭示稳态胞晶体周期性增长的本质特性.