重新认识三体问题-科学网.DOC

PAGE PAGE 3 重新认识三体问题 1、 三体问题的由来 1900年数学家希尔伯特提出了23个困难的数学问题，这些数学问题在二十世纪的数学发展中起了非常重要的作用.在同一演讲中，希尔伯特也提出了他所认为的完美的数学问题的准则：问题既能被简明清楚的表达出来，然而问题的解决又是如此的困难以至于必须要有全新的思想方法才能够实现.为了说明他的观点，希尔伯特举了两个最典型的例子：第一个是费尔马猜想，即代数方程 xn+yn=zn 在n大于2时是没有整数解的；第二个就是我们这篇文章所要介绍的N体问题的特例三体问题.值得一提的是，尽管这两个问题在当时还没有被解决，希尔伯特并没有把他们列进他的问题清单.但是在整整一百年后回顾，这两个问题对于二十世纪数学的整体发展所起的作用恐怕要比希尔伯特提出的23个问题中任何一个都大. 希尔伯特指出，费尔马猜想的产生来源于纯粹的数学思维，而N体问题则来源于天体力学，对它的认识也有助于人类对自然界最简单的基本现象的理解.N体问题可以用一句话写出来：在三维空间中给定N个质点，如果在它们之间只有万有引力的作用，那么在给定它们的初始位置和速度的条件下，它们会怎样在空间中运动.最简单的例子就是太阳系中太阳，地球和月球的运动.在浩瀚的宇宙中，星球的大小可以忽略不及，所以我们可以把它们看成质点.如果不计太阳系其他星球的影响，那么它们的运动就只是在引力的作用下产生的，所以我们就可以把它们的运动看成一个三体问题.我们知道地球和月球都在进行一种周期性运动，这样我们才有了年，月和日的概念.所以大家不难想象周期运动可能是三体问题的一种解.然而对N体问题的全面认识就不是那么简单了，数学家几百年以来的研究证明各种千奇百怪的运动都有可能在N体问题中出现. 事实上，根据Newton万有引力定律和Newton第二定律，我们可以得到: m1(d2 q1i/dt2)= k m1 m2 /(q2i - q1i)(r312) + km1 m3 /(q3i - q1i)(r313)，m2(d2 q2i/dt2)= k m2 m1 /(q1i - q2i)(r321) + km2 m3 /(q3i - q2i)(r323)，m3(d2 q3i/dt2)= k m3 m1 /(q1i - q3i)(r331) + km3 m2 /(q2i - q3i)(r332)，( i =1,2,3 )，其中m i 是质点的质量，k 是万有引力常数，r ij 是 两个质点 m i 和 m j 之间的距离，而 q i1 , q i2 , q 2、 三体问题的研究进展简要回顾 至于三体问题或者更一般的N体问题(N大于二)，在被提出以后的二百年里，被十八和十九世纪几乎所有著名的数学家都尝试过，但是问题的进展是微乎其微的.尽管在失败的尝试中微分方程的理论被不断地发展成为一门更成熟的数学分支，但是对于这些发展的源头N体问题，人们还是知道的太少了. 庞加莱的论文“关于三体问题的动态方程”最后在1890年在Acta Mathematica上发表，论文长达270页，占了整整半卷杂志.(关于论文发表的一段故事下面还要提到). 这篇重要论文使原来就已有不小名气的年轻庞加莱更加誉满整个欧洲数学界，也使他得到了新的热情和动力继续进行他在这篇论文中开始的工作.从1892年到1899年，庞加莱陆续出版了他的三大卷宏伟巨著“天体力学的新方法”.他的获奖论文和这三卷书可以说奠定了现代天体力学，动力系统，微分方程定性理论，甚至混沌理论的基础，尽管大多数他的思想直到几十年后才被广大的数学工作者所领悟进而发展成现代的数学理论. 第一，庞加莱证明了对于N体问题在N大于二时，不存在统一的第一积分.也就是说即使是一般的三体问题，也不可能通过发现各种不变量最终降低问题的自由度，把问题化简成更简单可以解出来的问题，这打破了当时很多人希望找到三体问题一般的显式解的幻想. 第二，为了研究N体问题，庞加莱发明了许多全新的数学工具.例如他完整地提出了不变积分的概念，并且使用它证明了著名的回归定理.另一个例子是他为了研究周期解的行为，引进了第一回归映象的概念，在后来的动力系统理论中被称为庞加莱映象.还有象特征指数，解对参数的连续依赖性等等.所有这些都成为了现代微分方程和动力系统理论中的基本概念. 第三点，也许是最重要的一点，是庞加莱通过研究所谓的渐进解，同宿轨道和异宿轨道，发现即使在简单的三体问题中，在这样的同宿轨道或者异宿轨道附近，方程的解的状况会非常复杂，以至于对于给定的初始条件，几乎是没有办法预测当时间趋于无穷时，这个轨道的最终命运.事实上半个世纪后，后来的数学家们发现这种现象在一般动力系统中是常见的，他们把它叫做稳定流形和不稳定流形正态相交所引起的同宿交错网，