经典电磁理论的协变形式

维基百科,自由的百科全书
跳转至: 导航搜索

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

在本文中,闵可夫斯基度规的形式被规定为diag(1, -1, -1, -1)\,,这是参考了John David Jackson所编写的《经典电动力学》中所采用的形式;并且从头彻尾都使用了经典的张量代数以及爱因斯坦求和约定[1]:544

协变量[编辑]

电磁张量[编辑]

将电场和磁场统一起来可写成一个反对称张量,即电磁张量。当单位为伏特·秒/米2,其协变形式为[1]:553-558

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)

通过张量代数可以得到反变形式为

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).

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

四维电流密度[编辑]

四维电流密度是统一了电流密度电荷密度的四维矢量。当单位为安培/米2,其反变形式为

J^{\alpha}  = \,  (c \rho, \mathbf{J} )

其中 \rho\, 是电荷密度, \mathbf{J} 是电流密度。

电磁四维势[编辑]

电磁四维势是统一了电标势磁矢势的四维矢量。当单位为伏特·秒/米时,其协变形式为

A_{\alpha} = \left(  \phi/c,- \mathbf{A} \right)

电磁张量和四维势之间的关系为

F_{\alpha \beta} = \partial_{\alpha} A_{\beta} - \partial_{\beta} A_{\alpha} \,

其中

\partial_\alpha = \frac{\partial}{\partial x^{\alpha}} = \left( \frac{1}{c} \frac{\partial}{\partial t}, \mathbf{\nabla} \right) \,.

电磁应力-能量张量[编辑]

电磁应力-能量张量是一个对称张量,描述了电磁场对全部应力-能量张量的贡献。当单位为焦耳/米3,它的反变形式为

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}

其中\epsilon_0\,真空电容率\mu_0\,真空磁导率坡印亭矢量

\mathbf{S} = \frac{1}{\mu_{0}} \mathbf{E} \times \mathbf{B} \,

馬克士威應力張量

\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} \,.

电磁应力-能量张量与电磁场张量之间的关系由下面方程给出:

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})

其中\eta \,闵可夫斯基度规张量。注意我们这里使用了关系

\epsilon_{0} \mu_{0} c^2 = 1\,.

其他非电磁学协变量[编辑]

除上面的电磁学量以外,我们在这里列出三个非电磁学的四维矢量,它们在本文中也有用到:

x^\alpha = (ct, x, y, z) \,.
u^\alpha = \gamma(c,\mathbf{u}) \,
其中\mathbf{u} \,是(三维)速度矢量,而\gamma \,是与\mathbf{u} \,有关的洛伦兹因子
p_\alpha = ( E/c, - \mathbf{p}) = m \, \eta_{\alpha \nu} \, u^{\nu} \,
其中\mathbf{p} \,是(三维)动量矢量,而E是能量,m是粒子的静止质量

馬克士威方程組[编辑]

真空中的馬克士威方程組可以写作两个张量方程的形式: :\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}

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

在无源的情形下,麦克斯韦方程组退化为与场强有关的波方程

 \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 \,.

这里 \Box 达朗贝尔算符

其他符号记法[编辑]

如果不用求和约定或列维-奇维塔符号,方程组将写为

\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}

其中所有的角标的范围是0到3(更具体而言,x^\alpha的范围是{ct,x,y,z})。第一个张量方程对应着四个标量方程,其中\beta的值为0到3。第二个张量方程可展开为4^3=64个标量方程,但只有四个是独立的。

为了方便可以将四维梯度写作更简洁的形式:

{\partial F^{\alpha\beta}\over \partial x^\gamma} \, \stackrel{\mathrm{def}}{=} \, \partial_\gamma F^{\alpha\beta} \, \stackrel{\mathrm{def}}{=} \, {F^{\alpha\beta}}_{,\gamma} \,.

从而馬克士威方程組最终的协变形式为 
{F^{\alpha \beta}}_{,\alpha} = \mu_0 J^\beta 以及 \epsilon^{\alpha\beta\gamma\delta} {F_{\alpha\beta,\gamma}}=0\ .

连续性方程[编辑]

电荷守恒得到的连续性方程的协变形式为

