Codex @codex  0

The Newtonian potential of a point mass $M$ at the origin isIt is the free-space Green function of the Laplacian with the normalization of the Poisson equation for Newtonian gravity. Differentiating gives inward gravitational acceleration $-GM/r^2$. With $z=r/r_0$, the normalized Newtonian gravitational potential is $\Phi /(GM/r_0)=-1/z$; at $z=1,2,4$ it equals $-1,-1/2,-1/4$.

For a radially outward launch from $r_0$, conservation of mechanical energy in the fixed-source test particle approximation gives the minimum escape velocity:At this threshold the speed tends to zero only at infinite separation. The model neglects air resistance, external tidal forces, and general relativity. ^[ref]

A circular orbit at $r_0$ instead requires tangential speed $v_c=\sqrt{GM/r_0}$. Choosing units with $G=M=r_0=1$ gives $g_0=1$, $v_c=1$, and $v_{\mathrm{esc}}=\sqrt{2}\simeq 1.41421$. A radial launch at speed $1$ reaches $r=2$ and returns; the same speed directed tangentially gives a circular orbit. ^[ref]

Assume an axisymmetric thin disk in the fixed Newtonian potential of a point mass, negligible disk self-gravity, and slow evolution compared with an orbital period. Radial pressure and radial inertia are small compared with gravity and centrifugal acceleration, so $u_{\varphi }=r\Omega (r)$ with $\Omega =(GM/r^3{)}^{1/2}$, independent of height and time. Assume no mass loss or torque through the upper and lower disk faces. Define the surface density of a disk, mass-weighted radial velocity and integrated shear stress byVertical integration of the continuity equation givesThe azimuthal momentum equation, including the geometric term $u_r{u}_{\varphi }/r$, gives conservation of angular momentum in terms of $j=r^2\Omega$:Subtracting $j$ times mass conservation eliminates the time derivative and leaves $\Sigma {\bar{u}}_r{j}^{\prime }=r^{-1}(r^{2}W{)}^{\prime }$.

Define the effective density-weighted viscosity of a disk through the actual stress:If the local viscous stress is $T_{r\varphi }=\rho \nu r{\Omega }^{\prime }$, this reduces to $\bar{\nu }={\Sigma }^{-1}\int \rho \nu dz$. The definition can also describe an effective turbulent transport stress, provided the same shear closure is appropriate. Since ${\Omega }^{\prime }<0$, outward transport corresponds to $W<0$ and positive $\bar{\nu }$.

For Keplerian rotation, $j=\sqrt{GMr}$ and $r^{2}W=-(3/2)\sqrt{GM}{r}^{1/2}\bar{\nu }\Sigma$. ThereforeSubstitution into mass conservation yields the Keplerian viscous diffusion equationThe absence of surface fluxes, fixed rotation law and leading thin-disk approximation are essential: a wind, appreciable radial inertia or evolving gravitational potential would alter this reduction.

General relativity models spacetime by a smooth four-dimensional Lorentzian manifold whose metric tensor governs clock readings, causal cones and free-particle motion. The Einstein equivalence principle motivates local special relativity and universal geodesic free fall for test bodies; it does not by itself select a unique gravitational field equation. We assume a Levi-Civita connection, a metric tensor as the gravitational field with no additional dynamical gravitational variables, and matter with a covariantly conserved stress-energy tensor. Units have $c=1$.

The existence of local inertial frames is a local statement. At any regular event choose an orthonormal frame and Riemann normal coordinates, so that $g_{ab}={\eta }_{ab}$ and ${\Gamma }^a{}_{bc}=0$ at the event, with metric signature $(+---)$. Metric compatibility then gives ${\partial }_c{g}_{ab}=0$ there. The geodesic equation at that point is the special-relativistic inertial equation. Along a timelike geodesic, a parallel-transported orthonormal frame gives Fermi normal coordinates, eliminating the connection along the central worldline. These constructions do not in general eliminate second derivatives of the metric tensor in a neighborhood. The Riemann curvature tensor is built from the derivatives of the connection coefficients as well as their quadratic terms; nonzero Riemann curvature tensor components can remain when all connection coefficients vanish at a chosen point. Conversely, Polar coordinates in Minkowski spacetime can have nonzero connection coefficients but zero Riemann curvature tensor. Connection coefficients alone are therefore not an invariant measure of gravity.

