非线性中立型泛函微分方程数值分析

论文摘要

中立型泛函微分方程（NFDEs）常出现于生物学、物理学、控制理论及工程技术等诸多领域，由于其重要性，近四十年来，人们对这类方程的适定性及其数值方法的收敛性和稳定性进行了大量研究；但另一方面，由于其困难性，迄今国内外文献中对于其理论解和数值解的稳定性研究仍局限于线性问题和一些特殊的非线性问题．本文主要目的是试图将这项研究进一步发展到更为一般的中立型非线性问题．所获主要结果如下：（1）提出了Banach空间中非线性NFDEs试验问题类Lλ*（α，β，γ，L，τ1，τ2）和Dλ*（α，β，γ，（?），τ1，τ2），获得了其理论解的一系列稳定性、收缩性、渐近稳定性及指数渐近稳定性结果．这些结果是本文数值稳定性分析的基础．应当指出，2005年，李寿佛建立了Banach空间中非线性刚性Volterra泛函微分方程（VFDEs）稳定性的一般理论（参见[146]），本文的上述结果将该理论进一步发展到非线性NFDEs．在国内外其他文献中，迄今主要研究了有限维空间中的中立型延迟微分方程（NDDEs）理论解的稳定性，尚未见到关于Banach空间中一般的非线性NFDEs理论解的研究工作．而且其中大量工作是针对线性中立型问题的，例如可参见[32-65]，仅有Bellen，Guglielmi和Zennaro[93]，张诚坚[95]，Vermiglio和Torelli[97]以及王晚生和李寿佛[105，109]等人研究了一些特殊的非线性NDDEs的理论解的稳定性．（2）研究了Banach空间中非线性NDDEs数值方法的稳定性和收敛性，给出了求解一类多延迟中立型微分方程的线性θ-方法的稳定性和渐近稳定的充分条件，获得了求解非线性变延迟中立型微分方程的一类变系数线性多步方法及若干类型的显式和对角隐式Runge-Kutta法的一系列数值稳定性结果，对于前者，同时获得了收敛性结果．此前国内外文献中未见到有关Banach空间中非线性变延迟NDDEs数值方法的稳定性和收敛性研究工作，只有少量文献研究了有限维空间中一些特殊的非线性NDDEs的数值稳定性，例如可参见[83,93,95-109]．（3）利用一个单边Lipschtiz条件和一些经典Lipschtiz条件，对有限维欧氏空间中求解非线性变延迟中立型微分方程的单支方法和波形松弛方法的误差进行了估计．考虑了中立项的三种不同逼近方式，证明了带线性插值的单支方法是p阶E（或EB）-收敛的当且仅当该方法A-稳定且经典相容阶为p（这里p=1，2），同时给出了波形松弛方法的收敛性结果，部分解决了Bartoszewski和Kwapisz于2004年提到的单边Lipschitz条件不能应用于NFDEs的问题，为今后开展这方面的研究打开了突破口．数值试验结果验证了所获理论结果的正确性．（4）获得了求解一类非线性中立型延迟积分微分方程（NDIDEs）的G（c，p）-代数稳定的单支方法和（k，l）-代数稳定的Runge-Kutta法的稳定和渐近稳定的一系列准则．同时利用单边Lipschitz条件，获得了G-稳定单支方法和代数稳定Runge-Kutta方法求解此类型的非线性NDIDEs的收敛性结果．数值试验验证了上述理论结果的正确性．据我们所知，迄今仅有少数作者研究了线性NDIDEs的数值稳定性（参见[63-65]）．2006年，余越昕和李寿佛[98]，余越昕、文立平和李寿佛[103]研究了Runge-Kutta法用于求解另两种类型非线性NDIDEs的稳定性．需要指出的是，非线性延迟积分微分方程（DIDEs）是本文研究的非线性NDIDEs的特殊情形，将本文所获数值稳定性结果应用于DIDEs，相应的结果比已有的结果更为一般和深刻（参见本文第五章第3和第4节）．（5）获得了Hilbert空间中非线性中立型分片延迟微分方程和非线性中立型变延迟微分方程本身散逸的充分条件．对中立型分片延迟微分方程，证明了一个DJ-不可约的代数稳定的Runge-Kutta方法是（弱）E（λ）-散逸的，只要下列二条件中至少有一个成立：1．A-1存在，且|1-bTA-1e|<1；对一般的中立型有界变延迟微分方程，利用一些新的技巧，获得了DJ-不可约的代数稳定的Runge-Kutta方法的有限维散逸性和无限维散逸性结果．在常微分方程（ODEs）和VFDEs系统本身的散逸性和数值方法的散逸性研究中，已经获得了大量重要研究成果，例如可参见[125-144]．2007年，程珍和黄乘明[145]给出了Hale型中立型延迟微分方程散逸的充分条件，并讨论了一类线性多步方法的散逸性．一般形式的非线性NDDEs本身及数值方法的散逸性研究在国内外文献中尚未见到．值得指出的是，即使对于非中立型的延迟微分方程，本文所获数值散逸性结果也比已有的同类结果更为一般和深刻（参见本文第六章第3节）．

论文目录

