Abstract
Using the Newman–Penrose formalism we study the characteristic initial value problem in vacuum General Relativity. We work in a gauge suggested by Stewart, and following the strategy taken in the work of Luk, demonstrate local existence of solutions in a neighbourhood of the set on which data are given. These data are given on intersecting null hypersurfaces. Existence near their intersection is achieved by combining the observation that the field equations are symmetric hyperbolic in this gauge with the results of Rendall. To obtain existence all the way along the null-hypersurfaces themselves, a bootstrap argument involving the Newman–Penrose variables is performed.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The simplest setups of partial differential equations (PDEs) are of course the boundary value and Cauchy/initial value problems (IVPs). For hyperbolic PDEs the IVP is of particular interest since it naturally forms a well-posed problem. Rather than specifying data just on a spacelike hypersurface as in the IVP however, we can consider additionally the initial boundary value problem. In this setup might have, for example, a compact spatial domain and then choose suitable boundary conditions on a timelike worldtube at the perimeter of that domain. A third possibility, that we consider in the present work, is the characteristic initial value problem (CIVP). Here data are specified on characteristic surfaces of the equations under consideration. In the context of general relativity (GR) these surfaces are null slices.
In GR the CIVP has a long history which dates back at least to the pioneering work by Bondi and collaborators on gravitational waves—see [1, 2]. The analysis in this work is based on the observation that in coordinates (Bondi coordinates) adapted to the geometry of outgoing light cones, the Einstein equations give rise to a hierarchy of equations which can be formally solved in sequence if certain pieces of data are provided. These ideas were formalised in subsequent work by Sachs—see [3]. The CIVP was reconsidered by Newman & Penrose in their more geometric reformulation of the original analysis of gravitational radiation by Bondi and collaborators—see [4], which also contains the original formulation of the frame formulation of the Einstein field equations known as the Newman–Penrose (NP) formalism. The work by Newman & Penrose identifies particular components of the Weyl tensor (expressed in terms of a null frame) as the key pieces of free data to be specified on the characteristic hypersurfaces. The CIVP setup also underlies subsequent work by Penrose on the properties of massless spin fields and his approach of exact sequences of fields—see [5]. The common theme in this early work on the CIVP in GR is that is mainly concerned with the structural (i.e. algebraic) properties of the system of equations and does not systematically address the issue of existence and uniqueness of solutions.
Pioneering work on technical issues concerning the existence and uniqueness of solutions to the characteristic problem for the Einstein field equations can be found in the analysis of Müller zu Hagen and Seifert [6]. These ideas were brought to fruition in the work of Friedrich—see [7]. There, it was shown that the formulation of the characteristic problem by Newman & Penrose implies a symmetric hyperbolic evolution system for which known techniques from the theory of PDEs can be applied. In particular, Friedrich shows the local existence of solutions near the intersection of the characteristic hypersurfaces under the assumption of analyticity of the freely specifiable data. This method was extended in subsequent work to characteristic problems for a conformal representation of the Einstein field equations (the the conformal Einstein field equations)—see [8, 9]. Among other things, this work demonstrates the mathematical consistency of the work on the nature of gravitational waves by Bondi and collaborators and Newman & Penrose. The formulation of the CIVP for the Einstein equations using the NP formalism was further developed as a possible pathway towards numerical simulations of the Einstein field equations [10] —see also [11] for an alternative formulation for numerics using the Bondi approach to the characteristic problem, and also influenced work on the nature and classification of caustics in Relativity [12].
A major milestone in the analysis of the problem came with the influential work by Rendall on the reduction of the CIVP to a standard IVP [13], whose well-posedness is guaranteed by the classical results of Choquet-Bruhat [14]. In particular this reduction provides a local existence theorem for the CIVP for the Einstein field equations which only requires a finite level of differentiability of the initial data. Rendall’s method was subsequently used to obtain a smooth data version Friedrich local existence result for the asymptotic CIVP for the conformal Einstein field equations. Ideas arising from the CIVP underline and permeate the fundamental work by Christodoulou & Klainermann and on the non-linear stability for the Einstein field equations [15, 16]. In particular, Christodoulou & Klainermann make use of a null frame formalism related to that of Newman & Penrose. Moreover, their analysis systematically exploits the nonlinear structure of the Einstein field equations when expressed in terms of such a null frame.
The structural properties identified in the analysis by Christodoulou & Klainermann paved the way for an improved local existence result for the CIVP for the Einstein equations. Working in a gauge adopted from Christodoulou’s work on the formation of black holes [17], which explicitly employs double-null coordinates, such an improved result has been given by Luk [18]. This work guarantees an existence domain no longer restricted to a neighbourhood of the intersection of the initial null hypersurfaces but that stretches along them. Recently, Luk’s analysis has been extended so that the existence interval extends arbitrarily along the null hypersurfaces and, thus, the solution contains a piece of infinity—see [19]. An alternative approach to an improve local existence result for the CIVP has been pursued by Chruściel and collaborators—see [20,21,22] This approach makes use of second order evolution equations for which well developed theory of the CIVP exists—see e.g. [23, 24].
Presently we are interested in two follow-up questions for which the work of Rendall [13] and Luk [18] are most relevant. Firstly, how do the aforementioned results look when expressed in the language of the Newman–Penrose formalism? Following long-term existence results in harmonic gauge [25], it is apparent that a variety of formulations of GR exhibit desirable structure in their nonlinearities. Second, we are therefore curious as to the robustness of this ‘null-structure’ under changes of gauge. We hence give a formulation of the CIVP heavily influenced by that of Stewart [26], and demonstrate for that formulation local existence in a full neighbourhood of the initial null surfaces. In first instance, the argument here provided gives an improved local existence result along one of the initial hypersurfaces. This argument can be adapted, mutatis mutandi, to obtain improved local existence along the other initial hypersurface—see Fig. 1b. For conciseness, we restrict our discussion to the neighbourhood of only one of the hypersurfaces. The precise statement of our main result is given in Theorem 4 in Sect. 7.3.
A tertiary aim in a reformulation in terms of the NP formalism is to allow for the arguments and methods employed in Christodoulou’s formulation to be recast for application elsewhere. Although the NP formalism has played an influential role in mathematical Relativity, for historical reasons, its use in the formulation of existence results has been limited. Our interest in understanding the structural properties of the NP field equations is what drives us to consider the approach to an improved local existence result for the CIVP pursued by Luk rather than the one followed by Chruściel and collaborators. In the future we hope that this will permit us to obtain similar results for the conformal field equations [8, 9]. Regarding the question of robustness of the nonlinearities, our work serves only as a stepping stone for a more detailed investigation. Nevertheless it is worth stressing that our gauge differs from that used elsewhere, and that the nonlinearities of the equations do retain sufficient structure for us to successfully follow through the argument (Fig. 2).
Remark 1
Throughout this article the phrase improved existence result is used in the sense of an improvement on Rendall’s existence result in a neighbourhood of the intersection of the initial null hypersurfaces. The improved results are, in a sense, optimal in that they provide existence in a neighbourhood of the initial hypersurfaces as long as one has control on the initial data—see Fig. 1.
1.1 New insights
Although the main result of our analysis, stated in Theorem 4, is in geometric terms essentially equivalent to the improved existence result by Luk in [18] our analysis provides, in addition, a wealth of insight into the structural properties of the NP equations. In order to attain this aim we feel that it is necessary to give a detailed discussion of of the various arguments to convince the reader that they indeed follow through. Moreover, we also provide details on a number of technical results which cannot be found elsewhere in the literature—these include: (i) a detailed identification of the reduced initial data for the characteristic initial value problem; (ii) the verification that Stewart’s gauge does indeed leads to a symmetric hyperbolic evolution system; (iii) a verification that Rendall’s strategy for the reduction of the characteristic initial value problem to a standard initial value problem can be applied to the NP equations in Stewart’s gauge (in order to do this additional structural properties beyond symmetric hyperbolicity are required). Moreover, (iv) while Luk’s analysis requires the use of a certain type of elliptic estimates to control tensor fields over topological 2-spheres, our approach based on the use of scalar quantities does not require this type of arguments. This makes our proof technically simpler. Finally, (v) we provide a detailed discussion of the inner workings of last slice argument used to obtain the main existence result.
1.2 Outline of the article
In Sect. 2 we provide a formulation of the propblem under consideration and discuss the technical details involved in the construction of the choice of gauge for the Einstein field equations (Stewart’s gauge). Section 3 provides a discussion of how to prescribe initial data for the evolution equations. Section 4 provides a formulation of the local existence result for the characteristic initial value problem using Rendall’s reduction strategy. The latter includes an analysis of the symmetric hyperbolicity of the evolution equations, the computation of formal derivatives on the initial hypersurfaces, the propagation of the constraints and a brief overview of Rendall’s method. Section 5 contains a discussion of the basic setup for Luk’s method. This section includes, in particular, an overview of the steps in the argument, a discussion of the analytical tools which includes the construction of various \(L^p\)-type estimates for transport equations and Sobolev inequalities. Section 6 provides a detailed discussion of the construction of the main estimates required in the improved existence result. Section 7 contains a discussion of the last slice argument and the statement of the main result in Theorem 4. The article has five appendices. “Appendix A” list the Einstein equations in NP formulation used in the main text. “Appendix B” provides a quick-reference list of the main inequalities used in our analysis. “Appendix C” provides further detail on the computation of angular derivatives of scalar fields. “Appendix D” provides some further details on some integral identities used in the main text. Finally, “Appendix E” gives extended detail on the computations of some of the key propositions in our analysis.
1.3 Notation and conventions
We take \(\{ {}_a , {}_b , {}_c , \dots \}\) to denote abstract tensor indices whereas \(\{_\mu , _\nu , _\lambda , \dots \}\) will be used as spacetime coordinate indices with the values \({ 0, \dots , 3 }\). Our conventions for the curvature tensors are fixed by the relation
We make systematic use of the NP formalism as described, for example, in [26, 27]. In particular, the signature of Lorentzian metrics is \((+---)\). Many of our derivations, although straightforward, are fairly lengthy, so we have included in “Appendix A” a complete summary of the equations of the NP-formalism, highlighting the simplifications that occur with our particular gauge. We recommend that the reader keep a copy of the appendix to hand as they read the paper.
2 The geometry of the problem
Let (\(\mathcal {M}, {\varvec{g}}\)) denote a vacuum spacetime satisfying \(R_{ab}=0\), where \(\mathcal {M}\) is a 4-dimensional manifold with boundary and an edge. The boundary consists of two null hypersurface: \({\mathcal {N}}_{\star }\), the outgoing null hypersurface; \({\mathcal {N}}_{\star }^{\prime }\), the incoming null hypersurface with non-empty intersection \({{\mathcal {S}}}_{\star }\equiv {\mathcal {N}}_{\star }\cap {\mathcal {N}}_{\star }^{\prime }\). We will assume that \({\mathcal {S}}_{\star }\approx \mathbb {S}^2\). Given a neighbourhood \(\mathcal {U}\) of \({\mathcal {S}}_{\star }\), one can introduce coordinates \(x=(x^{\mu })\) with \(x^0=v\) and \(x^1=u\) such that, at least in a neighbourhood of \({\mathcal {S}}_{\star }\) one can write
Given suitable data on \(({\mathcal {N}}_{\star } \cup {\mathcal {N}}_{\star }^{\prime }) \cap \mathcal {U}\) we are interested in making statements about the existence and uniqueness of solutions to the vacuum Einstein field equations of the aforementioned type on some open set
which we identify with a subset of the future domain of dependence, \(D^{+}({\mathcal {N}}_{\star }\cup {\mathcal {N}}_{\star }^{\prime })\), of \({\mathcal {N}}_{\star }\cup {\mathcal {N}}_{\star }^{\prime }\).
2.1 Construction of the gauge: Stewart’s approach
We will ultimately be concerned with existence and uniqueness of solutions, but, as is common in such constructions, it is useful to start by assuming existence in order to give a concrete PDE formulation of the problem. In this section we thus briefly review the gauge choice. In the rest of this article we will call this construction Stewart’s gauge—see e.g. [26], Section 4.3.
2.1.1 Coordinates
In the following it will be convenient to regard the 2-dimensional surface \({\mathcal {S}}_{\star }\) as a submanifold of a spacelike hypersurface S. The subsequent discussion will be restricted to the future of S. The hypersurface S is an auxiliary structure which, although it does not belong to \(D^{+}({\mathcal {N}}_{\star }\cup {\mathcal {N}}_{\star }^{\prime })\), plays a key role in Rendall’s strategy to reduce the characteristic initial value problem to a standard initial value problem—see Sect. 4.2, below. As \({\mathcal {S}}_{\star }\approx \mathbb {S}^2\), one has that \({\mathcal {S}}_{\star }\) divides S in two regions—the interior of \({\mathcal {S}}_{\star }\) and the exterior of \({\mathcal {S}}_{\star }\). Now, consider a foliation of S by 2-dimensional surfaces with the topology of \(\mathbb {S}^2\) which includes \({\mathcal {S}}_{\star }\). At each of the 2-dimensional surfaces we assume there pass two null hypersurfaces. Further, we assume that:
-
(i)
One of these hypersurfaces has the property that the projection of the tangent vectors of their generators at \({\mathcal {S}}_{\star }\) point outwards—we call these null hypersurfaces \({outgoing\ light\ cones}\);
-
(ii)
One of these hypersurfaces has the property that the projection of the tangent vectors of their generators at \({\mathcal {S}}_{\star }\) point inwards—we call these null hypersurfaces \({ingoing\ light\ cones}\).
Thus, as least close to S one obtains a 1-parameter family of outgoing null hypersurfaces \({\mathcal {N}}_{u}\) and a 1-parameter family of ingoing null hypersurfaces \({\mathcal {N}}_{v}^{\prime }\). One can then define scalar fields u and v by the requirements, respectively, that u is constant on each of the \({\mathcal {N}}_{u}\) and v is constant on each \({\mathcal {N}}_{v}^{\prime }\). In particular, we assume that \({\mathcal {N}}_{0}={\mathcal {N}}_{\star }\) and \({\mathcal {N}}_{0}^{\prime }={\mathcal {N}}_{\star }^{\prime }\). Following standard usage, we call u a \(retarded\ time\) and v an \(advanced\ time\). We use the notation \({\mathcal {N}}_u(v_1,v_2)\) to denote the part of the hypersurface \({\mathcal {N}}_u\) with \(v_1\le v\le v_2\). Likewise \({\mathcal {N}}'_v(u_1,u_2)\) has a similar definition. We denote the sphere intersected by \({\mathcal {N}}_{u}\) and \({\mathcal {N}}_{v}'\) by \({\mathcal {S}}_{u,v}\). We define the region
as \({\mathcal {D}}_{u,v}\). We also define the time function
and the truncated causal diamond,
which will be used frequently throughout our arguments.
The scalar fields u and v introduced in the previous paragraph will be used as coordinates in a neighbourhood of \({\mathcal {S}}_{\star }\). To complete the coordinate system, consider arbitrary coordinates \((x^{\mathcal {A}})\) on \({\mathcal {S}}_{\star }\), with the index \(\mathcal {A}\) taking the values 2, 3. These coordinates are then propagated into \({\mathcal {N}}_{\star }\) by requiring them to be constant along the generators of \({\mathcal {N}}_{\star }\). Once coordinates have been defined on \({\mathcal {N}}_{\star }\), one can propagate them into \(\mathcal {V}\) by requiring them to be constant along the generators of each \({\mathcal {N}}_{v}^{\prime }\). In this manner one obtains a coordinate system \((x^{\mu })=(v,\ u,\ x^{\mathcal {A}})\) in \(\mathcal {V}\).
2.1.2 The NP frame
To construct a null NP tetrad we choose vector fields \(l^a\) and \(n^a\) to be tangent to the generators of \({\mathcal {N}}_{u}\) and \({\mathcal {N}}_{v}^{\prime }\) respectively. Further we require them to be normalised according to
The latter normalisation condition is preserved under the boost,
This freedom can be used to set
This requirement still leaves some freedom left as one can choose a relabelling of the form \(v\mapsto V(v)\). Next, we choose the complex vector fields \(m^a\) and \({\bar{m}}^a\) so that they are tangent to the surfaces \({\mathcal {S}}_{u,v}\) and satisfy the conditions
There is still the freedom to perform a spin
at each point.
Remark 2
It can be verified that the vectors \(\{l^a,\ n^a,\ m^a,\ {\bar{m}}^a \}\) constructed in the previous paragraphs satisfy
Now, observing that, by construction, on the generators of each null hypersurface \({\mathcal {N}}_{v}^{\star }\) only the coordinate u varies, one has that
where Q is a real function of the position. Furthermore, since the vector \(l^a\) is tangent to the generators of each \({\mathcal {N}}_{u}\) and \(l^an_a=l^a\nabla _av=1\), one has that
where, again, the components \(C^{\mathcal {A}}\) are real functions of the position. By construction, the coordinates \((x^{\mathcal {A}})\) do not vary along the generators of \({\mathcal {N}}_{\star }\)-that is, one has that \(l^a\nabla _ax^{\mathcal {A}}=0\). Accordingly, one has that
Finally, since \(m^a\) and \({\bar{m}}^a\) span the tangent space of each surface \({\mathcal {S}}_{u,v}\) one has that
where the coefficients \(P^{\mathcal {A}}\) are complex functions.
Summarising, we make the following choice:
Gauge choice 1
(Stewart’s choice of the components of the frame) On \(\mathcal {V}\) we consider a Newman–Penrose frame \(\{l^a,\ n^a,\ m^a,\ {\bar{m}}^a \}\) of the form:
Remark 3
In view of the normalisation condition \(g_{ab}m^a{\bar{m}}^b=-1\), there are only 3 real functions involved in the \(P^{\mathcal {A}}\)’s. Thus, Q, \(C^{\mathcal {A}}\) together with \(P^{\mathcal {A}}\) give six scalar fields describing the metric. Thus the components \((g^{\mu \nu })\) of the contravariant form of the metric \({\varvec{g}}\) are of the form
where
Here and in what follows \({\varvec{\sigma }}\) is the induced metric on \({\mathcal {S}}_{u,v}\), and has contravariant components \(\sigma ^{\mathcal {A}{\mathcal {B}}}\) defined in the standard manner. Note that care is needed to distinguish \(\sigma \), the NP connection coefficient, from this quantity. From the expression, we can compute that \(l_{\mu }dx^{\mu }=Q^{-1}du\), \(\sigma _{\mathcal {A}{\mathcal {B}}}P^{\mathcal {A}}P^{{\mathcal {B}}}=0\), \(\sigma _{\mathcal {A}{\mathcal {B}}}P^{\mathcal {A}}\bar{P}^{{\mathcal {B}}}=-1\) and \(-\partial _{\mathcal {A}}C^{\mathcal {A}}={\bar{m}}_{\mathcal {A}}\delta C^{\mathcal {A}}+m_{\mathcal {A}}{\bar{\delta }} C^{\mathcal {A}}\) directly.
Remark 4
On \({\mathcal {N}}_{\star }^{\prime }\) one has that \({\varvec{n}}=Q{\varvec{\partial }}_u\). As the coordinates \((x^{\mathcal {A}})\) are constant along the generators of \({\mathcal {N}}_{\star }\) and \({\mathcal {N}}_{\star }^{\prime }\), it follows that on \({\mathcal {N}}_{\star }^{\prime }\) the coefficient Q is only a function of u. Thus, without loss of generality one can parameterise u so as to set \(Q=1\) on \({\mathcal {N}}_{\star }^{\prime }\).
2.2 Analysis of the NP commutators
In this subsection we analyse some simple consequences of the NP frame of Gauge choice 1 and the NP commutator Eqs. (29a)–(29d). In particular, we exploit the fact that given a choice of NP frame, the evaluation of the NP commutators on the coordinates gives rise to two different types of equations, namely (i) conditions on the spin connection coefficients, and (ii) equations for the coefficients of the frame. In what follows we analyse these two classes of equations. For future use observe that from the definition of the NP frame \(\{l^a,\ n^a,\ m^a,\ {\bar{m}}^a \}\) in the gauge choice 1 it readily follows that,
2.2.1 Spin connection coefficients
Direct inspection of the NP commutators (29a)–(29d) applied to the coordinates \((v,\ u,\ x^2,\ x^3)\) taking into account (9a)–(9c) yields on \(\mathcal {V}\) the conditions,
We will see that these gauge conditions can be refined still further.
Fixing the rotation freedom The set up of frame vectors under the frame choice 1 allows the freedom of a rotation
The latter, in turn, implies the transformation
Accordingly, by requiring \(\theta \) to satisfy the equation
it is always possible to assume that \(\bar{\gamma }-\gamma =0\), which, together with the condition \(\gamma +\bar{\gamma }=0\) allows us to set \(\gamma =0\) on \(\mathcal {V}\). A similar computation shows that
This equation can be used to set \(\epsilon -\bar{\epsilon }=0\) on \({\mathcal {N}}_{\star }\). Also, after solving this equation, the result \(\theta \) on \({\mathcal {N}}_{\star }\) can be the initial value of Eq. (10). The value of Q on \({\mathcal {N}}_{\star }\) can be propagated from \({\mathcal {S}}_{\star }\) using the transport equation,
that is,
Summarising, we have the following gauge restriction, which we employ exclusively in what follows:
Lemma 1
(Properties of the connection coefficients in Stewart’s gauge) The NP frame in 1 can be chosen such that
on \(\mathcal {V}\) and, furthermore, with
2.2.2 Equations for the frame coefficients
Taking into account the conditions on the spin connection coefficients given by (11a)–(11c), it follows that the remaining commutators yield the equations
Remark 5
Equations (12a)–(12b) allow us to evolve the frame coefficients \(C^{\mathcal {A}}\) and \(P^{\mathcal {A}}\) off of the null hypersurface \({\mathcal {N}}_{\star }^{\prime }\). Equations (12c)–(12d) allow evolution of the coefficients Q and \(P^{\mathcal {A}}\) along the null generators of \({\mathcal {N}}_{\star }\). Finally (12e)–(12f) provide constraints for Q and \(P^{\mathcal {A}}\) on the spheres \({\mathcal {S}}_{u,v}\).
3 The initial data for the CIVP
In this section we analyse general aspects of the CIVP for the vacuum Einstein field equations on the null hypersurfaces \({\mathcal {N}}_{\star }\) and \({\mathcal {N}}_{\star }^{\prime }\) associated to the prescription of initial data for the evolution equations. The hierarchical structure of the Einstein field equations in Stewart’s gauge allows the identification of a basic reduced initial data set \(r_\star \) from which the full initial data on \({\mathcal {N}}_{\star }\cup {\mathcal {N}}_{\star }^{\prime }\) can be computed.
Lemma 2
(Freely specifiable data for the CIVP) Working in the gauge given by the frame choice 1 and Lemma 1, initial data for the vacuum Einstein field equations on \({\mathcal {N}}_{\star }\cup {\mathcal {N}}_{\star }^{\prime }\) can be computed (near \({\mathcal {S}}_{\star }\)) from a reduced data set \(\mathbf {r}_\star \) consisting of:
Proof
The proof follows by inspection of the various intrinsic equations on \({\mathcal {N}}_\star \), \({\mathcal {N}}_\star '\) and \({\mathcal {S}}_\star \). This inspection is done as follows:
Data on \({\mathcal {S}}_\star \). Since \(P^{\mathcal {A}}\) are given, the operators \(\delta \) and \(\bar{\delta }\) are well defined on \({\mathcal {S}}_\star \) and intrinsic to this 2-dimensional hypersurface. From the definition of the connection coefficients \(\alpha \) and \(\beta \) it follows that the inner connection of \({\mathcal {S}}_\star \) is described by the combination \(\alpha -\bar{\beta }\). This is readily computable from the data \(P^{\mathcal {A}}\) on \({\mathcal {S}}_\star \). Thus, using \(\alpha +{\bar{\beta }}=\pi \), one can compute \(\alpha \) and \(\beta \). Noting that \(Q=1\) on \({\mathcal {S}}_\star \subset {\mathcal {N}}_\star '\), we obtain that \(\pi ={\bar{\tau }}\) from (12f). Then we obtain all the values of connection coefficients on \({\mathcal {S}}_\star \). Thus, the constraint Eqs. (30q), (30j), (30n) of the structure equations can be used to compute the value of \(\Psi _1\), \(\Psi _2\), \(\Psi _3\) on \({\mathcal {S}}_\star \). With that, all initial data for the connection coefficients and Weyl curvature on \({\mathcal {S}}_\star \) have been obtained.
Data on \({\mathcal {N}}_\star '\) On the incoming null hypersurface \({\mathcal {N}}_\star '\) we can obtain that \(Q=1\) leads to \(\tau =\bar{\pi }\) from Eq. (12f) and \(\Delta =\partial _u\). Making use of the structure Eqs. (30g) and (30o), which can be reduced by the gauge condition, namely
we can obtain the value of \(\mu \) and \(\lambda \) on \({\mathcal {N}}_\star '\). Then the frame coefficients \(P^{\mathcal {A}}\) on \({\mathcal {N}}_\star '\) are computed using Eq. (12b) which takes the form
Thus we can compute the \(\delta \)-direction derivative on \({\mathcal {N}}_\star '\). Solving the structure Eqs. (30d), (30k) with the Bianchi identity Eq. (31d), namely
together we can compute the value of \(\alpha \), \(\beta \) and \(\Psi _3\) on \({\mathcal {N}}_\star '\). Then Eq. (12a)
reveals the value of the frame coefficients \(C^{\mathcal {A}}\) on \({\mathcal {N}}_\star '\). With the above information at hand one can use Eqs. (30a), (30i), (30r) and (31e):
to compute the value of \(\epsilon \), \(\sigma \), \(\rho \) and \(\Psi _2\) on \({\mathcal {N}}_\star '\). The Bianchi identity Eq. (31h)
provides the value of \(\Psi _1\) on \({\mathcal {N}}_\star '\). With the results above, we can then compute the value of \(\Psi _0\) from Eq. (31b)
Data on \({\mathcal {N}}_\star \) From Eq. (12d) one has that \(\partial _vQ=-(\epsilon +{\bar{\epsilon }})Q\) so that, using the value of Q at \({\mathcal {S}}_\star \) one can compute the value of Q on \({\mathcal {N}}_\star \). The structure Eqs. (30f) and (30m) give
Solving these last equations one can obtain the value of \(\sigma \) and \(\rho \) on \({\mathcal {N}}_\star \). Then the value of \(P^{\mathcal {A}}\) on \({\mathcal {N}}_\star \) can be computed using Eq. (12c) which in the present setting takes the form
Then the structure Eqs. (30e), (30l) and the Bianchi identity (31a), namely,
provide us the value of \(\alpha \), \(\beta \) and \(\Psi _1\) on \({\mathcal {N}}_\star \). Next, the structure Eq. (30b) which takes the form
gives us the value of \(\tau \) on \({\mathcal {N}}_\star \). Similarly, the structure Eqs. (30h), (30p) and the Bianchi identity Eq. (31e)
give us the value of \(\mu \), \(\lambda \) and \(\Psi _2\) on \({\mathcal {N}}_\star \). Next, the Bianchi identity Eqs. (31g) and (31c)
show us the value of \(\Psi _3\) and \(\Psi _4\) on \({\mathcal {N}}_\star \). Finally, we have obtained all the initial values on \({\mathcal {N}}_{\star }\cup {\mathcal {N}}_{\star }^{\prime }\) from the reduced data set \(r_\star \). \(\square \)
4 Rendall’s local existence theory
In order to apply the basic local existence theory for the CIVP as formulated by Rendall [13] (see also Section 12.5 of [28]), one has to extract a suitable symmetric hyperbolic evolution system from the Einstein field equations. The gauge introduced in Sect. 2.1 allows us to perform this reduction.
4.1 Construction of the reduced evolution system
In the following it will be convenient to group the components of the frame in the vector valued function
the spin connection coefficients not fixed by the gauge in
and the independent components of the Weyl spinor as
where superscript-t denotes the operation of taking the transpose of a column vector.
A suitable symmetric hyperbolic system for the the frame components and the spin coefficients can be obtained from Eqs. (12a), (12b), (12d) and (30a), (30b), (30c), (30d), (30f), (30g), (30k), (30m), (30o), respectively. These can be written in the schematic form
where \(\varvec{{\mathcal {D}}}_1\) and \(\varvec{{\mathcal {D}}}_2\) are matrix operators given by,
and \(\varvec{B}_1\), \(\varvec{B}_2\) are smooth matrix-valued functions of their arguments whose explicit form will not be required in the subsequent analysis in this section.
The Bianchi identity Eqs. (31a)–(31h) can be reorganised as
where
and \(\varvec{B_3}=\varvec{B_3}(\varvec{\Gamma })\). Writing
one has that
and
The evolution system (13) for the components of the Weyl tensor are obtained through the combinations (31b), (31h)–(31a), (31e)\(+\)(31f), (31d)\(+\)(31g) and −(31c) respectively. It can be readily verified that the matrices \(\varvec{A}_3^{\mu }\) are Hermitian. Moreover,
is clearly positive definite. We can summarise the above discussion with:
Lemma 3
(The evolution system) The evolution system
implied by the NP field equations written in Stewart’s gauge (see Sect. 2.1) is symmetric hyperbolic with respect to the direction given by \(\tau ^a = l^a + n^a\).
Remark 6
In the following, making use of the standard terminology, we call the evolution system the reduced Einstein field equations.
Remark 7
The symmetric hyperbolicity of the reduced Eqs. (14a)–(14c) is the key structural property which allows us to employ Rendall’s local existence strategy—see the discussion in Sect. 4.2 below.
As the hyperbolic reduction leading to the previous result makes use of a subset of the NP equations, it is also key to have a propagation of the constraints result for the discarded equations. Making use of analysis similar to the one discussed in Section 12.5 of [28] one obtains the following:
Proposition 1
(Propagation of the constraints) A solution of the reduced vacuum Einstein field Eqs. (14a)–(14c) on a neighbourhood \(\mathcal {V}\) of \({\mathcal {S}}_{\star }\) on \(J^+({\mathcal {S}}_{\star })\), the causal future of \({\mathcal {S}}_{\star }\), that coincides with initial data on \({\mathcal {N}}_\star '\cup {\mathcal {N}}_\star \) satisfying the vacuum Einstein equations is a solution to the vacuum Einstein field equations on \(\mathcal {V}\).
Remark 8
A consequence of the propagation of the constraints, once local existence has been established, is that we may use any combination of the NP field equations in their gauge simplified form in the required subsequent analysis. For example, from this point on we have \(\pi =\alpha +\bar{\beta }\), and hence discard \(\pi \) or view it as a shorthand in what follows.
4.2 Computation of the formal derivatives on \({\mathcal {N}}_\star '\cup {\mathcal {N}}_\star \)
As already mentioned, Rendall’s approach to the local existence of solutions to the characteristic problem for symmetric hyperbolic systems makes use of an auxiliary Cauchy problem on an auxiliary spacelike hypersurface
which contains the 2-dimensional surface \({\mathcal {S}}_\star \)—see Sect. 2.1.1. The formulation of this problem crucially depends on Whitney’s extension theorem. To apply this extension theorem it is necessary to be able to evaluate all derivatives (interior and transverse) of the initial data on \({\mathcal {N}}_\star '\cup {\mathcal {N}}_\star \). A discussion of the ideas behind Rendall’s approach can be found in Section 12.5 of [28]. For completeness, a formulation of Rendall’s result is given below:
Theorem 1
(Local existence for the CIVP, Rendall) Let \({\mathcal {N}}_\star \) and \({\mathcal {N}}_\star '\) denote two characteristic hypersurfaces for the symmetric hyperbolic system
with smooth, freely specifiable data on \({\mathcal {N}}_\star \) and \({\mathcal {N}}_\star \) such that all (formal) derivatives of \(\mathbf {u}\) on \({\mathcal {N}}_\star \cup {\mathcal {N}}_\star '\) to any desired order can be computed in a neighbourhood \(\mathcal {W} \subset {\mathcal {N}}_\star \cup {\mathcal {N}}_\star '\) of \({\mathcal {N}}_\star \cap {\mathcal {N}}_\star '\). Then there exists a unique solution \(\mathbf {u}\) to the CIVP in a neighbourhood \(\mathcal {V}\) of \({\mathcal {N}}_\star \cap {\mathcal {N}}_\star '\) with \(u \ge 0\), \(v \ge 0\).
An important property of the NP equations in Stewart’s gauge is that they allow the computation of the (formal) derivatives of all the fields to any order from the reduced data \(\mathbf {r}_\star \) provided in Lemma 2. This property is discussed in the next paragraphs.
Computation of formal derivatives on \({\mathcal {N}}_\star \) To compute the formal derivatives on \({\mathcal {N}}_\star \) one first observes that the partial derivatives \({\partial _v,\ \partial _2,\ \partial _3}\) are interior whereas \({\partial _u}\) is transverse. In this case, direct inspection shows that except for
all \(\partial _u\)-derivatives of the unknowns in the vectors \({\varvec{e},\ \varvec{\Gamma },\ \varvec{\Psi }}\) can be computed using the structure Eqs. (12a), (12b), the NP Ricci identities (30a), (30c), (30d), (30g), (30i), (30k), (30o), (30r), and the Bianchi identities (31b), (31d), (31f) and (31h).
To obtain these exceptional cases one first applies \(Q\varvec{\partial }_u\) to both sides of Eqs. (12d), (30b) and (31c) to obtain
where L, M are smooth functions of \(\{\varvec{e}, \varvec{\Gamma }, \varvec{\Psi }\}\) and their \({\varvec{n}}\)-direction derivatives. One can regard the above equations as first order linear ordinary differential equations for \(\partial _uQ, \partial _u\tau , \partial _u\Psi _4\) along the generators of \({\mathcal {N}}_\star \). Since we have all the initial values of the components of \(\{\varvec{e}, \varvec{\Gamma }, \varvec{\Psi }\}\) on \({\mathcal {N}}_\star '\cup {\mathcal {N}}_\star \), we can compute the initial value of \(\partial _uQ,\ \partial _u\tau ,\ \partial _u\Psi _4\) on \({\mathcal {S}}_{\star }\). The general results for the existence theorem of ordinary differential equations ensures that the above equation system can be solved in a neighbourhood of \({\mathcal {S}}_\star \). In the following, we assume that the initial data provided is such that it yields a uniform existence domain for the solutions to the transport equations—this is a major assumption on the initial data in this construction. Accordingly, all the first transverse derivatives on \({\mathcal {N}}_\star \) can be explicitly computed. The higher order \(\partial _u\)-derivatives can be computed in a similar way. Throughout it is assumed that the neighbourhood on which this construction can be done in uniform for any order of the derivatives.
Computation of formal derivatives on \({\mathcal {N}}_\star '\) The analysis of the formal derivatives on \({\mathcal {N}}_\star '\) is almost the mirror image of that on \({\mathcal {N}}_\star \). In this case \({\partial _u, \partial _2, \partial _3}\) are interior while \({\partial _v}\) is transverse. Accordingly, except for
all \(\partial _v\)-derivatives of the components of \(\{\varvec{e}, \varvec{\Gamma }, \varvec{\Psi }\}\) can be computed using the structure equations (12c)–(12d), the Ricci identities and the Bianchi identity. Applying the directional derivative \(D=\partial _v+C^A\partial _A\) to both sides of Eqs. (12a), (30a) and (31b) one obtains equations which can be regarded as first order linear ordinary differential equations for \(\partial _vC^A, \partial _v\epsilon , \partial _v\Psi _0\). The solutions to these equations can be obtained from the initial values prescribed on \({\mathcal {S}}_{\star }\). Thus, all transverse derivatives can be computed in a neighbourhood of \({\mathcal {S}}_\star \) on \({\mathcal {N}}_\star '\). A similar procedure applies to higher order derivatives.
The analysis described in the previous paragraph proves the following lemma:
Lemma 4
(Computation of formal derivatives) Any arbitrary formal derivatives of the unknown functions \(\{\varvec{e}, \varvec{\Gamma }, \varvec{\Psi }\}\) on \({\mathcal {N}}_\star '\cup {\mathcal {N}}_\star \) can be computed from the prescribed initial data \(\varvec{r}_\star \) for the reduced vacuum Einstein field equations on \({\mathcal {N}}_\star '\cap {\mathcal {N}}_\star \).
Combining the analysis above and applying Rendall’s reduction strategy for the CIVP for symmetric hyperbolic systems (see e.g. Section 12.5 of [28]) one obtains the following local existence result in a neighbourhood of \({\mathcal {S}}_\star = {\mathcal {N}}_\star '\cup {\mathcal {N}}_\star \):
Theorem 2
(Existence and uniqueness to the characteristic problem) Given a smooth reduced initial data set \(\varvec{r}_\star \) for the vacuum Einstein field equations on \({\mathcal {N}}_\star '\cup {\mathcal {N}}_\star \), there exists a unique smooth solution of the vacuum Einstein field equations in a neighbourhood \(\mathcal {V}\) of \({\mathcal {S}}_{\star }\) on \(J^+({\mathcal {S}}_{\star })\) which implies the prescribed initial data on \({\mathcal {N}}_\star '\cup {\mathcal {N}}_\star \).
Remark 9
The proof of the above result has two distinct parts. In a first stage one uses Rendall’s reduction procedure to show the existence of a solution in a neighbourhood of \(\mathcal {V}\). In a second stage one shows that this solution to the reduced equations implies, in fact, a solution to the full Einstein field equations. This part of the argument relies on the propagation of the constraints as given in Proposition 1.
5 Setting-up Luk’s strategy
In this section we begin the implementation of Luk’s strategy to obtain an improved existence interval for the solutions to the CIVP for the NP field equations in Stewart’s gauge.
5.1 Outline and main strategy
As the argument leading to the improved existence result for the CIVP is lengthy, we provide here a summary of the role of the various lemmas and propositions and a discussion of how they fit into the overall analysis. The whole scheme is based on the use of sequentially more sophisticated a priori estimates of an arbitrary solution that, ultimately, arrives at a contradiction giving us the desired result.
Step 0 Estimates for the components of the frame. The basic step in the construction is to obtain estimates on the components of the frame. This can be done by assuming control on the \(L^\infty \)-norm on the spheres \({\mathcal {S}}_{u,v}\) of a number of spin connection coefficients by a constant \(\Delta _\Gamma \). A peculiarity of the analysis is that one needs to introduce a certain derivative (to be denoted by \(\chi \)) of the components of the frame as an unknown to quick-start the argument—this quantity, which is at the level of the spin connection coefficients, does not arise in the original NP formalism. The key result in this step is Lemma 5 in which the frame coefficients Q and \(P^{\mathcal {A}}\) are controlled by their initial data and Lemma 6 in which the frame coefficients \(C^{\mathcal {A}}\) are controlled along the short direction.
The bounds on the components of the frame allow us to control in a systematic and streamlined manner the solutions to transport equations along null directions in terms of integral quantities over the spheres \({\mathcal {S}}_{u,v}\). The technical results required to this end are presented in Lemmas 7 and 8. From these, more specific results valid for \(L^p\) and \(L^\infty \) norms are given in Propositions 2, 3, 5 and 6. Within our geometric setup and gauge these results are fairly general and are used repeatedly in the subsequent steps of the procedure.
Step 1 Estimates for the connection coefficients. With the general technology to study transport equations along the generators of light cones has been established, one can proceed to control the spin connection coefficients. The key idea of this analysis is the integration of the transport equations implied by the Ricci identities. In a first step, in Proposition 7, assuming control on the supremum norm of the third angular derivatives of the NP connection coefficient \(\tau \) and on the components of the curvature one obtains control on the supremum norm of the various connection coefficients and \(\tau \) itself. This result is used in turn in Proposition 8 to obtain control on the \(L^4\)-norms of the connection coefficients and the \(L^2\)-norm of their derivatives in Proposition 9.
Step 2 First estimate for the curvature. A first estimate for the components of the Weyl tensor is given in Proposition 10. In this result one assumes control of the components of the Weyl tensor along the light cones and of the \(L^2\)-norm of the third angular derivatives of the connection coefficient \(\tau \) on the spheres to obtain control of the components of the Weyl tensor on the spheres.
The results of the steps 1 and 2 are conveniently summarised in Proposition 11 in which an assumed control on the components of the curvature along light cones and of the \(L^2\)-norm of the third angular derivatives of \(\tau \) is used to obtain control on the spheres \({\mathcal {S}}_{u,v}\) of various norms of the connection and its derivatives and of the components of the curvature.
Step 3 Improved estimate for the connection. In the next step one obtains an improved estimate for the connection in which the third angular derivatives of the connection, including \(\tau \), are controlled assuming control only on the curvature along the light cones. This result is given in Proposition 12.
Step 4 Main estimates for the curvature. At this point we are in a position to run the central part of the argument, which depends crucially on the particular structure of the Bianchi identities. General inequalities for integrals of the various components of the Weyl tensor implied by the Bianchi identities are given in Propositions 13, 14 and 15 and 16. The whole argument is wrapped up in Proposition 17 in which, under the boundedness of the connection and the curvature on the initial null hypersurfaces one obtains control of the curvature on later null hypersurfaces. This is the crucial estimate which allows us to close the lengthy boostrap argument.
Final step. Last slice argument The control of various norms of the connection and curvature obtained in the previous steps do not provide, by themselves, the improved existence result. For this, we make use of a last slice argument in which one argues by contradiction under the assumption that the solution to the evolution equations breaks down at some point. The estimates of the previous steps show that this assumption leads to a contradiction.
5.2 Definitions and conventions
In this section we set up the conventions for the various norms that will be used in the subsequent analysis.
Integration In the following let \(\phi \) denote a scalar field. For conciseness, we will often use the notation
to denote integration on the spheres \({\mathcal {S}}_{u,v}\) of constant u and v. In the previous expression \(\mathrm {d} {\varvec{\sigma }}\equiv \sqrt{|\det {\varvec{\sigma }}|} \mathrm {d}x^2\mathrm {d}x^3\) denotes the volume element of the induced metric \(\varvec{\sigma }\) on \({\mathcal {S}}_{u,v}\). On the truncated causal diamonds \({\mathcal {D}}_{u,v}^{\,t}\) we define integration using the volume form of the spacetime metric,
with \(\tilde{v}\equiv \min (v,t-u)\). We will denote integration over the complete causal diamond in the obvious manner by the natural omission of the superscript t on \({\mathcal {D}}_{u,v}^{\,t}\). As there are no canonical volume forms on the null hypersurfaces \({\mathcal {N}}_u\) and \({\mathcal {N}}'_v\) we define, for convenience the following:
We will often use the notation
where \(I^{\,t}\equiv [0,\min (v_\bullet ,t-u)]\), with \(v_\bullet \in \mathbb {R}^+\), denotes the truncated long integration interval. Similarly, the interval \([0,\varepsilon ]^t\equiv [0,\min (\varepsilon ,t-v)]\) will be called the truncated short integration interval. Dropping the superscript t we define the full long and short integration intervals, I and \([0,\varepsilon ]\) respectively, and the norms on the full outgoing and incoming slices in the natural way.
Norms Keeping the above conventions for integration in mind, we can now define the various norms to be used in our analysis. As before, let \(\phi \) define a scalar field. For \(1\le p<\infty \) we define the \(L^p\)-norms
The \(L^{\infty }\)-norm is defined by
For a tensor field \(\phi _{a_1\ldots a_p}\) on the 2-sphere, we define
where \(\langle \phi ,\phi \rangle _{{\varvec{\sigma }}}\equiv \sigma ^{a_1b_1}\ldots \sigma ^{a_pb_p}{\bar{\phi }}_{a_1,\ldots ,a_p}\phi _{b_1,\ldots ,b_p}\). As in the definition of the integrals, suppresion of the label t denotes taking the norms over the full long and short integration intervals.
Integration by parts In the following we denote by the covariant derivative of the induced metric \({\varvec{\sigma }}\) on the spheres \({\mathcal {S}}_{u,v}\) of constant u and v. Similarly, will denote the associated Laplacian. As these spheres have no boundary we have
where in the last step inequality (35) in “Appendix C” has been used. Integrating over \(\langle \phi ,\pi \rangle _{{\varvec{\sigma }}}\) over two-spheres naturally defines an inner product, so we similarly obtain,
5.3 Estimates for the components of the frame
As a preliminary step we now show that, assuming the components of the connection coefficients are controlled by a basic boostrap assumption, it is possible to estimate the components of the NP frame in terms of the size of its initial data on \({\mathcal {N}}_\star \cup {\mathcal {N}}'_\star \). The key observation in the argument is that the structure equations provide \(\Delta \)-equations for all the components of the frame. Given our particular choice of gauge, these equations are essentially ordinary differential equations with respect to the coordinate u. In fact as the structure equations form a neat hierarchy, they can be integrated sequentially. The quantity,
will be used to measure of the size of the initial data of the coefficients of the frame. Throughout, given that the procedure has only a finite number of steps we denote all constants depending on the initial data generically by \(C(\Delta _{e_\star })\) —the latter corresponds to the largest constant arising in the various steps. For convenience in the subsequent discussion let
The scalar \(\chi \), being a derivative of a component of the frame is at the same level of the connection coefficients. It provides a component of the connection which does not arise in the original NP formalism, but is needed to obtain a complete set of \(\Delta \) equations for the frame. A direct computation using the definition of \(\chi =\Delta \log Q\) and the NP Ricci identities yields
The initial data of \(\chi \) on \({\mathcal {N}}'_{\star }\) is 0 due to the gauge choice that \(Q=1\) on \({\mathcal {N}}'_{\star }\). On \({\mathcal {N}}_{\star }\), making use of the information of \(\alpha \), \(\beta \), \(\tau \), \(\epsilon \) and \(\Psi _2\) obtained in Lemma 2, one can compute the value of \(\chi \) with Eq. (16). It will also be convenient to define,
corresponding to the only independent component of the connection on the spheres \({\mathcal {S}}_{u,v}\). As mentioned above, the proof is based on demonstrating a priori estimates for an arbitrary solution and consequently demonstrating that any such solution must extend to a neighborhood of \({\mathcal {N}}_\star \cup {\mathcal {N}}_\star '\). We therefore now introduce the following, which will be initially guaranteed on a sufficiently small diamond by Theorem 1, and will be employed in most of what follows:
Assumption 1
(Assumption to control the coefficients of the frame) Assume that we have a solution to the vacuum EFEs in Stewart’s gauge satisfying,
on a truncated causal diamond \({\mathcal {D}}_{u,v_\bullet }^{\,t}\), where \(\Delta _{\Gamma }\) is some constant.
Step 1 Work under Assumption 1. Integrating the definition of \(\chi =\Delta \log Q\) in the short (i.e. u) direction along an incoming null geodesic one readily finds that,
for any v. It follows that
Hence, one can find a constant C depending on the initial data such that
Step 2 We now integrate the components \(P^{\mathcal {A}}\) in the short direction using Eq. (12b). It follows then that
In the previous chain of inequalities it is understood that there is no summation on the repeated indices \(\mathcal {A}\). From the last inequality one readily concludes that
so that
As \(\varepsilon \) is arbitrary, we can choose it so that
The analysis of Steps 1 and 2 can be summarised in the following:
Lemma 5
[Control on the components of the frame. I] Under Assumption 1, if \(\varepsilon >0\) is sufficiently small, there exists a constant C depending on the size of the initial data such that
on \({\mathcal {D}}_{u,v_\bullet }^{\,t}\).
A direct consequence of this result is that one can control the components of the induced metric on the spheres \(S_{u,v}\) and associated concomitants. This follows from the relation
Corollary 1
(control on the metric of \({\mathcal {S}}_{u,v}\)) If \(\varepsilon >0\) is sufficiently small there exist non-negative constants \(c(\Delta _{e_\star })\) and \(C(\Delta _{e_\star })\) such that,
Moreover, one also has that
on \({\mathcal {D}}_{u,v_\bullet }^{\,t}\). Consequently the area of \({\mathcal {S}}_{u,v}\) is bounded above by a constant depending in initial data in the same region, for \(\varepsilon \) sufficiently small.
Step 3 One can now use Eq. (12a) to integrate the coefficients \(C^{\mathcal {A}}\). By a procedure similar to that used in the previous steps one has,
Here \(\pi \) should be viewed as a shorthand for \(\pi =\alpha +\bar{\beta }\). Since \(C^{\mathcal {A}}_\star =0\) on \({\mathcal {N}}_\star \), we arrive at:
Lemma 6
(Control on the components of the frame. II) Under Assumption 1, if \(\varepsilon >0\) is sufficiently small, then there is a constant \(C(\Delta _{e_\star })\) depending only on the initial data such that choosing \(\varepsilon \) suitably, one has \(||C^{\mathcal {A}}||_{L^{\infty }({\mathcal {S}}_{u,v})}\le C(\Delta _{e_\star })\) on \({\mathcal {D}}_{u,v_\bullet }^{\,t}\).
5.4 General estimates for transport equations
The purpose of this section is to develop a general set of tools that allow us to obtain estimates from the transport equations on hypersurfaces of constant u or v. The prototype of these transport equations are the NP Ricci identities (30a)–(30r). The results of this section do not depend on Assumption 1 unless explicitly stated.
Derivatives of integrals over \({\mathcal {S}}_{u,v}\). We are mostly interested on integral estimates over the spheres \({\mathcal {S}}_{u,v}\) and how they evolve along null directions. In the following we will systematically need to compute derivatives of integrals over \({\mathcal {S}}_{u,v}\) with respect to the advanced and retarded null coordinates. The key observation in this respect is the following:
Lemma 7
(Computing derivatives of integrals over \({\mathcal {S}}_{u,v}\)) Given a scalar \(\phi \) one has that
along the outgoing and incoming null geodesics that rule \({\mathcal {N}}_{v}'\) and \({\mathcal {N}}_{u}\).
Proof
The proof follows a direct computation. More precisely, one has that
For the second term in the integrand, \(\phi D\sqrt{|\det {\varvec{\sigma }}|}\), we find that
where we have used Remark 2 and the structure Eq. (12c). For the third term in the integral one has that
where for the last equality we have use Stokes’ theorem and the fact that sphere has no boundary. Combining the above observations one finds that
To compute the derivative with respect to u, we first consider
From the above identity one readily obtains
as required.\(\square \)
Integrals over \({\mathcal {D}}_{u,v}\). The construction of energy-type estimates for the components of the Weyl tensor require further integral identities. These integrals allow us to write the integral over the diamond \({\mathcal {D}}_{u,v}\) of the D and \(\Delta \)-derivatives of the components of the Weyl tensor in terms of integrals on the light cones and an integral over the bulk diamond of the (undifferentiated) components.
Lemma 8
(Integral over causal diamonds of derivatives of a scalar) Let f be a scalar field in the causal diamond \({\mathcal {D}}_{u,v}\). One has then that
Proof
The proof of the identities follows by integration by parts. For the long direction we have, by definition, that
Now, on the one hand, integrating by parts with respect to v one has that,
On the other hand, integration by parts respect to the angular coordinates gives
Thus, we have
Finally, making use of the expressions for DQ from Eq. (12d) and \(D\sqrt{|\det {\varvec{\sigma }}|}\) from Proposition 7, respectively, one obtains the desired identity.
To demonstrate the identity along the short direction one proceeds in a similar fashion.\(\square \)
Corollary 2
If \(f=f_1f_2\), then
Basic \(L^p\) estimates The first step in the analysis is the construction of \(L^p\) estimates. These estimates require a priori control of the NP spin connection coefficients \(\rho \) and \(\mu \). The reason for their special treatment can be traced back to their appearance in Lemma 7. Proceeding in this way we obtain the following:
Proposition 2
(Control of the \(L^p\)-norm with transport equations) Work under Assumption 1. Assume furthermore on \({\mathcal {D}}_{u,v_\bullet }^{\,t}\) that
Then there exists \(\varepsilon _\star =\varepsilon _\star (\Delta _{e_\star },\mathcal {O})\) such that for all \(\varepsilon \le \varepsilon _\star \) and for every \(1\le p<\infty \), we have the estimates:
where, as elsewhere, I denotes the long direction interval.
Proof
Making use of the definition of \(||\phi ||_{L^p({\mathcal {S}}_{u,v})}\) and the identity in Lemma 7, we have
Now, Young’s inequality gives
Thus, we have that
Now, making use of Grönwall’s inequality, we obtain
so that, in fact, one has
Now, for the integration in the short direction \(0\le u\le \varepsilon \), using the assumption that \(\sup _{u,v}||\mu ||_{L^{\infty }({\mathcal {S}}_{u,v})}\le \mathcal {O}\), a similar argument as before, and now using Lemma 5, allows us to show that
so that one has
Then, using Grönwall’s inequality one is led to
From, the latter choosing \(\varepsilon >0\) small enough one concludes that
\(\square \)
As a particular example of the previous discussion consider \(\phi =\delta f\), with \(p=2\). In this case one has
If \(p=4\) one has that
For the short direction one readily obtains analogous expressions.
Basic \(L^\infty \) estimates Our analysis will also require estimates on the \(L^\infty \) norm of various scalars. The first result in this direction is the following:
Proposition 3
(Supremum norm of solutions to transport equations) Work under Assumption 1. There exists \(\varepsilon _\star \) such that for all \(\varepsilon \le \varepsilon _\star \), we have
on \({\mathcal {D}}_{u,v_\bullet }^{\,t}\).
Proof
Given a fixed point \((u,0,x^{\mathcal {A}})\) on \({\mathcal {N}}_\star '\), and then integrating out along integral curves of \(l^a\), conveniently parametrizing with v, gives
Fixing u, varying the angular point \(x^A\) on \({\mathcal {N}}_\star '\) arbitrarily, and taking the supremum we obtain the inequality of the of the proposition. The proof of the second inequality is similar.\(\square \)
More advanced \(L^p\)-estimates Finally, we discuss the construction of more refined \(L^p\)-estimates. As in the case of the basic \(L^p\)-estimates, these estimates require some a priori control on the \(L^\infty \)-norm of the the NP spin connection coefficients \(\rho \) and \(\mu \). More precisely, one has the following:
Proposition 4
(\(L^4\)-norm of solutions to transport equations) Work under Assumption 1. Assume, as in Proposition 2, furthermore that
on \({\mathcal {D}}_{u,v_\bullet }^{\,t}\). Then there exists \(\varepsilon _\star =\varepsilon _\star (\Delta _{e_\star },\mathcal {O})\) such that for all \(\varepsilon \le \varepsilon _\star \) we have the estimates:
on \({\mathcal {D}}_{u,v_\bullet }^{\,t}\).
Proof
The proof proceeds by direct computation. We first obtain the estimate on the long direction. Following arguments similar to those used in Proposition 2, we find that
Now, for small enough \(\varepsilon \), using the Nirenberg-Sobolev inequality (see “Appendix B”) we estimate:
where to pass from the second to the third line we have made use of Hölder’s inequality and, to pass from the third to fourth we have extracted common factors. Making use of the above estimate in inequality (18), we have that
for some \(\delta >0\). Now, choosing \(\delta \) sufficiently small and making use of Grönwall’s inequality, one finally obtains that
The proof of the estimate along the short direction is similar. In this case we can choose \(\varepsilon >0\) sufficiently small to make the overall constant equal to, say, 2.\(\square \)
5.5 Sobolev inequalities
In the last step in our preparatory work, we now obtain Sobolev-type inequalities on the spheres \({\mathcal {S}}_{u,v}\)—i.e. estimates of the \(L^p\)-norms of a scalar in terms of its \(L^2\)-norms and those of its derivatives. The key tool in this analysis is the isoperimetric Sobolev inequality on \({\mathcal {S}}_{u,v}\) —see [16]:
Theorem 3
(Isoperimetric Sobolev inequality on \({\mathcal {S}}_{u,v}\)) Let \(\phi \) denote an integrable function and with integrable first derivatives on \({\mathcal {S}}_{u,v}\). Then we have that
where \(\bar{\phi }\) denotes the average of \(\phi \) over \({\mathcal {S}}_{u,v}\) and \(\mathcal {I}({\mathcal {S}}_{u,v})\) is the isoperimetric constant.
Remark 10
The isoperimetric inequality can be shown to be controlled by the area of the 2-dimensional surfaces \({\mathcal {S}}_{u,v}\)—see e.g. [16]. Thus, if one has control over the area of the surface (as it is, in principle, in our setup), one has also control over the isoperimetric constant.
Using this we can prove the following result concerning Sobolev-type inequalities:
Proposition 5
(Sobolev-type inequality. I) Work under Assumption 1. Let \(\phi \) be a scalar field on \({\mathcal {S}}_{u,v}\) which is square-integrable with square-integrable first covariant derivatives. Then for each \(2<p<\infty \), \(\phi \in L^p({\mathcal {S}}_{u,v})\), there exists \(\varepsilon _\star =\varepsilon _\star (\Delta _{e_\star },\Delta _{\Gamma })\) such that as long as \(\varepsilon \le \varepsilon _\star \), we have
where \(G_p({\varvec{\sigma }})\) is a constant also depends on the isoperimetric constant \(\mathcal {I}({\mathcal {S}}_{u,v})\) and p, but is controlled by some \(C(\Delta _{e_\star })\), is the induced connection on \({\mathcal {S}}_{u,v}\) which is associated with the metric \(\varvec{\sigma }\).
Proof
We make use of the following result which can be found in Lemma 5.1 in Chapter 5.2 of [17]:
where \(C_p\) is a numerical constant depending only on p,
where as above \(\mathcal {I}({\mathcal {S}}_{u,v})\) is the isoperimetric constant of \({\mathcal {S}}_{u,v}\). Now, under Assumption 1 we have that the area of \({\mathcal {S}}_{u,v}\) is finite in the tilted rectangle. Accordingly, inequality (20) can be adapted to our particular setting.\(\square \)
Consequently we have the following two results:
Proposition 6
(Sobolev-type inequality. II) Work under Assumption 1. There exists \(\varepsilon _\star =\varepsilon _\star (\Delta _{e_\star },\Delta _{\Gamma })\) such that as long as \(\varepsilon \le \varepsilon _\star \), we have
with \(2<p<\infty \) and \(G_{p}({\varvec{\sigma }})\le C(\Delta _{e_\star })\) as above.
Corollary 3
(Sobolev-type inequality. III) Work under Assumption 1. There exists \(\varepsilon _\star =\varepsilon _\star (\Delta _{e_\star },\Delta _{\Gamma })\) such that as long as \(\varepsilon \le \varepsilon _\star \), we have
again with \(G({\varvec{\sigma }})\le C(\Delta _{e_\star })\).
6 Main estimates
In this section we provide a discussion of the construction of the main estimates required to obtain the improved existence result for the CIVP. The arguments rely heavily on the preparatory work carried out in the previous section.
6.1 Norms for the initial data
The boostrap argument requires assumptions on the size of the initial data. Following Luk [18], we define the following:
-
(i)
Norm for the initial value of the connection coefficients, given by
-
(ii)
Norm for the initial value of the components of the Weyl tensor, given by
-
(iii)
Norm for the components of the Weyl tensor at later null hypersurfaces, given by
where the suprema in u and v are taken over \({\mathcal {D}}_{u,v_\bullet }^{\,t}\).
-
(iv)
Sup over the \(L^2\)-norm of the components of the Weyl tensor at spheres of constant u, v, given by,
with the supremum taken over \({\mathcal {D}}_{u,v_\bullet }^{\,t}\), and in which u will be taken sufficiently small to apply our estimates.
Remark 11
There is no appearance of \(\chi \) in \(\Delta _{\Gamma _{\star }}\) because initial data for \(\chi \) used in the following calculations are required only on \({\mathcal {N}}'_{\star }\) where \(\chi \) is zero.
Remark 12
In addition to the above norms, we recall that the norm \(\Delta _{e_\star }\), as defined in Eq. (15) has been used to control the initial value of the components of the frame.
Remark 13
Observe that the above expressions do not include any norm for the components of the connection coefficients away from the initial null hypersurfaces. Instead such norms will be controlled by local bootstrap arguments within the proof.
Remark 14
Throughout the proof besides keeping track of \(\Delta _{\Psi _\star }\) and \(\Delta _{\Psi _\star }({\mathcal {S}})\), to assist in future generalization, we trace also the dependence of our various constants on \(I,\Delta _{e_\star },\Delta _{\Gamma _\star },\Delta _{\Psi _\star }\). Note that because of the way that we setup our frame none of the constants so far depend upon I.
6.2 Estimates for the connection coefficients
In this section we show how to construct estimates on the coefficients of the connection. The strategy is an application of the tools developed in Sect. 5.4 to estimate the solutions of generic transport equations along null hypersurfaces. In this approach, as a bootstrap, control is assumed of the curvature (components of the Weyl tensor) on the double foliation of null hypersurfaces and on the 2-spheres of constant u and v through the norms \(\Delta _\Psi \) and \(\Delta _\Psi ({\mathcal {S}})\).
In a first step we obtain basic control of the \(L^\infty \)-norm of the connection coefficients by assuming finiteness of \(\Delta _\Psi \) and \(\Delta _\Psi ({\mathcal {S}})\) and of third derivatives of the NP coefficient \(\tau \) in terms of the \(L^2\)-norm on the 2-spheres \({\mathcal {S}}_{u,v}\).
Proposition 7
(Control on the supremum norm of the connection coefficients) Assume that we have a solution of the vacuum EFEs in Stewart’s gauge in a region \({\mathcal {D}}_{u,v_\bullet }^{\,t}\) with
for some positive \(\Delta _\Gamma \). Assume also
on the same domain. Then there exists
such that when \(\varepsilon \le \varepsilon _\star \), we have
on \({\mathcal {D}}_{u,v_\bullet }^{\,t}\).
Remark 15
Observe that in the above proposition, as well as in several of the following ones, the NP spin connection coefficient \(\tau \) is singled out as it requires additional hypotheses.
Remark 16
The first assumption here covers Assumption 1, which allows us to employ Lemma 5, Corollary 1, Lemma 6, Proposition 3 and the Sobolev inequalities of Propositions 5, 6 and Corollary 3. It also permits the use of Propositions 2 and 4.
Proof
Basic bootstrap assumption We start by making the bootstrap assumption
Estimate for \(\tau \). As first step we prove that
For this, we make use of the D-Eq. (30b) for the NP coefficient \(\tau \):
Making use of the Sobolev inequality in Proposition 6, we readily obtain from our assumptions that for \(\varepsilon \) sufficiently small,
Moreover, the inequalities in Proposition 3 show that
Using Grönwall’s inequality in the previous expression one then concludes that
Estimate for \(\chi \) To obtain the estimate for \(\chi \) we proceed in a similar manner. We use the D-transport equation Eq. (16) for \(\chi \) to obtain
where c is a positive constant and the constant C is related to the constant appearing in the estimate for \(\tau \). From the latter, Grönwall’s inequality readily yields
Estimates for \(\mu \) and \(\lambda \) To obtain estimates of the NP coefficients \(\mu \) and \(\lambda \) we make use of the \(\Delta \)-transport Eqs. (30g) and (30o):
These are Riccati-type equations and, thus, they can only be naively integrated for a small distance in the u direction —i.e. \(u\in [0,\varepsilon ]\). Now, making use of the inequalities in Proposition 3 we find that
Accordingly, one concludes that
For \(\lambda \) one obtains that
where in the second inequality we have made use of the Sobolev embedding property—see corollary 3. Now, using Hölder’s inequality, we can transform the estimate of \(\Psi _4\) from one on sphere \({\mathcal {S}}_{u,v}\) to one on a null hypersurface. More precisely, one has that
Hence, we conclude that
Together, the estimates for \(\mu \) and \(\lambda \) show that the maximum of these functions will not be too far away from their initial value for \(\varepsilon \) sufficiently small.
Estimates for \(\alpha \), \(\beta \) and \(\epsilon \) Estimates \(\alpha \), \(\beta \) and \(\epsilon \) can be obtained by a similar method—i.e. integration along the short direction. In this case the relevant \(\Delta \)-transport equations are given by the structure Eqs. (30k), (30d) and (30a),
where it is recalled that in the present gauge one has that \(\pi =\alpha +\bar{\beta }\)—see Lemma 1, Eq. (11c). The details are omitted.
Estimates for \(\rho \) and \(\sigma \) In this case the relevant \(\Delta \)-transport equations are the structure Eqs. (30i) and (30r):
Observe that these equations contain the derivatives \(\delta \tau \) and \({\bar{\delta }}\tau \). To control these terms from our hypotheses, we make use of the Sobolev inequalities in corollary 3 which, together with integration by parts on \({\mathcal {S}}_{u,v}\) allows us to show that,
It follows then from the Hölder inequality
and the boundedness assumptions on for \(i=2,3\), that
From this observation, an argument similar to the one used for \(\mu \) and \(\lambda \) yields the required estimates.
Concluding the argument From the estimates for the NP connection coefficients constructed above it follows that one can choose
sufficiently small so that
Accordingly, we have improved our initial bootstrap assumption. As this is our first such improvement we give an overview of the technique. Recall that to complete a bootstrap argument we need first, to verify that the hypothesis, in our case that \(\sup _{u,v}||\{\mu ,\lambda ,\alpha ,\beta ,\epsilon ,\rho ,\sigma \} ||_{L^{\infty }({\mathcal {S}}_{u,v})}\le 4\Delta _{\Gamma _\star }\) holds over the region of interest, is satisfied. We then need to demonstrate, as in the previous argument, that the hypothesis can be improved for \(\varepsilon \) sufficiently small. Obviously if the conclusion \(\sup _{u,v}||\{\mu ,\lambda ,\alpha ,\beta ,\epsilon ,\rho ,\sigma \} ||_{L^{\infty }({\mathcal {S}}_{u,v})} \le 3\Delta _{\Gamma _\star }\) holds at some point then our hypothesis holds in a neighborhood of that point. Since the interval \([0,\varepsilon ]\) is connected and the set on which our desired conclusion holds is open, closed and non-empty, it follows that the desired conclusion holds for \(u\in [0,\varepsilon ]\). In the argument above we have shown that we can improve the hypothesis from a bound \(4\Delta _{\Gamma _\star }\) to \(3\Delta _{\Gamma _\star }\). Evidently the same arguments could be used to improve from \((N+1)\Delta _{\Gamma _\star }\) to \(N\Delta _{\Gamma _\star }\) for any natural number \(N\ge 3\). Given our initial assumption that \(||\{\mu ,\lambda ,\alpha ,\beta ,\epsilon ,\rho ,\sigma \} ||_{L^{\infty }({\mathcal {S}}_{u,v})}\le \Delta _{\Gamma }\) we can therefore choose N so that \(\Delta _\Gamma \le N\Delta _{\Gamma _\star }\) and iterate from N down to 4 to guarantee that our hypothesis is indeed satisfied in some truncated diamond, demonstrating the statement.\(\square \)
The existence proof also requires control over the \(L^4\)-norms of the \(\delta \) and \({\bar{\delta }}\) derivatives of the NP spin connection coefficients. This is provided by the following:
Proposition 8
(Control on the \(L^4\)-norm of the connection coefficients) Make the same assumptions as in Proposition 7, and additionally assume that,
in the truncated diamond \({\mathcal {D}}_{u,v_\bullet }^{\,t}\). Then there exists,
such that when \(\varepsilon \le \varepsilon _\star \), we have,
on \({\mathcal {D}}_{u,v_\bullet }^{\,t}\).
Proof
Basic bootstrap assumption In order to run the argument we make the following bootstrap assumption:
Estimates for First we make use of the boundedness of the \(L^2\)-norm of \(\tau \) and its angular derivatives up to third order to estimate the \(L^4\)-norm of the first order angular derivatives of \(\tau \). For this, we apply \(\delta \) to the D-transport equation for \(\tau \)—Eq. (30b). After making use of the commutators of directional covariant derivatives one arrives at the equations
The above equation contains terms of the form —i.e. products of connection coefficients and their derivatives. In the following the \(L^4\)-norm of these products will be split using the Hölder inequality as follows:
Observe that from Proposition 7 it follows that terms of the type \(||\Gamma ||_{L^{\infty }({\mathcal {S}}_{u,v})}\) are bounded.
Now, making use of the Sobolev inequality in Proposition 5, we obtain that
Combining this with the inequality in the long direction shown in Proposition 2 we find that
Substituting the expressions for \(D\delta \tau \) and \(D{\bar{\delta }}\tau \) given by Eqs. (21a)–(21b) one concludes that
Thus, using Grönwall’s inequality it follows that
Consequently, one has
as required.
Estimates for From Eq. (16) one can readily compute that
where \(\Gamma \) represents a combination of connection coefficients whose particular form is not essential. A similar equation for \(D{\bar{\delta }}\chi \) can be computed. Using the same strategy used for one concludes from the above equations that,
In other words, we find that
Estimates for the remaining connection coefficients In order to obtain equations for \(\delta \mu \) and \(\delta \lambda \), we apply the \(\Delta \)-directional derivative on both sides of Eqs. (30g) and (30o). This gives,
A direct computation using Proposition 2 shows that there exists an \(\varepsilon _\star \) such that
if \(\varepsilon \le \varepsilon _\star \). The details of this computation can be found in “Appendix E”. We can estimate \(\delta \alpha \), \(\delta \beta \) and \(\delta \epsilon \) by the same method. Since, by our bootstrap assumption , it follows from the Sobolev inequalities in Corollary 3 that for \(i\le 2\) are finite. Using this information we can estimate \(\delta \rho \) and \(\delta \sigma \) applying the \(\delta \)-directional derivative to Eqs. (30i) and (30r).
Concluding the argument From the previous estimates it follows that we can find an \(\varepsilon _\star \) depending on I, \(\Delta _{e_{\star }}\),\(\Delta _{\Gamma _\star }\), , , \(\Delta _{\Psi }({\mathcal {S}})\), and \(\Delta _{\Psi }\), such that
The bootstrap can hence be closed as in Proposition 7.\(\square \)
In a similar vein, the next proposition shows how to obtain control on the \(L^2\)-norms of the NP connection coefficients and their first and second derivatives.
Proposition 9
(Control on the \(L^2\)-norm of the connection coefficients) Assume that we have a solution of the vacuum EFEs in Stewart’s gauge in a region \({\mathcal {D}}_{u,v_\bullet }^{\,t}\) with
for some positive \(\Delta _\Gamma \). Assume also
on the same domain. We have that there exists
such that when \(\varepsilon \le \varepsilon _\star \), we have that
Proof
Basic bootstrap assumption Examining the above hypotheses we first observe that both Propositions 7 and 8 are applicable. We start then with the following basic bootstrap assumption:
Estimates for and Starting from Eq. (21a), applying the \(\delta \)-directional derivative and using the commutators one obtains a D-transport equation of the form
where \(\Gamma \) depends linearly on \( \epsilon ,\, \rho ,\, \sigma ,\) while \(\Gamma _1\) depends linearly on \(\tau ,\, \alpha ,\, \beta ,\, \epsilon ,\, \rho ,\, \sigma \). Similar computations lead to equations for \(D{\bar{\delta }}\tau \) and \(D\delta {\bar{\delta }}\tau \). The term \(\delta \Gamma _1\delta \Gamma _1\) is dealt with using the Hölder inequality to obtain
Using Proposition 8, it follows then that the left-hand side of the inequality is finite.
Now, the inequality in the long direction of Proposition 2 and the equation for \(D\delta \tau \) show that,
Similar estimates can be obtained for \({\bar{\delta }}^2\tau \), \(\delta {\bar{\delta }}\tau \) and \({\bar{\delta }}\delta \tau \).
Recalling the result in Corollary 1 that the area of \({\mathcal {S}}_{u,v}\) is bounded one can estimate the norm \(||\delta \tau ||_{L^2({\mathcal {S}}_{u,v})}\) by observing that
Hence, using Proposition 8 it follows that \(||\delta \tau ||_{L^2({\mathcal {S}}_{u,v})}\) is also finite. Now, from inequality (32) we then obtain that
so that using Grönwall’s inequality one concludes that
Estimates for An analysis analogous to that for \(\tau \), readily shows that is bounded.
Estimates for the the remaining spin connection coefficients The remaining connection coefficients can be estimated using the same ideas as in Proposition 7—namely, we first compute equations for \(\Delta \delta ^2\Gamma \) and \(\Delta {\bar{\delta }}\delta \Gamma \) using the NP Ricci identities and the commutators for covariant directional derivatives. In a second step we make use of the short direction inequality of Proposition 2. It then follows that one can choose \(\varepsilon \) small enough so that,
for,
Details of the generic calculations involved in these last steps are discussed in “Appendix C”.\(\square \)
6.3 A first estimate for the curvature
Having obtained estimates for the NP spin connection coefficients, we are now in the position to obtain a first estimate for the curvature. The proposition of this section provides for bounds the components of the Weyl tensor of the spheres \({\mathcal {S}}_{u,v}\) assuming, as a bootstrap, their boundedness on the null hypersurfaces and boundedness on \(\tau \) and its derivatives.
Proposition 10
(Basic control of the curvature) Assume that we are given a solution to the vacuum EFEs in Stewart’s gauge satisfying the assumptions of Proposition 9. Then there exists
such that for \(\varepsilon \le \varepsilon _\star \), one has
on \({\mathcal {D}}_{u,v_\bullet }^{\,t}\).
Proof
Boostrap assumption In this proof we start with the following bootstrap assumption:
which we then aim to improve.
\(L^2\)-norm of the components \(\{\Psi _0,\Psi _1,\Psi _2,\Psi _3\}\). Estimates for the \(L^2\)-norms of the components \(\{\Psi _0,\Psi _1,\Psi _2,\Psi _3\}\) can be obtained from the \(\Delta \)-Bianchi identity Eqs. (30b), (30h), (30f) and (30d) which are then integrated along the short direction. As an example of the procedure we consider here the coefficient \(\Psi _2\). From Proposition 2 it follows that
In passing from the second to the third inequality we have used that the term
is, in fact, an statement on the light cone and, hence, it is controlled by the definition of \(\Delta _{\Psi }\). Moreover, we have also used Hölder’s inequality in the form
The analysis for the coefficients \(\Psi _0, \Psi _1, \Psi _3\) is similar. Consequently, we can find \(\varepsilon _\star \) depending on the initial data, \(\Delta _{\Psi }\) and I such that for \(\varepsilon \le \varepsilon _\star \), we have
Estimates for Again, we focus our discussion on the analysis of the coefficient \(\Psi _2\). From Proposition 2 we find that
Now, using the expression for \(\Delta \delta \Psi _2\) and \(\Delta {\bar{\delta }}\Psi _2\) obtained from using the commutators on the \(\Delta \)-Bianchi equation for \(\Psi _2\), and schematically denoting arbitrary connection coefficients by \(\Gamma \), one obtains that
In the first and third terms of the right-hand side or the above inequality we can separate the \(L^{\infty }\)-norm of the connection coefficients. Thus, using the bootstrap assumption with Proposition 7, we find that
for \(i=0,1\). Accordingly, using the bootstrap assumption once again, we conclude that,
for \(i=0,1\). The second and fourth term in the right-hand side of inequality (22) can be handled in an analogous manner. Since we do not have control on the the \(L^2({\mathcal {S}}_{u,v})\) norm of \(\Psi _4\), we transform the \(L^2({\mathcal {S}}_{u,v})\) norm to a norm over the light cone. More precisely, one has that using Hölder’s inequality
Hence, we conclude that
Now, for the fifth term in inequality (22) one has that
where the first term in the integral in the right-hand side can be controlled by the bootstrap assumption and Sobolev embedding (Corollary 3). The third term can be controlled by the \(L^4({\mathcal {S}}_{u,v})\) norm as given by Proposition 8, again in combination with the bootstrap assumption. One then concludes that,
The sixth term in inequality (22) can also be dealt with by transforming the norms of the coefficients of the Weyl tensor on \({\mathcal {S}}_{u,v}\) to norms on the light cone. More precisely, one has that
Finally, the last integral in the right-hand side of inequality (22) can be separated into two \(L^2\)-norms. The estimate of can, in turn, be transformed to an estimate on the light cone and, hence, it can be controlled by the definition of \(\Delta _{\Psi }\).
Collecting all the estimates for the various terms in inequality (22) we conclude that,
The latter inequality implies that we can improve the bootstrap assumption by choosing \(\varepsilon \) small enough. A similar strategy allows us to estimate . Therefore we have that
Estimates for As before, we focus the discussion on . The estimate along the short direction in Proposition 2 shows that
where T denotes an expression involving products of connection coefficients, their derivatives and components of the Weyl tensor and their derivatives. In particular, one has that
We can then proceed with a strategy similar to that used in the analysis of the estimates for the first order derivatives of the components of the Weyl tensor. In particular, we use Hölder’s inequality to split products and then apply the Sobolev embedding theorem as necessary. The estimates on the sphere for the terms and are transformed into estimates on the light cone. Hence the integral on the right-hand-side of inequality (23) can be made as small as necessary by choosing a suitable \(\varepsilon \). Ultimately, we conclude that
Concluding the argument Collecting all the estimates in the previous steps one obtains the statement
which improves the starting bootstrap assumption.\(\square \)
Applying the standard embedding of \(L^p\) into \(L^q\) for \(p\le q\), we can summarise the results of Propositions 7, 8, 9 and 10 in the following proposition:
Proposition 11
(Summary of the basic estimates for the NP quantities) Suppose we are given a solution to the vacuum EFE’s in Stewart’s gauge emanating from data for the CIVP as prepared in Lemma 2, satisfying
on some truncated causal diamond \({\mathcal {D}}_{u,v_\bullet }^{\,t}\). Then there exists,
such that for \(\varepsilon \le \varepsilon _\star \), we have
on \({\mathcal {D}}_{u,v_\bullet }^{\,t}\), with \(\Gamma \) standing for an arbitrary connection coefficient.
6.4 Estimates on the third derivatives of connection coefficients
We are now in the position to obtain estimates for the NP spin connection coefficients which only require assumptions on the curvature on the light cone. More precisely, one has the following:
Proposition 12
(Further control on the \(L^2\)-norm of the connection coefficients) Assume, as in the previous proposition, that we are given a solution to the vacuum EFE’s in Stewart’s gauge emanating from data for the CIVP as prepared in Lemma 2. Suppose that,
and furthermore that,
on \({\mathcal {D}}_{u,v_\bullet }^{\,t}\). Then there exists \(\varepsilon _\star =\varepsilon _\star (I,\Delta _{e_\star },\Delta _{\Gamma _\star }, \Delta _{\Psi _\star },\Delta _{\Psi })\) such that for \(\varepsilon \le \varepsilon _\star \), we have
Proof
Bootstrap assumption In order to start the proof we place bootstrap assumptions on \(\mu ,\lambda ,\alpha ,\beta \) and \(\epsilon \), and name the bound on \(\tau \) as follows,
Estimates for \(\rho \) and \(\sigma \) We first estimate the spin connection coefficients \(\rho \) and \(\sigma \) using the long direction transport Eqs. (30m) and (30f) as this allows to avoid higher derivatives on the sphere that arise in the short direction equations. Using the expression for for an arbitrary scalar f given in “Appendix C”, we will discuss four typical terms. The first is \(\delta ^3\rho \). Making use of the commutators of directional covariant derivatives, we can compute the long direction derivative of any third derivatives of \(\rho \) on the sphere—for example, one has that,
where here \(\Gamma \) represents linear combinations of the coefficients \(\epsilon \), \(\rho \) and \(\sigma \), whose precise form is not crucial for the discussion. The \(L^2\)-norm of the term \(\delta \Gamma \delta ^2\Gamma \) can be split as
The first term on the right-hand side of the inequality can be controlled using the results of Proposition 8. The second term can be controlled using the Sobolev inequality,
Proceeding in a similar way with the other terms in the equation for \(D\delta ^3\rho \) and the using the long direction inequality in Proposition 2 leads to
The second representative term in the expansion of is \(||\varpi \delta ^2\rho ||_{L^2(S_{{\mathcal {S}}_{u,v})}}\) (recall that \(\varpi \equiv \beta -{\bar{\alpha }}\)). One has
from which we can conclude that
by Sobolev embedding as before. The third representative term is \(||\delta \varpi \delta \rho ||_{L^2({\mathcal {S}}_{u,v})}\) for which we have
so that
The fourth representative term is \(\varpi ^2\delta \rho \) for which we can compute
Consequently, one finds that
Combining all the expressions arising in the expansion of one then concludes,
and Grönwall’s inequality finally gives
In order to estimate , we make use, again, of the general expressions contained in “Appendix C”. For brevity we focus our attention on \(||\delta ^3\sigma ||_{L^2({\mathcal {S}}_{u,v})}\). Making use of the integration identity in “Appendix D” and the commutators one finds that
where the ellipsis denotes lower order derivative terms. Now, the constraint structure equation (Codazzi equation) (30q) lets us transform this norm further to a norm of the same order for\(\rho \). Thus, one concludes that
This inequality in turn implies that
Estimates for \(\tau \) and \(\chi \) Making use of the structure Eq. (30b) and the commutators we obtain
where \(\Gamma _1\) contains combinations of \(\epsilon \), \(\alpha \), \(\beta \), \(\rho \) and \(\sigma \). Thus, using the main bootstrap assumption and the definition of \(\Delta _{\Psi }\) we obtain that
Accordingly, using Grönwall’s inequality one arrives to
The construction of an estimate for \(\chi \) is similar. In this case we obtain that
Estimates for the remaining connection coefficients In order to provide estimates for
we make use of the transport equations along the short direction. The proofs for the various coefficients are similar so for brevity we discuss only the argument for \(\epsilon \). In this case one can readily compute that
where the coefficients \(\Gamma _1\) do not contain \(\epsilon \). Making use of the short direction inequality of Proposition 2 we obtain that
In particular, we can choose the range of integration sufficiently small so that
The argument for is the same.
Concluding the argument An inspection of the estimates obtained in the previous paragraphs shows that we have improved the initial bootstrap assumption. This concludes the proof of the proposition.\(\square \)
6.5 Main estimates for the curvature
We are now in the position to obtain the main estimates for the components of the Weyl tensor. We start with an estimate on a given pair of null hypersurfaces in terms of their value at hypersurfaces in the past.
Proposition 13
(Basic control of components of the Weyl tensor on the light cones in terms of its values on causal diamonds) Suppose that we are given a solution to the vacuum EFEs in Stewart’s gauge and that \({\mathcal {D}}_{u,v}\) is contained in the existence area. The following \(L^2\) estimates for the Weyl curvature hold:
where \(\Psi \) contains \(\Psi _k\), \(k=0,\ldots ,4\), \(\Psi _H\) denotes the components \(\Psi _k\), \(k=0,\ldots ,3\), “cc” denotes the complex conjugate of the last term on the right-hand side and \(\Gamma \) stands for arbitrary connection coefficients from the collection \(\{\mu , \lambda , \alpha , \beta , \epsilon , \rho , \sigma , \tau \}\).
Proof
Assuming, as always that the vacuum field equations of GR are satisfied, we start considering the Bianchi identities (31b) and (31a) written schematically as
Then, integration by parts one obtains (again, using schematic notation) that
Hence, using the identities in Lemma 8, we conclude that
where in the previous expression \(\Psi \) contains \(\Psi _{0,1,2}\). Analogous inequalities can be obtained for the pairs \(\Delta \Psi _1\), \(D\Psi _2\), and \(\Delta \Psi _2\), \(D\Psi _3\).\(\square \)
Similar estimates can be obtained for the first angular derivatives of the components of the Weyl tensor.
Proposition 14
(Control of the first angular derivatives of the components of the Weyl tensor) Again let \({\mathcal {D}}_{u,v}\) be contained in the existence area, then we have that
where \(\Psi \) contains \(\Psi _k\), \(k=0,\ldots ,4\), and \(\Psi _H\) contains \(\Psi _k\), \(k=0,\ldots ,3\), and again \(\Gamma \) stands for some combination of the connection coefficients \(\{\mu , \lambda , \alpha , \beta , \epsilon , \rho , \sigma , \tau \}\).
Proof
Again, we make use of integration by parts. Consider for example
with \(i=0,\,1,\,2\). A similar expression can be obtained for the combination
Thus, using Lemma 8 can conclude that
where \(\Psi \) contains the components \(\Psi _0\), \(\Psi _1\) and \(\Psi _2\). A similar computation for the other pairs of components renders the desired result.\(\square \)
The previous result can be extended to include higher order derivatives. More precisely:
Proposition 15
(Control of the higher angular derivatives of the components of the Weyl tensor) Let \({\mathcal {D}}_{u,v}\) again be contained in the existence area. Given a non-negative integer m, one has
where \(\Psi \) contains the components \(\Psi _k\), \(k=0,\ldots ,4\), and \(\Psi _H\) contains the components \(\Psi _k\), \(k=0,\ldots ,3\). Again \(\Gamma \) stands for some combination of the connection coefficients \(\{\mu , \lambda , \alpha , \beta , \epsilon , \rho , \sigma , \tau \}\).
To wrap up the argument we also need estimates on the components \(\Psi _3\) and \(\Psi _4\). These follow from the Bianchi identities
Using a similar approach to the one used in the previous propositions one can prove the following:
Proposition 16
(Control of the higher angular derivatives of the “bad” components of the Weyl tensor) Let \({\mathcal {D}}_{u,v}\) be contained in the existence area. Given a non-negative integer m, one has that
where \(\Psi \) contains the components \(\Psi _3\) and \(\Psi _4\), while \(\Psi '_H\) contains the components \(\Psi _2\) and \(\Psi _3\). Here \(\Gamma \) stands for some combination of the connection coefficients \(\{\mu , \lambda , \alpha , \beta , \epsilon , \rho , \tau ,\sigma \}\). Because neither the coefficient of \(\Psi _4\) on the right hand side of (24) nor the NP \(\delta \bar{\delta }\)-commutator (29d) contain \(\tau ,\chi \) terms, neither does \(\Gamma '\).
Propositions 13–16 clearly make no use of the estimates demonstrated in the previous sections. Finally, we therefore conclude this section with the main estimate for the components of the Weyl tensor employing our earlier work. This proposition makes only assumptions on the initial data.
Proposition 17
(Control of the components of the Weyl tensor in terms of the initial data) Suppose we are given a solution to the vacuum EFE’s in Stewart’s gauge emanating from data for the CIVP as prepared in Lemma 2, satisfying
with the solution itself satisfying
on some truncated causal diamond \({\mathcal {D}}_{u,v_\bullet }^{\,t}\). Then there exists \(\varepsilon _\star =\varepsilon _\star (I,\Delta _{e_\star },\Delta _{\Gamma _\star }, \Delta _{\Psi _\star })\) such that for \(\varepsilon _\star \le \varepsilon \) we have
Proof
The aim in this proof is to control the terms involving integrals on the diamond \({\mathcal {D}}_{u,v}\) arising in Propositions 15 and 16 for \(m\le 3\). Starting with Proposition 15 one has that the relevant integral is given by
for (u, v) in \({\mathcal {D}}_{\varepsilon ,v_\bullet }^{\,t}\). On the one hand, for the first factor in this integral, given that \(\Psi _H\in \{\Psi _0,\Psi _1, \Psi _2, \Psi _3 \}\) can be controlled in \(L^2({\mathcal {N}}_u(0,v))\), one readily obtains
On the other, for the factors contains \(\Psi _4\), one only has control on \({\mathcal {N}}'_v(0,u)\)—that is,
It then follows that the integral (25) can be estimated as,
In particular, for \(m=0\), the right-hand side of the above inequality gives
Next, when \(m=1\), we have that the right-hand of inequality (26) gives
The first two terms can be controlled like the case \(m=0\), and the third can be controlled by means of Sobolev embedding:
For the case \(m=2\), the terms on the right-hand side of inequality (26) give
All terms, save last one, can be controlled by analysis analogous to that used in the previous cases. To see this, we split the \(L^\infty \)-norm of the connection coefficient and the \(L^2\)-normal of the curvature. The \(L^\infty \)-normal can then be controlled by means of Sobolev embedding. For the last term, we have
hence (27) under control.
Finally, when \(m=3\) the terms on the right-hand side of inequality (26) give
The various terms in this expression can be estimated in a manner analogous to the previous cases. We conclude that the integral over \({\mathcal {D}}_{u,v}\) can be controlled by
We now proceed to examine the estimate from Proposition 16. The terms in
are identical to those already analysed and can be controlled by
The terms
can also be controlled because the components of the Weyl tensor contained in \(\Psi '_H=\{\Psi _2,\Psi _3\}\) have already been shown to be controlled. The remaining terms are
We proceed to by treating \(m=0,\ldots ,3\) individually. Notice in particular, that \(\Gamma '\) does contains neither \(\tau \) nor \(\chi \). Crucially the weakest bounds of Proposition 11 and Proposition 12 involving \(\Delta _\Psi \) are therefore not invoked in the resulting computation, and so after a lengthy analysis one concludes that these terms satisfy
Substituting the previous expressions into the inequality of Proposition 16 one concludes that
Accordingly, using Grönwall’s inequality and taking \(\varepsilon \) sufficiently small one finds,
Using this estimate, it follows that
Taking \(\varepsilon \) small enough we have proven the proposition.\(\square \)
7 Last slice argument and the end of the proof
In this section we make use of the estimates developed in the previous sections to show the existence of solutions to the vacuum Einstein field equations exists in the rectangular domain
The strategy makes use of an argument by contradiction known as the last slice argument, in which it is assumed that the solution does not fill the whole of \({\mathcal {D}}\) and, accordingly, there exists a hypersurface (the last slice) which bounds the domain of existence of the solution. The estimates we have constructed in the previous sections allow then to show that, in fact, on this slice the solution and its derivatives are bounded. Thus, it is possible to make use of the standard Cauchy problem for the Einstein field equations to show that the solution extends beyond the hypersurface \(t^*\)—an observation which contradicts the original assumption.
7.1 Setup
In order to implement the above strategy one foliates the rectangle \({\mathcal {D}}\) by means of spacelike hypersurfaces. To this end recall definition (5) of the time function
so that \(\nabla t\) is timelike. Let \(\Sigma _t\) denote the level sets of t.
The last slice argument starts by invoking the local existence result for the CIVP based on Rendall’s reduction strategy. This result ensures the existence of a solution to evolution equations in a neighbourhood \(\mathcal {V}\) of \({\mathcal {S}}_\star \) on \(J^+({\mathcal {S}}_\star )\)—see Theorem 2. Within this neighbourhood there exists a truncated causal diamond on which all the bootstrap assumptions required to obtain the estimates from the previous sections hold. Thus, we know that the set on which the bootstrap hypotheses hold is non-empty, and hence render our estimates applicable. The rest of the last slice argument proceeds now to show that this basic truncated causal diamond can be progressively enlarged as long as one has control on the initial data on the null cone \({\mathcal {N}}_\star \) thus exhausting the domain \({\mathcal {D}}\).
If the solution does not exist in the whole of \({\mathcal {D}}\), we must have \(t^*\in (0,I+\varepsilon )\) such that
Let \({\varvec{h}}_t\) and \({\varvec{K}}_t\) be, respectively, the induced metric and second fundamental form on \(\Sigma _t\). A schematic depiction of the geometric set-up is shown in Fig. 3.
7.2 Main argument
In the following we will show that the fields \({\varvec{h}}_t\) and \({\varvec{K}}_t\) converge in \(C^{\infty }\) to fields \({\varvec{h}}_{t^*}\) and \({\varvec{K}}_{t^*}\). Moreover, it will be shown that the pair \(({\varvec{h}}_{t^*},{\varvec{K}}_{t^*})\) satisfy the Einstein constraint equations on \(\Sigma _{t^*}\). In order to show this, it is necessary to show that all derivatives of \({\varvec{h}}_t\) are bounded uniformly in \(L^2(\Sigma _t)\) for all \(t<t^*\). The method proceeds by induction:
Base step The first step corresponds, in essence, to the estimates obtained in the previous sections. More precisely, we have first derived uniform estimates for the \(L^{\infty }\)-norm of the zeroth order derivatives of connection on \({\mathcal {D}}\)—see Proposition 7. For this we needed to assume that
on the truncated causal diamond. These conditions also lead to the analysis the \(L^4\)-norms of the first order derivatives (Proposition 8) and \(L^2\)-norms of the second order derivatives of the connection—see Proposition 9. Now, using the bootstrap assumptions, it follows that \(\Delta _{\Psi }({\mathcal {S}})<\infty \) uniformly on \({\mathcal {D}}\) with bounds given in terms of the initial data—thus, this condition can be removed from the list in (28). Similarly, we can also drop the condition and estimate the \(L^2\)-norm of the third order angular derivatives of the connection. In order to do so, we make use of the D-direction (i.e. the long direction) equations for the NP coefficients \(\rho \) and \(\sigma \), rather than the equations along the short direction as we want to avoid dealing with the higher order derivative of \(\tau \) on spheres \({\mathcal {S}}_{u,v}\). Now, using integration by parts, one concludes that \(\Delta _{\Psi }\) satisfies a similar uniform bound on \({\mathcal {D}}\). Thus, it has been shown that given some initial data on the initial light cone, it is possible to estimate the \(L^2\)-norm on the spheres \({\mathcal {S}}_{u,v}\) of the connection coefficients and their derivatives up to third order.
Intermediate step The previous analysis is the base step of the induction. As an intermediate induction step one analyses the fourth order derivatives of the connection coefficients. To this end, we make use of the same approach used in the analysis of the third order derivatives in Proposition 12 This approach requires the control of the norms of the fourth order derivatives of the components of the Weyl tensor on the light cone. As in the case of the Base Step, the required bounds need to be uniform on the truncated causal diamond with bounds given in terms of the initial data. This control can be achieved by the using integration by parts as in the analysis of Proposition 17.
Remark 17
The reason the method to analyse the fourth order derivatives of the connection coefficients is different from that of the third and lower orders lies in the structural properties of the equations—these properties become manifest when considering higher order derivatives. In particular, one has that:
-
(i)
For zeroth-order derivatives, we cannot make use of the Codazzi equation to access the norms of \(\rho \) and \(\sigma \), since the Codazzi equation is a first order equation for the derivatives of \(\rho \) and \(\sigma \). Further difficulties arise from the nonlinear term \(\rho ^2\) in the D-direction Eq. (30m) for the coefficient \(\rho \).
-
(ii)
For the first-order derivatives, we can readily estimate the \(L^2\)-norm of the connection. However, this is not enough for the second order derivatives. In the \(L^2\) estimate for the second order derivatives of the connections, we need Hölder’s inequality to separate products of the form \(\delta \Gamma \times \delta \Gamma \). This procedure leads to estimates involving the \(L^4\)-norm.
Induction step A procedure analogous to the one used to control the fourth order derivatives of the connection coefficients is employed to estimate the \(k+1\)-th order derivatives of the connection if control on the derivatives of k-th order is assumed. This calculation, requires, in particular, control of the value of such norms on the initial light cone—this control follows readily from the procedure used to evaluate the formal derivatives on the initial light cone—see Lemma 4.
Concluding the argument The previous step shows that it is possible to obtain control over the \(L^2\)-norms of all angular derivatives of the connection over the rectangular domain \({\mathcal {D}}\). Control of the derivatives respect to the optical functions u and v can be obtained by applying, as required, the directional covariant derivatives D and \(\Delta \) to the evolution equations and commuting. Since the domain is bounded, then all derivatives of \({\varvec{h}}_t\) and \({\varvec{K}}_t\) are bounded uniformly in \(L^2(\Sigma _t)\) for \(t<t^*\). Moreover, one has that the 1-parameter family of data \(({\varvec{h}}_t,{\varvec{K}}_t)\) converges uniformly in \(C^\infty \) to a pair \(({\varvec{h}}_{t^*},{\varvec{K}}_{t^*})\). The pair \(({\varvec{h}}_{t^*},{\varvec{K}}_{t^*})\) satisfies the Einstein constraint equations on the hypersurface defined \(t=t^*\)—see [18]. This leads to a contradiction with the assumption of the existence of a last slice as the theory of the Cauchy problem for the Einstein field equations allows us to readily obtain a (future) development of the data set \(({\varvec{h}}_{t^*},{\varvec{K}}_{t^*})\)—see Fig. 4 Thus, no such last slice exists and the solution to the Einstein vacuum equations exists on the whole of the rectangular domain \({\mathcal {D}}\).
7.3 Statement of the main result
The long analysis of the preceding sections leads to the following:
Theorem 4
(Main result—improved local existence for the CIVP for the EFE) Given regular initial data for the vacuum Einstein field equations as contructed in Lemma 2 on the null hypersurfaces \({\mathcal {N}}_\star \cup {\mathcal {N}}'_\star \) for \(I\equiv \{0\le v\le v_\bullet \}\), there exists \(\varepsilon >0\) such that a unique smooth solution to the vacuum Einstein field equations exists in the region where \(v\in I\) and \(0\le u\le \varepsilon \) defined by the null coordinates (u, v). The number \(\varepsilon \) can be chosen to depend only on I, \(\Delta _{e_\star }\), \(\Delta _{\Gamma _\star }\) and \(\Delta _{\Psi _\star }\). Furthermore, in this area one has that,
References
Bondi, H., van der Burg, M.G.J., Metzner, A.W.K.: Gravitational waves in general relativity VII. Waves from axi-symmetric isolated systems. Proc. R. Soc. Lond. A 269, 21 (1962)
Sachs, R.K.: Gravitational waves in general relativity VIII. Waves in asymptotically flat space-time. Proc. R. Soc. Lond. A 270, 103 (1962)
Sachs, R.K.: On the characteristic initial value problem in gravitational theory. J. Math. Phys. 3, 908 (1962)
Newman, E.T., Penrose, R.: An approach to gravitational radiation by a method of spin coefficients. J. Math. Phys. 3, 566 (1962)
Penrose, R.: Zero rest-mass fields including gravitation: asymptotic behaviour. Proc. R. Soc. Lond. A 284, 159 (1965)
Müller zu Hagen, H., Seifert, H.-J.: On characteristic initial-value and mixed problems. Gen. Relativ. Gravit 8, 259 (1977)
Friedrich, H.: On the regular and the asymptotic characteristic initial value problem for Einstein’s vacuum field equations. Proc. R. Soc. Lond. A 375, 169 (1981)
Friedrich, H.: The asymptotic characteristic initial value problem for Einstein’s vacuum field equations as an initial value problem for a first-order quasilinear symmetric hyperbolic system. Proc. R. Soc. Lond. A 378, 401 (1981)
Friedrich, H.: On the existence of analytic null asymptotically flat solutions of Einstein’s vacuum field equations. Proc. R. Soc. Lond. A 381, 361 (1982)
Stewart, J.M., Friedrich, H.: Numerical relativity. The characteristic initial value problem. Proc. R. Soc. Lond. A 384, 427 (1982)
Isaacson, R.A., Welling, J.S., Winicour, J.: Null cone computation for gravitational radiation. J. Math. Phys. 24, 1824 (1983)
Friedrich, H., Stewart, J.: Characteristic initial data and wavefront singularities in general relativity. Proc. R. Soc. Lond. A 385, 345 (1983)
Rendall, A.D.: Reduction of the characteristic initial value problem to the cauchy problem and its application to the einstein equations. Proc. R. Soc. Lond. A 427, 221 (1990)
Fourès-Bruhat, Y.: Théorème d’existence pour certains systèmes d’équations aux derivées partielles non linéaires. Acta Math. 88, 141 (1952)
Christodoulou, D., Klainerman, S.: Asymptotic properties of linear field equations in minkowski spacetime. Commun. Pure Appl. Math. 43, 137 (1990)
Christodoulou, D., Klainerman, S.: The Global Nonlinear Stability of the Minkowski Space. Princeton University Press, Princeton (1993)
Christodoulou, D.: The Formation of Black Holes in General Relativity. European Mathematical Society Publishing House, Zurich (2009). Number v. 4 in EMS monographs in mathematics
Luk, J.: On the local existence for the characteristic initial value problem in general relativity. Int. Math. Res. Not. 20, 4625 (2012)
Li, J., Zhu, X.-P.: On the local extension of the future null infinity. J. Diff. Geom. 110, 73 (2018)
Choquet-Bruhat, Y., Chruściel, P.T., Martín-García, J.M.: The cauchy problem on a characteristic cone for the einstein equations in arbitrary dimensions. Ann. Henri Poincaré 12, 419 (2011)
Chruściel, P.T., Paetz, T.-T.: The many ways of the characteristic cauchy problem. Class. Quant. Grav. 29, 145006 (2012)
Cabet, A., Chruściel, P.T., Wafo, R.T.: On the characteristic initial value problem for nonlinear symmetric hyperbolic systems, including Einstein equations. Diss. Math. 515, 1 (2016)
Cagnac, F.: Problème de cauchy sur un conoïde caractéristique. Ann. Fac. Sci. Toulouse \(2^e\) série 2, 11 (1980)
Cagnac, F.: Problème de cauchy sur un conoïde caractéristique pour des equations quasi-lineaires. Ann. Math. Pure Appl. 129, 13 (1981)
Lindblad, H., Rodnianski, I.: Global existence for the Einstein vacuum equations in wave coordinates. Commun. Math. Phys. 256, 43 (2005)
Stewart, J.: Advanced General Relativity. Cambridge University Press, Cambridge (1991)
Penrose, R., Rindler, W.: Spinors and Space-Time. Two-Spinor Calculus and Relativistic Fields, vol. 1. Cambridge University Press, Cambridge (1984)
Valiente Kroon, J.A.: Conformal Methods in General Relativity. Cambridge University Press, Cambridge (2016)
Evans, L.C.: Partial Differential Equations. American Mathematical Society, Providence (1998)
Acknowledgements
We are grateful to Edgar Gasperin and Arick Shao for helpful discussions. We also gratefully acknowledge support offered by the London Mathematical Society research in pairs scheme. DH was supported by the FCT (Portugal) IF Program IF/00577/2015 and PTDC/MAT-APL/30043/2017. PZ acknowledges the support of the China Scholarship Council.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
A: The Einstein field equations in the NP formalism
This appendix serves as quick reference of the basic equations of our analysis. Throughout we make use of the NP formalism in the conventions used in the book by J. Stewart [26] which, in turn, follows the conventions in [27].
1.1 The spin connection coefficients
Given a NP frame \(\{l^a,\ n^a,\ m^a,\ {\bar{m}}^a \}\), we define the complex spin connection coefficients as,
1.2 The directional covariant derivatives
The directional covariant derivatives along the directions given by the elements of the NP frame are given by
1.3 The commutators
The NP directional covariant derivatives satisfy the commutator relations
where \(\psi \) is any scalar field. Here we have highlighted the terms which vanish in our gauge.
1.4 The components of the curvature
The components of the Weyl tensor \(C_{abcd}\), trace-free Ricci tensor \(\Phi _{ab}\) and the Ricci scalar R, namely {\(\Psi _0\), \(\Psi _1\), \(\Psi _2\), \(\Psi _3\), \(\Psi _4\)}, {\(\Phi _{00}\), \(\Phi _{01}\), \(\Phi _{02}\), \(\Phi _{11}\), \(\Phi _{12}\), \(\Phi _{22}\)} and \(\Lambda \) are defined as
where the curly brackets denote the symmetric, trace-free part.
1.4.1 A.0.1: The NP Ricci identities
The NP Ricci identities (also known as the second structure equations) take the form:
Observe that the above are the full NP Ricci identities. The highlighted terms are those that vanish either because of the gauge or vacuum conditions. Further simplification following from Stewart’s gauge (Lemma 1) are \(\rho =\bar{\rho },\mu =\bar{\mu }\) and \(\pi =\alpha +\bar{\beta }\). Note furthermore that the three Eqs. (30j), (30n), (30q), there are constraints on the 2-spheres \({\mathcal {S}}_{u,v}\).
1.5 The Bianchi identities
Finally, the (second) Bianchi identities take the form:
As in the case of the Ricci identities we have highlighted the vanishing terms. Note that the last three equations make no contribution to our analysis as they are satisifed identically.
B: Inequalities
In this appendix, as a quick reference, we list the key inequalities which are used routinely in our analysis. These inequalities are standard and proofs can be found, e.g. in [29].
Cauchy-Schwarz inequality If \(u_1, \ldots , u_n\in \mathbb {C}\) and \(v_1, \ldots , v_n\in \mathbb {C}\), we have
Grönwall’s inequality If \(\beta (t)\) is a non-negative continuous function and u(t) satisfies
then
In addition, if the function \(\alpha \) is non-decreasing, then
Moreover, if \(\beta \equiv C\) where C is a positive constant, then
Young’s inequality If a and b are non negative real numbers and p and q are positive real numbers such that \(1/p+1/q=1\), then
The equality holds if and only if \(a^p=b^q\). Moreover, if a and b are non negative real numbers and \(p\ge 1\), then
Finally, if f(x) is non-negative continuous function and \(p\ge 1\), then
where K is a compact set.
Generalised Hölder’s inequality Let K be a measurable space. Assume \(f\in L^p(K)\) and \(g\in L^q(K)\) with \(1\le p, q\le \infty \) and \(1/r=1/p+1/q\le 1\), then
Gagliardo–Nirenberg–Sobolev inequality Let U be a bounded, open subset of \(\mathbb {R}^n\), and assume \(\partial U\) is \(C^1\). Let \(1\le p<n\), and suppose that \(u\in W^{1,p}(U)\). Then \(u\in L^{p*}(U)\), with the estimate,
the constant C depending only on p, n and U and \(1/p+1/p^*=1/n\).
C: Angular derivatives of a scalar function
In our analysis we make repeated use of properties of the angular derivatives of a scalar field over the 2-spheres \({\mathcal {S}}_{u,v}\) of constant u, v. In the following let \(f: {\mathcal {S}}_{u,v}\rightarrow \mathbb {C}\) denote a sufficiently smooth complex scalar field.
1.1 Definitions and basic inequalities
In terms of the NP vectors \(m^a\) and \({\bar{m}}^a\) one has that
Moreover, we have that
A direct computation shows that,
Conversely, we have
Thus, we can estimate in terms of \(\delta f\) and \({\bar{\delta }} f\) and vice versa. This observation is used repeatedly in the main text.
1.2 The Hessian
The Hessian of the scalar function f can be expanded in terms of NP objects as
where we have made use of the expansion
Defining, for convenience, the scalars
one can then write
Making use of the above decomposition we then have that
where \(\Delta _{\Gamma }\) is defined as in the main text. Also, observe that is not smaller than any of the individual terms in the right side of the first inequality (32).
A final observation following the irreducible decomposition
of the Hessian, where the curly brackets denote the symmetric-tracefree part with respect to the metric \(\sigma _{ab}\), is that
so that
1.3 Third derivatives of a scalar field
As in the main text denote by \(\varpi \equiv \beta -{\bar{\alpha }}\) the simple independent component of the connection of the 2-sphere \({\mathcal {S}}_{u,v}\). It follows from the from the structure Eq. (30j) and its complex conjugate, that the Gaussian curvature curvature
satisfies the relation
see [27] for details.
Now, the third order covariant derivative of f on \({\mathcal {S}}_{u,v}\) can be expanded as
where,
It follows then that,
From the above expression one finds that
The above expression contains four representative terms, namely \(||\delta ^3f||_{L^p({\mathcal {S}}_{u,v})}\), \(||\varpi \delta ^2f||_{L^p({\mathcal {S}}_{u,v})}\), \(||\delta \varpi \delta f||_{L^p({\mathcal {S}}_{u,v})}\) and \(||\varpi ^2\delta f||_{L^p({\mathcal {S}}_{u,v})}\) which will be used to illustrate the analysis in the main text.
D: Integration Identities
In this appendix we prove some integration identities which are routinely used in the main text.
First we observe that a direct calculation yields
In the last step we have made use of Eq. (12e). Consequently, we also have that . Making use of these results we further compute on the arbitrary sphere \({\mathcal {S}}\) that
On the one hand, the first integral in the last equality can be further expanded as
On the other hand, the second integral can be expanded as
Combining these last expressions one finds that
In other words we have found that
E: Details in Propositions 8 and 9
In this appendix we provide further details regarding the lengthy computations arising in the analysis of Propositions 8 and 9.
1.1 Estimates on the \(L^4\)-norm of connection coefficients
In the following we consider, for conciseness, the NP spin connection coefficient \(\lambda \). Making use of Proposition 2 to estimate \(||\lambda ||_{L^4(S)}\) one finds that
One can then estimate
where we have made use of the Cauchy-Schwarz inequality in the first inequality. Now, making use of the expressions for \(\Delta \delta \lambda \) and \(\Delta {\bar{\delta }}\lambda \) one further finds that,
where in the previous chain of inequalities we have made use of Hölder’s inequality and the Sobolev’s embedding. Moreover, here \(\Gamma \) represents a linear combination of the NP spin connection coefficients \(\tau , \alpha , \beta , \mu , \lambda \) whereas \(\Gamma '\) contains no \(\tau \) term, which allows the use of sharper estimates. Both \(\Gamma \) and \(\Gamma '\) are controlled in \(L^{\infty }({\mathcal {S}}_{u',v})\) as a result of Proposition 7.
Making use of the latter estimate and of the bootstrap assumption in Proposition 8, one readily obtains that
where it has been used that
Thus, we can choose a suitable \(\varepsilon >0\) such that . This improves the starting bootstrap assumption.
1.2 Estimates on
In this case we start from
we can then further expand to obtain (in schematic notation for simplicity) that
In the previous chain of inequalities we have made repeated use of our bootstrap assumption, the results in Proposition 4 and of Hölder’s inequality. Finally, combining with the short direction estimate in Proposition 2 we conclude that
The factor \(\varepsilon ^{3/4}\) results from the transferring of the 2-sphere estimate of \(\Psi _4\) to the light cone.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Hilditch, D., Valiente Kroon, J.A. & Zhao, P. Revisiting the characteristic initial value problem for the vacuum Einstein field equations. Gen Relativ Gravit 52, 99 (2020). https://doi.org/10.1007/s10714-020-02747-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10714-020-02747-2