Source bundle pages 70–73; the cover identifies Trinity Term 2021 despite the attachment filename. Use coordinates , metric signature , and . For the electromagnetic field tensor use and . Prescribed external fields are treated classically, neglecting radiation reaction in the trajectories; radiation losses are computed separately where requested.
Let be the magnitude of the electron's electric charge, , , and . The Lorentz force is , so the electron and Positron acquire opposite momenta:
Using the relativistic energy-momentum relation, , and integrating from rest gives the world lines
For , the world lines are vertical at on a spacetime diagram. They join smoothly to the accelerated branches with zero initial velocity. At small , and ; at large , their velocities approach , respectively. Each accelerated world line is a branch of a hyperbola, since and . The electric field separates the opposite electric charges in this orientation. The asymptotes are lightlike, while every finite-time tangent is timelike.
Figure 1. . Original spacetime diagrams for and . Dots mark the two switching events. The dashed line is the laboratory's simultaneous switching surface, which is tilted in the moving inertial frame. Details.
Write for the Lorentz factor of the inertial frame , distinguishing it from the particles' changing Lorentz factors. Apply the Lorentz transformation
to each world line in a. Both particles initially have velocity in . The switching events have coordinates
Thus the Positron starts accelerating earlier in . Its velocity first becomes less negative, vanishes when its laboratory velocity reaches , and then becomes positive. The electron continues at until , then accelerates toward . The relativistic velocity-addition formula makes this precise:
The electric field parallel to the Lorentz boost has unchanged magnitude, but its switching surface is , rather than everywhere.
In the laboratory, the total three-momentum is zero for all : the two Lorentz forces cancel at equal laboratory times. In , each active force is still , since this is one-dimensional motion with a parallel electric field. Define . For the total three-momentum, evaluated at equal , is
This follows by integrating from its switching event and from its later switching event. During the interval between them only the Positron feels the prescribed electric field, so momentum conservation for the particle pair fails. Once both forces act, the total three-momentum is constant again.
The equal-time momentum of an externally driven particle pair illustrates a distinction. The sum of particle four-momenta at a fixed pair of events is always a four-vector. However, a fresh sum at equal time in each inertial frame generally uses different events. Here transforming an equal- laboratory sum would give , which varies with ; this differs from the equal- answer above. For example, with and , the late-time equal- sum is , whereas transforming the equal- sum gives . This is a concrete failure of treating the pair's equal-time sums as components of a single frame-independent four-vector.
A closed system's total four-momentum, including the electromagnetic field and the apparatus supplying it, is conserved and independent of the choice of spacelike integration surface under the usual isolated-system boundary conditions. The particles alone exchange energy and momentum with an external system, so neither that independence nor universal particle-only momentum conservation is guaranteed.
With the reversed electric field, reflection about exchanges the electron and Positron. They therefore meet there with equal and opposite momenta. Each travels , and the work-energy theorem gives its kinetic energy:
Their combined kinetic energy is , while each total relativistic energy is . The laboratory is the center-of-momentum frame of the colliding pair.
Local four-momentum conservation in the electron-positron annihilation excludes one real photon: the incoming total four-momentum is timelike, with zero spatial component and positive energy, while a single photon's four-momentum is null and has . Two photons can balance their momenta by travelling in opposite directions, so
The equal photon energies follow from opposite equal momenta, not merely from sharing the incoming energy arbitrarily. Here . This is the free local annihilation idealization implicit in the question; significant momentum transfer to the external apparatus would change the kinematic system being considered.
The laboratory remains the center-of-momentum frame. At the relativistic collision mass threshold, the two final W bosons can have arbitrarily small opposite momenta. The available relativistic energy is , so
Each incoming particle must acquire about of kinetic energy, travelling about . Equality is the ideal kinematic threshold; a nonzero production rate needs energy above it. This estimate neglects acceleration losses and treats the W bosons with the supplied nominal rest mass.
A linear particle accelerator avoids repeatedly bending high-energy electrons and Positrons. This greatly reduces the bending synchrotron radiation loss, which at fixed bending radius grows approximately as the fourth power of the relativistic energy for a given particle species. Its useful collision energy can therefore be increased without the severe circular electron collider radiation penalty. The price is long structures or high accelerating gradients: each bunch normally passes once, requiring substantial beam power, fresh bunches, and very tight focusing for high luminosity. A circular particle accelerator reuses its accelerating structures and circulates bunches through many collisions, but needs a large ring and substantial radiofrequency power to replace synchrotron radiation losses. Heavier particles such as protons radiate far less at a given energy and radius, although a proton's constituent structure makes the hard-collision energy less sharply specified than in an electron-positron annihilation experiment.
Let be the point electric charge's world line, with proper time and four-velocity . For the field event , choose the retarded source event: is future-directed and null. Write , where . In the instantaneous rest inertial frame of that source event,
Consequently the covariant expression matching this Coulomb potential is
The denominator is a Lorentz scalar, so the right-hand side is a four-vector with the required instantaneous-rest components. This describes the retarded potential in Lorenz gauge, with no added free electromagnetic wave. Lorentz covariance alone does not establish the boundary conditions or exclude additional terms depending on four-acceleration. The physical input is the retarded point-source solution of Maxwell equations: the potential at the retarded event depends on the instantaneous four-current, while its derivatives generate the acceleration field. Equivalently, evaluating the retarded source integral gives a Jacobian from the light-cone constraint; this fixes that input for arbitrary smooth subluminal motion.[ref]
In any inertial frame, put and . Then , and the Liénard–Wiechert potential is
Differentiate using and , including the position and time dependence of the retarded time. For example, and . The resulting Liénard-Wiechert field is
Here the dot denotes a derivative with respect to source coordinate time. The first term is the velocity or non-radiative field: it falls as and exists even without acceleration. The second is the acceleration or radiation field, falling as and transverse to . Its Poynting flux falls as , so its outward power integrated over a large sphere stays finite as its radius tends to infinity. The first term's squared-field flux instead vanishes in that limit. This large-distance distinction defines radiation; a moving near field can carry local energy without constituting radiation escaping to infinity.
For uniform circular motion, the transverse Lorentz force supplies the change in direction of three-momentum:
The magnetic rigidity relation gives . Using ,
The coordinate centripetal acceleration is . For transverse acceleration, the magnitude of the four-acceleration, or proper acceleration, is . The supplied Larmor formula, in its proper acceleration form, therefore gives
The emitted power here is also the laboratory total emitted power: in the instantaneous rest inertial frame the dipole radiation pattern has zero net radiated three-momentum, so both emitted energy and elapsed coordinate time gain the same Lorentz factor on transformation. This does not assert that a directional detector flux is invariant.
Numerically , per electron, and
The synchrotron's radiofrequency accelerating system must replace this lost energy to keep and magnetic rigidity fixed over many revolutions. The fraction lost per turn is about , so a fixed-orbit calculation over one turn is self-consistent.[ref]
For an ultrarelativistic particle, relativistic beaming concentrates the synchrotron radiation within an angle of order around its instantaneous velocity. A fixed viewing direction in the orbital plane receives an intense signal only when the tangent sweeps through that direction. One electron, or one sufficiently short bunch, therefore produces one pulse per revolution, separated by . Several bunches produce the corresponding additional pulses per revolution.
The time during which the velocity points within that cone is of order , but this is the emission interval. If is the arrival time at a distant detector,
Near alignment, . Thus synchrotron pulse compression reduces the observed duration by a further factor of order :
A more explicit geometric estimate chooses the cone edges . With , along the line of sight, the difference in arrival-time compression for a moving source is
The order-one coefficient depends on how pulse width is defined; the robust scale is . The usual central-cone estimate gives . These estimates agree on the attosecond scale and must not be confused with .[ref]
Bunch qualification. The source says only that the bunches are short, without their longitudinal length . Different electrons pass the same emitting tangent at times separated by up to about , with essentially the same path length from that tangent to the detector. The bunch-length broadening of synchrotron radiation means that the measured bunch envelope is the single-electron pulse convolved with the bunch's passage-time profile; its scale is generally at least of order , with additional detector bandwidth effects. For example, a bunch, very short compared with this ring, gives an approximately envelope, much longer than the single-electron duration. No unique numerical bunch-envelope width follows from the supplied data. The pulse argument also presumes that the accepted direction is tangent to the orbit; a direction far outside the orbital plane receives no comparable intense forward pulse.
Assume for the directions and parametrizations; the boost formulas retain their signed meaning for reversed fields. A Lorentz boost with velocity along transforms the transverse electric field and magnetic field as
In the electric-dominated case choose
The inequality ensures , so this is an inertial frame. The field-removing boosts for perpendicular electric and magnetic fields are governed by the electromagnetic field invariants and 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 and its initial three-momentum is . Thereafter , while stays constant. The electric field accelerates it toward ; as its relativistic energy increases, its negative transverse velocity decreases in magnitude. Defining and gives a useful parametric world line:
Here is the proper time. These formulas follow by integrating , , and constant . Its projection onto the plane is a hyperbola, but the spatial trajectory includes the initial transverse motion and is not a straight line.
Transforming back with , gives
The laboratory trajectory starts from rest toward , then bends toward . It is unbounded in and ultimately has and . Thus the late velocity has magnitude as a limit, consistent with the relativistic energy-momentum relation, rather than undergoing a closed cyclotron orbit.
Figure 1.
Electron trajectories in electric-dominated and magnetic-dominated crossed fields
. Original parametric spatial trajectories in the convenient inertial frame and laboratory, with dimensionless units . Arrows show increasing time. The initial transverse motion in the purely electric frame and the laboratory cusps in the purely magnetic case are visible. Details.
In the magnetic-dominated case the suitable Lorentz boost instead has
The hypothesis gives . The electromagnetic field invariants now have , allowing a purely magnetic inertial frame. The initial velocity is again , perpendicular to . 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 plane with Lorentz factor and cyclotron frequency .
For , set and . A parametrization with the correct initial velocity and Lorentz force is
Transforming the world line back to the laboratory gives
The laboratory trajectory is a stretched cycloid, with cusps at where the electron is momentarily at rest. It first accelerates toward , then curves toward , returning to its original coordinate each cycle while advancing in . Its mean drift is , 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 , where neither field can be removed by a finite Lorentz boost.
Use the electromagnetic field tensor convention stated above, and lower indices with the Minkowski metric . Lowering a single time index changes its sign. Summing both orders of each antisymmetric index pair gives the Lorentz scalar
For , and . Direct substitution in the printed electromagnetic stress-energy tensor yields
For a spatial index , and . Hence
Thus the full top row is
Here is the electromagnetic energy density and the Poynting vector, using . By the symmetry , these components describe both energy flux divided by and times the electromagnetic momentum density . Keeping the factor is essential because the time coordinate is .
Let starred quantities denote the capacitor's rest inertial frame, , , and . Work in the uniform interplate region of an ideal parallel-plate capacitor, neglecting its fringing field of a capacitor. To transform from that rest inertial frame to a laboratory in which the capacitor moves along , use the positive-sign Lorentz transformation
For a purely electric field, the spatial block of the electromagnetic stress-energy tensor is
This is the negative of the Maxwell stress tensor: it has along the electric field and perpendicular to it. The stress contribution to energy transport in a moving capacitor is essential to the Lorentz transformation of the energy density and flux.
Plates parallel to . Choose and . The electromagnetic field tensor and electromagnetic stress-energy tensor are
The transformed nonzero independent electromagnetic field tensor components are and . Thus and , consistent with . Transforming the electromagnetic stress-energy tensor gives
In particular, the laboratory Poynting vector is , and the electromagnetic energy density is . The ratio is subluminal for , but differs from the capacitor's velocity. The difference from a simple convective flux is
The extra term is , the rest-frame stress multiplied by the velocity. This shows why treating stored field energy as an unstressed parcel moving rigidly with the plates misses part of the energy transport.
Plates parallel to . Now . The rest tensors are
The electric field is parallel to the Lorentz boost, so remains unchanged and . The cancellation between and gives
There is no Poynting flux in the ideal interior in this orientation, although the region containing the electric field moves. The longitudinal negative stress contribution cancels the convective term: . Field energy is removed at the receding boundary and supplied at the advancing boundary by work on the charged plates; it need not flow through the interior to accompany the moving region. At edges, omitted fringing fields provide additional local structure.
For a finite idealized interplate rest volume , length contraction gives . The field-only integrated laboratory energies would consequently be and , with . Their different transformation laws are not paradoxical: the field alone is not a closed system. Include the plates and the supports holding them apart, whose mechanical stresses balance the Maxwell stress tensor. The total closed-system four-momentum then has the ordinary Lorentz transformation law. This is the same distinction between a subsystem and a conserved whole that appears in b.
A symmetry is a transformation of a physical system that preserves its laws: it maps admissible solutions and consistently transformed data to admissible solutions. The central symmetry of special relativity is Lorentz invariance, expressing equivalence of inertial frames and preservation of the Minkowski interval and the universal speed of light. With spacetime translations included, the spacetime symmetry group is the Poincaré group.
A practical sufficient check is to express an equation as an equality between Lorentz tensors of the same type, with every repeated upper/lower pair correctly contracted and the same free indices on both sides. Every ingredient, including sources and background fields, must have its stated Lorentz transformation rule. For example, is a Lorentz scalar equality, and equates four-vectors. Such manifest Lorentz covariance makes the form of the equation the same in every inertial frame.
This is a sufficient test when the transformation rules are genuine physical ones, not a guarantee from writing index symbols. A fixed preferred four-vector could make an equation formally covariant if it too were transformed, while its chosen physical background breaks Lorentz invariance. Conversely, an equation written in three-dimensional components can be fully consistent with special relativity, as the Lorentz force is, even when the covariance is not manifest.
For an active clockwise rotation of column vectors in the usual oriented plane, take
Direct matrix multiplication gives
Thus the rotation matrix is an orthogonal matrix, preserving the Euclidean inner product, with determinant .
For a passive one-dimensional Lorentz boost, use rapidity , :
This is not unless . Hence a nontrivial Lorentz boost is not an orthogonal matrix for the Euclidean inner product. Instead it preserves the Minkowski metric:
by . Thus it is pseudo-orthogonal. The zero-rapidity identity is the explicit exception to the assertion that a Lorentz boost is not orthogonal.
The supplied matrix obeys
Separate the even and odd powers in the matrix exponential to obtain
It fixes the component and is a counterclockwise active rotation viewed from . This sign differs from the clockwise convention in b, because the source fixes the sign of both and the exponential. Replacing by yields the clockwise rotation.
With , the generators of rotations obey
The commutator measures the leading difference between performing two infinitesimal rotations in opposite orders. For example, with and ,
The failure to commute is itself an infinitesimal rotation about the perpendicular axis; the Lie algebra closes on the same three generators of rotations.
To pass from this local statement to the full group property, put . These are real antisymmetric matrices, with . The Baker--Campbell--Hausdorff formula shows locally that the logarithm of a product of their exponentials remains a linear combination of the , because all nested commutators do. Globally, each exponential has and . If have these properties, then
Every real three-dimensional orthogonal matrix of determinant has an eigenvector with eigenvalue : its nonreal eigenvalues come in conjugate pairs, and the product of all three is . On the perpendicular plane it acts as a two-dimensional rotation. It therefore has axis-angle form and can be written . Thus the product is again a rotation. The identity is , the inverse reverses , and associativity comes from matrix multiplication. This proves that all these rotations form the special orthogonal group . The commutator supplies local closure, while the orthogonality and axis-angle argument supplies the necessary global step.
Let generate Lorentz boosts with the same exponential convention as the rotation generators of rotations . The Lie algebra of the Lorentz group is
Consequently non-collinear Lorentz boosts do not close among themselves: the product contains a rotation, the Wigner rotation. For an explicit counterexample, in coordinates write , and similarly for . Then
A pure rotationless Lorentz boost has a symmetric matrix, whereas this product has spatial entries and for . It is therefore a concrete product of two pure Lorentz boosts that is not a pure Lorentz boost. Collinear Lorentz boosts are the special case that do form a one-parameter group, with additive rapidities.
Allowing all spatial directions and closure generates both the and, through their commutators, all . The smallest connected group containing all these Lorentz boosts is the proper orthochronous Lorentz group
It contains arbitrary compositions of spatial rotations and Lorentz boosts continuously connected to the identity. It has six continuous parameters. Here “smallest” refers to the subgroup generated by all continuous pure Lorentz boosts, not to an arbitrary collection already including discrete reversals.
The full Lorentz group has four connected components, distinguished by the sign of the determinant and the direction of time. Representatives are the identity, parity , time reversal , and . Thus
Multiplication by these discrete transformations relates the components algebraically; no continuous path within the Lorentz group joins different components. Translations are not required for closure here; adding them gives the larger Poincaré group.

Articles by others on the same topic (0)

There are currently no matching articles.