# Lorentz transformations

## Basics of Special Relativity

### Postulates

1. The laws of physics are the same in all inertial reference frames.
2. The speed of light is constant in all reference frames.

### Thought experiments

#### Time dilation

Imagine you are on a train and sending a pulse of light vertically from the floor to the ceiling. The pulse bounces off the ceiling and returns to you. The pulse travels at the speed of light, c, and the time it takes to return to you is 2t0. So the light pulse travels a total distance of 2ct0.

Meanwhile, there is another observer on the train platform who sees the train traveling by him with a speed v. From his perspective, the light pulse does not travel vertically. Instead, it moves horizontally as well. Call the time that this observer measures for the pulse to travel to the ceiling and back 2t. Then, when the light pulse has returned to the floor of the train, the observer on the platform measures a horizontal displacement of 2vt, since this is the distance the train has moved. The path of the light pulse will be diagonal from his perspective – diagonally up and then diagonally down. Since the speed of light is the same for all observers, he will measure that the pulse has traveled a distance of 2ct.

The two diagonal paths together with the horizontal displacement form a triangle. Let’s split this triangle into two right triangles by drawing a vertical line through the center. The length of the vertical line is ct0. Each of the two right triangles will have a horizontal side of length vt and hypotenuse ct. Use the Pythagorean theorem to relate the sides, i.e., (ct)2 = (vt)2 + (ct0)2. We can rearrange this to get

$t = t_0 \gamma , \,\!$

where

$\gamma \equiv \frac{1}{\sqrt {1 - (v/c)^2}} . \,\!$

We call t0 the proper time. It is the time between two events in the reference frame in which the events occur at the same spatial location. In any other reference frame, the elapsed time will be longer. In our case, the two events are the sending and receiving of the light pulse.

The take-away point is that time appears to be progressing slower for moving objects.

#### Length contraction

Suppose the length of the train car is $\ell _0$ at rest. This is the length that the observer on the train would measure. Suppose there is an observer on the platform. He is standing still on the platform letting the train pass by him, and he records the time at which the front of the train car passes him and the time at which the back of the train car passes him. Since these two events occur at the same spatial location in the reference frame of the platform, we will use t0 to denote the time between the passing of the front and back of the train car. So t0 is not the same as in the section on time dilation. Then the observer on the platform would infer that the length of the train car is $\ell = v t_0$. In the meantime, the observer on the train would measure a time difference of $t = \ell _0 / v$.

Now we can use the time-dilation formula to relate t and t0. Then we can relate $\ell$ and $\ell _0$ as

$\ell = \frac{\ell _0}{\gamma } . \,\!$

It’s easy to be confused by this logic. The proper length, $\ell _0$, is measured in the reference frame of the train, but the proper time, t0, is measured in the reference frame of the platform. The proper length is the length measured in the frame in which the object is at rest. The proper time is the time between two events in the frame in which those events occur at the same spatial location.

The take-away point is that moving objects contract along the direction of motion.

### Units (c = 1)

When dealing with relativistic systems on a theoretical level, it is often useful to set c = 1. Most people find this totally ridiculous at first, but gradually they understand the legitimacy and the usefulness of this choice. This is standard practice in the general-relativity and particle-physics communities. It is such a common choice that virtually all papers in these fields do not even bother to state it. It is mostly only in textbooks that the choice is clearly stated, and usually this is done very early on. For instance, Sean Carroll sets c = 1 on page 8 of Spacetime and Geometry. Steven Weinberg sets c = 1 in the preface of Gravitation and Cosmology. In An Introduction to Quantum Field Theory, Peskin and Schroeder set c = 1 between the preface and the editor’s forward. And so on...

When we set c = 1, we are just saying that $3 \times 10^{10} \, \mathrm{cm} = 1 \, \mathrm{s}$. Distance and time can be measured in the same units. You can measure distance in seconds, and you can measure time in centimeters. If you don’t want your distances in seconds, then you can always convert to centimeters by multiplying by $3 \times 10^{10}$.

If you are ever given an expression in which c has ben set to 1, you can always restore the factors of c by requiring the units to come out the way you want. For example, we might write E = m, where E is an energy and m is a mass. If you want energy to be measured in ergs and mass to be measured in grams, then there is only one way to restore the factors of c, i.e., E = mc2. On the other hand, if you’re content to measure both energy and mass in, for example, MeV, then you don’t need to restore any factors of c at all. This is why people often quote the masses of fundamental particles in MeV or GeV. Sometimes they go halfway toward restoring the factors of c by quoting masses in MeV / c2.

