Skip to main content
Springer logoLink to Springer
. 2019 Jul 24;235(1):517–633. doi: 10.1007/s00205-019-01425-1

Global Stability of Minkowski Space for the Einstein–Vlasov System in the Harmonic Gauge

Hans Lindblad 1, Martin Taylor 2,
PMCID: PMC7010697  PMID: 32103831

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 LindbladRodnianski [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 ReinRendall [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éassonKunzeRein [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 m>0). The system takes the form

Ric(g)μν-12R(g)gμν=Tμν, 1.1
Tμν(t,x)=P(t,x)f(t,x,p)pμpν|detg|p0dp1dp2dp3, 1.2
X(f)=0, 1.3

where the unknown is a 3+1 dimensional manifold M with Lorentzian metric g, together with a particle distribution function f:P[0,), where the mass shellP is defined by

P={(t,x,p0,p)TM(p0,p)future directed,gμνpμpν=-1}.

Here Ric(g) and R(g) denote the Ricci and scalar curvature of g respectively. A coordinate system (tx) for M, with t a time function (that is the one form dt is timelike with respect to the metric g), defines a coordinate system (t,x,p0,p) for the tangent bundle TM of Mconjugate to (tx), where (t,xi,p0,pi) denotes the point

p0t|(t,x)+pixi|(t,x)TM.

The mass shell relation in the definition of P,

gμνpμpν=-1, 1.4

should be viewed as defining p0 as a function of (t,x1,x2,x3,p1,p2,p3). Here Greek indices run over 0, 1, 2, 3, lower case Latin indices run over 1, 2, 3, and often the notation t=x0 is used. The vector X is the generator of the geodesic flow of M which, with respect to the coordinate system (txp) for P, takes the form

X=pμxμ-pαpβΓαβipi. 1.5

The volume form (|detg|/p0)dp1dp2dp3 in (1.2) is the induced volume form of the spacelike hypersurface P(t,x)T(t,x)M when the tangent space T(t,x)M is endowed with the metric gμν(t,x)dpμdpν induced by g on M.

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 (Σ,g¯) together with a symmetric (0, 2) tensor k on Σ, and an initial particle distribution f0, satisfying the constraint equations

div¯kj-(dtr¯k)j=T0j,R¯+(tr¯k)2-|k|g¯2=2T00

for j=1,2,3. Here div¯, tr¯, R¯ denote the divergence, trace and scalar curvature of g¯ respectively, and T00,T0j 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 R3. A theorem of Choquet-Bruhat [10], based on previous work by Choquet-Bruhat [9] and Choquet-BruhatGeroch [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 (M,g,f) of the system (1.1)–(1.3) which attains the initial data, in the sense that there exists an imbedding ι:ΣM under the pullback of which the induced first and second fundamental form of g are g¯ and k respectively, and the restriction of f to the mass shell over ι(Σ) is given by f0. As in [37], the proof is based on the harmonic gauge (or wave gauge), that is a system of coordinates xμ satisfying

gxμ=0, 1.6

where g denotes the geometric wave operator of the metric g.

The initial data set

R3,e,k0,f00, 1.7

where e denotes the Euclidean metric on R3, 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 R3 and there exists a global coordinate chart (x1,x2,x3) of Σ and M0 and 0<γ<1 such that

g¯ij=1+Mrδij+o(r-1-γ),kij=o(r-2-γ),asr=|x|. 1.8

For such g¯, k, write

g¯ij=δij+h¯ij0+h¯ij1,whereh¯ij0(x)=χ(r)δijM/r,

and χ is a smooth cut off function such that 0χ1, χ(s)=1 for s3/4 and χ(s)=0 for s1/2.

For given γ>0 and such an initial data set, define, for any N0, the initial energy

EN=|I|N(1+r)1/2+γ+|I|Ih¯1L2(Σ)+(1+r)1/2+γ+|I|IkL2(Σ), 1.9

where =(x1,x2,x3) denotes the coordinate gradient, and the initial norms for f0:

DN=k+Nxkpf0L,VN=k+Nxkpf0Lx2Lp2. 1.10

By the Sobolev inequality there exists a constant C such that DN-4CVN for any N0.

The main result of this work is the following:

Theorem 1.1

Let (Σ,g¯,k,f0) be an initial data set for the Einstein–Vlasov system (1.1)–(1.3), asymptotically flat in the above sense, such that f0 is compactly supported. For any 0<γ<1 and N11, there exists ε0>0 (depending on the size of supp(f0)) such that, for all εε0 and all initial data satisfying

EN+VN+Mε,

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 (t,x1,x2,x3), 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 gμνpμpν=0, 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|x|t 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|x|<t. 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 f0 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 |x|t. 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 f0 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 FajmanJoudiouxSmulevici [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 2+1 dimensions with vanishing cosmological constant by Fajman [16], and later extended to 3+1 dimensions by AnderssonFajman [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, 2830, 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 FajmanJoudiouxSmulevici [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 VlasovPoisson [38, 40] and VlasovNordströ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

~ggμν=Fμν(g)(g,g)+T^μν,where~g=gαβαβ, 1.11

where T^μν:=Tμν-12gμνtrgT and Fμν(u)(v,v) 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 xμ satisfy the harmonic gauge condition (1.6) is equivalent to the metric in the coordinates xμ satisfying the wave coordinate condition

gαβαgβμ=12gαβμgαβ,forμ=0,1,2,3. 1.12

Let m=diag(-1,1,1,1) denote the Minkowski metric in Cartesian coordinates and, for a solution g of the reduced Einstein equations (1.11), write

g=m+h0+h1,wherehμν0(t,x)=χ(r1+t)Mrδμν, 1.13

where χ(s)=1, when s>3/4 and χ(s)=0, when s<1/2. For a given 0<γ<1, 0<μ<1-γ, we define the energy at time t as

EN(t)=|I|Nw12ZIh1(t,·)L22,wherew(t,x)=(1+|r-t|)1+2γ,r>t1+(1+|r-t|)-2μ,rt. 1.14

Here I denotes a multi index and ZI denotes a combination of |I| of the vector fields

Ωij=xixj-xjxi,Bi=xit+txi,S=tt+xkxk,andα,

for i,j=1,2,3 and α=0,1,2,3. Let |·| denote the norm, |x|=((x1)2+(x2)2+(x3)2)1/2, and |h(t,x)|=α,β=03|hαβ(t,x)|, Γ(t,x)=α,β,γ=03|Γβγα(t,x)|, and similarly h(t,·)L2=α,β=03hαβ(t,·)L2 etc.. The notation AB will be used if there exists a universal constant C such that ACB.

Theorem 1.1 follows as a corollary of the following theorem:

Theorem 1.2

For any 0<γ<1, K,K>0 and N11, there exists ε0>0 such that, for any data (gμν,tgμν,f)|t=0 for the reduced Einstein–Vlasov system (1.2), (1.3), (1.11) which satisfy the smallness condition

EN(0)12+VN+M<ε

for any εε0 and the wave coordinate condition (1.12), and such that for

supp(f|t=0){|x|K,|p|K}

there exists a global solution attaining the data such that

EN(t)12+|I|N(1+t)ZITμν(t,·)L2CNε(1+t)CNε 1.15

for all t0, along with the decay estimates

|ZIh1(t,x)|CNε(1+t)CNε(1+t+r)(1+q+)γ,|I|N-3,q+=r-t,r>t0,rt, 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 (Σ,g¯,k,f0) as in Theorem 1.1, define initial data for the reduced equations

gij|t=0=g¯ij,g00|t=0=-a2,g0i|t=0=0,a(x)2=1-χ(r)M/r,

and

tgij|t=0=-2akij,tg00|t=0=2a3g¯ijkij,tg0i|t=0=a2g¯jkjg¯ik-a22g¯jkig¯jk-aia.

One can show that, with this choice, EN(0)1/2EN, where EN given by (1.9) is the norm of geometric data, and moreover (gμν,tgμν)|t=0 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 P by (txp), to instead parameterise it by (t,x,p^), where

p^i=pi/p0

for i=1,2,3. Note that, by the mass shell relation (1.4), in Minkowski space (p0)2=1+(p1)2+(p2)2+(p3)2 and, under a mild smallness condition on g-m, |p^|<1. Abusing notation slightly, we will write f(t,x,p^) for the solution of the Vlasov equation (1.3).

Let {Σt} denote the level hypersurfaces of the time coordinate t, and let X(s,t,x,p^)i, P^(s,t,x,p^)i denote solutions of the geodesic equations (see Section 2)

dXids(s,t,x,p^)=P^i(s,t,x,p^),dP^ids(s,t,x,p^)=Γ^i(s,X(s,t,x,p^),P^(s,t,x,p^)), 1.17

normalised so that (s,X(s,t,x,p^))Σs, with

Xi(t,t,x,p^)=xi,P^i(t,t,x,p^)=p^i.

Here

Γ^μ(t,x,p^)=Γαβ0(t,x)p^αp^βp^μ-Γαβμ(t,x)p^αp^β,p^0=1,

where Γβγα are the Christoffel symbols of the metric g with respect to a given coordinate chart (t,x1,x2,x3). Define X(s,t,x,p^)0=s and P^(s,t,x,p^)0=1. The notation X(s), P^(s) will sometimes be used for X(s,t,x,p^), P^(s,t,x,p^) when it is clear from the context which point (t,x,p^) is meant, and the notation X^(s)=(s,X(s)) will sometimes be used.

It follows that the Vlasov equation (1.3) can be rewritten as

f(t,x,p^)=f(s,X(s,t,x,p^),P^(s,t,x,p^))=f0(X(0,t,x,p^),P^(0,t,x,p^)) 1.18

for all s. The notation (yq) will be used to denote points in the mass shell over the initial hypersurface, P|t=0. In Theorem 1.2 it is assumed that f0 has compact support; |y|K and |q|K for (y,q)supp(f0), for some constants K, K. Under relatively mild smallness assumptions on h=g-m, see Proposition 2.1, it follows that there exists c<1, depending only on K, such that solutions of the Vlasov equation satisfy

supp(f){(t,x,p);|x|K+ct,|p|K+1,|p^|c}. 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 t0 and N1, suppose that g is a Lorentzian metric such that the Christoffel symbols of g with respect to a global coordinate system (t,x1,x2,x3), for some 1/2<a<1, satisfy

ZIΓ(t,x)CNε(1+t)1+a,for|x|ct+K,|I|N2+2 1.20

for all t[0,t]. Then there exists ε0>0 such that, for ε<ε0 and any solution f of the Vlasov equation (1.3) satisfying

supp(f){(t,x,p);|x|K+ct,|p^|c},

and metric satisfying (1.20) and |g-m|ε, the components of the energy momentum tensor Tμν(t,x) satisfy

(ZITμν)(t,·)L1DkVk+DkDk(|J||I|-1(ZJΓ)(t,·)L2(1+t)a-1/2+|J||I|+10t(ZJΓ)(s,·)L2(1+s)1/2+ads)

for |I|N-1, where k=|I| and k=k/2+1, and

(ZITμν)(t,·)L2DkVk(1+t)3/2+DkDk(|J||I|-1(ZJΓ)(t,·)L2(1+t)1+a+|J||I|1(1+t)3/20t(ZJΓ)(s,·)L2(1+s)1/2ds)

for |I|N. Here the constants Dk depend only on CN, K, K and c, and ε0 depends only on c.

In the proof of Theorem 1.2, the L2 estimates of Theorem 1.3 are used to prove energy estimates for the metric g; see the discussion in Section 1.4.2. The L1 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 a1, though the theorem is only used in the proof of Theorem 1.2 for some fixed 12<a<1. The case of a=1 is omitted in order to avoid logarithmic factors. The proof of an appropriate result when a>1 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 a>1, see Section 1.5.2.

Remark 1.5

In Section 5 a better L2 estimate in terms of t behaviour, compared with the L2 estimate of Theorem 1.3, is shown to hold for ZITμν, which involves one extra derivative of Γ; see Proposition 5.8. It is important however to use the L2 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 T0), though it was noticed by LindbladRodnianski [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 tr, the slowest decay of solutions of the massive Vlasov equation occurs in the interior region t>r. The most direct way to exploit this fact is to impose that f0 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 T^ 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 LL estimate, described in Section 1.4.6).

The proof of Theorem 1.2 is based on a continuity argument. One assumes that the bounds

EN(t)12CNε(1+t)δ,|I|N-1ZITμν(t,·)L1CNε 1.21

hold for all t[0,T] for some time T>0 and some fixed constants CN 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 EN is defined in terms of h1. Had the energy been defined with h=g-m in place of h1, it would not be finite unless M=0, 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 h1:

~ghμν1=Fμν(h)(h,h)+T^μν-~ghμν0. 1.22

The term ~ghμν0 is treated as an error term. Note that h0 is defined so that hμν0, which is a good approximation to ~ghμν0, is supported away from the wave zone tr and so only contributes in the interior region, where h1 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,

Σt|ϕ|2wdx+0tΣτ|¯ϕ|2wdxdτ8Σ0|ϕ|2wdx+0tCε1+τΣτ|ϕ|2wdxdτ+160t(Στ|~gϕ|2wdx)1/2(Στ|ϕ|2wdx)1/2dτ, 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 ¯μ=μ-12Lμ(r-t), with L=t+r, 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 L2 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 L2 estimates of Theorem 1.3 here. Setting QN(t)=sup0st|I|Nw12ZIh1(s,·)L2, it follows from Theorem 1.3 that

ZIT^(τ,·)L2Cε(1+τ)32+Cε(1+τ)QN(t) 1.24

(see Section 7 for details of how estimates for T^μν follow from estimates for Tμν). By the reduced Einstein equations (1.22) and the energy inequality (1.23),

QN(t)QN(0)+Cε0tQN(τ)1+τdτ+|I|N0t[ZI,~g]h1(s,·)L2+ZI~gh0(s,·)L2+ZIFμν(s,·)L2+ZIT^(s,·)L2ds. 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

QN(t)Cε(1+t)Cε+Cε0tQN(τ)1+τdτ,

and so the Grönwall inequality yields

QN(t)Cε(1+t)2Cε.

In the proof of Theorem 1.2, such a bound for QN will lead to a recovery of the assumption (1.21) on EN with better constants provided CN 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 T^μν 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

Fμν(h)(h,h)=P(μh,νh)+Qμν(h,h)+Gμν(h)(h,h), 1.26

where Qμν(h,h) is a linear combination of null forms (satisfing |Qμν(h,h)||¯h||h|), |Gμν(h)(h,h)||h||h|2 denote cubic terms and

P(μh,νh)=12mααmββμhαβνhαβ-14mααμhααmββνhββ. 1.27

Clearly the failure of the semilinear terms of the system (1.22) to satisfy the classical null condition arises in the P(μh,νh) terms. In [35] it was observed that the semilinear terms of (1.22), after being decomposed with respect to a null frame N={L_,L,S1,S2}, where

L_=t-r,L=t+r,S1,S2S2,Si,Sj=δij 1.28

possess a weak null structure. It is well known that, for solutions of wave equations, derivatives tangential to the outgoing light cones ¯T={L,S1,S2} decay faster and so, neglecting such ¯h derivatives of h,

μhLμqh,whereq=(r-t)/2,Lμ=mμνLν, 1.29

and, neglecting cubic terms and quadratic terms involving at least one tangential derivative,

~ghμνLμLνP(qh,qh). 1.30

For vectors UV, define (~gh)UV=UμVν~ghμν. With respect to the null frame (1.28), the Einstein equations (1.22) become

(~gh)TU0,TT,UN(~gh)L_L_4P(qh,qh), 1.31

since TμLμ=0 for TT. Decomposing with respect to the null frame (1.28), the term P(qh,qh) is equal to PN(qh,qh), where

PN(D,E)=-(DLLEL_L_+DL_L_ELL)/8-(2DABEAB-DAAEBB)/4+(2DALEL_A+2DAL_ELA-DAAELL_-DLL_EAA)/4 1.32

(see [36]). Except for the qhLLqhL_L_ term, PN(qh,qh) only involves the non L_L_ components of h. The wave coordinate condition (1.12) with respect to the null frame becomes

qhLT0,TT,δABqhAB0,A,BS={S1,S2}, 1.33

neglecting tangential derivatives and quadratic terms, see [36]. In particular, the qhLLqhL_L_ term in PN(qh,qh) can be neglected. The asymptotic identity (1.33) moreover implies (see equation (6.47)) that the leading order behaviour of PN(qh,qh) is contained in PS(qh,qh), where

PS(D,E)=-D^ABE^AB/2,A,BS,whereD^AB=DAB-δAB/trD/2,/trD=δABDAB. 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 gμν as

gμν=mμν+Hμν,

the reduced wave operator takes the form

~g=mαβαβ+Hαβαβ,

which differs from the Minkowski wave operator only by the term HL_L_q2, 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

μH^μν=Wν(h,h)whereH^μν=Hμν-mμνtrmH/2,trmH=mαβHαβ, 1.35

where |Wν(h,h)||h||h| is quadratic, and using the formula

μFμν=LμqFμν-L_μsFμν+AμAFμν,

for any Fμν, to rewrite μH^μν in terms of the null frame. Here s=(r+t)/2. This gives

qHL_L_=L(HLL_)-AHAL_+WL_(h,h),

that is qHL_L_ is equal to quadratic terms plus terms involving only tangential ¯ derivatives. Integrating qHL_L_ from initial data {t=0} then gives that HL_L_ 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 ϕ,

~gZϕ=Z~gϕ+2gαβαZμβμϕ-Z(gαβ)αβϕ=Z~gϕ-(LZgαβ)αβϕ,

where the fact that μνZλ=0 for each Z and μ,ν,λ=0,1,2,3 has been used. Here LZ 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, LZ. In fact, the procedure simplifies further by commuting with a modified Lie derivative L^, defined in the (tx) coordinates by the formula

L^ZKβ1βsα1αr=LZKβ1βsα1αr+r-s4(γZγ)Kβ1βsα1αr.

The modified Lie derivative has the property that L^Zm=0 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

~gL^Zϕμν=LZ~gϕμν-(L^ZHαβ)αβϕμν 1.36

holds for each of the vector fields Z.

The commutation error in (1.36) can be controlled by (L^ZHL_L_)2ϕμν, plus terms which involve at least one tangential derivative of ϕμν

|(L^ZHαβ)αβϕμν||L^ZHL_L_||2ϕ|+|L^ZH||¯ϕ|.

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

μL^ZH^μν=(L^Z+γZγ2)μH^μν,

involving the modified Lie derivative. The term L^ZHL_L_ is then controlled easily by using the formula (1.35) and repeating the argument, described in Section 1.4.3, used to control HL_L_ 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, LZIFμν(h)(h,h). 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 hαβ and kαβ be (0, 2) tensors and let Sμν(h,k) be a (0, 2) tensor which is a quadratic form in the (0, 3) tensors h and k with two contractions with the Minkowski metric (in particular P(μh,νk) or Qμν(h,k)). Then

LZ(Sμν(h,k))=Sμν(L^Zh,k)+Sμν(h,L^Zk),

and so the desirable structure of the nonlinear terms P(μh,νh) and Qμν(h,k) 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 |I|N|ZIϕ| and |I|N|L^ZIϕ| 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 |ZIh1| for |I|N-3 (see equation (6.10)) directly from the bound on the energy (1.21). These pointwise bounds can be integrated from {t=0} to also give pointwise bounds for |ZIh1| for |I|N-3 which, using the fact that |¯ϕ|C1+t+r|I|=1|ZIϕ| for any function ϕ, lead to strong pointwise estimates for all components of ¯ZIh1 for |I|N-4. See Section 6.1 for more details.

Since, without restricting things to tangential derivatives, it is only true that |ϕ|C1+|t-r||I|=1|ZIϕ| for any function ϕ, the Klainerman–Sobolev Inequality does not directly lead to good pointwise estimates for all derivatives of h1. Some further improvement is necessary to control the terms in the energy estimate and recover the inequality (1.21).

LL Estimate for the Wave Equation

The pointwise decay obtained for the transverse derivative of certain components of h1 “for free” from the wave coordinate condition is not sufficient in the wave zone tr to close the energy estimate. The decay in this region is further improved by an LL 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 ~g, as in [37], it suffices to use the estimate for the operator 0=(mαβ-Mrχ(r1+t)δαβ)αβ. 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 PS(qh,qh) terms, defined by (1.34). See Proposition 6.20 for a precise statement of this, and Lemma 6.21 for a proof of the LL 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 T^ term in (1.22) plays no role in Lemma 6.21. The pointwise decay of higher order Lie derivatives of h1 is similarly improved in Section 6.4.

The Hörmander L1L 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 Tμν0), the interior decay is not sufficient to satisfy the assumptions of Theorem 1.3. In Proposition 6.11 the Hörmander L1L inequality, Lemma 6.7, is used, together with the assumptions (1.21) on the L1 norms of ZITμν(t,·) and on the energy EN(t) of h1, in order to improve the interior decay of h1 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 L1 norms of ZITμν, and to control the L2 norms of ZITμν arising when the energy inequality (1.23) is used to improve the assumptions (1.21) on the energy EN. 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 L1 and L2 estimates of the vector fields applied to components of the energy momentum tensor, ZITμν(t,x), of Theorem 1.3. For simplicity, we outline here how bounds are obtained for Zρ(t,x), for Z=Ωij,Bi,S, where ρ(t,x) is the momentum average of f, defined by

ρ(t,x):=f(t,x,p^)dp^.

The bounds for Zρ(t,x) will follow from bounds of the form

(Z¯f)(t,x,p^)C, 1.37

for a suitable collection of vector fields Z¯, acting on functions of (t,x,p^), which reduce to the Z=Ωij,Bi,S vector fields when acting on spacetime functions, that is functions of (tx) only.

Throughout this section, and in Sections 4 and 5, it is convenient, instead of considering initial data to be given at t=0, to consider initial data for the Vlasov equation to be given at t=t0 for some t01.4 It follows from the form of the Vlasov equation (1.18) that

Z¯f(t,x,p^)=Z¯(X(t0,t,x,p^)i)(xif)(t0,X(t0),P^(t0))+Z¯(P^(t0,t,x,p^)i)(p^if)(t0,X(t0),P^(t0)), 1.38

(where X(t0,t,x,p^),P^(t0,t,x,p^) are abbreviated to X(t0),P^(t0) respectively) for any vector Z¯. Since derivatives of f|t=t0 are explicitly determined by initial data and behave like f, an estimate for |Z¯f(t,x,p^)| will follow from appropriate estimates for |Z¯X(t0,t,x,p^)i| and |Z¯(P^(t0,t,x,p^)i)|.

General Procedure and Vector Fields in Minkowski Space

A natural way to extend a given vector field Z on M to a vector field on P, which by construction will have the property that Z¯(X(t0)i) satisfy good bounds, is as follows. For a given vector field Z on M, let ΦλZ:MM denote the associated one parameter family of diffeomorphisms, so that

dΦλZ(t,x)dλ|λ=0=Z|(t,x).

Under a mild assumption on g, for fixed τ any point (t,x,p^)P with t>τ can be uniquely described by a pair of points {(t,x),(τ,y)} in M, where

y=X(τ,t,x,p^) 1.39

is the point where the geodesic emanating from (tx) with velocity p^ intersects the hypersurface Στ (recall that {Σt} denotes the level hypersurfaces of the function t), that is (t,x,p^)P can be parameterised by {(t,x),(τ,y)} to get5

(t,x,p^)=(t,x,p^X(t,x,τ,y)).

The subscript X is used in p^X(t,x,τ,y) to emphasise that p^ 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 ΦλZ on (tx) and (τ,y) induces an action on P at time t, given by

Φ¯λ,τZ,X(t,x,p^):=ΦλZ(t,x),p^XΦλZ(t,x),ΦλZ(τ,y).

For fixed t0 we define the vector field Z¯ by

Z¯|(t,x,p^)=dΦ¯λ,τZ,X(t,x,p^)dλ|λ=0,τ=t0.

A computation shows that

Z¯|(t,x,p^)X(t0,t,x,p^)i=Zi|(t0,X(t0))-Z0|(t0,X(t0))P^(t0,t,x,p^)i, 1.40

which results in a good bound for |Z¯(X(t0)i)|. In particular, if Xi(t0,t,x,p^) and P^i(t0,t,x,p^) are bounded in the support of f(t0,X(t0),P^(t0)), equation (1.40) guarantees that |Z¯(X(t0)i)| is bounded by a constant.

To see that (1.40) indeed holds, first note that the left hand side is the derivative of X(t0,Φ¯λ,t0Z,X(t,x,p^))i with respect to λ at λ=0. Also the first term on the right hand side is the derivative of ΦλZ(t0,y)i at λ=0. The equality (1.40) follows from taking the derivative with respect to λ, and setting λ=0, of both sides of the identity

X(ΦλZ(t0,y)0,Φ¯λ,t0Z,X(t,x,p^))i=ΦλZ(t0,y)i. 1.41

In Minkowski space, y has the explicit form y=x-(t-τ)p^ and, when Z is chosen to be Ωij,Bi,S, a straightforward computation, see Section 3, shows that the resulting vectors Z¯M take the form,

Ω¯ijM=xixj-xjxi+p^ip^j-p^jp^i,B¯iM=xit+txi+δij-p^ip^jp^j,S¯M=tt+xkxk.

Let q^X(t,x,t0,y)=P^(t0,t,x,p) be the initial momentum of the geodesic going through (t,x,p^). By differentiating the equality

P^ΦλZ(t0,y)0,Φ¯λ,t0Z,X(t,x,p^)i=q^XΦλZ(t,x),ΦλZ(t0,y)i,

with respect to λ, one can similarly obtain an estimate for Z¯(P^i(t0)). In the simple case of Minkowski space, q^X has the explicit form

q^XΦλZ(t,x),ΦλZ(t0,y)i=ΦλZ(t,x)i-ΦλZ(t0,y)iΦλZ(t,x)0-ΦλZ(t0,y)0,

and so

Z¯|(t,x,p^)P^(t0,t,x,p^)i=Zi|(t,x)-Zi|(t0,X(t0))t-t0-Z0|(t,x)-Z0|(t0,X(t0))t-t0p^i,

since dP^/ds=0 in Minkowski space, which leads to a good bound for |Z¯(P^i(t0))| 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 Zρ(t,x), since

Ωijρ(t,x)=Ω¯ijMf(t,x,p^)dp^,Biρ(t,x)=B¯iMf(t,x,p^)-4p^if(t,x,p^)dp^,Sρ(t,x)=S¯Mf(t,x,p^)dp^.

The rotation vector fields Ω¯ijM and a form of the scaling vector field S¯M 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 Z¯ breaks down when the mass shell P becomes the set of null vectors, as is the case for the massless Einstein–Vlasov system).6 The vector fields Ω¯ijM, B¯iM, S¯M were also used in the work [17] on the Vlasov–Nordström system, where the authors notice that the rotations Ω¯ijM and the boosts B¯iM 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 ZITμν(t,x), 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

Γβγα(t,x)Ct2for|x|ct+K, 1.42

where 0<c<1 and K0.7 On a spacetime whose Christoffel symbols decay as such, it can be shown that the Minkowski vector fields Z¯M of the previous section only satisfy

|Z¯Mf(t,x,p^)|Clogt,

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, Z¯, which are adapted to the geometry of the background spacetime and again reduce to Z=Ωij,Bi,S 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 yi are defined using approximations X2(s,t,x,p^) to the true geodesics X(s,t,x,p^) of the spacetimes to be constructed8. One could also use the geodesics themselves, however doing so involves estimating the components Tμν 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 Tμν 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 Z¯M 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

ZIΓβγα(t,x)Ct1+a, 1.43

for |I|N/2+2, where 12<a<1. Consider first the rotation vector fields, and recall the expression (1.38). The rotation vector fields Ω¯ij are defined using approximations to the geodesics. The geodesics take the form

X(s,t,x,p^)k=xk-(t-s)p^k-st(s-s)Γ^k(s,X(s),P^(s))ds.

Using the fact that

P^(s,t,x,p^)kp^kxkt,X(s,t,x,p^)kxk-(t-s)p^kxk-(t-s)xkt=sxkt,

where each of the first approximations arise by replacing P^(s,t,x,p^)k and X(s,t,x,p^)k by their respective values in Minkowski space, and the second arise from the fact that xitp^i, which holds asymptotically along each given geodesic (see Proposition 2.2 below), the approximations to the geodesics are defined as

X2(s,t,x,p^)k=xk-(t-s)p^k-st(s-s)Γ^ks,sxt,xtds 1.44

for t0st. It will be shown in Section 2 that X2(s,t,x,p^)k are good approximations to the geodesics X(s,t,x,p^)k in the sense that

X2(s,t,x,p^)-X(s,t,x,p^)C 1.45

for all t0st and k=1,2,3. The idea is now to construct vector fields so that the vector fields applied to X2 are bounded. Then one can show that (1.45) is true with X2-X replaced by Z¯(X2-X). See Section 4 for more details. The approximations X2 have the desirable property, which will be exploited below, that

p^lX2(s,t,x,p^)k-(xk-(t-s)p^k)=0 1.46

vanishes (and in particular does not involve derivatives of Γ).

Applying the Minkowski rotation vector fields to the approximations X2 gives

Ω¯ijMX2(t0,t,x,p^)k=(xi-(t-t0)p^i)δjk-(xj-(t-t0)p^j)δik-Ω¯ijMt0t(s-t0)Γ^k(s,sxt,xt)ds=X2(t0,t,x,p^)iδjk-X2(t0,t,x,p^)jδik+t0t(s-t0)Γ^i(s,sxt,xt)δjk-Γ^j(s,sxt,xt)δik-ΩijΓ^ks,sxt,xtds. 1.47

In the final equality, for (t,x,p^)supp(f), the first two terms are bounded (as can be seen from (1.45) and the fact that f|t=t0 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 Ω¯ij are defined so that these terms are removed:

Ω¯ij=Ω¯ijM+Ω˚ijlp^l,

where if the functions Ω˚ijl are defined as

Ω˚ijl(t,x)=t0ts-t0t-t0[Γ^is,sxt,xtδjl-Γ^js,sxt,xtδil-Ω¯ijMΓ^ls,sxt,xt]ds,

it follows from (1.46) and (1.47) that

Ω¯ij(X2(t0,t,x,p^)k)=Ω¯ijM(X2(t0,t,x,p^)k)-(t-t0)Ω˚ijk(t,x)=X2(t0,t,x,p^)iδjk-X2(t0,t,x,p^)jδik, 1.48

and so

Ω¯ijX2(t0,t,x,p^)kC 1.49

for (t,x,p^)supp(f) and k=1,2,3. It can similarly be shown (see Section 4.2) that

|Ω¯ij(X(t0,t,x,p^)k)|+|Ω¯ij(P^(t0,t,x,p^)k)|C,

which, by (1.38), leads to a good bound for Ω¯ijf(t,x,p^).

We remark that the identity (1.48) can be expressed as

Ω¯ij(X2(t0,t,x,p^)k)=Ωk|(t0,X2(t0,t,x,p^)), 1.50

which is exactly (1.40) when Z=Ωij and X is replaced by X2. The rotation vector fields Ω¯ij therefore arise by following the procedure in Section 1.5.1 with X replaced by X2; see Section 3.

Since the functions Ω˚ijl do not depend on p^,

Ωijf(t,x,p^)dp^=Ω¯ij-Ω˚ijlp^lf(t,x,p^)dp^=Ω¯ijf(t,x,p^)dp^,

and so the good bounds for Ω¯ijf(t,x,p^) lead to good bounds for Ωijρ(t,x).

Had the true geodesics been used to define the vector fields Ω¯ij, the functions Ω˚ijl would have involved a term of the form t0t(s-t0)(t-t0)-1Ω¯ijM(Γ^k(s,X(s),P^(s)))ds and so p^kΩ˚ijl would involve second order derivatives of Γ. The average Ω˚ijlp^lf(t,x,p^)dp^ has better decay than the term Ω˚ijlp^lf(t,x,p^) does pointwise and so, to exploit this fact when obtaining a bound for Ωijρ(t,x), it is necessary to integrate this term by parts Ω˚ijlp^lf(t,x,p^)dp^=-(p^lΩ˚ijl)f(t,x,p^)dp^. If the true geodesics are used to define Ω¯ij then, in the setting of Theorem 1.2, the fact that p^kΩ˚ijl involves second order derivatives of Γ would mean that this integration by parts cannot be used when estimating derivatives of Tμν at the top order, and so Tμν would be estimated in a slightly different way at the top order.

The approximations to the geodesics X2(s,t,x,p^) are used in a similar manner in Section 4.1 to define vector fields, B¯i and S¯.9

In HwangRendallVelázquez [23] derivatives of the average f(t,x,p)dp for solutions of the Vlasov–Poisson system are controlled and L 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 (txy) of P is also used, though whilst here it is only formally used to motivate the definition of the Z¯ vector fields, in [23] x derivatives, in the (txy) 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 FajmanJoudiouxSmulevici [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 Tμν. 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 (txp) coordinate system for P, considering the vectors Z¯M+CZ(t,x,p)μxμ, where the coefficients CZ(t,x,p)μ are defined, by solving an inhomogeneous transport equation, so that Z¯M+CZ(t,x,p)μxμ has good commutation properties with X. 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 zonext provided f0 is compactly supported. Curves X2, which approximate the timelike geodesics X, are introduced, which are later used to define the Z¯ vector fields.

Note that the characteristics of the operator 1p0X, where X is given by (1.5), solve

dXμds=PμP0,dPμds=-Γαβμ(s,X(s))PαP0Pβ, 2.1

and so

ddsPiP0=Γαβ0P^αP^βP^μ-ΓαβμP^αP^β,whereP^α=Pα/P0.

Hence

dXμds=P^μ,dP^μds=Γ^(s,X(s),P^(s))μ, 2.2

where X0=s, P^0=1 and

Γ^(t,x,p^)μ=p^μΓαβ0(t,x)p^αp^β-Γαβμ(t,x)p^αp^β. 2.3

Let functions Λγαβ,μ be defined so that

Γ^(t,x,p^)μ=Γ(t,x)·Λ(p^)μ:=Γαβγ(t,x)Λγαβ,μ(p^), 2.4

that is Λγαβ,0(p^)=0, Λ0αβ,i(p^)=p^ip^αp^β and Λjαβ,i(p^)=-δjip^αp^β, for i=1,2,3.

Properties of the Support of the Matter

The results of this section will rely on the Christoffel symbols satisfying the assumptions

|ZIΓ|cN(1+t)1-δ(1+|t-r|)a+δ,for|I|N 2.5

for various small N. Then if (2.7) below holds in supp(f), the assumption (2.5) implies that

|ZIΓ|cN(1+t)1+a,for|I|N,wherecN=cNKa+δ(1-c)a+δ 2.6

in supp(f). The notation (yq) will be used for points in the mass shell over the initial hypersurface {t=0}, so yΣ0, qP(0,y).

The next result (Proposition 2.8) guarantees that

xct+K,K1p^c<1 2.7

for (t,x,p^)supp(f), for some constants K and c.

Proposition 2.1

Suppose that |y|K and |q|K, for some K,K1, and that for some fixed a,δ>0

|g-m|c,and|Γ|c(1+t)1-δ(1+|t-r|)a+δ, 2.8

where c=1/(16(1+8K2)) and c=min(2-δcδKaa,(1+2K/c)-δδ)/(8(1+4K)). Then with c=1-c we have

P(s,0,y,q)K+1,|P(s,0,y,q^)|c|P0(s,0,y,q^)|,X(s,0,y,q)cs+K,s0. 2.9

Proof

Let s1 be the largest number such that |P(s,0,y,q)|2K for 0ss1. We will show that then it follows that |P(s,0,y,q)|<K+1, for 0ss1, contradicting the maximality of s1. Let p=P(s,0,y,q). Since gαβpαpβ=-1 it follows that |1+|p|2-|p0|2||g-m|(|p0|2+|p|2). Hence (1-c)|p0|21+(1+c)|p|2 and

|p|2|p0|2(1-c)1+c-1|p0|2|p|2|p0|21+c1-c-11+4K21+4c-11+(1+c)4K2(1-c)2=c2,

which proves the second and hence third part of (2.9), assuming the weaker bound of the first. It follows that

dds(s-|X|)=1-X·P|X|P01-c,

so s-|X|(1-c)s-K along a characteristic X(s). Therefore |Γ(s,X(s))|2a+δcc-a-δs-1-a, when s2K/c, and |Γ|c(1+s)-1+δ, when s2K/c along a characteristic. By (2.1) we have

dds|P-q||ddsP||Γ|(1+|P|),

where

0t|Γ|ds02K/cc(1+s)1-δds+2K/c2a+δcc-a-δs1+adsc(1+2K/c)δδ+2δcc-δaKa14(1+4K),

by assumption. Hence, using the weak inductive assumption,

|P-q|0t|Γ|(1+|P|)ds14.

It follows that |P(s,0,y,q)|K+1/4 in the support of f, and (2.9) follows.

Proposition 2.2

If |Γ(t,x)|c(1+t)-1-a for |x|ct+K then, for (t,x,p^)supp(f) with t1,

xt-p^2(K+c)(1+t)-a/(1-a). 2.10

Proof

Note that any (t,x,p^)supp(f) can be written as (t,x,p^)=(t,X(t,0,y,q),P^(t,0,y,q)) for some (y,q)supp(f0). For (yq) such that (0,y,q)supp(f),

ddsX(s,0,y,q)-sP^(s,0,y,q)=sΓ^s,X(s,0,y,q),P^(s,0,y,q)c(1+s)a

for all s0, using the bound (2.8). The proof follows by integrating forwards from s=0 and using the fact that |y|+|q|C,

X(s,0,y,q)-sP^(s,0,y,q)K+c(1+s)1-a/(1-a), 2.11

and dividing by s.

Translated Time Coordinate

Proposition 2.1 implies that |x|ct+K for t0 in supp(Tμν) or, equivalently, |x|ct~ for t~t0, where t0:=K/c, and t~=t0+t. It is convenient to use this translated time coordinate t~ 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 Z~=Ω~ij,B~i,S~ defined by

Ω~ij=Ωij,B~i=t~xi+xit,S~=t~t+xkxk

satisfy, for any multi index I,

t~|I|I=|J||I|ΛIJxt~Z~Jif|x|/t~c<1, 2.12

for some smooth functions ΛIJ. Estimates for IZ~JTμν will then follow directly from estimates for Z~ITμν, which are less cumbersome to obtain; see Section 5.4. For simplicity the ~ will always be omitted, and statements just made for tt0.

Approximations to Geodesics

Define, for (t,x,p^)supp(f) and t0st,

X2i(s,t,x,p^)=xi-(t-s)p^i-st(s-s)Γ^is,sxt,xtds,P^2(s,t,x,p^)=p^i+stΓ^is,sxt,xtds, 2.13

and set

X¯(s,t,x,p^)i:=X(s,t,x,p^)i-X2(s,t,x,p^)i,P¯(s,t,x,p^)i:=dX¯ds(s,t,x,p^)=P^(s,t,x,p)i-P^2(s,t,x,p)i

for i=1,2,3. Note that

X¯(t,t,x,p^)i=P¯(t,t,x,p^)i=0

for i=1,2,3. The geodesic equations (2.2) can be used to derive the following equations for X¯ and P¯:

dX¯ids=P¯i; 2.14
dP¯ids=Γ^is,X(s,t,x,p^),P^(s,t,x,p^)-Γ^is,sxt,xt. 2.15

It follows from the next proposition that the curves sX2(s,t,x,p^) are good approximations to the geodesics sX(s,t,x,p^). Recall, from Section 1.2.2, the notation .

Proposition 2.3

Suppose |Γ(t,x)|+t|Γ(t,x)|εt-1-a in supp(f). Given tt0 such that (t,x,p^)supp(f),

s2a-1X¯(s,t,x,p^)i+s2aP¯(s,t,x,p^)iε 2.16

for all t0st and i=1,2,3.

Proof

First note that equation (2.2) and the bounds assumed on Γ imply

dP^i(s)dsεs1+a 2.17

for t0st. Note also that

X(s,t,x,p^)i-sP^(s,t,x,p^)i=X(s,0,y,q)i-sP^(s,0,y,q)i,

where y=X(0,t,x,p^), q=P^(0,t,x,p^). Proposition 2.2, and the integration of (2.17) from s to t and (2.11) then gives

xit-X(s)isxit-p^i+p^i-P^(s)i+P^(s)i-X(s)is1sa

for t0st and i=1,2,3. Hence

Γαβμs,sxt-Γαβμs,X(s)Γαβμ(s,·)Lsxt-X(s)εs1+2a.

Moreover,

P^(s)i-xitP^(s)i-p^i+p^i-xit1sa

for t0st, and so

Γ^is,X(s),P^(s)-Γ^is,sxt,xtεs1+2a.

Integrating equation (2.15) backwards from s=t, and using the fact that P¯(t,t,x,p^)i=0, gives

P¯(s,t,x,p^)iεs2a,

and integrating the equation (2.14) backwards from s=t and using X¯(t,t,x,p^)i=0 gives

X¯(s,t,x,p^)iεs1-2a,

since a>12.

Corollary 2.4

Suppose tt0 is such that (t,x,p^)supp(f) and |Γ(t,x)|+t|Γ(t,x)|εt-1-a. Then

X2(s,t,x,p^)is

for t0st and i=1,2,3.

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 M to a vector field Z¯ on P, 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 X1(s,t,x,p^) and P^1(s,t,x,p^) we define the second approximations X2(s,t,x,p^) and P^2(s,t,x,p^) to the geodesics through (t,x,p^), to be the solutions of the system

ddsX2=P^2,ddsP^2=Γ(X1)·Λ(P^1),X2(t)=x,P^2(t)=p^. 3.1

Under some mild assumptions on the metric g,10 for fixed τ any point (t,x,p^)P with t>τ can be described uniquely by the pair of points {(t,x),(τ,y)} in M, where

y=X2(τ,t,x,p^), 3.2

is the point where the approximate geodesic X2 emanating from (tx) with velocity p^ intersects the hypersurface Στ, that is (t,x,p^)P can be parameterised by {(t,x),(τ,y)},

(t,x,p^)=(t,x,p^X2(t,x,τ,y)),

where the subscript X2 is used in p^X2(t,x,τ,y) to emphasise that p^ is now parametrised by y using the approximations X2 to the geodesics. Integrating (3.1) backwards from t to t0 gives that p^=p^X2(t,x,t0,y) is implicitly given by

y=x-(t-t0)p^-(t-t0)Θ(t0,t,x,p^), 3.3

where

Θ(t0,t,x,p^)i=t0ts-t0t-t0Γ(s,X1(s,t,x,p^))·Λ(P^1(s,t,x,p^))ids. 3.4

Here we used Taylor’s formula with integral remainder f(t0)=f(t)+f(t)(t0-t)+tt0(t0-s)f(s)ds. The first approximate geodesics in the previous section are independent of p^ so then Θ is independent of p^ and the above relation in fact gives p^X2 explicitly.

Lifting of Physical Vector Fields to Vector Fields on Momentum Space Adapted to the Approximate Geodesics

For a given vector field Z on M, let ΦλZ:MM denote the associated one parameter family of diffeomorphisms, so Φ0Z=Id and so that

dΦλZ(t,x)dλ=Z|ΦλZ(t,x).

Now the action of ΦλZ on (tx) and (τ,y) in M induces an action on (t,x,p^) in P, given by

Φ¯λ,τZ,X2(t,x,p^):=ΦλZ(t,x),p^X2ΦλZ(t,x),ΦλZ(τ,y),wherey=X2(τ,t,x,p^).

For fixed t0 we define the vector field Z¯ by

Z¯|(t,x,p^)=dΦ¯λ,τZ,X2(t,x,p^)dλ|λ=0,τ=t0.

We have

Z¯f(t,x,p^)=ddλfΦλZ(t,x),p^X2ΦλZ(t,x),ΦλZ(t0,y)|λ=0=Zαxαf(t,x,p^)+ddλft,x,p^(λ)|λ=0, 3.5

where

p^(λ)=p^X2ΦλZ(t,x),ΦλZ(t0,y),andy=X2(t0,t,x,p^),p^(0)=p^. 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

Z¯|(t,x,p^)X2(t0,t,x,p^)i=Zi|(t0,X2(t0))-Z0|(t0,X2(t0))P^2(t0,t,x,p^)i, 3.7

which as desired is bounded independently of t>t0+1. In fact, if y=X2i(t0,t,x,p^) and q=P^2i(t0,t,x,p^) are bounded in the support of f(t0,y,q), equation (3.7) guarantees that |Z¯(X2(t0,t,x,p^)i)| is bounded.

To see that (3.7) indeed holds, first note that the left hand side is the derivative of X2(t0,Φ¯λ,t0Z,X2(t,x,p^))i with respect to λ at λ=0. Also the first term on the right hand side is the derivative of ΦλZ(t0,y)i at λ=0. The equality (3.7) follows from taking the derivative, with respect to λ at λ=0 of both sides of the identity

X2(ΦλZ(t0,y)0,Φ¯λ,t0Z,X2(t,x,p^))i=ΦλZ(t0,y)i. 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 (t0,y). 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 t0. It is therefore assumed throughout this section that tt0+1, 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

Z¯=Zμxμ+Z~ip^i, 3.9

where Z~i are to be determined, and insisting that the relation

Z¯|(t,x,p^)X2(t0,t,x,p^)i=Zi|(t0,X2(t0))-Z0|(t0,X2(t0))p^i 3.10

holds, instead of the relation (3.7) which involves P^2(t0,t,x,p^)i instead of p^i and is satisfied by the vector fields of the previous section. Equation (3.10) is in particular true for the Minkowski vector fields Z¯M.

We now make the further assumption that the first approximate geodesics X1 and P^1 in (3.1) are independent of p^ in which case by (3.3) the second approximation to the geodesics are given by

X2(t0,t,x,p^)=y=x-(t-t0)p^-(t-t0)Θ(t0,t,x), 3.11

with Θ given by (3.4) now independent of p^. Applying the expression (3.9) to (3.11) gives

Z¯(X2(t0,t,x,p^)i)=Zi|(t,x)-Z0|(t,x)p^i-Z((t-t0)Θ(t0,t,x)i)-(t-t0)Z~i|(t,x,p^), 3.12

and so Z~i is indeed determined if Z¯(X2(t0,t,x,p^)i) is prescribed for each i. Substituting the definition (3.10) into (3.12) and solving for Z~i we obtain

Z~i|(t,x,p^)=1t-t0(Zi|(t,x)-Zi|(t0,X2(t0))-(Z0|(t,x)-Z0|(t0,X2(t0)))p^i-Z((t-t0)Θ(t0,t,x)i)). 3.13

The coefficients of the vector fields we are considering are linear functions

Zα=Cβαxβ, 3.14

where x0=t. Hence, by (3.11),

1t-t0(Zα|(t,x)-Zα|(t0,X2(t0)))=Cβαxβ-yβt-t0=Cβα(p^β+Θβ), 3.15

where p^0=1 and we defined Θ0=0. Hence

Z~i=Cβi(p^β+Θβ)-Cβ0(p^β+Θβ)p^i-(t-t0)-1Z((t-t0)Θ(t0,t,x)i). 3.16

Substituting X1=sx/t and P^1=x/t into (3.4) we have

Lemma 3.1

If

Θ(t0,t,x)i=t0ts-t0t-t0Γ(s,sx/t)·Λ(x/t)ids, 3.17

then

(t-t0)-1Z((t-t0)Θ(t0,t,x)i)=tΓ(t,x)·Λ(x/t)i(Z0/t)+ΘZ(t0,t,x)i, 3.18

where, with (ZΛ)(x/t)=Z(Λ(x/t)),

ΘZ(t0,t,x)i=t0ts-t0t-t0((ZΓ)(s,sx/t)·Λ(x/t)i-(SΓ)(s,sx/t)·Λ(x/t)i(Z0/t)+Γ(s,sx/t)·(ZΛ)(x/t)i)ds. 3.19

Proof

Changing variables gives

(t-t0)Θ(t0,t,x)i=t0t(s-t0)Γ(s,sx/t)·Λ(x/t)ids=t0/t1(ts-t0)tΓ(st,sx)·Λ(x/t)ids. 3.20

Hence

Z((t-t0)Θ(t0,t,x)i)=t0tsΓ(s,sx/t)·Λ(x/t)i(Z0/t)ds+t0t(s-t0)Γ(s,sx/t)·Λ(x/t)i(Z0/t)ds+t0t(s-t0)((ZΓ)(s,sx/t)·Λ(x/t)i+Γ(s,sx/t)·(ZΛ)(x/t)i)ds. 3.21

Integrating by parts we have

t0tsΓ(s,sx/t)·Λ(x/t)i(Z0/t)ds=(t-t0)tΓ(t,x)·Λ(x/t)i(Z0/t)-t0t(s-t0)(Γ+SΓ)(s,sx/t)·Λ(x/t)i(Z0/t)ds, 3.22

and adding things up we get the lemma.

Remark 3.2

We note ΘZ is of exactly the same form of Θ and hence can be estimated in the same way, and moreover a vector field Z applied to ΘZ will produce a (ΘX)Z of the same form.

One can further obtain bounds for Z¯ applied to the initial conditions for P^ as follows: we have

P^2(t0,t,x,p^)i=p^i-Ψ(t0,t,x)i,whereΨ(t0,t,x)i=t0tΓ(s,sx/t)·Λ(x/t)ids, 3.23

so

Z¯|(t,x,p^)P^2(t0,t,x,p^)i=Z~i|(t,x,p^)-Zμ|(t,x,p^)xμΨ(t0,t,x)i 3.24

which again is bounded, provided the components of Z grow at most like t.

The Rotation Vector Fields

Since the rotations satisfy Z0=0 it easily follows from the above lemma that

Ω¯ij=xixj-xjxi+(p^i+Θi)p^j-(p^j+Θj)p^i-ΘΩijp^,

where Θ is given by (3.17) and

ΘΩij(t0,t,x)=t0ts-t0t-t0((ΩijΓ)(s,sx/t)·Λ(x/t)+Γ(s,sxt)·(ΩijΛ)(xt))ds.

The Scaling Vector Field

By the above lemma we have

S¯=tt+xixi+(Θi-tΓ(t,x)·Λ(x/t)i)p^i. 3.25

The Boost Vector Fields

By the above lemma we have

B¯i=xit+txi+(δij-(p^i+Θi)p^j-tΓ(t,x)·Λ(x/t)j(xi/t)-ΘBij)p^j, 3.26

where

ΘBij=t0ts-t0t-t0((BiΓ)(s,sx/t)·Λ(x/t)j-(SΓ)(s,sx/t)·Λ(x/t)j(xi/t)+Γ(s,sx/t)·(BiΛ)(x/t)j)ds. 3.27

Vector Fields Applied to Geodesics

Recall from Section 2 the definitions (2.13) of X2(s,t,x,p^)i and P^2(s,t,x,p^)i, and

X¯(s,t,x,p^)i:=X(s,t,x,p^)i-X2(s,t,x,p^)i,P¯(s,t,x,p^)i:=dX¯ds(s,t,x,p^)=P^(s,t,x,p^)i-P^2(s,t,x,p^)i.

In this section estimates for combinations of appropriate vector fields, Z¯I (see Sections 3 and 4.1 below), applied to the geodesics X(t0,t,x,p^) and P^(t0,t,x,p^) of a fixed spacetime satisfying the pointwise bounds

ZIΓβγα(t,x)ε(t)1+afort0tt,|x|ct,and|I|N2+2, 4.1

where 12<a<1, 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, ZI, applied to the components of the energy momentum tensor, Tμν(t,x).

Proposition 4.24 and Corollary 4.27 are obtained by applying Z¯I to the system (2.14)–(2.15) (see Propositions 4.23 and 4.26) to first estimate Z¯I(X¯(t0)k) and Z¯I(P¯(t0)k). Proposition 4.24 and Corollary 4.27 then follow from good estimates for Z¯I(X2(t0)k) and Z¯I(P^2(t0)k). The vector fields Z¯ are defined so that such good estimates indeed hold (see Proposition 4.1 for the case |I|=1, 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 Ω¯ij applied to the geodesics. In Section 4.3 schematic expressions for Z¯I(X2(t0)k), along with Z¯I applied to xit-p^i and p^i (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 Z¯I(X2(t0)k), and for Z¯I applied to various other quantities. Since the commuted system (2.14)–(2.15) is integrated backwards from s=t, it is necessary to first estimate the “final conditions”, Z¯I(X¯(s,t,x,p^)k)|s=t and Z¯I(P¯(s,t,x,p^)k)|s=t. 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 X¯(s)k and P¯(s)k are estimated (Proposition 4.23) and in Section 4.9 higher order derivatives are estimated (Proposition 4.26).

In Sections 4.14.9 it will be assumed that tt0+1. Section 4.10 is concerned with the case t0tt0+1. It will be assumed throughout this section that |x|ct, where 0<c<1 (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 Z¯

Z¯=Ω¯ij,B¯i,S¯

for i,j=1,2,3, i<j, and reduce to the standard rotations, boosts and scaling vector field of Minkowski space when acting on spacetime functions. Recall the notation, for i=1,2,3,

Γ^(t,x,p^)i=p^iΓαβ0(t,x)p^αp^β-Γαβi(t,x)p^αp^β,

and

Θi(t,x)=1t-t0t0t(s-t0)Γ^is,sxt,xtds. 4.2

Recall that the vector fields Ω¯ij,B¯i,S¯ take the following form: first,

Ω¯ij|(t,x,p)=xixj-xjxi+p^ip^j-p^jp^i+Ω˚ijkp^k,

where

Ω˚ijk|(t,x,p)=1t-t0[t0t(s-t0)Γ^is,sxt,xtδjk-Γ^js,sxt,xtδikds 4.3
-(xixj-xjxi)t0t(s-t0)Γ^ks,sxt,xtds]=Θi(t,x)δjk-Θj(t,x)δik-ΩijΘk(t,x) 4.4

for 1i<j3. Second,

B¯i|(t,x,p)=xit+txi+δij-p^ip^jp^j+B˚ikp^k,

where

B˚ik|(t,x,p)=-1t-t0[t0t(s-t0)Γ^is,sxt,xtdsp^k+(xit+txi)t0t(s-t0)Γ^ks,sxt,xtds]=-Θi(t,x)p^k-BiΘk(t,x)-xit-t0Θk(t,x) 4.5

for i=1,2,3. Finally,

S¯|(t,x,p)=tt+xixi+S˚kp^k,

where

S˚k|(t,x,p)=1t-t0[t0t(s-t0)Γ^ks,sxt,xtds-(tt+xixi)t0t(s-t0)Γ^ks,sxt,xtds]=Θk(t,x)-SΘk(t,x)-tt-t0Θk(t,x). 4.6

By the bound (2.16), the maps X2(s,t,x,p^)i are good approximations to the true geodesics, X(s,t,x,p^)i. Recall that the vector fieldsΩ¯ij, B¯i, S¯are defined so that, when applied toX2(s,t,x,p^)ithe following hold ats=t0:

Proposition 4.1

For (t,x,p)supp(f), the vector fields Ω¯ij, B¯i, S¯ defined above satisfy that

Ω¯ijX2(t0,t,x,p^)k=X2(t0,t,x,p^)iδjk-X2(t0,t,x,p^)jδik, 4.7
B¯iX2(t0,t,x,p^)k=t0δik-X2(t0,t,x,p^)ip^k, 4.8
S¯X2(t0,t,x,p^)k=X2(t0,t,x,p^)k-t0p^k, 4.9

for i,j,k=1,2,3.

Proof

The proof is a straightforward computation. See also Section 3.2, where the above form of the vector fields Ω¯ij, B¯i, S¯ 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 Z¯=Ω¯ij,B¯i,S¯ respectively. See also equation (1.40) and the general discussion in Section 1.5.)

Remark 4.2

Recall the Minkowski vector fields Ω¯ijM, B¯iM, S¯M from Section 1.5.1. Since, in Minkowski space, the maps X(s,t,x,p^)i are simply given by

XM(s,t,x,p^)i=xi-(t-s)p^i

for i=1,2,3, it is easy to see that Proposition 4.1 in fact holds in Minkowski space with t0 replaced by any s:

Ω¯ijMXM(s)k=XM(s)iδjk-XM(s)jδik,B¯iMXM(s)k=sδik-XM(s)ip^k,S¯MXM(s)k=XM(s)k-sp^k.

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 X(t0,t,x,p^) and P^(t0,t,x,p^), 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.34.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 X(t0,t,x,p^) and P^(t0,t,x,p^). 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 Ω¯ij applied to the components of X(t0,t,x,p^) and P^(t0,t,x,p^) it suffices to control Ω¯ij applied to the components of X¯(t0,t,x,p^) and P¯(t0,t,x,p^) or, more generally, to show the following:

Proposition 4.3

Suppose tt0+1, |x|ct, (t,x,p^)supp(f) and the bounds (4.1) hold with N=0. Then, for i,j,k=1,2,3, ij,

s2a-1Ω¯ijX¯(s,t,x,p)k+s2aΩ¯ijP¯(s,t,x,p)kCε

for all t0st.

The proof of Proposition 4.3 relies on two facts. The first is the fact that, for (t,x,p^)supp(f),

(Ω¯ijX¯)(t,t,x,p^)=(Ω¯ijP¯)(t,t,x,p^)=0, 4.10

which follows from the fact that X¯(t,t,x,p^)=P¯(t,t,x,p^)=0, and that Ω¯ij does not involve t derivatives. The analogue of (4.10) is not true, due to the presence of the t derivatives, when Ω¯ij is replaced by B¯i or S¯. These “final conditions” for B¯i and S¯, and higher order combinations of all of the Z¯ vector fields, applied to X¯ and P¯ are estimated in Section 4.7.

The second fact required for the proof of Proposition 4.3 is the following estimate for Ω¯ij applied to the right hand side of equation (2.15).

Proposition 4.4

Suppose tt0+1, |x|ct, (t,x,p^)supp(f) and the bounds (4.1) hold with N=0. Then

Ω¯ijΓ^k(s,X(s),P^(s))-Γ^ks,sxt,xtεs1+2a+εs1+2aΩ¯ijX¯(s)+εs1+aΩ¯ijP¯(s) 4.11

for all t0st.

Proof

Recall that

Γ^k(s,X(s),P^(s))-Γ^ks,sxt,xt=Γαβ0(s,X(s))P^kP^αP^β-Γαβ0s,sxtxktxαtxβt+Γαβks,sxtxαtxβt-Γαβk(s,X(s))P^αP^β.

Write

Γαβk(s,X(s))P^αP^β-Γαβks,sxtxαtxβt=Γαβk(s,X(s))-Γαβks,sxtxαtxβt+Γαβk(s,X(s))P^α-xαtxβt+Γαβk(s,X(s))xαtP^β-xβt+Γαβk(s,X(s))P^α-xαtP^β,

and note that

Ω¯ijΓαβk(s,X(s))-Γαβks,sxt=Ω¯ijX(s)l-sxlt(xlΓαβk)(s,X(s))+Ω¯ijsxlt(xlΓαβk)(s,X(s))-(xlΓαβk)s,sxt.

The bound for the first term follows from writing X(s)l-sxlt=X¯(s)l+X2(s)l-sxlt and, using the definition (2.13) for X2 and the definition of Ω˚ijl (see (4.3)),

Ω¯ijX2(s)l-sxlt=xiδjl-xjδil-(t-s)p^iδjl-p^jδil-stxiδjl-xjδil-(t-s)Ω˚ijl-Ωijst(s-s)Γ^ls,sxt,xtds=xiδjl-xjδil-(t-t0)-(s-t0)p^iδjl-p^jδil-stxiδjl-xjδil-(t-t0)Ω˚ijl+(s-t0)Ω˚ijl-Ωijt0t(s-t0+t0)Γ^ls,sxt,xtds-t0ssΓ^ls,sxt,xtds-sstΓ^ls,sxt,xtds=X2(t0)iδjl-X2(t0)jδil-sxit-p^iδjl-xjt-p^jδil+t0p^iδjl-p^jδil+(s-t0)Ω˚ijl-Ωijt0t0tΓ^ls,sxt,xtds-t0ssΓ^ls,sxt,xtds-sstΓ^ls,sxt,xtds.

Using the assumptions (4.1) on Γ, the fact that

xit-p^iCta

for (t,x,p^)supp(f) (see Proposition 2.2), and the fact that |Ω˚ijl(t,x)|Ct-a, it follows that

Ω¯ijX2(s)l-sxltCs1-a.

For the second term, note that

(xlΓαβk)(s,X(s))-(xlΓαβk)s,sxtsup|z|cs+K2Γαβk(s,z)X(s)-sxtCεs3+aX(s)-sxt,

and, as above,

X(s)k-sxktX¯(s)k+X2(s)k-sxktX¯(s)k+X2(t0)k+sxkt-p^k+t0t0tΓ^ks,sxt,xtds+t0ssΓ^ks,sxt,xtds+sstΓ^ks,sxt,xtdsCs1-a.

Hence,

Ω¯ijΓαβk(s,X(s))-Γαβks,sxtεs1+2a+εs2+aΩ¯ij(X¯(s)).

Similarly, using the fact that

P¯(s)k=P^k(s)-p^k+stΓ^ks,sxt,xtds,

it follows that

P^(s)k-xktP¯(s)k+xkt-p^k+stΓ^ks,sxt,xtdss-a,P^(s)k1,

and similarly,

Ω¯ijP^(s)k-xktΩ¯ijP¯(s)k+s-a,Ω¯ijP^(s)kΩ¯ijP¯(s)k+1.

Hence,

Ω¯ijΓαβk(s,X(s))P^αP^β-Γαβks,sxtxαtxβtεs1+2a+εs1+2aΩ¯ijX¯(s)+εs1+aΩ¯ijP¯(s).

In a similar manner it follows that

Ω¯ijΓαβ0(s,X(s))P^kP^αP^β-Γαβ0s,sxtxktxαtxβtεs1+2a+εs1+2aΩ¯ijX¯(s)+εs1+aΩ¯ijP¯(s),

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 Ω¯ij to the system (2.14)–(2.15). Applying Ω¯ij to the equation (2.14) and integrating backwards from s=t, using (4.10), that

Ω¯ij(P¯(s)k)εs2a+stεs~1+2aΩ¯ij(X¯(s~))+εs~1+aΩ¯ij(P¯(s~))ds~,

and, summing over k=1,2,3, the Grönwall inequality (see Lemma 4.25) gives

Ω¯ij(P¯(s)k)εs2a+stεs~1+2aΩ¯ij(X¯(s~))ds~. 4.12

Inserting this bound into the equation (2.14) for X¯, after applying Ω¯ij, integrating backwards from s=t and using (4.10) gives

Ω¯ij(X¯(s)k)εs1-2a+ststεs~1+2aΩ¯ij(X¯(s~))ds~ds,

since 2a>1. For any function λ(s~),

stst1s~1+2aλ(s~)ds~ds=ststχ{ss~}ds1s~1+2aλ(s~)ds~=st(s~-s)s~1+2aλ(s~)ds~,

where χA denotes the indicator function of the set A, and so

Ω¯ij(X¯(s)k)εs1-2a+stεs~2aΩ¯ij(X¯(s~))ds~,

and another application of the Grönwall inequality gives

Ω¯ij(X¯(s)k)εs1-2a.

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 Z¯I to the equation (2.15), the term

Z¯I(Xk)(kΓ^i)(s,X,P^)-Z¯Isxkt(kΓ^i)s,sxt,xt=Z¯IXk-sxkt(kΓ^i)(s,X,P^)+Z¯Isxkt(kΓ^i)(s,X,P^)-(kΓ^i)s,sxt,xt,

(amongst others) appears. Consider the first of these summands. Rewriting

Z¯IXk(s)-sxkt=Z¯IX¯k(s)+Z¯IX2k(s)-sxkt,

the first term Z¯I(X¯k) is controlled, in the proofs of Propositions 4.23 and 4.26, by the Grönwall inequality. In Section 4.4, the term Z¯IX2k(s)-sxkt is controlled by first rewriting

Z¯Isxit-X2i(s,t,x,p^)=Z¯Isxit-X2i(s,t,x,p^)+X2i(t0,t,x,p^)-Z¯I(X2i(t0,t,x,p^)).

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

sxit-X2i(s,t,x,p^)+X2i(t0,t,x,p^)=sxit-p^i+t0p^i+st(s-s)Γ^ks,sxt,xtds-t0t(s-t0)Γ^ks,sxt,xtds=sxit-p^i+t0p^i-t0s(s-t0)Γ^ks,sxt,xtds-(s-t0)stΓ^ks,sxt,xtds 4.13

is used, along with the schematic expressions of Propositions 4.6 and 4.7. The expression

Z¯Ixit-P^i(s,t,x,p)=-Z¯IP¯i(s,t,x,p)+Z¯Ixit-P^2i(s,t,x,p) 4.14

similarly appears after applying Z¯I to equation (2.15), where

P^2i(s,t,x,p)=p^i+stΓ^is,sxt,xtds,

and is therefore also estimated in Section 4.4.

The following generalises Proposition 4.1 to higher orders. Recall it is assumed that tt0+1. Section 4.10 is concerned with the case t0tt0+1.

Proposition 4.5

For any multi index I, there exist smooth functions ΛIi, ΛI,ji such that

Z¯IX2(t0)i=X2(t0)j(ΛI,jip^+k=1|I|-1|J1|++|Jk||I|-kΛ~I,j,i1,,iki,J1,,Jkp^,t,xZJ1Θi1ZJkΘik)+ΛIip^+k=1|I|-1|J1|++|Jk||I|-kΛ~I,i1,,iki,J1,,Jkp^,t,xZJ1Θi1ZJkΘik

for i=1,2,3, where X2(t0)i=X2(t0,t,x,p)i and Λ~I,j,i1,,iki,J1,,Jk and Λ~I,i1,,iki,J1,,Jk satisfy

Λ~I,j,i1,,iki,J1,,Jkp^,t,x=ΛI,j,i1,,iki,J1,,Jkp^,xt-t0,tt-t0,Λ~I,i1,,iki,J1,,Jkp^,t,x=ΛI,i1,,iki,J1,,Jkp^,xt-t0,tt-t0,

for some smooth functions ΛI,j,i1,,iki,J1,,Jk and ΛI,i1,,iki,J1,,Jk. (Here k=10:=0.)

Proof

The result is clearly true for |I|=1 by Proposition 4.1. The result for |I|2 then follows from a straightforward induction argument after noting that, for any multi index Jj,

Z¯ZJjΘij=ZLΘij,

where |L|=|Jj|+1, and also noting that

Ω¯ijtt-t0=0,Ω¯ijxkt-t0=xit-t0δjk-xjt-t0δik,B¯itt-t0=xit-t0-xit-t0tt-t0,B¯ixkt-t0=tt-t0δik-xit-t0xkt-t0,S¯tt-t0=tt-t0-tt-t02,S¯xkt-t0=xkt-t0-xkt-t0tt-t0,

and

Ω¯ijp^k=p^i+Θiδjk-p^j+Θjδik-ΩijΘk, 4.15
B¯ip^k=δik-p^ip^k-Θip^k-xit-t0Θk-BiΘk, 4.16
S¯p^k=Θk-tt-t0Θk-SΘk, 4.17

where the equalities (4.4), (4.5), (4.6) have been used. Hence, for any smooth function Λp^,xt-t0,tt-t0 and any Z¯=Ω¯ij, B¯i, S, there exist smooth functions Λ~, Λ~J such that

Z¯Λp^,xt-t0,tt-t0=Λ~p^,xt-t0,tt-t0+|J|1Λ~Jp^,xt-t0,tt-t0ZJ(Θ),

and the proof follows.

Note that the arguments of the smooth functions ΛIi, ΛI,ji, ΛI,j,i1,,iki,J1,,Jk and ΛI,i1,,iki,J1,,Jk appearing in Proposition 4.5 are bounded in supp(f). Note also that the functions themselves also depend on t0 but, since t0 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 ΛI,ji such that

Z¯Ixit-p^i=xjt-p^jΛI,jixt,p^+k=1|I||J1|++|Jk||I|-k+1Λ~I,i1,,iki,J1,,Jkp^,t,xZJ1Θi1ZJkΘik

for i=1,2,3, where

Λ~I,i1,,iki,J1,,Jkp^,t,x=ΛI,i1,,iki,J1,,Jkp^,xt,xt-t0,tt-t0

for some smooth functions ΛI,i1,,iki,J1,,Jk.

Proof

Note that,

Ω¯ijxkt-p^k=xit-p^iδjk-xjt-p^jδik-Ω˚ijkB¯ixkt-p^k=-xit-p^ip^k-xitxkt-p^k-B˚ikS¯xkt-p^k=-S˚k,

and so, inserting the equalities (4.4), (4.5), (4.6), the result is clearly true for |I|=1. The result for |I|2 follows from a straightforward induction, as in the proof of Proposition 4.5, now also using the fact that

Ω¯ijxkt=xitδjk-xjtδik,B¯ixkt=δik-xitxkt,S¯xkt=0. 4.18

Proposition 4.7

For any multi index I, there exist smooth functions ΛIi such that

Z¯Ip^i=ΛIip^+k=1|I||J1|++|Jk||I|-k+1Λ~I,i1,,iki,J1,,Jkp^,t,xZJ1Θi1ZJkΘik

for i=1,2,3, where

Λ~I,i1,,iki,J1,,Jkp^,t,x=ΛI,i1,,iki,J1,,Jkp^,xt-t0,tt-t0

for some smooth functions ΛI,i1,,iki,J1,,Jk.

Proof

The result for |I|=1 clearly follows from the equalities (4.15), (4.16), (4.17). The proof for |I|2 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 tt0+1, |x|ct and the bounds (4.1) hold. Then, for |I|N,

ZIΘ(t,x)|J||I|-1t(ZJΓ)(t,x)+|J||I|1t-t0t0t(s-t0)(ZJΓ)s,sxtds,

where ZI is a product of |I| of the vector fields Ωij,Bi,S. Moreover, if |I|N2+2, then

ZIΘ(t,x)Cta.

Proof

Recall the definition (4.2) of Θ. Note that

ZΘi(t,x)=-Z(t)t-t0Θi(t,x)+Z(t)Γ^it,x,xt+1t-t0t0t(s-t0)ZΓ^is,sxt,xtds,

and that

ΩijΓαβμs,sxt=sxitxjΓαβμs,sxt-sxjtxiΓαβμs,sxt=ΩijΓαβμs,sxt,BiΓαβμs,sxt=sxiΓαβμs,sxt-sxitxktxkΓαβμs,sxt=BiΓαβμs,sxt-xitSΓαβμs,sxt,

and

SΓαβμs,sxt=0.

Using the equalities (4.18), the result for |I|=1 clearly follows from the L bounds (4.1) for Γαβμ (recall that, when restricted to spacetime functions, the Z¯ vector fields are equal to the Z vector fields). The proof for |I|2 is a straightforward induction.

Proposition 4.9

Supposing that tt0+1, |x|ct, (t,x,p^)supp(f) and the bounds (4.1) hold, then, for |I|N,

Z¯IX2(t0)i1+|J||I|-1t(ZJΓ)(t,x)+|J||I|1t-t0t0t(s-t0)(ZJΓ)s,sxtds 4.19
Z¯Ixit-p^i1ta+|J||I|-1t(ZJΓ)(t,x)+|J||I|1t-t0t0t(s-t0)(ZJΓ)s,sxtds 4.20
Z¯Ip^i1+|J||I|-1t(ZJΓ)(t,x)+|J||I|1t-t0t0t(s-t0)(ZJΓ)s,sxtds 4.21

and

Z¯It0s(s-t0)Γ^is,sxt,xtds|J||I|t0s(s-t0)(ZJΓ)s,sxtds 4.22
Z¯IstΓ^is,sxt,xtds|J||I|-1t(ZJΓ)(t,x)+|J||I|st(ZJΓ)s,sxtds 4.23

for i=1,2,3 and for all t0st. In particular, for |I|N2+2,

Z¯IX2(t0)i+Z¯Ip^iC,Z¯Ixit-p^iCta

for i=1,2,3.

Proof

Consider first the bound (4.19). Proposition 4.5 implies that

Z¯IX2(t0)i1+k=1|I|-1|J1|++|Jk||I|-kZJ1Θi1ZJkΘik,

where the fact that |X2(t0)i|1 has been used (see Corollary 2.4). If |Jl|N2+2 then Proposition 4.8 and the bounds (4.1) imply that ZJlΘil1. The estimate (4.19) then follows from Proposition 4.8 after noting that, for all |J1|++|Jk||I|, there is at most one 1jk such that |Jj|>N2+2.

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 tt0+1, |x|ct, (t,x,p^)supp(f) and the bounds (4.1) hold, then

Z¯IX2i(s,t,x,p^)s1+|J||I|-1t(ZJΓ)(t,x)+|J||I|t0t(ZJΓ)s,sxtss+sds, 4.24

and

Z¯IX2i(s,t,x,p^)s-xit1sa+|J||I|-1t(ZJΓ)(t,x)+|J||I|t0t(ZJΓ)s,sxtss+sds 4.25

for all t0st, i=1,2,3. In particular, for |I|N2+2,

Z¯IX2i(s,t,x,p^)s-xit1sa. 4.26

Moreover,

Z¯I(xit-P^2i(s,t,x,p^))1ta+|J||I|-1t(ZJΓ)(t,x)+|J||I|t0t(ZJΓ)s,sxtss+sds. 4.27

In particular, for |I|N2+2,

Z¯IP^2i(s,t,x,p^)-xit1sa. 4.28

Proof

After writing

X2i(s,t,x,p^)=X2i(t0,t,x,p^)+X2i(s,t,x,p^)-X2i(t0,t,x,p^)=X2i(t0,t,x,p^)+(s-t0)p^i+(s-t0)stΓ^is,sxt,xtds+t0s(s-t0)Γ^is,sxt,xtds,

Proposition 4.9 implies that

Z¯IX2i(s,t,x,p^)Cs[1+|J||I|-1t(ZJΓ)(t,x)+|J||I|1t-t0t0t(s-t0)(ZJΓ)s,sxtds]+Cs|J||I|st(ZJΓ)s,sxtds+C|J||I|t0s(s-t0)(ZJΓ)s,sxtds.

The proof of the bound (4.24) follows after dividing by s and using the fact that

t0ts-t0t-t0(ZJΓ)s,sxtdsst(ZJΓ)s,sxtds+t0sss(ZJΓ)s,sxtds,

since s-t0t-t0=ss+ss+st-t0-t0t-t0 and 1ss+s1 if ss, and ssss+sss if ss (recall also that tt0+1). The proof of (4.25) follows similarly by writing

X2i(s,t,x,p^)s-xit=p^i-xit-t0sp^i+X2i(t0,t,x,p^)s+(s-t0)sstΓ^is,sxt,xtds+1st0s(s-t0)Γ^is,sxt,xtds,

and using the bound (4.20). The bound (4.27) similarly follows from Proposition 4.9 after writing

xit-P^2i(s,t,x,p^)=xit-p^i-stΓ^is,sxt,xtds.

The lower order estimates (4.26) and (4.28) follow from rewriting

t0t(ZJΓ)s,sxtss+sdsst(ZJΓ)s,sxtds+t0sss(ZJΓ)s,sxtds,

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

Γ^(X,P^)-Γ^(X1,P^1)=Γ(X)·Λ(P^)-Γ(X1)·Λ(P^1)=(Γ(X)-Γ(X1))·Λ(P^)+Γ(X1)·(Λ(P^)-Λ(P^1)), 4.29

which appears on the right hand side of equation (2.15), where X1(s)=sx/t and P^1=dX1ds=x/t, and Λ is defined in (2.4). Apart from controlling vector fields applied to X1 and P^1 we also control vector fields applied to X2 and P^2, and moreover the differences X1-X2 and P^1-P^2 decay, see (4.13) and (4.14) and the propositions to follow. Furthermore, because of the definition of X2 and P^2 in terms of X1 and P^1 the differences X¯=X-X2 and P¯=P^-P^2 are small, see Proposition 2.3. It may be tempting to write this as differences with Γ^ evaluated at (X2,P2). However we do not want to involve an estimate of Γ applied to X2 so instead we will first differentiate (4.29) and use the decomposition X1-X=X1-X2-X¯ to the factors that come out when we differentiated. The following result is straightforward to show:

Lemma 4.11

Given Y1,,Yk,YR3 and F:R3R, let Y1Yk·(kF)(Y), denote the sum of Y1j1Ykjk·(j1jkF)(Y) over all components 1ji3 for i=1,,k. We have

Z¯J(F(X)-F(X1))=k<|J|/2,J1++Jk=J,1|J1||Jk|cJ1JkZ¯J1X1Z¯JkX1·((kF)(X)-(kF)(X1))+k<|J|/2,J1++Jk=J,1|J1||Jk|cJ1Jk1kZ¯J1XZ¯J-1XZ¯J(X-X1)Z¯J+1X1Z¯JkX1·(kF)(X),+k|J|/2,J1++Jk=J,1|J1||Jk|cJ1JkZ¯J1XZ¯JkX·((kF)(X)-(kF)(X1))+k|J|/2,J1++Jk=J,1|J1||Jk|cJ1Jk1kZ¯J1X1Z¯J-1X1Z¯J(X-X1)Z¯J+1XZ¯JkX·(kF)(X1), 4.30

where the sums are over all possible partitions of the multi index J into nonempty sub indices J1 to Jk.

Proof

First one differentiates to get a sum of terms of the form

Z¯I1XZ¯IkX·(kF)(X)-Z¯I1X1Z¯IkX1·(kF)(X1),

and then one makes a different decomposition depending on the size of k. Then one proceeds by organizing them in order so |I1| is smallest. If k<|J|/2, one writes

Z¯I1XZ¯IkX·(kF)(X)-Z¯I1X1Z¯IkX1·(kF)(X1)=Z¯I1XZ¯IkX·((kF)(X)-(kF)(X1))+(Z¯I1XZ¯IkX-Z¯I1X1Z¯IkX1)·(kF)(X1),

and replaces them one by one:

Z¯I1XZ¯IkX=Z¯I1XZ¯Ik(X-X1)+Z¯I1XZ¯IkX1=Z¯I1XZ¯Ik(X-X1)+Z¯I1XZ¯Ik-1(X-X1)Z¯IkX1+Z¯I1XZ¯Ik-1X1Z¯IkX1=....

This produces the first two sums with k<|J|/2. For k|J|/2 one simply does the same thing but with X1 and X interchanged.

Note that, for each term in the equality (4.30), |Ji||J|/2 if ik and therefore, in the applications of Lemma 4.11 below, the factors Z¯JiX can be estimated by the their L norms using induction by previous estimates. Given that X1 is known the expression (4.30) can be thought of as linear in the unknown X-X1. However when we prove L2 estimates for high derivatives we also have to take into account how ZJkX1 depends on high derivatives of Γ. Either k|J|/2 is small, in which case we can use L estimates for kF and k+1F, or k|J|/2 is large, and as a result |Ji||J|/2 are small for all i, and we can use L 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 tt0+1, |x|ct, (t,x,p^)supp(f) and suppose, for some t0st, that |Z¯KP^(s,t,x,p^)|C for |K||L|/2. Then

|Z¯L(Λ(P^(s,t,x,p^))-Λ(P^1(t,x)))||M||L||Z¯M(P^(s,t,x,p^)-P^1(t,x))|, 4.31
|Z¯L(Λ(P^1(t,x)))|1. 4.32

Proof

The bound (4.31) follows from Lemma 4.11 applied to Λ(P^), after noting that |Z¯I(P^1)|1 for any I, using the form of the vector fields Z¯ and the fact that P^1(t,x)=xt. The term (kΛ)(P^)-(kΛ)(P^1) is estimated by

(kΛ)(P^)-(kΛ)(P^1)P^-P^1,

since Λ is smooth. The bound (4.32) is even simpler.

Lemma 4.13

Suppose tt0+1, |x|ct, (t,x,p^)supp(f) and suppose, for some t0st, that |Z¯KX(s,t,x,p^)|Cs for |K||J|/2. Then

|Z¯J(Γ(X)-Γ(X1))||K||J|/2|(ZKΓ)(X)||M||J||Z¯M(X-X1)|s+|M||J||(ZMΓ)(X)-(ZMΓ)(X1)|+|K||J|/2|Z¯K(X-X1)|s|M||J||(ZMΓ)(X1)|,

and

|Z¯J(Γ(X1))||M||J||(ZMΓ)(X1)|,

at (s,t,x,p^).

Proof

The Lemma is again a straightforward application of Lemma 4.11, noting again that Z¯IX1s1 for any I since X1(s,t,x)=sxt. Note that

kΓ(t,x)=t-k|K|kAK(x/t)(ZKΓ)(t,x) 4.33

for some homogeneous functions A that are smooth when |x|/tc<1, and hence,

sk(kΓ)(X)-(kΓ)(X1)|K|k(ZKΓ)(X)-(ZKΓ)(X1)+|X-X1|s|K|k|(ZKΓ)(X1)|. 4.34

In the application we will estimate low derivatives of Γ with its L norm so that the result only depends on the differences of functions evaluated at X and X1 and functions evaluated at X1 but not at X.

Lemma 4.14

Suppose tt0+1, |x|ct, (t,x,p^)supp(f) and suppose, for some t0st, that |Z¯KX|Cs for |K||J|/2. Then, at (s,t,x,p^),

|Z¯J(Γ(X)-Γ(X1))||K||J|/2(ZKΓ)(s,·)L|M||J||Z¯M(X-X1)|s+|M||J||(ZMΓ)(X)-(ZMΓ)(X1)|+|K||J|/2|Z¯K(X-X1)|s|M||J||(ZMΓ)(X1)|,|Z¯J(Γ(X1))||M||J||(ZMΓ)(X1)|.

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 Λ(P^) interchanged with Λ(P^1) and Γ(X) with Γ(X1):

Z¯I(Γ^(X,P^)-Γ^(X1,P^1))=J+L=I,|J||I|/2,|L||I|/2Z¯J(Γ(X)-Γ(X1))·Z¯LΛ(P^)+Z¯JΓ(X1)·Z¯L(Λ(P^)-Λ(P^1))+J+L=I,|J|<|I|/2,|L|>|I|/2Z¯J(Γ(X)-Γ(X1))·Z¯LΛ(P^1)+Z¯JΓ(X)·Z¯L(Λ(P^)-Λ(P^1)).

Using this decomposition and the previous lemmas we obtain

Proposition 4.15

Suppose tt0+1, |x|ct, (t,x,p^)supp(f) and suppose, for some t0st, that |Z¯KX|/s+|Z¯KP^|C for |K||I|/2. Then, at (s,t,x,p^),

|Z¯I(Γ^(X,P^)-Γ^(X1,P^1))||K||I|/2(ZKΓ)(s,·)L|J||I|(|Z¯J(X-X1)|s+|Z¯J(P^-P^1)|)+|J||I|(|(ZJΓ)(X)-(ZJΓ)(X1)|+|K||I|/2(|Z¯K(X-X1)|s+|Z¯K(P^-P^1)|)|(ZJΓ)(X1)|),

and

|Z¯J(Γ^(X1,P1))||M||J||(ZMΓ)(X1)|.

Proof

The above decomposition and Lemma 4.12 give

|Z¯I(Γ(X)·Λ(P^)-Γ(X1)·Λ(P^1))||J||I||Z¯J(Γ(X)-Γ(X1))|+|Z¯J(Γ(X1))||L||J|/2|Z¯L(P^-P^1)|+|J||I|/2|Z¯J(Γ(X))||L||I||Z¯L(P^-P^1)|.

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 tt0+1, |x|ct, (t,x,p^)supp(f) and suppose, for some t0st, that |Z¯KX|/s+|Z¯KP^|C, for |K||I|/2. Then, at (s,t,x,p^),

|Z¯I(Γ^(X,P^)-Γ^(X1,P^1))||K||I|+1(ZKΓ)(s,·)L|J||I|(|Z¯J(X-X1)|s+|Z¯J(P^-P^1)|),|Z¯I(Γ^(X1,P^1))||K||I|(ZKΓ)(s,·)L.

Proof

The proof follows from Proposition 4.15 if we note that in the support of X and X1,

|(ZJΓ)(X)-(ZJΓ)(X1)|(ZJΓ)(s,·)L|X-X1||K|=|J|+1(ZKΓ)(s,·)L|X-X1|/s. 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 Z¯IX¯ and Z¯IP¯ at time t. Note that, for i,j=1,2,3, (xiX(s,t,x,p^)j)|s=t=xi(X(t,t,x,p^)) (similarly for p^i in place of xi and for X2,P^,P^2 respectively in place of X) and so, if Z¯ is a vector which does not involve t derivatives, these final conditions vanish. Some of our vector fields, however, also involve t derivatives. Therefore we need to estimate higher dds derivatives of the system, which can be recast as spacetime derivatives. Recall that X^(s)=(s,X(s)). We have

dX^ds=P^,dP^ds=Γ(X^)·Λ(P^). 4.36

The structure of higher order dds derivatives is very simple. Either the derivative falls on Λ(P^), in which case we can substitute the second equation for dP^/ds and get another factor of Γ(X^), or the derivative falls Γ(X^), which produces a derivative Γ. Hence we get the system

dX^(k)ds=P^(k),dP^(k)ds=Γ^(k)(X^,P^),whereX^(k)=dkX^dsk,P^(k)=dkP^dsk, 4.37

where

Γ^(k)(X^,P^)=Γ(k)(X^)·Λ(k)(P^):=k1++km+m=k+1,0k1kmk(k1Γ)(X^)(kmΓ)(X^)·Λk1,,km(P^). 4.38

Here kΓ, denote the R4k tensor with components sum of j1jkΓ over all components 0ji3 for i=1,,k and Λk1,,km(P^) are polynomials in P^ with values in R4k1+4km. Here the first dot product is schematic notation to be interpreted as dot products of elements Γ(k) and Λ(k) in some larger dimensional space whose components corresponds to the terms in the sum. We now also want to take dds derivatives of

dX^2ds=P^2,dP^2ds=Γ(X^1)·Λ(P^1),anddX^1ds=P^1,dP^1ds=0. 4.39

Then

dX¯(k)ds=P¯(k),dP¯(k)ds=Γ^(k)(X^,P^)-Γ^(k)(X^1,P^1)+Γ^(k,2)(X^1,P^1),ifX¯(k)=dkX¯dsk,P¯(k)=dkP¯dsk, 4.40

where

Γ^(k,2)(X^,P^)=Γ(k,2)(X^)·Λ(k)(P^)=k1+·+km+m=k+1,0k1kmk,m2(k1Γ)(X^)(kmΓ)(X^)·Λk1,,km(P^). 4.41

Here Γ(k) satisfies the same estimates as kΓ whereas Γ(k,2) is at least quadratic in Γ (note m2 in the summation) and hence satisfies the same estimates as k-1Γ multiplied with Γ, which decays s-a faster than another derivative. We have

Lemma 4.17

Suppose that t|ZIΓ(t,x)|1 for |I|(|L|+k)/2. Then

tk|ZLΓ(k)(t,x)||I||L|+k|ZIΓ(t,x)|, 4.42
tk|ZLΓ(k,2)(t,x)||I|(|L|+k)/2t|ZIΓ(t,x)||I||L|+k|ZIΓ(t,x)|. 4.43

Moreover,

sk|(ZLΓ(k))(X)-(ZLΓ(k))(X1)||J||L|+k|(ZJΓ)(X)-(ZJΓ)(X1)|+|X-X1|s|(ZJΓ)(X1)|. 4.44

Proof

The proof of (4.44) follows from using (4.33)–(4.34). We first note that the components of ZJkΓ are linear combinations of the components of kZKΓ, for |K||J|, since the commutator [Z,α] is either 0 or β for some β. Therefore it remains to estimate the difference Fk1kmJ1Jm(X^)-Fk1kmJ1Jm(X^1), where

Fk1kmJ1Jm(t,x)=(k1ZJ1Γ)(t,x)(kmZJmΓ)(t,x),fork1++km+m=k+1,|J1|++|Jm||L|.

Using (4.33) we can write this as a linear combination of

GI1Im(t,x)=t-k-1+mAI1Im(x/t)(ZI1Γ)(t,x)(ZImΓ)(t,x),|I1|++|Im||L|+k+1-m.

The difference GI1Im(X^)-GI1Im(X^1) 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 Γ^(k) respectively Γ^(k,2) in place of Γ^. First we obtain the analogue of Proposition 4.15 as follows:

Proposition 4.18

Suppose that for some k0 and s, such that t0st, we have that |Z¯KX|/s+|Z¯KP^|C, for |K||L|/2, and s|ZIΓ(s,x)|1, for |I|(|L|+k)/2. Then

sk|Z¯L(Γ^(k)(X,P^)-Γ^(k)(X1,P^1))||K|(|L|+k)/2+1(ZKΓ)(s,·)L|J||L|(|Z¯J(X-X1)|s+|Z¯J(P^-P^1)|)+|J||L|+k(|(ZJΓ)(X)-(ZJΓ)(X1)|+|K||L|/2(|Z¯K(X-X1)|s+|Z¯K(P^-P^1)|)|(ZJΓ)(X1)|),

and

sk|Z¯L(Γ^(k,2)(X1,P1))||K|(|L|+k)/2s(ZKΓ)(s,·)L2+|K|(|L|+k)/2s(ZKΓ)(s,·)L|M||L|+k|(ZMΓ)(X1)|.

Proof

By Proposition 4.15 applied to Γ^(k) in place of Γ^,

sk|Z¯L(Γ^(k)(X,P^)-Γ^(k)(X1,P^1))||K||L|/2sk(ZKΓ(k))(s,·)L|J||L|(|Z¯J(X-X1)|s+|Z¯J(P^-P^1)|)+sk|J||L|(|(ZJΓ(k))(X)-(ZJΓ(k))(X1)|+|K||L|/2(|Z¯K(X-X1)|s+|Z¯K(P^-P^1)|)|(ZJΓ(k))(X1)|),

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 k0 and s, such that t0st, we have that |Z¯KX|/s+|Z¯KP^|C, for |K||L|/2, |Z¯MX1|/s+|Z¯MP^1|C, for |M||L|, and s|(ZIΓ)(s,x)|1, for |I|(|L|+k)/2. Then

sk|Z¯L(Γ^(k)(X,P^)-Γ^(k)(X1,P^1))||K||L|+k+1(ZKΓ)(s,·)L|J||L|(|Z¯J(X-X1)|s+|Z¯J(P^-P^1)|),sk|Z¯L(Γ^(k,2)(X1,P^1))||K||L|+ks(ZKΓ)(s,·)L2.

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 Y(s,t,x,p^),

Z¯Y(t,t,x,p^)=Z¯(t)dYds(t,t,x,p^)+(Z¯Y)(t,t,x,p^),where(Z¯Y)(t,t,x,p^)=Z¯Y(s,t,x,p^)|s=t. 4.45

Repeated application (4.45) inductively implies that

(Z¯IY)(t,t,x,p^)=Z¯IY(t,t,x,p^)+J1++Jk+1+J=I,|Ji|1,k0CI,J1,,Jk+1,JZ¯J1(t)Z¯Jk+1(t)(Z¯JY(k+1))(t,t,x,p^), 4.46

where Y(k)=dkY/dsk and Z¯Ji(t)=ZJi(t) are constants times t or xj, for some j. Applying (4.46) to Y=X¯ and Y=P¯ noting that X¯(t,t,x,p^)=P¯(t,t,x,p^)=0 gives

(Z¯IP¯)(t,t,x,p^)=J1++Jk+1+L=I,|Ji|1,k0CI,J1,,Jk+1,LZ¯J1(t)Z¯Jk+1(t)(Z¯LP¯(k+1))(t,t,x,p^), 4.47
(Z¯IX¯)(t,t,x,p^)=J1++Jk+2+L=I,|Ji|1,k0CI,J1,,Jk+2,LZ¯J1(t)Z¯Jk+2(t)(Z¯LP¯(k+1))(t,t,x,p^), 4.48

where for the proof of (4.48) we used that X¯(k+1)=P¯(k) and for k=0 we also used (4.47). Hence

|(Z¯IP¯)(t,t,x,p^)||L|+k|I|-1,k0tk+1|(Z¯LP¯(k+1))(t,t,x,p^)|,|(Z¯IX¯)(t,t,x,p^)||L|+k|I|-2,k0tk+2|(Z¯LP¯(k+1))(t,t,x,p^)|,

and, by (4.40), we have

Lemma 4.20

With Γ^(k) and Γ^(k,2) as in (4.38) and (4.41) we have

|Z¯IP¯||L|+k|I|-1,k0tk+1|Z¯L(Γ^(k)(X^,P^)-Γ^(k)(X^1,P^1))|+tk+1|Z¯L(Γ^(k,2)(X^1,P^1))|,ats=t,|Z¯IX¯||L|+k|I|-2,k0tk+2|Z¯L(Γ^(k)(X^,P^)-Γ^(k)(X^1,P^1))|+tk+2|Z¯L(Γ^(k,2)(X^1,P^1))|,ats=t,

where everything is evaluated at (s,t,x,p^) where s=t.

We can now apply the estimates from the previous section.

Proposition 4.21

Suppose that tt0+1, |x|ct, (t,x,p^)supp(f) and the bounds (4.1) hold. Then, for |I|N/2+2,

|Z¯I(P¯i(s,t,x,p^))|s=t|+t-1|Z¯I(X¯i(s,t,x,p^))|s=t|εt-2a.

Proof

We will use induction to prove this. Assuming that we have that |I|<mN/2+1, the assumptions of Corollary 4.19 hold at s=t, and writing X-X1=X¯+X2-X1 and P^-P^1=P¯+P^2-P^1 and using the estimates (4.26) and (4.28) for X2-X1 and P^2-P^1, respectively, we get, for |L|+km-1,

tk+1|Z¯L(Γ^(k)(X,P^)-Γ^(k)(X1,P^1))|εta|J||L|(|Z¯J(X-X1)|t+|Z¯J(P^-P^1)|)εt2a+εta|J||L|(|Z¯JX¯|s+|Z¯JP¯|)tk+1|Z¯L(Γ^(k,2)(X1,P^1))|εt2a.

Assuming that the proposition is true for |I|<m it now follows from this and previous lemma that it is also true for |I|=m.

Proposition 4.22

Suppose tt0+1, |x|ct, (t,x,p^)supp(f) and the bounds (4.1) hold. Then, for |I|N,

Z¯JP¯i(s,t,x,p^)|s=tεt2a+1ta|J||I|-1(t(ZJΓ)(t,x)+t0ts-t0t-t0(ZJΓ)s,sxtds),Z¯IX¯i(s,t,x,p^)|s=tεt1-2a+t1-a|J||I|-1(t(ZJΓ)(t,x)+t0ts-t0t-t0(ZJΓ)s,sxtds).

Proof

We will use induction to prove this. Assuming that the proposition is true for |I|<mN, the assumptions of Proposition 4.18 hold at s=t and so, for |L|+km-1,

tk+1|Z¯L(Γ^(k)(X,P^)-Γ^(k)(X1,P^1))|1ta|J||L|(ε|Z¯J(X-X1)|t+ε|Z¯J(P^-P^1)|+εta+|J||L|+kt|(ZJΓ)(X1)|)

and

tk+1|Z¯L(Γ^(k,2)(X1,P1))|εt2a+1ta|M||L|+kt|(ZMΓ)(X1)|,

since |Z¯IX1|t+|Z¯IP^1|C for any multi index I, using the form of the vector fields Z¯. Hence, writing X-X1=X¯+X2-X1 and P^-P^1=P¯+P^2-P^1, we get

tk+1|Z¯L(Γ^(k)(X,P^)-Γ^(k)(X1,P^1))|+tk+1|Z¯L(Γ^(k,2)(X1,P1))|εta|J||L|(|Z¯JX¯|t+|Z¯JP¯|)+1ta|J||L|(ε|Z¯J(X2-X1)|t+ε|Z¯J(P^2-P^1)|+εta+|J||L|+kt|(ZJΓ)(X1)|).

Using induction for the first sum and the estimates (4.25) and (4.27) for X2-X1 and P^2-P^1, respectively, the proposition follows.

L Estimates for Lower Order Derivatives of Geodesics

The estimates in the previous sections easily lead to pointwise bounds for lower order derivatives of X¯(s,t,x,p) and P¯(s,t,x,p).

Proposition 4.23

Suppose tt0+1, |x|ct, (t,x,p^)supp(f) and the bounds (4.1) hold. Then, for i=1,2,3,

s2a-1Z¯IX¯(s,t,x,p)i+s2aZ¯IP¯(s,t,x,p)iCε

for all t0st, for |I|=0,1,,N2+1.

Proof

The proof proceeds by induction. Clearly the result is true when |I|=0 by Proposition 2.3. Assume the result is true for all |I|k, for some kN2. 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),

|ddsZ¯IP¯i(s)|=Z¯IΓ^is,X(s),P^(s)-Γ^is,sxt,xtεs1+a|J||I|(|Z¯J(X-X1)|s+|Z¯J(P^-P^1)|),

where we recall X1(s,t,x)=sxt and P^1(t,x)=xt. Writing X-X1=X¯+X2-X1 and P^-P^1=P¯+P^2-P^1 and using the estimates (4.26) and (4.28) for X2-X1 and P^2-P^1, respectively, gives

|ddsZ¯IP¯i(s)|εs1+2a+εs1+a|J||I|(|Z¯J(X¯(s))|s+|Z¯J(P¯(s))|).

Integrating backwards from s=t and using Proposition 4.21,

Z¯IP¯i(s)εs2a+ε|J||I|st(|Z¯J(X¯(s~))|s~2+a+|Z¯J(P¯(s~))|s~1+a)ds~,

and so, after summing over i=1,2,3 and I, the Grönwall inequality and Lemma 4.25, give that

Z¯IP¯(s)εs2a+ε|J||I|st|Z¯J(X¯(s~))|s~2+ads~.

The equation (2.14) and Proposition 4.21 then give, after integrating backwards from s=t again,

Z¯IX¯i(s)εs1-2a+ε|J||I|st|Z¯J(X¯(s~))|s~1+ads~,

where the fact that, for any function λ(s),

ststλ(s~)ds~ds=ststχ{ss~}dsλ(s~)ds~=st(s~-s)λ(s~)ds~,

has been used (here χ{ss~} is the indicator function of the interval [s,s~]). Another application of the Grönwall inequality, after summing over i=1,2,3 and I, completes the proof.

Corollary 4.10 and Proposition 4.23 immediately yield the following sharp pointwise bounds:

Proposition 4.24

Suppose tt0+1, |x|ct, (t,x,p^)supp(f) and the bounds (4.1) hold. Then, for i=1,2,3,

s-1|Z¯I(X(s,t,x,p)i)|+|Z¯I(P^(s,t,x,p)i)|C

for all t0st, for |I|=0,1,2,,N2+1.

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 v,a,b:[t0,t]R, if

v(s)sta(s)v(s)ds+b(s)

for s[t0,t], then

v(s)b(s)+sta(s)b(s)essa(s)dsds.

Higher Order Estimates for Derivatives of Geodesics

The main result of this section is

Proposition 4.26

Suppose that tt0+1, |x|ct, (t,x,p^)supp(f) and the bounds (4.1) hold. Then, for i=1,2,3,

Z¯IX¯(s,t,x,p^)iεs1-2a+t2-a|J||I|-1(ZJΓ)(t,x)+|J||I|t0t(s)1-a(ZJΓ)s,sxtds+|J||I|sts(ZJΓ)s,sxt-(ZJΓ)s,X(s)ds 4.49

and

Z¯IP¯(s,t,x,p^)iεs-2a+tsa|J||I|-1(ZJΓ)(t,x)+|J||I|t0t(s)-a(ZJΓ)s,sxtds+|J||I|st(ZJΓ)(s,sxt)-(ZJΓ)s,X(s)ds 4.50

for all t0st, |I|N.

Proof

Let I be a multi index with |I|N. Using the equation (2.15) and Proposition 4.15,

|dZ¯I(P¯i(s))ds||K||I|2+1(ZKΓ)(s,·)L|J||I|(|Z¯J(X-X1)|s+|Z¯J(P^-P^1)|)+|J||I|(ZJΓ)(s,sxt)|K||I|2+1(|Z¯K(X-X1)|s+|Z¯K(P^-P^1)|)+|J||I||(ZJΓ)(s,sxt)-(ZJΓ)s,X(s)|.

Writing

X(s)-X1(s)s=X¯(s)s+X2(s)s-xt,P^(s)-P^1(s)=P¯(s)+P^2(s)-xt,

and using Corollary 4.10, Proposition 4.23 and the pointwise bounds (4.1) for Γ gives

|dZ¯I(P¯i(s))ds|ε|J||I|(|Z¯JX¯(s)|s2+a+|Z¯JP¯(s)|s1+a)+F|I|(s,t,x,p^),

where

F|I|(s,t,x,p^)=εs1+2a+ts1+a|J||I|-1(ZJΓ)(t,x)+1sa|J||I|(ZJΓ)s,sxt+1s1+a|J||I|t0t(ZJΓ)s,sxtss+sds+|J||I|(ZJΓ)s,sxt-(ZJΓ)s,X(s).

Integrating backwards from s=t gives

Z¯I(P¯i(s))Z¯I(P¯i(s))|s=t+stε|J||I|(|Z¯JX¯(s~)|s~2+a+|Z¯JP¯(s~)|s~1+a)+F|I|(s~,t,x,p^)ds~.

Summing over i=1,2,3 and I, the Grönwall inequality, Lemma 4.25, gives

Z¯I(P¯i(s))Z¯I(P¯i(s))|s=t+stε|J||I||Z¯JX¯(s~)|s~2+a+F|I|(s~,t,x,p^)ds~.

Integrating backwards from s=t again, the equation (2.14) implies

Z¯I(X¯i(s))Z¯I(X¯i(s))|s=t+(t-s)Z¯I(P¯i(s))|s=t+stε|J||I||Z¯JX¯(s~)|s~1+a+s~F|I|(s~,t,x,p^)ds~,

where the fact that, for any function λ(s),

sts~tλ(s)dsds~=ststχ{s~s}ds~λ(s)ds=st(s-s)λ(s)ds,

has been used. Another application of the Grönwall inequality 4.25 gives

Z¯I(X¯i(s))Z¯I(X¯i(s))|s=t+(t-s)Z¯I(P¯i(s))|s=t+sts~F|I|(s~,t,x,p^)ds~.

The bound (4.49) follows from Proposition 4.22, along with the fact that

st1s~at0t(ZJΓ)s,sxtss+s~dsds~st1s~as~t(ZJΓ)s,sxtds+1s~1+at0s~s(ZJΓ)s,sxtdsds~,

and, for any nonnegative function λ(s),

st1s~1+at0s~sλ(s)dsds~t0tt0t1s~1+aχ{ss~}ds~sλ(s)dst0t(s)1-aλ(s)ds,

and

st1s~as~tλ(s)dsds~stst1s~aχ{s~s}ds~λ(s)dsst(s)1-aλ(s)ds.

The bound (4.50) follows similarly.

Corollary 4.27

Suppose tt0+1, |x|ct, (t,x,p^)supp(f) and the bounds (4.1) hold. Then, for i=1,2,3,

Z¯IX(t0,t,x,p^)i+Z¯IP(t0,t,x,p^)iC(1+|J||I|-1t2-a|(ZJΓ)(t,x)|+|J||I|t0t(s)1-a(ZJΓ)s,sxt+s(ZJΓ)s,sxt-(ZJΓ)s,X(s)ds).

Proof

The corollary is an immediate consequence of Propositions 4.9 and 4.26.

Spacetime Derivatives and Small Time

Since the vector fields Z¯ become singular at time t=t0, in this section the spacetime t and xi derivatives of X(s,t,x,p^) and P^(s,t,x,p^) are estimated for t0tt0+1. 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 X2, P^2 from X and P^ respectively. Note that always denotes the spacetime gradient =(t,x1,x2,x3). When applied to functions on P the derivatives are, as usual, taken with respect to the (t,x,p^) 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 |KX|+|KP^|C for all |K||I|2. Then,

IΓ^s,X(s),P^(s)|K||I|2+1KΓ(s,·)L|J||I||JX(s)|+|JP^(s)|+|J||I|JΓ(s,X(s)).

Proof

Recall that Γ^(X,P^)=Γ(X)·Λ(P^) (the s dependence is omitted for brevity). There exist constants cJ1JkIK, c~J1JkIK such that

I(Γ(X))=k=1|I||J1|++|Jk||I||Ik|=kcJ1JkIKJ1XJkX·(IkΓ)(X),

and

I(Λ(P^))=k=1|I||J1|++|Jk||I||Ik|=kc~J1JkIKJ1P^JkP^·(IkΛ)(P^),

and so, by the assumed lower order bounds for X and P^,

I(Γ(X))|K||I|2+1KΓ(s,·)L|J||I||JX(s)|+|J||I|JΓ(s,X(s)),I(Λ(P^))|J||I||JP^(s)|,

from which the result follows.

In order to use the system (1.17) to estimate IX(s,t,x,p^) and IP^(s,t,x,p^), it is also necessary to estimate the final conditions (note that this is completely straightforward unless I contains t derivatives).

Proposition 4.29

Let I be a multi index with |I|1 and suppose |JΓ(t,x)|C for all |J||I|2+1. Then

(IP^)(t,t,x,p^)|J||I|-1(JΓ)(t,x),(IX)(t,t,x,p^)1+|J||I|-1(JΓ)(t,x).

Proof

Recall the notation P^(k) and Γ^(k) from Section 4.6. By the formula (4.46) it follows that

(IP^)(t,t,x,p^)=J1++Jk+1+L=I|Ji|1,k0CIJ1Jk+1,LJ1tJk+1t(LP^(k+1))(t,t,x,p^),(IX)(t,t,x,p^)=Ix+J1++Jk+2+L=I|Ji|1,k0CIJ1Jk+2,LJ1tJk+2t(LP^(k+2))(t,t,x,p^)

for some constants CIJ1Jk+1,L,CIJ1Jk+2,L, where the proof of the second uses the first and the fact that dX(k)ds=P^(k). Hence,

(IP^)(t,t,x,p^)|L|+k|I|-1,k0|(LP^(k+1))(t,t,x,p^)|,(IX)(t,t,x,p^)1+|L|+k|I|-2,k0|(LP^(k+1))(t,t,x,p^)|.

The proof follows by noting that

|(LP^(k+1))(t,t,x,p^)|=|L(Γ^(k)(s,X(s),P^(s)))|s=t||I||L|+k(IΓ)(t,x),

by an appropriate version of Lemma 4.17.

Proposition 4.30

Suppose t0tt0+1, and |JΓ(t,x)|C for all t0tt and |x|ct and |J|N2+2. Then, for |I|N2+2,

IX(s,t,x,p^)+IP^(s,t,x,p^)C

for all t0st.

Proof

Proposition 4.28 and the equation (1.17) imply

|dIP^ids(s)|1+|J||I|JX(s)+JP^(s).

Integrating backwards from s=t, by Proposition 4.29,

IP^i(s)1+|J||I|stJX(s)+JP^(s)ds.

Summing over I, the Grönwall inequality, Lemma 4.25, gives

IP^i(s)1+|J||I|stJX(s)ds.

The result follows by integrating from s=t again and repeating.

Proposition 4.31

Suppose t0tt0+1 and |JΓ(t,x)|C for all t0tt and |x|ct and |J|N2+2. Then, for |I|N,

IX(s,t,x,p^)+IP^(s,t,x,p^)1+|J||I|-1JΓ(t,x)+|J||I|stJΓ(s,X(s))ds

for all t0st.

Proof

Proposition 4.28, the equation (1.17) and Proposition 4.30 now imply

|dIP^ids(s)|1+|J||I|JX(s)+JP^(s)+JΓ(s,X(s)),

and so Proposition 4.29 implies

IP^(s)1+|J||I|-1JΓ(t,x)+|J||I|stJX(s)+JP^(s)+JΓ(s,X(s))ds.

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 tt0+1, the bounds (4.1) hold, and πsupp(f){|x|ct}, where π:PM 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

Tμν(t,x)=f(t,x,p^)pμpν-detgp0dp1dp2dp3.

The main result of this section is Proposition 5.4, which uses the bounds on Z¯IX and Z¯IP^ of Corollary 4.27 to give bounds on ZITμν. In order to prove the bounds for ZITμν, it is convenient to first rewrite the above integral in terms of the p^i variables.

Proposition 5.1

There exists a non-zero function Λ, smooth provided |p^i|c<1 for i=1,2,3, such that

detpip^j(t,x,p^)=Λ(p^,h(t,x)).

Proof

Define p^0=1 and note that, since,

gαβpαpβ=-1,

it follows that

2gαβpαpβpj=0,

and hence,

p0pj=-gαjpαgβ0pβ=-gαjp^αgβ0p^β.

Now, since p^i=pip0,

p^ipj=1p0δji-p^ip0pj=1p0(δji+p^igαjp^αgβ0p^β).

The proof follows by writing gαβ=mαβ+hαβ, noting that

gαβpαpβ=-1gαβp^αp^β=-1(p0)2p0=-1gαβp^αp^β,

and using the fact that det(A-1)=(detA)-1 for any matrix A.

In Minkowski space, that is when h=0, it is straightforward to compute

detpip^Mj=(pM0)5=1+(p1)2+(p2)2+(p3)252,

where p^Mj=pjpM0, and pM0 is defined by the relation mαβpαpβ=-1. It then follows that

|detpip^j-1+(p1)2+(p2)2+(p3)252|=|detpip^j-detpip^Mj|=Λ(p^,h(t,x))-Λ(p^,0)sup|Λ||h(t,x)|Cε,

since |p^i|c<1, and hence the change of variables (t,x,p)(t,x,p^) is well defined if ε is sufficiently small. Moreover, recalling that

p0=-1gαβp^αp^β,

it follows that, for each μ,ν=0,1,2,3,

pμpν-detgp0detpip^j(t,x,p^)=Λμν(p^,h(t,x))

for some functions Λμν, smooth when |p^|c<1, and so

Tμν(t,x)=f(t,x,p^)Λμν(p^,h(t,x))dp^1dp^2dp^3. 5.1

For each vector field Z¯, recall the corresponding functions Z˚k(t,x,p^) defined in Section 4.1. Note that, for each Z¯, the Z˚k have the form

Z˚k(t,x,p^)=Z˚1,lk(t,x)p^l+Z˚2k(t,x)

for some functions Z˚1,lk(t,x),Z˚2k(t,x). Explicitly,

Ω˚ij,1,lk0,Ω˚ij,2k(t,x)=Θi(t,x)δjk-Θj(t,x)δik-ΩijΘk(t,x),B˚i,1,lk(t,x)=-Θi(t,x)δlkB˚i,2k(t,x)=-BiΘk(t,x)-xit-t0Θk(t,x),

and

S˚1,lk0,S˚2k(t,x)=Θk(t,x)-SΘk(t,x)-tt-t0Θk(t,x).

This notation will be used below.

Proposition 5.2

For μ,ν=0,1,2,3 and any multi index I, there exist smooth functions ΛIjμν, ΛJj,ljμν, ΛJ1αjβj,μν, Λ~Ljμν such that

ZITμν(t,x)=|I1|+|I2||I|Z¯I1f(t,x,p^)ΛI1μν(p^,h)×k=0|I2||J1|++|Jk||I2|,|Ji|1|L1|++|Lk||I2|-1,|Li|1Z¯J1(p^l1)ΛJ1,l1μν(p^,h)+Z¯J1(hα1β1)ΛJ1α1β1,μν(p^,h)+Z¯L1(Z˚1,mm)Λ~L1μν(p^,h)××Z¯Jk(p^lk)ΛJk,lkμν(p^,h)+Z¯Jk(hαkβk)ΛJkαkβk,μν(p^,h)+Z¯Lk(Z˚1,mm)Λ~Lkμν(p^,h)dp^,

where ZI is a product of |I| of the vector fields Ωij,Bi,S.

Proof

Recall that the components of the energy momentum tensor take the form (5.1). Note that

Z¯Λμν(p^,h(t,x))=Z¯(p^l)(p^lΛμν)(p^,h(t,x))+αβ(Zhαβ)(t,x)(hαβΛμν)(p^,h(t,x)),

and, for Z=Ωij,Bi,S,

Z(η(t,x,p^)dp^)=Z¯-Z˚kp^kη(t,x,p^)dp^=Z¯η(t,x,p^)+(p^kZ˚k)(t,x)η(t,x,p^)dp^,

for any function η(t,x,p^) and

(p^kZ˚k)(t,x)=Z˚1,kk(t,x).

Therefore, for |I|=1 and Z=Ωij,Bi,S,

ZTμν(t,x)=Z¯f(t,x,p^)+Z˚1,mm(t,x)f(t,x,p^)Λμν(p^,h(t,x))+f(t,x,p^)Z¯(p^l)(p^lΛμν)(p^,h(t,x))+(Zhαβ)(t,x)(hαβΛμν)(p^,h(t,x))dp^,

and the proof follows from the fact that p^lΛμν and hαβΛμν are smooth functions of p^ and h. The proof for |I|1 follows from a straightforward induction argument.

Proposition 5.3

For any multi index I, there exist constants CI,k,J,L such that

Z¯If(t,x,p^)=k+m=1|I||J1|++|Jk|+|L1|++|Lm||I|,|Ji|1,|Li|1Z¯J1(X(t0)i1)Z¯Jk(X(t0)ik)Z¯L1(P^(t0)l1)Z¯Lm(P^(t0)lm)×CI,k,J,Lxi1xikp^l1p^lmf(t0,X(t0),P^(t0)).

Proof

Using the Vlasov equation to write

f(t,x,p^)=f(t0,X(t0),P^(t0)),

it follows that

Z¯f(t,x,p^)=Z¯X(t0)i(xif)(t0,X(t0),P^(t0))+Z¯X(t0)l(p^lf)(t0,X(t0),P^(t0)).

The proof for |I|2 follows from a straightforward induction argument.

Proposition 5.4

Suppose tt0+1, |x|ct, and the bounds (4.1) hold. Then, for each μ,ν=0,1,2,3 and any multi index I with |I|N and ZI equal to a product of |I| of the vector fields Ωij,Bi,S,

ZITμν(t,x)Cn1+n2|I|(xn1p^n2f)(t0,X(t0),P^(t0))dp^+Cn1+n2|I|2+1(xn1p^n2f)(t0,X(t0),P^(t0))××(|J||I|-1t2-a|(ZJΓ)(t,x)|+|J||I|t0ts1-a(ZJΓ)s,sxt+s(ZJΓ)s,sxt-(ZJΓ)s,X(s)ds)dp^.

Proof

Recall the schematic expression for ZITμν of Proposition 5.2. Consider multi indices I1, I2 such that |I1|+|I2||I|, and suppose first that |I1||I|2+1. It must then be the case that |I2||I|2+1N2+1. If 1|Ji||I2|, then clearly

|Z¯Jihαiβi(t,x)|C,

and Proposition 4.9 implies that

|Z¯Ji(p^i)|C.

If 1|Li||I2|-1, then, since

B˚i,1,kk(t,x)=-3Θi(t,x),Ω˚ij,1,kk(t,x)=0,S˚1,kk=0,

Proposition 4.8 implies

Z¯LiZ˚1,kkC

for each Z˚1,kk. Let now k,m,J1,,Jk,L1,,Lm be such that 1k+m|I1|, |J1|++|Jk|+|L1|++|Lm||I1|, |Ji|1, |Li|1. If k+m|I1|2+2 then it must be the case that |Ji||I1|2+1|N|2+1 for i=1,,k, and |Li||I1|2+1|N|2+1 for i=1,,m. Proposition 4.24 then implies

|Z¯J1X(t0)i1Z¯JkX(t0)ikZ¯L1(P^(t0)l1)Z¯Lm(P^(t0)lm)×xi1xikp^l1p^lmf(t0,X(t0),P^(t0))|Cn1+n2|I1|xn1p^n2f(t0,X(t0),P^(t0)).

Similarly, if k+m|I1|2+1, there can be at most one i such that either |Ji||I1|2+2 or |Li||I1|2+2, so Proposition 4.24 and Corollary 4.27 imply

|Z¯J1X(t0)i1Z¯JkX(t0)ikZ¯L1(P^(t0)l1)Z¯Lm(P^(t0)lm)×xi1xikp^l1p^lmf(t0,X(t0),P^(t0))|Cn1+n2|I1|xn1p^n2f(t0,X(t0),P^(t0))(1+|J||I|-1t2-a|(ZJΓ)(t,x)|+|J||I|t0t(s)1-a(ZJΓ)s,sxt+s(ZJΓ)s,sxt-(ZJΓ)s,X(s)ds).

It is then clear that

|Z¯I1f(t,x,p^)×k=0|I2||J1|++|Jk||I2|,|Ji|1|L1|++|Lk||I2|-1,|Li|1Z¯J1(p^l1)+Z¯J1(hα1β1)Λl1,α1β1(p^,h)+Z¯L1(Z˚1,mm)Λl1(p^,h)××Z¯Jk(p^lk)+Z¯Jk(hαkβk)Λlk,αkβk(p^,h)+Z¯Lk(Z˚1,mm)Λlk(p^,h)Λ(p^,h)dp^|Cn1+n2|I|(xn1p^n2f)(t0,X(t0),P^(t0))dp^+Cn1+n2|I|2+1(xn1p^n2f)(t0,X(t0),P^(t0))××(|J||I|-1t2-a|(ZJΓ)(t,x)|+|J||I|t0ts1-a(ZJΓ)s,sxt+s(ZJΓ)s,sxt-(ZJΓ)s,X(s)ds)dp^.

Suppose now that |I2||I|2+1. It must then be the case that |I1||I|2+1|N|2+1. Proposition 5.3 then implies that

Z¯I1f(t,x,p^)Cn1+n2|I|2+1(xn1p^n2f)(t0,X(t0),P^(t0)).

If |Ji||I2| and |Li||I2|-1, then Propositions 4.8 and 4.9 imply

ZJi(p^k)+ZJi(hαkβk)+ZJi(Z˚1,kk)C(1+|J||I2|-1tZJΓ(t,x)+|J||I2|t0tZJΓs,sxtds).

Hence,

|Z¯I1f(t,x,p^)×k=0|I2||J1|++|Jk||I2|,|Ji|1|L1|++|Lk||I2|-1,|Li|1Z¯J1(p^l1)+Z¯J1(hα1β1)Λl1,α1β1(p^,h)+Z¯L1(Z˚1,mm)Λl1(p^,h)××Z¯Jk(p^lk)+Z¯Jk(hαkβk)Λlk,αkβk(p^,h)+Z¯Lk(Z˚1,mm)Λlk(p^,h)Λ(p^,h)dp^|Cn1+n2|I|2+1(xn1p^n2f)(t0,X(t0),P^(t0))(1+|J||I2|-1tZJΓ(t,x)+|J||I2|t0tZJΓs,sxtds)dp^.

The proof then follows from Proposition 5.2.

Determinants and Changes of Variables

In the proof of Theorem 1.3, the change of variables (t,x,p^)(t,x,y) will be used, where

yi(t,x,p^)=X(t0,t,x,p^)i

for i=1,2,3, 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 tt0, |x|ct, and (t,x,p^)supp(f). Then, if the assumption (4.1) holds and ε is sufficiently small,

Xip^j(s,t,x,p^)+(t-s)δjiεtsa,P^ip^j(s,t,x,p^)-δjiεts1+a, 5.2

and

Xixj(s,t,x,p^)-δjiεsa,P^ixj(s,t,x,p^)εs1+a 5.3

for all t0st, and i,j=1,2,3.

Proof

From the equations (1.17) and the estimates

s1+aΓβγα(s,X(s))+s2+akΓβγα(s,X(s))ε,

it follows that

ddsXip^jP^ip^j,ddsP^ip^j(s)εk,l=131s2+aXkp^l(s)+1s1+aP^kp^l(s).

Integrating the second inequality backwards from s=t and using the fact that P^kp^l(t,t,x,p^)=δji gives

P^ip^j(s,t,x,p^)-δjiεk,l=13st1s~2+aXkp^l(s~)+1s~1+aP^kp^l(s~)ds~εsa+εk,l=13st1s~2+aXkp^l(s~)+1s~1+aP^kp^l(s~)-δlkds~.

Dividing by s1+a, integrating again backwards from s=t, and summing over ij gives

k,l=13st1(s)1+aP^kp^l(s)-δlkdsst1(s)1+aε(s)a+εk,l=13st1s~2+aXkp^l(s~)+1s~1+aP^kp^l(s~)-δlkds~dsεsa+εk,l=13st1s~2+aXkp^l(s~)+1s~1+aP^kp^l(s~)-δlkds~st1(s)1+adsεsa+εk,l=13st1s~2+aXkp^l(s~)+1s~1+aP^kp^l(s~)-δlkds~.

Taking ε sufficiently small then gives

k,l=13st1s~1+aP^kp^l(s~)-δlkds~εsa+εk,l=13st1s~2+aXkp^l(s~)ds~.

Inserting back into the above bound gives

P^ip^j(s,t,x,p^)-δjiεsa+εk,l=13st1s~2+aXkp^l(s~)ds~. 5.4

Integrating this bound backwards from s=t, and using the fact that Xip^j(t,t,x,p^)=0, gives

Xip^j(s,t,x,p^)+(t-s)δjiεt1-a+εk,l=13st1s~1+aXkp^l(s~)ds~εtsa+εk,l=13st1s~1+aXkp^l(s~)+(t-s)δlkds~,

where the fact that, for any function λ(s),

ststλ(s~)ds~ds=ststχ{ss~}dsλ(s~)ds~=st(s~-s)λ(s~)ds~

has been used (here χ{ss~} is the indicator function of the interval [s,s~]). Again, dividing by s1+a, integrating backwards from s=t, summing over ij and taking ε small gives

k,l=13st1s~1+aXkp^l(s~)+(t-s)δlkds~εts2a.

Inserting back into the above bound then gives

Xip^j(s,t,x,p^)+(t-s)δjiεtsa,

and inserting this into (5.4) gives the second bound of (5.2).

In a similar manner, it is straightforward to show that

ddsP^ixj(s)εk,l=131s2+aXkxl(s)+1s1+aP^kxl(s),

and, using the final conditions P^ixj(t,t,x,p^)=0, Xixj(t,t,x,p^)=δji, that (5.3) holds.

The properties of these changes are collected in the following proposition:

Proposition 5.6

For fixed tx with tt0+1, |x|ct, if the assumptions (4.1) hold and ε is sufficiently small then, for p^ such that (t,x,p^)supp(f), the change of variables p^y:=X(t0,t,x,p^) satisfies

detp^iyjCt3. 5.5

Define

z1i(s,t,x,y):=X(s,t,x,p^(t,x,y))i,z2i(σ,s,t,x,y):=σsxit+(1-σ)X(s,t,x,p^(t,x,y))i

for i=1,2,3. If tt0+1 and t0st0+12, then the change of variables (x,y)(x,z1(s,t,x,y)) satisfies

detz1i(s,t)yj-1C. 5.6

If t0+12st then the change of variables (x,y)(z1(s,t,x,y),y) satisfies

detz1i(s,t)xj-1Cts3. 5.7

Finally, if t0+12st and 0σ1, then the change of variables (x,y)(z2(σ,s,t,x,y),y) satisfies

detz2i(σ,s,t)xj-1Cts3. 5.8

Moreover, for tt0, the determinant of the 6 by 6 matrix κ satisfies

detκ(t0,t,x,p^)-1ε,whereκ=XxXp^P^xP^p^. 5.9

Proof

Setting s=t0 in (5.2), it follows that

yip^j+(t-t0)δjiεt, 5.10

and, if ε is sufficiently small,

detyip^j+(t-t0)3εt3. 5.11

Since tt0+1, the bound (5.5) follows.

For the remaining bounds of the proposition, it is necessary to consider p^i as a function of txy (using the above bound and the Inverse Function Theorem) and estimate p^ixj and p^iyj. Clearly the matrix p^iyj is the inverse of the matrix yip^j, and hence it follows from (5.10) that

p^iyj+δjit-t0εt.

Also,

0=p^i(t,x,y(t,x,p^))xj=p^ixj(t,x,y)+p^iyk(t,x,y)ykxj,

so

p^ixj=-p^iykykxj.

Setting s=t0 in (5.3) gives

yixj-δjiε,

and so, since

p^ixj-δjit-t0=-p^iyk+δkit-t0ykxj-δjk+1t-t0yixj-δji-p^iyj+δjit-t0,

it follows that

p^ixj-δjit-t0εt,

since tt0+1.

Now,

z1iyj=Xi(s,t,x,p^(t,x,y))yj=Xip^kp^kyj,

and hence, inserting the above bounds,

z1iyj-t-st-t0δji=Xip^k+(t-s)δkip^kyj+δjkt-t0-(t-s)p^iyj+δjit-t0-1t-t0Xip^j+(t-s)δjiε.

It follows that

detz1iyj-t-st-t03ε,

and, if ε is sufficiently small, the bound (5.6) follows for t0st0+12. Similarly,

z1ixj=Xi(s,t,x,p^(t,x,y))xj=Xixj+Xip^kp^kxj,

and

z1ixj-s-t0t-t0δji=|Xixj-δji+Xip^k+(t-s)δki(p^kxj-δjkt-t0)-(t-s)p^ixj-δjit-t0+1t-t0Xip^j+(t-s)δji|ε,

which, if ε is suitably small, implies

detz1ixj-s-t0t-t03ε,

and the bound (5.7) follows.

Finally,

z1ixj=σstδji+(1-σ)z1ixj,

and so

z2ixj-σst+(1-σ)s-t0t-t0δjiε,

from which the bound (5.8) follows.

We now prove the bound (5.9). For t0st denote W(s)=X(s,t,x,p^),P^(s,t,x,p^) and w=(x,p^), so that κ=Ww. Now

ddsW(s)=F(s,W(s)),whereF(s,W)=(P^,(P^iP^αP^βΓαβ0(s,X)-P^αP^βΓαβi(s,X))),

With M=W/w we have

ddsdetM(s)=trM-1dMds(s)·detM(s),wheretrM-1dMds=wjWiFiwj=FiWi. 5.12

We have

FiWi=3P^αP^βΓαβ0(s,X)+2P^iP^βΓiβ0(s,X)-2P^βΓiβi(s,X),

and so,

ddsdetWw(s)Cεs1+adetWw(s).

The bound (5.9) then follows from the Grönwall inequality.

L1 and L2 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 π(supp(f0)){|x|K}, tt0+1 and the assumptions (4.1) hold. Then

χsupp(f)(t,x,p^)dp^1t3,

where χsupp(f)(t,x,p^) is the characteristic function of supp(f).

Proof

Since f solves the Vlasov equation, χsupp(f)(t,x,p^)=χsupp(f)(t0,X(t0),P^(t0)) and

χsupp(f)(t0,X(t0),P^(t0))dp^Ct3χsupp(f)(t0,y,P^(t0,t,x,p^(t,x,y)))dyCKt3,

where the change of variables p^y=X(t0) and the bound (5.5) have been used.

Proposition 5.8

Suppose π(supp(f)){|x|ct} and consider tt0+1. If the assumptions (4.1) hold and ε is sufficiently small then, for any multi index I with |I|N-1 and each μ,ν=0,1,2,3,

ZITμν(t,·)L2CV|I|t32+CD|I|2+1|J||I|-1(ZJΓ)(t,·)L2t1+a+|J||I|+11t32t0t(ZJΓ)(s,·)L2s12+ads,ZITμν(t,·)L1CV|I|+CD|I|2+1|J||I|-1t12-a(ZJΓ)(t,·)L2+|J||I|+1t0t(ZJΓ)(s,·)L2s12+ads,

where ZI is a product of |I| of the vector fields Ωij,Bi,S.

Proof

Given any function F(tx) it follows from Proposition 5.4 that

ZITμν(t,·)F(t,·)L1Cn1+n2|I||x|ct+K(xn1p^n2f)(t0,X(t0),P^(t0))dp^|F(t,x)|dx+Cn1+n2|I|2+1|x|ct+K(xn1p^n2f)(t0,X(t0),P^(t0))(|J||I|-1t2-a|(ZJΓ)(t,x)|+|J||I|t0ts1-a(ZJΓ)s,sxt+s(ZJΓ)s,sxt-(ZJΓ)s,X(s)ds)dp^|F(t,x)|dx.

Given n1+n2|I|, it follows from Lemma 5.7 and the bound (5.9) that

|x|ct+K(xn1p^n2f)(t0,X(t0),P^(t0))dp^|F(t,x)|dxχsupp(f)(t,x,p^)dp^12(xn1p^n2f)(t0,X(t0),P^(t0))2dp^12|F(t,x)|dxCt32(xn1p^n2f)(t0,X(t0),P^(t0))2dp^dx12F(t,·)L2CVn1+n2t32F(t,·)L2.

Similarly, for any multi index J,

|x|ct+K(xn1p^n2f)(t0,X(t0),P^(t0))dp^t2-a(ZJΓ)(t,x)|F(t,x)|dx|x|ct+K|y|K(xn1p^n2f)(t0,y,P^(t0,t,x,p^(t,x,y)))detp^iyjdyt2-a(ZJΓ)(t,x)|F(t,x)|dxCDn1+n2t3t2-a|x|ct+K(ZJΓ)(t,x)|F(t,x)|dxCDn1+n2t1+a(ZJΓ)(t,·)L2F(t,·)L2,

using the bound (5.5). Now, for the third term,

|x|ct+K(xn1p^n2f)(t0,X(t0),P^(t0))dp^t0ts1-a(ZJΓ)s,sxtds|F(t,x)|dxCDn1+n2t3t0ts1-a|y|K|x|ct+K(ZJΓ)s,sxt|F(t,x)|dxdydsCDn1+n2t3t0ts1-a|x|ct+K(ZJΓ)s,sxt2dx12F(t,·)L2dsCDn1+n2t32t0t(ZJΓ)s,·L2s12+adsF(t,·)L2,

where the change of variables xizi:=sxit has been used, along with the fact that detxizj=ts3.

For the final term, first write,

|J||I|t0ts(ZJΓ)s,sxt-(ZJΓ)s,X(s)ds|J||I|t0t0+12s(ZJΓ)s,sxt+s(ZJΓ)s,X(s)ds+|J||I|t0+12ts(ZJΓ)s,sxt-(ZJΓ)s,X(s)ds.

As above,

|x|ct+K(xn1p^n2f)(t0,X(t0),P^(t0))dp^t0t0+12s(ZJΓ)s,sxtds|F(t,x)|dxCDn1+n2t32t0t0+12(ZJΓ)s,·L2dsF(t,·)L2CDn1+n2t32t0t(ZJΓ)s,·L2s12+adsF(t,·)L2,

and, estimating the term with X(s,t,x,p^) slightly differently,

|x|ct+K(xn1p^n2f)(t0,X(t0),P^(t0))t0t0+12s(ZJΓ)s,X(s)dsdp^|F(t,x)|dxCDn1+n2t3t0t0+12|x|ct+K|F(t,x)||y|K(ZJΓ)s,X(s)dydxdsCDn1+n2t3t0t0+12|x|ct+K|F(t,x)||y|K(ZJΓ)s,X(s)2dy12dxdsCDn1+n2t32t0t0+12(ZJΓ)s,·L2dsF(t,·)L2CDn1+n2t32t0t(ZJΓ)s,·L2s12+adsF(t,·)L2,

where now the change of variables yiz1i:=X(s,t,x,p^(t,x,y))i has been used, together with Proposition 5.6, which guarantees that detyiz1jC when t0st0+12. Note that this term was estimated slightly differently since the change of variables xiX(s,t,x,p^(t,x,y))i breaks down as st0, since then X(s,t,x,p^(t,x,y))y.

Finally, write

ZJΓs,sxt-ZJΓs,X(s)=01ddσZJΓs,σsxt+(1-σ)X(s)dσ=sxlt-X(s)l01xlZJΓs,σsxt+(1-σ)X(s)dσ.

Since,

sxlt-X(s)lsxlt-X2(s,t,x,p^)l+X¯(s,t,x,p^)lCs1-a,

by Proposition 2.3 and the bound (4.26) with I=0, it follows that

|J||I|sZJΓs,sxt-ZJΓs,X(s)C|J||I|s1-a01sZJΓs,σsxt+(1-σ)X(s)dσC|J||I|+1s1-a01ZJΓs,σsxt+(1-σ)X(s)dσ.

Hence,

|x|ct+K(xn1p^n2f)(t0,X(t0),P^(t0))×|J||I|t0+12ts(ZJΓ)s,sxt-(ZJΓ)s,X(s)dsdp^|F(t,x)|dxCDn1+n2t3|J||I|+1|x|ct+K|y|Kt0+12ts1-a01ZJΓs,σsxt+(1-σ)X(s)dσdsdy|F(t,x)|dxCDn1+n2t3|J||I|+1t0+12ts1-a01|y|K(|x|ct+KZJΓs,σsxt+(1-σ)X(s)2dx)12dydσdsF(t,·)L2CDn1+n2t32|J||I|+1t0tZJΓs,·L2s12+adsF(t,·)L2,

where the change of variables xiz2i:=σsxit+(1-σ)X(s)i has been used, along with the fact that detxiz2jCts3 when 0σ1, t0+12st, by Proposition 5.6.

It follows that, for any F(tx),

ZITμν(t,·)F(t,·)L1CV|I|F(t,·)L2t32+CD|I|2+1F(t,·)L2|J||I|-1(ZJΓ)(t,·)L2t1+a+|J||I|+11t32t0t(ZJΓ)(s,·)L2s12+ads.

The L2 estimate follows by setting F(t,x)=ZITμν(t,x) and dividing by ZITμν(t,·)L2. The L1 estimate follows by setting F(t,x)=χ{|x|ct+K}, and using the fact that supp(Tμν){|x|ct+K}, and χ{|x|ct+K}L2Ct32.

Proposition 5.9

Suppose π(supp(f)){|x|ct} and consider tt0+1. If the assumptions (4.1) hold, and ε is sufficiently small, then for any multi index I with |I|N and each μ,ν=0,1,2,3,

ZITμν(t,·)L2CV|I|t32+CD|I|2+1|J||I|-1(ZJΓ)(t,·)L2t1+a+|J||I|1t32t0t(ZJΓ)(s,·)L2s12ds,

where ZI is a product of |I| of the vector fields Ωij,Bi,S.

Proof

The proof is very similar to that of Proposition 5.8. Recall that, for any F(tx),

ZITμν(t,·)F(t,·)L1CV|I|F(t,·)L2t32+CD|I|2+1F(t,·)L2|J||I|-1(ZJΓ)(t,·)L2t1+a+|J||I|1t32t0t(ZJΓ)(s,·)L2s12+ads+Cn1+n2|I|2+1|J||I||x|ct+K(xn1p^n2f)(t0,X(t0),P^(t0))×t0+12ts(ZJΓ)s,sxt-(ZJΓ)s,X(s)dsdp^|F(t,x)|dx.

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 (ZJΓ)s,sxt-(ZJΓ)s,X(s). Now, at the top order, these terms are estimated individually:

|J||I|t0+12ts(ZJΓ)s,sxt-(ZJΓ)s,X(s)dsC|J||I|t0+12ts(ZJΓ)s,sxt+s(ZJΓ)s,X(s)ds.

The first term is estimated exactly as in Proposition 5.8 (note that the s power is now slightly worse) to give

|x|ct+K(xn1p^n2f)(t0,X(t0),P^(t0))t0+12ts(ZJΓ)s,sxtdsdp^|F(t,x)|dxCDn1+n2t3/2F(t,·)L2t0t(ZJΓ)(s,·)L2s1/2ds.

The second term is estimated similarly:

|x|ct+K(xn1p^n2f)(t0,X(t0),P^(t0))t0+12ts(ZJΓ)s,X(s)dsdp^|F(t,x)|dxCDn1+n2t3t0+12ts|y|K(|x|ct+K(ZJΓ)s,X(s)2dx)12dydsF(t,·)L2CDn1+n2t3/2F(t,·)L2t0t(ZJΓ)(s,·)L2s12ds,

where the change of variables xiz1i:=X(s,t,x,p^(t,x,y))i has now been used, along with the fact that |det(xi/z1j)|C(t/s)3 for t0+12st, by Proposition 5.6.

It follows that

ZITμν(t,·)F(t,·)L1CV|I|F(t,·)L2t32+CD|I|2+1F(t,·)L2(|J||I|-1(ZJΓ)(t,·)L2t1+a+|J||I|1t32t0t(ZJΓ)(s,·)L2s12ds).

The proof then follows by setting F(t,x)=ZITμν(t,x).

Proof of Theorem 1.3

First note that Propositions 5.8 and 5.9 can be extended to include t0tt0+1 as follows:

Proposition 5.10

Suppose πsupp(f){|x|ct} and consider t0tt0+1. If the assumptions (4.1) hold and ε is sufficiently small then, for any multi index I with |I|N,

ITμν(t,·)L2+ITμν(t,·)L1V|I|+D|I|2+1(|J||I|-1JΓ(t,·)L2+|J||I|t0tJΓ(s,·)L2ds).

Proof

By Propositions 4.30 and 4.31, it follows from an appropriate version of Proposition 5.4 that

ITμν(t,x)n1+n2|I|(xn1p^n2f)(t0,X(t0),P^(t0))dp^+n1+n2|I|2+1(xn1p^n2f)(t0,X(t0),P^(t0))(|J||I|-1(JΓ)(t,x)+|J||I|t0t(JΓ)(s,X(s))ds)dp^n1+n2|I|(xn1p^n2f)(t0,X(t0),P^(t0))dp^+D|I|2+1(|J||I|-1(JΓ)(t,x)+|J||I|t0t(JΓ)(s,X(s))dsdp^).

For any function F(tx),

(xn1p^n2f)(t0,X(t0),P^(t0))dp^|F(t,x)|dxVn1+n2F(t,·)L2,

by (5.9) (as in the proof of Proposition 5.8), and

|F(t,x)|t0t(JΓ)(s,X(s))dsdp^dxt0t(JΓ)(s,X(s))2dx12F(t,·)L2dp^dst0t(JΓ)(s,·)L2dsF(t,·)L2,

where the change of variables xX(s,t,x,p^) and the bound (5.3) have been used. Clearly then

ITμν(t,x)|F(t,x)|dxV|I|F(t,·)L2+D|I|2+1|F(t,x)|(|J||I|-1(JΓ)(t,x)+|J||I|t0t(JΓ)(s,X(s))dsdp^)dx[V|I|+D|I|2+1(|J||I|-1(JΓ)(t,·)L2+|J||I|t0t(JΓ)(s,·)ds)]F(t,·)L2.

The L2 bound then follows by setting F=ITμν, and the L1 bound follows by setting F(t,x)=χ{|x|ct+K}, and using the fact that supp(Tμν){|x|ct+K}, and χ{|x|ct+K}L2Ct32.

Since, for any function F(tx) and any multi index I, the vector fields Z satisfy

|J||I||IF(t,x)||ZIF(t,x)||J||I||IF(t,x)|,fort0tt0+1,|x|ct,

it is clear that Propositions 5.8 and 5.9 in fact hold for tt0. Moreover, it is clear from (2.12) that

IZJTμν(t,·)|K||I|+|J|ZKTμν(t,·),fortt0,

where ZJ is a product of |J| of the vector fields Ωij,Bi,S, for ·=·L1 or ·L2 since supp(Tμν){|x|ct}, and so spacetime derivatives I 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 π(supp(f)){|x|ct+K} and so, letting t~=t0+t where t0=Kc, 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 t~ and the vector fields Z replaced by Z~ for t~t0, where the vector fields Z~ are as in Section 2.2. The proof of Theorem 1.3 then follows from noting that

Ω~ij=Ωij,B~i=Bi+t0xi,S~=S+t0t,

and so

IZJ=|I|+|J||I|+|J|CIJIZ~J

for some constants CIJ.

The Einstein Equations

The main results of this section are the following:

Proposition 6.1

Suppose that N4, ε1. Consider a solution of the reduced Einstein equations (1.11) for t<T such that, with EN and γ as in (1.14), the weak decay estimates

EN(t)1/2CNε(1+t)δ,|J|N-1ZJT^(t,·)L1CNε,andMε 6.1

hold for all t[0,T] for some δ such that

0<8δ<γ<1-8δ,Mε. 6.2

Then for some constant CN depending only on CN, the weak decay estimates

|ZIh1(t,x)|CNε(1+t)2δ(1+t+r)(1+q+)γ,|I|N-3, 6.3

where q±=max{±q,0} and q=r-t, hold for all t[0,T].

Note that the inverse of the metric gμν can be expressed as

gμν=mμν+Hμν,andHμν=H0μν+H1μν,whereH0μν=-χ(r1+t)Mrδμν, 6.4

where χ is as in (1.13). Then mμν+H0μν-h1μν, where h1μν=mμαmνβhαβ1, is an approximate inverse to gμν=mμν+hμν0+hμν1 up to O(h2), where h0 is as in (1.13). Hence H1μν=-h1μν+O(h2). Therefore H1 will satisfy the same estimates as h1.

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 N={L,L_,S1,S2} be the null frame defined by (1.28). The modified Lie derivative L^Z defined by (6.73) satisfies

|q(L^ZIH1)LT|+|q/trL^ZIH1|CNε(1+t+r)-2+2δ(1+q+)-γ, 6.5
|(L^ZIH1)LT|+|/trL^ZIH1|CNε(1+t+r)-1-γ+2δ(1+q-)γ 6.6

for |I|N-4, where /trH1=H1S1S1+H1S2S2 and TT={L,S1,S2}, the subset that spans the tangent space of the outgoing light cones. Here the constant CN depends only on CN in (6.3) and on N.

Proposition 6.3

Suppose that N5 and the weak decay estimates (6.3) hold for some 8δγ1-8δ, Mε1 and that there is a constant 0<c<1 such that

suppT^(t,x){(t,x);|x|K+ct},c<1. 6.7

Then the following strong decay estimates hold: for any -1γ<γ-2δ, and |I|=kN-5 there are constants ck such that

|ZIh1|ckε(1+t)ckε(1+t+r)-1(1+q+)-1-γ. 6.8

In addition we have the following estimates for certain tangential components expressed in a null frame:

|hTU1|c0ε(1+t+r)-1(1+q+)-1-γ,TT,UN. 6.9

Here all constants depend only on CN in (6.3), on N and on c, K in (6.7).

Theorem 6.4

Suppose that N9 and the decay and support conditions (6.2)–(6.9) hold. Then there is a εN>0 and constants CN, d1,,dN, depending only on N, CN, c, K and a lower positive bound for min(γ,1-γ), such that for all t[0,T] and ε<εN,

Qk(t)8Qk(0)+MkM+CNε0tQk(τ)1+τ+Qk-1(τ)(1+τ)1-dkεdτ+Mk|I|k0tZIT^(τ,·)L2dτ,

where Qk(t):=sup0τtEk(τ)1/2 and Q-1(0)0, and M1,,Mk 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 L 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

|ϕ(t,x)|w1/2C|I|3w1/2ZIϕ(t,·)L2(1+t+r)(1+|t-r|)1/2.

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

|ZIh1(t,x)|Cε(1+t+r)-1(1+|r-t|)-1-γ(1+t)δ,r>tCε(1+t+r)-1(1+|r-t|)-1/2(1+t)δ,r<t,|I|N-3. 6.10

Furthermore,

|ZIh1(t,x)|Cε(1+t+r)-1(1+|r-t|)-γ(1+t)δ,r>tCε(1+t+r)-1(1+|r-t|)1/2(1+t)δ,r<t,|I|N-3. 6.11

The same estimates hold for H1 in place of h1, and for h or H in place of h1 if γ is replaced by δ.

Proof

(6.11) follows from integrating (6.10) in the r-t direction from data, see Corollary 9.4 in [37].

That H1 satisfy the same estimates as h1 follows from the discussion after (6.4). That h and respectively, H, only satisfy these estimates with γ replaced with δ follows from the fact that h0 and H0, 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 L1L estimates for the fundamental solution of , see Theorem 3.5 in [31].

Lemma 6.7

Suppose that u is a solution of u=F (that is the flat Minkowski wave operator) with vanishing data u|t=0=tu|t=0=0. Then

|u(t,x)|(1+t+|x|)C|I|20tR3|ZIF(s,y)|1+s+|y|dyds. 6.12

Also, for the linear homogenous solution, we have, by Lemma 10 in [31],

Lemma 6.8

If v is the solution of v=0, with data v|t=0=v0 and tv|t=0=v1, then for any γ>0,

(1+t)|v(t,x)|Csupx((1+|x|)2+γ(|v1(x)|+|v0(x)|)+(1+|x|)1+γ|v0(x)|). 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 -1a1 and any ϕC0(R3),

|ϕ|2(1+|t-r|)2wdx(1+t+r)1-a|ϕ|2wdx(1+t+r)1-a. 6.14

On the other hand we can also estimate derivatives in terms of the vector fields as follows:

Lemma 6.10

Let q=(r-t)/2 and let ¯μ=μ-Lμq be the projection of μ onto the tangent space of the outgoing light cones. Then

|ϕ(t,x)||qϕ(t,x)|+|¯ϕ(t,x)| 6.15

and

(1+|t-r|)|ϕ(t,x)|+(1+t+r)|¯ϕ(t,x)||I|=1|ZIϕ(t,x)|. 6.16
Proposition 6.11

Suppose that N4 and the weak energy bounds (6.1) hold for a solution of Einstein–Vlasov in wave coordinates. Then

|ZIh1(t,x)|Cε(1+t)2δ(1+t+r)(1+q+)γ,|I|N-3, 6.17

where q±=max{±q,0} and q=r-t. Moreover,

(1+|q|)|ZIh1(t,x)|+(1+t+r)|¯ZIh1(t,x)|Cε(1+t)2δ(1+t+r)(1+q+)γ,|I|N-4. 6.18

The same estimates hold for H1 in place of h1, and h or H in place of h1 if γ is replaced by 2δ.

Proof

First (6.18) is a consequence of (6.17) using (6.16) so it only remains to prove (6.17) for r<t. Let hμν1=vμν+uμν+ϕμν where,

vμν=0,vμν|t=0=hμν1|t=0,tvμν|t=0=thμν1|t=0. 6.19

and

uμν=-Hαβαβhμν+Fμν(h)(h,h)-hμν0,uμν|t=0=tuμν|t=0=0, 6.20
ϕμν=T^μν,ϕμν|t=0=tϕμν|t=0=0. 6.21

We will prove (6.17) for r<t separately for each of v,u,ϕ. 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 v0 and v1 obtained from (6.10)–(6.11) when t=0.

Then using the L bounds (6.10)–(6.11) for a small number of vector fields we have

|ZIFμν(h)(h,h)|C|J|+|K||I||ZJh||ZKh|+C|J|+|K||I||ZJh|1+|q||ZKh|, 6.22

and since Hαβ=-hαβ+O(h2),

|ZI(Hαβαβhμν)|C|J|+|K||I|+1,|J||I||ZJh|1+|q||ZKh|. 6.23

Now

|ZJh||ZKh|(s,y)dy|I|NZIh(s,·)L22Cε2(1+s)2δ, 6.24

since

|ZIh0(s,y)|2dyCM20r2dr(1+|t+r|)4CM2. 6.25

We write h=h0+h1 and estimate

|ZJh0(t,x)|2(1+|t-r|)2dxCM20r2dr(1+|t+r|)2(1+|t-r|)2CM2, 6.26

and by Lemma 6.9,

|ZJh1(t,x)|2(1+|t-r|)2dxC|ZJh1(t,x)|2wdxCε2(1+t)2δ. 6.27

Hence,

|ZJh|1+|q||ZKh|(s,y)dyCε2(1+t)2δ. 6.28

Finally,

|hμν0|=|Mδμνr(t+r)(t-r)(χ(r1+t))|CMH(r<3t/4)(1+t+r)3, 6.29

where H(r<3t/4)=1 when r<3t/4 and 0 otherwise. Hence

h0(t,·)L1M. 6.30

It now follows from Lemma 6.7 that

|uμν(t,x)|(1+t+|x|)0t(ε2+M)ds(1+s)1-2δCε(1+s)2δ, 6.31

which proves (6.17) for r<t and also for u. It remains to prove the estimate for ϕ as well, but this also follows from Lemma 6.7:

|ϕμν(t,x)|(1+t+|x|)0tCT^(s,·)L1ds1+s0tCεds(1+s)1-δCε(1+s)δ. 6.32

The Support and Weak Decay of Matter

The following Sobolev inequality will be used to obtain pointwise bounds for T^ from the assumptions (6.1):

Lemma 6.12

If suppϕ{(t,x);|x|K+ct} for some K0 and 0<c<1, then

|ϕ(t,x)|(1+t+r)-3|I|=3ZIϕ(t,·)L1.
Proof

The proof proceeds by noting that, with c=(1+c)/2, suppϕ(t,·){(t,x);|x|ct} for t2K/(1-c). The inequality for t2K/(1-c) follows from the standard Sobolev inequality,

|ϕ(t,x)||I|=3|Iϕ(t,·)|.

The proof for t2K/(1-c) follows from the identity (2.12).

Lemma 6.12, together with assumption (6.7) on the support of T^ and the weak energy bounds (6.1), gives

|ZIT(t,x)|ε(1+t)-3,|I|N-4. 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 0<8δ<γ<1-8δ, Mε1, along with the support condition (6.7) for T^. 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

μH^μν=Wν(h,h)whereH^μν=Hμν-mμνtrmH/2,trmH=mαβHαβ 6.34

and |W(h,h)||h||h|. Moreover,

μH^1μν=Wν(h,h)-μH^0μν,whereμH^0μν=2χ(r1+t)M(1+t)-2δ0ν. 6.35

We first express the divergence in a null frame as follows:

Lemma 6.13

Let q=(r-t)/2 and s=(r+t)/2. Then for any tensor kμν,

q(LμUνkμν)=LμUνqkμν=L_μUνskμν-AμUνAkμν+Uνμkμν,UN. 6.36
Proof

The proof follows expressing the divergence in a null frame μFμ=LμqFμ-L_μsFμ+AμAFμ; for when q and s commute with the frame, see Lemma 1 in [34].

Using this, we get

Lemma 6.14

We have

|qHLT|+|q/trH||¯H|+|h||h|, 6.37
|qH1LT|+|q/trH1||¯H1|+|h||h|+M|χ(rt+1)|(1+t+r)-2, 6.38

where χ(s), is a function supported when 1/4s1/2. Moreover (6.37) also holds for h in place of H.

Proof

It follows from the previous lemmas that

|qH^1LU||¯H1|+|h||h|+M|χ(rt+1)|(1+t+r)-2.

Picking U=T and, respectively, U=L_, gives (6.38).

Proposition 6.15

With H1UV=H1μνUμVν and /trH1=δABH1AB we have, for T={L,S1,S2}

|qH1LT|+|q/trH1|ε(1+t+r)-2+2δ(1+q+)-γ, 6.39
|H1LT|+|/trH1|ε(1+t+r)-1-γ+2δ+ε(1+t)-2+2δ(1+q-)ε(1+t+r)-1-γ+2δ(1+q-)γ. 6.40

The same estimates hold for H in place of H1 if γ is replaced by 2δ,

Proof

The proof follows as in the proof of Proposition 13 in [34]. (6.40) follows from integrating (6.39) in the t-r direction from initial data. When |t-r|>t/8 the estimates follow from Proposition 6.11 so we may assume that |t-r|<t/8. It then follows from Lemma 6.14 and Proposition 6.11 that

|qH1LT|+|q/trH1||¯H1|+|h||h|ε(1+t+r)-2+2δ(1+q+)-γ+ε2(1+t+r)-2+2δ(1+q+)-1-2δ. 6.41

The Leading Order Behaviour of the Inhomogeneous Term Towards Null Infinity

The inhomogeneous term in Einstein’s equations can be written as

Fμν=P(μh,νh)+Qμν(h,h)+Gμν(h)(h,h),P(h,k)=12mααmββhαβkαβ-14mααhααmββhββ, 6.42

where Gμν(h)(h,h) is cubic:

|Gμν(h)(h,h)||h||h|2,

and Qμν(h,h) satisfy the standard null condition, and hence

|Q(h,k)||¯h||k|+|h||¯k|. 6.43

The main term P(μh,νh) can be further analyzed by first noting that

|P(μh,νk)-LμLνP(qh,qk)||¯h||k|+|h||¯k|, 6.44

which follows from expressing μ in a null frame: μ=Lμq-L_μs+AμA. Expressing P(h,k)=PN(h,k) in a null frame we have

PN(h,k)=-18(hLLkL_L_+hL_L_kLL)-14δCDδCD(2hCCkDD-hCDkCD)+14δCD(2hCLkDL_+2hCL_kDL-hCDkLL_-hLL_kCD). 6.45

Taking into account the wave coordinate condition this reduces in leading order to PN(qh,qh)PS(qh,qh), where

PS(D,E)=-D^ABE^AB/2,A,BS,whereD^AB=DAB-δAB/trD/2,/trD=δABDAB. 6.46

In fact, by (6.45) we have

|PN(h,k)-PS(h,k)||(|h|LT+|/trh|)|k|+|h|(|k|LT+|/trk|),where|h|LT=|hLL|+|hLS1|+|hLS2|. 6.47

Also, using (6.37) and that fact the H=-h+O(h2), we get

|PN(qh,qh)-PS(qh,qh)|(|¯h|+|h||h|)|h|. 6.48

Summing up, we have shown

Lemma 6.16

Let

/Pμν(h,k)=χ¯(r-tt+r)LμLνPS(qh,qh), 6.49

where χ¯C0 satisfies χ¯(s)=0, when |s|3/4 and χ¯(s)=1, when |s|1/2. Here q=(1+|q|2)1/2. Then

|Fμν(h)(h,h)-/Pμν(h,h)||¯h||h|+|h||h|2,whenr-tt+r1/2. 6.50

Using (6.18)–(6.17) and (6.11)–(6.10), we obtain

Lemma 6.17

With notation as in the previous lemma we have that

|Fμν(h)(h,h)-/Pμν(h,h)|ε2(1+t+r)3-4δ(1+|q|)(1+q+)4δ. 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

|kαβαβϕ|(|kLL|1+|q|+|k|1+t+r)|K|1|ZKϕ|. 6.52

As a consequence, we get

Lemma 6.19

We have

|(~g-0)ϕ|ε(1+q+)-γ(1+t+r)1+γ-2δ(1+|q|)1-γ|K|1|ZKϕ|, 6.53

where the asymptotic Schwarzschild wave operator is given by

0=(mαβ+H0αβ)αβ,whereH0αβ=-Mrχ(r1+t)δαβ. 6.54
Proof

We apply (6.52) to H1αβαβϕ using (6.40) and (6.17) to get

|H1αβαβϕ|(|H1LL|1+|q|+|H1|1+t+r)|K|1|ZKϕ|Cε(1+t+r)1+γ-2δ(1+|q|)1-γ(1+q+)γ|K|1|ZKϕ|.

In spherical coordinates, (6.54) takes the form

0ϕ=(-t2+x-Mrχ(r1+t)(t2+x))ϕ=1r(-t2+r2-Mrχ(r1+t)(t2+r2))(rϕ)+(1-Mrχ(r1+t))1r2ωϕ. 6.55

The Leading Order of the Metric Towards Space Like Infinity

Following [37], we have defined hαβ0=-H0αβ to be a function that picks up the leading behavior of the initial data at space like infinity:

hμν0=Mrχ(r1+t).δμν. 6.56

It would, however, perhaps have been more natural to define it to be a solution of the homogeneous wave h0=0 (or even better 0h0=0.) with data coinciding with this function at time 0 in which case hμν0=χ(r-t)Mrδμν which is equal to (6.56) in the exterior when rt+1. We therefore think of (6.56) as an approximate solution to the homogeneous wave equation. By (6.55), we have

0hμν0=1r(-t2+r2-Mrχ(r1+t)(t2+r2))χ(rt+1)Mδμν=Mδμν(1+t)3(χ1(rt+1)+1t+1χ2(rt+1)), 6.57

for some functions χi(s) that vanish when s1/2 or s1/4; this, in particular, means that in the exterior and in the wave zone it is a solution of the wave operator 0. Moreover,

(~g-0)hμν0=H1αβαβhμν0=Mδμν(1+t+r)3H1αβχαβ(rt+1,ω) 6.58

for some smooth function χαβ(s,ω) supported when s1/4. Hence

|(~g-0)hμν0|εM(1+t+r)4-2δ(1+q+)γ. 6.59

Summing up, we have proved

Proposition 6.20

(Asymptotic Approximate Einstein’s equations.) When |x|ct we have

|0hμν1-/Pμν(h,h)|ε2(1+t+r)2+γ-4δ(1+|q|)2-γ(1+q+)4δ. 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 Dt={(t,x);|t-|x||c0t}, for some constant 0<c0<1 and let w¯(q)>0 be an increasing positive weight w¯(q)0. Then

(1+t+|x|)|ϕUV(t,x)w¯(q)|sup0τt|I|1ZIϕ(τ,·)w¯L+0t((1+τ)(0ϕ)UV(τ,·)w¯L(Dτ)+|I|2(1+τ)-1ZIϕ(τ,·)w¯L(Dτ))dτ. 6.61
Proof

Since ϕ=-r-1(t2-r2)(rϕ)+r-2ωϕ, where ω=Ωij2 and |ZU|C, for U{A,B,L,L_}, it follows that

|0ϕUV-UμVν0ϕμν|r-2|J|1|ZJϕ|. 6.62

Using (6.55), we get

0ϕ=1r(4sq-2Mrχ(r1+t)(q2+s2))(rϕ)+(1-Mrχ(r1+t))1r2ωϕ,

where q=(r-t)/2 and s=(r+t)/2. Hence,

|(4s-2Mrq)q(rϕ)-r0ϕ|r-1|J|2|ZJϕ|, 6.63

so with s=t+r,

|(s-Msq)q(rϕUV)|r|(0ϕ)UV|+(t+r)-1|J|2|ZJϕ|,|t-r|c0t. 6.64

Integrating this along the flow lines of the vector field (s-Msq) from the boundary of D=τ0Dτ to any point inside D, using that w¯ is decreasing along the flow lines, gives that, for any (t,x)D,

|q(rϕUV(t,x))w¯|sup0τt|I|1ZIϕ(τ,·)w¯+0t((1+τ)(0ϕ)UV(τ,·)w¯L(Dτ)+|I|2(1+τ)-1ZIϕ(τ,·)w¯L(Dτ))dτ. 6.65

The lemma now follows from (6.15), since it is trivially true when |r-t|c0t by (6.16).

From Lemma 6.21 and the estimate (6.17), we get

Lemma 6.22

Let Dt={(t,x);|t-|x||c0t} for some constant 0<c0<1 and w¯(q)=(1+q+)1+γ where -1γ<γ-2δ. Then

(1+t+|x|)|hUV1(t,x)w¯(q)|ε+0t(1+τ)(0h1)UV(τ,·)w¯L(Dτ)dτ. 6.66

Using Lemma 6.22 and Proposition 6.20, we obtain

Proposition 6.23

If the weak energy bounds and initial bounds hold then we have, for any 0γ<γ-4δ,

(1+t+r)(1+q+)1+γ|hTU1|ε, 6.67
(1+t+r)(1+q+)1+γ|h1|ε(1+εln(2+t))ε(1+t)ε. 6.68

The same estimates hold for h in place of h1 if γ=0.

Proof

We want to apply Lemma 6.22 to the decomposition in Proposition 6.20. To prove (6.67) we note that /PTU=0. Moreover T^=0 in Dt, for t2K/(1-c), if we pick c0 so small that c01-c, where c=(1+c)/2. Also Lemma 6.12 implies that T^(t,x) is uniformly bounded for 0t2K/(1-c). 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 (U,V)=(U,T) and this proves (6.67). To prove (6.68) we note that the only new term is /Pμν, which is controlled by

|/P(h,h)||hTS|2ε2(1+t+r)-2(1+q+)-2-2γ 6.69

by the first part and multiplying by (1+t) 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 (rs) tensor K is defined by

LZKβ1βsα1αr=ZKβ1βsα1αr-γZα1Kβ1βsγαr--γZαrKβ1βsα1γ+β1ZγKγβsα1αr++βsZγKβ1γα1αr. 6.70

Recall that the Lie derivative satisfies the Leibniz rule. For the case of our vector fields, γZβ 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 {xμ}, the vector fields Z=xμ,Ωij,Bi,S satisfy

LZμ1μkKβ1βsα1αr=μ1μkLZKβ1βsα1αr, 6.71

and

LZμKβ1βsμαr=μLZKβ1βsμαr. 6.72
Proof

From the definition (6.70),

LZμ1μkKβ1βsα1αr=Zμ1μkKβ1βsα1αr+μ1ZγγμkKβ1βsα1αr++μkZγμ1γKβ1βsα1αr-γZα1μ1μkKβ1βsγαr--γZαrμ1μkKβ1βsα1γ+β1Zγμ1μkKγβsα1αr++βsZγμ1μkKβ1γα1αr,

and

μ1μkLZKβ1βsα1αr=μ1μk[ZγγKβ1βsα1αr-γZα1Kβ1βsγαr--γZαrKβ1βsα1γ+β1ZγKγβsα1αr++βsZγKβ1γα1αr].

The equality (6.71) follows directly since xαZβ is constant for each of the vector fields Z. The equality (6.72) follows directly from (6.71).

Since, for an (rs) tensor K, the quantity μ1μkKβ1βsα1αr appearing in (6.71) (similar quantities also appear below) is not a geometric object, its Lie derivative is defined formally in the {xμ} coordinate system, using the coordinate expression (6.70). Alternatively, one could note that, in the {xμ} coordinate system,

μ1μkKβ1βsα1αr=Dμ1DμkKβ1βsα1αr,

where D denotes the connection of the Minkowski metric, since the Christoffel symbols of D with respect to the Cartesian coordinate system {xμ} vanish, Dxαxβ=0. One could then give a geometric proof of Proposition 6.24 using the fact that the curvature tensor of D vanishes and D2Z=0 for each of the vector fields Z.

Let the modified Lie derivative be defined by

L^ZKβ1βsα1αr=LZKβ1βsα1αr+r-s4(γZγ)Kβ1βsα1αr. 6.73

With this definition L^Zmαβ=0 and L^Zmαβ=0 for the vector fields in our collection, as the modified Lie derivative is defined so it commutes with contractions with the Minkowski metric. Let hαβ and kαβ be (0, 2) tensors and let Sμν(h,k) be a (0, 2) tensor which is a quadratic form in the (0, 3) tensors h and k with two contractions with the Minkowski metric (in particular P(μh,νh) or Qμν(h,k)). Then

LZ(Sμν(h,k))=Sμν(L^Zh,k)+Sμν(h,L^Zk). 6.74

Moreover,

LZ(gαβαβhμν)=(L^Zgαβ)αβhμν+gαβαβL^Zhμν. 6.75

Let LZI be a product of |I| Lie derivatives with respect to |I| vector fields Z. It follows that

~gL^ZIhμν=[~gL^ZI-LZI~g]hμν+LZIFμν(H)(h,h)+LZITμν, 6.76

where

[~gL^ZI-LZI~g]ϕμν=-J+K=I,|K|<|I|L^ZJHαβαβL^ZKϕμν, 6.77

and

LZIFμν(H)(h,h)=J+K=IP(μL^ZJh,νL^ZKh)+J+K=IQμν(L^ZJh,L^ZKh)+LZIGμν(H)(h,h), 6.78

where

|LZIGμν(H)(h,h)|I1+I2+Ik=I,k3|L^ZI3H||L^ZIkH||L^ZI1h||L^ZI2h|, 6.79

that is at least one factor of |L^ZIkH|. Finally, from the wave coordinate condition

μL^ZH^μν=(L^Z+γZγ2)μH^μν=(L^Z+γZγ2)Wν(H,h), 6.80

it follows that

|μL^ZIH^μν|I1++Ik,k2|L^ZI2H||L^ZIkH||L^ZI1H|, 6.81

where

L^ZIH^μν=L^ZIHμν-mμνtrmL^ZIH/2,trL^ZIH=mαβL^ZIHαβ. 6.82

We have

|I|k|ZIK||I|k|L^ZIK||I|k|ZIK|, 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 |L^ZIkh|1 for small |Ik|, that we have

Lemma 6.25
|qL^ZIH|LT+|q/trL^ZIH||¯L^ZIH|+|J|+|K||I||L^ZJh||L^ZKh| 6.84
|qL^ZIH1|LT+|q/trL^ZIH||¯L^ZIH1|+|J|+|K||I||L^ZJh||L^ZKh|+|χ(rt+1)|M(1+t+r)2, 6.85

where χ(s), is a function supported when 1/4s1/2. Moreover, (6.84) also holds for h in place of H.

L estimates from the Wave Coordinate Condition

For low derivatives, (6.85) leads to the following:

Proposition 6.26

For |I|N-4, we have

|qL^ZIH1|LT+|q/trL^ZIH1|ε(1+t+r)-2+2δ(1+q+)-γ, 6.86
|L^ZIH1|LT+|/trL^ZIH1|ε(1+t+r)-1-γ+2δ+ε(1+t)-2+2δ(1+q-)ε(1+t+r)-1-γ+2δ(1+q-)γ. 6.87

The same estimates hold for H in place of H1 if γ is replaced by 2δ.

The proof is the same as for Proposition 6.15.

Estimates for the Inhomogeneous Term

First using the fact that |L^ZIkh|1 for small |Ik|

|LZIGμν(h)(h,h)||I1|+|I2|+|I3||I|,|L^ZI3H||L^ZI1h||L^ZI2h|. 6.88

Secondly, for any term satisfying classical null condition by (6.43), we have

|J+K=IQμν(L^ZJh,L^ZKh)||J|+|K||I||¯L^ZJh||L^ZKh|. 6.89

Moreover by (6.47) and (6.44), we have, with /Pμν as in (6.49),

J+K=I|P(μL^ZJh,νL^ZKh)||J|+|K||I||/Pμν(L^ZJh,L^ZKh)|+|J|+|K||I|(|qL^ZJh|LT+|q/trL^ZJh|)|L^ZKh|.

Summing up, we have the estimate

|LZIFμν(h)(h,h)||J|+|K||I||/Pμν(L^ZJh,L^ZKh)|+|J|+|K||I||¯L^ZJh||L^ZKh|+|I1|+|I2|+|I3||I|,|L^ZI3h||L^ZI1h||L^ZI2h|. 6.90

Dividing up into low and high derivatives, we get

|LZIFμν(h)(h,h)|(|h|SS+|¯h|+|h||h|)|J||I||L^ZJh|+|h||J||I||¯L^ZJh|+|h|2|J||I||L^ZJh|+|K||I|/2|L^ZKh||J||I|-1|L^ZJh|ε(1+q+)-11+t+r|J||I||L^ZJh|+ε(1+t)2δ(1+q+)-2δ(1+t+r)(1+|q|)|J||I||¯L^ZJh|+ε2(1+t)4δ(1+q+)-4δ(1+t+r)2(1+|q|)2|J||I||L^ZJh|+|K||I|/2|L^ZKh||J||I|-1|L^ZJh|. 6.91

Estimates of the Wave Operator Applied to h0.

By (6.58), we have

|LZI(~g-0)hμν0|M(1+t+r)3|J||I||L^ZJH1|, 6.92

and by (6.57), we have

|LZI0hμν0|M(1+t+r)3χ(rt+1), 6.93

where χ(s) is supported in 1/4s1.

Estimates of the Wave Commutator Term

By (6.52), we have

|[~gL^ZI-LZI~g]ϕμν|J+K=I,|K|<|I||L^ZJHαβαβL^ZKϕμν||J|+|K|-1|I|,1|K||I|(|(L^ZJH)LL|1+|q|+|L^ZJH|1+t+r)|L^ZKϕμν|.

Writing H=H0+H1, this can be divided up in the commutator with 0=+H0αβαβ and with ~g-0=H1αβαβ. Since H0r-1, we have

|[0L^ZI-LZI0]ϕμν||J||I|(|(L^ZJH0)LL|1+|q|+|L^ZJH0|1+t+r)|K||I||L^ZKϕμν|M(1+|q|)-11+t+r|K||I||L^ZKϕμν|. 6.94

Similarly, by (6.87) and (6.17),

|J||I|/2+1(|(L^ZJH1)LL|1+|q|+|L^ZJH1|1+t+r)|K||I||L^ZKϕμν|ε(1+q+)-γ(1+t+r)1+γ-2δ(1+|q|)1-γ|K||I||L^ZKϕμν|,

and we conclude that

|[(~g-0)L^ZI-LZI(~g-0)]ϕμν|ε(1+q+)-γ(1+t+r)1+γ-2δ(1+|q|)1-γ|K||I||L^ZKϕμν|+|K||I|/2|L^ZKϕμν||J||I|(|(L^ZJH1)LL|1+|q|+|L^ZJH1|1+t). 6.95

The Sharp L 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 0 close to the light cone |t-r|<1-c. It therefore only remains to get control of 0L^ZIhμν1 close to the light cone |t-r|<(1-c)t, where 0<c<1. When |t-r|<(1-c)t, that we have, by (6.57) and (6.58),

LZIghμν1=LZIFμν-LZI(g-0)hμν0,|t-r|<(1-c)t, 6.96

where L^ZI(g-0)hμν0 is controlled by (6.92) using Proposition 6.11 as follows:

|LZI(~g-0)hμν0|εM(1+t+r)3-2δ(1+q+)γ, 6.97

and by (6.91) as

|LZIFμν(H)(h,h)|ε(1+q+)-11+t+r|J||I||L^ZJh|+ε2(1+q+)-4δ(1+t+r)3-4δ(1+|q|)+ε3(1+q+)-6δ(1+t+r)3-6δ(1+|q|)3+|K||I|/2|L^ZKh||J||I|-1|L^ZJh|. 6.98

It remains to estimate the difference ~g-0 and the commutators

0L^ZIhμν1=LZI0hμν1+[0L^ZI-LZI0]hμν1=LZI~ghμν1-LZI(~g-0)hμν1+[0L^ZI-LZI0]hμν1.

By (6.94)

|[0L^ZI-LZI0]hμν1|ε(1+|q|)-11+t+r|K||I||L^ZKhμν1|, 6.99

and by,

|[(~g-0)L^ZI-LZI(~g-0)]hμν1|ε(1+q+)-γ(1+t+r)1+γ-2δ(1+|q|)1-γ|K||I||L^ZKhμν1|. 6.100

Since LZI(~g-0)hμν1-[(~g-0)L^ZI-LZI(~g-0)]hμν1=(~g-0)L^ZIhμν1, which can be estimated in the same way, we obtain

|LZI(~g-0)hμν1|ε(1+q+)-γ(1+t+r)1+γ-2δ(1+|q|)1-γ|K||I|+1|L^ZKhμν1|ε2(1+q+)-2γ(1+t+r)2+γ-4δ(1+|q|)2-γ. 6.101

Summing up,

|0L^ZIhμν1|ε(1+q+)-11+t+r|J||I||L^ZJh|+|K||I|/2|L^ZKh||J||I|-1|L^ZJh|+ε2(1+q+)-4δ(1+t+r)3-4δ(1+|q|)+ε2(1+q+)-2γ(1+t+r)2+γ-4δ(1+|q|)2-γ. 6.102

From Lemma 6.21 and the estimate (6.17), we get

Lemma 6.27

Let Dt={(t,x);|t-|x||c0t} for some constant 0<c0<1 and w¯(q)=(1+q+)1+γ where -1γ<γ-2δ. Then

(1+t+|x|)|L^ZIh1(t,x)w¯(q)|ε+0t(1+τ)0L^ZIh1(τ,·)w¯L(Dτ)dτ. 6.103

Proposition 6.28

If the weak energy bounds and initial bounds hold, then we have, for any 0γ<γ-2δ and |I|=kN-5, that there are constants ck such that

|L^ZIh1|ckε(1+t)ckε(1+t+r)-1(1+q+)-1-γ. 6.104

The same estimates hold for h in place of h1 if γ=0.

Proof

Let Nk(t)=(1+t)|I|kL^ZIh1(t,·)w¯L(Dt). We will prove (6.104) by induction, noting that it is true for k=0 by (6.68). Then, by Lemma 6.27, we have, for k1,

Nk(t)ε+0tε1+τNk(τ)dτ+0t11+τNk-1(τ)2dτ, 6.105

where the bounds (6.33) have been used. By the induction hypothesis, Nk(τ)2ε2ck-12,(1+τ)2ck-1ε, so for some ck4ck-1,

Nk(t)ck0tε1+τNk(τ)dτ+ckε(1+t)2ck-1ε. 6.106

Using Grönwall’s lemma with G denoting the integral we get G(t)ε(1+t)-1ck(G(t)+ε(1+t)2ck-1ε) and multiplying with the integrating factor we get (G(t)(1+t)-ckε)ckε2(1+t)2ck-1ε-ckε-1. Assuming that ck4ck-1, we get G(t)ckε(1+t)ckε, and hence Nk(t)ckε(1+t)ckε.

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 ~gϕ=F, with the metric g such that, for Hαβ=gαβ-mαβ,

(1+|q|)-1|H|LL+|H|LL+|¯H|Cε(1+t)-1,(1+|q|)-1|H|+|H|Cε(1+t)-12(1+|q|)-12(1+q-)-μ 6.107

for some μ>0. Set

w=(1+|r-t|)1+2γ,r>t1+(1+|r-t|)-2μ,rtandw=(1+2γ)(1+|r-t|)2γ,r>t2μ(1+|r-t|)-1-2μ,rt.

Then, for any 0<γ1 and 0<εγ/C1, we have

Σt|ϕ|2wdx+0tΣτ|¯ϕ|2wdxdτ8Σ0|ϕ|2wdx+0tCε1+τΣτ|ϕ|2wdxdτ+160t(Στ|F|2wdx)1/2(Στ|ϕ|2wdx)1/2dτ. 6.108

The Lowest Order Energy Estimate for Einstein’s Equations

Let

Ek(t)=|I|kΣt|ZIh1|2wdxandSk(t)=|I|k0tΣt|ZIh1|2wdxdτ. 6.109

By Lemma 6.29, we have

E0(t)+S0(t)8E0(0)+0tε1+τE0(τ)+F(τ,·)w1/2L2E0(τ)1/2dτ, 6.110

where F=|Fμν(h)(h,h)+T^μν-~ghμν0|, where with h¯=hTS, T,SS, we have

|Fμν||/Pμν(h,h)|+|¯h||h|+|h||h|2(|h¯|+|¯h|+|h||h|)|h|ε|h|(1+t+r)(1+q+). 6.111

Writing h=h0+h1, we see that it is enough to estimate

Fj=ε|hj|(1+t+r)(1+q+) 6.112

for j=0,1. We have

F1(t,·)w1/2L2ε(1+t)-1h1(t,·)w1/2L2=ε(1+t)-1E0(t)1/2 6.113

and F0Mε(1+t+r)-3(1+q+)-1, so

F0(t,·)w1/2L2εM((1+q+)2γ-1(1+t+r)6r2dr)1/2Mε(1+t)2-γ. 6.114

As far as the energy estimate is concerned, one could have picked hμν0 to satisfy ~ghμν0=0 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

|~ghμν0||[~g-0]hμν0|+|[0-]hμν0|+|hμν0|C0|H1|M(1+t+r)3+M2χ(rt+1)(1+t+r)4+Mχ(rt+1)(1+t+r)3, 6.115

and hence, using Hardy’s inequality,

~ghμν0(t,·)w1/2L2CM(1+t)-2H1(t,·)w1/2L2+M0M(1+t)-3/2, 6.116

where M0 is a universal constant.

Hence,

E0(t)8E0(0)+Cε0tE0(τ)1+τdτ+Cε0tME0(τ)1/2(1+t)2-γdτ+16M00tME0(τ)1/2(1+τ)3/2dτ+160tT^(τ,·)L2E0(τ)1/2dτ 6.117

for some univeral constant M0.

Higher Order L2 Energy Estimates

For this section we have to make the following smallness assumption on ε:

ckεδ, 6.118

where ck are the constants in Proposition 6.28.

L2 Estimate of the Inhomogeneous Term

It follows from (6.91) that, with k=|I| and k=[k/2]+1, we have

|LZIFμν(h)(h,h)|F1k0+F1k1+F2k0+F2k1+F3k0+F3k1+F4k0+F4k1, 6.119

where

F1kj=ε(1+t+r)(1+q+)|J|k|L^ZJhj|,F2kj=ckε(1+t)ckε(1+t+r)(1+q+)|J|k-1|L^ZJhj| 6.120
F3kj=ε2(1+t)4δ(1+q+)-4δ(1+t+r)2(1+|q|)2|J||I||L^ZJhj|,F4kj=ε(1+t)2δ(1+q+)-2δ(1+t+r)(1+|q|)|J||I||¯L^ZJhj|. 6.121

For i=1,2, we have

(|F1k1|2wdx)1/2ε1+tEk(t)1/2,(|F2k1|2wdx)1/2ckε(1+t)ckε1+tEk-1(t)1/2. 6.122

We have

|F1k0|εM(1+t+r)3(1+q+),|F2k0|εM(1+t)ckε(1+t+r)3(1+q+), 6.123

and hence,

(|F1k0|2wdx)1/2εM(1+t)2-γ,(|F2k0|2wdx)1/2ckεM(1+t)2-γ-ckε. 6.124

For i=3 we will use Hardy’s inequality (Lemma 6.9), but first we divide it up into two terms for j=0,1:

|F3k0|ε2M(1+t)4δ(1+q+)-4δ(1+t+r)3(1+|q|)2, 6.125

and hence

(|F3k0|2wdx)1/2ε2M(1+t)2-4δ. 6.126

By Hardy’s inequality,

(|F3k1|2wdx)1/2|J||I|ε(1+t)2-4δ(|L^ZJh1|2(1+|q|)2wdx)1/2ε(1+t)2-4δEk(t)1/2. 6.127

Moreover,

|F4k0|εM(1+t)2δ(1+q+)-2δ(1+t+r)3(1+|q|), 6.128

and hence,

(|F4k0|2wdx)1/2εM(1+t)3-2γ. 6.129

The last term F4k1 will be estimated differently in terms of the space–time integral. We have

|F4k1|2wdxε2(1+t)4δ(1+q+)-4δ(1+t+r)2(1+|q|)2|J||I||¯L^ZJh1|2wdxε2(1+t)2-4δ|J||I||¯L^ZJh1|2wdx.

It follows that

(|F4k1|2wdx)1/2Ek(τ)1/2dτC(εSk(t))1/2(0tεEk(τ)dτ(1+τ)2-4δ)1/2εSk(t)+C20tεEk(τ)dτ(1+τ)2-4δ.

Summing up and using that δ1/4, we have

0t|LZIFμν||LZIh1|wdxdτC0t(εEk(τ)1/21+τ+ckε(1+τ)ckε1+τEk-1(τ)1/2+εM(1+t)2-γ-ckε)Ek(τ)1/2dτ+εSk(t). 6.130

Equivalence of Norms

The inhomogeneous terms contain factors of L^ZIh which we estimate by writing h=h0+h1, and estimate the L2 norm factors with h1 in terms of the energy of h1 whereas the L2 norms of h0 can be estimated directly. The commutator terms will in addition contain factors of L^ZIH, where we can also write H=H0+H1 and estimate the factors with H0 directly since it is explicit, and for the factors with L^ZIH1 we first use Hardy’s inequality to estimate them in terms of L^ZIH1. However H1 is only approximately equal to -h1. We have that H=-h+K(h), where K(h)=O(h2) and hence H1=-h1+K(h)-h0-H0. Differentiating, we see that to conclude that the norms of H1 are approximately bounded by those of h1 we have to estimate factors of the form L^ZJhL^ZKh, with |J|+|K||I|, in L2 with respect to the measure w. Again this can be estimated by writing h=h0+h1 and estimating the factors with h1 in terms of the energy (after possibly using Hardy’s inequality) and estimating the explicit factors with h0 directly. The conclusion of this process is that

L^ZIK(h)(t,·)w1/2L2ε(M+Ek(t)1/2),if|I|k. 6.131

Hence, since h0=-H0, it follows that

|I|kL^ZIH1(t,·)w1/2L2εM+Ek(t)1/2, 6.132

and similarly for the space–time integrals of tangential components.

L2 Estimate of the Wave Operator Applied to h0

By (6.92), using Hardy’s inequality we have

(LZI(~g-0)h0)(t,·)w1/2L2M(1+t)2Ek(t)1/2, 6.133

and by (6.93) we have

|I|k(LZI0h0)(t,·)w1/2L22Mk2M2(1+t)3 6.134

for some universal constant Mk.

L2 Estimates of the Wave Commutator

It remains to estimate the commutator, which, by (6.94) and (6.95), is bounded by

|[~gL^ZI-LZI~g]hμν1||[0L^ZI-LZI0]hμν1|+|[(~g-0)L^ZI-LZI(~g-0)]hμν1|F5k+F6k+F7k,

where

F5k=ε1+t|K||I||L^ZKhμν1| 6.135

and

F6k=ε(1+q+)-γ(1+t+r)2-2δ|J||I||L^ZJH1|1+|q|,F7k=ε(1+t)2δ(1+q+)-γ(1+t+r)(1+|q|)|J||I||(L^ZJH1)LL|1+|q|χ(rt+1), 6.136

since

|J||I|,|K||I|/2+1(|(L^ZJH1)LL|1+|q|+|L^ZJH1|1+t)|L^ZKhμν1|ε(1+t)2δ(1+q+)-γ(1+t+r)(1+|q|)|J||I|(|(L^ZJH1)LL|1+|q|+|L^ZJH1|1+t+r).

We have

(|F5k|2wdx)1/2ε1+tEk(τ)1/2. 6.137

By Hardy’s inequality,

(|F6k|2wdx)1/2|J||I|ε(1+t)2-2δ(|L^ZJh1|2(1+|q|)2wdx)1/2ε(1+t)2-2δEk(τ)1/2. 6.138

Dealing with the last term F7k requires the following slight generalization of Hardy’s inequality Corollary 13.3 in [37]:

Corollary 6.30

Let γ>0 and μ>0. Then, for any -1a1 and any ϕC0(R3), if, in addition, a<2min(γ,μ), we have

|ϕ|2(1+|q|)2(1+|q|)-a(1+t+|q|)1-awdx(1+q-)2μ|ϕ|2min(w,w(1+t+|q|)1-a)dx. 6.139

The last term F7k will be estimated differently in terms of the space–time integral. By Hardy’s inequality and (6.85), we have

|F7k|2wdxε21+τ|J||I|(1+q+)-2γ(1+τ+r)1-4δ(1+|q|)2|(L^ZJH1)LL|2(1+|q|)2wdxε21+τ|J||I||(L^ZJH1)LL|2min(w,w(1+τ+|q|)1-4δ)dxε21+τ(|J||I||¯L^ZJH1|2wdx+|J|+|K||I||L^ZJh|2|L^ZKh|2wdx(1+τ+r)1-4δ+|x|3τ/4M2wdx(1+τ)4)ε21+τ|J||I||¯L^ZJH1|2wdx+ε41+τ|J||I|(1+q+)-4δ(1+τ+r)3-8δ(|L^ZJh|2+|L^ZJh|2(1+|q|)2)wdx+ε2M2(1+τ)3+2μ. 6.140

Here we again write h=h0+h1. We have

|J||I|(1+q+)-4δ(1+τ+r)3-8δ(|L^ZJh0|2+|L^ZJh0|2(1+|q|)2)wdxM2(1+τ)3-2γ-4δ, 6.141

and by Hardy’s inequality again,

|J||I|(1+q+)-4δ(1+τ)3-8δ(|L^ZJh1|2+|L^ZJh1|2(1+|q|)2)wdx 6.142
1(1+τ)3-8δ|J||I||L^ZJh1|2wdx. 6.143

Hence,

|F7k|2wdxε21+τ|J||I||¯L^ZJh1|2wdx+ε2(1+τ)3(|J||I|ε2|L^ZJh1|2wdx+M2)+ε4M2(1+τ)4-2γ-4δ.

It follows that

(|F7k|2wdx)1/2Ek(τ)1/2dτC(εSk(t))1/2(0tε1+τEk(τ)dτ)1/2+C0tε(εEk(τ)+MEk(τ)1/2)(1+τ)3/2+ε2MEk(τ)1/2(1+τ)2-γ-2δdτεSk(t)+0tCε1+τEk(τ)dτ+0t(Cε(1+τ)3/2+Cε2(1+τ)2-γ-2δ)MEk(τ)1/2dτ.

Summing up, we have

0t|[~gL^ZI-LZI~g]hμν1||LZIh1|wdxdτεSk(t)+0tCε1+τEk(τ)dτ+0t(Cε(1+τ)3/2+Cε2(1+τ)2-γ-2δ)MEk(τ)1/2dτ.

Higher Order Energy L2 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 k-1 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

Ek(t)+Sk(t)8Ek(0)+32εSk(t)+16Mk0tMEk(τ)1/2(1+τ)3/2dτ+Cε0t(Ek(τ)1+τ+ck(1+τ)ckε1+τEk-1(τ))dτ+C0t(ε2(1+τ)2-γ-max{2δ,ckε}+ε(1+τ)3/2)MEk(τ)1/2dτ+160t(|I|kZIT(τ,·)L22)1/2Ek(τ)1/2dτ

for some universal constant Mk. We now choose ε so small that 32ε1 so that Sk(t) in the right can be absorbed into Sk(t) on the left, and so that by ckε2δ and CεMk, we obtain

Ek(t)8Ek(0)+32Mk0tMEk(τ)1/2(1+τ)3/2dτ+Cε0t(Ek(τ)1+τ+ck(1+τ)ckε1+τEk-1(τ))dτ+C0tε2MEk(τ)1/2(1+τ)2-γ-2δdτ+160t(|I|kZIT(τ,·)L22)1/2Ek(τ)1/2dτ.

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

VN(t)=k+Nxkpf(t,·,·)Lx2Lp2.

Theorem 7.1

(Local existence for the reduced Einstein–Vlasov system) Suppose N11. Given an initial time T0 and initial data (g|t=T0,tg|t=T0,f|t=T0) for the reduced Einstein–Vlasov system (1.2), (1.3), (1.11) such that

supp(f|t=T0){|x|+|p|B}

for some B0, and

VN(t)+EN(t)12<,

there exists T1>T0 such that a solution of the reduced Einstein–Vlasov system (1.2), (1.3), (1.11) exists for all t[T0,T1) and

VN(t)+EN(t)12+|I|NZIT(t,·)L1+|I|NZIT(t,·)L2<,for allt[T0,T1). 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 T be the supremum of all times T1 such that a solution of the reduced Einstein–Vlasov system (1.2), (1.3), (1.11) attaining the given data exists for all t[0,T1] and satisfies

EN(t)12CNε(1+t)δ,|I|N-1ZIT^(t,·)L1CNε 7.2

for all t[0,T1], where δ>0 is such that δ<γ<1-8δ and CN is a fixed large constant, to be determined, depending only on N, δ and supp(f0). Recall that 0<γ<1 is fixed in the statement of Theorem 1.2. Recall that T^μν=Tμν-12trTgμν. Clearly the set of such T1 is non–empty, by Theorem 7.1, and so T>0. Suppose T<.

By Proposition 6.1 the pointwise bounds

|h(t,x)|CNε(1+t)2δ(1+t+r)(1+q+)2δ,|I|+|J|N-4|IZJh(t,x)|CNε(1+t)2δ(1+t+r)(1+|q|)(1+q+)2δ 7.3

hold for some constant CN depending only on CN and on N. In particular, the assumptions of Proposition 2.1 are satisfied, and so, provided ε is sufficiently small,

supp(T^μν){(t,x)|x|ct+K}

for some 0<c<1, K0.

The assumptions of Proposition 6.3 are now satisfied, and so Proposition 6.3 and Theorem 6.4 imply that, for ε<εN, we have

Qk(t)8Qk(0)+MkM+CNε0tQk(τ)1+τ+Qk-1(τ)(1+τ)1-dkεdτ+Mk|I|k0tZIT^(τ,·)L2dτ 7.4

for each k=0,1,,N and for all t[0,T], where Q-10. Here εN, CN, d1,,dN are constants which depend only on CN, on N and on c and K and a lower positive bound for min{γ,1-γ}, whereas M0,,MN are universal constants (which in particular do not depend on CN).

The pointwise bounds (7.3) in particular imply that

|I|N-4|ZIΓ(t,x)|CNε(1+t)1+a

for t[0,T] and |x|ct+K, with a=2-2δ. The assumptions of Theorem 1.3 are therefore satisfied so that

|I|kZIT(t,·)L2Vk(1+DNε)(1+t)32+DNDk2+1Ek-1(t)12(1+t)1+a+1(1+t)320tEk(s)12(1+s)12dsVk(1+DNε)(1+t)32+DNDk2+1Qk(t)(1+t),

for all k=0,1,,N and for all t[0,T], where the constant DN depends on CN.

Now the L1 bounds (7.2) and the Sobolev inequality and Lemma 6.12 imply that

|I|N-4ZIT^(t,·)LCNε(1+t)3,

and so,

|I|kZIT^(t,·)L2(1+|J|k2+1ψZJh1(t,·)L)|I|kZIT(t,·)L2+|J|k2ZJT(t,·)L1|I|kψZIh1(t,·)L2,

where ψ(t,x) is the indicator function of the set {|x|ct+K}. Since ZJT(t,·)L2ZJT^(t,·)L, provided ε is sufficiently small, it therefore follows that

|I|kZIT^(t,·)L2Vk(C+DNε)(1+t)32+DNDk2+1Qk(t)(1+t)+DNεQk(t)(1+t)

for k=0,1,,N, where the constant C is independent of CN and the constant DN depends on CN. Inserting into (7.4) and using the fact that

QN(0)+DN/2+1+VN+M<ε,

and making Mk and CN larger if necessary gives

Qk(t)Mkε+CNε0tQk(τ)1+τ+Qk-1(τ)(1+τ)1-dkεdτ 7.5

for k=0,1,,N. It follows from an inductive argument that the bound (7.5) implies that

Qk(t)(M0+M1++Mk)ε(1+t)(d1++dk+(k+1)CN)ε 7.6

for all t[0,T] and k=0,1,,N, using the following form of the Grönwall inequality:

Lemma 7.2

For t>0 and continuous functions v,a,b:[0,t]R such that a0 and b is non-decreasing, if

v(s)0sa(s)v(s)ds+b(s)

for s[0,t], then

v(s)b(s)e0sa(s)ds.

Indeed, recall that Q-10, and so, from the bound (7.5) with k=0, it follows from the Lemma 7.2 with a(s)=CNε(1+s)-1 and b(s)=M0ε that

Q0(t)M0ε(1+t)CNε.

Now suppose that (7.6) holds for some 0kN-1. Then, since

CNε0tQk(τ)(1+τ)1-dk+1εdτCNε2(M0++Mk)0t(1+τ)(d1++dk+1+(k+1)CN)ε-1dτCNε2(M0++Mk)(1+t)(d1++dk+1+(k+1)CN)ε(d1++dk+1+(k+1)CN)ε(M0++Mk)ε(1+t)(d1++dk+1+(k+1)CN)ε,

it follows from (7.5) and Lemma 7.2 with a(s)=CNε(1+s)-1 and b(s)=Mk+1ε+(M0++Mk)ε(1+s)(d1++dk+1+(k1)CN)ε that

Qk+1(t)Mk+1ε+(M0++Mk)ε(1+t)(d1++dk+1+(k+1)CN)ε(1+t)CNε(M0++Mk+1)ε(1+t)(d1++dk+1+(k+2)CN)ε.

Moreover Theorem 1.3 implies that

|I|N-1ZIT^(t,·)L1ε(C+εDN)+εDNQN-2(t)(1+t)12-2δ+εDN0tQN(s)(1+t)32-2δds,

where the constant C is independent of CN and the constant DN depends on CN. Inserting the above bound for QN then gives

|I|N-1ZIT^(t,·)L1Cε+DNε2,

provided ε is sufficiently small, for some new C, DN, as above. Now, as above,

|I|N-1ZIT^(t,·)L1(1+|J|N2+1ψZJh1(t,·)L)|I|N-1ZIT(t,·)L1+|J|N2ZJT(t,·)L1|I|N-1ψZIh1(t,·)L1,

and, since

1|I|N-1ψZIh1(t,·)L1ψ12L21|I|N-1ψ12ZIh1(t,·)L2(1+t)3211+tE|I|(t)12,

where the equality (2.12) was used, it follows that

|I|N-1ZIT^(t,·)L1(C+εCN)(Cε+DNε2)+C+εCN(1+t)3(1+t)12QN(t),

and so,

|I|N-1ZIT^(t,·)L1Cε+DNε2, 7.7

where DN depends on CN and C does not.

It follows from the bound (7.6) with k=N and the bound (7.7), provided the constant CN is chosen so that CNmax{2(M0++MN),4C} and ε is chosen so that ε<min{δ2(d1++dN+(N+1)CN)-1,CN4DN}, that the bounds

EN(t)12CN2ε(1+t)δ2,|I|N-1ZIT^(t,·)L1CN2ε

hold for all t[0,T]. Appealing once again to the local existence theorem (Theorem 7.1), now with T0=T, this contradicts the maximality of T, and hence the solution exists and the estimates hold for all t[0,).

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

1

See Section 1.4 below for a discussion of the more familiar null condition in the context of wave equations.

2

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.

3

Note that the Einstein equations (1.1) are equivalent to Ric(g)αβ=Tαβ-12gαβtrgT.

4

In fact in Sections 4 and 5 a new translated time coordinate t~=t+t0 is introduced, which has the property that {t~=t0}={t=0}. It is more convenient to use the vector fields defined with respect to t~ than the vector fields defined with respect to t. See Section 2.2 for details.

5

Such a parameterisation of P 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).

6

The proof in [46] is based on a double null foliation, and an associated double null coordinate system (u,v,θ1,θ2), of the spacetimes which are constructed, and so the language used there is slightly different. In the coordinate system (u,v,θ1,θ2,pθ1,pθ2,pv) conjugate to the double null coordinate system for M, the vector fields θA, for A=1,2, are used. Defining appropriate Cartesian coordinates, one can show that θA take the form of Ω¯ijM. 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 (v-u)v is also used which, since u remains of size 1 in the support of the matter, agrees to leading order with the vector field uu+vv which, when written with respect to an appropriate Cartesian coordinate system, is seen to be equal to S¯M.

7

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(tx) denotes a function which decays at rate t-3 for |x|ct+K and vanishes for |x|ct+K—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 ϕ=T is |ϕ(t,x)|t-2, for |x|ct+K.

8

The notation X1 is later used to denote a cruder approximation to the geodesics.

9

For the boosts, B¯i, it is slightly more convenient to allow the functions B˚il to depend on p^. This dependence is in such a way, however, so that p^lB˚il involves only one derivative of Γβγα.

10

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 T3-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&#x0003c;258::AID-ANDP258&#x0003e;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 n-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 utt=c2(ut)Δu 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]

Articles from Archive for Rational Mechanics and Analysis are provided here courtesy of Springer

RESOURCES