在物理學裡，電荷守恆定律是一種關於電荷的守恆定律。電荷守恆定律有兩種版本，「弱版電荷守恆定律」（又稱為「全域電荷守恆定律」）與「強版電荷守恆定律」（又稱為「局域電荷守恆定律」）。弱版電荷守恆定律表明，整個宇宙的總電荷量保持不變，不會隨著時間的演進而改變。注意到這定律並沒有禁止，在宇宙這端的某電荷突然不見，而在宇宙那端突然出現。強版電荷守恆定律明確地禁止這種可能。強版電荷守恆定律表明，在任意空間區域內電荷量的變化，等於流入這區域的電荷量減去流出這區域的電荷量。對於在區域內部的電荷與流入流出這區域的電荷，這些電荷的會計關係就是電荷守恆。 定量描述，強版定律的方程式是一種連續方程式： Q t_2Q t_1 Q_IN Q_OUT； 其中，Q t 是在時間 t 某設定體積內的電荷量，Q_IN、Q_OUT 是在時間間隔 t_1t_2 內分別流入與流出這設定體積的電荷量。 上述兩種守恆定律建立於一個基礎原則，即電荷不能獨自生成與湮滅。假設帶正電粒子接觸到帶負電粒子，兩個粒子帶有電量相同，則因為這接觸動作，兩個粒子會變為中性，這物理行為是合理與被允許的。一個中子，也可以因𝛃衰變，生成帶正電的質子、帶負電的電子與中性的反微中子。但是，任何粒子，不可能獨自地改變電荷量。物理學明確地禁止這種物理行為。更仔細地說，像電子、質子一類的亞原子粒子會帶有電荷，而這些亞原子粒子可以被生成或湮滅。在粒子物理學裡，電荷守恆意味著，在那些生成帶電粒子的基本粒子反應裡，雖然會有帶正電粒子或帶負電粒子生成，在反應前與反應後，總電荷量不會改變；同樣地，在那些湮滅帶電粒子的基本粒子反應裡，雖然會有帶正電粒子或帶負電粒子湮滅，在反應前與反應後，總電荷量絕不會改變； 雖然全域電荷守恆定律要求宇宙的總電荷量保持不變，到底總電荷量是多少仍舊是有待研究問題。大多數跡象顯示宇宙的電荷量為零， 即正電荷量與負電荷量相同。 歷史 美國科學家與政治家富蘭克林於 1747 年與朋友通訊： 學術界歸功富蘭克林為這定律的建立者。「富蘭克林電荷守恆定律」表明，在任何絕緣系統內，總電荷量不變。 電磁學表述 流入某體積 mathbb V 的淨電流為 Ioint_mathbb S mathbf J cdot mathrm d2mathbf r； 其中，I 是電流，mathbf J 是電流密度，mathbb S 是包圍體積 mathbb V 的閉曲面，mathrm d2mathbf r 是微小面向量元素，垂直於 mathbb S 從體積內朝外指出。 應用散度定理，將這方程式寫為 Iint_mathbb V nablacdotmathbf J mathrm d3r。 總電荷量 Q 與體積 mathbb V 內的電荷密度 rho 的關係為 Qint_mathbb V rho mathrm d3r。 電荷守恆要求，流入體積 mathbb V 的淨電流，等於體積 mathbb V 內總電荷量 Q 的變率： frac mathrm d Qmathrm d tIint_mathbb V frac partial rhopartial t mathrm d3r。 所以， int_mathbb Vfrac partial rhopartial tmathbf nabla cdot mathbf J mathrm d3r0。 對於任意體積 mathbb V，上述方程式都成立。所以，可以將被積式提取出來： frac partial rhopartial tnabla cdot mathbf J 0。 電荷守恆方程式又稱為電荷連續方程式。 在十九世紀中期，詹姆斯馬克士威發現安培定律（原本形式）不能滿足電荷守恆的要求。於是，他將安培定律的方程式加以修正為馬克士威 安培方程式。由於這動作，馬克士威發覺包括這方程式在內的馬克士威方程組，可以用來描述電磁波的物理行為，並且推匯出電磁波以光速傳播於自由空間。因此，他正確地斷定光波是一種電磁波。更詳盡細節，請參閱條目馬克士威方程組。 確實無誤，馬克士威方程組已概括了電荷守恆方程式。思考馬克士威 安培方程式， nablatimesmathbf Bmu_0mathbf Jmu_0epsilon_0frac partialmathbf Epartial t； 其中，mathbf B 是磁場，mu_0 是磁常數，epsilon_0 是電常數，mathbf E 是電場。 取這方程式的散度， 0 equiv nablacdot nablatimesmathbf Bmu_0nablacdotmathbf Jmu_0epsilon_0frac partial nablacdotmathbf Epartial t。 將高斯定律（ nablacdotmathbf Erhoepsilon_0 ）帶入上式，立即得到電荷守恆定律， frac partial rhopartial tmathbf nabla cdot mathbf J0。 規範不變性 靜電學 在靜電學裡，電勢乃是相對的，不是絕對的。假設在三維空間的電勢為 phif mathbf r，現將電勢加上一個常數 c，改為 phif mathbf rc，則電場不會改變，這性質稱為規範不變性。由於這性質，必需先設定在某參考位置的電勢，在其它位置的電勢才具有真實物理意義。因此，每一條方程式只會涉及到相對電勢，不會涉及到絕對電勢。 電荷守恆與規範不變性密切相關。這可以用一個思想實驗來論述。假設某種過程可以破壞電荷守恆（假若無法永久地破壞，至少可以暫時地破壞）。這過程會在空間裡電勢為 V_1 的某位置 mathbf r_1 生成電荷 q，然後將這電荷遷移至在空間裡電勢為 V_2 的位置 mathbf r_2，最後將這電荷湮滅。注意到這過程並沒有破壞全域電荷守恆定律，只破壞了局域電荷守恆定律。 現在規定，在任意位置，生成電荷需要輸入能量 W，湮滅電荷會釋出能量 W。由於生成電荷或湮滅電荷的位置是任意位置，W 不會與相對電勢有關。W 也不會與絕對電勢有關。那麼，整個過程會使得系統獲得能量 WqV_1qV_2W。但是，這樣做會違反能量守恆。為了遵守能量守恆，必需要求局域電荷守恆。所以，由於規範不變性，電荷守恆定律成立。 電磁學 在電磁學裡，對電勢與磁向量勢做規範變換， phi phi frac partial Lambdapartial t、 mathbf A mathbf A nabla Lambda ； 其中，規範函式 Lambda mathbf rt 是任意純量場。 新的電場 mathbf E、磁場 mathbf B 分別為 mathbf E nabla phi frac partial mathbf Apartial tnabla phi frac partial mathbf Apartial tmathbf E、 mathbf B nablatimesmathbf Anablatimesmathbf Amathbf B ， 分別與舊的電場 mathbf E、磁場 mathbf B 相同。這性質稱為規範不變性。由於這性質，在規範變換下，馬克士威方程組的形式不變。 諾特定理 根據諾特定理，電荷守恆可以理解為由於對稱性而導致的後果。諾特定理表明，每一種守恆定律，必定有其伴隨的物理對稱性。伴隨著電荷守恆的對稱性是電磁場的規範不變性。 採用高斯單位制，張量標記，愛因斯坦求和約定，思考電磁場的拉格朗日密度 mathcal L， begin alignmathcal L frac 116pi F_alphabeta Falphabeta frac 1c J_alpha Aalpha frac 116pipartial_alpha A_betapartial_beta A_alphapartialalpha Abetapartialbeta Aalpha frac 1c J_alpha Aalpha end align ； 其中，F_alphabeta 是電磁張量，c 是光速，J_alpha 是四維電流密度，Aalpha 是電磁四維勢。 現在，做一個微小變換 AalphaAalphapartialalphaLambda； 其中，Lambda xalpha 是規範函式。 新的拉格朗日密度 mathcal L 為 begin alignmathcal L frac 116pipartial_alphaA_betapartial_betaLambdapartial_betaA_alphapartial_alphaLambda partialalphaAbetapartialbetaLambdapartialbetaAalphapartialalphaLambda frac 1c J_alphaAalphapartialalphaLambda frac 116pipartial_alpha A_betapartial_beta A_alphapartialalpha Abetapartialbeta Aalpha frac 1c J_alphaAalphapartialalphaLambda mathcal L frac 1c J_alphapartialalphaLambda end align 。 在這種規範變換下，拉格朗日密度不是不變數，但是作用量 mathcal Iint_mathbb Vmathcal L mathrm d4x 是不變數： mathcal Imathcal I frac 1cint_mathbb V J_alphapartialalphaLambda mathrm d4x frac 1cint_mathbb V partialalphaJ_alphaLambdamathrm d4x frac 1cint_mathbb V Lambdapartialalpha J_alpha mathrm d4x； 其中，mathbb V 是四維積分體積。 應用散度定理，四維體積積分 int_mathbb V partialalphaJ_alphaLambdamathrm d4x 可以變為一個三維曲面積分。將 mathbb V 增大，使得表面不存在任何四維電流 J_alpha，則這專案等於零。那麼， mathcal Imathcal I frac 1cint_mathbb V Lambdapartialalpha J_alpha mathrm d4x。 注意到 Lambda 是任意函式，所以，假若作用量 mathcal I 是規範不變數，則必定導致 partialalpha J_alpha0。 規範場論 採用高斯單位制，自旋 12 粒子的旋量場的狄拉克拉格朗日密度為 mathcal Lihbar coverline psigammamupartial_mupsimc2overline psipsi； 其中，hbar 是約化普朗克常數，c 是光速，gammamu 是狄拉克矩陣，psi 是四維旋量，overline psi 是 psi 的狄拉克伴隨，m 是粒子質量。 對於全域規範變換， psipsi eitheta； 其中，theta 是常數相移。 在全域性規範變換下，拉格朗日密度 mathcal L 是不變數： begin alignmathcal L ihbar coverline psigammamupartial_mupsimc2overline psipsi ihbar coverline psi eithetagammamupartial_mupsi eithetamc2overline psi eithetapsi eitheta ihbar coverline psigammamupartial_mupsimc2overline psipsi mathcal L end align 。 可是，對於局域規範變換，thetatheta xmu 不是常數。在局域規範變換下，由於 partial_mupsi eithetapartial_mupsi eithetai partial_muthetapsi eitheta，拉格朗日密度 mathcal L 不是不變數： mathcal Lmathcal Lhbar c partial_muthetaoverline psigammamupsi。 因此，必需新增額外專案，才能使 mathcal L 成為不變數。猜想新拉格朗日密度的形式為 mathcal L_1ihbar coverline psigammamupartial_mupsimc2overline psipsi qoverline psigammamupsi A_mu； 其中，A_mu 是新新增的四維向量場。 假設，對於局域規範變換，A_muA_mupartial_muLambda。那麼，在局域規範變換下， mathcal L_1mathcal L_1hbar c partial_muthetaoverline psigammamupsiqoverline psigammamupsipartial_muLambda。 設定 Lambdahbar c thetaq，則拉格朗日密度 mathcal L_1 成為規範不變數。但是四維向量場 A_mu 的物理意義仍舊不清楚。 思考自旋為 1、質量為 m 的粒子的四維向量場，其普羅卡拉格朗日密度為 mathcal L_P frac 116pipartial_alpha A_betapartial_beta A_alphapartialalpha Abetapartialbeta Aalpha frac m2c28pihbar2 Anu A_nu。 在局域規範變換下，這方程式右手邊第一個專案是不變數，但第二個專案不是不變數。假設粒子不具質量 m0，則可除去第二個專案。將這粒子不具質量的普羅卡拉格朗日密度與拉格朗日密度 mathcal L_1 綜合在一起，所得到的拉格朗日密度 mathcal L_2 是規範不變數： mathcal L_2ihbar coverline psigammamupartial_mupsimc2overline psipsi frac 116pipartial_alpha A_betapartial_beta A_alphapartialalpha Abetapartialbeta Aalphaqoverline psigammamupsi A_mu。 假設 A_mu 是電磁四維勢、四維電流密度 J_mu 是 J_mucqoverline psigammamupsi、電磁張量 F_alphabeta 是 F_alphabetapartial_alpha A_betapartial_beta A_alpha，那麼，mathcal L_2 表示為 mathcal L_2ihbar coverline psigammamupartial_mupsimc2overline psipsi frac 116piF_alphabeta Falphabetafrac 1c Jmu A_mu。 這方程式右手邊前面兩個專案是描述電子或正子的狄拉克場的拉格朗日密度，後面兩個專案則是以光子為媒介的電磁場的拉格朗日密度。對於 A_mu 的拉格朗日方程式為馬克士威方程組： partialmu F_munufrac 4pic Jmu0。 規範不變性有很多可被檢驗的後果。例如，局域規範不變性要求光子不具有質量。因此，假若做實驗能夠精確地證實光子不具有質量，這也會成為電荷守恆的強證據。 please read section IIC Conservation of Electric Charge 可是，甚至當物理系統具有完全的規範不變性時，假若電荷從正常的三維空間漏入隱藏的額外維度，則仍舊會有可能發生電荷不守恆現象。 實驗證據 假若電荷不永遠守恆，則可能會發生粒子衰變。檢驗電荷守恆最好的實驗方法就是尋找這些粒子衰變。至今為止，物理學者尚未能找到任何這類衰變。例如，對於電子衰變為微中子與光子的反應，物理學者試著偵測這反應產生的高能光子： eto nu_egamma 平均壽命大於 461026 年（90 置信水平）。 但是，有理論提出，即使電荷不永遠守恆，這種生成高能光子的衰變反應也永遠不會發生。 當然，也有實驗試著偵測不產生高能光子的衰變，或者一些比較不尋常的電荷破壞過程，例如，電子可能會自發變成正電子、 電子移入其它維度。最優良的實驗值限為 eto 任意粒子 平均壽命大於 641024 年（68 置信水平） This is the most stringent of several limits given in Table 1 of this paper nto pnubar nu 對於所有中子衰變事件，電荷不守恆衰變的發生率低於 81027（68 置信水平） 參閱 電容器－儲存電荷的元件。 克希荷夫電路定律－應用電荷守恆於電路。 守恆定律與對稱性 規範理論入門－關於規範不變性與電荷守恆的進階論述。 參考文獻 Category 電磁學 Category 守恆定律