




下载本文档
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、第二讲 常微分方程发展简史适定性理论阶段高阶方程l 1734年12月, Bernoulli Daniel在给当时在圣彼得堡的Euler的信中说, 他已经解决了一端固定在墙上而另一端自由的弹性横梁的横向位移问题, 他得到了一个四阶线性常微分方程 其中是常数, 是横梁上距自由端的距离, 是在点的相对于横梁为弯曲位置的垂直位移. Euler在1735年6月前的回信中说道, 他也已经发现了这个方程, 对这个方程, 除了用级数外无法积分. 他确实得到了四个级数解, 这些级数代表圆函数和指数函数, 但在当时Euler没有了解到这一点.1739年9月, Euler在给Bernoulli John的信中指出,
2、 上述方程的解可以表示成其中可由条件来确定.l 弹性问题促使Euler考虑求解常系数一般线性方程的数学问题. 1739年9月, Euler在给Bernoulli John的信中首次提到了常系数齐次常微分方程, 并说他已取得了成功.l 在1743年至1750年间, Euler考虑了$n$阶常系数齐次线性方程第一次引入了特解、通解的概念, 指出通解必包含个任意常数, 而且是由个特解分别乘以任意常数后相加而成的, 创立了求解$n$阶常系数线性齐次微分方程的完整解法-特征方程法. 讨论了特征根是单根、重根、共轭复根和复重根的情形, 这样Euler完整解决了常系数线性齐次方程求解问题.l 1750年至1
3、751年, Euler讨论了n阶常系数线性非齐次方程, 他又提出了一种降低方程阶的解法. Euler还是微分方程近似解的创始人, 他提出了的欧拉折线法不仅解决了常微分方程解的存在性的证明, 而且也是常微分方程数值计算的最主要的方法之一. 1750年, Euler又给出了求解微分方程的级数解法. 1768年至1769年, Euler还将积分因子法推广到高阶方程, 以及利用变换可以将变系数的Euler方程化为常系数线性方程.l 在Euler工作的基础上, 1763年DAlembert给出了求非齐次线性方程通解的方法, 即非齐次方程的通解等于齐次方程的通解加上一个非齐次方程的特解.l 1762年至1
4、765年间, Lagrange J对高阶变系数线性齐次方程的研究也迈出了一步, 并引出伴随方程 (这个名字是1873年Fuchs Lazarus取的, Lagrange并未给它取名), 同时发现一个定理: 非齐次线性常微分方程的伴随方程的伴随方程, 就是原来方程对应的齐次方程. Lagrange把Euler L在1743年至1750年间关于常系数线性齐次微分方程的某些结果推广到了变系数线性齐次方程. Lagrange发现, 齐次方程的通解是由一些独立的特解分别乘以任意常数后相加而成的, 而且若已知高阶方程的个特解就可以将方程降低阶.l 1774-1775年, Lagrange提出了“常数变易法
5、”, 解出了一般$n$阶变系数非齐次线性常微分方程. 这是18世纪微分方程求解的最高成就.l Newton I 在创建微积分时就给出了求解微分方程的“级数展开法”和“待定系数法”; 1842年Cauchy A完善了“待定系数法”.探索常微分方程的一般积分方法大概到1775年就停止了, 此后100年没有出现新的重大的新方法, 直到19世纪末才引进了Laplace变换法和算子法.从总体上看, 17世纪的微分方程仍然是微积分的一部分, 并未单独形成一个分支学科. 在18世纪, 由解决一些具体物理问题而发展起来的微分方程, 已经成为有自己的目标和方法的新的数学分支. 这段时期, 数学家把注意力主要集中
6、在求常微分方程的解上, 并且取得了一系列重大进展. 对解的理解和寻求, 在本质上逐渐起了变化. 最初, 数学家们用初等函数找解, 接着是用一个没有积出的积分来表示解. 在用初等函数及其积分来寻求解的巨大努力失败之后, 数学家们转向用无穷级数求解了. 但后来人们逐渐发现, 很多常微分方程求解是非常困难的, 甚至是不可能的.2、常微分方程适定性理论:19世纪初期和中期19世纪初期和中期是数学发展史上的一个转变时期。数学分析的基础、群的概念、复变函数的开创等都在这个时期。 常微分方程深受这些新概念和新方法的影响,进入了它发展的第二个阶段。Riccati方程在微分方程早期研究中出现的一类重要的非线性方
7、程就是所谓的Riccati方程. 它最早是由研究声学的威尼斯的Riccati Jacopo Grancesco伯爵于1723年至1724年间通过变量代换从一个二阶方程降阶得到的一个一阶方程. Riccati的工作之所以者的重视, 不仅由于他处理了二阶微分方程, 而且由于他有把二阶方程化到一阶方程的想法, 使降阶法成为处理高阶方程的主要方法之一.1686年, Leibniz向数学界推出求解方程 (Riccati方程的特例)的通解的这一挑战性问题, 且直言自己研究多年而未果. 如此伟大的数学家, 如此简单的方程, 激发了许多数学家的研究热情. 虽然此方程形式简单, 但经过几代数学家的努力仍不得其解
8、.1725年, Daniel Bernoulli用初等方法求解了一个特殊的Riccati方程, 他证明了Riccati方程, , 当 (为正整数) 时能化为变量可分离方程.1760年至1761年, Euler L证明方程在已知一个特解的情况下, 通过变换可化为线性方程; DAlembert J最先研究了一般形式的Riccati方程, 而且对这类方程采用了“Riccati方程”这一名称. Abel N研究了Abel第一类和第二类方程的若干特殊类型, 特别是对于Jacobi方程得到了通解.1841年, 法国数学家Liouville证明了Riccati方程除了某些特殊情形外, 对一般的, 不能用初等
9、积分法求其通解. 当然, 对于一般的非线性方程将更是如此, 这与代数学中, 五次和五次以上方程没有根式公式解的结论有相似的理论意义.Poincare J曾经将代数方程求根的问题(见代数学)和常微分方程求解问题的历史发展作过对比,这种对比既直观又富有成果。例如: 1824年,Abel N H证明五次代数方程没有一般的用根式求解的公式,从而结束了一般代数方程求根式通解的企图。类似地,1841年Liouville证明了Riccati方程除了某些特殊情形外, 对一般的, 不能用初等积分法求其通解, 从而结束了一般常微分方程求通解的企图。 1832年,Gailois E创造了群的概念,并将代数方程的根用
10、根式表达的可能性和代数方程的根组成的置换群的可解性相联系,得到可能性的充分必要条件是可解性。类似地,1874年Lie M S将群的概念用于常微分方程,引入了将常微分方程的解变为解的连续变换群的概念。当连续变换群已知时,常微分方程的积分因子即可显式地写出,从而解决了解的可积性问题。这些工作从正反两方面将常微分方程的理论提高到一个新的水平。Riccati的工作迫使人们另辟蹊径, 考虑不借助于解的表达式而从方程本身的特点去推断其解的性质(周期性、有界性、稳定性等), 以及寻找各种近似求解的方法, 从而导致微分方程理论的研究进入了一个多样化的发展时期.在物理,力学上所提出的微分方程问题, 又大都要求满
11、足某种附加条件的特解, 即所谓定解问题的解. 这样, 人们开始改变了原来的想法, 不去求通解, 而从事定解问题的研究. 研究热潮逐渐由求方程的通解转向常微分方程定解问题的适定性. 18世纪以后不断出现的特殊的微分方程的求解问题, 也迫使数学家转向对解的存在性问题的思考. 常微分方程理论研究中的一个基本问题是微分方程是否有解存在? 如果有解存在, 其解是否唯一? 这个问题的解决不仅可以使数学家避免对一些根本无解的方程作无谓的探索, 而且直接影响并导致微分方程的基本理论. 这些基本理论包括: 解的存在及唯一性、延展性、解的整体存在性、解对初值和参数的连续依赖性和可微性等.初值问题解的存在性19世纪
12、初期, Cauchy A等人建立了数学分析(又称分析学)的基础。无限、极限、连续、可微等等概念得到了精确的意义。Cauchy也是复变函数论的奠基人之一. Cauchy的一个考虑了微分方程的解的存在性问题, 在相当一般条件下解的存在唯一性定理, 为ODEs的研究奠定了坚实的基础, 后来又有许多数学家做了大量工作, 逐渐形成了常微分方程的基本理论.1768年, L. Euler最早考虑了一般常微分方程的解的存在性问题, 并提出用简单的折线来近似地描绘所要寻求的积分曲线-后人称这种方法为Euler折线法(差分法), 它标志了微分方程近似计算方法的开端. 1890年, Peano G在方程右端函数连续
13、的假设下解是否存在的问题进行了研究. 1892年G. Peano(1889年给出用集合定义自然数的Peano公理;1890年第一次构造出充满正方形的连续曲线的例子, 即Peano曲线) 第一次对此问题给与了正面的回答, 证明了著名的Peano存在性定理. 这一结果通常被称为Cauchy-Peano定理. 1915年, Perron 在更一般条件下研究了解的存在性.Cauchy-Peano存在性定理证明方法很多, 例如: Euler折线法, Cauchy的优级数法, Schauder不动点定理方法等. 在数学史上, 用拓扑学方法证明Caucy-Peano存在性定理是1922年G. Birkhof
14、f和O. Kellogg第一个给出的. 1976年, Gardner给出了Cauchy-Peano存在性定理的一个新的初等证明, 它没有用到Arzela-Ascoli定理, 而且也没有用到积分的概念. 更为有趣的是, 在没有积分概念的情况下, 应用Garder方法可以证明关于连续函数的原函数的存在定理. 众所周知, 在微积分学中, 原函数的存在定理是通过Newton-Leibniz公式给出的, 积分是不可缺少的概念.初值问题解的唯一性Cauchy在1820年首先严格证明了在相当一般的条件下微分方程解的存在唯一性定理, 为微分方程理论的发展奠定了坚实的基础, 1825年他开始对解的延拓等问题进行
15、研究; 1836年用优级数法证明了解析系数微分方程解的存在性; 1896年, E Lindelof用取绝对值的方法得到了最好的优级数. 1876年, 德国数学家Lipschitz R把Cauchy的条件作了适当的减弱, 提出了著名的Lipschitz条件.1838年, Liouville J在研究热传导方程时提出了逐次逼近法; 1890年, Picard C给出了逐次逼近法的普遍形式, 并逐渐形成了微分方程的一般理论, 这一理论无论是对于求解还是研究解的各种性质都是最基本的.在微分方程理论中, 逐次逼近法是比较经典的方法. 最早, Cauchy, Lipschitz, Peano等曾使用这种方
16、法解决 某些特殊类型方程解的存在性问题. E Lindelof在1897年也使用过逐次逼近法解决微分方程解的存在性问题, 并且还在1899年证 明了隐函数定理. 在此之前, A Cauchy和R Lipschitz在对右端函数加上较强的条件得到过同样的结论. 1893年, Picard C把这一方法应用到一般非线性微分方程上来, 因而又称为Picard逐次逼近法, 建立了Cauchy-Pichard解的存在唯一性定理。解的存在唯一性是微分方程理论研究中的最重要的基本问题, 是微分方程理论研究的基础. 从Cauchy起, 对唯一性问题的研究已有非常之多, 条件也是多种多样的. 在历史上, 许多著
17、名数学家对此问题 进行过深入的研究, 得到了许多非常好的结果, 例如:Resenbelett-Nagumo-Perron(1925)定理、Osgood(1898)-Tamarkin-Montel定理、Kamke定理等等. 1993年, Agarwal和Lakshmikantham对解的存在唯一性问题的研究结果作了全面系统的总结, 对各种不同的判据作了详尽的分析比较, 为此问题的进一步研究提供了必要的思路. 从此书可以看出, 所有的判据都是充分性判据, 都有一定的适用范围, 一个自然问题是能否找到解唯一的充分必要条件? 2004年, 在右端函数连续的前提下, 王克和范猛建立了自治纯量常微分方程解唯一的充分必要条件, 彻底地解决了自治纯量常微分方程的解的唯一性问题. 对于其他类型的微分方程, 这仍然是一个公开问题. 直到现在,
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 应急管理信息化工程师岗位面试问题及答案
- 2025届广东省惠州市实验中学高二下化学期末教学质量检测模拟试题含解析
- 广东省深圳实验学校高中部2025届高二化学第二学期期末联考试题含解析
- 忻州一中2025届高一化学第二学期期末检测模拟试题含解析
- 2025届重庆市普通高中化学高一下期末教学质量检测模拟试题含解析
- 2025届安徽省安庆市达标名校高一化学第二学期期末联考试题含解析
- 广西蒙山县一中2025届高一下化学期末达标检测试题含解析
- 冶金设备安全管理办法
- 供电企业信条管理办法
- 桃江人才引进管理办法
- 全国中医药职业教育技能大赛针灸推拿技能大赛方案
- 2024至2030年中国汉白玉石雕数据监测研究报告
- 三年级下册混合计算题100道及答案
- DB12T 998-2020 殡葬服务机构消毒卫生规范
- 广东省广州市五校2023-2024学年高一下学期期末联考化学试卷
- 2024年天津高考数学真题试题(原卷版+含解析)
- 《大数据分析技术》课程标准
- 最简单封阳台安全免责协议书
- 2024年危险化学品经营单位安全管理人员考试练习题(附答案)
- (正式版)JBT 3300-2024 平衡重式叉车 整机试验方法
- 《无人机航迹规划》课程标准(高职)
评论
0/150
提交评论