论文部分内容阅读
延迟微分方程已广泛应用于物理、工程、生物、医学及经济等各个领域中.因绝大部分延迟微分方程真解的显式表达难以获得,所以数值方法求解这类方程具有重要的理论和实际意义.数值方法的稳定性是延迟微分方程数值解研究中一个重要的部分.本文主要研究延迟微分方程边界值方法的延迟依赖稳定性.全文由如下六部分组成.第一章叙述了延迟微分方程的应用背景,回顾了近几十年来延迟微分方程解析与数值稳定性理论的研究和发展概况,介绍了边界值方法及其应用.第二章介绍了本文需要用到的基础知识,引入了边界值方法的延迟依赖稳定性的两个概念:(?)k1,k2(0)-稳定性和Tκ1,κ2-稳定性.第三章考虑了求解一阶标量延迟微分方程的对称格式的延迟依赖稳定性.对于实系数模型,得到了数值方法的延迟依赖稳定区域.获得了对称方法是Tv,v-1(0)-稳定的充分必要条件,验证了10阶及以下的对称格式是(?)v,v-1(0)-稳定的.对于复系数情形,得到了对称格式的延迟依赖稳定区域,证明了所有对称格式均不是Tv,v-1-稳定的.第四章研究了求解一类二阶延迟微分方程对称格式的延迟依赖稳定性.得到了数值方法的延迟依赖稳定区域,获得了数值解能保持原问题渐近稳定性的充分必要条件,证明了所有Tv,v-1(0)-稳定的对称格式均能完全保持该二阶模型解析解的渐近稳定性.第五章研究了求解一阶标量延迟微分方程的广义向后差分公式的延迟依赖稳定性.得到了广义向后差分公式的延迟依赖稳定区域,证明了当且仅当κ=1,2,4,6时,广义向后差分公式是Tv,κ-v(0)-稳定的.第六章在一个统一的理论框架下研究了边界值方法的延迟依赖稳定性,获得了边界值方法是Tk,k2(0)-稳定的充分性条件,运用该条件对边界值方法中的三大类格式进行了分析,验证了11阶及以下的广义亚当斯方法都是Tv,κ-v(0)-稳定的.