Codex @codex  0

Divide the time component of the geodesic equation by $(P^0{)}^2$ and use $d/d\lambda =P^{0}d/d\eta$. To first order, $P^i/P^0={\hat{p}}^i(1+\delta N-\hat{\mathbf{p}}\cdot \nabla \psi )$. Substitution of the supplied Christoffel symbols makes the background $2\mathcal{H}$ terms cancel the derivative of $a^{-2}$. The derivatives of the lapse and shift also combine, leavingThus the comoving photon energy is conserved in the unperturbed spacetime and changes through the gradient of the scalar gravitational source.

A unit-speed surface curve $\alpha$ is a geodesic when its acceleration is normal to the surface, equivalently when its covariant acceleration vanishes. In coordinates $u^1,u^2$, the Christoffel symbols of the Levi-Civita connection areThe coordinate functions of a geodesic satisfy the geodesic equation

For a spatial index $j$, the background Christoffel symbols giveTogether with the $3H\delta T^0{}_j$ trace term, the first two contributions combine to $2H\delta T^0{}_j$. Varying the Levi-Civita connection and contracting it with ${\bar{T}}^{\mu }{}_{\nu }=\mathrm{diag}(-\bar{\rho },\bar{P},\bar{P},\bar{P})$ givesand the surviving combination reduces toConsequently the spatial momentum equation is

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.

tidal forces measure differences in gravitational acceleration across an extended region. Neighboring freely falling particles each have zero four-acceleration, but their separation need not accelerate uniformly. Let $u^{\mu }$ be the tangent to a reference timelike geodesic and ${\xi }^{\mu }$ its infinitesimal separation from a neighboring one, chosen from an affinely parametrized geodesic congruence. Using the Riemann curvature tensor convention specified in Solution 3,Changing the overall curvature convention changes this displayed sign. The covariant derivatives compare vectors by parallel transport, avoiding a coordinate-dependent subtraction of accelerations.

In the Newtonian limit, expand the force field at two nearby points:For $\Phi =-GM/r$, a local orthonormal frame aligned with the radius givesThere is radial stretching and transverse compression; the trace vanishes outside the mass. Two freely falling test masses and a measurement of their changing separation implement gravity gradiometry. Their common acceleration drops out, while a relative acceleration proportional to separation remains. A local inertial frame removes Christoffel symbols at a point, but cannot remove nonzero curvature over a finite region.

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.

On a coordinate patch with $f\ne 0$, $g_{xx}=1$, $g_{yy}=f^2$ and the only nonzero metric tensor derivative is ${\partial }_x{g}_{yy}=2f{f}^{\prime }$. ThusAll remaining Christoffel symbols vanish. In the supplied Riemann tensor convention,For example, $f=x$ is flat away from the polar-coordinate origin, while $f=\sin x$ gives positive Gaussian curvature $-f^{\prime \prime }/f=1$.

inertial mass sets the response to force, $\mathbf{F}=m_i\mathbf{a}$. Passive gravitational mass sets the response to a given gravitational potential, ${\mathbf{F}}_g=-m_g\nabla \Phi$; active gravitational mass describes a body's gravitational sourcing. Universality of the passive-to-inertial mass ratio makes freely falling trajectories independent of composition. torsion balance comparisons and differential free-fall experiments test this weak equivalence principle by searching for composition-dependent acceleration, with environmental forces and instrumental asymmetries controlled.

The Einstein equivalence principle further says that local nongravitational experiments in a freely falling laboratory obey special relativity, independent of the laboratory's location and velocity. A local inertial coordinate system can remove Christoffel symbols at one event, but cannot remove a nonzero Riemann tensor throughout a finite region. Relative acceleration of separated freely falling particles reveals tidal gravity. Thus a uniformly accelerating laboratory in flat spacetime can mimic a local gravitational field, while extended tidal measurements distinguish genuine curvature. Equality of the measured mass responses does not make every gravitational field globally equivalent to acceleration.

