# Question about physical degree of freedom in Maxwell Theory: Why Coulomb gauge can fix all redundant degree of freedom

Given $4$-potential $A^\mu(x)=(\phi(x),\mathbf{A}(x))$, the vacuum Maxwell equations: $$\nabla^2\phi+\frac{\partial}{\partial t}(\nabla\cdot \mathbf{A} )=0$$ $$\nabla^2 \mathbf{A} -\frac{\partial^2 \mathbf{A} }{\partial t^2} - \nabla(\nabla\cdot\mathbf{A} + \frac{\partial \phi}{\partial t})=0$$

There is redundant degree of freedom(d.o.f) in $A^\mu(x)$: $$A^\mu(x)\rightarrow A^\mu(x) +\partial^\mu \lambda(x)$$

In Coulomb gauge: $$\nabla\cdot \mathbf{A}(x)=0 \tag{1}$$ Vacuum Maxweel equation becomes: $$\nabla^2\phi =0 \tag{2}$$ $$\nabla^2 \mathbf{A} -\frac{\partial^2 \mathbf{A} }{\partial t^2} = \nabla( \frac{\partial \phi}{\partial t}) \tag{3}$$

Then we can always choose $\phi(x)=0$. So question becomes that physical degree of freedom is $A^\mu(x)= (0,\mathbf{A}(x))$ with one constraint $\nabla\cdot \mathbf{A}(x)=0$. Every textbook then says the physical degree of freedom is $2$. But it seems there are still redundant d.o.f , we can always make $$\mathbf{A}(\mathbf{x},t)\rightarrow \mathbf{A}(\mathbf{x},t)+\nabla \Lambda(\mathbf{x})$$ such that $$\nabla^2 \Lambda(\mathbf{x}) =0\tag{4}$$ But above equation is Laplace equation that has nontrivial solutions, harmonic function. For example, $\Lambda(\mathbf{x}) = xyz$.

My questions

1. Using $\phi(x) =0$ and $\nabla\cdot \mathbf{A}(\mathbf{x},t)=0$, I have substract two redundant d.o.f. , why fixing $\Lambda(\mathbf{x})$ further can not substract more redundant d.o.f. ?

2. Many textbooks will argue that $A^\mu(x)$ should vanish at spacial infinity, so Laplace equation $(4)$ with zero boundary condition in infinity has only trivial solution. But why do we have to require $A^{\mu}$ vanish at spacial infinity? For example, a uniform magnetic field has $\mathbf{A}(x) = \mathbf{B}\times \mathbf{r}/2$ which does not vanish in infinity. If you require that $A^\mu$ vanish at spacial infinity, you even cannot get constant electrical or magnetic field solutions from Vacuum Maxwell equations. And even the elctromagnetic wave solution $e^{i k(t -x)}$ is also nonvanishing at spacial infinity. This question has some relation with Coulomb gauge fixing and “normalizability”

3. Why textbook says "Lorentz gauge is Lorentz invariant but cannot fix all redundant d.o.f. Coulomb gauge can fix all redundant d.o.f but is not Lorentz invariant. "? But it's obvious that only Coulomb gauge $(1)$ also cannot fix all redundant d.o.f. We can see that the gauge fixing $\phi =0$ is not a consequence of $(2)$. It's forced artificially and $\phi=0$ is independent from Coulomb gauge. For example, vacuum Maxwell equations $(2),(3)$ can have uniform electrical field solution $\phi(x)=-\mathbf{E}\cdot \mathbf{r}$, $\mathbf{A}=0$ satisfying only Coulomb gauge $(1)$ but $\phi(x)\neq 0$. If we requires $\phi=0$ and $\nabla \cdot \mathbf{A}=0$, the solution becomes $\phi=0$ and $\mathbf{A}= \mathbf{E} t$.

• – AccidentalFourierTransform Jun 2 '17 at 21:52
• @AccidentalFourierTransform I know how to count by this way. It's just every book will say. I want to explain the contradiction in my question. – user153663 Jun 2 '17 at 21:57
• Important remark: a constant electromagnetic field is a very pathological concept. "Real-life" EM fields do vanish at spatial infinity. – AccidentalFourierTransform Jun 2 '17 at 22:02
• @AccidentalFourierTransform I just want to talk about the framework of theory itself. And if you require $A^\mu$ vanish at spacial infinity, we cannot get uniform electrical field solution from Maxwell equations. – user153663 Jun 2 '17 at 22:05
• Possible duplicate of Faddeev-Popov Gauge-Fixing in Electromagnetism – AccidentalFourierTransform Dec 4 '17 at 14:18

