高阶线性微分方程第二离散谱的上界（英文）

考虑高阶线性微分方程在有限区间上广义离散谱的上界估计,此问题由钱椿林教授提出,是六阶微分方程离散谱问题的自然延伸,所用方法是Hile和Yen方法的改进和推广。笔者首先选择合适的试验函数,利用广义Rayleigh定理得到一基本不等式,其次利用算子谱理论、分部积分和Cauchy-Schwarz不等式等方法,证明了四个引理,最后获得了用第一个谱来估计第二个谱的显式上界不等式,其估计系数与区间的几何量无关,其结论是相关文献结论的进一步推广,在微分方程的谱理论研究中有一定的使用价值。     

一类广义非线性时滞微分方程的近似解析解

研究了一阶时滞非线性微分方程的近似解析解.以直接展开法为主要研究工具,首先运用直接展开法构造原问题的近似解表达式,再应用不动点定理给出原问题解的存在性的证明,最后借助数学软件MATLAB进行数值模拟,对其精确解及近似解进行对比,验证所得结果.     

两点分数阶微分方程耦合系统边值问题的解

讨论一类非线性分数阶微分方程耦合系统的两点边值问题,应用Green函数将微分系统转化为等价的积分系统,应用不动点定理证明系统正解的存在性和唯一性,并给出系统无解的充分条件。     

隐蔽期脉冲输注免疫因子HIV治疗模型的稳定性研究

考虑一类健康CD4＋T细胞、隐蔽期感染细胞和有效感染细胞的HIV治疗模型,得到了无脉冲免疫因子输注时治疗模型未感染平衡点和感染平衡点局部渐近稳定的充分条件;利用脉冲微分方程的比较定理和Floquent乘子理论获得了脉冲输注免疫因子时系统无病周期解的全局渐近稳定性充分条件以及健康细胞存活率范围;通过数值模拟验证了所获得的理论结论。     

一类二阶变系数线性齐次微分方程的通解

结合文献[1]中的结论（见引理3）进行推导,得出方程y″＋P（x）y′＋Q（x）y=f（x）所对应的齐次方程相对应的Riccati方程特解的求法,在此基础上,得出方程y″＋P（x）y′＋Q（x）y=0对应的通解。     

带跳随机延迟微分方程半隐式Euler方法的均方指数稳定性

研究带跳随机延迟微分方程半隐式Euler方法的均方指数稳定性.将半隐式Euler方法应用到维纳过程和泊松过程驱动下的非线性随机延迟微分方程上进行讨论,给出了半隐式Euler方法的均方指数稳定性的条件.     

常红利边界下带干扰的双复合Poisson风险模型

针对经典风险模型中保费收入过程是时间的线性函数这一局限性,建立常数红利边界策略下带扰动的双复合Poisson风险模型,其中保险公司的保费收入是一个复合Poisson过程且与理赔过程相互独立.利用全期望公式及盈余过程的马氏性,得到了直至破产时红利付款的期望现值、矩母函数、n阶矩以及模型的期望折现罚金函数所满足的积分—微分方程及边界条件.     

一类无穷域上分数阶微分方程正解存在性

针对无穷域上非线性半正高阶分数阶微分方程多点边值问题正解的存在问题,采用Schauder不动点定理以及迭代的方法,研究该方程正解的存在性,给出了正解的存在条件.结果表明:对于无穷域上非线性半正高阶分数阶微分方程多点边值问题正解的存在性的证明,不需要使用复杂的对角化过程,即可得出结论,方法比以往更一般化、简单化.     

离散空间直接建模的计算流体力学方法

本文提出了一种发展适合多尺度、多物理流动的CFD格式的全新途径,即直接在离散空间利用物理模型的跨尺度演化解来建立数值格式的新方法.与直接离散偏微分方程的传统做法相比,基于离散空间直接建模构造出的数值方法考虑了网格尺度和物理模型之间的匹配,能做到不同尺度上物理模型的连续过渡,从而实现对多尺度流动的高效模拟.Boltzmann方程的模型演化解为直接建模方法提供了重要的支撑.本文提出了直接建模构造计算流体力学方法的理论基础,并给出了在建立统一气体动理学格式中的成功运用,验证了新方法的可行性和优越性.     

偏微分方程及其应用国际会议

正1会议概况由浙江大学数学科学中心举办的偏微分方程及其应用国际会议(International Conference on Partial Differential Equations and Applications)于2013年5月24~26日在浙江大学举行。本次会议由浙江大学数学中心主任、浙大光彪讲座教授、加州大学数学系终身教授刘克峰先生,美国弗罗里达大学陈韵梅教授,浙江大学求是特聘教