拉普拉斯-龍格-冷次向量

来自testwiki
跳转到导航 跳转到搜索
本条目中,向量标量分別用粗體斜體顯示。例如,位置向量通常用 𝐫 表示;而其大小則用 r 來表示。

Template:NoteTA經典力學裏,拉普拉斯-龍格-冷次向量(Laplace–Runge–Lenz vector;簡稱為LRL向量)主要是用來描述,當一個物體環繞著另外一個物體運動時,軌道的形狀與取向。典型的例子是行星的環繞著太陽公轉。在一個物理系統裏,假若兩個物體以萬有引力相互作用,則LRL向量必定是一個運動常數,不管在軌道的任何位置,計算出來的LRL向量都一樣[1];也就是說,LRL向量是一個保守量。更廣義地,在克卜勒問題裏,由於兩個物體以連心力相互作用,而連心力遵守平方反比定律,所以,LRL向量是一個保守量[2]

氫原子是由兩個帶電粒子構成的。這兩個帶電粒子以遵守庫侖定律靜電力互相作用.靜電力是一個標準的平方反比連心力。所以,氫原子內部的微觀運動是一個开普勒問題。在量子力學的發展初期,薛丁格還在思索他的薛丁格方程式的時候,沃夫岡·包立使用LRL向量,關鍵性地推導出氫原子的發射光譜[3]。這結果給予物理學家很大的信心,量子力學理論是正確的。

經典力學量子力學裏,因為物理系統的某一種對稱性會產生一個或多個對應的保守值。LRL向量也不例外。可是,它相對應的對稱性很特別;在數學裏,开普勒問題等價於一個粒子自由地移動於四維空間的三維球面[4];所以,整個問題涉及四維空間的某種旋轉對稱[5]

拉普拉斯-龍格-冷次向量是因皮埃爾-西蒙·拉普拉斯卡爾·龍格威廉·楞次而命名。它又稱為拉普拉斯向量龍格-冷次向量,或冷次向量。有趣的是,LRL向量並不是這三位先生發現的!這向量曾經被重複地發現過好幾次[6]。它等價於天體力學中無因次離心率向量[7]。發展至今,在物理學裏,有許多各種各樣的LRL向量的推廣定義;牽涉到狹義相對論,或電磁場,甚至於不同類型的連心力

概論

在一個物理系統裏,在任意保守連心力的作用下(參閱保守力),一個粒子的運動,都會擁有至少四個運動常數能量角動量𝐋的三個分量皆為運動常數。粒子的軌道被限制於一個平面。粒子的動量𝐩和從力中心點的位置到粒子位置的位移𝐫(參閱圖1)。粒子的運動平面垂直於角動量𝐋。用方程式表示,

𝐫𝐋=0

LRL向量𝐀,也肯定地包含於粒子的運動平面。可是,只有當連心力遵守平方反比定律時,𝐀才是常數向量[1]。對於別種連心力,𝐀不是常數向量,其大小與方向都會改變。假若連心力近似地遵守平方反比定律,則𝐀的大小近似常數,而方向會緩慢地轉動。對於所有的連心力,可以定義一個廣義LRL向量,但是,這廣義向量通常並沒有解析解,假若有,也會是一個非常複雜的函數[8][9]

歷史

在重要的开普勒問題中,LRL向量𝐀是一個運動常數,時常用來描述天文軌道,例如行星的運動。然而,物理學家對它並不熟悉,這很可能是因為與動量與角動量相比,它的物理內涵比較難以被直覺地理解。因此,在過去三個世紀裏,它曾被重複地發現過許多次[6]。1710年,在一個不著名的義大利學刊裏,雅各布·赫爾曼最先發表了關於LRL向量的論文。在推導一個軌道方程式的過程中,他計算出LRL向量的大小, A是保守的[10];並且推導出此案例與橢圓軌道離心率的關係。稍後,赫爾曼把這結果告訴约翰·白努利,他的恩師。白努利又更進一步地推導出LRL向量的方向。這樣,LRL向量得到了它的現代形式[11]。所以,不容質疑地,LRL向量是赫爾曼和白努利共同發現的。

