Abstract
Minkowski space is shown to be globally stable as a solution to the Einstein–Vlasov system in the case when all particles have zero mass. The proof proceeds by showing that the matter must be supported in the “wave zone”, and then proving a small data semi-global existence result for the characteristic initial value problem for the massless Einstein–Vlasov system in this region. This relies on weighted estimates for the solution which, for the Vlasov part, are obtained by introducing the Sasaki metric on the mass shell and estimating Jacobi fields with respect to this metric by geometric quantities on the spacetime. The stability of Minkowski space result for the vacuum Einstein equations is then appealed to for the remaining regions.
Keywords: Massless Einstein–Vlasov equations, Stability of Minkowski space, Sasaki metric
Introduction
It is of wide interest to understand the global dynamics of isolated self-gravitating systems in general relativity. Without symmetry assumptions, problems of this form present a great challenge even for systems arising from small data. In the vacuum, where no matter is present, the global properties of small data solutions were first understood in the monumental work of Christodoulou–Klainerman [10]. They show that Minkowski space is globally stable to small perturbations of initial data, i.e. the maximal development of an asymptotically flat initial data set for the vacuum Einstein equations which is sufficiently close to that of Minkowski space is geodesically complete, possesses a complete future null infinity and asymptotically approaches Minkowski space in every direction (see also Lindblad–Rodnianski [26], Bieri [2], and also Section 1.15 where these results, along with other related works, are discussed in more detail).
In the presence of matter, progress has been confined to models described by wave equations.1 Here collisionless matter, described by the Einstein–Vlasov system, is considered. This is a model which has been widely studied in both the physics and mathematics communities; see the review paper of Andréasson [1] for a summary of mathematical work on the system. New mathematical difficulties are present since the governing equations for the matter are now transport equations, though in the case considered here, where the particles have zero mass and hence travel through spacetime along null curves, the decay properties of the function describing the matter are compatible in a nice way with those of the spacetime metric.
The Einstein–Vlasov system takes the form
| 1 |
| 2 |
The unknown is a Lorentzian manifold together with a particle density function , defined on a subset of the tangent bundle of called the mass shell. The function f(x, p) describes the density of the matter at with velocity . Here denote coordinates on the tangent bundle with conjugate to , so that (x, p) denotes the point in . The Ricci curvature and scalar curvature of are denoted Ric, R respectively. The integral in (1) is taken with respect to a natural volume form, defined later in Section 2.2. The vector field is the geodesic spray, i.e. the generator of the geodesic flow, of . The Vlasov equation (2) therefore says that, given , if denotes the unique geodesic in such that , then f is constant along , i.e. f is preserved by the geodesic flow of . Equation (2) is therefore equivalent to
| 3 |
for all such that the above expression is defined, where is the exponential map defined by .
In the case considered here, where the collisionless matter has zero mass, f is supported on the mass shell
a hypersurface in . In this case one sees, by taking the trace of (1), that the scalar curvature R must vanish for any solution of (1)–(2) and the Einstein equations reduce to
| 4 |
The main result is the following.
Theorem 1.1
Given a smooth asymptotically flat initial data set for the massless Einstein–Vlasov system suitably close to that of Minkowski Space such that the initial particle density function is compactly supported on the mass shell, the resulting maximal development is geodesically complete and possesses a complete future null infinity. Moreover the support of the matter is confined to the region between two outgoing null hypersurfaces, and each of the Ricci coefficients, curvature components and components of the energy momentum tensor with respect to a double null frame decay towards null infinity with quantitative rates.
The proof of Theorem 1.1, after appealing to the corresponding result for the vacuum Einstein equations, quickly reduces to a semi-global problem. This reduction is outlined below and the semi-global problem treated here is stated in Theorem 1.2.
Theorem 1.1 extends a result of Dafermos [12] which establishes the above under the additional restricted assumption of spherical symmetry. Note also the result of Rein–Rendall [29] which treats the massive case in spherical symmetry, where all of the particles have mass (i.e. f is supported on the set of future pointing timelike vectors p in such that ). The main idea in [12] was to show, using a bootstrap argument, that, for sufficiently late times, the matter is supported away from the centre of spherical symmetry. By Birkhoff’s Theorem the centre is therefore locally isometric to Minkowski space at these late times and the extension principle of Dafermos–Rendall [14] (see also [15]) then guarantees that the spacetime will be geodesically complete.
In these broad terms, a similar strategy is adopted here. The absence of good quantities satisfying monotonicity properties which are available in spherical symmetry, however, makes the process of controlling the support of the matter, and proving the semi-global existence result for the region where it is supported, considerably more involved. The use of Birkhoff’s Theorem and the Dafermos–Rendall extension principle also have to be replaced by the much deeper result of the stability of Minkowski space for the vacuum Einstein equations. The use of the vacuum stability result, which is in fact appealed to in two separate places, is outlined below.
The Uncoupled Problem
It is useful to first recall what happens in the uncoupled problem of the Vlasov equation on a fixed Minkowski background. Let denote standard null coordinates on Minkowski space (these form a well defined coordinate system on the quotient manifold away from the centre of spherical symmetry ) and suppose f is a solution of the Vlasov equation (2) with respect to this fixed background arising from initial data with compact support in space. From the geometry of null geodesics in Minkowski space it is clear that the projection of the support of f to the spacetime is related to the projection of the initial support of f as depicted in the Penrose diagram in Figure 1.
Fig. 1.
The projection of the support of f in the uncoupled problem
In particular, for sufficiently late advanced time the matter will be supported away from the centre , and there exists a point , lifting to a (round) 2-sphere , with such that
where denotes the causal past of S and denotes the natural projection.
Initial Data and First Appeal to the Vacuum Result
Recall that initial data for the Einstein–Vlasov system (1)–(2) consists of a 3-manifold with a Riemannian metric , a symmetric (0, 2) tensor K and an initial particle density function satisfying the constraint equations,
| 5 |
for , where denote the divergence, trace and scalar curvature of respectively, and denote (what will become) the 00 and 0j components of the energy momentum tensor. See [30] for a discussion of initial data for the Einstein–Vlasov system. The topology of will here be assumed to be that of . The issue of constructing solutions to the constraint equations (5) will not be treated here. A theorem of Choquet-Bruhat [4] guarantees that, given such an initial data set, a solution to (1)–(2) will exist locally in time.
The initial density function is assumed to have compact support. It will moreover be assumed that and a finite number of its derivatives will be small initially. The precise condition is given in Section 5. Note the assumption of compact support for is in both the spatial variable x, and in the momentum variable p. As will become evident, the compact support in space is used in a crucial way. The assumption of compact support in momentum is made for simplicity and can likely be weakened.2
Let be a simply connected compact set such that , where denotes the mass shell over . By the domain of dependence property of the Einstein–Vlasov system the development of the complement of B in , , will solve the vacuum Einstein equations,
| 6 |
The stability of Minkowski space theorem for the vacuum Einstein equations then guarantees the stability of this region. See Klainerman–Nicolò [21] where exactly this situation is treated. In particular, provided satisfy a smallness condition3 in (i.e. they are suitably close to the of Minkowski space), there exists a future complete, outgoing null hypersurface in this region which can be foliated by a family of 2-spheres, parameterised by v, approaching the round 2-sphere as . Moreover the Ricci coefficients and curvature components of the spacetime will decay to their corresponding Minkowski values and, by taking suitably small, certain weighted quantities involving them can be made arbitrarily small on . It will be assumed that are sufficiently small so that the precise conditions stated in Theorem 5.1 are satisfied on . A second appeal to a form of the stability of Minkowski space result in the vacuum (which can be shown to also follow from the Christodoulou–Klainerman Theorem [10] using upcoming work) will be made in Section 1.4 below.
Cauchy Stability
By Cauchy stability for the Einstein–Vlasov system (see Choquet-Bruhat [4] or Ringström [30]), Cauchy stability for the geodesic equations and the considerations of Section 1.1, provided the initial data on are taken sufficiently small, there exists a 2-sphere and an incoming null hypersurface such that , , , and
In other words, the existence of the point q in the Penrose diagram of Figure 1 is stable. It can moreover be assumed that the above and intersect in one of the 2-spheres of the foliation of ,
where can be chosen arbitrarily large. The induced data on can be taken to be arbitrarily small, provided they are sufficiently small on .
A Second Version of the Main Theorem and Second Appeal to the Vacuum Result
A more precise version of the main result can now be stated. A final version, Theorem 5.1, is stated in Section 5.
Theorem 1.2
Given characteristic initial data for the massless Einstein–Vlasov system (1)–(2) on an outgoing null hypersurface and an incoming null hypersurface as above4, intersecting in a 2-sphere of the foliation of , then, if is sufficiently large and the characteristic initial data are sufficiently small5, then there exists a unique spacetime endowed with a double null foliation (u, v) solving the characteristic initial value problem for (1)–(2) in the region , , where , , and can be chosen large so that on the mass shell over any point such that , i.e. . Moreover each of the Ricci coefficients, curvature components and components of the energy momentum tensor (with respect to a double null frame) decay towards null infinity with quantitative rates.
This is depicted in Figure 2.
Fig. 2.
The matter is supported in the shaded region and hence the spacetime will solve the vacuum Einstein equations in the unshaded regions
Theorem 1.1 follows from Theorem 1.2 by the considerations of Section 1.2, Section 1.3, and by another application of the vacuum stability of Minkowski space result with the induced data on a hyperboloid contained between the null hypersurfaces and . The problem of stability of Minkowski space for the vacuum Einstein equations (6) with hyperboloidal initial data was treated by Friedrich [17], though his result requires the initial data to be asymptotically simple. This is, in general, inconsistent with the induced data arising from Theorem 1.2.6 Whilst a proof of the hyperboloidal stability of Minkowski space problem with initial data compatible with Theorem 1.2 can most likely be distilled from the work [10], there is currently no precise statement to appeal to. In future work it will be shown how one can alternatively appeal directly to [10] by extending the induced scattering data at null infinity and solving backwards, in the style of [13].
A precise formulation of Theorem 1.1, including an explicit statement of the norms used in the first appeal to the vacuum result in Section 1.2 and the Cauchy stability argument of Section 1.3, will not be made here. The assumptions made in Theorem 5.1, the final version of Theorem 1.2, will be given some justification at various places in the introduction however. The remainder of the paper will concern Theorem 1.2, and in the remainder of the introduction its proof will be outlined. The greatest new difficulty is in obtaining a priori control over derivatives of f. The approach taken involves introducing the induced Sasaki metric on the mass shell P and estimating certain Jacobi fields on P in terms of geometric quantities on the spacetime . This approach is outlined in Section 1.14 below.
Note that the analogue of Theorem 1.2 for the vacuum Einstein equations (6) follows from a recent result of Li–Zhu [25].
The Bootstrap Argument
The main step in the proof of Theorem 1.2 is in obtaining global a priori estimates for all of the relevant quantities. Once they have been established there is a standard procedure for obtaining global existence, which is outlined in Section 12. The remainder of the discussion is therefore focused on obtaining the estimates.
Moreover, using a bootstrap argument, it suffices to show that if the estimates already hold in a given bootstrap region of the form , depicted in Figure 3, then they can be recovered in this region with better constants independently of . This is extremely useful given the strongly coupled nature of the equations.
Fig. 3.
The bootstrap region
The better constants in the bootstrap argument arise from either estimating the quantities by the initial data on and or by , and using the smallness of the initial data and the largeness of . Recall that, in the setting of Theorem 1.1, both the largeness of and the smallness of the induced data on , arise by taking the asymptotically flat Cauchy data on to be suitably small.
The Double Null Gauge
The content of the Einstein equations is captured here through the structure equations and the null Bianchi equations associated to the double null foliation (u, v). The constant u and constant v hypersurfaces are outgoing and incoming null hypersurfaces respectively, and intersect in spacelike 2-spheres which are denoted . This choice of gauge is made due to its success in problems which require some form of the null condition7 to be satisfied.8 See, for example, [7, 9, 13, 21, 27].
The foliation defines a double null frame (see Section 2.1) in which one can decompose the Ricci coefficients, which satisfy so called null structure equations, the Weyl (or conformal) curvature tensor, whose null decomposed components satisfy the null Bianchi equations, and the energy momentum tensor (which, by the Einstein equations (4), is equal to the Ricci curvature tensor).
It is the null structure and Bianchi equations which will be used, together with the Vlasov equation (2), to estimate the solution. Following the notation of [13, 27], the null decomposed Ricci coefficients will be schematically denoted . Two examples are the outgoing shear , which is a (0, 2) tensor on the spheres , and the renormalised outgoing expansion , which is a function on the spacetime, renormalised using the function r so that the corresponding quantity in Minkowski space will vanish.
The null decomposed components of the Weyl curvature tensor will be schematically denoted and the null decomposed components of the energy momentum tensor will be schematically denoted . This schematic notation, together with the p-index notation described in Section 1.8 below, will be used to convey structural properties of the equations which are heavily exploited later.
The Schematic Form of the Equations
The null structure equations for the Ricci coefficients , which are stated in Section 2.5, take the following schematic form,
Here
and
denote the projections of the covariant derivatives in the incoming and outgoing null directions respectively to the spheres . The terms appear in the equations for the outgoing and incoming expansions , which are renormalised using the function r. Each satisfies exactly one of the two form of equations (7) and hence are further decomposed as or depending on whether they satisfy an equation in the
or
direction respectively. It should be noted that there are further null structure equations satisfied by the Ricci coefficients which take different forms to (7), some of which will make an appearance later.
The Weyl curvature components can be further decomposed into Bianchi pairs, defined in Section 3.1, which are denoted (examples are or ). This notation is used to emphasise a special structure in the Bianchi equations, which take the form,
Here
denote certain angular derivative operators on the spheres of intersection of the double null foliation, and schematically denote projected covariant derivatives of in either the 3, 4 or angular directions.
The Ricci coefficients can be estimated using transport estimates for the null structure equations (7) since derivatives of do not appear explicitly on the right hand sides of the equations. The transport estimates are outlined below in Section 1.11 and carried out in detail in Section 10. Note that using such estimates does, however, come with a loss, namely the expected fact that angular derivatives of live at the same level of differentiability as curvature is not recovered. This fact can be recovered through a well known elliptic procedure, which is outlined below in Section 1.12 and treated in detail in Section 11. One cannot do the same for the curvature components and the Bianchi equations (8) due to the presence of the
terms on the right hand sides. In order to obtain “good” estimates for the Bianchi equations one must exploit the special structure which, if S denotes one of the spheres of intersection of the null foliation, takes the following form,
i.e. the adjoint of the operator
is
. Using this structure, if one contracts the
equation with and adds the
equation contracted with , the terms involving the angular derivatives will cancel upon integration and an integration by parts yields energy estimates for the Weyl curvature components. It is through this procedure that the hyperbolicity of the Einstein equations manifests itself in the double null gauge. These energy estimates form the content of Section 9 and, again, are outlined below in Section 1.10.
We are therefore forced (at least at the highest order) to estimate the curvature components in . All of the estimates for the Ricci coefficients here will also be based. In order to deal with the nonlinearities in the error terms of the equations, the same estimates are obtained for higher order derivatives of the quantities and Sobolev inequalities are used to obtain pointwise control over lower order terms. 9 To do this, a set of differential operators is introduced which satisfy the commutation principle of [13]. This says that the “null condition” satisfied by the equations (which is outlined below and crucial for the estimates) and the structure discussed above are preserved when the equations are commuted by , i.e. and satisfy similar equations to and . The set of operators is introduced in Section 3.3.
As they appear on the right hand side of the equations for , the energy momentum tensor components are also, at the highest order, estimated in . These estimates are obtained by first estimating f using the Vlasov equation. It is important that the components of the energy momentum tensor, and hence also f, are estimated at one degree of differentiability greater than the Weyl curvature components . The main difficulty in this work is in obtaining such estimates for the derivatives of f. See Section 1.14 for an outline of the argument and Section 8 for the details.
The p-Index Notation and the Null Condition
The discussion in the previous section outlines how one can hope to close the estimates for and from the point of view of regularity. Since global estimates are required, it is also crucial that all of the error terms in the equations decay sufficiently fast in v (or equivalently, since everything takes place in the “wave zone” where is comparable to v, sufficiently fast in r) so that, when they appear in the estimates, they are globally integrable. For quasilinear wave equations there is an algebraic condition on the nonlinearity, known as the null condition, which guarantees this [20]. By analogy, we say the null structure and Bianchi equations “satisfy the null condition” to mean that, on the right hand sides of the equations, certain “bad” combinations of the terms do not appear. There is an excellent discussion of this in the introduction of [13]. As they are highly relevant, the main points are recalled here.
Following [13], the correct hierarchy of asymptotics in r for , and is first guessed. This guess is encoded in the p-index notation. Each is labelled with a subscript p to reflect the fact that are expected to be uniformly bounded.10 Here denotes the norm with respect to the induced metric on the 2-spheres
. The weighted quantities which will be shown to be uniformly bounded will imply, via Sobolev inequalities, that this will be the case at lower orders.
In Theorem 5.1, the precise formulation of Theorem 1.2, it is asymptotics consistent with the p-index notation which will be assumed to hold on the initial outgoing hypersurface . In the context of Theorem 1.1, recall the use of the Klainerman–Nicolò [21] result in Section 1.2. The result of Klainerman–Nicolò guarantees that, provided the asymptotically flat Cauchy data on has sufficient decay, there indeed exists an outgoing null hypersurface in the development of the data on which asymptotics consistent with the p-index notation hold.
Geometry of Null Geodesics and the Support of f
If the Ricci coefficients are assumed to have the asymptotics described in the previous section then it is straightforward to show that can be chosen to have the desired property that on the mass shell over any point with . In fact, it can also be seen that the size of the support of f in , the mass shell over the point , will decay as . This decay is important as it is used to obtain the decay of the components of the energy momentum tensor. The argument for obtaining the decay properties of is outlined here and presented in detail in Section 7.
The decay of the size of the support of f in can be seen by considering the decay of components of certain null geodesics. Suppose first that is a future directed null geodesic in Minkowski space emanating from a compact set in the hypersurface such that the initial tangent vector is contained in a compact set in the mass shell over . One can show that, if
where is the standard double null frame in Minkowski space, then the bounds,
| 9 |
hold uniformly along for some constant C.11
The bounds (9) will be assumed to hold in in the mass shell over the initial hypersurface in Theorem 5.1, the precise formulation of Theorem 1.2. In the setting of Theorem 1.1, the bounds (9) can be taken to hold on the hypersurface in view of the Cauchy stability argument of Section 1.3 and the fact that they hold globally in for the uncoupled problem of the Vlasov equation on a fixed Minkowski background.
The idea is now to propagate the bounds (9) from the initial hypersurface into the rest of the spacetime. If now denotes the double null frame of (defined in Section 2.1), one then uses the geodesic equations,
for a null geodesic with , a bootstrap argument and the pointwise bounds to see that
The estimates (9) follow by integrating along since .
Finally, to show the retarded time can be chosen as desired, let u(s) denote the u coordinate of the geodesic at time s. Then
and hence for all , for some constant C.
Global Energy Estimates for the Curvature Components
The global energy estimates for the Weyl curvature components can now be outlined. They are carried out in detail in Section 9. The Bianchi equations take the schematic form,
where c is a constant (which is different for the different ) and is an error which will decay, according to the p notation, like . Similarly, is an error which will decay like . Recall from equation (8) that the errors and contain linear terms involving , nonlinear terms of the form and , and projected covariant derivatives of components of the energy momentum tensor . Using (10) to compute , , after summing a cancellation will occur in the terms involving angular derivatives, as discussed in Section 1.7, and they can be rewritten as a spherical divergence. If the weight w is chosen correctly, a cancellation12 also occurs in the term (which, since looks like to leading order, cannot be included in the error ) and one is then left with,
| 11 |
where Div denotes the spacetime divergence and denotes a spacetime “bulk” region bounded to the past by the initial characteristic hypersurfaces, and to the future by constant v and constant u hypersurfaces. See Figure 3. Note that this procedure will generate additional error terms but they can be treated similarly to those arising from the errors in (10) and hence are omitted here. See Section 9 for the details.
If the curvature fluxes are defined as,
then by the divergence theorem, when the above identity (11) is summed over all Bianchi pairs , the left hand side becomes
Due to the relation between the weights and , and the bounds assumed for and through the bootstrap argument, the right hand side of (11) can be controlled by,
for some constant C (which, of course, arises from inserting the bootstrap assumptions). It is this step where one sees the manifestation of the null condition in the Bianchi equations. Dropping the term on the left yields,
and hence, by the Grönwall inequality, can be controlled by initial data and the term . Returning to the inequality,
and inserting the above bounds for , can now also be similarly controlled.
Global Transport Estimates for the Ricci Coefficients
Turning now to the global estimates for the Ricci coefficients, which are treated in detail in Section 10, in the p-index notation the null structure equations take the form,
where again is an error which decays, according to the p-index notation, like and decays like . Recall from equation (7) that and contain linear terms involving , and quadratic terms of the form . The
equations can be rewritten as
To estimate the one then uses the identity, for a function h on ,
where the term comes from the derivative of the volume form on , with . The factor serves to cancel the term (which, recall, behaves like and so is not globally integrable in v). Hence,
since the volume form is of order . Integrating in v from the initial hypersurface then gives,
| 12 |
Note that the error is integrated over a constant hypersurface. These are exactly the regions on which the integrals of the Weyl curvature components were controlled in Section 1.10, and it is for this reason the curvature terms in the error can be controlled in (12).
Since the volume form is of order , the bound (12) is consistent with decaying like and, after repeating the above with appropriate derivatives of , this pointwise decay can be obtained using Sobolev inequalities on the spheres.
It is not a coincidence that the coefficient of in the
equation is exactly that which is required to obtain decay for . In fact some of the will decay faster than this but the other null structure equations are required, along with elliptic estimates, to obtain this. It is therefore the coefficient which determines the p index given here to the as it restricts the decay which can be shown to hold using only the
equations. Note the difference with [13] where the authors are not constrained by this coefficient as they there integrate “backwards” from future null infinity.
Turning now to the equations in the 3 direction, the quantities are estimated using the identity,
with . It does not now matter that only decays like since the integration in u will only be up to the finite value .
Suppose first that satisfies
where decays like and decays like but only contains Weyl curvature, energy momentum tensor and terms which have already been estimated (the energy momentum tensor estimates are outlined below as they present the greatest difficulty but in the logic of the proof are estimated first). Then,
Integrating from to u and inserting the bootstrap assumptions and the previously obtained bounds for , the Grönwall inequality then gives,
where controls the size of the initial data. Note that it was important that the only error terms which have not already been estimated are of the form , and not , in order to gain the smallness factor. It turns out that there is a reductive structure in the null structure equations so that, provided they are estimated in the correct order, each satisfies an equation of the form (13) where now also contains terms which have been estimated previously. Hence all of the can be estimated with smallness factors.
Elliptic Estimates and Ricci Coefficients at the Top Order
The procedure in Section 1.11 is used to estimate the Ricci coefficients, along with their derivatives at all but the top order, in of the spheres of intersection of constant u and constant v hypersurfaces. The derivatives of Ricci coefficients at the top order are estimated only in on null hypersurfaces. These estimates are obtained using elliptic equations on the spheres for some of the Ricci coefficients, coupled to transport equations for certain auxilliary quantities. This procedure is familiar from many other works (e.g. [9, 10]) and forms the content of Section 11. It should be noted that these estimates are only required here for estimating the components of the energy momentum tensor. If one were to restrict the semi-global problem of Theorem 1.2 to the case of the vacuum Einstein equations (6) then the estimates for the Ricci coefficients and curvature components could be closed with a loss (i.e. without knowing that angular derivatives of Ricci coefficients lie at the same degree of differentiability as the Weyl curvature components) as only the null structure equations of the form (7) would be used, and these elliptic estimates would not be required. See Section 1.7.
Global Estimates for the Energy Momentum Tensor Components
At the zeroth order the estimates for the energy momentum tensor components follow directly from the bounds (9), which show that the size of the region on which the integral in (1) is taken is decaying as , and the fact that f is conserved along trajectories of the geodesic flow. For example, using the volume form for defined in Section 2.2, if ,
since
. In fact, provided the derivatives of f can be estimated, the estimates for the derivatives of are obtained in exactly the same way.
Global Estimates for Derivatives of f
A fundamental new aspect of this work arises in obtaining estimates for the derivatives of f. Recall from Section 1.7 that, in order to close the bootstrap argument, it is crucial that the energy momentum tensor components , and hence f, are estimated at one degree of differentiability greater than the Weyl curvature components, i.e. k derivatives of f must be estimated using only derivatives of . Written in components with respect to the frame13 for P, the Vlasov equation (2) takes the form,
where denote the Ricci coefficients of . See (24)–(28) below. One way to estimate derivatives of f is to commute this equation with suitable vector fields and integrate along trajectories of the geodesic flow. If V denotes such a vector field, commuting will give,
where E is an error involving terms of the form . At first glance this seems promising as derivatives of the Ricci coefficients should live at the same level of differentiability as the Weyl curvature components . This is not the case for all of the however, for example if V involves an angular derivative then , for , will contain two angular derivatives of the vector field b. See (17) below for the definition of b and (26) for . The vector field b is estimated through an equation of the form,
and hence, commuting twice with angular derivatives and using the elliptic estimates described in Section 1.12 will only give estimates for two angular derivatives of b by first order derivatives of and . The angular derivatives of the spherical Christoffel symbols
, see (22) below, which also appear when commuting the Vlasov equation give rise to similar issues.
Whilst it may still be the case that E as a whole (rather than each of its individual terms) can be estimated just at the level of , a different approach is taken here in order to see more directly that derivatives of f can be estimated at the level of . This approach, which is treated in detail in Section 8, is outlined now.
Consider again a vector . Recall the form of the Vlasov equation (3). Using this expression for f and the chain rule,
for any s, and hence, if ,
| 14 |
If is taken so that then the expression (14) relates a derivative of f at (x, p) to a derivative of f on the initial hypersurface. It therefore remains to estimate the components of J(s), with respect to a suitable frame for P, uniformly in s and independently of the point (x, p).
The metric g on the spacetime can be used to define a metric on the tangent bundle , known as the Sasaki metric [33], which by restriction defines a metric on the mass shell P. See Section 4 where this metric is introduced. With respect to this metric trajectories of the geodesic flow are geodesics in P and, for any vector , is a Jacobi field along this geodesic (see Section 4). Therefore J(s) satisfies the Jacobi equation,
| 15 |
where denotes the induced connection on P, and denotes the curvature tensor of . Equation (15) is used, as a transport equation along the trajectories of the geodesic flow, to estimate the components of J. The curvature tensor can be expressed in terms of (vertical and horizontal lifts of) the curvature tensor R of along with its first order covariant derivatives . See equation (90). At first glance the presence of again appears to be bad. On closer inspection, however, the terms involving covariant derivatives of R are always derivatives in the “correct” direction so that they can be recovered by the transport estimates, and the components of J, and hence Vf, can be estimated at the level of .
The above observations of course only explain how one can hope to close the estimates for from the point of view of regularity. In order to obtain global estimates for the components of J one has to use the crucial fact that, according to the p-index notation, the right hand side of the Jacobi equation , when written in terms of , decays sufficiently fast as to be twice globally integrable along . This can be viewed as a null condition for the Jacobi equation and is brought to light through further schematic notation introduced in Section 8.2.
The fact that the right hand side of (15) has sufficient decay in r is perhaps not surprising. Consider for example the term
| 16 |
in . Here is a geodesic in such that and is a vector field along on such that, together with another vector field along ,
with and denoting horizontal and vertical lifts at (defined in Section 4). The slowest decaying and are those which contain the most vectors. Whenever such and arise in (16) however, they will typically be accompanied by , the component of , which (recall from Section 1.9) has fast decay. Similarly the non-decaying , the component of , can only appear in (16) accompanied by the and which contain vectors and hence have fast decay in r. In particular, potentially slowly decaying terms involving multiplying the and which contain no vectors do not arise in (16).
Finally, since Jf now itself is also conserved along , second order derivatives of f can be obtained by repeating the above. If denote Jacobi fields corresponding to vectors at (x, p) respectively, then,
In order to control it is therefore necessary to estimate the derivatives of the components of along . This is done by commuting the Jacobi equation (15) and showing that the important structure described above is preserved. The Jacobi fields which are used, and hence the vectors V used to take derivatives of f, have to be carefully chosen. They are defined in Section 8.3.
Note that this procedure can be repeated to obtain higher order derivatives of f. Whilst the pointwise bounds on at lower orders mean that lower order derivatives of f can be estimated pointwise, at higher orders this procedure will generate terms involving higher order derivatives of and hence higher order derivatives of must be estimated in on null hypersurfaces. In fact, at the very top order, is estimated in the spacetime norm.
Related Previous Stability Results in General Relativity
There are several related previous works on the stability of Minkowski space for the Einstein equations coupled to various matter models. Without simplifying symmetry assumptions, the first such work was that of Christodoulou–Klainerman [10]. They show that, given an initial data set for the vacuum Einstein equations, satisfying an appropriate asymptotic flatness condition, which is sufficiently close to that of Minkowski space, the resulting maximal development is geodesically complete, possesses a complete future null infinity, and asymptotically approaches Minkowski space with quantitative rates. The result, more fundamentally, provided the first examples of smooth, geodesically complete, asymptotically flat solutions to the vacuum Einstein equations, other than Minkowski space itself. The existence of such spacetimes if far from trivial. The proof relies on foliating the spacetimes they construct by the level sets of a so called maximal time function, along with another, null, foliation by the level sets an optical function. Detailed behaviour of the solutions are obtained, along with various applications including a rigorous derivation of the Bondi mass loss formula.
The proof of Christodoulou–Klainerman was generalised by Zipser [36], who showed that the analogue of their theorem holds for electromagnetic matter described by the Maxwell equations. The proof of this generalisation again relies on foliating the spacetimes by the level hypersurfaces of a maximal time and optical function.
The Christodoulou–Klainerman proof was later revisited by Klainerman–Nicolò [21] who showed the stability of the domain of dependence of the complement of a ball in a standard spacelike hypersurface in Minkowski space. Their smallness condition on initial data is similar to that of Christodoulou–Klainerman, however the Klainerman–Nicolò proof is based on a double null foliation, defined as the level hypersurfaces of two, outgoing and incoming, optical functions. The proof of Theorem 1.2 in this work is based on a similar approach and moreover, since the Klainerman–Nicolò result is appealed to in its proof, the smallness condition required in Theorem 1.1 is similar to that of [21]. See Section 1.2.
A new proof of the stability of Minkowski space for the vacuum Einstein equations using the harmonic gauge, the gauge originally used by Choquet-Bruhat [3] to prove local existence for the vacuum Einstein equations, was developed by Lindblad–Rodnianski [26]. Their proof essentially reduces to a small data global existence proof for a system of quasilinear wave equations and, despite the equations failing to satisfy the classical null condition of Klainerman [20], is relatively technically simple. The proof moreover requires a weaker asymptotic flatness condition on the data, compared to [10], and also allows for coupling to matter described by a massless scalar field. The asymptotic behaviour obtained for the solutions is less precise, however, than in [10].
The Christodoulou–Klainerman proof was returned to again by Bieri [2], who imposes a weaker asymptotic flatness condition on the initial data, in terms of decay, and is able to close the proof using fewer derivatives of the solution than [10]. The proof again, as in [10], is based on a maximal–null foliation of the spacetimes.
The stability of Minkowski space problem for the Einstein–Maxwell system, as studied by Zipser, was returned to by Loizelet [24], this time using the harmonic gauge approach of Lindblad–Rodnianski. The harmonic gauge approach was also used by Speck [34], who considers the Einstein equations coupled to a large class of electromagnetic equations, which are derivable from a Lagrangian and reduce to the Maxwell equations in an appropriate limit. A recent result of LeFloch–Ma [23] on the problem for the Einstein–Klein–Gordon system also uses the harmonic gauge approach (see also [35]).
Finally, there are more global stability results for the Einstein equations with a positive cosmological constant, for example the works of Friedrich [17], Ringström [30] and Rodnianski–Speck [31]. A more comprehensive list can be found in the introduction to the work of Had z̆ ić–Speck [19].
Outline of the Paper
In the next section coordinates are defined on the spacetime to be constructed, and on the mass shell P. The Ricci coefficients and curvature components are introduced along with their governing equations. In Section 3 the schematic form of the quantities and equations are given. Three derivative operators are then introduced which are shown to preserve the schematic form of the equations under commutation. Some facts about the Sasaki metric are recalled in Section 4 and are used to describe certain geometric properties of the mass shell. A precise statement of Theorem 1.2 is given in Section 5, along with the statement of a bootstrap theorem. The proof of the bootstrap theorem is given in the following sections. The main estimates are obtained for the energy momentum tensor components, Weyl curvature components and lower order derivatives of Ricci coefficients in Sections 8, 9 and 10 respectively. The estimates for the Ricci coefficients at the top order are obtained in Section 11. The results of these sections rely on the Sobolev inequalities of Section 6, and the decay estimates for the size of as x approaches null infinity from Section 7. The fact that the retarded time can be chosen to have the desired property, stated in Theorem 1.2, is also established in Section 7. Finally, the completion of the proof of Theorem 1.2, through a last slice argument, is outlined in Section 12.
Basic Setup
Throughout this section consider a smooth spacetime where , for some , , is a manifold with corners and g is a smooth Lorentzian metric on such that , together with a continuous function , smooth on , where Z denotes the zero section, satisfy the Einstein–Vlasov system (1)–(2).
Coordinates and Frames
A point in will be denoted . It is implicitly understood that two coordinate charts are required on . The charts will be defined below using two coordinate charts on . Assume u and v satisfy the Eikonal equation
Following [9, 21], define null vector fields
and the function by
Let be a coordinate system in some open set on the initial sphere . These functions can be extended to define a coordinate system on an open subset of the spacetime as follows. Define on by solving
Then extend to by solving
This defines coordinates on the region defined to be the image of under the diffeomorphisms generated by L on , then by the diffeomorphisms generated by . Coordinates can be defined on another open subset of the spacetime by considering coordinates in another region and repeating the procedure. These two coordinate charts will cover the entire region of the spacetime in question provided the charts cover . The choice of coordinates on is otherwise arbitrary.
The spheres of constant u and v will be denoted and the restriction of g to these spheres will be denoted
. A vector field V on will be called an vector field if for all . Similarly for (r, 0) tensors. A one form is called an one form if . Similarly for (0, s), and for general (r, s) tensors.
In these coordinates the metric takes the form
where b is a vector field tangent to the spheres , which vanishes on the initial hypersurface . Note that, due to the remaining gauge freedom, can be specified on and . Since, in Theorem 5.1, it is assumed that and
are small on , it is convenient to set on so that they both vanish.
Integration of a function on is defined as
where is a partition of unity subordinate to at u, v.
Define the double null frame
| 18 |
and let , denote coordinates on each tangent space to conjugate to this frame, so that the coordinates denote the point
where . This then gives a frame, , on . The Vlasov equation (2) written with respect to this frame takes the form
where are the Ricci coefficients of g with respect to the null frame (18). For f as a function on the mass shell P, this reduces to,
where now runs over 1, 2, 4, and denote the restriction of the coordinates to P, and denote the partial derivatives with respect to this restricted coordinate system. Using the mass shell relation (21) below one can easily check,
Note that Greek indices, , etc. will always be used to sum over the values 1, 2, 3, 4, whilst capital Latin indices, A, B, C, etc. will be used to denote sums over only the spherical directions 1, 2. In Section 8 lower case latin indices i, j, k, etc. will be used to denote summations over the values .
Remark 2.1
A seemingly more natural null frame to use on would be
| 20 |
Dafermos–Holzegel–Rodnianski [13] use the same “unnatural” frame for regularity issues on the event horizon. The reason for the choice here is slightly different and is related to the fact that , defined below, is zero in this frame.
Null Geodesics and the Mass Shell
Recall that the mass shell is defined to be the set of future pointing null vectors. Using the definition of the coordinates and the form of the metric given in the previous section one sees that, since all of the particles have zero mass, i.e. since f is supported on P, the relation
is true in the support of f. The identity (21) is known as the mass shell relation.
The mass shell P is a 7 dimensional hypersurface in and can be parameterised by coordinates , with defined by (21).
To make sense of the integral in the definition of the energy momentum tensor (1) one needs to define a suitable volume form on the mass shell, , over each point . Since is a null hypersurface it is not immediately clear how to do this. Given such an x, the metric on defines a metric on ,
which in turn defines a volume form on ,
A canonical one-form normal to can be defined as the differential of the function which measures the length of ,
Taking the normal to , the volume form (in the coordinate system) can be defined as
This is the unique volume form on
compatible with the normal in the sense that
and if is another 3-form on such that
then
See Section 5.6 of [32].
The energy momentum tensor at therefore takes the form
Ricci Coefficients and Curvature Components
Following the notation of [9] (see also [10, 21]), define the Ricci coefficients
The null second fundamental forms are decomposed into their trace and trace free parts
Note that due to the choice of frame, since is an affine geodesic vector field, . Also note that in this frame . The Christoffel symbols of
with respect to the frame are denoted
,
Define also the null Weyl curvature components
Here14
| 23 |
is the Weyl, or conformal, curvature tensor of and denotes the hodge dual of W,
where is the spacetime volume form of .
Define the (0,2)-tensor
to be the restriction of the energy momentum tensor defined in equation (1) to vector fields tangent to the spheres :
Similarly let
denote the 1-forms defined by restricting the 1-forms to vector fields tangent to the spheres :
Finally, let
denote the functions
The Minkowski Values
For the purpose of renormalising the null structure and Bianchi equations, define the following Minkowski values of the metric quantities using the function , with a constant chosen to make sure ,
where is the round metric on the unit sphere. Similarly, define
and let
denote the spherical Christoffel symbols of the metric
, so that,
where
is the Levi-Civita connection of
. These are the only non-identically vanishing Ricci coefficients in Minkowski space. All curvature components vanish, as do all components of the energy momentum tensor.
Note that the function r in general does not have the geometric interpretation as the area radius of the spheres . Note also that
in the region , for some constant .
The Renormalised Null Structure and Bianchi Equations
The Bianchi equations,
written out in full using the table of Ricci coefficients,
| 25 |
| 26 |
| 27 |
| 28 |
take the form15
![]() |
29 |
| 30 |
| 31 |
| 32 |
| 33 |
| 34 |
| 35 |
| 36 |
| 37 |
Here for an 1-form ,
denotes the transpose of the derivative of ,
The left Hodge-dual is defined on one forms and (0, 2) tensors by
respectively. Here
denotes the volume form associated with the metric
and, for a (0, 2) tensor ,
The symmetric traceless product of two one forms is defined by
and the anti-symmetric products are defined by
for two one forms and (0, 2) tensors respectively. Also,
for (0, 2) tensors . The symmetric trace free derivative of an 1-form is defined as
Finally define the
inner product of two (0, n) tensors
and the norm of a (0, n) tensor
The notation will also later be used when applied to components of tensors to denote the standard absolute value on . See Section 6. It will always be clear from the context which is meant, for example if is an 1-form then denotes the
norm as above, whilst denotes the absolute value of .
The null structure equations for the Ricci coefficients and the metric quantities in the 3 direction, suitably renormalised using the Minkowski values, take the form
and in the 4 direction
Through most of the text, when referring to the null structure equations it is the above equations which are meant. The following null structure equations on the spheres will also be used in Section 11,
where K denotes the Gauss curvature of the spheres
.
The additional propagation equations for ,
will also be used in Section 11 to derive propagation equations for the mass aspect function defined later. Here
is the trace free part of
.
The following first variational formulas for the induced metric on the spheres will also be used,
where denotes the Lie derivative.
There are additional null structure equations but, since they will not be used here, are omitted.
The Schematic Form of the Equations and Commutation
In this section schematic notation is introduced for the Ricci coefficients, curvature components and components of the energy momentum tensor, which is used to isolate the structure in the equations that is important for the proof of Theorem 1.2. A collection of differential operators is introduced and it is shown that this structure remains present after commuting the equations by any of the operators in the collection. This section closely follows Section 3 of [13] where this notation was introduced.
Schematic Notation
Consider the collection of Ricci coefficients16 which are schematically denoted ,
Note that the are normalised so that each of the corresponding quantities in Minkowski space is equal to zero. In the proof of the main result it will be shown that each converges to zero as in the spacetimes considered. Each will converge with a different rate in r and so, to describe these rates, each is given an index, p, to encode the fact that, as will be shown in the proof of the main result, will be uniformly bounded. The p-indices are given as follows,
so that schematically denotes any of the quantities
etc. It may be the case, for a particular , that is always zero in each of the spacetimes which are constructed here. This means that some of the Ricci coefficients will decay with faster rates than those propagated in the proof of Theorem 1.2. Some of these faster rates can be recovered a posteriori.
The notation will be used to schematically denote any for which the corresponding null structure equation of (39)–(48) it satisfies is in the
direction,
Similarly, will schematically denote any for which the corresponding null structure equation of (39)–(48) is in the
direction,
Finally, will schematically denote any which has also been denoted . So, for example, may be schematically denoted . Similarly, will schematically denote any which has also been denoted .
Consider now the collection of Weyl curvature components, which are schematically denoted ,
Each is similarly given a p-index,
| 56 |
to encode the fact that, as again will be shown, is uniformly bounded in each of the spacetimes which are constructed.
When deriving energy estimates for the Bianchi equations in Section 9, a special divergence structure present in the terms involving angular derivatives is exploited. For example, the
equation is contracted with (multiplied by a suitable weight) and integrated by parts over spacetime. The
equation is similarly contracted with and integrated by parts. When the two resulting identities are summed, a cancellation occurs in the terms involving angular derivatives leaving only a spherical divergence which vanishes due to the integration on the spheres. The
equation is thus paired with the
equation. To highlight this structure, consider the ordered pairs,
Each of these ordered pairs will be schematically denoted , with the subscripts p and as in (56), and referred to as a Bianchi pair.
The components of the energy momentum tensor are schematically denoted ,
and each is similarly given a p-index,
to encode the fact that will be shown to be uniformly bounded.
Finally, for a given , let denote any smooth function , depending only on r, which behaves like to infinite order, i.e. any function such that, for any , there is a constant such that , where the derivative is taken in the coordinate system. In addition, the tensor field
may also be denoted . Note that
. For example,
The Schematic Form of the Equations
Using the notation of the previous section, the null structure and Bianchi equations can be rewritten in schematic form. For example the null structure equation (40) can be rewritten,
Here and in the following, denotes (a constant multiple of) an arbitrary contraction between a and a . In the estimates later, the Cauchy–Schwarz inequality will always be used and so the precise form of the contraction will be irrelevant. Similarly for .
Rewriting the equations in this way allows one to immediately read off the rate of decay in r of the right hand side. In the above example one sees that
is equal to a combination of terms whose overall decay is, according to the p-index notation, like , consistent with the fact that applying
to a Ricci coefficient does not alter its r decay (see Section 3.3). Each of the null structure equations can be expressed in this way.
Proposition 3.1
(cf. Proposition 3.1 of [13]). The null structure equations (39)–(48) can be written in the following schematic form
where17
This proposition allows us to see that the right hand sides of the
equations behave like , whilst the right hand sides of the
equations behave like . This structure will be heavily exploited and should be seen as a manifestation of the null condition present in the Einstein equations.
Remark 3.2
The term on the left hand side of equation (58) is not contained in the error since behaves like and so this term only behaves like . This would thus destroy the structure of the error. It is not a problem that this term appears however since, when doing the estimates, the following renormalised form of the equation will always be used:
This can be derived by differentiating the left hand side using the product rule, substituting equation (58) and using the fact that can be absorbed into the error.
It is not a coincidence that the coefficient of this term is always , it is the value of this coefficient which decides the rate of decay to be propagated for each . This will be elaborated on further in Section 10. This was not the case in [13]; they have more freedom since they are integrating backwards from null infinity, rather than towards null infinity, and so can propagate stronger decay rates for some of the . These stronger rates could be recovered here using the ideas in Section 11, however it is perhaps interesting to note that the estimates can be closed with these weaker rates.
The Bianchi equations can also be rewritten in this way.
Proposition 3.3
(cf. Proposition 3.3 of [13]). For each Bianchi pair , the Bianchi equations (29)–(38) can be written in the following schematic form
where
denotes the angular operator appearing in equation for the particular curvature component under consideration18 and for , . The error terms take the form
where is used to denote certain derivative operators which are introduced in Section 3.3.
When applied to , the operators should not alter the rate of decay so again this schematic form allows one to easily read off the r decay rates of the errors. This structure of the errors will again be heavily exploited. The first summation in can in fact actually always begin at except for in where the term appears. Also the terms,
in can be upgraded to,
in and . These points are important and will be returned to in Section 9.
The Commuted Equations
As discussed in the introduction, the Ricci coefficients and curvature components will be estimated in using the null structure and Bianchi equations respectively19. In order to deal with the nonlinearities some of the error terms are estimated in on the spheres. These bounds are obtained from estimates for higher order derivatives via Sobolev inequalities. These higher order estimates are obtained through commuting the null structure and Bianchi equations with suitable differential operators, showing that the structure of the equations are preserved, and then proceeding as for the zero-th order case. It is shown in this section that the structure of the equations are preserved under commutation.
It is also necessary to obtain higher order estimates for components of the energy momentum tensor in order to close the estimates for the Bianchi and Null structure equations. Rather than commuting the Vlasov equation, which leads to certain difficulties, these estimates are obtained by estimating components of certain Jacobi fields on the mass shell. See Section 8.
Define the set of differential operators
acting on covariant tensors of any order20, and let denote an arbitrary element of this set. These operators are introduced because of the Commutation Principle of [13]:
Commutation Principle: Applying any of the operators to any of the should not alter its rate of decay.
This will be shown to hold in , though until then it serves as a useful guide to interpret the structure of the commuted equations.
If is an tensor field, will be schematically used to denote any fixed k-tuple of operators applied to , where each
.
In order to derive expressions for the commuted Bianchi equations in this schematic notation, the following commutation lemma will be used. Recall first the following lemma which relates projected covariant derivatives of a covariant tensor to derivatives of its components.
Lemma 3.4
Let be a (0, k) tensor. Then,
and
The commutation lemma then takes the following form.
Lemma 3.5
(cf. Lemma 7.3.3 of [10] or Lemma 3.1 of [13]). If is a (0, k) tensor then,
and
where K is the Gauss curvature of
.
Proof
The proof of the first identity follows by writing
and using
where the last line follows by using equation (23) to write,
Similarly for the second one uses
and for the third,
If
denotes the curvature tensor of
, the last follows from writing,
and the fact that,
The above Lemma implies that the terms arising from commutation take the following schematic form,
The commuted Bianchi equations can then be written as follows.
Proposition 3.6
(cf. Proposition 3.4 of [13]). For any integer the commuted Bianchi equations, for each Bianchi pair , take the form21
where
| 62 |
| 63 |
and, for , denotes some fixed sum of contractions of , , and such that decays, according to the p-index notation, like . Explicitly
Note the presence of the first order derivative of in , whilst and contain only zeroth order terms.
Remark 3.7
By the commutation principle and induction, it is clear that the first two terms in the error (63) preserve the structure highlighted in Proposition 3.3. In the remaining terms, it is essential that and appear contracted with and , rather than . It will be clear in the proof below that it is the special form of the operators that cause this to occur. Since, for each Bianchi pair , it is the case that , the and terms in still preserve the form of the error.
Similarly looking at the error (62), it is clear that the expected r decay will be preserved from Proposition 3.3.
It will also be important later that and do not contain any derivatives of or , whilst only contains first order derivatives.
Proof of Proposition 3.6
The proof proceeds exactly as in Proposition 3.4 of [13], though one does need to be careful since some of the quantities decay slightly weaker here. We consider only the case. A simple induction argument completes the proof for .
Consider first the
equations. Using the schematic form of the commutation formulae (59),
Now the Raychaudhuri equation22,
and the Bianchi equation for
imply that,
Note the cancellation. Hence
where
Similarly, using again the schematic expressions (59),
and hence,
where
Finally,
where the Gauss equation (49) has been used for the third equality. Note also the cancellation which occurs in the first equality. Hence,
where
The schematic expressions for the
equations follow similarly.
Similarly, the commuted null structure equations can be schematically written as follows.
Proposition 3.8
(cf. Proposition 3.5 of [13]). For any integer the commuted null structure equations take the form,
where,
| 64 |
| 65 |
and again,
Proof
The proof is similar to that of Proposition 3.6, though slightly simpler as there are no terms involving
.
Remark 3.9
Note that again in (65), and only appear multiplying terms which decay like . Note also that again contain no derivative terms, whilst contains only first order derivatives.
The Sasaki Metric
The Lorentizian metric g on induces a metric, , on , known as the Sasaki metric, which in turn induces a metric on P by restriction. The metric on was first introduced in the context of Riemannian geometry by Sasaki [33]. Certain properties of this metric will be used when estimating derivatives of f later. The goal of this section is to define the metric and compute certain components of its curvature tensor in terms of the curvature of . It is then shown that trajectories of the null geodesic flow of are geodesics in P (or more generally that trajectories of the full geodesic flow are geodesics in ) with respect to this metric and derivatives of the exponential map are Jacobi fields along these geodesics. This fact will be used in Section 8 to estimate derivatives of f. Most of this section is standard and is recalled here for convenience.
Vertical and Horizontal Lifts
Given , is defined by splitting into its so-called vertical and horizontal parts. This is done using the connection of g on .
Given , its vertical lift at , denoted is defined to be the vector tangent to the curve defined by,
at ,
To define the horizontal lift of v at (x, p), first let denote a curve in such that , . Extend p to a vector field along c by parallel transport using the Levi-Civita connection of g on ,
The horizontal lift of v at (x, p), denoted , is then defined to be the tangent vector to the curve defined by
at ,
It is straightforward to check this is independent of the particular curve c, as long as .
Given the coordinates on conjugate to , the double null frame on , one has a frame for given by . If is written with respect to the double null frame as , then
and
where are the Ricci coefficients of the frame .
Example 4.1
The generator of the geodesic flow, X, at is given by
The vertical and horizontal subspaces of are defined as,
respectively. Note that is just , the tangent space to the fibre of . One clearly has the following.
Proposition 4.2
The tangent space to at (x, p) can be written as the direct sum
Since each vector in can be uniquely decomposed into its horizontal and vertical components, the following defines on all pairs of vectors in .
Definition 4.3
The Sasaki metric, on is defined as follows. For and ,
The Connection and Curvature of the Sasaki Metric
Since the Sasaki metric is defined in terms of the metric on , the connection and curvature of can be computed in terms of the connection and curvature of g. The computations are exactly the same as in Riemannian geometry. See [22].
Proposition 4.4
Let denote the Levi-Civita connection of the Sasaki metric . Given and vector fields on ,
,
,
,
,
where is the connection and R is the curvature tensor of .
Proposition 4.5
Given and vectors , then
and
where denotes the curvature tensor of , and R the curvature tensor of g.
The proofs of Proposition 4.4 and Proposition 4.5 follow by direct computation. See [22] and also [18]. The remaining components of can be computed similarly but are not used here.
One important property of the Sasaki metric is the following.
Proposition 4.6
When equipped with the Sasaki metric, trajectories of the geodesic flow, , are geodesics in .
Proof
The tangent vector to a trajectory of the geodesic flow is given by the generator X. As noted above, this is given at by
A trajectory of the geodesic flow takes the form where is a geodesic in . Hence, by Proposition 4.4,
Curvature of the Mass Shell
Proposition 4.7
If denotes the curvature of the mass shell P then, if and , the following formula for certain components of are true.
and
where is transverse to the mass shell P.
Proof
Throughout will denote the normal to the mass shell, P, such that .
Each identity can be shown by first writing the curvature of P in terms of the curvature of , N and V. If denote vector fields on then, since,
where is the induced connection on P, one easily deduces,
To obtain the first identity note that, by Proposition 4.4,
and so
Similarly
Finally, by Proposition 4.5,
Hence
and the formula follows from Proposition 4.5.
For the second identity note that, as above,
and that
since, by Proposition 4.4, is horizontal. The result follows from Proposition 4.5.
Derivatives of the Exponential Map
Recall the definition of the exponential map (or geodesic flow) for ,
where is the unique geodesic in such that , .
Derivatives of the particle density function f are estimated using the fact that derivatives of the exponential map are Jacobi fields as follows. Consider and . Using the Vlasov equation,
and the chain rule one obtains,
By Proposition 4.6, is a geodesic in P (or in ). Below it will be shown that is a Jacobi field along this geodesic, and moreover J(0) and are computed. By taking so that lies on the initial hypersurface , this then gives an expression for V(f) in terms of initial data which can be estimated using the Jacobi equation. In practice it is convenient to split V into its horizontal and vertical parts.
Proposition 4.8
If and is the horizontal lift of v, then is a Jacobi field, , along such that
If is the vertical lift of v, then is a Jacobi field, , along such that
Here X, the generator of the geodesic flow, is tangent to the curve .
Proof
Let be a curve in such that , . Then, by Proposition 4.6, defines a variation of geodesics. Hence
is a Jacobi field along .
Since is the identity map,
Now,
by Proposition 4.4.
Similarly, if is a curve such that (for example ), then is again a variation of geodesics. Therefore
is again a Jacobi field. Clearly, as above,
The first derivative can again be computed, using Proposition 4.4, as follows.
The Main Theorem and Bootstrap Assumptions
Characteristic Initial Data
In Theorem 5.1 below, characteristic initial data, prescribed on the hypersurfaces , , satisfying a certain smallness condition is considered. Of course, in the setting of Theorem 1.1, such data arises as induced data on two transversely intersecting null hypersurfaces, whose existence is guaranteed by a Cauchy stability argument and an application of a result of Klainerman–Nicolò [21] on the vacuum equations (6). See Section 1.2 and Section 1.3 where this argument is discussed. Characteristic initial data for Theorem 5.1 can, however, be prescribed independently of the setting of Theorem 1.1. Suppose “free data”, consisting of a “seed” –tensor density of weight ,
, on , a “seed” –tensor density of weight ,
, on , and a compactly supported function , along with certain quantities on the sphere of intersection , are given. Here denotes the mass shell over the initial hypersurfaces . The characteristic constraint equations for the system (1)–(2) take the form of ordinary differential equations and can be integrated to give all of the geometric quantities , along with their derivatives, on and once the above “free data” is prescribed. These geometric quantities, on and , are what is referred to as the “characteristic initial data” in the statement of Theorem 5.1. Appropriate smallness conditions can be made for the “free data” (and their derivatives), along with appropriate decay conditions for the seed
, in order to ensure the conditions of Theorem 5.1 are met.
The prescription of such characteristic “free data”, and the determining of the geometric quantities from them, will not be discussed further here. The interested reader is directed to [9], where this is discussed in great detail in a related setting. See also [13].
The Main Existence Theorem
Define the norms
where the second summation is taken over
and denotes the volume measure on .
The main theorem can now be stated more precisely as follows.
Theorem 5.1
There exists a large and an small such that the following holds.
Given smooth characteristic initial data for the massless Einstein–Vlasov system (1)–(2) on the characteristic initial hypersurfaces , , suppose the data on satisfy
and the data on satisfy,
Here and the variables are defined as certain combinations of Ricci coefficients and Weyl curvature components in Section 11, and is a frame for P defined by,
where is a frame for P defined in Section 8.5. Suppose also that,
in , for some fixed constants independent of , and that, in each of the two spherical coordinate charts, the components of the metric satisfy,
for some constant C uniformly on the initial hypersurfaces .
Then there exists a unique solution of the Einstein–Vlasov system (1)–(2) on , attaining the data on , , such that
where is a constant which can be made arbitrarily small provided and are taken sufficiently small. Moreover one also has explicit decay rates for the size of as and explicit bounds on weighted norms of the variables. See Section 7 and Section 11 respectively. Finally, if was chosen sufficiently large, on the mass shell over any point such that .
The norms of the Weyl curvature components are required for the Sobolev inequalities on the null hypersurfaces. See Section 6.
Bootstrap Assumptions
The proof of Theorem 5.1 is obtained through a bootstrap argument, so consider the following bootstrap assumptions for Ricci coefficients
| 66 |
for , the spherical Christoffel symbols,
for , for Weyl curvature components
| 68 |
and for the energy momentum tensor components,
| 69 |
where is some small constant23. Moreover, since a derivative of b appears in the expression for
, consider also the bootstrap assumption for an additional derivative of b,
and also for
at the top order,
Recall that
is a geometric object, an (1, 2) tensor, and so its covariant derivatives are well defined.
Note that, since the volume form of grows like , (66) is consistent with the expectation that behaves like . Moreover, (67), (71) is consistent with the expectation that
decays like , or equivalently (by Proposition 6.3 below) that the components
behave like 1 with respect to r. Since the
behave like 1, this implies the components
also behave like 1 and hence that
where,
These pointwise bounds for lower order derivatives are derived from the bootstrap assumptions (67), (71) via Sobolev inequalities in Section 6. The covariant derivatives of
are defined in each coordinate system as,
Finally, note also that (70) is consistent with . Since b is only estimated on an outgoing null hypersurface at the top order though, the Sobolev Inequalities of the next section only allow us to conclude
unlike at lower orders where the Sobolev inequalities will give,
Here and throughout the remainder of the paper C will denote a numerical constant which can change from line to line.
The Bootstrap Theorem
Theorem 5.1 will follow from the following bootstrap theorem, Theorem 5.2, via a last slice argument.
Theorem 5.2
There exist , small and large such that the following is true. Given initial data satisfying the restrictions of Theorem 5.1, let denote a characteristic rectangle of the form , with , , such that a solution to the Einstein–Vlasov system (1)–(2), attaining the given data, exists in and, for any , the bootstrap assumptions (66)–(71) hold for .
If , then the bounds (66)–(71) in fact hold at x with the constant replaced by .
Sections 6–11 are devoted to the proof of Theorem 5.2, which follows from Propositions 8.1, 9.3, 10.1, 10.2, 10.4, 11.10. The proof of Theorem 5.1, using a last slice argument, is outlined in Section 12.
Sobolev Inequalities
The Sobolev inequalities shown in this section will allow one to obtain estimates on the spheres for quantities through the bootstrap estimates (66)–(71). They are shown to hold in the setting of Theorem 5.2, i. e. for , and are derived from the isoperimetric inequality for each sphere : if f is a function which is integrable on with integrable derivative, then f is square integrable and
where
denotes the average of f on , and denotes the isoperimetric constant of :
where the supremum is taken over all domains with boundary in .
The following Sobolev inequalities are standard, see e.g. Chapter 5.2 of [9].
Lemma 6.1
Given a compact Riemannian manifold
, let be a tensor field on S which is square integrable with square integrable first covariant derivative. Then and
where , and C is a numerical constant independent of
.
Lemma 6.2
If is a tensor field on S such that
, then
where again C is independent of
.
Under the assumption that the components of
satisfy,
for some constant . It follows that
and hence there exist constants such that
| 73 |
Using this fact, Lemma 6.1 and Lemma 6.2 can be combined to give
Thus, in order to gain global pointwise control over the Ricci coefficients, curvature components and energy momentum tensor components, it remains to gain control over the isoperimetric constants . We first show the above bounds on the components of
hold under the following bootstrap assumptions. Let be the set of points such that,
| 75 |
| 76 |
| 77 |
for some constant , for all points such that , .
Proposition 6.3
If then, in each of the two spherical charts defined in Section 2.1,
at x. In particular,
Proof
Recall the first variation formula (54) which implies that,
and hence,
This gives,
and hence, using the assumption that
for some constants , where is the round metric, and the bootstrap assumptions (75)–(77),
Let and denote the eigenvalues of
such that . There exists such that and,
i.e.,
Hence,
and
i.e.
This implies that,
Returning now to the first variational formula (54),
summing over A, B and using the above bounds for the components of this gives,
Using again the bootstrap assumptions (75)–(77) and the fact that,
the Grönwall inequality implies,
The first result then follows from the fact that,
The result for
follows from this and the bounds on
above.
If is a (0, k) tensor such that , then this proposition implies that the components of satisfy
This fact will be used in Section 8, together with the bootstrap assumptions and Sobolev inequalities, to give bounds on the components of the Ricci coefficients, Weyl curvature components and energy momentum tensor components.
Lemma 6.4
If then, for , ,
so that the constant in Lemma 6.1 and Lemma 6.2 is equal to 1.
Proof
The proof proceeds as in Chapter 5 of [9].
Combining the equation (74) with the bootstrap assumptions (66) then gives
| 78 |
for . In particular, by taking to be sufficiently small, the bootstrap assumptions (75)–(77) can be recovered with better constants. Hence is open, closed, connected and non-empty, and therefore .
Note that, provided is taken to be sufficiently small, this implies that
This fact will be used throughout.
Finally, to obtain pointwise bounds for curvature on the spheres from bounds on , an additional Sobolev inequality is required.
Lemma 6.5
If is an tensor then, for any weight q,
and
Lemma 6.5 together with Lemma 6.2, equation (73) and the bound on the isoperimetric constant combine to give the inequalities,
and
for any weight w. The bootstrap assumptions (68) then give the following pointwise bounds on curvature,
| 79 |
for .
Finally, note also that, whilst (78) give the pointwise bounds
for , the bootstrap assumption (70) together with Lemma 6.5 give the additional pointwise bounds,
and (67), (71) give,
for , as discussed at the end of Section 5.
Geometry of Null Geodesics and the Support of f
The decay of the components of the energy momentum tensor come from the decay of the size of the support of f in as . The estimates on the size of the support of f form the content of this section. It will also be shown that, provided is chosen suitably large, the matter is supported to the past of the hypersurface . Recall that the results of this section are shown in the setting of Theorem 5.2, so that they hold for points .
Throughout this section will denote a null geodesic emanating from (so that ) such that . The tangent vector to at time s can be written with respect to the double null frame as
Note that in the next section notation will change slightly ( there will be a point in and the parameter s will always be negative).
Recall that, by assumption, implies that,
for some fixed constants independent of .
The main result of this section is the following.
Proposition 7.1
For such a geodesic ,
for all such that , provided is taken suitably large.
The proof of Proposition 7.1 is obtained through a bootstrap argument, so suppose is such that,
| 80 |
| 81 |
| 82 |
for all . Clearly the set of all such is a non-empty, closed, connected subset of . The goal is to show it is also open, and hence equal to , by improving the constants.
The following fact, proved assuming the above bootstrap assumptions hold, is used for integrating the geodesic equations in the proof of Proposition 7.1.
Lemma 7.2
Along such a geodesic ,
where and , provided is taken sufficiently large and .
Proof
Recall that
provided is sufficiently small, and so . Since and , this and the bootstrap assumptions (80), (81) then imply that,
provided , and hence r(0) is taken sufficiently large.
Proof of Proposition 7.1
The geodesic equation for ,
written using the notation for the Ricci coefficients introduced in Section 2.3 takes the form
Using the fact that the pointwise bounds for give,
the bootstrap assumptions (80)–(82) then imply that,
Hence, for any ,
by Lemma 7.2, and,
Taking , and hence r(0), sufficiently large then gives,
improving the bootstrap assumption (80).
Consider now the geodesic equation for ,
Recalling that,
this then gives,
where the mass shell relation (21) has been used to obtain the cancellation. Inserting the pointwise bounds for the components of and the bootstrap assumptions (80)–(82), this gives,
Again, integrating from gives,
and using the assumption on ,
If , and hence r(0) is sufficiently large this gives,
hence improving the bootstrap assumption (81).
Finally, consider the geodesic equation for , for ,
which similarly gives,
and using the bootstrap assumptions (80)–(82),
Integrating and again taking large similarly gives,
improving the bootstrap assumption (82).
The set of all such that (80)–(82) hold for all is therefore a non-empty, open, closed, connected subset of , and hence equal to .
Finally we can show that is contained in for some large.
Proposition 7.3
For a geodesic as above,
for all provided is chosen sufficiently large and .
Proof
Recall that . Since , Proposition 7.1 implies that
and so
The result then holds if
Estimates for the Energy Momentum Tensor
Recall the notation from Section 3, and the set from Theorem 5.2. The main result of this section is the following.
Proposition 8.1
If then, for , , ,
for ,
| 83 |
and,
| 84 |
and for ,
| 85 |
for some constant C.
Recall from Section 5 that describes the size of the data.
The main difficulty in the proof of Proposition 8.1, and in fact the main new difficulty in this work, is estimating derivatives of f. In Section 8.1, Proposition 8.1 is reduced to Proposition 8.2, a statement about derivatives of f. In particular, in Section 8.1 it is seen how the zeroth order bounds, , are obtained using the results of Section 4. A collection of operators , which act on functions , akin to the collection introduced in Section 3.3, is defined and used in the formulation of Proposition 8.2. In Section 8.2 additional schematic notation is introduced. This notation is used throughout the remainder of Section 8. In Section 8.3 seven more operators, , are introduced and Proposition 8.2 is further reduced to Proposition 8.6, which involves bounds on combinations of the six operators applied to f. The main observation is that the Vlasov equation can be used to replace with a combination of operators from (such that the coefficients have desirable weights) applied to f. The operators , in Section 8.4, are then used to define corresponding Jacobi fields (with respect to the Sasaki metric, defined in Section 4) . In Section 8.5 two frames for the mass shell, and , are defined. In Sections 8.6 and 8.7 bounds for the components, with respect to the frame , of the Jacobi fields, along with their derivatives, are obtained. It is transport estimates for the Jacobi equation which are used to obtain these bounds. For such estimates it is convenient to use the parallel frame , and it is therefore also important to control the change of frame matrix , also defined in Section 8.5. In Section 8.8 it is shown how Proposition 8.6 follows from the bounds on derivatives of the components of the Jacobi fields obtained in Sections 8.6 and 8.7, thus completing the proof of Proposition 8.1.
For a function , define by replacing f with h in the definition of . So for example,
In particular
This notation will be used throughout this section. Finally, it is assumed throughout this section that .
Estimates for Assuming Estimates for f
Consider the set of operators . The notation will be used to schematically denote an arbitrary operator in this set. These operators act on functions on the mass shell where, for example,
in the coordinate system on P (as usual it is assumed we are working in one of the two fixed spherical coordinate charts).
Given a collection of derivative operators from the set
, say , this will act on (0, m) tensors and give a
tensor, where is the number of times
appears in . Let denote the corresponding collection of derivative operators in where, in , each
is replaced by , each
is replaced by , and each
is replaced by . So for example if and
then
Using the results of Section 7, the proof of the case of Proposition 8.1 can immediately be given. First, however, Proposition 8.2, a result about derivatives of f, is stated. The full proof of Proposition 8.1, assuming Proposition 8.2, is then given after Proposition 8.3, Proposition 8.4 and Lemma 8.5, which relate derivatives of to derivatives of f.
Proposition 8.2
If then, for , , ,
for ,
and for ,
In the above,
Proposition 8.3
Given ,
where the last line is true for .
Proof
This follows by directly computing the derivatives of each . For example,
and
The other derivatives are similar.
Proposition 8.4
For any ,
where
and
Here is the number of times
appears in .
Proof
The proof follows by induction by writing
and using the previous proposition.
Lemma 8.5
For ,
in .
Proof
Recall that
Using the first variation formula (54),
and hence,
by the Cauchy–Schwarz inequality. Similarly, using (55),
and hence,
Finally,
hence similarly,
The higher order derivatives follow similarly.
Proof of Proposition 8.1
For the result follows using the bounds on in ,
from Proposition 7.1.
Note that
and hence, since f is preserved by the geodesic flow,
This fact and the above bounds imply
as
. One then easily sees,
and
Moreover,
and
so that,
and
For first order derivatives of , Proposition 8.4 and the pointwise bounds on
imply that,
and hence Proposition 8.2 and Lemma 8.5 imply,
Similarly for the second order derivatives, the pointwise estimates on
imply that,
and hence, by Proposition 8.3,
Proposition 8.2, Lemma 8.5 and the above bounds for therefore give,
For the third and fourth order derivatives, Proposition 8.2, Lemma 8.5, Proposition 8.3, the pointwise estimates for
and the pointwise bounds on obtained above similarly give
and
The estimates (83) and (85) now follow using Proposition 8.2 and the bootstrap assumptions for derivatives of
and
.
To obtain (84) first compute,
The result then follows by integrating from to u and using (85).
Schematic Notation
To deal with some of the expressions which arise in the remainder of this section it is convenient to introduce further schematic notation. Like the previous schematic notation introduced in Section 3.1, this notation will make it easy to read off the overall r decay of complicated expressions.
Throughout most of this section we will consider a point and the trajectory of the geodesic flow through this point. The trajectory will be followed backwards to the initial hypersurface, so s will be negative. Note that
where is the unique geodesic in such that , . The expressions and will be used interchangeably. Also and will both be used to denote the component of with respect to the frame . Note the slight change in notation from Section 7 where lay on the initial hypersurface and s was positive.
Recall from Section 7 that, for such a geodesic, will remain bounded in s (and in fact will be comparable to ), whilst will all decay like . The notation will be used to schematically denote and to schematically denote any of ,
so that,
Certain vector fields, K, along will be considered later. If denote the components of K with respect to the frame24 , so that,
then it will be shown that, for all such K considered, will always be bounded along , and can grow at most like r(s). Therefore will be used to schematically denote and will schematically denote ,
so it is always true that,
Finally, let
,
schematically denote the following quantities,
where denotes the one-form
, for . This notation will be used for schematic expressions involving the components of Weyl curvature components, Ricci coefficients and energy momentum tensor components. If is a (0, k) tensor, write,
to schematically denote any of the components,
Note that, if
, then the bounds,
imply that,
where here denotes the usual absolute value on . For example, the sum of the components
decays like and is schematically written,
where in the summation for each of the two terms. Looking at the summation on the right hand side, it is straightforward to read off that each term should decay like .
Similarly, if is a (k, 0) tensor, write,
to denote any of the components
Since
, if
then,
For example, allowing to also denote , to also denote etc.,
where in the summation now for each of the two terms. Again, the subscript of the summation on the right hand side allows us to immediately read off that the components
decay like .
Finally, if is a
tensor, write,
to schematically denote any of the components,
For example,
and it can immediately be read off from the subscript of the summation that the components
decay like . Note that, in this notation, it is clearly not necessarily the case that no appear in the expression
Vector Fields on the Mass Shell
Consider the vectors defined by,
for . The proof of Proposition 8.2 reduces to the following.
Proposition 8.6
At any point , if , then, for ,
and
The vectors , together with given by,
form a basis for . They are preferred to the operators introduced in Section 8.1 as, in view of Proposition 4.8, it is much more natural to work with vectors divided into their horizontal and vertical parts. It will be shown below that is uniformly bounded for .
Remark 8.7
It is not the case that is uniformly bounded, for . In fact, grows at the rate r(x) as . It is for this reason the term also appears in . A cancellation will later be seen to occur in these two terms, so that is uniformly bounded.
In Section 8.4, the vector fields are used to define corresponding Jacobi fields, , along . The boundedness of will follow from bounds on the components of for . Whilst it is true that is uniformly bounded, the appropriate bounds for the components of the Jacobi field corresponding to do not hold. This is the reason derivatives of f are treated separately in the proof of Proposition 8.2 below, and do not appear in Proposition 8.6. See also the discussion in Remark 8.8.
Similarly, the components of the Jacobi field corresponding to do not satisfy the appropriate bounds. The term in appears for this reason. The bound on can easily be recovered from the bound on using the below observation that the Vlasov equation can be used to re-express in terms of other derivatives of f.
Below is a sketch of how Proposition 8.2 follows from Proposition 8.6.
Proof of Proposition 8.2
Recall the point is fixed. The goal is to estimate where , , and is the number of times or appears in . Since span , clearly can be written as a combination of terms of the form , where and . It remains to check that the can be eliminated and then that the coefficients in the resulting expressions behave well. This is done in the following steps.
- First rewrite as
where , the are constants and are powers such that . The terms in the sum are lower order and so, by induction, can be viewed as having already been estimated “at the previous step”, so they are ignored from now on. The factor in the first term will vanish when the norm is taken with the metric
and so is also ignored. Rewrite each in terms of the vectors defined above,
- In the resulting expression bring all of the coefficients of the vectors out to the front to get
where the are combinations of terms and derivatives of components of
and b. Clearly involves at most derivatives of the components of and
, and derivatives of components of b. Moreover, using the bootstrap assumptions from Section 5 they are bounded with respect to r. Hence for , for and for . - For each in the above expression containing at least one , commute to bring the innermost to the inside. Relabelling if necessary, this gives
for some (new) as above. - Use the Vlasov equation (see Example 4.1) to rewrite
Rewrite this right hand side in terms of and repeat Step (3) to bring the coefficients to the outside of the expression. - Repeat steps (4) and (5) to eliminate all of the terms to leave
where the have the correct form as above.
The result now clearly follows from Proposition 8.6.
Remark 8.8
The vector should be compared to the vector
In the context of Theorem 5.1, where in , the term is not the dominant one in S. Recall also that v here is comparable to r.
Given any vector , in the sections to follow it is shown that there exists a vector field J on P such that Jf satisfies the Vlasov equation and J coincides with V at the point . For it will be shown that the corresponding J are all of size 1 (independent of the point x) at the initial hypersurface . Whilst this is not the case for the vector field J corresponding to S, a form of the following observation was used in the proof of Proposition 8.2. The vector field J corresponding to S has a large component, but this component points in the X direction and hence vanishes when applied to f. A manifestation of this fact is brought to light through the fact that , where denotes the generator of the null Minkowski geodesic flow and, with a slight abuse of notation, S now denotes the vector field on the mass shell over Minkowski space.
Note that this observation is not specific to the massless case, i.e. the identity is still true if now denotes the Minkowski geodesic flow restricted to the hypersurface for . A form of this observation is used in the work [16].
The Jacobi Fields
Define vector fields along the trajectory of the geodesic flow by
for .
Since
by the chain rule,
Taking so that lies on the mass shell over the initial hypersurface , this relates to intial data. By Proposition 4.8, is in fact a Jacobi field and hence can be controlled using the Jacobi equation.
Note that so far the Jacobi fields are only defined along the trajectory . Since higher order derivatives of f will be taken it is necessary to define them in a neighbourhood of the geodesic in P. They are in general defined differently depending on what the higher order derivatives to be taken are. When considering the quantity
for the Jacobi fields are extended so that
as follows.
If then define a curve , for some small , such that
i.e. is the integral curve of through (x, p). Set along and let . Now the expression is defined along and has the desired property that .
Similarly, if define a variation of curves so that
So the curve is the integral curve of through (x, p), and, for fixed , the curve is the integral curve of through . Set
for , and,
for . Now the expression is defined along and moreover,
Finally, if , similarly define so that
and similarly set
for .
Two Frames for P and Components of Jacobi Fields
Let be the time such that , where is the natural projection. The definition of the Jacobi fields of Section 8.4 imply that, for ,
and so Proposition 8.6 will follow from appropriate estimates for .
Recall from Section 2 that denote the restrictions of to P and denote the corresponding partial derivatives with respect to the coordinate system for P. For every define the frame of horizontal and vertical vectors for P by
Recall the expressions (19), which imply,
The vectors , for , are used rather than the vectors which grow like r. For let denote the components of J with respect to this frame. So
Define also the frame for P along by
for . Here denotes the geodesic in , so that , and denotes parallel transport along .
Let denote the change of basis matrix from to , so that
| 86 |
Note that, at ,
Remark 8.9
In the following, when tensor fields on P are written in components, these will always be components with respect to the frame . So if J is a Jacobi field then denote the components such that
When writing components with respect to the parallelly transported frame , the matrix will always be used. So,
Latin indices i, j will always run from .
It will be necessary in the following sections to estimate the components of and , and certain derivatives, along . It is therefore necessary to derive equations satisfied by the components of and .
Proposition 8.10
The components of the matrices and satisfy the equations,
| 87 |
and
| 88 |
respectively, for . Here denote the components of with respect to .
Proof
Using the fact that,
for all j, equation (86) gives,
This can be written as the system of equations (87).
Similarly, writing gives,
This yields the system (88).
Now,
so estimates for follow from estimates for the components and derivatives at since and are assumed to be bounded pointwise by assumption. See Theorem 5.1. Higher order derivatives can similarly be expressed in terms of derivatives of components of Jacobi fields. This is discussed further in Section 8.8. It is hence sufficient to just estimate the derivatives of components,
for . These estimates are obtained in the next two subsections in Propositions 8.17, 8.22, 8.26, 8.27. In Section 8.8 they are then used to prove Proposition 8.6.
Pointwise Estimates for Components of Jacobi Fields at Lower Orders
For the fixed point , recall that denotes the parameter time s such that . The goal of this section is to show that the components of the Jacobi fields , with respect to the frame , are bounded, independently of (x, p), at the parameter time , and then similarly for the first order derivatives , for , . Second and third order derivatives of the Jacobi fields are estimated in Section 8.7.
The estimates for the components of are obtained using the Jacobi equation
which in components takes the form,
| 89 |
There are two important structural properties of the right hand side of equation (89), essential for obtaining good global estimates for the Jacobi fields. The first involves the issue of regularity. Given that derivatives of components of the energy momentum tensor appear in the Bianchi equations as error terms, it is important to estimate derivatives of , and hence the components of , at one degree of differentiability greater than the Weyl curvature components . It is therefore important that the right hand side of equation (89) has the correct structure to allow the components of the Jacobi fields to be estimated at this level of regularity.25 The second important property concerns the issue of decay. Since equation (89) is used to estimate the Jacobi fields globally, it is important that the right hand side is twice globally integrable. Recall that denotes the curvature tensor of the induced Sasaki metic on P and, by Proposition 4.7, can be expressed in terms of the curvature tensor R of . In order to check that the right hand side of (89) indeed has the two above properties, is expressed in terms of R, which is then expanded in terms of , . It is then written using the schematic notation of Section 8.2, which allows one to easily read off the decay and regularity properties.
First, by Proposition 4.7,
| 90 |
Here and are defined by
so that
For a vector , denotes the projection of to P. So, for each on the trajectory of the geodesic flow through (x, p),
It is tempting to view as vector fields on , though this is not strictly the case as the value of depends not only on y but also on q. Some care therefore needs to be taken here.
In view of the above discussion regarding the regularity of the right hand side of (89), the presence of the derivatives of R in the expression (90) seem, at first glance, to be bad. On closer inspection however, one sees that such terms are always horizontal or vertical lifts of derivatives of R in the direction. Since the components of are estimated by integrating the Jacobi equation (89) twice in s, the fact that the potentially problematic terms, when integrated in s, in fact lie at the same level of differentiability as R can be taken advantage of. In other words, the derivatives of R appearing on the right hand side of the Jacobi equation (89) always point in exactly the correct direction so that transport estimates for the Jacobi equation (89) recover this loss. In order to exploit this fact, it is convenient to rewrite the expression (90), using Proposition 4.4, as,
| 91 |
The above observations explain how (89) can be used to give good estimates for from the point of view of regularity. In order to obtain global estimates however, it is also important to see that (91) has the correct behaviour in r so as to be twice globally integrable. This can be seen by rewriting (91) in terms of , and using the bootstrap assumptions (68), (69), along with the the asymptotics for obtained in Section 7, being sure to allow certain components of J to grow like r. Consider, for example, just the first term in (91). Recall the identity,
For a vector field K along in , let denote the components of K with respect to ,
Using the form of the metric in the double null frame,
Hence,
This can schematically be written as
which, as the schematic notation now makes clear, decays like and hence is twice globally integrable. Note that the summation on the right hand side of (93) can actually always begin at 3, except for terms involving . This fact is important when estimating higher order derivatives of Jacobi fields in Section 8.7 and will be returned to then.
Recall, from Section 8.2, that is used to schematically denote , , or . It is important to denote as such since the , and components of some of will be allowed to grow at rate r.
Clearly, in order to use the Jacobi equation (89) to estimate the components of , several additional points need to first be addressed. First, it is obviously important to understand how the matrix , along with its inverse , behaves along . Moreover, since the terms in involving derivatives of R have to be integrated by parts, it is also important to understand how the derivative of , , behaves along . An understanding of the behaviour of these matrices is obtained in Proposition 8.14 below using the equations (87), (88). Since the components of appear in equations (87), (88), they are written in schematic notation in Proposition 8.12.
Secondly, it is necessary to understand the initial conditions,
for the Jacobi equation (89). These initial conditions are computed in Proposition 8.15. The reader is encouraged on first reading to first set equal to zero (i.e. to consider the Jacobi fields on a fixed Minkowski background) in order to first understand the argument in this simpler setting. The Jacobi equation (89) can, in this case, be explicitly integrated and explicit expressions for the components of the Jacobi fields, , can be obtained. It is clear that, even in this simplified setting, in order to obtain the appropriate boundedness statements, certain cancellations must occur in certain terms arising from and certain terms arising from for some of the Jacobi fields. Lemma 8.11 below is used to exploit these cancellations in the general setting.
Finally, it is convenient to write some remaining quantities appearing in the expression (91) in schematic notation. This is done in Proposition 8.13.
The zeroth order estimates for the components of are then obtained in Proposition 8.17, with Lemma 8.16 being used to make the presentation more systematic.
To obtain estimates for first order derivatives of the components of , for , the Jacobi equation (89) is commuted with , for . The fact that is a Jacobi field along , a curve in P whose tangent vector is X, guarantees that , i.e. commutes with . It is now crucial to ensure that the schematic form of the error terms is preserved on applying , e.g. must have the same, globally twice integrable, behaviour in r as , for . Moreover, in obtaining the zeroth order estimates, it was important that the bound
was true in order that the right hand side of the Jacobi equation (89) could be twice integrated in s. It is therefore also important to also ensure that,
Note that this property is completely independent of the behaviour in r. Proposition 8.18 is motivated by showing these properties of the error terms are preserved. In order for this to be so, it quickly becomes apparent that, at the zeroth order, it is necessary to show that for . Also, on inspection of Proposition 8.18, one sees that contains terms of the form,
for . The presence of such terms means that, in order to see that has the correct behaviour, it is necessary to ensure that, for each , either is not merely bounded at , but behaves like along , or that an appropriate cancellation occurs between the and terms. It is hence necessary, at the zeroth order, to not just show boundedness of the components at , but to understand their behaviour along in more detail. To gain this understanding it also becomes necessary to understand properties of the change of frame matrices, and , in more detail. See Proposition 8.14 and Proposition 8.17. In order to further commute the Jacobi equation (89), to estimate second and third order derivatives of the components of the Jacobi fields, it is also necessary to understand more detailed properties of first order derivatives of the components of the Jacobi fields.
As preliminaries to the estimates for the first order derivatives of the components of the Jacobi fields, which are treated in Proposition 8.17, relevant properties of first order derivatives of and are understood in Proposition 8.20, along with relevant properties of first order derivatives of the initial conditions for the Jacobi equation in Proposition 8.21.
The following Lemma, recall, will be used to exploit certain cancellations in terms arising from the initial conditions for the Jacobi equation (89).
Lemma 8.11
For ,
where C is a constant independent of (x, p).
Proof
Note that
and so
Recall that , and the geodesic equation for ,
which implies that,
Hence,
Note that Lemma 8.11 in particular implies that
and also,
for .
In the following two propositions, terms arising in the equations (87), (88) for and , and in the expression (91) for are respectively written in schematic form.
Proposition 8.12
In schematic notation, if , then
and moreover, if or vice versa,
Also,
for .
Note that the second summation in each line guarantees that terms involving Weyl curvature components and energy momentum tensor components decay slightly better than the others. This fact is important and will be returned to in Proposition 8.23. Note also that, if
is just regarded as , the terms involving
above also decay slightly better. This extra decay is important at higher orders because of the weaker bounds we have for
.
Proof
Using Proposition 4.4 and the table of Ricci coefficients (24)–(28), one derives,
where, for a vector Y on , denotes the projection of to P. The terms involving the curvature R of can be found explicitly in terms of by setting or in the expression (92). For example, in the above expression for ,
The result follows by inspecting each of the terms and writing in schematic notation.
Using the bootstrap assumptions for the pointwise bounds on
and the fact that , Proposition 8.12 in particular gives,
for ,
for all or vice versa, and
for . These facts are crucial for showing the schematic form of the error term in the Jacobi equation (see Proposition 8.18 below) is preserved after taking derivatives. Recall, by Proposition 7.1,
for all , for some constants c, C which are independent of the point . So in the above expressions can either be taken to be evaluated at time s or time 0.
Proposition 8.13
In schematic notation,
Proof
Using the table of Ricci coefficients (24)–(28) one can compute,
In the next proposition, estimates for the components of the matrices , are obtained.
Proposition 8.14
If is sufficiently large then the matrix satisfies,
for all . Moreover, if or vice versa,
and
for . Similarly, for ,
for all . Moreover, if or vice versa,
and
for . Here C is a constant independent of (x, p).
Proof
The proof proceeds by a bootstrap argument. Assume, for some , that
| 94 |
for and that
| 95 |
for or vice versa, for all , where is a constant which will be chosen later. These inequalities are clearly true for . For any , equation (87) and Proposition 8.12 imply that,
for all . Hence,
Choose large so that , and large so that , i.e. . Then,
The set of such that the bootstrap assumptions (94) hold is therefore non-empty, open, closed and connected, and hence equal to .
Suppose now , or vice versa. Equation (87) and Proposition 8.12 then imply,
using now the second bootstrap assumptions (95). Proceeding as before, this implies that
if are sufficiently large, where we use the fact that . Hence (95) also holds for all .
Returning now to equation (87) and setting , for , the final part of Proposition 8.12 gives
for all . Integrating then gives the final part of the proposition for . The result for follows identically, using equation (88).
In the next proposition the initial conditions for the Jacobi equation (89) are computed.
Proposition 8.15
The Jacobi fields , along with their first order derivatives in the X direction, take the following initial values.
for ,
for , and
The expressions involving the curvature tensor R of can be written explicitly in terms of and using the expression (92).
Proof
The proof follows directly from Proposition 4.8.
The components of the Jacobi fields can now be estimated along . Recall that it is important, in order to show the schematic form of the Jacobi equation is preserved after commuting with Jacobi fields, to identify the leading order terms of some of the components. The leading order term of is also identified in order to carry out a change of variables in the proof of Proposition 8.6. See Section 8.8.
The following lemma will be used.
Lemma 8.16
If are functions along for then
for ,
for , and
Proof
The proof follows by using the fundamental theorem of calculus to write,
and using the estimates for the components of from Proposition 8.14.
Proposition 8.17
If is sufficiently small, , then
for ,
and
for , otherwise,
for all , , and
for all . Here is independent of the point (x, p) and of s.
Proof
The result is shown using a bootstrap argument. For each , assume that, for some constant which will be chosen later, is such that
| 96 |
for ,
| 97 |
for , and
| 98 |
for all .
Suppose first that . By Proposition 8.15 and the fact that,
it follows that,
for , and
for . Using the fact that,
and
for all , Lemma 8.16 immediately gives
for , and
for , and
Note also that,
and hence Lemma 8.16 moreover gives,
If then, using the fact that
(see the proof of Lemma 8.11), Lemma 8.11 and Proposition 8.15 imply that
for , and that,
for , and
for . Lemma 8.16 then gives,
for ,
for ,
for , and
Similarly, using the fact that,
etc., the bounds for ,
and,
for ,
for , and
can be obtained.
It remains to recover the bootstrap assumptions (96)–(98) with better constants. It will be shown that, for each ,
| 99 |
for ,
| 100 |
for , and
| 101 |
where is a constant depending on . By integrating the Jacobi equation (89) and taking small depending on , the bootstrap assumptions (96)–(98) can then be recovered with better constants. This implies that the set of such that (96)–(98) hold for all is non-empty, open and closed, and hence that (96)–(98) hold for all .
Consider first the first term in the expression (91) for ,
The components of this term with respect to are exactly the components of with respect to the frame for . From the schematic expression (93), the pointwise bounds on the components26 of and the fact that , one immediately sees that,
and hence, by Proposition 8.14,
for . Other than those in the bottom line, the remaining horizontal components in the expression (91) can be treated similarly using also Proposition 8.13 and the pointwise bounds on the components of
. For the term
in the bottom line of (91), write
| 102 |
where runs from 1 to 4 in the summations. The horizontal components of the second term of (102) can be estimated exactly as the others using Proposition 8.12. For the components of the first term, write,
for . Then using again the schematic expression (93), the pointwise bounds on , and Proposition 8.14, the terms in the Jacobi equation (89) which the first term of (102) give rise to can be estimated,
The vertical terms in (91) are similarly estimated as follows. Notice now that, ignoring the term
in the bottom line of (91) for now, each term contains at least three factors and moreover that, since Proposition 8.13 guarantees that the terms involving gain an extra power of decay. Similarly, since , one can check,
and hence the terms involving also gain an extra power of r decay. Similarly for the vertical terms arising from the second term in (102), by Proposition 8.12. Since
is quadratic in R this term also decays better. Hence, using also Proposition 8.14, one sees all the vertical terms in (91), still ignoring the final term in the bottom line, can be controlled by27
For the final term, write
where runs over 1,2,4 and . The components of the second term can be estimated as before (with the additional r decay) by Proposition 8.12. The components of the first term can again be estimated after integrating,
and hence
The bounds (99)–(101) are thus obtained.
Suppose now . Since is a Jacobi field along , a curve with tangent vector field X, it is true that and the Jacobi equation for the components of can be commuted with to give,
The goal now is to repeat the proof of Proposition 8.17 to get pointwise estimates for along . It is first necessary to show that the schematic form of is preserved after differentiating the components with respect to .
As with the notation introduced in Section 8.2, for , let the components be schematically denoted as follows,
By Proposition 8.17, it is always true that
for some constant C.28
Proposition 8.18
For ,
for any appearing in the schematic expressions of this section,
and
Proof
In the schematic expressions of this section, always denotes (a constant multiple of) . One easily checks,
For the second part, writing , by direct computation,
One easily sees these two expressions have the desired schematic form. For , recall,
so that
The result follows by expanding
and using the previous two expressions.
The last point is immediate from Lemma 3.4.
Note that it is the terms in the last line of (103) which make it necessary to keep track of the leading order terms in some of the Jacobi fields.
Remark 8.19
One easily sees that the last point from Proposition 8.18 is true at higher orders, i.e.,
for . This fact will be used later when estimating higher order derivatives of the Jacobi fields.
Using the bounds on the components of from Proposition 8.17, Proposition 8.18 in particular guarantees that
for .
In order to mimic the strategy used to obtain the zeroth order estimates of the components of the Jacobi fields, estimates for along are first obtained, then the initial conditions for are computed in Proposition 8.20 and Proposition 8.21 respectively.
Proposition 8.20
If is sufficiently large, for the matrix satisfies,
for . Moreover, if , or vice versa,
Similarly for ,
for . Moreover, if , or vice versa,
Proof
The proof follows that of Proposition 8.14 by first, for , making the bootstrap assumptions,
for ,
for or vice versa, for all . Note that at time ,
for all J, k, j. Using the schematic expressions for the components of from Proposition 8.12 and the fact that this schematic structure is pressured by Proposition 8.18, the commuted equation for ,
can be estimated exactly as in Proposition 8.14. Similarly for .
The next proposition gives pointwise estimates for the initial conditions for the commuted Jacobi equation. As was the case for the uncommuted equation, the leading order terms of some of the components have to be subtracted first.
Proposition 8.21
At time ,
for ,
and
for , otherwise,
for ,
for otherwise,
for all , and
for all .
Proof
Consider the expressions for before Proposition 8.17. The proof follows by applying to the components, noting that,
for , and that, by Proposition 8.18, one has the same pointwise bounds for applied to the terms involving curvature as one does for the terms involving curvature alone.
Proposition 8.22
For , if is sufficiently small then,
for ,
for , otherwise,
for all , such that , and
for all . Here is independent of the point (x, p) and of s.
Proof
The proof follows that of Proposition 8.17. The commuted Jacobi equation takes the form
since . Assume that is such that
for ,
for , and
for all , for all , where is a large constant which will be chosen later. For this immediately gives
By Proposition 8.20, and Proposition 8.17,
and hence, by Proposition 8.21 and the fact that,
this implies,
for ,
and
for otherwise, for all , where Proposition 8.14 has also been used. Similarly,
for ,
for , otherwise, and
for all , for all .
The remainder of the proof proceeds exactly as that of Proposition 8.17, recalling that . By Proposition 8.18 and Proposition 8.20 one has the same bounds for,
the right hand side of the commuted Jacobi equation, as for the uncommitted equation since the bootstrap assumptions of Section 5 and the Sobolev inequalities give pointwise bounds for
.
Estimates for Components of Jacobi Fields at Higher Orders
To estimate and , the Jacobi equation needs to commuted three and four times respectively. This will generate terms involving two and three derivatives of Ricci coefficients, Weyl curvature components and energy momentum tensor components. The higher order derivatives of the components of the Jacobi fields must therefore be estimated in . They will additionally only be estimated after integrating in momentum space, i.e. after integrating over .
Given and , define to be the parameter time such that , where is the natural projection map. In this notation,
where is defined in Section 8.5.
The goal of this section is to show that, for all , , the quantities
| 104 |
for each
, can be controlled, for all , by up to two and three derivatives of Ricci coefficients, curvature components and energy momentum tensor components respectively. It will then be possible to estimate the quantities (104) after taking appropriate weighted square integrals.
The case where two derivatives of the components of the Jacobi fields are taken will first be considered. Mimicking again the proof of the zeroth order estimates, second order derivatives of the matrices and are first estimated, followed by estimates for second order derivatives of the initial conditions for the Jacobi equation in Proposition 8.23 and Proposition 8.25 respectively. The following Proposition should therefore be compared to Proposition 8.14 and Proposition 8.20.
Proposition 8.23
If is sufficiently large, , then, for all ,
for , and
for , or vice versa, for all . Similarly for ,
for , and
for , or vice versa. Here C is a constant which is independent of the point (x, p) (but depends on ) and
Remark 8.24
It should be noted that the norm on incoming null hypersurfaces of the quantities
will be shown to be uniformly bounded. Direct comparison with the behaviour of and from Proposition 8.14 and Proposition 8.20 respectively can therefore be made. The terms involving curvature components, energy momentum tensor components and b can similarly be controlled after taking their weighted norms on incoming null hypersurfaces. See Section 8.8 below.
Proof of Proposition 8.23
The proof proceeds by a bootstrap argument. Suppose is such that, for each , for ,
| 105 |
for all , where is a large constant which will be chosen later. Note that
so this is clearly true for .
Now,
| 106 |
since , , and
for .
By Proposition 8.18, Proposition 8.17 and Proposition 8.12,
for all . Also, by Proposition 8.20,
for all . Hence,
recalling from the proof of Proposition 8.1 that,
Similarly,
Using the bootstrap assumptions (105) and the pointwise bounds,
from Proposition 8.12, clearly have,
Now, using the schematic form of from Proposition 8.12, recalling the better decay for the terms involving Weyl curvature and energy momentum tensor components, the bounds for from Proposition 8.14, Proposition 8.18 and Propositions 8.17, 8.22,
Note that,
and similarly,
Also,
and similarly,
and
Hence, integrating equation (106) from to v(x) and using the fact that,
it follows that
Now choose large so that , where C is the constant appearing in the above inequality, and large so that . Then,
and the bootstrap assumption (105) has been recovered with a better constant. Hence the set of such that the bootstrap assumption (105) holds for all is non-empty, open and closed and hence equal to .
The proof of the second part follows by making the bootstrap assumption,
| 107 |
for all , for or vice versa. The proof proceeds as before, now using the fact that
and
for , or vice versa.
The proof for is identical.
The next proposition gives estimates for the initial conditions for the commuted Jacobi equation. Again, the leading order terms of some of the components have to be subtracted first.
Proposition 8.25
At time ,
for ,
and,
for , otherwise,
for ,
for otherwise,
for all , and
for all .
Proof
Again follows from considering expressions for , differentiating the components and using the fact that,
for , as in Proposition 8.21.
Proposition 8.26
If is sufficiently large, , then, for each ,
for ,
and
for , otherwise,
for ,
for , otherwise, and,
where,
Proof
Suppose is such that the following bootstrap assumptions hold for all ,
for all , ,
for , and
Here is a large constant which will be chosen later.
Note that, for each ,
The proof of this fact is identical to that of Lemma 8.11, using the fact that . Using this fact along with Proposition 8.25 and Lemma 8.11, the bootstrap assumptions immediately give,
for ,
and
for , otherwise,
for ,
for , otherwise, and,
It remains to recover the bootstrap assumptions with better constants. This again uses the twice commuted Jacobi equation in components, which takes the form,
By Propositions 8.17, 8.22, 8.20, 8.23, 8.14, 8.18, the expression (91) for , the schematic expression (93)29, the fact that30
Proposition 8.12, and the fact that , the above bounds on,
imply, for ,
where the fact that,
has also been used. Now,
so is estimated by integrating (108) from to v(x). Consider the first term on the right hand side of (108),
so,
where the terms arising from are contained in
For the second term on the right hand side of (108),
For the final terms,
and similarly,
and
Hence,
Now,
and hence,
Integrating each term on the right hand side of (109) then gives,
Taking large so that , this then recovers the first bootstrap assumption with a better constant. The other bootstrap assumptions can be recovered similarly. Hence the set of where they hold is non-empty, open and closed and hence equal to .
Finally, at the very top order, we have the following.
Proposition 8.27
If is sufficiently large, , then, for each ,
for ,
and
for , otherwise,
for ,
for , otherwise, and,
where,
Proof
The proof is identical to that of Proposition 8.26, using appropriate versions of Propositions 8.23 and 8.25.
Proof of Proposition 8.6
The proof of Proposition 8.6 follows from Propositions 8.17, 8.22, 8.26, 8.27.
Proof of Proposition 8.6
Recall the frame from Section 5 defined by,
Recall also from Section 8.5 that,
for . By assumption,
and so Proposition 8.17, which gives,
implies that,
Hence,
Similarly,
Again, by assumption,
hence Proposition 8.17 and Proposition 8.22, which in particular gives,
imply that,
and hence,
For the third order derivatives recall that,
| 110 |
The second terms can be estimated pointwise as before, as can the final terms using the assumption,
Consider the estimate for on the incoming, constant, hypersurface. The above pointwise bounds clearly give,
so it remains to estimate the first term in (110). Proposition 8.26 gives,
for , and,
for , where is defined in Proposition 8.26. Consider first the final terms in . Clearly,
by the bootstrap assumptions of Section 5. For , and,
and hence,
by the bootstrap assumptions for the weighted integral of on the outgoing null hypersurfaces. This, together with the assumption on the initial data gives,
Consider now the first term involving in . By the Cauchy–Schwarz inequality,
Hence, using the fact that
and that ,
where are the two spherical charts. We now perform the change of coordinates,
where
with . The determinant of the Jacobian of this transformation is equal to the determinant of,
Note that,
and
Hence,
Proposition 8.17 and the bootstrap assumptions for the Ricci coefficients therefore imply that31
Similarly,
and
Hence, if is taken suitably large,
for some constants independent of (x, p). The determinant of the Jacobian of the transformation is therefore controlled from above and below independent of r, hence,
and
Similarly, for the remaining terms in ,
Hence,
Consider now the fourth order derivatives of f. For ,
can be written as a sum of,
and terms which involve lower order derivatives and can be treated as before. Clearly the second term can also be treated as before using Proposition 8.17 and the assumption,
so consider just the first term. By Proposition 8.27,
where is defined in Proposition 8.27. Using the same argument as for (except for the terms32),
Hence,
The proof then follows from the considerations of Section 8.3.
Estimates for Weyl Curvature Components
The Weyl curvature components are estimated in on null hypersurfaces through weighted energy estimates for the Bianchi equations. The main proposition of this section, Proposition 9.3, will show that, at any point (see Theorem 5.2), the bootstrap assumptions for curvature (68) can be retrieved with better constants.
Each Bianchi pair is assigned a weight q,
| 111 |
The energy estimates will be derived by integrating the following identities over a spacetime region.
Lemma 9.1
The following identities hold for any k,
where denotes the spacetime divergence.
Proof
The proof follows by applying the product rule to each term on the left hand side of each identity. For the first terms each Bianchi equation contracted with its corresponding weighted curvature component is used, i.e. equation (60) contracted with , and equation (61) contracted with . Then use the fact that
and
For the final term on the left hand side of each identity, use the fact that
The proof of (114) is presented to illustrate a cancellation which occurs in (113), (114), (115). Suppose, to reduce notation, that . Clearly,
Note that in the expression for the term generated by
acting on exactly cancels the term to leave . This cancellation occurs precisely because the weight was chosen for the Bianchi pair . This resulting term, and most of the others, have the same form as the error terms and so can be absorbed to give,
Terms of the form , which would appear if any weight other than had been chosen, would not have the correct form to be absorbed by the error term in the expression for . The proof follows by computing
.
Remark 9.2
The weights (111) were chosen carefully so that a cancellation would occur in the above identities, as illustrated in the proof. This cancellation does not occur in the identity for the Bianchi pair . It would if the weight had been chosen. This would however lead one to impose a faster rate of decay for along , consistent with the decay required for a the spacetime to admit a conformal compactification. The estimates will close without imposing this stronger decay.
Proposition 9.3
If and , , then
for some constant C.
Proof
Integrating the identity (112) over the spacetime characteristic rectangle for a fixed gives33
Clearly
and
using the bootstrap assumptions for and the upper bound for . In Lemma 9.4 below it will be shown that
for each Bianchi pair . Hence
Repeating this for each of the identities (113),(114),(115) for and summing then gives
| 116 |
and
| 117 |
Note that doesn’t appear in so that the term involving from the identity (115) is estimated slightly differently:
where the last line follows from the inequality
using the bootstrap assumption for and the fact that in the “wave zone”. Similarly for the terms involving .
Applying the Grönwall inequality to equation (116) and using the fact that gives
Inserting this in equation (117) gives
It remains to prove the following lemma which provides control over the error terms.
Lemma 9.4
Under the assumptions of Proposition 9.3, for each Bianchi pair ,
Proof
For the sake of brevity, unless specified otherwise will denote the integral
Consider first the errors in the
Bianchi equations. Recall from Proposition 3.3 and Proposition 3.6 that
for , and
| 118 |
The first term in will contribute terms of the form to the error where (recall that ) and these can be dealt with easily
The second term in will contribute terms of the form where and . Note also that, since , at most one of or can be greater than 1. Assume first that .
Suppose , then and
where the first line follows from the Sobolev inequality (78) (and the fact that ) and uses . The third line uses the fact that (and recall that ).
If or then and the second term in the second line above would be which can’t be controlled by the last line. The sum in the error (118), however, begins at for and , and so in the first line in the above would have . Using this fact these terms can be controlled.
If then it must be the case that . The above steps can then be repeated but using the Sobolev inequality (79) for . For then get
where the last line now uses the fact that
| 119 |
by the bootstrap assumption (66) and the fact that in the “wave zone”. Similarly for .
The third term in will contribute terms of the form to where and . Recall that, if or then actually . If then and,
by Proposition 8.1. Similarly, if or , then and , so and,
The final term in contributes terms of the form with , and , or if or . These terms can be dealt with as before using the fact that either or , and the pointwise bounds for from Proposition 8.1.
The final terms in , i.e. the terms of the form etc. can be dealt with similarly (since all of the terms in are zeroth order and the numerology for the Sobolev inequalities still work out).
The errors in the
Bianchi equations can be dealt with in a similar manner. First recall that
and
| 120 |
Recall also that the first summation in the error (120) always begins at , except for the term appearing in .
Assume first then that . Terms in the first sum (120) will then contribute terms of the form to the error , where , and at most one of is bigger than 1. Again, suppose first that . If then 34 and so
If then will have terms of the form with , however . Hence
The second summation in , (120), will contribute terms of the form to , where and . Since ,
The final summation in (120) contributes terms of the form to , where , and . These terms can be treated similarly using the fact that either or , and the pointwise bounds for from Proposition 8.1.
The remaining terms in can again be dealt with similarly. It is important to note that and both contain zero-th order derivatives only of and . Whilst does contain first order derivatives of the form , they only appears in multiplying . Hence, when these terms (for ) appear in , it will always be possible to control one of the terms in the product pointwise via the Sobolev inequality.
Transport Estimates for Ricci Coefficients
In this section the Ricci coefficients are estimated in on each of the spheres through transport estimates for the null structure equations. This is done by using the identities, which hold for any scalar function h,
and
with .
The quantities and are treated separately. Recall the set from Theorem 5.2.
Null Structure Equations in the Outgoing Direction
Consider first the quantities, which satisfy null structure equations in the outgoing direction.
Proposition 10.1
If and , then, for each and each ,
for some constant C.
Proof
Recall from Proposition 3.8 that the null structure equations in the 4 direction take the form
Using the renormalisation of Remark 3.2 and the fact that , the identity (121) with implies that
where in the last line the term has been absorbed into the error .
Note that a precise cancellation occurs here. If one were to apply (121) with for any , there would be an additional term of the form in the integral in the last line above. It would not be possible to deal with this term as the terms in are dealt with below.
Integrating gives
so that it remains to bound the error terms.
Recall that
for and
| 123 |
The first term in (123) will contribute a term of the form to the error . This term can be easily dealt with as follows. Here will be used to denote the integral
(instead of the full spacetime integral in Section 9). By the Cauchy–Schwarz inequality,
The first term is clearly bounded by as in (119). Using the fact that the only curvature components appearing in the
equations are (so that ), one can explicitly check that the second term can be controlled by and hence, by the bootstrap assumption (68),
Consider now the terms in arising from the first sum in (123). These will all be of the form where and and so
The terms arising from the second sum will have the form where , and, since , interchanging and if necessary, . These terms can be dealt with exactly as the previous terms by using the Sobolev inequality (78) on .
Similarly, for the term in ,
Setting , the second term is of the form,
and hence, since , Proposition 8.1 implies that,
The remaining terms in can be dealt with in exactly the same way using the fact that contains only zeroth-order derivatives, and contains only first order derivatives of Ricci coefficients (see the end of the proof of Lemma 9.4).
Null Structure Equations in the Incoming Direction
The quantities are estimated in roughly the same way as the quantities. Since the u coordinate is bounded above by however, the term
can appear on the right hand side of the estimates and be dealt with by the Grönwall inequality. The estimates will also rely on the results of Proposition 9.3 and Proposition 10.1. It is also worth noting that we do not rely on any cancellation occurring when applying the identity (122), as was the case for the quantities.
Proposition 10.2
If and , then, for each and each ,
for some constant C.
Proof
Recall the upper bound on .
For fixed , setting in the identity (122) and using the commuted equations,
one obtains
The last line is obtained by recalling that , using the lower bound for , rewriting and absorbing the term into the error .
Integrating from gives
The final term will be dealt with by the Grönwall inequality, so it remains to bound the integrals of the error terms. Here will denote the integral
Recall that
for , and
| 124 |
The curvature term in (124) will contribute a term of the form to , and
The Grönwall inequality will be used on the first term. For the second term note that, for , the r weight of which appears in is . Hence, since doesn’t appear in any
equations, the second term can be controlled by and, by Proposition 9.3,
Similarly the energy momentum tensor term in (124) will contribute a term of the form to and,
by Proposition 8.1.
Consider now the terms in (124) of the form35
The first sum contributes terms of the form to the error where and , so that
where the last inequality follows from the fact that
since in the “wave zone” and is large.
The terms arising from the second summation are dealt with similarly using the Sobolev inequality, as are the terms and the similar terms arising from lower order errors.
Note that contains no “borderline terms”36 and so in the above it has been shown, for ,
and hence, by the Grönwall inequality
This proves the proposition for .
The error contains two borderline terms and . The idea is that these terms can be dealt with since the proposition has already been proved for and was controlled in Proposition 10.1. Consider first the term . This will contribute terms of the form to , where . Assume , then
and similarly if then it must be the case that and so
Repeating this for the terms arising from , using the bounds already obtained for , Proposition 10.1 and the Grönwall inequality this gives,
The only borderline term in is , the only borderline term in is , the only borderline terms in
are and , and the only borderline term in is . Since either the proposition has already been proved for each of these terms, or they were controlled in Proposition 10.1, they can be dealt with exactly as before.
Estimates for
In order to estimate
, it is first necessary to derive equations which they satisfy.
Proposition 10.3
The spherical Christoffel symbols satisfy the following propagation equations,
Proof
Recall
The equation in the direction follows from the fact that,
and,
See Lemma 4.1 of [9].
The equation in the direction can similarly be derived using the fact that,
Proposition 10.4
If and , then, for , if contains
at most 2 times, then
Proof
Equation (126) takes the schematic form,
The estimates for
with then follow exactly as in Proposition 10.2 (in fact these are even easier since there are no borderline terms). The estimates for
follow from applying to equation (126), and the estimates for
follow from multiplying equation (125) by r and applying .
This recovers the bootstrap assumptions (67) and the (71) for when
. This remaining case will be recovered in the next section.
Ricci Coefficients at the Top Order
The goal of this section is to estimate
and
. This will recover all of the bootstrap assumptions of Section 5. In order to do this,
must be estimated for most of the other Ricci coefficients . Recall the set from Theorem 5.2.
Propagation Equations for Auxiliary Variables
Propagation equations are first derived for certain auxiliary quantities.
Proposition 11.1
The angular derivatives of the null expansions satisfy the following propagation equations.
and
Proof
The proof follows by using Lemma 3.5 to commute the propagation equations for and . When computing
, which arises in the expression for
, the fact that
, and hence
is used. This means that doesn’t appear in the propagation equations as a principal term.
Define the mass aspect functions,
and the 1-form,
Here is defined to be the solution to
with zero initial data on .
Proposition 11.2
The mass aspect functions and satisfy the following propagation equations,
Proof
From the definition of ,
The equation is obtained by substituting on the right hand side the null structure equations for
and
, equation (52), the Bianchi equation for
and using Lemma 3.5 to compute the commutator term. The Codazzi equation (50) is also used to replace the
term arising from
.
The equation for
is obtained similarly using the null structure equations for
and
, equation (53), the Bianchi equation for
and the Codazzi equation (51).
Finally,
and the equation for can be computed similarly.
Proposition 11.3
If and , then, for , satisfies,
Proof
Since satisfies an equation of the form
with zero initial data, this can be proved in exactly the same way as the estimates for in Proposition 10.2.
Let schematically denote the following quantities,
and further decompose as
As with the , the subscript p indicates that should decay like . Similarly, the (3) indicates that satisfies an equation in the 3 direction, and the (4) indicates that satisfies an equation in the 4 direction.
The propagation equations for the variables take the following schematic form,
and the for the variables take the form,
where,
and
All of the appearing in the
terms in the errors, unless explicitly stated, are and hence the bootstrap assumptions of Section 5 give an estimate for
in on the spheres. It is the linear principal terms which will require the most care below. When such terms appear, they have been written first in the errors above. Linear here means linear in , so one example of a linear term is
appearing in
. Principal means of the form
or , since the variables live at one degree of differentiability greater than . The principal energy momentum tensor terms, , will not be problematic as they have all already been estimated at the top order. Note that there are no principal curvature terms, i.e. terms of the form , appearing in the errors. Finally, notice that the propagation equations have the same structure as the propagation equations for the Ricci coefficients highlighted in Section 3, i.e. the error terms should decay like and the error terms should decay like . The next proposition, akin to Proposition 3.8, says this structure is preserved under commutation by . Unlike Proposition 3.8, we here keep track of the principal terms.
Proposition 11.4
The commuted propagation equations for the variables, for , take the form,
and
where
and
Moreover,
and
Recall that from Proposition 3.8, where the stresses that contains terms of the form , involving one derivative of .
Proof
The proof is identical to that of Proposition 3.8, except we keep track of the principal terms.
Note that the “moreover” part of the Proposition says that commuting the propagation equations with
only produces principal error terms involving an
derivative, unlike commuting with
and
which can produce principal error terms involving
and
derivatives. This is important when estimating since we only estimate
rather than .
Additional Bootstrap Assumptions
The results of this section will be shown using an additional bootstrap argument. Let denote the set of such that the following additional bootstrap assumptions hold for all with , ,
| 129 |
| 130 |
for , and,
for , where , .
Estimates for Auxiliary Variables
The bootstrap assumptions (127)–(138) can now be used to obtain estimates for the variables.
Proposition 11.5
For any , if , then, for , for all and ,
| 139 |
| 140 |
and, for ,
Proof
For , bounds for
can be obtained exactly as in Propositions 10.2 and 10.1, then integrated to give (139) and (140). For , (141) can be obtained similarly.
The new difficulties are at the top order, so assume now and consider . Note that the bootstrap assumptions (127)–(138) together with the Sobolev inequalities of Section 6 give the pointwise bounds37
for , and
Equation (122) with gives,
where has been absorbed into the error . Integrating in , this gives,
Recall,
It remains to estimate the error terms. Consider first the quadratic terms
in . They will give rise to terms in of the form38
where and . It must be the case that either or . Assume first that . Then, by Propositions 10.1 and 10.2 and the Sobolev inequalities of Section 6,
since . Recall that such terms only occur for . If then, using the bootstrap assumptions (127)–(138),
Similarly, if , then
Suppose now that . Then and so, since , the bootstrap assumptions (127)–(138) and the Sobolev inequality imply that39
Hence,
by Propositions 10.1, 10.2, since .
The quadratic terms arising from and in can be estimated similarly.
The terms
in give rise to quadratic terms of the form
with and . These terms can be treated similarly since
by Proposition 9.3.
The quadratic terms arising from
are also similar using Proposition 8.1.
The terms
in give rise to terms of the form
in with , . For these,
by Proposition 8.1.
Consider now the linear term appearing in . Recall that so and,
Now,
The other linear principal terms in arising from the other linear term in , the linear term in
and the linear terms arising from the commutation can be treated similarly. These are actually even easier as they appear with an additional factor of . Hence,
This is true for all hence, by the Grönwall inequality,
The estimate,
is obtained in exactly the same way. Note that the
terms which appear in will only give rise to terms involving
and
in
which can be controlled by the bootstrap assumptions (127)–(138). At the principal order, and do not appear otherwise.
Consider now the variables. Recall the renormalisation of Remark 3.2,
and hence that
By equation (121) with then get
where has been absorbed into the error. Integrating in gives,
Since is schematically like , most of the error terms are estimated in exactly the same way as before (when the weight was ) by
Some care, however, needs to be taken with the pricipal linear terms and especially with the
term in
.
Consider first the term in . Since this will give the following error term,
Hence
and so the Grönwall inequality implies,
Consider now the
term in
. If
or
then similarly get
using the bootstrap assumptions (127)–(138) for
and
. Using the Grönwall inequality then again gives,
Suppose now that
. This derivative of
is estimated from the propagation equation directly,
Note that there are no principal terms on the right hand side (all involve at most 3 derivatives) and, since they all decay like , by Propositions 10.1, 10.2 and 8.1,
Top Order Estimates for Ricci Coefficients
In order to estimate the remaining Ricci coefficients at the top order, the following estimates for the Gauss curvature of the spheres is required.
Proposition 11.6
For any , if , then, for , the Gauss curvature of the sphere satisfies,
Proof
Recall the Gauss equation (49), which can be rewritten,
If then, since
, Proposition 8.1 implies that
hence
For , first recall that Proposition 8.1 implies that
for all . Hence
Similarly, since
for , one obtains,
for .
Similarly for the Ricci coefficient terms on the right hand side of (142), one can easily check that each has the correct decay to be controlled after being multiplied by and integrated on the spheres. Moreover, once 3 derivatives have been taken, in the nonlinear terms there will be at most one factor involving 3 derivatives and so the other terms can be estimated in as in Sections 9 and 10. Hence
Proposition 11.7
Let be a totally symmetric
tensor such that
and assume that the bounds on the Gauss curvature of Proposition 11.6 hold. Then, for ,
where, if , then is defined to be 0.
Proof
The following identity is satisfied by ,
where K is the Gauss curvature of . See Chapter 7 of [9].
By Proposition 11.6 and the Sobolev inequality,
uniformly. This immediately gives the estimate for after multiplying the identity (143) by .
For , note that the symmetrised angular derivative of ,
satisfies
where,
and
Again see Chapter 7 of [9].
The identity (143) then gives,
again using . Multiplying by and using the estimate then gives the estimate for .
For can similarly compute
to get
By the Sobolev inequality,
Similarly,
Inserting this into the above inequality and multiplying by gives the result for .
Finally, for , one similarly gets,
Using the Sobolev inequality as above get,
by Proposition 11.6. Similarly,
and,
For the remaining terms,
and
Inserting into the above estimate and multiplying by gives the result for .
If is a symmetric trace free (0, 2) tensor then it suffices to know only its divergence.
Proposition 11.8
Let be a symmetric trace free (0, 2) tensor such that
and assume that the bounds on the Gauss curvature of Proposition 11.6 hold. Then, for ,
Proof
This follows from the previous proposition since,
which follows from the fact that is a symmetric trace free (0, 2) tensor.
These elliptic estimates can be used to recover the remainder of the bootstrap assumptions (127)–(138) for Ricci coefficients at the top order.
Proposition 11.9
For any , if , then, for ,
and for ,
Proof
Consider first . Recall the Codazzi equation (50), which can be schematically written,
Hence, if
, Proposition 11.8 immediately gives the result by Propositions 10.1, 10.2, 9.3, 8.1, and 11.5.
If
one has to commute the equation by
. By Lemma 3.5 this will only generate terms (with good r weights) which have already been estimated in Propositions 10.1, 10.2, 9.3, 8.1. Since
is still a symmetric trace free (0, 2) tensor, can again apply Proposition 11.6 to get,
One of the
can be commuted with
. Again this will only generate error terms which ahve already been estimated.
The same procedure works for general as commuting the Codazzi equation with
will also only produce terms which have already been estimated.
Consider now . This is estimated in exactly the same way using the other Codazzi equation (51),
Propositions 10.1, 10.2, 9.3, 8.1, and the estimate for
on the outgoing null hypersurfaces from Proposition 11.5.
Consider now . They satisfy the following
systems,
and so can be estimated exactly as , now using Proposition 11.7. Recall that we set if is an one form.
Finally, since
by definition,
and
satisfy the
systems,
and so
and
can be estimated similarly.
Finally, for
, recall that satisfies the propagation equation,
Commuting with
this gives, by Proposition 3.5,
The estimate for
follows by applying to the right hand side, multiplying by , integrating over the constant u hypersurfaces and applying Propositions 10.1, 10.2, 9.3, 8.1.
Now the bootstrap assumptions (127)–(138) have been recovered with better constants and hence, provided , are taken suitably small then is open, closed, connected, non-empty, and hence . The remaining bootstrap assumptions of Section 5, (70), (71) can now be recovered.
Proposition 11.10
If , and if , , then,
and
Proof
The proof of the first estimate is identical to that of Proposition 11.5 using the propagation equation,
For
, the propagation equation in the outgoing direction (125) is used. The commuted equation will take the form,
where, by Propositions 10.1, 10.2, 9.3, 8.1, 11.5 and 11.9, an argument identical to that in the proof of Proposition 11.5 can be used to show that,
It follows that,
and hence, using the identity (121),
The result follows by integrating in u.
The Last Slice Argument and the End of the Proof
The proof of Theorem 5.1 follows from Theorem 5.2 together with the following two local existence theorems, whose proofs are not discussed here, via a last slice argument. The structure of the last slice argument is outlined below.
Theorem 12.1
(Local existence for the Cauchy problem for the massless Einstein–Vlasov system [4, 6, 30]). Given a smooth initial data set for the massless Einstein–Vlasov system (satisfying constraint equations) there exists a unique smooth maximal Cauchy development satisfying the massless Einstein–Vlasov system such that is a Cauchy hypersurface with induced first and second fundamental form respectively and .
Theorem 12.2
(Local existence for the characteristic initial value problem for the massless Einstein–Vlasov system). Given smooth characteristic initial data for the massless Einstein–Vlasov system (satisfying constraint equations) on (what will become) null hypersurfaces intersecting transversely at a spacelike surface , there exists a non-empty maximal development of the data, bounded in the past by a neighbourhood of S in .
The analogue of Theorem 12.2 for the vacuum Einstein equations is a result of Rendall [28]. For the Einstein–Vlasov system see also [5, 11].
Suppose that , and the bootstrap constant satisfy the smallness assumption of Theorem 5.2. Define the function , and the hypersurfaces . Whenever the bootstrap assumptions on b and hold (see Section 5), clearly dt is timelike and hence the surfaces are spacelike. For a given time t, define the region,
where . Let denote the supremum over all times t such that a smooth solution to the massless Einstein–Vlasov system (1)–(2) exists in the region attaining the given data on and, for any with , the bootstrap assumptions (66)–(71) hold for all u, v with . Such a time clearly exists by Theorem 12.2, provided is sufficiently small.40
The aim is to show that , so suppose for contradiction that . From the bounds (66)–(71), which hold in for u, v in the regions uniformly for all such that , higher regularity bounds can be obtained from the equations via commutation, the equations being essentially linear at this stage (this is carried out in detail in a related setting in Chapter 16.2 of [9]). Hence the solution extends smoothly to , providing Cauchy data for the Einstein equations on . Using this Cauchy data together with the characteristic data on (and possibly the characteristic data on if ), Theorem 12.1 and Theorem 12.2 imply that a smooth solution to the mixed Cauchy, characteristic initial value problem exists in the region for some small . This is depicted in Figure 4.
Fig. 4.
The solution to the mixed Cauchy, characteristic initial value problem when
Since the bootstrap assumptions (66)–(71) hold in for all such that , Theorem 5.2 implies they in fact hold with the better constant . Then, taking smaller if necessary, by compactness of and continuity they will hold for all with (with constant ). This contradicts the maximality of and hence the solution exists in the entire region.
Acknowledgements
I thank Mihalis Dafermos for introducing me to this problem and for his support and encouragement. I am also grateful to Gustav Holzegel, Jonathan Luk and Igor Rodnianski for many helpful discussions, and to Clément Mouhot, Jacques Smulevici and Jérémie Szeftel for useful comments on an earlier version of the manuscript. This work was supported by the UK Engineering and Physical Sciences Research Council (EPSRC) Grant EP/H023348/1 for the University of Cambridge Centre for Doctoral Training, the Cambridge Centre for Analysis.
Footnotes
See Section 1.15 for a discussion of the relevant works.
It is used in an important way in Section 8.6 but this can in fact easily be avoided.
The precise condition will not be discussed here. See [21].
So that, in particular, the particle density function on the mass shell over , and there exists a 2-sphere such that in the mass shell over is contained in the causal past, , of S.
i.e. certain weighted integrals of derivatives of metric components, Ricci coefficients and curvature components, along with pointwise bounds on certain derivatives of f are small. The precise smallness assumptions are given later in Section 5.
One could impose faster decay of the data on in Theorem 1.2 and hope to propagate this decay so that the induced data on the hyperboloid is indeed sufficient for [17] to apply directly. We have chosen not to do so here in view of [8], where Christodoulou shows that generic physically interesting spacetimes are never asymptotically simple.
See Section 1.8.
It is well known that the Einstein equations in the harmonic gauge do not satisfy the classical null condition of [20]. Despite this fact, it has been shown by Lindblad–Rodnianski [26] that one can still prove stability of Minkowski space for the vacuum Einstein equations in this gauge. One could therefore imagine adopting a similar strategy to approach the current problem in the harmonic gauge. Note the recent work of Fajman–Joudioux–Smulevici [16] on the development of a vector field method for relativistic transport equations, which could play an important role in such an approach.
One could actually be sharper and, with slightly more effort, close the estimates with fewer derivatives than are taken here.
It in fact may be the case that etc. can converge to 0 as . The weights may therefore be weaker than the actual decay rates in the solutions which are finally constructed.
One sees these are the correct asymptotics for by using the three angular momentum Killing vector fields of Minkowski space and the fact that, if K is a Killing vector, is constant along , to see that the angular momentum of the geodesic,
is conserved along . This fact together with the mass shell relation
and the fact that does not decay along a null geodesic (which can be seen in Minkowski space by looking at the geodesic equations and noting that ) gives the required asymptotics for .
This cancellation is exploited for each Bianchi pair except , for which a slightly weaker weight is chosen. See Remark 9.2.
Recall is the double null frame for , defined in Section 2.1 using the coordinate system on . Note the slight abuse of notation here as act only on functions on , whilst f is a function on P. As in the coordinate system, is used to denote in the coordinate system for P. Similarly for .
Recall that the scalar curvature R vanishes for solutions of the massless Einstein–Vlasov system.
See [9] for a detailed derivation in the vacuum case. Recall that and in the frame used here, and that the scalar curvature R vanishes for solutions of the massless Einstein–Vlasov system.
The quantities , b and
are, of course, metric quantities. They are however, in Section 10, estimated systematically along with the Ricci coefficients. Any discussion of the “Ricci coefficients” from now on will hence implicitly refer also to these metric quantities.
Stricly speaking, the terms listed in the error can be “worse” than the terms which actually appear in the equation in question. For example, in , may actually refer to some where . In fact, in some of the null structure equations no curvature term actually appears.
So, for example,
in the
equation, and
in the
equation, etc.
The former in on the spheres, the latter in on null hypersurfaces.
Note that
and
preserve the rank of a tensor, whilst
takes tensors of rank (0, n) to tensors of rank .
Note that
when applied to a (0, n) tensor are always defined with respect to the last index etc.
This is the unrenormalised null structure equation for and can be derived from the
equation in Section 2.5.
Not the frame . The reason for this will be explained later.
This structure is crucial even for proving local existence for the Einstein–Vlasov system in the double null gauge.
The pointwise bounds on the components of and follow from the pointwise bounds on and the fact that
in each of the spherical coordinate charts.
They will actually decay like , but is sufficient.
In fact, all of the components are uniformly bounded along , though it is easier to treat them systematically if they are included in .
recall that the summation can begin at 3 except for terms involving .
recall runs over 1, 2, 4 and .
It is because of these terms is only estimated in spacetime, rather than on null hypersurfaces.
Note that the final term on the left hand side of (112) is a spherical divergence and hence vanished when integrated over the spheres.
Here denotes the power of r multiplying in . So, for example, , whilst . Set .
The “borderline terms” in (124), i.e. the terms and for which are slightly more problematic and will be dealt with separately.
Terms of the form or for which
For
, actually have the pointwise bounds . There is a loss of for the other variables since the Sobolev inequality on the outgoing null hypersurfaces have to be used.
There will also be cubic and higher order terms but, since they have the same r decay and there will always be at most one factor which is not lower order and hence cannot be estimated in , they are treated in exactly the same manner as the quadratic terms.
Similarly to the variables, for actually get
but for , have to use the Sobolev inequality on the outgoing null hypersurfaces and hence lose the power of .
The transformation from harmonic coordinates to double null coordinates is carried out in detail in a related setting in Chapter 16.3 of [9].
References
- 1.Andréasson, H.: The Einstein–Vlasov system/kinetic theory. Living Rev. Relativ. 14, 4 (2011). doi:10.12942/lrr-2011-4 [DOI] [PMC free article] [PubMed]
- 2.Bieri L. Extensions of the Stability Theorem of the Minkowski Space in General Relativity, Solutions of the Vacuum Einstein Equations. Boston: American Mathematical Society; 2009. [Google Scholar]
- 3.Choquet-Bruhat Y. Théreme d’existence pour certains systèmes d’équations aux dérivées partielles non linéaires. Acta Math. 1952;88:141–225. doi: 10.1007/BF02392131. [DOI] [Google Scholar]
- 4.Choquet-Bruhat Y. Problème de Cauchy pour le système intégro-différentiel d’Einstein–Liouville. Ann. Inst. Fourier. 1971;21:181–201. doi: 10.5802/aif.385. [DOI] [Google Scholar]
- 5.Choquet-Bruhat, Y., Chruściel, P.: Cauchy Problem with Data on a Characteristic Cone for the Einstein–Vlasov Equations arXiv:1206.0390
- 6.Choquet-Bruhat Y, Geroch R. Global aspects of the cauchy problem in general relativity. Comm. Math. Phys. 1969;14:329–335. doi: 10.1007/BF01645389. [DOI] [Google Scholar]
- 7.Christodoulou, D.: Notes on the Geometry of Null Hypersurfaces (unpublished)
- 8.Christodoulou, D.: The Global Initial Value Problem in General Relativity Ninth Marcel Grossman Meeting (Rome 2000), pp 44–54. World Science Publishing, Singapore (2002)
- 9.Christodoulou, D.: The Formation of Black Holes in General Relativity. European Mathematical Society Publishing House, Zurich (2009)
- 10.Christodoulou D, Klainerman S. The Global Nonlinear Stability of the Minkowski Space, Princeton Mathematical Series. Princeton: Princeton University Press; 1993. [Google Scholar]
- 11.Chruściel P, Paetz T. The many ways of the characteristic Cauchy problem class. Quantum Gravit. 2012;29:145006. doi: 10.1088/0264-9381/29/14/145006. [DOI] [Google Scholar]
- 12.Dafermos M. A note on the collapse of small data self-gravitating massless collisionless matter. J. Hyperbol. Differ. Equ. 2006;3:589–598. doi: 10.1142/S0219891606000926. [DOI] [Google Scholar]
- 13.Dafermos, M., Holzegel, G., Rodnianski, I.: A Scattering Theory Construction of Dynamical Vacuum Black Holes arXiv:1306.5364
- 14.Dafermos M, Rendall AD. An extension principle for the Einstein-Vlasov system in spherical symmetry. Ann. Henri Poincaré. 2005;6:1137–1155. doi: 10.1007/s00023-005-0235-7. [DOI] [Google Scholar]
- 15.Dafermos, M., Rendall, A.D.: Strong Cosmic Censorship for Surface–Symmetric Cosmological Spacetimes with Collisionless Matter arXiv:gr-qc/0701034
- 16.Fajman, D., Joudioux, J., Smulevici, J.: A Vector Field Method for Relativistic Transport Equations with Applications arXiv:1510.04939
- 17.Friedrich H. On the existence of -geodesically complete or future complete solutions of Einstein’s field equations with smooth asymptotic structure. Commun. Math. Phys. 1986;107:587–609. doi: 10.1007/BF01205488. [DOI] [Google Scholar]
- 18.Gudmundsson S, Kappos E. On the geometry of tangent bundles. Expo. Math. 2002;20:1–41. doi: 10.1016/S0723-0869(02)80027-5. [DOI] [Google Scholar]
- 19.Hadz̆ić, M., Speck, J.: The Global Future Stability of the FLRW Solutions to the Dust–Einstein System with a Positive Cosmological Constant arXiv:1309.3502
- 20.Klainerman, S.: The null condition and global existence to nonlinear wave equations. In: Santa Fe, N.M. (eds.) Nonlinear Systems of Partial Differential Equations in Applied Mathematics, Part 1, 1984 Lectures in Applied Mathematics, vol. 23, pp. 293–326 (1986)
- 21.Klainerman, S., Nicolò, F.: The Evolution Problem in General Relativity, vol. 23 Lectures in Applied Mathematics. Birkhäuser, Boston (2003)
- 22.Kowalski O. Curvature of the induced Riemannian metric on the tangent bundle of a Riemannian manifold. J. Reine Angew. Math. 1971;250:124–129. [Google Scholar]
- 23.LeFloch, P.G., Ma, Y.: The Global Nonlinear Stability of Minkowski Space for Self-Gravitating Massive Fields arXiv:1511.03324
- 24.Loizelet J. Solutions globales des équations d’Einstein–Maxwell. Ann. Fac. Sci. Toulouse Math. 2009;18:565–610. doi: 10.5802/afst.1212. [DOI] [Google Scholar]
- 25.Li, J., Zhu, X.: On the Local Extension of the Future Null Infinity arXiv:1406.0048
- 26.Lindblad H, Rodnianski I. The global stability of Minkowski space-time in harmonic gauge. Ann. Math. 2010;171:1401–1477. doi: 10.4007/annals.2010.171.1401. [DOI] [Google Scholar]
- 27.Luk, J.: On the Local Existence for the Characteristic Initial Value Problem in General Relativity arXiv:1107.0898
- 28.Rendall AD. Reduction of the characteristic initial value problem to the Cauchy problem and its applications to the Einstein equations. Proc. R. Soc. Lond. 1990;427:221–239. doi: 10.1098/rspa.1990.0009. [DOI] [Google Scholar]
- 29.Rein G, Rendall AD. Global existence of solutions of the spherically symmetric Vlasov–Einstein system with small initial data. Commun. Math. Phys. 1992;150:561–583. doi: 10.1007/BF02096962. [DOI] [Google Scholar]
- 30.Ringström H. On the Topology and Future Stability of the Universe, Oxford Mathematical Monographs. Oxford: Oxford University Press; 2013. [Google Scholar]
- 31.Rodnianski I, Speck J. The stability of the irrotational Einstein–Euler system with a positive cosmological constant. J. Eur. Math. Soc. 2013;15:2369–2462. doi: 10.4171/JEMS/424. [DOI] [Google Scholar]
- 32.Sachs RK, Wu H. General Relativity for Mathematicians. New York: Springer; 1977. [Google Scholar]
- 33.Sasaki S. On the differential geometry of tangent bundles. Tohoku Math. J. 1958;10:338–354. doi: 10.2748/tmj/1178244668. [DOI] [Google Scholar]
- 34.Speck J. The global stability of the Minkowski spacetime solution to the Einstein-nonlinear electromagnetic system in wave coordinates. Anal. PDE. 2014;7:771–901. doi: 10.2140/apde.2014.7.771. [DOI] [Google Scholar]
- 35.Wang, Q.: Global Existence for the Einstein Equations with Massive Scalar Fields. Talk Given at Mathematical Problems in Relativity Workshop, Simons Center, Stony Brook (2015). http://scgp.stonybrook.edu/archives/10300
- 36.Zipser N. Extensions of the Stability Theorem of the Minkowski Space in General Relativity, Solutions of the Einstein–Maxwell Equations. Boston: American Mathematical Society; 2009. [Google Scholar]





