常微分方程数学学院授课笔记琶琭琸.pdfVIP

常常常微微微分分分方方方程程程 （（（数数数学学学学学学院院院）））授授授课课课笔笔笔记记记琶琭琸 王成波 琱琮 上次 瑍瑵瑬瑬瑥瑲例子 （唯一性一般无法保证瑐瑩瑣瑡瑲瑤迭代序列收敛）琬 瑂瑡瑮瑡瑣瑨压缩 射原理与瑐瑩瑣瑡瑲瑤存在唯一性定理 ，柯 西定理 （幂级数解 ，解析解 ，优级数法琩 ，延拓定理 今天 ：局部瑌瑩瑰瑳瑣瑨瑩瑴瑺条件解的存在 区间估计 ，整体解 ，方 向场 ； 比较定理琬 存在 区间估计方程与初值的扰动 ； 方程与初值的扰动解关于初值与参数的连续依赖性与可微性 琲琮 解的延拓 攲 定定定理理理 琱 琨延拓定理琩琮 设 为开集尬 琨琩 ，琨 琩 尮 设琀是方程 琽 琨 琩 的经过点琨 琩的 攰 攰 攰 攰 一条积分 曲线 ，则积分 曲线琀在 区域内延伸到 区域的边界 （也就是说 ，对于任何包含琨 琩的有界 闭区 攰 攰 域 ，积分 曲线琀将延伸到 之外） 。 攱 攱 注注注记记记 琱琮 换句话说 ，设积分 曲线琀 琺 琽 琨琩的最大右行存在 区间是 瑛攰 琩尬 则或者 琽 ，即右行解整体存在 ； 或者 且瑬瑩瑭 瑳瑵瑰 琨琩 琽 尬 即解在有限时间内趋于无穷；或者 ，且瑬瑩瑭 瑩瑮瑦 層屩屳屴琨 琨 琨琩琩琩 琽 琰 。 定义：微分方程解是可可可延延延拓拓拓的；饱饱饱和和和解解解 。 设 函数 琨 琩在 区域 攲 中有定义琬 如果对任意琨 琩 琬存在点琨 琩的某个邻域 琨 琩 琬 使 攰 攰 攰 攰 攰 攰 得函数 琨 琩在邻域 琨 琩内对于满足瑌瑩瑰瑳瑣瑨瑩瑴瑺条件琬则我们称 琨 琩在 区域内对于满足局局局部部部瑌瑩瑰瑳瑣瑨瑩瑴瑺条条条 攰 攰 件件件琮 等价的， 对于任何有界闭攱 都满足瑌瑩瑰瑳瑣瑨瑩瑴瑺条件 ，则称满足局部瑌瑩瑰瑳瑣瑨瑩瑴瑺条件 。 显然 ，局部瑌瑩瑰瑳瑣瑨瑩瑴瑺条件比瑌瑩瑰瑳瑣瑨瑩瑴瑺条件更一般琮 例如琬函数 琨 琩 琽 攱 在 区域 琽 琨 琩琻 琰 琱 琰 琱内对于满足局部瑌瑩瑰条件琬但不满足瑌瑩瑰条件琮 下面的定理证明表明唯一性是一种局部性质 。 定定定理理理 琲琮 假设 琨 琩在连通 区域 攲 内连续且关于满足局部屌屩屰屳屣屨屩屴屺条件尬 则方程 琽 琨 琩过内每一点 存在唯一的饱和解 。更一般的，若 对于任何有界闭攱 都有唯一性定理 ，则同样结论成立 。 证证证 明明明琮 饱和解 的存在性 由解 的延拓 定理琱保证琬 以下仅证饱和解 的唯一性 。对于中的任何一点琨 琩 ，