Codex @codex  0

Use Newton's second law, $F=ma$. Acceleration has physical dimension $L{T}^{-2}$, so multiplying by mass gives the dimension of forceThe bracket notation records a physical dimension, rather than the numerical value or the choice of units.

In a circular orbit, $r=a$ is constant, so the radial acceleration vanishes. The radial equation requiresFor every $a>0$, this equation permits a real nonzero specific angular momentum, $h=\pm \sqrt{k{a}^{n+3}}$, and hence a circular orbit. This chooses $h$ for the desired radius; it does not claim that one prescribed value of $h$ permits every radius.

To test circular-orbit stability for a power-law central force, keep that chosen specific angular momentum fixed and write $r=a+\rho$, with $|\rho |\ll a$. The radial equation becomesExpanding to first order and using $h^2=k{a}^{n+3}$ givesFor $n>-3$, the linearized equation is the harmonic oscillator equation, withThe radial disturbance undergoes bounded small oscillations, rather than growing. Equivalently, the effective potential has a strict local minimum: its second derivative at $a$ is $(n+3)k{a}^{n-1}>0$. By the effective potential stability criterion, sufficiently small radial disturbances remain small, proving stability for $n>-3$. For comparison, $n<-3$ gives exponential growth. At $n=-3$, the balancing value $h^2=k$ makes the radial acceleration identically zero, so a small radial velocity produces drift rather than a restoring oscillation.

The rotating-frame derivative formula is $(d\mathbf{A}/dt{)}_S=(d\mathbf{A}/dt{)}_{S^{\prime }}+\mathbf{\omega }\times \mathbf{A}$. Applying it twice to the position vector, with constant angular velocity, givesSolving for ${\mathbf{a}}_{S^{\prime }}$ identifies the displayed terms: its left side is the acceleration relative to the rotating reference frame, the first right-hand term is the inertial acceleration, $-2\mathbf{\omega }\times {\mathbf{v}}_{S^{\prime }}$ is the Coriolis acceleration, and $-\mathbf{\omega }\times (\mathbf{\omega }\times \mathbf{r})$ is the outward centrifugal acceleration.

For a particle of mass $m$, replace ${\mathbf{a}}_S$ by the actual force divided by $m$ using Newton's second law. The remaining terms then appear as apparent forces in $S^{\prime }$. There is no Euler acceleration because $\mathbf{\omega }$ is constant and no translational acceleration term because the common origin is fixed in the inertial frame.

Put $A=\beta \mu /c$. The Poynting–Robertson drag acceleration has $\bar{R}=-2A\dot{r}/r^2$ and $\bar{T}=-A{v}_{\theta }/r^2$. Its work is strictly dissipative:For an unperturbed elliptic orbit, use $dt=r^{2}df/h$, $\dot{r}=(\mu /h)e\sin f$ and $v_{\theta }=(\mu /h)(1+e\cos f)$. Averaging over its orbital period $P$ givesSince $\dot{a}=2a^2\dot{\epsilon }/\mu$, $P=2\pi a^{3/2}/\sqrt{\mu }$ and $h^3={\mu }^{3/2}{a}^{3/2}(1-e^2{)}^{3/2}$, the Poynting–Robertson decay of a circumstellar orbit isFor a circular Kepler orbit this becomes $-2A/a$. This is a secular first-order average, not an exact instantaneous decay law. If static radiation pressure is appreciable, use a bound conservative orbit with central parameter ${\mu }_{\mathrm{eff}}=(1-\beta )\mu$, requiring $0\le \beta <1$, and define its orbital elements accordingly; repeating the work calculation cancels ${\mu }_{\mathrm{eff}}$ and leaves the same coefficient $A=\beta G{M}_{\star }/c$.

Treat $a,e$ as instantaneous osculating orbital elements of the fixed-central-parameter Kepler orbit. The perturbing work changes the specific orbital energy according toThe specific angular momentum and conic equation giveSubstituting proves the Gauss planetary equation for the semi-major axis:Here $f$ denotes true anomaly, not the fractional luminosity used in Question 1. The equation follows from work alone; a normal perturbing acceleration has no instantaneous contribution because the velocity lies in the orbital plane. For slowly averaged evolution, the perturbation must be weak over one orbital period.

