在分析力學裏,一個動力系統的拉格朗日量(英語:Lagrangian),又稱拉格朗日函數,簡稱「拉氏量」,是描述整個物理系統的動力狀態的函數,對於一般經典物理系統,通常定義為動能減去勢能[1],以方程式表示為
;
約瑟夫·拉格朗日
其中,
為拉格朗日量,
為動能,
為勢能。
在分析力學裡,假設已知一個系統的拉格朗日量,則可以將拉格朗日量直接代入拉格朗日方程式,稍加運算,即可求得此系統的運動方程式。
拉格朗日量是因數學家和天文學家約瑟夫·拉格朗日而命名。
在場論,若
是作用量,則拉格朗日方程是
拉格朗日量是動能
與勢能
的差值:
。
通常,動能的參數為廣義速度
(符號上方的點號表示對於時間
的全導數),而勢能的參數為廣義座標
,所以,拉格朗日量的參數為
。解析一個問題,最先要選擇一個合適的廣義坐標。然後,計算出其拉格朗日量。假定這些參數(廣義座標、廣義速度)都互相獨立,就可以用拉格朗日方程式來求得系統的運動方程式。
假設一個物理系統的拉格朗日量為
,則此物理系統的運動,以拉格朗日方程式表示為
;
其中,
是時間,
是廣義坐標,
是廣義速度。
一個物理系統的作用量
是一種泛函,以數學方程式定義為
;
其中,
是系統的拉格朗日量,廣義坐標
是時間
的函數,
和
分別為初始時間和終結時間。
假若,作用量的一次變分
,作用量
為平穩值,則
正確地描述這物理系統的真實演化。從這變分運算,可以推導出拉格朗日方程式
詳盡相關導引,請參閱拉格朗日方程式。
根據諾特定理,根據物理系統的對稱性可以通過拉格朗日量導出守恆量。如果物理系統具有時間平移不變性則可以導出能量守恆。導出過程如下,思考拉格朗日量對於時間的全導數:
。
將拉格朗日方程式代入,可以得到
。
定義能量函數
為
,
則能量函數與拉格朗日量有以下含時關係式:
。
假若系統具有時間平移不變性,即拉格朗日量顯性地與時間無關,
,則能量函數是個常數:
。稱這常數
為這物理系統的能量。因此,這物理系統的能量守恆[2]。如果系統具有空間平移不變性,這個系統為動量守恆,守恆量動量為
。
1941年傑西·道格拉斯指出,對於任意常微分方程組
,存在作用量
使得其歐拉-拉格朗日方程為方程組
的充分必要條件為:
這一條件又稱為亥姆霍茲條件。需要注意的是,這裡
不一定成立,作用量中的
可以是經典拉格朗日的變形。例如:方程
,對應的拉格朗日量為
[3]
拉格朗日表述是經典力學的一種重新表述。拉格朗日表述的重要性,不只是因為它可以廣泛應用在經典力學;而更是因為它能夠幫助物理學家更深刻地了解一個物理系統的物理行為。雖然拉格朗日只是在尋找一種表述經典力學的方法,他用來推導拉格朗日方程式的平穩作用量原理,現在已被學術界公認為在量子力學也極具功用。
- 拉格朗日表述不會被任何坐標系統捆綁住。拉格朗日表述使用廣義坐標來描述系統的空間參數。它所涉及的物理量是動能與勢能,這些物理量的值不會隨廣義坐標的選擇而改變。因此,對於系統的種種約束,可以選擇一組最合適的廣義坐標,來計算問題的解答。
- 如果用同樣的表述可以分析不同學術領域的物理系統,這些系統必定有結構上的類推。在一個學術領域的新發現,意味著很可能在另一個學術領域會有類似的現象。
拉格朗日量有一個優良的性質,那就是守恆定律可以很容易地從它的表達式讀出來。例如,假設拉格朗日量
跟某廣義速度
有關,而跟廣義坐標
無關,則對應的廣義動量
是一個守恆量。這種坐標稱為「可略坐標」,或「循環坐標」。更詳細地說,拉格朗日量的形式為
。
直接檢視,就可以發覺
跟
無關,因此可以推斷
是一個守恆量。
以此類推,假設,時間
不在
的表達式裏面,則哈密頓量守恆,即能量守恆。這種物理行為是諾特定理的一個特別案例。關於能量守恆問題,稍後會有更詳細解說。
假設選擇球坐標系,則拉格朗日量是
;
其中,
是徑向距離,
是天頂角,
是方位角。
稍加運算,得到運動方程式為:
、
、
。
特別注意,
跟
無關。所以,
是可略坐標,角動量的z-分量
是常數。
假定檢驗粒子的質量和電荷超小,其對於外在系統的影響可以忽略。檢驗粒子時常可以想像為簡單的質點粒子,只擁有質量和電荷性質。像電子或上夸克一類的真實粒子具有更複雜的性質,它們的拉格朗日量含有更多項目。
前面這些拉格朗日量都不具有協變形式,當變換坐標系時,拉格朗日量的形式可能會有所改變。為了確保這形式不會改變,必須將拉格朗日量寫為協變形式。
對於自由粒子,作用量
為
;
其中,
和
分別是初始時間和終結時間。
為了要使得拉格朗日量具有協變形式,必須引用張量來表達。採用愛因斯坦求和約定,注意到四維速度與自己的內積:
;
其中,
是四維速度,是四維坐標
對於固有時
的導數(撇號表示對於固有時
的導數)。
將積分元素從微小時間元素
改變為微小固有時元素
,由於
,協變的作用量可以寫為
。
協變的拉格朗日量
變為[2]
;
其中,
是閔可夫斯基度規。
其拉格朗日方程式為
。
注意到約束
,這粒子只能運動於四維速度空間內的特定的三維曲面。將這約束代入上述方程式,可以正確地複製自由粒子的運動方程式。
。
現在假設這粒子是移動於電磁場的帶電粒子。電磁場的協變位勢可以寫為
;
其中,
是電磁四維勢。
協變的拉格朗日量
是[2]
。
其拉格朗日方程式為
。
經過一番運算,可以得到
![{\displaystyle {\begin{aligned}m{X}_{\mu }^{\prime \prime }&=-q{\frac {d}{d\tau }}(\mathbb {A} _{\mu })+qU^{\alpha }{\frac {\partial \mathbb {A} _{\alpha }}{\partial X^{\mu }}}\\&=-q{\frac {dX^{\alpha }}{d\tau }}{\frac {\partial (\mathbb {A} _{\mu })}{\partial X^{\alpha }}}+qU^{\alpha }{\frac {\partial \mathbb {A} _{\alpha }}{\partial X^{\mu }}}\\&=qU^{\alpha }\left({\frac {\partial \mathbb {A} _{\alpha }}{\partial X^{\mu }}}-{\frac {\partial (\mathbb {A} _{\mu })}{\partial X^{\alpha }}}\right)\\&=qU^{\alpha }F_{\mu \alpha }\\\end{aligned}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/8486d18d7b88a83ace421039f55211c5c2d03a6c)
其中,
是電磁張量。
這正是勞侖茲力方程式的協變形式。總結,協變的拉格朗日方程式可以複製出協變的勞侖茲力方程式。