在那個世紀末尾,皮埃爾-西蒙·拉普拉斯又重新地發現了LRL向量的保守性;稍微不同地,他的導引使用的是分析方法,而不是幾何方法[12]。十九世紀中葉,威廉·哈密頓推導出全等的離心率向量[7]。他用離心率向量來證明,在平方反比連心力作用下,速端曲線顯示出,粒子動量向量的頭部呈圓形移動[13] (參閱圖3)。二十世紀初,約西亞·吉布斯,應用向量分析,推導出同樣的向量[14]。後來,卡爾·龍格將吉布斯的導引,納入自己所寫的一本廣受歡迎的,關於向量的,德文教科書內,成為其中的一個例題[15]。1924年,威廉·楞次發表了一篇關於氫原子舊量子論的論文。在這篇論文中,他引用龍格所寫的教科書的例題為參考[16]。1926年,沃爾夫岡·包立用LRL向量與矩陣力學,而不是薛丁格方程式,來推導原子光譜[3]。這傑作說服了大多數物理學家,使他們覺得量子力學理論是正確的。

數學定義

圖1:在平方反比連心力的作用下,一個移動中的粒子,在橢圓軌道的四點(標記為1, 2, 3,與4)的LRL向量𝐀(紅色表示)。力中心點表示為一個小黑點;從這黑點,位置向量𝐫(黑色表示)以徑向方向指出。角動量𝐋垂直於軌道的平面。共面的向量𝐩×𝐋mk𝐫^分別用藍色與綠色表示。LRL向量𝐀是一個運動常數向量

平方反比連心力𝐅(r)可以表達為

𝐅(r)=kr2𝐫^

其中,k是比例常數,𝐫^=𝐫r單位向量𝐫是粒子的位置向量r𝐫的大小。

感受到此力的作用,一個粒子的軌道運動,其LRL向量的數學定義方程式為[1]

𝐀=𝐩×𝐋mk𝐫^

其中,m是粒子的質量𝐩動量𝐋=𝐫×𝐩角動量

由於平方反比連心力為保守力能量E=p22mkr運動常數

dEdt=pmp˙+kr2r˙=0

再者,角動量𝐋也是保守的,可以決定粒子移動平面的取向。因為𝐩×𝐋𝐫都垂直於𝐋,所以,LRL向量𝐀垂直於角動量;𝐀包含於軌道的平面。

這個單獨粒子的LRL向量定義,也可以延伸至像开普勒問題一類的二體問題,只需要設定質量m為二個物體的約化質量,設定位置向量𝐫為二個物體之間的相對位置向量。

同樣的運動常數可以有很多種不同的表述.最常見的一種牽涉到離心率向量。定義離心率向量𝐞為LRL向量與mk的除商[7][17]

𝐞=𝐀mk=1mk(𝐩×𝐋)𝐫^

开普勒軌道導引

圖2:這是圖1的簡化版,角θ定義為𝐀𝐫之間的夾角

开普勒問題的運動軌道,其形狀與取向,可以用LRL向量決定[1]𝐀𝐫的內積為

𝐀𝐫=Arcosθ=𝐫(𝐩×𝐋)mkr

其中,θ𝐀𝐫之間的夾角。

置換三重積

𝐫(𝐩×𝐋)=𝐋(𝐫×𝐩)=𝐋𝐋=L2

所以,

Arcosθ=L2mkr

編排成圓錐曲線的方程式形式:

1r=mkL2(1+Amkcosθ)

離心率e

e=Amk=|𝐀|mk

开普勒軌道與能量的關係可以由LRL向量推導出。𝐀與自己的內積為

𝐀𝐀=(𝐩×𝐋mk𝐫^)(𝐩×𝐋mk𝐫^)=p2L2+m2k22mk𝐫^(𝐩×𝐋)=(2mE+2mkr)L2+m2k22mkrL2

所以,

A2=m2k2+2mEL2

稍微編排,離心率的平方e2是能量E的函數:

e2=1+2L2mk2E

假若能量E是負值的(束縛軌道),則離心率小於1,這軌道是橢圓形軌道。相反地,假若能量是正值的(非束縛軌道,又稱為散射軌道)則離心率大於1,這軌道是雙曲線軌道。最後,假若能量等於零,則離心率等於1,這軌道是拋物線軌道。對於所有狀況,LRL向量與圓錐曲線的對稱軸平行,而且從力中心點指向近拱點

圓形的速端曲線

圖3 :在平方反比連心力作用下,隨著粒子的軌道運動,使用速端曲線圖,固定動量向量𝐩 (藍色表示)的尾部於原點,則其頭部呈圓形移動。四個標記的點對應於圖1的四點。圓形的中心是在py-軸,py-座標為A/L(以品紅色表示),半徑是mk/L(以綠色表示)

