查看“︁经典电磁理论的协变形式”︁的源代码

{{NoteTA|G1=物理學}}
'''经典电磁理论的协变形式'''是指将经典的[[电磁学]]定律（主要包括[[馬克士威方程組]]和[[洛伦兹力]]）纳入[[狭义相对论]]的框架，利用[[洛伦兹协变]]的[[四维矢量]]和[[张量|四维张量]]写成“外在协变”的形式。这种形式的好处在于，经典的电磁学定律在任意[[惯性坐标系]]下具有相同的形式，并能够使场和力在不同惯性系下的变换更加容易表述。

在本文中，[[闵可夫斯基度规]]的形式被规定为<math>diag(1, -1, -1, -1)\,</math>，这是参考了{{lang|en|John David Jackson}}所编写的《经典电动力学》中所采用的形式；并且从头彻尾都使用了经典的[[张量代数]]以及[[爱因斯坦求和约定]]。<ref name=Jackson1999>{{citation|last=Jackson|first=John David|title=Classical Electrodynamic|publisher = John Wiley & Sons, Inc. |year=1999|location=USA|edition=3rd.|pages=pp. 1-2|isbn=978-0-471-30932-1}}</ref>{{rp|544}}

== 协变量 ==

=== 电磁张量 ===

{{main|电磁张量}}
将电场和磁场统一起来可写成一个[[反对称]]张量，即电磁张量。当单位为伏特·秒/米<sup>2</sup>，其协变形式为<ref name=Jackson1999/>{{rp|553-558}}

:<math>F_{\alpha \beta} = \left( \begin{matrix} 0 &  \frac{E_x}{c} &  \frac{E_y}{c} &  \frac{E_z}{c} \\ \frac{-E_x}{c} & 0 & -B_z & B_y \\ \frac{-E_y}{c}  & B_z & 0 & -B_x \\ \frac{-E_z}{c} & -B_y & B_x & 0 \end{matrix} \right)</math>
通过张量代数可以得到反变形式为

:<math>F^{\mu \nu} \, \stackrel{\mathrm{def}}{=} \, \eta^{\mu \alpha} \, F_{\alpha \beta} \, \eta^{\beta \nu} = \left( \begin{matrix} 0 &  \frac{-E_x}{c} &  \frac{-E_y}{c} &  \frac{-E_z}{c} \\ \frac{E_x}{c} & 0 & -B_z & B_y \\ \frac{E_y}{c}  & B_z & 0 & -B_x \\ \frac{E_z}{c} & -B_y & B_x & 0 \end{matrix} \right).</math>

其中<math>\mathbf{E}\,</math>是[[电场强度]]，<math>\mathbf{B}\,</math>是[[磁感应强度]]，<math>c\,</math>是[[真空中的光速]]。如果采用[[高斯单位制]]，光速这个因子将不会出现。

=== 四维电流密度 ===

{{main|四维电流密度}}

四维电流密度是统一了[[电流密度]]和[[电荷密度]]的四维矢量。当单位为安培/米<sup>2</sup>，其反变形式为

:<math>J^{\alpha}  = \,  (c \rho, \mathbf{J} ) </math>

其中<math> \rho\, </math>是电荷密度，<math> \mathbf{J} </math>是电流密度。

=== 电磁四维势 ===

{{main|电磁四维势}}

电磁四维势是统一了[[电标势]]和[[磁矢势]]的四维矢量。当单位为伏特·秒/米时，其协变形式为
:<math>A_{\alpha} = \left(  \phi/c,- \mathbf{A} \right)</math>

电磁张量和四维势之间的关系为
:<math>F_{\alpha \beta} = \partial_{\alpha} A_{\beta} - \partial_{\beta} A_{\alpha} \,</math>

其中
:<math>\partial_\alpha = \frac{\partial}{\partial x^{\alpha}} = \left( \frac{1}{c} \frac{\partial}{\partial t}, \mathbf{\nabla} \right) \,.</math>

=== 电磁应力-能量张量 ===
{{main|电磁应力-能量张量}}
电磁应力-能量张量是一个对称张量，描述了电磁场对全部[[应力-能量张量]]的贡献。当单位为焦耳/米<sup>3</sup>，它的反变形式为