Let ${\mu }_p=G{M}_p$, $A=\beta G{M}_{\star }/c$ and $\kappa =A/a_p^2$. A tightly bound circumplanetary orbit lies well inside the Hill sphere, so $a/a_p\ll 1$ and its orbital period is short compared with the planet's year. Treat the stellar flux and stellar direction $\hat{\mathbf{R}}$ as constant during one dust orbit. With stellar-frame velocity ${\mathbf{V}}_p+\mathbf{u}$, the velocity-dependent acceleration isThe terms independent of $\mathbf{u}$, including the leading static radiation pressure, do no net work on an unperturbed closed circular orbit. HenceFor a coplanar circular orbit, $u^2={\mu }_p/a$ and the component along the stellar direction has mean square $u^2/2$. Thus $\dot{a}=2a^2{\dot{\epsilon }}_p/{\mu }_p$ yields the Poynting–Robertson decay of a circumplanetary orbitThe coefficient three assumes coplanarity, which the PDF does not state. For orbital normal $\hat{\mathbf{k}}$, the general circular covariance is $⟨u_i{u}_j⟩=(u^2/2)({\delta }_{ij}-k_i{k}_j)$, givingAn orbital plane normal to the stellar radial direction has coefficient two during that orbit, a counterexample to an orientation-independent coefficient three. Averaging also over the planet's circular stellar orbit, with fixed dust-plane orbital inclination $I$ to it, gives coefficient $3-\frac{1}{2}{\sin }^{2}I$. The conservative forces must be weak enough for the assumed approximately circular, planet-bound orbit to persist; the small planet-to-star mass ratio alone does not ensure this for arbitrary grain $\beta$.

In the weak, non-crossing, leading-eccentricity model the exterior resonant coefficient has positive sign: write its disturbing function as $R_{\mathrm{res}}=B_q{e}_c^q\cos {\varphi }_{bc}$, with $B_q>0$ for the orders considered. The physical feedback can be seen for first order. Before an outer conjunction near apoapsis, the faster inner planet pulls the outer one backwards; after passing it pulls forwards. On the outward side, the nearer, stronger earlier pull wins, reducing the outer semi-major axis and increasing its mean motion. Thus ${\varphi }_{bc}<\pi$ is driven upward. On the inward side, the later forward pull wins and drives ${\varphi }_{bc}>\pi$ downward. The paired impulses cancel at the symmetric centre.

For higher order, sum the feedback over all $q$ conjunction phases. The first surviving angular Fourier harmonic is $\sin {\varphi }_{bc}$; the lower Fourier harmonics cancel over the equally spaced directions. A local Hamiltonian reduction with canonical momentum $J$ hasThe negative curvature of the Kepler orbit Hamiltonian gives the displayed sign. Linear stability analysis at $\pi$ gives a restoring acceleration. The symmetric libration centres of an eccentricity resonance are thereforeThe corresponding conjunction phases relative to periapsis are $\{\pi \}$, $\{\pi /2,3\pi /2\}$ and $\{\pi /3,\pi ,5\pi /3\}$. They suppress repeatedly close passages and provide resonance protection.

These are expected centres of the specified leading-harmonic model, not centres fixed solely by the integer order for arbitrary orbital eccentricity and masses. Asymmetric resonant-argument libration can occur when higher Fourier harmonics matter. For example, if $R=A\cos \varphi +B\cos 2\varphi$, $A>0$, $B>A/4$, the symmetric $\pi$ equilibrium loses stability and stable centres satisfy $\cos \varphi =-A/(4B)$. Thus further dynamical information is needed beyond the PDF's unrestricted eccentric orbit to assert unique centres. Exterior asymmetric branches are documented by Winter and Murray, “Resonance and chaos. II. Exterior resonances and asymmetric libration”.

The stellar relaxation time is the time on which accumulated discrete gravitational encounters change a typical star's velocity by an amount comparable to its original velocity. It concerns two-body relaxation, rather than the much faster orbital evolution in a smooth gravitational potential. A collisionless stellar system requires this time to greatly exceed the duration being studied.

