一类泛函微分程边值问题的数值解.pdfVIP

要 泛函微 方程边值问题广泛出现在最优控制理论及电路理论的应用之中。相对 泛函微 方程初值问题，理论上求解此类问题具有更大的困难，从而构造其数值算 法及对其做相应的理论 析显得尤为重要。配置方法及一些差分方法已经被用来求 解泛函微 方程边值问题，但其理论 析并不是很统一。本文旨在构造几类高阶的 差分方法并对其进行统一的收敛性 析。 我们知道常微 方程边值问题的理论与数值解与相应的初值问题理论与数值解 有着紧密的联系。Keller 曾经证明一个差 格式应用到存在唯一解的一阶常微分方 程边值问题是相容并且稳定的，当且仅当此格式用到相应的初值问题时是相容且稳 定的，即等价于收敛性。泛函微 方程边值问题与初值问题是否有类似的内在联系 呢？本文将对线性问题给出一个肯定的回答。 本文主要将 Runge-Kutta 方法和块边值方法应用于求解一类线性的泛函微分方 程边值问题并给出收敛性 析。对于存在唯一解的泛函微 方程边值问题，我们证 明了一般的差 格式是 p 阶收敛的当且仅当此差 格式应用于相应的泛函微分方程 初值问题时是p 阶收敛的。从而由Runge-Kutta 方法和块边值方法求解初值问题的 收敛性，我们得到了Runge-Kutta 方法和块边值方法应用于泛函微分方程边值问题 的收敛性。最后的数值结果验证了我们的理论 析。 关键字：边值问题，延迟微分方程，Runge-Kutta 方法,块边值方法。 I Abstract Boundary value problems (BVPs) of functional differential equations(FDEs) arise frequently in application of optimal control theory and circuit theory. Compared with initial value problems (IVPs) of FDEs, it is very difficult to solute this kind of problems in theory. Accordingly, to construct its numerical algorithm and the corresponding theoretical analysis is particularly important. Collocation methods and some difference methods have been used to solve BVPs of FDEs. However, theoretical analysis is not quite consistent. This article aims to construct several types of high order difference method and its uniform convergence analysis. It is well known that the theory about BVPs of ordinary differential equations(ODEs) and numerical solutions are closely related to the corresponding theory and numerical solutions of initial value problems (IVPs). Keller has proved the a difference scheme are stable and consistent for the BVPs of first order ODEs with unique solutions if and only if the corresponding scheme are stable a