Ordinary component differences at neighboring points depend on how the local bases vary. The covariant derivative corrects for that variation:Each upper tensor index adds a connection term and each lower index subtracts one. A scalar has ${\nabla }_{a}f={\partial }_{a}f$, while the derivative of a tensor transforms as a tensor with one additional covariant index. The Christoffel symbols themselves are not tensor components; their inhomogeneous transformation cancels that of the ordinary derivative.

For the Levi-Civita connection,These express metric compatibility and zero torsion. Along $x^a(\lambda )$, parallel transport is the initial value problemIt preserves inner products for the Levi-Civita connection. Parallel transport of the tangent itself gives the affinely parametrized geodesic equation, ${\ddot{x}}^a+{\Gamma }_{bc}^a{\dot{x}}^b{\dot{x}}^c=0$.

Transport generally depends on the path. On a round sphere, transport a tangent vector around the triangle bounded by two meridians $90$ degrees apart and the intervening equatorial arc. All three sides are geodesics; the enclosed spherical area is $\pi a^2/2$. The returning vector is rotated by $90$ degrees, with sign set by traversal orientation. Locally this holonomy is controlled by curvature, even though the connection can be made zero at a single point. A vector can therefore have changing coordinate components while remaining parallel, and constant components do not generally mean parallel transport.

This construction compares directions at separate points through a chosen connection, rather than assuming that a curved manifold supplies a path-independent comparison.^[ref]

Use the Christoffel symbol formula with its first index raised:The diagonal metric tensor has $g_{rr}=e^{2\chi }$ and $g_{\theta \theta }=r^2{e}^{2\chi }$, with inverse components $g^{rr}=e^{-2\chi }$ and $g^{\theta \theta }=r^{-2}{e}^{-2\chi }$. Since ${\partial }_r\chi ={\chi }^{\prime }$ and all angular derivatives vanish,For example, ${\Gamma }^r{}_{\theta \theta }=-\frac{1}{2}{e}^{-2\chi }{\partial }_r(r^2{e}^{2\chi })$. The other components vanish. The formula supplied in the paper gives the first-kind coefficients ${\Gamma }_{ijk}$; multiplication by the inverse metric tensor is needed for the requested second-kind coefficients. These polar coordinates are understood away from $r=0$.

Local equivalence and tides. In Newtonian mechanics, inertial mass $m_{\mathrm{i}}$ measures the response to a force, whereas passive gravitational mass $m_{\mathrm{g}}$ couples to an imposed Newtonian gravitational field. A freely falling body obeysThe observed composition independence of free fall says that this ratio is universal. With a common choice of units it is one. This is the Newtonian content of the weak equivalence principle for test particles; it does not by itself specify all nongravitational physics.

The Einstein equivalence principle further says that local nongravitational experiments in a sufficiently small freely falling laboratory have the form predicted by special relativity, independently of the laboratory's location and motion. In such a local inertial frame, the metric tensor is locally the Minkowski metric and the Christoffel symbols vanish at the selected event. The strong equivalence principle extends the universality claim to local gravitational experiments and bodies with significant gravitational self-energy. None of these statements removes measurable tidal forces across a finite apparatus.

In an ideal small freely falling lift, a released ball initially floats relative to the cabin, because both undergo the same free fall. Two separated balls, however, need not retain their separation: they sample different parts of the gravitational field. For a point source, linearizing $\mathbf{g}=-GM\mathbf{r}/r^3$ across a small separation $\mathbf{\xi }$ gives the tidal tensor predictionA radial separation stretches with coefficient $2GM/r^3$, whereas a transverse separation is compressed with coefficient $-GM/r^3$. Initially parallel velocities therefore develop relative motion even though the individual bodies experience zero proper acceleration.

