Peeter Joot's (OLD) Blog.

Math, physics, perl, and programming obscurity.

PHY450H1S. Relativistic Electrodynamics Lecture 8 (Taught by Prof. Erich Poppitz). Relativistic dynamics.

Posted by peeterjoot on February 2, 2011

[Click here for a PDF of this post with nicer formatting]


Covering chapter 2 material from the text [1].

Covering a bit more of Professor Poppitz’s lecture notes: equation of motion, symmetries, and conserved quantities (energy-momentum 4 vector) from relativistic particle action.

Covering lecture notes pp. 56.1-72: comments on mass, energy, momentum, and massless particles (56.1-58); particles in external fields: Lorentz scalar field (59-62); reminder of a vector field under spatial rotations (63) and a Lorentz vector field (64-65) [Tuesday, Feb. 1]; the action for a relativistic particle in an external 4-vector field (65-66); the equation of motion of a relativistic particle in an external electromagnetic (4-vector) field (67,68,73) [Wednesday, Feb. 2]; mathematical interlude: (69-72): on 3×3 antisymmetric matrices, 3-vectors, and totally antisymmetric 3-index tensor – please read by yourselves, preferably by Wed., Feb. 2 class! (this is important, we’ll also soon need the 4-dimensional generalization)

Finishing previous arguments on action and proper velocity.

For a free particle, our action is

\begin{aligned}S &= - m c \int ds  \\ &= -m c^2 \int dt \sqrt{1 - \frac{\mathbf{v}^2}{c^2}}\end{aligned}

Our Lagrangian is

\begin{aligned}\mathcal{L} = -m c^2 \sqrt{1 - \frac{\mathbf{v}^2}{c^2}} .\end{aligned} \hspace{\stretch{1}}(2.1)

We can also make a non-relativistic velocity approximation

\begin{aligned}\mathcal{L} &= -m c^2 \sqrt{1 - \frac{\mathbf{v}^2}{c^2}} \\ &= -m c^2 \left( 1 - \frac{1}{{2}} \frac{\mathbf{v}^2}{c^2} \right) + O((\mathbf{v}^2/c^2)^2) \\ &\approx \underbrace{-m c^2 }_{constant} + \underbrace{\frac{1}{{2}} m \mathbf{v}^2 }_{\text{Classical Lagrangian for free particle}}.\end{aligned}

It is good to know that we recover the familiar Newtonian case when our velocities are small enough.

Our job is to vary the action between a pair of spacetime points

\begin{aligned}(t_a, \mathbf{x}_a) \rightarrow (t_b, \mathbf{x}_b)\end{aligned} \hspace{\stretch{1}}(2.2)

The equations of motion that result from this variation, or from the Euler-Lagrange equations that one can obtain from this variation, are

\begin{aligned}\frac{d}{dt} ( \gamma \mathbf{v}) = 0\end{aligned} \hspace{\stretch{1}}(2.3)

We argued last time, by evaluating the derivatives of 2.3, and taking dot and cross products with \mathbf{v} that we also have

\begin{aligned}\frac{d\mathbf{v}}{dt} = 0\end{aligned} \hspace{\stretch{1}}(2.4)

Observe that since d\mathbf{v}/dt = 0, we also have d\gamma/dt = 0

\begin{aligned}\frac{d\gamma}{dt} &=\frac{d}{dt} \frac{1}{{\sqrt{1 - \frac{\mathbf{v}^2}{c^2}}}} \\ &=\frac{d}{dt} \frac{1}{{\left(1 - \frac{\mathbf{v}^2}{c^2}\right)^{3/2}}} (-1/2) (2) (-\mathbf{v} \cdot \dot{\mathbf{v}}) /c^2 \\ &= 0.\end{aligned}

We can therefore combine the pair of equations (after adjusting both to have dimensions of velocity)

\begin{aligned}\frac{d}{dt} ( \gamma \mathbf{v} ) &= 0 \\ \frac{d}{dt} ( \gamma c ) &= 0,\end{aligned} \hspace{\stretch{1}}(2.5)


\begin{aligned}u^i = (u^0, \mathbf{u}).\end{aligned} \hspace{\stretch{1}}(2.7)


\begin{aligned}u^0 &= \gamma c \\ \mathbf{u} &= \gamma \mathbf{v}.\end{aligned} \hspace{\stretch{1}}(2.8)

Since we have du^i/dt = 0, pre-multiplying this by \gamma/c does not change the equation, and we have

\begin{aligned}0 = \frac{1}{{c \sqrt{1 - \frac{\mathbf{v}^2}{c^2}}}} \frac{du^i}{dt}.\end{aligned} \hspace{\stretch{1}}(2.10)

