Lemaître–Tolman Metric¶

A spherically symmetric pressureless-dust spacetime metric whose areal radius evolves from radial mass and energy data, admitting expansion and collapse.

Version: v1 · 2026-10-07 · History
Domain-specific #: 13927
Domain group: Natural Sciences
Origin domain: Physics
Subdomains: General Relativity, Relativistic Cosmology → Physics
Aliases: Lemaitre Tolman Bondi Metric

Core Idea¶

The Lemaître–Tolman–Bondi (LTB) metric is a spherically symmetric spacetime metric in the Einstein-equation family for pressureless dust. Its geometry is described in comoving proper time by an areal radius R(t,r) for each radial label r, together with radial mass and energy/curvature data that constrain how R changes. The same formal family supports expanding inhomogeneous cosmological solutions and collapsing dust configurations. Neither an observed cosmic void nor a black hole is built into the metric's identity.[^{ref-1657e8eb1192][}ref-3307d9280266]

In one common Λ=0 convention, the line element is ds² = −dt² + R′(t,r)²/(1+f(r)) dr² + R(t,r)²dΩ², where dΩ² is the unit-sphere angular metric. In the normalization of Joshi and Malafarina, the radial evolution relation is (dR/dt)² = F(r)/R + f(r). These equations name a constrained metric and dust solution, not a promise that arbitrary functions written into the same symbols solve Einstein's equations. Enqvist and Mattsson use A=R and k=−f, and their general treatment also allows a cosmological-constant term.[^{ref-3307d9280266][}ref-1657e8eb1192]

Constitutive roles.

Spherical dust spacetime. The model has a four-dimensional Lorentzian event carrier, spherical symmetry and comoving, pressureless matter. Dust particles follow the geometry without pressure forces. A pressured fluid or arbitrary angular structure changes the governing Einstein system.[^{ref-1657e8eb1192][}ref-3307d9280266]
Areal-radius metric field. R(t,r) measures the symmetry spheres through area 4πR²; its radial derivative appears in the radial line element. The metric is meaningful as a regular Lorentzian field only on a patch where the coefficients and density expressions are admissible.[^{ref-1657e8eb1192][}ref-3307d9280266]
Radial data and gauge. Mass function F(r) and energy function f(r) distinguish members in the stated convention. The radial coordinate can be relabeled, and a choice such as R(0,r)=r fixes a gauge. An integration-time or bang-time function is tied to the initial data; listing mass, energy and time does not give three freely independent physical profiles.[^{ref-1657e8eb1192][}ref-3307d9280266]
Dust evolution and branch. The Einstein relation between dR/dt, F/R and f determines admissible evolution. Choosing the positive or negative square-root branch and compatible initial data distinguishes expansion from collapse. A shell-wise equation is useful, but the shells are not literally independent Friedmann universes: radial profiles, density and regularity conditions relate them.[^{ref-3307d9280266][}ref-1657e8eb1192]
Regularity conditions. The selected patch must retain Lorentzian signature and a well-defined areal-radius/density description. For example, Enqvist and Mattsson's radial metric requires 1−k(r)>0 where used, and a vanishing radial derivative can require special analysis. Joshi and Malafarina distinguish shell-crossing restrictions from central focusing and regular-neck exceptions. Neither a supernova fit nor a singularity outcome is a universal fifth role.[^{ref-1657e8eb1192][}ref-3307d9280266]

Scope of Application¶

The strict scope is a spherically symmetric pressureless-dust Einstein solution represented with a declared radial gauge and equation convention. Enqvist and Mattsson use an expanding model to ask how radial differences in present expansion rate affect light-cone supernova distances. Joshi and Malafarina use collapsing data to study when dust configurations lead to covered or locally visible singularities under specific regularity assumptions. Both instantiate the metric-and-evolution roles; their observational and collapse conclusions belong to selected models, not to all LTB solutions.[^{ref-1657e8eb1192][}ref-3307d9280266]

A homogeneous dust FLRW solution is a special case, not the general definition. In Enqvist and Mattsson's notation the metric limit has A(t,r)=a(t)r and k(r)=Kr², with an appropriate mass profile and common time origin for the full homogeneous solution. Saying the radial functions are simply “uniform” is incorrect: k(r) is quadratic in the cited gauge. Optional Λ variants must be labeled separately from the shared Λ=0 formula above.[^ref-1657e8eb1192]

Clarity¶