1. The main thing one has to be careful about here is the boundary conditions on the gauge field $A_\mu(x)$ and the gauge parameter $\Lambda(x)$. In particular, the set of gauge transformations that one is allowed to "gauge away" must vanish at "infinity". By infinity, here one often means both spatial infinity as well as null infinity. You cannot gauge fix "large gauge transformations" also known as global gauge transformations since those correspond to actual physical symmetries of the theory with physical consequences on the system (deduced via conservation laws). The simplest such example is when $\Lambda(x) = \lambda =$ constant. These gauge symmetries give rise to charge conservation and are very important. They cannot and should not be removed. Having said this, we go back to the equation in Coulomb gauge. The residual gauge transformations are generated by functions $\Lambda(x)$ satisfying $$\nabla^2 \Lambda(x) = 0 \, , \qquad \Lambda(x) \to 0 ~~\text{at infinity.}$$ You can now convince yourself that the only solution to these equations is $$\Lambda(x) = 0\, .$$ This answers your first question.

2. The answer to your second question about the "why" of these boundary conditions is the requirement of finite energy flux through the boundaries of the system. The idea is that we restrict to solutions which have the property that if finite energy is input into the system through a certain boundary, then finite energy should be released from the system. Here, I am not talking about the total energy which will always be fixed due to energy conservation. What we are talking about here is the local energy flux through each boundary. We are only interested in solutions to Maxwell's equations where even the local energy density is finite at all points and no singularities are created. All such solutions need to have the property that the "vanish" in a suitable way near a suitable boundary. This requirement, as you correctly point out, excludes constant electric or magnetic fields whose total energy is proportional to the volume of the system. The wave solutions do not die of at spatial infinity but that's OK since spatial infinity is not a suitable boundary for these solutions. Wave-like solutions travel outward and reach null infinity ${\mathscr I}^+$ as opposed to spatial infinity. In other words, even though wave-solutions are non-vanishing on spatial infinity, they do not contribute to the energy density there. Therefore, we need that the energy flux on ${\mathscr I}^+$ due to wave-solutions be finite and you can check that this is indeed the case.

3. $\phi(x) \neq 0$ does not mean that it is a degree of freedom. A degree of freedom is defined as a "part" or component of the field $A_\mu(x)$ that is not determined by the equations of motion, and it is therefore, completely free to choose. To state this more precisely, a degree of freedom is the data that must be prescribed (completely freely) on a Cauchy surface so as to ensure unique time evolution into the past and future. It is the piece of information about the field that completely determines every other aspect of it. Thus, $\phi$ is never a degree of freedom. In any gauge you choose, it is easy to see that it is determined entirely in terms of $A_i(x)$.

1: $A^\mu$ field corresponds to photonic field and we know that a photon has two degrees of freedom in terms of its polarization. It can be right or left polarized. So a consistent theory should also give 2 DOF.

Lets analyze Coulomb Gauge. We have four components of $A^\mu$, means 4 DOF. We fix $\phi =0$ which eliminates one DOF. Then we are left with 3 DOF. Then $\nabla\cdot \mathbf{A}(x)=0 \tag{1}$ shows that 3 components are related and 1 out of 3 can be stated in terms of other 2 components. So we have removed one more DOF. Hence theory becomes consistent by imposing constraint on Guage field. This type of Guage fixing is called Class 1 guage fixing.

3: You are thinking right but you are missing one thing that we don't get $\phi=0$ from any theoretical procedure, its our own choice, its make our theory work so we impose it and nothing else. Now come to Lorentz invariance. The constraints are taken into consideration when we are quantizing the theory. Lorentz guage $\partial^\mu A_\mu=0$ gives us 3 DOF (One extra non-physical DOF)but at the end when we quantize we get Poisson Brackets in covariant form (temporal/spatial components are combined in a compact form). On the other hand when we take Coulomb guage we end up with temporal part removed and Poisson bracket just for spatial part of the field and corresponding conjugate momenta. So explicit covariance is lost although the theory is consistent. In this case we have to show that our theory is still covariant while we have lost temporal part altogether.