[Paper Review] Beginnings of the Cauchy problem

Yvonne Choquet–Bruhat|arXiv (Cornell University)|Oct 13, 2014

Advanced Mathematical Physics ProblemsMathematics11 references20 citations

TL;DR

This paper traces the historical development of the Cauchy problem for the Einstein equations, emphasizing foundational work by Darmois, Choquet-Bruhat, and Geroch. It establishes geometric local existence and global uniqueness of solutions up to isometries in globally hyperbolic spacetimes, resolving a central issue in mathematical relativity through rigorous analysis of hyperbolic systems and constraint propagation.

ABSTRACT

Brief account of results on the Cauchy problem for the Einstein equations starting with early the works of Darmois and Lichnerowicz and going up to the proofs of the existence and uniqueness of solutions global in space and local in time, in Sobolev spaces, for the general equations either in vacuum or with classical sources.

Motivation & Objective

• To trace the evolution of the Cauchy problem for the Einstein equations from early analytic approaches to modern geometric formulations.
• To clarify the foundational role of Darmois in identifying the constraints on second derivatives and the significance of non-characteristic hypersurfaces.
• To establish geometric local existence and global uniqueness of solutions to the Einstein equations in globally hyperbolic spacetimes.
• To resolve the open question of whether solutions to the Einstein equations are uniquely determined up to isometry by initial data on a Cauchy surface.
• To formalize the geometric structure of the Cauchy problem using global hyperbolicity and the concept of maximal development.

Proposed method

• Utilized the Cauchy-Kovalevski theorem as a starting point, despite its inapplicability due to the identically vanishing characteristic determinant of the Einstein equations.
• Analyzed the vacuum Einstein equations as a quasilinear hyperbolic system with constraints, focusing on the role of the Einstein tensor and Bianchi identities.
• Applied Darmois’s computation of Ricci tensor components to isolate the transverse second derivatives $ ar{ abla}_0^2 g_{etaeta} $, showing their dependence on $ g^{00} $ and the implications for singularities.
• Introduced and formalized the concept of a Cauchy surface as a necessary and sufficient condition for global hyperbolicity, building on Geroch’s 1970 criterion.
• Used Leray’s theory of time-like paths and hyperbolic systems to define global hyperbolicity, linking it to strong causality and compactness of causal domains.
• Proved geometric global uniqueness by showing that any two globally hyperbolic solutions with the same initial data on a Cauchy surface are isometric.

Experimental results

Research questions

• RQ1 What is the correct geometric formulation of the Cauchy problem for the Einstein equations, given the failure of the Cauchy-Kovalevski theorem due to degeneracy of the characteristic determinant?
• RQ2 Under what conditions can the second derivatives of the metric be uniquely determined from initial data on a spacelike hypersurface?
• RQ3 How does the vanishing of $ g^{00} $ on a hypersurface relate to the propagation of gravitational waves and the formation of singularities?
• RQ4 What is the precise geometric condition ensuring that a solution to the Einstein equations is uniquely determined up to isometry by its initial data?
• RQ5 How can global hyperbolicity be characterized intrinsically, and how does it relate to the existence of a Cauchy surface?

Key findings

• Darmois demonstrated that the second transverse derivatives $ abla_0^2 g_{etaeta} $ are determined by the Ricci tensor components $ R_{ij}, R_{i0}, R_{00} $, provided $ g^{00} eq 0 $, and that discontinuities in second derivatives can only occur if $ g^{00} = 0 $, i.e., on null hypersurfaces.
• The condition $ g^{00} = 0 $ on a hypersurface $ x^0 = 0 $ corresponds to the hypersurface being tangent to the light cone, indicating that gravitational waves propagate at the speed of light.
• Choquet-Bruhat and Geroch proved that for any initial data on a spacelike hypersurface satisfying the constraint equations, there exists a unique maximal globally hyperbolic development up to isometry.
• Global hyperbolicity is equivalent to the existence of a Cauchy surface, as established by Geroch in 1970, providing a geometric characterization of well-posedness.
• The geometric global uniqueness result extends to Einstein equations with sources that yield a well-posed causal Cauchy problem, such as those satisfying Leray or Leray-Ohya hyperbolicity conditions.
• The maximal development of initial data is unique and cannot be isometrically embedded into a larger Einsteinian spacetime, confirming the maximality of the solution.