拉格朗日量

約瑟夫·拉格朗日

在分析力學裏，一个动力系统的拉格朗日量（Template:Lang-en），又稱拉格朗日函數，简称“拉氏量”，是描述整个物理系统的动力状态的函数，對於一般經典物理系統，通常定義為動能減去勢能，以方程式表示為

$ℒ=T-V$；

其中，$ℒ$為拉格朗日量，$T$為動能，$V$為勢能。

在分析力学裡，假設已知一个系统的拉格朗日量，则可以将拉格朗日量直接代入拉格朗日方程式，稍加运算，即可求得此系统的运动方程式。

拉格朗日量是因數學家和天文學家約瑟夫·拉格朗日而命名。

在场论，若

$S(\varphi )=\int ℒ(\varphi (x),\partial \varphi (x),x)d^{n}x$

是作用量，则拉格朗日方程是

$\frac{\delta S}{\delta \varphi }=0$

概念

拉格朗日量是动能$T$与势能$V$的差值：

$ℒ=T-V$。

通常，動能的參數為廣義速度${\dot{q}}_1,{\dot{q}}_2,{\dot{q}}_3,\dots ,{\dot{q}}_N$（符號上方的點號表示對於時間$t$的全導數），而勢能的參數為廣義座標$q_1,q_2,q_3,\dots ,q_N;t$，所以，拉格朗日量的參數為$q_1,q_2,q_3,\dots ,q_N;{\dot{q}}_1,{\dot{q}}_2,{\dot{q}}_3,\dots ,{\dot{q}}_N;t$。解析一个问题，最先要选择一个合适的广义坐标。然后，计算出其拉格朗日量。假定這些參數（廣義座標、廣義速度）都互相獨立，就可以用拉格朗日方程式来求得系统的运动方程式。

假設一個物理系統的拉格朗日量為$ℒ$，則此物理系統的運動，以拉格朗日方程式表示為

$\frac{d}{dt}\left(\frac{\partial ℒ}{\partial {\dot{q}}_i}\right)-\frac{\partial ℒ}{\partial q_i}=0$；

其中，$t$是时间，$q_i$是广义坐标，${\dot{q}}_i$是广义速度。

拉格朗日量與作用量的關係

一個物理系統的作用量$𝒮$是一種泛函，以數學方程式定義為

$𝒮\stackrel{\mathrm{d}\mathrm{e}\mathrm{f}}{=}\underset{t_1}{\overset{t_2}{\int }}L(𝐪,\dot{𝐪},t)dt$；

其中，$L(𝐪,\dot{𝐪},t)$是系統的拉格朗日量，廣義坐標$𝐪=(q_1,q_2,\dots ,q_N)$是時間$t$的函數，$t_1$和$t_2$分別為初始時間和終結時間。

假若，作用量的一次變分$\delta 𝒮=0$，作用量$𝒮$為平穩值，則$𝐪(t)$正確地描述這物理系統的真實演化。從這變分運算，可以推導出拉格朗日方程式

詳盡相關導引，請參閱拉格朗日方程式。

对称性与守恒量

根据诺特定理，根据物理系统的对称性可以通过拉格朗日量导出守恒量。如果物理系统具有时间平移不变性则可以导出能量守恒。导出过程如下，思考拉格朗日量對於時間的全導數：

$\frac{dℒ}{dt}=\sum _i\frac{\partial ℒ}{\partial q_i}{\dot{q}}_i+\sum _i\frac{\partial ℒ}{\partial {\dot{q}}_i}{\ddot{q}}_i+\frac{\partial ℒ}{\partial t}$。

將拉格朗日方程式代入，可以得到

$\begin{array}{cc}\frac{dℒ}{dt}& =\sum _i\frac{d}{dt}\left(\frac{\partial ℒ}{\partial {\dot{q}}_i}\right){\dot{q}}_i+\sum _i\frac{\partial ℒ}{\partial {\dot{q}}_i}{\ddot{q}}_i+\frac{\partial ℒ}{\partial t}\\ & =\sum _i\frac{d}{dt}\left(\frac{\partial ℒ}{\partial {\dot{q}}_i}{\dot{q}}_i\right)+\frac{\partial ℒ}{\partial t}\\ \end{array}$。

