论文部分内容阅读
本文主要研究了两类分段连续型微分方程(即:脉冲微分方程和自变量分段连续型微分方程)的数值解的稳定性。该两类分段连续型微分方程广泛存在于应用科学的各个领域中,其数值解的稳定性分析具有重要的理论价值和实际意义。文中详细地叙述了脉冲微分方程和自变量分段连续型微分方程的应用背景和研究历史,回顾了该两类分段连续型微分方程的解析解和数值解的稳定性发展状况。对于线性脉冲微分系统,分析了解析解的渐近稳定性。定义了保持收敛阶的变步长的Runge-Kutta格式。当范数为2-范数时,分别分析了系数矩阵L满足μ[L]≤0、μ[?L]≤0和L为任意矩阵时Runge-Kutta方法和θ-方法其数值解保持解析解渐近稳定的条件。特别地,利用Order Stars和Pade′逼近理论,研究了稳定函数由ex的(r,s)-Pade′逼近给出的Runge-Kutta方法其数值解保持解析解渐近稳定的条件。对于脉冲微分系统和离散系统,分别给出了相应的Lyapunov定理,该定理是现有的Lyapunov定理的一个改进。讨论了几类脉冲微分方程和离散的线性脉冲方程的渐近稳定性条件。研究了θ-方法应用于变系数的线性脉冲微分方程其数值解保持解析解渐近稳定的条件。对于自变量分段连续型d维复线性微分系统,研究了解析解的渐近稳定性。定义了保持收敛阶的Runge-Kutta格式。在μ[L] < 0的条件下,分别讨论了系数矩阵L为复矩阵、规范矩阵和实对称矩阵时,其数值解保持解析解渐近稳定的条件。特别地,当L为实对称矩阵时,利用Order Stars和Pade′逼近理论,研究了稳定函数由ex的(r,s)-Pade′逼近给出的Runge-Kutta方法其数值解保持解析解渐近稳定的条件。最后,研究了一个自变量分段连续型偏微分方程。文中给出的例子展现了一个有趣现象:把著名的Crank-Nicolson公式应用于该类方程和一般的偏微分方程具有不同的性质。因此,研究该类方程的数值解是很有意义的。对于该类方程定义了有限差分方法:θ-格式,并具体地研究了该格式其数值解保持解析解渐近稳定的条件。