一类弦振动问题的计算机辅助分析

利用MATLAB软件及有限差分方法求解一类有界弦振动问题，并将数值解可视化，使对该类问题的解的物理意义有了直观的认识，将数值解与解析解比较，说明所选择数值方法的可靠性和计算机辅助分析的重要性．     

边值问题的随机分析数值解

运用随机分析数值方法求解一类广泛的椭圆边值问题,利用解的随机表示式将问题离散化,然后利用随机过程的强马尔科夫性等求得数值解.     

中立型随机变延迟微分方程数值解的收敛性(英文)

讨论中立型随机变延迟微分方程欧拉方法的数值解的强收敛性。最近,很多作者已经对随机延迟微分方程的数值解进行了大量的研究,但是,对于中立型随机变延迟微分方程数值解收敛性的研究还很少。首先给出了中立型随机变延迟微分方程欧拉方法的数值格式,然后,在局部Lipschitz条件和有界条件下,论证了中立型随机变延迟微分方程欧拉方法的数值解收敛到解析解。     

随机微分包含数值解的收敛性(英文)

讨论在全局Lipschitz条件和线性增长条件下,随机微分包含欧拉方法的数值解的强收敛性。给出在同样条件下随机微分包含解的存在性,以及随机微分包含欧拉方法的数值格式,证明在全局Lipschitz条件和线性增长条件下,随机微分包含欧拉方法的数值解收敛到解析解。数值实例验证了结论的正确性。     

方程x′(t)=ax(t)+bx([t])数值解的振动性(英文)

将θ-方法用于求解一类自变量分段连续型延迟微分方程,研究数值解的振动性以及数值方法对方程本身振动性的保持性质。通过对差分方程的分析,得到数值解在一般节点与整数节点处振动与非振动的等价性,进而获得了θ-方法的振动性条件,证明解析解的振动性能够被θ-方法保持。最后讨论了稳定性与振动性之间的关系。     

自变量分段连续超前型延迟微分方程的θ-方法的数值振动性

讨论θ-方法对自变量分段连续超前型延迟微分方程X'(t)=ax(t) a1x([t 1])的数值振动性.把θ-方法应用到方程X'(t)=ax(t) a1x([t 1]),得到了数值解的差分格式.证明了任意数值节点上数值解的振动性等价于整数节点上数值解的振动性.利用差分方程的所有解振动等价于其特征方程没有正根这一重要结论,得到了整数节点上数值解振动的充要条件,从而得到了任意节点上数值解振动的充要条件.     

非线性脉冲微分方程Runge-Kutta方法的渐近稳定性（英文）

研究非线性脉冲微分方程在全局Lipschitz条件下,精确解和Runge-Kutta方法数值解的渐近稳定性;在非线性函数满足Lipschitz条件下,给出解析解渐近稳定的条件;讨论几类显式RungeKutta方法应用于该方程时数值解渐近稳定的条件,证明在满足收敛阶的条件下,数值解可以保持解析解的渐近稳定性,当p≤4时,上述结论成立,当p 4时,上述结论不成立。数值算例验证了结果的有效性。     

中立型多延迟积分微分代数方程二步Runge-Kutta方法渐近稳定性(英文)

分析向量值形式的中立型多延迟积分微分代数方程二步Runge-Kutta方法的渐近稳定性。首先给出中立型多延迟积分微分代数方程解析解渐近稳定的定义,并给出使得解析解渐近稳定的充分条件。随后给出二步Runge-Kutta方法的一般形式和数值解渐近稳定的定义,给出数值方法渐近稳定的充分条件,最后证明A-稳定的二步Runge-Kutta方法求解中立型多延迟积分微分代数方程是渐近稳定的,并给出数值算例验证结论。     

一类二阶奇异非线性微分方程的数值算法

解决奇异非线性问题,提出了一种基于拟牛顿法和简化的再生核方法结合的有效方法.同时给出了数值解的收敛性分析.通过数值算例证明了所给方法的准确性和高效性.     

方程x′(t)=ax(t)+bx([t])的线性θ-方法的数值解的稳定性

讨论分段连续型延迟微分方程(EPCA)数值解线性θ-方法的稳定性,研究方法的稳定性和收敛性,证明数值解趋于零与其在整数节点上的值趋于零等价,同时,在每个区间[n,n+1]内,这些方程可以看作是常微分方程,并且证明数值方法保持收敛阶,得到方程x′(t)=ax(t)+bx([t])解析解的稳定区域包含在数值解的稳定区域内的条件,给出方程稳定性的充分必要条件.