常微分方程发展简史解析理论与定性理论阶段3常微分.doc

第三讲 常微分方程发展简史——解析理论与定性理论阶段 其中参数和都可以是复的. 对Bessel来说, 和都是实的. 此方程的特殊情形早在1703年Bernoulli Jacobi给Leibnitz的信中就已提到, 后来Bernoulli Daniel、Euler、Fourier、Poisson等都讨论过此问题. 对此方程的解的最早的系统研究是由Bessel在研究行星运动时作出的. 对每个, 此方程存在两个独立的基本解, 记作和, 分别称为第一类Bessel函数和第二类Bessel函数, 它们都是特殊函数或广义函数（初等函数之外的函数）. Bessel自1816年开始研究此方程, 首先给出了积分关系式 1818年Bessel证明了有无穷多个零点. 1824年, Bessel对整数给出了递推关系式 和其他的关于第一类Bessel函数的关系式. 后来又有众多的数学家（研究天体力学的数学家）独立地得到了Bessel函数及其表达式和关系式. Bessel为微分方程解析理论作出了巨大贡献。 解析理论中另一重要内容是Legendre方程的级数解和Legendre多项式方面的结果. 1784年, Legendre研究了Legendre方程, 给出了幂级数形式的解, 得到了Legendre多项式. 与此同时, Hermite C研究了方程, 得到了其幂级数解,当为非负偶数时即为著名的Hermite多项式. Tchebyshevy在研究方程的解时, 得到了Tchebyshevy多项式. 1821年, Gauss研究了Gauss几何方程 . 这个方程及其级数解 早已为人们所熟知了，因为它已由Euler研究过. 此级数称为超几何级数, 包含了几乎所有的当时已知的初等函数和许多像Bessel函数、球函数那样的超越函数. 除了证明此级数的一些性质外，Gauss还建立了著名的关系式 . Gauss还建立了此级数的收敛性。记号应归源于Gauss. 这一时期关于常微分方程级数解和特殊函数方面的工作还有很多, 这里不一一介绍. 奇点理论、自守函数 19世纪中期，常微分方程的研究走上了一个新的历程。存在性定理和Sturm-Liouville理论都预先假设在考虑解的区域内，微分方程包含解析函数或至少包含连续函数。另一方面，某些已经考虑过的微分方程，如Bessel方程、Legendre方程、Gauss超几何方程，如果表示成具有变系数的线性齐次$n$解常微分方程且最高阶导数项系数为1时，它们的系数具有奇异性，在奇异点的邻域内级数解的形式是特别的，所以数学家们便转而研究奇点邻域内的解， 也就是一个或多个系数在其上奇异的那种点的邻域内的解。对于这个问题，Gauss关于超几何级数的工作指明了道路。先导者是Riemann和Fuchs（Weierstrass的学生和他在柏林的继承者）。此理论被称为线性常微分方程的Riemann-Fuchs L奇点理论，这是19世纪常微分方程解析理论中一个非常重要的成果。奇点邻域内的解的研究是由Briot(1866年)和Bounque(1856年)起始的，他们的关于一阶线性方程的结果很快就得到了推广，在这个新领域中，人们的注意力集中于形为 的线性常微分方程，其中除在孤立奇点外是复变数$z$的单值解析函数。此方程之所以受到重视，是因为它的解包括所有初等函数甚至某些高等函数。 这方面的重要工作还有Briot A A和Bouquet J的由常微分方程出发建立的椭圆函数（特殊的自守函数）的一般理论、Fuchs和Poincare 的关于一阶非线性微分方程的理论, 最后是1882年至1884年Poincare J的工作和Klein F在1884年的工作由于自守函数理论而使微分方程解析理论臻于顶峰. 这样, 微分方程和自守函数建立了密切的联系. 当自守函数理论还正处在创立的阶段时，天文学方面的工作激起了对一个二阶常微分方程的兴趣。此方程源于著名的体问题。体问题可以用一句话写出来：在三维空间中给定个质点，如果在它们之间只有万有引力的作用，那么在给定它们的初始位置和速度的条件下，它们会怎样在空间中运动。最简单的例子就是太阳系中太阳，地球和月球的运动。在浩瀚的宇宙中，星球的大小可以忽略不及，所以我们可以把它们看成质点。如果不计太阳系其他星球的影响，那么它们的运动就只是在引力的作用下产生的，所以我们就可以把它们的运动看成一个三体问题。我们知道地球和月球都在进行一种周期性运动，这样我们才有了年，月和日的概念。所以大家不难想象周期运动可能是三体问题的一种解。 1877年Hill George William（美国数学家）私人出版了关于月球近地点运动的一篇具有卓越创见性的论文。1878年，他在AJM上又发表了一篇关于月球运动的论文