十九世纪的常微分方程(六)

Hill在线性周期方程周期解方面的工作

当自守函数理论正处于创立阶段时,n体问题引起了大家对一个二阶常微分方程的兴趣,它比Mathieu方程更普遍。因为n体问题不能明显解出,只能用复杂的级数解,于是数学家转而挑选周期解。

周期解的重要性来自行星或卫星轨道的稳定性问题,假如一个行星略微离开了轨道,并给它一个小的速度,那么行星过了一段时间是会回到轨道呢还是会离开轨道?如果回到轨道说明轨道是稳定的,如果脱离轨道则轨道是不稳定的,这样行星的原始运行或运行的不规则性是否周期就成了重要问题。

前面说到拉格朗日在三体问题中已找到特殊周期解,后来美国首位大数学家George William Hill(1838-1914)研究月球理论时发现了三体问题新的周期解,1877年Hill自掏腰包出版了一篇关于月球在近地点运动的重要论文,后来又在期刊上发表了一篇关于月球运动的重要论文。他的工作创立了周期系数的齐次线性微分方程的数学理论。

Hill在1877年论文中的第一个基本思想是,对月球运动的诸微分方程确定一个近似于实际观察到的运动的周期解,于是他对这个周期解变差写出方程,得到一个带周期系数的四阶线性微分方程组,知道了某些积分后,他把这个四阶方程组化简为一个二阶线性微分方程\frac{d^2 x}{dt^2}+\theta(t)x=0

θ(t)是以π为周期的偶函数,把θ(t)展开为傅里叶级数,Hill方程可改写为:

Hill令\zeta=e^{it},q_{-a}=q_a,再把上式写为\frac{d^2 x}{dt^2}+x\sum_{-\infty}^{\infty} q_a\zeta^{2a}=0,令x=\sum_{f=-\infty}^{\infty}b_j\zeta^{\mu+2j},其中μ和bj待定,再代入上式,并令ζ的每个幂的系数为0,得到二重无穷线性方程组

其中[j]=(\mu+2j)^2-q_0

Hill令未知量bj的系数行列式等于0,他首先确定μ的无穷多个解的性质并给出确定μ的明显公式,然后利用μ值对无穷多个bj的无穷线性齐次方程组解出bj与b0的比值。他证明二阶微分方程有周期解,从而证明月球近地点的运动是周期性的。

不过他的工作遭到了嘲笑,之后庞加莱注意到了Hill的工作,证明了该方法的收敛性,使无穷行列式和无穷线性方程组的理论有了根据,完善了Hill的工作,并使Hill和他的课题有了名气。

©著作权归作者所有,转载或内容合作请联系作者
【社区内容提示】社区部分内容疑似由AI辅助生成,浏览时请结合常识与多方信息审慎甄别。
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

相关阅读更多精彩内容

友情链接更多精彩内容