Peeter Joot's (OLD) Blog.

Math, physics, perl, and programming obscurity.

PHY450H1S. Relativistic Electrodynamics Lecture 25 (Taught by Prof. Erich Poppitz). Second order interaction, the Darwin Lagrangian.

Posted by peeterjoot on April 1, 2011

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

Reading.

Covering chapter 8 section 65 material from the text [1].

Covering pp. 181-195: (182-189) [Tuesday, Mar. 29]; the EM potentials to order (v/c)^2 (190-193); the “Darwin Lagrangian. and Hamiltonian for a system of non-relativistic charged particles to order (v/c)^2 and its many uses in physics (194-195) [Wednesday, Mar. 30]

Next week (last topic): attempt to go to the next order (v/c)^3 – radiation damping, the limitations of classical electrodynamics, and the relevant time/length/energy scales.

Recap.

Last time we started with our relativistic Lagrangian for a single particle

\begin{aligned}\mathcal{L}_a = - m c^2 \sqrt{ 1 - \frac{\mathbf{v}_a^2}{c^2} } - \frac{q_a}{c} \frac{dx^i}{dt} A_i\end{aligned} \hspace{\stretch{1}}(2.1)

and found that to the first order in v/c we had

\begin{aligned}\mathcal{L}_a = \frac{1}{{2}} m_a \mathbf{v}_a^2 - q_a \phi(\mathbf{x}_a, t).\end{aligned} \hspace{\stretch{1}}(2.2)

Here the potential was approximated by Taylor expansion to contain just

\begin{aligned}\phi(\mathbf{x}_a, t) = \frac{1}{{2}} \sum_{a \ne b} \frac{q_b }{{\left\lvert{\mathbf{x}_a - \mathbf{x}_b}\right\rvert}}+ \frac{q_a}{``\mathbf{x}_a - \mathbf{x}_a''}.\end{aligned} \hspace{\stretch{1}}(2.3)

The second term is something that no sane person would write, and represents the infinite electrostatic self energy of a charge. This is infinite because we’ve assumed (by virtue of using a delta function for the current and charge distribution) that the charge is pointlike. The “solution” to this problem was to omit this self energy term completely, essentially treating the charge of the electron as distributed. We avoid looking specifically where it is located.

The logic here is that this does not affect the motion (i.e. The Euler Lagrange equations) for the particle, provided it is viewed from afar, with distances \gg {size of particle}.

We made an estimate of the scale for which our Lagrangian does not apply. Namely

\begin{aligned}\frac{e^2}{r_e} \sim m_e c^2,\end{aligned} \hspace{\stretch{1}}(2.4)

so we were able to conclude that the “classical radius of the electron”, something that does not really exist, was of the scale

\begin{aligned}r_e \sim \frac{e^2 }{m_e c^2} \sim 10^{-13} \text{cm}\end{aligned} \hspace{\stretch{1}}(2.5)

(We do see this quantity arise in physics, but it is not a radius in the classical sense).

If this estimate was right, we’d calculate that classical EM is value at r \gg r_e \sim 10^{-13} \text{cm}. In reality, classical electrodynamics breaks down at much larger distances.

NOTE: LHC is probing \sim 10^{-16} \text{cm}.

Our strategy here is to focus on the structure that can be observed. We don’t have a way to probe to the small scale distances where the structure of the electron is relevant, so our description avoids that small range.

FIXME: I can’t honestly say that I grasp the logic used to drop this self energy term. This was compared to the concept of mass renormalization from Quantum field theory, where if I recall correctly, certain infinities were avoided by carefully avoiding points of singularity where there was nothing observable. This is definitely something to revisit. If this shows up even in classical electrodynamics, it’s going to be even harder to understand later with the complexity of Quantum field theory tossed into the mix.

Moving on to the next order in (v/c)

Recall that we dropped terms from the original Lagrangian, which was

