哈密頓-雅可比方程式

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

物理學裏,哈密頓-雅可比方程 (Hamilton-Jacobi equation,HJE) 是經典力學的一種表述。哈密顿-雅可比方程、牛頓力學拉格朗日力學哈密頓力學,這幾個表述是互相全等的。而哈密顿-雅可比方程在辨明守恆物理量方面,特別有用處。有時候,雖然物理問題的本身無法完全解析,哈密顿-雅可比方程仍舊能夠正確的辨明守恆的物理量。

威廉·哈密顿
卡爾·雅可比

HJE 是经典哈密顿量一个正则变换,经过该变换得到的结果是一个一阶非线性偏微分方程,方程式之解描述了系统的行为。与哈密顿运动方程的不同之处在于 HJE 是一个偏微分方程,每个变量对应于一个坐标,而哈密顿方程是一个一阶线性方程组,每两个方程对应于一个坐标。HJE 可以漂亮地解析一些重要问题,例如开普勒问题

HJE 是唯一能夠將粒子運動表達為波動的一種力學表述。因此,HJE 滿足了一個長久以來理論物理的研究目標(早至 18 世紀,約翰·白努利和他的學生皮埃爾·莫佩爾蒂的年代);那就是,尋找波傳播與粒子運動的相似之處。力學系統的波動方程式薛丁格方程式很相似;但並不相同。稍後會有詳細說明。HJE 被認為是從經典力學進入量子力學最近的門階。

數學表述

哈密頓-雅可比方程是一個一階非线性偏微分方程式。用數學表達

 

其中, 哈密頓量,未知函數   稱為哈密頓主函數 廣義座標  是積分常數,  是時間。

假若能夠找到哈密頓主函數   的形式,就可以計算出廣義坐標  廣義動量   隨時間的演變。這樣,可以完全地解析物理系統隨時間的演化。

各種力學表述的比較

哈密頓-雅可比方程是一個一階非线性偏微分方程式;其中,函數    個廣義坐標   ,和   個獨立的積分常數  。在 HJE 中,哈密頓主函數   有一个很有意思的属性,它是一種经典作用量

與拉格朗日力學的拉格朗日方程比較,哈密頓力學裏使用共軛動量而非廣義速度。並且,哈密頓方程乃是一組   個一階微分方程式,用來表示   個廣義坐標和   個廣義動量隨時間的演變,而拉格朗日方程則是一組   個二階微分方程式,用來表示   個廣義坐標隨時間的演變。

因為 HJE 等價於一個最小積分問題(像哈密頓原理), HJE 可以用於許多關於變分法的問題。更推廣地,在數學與物理的其它分支,像動力系統辛幾何量子混沌理論,都可以用 HJE 來解析問題。例如,HJE 可以用來找尋黎曼流形測地線,這是黎曼幾何一個很重要的變分法問題。

導引

哈密頓力學裏,正則變換將一組正則坐標   變換為一組新的正則坐標   ,而同時維持哈密頓方程式的型式(稱為型式不變性)。舊的哈密頓方程式為

 
 

新的哈密頓方程式為

 
 

這裏,   分別為舊的哈密頓量與新的哈密頓量,  是時間。

假若,使用第二型生成函數   來生成新正則坐標,則新舊正則坐標的關係為

 
 

而新舊哈密頓量的關係為

 

(條目正則變換有更詳細的说明。)

哈密頓主函數

假若,可以找到一個第二型生成函數   。這生成函數使新哈密頓量   恆等於 0 。稱這個生成函數  哈密頓主函數。那麼,新哈密頓量   所有的偏導數都等於 0 。哈密頓方程也變得非常的簡單:

 

這樣,新正則坐標都成為運動常數   

 
 

由於   ,代入舊哈密頓量,則可得到哈密頓-雅可比方程:

 

解析問題的重要關鍵是必須找到哈密頓主函數   的方程式。一旦找到這方程式,因為

 (1)
 (2)

給予    在時間   的初始值,    ,可以求出運動常數    。知道這兩組運動常數,立刻可以得到舊正則坐標    隨時間的演變。

哈密頓特徵函數

假設,哈密頓量不顯含時:  。那麼,

 

哈密頓量是一個運動常數,標記為  

 
 

哈密頓主函數可以分離成兩部分:

 

其中,不含時間的函數   稱為哈密頓特徵函數

思考一個新的正則變換。設定哈密頓特徵函數   為一個第二型生成函數  

 
 

那麼,哈密頓-雅可比方程變為

 

由於哈密頓特徵函數不顯含時,新舊哈密頓量的關係為

 

新正則坐標隨時間的導數變為

 
  設定   
   

所以,新正則坐標變為

 
 
 

假若,能找到哈密頓特徵函數   ,給予舊廣義坐標   與舊廣義動量   在時間   的初始值,    ,依照前面所述方法,就可以求出舊正則坐標隨時間的演變。

分離變數法