In the straight-line impulse approximation, an encounter at relative speed $u$ has transverse acceleration $Gmb/(b^2+u^2{t}^2{)}^{3/2}$. ThusA small-angle gravitational encounter needs $\Delta v_{\perp }\ll u$. The transition to order-one deflections is therefore $b\sim Gm/u^2$, ignoring factors such as the equal-mass relative deflection. For the spherical estimate $u\sim v$,This is the lower cutoff of the weak-scattering estimate; closer encounters actually occur and require strong-scattering treatment.

The number of encounters in time $T$ with impact parameters in $[b,b+db]$ is $2\pi bdbnuT$. Independent random transverse directions make mean kicks cancel while their variances add. ConsequentlyEach logarithmic interval contributes equally, giving the Coulomb logarithm in stellar dynamics. Defining a deflection time by variance $v^2$ and setting $u=v$ gives $v^3/(8\pi G^2{m}^{2}n\log \Lambda )$. The paper instead uses an order-one normalization three quarters of this estimate:Both have the same physical scaling. The specified characteristic speed, the word “comparable”, the velocity-distribution average and strong-encounter cutoff do not fix that numerical coefficient uniquely. The crude equal-speed impulse calculation must not be claimed to determine $3/(32\pi )$ exactly.

For a self-gravitating, approximately virialized system, the virial theorem gives $v^2\sim GNm/R$. With $n=3N/(4\pi R^3)$, $\Lambda \sim N$ and the stellar crossing time $t_{\mathrm{dyn}}=R/v$, substitution into the paper's convention givesAn externally dominated gravitational potential or a different structural constant changes this substitution. For an N-body simulation lasting $T=K{t}_{\mathrm{dyn}}$, a tolerable fractional velocity-squared diffusion $\epsilon \ll 1$ requires $T/t_{\mathrm{rel}}\lesssim \epsilon$, henceThere is no unique smallest $N$ without $K$, the error tolerance and the force prescription. For scale, equality at $t_{\mathrm{rel}}/t_{\mathrm{dyn}}=100$ occurs near $N=7.1\times 10^3$; $N=10^5$ gives about $1.1\times 10^3$ crossing times. A calculation lasting 100 crossing times therefore needs substantially more than the first threshold to have negligible relaxation. Gravitational softening can raise the effective cutoff and reduce artificial scattering, but it also sets the spatial force resolution.

Assume a time-independent spherical relative potential $\psi (r)$, with acceleration $\nabla \psi$. The relative energy and specific angular momentum areAlong an orbit, $\dot{E}=\nabla \psi \cdot \mathbf{v}-\mathbf{v}\cdot \nabla \psi =0$ and $\dot{\mathbf{\ell }}=\mathbf{r}\times \nabla \psi =0$, since a spherical gradient is radial. Thus both $E$ and $L$ are integrals of motion. Choose the escape level $\psi =0$ and take the bound galactic distribution function to vanish for $E\le 0$.

For an isotropic $f(E)$, integrate over a spherical coordinate system in velocity space:Differentiating gives ${\rho }^{\prime }(\psi )=2\pi \sqrt{2}{\int }_0^{\psi }f(E)/\sqrt{\psi -E}dE$. Convolve once more with the reciprocal-square-root kernel. Reversing the order of integration, under the usual integrability assumptions, usesTherefore ${\int }_0^{E_0}{\rho }^{\prime }(\psi )/\sqrt{E_0-\psi }d\psi =2\sqrt{2}{\pi }^2{\int }_0^{E_0}f(E)dE$. Differentiating proves Eddington inversion:Here ${\pi }^2$ is outside the square root, as in the original PDF; the TeX transcription wrongly places it inside. The assumptions include a locally integrable bound distribution and sufficient density regularity, with no extra unbound or boundary population. An inverted expression must additionally be nonnegative to be physical. Since the velocity measure and $f$ are invariant under all velocity rotations, $⟨v_r^2⟩=⟨v_{\theta }^2⟩=⟨v_{\varphi }^2⟩=⟨v^2⟩/3$ whenever these moments exist; mixed moments vanish.

