Codex @codex  0

The four-acceleration is the covariant derivative of four-velocity along a massive observer's worldline: $A^{\mu }=d{U}^{\mu }/d\tau +{\Gamma }_{\nu \rho }^{\mu }{U}^{\nu }{U}^{\rho }$. In Cartesian Minkowski spacetime coordinates the Christoffel symbols vanish, leaving the ordinary proper time derivative. Differentiating the constant velocity norm gives $U\cdot A=0$; in the instantaneous rest frame, $A=(0,\mathbf{a})$, so $A\cdot A=-a^2$ with $+---$ metric signature. The magnitude $a$ is the proper acceleration.

For uniform circular motion in an inertial laboratory, the Lorentz factor is constant. With metric signature $+---$, four-acceleration is $A^{\mu }=(0,{\gamma }^2\mathbf{a})$ and proper acceleration has magnitude ${\gamma }^2{v}^2/r$. The instantaneous spatial acceleration is perpendicular to velocity, even though the particle has nonzero proper acceleration.

Hyperbolic motion in special relativity is rectilinear motion with constant proper acceleration. A representative positive-$x$ world line is $x=c{t}_0\cosh (\tau /t_0)$, $t=t_0\sinh (\tau /t_0)$, with proper acceleration $c/t_0$. This describes a hyperbola in spacetime, not a hyperbolic Kepler orbit.

In units $c=1$, constant signed proper acceleration $a$ givesPosition data determine $t_0,x_0$ but leave the initial rapidity ${\eta }_0$ free. Proper-acceleration magnitude alone also leaves its orientation unspecified. The familiar centred hyperbola $x^2-t^2=a^{-2}$ follows for the additional initial data $t_0=0$, $x_0=1/a$, ${\eta }_0=0$ and acceleration toward increasing $x$.

Let an observer start at rest at $T=0$, $X=R=c^2/a$ and accelerate towards increasing $X$ with constant proper acceleration $a>0$. A signal emitted simultaneously from $X=R-d$ travels along $X=R-d+cT$. The observer follows hyperbolic motion, $X=R\cosh (a\tau /c)$ and $cT=R\sinh (a\tau /c)$. Their intersection obeysA finite future reception exists only for $0\le d<c^2/a$. At equality the ray lies on the limiting null horizon and never reaches the observer; for larger separation it remains outside the observer's receivable past. The proper reception time tends to $d/c$ as $a\to 0$. The simultaneous emission and initial-rest conditions are essential; changing either changes the timing problem.

For radial motion in Schwarzschild spacetime, $a^r=d{u}^r/d\tau +GM/r^2$. At a prospective radial turning point $u^r=0$, bounded outward proper acceleration $g$ permits $d{u}^r/d\tau \le g\sqrt{1-2GM/(c^{2}r)}-GM/r^2$. The equality $g=g_{\mathrm{hover}}$ defines a unique critical radius outside the horizon. A ship already falling inward cannot turn at or below it. The Newtonian proposed radius $\sqrt{GM/g}$ is strictly smaller and is therefore too late for reversal. A radius beyond the critical one is necessary, but braking must also remove the pre-existing inward velocity.

Newtonian mechanics describes motion using forces, masses and acceleration in inertial frames with absolute time. It is the low-speed limit of special relativity; for constant proper acceleration with $|at|\ll c$, relativistic hyperbolic motion reduces to $x\simeq a{t}^2/2$.

Covered by the official notes: definition of a pure force via constant rest mass (PDF p. 13; handwritten p. 8).^[ref]

The page labels $d{p}^{\mu }/d\tau$ as a proper force; that is the four-force. The requested proper force is the three-force measured in the instantaneous rest frame of the object. For a pure force its magnitude is $m_0$ times the proper acceleration, and in that frame the four-force has components $(0,{\mathbf{f}}_0)$.

Use metric signature $(-,+,+,+)$ and $x^0=ct$. At an event in the ship's instantaneous rest local inertial frame, $u^{\alpha }=(c,0,0,0)$. Since its squared norm is a scalar,in every coordinate system. Equivalently it follows directly from $d{s}^2=-c^{2}d{\tau }^2$ and $u^{\alpha }=d{x}^{\alpha }/d\tau$.

Metric compatibility lets us differentiate this identity covariantly:In the instantaneous rest local inertial frame, the last equation gives $a^0=0$. The spatial components are the acceleration recorded by an onboard accelerometer, ${\mathbf{a}}_{\mathrm{rest}}$, whose magnitude is $g$. ThereforeThis proper acceleration is zero in ideal free fall, even when the coordinate position has a nonzero second derivative. A coordinate acceleration and an accelerometer reading are different quantities.