The theoretical advantage – besides simplifying expressions – is that time and space are put on the same footing. The Lorentz transformation is seen as a rotation of time and space into each other. Since we now have E = m instead of E = mc2, mass is now viewed as a form of energy. Momentum will also now have the same units as energy, so we see that momentum is yet another form of energy. Instead of E2 = m2c4 + p2c2, we now have E2 = m2 + p2. This is simpler, easier to remember and clearly shows that mass and momentum are the contributions to the energy of a free particle. The factors of c in the first expression only serve to get the units right. They don’t contain any theoretical significance. Additionally, velocities will now be dimensionless and always less than or equal to 1. This gives us a dimensionless parameter to measure how relativistic a particle is or to Taylor-expand in – higher powers of v will be less and less significant. This takes the place of the parameter β = v / c that is sometimes used in special relativity.

If you ever want to take the Newtonian limit of a relativistic expression, then it is a good idea to restore all factors of c. In the Newtonian limit, $c \to \infty$. This makes no sense at all if c = 1. Often, however, the $c \to \infty$ limit is equivalent to the $v \ll 1$ limit, so it’s not always necessary to restore the factors of c. Just be careful.

In particle physics, it is typical to also set $\hbar = 1$. In the classical limit, $\hbar \to 0$, so you will also sometimes see particle physicists restore and Taylor-expand in factors of $\hbar$ when they are interested in classical or semi-classical limits.

You cannot set every constant equal to unity. If your system of units has n units, then you can set n constants to unity as long as they are linearly independent in their dimensions. This ensures that there is a unique way of restoring all of these constants. In cgs units, it is typical to take $c = \hbar = 1$. Depending on the problem, you have the freedom to set some other prominent constant to unity. If Kelvin is included, it is common to set k = 1.

## Lorentz transformations

We can use the time-dilation and length-contraction thought experiments to derive the coordinate transformations between two frames traveling at a constant velocity with respect to each other. This is not the only type of Lorentz transformation. Typically, spatial rotations are also considered to be Lorentz transformations. Since spatial rotations are exactly the same in both the Einsteinian and Newtonian formulations, we will focus on Lorentz boosts, i.e., transformations to frames traveling at some constant velocity with respect to the original frame.

Let S be the stationary reference frame and $S^\prime$ be the frame moving with velocity v which, without loss of generality, we can take to be along the x-axis. Unprimed coordinates refer to S; primed coordinates refer to $S^\prime$.

Without loss of generality, assume the origins of the two coordinate systems coincide at $t = t^\prime = 0$. When this is not the case, it will only introduce an overall offset. So we can always translate our coordinate system to make it the case that the origins coincide at t = 0.

Suppose there is a train car of length $\ell$ traveling with the $S^\prime$ frame. The back of the car is at x = 0 at t = 0 and is always at $x^\prime = 0$. The trajectory of the front of the car is $x = \ell + v t$. This is just one-dimensional inertial motion with the initial condition $x(0) = \ell$. But in $S^\prime$, the car is at rest and, therefore, its length is larger, i.e., $\ell ^\prime = \ell \gamma$ using the length-contraction formula. In $S^\prime$, the front of the car is not moving, so its trajectory is given by $x^\prime = \ell ^\prime = \ell \gamma$. Then we can substitue $\ell = x^\prime / \gamma$ in the expression for x(t), the trajectory in S. We can rearrange the terms to get

$x^\prime = \gamma ( x - v t ) . \,\!$

We can use the same logic to get a transformation from $S^\prime$ to S, but this time the velocity will be pointing in the opposite direction, i.e., $v \to - v$. So we have $x = \gamma ( x^\prime + v t^\prime )$. We can combine the two results to get an expression for $t^\prime$ in terms of x and t. Using the definition of γ, this turns out to be

$t^\prime = \gamma ( t - v x/c^2 ) . \,\!$

The expressions for $x^\prime$ and $t^\prime$ are a good example of the usefulness of setting c = 1. Notice that the expressions are symmetric under an exchange of space and time, i.e., $x \leftrightarrow t$ and $x^\prime \leftrightarrow t^\prime$. Not only is this easier to remember, but it also emphasizes the idea that time and space are part of the same geometry in relativity. The Lorentz boost can be thought of as a rotation of time and space into each other.

