基本理论BasicTheory52解的存在性与唯一性定理53Peano.pdfVIP

第五章 基本理论 Basic Theory 5.2 解的存在性与唯一性定理 5.3 Peano定理 5.4 解的延拓 5.5 解对初值和参数的连续依赖性 5.6 解对初值和参数的可微性 习题 University of Science and Technology LiaoNing 第十八讲: §5.2解的存在与唯一性定理 1．掌握Picard存在唯一性定理及其证明； 2. 深刻理解Picard迭代法； 本 3. Picard存在唯一性定理的局限性: 结 讲 果是局部的 要 重点:1 Lipschitz条件的意义 求 2 Picard存在唯一性定理的证明与 几何意义 难点：思考与线性系统的存在唯一性定理 的区别和联系 University of Science and Technology LiaoNing 第十八讲: §5.2解的存在与唯一性定理 一、问题的提出 微分方程理论的主要问题是求解和研究解的性质．前面讨论了多种 类型方程的初等解法以及用代数方法求常系数线性微分方程(组)的通解， 它们有一个共同的前提就是可解，即解的存在性必须得到保障．然而，从 理论层面上讲无解的方程是大量存在的，这是其一； 其二，即便有解初等解法往往也是失效的．因此，对一个方程而言， 我们首先要关心的它是否有解？其次，在有解的情形下解是否唯一？由于 方程大多来源于实际问题，在精确解不能得到的时候，寻求近似解成为一 种必然，如果不知解是否唯一，此时“近似解”与“谁”近似就成为空 谈．因此，讨论解的唯一性就变得十分必要． University of Science and Technology LiaoNing 第十八讲: §5.2解的存在与唯一性定理 二、Lipschitz条件的定义及Picard存在唯一性定理 定理5.1 考虑Cauchy 问题 dx f t ,x ,  ( ) dt (5.2.1)  x t x ( )  0 0 x R n f t ,x t n x n ( ) 其中 是 中的向量， 是实变量 和 维向量 的 维向量值函数；又 f t ,x G t, x t =−t ≤a, x −x ≤b x 设 ( )在闭区域 {( ) 0 0 }上连续，且对 满足Lipschitz 条件， i ∀ t, x ∈G,i 1, 2 即 (