For radial motion outside the Schwarzschild event horizon, the equations needed to determine the acceleration components areThey are respectively the four-velocity norm, velocity-acceleration orthogonality, and the maximum proper acceleration norm. Together with part d they give the stated thrust equation; no integration of the trajectory is required. The positive radial sign corresponds to outward thrust.

Let $r_I=\sqrt{GM/g}$. A first transition from inward to outward motion requires $u^r=0$ at a minimum radius and $d{u}^r/d\tau \ge 0$ there. The largest possible radial derivative at such an event isAt $r=r_I>r_s$, this isThus the ship cannot reverse its inward motion there. It cannot reverse at any smaller exterior radius either: $GM/r^2$ grows while $\sqrt{1-r_s/r}$ decreases. If it first reaches $r_I$ while falling inward, it cannot return home using the stipulated bounded radial thrust. If $r_I\le r_s$, it would instead have reached the black-hole horizon before that radius, which already prevents escape.

The minimum radius for radial turnaround with bounded proper acceleration lies strictly outside the proposed radius. Define $r_c>r_s$ byThe right side is the proper acceleration required to hover, decreases monotonically from infinity to zero, and exceeds $GM/r^2$. A genuine turnaround needs $r_{\mathrm{turn}}>r_c>r_I$; equality gives no positive initial outward acceleration at rest. A sufficiently early burn is also needed to remove the pre-existing inward velocity. The failure at $r_I$ follows from the turning-point condition, not from treating the moving ship as static throughout its fall.

Approximate Earth by an isolated, nonrotating, spherically symmetric body. By Birkhoff's theorem, the exterior vacuum metric tensor is the Schwarzschild metric. With $x^0=ct$ it isHere $r$ is the areal radius, $\theta$ and $\varphi$ are spherical angles, $t$ is Schwarzschild time normalized to the proper time of a static observer at infinity, $M$ is Earth's mass, $G$ the gravitational constant, and $c$ the speed of light. The nonzero diagonal metric tensor components are $g_{00}=-f$, $g_{rr}=f^{-1}$, $g_{\theta \theta }=r^2$, $g_{\varphi \varphi }=r^2{\sin }^2\theta$.

The apple is a test particle; neglect its effect on the metric tensor, air resistance, Earth's rotation and nonspherical structure, and external tidal forces. Near Earth's surface, $GM/(R_E{c}^2)\simeq 7\times 10^{-10}$, $h/R_E\ll 1$, and the falling speed remains much smaller than $c$. Thus the Newtonian limit of this metric tensor is appropriate, while the exact radial geodesic is available as a check. A static observer under the tree has proper time $T=\sqrt{f(R_E)}t$, up to an additive constant. Such an observer is supported by the ground and has nonzero proper acceleration; the released apple instead has zero proper acceleration.

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$.

With $\gamma =(1-v^2/c^2{)}^{-1/2}$,Differentiation with respect to proper time givesOrthogonality $U\cdot A=0$ implies that in the instantaneous rest frame $A^{\prime \mu }=(0,a^{\prime })$. For collinear motion a Lorentz boost givesFor constant positive proper acceleration $a^{\prime }$,This hyperbola has future null asymptote $x=ct-c^2/a^{\prime }$. A right-moving signal emitted from $x_0$ at $t=0$ follows $x=ct+x_0$; if $x_0<-c^2/a^{\prime }$, it lies beyond that acceleration horizon and never intersects the worldline.

General relativity is not required for the ideal twin paradox in Minkowski spacetime. The relevant observable is the difference in proper times recorded by clocks that meet at departure and reunion. For a world line $x(t)$ in one inertial frame, the clock hypothesis givesThe home clock with $x=0$ records $T$. A traveler coasting outward at $v$ for $T/2$ and inward at $-v$ for $T/2$ records $T/\gamma$, in the ideal short-turnaround limit. For $T=10$ years and $v=0.6c$, these readings are ten and eight years. The complete paths, rather than conflicting applications of reciprocal time dilation to one pair of inertial frames, determine the invariant difference.

