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.^[1][2]

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.^[2][1]

Structural Signature

• 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.^[1][2]
• 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.^[1][2]
• 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.^[1][2]
• 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.^[2][1]
• 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.^[1][2]

What It Is Not

An LTB solution is not every spherically symmetric metric. The named family has the dust stress-energy and corresponding evolution constraints. Nonzero fluid pressure requires a different or generalized system. The metric is also not necessarily an expanding, isotropic homogeneous universe: spherical symmetry about a center allows radial inhomogeneity, and the collapse branch is equally part of the family.^[1][2]

The functions are not three arbitrary physical knobs. Coordinate choice and initial conditions limit the independent data. Nor does R′=0 automatically mean the same type of singularity in every case: Joshi and Malafarina discuss regular necks as an exception to a careless shell-crossing label.^[1][2]

A Schwarzschild vacuum exterior is not evidence by itself of a positive-density dust interior. Yet it is also too strong to call every vacuum region outside LTB-related formulations: Lasky, Lun and Burston show a constant-mass, zero-density vacuum region in a compatible coordinate patch that is Schwarzschild-equivalent. The dust interior and its limiting vacuum region must be distinguished by the matter and mass data, not by the name of a coordinate chart alone.^[3]

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.^[1][2]

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.^[1]

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.^[1][2]

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.^[2][1]

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.^[1][2]

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.^[1][2][3]

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.^[1][2]

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.^[1][2][3]

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.^[1][2]

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.^[1][3]

Examples

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.^[1]

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.^[2]

Structural Tensions

No intrinsic optimization trade-off defines this formal family. Expansion versus collapse is a branch and initial-data distinction, not a pair of objectives one solution must balance. Gauge choice versus physical inhomogeneity is a representation test. Shell crossing versus central focusing is a question about which geometric/matter condition occurs, not a built-in pressure that must be maximized against another.^[1][2]

The useful diagnostics are therefore: which equation normalization and radial gauge are in use; which branch and profile data are chosen; whether the regularity conditions hold on the patch; and whether a claim is about the formal family or one application. These checks keep observational or singularity conclusions from masquerading as universal structural roles.^[1][2]

Structural–Framed Character

The LTB metric is structural within general relativity. Its identity is a metric-and-Einstein-dust relation; evaluative weight is absent from the equations. Human-practice dependence enters through the coordinate gauge, chosen initial data, and what a researcher tests. These choices describe or select a member; they do not change the need for a Lorentzian metric, spherical dust and the evolution constraint. Institutional origin is irrelevant to whether a solution satisfies those equations.^[1][2]

Vocabulary travel is literal between cosmological expansion and gravitational collapse because the same formal equations are used. Import versus recognition: one recognizes an LTB instance by mapping the line element, matter and radial evolution; calling a generic “radial model” LTB imports a label without proof. The live Metric Tensor entry supplies the broader bilinear-field genus and Spacetime supplies the event carrier; this entry adds the specific relativistic dust-solution conditions. Its character: a domain-specific formal metric family that spans two unlike regimes without becoming a Prime-level cross-domain pattern.^[1][2]

Structural Core vs. Domain Accent

The core is the regular comoving spherical Lorentzian metric with areal radius R(t,r), pressureless dust, radial mass/energy data and Einstein evolution. Enqvist and Mattsson's A,k and Joshi and Malafarina's R,f are convention choices that map to that core. A radial expansion fit, a collapse density profile, a simultaneous-bang assumption, and a particular singularity outcome are accents or selected restrictions.^[1][2]

The FLRW homogeneous case and a Schwarzschild-equivalent vacuum region mark special boundaries rather than defining the generic family. The core remains tied to general-relativistic metric and matter equations; stripping those away suggests a broad mathematical radial-profile pattern, but whether that pattern recurs with a stable identity across unrelated fields is an explicitly open future Prime question. These general-relativity sources do not establish such cross-domain reach. Neither “metric” nor “spacetime” alone captures the child differentia of spherical pressureless dust and radial areal-radius evolution, so this named entry remains domain-specific.^[1][2][3]

Instantiates / Related Primes

This entry presupposes Spacetime and is a kind of Metric tensor.

The strict child-to-Metric Tensor edge is subsumption: on a regular patch, the LTB line element is a smooth nondegenerate Lorentzian symmetric bilinear field, with additional spherical-dust constraints. The strict child-to-Spacetime edge is composition/presupposes: the metric and dust Einstein equations require a four-dimensional relativistic event carrier, while a spacetime can exist without this solution. The first edge types the field; the second types its necessary carrier.^[1][2]

The live Prime Metric concerns a nonnegative metric-space distance, not an indefinite Lorentzian interval. Curved Spacetime is not a strict all-instance parent here: the named family includes homogeneous or vacuum limiting cases, and a metric family is not the entire event framework. Physical Model adds a validation or observation mapping that belongs to some LTB applications, not to every exact formal member. Schwarzschild geometry may overlap as a vacuum limit, but its vacuum identity does not subsume the positive-density dust solutions.^[1][2][3]

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.^[1][2]
• Three independent free radial physical functions: radial gauge and initial data constrain the displayed functions.^[1][2]
• A literal observed cosmic void: the cited expansion-fit example holds present-day matter density uniform.^[1]
• A guaranteed black hole or naked singularity: collapse outcomes depend on selected profiles and regularity conditions.^[2]
• 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.^[3]
• The FLRW limit as the whole family: R=a(t)r and k=Kr² require special data, not every LTB member.^[1]

References

[1] 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. registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h ↩i ↩j ↩k ↩l ↩m ↩n ↩o ↩p ↩q ↩r ↩s ↩t ↩u ↩v ↩w ↩x ↩y ↩z ↩27 ↩28 ↩29 ↩30 ↩31 ↩32

[2] 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. registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h ↩i ↩j ↩k ↩l ↩m ↩n ↩o ↩p ↩q ↩r ↩s ↩t ↩u ↩v ↩w ↩x ↩y ↩z ↩27 ↩28 ↩29

[3] 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. registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g