Electromagnetic energy is not Gauge invariant?

[JustinLevy]

I assume I am making a mistake here. Can you please help me learn how to fix them?

In electrodynamics, the gauge transformations are:
\vec{A} \rightarrow \vec{A} + \vec{\nabla}\lambda
V \rightarrow V - \frac{\partial}{\partial t}\lambda

These leave the electric and magnetic fields unchanged. The electromagnetic energy density is proportional to:
u \propto (E^2 + B^2)
So the energy density should be gauge invariant. A gauge transformation shouldn't even shift it by a constant.


However, the energy density can also be written in terms of the potentials and charge distributions as:
u = \frac{1}{2}(\rho V + \vec{j} \cdot \vec{A})

If I let \lambda = e^(-r^2), then V is unchanged, and A is just changed by a radial field which vanishes at infinity. Here, the energy density IS changed, and not by a constant amount either ... it changes by an amount depending on j. What gives?

Even weirder, is some textbooks start with the potentials form to derive the fields form. I don't see any place they fix any gauge in doing such derivation. Please help.

 

[samalkhaiat]

I assume I am making a mistake here. Can you please help me learn how to fix them?

In electrodynamics, the gauge transformations are:
\vec{A} \rightarrow \vec{A} + \vec{\nabla}\lambda
V \rightarrow V - \frac{\partial}{\partial t}\lambda

These leave the electric and magnetic fields unchanged. The electromagnetic energy density is proportional to:
u \propto (E^2 + B^2)
So the energy density should be gauge invariant. A gauge transformation shouldn't even shift it by a constant.


However, the energy density can also be written in terms of the potentials and charge distributions as:
u = \frac{1}{2}(\rho V + \vec{j} \cdot \vec{A})

In any gauge field thory, It is a very important to understand that gauge fields couple to CONSERVED current \partial_{\mu}J^{\mu} = 0, if you use this you find

A_{\mu}J^{\mu} \rightarrow A_{\mu}J^{\mu} + J^{\mu}\partial_{\mu} \lambda

or

\int d^{3} x \ \delta (A_{\mu}J^{\mu}) = \int d^{3} x \ \partial_{\mu} (\lambda J^{\mu}) = 0


regards

sam

 

[JustinLevy]

In any gauge field thory, It is a very important to understand that gauge fields couple to CONSERVED current \partial_{\mu}J^{\mu} = 0, if you use this you find

A_{\mu}J^{\mu} \rightarrow A_{\mu}J^{\mu} + J^{\mu}\partial_{\mu} \lambda

or

\int d^{3} x \ \delta (A_{\mu}J^{\mu}) = \int d^{3} x \ \partial_{\mu} (\lambda J^{\mu}) = 0


regards

sam

I wanted to talk about the electromagnetic energy density (proportional to (E^2+B^2)), but you have instead talked about a relativistic scalar density (proportional to (E^2-B^2)). Therefore I am not sure how to relate your response back to the original question. Are you saying A_{\mu}J^{\mu} is gauge invariant but the electromagnetic energy density is NOT?


I understand that
\partial_{\mu} J^{\mu}=0
because it is a statement of conservation of charge. But I don't understand why the following is zero for every possible J or lambda
\int d^{3} x \ \delta (A_{\mu}J^{\mu}) = \int d^{3} x \ J^{\mu} \partial_{\mu} \lambda = 0.


Let's try just a simple circulating current, and a lambda polynomial in x and y:
\vec{j} = y\hat{x} + x\hat{y}
\lambda = xy
noting that for this choice
\partial_{\mu} \lambda = y\hat{x} + x\hat{y}

Looking at the result:
\int d^{3} x \ J^{\mu} \partial_{\mu} \lambda = <br /> \int d^{3} x \ (y\hat{x} + x\hat{y}) \cdot (y\hat{x} + x\hat{y}) \neq 0

So that doesn't seem to be gauge invariant either!?

 

[samalkhaiat]