假設一個粒子在做軌道運動。其速度向量的物理行為可以用速端曲線顯示出來,而動量是速度乘以質量。所以,速端曲線也可以顯示出動量的物理行為。在平方反比連心力作用下,速端曲線(圖3)顯示出,粒子的動量向量的頭部呈圓形移動;這事實可以用LRL向量𝐀與角動量𝐋的保守性來證明[13][6]。計算𝐋𝐀叉積

L2𝐩=𝐋×𝐀mk𝐫^×𝐋

設定xyz參考系的圓點在力中心點𝐋與z-軸同方向,x-軸與半長軸同軸。則

px2+(pyA/L)2=(mk/L)2

換句話說,動量𝐩的頭部被限制於一個圓圈;圓圈的半徑為mk/L,圓心為(0, A/L)。如圖3所示,圓形的動量速端曲線毫無疑問地顯示出克卜勒問題對稱性

夾角η的一邊是點2與圓心的連線,另一邊是負py-軸。很顯然地,離心率等於cosη。為了簡化運算,在這裏提出一個很有用的變量p0=2m|E|

運動常數與超級可積分性

在克卜勒問題裏,兩個向量𝐀𝐋與一個純量E加起來一共有七個常數純量。它們之間的相關性表達於𝐀𝐋=0A2=m2k2+2mEL2這兩個公式。因為𝐀的大小可以由角動量𝐋與能量E計算出來。再者,𝐀必須垂直於𝐋。所以,𝐀只能貢獻1個運動常數。

由於有上述兩個關係公式,這物理系統一共有五個獨立的運動常數。這結果與設定粒子軌道所需的六個初始條件(粒子的初始位置向量與初始速度向量,每一個向量有三個分量)相符合,原因是運動常數不涉及初始時間(視六個初始條件函數的參數為自變量初始時間。用其中的一個初始條件函數除去這自變量;將此初始條件函數當作一個自變量,則剰餘五個初始條件函數,函數的參數為新自變量)。

因為運動方程式是二階微分方程,一個擁有d 自由度的物理系統,需要2d初始條件來設定解答。由於運動常數不涉及初始時間,這物理系統最多只能擁有2d1運動常數。一個擁有超過d個運動常數的物理系統稱為超級可積分系統;而一個擁有2d1個運動常數的物理系統稱為最大超級可積分系統[18]哈密頓-亞可比方程式的解答,採用任意一種坐標系統,最多只能求得d個運動常數[19]

克卜勒問題擁有三個自由度(d=3)與五個運動常數;克卜勒問題的系統是最大超級可積分系統;採用球坐標拋物線坐標,哈密頓-亞可比方程式都是可積分的[20];這論據,稍後會有詳細的解釋。最大超級可積分系統可以用對易關係量子化,這論據,稍後也會又更明瞭的說明[21]

在微擾勢下的系統演化

图5:橢圓軌道的慢進動,離心率e=0.667。假若,引性的連心力與平方反比定律稍微有點不同,類似的進動就會發生

只有在一個標準的平方反比連心力下,粒子的LRL向量𝐀是保守的。對於大多數的實際問題,例如行星運動,作用力並不會完全地遵守平方反比定律,而可能會含有別種微擾的連心力;稱其負值不定積分微擾勢,標記為h(r)。在這種狀況下,LRL向量會緩慢地轉動於軌道平面,相應於軌道的慢進動。假若微擾勢h(r)為一個保守的連心勢,也就是說,總能量E與角動量𝐋都是保守的,則粒子的運動仍舊包含於一個垂直於𝐋的平面,大小A仍舊是保守的。微擾勢h(r)可以是任何形式的函數。但是,微擾值應該顯著地弱於主連心勢。一個典形的微擾勢可以表示為

h(r)= hrn

其中,h是微擾勢強度,整數n2

正則微擾理論作用量-角度座標,可以直接地推導出LRL向量的轉動率是[1]

Ω¯=Lh(r)=L{1T0Th(r)dt}=L{mTL02πr2h(r)dθ}

其中,T是軌道週期,恆等式Ldt=mr2dθ轉變時間積分為角積分(如圖5)。角括號表達式h(r)是週期平均微擾勢;也就是說,物體繞軌道一個公轉的平均微擾勢。取平均值可以減少轉動率的變動。

這方法曾經被用來證實愛因斯坦廣義相對論。廣義相對論在常見的牛頓萬有引力項目外,又添加了一項小的反立方微擾[22]

h(r)=kL2m2c2(1r3)

將此函數代入積分。再代入rθ的關係公式

1r=mkL2(1+Amkcosθ)