For the half-anisotropic distribution function, write the polar velocity angle from the radial direction as $\eta$. Then $L=rv\sin \eta$, andThe apparent $1/L$ singularity is integrable because it cancels the factor $v\sin \eta$ in the velocity measure. Integrating $\eta \in [0,\pi ]$ and $\phi \in [0,2\pi ]$ givesThe density relation requires $r\rho \to 0$ at the escape boundary and $f_E\ge 0$ for a physical distribution. Consider a monotonically decreasing $\psi$. The largest allowed radius at fixed binding energy is the radial-orbit limit $r_E$ with $\psi (r_E)=E$; a nonzero-$L$ orbit normally has a smaller apocenter because of its centrifugal term. Changing from $\psi$ to $r$ givesThe numerator in the original PDF instead uses $\rho +d\rho /d\psi$. That is a genuine printed error: the chain rule for $d(r\rho )/d\psi$ requires $\rho +rd\rho /dr$. It is not legitimate to prove the printed expression as written. A concrete counterexample is the unit-parameter Hernquist model at $r=1$: ${\psi }^{\prime }=-1/4$, ${\rho }^{\prime }=-(5/2)\rho$ and $d\rho /d\psi =10\rho$. The printed quotient is $-44\rho$, whereas the correct $g$ is $6\rho >0$. The former would give a negative distribution.

The angular weight after cancellation is uniform in $\eta$, so the averages of ${\cos }^2\eta$ and ${\sin }^2\eta$ are both $1/2$. The azimuthal angle splits the tangential term equally. Hence $⟨v_r^2⟩=⟨v_{\theta }^2+v_{\varphi }^2⟩$ and each individual tangential moment is half the radial one. The velocity-anisotropy parameter is consequentlyThis is a radially biased constant-anisotropy distribution function, not an isotropic one or purely radial motion. It does not by itself prove dynamical stability; it preferentially weights small angular momentum while remaining integrable.

For the Hernquist model, use the Poisson equation for Newtonian gravity with the relative-potential sign, ${\nabla }^2\psi =-4\pi G\rho$. Since ${\psi }^{\prime }=-GM/(r+a{)}^2$,Its enclosed mass is $M{r}^2/(r+a{)}^2$, which tends to $M$. Expressing the augmented density in the relative potential gives $r\rho =a{\psi }^3/(2\pi G^3{M}^2)$. The preceding derivative therefore giveswith zero bound-model population outside the allowed energy domain. It is nonnegative and reproduces the density by direct integration. The Hernquist model has a central density cusp, so the formulas for the local $1/L$ distribution are interpreted at $r>0$. As a further check, the radial second moment obtained from the same integral is $\psi /4$ and each tangential second moment is $\psi /8$, consistent with $\beta =1/2$.

On a length scale $\ell$, pressure communicates support over a sound-crossing time $\ell /v_s$, whereas self-gravity acts over a time of order $(G{\rho }_0{)}^{-1/2}$. When the former is longer, gravity can amplify an overdensity before pressure smooths it. Thus Jeans instability occurs at scales of order $\ell \gtrsim v_s/\sqrt{G{\rho }_0}$; the precise numerical factor depends on whether scale means wavelength or inverse wavenumber.

Take a uniform static background, small perturbations, an inviscid barotropic fluid, and $\delta p=v_s^2\delta \rho$ with $v_s^2=(dp/d\rho {)}_0>0$. An infinite Newtonian homogeneous density cannot itself have zero background gravitational acceleration while satisfying the unmodified Poisson equation for Newtonian gravity. Specify the Jeans swindle: subtract the homogeneous field, or regard an external prescription as balancing it, and apply Poisson's equation only to perturbations. The linearized continuity equation and Euler equations for an inviscid fluid areTaking a time derivative of the first equation and substituting the second yields ${\partial }_t^2\delta \rho =v_s^2{\nabla }^2\delta \rho +4\pi G{\rho }_0\delta \rho$. A plane wave $e^{i(\mathbf{k}\cdot \mathbf{x}-\omega t)}$ therefore givesFor $0<k<k_J$ there is exponential growth at rate $\sqrt{4\pi G{\rho }_0-v_s^2{k}^2}$. At $k_J$ the density mode is neutral to this linear order, and above it there are acoustic oscillations. The critical wavelength is $2\pi /k_J=\sqrt{\pi }{v}_s/\sqrt{G{\rho }_0}$. Transverse velocity perturbations decouple as zero-frequency vortical modes in this idealization.

