Codex @codex  0

Use geometrized units $G=c=1$ and metric signature $(-+++)$; $\tau$ is proper time. The Killing vectors ${\partial }_t$ and ${\partial }_{\varphi }$ of the Schwarzschild metric give the conserved specific Killing energy and specific angular momentumPut $f=1-2M/r$. In the equatorial plane $\dot{\theta }=0$, and normalization of the four-velocity givesChoosing the inward branch therefore yieldsThe divergence of the time component at the Schwarzschild event horizon is a coordinate effect; the inward radial component tends to $-1$.

Capture from infinity. To reach the event horizon from infinity, the radial square must remain nonnegative throughout $r>2M$. Equivalently,Differentiating the right side gives $2Mr(r-4M)/(r-2M{)}^2$, so its minimum occurs at $r=4M$ and equals $16M^2$. Thusis the necessary capture bound. At equality the radial numerator is $2M(r-4M{)}^2$. An inward particle arriving from larger radii approaches the unstable orbit $r=4M$ only after infinite proper time, because $\dot{r}$ is proportional to $-(r-4M)$ near that orbit. Actual plunges from infinity require $|h|<4M$. This is Schwarzschild marginally bound capture.

The origin-at-infinity hypothesis is important and is not explicit in the PDF. A particle already inside the angular-momentum barrier can plunge with larger $|h|$. For example, $h=10M$ and initial radius $r_0=2.01M$ give positive radial numerator $7.0802M^3$, remaining positive as $r$ decreases to $2M$. This trajectory has $e=1$ and reaches the event horizon. Thus an unrestricted claim about every inward particle would be false; the bound is the intended capture-from-infinity statement.

Invariant collision energy. At a collision, the total four-momentum is $P^{\mu }=m(u_1^{\mu }+u_2^{\mu })$. The invariant center-of-mass energy uses the covariant metric:The PDF instead prints a raised metric multiplying raised velocities. That contraction is not a tensor scalar; the corrected expression above, or a raised metric with lowered momenta, is required. Since each four-velocity has norm $-1$,Let $D_i=2M{r}^2-h_i^2(r-2M)$. For two inward trajectories the radial product is positive, and direct substitution into the Schwarzschild metric givesPutting these terms over one denominator proves

Horizon limit and the upper bound. A cancellation-free way to take the limit is to write $a_i=1+h_i^2/r^2$ and ${\dot{r}}_i=-\sqrt{1-f{a}_i}$. As $f\to 0^{+}$,Henceand thereforeFor particles captured from infinity, $|h_1-h_2|\le 8M$, giving $E_{\mathrm{com}}\le m\sqrt{20}$ in the horizon limit. For actual captured trajectories the inequality is strict, but the supremum is approached by $h_1\to 4M^{-}$ and $h_2\to -4M^{+}$. Their azimuthal starting positions can be chosen so that the trajectories meet. If particles may instead be prepared near the event horizon, the counterexample $h_1=10M$, $h_2=-10M$ has limiting energy $m\sqrt{104}$; no universal $m\sqrt{20}$ bound then follows.

For a massive particle of rest mass $m$, its four-momentum is $P^{\mu }=m{U}^{\mu }=(E/c,\mathbf{p})$, where the four-velocity is $U^{\mu }=\gamma (c,\mathbf{v})$, $E=\gamma m{c}^2$ and $\mathbf{p}=\gamma m\mathbf{v}$. With metric signature $(-,+,+,+)$, $P\cdot P=-m^2{c}^2$. A photon has four-momentum $(E/c,(E/c)\hat{\mathbf{n}})$, a future-pointing null vector. Four-momentum conservation states that the total incoming and outgoing four-momenta agree for an isolated interaction; this includes both energy and momentum conservation in every inertial frame.

Take the incoming photon direction as $x$. Its energy is $\hslash \omega =\mu m{c}^2$, so the total initial four-momentum isThe invariant mass available after photon absorption is therefore $M=m\sqrt{1+2\mu }$. In the centre-of-momentum frame, the two equal daughters have opposite momenta. Their total energy is at least their combined rest energy $2\alpha m{c}^2$, with equality precisely when both daughters have zero momentum in that frame. Thus the mass threshold after photon absorption isThe bound is attainable kinematically by taking each daughter four-momentum equal to $P/2$; each then has the required rest mass. It immediately gives ${\alpha }_{\max }\to 1/2$ as $\mu \to 0$.

At this threshold both daughters move with the centre-of-momentum frame. The common laboratory velocity follows from $\mathbf{v}=c\mathbf{P}/P^0$:For $\mu =0$, its continuous limiting value is zero. At smaller allowed daughter rest masses, some of the centre-of-momentum energy appears as their relative kinetic energy, so their four-momenta need not be $P/2$.

For a Lorentz transformation to an inertial frame moving at speed $v_B$ in the positive $x$ direction, write ${\beta }_B=v_B/c$ and ${\Gamma }_B=(1-{\beta }_B^2{)}^{-1/2}$. Any four-vector transforms asThis convention applies to $X=(ct,x,0,0)$ and uses the same $+---$ Minkowski metric as the four-momentum calculation.

The definition of proper time gives $d\tau =dt\sqrt{1-u^2/c^2}=dt/\gamma$ for $|u|<c$. Hence the four-velocity isSince $\dot{\gamma }={\gamma }^{3}u\dot{u}/c^2$, differentiating with respect to proper time givesHere $1+{\gamma }^2{u}^2/c^2={\gamma }^2$ simplifies the spatial component of the four-acceleration.

At each event, boost with $v_B=u$ to the instantaneous rest inertial frame. Then $A^{\prime 0}=0$ and $A^{\prime 1}=\gamma {\gamma }^4\dot{u}(1-u^2/c^2)={\gamma }^3\dot{u}$. Thus the signed proper acceleration for one-dimensional motion isThe last equality follows by differentiating $\gamma u$; its magnitude is the usual scalar proper acceleration.

If this signed proper acceleration is constant and the particle starts from rest, integration gives $\gamma u=at$, soIntegrating once more and imposing $x(0)=0$ yields the hyperbolic motion worldlineFor $a=0$ the continuous limiting solution is $x=0$. Finally, the Taylor series of the square root givesThis recovers constant-acceleration Newtonian mechanics at low speed while the exact relativistic speed remains less than $c$.

In the local rest frame the four-velocity is $(c,0,0,0)$, the current is $(q{n}_{0}c,0,0,0)$, and the pressureless particle fluid has only $T^{00}=m{n}_0{c}^2$ nonzero. Covariance therefore givesThe absence of random rest-frame velocities is what makes this a dust stress-energy tensor rather than a fluid with pressure. The Lorentz four-force on a particle and its equation of motion are $f^{\nu }=q{F}^{\nu }{}_{\mu }{u}^{\mu }$ and $m{u}^{\mu }{\partial }_{\mu }{u}^{\nu }=q{F}^{\nu }{}_{\mu }{u}^{\mu }$.

Particle-number conservation gives ${\partial }_{\mu }(n_0{u}^{\mu })=0$. It also follows from charge conservation ${\partial }_{\mu }{J}^{\mu }=0$ when $q\ne 0$, obtained by antisymmetric double differentiation of Maxwell's equations. ConsequentlyAdding part (i) proves ${\partial }_{\mu }(T_{\mathrm{em}}^{\mu \nu }+T_{\mathrm{fluid}}^{\mu \nu })=0$. Energy and momentum exchanged with the field cancel in the total tensor.

Let $f(r)=1-r_s/r$ and parametrize the timelike geodesic by proper time $\tau$. Time-translation and rotational symmetry conserve $E=f\dot{t}$ and $h=r^2\dot{\varphi }$ in the equatorial plane. The normalized four-velocity obeysSubstitution and multiplication by $f$ give ${\dot{r}}^2+f(1+h^2/r^2)=E^2$, orThe dot denotes a proper-time derivative, and $E,h$ are energy and angular momentum per unit rest mass.

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.

Because $\tau$ is proper time, the four-velocity has normalizationAt $t=0$, the initial data therefore giveBoth $t$ and $\tau$ are future oriented, so the positive root must be chosen:

A perfect fluid in general relativity has stress-energy tensorwhere $u^{\mu }{u}_{\mu }=-1$. Besides the metric tensor, one needs the energy density $\rho$, the pressure $P$, and three independent components of the normalized four-velocity $u^{\mu }$: five scalar functions of spacetime in total.

The four equations of stress-energy conservation, ${\nabla }_{\mu }{T}^{\mu \nu }=0$, split parallel and perpendicular to $u^{\mu }$ intoAn equation of state, such as a barotropic equation of state $P=P(\rho )$, supplies the fifth relation needed to close the evolution.

For a constant electromagnetic field tensor, the relativistic Lorentz force is a linear system with constant coefficients, so

PutThe initial four-velocity is $(u^0,u^1,u^2,u^3)={\gamma }_0(c,0,v_0,0)$. For parallel fields along $x$, the field tensor has one hyperbolic block in the $(0,1)$ plane and one rotation block in the $(2,3)$ plane. With the orientation convention in the question,Taking the initial spacetime point to be the origin and integrating $u^{\mu }=d{x}^{\mu }/d\tau$ gives the relativistic motion in parallel electric and magnetic fieldsThe expressions have their continuous $a\to 0$ or $b\to 0$ limits when one field vanishes; reversing the sign of $q$ reverses the electric acceleration and magnetic rotation.

Eliminating proper time between the first two equations yieldsAt early coordinate time,which is uniformly accelerated motion with the transverse relativistic inertia factor ${\gamma }_0$. At late positive time,so the longitudinal speed approaches the speed of light.

The $y$-$z$ projection satisfiesIt is therefore a circle of radius and proper-time period

For the pitch magnitude assume $v_0>0$ and put $\alpha =|q|E/(mc)$, $\Omega =|q|B/m$, andNumber the $n$th proper-time period as $[(n-1)\Delta \tau ,n\Delta \tau ]$. Its longitudinal displacement isConsequently, as $n\to \infty$,where

Let $X^{\mu }(\tau )$ be the worldline, $u^{\mu }=d{X}^{\mu }/d\tau$ its four-velocity, andThe relativistic Lorentz force in the constant background isBecause $F^3=0$, its exponential terminates:The particle starts from rest, soUsing the matrix from part (c) givesIntegrating from the origin and using $X^0=ct$ yields the parametric trajectoryThis is the relativistic trajectory in a constant null crossed field. The real cubic relation for $t(\tau )$ is strictly increasing, so it determines $\tau$ uniquely as a function of coordinate time if an explicit $\mathbf{x}(t)$ is desired.

A static worldline has four-velocityIts four-acceleration is $a^{\mu }=u^{\nu }{\nabla }_{\nu }{u}^{\mu }$. The only nonzero component isTaking its norm with $g_{rr}=f^{-1}$ gives the proper acceleration of a static Schwarzschild observerIt points radially outward, because that is the acceleration needed to prevent the station from falling. As $r_{\mathrm{st}}\to \infty$ the square-root factor tends to one, and $|a|\sim M/r_{\mathrm{st}}^2$, the Newtonian gravitational field in units $G=1$.

Let $x^{\mu }=(ct,\mathbf{x})$, let $\tau$ be proper time, and define the four-velocity and four-momentum byIf $F^{\mu \nu }$ is the electromagnetic field tensor, the covariant Lorentz force law isThe temporal component and three spatial components respectively giveHere $\mathcal{E}=\gamma m{c}^2$ is the relativistic energy and $\mathbf{p}=\gamma m\mathbf{v}$ is the relativistic momentum. In the nonrelativistic limit, $\gamma \to 1$, so the spatial equation becomesthe usual Lorentz-force law.

The four-velocity and particle energy areWith the conventions for the given metric, $F^{0i}=E_i/c$. The temporal component of the covariant Lorentz force is thereforeSince $dt/d\tau =\gamma$, cancellation of $\gamma /c$ gives the relativistic electromagnetic work-energy theoremThe absence of $\mathbf{B}$ reflects that magnetic force is perpendicular to the velocity and does no work.

With signature $(-,+,+,+)$ and units $c=1$, parametrizing a timelike worldline by proper time makes its four-velocity satisfy $U^a{U}_a=-1$.