就可以計算出這非牛頓微擾所產生的近拱點進動率[22]:

Ω¯=6πk2TL2c2

計算出的答案準確地符合實驗觀測到的水星進動數據[23]雙重脈衝星數據[24]。這與實驗數據一致的結果被認為是廣義相對論的強證[25][26]

帕松括號

角動量𝐋的三個分量Li帕松括號[1]

{Li,Lj}=s=13ϵijsLs

其中,指標i, j=1, 2, 3代表直角座標系的三個座標(x, y, z)ϵijs列維-奇維塔符號;在這裏,為了避免與力強度的標記k發生混淆,採用s為連加運算的指標。

定義一個與LRL向量成比例的向量𝐃

𝐃=𝐀2m|E|

向量𝐃與角動量𝐋的單位相同。𝐃𝐋的帕松括號為[27]

{Di,Lj}=s=13ϵijsDs

向量𝐃與自己的帕松括號跟總能量E的正負號有關;也就是說,跟是否總能量E是正值(在平方反比連心力作用下,產生開放的雙曲線軌道),或負值(在平方反比連心力作用下,產生閉合地橢圓軌道)有關。假若總能量E是正值,帕松括號是

{Di,Dj}=s=13ϵijsLs

反之,假若總能量E是負值,帕松括號是

{Di,Dj}=s=13ϵijsLs

由於以下這三個帕松括號方程式,

{Li,Lj}=s=13ϵijsLs
{Di,Lj}=s=13ϵijsDs
{Di,Dj}=s=13ϵijsLs

如果總能量E是負值,則可確定克卜勒問題的對稱群是四維的旋轉群SO(4)。

假若總能量E是負值,卡西米爾不變量C1, C2定義為

C1=𝐃𝐃+𝐋𝐋=mk22|E|
C2=𝐃𝐋=0

而且,卡西米爾不變量與𝐃的每一個分量的帕松括號皆為零:

{C1,Di}={C2,Di}=0

還有,卡西米爾不變量與𝐋的每一個分量的帕松括號皆為零:

{C1,Li}={C2,Li}=0

既然兩個向量𝐃𝐋永遠是互相垂直的,C2明顯地是零。可是,另外一個不變量C1只跟質量m、力強度k、總能量E有關。不變量C1分別與DiLi的帕松括號等於零的導引並不明顯。這不變量C1使得只用到量子力學正則對易關係,就可以推導出類氫原子原子能級,而不必用到的薛丁格方程式

氫原子量子力學

圖6:從LRL向量算符與角動量算符的對易關係,預測出來的氫原子的原子能級。各種實驗都準確地證實這些能級正確無誤。

帕松括號提供了一個簡易的方法來正則量子化經典系統。兩個量子算符對易關係等於i乘以對應的經典變量[28]。經過這量子化程序,計算克卜勒問題的卡西米爾算符C1本徵值沃爾夫岡·包利成功地推導出類氫原子原子能級(參閱圖6),以及其發射光譜[3]。早在薛丁格方程式成立之前[29],包利就研究出這重要的結果!

LRL向量𝐀的量子算符有一個奧妙之處,那就是動量算符與角動量算符並不對易。動量與角動量的叉積必須仔細地加以定義[27]。LRL向量的直角座標分量典型地定義為

Akmeαr^k+12i=13j=13ϵijk(pilj+ljpi)

其中,me是電子的質量,常數α=e24πϵ0e單位電荷量ϵ0真空電容率

這定義有一個特性:指標i, j是對稱的,指標i, j的互換不會改變Ak的數值。表示為向量形式,

𝐀=meαr^+12(𝐩×𝐋𝐋×𝐩)

那麼,其對應的哈密頓算符

H=𝐩22meαr

𝐀向量成正比的𝐃向量則是

𝐃=𝐀2meH

請注意,由於哈密頓算符的本徵值是負值,所以公式內的平方根是個實數。

經過一番繁冗的運算,可以求得對易關係:

{Li,Lj}=iϵijkLk
{Li,Dj}=iϵijkDk
{Di,Dj}=iϵijkLk
{H,Di}=0

定義第一階張量算符

J0D3
J±112(D1±iD2)

一個歸一化的第一卡西米爾算符可以同樣地定義為

C1𝐃2+𝐋2=meα22H2

注意到J+1J1的對易關係是

{J+1,J1}=i{D1,D2}=L3

應用維格納-埃卡特定理Template:Lang),