R(t,r) is an areal radius, not the comoving radial label. A fixed r follows one dust worldline or shell; R can change with time while r remains a label. A prime means derivative with respect to the chosen radial coordinate, and a dot or d/dt means proper-time derivative in the comoving gauge. The factor 1+f(r) or 1−k(r) belongs to the radial metric coefficient; it is not a universal observable curvature number independent of notation.[^{ref-1657e8eb1192][}ref-3307d9280266]

Keep source normalizations separate. The compact density expression ρ=F′/(R²R′) in Joshi and Malafarina uses their gravitational units and mass-function convention. Enqvist and Mattsson retain 8πG explicitly and define their mass function differently. Copying a density equation from one notation while keeping the other's F silently changes its meaning.[^{ref-3307d9280266][}ref-1657e8eb1192]

Manages Complexity¶

Spherical symmetry reduces the full Einstein system to radial functions and areal-radius evolution while preserving a meaningful inhomogeneous geometry. That makes it possible to follow either a light cone through a chosen expanding model or the development of a collapsing dust cloud without solving arbitrary three-dimensional matter structure. The reduction exposes which claims come from the common metric and which come from selected radial data.[^{ref-1657e8eb1192][}ref-3307d9280266]

The simplification has costs. A spherical toy cosmology is not a general model of irregular large-scale structure, and a dust collapse model omits pressure and other physics. The formalism can carry vacuum and dust regions together in suitable coordinates, but that convenience does not make every interface or singularity harmless. Regularity and interpretation must be checked for each constructed solution.[^{ref-1657e8eb1192][}ref-3307d9280266][^ref-9f6aa171e3f6]

Abstract Reasoning¶

Start by choosing a comoving proper-time gauge and admissible radial data. Use the line element to identify symmetry-sphere area and local Lorentzian intervals. Then solve (dR/dt)²=F/R+f with a branch and initial condition; only after that evaluate density and regularity on the intended patch. Enqvist and Mattsson's k=−f is a notation translation, not a change of physical model. The radial-label freedom prevents one from counting displayed functions as independent physical degrees of freedom before a gauge is fixed.[^{ref-1657e8eb1192][}ref-3307d9280266]

To test a proposed generalization, alter one constitutive condition. Adding pressure changes the matter equations. Removing the Einstein dust evolution leaves a spherical metric ansatz without the named solution. Choosing R=a(t)r and k=Kr² with homogeneous-compatible data reaches the FLRW special case rather than leaving the family. Letting density vanish and enclosed mass become constant reaches a vacuum limiting region that may be Schwarzschild-equivalent, rather than proving a dust interior existed there.[^{ref-1657e8eb1192][}ref-3307d9280266][^ref-9f6aa171e3f6]

Knowledge Transfer¶

The expanding and collapsing examples transfer the same formal roles: spherical comoving dust, areal-radius line element, radial data, an Einstein evolution relation, and a regular domain. Their sign choices and questions differ. Enqvist and Mattsson compute a conditional distance-redshift fit; Joshi and Malafarina analyze conditional singularity and apparent-horizon behavior. Those results do not transfer across the two cases merely because the line element does.[^{ref-1657e8eb1192][}ref-3307d9280266]

A second, narrower transfer links the LTB family to its homogeneous or vacuum limits. FLRW-compatible radial data produce a homogeneous dust special member, while constant-mass zero-density data can produce a Schwarzschild-equivalent vacuum region in an LTB-related description. These limits clarify the family boundary; they do not make “homogeneous cosmology” or “vacuum exterior” synonyms for all LTB solutions.[^{ref-1657e8eb1192][}ref-9f6aa171e3f6]

Example¶

Expanding inhomogeneous cosmology. Enqvist and Mattsson choose a radial Hubble-rate profile H₀(r)=H+ΔH exp(−r/r₀) and linked matter/curvature data; their §3.4 realization has uniform present-day physical matter density despite the radial expansion variation. Role mapping: spherical dust carrier = comoving cosmological matter; areal radius = their A(t,r); radial data/gauge = H₀(r), linked ΩM(r), F and k in the chosen A₀(r)=r gauge; evolution = expansion branch; regularity = restrict the operative patch to admissible 1−k>0 and nondegenerate radial metric/density expressions. The paper's supernova fit is a result for its chosen profile and dataset, not evidence of a literal measured void or proof against dark energy.[^ref-1657e8eb1192]

Inhomogeneous dust collapse. Joshi and Malafarina use R(t,r)=r v(t,r), F(r)=r³M(r) and f(r)=r²b(r) in a regular-center, comoving gauge with R(0,r)=r. Role mapping: dust carrier = collapsing spherical cloud; areal radius = rv; radial data = M and b; evolution = negative dR/dt branch; regularity = positive-density and selected no-shell-crossing conditions, including R′>0 on the studied domain. Their distinction between black-hole and locally visible outcomes depends on the selected profiles and conditions. It is not a universal fate asserted by the metric.[^ref-3307d9280266]

Relationships to Other Abstractions¶

Current abstraction Lemaître–Tolman Metric Domain-specific

Parents (2) — more general patterns this builds on

Lemaître–Tolman Metric is a kind of Metric tensor Domain-specific

On a regular patch, the LTB line element is a particular Lorentzian metric tensor constrained by spherical dust Einstein equations.
Lemaître–Tolman Metric presupposes Spacetime Domain-specific

The LTB metric requires a four-dimensional Lorentzian event carrier with causal directions.

Hierarchy paths (2) — routes to 2 parentless roots

Lemaître–Tolman Metric → Metric tensor → Relation

Show alternative path (1)

Neighborhood in Abstraction Space¶

Lemaître–Tolman Metric sits in a sparse region of the domain-specific corpus (94^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (2551 abstractions)

Nearest neighbors

Schwarzschild Metric — 0.82
Non-Linear Sigma Model — 0.78
Classification of Electromagnetic Fields — 0.78
Curved spacetime — 0.77
Brinkmann Coordinates — 0.77

Computed from structural-signature embeddings · 2026-10-08

Not to Be Confused With¶

A generic spherical metric: the pressureless dust Einstein relation is necessary for this named family.[^{ref-1657e8eb1192][}ref-3307d9280266]
Three independent free radial physical functions: radial gauge and initial data constrain the displayed functions.[^{ref-1657e8eb1192][}ref-3307d9280266]
A literal observed cosmic void: the cited expansion-fit example holds present-day matter density uniform.[^ref-1657e8eb1192]
A guaranteed black hole or naked singularity: collapse outcomes depend on selected profiles and regularity conditions.[^ref-3307d9280266]
A Schwarzschild vacuum exterior as proof of a dust interior: a constant-mass vacuum limiting region can share the formalism without containing positive-density dust.[^ref-9f6aa171e3f6]
The FLRW limit as the whole family: R=a(t)r and k=Kr² require special data, not every LTB member.[^ref-1657e8eb1192]

References¶

[^ref-1657e8eb1192]: Kari Enqvist and Teppo Mattsson, “The effect of inhomogeneous expansion on the supernova observations”, Journal of Cosmology and Astroparticle Physics 2007(02):019, doi:10.1088/1475-7516/2007/02/019. Full author paper v4 (16 February 2007) inspected. §2.1, printed pp. 5–7, eqs. (2.1), (2.5)–(2.6), (2.10) and (2.13) gives the metric, radial data, FLRW limit and gauge; §3.4, printed p. 13, gives the uniform-present-day-density radial-expansion example; §3.5 treats simultaneous bang as an added constraint. The supernova fit is model- and dataset-conditional.

[^ref-3307d9280266]: Pankaj S. Joshi and Daniele Malafarina, “All black holes in Lemaitre-Tolman-Bondi inhomogeneous dust collapse”, Classical and Quantum Gravity 32 (2015), 145004, doi:10.1088/0264-9381/32/14/145004. Full author paper v2 (8 September 2015) inspected. §II, PDF pp. 2–3, eqs. (1)–(5) defines the comoving spherical dust metric, normalization, expansion/collapse branches and initial gauge; §III, PDF pp. 4–6, treats shell-crossing and conditional outcomes; Appendix eqs. (A37)–(A41) fixes the integration-time function from data.

[^ref-9f6aa171e3f6]: Paul D. Lasky, A. W. C. Lun, and R. B. Burston, “Initial value formalism for Lemaitre-Tolman-Bondi collapse”, The ANZIAM Journal 49 (2007), pp. 53–73, doi:10.1017/S1446181100012670. Full original publisher article inspected. Abstract, printed p. 53, and §2.5, printed pp. 61–63, show that an LTB-related initial-value patch can include both dust and constant-mass vacuum regions, with the vacuum region Schwarzschild-equivalent under a coordinate transformation. This is a limiting-boundary source, not a third positive-density dust case.