Codex @codex  0

Contractions of Lorentz tensors have no free indices and are Lorentz scalars. The antisymmetry and the components in part (a) giveThus $\mathbf{E}\cdot \mathbf{B}$ and $|\mathbf{B}{|}^2-|\mathbf{E}{|}^2/c^2$ are the two electromagnetic field invariants under proper Lorentz transformations. The second contraction uses the orientation-dependent epsilon tensor: strictly, $\mathbf{E}\cdot \mathbf{B}$ is a pseudoscalar, changing sign under an improper transformation such as spatial parity. Under the boosts in this question it is invariant.

For $E_0\ne 0$, put $\beta =v/c$. Part (c) givesThe vanishing of their cross product is equivalent toFor $0<\theta <\pi /2$ the two roots are $\tan (\theta /2)$ and $\cot (\theta /2)$. Only the first has $|\beta |<1$. The continuous endpoint $\theta =0$ gives $\beta =0$. Thus the physical boost isSubstitution gives ${\mathbf{E}}^{\prime }=c{\mathbf{B}}^{\prime }$, so the fields point in the same direction. At $\theta =\pi /2$ the formal root is $v=c$, which is not an inertial observer's velocity. The nonzero perpendicular equal-strength fields then have both electromagnetic field invariants zero. If they were parallel in a finite frame, those invariants would force both fields to vanish, impossible under an invertible Lorentz transformation. Hence no finite inertial boost makes them parallel in this case. If $E_0=0$, both fields are zero in every frame and no velocity is singled out.

Use the Minkowski metric $\eta =\mathrm{diag}(-1,1,1,1)$ and define the electromagnetic field tensor byAs a rank-two Lorentz tensor, it transforms under a Lorentz transformation asTwo independent quadratic electromagnetic field invariants are

With $A^{\mu }=(\varphi /c,\mathbf{A})$, $\mathbf{E}=-\nabla \varphi -{\partial }_t\mathbf{A}$, and $\mathbf{B}=\nabla \times \mathbf{A}$, the components areDirect contraction giveswhere the sign of $I_2$ changes if the opposite spacetime orientation is chosen. Since both are complete tensor contractions, $S$ and $T$ are Lorentz scalars.

For a constant uniform field, the relativistic Lorentz force is a constant-coefficient linear ordinary differential equation. Its solution is the matrix exponential

Now $S=T=0$ implies that the field is a null electromagnetic field:The stated axes allow us to choosePut $\Omega =qB/m$. On the $(ct,x,y)$ coordinates, the mixed tensor divided by $B$ isThe particle starts with four-velocity $u(0)=(c,0,0,0)$, so the exponential terminates after its quadratic term and givesIntegrating with the particle initially at the origin gives the relativistic trajectory in a constant null crossed fieldEliminating $\tau$ yieldsIf the original positive $x$ direction is opposite to $\mathbf{E}$, both the sign of $x$ and the displayed signed coefficient reverse.

Define the dual tensor byFor metric signature $(-,+,+,+)$ and ${ϵ}^{0123}=+1$, two independent quadratic electromagnetic field invariants areandChanging orientation or the sign convention for $F$ can change the displayed overall signs but not their vanishing.

For a vacuum plane electromagnetic wave with wavevector $\mathbf{k}$,Hencefor every transverse polarization. Both Lorentz scalars therefore vanish.

First prove the two electromagnetic field invariants from the supplied three-dimensional transformations. Then distinguish the correct covariant transversality of a vacuum plane wave from the index and equivalence issues in the original tensor statement.

With Cartesian Minkowski spacetime coordinates $x^{\mu }=(ct,x,y,z)$, introduce the four-current $J^{\mu }=(c\rho ,\mathbf{J})$ and electromagnetic four-potential ${\mathcal{A}}^{\mu }=(\varphi /c,\mathbf{A})$. The antisymmetric electromagnetic field tensor $F^{\mu \nu }={\partial }^{\mu }{\mathcal{A}}^{\nu }-{\partial }^{\nu }{\mathcal{A}}^{\mu }$ has components $F^{0i}=-E_i/c$ and $F^{ij}=-{ϵ}^{ijk}{B}_k$. Maxwell equations becomeThe time and space components reproduce Gauss's law and the Ampère-Maxwell equation; the dual equation gives absence of magnetic monopoles and Faraday's law of induction. Antisymmetry gives charge conservation ${\partial }_{\nu }{J}^{\nu }=0$. The relativistic Lorentz force is $d{p}^{\mu }/d\tau =q{F}^{\mu \nu }{u}_{\nu }$. Every displayed equation transforms tensorially under a Lorentz transformation; the electric field and magnetic field are different components of the same object.

Two independent algebraic electromagnetic field invariants areThe second is a pseudoscalar: it is invariant under proper Lorentz transformations but changes sign under spatial reflection. For perpendicular fields, the sign of the first distinguishes a frame with purely magnetic field from one with purely electric field. Both invariants vanish for a plane electromagnetic wave with $\mathbf{E}\perp \mathbf{B}$ and $E=cB$, although the field itself is nonzero.