J0|l,m=il2m2 l|l1,mi(l+1)2m2 l+1|l+1,m
J+1|l,m=i(lm)(lm1)/2 l|l1,m+1i(l+m+1)(l+m+2)/2 l+1|l+1,m+1
J1|l,m=i(l+m)(l+m1)/2 l|l1,m1i(lm+1)(lm+2)/2 l+1|l+1,m1

其中,|l,m角量子數l磁量子數l本徵態l是常數係數。

經過一番運算,J+1J1的對易算符作用於|l,m的結果是

{J+1,J1}|l,m=m[(2l1)l2(2l+3)l+12]|l,m=L3|l,m=m2

所以,l遞迴關係

(2l1)l2(2l+3)l+12=2

假設l2是非負值,則為了滿足上述公式,l>0。再假設l的最大值是lmax。由於態向量|lmax+1, 不存在,lmax+1=0。因此,lmax=22lmax1。設定n=lmax1,稍加計算,l的一般方程式為

l=n2l24l21 

這個n就是跟能級有關的主量子數。先計算D2

D2|n,l,m=[J+1J1+J1J+1+J02]|n,l,m=(n2l2l1)2|n,l,m

所以,第一卡西米爾算符C1作用於態向量|n,l,m可以得到

C1|n,l,m=(D2+L2)|n,l,m=(n21)2|n,l,m

第一卡西米爾算符C1的本徵值是(n21)2。重點是,這些本徵值跟量子數lm無關,這造成了原子能階簡併[27]

En=meα222n2=mee42n2(4πϵ0)22

這就是著名的氫原子波耳公式

保守性與對稱性

在克卜勒問題裏,LRL向量的保守性對應於系統的一種微妙的對稱性。在經典力學裏,對稱性可以由連續運算顯示出來;這連續運算可以將一個軌道映射至另外一個軌道,而同時保持系統的能量不變。在量子力學裏,連續運算將同能級原子軌域混合在一起,也就是說,(簡併原子能級)。

通常,對於每一個對稱性都會存在有一個保守量[1]。例如,連心力系統必對稱於旋轉群SO(3);因而指引出角動量𝐋的保守性。在經典力學裏,整個系統的旋轉不會影響軌道的能量。在量子力學裏,假若旋轉只混合角量子數相同的球諧函數,則系統的能量不會改變。

圖7:同能量的動量的速端曲線家族。每一個圓圈都經過在px-軸上,同樣的兩點±p0=±2m|E|。這一家族的速端曲線對應於一個家族的阿波羅尼奧斯圓,和雙極坐標σ 坐標曲面

平方反比連心力系統的對稱性是更高維與更微妙的。這奇特的對稱性是由角動量𝐋與LRL向量𝐀的雙重保守性造成的;這保證了氫原子的能級跟角量子數l、磁量子數m無關。由於對稱性運算必須發生於更高維空間,使得這對稱性更加的微妙;這類的對稱性常稱為隱祕對稱性[30]。在經典力學裏,克卜勒問題的高維對稱性容許連續的改變軌道.只要保持能量不變,而角動量可以改變;換句話說,同能量,不同角動量(離心率)的軌道可以互相的連續變換。在量子力學裏,這對應著不同角量子數l與磁量子數m的軌域的混合,例如s(l=0)p(l=1) 原子軌域的混合。這種混合是不能用普通的三維平移運算或旋轉運算達成的。可是,這種混合等價於高維度空間的旋轉。

在一個束縛(bounded)系統裏,能量是負值的,這高維對稱群是SO(4);特性是四維向量的長度保持不變:

|𝐞|2=e12+e22+e32+e42

1935年,弗拉基米尔·福克表明,在量子力學裏,束縛的克卜勒問題等價於一個粒子自由地移動於四維空間的三維單位球[4]。更具體地,佛克表明,在克卜勒問題的動量空間,薛丁格波函數球諧函數球極平面投影。圓球的旋轉與重複射影造成了橢圓軌域的連續映射,同時維持能量不變;這對應於主量子數n相同的軌域的混合。隨後,華倫泰·巴格曼注意到,跟LRL向量成比例的向量𝐃與角動量𝐋帕松括號形成SO(4)的李代數[5]。簡單地說,𝐃𝐋的六個物理量對應於在四維空間裏的六個保守的角動量分量,相伴於在四維空間裏的六個合法的簡單旋轉(從四個軸中,選兩個軸為旋轉軸。一共有六種可能)。這結論並不意示宇宙是一個三維球面;而只是說,這個特別的物理問題(克卜勒問題),在數學上,等價於移動於三維球面的一個自由粒子。

