第3章 常微分方程.pptVIP

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