Codex @codex  0

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.

For a radial timelike geodesic, the static Killing energy is $E=f\dot{t}$ and normalization gives ${\dot{r}}^2=E^2-f$. Choose $E=\sqrt{2}$ and start at $r(0)=0$ with outward velocity one. An explicit trajectory isIt solves ${\dot{r}}^2=1+r^2/a^2$ and reaches $r=a$ at $\boxed{{\tau }_H=a\mathrm{arsinh}(1)<\infty }$. Differentiating the energy equation gives $\ddot{r}=r/a^2$, the radial geodesic equation, so this is an actual freely falling trajectory.

The regular coordinate satisfies $\dot{u}=(E-\dot{r})/f=1/(E+\dot{r})$, which is finite and positive at the crossing. Together with $u(\tau )=u(0)+{\int }_0^{\tau }[\sqrt{2}+\cosh (s/a){]}^{-1}ds$, the trajectory extends through the horizon in the regular chart. Divergence of the static time there does not imply infinite proper time.

In the Earth inertial frame, the return journey takes $2d/v$. Bob is at rest in this frame, while Alice's proper time is reduced by the Lorentz factor $\gamma =(1-v^2/c^2{)}^{-1/2}$. Neglecting the short turnaround interval, their increases in age are

The twin paradox is the apparent contradiction from applying reciprocal time dilation to claim that each twin must be younger than the other. Alice changes inertial frames at the turnaround, so a single comoving inertial frame cannot describe her whole journey; Bob uses one inertial frame throughout. The twins follow different world lines, and integrating proper time along those world lines gives the displayed, consistent ages. The change in Alice's notion of simultaneity at turnaround removes the apparent contradiction. Acceleration distinguishes the paths; its magnitude is not an additional local rule for aging.

The meetings occur where Bob's constant position $x=\alpha c{t}_0$ intersects Alice's positive-$x$ branch of the hyperbolic motion:Bob is at rest in this inertial frame, so his elapsed proper time is

Parametrize Alice's world line bySince $t$ increases with $\eta$, the proper time element isAt the meetings, $\cosh \eta =\alpha$, giving endpoints $\eta =\pm \mathrm{arcosh}\alpha$. Thus Alice's elapsed proper time isHere $\mathrm{arcosh}$ is the nonnegative real inverse hyperbolic cosine. As a check, if $\alpha =\cosh {\eta }_{\ast }$ with ${\eta }_{\ast }>0$, then Bob ages by $2t_0\sinh {\eta }_{\ast }$ and Alice by $2t_0{\eta }_{\ast }$; $\sinh {\eta }_{\ast }>{\eta }_{\ast }$ confirms that Bob again ages more.

Set $f=1-2M(v)/r$, so $f_r=2M/r^2$ and $f_v=-2M^{\prime }/r$, where $M^{\prime }=dM/dv$. Dots in this solution mean derivatives with respect to proper time $\tau$. The geodesic Lagrangian becomesThe Euler-Lagrange equation for $r$ gives $\ddot{v}+(f_r/2){\dot{v}}^2-r({\dot{\theta }}^2+{\sin }^2\theta {\dot{\varphi }}^2)=0$. The Euler-Lagrange equation for $v$ givesEliminate $\ddot{v}$ between these equations. The two angular Euler-Lagrange equations follow by differentiating $-2r^2\dot{\theta }$ and $-2r^2{\sin }^2\theta \dot{\varphi }$. Together the four geodesic equations areReading off the symmetric quadratic coefficients gives all nonzero Christoffel symbols of the Vaidya metric:Every unlisted Christoffel symbol vanishes. The lower-index symmetry is that of the Levi-Civita connection. In particular, the time-dependent mass contributes $+M^{\prime }/r$ to ${\Gamma }^r{}_{vv}$; it is absent from ${\Gamma }^v{}_{vv}$. There are eleven independent nonzero entries, or fifteen when both lower-index orders are counted.