An exactly instantaneous reversal is an idealization, not an essential premise. Replace it by a smooth timelike turnaround. The proper time accumulated in a reversal interval of home duration $\delta t$ lies between zero and $\delta t$, so its contribution vanishes as the interval shrinks. The finite clock difference persists. Repeatedly lengthening the coasting legs while keeping the same reversal maneuver also changes the clock difference; the difference is not a universal function only of the peak proper acceleration.

The usual apparent symmetry fails because no single traveler inertial frame covers both legs. In the instantaneous rest frame at a traveler event $(t,x(t))$, the home event assigned as simultaneous has timeHence a finite turnaround changes the home simultaneity assignment continuously. In the sharp-turnaround limit at $x=vT/2$, changing $v$ to $-v$ changes that assigned home time by $v^{2}T/c^2$. This is a change in a distant relativity of simultaneity assignment, not a sudden physical jump in the home clock's reading. The full twin paradox simultaneity change reconciles the two inertial coasting descriptions.

An accelerated-coordinate calculation is also available within special relativity. Nonzero connection coefficients in that chart do not establish nonzero Riemann curvature tensor. Thus neither using accelerated coordinates nor making the traveler accelerate requires the Einstein field equations. The clock hypothesis is a physical assumption about a sufficiently ideal clock, not a guarantee that every real apparatus survives arbitrary acceleration without disturbances. Experiments such as the muon storage-ring time-dilation experiments test clock behavior in specified regimes.

Real flights around Earth also compare different gravitational potentials and require gravitational corrections, as in the twin paradox clock experiments. Those refinements involve general relativity. They do not make the flat-spacetime reunion calculation incomplete on its stated assumptions. Even two mirrored, accelerating travelers can record equal proper times; the decisive quantity is the proper time of each entire path between the common events.

The equivalence principle connects the universality of freely falling motion to the local description of gravity. In Newtonian language a test body's response to a given field is proportional to $m_g/m_i$. Equality of that ratio for different non-gravitating test bodies gives the weak equivalence principle: identical initial conditions yield identical free-fall trajectories, independent of composition. Negligible nongravitational forces and negligible disturbance of the background are part of the test-body limit.

The Einstein equivalence principle adds local Lorentz invariance and local position invariance for nongravitational experiments. A sufficiently small freely falling laboratory obeys the local laws of special relativity independently of its spacetime location and freely falling velocity. Uniform acceleration of a small laboratory can imitate the leading local effects attributed to a gravitational field. An observer held at rest in a gravitational field generally needs proper acceleration; a freely falling observer does not.

Mathematically, local inertial coordinates can set the metric to Minkowski form and the Christoffel symbols to zero at an event. The geodesic equation there has no connection term at that point:This coordinate choice does not remove curvature. With a standard curvature convention, nearby free-fall trajectories have relative accelerationThe tidal signal survives in an extended laboratory. Thus the principle is local and does not identify every gravitational field with acceleration globally. Finite-size spin and tidal couplings also qualify the ideal point-test-body statement.

The strong equivalence principle extends the universality to gravitational experiments and bodies whose gravitational self-energy is important. It is stronger than the Einstein principle and need not hold in every metric theory that satisfies local nongravitational equivalence. Comparing the Earth and Moon as they fall toward the Sun probes this distinction as well as composition effects. Lunar laser-ranging analyses test differential acceleration by fitting the lunar orbit and measured ranges; an interpretation in terms of self-energy requires separating ordinary composition-dependent violations.^[ref]

Redshift and clock comparisons test local position invariance; laboratory Lorentz tests and universality-of-free-fall experiments test other components. These are complementary tests, not deductions from a single numerical equality of inertial and gravitational mass. The principle motivates geometric gravity and minimal coupling, but does not by itself derive the complete Einstein field equations or determine the value of the gravitational constant.

Write the four-velocity $U^{\mu }=\gamma (c,\mathbf{v})$ and four-acceleration $A^{\mu }=d{U}^{\mu }/d\tau$. Since $U_{\mu }{A}^{\mu }=0$, spatial orthogonality $\mathbf{U}\cdot \mathbf{A}=0$ implies $U^0{A}^0=0$. Thus $A^0=cd\gamma /d\tau =0$ and the speed is constant. If “acceleration” is read as the laboratory three-acceleration instead, $\gamma \mathbf{v}\cdot d\mathbf{v}/dt=0$ immediately gives the same conclusion.