定義能量函數$ℎ(q_1,q_2,q_3,\dots ;{\dot{q}}_1,{\dot{q}}_2,{\dot{q}}_3,\dots ;t)$為

$ℎ\stackrel{def}{=}\sum _i\frac{\partial ℒ}{\partial {\dot{q}}_i}{\dot{q}}_i-ℒ$，

則能量函數與拉格朗日量有以下含時關係式：

$\frac{dℎ}{dt}=-\frac{\partial ℒ}{\partial t}$。

假若系统具有时间平移不变性，即拉格朗日量顯性地與時間無關，$\frac{\partial ℒ}{\partial t}=0$，則能量函數是個常數：$ℎ=E$。稱這常數$E$為這物理系統的能量。因此，這物理系統的能量守恆。如果系统具有空间平移不变性，这个系统为动量守恒，守恒量动量为 $\frac{\partial ℒ}{\partial {\dot{q}}_i}$。

拉格朗日量的逆问题

1941年杰西·道格拉斯指出，对于任意常微分方程组$F_i(t,q_j,q_j^{\text{'}},q_j^{{\text{'}}^{\prime }})=0$，存在作用量$𝒮=\underset{t_1}{\overset{t_2}{\int }}L(𝐪,\dot{𝐪},t)dt$使得其欧拉-拉格朗日方程为方程组$F_i$的充分必要条件为：

$\frac{\partial F_i}{\partial q_j^{{\text{'}}^{\prime }}}=\frac{\partial F_j}{\partial q_i^{{\text{'}}^{\prime }}}$

$\frac{\partial F_i}{\partial q_j}-\frac{\partial F_j}{\partial q_i}=\frac{1}{2}\frac{d}{dt}(\frac{\partial F_i}{\partial q_j^{\text{'}}}-\frac{\partial F_j}{\partial q_i^{\text{'}}})$

