微分方程解de存在与惟一性de一种证明.pdfVIP

第 l4卷第 3期 高等 数 学 研 究 Vo1．14，No．3 2Ol1年 5月 STUDIESlN C0LLEGEMATHEMATICS May，2Ol1 微分方程解 的存在与惟一性的一种证明 孙 聪 ，王 千 (吉林建筑工程学院 城建学院，吉林 长春 1301l1) 摘 要 运用Banach压缩定理可证明微分方程解的存在与惟一性． 关键词 微分方程；解的存在与惟一性；Banach压缩定理 中图分类号 O175．1 文献标识码 A 文章编号 1008—1399(20l1)03—0026—02 针对微分方程解的存在性与惟一性 问题 ，数学 h—min{“，砑b) ， 专业适用的常微分方程教材都采用Picard逼近法进 行证明t．I ．这种办法需要的准备工作多，求解步骤 M = max If(t，z)1． 也比较多 ，应用起来比较复杂，并且在实际教学中不 证明 在所给条件下，不妨只考虑右半区间 易于讲解 ，学生理解起来也存在困难．本文主张改用 r= [r，f+^]， Banach压缩定理进行证明．该方法的好处在于，比 至于左半区间的情形，可做类似讨论． 较容易理解，并且证明思路清晰． 对于任意 ∈C(r)，定义它的范数为 引理 l(Banach压缩定理)[ 设 D是 Banach I] =max{1 (￡)le一，￡E J)， 空间 E的非空闭子集 ， 其中J9 L，则容易证 明C( )是 Banach空间Ⅲ． 了’： D — D 对此 Banach空间中的非空闭子集 D，定义算子 是 缩算 子，即对任意 91，YE D，有 丁： D— C(J+)， 1Tx—Ty5≤口1 —Y1 Ot∈[O，1)， 任给 ∈D，使令 则存在惟一的 ∈D，使得 ( )()一 +lf(，(s))ds，f∈J’， Tx。= 。 那么，对任意 ， ，当 ∈ 时， 即方程 1( )(￡)一 ( z)(幻 I— Tx = z 有且只有一个解． ． lJ’[厂(s，())-f(，z())-ldI≤ 定理 1(解的存在性与惟一性定理)[。 若函数 LIl1()一 2(s)1ee一卢ds≤ ，(t，)在 R 中的某区域 G： l￡一r1≤ “，1z一 I≤ b 一 2(￡’le一 · 连续 ，并且关于 z满足 Lipschitz条件 ，即存在 也即 Lipschitz常数 L∈ (O，∞)，当(￡，z)，(￡，)∈G时，