脉冲和分段连续型微分方程的数值分析-基础数学专业毕业论文.docxVIP

Classified Index: O241.8 U.D.C.: 519.09 Dissertation for the Doctoral Degree in Science NUMERICAL ANALYSIS OF IMPULSIVE DIFFERENTIAL EQUATIONS AND DIFFERENTIAL EQUATIONS WITH PIECEWISE CONTINUOUS ARGUMENTS Candidate: Liu Xing Supervisor: Prof. Liu Mingzhu Co Supervisor: Associate Prof. Song Minghui Academic Degree Applied for: Doctor of Science Specialty: Fundamental Mathematics Affiliation: Department of Mathematics Date of Defence: June, 2012 Degree-Conferring-Institution: Harbin Institute of Technology – – I – 摘 要 摘 要 本文研究了延迟微分方程以及脉冲微分方程精确解与数值解的性质。微分 方程作为描述事物发展规律的重要的数学工具，在控制科学、生物学和物理学 等很多领域有重要的应用。但是微分方程的显式解通常无法得到。这时需要借 助于数值方法计算近似解。数值解的收敛性描述了在每个节点处数值解对精确 解的逼近精度，而数值解的稳定性则可以刻画数值方法的抗干扰能力。因此， 研究数值解的这两种性质是非常有意义的。 本文介绍了延迟微分方程以及脉冲微分方程的应用背景，并回顾了延迟微 分方程以及脉冲微分方程数值解的研究历史与发展现状。 针对经典的线性多步法在求解分段连续型微分方程时不能保持收敛阶甚至 不收敛的情况，构造了改进的线性多步法，并讨论了该方法应用于分段连续型 微分方程时的收敛阶。 探讨了半线性分段连续型微分方程精确解的渐近稳定性，构造了指数 ??方 法，并证明了该方法可以保持精确解的稳定性；引入了指数 Runge-Kutta 方法并 给出了相应数值解保持半线性分段连续型微分方程精确解稳定性的条件。 对 于 非 线 性 分 段 连 续 型 微 分 方 程，给 出 了 精 确 解 渐 近 稳 定 的 条 件；利 用 Runge-Kutta 方法计算数值解。对于 1 维的非线性系统，给出了数值解稳定的充 分 必 要 条 件；对 于 多 维 的 系 统，采 用 一 种 新 的 技 巧 分 析 了 数 值 解 的 渐 近 稳 定 性。 对于线性脉冲微分方程，数值实验表明经典的线性多步法不能保持原有收 敛阶。引入了另外一种改进的线性多步法并研究了该方法的收敛性与稳定性。 对于非线性脉冲微分方程，通过变换将方程转化为不带脉冲的微分方程， 给出精确解指数渐近稳定的充分条件。对于数值解，用相应于精确解的转换构 造了 Runge-Kutta 方法的差分格式，并研究了数值解的收敛性和指数渐近稳定 性。 关键词： Runge-Kutta 方法; 线性多步法; 稳定性; 分段连续型微分方程；脉冲微 分方程 – – II – 哈尔滨工业大学理学博士学位论文 Abstract In this thesis, the properties of exact and numerical solutions to delay differential equations and impulsive differential equations are investigated. Differential equations are an important tool in describing system evolution, which play an important role in many applications, such as control theory, biology and physics and so on. However, it is always impossible to obtain the explicit exact solutions of differential equations. Therefore, in general, a numerical method is useful for some approximations. The numerical con- vergence indicates the accuracy to the exact solution at each grid p