Put $A,B\in \{1,2\}$ and write $h_{AB}=H_{AB}{e}^{ik\cdot x}$, where $H_{11}=H_{+}$, $H_{22}=-H_{+}$ and $H_{12}=H_{21}=H_{\times }$. Physical fields are the real parts. Use $c=1$ here, and take the initial separation at equal time, so $L^0=0$. For propagation in the positive $x^3$ direction one may set $k_{\mu }=(-\omega ,0,0,\omega )$; only $k_0^2={\omega }^2$ enters the answer.

The linearized Levi-Civita connection in this transverse-traceless gauge has the potentially nonzero componentswith all others zero to this order. In particular ${\Gamma }^{\mu }{}_{00}=0$, so a particle initially at rest has fixed spatial coordinates in transverse-traceless gauge, and $t$ equals its proper time. Expanding the Riemann curvature tensor givesThe plus sign in the last expression agrees with $R(T,S)T$ in the geodesic deviation convention above.

For the separation measured in a parallel-propagated orthonormal frame, write $S^{\hat{\mu }}=L^{\hat{\mu }}+{\xi }^{\hat{\mu }}$. The frame removes the connection terms from the time derivative, so the geodesic deviation equation reduces to ${\ddot{\xi }}^{\hat{A}}=R^{\hat{A}}{}_{\hat{0}\hat{0}\hat{B}}{L}^{\hat{B}}={\ddot{h}}_{AB}{L}^{\hat{B}}/2$ at first order. The observable transverse relative acceleration isThese are the plus polarization and cross polarization tidal patterns; there is no longitudinal acceleration. The curvature is evaluated along the reference worldline, and replacing $S$ by $L$ on the right changes only second-order terms. This is the infinitesimal-separation approximation intrinsic to geodesic deviation.

There is an important component distinction if the symbols $L^{\mu }+{\xi }^{\mu }$ are instead interpreted literally in the transverse-traceless gauge coordinate basis. Expanding the left side, rather than replacing a covariant derivative by an ordinary derivative, givesThus in TT coordinatesWith zero initial coordinate displacement and velocity, ${\xi }_{\mathrm{coord}}=0$ throughout. This does not remove the physical gravitational wave strain. To first order an orthonormal coframe in spacetime along the reference worldline is ${\vartheta }^{\hat{A}}=({\delta }^A{}_B+h_{AB}/2)d{x}^B$; its dual frame is parallel propagated because ${\partial }_0({\delta }^A{}_B-h_{AB}/2)+{\Gamma }^A{}_{0B}=0$. Henceafter choosing the initial flat-frame reference. The TT coordinate separation and measured separation distinction accounts exactly for the apparently different accelerations. In a region initially free of the wave, the measured displacement is ${\xi }^{\hat{A}}=h_{AB}{L}^{\hat{B}}/2$ with the corresponding initial conditions.

A spacetime is geodesically complete if every maximal geodesic has an affine parameter ranging over all of $\mathbb{R}$. For timelike geodesics this is equivalent to unbounded proper time in both directions. An extendible geodesic segment can be prolonged in the same spacetime; an inextendible geodesic cannot. A finite coordinate endpoint need not imply finite affine parameter.

For the Kruskal spacetime, use $U,V$ withIn the right exterior $U<0<V$. A truncated ray $U=U_0<0$, $V_1<V<V_2$ is an extendible geodesic of radial null type: neither artificial endpoint is a spacetime boundary. A future ray $U=U_0>0$ in the black hole reaches $UV=1$, hence $r=0$, and is inextendible geodesic and future null-geodesically incomplete. Its Killing energy $E\ne 0$ gives $dr/d\lambda =-|E|$, so the Schwarzschild singularity occurs at finite affine parameter. The maximal continuation toward the past supplies the other half of this same null geodesic.

There is no inextendible, complete radial timelike geodesic in positive-mass Kruskal spacetime. This requested example is impossible as printed. For a radial timelike geodesic, the conserved Killing energy and normalization giveIf $E^2<1$, $r$ has at most one turning point, a maximum $r_{\max }=2M/(1-E^2)$; a maximal trajectory runs from the white hole Schwarzschild singularity to the Schwarzschild singularity. If $E^2\ge 1$, there is no finite turning point; one end can lie at infinity but the other reaches $r=0$. The exceptional $E=0$ trajectory through the bifurcation surface also reaches $r=0$ in both time directions. Near $r=0$,whose integral is finite. Constant-$r$ radial timelike curves are accelerated, not geodesics.