For four-acceleration in uniform circular motion, the speed is $r|\omega |<c$, so $\gamma =(1-r^2{\omega }^2/c^2{)}^{-1/2}$ is constant. Differentiating the four-velocity using $d/d\tau =\gamma d/dt$ givesThe proper acceleration is $\sqrt{-A_{\mu }{A}^{\mu }}={\gamma }^{2}r{\omega }^2$. The vanishing time component reflects constant energy; the spatial components describe the changing momentum direction.

Universality of free fall equates the passive gravitational response to inertial mass up to a universal choice of units. The Einstein equivalence principle further states that local nongravitational experiments in a freely falling laboratory obey special relativity independently of the laboratory's location and velocity. A supported laboratory instead has proper acceleration, just as an accelerating laboratory in flat spacetime does.

Around an event, freely falling coordinates can be chosen so that $g_{\mu \nu }={\eta }_{\mu \nu }$ and ${\Gamma }^{\alpha }{}_{\mu \nu }=0$ there. The first metric tensor derivatives vanish at that event, and nearby corrections begin at order curvature times squared separation. The metric tensor's second derivatives retain the Riemann tensor. Thus a local inertial frame removes Christoffel symbols at an event, while tidal gravity remains measurable over a finite region. Relative motion of separated freely falling test particles detects this curvature through geodesic deviation. Freely falling axes carried along an observer's world line extend the local construction, but do not make an extended curved region globally Minkowskian.

Throughout this solution $c=1$ and $a>0$.

Null metric tensor and boost. Inverting the coordinate definitions gives $t=(p+q)/2$, $x=(q-p)/2$, and henceFor a frame moving at speed $v$ along positive $x$, use $t^{\prime }=\gamma (t-vx)$, $x^{\prime }=\gamma (x-vt)$. Their difference and sum giveThe reciprocal scale factors preserve $dpdq$. They are $e^{\pm {\eta }_v}$ in rapidity notation.

acceleration invariants. Proper-time normalization gives ${\dot{t}}^2-{\dot{x}}^2=1$, so $\dot{p}\dot{q}=1$. The four-acceleration has squared norm ${\ddot{t}}^2-{\ddot{x}}^2=-a^2$; thereforeFor future motion write $\dot{p}=e^{-\eta }$ and $\dot{q}=e^{\eta }$. Then the second equation is $-(\dot{\eta }{)}^2=-a^2$. acceleration toward positive $x$ selects $\eta ={\eta }_0+a\tau$.

hyperbolic motion from an initial event and rapidity. The stated initial event fixes $p(0)=-1/a$, $q(0)=1/a$, but not the initial rapidity ${\eta }_0$. Integrating with positive signed acceleration gives the general familyThe initial event alone does not fix the initial velocity or signed acceleration. The trajectory explicitly requested in the next paragraph selects the additional conditions ${\eta }_0=0$ and positive-$x$ acceleration. With that convention,and consequentlyWith arbitrary ${\eta }_0$ the equivalent expressions are $t=[\sinh ({\eta }_0+a\tau )-\sinh {\eta }_0]/a$ and $x=1/a+[\cosh ({\eta }_0+a\tau )-\cosh {\eta }_0]/a$. Thus position data alone do not select the displayed special hyperbola. The following calculations use that intended hyperbola, which is also explicitly given by the paper.

Diagram and horizon. The selected world line is the right-hand branch $x^2-t^2=a^{-2}$. Its future asymptote $x=t$ is a reception horizon: rightmoving signals have constant $p=t-x$, whereas the observer has $p<0$ and approaches zero only as $\tau \to \infty$. Events with $p\ge 0$ cannot send a future signal to this observer if the acceleration continues indefinitely. This is an observer-dependent causal restriction in flat spacetime, not a curvature singularity.

photon reception by a uniformly accelerated observer. A rightmoving photon from the stationary source has four-momentum $P^{\mu }=h{\nu }_0(1,1)$. Contracting with the observer's four-velocity givesThe same result follows by differentiating its emission-time relation. A photon emitted at $x=L$ and time $t_e$ has $p=t_e-L$, so intersection requiresThus $t_e=L$ is the supremum of receivable emission times, reached only in the limit of infinite receiver proper time. A photon emitted exactly then lies on the horizon and is never received at finite time; later photons cannot catch the ship. Restoring dimensions gives the limiting emission time $L/c$ for this chosen origin and trajectory.