哈密頓-雅可比方程最有用的時候,是當它可以使用分離變數法,來直接地辨明運動常數。假設,HJE 可以分為兩部分。一部分只跟廣義坐標   、哈密頓主函數的偏導數   有關,標記這部分為   。另一部分跟    無關。對於這狀況,哈密頓主函數   可以分離為兩個函數。一個函數   除了廣義坐標   以外,跟任何其它廣義坐標無關。另外一個函數    無關。

 

由於每一個廣義動量都是運動常數,  ,函數   只跟廣義座標   有關:

 
 

若將哈密頓主函數   代入 HJE,則可以觀察到,  只出現於函數   內部,而不出現於 HJE 的任何其它地方。所以,函數   必須等於常數(在這裏標記為  )。這樣,可得到一個一階常微分方程

 

在某些問題裏,很幸運地,函數   可以完全的分離為   個函數  

 

這些問題的偏微分方程可以分離為   個常微分方程。

哈密頓主函數   的可分性,相關於哈密頓量和廣義坐標的選擇。假若,一個物理系統符合施特克爾條件 (Staeckel conditions) ,則哈密頓主函數   可以完全分離。以下為用幾種正交座標來完全分離 HJE 的例子。

球坐標系

採用球坐標   ,假設一個物理系統的哈密頓量為

 

其中,  是廣義動量, 位勢函數,不含時間。

那麼,哈密頓-雅可比方程可以表達為

 

其中,  是哈密頓主函數。

假若,位勢函數   的形式可以進一步設定為

 

其中,     ,都是任意函數;則 HJE 是完全可分的。將完全分離的解答   代入 HJE ,會得到方程式

 

變數   只出現於公式左手邊的第三個方括弧內;其它變數都不出現於公式的這部分。所以,可以將這部分孤立出來,成為一個常微分方程:

 

其中, 運動常數

簡化的 HJE 跟   無關:

 

同樣地,可以將變數   出現的部分孤立出來,成為一個常微分方程:

 

其中,  是運動常數。

剩下的是一個徑向距離函數   的常微分方程。:

 

這樣,可以完全地分離 HJE 。

橢圓柱坐標系

採用橢圓柱坐標   ,假設假設一個物理系統的哈密頓量為

 

其中,  是廣義動量, 位勢函數,不含時間。

那麼,哈密頓-雅可比方程可以表達為

 

假若,位勢函數   的形式可以進一步設定為

 

其中,    ,都是任意函數;則 HJE 是完全可分的。猜想一個完全分離解答   。將這猜想公式代入 HJE ,

 

公式左手邊的前兩個項目只跟變量   有關;其它的項目都跟   無關。所以,可以將那兩個項目分離出來,成為一個常微分方程:

 

其中,  是運動常數。

簡化的 HJE 跟   有關:

 

這公式又可以分離成兩個相互獨立的常微分方程:

 
 

其中,  是運動常數。

這樣,可以完全地分離 HJE 。

拋物柱面坐標系

採用拋物柱面坐標   ,假設假設一個物理系統的哈密頓量為

 

其中,  是廣義動量, 位勢函數,不含時間。

那麼,哈密頓-雅可比方程可以表達為

 

假若,位勢函數   的形式可以進一步設定為

 

其中,    ,都是任意函數;則 HJE 是完全可分的。猜想一個完全分離解答   。將這猜想公式代入 HJE ,

 

公式左手邊的前兩個項目只跟變量   有關;其它的項目都跟   無關。所以,可以將那兩個項目分離出來,成為一個常微分方程:

 

其中,  是運動常數。

簡化的HJE跟   無關:

 

這公式又可以分離成兩個相互獨立的常微分方程:

 
 

其中,  是運動常數。

這樣,可以完全地分離HJE。

薛丁格方程式

 
薛定諤將哈密頓類比延伸至量子力學與波動光學之間。[1]

「哈密頓類比」是威廉·哈密頓在研究古典力學時給出的理論,又稱為「光學-力學類比」;哈密頓指出,在古典力學裏粒子的運動軌道,就如同在幾何光學裏光線的傳播路徑;垂直於這軌道的等作用量曲面,就如同垂直於路徑的等傳播時間曲面;描述粒子運動的最小作用量原理,就如同描述光線傳播的費馬原理。哈密頓發現,使用哈密頓-雅可比方程式,可以推導出最小作用量原理與費馬原理;同樣的形式論,可以描述光的物理行為,不論光是由遵守費馬原理的光線組成,還是由遵守最小作用量原理的粒子組成。[1]

很多光的性質,例如,衍射干涉等等,無法用幾何光學的理論來作解釋,必須要用到波動光學的理論來證實。這意味著幾何光學不等價於波動光學,幾何光學是波動光學的波長超短於粒子軌道曲率半徑的極限案例。哈密頓又研究發現,使用哈密頓-雅可比方程式也可以描述波動光學裏遵守惠更斯原理的光波,只要將光線的等傳播時間曲面改為光波的波前。薛丁格尋思,古典力學與量子力學之間的關係,就如同幾何光學與波動光學之間的關係;哈密頓-雅可比方程式應該對應於量子力學的波動方程式在某種極限的案例,而這極限應該也是物質波波長超短於粒子軌道曲率半徑的極限(或按照對應原理,普朗克常數趨於0的極限);按照先前哈密頓類比的模式,依樣畫葫蘆,應該可以找到正確形式的波動方程式。這想法很正確,經過一番努力,他成功地推導出薛丁格方程式[1][2]

