几类分段连续型延迟微分方程数值解稳定性-基础数学专业论文.docxVIP

摘 摘 要 哈尔滨工业大学理学博士学位论文 哈尔滨工业大学理学博士学位论文 – – I – – – PAGE IV – 摘 要 本文主要研究分段连续型延迟微分方程(EPCA)数值解的稳定性，这类方 程在物理、生物和控制中有着广泛的应用。 经典的分段连续型延迟微分方程包含了在一些区间上是常数的项，在这些 区间上方程的解是满足方程的连续函数。方程的解是由初始值所决定的，而不 像一般的延迟微分方程是由初始函数所决定的。 本文讨论Euler-Maclaurin方法求解中立型分段连续型延迟微分方程的数值 解的收敛性和稳定性。证明了n级Euler-Maclaurin方法对于中立型分段连续型 延迟微分方程的收敛阶为2n + 2。将这类中立型分段连续型延迟微分方程等价 也转化为带有一延迟项[t]的分段连续型延迟微分方程，并得到其解析解渐近稳 定的充要条件，利用这个等价方程得到Euler-Maclaurin方法的数值稳定区域， 并且证明了数值解稳定区域包含解析解稳定区域的充分必要条件是n是奇数。 本 文 讨 论 了 一 类 特 殊 类 型 的 超 前 型EPCA方 程 的 解 析 解 的 稳 定 性 及 应 用θ-方法和Runge-Kutta方法于该方程所得数值解的收敛性及稳定性。给出 了N 2时解析解渐近稳定的充分条件:同时给出了N = 2时解析解渐近稳 定的充要条件。证明了θ-方法和Runge-Kutta方法保持其原有的收敛阶。利 用Order Stars和Pade′逼近理论，给出了稳定函数由ez 的Pade′逼近给出的Runge- Kutta方法的数值解保持解析解渐近稳定的充分必要条件。 2研究了Runge-Kutta方法对于带有[t + 1 ]项的超前滞后交替混合型EPCA方 程的收敛性和稳定性。证明了Runge-Kutta方法可以保持原来的收敛阶，利 用Order Stars和Pade′逼近理论，给出了稳定函数由ez 的Pade′逼近给出的Runge- 2 Kutta方法的数值解稳定区域包含解析解稳定区域的充分必要条件。 研究了带一个延迟项[t]的复系数分段连续型延迟微分方程的稳定性。利用 几何方法证明了对于几乎所有的a ∈ C，稳定函数由ez 的(r, s)-Pade′ 逼近给出 的Runge-Kutta方法的数值解的稳定区域一般不包含解析解的稳定区域:解析 解的稳定区域一定包含在四种数值方法的稳定域的并集中。 关键词 分段连续型延迟微分方程:混合型延迟微分方程:数值方法:稳定 性:收敛性 Abstract This paper deals with the stability of the numerical solutions for the delay differential equations with piecewise continuous arguments (EPCA). This kind of equations has considerable applications to physics, biology systems and control theory. A typical EPCA contains arguments that has intervals of constancy. The solution is defined as a continuous function that satisfies the equation within these intervals and is determined by a finite set of initial data rather than by an initial function as in the case of general delay differential equations. The convergence and stability of the Euler-Maclaurin methods for the neutral delay differential equations with piecewise continuous arguments are considered. It is proved that the n stage Euler-Maclaurin method is of order 2n + 2. The sufficient and necessary conditions under which the analytic solution is asymp- totically stable are obtained by transforming it in