arXiv Science⌕ Search

arXiv · 2610.21124

Formation of Trapped Surfaces for the Einstein-Euler System

Abstract

We prove the formation of trapped surfaces for the Einstein--Euler system in 3+1 dimensions beyond spherical symmetry. We consider smooth characteristic initial data in a short-pulse regime with rapid fluid injection. Starting from initial data containing no trapped surfaces, we obtain two sufficient criteria for trapped surface formation, corresponding to the shear and fluid contributions, respectively. In particular, for the fluid-driven criterion, we impose no positive lower bound on the shear flux. To handle the multiple propagation speeds associated with gravitational waves, sound waves, and fluid transport, our analysis combines three ingredients: a coercive fluid energy current whose null fluxes reflect the unequal velocity components, curvature renormalizations adapted to the matter terms, and weighted geometric estimates controlling derivatives in all spacetime directions. To ensure that fluid injection alone can lead to trapped surface formation, we use particle-number conservation in a designed spacetime region to control the focusing process and obtain the desired sphere-integrated fluxes.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Xinliang An, Sifan Yu. 2026-10-15. Formation of Trapped Surfaces for the Einstein-Euler System. https://arxiv.org/abs/2610.21124

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Smooth solutions to the chord log-Minkowski problem

In integral geometry generalized with Aleksandrov's variational theory, Lutwak-Xi-Yang-Zhang [Comm. Pure Appl. Math. 77 (2024)] recently opened the door to researching the cone-chord measures and their log-Minkowski problem stemming from the chord integrals, named as the chord log-Minkowski problem. In the smooth category, the solvability of the chord log-Minkowski problem amounts to dealing with a nonlocal {M}onge-{A}mpère equation involving a Riesz potential. In this paper, to study the chord log-Minkowski problem, we first present some novel results on the boundary regularity of the Riesz potential. Based on these results, we obtain the regularity and existence for the chord log-Minkowski problem from the perspective of a nonlocal {M}onge-{A}mpère equation and a nonlocal Gauss curvature flow equation.

math.AP↗

A proof of Onsager's Conjecture for the SQG equation

We construct solutions to the SQG equation that fail to conserve the Hamiltonian while having the maximal allowable regularity for this property to hold. This result solves the generalized Onsager conjecture on the threshold regularity for Hamiltonian conservation for SQG. We also prove nonuniqueness for arbitrary smooth data and an h-principle result.

math.AP↗