拉普拉斯-龍格-冷次向量 - 维基百科,自由的百科全书

本条目中,向量标量分別用粗體斜體顯示。例如,位置向量通常用 表示;而其大小則用 來表示。

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

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

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

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

概論

[编辑]

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

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

歷史

[编辑]

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

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

數學定義

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

平方反比連心力可以表達為

其中,是比例常數,單位向量是粒子的位置向量的大小。

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

其中,是粒子的質量動量角動量

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

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

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

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

开普勒軌道導引

[编辑]
圖2:這是圖1的簡化版,角定義為之間的夾角

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

其中,之間的夾角。

置換三重積

所以,

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

離心率

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

所以,

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

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

圓形的速端曲線

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

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

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

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

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

運動常數與超級可積分性

[编辑]

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

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

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

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

在微擾勢下的系統演化

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

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

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

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

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

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

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

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

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

帕松括號

[编辑]

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

其中,指標代表直角座標系的三個座標列維-奇維塔符號;在這裏,為了避免與力強度的標記發生混淆,採用為連加運算的指標。

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

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

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

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

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

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

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

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

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

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

氫原子量子力學

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

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

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

其中,是電子的質量,常數單位電荷量真空電容率

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

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

向量成正比的向量則是

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

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

定義第一階張量算符

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

注意到的對易關係是

應用維格納-埃卡特定理Wigner-Eckart theorem),

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

經過一番運算,的對易算符作用於的結果是

所以,遞迴關係

假設是非負值,則為了滿足上述公式,。再假設的最大值是。由於態向量不存在,。因此,。設定,稍加計算,的一般方程式為

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

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

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

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

保守性與對稱性

[编辑]

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

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

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

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

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

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

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

連心力系統(包括克卜勒問題的那些系統)的軌道對於反射也具有對稱性。所以,軌道的完全對稱群並不是前面所提的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的動量的速端曲線對應於 三維單位球大圓線球極平面投影。每一個大圓線都與-軸相交,後者垂直於頁面。投影是從北極(單位向量)到-平面,如同這裏的虛黑線表示於品紅色速端曲線。在緯度的大圓線對應於離心率。在這圖裏的大圓線的顏色對應於它們在圖7的速端曲線。

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

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

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

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

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

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

取任意一個大圓線最大值的一點,其坐標為。那麼,

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

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

所以,離心率是緯度正弦函數

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

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

其中,雅可比橢圓函數

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

[编辑]

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

直接證明

[编辑]

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

其中,是函數,為粒子的位置,是動量,是時間。

由於在連心力下,角動量是恆定的,

所以,

代入以下恆等式

可以得到方程式,

代入平方反比連心力的方程式

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

哈密頓-雅可比方程式

[编辑]

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

其中,直角座標是軌道的徑向距離:

逆反過來,

則克卜勒問題的哈密頓量

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

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

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

思考LRL向量的分量,

代入能量方程式,則

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

所以,也是運動常數:

諾特定理

[编辑]

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

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

其中,都是函數。

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

其中,分別為位置與動量-軸分量,克羅內克爾δ是固定的下標。

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

運動方程式