解的存在唯一性解决方案.doc

解的存在唯一性定理证明及其研究 专业名称： 数学与数学应用 组 长： 赵亚平 组 员： 刘粉娟、王蓓、孙翠莲 指导老师： 岳宗敏 解的存在唯一性定理证明及其研究 摘要 线性微分方程是常微分课本中的重要组成部分，线性微分方程组解的存在唯一性是最重要，也是不可或缺的一部分，通过课本所学知识运用逐步逼近法以及压缩映射原理分别对一阶，高阶线性微分方程组解的存在唯一性进行的详细的论述证明。对于线性方程组解的情况，主要是通过对增广矩阵进行初等行变换，了解其秩的情况，在运用克莱默法则，从而得出其解的存在唯一性的情况。 关键词：解的存在唯一性 线性微分方程组 线性方程组 （一）一阶微分方程的解的存在唯一性定理与逐步逼近法 存在唯一性定理 考虑初值问题 （1） 其中f(x,y)在矩形区域R： （2） 上连续，并且对y满足Lipschits条件：即存在常数L0（L为利普希茨常数），使不等式 对所有都成立,则初值问题(1)在区间上解存在且唯一，这里 证明思路： 初值问题（1）的解存在等价于求积分方程 （3） 的连续解。 2.构造（3）所得解函数序列{}，任取一连续函数，代入（3）右端的y，得 …… 3.函数序列{}在上一致收敛到。这里为= 4．为（3）的连续解且唯一。首先在区间是讨论，在上类似。 证明过程： 命题1 ：初值问题（1）等价于积分方程 （3） 证明：若为（1）的解，则： 对第一式从到x取定积分可得 即 反之，若为（3）的连续解。，则有 由于f(x,y)在R上连续，从而连续。故对上两式两边求导得 且即为（1）的连续解。 下面取，构造picard逐步逼近函数如下： （4） 命题2：对于所有连续且满足 证明：(用数学归纳法证明) 当n=1时，虽然在上连续且 设命题2当时成立。即在上连续，且 当时，由在R上连续可知，在上连续从而在上连续且 故命题2在时成立，故由数学归纳法得知，命题2对所有n成立。 命题3：函数序列在上一致收敛。 证明：考虑函数级数： （5） 它的部分和为 于是{}一致收敛性等于级数（5）的一致收敛性等价，我们对级数（5）的通项进行诂计 设对正整数n有不等式 则当时，由Lipschits条件有 于是，由数学归纳法得知，对所有的正整数n有 （6） 从而当时 由于正级数收敛，由魏尔斯特拉斯（weierstrass）判别法知，级数（5）在一致收敛，因而{}在上一致收敛。 现设，，则由连续性和一致收敛性得在上连续且。 命题4.是积分方程(3)的定义于上的连续解. 证明：由Lipschits条件 以及{}在上的一致收敛,解出函数列{},在上的一致收敛于函数.因而对(4)两边取极限.得到 即 这表明是积分方程(3)在的连续解. 命题5: 设是积分方程(3)的定义于上的一个连续解.则, 证明：令则是定义在的的非负连续函数.由和所满足的积分方程式和的Lipschits条件得 令则是定义在上的连续函数且 于是 对最后一个不等式从 到x积分得 故,即 综合命题1-5即得存在唯一性定理的证明。 （二）n阶线性微分方程初值问题解的存在性与唯一性定理证明 n阶线性微分方程，是一类具有特殊结构的微分方程，它是微分方程的重要组成部分。在自然科学与工程技术中有着广泛的应用。例如，弹簧震动中它的下端着物体运动方程：以及电荷量q的微分方程：等都是二阶线性微分方程。 一般n阶线性微分方程可写成如下形式： （1） 方程的初值条件记为： （2） 我们有如下结论： 定理：（n阶线性微分方程初值问题解的存在性与唯一性） 设 （i=1,2,...n)和均在区间I上连续，则对任一I和任意n个常数方程（1）恒有且只有一个定义在整个区间I上且满足初值