常微分方程第3章节.pptVIP

阿贝尔(1802 – 1829) 柯西(1789 – 1857) * * 存在唯一性定理 一、Picard存在唯一性定理 二、解的延拓 第三章 例１．如下一阶微分方程的解 不存在. 例 2．如下一阶微分方程 满足初值条件 有无穷多解 在 y=0 处不可微. (向量场在原点不连续!) Cauchy (1789-1857) 的存在唯一性； Lipshitz (1832-1903) Picard (1856-1941) Peano (1858-1932) 于1886　在更一般条件下建立了　　　　　 定理； (method of successive approximations) 于1820s 第一个建立初值问题 于1876 Brief history 在Lipshitz条件下 用逐次逼近法 给出定理新证明； 提出了使定理成立的 更一般的条件； 挪威数学家, 近代数学发展的先驱者. 他在22岁时就解决了用根式解5 次方程 的不可能性问题 , 他还研究了更广的一 并称之为阿贝尔群. 在级数研究中, 他得 到了一些判敛准则及幂级数求和定理. 论的奠基人之一, 他的一系列工作为椭圆函数研究开 拓了道路. 数学家们工作150年. 类代数方程, 他是椭圆函数 C. 埃尔米特曾说: 阿贝尔留下的思想可供 后人发现这是一类交换群, 法国数学家, 他对数学的贡献主要集中 在微积分学, 《柯 西全集》共有 27 卷. 其中最重要的的是为巴黎综合学 校编写的《分析教程》, 《无穷小分析概论》, 《微积 分在几何上的应用》 等, 有思想有创建, 响广泛而深远 . 对数学的影 他是经典分析的奠人之一, 他为微积分 所奠定的基础推动了分析的发展. 复变函数和微分方程方面 . 一生发表论文800余篇, 著书 7 本 , 给定初值问题 这里 定理：设　　　在矩形区域内连续，并且对　满足 Lipshitz条件． 有且只有一个解， 其中 则上述初值问题在区间 证明思路: 1. 初值问题等价于下列积分方程解的存在性: 2. 用逐次逼近法构造Picard序列: 1)用归纳法证明： ２）用归纳法证明： 从而级数 在I上一致收敛. 设 一致收敛于 3. 　　是初值问题的唯一解． 如果f(x,y)对y不满足Lipshitz条件, 则Picard序列可能 反例： 不收敛到解． 则有 或Muller的反例 参见丁同仁等《常微分方程教程》（第二版）p 70. 定理（Peano) ：设　　　在矩形区域内连续，则 则上述初值问题在区间 上至少有一个解， 其中 Euler(-Cauchy) 折线法 区间2n等分时的折线定义 Ascoli定理：有限闭区间上一致有界和等度连续函数序列 有一致收敛的子列． 注:Euler序列可能不收敛! 令 在条形区域 上定义连续函数: 则初值问题 所对应的Euler折线 满足 从而不收敛！ Tonelli 序列 结合Ascoli引理可证Peano定理 在区域 内确定初值问题 用逐次逼近法所得解的最大存在区间．并与实际解 最大定义区间相比较有何结论？ 在G内连续． 在区域　　　　　　内有界． 初值问题（１）的解为： 二．解的延拓（Extending Solutions） 延拓 解存在最大区间必为开区间 有解 解存在最大区间可能是有限区间！ 例： 定理：设　为区域　内任一点．　　为定义在最大开区间 使 上的解且 则对任意的紧子集　　 积分曲线在区域　内可延拓到边界 推论 ：设函数　　　在区域　内连续，对　满足 局部Lipshitz条件，则微分方程 经过 内 任意一点存在唯一积分曲线 且　可延拓到　的边界． 对　满足满足局部Lipshitz条件 是 的紧子集 对　满足满足Lipshitz条件 在 内 注： * *