\begin{aligned}\mathcal{L}_a = - m c^2 \sqrt{ 1 - \frac{\mathbf{v}_a^2}{c^2}} - q_a \phi(\mathbf{x}_a, t) + q_a \frac{\mathbf{v}_a}{c} \cdot \mathbf{A}(\mathbf{x}_a, t).\end{aligned} \hspace{\stretch{1}}(3.6)

To the next order, for this particle we have

\begin{aligned}\mathcal{L}_a = \frac{1}{{2}} m_a \mathbf{v}_a^2 - \frac{m_a}{8} \frac{\mathbf{v}_a^4}{c^2} - q_a \phi(\mathbf{x}_a, t) + q_a \frac{\mathbf{v}_a}{c} \cdot \mathbf{A}(\mathbf{x}_a, t)\end{aligned} \hspace{\stretch{1}}(3.7)

{Goal:} Calculate \phi(\mathbf{x}_a), \mathbf{A}(\mathbf{x}_a) due to all other particles in a \mathbf{v}/c expansion.

We write

\begin{aligned}\phi(\mathbf{x}_a, t) = \phi^{(0)}(\mathbf{x}_a, t)+\phi^{(1)}(\mathbf{x}_a, t)+\phi^{(2)}(\mathbf{x}_a, t).\end{aligned} \hspace{\stretch{1}}(3.8)

Last time we found that the zeroth order term in this approximation was

\begin{aligned}\phi^{(0)}(\mathbf{x}_a, t) = \sum_{b \ne a} \frac{q_b}{{\left\lvert{\mathbf{x}_a(t) - \mathbf{x}_b(t)}\right\rvert}},\end{aligned} \hspace{\stretch{1}}(3.9)

and we wish to calculate the next term in the expansion.

We also want to a first order approximation of the vector potential

\begin{aligned}\mathbf{A}(\mathbf{x}_a, t) = {\mathbf{A}^{(0)}(\mathbf{x}_a, t)}+\mathbf{A}^{(1)}(\mathbf{x}_a, t)+{\mathbf{A}^{(2)}(\mathbf{x}_a, t)}\end{aligned} \hspace{\stretch{1}}(3.10)

There is no zero order term and we don’t need the second order term (today).

Because

\begin{aligned}\square \mathbf{A} \sim \frac{\rho \mathbf{v}}{c}\end{aligned} \hspace{\stretch{1}}(3.11)

We know the charge and current distributions

\begin{aligned}\phi(\mathbf{x}, t) = \int d^3 \mathbf{x} \frac{\rho\left(\mathbf{x}', t - {\left\lvert{\mathbf{x} - \mathbf{x}'}\right\rvert}/c\right)}{{\left\lvert{\mathbf{x} - \mathbf{x}}\right\rvert}}\end{aligned} \hspace{\stretch{1}}(3.12)

\begin{aligned}\rho(\mathbf{x}, t) &= \sum_b q_b \delta^3 (\mathbf{x} - \mathbf{x}_b(t)) \\ \mathbf{j}(\mathbf{x}, t) &= \sum_b q_b \mathbf{v}_b(t) \delta^3 (\mathbf{x} - \mathbf{x}_b(t))\end{aligned} \hspace{\stretch{1}}(3.13)

We’ll use the fact that particles have v \ll c. The typical time where the charge distribution will change significantly is of order \frac{r_{ab}}{v} \gg \frac{r_{ab}}{c}. (Here r_ab/c is the time that it takes light to cross the interval, whereas r_ab/v is the time that it takes the particle to do the same).