在一個非束縛(unbound),散射系統裏,能量是正值的,對應的高維對稱群是SO(3,1);其特性是保持四維矢量閔考斯基長度不變:

ds2=e12+e22+e32e42

連心力系統(包括克卜勒問題的那些系統)的軌道對於反射也具有對稱性。所以,軌道的完全對稱群並不是前面所提的SO(3)、SO(4)、SO(3,1)群;而分別是O(3)O(4)、O(3,1)。然而,只需要連通子群SO(3)、SO(4)、SO(3,1)來展示出角動量與LRL向量的保守性;反射對稱性與保守性不相關。保守性可以由群的李代數推導出來[31][32]

旋轉對稱性在四維空間

圖8:圖7的動量的速端曲線對應於η 三維單位球大圓線球極平面投影。每一個大圓線都與ηx-軸相交,後者垂直於頁面。投影是從北極(w單位向量)到ηxηx-平面,如同這裏的虛黑線表示於品紅色速端曲線。在緯度α的大圓線對應於離心率e=sin α。在這圖裏的大圓線的顏色對應於它們在圖7的速端曲線。

克卜勒問題與四維旋轉對稱性SO(4)的關聯可以很容易地觀察出來[31][33][34]。標記四維直角座標(w, x, y, z);其中,(x, y, z)代表三維位置向量𝐫的直角座標。三維動量𝐩三維單位球的四維向量η的關係為

η=p2p02p2+p02𝐰^+2p0p2+p02𝐩

其中,𝐰^是新的w-軸的單位向量。

很簡單地,可以核對η也是一個單位向量:

η=η^

𝐩η^映射有一個獨特唯一的逆反;例如,動量𝐩的x-軸分量是

px=p0ηx1ηw

pypz也有類似的公式。換句話說,三維動量向量𝐩是四維單位向量η^球極平面投影,其比例因子為p0

選擇一個合適的直角座標,使z-軸與角動量𝐋同直線,使動量的速端曲線的取向如同圖7,圓心包含於y-軸。這樣,不失廣義性,就可以觀察到這旋轉對稱性。由於粒子的運動包含於一個平面,𝐩𝐋互相垂直,而且,pz=ηz=0。因此,只需要專注於三維向量η^=(ηw, ηx, ηy)。圖7速端曲線的阿波羅尼奧斯圓家族對應於在三維單位球η大圓線家族。每一個大圓線與ηx相交於兩個交點ηx=±1。這兩個交點相對於速端曲線圖的兩點px=±p0。這兩個交點也是這些大圓線的共同交點。所以,這些大圓線的互相關係是一個環繞著ηx-軸的簡單旋轉(參閱圖8)。以ηx-軸為轉軸,每一個大圓線的位置是從ηxηy-平面旋轉α角。

取任意一個大圓線ηy最大值的一點,其坐標為(ηw, 0, ηy, 0)。那麼,

px=0
py=p=(A+mk)/L
ηy=cos(α)=2p0pypy2+p02

經過一番運算,代入p0的值,可以得到

sin(α)=py2p02py2+p02=(A+mk)22m|E|L2(A+mk)2+2m|E|L2

給予一個束縛軌道,能量是負值的:

sin(α)=(A+mk)2+2mEL2(A+mk)22mEL2=Amk=e

所以,離心率e=sin(α)是緯度α正弦函數

由於圖7的動量的速端曲線對應於η三維單位球的大圓線的球極平面投影,而這速端曲線家族的成員都擁有相同的能量。所以,這旋轉的對稱性使所有能量相同的軌道都能夠互相變換。但是,這旋轉正交於通常的三維旋轉,因為它涉及了第四維ηw。高維度的對稱性是克卜勒問題對應於LRL向量的一個特徵。

採用橢圓柱坐標χ, ψ, ϕ來代替四維座標η,克卜勒問題有一個精緻的作用量-角度座標解答[35]

ηw=cnχ cnψ
ηx=snχ dnψ cosϕ
ηy=snχ dnψ sinϕ
ηz=dnχ snψ

其中,sn,cn,dn雅可比橢圓函數

克卜勒問題LRL向量恆定的證明

以下幾種導引可以証明,在平方反比連心力下,LRL向量守恆。

直接證明

假設,一個連心力f(𝐫)𝐫^作用於一個粒子。根據牛頓第二定律,運動方程式為

d𝐩dt=f(𝐫)𝐫^

其中,f(𝐫)是函數,𝐫為粒子的位置,𝐩是動量,t是時間。