• 摘要
• Abstract
• 第一章 绪论
• 1.1 中立型泛函微分方程的应用背景
• 1.2 中立型泛函微分方程数值分析研究现状
• 1.2.1 中立型泛函微分方程数值方法稳定性分析
• 1.2.2 中立型泛函微分方程数值方法收敛性分析
• 1.2.3 中立型泛函微分方程数值方法散逸性分析
• 1.3 本文的主要工作
• 第二章 Banach空间中立型泛函微分方程试验问题类及其性质
• 2.1 引言
• 2.2 解的存在唯一性及其光滑性
• λ^*（α,β,γ,L,τ₁,τ₂）及其稳定性'>2.3 试验问题类L_λ^*（α,β,γ,L,τ₁,τ₂）及其稳定性
• λ^*（α,β,γ,L,τ₁,τ₂）'>2.3.1 试验问题类L_λ^*（α,β,γ,L,τ₁,τ₂）
• 2.3.2 试验问题类的稳定性
• 2.3.3 试验问题类的渐近稳定性
• 2.3.4 试验问题类的指数渐近稳定性
• 2.4 应用于中立型延迟微分方程及中立型延迟积分微分方程
• 2.4.1 应用于中立型延迟微分方程
• 2.4.2 应用于中立型延迟积分微分方程
• λ^*（α,β,γ,（?）,τ₁,τ₂）及其稳定性'>2.5 试验问题类D_λ^*（α,β,γ,（?）,τ₁,τ₂）及其稳定性
• 2.5.1 应用及与已有结果的比较
• 第三章 Banach空间中立型延迟微分方程数值方法的稳定性及收敛性
• 3.1 引言
• 3.2 Θ-方法的非线性稳定性
• 3.2.1 试验问题类
• 3.2.2 论解的稳定性
• 3.2.3 Θ-方法稳定性分析
• 3.3 一类多步方法的非线性稳定性
• 3.3.1 试验问题类
• 3.3.2 一类多步方法
• 3.3.3 一类多步方法稳定性分析
• 3.3.4 例子和数值试验
• 3.4 显式和对角隐式Runge-Kutta法的非线性稳定性
• 3.4.1 显式和对角隐式Runge-Kutta法
• λ^*（α,β,γ,L）的稳定性'>3.4.2 关于L_λ^*（α,β,γ,L）的稳定性
• λ^*,δ（α,β,γ,L）的稳定性'>3.4.3 关于L_λ^*,δ（α,β,γ,L）的稳定性
• 3.4.4 例子和数值试验
• 3.5 一类多步方法的收敛性
• 3.5.1 试验问题类
• 3.5.2 系数依赖于步长的多步方法
• 3.5.3 收敛性分析Ⅰ
• 3.5.4 收敛性分析Ⅱ
• 3.5.5 数值试验
• 第四章 中立型延迟微分方程数值方法的收敛性
• 4.1 引言
• 4.2 中立型延迟微分方程单支方法的收敛性
• 4.2.1 单支方法
• 4.2.2 收敛性分析Ⅰ
• 4.2.3 收敛性分析Ⅱ
• 4.2.4 数值试验
• 4.3 中立型延迟微分方程波形松弛方法的收敛性
• 4.3.1 导论
• 4.3.2 解的存在唯一性
• 4.3.3 连续时间波形松弛方法的收敛性
• 4.3.4 扰动波形松弛迭代的收敛性
• 4.3.5 离散时间波形松弛过程的收敛性
• 4.3.6 数值试验
• 第五章 中立型延迟积分微分方程数值方法的稳定性和收敛性
• 5.1 引言
• 5.2 中立型延迟积分微分方程理论解的稳定性
• 5.3 单支方法的非线性稳定性
• 5.3.1 单支方法及数值求积公式
• 5.3.2 稳定性分析
• 5.3.3 解非线性方程组迭代法的收敛性
• 5.3.4 数值试验
• 5.4 Runge-Kutta法的非线性稳定性
• 5.4.1 Runge-Kutta法及数值求积公式
• 5.4.2 稳定性分析
• 5.4.3 解非线性方程组迭代法的收敛性
• 5.4.4 应用举例
• 5.4.5 数值试验
• 5.5 单支方法的收敛性
• 5.5.1 收敛性分析Ⅰ
• 5.5.2 收敛性分析Ⅱ
• 5.5.3 数值试验
• 5.6 Runge-Kutta法的收敛性
• 5.6.1 主要结果及其证明
• 5.6.2 数值试验
• 第六章 中立型延迟微分方程数值方法的散逸性
• 6.1 引言
• 6.2 中立型分片延迟微分方程Runge-Kutta法的散逸性
• 6.2.1 中立型分片延迟微分方程
• 6.2.2 系统的散逸性
• 6.2.3 Runge-Kutta法的散逸性
• 6.3 中立型有界变延迟微分方程Runge-Kutta法的散逸性
• 6.3.1 系统的散逸性
• 6.3.2 Runge-Kutta方法
• 6.3.3 有限维散逸性
• 6.3.4 无限维散逸性
• 结论
• 参考文献
• 致谢
• 附录A（个人简历、在学期间发表的学术论文及研究成果）