$\frac{\partial F_i}{\partial q_j^{\text{'}}}+\frac{\partial F_j}{\partial q_i^{\text{'}}}=2\frac{d}{dt}(\frac{\partial F_j}{\partial q_i^{{\text{'}}^{\prime }}})$

这一条件又称为亥姆霍兹条件。需要注意的是，这里$ℒ=T-V$不一定成立，作用量中的$ℒ$可以是经典拉格朗日的变形。例如：方程$x^{{\text{'}}^{\prime }}+b{x}^{\text{'}}+{\omega }^{2}x=0$，对应的拉格朗日量为$ℒ=e^{bt}(\frac{x^{\text{'}2}}{2}-\frac{{\omega }^2{x}^2}{2})$

拉格朗日表述

重要性

拉格朗日表述是经典力学的一种重新表述。拉格朗日表述的重要性，不只是因为它可以广泛应用在经典力学；而更是因为它能够帮助物理学家更深刻地了解一个物理系统的物理行为。雖然拉格朗日只是在尋找一種表述經典力學的方法，他用來推導拉格朗日方程式的平穩作用量原理，現在已被學術界公認為在量子力學也極具功用。

优点

• 拉格朗日表述不会被任何坐标系统捆绑住。拉格朗日表述使用广义坐标来描述系统的空间参数。它所涉及的物理量是动能与势能，这些物理量的值不会随广义坐标的选择而改变。因此，對於系统的种种約束，可以选择一组最合适的广义坐标，来计算问题的解答。

• 拉格朗日表述能够简易地延伸至其他学术領域。电路学、量子力学、粒子物理学、等等，都可以用拉格朗日表述来分析。

• 如果用同样的表述可以分析不同学术領域的物理系统，这些系统必定有結构上的类推。在一个学术領域的新发现，意味著很可能在另一个学术領域会有类似的现象。

可略坐標和守恆定律

拉格朗日量有一個優良的性質，那就是守恆定律可以很容易地從它的表達式讀出來。例如，假設拉格朗日量$ℒ$跟某廣義速度${\dot{q}}_2$有關，而跟廣義坐標$q_2$無關，則對應的廣義動量$p_2$是一個守恆量。這種坐標稱為「可略坐標」，或「循環坐標」。更詳細地說，拉格朗日量的形式為

$ℒ(q_1,q_3,q_4,\dots ;{\dot{q}}_1,{\dot{q}}_2,{\dot{q}}_3,{\dot{q}}_4,\dots ;t)$。

直接檢視，就可以發覺$ℒ$跟$q_2$無關，因此可以推斷$p_2$是一個守恆量。

以此類推，假設，時間$t$不在$ℒ$的表達式裏面，則哈密頓量守恆，即能量守恆。這種物理行為是諾特定理的一個特別案例。關於能量守恆問題，稍後會有更詳細解說。

经典力学实例

假设，在三维空间裏，一個運動中的粒子的動能為$T=\frac{1}{2}m{\dot{𝐫}}^2=\frac{1}{2}m({\dot{x_1}}^2+{\dot{x_2}}^2+{\dot{x_3}}^2)$，勢能為$V(r)$，則拉格朗日量是

$ℒ(𝐫,\dot{𝐫})=\frac{1}{2}m{\dot{𝐫}}^2-V(r)$；

其中，$m$是粒子質量，$𝐫$是位置向量，$v$是粒子的速度。

直角坐标系

採用直角坐标系。那麼，拉格朗日方程式就是

$\frac{d}{dt}\left(\frac{\partial ℒ}{\partial {\dot{x}}_i}\right)-\frac{\partial ℒ}{\partial x_i}=0,i=1,2,3$；

其中，$x_i$是位置向量$𝐫$的第$i$個直角坐标分量。

那麼，

$\frac{d}{dt}\left(\frac{\partial ℒ}{\partial {\dot{x}}_i}\right)=m{\ddot{x}}_i$、

$\frac{\partial ℒ}{\partial x_i}=-\frac{\partial V}{\partial x_i}$。

这物理系统的运动方程式为

$m\ddot{𝐫}+\mathrm{\nabla }V=0$。

由於势能對於位置的負梯度是作用力：$𝐅=-\mathrm{\nabla }V(r)$，所以，

$𝐅=m\ddot{𝐫}$。

这方程式与牛顿第二定律方程式完全相同。由此可以观察出，拉格朗日表述与牛顿表述的功能相等。

能量函數$ℎ$為

$ℎ=\sum _i\frac{\partial ℒ}{\partial {\dot{x}}_i}{\dot{x}}_i-ℒ=m\sum _i{\dot{x}}_i^2-ℒ=\frac{1}{2}m\sum _i{\dot{x}}_i^2+V(𝐫)=T+V=E$，

由於拉格朗日量顯性地與時間無關，能量函數$ℎ$是個常數$E$。

球坐标系

假設選擇球坐标系，則拉格朗日量是

$ℒ(r,\theta ,\phi ,\dot{r},\dot{\theta },\dot{\phi })=\frac{m}{2}({\dot{r}}^2+r^2{\dot{\theta }}^2+r^2{\sin }^2\theta {\dot{\phi }}^2)-V(r)$；

其中，$r$是径向距离，$\theta$是天顶角，$\phi$是方位角。

稍加运算，得到运动方程式为：

$\frac{d}{dt}\left(\frac{\partial ℒ}{\partial \dot{r}}\right)-\frac{\partial ℒ}{\partial r}=m\ddot{r}-mr({\dot{\theta }}^2+{\sin }^2\theta {\dot{\phi }}^2)+\frac{dV}{dr}=0$、

$\frac{d}{dt}\left(\frac{\partial ℒ}{\partial \dot{\theta }}\right)-\frac{\partial ℒ}{\partial \theta }=\frac{d}{dt}(m{r}^2\dot{\theta })-m{r}^2\sin \theta \cos \theta {\dot{\phi }}^2=0$、

$\frac{d}{dt}\left(\frac{\partial ℒ}{\partial \dot{\phi }}\right)-\frac{\partial ℒ}{\partial \phi }=\frac{d}{dt}(m{r}^2{\sin }^2\theta \dot{\phi })=0$。

特別注意，$ℒ$跟$\phi$無關。所以，$\phi$是可略坐标，角動量的z-分量$L_z=m{r}^2{\sin }^2\theta \dot{\phi }$是常数。

檢驗粒子的拉格朗日量

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

狹義相對論裏的拉格朗日量

在狹義相對論的四維空間裏，一個移動中的粒子的相對論性拉格朗日量可以寫為

$ℒ=-m{c}^2\sqrt{1-\frac{v^2}{c^2}}-V$；

其中，$m$是粒子的靜質量，$c$是光速，$v$是粒子的速度。

其拉格朗日方程式為

$\frac{d}{dt}\left(\frac{\partial ℒ}{\partial {\dot{x}}_i}\right)-\frac{\partial ℒ}{\partial x_i}=\frac{d}{dt}(\gamma m{\dot{x}}_i)+\frac{\partial V}{\partial x_i}=0$；

其中，$\gamma =1/\sqrt{1-v^2/c^2}$是勞侖茲因子。

注意到動量$p_i=\gamma m{\dot{x}}_i$、作用力$F_i=-\frac{\partial V}{\partial x_i}$。將這些公式代入拉格朗日方程式，就可複製牛頓第二定律的方程式：

$𝐅=\frac{d𝐩}{dt}$。

因此，這拉格朗日量被認定為正確無誤。

這粒子的廣義動量$p_i$定義為

$p_i\stackrel{def}{=}\frac{\partial ℒ}{\partial {\dot{x}}_i}=\gamma m{\dot{x}}_i$。

• 假設這物理系統的勢能為零，這粒子是自由粒子，則此系統的能量函數$h$為

$h=\sum _{i=1}^3\gamma m{\dot{x}}_i^2-ℒ=\gamma m{v}^2+m{c}^2\sqrt{1-\frac{v^2}{c^2}}=\gamma m{c}^2$。

這是質能方程式：粒子的總能量等於其質量乘以光速平方

• 假設粒子速度遠小於光速，則拉格朗日量的動能部分可以近似為

$-m{c}^2\sqrt{1-\frac{v^2}{c^2}}\approx -m{c}^2(1-\frac{v^2}{2c^2})=-m{c}^2+\frac{1}{2}m{v}^2=-m{c}^2+T$。

靜質量的能量$m{c}^2$是個常數，可以忽略（其變分等於零）。相對論性拉格朗日量又變回經典拉格朗日量：

$ℒ=T-V$。

電動力學裏的相對論性拉格朗日量

一個移動於電磁場的帶電粒子的相對論性拉格朗日量可以寫為

$ℒ=-m{c}^2\sqrt{1-\frac{v^2}{c^2}}-q\varphi (𝐫)+q𝐯\cdot 𝐀(𝐫,t)$；

其中，$q$是帶電粒子的電荷量，$\varphi$是電勢，$𝐀$是磁向量勢。

其拉格朗日方程式為

$\frac{d}{dt}\left(\frac{\partial ℒ}{\partial {\dot{x}}_i}\right)-\frac{\partial ℒ}{\partial x_i}=\frac{d}{dt}(\gamma m{\dot{x}}_i)+q\frac{d{A}_i}{dt}-q\frac{\partial \varphi }{\partial x_i}-q\sum _{j=1}^3{v}_j\frac{\partial A_j}{\partial x_i}=0$。

所以，

$\frac{d}{dt}(\gamma m{\dot{x}}_i)=-q\frac{d{A}_i}{dt}+q\frac{\partial \varphi }{\partial x_i}+q\sum _{j=1}^3{v}_j\frac{\partial A_j}{\partial x_i}$。

注意到作用力$𝐅=\frac{d}{dt}(\gamma m{\dot{x}}_i)$，電場$𝐄=-\mathrm{\nabla }\varphi$，磁場$𝐁=\mathrm{\nabla }\times 𝐀$。將這些公式代入上述方程式，經過一番運算，就可以得到勞侖茲力方程式：

$𝐅=q(𝐄+𝐯\times 𝐁)$。

這拉格朗日量可以複製出勞侖茲力方程式。因此，這拉格朗日量被認定為正確無誤。

協變的拉格朗日量

前面這些拉格朗日量都不具有協變形式，當變換坐標系時，拉格朗日量的形式可能會有所改變。為了確保這形式不會改變，必須將拉格朗日量寫為協變形式。

對於自由粒子，作用量$𝒜$為

$𝒜=\underset{t_1}{\overset{t_2}{\int }}ℒdt=\underset{t_1}{\overset{t_2}{\int }}-m{c}^2\sqrt{1-\frac{v^2}{c^2}}dt$；

其中，$t_1$和$t_2$分別是初始時間和終結時間。

為了要使得拉格朗日量具有協變形式，必須引用張量來表達。採用愛因斯坦求和約定，注意到四維速度與自己的內積：

$U^{\alpha }{U}_{\alpha }={\gamma }^2(c^2-v^2)={\gamma }^2{c}^2(1-\frac{v^2}{c^2})$；

其中，$U^{\alpha }=X^{\prime \mu }=\frac{d{X}^{\alpha }}{d\tau }=\gamma (c,v_1,v_2,v_3)$是四維速度，是四維坐標$X^{\alpha }=(ct,x_1,x_2,x_3)$對於固有時$\tau$的導數（撇號表示對於固有時$\tau$的導數）。

將積分元素從微小時間元素$dt$改變為微小固有時元素$d\tau$，由於$dt=\gamma d\tau$，協變的作用量可以寫為

$𝒜=\underset{{\tau }_1}{\overset{{\tau }_2}{\int }}-\frac{mc}{\gamma }\sqrt{U^{\alpha }{U}_{\alpha }}\gamma d\tau =\underset{{\tau }_1}{\overset{{\tau }_2}{\int }}-mc\sqrt{U^{\alpha }{U}_{\alpha }}d\tau$。

協變的拉格朗日量$\overline{ℒ}$變為

$\overline{ℒ}=\gamma ℒ=-mc\sqrt{U^{\alpha }{U}_{\alpha }}=-mc\sqrt{g_{\alpha \beta }{U}^{\alpha }{U}^{\beta }}$；

其中，$g_{\alpha \beta }$是閔可夫斯基度規。

其拉格朗日方程式為

$\frac{d}{d\tau }\left(\frac{\partial \overline{ℒ}}{\partial X^{\prime \mu }}\right)-\frac{\partial \overline{ℒ}}{\partial X^{\mu }}=-\frac{d}{d\tau }\left(\frac{mc{X}_{\mu }^{\prime }}{\sqrt{g_{\alpha \beta }{U}^{\alpha }{U}^{\beta }}}\right)=0$。

注意到約束$U^{\alpha }{U}_{\alpha }={\gamma }^2(c^2-v^2)=c^2$，這粒子只能運動於四維速度空間內的特定的三維曲面。將這約束代入上述方程式，可以正確地複製自由粒子的運動方程式。

$\frac{d}{d\tau }(m{X}_{\mu }^{\prime })=m{X}_{\mu }^{\prime \prime }=0$。

電動力學裏的相對論性拉格朗日量的協變表述

現在假設這粒子是移動於電磁場的帶電粒子。電磁場的協變位勢可以寫為

$q\varphi (𝐫)-q𝐯\cdot 𝐀(𝐫,t)=q{U}^{\alpha }{𝔸}_{\alpha }(X^{\beta })/\gamma$；

其中，${𝔸}_{\alpha }=(\varphi /c,-A_1,-A_2,-A_3)$是電磁四維勢。

協變的拉格朗日量$\overline{ℒ}$是

$\overline{ℒ}=\gamma ℒ=-mc\sqrt{g_{\alpha \beta }{U}^{\alpha }{U}^{\beta }}-q{U}^{\alpha }{𝔸}_{\alpha }(X^{\beta })$。

其拉格朗日方程式為

$\frac{d}{d\tau }\left(\frac{\partial \overline{ℒ}}{\partial X^{\prime \mu }}\right)-\frac{\partial \overline{ℒ}}{\partial X^{\mu }}=-\frac{d}{d\tau }(m{X}_{\mu }^{\prime }+q{𝔸}_{\mu })+q{U}^{\alpha }\frac{\partial {𝔸}_{\alpha }}{\partial X^{\mu }}=0$。

經過一番運算，可以得到

$\begin{array}{cc}m{X}_{\mu }^{\prime \prime }& =-q\frac{d}{d\tau }({𝔸}_{\mu })+q{U}^{\alpha }\frac{\partial {𝔸}_{\alpha }}{\partial X^{\mu }}\\ & =-q\frac{d{X}^{\alpha }}{d\tau }\frac{\partial ({𝔸}_{\mu })}{\partial X^{\alpha }}+q{U}^{\alpha }\frac{\partial {𝔸}_{\alpha }}{\partial X^{\mu }}\\ & =q{U}^{\alpha }(\frac{\partial {𝔸}_{\alpha }}{\partial X^{\mu }}-\frac{\partial ({𝔸}_{\mu })}{\partial X^{\alpha }})\\ & =q{U}^{\alpha }{F}_{\mu \alpha }\\ \end{array}$

其中，$F_{\mu \alpha }$是電磁張量。

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

场论例子

电磁学

$𝒮[𝐀]=\underset{ℳ}{\int }(-\frac{1}{2}𝐅\wedge \star 𝐅+𝐀\wedge \star 𝐉)$

$\mathrm{d}\star 𝐅=𝐉$

$\mathrm{d}𝐅=0$

量子电动力学

${ℒ}_{\mathrm{Q}\mathrm{E}\mathrm{D}}=i\hslash c\overline{\psi }D/\psi -m{c}^2\overline{\psi }\psi -\frac{1}{4{\mu }_0}{F}_{\mu \nu }{F}^{\mu \nu }$

量子色动力学

${ℒ}_{\mathrm{Q}\mathrm{C}\mathrm{D}}=\sum _n(i\hslash c{\overline{\psi }}_{n}D/{\psi }_n-m_n{c}^2{\overline{\psi }}_n{\psi }_n)-\frac{1}{4}{G}^{\alpha }{}_{\mu \nu }{G}_{\alpha }{}^{\mu \nu }$

杨-米尔斯场论

包括QED、量子色动力学、等

广义相对论

广义相对论中拉格朗日量密度为：

${ℒ}_{\text{GR}}={ℒ}_{\text{EH}}+{ℒ}_{\text{matter}}=\frac{c^4}{16\pi G}(R-2\mathrm{\Lambda })+{ℒ}_{\text{matter}}$

其中，$\mathrm{\Lambda }$为宇宙学常数，$R$是里奇曲率张量和度规张量的缩并。$L_{EH}$被称为爱因斯坦-希尔伯特作用量。广义相对论的拉格朗日量可以写成类似于杨-米尔斯方程的形式，这被称为爱因斯坦-杨-米尔斯作用量。这是注意到大多数微分几何在具有仿射联络和李群的纤维丛上表现得很好后得到的结果。通过加入对称群$SO(3,1)$就可以得到上面的结果。

通过对$g_{\mu \nu }$变分得到相应的欧拉-拉格朗日方程：

$R_{\mu \nu }-\frac{1}{2}R{g}_{\mu \nu }+g_{\mu \nu }\mathrm{\Lambda }=\frac{8\pi G}{c^4}{T}_{\mu \nu }$

这也被称为爱因斯坦场方程。

$T_{\mu \nu }$是能动张量，定义如下：

$T_{\mu \nu }\equiv \frac{-2}{\sqrt{-g}}\frac{\delta ({ℒ}_{\mathrm{m}\mathrm{a}\mathrm{t}\mathrm{t}\mathrm{e}\mathrm{r}}\sqrt{-g})}{\delta g^{\mu \nu }}=-2\frac{\delta {ℒ}_{\mathrm{m}\mathrm{a}\mathrm{t}\mathrm{t}\mathrm{e}\mathrm{r}}}{\delta g^{\mu \nu }}+g_{\mu \nu }{ℒ}_{\mathrm{m}\mathrm{a}\mathrm{t}\mathrm{t}\mathrm{e}\mathrm{r}}$

其中，$g$为度规张量的行列式。在广义相对论中，拉格朗日密度积分时的提及元变为$\sqrt{-g}{d}^{4}x$。这使得积分和坐标无关，因为这个平方根就是雅可比行列式。负号是为了使根号下为正。

相对论

Template:Main 在广义相对论下，包含爱因斯坦-希尔伯特作用量电磁场的拉格朗日密度为： $\begin{array}{cc}ℒ(x)& =j^{\mu }(x)A_{\mu }(x)-\frac{1}{4{\mu }_0}{F}_{\mu \nu }(x)F_{\rho \sigma }(x)g^{\mu \rho }(x)g^{\nu \sigma }(x)+\frac{c^4}{16\pi G}R(x)\\ & ={ℒ}_{\text{Maxwell}}+{ℒ}_{\text{Einstein-Hilbert}}\end{array}$ 纯的电磁场拉格朗日密度正是物质的拉格朗日量${ℒ}_{matter}$。将弯曲时空$g_{\mu \nu }(x)$替换闵氏时空拉格朗日量中的闵可夫斯基矩阵可以简单得到这个形式。我们可以得到在电磁场中的爱因斯坦场方程。能动张量为：

$T^{\mu \nu }(x)=\frac{2}{\sqrt{-g(x)}}\frac{\delta }{\delta g_{\mu \nu }(x)}{𝒮}_{\text{Maxwell}}=\frac{1}{{\mu }_0}(F_{\lambda }^{\mu }(x)F^{\nu \lambda }(x)-\frac{1}{4}{g}^{\mu \nu }(x)F_{\rho \sigma }(x)F^{\rho \sigma }(x))$ 能动张量是无迹的：

$T=g_{\mu \nu }{T}^{\mu \nu }=0$

如果同时对爱因斯坦场方程两边同时缩并：

$R=-\frac{8\pi G}{c^4}T$

这意味着曲率张量也是无迹的，方程可以化简为：

$R^{\mu \nu }=\frac{8\pi G}{c^4}\frac{1}{{\mu }_0}(F_{\lambda }^{\mu }(x)F^{\nu \lambda }(x)-\frac{1}{4}{g}^{\mu \nu }(x)F_{\rho \sigma }(x)F^{\rho \sigma }(x))$

另外，弯曲时空的麦克斯韦方程组为：

$D_{\mu }{F}^{\mu \nu }=-{\mu }_0{j}^{\nu }$

其中，$D_{\mu }$为协变导数。对于四维时空来说，我们可以假设四维电流为0, $j^{\mu }=0$。在自由空间球对称物质分布条件下同时解这两个方程，得到的解是赖斯纳-努德斯特伦度规，在自然单位制下带有电荷量为$Q$的黑洞度规可以写成下面的形式：

$d{s}^2=(1-\frac{2M}{r}+\frac{Q^2}{r^2})d{t}^2-{(1-\frac{2M}{r}+\frac{Q^2}{r^2})}^{-1}d{r}^2-r^{2}d{\mathrm{\Omega }}^2$

一个可能的统一电磁场和引力场的理论是卡鲁扎-克莱因理论。卡鲁扎-克莱因理论考虑了一个类似于杨-米尔斯方程的仿射丛，作用量可以分为4维部分和1维部分。不幸的是该理论未能包含全部的标准模型。

参见

• 哈密顿量
• 哈密顿原理
• 拉格朗日力学
• 拉格朗日方程式
• 哈密顿力学
• 最小作用量原理
• 变分法
• 诺特定理
• 泛函导数
• 泛函积分（路径积分表述）