The y- and z-coordinates are not affected by this transformation, so

$y^\prime = y \,\!$

and

$z^\prime = z . \,\!$

The train car was only used to give us a spacetime point to follow. These transformations are general coordinate transformations. In particular, if a particle trajectory is given by x, y, z and t in S, then the trajectory is given by $x^\prime$, $y^\prime$, $z^\prime$ and $t^\prime$ in the $S^\prime$ frame.

What if the velocity boost is not along the x-axis? Don’t make your life more difficult than it has to be. Just rotate your spatial coordinates so that the boost is along the x-axis. You can use similar tricks to always reduce the Lorentz boost to the form above. If the origins of the two coordinate systems do not coincide, then translate one or both of the coordinate systems to make it so. Remember that you can translate the coordinate system in both space and time.

### Velocity transformations

We can use the differential form of the Lorentz transformations to see how velocities transform. In differential form, the Lorentz transformations are

$dx^\prime = \gamma ( dx - v dt ) , \,\!$
$dt^\prime = \gamma ( dt - v dx ) , \,\!$
$dy^\prime = dy , \,\!$

and

$dz^\prime = dz . \,\!$

We can define the components of the velocity vector of a particle in S by

$v_ x \equiv \frac{dx}{dt} , \,\!$
$v_ y \equiv \frac{dy}{dt} , \,\!$
$v_ z \equiv \frac{dz}{dt} \,\!$

and likewise for the primed coordinates in $S^\prime$. With these definitions and a few algebraic manipulations we find

$v_ x^\prime = \frac{ v_ x - v }{1 - v_ x v} , \,\!$
$v_ y^\prime = \frac{v_ y}{\gamma ( 1 - v_ x v )} \,\!$

and

$v_ z^\prime = \frac{v_ z}{\gamma ( 1 - v_ x v )} . \,\!$

These are the velocity-transformation formulae.

### Relativistic Aberration and Beaming

The velocity transformations can used to derive two important results for radiation: the apparent change in emission direction from a moving source, which in turn leads to relativistic beaming.

#### Relativistic Aberration of Light

Imagine a spaceship moving with (relativistic) velocity β with respect to the lab frame. One of the crew points a laser out the window at an angle $\theta ^\prime$ from the velocity vector (in the ship’s rest frame). We want to know the angle θ, between the ship’s velocity and the direction of the laser beam in the lab frame.

Since we are dealing with light, we know the magnitude of the velocity in both frames must be $v = v^\prime = c = 1$. For convenience, let the velocity of the spaceship be in the positive x direction, and let the laser beam lie in the x-y plane. Then,

\begin{align} v^\prime _ x & = \cos \left(\theta ^\prime \right) \\ v^\prime _ y & = \sin \left(\theta ^\prime \right) \end{align}\,\!

and similarly for the lab frame. We can plug these into the velocity transformations, yielding

\begin{align} \cos \left(\theta ^\prime \right) & = \frac{\cos \left(\theta \right) - \beta }{1 - \beta \cos \left(\theta \right)} \\ \sin \left(\theta ^\prime \right) & = \frac{\sin \left(\theta \right)}{\gamma \left(1 - \beta \cos \left(\theta \right)\right)} \end{align}\,\!

These two equations tell us how the angle of a light beam changes under a Lorentz transform.

#### Relativistic Beaming

Now, instead of a spaceship, imagine an isotropic emitter, such as a star. What does its radiation pattern look like in the lab frame? Let’s discuss this semi-qualitatively first. $\theta ^\prime = \frac{\pi }{2}$ splits the emitted power in half: one half going towards the direction of motion, one half going the opposite direction. If we examine the transformation for $\cos \left(\theta ^\prime \right)$, we can see that when $\theta ^\prime = \frac{\pi }{2}$, $\cos \left(\theta \right) = \beta$. So, as β increases, the “front half” of the power gets pushed into an increasingly small clone centered on the star’s velocity vector. That is, most of the light is pushed towards the front of the star. This is the relativistic beaming effect.

We can write down an analytic form for the relativistic beaming by examining a small patch of solid angle $d\Omega ^\prime$ at $(\theta ^\prime , \phi ^\prime )$, and see how it transforms to the lab frame.

dΩ = sin(θ)dθdφ as usual. For convenience, let’s define $\mu \equiv cos(\theta )$. Then,

$d\Omega = d\mu d\phi \,\!$

and the relativistic aberration equation becomes:

$\mu ^\prime = \frac{\mu - \beta }{1 - \beta \mu } \,\!$

Differentiating both sides yields

$d\mu ^\prime = \frac{1 - \beta ^2}{\left(1 - \beta \mu \right)^2}\, d\mu \,\!$

Inserting this back into the infinitesimal solid angle element gives

$d\Omega ^\prime = \frac{1 - \beta ^2}{\left(1 - \beta \mu \right)^2}\, d\mu \, d\phi ^\prime \,\!$

but, $d\phi = d\phi ^\prime$, giving us our final result:

$d\Omega ^\prime = \frac{1 - \beta ^2}{\left(1 - \beta \cos \left(\theta \right)\right)^2}\, d\Omega \,\!$

A source that has an istropic emission in its rest frame $I^\prime _\nu \left(\theta ^\prime , \phi ^\prime \right) = \mathrm{const.}$ leads to emission in the lab frame:

\begin{align} I_\nu & = \frac{d\Omega ^\prime }{d\Omega } I^\prime _\nu \\ I_\nu & = \frac{1 - \beta ^2}{\left(1 - \beta \cos \left(\theta \right)\right)^2} I^\prime _\nu \end{align}\,\!

Note that the total power emitted is conserved; it is simply remapped over the sphere.

### Four-vectors

It is often convenient to set relativistic phenomena in a 4-dimensional spacetime. We will number the dimensions of this spacetime 0, 1, 2 and 3. The 0th component is time, and the rest are the spatial components. Then the spacetime location of a particle can be described by a 4-component object called a four-vector. We will use x to represent the four-vector of a particle. Note that x no longer represents position along the x-axis. The components of x are denoted by xμ, where μ is meant to be an index, not an exponent. Typically, Greek indices are used when the index can take on any value from 0 to 3. Latin indices are used when the index can only take on values from 1 to 3. This is a very standard convention.

When the index is raised, xμ is said to be contravariant. We can also define the covariant four-vector xμ for which x0 = − x0 and xi = xi.

Usually we define a four-vector to be any object x that satisfies the condition that $\sum \limits _{\mu = 0}^3 x^\mu x_\mu$ is invariant under Lorentz transformations. Note that a four-vector need not represent location in spacetime.

#### Einstein summation convention

We will often want to sum over the indices of four-vectors. Albert found it tiresome to have to write down so many capital sigmas, so he invented a convention for summing over indices. According to this convention

$x^\mu y_\mu = \sum \limits _ i x^\mu y_\mu . \,\!$

The essence of the convention is that repeated indices are summed over. This is also a very standard convention.

#### Minkowski metric

It is useful to define a 2-index tensor ημν called the Minkowski metric. This tensor can be thought of as a matrix with

$\eta _{00} = -1 ,\,\!$
$\eta _{ii} = 1 \,\!$

and

$\eta _{\mu \nu } = 0 \,\!$

when $\mu \not= \nu$. So, as a matrix, ημν is diagonal.

We can use the Minkowski metric to write covariant four-vectors in terms of contravariant four-vectors, i.e.,

$x_\mu = \eta _{\mu \nu } x^\nu . \,\!$

We can also raise and lower indices on tensors with multiple indices, e.g., $T^\mu _{\, \, \, \, \nu } = \eta ^{\mu \sigma } T_{\sigma \nu }$.

Different authors use different conventions for the Minkowski metric. Our definition is common among general relativists. Among particle physicists, it is common to take η00 = + 1 and ηii = − 1. This only amounts to flipping the sign on various expressions. Be sure you know which convention you are using.

#### Lorentz scalar

We can define the product of two four-vectors to be xμyμ. This quantity is sometimes called an inner product (although it can be negative when x = y which violates the conventional definition among mathematicians of an inner product). We are extremely interested in these kinds of products, because they are conserved under Lorentz transformations. Using the formulae for the Lorentz transformations, you can compute the components of $(x^\prime )^\mu$ and $(y^\prime )^\mu$ in terms of the components of xμ and yμ. Then you can evaluate $(x^\prime )^\mu (y^\prime )_\mu$. You will find

$x^\mu y_\mu = (x^\prime )^\mu (y^\prime )_\mu . \,\!$

Of particular interest is the case for which xμ = yμ. Then we have

$s^2 \equiv x^\mu x_\mu = x^2 + y^2 + z^2 - t^2 , \,\!$