由於在連心力下,角動量𝐋=𝐫×𝐩是恆定的,

ddt𝐋=0

所以,

ddt(𝐩×𝐋)=d𝐩dt×𝐋=f(𝐫)𝐫^×(𝐫×md𝐫dt)=f(𝐫)mr[𝐫(𝐫d𝐫dt)r2d𝐫dt]

代入以下恆等式

𝐫d𝐫dt=12ddt(𝐫𝐫)=12ddt(r2)=rdrdt

可以得到方程式,

ddt(𝐩×𝐋)=mf(𝐫)r2[1rd𝐫dt𝐫r2drdt]=mf(𝐫)r2ddt(𝐫r)

代入平方反比連心力的方程式f(𝐫)=kr2

ddt(𝐩×𝐋)=mkddt(𝐫r)=ddt(mk𝐫^)

所以,在平方反比連心力下,𝐀是恆定的:

ddt𝐀=ddt(𝐩×𝐋)ddt(mk𝐫^)=0

哈密頓-雅可比方程式

哈密頓-雅可比方程式的可分性也可以用推導出LRL向量的恆定性[20][36]。採用拋物線座標(ξ, η),定義

ξ=r+x
η=rx

其中,(x, y)直角座標r是軌道的徑向距離:

r=x2+y2

逆反過來,

x=12(ξη)
y=ξη

則克卜勒問題的哈密頓量

H=12mx˙2+12my˙2kr=2ξpξ2m(ξ+η)+2ηpη2m(ξ+η)2kξ+η

其中,pξ, pη分別是廣義座標ξ, η的共軛動量。

由於克卜勒問題的勢函數只跟廣義座標有關,哈密頓量是個能量運動常數,H=E。稍加編排,可以得到

2ξpξ2mkmEξ=2ηpη2+mk+mEη

這公式的左手邊與右手邊分別跟不同的廣義座標有關,所以,兩邊都相等於一個運動常數,標記為Γ

2ξpξ2mkmEξ=Γ
2ηpη2mkmEη=Γ

思考LRL向量的x分量,

Ax=py(xpyypx)mkxr=xpy2ypxpymk+mηkr

代入能量方程式E=12mv2kr,則

Ax=xpy2ypxpy+12m2v2ηmkmEη

這公式右手邊,前三個項目,經過一番計算,可以得到

xpy2ypxpy+12m2v2η=m28η˙2(η+ξ)2η=2ηpη2

所以,Ax也是運動常數:

Ax=Γ

諾特定理

LRL向量的保守性與前面所提的旋轉對稱性,兩者之間的關係,可以用諾特定理來做連結分析。諾特定理也可以用來辨明LRL向量是運動常數。諾特定理表明[37]:在一個物理系統裏,對於廣義坐標qi的微小變分δqi=ϵgi(𝐪, 𝐪˙, t),假若,取至微小參數ϵ的一階,拉格朗日量變分δ

δ=ϵddtG(𝐪, t)

則必存在保守量Γ滿足方程式

Γ=G+igi(q˙i)

其中,gi(𝐪, 𝐪˙, t)G(𝐪, t)都是函數。

更具體地,在一個克卜勒問題裏,試設定坐標xi的微小變分為

δxi=ϵ2[2pixsxips(𝐫𝐩)δis]

其中,i=1, 2, 3xipi分別為位置𝐫與動量𝐩i-軸分量,δis克羅內克爾δs是固定的下標。

由於克卜勒問題的拉格朗日量是

=i(12mx˙ix˙i)+kr

運動方程式

mx¨i+kxir3=0

對應於坐標xi的變分,速度x˙i的變分為

δx˙i=ϵ2[2p˙ixsxip˙s+pix˙sp2mδis(𝐫𝐩˙)δis]=ϵ2[kr3xixs+pix˙sp2mδis+krδis]

拉格朗日量取至一階的變分是

δ=i(xiδxi+x˙iδx˙i)=i(kxir3δxi+mx˙iδx˙i)

代入δxiδx˙i的公式,經過一番繁瑣的運算,可以得到

δ=ϵmkddt(xsr)

再代入保守量Γ的公式,則會得到

Γ=p2xsps(𝐫𝐩)mkxsr=[𝐩×𝐋mk𝐫^]s

而這正是LRL向量的s-軸分量As

李變換

圖9:推導出LRL向量保守性的李變換。當這比例參數λ改變時,能量與角動量的大小也一起改變,可是離心率e與LRL向量𝐀的大小與方向不變。