This now puts things in a nice invariant form, with no bias towards any specific observer’s time coordinates, and we have for the free particle

\begin{aligned}\frac{d u^i}{ds} = 0.\end{aligned} \hspace{\stretch{1}}(2.11)

Symmetries of spacetime translation invariance.

The symmetries of S imply conservation laws. Our action has SO(1,3) \times T^4 = Lorentz x spacetime translation \equiv Poincar\'{e} group of symmetries.

Consider quantities conserved due to T^4 factor

\begin{aligned}\mathbf{x} &\rightarrow \mathbf{x} + \mathbf{a} \qquad \mbox {where latex \mathbf{a}$ is constant} \\ t &\rightarrow t + \text{constant}\end{aligned} \hspace{\stretch{1}}(3.12)$

Observe that the Lagrangian is not a function of \mathbf{x}, or t explicitly

\begin{aligned}\mathcal{L}(\mathbf{x}, \mathbf{v}, t) = - m c \sqrt{1 - \frac{\mathbf{v}^2}{c^2}}= \mathcal{L}(\mathbf{v}) .\end{aligned} \hspace{\stretch{1}}(3.14)

A consequence from this, utilizing the Euler-Lagrange equations is that we have a zero for the time derivative of the generalized momentum {\partial {\mathcal{L}}}/{\partial {\mathbf{v}}}

\begin{aligned}\frac{d}{dt} \frac{\partial {\mathcal{L}}}{\partial {\mathbf{v}}} = \frac{\partial {\mathcal{L}}}{\partial {\mathbf{x}}} = 0,\end{aligned} \hspace{\stretch{1}}(3.15)

Let’s calculate that generalized momentum

\begin{aligned}\frac{\partial {\mathcal{L}}}{\partial {\mathbf{v}}} &=\frac{\partial {}}{\partial {\mathbf{v}}} \left(-m c^2 \sqrt{1 - \frac{\mathbf{v}^2}{c^2}} \right) \\ &=\frac{\partial {}}{\partial {\mathbf{v}}} \left( -m c^2 \frac{(1/2)(-2) \mathbf{v}/c^2}{ \sqrt{1 - \frac{\mathbf{v}^2}{c^2}} } \right) \\ &=m \frac{\mathbf{v}}{ \sqrt{1 - \frac{\mathbf{v}^2}{c^2}} } \\ \end{aligned}

So our generalized momentum is

\begin{aligned}\frac{\partial {\mathcal{L}}}{\partial {\mathbf{v}}} = m \mathbf{v} \gamma.\end{aligned} \hspace{\stretch{1}}(3.16)

Evaluating the Euler-Lagrange equations above we find

\begin{aligned}0 &= \frac{d}{dt} \left( m \gamma \mathbf{v} \right) \\ &= \frac{d}{dt} \left( m u^{1,2,3} \right) \\ \end{aligned}

Recall that u^0 = c \gamma, and that d\gamma/dt = 0, so we also have

\begin{aligned}\frac{d}{dt} \left( m u^i \right) = 0\end{aligned} \hspace{\stretch{1}}(3.17)

and again with multiplication by \gamma/c we have a Lorentz invariant relation, mostly a consequence of spacetime translation invariance

\begin{aligned}\frac{d}{ds} \left( m u^i \right) = 0.\end{aligned} \hspace{\stretch{1}}(3.18)

We define this quantity, the invariant quantity (a four vector), as the relativistic momentum

\begin{aligned}p^i = m u^i.\end{aligned} \hspace{\stretch{1}}(3.19)

A relativistic particle is characterizes by a conserved 4 vector quantity p^i with

\begin{aligned}p^0 &= m c \gamma \\ \mathbf{p} &= m \gamma \mathbf{v} \\ p^i &= (p^0, \mathbf{p})\end{aligned} \hspace{\stretch{1}}(3.20)

Time translation invariance

\begin{aligned}\mathcal{L}(\mathbf{x}, \mathbf{v}, t) = \mathcal{L}(\mathbf{v}) \end{aligned} \hspace{\stretch{1}}(4.23)

However, it helps to consider the more general case

\begin{aligned}\mathcal{L}(\mathbf{x}, \mathbf{v}, t) = \mathcal{L}(\mathbf{x}, \mathbf{v}) \end{aligned} \hspace{\stretch{1}}(4.24)

since we have no explicit time dependence.

