常微分方程发展简史--适定性理论阶段

1、第二讲常微分方程发展简史 论阶段适定性理高阶方程Euler的信中说，他已经解决了一,他得到了一个四阶线性常微1734年12月Bernoulli Da niel在给当时在圣彼得堡的端固定在墙上而另一端自由的弹性横梁的横向位移问题 分方程41，其中k是常数，x是横梁上距自由端的距离，y是在x点的相对于横梁为弯曲位置的垂直位移.Euler在1735年6月前的回信中说道，他也已经发现了这个方程，对这个方程，除了用级 数外无法积分他确实得到了四个级数解，这些级数代表圆函数和指数函数 ，但在当时Euler 没有了解到这一点1739年9月，Euler在给Bernoulli John的信中指出，上述方程的解可

2、以表示成xx 1xxy=a(cos cosh-)(s insi nh-),kkbkk其中b可由条件y(l) =0来确定弹性问题促使Euler考虑求解常系数一般线性方程的数学问题 1739年9月，Euler在给Bernoulli John的信中首次提到了常系数齐次常微分方程，并说他已取得了成功.在1743年至1750年间，Euler考虑了 $n$阶常系数齐次线性方程y(n) a1y(n 勺亠 亠 any a* = f (x),第一次引入了特解、通解的概念 ，指出通解必包含n个任意常数，而且是由n个特解分别乘 以任意常数后相加而成的，创立了求解$n$阶常系数线性齐次微分方程的完整解法-特征方程法.

3、讨论了特征根是单根、重根、共轭复根和复重根的情形，这样Euler完整解决了常系数线性齐次方程求解问题.1750年至1751年，Euler讨论了 n阶常系数线性非齐次方程，他又提出了一种降低方程 阶的解法.Euler还是微分方程近似解的创始人，他提出了的 欧拉折线法”不仅解决了常微分方程解的存在性的证明，而且也是常微分方程数值计算的最主要的方法之一1750 年，Euler又给出了求解微分方程的级数解法 .1768年至1769年，Euler还将积分因 子法推广到高阶方程，以及利用变换可以将变系数的 Euler方程化为常系数线性方程.在Euler工作的基础上，1763年DAlembert给出了求非齐

4、次线性方程通解的方法，即非齐次方程的通解等于齐次方程的通解加上一个非齐次方程的特解1762年至1765年间，Lagrange J对高阶变系数线性齐次方程的研究也迈出了一步，并引出伴随方程(这个名字是1873年Fuchs Lazarus取的，Lagrange并未给它取名)，同时发 现一个定理：非齐次线性常微分方程的伴随方程的伴随方程，就是原来方程对应的齐次方程.Lagrange把Euler L在1743年至1750年间关于常系数线性齐次微分方程的某些结 果推广到了变系数线性齐次方程 Lagrange发现,齐次方程的通解是由一些独立的特解分别乘以任意常数后相加而成的，而且若已知高阶方程的m个特解就

5、可以将方程降低m阶.1774-1775年，Lagrange提出了“常数变易法”，解出了一般$n$阶变系数非齐次线性常 微分方程这是18世纪微分方程求解的最高成就Newt on I在创建微积分时就给出了求解微分方程的“级数展开法”和“待定系数法”1842年Cauchy A完善了“待定系数法”探索常微分方程的一般积分方法大概到1775年就停止了，此后100年没有出现新的重大的新方法，直到19世纪末才引进了 Laplace变换法和算子法.从总体上看，17世纪的微分方程仍然是微积分的一部分，并未单独形成一个分支学科在18世纪，由解决一些具体物理问题而发展起来的微分方程，已经成为有自己的目标和方法的新的

6、数学分支这段时期，数学家把注意力主要集中在求常微分方程的解上，并且取得了一系列重大进展对解的理解和寻求，在本质上逐渐起了变化.最初，数学家们用初等函 数找解，接着是用一个没有积出的积分来表示解在用初等函数及其积分来寻求解的巨大努力失败之后，数学家们转向用无穷级数求解了但后来人们逐渐发现，很多常微分方程求解是非常困难的，甚至是不可能的2、常微分方程适定性理论：19世纪初期和中期19世纪初期和中期是数学发展史上的一个转变时期。数学分析的基础、群的概念、复 变函数的开创等都在这个时期。常微分方程深受这些新概念和新方法的影响，进入了它发展的第二个阶段。Riccati 方程在微分方 程早期研究 中出 现

7、的一 类重要的非 线性 方程就 是所谓的 Riccati方程 d = p(x)y2 q (x y r X )它最早是由研究声学的威尼斯的Riccati Jacopo Grancesco伯dx爵于1723年至1724年间通过变量代换从一个二阶方程降阶得到的一个一阶方程 Riccati的工作之所以者的重视，不仅由于他处理了二阶微分方程，而且由于他有把二阶方程化到一阶 方程的想法，使降阶法成为处理高阶方程的主要方法之一1686年, Leibniz向数学界推出求解方程yx y (Riccati方程的特例)的通解的这一挑战性问题，且直言自己研究多年而未果如此伟大的数学家，如此简单的方程，激发了许多数学家

8、的研究热情虽然此方程形式简单，但经过几代数学家的努力仍不得其解1725年，Daniel Bernoulli用初等方法求解了一个特殊的Riccati方程，他证明了 Riccati方程，dy ay =bxm(a = 0),当m = 0, -2,( k为正整数)时能化为变量可分离dx2 k -1方程.1760年至1761年,Euler L证明方程y： y?二axn在已知一个特解 y的情况下,通过变换z =1/ y -yi可化为线性方程；DAlembert J最先研究了一般形式的Riccati方程,而且对这类方程采用了“ Riccati方程”这一名称.Abel N研究了 Abel第一类和第二类方程的若

9、干特 殊类型，特别是对于Jacobi方程得到了通解.1841年，法国数学家 Liouville证明了 Riccati方程除了某些特殊情形外 ，对一般的 p,q,r ,不能用初等积分法求其通解 .当然，对于一般的非线性方程将更是如此 ，这与代数 学中，五次和五次以上方程没有根式公式解的结论有相似的理论意义Poincare J曾经将代数方程求根的问题（见代数学）和常微分方程求解问题的历史发展 作过对比，这种对比既直观又富有成果。例如： 1824年，Abel N H证明五次代数方程没有一般的用根式求解的公式，从而结束了一般代数方程求根式通解的企图。类似地，1841年Liouville证明了 Ricc

10、ati方程除了某些特殊情形外，对一般的p,q,r ,不能用初等积分法求其通解，从而结束了一般常微分方程求通解的企图。 1832年,Gailois E创造了群的概念，并将代数方程的根用根式表达的可能性和代数方程的根组成的置换群的可解性相联系，得到可能性的充分必要条件是可解性。类似地，1874年Lie M S将群的概念用于常微分方程，引入了将常微分方程的解变为解的连续变换群 的概念。当连续变换群已知时，常微分方程的积分因子即可显式地写出，从而解决了解 的可积性问题。这些工作从正反两方面将常微分方程的理论提高到一个新的水平。Riccati的工作迫使人们另辟蹊径，考虑不借助于解的表达式而从方程本身的特

11、点去推断其解的性质（周期性、有界性、稳定性等）,以及寻找各种近似求解的方法，从而导致微分方程理论的研究进入了一个多样化的发展时期在物理，力学上所提出的微分方程问题，又大都要求满足某种附加条件的特解，即所谓定解问题的解这样，人们开始改变了原来的想法，不去求通解，而从事定解问题的研究研究热潮逐渐由求方程的通解转向常微分方程定解问题的适定性.18世纪以后不断出现的特殊的微分方程的求解问题，也迫使数学家转向对解的存在性问题的思考常微分方程理论研究中的一个基本问题是微分方程是否有解存在？如果有解存在，其解是否唯一 ？这个问题的解决不仅可以使数学家避免对一些根本无解的方程作无谓的探索，而且直接影响并导致微

12、分方程的基本理论这些基本理论包括：解的存在及唯一性、延展性、解的整体存在性、解对初值和参数的连续依赖性和可微性等初值问题解的存在性19世纪初期，Cauchy A等人建立了数学分析 （又称分析学）的基础。无限、极限、连续、 可微等等概念得到了精确的意义。Cauchy也是复变函数论的奠基人之一.Cauchy的一个考虑了微分方程的解的存在性问题，在相当一般条件下解的存在唯一性定理，为ODEs的研究奠定了坚实的基础，后来又有许多数学家做了大量工作，逐渐形成了常微分方程的基本理论.1768年，L. Euler最早考虑了一般常微分方程的解的存在性问题，并提出用简单的折线来近似地描绘所要寻求的积分曲线-后人

13、称这种方法为 Euler折线法（差分法）,它标志了微分方程近似计算方法的开端 . 1890 年, Peano G 在方程右端函数连续的假设下解是否存在的问 题进行了研究 1892年G. Pea no(1889年给出用集合定义自然数的Pea no公理；1890年第一次构造出充满正方形的连续曲线的例子 , 即 Peano 曲线 ) 第一次对此问题给与了正面的回答 , 证明了著名的 Peano 存在性定理 . 这一结果通常被称为 Cauchy-Peano 定理 . 1915 年, Perron 在更一般条件下研究了解的存在性 .Cauchy-Peano 存在性定理证明方法很多 , 例如 : Eule

14、r 折线法 , Cauchy 的优级数法 , Schauder 不动点定理方法等 . 在数学史上 , 用拓扑学方法证明 Caucy-Peano 存在性定理是 1922 年 G. Birkhoff 和 O. Kellogg 第一个给出的.1976 年，Gardner 给出了 Cauchy-Peano 存在 性定理的一个新的初等证明 , 它没有用到 Arzela-Ascoli 定理, 而且也没有用到积分的概念 . 更为有趣的是，在没有积分概念的情况下，应用Garder方法可以证明关于连续函数的原函数 的存在定理 . 众所周知 ， 在微积分学中 ， 原函数的存在定理是通过 Newton-Leibni

15、z 公式给出 的， 积分是不可缺少的概念 .初值问题解的唯一性Cauchy 在 1820 年首先严格证明了在相当一般的条件下微分方程解的存在唯一性定理，为微分方程理论的发展奠定了坚实的基础 ， 1825 年他开始对解的延拓等问题进行研究 ； 1836 年用优级数法证明了解析系数微分方程解的存在性 ； 1896年， E Lindelof 用取绝对值的方法 得到了最好的优级数.1876年，德国数学家Lipschitz R把Cauchy的条件作了适当的减弱，提 出了著名的 Lipschitz 条件 .1838年，Liouville J在研究热传导方程时提出了逐次逼近法；1890年，Picard C给

16、出了逐次逼近法的普遍形式 ， 并逐渐形成了微分方程的一般理论 ， 这一理论无论是对于求解还是研 究解的各种性质都是最基本的 .在微分方程理论中 ， 逐次逼近法是比较经典的方法 . 最早 ， Cauchy， Lipschitz， Peano 等曾 使用这种方法解决 某些特殊类型方程解的存在性问题 . E Lindelof 在 1897年也使用过逐次 逼近法解决微分方程解的存在性问题 ， 并且还在 1899年证 明了隐函数定理 . 在此之前 ， A Cauchy和R Lipschitz在对右端函数加上较强的条件得到过同样的结论.1893年，Picard C把这一方法应用到一般非线性微分方程上来，

17、因而又称为 Picard 逐次逼近法 ， 建立了Cauchy-Pichard 解的存在唯一性定理。解的存在唯一性是微分方程理论研究中的最重要的基本问题， 是微分方程理论研究的基础 . 从 Cauchy 起， 对唯一性问题的研究已有非常之多 ， 条件也是多种多样的 . 在历史上 ， 许多著名数学家对此问题 进行过深入的研究， 得到了许多非常好的结果 ， 例如：Resenbelett-Nagumo-Perron(1925)定理、Osgood(1898)-Tamarkin-Montel 定理、Kamke 定理等 等. 1993 年， Agarwal 和 Lakshmikantham 对解的存在唯一性问题的研究结果作了全面系统的 总结 ， 对各种不同的判据作了详尽的分析比较 ， 为此问题的进一步研究提供了必要的思路 . 从此书可以看出 ， 所有的判据都是充分性判据 ， 都有一定的适用范围 ， 一个自然问题是能否 找到解唯一的充分必要条件 ? 2004 年， 在右端函数连续的前提下 ， 王克和范猛建立了自治纯 量常微分方程解唯一的充分必要条件 ， 彻底地解决了自治纯量常微分方程的解的唯一性问 题. 对于其他类型的微分方程 ， 这仍然是一个公开问题 . 直到现在 ， 解