刚性延迟系统Rosenbrock方法的稳定性分析及其数值仿真-控制理论与控制工程专业论文.docx

I I 摘 要 延迟微分方程广泛出现于控制工程、航空航天、物理等领域。近年来，国内 外针对这类问题的数值方法进行了深入且广泛的研究。文献通常都集中对求解该 类问题的 Runge-Kutta 方法、线性多步方法、Rosenbrock 方法及更一般的一般线 性方法进行研究，而很少涉及并行算法，且对较为复杂的实际问题的计算例子也 不多见。由于并行计算机的飞速发展和众多领域对数值方法快速性的苛刻要求， 并行算法已被广泛地研究并已成为求解刚性微分方程的一个非常重要的手段。在 如此背景下，针对延迟微分方程的并行算法的分析就显得极为迫切并具有重要的 理论和实际意义。 本文第二章对广义多时滞微分方程组的 Rosenbrock 方法的 GPm-稳定性进行 了分析，证明了它的 GPm-稳定性等价与它对常微分方程的 A-稳定性，并对 PCF 激光器和一类线性刚性两时滞状态反馈控制系统进行了模拟。 本文在第三章对延迟微分方程的并行两步 ROW 方法的渐近稳定性进行了分 析，证明了并行两步 ROW-方法针对延迟微分方程是 GP-和 GPL-稳定的，当且仅 当这类方法针对常微分方程分别是 A-和 L-稳定的。 随着科学研究和工程设计的发展，高效数字仿真在科学技术的众多领域中都 得到了广泛的研究和应用。然而这些研究主要是针对常微分方程的高效仿真算法 进行分析和构造，很少有文献对延迟微分方程的高效仿真算法进行研究，但是它 却有着非常重要的理论和实际意义。考虑到并行算法在高效仿真中极强的可构造 性，及第三章得到的并行两步 ROW 方法对延迟微分方程有良好的稳定性，本文 在第四章利用树理论及 B-级数理论得到了并行两步 ROW 方法的阶和级阶条件， 并证明了如果并行两步 ROW 方法满足在文献中给出的简化条件，则该方法满足 阶和级阶条件。此外，我们构造了一些高效并行两步 ROW 方法，在并行环境下 的数值试验中展示了它们对刚性常微分方程和刚性延迟微分方程的有效性。 关键词：刚性延迟微分方程；广义多时滞线性定常系统；Rosenbrock 方法；GPm- 稳定性；并行两步 ROW 方法；GP- 和 GPL-稳定性；阶和级阶条件； 数字仿真 II II ABSTRACT Delay differential equations (DDEs) arise widely in many fields such as control engineering, aerospace, aviation, physics etc. In recent years, the research of numerical methods for those questions is very deep and popular. Much discussion about Runge-Kutta methods, linear multistep methods, Rosenbrock methods and general linear methods for DDEs is found in majority relevant literatures while little discussion deals with parallel methods for DDEs and few more complicated practical systems have been computed. On account of the rapid development of parallel computer and the rigorous demand of celerity of numerical methods in many fields, parallel methods have been frequently researched and have become one of the most important means in solving stiff differential equations. Therefore, it is urgent and significant in theory and practice to study the parallel methods for DDEs under those backgrounds. In Chapter 2, we analyze the GPm-stability of Rosenbrock methods for general differential equations with several delays, and show that the Rosenbrock me