电荷守恒定律

在物理学里，电荷守恒定律（law of charge conservation）是一种关于电荷的守恒定律。电荷守恒定律有两种版本，“弱版电荷守恒定律”（又称为“全域电荷守恒定律”）与“强版电荷守恒定律”（又称为“局域电荷守恒定律”）。弱版电荷守恒定律表明，整个宇宙的总电荷量保持不变，不会随着时间的演进而改变。注意到这定律并没有禁止，在宇宙这端的某电荷突然不见，而在宇宙那端突然出现。强版电荷守恒定律明确地禁止这种可能。强版电荷守恒定律表明，在任意空间区域内电荷量的变化，等于流入这区域的电荷量减去流出这区域的电荷量。对于在区域内部的电荷与流入流出这区域的电荷，这些电荷的会计关系就是电荷守恒。定量描述，这强版定律的方程乃是一种连续方程：其中， Q ( t ) {displaystyle Q(t)} 是在时间 t {displaystyle t} 某设定体积内的电荷量， Q I N {displaystyle Q_{IN}} 、 Q O U T {displaystyle Q_{OUT}} 是在时间间隔 [ t 1 , t 2 ] {displaystyle } 内分别流入与流出这设定体积的电荷量。上述两种守恒定律建立于一个基础原则，即电荷不能独自生成与湮灭。假设带正电粒子接触到带负电粒子，两个粒子带有电量相同，则因为这接触动作，两个粒子会变为中性，这物理行为是合理与被允许的。一个中子，也可以因贝塔衰变，生成带正电的质子、带负电的电子与中性的反中微子。但是，任何粒子，不可能独自地改变电荷量。物理学明确地禁止这种物理行为。更仔细地说，像电子、质子一类的亚原子粒子会带有电荷，而这些亚原子粒子可以被生成或湮灭。在粒子物理学里，电荷守恒意味着，在那些生成带电粒子的基本粒子反应里，虽然会有带正电粒子或带负电粒子生成，在反应前与反应后，总电荷量不会改变；同样地，在那些湮灭带电粒子的基本粒子反应里，虽然会有带正电粒子或带负电粒子湮灭，在反应前与反应后，总电荷量绝不会改变；虽然全域电荷守恒定律要求宇宙的总电荷量保持不变，到底总电荷量是多少仍旧是有待研究问题。大多数迹象显示宇宙的电荷量为零，即正电荷量与负电荷量相同。美国科学家与政治家富兰克林于1747年与朋友通信：在这里与欧洲，科学家已经发现，并且证实，电火是一种真实的元素或物质种类，不是因摩擦而产生，而是只能从搜集获得。学术界归功富兰克林为这定律的创建者。“富兰克林电荷守恒定律”表明，在任何绝缘系统内，总电荷量不变。流入某体积 V {displaystyle mathbb {V} } 的净电流为其中， I {displaystyle I} 是电流， J {displaystyle mathbf {J} } 是电流密度， S {displaystyle mathbb {S} } 是包围体积 V {displaystyle mathbb {V} } 的闭曲面， d 2 r {displaystyle mathrm {d} ^{2}mathbf {r} } 是微小面矢量元素，垂直于 S {displaystyle mathbb {S} } 从体积内朝外指出。应用散度定理，将这方程写为总电荷量 Q {displaystyle Q} 与体积 V {displaystyle mathbb {V} } 内的电荷密度 ρ {displaystyle rho } 的关系为电荷守恒要求，流入体积 V {displaystyle mathbb {V} } 的净电流，等于体积 V {displaystyle mathbb {V} } 内总电荷量 Q {displaystyle Q} 的变率：所以，对于任意体积 V {displaystyle mathbb {V} } ，上述方程都成立。所以，可以将被积式提取出来：电荷守恒方程又称为电荷连续方程。在十九世纪中期，詹姆斯·麦克斯韦发现安培定律（原本形式）不能满足电荷守恒的要求。于是，他将安培定律的方程加以修正为麦克斯韦-安培方程。由于这动作，麦克斯韦发觉包括这方程在内的麦克斯韦方程组，可以用来描述电磁波的物理行为，并且推导出电磁波以光速传播于自由空间。因此，他正确地断定光波是一种电磁波。更详尽细节，请参阅条目麦克斯韦方程组。确实无误，麦克斯韦方程组已概括了电荷守恒方程。思考麦克斯韦-安培方程，其中， B {displaystyle mathbf {B} } 是磁场， μ 0 {displaystyle mu _{0}} 是磁常数， ϵ 0 {displaystyle epsilon _{0}} 是电常数， E {displaystyle mathbf {E} } 是电场。取这方程的散度，将高斯定律（ ∇ ⋅ E = ρ / ϵ 0 {displaystyle nabla cdot mathbf {E} =rho /epsilon _{0}} ）带入上式，立即得到电荷守恒定律，在静电学里，电势乃是相对的，不是绝对的。假设在三维空间的电势为 ϕ = f ( r ) {displaystyle phi =f(mathbf {r} )} ，现将电势加上一个常数 c {displaystyle c} ，改为 ϕ ′ = f ( r ) + c {displaystyle phi '=f(mathbf {r} )+c} ，则电场不会改变，这性质称为规范不变性。由于这性质，必需先设定在某参考位置的电势，在其它位置的电势才具有真实物理意义。因此，每一条方程只会涉及到相对电势，不会涉及到绝对电势。电荷守恒与规范不变性密切相关。这可以用一个思想实验来论述。假设某种过程可以破坏电荷守恒（假若无法永久地破坏，至少可以暂时地破坏）。这过程会在空间里电势为 V 1 {displaystyle V_{1}} 的某位置 r 1 {displaystyle mathbf {r} _{1}} 生成电荷 q {displaystyle q} ，然后将这电荷迁移至在空间里电势为 V 2 {displaystyle V_{2}} 的位置 r 2 {displaystyle mathbf {r} _{2}} ，最后将这电荷湮灭。注意到这过程并没有破坏全域电荷守恒定律，只破坏了局域电荷守恒定律。现在规定，在任意位置，生成电荷需要输入能量 W {displaystyle W} ，湮灭电荷会释出能量 W {displaystyle W} 。由于生成电荷或湮灭电荷的位置是任意位置， W {displaystyle W} 不会与相对电势有关。 W {displaystyle W} 也不会与绝对电势有关。那么，整个过程会使得系统获得能量 W + q V 1 − q V 2 − W {displaystyle W+qV_{1}-qV_{2}-W} 。但是，这样做会违反能量守恒。为了遵守能量守恒，必需要求局域电荷守恒。所以，由于规范不变性，电荷守恒定律成立。在电磁学里，对电势与磁矢势做规范变换，其中，规范函数 Λ ( r , t ) {displaystyle Lambda (mathbf {r} ,t)} 是任意标量场。新的电场 E ′ {displaystyle mathbf {E} '} 、磁场 B ′ {displaystyle mathbf {B} '} 分别为分别与旧的电场 E {displaystyle mathbf {E} } 、磁场 B {displaystyle mathbf {B} } 相同。这性质称为规范不变性。由于这性质，在规范变换下，麦克斯韦方程组的形式不变。根据诺特定理，电荷守恒可以理解为由于对称性而导致的后果。诺特定理表明，每一种守恒定律，必定有其伴随的物理对称性。伴随着电荷守恒的对称性是电磁场的规范不变性。采用高斯单位制，张量标记，爱因斯坦求和约定，思考电磁场的拉格朗日密度 L {displaystyle {mathcal {L}}} ，其中， F α β {displaystyle F_{alpha beta }} 是电磁张量， c {displaystyle c} 是光速， J α {displaystyle J_{alpha }} 是四维电流密度， A α {displaystyle A^{alpha }} 是电磁四维势。现在，做一个微小变换其中， Λ ( x α ) {displaystyle Lambda (x^{alpha })} 是规范函数。新的拉格朗日密度 L ′ {displaystyle {mathcal {L}}'} 为在这种规范变换下，拉格朗日密度不是不变量，但是作用量 I = ∫ V L   d 4 x {displaystyle {mathcal {I}}=int _{mathbb {V} }{mathcal {L}} mathrm {d} ^{4}x} 是不变量：其中， V {displaystyle mathbb {V} } 是四维积分体积。应用散度定理，四维体积积分 ∫ V ∂ α ( J α Λ ) d 4 x {displaystyle int _{mathbb {V} }partial ^{alpha }(J_{alpha }Lambda )mathrm {d} ^{4}x} 可以变为一个三维曲面积分。将 V {displaystyle mathbb {V} } 增大，使得表面不存在任何四维电流 J α {displaystyle J_{alpha }} ，则这项目等于零。那么，注意到 Λ {displaystyle Lambda } 是任意函数，所以，假若作用量 I {displaystyle {mathcal {I}}} 是规范不变量，则必定导致采用高斯单位制，自旋1/2粒子的旋量场的狄拉克拉格朗日密度为其中， ℏ {displaystyle hbar } 是约化普朗克常数， c {displaystyle c} 是光速， γ μ {displaystyle gamma ^{mu }} 是狄拉克矩阵（Dirac matrix）， ψ {displaystyle psi } 是四维旋量， ψ ¯ {displaystyle {overline {psi }}} 是 ψ {displaystyle psi } 的狄拉克伴随（Dirac adjoint）， m {displaystyle m} 是粒子质量。对于全域规范变换，其中， θ {displaystyle theta } 是常数相移。在全局规范变换下，拉格朗日密度 L {displaystyle {mathcal {L}}} 是不变量：可是，对于局域规范变换， θ = θ ( x μ ) {displaystyle theta =theta (x^{mu })} 不是常数。在局域规范变换下，由于 ∂ μ ( ψ e i θ ) = ( ∂ μ ψ ) e i θ + i ( ∂ μ θ ) ψ e i θ {displaystyle partial _{mu }(psi e^{itheta })=(partial _{mu }psi )e^{itheta }+i(partial _{mu }theta )psi e^{itheta }} ，拉格朗日密度 L {displaystyle {mathcal {L}}} 不是不变量：因此，必需添加额外项目，才能使 L {displaystyle {mathcal {L}}} 成为不变量。猜想新拉格朗日密度的形式为其中， A μ {displaystyle A_{mu }} 是新添加的四维矢量场。假设，对于局域规范变换， A μ ′ = A μ + ∂ μ Λ {displaystyle A'_{mu }=A_{mu }+partial _{mu }Lambda } 。那么，在局域规范变换下，设定 Λ = − ℏ c θ / q {displaystyle Lambda =-hbar ctheta /q} ，则拉格朗日密度 L 1 {displaystyle {mathcal {L}}_{1}} 成为规范不变量。但是四维矢量场 A μ {displaystyle A_{mu }} 的物理意义仍旧不清楚。思考自旋为1、质量为 m {displaystyle m} 的粒子的四维矢量场，其普罗卡拉格朗日密度（Proca Lagrangian）为在局域规范变换下，这方程右手边第一个项目是不变量，但第二个项目不是不变量。假设粒子不具质量 m = 0 {displaystyle m=0} ，则可除去第二个项目。将这粒子不具质量的普罗卡拉格朗日密度与拉格朗日密度 L 1 {displaystyle {mathcal {L}}_{1}} 综合在一起，所得到的拉格朗日密度 L 2 {displaystyle {mathcal {L}}_{2}} 是规范不变量：假设 A μ {displaystyle A_{mu }} 是电磁四维势、四维电流密度 J μ {displaystyle J_{mu }} 是 J μ = c q ψ ¯ γ μ ψ {displaystyle J_{mu }=cq{overline {psi }}gamma ^{mu }psi } 、电磁张量 F α β {displaystyle F_{alpha beta }} 是 F α β = ∂ α A β − ∂ β A α {displaystyle F_{alpha beta }=partial _{alpha }A_{beta }-partial _{beta }A_{alpha }} ，那么， L 2 {displaystyle {mathcal {L}}_{2}} 表示为这方程右手边前面两个项目是描述电子或正子的狄拉克场的拉格朗日密度，后面两个项目则是以光子为媒介的电磁场的拉格朗日密度。对于 A μ {displaystyle A_{mu }} 的拉格朗日方程为麦克斯韦方程组：规范不变性有很多可被检验的后果。例如，局域规范不变性要求光子不具有质量。因此，假若做实验能够精确地证实光子不具有质量，这也会成为电荷守恒的强证据。可是，甚至当物理系统具有完全的规范不变性时，假若电荷从正常的三维空间漏入隐藏的额外维度，则仍旧会有可能发生电荷不守恒现象。假若电荷不永远守恒，则可能会发生粒子衰变。检验电荷守恒最好的实验方法就是寻找这些粒子衰变。至今为止，物理学者尚未能找到任何这类衰变。例如，对于电子衰变为中微子与光子的反应，物理学者试着侦测这反应产生的高能光子：但是，有理论提出，即使电荷不永远守恒，这种生成高能光子的衰变反应也永远不会发生。当然，也有实验试着侦测不产生高能光子的衰变，或者一些比较不寻常的电荷破坏过程，例如，电子可能会自发变成正电子、电子移入其它维度。最优良的实验值限为