开普勒方程
![本页使用了标题或全文手工转换](http://images.weserv.nl/?url=//upload.wikimedia.org/wikipedia/commons/thumb/c/cd/Zh_conversion_icon_m.svg/35px-Zh_conversion_icon_m.svg.png)
开普勒方程(英语:Kepler's equation)把轨道力学中受到有心力影响的轨道中天体多种几何性质联系起来。
这条方程最早由约翰内斯·开普勒得出,推导过程见于他在1609年出版的著作《新天文学》的第60章[1][2],而他在著作《哥白尼天文学概要》(1621年出版)的第五卷中还提出了此方程的一个迭代解[3][4]。这条方程在物理学史和数学史上都扮演着重要的角色,特别是在经典天体力学史上。
方程
开普勒方程如下:
偏近点角E对于计算开普勒轨道上移动点的位置相当有用。比方说,天体在坐标x = a(1 − e)、y = 0和时间t = t0时经过近星点,那么要找出天体在任意时间的位置的话,首先可由时间和平均运动n用方程M = n(t − t0)计算出平近点角M,然后解上述的开普勒方程得E,便能由下列方程求坐标:
由于正弦是超越函数,所以开普勒方程是超越方程,即是说不能用代数方法解出E。一般求E需要用到数值分析和级数。
其他形式
开普勒方程共有几种形式。每一种形式都同一种特定轨道类型有关。标准的开普勒方程用于椭圆轨道(0 ≤e<1)。双曲开普勒方程用于双曲轨迹(e≫1)。径向开普勒方程用于线性(径向)轨迹 (e=1)。抛物线轨迹(e=1)则用巴克方程。
当e = 0时,轨道是圆形的。增加e会导致圆形变成椭圆。当e = 1时共有三种可能性:
- 抛物线轨迹;
- 沿着从吸引中心起始无限长射线向内或向外的轨迹;
- 或沿着由吸引中心和距其一定距离的点所形成的线段来回移动的轨迹。
把e从1轻微增加会形成转角刚好低于180度的双曲轨道。继续增加数值会导致转角变小,而当e趋向无限时,轨道则变成长度无限的直线。
双曲开普勒方程
双曲开普勒方程如下:
其中H为双曲偏近点角。 这条方程是通过把M重新定义为−1的平方根乘上椭圆方程的右边而得:
(其中E现为虚数),然后以iH取代E。
径向开普勒方程
径向开普勒方程如下:
其中t与时间成正比,而x则与射线上与吸引中心的距离成正比。下式是通过把开普勒方程成1/2并把e定为1而成:
- 。
代入得
- 。
逆问题
可以利用已知的E值直接求出M。但用已知M值来求E却要复杂得多。因为不存在解析解。
可以使用拉格朗日反算法写出开普勒方程解的级数表达式,但所有e和M的组合都不能使级数收敛(见下文)。
文献中对开普勒方程可解性的混淆已存在了四个世纪[5]开普勒本人曾对找得到通解的可能性表示怀疑。
“ | 对于它[开普勒方程]不能用演绎法求解这点我是足够满意的,因为弧和正弦之间有着本质上的差异。但若果我错了的话,任何人都应该给我指出来,而那个人在我眼中就是伟大的阿波罗尼奥斯。 | ” |
——约翰内斯·开普勒[6] |
逆开普勒方程
逆开普勒方程是所有实数值的开普勒方程解:
展开得:
以上的级数可用Wolfram Mathematica的InverseSeries运算得出。
InverseSeries[Series[M - Sin[M], {M, 0, 10}]]
InverseSeries[Series[M - e Sin[M], {M, 0, 10}]]
这些函数只是简单的麦克劳林级数。这样的超越函数泰勒级数写法可被视为那些函数的定义。因此,这个解是逆开普勒方程的正式定义。然而,在e非零的时候,E并不是M的整函数。其导数
在e<1时于无限复数集合中趋向零。在有解,而在这些值时
(其中逆cosh取正值),而dE/dM在这些点则趋向无限。这意味着此麦克劳林级数的收敛半径为,并且当M比这大时级数不会收敛。此级数还可用于双曲情况,此时其收敛半径为。当e=1时此级数只在M<2π时收敛。
还可以写出用e幂表示的麦克劳林级数。这级数在e大于拉普拉斯极限(约为0.66)时不会收敛,与M值无关(除非M为2π的倍数),但若e小于拉普拉斯极限时则级数在任何M值时都会收敛。级数的系数除了第一个之外(只是M而已),都与M成周期式关系,周期为2π。
逆径向开普勒方程
逆径向开普勒方程(e = 1)可被写成:
展开得:
上述结果可用Wolfram Mathematica求得:
InverseSeries[Series[ArcSin[Sqrt[t]] - Sqrt[(1 - t) t], {t, 0, 15}]]
逆问题的数值近似
逆问题在大部分的应用中都能以数值方法求得函数的根:
可以经牛顿法来进行迭代:
注意在这个计算E和M的单位是弧度角。重复迭代直到已经达到想要的准确度(例如,当f(E) < 所需的准确度)。对大部分的椭圆轨道而言,起始值取E0 = M(t) 已经足够。而对e > 0.8的轨道而言,则应取起始值{{{1}}}。相近的手法还可以用于开普勒方程的双曲形式[7]:66-67。而在面对抛物线轨迹的个案时则使用巴克方程。
定点迭代
另一种有关的解法由考虑开始。重复地将E的值代入右方式子就能得到简单的求的定点迭代算法。此方法与开普勒1621年的解相同[4]。
function E(e,M,n)
E = M
for k = 1 to n
E = M + e*sin E
next k
return E
迭代次数取决于的数值。双曲形式则用相近的。
这个方法与上文牛顿法解的关系如下:
若及的数值小的话,取一次项得近似:
- 。
另见
参考资料
- ^ Kepler, Johannes. LX. Methodus, ex hac Physica, hoc est genuina & verissima hypothesi, extruendi utramque partem æquationis, & distantias genuinas: quorum utrumque simul per vicariam fieri hactenus non potuit. argumentum falsæ hypotheseos. Astronomia nova. 1609: 299–300 [2018-09-06]. (原始内容存档于2019-06-11) (拉丁语).
- ^ Aaboe, Asger. Episodes from the Early History of Astronomy. Springer. 2001: 146–147. ISBN 978-0-387-95136-2.
- ^ Kepler, Johannes. Libri V. Pars altera.. Epitome astronomiæ Copernicanæ usitatâ formâ Quæstionum & Responsionum conscripta, inq; VII. Libros digesta, quorum tres hi priores sunt de Doctrina Sphæricâ. 1621: 695–696 [2018-09-06]. (原始内容存档于2019-06-19) (拉丁语).
- ^ 4.0 4.1 Swerdlow, N. M. Kepler's Iterative Solution to Kepler's Equation. Journal for the History of Astronomy. 2000, 31: 339–341 [2018-09-06]. Bibcode:2000JHA....31..339S. doi:10.1177/002182860003100404. (原始内容存档于2019-07-12).
- ^ 开普勒方程常被声称“没有解释解”;例子见这里 (页面存档备份,存于互联网档案馆)。至于这是否真确取决于是否认为无限级数(或不一定收敛的级数)算解释解。也有其他作者无理地声称此方程无解;例子见M. V. K. Chari, Sheppard Joel Salon 2000 Technology & Engineering.
- ^ "Mihi ſufficit credere, ſolvi a priori non poſſe, propter arcus & ſinus ετερογενειαν. Erranti mihi, quicumque viam monſtraverit, is erit mihi magnus Apollonius." (页面存档备份,存于互联网档案馆) Hall, Asaph. Kepler's Problem. Annals of Mathematics. May 1883, 10 (3): 65–66. doi:10.2307/2635832.
- ^ Pfleger, Oliver Montenbruck, Thomas. Astronomy on the Personal Computer Third edition. Berlin, Heidelberg: Springer Berlin Heidelberg. 1998. ISBN 978-3-662-03349-4.
外部链接
- Danby, J. M.; Burkardt, T. M. The solution of Kepler's equation. I. Cel. Mech. 1983, 31: 95–107. Bibcode:1983CeMec..31...95D. doi:10.1007/BF01686811.
- Conway, B. A. An improved algorithm due to Laguere for the solution of Kepler's equation. 1986. doi:10.2514/6.1986-84.
- Mikkola, Seppo. A cubic approximation for Kepler's equation. Cel. Mech. 1987, 40 (3). Bibcode:1987CeMec..40..329M. doi:10.1007/BF01235850.
- Fukushima, Toshio. A method solving kepler's equation without transcendental function evaluations. Cel. Mech. Dyn. Astron. 1996, 66 (3): 309–319. Bibcode:1996CeMDA..66..309F. doi:10.1007/BF00049384.
- Charles, E. D.; Tatum, J. B. The convergence of Newton-Raphson iteration with Kepler's equation. Cel. Mech. Dyn. Astr. 1997, 69 (4): 357–372. Bibcode:1997CeMDA..69..357C. doi:10.1023/A:1008200607490.
- Stumpf, Laura. Chaotic behaviour in the newton iterative function associated with kepler's equation. Cel. Mech. Dyn. Astr. 1999, 74 (2): 95–109. doi:10.1023/A:1008339416143.
- Palacios, M. Kepler equation and accelerated Newton method. J. Comp. Appl. Math. 2002, 138: 335–346. Bibcode:2002JCoAM.138..335P. doi:10.1016/S0377-0427(01)00369-7.
- Boyd, John P. Rootfinding for a transcendental equation without a first guess: Polynomialization of Kepler's equation through Chebyshev polynomial equation of the sine. Appl. Num. Math. 2007, 57 (1): 12–18. doi:10.1016/j.apnum.2005.11.010.
|