Skip to main content
Physics LibreTexts

4.1: Lorentz transformation and Lorentz force

  • Page ID
    31971
  • \( \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}}\)

    The main importance of the Pauli algebra is to provide us with a stepping stone for the theory of spinor spaces to which we turn in Section 5. Yet it is useful to stop at this point to show that the formalism already developed provides us with an efficient framework for limited, yet important aspects of classical electrodyanmics (CED).

    We have seen on page 26 that the effect on electric field on a test charge, a “boost,” can be considered as an active Lorentz transformation, whereby the field is proportional to the “hyperbolic angular velocity \(\dot{\mu}\).

    This is in close analogy with the well known relation between the magnetic field and the cyclotron frequency, i.e., a “circular angular velocity” \(\dot{\phi}\). These results had been obtained under very special conditions. The Pauli algebra is well suited to state them in much greater generality.

    The close connection between the algebra of the Lorentz group and that of the electromagnetic field, is well known. However, instead of developing the two algebras separately and noting the isomorphism of the results, we utilize the mathematical properties of the Lorentz group developed in Section 3 and translate them into the language of electrodynamics. The definition of the electromagnetic field implied by this procedure is, of course, hypothetical, and we turn to experience to ascertain its scope and limits. The proper understanding of the limitation of this conception is particularly important, as it serves to identify the direction for the deepening of the theory. The standard operational definition of the electromagnetic field involves the use of a test charge. Accordingly we assume the existence of particles that can act in such a capacity. The particle is to carry a charge \(e\), a constant rest mass \(m\), and the effect of the field acting during the time \(dt\) is to manifest itself in a change of the 4-momentum only, without involving any change in internal structure.

    This means that the field has a sufficiently low frequency in the rest frame of the particle so as not to affect its internal structure. This is in harmony with the temporary exclusion of radiative interaction stated already.

    Let the test charge be exposed to an electromagnetic field during a small time \(dt .\). We propose to describe the resulting change of the four-momentum \(P \rightarrow P^{\prime}=P+d P\) as an infinitesimal Lorentz transformation. In this preliminary form the statement would seem to be trivial, since it is valid for any force that does not affect the intrinsic structure, say a combination of gravitational and frictional forces. In order to characterize specifically the Lorentz force, we have to add that the characterization of the field is independent of the fourmomentum of the test charge, moreover it is independent of the frame of reference of the observer. These conditions can be expressed formally in the following.

    Postulate \(\PageIndex{1}\)

    The effect of the Lorentz force on a particle (test charge) is represented as the transformation of the four-momentum space of the particle unto itself, and the transformations are elements of the active Lorentz group. Moreover, matrix representations in different Lorentz frames are connected by similarity transformations. (See Section 3.4.4.)

    We now proceed to show that this postulate implies the known properties of the Lorentz force.

    First, we show that an infinitesimal Lorentz transformation indeed reduces to the Lorentz force provided we establish a “dictionary” between the parameters of the transformation and the electromagnetic field (see below Equation \ref{12}). Consider a pure Lorentz transformation along \(\hat{h}\).

    \[p^{\prime}=p \cosh \mu+p_{0} \sinh \mu\label{1}\]

    \[p_{0}^{\prime}=p \sinh \mu+p_{0} \cosh \mu\label{2}\]

    where \(\vec{p}=p \hat{h}+\vec{p} \text { with } \vec{p} \cdot \vec{h}=0\). For infinitesimal transformations \(\mu \rightarrow d \mu:\)

    \[p^{\prime}-p=p_{0} d \mu\label{3}\]

    \[p_{0}^{\prime}-p_{0}=p d \mu\label{4}\]

    or

    \[\dot{\vec{p}}=p_{0} \dot{\mu} \hat{h}\label{5}\]

    \[\dot{p}_{0}=\vec{p} \cdot \hat{h} \dot{\mu}\label{6}\]

    By making use of

    \[\vec{p}=m c \sinh \mu=\gamma m \vec{v}\label{7}\]

    \(p_{0}=m c \cosh \mu=\gamma m c\)

    we obtain

    \[\dot{\vec{p}}=p m c \hat{h} \dot{\mu}\label{8}\]

    \(\dot{p}_{0}=p m \frac{\vec{v}}{c} \cdot \hat{h} \dot{\mu}\)

    Turning to rotation we have from Equation A.3.8 of Appendix A (See note on page 51 ).

    \[\vec{p}_{\perp}=\vec{p}_{\perp} \cos \phi+\hat{u} \times \vec{p}_{\perp} \sin \phi\label{9}\]

    For an infinitesimal rotation \(\phi \simeq d \phi\), and by using Equation \ref{7} we obtain, since \(\vec{p}_{\|}=\vec{p}_{\|}\) and \(\vec{p}_{\|} \times \hat{u}=0\)

    \[\vec{p}^{\prime}-\vec{p}=-\vec{p} \times \hat{u} d \phi=-\gamma m \vec{v} \times \hat{u} d \phi\label{10}\]

    or

    \[\dot{\vec{p}}=-\gamma m \vec{v} \times \hat{u} d \phi\label{11}\]

    With the definitions of 3.3.28 and 3.3.29 of page 26 written vectorially:

    \(\vec{E}=\frac{\gamma m c}{e} \dot{\mu} \hat{h}\)

    \[\vec{B}=\frac{-\gamma m c}{e} \dot{\phi} \hat{u}\label{12}\]

    Equations \ref{8} and \ref{9} reduce to the Lorentz force equations.

    Let us consider now an infinitesimal Lorentz transformation generated by

    \[V=1+\frac{\mu}{2} \hat{h} \cdot \vec{\sigma}-\frac{i \phi}{2} \hat{u} \cdot \vec{\sigma}\label{13}\]

    \[=1+\frac{e d t}{2 \gamma m c}(\vec{E}+i \vec{B}) \cdot \vec{\sigma}\label{14}\]

    \[=1+\frac{e d t}{2 \gamma m c} F\label{15}\]

    with

    \[\vec{f}=\vec{E}+i \vec{B}, \quad F=\vec{f} \cdot \vec{\sigma}\label{16}\]

    It is apparent from Equations \ref{15} and \ref{16} that the transformation properties of V and F are identical. Since the transformation of V has been obtained already in Section 3.4.4, we can write down at once that of the field \(\vec{f}\)

    Let us express the passive Lorentz transformation of the four-momentum P from the inertial frame \(\Sigma \text { to } \Sigma^{\prime} \text { as }\)

    \[P^{\prime}=S P S^{\dagger}\label{17}\]

    where S is unimodular. The field matrix transforms by a similarity transformation:

    \[F^{\prime}=S F S^{-1}\label{18}\]

    with the complex reflections (contragradient entities) transforming as

    \[\bar{P}^{\prime}=\bar{S} \bar{P} \bar{S}^{-1}\label{19}\]

    \[\bar{F}^{\prime}=\bar{S} \bar{F} \bar{S}^{\dagger}\label{20}\]

    For

    \[S=H=\exp \left(-\frac{\mu}{2} \hat{h} \cdot \vec{\sigma}\right)\label{21}\]

    we obtain the passive Lorentz transformation for a frame \(\Sigma_{2} \text { moving with respect to } \Sigma_{1}\), with-the velocity

    \[\vec{v}=c \hat{h} \tanh \mu\label{22}\]

    \[F^{\prime}=H F H^{-1}\label{23}\]

    We extract from here the standard expressions by using the familiar decomposition

    \[\vec{f}=\vec{f}_{\|}+\vec{f}_{\perp}=(\vec{f} \cdot \hat{h}) \hat{h}\label{24}\]

    we get

    \[\vec{f}_{\|}^{\prime}=\vec{f}_{\|}\label{25}\]

    \[\overrightarrow{f_{\perp}} \cdot \vec{\sigma}=H\left(\overrightarrow{f_{\perp}} \cdot \vec{\sigma}\right) H^{-1}=H^{2}\left(\overrightarrow{f_{\perp}} \cdot \vec{\sigma}\right)\label{26}\]

    \[=(\cosh \mu-\sinh \mu \hat{h} \cdot \vec{\sigma}) \vec{f}_{\perp} \cdot \vec{\sigma}\label{27}\]

    Hence

    \[\vec{f}_{\perp}^{\prime}=\vec{f}_{\perp} \cosh \mu+i \sinh \mu \hat{h} \times \overrightarrow{f_{\perp}}\label{28}\]

    \[=\cosh \mu\left(\vec{f}_{\perp}+i \tanh \mu \hat{h} \times \vec{f}_{\perp}\right)\label{29}\]

    \[=\gamma\left(\overrightarrow{f_{\perp}}+i \frac{\vec{v}}{c} \times \overrightarrow{f_{\perp}}\right)\label{30}\]

    where we used Equation \ref{22}. Inserting from Equation \ref{16} we get

    \(\vec{E}_{\perp}^{\prime}=\gamma\left(\vec{E}_{\perp}+\frac{\vec{v}}{c} \times \vec{B}_{\perp}\right)\)

    \[\vec{B}_{\perp}^{\prime}=\gamma\left(\vec{B}_{\perp}-\frac{\vec{v}}{c} \times \vec{E}_{\perp}\right)\label{31}\]

    \(\vec{E}_{\|}^{\prime}=\vec{E}_{\|}, \quad \vec{B}_{\|}^{\prime}=\vec{B}_{\|}\)

    It is interesting to compare the two compact forms \ref{18} and \ref{31}. Whereas the latter may be the most convenient for solving specific problems, the former will be the best stepping stone for the deepening of the theory. The only Lorentz invariant of the field is the determinant, which we write for convenience with the negative sign:

    \[-|F|=\frac{1}{2} T r F^{2}=\vec{f}^{2}=\vec{E}^{2}-\vec{B}^{2}+2 i \vec{E} \cdot \vec{B}=g^{2} e^{2} \Psi\label{32}\]

    Hence we obtain the well know invariants

    \[I_{1}=\vec{E}^{2}-\vec{B}^{2}=g^{2} \cos 2 \psi\label{33}\]

    \(I_{2}=2 \vec{E} \cdot \vec{B}=g^{2} \sin 2 \psi\)

    We distinguish two cases

    1. \(\overrightarrow{f^{2}} \neq 0\)

    2. \(\overrightarrow{f^{2}}=0\)

    These cases can be associated with the similarity classes of Table 3.2. In the case (i) \(F\) is unimodular axial, for (ii) it is nonaxial singular. (Since F is traceless, the two other entries in the table do not apply.) We first dispose of case (ii). A field having this Lorentz invariant property is called a null-field. The F matrix generates an exceptional Lorentz transformation (Section 3.4.4). In this field configuration \(\vec{E} \text { and } \vec{B}\) are perpendicular and are of equal size. This is a relativistically invariant property that is characteriestic of plane waves to be discussed in Section 4.2.

    In the “normal” case (i) it is possible to find a canonical Lorentz frame, in which the electric and the magnetic fields are along the same line, they are parallel, or antiparallel. The Lorentz screw corresponds to a Maxwell wrench. It is specified by a unit vector \(\hat{s} n\) and the values of the fields in the canonical frame \(E_{c a n} \text { and } B_{c a n}\). The wrench may degenerate can can with \(E_{c a n}=0\), or \(B_{c a n}=0\). The canonical frame is not unique, since a Lorentz transformation along \(\hat{n}\) leaves the canonical fields invariant.

    We can evaluate the invariant eqn:iii-8-18ab in the canonical frame and obtain

    \[E_{\text {can }}^{2}-B_{\text {can }}^{2}=I_{1}=g^{2} \cos 2 \psi\label{34}\]

    \[2 E_{\text {can }} B_{\text {can }}=I_{2}=g^{2} \sin 2 \psi\label{35}\]

    One obtains from here

    \[E_{c a n}=g \cos \psi\label{36}\]

    \[B_{c a n}=g \sin \psi\label{37}\]

    The invariant character of the field is determined by the ratio

    \[\frac{B_{c a n}}{E_{c a n}}=\tan \psi\label{38}\]

    that has been called its pitch by Synge (op. cit. p. 333) who discussed the problem of canonical frames of the electromagnetic field with the standard tensorial method.

    The definition of pitch in problem #8 is the reciprocal to the one here given and should be changed to agree with Eq. (\ref{20})


    This page titled 4.1: Lorentz transformation and Lorentz force is shared under a CC BY-NC-SA license and was authored, remixed, and/or curated by László Tisza (MIT OpenCourseWare) .