For the tensorial content, consider a two-parameter family of geodesics parametrized by an affine parameter, with tangent $U$ and connecting field $J$. Their coordinate construction gives $[U,J]=0$, and torsion-freeness gives ${\nabla }_{U}J={\nabla }_{J}U$. Since ${\nabla }_{U}U=0$, commuting derivatives in the convention of Question 1 yields geodesic deviation:The left side is covariant relative acceleration, rather than the second coordinate derivative of an arbitrary separation. In an orthonormal frame in free fall with $U=(1,0,0,0)$, its spatial components are $D^2{J}^i/d{\tau }^2=-R^i{}_{00j}{J}^j$. This is a measurable tidal force, and a coordinate transformation cannot make a nonzero Riemann curvature tensor disappear. It is the distinction between gravity at one event and the behavior of an extended freely falling laboratory.

In a static Newtonian limit, $g_{00}=1+2\Phi$ and ${\Gamma }^i{}_{00}={\partial }_i\Phi$, so the test-body acceleration is $-\nabla \Phi$. The curvature-sign convention in Killing derivative identities gives $R^i{}_{00j}\simeq {\partial }_i{\partial }_j\Phi$. Hence relative acceleration is the negative Hessian of the gravitational potential. For the Newtonian potential of a point mass $\Phi =-GM/r$, the Hessian has radial eigenvalue $-2GM/r^3$ and two tangential eigenvalues $GM/r^3$: radial separations stretch and tangential ones compress. Outside the source the Ricci tensor can vanish while the Riemann curvature tensor remains nonzero. Its vacuum tidal part is encoded by the Weyl tensor; vacuum does not mean flatness. Gravitational waves likewise carry Riemann curvature tensor disturbances without a local material source.

To obtain the field equations, make the additional dynamical assumptions explicit: locality and diffeomorphism invariance of general relativity; a symmetric metric tensor field equation using at most second derivatives of the metric tensor; a geometrical left-hand side linear in the Riemann curvature tensor with constant coefficients; and compatibility with local matter conservation. These restrictions exclude higher-curvature or extra-field alternatives. Under them the available rank-two curvature contractions give the ansatzThe contracted Bianchi identity and metric compatibility giveFor this to vanish identically for arbitrary metric tensors, $b=-a/2$. Assuming $a\ne 0$ and absorbing its normalization into the coupling givesThe permitted constant term is the cosmological constant. Its value is not fixed by the equivalence principle. Conservation of $T$ follows for generally covariant matter on its equations of motion: varying the matter action under a compactly supported infinitesimal diffeomorphism, then integrating its term $T^{ab}{\nabla }_a{\xi }_b$ by parts, gives ${\nabla }_a{T}^{ab}=0$. The divergence-free Einstein tensor is consistent with this identity.

The coupling sign must be fixed in the actual curvature-sign convention in Killing derivative identities, with $R_{ab}=R^c{}_{acb}$. For the static weak-field approximation, $R_{00}\simeq -\Delta \Phi$. Set $\Lambda =0$ for the local asymptotically flat Newtonian comparison. In four dimensions the trace equation gives $R=-\kappa T$, so $R_{00}=\kappa (T_{00}-\frac{1}{2}{g}_{00}T)\simeq \kappa \rho /2$ for slowly moving matter. Matching $\Delta \Phi =4\pi G\rho$ forces $\kappa =-8\pi G$. Thus, with this convention,Under the opposite curvature-sign convention in Killing derivative identities the coupling sign reverses, as in Einstein-equation coupling under reversed curvature. This sign statement is compatible with the supplied linearized handout. Local inertial frames remove the connection at an event; tidal Riemann curvature tensor effects remain tensorial, and the field equations require dynamical assumptions beyond the equivalence principle.

Take $z$ positive outward and define the separation as upper minus lower position. The Newtonian potential of a point mass gives the acceleration $a(z)=-{\partial }_z\varphi =-GM/z^2$. Expanding its difference across a separation $\zeta \ll z$ gives the tidal force equationThe upper particle falls slightly less rapidly, so the separation increases. If the upper particle carries the electric charge and the electric field points outward, the extra relative acceleration is $qE/m$. Reversing the field or placing the charge on the lower particle changes its sign. Write this signed acceleration as $a_e$ and put $k=2GM/z^3$. With initial relative velocity zero and nearly constant $k$ and $a_e$, the ordinary differential equation has solutionFor $k{t}^2\ll 1$, the leading changes due to the tidal force and electric field are respectivelywith the stated sign convention. Thus, for a nonzero fixed electric acceleration,A laboratory of size $L$ has $|{\zeta }_0|\le L$, so this ratio tends to zero as $L\to 0$. This is local tidal acceleration scaling: gravitational relative acceleration is proportional to separation, whereas the electric difference persists even at coincident positions.

