在经典力学 里,拉普拉斯-龙格-冷次向量 (Laplace–Runge–Lenz vector;简称为LRL向量 )主要是用来描述,当一个物体环绕著另外一个物体运动时,轨道 的形状与取向 。典型的例子是行星的环绕著太阳公转 。在一个物理系统里,假若两个物体以万有引力 相互作用,则LRL向量必定是一个运动常数 ,不管在轨道的任何位置,计算出来的LRL向量都一样[ 1] ;也就是说,LRL向量是一个保守量 。更广义地,在克卜勒问题 里,由于两个物体以连心力 相互作用,而连心力遵守平方反比定律 ,所以,LRL向量是一个保守量[ 2] 。
本条目中,向量 与标量 分别用粗体 与斜体 显示。例如,位置向量通常用
r
{\displaystyle \mathbf {r} \,\!}
表示;而其大小则用
r
{\displaystyle r\,\!}
来表示。
氢原子 是由两个带电粒子构成的。这两个带电粒子以遵守库仑定律 的静电力 互相作用.静电力是一个标准的平方反比 连心力 。所以,氢原子 内部的微观运动是一个开普勒问题。在量子力学 的发展初期,薛丁格 还在思索他的薛丁格方程式 的时候,沃夫冈·包立 使用LRL向量,关键性地推导出氢原子的发射光谱 [ 3] 。这结果给予物理学家很大的信心,量子力学理论是正确的。
在经典力学 与量子力学 里,因为物理系统的某一种对称性 ,会产生 一个或多个对应的保守值。LRL向量也不例外。可是,它相对应的对称性很特别;在数学里,开普勒问题等价于一个粒子自由地移动于四维空间的三维球面 [ 4] ;所以,整个问题涉及四维空间的某种旋转对称[ 5] 。
拉普拉斯-龙格-冷次向量是因皮埃尔-西蒙·拉普拉斯 、卡尔·龙格 与威廉·楞次 而命名。它又称为拉普拉斯向量 ,龙格-冷次向量 ,或冷次向量 。有趣的是,LRL向量并不是这三位先生发现的!这向量曾经被重复地发现过好几次[ 6] 。它等价于天体力学 中无因次 的离心率向量 [ 7] 。发展至今,在物理学里,有许多各种各样的LRL向量的推广定义;牵涉到狭义相对论 ,或电磁场 ,甚至于不同类型的连心力 。
在重要的开普勒问题中,LRL向量
A
{\displaystyle \mathbf {A} }
是一个运动常数,时常用来描述天文轨道 ,例如行星的运动。然而,物理学家对它并不熟悉,这很可能是因为与动量与角动量相比,它的物理内涵比较难以被直觉地理解。因此,在过去三个世纪里,它曾被重复地发现过许多次[ 6] 。1710年,在一个不著名的义大利学刊里,雅各布·赫尔曼 最先发表了关于LRL向量的论文。在推导一个轨道方程式的过程中,他计算出LRL向量的大小,
A
{\displaystyle A}
是保守的[ 10] ;并且推导出此案例与椭圆 轨道离心率 的关系。稍后,赫尔曼把这结果告诉约翰·白努利 ,他的恩师。白努利又更进一步地推导出LRL向量的方向。这样,LRL向量得到了它的现代形式[ 11] 。所以,不容质疑地,LRL向量是赫尔曼和白努利共同发现的。
在那个世纪末尾,皮埃尔-西蒙·拉普拉斯 又重新地发现了LRL向量的保守性;稍微不同地,他的导引使用的是分析方法,而不是几何方法[ 12] 。十九世纪中叶,威廉·哈密顿 推导出全等的离心率向量 [ 7] 。他用离心率向量来证明,在平方反比连心力作用下,速端曲线 显示出,粒子动量向量的头部呈圆形移动[ 13] (参阅图3)。二十世纪初,约西亚·吉布斯 ,应用向量分析 ,推导出同样的向量[ 14] 。后来,卡尔·龙格 将吉布斯的导引,纳入自己所写的一本广受欢迎的,关于向量的,德文教科书内,成为其中的一个例题[ 15] 。1924年,威廉·楞次 发表了一篇关于氢原子 的旧量子论 的论文。在这篇论文中,他引用龙格所写的教科书的例题为参考[ 16] 。1926年,沃尔夫冈·包立 用LRL向量与矩阵力学 ,而不是薛丁格方程式 ,来推导氢 原子 的光谱 [ 3] 。这杰作说服了大多数物理学家,使他们觉得量子力学理论是正确的。
角动量
L
{\displaystyle \mathbf {L} }
的三个分量
L
i
{\displaystyle L_{i}}
的帕松括号 是[ 1]
{
L
i
,
L
j
}
=
∑
s
=
1
3
ϵ
i
j
s
L
s
{\displaystyle \{L_{i},L_{j}\}=\sum _{s=1}^{3}\epsilon _{ijs}L_{s}}
;
其中,指标
i
,
j
=
1
,
2
,
3
{\displaystyle i,\ j=1,\ 2,\ 3}
代表直角座标系 的三个座标
(
x
,
y
,
z
)
{\displaystyle (x,\ y,\ z)}
,
ϵ
i
j
s
{\displaystyle \epsilon _{ijs}}
是列维-奇维塔符号 ;在这里,为了避免与力强度的标记
k
{\displaystyle k}
发生混淆,采用
s
{\displaystyle s}
为连加运算的指标。
定义一个与LRL向量成比例的向量
D
{\displaystyle \mathbf {D} }
为
D
=
A
2
m
|
E
|
{\displaystyle \mathbf {D} ={\frac {\mathbf {A} }{\sqrt {2m\left|E\right|}}}}
。
向量
D
{\displaystyle \mathbf {D} }
与角动量
L
{\displaystyle \mathbf {L} }
的单位相同。
D
{\displaystyle \mathbf {D} }
与
L
{\displaystyle \mathbf {L} }
的帕松括号为[ 27]
{
D
i
,
L
j
}
=
∑
s
=
1
3
ϵ
i
j
s
D
s
{\displaystyle \{D_{i},L_{j}\}=\sum _{s=1}^{3}\epsilon _{ijs}D_{s}}
。
向量
D
{\displaystyle \mathbf {D} }
与自己的帕松括号跟总能量
E
{\displaystyle E}
的正负号有关;也就是说,跟是否总能量
E
{\displaystyle E}
是正值(在平方反比连心力作用下,产生开放的双曲线 轨道),或负值(在平方反比连心力作用下,产生闭合地椭圆 轨道)有关。假若总能量
E
{\displaystyle E}
是正值,帕松括号是
{
D
i
,
D
j
}
=
−
∑
s
=
1
3
ϵ
i
j
s
L
s
{\displaystyle \{D_{i},D_{j}\}=-\sum _{s=1}^{3}\epsilon _{ijs}L_{s}}
。
反之,假若总能量
E
{\displaystyle E}
是负值,帕松括号是
{
D
i
,
D
j
}
=
∑
s
=
1
3
ϵ
i
j
s
L
s
{\displaystyle \{D_{i},D_{j}\}=\sum _{s=1}^{3}\epsilon _{ijs}L_{s}}
。
由于以下这三个帕松括号方程式,
{
L
i
,
L
j
}
=
∑
s
=
1
3
ϵ
i
j
s
L
s
{\displaystyle \{L_{i},L_{j}\}=\sum _{s=1}^{3}\epsilon _{ijs}L_{s}}
,
{
D
i
,
L
j
}
=
∑
s
=
1
3
ϵ
i
j
s
D
s
{\displaystyle \{D_{i},L_{j}\}=\sum _{s=1}^{3}\epsilon _{ijs}D_{s}}
,
{
D
i
,
D
j
}
=
∑
s
=
1
3
ϵ
i
j
s
L
s
{\displaystyle \{D_{i},D_{j}\}=\sum _{s=1}^{3}\epsilon _{ijs}L_{s}}
,
如果总能量
E
{\displaystyle E}
是负值,则可确定克卜勒问题的对称群是四维的旋转群 SO(4)。
假若总能量
E
{\displaystyle E}
是负值,卡西米尔不变量
C
1
,
C
2
{\displaystyle C_{1},\ C_{2}}
定义为
C
1
=
D
⋅
D
+
L
⋅
L
=
m
k
2
2
|
E
|
{\displaystyle C_{1}=\mathbf {D} \cdot \mathbf {D} +\mathbf {L} \cdot \mathbf {L} ={\frac {mk^{2}}{2\left|E\right|}}}
,
C
2
=
D
⋅
L
=
0
{\displaystyle C_{2}=\mathbf {D} \cdot \mathbf {L} =0}
。
而且,卡西米尔不变量与
D
{\displaystyle \mathbf {D} }
的每一个分量的帕松括号皆为零:
{
C
1
,
D
i
}
=
{
C
2
,
D
i
}
=
0
{\displaystyle \{C_{1},D_{i}\}=\{C_{2},D_{i}\}=0}
。
还有,卡西米尔不变量与
L
{\displaystyle \mathbf {L} }
的每一个分量的帕松括号皆为零:
{
C
1
,
L
i
}
=
{
C
2
,
L
i
}
=
0
{\displaystyle \{C_{1},L_{i}\}=\{C_{2},L_{i}\}=0}
。
既然两个向量
D
{\displaystyle \mathbf {D} }
与
L
{\displaystyle \mathbf {L} }
永远是互相垂直的,
C
2
{\displaystyle C_{2}}
明显地是零。可是,另外一个不变量
C
1
{\displaystyle C_{1}}
只跟质量
m
{\displaystyle m}
、力强度
k
{\displaystyle k}
、总能量
E
{\displaystyle E}
有关。不变量
C
1
{\displaystyle C_{1}}
分别与
D
i
{\displaystyle D_{i}}
,
L
i
{\displaystyle L_{i}}
的帕松括号等于零的导引并不明显。这不变量
C
1
{\displaystyle C_{1}}
使得只用到量子力学 的正则对易关系 ,就可以推导出类氢原子 的原子能级 ,而不必用到的薛丁格方程式 。
图6:从LRL向量算符与角动量算符的对易关系,预测出来的氢原子的原子能级。各种实验都准确地证实这些能级正确无误。
帕松括号提供了一个简易的方法来正则量子化 经典系统。两个量子算符 的对易关系 等于
i
ℏ
{\displaystyle i\hbar }
乘以对应的经典变量[ 28] 。经过这量子化程序,计算克卜勒问题的卡西米尔算符
C
1
{\displaystyle C_{1}}
的本征值 ,沃尔夫冈·包利 成功地推导出类氢原子 的原子能级 (参阅图6),以及其发射光谱 [ 3] 。早在薛丁格方程式 成立之前[ 29] ,包利就研究出这重要的结果!
LRL向量
A
{\displaystyle \mathbf {A} }
的量子算符有一个奥妙之处,那就是动量算符与角动量算符并不对易。动量与角动量的叉积 必须仔细地加以定义[ 27] 。LRL向量的直角座标分量典型地定义为
A
k
≡
−
m
e
α
r
^
k
+
1
2
∑
i
=
1
3
∑
j
=
1
3
ϵ
i
j
k
(
p
i
l
j
+
l
j
p
i
)
{\displaystyle A_{k}\equiv -m_{e}\alpha {\hat {r}}_{k}+{\frac {1}{2}}\sum _{i=1}^{3}\sum _{j=1}^{3}\epsilon _{ijk}\left(p_{i}l_{j}+l_{j}p_{i}\right)}
;
其中,
m
e
{\displaystyle m_{e}}
是电子的质量,常数
α
=
e
2
4
π
ϵ
0
{\displaystyle \alpha ={\frac {e^{2}}{4\pi \epsilon _{0}}}}
,
e
{\displaystyle e}
是单位电荷量 ,
ϵ
0
{\displaystyle \epsilon _{0}}
是真空电容率 。
这定义有一个特性:指标
i
,
j
{\displaystyle i,\ j}
是对称的,指标
i
,
j
{\displaystyle i,\ j}
的互换不会改变
A
k
{\displaystyle A_{k}}
的数值。表示为向量形式,
A
=
−
m
e
α
r
^
+
1
2
(
p
×
L
−
L
×
p
)
{\displaystyle \mathbf {A} =-m_{e}\alpha {\hat {r}}+{\frac {1}{2}}(\mathbf {p} \times \mathbf {L} -\mathbf {L} \times \mathbf {p} )}
。
那么,其对应的哈密顿算符 是
H
=
p
2
2
m
e
−
α
r
{\displaystyle H={\frac {\mathbf {p} ^{2}}{2m_{e}}}-{\frac {\alpha }{r}}}
。
与
A
{\displaystyle \mathbf {A} }
向量成正比的
D
{\displaystyle \mathbf {D} }
向量则是
D
=
A
−
2
m
e
H
{\displaystyle \mathbf {D} ={\frac {\mathbf {A} }{\sqrt {-2m_{e}H}}}}
。
请注意,由于哈密顿算符的本征值是负值,所以公式内的平方根是个实数。
经过一番繁冗的运算,可以求得对易关系:
{
L
i
,
L
j
}
=
i
ℏ
ϵ
i
j
k
L
k
{\displaystyle \{L_{i},\,L_{j}\}=i\hbar \epsilon _{ijk}L_{k}}
、
{
L
i
,
D
j
}
=
i
ℏ
ϵ
i
j
k
D
k
{\displaystyle \{L_{i},\,D_{j}\}=i\hbar \epsilon _{ijk}D_{k}}
、
{
D
i
,
D
j
}
=
i
ℏ
ϵ
i
j
k
L
k
{\displaystyle \{D_{i},\,D_{j}\}=i\hbar \epsilon _{ijk}L_{k}}
、
{
H
,
D
i
}
=
0
{\displaystyle \{H,\,D_{i}\}=0}
。
定义第一阶张量 算符 为
J
0
≡
D
3
{\displaystyle J_{0}\equiv D_{3}}
、
J
±
1
≡
∓
1
2
(
D
1
±
i
D
2
)
{\displaystyle J_{\pm 1}\equiv \mp {\frac {1}{\sqrt {2}}}\left(D_{1}\pm iD_{2}\right)}
。
一个归一化 的第一卡西米尔算符可以同样地定义为
C
1
≡
D
2
+
L
2
=
m
e
α
2
−
2
H
−
ℏ
2
{\displaystyle C_{1}\equiv \mathbf {D} ^{2}+\mathbf {L} ^{2}={\frac {m_{e}\alpha ^{2}}{-2H}}-\hbar ^{2}}
。
注意到
J
+
1
{\displaystyle J_{+1}}
和
J
−
1
{\displaystyle J_{-1}}
的对易关系是
{
J
+
1
,
J
−
1
}
=
i
{
D
1
,
D
2
}
=
−
ℏ
L
3
{\displaystyle \{J_{+1},J_{-1}\}=i\{D_{1},\,D_{2}\}=-\hbar L_{3}}
。
应用维格纳-埃卡特定理 (Wigner-Eckart theorem ),
J
0
|
l
,
m
⟩
=
i
l
2
−
m
2
C
l
|
l
−
1
,
m
⟩
−
i
(
l
+
1
)
2
−
m
2
C
l
+
1
|
l
+
1
,
m
⟩
{\displaystyle J_{0}|l,\,m\rangle =i{\sqrt {l^{2}-m^{2}}}\ {\mathfrak {C}}_{l}|l-1,\,m\rangle -i{\sqrt {(l+1)^{2}-m^{2}}}\ {\mathfrak {C}}_{l+1}|l+1,\,m\rangle }
、
J
+
1
|
l
,
m
⟩
=
−
i
(
l
−
m
)
(
l
−
m
−
1
)
/
2
C
l
|
l
−
1
,
m
+
1
⟩
−
i
(
l
+
m
+
1
)
(
l
+
m
+
2
)
/
2
C
l
+
1
|
l
+
1
,
m
+
1
⟩
{\displaystyle J_{+1}|l,\,m\rangle =-i{\sqrt {(l-m)(l-m-1)/2}}\ {\mathfrak {C}}_{l}|l-1,\,m+1\rangle -i{\sqrt {(l+m+1)(l+m+2)/2}}\ {\mathfrak {C}}_{l+1}|l+1,\,m+1\rangle }
、
J
−
1
|
l
,
m
⟩
=
−
i
(
l
+
m
)
(
l
+
m
−
1
)
/
2
C
l
|
l
−
1
,
m
−
1
⟩
−
i
(
l
−
m
+
1
)
(
l
−
m
+
2
)
/
2
C
l
+
1
|
l
+
1
,
m
−
1
⟩
{\displaystyle J_{-1}|l,\,m\rangle =-i{\sqrt {(l+m)(l+m-1)/2}}\ {\mathfrak {C}}_{l}|l-1,\,m-1\rangle -i{\sqrt {(l-m+1)(l-m+2)/2}}\ {\mathfrak {C}}_{l+1}|l+1,\,m-1\rangle }
;
其中,
|
l
,
m
⟩
{\displaystyle |l,\,m\rangle }
是角量子数 为
l
{\displaystyle l}
、磁量子数 为
l
{\displaystyle l}
的本征态 ,
C
l
{\displaystyle {\mathfrak {C}}_{l}}
是常数系数。
经过一番运算,
J
+
1
{\displaystyle J_{+1}}
和
J
−
1
{\displaystyle J_{-1}}
的对易算符作用于
|
l
,
m
⟩
{\displaystyle |l,\,m\rangle }
的结果是
{
J
+
1
,
J
−
1
}
|
l
,
m
⟩
=
−
m
[
(
2
l
−
1
)
C
l
2
−
(
2
l
+
3
)
C
l
+
1
2
]
|
l
,
m
⟩
=
−
ℏ
L
3
|
l
,
m
⟩
=
−
m
ℏ
2
{\displaystyle {\begin{aligned}\{J_{+1},\,J_{-1}\}|l,\,m\rangle &=-m[(2l-1){\mathfrak {C}}_{l}^{2}-(2l+3){\mathfrak {C}}_{l+1}^{2}]|l,\,m\rangle \\&=-\hbar L_{3}|l,\,m\rangle =-m\hbar ^{2}\\\end{aligned}}}
。
所以,
C
l
{\displaystyle {\mathfrak {C}}_{l}}
的递回关系 是
(
2
l
−
1
)
C
l
2
−
(
2
l
+
3
)
C
l
+
1
2
=
ℏ
2
{\displaystyle (2l-1){\mathfrak {C}}_{l}^{2}-(2l+3){\mathfrak {C}}_{l+1}^{2}=\hbar ^{2}}
。
假设
C
l
2
{\displaystyle {\mathfrak {C}}_{l}^{2}}
是非负值,则为了满足上述公式,
l
>
0
{\displaystyle l>0}
。再假设
l
{\displaystyle l}
的最大值是
l
m
a
x
{\displaystyle l_{max}}
。由于态向量
|
l
m
a
x
+
1
,
⟩
{\displaystyle |l_{max}+1,\,\ \rangle }
不存在,
C
l
m
a
x
+
1
=
0
{\displaystyle {\mathfrak {C}}_{l_{max}+1}=0}
。因此,
C
l
m
a
x
=
ℏ
2
2
l
m
a
x
−
1
{\displaystyle {\mathfrak {C}}_{l_{max}}={\frac {\hbar ^{2}}{2l_{max}-1}}}
。设定
n
=
l
m
a
x
−
1
{\displaystyle n=l_{max}-1}
,稍加计算,
C
l
{\displaystyle {\mathfrak {C}}_{l}}
的一般方程式为
C
l
=
n
2
−
l
2
4
l
2
−
1
ℏ
{\displaystyle {\mathfrak {C}}_{l}={\sqrt {\frac {n^{2}-l^{2}}{4l^{2}-1}}}\ \hbar }
。
这个
n
{\displaystyle n}
就是跟能级有关的主量子数 。先计算
D
2
{\displaystyle D^{2}}
:
D
2
|
n
,
l
,
m
⟩
=
[
J
+
1
J
−
1
+
J
−
1
J
+
1
+
J
0
2
]
|
n
,
l
,
m
⟩
=
(
n
2
−
l
2
−
l
−
1
)
ℏ
2
|
n
,
l
,
m
⟩
{\displaystyle {\begin{aligned}D^{2}|n,\,l,\,m\rangle &=[J_{+1}J_{-1}+J_{-1}J_{+1}+J_{0}^{2}]|n,\,l,\,m\rangle \\&=(n^{2}-l^{2}-l-1)\hbar ^{2}|n,\,l,\,m\rangle \\\end{aligned}}}
。
所以,第一卡西米尔算符
C
1
{\displaystyle C_{1}}
作用于态向量
|
n
,
l
,
m
⟩
{\displaystyle |n,\,l,\,m\rangle }
可以得到
C
1
|
n
,
l
,
m
⟩
=
(
D
2
+
L
2
)
|
n
,
l
,
m
⟩
=
(
n
2
−
1
)
ℏ
2
|
n
,
l
,
m
⟩
{\displaystyle C_{1}|n,\,l,\,m\rangle =(D^{2}+L^{2})|n,\,l,\,m\rangle =(n^{2}-1)\hbar ^{2}|n,\,l,\,m\rangle }
。
第一卡西米尔算符
C
1
{\displaystyle C_{1}}
的本征值是
(
n
2
−
1
)
ℏ
2
{\displaystyle (n^{2}-1)\hbar ^{2}}
。重点是,这些本征值跟量子数
l
{\displaystyle l}
、
m
{\displaystyle m}
无关,这造成了原子能阶 的简并 [ 27] :
E
n
=
−
m
e
α
2
2
ℏ
2
n
2
=
−
m
e
e
4
2
n
2
(
4
π
ϵ
0
)
2
ℏ
2
{\displaystyle E_{n}=-{\frac {m_{e}\alpha ^{2}}{2\hbar ^{2}n^{2}}}=-{\frac {m_{e}e^{4}}{2n^{2}(4\pi \epsilon _{0})^{2}\hbar ^{2}}}}
。
这就是著名的氢原子 波耳公式 。
图8:图7的动量的速端曲线对应于
η
{\displaystyle \eta }
三维单位球 的大圆线 的球极平面投影 。每一个大圆线都与
η
x
{\displaystyle \eta _{x}}
-轴相交,后者垂直于页面。投影是从北极(
w
{\displaystyle w}
单位向量)到
η
x
{\displaystyle \eta _{x}}
η
x
{\displaystyle \eta _{x}}
-平面,如同这里的虚黑线表示于品红色速端曲线。在纬度
α
{\displaystyle \alpha }
的大圆线对应于离心率
e
=
s
i
n
α
{\displaystyle e=sin\ \alpha }
。在这图里的大圆线的颜色对应于它们在图7的速端曲线。
克卜勒问题 与四维旋转对称性SO(4)的关联可以很容易地观察出来[ 31] [ 33] [ 34] 。标记四维直角座标 为
(
w
,
x
,
y
,
z
)
{\displaystyle (w,\ x,\ y,\ z)}
;其中,
(
x
,
y
,
z
)
{\displaystyle (x,\ y,\ z)}
代表三维位置向量
r
{\displaystyle \mathbf {r} }
的直角座标。三维动量
p
{\displaystyle \mathbf {p} }
与三维单位球 的四维向量
η
{\displaystyle {\boldsymbol {\eta }}}
的关系为
η
=
p
2
−
p
0
2
p
2
+
p
0
2
w
^
+
2
p
0
p
2
+
p
0
2
p
{\displaystyle {\boldsymbol {\eta }}=\displaystyle {\frac {p^{2}-p_{0}^{2}}{p^{2}+p_{0}^{2}}}\mathbf {\hat {w}} +{\frac {2p_{0}}{p^{2}+p_{0}^{2}}}\mathbf {p} }
;
其中,
w
^
{\displaystyle \mathbf {\hat {w}} }
是新的w-轴的单位向量。
很简单地,可以核对
η
{\displaystyle {\boldsymbol {\eta }}}
也是一个单位向量:
η
=
η
^
{\displaystyle {\boldsymbol {\eta }}={\hat {\boldsymbol {\eta }}}}
。
从
p
{\displaystyle \mathbf {p} }
至
η
^
{\displaystyle {\hat {\boldsymbol {\eta }}}}
的映射 有一个独特唯一的逆反;例如,动量
p
{\displaystyle \mathbf {p} }
的x-轴分量是
p
x
=
p
0
η
x
1
−
η
w
{\displaystyle p_{x}=p_{0}{\frac {\eta _{x}}{1-\eta _{w}}}}
。
p
y
{\displaystyle p_{y}}
与
p
z
{\displaystyle p_{z}}
也有类似的公式。换句话说,三维动量向量
p
{\displaystyle \mathbf {p} }
是四维单位向量
η
^
{\displaystyle {\hat {\boldsymbol {\eta }}}}
的球极平面投影 ,其比例因子为
p
0
{\displaystyle p_{0}}
。
选择一个合适的直角座标,使z-轴与角动量
L
{\displaystyle \mathbf {L} }
同直线,使动量的速端曲线的取向 如同图7,圆心包含于y-轴。这样,不失广义性,就可以观察到这旋转对称性。由于粒子的运动包含于一个平面,
p
{\displaystyle \mathbf {p} }
与
L
{\displaystyle \mathbf {L} }
互相垂直,而且,
p
z
=
η
z
=
0
{\displaystyle p_{z}=\eta _{z}=0}
。因此,只需要专注于三维向量
η
^
=
(
η
w
,
η
x
,
η
y
)
{\displaystyle {\hat {\boldsymbol {\eta }}}=(\eta _{w},\ \eta _{x},\ \eta _{y})}
。图7速端曲线的阿波罗尼奥斯圆 家族对应于在三维单位球
η
{\displaystyle {\boldsymbol {\eta }}}
的大圆线 家族。每一个大圆线与
η
x
{\displaystyle \eta _{x}}
相交于两个交点
η
x
=
±
1
{\displaystyle \eta _{x}=\pm 1}
。这两个交点相对于速端曲线图的两点
p
x
=
±
p
0
{\displaystyle p_{x}=\pm p_{0}}
。这两个交点也是这些大圆线的共同交点。所以,这些大圆线的互相关系是一个环绕著
η
x
{\displaystyle \eta _{x}}
-轴的简单旋转(参阅图8)。以
η
x
{\displaystyle \eta _{x}}
-轴为转轴,每一个大圆线的位置是从
η
x
η
y
{\displaystyle \eta _{x}\eta _{y}}
-平面旋转
α
{\displaystyle \alpha }
角。
取任意一个大圆线
η
y
{\displaystyle \eta _{y}}
最大值的一点,其坐标为
(
η
w
,
0
,
η
y
,
0
)
{\displaystyle (\eta _{w},\ 0,\ \eta _{y},\ 0)}
。那么,
p
x
=
0
{\displaystyle p_{x}=0}
、
p
y
=
p
=
(
A
+
m
k
)
/
L
{\displaystyle p_{y}=p=(A+mk)/L}
、
η
y
=
cos
(
α
)
=
2
p
0
p
y
p
y
2
+
p
0
2
{\displaystyle \eta _{y}=\cos(\alpha )={\frac {2p_{0}p_{y}}{p_{y}^{2}+p_{0}^{2}}}}
。
经过一番运算,代入
p
0
{\displaystyle p_{0}}
的值,可以得到
sin
(
α
)
=
p
y
2
−
p
0
2
p
y
2
+
p
0
2
=
(
A
+
m
k
)
2
−
2
m
|
E
|
L
2
(
A
+
m
k
)
2
+
2
m
|
E
|
L
2
{\displaystyle {\begin{aligned}\sin(\alpha )&={\frac {p_{y}^{2}-p_{0}^{2}}{p_{y}^{2}+p_{0}^{2}}}\\&={\frac {(A+mk)^{2}-2m|E|L^{2}}{(A+mk)^{2}+2m|E|L^{2}}}\\\end{aligned}}}
。
给予一个束缚轨道,能量是负值的:
sin
(
α
)
=
(
A
+
m
k
)
2
+
2
m
E
L
2
(
A
+
m
k
)
2
−
2
m
E
L
2
=
A
m
k
=
e
{\displaystyle {\begin{aligned}\sin(\alpha )&={\frac {(A+mk)^{2}+2mEL^{2}}{(A+mk)^{2}-2mEL^{2}}}\\&={\frac {A}{mk}}=e\\\end{aligned}}}
。
所以,离心率
e
=
sin
(
α
)
{\displaystyle e=\sin(\alpha )}
是纬度
α
{\displaystyle \alpha }
的正弦函数 。
由于图7的动量的速端曲线对应于
η
{\displaystyle \eta }
三维单位球的大圆线的球极平面投影,而这速端曲线家族的成员都拥有相同的能量。所以,这旋转的对称性使所有能量相同的轨道都能够互相变换。但是,这旋转正交于通常的三维旋转,因为它涉及了第四维
η
w
{\displaystyle \eta _{w}}
。高维度的对称性是克卜勒问题对应于LRL向量的一个特征。
采用椭圆柱坐标
χ
,
ψ
,
ϕ
{\displaystyle \chi ,\ \psi ,\ \phi }
来代替四维座标
η
{\displaystyle {\boldsymbol {\eta }}}
,克卜勒问题有一个精致的作用量-角度座标 解答[ 35] :
η
w
=
c
n
χ
c
n
ψ
{\displaystyle \eta _{w}=\mathrm {cn} \,\chi \ \mathrm {cn} \,\psi }
,
η
x
=
s
n
χ
d
n
ψ
cos
ϕ
{\displaystyle \eta _{x}=\mathrm {sn} \,\chi \ \mathrm {dn} \,\psi \ \cos \phi }
,
η
y
=
s
n
χ
d
n
ψ
sin
ϕ
{\displaystyle \eta _{y}=\mathrm {sn} \,\chi \ \mathrm {dn} \,\psi \ \sin \phi }
,
η
z
=
d
n
χ
s
n
ψ
{\displaystyle \eta _{z}=\mathrm {dn} \,\chi \ \mathrm {sn} \,\psi }
;
其中,
s
n
,
c
n
,
d
n
{\displaystyle \mathrm {sn} ,\,\mathrm {cn} ,\,\mathrm {dn} }
是雅可比椭圆函数 。
以下几种导引可以证明,在平方反比连心力下,LRL向量守恒。
LRL向量的保守性与前面所提的旋转对称性,两者之间的关系,可以用诺特定理 来做连结分析。诺特定理也可以用来辨明LRL向量是运动常数 。诺特定理表明[ 37] :在一个物理系统里,对于广义坐标
q
i
{\displaystyle q_{i}}
的微小变分
δ
q
i
=
ϵ
g
i
(
q
,
q
˙
,
t
)
{\displaystyle \delta q_{i}=\epsilon g_{i}(\mathbf {q} ,\ \mathbf {\dot {q}} ,\ t)}
,假若,取至微小参数
ϵ
{\displaystyle \epsilon }
的一阶,拉格朗日量
L
{\displaystyle {\mathcal {L}}}
的变分
δ
L
{\displaystyle \delta {\mathcal {L}}}
是
δ
L
=
ϵ
d
d
t
G
(
q
,
t
)
{\displaystyle \delta {\mathcal {L}}=\epsilon {\frac {\mathrm {d} }{\mathrm {d} t}}G(\mathbf {q} ,\ t)}
,
则必存在保守量
Γ
{\displaystyle \Gamma }
满足方程式
Γ
=
−
G
+
∑
i
g
i
(
∂
L
∂
q
˙
i
)
{\displaystyle \Gamma =-G+\sum _{i}g_{i}\left({\frac {\partial {\mathcal {L}}}{\partial {\dot {q}}_{i}}}\right)}
;
其中,
g
i
(
q
,
q
˙
,
t
)
{\displaystyle g_{i}(\mathbf {q} ,\ \mathbf {\dot {q}} ,\ t)}
、
G
(
q
,
t
)
{\displaystyle G(\mathbf {q} ,\ t)}
都是函数。
更具体地,在一个克卜勒问题里,试设定坐标
x
i
{\displaystyle x_{i}}
的微小变分为
δ
x
i
=
ϵ
2
[
2
p
i
x
s
−
x
i
p
s
−
(
r
⋅
p
)
δ
i
s
]
{\displaystyle \delta x_{i}={\frac {\epsilon }{2}}\left[2p_{i}x_{s}-x_{i}p_{s}-(\mathbf {r} \cdot \mathbf {p} )\delta _{is}\right]}
;
其中,
i
=
1
,
2
,
3
{\displaystyle i=1,\ 2,\ 3}
,
x
i
{\displaystyle x_{i}}
与
p
i
{\displaystyle p_{i}}
分别为位置
r
{\displaystyle \mathbf {r} }
与动量
p
{\displaystyle \mathbf {p} }
的
i
{\displaystyle i}
-轴分量,
δ
i
s
{\displaystyle \delta _{is}}
是克罗内克尔δ ,
s
{\displaystyle s}
是固定的下标。
由于克卜勒问题的拉格朗日量是
L
=
∑
i
(
1
2
m
x
˙
i
x
˙
i
)
+
k
r
{\displaystyle {\mathcal {L}}=\sum _{i}\left({\frac {1}{2}}m{\dot {x}}_{i}{\dot {x}}_{i}\right)+{\frac {k}{r}}}
。
其运动方程式 为
m
x
¨
i
+
k
x
i
r
3
=
0
{\displaystyle m{\ddot {x}}_{i}+k{\frac {x_{i}}{r^{3}}}=0}
。
对应于坐标
x
i
{\displaystyle x_{i}}
的变分,速度
x
˙
i
{\displaystyle {\dot {x}}_{i}}
的变分为
δ
x
˙
i
=
ϵ
2
[
2
p
˙
i
x
s
−
x
i
p
˙
s
+
p
i
x
˙
s
−
p
2
m
δ
i
s
−
(
r
⋅
p
˙
)
δ
i
s
]
=
ϵ
2
[
−
k
r
3
x
i
x
s
+
p
i
x
˙
s
−
p
2
m
δ
i
s
+
k
r
δ
i
s
]
{\displaystyle {\begin{aligned}\delta {\dot {x}}_{i}&={\frac {\epsilon }{2}}\left[2{\dot {p}}_{i}x_{s}-x_{i}{\dot {p}}_{s}+p_{i}{\dot {x}}_{s}-{\frac {p^{2}}{m}}\delta _{is}-(\mathbf {r} \cdot {\dot {\mathbf {p} }})\delta _{is}\right]\\&={\frac {\epsilon }{2}}\left[-{\frac {k}{r^{3}}}x_{i}x_{s}+p_{i}{\dot {x}}_{s}-{\frac {p^{2}}{m}}\delta _{is}+{\frac {k}{r}}\delta _{is}\right]\\\end{aligned}}}
。
拉格朗日量取至一阶的变分是
δ
L
=
∑
i
(
∂
L
∂
x
i
δ
x
i
+
∂
L
∂
x
˙
i
δ
x
˙
i
)
=
∑
i
(
−
k
x
i
r
3
δ
x
i
+
m
x
˙
i
δ
x
˙
i
)
{\displaystyle {\begin{aligned}\delta {\mathcal {L}}&=\sum _{i}\left({\frac {\partial {\mathcal {L}}}{\partial x_{i}}}\delta x_{i}+{\frac {\partial {\mathcal {L}}}{\partial {\dot {x}}_{i}}}\delta {\dot {x}}_{i}\right)\\&=\sum _{i}\left(-{\frac {kx_{i}}{r^{3}}}\delta x_{i}+m{\dot {x}}_{i}\delta {\dot {x}}_{i}\right)\\\end{aligned}}}
。
代入
δ
x
i
{\displaystyle \delta x_{i}}
和
δ
x
˙
i
{\displaystyle \delta {\dot {x}}_{i}}
的公式,经过一番繁琐的运算,可以得到
δ
L
=
ϵ
m
k
d
d
t
(
x
s
r
)
{\displaystyle \delta {\mathcal {L}}=\epsilon mk{\frac {\mathrm {d} }{\mathrm {d} t}}\left({\frac {x_{s}}{r}}\right)}
。
再代入保守量
Γ
{\displaystyle \Gamma }
的公式,则会得到
Γ
=
p
2
x
s
−
p
s
(
r
⋅
p
)
−
m
k
x
s
r
=
[
p
×
L
−
m
k
r
^
]
s
{\displaystyle \Gamma =p^{2}x_{s}-p_{s}\left(\mathbf {r} \cdot \mathbf {p} \right)-{\frac {mkx_{s}}{r}}=\left[\mathbf {p} \times \mathbf {L} -mk{\hat {\mathbf {r} }}\right]_{s}}
;
而这正是LRL向量的
s
{\displaystyle s}
-轴分量
A
s
{\displaystyle A_{s}}
。
包立, 沃尔夫冈 , Über das Wasserstoffspektrum vom Standpunkt der neuen Quantenmechanik, Zeitschrift für Physik, 1926, 36 : 336–363
Fock, V. , Zur Theorie des Wasserstoffatoms, Zeitschrift für Physik, 1935, 98 : 145–154
巴格曼, 华伦泰 , Zur Theorie des Wasserstoffatoms: Bemerkungen zur gleichnamigen Arbeit von V. Fock, Zeitschrift für Physik, 1936, 99 : 576–582
Goldstein, H., Prehistory of the Runge–Lenz vector, American Journal of Physics, 1975, 43 : 735–738 Goldstein, H., More on the prehistory of the Runge–Lenz vector, American Journal of Physics, 1976, 44 : 1123–1124
哈密顿, 威廉 , Applications of Quaternions to Some Dynamical Questions, Proceedings of the Royal Irish Academy, 1847, 3 : Appendix III
Fradkin, D. M., Existence of the Dynamic Symmetries O4 and SU3 for All Classical Central Potential Problems, Progress of Theoretical Physics, 1967, 37 : 798–812
Yoshida, T, Two methods of generalisation of the Laplace–Runge–Lenz vector, European Journal of Physics, 1987, 8 : 258–259
赫尔曼, 雅各布 , Unknown title, Giornale de Letterati D'Italia, 1710, 2 : 447–467赫尔曼, 雅各布 , Extrait d'une lettre de M. Herman à M. Bernoulli datée de Padoüe le 12. Juillet 1710, Histoire de l'academie royale des sciences (Paris), 1710, 1732 : 519–521
白努利, 约翰 , Extrait de la Réponse de M. Bernoulli à M. Herman datée de Basle le 7. Octobre 1710, Histoire de l'academie royale des sciences (Paris), 1710, 1732 : 521–544
拉普拉斯, 皮埃尔-西蒙 . Traité de mécanique celeste. 1799: Tome I, Premiere Partie, Livre II, pp.165ff.
哈密顿, 威廉 , The hodograph or a new method of expressing in symbolic language the Newtonian law of attraction, Proceedings of the Royal Irish Academy, 1847, 3 : 344–353
吉布斯, 约西亚 ; Wilson E. B. Vector Analysis. New York: Scribners. 1901: p. 135.
龙格, 卡尔 . Vektoranalysis. Leipzig: Hirzel. 1919: Volume I.
冷次, 威尔汉 , Über den Bewegungsverlauf und Quantenzustände der gestörten Keplerbewegung, Zeitschrift für Physik, 1924, 24 : 197–207
Taff, L. G. Celestial Mechanics: A Computational Guide for the Practitioner. New York: John Wiley and Sons. 1985: 42–43.
Evans, N. W., Superintegrability in classical mechanics, Physical Review A, 1990, 41 : 5666–5676
索末菲, 阿诺 . Atomic Structure and Spectral Lines. London: Methuen. 1923: 118.
Evans, N. W., Group theory of the Smorodinsky–Winternitz system, Journal of Mathematical Physics, 1991, 32 : 3369–3375
爱因斯坦, 阿尔伯特 , Erklärung der Perihelbewegung des Merkur aus der allgemeinen Relativitätstheorie, Sitzungsberichte der Preussischen Akademie der Wissenschaften, 1915, 1915 : 831–839
Le Verrier , Lettre de M. Le Verrier à M. Faye sur la Théorie de Mercure et sur le Mouvement du Périhélie de cette Planète, Comptes Rendus de l'Academie de Sciences (Paris), 1859, 49 : 379–383
Will, C. M. General Relativity, an Einstein Century Survey SW Hawking and W Israel, eds. Cambridge: Cambridge University Press. 1979: Chapter 2.
派斯, 亚伯拉罕 . Subtle is the Lord: The Science and the Life of Albert Einstein. Oxford University Press. 1982.
Roseveare, N. T. Mercury's Perihelion from Le Verrier to Einstein. Oxford University Press. 1982.
狄拉克, 保罗 . Principles of Quantum Mechanics, 4th revised edition. Oxford University Press. 1958.
薛丁格, 埃尔文 , Quantisierung als Eigenwertproblem, Annalen der Physik, 1926, 384 : 361–376
Prince, GE; Eliezer CJ, On the Lie symmetries of the classical Kepler problem, Journal of Physics A: Mathematical and General, 1981, 14 : 587–596
Bander, M; Itzykson C, Group Theory and the Hydrogen Atom (I), Reviews of Modern Physics, 1966, 38 : 330–345
Bander, M; Itzykson C, Group Theory and the Hydrogen Atom (II), Reviews of Modern Physics, 1966, 38 : 346–358
Rogers, HH, Symmetry transformations of the classical Kepler problem, Journal of Mathematical Physics, 1973, 14 : 1125–1129
Lakshmanan, M; Hasegawa H, On the canonical equivalence of the Kepler problem in coordinate and momentum spaces, Journal of Physics A: L889–L893
Dulock, VA; McIntosh HV, On the Degeneracy of the Kepler Problem, Pacific Journal of Mathematics, 1966, 19 : 39–55
Lévy-Leblond, JM, Conservation Laws for Gauge-Invariant Lagrangians in Classical Mechanics, American Journal of Physics, 1971, 39 : 502–506
Gonzalez-Gascon, F, Notes on the symmetries of systems of differential equations, Journal of Mathematical Physics, 1977, 18 : 1763–1767
李, 索菲斯 . Vorlesungen über Differentialgleichungen. Leipzig: Teubner. 1891.
Ince, EL. Ordinary Differential Equations. New York: Dover (1956 reprint). 1926: 93–113.
Redmond, P. J., Generalization of the Runge–Lenz Vector in the Presence of an Electric Field, Physical Review, 1964, 133 : B1352–B1353
Leach, P.G.L.; G.P. Flessas, Generalisations of the Laplace–Runge–Lenz vector, J. Nonlinear Math. Phys., 2003, 10 : 340–423,