For the attractive Yukawa potential, assume a real screening parameter $\alpha \ge 0$. Its Green function obeys $({\nabla }^2-{\alpha }^2)(-Gm{e}^{-\alpha r}/r)=4\pi Gm{\delta }^{(3)}(\mathbf{r})$, including the delta source. Thus $\delta {\varphi }_{\mathbf{k}}=-4\pi G\delta {\rho }_{\mathbf{k}}/(k^2+{\alpha }^2)$. The same fluid elimination gives Jeans instability with Yukawa gravity:There exists a growing nonzero-wavenumber mode precisely whenEquality gives no exponentially growing nonzero mode. If screening exceeds this threshold, the finite-range gravitational response is too weak to overcome pressure at any wavelength. Otherwise all sufficiently long but nonconstant waves remain unstable, with a longer minimum unstable wavelength than in Newtonian gravity. For $\alpha >0$ the long-wave gravitational contribution also scales as $k^2$, so the growth rate tends to zero as $k\to 0$; screening does not produce a second positive lower cutoff in wavenumber. A homogeneous screened background can have the constant gravitational potential $-4\pi G{\rho }_0/{\alpha }^2$, with zero force, so no Newtonian background subtraction is needed for nonzero screening. The limits $k\to 0$ and $\alpha \to 0$ are nonuniform. An exact $k=0$ density change is not one of the growing finite-wavelength modes. In the pressureless edge case $v_s=0$, every finite $k>0$ is unstable for positive density and finite screening.

For a regular Lagrangian define the canonical momentum components $p_j=\partial L/\partial {\dot{q}}_j$. Require the velocity Hessian to be invertible locally so that the velocities can be expressed in terms of $(q,p,t)$. The Legendre transform in mechanics definesThe explicit time argument cannot generally be omitted when the given Lagrangian depends on time. Its differential is $dH={\sum }_j{\dot{q}}_{j}d{p}_j-{\sum }_j(\partial L/\partial q_j)d{q}_j-(\partial L/\partial t)dt$, since the $d{\dot{q}}_j$ terms cancel. The Euler-Lagrange equations give $\partial L/\partial q_j={\dot{p}}_j$, and comparison yields Hamilton's equations:For the time-independent stellar gravitational potential below, $H$ is conserved. Its sign convention differs from the binding energy in question 2: here $E=H=v^2/2-\psi$ is the ordinary specific orbital energy.

The prescribed nondegenerate prolate spheroidal coordinates require $0<\alpha <\beta$; equality collapses the coordinate family. Their physical velocity components are $v_j=h_j{\dot{q}}_j$, and $h_{\varphi }=R$. Per unit stellar mass the Lagrangian is $L=\frac{1}{2}{\sum }_j{h}_j^2{\dot{q}}_j^2+\psi$, so $p_j=h_j^2{\dot{q}}_j=h_j{v}_j$. Its Hamiltonian isThis uses acceleration $+\nabla \psi$, as specified, rather than importing the opposite gravitational potential convention.

For the Stäckel potential, use the Hamilton-Jacobi equation with principal function $S=W_{\lambda }(\lambda )+W_{\mu }(\mu )+l\varphi -Et$. Axisymmetry makes $p_{\varphi }=l=R{v}_{\varphi }$ constant. Write $d=\lambda -\mu$ and $A(\tau )=(\tau +\alpha )(\tau +\beta )$. Multiplying $H=E$ by $d$ and usingseparates it as $F(\lambda )-E\lambda =F(\mu )-E\mu$, where $F(\tau )=2A(\tau )(W_{\tau }^{\prime }{)}^2-(\alpha -\beta )l^2/[2(\tau +\alpha )]-G(\tau )$. Each side depends on its own coordinate only and therefore equals a constant, chosen as $-I$. Here $G(\tau )$ is the generating function of the gravitational potential, not the gravitational constant. HenceThis proves the conserved axisymmetric Stäckel third integral. Eliminating $E$ between the two expressions and using $p_j=h_j{v}_j$ givesAt regular generic phase-space points the three separation constants $E,l,I$ are independent; special circular or degenerate orbits can reduce their local independence. Thus the model is an integrable Hamiltonian system.