:<math>T^{\alpha\beta} = \begin{bmatrix} \frac{1}{2}(\epsilon_{0}E^2 + \frac{1}{\mu_{0}}B^2) & S_x/c & S_y/c & S_z/c \\ S_x/c & -\sigma_{xx} & -\sigma_{xy} & -\sigma_{xz} \\
S_y/c & -\sigma_{yx} & -\sigma_{yy} & -\sigma_{yz} \\
S_z/c & -\sigma_{zx} & -\sigma_{zy} & -\sigma_{zz} \end{bmatrix}</math>

其中<math>\epsilon_0\,</math>是[[真空电容率]]， <math>\mu_0\,</math>是[[真空磁导率]]，[[坡印亭矢量]]为
:<math>\mathbf{S} = \frac{1}{\mu_{0}} \mathbf{E} \times \mathbf{B} \,</math>

而[[馬克士威應力張量]]為
:<math>\sigma_{ij} = \epsilon_{0}E_{i}E_{j} + \frac{1}{\mu_{0}}B_{i}B_{j} - 
\tfrac{1}{2}(\epsilon_{0}E^2 + \frac{1}{\mu_{0}}B^2)\delta_{ij} \,.</math>

电磁应力-能量张量与电磁场张量之间的关系由下面方程给出：
:<math>T^{\alpha\beta} = \frac{-1}{\mu_{0}} ( F^{\alpha \gamma}\eta_{\gamma \nu}F^{\nu \beta} + \frac{1}{4}\eta^{\alpha\beta}F_{\gamma \nu}F^{\gamma \nu})</math>
其中<math>\eta \,</math>是[[闵可夫斯基度规]]张量。注意我们这里使用了关系
:<math>\epsilon_{0} \mu_{0} c^2 = 1\,.</math>

=== 其他非电磁学协变量 ===

除上面的电磁学量以外，我们在这里列出三个非电磁学的四维矢量，它们在本文中也有用到：
*[[位置矢量|位置（坐标）矢量]]，单位为米： 

::<math>x^\alpha = (ct, x, y, z) \,.</math> 

*[[四维速度|四维速度矢量]]，单位为米/秒： 

::<math>u^\alpha = \gamma(c,\mathbf{u}) \,</math> 

:其中<math>\mathbf{u} \,</math>是（三维）速度矢量，而<math>\gamma \,</math>是与<math>\mathbf{u} \,</math>有关的[[洛伦兹因子]]。

*[[四维动量|四维动量矢量]]，单位为千克·米/秒： 

::<math>p_\alpha = ( E/c, - \mathbf{p}) = m \, \eta_{\alpha \nu} \, u^{\nu} \,</math> 

:其中<math>\mathbf{p} \,</math>是（三维）动量矢量，而E是能量，m是粒子的[[静止质量]]。

== 馬克士威方程組 ==

真空中的[[馬克士威方程組]]可以写作两个张量方程的形式： :<math>\frac{\partial F^{\alpha \beta}}{\partial x^\alpha} = \mu_{0} J^\beta \qquad\hbox{and}\qquad 0 = \epsilon^{\alpha \beta \gamma \delta} \frac{\partial F_{\alpha \beta}}{\partial x^\gamma}</math>

其中''F'' <sup>αβ</sup>是[[电磁张量]]，''J'' <sup>α</sup>是[[四维电流密度]]，є <sup>αβγδ</sup>是[[列维-奇维塔符号]]，所有角标满足[[爱因斯坦求和约定]]。第一个张量方程表述了两个非齐次的麦克斯韦方程：[[高斯定律]]和[[安培定律]]；第二个张量方程表述了两个齐次的麦克斯韦方程：[[法拉第电磁感应定律]]和[[磁场的高斯定律]]。

在无源的情形下，麦克斯韦方程组退化为与场强有关的[[电磁波方程|波方程]]：

:<math> \eta^{\gamma \nu} \partial_{\gamma} \partial_{\nu}  F^{\alpha\beta} \, \stackrel{\mathrm{def}}{=} \, \Box F^{\alpha\beta} \, \stackrel{\mathrm{def}}{=} \, \nabla^2 F^{\alpha\beta} - {1 \over c^2 } { \partial^2 F^{\alpha\beta} \over {\partial t }^2   } = 0 \,.</math>  

这里<math> \Box </math>是[[达朗贝尔算符]]。