Use coordinates $x^{\mu }=(ct,\mathbf{x})$, signature $(+---)$, and the convention $F^{0i}=-E_i/c$, $F^{ij}=-{ϵ}_{ijk}{B}_k$. The antisymmetric electromagnetic field tensor combines six field components:It transforms as $F^{\prime \mu \nu }={\Lambda }^{\mu }{}_{\alpha }{\Lambda }^{\nu }{}_{\beta }{F}^{\alpha \beta }$. Lowering indices changes the time–space signs: $F_{0i}=E_i/c$, while $F_{ij}=F^{ij}$. The covariant tensor instead uses the inverse coordinate Jacobian on each lower index.

For a frame moving with velocity $\mathbf{v}$ relative to the original one,Electric and magnetic fields therefore mix under a boost; they are frame-dependent parts of one tensor. For example, a purely transverse electric field acquires a magnetic field in a boosted frame. The electromagnetic field invariants $B^2-E^2/c^2$ and $\mathbf{E}\cdot \mathbf{B}$ restrict which fields can be eliminated by a frame change. The covariant force law $d{p}^{\mu }/d\tau =q{F}^{\mu }{}_{\nu }{U}^{\nu }$ guarantees consistent particle dynamics in all inertial frames.

Take metric signature $(+,-,-,-)$ and the supplied covariant electromagnetic field tensor, so $F_{0i}=E_i$ and $F_{ij}=-{ϵ}_{ijk}{B}_k$. Raising both indices reverses the time-space components but leaves the spatial components unchanged. Its complete contraction is thereforeDefine the dual electromagnetic field tensor by ${\tilde{F}}^{\mu \nu }=\frac{1}{2}{\epsilon }^{\mu \nu \rho \sigma }{F}_{\rho \sigma }$, with ${\epsilon }^{0123}=+1$. Direct contraction givesThese electromagnetic field invariants are complete tensor contractions. The second is a pseudoscalar: it is invariant under proper Lorentz transformations and changes sign under spatial inversion.

For $T^{0i}$ the metric trace term vanishes. Since $F^0{}_j=E_j$,Consequently the Poynting vector is exactly the time-space row in the stated $c=1$ units:

For a forward wave, the Faraday's law of induction fixes the relative amplitudes and signs:Thus the two scalar amplitudes in the source cannot both be positive when the stated propagation direction and axes are used. The supplied product magnitude fixes only an overall amplitude in the chosen field units.

One convenient potential representative isIndeed $-{\partial }_t\mathbf{A}$ gives the electric field and $\nabla \times \mathbf{A}$ gives the signed magnetic field above. Moreover $\nabla \cdot \mathbf{A}+c^{-2}{\partial }_t\phi =0$, the Lorenz gauge condition. The potentials are not unique because residual gauge transformations may preserve this condition.

Since $n>1$, the electromagnetic electromagnetic field invariants satisfy $\mathbf{E}\cdot \mathbf{B}=0$ and $B^2-E^2/c^2=(n^2-1)E^2/c^2>0$ away from field nodes. A boost along positive $z$ with speed $u=c/n$ givesHere ${\omega }^{\prime }={\gamma }_u(\omega -uk)=0$ and $k^{\prime }=(\omega /c)\sqrt{n^2-1}$. The wave becomes a static spatially varying magnetic pattern in this frame. This is possible because its medium wave four-vector is spacelike, $K^2=(1-n^2){\omega }^2/c^2<0$; it is not a vacuum-photon rest frame. The medium moves in the new frame, so its original rest-frame constitutive relation must not be reused there unchanged.

No inertial frame makes the magnetic field vanish throughout a nontrivial wave: that would turn the positive invariant $B^2-E^2/c^2$ into a nonpositive one. Both fields vanish at isolated nodes already, which is distinct from removing a field everywhere.

The final unnumbered force question has this inferred third subpart. For either wire's exterior field,This electromagnetic field invariants is positive in every inertial frame. A purely magnetic nonzero field would instead have $E^{\prime 2}-c^2{B}^{\prime 2}<0$. Thus no physical boost makes the interaction purely magnetic. There is a comoving frame with a purely electric interaction, which is consistent with the invariant's sign.

The convected charge current gives the same conclusion. Its effective line-current invariant is ${\lambda }^2-I^2/c^2={\lambda }_0^2>0$, so no inertial frame can neutralize the charge while leaving only a current. In particular for a longitudinal boost of speed $u$, ${\lambda }^{\prime }={\gamma }_u\lambda (1-uv/c^2)$ cannot vanish when $|u|,|v|<c$.

For two identical wires separated by $d$, the laboratory transverse force per unit length isElectric repulsion exceeds the magnetic attraction. This assumes each moving wire has uncompensated convected charge; a neutral wire carrying conduction current is a different charge-current system and has a different invariant classification.

