关于解的延拓定理之注解.pdfVIP

第 31卷第 2期 大 学 数 学 Vo1．31，№ ．2 2015年 4月 C0LIEGE M ATHEM ATICS Apr．2015 关于解的延拓定理之注解 韩茂安 ， 李继彬 (1．上海师范大学 数学系 ，上海 200234； 2．浙江师范大学 数学系 ，金华 321004) [摘 要]在数学专业 的常微分方程课程里有关解 的存在唯一性、解 的延拓和解对初值与参数 的连续性 构成了微分方程最基本 的理论 ，这部分 内容既是常微分方程 的重点，又是该课程的难点．本文的 目的是对解 的 延拓定理所涉及的概念和论证进行系统的梳理和完善，并希望能够弥补微分方程教材中的有关不足． [关键词]延拓 ；李 卜希兹条件；饱和解 [中图分类号]O175．1 [文献标识码]A [文章编号]1672—1454(2015)02—0033—06 1 解的存在与唯一性定理 考虑标量微分方程 J u ．y— f(x，)， (1) 其中，为定义于下述矩形区域 ： R：llz—z。I≤ a， 1y．— 。l≤ b (2) 上的连续函数 (其中 口与b为两个正数)，且存在常数 L，使对一切 (z，Y)，(z，Y)∈R成立 lf(x，Y)～f(x，Yz)I≤ Llt— zI． 如所周知 ，上述不等式称为李 卜希兹条件．熟知的Picard存在唯一性定理可叙述如下． 定理 1 在上述假设下微分方程 (1)存在唯一的定义于区间 [z。一h，。+^]且满足初值条件y(x。) 的解 ，其 中 h—mini，}，M—max{lf(x，)I：(z，)∈R)· 上述定理是解的存在唯一性最经典的结果 ，在许多常微分方程教材 中都有证 明，见[1]一[16]． 下面，我们讨论定义域更一般 的标量方程．首先给出区域的概念．按照数学分析教材所定义的，如 果一平面点集 G可以写成一个非空连通开集和该开集的部分边界点的并 ，就说集合 G是一个 区域．按 照这个定义，区域可以开的(如果它是连通开集)，也可 以是闭的(如果它是某一连通开集和该开集所有 边界点的并)也可以是非开非闭的．例如，式(2)所定义的矩形R就是一个闭区域，而集合 {(z，)I ≥ 0， 0)是一个 区域 ，但它既不是开的，也不是闭的．又如 ，集合 {(，)lX≥0)U {(z，)lz≤ 0，Y 一0)就不是一个区域． 现在 ，我们可以叙述比定理 1更为一般的存在唯一性定理了． 定理 2 设方程 (1)中的函数-厂为定义于某平面区域G上的连续 函数，且在G上关于Y满足局部李 卜希兹条件 ，即对 G的任意内点 (。，Y。)，都存在以该点为心且含于G的矩形区域 ，使得 函数厂在该 区 域上关于Y满足李 卜希兹条件 ，则微分方程 (1)存在唯一的定义于以．17。为心的某区间上且满足初值条 件 y(x。)一Y。的解． 上述定理很容易利用定理 1的结论推出． [收稿 日期]2014—1o一23 34 大 学 数 学 第 31卷 上述两个定理都称为解的存在唯一性定理，并且都在许多常微分方程教材中出现 ，它们的共同点是 解的存在区间都是局部的．其实 ，在微分方程定性理论中起基石作用 的解的存在唯一性定理不是上面 的局部结果，而是解的大范围存在唯一性定理 ，这个定理是上面定理和解的延拓定理的直接推论．下面 一 节我们就来详细讨论解的延拓定理． 2 解 的延拓定理 本段将假设方程 (1)中的函数 _厂为定义于某平面区域G 上的连续函数 ，且在 G上