=== 其他符号记法 ===
如果不用求和约定或列维-奇维塔符号，方程组将写为
:<math>\sum_{x^\alpha =ct,x,y,z}{\partial F^{\alpha \beta}\over\partial x^\alpha} = \mu_{0} J^{\beta}
\qquad\hbox{and}\qquad
0 = {\partial F_{\alpha\beta}\over\partial x^\gamma}
 + {\partial F_{\beta\gamma}\over\partial x^\alpha}
 + {\partial F_{\gamma\alpha}\over\partial x^\beta}
</math>
其中所有的角标的范围是0到3（更具体而言，<math>x^\alpha</math>的范围是{''ct,x,y,z''}）。第一个张量方程对应着四个标量方程，其中<math>\beta</math>的值为0到3。第二个张量方程可展开为<math>4^3=64</math>个标量方程，但只有四个是独立的。

为了方便可以将[[四维梯度]]写作更简洁的形式：
:<math>{\partial F^{\alpha\beta}\over \partial x^\gamma} \, \stackrel{\mathrm{def}}{=} \, \partial_\gamma F^{\alpha\beta} \, \stackrel{\mathrm{def}}{=} \, {F^{\alpha\beta}}_{,\gamma} \,.</math>
从而馬克士威方程組最终的协变形式为
<math>
{F^{\alpha \beta}}_{,\alpha} = \mu_0 J^\beta</math>
以及
<math>\epsilon^{\alpha\beta\gamma\delta} {F_{\alpha\beta,\gamma}}=0\ .
</math>

== 连续性方程 ==
由[[电荷守恒]]得到的[[连续性方程]]的协变形式为
:<math>{J^{\alpha}}_{,\alpha} \, \stackrel{\mathrm{def}}{=} \,  \partial_{\alpha} J^{\alpha} \, = \, 0 \,.</math>

== 洛伦兹力 ==
{{main|洛伦兹力}}
电磁场通过洛伦兹力来影响其中粒子的运动。仅考虑洛伦兹力的影响时，[[牛顿运动定律]]用场强张量表示的相对论形式为
:<math> \frac{d p_{\alpha}}{d \tau} \, = q \, F_{\alpha \beta} \, u^\beta </math>
其中<math>p\,</math>是[[四维动量]]，<math>q\,</math>是[[电荷]]，<math>u\,</math>是[[四维速度]]，<math>\tau\,</math>是粒子的[[固有时]]。

如果采用（普通）时间而不是固有时，方程则写为
:<math> { d p_{\alpha} \over { d t } } =  q \, F_{\alpha \beta} \, \frac{d x^\beta}{d t} \,.</math>

在连续性介质中，三维的力密度（空间分量：三维小体元中的洛伦兹力除以体元的体积）和一维的功率密度（时间分量：三维小体元中传播的功率除以体元的体积）合并为一个协变的力密度矢量<math>f_{\mu} \,.</math>。从而洛伦兹力的密度的空间分量为<math>\mathbf{f} = \rho \mathbf{E} + \mathbf{J} \times \mathbf{B}</math>. 写为外在协变的形式为
:<math>f_{\mu} = F_{\mu\nu}J^{\nu} .\!</math>

== 电磁应力-能量张量的微分方程 ==

[[电磁应力-能量张量]]满足下面的微分方程，此方程将电磁张量和四维电流密度相联系：

:<math>\eta_{\alpha \nu} { T^{\nu \beta } }_{,\beta} + F_{\alpha \beta} J^{\beta} = 0 \,</math>

这个方程表述了电磁相互作用中动量和能量的守恒律。

== 洛伦茨规范条件 ==
{{main|洛伦茨规范条件}} 
洛伦茨规范是具有洛伦兹不变性的规范条件。（在规范对称性下可以选取多种不同的规范条件，例如[[库仑规范]]，通常在一个惯性系下满足的规范条件将不能同时满足於另一个惯性系。）

洛伦茨规范用四维势表示为  
:<math>\eta^{\alpha \nu} \, \partial_{\alpha} A_{\nu} = 0 \,.</math> 

===  洛伦茨规范下的麦克斯韦方程组 ===  

洛伦茨规范下的麦克斯韦方程组可表为
:<math>\eta^{\sigma \nu} \, \Box A_{\nu} = - \mu_{0} \, J^{\sigma} </math>  

