常微分方程32课程.pptVIP

§3.2 解的延拓 §3.1中关于解的存在唯一性的定理1是局部性的,只能肯定解函数在一个包含x0的小区间|x-x0|≤h内有定义.尽管区域R可能很大,但一般地h可能很小.如,初值问题 若R: |x|≤1, |y|≤1, 则a=1,b=1,M=2, h=min{1, }= ; 若R: |x|≤2, |y|≤2, 则a=2,b=2,M=8, h=min{2, }= . * 注3 定理1的结果是局部的.如果条件加强为f(x,y)在带域 　　a≤x≤b, -∞＜y＜+∞ 内连续且满足关于y的Lipschitz条件,则可保证初值问题的解在x∈[a,b]上有定义.此时,称y= (x), x∈[a,b]为整体解. 证明时，取　　　　　　　　　 代替Ｍ(能 保证归纳法证明的第一步成立)，重复定理的证明过程，可保证作出的函数序列{ n(x)} 在整个区间[a,b]上有定义且一致收敛． 特别地，对线性方程 如果P(x),Q(x)在[a,b]上连续,则对任意初值(x0,y0), x０∈[a,b] ，这个方程存在唯一的解定义于区间x∈[a,b] ． 注4　定理的条件不是必要的． 例3 证明初值问题(Cauchy问题): 的解存在唯一，但f(x,y)在包含(x0,0)的任何区域内不满足Lipschitz条件，这里 证明：当y≠0时, f=ylog|y|, fy′=log|y|+1都连续，所以在区域y≠0内的任一点(x0,y0)作一不含(x0,0)的区域R,　f在R内满足定理条件． 　　下面讨论x轴上的任一点(x0,0)．y=0为特解． y≠0时 都不与y=0相交, 所以,满足y(x0)=0的解只有y = 0． 下证在y=0附近不满足Lipschitz条件． 因为y→0时|log|y|| → +∞，所以不存在L0使 注５唯一性也可用Gronwall-Bellman不等式来证明． Gronwall-Bellman不等式: 如果f(x),g(x),k(x)为区间[α,β]上的连续函数,其中g(x)≥0,且满足 那么有 这里 特别地,当k(x)可微时,有 当k(x)=K(常数)时,有 Gronwall-Bellman不等式的证明: 记 那么 利用Gronwall-Bellman不等式证明唯一性. 因为 所以根据Gronwall-Bellman不等式得 注６　如果不考虑唯一性，则有 定理２(Peano)如果f(x,y)在区域R内连续,则方程(1)满足初值条件 (x０)＝y0的解存在． 现在考虑一阶隐式方程: F(x,y,y′)=0, (15) 因F(x,y,y′)=0 中确定出的y′可能不止一个值,故由它确定的方向场上任一点(x0,y0)的方向不唯一.因此,这里的唯一性应理解为:过点(x0,y0)且沿给定方向y′(x0)=y0′的积分曲线不多于一条. 如 定理3 设在点(x0 ,y0 ,y0 ′)的某邻域内,满足 F(x,y,y′)对(x,y,y′)连续; F(x0,y0,y0′)=0; 存在且 ; (加强为 连续 ) 4) 存在有界.(加强为 连续 ) 那么方程(15)存在唯一解 y=y(x), |x-x0|≤h(h为足够小的正数) 满足初值条件: y(x0)=y0 , y′(x0)=y0′. 证明 前三个条件即为隐含数存在定理的条 件.所以由方程(15)可得 y′= f(x,y)连续,且y0′= f(x0,y0), 另外 所以, 有界,根据定理1得, 方程y′= f(x,y) 存在唯一的解 y= (x) 满足y0= (x0)且 ′(x0)=f(x0, (x0))=f(x0,y0)= y0′. 3.1.2 近似计算和误差估计 定理1的证明,提供了一个求初值问题的精确解与近似解的一种方法.估计式 即表明精确解 与第n次近似解 的误差. 例1 考虑定义在R:-1≤x≤1,-1≤y≤上的微分方程 y′=x2+y2.试利用存在唯一性定理确定过点(0,0)的解的存在区间,并求在此区间上与精确解的误差不超过0.05的近似解的表达式. 解:因为 ,a=1,b=1,所以