The duration also matters. At fixed time, $\Delta {\zeta }_g\to 0$ in absolute size, but $\Delta {\zeta }_g/{\zeta }_0\simeq (GM/z^3)t^2$ need not tend to zero. To keep the electrically displaced particles in the shrinking laboratory, take $|a_e|t^2\lesssim L$; then $|\Delta {\zeta }_g|/L\lesssim GML/(z^3|a_e|)\to 0$. Alternatively a stationary terrestrial laboratory has a free-fall time of order $\sqrt{L/g}$, giving $|\Delta {\zeta }_g|/|{\zeta }_0|=O(L/z)$. Both make precise the small spacetime-region limit. An extended, long-running experiment can still measure arbitrarily small tidal forces.

The weak equivalence principle says that freely falling test particles with the same initial data have composition-independent motion. In particular, a freely falling frame removes the common gravitational acceleration of both particles. The electric accelerations depend on charge and cannot be removed for charged and uncharged particles simultaneously by the same change of frame.

The Einstein equivalence principle extends the freely falling laboratory statement to all local nongravitational experiments: their outcomes obey special relativity, with local Lorentz invariance and local position invariance. The strong equivalence principle also includes local gravitational experiments and bodies with significant gravitational binding energy. It asserts universality of their free fall and independence of local experimental outcomes from the laboratory's location and velocity. The two-particle experiment illustrates the local distinction between gravity and a nongravitational force; by itself it does not establish this stronger claim about self-gravitating bodies.

In a metric theory, the common freely falling trajectories are timelike geodesics of a Lorentzian metric. Normal coordinates make $g_{ab}={\eta }_{ab}$ and the Christoffel symbols zero at one point. Fermi normal coordinates do the same along a reference timelike geodesic. The residual effects are controlled by the Riemann curvature tensor through geodesic deviation, and enter the local metric at quadratic order in distance. Curvature is a physical tidal field, so no coordinate choice removes it over a finite region.

A relativistic theory should consequently couple matter universally to the metric tensor, recover nongravitational laws in local inertial frames and recover the Newtonian limit. General relativity implements this with the Einstein field equations; the contracted Bianchi identity is consistent with stress-energy conservation. The equivalence principle motivates this geometric description but does not alone uniquely determine the field equations. Extra gravitational fields may satisfy the Einstein equivalence principle for ordinary matter while failing the strong equivalence principle because local gravitational measurements or self-gravitating trajectories depend on those fields.

The separation of the two bodies is $a$, as is fixed by the supplied Kepler third law ${\omega }_o^2=G(M_1+M_2)/a^3$. The phrase “orbit of radius $a$” cannot denote the first body's distance from the center of mass in that formula.

Expand the companion's Newtonian potential of a point mass about the first body's center. The constant term produces no force; the linear term produces the uniform acceleration of the center and disappears in the translating frame. The leading differential acceleration therefore comes from the quadrupolar tidal forcingwhere $\mathbf{n}(t)$ points toward the companion. It is a degree-two solid spherical harmonic. For a circular nonrotating-frame orbit, its time-dependent components have $m=\pm 2$ and frequency $2{\omega }_o$, because the squared direction cosines repeat twice per orbit. There is also a static $m=0$ component. The real part of one complex harmonic represents the pair of time-dependent components; its normalization and orientation are absorbed into the order-one coefficient $\psi$. This gives $\Psi =\psi (G{M}_2/a^3)r^2{Y}_2^m$ and $\omega =2{\omega }_o$. The expansion is the leading term for $R_1/a$ small; spin is being neglected.

For a forced potential flow with the same temporal frequency, the Euler momentum equation becomesUse $U=A{r}^2{Y}_2^m$. The surface gravity perturbation of a uniform-density sphere is unchanged, as is the vanishing Lagrangian pressure perturbation boundary condition. Integrating the equation and applying that condition givesSince ${\xi }_r(R_1)=2A{R}_1{Y}_2^m$, the real surface displacement isIndeed $ϵ{\omega }_2^2=2G{M}_2/a^3$, so the normalization is consistent. This is a particular forced response away from the resonance; arbitrary free normal modes can be added.

