Skip to main content
Physics LibreTexts

15.10: Gauge Transformations

  • Page ID
    5345
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    We recall (equation 9.1.1) that a static electric field \(\textbf{E}\) can be derived from the negative of the gradient of a scalar potential function of space:

    \[ \textbf{E} = -\textbf{grad} \, V. \tag{15.10.1} \label{15.10.1}\]

    The zero of the potential is arbitrary. We can add any constant (with the dimensions of potential) to V. For example, if we define \(V^{\prime}= V +C\) where \(C\) is a constant (in the sense that it is not a function of x, y, z) then we can still calculate the electric field from \(\textbf{E} = - \textbf{grad}V^{\prime}\).

    We also recall (Equation 9.2.1) that a static magnetic field \(\textbf{B}\) can be derived from the curl of a magnetic vector potential function:

    \[ \textbf{B} = \textbf{curl} \,\textbf{A} \tag{15.10.2} \label{15.10.2}\]

    Let us also recall here the concept of the B-flux from Equation 6.10.1:

    \[ \Phi_B= \iint \textbf{B} \cdot d\textbf{A} \tag{15.10.3} \label{15.10.3}\]

    It will be worth while here to recapitulate the dimensions and SI units of these quantities:

    Observable Dimensions Si Units
    E MLT-2Q-1 V m-1
    B MT-1Q-1 T
    V ML2T-2Q-1 V
    A MLT-1Q-1 T m or Wb m-1
    ΦB ML2T-1Q-1 T m2 or Wb

    Equation \(\ref{15.10.2}\) is also true for a nonstatic field. Thus a time-varying magnetic field can be represented by the \(\textbf{curl}\) of a time-varying magnetic vector potential. However, we know from the phenomenon of electromagnetic induction that a varying magnetic field has the same effect as an electric field, so that, if the fields are not static, the electric field is the result of an electrical potential gradient and a varying magnetic field, so that equation \(\ref{15.10.1}\) holds only for static fields.

    If we combine the Maxwell equation \(\textbf{curl}\, \textbf{E} = - \dot{\bf{B}}\) with the equation for the definition of the magnetic vector potential \(\textbf{curl}\, \bf{A} = \bf{B}\), we obtain \(\textbf{curl}\, (\bf{E} + \dot{\bf{A}}) = 0\) Then, since \(\textbf{curl grad}\) of any scalar function is zero, we can define a potential function \(V\) such that

    \[\textbf{E} + \dot{\bf{A}} = -\textbf{grad} \, V\tag{15.10.4} \label{15.10.4}\]

    (We could have chosen a plus sign, but we choose a minus sign so that it reduces to the familiar \(\textbf{E} = -\textbf{grad}V\) for a static field.) Thus equations \(\ref{15.10.4}\) and \(\ref{15.10.2}\) define the electric and magnetic potentials – or at least they define the \(\textbf{grad}\)ient of V and the \(\textbf{curl}\) of \(\textbf{A}\). But we recall that, in the static case, we can add an arbitrary constant to \(V\) (as long as the constant is dimensionally similar to V), and the equation \(\textbf{E} = -\textbf{grad}V^{\prime}\), where \(V^{\prime} = V + C\), still holds. Can we find a suitable transformation for \(V\) and \(\textbf{A}\) such that equations \(\ref{15.10.2}\) and \(\ref{15.10.4}\) still hold in the nonstatic case? Such a transformation would be a gauge transformation.

    Let \(\chi\) be some arbitrary scalar function of space and time. I demand little of the form of \(\chi\); indeed I demand only two things. One is that it is a “well-behaved” function, in the sense that it is everywhere and at all times single-valued, continuous and differentiable. The other is that it should have dimensions ML2T-1Q-1. This is the same as the dimensions of magnetic B-flux, but I am not sure that it is particularly helpful to think of this. It will, however, be useful to note that the dimensions of grad \(\chi\) and of \(\dot{\chi}\) are, respectively, the same as the dimensions of magnetic vector potential (\(\bf{A}\)) and of electric potential (\(V\)).

    Let us make the transformations

    \[\textbf{A}^{\prime}= \textbf{A}-\textbf{grad}\boldsymbol{\chi} \tag{15.10.5} \label{15.10.5}\]

    and \[V^{\prime} = V + \dot \chi \tag{15.10.6} \label{15.10.6}\]

    We shall see very quickly that this transformation (and we have a wide choice in the form of c) preserves the forms of equations \(\ref{15.10.2}\) and \(\ref{15.10.4}\), and therefore this transformation (or, rather, these transformations, since c can have any well-behaved form) are gauge transformations.

    Thus \(\textbf{curl} \, \textbf{A} = \textbf{B}\) becomes \(\textbf{curl}\, ( \textbf{A}^{\prime} + \textbf{grad} \chi)=\textbf{B}\) And since \(\textbf{curl grad}\) of any scalar field is zero, this becomes \(\textbf{curl} \, \textbf{A}^{\prime} = \textbf{B}\).

    Also, \(\textbf{grad}V = - (\textbf{E} + \dot{\textbf{A}})\) becomes

    becomes \[\textbf{grad}(V^{\prime}-\dot \chi) = -(\textbf{E} + \dot{\textbf{A}^{\prime}} + \textbf{grad} \dot{\boldsymbol{\chi}}), \text{ or } \textbf{grad}V^{\prime} = -(\textbf{E} + \dot{\textbf{A}^{\prime}}). \tag{15.10.7}\]

    Thus the form of the equations is preserved. If we make a gauge transformation to the potentials such as equations \(\ref{15.10.5}\) and \(\ref{15.10.6}\), this does not change the fields \(\textbf{E}\) and \(\textbf{B}\), so that the fields \(\textbf{E}\) and \(\textbf{B}\) are gauge invariant. Maxwell’s equations in their usual form are expressed in terms of \(\textbf{E}\) and \(\textbf{B}\), and are hence gauge invariant.


    This page titled 15.10: Gauge Transformations is shared under a CC BY-NC 4.0 license and was authored, remixed, and/or curated by Jeremy Tatum via source content that was edited to the style and standards of the LibreTexts platform; a detailed edit history is available upon request.