查看“︁广义相对论中的开普勒问题”︁的源代码

{{Refimprove|time=2016-11-10T17:58:40+00:00}}
{{noteTA
|G1 = 物理學
|1=zh-hans:引力势能;zh-hant:重力勢能
|2=zh-hans:偏心率;zh-hant:離心率
}}
'''广义相对论中的开普勒问题'''，是指在[[广义相对论]]的框架下求解存在[[引力相互作用]]的[[二体问题|两体动力学问题]]。在典型情况下以及本文中，其中一个物体的[[质量]]<math>m</math>和另一个物体的质量<math>M</math>相比可忽略，这种近似对应着实际情形中[[地球]]绕[[太阳]]公转，以及一个[[光子]]在一颗[[恒星]]的[[引力场]]中的运动等问题。在这些情形下，可以认为大质量<math>M</math>的位置在空间中是固定的，并且只有大质量的引力场对周围时空曲率变化有贡献。这时的时空曲率可由[[爱因斯坦场方程]]的[[史瓦西解]]来描述；而小质量<math>m</math>（以下简称“粒子”）的运动可由史瓦西解的[[测地线方程]]来描述。由于假设小质量<math>m</math>是点状的无尺寸粒子，两者之间的[[潮汐力]]可忽略。

从测地线方程可以推出广义相对论的关键性[[廣義相對論的實驗驗證|实验证据]]，著名的[[水星]][[近日点]]的[[进动]]，以及光线在太阳引力场中的偏折。对于前者，广义相对论为观测到的这一现象提供了漂亮的解释，而后者则是广义相对论的-{著}-名预言，其正确性被[[亚瑟·爱丁顿]]爵士的实验观测所证实。

广义相对论的两体问题中还涉及了引力辐射造成的轨道衰减，这是一个纯粹的相对论效应，没有对应的经典力学版本。这个问题并不包含在史瓦西解中，请参见[[引力波|引力辐射]]和[[引力波天文学]]。

== 历史背景-爱因斯坦的直觉 ==
{{See also|广义相对论的实验验证}}

[[File:Precessing Kepler orbit 280frames e0.6 smaller.gif|thumb|right|345px|没有其他外力存在时，一个粒子在牛顿[[有心力]]的作用下绕着另一个粒子公转的轨道永远是一个不变的椭圆稳定轨道。当有其他外力存在（例如来自其他行星的引力）时，这样的轨道会逐渐发生转动，这种转动（被称作轨道进动）的速率可以被测量得非常精确。如果知道了这些外力的大小和方向，通过牛顿力学也可以对这种轨道进动的速率进行理论预测。不过在1859年对水星轨道进动的观测中，牛顿力学没有给出和实验观察相一致的预言。]]

