Abstract
This paper is motivated by the non-linear stability problem for the expanding region of Kerr de Sitter cosmologies in the context of Einstein’s equations with positive cosmological constant. We show that under dynamically realistic assumptions the conformal Weyl curvature of the spacetime decays towards future null infinity. More precisely we establish decay estimates for Weyl fields which are (i) uniform (with respect to a global time function) (ii) optimal (with respect to the rate) and (iii) consistent with a global existence proof (in terms of regularity). The proof relies on a geometric positivity property of compatible currents which is a manifestation of the global redshift effect capturing the expansion of the spacetime.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper we are interested in solutions to Einstein’s field equations with a positive cosmological constant \(\Lambda >0\),
These equations — in fact a more general form including sources of matter — were proposed by Einstein to model the universe in the large [18], \(({\mathcal {M}},g)\) being an unknown \(3+1\) dimensional Lorentzian manifold which represents the geometry of space-time.Footnote 1 The simplest solutions to (1.1) have non-trivial topology, and are not asymptotically flat: The Einstein universe (which contains a homogeneous fluid) is topologically a cylinder \({\mathbb {S}}^3\times {\mathbb {R}}\), and thus represents a closed universe. While Einstein’s solution is static (in time), de Sitter found a solution to the vacuum equations (1.1) shortly after the cosmological constant was introduced [15], which is expanding:Footnote 2 The de Sitter space-time can be embedded as a (time-like) hyperboloid H in 5-dimensional Minkowski space \(({\mathbb {R}}^{4+1},m)\), with metric h simply induced by the ambient metric m. Its geometric properties are relevant to this paper,Footnote 3 and are discussed in detail in [39].
A model of a black hole in an expanding universe is provided by the Schwarzschild de Sitter geometry [29, 43] discussed in Section 3. It is a solution to (1.1) with less symmetries than the de Sitter solution but still spherically symmetric, which means that the metric takes the form:
where \({\mathop {g}\limits ^{{\scriptscriptstyle Q}}}\) is a Lorentzian metric on a \(1+1\)-dimensional manifold Q, \(r:Q\rightarrow (0,\infty ), q\mapsto r(q)\) is the radius of a sphere \(q\in Q\), and \({\mathop {\gamma }\limits ^{\circ }}\) the standard metric on \({\mathbb {S}}^2\). Its causal geometry is best understood if we depict the level sets of r in Q while keeping the null lines of \({\mathop {g}\limits ^{{\scriptscriptstyle Q}}}\) at \(45^\circ \), namely in the form of the Penrose diagram of Fig. 1.
On Schwarzschild de Sitter spacetime we distinguish between the black hole region \({\mathcal {B}}\), the stationary black hole exterior \({\mathcal {S}}\), and the cosmological region \({\mathcal {R}}\). The stationary region \({\mathcal {S}}\) has a time-like Killing vectorfield T, and is bounded by an event horizon \({\mathcal {H}}\) towards the interior at \(r={r_{{\mathcal {H}}}}\), and a cosmological horizon \({\mathcal {C}}\) towards the exterior at \(r={r_{{\mathcal {C}}}}\). Beyond \({\mathcal {C}}\) lies the cosmological region, whose future component \({\mathcal {R}}^+\) we depict separately in Fig. 2. \({\mathcal {R}}^+\) is bounded to the past by the null hypersurfaces \({\mathcal {C}}^+\cup \bar{{\mathcal {C}}}^+\), and foliated by the level sets \(\Sigma _r\) of r:
Each leaf \(\Sigma _r\) is topologically a cylinder \({\mathbb {S}}^2\times {\mathbb {R}}\), and a spacelike hypersurface for \(r> {r_{{\mathcal {C}}}}\). Since r is increasing along any future-directed causal curve in \({\mathcal {R}}^+\) we also call this region expanding. It is future geodesically complete, yet has the property that any two observers are eventually causally disconnected.Footnote 4 This has the consequence that the “ideal boundary at infinity” \({\mathcal {I}}^+\) is a spacelike surface.Footnote 5 (\({\mathcal {I}}^+\) is not part of the spacetime, but it is intrinsically a cylinder \({\mathbb {R}}\times {\mathbb {S}}^2\) and can be thought of as attached to the spacetime in the topology of the Penrose diagram.) Finally \({\mathcal {B}}\) is referred to as the black hole region, because it lies in the complement of the past of \({\mathcal {I}}^+\).
The maximal extension of the Schwarzschild de Sitter spacetime consists of an infinite chain of black hole regions \({\mathcal {B}}\), separated by exteriors \({\mathcal {S}}\) to the future and past of which lie the cosmological regions \({\mathcal {R}}\). We shall restrict attention to a given cosmological region, and its adjacent black hole exteriors, up to the event horizons; in particular the interior of the black hole is not considered here.Footnote 6
While all classical solutions to (1.1) referred to here were found explicitly, a natural question to ask from the evolutionary point of view is the following:
Is the picture of Fig. 3dynamically stable?
In other words, does a perturbation of Schwarzschild de Sitter data on a Cauchy hypersurface \(\Sigma \) give rise to a maximal development \({\mathcal {D}}\) with similar features? In particular does \({\mathcal {D}}\) contain a future geodesically complete region \({\mathcal {R}}\) with spacelike boundary \({\mathcal {I}}^+\) at infinity, relative to which \({\mathcal {D}}\) contains a black hole region \({\mathcal {B}}\). Moreover, is the black hole exterior \({\mathcal {S}}=I^-({\mathcal {C}})\cap I^-({\mathcal {H}})\) — where \({\mathcal {C}}\) and \({\mathcal {H}}\) are defined to be the future boundary of the past of \({\mathcal {B}}\) and \(\mathcal {I^+}\), respectively — asymptotically stationary?
In view of the domain of dependence property of solutions to (1.1) the stability of the black hole exterior \({\mathcal {S}}\) can be treated independently of the cosmological region \({\mathcal {R}}\) (and the black hole interior \({\mathcal {B}}\)). Indeed, since \({\mathcal {S}}\) is contained in the domain of dependence of a compact subset \(\Sigma _c\subset \Sigma \), the behavior of the solution in \({\mathcal {S}}\) is not influenced by data in the complement of \(\Sigma _c\). In a remarkable series of papers [24,25,26,27, 42] Hintz and Vasy have recently proven that solutions to the Cauchy problem for (1.1) arising from a perturbation of Schwarzschild de Sitter data on \(\Sigma _c\) converge exponentially fast to a member of the Kerr de Sitter family on \({\mathcal {S}}\cup {\mathcal {H}}\cup {\mathcal {C}}\), (and in particular become stationary).Footnote 7
The Kerr de Sitter geometry — given by an explicit 2-parameter family of axi-symmetric solutions to (1.1), containing Schwarzschild de Sitter as a subfamily — plays a central role for the understanding of solutions in \({\mathcal {S}}\). Indeed, the result of Hintz and Vasy shows that they parametrize all possible final states for the evolution of perturbations of Schwarzschild de Sitter data, in the domain bounded by the event horizon \({\mathcal {H}}\) and the cosmological horizon \({\mathcal {C}}\). We will see that for the evolution beyond the cosmological horizon this explicit family of solutions does not play an equally prominent role.
The problem that motivates this paper is then the following:
Consider the characteristic initial value problem (or Goursat problem) for (1.1) with data on the (future geodesically complete) cosmological horizons \({\mathcal {C}}\cup \bar{{\mathcal {C}}}\), cf. Fig. 4. Suppose the characteristic data converges exponentially fast to the geometry induced by a Kerr de Sitter horizon, then is the maximal development future geodesically complete, and can future null infinity \({\mathcal {I}}^+\) be attached at infinity as a spacelike surface in a suitably regular manner?
In spherical symmetry the analogue of this problem has been addressed in [11] in the context of the Einstein-Maxwell-Scalar field system with \(\Lambda >0\). In this paper we approach the above problem without any symmetries, but we restrict ourselves to the linear analysis of the Bianchi equations, and do not yet pose initial data on the cosmological horizons, but instead on a spacelike hypersurface (arbitrarily close to the cosmological horizons) in the cosmological region.
Note that the assumption — that the data be exponentially decaying to a Kerr de Sitter geometry along the cosmological horizons — is justified by virtue of the result of Hintz and Vasy [27].Footnote 8 However, also note that in the discussion of our expectation for the asymptotics no reference is made to the Kerr de Sitter solution.
In [38] I have considered a linear model problem, namely the corresponding Cauchy problem for the linear wave equation
on a fixed Kerr de Sitter background \(({\mathcal {M}},g)\). It was shown that any solution to (1.4) arising from finite energy data on \(\Sigma \), remains globally bounded yet has a limit \(\psi ^+\) on \({\mathcal {I}}^+\) which as a function on the standard cylinder \({\mathbb {R}}\times {\mathbb {S}}^2\) has finite energy. Moreover, if exponential decay is assumed along the cosmological horizons (which in this setting is justified by the results of Dyatlov [16, 17]), then this “rescaled” energy of \(\psi ^+\) on \({\mathcal {I}}^+\) decays towards time-like infinity \(\iota ^+\), but still need not vanish globally on \({\mathcal {I}}^+\). This means that even in the context of the linear theory, there is a non-trivial degree of freedom at infinity. Finally, the results in [38] depend by no means on the symmetries of Kerr de Sitter geometry, and have been proven therein for a large class of spacetimes without any symmetries near the Schwarzschild de Sitter cosmology.
The intuition gained in the linear problem tells us that in the context of the fully non-linear problem we cannot expect convergence to a member of the Kerr de Sitter family, but merely a “nearby” geometry, which is however a priori unknown. In fact, the setting to be presented in this paper is consistent with the asymptotic geometry to differ from Kerr de Sitter — indeed de Sitter spacetime — even at the “leading order”.Footnote 9
This view is echoed in an instructive series of papers by Ashtekar, Bonga and Kesavon [1,2,3]. In [1] it is argued that future null infinity \({\mathcal {I}}^+\) cannot be conformally flat in the presence of gravitational waves.Footnote 10 They show in particular that the condition that \({\mathcal {I}}^+\) be intrinsically conformally flat (as it is for Schwarzschild de Sitter geometry) would suppress “half” of the gravitational degrees of freedom. This is consistent with the setting in this paper, where will will allow the spheres foliating \({\mathcal {I}}^+\) to be not perfectly round.Footnote 11
Now we will treat Einstein’s equations not as a system of wave equations for the metric, but rather using the electromagnetic analogy, which has been employed so successfully in the seminal work of Christodoulou and Klainerman [10]. In other words, we use that (1.1) imply the homogeneous contracted Bianchi equations for the Riemann curvature tensor R:
The Riemann curvature however — in the role of the Faraday tensor F — is not a suitable quantity to consider in this setting, and cannot be expected to decay; indeed the de Sitter solution is a constant curvature space. In this work we pass from the Riemannian curvature R to the conformal Weyl curvature W, which for any solution to (1.1) is related to R byFootnote 12
and thus also satisfies
The conformal Weyl curvature is the prototypical Weyl field W in the sense of [10] and its algebraic properties allow us to construct energies using the Bel-Robinson tensor Q(W), which can be viewed as a generalisation of the energy-momentum tensor of electromagnetic theory. A key advantage of this approach is then that certain methods developed for the treatment of the linear equation (1.4) — in particular our understanding of the decay mechanism for solution to (1.4) in the cosmological region — carry over to the study of solutions to (1.7). We will elaborate on this in more detail in Section 1.4.
In this paper we will treat the first part of the global non-linear stability problem, as formulated above as a characteristic initial value problem for the cosmological region. Namely following the strategy laid out in [10], we will make certain assumptions on the metric g, and the connection coefficients,Footnote 13 and then prove a non-trivial statement for the Weyl curvature. Independently in a second part we will prove that assuming the bounds on the Weyl curvature all assumptions that were made here on the metric and the connection coefficients can be derived by a suitable gauge choice on the cosmological horizons.Footnote 14 In the context of an overarching bootstrap argument, it remains to show that the argument closes under the assumption of small initial data on the cosmological horizonsFootnote 15 to yield a full existence result.
A significant challenge of this part lies in identifying a set of assumptions which are on one hand sufficiently general to encompass the actual dynamics of the metric under the evolution of (1.1) (too restrictive assumptions would be inconsistent, and have no chance of being recovered), while on the other hand sufficiently restrictive for the decay mechanism to come into play. The latter is predominantly the expansion, which can be captured adequately on the level of mean curvatures.
Informally speaking, we establish the following:
The conformal Weyl curvature decays uniformly in the cosmological region \({\mathcal {R}}\), provided the metric and connection coefficients satisfy a set of assumptions which capture in particular the expansion of the spacetime.
In Schwarzschild de Sitter spacetime the Weyl curvature has only one non-vanishing component
where m is a constant, the mass of the black hole; cf. Section 2, 3.
“Decay”, and its “uniformity” refer to a parameter like r in the Schwarzschild de Sitter example, but as we shall see even the definition of a suitable time function
is non-trivial. The reason the definition of r is a non-trivial question is that we subject it to the following two requirements:
-
The function r is a time-function on \({\mathcal {R}}\) — i.e. it is strictly increasing along any future-directed time-like curve — and the zero level set of 1/r can be identified with \({\mathcal {I}}^+\).
-
The function r is defined by a purely geometric construction, and fully determined by gauge choices on \({\mathcal {C}}\cup \overline{{\mathcal {C}}}\).
In [39] it is shown in particular that — in the context of using optical functions as the purely geometric means by which r is defined — the first requirement is not stable at all under perturbations of the gauge choices on \({\mathcal {C}}\cup \overline{{\mathcal {C}}}\); see Section 1.1 for a qualitative discussion. (The paper [39] then also identifies a useful criterion for both requirements to be satisfied, and gives a construction of non-trivial optical functions, and hence time functions in a simplified setting.) In this paper we essentially assume that both requirements are fulfilled, and we will then establish that under our assumptions all components of the Weyl curvature decay at precisely the rate indicated in (1.8).
In Section 1.1 we discuss the basic difficulties related to a suitable choice of coordinates which covers the domain of development, and correctly parametrizes future null infinity.Footnote 16 In Section 1.2 we highlight some of the assumptions made in this paper, in particular we identify a suitable notion of expansion at the level of mean curvatures. Then we proceed to a more precise statement of the result in Section 1.3, and discuss some of the ideas and difficulties of the proof in Section 1.4. Finally, we discuss the relation of this result to earlier work, in particular Friedrich’s proof of the stability of the de Sitter solution, in Section 1.6.
1.1 Basic Difficulties
In view of the expectation that the geometry of a dynamical solution to (1.1) in the cosmological region does not globally converge to a member of the Kerr de Sitter family, but merely to a “nearby geometry” which is a priori unknown, the choice of suitable coordinate system — which covers the entire region of existence — is non-trivial.
Consider for example any given coordinate system \((x^a;y^A)\) on \({\mathcal {R}}\subset {\mathcal {Q}}\) for the Schwarzschild de Sitter solution. A naïve approach would be to formulate the assumptions on the metric in this coordinate system, and try to establish the decay with respect to a parameter \(r=r(x^a)\) formally defined as in the Schwarzschild de Sitter geometry. However, such an approach turns out to be inconsistent, the reason being that the surface \(r=\infty \) thus defined does not coincide with the true future boundary found in evolution.
To overcome this problem we work in a double null gauge,Footnote 17 namely coordinates \((u,v;\vartheta ^1,\vartheta ^1)\) such that the level sets of u, v are null hypersurfaces whose intersections \(S_{u,v}\) are diffeomorphic to \({\mathbb {S}}^2\). This choice is natural for the treatment of a characteristic initial value problem, and it allows us in particular to introduce the function r as the area radius of the spheres of intersection \((S_{u,v},g\!\!\!/)\),
It is then tempting to define future null infinity \({\mathcal {I}}^+\) as the collection of spheres with infinite area radius. However, a general double null foliation still allows considerable freedom in the choice of the spheres of intersection, and it can happen that a sphere with infinite area radius is in fact partly contained in the spacetime. In such a scenario future null infinity is not correctly identified by the set of points where \(r=\infty \).
This subtle yet imporant point is proven in Section 4 of [39], where we give an explicit construction of a double null foliation of de Sitter space which illustrates this phenomenon:
There exist double null foliations of de Sitter space such that the union of all spheres with area radius \(r\in ({r_{{\mathcal {C}}}},\infty )\) is contained, but does not exhaust the cosmological region.
In fact, these examples are constructed as explicit solutions to the eikonal equation on de Sitter spacetime (H, h),
with the property that the level sets \(C_u\) intersect the cosmological horizon \({\mathcal {C}}\) in a small ellipsoidal deformation \(C_u\cap {\mathcal {C}}\) of the round sphere, yet the “corresponding sphere near infinity” — namely the intersection \(S_{u,0}=C_u\cap {\underline{C}}_0\) with a fixed “incoming” null hypersurface \({\underline{C}}_0\) — is only partially contained in H. In these examples, \(S_{u,0}\) first “touches infinity at a point” and then gradually “disappears on annular regions” as u varies, see Fig. 5.
We expect this to be the generic behavior, and it is important to note that our assumptions on the foliations to be discussed in Section 1.2 rule out such behavior of the spheres near infinity.Footnote 18 In fact, the assumptions of Section 1.2 ensure that the spheres of the foliation indeed exhaust the expanding region; see [39].
Furthermore, in [39] we show — in the case of a fixed de Sitter spacetime with identically vanishing Weyl curvature — that using a final gauge choice a global double null foliation can be constructed, which has all the properties assumed in Section 1.2. This is achieved by a global analysis of the null structure equations on de Sitter space, which arise in the decomposition of (1.1) in double null coordinates \((u,v;\vartheta ^A)\), where u, and v satisfy (1.10); see Section 5 in [39].
1.2 Assumptions on the foliation
Consider a \(3+1\)-dimensional Lorentzian manifold \(({\mathcal {M}},g)\) with past boundary \({\mathcal {C}}\cup \overline{{\mathcal {C}}}\), two null hypersurfaces \({\mathcal {C}}\) and \(\overline{{\mathcal {C}}}\) intersecting in a sphere S, whose null geodesic generators have no future end points. We think of initial data prescribed along \({\mathcal {C}}\) and \(\overline{{\mathcal {C}}}\), and of \({\mathcal {R}}=J^+({\mathcal {C}}\cup \overline{{\mathcal {C}}})\) — the “cosmological region” — as its future development.
Consider further a double null foliation of \({\mathcal {R}}\) by null hypersurfaces \(C_u\), and \({\underline{C}}_v\), namely the level sets of functions
satisfying the eikonal equations
which are increasing towards the future, such that \({\mathcal {C}}={\underline{C}}_0\), \(\overline{{\mathcal {C}}}=C_0\), and
is diffeomorphic to \({\mathbb {S}}^2\). Following the conventions in [8] we define
to be the null geodesic normals, and \(\Omega \) to be the null lapse:
Remark 1.1
The reader may find it useful to refer in parallel to Section 3 where all of the following geometric quantities are computed for the Schwarzschild de Sitter spacetime in spherically symmetric double null foliations.
Then normalised null normals are given by
and used to define the null second fundamental forms of the spheres \(S_{u,v}\) as surfaces embedded in \(C_u\), and \({\underline{C}}_v\) respectively:
The null expansions, namely the traces \({{\,\mathrm{tr}\,}}{\underline{\chi }}\), and \({{\,\mathrm{tr}\,}}\chi \) (with respect to \(g\!\!\!/\)), measure pointwise the change of the area element \(\mathrm {d}\mu _{g\!\!\!/}\), in the null directions \(\hat{{\underline{L}}}\), and \(\hat{{L}}\), respectively. Our first main assumption is that “the cosmological region is expanding”:
The positivity of the null expansions alone is not enough, and we will assume that they are always close to the “geodesic accelerations” \(2{\hat{{\underline{\omega }}}}\), and \(2{\hat{\omega }}\) defined by
Equivalently, they are given by
and our second assumption is that for some constant \(C_0>0\):
Our third assumption is crucially related to the discussion in Section 1.1, and amounts to the condition that the null expansions are pointwise close to their spherical averages
We require that for some constant \(C_0>0\)
Finally we assume for the remaing connection coefficients, namely the trace-free parts of the null second fundamental forms above, and the torsion
that
The assumptions (BA:I) are \(\mathrm {L}^\infty \)-bounds on \(S_{u,v}\). They already allow us to prove that the \(\mathrm {L}^2(\Sigma _r)\)- norm of the Weyl curvature decays; see (1.23) for the definition of the spacelike hypersurface \(\Sigma _r\), and Section 4.3 for proof of the decay of the Weyl curvature flux through \(\Sigma _r\). However, here we seek to prove decay of the Weyl curvature in \(\mathrm {L}^4(S_{u,v})\). This requires us to make additional assumptions on the derivatives of the connection coefficients. These assumptions, schematically bounds on
are too numerous and technical to state conveniently here and will instead be collected under the label (BA:II) below. They will allow us to prove that all tangential derivatives of W to \(\Sigma _r\) decay in \(\mathrm {L}^2(\Sigma _r)\).
Finally, several assumptions will be needed to deduce the decay rates of the energy and for the application of the elliptic theory in Sections 6, 7. Most importantly,
and the remaining assumptions will be collected under the label (BA:III).
The complete list of assumptions is given collectively in Appendix B.
We emphasize that none of the assumptions make explicit reference to the Schwarzschild de Sitter geometry, and capture only some of the features that the relevant “nearby” geometries have in common. We expect the results of this paper to be an integral part of a general existence theorem for the problem discussed above which in particular would provide as a Corollary non-trivial examples of spacetimes satisfying these assumptions.
In the coordinates \((u,v;\vartheta ^1,\vartheta ^2)\) thus introducedFootnote 19 the spacetime metric takes the form
In the special case that \(b^A=0\), \(g\!\!\!/=r^2{\mathop {\gamma }\limits ^{\circ }}\), and \(\Omega \) is independent of \(\vartheta ^A\), the metric reduces to the spherically symmetric form (1.2). In Section 3 we will discuss various specific choices of the functions u, v on \({\mathcal {Q}}\) for the Schwarzschild de Sitter metric, and the associated values of the connection coefficients above.
In Section 2.5 we will discuss yet another form of the metric adapted to the decomposition relative to the level sets of the area radius
By (\({\varvec{BA:I}}.i\)) these hypersurfaces are always spacelike, and the area radius plays the role of a time-function:
where \({\overline{g}}_{r}\) denotes the induced Riemannian metric on \(\Sigma _r\).Footnote 20 While this form of the metric is advantageous in some parts of this paper,Footnote 21 and of some importance for the discussion of the asymptotics, we have chosen the double null gauge as the underlying differential structure, because it will allow us to formulate all assumptions that fix the gauge and specify the initial data only on \({\mathcal {C}}\cup \overline{{\mathcal {C}}}\). Moreover, unlike in “non-local” gauges such as “maximal” gauges which fix the mean curvature of the surfaces \(\Sigma _r\), the double null gauge allows us to localise any argument to the domain of dependence of any subset of \(\Sigma _r\); this will be of importance for the recovery of the assumptions made in this Section.
1.3 Main result
We are interested in the “cosmological region” \({\mathcal {R}}\) to the future of the cosmological horizons \({\mathcal {C}}\cup \overline{{\mathcal {C}}}\); see Fig. 4. Above we have introduced the 2-dimensional closed Riemannian manifolds \((S_{u,v},g\!\!\!/)\subset {\mathcal {R}}\) as the intersections of “ingoing” and “outgoing” null hypersurfaces \({\underline{C}}_v\), and \(C_u\), the leaves of a double null foliation of \({\mathcal {R}}\) discussed in Section 1.2. Each sphere \(S_{u,v}\) has area \(4\pi r^2(u,v)\) as discussed in Section 1.1, and we shall now introduce a dimensionless \(\mathrm {L}^p\)- norm for tensors \(\theta \) on the spheres:
Theorem
Let \(({\mathcal {M}},g)\) be a \(3+1\)-dimensional Lorentzian manifold, \({\mathcal {R}}\subset {\mathcal {M}}\) a domain with past boundary \({\mathcal {C}}\cup \overline{{\mathcal {C}}}\), where \({\mathcal {C}}\) and \(\overline{{\mathcal {C}}}\) are future geodesically complete null hypersurfaces intersecting in a sphere \(S_\circ \) diffeomorphic to \({\mathbb {S}}^2\). Assume that g can be expressed globally on \({\mathcal {R}}\) in the form (1.22) and that the double null foliation of \({\mathcal {R}}\) satisfies the assumptions (BA:I-BA:III) (as listed in Appendix B).
Suppose the Weyl field W is a solution to the Bianchi equations (1.7) and \(W\in H^1(\Sigma _{r_\circ })\) where \(\Sigma _{r_\circ }\subset {\mathcal {R}}\) is a level set of r. Then W obeys
where \(C>0\) only depends on the constants in (BA:I-BA:III).
Remark 1.2
The main estimate could alternatively be stated as
The estimate (1.26) then follows from the Sobolev embedding \(W_1^2(\Sigma _r)\hookrightarrow L^6(\Sigma _r)\) which we discuss in Section 7 in the present setting under the assumptions (BA:I-BA:III). The Sobolev inequality on \(\Sigma _r\) is derived from the isoperimetric Sobolev inequality on the spheres \(S_{u,v}\), in the course of which we show that the trace operator from \(W_1^2(\Sigma _r)\rightarrow L^4(S_{u,v})\) is bounded, which explains the decay statement is in \(\mathrm {L}^4\).
Remark 1.3
Recall that for the example of Schwarzschild de Sitter spacetime the Weyl curvature satisfies (1.8). In terms of the decay rate the Theorem thus states the optimal decay of all components of the conformal curvature.Footnote 22 In terms of regularity, we do not estimate the curvature in \(\mathrm {L}^\infty (S_{u,v})\) (which would require assumptions on the connection coefficients at second order of differentiablity). However, it suffices to control the curvature merely in \(\mathrm {L}^4(S_{u,v})\) to obtain a existence for the Einstein equations (1.1).Footnote 23
Remark 1.4
A localised version of the result holds: Let \(\Sigma =\Sigma _{r_0}\cap \{u\le u_0\}\cap \{v\le v_0\}\) be a “segment” of a level set \(r=r_0\), and \(W\in H^1(\Sigma )\), then (1.26) holds for all \(S=S_{u,v}\) in the domain of dependence of \(\Sigma \), namely \(u\le u_0\), \(v\le v_0\).
In this paper we do not yet give an existence proof of solutions to (1.1) in \({\mathcal {R}}\). The theorem establishes what we expect to be the first part of a larger bootstrap, or continuous induction argument. The task of the second part is to establish the converse, namely that assuming \(\mathrm {L}^4\)-bounds on the Weyl curvature, we seek to prove the \(\mathrm {L}^\infty \), and \(\mathrm {L}^4\)-estimates (BA) on the connection coefficients, under suitable assumptions on the characterisitc initial data. In a simplified and restricted — yet very instructive — setting, this is achieved in [39]; see Section 1.5 for further comments.
Remark 1.5
The assumptions on the initial data in the Theorem are made on the spacelike hypersurface \(\Sigma _{r_0}\). In the context of the non-linear problem described on page 5 geometric initial data is prescribed on the characteristic null hypersurfaces \({\mathcal {C}}\cup \overline{{\mathcal {C}}}\). Proceeding similarly to Chapter 2 in [8] we can derive from the null constraint equations — and now using the exponential decay of the energy density as defined in (2.70) in [8] — the precise behaviour of all geometric along the cosmological horizons, and we expect that analogously to the scalar case — see Section 4.2 in [38] — the “local redshift effect” (due to the positive “surface gravity”) can be exploited to prove a local existence result up to \(\Sigma _{r_0}\), such that all decay properties towards \(\iota ^+\) are inherited. Besides a direct application to the Weyl curvature, the above theorem may also be applied to Weyl fields corresponding to suitable renormalisations of the Weyl curvature. These constructions are independent of the results in this paper.
1.4 Comments on the proof
The proof is largely a treatment of the Bianchi equations (1.7) for the Weyl curvature:
In analogy to Maxwell’s theory, one can construct an energy-momentum tensor Q(W), the Bel-Robinson tensor
which has the well-known properties — see for example Chapter 7.1 in [10] — that it is positive when evaluated on any causal future-directed vectors at a point (Proposition 4.2 in [9]), and divergence-free if W is a solution to (1.27) (Proposition 4.4 in [9]):
This allows us define energy currents with the help of “multiplier vectorfields” X, Y, Z,
which give rise to energy identities; see derivations in Section 4.1. An important example in the context of this paper are energy identities on space-time domains bounded by the level sets \(\Sigma _r\):
The usefulness of the resulting identity,
where n denotes the (future directed) unit normal to \(\Sigma _r\), depends crucially on the properties of the “divergence term”, or “bulk term” on \({\mathcal {D}}\). By (1.29) the integrand is given purely by a contraction of Q(W) with the “deformation tensor” of the multiplier vectorfields:
In fact, since Q(W) is trace-free (and symmetric) in all indices, only the “trace-free part” of these tensors appear:
In Section 4.2 we construct a multiplier vectorfield M and prove that the associated divergence terms have a sign which yields by (1.32) a monotone energy. In fact, we will use
to prove in Section 4.3 that the current
has the following positivity property:
Suppose the connection coefficients satisfy the assumptions (BA:I). Then for any solution W to (1.27):
The existence of such a positive current is obviously intimately related to the assumption (\({\varvec{BA:I}}.i\)),Footnote 24 and the numerical prefactor in the above inequality is important, because it will directly translate into the decay rate of the energy associated to M.
This part of the argument is in close analogy to my treatment of linear waves on Kerr de Sitter cosmologies in [38]; cf. discussion in Section 4.2. The inequality (1.37) lends itself to the interpretation that M captures the classical redshift effect in the cosmological region,Footnote 25 in the language of “compatible currents”; we will thus often refer to M as the “global redshift vectorfield”.
In the context of the linear wave equation on Schwarzschild de Sitter spacetimes, the treatment of higher order energies, and pointwise estimates is a trivial extension of the “global redshift estimate” because the tangent space to \(\Sigma _r\) is in this case spanned by Killing vectorfields. Indeed the commutation of (1.4) with the generators of the spherical isometries of \(S_{u,v}\), and of the translational isometry T along \(\Sigma _r\) immediately gives the desired higher order energy estimates in [38]. In the present context, however, this approach is not very fruitful, because even if we were to construct generators \(\Omega _{(i)}\) and T of “spherical” and “translational” actions on \(\Sigma _r\), these actions cannot be expected to generate asymptotic symmetries (as in [10]; because unlike in the asymptotically flat case future null infinity may not possess any symmetries).
In our approach then we use the global redshift vectorfield also as a commutator.Footnote 26
In general, the conformal properties of the Bianchi equations — see e.g. Chapter 12.1 in [8] — allow us to define a “modified Lie derivative” \(\tilde{{\mathcal {L}}}_{X}W\) with respect to any vectorfield X of a solution W to (1.27) which satisfies the inhomogeneous Bianchi equations
where \({}^{(X)}J(W)\) is a “Weyl current” which can be expressed in terms of contractions of \({}^{(X)}{\hat{\pi }}\) with \(\nabla W\), and contractions of \(\nabla {}^{(X)}{\hat{\pi }}\) with W; see e.g. Proposition 12.1 in [8]. In the presence of an inhomogeneity in the Bianchi equations, the divergence-free property of the associated Bel-Robinson tensor fails, and (1.29) is replaced by
Consequently the energy identity derived from the current
contains an additional “divergence term” of the form
A major difficulty in the proof lies in showing that this contribution to the “bulk term” can also be arranged to have a sign.
As already indicated above, one could choose \(X=M\), but this choice does not succeed.
Remark 1.6
While it is possible to show that (under suitable assumptions) “at the highest order of derivatives” the current (1.40) has the following positivity property:
However, the “lower order terms” contained in the “error” \({\mathcal {E}}\) — which are on the level of W and can in principle be controlled by the energy associated to \(P^M[W]\) — do not decay fast enough towards \({\mathcal {I}}^+\), for this energy estimate to give the rate of decay of the energy associated to \(P^M[\tilde{{\mathcal {L}}}_{M}W]\) that would be required (in the application of the Sobolev inequality) to prove the \(\mathrm {L}^4\)-bound stated in the theorem.
The treatment of the “commutation”, or “first order energy” thus becomes the most complex part of this paper, because it requires us not only to find a sign in the divergence, but also to exhibit various cancellations in the lower order terms.Footnote 27 This is the reason why we are forced to compute very carefully most terms contained in (1.41), including the signs and prefactors.Footnote 28
It turns out that a suitable choice of a commutation vectorfield is given by
where
One can think of the map \(M\mapsto M_q\) as induced by a Lorentz transformation with the effect of aligning \(M_q\) with the normal n to \(\Sigma _r\). The final commutation vectorfield X, subsequently denoted by N, is then obtained from \(M_q\) by scaling with the weight \(\Omega ^2\).
In Section 5 we shall prove the following:
Suppose the connection coefficients satisfy the assumptions (BA:I) and (BA:II). Then there exists a constant \(C>0\), such that for any solution W to (1.27):
In this estimate we have achieved that the “error” (second term on the r.h.s.) is small — because \(\Omega ^{-1}\) is small — and controlled by the energy associated to \(P[\tilde{{\mathcal {L}}}_{N}W]^{M_q}\) and \(P[W]^{M_q}\), up to terms which only involve tangential derivatives to \(\Sigma _r\) (third term). Next we prove that the latter can be controlled by the first two terms, but it is again a non-trivial statement that in this estimate no “lower order terms” appear, which would obstruct the “redshift” gained with the positivity of the first term on the r.h.s. of (1.45).
The “electromagnetic decomposition” of a Weyl field W relative to \(\Sigma _r\) — much like the decomposition of the Faraday tensor F in electric and magnetic fields E, and H relative to a given frame of reference — recast the Bianchi equations in a system akin to Maxwell’s equations:
In Section 6 we derive an elliptic estimate for this Hodge system on \(\Sigma _r\)Footnote 29 that allows us to control all tangential derivatives to \(\Sigma _r\) by the energy associated to \(P[\tilde{{\mathcal {L}}}_{N}W]^{(M_q)}\). Here it is essential that the commutator vectorfield N has been aligned with the normal n to \(\Sigma _r\), and carries a weight that leads again to exact cancellations with the “lower order terms” (on the level of the second fundamental form k of \(\Sigma _r\)) present in (1.46).
Suppose the assumptions (BA:I) and (BA:III) hold. Then there exists a constant \(C>0\) such that for all solutions to (1.46),
$$\begin{aligned} \int _{\Sigma _r} \frac{1}{\Omega ^2}|{\overline{\nabla }}W|^2 \mathrm {d}\mu _{{\overline{g}}_{r}}\le & {} C \int _{\Sigma _r}\frac{1}{\Omega } Q[\tilde{{\mathcal {L}}}_{N}W](n,M_q,M_q,M_q)\mathrm {d}\mu _{{\overline{g}}_{r}}\nonumber \\&\quad +\,C\int _{\Sigma _r}\frac{1}{\Omega }Q[W](n,M_q,M_q,M_q)\mathrm {d}\mu _{{\overline{g}}_{r}} \end{aligned}$$(1.47)
In conclusion, we obtain under the assumptions (BA:I-III), stated with a slight abuse of notation and freely using (\({\varvec{BA:III}}.i\)), that
which then easily implies the statement of the theorem by a Sobolev trace inequality on \(\Sigma _r\) which we discuss in Section 7.
1.5 Further comments on the assumptions
We outline briefly how some of the assumptions (BA:I) made in this paper are recovered and refer to [39] for a more elaborate discussion in a simplified setting. Recall the task is here to prove the estimates \(({{\varvec{BA}}})\) under suitable assumptions on the initial data, using the bounds on the Weyl curvature established in this paper. In [39] this is carried out in a drastically “simplified” setting where the Weyl curvature not only decays, but vanishes identically.Footnote 30 It is also “restricted” in the sense that the initial data on one of the cosmological horizons is shear-free.Footnote 31
Among the most important assumptions are (\({\varvec{BA:I}}.i\)), (\({\varvec{BA:I}}.ii\)) and (\({{\textbf {BA:I}}.vi}^\prime \)). Note that while \(2\omega \) and \(\Omega {{\,\mathrm{tr}\,}}\chi \) are both linearly growing in r, their difference is assumed to be bounded. To prove this, one considers the difference of the propagation equations for \(2\omega \), and \(\Omega {{\,\mathrm{tr}\,}}\chi \), namely the equations for \({\underline{L}}(2\omega )\) and \({\underline{L}}(\Omega {{\,\mathrm{tr}\,}}\chi )\) which are at the level of curvature, and one finds using the Einstein equations (1.1) thatFootnote 32
Now in [39] we define the mass aspect function by
where in the second equality we have used the Gauss equation (2.43) which relates the Gauss curvature K of \((S_{u,v},g\!\!\!/)\) to the ambient Weyl curvature. Therefore
thus reducing the boundedness of \(2\omega -\Omega {{\,\mathrm{tr}\,}}\chi \) to decay properties of \(\rho [W]\), and \(\mu \), and also \(\eta \), \({\underline{\eta }}\), and \((\Lambda /3-{{\,\mathrm{tr}\,}}\chi {{\,\mathrm{tr}\,}}{\underline{\chi }}/4)\). The mass aspect function plays an equally central role as in [10]; (cf. Section 5.3 in [39]): It satisfies a “good” propagation equation in the sense that one can hope to prove that \(\mu ={\mathcal {O}}(r^{-3})\), provided various final gauge choices are satisfied. Once such a bound on \(\mu \) is obtained, the idea is to view the definition of (1.50) as part of an elliptic system on \(S_{u,v}\) for the torsion \(\eta \):
The assumption (\({{\textbf {BA:I}}.vi}^\prime \)) on \(\eta \) can then be recovered using elliptic estimates — which hold under sufficient control on the isoperimetric constant of \((S_{u,v},g\!\!\!/)\) — and the established bounds on the Weyl curvature; (cf. Section 6, 7 in [39]).
A key remaining difficulty in the recovery is the above mentioned “final gauge choice”, which needs to be addressed in order to be able to choose various boundary values for the propagation equations of the structure coefficients. More precisely, given a spacetime domain \({\mathcal {D}}=\cup _{r_1\le r\le r_2}\Sigma _r=\cup _{r_1\le r(u,v)\le r_1}S_{u,v}\) it involves the geometric construction of a family of new spheres \(S_{u,v}'\) in \({\mathcal {D}}\), such that \(\mu \), \({{\,\mathrm{tr}\,}}\chi \), and \({{\,\mathrm{tr}\,}}\chi \) assume specific values; for a solution to this problem in a different setting see [28].
1.6 Relation to earlier work
We have already mentioned the work of Hintz and Vasy on the non-linear stability of the Kerr-de Sitter family in the black hole exterior on the domain bounded by the cosmological horizon [27].Footnote 33 Another important result to be mentioned in this context is the work of Friedrich on the stability of the de Sitter spacetime [20]. We will discuss here briefly its relevance to the stability problem for Schwarzschild-de Sitter cosmologies. Finally we will mention the work of Ringström [33], and Rodnianski and Speck [34, 40, 41].
In [20] Friedrich proved that the future development of Cauchy data on \({\mathbb {S}}^3\) is geodesically complete, provided the initial data is “a small perturbation” of the datum induced by the de Sitter solution. Now with regard to the initial data induced by a Schwarzschild de Sitter solution, a Cauchy hypersurface \(\Sigma \) as in Fig. 3cannot be expressed as a “perturbation” of de Sitter data. However, a truncation \([\Sigma ]\) of \(\Sigma \) away from the event horizons could be viewed as a perturbation of a suitable “segment” of de Sitter data, at least for small mass \(0<m\ll 1/(3\sqrt{\Lambda })\); see Fig. 6 (right). It is plausible that the resulting data on \([\Sigma ]\simeq [\delta ,\pi -\delta ]\times {\mathbb {S}}^2\) can be glued to the “spherical caps” \([0,\delta ]\times {\mathbb {S}}^2\) of an \({\mathbb {S}}^3\), to obtain an admissible initial data set for [20]; see Fig. 6 (left).Footnote 34 The result of Friedrich would then yield a geodesically complete spacetime, which agrees with the future development of \(\Sigma \) on the domain of dependence of \([\Sigma ]\); see Fig. 6 (shaded). Thus [20] could be used to show the stability of regions \({\mathcal {D}}_F\) realized as the past of spatially compact segments \(\Sigma _c^+\) of \({\mathcal {I}}^+\),
Notably, such an argument cannot achieve a stability statement “in a neighborhood of time-like infinity \(\iota ^+\);” see Fig. 6.
Another approach to implement the conformal method in the Schwarzschild de Sitter setting has been pursued in [21]. There it is found that initial data for the conformal field equations on a \(\Sigma _r\) hypersurface can only be constructed under strong fall off assumptions to trivial data which amount to excluding the points \(\iota ^+\) from the analysis. This still yields a “localised” result in the sense of Remark 1.4, and gives an interesting discussion of the geometric data on \({\mathcal {I}}^+\).
While the results in [20] are closely related to the conformal properties of (1.1), and achieve a global existence result by a reduction to a “local in time” problem, Ringström provided a treatment of the “Einstein-non-linear scalar field system” — which includes the Einstein vacuum equations with positive cosmological constant as a special case — that reproves the results in [20], without resorting to a “conformal compactification”, and without specific reference to the topology of the initial data [33]. In fact, the set-up in [33] exploits a causal feature of “accelerated expansion” already evident from the Penrose diagram of de Sitter spacetime, cf. Fig. 6 (right): Consider a spacelike Cauchy hypersurface \(\Sigma \) in de Sitter spacetime, let \([\Sigma ]\subset {\mathcal {R}}\) be a truncation of \(\Sigma \) contained in the expanding region, and \(p\in [\Sigma ]\). Choose \(R>0\) such that \(B_{4R}(p)\subset [\Sigma ]\), then the future of \(B_R(p)\) is contained in the domain of dependence of \(B_{4R}(p)\), \(I^+(B_R(p))\subset {\mathcal {R}}\setminus I^+(\Sigma \setminus B_{4R}(p))\), provided \(\Sigma \) is “at sufficiently late time”, e.g. if \(\min _{[\Sigma ]} r\gg {r_{{\mathcal {C}}}}\). This allows Ringström to prove “global in time” results, from “local in space” assumptions on the inital data, which cover in particular perturbations of the de Sitter solution, but are not restricted to the \({\mathbb {S}}^3\) topology. Notably, the “asymptotic expansions” of Theorem 2 in [33] show the existence of “asymptotic functional degrees of freedom”, namely that the solution converges to a metric which after rescaling by the expected behavior in time differs from the rescaled de Sitter metric, even at the leading order parametrized by a free “profile” function.Footnote 35
This paper does not yet give a full global existence theorem for solutions to (1.1) on the level of [20, 27, 33]. It does however accomplish what one expects to be an essential step towards the stability of the expanding region of Schwarzschild- de Sitter cosmologies: We show that the Weyl curvature decays under sufficiently general assumptions — roughly corresponding to Part II of the original proof of the non-linear stability of Minkowski space [10].
The underlying decay mechanism — namely the expansion of spacetime — has also played a prominent role in the work of Speck on Friedman-Lemaître-Robertson-Walker cosmologies: They were shown to be future stable in [23, 34, 40] as solutions to the Euler-Einstein system, and it was observed in particular that the “de Sitter”-like expansion prevents the formation of shocks in relativistic fluids (with linear barotropic equation of state) [41]. For stiff fluids Rodnianski and Speck also showed stable “big bang” singularity formulation in the past [35, 36]. Some elements of their proof — in particular the existence of a monotone energy at the level of the commuted equations, the resulting smallness of the Weyl curvature, and the functional degrees of freedoms associated to all possible “end states” — bear some resemblance to the approach pursued in this paper.Footnote 36
Finally while we do use [8] as our primary reference throughout for quoting various formulas related to the double null formalism, many of the central propositions in particular related to the construction of currents of course first appeared in [10] and [9].
2 Einstein’s equations with cosmological constant
The Einstein vacuum equations with positive cosmological constant \(\Lambda >0\) are
2.1 Weyl curvature
Presently we shall focus on the conformal decomposition of the curvature tensor of a \(3+1\)-dimensional spacetime manifold, which plays an important role in this context.
Recall the Schouten tensor
where R denotes the scalar curvature; see e.g. [19]. We observe that for any solution to (2.1) the Schouten tensor is simply
The Weyl curvature W, in general, is defined by [19]
which for solutions to (2.1) then reduces to:
Note that W has the same algebraic symmetries as the curvature tensor R, and in addition is totally trace-free. We shall thus proceed in Section 2.2 with the null decompositon of the Weyl curvature.
2.2 Null decomposition of the Weyl curvature
We have already referred to the symmetries of the Weyl curvature. We note that the Weyl curvature (2.5) is a “Weyl field” in the sense of Chapter 12 in [8]: It is anti-symmetric in the first two and last two indices, and satisfies the cyclic identity:
Moreover, the Weyl curvature satisfies the trace conditon:
The dual of W is defined by (as we know, left and right duals coincide)
There are 10 algebraically independent components of a Weyl field. Let \((e_A:A=1,2;e_3,e_4)\) be an orthonormal null frame field. Then the 2-covariant tensorfields
account for 2 components each, because they are symmetric and trace-free:
Also the 1-forms
account for 2 components each, which leaves us with 2 functions
Note that with (2.5) we have
Here we used \(g_{33}=g_{3A}=g_{44}=g_{4A}=0\), and \(g_{34}=-2\).
Thus the only component that differs from the corresponding null decompositon of the curvature tensor R (which is only a Weyl field in the case \(\Lambda =0\)) is \(\rho \).
Note that \(\sigma [W]\) can equally be defined by
The remaining components of W are expressed as, cf. (12.34) in [8],
We also use the notation \({}^*{\underline{\alpha }}\), \({}^*{\underline{\beta }}\) for the left duals of \({\underline{\alpha }}\) and \(\alpha \), respectively, which are related to null decomposition of \({}^*W\) according to (12.35) in [8]:
In terms of an orthonormal frame \((e_A:A=1,2)\):
where \(2\epsilon \!\!/_{AB}=\epsilon _{AB34}\). Analogous definitions apply to the left duals of \(\alpha \), and \(\beta \). We note that as \({\underline{\alpha }}\), and \(\alpha \), the 2-covariant tensorfields \({}^*{\underline{\alpha }}\), and \({}^*\alpha \) are symmetric and trace-free.
2.3 Bianchi identities
Recall that in general the curvature tensor R satisfies the Bianchi identities:
which, by setting \(\alpha =\nu \) and summing, yields the contracted Bianchi identies:
Schematically, these equations say
But here, of course, for any solution to the vacuum equations with positive cosmological constant, \({{\,\mathrm{Ric}\,}}(g)=\Lambda g\), and
by metric compatibility of the connection. Thus, as in the case \(\Lambda =0\),
This implies now that for a solution to (2.1) also the Weyl curvature is divergence free:
With the same formula, (2.25), we see that the “Bianchi identity” (2.20) is also true for the Weyl curvature:
or, for short, the homogeneous Bianchi equations hold:
This is consistent with general principles, according to which the equation (2.28), for the Weyl field W, also written as
is equivalent to
by the symmetries of a Weyl field, which are precisely the equations (2.26).
Now we are in the situation where we have a Weyl field W satisfying (2.26):
Therefore by Proposition 12.4 in [8] the null decomposition of (2.31) takes precisely the form given therein. In other words, the Bianchi equations are verbatim those of the vacuum equations in the case \(\Lambda =0\), with the understanding that the null components refer to the null decomposition of the Weyl curvature tensor.
2.4 Double null gauge
We follow the conventions of Chapter 1 in [8], for the definition of the double null foliation, and all associated geometric quantities.
We have already introduced in Section 1.2 the optical functions u, v as solutions to the eikonal equations (1.12) such that the surfaces of intersection of the level sets of u, v, (1.13), are spheres diffeomorphic to \({\mathbb {S}}^2\). Null geodesic normals \({\underline{L}}^\prime \), and \(L^\prime \) are introduced as in (1.14), whose components in any coordinate system are
and with their help we have introduced the null lapse function \(\Omega \) in (1.15). Note that with
we have
and
Moreover, local coordinates on \(S_{u,v}\) are introduced as in Chapter 1.4 in [8]: We choose coordinates \((\vartheta ^1,\vartheta ^2)\) on \(S_{0,0}\), which are then transported first along the geodesics generated by \({\underline{L}}^\prime \) on \({\underline{C}}\), and then along the null geodesics generated by \(L^\prime \) on \(C_u\). In this “canonical coordinate system” the metric takes the form (1.22).
2.4.1 Area radius
Recall that we have already introduced in (1.9) the area radius r(u, v) of \(S_{u,v}\). Since, by definition
where \(\Phi _v\) is the 1-parameter group generated by L, we have
where by definition \(Df=Lf\) for any function f, and thus
where \({\overline{\cdot }}\) denotes the average of a function on the sphere
2.4.2 Optical structure coefficients
We have already introduced the normalised null normals \((\hat{{\underline{L}}},\hat{{L}})\) in (1.16), and the null structure coefficients \({\hat{{\underline{\omega }}}}\), and \({\hat{\omega }}\) in (1.18). The null normals \(({\underline{L}},L)\) defined in (2.33) then satisfy
where
The null second fundamental forms \(\chi \) and \({\underline{\chi }}\) are defined in (1.17), and its trace-free parts are:
We frequently adopt the musical notation (\({}^\sharp \)) to indicate “raising” an index with \(g\!\!\!/\), for instance:
We record here for future reference the Gauss equation of the embedding of \(S_{u,v}\) in the spacetime, which relates the Gauss curvature K of \((S_{u,v},g\!\!\!/)\) to (the component \(\rho \) of) the ambient Weyl curvature W:
In addition to the torsion \(\zeta \) defined in (1.21), one may also define a notion of torsion with respect to the null geodesic normals:
which is related to \(\zeta \) via
With the above notation for the structure coefficients we can then express the frame relations as follows:
where again \(\eta ^\sharp \) and \({\underline{\eta }}^\sharp \) denote the (\(S_{u,v}\)-tangent) vectorfields corresponding to the 1-forms \(\eta \) and \({\underline{\eta }}\), respectively: \({\underline{\eta }}^{\sharp A}=g\!\!\!/^{AB}{\underline{\eta }}_B\), \(\eta ^{\sharp A}=g\!\!\!/^{AB}\eta _B\), where \(e_A:A=1,2\) is an arbitrary basis for \(\mathrm {T}S_{u,v}\), and moreover
For detailed discussion of the formulas see (1.69, 1.79, 1.86, 1.87) in [8].
2.5 Areal time function
Besides the double null gauge, which is particularly suited for the characteristic initial value problem, other gauges typically involve the choice of a time function. This concept appears here naturally in the form of the area radius which is increasing towards to future — this is one manifestation of the expansion of the cosmological region. However, while we do use the decomposition of the Einstein equations relative to a given time-function, we do not impose an equation on its level sets, such as in [10], or [35, 36]; here the time function is chosen once the double null foliation is fixed.
Given an “areal time function” r, we define
and the associated lapse function by
Then the unit normal to the level sets of r, \(\Sigma _r\) is
In the following it will be useful to express these in terms of quantities associated to the double null foliation:
Lemma 2.1
The lapse function of the foliation by level sets \(\Sigma _r\) is
and the normal n to each leaf \(\Sigma _r\) is given by
Proof
Here we need explicit expressions for the components of the inverse:
so in particular
This yields
or
This implies
and thus the statement of the Lemma. \(\square \)
2.5.1 Induced metric
Let us discuss here the metric on \(\Sigma _r\), in particular as r tends to infinity. On \(\Sigma _r\) we may use \((u,\vartheta ^1,\vartheta ^2)\) as coordinates. Recall from Lemma 2.1 the expression for the normal to \(\Sigma _r\), and that in general \({\overline{g}}_{r}\), the induced metric on \(\Sigma _r\) is given by
Lemma 2.2
The metric on \(\Sigma _r\) in \((u,\vartheta ^1,\vartheta ^2)\) coordinates, takes the form
and the volume form on \(\Sigma _r\) is
Proof
Since
we have
and so
Moreover,
\(\square \)
Remark 2.3
There appears no “shift” in the induced metric, because with our present choice the angular coordinates are Lie transported along the ingoing null geodesics.
2.5.2 Second fundamental forms
Following the discussion of the first fundamental form, \({\overline{g}}_{r}\), we now turn to the second fundamental form \(k_r\) of \(\Sigma _r\).
Recall the Codazzi equations:
where X, Y, Z are tangent to \(\Sigma _r\).
We use a “convenient frame”: \((E_0=n,E_i)\) where \(g(E_i,E_j)=\delta _{ij}\) and \([\phi n,E_i]=0\).Footnote 37 Then
and
Moreover the Gauss equations are:
The “acceleration of the normal lines” is given by \(\nabla _n n={\overline{\nabla }}\log \phi \). In particular if \(\phi \) is constant on \(\Sigma _r\) the normal lines are geodesics parametrized by arc length. The second variation equation reads in the above frame:
and therefore
Finally we note the associated connection coefficients:
For a detailed derivation of these formulas see for example Chapter 4 in [37].
3 Schwarzschild de Sitter cosmology
In this Section we briefly discuss some aspects of the geometry of the Schwarzschild de Sitter solution [29, 43]. Its global geometry — as depicted in the Penrose diagram of Fig. 1 — has already been discussed in Section 3 of [38]; cf. [22].
Here we are mainly interested in the values of the structure coefficients for different choices of double null foliations, which has partly motivated our assumptions in Section 1.2. We restrict ourselves to the cosmological region \({\mathcal {R}}\), and spherically symmetric foliations.
The formulas derived in this section are not used in the remainder of this paper, but they give the reader the opportunity to familiarize themselves with the Schwarzschild de Sitter solution in double null gauge. We discuss in particular the gauge freedom in the class of spherically symmetric foliations,Footnote 38 from which the reader can see that our assumptions do not single out a specific choice of double null coordinates.
3.1 General properties
The Schwarzschild de Sitter spacetime is a spherically symmetric solution to (1.1), and distinguishes itself from de Sitter solution by the presence of a mass \(m>0\). The manifold is \({\mathcal {Q}}\times {\mathbb {S}}^2\), and the metric g takes the form (1.2). Moreover — as we have seen in Section 1.2 — in double null coordinates the metric takes the form (1.22), which simply reduces to
The mass m, representing the “mass energy contained in a sphere” \(S_{u,v}\), can be defined unambiguously in spherical symmetry as a function \(m:{\mathcal {Q}}\rightarrow [0,\infty )\) satisfying
In vacuum, the Einstein equations (1.1) then imply that m is a constant, (which parametrizes this 1-parameter family of solutions.) This allows us further to pass from the unknown \(r:{\mathcal {Q}}\rightarrow (0,\infty )\) to the “Regge-Wheeler coordinate”
which by virtue of (1.1) satisfies the simple p.d.e.
The various double null coordinates discussed below can be thought of as different choices of functions f, g appearing in the general solution \({r_*}(u,v)=f(u)+g(v)\) of (3.4), and constants of integration in (3.3).
Let us also note that the polynomial in r on the l.h.s. of (3.2) has three real distinct roots \(\overline{r_{{\mathcal {C}}}},{r_{{\mathcal {H}}}},{r_{{\mathcal {C}}}}\) provided \(0<m<1/(3\sqrt{\Lambda })\), the two positive ones \({r_{{\mathcal {H}}}}\) and \({r_{{\mathcal {C}}}}\) coinciding with the event, and cosmological horizons \({\mathcal {H}}\), and \({\mathcal {C}}\), respectively, (where \(\partial _u r=0\), or \(\partial _vr=0\), by the equation). In the following we are only interested in charts covering the cosmological region, and horizons, namely the domain \(r\ge {r_{{\mathcal {C}}}}\).
3.2 Eddington-Finkelstein gauge
In “Eddington-Finkelstein” coordinates we choose
and thus cover \({\mathcal {R}}^+\) by
Note that the cosmological horizons \({\mathcal {C}}^+\cup \overline{{\mathcal {C}}}^+\) at \({r_*}=-\infty \), are not covered by this chart, but strictly only its future; moreover future null infinity \({\mathcal {I}}^+\) can be identified with the surface \(u+v=0\). In these coordinates the metric takes the form
and we note specifically
With the definitions of the null normals \((\hat{{\underline{L}}},\hat{{L}})\) of Section 1.2 it is then straight-forward to verify thatFootnote 39
and
The Gauss equation (2.43) now allows us to calculate the \(\rho \) component of the Weyl curvature: Since the spheres \(S_{u,v}\) are round, we have \(K=r^{-2}\), and we obtain with (3.10) that
(This shows in particular that the mass \(m\ne 0\) is the obstruction to conformal flatness.) Moreover, since \(\alpha [W]={\underline{\alpha }}[W]=\beta [W]={\underline{\beta }}[W]=\zeta [W]=0\) in spherical symmetry symmetry, and thus also \(\sigma [W]=0\), we have also proven (1.8). In summary , \(\rho [W]\), \({\hat{\omega }}\), \({\hat{{\underline{\omega }}}}\), and \({{\,\mathrm{tr}\,}}\chi \), \({{\,\mathrm{tr}\,}}{\underline{\chi }}\) are the only non-vanishing null structure components for the Schwarzschild de Sitter solution.
3.3 Gauge transformations and “regular” coordinates
The choice of null coordinates in Section 3.2 has a shortcoming: the coordinates do not extend to the cosmological horizons. While Eddington-Finkelstein coordinates provide a natural notion of “retarded and advanced time”, we will now discuss coordinates which extend beyond the cosmological horizons. The following discussion highlights in particular the gauge dependence of the structure coefficients, and is relevant for the dynamical problem.
3.3.1 Kruskal coordinates
Let us denote the Eddington-Finkelstein coordinates of Section 3.2 by \(({u_*},{v_*})\). Then “Kruskal coordinates” \((u_{{\mathcal {K}}},v_{{\mathcal {K}}})\) are obtained with the following transformation:
In these coordinates r(u, v) is implicitly given by
where \(\alpha _{{\mathcal {H}}},\overline{\alpha _{{\mathcal {C}}}}>0\) are positive exponents (depending on \(\Lambda \), m) satisfying \(\alpha _{{\mathcal {H}}}+\overline{\alpha _{{\mathcal {C}}}}=1\); cf. (3.16) in [38]. In particular, in these coordinates the cosmological horizons \(\overline{{\mathcal {C}}}^+\), and \({\mathcal {C}}^+\), are at \(u_{{\mathcal {K}}}=0\), and \(v_{{\mathcal {K}}}=0\), respectively, and the future boundary \(r=\infty \) lies on the hyperbola \(u_{{\mathcal {K}}}v_{{\mathcal {K}}}=1\). The metric takes the form (3.1) where \(\Omega \) is non-degenerate on the \({\mathcal {C}}\cup \overline{{\mathcal {C}}}\); in fact
and
where \(\kappa _{\mathcal {C}}>0\) is the surface gravity of the cosmological horizons; see Section 3 of [38] for derivations. It is then straight-forward to calculate that in this gauge,
Similarly,
We also calculate
and \({\hat{\omega }}=0\) on \(u_{{\mathcal {K}}}=0\). Similarly,
3.3.2 “Initial data” gauge
We give an example of a double null system which retains “retarded time” u of “Eddington-Finkelstein type” along \({\mathcal {C}}^+\), and “advanced time” v of “Eddington-Finkelstein type” along \(\overline{{\mathcal {C}}}^+\), yet is regular at the past horizons. It is trivially obtained by “patching” the above coordinate systems, but its features are worth studying, because it mimics a suitable gauge choice for the characteristic initial value problem.
Let us define
Then
where
This means that in this gauge, along \({\mathcal {C}}^+\), for \({u_*}>0\), the null lapse behaves like
and along the null infinity, for \({u_*}>0\),
Let us calculate the structure coefficients in the region \({u_*}>0\); (the region \({v_*}>0\) is entirely analogous). In the same way as in Section 3.2, we find, relative to the normalised frame,
that
or
so that
Similarly, we find
in particular
It remains to calculate the values of \({\hat{\omega }}\), \({\hat{{\underline{\omega }}}}\) in this gauge. We find
and in particular
3.3.3 Gauge invariance
In view of the assumptions on the structure coefficients outlined in Section 1.2, we discuss the gauge -dependence and -invariance of the relevant quantities for the Schwarzschild-de Sitter example.
In Table 1 we summarize the asymptotics towards null infinity of the values of the connection coefficients for the Schwarzschild de Sitter metric in the gauges discussed above.
Note that each quantity, \(\Omega \), \({\hat{\omega }}\), \({\hat{{\underline{\omega }}}}\), \({{\,\mathrm{tr}\,}}\chi \), \({{\,\mathrm{tr}\,}}{\underline{\chi }}\), has the same asymptotics in r (towards null infinity) in all gauges, but different behavior in \({u_*}\) along null infinity. In particular note that \(\Omega \) differs by a prefactor even at the leading order.
Nonetheless — since \(\lim _{r\rightarrow \infty } ({u_*}+{v_*})|_{\Sigma _r}=0\) — we have in all gauges
in agreement with the Gauss equation (2.43). Moreover, we have in all gauges,
and
In fact, we have here in all gauges
4 Global redshift effect
This Section contains a central part of this paper: We will prove a non-trivial bound for the Weyl curvature in spacetimes that satisfy our assumptions. This is achieved by means of energy estimates for the Bianchi equations, which are recalled in some generality in Section 4.1. In Section 4.2 we will construct a suitable “multiplier vectorfield” whose associated energy is “redshifted”, or “damped” in a fashion that is related to the expansion of the spacetime. This approach will then be further developed in Section 5 to obtain also bounds on the derivatives of the Weyl curvature.
4.1 Energy identity
Let us recall that the conformal curvature tensor W satisfies the contracted Bianchi equations (1.27). The Bel-Robinson tensor Q(W) defined by (1.28) is symmetric and trace-free in all indices; cf. Proposition 12.5 in [8]. Moreover it is non-negative when evaluated on future-directed causal vectors.
We have — by Proposition 12.6 in [8], as a consequence of (1.27) — that Q(W) is divergence-free, see (1.29). In particular, if we define the energy current P associated to W as in (1.30) then it follows from (1.29) that
In view of the trace-free property of Q[W] it is actually only the trace-free part of the deformation tensor that enters here:
Using also the symmetry with respect to any index we finally obtain:
We defined P as a 1-form. Let \({}^*P\) be the dual of the corresponding vectorfield \(P^\sharp \), which is a 3-form:
Here \(\epsilon =\mathrm {d}\mu _{g}\) is the volume form of g. The exterior derivative of \({}^*P\) is a 4-form, and hence must be proportional to the volume form:
Moreover,
so we can conclude
This implies, that integrated on any spacetime region \({\mathcal {D}}\), we have by virtue of Stokes theorem,
Let the domain \({\mathcal {D}}\) be as in Figure 7, namely
so that
where superscript c denotes that these surfaces are appropriately “capped”. We have
where n is the unit normal to \(\Sigma _r\); note that in the boundary integrals arising in Stokes theorem, the normal is always outward pointing, in particular it will have the opposite sign on the past boundary \(\Sigma _{r_1}\) . For the null boundaries we recall first from (1.204-6) in [8] that
and then calculate, using that \((u,\vartheta ^1,\vartheta ^2)\) are coordinates on \({\underline{C}}\),
where we used that
On the null hypersurface \(C_u\) we have to be more careful because
However,
and so
Therefore, similarly
To summarize we have proven the following:
Proposition 4.1
Let \(({\mathcal {M}},g)\) be a spacetime, g be globally expressed in double null gauge on a domain \({\mathcal {R}}\subset {\mathcal {M}}\), such that the level sets of the area radius r are spacelike on \({\mathcal {R}}\). Moreover let \({\mathcal {D}}\) be a domain of the form (4.11); see Fig. 7. Then for any Weyl field W satisfying the Bianchi equations
we have
where Q[W] denotes the Bel-Robinson tensor of W, and
Proof
By (4.9),
and we can insert the expressions (4.13) and (4.21) for the energy flux from above.
If \(J=0\), or W is the conformal Weyl field, then by (4.5)
More generally, if \(J\ne 0\), then the divergence contains the additional term
\(\square \)
4.2 Global redshift vectorfield
We define
Note M is time-like future-directed, and the associated energy flux (4.13) is positive. Its crucial property however is that also the associated divergence (4.9) has a sign and bounds the energy flux, which lends it the name of a “redshift vectorfield”.
Remark 4.2
The choice (4.28) is motivated by the form of the “global redshift vectorfield” used in our treatment of linear waves on Schwarzschild de Sitter cosmologies in [38]. Therein we introduced
relative to coordinates \((t,r,\vartheta ^1,\vartheta ^2)\) such that in the cosmological region the metric takes the form (1.24) with
and
Alternatively, using the gradient vectorfield V of r introduced in (2.48), this vectorfield can be expressed as
and in the coordinates introduced in Section 3.2,
which implies
In fact, as discussed in Section 4.1 of [38] it is equivalent to use the vectorfield
which takes a remarkably simple form, and coincides precisely with (4.28).
4.2.1 Fluxes
We will derive an energy identity associated to the multiplier vectorfield M on a domain foliated by level sets of the area radius r. Let us first look at the energy flux of a current constructed from M through a surface \(\Sigma _r\). Recall here Lemma 2.1 concerning the normal to \(\Sigma _r\).
Lemma 4.3
Let M denote the vectorfield (4.28) and \(P^M\) the current
Then
and
Proof
This follows immediately from Lemma 12.2 in [8]. \(\square \)
4.2.2 Deformation Tensor
Next we calculate the components of the trace-free part of the deformation tensor of M, which enter the expression for \(K^{(M,M,M)}\) in (4.24).
Lemma 4.4
The null components of the trace-free part \({\hat{\pi }}\) of the deformation tensor of M are given by
Proof
In view of the frame relations (1.18) and (2.46) we have
and thus
and
Therefore
or alternatively
\(\square \)
Now we can calculate
which involves the null components of Q[W]. These are quadratic expressions in the Weyl curvature, which are given by Lemma 12.2 in [8]. In particular, we have
Lemma 4.5
With M defined by (4.28), we have
where
and
Proof
Using the expressions for the null components of the Bel-Robinson tensor listed in Lemma 12.2 in [8] we note first that
and hence
Similarly
Moreover, by Lemma 12.2 in [8] we have
where \({\underline{\beta }}{\hat{\otimes }}\beta \) denotes the symmetric trace-free 2-covariant tensorfield:
In particular we can write on the right hand side of (4.53c)
Therefore,
Summing up these contributions according to (4.45) yields the statement of the Lemma. \(\square \)
Remark 4.6
We already see that \(K_+[W]\) is manifestly positive if \({{\,\mathrm{tr}\,}}\chi >0\), \({{\,\mathrm{tr}\,}}{\underline{\chi }}>0\), and \({\hat{\omega }}>0\), \({\hat{{\underline{\omega }}}}>0\), as it will be the case under our assumptions. Indeed the assumption (\({\varvec{BA:I}}.ii\)) ensures that \(2{\hat{\omega }}\) is close to \({{\,\mathrm{tr}\,}}\chi \), and \(2{\hat{{\underline{\omega }}}}\) is close to \({{\,\mathrm{tr}\,}}{\underline{\chi }}\), the latter of which are positive by (\({\varvec{BA:I}}.i\)). In fact, the difference asymptotically tends to zero because \(\Omega \) is comparable to r by (\({\varvec{BA:III}}.i\)).
4.2.3 Lorentz Transformations
We will see in Section 4.3 that the simple choice (4.28) for M suffices to obtain the desired energy estimate for the Weyl curvature W. However, it turns out in Section 5 that a more refined choice is necessary to obtain an estimates for higher order energies.
The required adjustment amounts to co-aligning the vectorfield with the normal to \(\Sigma _r\). This can be achieved by formally keeping exactly the same definition of M, but changing the null frame that is used in (4.28). The fact that we can keep this simple definition in terms of another null frame will be computationally very advantageous.
A simple Lorentz transformation is given by:
for some function \(a>0\).
Remark 4.7
Let us give a heuristic discussion for the choice of a which aligns M with n. Regarding the normal, we have by Lemma 2.1, and taking \(r\rightarrow \infty \),
where we have neglected asymptotic deviations from spherical averages. Since by the Gauss equation (2.43),
we can expect that for some function \(a_\chi \), as \(r\rightarrow \infty \),
Now we see clearly that the function \(a_\chi \) appearing in the asymptotics of \({{\,\mathrm{tr}\,}}\chi \), and \({{\,\mathrm{tr}\,}}{\underline{\chi }}\), is the required rescaling of the null vectors in (4.57). More precisely, with \(a=a_\chi \), we can expect that M, formally given by (4.28) relative to a frame resulting from the Lorentz transformation (4.57), satifies asymptotically
For any function \(a>0\), let us denote by
and \(e_A:A=1,2\) an arbitrary frame on the spheres. Note that both \((\hat{{\underline{L}}},\hat{{L}};e_A)\) and \((e_3,e_4;e_A)\) are null frames. Here the frame \((\hat{{\underline{L}}},\hat{{L}};e_A)\) is the null frame derived from the double null coordiantes, and we continue to denote by \({\hat{{\underline{\omega }}}},{\hat{\omega }},\eta ,\) etc. the associated structure coefficients. Now for the frame \((e_3,e_4;e_A)\) we find the following connection coefficients:
Here we use the notation:
where
is the projection to subspace of the tangent space spanned by \(e_A:A=1,2\), namely the tangent space of the spheres.
Also note:
In other words, the Lorentz transformation (4.57) induces the following transformations of the structure coefficients:
Recall here the notation \({\underline{D}}a={\underline{L}}a\), and \(D a^{-1}=L a^{-1}\) introduced in Section 2.4.1.
Lemma 4.8
For any function \(a=a(u,v,\vartheta ^1,\vartheta ^2)>0\), let \(M_a\) denote the vectorfield
Then with respect to the null frame \((e_3,e_4;e_A)\) the null components of the deformation tensor of \(M_a\) are:
where \({\underline{\chi }},\chi ,\eta ,{\underline{\eta }},\zeta ,{\hat{{\underline{\omega }}}},{\hat{\omega }}\) are the structure coefficients associated to the null frame \((\hat{{\underline{L}}},\hat{{L}};e_A)\).
Proof
Analogously to Lemma 4.4 we first compute
using the frame relations (4.63) and (4.66), and then infer
and
which gives the formulas of the Lemma for the trace free part of \(\pi \). \(\square \)
We continue to denote by \(({\underline{\alpha }}[W],\alpha [W],{\underline{\beta }}[W],\beta [W],\rho [W],\sigma [W])\) the null components of W with respect to the null frame \((\hat{{\underline{L}}},\hat{{L}};e_A)\). To avoid confusion, we will explicitly denote the null components of W with respect to the null frame \((e_3,e_4;e_A)\) by \(({\underline{\alpha }}_a[W],\alpha _a[W],{\underline{\beta }}_a[W],\beta _a[W],\rho _a[W],\sigma _a[W])\), and note that
Note that if we take \(a:=q\), where q is the quotient appearing in (2.52), then the normal takes the simple form
this, of course, is the purpose of introducing the frame \((e_3,e_4;e_A)\) in the first place.
Moreover, it follows immediately from (4.13) with (4.68) and (4.74) that
and from (4.21) with (4.68) that
These fluxes should be compared with Lemma 4.3 where the corresponding fluxes associated to M were stated.
Let us prove the analogue of Lemma 4.5:
Lemma 4.9
Let \(M_a\) be defined as in (4.68). Then
where
and
Remark 4.10
Note that the formula for \(K_+^a\) reduces to (4.48) when \(a=1\). Moreover, the formulas in Lemma 4.9 are obtained from those in Lemma 4.5 with the replacements
Proof
As in (4.45) we have
The statement of the Lemma then follows from the following contributions:
\(\square \)
4.3 Global redshift estimate
In this Section we will show that the energy on \(\Sigma _r\) associated to the current \(P^M[W]\) decays uniformly in r. The decay mechanism lies in the expansion of the spacetime — as manifested in our assumptions, in particular \({{\,\mathrm{tr}\,}}\chi >0\), and \({{\,\mathrm{tr}\,}}{\underline{\chi }}>0\) — and results in the positivity of the \(K^M\): In Section 4.2 we have proven that \(K_+^M\) is positive, and in this section we will show that \(K_-^M\) is an error which can be absorbed in \(K_+^M\).
In order to exploit the positivity of \(K_+[W]\) in the bulk term — in comparison to the flux terms associated to \( P^M[W]\) — we need a version of the coarea formula: We foliate the spacetime domain \({\mathcal {D}}\) by the level sets of \(r(u,v)=c\), and first note that we have already calculated the normal separation of the leaves in Lemma 2.1:
Therefore we have, for any function f,
Will first demonstrate the positivity of \(K^M=K^M_++K^M_-\) under assumptions that are explicitly stated in the following Lemma 4.11 and Lemma 4.12. These assumptions are slightly more general than the assumptions (BA:I) which we discuss below to prove the positivity of \(K^{M_q}\) in Lemma 4.14.
Lemma 4.11
Let the null structure coefficients satisfy
for some \(\epsilon >0\). Then
Proof
Consider the expression (4.48) for \(K_+\) in Lemma 4.5. We compare the coefficients to each curvature term with the corresponding coefficients in the expression (4.37) for the curvature flux \({}^*P^M\) in Lemma 4.3. We begin with \(\alpha \), \({\underline{\alpha }}\), \(\beta \), \({\underline{\beta }}\):
and continue with \(\rho \), \(\sigma \):
We add up these two inequalties, and in view of the formula (4.85) for the lapse function, it then follows immediately from Lemma 4.5 and Lemma 4.3 that
and therefore by the co-area formula the statement of the Lemma follows. \(\square \)
It remains to estimate the error terms occuring in Lemma 4.5.
Lemma 4.12
Let the structure coefficients satisfy
for some \(\epsilon >0\). Then
Proof
Immediate from the expressions (4.48) and (4.49) obtained in Lemma 4.5. \(\square \)
We will state the redshift estimate for \(M_q\) under the stronger assumptions (\({\varvec{BA:I}}.i\)), (\({\varvec{BA:I}}.ii\)), (\({\varvec{BA:I}}.iii\)), (\({\varvec{BA:I}}.iv\)), introduced in Section 1.2, which correspond to the choice \(\epsilon = C_0\Omega ^{-1}\) in Lemma 4.11, 4.12:
and the additional assumptions
Remark 4.13
With these assumptions — together with (\({\varvec{BA:III}}.i\)) recalled below — the error as quantified in Lemma 4.14 is of one order r smaller than the error arising from the assumptions in Lemma 4.11 and Lemma 4.12. This is ultimately the reason the decay rate of the Weyl curvature is \(r^{-3}\) as opposed to \(r^{-3+\epsilon }\).
Let us denote for simplicity by
Lemma 4.14
Let the structure coefficients satisfy (BA:I) for some \(C_0>0\). Then
Moreover, for some constant \(C>0\),
Proof
Note first that under the assumptions on the structure coefficients
Hence by Lemma 4.9:
Secondly note that by the definition of q,
Therefore
and thus in comparison to (4.75),
The final bound (4.93) follows by inspection of the formulas given in Lemma 4.9. \(\square \)
Now by (\({\varvec{BA:III}}.i\)) we assume
this uniform bound of \(\Omega \) on \(\Sigma _r\) is necessary for the sharp decay rate in the following Proposition. We will state the main conclusion for the energy current associated to \(M_q\), but this result of course also holds for the energy associated to M and the same proof applies.
Proposition 4.15
Assume (BA:I) and (\({\varvec{BA:III}}.i\)) for some \(C_0>0\). Then there exists a constant \(C(r_0)\) such that for any solution W to (1.27) with initial data such that
we have
Proof
Apply Proposition 4.1 to the energy current \(P^q[W]\) to obtain the inequality
for any \(r_2>r_1>r_0\). Here we used that the flux terms through the null hypersurfaces \(C_{{\underline{u}}}^c\) and \({\underline{C}}_{{\underline{v}}}^c\) as given by (4.21) are nonnegative due to the positivity properties of Q(W) (see Section 1.4 and Proposition 12.5 in [8]) which allows us to drop the first and the fourth term on the left hand side of (4.23):
Moreover the third term on the left hand side of (4.23) vanishes by (1.29). Let us choose \(r_0\) sufficiently large, so that
Then by the co-area formula (4.86), and by Lemma 4.14,
which implies the inequality
A Gronwall-type argument then implies the statement of the Proposition, see Section 5.4.
Note that in view (4.95), and again using (4.97) we can pass from the estimate on \({\mathcal {D}}^{({\underline{u}},{\underline{v}})}_{(r_1,r_2)}\) defined in (4.11) to the unbounded domain \(\cup _{r_1\le r\le r_2}\Sigma _r\) by taking the limits \({\underline{u}}\rightarrow \infty \), and \({\underline{v}}\rightarrow \infty \). \(\square \)
Remark 4.16
An equivalent statement can also be derived for a weighted null flux.
5 First order redshift
The aim of this Section is derive an energy estimate for \(\nabla W\), similar to the redshift estimate for W in Section 4.3. This is achieved by commuting the Bianchi equations (1.27) with a vectorfield X, which yields an inhomogeneous equation of the form (5.6) for the modified Lie derivative \(\tilde{{\mathcal {L}}}_{X}W\). The strategy here is to choose X to be future-directed time-like, in fact colinear with the normal to \(\Sigma _r\), and to derive a redshift estimate for solutions \(\tilde{{\mathcal {L}}}_{X}W\) to (5.6), which can then be used to control all derivatives \({\overline{\nabla }}W\) tangential to \(\Sigma _r\). This last step relies on an elliptic estimate in the context of the electro-magnetic decomposition of W with respect to \(\Sigma _r\), which we will discuss separately in Section 6.
A natural choice of the commutator would be
where
namely the “aligned” redshift vectorfield of Section 4.2. The task is then to exhibit a positivity property of
which appears as an additional term in the energy identity of Proposition 4.1, for solutions to the inhomogeneous Bianchi equations. While (5.3) does have a sign in the highest order terms \(\nabla W\), the lower order terms at the level of W still form an obstruction to the required decay rate of the energy associated to \(\tilde{{\mathcal {L}}}_{M_q}W\) on \(\Sigma _r\). We choose instead as commutator vectorfield:Footnote 40
Remark 5.1
In this section n will denote one of the components of the deformation tensor of N to be defined in (5.11c), and not the unit norm to \(\Sigma _r\).
Remark 5.2
Note that N is orthogonal to the spheres \(S_{u,v}\). So while the scalars q and \(\Omega \) determine its direction and magnitude in the plane \(\langle \hat{{\underline{L}}},\hat{{L}}\rangle \subset \mathrm {T}{\mathcal {M}}\) spanend by \((\hat{{\underline{L}}},\hat{{L}})\), the plane itself always satisfies \(\langle \hat{{\underline{L}}},\hat{{L}}\rangle ^\perp \subset \mathrm {T}S_{u,v}\). Its orientation thus depends on the spheres \(S_{u,v}\) whose embedding in \({\mathcal {M}}\) is characterised by the assumptions \(({\textbf {BA}})\).
Now by the classical Proposition 12.1 in [8] the Weyl field \(\tilde{{\mathcal {L}}}_{N}W\),
satisfies the equation
where the Weyl current \({}^{(N)}J(W)\) is detailed below in (5.8). Therefore, according to Lemma 12.3 in [8] we have the important formula
where \({\tilde{{\underline{\alpha }}}}_q,{\tilde{{\underline{\beta }}}}_q\),\({\tilde{\rho }}_q,{\tilde{\sigma }}_q\),\({\tilde{\beta }}_q,{\tilde{\alpha }}_q\) refer to the null components of \(\tilde{{\mathcal {L}}}_{N}W\), and \(\tilde{{\underline{\Xi }}}_q,{\tilde{\Xi }}_q\), \(\tilde{{\underline{\Lambda }}}_q,{\tilde{\Lambda }}_q\), \(\tilde{{\underline{K}}}_q,{\tilde{K}}_q\), \(\tilde{{\underline{\Theta }}}_q,{\tilde{\Theta }}_q\) refer to the null components of \({}^{(N)}J(W)\).
Remark 5.3
Throughout this Section we use a null decomposition with respect to the null frame \((e_3,e_4;e_A)\). However the null structure coefficents are still associated to the frame coming from the foliation \((\hat{{\underline{L}}},\hat{{L}};e_A)\). To avoid confusion we append a subscript q to any null components decomposed relative to \((e_3,e_4;e_A)\). In particular in reference to (5.7) we have
where in fact \({\tilde{\rho }}_q={\tilde{\rho }}\) and \({\tilde{\sigma }}_q={\tilde{\sigma }}\) by (4.73c), and
cf. Chapter 12.2 in [8].
According to Proposition 12.1 in [8] we have that the Weyl current \({}^{(N)}J(W)\) in (5.6) is given by
where, cf. (14.5) in [8],
andFootnote 41
Remark 5.4
Note that only the part \(J^1(W)\) contains terms \(\nabla W\), and thus only the null decomposition of \(J^1\) may contain \({\tilde{{\underline{\alpha }}}},{\tilde{\alpha }}\),\({\tilde{{\underline{\beta }}}},{\tilde{\beta }}\),\({\tilde{\rho }},{\tilde{\sigma }}\). We sometimes refer to these as “principal terms”. In the first place it suffices then to look at the components of \(J^1\) to show the presence of positive quadratic terms in \(\nabla W\) in (5.7). Its null components are calculated in Lemma 14.1 in [8]; in fact, the formulas in Lemma 14.1 in [8] are only true in the special case that two components of the deformation tensor \(n={\underline{n}}=0\) (defined below) vanish, and we will discuss the general case in Section 5.2.
Remark 5.5
The discussion of the “lower order” terms — involving W — then requires the inclusion of the parts \(J^2\), and \(J^3\). The null decompositions of \(J^2\) and \(J^3\) are detailed in Chapter 14.3-4 in [8], cf. Lemma 14.2 in [8]. We emphasize that these parts cannot be treated separately, because cancellations appear accross the expressions for \(J^1\), \(J^2\), and \(J^3\). The relevant terms are collected under the label X — in fact, \(X:=X^1+X^{2+3}\) where \(X^1\) is defined in (5.28) and refers to the relevant terms appearing in \(J^1\), and \(X^{2+3}\) is defined in (5.50) and refers to the relevant terms coming from the currents \(J^2\) and \(J^3\) — and the cancellations are exhibited in Section 5.3.3. We also refer to Remark 5.13 below — where we discuss specific terms contributing to these cancellations — for further explanation of the choice of (5.12).
We adopt the notation of Chapter 8.1 in [8] for the components of the deformation tensor, i.e.
and calculate here in particular the values for the commutator vectorfield N; recall also our results from Lemma. 4.8.
Lemma 5.6
The components of the deformation tensor of
are
Proof
Recall that we have already calculated the deformation tensor of \(M_q\) in Lemma. 4.8. Moreover,
and
Now recall from (2.40a) that
to infer that
Moreover, using the results of Lemma 4.8,
\(\square \)
Given that in this Section we work mainly with the null decomposition with respect to \((e_3,e_4;e_A)\) we will state here for convenience the form of the Bianchi equations relative to this frame.
Proposition 5.7
The Bianchi equations decomposed in the frame \((e_3,e_4;e_A)\) read as in Proposition 12.4 in [8] with the following replacements:
Proof
First derive the analogous formulas to Proposition 1.1 in [8]. Since these are derived using Leibniz rule and the frame relations (1.175) in [8], it is clear that if instead the relations (4.63) are used, they are formally obtained with replacements
and
because the null decomposition now refers to the frame \((e_3=q\hat{{\underline{L}}}, e_4=q^{-1}\hat{{L}};e_A)\). Therefore (1.190) in [8] holds for the null decomposition of W with respect to this frame, and with the above replacements. It remains to check that, by (1.191,1.193) in [8] for any 1-form \(\xi \), and any 2-form \(\theta \),
(similarly for the conjugate equations) and thus the above replacements of the structure coefficients are consistent with the replacements
\(\square \)
5.1 Commutations
In this section we compute the null decomposition of the Weyl field \(\tilde{{\mathcal {L}}}_{N}W\). These computations are carried out using Leibniz rule for the Lie derivative
which is also used to define \({\mathcal {L}}\!\!\!/_N{\underline{\alpha }}\), \({\mathcal {L}}\!\!\!/_N\alpha \), \({\mathcal {L}}\!\!\!/_N{\underline{\beta }}\), \({\mathcal {L}}\!\!\!/_N\beta \), for example:
where the projection \(\Pi \) to the spheres is defined in (4.65).
Lemma 5.8
The null components of \(\tilde{{\mathcal {L}}}_{N}W\) are given by
Lemma 5.9
The commutation relations of the vectorfield N as given by (5.12) with the frame are
Proof
It follows from the frame relations (4.63) that
and thus
The stated formulas then follow with (5.13). \(\square \)
Proof of Lemma 5.8
Let us first compute \({\mathcal {L}}_N W(\cdot ,e_4,\cdot ,e_4)\), where the slots denoted by a \(\cdot \) are to be evaluated on the frame \(e_A:A=1,2\) on \(S_{u,v}\). Using (5.16) we have
In view of the commutation formula for \([N,e_B]\) from Lemma 5.9 we obtain
where in the last equality we have used the definition (5.17) and that \((\Omega /2)\Pi [e_3+e_4,e_A]=\Pi [N,e_A]\). Moreover using the commutation formula for \([N,e_4]\) from Lemma 5.9 we obtain
where we have used the formula for \({\underline{m}}-m\) from Lemma 5.6 as well as the formulas (2.17) for the null components of a Weyl field. In view of the formula (1.182) in [8] for the \({\hat{\otimes }}\) product of two \(S_{u,v}\) 1-forms, which we apply here in form
we then obtain the following formula for \(({\mathcal {L}}_NW)_{A4B4}\):
Similarly we compute:
In the last formula we also used (12.46) in [8].
We adopt the notation of (12.48) in [8] for the terms appearing in the second line of the formula (5.5) for the modified Lie derivative, namely we write
where
We then proceed similarly to (12.49) in [8] and find that:
The formulas given in the statement of the Lemma then follow. \(\square \)
5.2 Weyl Currents
The components of the first order Weyl current
have been calculated for a general commutation vectorfield X, and are presented in the special case \(n={\underline{n}}=0\), and relative to the frame \((\hat{{\underline{L}}},\hat{{L}};e_A)\) in Lemma 14.1 in [8]. Here and in the following Lemma i, \({\underline{m}}\), m, \({\underline{n}}\), n, and j refer to the null decomposition of the deformation tensor \({}^{(X)}{\hat{\pi }}\) of a general commutation vectorfield X as given in (5.11) in the case \(X=N\). Note that \({{\,\mathrm{tr}\,}}i=j\) holds generally because \({{\,\mathrm{tr}\,}}{\hat{\pi }}=0\).
In the following Lemma we list the formulas for the components of \({}^{(X)}J^1(W)\) in the general case, \(n\ne {\underline{n}}\ne 0\), decomposed relative to the frame \((e_3,e_4;e_A)\). These formulas can be inferred from the expressions in Lemma 14.1 in [8] using the replacements (4.67).
Lemma 5.10
The null components of the Weyl current \(J^1(W)\) relative to the frame \((e_3,e_4;e_A)\) are given by
Moreover
where \(*\) denotes the corresponding terms listed in Lemma 14.1 in [8] (pages 446-451) with the formal replacements of (5.15).
Proof
Consider for example
Let us write out the terms which have j as a common factor. This can arise either from \((\mu \nu )=(43)\), or \((\mu \nu )=(AB)\), because \({{\,\mathrm{tr}\,}}i=j\). Indeed
Now inserting the frame relations (4.63) (with \(a=q\)) we see that these differ only in the coefficients from those used in (1.175) in [8], and can be obtained from the latter using the replacements (4.67) with (\(a=q\)). For definiteness,
and thus
Furthermore we have the following contribution:
while
and again inserting the frame relations (4.63) (with \(a=q\)) gives the same result as inserting (1.175) in [8] followed by the replacements (4.67). For definiteness,
and thus
In conclusion, we have calculated that the terms in \({\underline{\Lambda }}\) which come with a factor j are given by
This coincides precisely with the formula given in Lemma 14.1 in [8] (pages 448-449) modulo the replacements indicated in the statement of this Lemma.
Similarly for all other components. \(\square \)
5.3 Positive Current
Finally in this section we will analyse in all detail the terms appearing in (5.7) for the commutation vectorfield N defined in (5.4). As explained in Section 1.2, and as it is clear from (5.9), a quantitative bound on \({{\,\mathrm{div}\,}}Q[\tilde{{\mathcal {L}}}_{N}W]\) can only be obtained under additional assumptions on \(\nabla {}^{(N)}\pi \).
In addition to (\({{\varvec{BA:I}}.i-vi}\)) we assume
and to deal with several “borderline” terms we strengthen (\({{\varvec{BA:I}}.iv}\)) and (\({{\varvec{BA:I}}.vi}\)) to
Furthermore we assume
and (\({{\varvec{BA:II}}.iii-viii}\)) below.
The main conclusion is that under these assumptions the divergence (5.7) is positive up to a sufficiently fast decaying error:
Proposition 5.11
Assume (BA:I) — including (\({{\textbf {BA:I}}.iv}^\prime \)) and (\({{\textbf {BA:I}}.vi}^\prime \)) — and (BA:II) hold for some \(C_0>0\). Then there is a constant \(C>0\), such that for all solutions W to (1.27),
where
We will give the proof of this Proposition in Sections 5.3.1-5.3.3.
5.3.1 \(J^1\)
Lemma 5.12
Assume that (BA:I.i-iii,v,vii,viii) hold, i.e. for some \(C_0>0\),
and moreover that (BA:I.iv,vi) hold,Footnote 42 i.e. for some \(C_0>0\),
Then,
where
and \(X_\Lambda ^1\), \(X_K^1\), \(X_{{\underline{\Xi }}}^1\), \(X_{\Xi }^1\), \(X_{{\underline{\Theta }}}^1\), \(X_{\Theta }^1\), are given by (5.31e), (5.41b), (5.42b), (5.43b), (5.44b), (5.45b), respectively, while \(Y_\Lambda ^1\), \(Y_K^1\), \(Y_{{\underline{\Xi }}}^1\), \(Y_{\Xi }^1\), \(Y_{{\underline{\Theta }}}^1\), \(Y_{\Theta }^1\), are given by (5.31f), (5.41d), (5.42d), (5.43d), (5.44d), (5.45d), respectively.
Proof
We use Lemma 5.10, and Lemma 14.1 in [8] as discussed above, to write out the null components of the current \({}^{(N)}J^1(W)\).
We begin with
In the first place we are only interested in terms whose factors are either j, or n, \({\underline{n}}\), and ignore all other terms with factors m, \({\underline{m}}\), and \({\hat{i}}\); thus in the following formula we set
By Lemma 5.10,
where we have used the Bianchi equations in the form of Prop. 5.7. We symmetrize the terms with coefficients in \({\underline{n}}\), and n, and use commutation Lemma 5.8 to obtain:
In this symmetrization, we have on one hand gained that the sum yields an additional positive term, while on the other hand by the Bianchi equations of Prop. 5.7 the difference leaves us with terms only involving angular derivatives:
Remark 5.13
With \(M_q\) as commutator the prefactor that appears in bold in (5.29c) would be different, and this term would fail to cancel with similar terms appearing in \({\tilde{\Lambda }}^2+\tilde{{\underline{\Lambda }}}^2\) discussed below. The cancellations that do occur with N — defined by (5.4) and expressed as in (5.12) — as a commutator are discussed in Section 5.3.3.
In the second instance we consider all terms with factors m, \({\underline{m}}\), and \({\hat{i}}\), and set
in the following formula:
where we used the Bianchi equations in the second step to eliminate \({\underline{D}}\beta _q\), \(D\beta _q\), \(D{\underline{\beta }}_q\), and \({\underline{D}}{\underline{\beta }}_q\) in terms of derivatives tangential to the spheres.
Let us employ here already that by Lemma 5.6,
to conclude
In particular we have the following contributions to the divergence (5.7):
Note here that
Further to the notation used in (5.31a), we have a quadratic error term
and a term which we do not estimate but rather keep in its precise form:
Finally we collect the following “borderline error terms” in
and call
In fact we can already estimate the quadratic error terms by:
Note here also that
Let us now turn to the remaining components:
and
where
In the first instance we set
In the second instance we set
but we shall not list these expressions here and instead collect all terms with factors m, \({\underline{m}}\), and \({\hat{i}}\), directly under the label \(R^1\), and \(Y^1\) below. In view of Lemma 5.10 the algebraic expressions for the null components of \(J^1\) involving factors in m, \({\underline{m}}\), and \({\hat{i}}\) can be read off verbatim from Lemma 14.1 in [8]. We employ immediately Prop. 5.7 to eliminate derivatives of W, W in null directions, DW, \({\underline{D}}W\) in favor of angular derivatives \(\nabla \!\!\!\!/W\). In the extreme cases where derivatives appear that cannot be directly eliminated using the Bianchi equations — such as \({\hat{{\underline{D}}}}{\underline{\alpha }}\) in \(\tilde{{\underline{\Xi }}}^1\) — we also use Lemma 5.8 to rewrite these in terms of \(\tilde{{\mathcal {L}}}_{N}W\):
In conclusion:
The full divergence, \({{\,\mathrm{div}\,}}Q[\tilde{{\mathcal {L}}}_{N}W](M_q,M_q,M_q)\), is given — according to (5.7) — by the sum of (5.31a), (5.41a), (5.42a), (5.43a), (5.44a), and (5.45a). After multiplying by \(\phi \), the sum of the “principal terms” — namely the first terms in each of the formulas — is bounded by
where on the right hand side n denotes the normal vector (4.74), and we used — the lower bound was already used in the prooof of Lemma 4.14 — that
Moreover, it then follows from (5.31h), (5.41c), (5.42c), (5.43c), (5.44c), and (5.45c) that
Similarly for the terms \(R_\Lambda ^1\), \(R_K^1\), \(R_{{\underline{\Xi }}}^1\), \(R_{\Xi }^1\), \(R_{{\underline{\Theta }}}^1\), \(R_{\Theta }^1\). \(\square \)
5.3.2 \(J^2\), and \(J^3\)
Here we analyse the currents \(J^2\), and \(J^3\). They contain “lower order” terms at the level of W, but also factors at the level of \(\nabla \pi \). We are interested in their precise structure to show cancellations with “lower order” terms from \(J^1\), and control the remainder with assumptions on \(\nabla \Gamma \).
Recall the notation
and also that we denote by d the 3-form
which has the algebraic properties of a Weyl current, and can be decomposed into the \(S_{u,v}\)-1-forms \({\underline{\Xi }}(d)\), \(\Xi (d)\), the functions \({\underline{\Lambda }}(d)\), \(\Lambda (d)\), \({\underline{K}}(d)\), K(d), and the \(S_{u,v}\) 2-forms \({\underline{\Theta }}(d)\), \(\Theta (d)\); cf. (12.51-61) in [8].
In order to control the derivatives of the deformation tensor of N we introduce the following assumptions:
Remark 5.14
In the context of the bootstrap argument the assumptions (BA:II) should be formulated in the \(\mathrm {L}^4(S_{u,v})\) norm, but we state them here for simplicity as \(\mathrm {L}^\infty \) assumptions. While the scaling and weights are identical to the appropriate assumptions in \(\mathrm {L}^4\), we will proceed here for convenience with estimating all quantities pointwise, as opposed to also considering integrations on \(S_{u,v}\).
Lemma 5.15
Assume that (BA:I.i-viii) hold for some \(C_0>0\). Then,
where
and \(X_\Lambda ^{2+3}\), \(X_K^{2+3}\), \(X_{{\underline{\Theta }}}^{2+3}\), \(X_{\Theta }^{2+3}\), are given by (5.54b), (5.55b), (5.57b), (5.56b), respectively, while \(Y_\Lambda ^{2+3}\), \(Y_K^{2+3}\), \(Y_{{\underline{\Theta }}}^{2+3}\), \(Y_{\Theta }^{2+3}\), are given by (5.54c), (5.55c), (5.57c), (5.56c), respectively.
Proof
For the null components of \({}^{(N)}J^2[W]\), we directly refer to (14.98) in [8]:
We do not write out the expressions for p at this point, due to cancellations with contributions from \(J^3\).
For the null components of \({}^{(N)}J^3[W]\) we have Lemma 14.2 in [8]:
Now most importantly,
where we used that
Moreover,
Note also,
Since
we obtain
Note now that by adding (5.51a) and (5.53) the term \(2(p_3+p_4)\rho \) cancels. Therefore — let us only write the \(\rho \) and \(\sigma \) terms in the following formula — we have:
For the following recall also that
In conclusion:
where
and
Here we used that
and similarly for \(q{\underline{D}}j\). Also,
and similarly for \(\nabla \!\!\!\!/{\underline{n}}\).
Analogously we conclude:
where
The terms \(Q_K^{2}\), \(Q_K^{2,4}\), \(Q_K^{3}\), \(Q_K^{3,4}\), are of a similar structure as \(Q_\Lambda ^{2}\), \(Q_\Lambda ^{2,4}\), \(Q_\Lambda ^{3}\), \(Q_\Lambda ^{3,4}\), respectively.
With regard of the \({\underline{\Theta }}\), and \(\Theta \) components, we compute:
and
Also,
Therefore
where
and
(Here \((p\!\!\!/\,-6I)'\) denotes the above expression for \(p\!\!\!/\,-6I\) without the border line terms included in \(Y_\Theta ^{2+3}\) above.)
Similarly,
\(\square \)
5.3.3 Proof of Prop. 5.11
The statement of Proposition 5.11 follows from Lemma 5.12 and Lemma 5.15. Indeed by adding (5.27) and (5.49) we obtain
and it remains to control
where \(X^1\), and \(Y^1\) are defined in Lemma 5.12, see (5.28), and where \(X^{2+3}\), \(Y^{2+3}\) are defined in Lemma 5.15, see (5.50). We will show that the terms in X essentially cancel, while the terms in Y are controlled by our assumptions.
Consider first
We have by (5.31e) and (5.54b) as well as (5.41b) and (5.55b) that
Thus
Moreover for
we have by (5.44b) and (5.57b) as well as (5.45b) and (5.56b) that
and thus
Similarly for \(X_{{\underline{\Xi }}}\) and \(X_{\Xi }\).
Let us now turn to the “borderline error terms” Y.Footnote 43 We consider first
which in view of (5.31f) and (5.54c) is given by
By (\({{\textbf {BA:I}}.iv}^\prime \)), (\({{\textbf {BA:I}}.vi}^\prime \)) and (\({\varvec{BA:II}}.i\)) we estimate
and thus
Next consider
By (5.45d) and (5.56c) as well as (5.44d) and (5.57c) we have
and thus
Similarly for \(Y_{{\underline{\Xi }}}\) and \(Y_{\Xi }\). \(\square \)
5.4 Integral inequality
We discuss briefly the implications of the integral inequality obtained with the help of Prop. 5.11. The remaining error terms — namely the terms involving angular derivatives in the second line of (5.47) — are the subject of Section 6, where it will be shown that after integration on \(\Sigma _r\) it is controlled by the same error terms already introduced in (5.23), and thus does not alter the following discussion.
5.4.1 Gronwall argument
Lemma 5.16
Suppose \(f:{\mathbb {R}}^+\rightarrow {\mathbb {R}}^+\) is a positive function that satisfies an integral inequality of the form
where \(C>0\) is a constant, \(h:{\mathbb {R}}^+\rightarrow {\mathbb {R}}\) an arbitrary function, and \(\kappa :{\mathbb {R}}^+\rightarrow {\mathbb {R}}^+\) is a positive function with the property that for some positive constants \(0<\kappa _0<\kappa _1<\infty \):
Assume moreover that for some \(K_1<\infty \), and \(H_1<\infty \):
Then for some constant C, depending on \(\kappa _1/\kappa _0\), \(K_1\), \(H_1\) and \(f(r_0)\), we have that for all \(r\ge 2r_0\):
Proof
With
we obtain from the integral inequality that
or
where K(r) is defined by (5.66) and we assume \(K\le K_1\) for some constant \(0<K_1<\infty \).
Then we may integrate in \(r_1\) on \([r_0,r_2]\)
This implies the following upper bound on f:
where H is defined in (5.66) and since \(H\le H_1<\infty \) is finite, the estimate for f follows. \(\square \)
Remark 5.17
(Application in Proof of Proposition 4.15) In Section 4.3 we have seen (5.64) to be true with
which implies the statement of Proposition 4.15,
because
Remark 5.18
(Application in Proof of Prop. 5.19) In Section 5.3 we show that (5.64) also holds for
Note that with these choices
and using (5.70),
Therefore \(r^{6}f(r)<\infty \) which is statement of Prop. 5.19 below.
5.4.2 Conclusions
We conclude this Section with the main estimate for the energy flux associated to the solution \(\tilde{{\mathcal {L}}}_{N}W\) of (5.6). The proof will also make use of the main estimate of Section 6.
Proposition 5.19
Assume (BA:I), (BA:II) and (BA:III.i,ii) hold for some \(C_0>0\). Then there exists a constant \(C>0\) so that for all solutions W to (1.27), we have
for all \(r\ge r_0\).
Proof
We apply the energy identity of Prop. 4.1 to the current \(P^q[\tilde{{\mathcal {L}}}_{N}W]\) on a domain (4.11). The “bulk term” contains on one hand
where we applied Lemma 4.14 — which is independent of the “Weyl field” and only an algebraic property of the compatible current \(P^q\) — and on the other hand the “divergence term”
and by our Prop. 5.11,
Let us now invoke (\({\varvec{BA:III}}.i\)), namely the assumption that \(\Omega \) and r are comparable. Then by Corollary 6.5 below — cf. (5.24) for the definition of \({P\!\!\!\!/\,}\), and Section 6 for the defintions of E, H —
Therefore
The energy
thus satisfies the integral inequality
where
Since also by Prop. 4.15, \(r^{6}f(r)\le C r_0^{6}f(r_0)\), the argument of Sections 5.4.1 applies, because here
and the statement of the Proposition follows. \(\square \)
6 Electromagnetic decomposition
The electromagnetic formalism is a decomposition of the Weyl curvature — and more generally of any “Weyl field” — into “electric” and “magnetic” parts relative to a space-like hypersurface \(\Sigma \).Footnote 44 The decomposition with respect to \(\Sigma _r\) — which we use in addition to the null decomposition of W introduced in Section 2.4 — occurs naturally in the redshift estimate of Sections 4.3, 5, and is also necessary to control the remaining error that we have seen in Section 5.3. The electromagnetic decomposition has been used in [10], which can serve as a reference for some of the results that we shall discuss.
In Section 6.1 we discuss the from of the Bianchi equations relative to the electromagnetic decomposition, in Section 6.2 its relation to the null decomposition, and in Section 6.3 an elliptic estimate for the resulting system on \(\Sigma _r\).
6.1 Bianchi equations
We consider a domain foliated by the spacelike level sets of the area radius r:
where each leaf \(\Sigma _r\) is diffeomorphic to a cylinder \({\mathbb {R}}\times {\mathbb {S}}^2\). We denote by n the time-like unit normal to \(\Sigma _r\), and by \(\phi \) the associated lapse function of the foliation, cf. Section 2.5.
The electromagnetic decomposition of a Weyl field W consists of a pair of symmetric trace-less \(\Sigma _r\)-tangent 2-tensors
we refer the reader to Section 4 of [9] for precise definitions — see in particular (4.4) therein — and for a more detailed discussion of this decomposition. In particular, we recall that E[W] and H[W] together completely determine the Weyl field W as can be seen from the formula (4.3) in [9]. Furthermore it follows directly from (4.22) in [9] that with E[W] and H[W] as defined in (6.2), and n given by (4.74), we have
Following Chapter 7.2 in [10] we will derive that E, and H, satisfy — in the frame discussed in Section 2.5 — the following equations:
where \(\widehat{{\mathcal {L}}_nH}_{ij}={\mathcal {L}}_nH_{ij}+\frac{2}{3}(k\cdot H){{\overline{g}}_{}}_{ij}\), k is the second fundamental form of \(\Sigma _r\), ‘\(\times \)’ is the product defined in (4.4.17) in [10] and ‘\(\wedge \)’ in (7.2.2e-) therein. More explicitly, (6.4b) can also be expressed as:
Note that, cf. (7.2.2) in [10],
The equations (6.4a) and (6.4c) then follow directly by taking the trace and using (2.31). MoreoverFootnote 45
From (7.2.2f):
This yields (6.4e), and thus (6.4b). Similarly for (6.4d).
6.2 Relation to null decomposition
In this Section we discuss the relation between the electromagnetic and null decompositions. In particular, when (6.4) is viewed as a Hodge system on \(\Sigma _r\),
we establish that the “source terms” coincide — including the lower order terms — with components of the modified Lie derivative \(\tilde{{\mathcal {L}}}_{N}W\). This is a non-trivial consequence of our choice of N in (5.4), and is important for the application of the elliptic estimate of Section 6.3.
Recall first
and also define
then
We record, cf. (7.3.3e) in [10],
We now compare the components of \(\widehat{{\mathcal {L}}_nE}\), \(\widehat{{\mathcal {L}}_nH}\) to the null components of the modified Lie derivative of W with respect to \( N=\Omega n\).
Lemma 6.1
For any Weyl field W decomposed into electric and magnetic parts E, and H with respect to the normal n, we have the following relations to the null decomposition of \(\tilde{{\mathcal {L}}}_{N}W\) where \(N=\Omega n\):
Similarly for the magnetic part H.
Proof
Note first
Define
then
Moreover
because
Thus
and by Lemma 4.4.2 in [10]
Finally since
we have
and thus
Therefore
and in comparison to Lemma 5.8:
\(\square \)
Also note that
contains no terms linear in \(q{{\,\mathrm{tr}\,}}{\underline{\chi }}\), \(q^{-1}{{\,\mathrm{tr}\,}}\chi \) due to the antisymmetry of the product. Similarly for the other components.
6.3 Elliptic estimate for Maxwell system
We quote the following result from Section 4.4 in [10] for symmetric Hodge systems.
Lemma 6.2
(Corollary 4.4.2.1 in [10]) Let E and H be symmetric traceless tensors on a 3-dimensional Riemannian manifold \((\Sigma ,{\overline{g}}_{})\) which satisfy the system (6.7). Then there is a constant \(C>0\) such that
Here we will make for simplicity an assumption directly on the Ricci curvature of \(\Sigma _r\):
We note however that in view of the Gauss equations of the embedding of \(\Sigma _r\) in \(({\mathcal {D}},g)\) we can reduce this condition to an assumption on the scalar curvature of \(\Sigma _r\).
Lemma 6.3
Suppose \((\Sigma ,{\overline{g}}_{r})\) is embedded as a spacelike hypersurface in \(({\mathcal {M}},g)\), which is a solution to (1.1). Assume (BA:I.ii,iv-vii) hold for some \(C_0>0\). Then there is a constant \(C>0\),
Remark 6.4
While this estimate shows that the assumption (\({{\varvec{BA:III}}:ii}\)) is consistent with (\({\varvec{BA:III}}.i\)), and the decay properties of the Weyl curvature, we point out that the assumption (\({{\varvec{BA:III}}:ii}\)) is not redundant in the context of the assumptions we have already made. In fact, to retrieve (\({{\varvec{BA:III}}:ii}\)) directly from the assumptions on the null second fundamental form we would have to make the stronger assumption that
which reflects the behavior in (Schwarzschild-)de Sitter, but goes beyond the assumptions already made in (\({{\varvec{BA:I}}.ii}\)).
Proof
Recall the Gauss equation
From the Einstein equations
and with (2.5)
Then using the formulas obtained in the proof of Lemma 6.1,
we have
Now the Gauss equation tells us
so we can write
Since
the result follows from
\(\square \)
Corollary 6.5
Let W be a solution to (1.27), and E and H the electric and magnetic parts of W relative to \(\Sigma _r\). Assume (BA:I,ii,iv-vi) and (\({{\varvec{BA:III}}:ii}\)) hold for some \(C_0>0\). Then
Proof
Since W solves the Bianchi equations, E, and H solve (6.7) — cf. (6.4) — with
By Lemma 6.1, and the assumptions (\({{\varvec{BA:I}},ii,iv-vi}\)) we have
Moreover by (6.11), and the assumptions (\({{\varvec{BA:I}},ii,iv-vi}\)),
The statement of the Corollary then follows immediately from Lemma 6.2, and (6.9). \(\square \)
7 Sobolev inequalties
We will prove a Sobolev trace inequality on the spacelike hypersurfaces \(\Sigma _r\) to relate the bounds on the energy fluxes obtained in Sections 4-5 to \(\mathrm {L}^p\) estimates on the spheres.
7.1 Preliminaries
Here \((\Sigma _r,{\overline{g}}_{r})\) are 3-dimensional Riemannian manifolds diffeomorphic to a cylinder \({\mathbb {R}}\times {\mathbb {S}}^2\), and there exists a differentiable function \(u:\Sigma _r\rightarrow {\mathbb {R}}\), namely the restriction of the null coordinate u to \(\Sigma _r\), such that the level sets of \(u|_{\Sigma _r}\) are spheres \(S_{u,r}\) diffeomorphic to \({\mathbb {S}}^2\), and u has no critical points. In fact, in Lemma 2.2 we proven that the metric on \(\Sigma _r\) in \((u,\vartheta ^1,\vartheta ^2)\) coordinates, takes the canonical form
We also found that the volume form is given by
The “lapse function” of the foliation of \(\Sigma _r\) by spheres \(S_u:=S_{u,r}\) is thus given by
Recall that in Section 6.2 we introduced X as the unit tangent vector to \(\Sigma _r\), orthogonal to \(S_u\). Thus we have \(aX f=\partial _u f\), for any function \(f(u,\vartheta ^1,\vartheta ^2)\) on \(\Sigma _r\). We denote by \(\theta \) the second fundamental form of the surfaces \(S_u\) embedded in \(\Sigma _r\). Viewed as a tensor on \(\Sigma _r\) we can write
where \(\Pi \) denotes the projection to the tangent space of \(S_u\), and thus
because \({\overline{\nabla }}_X X=-\nabla \!\!\!\!/\log a\). Therefore
We also have the first variational formula
which gives
Consequently,
and more generally, for any function f,
Remark 7.1
In the spherically symmetric setting, \(\det g\!\!\!/= r^4\) is constant on \(\Sigma _r\), leading to the vanishing of the mean curvature \({{\,\mathrm{tr}\,}}\theta =0\). Thus it cannot be expected that in the present setting \({{\,\mathrm{tr}\,}}\theta \) has a sign.
7.2 Isoperimetric Sobolev Inequalities
We can adapt the proof of the following Sobolev inequality of Proposition 3.2.1 in [10]. There the geometric setting is different, the manifold \(\Sigma \) being diffeomorphic to \({\mathbb {R}}^3\), and u being a radial function whose level sets have positive mean curvature. However, as already remarked there, the proof carries over more generally, if the constant is allowed to depend on the mean curvature. Here we require that
Since
the assumption amounts to
which follows from (\({{\varvec{BA:I}}:vii,viii}\)); in fact (\({{\textbf {BA:I}}.viii}_w\)) is weaker than (\({{\varvec{BA:I}}:viii}\)).
Furthermore we will assume that the lapse function of the foliation of \(\Sigma _r\) by level sets of u is bounded above and below:
The Sobolev inequality on \(\Sigma _r\) stated below relies on the isoperimetric inequalities on the spheres \(S_u\), and we thus need some control on the isoperimetric constant I(u) of each sphere \(S_u\):
Remark 7.2
We note here that in the context of the recovery of the assumptions \(({\textbf {BA}})\), the bounds on the isoperimetric constants of \(S_{u,v}\) are derived from corresponding assumptions on the initial data — which imply that the isoperimetric constants of the spheres foliating \({\mathcal {C}}\cup \overline{{\mathcal {C}}}\) are bounded — and the validity of the assumptions \(({\textbf {BA:I}})\). We refer the reader to Lemma 6.1 in [39], where (\({\varvec{BA:III}}{} .iv \)) is derived in a simplified setting from (\({\varvec{BA:I}}.iii\)) using Lemma 5.12 in [39]. The role of the isoperimetric constants of \(S_{u,v}\) is also discussed more broadly in Chapter 5.2 in [8].
Lemma 7.3
Assume (BA:III.iii,iv) hold. Moreover assume (\({{\textbf {BA:I}}.viii}_w\)) for some \(C_0>0\). Then for any \(S_u\)-tangent tensorfield \(\theta \) we have
where C depends on \(a_M/a_m\), I, and
Proof
Recall the isoperimetric inequality on the sphere:
Apply to \(\Phi =|\theta |^3\) to obtain
and therefore:
Now by the divergence theorem onFootnote 46
we obtain
where we used (7.5) and
Inserting this above yields (7.10a):
Finally inserting this again above then also yields (7.10b):
\(\square \)
See also Chapter 2 in [10] for a broader discussion.
7.3 Applications
Let \(\theta \) be any of the null components of the Weyl curvature W:
Note then \(\theta \) is a function, or a 1-, or 2-covariant tensorfield on \(S_{u}\). Consider the dimensionless \(\mathrm {L}^4\) normFootnote 47 of \(\theta \) on a sphere \(S_u\):
Let us now assume the validity of all “bootstrap assumptions” (BA:I-III). Then by the Sobolev inequality of Lemma 7.3 above
Moreover by Corollary 6.5 in view of (\({\varvec{BA:III}}.i\))
Finally by the main results of Proposition 5.19
which implies
This concludes the proof of the theorem.
Change history
28 August 2022
Missing Open Access funding information has been added in the Funding Note
Notes
The equations (1.1) in its more general form including sources of matter can be thought of as a general relativistic version of the classical analogue \(\triangle \psi -\Lambda \psi =4\pi \rho \), namely a modification of Newton’s law which Einstein considered to model homogeneous mass densities \(\rho \) in space [18].
In particular our choice of gauge is informed by the behavior of solutions to the eikonal equation on de Sitter spacetime; see [39].
Here we simply mean that given any two time-like geodesics \(\Gamma _1\), \(\Gamma _2\) in \({\mathcal {R}}^+\) (with different “end points” on \({\mathcal {I}}^+\)) parametrized by arc length, we can find proper times \(s_1\), and \(s_2\) such that the causal futures of \(\Gamma _1(s_1)\) and \(\Gamma _2(s_2)\) have empty intersection.
Here \({\mathcal {I}}^+\) can be identified with the endpoints all outgoing null geodesics from \({\mathcal {S}}\) along which \(r\rightarrow \infty \), and is thus still referred to as null infinity. It being spacelike (as a surface in a suitably extended space-time) marks an important difference to the asymptotically flat setting, and is prototypical for \(\Lambda >0\).
It is expected that the analysis in [12] (adapted to the \(\Lambda >0\) setting) can be combined with the results of [27] to prove the \(C^0\)-stability of the interior up to the Cauchy horizon, and to disprove unconditionally the \(C^0\)-formulation of strong cosmic censorship. However it is an open question to understand in which sense strong cosmic censorship may hold in this setting; see Section 1.6 in [12].
Here \({\mathcal {S}}\) is of course not defined with the help of \({\mathcal {I}}^+\), but instead found dynamically as the stationary region of the Kerr de Sitter geometry that the solution asymptotes to, and the solution is controlled in a slightly larger domain, as indicated in Fig. 3.
Strictly speaking [27] does not construct the cosmological horizon as a null hypersurface, but this is a minor point given that one expects to obtain \({\mathcal {C}}\) in their setting by an application of the stable manifold theorem.
In any case, in this paper — in particular in the main theorem of Section 1.3 — we actually do not use the exponential decay along the cosmological horizons. While the results in this paper hold under broader assumptions, one could impose these stronger assumptions to derive the behaviour of all geometric quantities not only in r(u, v) but also track the behaviour as a function of “retarded time” u; see Section 1.1 for definitions. The detailed analysis of the characteristic constraint equations under the exponential decay assumption, and the investigation of finer asymptotics towards \(\iota ^+\) are not included in this paper; see also Remark 1.5 below.
As we shall see the geometry is expected to be asymptotically de Sitter locally in the past of any time-like geodesic, however it cannot be expected to agree globally. Indeed the stability results in Appendix C of [27] for the static model of de Sitter space are of a local nature, in the sense that they apply to the past of a point \(p\in {\mathbb {S}}^3\) on the future boundary. If the cosmological region of the Kerr de Sitter solution is stable then we could choose a point \(p\in {\mathcal {I}}^+\), and find than in a suitable small neighborhood of p as depicted in Figure 4 the past of p is a perturbation of the static region of de Sitter spacetime, to which Theorem C.4 in [27] applies. However, convergence of the metric to de Sitter as the point p on the future boundary is approached can only be achieved in a gauge that depends on p. In fact, their proof proceeds in by an iteration scheme which eliminates growing modes of the linearised equations by a suitable gauge choice which depends on the solution in the past of p. This behaviour of the solutions at late times observed locally also runs under the name of “cosmic no-hair”, and has been proven in spherical symmetry in [11].
In general a spacelike hypersurface is conformally flat if the Bach tensor B vanishes identically, where B is related to the magnetic part of the ambient Weyl curvature W; see Appendix A. Here future null infinity \({\mathcal {I}}^+\) is a not an embedded hypersurface but rather the boundary of a conformally changed spacetime, and the statement that \({\mathcal {I}}^+\) is conformally flat refers to the vanishing of the Bach tensor of the rescaled Weyl curvature \(r^3 W\). Thus the conformal flatness of \({\mathcal {I}}^+\) is related to the vanishing of certain components of the rescaled Weyl curvature, and our setting is compatible with all components of \(r^3 W\) to be supported, and \({\mathcal {I}}^+\) not to be conformally flat.
The “functional degrees of freedom at infinity” referred to here already appear in the context of Friedrich’s proof of the stability of de Sitter spacetime [20], and are precisely captured by the free data for the “conformal constraint equations”. In Section 2.3 of [21] it is pointed out that Friedrich’s conformal constraint equations reduce to \({\tilde{\nabla }}\cdot D=0\), where D is the electric part of the rescaled conformal Weyl curvature, and \({\tilde{\nabla }}\) is the connection associated the intrinsic metric on \(({\mathcal {I}}^+,h)\); see also Section 6 for the definition of electromagnetic decomposition. The statement that \({\mathcal {I}}^+\) is not intrinsically locally conformally flat is here naturally related to the non-vanishing of the Cotton tensor of the metric h; cf. the discussion of the related Bach tensor in Appendix A..
de Sitter space is in fact conformally flat. The passing from R to W can thus be thought of as a renormalisation of the curvature by its de Sitter values. Note also that for \(\Lambda =0\) the Weyl and Riemann curvature coincide, and thus play a notably different role only in the cosmological setting.
Connection coefficients are on the level of one derivative of the metric. Alternatively these assumptions can be thought of as conditions on the geometric properties of a chosen foliation, or as conditions on the deformation tensors of a number of relevant vectorfields.
In a simplified setting this is precisely what is achieved in [39]. Therein a global double null foliation of de Sitter spacetime — namely under the assumption that the Weyl curvature vanishes identically — is constructed by a suitable choice of spheres on a bifurcate null hypersurface.
Characteristic initial data will in particular be prescribed such that along the cosmological horizons the geometry converges exponentially fast to the geometry induced by Kerr de Sitter. The detailed geometric setup is not discussed in this paper. For a general discussion of characteristic initial data we refer to Chapter 2 in [8].
Interestingly, in a different context, namely in the study of relativistic compressible fluids, a similar issue appears for the characterisation of the “singular hypersurface” in the formation of shocks; see Chapter 15 in [7].
Essentially, any assumption that requires the smallness of the deviation of a quantity \(f(u,v,\vartheta ^1,\vartheta ^2)\) from its average \({\overline{f}}(u,v)\) on the sphere \(S_{u,v}\) cannot be satisfied if the area radius of \(S_{u,v}\) diverges while a subset of points \(q\in S_{u,v}\) remain in the spacetime.
The coordinates \((\vartheta ^1,\vartheta ^2)\) are chosen arbitrarily on a domain of \(S={\mathcal {C}}\cap \overline{{\mathcal {C}}}\), and then transported first along the null geodesics generating \(\overline{{\mathcal {C}}}\), and then those of \({\underline{C}}_v\).
Here we choose for simplicity coordinates on \(\Sigma _r\) which are transported along the normal geodesics, which justifies the absence of a shift term.
In Section 4 we will consider the “energy flux” of the Weyl curvature through \(\Sigma _r\), and the form (1.24) is particularly well adapted to the application of the co-area formula for integration on domains foliated by \(\Sigma _r\). Also the Sobolev inequality of Section 7 is applied on the manifold \(\Sigma _r\).
In Schwarzschild de Sitter there is really only one non-vanishing component of the Weyl curvature. In this result all components of the Weyl curvature are on an equal footing, and at present there is no indication of any “peeling” behavior. This is consistent with the expectations formulated in [3], and we will revisit this point in Section 6 in the context of the electro-magnetic decomposition of the Weyl curvature.
This is an insight gained in [4], which has provided a significant simplification of the original proof of the non-linear stability of Minkowski space in [10]. It eliminates in particular the need to work with second derivatives of the curvature, but comes of course at the cost of less refined asymptotics; see [4] and discussion therein.
Further to the discussion of the conformal constraint equations in footnote 10, we remark that the present results are at the level of \(D\in \mathrm {H^1({\mathcal {I}}^+)}\). Note however that the Theorem holds under minimal regularity assumptions on \(\Omega \), which plays the role of the conformal factor. In view of Sections 2.2 & 7.3 in [39] we expect to close the estimates with \(\Omega \), \(D\Omega \), \({\underline{D}}\Omega \) merely in \(\mathrm {W}_2^4(S_{u,v})\).
The assumption that both null expansions are positive fails in \({\mathcal {S}}\), where \({{\,\mathrm{tr}\,}}{\underline{\chi }}<0\). Similarly in the study of asymptotically flat black hole exteriors, with \(\Lambda =0\), one has \({{\,\mathrm{tr}\,}}{\underline{\chi }}<0\). In these settings the construction of positive currents is much more subtle, and in particular sensitive to the presence of “trapped” null geodesics; see [14] and references therein.
Much like the redshift observed in black hole spacetimes, the effect is due to the presence of horizons: An observer A who stays away from a black hole perceives a signal sent from an observer B who crosses the event horizon as redshifted, because B leaves the past of A in finite proper time; see e.g. [13]. In the cosmological region, where all observers are drifting away from each other (due to the expansion of space), each observer has its own cosmological horizon, which all other observers (in his past) cross in finite proper time. This effect is already present in the de Sitter cosmology, where each time-like geodesic has a cosmological horizon with positive surface gravity; see [38, 39].
This is an idea due to Dafermos and Rodnianski that already appeared in the study of the linear wave equation on Schwarzschild spacetimes, related to the redshift effect on the event horizon; see [13]. Similarly to Theorem 3.2 therein one might also consider multiple commutations by N, with the aim of obtaining \({\overline{\nabla }}^k W\in \mathrm {L}^2(\Sigma _r)\), but in view of the complexity that we encounter already at the level of one commutation — see Section 5 — we do not expect that a “higher order global redshift effect” can be established easily. Note that a second commutation by N, and a suitable version of (1.45) for \({\tilde{{\mathcal {L}}}}_N^2 W\), would give pointwise estimates for \(W\in \mathrm {L}^\infty \).
The cancellations occur as a result of a delicate choice of the commutation vectorfield N, rather than particularly strict geometric assumptions. In other words, if the spacetime satisfies the assumptions (BA:I,II) introduced below (see also Appendix B) then a commutator can be construced as in Section 5, and thus the cancellations are stable within this class of spacetimes.
In problems where this circle of ideas — the treatment of Bianchi equations using energies constructed from the Bel-Robinson tensor — has been applied, these terms are usually treated as “error terms”. Notably for the “stability of Minkowski space” they have only been written out schematically in Chapter 8 in [10]. Although they are also treated as error terms in proof of the “formation of black holes” in [8], their precise nature, and “scaling”, is much more important therein, and we take great advantage in this paper of the fact that at least in special cases precise algebraic expressions for the “divergence terms” have already been provided in Chapter 12-14 in [8].
The analysis of these systems has been developed in some generality in Chapter 2-4 of [10].
This in turn is motivated by the insight that some of the main difficulties in obtaining a global double null foliation with the desired properties already occur in de Sitter space, and are less related to the specific decay properties of the Weyl curvature.
This restriction is of some interest for the full problem, too: While in the formulation of page 5 non-trivial data is posed on both cosmological horizons (and this is certainly the relevant setting for the non-linear stability problem) the physically relevant setting — namely the specific setting in which physical meaning can be ascribed to the asymptotic quantities — is the special case when a no incoming radiation condition is imposed on \(\overline{{\mathcal {C}}}^+\); see also [1].
We already see that the Weyl curvature on the right hand side is not the slowest decaying term.
While the result is very relevant for this paper, the ideas of their proof are entirely different: In the stationary region \({\mathcal {S}}\) a “resonance expansion” is available for solutions to the linearized equations, and the authors succeed in relating all growing modes to pure gauge solutions; cf. Section 4 in [27].
The author is not aware of paper where this procedure is carried out in detail, but one would expect that the outlined truncation/gluing steps can be achieved using known techniques; see e.g. [5].
Albeit in [36] a constant mean curvature gauge is used “to synchronize the singularity”, while in this work we rely on a double null gauge to “parametrize null infinity”.
Note the frame is not “Fermi transported”.
For a broader discussion of non-spherically symmetric foliations in this setting see [39].
We caution that this frame is not regular on the horizon, so the values of \({{\,\mathrm{tr}\,}}\chi \), and \({{\,\mathrm{tr}\,}}\chi \) have no meaning on \({\mathcal {C}}\cup \overline{{\mathcal {C}}}\).
One reason to expect that this vectorfield produces the correct lower order terms can already be inferred without computing the terms in (5.3): The modified Lie derivative is an expression of the form (5.5). Given control on \(\tilde{{\mathcal {L}}}_{N}W\), we only obtain control on all tangential derivatives by the elliptic estimate of Section 6, if the lower order term in the expression for \(\tilde{{\mathcal {L}}}_{N}W\) match precisely the lower order terms in the “Maxwell equations” (6.4) of the electro-magnetic decomposition on \(\Sigma _r\), cf. Lemma 6.1. This gives a condition on \({{\,\mathrm{tr}\,}}{}^{(N)}\pi \) which can motivate the rescaling by \(\Omega ^2\) in (5.4).
Note specifically that this Lemma does not require the stricter version (\({{\varvec{BA:I}}}.iv^{\prime },vi^{\prime }\)) to hold.
One may think of the resulting fields as electric and magnetic parts in the frame of reference of an observer with 4-velocity n, the normal to \(\Sigma \).
This formula differs from (7.2.2h) in [10] because \(\Sigma _r\) is not maximal, and the frame not Fermi transported.
We can think of the cylinder \(\Sigma \) being divided in two components by \(S_u\), \(\Sigma _u\) being one component, a 3-dimensional manifold with boundary \(S_u\).
These norms will play a prominent role in the “recovery” of the assumptions (BA), see already Section 7 in [39]. Here they are introduced for convenience, but they also provide the correct “scaling” in comparison to the \(\mathrm {L}^\infty (S_{u,v})\) norm, in the sense that under suitable assumptions the following Sobolev inequality holds for any S-tangent tensorfield \(\xi \):
$$\begin{aligned} \Vert \xi \Vert _{L^\infty (S)}\lesssim \Vert \!\!\!\!-\xi \Vert \!\!\!\!-_{\mathrm {L}^{4}(S)}+\Vert \!\!\!\!-r\nabla \!\!\!\!/\xi \Vert \!\!\!\!-_{\mathrm {L}^{4}(S)}\end{aligned}$$(7.13)In particular, if the right hand side decays as a function of r(S), then \(\xi \) decays in \(\mathrm {L}^\infty (S)\) at the same rate. We refer the reader to Section 6 of [39] for the proof of this inequality in the current setting, and to Chapter 5 in [8] for Sobolev inequalities on spheres more generally.
In fact, we expect that future null infinity is intrinsically not conformally flat. This statement is stronger, and relates to the precise decay rate of the magnetic part, and can only be proven in the context of a suitable conformal completion, which we do not discuss here.
In general if \(\theta \) is a symmetric 2-covariant tensorfield in a 3-dimensional manifold \((\Sigma ,{\overline{g}}_{})\) the symmetric curl of \(\theta \) is defined by:
$$\begin{aligned} ({{\,\mathrm{curl}\,}}{\theta })_{ij}=\frac{1}{2}\Bigl (\epsilon _i^{ab}{\overline{\nabla }}_a\theta _{bj}+\epsilon _j^{ab}{\overline{\nabla }}_a\theta _{bi}\Bigr ) \end{aligned}$$where \({\overline{\nabla }}\) is the covariant derivative of \({\overline{g}}_{}\) and \(\epsilon \) is the volume form of \({\overline{g}}_{}\), and indices are raised with respect to \({\overline{g}}_{}\).
References
Ashtekar, A., Bonga, B., Kesavan, A.: Asymptotics with a positive cosmological constant: I. Basic framework, Classical Quantum Gravity 32(2):025004, 41 (2015)
Ashtekar, A., Bonga, B., Kesavan, A.: Asymptotics with a positive cosmological constant. II. Linear fields on de Sitter spacetime, Phys. Rev. D 92(4), 044011, 14 (2015)
Ashtekar, A., Bonga, B., Kesavan, A.: Gravitational waves from isolated systems: Surprising consequences of a positive cosmological constant. Phys. Rev. Lett. 116, 051101 (2016)
Bieri, L., Zipser, N.: Extensions of the Stability Theorem of the Minkowski Space in General Relativity, AMS/IP Studies in Advanced Mathematics, vol. 45. American Mathematical Society/International Press, Providence, Cambridge (2009)
Choquet-Bruhat, Y., Isenberg, J., Pollack, D.: The constraint equations for the Einstein-scalar field system on compact manifolds. Class. Quant. Gravity 24(4), 809–828 (2007)
Christodoulou, D.: Notes on the geometry of null hypersurfaces (1991)
Christodoulou, D.: The formation of shocks in 3-dimensional fluids, EMS Monographs in Mathematics. European Mathematical Society (EMS), Zürich (2007)
Christodoulou, D.: The formation of black holes in general relativity, EMS Monographs in Mathematics. European Mathematical Society (EMS), Zürich (2009)
Christodoulou, D., Klainerman, S.: Asymptotic properties of linear field equations in Minkowski space. Commun. Pure Appl. Math. 43(2), 137–199 (1990)
Christodoulou, D., Klainerman, S.: The Global Nonlinear Stability of the Minkowski Space, Princeton Mathematical Series, vol. 41. Princeton University Press, Princeton (1993)
Costa, J.L., Natário, J., Oliveira, P.: Cosmic no-hair in spherically symmetric black hole spacetimes. Ann. Henri Poincaré 20(9), 3059–3090 (2019)
Dafermos, M., Luk, J.: The interior of dynamical vacuum black holes i: The c0-stability of the kerr cauchy horizon, arXiv:1710.01722 [gr-qc] (2017)
Dafermos, M., Rodnianski, I.: Lectures on Black Holes and Linear Waves, Evolution Equations, Clay Math. Proc, vol. 17, pp. 97–205. Amer. Math. Soc., Providence (2013)
Dafermos, M., Holzegel, G., Rodnianski, I.: The linear stability of the Schwarzschild solution to gravitational perturbations, arXiv:1601.06467, (2016)
de Sitter, W.: On Einstein’s theory of gravitation and its astronomical consequences. Mon. Not. R. Astron. Soc. 77, 155–184 (1917)
Dyatlov, S.: Exponential energy decay for Kerr-de Sitter black holes beyond event horizons. Math. Res. Lett. 18(5), 1023–1035 (2011)
Dyatlov, S.: Quasi-normal modes and exponential energy decay for the Kerr-de Sitter black hole. Commun. Math. Phys. 306(1), 119–163 (2011)
Einstein, A.: Kosmologische Betrachtungen zur allgemeinen Relativitätstheorie, Sitzungsberichte der Preußischen Akad. d. Wissenschaften, 142–152 (1917), http://einsteinpapers.press.princeton.edu/vol6-doc/568
Fefferman, C., Robin Graham, C.: Conformal invariants, no. Numéro Hors Série, 1985, The mathematical heritage of Élie Cartan (Lyon, 1984), pp. 95–116
Friedrich, H.: On the existence of \(n\)-geodesically complete or future complete solutions of Einstein’s field equations with smooth asymptotic structure. Commun. Math. Phys. 107(4), 587–609 (1986)
Gasperín, E., Valiente Kroon, J.A.: Perturbations of the asymptotic region of the Schwarzschild-de Sitter spacetime. Ann. Henri Poincaré 18(5), 1519–1591 (2017)
Gibbons, G.W., Hawking, S.W.: Cosmological event horizons, thermodynamics, and particle creation. Phys. Rev. D 15(10), 2738–2751 (1977)
Hadžić, M., Speck, J.: The global future stability of the FLRW solutions to the dust-Einstein system with a positive cosmological constant. J. Hyperbolic Differ. Equ. 12(1), 87–188 (2015)
Hintz, P.: Global analysis of quasilinear wave equations on asymptotically de Sitter spaces. Ann. Inst. Fourier (Grenoble) 66(4), 1285–1408 (2016)
Hintz, P., Vasy, A.: Non-trapping estimates near normally hyperbolic trapping. Math. Res. Lett. 21(6), 1277–1304 (2014)
Hintz, P., Vasy, A.: Global analysis of quasilinear wave equations on asymptotically kerr-de sitter spaces. Int. Math. Res. Not. 2016(17), 5355–5426 (2016)
Hintz, P., Vasy, A.: The global non-linear stability of the Kerr-de Sitter family of black holes. Acta Math. 220(1), 1–206 (2018)
Klainerman, S., Szeftel, J.: Effective results on uniformization and intrinsic gcm spheres in perturbations of kerr (2019)
Kottler, F.: Über die physikalischen Grundlagen der Einsteinschen Gravitationstheorie. Ann. Phys. 56, 401–462 (1918)
Lemaître, G.: Un univers homogène de masse constante et de rayon croissant, redant compte de la vitesse radiale des nébuleuses extra-galactiques. Ann. Soc. Sci. Bruxelles 47(A), 49–59 (1927)
Nussbaumer, H., Bieri, L.: Discovering the Expanding Universe. Cambridge University Press, Cambridge (2009)
Rendall, A.D.: Asymptotics of solutions of the Einstein equations with positive cosmological constant. Ann. Henri Poincaré 5(6), 1041–1064 (2004)
Ringström, H.: Future stability of the Einstein-non-linear scalar field system. Invent. Math. 173(1), 123–208 (2008)
Rodnianski, I., Speck, J.: The nonlinear future stability of the FLRW family of solutions to the irrotational Euler-Einstein system with a positive cosmological constant. J. Eur. Math. Soc. (JEMS) 15(6), 2369–2462 (2013)
Rodnianski, I., Speck, J.: A regime of linear stability for the Einstein-scalar field system with applications to nonlinear big bang formation. Ann. Math. (2) 187(1), 65–156 (2018)
Rodnianski, I., Speck, J.: Stable big bang formation in near-FLRW solutions to the Einstein-scalar field and Einstein-stiff fluid systems. Selecta Math. (N.S.) 24(5), 4293–4459 (2018)
Schlue, V.: General relativity, Lecture notes, available at https://blogs.unimelb.edu.au/volker-schlue/home-page/teaching/ (2014)
Schlue, V.: Global results for linear waves on expanding Kerr and Schwarzschild de Sitter cosmologies. Commun. Math. Phys. 334(2), 977–1023 (2015)
Schlue, V.: Optical functions in de Sitter, J. Math. Phys. 62(8), Paper No. 082501, 67 (2021)
Speck, J.: The nonlinear future stability of the FLRW family of solutions to the Euler-Einstein system with a positive cosmological constant. Selecta Math. (N.S.) 18(3), 633–715 (2012)
Speck, J.: The stabilizing effect of spacetime expansion on relativistic fluids with sharp results for the radiation equation of state. Arch. Ration. Mech. Anal. 210(2), 535–579 (2013)
Vasy, A.: Microlocal analysis of asymptotically hyperbolic and Kerr-de Sitter spaces (with an appendix by Semyon Dyatlov). Invent. Math. 194(2), 381–513 (2013)
Weyl, H.: Über die statischen kugelsymmetrischen Lösungen von Einsteins kosmologischen Gravitationsgleichungen. Phys. Z. 20, 31–34 (1919)
Acknowledgements
I would like to thank Mihalis Dafermos for drawing my attention to this problem during my Ph.D. and for his continued encouragement and support. I would also like to thank Abhay Ashtekar, and Lydia Bieri for many stimulating discussions at a conference at the Tsinghua Sanya International Mathematics Forum, China, in January 2016 and Gustav Holzegel for several useful comments following a talk at Imperial College London in May 2016. The author gratefully acknowledges the support of ERC consolidator Grant 725589 EPGR, ERC advanced grant 291214 BLOWDISOL, in the years 2016-18, as well as the support of the Fondation Sciences Mathématiques de Paris in 2015/16.
Funding
Open Access funding enabled and organized by CAUL and its Member Institutions.
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
Conformal geometry
In this appendix we recall a relationship between the Weyl curvature of the ambient spacetime \(({\mathcal {M}},g)\) and the intrinsic conformal geometry of \(\Sigma _r\). More precisely we recall that the Bach tensor — which provides a local characterisation of conformal flatness — of \(\Sigma _r\) is related to the magnetic part of the Weyl curvature. The fact that in our main theorem all components of the Weyl curvature are on equal footing — in particular that the magnetic part decays at the same rate as the electric part indicates that in general \(\Sigma _r\) is not conformally flat.Footnote 48
Recall the Bach tensor of a 3-dimensional Riemannian manifold \((\Sigma ,{\overline{g}}_{})\):
here \({\hat{S}}\) is the trace-free part of the Ricci curvature S of \(\Sigma \),
and \({{\,\mathrm{curl}\,}}\) denotes the symmetric curl.Footnote 49
The fundamental property of B is that its vanishing locally identifies conformal flatness.
Here we will prove a formula that relates B to the magnetic part of the ambient Weyl curvature W relative to \(\Sigma _r\):
Proposition A.1
Let B be the Bach tensor of \((\Sigma _r,{\overline{g}}_{r})\), and \((\Sigma _r,{\overline{g}}_{r},k)\) be a hypersurface in (M, g), which satisfies the Einstein equations \({{\,\mathrm{Ric}\,}}(g)=\Lambda g\). Then B is given in terms of H by
We recall the Gauss-Codazzi equations of the embedding of \(\Sigma _r\subset {\mathcal {M}}\), and express the curvature that appears on the right hand sides of (2.70a) and (2.71) in terms of the electric and magnetic parts E, H of the ambient Weyl curvature W:
We can now relate the Bach tensor B of \(\Sigma _r\) to the Weyl curvature W of the ambient spacetime; here we always denote
Lemma A.2
The traceless part of the Ricci curvature of \(\Sigma _r\subset {\mathcal {M}}\) is given by
Proof
We have already seen in (2.71) that the Codazzi equations read
and
by the Einstein equations, and thus
We have also seen in (6.2) that the electric part of the Weyl curvature relates to the relevant component of the Riemann curvature in view of (2.5) as follows:
Therefore
which yields the formula of the Lemma, in view of the fact
\(\square \)
For the curl of \({\hat{S}}\) we then have
and it remains to calculate the curl of
Since
we obtain
Note that the Codazzi equation (A.4) implies that
or alternatively for the trace-free parts
which then implies that
where we introduced the notation:
and observed that by the Codazzi equations
In conclusion,
and we have proven that
because again by (A.4),
The proof of Prop. A.1 is now immediate in view of the electromagnetic decomposition of the Bianchi equations (6.4), in particular (6.4b),
Indeed, it follows from (A.24) that
Assumptions
We list here in three tables the assumptions on the metric and connection coefficients that are made in this paper under the label that they are referred to along with the page numbers where they are first introduced and further discussed in the text. Here
and \(C_0>0\) is a fixed constant.
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
Schlue, V. Decay of the Weyl curvature in expanding black hole cosmologies. Ann. PDE 8, 9 (2022). https://doi.org/10.1007/s40818-022-00125-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40818-022-00125-6