I wanted to talk about the electromagnetic energy density (proportional to (E^2+B^2)), but you have instead talked about a relativistic scalar density (proportional to (E^2-B^2)). Therefore I am not sure how to relate your response back to the original question. Are you saying A_{\mu}J^{\mu} is gauge invariant but the electromagnetic energy density is NOT?

A_{\mu}J^{\mu} is the interaction Lagrangian. It is not proportional to the free electromagnetic Lagrangian E^{2} - B^{2}. Why do you need to worry about the gauge invariance of energy density or even the momentum density? There are no fundamental reasons for requiring them to be gauge invariant! The quantities that we measure are ENERGY and MOMENTUM. Therefore, they must be gauge invariant. I will show you this below.
I was trying to tell you that the EM interaction is gauge invariant because its change reduces to a hepersurface integral

\int d^{4} x \ \delta (A_{\mu}J^{\mu}) = \int d^{4} x \ J^{\mu} \partial_{\mu} \lambda = \int d^{4} x \ \partial_{\mu}(\lambda J^{\mu}) = 0

Assuming there is no current at infinity, the last integral vanishes since it can be changed to a surface integral at infinity.

If J^{\mu} is treated as externally given source, then the canonical energy-momentum tensor

T^{\mu\nu} = \frac{1}{4} \eta^{\mu\nu} F_{\sigma \rho}F^{\sigma \rho} - F^{\mu \sigma} \partial^{\nu}A_{\sigma} + \eta^{\mu\nu}A_{\rho}J^{\rho}

will have the following undesirable properties

1) It is not conserved:

\partial_{\mu}T^{\mu\nu} = (\partial^{\nu}J_{\sigma})A^{\sigma} \ \ (1)

Notice that T is conserved in the absence a current,i.e.,free electromagnetic field.

2) It is not gauge invariant. Indeed, it changes like

<br /> \delta T^{\mu\nu} = \partial_{\sigma} (F^{\sigma \mu} \partial^{\nu} \lambda + \eta^{\mu\nu} J^{\sigma} \lambda ) - J^{\mu}\partial^{\nu} \lambda \ \ (2)<br />

This "problem" stays with us even in the absence of sources;

<br /> \delta T^{\mu\nu} = \partial_{\sigma}\left( F^{\sigma \mu} \partial^{\nu} \lambda \right)<br />

However, in this case, the apparent violation of gauge invariance is no reason for concern because the change in T is a total divergence, which upon integration leads to a surface term, making no contribution to the total (measurable) energy-momentum 4-vector of the EM field;

<br /> \delta P^{\nu} = \int d^{3} x \delta T^{0 \nu} = \int d^{3} x \partial_{\sigma} ( F^{\sigma 0} \partial^{\nu}\lambda}) = \int d^{3} x \partial_{j} (F^{j 0} \partial^{\nu}\lambda) = 0<br />

Thus, even though the energy density T^{00} and the momentum density T^{0j} ARE NOT gauge invariant, the total energy P^{0} and the total momentum P^{j} are gauge-invariant quantities.

To resolve the above two problems when J_{\mu} \neq 0, the sources must be included in the dynamical description, i.e., our complete theory must include the dynamical fields which cause the currents. For example, Dirac's fields in the current J^{\mu} = \bar{\psi} \gamma^{\mu} \psi .
These matter fields will contribute to the total energy-momentum tensor on the LHS of eq(1) & (2), whereas the RHS of eq(1) will vanish and the RHS of eq(2) will again be a total divergence leading to a gauge-invariant energy-momentum 4-vector. It is a good exercise to do the calculations on the QED Lagrangian

\mathcal{L} = i\bar{\psi} \gamma^{\mu}\partial_{\mu}\psi -(1/2) F^{2} - J_{\mu}A^{\mu}

Try it.

regards

sam

 

[JustinLevy]

Assuming there is no current at infinity...

Ah, okay. That is why my "counter-example" fails.
The rest of what you wrote makes sense as well.

Thanks for your help.