諾特定理精緻地推導出LRL向量的保守性。美中不足地,這導引有一個弱點:坐標變分δxi不只涉及了位置𝐫,而且還涉及了動量𝐩 [38]。假若,使用數學家索菲斯·李創建的方法來推導,可以除去這弱點[39][40]。具體地,定義一個李變換[30],座標𝐫與時間t都按照比例變換,比例是參數λ的不同羃數:

tλ3t, 𝐫λ2𝐫, 𝐩1λ𝐩

這變換改變了角動量L的大小與能量E

LλL, E1λ2E

可是,仍舊保持乘積EL2不變。所以,離心率e與LRL向量𝐀的大小不變。這可以從A2的公式觀察出:

A2=m2k2e2=m2k2+2mEL2

由於半短軸半長軸的取向不因整體的比例變換而改變,LRL向量𝐀的方向也會保持不變。在李變換下,克卜勒第三定律也仍舊成立:半長軸a與週期T形成常數T2/a3

推廣至別種位勢和相對論

LRL向量可以推廣至其他狀況;可以用來辨認在其他狀況下的保守值。

假設,一個物理系統裏,存在著電場𝐄,保守的廣義LRL向量𝒜[20][41]

𝒜=𝐀+mq2[(𝐫×𝐄)×𝐫]

其中,q是粒子的電荷量

最廣義的LRL向量的形式可以表達為[8]

𝒜=(ξu)(𝐩×𝐋)+[ξu(ξu)]L2𝐫^

其中,u=1r(參閱伯特蘭定理),ξ=cosθ,角θ定義為

θ=Ludum2c2(γ21)L2u2

其中,γ勞侖茲因子

如同前面所提,計算𝐋𝒜的叉積,可以得到一個保守的副法線向量

=𝐋×𝒜

綜和兩個向量成為一個保守的並矢張量𝒲

𝒲=α𝒜𝒜+β

舉例說明,計算一個非相對論性,均向性諧振子的LRL向量。由於作用力是連心力𝐅(r)=k𝐫,力子的角動量是保守的,粒子的運動包含於一個平面。請注意,𝐏𝐋不是一定互相垂直的。保守的並矢張量可以表達為一個簡單的形式:

𝒲=12m𝐩𝐩+k2𝐫𝐫

其相應的LRL向量必較複雜

𝒜=1mr2ω0Amr2E+L2{(𝐩×𝐋)+(mrω0AmrE)𝐫^}

其中,ω0=km是自然振率。

別種比例與表述

不同於動量與角動量,並沒有學術界一致認同的LRL向量定義;在科學文獻裏,存在有幾種不同的比例因子與符號。前面所述的定義是最普遍的定義。另外一種常見的定義,將𝐀除以常數mk;這樣,可以得到一個無因次的離心率向量𝐞

𝐞=1mk(𝐩×𝐋)𝐫^=mk(𝐯×𝐋)𝐫^

其中,𝐯是速度。

離心率向量𝐞的方向與𝐀相同,大小是軌道的離心率

別種比例的版本也可能會用到。例如,將𝐀除以m

𝐌=𝐯×𝐋k𝐫^

或者,將𝐀除以P0

𝐃=𝐀P0=12m|E|{𝐩×𝐋mk𝐫^}

𝐃與角動量𝐋的單位相同。在非常稀有的狀況,LRL向量的正負號會改變。這些,都不會影響它是運動常數的事實。

圖4:角動量𝐋,LRL向量𝐀,與副法線向量𝐁都互相垂直。𝐀𝐁分別和橢圓的半長軸與半短軸的指向相同

另外一個保守的向量是副法線向量𝐁威廉·哈密頓曾經研究過這向量[7]

𝐁=𝐩(mkL2r) (𝐋×𝐫)

這保守的向量與橢圓的半短軸同直線。𝐀𝐁 叉積𝐋(參閱圖4)。兩個向量𝐀𝐁可以結合起來形成一個保守的並矢張量𝒲 [8]

𝒲=α𝐀𝐀+β𝐁𝐁

其中,αβ是任意比例常數,符號 表示張量積。展開這公式為

𝒲ij=αAiAj+βBiBj

由於兩個向量互相垂直,𝐀𝐁可以視為保守的張量𝒲主軸,也就是說,按比例的特徵向量。由於𝐀𝐁都垂直於𝐋,張量𝒲垂直於角動量𝐋

𝐋𝒲=α(𝐋𝐀)𝐀+β(𝐋𝐁)𝐁=0

參閱

參考文獻

Template:Reflist

外部連結

Template:Good article