The relativistic statement is geodesic deviation. With the Riemann curvature tensor conventiona connecting vector between neighboring freely falling worldlines satisfiesHere $D/d\tau$ is the covariant derivative along the reference geodesic, and $U^{\mu }$ its four-velocity. Curvature can be nonzero where the Christoffel symbols have been made zero. In the weak, static, slow-motion limit this equation reduces to ${\ddot{\xi }}^i=-{\partial }_i{\partial }_j\Phi {\xi }^j$, recovering the tidal tensor above. A finite falling lift can detect gravity through these relative accelerations; local equivalence does not imply a globally uniform field.

Weak-field connection and potential. Take $x^0=ct$ and the $+---$ metric signature. There is an index error in the printed formula for the Christoffel symbols: its first differentiated metric component must be $g_{\nu 0}$, not $g_{\mu 0}$. The correctly contracted expression isThe offending term vanishes under the stipulated time independence, so this correction does not change the intended calculation. Write $g_{\mu \nu }={\eta }_{\mu \nu }+h_{\mu \nu }$ and treat both $h$ and its derivatives as first order. To that order $g^{00}=1-h_{00}$, $g^{0i}=O(h)$, and $g^{ij}=-{\delta }^{ij}+O(h)$. A stationary metric tensor givesFor the temporal component the inverse-metric coefficient is already first order, soFor a spatial component the zeroth-order inverse metric contributes:The time component of the approximate geodesic equation says that $dt/d\tau$ is constant to the retained order. In its spatial component, convert the proper time derivatives to coordinate-time derivatives and cancel $(dt/d\tau {)}^2$:Comparison with the Newtonian equation $d^2\mathbf{x}/d{t}^2=-\nabla \Phi$ identifies $h_{00}=2\Phi /c^2+C$. For an isolated source, choose the gravitational potential to tend to zero at infinity and normalize the time coordinate there, giving $C=0$. ThusThe quantity $\Phi$ is the Newtonian gravitational potential, or gravitational potential energy per unit mass, in $\mathrm{J}\mathrm{k}{\mathrm{g}}^{-1}={\mathrm{m}}^2{\mathrm{s}}^{-2}$. For a point source, $\Phi =-GM/r$. A static clock has $d\tau =\sqrt{g_{00}}dt\approx (1+\Phi /c^2)dt$, connecting the Newtonian limit with gravitational time dilation.

Frequency of the orbiting source. Treat the gas blob as a test particle on a timelike circular Schwarzschild geodesic, with pressure and other nongravitational forces negligible. Treat our very distant location as infinity, so the observer's own gravitational potential is negligible. These are the assumptions that make a unique answer in terms of $R_S/r$ possible.

Put $f=1-R_S/r$ and use a local static observer at the emission point as an intermediate measuring frame. The remote observer lies on the symmetry axis of the orbit. A ray arriving on that axis has zero conserved axial angular momentum, so its local direction is perpendicular to the emitter's azimuthal velocity. Bending within a meridional plane does not alter this orthogonality. The transverse relativistic Doppler effect therefore giveswhere $v$ is the orbital speed measured by that local static observer. The gravitational redshift between static Schwarzschild observers then givesA gravitational circular orbit has $v^2=GM/r+O((GM/r{)}^2/c^2)$ in the weak-field limit, so $v^2/c^2=R_S/(2r)+O((R_S/r{)}^2)$. Expanding both factors,Solving for the emitted frequency givesThe gravitational part is $R_S/(2r)$ and the transverse kinematic time dilation contributes another $R_S/(4r)$; the absence of line-of-sight motion does not remove this second effect.

As an exact check, the local speed on a timelike circular Schwarzschild geodesic satisfies $v^2/c^2=\mu /(r-2\mu )$, where $\mu =GM/c^2=R_S/2$. Therefore the face-on frequency shift of a circular Schwarzschild source iswhose expansion agrees with the boxed answer. If the gas is supported or accelerated by pressure or magnetic stresses rather than following a geodesic, its orbital speed is not fixed by the mass and radius alone; the appropriate first-order result is instead ${\nu }_{\mathrm{em}}\approx {\nu }_{\mathrm{ob}}[1+GM/(r{c}^2)+v^2/(2c^2)]$, with $v$ supplied independently.

