计算方法(12)第八章 常微分方程(1)
数值分析-计算方法-常微分方程-精品文档

Ri 的主项Байду номын сангаас
/* leading term */
7.1 Euler’s Method
欧拉公式的改进:
隐式欧拉法 /* implicit Euler method */
向后差商近似导数
y(xi+1)≈yi+hf(xi+1, y(xi+1))
y ( x ) y ( x i 1 i) y ( x ) i 1 xi h
考虑一阶常微分方程的初值问题 /* Initial-Value Problem */:
dy f (x , y) x [a ,b ] dx 0 y(a) y
只要 f (x, y) 在[a, b] R1 上连续,且关于 y 满足 Lipschitz 条 f ( x , y ) f ( x , y ) | L | y y | 1 2 1 2 件,即存在与 x, y 无关的常数 L 使 | 对任意定义在 [a, b] 上的 y1(x) 和 y2(x) 都成立,则上述IVP存 在唯一解。 要计算出解函数 y(x) 在一系列节点 a = x0< x1<…< xn= b y ( x ) ( i 1 , ... , n ) 处的近似值 y i i 节点间距hi=xi+1-xi称为步长,当 hi = h 为常数时称为等步长。
3 h R y ( x ) y y ( x ) O ( h ) i i 1 i 1 i 2
2
即隐式欧拉公式具有 1 阶精度。
7.1 Euler’s Method
梯形公式 /* trapezoid formula */
— 显、隐式两种算法的平均
常微分方程解法总结

