# Lemaître coordinates

General relativity :
$G_{\mu \nu }+\Lambda g_{\mu \nu }={\kappa }T_{\mu \nu }$ :
Introduction
HistoryTimelineTests
Mathematical formulation :
Fundamental concepts
Equivalence principle
Special relativity
World line
Pseudo-Riemannian manifold :
Phenomena
Kepler problem
Gravitational lensing
Gravitational redshift
Gravitational time dilation
Gravitational waves
Frame-dragging
Geodetic effect
Event horizon
Singularity
Black hole
Spacetime
Spacetime diagrams
Minkowski spacetime
Einstein–Rosen bridge :
EquationsFormalisms
Equations
Linearized gravity
Einstein field equations
Friedmann
Geodesics
Mathisson–Papapetrou–Dixon
Hamilton–Jacobi–Einstein
Formalisms
ADM
BSSN
Post-Newtonian
Advanced theory
Kaluza–Klein theory
Quantum gravity :
Solutions
Schwarzschild (interior)
Reissner–Nordström
Einstein–Rosen waves
Wormhole
Gödel
Kerr
Kerr–Newman
Kerr–Newman–de Sitter
Kasner
Lemaître–Tolman
Taub–NUT
Milne
Robertson–Walker
Oppenheimer–Snyder
pp-wave
van Stockum dust
Weyl−Lewis−Papapetrou
Hartle–Thorne :
Scientists
Einstein
Lorentz
Hilbert
Poincaré
Schwarzschild
de Sitter
Reissner
Nordström
Weyl
Eddington
Friedmann
Milne
Zwicky
Lemaître
Oppenheimer
Gödel
Wheeler
Robertson
Bardeen
Walker
Kerr
Chandrasekhar
Ehlers
Penrose
Hawking
Raychaudhuri
Taylor
Hulse
van Stockum
Taub
Newman
Yau
Thorne
others :
Physics portal
 Category :
vte :
Lemaître coordinates are a particular set of coordinates for the Schwarzschild metric—a spherically symmetric solution to the Einstein field equations in vacuum—introduced by Georges Lemaître in 1932. Changing from Schwarzschild to Lemaître coordinates removes the coordinate singularity at the Schwarzschild radius.

## Metric

The original Schwarzschild coordinate expression of the Schwarzschild metric, in natural units (c = G = 1), is given as
    $ds^{2}=\left(1-{r_{s} \over r}\right)dt^{2}-{dr^{2} \over 1-{r_{s} \over r}}-r^{2}\left(d\theta ^{2}+\sin ^{2}\theta d\phi ^{2}\right)\;,$
where
    $ds^{2}$ is the invariant interval;
    $r_{s}={\frac {2GM}{c^{2}}}$ is the Schwarzschild radius;
    $M$ is the mass of the central body;
    $t,r,\theta ,\phi$ are the Schwarzschild coordinates (which asymptotically turn into the flat spherical coordinates);
    $c$ is the speed of light;
    and $G$ is the gravitational constant.
This metric has a coordinate singularity at the Schwarzschild radius $r=r_{s}$.
Georges Lemaître was the first to show that this is not a real physical singularity but simply a manifestation of the fact that the static Schwarzschild coordinates cannot be realized with material bodies inside the Schwarzschild radius. Indeed, inside the Schwarzschild radius everything falls towards the centre and it is impossible for a physical body to keep a constant radius.
A transformation of the Schwarzschild coordinate system from $\{t,r\}$ to the new coordinates $\{\tau ,\rho \},$
    ${\begin{aligned}d\tau =dt+{\sqrt {\frac {r_{s}}{r}}}\,\left(1-{\frac {r_{s}}{r}}\right)^{-1}dr~\\d\rho =dt+{\sqrt {\frac {r}{r_{s}}}}\,\left(1-{\frac {r_{s}}{r}}\right)^{-1}dr~\end{aligned}}$
(the numerator and denominator are switched inside the square-roots), leads to the Lemaître coordinate expression of the metric,
    $ds^{2}=d\tau ^{2}-{\frac {r_{s}}{r}}d\rho ^{2}-r^{2}(d\theta ^{2}+\sin ^{2}\theta d\phi ^{2})$
where
    $r=\left[{\frac {3}{2}}(\rho -\tau )\right]^{2/3}r_{s}^{1/3}\;.$
The metric in Lemaître coordinates is non-singular at the Schwarzschild radius $r=r_{s}$. This corresponds to the point ${\frac {3}{2}}(\rho -\tau )=r_{s}$. There remains a genuine gravitational singularity at the center, where $\rho -\tau =0$, which cannot be removed by a coordinate change.
The time coordinate used in the Lemaître coordinates is identical to the "raindrop" time coordinate used in the Gullstrand–Painlevé coordinates. The other three: the radial and angular coordinates $r,\theta ,\phi$ of the Gullstrand–Painlevé coordinates are identical to those of the Schwarzschild chart. That is, Gullstrand–Painlevé applies one coordinate transform to go from the Schwarzschild time $t$ to the raindrop coordinate $t_{r}=\tau$. Then Lemaître applies a second coordinate transform to the radial component, so as to get rid of the off-diagonal entry in the Gullstrand–Painlevé chart.
The notation $\tau$ used in this article for the time coordinate should not be confused with the proper time. It is true that $\tau$ gives the proper time for radially infalling observers; it does not give the proper time for observers traveling along other geodesics.

## Geodesics

The trajectories with ρ constant are timelike geodesics with τ the proper time along these geodesics. They represent the motion of freely falling particles which start out with zero velocity at infinity. At any point their speed is just equal to the escape velocity from that point.
The Lemaître coordinate system is synchronous, that is, the global time coordinate of the metric defines the proper time of co-moving observers. The radially falling bodies reach the Schwarzschild radius and the centre within finite proper time.
Radial null geodesics correspond to $ds^{2}=0$, which have solutions $d\tau =\pm \beta d\rho$. Here, $\beta$ is just a short-hand for
    $\beta \equiv \beta (r)={\sqrt {r_{s} \over r}}$
The two signs correspond to outward-moving and inward-moving light rays, respectively. Re-expressing this in terms of the coordinate $r$ gives
    $dr=\left(\pm 1-{\sqrt {r_{s} \over r}}\right)d\tau$
Note that $dr<0$ when $r<r_{s}$. This is interpreted as saying that no signal can escape from inside the Schwarzschild radius, with light rays emitted radially either inwards or outwards both end up at the origin as the proper time $\tau$ increases.
The Lemaître coordinate chart is not geodesically complete. This can be seen by tracing outward-moving radial null geodesics backwards in time. The outward-moving geodesics correspond to the plus sign in the above. Selecting a starting point $r>r_{s}$ at $\tau =0$, the above equation integrates to $r\to +\infty$ as $\tau \to +\infty$. Going backwards in proper time, one has $r\to r_{s}$ as $\tau \to -\infty$. Starting at $r<r_{s}$ and integrating forward, one arrives at $r=0$ in finite proper time. Going backwards, one has, once again that $r\to r_{s}$ as $\tau \to -\infty$. Thus, one concludes that, although the metric is non-singular at $r=r_{s}$, all outward-traveling geodesics extend to $r=r_{s}$ as $\tau \to -\infty$.