2015
DOI: 10.1007/s00023-015-0401-5
|View full text |Cite
|
Sign up to set email alerts
|

On the Existence of a Maximal Cauchy Development for the Einstein Equations: a Dezornification

Abstract: In 1969, Choquet-Bruhat and Geroch established the existence of a unique maximal globally hyperbolic Cauchy development of given initial data for the Einstein equations. Their proof, however, has the unsatisfactory feature that it relies crucially on the axiom of choice in the form of Zorn's lemma. In this paper we present a proof that avoids the use of Zorn's lemma. In particular, we provide an explicit construction of this maximal globally hyperbolic development.

Help me understand this report
View preprint versions

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
62
0

Year Published

2016
2016
2021
2021

Publication Types

Select...
4
2

Relationship

0
6

Authors

Journals

citations
Cited by 53 publications
(62 citation statements)
references
References 9 publications
0
62
0
Order By: Relevance
“…12 By this, we mean solutions that are independent of x 2 and that are constant along a family of null hyperplanes. 13 Roughly, the maximal development is the largest possible solution that is uniquely determined by the data; see, for example, [56,64] for further discussion. 14 There is precisely one exceptional equation of state for the irrotational relativistic Euler equations to which our results do not apply.…”
Section: Remark 17 (Extending the Results To The Irrotational Euler mentioning
confidence: 99%
See 1 more Smart Citation
“…12 By this, we mean solutions that are independent of x 2 and that are constant along a family of null hyperplanes. 13 Roughly, the maximal development is the largest possible solution that is uniquely determined by the data; see, for example, [56,64] for further discussion. 14 There is precisely one exceptional equation of state for the irrotational relativistic Euler equations to which our results do not apply.…”
Section: Remark 17 (Extending the Results To The Irrotational Euler mentioning
confidence: 99%
“…In principle, the functions f could always be chosen to be polynomials with positive coefficients or exponential functions. 56 However, to avoid lengthening the paper, we typically do not specify the form of f . Throughout the rest of the paper, we make the following relative smallness assumptions.…”
Section: Smallness Assumptionsmentioning
confidence: 99%
“…(65) follows from (63) and simple computations. To prove (66), we contract S α against equation (30) and use equation (29). (67) then follows from (52) and (66).…”
Section: Preliminary Identitiesmentioning
confidence: 99%
“…Next, using the identity (28), (29), and (50), we express the third-from-last product on RHS (130) as follows:…”
Section: The Transport-div-curl System For the Vorticitymentioning
confidence: 99%
See 1 more Smart Citation