常微分方程解的唯一性定理及应用.doc

【标题】常微分方程解的唯一性定理及应用 【作者】周 宏 伟 【关键词】存在唯一性??逐步逼近法??幂级数展开式 【指导老师】林 昌 盛 【专业】数学与应用数学 【正文】1.引言微分方程源于生产实际，研究微分方程的目的就在于掌握它所反映的客观规律，能动地解释所出现的各种现象并预测未来的可能情况.对于反映某一运动规律的微分方程，如果能找出其通解的表达式，一般来说，就能按给定的一定条件相应地选定其中的任意常数，获得所需要的通解并通过其表达式了解它对某些参数的依赖情况，从而适当地选择这些参数，使得对应的解——“运动”具有所需的性能.因此，对初值问题的研究被提到重要的地位.那么，我们自然要问初值问题的解是否存在？如果存在是否唯一呢？本文介绍存在唯一性定理很好的回答了上面的问题，它明确的肯定了方程的解在一定条件下的存在性和唯一性，它是常微分方程理论中最基本的定理，有其重大的理论意义.解的存在唯一性定理保证了所要求的解的存在和唯一，因此它也是近似求解法的前提和理论基础,本文在定理的证明过程中还提供了具体的求近似解的途径.2.存在唯一性定理及证明定理1[1]??若函数?在矩形域?，?上满足以下条件：1)?在?上连续2)?在?上关于变量?满足利普希兹条件（Lipschitz）,即存在常数?,对?上任何一对点??和(?,?)?均有不等式|?|?≤?|?|成立；则初值问题?在区间?上存在唯一解?,?这里?而???????2.1?解的存在和唯一定理的证明为了便于对解的存在唯一性定理的理解，本文分别采用了皮卡（Picard）逐步逼近法、归纳法和利用格郎瓦尔（GronwAall）不等式法，对于皮卡（Picard）逐步逼近法本文参考了常微分方程分五个命题来证明定理，证明如下:2.1.1?皮卡（Picard）逐步逼近法[2]命题1?设?是方程?的定义于区间?上，满足初始条件?的解，则?是积分方程????????????????????????（2-1）的定义于?上的连续解.反之亦然.证明??因为?是方程?的解，故有?两边从?到?取定积分得到??????????????把?代入上式即有???????????????因此，?是（2-1）的定义于?上的连续解.反之，如果?是（2-1）的连续解，则有???????????????????????????????????????????（2-2）微分之，得到?又把?代入（2-2）得到?.因此，?是方程?定义于?上，且满足初始条件?的解.命题1证毕.现在取?，构造皮卡逐步逼近函数序列如下：????????????????（?）???????(2-3)命题2??对于所有的??,（2-3）中函数?在?上有定义、连续且满足不等式??????????????????????????????????????????????????????????????（2-4）证明??当?时，?.显然?在?上有定义，连续且有?即命题2?当?时成立.现在我们用数学归纳法证明对于任何正整数?，命题 2?都成立.为此假设命题2当?时成立，也即?在?上有定义、连续且满足不等式?，这时?由命题 2?当?时也成立.由数学归纳法知命题 2?对于所有?均成立.命题2证毕.命题3?函数序列?在?上是一致收敛的.证明??我们考虑级数????????????????????（2-5）它的部分和为?因此，要证明函数序列?在?上一致收敛，只须证明级数（2-5）在?上一致收敛.为此，我们进行如下的估计.由（2-3）有????????????（2-6）及????????????????????????????????????利用利普希兹条件及（2-6）得到???????????????????????????????????????????????????????设对于正整数?不等式??成立，则由利普希兹条件当?时有????????????????????????????????????????????????????????????????????????????????????????????????????于是，由数学归纳法得知，对于所有的正整数?，有如下的估计??????????????????（2-7）从而可知，当?时??????????????????????????????????????????????????????（2-8）（2-8）的右端是正项级数?的一般项.由维尔斯特拉斯（Weierstrass）判断法，级数（2-5）在?上一致收敛，因而序列?也在?上一致收敛.命题 3?证毕.????现设?则?也在?上连续，且由（2-4）又可知?