微分方程解的存在与惟一性的一种证明.pdf

微分方程解的存在与惟一性的一种证明 孙聪，王千 (吉林建筑工程学院城建学院，吉林长春130111) 摘 要 运用Banach压缩定理可证明微分方程解的存在与惟一性． 关键词 微分方程；解的存在与惟一性；Banach压缩定理 中图分类号 0175．1 文献标识码 A 文章编号 1008-1399(2011)03—0026—02 针对微分方程解的存在性与惟一性问题，数学 ．h—min{口，丽b)， 专业适用的常微分方程教材都采用Picard逼近法进 M=max 行证明Llqj．这种办法需要的准备工作多，求解步骤 I f(t，z)1． 也比较多，应用起来比较复杂，并且在实际教学中不 证明 在所给条件下，不妨只考虑右半区间 易于讲解，学生理解起来也存在困难．本文主张改用 J+=[r，r+^]。 至于左半区间的情形，可做类似讨论． Banach压缩定理进行证明．该方法的好处在于，比 较容易理解，并且证明思路清晰． 对于任意∞∈C(1+)，定义它的范数为‘4] 引理1(Banach压缩定理)[妇 fl e-卢，t∈r}， 设D是Banach 9lf=max{l驴(￡)l 空间E的非空闭子集， 丁： D—D 对此Banach空间中的非空闭子集D，定义算子 是压缩算子，即对任意z，Y∈D，有 T： D—-C(J+)， n—bI≤口lz—Y 口∈EO，1)， 任给∞∈D，使令 则存在惟一的z’∈D，使得 (而)(z)一e+If(s，垆(J))ds，f∈J十， ：Ix’=z。． 那么，对任意9t，伫，当t∈r时， 即方程 Tx==32 f(而t)(￡)一(砷2)(r)I一 有且只有一个解． 悱弛，“∽一代，即㈨)仙l≤ 定理1(解的存在性与惟一性定理)叫若函数 LIl妒l(s)一92(s)I矿e呻ds≤ 厂(t，z)在R州中的某区域 G： z—r I≤“，Iz一车I≤b e呻渖· Pm’一即‘‘’I 寺m川a+x{l 上连续，并且关于z满足Lipschi．tz条件，即存在 也即 Lipschitz常数L∈(0，oo)．当(￡，z)，(￡，互)∈G时， 1 z—z I(％t)(￡)一(砷2)(t)I≤ f(t，z)一，(t，王1≤L1。 那么，初值问题 詈IPl(‘)一伫(‘)l· ‘‘，z)∈G， {z’一，‘‘，z’ (1) 因此，T是压缩算子，由