其中<math>\Box</math>是[[达朗贝尔算符]]。

== 介质中麦克斯韦方程组的协变形式 ==

如果考虑介质中的麦克斯韦方程组，此时的电流<math>J^{\alpha}\,</math>可分为自由电流<math> {J^{\alpha}}_{\text{free}} \,</math>和[[束缚电流]]<math> {J^{\alpha}}_{\text{bound}} \,</math>：

:<math>J^{\alpha} = {J^{\alpha}}_{\text{free}} + {J^{\alpha}}_{\text{bound}} \,.</math>  

其中束缚电流的部分来自介质的[[磁化]]和[[电极化]]，这两者构成一个反对称的反变磁化-极化张量： 

:<math>   \mathcal{M}^{\mu \nu} =   \begin{pmatrix}    0     & -P_xc & -P_yc & -P_zc \\    P_xc & 0      & M_z   & -M_y    \\    P_yc & -M_z    & 0      & M_x   \\    P_zc & M_y   & -M_x    & 0          \end{pmatrix} </math> 

根据麦克斯韦方程，束缚电流为 

:<math>{J^{\mu}}_{\text{bound}} = \partial_{\nu} \mathcal{M}^{\mu \nu} \,.</math>  

将磁化-极化张量和真空中的电磁张量<math>F^{\mu \nu} \,,</math>合并，我们可以得到反对称的反变电磁位移张量，其中包含了[[电位移|电位移矢量]]<math>[D_x,D_y,D_z] \!</math>和[[磁场强度|磁场强度矢量]]<math>[H_x,H_y,H_z] \,</math>： 

:<math>   \mathcal{D}^{\mu \nu} =   \begin{pmatrix}    0     & D_xc & D_yc & D_zc \\    -D_xc & 0      & H_z   & -H_y    \\    -D_yc & -H_z    & 0      & H_x   \\    -D_zc & H_y   & -H_x    & 0          \end{pmatrix}. </math>  

它们之间的关系为 

:<math>\mathcal{D}^{\mu \nu} = \frac{1}{\mu_{0}} F^{\mu \nu} - \mathcal{M}^{\mu \nu} \,</math>  

这个方程等价於经典电磁学中的<math>\mathbf{D} = \epsilon_0 \mathbf{E} + \mathbf{P} \,</math>和<math>\mathbf{H} = \frac{1}{\mu_{0}} \mathbf{B} - \mathbf{M} \,.</math>
并进一步可以推导出介质中的[[安培定律]]<math>\mathbf{\nabla} \times \mathbf{H} = \mathbf{J}_{\text{free}} + \frac{\partial \mathbf{D}} {\partial t}</math>和[[高斯定律]]<math>\mathbf{\nabla} \cdot \mathbf{D} = \rho_{\text{free}}</math>，即 

:<math>{J^{\mu}}_{\text{free}} = \partial_{\nu} \mathcal{D}^{\mu \nu} \,.</math>  

束缚电流和自由电流的定义已经由上面给出，并且各自满足守恒律：

:<math>\partial_{\mu} {J^{\mu}}_{\text{bound}} = 0 \,</math> :<math>\partial_{\mu} {J^{\mu}}_{\text{free}} = 0 \,.</math>  

由此，如果我们需要求解介质中的电流密度<math>J^{\alpha}\,,</math>，可以将其分为求解自由电流密度<math>{J^{\alpha}}_{\text{free}}\,,</math>和求解磁化-极化张量<math>\mathcal{M}^{\alpha \beta}\,</math>的问题。例如，在低频线性介质中有

:<math>\mathbf{J}_{\text{free}} = \sigma \mathbf{E} \,</math> 

:<math>\mathbf{P} = \epsilon_0 \chi_e \mathbf{E} \,</math> 

:<math>\mathbf{M} = \chi_m \mathbf{H} \,</math>  

其中观察者在与介质共同运动的参考系中，<math>\sigma\,</math>是[[电导率]]，<math>\chi_e\,</math>是[[电极化率]]，<math>\chi_m\,</math>是[[磁化率]]。

== 拉格朗日量 ==