In order words, in time {\left\lvert{\mathbf{x} - \mathbf{x}'}\right\rvert}/c \sim r_{ab}/c, \rho will not change much.

\begin{aligned}\rho\left(\mathbf{x}', t - {\left\lvert{\mathbf{x} - \mathbf{x}'}\right\rvert}/c\right) \approx \rho(\mathbf{x}', t) - \frac{{\left\lvert{\mathbf{x} - \mathbf{x}'}\right\rvert}}{c} \frac{\partial {}}{\partial {t}} \rho(\mathbf{x}', t) + \frac{1}{{2}} \left(\frac{{\left\lvert{\mathbf{x} - \mathbf{x}'}\right\rvert}}{c}\right)^2 \frac{\partial^2 {{}}}{\partial {{t}}^2} \rho(\mathbf{x}', t) \end{aligned} \hspace{\stretch{1}}(3.15)

\begin{aligned}\phi(\mathbf{x}, t) = \int d^3 \mathbf{x}' \frac{\rho(\mathbf{x}', t)}{{\left\lvert{\mathbf{x} - \mathbf{x}'}\right\rvert}} - \frac{\partial {}}{\partial {t}} \int d^3 \mathbf{x}' \frac{1}{{c}} \rho(\mathbf{x}', t) +\frac{1}{{2 c^2}} \int d^3 \mathbf{x} {\left\lvert{\mathbf{x} - \mathbf{x}'}\right\rvert} \frac{\partial^2 {{}}}{\partial {{t}}^2} \rho(\mathbf{x}', t) \end{aligned} \hspace{\stretch{1}}(3.16)

The second integral is the total charge \times 1/c, and doesn’t change in time. So to first order our charge density is

\begin{aligned}\rho\left(\mathbf{x}', t - {\left\lvert{\mathbf{x} - \mathbf{x}'}\right\rvert}/c\right) \approx \rho(\mathbf{x}', t) = \sum_b \frac{q_b}{{\left\lvert{\mathbf{x} - \mathbf{x}_b(t)}\right\rvert}}\end{aligned} \hspace{\stretch{1}}(3.17)

How about \mathbf{A}?

\begin{aligned}\mathbf{A}(\mathbf{x}_a, t) = {\mathbf{A}^{(0)}(\mathbf{x}_a, t)}+\mathbf{A}^{(1)}(\mathbf{x}_a, t)+{\mathbf{A}^{(2)}(\mathbf{x}_a, t)}\end{aligned} \hspace{\stretch{1}}(3.18)

\begin{aligned}A^{(1)} &= \frac{1}{{c}} \int d^3 \mathbf{x}' \frac{1}{{{\left\lvert{\mathbf{x} - \mathbf{x}'}\right\rvert}}} \mathbf{j}\left(\mathbf{x}', t - {\left\lvert{\mathbf{x} - \mathbf{x}'}\right\rvert}/c\right)  \\ &\approx \frac{1}{{c}} \int d^3 \mathbf{x}' \frac{1}{{{\left\lvert{\mathbf{x} - \mathbf{x}'}\right\rvert}}} \mathbf{j}(\mathbf{x}', t)\end{aligned}

Ah, this shows why it was written that there’s no second order term. Because \mathbf{j} \sim \mathbf{v}_a, we necessarily have \mathbf{v}_a/c dependence even in the zeroth order expansion about t=0 in our retarded time expansion of \mathbf{A}(\mathbf{x}', t_r).

Assembling all the results, we have

\begin{aligned}\mathcal{L}_a = \frac{1}{{2}} m_a \mathbf{v}_a^2 - \frac{m_a}{8} \frac{\mathbf{v}_a^4}{c^2} - q_a \phi^{(0)}(\mathbf{x}_a, t) - q_a \phi^{(2)}(\mathbf{x}_a, t) + q_a \frac{\mathbf{v}_a}{c} \cdot \mathbf{A}^{(1)}(\mathbf{x}_a, t)\end{aligned} \hspace{\stretch{1}}(3.19)

\begin{aligned}\phi^{(2)}(\mathbf{x}, t) &= \frac{\partial {}}{\partial {t}} \left( \frac{1}{{2 c^2}} \frac{\partial {}}{\partial {t}} \int d^3 \mathbf{x}' {\left\lvert{\mathbf{x} - \mathbf{x}'}\right\rvert} \rho(\mathbf{x}', t) \right) \\ &= \frac{\partial {}}{\partial {t}} \left( \frac{1}{{2 c^2}} \frac{\partial {}}{\partial {t}} \int d^3 \mathbf{x}' {\left\lvert{\mathbf{x} - \mathbf{x}'}\right\rvert} \sum_b q_b \delta^3(\mathbf{x} - \mathbf{x}_b(t)) \right) \\ &= \frac{\partial {}}{\partial {t}} \left( \frac{1}{{2 c^2}} \frac{\partial {}}{\partial {t}} \sum_b q_b {\left\lvert{\mathbf{x} - \mathbf{x}_b(t)}\right\rvert} \right)\end{aligned}

And

\begin{aligned}\mathbf{A}^{(1)}(\mathbf{x}, t) &= \frac{1}{{c}} \int d^3 \mathbf{x}' \frac{1}{{{\left\lvert{\mathbf{x} - \mathbf{x}'}\right\rvert}}} \mathbf{j}(\mathbf{x}, t) \\ &= \frac{1}{{c}} \int d^3 \mathbf{x}' \frac{1}{{{\left\lvert{\mathbf{x} - \mathbf{x}'}\right\rvert}}} \sum_b q_b \mathbf{v}_b \delta^3(\mathbf{x} -\mathbf{x}_b) \\ &= \frac{1}{{c}} \sum_b q_b \mathbf{v}_b \frac{1}{{{\left\lvert{\mathbf{x} -\mathbf{x}_b}\right\rvert}}} \\ \end{aligned}

