Skip to content

Galilean Fields as the Slow Limit

Irodov 3.366DifficultyDifficulty 2 of 5UniquenessUniqueness 2 of 5

Problem Irodov 3.366

An inertial frame K′K' moves relative to an inertial frame KK with the constant velocity v0\vect v_0. With β=v0/c\beta = v_0/c, and with ∥\parallel and ⊥\perp marking the components of a field along v0\vect v_0 and across it, the fields in the two frames are related by

E∥′=E∥,B∥′=B∥,E⊥′=E⊥+v0×B1−β2,B⊥′=B⊥−v0×E/c21−β2\begin{gathered} \vect E'_\parallel = \vect E_\parallel, \qquad \vect B'_\parallel = \vect B_\parallel,\\ \vect E'_\perp = \frac{\vect E_\perp + \vect v_0\times\vect B}{\sqrt{1-\beta^2}}, \qquad \vect B'_\perp = \frac{\vect B_\perp - \vect v_0\times\vect E/c^2}{\sqrt{1-\beta^2}} \end{gathered}

Show that for v0≪cv_0 \ll c these reduce to E′=E+v0×B\vect E' = \vect E + \vect v_0\times\vect B and B′=B−v0×E/c2\vect B' = \vect B - \vect v_0\times\vect E/c^2.

Given
  • the relativistic transformation of E\vect E and B\vect B for a frame moving with v0\vect v_0
  • v0≪cv_0 \ll c
Find
the low-speed transformation

Solution

Step 1Split each field along and across the velocity

Each field is the sum of its part along v0\vect v_0 and its part across it, in KK and in K′K' alike:

E=E∥+E⊥,B=B∥+B⊥(1) \vect E = \vect E_\parallel + \vect E_\perp, \qquad \vect B = \vect B_\parallel + \vect B_\perp \tag{1}
A field E resolved along the frame velocity v_0 and across it into E_∥ and E_⊥; B splits the same way.

A field E\vect E resolved along the frame velocity v0\vect v_0 and across it into E∥\vect E_\parallel and E⊥\vect E_\perp; B\vect B splits the same way.

Step 2The Lorentz factor at low speed

The relativistic relations differ from the low-speed ones only through the factor dividing the perpendicular parts. Expanding it in powers of β\beta:

11−β2=1+β22+…(2) \frac{1}{\sqrt{1-\beta^2}} = 1 + \frac{\beta^2}{2} + \dots \tag{2}

Its departure from 1 is of second order in β\beta. The transformation itself is of first order, since v0×B\vect v_0\times\vect B and v0×E/c2\vect v_0\times\vect E/c^2 carry one power of v0v_0. To first order in β\beta the factor (2) is therefore 1, and the perpendicular parts become

E⊥′=E⊥+v0×B,B⊥′=B⊥−v0×Ec2(3) \vect E'_\perp = \vect E_\perp + \vect v_0\times\vect B, \qquad \vect B'_\perp = \vect B_\perp - \frac{\vect v_0\times\vect E}{c^2} \tag{3}
Step 3Reassemble the fields

The parallel parts are unchanged in both theories. Adding them to (3) and using (1) in KK:

E′=E∥′+E⊥′=E∥+E⊥+v0×BB′=B∥′+B⊥′=B∥+B⊥−v0×Ec2\begin{aligned} \vect E' &= \vect E'_\parallel + \vect E'_\perp = \vect E_\parallel + \vect E_\perp + \vect v_0\times\vect B\\ \vect B' &= \vect B'_\parallel + \vect B'_\perp = \vect B_\parallel + \vect B_\perp - \frac{\vect v_0\times\vect E}{c^2} \end{aligned}

The first two terms on each right side add back to the whole field, which is the low-speed transformation:

E′=E+v0×BB′=B−v0×Ec2\begin{gathered}\vect E' = \vect E + \vect v_0\times\vect B\\ \vect B' = \vect B - \frac{\vect v_0\times\vect E}{c^2}\end{gathered}
(4)
Check

Consistency to first order: going from K′K' back to KK is a boost with −v0-\vect v_0, so applying (4) twice should return the original field up to terms in β2\beta^2. It does:

E+v0×B−v0×(B−v0×Ec2)=E+v0×(v0×E)c2\vect E + \vect v_0\times\vect B - \vect v_0\times\Bigl(\vect B - \frac{\vect v_0\times\vect E}{c^2}\Bigr) = \vect E + \frac{\vect v_0\times(\vect v_0\times\vect E)}{c^2}

and the leftover term is of order β2E\beta^2 E. Units: v0Bv_0 B is (m/s)⋅T=V/m(\text{m/s})\cdot\text{T} = \text{V/m}, a field strength, and v0E/c2v_0E/c^2 is (V/m)/(m/s)=T(\text{V/m})/(\text{m/s}) = \text{T}.

Remark

The dropped terms are β2/2\beta^2/2 times the perpendicular field that is kept, so the low-speed pair is accurate to that fraction whichever field dominates. The two relations are not equally familiar: E′=E+v0×B\vect E' = \vect E + \vect v_0\times\vect B is the Lorentz force per unit charge on a charge at rest in K′K', while −v0×E/c2-\vect v_0\times\vect E/c^2 is the magnetic field that charges at rest in KK produce once they are seen moving. The leftover of the round trip in the check shows that this pair cannot be an exact law at any speed; the relativistic factor 1/1−β21/\sqrt{1-\beta^2} is what makes successive changes of frame agree.