\begin{aligned}\frac{d}{dt} \mathcal{L}(\mathbf{v}) &= \frac{\partial {\mathcal{L}}}{\partial {\mathbf{x}}} \cdot \dot{\mathbf{x}} + \frac{\partial {\mathcal{L}}}{\partial {\mathbf{v}}} \cdot \dot{\mathbf{v}} \\ &= \left( \frac{d}{dt} \frac{\partial {\mathcal{L}}}{\partial {\mathbf{v}}} \right) \cdot \mathbf{v} + \frac{\partial {\mathcal{L}}}{\partial {\mathbf{v}}} \cdot \frac{d\mathbf{v}}{dt} \\ &= \frac{d}{dt} \left( \frac{\partial {\mathcal{L}}}{\partial {\mathbf{v}}} \cdot \mathbf{v}\right)\end{aligned}

Regrouping, to pull all the derivative terms together provides the conservation identity

\begin{aligned}\frac{d}{dt} \left(\frac{\partial {\mathcal{L}}}{\partial {\mathbf{v}}} \cdot \mathbf{v} - \mathcal{L}\right) = 0.\end{aligned} \hspace{\stretch{1}}(4.25)

This quantity \frac{\partial {\mathcal{L}}}{\partial {\mathbf{v}}} \cdot \mathbf{v} - \mathcal{L} is usually identified as the Hamiltonian H, the energy, but we will call it E here.

In our case, with the relativistic free particle Lagrangian

\begin{aligned}\mathcal{L} = -m c^2 \sqrt{ 1 - \frac{\mathbf{v}^2}{c^2} },\end{aligned} \hspace{\stretch{1}}(4.26)

we have

\begin{aligned}E &= \frac{\partial {\mathcal{L}}}{\partial {\mathbf{v}}} \cdot \mathbf{v} - \mathcal{L} \\ &= \mathbf{v} \cdot \left( m \frac{1}{{\sqrt{1 - \frac{\mathbf{v}^2}{c^2}}}} \mathbf{v} \right) + m c^2 \sqrt{1 - \frac{\mathbf{v}^2}{c^2}} \\ &= \frac{m \mathbf{v}^2}{\sqrt{ 1 - \frac{\mathbf{v}^2}{c^2}}} + mc^2 \sqrt{ 1 - \frac{\mathbf{v}^2}{c^2}} \\ &= \frac{\mathbf{v}^2 + m c^2 \left(1 - \frac{\mathbf{v}^2}{c^2} \right)}{\sqrt{1 - \frac{\mathbf{v}^2}{c^2}}} \\ &= \frac{m c^2 }{\sqrt{ 1 - \frac{\mathbf{v}^2}{c^2} }}\end{aligned}

So we define, for the energy, a conserved quantity under time translation, we have

\begin{aligned}\boxed{E = \gamma m c^2 = \frac{ m c^2 }{\sqrt{1 - \frac{\mathbf{v}^2}{c^2}}}}\end{aligned} \hspace{\stretch{1}}(4.27)

It is only with the \mathbf{v} \rightarrow 0 that we recover the famous tee-shirt expression

\begin{aligned}E = m c^2.\end{aligned} \hspace{\stretch{1}}(4.28)

Since we also know (from the spacetime translation) that p^0 = m c \gamma = E/c, we get another conserved quantity for free since (p^0, \mathbf{p}) then is also a symmetry (i.e. thus a conserved quantity)

\begin{aligned}p^0 &= m \gamma c = \frac{E}{c} \\ \mathbf{p} &= m \gamma \mathbf{v}\end{aligned}

\begin{aligned}p^i = ( p^0, \mathbf{p} )\end{aligned} \hspace{\stretch{1}}(4.29)

Note that the only “mass” you ever want to talk about is “m”. This is a Lorentz scalar, and we won’t use the old notions that mass changes with velocity or “relativistic mass”.

Some properties of the four momentum.

We have

\begin{aligned}p^i p_i &= (p^0)^2 - \mathbf{p}^2 \\ &= m c^2 \gamma^2 - m^2 \gamma^2 \mathbf{v}^2 \\ &= m c^2 \gamma^2 \left( 1 - \frac{\mathbf{v}^2}{c^2} \right)  \\ &= m^2 c^2\end{aligned}

So we have

\begin{aligned}\boxed{p^i p_i = m^2 c^2}\end{aligned} \hspace{\stretch{1}}(5.30)

We say that the 4-vector p^i represents a particle with mass m.

Since four momentum is a conserved quantity we can use this conservation property to study relativistic collisions

PICTURE: two particles colliding with two particles resulting (particles trajectories as arrows)

