二阶微分方程解的存在唯一性定理毕业论文.doc
《二阶微分方程解的存在唯一性定理毕业论文.doc》由会员分享,可在线阅读,更多相关《二阶微分方程解的存在唯一性定理毕业论文.doc(46页珍藏版)》请在三一办公上搜索。
1、摘要本文通过利用李普希兹条件证明一阶微分方程解的存在唯一性定理,从而证明二阶微分方程解的存在唯一性定理成立的条件也是李普希兹条件。一阶微分方程初值问题解的存在唯一性定理既是微分方程的理论基础,也是常微分方程得以广泛应用的基石。一阶微分方程解的存在唯一性定理中唯一性的证明,采用的是Picard的逐步逼近法,通过对一阶微分方程定理的证明,逐步延伸到二阶或者多阶,并应用的广泛的领域。微分方程是一门十分有用又十分有魅力的学科,随着社会技术的发展和需求,微分方程会有更大的发展。可以预测,随着以来数学为基础的其他学科的发展,微分方程还会继续扩展。关键词:常微分方程;李普希兹条件;解的存在唯一性定理Abst
2、ractIn this study, we should prove first-order differential equations through the Lipschitz condition of the existence and uniqueness theorem, then we prove that the second-order differential equations existence and uniqueness theorem is also satisfied Lipschitz conditions. Existence and uniqueness
3、theorem is the theoretical basis of first-order differential, and is also the basis of the application of differential equations and ordinary differential equations. We use the Picard method of successive approximation to complete the proof of the first-order differential equations, and then we can
4、also extend it to the second-order or multi-order, and apply it to other areas. Differential equation is very useful and very attractive, and differential equations will have a greater social development and needs. In the future, with the development of other disciplines, mathematic is used as the b
5、asis of other fields, and the differential equation will continue to expand.Keywords: ordinary differential equations; Lipschitz condition; Solutions for the existence and uniqueness theorem目录摘要IAbstractII目录III第一章 绪论1第二章 一阶微分方程解的存在唯一性定理32.1定理描述32.2证明步骤32.2.1逐次逼近法证明步骤32.2.2定理证明过程的命题化42.3应用实例及拓展8第三章 证
6、明二阶微分方程解的存在唯一性定理123.1定理描述123.2 证明步骤12第四章 总结18致谢21参考文献22外文文献译文24第一章 绪论常微分方程是一门在数学、物理、天文和工程技术等领域有着广泛应用的重要学科,是数学理论通向实际应用的桥梁之一,因此成为高等学校数学及许多工程技术专业学生必学重要内容。学好该门课程,对提高科学素养意义重大。而一阶微分方程初值问题解的存在唯一性定理既是微分方程的理论基础,也是常微分方程得以广泛应用的基石。一阶微分方程解的存在唯一性定理中唯一性的证明,采用的是皮卡的逐步逼近法,通过对一阶微分方程定理的证明,逐步延伸到二阶或者多阶,并应用的广泛的领域。19世纪20年代
7、,柯西建立了柯西问题 解的存在唯一性定理。1873年,德国数学家李普希兹提出著名的“李普希兹条件”,对柯西的存在唯一性定理作了改进。在是定性的研究中,与柯西、李普希兹同一时期,还有皮亚诺和皮卡,他们先后于1875年和1876年给出常微分方程的逐次逼近吧。皮亚诺在仅仅要求在点邻域连续的条件下证明柯西问题解的存在性,后来这方面的理论有了很大的发展,其中基本理论包括:解的存在及唯一解,延展性,解的整体存在性,解对初值和参数的连续依赖性和可微性,奇解等等。这些问题都是微分方程的一般基础理论问题。本文通过利用李普希兹条件证明一阶微分方程解的存在唯一性定理,从而证明二阶微分方程解的存在唯一性定理成立的条件
8、也是李普希兹条件。微分方程是一门十分有用又十分有魅力的学科,随着社会技术的发展和需求,微分方程会有更大的发展。可以预测,随着以来数学为基础的其他学科的发展,微分方程还会继续扩展。在积分方程的求解中,逐次逼近法是一种极其有效的方法。而皮卡序列在逐次逼近中也发挥了十分重要的作用。对皮卡序列的证明及应用做了一定的研究,并对皮卡逐次逼近法给出了一些论述,且将这种方法运用到了其他一些学科的研究中,如数值分析。本文主要是通过利用皮卡逐次逼近法证明存在唯一性定理,求解积分方程,对积分方程求近似解。同时逐次逼近法也可以应用于近似计算和误差估计。第二章 一阶微分方程解的存在唯一性定理2.1定理描述一阶常微分方程
9、初值问题解的存在唯一性定理:定理1 对一阶微分方程的柯西问题 ,若函数在矩形区域满足:i) 在R上连续;ii) 在R上关于y满足Lipschitz 条件(简称Lip条件),即存在常数(称为Lip常数)。使得对,恒有成立,则初值问题在区间上存在唯一解,其中。2.2证明步骤2.2.1逐次逼近法证明步骤第1 步:证明初值问题的解与积分方程 ,在区间上的连续解等价。第2步:构造Picard逐次逼近函数序列,证明函数序列在区间有定义且连续。第3步:证明函数序列在区间一致收敛。第4步:证明是积分方程的解。第5步:利用Lip条件和同一性证明解的唯一性。以上证明过程是现今许多教材上的流行思路,其过程复杂,教学
10、难度较大,为分化难点,本文作如下命题化处理。2.2.2定理证明过程的命题化1. 证明过程命题化的意义命题化后的五个命题虽在过程或形式上和五个步骤具有一致性,但命题化后对强调其各步的理论意义具有不可忽视的优势,它更能彰显定理内涵的逻辑层次,同时更有利于分散难点。证明该定理的灵魂是对微分方程具有划时代影响的Picard逐次逼近法,其迭代序列的构造及收敛性证明有力推动了人们对各种方程的求解探索,典型的思想方法对后继的其他数学分支的产生和发展起了重要催化作用。对定理证明步骤命题化处理,则有利于突出Picard迭代思想的地位与作用。2. 五个命题及简洁证明命题1 Cauchy问题与积分方程等价。证 是的
11、解,是的解。命题2 对,序列在有定义、连续,且。证 当时,在上有定义、连续,且命题成立。 假设时命题成立,即在上有定义连续,且,则在上有定义连续,且命题成立。根据数学归纳法由以上可得,对任意的自然数n命题2成立。命题3 Picard函数序列在上一致收敛。证 考虑函数项级数 , 显然,的部分和为,于是在上的一致收敛问题化为级数在上的一致收敛问题。因为 , , ,设对正整数n,有,则对正整数n+1,有 由数学归纳法得,对所有的正整数n,有 。所以,当时,。又 ,由阿贝尔比值审敛法得正项级数收敛,再由Weierstrass判别法得级数一致收敛,从而一致收敛。命题4 是积分方程在上的连续解。证 由Li
12、p条件,有。而在一致收敛于,则序列在上一致收敛于,对两边取极限,得 即是积分方程的连续解。 命题5 设是的定义于上的连续解,则,。证 由假设,得 而在上连续,则存在M,使得 将带入式,得 将再带入式,依此递推并由数学归纳法,得由级数收敛得,从而。2.3应用实例及拓展上述逐次逼近法既是定理证明过程的核心内容,也是求Cauchy 问题近似解的理论基础和实用方法。但教材内容却只有理论证明,而忽略了实际例子的选用。以下补充实例则有利于突破定理的难点和重点。例 求微分方程的过点的解。解法一 Picard逐次逼近法。因为所求解过点,故可取 第1次近似解 第2次近似解 第3次近似解 第n次近似解 易见。由P
13、icard逼近法知是方程的过点的解。解法二 对应齐次方程为,所以两边积分,得齐次通解为 由常数变易法设非齐次通解为。代入,得 故得非齐次通解为 由得原Cauchy问题的解为,与Picard逼近法所求结果相同。 注 在解法一中,若以任意满足条件的连续函数作为初始逼近函数,将得到完全相同的解。初值问题解的局部存在性证明除以上的Picard 逼近法外, 还有利用不动点原理的证明法。后者因其涉及较深的理论知识而不被一般教材采用。但唯一性问题的常见证明则是多法并举各具特色。具有代表性的常见证法有四种。可以证采用了先证也是的一致收敛极限函数,再根据收敛序列的极限唯一性获证。可以采用的反证法中充分借助了几何
14、直观。而利用Cronwall Bellman不等式和比较原理的证明方法则具较好理论意义,但要先引入并证明该不等式则显得任务繁重。作者教学中采用的是递推的证明思路。这四种方法以及其它证法,它们在内涵上都是基于同一的逻辑思想。关于初值问题解的唯一性问题至今仍为一个研究课题, 其存在条件比Lip条件更弱的。基于知识拓展的需要, 本文对定理的条件与结论作以下简单讨论。1. 对于或的情形, 可有相应的定理。2. Picard定理对于微分方程组的初值问题也成立,即若,是维矢量时,证明类似,只需将证明中的绝对值改为矢量的模即可。3. 若去掉Picard定理中的Lip条件,则定理中解的存在性的结论仍成立,相应
15、定理称为Peano存在性定理。其证明可用Euler折线法或Schauder不动点定理完成。Euler折线法基本思想是在坐标系中,从出发连接以下点画一条折线其中 是的严格递增序列,连接点与点的线段的方向取为方向场在点的方向。该折线所表示的函数是的近似解,取时,得近似解的序列。它在上一致有界连续。由Ascoli Arzela引理,从中可选出一致收敛的函数子列,其极限函数连续,可以证明就是相应积分方程的解, 从而是的解。虽然欧拉折线法用于计算机求初值问题近似解并不实用,但其思想却是计算方法的理论基础:导数乘以步长近似于函数的相应增量。4.若将Picard 定理中的Lip 条件改为在内关于单调不增,则
16、的右行解(即解的存在区间为)存在且唯一。唯一性证明: 设,为初始问题的任意两个解, 令, 则,从而当时, 即。5. 若将定理条件加强为在带形域中连续,且关于满足Lip条件,则只要用在上的上界代替就可类似证明在中上的解存在唯一。第三章 证明二阶微分方程解的存在唯一性定理3.1定理描述定理2 (1)其中均在的邻域内连续,记作。若函数在始值的邻域G内对所有变量连续,且对和的一阶偏导数有界,则(1)在内存在唯一的解。3.2 证明步骤我们用逐步逼近法分五步证明该定理。1. 问题的转化通过引进向量和矩阵记号,我们把二阶线性微分方程初值问题转化称为一阶线性微分方程组的初值问题。令,则由并满足条件记,则同时记
17、矩阵,则二阶线性常微分方程(1)的初值问题等价于如下初值问题满足初值条件.为方便起见在实数域上的二维空间上任取,定义的范数,则。容易得到如下结论:(I) 向量函数在区域R上连续;(II) 向量函数在区域R上满足Lipschitz条件。这样定理2的证明就转化为证明如下定理:定理 考虑如下初值问题 (2)若函数在区域内连续,且对X满足Lipschitz条件,则(2)在区间上有并且只有一个解,其中常数2. 把初值问题(2)化成等价的积分方程 (3)引理 若,是初值问题(2)的解,则,也是(3)的解,反之亦然。证明:设,是 (2)的解,则有,且,从而有,整理得,即,则说明,是积分方程(3)的解。反之,
18、设是积分方程(3)的解,即。对该式等号两边同时对求导,有,且当时,则说明是积分方程(2)的解。引理成立。故要证明定理,只需证明积分方程(3)在区间I上有并且只有一个解。3. 用逐步逼近法构造Picard序列首先,引进如下叠代过程,其中,当时,在I上连续可微,且满足不等式,其中在在闭区域上的最大值。则,其中,即,且在I上式连续的。则又有在I上连续可微,且满足不等式。由此类推,可知构造的Picard序列完全位于闭区域中,且Picard序列在I上是连续的,并满足不等式。4. 证明Picard序列一致收敛到积分方程(3)的解由于,则可知序列的收敛性等价于级数的收敛性,故只需证明级数一致收敛即可。下面,
19、用归纳法证明不等式在I上成立,其中L为Lipschitz常数。当n=0时显然成立。假设当n=k时,不等式成立,那么当n=k+1时,即可知,当n=k+1时,不等式也成立。又由于,说明在I上收敛。由维尔斯特拉斯判别法知,在I上一致收敛,因此Picard序列在I上一致收敛。不妨令,则在I上连续,对等号两边同时令n趋向于,则有,容易证明在I上一致收敛,因此,即说明是积分方程(3)的一个解。5. 证明积分方程(3)解的唯一性我们用反证法来证明。设积分方程(3)在I上有两个不同的解和,令为他们的共同存在区间,为常数且,则由(3)知, (4)由于在区间J上,连续有界,不妨取其中一个上界K,则有,将它代回(4
20、)式右端有再将该式代入(4)式右端,归纳可得,由于收敛,故令,有。由此可知,即说明积分方程(3)的解释唯一的。 由初值问题(2)与积分方程(3)的等价性即知初值问题(2)的解存在且唯一,从而我们也完成了定理2的证明。第四章 总结通过一个学期的不断学习和实践,我的毕业设计终于完成了。在开始动手做毕业设计以前,总觉得毕业设计只是对这几年来所学知识的单纯总结,但是通过这次做毕业设计我才发现自己的看法有点太片面。毕业设计不仅是对前面所学知识的一种简单检验,而是更需要理解并且找到各种知识之间的联系,并且要将他们融会贯通到一起,这对自己的能力无疑是一种考验和锻炼。通过这次毕业设计,我明白了自己知识的欠缺。
21、自己需要学习的东西还太多,以前老是觉得自己的学习还可以,但是实际用起来才发现自己的眼高手低,对许多东西还知之甚少,甚至说是一无所知,以至于在设计中自己老是困难重重,不能顺利进行。通过这次毕业设计,我更加明白了学习是一个长期积累的过程,“冰冻三尺,非一日之寒;水滴石穿,非一日之功”。学习亦是如此,不能只在一朝一夕,要长期以往,坚持不懈。所以在以后的工作、生活中我们都会不断的虚心学习,努力提高自己知识水平和综合素质,这样才能使自己在以后的工作和生活中更能运用自如。这次毕业设计的课题是关于二阶常微分方程解的存在唯一性定理的证明,并且是在老师的一定指导下,由自己设计和完成的,锻炼了我独立思考解决问题的
22、能力。这些对我将来踏上工作岗位以后也是非常受益的,因为这是对我踏上工作岗位前的一次综合演练,也是一次真正的理论转化为实践的契机。尽管在设计的这个课题上有一定的成功案例可以去参考去借鉴,并且这些案例很成功也很出色,但是我仍然希望通过自己的努力来完成这个论文并希望有所突破。所以在本次证明过程中我完全是按照要求来进行,从课题分析开始,再进行总体研究、详细证明,最后到证明完成,每一步都非常细心非常用心,每一步都让我将理论学习的知识应用到实践中去。使我受益匪浅。在课题分析阶段,由于本次设计是一个以一阶常微分方程解的存在唯一性定理的证明为基础的,所以在设计前做好材料搜集的工作尤为重要。因此我对指导老师提供
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 微分方程 存在 唯一 定理 毕业论文

链接地址:https://www.31ppt.com/p-4194794.html