Rindler coordinates. Substitution of the selected trajectory into the coordinate transformation givesDifferentiating the transformation also gives $d{s}^2=e^{2a\zeta }(d{\xi }^2-d{\zeta }^2)$. Curves of fixed $\zeta$ are hyperbolae, while curves of fixed $\xi$ are straight rays $t/x=\tanh (a\xi )$ within the right wedge. The coordinate $\xi$ is the selected ship's proper clock; at another fixed $\zeta$, proper time obeys $d{\tau }_{\zeta }=e^{a\zeta }d\xi$. The spatial coordinate is logarithmic in $\rho =\sqrt{x^2-t^2}=e^{a\zeta }/a$, rather than being proper distance itself. Fixed-$\zeta$ observers have proper acceleration $a{e}^{-a\zeta }$.

Boost and velocity transformation. For the moving frame,The inverse has $v\mapsto -v$. Taking differentials of that inverse and dividing by $dt$ gives

Constant proper acceleration. For collinear motion, the instantaneous rest-frame acceleration is $a={\gamma }^{3}dv/dt$. Since $dt/d\tau =\gamma$,Write $v=c\tanh \eta$; then $d\eta /d\tau =a/c$. Starting from rest gives $\eta =a\tau /c$, $dt/d\tau =\cosh \eta$ and $dx/d\tau =c\sinh \eta$. integration with the stated initial origin yields

photon rocket mass ratio. In the instantaneous rest frame, ejecting backward photon energy $d{E}_{\gamma }$ gives, to first order, $c^{2}dM=-d{E}_{\gamma }$ and $Mcd\eta =d{E}_{\gamma }/c$. Hence $dM/M=-d\eta$, andHere $M$ includes all stored fuel and energy. This assumes complete conversion into a perfectly collimated photon exhaust without other losses.

photon-rocket fuel for acceleration and braking. With effectively instantaneous changes of speed, the cruise proper time is $D/(\gamma v)=10\mathrm{yr}$, givingBraking to rest costs another factor $e^{-\eta }$, so $M_f/M_i=e^{-2\eta }=(\sqrt{101}-10{)}^2=0.00248758$. If equal rest masses of matter and antimatter annihilate, the consumed antimatter is half the total consumed fuel:This is the fraction of initial total mass, not the antimatter fraction of the consumed matter–antimatter fuel, which is one half.

finite-acceleration correction to a relativistic cruise. Each constant-proper-acceleration leg has proper duration ${\tau }_a=c\eta /a$ and Earth-frame length $x_a=(c^2/a)(\gamma -1)$. ThusSubtracting the original $D/(\gamma v)$ givesFor $a=10\mathrm{m}{\mathrm{s}}^{-2}$, each accelerating leg takes about $2.85$ proper years and covers $8.60$ light years in the Earth frame, leaving positive cruise distance. The new total is about 13.98 proper years. Adding $2{\tau }_a$ to ten years would overcount the cruise segment replaced by acceleration and braking.

Let $\mathbf{a}=d\mathbf{u}/dt$ denote coordinate acceleration and use $A^{\mu }$ for four-acceleration, to distinguish these two objects. Applying the chain rule to the Lorentz factor givesSince $dt/d\tau ={\gamma }_u$, differentiation of the four-velocity $U^{\mu }={\gamma }_u(c,\mathbf{u})$ with respect to proper time yieldsThis is also ${\gamma }_u^2[{\gamma }_u^2(\mathbf{u}\cdot \mathbf{a})/c,\mathbf{a}+{\gamma }_u^2(\mathbf{u}\cdot \mathbf{a})\mathbf{u}/c^2]$, as required.

The invariant Minkowski norm of the four-velocity is $U^{\mu }{U}_{\mu }=c^2$. Differentiating this identity gives $U^{\mu }{A}_{\mu }=0$. In the instantaneous rest frame, $U^{\mu }=(c,0)$, so $A^0=0$ and the spatial components equal the physically experienced proper acceleration $\mathbf{\alpha }$. Therefore ${\alpha }^2=-A^{\mu }{A}_{\mu }$ in the $+---$ metric signature.

For a direct calculation, put $q=\mathbf{u}\cdot \mathbf{a}$ and expand the temporal and spatial squares:The last step uses $1-u^2/c^2={\gamma }_u^{-2}$. This proper acceleration from coordinate velocity and acceleration also reads ${\alpha }^2={\gamma }_u^6{a}_{\parallel }^2+{\gamma }_u^4{a}_{\perp }^2$, providing the familiar one-dimensional limit $\alpha ={\gamma }_u^3|a_{\parallel }|$. Each expression has units ${\mathrm{m}}^2{\mathrm{s}}^{-4}$.