where s is sometimes called the invariant spacetime interval and we have briefly gone back to using x to mean the x-component of the spatial vector. The spacetime interval is conserved under all Lorentz transformations including both boosts and rotations. It is not conserved under translations. For that reason, we often talk write this equality in a differential form, i.e.,

$ds^2 = dx^2 + dy^2 + dz^2 - dt^2 . \,\!$

Differentials are conserved under translations, so this expression is now fully invariant under all coordinate transformations.

The invariant interval, s, should be thought of as the length of the four-vector. In ordinary 3-dimensional space, the length of a vector is conserved under rotations. That is why we are so interested in dot products and norms; they do not depend on the orientation of our coordinate system. A Lorentz scalar is an even more useful quantity, because it is invariant under rotations as well as velocity boosts.

We can also think of ds2 = dx2 + dy2 + dz2dt2 as a generalization of the Pythagorean theorem. The distance we travel in 3-dimensional space is given by dr2 = dx2 + dy2 + dz2. This distance is independent of the coordinate system. The distance is a physical quantity; the coordinate system is just a set of labels. When we move in spacetime, we can also define a 4-dimensional spacetime triangle whose hypotenuse is the spacetime interval. The Pythagorean theorem in our 4-dimensional spacetime is not a straightforward generalization from 3 dimensions, but it has the property that the length of the hypotenuse is completely independent the coordinate system.

In the rest frame of the particle, dxidxi = 0 and ds2 = − dt2. We can define the proper time by

$d \tau ^2 \equiv - ds^2 . \,\!$

So we could also use dτ as an invariant interval. It will only differ from ds by a minus sign.

#### Lorentz transformation as a matrix operation

With our new formalism, we can write the Lorentz transformation as a matrix acting on a vector. The Lorentz transformation will be denoted by the 2-index object $\Lambda ^\mu _{\, \, \, \, \nu }$. The transformed four-vector is given by

$(x^\prime )^\mu = \Lambda ^\mu _{\, \, \, \, \nu } x^\nu . \,\!$

This is just matrix multiplication where

$x^\mu = \left( \begin{array}{c} t \\ x \\ y \\ z \end{array} \right) \,\!$

and, for example,

$\Lambda ^\mu _{\, \, \, \, \nu } = \left( \begin{array}{cccc} \gamma & - v \gamma & 0 & 0 \\ - v \gamma & \gamma & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \end{array} \right) . \,\!$

for a boost along the x-axis. Rotations can be implemented by using the lower-right $3 \times 3$ block as a rotation matrix for a 3-dimensional vector.

The covariant transformation is given by

$x^\prime _\mu = \Lambda _\mu ^{\, \, \, \, \nu } x_\nu , \,\!$

where $\Lambda _\mu ^{\, \, \, \, \nu } = \eta _{\mu \sigma } \Lambda ^\sigma _{\, \, \, \, \kappa } \eta ^{\kappa \nu }$. We can also write the Minkowski metric as a matrix, i.e.,

$\eta ^{\mu \nu } = \eta _{\mu \nu } = \left( \begin{array}{cccc} -1& 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \end{array} \right) . \,\!$

So, when in doubt, all of these tensor manipulations can be done by simple matrix multiplication. Just make sure you’ve got the right matrix representation and that you’re multiplying the matrices in the right order.

You can either check explicitly or infer from the Lorentz invariance of xμxμ that

$\Lambda ^\mu _{\, \, \, \, \nu } \Lambda _\mu ^{\, \, \, \, \sigma } = \delta ^\sigma _\nu , \,\!$

where $\delta ^\sigma _\nu$ is called the Kronecker delta. It is basically the identity matrix in that

$x^\mu = \delta ^\mu _\nu x^\nu . \,\!$

Raising and lowering indices on the Kronecker delta has no real significance. The order of the indices also doesn’t matter.

#### Four-velocity

We define the four-velocity as

$U^\mu \equiv \frac{dx^\mu }{d \tau } . \,\!$

Since dτ and dxμdxμ are Lorentz scalars, the four-velocity is also a four-vector, i.e., UμUμ is Lorentz invariant. The 0th component of Uμ does not have an intuitive interpretation. The spatial components of Uμ are not quite the same as the real velocity which would be dxi / dt. Only in the non-relativistic limit, when $d \tau \simeq dt$, do the spatial components of Uμ begin to approximate the real velocity.

Using dτ = dt / γ(v), where v is the real velocity of the particle, we can express the four-velocity as

