常微分方程 数值解法.pptVIP

数学系UniversityofScienceandTechnologyofChinaDEPARTMENTOFMATHEMATICS第1页，共37页，星期日，2025年，2月5日对于一个常微分方程：通常会有无穷个解。如：因此，我们要加入一个限定条件。通常会在端点出给出，如下面的初值问题：为了使解存在唯一，一般，要加限制条件在f上，要求f对y满足Lipschitz条件：第2页，共37页，星期日，2025年，2月5日常微分方程的解是一个函数，但是，计算机没有办法对函数进行运算。因此，常微分方程的数值解并不是求函数的近似，而是求解函数在某些节点的近似值。例：我们对区间做等距分割：设解函数在节点的近似为由数值微分公式，我们有，则：向前差商公式可以看到，给出初值，就可以用上式求出所有的第3页，共37页，星期日，2025年，2月5日基本步骤如下：③解差分方程，求出格点函数①对区间作分割：求在上的近似值。称为分割上的格点函数②由微分方程出发，建立求格点函数的差分方程。这个方程应该满足：A、解存在唯一；B、稳定，收敛；C、相容数值方法，主要研究步骤②，即如何建立差分方程，并研究差分方程的性质。这种方法，称为数值离散方法。求的是在一系列离散点列上，求未知函数y在这些点上的值的近似。我们的目的，就是求这个格点函数第4页，共37页，星期日，2025年，2月5日为了考察数值方法提供的数值解，是否有实用价值，需要知道如下几个结论：①步长充分小时，所得到的数值解能否逼近问题得真解；即收敛性问题②误差估计③产生得舍入误差，在以后得各步计算中，是否会无限制扩大；稳定性问题第5页，共37页，星期日，2025年，2月5日8.1Euler公式做等距分割，利用数值微分代替导数项，建立差分方程。1、向前差商公式所以，可以构造差分方程称为局部截断误差。显然，这个误差在逐步计算过程中会传播，积累。因此还要估计这种积累第6页，共37页，星期日，2025年，2月5日定义在假设yi=y(xi)，即第i步计算是精确的前提下，考虑的截断误差Ri=y(xi+1)?yi+1称为局部截断误差/*localtruncationerror*/。定义若某算法的局部截断误差为O(hp+1)，则称该算法有p阶精度。记为2、收敛性考察局部误差的传播和积累第7页，共37页，星期日，2025年，2月5日第8页，共37页，星期日，2025年，2月5日称为整体截断误差是1阶方法第9页，共37页，星期日，2025年，2月5日3、稳定性－误差在以后各步的计算中不会无限制扩大。是格式对舍入误差的抑止作用我们考虑一种简单情况，即仅初值有误差，而其他计算步骤无误差。设是初值有误差后的计算值，则所以，我们有：可以看出，向前差商公式关于初值是稳定的。当初始误差充分小，以后各步的误差也充分小第10页，共37页，星期日，2025年，2月5日4、向后差商公式是隐格式，要迭代求解可以由向前差商公式求出第11页，共37页，星期日，2025年，2月5日5、中心差商公式是多步，2阶格式，该格式不稳定6、梯形法－基于数值积分的公式对微分方程做积分，则：第12页，共37页，星期日，2025年，2月5日类似，可以算出其误差估计式：2阶的方法所以，有格式为：是个隐式的方法，要用迭代法求解局部截断误差第13页，共37页，星期日，2025年，2月5日8.2Runge－Kutta法由Taylor展开记为所以，可以构造格式这种格式使用到了各阶偏导数，使用不便。第14页，共37页，星期日，2025年，2月5日从另一个角度看，取(x,y)及其附近的点做线性组合，表示F，问题就好办了。当然，要求此时的展开精度相同。这种方法称为Runge－Kutta法第15页，共37页，星期日，2025年，2月5日在(x,y)处展开，比较以2阶为例，设第16页，共37页，星期日，2025年，2月5日有：1、改进的Euler公式2、Heun公式第17页，共37页，星期日，2025年，2月5日一般的Runge－Kutta法构造常见的为3阶，4阶公式第18页，共37页，星期日，2025年，2月5日8.3线性多步法用若干节点处的y及y’值的线性组合来近似y(xn+1)。)...(...110111101knknnnknknnnffffhyy