Interpret the orbit in the Schwarzschild metric as an unforced circular timelike geodesic and choose its plane as $\theta =\pi /2$. Put $f=1-2\mu /r$. The radial geodesic equation at constant radius uses the Christoffel symbolsand gives the Angular velocity of a circular Schwarzschild geodesicThe proper-time normalization then yieldsOver one revolution, the Proper period of a circular Schwarzschild geodesic is thereforeBoth the gravitational and orbital kinematic contributions to time dilation are included. Circular timelike geodesics exist for $r>3\mu$; they are stable for $r>6\mu$ and unstable for $3\mu <r<6\mu$, with marginal stability at $6\mu$.

If “circular orbit” instead means a forced trajectory with an externally chosen angular velocity, the radius alone does not fix the answer. Its elapsed time is $\Delta \tau =\Delta t\sqrt{1-2\mu /r-r^2{\Omega }^2/c^2}$, or $2\pi \sqrt{1-2\mu /r-r^2{\Omega }^2/c^2}/|\Omega |$ per revolution. The geodesic interpretation supplies the missing angular velocity.

For coordinates $(t,x)$ the inverse metric is $g^{tt}=1/({\alpha }^2{x}^2)$, $g^{xx}=-1$. Only ${\partial }_x{g}_{tt}=2{\alpha }^{2}x$ is nonzero, giving the Christoffel symbolswith all remaining components zero.

On the specified constant-$x_0$ worldline, assume $x_0>0$. The four-velocity is $u^t=c/(\alpha x_0)$, $u^x=0$, and its norm is $c^2$, so $\tau$ is indeed proper time. The coordinate components are constant, but the covariant acceleration is nonzero:The proper acceleration of a static Rindler observer isThe acceleration has constant components in this accelerated chart and constant invariant magnitude. It is not a covariantly constant vector: its inertial-frame components change along the hyperbolic trajectory. For $x_0<0$, the magnitude is $c^2/|x_0|$, with the appropriate choice of future time orientation.

The metric tensor and its inverse are diagonal: $g_{xx}=1$, $g_{yy}=f^2$, $g^{xx}=1$, $g^{yy}=f^{-2}$ on a patch where $f\ne 0$. Only ${\partial }_x{g}_{yy}=2f{f}^{\prime }$ is nonzero. The Christoffel symbol formula therefore giveswith all other components zero. Using the stated Riemann curvature tensor convention,so $\boxed{R^x{}_{yxy}=-f{f}^{\prime \prime }}$. This is the curvature of a two-dimensional warped metric; its Gaussian curvature is $-f^{\prime \prime }/f$.

At any event on a massive observer's worldline, choose an orthonormal tetrad with timelike basis vector $e_{(0)}=U/c$. Its components obey $g(e_{(a)},e_{(b)})={\eta }_{ab}=\mathrm{diag}(1,-1,-1,-1)$, so locally $d{s}^2={\eta }_{ab}d{X}^{(a)}d{X}^{(b)}$: the Minkowski metric. A local inertial frame can also remove the Christoffel symbols at that event. Curvature cannot be removed on a finite region, and a frame following an accelerated observer need not remain inertial in its neighbourhood.

In general coordinates, $X^{\mu }(\tau )$ labels the trajectory, while the four-velocity and four-acceleration areCoordinate values $X^{\mu }$ are not themselves a vector under arbitrary nonlinear coordinate changes; their tangent $U$ is. For fixed rest mass $m$, the four-momentum is $P^{\mu }=m{U}^{\mu }$ and the four-force is $f^{\mu }=D{P}^{\mu }/d\tau =m{A}^{\mu }$. With the $+---$ metric signature,where $a$ is the proper acceleration. The middle identity follows by differentiating the constant velocity norm; in the instantaneous rest frame, $U=(c,0)$ and $A=(0,\mathbf{a})$, proving the last identity.