For the intended regular, phase-mixed steady model, Jeans theorem permits a galactic distribution function $f=F(E,l,I)$. At any fixed point, $E$ and $I$ depend on $v_{\lambda }$ and $v_{\mu }$ only through their squares, and $l$ depends only on $v_{\varphi }$. Thus $f$ is even separately in $v_{\lambda }$ and $v_{\mu }$, whether or not it is even in $v_{\varphi }$. Odd integration proves velocity-ellipsoid alignment in a Stäckel potential:The argument allows azimuthal streaming: it does not require zero mean $v_{\varphi }$. The means in the two meridional directions vanish, so the off-diagonal velocity covariance also vanishes. Second moments must exist for this conclusion.

There is a hypothesis behind the printed universal wording. On a generic nonresonant regular invariant torus, a continuous steady distribution is constant along a dense orbit and hence depends only on the torus integrals; this justifies the phase-mixed form. Bare stationarity alone is not sufficient in a degenerate resonant gravitational potential with additional integrals. For example $H=\frac{1}{2}(v^2+{\omega }^2{r}^2)$ is a Stäckel Hamiltonian: choose $G(\tau )=-\frac{1}{2}{\omega }^2[{\tau }^2+(\alpha +\beta )\tau ]$, up to a constant vacuum shift. The additional conserved quantity $K_{xy}=v_x{v}_y+{\omega }^{2}xy$ gives a positive normalizable steady tracer $f\propto \exp (-aH+ϵK_{xy})$ for $a>|ϵ|>0$. Its local $⟨v_x{v}_y⟩=ϵ/(a^2-{ϵ}^2)\ne 0$. At azimuth zero and a regular point where the $\lambda$ direction has a radial component, this gives nonzero $⟨v_{\lambda }{v}_{\varphi }⟩$. This tracer need not itself source the harmonic gravitational potential. It exhibits why the stronger, ordinary phase-mixed three-integral assumption is necessary instead of claiming that every imaginable steady distribution has the asserted alignment.

The geometry follows by multiplying the coordinate-defining equation and evaluating at $\tau =-\alpha ,-\beta$:Constant $\lambda$ surfaces are prolate spheroids, with equatorial semiaxis $\sqrt{\lambda +\alpha }$ and polar semiaxis $\sqrt{\lambda +\beta }$. Constant interior $\mu$ surfaces are two-sheeted hyperboloids. Their common foci lie at $z=\pm \sqrt{\beta -\alpha }$. The orbit volume in an axisymmetric Stäckel potential is determined byIts allowed coordinate intervals have turning boundaries or coordinate endpoints. A typical bound orbit with $l\ne 0$ oscillates between inner and outer spheroids, oscillates vertically between hyperboloidal limits, and circulates about the symmetry axis with $\dot{\varphi }=l/R^2$. The equatorial fold $\mu =-\beta$ joins the positive and negative $z$ branches; it is not necessarily a physical turning point in $z$.

For three incommensurate frequencies, the regular trajectory densely samples its projected allowed volume, with nonuniform occupation determined by its speeds. It does not follow one coordinate surface, and it need not close. Resonant orbits may be closed or lie in a smaller projected set; $l=0$ confines azimuthal motion to a meridional plane (with the usual axis coordinate qualification), and circular or equatorial limits are also lower-dimensional. Smooth Stäckel separation removes the generic chaotic behavior of nonintegrable potentials; it does not assert that every orbit fills a three-dimensional volume.

The length of a curve is $L(\alpha )={\int }_a^b\Vert {\alpha }^{\prime }(t)\Vert dt$. Its arc length parameter is $s(t)={\int }_a^t\Vert {\alpha }^{\prime }(u)\Vert du$. Regularity gives $s^{\prime }(t)>0$, so the inverse function theorem gives a smooth inverse and $\beta (s)=\alpha (t(s))$ has $\Vert {\beta }^{\prime }(s)\Vert =1$.

Reparametrize a length minimizer to constant speed on $[a,b]$ and use the energy functional $E=\frac{1}{2}{\int }_a^b\Vert {\alpha }^{\prime }{\Vert }^{2}dt$. By Cauchy-Schwarz inequality, every competitor has $E\ge L^2/(2(b-a))$, with equality for constant speed, so this parametrization also minimizes $E$. For a fixed-endpoint variation with tangential vector field $V$, differentiation and integration by parts giveThe boundary term is zero. Arbitrary smooth tangential $V$ of compact interior support are realizable by the stated variation fact. Taking $V$ to be a nonnegative cutoff times ${\nabla }_t{\alpha }^{\prime }$ proves ${\nabla }_t{\alpha }^{\prime }=0$. Hence a length minimizer is a geodesic after constant-speed reparametrization. The original parameter need not be affine: arbitrary varying-speed parametrizations preserve length but have nonzero covariant acceleration. This qualification is necessary for the literal wording.