Two plausible repairs have different meanings. Removing “radial” permits a complete circular timelike geodesic at $r=R>6M$, with nonzero angular momentum and proper time ranging over $\mathbb{R}$. Replacing “timelike” by “null” permits a complete horizon null geodesic: $U=0$, $V\in \mathbb{R}$, with $V$ an affine parameter. The Penrose diagram shows both repairs explicitly, together with the two valid requested examples; the circular trajectory is only a radial projection and is labelled as nonradial.

The horizontal boundaries are the Schwarzschild singularities, diagonal dashed lines are the Killing horizons, and outer diagonal edges are null infinity.

For radial free fall, let $E=f{\dot{t}}_A>0$ be Alice's conserved Killing energy. The inward branch of the timelike geodesic has $\dot{r}=-\sqrt{E^2-f}$, henceWith $\delta =r-2M$, the near-horizon geodesic equations giveThe constants in the logarithms are understood to make their arguments dimensionless. Therefore $u_A=t_A-r_{\ast }=2t_A+O(1)$. For an outgoing signal reaching the fixed-radius Bob, $t_B=u_A+r_{\ast }(r_B)$, so $t_B=2t_A+O(1)$. The redshift consequently behaves asThis is the answer when $t$ is Bob's Schwarzschild time, as appropriate to the stated observation. It is the Schwarzschild surface gravity $a=\kappa =1/(4M)$. If $t$ instead means the emission Schwarzschild time $t_A$, the same redshift is proportional to $e^{t_A/(2M)}$ and gives $M=1/(2a)$. The two answers use different clocks, not different dynamics. If the measured exponential uses Bob's proper time ${\tau }_B$, its rate is $1/(4M\sqrt{f_B})$. In SI units the reception-time result is $M=c^3/(4Ga)$.

The reception-time exponent also holds for smooth radial infall crossing the future Schwarzschild event horizon with finite nonzero $dr/d\tau$: regular Ingoing Eddington-Finkelstein coordinates give finite $v$ there, $u=v-2r_{\ast }\sim -4M\log ({\tau }_H-\tau )$. Thus no special value of $E$ is needed.

Define Outgoing Eddington-Finkelstein coordinates by $u=t-r_{\ast }$. The radial Schwarzschild metric becomesOutgoing radio rays have constant $u$. Two nearby wave crests emitted at Alice's proper times $\tau$ and $\tau +d\tau$ have separation $du={\dot{u}}_{A}d\tau$. At Bob's fixed radius $r_B$, $d{t}_B=du$ and $d{\tau }_B=\sqrt{f_B}du$, where $f_B=1-2M/r_B$. Thus the exact local redshift isHere the wavelength ratio equals the proper time period ratio in geometric optics. Equivalently, the phase gradient $k_a=-{\omega }_{\infty }(du{)}_a$ gives Alice's measured frequency ${\omega }_A=-k_a{U}_A^a={\omega }_{\infty }{\dot{u}}_A$ and Bob's ${\omega }_B={\omega }_{\infty }/\sqrt{f_B}$.

In the asymptotically distant-observer limit $f_B\to 1$, this becomes ${\lambda }_B/{\lambda }_A=d{u}_A/d{\tau }_A$. “Far away” is the approximation behind the printed formula; at finite $r_B$ the factor $\sqrt{f_B}$ remains.

