Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Stability of Minkowski space and polyhomogeneity of the metric

Peter Hintz, András Vasy

TL;DR

This work proves the nonlinear stability of Minkowski space for the vacuum Einstein equations in 3+1 dimensions by formulating the problem on a carefully constructed spacetime compactification M and solving a gauge-fixed Einstein equation through a global Nash–Moser iteration. The analysis blends energy estimates, vector-field methods, and Melrose’s b-analysis to obtain precise asymptotics, showing polyhomogeneity of the spacetime metric when initial data are polyhomogeneous and establishing a Bondi mass loss formula. A key aspect is constraint damping in a wave-map/gauge framework, which fixes the null-infinity geometry and yields a robust decoupling structure at scri+, compatible with a weak null condition. The results provide a rigorous, highly detailed asymptotic description of the perturbed spacetime, including leading logarithmic terms and the Bondi mass, and offer a powerful framework applicable to related stability problems in general relativity.

Abstract

We study the nonlinear stability of the $(3+1)$-dimensional Minkowski spacetime as a solution of the Einstein vacuum equation. Similarly to our previous work on the stability of cosmological black holes, we construct the solution of the nonlinear initial value problem using an iteration scheme in which we solve a linearized equation globally at each step; we use a generalized harmonic gauge and implement constraint damping to fix the geometry of null infinity. The linear analysis is largely based on energy and vector field methods originating in work by Klainerman. The weak null condition of Lindblad and Rodnianski arises naturally as a nilpotent coupling of certain metric components in a linear model operator at null infinity. Upon compactifying $\mathbb{R}^4$ to a manifold with corners, with boundary hypersurfaces corresponding to spacelike, null, and timelike infinity, we show, using the framework of Melrose's b-analysis, that polyhomogeneous initial data produce a polyhomogeneous spacetime metric. Finally, we relate the Bondi mass to a logarithmic term in the expansion of the metric at null infinity and prove the Bondi mass loss formula.

Stability of Minkowski space and polyhomogeneity of the metric

TL;DR

This work proves the nonlinear stability of Minkowski space for the vacuum Einstein equations in 3+1 dimensions by formulating the problem on a carefully constructed spacetime compactification M and solving a gauge-fixed Einstein equation through a global Nash–Moser iteration. The analysis blends energy estimates, vector-field methods, and Melrose’s b-analysis to obtain precise asymptotics, showing polyhomogeneity of the spacetime metric when initial data are polyhomogeneous and establishing a Bondi mass loss formula. A key aspect is constraint damping in a wave-map/gauge framework, which fixes the null-infinity geometry and yields a robust decoupling structure at scri+, compatible with a weak null condition. The results provide a rigorous, highly detailed asymptotic description of the perturbed spacetime, including leading logarithmic terms and the Bondi mass, and offer a powerful framework applicable to related stability problems in general relativity.

Abstract

We study the nonlinear stability of the -dimensional Minkowski spacetime as a solution of the Einstein vacuum equation. Similarly to our previous work on the stability of cosmological black holes, we construct the solution of the nonlinear initial value problem using an iteration scheme in which we solve a linearized equation globally at each step; we use a generalized harmonic gauge and implement constraint damping to fix the geometry of null infinity. The linear analysis is largely based on energy and vector field methods originating in work by Klainerman. The weak null condition of Lindblad and Rodnianski arises naturally as a nilpotent coupling of certain metric components in a linear model operator at null infinity. Upon compactifying to a manifold with corners, with boundary hypersurfaces corresponding to spacelike, null, and timelike infinity, we show, using the framework of Melrose's b-analysis, that polyhomogeneous initial data produce a polyhomogeneous spacetime metric. Finally, we relate the Bondi mass to a logarithmic term in the expansion of the metric at null infinity and prove the Bondi mass loss formula.

Paper Structure

This paper contains 35 sections, 49 theorems, 552 equations, 15 figures.

Table of Contents

  1. Introduction
  2. Aspects of the systematic treatment; examples
  3. Linear waves in Minkowski space
  4. Non-linearities and null structure
  5. Polyhomogeneity
  6. Analysis of Einstein's equation
  7. Bondi mass loss formula
  8. Outline of the paper
  9. Compactification
  10. Analytic structure
  11. Function spaces
  12. Relationships between different compactifications
  13. Bundles and connections near null infinity
  14. Gauge-fixed Einstein equation
  15. Form of metric perturbations
  16. ...and 20 more sections

Key Result

Theorem 1.1

Let $b_0>0$. Suppose that $(\gamma,k)$ are smooth initial data on $\mathbb{R}^3$ satisfying the constraint equations EqIConstraints which are small in the sense that for some small $\delta>0$, a cutoff $\chi\in\mathcal{C}^\infty_{\mathrm{c}}(\mathbb{R}^3)$ identically $1$ near $0$, and $\widetilde{\ where $N$ is some large fixed integer ($N=26$ works). Assume moreover that the weighted $L^2$ norms

Figures (15)

  • Figure 1.1: Left: the compact manifold $M$ (solid boundary), containing a compactification $\Sigma$ of the initial surface $\Sigma^\circ$. The boundary hypersurfaces $I^0$, $\mathscr I^+$, and $I^+$ are called spatial infinity, (future) null infinity, and (future) timelike infinity, respectively. One can think of $M$ as the blow-up of a Penrose diagram at timelike and spatial infinity. A global compactification would extend across $\Sigma$ to the past, with additional boundary hypersurfaces $\mathscr I^-$ (past null infinity) and $I^-$ (past timelike infinity). Right: for comparison, the Penrose diagram of Minkowski space.
  • Figure 1.2: Illustration of the coordinate chart \ref{['EqISysLin0IChart']}. Shown are a number of level sets of $\rho_0$ (red dashed lines) and $\rho_I$ (blue dashed lines) projected onto the $(t,r)$ plane. Indicated on the top right is the $(\rho_0,\rho_I,\omega)$ coordinate system including the boundary hypersurfaces $I^0$ and $\mathscr I^+$ which are glued onto $\mathbb{R}^4$.
  • Figure 1.3: The domain $U_0$ on which the energy estimate \ref{['EqISysLinEq0Est']} holds. Left: as a subset of $M$. Right: as a subset of the Penrose compactification.
  • Figure 1.4: The domain $U_I$ on which the energy estimate \ref{['EqISysLinEqIEst']} holds.
  • Figure 1.5: The neighborhood (shaded) of $I^+$ on which we use a global (in $I^+$) weighted energy estimate.
  • ...and 10 more figures

Theorems & Definitions (129)

  • Theorem 1.1
  • Remark 1.2
  • Remark 1.3
  • Definition 1.4
  • Remark 1.6
  • Remark 1.7
  • Theorem 1.8
  • Remark 1.9
  • Theorem 1.10
  • Definition 2.1
  • ...and 119 more