电荷守恒定律

在物理学里，电荷守恒定律（law of charge conservation）是一种关于电荷的守恒定律。电荷守恒定律有两种版本，「弱版电荷守恒定律」（又称为「全域电荷守恒定律」）与「强版电荷守恒定律」（又称为「局域电荷守恒定律」）。弱版电荷守恒定律表明，整个宇宙的总电荷量保持不变，不会随著时间的演进而改变。注意到这定律并没有禁止，在宇宙这端的某电荷突然不见，而在宇宙那端突然出现。强版电荷守恒定律明确地禁止这种可能。强版电荷守恒定律表明，在任意空间区域内电荷量的变化，等于流入这区域的电荷量减去流出这区域的电荷量。对于在区域内部的电荷与流入流出这区域的电荷，这些电荷的会计关系就是电荷守恒。
定量描述，强版定律的方程式是一种连续方程式：
其中，formula_2是在时间formula_3某设定体积内的电荷量，formula_4、formula_5是在时间间隔formula_6内分别流入与流出这设定体积的电荷量。
上述两种守恒定律建立于一个基础原则，即电荷不能独自生成与湮灭。假设带正电粒子接触到带负电粒子，两个粒子带有电量相同，则因为这接触动作，两个粒子会变为中性，这物理行为是合理与被允许的。一个中子，也可以因𝛃衰变，生成带正电的质子、带负电的电子与中性的反微中子。但是，任何粒子，不可能独自地改变电荷量。物理学明确地禁止这种物理行为。更仔细地说，像电子、质子一类的亚原子粒子会带有电荷，而这些亚原子粒子可以被生成或湮灭。在粒子物理学里，电荷守恒意味著，在那些生成带电粒子的基本粒子反应里，虽然会有带正电粒子或带负电粒子生成，在反应前与反应后，总电荷量不会改变；同样地，在那些湮灭带电粒子的基本粒子反应里，虽然会有带正电粒子或带负电粒子湮灭，在反应前与反应后，总电荷量绝不会改变；
虽然全域电荷守恒定律要求宇宙的总电荷量保持不变，到底总电荷量是多少仍旧是有待研究问题。大多数迹象显示宇宙的电荷量为零，即正电荷量与负电荷量相同。
历史.
美国科学家与政治家富兰克林于1747年与朋友通信：
学术界归功富兰克林为这定律的创建者。「富兰克林电荷守恒定律」表明，在任何绝缘系统内，总电荷量不变。
电磁学表述.
流入某体积formula_7的净电流为
其中，formula_9是电流，formula_10是电流密度，formula_11是包围体积formula_7的闭曲面，formula_13是微小面向量元素，垂直于formula_11从体积内朝外指出。
应用散度定理，将这方程式写为
总电荷量formula_16与体积formula_7内的电荷密度formula_18的关系为
电荷守恒要求，流入体积formula_7的净电流，等于体积formula_7内总电荷量formula_16的变率：
所以，
对于任意体积formula_7，上述方程式都成立。所以，可以将被积式提取出来：
电荷守恒方程式又称为电荷连续方程式。
在十九世纪中期，詹姆斯·马克士威发现安培定律（原本形式）不能满足电荷守恒的要求。于是，他将安培定律的方程式加以修正为马克士威-安培方程式。由于这动作，马克士威发觉包括这方程式在内的马克士威方程组，可以用来描述电磁波的物理行为，并且推导出电磁波以光速传播于自由空间。因此，他正确地断定光波是一种电磁波。更详尽细节，请参阅条目马克士威方程组。
确实无误，马克士威方程组已概括了电荷守恒方程式。思考马克士威-安培方程式，
其中，formula_28是磁场，formula_29是磁常数，formula_30是电常数，formula_31是电场。
取这方程式的散度，
将高斯定律（ formula_33 ）带入上式，立即得到电荷守恒定律，
规范不变性.
静电学.
在静电学里，电势乃是相对的，不是绝对的。假设在三维空间的电势为formula_35，现将电势加上一个常数formula_36，改为formula_37，则电场不会改变，这性质称为规范不变性。由于这性质，必需先设定在某参考位置的电势，在其它位置的电势才具有真实物理意义。因此，每一条方程式只会涉及到相对电势，不会涉及到绝对电势。
电荷守恒与规范不变性密切相关。这可以用一个思想实验来论述。假设某种过程可以破坏电荷守恒（假若无法永久地破坏，至少可以暂时地破坏）。这过程会在空间里电势为formula_38的某位置formula_39生成电荷formula_40，然后将这电荷迁移至在空间里电势为formula_41的位置formula_42，最后将这电荷湮灭。注意到这过程并没有破坏全域电荷守恒定律，只破坏了局域电荷守恒定律。
现在规定，在任意位置，生成电荷需要输入能量formula_43，湮灭电荷会释出能量formula_43。由于生成电荷或湮灭电荷的位置是任意位置，formula_43不会与相对电势有关。formula_43也不会与绝对电势有关。那么，整个过程会使得系统获得能量formula_47。但是，这样做会违反能量守恒。为了遵守能量守恒，必需要求局域电荷守恒。所以，由于规范不变性，电荷守恒定律成立。
电磁学.
在电磁学里，对电势与磁向量势做规范变换，
其中，规范函数formula_50是任意纯量场。
新的电场formula_51、磁场formula_52分别为
分别与旧的电场formula_31、磁场formula_56相同。这性质称为规范不变性。由于这性质，在规范变换下，马克士威方程组的形式不变。 
诺特定理.
根据诺特定理，电荷守恒可以理解为由于对称性而导致的后果。诺特定理表明，每一种守恒定律，必定有其伴随的物理对称性。伴随著电荷守恒的对称性是电磁场的规范不变性。 
采用高斯单位制，张量标记，爱因斯坦求和约定，思考电磁场的拉格朗日密度formula_57，
其中，formula_59是电磁张量，formula_36是光速，formula_61是四维电流密度，formula_62是电磁四维势。
现在，做一个微小变换
其中，formula_64是规范函数。
新的拉格朗日密度formula_65为
在这种规范变换下，拉格朗日密度不是不变量，但是作用量formula_67是不变量：
其中，formula_7是四维积分体积。
应用散度定理，四维体积积分formula_70可以变为一个三维曲面积分。将formula_7增大，使得表面不存在任何四维电流formula_61，则这项目等于零。那么，
注意到formula_74是任意函数，所以，假若作用量formula_75是规范不变量，则必定导致
规范场论.
采用高斯单位制，自旋1/2粒子的旋量场的狄拉克拉格朗日密度为
其中，formula_78是约化普朗克常数，formula_36是光速，formula_80是狄拉克矩阵（Dirac matrix），formula_81是四维旋量，formula_82是formula_81的狄拉克伴随（Dirac adjoint），formula_84是粒子质量。
对于全域规范变换，
其中，formula_86是常数相移。
在全局规范变换下，拉格朗日密度formula_57是不变量：
可是，对于局域规范变换，formula_89不是常数。在局域规范变换下，由于formula_90，拉格朗日密度formula_57不是不变量：
因此，必需添加额外项目，才能使formula_57成为不变量。猜想新拉格朗日密度的形式为
其中，formula_95是新添加的四维向量场。
假设，对于局域规范变换，formula_96。那么，在局域规范变换下，
设定formula_98，则拉格朗日密度formula_99成为规范不变量。但是四维向量场formula_95的物理意义仍旧不清楚。
思考自旋为1、质量为formula_84的粒子的四维向量场，其普罗卡拉格朗日密度（Proca Lagrangian）为
在局域规范变换下，这方程式右手边第一个项目是不变量，但第二个项目不是不变量。假设粒子不具质量formula_103，则可除去第二个项目。将这粒子不具质量的普罗卡拉格朗日密度与拉格朗日密度formula_99综合在一起，所得到的拉格朗日密度formula_105是规范不变量： 
假设formula_95是电磁四维势、四维电流密度formula_108是formula_109、电磁张量formula_59是formula_111，那么，formula_105表示为
这方程式右手边前面两个项目是描述电子或正子的狄拉克场的拉格朗日密度，后面两个项目则是以光子为媒介的电磁场的拉格朗日密度。对于formula_95的拉格朗日方程式为马克士威方程组：
规范不变性有很多可被检验的后果。例如，局域规范不变性要求光子不具有质量。因此，假若做实验能够精确地证实光子不具有质量，这也会成为电荷守恒的强证据。
可是，甚至当物理系统具有完全的规范不变性时，假若电荷从正常的三维空间漏入隐藏的额外维度，则仍旧会有可能发生电荷不守恒现象。
实验证据.
假若电荷不永远守恒，则可能会发生粒子衰变。检验电荷守恒最好的实验方法就是寻找这些粒子衰变。至今为止，物理学者尚未能找到任何这类衰变。例如，对于电子衰变为微中子与光子的反应，物理学者试著侦测这反应产生的高能光子：
但是，有理论提出，即使电荷不永远守恒，这种生成高能光子的衰变反应也永远不会发生。当然，也有实验试著侦测不产生高能光子的衰变，或者一些比较不寻常的电荷破坏过程，例如，电子可能会自发变成正电子、电子移入其它维度。最优良的实验值限为