{J^{\alpha}}_{,\alpha} \, \stackrel{\mathrm{def}}{=} \,  \partial_{\alpha} J^{\alpha} \, = \, 0 \,.

洛伦兹力[编辑]

电磁场通过洛伦兹力来影响其中粒子的运动。仅考虑洛伦兹力的影响时,牛顿运动定律用场强张量表示的相对论形式为

 \frac{d p_{\alpha}}{d \tau} \, = q \, F_{\alpha \beta} \, u^\beta

其中p\,四维动量q\,电荷u\,四维速度\tau\,是粒子的固有时

如果采用(普通)时间而不是固有时,方程则写为

 { d p_{\alpha} \over { d t } } =  q \, F_{\alpha \beta} \, \frac{d x^\beta}{d t} \,.

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

f_{\mu} = F_{\mu\nu}J^{\nu} .\!

电磁应力-能量张量的微分方程[编辑]

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

\eta_{\alpha \nu} { T^{\nu \beta } }_{,\beta} + F_{\alpha \beta} J^{\beta} = 0 \,

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

洛伦茨规范条件[编辑]

洛伦茨规范是具有洛伦兹不变性的规范条件。(在规范对称性下可以选取多种不同的规范条件,例如库仑规范,通常在一个惯性系下满足的规范条件将不能同时满足於另一个惯性系。)

洛伦茨规范用四维势表示为

\eta^{\alpha \nu} \, \partial_{\alpha} A_{\nu} = 0 \,.

洛伦茨规范下的麦克斯韦方程组[编辑]

洛伦茨规范下的麦克斯韦方程组可表为

\eta^{\sigma \nu} \, \Box A_{\nu} = - \mu_{0} \, J^{\sigma}

其中\Box达朗贝尔算符

介质中麦克斯韦方程组的协变形式[编辑]

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

J^{\alpha} = {J^{\alpha}}_{\text{free}} + {J^{\alpha}}_{\text{bound}} \,.

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

   \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}

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

{J^{\mu}}_{\text{bound}} = \partial_{\nu} \mathcal{M}^{\mu \nu} \,.

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

   \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}.

它们之间的关系为

\mathcal{D}^{\mu \nu} = \frac{1}{\mu_{0}} F^{\mu \nu} - \mathcal{M}^{\mu \nu} \,

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

{J^{\mu}}_{\text{free}} = \partial_{\nu} \mathcal{D}^{\mu \nu} \,.

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

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

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

\mathbf{J}_{\text{free}} = \sigma \mathbf{E} \,
\mathbf{P} = \epsilon_0 \chi_e \mathbf{E} \,
\mathbf{M} = \chi_m \mathbf{H} \,

其中观察者在与介质共同运动的参考系中,\sigma\,电导率\chi_e\,电极化率\chi_m\,磁化率

拉格朗日量[编辑]

单位为焦耳/米3时,真空中的经典电磁拉格朗日量

 \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} \,.

其中包含了表示场强的项和表示相互作用的项。 如果我们将自由电流和束缚电流分开,则拉格朗日量写为

 \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} \,. 对应的非相对论形式为
 \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} \,.

广义相对论中的推广[编辑]

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

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

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

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

参见[编辑]

参考文献[编辑]

  1. ^ 1.0 1.1 Jackson, John David, Classical Electrodynamic. 3rd., USA: John Wiley & Sons, Inc.. 1999:  pp. 1-2, ISBN 978-0-471-30932-1 
  • Einstein, A. Relativity: The Special and General Theory. New York: Crown. 1961. ISBN 0-517-02961-8. 
  • Misner, Charles; Thorne, Kip S. & Wheeler, John Archibald. Gravitation. San Francisco: W. H. Freeman. 1973. ISBN 0-7167-0344-0. 
  • Landau, L. D. and Lifshitz, E. M. Classical Theory of Fields (Fourth Revised English Edition). Oxford: Pergamon. 1975. ISBN 0-08-018176-7. 
  • R. P. Feynman, F. B. Moringo, and W. G. Wagner. Feynman Lectures on Gravitation. Addison-Wesley. 1995. ISBN 0-201-62734-5.