$U^\mu = \gamma (v) (1,\mathbf{v}) , \,\!$

where $\mathbf{v}$ is the 3-dimensional real velocity vector. In particular, Uμ = (1,0,0,0) in the particle’s rest frame which means that

$U^\mu U_\mu = -1 . \,\!$

#### Four-acceleration

The four-acceleration is defined as

$a^\mu \equiv \frac{U^\mu }{d \tau } . \,\!$

By the same arguments given in the section on four-velocity, aμ is also a four-vector. Again, the spatial components approximate the real acceleration, d2xi / dt2, only in the non-relativistic limit.

Interstingly, the four-acceleration is always orthogonal to the four-velocity, i.e., $a^\mu U_\mu = \frac{dU^\mu }{ d \tau } U_\mu = \frac{1}{2} \frac{d}{d \tau } (U^\mu U_\mu ) = \frac{1}{2} \frac{d(-1)}{d \tau } = 0$.

## Energy and momentum

We will have to define what we mean by energy and momentum in special relativity. We will try to choose definitions that reduce to the well-known Newtonian expressions in the non-relativistic limit.

### Four-momentum

We define the four-momentum as

$p^\mu \equiv m U^\mu , \,\!$

where m is the mass of the particle. Sometimes people define mass so that it actually changes from one reference frame to another. That is where the term “rest mass” comes from, i.e., the mass measured in the rest frame of the particle. We are not going to take that approach. For us, the mass is a Lorentz scalar.

We will define the energy to be

$E \equiv p^0 \,\!$

and the momentum to be the spatial part of pμ. Using $U^\mu = \gamma (v) (1,\mathbf{v})$, we find that

$E = m \gamma \,\!$

and

$p^ i = m v^ i \gamma . \,\!$

In the particle’s rest frame, we have E = m, which is just E = mc2 with c = 1. So we have discovered that mass is the rest energy of a particle.

Since Uμ is a four-vector and pμ is just proportional to Uμ, we can conclude that pμ is also a four-vector. In particular, we have $p^\mu p_\mu = |\mathbf{p}|^2 - E^2$. In the rest frame, we have pμpμ = m2. So we have just found that $|\mathbf{p}|^2 - E^2 = m^2$ which can be rearranged to read

$E^2 = |\mathbf{p}|^2 + m^2 . \,\!$

#### Non-relativistic limit

We were free to define energy and momentum however we liked, but it would be nice if those definitions were reasonable in the sense that they reduce to Newtonian energy and momentum in the non-relativistic limit. Our expression for energy was $E = m \gamma = m / \sqrt {1 - v^2}$. The non-relativistic limit is the $v \ll 1$ limit. We can expand our expression for E to second order in v to get

$E \simeq m c^2 + \frac{1}{2} m v^2 , \,\!$

where the factors of c have been restored since we are now in a pseudo-Newtonian regime. The energy looks like the usual kinetic energy for a non-relativistic particle but with some extra constant offset. This offset is not physical in Newtonian physics; only energy differences are relevant. In the fully Newtonian limit, $c \to \infty$ and the energy offset is infinite. That’s why it’s good to pause the $c \to \infty$ limit at this point and redefine the zero of our energy scale so that E = mv2 / 2.

Expanding pi = mviγ to second order in v gives

$p^ i \simeq m v^ i , \,\!$

which is the usual non-relativistic expression for momentum. There are no factors of c to restore in this expression.

So it looks like our definitions of relativistic energy and momentum were reasonable after all.

This section is based on Rybicki and Lightman’s treatment in Section 4.8.

We want to generalize the Larmor formula for dipole radiation to particles moving at relativistic speeds. Assuming we’ve already derived the dipole formula for non-relativistic motion, a good starting point is a frame in which the particle is moving, at least momentarily, at speeds which are small compared to the speed of light. So let’s start in the instantaneous rest frame of the particle. We can form a four-momentum representing the sum of all the four-momenta of all the photons emitted. In some small time interval dt, the particle emits an energy dE. This radiation is not emitted isotropically, but there is no net flux of momentum. For any given direction, the same amount of radiation is emitted in the opposite direction. The spatial components of the four-momentum of the radiation vanish, i.e., dpi = 0. So if we transform to another frame, we will have $dE^\prime = \gamma dE$. At the same time, $dt^\prime = \gamma dt$, since the unprimed frame is the one in which the particle is instantaneously at rest. Then the emitted power is