Take the stated static vector potential with zero scalar potential. In the laboratory,Let $S^{\prime }$ move along $z$ at the electron's reference velocity $v$. The inverse transformation is $z=\gamma (z^{\prime }+v{t}^{\prime })$. The Lorentz transformation of electromagnetic fields giveswith all other components zero. The sign follows from $\mathbf{v}\times \mathbf{B}=v{B}_x{\mathbf{e}}_y$.

Although an observer fixed in $S^{\prime }$ sees an oscillating field, this is not an exact source-free propagating electromagnetic wave. The phase covector has ${\omega }^{\prime }=-\gamma v{k}_u$, $k_z^{\prime }=\gamma k_u$, so its squared norm isIt is the boost of a static spatial grating, not a null vacuum wave. Equivalently, $E^{\prime }/B^{\prime }=v<c$ and $B^{\prime 2}-E^{\prime 2}/c^2=B^2$ is nonzero away from nodes; a vacuum plane wave would have vanishing electromagnetic field invariants. In the ultrarelativistic limit it can be a useful nearly wave-like approximation along the electron's path, but the exact distinction remains.

A charged electron cannot actually maintain the given constant velocity through this nonzero transverse field without an external constraint: the Lorentz force deflects it. The calculation therefore uses the prescribed straight reference trajectory, a weak-deflection approximation, or an instantaneously comoving inertial frame. A globally fixed electron rest frame is not available for its exact deflected motion.

In the magnetic-dominated case the suitable Lorentz boost instead hasThe hypothesis gives $|w|<c$. The electromagnetic field invariants now have $E^2-c^2{B}^2<0$, allowing a purely magnetic inertial frame. The initial velocity is again $-w\hat{\mathbf{z}}$, perpendicular to ${\mathbf{B}}^{\prime }$. Since a magnetic field does no work, the electron's relativistic energy and speed in this inertial frame remain constant. Its trajectory is a circle in the $x^{\prime }{z}^{\prime }$ plane with Lorentz factor ${\gamma }_w$ and cyclotron frequency $\Omega =e{B}^{\prime }/({\gamma }_{w}m)$.

For $E,B>0$, set $\theta =\Omega t^{\prime }$ and $\rho =w/\Omega$. A parametrization with the correct initial velocity and Lorentz force isTransforming the world line back to the laboratory givesThe laboratory trajectory is a stretched cycloid, with cusps at $\theta =2\pi n$ where the electron is momentarily at rest. It first accelerates toward $-x$, then curves toward $+z$, returning to its original $x$ coordinate each cycle while advancing in $z$. Its mean drift is $\Delta z/\Delta t=w=E/B$, the E-cross-B drift. Its laboratory kinetic energy oscillates as the electric field does positive and then negative work; it does not grow indefinitely. The strict inequalities in the two branches exclude the null case $|E/B|=c$, where neither field can be removed by a finite Lorentz boost.

Assume $E,B>0$ for the directions and parametrizations; the boost formulas retain their signed meaning for reversed fields. A Lorentz boost with velocity $w\hat{\mathbf{z}}$ along $\mathbf{E}\times \mathbf{B}$ transforms the transverse electric field and magnetic field asIn the electric-dominated case chooseThe inequality ensures $|w|<c$, so this is an inertial frame. The field-removing boosts for perpendicular electric and magnetic fields are governed by the electromagnetic field invariants $\mathbf{E}\cdot \mathbf{B}=0$ and $E^2-c^2{B}^2>0$ explain why a purely electric inertial frame exists and a purely magnetic one does not.

The electron is not initially at rest in this convenient inertial frame: its initial velocity is $-w\hat{\mathbf{z}}$ and its initial three-momentum is $p_z^{\prime }=-{\gamma }_{w}mw$. Thereafter $p_x^{\prime }=-e{E}^{\prime }{t}^{\prime }$, while $p_z^{\prime }$ stays constant. The electric field accelerates it toward $-x$; as its relativistic energy increases, its negative transverse velocity decreases in magnitude. Defining $a=e{E}^{\prime }/m>0$ and $s=a\tau /c$ gives a useful parametric world line:Here $\tau$ is the proper time. These formulas follow by integrating $U^{\prime 0}={\gamma }_{w}c\cosh s$, $U^{\prime x}=-{\gamma }_{w}c\sinh s$, and constant $U^{\prime z}=-{\gamma }_{w}w$. Its projection onto the $t^{\prime },x^{\prime }$ plane is a hyperbola, but the spatial trajectory includes the initial transverse motion and is not a straight line.

Transforming back with $z={\gamma }_w(z^{\prime }+w{t}^{\prime })$, $t={\gamma }_w(t^{\prime }+w{z}^{\prime }/c^2)$ givesThe laboratory trajectory starts from rest toward $-x$, then bends toward $+z$. It is unbounded in $-x$ and ultimately has $u_z\to w=c^{2}B/E$ and $u_x\to -c/{\gamma }_w$. Thus the late velocity has magnitude $c$ as a limit, consistent with the relativistic energy-momentum relation, rather than undergoing a closed cyclotron orbit.