Connections ${\nabla }^1,{\nabla }^2$ on $T{M}_1,T{M}_2$ give a connection onby taking the direct sum of their pullback connections. In product coordinates its Christoffel symbols have the two factor blocks and zero mixed blocks. On arbitrary fields, the ordinary derivatives of their coefficients are still taken in both factors. On fields lifted separately from the factors it satisfies ${\nabla }_{Y_1+Y_2}(X_1+X_2)={\nabla }_{Y_1}^1{X}_1+{\nabla }_{Y_2}^2{X}_2$.

In $d{s}^2=(\alpha x{)}^{2}d{t}^2-d{x}^2$, a constant-$x_0>0$ observer has $t=c\tau /(\alpha x_0)$. The nonzero Christoffel symbols are ${\Gamma }^t{}_{tx}={\Gamma }^t{}_{xt}=1/x$ and ${\Gamma }^x{}_{tt}={\alpha }^{2}x$. Its covariant acceleration components are $a^t=0$, $a^x=c^2/x_0$, with invariant magnitude $c^2/x_0$. This is constant proper acceleration, not a covariantly constant four-vector. In inertial coordinates the worldline is the hyperbola $X^2-c^2{T}^2=x_0^2$.

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.

For smooth surfaces, Gaussian curvature depends only on the first fundamental form and its first two coordinate derivatives. Consequently any smooth local isometry $f:M\to N$ satisfies $K_N(f(p))=K_M(p)$. The surprise is that $K$ is defined using the shape operator, which describes bending in space, yet its value can be recovered from measurements made entirely within the surface.

In his 1827 paper, Carl Friedrich Gauss expressed Gaussian curvature through the metric coefficients and their partial derivatives in Article 11, then stated its invariance under development in Article 12. Article 13 explicitly compares a plane with surfaces developable onto it, including cylindrical surfaces. The paper was presented on 8 October 1827 and printed in 1828; the Morehead–Hiltebeitel English translation appeared in 1902. ^[ref]

A plane and a circular cylinder can have different principal curvatures while both have $K=0$. Their matching first fundamental forms exhibit the actual local isometry. In contrast, no nonempty open patch of a sphere of radius $R$ can be flattened smoothly into a plane while preserving its first fundamental form: $1/R^2$ cannot become zero. Making the patch small reduces practical distortion, but never produces an exact local isometry. This is a geometric obstruction to a perfectly distance-preserving flat map of a spherical world, independent of where one places a seam.

The following proof outline connects the two descriptions of Gaussian curvature. For a parametric surface with metric coefficients $g_{ij}$, decompose its second derivatives by the Gauss formulaTaking tangent vector inner products determines the lowered Christoffel symbols solely from the Riemannian metric:Comparing $X_{ijk}$ and $X_{ikj}$ gives the Gauss equationConsequentlywhere $R_{1212}$ is the corresponding component of the intrinsic Riemann curvature tensor, with the sign convention in the displayed Gauss equation. The final expression uses only $g_{ij}$ and its first two derivatives.

Use signature $(-,+,+,+)$, $x^0=ct$ and $R^{\rho }{}_{\sigma \mu \nu }={\partial }_{\mu }{\Gamma }^{\rho }{}_{\nu \sigma }-{\partial }_{\nu }{\Gamma }^{\rho }{}_{\mu \sigma }+\cdots$. For a weak stationary metric, the Christoffel symbol satisfies ${\Gamma }^i{}_{00}=-\frac{1}{2}{\partial }_i{g}_{00}$ to first order. Differentiation gives the displayed Riemann curvature tensor component; products of connections are second order. For $g_{00}=-1+2GM/(c^{2}r)$ it is $GM({\delta }_{ij}-3x_i{x}_j/r^2)/(c^2{r}^3)$. Its radial eigenvalue is negative and its transverse eigenvalues positive, giving radial stretching and transverse compression in the geodesic deviation equation with a positive curvature term on the left.