$P = \frac{dE}{dt} = \frac{E^\prime }{dt^\prime } = P^\prime . \,\!$

The factors of γ cancel, and we find that the power is the same in both reference frames. But we could have transformed to any reference frame. So we have just proved that the radiated power is a Lorentz scalar so long as there is no net flux of momentum in the particle’s rest frame.

In particular, we can apply this result to the Larmor formula for dipole radiation:

$P = \frac{2}{3} q^2 |\mathbf{a}|^2 , \,\!$

where $|\mathbf{a}|$ is the real 3-dimensional acceleration. This is definitely valid in the instantaneous rest frame of the particle where the speeds are very small compared with the speed of light. But this expression is not Lorentz invariant, since it depends on aiai instead of aμaμ. Because we are in the instantaneous rest frame of the particle, Ui = 0 and U0 = 1. At the same time, recall that aμUμ = 0 always. Since $U^0 \not= 0$, we must have a0 = 0. But then aμaμ = aiai. Then we can replace $|\mathbf{a}|^2$ in the Larmor formula with aμaμ to get

$P = \frac{2}{3} q^2 a^\mu a_\mu . \,\!$

All of the factors in this expression are Lorentz invariant, so this is a Lorentz invariant formula for the total power emitted by an accelerating charge.

In non-covariant form, this can be expressed as

$P = \frac{2}{3} q^2 \gamma ^6 \left[\dot{\vec{\beta }}^2 - \left(\vec{\beta } \times \dot{\vec{\beta }}\right)^2\right] = \frac{2}{3}q^2\left(a_\parallel ^2 \gamma ^6 + a_\bot ^2 \gamma ^4\right) \,\!$

where $\vec{a}_\parallel$ represents the component of acceleration parallel to the velocity, and $\vec{a}_\bot$ represents that perpendicular to the velocity, as seen in the lab frame. The case in which the total $\vec{a}$ is entirely perpendicular to velocity (i.e. $\vec{a}_\parallel = 0$) gives rise to synchotron radiation.

## Relativistic electrodynamics

The Maxwell Equations are Lorentz invariant. Unfortunately, the most familiar form of Maxwell’s equations ($\nabla \cdot \mathbf{E} = 4 \pi \rho$, etc.) does not make the Lorentz invariance manifest. But we can define a few tensors and rewrite Maxwell’s equation in a manifestly Lorentz invariant form.

First we define the four-current as

$j^\mu = (\rho , \mathbf{j}) , \,\!$

where ρ is the charge density and $\mathbf{j}$ is the 3-dimensional current. Then the continuity equation can be written as

$\partial _\mu j^\mu = \dot{\rho } + \nabla \cdot \mathbf{j} = 0 , \,\!$

where $\partial _\mu = \frac{\partial }{\partial x^\mu }$. So already we’ve been able to write the continuity equation in a manifestly Lorentz invariant form.

Now let’s define the four-potential as

$A^\mu = (\phi , \mathbf{A}) , \,\!$

where φ is the scalar potential and $\mathbf{A}$ is the vector potential. We want to work in the Lorenz gauge for which the condition is

$\partial _\mu A^\mu = 0 . \,\!$

This is a good gauge for us, because it will allow us to write the equations of motions for Aμ in a manifestly Lorentz invariant form. The Lorenz gauge actually originated with a physicist whose last name was Lorenz (not a typo), but unfortunately for him, Hendrik Lorentz became much more famous and the Lorenz gauge turns out to be associated with Lorentz invariance. In this gauge, the equations of motion are

$\partial ^\nu \partial _\nu A^\mu = - 4 \pi j^\mu . \,\!$

Note that $\partial ^\nu \partial _\nu = \Box$ is the d’Alembertian operator.

Now we can define the field-strength tensor as

$F_{\mu \nu } = \partial _\mu A_\nu - \partial _\nu A_\mu . \,\!$

Notice that Fμν is antisymmetric in its indices, i.e., Fμν = − Fνμ. Using this definition of the field-strength tensor we can write

$\partial _\sigma F_{\mu \nu } + \partial _\mu F_{\nu \sigma } + \partial _\nu F_{\sigma \mu } = 0 . \,\!$

Using the gauge condition, the equations of motion can be written in terms of Fμν as

$\partial _\nu F^{\mu \nu } = 4 \pi j^\mu . \,\!$

The previous two equations are Lorentz invariant and equivalent to the conventional form of Maxwell’s equations.