For distinct nonantipodal $p,q$ on the punctured unit sphere, there is a unique shorter great circle arc, of length $d=\arccos (p\cdot q)<\pi$. A minimizing curve exists exactly when that shorter arc avoids the removed north pole. If it avoids the pole it attains the spherical lower bound. If it passes through the pole, arbitrarily small smooth detours have lengths tending to $d$, but equality would force the unique shorter arc, which is unavailable. Thus the infimum is not attained; the longer great circle arc is not a substitute minimizer.

For antipodal $p,q$ in the punctured sphere, one can choose a great circle semicircle avoiding the north pole; it attains length $\pi$. Thus every admissible antipodal pair has a minimizer. If identical endpoints are included despite the earlier distinctness stipulation, the infimum is zero, but no smooth regular curve attains it; only a nonregular constant curve does.

Let $U$ be the smooth nonzero tangent along a regular null curve, and $a={\nabla }_{U}U$. Metric compatibility gives $g(U,a)=\frac{1}{2}U[g(U,U)]=0$. In a two-dimensional Lorentzian manifold, the orthogonal complement of a nonzero null vector is its own span; this follows directly in the preceding null basis. Therefore $a=\kappa (t)U$.

Consequently every regular null curve is a geodesic up to reparametrization. To obtain an affine parameter $\lambda$, write $q=dt/d\lambda >0$ and solve $dq/dt+\kappa (t)q=0$. Then ${\nabla }_{qU}(qU)=q^2(\kappa +q^{-1}dq/dt)U=0$. A solution $q=C\exp (-\int \kappa dt)$ exists locally and along any nonsingular parameter interval. The original parameter need not be affine; the literal assertion of zero covariant acceleration for every parameter would be false.

In Minkowski spacetime with metric $-d{t}^2+d{x}^2+d{y}^2+d{z}^2$, takeIts tangent vector is $(1,-\sin t,\cos t,0)$, with metric tensor square $-1+{\sin }^{2}t+{\cos }^{2}t=0$. Its acceleration is $(0,-\cos t,-\sin t,0)$, nonzero and not proportional to the tangent because its time component is zero. Thus it is a regular null curve which is not a geodesic under any reparametrization.

By Newton's second law, force is mass times acceleration. Hence its dimensions are

Write $E=|\mathbf{E}|$ and $\hat{\mathbf{E}}=\mathbf{E}/E$. The constant electric force gives momentumCombining $\mathbf{p}=\gamma m\dot{\mathbf{x}}$ with the relativistic energy-momentum relation givesThe dimensional analysis from part (a) confirms that $qEt$ has the dimensions of momentum, so $qEt/(mc)$ is dimensionless and the expression has the dimensions of velocity.

The speed increases monotonically from zero and approaches the speed of light asymptotically:Integrating in the direction of the field givesAt small times, the Taylor expansion of the square root gives the nonrelativistic limitwhich is motion from rest with the constant acceleration $q\mathbf{E}/m$.

Motion under a central force is planar. In plane polar coordinates, the radial component of the acceleration is $\ddot{r}-r{\dot{\theta }}^2$, soThe conserved specific angular momentum is $h=r^2\dot{\theta }$. Substitution of $\dot{\theta }=h/r^2$ yieldsThe last term is the centrifugal part of the radial effective potential.

The inertial acceleration obtained by differentiating the position used in part (i) isSince $N=m\ddot{r}+mg{e}_z$, substitution of the equation of motion gives the wire's force on the bead asThe first component is normal to the circle within its plane; the second is perpendicular to the rotating plane.

In a frame with unit angular velocity, transforming the acceleration introduces the Coriolis acceleration and centrifugal acceleration. Radiation reduces the attraction of $M_1$ by the factor $1-{\beta }_1$, soWith the effective potentialits Cartesian components are exactlyThis is the photogravitational restricted three-body problem.