\begin{aligned}\underbrace{p_1^i + p_2^i}_{\text{four momentum before}} = \underbrace{p_3^i + p_4^i}_{\text{four momentum after}}\end{aligned} \hspace{\stretch{1}}(5.31)

\begin{aligned}\mathbf{p} &= \frac{m \mathbf{v}}{\sqrt{ 1 - \frac{\mathbf{v}^2}{c^2} }} \rightarrow 0 \qquad \mbox{when latex m \rightarrow 0$} \\ E &= \frac{m c^2}{\sqrt{ 1 – \frac{\mathbf{v}^2}{c^2} }} \rightarrow 0 \qquad \mbox{when m \rightarrow 0}\end{aligned} \hspace{\stretch{1}}(5.32)$

except when {\left\lvert{\mathbf{v}}\right\rvert} = c, where if you take m \rightarrow 0 and {\left\lvert{\mathbf{v}}\right\rvert} = c you can get anything (any values) in such a limit (limit does not exist).

However, because

\begin{aligned}\frac{E^2}{c^2} - \mathbf{p}^2 = m^2 c^2 = 0\end{aligned} \hspace{\stretch{1}}(5.34)

when m \rightarrow 0, E and \mathbf{p} for a massless particle must obey E = c {\left\lvert{\mathbf{p}}\right\rvert}.

Massless particles like photons (and gravitons if/when eventually measured) have lightlike 4 momentum vectors

\begin{aligned}p^i p_i = 0\end{aligned} \hspace{\stretch{1}}(5.35)

Gravity waves haven’t been seen yet, but the LIGO and LISA (extremely large infraferometers) experiments are expected to get some results on this in the near future.

Where are we?

In the notes there’s a review (see that on one’s own). We’ll also want to eventually deal with the conservation laws in four vector form, since it will illustrate how the electric and magnetic fields have to be transformed. We’ll get to that eventually.


In classical mechanics we have

\begin{aligned}\mathcal{L}_\text{kinetic} = \frac{1}{{2}} m \mathbf{v}^2 \end{aligned} \hspace{\stretch{1}}(7.36)

\begin{aligned}\mathcal{L} = \frac{1}{{2}} m \mathbf{v}^2  - U(\mathbf{r})\end{aligned} \hspace{\stretch{1}}(7.37)

Here U(\mathbf{r}) is an external potential.

\begin{aligned}S = S_{\text{free}} + S_{\text{interaction}}  = \int dt \frac{1}{{2}} m \mathbf{v}^2 + \int dt (-U(\mathbf{r}, t))\end{aligned} \hspace{\stretch{1}}(7.38)

The quantity U(\mathbf{r}, t) is what we call a potential field.

What’s the simplest invariant field we can have? The simplest possibility is to have a relativistic particle which interacts with an external \underline{Lorentz scalar field}. We’d imagine that this is due to some other particle or some distribution of other fields.

Recall that the scalar field under rotations (reminder)

PICTURE: a point with coordinates in a fixed and a rotated coordinate system

That point is

\begin{aligned}P = (x, y) = (x', y')\end{aligned} \hspace{\stretch{1}}(7.39)

Similarly we can define a scalar quantity (like temperature or the Coulomb potential) is then assigned a value at each point

\begin{aligned}\phi(x, y) = \phi'(x', y')\end{aligned} \hspace{\stretch{1}}(7.40)

The value of this scalar in the x,y coordinates system at point P equals the value of this scalar in the x',y' coordinates system at the same point P.

A Lorentz scalar field is like this, but for an event P = (ct, x) = (ct', x') is the same.

So, we’d have

\begin{aligned}\phi(ct, x) = \phi'(ct', x')\end{aligned} \hspace{\stretch{1}}(7.41)

The value of this scalar in the x,ct coordinates system at event P equals the value of this scalar in the x',ct' coordinates system at the same event P in the primed frame.

Our action would then be

\begin{aligned}S = - m c \int ds + g \int ds \phi(x^i)\end{aligned} \hspace{\stretch{1}}(7.42)

Here g is a coupling constant, also called the “charge” of a particle under that scalar field.

Note that unfortunately nature hasn’t provided us with scalar fields that are stable enough to observe in classical interactions

We do however have some scalar particles

\begin{aligned}\pi^0, \pi^\pm, k^0, k^\pm\end{aligned} \hspace{\stretch{1}}(7.43)

These are unstable and short ranged.

The LHC is looking for another unstable short lived scalar field (the Higgs). So we have to unfortunately study a more complicated field, a vector field. We’ll do that next time.


[1] L.D. Landau and E.M. Lifshits. The classical theory of fields. Butterworth-Heinemann, 1980.


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: