拉格朗日量

約瑟夫·拉格朗日
在分析力學裡，一個動力系統的拉格朗日量（Lagrangian），又稱拉格朗日函數，簡稱“拉氏量”，是描述整個物理系統的動力狀態的函數，對於一般經典物理系統，通常定義為動能減去勢能，以方程式表示為
；
其中，為拉格朗日量，為動能，為勢能。
在分析力學裡，假設已知一個系統的拉格朗日量，則可以將拉格朗日量直接代入拉格朗日方程式，稍加運算，即可求得此係統的運動方程式。
拉格朗日量是因數學家和天文學家約瑟夫·拉格朗日而命名。
在場論，若
是作用量，則拉格朗日方程是

**概念**
拉格朗日量是動能與勢能的差值：
。
通常，動能的參數為廣義速度（符號上方的點號表示對於時間的全導數），而勢能的參數為廣義座標，所以，拉格朗日量的參數為。解析一個問題，最先要選擇一個合適的廣義座標。然後，計算出其拉格朗日量。假定這些參數（廣義座標、廣義速度）都互相獨立，就可以用拉格朗日方程式來求得系統的運動方程式。
假設一個物理系統的拉格朗日量為，則此物理系統的運動，以拉格朗日方程式表示為
；
其中，是時間，是廣義座標，是廣義速度。

**拉格朗日量與作用量的關係**
一個物理系統的作用量是一種泛函，以數學方程式定義為 
；
其中，是系統的拉格朗日量，廣義坐標是時間的函數，和分別為初始時間和終結時間。
假若，作用量的一次變分，作用量為平穩值，則正確地描述這物理系統的真實演化。從這變分運算，可以推導出拉格朗日方程式
詳盡相關導引，請參閱拉格朗日方程式。

**對稱性與守恆量**
根據諾特定理，根據物理系統的對稱性可以通過拉格朗日量導出守恆量。如果物理系統具有時間平移不變性則可以導出能量守恆。導出過程如下，思考拉格朗日量對於時間的全導數：
。
將拉格朗日方程式代入，可以得到
。
定義能量函數為
，
則能量函數與拉格朗日量有以下含時關係式：
。
假若系統具有時間平移不變性，即拉格朗日量顯性地與時間無關，，則能量函數是個常數：。稱這常數為這物理系統的能量。因此，這物理系統的能量守恆。如果系統具有空間平移不變性，這個系統為動量守恆，守恆量動量為 。

**拉格朗日量的逆問題**
1941年傑西·道格拉斯指出，對於任意常微分方程組，存在作用量使得其歐拉-拉格朗日方程為方程組的充分必要條件為：
這一條件又稱為亥姆霍茲條件。需要注意的是，這裡不一定成立，作用量中的可以是經典拉格朗日的變形。例如：方程，對應的拉格朗日量為

**拉格朗日表述**

**重要性**
拉格朗日表述是經典力學的一種重新表述。拉格朗日表述的重要性，不只是因為它可以廣泛應用在經典力學；而更是因為它能夠幫助物理學家更深刻地瞭解一個物理系統的物理行為。雖然拉格朗日只是在尋找一種表述經典力學的方法，他用來推導拉格朗日方程式的平穩作用量原理，現在已被學術界公認為在量子力學也極具功用。

**優點**
拉格朗日表述不會被任何座標系統捆綁住。拉格朗日表述使用廣義座標來描述系統的空間參數。它所涉及的物理量是動能與勢能，這些物理量的值不會隨廣義座標的選擇而改變。因此，對於系統的種種約束，可以選擇一組最合適的廣義座標，來計算問題的解答。
*拉格朗日表述能夠簡易地延伸至其他學術領域。電路學、量子力學、粒子物理學、等等，都可以用拉格朗日表述來分析。
*如果用同樣的表述可以分析不同學術領域的物理系統，這些系統必定有結構上的類推。在一個學術領域的新發現，意味著很可能在另一個學術領域會有類似的現象。

**可略坐標和守恆定律**
拉格朗日量有一個優良的性質，那就是守恆定律可以很容易地從它的表達式讀出來。例如，假設拉格朗日量跟某廣義速度有關，而跟廣義坐標無關，則對應的廣義動量是一個守恆量。這種坐標稱為「可略坐標」，或「循環坐標」。更詳細地說，拉格朗日量的形式為
。
直接檢視，就可以發覺跟無關，因此可以推斷是一個守恆量。
以此類推，假設，時間不在的表達式裡面，則哈密頓量守恆，即能量守恆。這種物理行為是諾特定理的一個特別案例。關於能量守恆問題，稍後會有更詳細解說。

**經典力學實例**
假設，在三維空間裡，一個運動中的粒子的動能為，勢能為，則拉格朗日量是
；
其中，是粒子質量，是位置向量，是粒子的速度。

**直角座標系**
採用直角座標系。那麼，拉格朗日方程式就是
；
其中，是位置向量的第個直角座標分量。
那麼，
、
。
這物理系統的運動方程式為
。
由於勢能對於位置的負梯度是作用力：，所以，
。
這方程式與牛頓第二定律方程式完全相同。由此可以觀察出，拉格朗日表述與牛頓表述的功能相等。
能量函數為
，
由於拉格朗日量顯性地與時間無關，能量函數是個常數。

**球座標系**
假設選擇球座標系，則拉格朗日量是
；
其中，是徑向距離，是天頂角，是方位角。
稍加運算，得到運動方程式為：
、
、
。
特別注意，跟無關。所以，是可略座標，角動量的z-分量是常數。