常微分方程解法总结引言在数学领域中,常微分方程是一类以函数与其导数之间关系为描述对象的方程。
它广泛应用于物理、化学、生物等自然科学的建模和解决问题中。
常微分方程的求解有许多方法,本文将对其中一些常见的解法进行总结和讨论。
一、分离变量法分离变量法是求解常微分方程中常用的一种方法。
它的基本思想是将方程中的变量分离,将含有未知函数的项移到方程的一侧,含有自变量的项移到方程的另一侧,然后对两边同时积分,从而得到最终的解析解。
例如,考虑一阶常微分方程dy/dx = f(x)g(y),可以将此方程改写为1/g(y)dy = f(x)dx,然后对两边同时积分得到∫1/g(y)dy =∫f(x)dx。
在对两边积分后,通过求解不定积分得到y的解析表达式。
二、常系数线性齐次微分方程常系数线性齐次微分方程是另一类常见的常微分方程。
它具有形如dy/dx + ay = 0的标准形式,其中a为常数。
这类方程的解法基于线性代数中的特征值和特征向量理论。
对于形如dy/dx + ay = 0的一阶常微分方程,可以假设其解具有形式y = e^(rx),其中r为待定常数。
带入方程,解得a的值为r,于是解的通解即为y = Ce^(rx),其中C为任意常数。
通过特定的初值条件,可以确定常数C的值,得到方程的特解。
三、变量分离法变量分离法是一种适用于某些特殊形式常微分方程的解法。
其基本思想是将方程中的变量进行适当的变换,从而将方程化为分离变量的形式。
例如,考虑一阶非齐次线性微分方程dy/dx = f(x)/g(y),其中f(x)和g(y)为已知函数。
通常情况下,变量分离法需要对方程变形,将含有未知函数和自变量的项进行合并处理。
假设存在一个新的变量z(x) = g(y),则dy/dx = (dy/dz)*(dz/dx) = (1/g'(y))*(dz/dx)。
将dy/dx和f(x)分别代入原方程,进而可以求得dz/dx。
对dz/dx进行积分后,可以得到z(x)的解析表达式。
高等数学 第八章 常微分方程

第八章 常微分方程一、本章提要1. 基本概念微分方程,常微分方程,微分方程的阶数,线性微分方程,常系数线性微分方程,通解,特解,初始条件,线性相关,线性无关,可分离变量的方程,齐次线性方程,非齐次线性方程,特征方程,特征根.2. 基本公式一阶线性微分方程 ()()y P x y Q x '+=的通解公式:()d ()d ()e d e P x x P x x y Q x x C -⎡⎤⎰⎰=+⎢⎥⎣⎦⎰. 3. 基本方法分离变量法,常数变易法,特征方程法,待定系数法,降阶法. 4. 定理齐次线性方程解的叠加原理,非齐次线性方程解的结构. 二、要点解析问题1 常微分方程有通用的解法吗?对本章的学习应特别注意些什么?解析 常微分方程没有通用的求解方法.每一种方法一般只适用于某类方程.在本章 我们只学习了常微分方程的几种常用方法.因此,学习本章时应特别注意每一种求解方法所适用的微分方程的类型.当然,有时一个方程可能有几种求解方法,在求解时,要选取最简单的那种方法以提高求解效率.要特别注意:并不是每一个微分方程都能求出其解析解,大多数方程只能求其数值解.例1 求微分方程 '+=y y 0 的通解.解一 因为 0y y '+= 所对应的特征方程为10r +=,特征根1r =-,所以e xy C -=(C 为任意常数)为所求通解.解二 因为0=+'y y ,所以 )0(d d ≠-=y y xy ,分离变量x yy d d -=,两边积分⎰⎰-=x yy d d ,1ln y x C =-+, 1ex C y -+=,1e e C x y -=±,所以 exy C -= (C 为任意常数).请思考为什么所求通解 e x y C -= 中的任意常数C 可以为零,如何解释. 问题2 如何用微分方程求解一些实际问题?解析 用微分方程求解实际问题的关键是建立实际问题的数学模型——微分方程.这首先要根据实际问题所提供的条件,选择和确定模型的变量.再根据有关学科,如物理、化学、生物、几何、经济等学科理论,找到这些变量所遵循的定律,用微分方程将其表示出来.为此,必须了解相关学科的一些基本概念、原理和定律;要会用导数或微分表示几何量和物理量.如在几何中曲线切线的斜率 xy k d d =(纵坐标对横坐标的导数),物理中变速直线运动的速度 d d s v t=,加速度 22d d d d ts tv a ==,角速度 tw d d θ=,电流 tq i d d =等.例2 镭元素的衰变满足如下规律;其衰变的速度与它的现存量成正比,经验得知,镭经过1600年后,只剩下原始量的一半,试求镭现存量与时间t 的函数关系.解 设t 时刻镭的现存量()M M t =,由题意知:0(0)M M = ,由于镭的衰变速度与现存量成正比,故可列出方程kM tM -=d d ,其中(0)k k >为比例系数.式中出现负号是因为在衰变过程中M 逐渐减小,0d d <tM .将方程分离变量得ektM C -=,再由初始条件得00e M C C ==, 所以0ektM M -=,至于参数k ,可用另一附加条件 2)1600(0M M =求出,即160000e2k M M -⋅=,解之得k =≈ln .216000000433,所以镭的衰变中,现存量M 与时间t 的关系为0.0004330etM M -=.三、例题精解例3 求''=y y 4满足初始条件01,2x x yy =='== 的特解.解一 令'=y p ,则d d d d d d d d p p y py pxy x y''==⋅=.将其代入原方程''=y y 4得 y yp p4d d =,分离变量 y y p p d 4d =, 两边积分⎰⎰=y y p p d 4d ,22111422p y C =⋅+, 2224p y C =+,因为01,2x x yp y =='===,所以222241C =⨯+,可得C 2=0.故224p y =,即p y =±2.这里'=-y y 2 应舍去,因为此时'y 与y 异号,不能够满足初始条件.将2y y '=分离变量便得其解y =23exC +.再由y x ==01,得30C =,于是所求解为2e xy =.上面解法中,由于及时地利用初始条件确定出了任意常数C 1的值,使得后续步骤变得简单,这种技巧经常用到.解二 因为''=y y 4,所以40y y ''-=,特征方程 240r -=, 特征根 122,2r r =-=, 于是其通解为2212e e x x y C C -=+, 由初始条件可得C 1=0 ,C 2=1 ,所求特解为 2e x y =.例4 求方程''+=y y x sin 的通解.解一 该方程为二阶常系数非齐次线性方程,其对应的齐次方程为 ''+=y y 0,特征方程为 210r +=, 特征根12i,=i r r =-,齐次方程的通解为12cos sin c y C x C x =+,由于方程0sin e sin y y x x ''+==,i i αβ+=(其中0,1αβ==) 恰是特征单根,故设特解为y x A x B x p =+(c o ss i n ), 代入原方程,可得1,02A B =-= 所以y x x p =-12cos ,于是所求通解为y C x C x x x =+-1212c o ss i n c o s .上述解法一般表述为:若二阶线性常系数非齐次微分方程 ''+'+=y py qy f x ()中的非齐次项[]()e()cos ()sin xn h f x P x x P x x αββ=+,那么该微分方程的特解可设为[]e()c o s ()s i n kxp mm y x P x x Q xx αββ=+,其中(), ()m m P x Q x 均为 m 次待定多项式 {}m h n =m ax ,.如果非齐次项中的αβ,使i αβ±不是特征方程的根,则设0k =;如果i αβ±是特征方程的单根,则取1k =.解二 方程''+=y y x sin 所对应的齐次方程''+=y y 0之通解y C x C x C =+12cos sin .为求''+=y y x sin 的一个特解,先求辅助方程 i e e (0i )x xy y λλ''+===+ ①的特解,由于i λ= 恰是特征单根,故可设i e xp y Ax =为①的一个特解.将其代入①整理得2i 1A = 即i 2A =-,所以i i i 11e(c o s i s i n )s i n i (c o s)2222xp y x x x x x x x x =-=-+=-, 即y x x *cos =-12为方程''+=y y x sin 的一个特解.因此,所求通解为y C x C x x x =+-1212cos sin cos .该方法一般表述为:若二阶线性常系数非齐次微分方程''+'+=y py qy f x ()中的非齐次项()()ecos xm f x P x x αβ=或()()e sin x m f x P x x αβ=时,可先令()()e x m f x P x λ=(i λαβ=+)按λ是否为特征方程的特征根(λ是特征根设1k =,不是特征根设0k =),可设()e kxp m y x Q xλ=为方程()e xm y py qy P x λ'''++=的特解,求出12i p y y y =+的形式,则y 1为''+'+=y py qy ()e cos x m P x x αβ的一个特解, y 2 为''+'+=y py qy ()e sin x m P x x αβ的一个特解. 上述两种解法,实质上是一样的,为什么?四、练习题1. 判断正误(1)若y 1和y 2是二阶齐次线性方程的解,则1122C y C y +(C 1,C 2为任意常数)是其通解 ; ( ⨯ )解析 只有1y 和2y 是二阶齐次线性方程的两个线性无关的解时,其线性组合1122C y C y +才是通解.(2)'''+''-=y y x 0的特征方程为3210r r +-=; ( ⨯ ) 解析 '''+''-=y y x 0为三阶常系数非齐次线性微分方程,其对应的齐次线性方程为0=''+'''y y ,由于齐次线性微分方程的特征方程是把微分方程中的未知函数y 换成未知元r ,并将未知函数的导数的阶数换成未知元r 的次数而得到的代数方程.因此,'''+''-=y y x 0的特征方程为3210r r +-=.(3)方程''-'=y y x sin 的特解形式可设为x B x A sin cos +(A,B为待定系数) ;( √ )解析 对应的齐次方程为0='-''y y ,特征方程为02=-r r ,特征根为 1r =0,2r =1. 又因为1,0==βα,i i αβ±=±不是特征根,于是,非齐次方程的特解应设为x x Q x x P y p s i n )(c o s )(00+== x B x A sin cos +.(4)'=y y 的通解为e xy C =(C 为任意常数). (√ )解析 特征方程为01=-r ,特征根为r =1,所以,特征方程的通解为e x y C =.2.选择题(1)2(1)e xy y y x '''-+=+的特解形式可设为( A );(A)2()e x x ax b + ; (B) ()e x x ax b +;(C) ()e xa xb +; (D) 2)(x b ax +.解析 特征方程为0122=+-r r ,特征根为 1r =2r =1.λ=1是特征方程的特征重根,于是有2()e xp y x ax b =+.(2)2e sin x y y y x -'''++=的特解形式可设为( C );(A) e sin x A x -; (B) 2e sin x Ax x -; (C) e (sin cos )x A x B x -+; (D) )cos (sin 2x x Ax +.解析 特征方程为 0122=++r r ,特征根为 1r =2r =1-.又因为1,1=-=βα,i 1i αβ±=-±不是特征根,于是,非齐次方程的特解设为)cos sin (x B x A e y xp +=-.(3)22e cos x y y y x -'''++=的特解形式可设为( A );(A) (cos sin )e x x A x B x -+; (B) e cos x Ax x -;(C) e sin x Ax x -; (D) (cos sin )e x Ax x x -+.解析 特征方程为0222=++r r ,特征根为 1r =1i -+,2r =1i --.又因为1α=-,1β=,i 1i αβ±=-±是特征方程的特征单根,于是,非齐次方程的特解设为 e(c o s s i n xp y x A x B x -=+.(4)下列方程中,通解为12e e x xy C C x =+的微分方程是( A ).(A) 02=+'-''y y y ; (B) ''+'+=y y y 21; (C) '+=y y 0 ; (D) '=y y .解析 由通解y =12e e x x C C x +=12()e xC C x +可知,它是二阶常系数齐次线性微分方程的通解,方程的特征根为重根1r =2r =1,对应的特征方程为0122=+-r r ,其所对应的二阶常系数齐次线性微分方程为02=+'-''y y y .3.填空题(1) 方程 '''+'=y y 0的通解为 123cos sin C C x C x ++;解 特征方程为03=+r r ,特征根为1r =0,2r =i ,3r =i -,方程的通解为 y =123cos sin C C x C x ++. (2)''+'+=y py qy 0的特征方程为 02=++q pr r ;解 特征方程是把微分方程中的未知函数y 换成未知元r ,并将未知函数的导数的阶数换成未知元r 的次数而得到的代数方程.(3)''=y x 2sin 的通解为 122sin x C x C -++ ; 解 方程两边积分得 y '=2sin d x x ⎰=12cos x C -+, 微分方程的通解 1(2c o s )d y x C x =-+⎰=122sin x C x C -++.(4)''-'+=y y y 567满足670==x y和'=-=y x 01的特解为 237ee6xx-+ .解 对应的齐次方程为065=+'-''y y y ,特征方程为0652=+-r r ,特征根为1r =2,2r =3,对应齐次方程的通解为2312eexxc y C C =+.由于λ=0不是特征方程的根,故设00()ee xxp y Q x A ==,将()Q x A =,0)()(=''='x Q x Q 代入方程,有6A =7, 即 A =67.于是方程的特解为 67=p y ,方程的通解为 23127=e +e6xxy C C +.现在求满足初始条件的特解.对y 求导得23122e 3e x xy C C '=+,将初值代入y 与y ',有121277(0),661(0)23,y C C y C C ⎧⎪==++⎨'-==+⎪⎩即 {12120,231,C C C C +=+=- ⇒{121,1,C C ==- 于是,方程满足初始条件的特解为y =237e e 6x x -+.4. 解答题(1) 用两种方法求解 ''=-'y x y 2;解一 对应的齐次方程为02='+''y y ,特征方程为 022=+r r ,特征根为 1r =0,2r =2-,于是对应的齐次方程的通解为c y =212exC C -+.由于λ=0是特征方程的特征单根,于是设p y =0()e x Q x =x(Ax+B)0e x , 求导得 B Ax x Q +='2)(, A x Q 2)(='', 则有 x B Ax A =++)2(22, ⇒ 1,41,4A B ⎧=⎪⎨⎪=-⎩ 所以方程的特解为 p y =)414(-x x ,所求方程的通解为 y =212exC C -++442x x-.解二 设)(x p y =',则)(x p y '='',原方程变形为 p x p 2-=',对应的齐次方程为 02=+'p p ,用分离变量法,得d 2d p x p=-,两边积分,得 l n 2l n p x c=-+, 即2e xp c -=, 根据常数变易法,设2()exp c x -=,代入p x p 2-=',有2()exc x x -'=, 2()e,xc x x '=积分得 2()ed xc x x x=⎰=21de2xx ⎰=2211ee d 22xxx x -⎰=22111ee24xxx C -+,变形后所得一阶微分方程的通解为 p =211e 24xx C --+,所以,原方程的通解为 y =()d p x x ⎰=211(e)d 24xx C x --+⎰=212exC C -++442x x-.(2) 求方程 ''+=y y x x cos 2满足10==x y,019x y ='=-的特解;解 对应的齐次方程为0=+''y y ,特征方程为012=+r ,特征根为1r =i ,2r =i -,对应的齐次方程的通解为c y =12cos sin C x C x +.先求辅助方程2i e x y y x ''+=的特解:由于λ=2i 不是特征方程的特征根,于是设p y =2i ()e x Q x =)(B Ax +2i e x ,A x Q =')(, 0)(=''x Q ,则有 4i 3()A Ax B x -+= ⇒ 1,34i,9A B ⎧=-⎪⎨⎪=-⎩所以,辅助方程的特解为p y 14(i)(cos 2i sin 2)39x x x =--+1414(cos 2sin 2)(sin 2cos 2)i 3939x x x x x x =-++--,于是原方程的特解为 p y =x x x 2sin 942cos 31+-, 所求方程的通解为 y =12cos sin C x C x +14cos 2sin 239x x x-+.现在求满足初始条件的特解.对通解求导数,得='y 12128sin cos cos 2sin 2cos 2,339C x C x x x x x -+-++由初始条件10==x y ,019x y ='=-,带入上面两式,得121,2,3C C =⎧⎪⎨=-⎪⎩所以,满足初始条件的特解为 x x y sin 32cos -=14cos 2sin 2.39x x x -+(3) 求方程 (e e )d (e e )d 0x y x x y y x y ++-++=的通解; 解 整理得 e (e 1)d e (e 1)x y yxx y -=-+,用分离变量法,得eed de 1e 1yxyxy x =--+,两边求不定积分,得 l n (e 1)l n (e 1)l y xC -=-++,于是所求方程的通解为 e 1e 1yxC-=+,即 e 1e 1yxC =++.(4) 求()y x y y 2620-'+=的通解;解 分离变量,得 2d 2d 6y y xx y=-,取倒数,有2d 613d 22x x y x y yyy-==-,是x 关于y 一阶线性微分方程.求此方程的通解.对应的齐次方程为d d x y=3yx ,用分离变量法,得 d x x=3d y y,两边积分,得 l n 3l n l n x y c =+, 即 3x c y =,用常数变易法,设方程的解为x =3()c y y ,代入方程,有31()2c y y y '=-, 即 21()2c y y'=-,积分,得 ()c y =12C y+,所以,方程的通解为 x =2312y C y +.(5) 当一次谋杀发生后,尸体的温度从原来的37C 。
常微分方程

常微分方程首先我们要知道,微分方程是研究动力系统的一种重要方法,在经济、工程、生物等领域都有广泛的应用。
在研究这类问题时,可考虑用一个常变量和一个变量之间具有线性关系的函数来表示微分方程式。
用这样的方程表示动力系统的基本规律是:用函数表示运动过程中各因素变化量的函数,即把这一变化过程抽象成一个常微分方程,再通过微分算子来表示这个常微分方程。
在工程上,常微分方程的解可用如下方法求得:(1)用函数表示的变量为常数,而各因素变化量之和为常数。
(2)当a>0时,常微分方程有一个解析解,当a<0时,解是一个解析解。
常微分方程的解法有多种:在求解时可以采用迭代法(由初值决定)、直接迭代法(通过计算使解逼近)和利用代数方法。
下面介绍几种常用的方法。
(1)直接迭代法由解出的未知量,求出已知初值的迭代解法。
一般有两种形式:①求一元函数f (x)的初值问题:将一元函数在其坐标轴上移动一个单位距离,然后写成方程;②求一元函数f (x)在某区间上的一个极值点。
上述两种求解方式,都可直接得出解。
常微分方程的求解方法和解法都很多,下面介绍两种。
(1)直接迭代法(或称最小二乘法)用较少的未知数和较小的初值,就可得到解:其中A为待求变量,\ frac {a}{2_{0}}\ frac {1}{2_{0}}。
(2)代数方法:从常微分方程出发,利用微分方程解空间中某点到未知数的映射,将这些点连成一条直线,从而得到这条直线上所表示的未知数。
利用常微分方程直接写出各变量在空间所代表的几何元素及在坐标轴上所代表的物理量之间的关系。
常用符号表示如下:一元函数的微分方程用常微分方程来表示动力系统,目的是为了用一个简单、易解的形式来描述动力系统。
一元函数微分方程在实际问题中很广泛地应用。
例如,当温度变化时,植物生长量与叶片面积之间会出现关系式为:[p (A)=0,…],而当温度变化到一定程度时又会出现关系式为:[p (A)=b (B)=0];当叶子面积与叶面积之比增大时,生长量与叶面积之比也随之增大。
常微分方程的解法

常微分方程的解法常微分方程(Ordinary Differential Equation)是描述自然现象和工程问题的基础数学模型,被广泛应用到各个领域中。
解常微分方程的方法不仅是数学学科的基本内容,也是物理、工程、经济等工科领域必须熟练掌握的数学工具之一。
本文将简单介绍常微分方程的基本概念和解法。
一、基本概念常微分方程是指仅涉及一个自变量和它的几个导数的方程。
通常形式为:$$F(x,y,y^\prime,y^{\prime\prime},...,y^{(n)})=0$$若仅涉及一阶导数,则称为一阶常微分方程,通常写作$y^\prime=f(x,y)$。
一般地,我们都要求解的是一阶常微分方程,因此本文仅介绍一阶常微分方程的解法。
二、解法1. 可分离变量法若已知的微分方程为$y^\prime=f(x,y)$,并且可以分离变量,即$f(x,y)=g(x)h(y)$,则可通过以下步骤求解:(1)将方程移项得到$\frac{dy}{dx}=g(x)h(y)$;(2)分母h(y)移项得到$\frac{1}{h(y)}dy=g(x)dx$;(3)两边同时积分得到$\int\frac{1}{h(y)}dy=\int g(x)dx+C$,其中C为常数。
2. 齐次方程法若已知的微分方程为$y^\prime=f(x,y)$,并且满足$f(x,y)=f(\frac{y}{x})$,则称该微分方程为齐次方程。
则可通过以下步骤求解:(1)令$y=ux$,则有$\frac{dy}{dx}=u+x\frac{du}{dx}$;(2)将$y^\prime=f(x,y)$代入$\frac{dy}{dx}=u+x\frac{du}{dx}$中得到$$u+x\frac{du}{dx}=f(x,ux)$$(3)该方程可变形为$$\frac{du}{f(x,ux)-u}=\frac{1}{x}dx$$(4)对两边积分得到$$\int\frac{du}{f(x,ux)-u}=\ln|x|+C$$,其中C为常数。
高等数学第八章知识点总结

高等数学第八章知识点总结1.常微分方程:常微分方程是指只涉及一个自变量的微分方程。
常微分方程可以分为一阶常微分方程和二阶常微分方程两种。
2. 一阶常微分方程:一阶常微分方程的一般形式为dy/d某 =f(某,y),其中f(某,y)是已知函数。
可以通过分离变量、变量代换和齐次方程等方法求解。
一阶线性常微分方程的一般形式为dy/d某 + P(某)y = Q(某),可以用积分因子法求解。
3.二阶常微分方程:二阶常微分方程的一般形式为y''+P(某)y'+Q(某)y=f(某),其中P(某)、Q(某)和f(某)是已知函数。
可以通过齐次方程的通解和非齐次方程的特解相加得到二阶常微分方程的通解。
常见的二阶线性常微分方程有齐次线性方程、非齐次线性方程和欧拉方程。
4.偏微分方程:偏微分方程是指涉及多个自变量的微分方程。
偏微分方程的求解方法与常微分方程有所不同。
常见的分为线性偏微分方程和非线性偏微分方程。
5. 二阶线性偏微分方程:二阶线性偏微分方程的一般形式为Au_某某 + 2Bu_某y + Cu_yy + Du_某 + Eu_y + Fu = 0,其中A、B、C、D、E和F为已知函数。
可以通过分离变量、变量代换和变系数法等方法求解。
6.泊松方程和拉普拉斯方程:泊松方程的一般形式为△u=f(某,y,z),拉普拉斯方程是泊松方程的特例,即泊松方程中f(某,y,z)为零。
泊松方程和拉普拉斯方程在物理学中有广泛应用。
7.边值问题和初值问题:求解偏微分方程时,通常需要给出边界条件或初值条件。
边值问题是指在一定边界上给出方程的解,初值问题是指在某一初始时刻给出方程的解。
8.分离变量法和变量代换法:分离变量法将偏微分方程中的变量分离出来,变成常微分方程来求解;变量代换法通过适当的变量代换,将偏微分方程转化为常微分方程来求解。
总的来说,高等数学第八章主要讲述了常微分方程和偏微分方程的求解方法和应用,为后续学习微分方程的相关内容打下基础。
计算方法课件第八章常微分方程初值问题的数值解法
整体截断误差与局部截断误差的关系
定理:如果f(x,y)满足李普希兹(Lipschitz)条件
f(x ,y 1 )f(x ,y 2) L y 1y 2
且局部截断误差有界:
|R n|1 2h2M 2
(n1,2, )
则Euler法的整体截断误差n满足估计式:
ne(ba)L 0h 2L M 2(e(ba)L1)
分光滑。初值问题的解析解(理论解)用 y(x表n ) 示, 数值解法的精确解用 y表n 示。
常微分方程数值解法一般分为:
(1)一步法:在计算y n 1 时,只用到x n 1 ,x n和 y,n 即前一步的值。
(2)多步法:计算 y n 1 时,除用到 x n 1 ,x n 和 y n 以外,还要用 x n p 和 y n p (p1 ,2 k;k0) ,即前
其中L为李普希兹常数,b-a为求解区间长度,
M2 mayx(x) 。 axb
证明参见教材。
Remark:该定理表明,整体截断误差比局部截 断误差低一阶。对其它方法,也有类似的结论。
收敛性与稳定性
收敛性定义:如果某一数值方法对于任意固定的
xn=x0+nh,当h0(同时n )时有yn y(xn),
则称该方法收敛。 稳定性定义 定义 用一个数值方法,求解微分方程初值问 题时,对给定的步长h>0,若在计算 y n 时引入 误差 (n 也称扰动),但由此引起计算后面的 ynk(k1,2, )时的误差按绝对值均不增加,则 称这个数值方法是稳定的。
一般的显式rk方法可以写成型钢截面只需少量加工即可用作构件省工省时成本低但型钢截面受型钢种类及型钢号限制难于完全与受力所需的面积相对应用料较多其中为常数选取这些常数的原则是要求第一式的右端在处泰勒展开后按h型钢截面只需少量加工即可用作构件省工省时成本低但型钢截面受型钢种类及型钢号限制难于完全与受力所需的面积相对应用料较多上述公式叫做n级的rungekutta方法其局部截断误差为显然euler法是一级一阶rk方法
第八章 常微分方程初值问题的解法
第八章常微分方程初值问题的解法在科学与工程问题中,常微分方程描述物理量的变化规律,应用非常广泛. 本章介绍最基本的常微分方程初值问题的解法,主要针对单个常微分方程,也讨论常微分方程组的有关技术.8.1引言本节介绍常微分方程、以及初值问题的基本概念,并对常微分方程初值问题的敏感性进行分析.8.1.1 问题分类与可解性很多科学与工程问题在数学上都用微分方程来描述,比如,天体运动的轨迹、机器人控制、化学反应过程的描述和控制、以及电路瞬态过程分析,等等. 这些问题中要求解随时间变化的物理量,即未知函数y(t),t表示时间,而微分方程描述了未知函数与它的一阶或高阶导数之间的关系. 由于未知函数是单变量函数,这种微分方程被称为常微分方程(ordinary differential equation, ODE),它具有如下的一般形式①:g(t,y,y′,⋯,y(k))=0 ,(8.1) 其中函数g: ℝk+2→ℝ. 类似地,如果待求的物理量为多元函数,则由它及其偏导函数构成的微分方程称为偏微分方程(partial differential equation, PDE). 偏微分方程的数值解法超出了本书的范围,但其基础是常微分方程的解法.在实际问题中,往往有多个物理量相互关联,它们构成的一组常微分方程决定了整个系统的变化规律. 我们先针对单个常微分方程的问题介绍一些基本概念和求解方法,然后在第8.5节讨论常微分方程组的有关问题.如公式(8.1),若常微分方程包含未知函数的最高阶导数为y(k),则称之为k阶常微分方程. 大多数情况下,可将常微分方程(8.1)写成如下的等价形式:y(k)=f(t,y,y′,⋯,y(k−1)) ,(8.2) 其中函数f: ℝk+1→ℝ. 这种等号左边为未知函数的最高阶导数y(k)的方程称为显式常微分方程,对应的形如(8.1)式的方程称为隐式常微分方程.通过简单的变量代换可将一般的k阶常微分方程转化为一阶常微分方程组. 例如对于方程(8.2),设u1(t)=y(t),u2(t)=y′(t),⋯,u k(t)=y(k−1), 则得到等价的一阶显式常微分方程组为:{u1′=u2u2′=u3⋯u k′=f(t,u1,u2,⋯,u k).(8.3)本书仅讨论显式常微分方程,并且不失一般性,只需考虑一阶常微分方程或方程组.例8.1 (一阶显式常微分方程):试用微积分知识求解如下一阶常微分方程:y′=y .[解] 采用分离变量法进行推导:①为了表达式简洁,在常微分方程中一般省略函数的自变量,即将y(t)简记为y,y′(t)简记为y′,等等.dy dt =y ⟹ dy y=dt , 对两边积分,得到原方程的解为:y (t )=c ∙e t ,其中c 为任意常数.从例8.1看出,仅根据常微分方程一般无法得到唯一的解. 要确定唯一解,还需在一些自变量点上给出未知函数的值,称为边界条件. 一种边界条件设置方法是给出t =t 0时未知函数的值:y (t 0)=y 0 .在合理的假定下,从t 0时刻对应的初始状态y 0开始,常微分方程决定了未知函数在t >t 0时的变化情况,也就是说这个边界条件可以确定常微分方程的唯一解(见定理8.1). 相应地,称y (t 0)=y 0为初始条件,而带初始条件的常微分方程问题:{y ′=f (t,y ),t ≥t 0y (t 0)=y 0 . (8.4)为初值问题(initial value problem, IVP ).定理8.1:若函数f (t,y )关于y 满足李普希兹(Lipschitz )条件,即存在常数L >0,使得对任意t ≥t 0,任意的y 与y ̂,有:|f (t,y )−f(t,y ̂)|≤L |y −y ̂| ,(8.5) 则常微分方程初值问题(8.4)存在唯一的解.一般情况下,定理8.1的条件总是满足的,因此常微分方程初值问题的解总是唯一存在的. 为了更清楚地理解这一点,考虑f (t,y )的偏导数ðf ðy 存在,则它在求解区域内可推出李普希兹条件(8.5),因为f (t,y )−f (t,y ̂)=ðf ðy (t,ξ)∙(y −y ̂) , 其中ξ为介于y 和y ̂之间的某个值. 设L 为|ðf ðy (t,ξ)|的上界,(8.5)式即得以满足.对公式(8.4)中的一阶常微分方程还可进一步分类. 若f (t,y )是关于y 的线性函数,f (t,y )=a (t )y +b (t ) ,(8.6) 其中a (t ),b (t )表示自变量为t 的两个一元函数,则对应的常微分方程为线性常微分方程,若b (t )≡0, 则为线性齐次常微分方程. 例8.1中的方程属于线性、齐次、常系数微分方程,这里的“常系数”是强调a (t )为常数函数.8.1.2 问题的敏感性对常微分方程初值问题,可分析它的敏感性,即考虑初值发生扰动对结果的影响. 注意这里的结果(解)是一个函数,而不是一个或多个值. 由于实际应用的需要,分析常微分方程初值问题的敏感性时主要关心t →∞时y (t )受影响的情况,并给出有关的定义. 此外,考虑到常微分方程的求解总与数值算法交织在一起、以及历史的原因,一般用“稳定”、“不稳定”等词汇说明问题的敏感性.定义8.1:对于常微分方程初值问题(8.4),考虑初值y 0的扰动使问题的解y (t )发生偏差的情形. 若t →∞时y (t )的偏差被控制在有界范围内,则称该初值问题是稳定的(stable ),否则该初值问题是不稳定的(unstable ). 特别地,若t →∞时y (t )的偏差收敛到零,则称该初值问题是渐进稳定的(asymptotically stable ).关于定义8.1,说明两点:● 渐进稳定是比稳定更强的结论,若一个问题是渐进稳定的,它必然是稳定的. ● 对于不稳定的常微分方程初值问题,初始数据的扰动将使t →∞时的结果误差无穷大. 因此为了保证数值求解的有效性,常微分方程初值问题具有稳定性是非常重要的.例8.2 (初值问题的稳定性): 考察如下“模型问题”的稳定性:{y ′=λy,t ≥t 0y (t 0)=y 0 . (8.7)[解] 易知此常微分方程的准确解为:y (t )=y 0e λ(t−t 0). 假设初值经过扰动后变为y 0+Δy 0,对应的扰动后解为y ̂(t )=(y 0+Δy 0)e λ(t−t 0),所以扰动带来的误差为Δy (t )=Δy 0e λ(t−t 0) .根据定义8.1,需考虑t →∞时Δy (t )的值,它取决于λ. 易知,若λ≤0,则原问题是稳定的,若λ>0,原问题不稳定. 而且当λ<0时,原问题渐进稳定.图8-1分三种情况显示了初值扰动对问题(8.7)的解的影响,从中可以看出不稳定、稳定、渐进稳定的不同含义.对例8.2中的模型问题,若考虑参数λ为一般的复数,则问题的稳定性取决于λ的实部,若Re(λ)≤0, 则问题是稳定的,否则不稳定. 例8.2的结论还可推广到线性、常系数常微分方程,即根据f (t,y )中y 的系数可确定初值问题的稳定性. 对于一般的线性常微分方程(8.6),由于方程中y 的系数为关于t 的函数,仅能分析t 取某个值时的局部稳定性.例8.3 (局部稳定性): 考察如下常微分方程初值问题的稳定性:{y ′=−10ty,t ≥0y (0)=1 . (8.8)[解] 此常微分方程为线性常微分方程,其中y 的系数为a (t )=−10t . 当t ≥0时,a (t )≤0,在定义域内每个时间点上该问题都是局部稳定的.事实上,方程(8.8)的解析为y (t )=e −5t 2,初值扰动Δy 0造成的结果误差为Δy (t )=Δy 0e −5t 2. 这说明初值问题(8.8)是稳定的.对于更一般的一阶常微分方程(8.4),由于其中f (t,y )可能是非线性函数,分析它的稳定性非常复杂. 一种方法是通过泰勒展开用一个线性常微分方程来近似它,再利用线性常微分方程稳定性分析的结论了解它的局部稳定性. 具体的说,在某个解函数y ∗(t)附近用一阶泰勒展开近似f (t,y ),f (t,y )≈f (t,y ∗)+ðf ðy(t,y ∗)∙(y −y ∗) 则原微分方程被局部近似为(用符号z 代替y ): 图8-1 (a) λ>0对应的不稳定问题, (b) λ=0对应的稳定问题, (c) λ<0对应的渐进稳定问题. (a) (b) (c)z′=ðfðy(t,y∗)∙(z−y∗)+f(t,y∗)这是关于未知函数z(t)的一阶线性常微分方程,可分析t取某个值时的局部稳定性. 因此,对于具体的y∗(t)和t的取值,常微分方程初值问题(8.4)的局部稳定性取决于ðfðy(t,y∗)的实部的正负号. 应注意的是,这样得到的关于稳定性的结论只是局部有效的.实际遇到的大多数常微分方程初值问题都是稳定的,因此在后面讨论数值解法时这常常是默认的条件.8.2简单的数值解法与有关概念大多数常微分方程都无法解析求解(尤其是常微分方程组),只能得到解的数值近似. 数值解与解析解有很大差别,它是解函数在离散点集上近似值的列表,因此求解常微分方程的数值方法也叫离散变量法. 本节先介绍最简单的常微分方程初值问题解法——欧拉法(Euler method),然后给出数值解法的稳定性和准确度的概念,最后介绍两种隐格式解法.8.2.1 欧拉法数值求解常微分方程初值问题,一般都是“步进式”的计算过程,即从t0开始依次算出离散自变量点上的函数近似值. 这些离散自变量点和对应的函数近似值记为:t0<t1<⋯<t n<t n+1<⋯y 0,y1,⋯y n,y n+1,⋯其中y0是根据初值条件已知的. 相邻自变量点的间距为 n=t n+1−t n, 称为步长.数值解法通常使用形如y n+1=G(y n+1,y n,y n−1,…,y n−k)(8.9) 的计算公式,其中G表示某个多元函数. 公式(8.9)是若干个相邻时间点上函数近似值满足的关系式,利用它以及较早时间点上函数近似值可算出y n+1. 若公式(8.9)中k=0,则对应的解法称为单步法(single-step method),其计算公式为:y n+1=G(y n+1,y n) .(8.10) 否则,称为多步法(multiple-step method). 另一方面,若函数G与y n+1无关,即:y n+1=G(y n,y n−1,…,y n−k),则称为显格式方法(explicit method),否则称为隐格式方法(implicit method). 显然,显格式方法的计算较简单,只需将已得到的函数近似值代入等号右边,则可算出y n+1.欧拉法是一种显格式单步法,对初值问题(8.4)其计算公式为:y n+1=y n+ n f(t n,y n) , n=0,1,2,⋯.(8.11) 它可根据数值微分的向前差分公式(第7.7节)导出. 由于y′=f(t,y),则y′(t n)=f(t n,y(t n))≈y(t n+1)−y(t n)n,得到近似公式y(t n+1)≈y(t n)+ n f(t n,y(t n)),将其中的函数值换为数值近似值,则得到欧拉法的递推计算公式(8.11). 还可以从数值积分的角度进行推导,由于y(t n+1)=y(t n)+∫y′(s)dst n+1t n =y(t n)+∫f(s,y(s))dst n+1t n,用左矩形公式近似计算其中的积分(矩形的高为s=t n时被积函数值),则有y(t n+1)≈y(t n)+ n f(t n,y(t n)) ,将其中的函数值换为数值近似值,便得到欧拉法的计算公式.例8.4 (欧拉法):用欧拉法求解初值问题{y ′=t −y +1y (0)=1. 求t =0.5时y (t )的值,计算中将步长分别固定为0.1和0.05.[解] 在本题中,f (t,y )=t −y +1, t 0=0, y 0=1, 则欧拉法计算公式为:y n+1=y n + (t n −y n +1) , n =0,1,2,⋯当步长h=0.1时,计算公式为y n+1=0.9y n +0.1t n +0.1; 当步长h=0.05时,计算公式为y n+1=0.95y n +0.05t n +0.05. 两种情况的计算结果列于表8-1中,同时也给出了准确解y (t )=t +e −t 的结果.表8-1 欧拉法计算例8.4的结果 h=0.1h=0.05 t ny n y (t n ) t n y n t n y n 0.11.000000 1.004837 0.05 1.000000 0.3 1.035092 0.21.010000 1.018731 0.1 1.002500 0.35 1.048337 0.31.029000 1.040818 0.15 1.007375 0.4 1.063420 0.41.056100 1.070320 0.2 1.014506 0.45 1.080249 0.5 1.090490 1.106531 0.25 1.023781 0.5 1.098737 从计算结果可以看出,步长取0.05时,计算的误差较小.在常微分方程初值问题的数值求解过程中,步长 n ,(n =0,1,2,⋯)的设置对计算的准确性和计算量都有影响. 一般地,步长越小计算结果越准确,但计算步数也越多(对于固定的计算区间右端点),因此总计算量就越大. 在实际的数值求解过程中,如何设置合适的步长达到准确度与效率的最佳平衡是很重要的一个问题.8.2.2数值解法的稳定性与准确度在使用数值方法求解初值问题时,还应考虑数值方法的稳定性. 实际的计算过程中都存在误差,若某一步的解函数近似值y n 存在误差,在后续递推计算过程中,它会如何传播呢?会不会恶性增长,以至于“淹没”准确解?通过数值方法的稳定性分析可以回答这些问题. 首先给出稳定性的定义.定义8.2:采用某个数值方法求解常微分方程初值问题(8.4),若在节点t n 上的函数近似值存在扰动δn ,由它引起的后续各节点上的误差δm (m >n )均不超过δn ,即|δm |≤|δn |,(m >n),则称该方法是稳定的.在大多数实际问题中,截断误差是常微分方程数值求解中的主要计算误差,因此我们忽略舍入误差. 此外,仅考虑稳定的常微分方程初值问题.考虑单步法的稳定性,需要分析扰动δn 对y n+1的影响,推导δn+1与δn 的关系式. 以欧拉法为例,先考虑模型问题(8.7),并且设Re(λ)≤0. 此时欧拉法的计算公式为②:y n+1=y n + λy n =(1+ λ)y n ,由y n 上的扰动δn 引起y n+1的误差为:δn+1=(1+ λ)δn ,要使δn+1的大小不超过δn ,则要求|1+ λ|≤1 . (8.12)② 对于稳定性分析以及后面的一些场合,由于只考虑一步的计算,将步长 n 记为 .。
常微分方程内容方法与技巧
常微分方程内容方法与技巧
一般微分方程的 (ODE) 是指它的变量有一阶或不高于一阶导数的方程,由此可以推知,ODE 主要求解一元或多元函数满足的某种关系性,可以区分为常微分方程和偏微分方程,其中常微分方程是一类常见的微分方程,它们的变量是一阶或不高于一阶的导数。
解决常微分方程的方法有很多,其中最重要的有以下几种:
1. 积分法。
即把常微分方程右侧未知函数的一阶导数或更高阶导数建立一个积分关系,利用积分的方法,求解出未知函数的值。
这种方法适用于非线性方程组,以及方程组中包含复数或离散量的情况。
2. 变分法。
是一种解决微分方程非线性耦合问题的特殊方法,利用变分法可以将原来耦合问题拆解为一组互不影响的线性方程组,从而便于解决。
3. 矩阵迭代法。
该方法通常用来解决线性方程组,这是一种数值计算法,通常涉及到矩阵的迭代求解,从而实现精确的计算效果。
4. 高斯消去法和高斯约当法。
主要用于求解大规模的线性方程组,这两种方法的原理都是用矩阵的特有性质,将原本大量的数组项减少到较少的项,从而大大减少计算量,提高计算的效率。
5. 旋转法。
也称为图像旋转法,是解决高维空间内微分方程的一种方法,它将原本二维或多维空间映射到一维空间内,实现复杂问题对求解的简化。
6. 隐式解法。
主要用于求解多元线性方程组,利用一定的分析技巧,可以直接求解出方程的解析解,从而节省计算的时间。
以上是常微分方程常用的几种数学方法,在解决常微分方程时,不同问题情况,可以采取相应的解决技巧,如减少计算量、节省时间,省去不必要的麻烦和繁琐的运算步骤。
常微分方程的经典求解方法
常微分方程的经典求解方法常微分方程是研究函数\(y=y(x)\)及其导数与自变量\(x\)之间的关系的方程。
它在应用数学中有着广泛的应用,例如物理学、工程学、生物学等领域。
解微分方程的目标是找到函数\(y\)的表达式,使得方程成立。
经典的求解常微分方程的方法可以分为分离变量法、一阶线性微分方程、二阶线性微分方程和常系数线性微分方程等几种方法。
一、分离变量法:对于形如\(y'=f(x)g(y)\)的微分方程,其中\(f(x)\)和\(g(y)\)是已知的函数,我们可以采用以下步骤求解。
1.将方程写成\[g(y)dy = f(x)dx\]的形式。
2.对方程两边同时积分,得到\[ \int g(y)dy = \int f(x)dx\]。
3.解释上述积分并恢复未知函数\(y\)即可。
二、一阶线性微分方程:形如\(y'+p(x)y=q(x)\)的微分方程称为一阶线性微分方程。
1.将方程写成标准形式,即\[ \frac{dy}{dx} + p(x)y = q(x)\]。
2.利用积分因子法求解。
a.计算积分因子\(\mu(x)\),即\(\mu(x) = e^{\int p(x)dx}\)。
b.将方程两边同时乘以积分因子\(\mu(x)\),得到\[\mu(x)y' +\mu(x)p(x)y = \mu(x)q(x)\]。
c.左边可以写成\[\frac{d}{dx}[\mu(x)y] = \mu(x)q(x)\]。
d.将上式两边同时积分,并解释上述积分求得未知函数\(y\)即可。
三、二阶线性微分方程:形如\(y''+P(x)y'+Q(x)y=f(x)\)的微分方程称为二阶线性微分方程。
1.将方程写成标准形式。
2.设方程有特解\(y_1(x)\)和齐次线性方程\(y''+P(x)y'+Q(x)y=0\)的通解为\(y_2(x)\)。
3.利用叠加原理,方程的通解为\(y(x)=y_1(x)+y_2(x)\)。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
y ( xn )
1.000000 1.004837 1.018731 1.040818 1.070320 1.106531
y ( xn ) yn
1.6 10 4
2.9 10 4
4.0 10 4
4.8 10 4
5.5 104
四、数值方法的误差估计、收敛和稳定性 1. 整体截断误差和局部截断误差 整体截断误差: 数值解 yn 和精确解y( xn )之差 n y( xn ) yn 整体截断误差除与 xn 步计算有关外,还与 xn1 ,, x1 的计算有关. 分析计算中的某一步,显式单步法的一般形式可写为:
取步长 h 0.1, 计算到 x 0.5
解 : f ( x, y ) y x 1,由Euler 公式
yn1 yn h( yn xn 1)
代入h 0.1, 有yn1 0.9 yn 0.1( xn 1), 依次算得果如下:
n0 1 2 3 4 5 xn 0 0.1 0.2 0.3 0.4 0.5 yn 1.0 1.0 1.01 1.029 1.0561 1.09049
只依靠前一步的 yn ,是一种逐点求解的离散化方法。
典型的单步法是Euler(欧拉)方法,其计算格式是:
yn1 yn h f ( xn , yn ) (n 0,1,2, ... )
例8-1:求解常微分方程初值问题 y' y x 1 x0 y ( 0) 1
yn1 yn hQ( xn , yn , h)
其中 Q( xn , yn , h) 称为增量函数。如对于Euler公式其 增量函数 Q( x , y , h) f ( x , y ) y' ( x )
n n n n n
定义 9-1 9-1)式的解,用单 8-1 设 y ( x) 是初值问题( 8-1
2 ' x ' y
h [ yn f ( xn , yn )h [ f ( xn , yn ) f ( xn , yn ) f ( xn , yn )] O( h 3 )] 2
Rn y( xn 1 ) yn 1 [ y( xn ) hy( xn )
h2 2
公式是 p 阶的, p 是正整数。
) ,则称此数值
欧拉法的局部截断误差,由Taylor展开: Rn y( xn1 ) yn1
[ y( xn ) hy( xn )
h2 2
y( xn ) O(h 3 )] [ yn hf ( xn , yn )]
欧拉法具有 1 阶精度。
(0) y Step 2: 再将 n1 代入隐式梯形公式的右边作校正,
得到
h (0) yn 1 yn ( f ( xn , yn ) f ( xn 1 , yn 1 ) 2
(0) yn 1 yn hf ( xn , yn ) h (0) y y ( f ( x , y ) f ( x , y n 1 n n n n 1 n 1 ) 2
欧拉折线法
数值分析
三、Euler公式的改进及梯形公式 1、隐式欧拉法 向后差商近似导数
y( x1 ) y( x1 ) y( x0 ) h
x0 x1
y ( x1 ) y0 h f ( x1 , y ( x1 ))
yn1 yn h f ( xn1 , yn1 ) (n 0,1,2, ... )
此法亦称为预测-校正法 。一方面它有较高精度,同时 可以看到它是个单步递推格式,比隐式公式的迭代 求解过程简单。后面将看到,它的稳定性高于显式 欧拉法。
y n 1 h yn f (xn , y n ) f xn 1 , y n h f (xn , y n ) 2
用 y1 y0 f ( x0 , y0 )( x1 x0 ) y0 hf ( x0 , y0 ) 近似代替 y ( x1 )
1. 数值微分法,用差商代替微商 得到Euler公式
亦称为欧拉折线法
yn1 yn h f ( xn , yn ) (n 0,1,2, ... )
h2 y( xn ) O( h3 ) 2
类似可以证明欧拉预估-校正公式具有2阶精度 h yn 1 yn ( f ( xn , yn ) f ( xn 1 , yn hf ( xn , yn )) 2 上式在( xn , yn )处的Taylor展开式为
yn 1 h yn { f ( xn , yn ) [ f ( xn , yn ) hf x' ( xn , yn ) 2 hf y' ( xn , yn ) f ( xn , yn )]} O( h3 )
步法计算到第 n 步没有误差,即 yn y ( xn ) ,则
为单步法在点 xn 1 处的局部截断误差。
Rn y( xn1 ) yn1 y( xn1 ) y( xn ) hQ( xn , y( xn ), h)
p 1
O (h 定义8-2若数值公式的局部截断误差 E R n n1
3、 中点欧拉公式
中心差商近似导数
y( x 2 ) y( x0 ) y( x1 ) 2h
y( x2 ) y( x0 ) 2h f ( x1 , y( x1 ))
yn1 yn1 2hf(xn ,yn ) n 1, 2,
x0 x1 x2
2、梯形公式
h y n 1 y n [f(xn , y n ) f(xn 1 , y n 1 )] (n 0,1, 2 ) 2
可得
h yn1 yn h (1 )( xn yn ) 1 2
yn 1 0.905 yn 0.095 xn 0.1
以 h 0.1 代入得
xn
0 0.1 0.2 0.3 0.4 0.5
yn
1.000000 1.004762 1.018594 1.040633 1.070096 1.106278
2 h ' ' 3 yn f ( xn , yn )h [ f x ( xn , yn ) f y ( xn , yn ) f ( xn , yn )] O(h ) 2 Rn y( xn 1 ) yn 1
[ y( xn ) hy( xn )
h2 2
y( xn ) O( h 3 )]
(0) yn 1
(n 0, 1, 2
)
例8-2 用欧拉预估-校正公式 解初值问题 y ' y x 1 y(0) 1 取 h 0.1 ,计算到 x 0.5 。 解:利用
h yn 1 yn ( f ( xn , yn ) f ( xn 1 , yn hf ( xn , yn )) 2
由于未知数 yn+1 同时出现在等式的两边,不能直接得 到,故称为隐式 欧拉公式,而前者称为显式 欧拉公 式。 一般先用显式计算一个初值,再迭代求解。
2、梯形公式
h y n 1 y n [f(xn , y n ) f(xn 1 , y n 1 )] (n 0,1, 2 ) 2 ------- 显、隐式两种算法的平均
直接解微分方程可得精确解 : y f ( x ) x e x , 故x5 0.5, y(0.5) 1.106531
由此可见,Euler公式的近似值接近方程的精确值.
二、构造初值问题数值方法的基本途径 以Euler法为例说明构造IVP问题数值方法的三种基 本途径 1. 数值微分法,用差商代替微商
向前差商近似导数
记为
y( x1 ) y( x0 ) h y( x1 ) y( x0 ) hy( x0 ) y0 h f ( x0 , y0 ) y( x0 )
x0
பைடு நூலகம்
x1
y1
x0 x1
过点 ( x0 , y0 ) ,以 f ( x0 , y0 ) 为切线斜率的
切线方程为
y y0 f ( x0 , y0 )( x x0 )
(0) yn 1 yn hf ( xn , yn ) ( k 1) h (k ) y y ( f ( x , y ) f ( x , y n n n n 1 n 1 )) n1 2
(k 0,1, )
4、欧拉预估-校正公式 Step 1: 先用显式欧拉公式作预测,算出 (0) yn 1 yn hf ( xn , yn )
要计算出解函数 y(x) 在一系列节点 a = x0< x1<…< xn= b 处的近似值 yi y( xi ) (i 1, ... , n) 节点间距 hi xi 1 xi (i 0, ... , n 1) 为步长,通常采用等距节点, 即取 hi = h (常数)。
求解(8-1) (8-2)最基本的方法是单步法 单步法:从初值 y0 开始,依次求出 y1 , y2 , ,后一步的值 yn1
y yn f ( xn , yn )( x xn )
将x =xn +1处该直线上的函数值作为y( xn +1 )的近似值yn +1, 则
yn1 yn f ( xn , yn )( xn1 xn ) yn h f ( xn , yn ) (n 0,1,2, ... )
f ( x , y )dx h f ( xn , yn )
yn1 yn h f ( xn , yn ) (n 0,1,2, ... )
数值分析
4. 几何方法
设已求得解y =y( x )在xn处的近似值yn,则过点( xn , yn ) 以f ( xn , yn )为斜率的直线方程为
y( xn ) O( h 3 )]