Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Semi-Global Existence and Trapped Surface Formation for the Einstein-Vlasov System

Nikolaos Athanasiou, Puskar Mondal, Shing-Tung Yau

TL;DR

The work addresses the dynamics of the Einstein–Vlasov system with massless matter in 3+1 dimensions without symmetry, proving large-data semi-global existence and dynamical formation of trapped surfaces. It introduces a novel commutation framework tailored to the null geometry, replacing Jacobi-field methods and enabling closure of energy estimates at optimal regularity by renormalizing Weyl/Ricci coefficients and restricting elliptic control to a critical subset of coefficients on the outgoing hypersurface. By carefully balancing derivatives of curvature and velocity moments of f within scale-invariant norms on a double-null foliation, the authors achieve uniform control of curvature up to two derivatives and three derivatives of f, culminating in a symmetry-free trapped-surface formation result and semi-global existence in a large data regime. The framework has potential implications for nonlinear stability analyses of Minkowski spacetime with massless Vlasov matter and offers a robust approach to kinetic matter in strong-gravity regimes. The results mark the first large-data, symmetry-free construction for dynamical black hole formation with kinetic matter and introduce analytic tools likely applicable to broader problems in geometric-kinetic PDEs.

Abstract

We prove a large-data semi-global existence theorem and the dynamical formation of trapped surfaces for the Einstein-massless Vlasov system in 3+1 dimensions, without any symmetry assumptions. The analysis critically hinges on a finely calibrated hierarchy of estimates for the Weyl curvature, Ricci coefficients, and velocity moments of the distribution function, designed to capture the delicate interaction between the geometric and kinetic structures of the coupled system. The presence of the Vlasov field introduces significant analytic challenges, both in terms of integrability and regularity. These are circumvented through a refined renormalization of the Ricci coefficients, a strategic restriction of the need for the elliptic estimates to a minimal number of Ricci coefficients, and a precise commutator calculus adapted to the geometry of the mass-shell of the tangent bundle of the dynamical spacetime. The results constitute the first large-data, symmetry-free construction of dynamical black hole formation in the context of kinetic matter. Beyond its immediate application to the Einstein-Vlasov system in regimes of strong gravitational interaction and absence of symmetry, we anticipate that this framework will prove useful in a broader context, including, for instance, simplified approaches to the proof of nonlinear stability of Minkowski spacetime with massless Vlasov matter

Semi-Global Existence and Trapped Surface Formation for the Einstein-Vlasov System

TL;DR

The work addresses the dynamics of the Einstein–Vlasov system with massless matter in 3+1 dimensions without symmetry, proving large-data semi-global existence and dynamical formation of trapped surfaces. It introduces a novel commutation framework tailored to the null geometry, replacing Jacobi-field methods and enabling closure of energy estimates at optimal regularity by renormalizing Weyl/Ricci coefficients and restricting elliptic control to a critical subset of coefficients on the outgoing hypersurface. By carefully balancing derivatives of curvature and velocity moments of f within scale-invariant norms on a double-null foliation, the authors achieve uniform control of curvature up to two derivatives and three derivatives of f, culminating in a symmetry-free trapped-surface formation result and semi-global existence in a large data regime. The framework has potential implications for nonlinear stability analyses of Minkowski spacetime with massless Vlasov matter and offers a robust approach to kinetic matter in strong-gravity regimes. The results mark the first large-data, symmetry-free construction for dynamical black hole formation with kinetic matter and introduce analytic tools likely applicable to broader problems in geometric-kinetic PDEs.

Abstract

We prove a large-data semi-global existence theorem and the dynamical formation of trapped surfaces for the Einstein-massless Vlasov system in 3+1 dimensions, without any symmetry assumptions. The analysis critically hinges on a finely calibrated hierarchy of estimates for the Weyl curvature, Ricci coefficients, and velocity moments of the distribution function, designed to capture the delicate interaction between the geometric and kinetic structures of the coupled system. The presence of the Vlasov field introduces significant analytic challenges, both in terms of integrability and regularity. These are circumvented through a refined renormalization of the Ricci coefficients, a strategic restriction of the need for the elliptic estimates to a minimal number of Ricci coefficients, and a precise commutator calculus adapted to the geometry of the mass-shell of the tangent bundle of the dynamical spacetime. The results constitute the first large-data, symmetry-free construction of dynamical black hole formation in the context of kinetic matter. Beyond its immediate application to the Einstein-Vlasov system in regimes of strong gravitational interaction and absence of symmetry, we anticipate that this framework will prove useful in a broader context, including, for instance, simplified approaches to the proof of nonlinear stability of Minkowski spacetime with massless Vlasov matter
Paper Structure (42 sections, 77 theorems, 1201 equations, 1 figure)

This paper contains 42 sections, 77 theorems, 1201 equations, 1 figure.

Table of Contents

  1. Introduction
  2. Historical background
  3. The Einstein-Vlasov System
  4. Main Theorem
  5. Global estimates for the derivatives of TEXT without the use of Jacobi fields
  6. Fundamental analytic obstruction in the characteristic treatment of the Vlasov system in the absence of symmetries
  7. Reduced Elliptic Estimates
  8. Optimal regularity
  9. Acknowledgements
  10. Basic setup
  11. Construction of the double null gauge
  12. Coordinates on the mass shell and the mass shell relation
  13. Volume form on the mass shell
  14. Ricci coefficients and curvature components
  15. The renormalized structure and Bianchi equations
  16. ...and 27 more sections

Key Result

Theorem 1.1

Let $(\mathcal{M} ,g)$ be a spacetime containing a non-compact Cauchy hypersurface. If $(\mathcal{M}, g)$ moreover satisfies the null energy codition and contains a closed trapped surface, it is geodesically incomplete.

Figures (1)

  • Figure 1: Schematic depiction of the spacetime region of existence

Theorems & Definitions (94)

  • Definition 1
  • Theorem 1.1: Penrose Incompleteness
  • Theorem 1.2: Semi--Global Existence and Trapped Surface Formation
  • Remark 1
  • Proposition 2.1
  • Remark 2
  • Proposition 3.1
  • Proposition 3.2
  • Proposition 3.3
  • Proposition 3.4
  • ...and 84 more