Is the Lorenz Gauge a Choice? Gauge Freedom and the Structure of Electrodynamics

TL;DR

This paper clarifies that the Lorenz gauge in electrodynamics is not just a convenient choice but a natural consequence of gauge invariance, enhancing understanding of gauge theories' structure.

Contribution

It demonstrates that the Lorenz gauge condition is fundamentally tied to gauge invariance and can always be chosen, reframing it from a mere mathematical convenience to a natural feature.

Findings

The Lorenz gauge is the most natural simplification due to gauge freedom.

Gauge functions transform to always allow the Lorenz condition.

The approach clarifies the structure of gauge invariance in electrodynamics.

Abstract

In undergraduate electromagnetism courses, the Lorenz gauge condition is often presented as a convenient mathematical choice that decouples the wave equations for the scalar and vector potentials. While true, this presentation may leave students with the impression that the condition is entirely arbitrary. This Note explores the fundamental structure of gauge invariance, demonstrating that the Lorenz condition is not an ad-hoc imposition but rather the most elegant and natural simplification afforded by the theory's inherent gauge freedom. We explicitly show how the gauge function itself transforms, proving that one can always choose a gauge in which the Lorenz condition holds. This approach aims to transform the topic from a formal trick into an instructive example of the structure of gauge theories.

Equations

$$\nabla \cdot \mathbf{A}+\frac{1}{c^2}\frac{\partial \varphi }{\partial t}=0.$$

$$\nabla \cdot \mathbf{A}+\frac{1}{c^2}\frac{\partial \varphi }{\partial t}=f(\mathbf{r},t).$$

$$\square \varphi$$

$$\square \mathbf{A}$$

$$\square \equiv \frac{1}{c^2}\frac{{\partial }^2}{\partial t^2}-{\nabla }^2.$$

$${\mathbf{A}}^{\prime }$$

$${\varphi }^{\prime }$$

$$f^{\prime }=\nabla \cdot {\mathbf{A}}^{\prime }+\frac{1}{c^2}\frac{\partial {\varphi }^{\prime }}{\partial t}.$$

$$f^{\prime }$$

$$=\left(\nabla \cdot \mathbf{A}+\frac{1}{c^2}\frac{\partial \varphi }{\partial t}\right)-\left(\frac{1}{c^2}\frac{{\partial }^2\chi }{\partial t^2}-{\nabla }^2\chi \right)$$

$$=f-\square \chi .$$

$$\square \chi =f.$$

Full text

I Introduction

Introducing the scalar potential $\phi$ and the vector potential $\bm{A}$ is a cornerstone of classical electrodynamics. They simplify Maxwell’s equations by satisfying, by construction, the two homogeneous equations: Gauss’s law for magnetism ($\nabla\cdot\bm{B}=0$) and Faraday’s law ($\nabla\times\bm{E}=-\partial\bm{B}/\partial t$).[1] This formalism, however, leads to a system of coupled, second-order differential equations for the potentials. The canonical textbook approach, prominently exemplified in Chap. 10 of Griffiths, is to invoke the invariance of the fields under gauge transformations to impose the Lorenz gauge condition,

[TABLE]

As Griffiths notes, this choice is specifically “designed to eliminate the middle term” in the original coupled wave equation for $\bm{A}$. This imposition indeed decouples the equations, leading to the elegant result where both potentials satisfy the same differential operator. In Griffiths’ words, “The virtue of the Lorenz gauge is that it treats $\phi$ and $\bm{A}$ on an equal footing.” (Ref. 2, p. 441)

While this mathematical elegance is powerful, the presentation can be pedagogically unsatisfying. It frames a condition of profound physical importance as a mere matter of mathematical convenience. This type of pedagogical simplification has long been a subject of critical discussion in the physics education literature, for instance, in the context of displacement currents.[3] This leaves a persistent question: Is the Lorenz[4] condition just a convenient choice, or is there a deeper physical reason for its specific form? Discussions on the subtleties of gauge choice, while central to the theory, often remain secondary in undergraduate curricula. Indeed, as Jackson noted in this Journal, “textbooks rarely show explicitly the gauge function $\chi$ that transforms one gauge into another,” leaving students without the tools to explore the structure of gauge freedom for themselves.[5] Other authors have also highlighted how dynamical and consistency aspects of the potentials in various gauges are often omitted from the standard treatment.[6, 7]

