电荷守恒定律
在物理學裏，電荷守恒定律（）是一種關於電荷的守恆定律。電荷守恒定律有兩種版本，「弱版電荷守恒定律」（又稱為「全域電荷守恒定律」）與「強版電荷守恒定律」（又稱為「局域電荷守恒定律」）。弱版電荷守恒定律表明，整個宇宙的總電荷量保持不變，不會隨著時間的演進而改變。注意到這定律並沒有禁止，在宇宙這端的某電荷突然不見，而在宇宙那端突然出現。強版電荷守恒定律明確地禁止這種可能。強版電荷守恒定律表明，在任意空間區域內電荷量的變化，等於流入這區域的電荷量減去流出這區域的電荷量。對於在區域內部的電荷與流入流出這區域的電荷，這些電荷的會計關係就是電荷守恒。
定量描述，這強版定律的方程式乃是一種連續方程式：
其中，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是狄拉克矩陣（），formula_81是四維旋量，formula_82是formula_81的狄拉克伴隨（），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的粒子的四維向量場，其普羅卡拉格朗日密度（）為
在局域規範變換下，這方程式右手邊第一個項目是不變量，但第二個項目不是不變量。假設粒子不具質量formula_103，則可除去第二個項目。將這粒子不具質量的普羅卡拉格朗日密度與拉格朗日密度formula_99綜合在一起，所得到的拉格朗日密度formula_105是規範不變量：
假設formula_95是電磁四維勢、四維電流密度formula_108是formula_109、電磁張量formula_59是formula_111，那麼，formula_105表示為
這方程式右手邊前面兩個項目是描述電子或正子的狄拉克場的拉格朗日密度，後面兩個項目則是以光子為媒介的電磁場的拉格朗日密度。對於formula_95的拉格朗日方程式為馬克士威方程組：
規範不變性有很多可被檢驗的後果。例如，局域規範不變性要求光子不具有質量。因此，假若做實驗能夠精確地證實光子不具有質量，這也會成為電荷守恆的強證據。
可是，甚至當物理系統具有完全的規範不變性時，假若電荷從正常的三維空間漏入隱藏的額外維度，則仍舊會有可能發生電荷不守恆現象。
假若電荷不永遠守恆，則可能會發生粒子衰變。檢驗電荷守恆最好的實驗方法就是尋找這些粒子衰變。至今為止，物理學者尚未能找到任何這類衰變。例如，對於電子衰變為微中子與光子的反應，物理學者試著偵測這反應產生的高能光子： 但是，有理論提出，即使電荷不永遠守恆，這種生成高能光子的衰變反應也永遠不會發生。當然，也有實驗試著偵測不產生高能光子的衰變，或者一些比較不尋常的電荷破壞過程，例如，電子可能會自發變成正电子、電子移入其它維度。最優良的實驗值限為