Now let’s try to recover the Maxwell’s equations for the electric and magnetic fields. This will be a backwards argument, since we defined the potentials through the electric and magnetic fields and the field-strength tensor through the four-potential. That is, we shouldn’t be at all surprised to see the familiar form of Maxwell’s equations emerge from this formalism. Recall that $\mathbf{E} = - \nabla \phi - \dot{\mathbf{A}}$ and $\mathbf{B} = \nabla \times \mathbf{A}$. Then $E_ i = \partial _ i A_0 - \partial _0 A_ i = F_{0i}$ and $B_ i = \epsilon _{ijk} \partial _ j A_ k$, where εijk is the Levi-Civita symbol. So Bi = Fjk when ijk is an even permutation of 123, and Bi = − Fjk when ijk is an odd permutation. As a matrix, Fμν can be written as

$F_{\mu \nu } = \left( \begin{array}{cccc} 0 & -E_ x & -E_ y & -E_ z \\ E_ x & 0 & B_ z & -B_ y \\ E_ y & -B_ z & 0 & B_ x \\ E_ z & B_ y & -B_ x & 0 \end{array} \right) . \,\!$

Now that we’ve related the field-strength tensor to the electric and magnetic fields, we can rewrite our equation of motion ($\partial _\nu F^{\mu \nu } = 4 \pi j^\mu$) in terms of E and B. We find that this equation of motion is equivalent to the two inhomogeneous Maxwell’s equations:

$\nabla \cdot \mathbf{E} = 4 \pi \rho \,\!$

and

$\nabla \times \mathbf{B} = 4 \pi \mathbf{j} + \dot{\mathbf{E}} . \,\!$

We can use $\partial _\sigma F_{\mu \nu } + \partial _\mu F_{\nu \sigma } + \partial _\nu F_{\sigma \mu } = 0$ to recover the two homogeneous Maxwell’s equations:

$\nabla \cdot \mathbf{B} = 0 \,\!$

and

$\nabla \times \mathbf{E} = - \dot{\mathbf{B}} . \,\!$

So we have shown that Maxwell’s equations need only be written in terms of the field-strength tensor in order to make their Lorentz invariance manifest.

### Lorentz transformation of the electric and magnetic fields

The field-strength tensor Fμν has two covariant indices. We saw in the section on Lorentz transformations how to perform a covariant transformation. Since Fμν has two indices, we will need to perform a transformation on both. The transformation looks like

$F^\prime _{\mu \nu } = \Lambda _{\mu }^{\, \, \, \, \sigma } \Lambda _{\nu }^{\, \, \, \, \kappa } F_{\sigma \kappa } . \,\!$

This can also be evaluated using ordinary matrix multiplication. You want to be a little careful, though. You should take the transpose of $\Lambda _\nu ^{\, \, \, \, \kappa }$ and put it all the way on the right. Otherwise, you’re not performing matrix multiplication. Once you’ve done the multiplication, you can just read off the components of $F^\prime _{\mu \nu }$ to see how the fields transformed. For a boost along the x-axis,

\begin{align} E^\prime _ x & = E_ x , & B^\prime _ x & = B_ x , \end{align}\,\!
\begin{align} E^\prime _ y & = \gamma ( E_ y - v B_ z ) , & B^\prime & = \gamma ( B_ y + v E_ z ) , \end{align}\,\!
\begin{align} E^\prime _ z & = \gamma ( E_ z + v B_ y ) & \mathrm{and} & & B^\prime _ z & = \gamma ( B_ z - v E_ y ) . \end{align}\,\!

Whereas as a rotation would rotate the components of E into each other and the components of B into each other, the Lorentz boost actually rotates E into B. This also means that a Lorentz boost can create magnetic fields. Suppose we only have Ey in one frame and all other field components vanish. In a boosted frame we would pick up a non-zero Bz even though the original frame had no magnetic field at all. For this reason, people sometimes say that magnetism is merely a relativistic effect. Notice also that the fields parallel to the boost are not affected.

## External references

Rybicki and Lightman, Radiative Processes in Astrophysics, Ch. 4

Griffiths, Introduction to Electrodynamics, 3rd Ed., Chs. 10, 12

Carroll, Spacetime and Geometry, Ch. 1

Weinberg, Gravitation and Cosmology, Ch. 2

Jackson, Classical Electrodynamics, 3rd Ed., Ch. 11