The purpose of this Note is to investigate precisely this question by focusing on the structure of gauge freedom itself. We will demonstrate that the Lorenz condition emerges as the most natural and convenient choice allowed by the theory’s structure, without needing to be constrained by other physical principles like charge conservation, which must be satisfied regardless. This approach aims to transform the topic of gauge freedom from a formal trick into an instructive example of the mathematical structure of our physical theories.

II The Dynamics of the Gauge Condition

The dynamics of the electromagnetic potentials, prior to the imposition of a gauge condition, are described by the coupled equations derived from the inhomogeneous Maxwell’s equations.[1] To explore the scope of gauge freedom explicitly, we posit a generalized gauge condition by defining an, in principle, arbitrary function $f(\bm{r},t)$:

[TABLE]

The standard Lorenz gauge corresponds to the choice $f=0$. Substituting this generalized condition into the coupled equations for the potentials yields a decoupled system of inhomogeneous wave equations:

[TABLE]

where we have adopted the d’Alembertian operator definition

[TABLE]

To understand the nature of the function $f$, we must first recall that the physical fields $\bm{E}$ and $\bm{B}$ must remain invariant under any choice of gauge. We know that the potentials are not unique; a gauge transformation given by

[TABLE]

for any arbitrary scalar function $\chi(\bm{r},t)$, leaves the physical fields unchanged. Let us now apply this transformation to our generalized gauge condition, Eq. (2). The new gauge function, $f^{\prime}$, is defined by

[TABLE]

Substituting the transformed potentials, we find how the new gauge function $f^{\prime}$ relates to the original function $f$:

[TABLE]

This equation is the central result of our analysis. It proves that the function $f$ is not a gauge-invariant physical quantity. Its form depends entirely on the gauge choice we make, which is parameterized by the function $\chi$. This transformation property, while fundamental, is typically explored in more advanced treatments of the subject.[1]

The second, and most crucial, point is that we can use this very gauge freedom to simplify our theory without any loss of physical content. Eq. (8) shows that, given any non-zero function $f$ resulting from an initial choice of potentials, we can always seek a gauge transformation function $\chi$ that satisfies the inhomogeneous wave equation:

[TABLE]

The existence of solutions to the inhomogeneous wave equation is a standard result in mathematical physics, typically found by employing Green’s functions.[8] Its specific application to electrodynamics is a cornerstone of advanced treatments of the subject.[1] This guarantees that we can always perform a gauge transformation to a new gauge where the new function $f^{\prime}$ becomes zero.

This approach demonstrates that the Lorenz condition is not an arbitrary “imposition” on the theory, but rather the most elegant and convenient simplification that emerges naturally from the inherent gauge freedom of electromagnetism. It allows the potentials to be described by the simplest possible decoupled wave equations, making calculations far more direct, without losing any physical information.

III Conclusion

The argument presented clarifies the nature of gauge freedom: it is the liberty to redefine the potentials in a way that simplifies the mathematical description of a system. We have shown that for any set of potentials, a gauge transformation can always be found that enforces the Lorenz condition. The condition $f=0$ is not a law of nature, but a convention — a particularly wise one that simplifies the equations of motion to their minimal, decoupled form. As Jackson summarizes, the Lorenz gauge is commonly used because it “treat[s] $\Phi$ and $\bm{A}$ on equivalent footings” and “fits naturally into the considerations of special relativity” (Ref. 1, p. 241).

Furthermore, the fact that $f$ can be transformed away confirms that it does not correspond to a measurable quantity. The Lorenz condition is thus the choice that eliminates this unphysical redundancy in the simplest, most elegant, and relativistically covariant manner. Presenting this argument in the classroom provides valuable insight into the structure of gauge theories, showing how conservation laws and symmetries shape the mathematical language of physics.