1. 引言
常微分方程作为一元微积分学的直接应用,无论在实际中还是高等数学课程讲授当中,都是非常重要的。而一般的工科院校关于常微分方程都是作为高等数学课程当中的一个章节来讲授[1],因此受制于课时的限制,一般工科院校的常微分方程通常会比较详尽的介绍一阶常微分方程的分离变量法和一阶线性常微分方程的理论,对于高阶常微分方程,通常会介绍高阶线性微分方程解的结构,对于如何求解高阶常微分方程几乎都只限定于介绍二阶常系数线性微分方程的求解,并且很少有时间例举一些常微分方程实际的应用,无法让学生感受到微积分作为人类历史上的一项伟大发现的重要意义。我们用kepler发现的三大行星运动定律来介绍常微分方程作为微积分的直接应用,在处理实际问题中的强大威力。
2. kepler三大定律的诞生
kepler三大定律是德国天文学家、数学家和物理学家kepler发现的关于行星运动的三条定律。kepler是十七世纪科学革命的关键人物,被誉为“近代天文学之父”。他于1609年在他出版的《新天文学》中首次提出了kepler第一定律和kepler第二定律,10年后,于1619年在他出版的《宇宙的和谐》中提出了kepler第三定律。历史上,newton正是基于kepler的三大定律才推导出万有引力定律。
kepler第一定律也被称为椭圆定律或者轨道定律:每一个行星都沿各自的椭圆轨道环绕太阳,而太阳则处在椭圆的一个焦点中。
第二定律,也称面积定律:在相等时间内,太阳和运动中的行星的连线(向量半径)所扫过的面积都是相等的。这一定律实际揭示了行星绕太阳公转的角动量守恒。
第三定律,也称调和定律;也称周期定律:各个行星绕太阳公转周期的平方和它们的椭圆轨道的半长轴的立方成正比。
3. kepler三大定律的推导
首先,我们来看所谓的二体问题。二体问题是指两个天体在万有引力的作用下的运动。假设有两个天体(例如太阳和地球),其质量分别为
和
,位置分别为
和
。天体1对天体2的万有引力为。根据newton第二定律[2],有运动方程:
定义质心坐标
,两个天体相对质心的坐标
,
,则
。方程变为:
于是质心做匀速直线运动,而对天体2,它受到的引力相当于在质心位置有一个质量为
的质点产生的引力。所以,对于二体问题,总可以归结为一个天体在另一个静止的天体产生的引力场中的运动。
对于我们考虑的太阳和行星,两者的质量相差很大,他们的质心同太阳中心很近,而
所以可以近似地假设太阳不动,行星绕太阳公转。于是,我们假设太阳静止不动,质量为m,行星的质量为m,我们来探求行星的轨道。
首先,行星相对太阳的位置向量
满足
假设行星的初始位置和初始速度分别为这里
。记
则
由解的唯一性定理,得
。所以行星得运动必在过太阳并且法向量为
的平面上,记该平面为x-y平面。
于是,运动方程就变为:
由此,可得
即
因此,得到能量守恒和角动量守恒
其中,能量e和角动量j均为常值。利用直角坐标与极坐标之间的关系,
上式可以写为:
将上式中的后一等式代入前一等式并化简得
再令
,则
要使上式成立,必须
。于是,令
则,
因此,
其中c为常数。于是,
再将
的表达式代入,就得到行星的轨道方程,
(1)
显然,这是一条二次曲线,其离心率为
由于行星的总机械能
,所以轨道是个椭圆。注意到给定位置和速度时,e和j均匀m成正比,因此从轨道方程(1)可以看出,行星的轨道与其质量没有关系。
接下来我们就来看由轨道方程(1)可以得出kepler三大定律。首先,轨道方程(1)直接得出kepler第一定律:行星绕太阳运动的轨道是椭圆,太阳在其中的一个焦点上。
然后,由角动量守恒,
是常数,在dt时间内行星与太阳的连线在轨道内扫过的面积为
,因此得到kepler第二定律:单位时间内行星与太阳的连线在轨道内部扫过的面积为常数
。
最后,来看kepler第三定律。由
得到周期为
在这里
积分的计算需要一定的技巧。当然用万能代换求也可以,但是计算量非常大。我们利用幂函数的taylor级数来计算
由于离心率
,由weierstrass判别法[3],被积函数中的级数关于
是一致收敛的,从而可以逐项积分。再由
及
其中
表示gamma函数,得
利用
[2],上式为
另一方面,椭圆轨道的半长轴为
所以,
其仅与太阳的质量有关。这就是kepler第三定律:行星运动的周期平方与其轨道的半长轴的立方之比为常数。
4. 结语
微分方程理论是微积分这门学科能够成为现代自然科学强有力的工具的一个非常重要的应用场所。自然界的绝大多数现象都是非线性的,但是所有的非线性的分析都以线性微分方程理论作为基础,因此,在初学的过程当中,会着重介绍线性微分方程的理论及其解法,这为以后的非线性分析打好基础,而我们希望通过上述的实例能够激起学生对于大学数学的学习兴趣。