2013-01-04 00:31:26 8 Comments

How to prove conservation of electric charge using Noether's first theorem according to classical (non-quantum) mechanics? I know the proof based on using Klein–Gordon field, but that derivation use quantum mechanics particularly.

### Related Questions

#### Sponsored Content

#### 1 Answered Questions

### [SOLVED] Noether's Theorem and conservation of momentum

**2020-05-28 16:05:21****Noumeno****99**View**2**Score**1**Answer- Tags: lagrangian-formalism momentum conservation-laws coordinate-systems noethers-theorem

#### 2 Answered Questions

### [SOLVED] Confusion about Noether's theorem on conservation of energy

**2018-07-18 19:23:08****Ca Parvulus Lee****378**View**4**Score**2**Answer- Tags: lagrangian-formalism energy-conservation conservation-laws noethers-theorem

#### 1 Answered Questions

### [SOLVED] How can I prove that the Noether charge represents actually conservation of electric charge?

**2020-01-17 22:27:37****Zebx****97**View**3**Score**1**Answer- Tags: electromagnetism lagrangian-formalism charge noethers-theorem gauge-invariance

#### 2 Answered Questions

### [SOLVED] Can quantum effects avoid Noether's theorem?

**2017-02-15 03:11:49****user162485****378**View**4**Score**2**Answer- Tags: quantum-field-theory lagrangian-formalism conservation-laws gauge-theory noethers-theorem

#### 1 Answered Questions

### [SOLVED] What justifies conservation laws in non-uniform spatial/temporal fields, if Noether's theorem doesn't?

**2015-04-12 09:19:28****perilousGourd****89**View**4**Score**1**Answer- Tags: conservation-laws noethers-theorem

## 1 comments

## @Qmechanic 2013-01-04 22:04:42

By the word

classicalwe will mean $\hbar=0$, and we will use the conventions of Ref. 1.The Lagrangian density for Maxwell theory with various matter content is$^1$

$${\cal L} ~=~{\cal L}_{\rm Maxwell} + {\cal L}_{\rm matter} ,\tag{1} $$

$${\cal L}_{\rm Maxwell}~=~ -\frac{1}{4}F_{\mu\nu}F^{\mu\nu},\tag{2}$$

$$ {\cal L}_{\rm matter}~=~{\cal L}_{\rm matter}^{\rm QED}+{\cal L}_{\rm matter}^{\rm scalar QED} + \ldots,\tag{3} $$

$$ {\cal L}_{\rm matter}^{\rm QED} ~:=~ \overline{\Psi}( i\gamma^{\mu} D_{\mu}-m)\Psi ,\tag{4} $$

$$ {\cal L}_{\rm matter}^{\rm scalar QED}~:=~ -(D_{\mu}\phi)^{\dagger} D^{\mu}\phi -m^2\phi^{\dagger}\phi -\frac{\lambda}{4} (\phi^{\dagger}\phi)^2,\tag{5} $$

with covariant derivative

$$ D_{\mu}~=~d_{\mu}-ieA_{\mu}, \tag{6} $$ and with Minkowski sign convention (-,+,+,+). (Here we are too lazy to denote various matter masses $m$ and charges $e$ differently.) The matter equations of motion (eom) are

$$ ( i\gamma^{\mu} D_{\mu}-m)\Psi ~\stackrel{m}{\approx}~0, \qquad D_{\mu}D^{\mu}\phi~\stackrel{m}{\approx}~m^2\phi+\frac{\lambda}{2} \phi^{\dagger}\phi^2, \qquad \ldots.\tag{7}$$

(The $\stackrel{m}{\approx}$ symbol means equality modulo matter eom, i.e. an on-shell equality.)

The infinitesimal

globaloff-shell gauge transformation is$$ \delta A_{\mu} ~=~0, \qquad \delta\Psi~=~-i\epsilon \Psi, \qquad \delta\overline{\Psi}~=~i\epsilon \overline{\Psi}, $$ $$ \delta\phi~=~-i\epsilon \phi,\qquad \delta\phi^{\dagger}~=~i\epsilon \phi^{\dagger}, \qquad \ldots, \qquad\delta {\cal L} ~=~0,\tag{8} $$

where the infinitesimal parameter $\epsilon$ does

notdepend on $x$.The Noether current is the electric $4$-current$^2$

$$ j^{\mu}~=~e\overline{\Psi}\gamma^{\mu}\Psi - ie\{\phi^{\dagger} D^{\mu}\phi-(D^{\mu}\phi)^{\dagger}\phi\}+\ldots. \tag{9}$$

Noether's first Theorem is a theorem about

classicalfield theory. It yields an on-shell continuity equation$^3$$$ d_{\mu}j^{\mu}~\stackrel{m}{\approx}~0.\tag{10}$$

Hence the electric charge

$$ Q~=~\int\! d^3x~ j^0\tag{11}$$

is conserved on-shell.

References:

QFT.--

$^1$ Note that the matter Lagrangian density ${\cal L}_{\rm matter}$ may depend on the gauge field $A_{\mu}$

$^2$ Interestingly, the electric $4$-current $j^{\mu}$ depends on the gauge potential $A_{\mu}$ in case of scalar QED matter.

$^3$ Note that the above proof of the continuity equation (10) via Noether's first theorem (as OP requested) never uses Maxwell's equations.

## @FraSchelle 2013-03-24 17:26:38

I'm wondering if PhysiXxx would not prefer to call a "classical" proof a proof with real fields... then without gauge symmetry. I believe in "classical" Maxwell equations the conservation of charge $dQ / dt = 0$ is a postulate, leading to $\partial_{\mu} j^{\mu} = 0$ through integration over a finite volume.

## @Qmechanic 2013-04-24 17:19:37

It is true that [Maxwell eqs. $d_{\mu}F^{\mu\nu}\stackrel{A_{\lambda}}{\approx}-J^{\nu}$] $\Rightarrow$ [Continuity eq. $d_{\mu}J^{\mu}\stackrel{A_{\lambda}}{\approx}0$] $\Rightarrow$ [Electric charge conservation], where $J^{\mu}:=\frac{\delta S_{\rm matter}}{\delta A_{\mu}}$. In fact, here $J^{\mu}$ could be an unspecified background source that knows nothing about the matter theory. However, OP asked specifically to use Noether's first theorem in the proof. According to Noether's first theorem, we have [

globalgauge symmetry of the action]$\Rightarrow$ [Electric charge conservation].