1859年，法国天文学家[[于尔班·勒威耶]]发现水星的实际轨道进动与预期的并不十分相符：即使考虑到太阳系中其他[[行星]]的影响，实际的进动速度还是要比[[牛顿]]的经典理论稍微快一点。<ref>{{cite journal en| last = Le Verrier | first = UJJ | authorlink = 于尔班·勒威耶 | year = 1859 | title = Unknown title | journal = Comptes Revues d'Academie de la Science de Paris | volume = 49 | pages = 379–?}}</ref>这个误差相当小，大约为每世纪43弧度秒，但这还是要比测量引起的误差每世纪0.1弧度秒大很多。勒威耶立刻意识到他这一发现的重要性，并向更多的物理学家和天文学家寻求解释。在当时提出的一些经典解释包括，行星际尘埃、太阳本身未被观测到的椭球性、水星未被观测到的卫星，甚至假想的水内行星“[[祝融星]]”等。<ref name="pais_1982" >{{cite book | last = Pais | first = A.| year = 1982 | title = Subtle is the Lord: The Science and the Life of Albert Einstein | publisher = Oxford University Press | id = ISBN 0-19-520438-7 }}  </ref>{{rp|253-256}}在这些解释被一一否决后，有些物理学家提出了更激进的猜想，认为牛顿的[[万有引力定律|引力平方反比律]]并不严格成立。例如某些人提出定律中的指数并不严格为2，而某些人如[[亨德里克·洛伦兹]]提出牛顿的万有引力定律应增加与速度有关的引力势修正项。<ref name="pais_1982" />{{rp|254}}

1905年，爱因斯坦提出了[[狭义相对论]]，这一理论否决了任何超过光速传播的效应的可能性；不过同时，这也暗示了相对论的基本假设和牛顿天体力学的矛盾。[[拉普拉斯]]早先在其研究中证明，如果引力相互作用不是超距的（即传播是瞬时的），行星的运动将不再严格满足[[动量守恒定律]]（类似于[[电磁相互作用]]中一部分[[动量]]要传递给电磁相互作用的[[媒介子]]，引力相互作用中也需要携带动量的媒介子）。从牛顿力学的观点来看，如果引力相互作用只能以有限速度传播，那么在任意时刻，行星受到的来自太阳的引力将不会指向太阳所在的即时位置，而是在若干时间之前的位置。在经典力学的基础上，拉普拉斯推导出当引力以光速传播时太阳系是不稳定的，并只能维持并不太长时间的存在。而对太阳系的实际观测表明，如果引力的传播速度确实存在一个上限，根据经典力学这个上限将比光速高出好几个数量级。<ref name="KopeikinEfroimsky2011">{{cite book|author1=Sergei Kopeikin|author2=Michael Efroimsky|author3=George Kaplan|title=Relativistic Celestial Mechanics of the Solar System|date=25 October 2011|publisher=John Wiley & Sons|isbn=978-3-527-63457-6}}</ref>{{rp|177}}

这种矛盾引出了建立一个替代牛顿引力理论的新理论的需求，这个新理论需要满足狭义相对论的基本假设，并且在相对论效应可忽略时能够和牛顿的引力理论相容。1907年爱因斯坦确认了建立一个狭义相对论的后继理论的必要性，这个理论能够同时包含狭义相对论的基本假设和万有引力相互作用。<ref>{{Citation|author= Einstein, A. | title= Relativitätsprinzip und die aus demselben gezogenen Folgerungen (On the Relativity Principle and the Conclusions Drawn from It)| journal= Jahrbuch der Radioaktivität (Yearbook of Radioactivity) | volume= 4|pages= 411–462}} page 454 (Wir betrachen zwei Bewegung systeme ...)</ref>在1907年至1915年间，爱因斯坦在[[等效原理]]的基础上逐渐发展了他的新理论。根据等效原理，一个均勻引力场对在其内所有物体的作用都是相同的，因此这个引力场将不能被一个处于[[自由落体]]状态的观察者观测到。归纳而言，所有局部的引力效应都可以在一个直线加速的非惯性[[参考系]]中体现出来，这个原理反过来也成立，即加速参考系等效于一个局部的引力场。这样看来，引力和[[离心力]]以及[[科里奥利力]]等[[惯性力]]这样的“[[虚拟力]]”有相类似的效应：惯性力都来源于一个加速的非惯性系，并且和物体的[[惯性质量]]成正比，引力亦然（由于惯性质量和[[引力|引力质量]]等价）。想要在等效原理的基础上将万有引力和狭义相对论的基本假设统一起来，需要牺牲的是经典力学中习以为常的基本假设：我们所处的时空是一个符合[[欧几里得几何]]的平直时空。爱因斯坦使用的是一种更廣義的几何学：[[黎曼几何]]，在黎曼几何描述下的时空可以是弯曲的。经过八年的研究，他成功得到了一个能够包含引力理论的更具功能的相对论性理论：广义相对论。广义相对论要求时空是弯曲的，这种时空的弯曲性是引力的体现，也是一种物理上的实在，这和惯性力不过是假想的“虚力”完全不同。广义相对论首先成功解释了[[水星]][[近日点]]的[[进动]]误差并预言了光线在太阳引力场中的偏折，这个预言在广义相对论发表之后得到了实验证实。<ref name="pais_1982" />{{rp|ch. 9-15}}<ref>{{Citation
 |last         = Janssen
 |first        = Michel
 |title        = Of pots and holes: Einstein's bumpy road to general relativity
 |journal      = Ann. Phys. (Leipzig)
 |volume       = 14
 |issue        = S1
 |year         = 2005
 |pages        = 58–85
 |url          = https://netfiles.umn.edu/xythoswfs/webui/_xy-15267453_1-t_ycAqaW0A
 |format       = PDF
 |doi          = 10.1002/andp.200410130
 |bibcode      = 2005AnP...517S..58J
 |accessdate   = 2014-03-14
 |archive-date = 2020-08-25
 |archive-url  = https://web.archive.org/web/20200825211741/https://login.umn.edu/idp/profile/SAML2/Redirect/SSO;jsessionid=184queebv0gssw5xjp8euf59y?execution=e1s1
 |dead-url     = yes
}}</ref><ref>{{Citation
|last=Kennefick
|first=Daniel
|contribution=Astronomers Test General Relativity: Light-bending and the Solar Redshift
|pages=178–181
|editor-last=Renn
|editor-first=Jürgen
|title=Albert Einstein: One hundred authors for Einstein
|year=2005
|publisher=Wiley-VCH
|isbn=3-527-40574-7}}</ref>{{rp|110ff}}

== 几何基础-度规 ==

在经典的欧几里得几何中，三角形满足[[勾股定理]]（毕达哥拉斯定理），这意味着空间中两点间的距离平方等于空间中所有完备正交分量平方和：

:<math>
ds^{2} = dx^{2} + dy^{2} + dz^{2}
</math>

这里<math>dx</math>、<math>dy</math>、<math>dz</math>表示在[[笛卡尔坐标系]]下三个坐标轴<math>x</math>、<math>y</math>、<math>z</math>上各自两点间的无穷小距离。

现在想象存在一个笛卡尔坐标不适用的世界，其间两点的距离由下式描述：

:<math>
ds^{2} = F(x, y, z) dx^{2} + G(x, y, z) dy^{2} + H(x, y, z)dz^{2}
</math>

这里<math>F</math>、<math>G</math>、<math>H</math>是坐标<math>x</math>、<math>y</math>、<math>z</math>的任意函数。想象一个这样的世界其实并不困难，我们就生活在这样一个表面是弯曲的世界上，这也是无法精确描绘出一个平面的世界地图的原因。想要简明地描述这个世界的表面几何不适合采用笛卡尔坐标，比较简单的做法是[[球坐标系]]<math>(r, \theta, \phi)</math>，这时的欧几里得几何中的距离表示为：

:<math>
ds^{2} = dr^{2} + r^{2} d\theta^{2} + r^{2} \sin^{2} \theta d\phi^{2}
</math>

进一步的想象可能会比较困难，但我们假设存在一个用来测量长度的尺子不再可靠的世界：尺子的长度会因其位置甚至摆放方向而改变。这是最一般的情况，在计算两点间距离时需要考虑交叉项的存在：

:<math>
ds^{2} = g_{xx} dx^{2} + g_{xy} dx dy + g_{xz} dx dz + \cdots + g_{zy} dz dy + g_{zz} dz^{2}
</math>

这里九个函数<math>g_{xy}</math>等构成了空间的[[度规]][[张量]]，它定义了黎曼几何框架下的空间几何。在球坐标系下交叉项不存在，它只包含有三个非零的张量元素。<ref name=Heinbockel2001>{{Citation  | last = Heinbockel  | first = J. H.  | title = Introduction to Tensor Calculus and Continuum Mechanics  | publisher = Trafford Publishing  | year = 2001  | url = http://www.math.odu.edu/~jhh/counter2.html  | isbn = 978-1553691334  | access-date = 2014-03-14  | archive-url = https://web.archive.org/web/20200106103811/http://www.math.odu.edu/~jhh/counter2.html  | archive-date = 2020-01-06  | dead-url = yes  }}</ref>{{rp|65-69}}

在狭义相对论中，爱因斯坦就已经指出空间中两点的距离并不是恒量，而与观察者的运动（即惯性参考系）有关。狭义相对论指出在任何[[惯性系]]下观测到的恒量是两点间的时空间隔，这个间隔被称作[[固有时]]。固有时是一个相对论不变量，它与惯性参考系无关。<ref name=Taylor>{{Citation  | last = Taylor  | first = edwin  | coauthors = John Wheeler, Edmund Bertschinger  | title = Exploring Black Holes: Introduction to General Relativity  | publisher = Pearson College Div  | year = 2011  | edition = 2nd | isbn = 9780321512864}}</ref>{{rp|ch. 2:19-18}}

:<math>
c^{2} d\tau^{2} = c^{2} dt^{2} - dx^{2} - dy^{2} - dz^{2}
</math>

在球坐标下这可以写成

:<math>
c^{2} d\tau^{2} = c^{2} dt^{2} - dr^{2} - r^{2} d\theta^{2} - r^{2} \sin^{2} \theta d\phi^{2}
</math>

这些公式都可以看作是毕达哥拉斯定理的自然推广，它们仅在时空曲率为零时成立。但在广义相对论的框架下，时间和空间都可以是弯曲的，这时的时空间隔需要写成更一般的形式：

:<math>
c^{2} d\tau^{2} = g_{\mu\nu} dx^{\mu} dx^{\nu}
</math>

这里的度规<math>g</math>取决于时空中发出引力的质量、动量和能量，描述这一关系的是[[爱因斯坦场方程|爱因斯坦的引力场方程]]。爱因斯坦的引力理论不仅和当时已知的物理定律相容，它还成功预言了很多从未观测到的物理现象，这些现象至今仍然不断被实验观测所证实。

== 史瓦西几何 ==

爱因斯坦场方程的解的最简单形式是[[史瓦西度规]]，它对应着一个不带[[电荷]]和[[角动量]]的球对称的质量<math>M</math>的引力场，其形式为：<ref name=Taylor/>{{rp|ch 2:19}}

:<math>
c^2 {d \tau}^{2} = 
\left( 1 - \frac{r_{s}}{r} \right) c^{2} dt^{2} - \frac{dr^{2}}{1 - \frac{r_{s}}{r}} - r^{2} d\theta^{2} - r^{2} \sin^{2} \theta  d\varphi^{2}
</math>

其中，
<math>\tau</math>是固有时；
<math>c</math>是光速；
<math>t</math>是时间坐标；
<math>r</math>是球面的径向坐标；
<math>\theta</math>是球面的纬度坐标；
<math>\phi</math>是球面的经度坐标；
<math>r_s</math>是中心质量<math>M</math>的[[史瓦西半径]]，其关系为

::<math>
r_{s} = \frac{2GM}{c^{2}}
</math>

牛顿经典力学下引力的传播速度无限大，与光速无关：这可以看作是在经典近似下史瓦西半径趋于零，这时的史瓦西度规还原为狭义相对论的形式。在一般情形下，史瓦西半径总是非常小的，例如地球的史瓦西半径只有9毫米，<ref name=Taylor/>{{rp|ch 2:39}}而一颗[[人造卫星]]的[[同步轨道]]半径是它的四十亿倍，为42164千米。即使是在地球表面，广义相对论对牛顿引力的修正也只有十亿分之一。然而在宇宙中的致密星体如[[黑洞]]和[[中子星]]的周围，广义相对论的效应就变得非常明显。

== 测地线方程 ==

根据广义相对论，质量可忽略的粒子在引力场中沿着[[测地线]]运动。在无引力的平直时空中，测地线是直线；但当时空存在弯曲时，测地线由下面的[[测地线方程]]描述：<ref> {{cite book | last = Weinberg | first = S | year = 1972 | title = Gravitation and Cosmology | url = https://archive.org/details/gravitationcosmo00stev_0 | publisher = John Wiley and Sons | location = New York | isbn = 978-0-471-92567-5}}</ref>{{rp|185-201}}<ref name="Schutz2009">{{cite book|author=Bernard Schutz|title=A First Course in General Relativity|url=https://archive.org/details/firstcourseingen00bern_0|date=14 May 2009|publisher=Cambridge University Press|isbn=978-0-521-88705-2}}</ref>{{rp|156-157}}

:<math>
\frac{d^2x^{\mu}}{d q^2} + \Gamma^{\mu}_{\nu\lambda} \frac{dx^{\nu}}{d q} \frac{dx^{\lambda}}{dq} = 0
</math>

这里<math>\Gamma</math>是[[克里斯托费尔符号]]而变量<math>q</math>是一个将粒子在时空中的轨迹（[[世界线]]）参数化的参量。克里斯托费尔符号只和度规对於坐标的一阶[[偏导数]]有关（即描述了度规如何随坐标变化）。<ref group="註">克里斯托费尔符号以方程表示為
:<math>\Gamma^i_{kl}=\frac{1}{2}g^{im} \left(\frac{\partial g_{mk}}{\partial x^l} + \frac{\partial g_{ml}}{\partial x^k} - \frac{\partial g_{kl}}{\partial x^m} \right)</math></ref>对于[[类时]]轨迹（速度小於光速的帶质量粒子的運動軌跡）而言，参数<math>q</math>一般取作固有时；而对于[[类时|类光]]轨迹（呈光速的零质量粒子的運動軌跡），固有时为零，因此严格来讲不能将固有时用作参数；不过类光可以看作是类时的极端相对论案例，有时从而可以通过取极限的方法，从类时的轨迹导出粒子质量为零时类光的轨迹，并保持总能量不变。

在度规具有[[对称性]]的场合下我们往往可以将问题简化。例如史瓦西度规是关于平面<math>\theta = \pi/2</math>对称的，任何起始于这一平面上测地线的粒子将保持在这一平面上运动。因此我们总可以认为粒子的轨道保持在这一平面上，即纬度坐标<math>\theta</math>恒等于<math>\pi/2</math>，这时的史瓦西度规简化为

:<math>
c^2 d \tau^{2} = 
\left( 1 - \frac{r_{s}}{r} \right) c^{2} dt^{2} - \frac{dr^{2}}{1 - \frac{r_{s}}{r}} - r^{2} d\varphi^{2}.
</math>

从这个形式可得到两个运动的守恒量，单位质量的角动量和单位质量的能量（参见下文注释）<ref name=Taylor/>{{rp|ch 3:9, ch 4:4}}

:<math>
r^{2} \frac{d\varphi}{d\tau} = \frac{L}{m},
</math>

:<math>
\left( 1 - \frac{r_{s}}{r} \right) \frac{dt}{d\tau} = \frac{E}{mc^{2}}.
</math>

将这两个守恒量代入史瓦西度规中得到粒子的运动方程

:<math>
\left( \frac{dr}{d\tau} \right)^{2} = \frac{E^{2}}{m^{2}c^{2}} - \left( 1 - \frac{r_{s}}{r} \right) \left( c^{2} + \frac{L^{2}}{m^{2} r^{2}} \right).
</math>

通过角动量<math>L</math>的定义，得到如下替换关系可消去式中的固有时

:<math>
\left( \frac{dr}{d\varphi} \right)^{2} = 
\left( \frac{dr}{d\tau} \right)^{2} \left( \frac{d\tau}{d\varphi} \right)^{2} =
\left( \frac{dr}{d\tau} \right)^{2} \left( \frac{m r^{2}}{L} \right)^{2},
</math>

这样就得到了粒子的轨道方程

:<math>
\left( \frac{dr}{d\varphi} \right)^{2} = \frac{r^{4}}{b^{2}} - \left( 1 - \frac{r_{s}}{r} \right) \left( \frac{r^{4}}{a^{2}} + r^{2} \right)
</math>

其中的两个长度参数<math>a</math>、<math>b</math>的定义为

:<math>
a = \frac{L}{mc},
</math>

:<math>
b = \frac{cL}{E}.
</math>

利用[[拉格朗日力学|最小作用量原理]]<ref>{{cite book | last = Whittaker | first = ET | year = 1937 | title = A Treatise on the Analytical Dynamics of Particles and Rigid Bodies, with an Introduction to the Problem of Three Bodies | edition = 4th ed. | publisher = Dover Publications | location = New York | pages = pp. 389–393 | isbn = 978-1-114-28944-4 | url = http://www.archive.org/details/treatisanalytdyn00whitrich}}<!-- The scanned version is an earlier edition. --></ref>{{rp|389-393}}或[[哈密顿-雅可比方程]]<ref name="ll_1975_HJ" >{{cite book | last = Landau | first = LD | coauthors = Lifshitz, EM | year = 1975 | title = The Classical Theory of Fields (Course of Theoretical Physics, Vol. 2) | url = https://archive.org/details/classicaltheoryo0000land_k6k2 | edition = revised 4th English ed. | publisher = Pergamon Press | location = New York | isbn = 978-0-08-018176-9}}</ref>{{rp|299-309}}可得到相同形式的轨道方程（见后文），轨道方程的解为

:<math>
\varphi = \int \frac{dr}{r^{2} \sqrt{\frac{1}{b^{2}} - \left( 1 - \frac{r_{s}}{r} \right) \left( \frac{1}{a^{2}} + \frac{1}{r^{2}} \right)}}.
</math>

== 光线在太阳引力场中偏折的近似公式 ==

[[File:1919 eclipse negative.jpg|thumb|200px|right|1919年[[亚瑟·爱丁顿]]爵士所测量的星光在太阳引力场中的偏折实验使得广义相对论在全世界范围内被广为接受]]

对于上面的史瓦西度规中的粒子轨道方程，当粒子质量趋于零（或长度参数<math>a</math>趋于无穷大）时，轨道方程的解变为如下形式：

:<math>
\varphi = \int \frac{dr}{r^{2} \sqrt{\frac{1}{b^{2}} - \left( 1 - \frac{r_{s}}{r} \right) \frac{1}{r^{2}}}}
</math>

将此式按<math>r_s/r</math>的幂指数展开，得到的领导项给出了一个来自无穷远处的无质量粒子在史瓦西引力场中的运动角度近似偏移量（其后这个粒子仍然向无穷远处运动）<ref name="Schutz2009"/>{{rp|293-294}}

:<math>
\delta \varphi \approx \frac{2r_{s}}{b} = \frac{4GM}{c^{2}b}.
</math>

这里长度参数<math>b</math>可理解为粒子在运动过程中距中心质量的最近距离。尽管这个公式是通过相当的近似得到的，在大多数有关[[引力透镜]]的测量中它都相当精确，这是因为对大多数星体而言<math>r_s/r</math>都很小。对于掠过太阳表面的光子，其角偏移量大约只有1.75角秒。<ref>{{cite web
 | last =Brown
 | first =Kevin
 | title =Bending Light
 | work =Reflections on Relativity
 | url =http://www.mathpages.com/rr/s6-03/6-03.htm - 6.3
 | accessdate =Mar 15, 2014
 | archive-date =2014-07-31
 | archive-url =https://web.archive.org/web/20140731005626/http://www.mathpages.com/rr/s6-03/6-03.htm
 | dead-url =yes
 }}</ref>

== 和经典力学的关系 ==

从上面得到的史瓦西度规中的粒子运动方程

:<math>
\left( \frac{dr}{d\tau} \right)^{2} = 
\frac{E^{2}}{m^{2}c^{2}} - c^{2} + \frac{r_{s}c^{2}}{r} - 
\frac{L^{2}}{m^{2} r^{2}} + \frac{r_{s} L^{2}}{m^{2} r^{3}}
</math>

可通过代入史瓦西半径的定义得到

:<math>
\frac{1}{2} m \left( \frac{dr}{d\tau} \right)^{2} = 
\left[ \frac{E^{2}}{2mc^{2}} - \frac{1}{2} mc^{2} \right]
+ \frac{GMm}{r} - \frac{L^{2}}{2m r^{2}} + \frac{GM L^{2}}{c^{2} m r^{3}}
</math>

这个运动方程相当于一个质量为<math>m</math>的粒子在一个一维[[势阱]]中运动，其有效势能为<ref name="Schutz2009"/>{{rp|284}}

:<math>
V(r) = -\frac{GMm}{r} + \frac{L^{2}}{2m r^{2}} - \frac{GM L^{2}}{c^{2} m r^{3}}
</math>

式中前两项是经典力学的结果：第一项是牛顿[[引力势能|重力勢能]]（负值表示吸引），第二项是具有排斥效应的离心势能；而第三项仅在广义相对论中存在，它代表的是一个与距离立方成反比的吸引势能。从后文或其他文献中可以看到，这种立方反比势能造成了粒子运动周期中椭圆轨道的逐渐相对论进动，每个周期内进动的角位移为<ref name="EarmanJanssen1993">{{cite book|author1=John Earman|author2=Michel Janssen|author3=John D. Norton|title=The Attraction of Gravitation: New Studies in the History of General Relativity|date=1 December 1993|publisher=Springer|isbn=978-0-8176-3624-1}}</ref>{{rp|157}}

:<math>
\delta \varphi \approx \frac{6\pi G M}{c^{2} A \left( 1- e^{2} \right)}
</math>

其中<math>A</math>是椭圆的半长轴，<math>e</math>是偏心率。

在<math>r</math>很小时，由于是立方反比关系第三项起主导作用，这决定了一个关键性的最内稳定圆半径<math>r_{\mathrm{inner}}</math>，如果粒子一旦处于小于这个半径的范围内，它最终会不可避免地向内坠入。这个最内半径是单位质量的角动量的函数，即上面定义的长度参数<math>a=L/mc</math>。

== 圆轨道和其稳定性 ==
[[File:Schwarzschild effective potential.svg|thumb|350px|right|不同角动量对应的有效径向势能。半径很小时，势能迅速下降，这使得粒子向<math>r=0</math>坠入。不过，当归一化的角动量<math>a/r_s = L/mcr_s</math>等于<math>\sqrt{3}</math>时，一个处于亚稳态的圆轨道是可能的，在图中用绿圈标记。对于更高的角动量，由于离心势能的存在会有不稳定的圆轨道出现，在图中用红圈标记。]]

如果使用长度参数<math>a</math>，有效势能<math>V</math>可写成如下形式：
:<math>
V(r) = \frac{mc^{2}}{2} \left[ - \frac{r_{s}}{r} + \frac{a^{2}}{r^{2}} - \frac{r_{s} a^{2}}{r^{3}} \right]
</math>

当有效力为零时，得到粒子的圆轨道：
:<math>
F = -\frac{dV}{dr} = -\frac{mc^{2}}{2r^{4}} \left[ r_{s} r^{2} - 2a^{2} r + 3r_{s} a^{2} \right] = 0
</math>

有效力为零的含义即为吸引力（牛顿引力加广义相对论的立方反比引力）和排斥力（等效的离心力）恰巧平衡。在两个半径上可以满足这种平衡条件，它们被记为<math>r_{\mathrm{outer}}</math>和<math>r_{\mathrm{inner}}</math><ref name="Schutz2009"/>{{rp|286}}
:<math>
r_{\mathrm{outer}} = \frac{a^{2}}{r_{s}} \left( 1 + \sqrt{1 - \frac{3r_{s}^{2}}{a^{2}}} \right)
</math>

:<math>
r_{\mathrm{inner}} = \frac{a^{2}}{r_{s}} \left( 1 - \sqrt{1 - \frac{3r_{s}^{2}}{a^{2}}} \right) = \frac{3a^{2}}{r_{\mathrm{outer}}}
</math>

其中靠内的半径<math>r_{\mathrm{inner}}</math>对应的圆轨道是不稳定的，这个原因在上面已经提到：由于当<math>r</math>很小时，立方反比项增长速度远大于其他两项，这个引力将把粒子强烈地吸引到引力场中心处。而靠外的半径<math>r_{\mathrm{outer}}</math>对应的圆轨道是稳定的，这是因为在那附近立方反比项并不显著，系统基本可近似为一个非相对论的开普勒系统。

当长度参数<math>a</math>远大于史瓦西半径<math>r_s</math>时（经典极限），这两个圆轨道半径公式近似为
:<math>
r_{\mathrm{outer}} \approx \frac{2a^{2}}{r_{s}}
</math>
:<math>
r_{\mathrm{inner}} \approx \frac{3}{2} r_{s}
</math>

[[File:Schwarzschild circular radii.svg|thumb|left|250px|稳定轨道与不稳定轨道的半径关于归一化角动量<math>a/r_s = L/mcr_s</math>的曲线，分别用蓝色和红色标出。两条曲线在归一化角动量等于<math>\sqrt{3}</math>处相交，图中用绿圈标出。作为比较，从向心加速度和牛顿万有引力定律得到的经典半径用黑色曲线画出。]]

直接在经典理论下让惯性离心力等于牛顿万有引力：
:<math>
m\omega_{\varphi}^{2} r = \frac{GMm}{r^{2}}
</math>

这里<math>\omega_{\varphi}</math>是粒子的角速度。如果使用广义相对论中的记法，经典的角速度等於
:<math>
\omega_{\varphi}^{2} \approx \frac{GM}{r_{\mathrm{outer}}^{3}} = \left( \frac{r_{s} c^{2}}{2r_{\mathrm{outer}}^{3}} \right) = \left( \frac{r_{s} c^{2}}{2} \right) \left( \frac{r_{s}^{3}}{8a^{6}}\right) = \frac{c^{2} r_{s}^{4}}{16 a^{6}}
</math>

在另一种情形下，当<math>a^2</math>由上逐渐逼近<math>3r_s^2</math>时，这两个圆轨道半径重合为一个值：<ref name="Schutz2009"/>{{rp|286}}
:<math>
r_{\mathrm{outer}} \approx r_{\mathrm{inner}} \approx 3 r_{s}
</math>

上面给出的<math>r_{\mathrm{inner}}</math>和<math>r_{\mathrm{outer}}</math>的二项式解保证了<math>r_{\mathrm{outer}}</math>总是大于<math>3r_s</math>的，而<math>r_{\mathrm{inner}}</math>总是在<math>3/2r_s</math>和<math>3r_s</math>的范围内。半径小于<math>3/2r_s</math>的圆轨道是不能存在的。对于无质量的粒子，长度参数<math>a</math>为无穷大，例如对于光子可以存在一个<math>r_{\mathrm{inner}} = 3/2r_s</math>的圆轨道，这个半径所构成的球有时被称作「[[光子球]]」（photon sphere）。

== 椭圆轨道进动的推导 ==
[[File:Relativistic precession.svg|thumb|right|在[[开普勒问题|非相对论开普勒问题]]中，粒子永远沿着同样的椭圆轨道运动（红色轨道）。广义相对论引入了第三种力的作用，这种力对粒子的吸引比牛顿引力稍强，特别是在轨道半径很短的情形。这种力使行星的椭圆轨道产生进动（蓝色轨道），现在实验上已经测量了[[水星]]、[[金星]]和地球的相应进动。图中黄色的点表示轨道的中心质量，例如太阳。]]

从史瓦西几何中得到的径向有效势能<math>V</math>可以推出轨道的进动速度。首先，圆轨道<math>r_{\mathrm{outer}}</math>的一个微小的半径变化会造成在<math>r_{\mathrm{outer}}</math>上的稳定的谐振动，其振动的角频率为
:<math>
\omega_{r}^{2} = \frac{1}{m} \left[ \frac{d^{2}V}{dr^{2}} \right]_{r=r_{\mathrm{outer}}}
</math>

用有效势能<math>V</math>的形式代入并求二阶导数，
:<math>
\omega_{r}^{2} = \left( \frac{c^{2} r_{s}}{2 r_{\mathrm{outer}}^{4}} \right) \left( r_{\mathrm{outer}} - r_{\mathrm{inner}} \right) = 
\omega_{\varphi}^{2} \sqrt{1 - \frac{3r_{s}^{2}}{a^{2}}} 
</math>

两边开平方并作二项式展开：
:<math>
\omega_{r} = \omega_{\varphi} \left( 1 - \frac{3r_{s}^{2}}{4a^{2}} + \cdots \right)
</math>

而后再乘以公转的周期<math>T</math>就得到了在一个周期内的轨道进动的角位移
:<math>
\delta \varphi = T \left(\frac{\omega_{\varphi} - \omega_{r} }{\omega_{\varphi}}\right) \approx 2\pi \left( \frac{3r_{s}^{2}}{4a^{2}} \right) = 
\frac{3\pi m^{2} c^{2}}{2L^{2}} r_{s}^{2}
</math>

这里我们用到了<math>\omega T = 2\pi</math>以及长度参数<math>a</math>的定义。代入史瓦西半径<math>r_s</math>的定义得到<ref name=Taylor/>{{rp|C:9-10}}

:<math>
\delta \varphi \approx \frac{3\pi m^{2} c^{2}}{2L^{2}} \left( \frac{4G^{2} M^{2}}{c^{4}} \right) = \frac{6\pi G^{2} M^{2} m^{2}}{c^{2} L^{2}}
</math>

根据[[开普勒第三定律]]，使用椭圆的半长轴<math>A</math>和偏心率<math>e</math>可以简化这个公式，开普勒第三定律在这里可以写为<ref name=Goldstein1980>{{citation|last =Goldstein |first=Herbert|title=Classical Mechanics|year=1980| location=United States of America | publisher=Addison Wesley| edition= 3rd| isbn=0201657023 | language=en}}</ref>{{rp|95}}

:<math>
\frac{L^{2}}{GMm^{2}} = A \left( 1 - e^{2} \right)
</math>

这样就得到了上面看到的进动角位移公式
:<math>
\delta \varphi \approx \frac{6\pi G M}{c^{2} A \left( 1 - e^{2} \right)}
</math>

== 使用椭圆函数的圆轨道的解 ==
轨道方程<ref name="Baumann2006">{{cite book|author=Gerd Baumann|title=Mathematica for Theoretical Physics: Electrodynamics, Quantum Mechanics, General Relativity, and Fractals|url=http://books.google.com/books?id=YofGCE-YyGQC|date=16 January 2006|publisher=Springer|isbn=978-0-387-25113-4|access-date=2014-03-16|archive-date=2014-06-30|archive-url=https://web.archive.org/web/20140630055917/http://books.google.com/books?id=YofGCE-YyGQC|dead-url=no}}</ref>{{rp|710-711}}
:<math>
\left( \frac{dr}{d\varphi} \right)^{2} = \frac{r^{4}}{b^{2}} - \left( 1 - \frac{r_{s}}{r} \right) \left( \frac{r^{4}}{a^{2}} + r^{2} \right)
</math>

可以通过引入一个无量纲量来化简：
:<math>
\zeta = \frac{r_{s}}{4r} - \frac{1}{12}
</math>

这时轨道方程可表示为
:<math>
\left( \frac{d\zeta}{d\varphi} \right)^{2} = 4 \zeta^{3} - g_{2} \zeta - g_{3},
</math>

这里的无量纲系数<math>g_2</math>、<math>g_3</math>由下式给出
:<math>
\begin{align}
g_{2} &= \frac{1}{12} - \frac{r_{s}^{2}}{4 a^{2}},\\
g_{3} &= \frac{1}{216} + \frac{r_{s}^{2}}{24 a^{2}} - \frac{r_{s}^{2}}{16 b^{2}}.
\end{align}
</math>

这个微分方程的解为
:<math>
\varphi - \varphi_{0} = \int \frac{d\zeta}{\sqrt{4\zeta^{3} - g_{2} \zeta - g_{3}}}.
</math>
其中无量纲量<math>\zeta = \wp(\varphi - \varphi_{0})</math>，这里<math>\wp</math>是参数为<math>g_2</math>和<math>g_3</math>的[[魏尔施特拉斯椭圆函数]]，<math>\varphi_0</math>是一个积分常数（可以是复数）。

== 可能轨道的定性分析 ==
对于轨道方程<ref name="Baumann2006"/>{{rp|713-714}}
:<math>
\left( \frac{d\zeta}{d\varphi} \right)^{2} = 4 \zeta^{3} - g_{2} \zeta - g_{3},
</math>

如果右边三次多项式的[[判别式]]<math>\Delta = g_{2}^{3} - 27 g_{3}^{2}</math> 大于零，则[[三次方程]]
:<math>
G(\zeta) = 4 \zeta^{3} - g_{2} \zeta - g_{3} = 0
</math>

有三个实根，<math>e_1</math>、<math>e_2</math>、<math>e_3</math>，将它们按从大到小排列
:<math>
e_{1} > e_{2} > e_{3}.
</math>

在此情形下，方程的解<math>\zeta = \wp(\varphi - \varphi_{0})</math>是一个具有两个半周期的[[椭圆函数]]，其中一个完全是实的：
:<math>
\omega_{1} = \int_{e_{1}}^{\infty} \frac{dz}{\sqrt{4z^{3} - g_{2}z - g_{3}}}
</math>

而另一个完全是虚的：
:<math>
\omega_{3} = i \int_{-e_{3}}^{\infty} \frac{dz}{\sqrt{4z^{3} - g_{2}z - g_{3}}}
</math>

剩下的那一个根对应着一个复数的半周期ω<sub>2</sub> = -ω<sub>1</sub> - ω<sub>3</sub>。这三个半周期通过方程与对应的三个根<math>e_i</math>相联系，方程中<math>i</math>可以等于1、2、3。因此如果<math>\varphi_0</math>被设置为等于其中任何一个半周期，<math>\zeta</math>的导数就为零，这对应着一个[[近地点|近星点]]或[[远地点|远星点]]：

:<math>
\frac{d\zeta}{d\phi} = 0 \ \mathrm{when} \ \zeta = \wp(-\omega_{i}) = e_{i}
</math>

由于
:<math>
\left( \frac{d\zeta}{d\varphi} \right)^{2} = G(\zeta) = 4 \zeta^{3} - g_{2} \zeta - g_{3} = 
4 \left( \zeta - e_{1} \right) \left( \zeta - e_{2} \right) \left( \zeta - e_{3} \right),
</math>

可以看到<math>\zeta</math>等于根<math>e_i</math>时，[[导数]]的值为零。

不同轨道的定性性质取决于<math>\varphi_0</math>的选取。<math>\varphi_0</math>等于<math>\omega_2</math>的解对应着在<math>\zeta = e_2</math>和<math>\zeta = e_3</math>之间周期性变化的轨道，或者是散射到无穷远处的轨道（<math>\zeta = -1/12</math>）。而<math>\varphi_0</math>等于<math>\omega_1</math>或任何其他实数对应着衰减至半径等于零的轨道，这是由于<math>\zeta</math>作为一个实数时不能小于<math>e_1</math>，结果就不可避免地增长至无穷大。

=== 准椭圆轨道 ===
在系统能量满足不等式''E''<sup>2</sup> &lt; ''m''<sup>2</sup> ''c''<sup>4</sup>的前提下，<math>\varphi_0</math>等于<math>\omega_2</math>时方程的解<math>\zeta = \wp(\phi - \phi_{0})</math>给出了一个实数的<math>\zeta</math>值。对于这类解，变量<math>\zeta</math>的值被限制在<math>e_3</math>和<math>e_2</math>之间。如果这两个根都大于-1/12，<math>\zeta</math>将不会等于-1/12，也就不会产生半径趋于无穷大的散射轨道。因此这类解对应着一个逐渐[[进动]]的椭圆轨道，当粒子（或行星）从起始状态开始演化时，其半径在最小半径<math>r_{min}</math>和最大半径<math>r_{max}</math>之间振荡，分别为<ref name="Baumann2006"/>{{rp|714}}

:<math>
r_{min} = \frac{3r_{s}}{1 + 12e_{2}}
</math>

:<math>
r_{max} = \frac{3r_{s}}{1 + 12e_{1}}
</math>

它们分别对应着<math>\zeta</math>的两个极值。[[魏尔施特拉斯椭圆函数]]的实数周期为<math>2\omega_1</math>，因此当粒子进动了<math>2\omega_1</math>的角位移后将回到与先前相同的半径，椭圆轨道处于进动状态（注意<math>2\omega_1</math>一般来说不等于<math>2\pi</math>，但两者的差值即每个轨道周期内进动的角位移很小）。

=== 稳定圆轨道 ===
这是2''e''<sub>2</sub> = 2''e''<sub>3</sub> = −''e''<sub>1</sub>的特殊情形，即方程<math>G(\zeta)</math>有两个根相等并且是负值，而第三个根是正值。在这种情况下<math>\zeta</math>有两个相同的实根''e'' = ''e''<sub>2</sub> = ''e''<sub>4</sub>，这个解对应着经典的圆轨道，即上面得到的半径为<math>r_{outer}</math>的轨道，并且我们看到<math>r_{outer}</math>一定大于<math>3r_s</math>。这样的圆轨道之所以稳定，是因为对方程参数的一个微扰只会让这两个实根略微不等，从而得到准椭圆轨道解。例如对处于稳定圆轨道上粒子的一个微小扰动会将它推到准椭圆轨道上去并逐渐开始进动。

=== 非束缚（散射）轨道 ===
轨道半径趋于无穷大对应着粒子飞向无限远处，这时<math>\zeta</math>等于-1/12。这样的非束缚轨道对应着两个实根的值分别落在-1/12两侧，即 ''e''<sub>2</sub> ≤ −1/12 ≤ ζ ≤ ''e''<sub>3</sub>。

=== 渐近圆轨道 ===
当-''e''<sub>3</sub> = 2''e''<sub>2</sub> = 2''e''<sub>1</sub>，<math>\zeta</math>有两个正的且相同的实根，而第三个根''e''<sub>3</sub>是负值。将重根代换为<math>e = n^2/3</math>，在<math>\varphi</math>等于正负无穷时粒子具有渐近的圆轨道：

:<math>
\zeta = \frac{r_{s}}{4r} - \frac{1}{12}  = e - \frac{n^{2}}{\cosh^{2} n\varphi}.
</math>

可以将这个解代回方程验证。当<math>\varphi</math>等于正负无穷时，粒子渐近地接近这个圆轨道：

:<math>
\frac{r_{s}}{4r} - \frac{1}{12}  = e.
</math>

在这种情形下，粒子的轨道半径一定处于<math>2r_s</math>和<math>3r_s</math>之间。

渐近的圆轨道也可以通过用[[雅可比椭圆函数]]来表示魏尔施特拉斯椭圆函数得到：

:<math>
\zeta = \wp(\phi - \phi_{0}) = e_{1} + \left(e_{1} - e_{3}\right) \frac{\mathrm{cn}^{2} w}{\mathrm{sn}^{2} w}
</math>

这里<math>w = (\phi - \phi_{0})\sqrt{e_{1} - e_{3}}</math>，并且椭圆积分的模数为

:<math>
k = \sqrt{\frac{e_{2}-e_{3}}{e_{1}-e_{3}}}
</math>

在''e''<sub>2</sub>趋于''e''<sub>1</sub>的极限下，模数趋于1，而<math>w</math>趋于<math>n(\varphi - \varphi_0)</math>。这样选择<math>\varphi_0</math>的值为<math>ik^{\prime}</math>（四分之一周期）就可以得到上面的渐近圆轨道。

=== 衰减轨道 ===
当<math>\varphi_0</math>等于<math>\omega_1</math>（或其他实数）时，<math>\zeta</math>的实根有性质<math>\zeta</math>总不小于''e''<sub>1</sub>，这使得轨道方程

:<math>
\left( \frac{d\zeta}{d\varphi} \right)^{2} = 4 \zeta^{3} - g_{2} \zeta - g_{3} = 
4 \left( \zeta - e_{1} \right) \left( \zeta - e_{2} \right) \left( \zeta - e_{3} \right)
</math>

对于所有大于''e''<sub>1</sub>的<math>\zeta</math>值都是正的，并且<math>\zeta</math>可以无限制增长，这对应着粒子轨道逐渐向<math>r=0</math>处衰减。

== 对测地线方程解的修正 ==
[[File:Psr1913+16-weisberg en.png|thumb|right|200px|实验上观测到的脉冲双星PSR B1913+16的轨道周期变化（图中蓝色的点）和广义相对论的理论预测（图中黑色的曲线）完全吻合]]
{{See also|引力波|引力波天文学}}

根据广义相对论，两个互相绕转的质量例如[[双星系统]]会发出引力辐射，由引力辐射携带的能量会让它们的轨道稍微偏离测地线方程所得到的结果。关于这一问题的最著名间接验证是由[[拉塞尔·赫尔斯]]和[[约瑟夫·泰勒]]对一个脉冲双星PSR B1913+16的观测，两人因此获得1993年的[[诺贝尔物理学奖]]。系统内的两颗[[中子星]]距离非常接近，且绕转速度非常之快，测量到的一个周期时长大约仅为465分钟。两颗中子星的轨道是高度椭圆的，偏心率达到0.62。按照广义相对论的预言，这样短的轨道周期和高度的偏心轨道使得这个双星系统成为一个非常好的引力波源，通过引力辐射损失的能量使轨道逐渐衰减，轨道周期逐渐变短。通过长达三十年的实验观测，即使是在可以达到的最精确的测量下轨道周期的降低和广义相对论的预言仍符合得相当好。广义相对论还预言，再过三亿年后这两颗恒星最终会碰撞到一起。

开普勒问题中因引力辐射导致的能量和[[角动量]]的损耗公式已经通过计算得到<ref name="Mathews">{{cite journal | author = Peters PC, Mathews J | year = 1963 | title = Gravitational Radiation from Point Masses in a Keplerian Orbit | journal = Physical Review | volume = 131 | pages = 435–440 | doi = 10.1103/PhysRev.131.435|bibcode = 1963PhRv..131..435P }}</ref>，在一个完整的轨道周期内取平均下的能量变化率为<ref name="ll_1975_HJ"/>{{rp|356-357}}

:<math>
-\langle \frac{dE}{dt} \rangle = 
\frac{32G^{4}m_{1}^{2}m_{2}^{2}\left(m_{1} + m_{2}\right)}{5c^{5} a^{5} \left( 1 - e^{2} \right)^{7/2}} 
\left( 1 + \frac{73}{24} e^{2} + \frac{37}{96} e^{4} \right)
</math>

这里e是椭圆轨道的偏心率，a是半长轴。方程左边的角括号表示是在一个轨道周期内取平均值。类似的，角动量的平均变化率为

:<math>
-\langle \frac{dL_{z}}{dt} \rangle = 
\frac{32G^{7/2}m_{1}^{2}m_{2}^{2}\sqrt{m_{1} + m_{2}}}{5c^{5} a^{7/2} \left( 1 - e^{2} \right)^{2}} 
\left( 1 + \frac{7}{8} e^{2} \right)
</math>

週期減少率<math>P_{b}</math>為<ref name="Mathews"/><ref name="wt2005">{{cite conference |url=http://aspbooks.org/custom/publications/paper/328-0025.html |title=The Relativistic Binary Pulsar B1913+16: Thirty Years of Observations and Analysis |last1=Weisberg |first1=J.M. |last2=Taylor |first2=J.H. |date=July 2005 |publisher=Astronomical Society of the Pacific |location=Aspen, Colorado, USA |booktitle=ASP Conference Series |pages=25 |editor=F.A. Rasio and I.H. Stairs (eds.) |volume=328 |arxiv=astro-ph/0407149 |bibcode=2005ASPC..328...25W |access-date=2014-03-16 |archive-date=2011-07-25 |archive-url=https://web.archive.org/web/20110725021505/http://aspbooks.org/custom/publications/paper/328-0025.html |dead-url=no }}</ref>

:<math>
-\Bigl\langle \frac{dP_{b}}{dt} \Bigr\rangle = 
\frac{192G^{5/3}m_{1}m_{2}\left(m_{1} + m_{2}\right)^{-1/3}}{5c^{5} \left( 1 - e^{2} \right)^{7/2}} 
\left( 1 + \frac{73}{24} e^{2} + \frac{37}{96} e^{4} \right) (\frac{P_{b}}{2 \pi})^{-5/3}
</math>

轨道的偏心率越接近于1，即椭圆轨道形狀越瘦长时，能量和角动量的损耗就越快；而半长轴越短轨道的衰减也越快

== 轨道方程的理论力学推导 ==

=== 哈密顿-雅可比方法 ===

开普勒运动的轨道方程也可以通过[[哈密顿-雅可比方程]]推导出。这种方法的好处是它可以将一个粒子的运动等价于一束波的传播，这就很容易进而通过[[费马原理]]推导出光线在引力场中的偏折公式。这种方法的解释是，由于引力场的延时效应，一束波的波前靠近中心质量<math>m</math>的部分要比远离中心质量的部分运动得慢，这就导致了波前传播方向的改变。

使用一般的[[共變和反變|协变性]]，一个粒子在任意坐标下的哈密顿-雅可比方程可以表示为<ref>{{cite book|title=Gravitation|author=J.A. Wheeler, C. Misner, K.S. Thorne|publisher=W.H. Freeman & Co|year=1973|isbn=0-7167-0344-0}}</ref>{{rp|649,1188}}<ref name="ll_1975_HJ"/>{{rp|328-330}}

:<math>
g^{\mu\nu} \frac{\partial S}{\partial x^{\mu}} \frac{\partial S}{\partial x^{\nu}} = m^{2} c^{2}.
</math>

特别地，在史瓦西度规下

:<math>
\frac{1}{c^{2} \left(1 - \frac{r_{s}}{r} \right)} \left( \frac{\partial S}{\partial t} \right)^{2} - 
\left( 1 - \frac{r_{s}}{r} \right) \left( \frac{\partial S}{\partial r} \right)^{2} -
\frac{1}{r^{2}} \left( \frac{\partial S}{\partial \varphi} \right)^{2} = m^{2} c^{2}
</math>

这里我们仍然选取了轨道平面位于<math>\theta = \pi/2</math>的[[球坐标系]]。假设哈密顿主函数<math>S</math>是[[分离变量法|可分离变量]]的，则其应具有如下形式：

:<math>
S = -Et + L\varphi + S_{r}(r) 
</math>

这里<math>E</math>和<math>L</math>分别是粒子的能量和角动量。从哈密顿-雅可比方程可以得到哈密顿主函数径向分量<math>S_r(r)</math>的积分解：

:<math>
S_{r}(r) = \int \frac{L dr}{1 - \frac{r_{s}}{r}} \sqrt{\frac{1}{b^{2}} - \left( 1 - \frac{r_{s}}{r} \right) \left( \frac{1}{a^{2}} + \frac{1}{r^{2}} \right)}.
</math>

对这个主函数求[[偏导数]]：

:<math>
\frac{\partial S}{\partial L} = \varphi + \frac{\partial S_{r}}{\partial L} = \mathrm{constant}
</math>

将满足上面得到的轨道方程

:<math>
\left( \frac{dr}{d\varphi} \right)^{2} = \frac{r^{4}}{b^{2}} -  \left( 1 - \frac{r_{s}}{r} \right) \left( \frac{r^{4}}{a^{2}} + r^{2} \right).
</math>

这种方法也可以精緻地推导出轨道的进动率。

在质量趋于零（或<math>a</math>趋于无穷大）时，哈密顿主函数简化作下面的形式：

:<math>
S_{r}(r) = \frac{E}{c} \int dr \sqrt{\frac{r^{2}}{\left( r - r_{s} \right)^{2}} - \frac{b^{2}}{r \left( r - r_{s} \right)}}
</math>

从这个公式可以导出光线在引力场中的偏振公式。

=== 拉格朗日方法 ===
在广义相对论中，无质量粒子在时空中的运动轨迹是[[测地线]]，这是[[等效原理]]的要求。从[[哈密顿原理|最小作用量原理]]的观点来看，测地线长度的[[变分法|变分]]为零，即：<ref name="ll_1975_HJ"/>{{rp|263-264}}

:<math>
0 = \delta s = \delta \int ds = \delta \int \sqrt{g_{\mu\nu} \frac{dx^{\mu}}{d\tau} \frac{dx^{\nu}}{d\tau} } d\tau = \delta \int \sqrt{2T} d\tau
</math>

这里<math>\tau</math>是固有时，<math>s = c\tau</math>是测地线在时空中的弧长。<math>T</math>在这里的定义是

:<math>
2T = c^{2} = \left( \frac{ds}{d\tau} \right)^{2} = g_{\mu\nu} \frac{dx^{\mu}}{d\tau} \frac{dx^{\nu}}{d\tau} = 
\left( 1 - \frac{r_{s}}{r} \right) c^{2} \left( \frac{dt}{d\tau} \right)^{2} - 
\frac{1}{1 - \frac{r_{s}}{r}} \left( \frac{dr}{d\tau} \right)^{2} - 
r^{2} \left( \frac{d\varphi}{d\tau} \right)^{2}
</math>

其物理意义类似于经典力学中的动能。如果将时空坐标的四维分量对固有时的导数写成

:<math>
\dot{x}^{\mu} = \frac{dx^{\mu}}{d\tau}
</math>

则<math>T</math>可以写成<ref name="Baumann2006"/>{{rp|708-709}}

:<math>
2T = c^{2} = 
\left( 1 - \frac{r_{s}}{r} \right) c^{2} \left( \dot{t} \right)^{2} - 
\frac{1}{1 - \frac{r_{s}}{r}} \left( \dot{r} \right)^{2} - 
r^{2} \left( \dot{\varphi} \right)^{2}
</math>

常数因数的引入对变分问题的结果不会造成影响，因此在积分内取变分仍满足[[哈密顿原理]]：

:<math>
0 = \delta \int \sqrt{2T} d\tau = \int \frac{\delta T}{\sqrt{2T}} d\tau = \frac{1}{c} \delta \int T d\tau.
</math>

从[[拉格朗日方程]]可以得到变分问题的解

:<math>
\frac{d}{d\tau} \left(\frac{\partial T}{\partial \dot{x}^{\sigma}} \right) = \frac{\partial T}{\partial x^{\sigma}}.
</math>

对变量<math>t</math>和<math>\varphi</math>应用，可得到两个守恒量：

:<math>
\frac{d}{d\tau} \left[ r^{2} \frac{d\varphi}{d\tau} \right] = 0,
</math>

:<math>
\frac{d}{d\tau} \left[ \left( 1 - \frac{r_{s}}{r} \right) \frac{dt}{d\tau} \right] = 0,
</math>

进一步可写成<math>L</math>和<math>E</math>的方程：

:<math>
r^{2} \frac{d\varphi}{d\tau} = \frac{L}{m},
</math>

:<math>
\left( 1 - \frac{r_{s}}{r} \right) \frac{dt}{d\tau} = \frac{E}{mc^{2}}.
</math>

这也是上面看到的从史瓦西度规直接得到的结果。

=== 哈密顿原理 ===
只受到引力作用的粒子的[[作用量]]为<ref name="Baumann2006"/>{{rp|313ff}}
:<math>
S = \int{ - m c^2 d\tau} = - m c \int{ c \frac{d\tau}{dq} dq} = - m c \int{ \sqrt{g_{\mu\nu} \frac{dx^{\mu}}{dq} \frac{dx^{\nu}}{dq} } dq}
</math>

其中<math>q</math>是任意能够将粒子的[[世界线]]可微化的参数，对这个作用量使用变分法就可以得到测地线方程。不过如果我们对被积函数的平方求变分过程会更简单，根据度规这个平方的形式为
:<math>
\left(c \frac{d\tau}{dq}\right)^2 = g_{\mu\nu} \frac{dx^{\mu}}{dq} \frac{dx^{\nu}}{dq} = 
\left( 1 - \frac{r_{s}}{r} \right) c^{2} \left( \frac{dt}{dq} \right)^{2} - 
\frac{1}{1 - \frac{r_{s}}{r}} \left( \frac{dr}{dq} \right)^{2} - 
r^{2} \left( \frac{d\varphi}{dq} \right)^{2}
</math>

取[[变分]]
:<math>
\delta \left(c \frac{d\tau}{dq}\right)^2 = 2 c^{2} \frac{d\tau}{dq} \delta \frac{d\tau}{dq} = 
\delta \left[ \left( 1 - \frac{r_{s}}{r} \right) c^{2} \left( \frac{dt}{dq} \right)^{2} - 
\frac{1}{1 - \frac{r_{s}}{r}} \left( \frac{dr}{dq} \right)^{2} - 
r^{2} \left( \frac{d\varphi}{dq} \right)^{2} \right]
</math>

如果我们只对<math>\varphi</math>取变分可得
:<math>
2 c^{2} \frac{d\tau}{dq} \delta \frac{d\tau}{dq} = 
- 2 r^{2} \frac{d\varphi}{dq} \delta \frac{d\varphi}{dq} 
</math>

两边除以<math>2 c \frac{d\tau}{dq}</math>就得到了被积函数的变分：
:<math>
c  \delta \frac{d\tau}{dq} = - \frac{r^{2}}{c} \frac{d\varphi}{d\tau} \delta \frac{d\varphi}{dq} 
= - \frac{r^{2}}{c} \frac{d\varphi}{d\tau} \frac{d \delta \varphi}{dq} 
</math>

代入哈密顿原理的方程
:<math>
0 = \delta \int { c \frac{d\tau}{dq} dq } = \int { c \delta \frac{d\tau}{dq} dq } = 
\int { - \frac{r^{2}}{c} \frac{d\varphi}{d\tau} \frac{d \delta \varphi}{dq} dq }
</math>

通过[[分部积分法]]
:<math>
0 = - \frac{r^{2}}{c} \frac{d\varphi}{d\tau} \delta \varphi 
- \int { \frac{d}{dq} \left[ - \frac{r^{2}}{c} \frac{d\varphi}{d\tau} \right] \delta \varphi dq }
</math>

在端点处纬度的变分为零，因此等式右边第一项为零；对于第二项，由于<math>\delta \varphi</math>可以任意取值，只有当被积函数的另一部分处处为零时才能保证等式右边为零，因此得到运动方程：
:<math>
\frac{d}{dq} \left[ - \frac{r^{2}}{c} \frac{d\varphi}{d\tau} \right] = 0
</math>

如果我们只对<math>t</math>取变分可得
:<math>
2 c^{2} \frac{d\tau}{dq} \delta \frac{d\tau}{dq} = 
2 \left( 1 - \frac{r_{s}}{r} \right) c^{2} \frac{dt}{dq} \delta \frac{dt}{dq}
</math>

类似地，两边除以<math>2 c \frac{d\tau}{dq}</math>得到被积函数的变分：
:<math>
c \delta \frac{d\tau}{dq} = 
c \left( 1 - \frac{r_{s}}{r} \right) \frac{dt}{d\tau} \delta \frac{dt}{dq}
= c \left( 1 - \frac{r_{s}}{r} \right) \frac{dt}{d\tau} \frac{d \delta t}{dq}
</math>

根据哈密顿原理
:<math>
0 = \delta \int { c \frac{d\tau}{dq} dq }
= \int { c \left( 1 - \frac{r_{s}}{r} \right) \frac{dt}{d\tau} \frac{d \delta t}{dq} dq }
</math>

分部积分
:<math>
0 = c \left( 1 - \frac{r_{s}}{r} \right) \frac{dt}{d\tau} \delta t 
- \int { \frac{d}{dq} \left[ c \left( 1 - \frac{r_{s}}{r} \right) \frac{dt}{d\tau} \right] \delta t dq }
</math>

得到运动方程
:<math>
\frac{d}{dq} \left[ c \left( 1 - \frac{r_{s}}{r} \right) \frac{dt}{d\tau} \right] = 0
</math>

对这两个方程积分并指定积分常数就可以得到上面关于守恒量的方程
:<math>
r^{2} \frac{d\varphi}{d\tau} = \frac{L}{m},
</math>

:<math>
\left( 1 - \frac{r_{s}}{r} \right) \frac{dt}{d\tau} = \frac{E}{mc^{2}}.
</math>

对于能量和角动量是常数的系统，这两个方程可以合并为一个并且对光子这样的无质量粒子同样成立，此时沿着所描述的测地线的固有时总为零。
:<math>
\frac{r^{2}}{bc} \frac{d\varphi}{dt} = 1 - \frac{r_{s}}{r}
</math>

== 参见 ==
* [[开普勒问题]]
* [[史瓦西度规]]
* [[广义相对论的实验验证]]
* [[拉普拉斯-龍格-冷次向量]]
* [[朗伯W函数#一般化|朗伯W函数]]

== 註釋 ==
{{Reflist|group="註"}}

== 参考文献 ==
{{Reflist}}

=== 期刊文章 ===
* {{cite journal en| last = Hagihara | first = Y | year = 1931 | title = Theory of the relativistic trajectories in a gravitational field of Schwarzschild | journal = Japanese Journal of Astronomy and Geophysics | volume = 8 | pages = 67–176 | issn = 0368-346X }}

{{廣義相對論}}
{{DEFAULTSORT:G}}
[[Category:广义相对论]]