Recall that \phi^{(0)} was given by 3.9.

A gauge transformation to simplify things.

{Remember:} Gauge transformation

\begin{aligned}\phi'(\mathbf{x}, t) &= \phi(\mathbf{x}, t) - \frac{1}{{c}} \frac{\partial {f(\mathbf{x}, t)}}{\partial {t}} \\ \mathbf{A}'(\mathbf{x}, t) &= \mathbf{A}(\mathbf{x}, t) + \boldsymbol{\nabla} f(\mathbf{x}, t) \\ \end{aligned} \hspace{\stretch{1}}(4.20)

This will not change the physics. Take

\begin{aligned}f(\mathbf{x}, t) = \sum_b \frac{q_b}{2 c} \frac{\partial {}}{\partial {t}} {\left\lvert{\mathbf{x} - \mathbf{x}_b(t)}\right\rvert}\end{aligned} \hspace{\stretch{1}}(4.23)

Then

\begin{aligned}{\phi'}^{(2)} = 0\end{aligned} \hspace{\stretch{1}}(4.24)

\begin{aligned}{\mathbf{A}'}^{(1)}(\mathbf{x}, t) = \frac{1}{{c}} \sum_b \frac{q_b \mathbf{v}_b}{{\left\lvert{\mathbf{x} - \mathbf{x}_b}\right\rvert}} + \boldsymbol{\nabla} \sum_b \frac{q_b}{2 c} \frac{\partial {}}{\partial {t}} {\left\lvert{\mathbf{x} - \mathbf{x}_b}\right\rvert}.\end{aligned} \hspace{\stretch{1}}(4.25)

Inverting the order of time and space derivatives we find

\begin{aligned}\boldsymbol{\nabla} \frac{\partial {}}{\partial {t}} {\left\lvert{\mathbf{x} - \mathbf{x}_b(t)}\right\rvert}&=\frac{\partial {}}{\partial {t}} \boldsymbol{\nabla} {\left\lvert{\mathbf{x} - \mathbf{x}_b(t)}\right\rvert} \\ &=\frac{\partial {}}{\partial {t}} e_\alpha \partial_\alpha ((x^\beta - x_b^\beta(t))^2)^{1/2} \\ &=\frac{\partial {}}{\partial {t}} e_\alpha \frac{(x^\beta - x_b^\beta(t)) \partial_\alpha (x^\beta - x_b^\beta(t))}{{\left\lvert{\mathbf{x} -\mathbf{x}_b(t)}\right\rvert}} \\ &=\frac{\partial {}}{\partial {t}} e_\alpha\frac{(x^\beta - x_b^\beta(t)) \delta_\alpha^\beta}{{\left\lvert{\mathbf{x} -\mathbf{x}_b(t)}\right\rvert}} \\ &=\frac{\partial {}}{\partial {t}} \frac{\mathbf{x} - \mathbf{x}_b(t)}{{\left\lvert{\mathbf{x} -\mathbf{x}_b(t)}\right\rvert}}.\end{aligned}

Let’s write

\begin{aligned}\mathbf{n} \equiv \frac{\mathbf{x} - \mathbf{x}_b(t)}{{\left\lvert{\mathbf{x} - \mathbf{x}_b}\right\rvert}},\end{aligned} \hspace{\stretch{1}}(4.26)

for the unit vector in the direction pointing from \mathbf{x}_b to \mathbf{x}. Evaluating the time derivative, we have

\begin{aligned}\dot{\mathbf{n}} &= \frac{- \mathbf{v}_b(t)}{{\left\lvert{\mathbf{x} -\mathbf{x}_b(t)}\right\rvert}}+(\mathbf{x} - \mathbf{x}_b(t)) \frac{\partial {}}{\partial {t}} \frac{1}{{{\left\lvert{\mathbf{x} -\mathbf{x}_b(t)}\right\rvert}}} \\ &= \frac{- \mathbf{v}_b(t)}{{\left\lvert{\mathbf{x} -\mathbf{x}_b(t)}\right\rvert}}+(\mathbf{x} - \mathbf{x}_b(t)) \left(-\frac{1}{{2}} \right) \frac{ {2} (x^\alpha - x^\alpha_b(t) (-v^\alpha_b(t))}{{\left\lvert{\mathbf{x} - \mathbf{x}_b(t)}\right\rvert}^3} \\ &= \frac{- \mathbf{v}_b(t)}{{\left\lvert{\mathbf{x} -\mathbf{x}_b(t)}\right\rvert}}+ \frac{\mathbf{n} (\mathbf{n} \cdot \mathbf{v}_b)}{{\left\lvert{\mathbf{x} - \mathbf{x}_b(t)}\right\rvert}}.\end{aligned}

Assembling all the results we have

\begin{aligned}{\mathbf{A}'}^{(1)}(\mathbf{x}, t) = \sum_b q_b \frac{\mathbf{v}_b + \mathbf{n} (\mathbf{n} \cdot \mathbf{v}_b)}{2 c {\left\lvert{\mathbf{x} - \mathbf{x}_b}\right\rvert} },\end{aligned} \hspace{\stretch{1}}(4.27)

and the Lagrangian for our particle after the gauge transformation is

\begin{aligned}\mathcal{L}_a = \frac{1}{{2}} m_a \mathbf{v}_a^2 - \frac{m_a}{8} \frac{\mathbf{v}_a^4}{c^2} -\sum_{b \ne a} \frac{q_a q_b}{{\left\lvert{\mathbf{x}_a(t) - \mathbf{x}_b(t)}\right\rvert}}+\sum_b q_a q_b \frac{\mathbf{v}_a \cdot \mathbf{v}_b + (\mathbf{n} \cdot \mathbf{v}_a) (\mathbf{n} \cdot \mathbf{v}_b)}{2 c^2 {\left\lvert{\mathbf{x} - \mathbf{x}_b}\right\rvert} }.\end{aligned} \hspace{\stretch{1}}(4.28)

Next time we’ll probably get to the Lagrangian for the entire system. It was hinted that this is called the Darwin Lagrangian (after Charles Darwin’s grandson).

References

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

Advertisements

Leave a Reply

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

WordPress.com Logo

You are commenting using your WordPress.com 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: