Abstract
Minkowski space is shown to be globally stable as a solution to the massive Einstein–Vlasov system. The proof is based on a harmonic gauge in which the equations reduce to a system of quasilinear wave equations for the metric, satisfying the weak null condition, coupled to a transport equation for the Vlasov particle distribution function. Central to the proof is a collection of vector fields used to control the particle distribution function, a function of both spacetime and momentum variables. The vector fields are derived using a general procedure, are adapted to the geometry of the solution and reduce to the generators of the symmetries of Minkowski space when restricted to acting on spacetime functions. Moreover, when specialising to the case of vacuum, the proof provides a simplification of previous stability works.
Introduction
The Einstein–Vlasov System
The Einstein–Vlasov system provides a statistical description of a collection of collisionless particles, interacting via gravity as described by Einstein’s general theory of relativity. A fundamental problem is to understand the long time dynamics of solutions of this system. The problem is a great challenge even in the absence of particles, and global works on the vacuum Einstein equations all either involve simplifying symmetry assumptions or solutions arising from small data. In the asymptotically flat setting, small data solutions of the vacuum Einstein equations were first shown to exist globally and disperse to Minkowski space in the monumental work of Christodoulou–Klainerman [14]. An alternative proof of the stability of Minkowski space was later given by Lindblad–Rodnianski [37] in which a global harmonic coordinate system was constructed, described below. For the Einstein–Vlasov system, the global properties of small data solutions were first understood when the initial data were assumed to be spherically symmetric, an assumption under which the equations simplify dramatically, by Rein–Rendall [41] in the massive case, when all particles are assumed to have mass 1, and by Dafermos [15] in the massless case, when all particles are assumed to have mass 0. See also work of Andréasson–Kunze–Rein [4] for a global existence result in spherical symmetry for a class of large “outgoing” data. Without the simplifying assumption of spherical symmetry, small data solutions of the massless Einstein–Vlasov system were later understood by Taylor [46].
In this work the problem of the stability of Minkowski space for the Einstein–Vlasov system, without any symmetry assumptions, is addressed in the case that all particles have mass 1 (and can easily be adapted to the case that all particles have any fixed mass ). The system takes the form
| 1.1 |
| 1.2 |
| 1.3 |
where the unknown is a dimensional manifold with Lorentzian metric g, together with a particle distribution function , where the mass shell is defined by
Here Ric(g) and R(g) denote the Ricci and scalar curvature of g respectively. A coordinate system (t, x) for , with t a time function (that is the one form dt is timelike with respect to the metric g), defines a coordinate system for the tangent bundle of conjugate to (t, x), where denotes the point
The mass shell relation in the definition of ,
| 1.4 |
should be viewed as defining as a function of . Here Greek indices run over 0, 1, 2, 3, lower case Latin indices run over 1, 2, 3, and often the notation is used. The vector is the generator of the geodesic flow of which, with respect to the coordinate system (t, x, p) for , takes the form
| 1.5 |
The volume form in (1.2) is the induced volume form of the spacelike hypersurface when the tangent space is endowed with the metric induced by g on .
The Global Existence Theorem
The Initial Value Problem and the Global Existence Theorem
In the Cauchy problem for the system (1.1)–(1.3) one prescribes an initial data set, which consists of a Riemannian 3 manifold together with a symmetric (0, 2) tensor k on , and an initial particle distribution , satisfying the constraint equations
for . Here , , denote the divergence, trace and scalar curvature of respectively, and denote (what will become) the 00 and 0j components of the energy momentum tensor. The topology of will here always be assumed to be that of . A theorem of Choquet-Bruhat [10], based on previous work by Choquet-Bruhat [9] and Choquet-Bruhat–Geroch [12] on the vacuum Einstein equations, (see also the recent textbook of Ringström [42]) guarantees that, for any initial data set as above, there exists a globally hyperbolic solution of the system (1.1)–(1.3) which attains the initial data, in the sense that there exists an imbedding under the pullback of which the induced first and second fundamental form of g are and k respectively, and the restriction of f to the mass shell over is given by . As in [37], the proof is based on the harmonic gauge (or wave gauge), that is a system of coordinates satisfying
| 1.6 |
where denotes the geometric wave operator of the metric g.
The initial data set
| 1.7 |
where e denotes the Euclidean metric on , satisfies the constraint equations and gives rise to Minkowski space, the trivial solution of the system (1.1)–(1.3). The main result of this work concerns solutions arising from initial data sufficiently close to the trivial initial data set (1.7). The initial data will be assumed to be asymptotically flat in the sense that is diffeomorphic to and there exists a global coordinate chart of and and such that
| 1.8 |
For such , k, write
and is a smooth cut off function such that , for and for .
For given and such an initial data set, define, for any , the initial energy
| 1.9 |
where denotes the coordinate gradient, and the initial norms for :
| 1.10 |
By the Sobolev inequality there exists a constant C such that for any .
The main result of this work is the following:
Theorem 1.1
Let be an initial data set for the Einstein–Vlasov system (1.1)–(1.3), asymptotically flat in the above sense, such that is compactly supported. For any and , there exists (depending on the size of ) such that, for all and all initial data satisfying
there exists a unique future geodesically complete solution of (1.1)–(1.3), attaining the given data, together with a global system of harmonic coordinates , relative to which the solution asymptotically decays to Minkowski space.
The precise sense in which the spacetimes of Theorem 1.1 asymptotically decay to Minkowski space is captured in the estimates (1.15), (1.16), (6.5), (6.6), (6.8), (6.9), (6.10) and (6.11) below.
The analogue of Theorem 1.1 for the massless Einstein–Vlasov system (which is the system (1.1)–(1.3) but with the mass shell relation (1.4) replaced with the relation , so that all particles travel through spacetime along null geodesics, as opposed to unit timelike geodesics in the massive case considered here) was resolved by Taylor [46]. It should be noted that the difficulties encountered in [46] are very different to the difficulties encountered in the present work. The work [46] involves a double null gauge (in contrast to the harmonic gauge employed here) and, as is shown as part of the bootstrap argument in the proof, f, being initially supported in a spatially compact set, is supported only in the wave zone in a region of finite retarded length. Due to the slow decay of the metric in the wave zone, the work [46] relies crucially in exploiting a null structure1 present in the Vlasov equation.2 In contrast, the main difficulties in the present work arise in the interior region. The “Minkowski vector fields” (see Section 1.5.1 below), which one would use to control the decoupled Vlasov equation on a fixed Minkowski background, are insufficient by themselves for the proof of Theorem 1.1 and have to be further adapted to the geometry of the spacetimes considered. See Section 1.5 below for a further discussion of the vector fields used in the proof.
The assumption in Theorem 1.1 that is compactly supported is made for simplicity and, we believe, our method can be extended to relax this assumption. The assumption implies that the solution f is supported, at late times, away from the wave zone . The issue of the slow decay of the metric g in the wave zone is therefore not relevant in the proof of Theorem 1.1 when controlling the solution of the Vlasov equation f, and its derivatives. Were not compactly supported, this slow decay of g would be relevant and it would be necessary to exploit a form of null structure present in the Vlasov equation, as in the massless case discussed above, together with the weak null structure of Einstein’s equations in wave coordinates.
A similar stability result to Theorem 1.1 was shown independently by Fajman–Joudioux–Smulevici [19]. We remark on some of the differences between the two proofs in Section 1.5 after presenting our argument.
There have been a number of related stability works on the Einstein–Vlasov system. In addition to those discussed earlier, there has been related work by Ringström [42] on the Einstein–Vlasov system in the presence of a positive cosmological constant, where the analogue of the Minkowski solution is the de Sitter spacetime. See also [5]. A stability result for a class of cosmological spacetimes was shown in dimensions with vanishing cosmological constant by Fajman [16], and later extended to dimensions by Andersson–Fajman [2]. See also the recent work of Moschidis [39] on the instability of the anti-de Sitter spacetime for a related spherically symmetric model in the presence of a negative cosmological constant. A much more comprehensive overview of work on the Einstein–Vlasov system can be found in the review paper of Andréasson [3].
There has also been work on the problem of the stability of Minkowski space for the Einstein equations coupled to various other matter models [7, 20, 22, 28–30, 43, 48].
Small data solutions of the Vlasov–Poisson system, the non-relativistic analogue of the Einstein–Vlasov system, were studied in [6, 23], and those of the Vlasov–Maxwell system in [21]. We note in particular works of Smulevici [44] and Fajman–Joudioux–Smulevici [18] (following [17]) on the asymptotic properties of small data solutions of the Vlasov–Poisson and the related Vlasov–Nordström systems respectively, where issues related to those described in Section 1.5.2 arise and are resolved using an alternative approach. Moreover, there are global existence results for general data for Vlasov–Poisson [38, 40] and Vlasov–Nordström [8].
Small Data Global Existence for the Reduced Einstein–Vlasov System
Following [37], the proof of Theorem 1.1 is based on a harmonic gauge (1.6), relative to which the Einstein equations3 (1.1) take the form of a system of quasilinear wave equations
| 1.11 |
where and depends quadratically on v. The system (1.2), (1.3), (1.11) is known as the reduced Einstein–Vlasov system. The condition that the coordinates satisfy the harmonic gauge condition (1.6) is equivalent to the metric in the coordinates satisfying the wave coordinate condition
| 1.12 |
Let denote the Minkowski metric in Cartesian coordinates and, for a solution g of the reduced Einstein equations (1.11), write
| 1.13 |
where , when and , when . For a given , , we define the energy at time t as
| 1.14 |
Here I denotes a multi index and denotes a combination of |I| of the vector fields
for and . Let denote the norm, , and , , and similarly etc.. The notation will be used if there exists a universal constant C such that .
Theorem 1.1 follows as a corollary of the following theorem:
Theorem 1.2
For any , and , there exists such that, for any data for the reduced Einstein–Vlasov system (1.2), (1.3), (1.11) which satisfy the smallness condition
for any and the wave coordinate condition (1.12), and such that for
there exists a global solution attaining the data such that
| 1.15 |
for all , along with the decay estimates
| 1.16 |
and the estimates (6.5), (6.6), (6.8), (6.9), (6.10) and (6.11) stated in Section 6.
Note that the wave coordinate condition (1.12), if satisfied initially, is propagated in time by the reduced Einstein–Vlasov system (1.2), (1.3), (1.11) (this fact is standard; see, for example, Section 4 of [36], which requires only minor modifications for the presence of matter).
Given an initial data set as in Theorem 1.1, define initial data for the reduced equations
and
One can show that, with this choice, where given by (1.9) is the norm of geometric data, and moreover satisfy the wave coordinate condition (1.12), see, for example, [36, 37].
It is therefore clear that Theorem 1.1 follows from Theorem 1.2 (the future causal geodesic completeness can be shown as in [36]) and so the goal of the paper is to establish the proof of Theorem 1.2.
Estimates for the Vlasov Matter
In what follows it is convenient, instead of parameterising the mass shell by (t, x, p), to instead parameterise it by , where
for . Note that, by the mass shell relation (1.4), in Minkowski space and, under a mild smallness condition on , . Abusing notation slightly, we will write for the solution of the Vlasov equation (1.3).
Let denote the level hypersurfaces of the time coordinate t, and let , denote solutions of the geodesic equations (see Section 2)
| 1.17 |
normalised so that , with
Here
where are the Christoffel symbols of the metric g with respect to a given coordinate chart . Define and . The notation X(s), will sometimes be used for , when it is clear from the context which point is meant, and the notation will sometimes be used.
It follows that the Vlasov equation (1.3) can be rewritten as
| 1.18 |
for all s. The notation (y, q) will be used to denote points in the mass shell over the initial hypersurface, . In Theorem 1.2 it is assumed that has compact support; and for , for some constants K, . Under relatively mild smallness assumptions on , see Proposition 2.1, it follows that there exists , depending only on , such that solutions of the Vlasov equation satisfy
| 1.19 |
The main new difficulties in the proof of Theorem 1.2, arising from the coupling to the Vlasov equation, are resolved in the following theorem, which is appealed to in the proof of Theorem 1.2:
Theorem 1.3
For a given and , suppose that g is a Lorentzian metric such that the Christoffel symbols of g with respect to a global coordinate system , for some , satisfy
| 1.20 |
for all . Then there exists such that, for and any solution f of the Vlasov equation (1.3) satisfying
and metric satisfying (1.20) and , the components of the energy momentum tensor satisfy
for , where and , and
for . Here the constants depend only on , K, and c, and depends only on c.
In the proof of Theorem 1.2, the estimates of Theorem 1.3 are used to prove energy estimates for the metric g; see the discussion in Section 1.4.2. The estimates of Theorem 1.3 are used to recover the pointwise decay (1.20) for the lower order derivatives of the Christoffel symbols ; see the discussion in Section 1.4.7 below.
Remark 1.4
The proof of Theorem 1.3 still applies when , though the theorem is only used in the proof of Theorem 1.2 for some fixed . The case of is omitted in order to avoid logarithmic factors. The proof of an appropriate result when is much simpler, although, when Theorem 1.3 is used in the proof of Theorem 1.2, one could not hope for the assumptions (1.20) to hold with , see Section 1.5.2.
Remark 1.5
In Section 5 a better estimate in terms of t behaviour, compared with the estimate of Theorem 1.3, is shown to hold for , which involves one extra derivative of ; see Proposition 5.8. It is important however to use the estimate which does not lose a derivative in the proof of Theorem 1.2.
Overview of the Global Existence Theorem for the Reduced Einstein Equations
It should be noted from the outset that the reduced Einstein–Vlasov system (1.2), (1.3), (1.11) is a system of quasilinear wave equations coupled to a transport equation. It is well known that the general quasilinear wave equation does not necessarily admit global solutions for all small data [24, 25]. The null condition, an algebraic condition on the nonlinearity of such equations, was introduced by Klainerman [26], and used independently by Klainerman [27] and Christodoulou [13], as a sufficient condition that small data solutions exist globally in time and are asymptotically free. However, as was noticed by Lindblad [32, 33] and Alinhac [1], there are quasilinear equations that do not satisfy the null condition but still admit global solutions for all sufficiently small data. In fact, the classical null condition fails to be satisfied by the vacuum Einstein equations in the harmonic gauge ((1.11) with ), though it was noticed by Lindblad–Rodnianski [35] that they satisfy a weak null condition, which they used to prove a small data global existence theorem [36, 37].
The proof of Theorem 1.2 follows the strategy adopted in [37]. The new difficulties, of course, arise from the coupling to the Vlasov equation. A fundamental feature of the problem arises from the fact that, whilst the slowest decay of solutions to wave equations occurs in the wave zone, where , the slowest decay of solutions of the massive Vlasov equation occurs in the interior region . The most direct way to exploit this fact is to impose that has compact support, in which case, as will be shown in Proposition 2.1, the support condition (1.19) holds and f actually vanishes in the wave zone at late times.
Since they have been described at length elsewhere, the difficulties associated to the failure of (1.11) to satisfy the classical null condition are only briefly discussed here. Suffice it to say that there is a rich structure in the equations (1.11) which is exploited heavily (see the further discussion in the introductions to [36, 37]). The main new features of this work are contained in the proof of Theorem 1.3. Indeed, for a given inhomogeneous term in (1.11) which satisfies the support conditions and estimates of Theorem 1.3, the small data global existence theorem of [37] mostly goes through unchanged. An outline is given below, including a discussion of some observations which lead to simplifications compared with the proof in [37] (most notably the fact that the structure of the equations are better preserved under commuation with modified Lie derivatives, described in Section 1.4.4 below, but also the use of a simpler – estimate, described in Section 1.4.6).
The proof of Theorem 1.2 is based on a continuity argument. One assumes that the bounds
| 1.21 |
hold for all for some time and some fixed constants and , and the main objective is to use the Einstein equations to prove that the bounds (1.21) in fact hold with better constants, provided the initial data are sufficiently small.
The Contribution of the Mass
The first step in the proof of Theorem 1.2 is to identify the contribution of the mass M. Recall the decomposition of the metric (1.13) and note that the energy is defined in terms of . Had the energy been defined with in place of , it would not be finite unless , in which case it follows from the Positive Mass Theorem [45, 47] that the constraint equations imply that the solution is trivial. The contribution of the mass is therefore identified explicitly using the decomposition (1.13), and the reduced Einstein equations are recast as a system of equations for :
| 1.22 |
The term is treated as an error term. Note that is defined so that , which is a good approximation to , is supported away from the wave zone and so only contributes in the interior region, where will be shown to have fast decay.
Energy Inequality with Weights
An important ingredient in the procedure to recover the assumption on the energy (1.21) is the energy inequality with weights,
| 1.23 |
which holds, for any suitably regular function , under mild assumptions on the metric g (see Lemma 6.29), where the weight w is as in (1.14) and , with , denotes the derivatives tangential to the outgoing Minkowski light cones. The inequality will be applied to the system (1.22) after commuting with vector fields.
It is in the energy inequality (1.23) that the estimates of Theorem 1.3 are used. The proof of Theorem 1.2, using Theorem 1.3, is given in detail in Section 7, but we briefly illustrate the use of the estimates of Theorem 1.3 here. Setting , it follows from Theorem 1.3 that
| 1.24 |
(see Section 7 for details of how estimates for follow from estimates for ). By the reduced Einstein equations (1.22) and the energy inequality (1.23),
| 1.25 |
The first four terms on the right hand side arise already in [37] and so, combining estimates which will be shown for these terms in Section 6 (see also the discussion below) with (1.24), the bound (1.25) implies that
and so the Grönwall inequality yields
In the proof of Theorem 1.2, such a bound for will lead to a recovery of the assumption (1.21) on with better constants provided is chosen to be sufficiently large and is sufficiently small.
The Structure of the Nonlinear Terms
As discussed above, whether a given quasilinear wave equation admits global solutions for small data or not depends on the structure of the nonlinear terms (moreover, the main analysis of the nonlinear terms is relevant in the wave zone, where vanishes at late times and so plays no role in this discussion). A closer inspection of the nonlinearity in (1.22) reveals (see [11, 37]) that
| 1.26 |
where is a linear combination of null forms (satisfing ), denote cubic terms and
| 1.27 |
Clearly the failure of the semilinear terms of the system (1.22) to satisfy the classical null condition arises in the terms. In [35] it was observed that the semilinear terms of (1.22), after being decomposed with respect to a null frame , where
| 1.28 |
possess a weak null structure. It is well known that, for solutions of wave equations, derivatives tangential to the outgoing light cones decay faster and so, neglecting such derivatives of h,
| 1.29 |
and, neglecting cubic terms and quadratic terms involving at least one tangential derivative,
| 1.30 |
For vectors U, V, define . With respect to the null frame (1.28), the Einstein equations (1.22) become
| 1.31 |
since for . Decomposing with respect to the null frame (1.28), the term is equal to , where
| 1.32 |
(see [36]). Except for the term, only involves the non components of h. The wave coordinate condition (1.12) with respect to the null frame becomes
| 1.33 |
neglecting tangential derivatives and quadratic terms, see [36]. In particular, the term in can be neglected. The asymptotic identity (1.33) moreover implies (see equation (6.47)) that the leading order behaviour of is contained in , where
| 1.34 |
A decoupling therefore occurs in the semilinear terms of (1.22), modulo terms which are cubic or involve at least one “good” derivative, and the right hand side of the second identity in (1.31) only depends on components we have better control on by the first identity in (1.31).
A further failure of (1.22) to satisfy the classical null condition arises in the quasilinear terms. Expressing the inverse of the metric as
the reduced wave operator takes the form
which differs from the Minkowski wave operator only by the term , plus terms which involve at least one tangential derivative. This main quasilinear term is controlled by first rewriting the wave coordinate condition (1.12) as
| 1.35 |
where is quadratic, and using the formula
for any , to rewrite in terms of the null frame. Here . This gives
that is is equal to quadratic terms plus terms involving only tangential derivatives. Integrating from initial data then gives that is approximately equal to the main contribution of its corresponding initial value, 2M / r.
Commutation
In order to apply the energy inequality (1.23) to improve the higher order energy bounds (1.21), it is necessary to commute the system (1.22) with the vector fields Z. Instead of commuting with the vector fields Z directly as in [37], notice that, for any function ,
where the fact that for each Z and has been used. Here denotes the Lie derivative along the vector field Z (see Section 6.3 for a coordinate definition). The procedure of commuting the system (1.22) therefore becomes computationally much simpler if it is instead commuted with the Lie derivatives along the vector fields, . In fact, the procedure simplifies further by commuting with a modified Lie derivative , defined in the (t, x) coordinates by the formula
The modified Lie derivative has the property that for each of the vector fields Z and moreover a computation shows that, in the case that is a (0, 2) tensor, the commutation property
| 1.36 |
holds for each of the vector fields Z.
The commutation error in (1.36) can be controlled by , plus terms which involve at least one tangential derivative of
The Lie derivative along any of the vector fields Z commutes with partial derivatives (see Proposition 6.24). This fact leads to the commutation formula
involving the modified Lie derivative. The term is then controlled easily by using the formula (1.35) and repeating the argument, described in Section 1.4.3, used to control itself.
When applying the commutation formula (1.36) to the reduced Einstein equations (1.22), it in particular becomes necessary to estimate the Lie derivative of the nonlinear terms, . Recall the nonlinear terms take the form (1.26). The modified Lie derivative also simplifies the process of understanding derivatives of the nonlinear terms due to the following product rule. Let and be (0, 2) tensors and let be a (0, 2) tensor which is a quadratic form in the (0, 3) tensors and with two contractions with the Minkowski metric (in particular or ). Then
and so the desirable structure of the nonlinear terms and described in Section 1.4.3 is preserved after applying Lie derivatives.
The Lie derivatives of the energy momentum tensor are controlled by Theorem 1.3 since, for any function , the quantities and are comparable.
The Klainerman–Sobolev Inequality with Weights
In order to control the derivatives of the nonlinear terms and the error terms arising from commuting the system (1.22), described in Section 1.4.4, when using the energy inequality (1.23), pointwise estimates for lower order derivatives of the solution are first shown to hold. The Klainerman–Sobolev Inequality can be used to derive non-sharp bounds for for (see equation (6.10)) directly from the bound on the energy (1.21). These pointwise bounds can be integrated from to also give pointwise bounds for for which, using the fact that for any function , lead to strong pointwise estimates for all components of for . See Section 6.1 for more details.
Since, without restricting things to tangential derivatives, it is only true that for any function , the Klainerman–Sobolev Inequality does not directly lead to good pointwise estimates for all derivatives of . Some further improvement is necessary to control the terms in the energy estimate and recover the inequality (1.21).
– Estimate for the Wave Equation
The pointwise decay obtained for the transverse derivative of certain components of “for free” from the wave coordinate condition is not sufficient in the wave zone to close the energy estimate. The decay in this region is further improved by an – estimate, obtained by integrating the equations along the outgoing characteristics of the wave equation. In fact, instead of using the estimate for the full wave operator , as in [37], it suffices to use the estimate for the operator . Moreover, using the pointwise decay obtained from the Klainerman–Sobolev inequality and the wave coordinate condition, it can be seen that, for the purposes of this estimate, the essential contribution of the failure of (1.11) to satisfy the classical null condition is present in the terms, defined by (1.34). See Proposition 6.20 for a precise statement of this, and Lemma 6.21 for a proof of the – inequality. The fact that f is supported away from the wave zone can be shown using only the decay obtained from the Klainerman–Sobolev Inequality, and so the term in (1.22) plays no role in Lemma 6.21. The pointwise decay of higher order Lie derivatives of is similarly improved in Section 6.4.
The Hörmander – Inequality
Whilst the pointwise decay for lower order derivatives of h described above is sufficient to recover the assumptions (1.21) in the vacuum (when ), the interior decay is not sufficient to satisfy the assumptions of Theorem 1.3. In Proposition 6.11 the Hörmander – inequality, Lemma 6.7, is used, together with the assumptions (1.21) on the norms of and on the energy of , in order to improve the interior decay of and lower order derivatives. This improved decay ensures that the assumptions of Theorem 1.3 are satisfied and hence the theorem can be appealed to in order to recover the assumptions (1.21) on the norms of , and to control the norms of arising when the energy inequality (1.23) is used to improve the assumptions (1.21) on the energy . See Section 7 for further details on the completion of the proof of Theorem 1.2.
Vector Fields for the Vlasov Equation
The remaining difficulty in the proof of Theorem 1.2 is in establishing the and estimates of the vector fields applied to components of the energy momentum tensor, , of Theorem 1.3. For simplicity, we outline here how bounds are obtained for , for , where is the momentum average of f, defined by
The bounds for will follow from bounds of the form
| 1.37 |
for a suitable collection of vector fields , acting on functions of , which reduce to the vector fields when acting on spacetime functions, that is functions of (t, x) only.
Throughout this section, and in Sections 4 and 5, it is convenient, instead of considering initial data to be given at , to consider initial data for the Vlasov equation to be given at for some .4 It follows from the form of the Vlasov equation (1.18) that
| 1.38 |
(where are abbreviated to respectively) for any vector . Since derivatives of are explicitly determined by initial data and behave like f, an estimate for will follow from appropriate estimates for and .
General Procedure and Vector Fields in Minkowski Space
A natural way to extend a given vector field Z on to a vector field on , which by construction will have the property that satisfy good bounds, is as follows. For a given vector field Z on , let denote the associated one parameter family of diffeomorphisms, so that
Under a mild assumption on g, for fixed any point with can be uniquely described by a pair of points in , where
| 1.39 |
is the point where the geodesic emanating from (t, x) with velocity intersects the hypersurface (recall that denotes the level hypersurfaces of the function t), that is can be parameterised by to get5
The subscript X is used in to emphasise that is parametrised by y using the geodesics X (in contrast to suitable approximations to the geodesics, as will be considered later). Now the action of on (t, x) and induces an action on at time t, given by
For fixed we define the vector field by
A computation shows that
| 1.40 |
which results in a good bound for . In particular, if and are bounded in the support of , equation (1.40) guarantees that is bounded by a constant.
To see that (1.40) indeed holds, first note that the left hand side is the derivative of with respect to at . Also the first term on the right hand side is the derivative of at . The equality (1.40) follows from taking the derivative with respect to , and setting , of both sides of the identity
| 1.41 |
In Minkowski space, y has the explicit form and, when Z is chosen to be , a straightforward computation, see Section 3, shows that the resulting vectors take the form,
Let be the initial momentum of the geodesic going through . By differentiating the equality
with respect to , one can similarly obtain an estimate for . In the simple case of Minkowski space, has the explicit form
and so
since in Minkowski space, which leads to a good bound for and, together with (1.40), results in bounds of the form (1.37) for solutions of the Vlasov equation on Minkowski space. Such bounds lead to bounds on , since
The rotation vector fields and a form of the scaling vector field were used in [46] for small data solutions of the massless Einstein–Vlasov system (note though that the above procedure of using Z to define breaks down when the mass shell becomes the set of null vectors, as is the case for the massless Einstein–Vlasov system).6 The vector fields , , were also used in the work [17] on the Vlasov–Nordström system, where the authors notice that the rotations and the boosts are the complete lifts of the spacetime rotations and boosts, and hence generate symmetries of the tangent bundle.
Vector Fields Used in the Proof of Theorem 1.3
In the proof of Theorem 1.2, in order to obtain good estimates for , it is necessary to obtain bounds of the form (1.37), now for solutions of the Vlasov equation on the spacetimes being constructed. The sharp interior decay rate of the Christoffel symbols in the spacetimes which are constructed, as we plan to show in forthcoming work, is
| 1.42 |
where and .7 On a spacetime whose Christoffel symbols decay as such, it can be shown that the Minkowski vector fields of the previous section only satisfy
for solutions f of the Vlasov equation. This logarithmic loss compounds at higher orders, and cannot be used to recover the sharp bounds (1.42) in the context of Theorem 1.2.
The proof of Theorem 1.2 is therefore based on a different collection of vector fields, , which are adapted to the geometry of the background spacetime and again reduce to when acting on spacetime functions, and satisfy a good bound of the form (1.37) when applied to solutions f of the Vlasov equation. The vector fields can be derived using the procedure described in Section 1.5.1, which in fact did not rely on the background spacetime being Minkowski space. Instead of the expression (1.39), the components are defined using approximations to the true geodesics of the spacetimes to be constructed8. One could also use the geodesics themselves, however doing so involves estimating the components at the top order in a slightly different way to how they are estimated at lower orders. We choose to use the approximations to the geodesics so that can be estimated in the same way at all orders. A derivation of the vector fields obtained using this procedure is given in Section 3, but here the failure of the Minkowski vector fields are identified explicitly and shown how to be appropriately corrected. The two procedures agree up to lower order terms.
Instead of the sharp interior bounds (1.42), the proof of Theorem 1.3 requires only the weaker bounds
| 1.43 |
for , where . Consider first the rotation vector fields, and recall the expression (1.38). The rotation vector fields are defined using approximations to the geodesics. The geodesics take the form
Using the fact that
where each of the first approximations arise by replacing and by their respective values in Minkowski space, and the second arise from the fact that , which holds asymptotically along each given geodesic (see Proposition 2.2 below), the approximations to the geodesics are defined as
| 1.44 |
for . It will be shown in Section 2 that are good approximations to the geodesics in the sense that
| 1.45 |
for all and . The idea is now to construct vector fields so that the vector fields applied to are bounded. Then one can show that (1.45) is true with replaced by . See Section 4 for more details. The approximations have the desirable property, which will be exploited below, that
| 1.46 |
vanishes (and in particular does not involve derivatives of ).
Applying the Minkowski rotation vector fields to the approximations gives
| 1.47 |
In the final equality, for , the first two terms are bounded (as can be seen from (1.45) and the fact that has compact support). However on a spacetime only satisfying the bounds (1.43), the terms on the last line in general grow in t. The vector fields are defined so that these terms are removed:
where if the functions are defined as
it follows from (1.46) and (1.47) that
| 1.48 |
and so
| 1.49 |
for and . It can similarly be shown (see Section 4.2) that
which, by (1.38), leads to a good bound for .
We remark that the identity (1.48) can be expressed as
| 1.50 |
which is exactly (1.40) when and X is replaced by . The rotation vector fields therefore arise by following the procedure in Section 1.5.1 with X replaced by ; see Section 3.
Since the functions do not depend on ,
and so the good bounds for lead to good bounds for .
Had the true geodesics been used to define the vector fields , the functions would have involved a term of the form and so would involve second order derivatives of . The average has better decay than the term does pointwise and so, to exploit this fact when obtaining a bound for , it is necessary to integrate this term by parts . If the true geodesics are used to define then, in the setting of Theorem 1.2, the fact that involves second order derivatives of would mean that this integration by parts cannot be used when estimating derivatives of at the top order, and so would be estimated in a slightly different way at the top order.
The approximations to the geodesics are used in a similar manner in Section 4.1 to define vector fields, and .9
In Hwang–Rendall–Velázquez [23] derivatives of the average for solutions of the Vlasov–Poisson system are controlled and analogues of the estimates of Theorem 1.3 are obtained. The approach is different to that taken in the present work, though the estimates in [23] are obtained by similarly first controlling derivatives of the analogues of the maps X, P. The re-parameterisation (t, x, y) of is also used, though whilst here it is only formally used to motivate the definition of the vector fields, in [23] derivatives, in the (t, x, y) coordinate system, of the analogue of the maps X, P are controlled.
It is also interesting to compare the present work with the independent work of Fajman–Joudioux–Smulevici [19]. The proof in [19] is also based on the vector field method (following [29, 37] in the vacuum) and, accordingly, the new elements of the proof also involve controlling vector fields applied to the components of the energy momentum tensor . The issue of the failure of the Minkowski vector fields applied to f to be bounded arises. A key step in [19] is therefore also to introduce a new collection of vector fields further adapted to the geometry of the spacetimes under consideration. The vector fields introduced are different to those introduced here. The construction in [19] proceeds roughly by, in the (t, x, p) coordinate system for , considering the vectors , where the coefficients are defined, by solving an inhomogeneous transport equation, so that has good commutation properties with . The solutions of the Vlasov equation in [19] are controlled by commuting the Vlasov equation (1.3) with these vector fields, in contrast to the present work where solutions of the Vlasov equation are controlled by expressing them in terms of geodesics (1.18) and commuting the geodesic equations (1.17) with vector fields.
Outline of the Paper
In Section 2 the system (1.17) is used to prove the property (1.19) regarding the support of the matter, and the maps (1.44) are shown to be good approximations to the geodesics. In Section 3, which is not required for the proof of Theorem 1.2 or Theorem 1.3, the discussion of the vector fields in Section 1.5 is expanded on and a derivation of the vector fields used in the proof of Theorem 1.3 is given. In Section 4 combinations of the vector fields applied to the geodesics are estimated. In Section 5 the estimates of Section 4 are used to obtain estimates for spacetime vector fields applied to the components of the energy momentum tensor and hence prove Theorem 1.3. In Section 6 the solution of the reduced Einstein equations is estimated in terms of the components of the energy momentum tensor. The results of the previous sections are combined in Section 7 to give the proof of Theorem 1.2.
The Support of the Matter and Approximations to the Geodesics
In this section the Vlasov equation on a fixed spacetime is considered. It is shown that under some assumptions on the metric the solution is supported, for large times, away from the wave zone provided is compactly supported. Curves , which approximate the timelike geodesics X, are introduced, which are later used to define the vector fields.
Note that the characteristics of the operator , where is given by (1.5), solve
| 2.1 |
and so
Hence
| 2.2 |
where , and
| 2.3 |
Let functions be defined so that
| 2.4 |
that is , and , for .
Properties of the Support of the Matter
The results of this section will rely on the Christoffel symbols satisfying the assumptions
| 2.5 |
for various small . Then if (2.7) below holds in , the assumption (2.5) implies that
| 2.6 |
in . The notation (y, q) will be used for points in the mass shell over the initial hypersurface , so , .
The next result (Proposition 2.8) guarantees that
| 2.7 |
for , for some constants K and c.
Proposition 2.1
Suppose that and , for some , and that for some fixed
| 2.8 |
where and . Then with we have
| 2.9 |
Proof
Let be the largest number such that for . We will show that then it follows that , for , contradicting the maximality of . Let . Since it follows that . Hence and
which proves the second and hence third part of (2.9), assuming the weaker bound of the first. It follows that
so along a characteristic X(s). Therefore , when , and , when along a characteristic. By (2.1) we have
where
by assumption. Hence, using the weak inductive assumption,
It follows that in the support of f, and (2.9) follows.
Proposition 2.2
If for then, for with ,
| 2.10 |
Proof
Note that any can be written as for some . For (y, q) such that ,
for all , using the bound (2.8). The proof follows by integrating forwards from and using the fact that ,
| 2.11 |
and dividing by s.
Translated Time Coordinate
Proposition 2.1 implies that for in or, equivalently, for , where , and . It is convenient to use this translated time coordinate in what follows. In particular, the vector fields of Section 4 will be defined using this variable. The main advantage is that the spacetime vector fields defined by
satisfy, for any multi index I,
| 2.12 |
for some smooth functions . Estimates for will then follow directly from estimates for , which are less cumbersome to obtain; see Section 5.4. For simplicity the will always be omitted, and statements just made for .
Approximations to Geodesics
Define, for and ,
| 2.13 |
and set
for . Note that
for . The geodesic equations (2.2) can be used to derive the following equations for and :
| 2.14 |
| 2.15 |
It follows from the next proposition that the curves are good approximations to the geodesics . Recall, from Section 1.2.2, the notation .
Proposition 2.3
Suppose in . Given such that ,
| 2.16 |
for all and .
Proof
First note that equation (2.2) and the bounds assumed on imply
| 2.17 |
for . Note also that
where , . Proposition 2.2, and the integration of (2.17) from s to t and (2.11) then gives
for and . Hence
Moreover,
for , and so
Integrating equation (2.15) backwards from , and using the fact that , gives
and integrating the equation (2.14) backwards from and using gives
since .
Corollary 2.4
Suppose is such that and . Then
for and .
Proof
The proof is an immediate consequence of the first bound of (2.7), and Proposition 2.3.
The Vector Fields
The general procedure for using approximate geodesics to lift a vector field Z on to a vector field on , outlined in Section 1.5 for geodesics, is described in more detail in Section 3.1. Here a formula for the action of the lifted vector fields on initial conditions for the approximate geodesics is derived. The essential property of the lifted vector fields is that they are bounded when applied to these initial conditions, which one can deduce from this formula. It is however computationally more convenient to define the vector fields from their action on initial conditions for the approximate geodesics, which we do in Section 3.2. Section 3.2 is independent of Section 3.1, but we include Section 3.1 for the purpose of conceptual justification of the vector fields and the formula mentioned above.
Geometric Construction of Lifted Vector Fields Using Approximate Geodesics
Parametrization of Momentum Space with Physical Initial and Final Coordinates for the Approximate Geodesics
Given first approximations to the geodesics and we define the second approximations and to the geodesics through , to be the solutions of the system
| 3.1 |
Under some mild assumptions on the metric g,10 for fixed any point with can be described uniquely by the pair of points in , where
| 3.2 |
is the point where the approximate geodesic emanating from (t, x) with velocity intersects the hypersurface , that is can be parameterised by ,
where the subscript is used in to emphasise that is now parametrised by y using the approximations to the geodesics. Integrating (3.1) backwards from t to gives that is implicitly given by
| 3.3 |
where
| 3.4 |
Here we used Taylor’s formula with integral remainder . The first approximate geodesics in the previous section are independent of so then is independent of and the above relation in fact gives explicitly.
Lifting of Physical Vector Fields to Vector Fields on Momentum Space Adapted to the Approximate Geodesics
For a given vector field Z on , let denote the associated one parameter family of diffeomorphisms, so and so that
Now the action of on (t, x) and in induces an action on in , given by
For fixed we define the vector field by
We have
| 3.5 |
where
| 3.6 |
The Lifted Vector Fields Applied to the Initial Conditions of the Approximate Geodesics Parameterized by the Final Momentum Space
A computation shows that
| 3.7 |
which as desired is bounded independently of . In fact, if and are bounded in the support of , equation (3.7) guarantees that is bounded.
To see that (3.7) indeed holds, first note that the left hand side is the derivative of with respect to at . Also the first term on the right hand side is the derivative of at . The equality (3.7) follows from taking the derivative, with respect to at of both sides of the identity
| 3.8 |
The identity (3.8) is just two different ways of expressing that we apply the transformation to the initial point of the path . The left hand side is that we apply the transformation to the approximate geodesic which will lead to the transformation of the initial point.
Computation of the Lifted Vector Fields from Their Action on Initial Conditions for the Approximate Geodesics
In this section we will compute the vector fields from how they act of the initial conditions. We will use a slight modification of the formula for how they act on the initial conditions derived in the previous section and we will hence get a slightly modification of vector fields in the previous section. They are computationally slightly simpler to use than the vector fields of the previous section, though they are mildly singular for t close to . It is therefore assumed throughout this section that , and the vector fields will only be used in the proof of Theorem 1.3 under this assumption.
The vector fields can be derived by imposing that they have the form
| 3.9 |
where are to be determined, and insisting that the relation
| 3.10 |
holds, instead of the relation (3.7) which involves instead of and is satisfied by the vector fields of the previous section. Equation (3.10) is in particular true for the Minkowski vector fields .
We now make the further assumption that the first approximate geodesics and in (3.1) are independent of in which case by (3.3) the second approximation to the geodesics are given by
| 3.11 |
with given by (3.4) now independent of . Applying the expression (3.9) to (3.11) gives
| 3.12 |
and so is indeed determined if is prescribed for each i. Substituting the definition (3.10) into (3.12) and solving for we obtain
| 3.13 |
The coefficients of the vector fields we are considering are linear functions
| 3.14 |
where . Hence, by (3.11),
| 3.15 |
where and we defined . Hence
| 3.16 |
Substituting and into (3.4) we have
Lemma 3.1
If
| 3.17 |
then
| 3.18 |
where, with ,
| 3.19 |
Proof
Changing variables gives
| 3.20 |
Hence
| 3.21 |
Integrating by parts we have
| 3.22 |
and adding things up we get the lemma.
Remark 3.2
We note is of exactly the same form of and hence can be estimated in the same way, and moreover a vector field applied to will produce a of the same form.
One can further obtain bounds for applied to the initial conditions for as follows: we have
| 3.23 |
so
| 3.24 |
which again is bounded, provided the components of Z grow at most like t.
The Rotation Vector Fields
Since the rotations satisfy it easily follows from the above lemma that
where is given by (3.17) and
The Scaling Vector Field
By the above lemma we have
| 3.25 |
The Boost Vector Fields
By the above lemma we have
| 3.26 |
where
| 3.27 |
Vector Fields Applied to Geodesics
Recall from Section 2 the definitions (2.13) of and , and
In this section estimates for combinations of appropriate vector fields, (see Sections 3 and 4.1 below), applied to the geodesics and of a fixed spacetime satisfying the pointwise bounds
| 4.1 |
where , are obtained. The main results are Proposition 4.24 and Corollary 4.27, which will be used in Section 5 to estimate combinations of the spacetime vector fields, , applied to the components of the energy momentum tensor, .
Proposition 4.24 and Corollary 4.27 are obtained by applying to the system (2.14)–(2.15) (see Propositions 4.23 and 4.26) to first estimate and . Proposition 4.24 and Corollary 4.27 then follow from good estimates for and . The vector fields are defined so that such good estimates indeed hold (see Proposition 4.1 for the case , and Proposition 4.9 for general I).
In Section 4.1 the vector fields are recalled from Section 3. In Section 4.2 the basic idea of the remainder of the section is illustrated by considering only one rotation vector field applied to the geodesics. In Section 4.3 schematic expressions for , along with applied to and (estimates of which are also used in the proof of Propositions 4.23 and 4.26) are obtained. In Section 4.4 these schematic expressions are used to obtain estimates for , and for applied to various other quantities. Since the commuted system (2.14)–(2.15) is integrated backwards from , it is necessary to first estimate the “final conditions”, and . Such estimates are obtained in Section 4.7 (see Propositions 4.21 and 4.22) using the results of Sections 4.5 and 4.6. In Section 4.8 lower order derivatives of and are estimated (Proposition 4.23) and in Section 4.9 higher order derivatives are estimated (Proposition 4.26).
In Sections 4.1–4.9 it will be assumed that . Section 4.10 is concerned with the case . It will be assumed throughout this section that , where (recall the discussion in Section 2.2).
Vector Fields
The proof of the main result uses the following collection of vector fields, introduced in Section 3, which are schematically denoted
for , , and reduce to the standard rotations, boosts and scaling vector field of Minkowski space when acting on spacetime functions. Recall the notation, for ,
and
| 4.2 |
Recall that the vector fields take the following form: first,
where
| 4.3 |
| 4.4 |
for . Second,
where
| 4.5 |
for . Finally,
where
| 4.6 |
By the bound (2.16), the maps are good approximations to the true geodesics, . Recall that the vector fields, , are defined so that, when applied tothe following hold at:
Proposition 4.1
For , the vector fields , , defined above satisfy that
| 4.7 |
| 4.8 |
| 4.9 |
for .
Proof
The proof is a straightforward computation. See also Section 3.2, where the above form of the vector fields , , are derived by insisting that the result of this proposition is true. (Note that (4.7)–(4.9) are nothing other than equation (3.10) specialised to the case respectively. See also equation (1.40) and the general discussion in Section 1.5.)
Remark 4.2
Recall the Minkowski vector fields , , from Section 1.5.1. Since, in Minkowski space, the maps are simply given by
for , it is easy to see that Proposition 4.1 in fact holds in Minkowski space with replaced by any s:
Estimates for One Rotation Vector Field Applied to the Geodesics
Recall that the main goal of Section 4 is to control combinations of vector fields applied to the components of and , that is to prove Proposition 4.24 and Corollary 4.27. Proposition 4.24 and Corollary 4.27 require introducing schematic notation and first obtaining preliminary results (see Sections 4.3–4.7). The main idea, however, is straightforward and can already be understood. In order to illustrate the idea, in this section it is shown how to estimate one rotation vector applied to the components of and . This section is included for the purpose of exposition and the results are not directly used in the proof of Proposition 4.24 and Corollary 4.27 or elsewhere.
By Proposition 4.1, in order to control applied to the components of and it suffices to control applied to the components of and or, more generally, to show the following:
Proposition 4.3
Suppose , , and the bounds (4.1) hold with . Then, for , ,
for all .
The proof of Proposition 4.3 relies on two facts. The first is the fact that, for ,
| 4.10 |
which follows from the fact that , and that does not involve derivatives. The analogue of (4.10) is not true, due to the presence of the derivatives, when is replaced by or . These “final conditions” for and , and higher order combinations of all of the vector fields, applied to and are estimated in Section 4.7.
The second fact required for the proof of Proposition 4.3 is the following estimate for applied to the right hand side of equation (2.15).
Proposition 4.4
Suppose , , and the bounds (4.1) hold with . Then
| 4.11 |
for all .
Proof
Recall that
Write
and note that
The bound for the first term follows from writing and, using the definition (2.13) for and the definition of (see (4.3)),
Using the assumptions (4.1) on , the fact that
for (see Proposition 2.2), and the fact that , it follows that
For the second term, note that
and, as above,
Hence,
Similarly, using the fact that
it follows that
and similarly,
Hence,
In a similar manner it follows that
from which (4.11) then follows.
A higher order analogue of Proposition 4.4, which includes also the boosts and scaling and is used in the proof of Proposition 4.24 and Corollary 4.27, is obtained in Section 4.5.
Proof of Proposition 4.3
The proof proceeds by applying to the system (2.14)–(2.15). Applying to the equation (2.14) and integrating backwards from , using (4.10), that
and, summing over , the Grönwall inequality (see Lemma 4.25) gives
| 4.12 |
Inserting this bound into the equation (2.14) for , after applying , integrating backwards from and using (4.10) gives
since . For any function ,
where denotes the indicator function of the set A, and so
and another application of the Grönwall inequality gives
The proof follows after inserting this bound back into (4.12).
Repeated Vector Fields Applied to the Initial Conditions for Approximations to Geodesics
Recall the discussion at the beginning of Section 4. In order to motivate the results of this section and the next section note that, after applying to the equation (2.15), the term
(amongst others) appears. Consider the first of these summands. Rewriting
the first term is controlled, in the proofs of Propositions 4.23 and 4.26, by the Grönwall inequality. In Section 4.4, the term is controlled by first rewriting
The second term is computed schematically in Proposition 4.5 below, and is controlled in Section 4.4. For the first term, the fact that
| 4.13 |
is used, along with the schematic expressions of Propositions 4.6 and 4.7. The expression
| 4.14 |
similarly appears after applying to equation (2.15), where
and is therefore also estimated in Section 4.4.
The following generalises Proposition 4.1 to higher orders. Recall it is assumed that . Section 4.10 is concerned with the case .
Proposition 4.5
For any multi index I, there exist smooth functions , such that
for , where and and satisfy
for some smooth functions and . (Here .)
Proof
The result is clearly true for by Proposition 4.1. The result for then follows from a straightforward induction argument after noting that, for any multi index ,
where , and also noting that
and
| 4.15 |
| 4.16 |
| 4.17 |
where the equalities (4.4), (4.5), (4.6) have been used. Hence, for any smooth function and any , , S, there exist smooth functions , such that
and the proof follows.
Note that the arguments of the smooth functions , , and appearing in Proposition 4.5 are bounded in . Note also that the functions themselves also depend on but, since is considered fixed, this dependence is not made explicit. Things are similar for the functions appearing in Propositions 4.6 and 4.7 below.
Proposition 4.6
For any multi index I, there exist functions such that
for , where
for some smooth functions .
Proof
Note that,
and so, inserting the equalities (4.4), (4.5), (4.6), the result is clearly true for . The result for follows from a straightforward induction, as in the proof of Proposition 4.5, now also using the fact that
| 4.18 |
Proposition 4.7
For any multi index I, there exist smooth functions such that
for , where
for some smooth functions .
Proof
The result for clearly follows from the equalities (4.15), (4.16), (4.17). The proof for follows from a straightforward induction argument, as in the proof of Proposition 4.5.
Preliminary Estimates for Repeated Vector Fields Applied to Approximations to Geodesics
Proposition 4.8
Suppose , and the bounds (4.1) hold. Then, for ,
where is a product of of the vector fields . Moreover, if , then
Proof
Recall the definition (4.2) of . Note that
and that
and
Using the equalities (4.18), the result for clearly follows from the bounds (4.1) for (recall that, when restricted to spacetime functions, the vector fields are equal to the Z vector fields). The proof for is a straightforward induction.
Proposition 4.9
Supposing that , , and the bounds (4.1) hold, then, for ,
| 4.19 |
| 4.20 |
| 4.21 |
and
| 4.22 |
| 4.23 |
for and for all . In particular, for ,
for .
Proof
Consider first the bound (4.19). Proposition 4.5 implies that
where the fact that has been used (see Corollary 2.4). If then Proposition 4.8 and the bounds (4.1) imply that . The estimate (4.19) then follows from Proposition 4.8 after noting that, for all , there is at most one such that .
The estimate (4.20) follows similarly (using now Proposition 4.6 in place of Propositions 4.5 and 2.2 in place of Corollary 2.4), as does the estimate (4.21) (using Proposition 4.7 in place of Proposition 4.5). The bounds (4.22) and (4.23) can be shown as in the proof of Proposition 4.8.
Corollary 4.10
Supposing that , , and the bounds (4.1) hold, then
| 4.24 |
and
| 4.25 |
for all , . In particular, for ,
| 4.26 |
Moreover,
| 4.27 |
In particular, for ,
| 4.28 |
Proof
After writing
Proposition 4.9 implies that
The proof of the bound (4.24) follows after dividing by s and using the fact that
since and if , and if (recall also that ). The proof of (4.25) follows similarly by writing
and using the bound (4.20). The bound (4.27) similarly follows from Proposition 4.9 after writing
The lower order estimates (4.26) and (4.28) follow from rewriting
and using the pointwise bounds (4.1) for lower order derivatives of .
Schematic Notation and Repeated Vector Fields Applied to Differences
To make long expressions more concise, the s dependence of many quantities is suppressed throughout this section.
The proofs of Propositions 4.23 and 4.26 below follow from applying vector fields to the system (2.14)–(2.15). It is therefore necessary to estimate vector fields applied to the difference
| 4.29 |
which appears on the right hand side of equation (2.15), where and , and is defined in (2.4). Apart from controlling vector fields applied to and we also control vector fields applied to and , and moreover the differences and decay, see (4.13) and (4.14) and the propositions to follow. Furthermore, because of the definition of and in terms of and the differences and are small, see Proposition 2.3. It may be tempting to write this as differences with evaluated at . However we do not want to involve an estimate of applied to so instead we will first differentiate (4.29) and use the decomposition to the factors that come out when we differentiated. The following result is straightforward to show:
Lemma 4.11
Given and , let , denote the sum of over all components for . We have
| 4.30 |
where the sums are over all possible partitions of the multi index J into nonempty sub indices to .
Proof
First one differentiates to get a sum of terms of the form
and then one makes a different decomposition depending on the size of k. Then one proceeds by organizing them in order so is smallest. If , one writes
and replaces them one by one:
This produces the first two sums with . For one simply does the same thing but with and X interchanged.
Note that, for each term in the equality (4.30), if and therefore, in the applications of Lemma 4.11 below, the factors can be estimated by the their norms using induction by previous estimates. Given that is known the expression (4.30) can be thought of as linear in the unknown . However when we prove estimates for high derivatives we also have to take into account how depends on high derivatives of . Either is small, in which case we can use estimates for and , or is large, and as a result are small for all i, and we can use estimates for all the other factors. Applying Lemma 4.11 we get the following estimates:
Lemma 4.12
Recall the function from (4.29). Suppose , , and suppose, for some , that for . Then
| 4.31 |
| 4.32 |
Proof
The bound (4.31) follows from Lemma 4.11 applied to , after noting that for any I, using the form of the vector fields and the fact that . The term is estimated by
since is smooth. The bound (4.32) is even simpler.
Lemma 4.13
Suppose , , and suppose, for some , that for . Then
and
at .
Proof
The Lemma is again a straightforward application of Lemma 4.11, noting again that for any I since . Note that
| 4.33 |
for some homogeneous functions A that are smooth when , and hence,
| 4.34 |
In the application we will estimate low derivatives of with its norm so that the result only depends on the differences of functions evaluated at X and and functions evaluated at but not at X.
Lemma 4.14
Suppose , , and suppose, for some , that for . Then, at ,
Instead of applying vector fields to the decomposition (4.29) we first apply vector fields and then apply this decomposition to the terms with more derivatives falling on , but if more fall on we apply the decomposition with interchanged with and with :
Using this decomposition and the previous lemmas we obtain
Proposition 4.15
Suppose , , and suppose, for some , that for . Then, at ,
and
Proof
The above decomposition and Lemma 4.12 give
The first bound then follows from Lemma 4.14. The proof of the second bound is straightforward.
The following corollary of Proposition 4.15 is used at lower orders:
Corollary 4.16
Suppose , , and suppose, for some , that , for . Then, at ,
Proof
The proof follows from Proposition 4.15 if we note that in the support of X and ,
| 4.35 |
Parameter Derivatives of the Equations and Vector Fields Applied to Their Differences
The vector fields applied to the system (2.14)–(2.15) will be estimated by integrating from the final time t and in order to do this we need to control the final conditions for and at time t. Note that, for , (similarly for in place of and for respectively in place of X) and so, if is a vector which does not involve derivatives, these final conditions vanish. Some of our vector fields, however, also involve derivatives. Therefore we need to estimate higher derivatives of the system, which can be recast as spacetime derivatives. Recall that . We have
| 4.36 |
The structure of higher order derivatives is very simple. Either the derivative falls on , in which case we can substitute the second equation for and get another factor of , or the derivative falls , which produces a derivative . Hence we get the system
| 4.37 |
where
| 4.38 |
Here , denote the tensor with components sum of over all components for and are polynomials in with values in . Here the first dot product is schematic notation to be interpreted as dot products of elements and in some larger dimensional space whose components corresponds to the terms in the sum. We now also want to take derivatives of
| 4.39 |
Then
| 4.40 |
where
| 4.41 |
Here satisfies the same estimates as whereas is at least quadratic in (note in the summation) and hence satisfies the same estimates as multiplied with , which decays faster than another derivative. We have
Lemma 4.17
Suppose that for . Then
| 4.42 |
| 4.43 |
Moreover,
| 4.44 |
Proof
The proof of (4.44) follows from using (4.33)–(4.34). We first note that the components of are linear combinations of the components of , for , since the commutator is either 0 or for some . Therefore it remains to estimate the difference , where
Using (4.33) we can write this as a linear combination of
The difference can be estimated by the right hand side of (4.44) as for (4.34).
We can now apply the estimates from the previous section with respectively in place of . First we obtain the analogue of Proposition 4.15 as follows:
Proposition 4.18
Suppose that for some and s, such that , we have that , for , and , for . Then
and
Proof
By Proposition 4.15 applied to in place of ,
and the first part of the proposition follows from Lemma 4.17.
The following corollary of Proposition 4.18 is used at lower orders:
Corollary 4.19
Suppose that for some and s, such that , we have that , for , , for , and , for . Then
The proof of Corollary 4.19 follows from Proposition 4.18 as in the proof of Corollary 4.16.
The Final Conditions
Note that, for any ,
| 4.45 |
Repeated application (4.45) inductively implies that
| 4.46 |
where and are constants times t or , for some j. Applying (4.46) to and noting that gives
| 4.47 |
| 4.48 |
where for the proof of (4.48) we used that and for we also used (4.47). Hence
and, by (4.40), we have
Lemma 4.20
With and as in (4.38) and (4.41) we have
where everything is evaluated at where .
We can now apply the estimates from the previous section.
Proposition 4.21
Suppose that , , and the bounds (4.1) hold. Then, for ,
Proof
We will use induction to prove this. Assuming that we have that , the assumptions of Corollary 4.19 hold at , and writing and and using the estimates (4.26) and (4.28) for and , respectively, we get, for ,
Assuming that the proposition is true for it now follows from this and previous lemma that it is also true for .
Proposition 4.22
Suppose , , and the bounds (4.1) hold. Then, for ,
Proof
We will use induction to prove this. Assuming that the proposition is true for , the assumptions of Proposition 4.18 hold at and so, for ,
and
since for any multi index I, using the form of the vector fields . Hence, writing and , we get
Using induction for the first sum and the estimates (4.25) and (4.27) for and , respectively, the proposition follows.
Estimates for Lower Order Derivatives of Geodesics
The estimates in the previous sections easily lead to pointwise bounds for lower order derivatives of and .
Proposition 4.23
Suppose , , and the bounds (4.1) hold. Then, for ,
for all , for .
Proof
The proof proceeds by induction. Clearly the result is true when by Proposition 2.3. Assume the result is true for all , for some . Then I clearly satisfies the assumptions of Corollary 4.16 and so, by the equations (2.14), (2.15) and the pointwise bounds (4.1),
where we recall and . Writing and and using the estimates (4.26) and (4.28) for and , respectively, gives
Integrating backwards from and using Proposition 4.21,
and so, after summing over and I, the Grönwall inequality and Lemma 4.25, give that
The equation (2.14) and Proposition 4.21 then give, after integrating backwards from again,
where the fact that, for any function ,
has been used (here is the indicator function of the interval ). Another application of the Grönwall inequality, after summing over and I, completes the proof.
Corollary 4.10 and Proposition 4.23 immediately yield the following sharp pointwise bounds:
Proposition 4.24
Suppose , , and the bounds (4.1) hold. Then, for ,
for all , for .
The following form of the Grönwall inequality was used in the proof of Proposition 4.23 above, and will be used in the proof of Proposition 4.26 below:
Lemma 4.25
For continuous functions , if
for , then
Higher Order Estimates for Derivatives of Geodesics
The main result of this section is
Proposition 4.26
Suppose that , , and the bounds (4.1) hold. Then, for ,
| 4.49 |
and
| 4.50 |
for all , .
Proof
Let I be a multi index with . Using the equation (2.15) and Proposition 4.15,
Writing
and using Corollary 4.10, Proposition 4.23 and the pointwise bounds (4.1) for gives
where
Integrating backwards from gives
Summing over and I, the Grönwall inequality, Lemma 4.25, gives
Integrating backwards from again, the equation (2.14) implies
where the fact that, for any function ,
has been used. Another application of the Grönwall inequality 4.25 gives
The bound (4.49) follows from Proposition 4.22, along with the fact that
and, for any nonnegative function ,
and
The bound (4.50) follows similarly.
Corollary 4.27
Suppose , , and the bounds (4.1) hold. Then, for ,
Proof
The corollary is an immediate consequence of Propositions 4.9 and 4.26.
Spacetime Derivatives and Small Time
Since the vector fields become singular at time , in this section the spacetime and derivatives of and are estimated for . Since the results of this section are local in time they are much simpler than those in previous sections. In particular, it is not necessary to subtract the approximations , from X and respectively. Note that always denotes the spacetime gradient . When applied to functions on the derivatives are, as usual, taken with respect to the coordinate system.
It is first necessary to estimate derivatives of the equations (1.17).
Proposition 4.28
Let I be a multi index and suppose for all . Then,
Proof
Recall that (the s dependence is omitted for brevity). There exist constants , such that
and
and so, by the assumed lower order bounds for X and ,
from which the result follows.
In order to use the system (1.17) to estimate and , it is also necessary to estimate the final conditions (note that this is completely straightforward unless contains derivatives).
Proposition 4.29
Let I be a multi index with and suppose for all . Then
Proof
Recall the notation and from Section 4.6. By the formula (4.46) it follows that
for some constants , where the proof of the second uses the first and the fact that . Hence,
The proof follows by noting that
by an appropriate version of Lemma 4.17.
Proposition 4.30
Suppose , and for all and and . Then, for ,
for all .
Proof
Proposition 4.28 and the equation (1.17) imply
Integrating backwards from , by Proposition 4.29,
Summing over I, the Grönwall inequality, Lemma 4.25, gives
The result follows by integrating from again and repeating.
Proposition 4.31
Suppose and for all and and . Then, for ,
for all .
Proof
Proposition 4.28, the equation (1.17) and Proposition 4.30 now imply
and so Proposition 4.29 implies
The proof then proceeds exactly as in Proposition 4.30.
Estimates for Components of the Energy Momentum Tensor
In this section a proof of Theorem 1.3 is given. Recall the discussion in Section 2.2. In order to use the results of Section 4 it will again be assumed throughout most of this section that , the bounds (4.1) hold, and , where is the natural projection. It is shown how Theorem 1.3 then follows in Section 5.4.
Derivatives of Components of the Energy Momentum Tensor in Terms of Derivatives of f
Recall
The main result of this section is Proposition 5.4, which uses the bounds on and of Corollary 4.27 to give bounds on . In order to prove the bounds for , it is convenient to first rewrite the above integral in terms of the variables.
Proposition 5.1
There exists a non-zero function , smooth provided for , such that
Proof
Define and note that, since,
it follows that
and hence,
Now, since ,
The proof follows by writing , noting that
and using the fact that for any matrix A.
In Minkowski space, that is when , it is straightforward to compute
where , and is defined by the relation . It then follows that
since , and hence the change of variables is well defined if is sufficiently small. Moreover, recalling that
it follows that, for each ,
for some functions , smooth when , and so
| 5.1 |
For each vector field , recall the corresponding functions defined in Section 4.1. Note that, for each , the have the form
for some functions . Explicitly,
and
This notation will be used below.
Proposition 5.2
For and any multi index I, there exist smooth functions , , , such that
where is a product of of the vector fields .
Proof
Recall that the components of the energy momentum tensor take the form (5.1). Note that
and, for ,
for any function and
Therefore, for and ,
and the proof follows from the fact that and are smooth functions of and h. The proof for follows from a straightforward induction argument.
Proposition 5.3
For any multi index I, there exist constants such that
Proof
Using the Vlasov equation to write
it follows that
The proof for follows from a straightforward induction argument.
Proposition 5.4
Suppose , , and the bounds (4.1) hold. Then, for each and any multi index I with and equal to a product of of the vector fields ,
Proof
Recall the schematic expression for of Proposition 5.2. Consider multi indices , such that , and suppose first that . It must then be the case that . If , then clearly
and Proposition 4.9 implies that
If , then, since
Proposition 4.8 implies
for each . Let now be such that , , , . If then it must be the case that for , and for . Proposition 4.24 then implies
Similarly, if , there can be at most one i such that either or , so Proposition 4.24 and Corollary 4.27 imply
It is then clear that
Suppose now that . It must then be the case that . Proposition 5.3 then implies that
If and , then Propositions 4.8 and 4.9 imply
Hence,
The proof then follows from Proposition 5.2.
Determinants and Changes of Variables
In the proof of Theorem 1.3, the change of variables will be used, where
for , along with several other changes of variables; see the proof of Propositions 5.8 and 5.9. A first step towards controlling the determinants of these changes is contained in the following:
Lemma 5.5
Suppose , , and . Then, if the assumption (4.1) holds and is sufficiently small,
| 5.2 |
and
| 5.3 |
for all , and .
Proof
From the equations (1.17) and the estimates
it follows that
Integrating the second inequality backwards from and using the fact that gives
Dividing by , integrating again backwards from , and summing over i, j gives
Taking sufficiently small then gives
Inserting back into the above bound gives
| 5.4 |
Integrating this bound backwards from , and using the fact that , gives
where the fact that, for any function ,
has been used (here is the indicator function of the interval ). Again, dividing by , integrating backwards from , summing over i, j and taking small gives
Inserting back into the above bound then gives
and inserting this into (5.4) gives the second bound of (5.2).
In a similar manner, it is straightforward to show that
and, using the final conditions , , that (5.3) holds.
The properties of these changes are collected in the following proposition:
Proposition 5.6
For fixed t, x with , , if the assumptions (4.1) hold and is sufficiently small then, for such that , the change of variables satisfies
| 5.5 |
Define
for . If and , then the change of variables satisfies
| 5.6 |
If then the change of variables satisfies
| 5.7 |
Finally, if and , then the change of variables satisfies
| 5.8 |
Moreover, for , the determinant of the 6 by 6 matrix satisfies
| 5.9 |
Proof
Setting in (5.2), it follows that
| 5.10 |
and, if is sufficiently small,
| 5.11 |
Since , the bound (5.5) follows.
For the remaining bounds of the proposition, it is necessary to consider as a function of t, x, y (using the above bound and the Inverse Function Theorem) and estimate and . Clearly the matrix is the inverse of the matrix , and hence it follows from (5.10) that
Also,
so
Setting in (5.3) gives
and so, since
it follows that
since .
Now,
and hence, inserting the above bounds,
It follows that
and, if is sufficiently small, the bound (5.6) follows for . Similarly,
and
which, if is suitably small, implies
and the bound (5.7) follows.
Finally,
and so
from which the bound (5.8) follows.
We now prove the bound (5.9). For denote and , so that . Now
With we have
| 5.12 |
We have
and so,
The bound (5.9) then follows from the Grönwall inequality.
and Estimates of Components of the Energy Momentum Tensor
The main part of the proof of Theorem 1.3 is contained in Propositions 5.8 and 5.9 below. The following Lemma will be used:
Lemma 5.7
Suppose , and the assumptions (4.1) hold. Then
where is the characteristic function of .
Proof
Since f solves the Vlasov equation, and
where the change of variables and the bound (5.5) have been used.
Proposition 5.8
Suppose and consider . If the assumptions (4.1) hold and is sufficiently small then, for any multi index I with and each ,
where is a product of of the vector fields .
Proof
Given any function F(t, x) it follows from Proposition 5.4 that
Given , it follows from Lemma 5.7 and the bound (5.9) that
Similarly, for any multi index J,
using the bound (5.5). Now, for the third term,
where the change of variables has been used, along with the fact that .
For the final term, first write,
As above,
and, estimating the term with slightly differently,
where now the change of variables has been used, together with Proposition 5.6, which guarantees that when . Note that this term was estimated slightly differently since the change of variables breaks down as , since then .
Finally, write
Since,
by Proposition 2.3 and the bound (4.26) with , it follows that
Hence,
where the change of variables has been used, along with the fact that when , , by Proposition 5.6.
It follows that, for any F(t, x),
The estimate follows by setting and dividing by . The estimate follows by setting , and using the fact that , and .
Proposition 5.9
Suppose and consider . If the assumptions (4.1) hold, and is sufficiently small, then for any multi index I with and each ,
where is a product of of the vector fields .
Proof
The proof is very similar to that of Proposition 5.8. Recall that, for any F(t, x),
It is only the final term which is estimated differently. In Proposition 5.8 an extra derivative of was used to exploit the cancellation in . Now, at the top order, these terms are estimated individually:
The first term is estimated exactly as in Proposition 5.8 (note that the s power is now slightly worse) to give
The second term is estimated similarly:
where the change of variables has now been used, along with the fact that for , by Proposition 5.6.
It follows that
The proof then follows by setting .
Proof of Theorem 1.3
First note that Propositions 5.8 and 5.9 can be extended to include as follows:
Proposition 5.10
Suppose and consider . If the assumptions (4.1) hold and is sufficiently small then, for any multi index I with ,
Proof
By Propositions 4.30 and 4.31, it follows from an appropriate version of Proposition 5.4 that
For any function F(t, x),
by (5.9) (as in the proof of Proposition 5.8), and
where the change of variables and the bound (5.3) have been used. Clearly then
The bound then follows by setting , and the bound follows by setting , and using the fact that , and .
Since, for any function F(t, x) and any multi index I, the vector fields Z satisfy
it is clear that Propositions 5.8 and 5.9 in fact hold for . Moreover, it is clear from (2.12) that
where is a product of of the vector fields , for or since , and so spacetime derivatives can be included in Propositions 5.8 and 5.9.
Suppose now that the assumptions of Theorem 1.3 hold. It follows from Proposition 2.1 that the support of f satisfies and so, letting where , it follows from Proposition 5.8, Proposition 5.9 and the above comments that the bounds of Theorem 1.3 hold with t replaced by and the vector fields Z replaced by for , where the vector fields are as in Section 2.2. The proof of Theorem 1.3 then follows from noting that
and so
for some constants .
The Einstein Equations
The main results of this section are the following:
Proposition 6.1
Suppose that , . Consider a solution of the reduced Einstein equations (1.11) for such that, with and as in (1.14), the weak decay estimates
| 6.1 |
hold for all for some such that
| 6.2 |
Then for some constant depending only on , the weak decay estimates
| 6.3 |
where and , hold for all .
Note that the inverse of the metric can be expressed as
| 6.4 |
where is as in (1.13). Then , where , is an approximate inverse to up to , where is as in (1.13). Hence . Therefore will satisfy the same estimates as .
We have the following strong decay estimates from the wave coordinate condition for certain tangential components expressed in the null frame:
Proposition 6.2
Suppose the conditions of Proposition 6.1 hold. Let be the null frame defined by (1.28). The modified Lie derivative defined by (6.73) satisfies
| 6.5 |
| 6.6 |
for , where and , the subset that spans the tangent space of the outgoing light cones. Here the constant depends only on in (6.3) and on N.
Proposition 6.3
Suppose that and the weak decay estimates (6.3) hold for some , and that there is a constant such that
| 6.7 |
Then the following strong decay estimates hold: for any , and there are constants such that
| 6.8 |
In addition we have the following estimates for certain tangential components expressed in a null frame:
| 6.9 |
Here all constants depend only on in (6.3), on N and on c, K in (6.7).
Theorem 6.4
Suppose that and the decay and support conditions (6.2)–(6.9) hold. Then there is a and constants , , depending only on N, , c, K and a lower positive bound for , such that for all and ,
where and , and are universal constants.
In the proof of Theorem 1.2 in Section 7, Proposition 6.1 will first be appealed to for the coupled Einstein–Vlasov system (1.2), (1.3), (1.11). As a consequence the assumptions of Proposition 2.1 will be satisfied, which in turn will ensure that the assumptions of Proposition 6.3 and hence of Theorem 6.4 are satisfied.
Weak Decay Estimates
Here we assume the weak energy bounds (6.1) and prove that this implies certain decay estimates.
The Weak Decay Estimates for the Metric
Lemma 6.5
(The Klainerman–Sobolev inequalities with weights) Let be a real valued function and let w be as in (1.14). Then
For a proof of this, see Proposition 14.1 in [37]. Using this we get
Proposition 6.6
Suppose that the weak energy bounds (6.1) hold. Then
| 6.10 |
Furthermore,
| 6.11 |
The same estimates hold for in place of , and for h or H in place of if is replaced by .
Proof
(6.11) follows from integrating (6.10) in the direction from data, see Corollary 9.4 in [37].
That satisfy the same estimates as follows from the discussion after (6.4). That h and respectively, H, only satisfy these estimates with replaced with follows from the fact that and , given by (1.13) and (6.4), respectively, only satisfy these estimates.
The Improved Weak Decay Estimates for the Metric
To get improved decay estimates in the interior we will use Hörmander’s – estimates for the fundamental solution of , see Theorem 3.5 in [31].
Lemma 6.7
Suppose that u is a solution of (that is the flat Minkowski wave operator) with vanishing data . Then
| 6.12 |
Also, for the linear homogenous solution, we have, by Lemma 10 in [31],
Lemma 6.8
If v is the solution of , with data and , then for any ,
| 6.13 |
For the proof below we will also use the following version of Hardy’s inequality, see Corollary 13.3 in [37]:
Lemma 6.9
For any and any ,
| 6.14 |
On the other hand we can also estimate derivatives in terms of the vector fields as follows:
Lemma 6.10
Let and let be the projection of onto the tangent space of the outgoing light cones. Then
| 6.15 |
and
| 6.16 |
Proposition 6.11
Suppose that and the weak energy bounds (6.1) hold for a solution of Einstein–Vlasov in wave coordinates. Then
| 6.17 |
where and . Moreover,
| 6.18 |
The same estimates hold for in place of , and h or H in place of if is replaced by .
Proof
First (6.18) is a consequence of (6.17) using (6.16) so it only remains to prove (6.17) for . Let where,
| 6.19 |
and
| 6.20 |
| 6.21 |
We will prove (6.17) for separately for each of . For v and u the proof follows the proof in section 16 of [37]. The estimate for the homogeneous linear part v follows from using Lemma 6.8 with the estimate for and obtained from (6.10)–(6.11) when .
Then using the bounds (6.10)–(6.11) for a small number of vector fields we have
| 6.22 |
and since ,
| 6.23 |
Now
| 6.24 |
since
| 6.25 |
We write and estimate
| 6.26 |
and by Lemma 6.9,
| 6.27 |
Hence,
| 6.28 |
Finally,
| 6.29 |
where when and 0 otherwise. Hence
| 6.30 |
It now follows from Lemma 6.7 that
| 6.31 |
which proves (6.17) for and also for u. It remains to prove the estimate for as well, but this also follows from Lemma 6.7:
| 6.32 |
The Support and Weak Decay of Matter
The following Sobolev inequality will be used to obtain pointwise bounds for from the assumptions (6.1):
Lemma 6.12
If for some and , then
Proof
The proof proceeds by noting that, with , for . The inequality for follows from the standard Sobolev inequality,
The proof for follows from the identity (2.12).
Lemma 6.12, together with assumption (6.7) on the support of and the weak energy bounds (6.1), gives
| 6.33 |
The Sharp Decay Estimates for the First Order Derivatives
Throughout the rest of this section we will assume that the weak decay estimates (6.17)–(6.18) hold for some , , along with the support condition (6.7) for . However we will not use the weak energy bounds (6.1) any further.
The Sharp Decay Estimates for First Order Derivative of Certain Components from the Wave Coordinate Condition
By (2.20 in [34] the wave coordinate condition can be written as
| 6.34 |
and . Moreover,
| 6.35 |
We first express the divergence in a null frame as follows:
Lemma 6.13
Let and . Then for any tensor ,
| 6.36 |
Proof
The proof follows expressing the divergence in a null frame ; for when and commute with the frame, see Lemma 1 in [34].
Using this, we get
Lemma 6.14
We have
| 6.37 |
| 6.38 |
where , is a function supported when . Moreover (6.37) also holds for h in place of H.
Proof
It follows from the previous lemmas that
Picking and, respectively, , gives (6.38).
Proposition 6.15
With and we have, for
| 6.39 |
| 6.40 |
The same estimates hold for H in place of if is replaced by ,
Proof
The proof follows as in the proof of Proposition 13 in [34]. (6.40) follows from integrating (6.39) in the direction from initial data. When the estimates follow from Proposition 6.11 so we may assume that . It then follows from Lemma 6.14 and Proposition 6.11 that
| 6.41 |
The Leading Order Behaviour of the Inhomogeneous Term Towards Null Infinity
The inhomogeneous term in Einstein’s equations can be written as
| 6.42 |
where is cubic:
and satisfy the standard null condition, and hence
| 6.43 |
The main term can be further analyzed by first noting that
| 6.44 |
which follows from expressing in a null frame: . Expressing in a null frame we have
| 6.45 |
Taking into account the wave coordinate condition this reduces in leading order to , where
| 6.46 |
In fact, by (6.45) we have
| 6.47 |
Also, using (6.37) and that fact the , we get
| 6.48 |
Summing up, we have shown
Lemma 6.16
Let
| 6.49 |
where satisfies , when and , when . Here . Then
| 6.50 |
Lemma 6.17
With notation as in the previous lemma we have that
| 6.51 |
The Leading Order of the Geometric Wave Operator Towards Null Infinity
Expanding in a null frame as in the proof of Lemma 6.13 and using (6.16), we get
Lemma 6.18
We have
| 6.52 |
As a consequence, we get
Lemma 6.19
We have
| 6.53 |
where the asymptotic Schwarzschild wave operator is given by
| 6.54 |
Proof
We apply (6.52) to using (6.40) and (6.17) to get
In spherical coordinates, (6.54) takes the form
| 6.55 |
The Leading Order of the Metric Towards Space Like Infinity
Following [37], we have defined to be a function that picks up the leading behavior of the initial data at space like infinity:
| 6.56 |
It would, however, perhaps have been more natural to define it to be a solution of the homogeneous wave (or even better .) with data coinciding with this function at time 0 in which case which is equal to (6.56) in the exterior when . We therefore think of (6.56) as an approximate solution to the homogeneous wave equation. By (6.55), we have
| 6.57 |
for some functions that vanish when or ; this, in particular, means that in the exterior and in the wave zone it is a solution of the wave operator . Moreover,
| 6.58 |
for some smooth function supported when . Hence
| 6.59 |
Summing up, we have proved
Proposition 6.20
(Asymptotic Approximate Einstein’s equations.) When we have
| 6.60 |
The Sharp Decay Estimates for First Order Derivatives from the Wave Equation
We will now derive sharp estimates for the first order derivatives. Following [31, 37], we have
Lemma 6.21
Let , for some constant and let be an increasing positive weight . Then
| 6.61 |
Proof
Since , where and , for , it follows that
| 6.62 |
Using (6.55), we get
where and . Hence,
| 6.63 |
so with ,
| 6.64 |
Integrating this along the flow lines of the vector field from the boundary of to any point inside D, using that is decreasing along the flow lines, gives that, for any ,
| 6.65 |
The lemma now follows from (6.15), since it is trivially true when by (6.16).
Lemma 6.22
Let for some constant and where . Then
| 6.66 |
Proposition 6.23
If the weak energy bounds and initial bounds hold then we have, for any ,
| 6.67 |
| 6.68 |
The same estimates hold for h in place of if .
Proof
We want to apply Lemma 6.22 to the decomposition in Proposition 6.20. To prove (6.67) we note that . Moreover in , for , if we pick so small that , where . Also Lemma 6.12 implies that is uniformly bounded for . From the preceeding lemmas it follows that all the terms in the right hand side of (6.61) are bounded independently of t by a constant times when and this proves (6.67). To prove (6.68) we note that the only new term is , which is controlled by
| 6.69 |
by the first part and multiplying by and integrating gives a logarithm.
The Commutators and Lie Derivatives
We will use Lie derivatives which will simplify the commutators very much by removing the lower order terms. It was first observed in [34] that one can get bounds from the wave coordinate condition for Lie derivatives. Here we take it further and observe that the Lie derivative unlike vector fields preserve the geometric null structure of not only the wave coordinate condition, but also of the nonlinear inhomogeneous terms of Einstein’s equations and the commutators with the geometric wave operator.
Modified Lie Derivatives Applied to the Equations
The Lie derivative applied to a (r, s) tensor K is defined by
| 6.70 |
Recall that the Lie derivative satisfies the Leibniz rule. For the case of our vector fields, are constant, which results in the following commutation properties:
Proposition 6.24
If K is an (r,s) tensor then, with respect to the coordinate system , the vector fields satisfy
| 6.71 |
and
| 6.72 |
Proof
From the definition (6.70),
and
The equality (6.71) follows directly since is constant for each of the vector fields Z. The equality (6.72) follows directly from (6.71).
Since, for an (r, s) tensor K, the quantity appearing in (6.71) (similar quantities also appear below) is not a geometric object, its Lie derivative is defined formally in the coordinate system, using the coordinate expression (6.70). Alternatively, one could note that, in the coordinate system,
where D denotes the connection of the Minkowski metric, since the Christoffel symbols of D with respect to the Cartesian coordinate system vanish, . One could then give a geometric proof of Proposition 6.24 using the fact that the curvature tensor of D vanishes and for each of the vector fields Z.
Let the modified Lie derivative be defined by
| 6.73 |
With this definition and for the vector fields in our collection, as the modified Lie derivative is defined so it commutes with contractions with the Minkowski metric. Let and be (0, 2) tensors and let be a (0, 2) tensor which is a quadratic form in the (0, 3) tensors and with two contractions with the Minkowski metric (in particular or ). Then
| 6.74 |
Moreover,
| 6.75 |
Let be a product of |I| Lie derivatives with respect to |I| vector fields Z. It follows that
| 6.76 |
where
| 6.77 |
and
| 6.78 |
where
| 6.79 |
that is at least one factor of . Finally, from the wave coordinate condition
| 6.80 |
it follows that
| 6.81 |
where
| 6.82 |
We have
| 6.83 |
since the Lie derivative just adds lower order terms.
Estimates from the Wave Coordinate Condition
It follows from Lemma 6.13 and (6.81), and the fact that for small , that we have
Lemma 6.25
| 6.84 |
| 6.85 |
where , is a function supported when . Moreover, (6.84) also holds for h in place of H.
estimates from the Wave Coordinate Condition
For low derivatives, (6.85) leads to the following:
Proposition 6.26
For , we have
| 6.86 |
| 6.87 |
The same estimates hold for H in place of if is replaced by .
The proof is the same as for Proposition 6.15.
Estimates for the Inhomogeneous Term
First using the fact that for small
| 6.88 |
Secondly, for any term satisfying classical null condition by (6.43), we have
| 6.89 |
Moreover by (6.47) and (6.44), we have, with as in (6.49),
Summing up, we have the estimate
| 6.90 |
Dividing up into low and high derivatives, we get
| 6.91 |
Estimates of the Wave Operator Applied to .
By (6.58), we have
| 6.92 |
and by (6.57), we have
| 6.93 |
where is supported in .
Estimates of the Wave Commutator Term
By (6.52), we have
Writing , this can be divided up in the commutator with and with . Since , we have
| 6.94 |
Similarly, by (6.87) and (6.17),
and we conclude that
| 6.95 |
The Sharp Decay Estimates for Higher Order Low Derivatives
As in section 10 of [37], using the methods in Section 6.2 we can also inductively prove sharp decay estimates for higher order low derivatives. As we have already proven the higher order weak decay estimates in Proposition 6.11 and the higher order sharp decay estimates for components we control with the wave coordinate condition in Proposition 6.26, it only remains to generalize Proposition 6.23 to higher order. In order to do that we will, as before, rely on the crucial Lemma 6.21 to control transversal derivatives in terms of tangential derivatives, which we control by Proposition 6.11, and close to the light cone . It therefore only remains to get control of close to the light cone , where . When , that we have, by (6.57) and (6.58),
| 6.96 |
where is controlled by (6.92) using Proposition 6.11 as follows:
| 6.97 |
and by (6.91) as
| 6.98 |
It remains to estimate the difference and the commutators
By (6.94)
| 6.99 |
and by,
| 6.100 |
Since , which can be estimated in the same way, we obtain
| 6.101 |
Summing up,
| 6.102 |
From Lemma 6.21 and the estimate (6.17), we get
Lemma 6.27
Let for some constant and where . Then
| 6.103 |
Proposition 6.28
If the weak energy bounds and initial bounds hold, then we have, for any and , that there are constants such that
| 6.104 |
The same estimates hold for h in place of if .
Proof
Let . We will prove (6.104) by induction, noting that it is true for by (6.68). Then, by Lemma 6.27, we have, for ,
| 6.105 |
where the bounds (6.33) have been used. By the induction hypothesis, , so for some ,
| 6.106 |
Using Grönwall’s lemma with G denoting the integral we get and multiplying with the integrating factor we get . Assuming that , we get , and hence .
The Energy Estimate
The Basic Energy Estimate for the Wave Equation
In [37] (see Proposition 6.2 there), the following energy estimate was proven:
Lemma 6.29
Let be a solution of the wave equation , with the metric g such that, for ,
| 6.107 |
for some . Set
Then, for any and , we have
| 6.108 |
The Lowest Order Energy Estimate for Einstein’s Equations
Let
| 6.109 |
By Lemma 6.29, we have
| 6.110 |
where , where with , , we have
| 6.111 |
Writing , we see that it is enough to estimate
| 6.112 |
for . We have
| 6.113 |
and , so
| 6.114 |
As far as the energy estimate is concerned, one could have picked to satisfy and wouldn’t have to do anything further. However, since we didn’t do this, we will estimate using (6.58) and (6.57) to set
| 6.115 |
and hence, using Hardy’s inequality,
| 6.116 |
where is a universal constant.
Hence,
| 6.117 |
for some univeral constant .
Higher Order Energy Estimates
For this section we have to make the following smallness assumption on :
| 6.118 |
where are the constants in Proposition 6.28.
Estimate of the Inhomogeneous Term
It follows from (6.91) that, with and , we have
| 6.119 |
where
| 6.120 |
| 6.121 |
For , we have
| 6.122 |
We have
| 6.123 |
and hence,
| 6.124 |
For we will use Hardy’s inequality (Lemma 6.9), but first we divide it up into two terms for :
| 6.125 |
and hence
| 6.126 |
By Hardy’s inequality,
| 6.127 |
Moreover,
| 6.128 |
and hence,
| 6.129 |
The last term will be estimated differently in terms of the space–time integral. We have
It follows that
Summing up and using that , we have
| 6.130 |
Equivalence of Norms
The inhomogeneous terms contain factors of which we estimate by writing , and estimate the norm factors with in terms of the energy of whereas the norms of can be estimated directly. The commutator terms will in addition contain factors of , where we can also write and estimate the factors with directly since it is explicit, and for the factors with we first use Hardy’s inequality to estimate them in terms of . However is only approximately equal to . We have that , where and hence . Differentiating, we see that to conclude that the norms of are approximately bounded by those of we have to estimate factors of the form , with , in with respect to the measure w. Again this can be estimated by writing and estimating the factors with in terms of the energy (after possibly using Hardy’s inequality) and estimating the explicit factors with directly. The conclusion of this process is that
| 6.131 |
Hence, since , it follows that
| 6.132 |
and similarly for the space–time integrals of tangential components.
Estimate of the Wave Operator Applied to
By (6.92), using Hardy’s inequality we have
| 6.133 |
and by (6.93) we have
| 6.134 |
for some universal constant .
Estimates of the Wave Commutator
It remains to estimate the commutator, which, by (6.94) and (6.95), is bounded by
where
| 6.135 |
and
| 6.136 |
since
We have
| 6.137 |
By Hardy’s inequality,
| 6.138 |
Dealing with the last term requires the following slight generalization of Hardy’s inequality Corollary 13.3 in [37]:
Corollary 6.30
Let and . Then, for any and any , if, in addition, , we have
| 6.139 |
The last term will be estimated differently in terms of the space–time integral. By Hardy’s inequality and (6.85), we have
| 6.140 |
Here we again write . We have
| 6.141 |
and by Hardy’s inequality again,
| 6.142 |
| 6.143 |
Hence,
It follows that
Summing up, we have
Higher Order Energy Estimates
Here we give the proof of Theorem 6.4 using the decay estimates proven in the previous section. We will argue by induction so we assume the energy estimate is true for and we will prove it for k. Using the energy inequality Lemma 6.29, we get, from adding up the energy contributions from the inhomogeneous term (6.130), the commutator with the wave equation (6.143) and the Vlasov matter
for some universal constant . We now choose so small that so that in the right can be absorbed into on the left, and so that by and , we obtain
The Continuity Argument and the Proof of Theorem 1.2
The proof of Theorem 1.2 is a direct consequence of Theorem 1.3, Propositions 2.1, 6.1, 6.3 and Theorem 6.4, and the following local existence theorem for the reduced Einstein–Vlasov system (the number of derivatives used in the following local existence theorem is far from sharp): for a given time t, define
Theorem 7.1
(Local existence for the reduced Einstein–Vlasov system) Suppose . Given an initial time and initial data for the reduced Einstein–Vlasov system (1.2), (1.3), (1.11) such that
for some , and
there exists such that a solution of the reduced Einstein–Vlasov system (1.2), (1.3), (1.11) exists for all and
| 7.1 |
Moreover, the norms in (7.1) are continuous in t.
See the work of Choquet-Bruhat [10], and also the textbook of Ringström [42], for related local existence theorems.
The proof of Theorem 1.2 proceeds as follows: let be the supremum of all times such that a solution of the reduced Einstein–Vlasov system (1.2), (1.3), (1.11) attaining the given data exists for all and satisfies
| 7.2 |
for all , where is such that and is a fixed large constant, to be determined, depending only on N, and . Recall that is fixed in the statement of Theorem 1.2. Recall that . Clearly the set of such is non–empty, by Theorem 7.1, and so . Suppose .
By Proposition 6.1 the pointwise bounds
| 7.3 |
hold for some constant depending only on and on N. In particular, the assumptions of Proposition 2.1 are satisfied, and so, provided is sufficiently small,
for some , .
The assumptions of Proposition 6.3 are now satisfied, and so Proposition 6.3 and Theorem 6.4 imply that, for , we have
| 7.4 |
for each and for all , where . Here , , are constants which depend only on , on N and on c and K and a lower positive bound for , whereas are universal constants (which in particular do not depend on ).
The pointwise bounds (7.3) in particular imply that
for and , with . The assumptions of Theorem 1.3 are therefore satisfied so that
for all and for all , where the constant depends on .
Now the bounds (7.2) and the Sobolev inequality and Lemma 6.12 imply that
and so,
where is the indicator function of the set . Since , provided is sufficiently small, it therefore follows that
for , where the constant C is independent of and the constant depends on . Inserting into (7.4) and using the fact that
and making and larger if necessary gives
| 7.5 |
for . It follows from an inductive argument that the bound (7.5) implies that
| 7.6 |
for all and , using the following form of the Grönwall inequality:
Lemma 7.2
For and continuous functions such that and b is non-decreasing, if
for , then
Indeed, recall that , and so, from the bound (7.5) with , it follows from the Lemma 7.2 with and that
Now suppose that (7.6) holds for some . Then, since
it follows from (7.5) and Lemma 7.2 with and that
Moreover Theorem 1.3 implies that
where the constant C is independent of and the constant depends on . Inserting the above bound for then gives
provided is sufficiently small, for some new C, , as above. Now, as above,
and, since
where the equality (2.12) was used, it follows that
and so,
| 7.7 |
where depends on and does not.
It follows from the bound (7.6) with and the bound (7.7), provided the constant is chosen so that and is chosen so that , that the bounds
hold for all . Appealing once again to the local existence theorem (Theorem 7.1), now with , this contradicts the maximality of , and hence the solution exists and the estimates hold for all .
Acknowledgements
We thank Alan Rendall and Igor Rodnianski for helpful discussions. H.L. is supported in part by NSF Grant DMS-1500925. M.T. acknowledges the support of a grant from the European Research Council (337488).
Footnotes
See Section 1.4 below for a discussion of the more familiar null condition in the context of wave equations.
In fact, due to a regularity issue arising from the use of the double null gauge, the Vlasov equation is not used directly in [46]; instead certain Jacobi fields on the mass shell, endowed with the induced Sasaki metric, are controlled, and it is in the Jacobi equation that the null structure is exploited.
Note that the Einstein equations (1.1) are equivalent to .
In fact in Sections 4 and 5 a new translated time coordinate is introduced, which has the property that . It is more convenient to use the vector fields defined with respect to than the vector fields defined with respect to t. See Section 2.2 for details.
Such a parameterisation of is not actually used in the proof of Theorem 1.3 but, for the spacetimes of the theorem, the fact that this parameterisation exists can be shown using the bound (5.11).
The proof in [46] is based on a double null foliation, and an associated double null coordinate system , of the spacetimes which are constructed, and so the language used there is slightly different. In the coordinate system conjugate to the double null coordinate system for , the vector fields , for , are used. Defining appropriate Cartesian coordinates, one can show that take the form of . The proof in [46] in fact reduces to a semi global problem since the matter is shown, as part of the bootstrap argument in the proof, to be supported in a strip of finite retarded u length. The vector is also used which, since u remains of size 1 in the support of the matter, agrees to leading order with the vector field which, when written with respect to an appropriate Cartesian coordinate system, is seen to be equal to .
It should be noted that there are two contributions to this slow interior decay. The first arises from the failure of the Einstein equations in the harmonic gauge to satisfy the classical null condition of [26]. Indeed, it was recently shown by Lindblad [34] that small data solutions of the vacuum Einstein equations in the harmonic gauge satisfy this decay rate (compare with [14] where the Ricci coefficients associated to the maximal–null foliation decay in the interior at a faster rate). The second contribution arises from the presence of the Vlasov matter, in the form of the energy momentum tensor as a source term in the Einstein equations. This fact can be more easily seen in a simplified setting. Indeed, if T(t, x) denotes a function which decays at rate for and vanishes for —the sharp behaviour of the components of the energy momentum tensor associated to solutions of the Vlasov equation on Minkowski space—the sharp interior behaviour of solutions of is , for
The notation is later used to denote a cruder approximation to the geodesics.
For the boosts, , it is slightly more convenient to allow the functions to depend on . This dependence is in such a way, however, so that involves only one derivative of .
We don’t actually use this fact but it follows from (5.11).
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Contributor Information
Hans Lindblad, Email: lindblad@math.jhu.edu.
Martin Taylor, Email: martin.taylor@imperial.ac.uk.
References
- 1.Alinhac S. An example of blowup at infinity for a quasilinear wave equation. Asterisque. 2003;284:1–91. [Google Scholar]
- 2.Andersson, L., Fajman, D.: Nonlinear stability of the Milne model with matter. 2017. arXiv:1709.00267
- 3.Andréasson H. The Einstein–Vlasov system/kinetic theory. Living Rev. Relat. 2011;14:4. doi: 10.12942/lrr-2011-4. [DOI] [PMC free article] [PubMed] [Google Scholar]
- 4.Andréasson H, Kunze M, Rein G. Global existence for the spherically symmetric Einstein–Vlasov system with outgoing matter. Commun. PDE. 2008;33:656–668. doi: 10.1080/03605300701454883. [DOI] [Google Scholar]
- 5.Andréasson H, Ringström H. Proof of the cosmic no-hair conjecture in the -Gowdy symmetric Einstein–Vlasov setting. J. Eur. Math. Soc. 2016;18(7):1565–1650. doi: 10.4171/JEMS/623. [DOI] [Google Scholar]
- 6.Bardos C, Degond P. Global existence for the Vlasov–Poisson system in 3 space variables with small initial data. Anal. Non Linéaire. 1985;2:101–118. doi: 10.1016/S0294-1449(16)30405-X. [DOI] [Google Scholar]
- 7.Bieri L. Extensions of the Stability Theorem of the Minkowski Space in General Relativity. Boston: Solutions of the Vacuum Einstein Equations. American Mathematical Society; 2009. [Google Scholar]
- 8.Calogero S. Global classical solutions to the 3D Vlasov-Nordström system. Commun. Math. Phys. 2006;266:343–353. doi: 10.1007/s00220-006-0029-x. [DOI] [Google Scholar]
- 9.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]
- 10.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]
- 11.Choquet-Bruhat Y. The null condition and asymptotic expansions for the Einstein’s equations. Ann. Phys. (Leipzig) 2000;9:258–266. doi: 10.1002/(SICI)1521-3889(200005)9:3/5<258::AID-ANDP258>3.0.CO;2-Y. [DOI] [Google Scholar]
- 12.Choquet-Bruhat Y, Geroch R. Global aspects of the Cauchy problem in general relativity. Commun. Math. Phys. 1969;14:329–335. doi: 10.1007/BF01645389. [DOI] [Google Scholar]
- 13.Christodoulou D. Global solutions of nonlinear hyperbolic equations for small initial data. Commun. Pure Appl. Math. 1986;39:267–282. doi: 10.1002/cpa.3160390205. [DOI] [Google Scholar]
- 14.Christodoulou D, Klainerman S. The Global Nonlinear Stability of the Minkowski Space Princeton Mathematical Series. Princeton: Princeton University Press; 1993. [Google Scholar]
- 15.Dafermos M. A note on the collapse of small data self-gravitating massless collisionless matter. J. Hyperbol. Differ. Equ. 2006;3:905–961. [Google Scholar]
- 16.Fajman D. The nonvacuum Einstein flow on surfaces of negative curvature and nonlinear stability. Commun. Math. Phys. 2017;353:561–583. doi: 10.1007/s00220-017-2842-9. [DOI] [Google Scholar]
- 17.Fajman D, Joudioux J, Smulevici J. A vector field method for relativistic transport equations with applications. Anal. PDE. 2017;10:1539–1612. doi: 10.2140/apde.2017.10.1539. [DOI] [Google Scholar]
- 18.Fajman, D., Joudioux, J., Smulevici, J.: Sharp asymptotics for small data solutions of the Vlasov–Nordström system in three dimensions. 2017. arXiv:1704.05353
- 19.Fajman, D., Joudioux, J., Smulevici, J.: The stability of Minkowski space for the Einstein–Vlasov system arXiv:1707.06141
- 20.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]
- 21.Glassey RT, Strauss WA. Absence of shocks in an initially dilute collisionless plasma. Comm. Math. Phys. 1987;113:191–208. doi: 10.1007/BF01223511. [DOI] [Google Scholar]
- 22.Huneau C. Stability of Minkowski Space-time with a translation space-like killing field. Ann. PDE. 2018;4:12. doi: 10.1007/s40818-018-0048-x. [DOI] [Google Scholar]
- 23.Hwang HJ, Rendall AD, Velázquez JJL. Optimal gradient estimates and asymptotic behaviour for the Vlasov-Poisson system with small initial data. Arch. Ration. Mech. Anal. 2011;200:313–360. doi: 10.1007/s00205-011-0405-3. [DOI] [Google Scholar]
- 24.John F. Blow-up for quasilinear wave equations in three space dimensions. Commun. Pure Appl. Math. 1981;34(1):29–51. doi: 10.1002/cpa.3160340103. [DOI] [Google Scholar]
- 25.John F. Blow-up of radial solutions of in three space dimensions. Mat. Apl. Comput. 1985;4(1):3–18. [Google Scholar]
- 26.Klainerman, S.: Long time behavior of solutions to nonlinear wave equations. Proceed. ICM, pp. 1209–1215. Warsaw, 1982
- 27.Klainerman, S.: The Null Condition and Global Existence to Nonlinear Wave Equations Nonlinear Systems of Partial Differential Equations in Applied Mathematics, Part 1; Santa Fe, N.M., 1984 Lecture Notes in Applied Mathematics vol. 23, pp. 293–326, 1986
- 28.Klainerman S, Nicolò F. The Evolution Problem in General Relativity, Lectures in Applied Mathematics. Boston: Birkhäuser Boston Inc.; 2003. [Google Scholar]
- 29.LeFloch, P.G., Ma, Y.: The global nonlinear stability of Minkowski space for self-gravitating massive fields. 2015. arXiv:1511.03324
- 30.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]
- 31.Lindblad H. On the lifespan of solutions of nonlinear wave equations with small initial data. Commun. Pure Appl. Math. 1990;43:445–472. doi: 10.1002/cpa.3160430403. [DOI] [Google Scholar]
- 32.Lindblad H. Global solutions of nonlinear wave equations. Commun. Pure Appl. Math. 1992;45(9):1063–1096. doi: 10.1002/cpa.3160450902. [DOI] [Google Scholar]
- 33.Lindblad H. Global solutions of quasilinear wave equations. Am. J. Math. 2008;130:115–157. doi: 10.1353/ajm.2008.0009. [DOI] [Google Scholar]
- 34.Lindblad H. On the asymptotic behavior of solutions to Einstein’s vacuum equations in wave coordinates. Commun. Math. Phys. 2017;353(1):135–184. doi: 10.1007/s00220-017-2876-z. [DOI] [Google Scholar]
- 35.Lindblad H, Rodnianski I. The weak null condition for Einstein’s equations. C. R. Math. Acad. Sci. Paris. 2003;336(11):901–906. doi: 10.1016/S1631-073X(03)00231-0. [DOI] [Google Scholar]
- 36.Lindblad H, Rodnianski I. Global existence for the Einstein vacuum equations in wave coordinates. Commun. Math. Phys. 2005;256(1):43–110. doi: 10.1007/s00220-004-1281-6. [DOI] [Google Scholar]
- 37.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]
- 38.Lions PL, Perthame B. Propagation of moments and regularity for the 3-dimensional Vlasov–Poisson system. Invent. Math. 1991;105:415–430. doi: 10.1007/BF01232273. [DOI] [Google Scholar]
- 39.Moschidis, G.: A proof of the instability of AdS for the Einstein-null dust system with an inner mirror. arXiv:1704.08681
- 40.Pfaffelmoser K. Global classical solutions of the Vlasov–Poisson system in three dimensions for general initial data. J. Differ. Equ. 1992;95:281–303. doi: 10.1016/0022-0396(92)90033-J. [DOI] [Google Scholar]
- 41.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]
- 42.Ringström H. On the Topology and Future Stability of the Universe, Oxford Mathematical Monographs. Oxford: Oxford University Press; 2013. [Google Scholar]
- 43.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]
- 44.Smulevici J. Small data solutions of the Vlasov-Poisson system and the vector field method. Ann. PDE. 2016;2:11. doi: 10.1007/s40818-016-0016-2. [DOI] [Google Scholar]
- 45.Schoen R, Yau S. On the proof of the positive mass conjecture in general relativity. Commun. Math. Phys. 1979;65:45–76. doi: 10.1007/BF01940959. [DOI] [Google Scholar]
- 46.Taylor M. The global nonlinear stability of Minkowski space for the massless Einstein-Vlasov system. Ann. PDE. 2017;3:9. doi: 10.1007/s40818-017-0026-8. [DOI] [PMC free article] [PubMed] [Google Scholar]
- 47.Witten E. A new proof of the positive mass theorem. Commun. Math. Phys. 1981;80:381–402. doi: 10.1007/BF01208277. [DOI] [Google Scholar]
- 48.Zipser N. Extensions of the Stability Theorem of the Minkowski Space in General Relativity. Boston: Solutions of the Einstein-Maxwell Equations. American Mathematical Society; 2009. [Google Scholar]