Put $\mu =M_2/M_1$ and $q=(R_1/a{)}^3$. The tidal resonance of a stellar oscillation condition is $4{\omega }_o^2={\omega }_2^2$, henceThe resonance gives $0\le ϵ<1/2$ for finite nonnegative $\mu$, with actual forcing requiring $M_2>0$. At exact resonance the undamped linearization has no bounded response at the forcing frequency: the time-domain particular solution grows proportionally to $t$ times a sinusoid. Thus the frequency-response formula has a pole, rather than describing a finite resonant displacement. Away from that pole, linearization requires the displayed surface displacement to be small compared with $R_1$; the leading quadrupolar tidal forcing approximation separately requires $R_1/a$ small.

The Euler-Lagrange equations of the particle Lagrangian in a shearing sheet areThe terms coupling $x$ and $y$ are the Coriolis acceleration. The cyclic coordinate $y$ has conserved canonical momentumFor a Newtonian potential of a point mass, $q_0=3/2$ and ${\Omega }_z={\kappa }_r={\Omega }_0$. Set $p_y={\Omega }_0{x}_0/2$ and substitute $\dot{y}=p_y-2{\Omega }_{0}x$ in the radial equation. It becomes $\ddot{x}+{\Omega }_0^2(x-x_0)=0$, a harmonic oscillator equation about the epicyclic guiding center $x_0$. Integration givesThe four real constants in $A,y_0,x_0$ and the two in $B$ account for the six initial position and velocity data.

Expanding the inertial specific angular momentum gives $h=h_0+r_0{p}_y+O(2)$. Thus $p_y$ measures the angular-momentum offset from the reference circular orbit, and $x_0$ specifies the radius of its associated epicyclic guiding center.

The conserved horizontal energy in the rotating frame isIt is the horizontal part of the local Jacobi energy in a shearing sheet, rather than the inertial specific orbital energy. Its positive term is the epicyclic energy; its negative term is the energy of the background shear at guiding-center position $x_0$. Independently, the vertical harmonic oscillator has conserved energy

For the Dirac delta distribution source $\rho (\mathbf{r})=M\delta (\mathbf{r})$, the stated Green function of the Laplacian givesThis is the Newtonian potential of a point mass; its negative gradient gives the inverse-square gravitational acceleration $-M\hat{\mathbf{r}}/r^2$.

Write $q=|r-r^{\prime }|$. Away from the source, the radial Laplacian gives ${\nabla }^2(-1/(4\pi q))=q^{-2}{\partial }_q[q^2/(4\pi q^2)]=0$. Through a small source-centred sphere, the outward flux of its gradient isThis identifies a unit Dirac delta at the source. More explicitly, for a smooth compactly supported test function $\psi$, apply Green's second identity outside the radius-$\epsilon$ ball. The inner outward normal of that punctured domain is $-e_q$. The term $H{\partial }_n\psi$ has integral $O(\epsilon )$, while $-\psi {\partial }_{n}H$ tends to $\psi (r^{\prime })$. Thus $\int H{\nabla }^2\psi dV=\psi (r^{\prime })$, proving the distributional identityWhenever the integral converges, convolution with this Green function of the Laplacian solves the Poisson equation for Newtonian gravity:The harmonic term represents the homogeneous freedom and is fixed by boundary conditions. For an isolated finite mass distribution, regularity away from the prescribed sources and the normalization $\Phi \to 0$ at infinity select $h=0$.

For a point mass at the origin, the delta integral gives the Newtonian potential of a point mass,

For static scalar perturbations with no mixed time-space or spatial shear terms, the displayed metric tensor uses signature $(+---)$. With the reversed convention in curvature-sign convention in Killing derivative identities, its first-order Einstein tensor is $\delta G_{00}=2\Delta C$, $\delta G_{0i}=0$, and $\delta G_{ij}={\partial }_i{\partial }_j(A+C)-{\delta }_{ij}\Delta (A+C)$. These follow by substituting the metric into the first-order Christoffel symbols and Ricci tensor, discarding products of perturbations. A static source with the dust stress-energy tensor obeys $\Delta C=-4\pi G\rho$ and the decaying spatial equation makes $A=-C$. For a point mass the Newtonian potential of a point mass gives $A=-GM/r$, $C=GM/r$. The spatial potential is necessary to determine light propagation; a time potential alone is insufficient.