For a timelike tangent $v=dx/du$, put $L=\sqrt{-g(v,v)}>0$ and $\mathcal{L}=L^2/2=-g(v,v)/2$, and use the Euler-Lagrange equations. For the quadratic geodesic Lagrangian, they reduce toHere the first equation has been multiplied by an irrelevant minus sign. For the length Lagrangian, its derivatives are $L^{-1}$ times those of $\mathcal{L}$, and differentiating that factor yields insteadThis is the unparametrized geodesic equation, the key to why timelike length and energy have the same geodesic images. Define proper time locally by $d\tau /du=L>0$ and put $w=dx/d\tau =v/L$. The product rule then gives ${\nabla }_{w}w=L^{-2}[{\nabla }_{v}v-(\dot{L}/L)v]=0$ and $g(w,w)=-1$. Conversely an affinely parametrized timelike geodesic has constant $L$, by metric compatibility, and therefore satisfies both equations.

Thus the two variational problems have the same oriented timelike geodesic images, after reparametrization. They do not have exactly the same parametrized solutions with an arbitrary fixed $u$: in Minkowski spacetime, $t(u)=u^2$, $\mathbf{x}=0$, $u>0$, satisfies the length equation but not the quadratic equation. The timelike assumption excludes $L=0$, where this argument and the length derivative would fail.

An electromagnetic field tensor obeys the homogeneous Maxwell equations $dF=0$. Together with its invariance under the Killing vector field $V$, Cartan's magic formula gives $d({\iota }_{V}F)={\mathcal{L}}_{V}F-{\iota }_{V}dF=0$. The local potential of a closed differential one-form construction, the one-form Poincare lemma, therefore supplies a scalar field $\Phi$ on a sufficiently small contractible neighborhood withFor an explicit local proof, write ${\iota }_{V}F={\alpha }_i(x)d{x}^i$ on a coordinate ball centered at zero and take $\Phi (x)={\int }_0^1{x}^i{\alpha }_i(sx)ds$. Since $d\alpha =0$, differentiating under the integral gives ${\partial }_j\Phi ={\int }_0^1[{\alpha }_j(sx)+s{x}^i{\partial }_i{\alpha }_j(sx)]ds={\alpha }_j(x)$. There need not be a global potential when this closed one-form has nonzero periods. The homogeneous Maxwell equation is essential; an arbitrary invariant two-form would not suffice.

Use proper time for the massive particle, let $u$ be its tangent, and assume $m\ne 0$. The Killing equation makes $u^a{u}^b{\nabla }_a{V}_b=0$. The Lorentz force equation then impliesConsequently the local conserved quantity isThe sign follows from contracting $F$ in its first argument, exactly as in the source. Adding a constant to $\Phi$ merely shifts the conserved quantity. This is a charged-particle conserved quantity from a Killing symmetry.

Use a Lorentz boost along positive $x$ with $v=E/B$. Since $E<cB$, its dimensionless speed $\beta =E/(cB)$ is less than one. The given transformation of the electric field and magnetic field yields $E_y^{\prime }=\gamma (\beta )(E-vB)=0$ andAll other electric components vanish. In this frame a magnetic field does no work, so the particle's speed $u<c$ and Lorentz factor ${\gamma }_u=(1-u^2/c^2{)}^{-1/2}$ are constant. In proper time, the Lorentz force equations are $d({\gamma }_u{u}_x^{\prime })/d\tau =(q{B}^{\prime }/m){\gamma }_u{u}_y^{\prime }$ and $d({\gamma }_u{u}_y^{\prime })/d\tau =-(q{B}^{\prime }/m){\gamma }_u{u}_x^{\prime }$. Thus, choosing the phase and origin,This is the signed proper-time cyclotron frequency; the frequency with respect to $t^{\prime }$ is $\omega /{\gamma }_u$. The inverse Lorentz boost givesIn particular the average drift speed is $\beta c=E/B$ along $\mathbf{E}\times \mathbf{B}$.

For $u>0$, $q\ne 0$, set $s=\omega \tau$ and $d=\beta c/u$. The dimensionless spatial curve isThe drift between successive cycles is $2\pi \gamma (\beta )d$. When $2\pi \beta \ll u/c$, this is small compared with the oscillation size: the curve consists of nearly closed loops with slow rightward drift. When $2\pi \beta \gg u/c$, the longitudinal drift is large, producing a progressing oscillatory curve. More precisely $d\tilde{x}/ds=\gamma (\beta )(d+\cos s)$: loops occur for $d<1$, cusps at $d=1$, and monotone progression for $d>1$. The stated large-drift inequality compares the drift over a full cycle, so an example of that regime with $d>1$ is shown; that comparison alone does not replace the exact loop criterion.

