常微分方程解的唯一性定理及其应用11引言111课题意义常微分方.DOCVIP

常微分方程解的唯一性定理及其应用 1.1引言 1.1.1 课题意义: 常微分方解的唯一性定理是微分方程理论中的基本定理,也是微分方程近似计算的前提和根据，更是动力系统中重要的定理之一。对解的存在唯一性的探讨是研究微分方程的重要内容，这更好的促进于微分方程解集的研究，使得微分方程内容的丰富。对微分方程解的唯一性定理的研究将很好地解答了初值问题解的存在性与唯一性，这也是人们对微分方程目前研究的一个重要内容。本文在前人研究的基础上对解的唯一性定理的证明进行归纳总结，并在此基础上延伸对定理的应用,增加其得实用性,将数学来源于生活并回归于生活得之真切表现。 1.1.2 目前发展状况： 在前人们的研究都致力于对定理的证明及其证明方法的改进以及对定理的条件的改进与对方程的初值条件的优化,而对定理得实际应用确微乎其微。从17世界微分方程的发展，数学家们致力于研究关于微分方程的初等解法。到1740年数学家们已经知道几乎所有求解一阶方程的初等方法。随着微分方程的发展，人们要求满足某种附加条件的特解，即定值问题的解，从而致使人们开始从事对定解问题的研究，其通常包括边值问题与初值问题。对微分方程解的存在唯一性定理得研究,A Cauchy 在1820年首先严格证明了在相当一般条件下微分方程解的存在唯一性定理，为微分方程理论的研究奠定了坚实的基础。1876年，R Lipschitz使用“Lischitz条件 ”简化了A Cauchy 关于微分方程的存在唯一性定理的证明。1838年，J Liouville在研究热传导方程时提出了逐次逼近法。1896年 C Picard 在1896年给出了逐次逼近法的普遍形式，这个定理的证明为日后人们研究解的存在唯一性奠定了坚实的基础。但是从定理本身来看，其条件是比较严格的，因而更多的研究处在于对定理的条件的消弱的证明，以及将其朝其它数学分支的发展。[1]Picard利用逐次逼近法证明了这个定理 ，将求微分方程的初值问题的解等价于求积分方程 的连续解，再证明积分方程的解的存在唯一性。[2]Banach压缩映射原理，判定不动点的存在唯一性，构造迭代序列逼近不动点到任何精确程度。[3]通过研究一阶常微分方程的初值问题，构造上、下及不动点理论，证明当非线性项连续时解的存在性，当非线性项Lipschitz连续时解的唯一性。[4]赵云利用Gronwall 不等式证明解的存在唯一性。[5]周贵祥通过推广了一阶微分方程 初值问题解的存在唯一性定理，在F(t,x)满足条件下利用压缩映射原理证明了解的存在唯一性。[6]赵宪民将此定理结合时滞泛函微分方程的研究现状对泛函微分方程解的唯一性和渐进性进行分析。 在他们的研究上，几乎都是以皮卡的逐次逼近法为基础，进行条件转换和优化来对定理的证明。并由此使得常微分方程存在唯一性定理在泛函，是实变，复变等领域得到了发展。对于本课题的研究，我将会继续采纳前人的观点，通过研究不动点，从解析几何上寻求发展，使得解的存在唯一性定理更为简洁明了。 2、关于定理及其证明 2.1.1定理： 对于一阶微分方程： （1） 上的连续函数。 关于定理的证明我们需要从三个角度来证明该定理: 方程存在解； 解是唯一的； 解是连续的； 引理1：条件 函数称为在上关于满足条件，如果存在常数，使得不等式 对于所有的，都成立，称为常数 解的存在唯一性定理：如果在矩形域上连续且关于满足条件，则方程存在唯一的解，定于于区间上，连续且满足初值条件 （2） 这里 2.2定理的证明: 2.2.1、逐次逼近法:其中的只要思想是将方程的初值问题的解的求解问题转化为对积分问题的方程 （3） 的连续解，再证明积分方程的解的存在唯一性。其主要思路就是构造函数序列： （4） 命题一：设是方程（1）的定义于区间上，满足初值条件 的解，则是积分 ， （5） 的定义于上的连续解。 命题二：对于所有的，（4）中函数在上有定义、连续且满足不等式. 命题三：函数序列在上是一致收敛的。 命题四: 是积分方程（5）的定义于上的连续解。 命题五：设是积分的方程（5）的定义于上的另一个连续解，则（）。 通过的逐次逼近法的证明我们得到的其中一个关于定理的应用就是已知微分方程的初解求解其近似解。 2.2.2、压缩映射原理证明： 引理 二：压缩映射原理 假设是空间的非空子集，是压缩算子，即对任意的,有： . 则存在唯一的，使得,即在内存在唯一的不动点。 证明：在定理条件下，问题（1）等价于求解积分问题 与前一证明的出发点相类似，先将其转化为对积分方程的求解，在这里我们将的取值范围定义于：，则在此我们同样考虑的定义于的有半部分。 考虑到.对任意的，定义它