单位为焦耳/米<sup>3</sup>时，真空中的经典电磁[[拉格朗日量]]为
:<math> \mathcal{L} \, = \, \mathcal{L}_{\mathrm{field}} + \mathcal{L}_{\mathrm{int}} = - \frac{1}{4 \mu_0} F^{\alpha \beta} F_{\alpha \beta} + A_{\alpha} J^{\alpha} \,.</math> 
其中包含了表示场强的项和表示相互作用的项。  如果我们将自由电流和束缚电流分开，则拉格朗日量写为

:<math> \mathcal{L} \, = \, - \frac{1}{4 \mu_0} F^{\alpha \beta} F_{\alpha \beta} + A_{\alpha} J^{\alpha}_{\text{free}} + \frac12 F_{\alpha \beta} \mathcal{M}^{\alpha \beta} \,.</math>  对应的非相对论形式为
:<math> \mathcal{L} \, = \, \frac12 (\epsilon_{0} E^2 - \frac{1}{\mu_{0}} B^2) - \phi \, \rho_{\text{free}} + \mathbf{A} \cdot \mathbf{J}_{\text{free}} + \mathbf{E} \cdot \mathbf{P} + \mathbf{B} \cdot \mathbf{M} \,.</math>

== 广义相对论中的推广 ==
{{main|弯曲时空中的麦克斯韦方程组}}

在[[广义相对论]]中，[[度规张量]]<math>g_{\alpha \beta}\,</math>不再是恒定的<math>\eta_{\alpha \beta}\,</math>，而有可能随时间和空间变化，度规张量则是引力场的势。

真空中处于引力场中的麦克斯韦方程组为

:<math> F_{\alpha \beta} \, = \, \partial_{\alpha} A_{\beta} \, - \, \partial_{\beta} A_{\alpha} \,</math> 
:<math> \mathcal{D}^{\mu\nu} \, = \, \frac{1}{\mu_{0}} \, g^{\mu\alpha} \, F_{\alpha\beta} \, g^{\beta\nu} \, \sqrt{-g} \,</math> 
:<math> J^{\mu} \, = \, \partial_\nu \mathcal{D}^{\mu \nu} \,</math> 
:<math> f_\mu \, = \, F_{\mu\nu} \, J^\nu \,</math>

其中<math>g^{\alpha\beta}\,</math>是度规张量<math>g_{\alpha\beta}\,</math>的倒数，而<math>g\,</math>是[[度规张量]]的行列式，<math>A_{\alpha}\,</math>是电磁场的[[四维势]]，<math>F^{\alpha\beta}\,</math>是[[电磁张量]]，<math>D^{\mu\nu}\,</math>是[[位移电流]]张量，<math>f_{\mu}\,</math>是[[洛伦兹力]]的密度，<math>J_{\mu}\,</math>是[[四维电流密度]]。尽管方程组中使用了[[偏导数]]，这些方程仍然在任意曲面坐标变换下是协变的：也就是说如果将偏导数换成[[协变导数]]，引入的附加项会自动消去从而保持形式不变。

== 参见 ==
*[[非齐次的电磁波方程]]
*[[移動中的磁鐵與導體問題]]
*[[弯曲时空中的麦克斯韦方程组]]

== 参考文献 ==
{{reflist}}
*{{cite book | author=Einstein, A. | title=Relativity: The Special and General Theory | url=https://archive.org/details/relativityspecia00eins_0 | location= New York | publisher=Crown| year=1961 | isbn=0-517-02961-8}}  

*{{cite book | author=Misner, Charles; Thorne, Kip S. & Wheeler, John Archibald | title=Gravitation | location=San Francisco | publisher=W. H. Freeman | year=1973 | isbn=0-7167-0344-0}}  

*{{cite book | author=Landau, L. D. and Lifshitz, E. M.| title=Classical Theory of Fields (Fourth Revised English Edition) | url=https://archive.org/details/classicaltheoryo0000land_k6k2| location=Oxford | publisher=Pergamon | year=1975 | isbn=0-08-018176-7}}  

*{{cite book | author=R. P. Feynman, F. B. Moringo, and W. G. Wagner | title=Feynman Lectures on Gravitation | url=https://archive.org/details/feynmanlectureso0000feyn_g4q1 | publisher=Addison-Wesley | year=1995 | isbn=0-201-62734-5}}

{{电磁学}}
{{狹義相對論}}

[[Category:基本物理概念]]
[[Category:电磁学]]
[[Category:狹義相對論]]