第二章：基本定理.pptVIP

二、欧拉-柯西近似法 x=-1:0.1:1; y0=0; syms x; y1=y0+ int(y0^2+x^2,0,x) y2=y0+int(y1^2+ x^2,0,x) y3=y0+int(y2^2+ x^2,0,x) y4=y0+int(y3^2+ x^2,0,x) y1 =1/3*x^3 y2 =1/63*x^7+1/3*x^3 y3 =1/59535*x^15+2/2079*x^11+1/63*x^7+1/3*x^3 y4=1/109876902975*x^31+4/3341878155*x^27+662/10438212015*x ^23+82x^19+13/218295*x^15+2/2079*x^11+1/63*x^7+1/ 3*x^3 x=-1:0.1:1; y1 =1/3*x.^3 y2 =1/63*x.^7+1/3*x.^3 y3 =1/59535*x.^15+2/2079*x.^11+1/63*x.^7+1/3*x.^3 y4=1/109876902975*x.^31+4/3341878155*x.^27+662/10438212015*x.^23+82x.^19+13/218295*x.^15+2/2079*x.^11+1/63*x.^7+1/3*x.^3 plot(x,y1,’r-’,x,y2,’b-’,x,y3,’g’,x,y4,’k-’) y0=0; syms x; y0+int(x-y0^2,0,x) y1= y0+int(x-y0^2,0,x) y2=y0+int(x-y1^2,0,x) y3= y0+int(x-y2^2,0,x) ans y0=0 y1 =1/2*x^2 y2 =1/2*x^2-1/20*x^5 y3 =-1/4400*x^11+1/160*x^8-1/20*x^5+1/2*x^2 y0=1; syms x; y0+int(y0^2-x^2,0,x) y1= y0+int(y0^2-x^2,0,x) y2=y0+int(y1^2-x^2,0,x) ans = y0=1 y1 =1+x-1/3*x^3 y2 =1+x+1/63*x^7-2/15*x^5-1/6*x^4+x^2 7. 两个著名的不等式及其证明: 练习：试利用Bellman不等式证明前面的定理5. 练习2：试利用Gronwall不等式证明前面的定理5. 作业：P90-91 T2,T4,T5. 第三讲 解的延展（延拓） 问题的提出：考虑一阶显式微分方程的Cauchy问题： 根据前面微分方程解的存在唯一性定理，我们只能确定Cauchy问题的解在区间 上存在，而这个区间对一个具体的Cauchy问题来说经常是很小的。甚至出现随着f（x，y）定义域的增大，我们能肯定的解的存在区间反而越来越小的情况。 引例：对于下面微分方程的Cauchy问题： 分别考虑右端函数在下面两个区域： 上解的存在区间。 一、延展解、不可延展解的定义 二、解的延拓定理 定义2：若某一区域D内中的任一点（x0，y0），都存在以该点为中心的闭矩形R,使得对Cauchy问题（1）的右端函数f（x，y）对变量y满足Lipschitz条件，则称函数f（x，y）在区域D内满足局部Lipschitz条件. 三、解的延拓定理及其应用 四、解对初值的连续依赖性和连续可微性 1.解对初值的连续依赖定理 2. 解对初值的连续可微性定理 *3. 解对方程右端函数的连续依赖性定理 五、比较定理 课后训练题： 作业：P100 T1，T2，T4. 第四讲 奇解与包络 一、方程不存在奇解的判定： * 第二章 基本定理 第一讲 常微分方程的几何解释 通过对第一章知识的回顾与复习我们学习到了许多求解一阶常微分方程的方法，它们主要是初等积分法。 于是我们由此产生了很多新的问题： 1. 是不是所有的一阶微分方程都可解呢？ Riccati方程： 1841年法国数学家 Liouville指出：绝大多数常微分方程不能用初等积分求解。 2. 是不是所有的一阶微分方程的解都存在呢？ 3. 如果解存在，而我们又不能直接得到显式形式的精确解？我们有什么其它的办法呢？ 4. 如果存在是不是唯一的呢？ 如果解存在，存在的范围有多大？ 5. 对一个Cauchy问题如果一定的区间里存在 唯一的解，那么这个解是否依赖于初始条件呢？ 一、线素与线素场 线 素：经过点（x，y)斜率为f（x，y）的单位线段。 线素场：某区域内所有线素的集合就构成了线素场. 例１： 二. 线素场与积分曲线的关系： 定理：曲线L是Cauchy问题的积分曲线的充要条件是：在L上任一点，L的切