**檢驗粒子的拉格朗日量**
假定檢驗粒子的質量和電荷超小，其對於外在系統的影響可以忽略。檢驗粒子時常可以想像為簡單的質點粒子，只擁有質量和電荷性質。像電子或上夸克一類的真實粒子具有更複雜的性質，它們的拉格朗日量含有更多項目。

**狹義相對論裡的拉格朗日量**
在狹義相對論的四維空間裡，一個移動中的粒子的相對論性拉格朗日量可以寫為
；
其中，是粒子的靜質量，是光速，是粒子的速度。
其拉格朗日方程式為
；
其中，是勞侖茲因子。
注意到動量、作用力。將這些公式代入拉格朗日方程式，就可複製牛頓第二定律的方程式：
。
因此，這拉格朗日量被認定為正確無誤。
這粒子的廣義動量定義為
。
*假設這物理系統的勢能為零，這粒子是自由粒子，則此係統的能量函數為
:。
這是質能方程式：粒子的總能量等於其質量乘以光速平方
*假設粒子速度遠小於光速，則拉格朗日量的動能部分可以近似為
:。
靜質量的能量是個常數，可以忽略（其變分等於零）。相對論性拉格朗日量又變回經典拉格朗日量：
:。

**電動力學裡的相對論性拉格朗日量**
一個移動於電磁場的帶電粒子的相對論性拉格朗日量可以寫為
；
其中，是帶電粒子的電荷量，是電勢，是磁向量勢。
其拉格朗日方程式為
。
所以，
。
注意到作用力，電場，磁場。將這些公式代入上述方程式，經過一番運算，就可以得到勞侖茲力方程式：
。
這拉格朗日量可以複製出勞侖茲力方程式。因此，這拉格朗日量被認定為正確無誤。

**協變的拉格朗日量**
前面這些拉格朗日量都不具有協變形式，當變換坐標系時，拉格朗日量的形式可能會有所改變。為了確保這形式不會改變，必須將拉格朗日量寫為協變形式。
對於自由粒子，作用量為
；
其中，和分別是初始時間和終結時間。
為了要使得拉格朗日量具有協變形式，必須引用張量來表達。採用愛因斯坦求和約定，注意到四維速度與自己的內積：
；
其中，是四維速度，是四維坐標對於固有時的導數（撇號表示對於固有時的導數）。
將積分元素從微小時間元素改變為微小固有時元素，由於，協變的作用量可以寫為
。
協變的拉格朗日量變為
；
其中，是閔可夫斯基度規。
其拉格朗日方程式為
。
注意到約束，這粒子只能運動於四維速度空間內的特定的三維曲面。將這約束代入上述方程式，可以正確地複製自由粒子的運動方程式。
。

**電動力學裡的相對論性拉格朗日量的協變表述**
現在假設這粒子是移動於電磁場的帶電粒子。電磁場的協變位勢可以寫為
；
其中，是電磁四維勢。
協變的拉格朗日量是
。
其拉格朗日方程式為
。
經過一番運算，可以得到

其中，是電磁張量。
這正是勞侖茲力方程式的協變形式。總結，協變的拉格朗日方程式可以複製出協變的勞侖茲力方程式。

**場論例子**

**電磁學**

**量子電動力學**

**量子色動力學**

**楊-米爾斯場論**
包括QED、量子色動力學、等

**陳-西蒙斯理論**

**廣義相對論**
廣義相對論中拉格朗日量密度為：
其中，為宇宙學常數，是裡奇曲率張量和度規張量的縮並。被稱為愛因斯坦-希爾伯特作用量。廣義相對論的拉格朗日量可以寫成類似於楊-米爾斯方程的形式，這被稱為愛因斯坦-楊-米爾斯作用量。這是注意到大多數微分幾何在具有仿射聯絡和李群的纖維叢上表現得很好後得到的結果。通過加入對稱群就可以得到上面的結果。
通過對變分得到相應的歐拉-拉格朗日方程：
這也被稱為愛因斯坦場方程。
是能動張量，定義如下：
其中，為度規張量的行列式。在廣義相對論中，拉格朗日密度積分時的提及元變為。這使得積分和座標無關，因為這個平方根就是雅可比行列式。負號是為了使根號下為正。

**相對論**
在廣義相對論下，包含愛因斯坦-希爾伯特作用量電磁場的拉格朗日密度為：
純的電磁場拉格朗日密度正是物質的拉格朗日量。將彎曲時空替換閔氏時空拉格朗日量中的閔可夫斯基矩陣可以簡單得到這個形式。我們可以得到在電磁場中的愛因斯坦場方程。能動張量為：
能動張量是無跡的：
如果同時對愛因斯坦場方程兩邊同時縮並：
這意味著曲率張量也是無跡的，方程可以化簡為：
另外，彎曲時空的麥克斯韋方程組為：
其中，為協變導數。對於四維時空來說，我們可以假設四維電流為0, 。在自由空間球對稱物質分佈條件下同時解這兩個方程，得到的解是賴斯納-努德斯特倫度規，在自然單位制下帶有電荷量為的黑洞度規可以寫成下面的形式：
一個可能的統一電磁場和引力場的理論是卡魯扎-克萊因理論。卡魯扎-克萊因理論考慮了一個類似於楊-米爾斯方程的仿射叢，作用量可以分為4維部分和1維部分。不幸的是該理論未能包含全部的標準模型。

**參見**
哈密頓量
*哈密頓原理
*拉格朗日力學
*拉格朗日方程式
*哈密頓力學
*最小作用量原理
*變分法
*諾特定理
*泛函導數
*泛函積分（路徑積分表述）

**參考文獻==