Reversing $q$ reverses the cyclotron orientation; the drift remains along positive $x$. If $u=0$ the trajectory is pure straight drift and the dimensionless coordinates are undefined. If $q=0$ the particle is inertial and the displayed $1/\omega$ parametrization must be replaced by its inertial limit.

Put $h(r)=1-\mu /r^2$. For the equatorial geodesic, the geodesic Lagrangian is $\mathcal{L}=\frac{1}{2}[-h{\dot{t}}^2+h^{-1}{\dot{r}}^2+r^2{\dot{\varphi }}^2]$, where dots denote derivatives with respect to the affine parameter. The cyclic coordinates $t,\varphi$ give constants $p_t=-h\dot{t}=-E$ and $p_{\varphi }=r^2\dot{\varphi }=L$. A third constant is the tangent norm $g_{ab}{\dot{x}}^a{\dot{x}}^b=-\kappa$, preserved by the geodesic equation and metric compatibility. For a timelike geodesic rescale the affine parameter to proper time so $\kappa =1$; for a null geodesic $\kappa =0$.

Substitute $\dot{t}=E/h$, $\dot{\varphi }=L/r^2$ into the norm identity and multiply by $h$. It gives the effective potential equationOutside the horizon $r=\sqrt{\mu }$, its derivative is $V^{\prime }=-(L^2-\kappa \mu )/r^3+2\mu L^2/r^5$. A nontrivial circular null geodesic requires $L\ne 0$, givingFor a circular timelike geodesic,At it $V^{\prime \prime }=-4\mu L^2/r^6<0$, and its radius exceeds $\sqrt{2\mu }$. If $L^2\le \mu$ no finite circular timelike radius exists. Thus all finite circular null and timelike orbits in this five-dimensional exterior are radially unstable. The energy of a circular orbit is fixed by $E^2=2V(r)$, not independently arbitrary.

For comparison, with four-dimensional Schwarzschild horizon radius $r_s$, the photon circle is at $3r_s/2$ and is unstable. Circular timelike orbits exist for $r>3r_s/2$; they are unstable below $3r_s$, marginal at $3r_s$ and stable above $3r_s$. The five-dimensional potential has no corresponding stable outer circular timelike branch.

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:

Write the electromagnetic field tensor as $F^{\mu \nu }={\partial }^{\mu }{A}^{\nu }-{\partial }^{\nu }{A}^{\mu }$. Substitution into the Covariant Maxwell equation with the minus-plus-plus-plus metric givesChoose the Lorenz gauge ${\partial }_{\mu }{A}^{\mu }=0$. Since ${\partial }_{\mu }{\partial }^{\mu }={\nabla }^2-c^{-2}{\partial }_t^2$, the electromagnetic four-potential obeysConvolution with the outgoing retarded Green function gives the retarded electromagnetic potential

For the point particle, ${\tau }_{\ast }(x)$ is its unique retarded proper time, characterized byThus $y({\tau }_{\ast })$ is where the particle's worldline intersects the past light cone of the observation event $x$; the displayed expression is the covariant form of the Lienard-Wiechert potentials.

On the $z$-axis put $D=\sqrt{R^2+z^2}$. The retarded time is $t_{\ast }=t-D/c$. For the circular orbit, the spatial velocity at that time isBecause the displacement from the retarded source point to the observation point is orthogonal to this velocity, $|R^{\nu }{\dot{y}}_{\nu }|=\gamma cD$, while ${\dot{y}}^{\mu }=\gamma (c,\mathbf{v})$. The factors of $\gamma$ cancel, leaving

A radial null geodesic satisfiesso for the outgoing rayThe coordinate-time interval is thereforeThe stationary observer at $r_2$ measures proper time $dT=\sqrt{1-2M/r_2}dt$. Hence