粒子方程式⇒波動方程式

設想一個粒子,運動於一個保守的位勢   ,它的哈密頓-雅可比方程為[2]

 

其中,  是哈密頓主函數。

由於位勢與時間無關,哈密頓主函數可以分離成兩部分:

 

其中,不含時的函數   是哈密頓特徵函數,  是能量。

將哈密頓主函數的公式代入哈密頓-雅可比方程,稍加運算,可以得到

 

哈密頓主函數對於時間的全導數是

 

哈密頓主函數   的常數等值曲面   在空間移動的方程式為

 

所以,在設定等值曲面的正負面後,  朝著法線方向移動的速度  

 

這速度  相速度,而不是粒子的移動速度  

 

想像   為一個相位曲面。既然粒子具有波粒二象性,試著給予粒子一個相位與   成比例的波函數

 

其中,  是常數,  是跟位置有關的係數函數。

將哈密頓主函數的公式代入   波函數,

 

注意到   的因次必須是頻率,薛丁格突然想到愛因斯坦的光電效應理論   ;其中, 約化普朗克常數 角頻率。他嘗試設定   ,粒子的波函數   變為

 

其中, 

 波動方程式

 

  波函數代入波動方程式, 經過一番運算,得到

 

注意到   。稍加編排,可以推導出含時薛丁格方程式:

 

波動方程式⇒粒子方程式

逆反過來,從薛丁格方程式開始:[3]:102-103

 

猜想   的形式為

 

  代入薛丁格方程式,稍加運算,可以得到

 

取經典極限, ,則可得到哈密頓-雅可比方程:

 

由於這取極限的動作,在希爾伯特空間裏對於態向量的描述改變為在相空間裏對於粒子位置與動量的描述。薛丁格方程屬於線性方程,假若  皆是薛丁格方程的解答,則它們的線性疊加 必定也是解答,其中  皆是複係數。哈密頓-雅可比方程屬於非線性方程,假若  皆是哈密頓-雅可比方程的解答,則它們的線性疊加 必定不是解答。這意味著,在量子力學可以觀察得到的量子疊加現象,無法出現在經典力學。但是,簡單地推論,經典力學應是量子力學的極限案例,為什麼量子疊加現象無法出現於經典力學裏?這不僅僅是個理論問題,在實驗室裏,時常可以觀察到微觀粒子呈現出量子疊加現象,為什麼無法觀察到宏觀物體呈現出同樣的現象[4]:第1A節?更詳盡內容,請參閱條目量子退相干

重力場

重力場可以用哈密頓-雅可比方程表達為

 

其中, 度規張量逆變 (contravariant) 分量,  是固有質量, 光速

參閱

參考文獻

  1. ^ 1.0 1.1 1.2 Joas, Christian; Lehner, Christoph. The classical roots of wave mechanics: Schrödinger's transformations of the optical-mechanical analogy (PDF). Studies in History and Philosophy of Modern Physics. 2009, 40 (4): 338–351 [2014-01-26]. ISSN 1355-2198. (原始内容存档 (PDF)于2013-07-09). 
  2. ^ 2.0 2.1 薛丁格, 埃爾溫, An Undulatory Theory of the Mechanics of Atoms and Molecules (PDF), Phys. Rev., December 1926, 28 (6): 1049–1070 [2008-08-13], doi:10.1103/PhysRev.28.1049, 英文版本, (原始内容 (PDF)存档于2008-12-17) 
  3. ^ Sakukrai, J. J.; Napolitano, Jim, Modern Quantum Mechanics 2nd, Addison-Wesley, 2010, ISBN 978-0805382914 
  4. ^ Angelo Bassi; et al. Models of wave-function collapse, underlying theories, and experimental tests. Reviews of Modern Physics. 2 April 2013, 85 (2): 471–528 [2015-12-29]. (原始内容存档于2020-08-06). 
  1. Hamilton W. (1833) "On a General Method of Expressing the Paths of Light, and of the Planets, by the Coefficients of a Characteristic Function", Dublin University Review, pp. 795-826。
  2. Hamilton W. (1834) "On the Application to Dynamics of a General Mathematical Method previously Applied to Optics", British Association Report, pp.513-518。
  3. Eisenhart L.P., "Separable Systems of Stackel", "The Annals of Mathematics", 2nd Ser., Vol. 35, No. 2 (Apr., 1934), pp. 284-305
  4. Eisenhart L.P., "Separable Systems in Euclidean 3-Space", "Physical Review", vol. 45, Issue 6, pp. 427-428。
  5. H. Goldstein. Classical Mechanics. Addison Wesley. 2002. ISBN 978-0-201-65702-9. 
  6. A. Fetter and J. Walecka. Theoretical Mechanics of Particles and Continua. Dover Books. 2003. ISBN 978-0-486-43261-8. 
  7. Landau L.D., Lifshitz L.M., "Mechanics", Elsevier, Amsterdam … Tokyo, 1975。