Skip to main content
Springer logoLink to Springer
. 2017 Mar 28;3(1):9. doi: 10.1007/s40818-017-0026-8

The Global Nonlinear Stability of Minkowski Space for the Massless Einstein–Vlasov System

Martin Taylor 1,
PMCID: PMC6507450  PMID: 31149657

Abstract

Minkowski space is shown to be globally stable as a solution to the Einstein–Vlasov system in the case when all particles have zero mass. The proof proceeds by showing that the matter must be supported in the “wave zone”, and then proving a small data semi-global existence result for the characteristic initial value problem for the massless Einstein–Vlasov system in this region. This relies on weighted estimates for the solution which, for the Vlasov part, are obtained by introducing the Sasaki metric on the mass shell and estimating Jacobi fields with respect to this metric by geometric quantities on the spacetime. The stability of Minkowski space result for the vacuum Einstein equations is then appealed to for the remaining regions.

Keywords: Massless Einstein–Vlasov equations, Stability of Minkowski space, Sasaki metric

Introduction

It is of wide interest to understand the global dynamics of isolated self-gravitating systems in general relativity. Without symmetry assumptions, problems of this form present a great challenge even for systems arising from small data. In the vacuum, where no matter is present, the global properties of small data solutions were first understood in the monumental work of Christodoulou–Klainerman [10]. They show that Minkowski space is globally stable to small perturbations of initial data, i.e. the maximal development of an asymptotically flat initial data set for the vacuum Einstein equations which is sufficiently close to that of Minkowski space is geodesically complete, possesses a complete future null infinity and asymptotically approaches Minkowski space in every direction (see also Lindblad–Rodnianski [26], Bieri [2], and also Section 1.15 where these results, along with other related works, are discussed in more detail).

In the presence of matter, progress has been confined to models described by wave equations.1 Here collisionless matter, described by the Einstein–Vlasov system, is considered. This is a model which has been widely studied in both the physics and mathematics communities; see the review paper of Andréasson [1] for a summary of mathematical work on the system. New mathematical difficulties are present since the governing equations for the matter are now transport equations, though in the case considered here, where the particles have zero mass and hence travel through spacetime along null curves, the decay properties of the function describing the matter are compatible in a nice way with those of the spacetime metric.

The Einstein–Vlasov system takes the form

Ricμν-12Rgμν=Tμν,Tμν(x)=Pxfpμpν, 1
X(f)=0. 2

The unknown is a Lorentzian manifold (M,g) together with a particle density function f:P[0,), defined on a subset PTM of the tangent bundle of M called the mass shell. The function f(xp) describes the density of the matter at xM with velocity pPxTxM. Here (xμ,pμ) denote coordinates on the tangent bundle TM with pμ conjugate to xμ, so that (xp) denotes the point pμxμ|x in TM. The Ricci curvature and scalar curvature of (M,g) are denoted RicR respectively. The integral in (1) is taken with respect to a natural volume form, defined later in Section 2.2. The vector field XΓ(TTM) is the geodesic spray, i.e. the generator of the geodesic flow, of (M,g). The Vlasov equation (2) therefore says that, given (x,p)TM, if γx,p denotes the unique geodesic in M such that γx,p(0)=x,γ˙x,p(0)=p, then f is constant along (γx,p(s),γ˙x,p(s)), i.e. f is preserved by the geodesic flow of (M,g). Equation (2) is therefore equivalent to

f(x,p)=f(exps(x,p)), 3

for all sR such that the above expression is defined, where exps:TMTM is the exponential map defined by exps(x,p)=(γx,p(s),γ˙x,p(s)).

In the case considered here, where the collisionless matter has zero mass, f is supported on the mass shell

P:={(x,p)TMpis null and future directed},

a hypersurface in TM. In this case one sees, by taking the trace of (1), that the scalar curvature R must vanish for any solution of (1)–(2) and the Einstein equations reduce to

Ricμν=Tμν. 4

The main result is the following.

Theorem 1.1

Given a smooth asymptotically flat initial data set for the massless Einstein–Vlasov system suitably close to that of Minkowski Space such that the initial particle density function is compactly supported on the mass shell, the resulting maximal development is geodesically complete and possesses a complete future null infinity. Moreover the support of the matter is confined to the region between two outgoing null hypersurfaces, and each of the Ricci coefficients, curvature components and components of the energy momentum tensor with respect to a double null frame decay towards null infinity with quantitative rates.

The proof of Theorem 1.1, after appealing to the corresponding result for the vacuum Einstein equations, quickly reduces to a semi-global problem. This reduction is outlined below and the semi-global problem treated here is stated in Theorem 1.2.

Theorem 1.1 extends a result of Dafermos [12] which establishes the above under the additional restricted assumption of spherical symmetry. Note also the result of Rein–Rendall [29] which treats the massive case in spherical symmetry, where all of the particles have mass m>0 (i.e. f is supported on the set of future pointing timelike vectors p in TM such that g(p,p)=-m2). The main idea in [12] was to show, using a bootstrap argument, that, for sufficiently late times, the matter is supported away from the centre of spherical symmetry. By Birkhoff’s Theorem the centre is therefore locally isometric to Minkowski space at these late times and the extension principle of Dafermos–Rendall [14] (see also [15]) then guarantees that the spacetime will be geodesically complete.

In these broad terms, a similar strategy is adopted here. The absence of good quantities satisfying monotonicity properties which are available in spherical symmetry, however, makes the process of controlling the support of the matter, and proving the semi-global existence result for the region where it is supported, considerably more involved. The use of Birkhoff’s Theorem and the Dafermos–Rendall extension principle also have to be replaced by the much deeper result of the stability of Minkowski space for the vacuum Einstein equations. The use of the vacuum stability result, which is in fact appealed to in two separate places, is outlined below.

The Uncoupled Problem

It is useful to first recall what happens in the uncoupled problem of the Vlasov equation on a fixed Minkowski background. Let v=12(t+r),u=12(t-r) denote standard null coordinates on Minkowski space R3+1 (these form a well defined coordinate system on the quotient manifold R3+1/SO(3) away from the centre of spherical symmetry {r=0}) and suppose f is a solution of the Vlasov equation (2) with respect to this fixed background arising from initial data with compact support in space. From the geometry of null geodesics in Minkowski space it is clear that the projection of the support of f to the spacetime is related to the projection of the initial support of f as depicted in the Penrose diagram in Figure 1.

Fig. 1.

Fig. 1

The projection of the support of f in the uncoupled problem

In particular, for sufficiently late advanced time v0 the matter will be supported away from the centre {r=0}, and there exists a point qR3+1/SO(3), lifting to a (round) 2-sphere SR3+1, with r(q)>0 such that

π(supp(f)){vv0}J-(S),

where J-(S) denotes the causal past of S and π:PM denotes the natural projection.

Initial Data and First Appeal to the Vacuum Result

Recall that initial data for the Einstein–Vlasov system (1)–(2) consists of a 3-manifold Σ with a Riemannian metric g0, a symmetric (0, 2) tensor K and an initial particle density function f0 satisfying the constraint equations,

div0Kj-(dtr0K)j=T0j,R0+(tr0K)2-|K|g02=2T00, 5

for j=1,2,3, where div0,tr0,R0 denote the divergence, trace and scalar curvature of g0 respectively, and T00,T0j denote (what will become) the 00 and 0j components of the energy momentum tensor. See [30] for a discussion of initial data for the Einstein–Vlasov system. The topology of Σ will here be assumed to be that of R3. The issue of constructing solutions to the constraint equations (5) will not be treated here. A theorem of Choquet-Bruhat [4] guarantees that, given such an initial data set, a solution to (1)–(2) will exist locally in time.

The initial density function f0 is assumed to have compact support. It will moreover be assumed that f0 and a finite number of its derivatives will be small initially. The precise condition is given in Section 5. Note the assumption of compact support for f0 is in both the spatial variable x, and in the momentum variable p. As will become evident, the compact support in space is used in a crucial way. The assumption of compact support in momentum is made for simplicity and can likely be weakened.2

Let BΣ be a simply connected compact set such that π(supp(f|PΣ))B, where PΣ denotes the mass shell over Σ. By the domain of dependence property of the Einstein–Vlasov system the development of the complement of B in Σ, D+(Σ\B), will solve the vacuum Einstein equations,

Ricμν=0. 6

The stability of Minkowski space theorem for the vacuum Einstein equations then guarantees the stability of this region. See Klainerman–Nicolò [21] where exactly this situation is treated. In particular, provided g0,K satisfy a smallness condition3 in Σ\B (i.e. they are suitably close to the g0,K of Minkowski space), there exists a future complete, outgoing null hypersurface N in this region which can be foliated by a family of 2-spheres, {Su0,v} parameterised by v, approaching the round 2-sphere as v. Moreover the Ricci coefficients and curvature components of the spacetime will decay to their corresponding Minkowski values and, by taking g0,K suitably small, certain weighted quantities involving them can be made arbitrarily small on N. It will be assumed that g0,K are sufficiently small so that the precise conditions stated in Theorem 5.1 are satisfied on N. A second appeal to a form of the stability of Minkowski space result in the vacuum (which can be shown to also follow from the Christodoulou–Klainerman Theorem [10] using upcoming work) will be made in Section 1.4 below.

Cauchy Stability

By Cauchy stability for the Einstein–Vlasov system (see Choquet-Bruhat [4] or Ringström [30]), Cauchy stability for the geodesic equations and the considerations of Section 1.1, provided the initial data on Σ are taken sufficiently small, there exists a 2-sphere SM and an incoming null hypersurface N_ such that SN_, Area(S)>0, π(supp(f))S=, and

π(supp(f))J-(N_)J-(S).

In other words, the existence of the point q in the Penrose diagram of Figure 1 is stable. It can moreover be assumed that the N above and N_ intersect in one of the 2-spheres of the foliation of N,

NN_=Su0,v0,

where v0 can be chosen arbitrarily large. The induced data on N_ can be taken to be arbitrarily small, provided they are sufficiently small on Σ.

A Second Version of the Main Theorem and Second Appeal to the Vacuum Result

A more precise version of the main result can now be stated. A final version, Theorem 5.1, is stated in Section 5.

Theorem 1.2

Given characteristic initial data for the massless Einstein–Vlasov system (1)–(2) on an outgoing null hypersurface N and an incoming null hypersurface N_ as above4, intersecting in a 2-sphere Su0,v0 of the foliation of N, then, if v0 is sufficiently large and the characteristic initial data are sufficiently small5, then there exists a unique spacetime (M,g) endowed with a double null foliation (uv) solving the characteristic initial value problem for (1)–(2) in the region v0v<, u0uuf, where N={u=u0}, N_={v=v0}, and uf can be chosen large so that f=0 on the mass shell over any point xM such that u(x)uf-1, i.e. π(supp(f))J-({u=uf-1}). Moreover each of the Ricci coefficients, curvature components and components of the energy momentum tensor (with respect to a double null frame) decay towards null infinity with quantitative rates.

This is depicted in Figure 2.

Fig. 2.

Fig. 2

The matter is supported in the shaded region and hence the spacetime will solve the vacuum Einstein equations in the unshaded regions

Theorem 1.1 follows from Theorem 1.2 by the considerations of Section 1.2, Section 1.3, and by another application of the vacuum stability of Minkowski space result with the induced data on a hyperboloid contained between the null hypersurfaces {u=uf} and {u=uf-1}. The problem of stability of Minkowski space for the vacuum Einstein equations (6) with hyperboloidal initial data was treated by Friedrich [17], though his result requires the initial data to be asymptotically simple. This is, in general, inconsistent with the induced data arising from Theorem 1.2.6 Whilst a proof of the hyperboloidal stability of Minkowski space problem with initial data compatible with Theorem 1.2 can most likely be distilled from the work [10], there is currently no precise statement to appeal to. In future work it will be shown how one can alternatively appeal directly to [10] by extending the induced scattering data at null infinity and solving backwards, in the style of [13].

A precise formulation of Theorem 1.1, including an explicit statement of the norms used in the first appeal to the vacuum result in Section 1.2 and the Cauchy stability argument of Section 1.3, will not be made here. The assumptions made in Theorem 5.1, the final version of Theorem 1.2, will be given some justification at various places in the introduction however. The remainder of the paper will concern Theorem 1.2, and in the remainder of the introduction its proof will be outlined. The greatest new difficulty is in obtaining a priori control over derivatives of f. The approach taken involves introducing the induced Sasaki metric on the mass shell P and estimating certain Jacobi fields on P in terms of geometric quantities on the spacetime (M,g). This approach is outlined in Section 1.14 below.

Note that the analogue of Theorem 1.2 for the vacuum Einstein equations (6) follows from a recent result of Li–Zhu [25].

The Bootstrap Argument

The main step in the proof of Theorem 1.2 is in obtaining global a priori estimates for all of the relevant quantities. Once they have been established there is a standard procedure for obtaining global existence, which is outlined in Section 12. The remainder of the discussion is therefore focused on obtaining the estimates.

Moreover, using a bootstrap argument, it suffices to show that if the estimates already hold in a given bootstrap region of the form {u0uu}{v0vv}, depicted in Figure 3, then they can be recovered in this region with better constants independently of u,v. This is extremely useful given the strongly coupled nature of the equations.

Fig. 3.

Fig. 3

The bootstrap region

The better constants in the bootstrap argument arise from either estimating the quantities by the initial data on {v=v0} and {u=u0} or by 1v0, and using the smallness of the initial data and the largeness of v0. Recall that, in the setting of Theorem 1.1, both the largeness of v0 and the smallness of the induced data on N={u=u0}, N_={v=v0} arise by taking the asymptotically flat Cauchy data on Σ to be suitably small.

The Double Null Gauge

The content of the Einstein equations is captured here through the structure equations and the null Bianchi equations associated to the double null foliation (uv). The constant u and constant v hypersurfaces are outgoing and incoming null hypersurfaces respectively, and intersect in spacelike 2-spheres which are denoted Su,v. This choice of gauge is made due to its success in problems which require some form of the null condition7 to be satisfied.8 See, for example, [7, 9, 13, 21, 27].

The foliation defines a double null frame (see Section 2.1) in which one can decompose the Ricci coefficients, which satisfy so called null structure equations, the Weyl (or conformal) curvature tensor, whose null decomposed components satisfy the null Bianchi equations, and the energy momentum tensor (which, by the Einstein equations (4), is equal to the Ricci curvature tensor).

It is the null structure and Bianchi equations which will be used, together with the Vlasov equation (2), to estimate the solution. Following the notation of [13, 27], the null decomposed Ricci coefficients will be schematically denoted Γ. Two examples are the outgoing shear χ^, which is a (0, 2) tensor on the spheres Su,v, and the renormalised outgoing expansion trχ-2r, which is a function on the spacetime, renormalised using the function r so that the corresponding quantity in Minkowski space will vanish.

The null decomposed components of the Weyl curvature tensor will be schematically denoted ψ and the null decomposed components of the energy momentum tensor will be schematically denoted T. This schematic notation, together with the p-index notation described in Section 1.8 below, will be used to convey structural properties of the equations which are heavily exploited later.

The Schematic Form of the Equations

The null structure equations for the Ricci coefficients Γ, which are stated in Section 2.5, take the following schematic form, graphic file with name 40818_2017_26_Figa_HTML.jpgHere Inline graphic and Inline graphic denote the projections of the covariant derivatives in the incoming and outgoing null directions respectively to the spheres Su,v. The 1rΓ terms appear in the equations for the outgoing and incoming expansions trχ-2r,trχ_+2r, which are renormalised using the function r. Each Γ satisfies exactly one of the two form of equations (7) and hence are further decomposed as Γ(3) or Γ(4) depending on whether they satisfy an equation in the Inline graphic or Inline graphic direction respectively. It should be noted that there are further null structure equations satisfied by the Ricci coefficients which take different forms to (7), some of which will make an appearance later.

The Weyl curvature components ψ can be further decomposed into Bianchi pairs, defined in Section 3.1, which are denoted (ψ,ψ) (examples are (ψ,ψ)=(α,β) or (β,(ρ,σ))). This notation is used to emphasise a special structure in the Bianchi equations, which take the form, graphic file with name 40818_2017_26_Figb_HTML.jpg Here Inline graphic denote certain angular derivative operators on the spheres of intersection of the double null foliation, and T schematically denote projected covariant derivatives of T in either the 3, 4 or angular directions.

The Ricci coefficients can be estimated using transport estimates for the null structure equations (7) since derivatives of Γ do not appear explicitly on the right hand sides of the equations. The transport estimates are outlined below in Section 1.11 and carried out in detail in Section 10. Note that using such estimates does, however, come with a loss, namely the expected fact that angular derivatives of Γ live at the same level of differentiability as curvature is not recovered. This fact can be recovered through a well known elliptic procedure, which is outlined below in Section 1.12 and treated in detail in Section 11. One cannot do the same for the curvature components and the Bianchi equations (8) due to the presence of the Inline graphic terms on the right hand sides. In order to obtain “good” estimates for the Bianchi equations one must exploit the special structure which, if S denotes one of the spheres of intersection of the null foliation, takes the following form, graphic file with name 40818_2017_26_Figc_HTML.jpgi.e. the adjoint of the operator Inline graphic is Inline graphic. Using this structure, if one contracts the Inline graphic equation with ψ and adds the Inline graphic equation contracted with ψ, the terms involving the angular derivatives will cancel upon integration and an integration by parts yields energy estimates for the Weyl curvature components. It is through this procedure that the hyperbolicity of the Einstein equations manifests itself in the double null gauge. These energy estimates form the content of Section 9 and, again, are outlined below in Section 1.10.

We are therefore forced (at least at the highest order) to estimate the curvature components in L2. All of the estimates for the Ricci coefficients here will also be L2 based. In order to deal with the nonlinearities in the error terms of the equations, the same L2 estimates are obtained for higher order derivatives of the quantities and Sobolev inequalities are used to obtain pointwise control over lower order terms. 9 To do this, a set of differential operators D is introduced which satisfy the commutation principle of [13]. This says that the “null condition” satisfied by the equations (which is outlined below and crucial for the estimates) and the structure discussed above are preserved when the equations are commuted by D, i.e. DΓ and Dψ satisfy similar equations to Γ and ψ. The set of operators D is introduced in Section 3.3.

As they appear on the right hand side of the equations for ψ,Γ, the energy momentum tensor components T are also, at the highest order, estimated in L2. These estimates are obtained by first estimating f using the Vlasov equation. It is important that the components of the energy momentum tensor, and hence also f, are estimated at one degree of differentiability greater than the Weyl curvature components ψ. The main difficulty in this work is in obtaining such estimates for the derivatives of f. See Section 1.14 for an outline of the argument and Section 8 for the details.

The p-Index Notation and the Null Condition

The discussion in the previous section outlines how one can hope to close the estimates for Γ and ψ from the point of view of regularity. Since global estimates are required, it is also crucial that all of the error terms in the equations decay sufficiently fast in v (or equivalently, since everything takes place in the “wave zone” where r:=v-u+r0 is comparable to v, sufficiently fast in r) so that, when they appear in the estimates, they are globally integrable. For quasilinear wave equations there is an algebraic condition on the nonlinearity, known as the null condition, which guarantees this [20]. By analogy, we say the null structure and Bianchi equations “satisfy the null condition” to mean that, on the right hand sides of the equations, certain “bad” combinations of the terms do not appear. There is an excellent discussion of this in the introduction of [13]. As they are highly relevant, the main points are recalled here.

Following [13], the correct hierarchy of asymptotics in r for Γ, ψ and T is first guessed. This guess is encoded in the p-index notation. Each Γ,ψ,T is labelled with a subscript p to reflect the fact that rp|Γp|,rp|ψp|,rp|Tp| are expected to be uniformly bounded.10 Here |·| denotes the norm with respect to the induced metric on the 2-spheres Inline graphic. The weighted L2 quantities which will be shown to be uniformly bounded will imply, via Sobolev inequalities, that this will be the case at lower orders.

In Theorem 5.1, the precise formulation of Theorem 1.2, it is asymptotics consistent with the p-index notation which will be assumed to hold on the initial outgoing hypersurface N={u=u0}. In the context of Theorem 1.1, recall the use of the Klainerman–Nicolò [21] result in Section 1.2. The result of Klainerman–Nicolò guarantees that, provided the asymptotically flat Cauchy data on Σ has sufficient decay, there indeed exists an outgoing null hypersurface in the development of the data on which asymptotics consistent with the p-index notation hold.

Geometry of Null Geodesics and the Support of f

If the Ricci coefficients are assumed to have the asymptotics described in the previous section then it is straightforward to show that uf can be chosen to have the desired property that f=0 on the mass shell over any point xM with u(x)uf-1. In fact, it can also be seen that the size of the support of f in Px, the mass shell over the point xM, will decay as v(x). This decay is important as it is used to obtain the decay of the components of the energy momentum tensor. The argument for obtaining the decay properties of supp(f) is outlined here and presented in detail in Section 7.

The decay of the size of the support of f in Px can be seen by considering the decay of components of certain null geodesics. Suppose first that γ is a future directed null geodesic in Minkowski space emanating from a compact set in the hypersurface {t=0} such that the initial tangent vector γ˙(0) is contained in a compact set in the mass shell over {t=0}. One can show that, if

γ˙(s)=p4(s)e4+p3(s)e3+pA(s)eA,

where e1=θ1,e2=θ2,e3=u,e4=v is the standard double null frame in Minkowski space, then the bounds,

p4C,r2p3Cp4,r2|pA|Cp4,forA=1,2, 9

hold uniformly along γ for some constant C.11

The bounds (9) will be assumed to hold in supp(f) in the mass shell over the initial hypersurface {v=v0} in Theorem 5.1, the precise formulation of Theorem 1.2. In the setting of Theorem 1.1, the bounds (9) can be taken to hold on the hypersurface N_={v=v0} in view of the Cauchy stability argument of Section 1.3 and the fact that they hold globally in supp(f) for the uncoupled problem of the Vlasov equation on a fixed Minkowski background.

The idea is now to propagate the bounds (9) from the initial hypersurface {v=v0} into the rest of the spacetime. If e1,,e4 now denotes the double null frame of (M,g) (defined in Section 2.1), one then uses the geodesic equations,

p˙μ(s)+pα(s)pβ(s)Γαβμ(s)=0,

for a null geodesic γ with γ˙(s)=pμ(s)eμ|γ(s), a bootstrap argument and the pointwise bounds rp|Γp|C to see that

p˙4(s)=Op4(0)2r(s)2,ddsr(s)2p3(s)=Op4(0)2r(s)2,ddsr(s)2pA(s)=Op4(0)2r(s)2,forA=1,2.

The estimates (9) follow by integrating along γ since drdsp4(0).

Finally, to show the retarded time uf can be chosen as desired, let u(s) denote the u coordinate of the geodesic γ at time s. Then

|u˙(s)|p3(s)p4(0)r(s)2,

and hence |u(s)-u(0)|C for all s[0,), for some constant C.

Global Energy Estimates for the Curvature Components

The global energy estimates for the Weyl curvature components can now be outlined. They are carried out in detail in Section 9. The Bianchi equations take the schematic form, graphic file with name 40818_2017_26_Fige_HTML.jpg where c is a constant (which is different for the different ψp) and Ep is an error which will decay, according to the p notation, like 1rp. Similarly, Ep+32 is an error which will decay like 1rp+32. Recall from equation (8) that the errors Ep and Ep+32 contain linear terms involving Γ, nonlinear terms of the form Γ·ψ and Γ·T, and projected covariant derivatives of components of the energy momentum tensor T. Using (10) to compute Divrw|ψp|2e3, Divrw|ψp|2e4, after summing a cancellation will occur in the terms involving angular derivatives, as discussed in Section 1.7, and they can be rewritten as a spherical divergence. If the weight w is chosen correctly, a cancellation12 also occurs in the ctrχψp term (which, since trχ looks like 2r to leading order, cannot be included in the error Ep+32) and one is then left with,

BDivrw|ψp|2e3+Divrw|ψp|2e4=Brwψp·Ep+ψp·Ep+32, 11

where Div denotes the spacetime divergence and B denotes a spacetime “bulk” region bounded to the past by the initial characteristic hypersurfaces, and to the future by constant v and constant u hypersurfaces. See Figure 3. Note that this procedure will generate additional error terms but they can be treated similarly to those arising from the errors in (10) and hence are omitted here. See Section 9 for the details.

If the curvature fluxes are defined as,

Fv0,v1(u)=ψp{u=u}{v0vv}rw(ψp,ψp)|ψp|2,Fu0,u2(v)=ψp{v=v}{u0uu}rw(ψp,ψp)|ψp|2,

then by the divergence theorem, when the above identity (11) is summed over all Bianchi pairs (ψp,ψp), the left hand side becomes

Fv0,v1(u)+Fu0,u2(v)-Fv0,v1(u0)-Fu0,u2(v0).

Due to the relation between the weights w(ψp,ψp) and p,p, and the bounds assumed for Γ and T through the bootstrap argument, the right hand side of (11) can be controlled by,

u0uFv0,v1(u)du+Cv0,

for some constant C (which, of course, arises from inserting the bootstrap assumptions). It is this step where one sees the manifestation of the null condition in the Bianchi equations. Dropping the Fu0,u2(v) term on the left yields,

Fv0,v1(u)Fv0,v1(u0)+Fu0,u2(v0)+u0uFv0,v1(u)du+Cv0,

and hence, by the Grönwall inequality, Fv0,v1(u) can be controlled by initial data and the term Cv0. Returning to the inequality,

Fv0,v1(u)+Fu0,u2(v)Fv0,v1(u0)+Fu0,u2(v0)+u0uFv0,v1(u)du+Cv0,

and inserting the above bounds for Fv0,v1(u), Fu0,u2(v) can now also be similarly controlled.

Global Transport Estimates for the Ricci Coefficients

Turning now to the global estimates for the Ricci coefficients, which are treated in detail in Section 10, in the p-index notation the null structure equations take the form, graphic file with name 40818_2017_26_Figf_HTML.jpgwhere again Ep is an error which decays, according to the p-index notation, like 1rp and Ep+2 decays like 1rp+2. Recall from equation (7) that Ep and Ep+2 contain linear terms involving Γ,ψ,T, and quadratic terms of the form Γ·Γ. The Inline graphic equations can be rewritten as graphic file with name 40818_2017_26_Figg_HTML.jpgTo estimate the Γ(4) one then uses the identity, for a function h on M, graphic file with name 40818_2017_26_Figh_HTML.jpgwhere the trχh term comes from the derivative of the volume form on Su,v, with h=r2p-2|Γ(4)p|2. The r-2 factor serves to cancel the trχ term (which, recall, behaves like 2r and so is not globally integrable in v). Hence,

vSu,vr2p-2|Γ(4)p|2dμS=Su,vr2p-2Γ(4)p·Ep+2dμS=O1r2,

since the volume form is of order r2. Integrating in v from the initial hypersurface {v=v0} then gives,

r2p-2Su,v|Γ(4)p|2dμSCr2p-2Su,v|Γ(4)p|2dμS|v=v0+Cv0. 12

Note that the error Ep+2 is integrated over a u= constant hypersurface. These are exactly the regions on which the integrals of the Weyl curvature components were controlled in Section 1.10, and it is for this reason the curvature terms in the error Ep+2 can be controlled in (12).

Since the volume form is of order r2, the bound (12) is consistent with Γ(4)p decaying like 1rp and, after repeating the above with appropriate derivatives of Γ(4)p, this pointwise decay can be obtained using Sobolev inequalities on the spheres.

It is not a coincidence that the p2 coefficient of trχΓ(4)p in the Inline graphic equation is exactly that which is required to obtain 1rp decay for Γ(4)p. In fact some of the Γ(4)p will decay faster than this but the other null structure equations are required, along with elliptic estimates, to obtain this. It is therefore the p2 coefficient which determines the p index given here to the Γ(4) as it restricts the decay which can be shown to hold using only the Inline graphic equations. Note the difference with [13] where the authors are not constrained by this coefficient as they there integrate “backwards” from future null infinity.

Turning now to the equations in the 3 direction, the Γ(3)p quantities are estimated using the identity, graphic file with name 40818_2017_26_Figi_HTML.jpgwith h=r2p-2|Γ(3)p|2. It does not now matter that trχ_ only decays like 1r since the integration in u will only be up to the finite value uf.

Suppose first that Γ(3)p satisfies graphic file with name 40818_2017_26_Figj_HTML.jpg where Ep+1 decays like 1rp+1 and Ep0 decays like 1rp but only contains Weyl curvature, energy momentum tensor and Γ(4) terms which have already been estimated (the energy momentum tensor estimates are outlined below as they present the greatest difficulty but in the logic of the proof are estimated first). Then,

uSu,vr2p-2|Γ(3)p|2dμSSu,vr2p-2|Γ(3)p|2+|Ep+1|2+|Ep0|2dμS.

Integrating from u0 to u and inserting the bootstrap assumptions and the previously obtained bounds for Ep0, the Grönwall inequality then gives,

Su,vr2p-2|Γ(3)p|2dμSSu,vr2p-2|Γ(3)p|2dμS|u=u0+Cv0+Cu0ufr2p|Ep0|2duCε0+1v0,

where ε0 controls the size of the initial data. Note that it was important that the only error terms which have not already been estimated are of the form Ep+1, and not Ep, in order to gain the 1v0 smallness factor. It turns out that there is a reductive structure in the null structure equations so that, provided they are estimated in the correct order, each Γ(3) satisfies an equation of the form (13) where Ep0 now also contains Γ(3) terms which have been estimated previously. Hence all of the Γ(3) can be estimated with smallness factors.

Elliptic Estimates and Ricci Coefficients at the Top Order

The procedure in Section 1.11 is used to estimate the Ricci coefficients, along with their derivatives at all but the top order, in L2 of the spheres of intersection of constant u and constant v hypersurfaces. The derivatives of Ricci coefficients at the top order are estimated only in L2 on null hypersurfaces. These estimates are obtained using elliptic equations on the spheres for some of the Ricci coefficients, coupled to transport equations for certain auxilliary quantities. This procedure is familiar from many other works (e.g. [9, 10]) and forms the content of Section 11. It should be noted that these estimates are only required here for estimating the components of the energy momentum tensor. If one were to restrict the semi-global problem of Theorem 1.2 to the case of the vacuum Einstein equations (6) then the estimates for the Ricci coefficients and curvature components could be closed with a loss (i.e. without knowing that angular derivatives of Ricci coefficients lie at the same degree of differentiability as the Weyl curvature components) as only the null structure equations of the form (7) would be used, and these elliptic estimates would not be required. See Section 1.7.

Global Estimates for the Energy Momentum Tensor Components

At the zeroth order the estimates for the energy momentum tensor components follow directly from the bounds (9), which show that the size of the region supp(f|Px)Px on which the integral in (1) is taken is decaying as r(x), and the fact that f is conserved along trajectories of the geodesic flow. For example, using the volume form for Px defined in Section 2.2, if sup{v=v0}|f|ε0, graphic file with name 40818_2017_26_Figk_HTML.jpgsince Inline graphic. In fact, provided the derivatives of f can be estimated, the estimates for the derivatives of T are obtained in exactly the same way.

Global Estimates for Derivatives of f

A fundamental new aspect of this work arises in obtaining estimates for the derivatives of f. Recall from Section 1.7 that, in order to close the bootstrap argument, it is crucial that the energy momentum tensor components T, and hence f, are estimated at one degree of differentiability greater than the Weyl curvature components, i.e. k derivatives of f must be estimated using only k-1 derivatives of ψ. Written in components with respect to the frame13 e1,e2,e3,e4,p1,p2,p4 for P, the Vlasov equation (2) takes the form,

X(f)=pμeμ(f)-pνpλΓνλμpμf=0,

where Γνλμ denote the Ricci coefficients of M. See (24)–(28) below. One way to estimate derivatives of f is to commute this equation with suitable vector fields and integrate along trajectories of the geodesic flow. If V denotes such a vector field, commuting will give,

X(Vf)=E,

where E is an error involving terms of the form V(Γνλμ). At first glance this seems promising as derivatives of the Ricci coefficients should live at the same level of differentiability as the Weyl curvature components ψ. This is not the case for all of the Γνλμ however, for example if V involves an angular derivative then V(Γ4AB), for A,B=1,2, will contain two angular derivatives of the vector field b. See (17) below for the definition of b and (26) for Γ4AB. The vector field b is estimated through an equation of the form, graphic file with name 40818_2017_26_Figl_HTML.jpgand hence, commuting twice with angular derivatives and using the elliptic estimates described in Section 1.12 will only give estimates for two angular derivatives of b by first order derivatives of ψ and T. The angular derivatives of the spherical Christoffel symbols Inline graphic, see (22) below, which also appear when commuting the Vlasov equation give rise to similar issues.

Whilst it may still be the case that E as a whole (rather than each of its individual terms) can be estimated just at the level of ψ, a different approach is taken here in order to see more directly that derivatives of f can be estimated at the level of ψ. This approach, which is treated in detail in Section 8, is outlined now.

Consider again a vector VT(x,p)P. Recall the form of the Vlasov equation (3). Using this expression for f and the chain rule,

Vf(x,p)=df|(x,p)V=df|exps(x,p)·dexps|(x,p)V,

for any s, and hence, if J(s):=dexps|(x,p)V,

Vf(x,p)=J(s)f(exps(x,p)). 14

If s<0 is taken so that π(exps(x,p)){v=v0} then the expression (14) relates a derivative of f at (xp) to a derivative of f on the initial hypersurface. It therefore remains to estimate the components of J(s), with respect to a suitable frame for P, uniformly in s and independently of the point (xp).

The metric g on the spacetime M can be used to define a metric on the tangent bundle TM, known as the Sasaki metric [33], which by restriction defines a metric g^ on the mass shell P. See Section 4 where this metric is introduced. With respect to this metric trajectories of the geodesic flow sexps(x,p) are geodesics in P and, for any vector VT(x,p)P, J(s):=dexps|(x,p)V is a Jacobi field along this geodesic (see Section 4). Therefore J(s) satisfies the Jacobi equation,

^X^XJ=R^(X,J)X, 15

where ^ denotes the induced connection on P, and R^ denotes the curvature tensor of (P,g^). Equation (15) is used, as a transport equation along the trajectories of the geodesic flow, to estimate the components of J. The curvature tensor R^ can be expressed in terms of (vertical and horizontal lifts of) the curvature tensor R of (M,g) along with its first order covariant derivatives R. See equation (90). At first glance the presence of R again appears to be bad. On closer inspection, however, the terms involving covariant derivatives of R are always derivatives in the “correct” direction so that they can be recovered by the transport estimates, and the components of J, and hence Vf, can be estimated at the level of ψ.

The above observations of course only explain how one can hope to close the estimates for T from the point of view of regularity. In order to obtain global estimates for the components of J one has to use the crucial fact that, according to the p-index notation, the right hand side of the Jacobi equation R^(X,J)X, when written in terms of ψ,T,p1,p2,p3,p4, decays sufficiently fast as to be twice globally integrable along sexps(x,p). This can be viewed as a null condition for the Jacobi equation and is brought to light through further schematic notation introduced in Section 8.2.

The fact that the right hand side of (15) has sufficient decay in r is perhaps not surprising. Consider for example the term

Hor(γ,γ˙)R(γ˙,Jh)γ˙, 16

in R^(X,J)X. Here γ is a geodesic in M such that exps(x,p)=(γ(s),γ˙(s)) and Jh is a vector field along γ on M such that, together with another vector field Jv along γ,

J(γ,γ˙)=Hor(γ,γ˙)(Jh)+Ver(γ,γ˙)(Jv),

with Hor(γ,γ˙) and Ver(γ,γ˙) denoting horizontal and vertical lifts at (γ,γ˙) (defined in Section 4). The slowest decaying ψ and T are those which contain the most e3 vectors. Whenever such ψ and T arise in (16) however, they will typically be accompanied by p3(s), the e3 component of γ˙(s), which (recall from Section 1.9) has fast 1r(s)2 decay. Similarly the non-decaying p4(s), the e4 component of γ˙(s), can only appear in (16) accompanied by the ψ and T which contain e4 vectors and hence have fast decay in r. In particular, potentially slowly decaying terms involving p4(s) multiplying the ψ and T which contain no e4 vectors do not arise in (16).

Finally, since Jf now itself is also conserved along sexps(x,p), second order derivatives of f can be obtained by repeating the above. If J1,J2 denote Jacobi fields corresponding to vectors V1,V2 at (xp) respectively, then,

V2V1f(x,p)=J2(s)J1(s)f(exps(x,p)).

In order to control V2V1f(x,p) it is therefore necessary to estimate the J2 derivatives of the components of J1 along sexps(x,p). This is done by commuting the Jacobi equation (15) and showing that the important structure described above is preserved. The Jacobi fields which are used, and hence the vectors V used to take derivatives of f, have to be carefully chosen. They are defined in Section 8.3.

Note that this procedure can be repeated to obtain higher order derivatives of f. Whilst the pointwise bounds on ψ at lower orders mean that lower order derivatives of f can be estimated pointwise, at higher orders this procedure will generate terms involving higher order derivatives of ψ and hence higher order derivatives of T must be estimated in L2 on null hypersurfaces. In fact, at the very top order, T is estimated in the spacetime L2 norm.

Related Previous Stability Results in General Relativity

There are several related previous works on the stability of Minkowski space for the Einstein equations coupled to various matter models. Without simplifying symmetry assumptions, the first such work was that of Christodoulou–Klainerman [10]. They show that, given an initial data set for the vacuum Einstein equations, satisfying an appropriate asymptotic flatness condition, which is sufficiently close to that of Minkowski space, the resulting maximal development is geodesically complete, possesses a complete future null infinity, and asymptotically approaches Minkowski space with quantitative rates. The result, more fundamentally, provided the first examples of smooth, geodesically complete, asymptotically flat solutions to the vacuum Einstein equations, other than Minkowski space itself. The existence of such spacetimes if far from trivial. The proof relies on foliating the spacetimes they construct by the level sets of a so called maximal time function, along with another, null, foliation by the level sets an optical function. Detailed behaviour of the solutions are obtained, along with various applications including a rigorous derivation of the Bondi mass loss formula.

The proof of Christodoulou–Klainerman was generalised by Zipser [36], who showed that the analogue of their theorem holds for electromagnetic matter described by the Maxwell equations. The proof of this generalisation again relies on foliating the spacetimes by the level hypersurfaces of a maximal time and optical function.

The Christodoulou–Klainerman proof was later revisited by Klainerman–Nicolò [21] who showed the stability of the domain of dependence of the complement of a ball in a standard spacelike hypersurface in Minkowski space. Their smallness condition on initial data is similar to that of Christodoulou–Klainerman, however the Klainerman–Nicolò proof is based on a double null foliation, defined as the level hypersurfaces of two, outgoing and incoming, optical functions. The proof of Theorem 1.2 in this work is based on a similar approach and moreover, since the Klainerman–Nicolò result is appealed to in its proof, the smallness condition required in Theorem 1.1 is similar to that of [21]. See Section 1.2.

A new proof of the stability of Minkowski space for the vacuum Einstein equations using the harmonic gauge, the gauge originally used by Choquet-Bruhat [3] to prove local existence for the vacuum Einstein equations, was developed by Lindblad–Rodnianski [26]. Their proof essentially reduces to a small data global existence proof for a system of quasilinear wave equations and, despite the equations failing to satisfy the classical null condition of Klainerman [20], is relatively technically simple. The proof moreover requires a weaker asymptotic flatness condition on the data, compared to [10], and also allows for coupling to matter described by a massless scalar field. The asymptotic behaviour obtained for the solutions is less precise, however, than in [10].

The Christodoulou–Klainerman proof was returned to again by Bieri [2], who imposes a weaker asymptotic flatness condition on the initial data, in terms of decay, and is able to close the proof using fewer derivatives of the solution than [10]. The proof again, as in [10], is based on a maximal–null foliation of the spacetimes.

The stability of Minkowski space problem for the Einstein–Maxwell system, as studied by Zipser, was returned to by Loizelet [24], this time using the harmonic gauge approach of Lindblad–Rodnianski. The harmonic gauge approach was also used by Speck [34], who considers the Einstein equations coupled to a large class of electromagnetic equations, which are derivable from a Lagrangian and reduce to the Maxwell equations in an appropriate limit. A recent result of LeFloch–Ma [23] on the problem for the Einstein–Klein–Gordon system also uses the harmonic gauge approach (see also [35]).

Finally, there are more global stability results for the Einstein equations with a positive cosmological constant, for example the works of Friedrich [17], Ringström [30] and Rodnianski–Speck [31]. A more comprehensive list can be found in the introduction to the work of Had z̆ ić–Speck [19].

Outline of the Paper

In the next section coordinates are defined on the spacetime to be constructed, and on the mass shell P. The Ricci coefficients and curvature components are introduced along with their governing equations. In Section 3 the schematic form of the quantities and equations are given. Three derivative operators are then introduced which are shown to preserve the schematic form of the equations under commutation. Some facts about the Sasaki metric are recalled in Section 4 and are used to describe certain geometric properties of the mass shell. A precise statement of Theorem 1.2 is given in Section 5, along with the statement of a bootstrap theorem. The proof of the bootstrap theorem is given in the following sections. The main estimates are obtained for the energy momentum tensor components, Weyl curvature components and lower order derivatives of Ricci coefficients in Sections 8, 9 and 10 respectively. The estimates for the Ricci coefficients at the top order are obtained in Section 11. The results of these sections rely on the Sobolev inequalities of Section 6, and the decay estimates for the size of supp(f|Px)Px as x approaches null infinity from Section 7. The fact that the retarded time uf can be chosen to have the desired property, stated in Theorem 1.2, is also established in Section 7. Finally, the completion of the proof of Theorem 1.2, through a last slice argument, is outlined in Section 12.

Basic Setup

Throughout this section consider a smooth spacetime (M,g) where M=[u0,u]×[v0,v)×S2, for some u0<uuf, v0<v, is a manifold with corners and g is a smooth Lorentzian metric on M such that (M,g), together with a continuous function f:P[0,), smooth on P\Z, where Z denotes the zero section, satisfy the Einstein–Vlasov system (1)–(2).

Coordinates and Frames

A point in M will be denoted (u,v,θ1,θ2). It is implicitly understood that two coordinate charts are required on S2. The charts will be defined below using two coordinate charts on Su0,v0={u=u0}{v=v0}. Assume u and v satisfy the Eikonal equation

gμνμuνu=0,gμνμvνv=0.

Following [9, 21], define null vector fields

Lμ:=-2gμννu,L_μ:=-2gμννv,

and the function Ω by

2Ω-2=-g(L,L_).

Let (θ1,θ2) be a coordinate system in some open set U1 on the initial sphere Su0,v0. These functions can be extended to define a coordinate system (u,v,θ1,θ2) on an open subset of the spacetime as follows. Define θ1,θ2 on {u=u0} by solving

L(θA)=0,forA=1,2.

Then extend to u>u0 by solving

L_(θA)=0,forA=1,2.

This defines coordinates (u,v,θ1,θ2) on the region D(U1) defined to be the image of U1 under the diffeomorphisms generated by L on {u=u0}, then by the diffeomorphisms generated by L_. Coordinates can be defined on another open subset of the spacetime by considering coordinates in another region U2Su0,v0 and repeating the procedure. These two coordinate charts will cover the entire region of the spacetime in question provided the charts U1,U2 cover Su0,v0. The choice of coordinates on U1,U2 is otherwise arbitrary.

The spheres of constant u and v will be denoted Su,v and the restriction of g to these spheres will be denoted Inline graphic. A vector field V on M will be called an Su,v vector field if VxTxSu(x),v(x) for all xM. Similarly for (r, 0) tensors. A one form ξ is called an Su,v one form if ξ(L)=ξ(L_)=0. Similarly for (0, s), and for general (rs) tensors.

In these coordinates the metric takes the form graphic file with name 40818_2017_26_Figm_HTML.jpg where b is a vector field tangent to the spheres Su,v, which vanishes on the initial hypersurface {u=u0}. Note that, due to the remaining gauge freedom, Ω can be specified on {u=u0} and {v=v0}. Since, in Theorem 5.1, it is assumed that 1Ω2-1 and Inline graphic are small on {u=u0}, it is convenient to set Ω=1 on {u=u0} so that they both vanish.

Integration of a function ϕ on Su,v is defined as graphic file with name 40818_2017_26_Fign_HTML.jpgwhere τ1,τ2 is a partition of unity subordinate to DU1,DU2 at uv.

Define the double null frame

eA=θA,forA=1,2,e3=1Ω2u,e4=v+bAθA, 18

and let (pμ;μ=1,2,3,4), denote coordinates on each tangent space to M conjugate to this frame, so that the coordinates (xμ,pμ) denote the point

pμeμ|xTxM,

where x=(xμ). This then gives a frame, {eμ,pμμ=1,2,3,4}, on TM. The Vlasov equation (2) written with respect to this frame takes the form

pμeμ(f)-Γνλμpνpλpμf=0,

where Γνλμ are the Ricci coefficients of g with respect to the null frame (18). For f as a function on the mass shell P, this reduces to,

pμeμ(f)-Γνλμ^pνpλp¯μ^f=0,

where μ^ now runs over 1, 2, 4, and p¯1,p¯2,p¯4 denote the restriction of the coordinates p1,p2,p4 to P, and p¯μ^ denote the partial derivatives with respect to this restricted coordinate system. Using the mass shell relation (21) below one can easily check, graphic file with name 40818_2017_26_Figo_HTML.jpg

Note that Greek indices, μ,ν,λ, etc. will always be used to sum over the values 1, 2, 3, 4, whilst capital Latin indices, ABC, etc. will be used to denote sums over only the spherical directions 1, 2. In Section 8 lower case latin indices ijk, etc. will be used to denote summations over the values 1,,7.

Remark 2.1

A seemingly more natural null frame to use on M would be

eA=θA,forA=1,2,e3=1Ωu,e4=1Ωv+bAθA. 20

Dafermos–Holzegel–Rodnianski [13] use the same “unnatural” frame for regularity issues on the event horizon. The reason for the choice here is slightly different and is related to the fact that ω_, defined below, is zero in this frame.

Null Geodesics and the Mass Shell

Recall that the mass shell PTM is defined to be the set of future pointing null vectors. Using the definition of the coordinates pμ and the form of the metric given in the previous section one sees that, since all of the particles have zero mass, i.e. since f is supported on P, the relation graphic file with name 40818_2017_26_Figp_HTML.jpgis true in the support of f. The identity (21) is known as the mass shell relation.

The mass shell P is a 7 dimensional hypersurface in TM and can be parameterised by coordinates (u,v,θ1,θ2,p1,p2,p4), with p3 defined by (21).

To make sense of the integral in the definition of the energy momentum tensor (1) one needs to define a suitable volume form on the mass shell, Px, over each point xM{uuf}. Since Px is a null hypersurface it is not immediately clear how to do this. Given such an x, the metric on M defines a metric on TxM, graphic file with name 40818_2017_26_Figq_HTML.jpgwhich in turn defines a volume form on TxM, graphic file with name 40818_2017_26_Figr_HTML.jpgA canonical one-form normal to Px can be defined as the differential of the function ΛX:TxMR which measures the length of XTxM,

Λx(X):=g(X,X).

Taking the normal -12dΛx to Px, the volume form (in the (u,v,θ1,θ2,p1,p2,p4) coordinate system) can be defined as graphic file with name 40818_2017_26_Figs_HTML.jpg

This is the unique volume form on Px compatible with the normal -12dΛx in the sense that graphic file with name 40818_2017_26_Figt_HTML.jpgand if ξ is another 3-form on Px such that graphic file with name 40818_2017_26_Figu_HTML.jpgthen graphic file with name 40818_2017_26_Figv_HTML.jpgSee Section 5.6 of [32].

The energy momentum tensor at xM therefore takes the form graphic file with name 40818_2017_26_Figw_HTML.jpg

Ricci Coefficients and Curvature Components

Following the notation of [9] (see also [10, 21]), define the Ricci coefficients

χAB=g(eAe4,eB),χ_AB=g(eAe3,eB),ηA=-12g(e3eA,e4),η_A=-12g(e4eA,e3),ω=12g(e4e3,e4).

The null second fundamental forms χ,χ_ are decomposed into their trace and trace free parts graphic file with name 40818_2017_26_Figx_HTML.jpgNote that due to the choice of frame, since e3 is an affine geodesic vector field, ω_:=12g(e3e4,e3)=0. Also note that in this frame ζA:=12g(eAe4,e3)=-η_A. The Christoffel symbols of Inline graphic with respect to the frame e1,e2 are denoted Inline graphic, graphic file with name 40818_2017_26_Figy_HTML.jpg

Define also the null Weyl curvature components

αAB=W(eA,e4,eB,e4),α_AB=W(eA,e3,eB,e3),βA=12W(eA,e4,e3,e4),β_A=12W(eA,e3,e3,e4),ρ=14W(e4,e3,e4,e3),σ=14W(e4,e3,e4,e3).

Here14

Wαβγδ=Rαβγδ-12(gαγRicβδ+gβδRicαγ-gβγRicαδ-gαδRicβγ), 23

is the Weyl, or conformal, curvature tensor of (M,g) and W denotes the hodge dual of W,

Wαβγδ=12ϵαβμνWμνγδ,

where ϵ is the spacetime volume form of (M,g).

Define the Su,v (0,2)-tensor Inline graphic to be the restriction of the energy momentum tensor defined in equation (1) to vector fields tangent to the spheres Su,v: graphic file with name 40818_2017_26_Figz_HTML.jpgSimilarly let Inline graphic denote the Su,v 1-forms defined by restricting the 1-forms T(e3,·),T(e4,·) to vector fields tangent to the spheres Su,v: graphic file with name 40818_2017_26_Figaa_HTML.jpgFinally, let Inline graphic denote the functions graphic file with name 40818_2017_26_Figab_HTML.jpg

The Minkowski Values

For the purpose of renormalising the null structure and Bianchi equations, define the following Minkowski values of the metric quantities using the function r:=v-u+r0, with r0>0 a constant chosen to make sure rinfuArea(Su,v0), graphic file with name 40818_2017_26_Figac_HTML.jpgwhere γ is the round metric on the unit sphere. Similarly, define

trχ=2r,trχ_=-2r,

and let Inline graphic denote the spherical Christoffel symbols of the metric Inline graphic, so that, graphic file with name 40818_2017_26_Figad_HTML.jpgwhere Inline graphic is the Levi-Civita connection of Inline graphic. These are the only non-identically vanishing Ricci coefficients in Minkowski space. All curvature components vanish, as do all components of the energy momentum tensor.

Note that the function r in general does not have the geometric interpretation as the area radius of the spheres Su,v. Note also that

1CvrCv,

in the region u0uuf,v0v<, for some constant C>0.

The Renormalised Null Structure and Bianchi Equations

The Bianchi equations,

μWμνλρ=12λTνρ-δTβγ,

written out in full using the table of Ricci coefficients, graphic file with name 40818_2017_26_Figae_HTML.jpg

eAe3=χ_ABeB-η_Ae3,eAe4=χABeB+η_Ae4, 25
e3eA=χ_ABeB+ηAe3,e4eA=χAB-eA(bB)eB+η_Ae4, 26
e3e4=2ηAeA,e4e3=-ωe3+2η_BeB, 27
e3e3=0,e4e4=ωe4, 28

take the form15

graphic file with name 40818_2017_26_Equ20_HTML.gif 29
graphic file with name 40818_2017_26_Equ21_HTML.gif 30
graphic file with name 40818_2017_26_Equ22_HTML.gif 31
graphic file with name 40818_2017_26_Equ23_HTML.gif 32
graphic file with name 40818_2017_26_Equ24_HTML.gif 33
graphic file with name 40818_2017_26_Equ25_HTML.gif 34
graphic file with name 40818_2017_26_Equ26_HTML.gif 35
graphic file with name 40818_2017_26_Equ27_HTML.gif 36
graphic file with name 40818_2017_26_Equ28_HTML.gif 37

graphic file with name 40818_2017_26_Figaf_HTML.jpgHere for an Su,v 1-form ξ, Inline graphic denotes the transpose of the derivative of ξ, graphic file with name 40818_2017_26_Figag_HTML.jpgThe left Hodge-dual is defined on Su,v one forms and (0, 2) Su,v tensors by graphic file with name 40818_2017_26_Figah_HTML.jpgrespectively. Here Inline graphic denotes the volume form associated with the metric Inline graphic and, for a (0, 2) Su,v tensor ξ, graphic file with name 40818_2017_26_Figai_HTML.jpgThe symmetric traceless product of two Su,v one forms is defined by graphic file with name 40818_2017_26_Figaj_HTML.jpgand the anti-symmetric products are defined by graphic file with name 40818_2017_26_Figak_HTML.jpgfor two Su,v one forms and Su,v (0, 2) tensors respectively. Also, graphic file with name 40818_2017_26_Figal_HTML.jpgfor Su,v (0, 2) tensors ξ,ξ. The symmetric trace free derivative of an Su,v 1-form is defined as graphic file with name 40818_2017_26_Figam_HTML.jpgFinally define the Inline graphic inner product of two (0, n) Su,v tensors graphic file with name 40818_2017_26_Figan_HTML.jpgand the norm of a (0, n) Su,v tensor graphic file with name 40818_2017_26_Figao_HTML.jpgThe notation |·| will also later be used when applied to components of Su,v tensors to denote the standard absolute value on R. See Section 6. It will always be clear from the context which is meant, for example if ξ is an Su,v 1-form then |ξ| denotes the Inline graphic norm as above, whilst |ξA| denotes the absolute value of ξ(eA).

The null structure equations for the Ricci coefficients and the metric quantities in the 3 direction, suitably renormalised using the Minkowski values, take the form graphic file with name 40818_2017_26_Figap_HTML.jpg graphic file with name 40818_2017_26_Figaq_HTML.jpg graphic file with name 40818_2017_26_Figar_HTML.jpg graphic file with name 40818_2017_26_Figas_HTML.jpg graphic file with name 40818_2017_26_Figat_HTML.jpg graphic file with name 40818_2017_26_Figau_HTML.jpgand in the 4 direction graphic file with name 40818_2017_26_Figav_HTML.jpg graphic file with name 40818_2017_26_Figaw_HTML.jpg graphic file with name 40818_2017_26_Figax_HTML.jpg graphic file with name 40818_2017_26_Figay_HTML.jpgThrough most of the text, when referring to the null structure equations it is the above equations which are meant. The following null structure equations on the spheres will also be used in Section 11, graphic file with name 40818_2017_26_Figaz_HTML.jpg graphic file with name 40818_2017_26_Figba_HTML.jpg graphic file with name 40818_2017_26_Figbb_HTML.jpgwhere K denotes the Gauss curvature of the spheres Inline graphic.

The additional propagation equations for χ^,χ_^, graphic file with name 40818_2017_26_Figbc_HTML.jpg graphic file with name 40818_2017_26_Figbd_HTML.jpgwill also be used in Section 11 to derive propagation equations for the mass aspect function μ,μ_ defined later. Here Inline graphic is the trace free part of Inline graphic.

The following first variational formulas for the induced metric on the spheres will also be used, graphic file with name 40818_2017_26_Figbe_HTML.jpg graphic file with name 40818_2017_26_Figbf_HTML.jpg where L denotes the Lie derivative.

There are additional null structure equations but, since they will not be used here, are omitted.

The Schematic Form of the Equations and Commutation

In this section schematic notation is introduced for the Ricci coefficients, curvature components and components of the energy momentum tensor, which is used to isolate the structure in the equations that is important for the proof of Theorem 1.2. A collection of differential operators is introduced and it is shown that this structure remains present after commuting the equations by any of the operators in the collection. This section closely follows Section 3 of [13] where this notation was introduced.

Schematic Notation

Consider the collection of Ricci coefficients16 which are schematically denoted Γ, graphic file with name 40818_2017_26_Figbg_HTML.jpgNote that the Γ are normalised so that each of the corresponding quantities in Minkowski space is equal to zero. In the proof of the main result it will be shown that each Γ converges to zero as r in the spacetimes considered. Each Γ will converge with a different rate in r and so, to describe these rates, each Γ is given an index, p, to encode the fact that, as will be shown in the proof of the main result, rp|Γp| will be uniformly bounded. The p-indices are given as follows, graphic file with name 40818_2017_26_Figbh_HTML.jpgso that Γ1 schematically denotes any of the quantities Inline graphic etc. It may be the case, for a particular Γp, that limrrp|Γp| is always zero in each of the spacetimes which are constructed here. This means that some of the Ricci coefficients will decay with faster rates than those propagated in the proof of Theorem 1.2. Some of these faster rates can be recovered a posteriori.

The notation Γ(3) will be used to schematically denote any Γ for which the corresponding null structure equation of (39)–(48) it satisfies is in the Inline graphic direction, graphic file with name 40818_2017_26_Figbi_HTML.jpgSimilarly, Γ(4) will schematically denote any Γ for which the corresponding null structure equation of (39)–(48) is in the Inline graphic direction,

Γ(4)=1Ω2-1,η,trχ-trχ,χ^.

Finally, Γ(3)p will schematically denote any Γp which has also been denoted Γ(3). So, for example, χ_^ may be schematically denoted Γ(3)1. Similarly, Γ(4)p will schematically denote any Γp which has also been denoted Γ(4).

Consider now the collection of Weyl curvature components, which are schematically denoted ψ,

ψ=α,β,ρ,σ,β_,α_.

Each ψ is similarly given a p-index,

ψ1=α_,ψ2=β_,ψ3=ρ,σ,ψ72=β,ψ4=α. 56

to encode the fact that, as again will be shown, rp|ψp| is uniformly bounded in each of the spacetimes which are constructed.

When deriving energy estimates for the Bianchi equations in Section 9, a special divergence structure present in the terms involving angular derivatives is exploited. For example, the Inline graphic equation is contracted with α (multiplied by a suitable weight) and integrated by parts over spacetime. The Inline graphic equation is similarly contracted with β and integrated by parts. When the two resulting identities are summed, a cancellation occurs in the terms involving angular derivatives leaving only a spherical divergence which vanishes due to the integration on the spheres. The Inline graphic equation is thus paired with the Inline graphic equation. To highlight this structure, consider the ordered pairs,

(α,β),(β,(ρ,σ)),((ρ,σ),β_),(β_,α_).

Each of these ordered pairs will be schematically denoted (ψp,ψp), with the subscripts p and p as in (56), and referred to as a Bianchi pair.

The components of the energy momentum tensor are schematically denoted T, graphic file with name 40818_2017_26_Figbj_HTML.jpgand each T is similarly given a p-index, graphic file with name 40818_2017_26_Figbk_HTML.jpgto encode the fact that rp|Tp| will be shown to be uniformly bounded.

Finally, for a given pR, let hp denote any smooth function hp:MR, depending only on r, which behaves like 1rp to infinite order, i.e. any function such that, for any kN0, there is a constant Ck such that rk+p|(v)khp|Ck, where the derivative is taken in the (u,v,θ1,θ2) coordinate system. In addition, the tensor field Inline graphic may also be denoted hp. Note that Inline graphic. For example, graphic file with name 40818_2017_26_Figbl_HTML.jpg

The Schematic Form of the Equations

Using the notation of the previous section, the null structure and Bianchi equations can be rewritten in schematic form. For example the null structure equation (40) can be rewritten, graphic file with name 40818_2017_26_Figbm_HTML.jpgHere and in the following, Γp1·Γp2 denotes (a constant multiple of) an arbitrary contraction between a Γp1 and a Γp2. In the estimates later, the Cauchy–Schwarz inequality |Γp1·Γp2|C|Γp1||Γp2| will always be used and so the precise form of the contraction will be irrelevant. Similarly for hp1Γp2.

Rewriting the equations in this way allows one to immediately read off the rate of decay in r of the right hand side. In the above example one sees that Inline graphic is equal to a combination of terms whose overall decay is, according to the p-index notation, like 1r2, consistent with the fact that applying Inline graphic to a Ricci coefficient does not alter its r decay (see Section 3.3). Each of the null structure equations can be expressed in this way.

Proposition 3.1

(cf. Proposition 3.1 of [13]). The null structure equations (39)–(48) can be written in the following schematic form graphic file with name 40818_2017_26_Figbn_HTML.jpg where17

E3[Γ(3)p]=p1+p2php1·Γp2+p1+p2pΓp1·Γp2+ψp+TpE4[Γ(4)p]=p1+p2p+2hp1·Γp2+p1+p2p+2Γp1·Γp2+ψp+2+Tp+2.

This proposition allows us to see that the right hand sides of the Inline graphic equations behave like 1rp, whilst the right hand sides of the Inline graphic equations behave like 1rp+2. This structure will be heavily exploited and should be seen as a manifestation of the null condition present in the Einstein equations.

Remark 3.2

The term p2trχΓ(4)p on the left hand side of equation (58) is not contained in the error since trχ behaves like 1r and so this term only behaves like 1rp+1. This would thus destroy the structure of the error. It is not a problem that this term appears however since, when doing the estimates, the following renormalised form of the equation will always be used: graphic file with name 40818_2017_26_Figbo_HTML.jpgThis can be derived by differentiating the left hand side using the product rule, substituting equation (58) and using the fact that (trχ-trχ)Γ(4)p can be absorbed into the error.

It is not a coincidence that the coefficient of this term is always p2, it is the value of this coefficient which decides the rate of decay to be propagated for each Γ(4)p. This will be elaborated on further in Section 10. This was not the case in [13]; they have more freedom since they are integrating backwards from null infinity, rather than towards null infinity, and so can propagate stronger decay rates for some of the Γ(4)p. These stronger rates could be recovered here using the ideas in Section 11, however it is perhaps interesting to note that the estimates can be closed with these weaker rates.

The Bianchi equations can also be rewritten in this way.

Proposition 3.3

(cf. Proposition 3.3 of [13]). For each Bianchi pair (ψp,ψp), the Bianchi equations (29)–(38) can be written in the following schematic form graphic file with name 40818_2017_26_Figbp_HTML.jpgwhere Inline graphic denotes the angular operator appearing in equation for the particular curvature component under consideration18 and γ[ψp]=p2 for ψpβ, γ[β]=2. The error terms take the form

E3[ψp]=h1ψp+p1+p2pΓp1·ψp2+p1+p2php1DTp2+p1+p2pΓp1·Tp2,E4[ψp]=p1+p2p+32Γp1·ψp2+p1+p2p+2hp1DTp2+p1+p2p+2Γp1·Tp2,

where D is used to denote certain derivative operators which are introduced in Section 3.3.

When applied to Tp, the operators D should not alter the rate of decay so again this schematic form allows one to easily read off the r decay rates of the errors. This structure of the errors will again be heavily exploited. The first summation in E4[ψp] can in fact actually always begin at p+2 except for in E4[β] where the term η#·α appears. Also the terms,

p1+p2php1DTp2+p1+p2pΓp1·Tp2,

in E3[ψp] can be upgraded to,

p1+p2p+12hp1DTp2+p1+p2p+12Γp1·Tp2,

in E3[α] and E3[β]. These points are important and will be returned to in Section 9.

The Commuted Equations

As discussed in the introduction, the Ricci coefficients and curvature components will be estimated in L2 using the null structure and Bianchi equations respectively19. In order to deal with the nonlinearities some of the error terms are estimated in L on the spheres. These L bounds are obtained from L2 estimates for higher order derivatives via Sobolev inequalities. These higher order L2 estimates are obtained through commuting the null structure and Bianchi equations with suitable differential operators, showing that the structure of the equations are preserved, and then proceeding as for the zero-th order case. It is shown in this section that the structure of the equations are preserved under commutation.

It is also necessary to obtain higher order estimates for components of the energy momentum tensor in order to close the estimates for the Bianchi and Null structure equations. Rather than commuting the Vlasov equation, which leads to certain difficulties, these estimates are obtained by estimating components of certain Jacobi fields on the mass shell. See Section 8.

Define the set of differential operators Inline graphic acting on covariant Su,v tensors of any order20, and let D denote an arbitrary element of this set. These operators are introduced because of the Commutation Principle of [13]:

Commutation Principle: Applying any of the operators D to any of the Γ,ψ,T should not alter its rate of decay.

This will be shown to hold in L2, though until then it serves as a useful guide to interpret the structure of the commuted equations.

If ξ is an Su,v tensor field, Dkξ will be schematically used to denote any fixed k-tuple DkDk-1D1ξ of operators applied to ξ, where each Inline graphic.

In order to derive expressions for the commuted Bianchi equations in this schematic notation, the following commutation lemma will be used. Recall first the following lemma which relates projected covariant derivatives of a covariant Su,v tensor to derivatives of its components.

Lemma 3.4

Let ξ be a (0, k) Su,v tensor. Then, graphic file with name 40818_2017_26_Figbq_HTML.jpgand graphic file with name 40818_2017_26_Figbr_HTML.jpg

The commutation lemma then takes the following form.

Lemma 3.5

(cf. Lemma 7.3.3 of [10] or Lemma 3.1 of [13]). If ξ is a (0, k) Su,v tensor then, graphic file with name 40818_2017_26_Figbs_HTML.jpgand graphic file with name 40818_2017_26_Figbt_HTML.jpgwhere K is the Gauss curvature of Inline graphic.

Proof

The proof of the first identity follows by writing graphic file with name 40818_2017_26_Figbu_HTML.jpgand using graphic file with name 40818_2017_26_Figbv_HTML.jpgwhere the last line follows by using equation (23) to write, graphic file with name 40818_2017_26_Figbw_HTML.jpgSimilarly for the second one uses graphic file with name 40818_2017_26_Figbx_HTML.jpgand for the third, graphic file with name 40818_2017_26_Figby_HTML.jpgIf Inline graphic denotes the curvature tensor of Inline graphic, the last follows from writing, graphic file with name 40818_2017_26_Figbz_HTML.jpgand the fact that, graphic file with name 40818_2017_26_Figca_HTML.jpg

The above Lemma implies that the terms arising from commutation take the following schematic form, graphic file with name 40818_2017_26_Figcb_HTML.jpg

The commuted Bianchi equations can then be written as follows.

Proposition 3.6

(cf. Proposition 3.4 of [13]). For any integer k1 the commuted Bianchi equations, for each Bianchi pair (ψp,ψp), take the form21 graphic file with name 40818_2017_26_Figcc_HTML.jpg where

E3[Dkψp]=D(E3[Dk-1ψp])+Λ1·(Dkψp+Dkψp)+Λ1·(Dk-1ψp+Dk-1ψp), 62
E4[Dkψp]=D(E4[Dk-1ψp])+E4[Dk-1ψp]+Λ1·Dkψp+Λ2·Dkψp+Λ1·Dk-1ψp+Λ2·Dk-1ψp, 63

and, for p=1,2, Λp denotes some fixed sum of contractions of h, Γ, ψ and T such that Λp decays, according to the p-index notation, like 1rp. Explicitly

Λ1=p1+p2+p31hp1(hp2+Γp2)·(hp3+Γp3+ψp3+Tp3),Λ2=p1+p22hp1(hp2+Γp2),Λ2=p1+p2+p32hp1(hp2+Γp2)·(hp3+Γp3+DΓp3+ψp3+Tp3).

Note the presence of the first order derivative of Γ in Λ2, whilst Λ1 and Λ2 contain only zeroth order terms.

Remark 3.7

By the commutation principle and induction, it is clear that the first two terms in the error (63) preserve the structure highlighted in Proposition 3.3. In the remaining terms, it is essential that Dkψp and Dk-1ψp appear contracted with Λ2 and Λ2, rather than Λ1. It will be clear in the proof below that it is the special form of the operators that cause this to occur. Since, for each Bianchi pair (ψp,ψp), it is the case that pp+12, the Λ1·Dkψp and Λ1·Dk-1ψp terms in E4[Dkψp] still preserve the form of the error.

Similarly looking at the error (62), it is clear that the expected r decay will be preserved from Proposition 3.3.

It will also be important later that Λ1 and Λ2 do not contain any derivatives of ψ or Γ, whilst Λ2 only contains first order derivatives.

Proof of Proposition 3.6

The proof proceeds exactly as in Proposition 3.4 of [13], though one does need to be careful since some of the quantities decay slightly weaker here. We consider only the k=1 case. A simple induction argument completes the proof for k>1.

Consider first the Inline graphic equations. Using the schematic form of the commutation formulae (59), graphic file with name 40818_2017_26_Figcd_HTML.jpgNow the Raychaudhuri equation22, graphic file with name 40818_2017_26_Figce_HTML.jpgand the Bianchi equation for Inline graphic imply that, graphic file with name 40818_2017_26_Figcf_HTML.jpgNote the cancellation. Hence graphic file with name 40818_2017_26_Figcg_HTML.jpgwhere graphic file with name 40818_2017_26_Figch_HTML.jpgSimilarly, using again the schematic expressions (59), graphic file with name 40818_2017_26_Figci_HTML.jpgand hence, graphic file with name 40818_2017_26_Figcj_HTML.jpgwhere graphic file with name 40818_2017_26_Figck_HTML.jpgFinally, graphic file with name 40818_2017_26_Figcl_HTML.jpgwhere the Gauss equation (49) has been used for the third equality. Note also the cancellation which occurs in the first equality. Hence, graphic file with name 40818_2017_26_Figcm_HTML.jpgwhere graphic file with name 40818_2017_26_Figcn_HTML.jpg

The schematic expressions for the Inline graphic equations follow similarly.

Similarly, the commuted null structure equations can be schematically written as follows.

Proposition 3.8

(cf. Proposition 3.5 of [13]). For any integer k1 the commuted null structure equations take the form, graphic file with name 40818_2017_26_Figco_HTML.jpgwhere,

E3[DkΓ(3)p]=D(E3[Dk-1Γ(3)p])+Λ1·(DkΓ(3)p+Dk-1Γ(3)p) 64
E4[DkΓ(4)p]=D(E4[Dk-1Γ(4)p])+E4[Dk-1Γ(4)p]+Λ2·DkΓ(4)p+Λ2·Dk-1Γ(4)p, 65

and again,

Λ1=p1+p2+p31hp1(hp2+Γp2)·(hp3+Γp3+ψp3+Tp3),Λ2=p1+p22hp1(hp2+Γp2),Λ2=p1+p2+p32hp1(hp2+Γp2)·(hp3+Γp3+DΓp3+ψp3+Tp3).

Proof

The proof is similar to that of Proposition 3.6, though slightly simpler as there are no terms involving Inline graphic.

Remark 3.9

Note that again in (65), DkΓp(4) and Dk-1Γp(4) only appear multiplying terms which decay like 1r2. Note also that again Λ1,Λ2 contain no derivative terms, whilst Λ2 contains only first order derivatives.

The Sasaki Metric

The Lorentizian metric g on M induces a metric, g¯, on TM, known as the Sasaki metric, which in turn induces a metric on P by restriction. The metric on TM was first introduced in the context of Riemannian geometry by Sasaki [33]. Certain properties of this metric will be used when estimating derivatives of f later. The goal of this section is to define the metric and compute certain components of its curvature tensor in terms of the curvature of (M,g). It is then shown that trajectories of the null geodesic flow of (M,g) are geodesics in P (or more generally that trajectories of the full geodesic flow are geodesics in TM) with respect to this metric and derivatives of the exponential map are Jacobi fields along these geodesics. This fact will be used in Section 8 to estimate derivatives of f. Most of this section is standard and is recalled here for convenience.

Vertical and Horizontal Lifts

Given (x,p)TM, g¯(x,p) is defined by splitting T(x,p)TM into its so-called vertical and horizontal parts. This is done using the connection of g on M.

Given vTxM, its vertical lift at pTxM, denoted Ver(x,p)(v) is defined to be the vector tangent to the curve c(x,p),V:(-ε,ε)TM defined by,

c(x,p),V(s)=(x,p+sv)

at s=0,

Ver(x,p)(v)=c(x,p),V(0).

To define the horizontal lift of v at (xp), first let c:(-ε,ε)M denote a curve in M such that c(0)=x, c(0)=v. Extend p to a vector field along c by parallel transport using the Levi-Civita connection of g on M,

cp=0.

The horizontal lift of v at (xp), denoted Hor(x,p)(v), is then defined to be the tangent vector to the curve c(x,p),H:(-ε,ε)TM defined by

c(x,p),H(s)=(c(s),p),

at s=0,

Hor(x,p)(v)=c(x,p),H(0).

It is straightforward to check this is independent of the particular curve c, as long as c(0)=x,c(0)=v.

Given the coordinates p1,,p4 on TxM conjugate to e1,,e4, the double null frame on M, one has a frame for TM given by e1,,e4,p1,,p4. If vTxM is written with respect to the double null frame as v=vμeμ, then

Ver(x,p)(v)=vμpμ,

and

Hor(x,p)(v)=vμeμ-vμpνΓμνλpλ,

where Γμνλ are the Ricci coefficients of the frame e1,,e4.

Example 4.1

The generator of the geodesic flow, X, at (x,p)TM is given by

X=pμeμ-pμpνΓμνλpλ=Hor(x,p)(p).

The vertical and horizontal subspaces of T(x,p)TM are defined as,

V(x,p):=Ver(x,p)(TxM)={Ver(x,p)(v)vTxM},H(x,p):=Hor(x,p)(TxM)={Hor(x,p)(v)vTxM},

respectively. Note that V(x,p) is just T(x,p)TxM, the tangent space to the fibre of TM. One clearly has the following.

Proposition 4.2

The tangent space to TM at (xp) can be written as the direct sum

T(x,p)TM=V(x,p)H(x,p).

Since each vector in T(x,p)TM can be uniquely decomposed into its horizontal and vertical components, the following defines g¯ on all pairs of vectors in T(x,p)TM.

Definition 4.3

The Sasaki metric, g¯ on TM is defined as follows. For (x,p)TM and X,YTxM,

g¯(x,p)(Hor(x,p)(X),Hor(x,p)(Y))=gx(X,Y)g¯(x,p)(Hor(x,p)(X),Ver(x,p)(Y))=0g¯(x,p)(Ver(x,p)(X),Ver(x,p)(Y))=gx(X,Y).

The Connection and Curvature of the Sasaki Metric

Since the Sasaki metric g¯ is defined in terms of the metric g¯ on M, the connection and curvature of g¯ can be computed in terms of the connection and curvature of g. The computations are exactly the same as in Riemannian geometry. See [22].

Proposition 4.4

Let ¯ denote the Levi-Civita connection of the Sasaki metric g¯. Given (x,p)TM and vector fields X,YΓ(TM) on M,

  1. ¯Hor(x,p)(X)Hor(x,p)(Y)=Hor(x,p)(XY)-12Ver(x,p)(Rx(X,Y)p),

  2. ¯Hor(x,p)(X)Ver(x,p)(Y)=Ver(x,p)(XY)+12Hor(x,p)(Rx(p,Y)X),

  3. ¯Ver(x,p)(X)Hor(x,p)(Y)=12Hor(x,p)(Rx(p,X)Y),

  4. ¯Ver(x,p)(X)Ver(x,p)(Y)=0,

where is the connection and R is the curvature tensor of (M,g).

Proposition 4.5

Given (x,p)TM and vectors X,Y,ZTxM, then

R¯(x,p)(Hor(x,p)(X),Hor(x,p)(Y))Hor(x,p)(Z)=12Ver(x,p)((ZR)(X,Y)p)+Hor(x,p)(R(X,Y)Z+14R(p,R(Z,Y)p)X+14R(p,R(X,Z)p)Y+12R(p,R(X,Y)p)Z),

and

R¯(x,p)(Hor(x,p)(X),Ver(x,p)(Y))Hor(x,p)(Z)=Ver(x,p)(12R(X,Z)Y+14R(R(p,Y)Z,X)p)+12Hor(x,p)((XR)(p,Y)Z),

where R¯ denotes the curvature tensor of g¯, and R the curvature tensor of g.

The proofs of Proposition 4.4 and Proposition 4.5 follow by direct computation. See [22] and also [18]. The remaining components of R¯ can be computed similarly but are not used here.

One important property of the Sasaki metric is the following.

Proposition 4.6

When equipped with the Sasaki metric, trajectories of the geodesic flow, sexps(x,p), are geodesics in TM.

Proof

The tangent vector to a trajectory of the geodesic flow is given by the generator X. As noted above, this is given at (x,p)TM by

X(x,p)=pμHor(x,p)(eμ).

A trajectory of the geodesic flow takes the form (γ(s),γ˙(s)) where γ is a geodesic in M. Hence, by Proposition 4.4,

¯XX=X(γ˙μ)Hor(γ,γ˙)(eμ)+γ˙μγ˙ν¯Hor(γ,γ˙)(eν)Hor(γ,γ˙)(eμ)=-γ˙νγ˙λΓνλμHor(γ,γ˙)(eμ)+γ˙μγ˙νHor(γ,γ˙)(eνeμ)-12Ver(γ,γ˙)(R(γ˙,γ˙)γ˙)=0.

Curvature of the Mass Shell

Proposition 4.7

If R^ denotes the curvature of the mass shell P then, if (x,p)TM and X,Y,ZTxM, the following formula for certain components of R^ are true.

R^(x,p)(Hor(x,p)(X),Hor(x,p)(Y))Hor(x,p)(Z)=12Ver(x,p)((ZR)(X,Y)p)+Hor(x,p)(R(X,Y)Z+14R(p,R(Z,Y)p)X+14R(p,R(X,Z)p)Y+12R(p,R(X,Y)p)Z),

and

R^(x,p)(Hor(x,p)(X),Ver(x,p)(Y))Hor(x,p)(Z)=Ver(x,p)(12R(X,Z)Y+14R(R(p,Y)Z,X)p)+12Hor(x,p)((XR)(p,Y)Z)+14p4g(R(X,Z)Y,p)V,

where V=p3 is transverse to the mass shell P.

Proof

Throughout N=p4+p3p4p3+pAp4pA will denote the normal to the mass shell, P, such that g¯(N,V)=-2.

Each identity can be shown by first writing the curvature of P in terms of the curvature of TM, N and V. If A,B,CΓ(TTM) denote vector fields on TM then, since,

^AB=¯AB+12g¯(¯AB,N)V,

where ^ is the induced connection on P, one easily deduces,

R^(A,B)C=R¯(A,B)C+12g¯(R¯(A,B)C,N)V+12g¯(¯BC,N)¯AV+12g¯(¯AV,N)V-12g¯(¯AC,N)¯BV+12g¯(¯BV,N)V.

To obtain the first identity note that, by Proposition 4.4,

¯Hor(x,p)(Y)Hor(x,p)(Z)=Hor(x,p)YZ-12Ver(x,p)R(Y,Z)p,

and so

g¯(¯Hor(x,p)(Y)Hor(x,p)(Z),N)=-12g¯Ver(x,p)R(Y,Z)p,N=-12p4gR(Y,Z)p,p=0.

Similarly

g¯(¯Hor(x,p)(X)Hor(x,p)(Z),N)=0.

Finally, by Proposition 4.5,

g¯R¯(Hor(x,p)(X),Hor(x,p)(Y))Hor(x,p)(Z),N=12p4g((ZR)(X,Y)p,p)=0.

Hence

R^(Hor(x,p)(X),Hor(x,p)(Y))Hor(x,p)(Z)=R¯(Hor(x,p)(X),Hor(x,p)(Y))Hor(x,p)(Z),

and the formula follows from Proposition 4.5.

For the second identity note that, as above,

g¯(¯Hor(x,p)(X)Hor(x,p)(Z),N)=0,

and that

g¯(¯Ver(x,p)(Y)Hor(x,p)(Z),N)=0,

since, by Proposition 4.4, ¯Ver(x,p)(Y)Hor(x,p)(Z) is horizontal. The result follows from Proposition 4.5.

Derivatives of the Exponential Map

Recall the definition of the exponential map (or geodesic flow) for (x,p)TM,

exps(x,p)=(γx,p(s),γ˙x,p(s)),

where γx,p is the unique geodesic in M such that γx,p(0)=x, γ˙x,p(0)=p.

Derivatives of the particle density function f are estimated using the fact that derivatives of the exponential map are Jacobi fields as follows. Consider (x,p)TM and VT(x,p)TM. Using the Vlasov equation,

f(x,p)=f(exps(x,p)),

and the chain rule one obtains,

V(f)(x,p)=df(x,p)(V)=dfexps(x,p)·dexps(x,p)(V)=J(f)(exps(x,p)).

By Proposition 4.6, sexps(x,p) is a geodesic in P (or in TM). Below it will be shown that J:=dexps(x,p)(V) is a Jacobi field along this geodesic, and moreover J(0) and (^XJ)(0) are computed. By taking s<0 so that exps(x,p) lies on the initial hypersurface {u=u0}, this then gives an expression for V(f) in terms of initial data which can be estimated using the Jacobi equation. In practice it is convenient to split V into its horizontal and vertical parts.

Proposition 4.8

If vTxM and H=Hor(x,p)(v)H(x,p)T(x,p)TM is the horizontal lift of v, then dexps(x,p)(H) is a Jacobi field, JH, along exps(x,p) such that

JHs=0=H,and^XJHs=0=12Ver(x,p)(R(p,v)p).

If V1=Ver(x,p)(v)V(x,p)T(x,p)TM is the vertical lift of v, then dexps(x,p)(V1) is a Jacobi field, JV1, along exps(x,p) such that

JV1s=0=V1,and^XJV1s=0=Hor(x,p)(v)+12Hor(x,p)(R(p,v)p).

Here X, the generator of the geodesic flow, is tangent to the curve sexps(x,p).

Proof

Let cH:(-ε,ε)TM be a curve in TM such that cH(0)=(x,p), cH(0)=H. Then, by Proposition 4.6, (s,s1)exps(cH(s1)) defines a variation of geodesics. Hence

dexps|(x,p)(H)=dds1exps(cH(s1))|s1=0,

is a Jacobi field along exps(x,p).

Since exp0(x,p)=(x,p) is the identity map,

JHs=0=dexp0(x,p)(H)=H.

Now,

^XJHs=0=^dss1exps(cH(s1))|s=0,s1=0=^ds1sexps(cH(s1))|s=0,s1=0=^HX=H(pμ)Hor(x,p)(eμ)+pμ^HHor(x,p)(eμ)=-vμpνΓμνλHor(x,p)(eμ)+pμ¯HHor(x,p)(eμ)+12g¯(¯HHor(x,p)(eμ),N)V=-vμpνΓμνλHor(x,p)(eμ)+pμHor(x,p)(veμ)-12pμVer(x,p)(R(v,eμ)p)-pμ4p4g(R(v,eμ)p,p)=12Ver(x,p)(R(p,v)p),

by Proposition 4.4.

Similarly, if cV1:(-ε,ε)TM is a curve such that cV1(0)=(x,p),cV1(0)=V1 (for example cV1(s1)=(x,p+s1v)), then (s,s1)exps(cV1(s1)) is again a variation of geodesics. Therefore

dexps(x,p)(V1)=dds1exps(cV1(s1))|s1=0,

is again a Jacobi field. Clearly, as above,

JV1s=0=dexp0(x,p)(V1)=V1.

The first derivative can again be computed, using Proposition 4.4, as follows.

^XJV1s=0=^dss1exps(cV1(s1))|s=0,s1=0=^ds1sexps(cV1(s1))|s=0,s1=0=^V1X=V1(pμ)Hor(x,p)(eμ)+pμ^V1Hor(x,p)(eμ)=Hor(x,p)(v)+pμ¯V1Hor(x,p)(eμ)+12g¯(¯V1Hor(x,p)(eμ),N)V=Hor(x,p)(v)+12Hor(x,p)(R(p,v)p).

The Main Theorem and Bootstrap Assumptions

Characteristic Initial Data

In Theorem 5.1 below, characteristic initial data, prescribed on the hypersurfaces {v=v0}, {u=u0}, satisfying a certain smallness condition is considered. Of course, in the setting of Theorem 1.1, such data arises as induced data on two transversely intersecting null hypersurfaces, whose existence is guaranteed by a Cauchy stability argument and an application of a result of Klainerman–Nicolò [21] on the vacuum equations (6). See Section 1.2 and Section 1.3 where this argument is discussed. Characteristic initial data for Theorem 5.1 can, however, be prescribed independently of the setting of Theorem 1.1. Suppose “free data”, consisting of a “seed” Su,v–tensor density of weight -1, Inline graphic, on [u0,uf]×S2, a “seed” Su,v–tensor density of weight -1, Inline graphic, on [v0,)×S2, and a compactly supported function f0:P|{v=v0}[0,), along with certain quantities on the sphere of intersection Su0,v0, are given. Here P|{v=v0} denotes the mass shell over the initial hypersurfaces {v=v0}. The characteristic constraint equations for the system (1)–(2) take the form of ordinary differential equations and can be integrated to give all of the geometric quantities Γ,ψ,T, along with their derivatives, on {v=v0} and {u=u0} once the above “free data” is prescribed. These geometric quantities, on {v=v0} and {u=u0}, are what is referred to as the “characteristic initial data” in the statement of Theorem 5.1. Appropriate smallness conditions can be made for the “free data” (and their derivatives), along with appropriate decay conditions for the seed Inline graphic, in order to ensure the conditions of Theorem 5.1 are met.

The prescription of such characteristic “free data”, and the determining of the geometric quantities from them, will not be discussed further here. The interested reader is directed to [9], where this is discussed in great detail in a related setting. See also [13].

The Main Existence Theorem

Define the norms

Fv0,v1(u):=k=03Dkv0vSu,vr5|Dkα|2+r4|Dkβ|2+r2(|Dkρ|2+|Dkσ|2)+|Dkβ_|2dμSu,vdv,Fu0,u2(v):=k=03Dku0uSu,vr5|Dkβ|2+r4(|Dkρ|2+|Dkσ|2)+r2|Dkβ_|2+|α_|2dμSu,vΩ2du,

where the second summation is taken over Inline graphic and dμSu,v denotes the volume measure on Su,v.

The main theorem can now be stated more precisely as follows.

Theorem 5.1

There exists a v0 large and an ε0 small such that the following holds.

Given smooth characteristic initial data for the massless Einstein–Vlasov system (1)–(2) on the characteristic initial hypersurfaces {v=v0}, {u=u0}, suppose the data on {v=v0} satisfy graphic file with name 40818_2017_26_Figcp_HTML.jpgand the data on {u=u0} satisfy, graphic file with name 40818_2017_26_Figcq_HTML.jpgHere κ and the Θ variables are defined as certain combinations of Ricci coefficients and Weyl curvature components in Section 11, and E~1,,E~7 is a frame for P defined by,

E~i=Eifori=1,,4,E~i=p4Eifori=5,6,7,

where E1,,E7 is a frame for P defined in Section 8.5. Suppose also that,

0p4Cp4,0r2p3Cp3p4,|r2pA|CpAp4forA=1,2,

in suppf|P|{v=v0}, for some fixed constants Cp1,,Cp4 independent of v0, and that, in each of the two spherical coordinate charts, the components of the metric satisfy, graphic file with name 40818_2017_26_Figcr_HTML.jpgfor some constant C uniformly on the initial hypersurfaces {u=u0},{v=v0}.

Then there exists a unique solution of the Einstein–Vlasov system (1)–(2) on M=[u0,uf]×[v0,)×S2, attaining the data on {u=u0}, {v=v0}, such that

supu,v(Fv0,v1(u)+Fu0,u2(v)+k3Γpr(u,v)2p-2Su,v|DkΓp|2dμSu,v+k2Tpr(u,v)p|DkTp|+k3Tp(u0uSu,vr(u,v)2p-2|DkTp|2dμSu,vdu+v0vSu,vr(u,v)2p-4|DkTp|2dμSu,vdv)+k4Tpu0uv0vSu,vr(u,v)2p-4|DkTp|2dμSu,vdvdu)C¯,

where C¯ is a constant which can be made arbitrarily small provided ε0 and 1v0 are taken sufficiently small. Moreover one also has explicit decay rates for the size of suppf|PxPx as v(x) and explicit bounds on weighted L2 norms of the Θ variables. See Section 7 and Section 11 respectively. Finally, if uf was chosen sufficiently large, f=0 on the mass shell over any point xM such that u(x)uf-1.

The L4 norms of the Weyl curvature components are required for the Sobolev inequalities on the null hypersurfaces. See Section 6.

Bootstrap Assumptions

The proof of Theorem 5.1 is obtained through a bootstrap argument, so consider the following bootstrap assumptions for Ricci coefficients

r2p-2Su,v|DkΓp|2dμSu,vC¯, 66

for k=0,1,2, the spherical Christoffel symbols, graphic file with name 40818_2017_26_Figcs_HTML.jpg for k=0,1,2, for Weyl curvature components

Fv0,v1(u)C¯,Fu0,u2(v)C¯, 68

and for the energy momentum tensor components,

k2rp|DTp|+k3(u0uSu,vr(u,v)2p-2|DkTp|2dμSu,vdu+v0vSu,vr(u,v)2p-4|DkTp|2dμSu,vdv)+k4Tpu0uv0vSu,vr(u,v)2p-4|DkTp|2dμSu,vdvduC¯, 69

where C¯ is some small constant23. Moreover, since a derivative of b appears in the expression for Inline graphic, consider also the bootstrap assumption for an additional derivative of b, graphic file with name 40818_2017_26_Figct_HTML.jpgand also for Inline graphic at the top order, graphic file with name 40818_2017_26_Figcu_HTML.jpg

Recall that Inline graphic is a geometric object, an Su,v (1, 2) tensor, and so its covariant derivatives are well defined.

Note that, since the volume form of Su,v grows like r2, (66) is consistent with the expectation that Γp behaves like 1rp. Moreover, (67), (71) is consistent with the expectation that Inline graphic decays like 1r, or equivalently (by Proposition 6.3 below) that the components Inline graphic behave like 1 with respect to r. Since the Inline graphic behave like 1, this implies the components Inline graphic also behave like 1 and hence that Inline graphic where, graphic file with name 40818_2017_26_Figcv_HTML.jpgThese pointwise bounds for lower order derivatives are derived from the bootstrap assumptions (67), (71) via Sobolev inequalities in Section 6. The covariant derivatives of Inline graphic are defined in each coordinate system as, graphic file with name 40818_2017_26_Figcw_HTML.jpg

Finally, note also that (70) is consistent with b=Γ1. Since b is only estimated on an outgoing null hypersurface at the top order though, the Sobolev Inequalities of the next section only allow us to conclude graphic file with name 40818_2017_26_Figcx_HTML.jpgunlike at lower orders where the Sobolev inequalities will give,

r|b|,r|Db|C.

Here and throughout the remainder of the paper C will denote a numerical constant which can change from line to line.

The Bootstrap Theorem

Theorem 5.1 will follow from the following bootstrap theorem, Theorem 5.2, via a last slice argument.

Theorem 5.2

There exist ε0, C¯ small and v0 large such that the following is true. Given initial data satisfying the restrictions of Theorem 5.1, let A denote a characteristic rectangle of the form A=[u0,u]×[v0,v]×S2M, with u0<uuf, v0<v<, such that a solution to the Einstein–Vlasov system (1)–(2), attaining the given data, exists in A and, for any xA, the bootstrap assumptions (66)–(71) hold for (u,v)=(u(x),v(x)).

If xA, then the bounds (66)–(71) in fact hold at x with the constant C¯ replaced by C¯2.

Sections 611 are devoted to the proof of Theorem 5.2, which follows from Propositions 8.1, 9.3, 10.1, 10.2, 10.4, 11.10. The proof of Theorem 5.1, using a last slice argument, is outlined in Section 12.

Sobolev Inequalities

The Sobolev inequalities shown in this section will allow one to obtain L estimates on the spheres for quantities through the L2 bootstrap estimates (66)–(71). They are shown to hold in the setting of Theorem 5.2, i. e. for xA, and are derived from the isoperimetric inequality for each sphere Su,v: if f is a function which is integrable on Su,v with integrable derivative, then f is square integrable and graphic file with name 40818_2017_26_Figcy_HTML.jpg where

f¯:=1Area(Su,v)Su,vfdμSu,v,

denotes the average of f on Su,v, and I(Su,v) denotes the isoperimetric constant of Su,v:

I(Su,v):=supUmin{Area(U),Area(Uc)}Perimeter(U)2,

where the supremum is taken over all domains USu,v with C1 boundary U in Su,v.

The following Sobolev inequalities are standard, see e.g. Chapter 5.2 of [9].

Lemma 6.1

Given a compact Riemannian manifold Inline graphic, let ξ be a tensor field on S which is square integrable with square integrable first covariant derivative. Then ξL4(S) and graphic file with name 40818_2017_26_Figcz_HTML.jpgwhere I(S):=max{I(S),1}, and C is a numerical constant independent of Inline graphic.

Lemma 6.2

If ξ is a tensor field on S such that Inline graphic, then graphic file with name 40818_2017_26_Figda_HTML.jpgwhere again C is independent of Inline graphic.

Under the assumption that the components of Inline graphic satisfy, graphic file with name 40818_2017_26_Figdb_HTML.jpgfor some constant C>0. It follows that graphic file with name 40818_2017_26_Figdc_HTML.jpgand hence there exist constants c,C>0 such that

cr(u,v)Area(Su,v)Cr(u,v). 73

Using this fact, Lemma 6.1 and Lemma 6.2 can be combined to give graphic file with name 40818_2017_26_Figdd_HTML.jpg

Thus, in order to gain global pointwise control over the Ricci coefficients, curvature components and energy momentum tensor components, it remains to gain control over the isoperimetric constants I(Su,v). We first show the above bounds on the components of Inline graphic hold under the following bootstrap assumptions. Let AA be the set of points xA such that,

ΩC0, 75
trχ_+2rC0r2, 76
χ_^C0r, 77

for some constant C0, for all points yA such that u(y)u(x), v(y)v(x).

Proposition 6.3

If xA then, in each of the two spherical charts defined in Section 2.1, graphic file with name 40818_2017_26_Figde_HTML.jpgat x. In particular, graphic file with name 40818_2017_26_Figdf_HTML.jpg

Proof

Recall the first variation formula (54) which implies that, graphic file with name 40818_2017_26_Figdg_HTML.jpgand hence, graphic file with name 40818_2017_26_Figdh_HTML.jpgThis gives, graphic file with name 40818_2017_26_Figdi_HTML.jpgand hence, using the assumption that graphic file with name 40818_2017_26_Figdj_HTML.jpgfor some constants C,c>0, where γ is the round metric, and the bootstrap assumptions (75)–(77), graphic file with name 40818_2017_26_Figdk_HTML.jpg

Let λ and Λ denote the eigenvalues of Inline graphic such that 0<λΛ. There exists v=(v1,v2) such that max{|v1|,|v2|} and, graphic file with name 40818_2017_26_Figdl_HTML.jpgi.e., graphic file with name 40818_2017_26_Figdm_HTML.jpgHence, graphic file with name 40818_2017_26_Figdn_HTML.jpgand graphic file with name 40818_2017_26_Figdo_HTML.jpgi.e. graphic file with name 40818_2017_26_Figdp_HTML.jpgThis implies that, graphic file with name 40818_2017_26_Figdq_HTML.jpgReturning now to the first variational formula (54), graphic file with name 40818_2017_26_Figdr_HTML.jpgsumming over AB and using the above bounds for the components of χ_ this gives, graphic file with name 40818_2017_26_Figds_HTML.jpgUsing again the bootstrap assumptions (75)–(77) and the fact that, graphic file with name 40818_2017_26_Figdt_HTML.jpgthe Grönwall inequality implies, graphic file with name 40818_2017_26_Figdu_HTML.jpgThe first result then follows from the fact that, graphic file with name 40818_2017_26_Figdv_HTML.jpgThe result for Inline graphic follows from this and the bounds on Inline graphic above.

If ξ is a (0, k) Su,v tensor such that |ξ|Crp, then this proposition implies that the components of ξ satisfy

|ξA1Ak|Crp-k.

This fact will be used in Section 8, together with the bootstrap assumptions and Sobolev inequalities, to give bounds on the components of the Ricci coefficients, Weyl curvature components and energy momentum tensor components.

Lemma 6.4

If xA then, for u=u(x), v=v(x),

I(Su,v)1π,

so that the constant I(Su,v) in Lemma 6.1 and Lemma 6.2 is equal to 1.

Proof

The proof proceeds as in Chapter 5 of [9].

Combining the equation (74) with the bootstrap assumptions (66) then gives

supu,vrpDkΓpL(Su,v)CC¯, 78

for k=0,1. In particular, by taking C¯ to be sufficiently small, the bootstrap assumptions (75)–(77) can be recovered with better constants. Hence AA is open, closed, connected and non-empty, and therefore A=A.

Note that, provided C¯ is taken to be sufficiently small, this implies that

12Ω22.

This fact will be used throughout.

Finally, to obtain pointwise bounds for curvature on the spheres from bounds on Fv0,v1(u),Fu0,u2(v), an additional Sobolev inequality is required.

Lemma 6.5

If ξ is an Su,v tensor then, for any weight q, graphic file with name 40818_2017_26_Figdw_HTML.jpgand graphic file with name 40818_2017_26_Figdx_HTML.jpg

Lemma 6.5 together with Lemma 6.2, equation (73) and the bound on the isoperimetric constant combine to give the inequalities, graphic file with name 40818_2017_26_Figdy_HTML.jpgand graphic file with name 40818_2017_26_Figdz_HTML.jpgfor any weight w. The bootstrap assumptions (68) then give the following pointwise bounds on curvature,

supu,vrpDkψpL(Su,v)C, 79

for k=0,1.

Finally, note also that, whilst (78) give the pointwise bounds

r|Dkb|C,

for k=0,1, the bootstrap assumption (70) together with Lemma 6.5 give the additional pointwise bounds, graphic file with name 40818_2017_26_Figea_HTML.jpgand (67), (71) give, graphic file with name 40818_2017_26_Figeb_HTML.jpgfor k=0,1, as discussed at the end of Section 5.

Geometry of Null Geodesics and the Support of f

The decay of the components of the energy momentum tensor come from the decay of the size of the support of f in Px as r(x). The estimates on the size of the support of f form the content of this section. It will also be shown that, provided uf is chosen suitably large, the matter is supported to the past of the hypersurface {u=uf-1}. Recall that the results of this section are shown in the setting of Theorem 5.2, so that they hold for points xA.

Throughout this section γ will denote a null geodesic emanating from {v=v0} (so that v(γ(0))=v0) such that (γ(0),γ˙(0))supp(f). The tangent vector to γ at time s can be written with respect to the double null frame as

γ˙(s)=pA(s)eA+p3(s)e3+p4(s)e4.

Note that in the next section notation will change slightly (γ(0) there will be a point in {v>v0}π(supp(f)) and the parameter s will always be negative).

Recall that, by assumption, (γ(0),γ˙(0))supp(f) implies that,

0p4(0)Cp4,0r(0)2p3(0)Cp3p4(0),|r(0)2pA(0)|CpAp4(0)forA=1,2,

for some fixed constants Cp1,,Cp4 independent of v0.

The main result of this section is the following.

Proposition 7.1

For such a geodesic γ,

12p4(0)p4(s)32p4(0),0r(s)2p3(s)2Cp3p4(0),|r(s)2pA(s)|2CpAp4(0)forA=1,2,

for all s0 such that γ(s)A, provided v0 is taken suitably large.

The proof of Proposition 7.1 is obtained through a bootstrap argument, so suppose s1(0,) is such that,

14p4(0)p4(s)2p4(0) 80
r(s)2p3(s)2Cp3p4(0) 81
|r(s)2pA(s)|2Cp3p4(0)forA=1,2, 82

for all 0ss1. Clearly the set of all such s1 is a non-empty, closed, connected subset of (0,). The goal is to show it is also open, and hence equal to (0,), by improving the constants.

The following fact, proved assuming the above bootstrap assumptions hold, is used for integrating the geodesic equations in the proof of Proposition 7.1.

Lemma 7.2

Along such a geodesic γ,

p4(s)r˙(s)2,

where r(s)=r(γ(s)) and r˙(s)=drds(s), provided v0 is taken sufficiently large and γ(s)A.

Proof

Recall that

1Ω2-112,

provided C¯ is sufficiently small, and so Ω2>12. Since u˙(s)=p3(s)Ω2 and v˙(s)=p4(s), this and the bootstrap assumptions (80), (81) then imply that,

p4(s)r˙(s)=p4(s)p4(s)-p3(s)Ω211-2Cp3p4(0)1r(s)21214p4(0)=11-16Cp3r(s)22,

provided v0, and hence r(0) is taken sufficiently large.

Proof of Proposition 7.1

The geodesic equation for p4,

p˙4(s)+Γμν4(s)pμ(s)pν(s)=0,

written using the notation for the Ricci coefficients introduced in Section 2.3 takes the form graphic file with name 40818_2017_26_Figec_HTML.jpgUsing the fact that the pointwise bounds for Γ give, graphic file with name 40818_2017_26_Figed_HTML.jpgthe bootstrap assumptions (80)–(82) then imply that,

p˙4(s)Cp4(0)2r(s)3.

Hence, for any s[0,s1],

p4(s)-p4(0)Cp4(0)r(0)2

by Lemma 7.2, and,

1-Cr(0)2p4(0)p4(s)1+Cr(0)2p4(0).

Taking v0, and hence r(0), sufficiently large then gives,

12p4(0)p4(s)32p4(0),

improving the bootstrap assumption (80).

Consider now the geodesic equation for p3(s), graphic file with name 40818_2017_26_Figee_HTML.jpgRecalling that,

r˙(s)=p4(s)-p3(s)Ω2,

this then gives, graphic file with name 40818_2017_26_Figef_HTML.jpgwhere the mass shell relation (21) has been used to obtain the cancellation. Inserting the pointwise bounds for the components of Γ and the bootstrap assumptions (80)–(82), this gives,

dr(s)2p3(s)dsCp4(0)2r(s)2.

Again, integrating from s=0 gives,

r(s)2p3(s)-r(0)2p3(0)Cp4(0)r(0),

and using the assumption on p3(0),

r(0)2p3(0)-Cp4(0)r(0)r(s)2p3(s)Cp31+Cr(0)p4(0).

If v0, and hence r(0) is sufficiently large this gives,

0r(s)2p3(s)32Cp3p4(0),

hence improving the bootstrap assumption (81).

Finally, consider the geodesic equation for pA(s), for A=1,2, graphic file with name 40818_2017_26_Figeg_HTML.jpgwhich similarly gives, graphic file with name 40818_2017_26_Figeh_HTML.jpgand using the bootstrap assumptions (80)–(82),

dr(s)2pA(s)dsCp4(0)2r(s)2.

Integrating and again taking v0 large similarly gives,

r(s)2pA(s)32CpAp4(0),

improving the bootstrap assumption (82).

The set of all s1 such that (80)–(82) hold for all 0ss1 is therefore a non-empty, open, closed, connected subset of (0,), and hence equal to (0,).

Finally we can show that π(supp(f)) is contained in {uuf-1} for some uf large.

Proposition 7.3

For a geodesic γ as above,

u(s)uf-1,

for all s0 provided uf is chosen sufficiently large and γ(s)A.

Proof

Recall that u˙(s)=p3(s)Ω2. Since Ω212, Proposition 7.1 implies that

|u˙(s)|4Cp3p4(0)r(s)2,

and so

u(s)u(0)+4Cp30sp4(0)r(s)2dsu(0)+64Cp3r(0)r(s)1r2dru(0)+32Cp3r(0).

The result then holds if

uf>sup{v=v0}u+32Cp3r+1.

Estimates for the Energy Momentum Tensor

Recall the notation from Section 3, and the set A from Theorem 5.2. The main result of this section is the following.

Proposition 8.1

If xA then, for u=u(x), v=v(x), 0k2,

rp|DkTp|(u,v)Cε0,

for k3,

u0uSu,vr(u,v)2p-2|DkTp|2dμSu,vduCε0, 83

and,

v0vSu,vr(u,v)2p-4|DkTp|2dμSu,vdvCε0, 84

and for k4,

u0uv0vSu,vr(u,v)2p-4|DkTp|2dμSu,vdvduCε0, 85

for some constant C.

Recall from Section 5 that ε0 describes the size of the data.

The main difficulty in the proof of Proposition 8.1, and in fact the main new difficulty in this work, is estimating derivatives of f. In Section 8.1, Proposition 8.1 is reduced to Proposition 8.2, a statement about derivatives of f. In particular, in Section 8.1 it is seen how the zeroth order bounds, rp|Tp|C, are obtained using the results of Section 4. A collection of operators D~, which act on functions h:PR, akin to the collection D introduced in Section 3.3, is defined and used in the formulation of Proposition 8.2. In Section 8.2 additional schematic notation is introduced. This notation is used throughout the remainder of Section 8. In Section 8.3 seven more operators, V(0),,V(6), are introduced and Proposition 8.2 is further reduced to Proposition 8.6, which involves bounds on combinations of the six operators V(1),,V(6) applied to f. The main observation is that the Vlasov equation can be used to replace V(0)f:=rHor(x,p)(e4)f with a combination of operators from V(1),,V(6) (such that the coefficients have desirable weights) applied to f. The operators V(1),,V(6), in Section 8.4, are then used to define corresponding Jacobi fields (with respect to the Sasaki metric, defined in Section 4) J(1),,J(6). In Section 8.5 two frames for the mass shell, {Ei} and {Fi}, are defined. In Sections 8.6 and 8.7 bounds for the components, with respect to the frame {Ei}, of the Jacobi fields, along with their derivatives, are obtained. It is transport estimates for the Jacobi equation which are used to obtain these bounds. For such estimates it is convenient to use the parallel frame {Fi}, and it is therefore also important to control the change of frame matrix Ξ, also defined in Section 8.5. In Section 8.8 it is shown how Proposition 8.6 follows from the bounds on derivatives of the components of the Jacobi fields obtained in Sections 8.6 and 8.7, thus completing the proof of Proposition 8.1.

For a function h:PR, define Tp[h] by replacing f with h in the definition of Tp. So for example, graphic file with name 40818_2017_26_Figei_HTML.jpgIn particular

Tp[f]=Tp.

This notation will be used throughout this section. Finally, it is assumed throughout this section that xA.

Estimates for T Assuming Estimates for f

Consider the set of operators {e3,re4,re1,re2}. The notation D~ will be used to schematically denote an arbitrary operator in this set. These operators act on functions h:PR on the mass shell where, for example,

e3(h)=1Ω2uh,e4(h)=vh+bAθAh,

in the coordinate system (u,v,θ1,θ2,p1,p2,p4) on P (as usual it is assumed we are working in one of the two fixed spherical coordinate charts).

Given a collection of derivative operators from the set Inline graphic, say Dk, this will act on (0, m) Su,v tensors and give a (0,l+m) Su,v tensor, where lk is the number of times Inline graphic appears in Dk. Let D~C1,,Clk denote the corresponding collection of derivative operators in D~ where, in Dk(eC1,,eCl), each Inline graphic is replaced by re4, each Inline graphic is replaced by e3, and each Inline graphic is replaced by reCi. So for example if k=4 and graphic file with name 40818_2017_26_Figej_HTML.jpgthen

D~C1,C24=re4(reC1(e3(reC2(·)))).

Using the results of Section 7, the proof of the k=0 case of Proposition 8.1 can immediately be given. First, however, Proposition 8.2, a result about D~ derivatives of f, is stated. The full proof of Proposition 8.1, assuming Proposition 8.2, is then given after Proposition 8.3, Proposition 8.4 and Lemma 8.5, which relate D derivatives of T to D~ derivatives of f.

Proposition 8.2

If xA then, for u=u(x), v=v(x), k=1,2,

rpTpD~kf(u,v)Cε0,

for 1k3,

u0uSu,vr(u,v)2p-2TpD~kf2dμSu,vduCε0,

and for 1k4,

u0uv0vSu,vr(u,v)2p-4TpD~kf2dμSu,vdvduCε0.

In the above, graphic file with name 40818_2017_26_Figek_HTML.jpg

The proof of Proposition 8.2 is given in Sections 8.38.8.

Proposition 8.3

Given h:PR, graphic file with name 40818_2017_26_Figel_HTML.jpgwhere the last line is true for C=1,2.

Proof

This follows by directly computing the derivatives of each Tp. For example, graphic file with name 40818_2017_26_Figem_HTML.jpgand graphic file with name 40818_2017_26_Figen_HTML.jpgThe other derivatives are similar.

Proposition 8.4

For any k1,

DkTp[f](eC1,,eCl)=Tp[D~C1,,Clkf]+EDkTp(eC1,,eCl)

where graphic file with name 40818_2017_26_Figeo_HTML.jpgand

ETp=0.

Here lk is the number of times Inline graphic appears in Dk.

Proof

The proof follows by induction by writing

DkTp=D(Dk-1Tp)=DTpD~k-1f+EDk-1Tp

and using the previous proposition.

Lemma 8.5

For 1k4, graphic file with name 40818_2017_26_Figep_HTML.jpgin supp(f).

Proof

Recall that graphic file with name 40818_2017_26_Figeq_HTML.jpgUsing the first variation formula (54),

e3(p3)=χ_ABpApB2p4,

and hence, graphic file with name 40818_2017_26_Figer_HTML.jpgby the Cauchy–Schwarz inequality. Similarly, using (55), graphic file with name 40818_2017_26_Figes_HTML.jpgand hence, graphic file with name 40818_2017_26_Figet_HTML.jpgFinally, graphic file with name 40818_2017_26_Figeu_HTML.jpghence similarly, graphic file with name 40818_2017_26_Figev_HTML.jpgThe higher order derivatives follow similarly.

Proof of Proposition 8.1

For k=0 the result follows using the bounds on p1,p2,p3,p4 in supp(f),

|p1|,|p2|,|p3|Cp4r2,|p4|C,

from Proposition 7.1.

Note that

supP|{v=v0}|f|ε0,

and hence, since f is preserved by the geodesic flow,

supP|f|ε0.

This fact and the above bounds imply graphic file with name 40818_2017_26_Figew_HTML.jpgas Inline graphic. One then easily sees, graphic file with name 40818_2017_26_Figex_HTML.jpgand graphic file with name 40818_2017_26_Figey_HTML.jpgMoreover, graphic file with name 40818_2017_26_Figez_HTML.jpgand graphic file with name 40818_2017_26_Figfa_HTML.jpgso that, graphic file with name 40818_2017_26_Figfb_HTML.jpgand graphic file with name 40818_2017_26_Figfc_HTML.jpg

For first order derivatives of Tp, Proposition 8.4 and the pointwise bounds on Inline graphic imply that,

|DTp|CTpD~f+|Tp|+TpD~logp3·f,

and hence Proposition 8.2 and Lemma 8.5 imply,

|DTp|Cε0rp.

Similarly for the second order derivatives, the pointwise estimates on Inline graphic Inline graphic imply that,

|D2Tp|C(k2TpD~kf+|DTp|+DTpD~logp3·f+TpD~logp3·D~f),

and hence, by Proposition 8.3,

|D2Tp|C(k2TpD~kf+|DTp|+TpD~2logp3·f+TpD~logp3·f+TpD~logp3·D~f+TpD~logp3·D~logp3·D~f).

Proposition 8.2, Lemma 8.5 and the above bounds for |DTp| therefore give,

|D2Tp|Cε0rp.

For the third and fourth order derivatives, Proposition 8.2, Lemma 8.5, Proposition 8.3, the pointwise estimates for Inline graphic and the pointwise bounds on T,DT,D2T obtained above similarly give graphic file with name 40818_2017_26_Figfd_HTML.jpgand graphic file with name 40818_2017_26_Figfe_HTML.jpgThe estimates (83) and (85) now follow using Proposition 8.2 and the bootstrap assumptions for derivatives of Inline graphic and Inline graphic.

To obtain (84) first compute, graphic file with name 40818_2017_26_Figff_HTML.jpgThe result then follows by integrating from u0 to u and using (85).

Schematic Notation

To deal with some of the expressions which arise in the remainder of this section it is convenient to introduce further schematic notation. Like the previous schematic notation introduced in Section 3.1, this notation will make it easy to read off the overall r decay of complicated expressions.

Throughout most of this section we will consider a point (x,p)Psupp(f) and the trajectory of the geodesic flow sexps(x,p) through this point. The trajectory will be followed backwards to the initial hypersurface, so s will be negative. Note that

exps(x,p)=(γ(s),γ˙(s)),

where γ is the unique geodesic in M such that γ(0)=x, γ˙(0)=p. The expressions exps(x,p) and (γ(s),γ˙(s)) will be used interchangeably. Also γ˙μ(s) and pμ(s) will both be used to denote the μ component of γ˙(s) with respect to the frame e1,e2,e3,e4. Note the slight change in notation from Section 7 where γ(0) lay on the initial hypersurface {v=v0} and s was positive.

Recall from Section 7 that, for such a geodesic, γ˙4(s) will remain bounded in s (and in fact will be comparable to γ˙4(0)), whilst γ˙1(s),γ˙2(s),γ˙3(s) will all decay like 1r(s)2. The notation γ˙0 will be used to schematically denote γ˙4(s) and γ˙2 to schematically denote any of γ˙1(s),γ˙2(s),γ˙3(s),

γ˙0=γ˙4,γ˙2=γ˙1,γ˙2,γ˙3,

so that,

rp|γ˙p|Cp4(0).

Certain vector fields, K, along γ will be considered later. If K1,,K4 denote the components of K with respect to the frame24 1re1,1re2,e3,e4, so that,

K=K11re1+K21re2+K3e3+K4e4,

then it will be shown that, for all such K considered, K3 will always be bounded along γ, and K1,K2,K4 can grow at most like r(s). Therefore K0 will be used to schematically denote K3 and K-1 will schematically denote K1,K2,K4,

K0=K3,K-1=K1,K2,K4,

so it is always true that,

rp|Kp|C.

Finally, let Inline graphic, Inline graphic schematically denote the following quantities, graphic file with name 40818_2017_26_Figfg_HTML.jpgwhere eA denotes the Su,v one-form Inline graphic, for A=1,2. This notation will be used for schematic expressions involving the components of Weyl curvature components, Ricci coefficients and energy momentum tensor components. If ξ is a (0, k) Su,v tensor, write, graphic file with name 40818_2017_26_Figfh_HTML.jpgto schematically denote any of the components,

ξA1Ak=ξ(eA1,,eAk).

Note that, if Inline graphic, then the bounds, Inline graphic imply that,

|ξ(eA1,,eAk)|Crk-p,

where |·| here denotes the usual absolute value on R. For example, the sum of the components Inline graphic decays like 1r2 and is schematically written, graphic file with name 40818_2017_26_Figfi_HTML.jpgwhere in the summation p1=4,p2=-2 for each of the two terms. Looking at the summation on the right hand side, it is straightforward to read off that each term should decay like 1r2.

Similarly, if ξ is a (k, 0) Su,v tensor, write,

ξe-k,

to denote any of the components

ξA1Ak=ξ(eA1,,eAk).

Since Inline graphic, if Inline graphic then,

|ξA1Ak|Cr-p-k.

For example, allowing ψ to also denote ψ, T to also denote T etc., graphic file with name 40818_2017_26_Figfj_HTML.jpgwhere in the summation now p1=4,p2=2 for each of the two terms. Again, the subscript of the summation on the right hand side allows us to immediately read off that the components Inline graphic decay like 1r6.

Finally, if ξ is a (k1,k2) Su,v tensor, write, graphic file with name 40818_2017_26_Figfk_HTML.jpgto schematically denote any of the components,

ξA1Ak1B1Bk2.

For example, graphic file with name 40818_2017_26_Figfl_HTML.jpgand it can immediately be read off from the subscript of the summation that the components Inline graphic decay like 1r4. Note that, in this notation, it is clearly not necessarily the case that no e1,e2,e1,e2 appear in the expression graphic file with name 40818_2017_26_Figfm_HTML.jpg

Vector Fields on the Mass Shell

Consider the vectors V(1),,V(6)T(x,p)P defined by,

V(A)=Hor(x,p)(eA)+p4rp¯A,V(3)=Hor(x,p)(e3),V(4)=rHor(x,p)(e4)+p4p¯4,V(4+A)=p4r2p¯A,

for A=1,2. The proof of Proposition 8.2 reduces to the following.

Proposition 8.6

At any point xA, if u=u(x), v=v(x) then, for i1,i2,i3,i4=1,,6,

rpTpV(i1)f(u,v)Cε0,rpTpV(i2)V(i1)f(u,v)Cε0,u0uSu,vr(u,v)2p-2TpV(i3)V(i2)V(i1)f2dμSu,vduCε0,

and

u0uv0vSu,vr(u,v)2p-4TpV(i4)V(i3)V(i2)V(i1)f2dμSu,vdvduCε0.

The vectors V(1),,V(6), together with V(0) given by,

V(0)=rHor(x,p)(e4),

form a basis for T(x,p)P. They are preferred to the operators D~ introduced in Section 8.1 as, in view of Proposition 4.8, it is much more natural to work with vectors divided into their horizontal and vertical parts. It will be shown below that |V(i)f| is uniformly bounded for i=0,,6.

Remark 8.7

It is not the case that |Hor(x,p)(eA)f| is uniformly bounded, for A=1,2. In fact, |Hor(x,p)(eA)f| grows at the rate r(x) as r(x). It is for this reason the term p4rp¯A also appears in V(A). A cancellation will later be seen to occur in these two terms, so that |V(A)f| is uniformly bounded.

In Section 8.4, the vector fields V(1),,V(6) are used to define corresponding Jacobi fields, J(1),,J(6), along exps(x,p). The boundedness of |V(i)f| will follow from bounds on the components of J(i) for i=1,,6. Whilst it is true that |V(0)f| is uniformly bounded, the appropriate bounds for the components of the Jacobi field corresponding to V(0) do not hold. This is the reason V(0) derivatives of f are treated separately in the proof of Proposition 8.2 below, and do not appear in Proposition 8.6. See also the discussion in Remark 8.8.

Similarly, the components of the Jacobi field corresponding to p4p¯4 do not satisfy the appropriate bounds. The rHor(x,p)(e4) term in V(4) appears for this reason. The bound on |p4p¯4f| can easily be recovered from the bound on |V(4)f| using the below observation that the Vlasov equation can be used to re-express rHor(x,p)(e4)f in terms of other derivatives of f.

Below is a sketch of how Proposition 8.2 follows from Proposition 8.6.

Proof of Proposition 8.2

Recall the point (x,p)supp(f) is fixed. The goal is to estimate D~C1,,Clkf where D~{re1,re2,e3,re4}, k4, and lk is the number of times re1 or re2 appears in D~k. Since V(0),,V(6) span T(x,p)P, clearly D~C1,,Clkf can be written as a combination of terms of the form V(i1)V(ik)f, where kk and i1,,ik=0,,6. It remains to check that the V(0) can be eliminated and then that the coefficients in the resulting expressions behave well. This is done in the following steps.

  1. First rewrite D~C1,,Clkf as
    D~C1,,Clkf=rlD^C1,,Clkf+k=1lCkrpkD^C1,,Clk-kf,
    where D^{e1,e2,e3,re4}, the Ck are constants and pk are powers such that pkl. The terms in the sum are lower order and so, by induction, can be viewed as having already been estimated “at the previous step”, so they are ignored from now on. The rl factor in the first term will vanish when the norm is taken with the metric Inline graphic and so is also ignored.
  2. Rewrite each D^ in terms of the vectors V(0),,V(6) defined above, graphic file with name 40818_2017_26_Figfn_HTML.jpg

  3. In the resulting expression bring all of the coefficients of the vectors V(0),,V(6) out to the front to get
    D^C1,,Clkf=1kki1,,ikdi1ikV(i1)V(ik)f,
    where the di1ik are combinations of hp terms and derivatives of components of Inline graphic and b. Clearly di1ik involves at most k-k derivatives of the components of Γ and Inline graphic, and k-k+1 derivatives of components of b. Moreover, using the bootstrap assumptions from Section 5 they are bounded with respect to r. Hence |di1ik|C for k=3,4, Su,vr-2|di1ik|2dμSu,vC for k=2 and v0vSu,vr-4|di1ik|2dμSu,vdvC for k=1.
  4. For each V(i1)V(ik)f in the above expression containing at least one V(0), commute to bring the innermost to the inside. Relabelling if necessary, this gives
    V(i1)V(ik)f=di1ik-10V(i1)V(ik-1)V(0)f+1kk-1j1,,jkdj1jkV(j1)V(jk)f,
    for some (new) dj1jk as above.
  5. Use the Vlasov equation pμHor(x,p)(eμ)f=0 (see Example 4.1) to rewrite
    V(0)f=-rp3p4Hor(x,p)(e3)f-rpAp4Hor(x,p)(eA)f.
    Rewrite this right hand side in terms of V(1),,V(6) and repeat Step (3) to bring the coefficients to the outside of the expression.
  6. Repeat steps (4) and (5) to eliminate all of the V(0) terms to leave
    D^C1,,Clkf=1kki1,,ik=16di1ikV(i1)V(ik)f,
    where the di1ik have the correct form as above.

The result now clearly follows from Proposition 8.6.

Remark 8.8

The vector V(0)=rHor(x,p)(e4) should be compared to the vector

S:=vHor(x,p)(e4)+uHor(x,p)(e3).

In the context of Theorem 5.1, where u0uuf in supp(f), the uHor(x,p)(e3) term is not the dominant one in S. Recall also that v here is comparable to r.

Given any vector VT(x,p)P, in the sections to follow it is shown that there exists a vector field J on P such that Jf satisfies the Vlasov equation and J coincides with V at the point (x,p)P. For V(1),,V(6) it will be shown that the corresponding J are all of size 1 (independent of the point x) at the initial hypersurface {v=v0}. Whilst this is not the case for the vector field J corresponding to S, a form of the following observation was used in the proof of Proposition 8.2. The vector field J corresponding to S has a large component, but this component points in the X direction and hence vanishes when applied to f. A manifestation of this fact is brought to light through the fact that [XM,S]=XM, where XM denotes the generator of the null Minkowski geodesic flow and, with a slight abuse of notation, S now denotes the vector field S=vHor(x,p)(e4)+uHor(x,p)(e3) on the mass shell over Minkowski space.

Note that this observation is not specific to the massless case, i.e. the identity [XM,S]=XM is still true if XM now denotes the Minkowski geodesic flow restricted to the hypersurface Pm={(x,p)TMpfuture directed,gMink(p,p)=-m2} for m>0. A form of this observation is used in the work [16].

The Jacobi Fields

Define vector fields J(1),,J(6) along the trajectory of the geodesic flow sexps(x,p) by

J(i)(s)=dexps|(x,p)V(i),

for i=1,,6.

Since

f(x,p)=f(exps(x,p)),

by the chain rule,

V(i)f(x,p)=df|(x,p)V(i)=df|exps(x,p)·dexps|(x,p)V(i)=J(i)(s)f.

Taking s<0 so that exps(x,p) lies on the mass shell over the initial hypersurface {v=v0}, this relates V(i)f(x,p) to intial data. By Proposition 4.8, J(i) is in fact a Jacobi field and hence J(i)(s) can be controlled using the Jacobi equation.

Note that so far the Jacobi fields are only defined along the trajectory sexps(x,p). Since higher order derivatives of f will be taken it is necessary to define them in a neighbourhood of the geodesic sexps(x,p) in P. They are in general defined differently depending on what the higher order derivatives to be taken are. When considering the quantity

V(ik)V(i1)f,

for 2k4 the Jacobi fields are extended so that

J(ik)J(i1)|s=0=V(ik)V(i1),

as follows.

If k=2 then define a curve c1:(-ϵ,ϵ)P, for some small ϵ>0, such that

c1(0)=(x,p),c1(s1)=V(i2),

i.e. c1 is the integral curve of V(i2) through (xp). Set J(i1)=V(i1) along c1 and let J(i1)(s,s1)=dexps|c1(s1)V(i1). Now the expression J(i2)J(i1)f is defined along exps(x,p) and has the desired property that J(i2)J(i1)|s=0=V(i2)V(i1).

Similarly, if k=3 define a variation of curves c2:(-ϵ,ϵ)2P so that

c2(0,0)=(x,p),c2s1(s1,0)=V(i3),c2s2(s1,s2)=V(i2).

So the curve s1c2(s1,0) is the integral curve of V(i3) through (xp), and, for fixed s1, the curve s2c2(s1,s2) is the integral curve of V(i2) through c2(s1,0). Set

J(i1)(s,s1,s2)=dexps|c2(s1,s2)V(i1),

for s1,s2(-ϵ,ϵ),s<0, and,

J(i2)(s,s1,0)=dexps|c2(s1,0)V(i2),

for s1(-ϵ,ϵ),s<0. Now the expression J(i3)J(i2)J(i1)f is defined along exps(x,p) and moreover,

J(i3)J(i2)J(i1)|s=0=V(i3)V(i2)V(i1).

Finally, if k=4, similarly define c3:(-ϵ,ϵ)3P so that

c3(0,0,0)=(x,p),c3s1(s1,0,0)=V(i4),c3s2(s1,s2,0)=V(i3)c3s3(s1,s2,s3)=V(i2),

and similarly set

J(i1)(s,s1,s2,s3)=dexps|c3(s1,s2,s3)V(i1),J(i2)(s,s1,s2,0)=dexps|c2(s1,s2,0)V(i2),J(i3)(s,s1,0,0)=dexps|c2(s1,0,0)V(i3),

for s1,s2,s3(-ε,ε),s<0.

Two Frames for P and Components of Jacobi Fields

Let s0 be the time such that π(exp-s(x,p)){v=v0}, where π:PM is the natural projection. The definition of the Jacobi fields of Section 8.4 imply that, for 1k4,

V(ik)V(i1)f(x,p)=J(ik)J(i1)f|s=-s,

and so Proposition 8.6 will follow from appropriate estimates for J(ik)J(i1)f|s=-s.

Recall from Section 2 that p¯1,p¯2,p¯4 denote the restrictions of p1,p2,p3 to P and p¯1,p¯2,p¯4 denote the corresponding partial derivatives with respect to the (u,v,θ1,θ2,p¯1,p¯2,p¯4) coordinate system for P. For every (x,p)P define the frame E1,,E7 of horizontal and vertical vectors for P by

E1=Hor(x,p)1re1,E2=Hor(x,p)1re2,E3=Hor(x,p)e3,E4=Hor(x,p)e4,E5=1r(x,p)p¯1,E6=1r(x,p)p¯2,E7=p¯4.

Recall the expressions (19), which imply, graphic file with name 40818_2017_26_Figfo_HTML.jpgThe vectors 1reA, for A=1,2, are used rather than the vectors eA which grow like r. For J{J(1),,J(6)} let Jj denote the components of J with respect to this frame. So

J=JjEj.

Define also the frame F1,,F7 for P along sexps(x,p) by

Fi=Par(γ,γ˙)Ei

for i=1,,7. Here γ(s)=π(exps(x,p)) denotes the geodesic in M, so that exps(x,p)=(γ(s),γ˙(s)), and Par(γ,γ˙) denotes parallel transport along (γ(s),γ˙(s)).

Let Ξ denote the change of basis matrix from {Fi} to {Ei}, so that

Ei=ΞijFj. 86

Note that, at s=0,

Ξij|s=0=δij.

Remark 8.9

In the following, when tensor fields on P are written in components, these will always be components with respect to the frame {Ei}. So if J is a Jacobi field then Ji denote the components such that

J=JiEi.

When writing components with respect to the parallelly transported frame {Fi}, the matrix Ξ will always be used. So,

J=JiΞijFj.

Latin indices ij will always run from 1,,7.

It will be necessary in the following sections to estimate the components of Ξ and Ξ-1, and certain derivatives, along (γ(s),γ˙(s)). It is therefore necessary to derive equations satisfied by the components of Ξ and Ξ-1.

Proposition 8.10

The components of the matrices Ξ and Ξ-1 satisfy the equations,

dΞijds(s)=^XEikΞkj(s), 87

and

dΞ-1ijds(s)=-Ξ-1ik^XEkj(s), 88

respectively, for i,j=1,,7. Here ^XEik denote the components of ^XEi with respect to E1,,E7.

Proof

Using the fact that,

^XFj=0,

for all j, equation (86) gives,

^XEi=XΞijFj.

This can be written as the system of equations (87).

Similarly, writing Fj=Ξ-1ijEj gives,

0=^XFi=X(Ξ-1ij)+Ξ-1ik^XEkjEj.

This yields the system (88).

Now,

J(i2)J(i1)f=J(i2)J(i1)j1Ej1f+J(i2)j2J(i1)j1Ej2Ej1f,

so estimates for J(i2)J(i1)f|s=-s follow from estimates for the components J(i2)j2J(i1)j1 and derivatives J(i2)J(i1)j1 at s=-s since Ej1f|s=-s and Ej2Ej1f|s=-s are assumed to be bounded pointwise by assumption. See Theorem 5.1. Higher order derivatives can similarly be expressed in terms of derivatives of components of Jacobi fields. This is discussed further in Section 8.8. It is hence sufficient to just estimate the derivatives of components,

J(ik)J(i2)J(i1)j,

for k=1,,4,j=1,,7. These estimates are obtained in the next two subsections in Propositions 8.17, 8.22, 8.26, 8.27. In Section 8.8 they are then used to prove Proposition 8.6.

Pointwise Estimates for Components of Jacobi Fields at Lower Orders

For the fixed point (x,p)Psupp(f), recall that s=s(x,p) denotes the parameter time s such that π(exp-s(x,p)){v=v0}. The goal of this section is to show that the components of the Jacobi fields J(1),,J(6), with respect to the frame E1,,E7, are bounded, independently of (xp), at the parameter time s=-s, and then similarly for the first order derivatives J(i2)(J(i1)j), for i1,i2=1,,6, j=1,,7. Second and third order derivatives of the Jacobi fields are estimated in Section 8.7.

The estimates for the components of J=J(1),,J(6) are obtained using the Jacobi equation

^X^XJ=R^(X,J)X,

which in components takes the form,

d2JkΞkjds2=R^(X,J)XkΞkj. 89

There are two important structural properties of the right hand side of equation (89), essential for obtaining good global estimates for the Jacobi fields. The first involves the issue of regularity. Given that derivatives of components of the energy momentum tensor appear in the Bianchi equations as error terms, it is important to estimate derivatives of T, and hence the components of J(1),,J(6), at one degree of differentiability greater than the Weyl curvature components ψ. It is therefore important that the right hand side of equation (89) has the correct structure to allow the components of the Jacobi fields to be estimated at this level of regularity.25 The second important property concerns the issue of decay. Since equation (89) is used to estimate the Jacobi fields globally, it is important that the right hand side is twice globally integrable. Recall that R^ denotes the curvature tensor of the induced Sasaki metic on P and, by Proposition 4.7, R^(X,J)X can be expressed in terms of the curvature tensor R of (M,g). In order to check that the right hand side of (89) indeed has the two above properties, R^ is expressed in terms of R, which is then expanded in terms of ψ, T. It is then written using the schematic notation of Section 8.2, which allows one to easily read off the decay and regularity properties.

First, by Proposition 4.7,

R^(X,J)X=Hor(γ,γ˙)R(γ˙,Jh)γ˙+34R(γ˙,R(γ˙,Jh)γ˙)γ˙+12(γ˙R)(γ˙,Jv)γ˙+12TVer(γ,γ˙)(γ˙R)(γ˙,Jh)γ˙+12R(γ˙,R(γ˙,Jv)γ˙)γ˙. 90

Here Jh and Jv are defined by graphic file with name 40818_2017_26_Figfp_HTML.jpgso that

J|(γ,γ˙)=Hor(γ,γ˙)(Jh|(γ,γ˙))+TVer(γ,γ˙)(Jv|(γ,γ˙)).

For a vector YTγM, TVer(γ,γ˙)(Y) denotes the projection of Ver(γ,γ˙)(Y) to P. So, for each (y,q)P on the trajectory of the geodesic flow through (xp),

Jh|(y,q),Jv|(y,q)TyM.

It is tempting to view Jh,Jv as vector fields on M, though this is not strictly the case as the value of Jh|(y,q),Jv|(y,q) depends not only on y but also on q. Some care therefore needs to be taken here.

In view of the above discussion regarding the regularity of the right hand side of (89), the presence of the derivatives of R in the expression (90) seem, at first glance, to be bad. On closer inspection however, one sees that such terms are always horizontal or vertical lifts of derivatives of R in the γ˙ direction. Since the components of J(1),,J(6) are estimated by integrating the Jacobi equation (89) twice in s, the fact that the potentially problematic terms, when integrated in s, in fact lie at the same level of differentiability as R can be taken advantage of. In other words, the derivatives of R appearing on the right hand side of the Jacobi equation (89) always point in exactly the correct direction so that transport estimates for the Jacobi equation (89) recover this loss. In order to exploit this fact, it is convenient to rewrite the expression (90), using Proposition 4.4, as,

R^(X,J)X=Hor(γ,γ˙)[R(γ˙,Jh)γ˙+12R(γ˙,R(γ˙,Jh)γ˙)γ˙-12X((Jv)μ)R(γ˙,eμ)γ˙-12(Jv)μR(γ˙,γ˙eμ)γ˙-12X(γ˙α)R(eα,Jv)γ˙+R(γ˙,Jv)eα-12γ˙αR(γ˙eα,Jv)γ˙+R(γ˙,Jv)γ˙eα]+12TVer(γ,γ˙)[R(γ˙,R(γ˙,Jv)γ˙)γ˙-X((Jh)μ)R(γ˙,eμ)γ˙-X(γ˙α)R(eα,Jh)γ˙+R(γ˙,Jh)eα-γ˙αR(γ˙eα,Jh)γ˙+R(γ˙,Jh)γ˙eα-(Jh)μR(γ˙,γ˙eμ)γ˙]+12^XHor(γ,γ˙)R(γ˙,Jv)γ˙+12^XTVer(γ,γ˙)R(γ˙,Jh)γ˙. 91

The above observations explain how (89) can be used to give good estimates for J(1),,J(6) from the point of view of regularity. In order to obtain global estimates however, it is also important to see that (91) has the correct behaviour in r so as to be twice globally integrable. This can be seen by rewriting (91) in terms of ψ, T and using the bootstrap assumptions (68), (69), along with the the asymptotics for p1,p2,p3,p4 obtained in Section 7, being sure to allow certain components of J to grow like r. Consider, for example, just the first term Hor(γ,γ˙)R(γ˙,Jh)γ˙ in (91). Recall the identity,

Rαβγδ=Wαβγδ+12(gαγTβδ+gβδTαγ-gβγTαδ-gαδTβγ).

For a vector field K along γ in M, let Kμ denote the components of K with respect to 1re1,1re2,e3,e4,

K=1rKAeA+K3e3+K4e4.

Using the form of the metric in the double null frame, graphic file with name 40818_2017_26_Figfq_HTML.jpg

Hence, graphic file with name 40818_2017_26_Figfr_HTML.jpg

This can schematically be written as graphic file with name 40818_2017_26_Figfs_HTML.jpg which, as the schematic notation now makes clear, decays like r-52 and hence is twice globally integrable. Note that the summation on the right hand side of (93) can actually always begin at 3, except for terms involving β. This fact is important when estimating higher order derivatives of Jacobi fields in Section 8.7 and will be returned to then.

Recall, from Section 8.2, that K-1 is used to schematically denote K1, K2, or K4. It is important to denote K1,K2,K4 as such since the E1, E2 and E4 components of some of J(1),,J(6) will be allowed to grow at rate r.

Clearly, in order to use the Jacobi equation (89) to estimate the components of J(1),,J(6), several additional points need to first be addressed. First, it is obviously important to understand how the matrix Ξ, along with its inverse Ξ-1, behaves along (γ,γ˙). Moreover, since the terms in R^(X,J)Xi involving derivatives of R have to be integrated by parts, it is also important to understand how the derivative of Ξ, dΞds, behaves along (γ,γ˙). An understanding of the behaviour of these matrices is obtained in Proposition 8.14 below using the equations (87), (88). Since the components of ^XEi appear in equations (87), (88), they are written in schematic notation in Proposition 8.12.

Secondly, it is necessary to understand the initial conditions,

JiΞij(0)=Jj(0),dJiΞijds(0)=^XJ(0)

for the Jacobi equation (89). These initial conditions are computed in Proposition 8.15. The reader is encouraged on first reading to first set R^(X,J)X equal to zero (i.e. to consider the Jacobi fields on a fixed Minkowski background) in order to first understand the argument in this simpler setting. The Jacobi equation (89) can, in this case, be explicitly integrated and explicit expressions for the F1,,F7 components of the Jacobi fields, (JiΞij)(s), can be obtained. It is clear that, even in this simplified setting, in order to obtain the appropriate boundedness statements, certain cancellations must occur in certain terms arising from Jj(0) and certain terms arising from (^XJ)j(0) for some of the Jacobi fields. Lemma 8.11 below is used to exploit these cancellations in the general setting.

Finally, it is convenient to write some remaining quantities appearing in the expression (91) in schematic notation. This is done in Proposition 8.13.

The zeroth order estimates for the components of J(1),,J(6) are then obtained in Proposition 8.17, with Lemma 8.16 being used to make the presentation more systematic.

To obtain estimates for first order derivatives of the components of J(i1), for i1=1,,6, the Jacobi equation (89) is commuted with J(i2), for i2=1,,6. The fact that J(i2) is a Jacobi field along sexps(x,p)=(γ(s),γ˙(s)), a curve in P whose tangent vector is X, guarantees that [X,J(i2)]=0, i.e. J(i2) commutes with dds. It is now crucial to ensure that the schematic form of the error terms is preserved on applying J(i2), e.g. J(i2)R(X,J)Xj must have the same, globally twice integrable, behaviour in r as R(X,J)Xj, for j=1,,7. Moreover, in obtaining the zeroth order estimates, it was important that the bound

R(X,J(i1))XjC(p4(s))2,

was true in order that the right hand side of the Jacobi equation (89) could be twice integrated in s. It is therefore also important to also ensure that,

J(i2)R(X,J(i1))XjC(p4(s))2.

Note that this property is completely independent of the behaviour in r. Proposition 8.18 is motivated by showing these properties of the error terms are preserved. In order for this to be so, it quickly becomes apparent that, at the zeroth order, it is necessary to show that |J(i1)j|Cp4 for j=5,6,7. Also, on inspection of Proposition 8.18, one sees that J(γ˙A) contains terms of the form,

1rJ4+A-γ˙4rJA,

for A=1,2. The presence of such terms means that, in order to see that J(i2)(γ˙A) has the correct 1r2 behaviour, it is necessary to ensure that, for each J=J(1),,J(6), either J4+A is not merely bounded at s=-s, but behaves like 1r along (γ,γ˙), or that an appropriate cancellation occurs between the J4+A and JA terms. It is hence necessary, at the zeroth order, to not just show boundedness of the components at s=-s, but to understand their behaviour along (γ,γ˙) in more detail. To gain this understanding it also becomes necessary to understand properties of the change of frame matrices, Ξ and Ξ-1, in more detail. See Proposition 8.14 and Proposition 8.17. In order to further commute the Jacobi equation (89), to estimate second and third order derivatives of the components of the Jacobi fields, it is also necessary to understand more detailed properties of first order derivatives of the components of the Jacobi fields.

As preliminaries to the estimates for the first order derivatives of the components of the Jacobi fields, which are treated in Proposition 8.17, relevant properties of first order derivatives of Ξ and Ξ-1 are understood in Proposition 8.20, along with relevant properties of first order derivatives of the initial conditions for the Jacobi equation in Proposition 8.21.

The following Lemma, recall, will be used to exploit certain cancellations in terms arising from the initial conditions for the Jacobi equation (89).

Lemma 8.11

For s[-s,0],

r(0)+p4(0)s-r(s)Cr(s).

where C is a constant independent of (xp).

Proof

Note that

r˙(s)=X(r)(s)=p4(s)-1Ω2p3(s),

and so

r(0)=r(s)+-s0r˙(s)ds=r(s)+-s0p4(s)ds--s01Ω2p3(s)ds.

Recall that |1Ω2p3(s)|Cr2p4(s), and the geodesic equation for p4, graphic file with name 40818_2017_26_Figft_HTML.jpgwhich implies that,

|p4(s)-p4(0)|s0|p˙4(s)|dss0C(p4(s))2r(s)3dsCp4(s)r(s)2.

Hence,

|r(0)+sp4(0)-r(s)|=s0p4(s)-p4(0)-1Ω2p3(s)dsCr(s).

Note that Lemma 8.11 in particular implies that

r(0)-p4(0)sC,

and also,

sp4(0)r(0)C,

for s[-s,0].

In the following two propositions, terms arising in the equations (87), (88) for Ξ and Ξ-1, and in the expression (91) for R^(X,J)X are respectively written in schematic form.

Proposition 8.12

In schematic notation, if i,j=1,,7, then graphic file with name 40818_2017_26_Figfu_HTML.jpgand moreover, if i=1,,4,j=5,6,7 or vice versa, graphic file with name 40818_2017_26_Figfv_HTML.jpgAlso, graphic file with name 40818_2017_26_Figfw_HTML.jpgfor A,B=1,2.

Note that the second summation in each line guarantees that terms involving Weyl curvature components and energy momentum tensor components decay slightly better than the others. This fact is important and will be returned to in Proposition 8.23. Note also that, if Inline graphic is just regarded as DΓ1, the terms involving Inline graphic above also decay slightly better. This extra decay is important at higher orders because of the weaker bounds we have for Inline graphic.

Proof

Using Proposition 4.4 and the table of Ricci coefficients (24)–(28), one derives, graphic file with name 40818_2017_26_Figfx_HTML.jpgwhere, for a vector Y on M, TVer(γ,γ˙)(Y) denotes the projection of Ver(γ,γ˙)(Y) to P. The terms involving the curvature R of M can be found explicitly in terms of ψ,T by setting K=eA,e3 or e4 in the expression (92). For example, in the above expression for ^XE4+A,graphic file with name 40818_2017_26_Figfy_HTML.jpgThe result follows by inspecting each of the terms and writing in schematic notation.

Using the bootstrap assumptions for the pointwise bounds on Inline graphic and the fact that rp|γ˙p|p4, Proposition 8.12 in particular gives,

^XEij(s)Cp4r(s)2,

for i,j=1,,7,

^XEij(s)C(p4)2r(s)2,

for all i=1,,4,j=5,6,7 or vice versa, and

^XEA4+B(s)C(p4)2r(s)3,

for A,B=1,2. These facts are crucial for showing the schematic form of the error term in the Jacobi equation (see Proposition 8.18 below) is preserved after taking derivatives. Recall, by Proposition 7.1,

cp4(s)p4(0)Cp4(s),

for all s[-s(x,p),0], for some constants cC which are independent of the point (x,p)Psupp(f). So p4 in the above expressions can either be taken to be evaluated at time s or time 0.

Proposition 8.13

In schematic notation, graphic file with name 40818_2017_26_Figfz_HTML.jpg

Proof

Using the table of Ricci coefficients (24)–(28) one can compute, graphic file with name 40818_2017_26_Figga_HTML.jpg

In the next proposition, estimates for the components of the matrices Ξ, Ξ-1 are obtained.

Proposition 8.14

If v0 is sufficiently large then the matrix Ξ satisfies,

Ξij(s)-δijCr(s),dΞijds(s)Cp4r(s)2,

for all i,j=1,,7. Moreover, if i=1,,4,j=5,6,7 or vice versa,

Ξij(s)Cp4r(s),dΞijds(s)C(p4)2r(s)2

and

ΞA4+B(s)Cp4r(s)2,dΞA4+Bds(s)C(p4)2r(s)3,

for A,B=1,2. Similarly, for Ξ-1,

Ξ-1ij(s)-δijCr(s),dΞ-1ijds(s)Cp4r(s)2,

for all i,j=1,,7. Moreover, if i=1,,4,j=5,6,7 or vice versa,

Ξ-1ij(s)Cp4r(s),dΞ-1ijds(s)C(p4)2r(s)2

and

Ξ-1A4+B(s)Cp4r(s)2,dΞ-1A4+Bds(s)C(p4)2r(s)3,

for A,B=1,2. Here C is a constant independent of (xp).

Proof

The proof proceeds by a bootstrap argument. Assume, for some s[-s,0], that

Ξij(s)-δijC1r(s), 94

for i,j=1,,7 and that

Ξij(s)C1p4r(s), 95

for i=1,,4,j=5,6,7 or vice versa, for all s[s,0], where C1>4 is a constant which will be chosen later. These inequalities are clearly true for s=0. For any i,j=1,,7, equation (87) and Proposition 8.12 imply that,

dΞij(s)dsCp4(s)r(s)2+CC1p4(s)r(s)3,

for all s[s,0]. Hence,

Ξij(s)-δijs0dΞij(s)dsdss0Cp4(s)r(s)2+CC1p4(s)r(s)3dsr(s)r(0)Cr2+CC1r3drCr(s)+CC1r(s)2Cr(s)1+C1v0.

Choose C1>4 large so that C1>4C, and v0 large so that 1+C1v0<2, i.e. v0>C1. Then,

Ξij(s)-δijC142r(s)=C121r(s).

The set of s[-s,0] such that the bootstrap assumptions (94) hold is therefore non-empty, open, closed and connected, and hence equal to [-s,0].

Suppose now i=1,,4, j=5,6,7 or vice versa. Equation (87) and Proposition 8.12 then imply,

dΞij(s)dsCp4(s)2r(s)2+CC1p4(s)2r(s)3,

using now the second bootstrap assumptions (95). Proceeding as before, this implies that

Ξij(s)C12p4(s)r(s),

if C1,v0 are sufficiently large, where we use the fact that cp4(0)p4(s)Cp4(0). Hence (95) also holds for all s[-s,0].

Returning now to equation (87) and setting i=A,j=4+B, for A,B=1,2, the final part of Proposition 8.12 gives

dΞA4+Bds(s)C(p4(s))2r(s)3,

for all s[-s,0]. Integrating then gives the final part of the proposition for Ξ. The result for Ξ-1 follows identically, using equation (88).

In the next proposition the initial conditions for the Jacobi equation (89) are computed.

Proposition 8.15

The Jacobi fields J(1),,J(6), along with their first order derivatives in the X direction, take the following initial values. graphic file with name 40818_2017_26_Figgb_HTML.jpgfor A=1,2, graphic file with name 40818_2017_26_Figgc_HTML.jpgfor A=1,2, and

J(7)(0)=p4rE7,^XJ(7)(0)=-p3rE3+p4rE4+12rHor(x,p)R(p,p4e4-p3e3)p.

The expressions involving the curvature tensor R of (M,g) can be written explicitly in terms of ψ and T using the expression (92).

Proof

The proof follows directly from Proposition 4.8.

The components of the Jacobi fields J(1),,J(6) can now be estimated along (γ(s),γ˙(s)). Recall that it is important, in order to show the schematic form of the Jacobi equation is preserved after commuting with Jacobi fields, to identify the leading order terms of some of the components. The leading order term of J(3)3 is also identified in order to carry out a change of variables in the proof of Proposition 8.6. See Section 8.8.

The following lemma will be used.

Lemma 8.16

If J1(s),,J7(s) are functions along exps(x,p) for s[-s,0] then

Jj(s)-Jj(0)+sdJkΞkjds(0)Cr(s)i=17Ji(0)+sdJkΞkids(0)+Ci=17s0dJkΞkids(s)-dJkΞkids(0)ds,

for j=1,,4,

J4+A(s)-J4+A(0)+sdJkΞk4+Ads(0)Cp4r(s)2B=12JB(0)+sdJkΞkBds(0)+Cp4r(s)i=34Ji(0)+sdJkΞkids(0)+Cr(s)i=57Ji(0)+sdJkΞkids(0)+Cs0dJkΞk4+Ads(s)-dJkΞk4+Ads(0)ds+Cr(s)i=17s0dJkΞkids(s)-dJkΞkids(0)ds,

for A=1,2, and

J7(s)Cp4r(s)i=14Ji(0)+sdJkΞkids(0)+Ci=57Ji(0)+sdJkΞkids(0)+Ci=17s0dJkΞkids(s)-dJkΞkids(0)ds.

Proof

The proof follows by using the fundamental theorem of calculus to write,

Jk(s)Ξkj(s)=Jj(0)+sdJkΞkids(0)-s0dJkΞkids(s)-dJkΞkids(0)ds,

and using the estimates for the components of Ξ-1 from Proposition 8.14.

Proposition 8.17

If C¯ is sufficiently small, s[-s,0], then

|J(A)B(s)-δABr(s)|C,|J(4)4(s)-r(s)|C,

for A,B=1,2,

|J(3)3(s)-1|Cr(s),

and

|J(i)j(s)|C,

for i=1,,6, j=1,,4 otherwise,

|J(A)4+B(s)-δABp4(s)|Cp4(s)r(s),|J(i)4+A(s)|Cp4(s)r(s),

for all A,B=1,2, iA, and

|J(i)7(s)|Cp4(s),

for all i=1,,7. Here C=C(C¯) is independent of the point (xp) and of s.

Proof

The result is shown using a bootstrap argument. For each J{J(1),,J(7)}, assume that, for some constant C1>1 which will be chosen later, s[-s,0] is such that

dJkΞkjds(s)-dJkΞkjds(0)C1p4(s)r(s)32, 96

for j=1,,4,

dJkΞk4+Ads(s)-dJkΞk4+Ads(0)C1p4(s)2r(s)2, 97

for A=1,2, and

dJkΞk7ds(s)-dJkΞk7ds(0)C1p4(s)2r(s)32, 98

for all s[s,0].

Suppose first that i1,2,4. By Proposition 8.15 and the fact that,

sp4(0)r(0)C,

it follows that,

J(i)j(0)+s^XJ(i)j(0)C,

for j=1,,4, and

J(i)j(0)+s^XJ(i)j(0)Cp4(0),

for j=5,6,7. Using the fact that,

^XJ(i)j(0)=dJ(i)kΞkjds(0),s0p4(s)r(s)32dsCr(s)r(0)1r32drCr(s)12,s0p4(s)2r(s)32dsCp4(s)r(s)12,s0p4(s)2r(s)2dsCp4(s)r(s),

and

cp4(0)p4(s)Cp4(0),

for all s[-s,0], Lemma 8.16 immediately gives

|J(i)j(s)|C(1+C1),

for j=1,,4, and

|J(i)4+A(s)|C(1+C1)p4(s)r(s),

for A=1,2, and

|J(i)7(s)|C(1+C1)p4(s).

Note also that,

J(3)3(0)+s^XJ(3)3(0)=1,

and hence Lemma 8.16 moreover gives,

|J(3)3(s)-1|C(1+C1)r(s).

If i=1,2 then, using the fact that

|p4(s)-p4(0)|Cp4(0)r(s)2,

(see the proof of Lemma 8.11), Lemma 8.11 and Proposition 8.15 imply that

J(A)A(0)+s^XJ(A)A(0)-r(s)r(0)+sp4(0)-r(s)+sp4(0)-^XJ(A)A(0)C,

for A=1,2, and that,

J(A)j(0)+s^XJ(A)j(0)C,

for j=1,,4,jA, and

J(A)4+A(0)+s^XJ(A)4+A(0)-p4(0)=sJ(A)4+A(0)Cp4(0)r(0),J(A)j(0)+s^XJ(A)j(0)Cp4(0)r(0),

for j=5,6,7,j4+A. Lemma 8.16 then gives,

J(A)B(s)-δABr(s)C(1+C1),

for B=1,2,

J(A)i(s)C(1+C1),

for i=3,4,

J(A)4+B(s)-δABp4(s)C(1+C1)p4(s)r(s),

for B=1,2, and

J(A)7(s)C(1+C1)p4(s).

Similarly, using the fact that,

J(4)4(0)+s^XJ(4)4(0)-r(s)=r(0)+sp4(0)-r(s)+sp4(0)-^XJ(4)4(0)C,

etc., the bounds for J(4),

J(4)4(s)-r(s)C(1+C1),

and,

J(4)i(s)C(1+C1),

for i=1,2,3,

J(4)4+A(s)C(1+C1)p4(s)r(s),

for A=1,2, and

J(4)7(s)C(1+C1)p4(s),

can be obtained.

It remains to recover the bootstrap assumptions (96)–(98) with better constants. It will be shown that, for each J=J(1),,J(6),

s0|(R^(X,J)X)iΞij(s)|dsC¯C(C1)p4(s)r(s)32, 99

for j=1,,4,

s0|(R^(X,J)X)iΞi4+A(s)|dsC¯C(C1)(p4(s))2r(s)2, 100

for A=1,2, and

s0|(R^(X,J)X)iΞi7(s)|dsC¯C(C1)(p4(s))2r(s)32, 101

where C(C1) is a constant depending on C1. By integrating the Jacobi equation (89) and taking C¯ small depending on C(C1), the bootstrap assumptions (96)–(98) can then be recovered with better constants. This implies that the set of s[-s,0] such that (96)–(98) hold for all s[s,0] is non-empty, open and closed, and hence that (96)–(98) hold for all s[-s,0].

Consider first the first term in the expression (91) for R^(X,J)X,

Hor(γ,γ˙)R(γ˙,Jh)γ˙.

The components of this term with respect to E1,,E4 are exactly the components of R(γ˙,Jh)γ˙ with respect to the frame 1re1,1re2,e3,e4 for M. From the schematic expression (93), the pointwise bounds on the components26 of ψ,T and the fact that rp|γ˙p(s)|Cp4(s), one immediately sees that,

Hor(γ,γ˙)R(γ˙,Jh)γ˙iC¯C(p4(s))2r(s)52,

and hence, by Proposition 8.14,

s0Hor(γ,γ˙)R(γ˙,Jh)γ˙iΞijdsC¯Cp4(s)r(s)32,

for j=1,2,3,4. Other than those in the bottom line, the remaining horizontal components in the expression (91) can be treated similarly using also Proposition 8.13 and the pointwise bounds on the components of Inline graphic. For the term

^XHor(γ,γ˙)R(γ˙,Jv)γ˙,

in the bottom line of (91), write

^XHor(γ,γ˙)R(γ˙,Jv)γ˙=X(R(γ˙,Jv)γ˙)μEμ+(R(γ˙,Jv)γ˙)μ^XEμ, 102

where μ runs from 1 to 4 in the summations. The horizontal components of the second term of (102) can be estimated exactly as the others using Proposition 8.12. For the components of the first term, write,

s0X(R(γ˙,Jv)γ˙)μΞμj(s)ds=(R(γ˙,Jv)γ˙)μΞμj(0)-(R(γ˙,Jv)γ˙)μΞμj(s),

for j=1,,7. Then using again the schematic expression (93), the pointwise bounds on ψ, T and Proposition 8.14, the terms in the Jacobi equation (89) which the first term of (102) give rise to can be estimated,

s0X(R(γ˙,Jv)γ˙)μΞμj(s)dss0X(R(γ˙,Jv)γ˙)μΞμj(s)ds+s0(R(γ˙,Jv)γ˙)μXΞμj(s)dsC¯C(p4(s))2r(s)52.

The vertical terms in (91) are similarly estimated as follows. Notice now that, ignoring the term

^XTVer(γ,γ˙)R(γ˙,Jh)γ˙,

in the bottom line of (91) for now, each term contains at least three γ˙ factors and moreover that, since Proposition 8.13 guarantees that the terms involving γ˙eα gain an extra power of decay. Similarly, since γ˙γ˙=0, one can check, graphic file with name 40818_2017_26_Figgd_HTML.jpgand hence the terms involving X(γ˙α) also gain an extra power of r decay. Similarly for the vertical terms arising from the second term in (102), by Proposition 8.12. Since

TVer(γ,γ˙)R(γ˙,R(γ˙,Jv)γ˙)γ˙,

is quadratic in R this term also decays better. Hence, using also Proposition 8.14, one sees all the vertical terms in (91), still ignoring the final term in the bottom line, can be controlled by27

C¯C(p4(s))3r(s)3.

For the final term, write

^XTVer(γ,γ˙)R(γ˙,Jh)γ˙=X(R(γ˙,Jh)γ˙)λEλ~(λ)+(R(γ˙,Jh)γ˙)λ^XEλ~(λ),

where λ runs over 1,2,4 and λ~(1)=5,λ~(2)=6,λ~(4)=7. The components of the second term can be estimated as before (with the additional r decay) by Proposition 8.12. The components of the first term can again be estimated after integrating,

s0X(R(γ˙,Jh)γ˙)λΞλ~(λ)j(s)ds=(R(γ˙,Jh)γ˙)λΞλ~(λ)j(0)-(R(γ˙,Jh)γ˙)λΞλ~(λ)j(s)C¯C(p4(s))2r(s)52,

and hence

s0X(R(γ˙,Jh)γ˙)λΞλ~(λ)j(s)dsC¯C(p4(s))2r(s)52.

The bounds (99)–(101) are thus obtained.

Suppose now i1,i2=1,,6. Since J(i2) is a Jacobi field along (γ,γ˙), a curve with tangent vector field X, it is true that [X,J(i2)]=0 and the Jacobi equation for the components of J(i1) can be commuted with J(i2) to give,

d2J(i2)(J(i1)kΞkj)ds2=J(i2)(R^(X,J(i1))X)kΞkj.

The goal now is to repeat the proof of Proposition 8.17 to get pointwise estimates for J(i2)(J(i1)j) along (γ,γ˙). It is first necessary to show that the schematic form of R^(X,J(i1))X is preserved after differentiating the components with respect to J(i2).

As with the K notation introduced in Section 8.2, for J=J(1),,J(6), let the components be schematically denoted as follows,

J0=J3,J-1=J1,J2,J4,J5,J6,J7.

By Proposition 8.17, it is always true that

rp|Jp|C,

for some constant C.28

Proposition 8.18

For J=J(1),,J(6),

J(hp)=p1+p2php1Jp2,

for any hp appearing in the schematic expressions of this section, graphic file with name 40818_2017_26_Figge_HTML.jpg and graphic file with name 40818_2017_26_Figgf_HTML.jpg

Proof

In the schematic expressions of this section, hp always denotes (a constant multiple of) 1rp. One easily checks,

J1rp=J4e41rp+J3e31rp=1prp-1(J3-J4)=p1+p2php1Jp2.

For the second part, writing Hor(γ,γ˙)(eμ)=eμ-pνΓμνλpλ, by direct computation, graphic file with name 40818_2017_26_Figgg_HTML.jpgOne easily sees these two expressions have the desired schematic form. For J(γ˙3), recall, graphic file with name 40818_2017_26_Figgh_HTML.jpgso that graphic file with name 40818_2017_26_Figgi_HTML.jpgThe result follows by expanding Inline graphic and using the previous two expressions.

The last point is immediate from Lemma 3.4.

Note that it is the terms in the last line of (103) which make it necessary to keep track of the leading order terms in some of the Jacobi fields.

Remark 8.19

One easily sees that the last point from Proposition 8.18 is true at higher orders, i.e., graphic file with name 40818_2017_26_Figgj_HTML.jpgfor k1. This fact will be used later when estimating higher order derivatives of the Jacobi fields.

Using the bounds on the components of J(1),,J(6) from Proposition 8.17, Proposition 8.18 in particular guarantees that

J(γ˙p)(s)Cp4r(s)p,

for J=J(1),,J(6).

In order to mimic the strategy used to obtain the zeroth order estimates of the components of the Jacobi fields, estimates for J(i2)(Ξkj) along (γ,γ˙) are first obtained, then the initial conditions for J(i2)(J(i1)j) are computed in Proposition 8.20 and Proposition 8.21 respectively.

Proposition 8.20

If v0 is sufficiently large, for J=J(1),,J(6) the matrix Ξ satisfies,

J(Ξkj)(s)Cr(s),dJ(Ξkj)ds(s)Cp4(s)r(s)2,

for k,j=1,,7. Moreover, if k=1,,4, j=5,6,7 or vice versa,

J(Ξkj)(s)Cp4(s)r(s),dJ(Ξkj)ds(s)C(p4(s))2r(s)2.

Similarly for Ξ-1,

J(Ξ-1kj)(s)Cp4(s)r(s),dJ(Ξ-1kj)ds(s)C(p4(s))2r(s)2.

for k,j=1,,7. Moreover, if k=1,,4, j=5,6,7 or vice versa,

J(Ξ-1kj)(s)Cp4(s)r(s),dJ(Ξ-1kj)ds(s)C(p4(s))2r(s)2.

Proof

The proof follows that of Proposition 8.14 by first, for s[-s,0], making the bootstrap assumptions,

J(Ξkj)(s)C1r(s),

for k,j=1,,7,

J(Ξkj)(s)C1p4(s)r(s),

for k=1,,4,j=5,6,7 or vice versa, for all s[s,0]. Note that at time s=0,

J(Ξkj)|s=0=0,

for all Jkj. Using the schematic expressions for the components of ^XEk from Proposition 8.12 and the fact that this schematic structure is pressured by Proposition 8.18, the commuted equation for Ξ,

dJ(Ξkj)ds(s)=J(^XEk)lΞlj(s)

can be estimated exactly as in Proposition 8.14. Similarly for Ξ-1.

The next proposition gives pointwise estimates for the initial conditions for the commuted Jacobi equation. As was the case for the uncommuted equation, the leading order terms of some of the components have to be subtracted first.

Proposition 8.21

At time s=0,

J(4)(J(A)B)|s=0-δABrC,J(4)((^XJ(A))B)|s=0-δABp4Cp4r,

for A,B=1,2,

J(4)(J(4)4)|s=0-rC,J(4)((^XJ(4))4)|s=0-p4Cp4r,

and

J(i2)(J(i1)j)|s=0C,J(i2)((^XJ(i1))j)|s=0Cp4r,

for i1,i2=1,,6, j=1,,4 otherwise,

J(4)(J(A)4+B)|s=0-δABp4Cp4r,

for A,B=1,2,

J(i2)(J(i1)4+A)|s=0Cp4r,

for i1,i2=1,,6 otherwise,

J(i2)((^XJ(i1))4+A)|s=0Cp4r2,

for all i1,i2=1,,6, and

J(i2)(J(i1)7)|s=0Cp4,J(i2)((^XJ(i1))7)|s=0Cp4r,

for all i1,i2=1,,6.

Proof

Consider the expressions for J(i1)(0),^XJ(i1)(0) before Proposition 8.17. The proof follows by applying V(i2) to the components, noting that,

V(4)(r)=r,V(4)(p4)=p4,|V(i)(r)|C,|V(i)(p4)|Cp4r,

for i4, and that, by Proposition 8.18, one has the same pointwise bounds for V(i2) applied to the terms involving curvature as one does for the terms involving curvature alone.

Proposition 8.22

For s[-s,0], if C¯ is sufficiently small then,

|J(4)J(A)B(s)-δABr(s)|C,|J(4)J(4)4(s)-r(s)|C,

for A,B=1,2,

|J(i2)J(i1)j(s)|C,

for i1,i2=1,,6, j=1,,4 otherwise,

|J(4)J(A)4+B(s)-δABp4(s)|Cp4(s)r(s),|J(i2)J(i1)4+A(s)|Cp4(s)r(s),

for all A,B=1,2, i1,i2=1,,6 such that (i2,i1)(4,A), and

|J(i2)J(i1)7(s)|Cp4(s),

for all i1,i2=1,,7. Here C=C(C¯) is independent of the point (xp) and of s.

Proof

The proof follows that of Proposition 8.17. The commuted Jacobi equation takes the form

d2J(i2)J(i1)kΞkjds2=J(i2)(R^(X,J(i1))X)kΞkj,

since [X,J(i2)]=0. Assume that s[-s,0] is such that

d2J(i2)J(i1)kΞkjds2(s)-d2J(i2)J(i1)kΞkjds2(0)C1p4(s)r(s)32,

for j=1,,4,

d2J(i2)J(i1)kΞk4+Ads2(s)-d2J(i2)J(i1)kΞk4+Ads2(0)C1(p4(s))2r(s)2,

for A=1,2, and

d2J(i2)J(i1)kΞk7ds2(s)-d2J(i2)J(i1)kΞk7ds2(0)C1(p4(s))2r(s)32,

for all s[s,0], for all i1,i2=1,,6, where C1 is a large constant which will be chosen later. For j=1,,4 this immediately gives

J(i2)J(i1)kΞkj(s)-J(i2)J(i1)kΞkj(0)+sd2J(i2)J(i1)kΞkjds2(0)CC1r(s).

By Proposition 8.20, and Proposition 8.17,

J(i1)kJ(i2)Ξkj(s)C,

and hence, by Proposition 8.21 and the fact that,

J(i2)J(i1)kΞkj(0)=J(i2)J(i1)j(0),dJ(i2)J(i1)kΞkjds(0)=J(i2)(^XJ(i1))j(0),

this implies,

J(4)J(A)B(s)-δABr(s)C(1+C1),

for A,B=1,2,

J(4)J(4)4(s)-r(s)C(1+C1),

and

J(i2)J(i1)j(s)C(1+C1),

for i1,i2=1,,6,j=1,,4 otherwise, for all s[s,0], where Proposition 8.14 has also been used. Similarly,

J(4)J(A)4+B(s)-δABp4(0)C(1+C1)p4(s)r(s),

for A,B=1,2,

J(i2)J(i1)4+A(s)C(1+C1)p4(s)r(s),

for A=1,2, i1,i2=1,,6 otherwise, and

J(i2)J(i1)7(s)C(1+C1)p4(s),

for all i1,i2=1,,6, for all s[s,0].

The remainder of the proof proceeds exactly as that of Proposition 8.17, recalling that [X,J(i2)]=0. By Proposition 8.18 and Proposition 8.20 one has the same bounds for,

J(i2)(R^(X,J(i1))X)kΞkj,

the right hand side of the commuted Jacobi equation, as for the uncommitted equation since the bootstrap assumptions of Section 5 and the Sobolev inequalities give pointwise bounds for Inline graphic.

L2 Estimates for Components of Jacobi Fields at Higher Orders

To estimate J(i3)J(i2)(J(i1)j) and J(i4)J(i3)J(i2)(J(i1)j), the Jacobi equation needs to commuted three and four times respectively. This will generate terms involving two and three derivatives of Ricci coefficients, Weyl curvature components and energy momentum tensor components. The higher order derivatives of the components of the Jacobi fields must therefore be estimated in L2. They will additionally only be estimated after integrating in momentum space, i.e. after integrating over Px.

Given (x,p)supp(f){(x,p)Pv(x)>v0} and v0vv(x), define sv(x,p) to be the parameter time such that π(expsv(x,p)){v=v}, where π:PM is the natural projection map. In this notation,

-s(x,p)=sv0(x,p),

where s(x,p) is defined in Section 8.5.

The goal of this section is to show that, for all i1,i2,i3,i4=1,,6, j=1,,7, the quantities

TJ(i3)J(i2)(J(i1)j)(sv),TJ(i4)J(i3)J(i2)(J(i1)j)(sv), 104

for each Inline graphic, can be controlled, for all v[v0,v(x)], by up to two and three derivatives of Ricci coefficients, curvature components and energy momentum tensor components respectively. It will then be possible to estimate the quantities (104) after taking appropriate weighted square integrals.

The case where two derivatives of the components of the Jacobi fields are taken will first be considered. Mimicking again the proof of the zeroth order estimates, second order derivatives of the matrices Ξ and Ξ-1 are first estimated, followed by estimates for second order derivatives of the initial conditions for the Jacobi equation in Proposition 8.23 and Proposition 8.25 respectively. The following Proposition should therefore be compared to Proposition 8.14 and Proposition 8.20.

Proposition 8.23

If v0 is sufficiently large, J(i2),J(i3)=J(1),,J(6), then, for all Tp,

TpJ(i3)J(i2)(Ξkj)(sv)C1r(x)pv+HΞ,2(v),

for j,k=1,,7, and

Tp(p4)-1J(i3)J(i2)(Ξkj)(sv)C1r(x)pv+HΞ,2(v),

for j=1,,4, k=5,6,7 or vice versa, for all v0vv(x). Similarly for Ξ-1,

TpJ(i3)J(i2)(Ξ-1kj)(sv)C1r(x)pv+HΞ,2(v),

for j,k=1,,7, and

Tp(p4)-1J(i3)J(i2)(Ξ-1kj)(sv)C1r(x)pv+HΞ,2(v),

for j=1,,4, k=5,6,7 or vice versa. Here C is a constant which is independent of the point (xp) (but depends on C¯) and graphic file with name 40818_2017_26_Figgk_HTML.jpg

Remark 8.24

It should be noted that the L2 norm on incoming null hypersurfaces of the quantities graphic file with name 40818_2017_26_Figgl_HTML.jpgwill be shown to be uniformly bounded. Direct comparison with the 1r(s) behaviour of Ξkj(s)-δkj and J(i2)(Ξkj)(s) from Proposition 8.14 and Proposition 8.20 respectively can therefore be made. The terms involving curvature components, energy momentum tensor components and b can similarly be controlled after taking their weighted L2 norms on incoming null hypersurfaces. See Section 8.8 below.

Proof of Proposition 8.23

The proof proceeds by a bootstrap argument. Suppose v[v0,v(x)] is such that, for each Tp, for j,k=1,,7,

TpJ(i3)J(i2)(Ξkj)(sv~)C11r(x)pv~+HΞ,2(v), 105

for all vv~v(x), where C1 is a large constant which will be chosen later. Note that

J(i3)J(i2)(Ξkj)|sv=0=0,

so this is clearly true for sv=0.

Now,

ddvTpJ(i3)J(i2)(Ξkj)(sv)=Tp1p4J(i3)J(i2)(^XEl)jΞkl(sv)=Tp[1p4(ΞklJ(i3)J(i2)(^XEl)j+(^XEl)jJ(i3)J(i2)Ξkl+J(i2)ΞklJ(i3)(^XEl)j+J(i3)ΞklJ(i2)(^XEl)j)(sv)], 106

since ddv=dsdvdds, dvds=X(v)=p4, and

dds,J=[X,J]=0,

for J=J(i2),J(i3).

By Proposition 8.18, Proposition 8.17 and Proposition 8.12,

J(i2)^XElj(sv~)Cp4r(sv~)2,

for all j,l=1,,7. Also, by Proposition 8.20,

J(i3)Ξkl(sv~)Cr(sv~),

for all k,l=1,,7. Hence,

Tp1p4J(i3)ΞklJ(i2)(^XEl)j(sv~)TpCp4r(sv~)3Cr(x)pv~3,

recalling from the proof of Proposition 8.1 that,

Tpp41supp(f)Cr(x)p.

Similarly,

Tp1p4J(i2)ΞklJ(i3)(^XEl)j(sv~)Cr(x)pv~3.

Using the bootstrap assumptions (105) and the pointwise bounds,

^XElj(sv~)Cp4r(sv~)2Cp4v~2,

from Proposition 8.12, clearly have,

Tp1p4(^XEl)jJ(i3)J(i2)Ξkl(sv~)CC1v~21r(x)pv~+HΞ,2(v).

Now, using the schematic form of (^XEl)j from Proposition 8.12, recalling the better decay for the terms involving Weyl curvature and energy momentum tensor components, the bounds for Ξjk from Proposition 8.14, Proposition 8.18 and Propositions 8.17, 8.22,graphic file with name 40818_2017_26_Figgm_HTML.jpgNote that,

vv(x)CC1v~21v~ΓqTpv~v(x)r(sv)2q-2|D2Γq(sv)|2dv12dv~CC1ΓqTpvv(x)r(sv)2q-2|D2Γq(sv)|2dv12vv(x)1v~52dv~CC1v1vΓqTpvv(x)r(sv)2q-2|D2Γq(sv)|2dv12,

and similarly, graphic file with name 40818_2017_26_Figgn_HTML.jpgAlso,

vv(x)Tpr(sv~)q-2|D2Γq(sv~)|dv~Tpvv(x)1r(sv~)2dv~12vv(x)r(sv~)2q-2|D2Γq(sv~)|2dv~12CvTpvv(x)r(sv~)2q-2|D2Γq(sv~)|2dv~12,

and similarly, graphic file with name 40818_2017_26_Figgo_HTML.jpgand

vv(x)Tpr(sv~)q-52|D2ψq(sv~)|+|D2Tq(sv~)|dv~1vTpvv(x)r(sv~)2q-2|D2ψq(sv~)|2+|D2Tq(sv~)|2dv~12.

Hence, integrating equation (106) from v to v(x) and using the fact that,

J(i3)J(i2)Ξkj|s=0=0,

it follows that

TpJ(i3)J(i2)(Ξkj)(sv)C1+C1v1r(x)pv+HΞ,2(v).

Now choose C1 large so that C1>4C, where C is the constant appearing in the above inequality, and v0 large so that C1v1. Then,

C1+C1vC14·2=C12,

and the bootstrap assumption (105) has been recovered with a better constant. Hence the set of v[v0,v(x)] such that the bootstrap assumption (105) holds for all vv~v(x) is non-empty, open and closed and hence equal to [v0,v(x)].

The proof of the second part follows by making the bootstrap assumption,

Tp(p4)-1J(i3)J(i2)(Ξkj)(sv~)C11r(x)pv~+HΞ,2(v), 107

for all vv~v(x), for j=1,,4,k=5,6,7 or vice versa. The proof proceeds as before, now using the fact that

^XElj(sv~)C(p4)2r(sv~)2,J(i2)^XElj(sv~)C(p4)2r(sv~)2,Ξlj(sv~)Cp4r(sv~),J(i2)Ξlj(sv~)Cp4r(sv~),

andgraphic file with name 40818_2017_26_Figgp_HTML.jpgfor l=1,,4, j=5,6,7 or vice versa.

The proof for Ξ-1kj is identical.

The next proposition gives estimates for the initial conditions for the commuted Jacobi equation. Again, the leading order terms of some of the components have to be subtracted first.

Proposition 8.25

At time sv=0,

J(4)J(4)J(A)B|sv=0-δABrC1+Γqrq|D2Γq|+ψqrq|D2ψq|+Tqrq|D2Tq|,J(4)J(4)(^XJ(A))B|sv=0-δABp4Cp4r1+Γqrq|D2Γq|+ψqrq|D2ψq|+Tqrq|D2Tq|,

for A,B=1,2,

J(4)J(4)J(4)4|sv=0-rC1+Γqrq|D2Γq|+ψqrq|D2ψq|+Tqrq|D2Tq|,J(4)J(4)(^XJ(4))4|sv=0-p4Cp4r1+Γqrq|D2Γq|+ψqrq|D2ψq|+Tqrq|D2Tq|,

and,

J(i3)J(i2)J(i1)j|sv=0C1+Γqrq|D2Γq|+ψqrq|D2ψq|+Tqrq|D2Tq|,J(i3)J(i2)(^XJ(i1))j|sv=0Cp4r1+Γqrq|D2Γq|+ψqrq|D2ψq|+Tqrq|D2Tq|,

for i1,i2,i3=1,,6, j=1,,4 otherwise,

J(4)J(4)J(A)4+B|sv=0-δABp4Cp4r1+Γqrq|D2Γq|+ψqrq|D2ψq|+Tqrq|D2Tq|,

for A,B=1,2,

J(i3)J(i2)J(i1)A|sv=0Cp4r1+Γqrq|D2Γq|+ψqrq|D2ψq|+Tqrq|D2Tq|,

for i1,i2,i3=1,,6 otherwise,

J(i3)J(i2)(^XJ(i1))4+A|sv=0Cp4r21+Γqrq|D2Γq|+ψqrq|D2ψq|+Tqrq|D2Tq|,

for all i1,i2,i3=1,,6, and

J(i3)J(i2)J(i1)7|sv=0Cp41+Γqrq|D2Γq|+ψqrq|D2ψq|+Tqrq|D2Tq|,J(i3)J(i2)(^XJ(i1))7|sv=0Cp4r1+Γqrq|D2Γq|+ψqrq|D2ψq|+Tqrq|D2Tq|,

for all i1,i2,i3=1,,6.

Proof

Again follows from considering expressions for V(i1),^XV(i1), differentiating the components and using the fact that,

V(4)(r)=r,V(4)(p4)=p4,|V(i)(r)|C,|V(i)(p4)|Cp4r,

for i4, as in Proposition 8.21.

Proposition 8.26

If v0 is sufficiently large, v[v0,v(x)], then, for each Tp,

TpJ(4)J(4)J(A)B(sv)-r(sv)δABC1r(x)p+HTp,2(v),

for A,B=1,2,

TpJ(4)J(4)J(4)4(sv)-r(sv)C1r(x)p+HTp,2(v),

and

TpJ(i3)J(i2)J(i1)j(sv)C1r(x)p+HTp,2(v),

for i1,i2,i3=1,,6, j=1,,4 otherwise,

Tp(p4)-1J(4)J(4)J(A)4+B(sv)-δABCv1r(x)p+HTp,2(v),

for A,B=1,2,

Tp(p4)-1J(i3)J(i2)J(i1)4+A(sv)Cv1r(x)p+HTp,2(v),

for i1,i2,i3=1,,6, A=1,2 otherwise, and,

Tp(p4)-1J(i3)J(i2)J(i1)7(sv)C1r(x)p+HTp,2(v),

where, graphic file with name 40818_2017_26_Figgq_HTML.jpg

Proof

Suppose v[v0,v(x)] is such that the following bootstrap assumptions hold for all v~[v,v(x)],

|TpJ(i3)J(i2)J(i1)kΞkj(sv~)-TpJ(i3)J(i2)J(i1)j|sv=0+v(x)-v~Tp1p4dJ(i3)J(i2)J(i1)kΞkjds|sv=0|C1r(x)p1+HTp,2(v~),

for all i1,i2,i3=1,,6, j=1,,4,

|Tp(p4)-1J(i3)J(i2)J(i1)kΞk4+A(sv~)-Tp(p4)-1J(i3)J(i2)J(i1)4+A|sv=0+v(x)-v~Tp1(p4)2dJ(i3)J(i2)J(i1)kΞk4+Ads|sv=0|C1r(x)pr(sv~)1+HTp,2(v~),

for A=1,2, and

|Tp(p4)-1J(i3)J(i2)J(i1)kΞk7(sv~)-Tp(p4)-1J(i3)J(i2)J(i1)7|sv=0+v(x)-v~Tp1(p4)2dJ(i3)J(i2)J(i1)kΞk7ds|sv=0|C1r(x)p1+HTp,2(v~).

Here C1 is a large constant which will be chosen later.

Note that, for each pPx,

(v(x)-v~)+sv~p4(0)Cr(sv~)Cv~.

The proof of this fact is identical to that of Lemma 8.11, using the fact that X(v~)=p4(sv~). Using this fact along with Proposition 8.25 and Lemma 8.11, the bootstrap assumptions immediately give,

TpJ(4)J(4)J(A)B(sv)-r(sv)δABC(1+C1)r(x)p1+HTp,2(v),

for A,B=1,2,

TpJ(4)J(4)J(4)4(sv)-r(sv)C(1+C1)r(x)p1+HTp,2(v),

and

TpJ(i3)J(i2)J(i1)j(sv)C(1+C1)r(x)p1+HTp,2(v),

for i1,i2,i3=1,,6, j=1,,4 otherwise,

Tp(p4)-1J(4)J(4)J(A)4+B(sv)-δABC(1+C1)r(x)pv1+HTp,2(v),

for A,B=1,2,

Tp(p4)-1J(i3)J(i2)J(i1)4+A(sv)C(1+C1)r(x)pv1+HTp,2(v),

for i1,i2,i3=1,,6, A=1,2 otherwise, and,

Tp(p4)-1J(i3)J(i2)J(i1)7(sv)C(1+C1)r(x)p1+HTp,2(v).

It remains to recover the bootstrap assumptions with better constants. This again uses the twice commuted Jacobi equation in components, which takes the form,

d2J(i3)J(i2)J(i1)kΞkjds2=J(i3)J(i2)(R^(X,J(i1))X)kΞkj,

By Propositions 8.17, 8.22, 8.20, 8.23, 8.14, 8.18, the expression (91) for R^, the schematic expression (93)29, the fact that30

^XHor(γ,γ˙)R(γ˙,J(i1)v)γ˙=XR(γ˙,J(i1)v)γ˙μEμ+R(γ˙,J(i1)v)γ˙μ^XEμ,^XTVer(γ,γ˙)R(γ˙,J(i1)h)γ˙=XR(γ˙,J(i1)h)γ˙λEλ~(λ)+R(γ˙,J(i1)h)γ˙λ^XEλ~(λ),

Proposition 8.12, and the fact that [X,J(i3)]=[X,J(i2)]=0, the above bounds on,

TpJ(i3)J(i2)J(i1)j,

imply, for j=1,,4, graphic file with name 40818_2017_26_Figgr_HTML.jpgwhere the fact that,

Tpp41supp(f)Cr(x)p,

has also been used. Now,

ddvTpJ(i3)J(i2)dJ(i1)kΞkjds(sv~)=Tp1p4J(i3)J(i2)d2J(i1)kΞkjds2(sv~),

so TpJ(i3)J(i2)dJ(i1)kΞkjds(sv~) is estimated by integrating (108) from v~ to v(x). Consider the first term on the right hand side of (108),

Tp1p4XJ(i3)J(i2)R(γ˙,J(i1)v)γ˙kΞkj(sv)=Tp1p4dJ(i3)J(i2)R(γ˙,J(i1)v)γ˙kΞkjds(sv)=ddvTpJ(i3)J(i2)R(γ˙,J(i1)v)γ˙kΞkj(sv),

so, graphic file with name 40818_2017_26_Figgs_HTML.jpgwhere the terms arising from Tp(p4)-1J(i3)J(i2)R(γ˙,J(i1)v)γ˙kΞkj(0) are contained in

C(1+C1)r(x)pv~521+HTp,2(v).

For the second term on the right hand side of (108),

v~v(x)C(1+C1)r(x)pv521+HTp,2(v)dvC(1+C1)r(x)p1+HTp,2(v~)v~v(x)1v52dvC(1+C1)r(x)pv~321+HTp,2(v~).

For the final terms,

v~v(x)Tpr(sv)|D2β(sv)|dvTpv~v(x)1r(sv)4dv12v~v(x)r(sv)6|D2β(sv)|2dv12Cv~32Tpv~v(x)r(sv)6|D2β(sv)|2dv12,

and similarly, graphic file with name 40818_2017_26_Figgt_HTML.jpgand graphic file with name 40818_2017_26_Figgu_HTML.jpgHence, graphic file with name 40818_2017_26_Figgv_HTML.jpg Now,

ddvTpJ(i3)J(i2)J(i1)kΞkj(sv~)=Tp1p4J(i3)J(i2)dJ(i1)kΞkjds(sv~),

and hence,

|TpJ(i3)J(i2)J(i1)kΞkj(sv~)-TpJ(i3)J(i2)J(i1)j|sv=0+v(x)-v~Tp1p4dJ(i3)J(i2)J(i1)kΞkjds|sv=0|vv(x)|Tp1p4J(i3)J(i2)dJ(i1)kΞkjds(sv~)-Tp1p4J(i3)J(i2)dJ(i1)kΞkjds|sv=0|dv~.

Integrating each term on the right hand side of (109) then gives,

|TpJ(i3)J(i2)J(i1)kΞkj(sv~)-TpJ(i3)J(i2)J(i1)j|sv=0+v(x)-v~Tp1p4dJ(i3)J(i2)J(i1)kΞkjds|sv=0|C(1+C1)r(x)pv141+HTp,2(v).

Taking v0 large so that C(1+C1)v0C12, this then recovers the first bootstrap assumption with a better constant. The other bootstrap assumptions can be recovered similarly. Hence the set of v[v0,v(x)] where they hold is non-empty, open and closed and hence equal to [v0,v(x)].

Finally, at the very top order, we have the following.

Proposition 8.27

If v0 is sufficiently large, v[v0,v(x)], then, for each Tp,

TpJ(4)J(4)J(4)J(A)B(sv)-r(sv)δABC1r(x)p+HTp,3(v),

for A,B=1,2,

TpJ(4)J(4)J(4)J(4)4(sv)-r(sv)C1r(x)p+HTp,3(v),

and

TpJ(i4)J(i3)J(i2)J(i1)j(sv)C1r(x)p+HTp,3(v),

for i1,i2,i3,i4=1,,6, j=1,,4 otherwise,

Tp(p4)-1J(4)J(4)J(4)J(A)4+B(sv)-δABCv1r(x)p+HTp,3(v),

for A,B=1,2,

Tp(p4)-1J(i4)J(i3)J(i2)J(i1)4+A(sv)Cv1r(x)p+HTp,3(v),

for i1,i2,i3,i4=1,,6, A=1,2 otherwise, and,

Tp(p4)-1J(i4)J(i3)J(i2)J(i1)7(sv)C1r(x)p+HTp,3(v),

where, graphic file with name 40818_2017_26_Figgw_HTML.jpg

Proof

The proof is identical to that of Proposition 8.26, using appropriate versions of Propositions 8.23 and 8.25.

Proof of Proposition 8.6

The proof of Proposition 8.6 follows from Propositions 8.17, 8.22, 8.26, 8.27.

Proof of Proposition 8.6

Recall the frame E~1,,E~7 from Section 5 defined by,

E~i=Eifori=1,2,3,4,E~i=p4Eifori=5,6,7.

Recall also from Section 8.5 that,

V(i1)f|(x,p)=J(i1)f|exp-s(x,p)=J(i1)jEjf|exp-s(x,p),

for i1=1,,6. By assumption,

j=17supP|{v=v0}|E~jf|<ε0,

and so Proposition 8.17, which gives,

|J(i1)j(-s)|Cforj=1,2,3,4,|J(i1)j(-s)|Cp4forj=5,6,7,

implies that,

|V(i1)f|(x,p)|Cε0.

Hence,

|Tp[V(i1)f]|Cε0|Tp[1supp(f|Px)]|Cε0rp.

Similarly,

V(i2)V(i1)f|(x,p)=J(i2)J(i1)f|exp-s(x,p)=J(i2)J(i1)j1Ej1f|exp-s(x,p)+J(i2)j2J(i1)j1Ej2Ej1f|exp-s(x,p).

Again, by assumption,

j1j2=17supP|{v=v0}|E~j2E~j1f|<ε0,

hence Proposition 8.17 and Proposition 8.22, which in particular gives,

J(i2)J(i1)j(-s)Cforj=1,2,3,4,J(i2)J(i1)j(-s)Cp4forj=5,6,7,

imply that,

V(i2)V(i1)f|(x,p)Cε0,

and hence,

|Tp[V(i2)V(i1)f]|Cε0|Tp[1supp(f|Px)]|Cε0rp.

For the third order derivatives recall that,

V(i3)V(i2)V(i1)f=J(i3)J(i2)J(i1)j1Ej1f|exp-s(x,p)+[J(i2)J(i1)j1J(i3)j2+J(i3)J(i1)j1J(i2)j2+J(i3)J(i2)j2J(i1)j1]Ej2Ej1f|exp-s(x,p)+J(i3)j3J(i2)j2J(i1)j1Ej3Ej2Ej1f|exp-s(x,p). 110

The second terms can be estimated pointwise as before, as can the final terms using the assumption,

j1,j2,j3=17supP|{v=v0}|E~j3E~j2E~j1f|<ε0.

Consider the estimate for TpV(i3)V(i2)V(i1)f on the incoming, v= constant, hypersurface. The above pointwise bounds clearly give,

u0uSu,vr2p-2|Tp[(J(i2)J(i1)j1J(i3)j2+J(i3)J(i1)j1J(i2)j2+J(i3)J(i2)j2J(i1)j1)Ej2Ej1f|exp-s(x,p)+J(i3)j3J(i2)j2J(i1)j1Ej3Ej2Ej1f|exp-s(x,p)]|2dμSu,vduCε02,

so it remains to estimate the first term in (110). Proposition 8.26 gives,

Tp[J(i3)J(i2)J(i1)j|exp-s(x,p)]C1rp+HTp,2(v0),

for j=1,2,3,4, and,

Tp[1p4J(i3)J(i2)J(i1)j|exp-s(x,p)]C1rp+HTp,2(v0),

for j=5,6,7, where HTp,2 is defined in Proposition 8.26. Consider first the final terms in HTp,2. Clearly, graphic file with name 40818_2017_26_Figgx_HTML.jpgby the bootstrap assumptions of Section 5. For ψq=α, 2q-2=6 and, graphic file with name 40818_2017_26_Figgy_HTML.jpgand hence,

u0uSu,vr6|D2α|2dμSu,vdu-u0uSu,v0r6|D2α|2dμSu,v0duCv0vu0uSu,vr5|D2α|2+r5|D2α||D3α|dμSu,vduCv0vu0uSu,vr5|D2α|2+r5|D3α|2dμSu,vduCu0uFv0,v1(u)duC,

by the bootstrap assumptions for the weighted L2 integral of D2α,D3α on the outgoing null hypersurfaces. This, together with the assumption on the initial data gives,

u0uSu,vr6|D2α|2dμSu,vduC.

Consider now the first term involving β in HTp,2(v0). By the Cauchy–Schwarz inequality,

Tp1supp(f)v0vr(sv~)6|D2β(sv~)|2dv~122Tp1supp(f)Tpv0vr(sv~)6|D2β(sv~)|2dv~CrpTpv0vr(sv~)6|D2β(sv~)|2dv~.

Hence, using the fact that Inline graphic and that cvrC, graphic file with name 40818_2017_26_Figgz_HTML.jpgwhere U1,U2 are the two spherical charts. We now perform the change of coordinates,

(u,v~,θ1,θ2,p1,p2,p4)(u^,v~,θ^1,θ^2,p1,p2,p4),

where

u^:=u(expsv~(x,p)),θ^A:=θA(expsv~(x,p))forA=1,2,

with (x,p)=(u,v,θ1,θ2,p1,p2,p4). The determinant of the Jacobian of this transformation is equal to the determinant of,

θ^1θ1θ^1θ2θ^1uθ^2θ1θ^2θ2θ^2uu^θ1u^θ2u^u.

Note that, graphic file with name 40818_2017_26_Figha_HTML.jpgand

u=Ω2Hor(x,p)(e3)+(pBχ_^BA+trχ_pA+2p4ηA)p¯A=Ω2V(3)+r2pBp4χ_^BA+pAp4trχ_+2ηAV(4+A).

Hence, graphic file with name 40818_2017_26_Fighb_HTML.jpgProposition 8.17 and the bootstrap assumptions for the Ricci coefficients therefore imply that31

θ^BθA(sv~)-δABCr(sv~).

Similarly,

u^u(sv~)-1Cr(sv~),

and

θ^1u(sv~),θ^2u(sv~)Cr(sv~),u^θ1(sv~),u^θ2(sv~)C.

Hence, if v0 is taken suitably large,

cdetθ^1θ1θ^1θ2θ^1uθ^2θ1θ^2θ2θ^2uu^θ1u^θ2u^uC,

for some constants C,c>0 independent of (xp). The determinant of the Jacobian of the transformation is therefore controlled from above and below independent of r, hence, graphic file with name 40818_2017_26_Fighc_HTML.jpgand

u0ur2p-2Su,vTpv0vr(sv~)6|D2β(sv~)|2dv~122dμSu,vduC0C|p1|,|p2|Cv2v4dp1dp2dp4C.

Similarly, for the remaining terms in HTp,2(v0), graphic file with name 40818_2017_26_Fighd_HTML.jpgHence,

u0ur2p-2Su,vTpV(i3)V(i2)V(i1)f2dμSu,vduCε02.

Consider now the fourth order derivatives of f. For i1,i2,i3,i4=1,,6,

V(i4)V(i3)V(i2)V(i1)f|(x,p),

can be written as a sum of,

J(i4)J(i3)J(i2)J(i1)jEjf|exp-s(x,p)+J(i4)j4J(i3)j3J(i2)j2J(i1)j1Ej4Ej3Ej2Ej1f|exp-s(x,p),

and terms which involve lower order derivatives and can be treated as before. Clearly the second term can also be treated as before using Proposition 8.17 and the assumption,

j1,j2,j3,j4=17supP|{v=v0}E~j4E~j3E~j2E~j1fε0,

so consider just the first term. By Proposition 8.27,

TpJ(i4)J(i3)J(i2)J(i1)j|exp-s(x,p)C1rp+HTp,3(v0),

where HTp,3 is defined in Proposition 8.27. Using the same argument as for HTp,2 (except for the r4-p(|D3α|+|D2α|) terms32),

v0vu0ur2p-4Su,v|HTp,3(v0)|2dμSu,vdudvCv0v1v2dv+v0vu0uSu,vr4(|D3α|+|D2α|)dμSu,vdudvC1+u0uFv0,v1(u)duC.

Hence,

v0vu0ur2p-4Su,vTpV(i4)V(i3)V(i2)V(i1)f2dμSu,vdudvCε02.

The proof then follows from the considerations of Section 8.3.

Estimates for Weyl Curvature Components

The Weyl curvature components ψ are estimated in L2 on null hypersurfaces through weighted energy estimates for the Bianchi equations. The main proposition of this section, Proposition 9.3, will show that, at any point xA (see Theorem 5.2), the bootstrap assumptions for curvature (68) can be retrieved with better constants.

Each Bianchi pair is assigned a weight q,

q(α,β)=5,q(β,(ρ,σ))=4,q((ρ,σ),β_)=2,q(β_,α_)=0. 111

The energy estimates will be derived by integrating the following identities over a spacetime region.

Lemma 9.1

The following identities hold for any k, graphic file with name 40818_2017_26_Fighe_HTML.jpg graphic file with name 40818_2017_26_Fighf_HTML.jpg graphic file with name 40818_2017_26_Fighg_HTML.jpg graphic file with name 40818_2017_26_Fighh_HTML.jpg where Div denotes the spacetime divergence.

Proof

The proof follows by applying the product rule to each term on the left hand side of each identity. For the first terms each Bianchi equation contracted with its corresponding weighted curvature component is used, i.e. equation (60) contracted with rq(ψp,ψp)ψp, and equation (61) contracted with rq(ψp,ψp)ψp. Then use the fact that

Div(e3)=trχ_,Div(e4)=trχ+ω,

and

e3(rn)=-nrrn1Ω2,e4(rn)=n2rntrχ.

For the final term on the left hand side of each identity, use the fact that graphic file with name 40818_2017_26_Fighi_HTML.jpg

The proof of (114) is presented to illustrate a cancellation which occurs in (113), (114), (115). Suppose, to reduce notation, that k=0. Clearly, graphic file with name 40818_2017_26_Fighj_HTML.jpgNote that in the expression for Divr2|β_|2e4 the term generated by Inline graphic acting on r2 exactly cancels the trχ|β_|2 term to leave r2trχ-trχ|β_|2. This cancellation occurs precisely because the weight q=2 was chosen for the Bianchi pair ((ρ,σ),β_). This resulting term, and most of the others, have the same form as the error terms and so can be absorbed to give, graphic file with name 40818_2017_26_Fighk_HTML.jpgTerms of the form rqh1|β_|2, which would appear if any weight other than q=2 had been chosen, would not have the correct form to be absorbed by the error term in the expression for Divr2|β_|2e4. The proof follows by computing Inline graphic.

Remark 9.2

The weights (111) were chosen carefully so that a cancellation would occur in the above identities, as illustrated in the proof. This cancellation does not occur in the identity for the Bianchi pair (α,β). It would if the weight q(α,β)=6 had been chosen. This would however lead one to impose a faster rate of decay for α,β along {u=u0}, consistent with the decay required for a the spacetime to admit a conformal compactification. The estimates will close without imposing this stronger decay.

Proposition 9.3

If xA and u=u(x), v=v(x), then

Fv0,v1(u)+Fu0,u2(v)Cε0+1v0,

for some constant C.

Proof

Integrating the identity (112) over the spacetime characteristic rectangle u0uu,v0vv for a fixed 0k3 gives33

v0vSu,vr5|Dkα|2dμSu,vdv+u0uSu,vr5|Dkβ|2dμSu,vdu=v0vSu0,vr5|Dkα|2dμSu0,vdv+u0uSu,v0r5|Dkβ|2dμSu,v0du+u0uv0vSu,vr5(h1|Dkα|2+h1|Dkβ|2-4(η+η_)·Dkα·Dkβ+2Dkα·E3[Dkα]+4Dkβ·E4[Dkβ])dμSu,vΩ2dvdu.

Clearly

u0uv0vSu,vr5h1|Dkα|2+h1|Dkβ|2dμSu,vdvduu0uFv0,v1(u)du,

and

u0uv0vSu,vr5(η+η_)·Dkα·DkβdμSu,vΩ2dvduCu0uv0vSu,vr4|Dkα||Dkβ|dμSu,vdvduCu0uv0vSu,vr4|Dkα|2+r4|Dkβ|2dμSu,vdvduCu0uFv0,v1(u)du,

using the bootstrap assumptions for η,η_ and the upper bound for Ω. In Lemma 9.4 below it will be shown that

u0uv0vSu,vrq(ψp,ψp)(Dkψp·E3[Dkψp]+Dkψp·E4[Dkψp])dμSu,vΩ2dvduCu0uFv0,v1(u)du+1v0+ε0,

for each Bianchi pair (ψp,ψp). Hence

v0vSu,vr5|Dkα|2dμSu,vdv+u0uSu,vr5|Dkβ|2dμSu,vduCu0uFv0,v1(u)du+1v0+Fv0,v1(u0)+Fu0,u2(v0)+ε0.

Repeating this for each of the identities (113),(114),(115) for k=0,1,,s and summing then gives

Fv0,v1(u)Cu0uFv0,v1(u)du+1v0+Fv0,v1(u0)+Fu0,u2(v0)+ε0, 116

and

Fu0,u2(v)Cu0uFv0,v1(u)du+1v0+Fv0,v1(u0)+Fu0,u2(v0)+ε0. 117

Note that α_ doesn’t appear in Fv0,v1(u0) so that the term involving (η+η_)·β_·α_ from the identity (115) is estimated slightly differently:

u0uv0vSu,v(η+η_)·β_·α_dμSu,vΩ2dvduCu0uv0vSu,v1r|β_||α_|dμSu,vΩ2dvduCu0uv0vSu,v|β_|2+|α_|2r2dμSu,vΩ2dvduCu0uFv0,v1(u)du+1v0,

where the last line follows from the inequality

u0uv0vSu,v|α_|2r2dμSu,vΩ2dvduv0v1r2Fu0,u2(v)dvCv0v1v2dvCv0,

using the bootstrap assumption for Fu0,u2(v) and the fact that rv in the “wave zone”. Similarly for the terms involving (η+η_)·Dkβ_·Dkα_.

Applying the Grönwall inequality to equation (116) and using the fact that uuf gives

Fv0,v1(u)C1v0+ε0+Fv0,v1(u0)+Fu0,u2(v0).

Inserting this in equation (117) gives

Fu0,u2(v)C1v0+ε0+Fv0,v1(u0)+Fu0,u2(v0).

It remains to prove the following lemma which provides control over the error terms.

Lemma 9.4

Under the assumptions of Proposition 9.3, for each Bianchi pair (ψp,ψp),

u0uv0vSu,vrq(ψp,ψp)(Dkψp·E3[Dkψp]+Dkψp·E4[Dkψp])dμSu,vΩ2dvduCu0uFv0,v1(u)du+1v0+ε0,

Proof

For the sake of brevity, unless specified otherwise will denote the integral

u0uv0vSu,vdμSu,vdvdu.

Consider first the errors in the Inline graphic Bianchi equations. Recall from Proposition 3.3 and Proposition 3.6 that

E3[Dkψp]=D(E3[Dk-1ψp])+Λ1(Dkψp+Dkψp)+Λ1(Dk-1ψp+Dk-1ψp),

for 1k3, and

E3[ψp]=h1ψp+p1+p2pΓp1·ψp2+p1+p2php1DTp2+p1+p2pΓp1·Tp2. 118

The first term in E3[ψp] will contribute terms of the form h1Dkψp to the error where 0kk (recall that Dh1=h1) and these can be dealt with easily

u0uv0vSu,vrq(ψp,ψp)h1Dkψp·DkψpdμSu,vdvduCu0uv0vSu,vrq(ψp,ψp)|Dkψp|2+|Dkψp|2dμSu,vdvduCu0uFv0,v1(u)du

The second term in E3[ψp] will contribute terms of the form Dk1Γp1·Dk2ψp2 where p1+p2p and 0k1,k2k. Note also that, since k1+k2=k, at most one of k1 or k2 can be greater than 1. Assume first that k11.

Suppose ψpα,β, then q(ψp,ψp)=2p-4 and

rqDk1Γp1·Dk2ψp2·Dkψpsupu,vrp1Dk1Γp1Lrq+p2-p|Dk2ψp2||Dkψp|Cr2p2-4|Dk2ψp2|2+r2q+4-2p|Dkψp|2Cu0uFv0,v1(u)du+1v0,

where the first line follows from the Sobolev inequality (78) (and the fact that k11) and uses p1+p2p. The third line uses the fact that q=2p-4 (and recall that |α_|r2Cv0).

If ψp=α or β then q(ψp,ψp)=2p-3 and the second term in the second line above would be rq+1|Dkψp|2 which can’t be controlled by the last line. The sum in the error (118), however, begins at p+12 for α and β, and so in the first line in the above would have p1+p2p+12. Using this fact these terms can be controlled.

If k1>1 then it must be the case that k21. The above steps can then be repeated but using the Sobolev inequality (79) for Dk2ψp2. For ψpα,β then get

rqDk1Γp1·Dk2ψp2·DkψpCrq+p1-p|Dk1Γp1||Dkψp|Cr2p1-4|Dk1Γp1|2+r2q+4-2p|Dkψp|2Cu0uFv0,v1(u)du+1v0,

where the last line now uses the fact that

r2p1-4|Dk1Γp1|2C(uf-u0)v0v1r2dvCv0, 119

by the bootstrap assumption (66) and the fact that vr in the “wave zone”. Similarly for ψp=α,β.

The third term in E3[ψp] will contribute terms of the form hp1DkTp2 to E3[Dkψp] where 1kk+1 and p1+p2p. Recall that, if ψp=α or β then actually p1+p2p+12. If ψpα,β then q=2p-4 and,

rqhp1DkTp2·DkψpCrp+p2-4DkTp2·DkψpCr2p2-4|DkTp2|2+r2p-4|Dkψp|2Cu0uFv0,v1(u)du+1v0+ε0,

by Proposition 8.1. Similarly, if ψp=α or β, then q=2p-3 and p1p-p2+12, so rqrp+p2-72 and,

rqhp1DkTp2·DkψpCr2p2-4|DkTp2|2+r2p-3|Dkψp|2Cu0uFv0,v1(u)du+1v0+ε0.

The final term in E3[ψp] contributes terms of the form Dk1Γp1·Dk2Tp2 with 0k1,k2k, k1+k2=k and p1+p2p, or p1+p2p+12 if ψp=α or β. These terms can be dealt with as before using the fact that either k11 or k21, and the pointwise bounds for Tp,DTp,D2Tp from Proposition 8.1.

The final terms in E3[Dkψp], i.e. the terms of the form Dk1Λ1·Dk2ψp etc. can be dealt with similarly (since all of the terms in Λ1 are zeroth order and the numerology for the Sobolev inequalities still work out).

The errors in the Inline graphic Bianchi equations can be dealt with in a similar manner. First recall that

E4[Dkψp]=D(E4[Dk-1ψp])+h0E4[ψp]+Λ1Dkψp+Λ2Dkψp+Λ1Dk-1ψp+Λ2Dk-1ψp,

and

E4[ψp]=p1+p2p+32Γp1·ψp2+p1+p2p+2hp1DTp2+p1+p2p+2Γp1·Tp2. 120

Recall also that the first summation in the error (120) always begins at p+2, except for the term η#·α appearing in E4[β].

Assume first then that ψpβ. Terms in the first sum (120) will then contribute terms of the form Dk1Γp1·Dk2ψp2 to the error E4[Dkψp], where p1+p2p+2, 0k1,k2k and at most one of k1,k2 is bigger than 1. Again, suppose first that k11. If ψpβ then 2q(ψp,ψp)-2p=q(ψp) 34 and so

rqDk1Γp1·Dk2ψp2·Dkψpsupu,vrp1Dk1Γp1Lrq+p2-p-2|Dk2ψp2||Dkψp|Cr2p2-4|Dk2ψp2|2+r2q-2p|Dkψp|2Cu0uFv0,v1(u)du+1v0.

If ψp=β then will have terms of the form Dk1Γp1·Dk2ψp2 with p1+p2p+32, however 2q(α,β)-2p=3=q(β)-1. Hence

rqDk1Γp1·Dk2ψp2·Dkψpsupu,vrp1Dk1Γp1Lrq+p2-p-32|Dk2ψp2||Dkψp|Cr2p2-4|Dk2ψp2|2+r2q-2p+1|Dkψp|2Cu0uFv0,v1(u)du+1v0.

The second summation in E4[ψp], (120), will contribute terms of the form hp1DkTp2 to E4[Dkψp], where 1kk+1 and p1+p2p+2. Since 2q(ψp,ψp)-2pq(ψp),

rqhp1DkTp2·DkψpCrq-p+p2-2|DkTp2||Dkψp|Cr2p2-4|DkTp2|2+rq|Dkψp|2Cu0uFv0,v1(u)du+1v0+ε0.

The final summation in (120) contributes terms of the form Dk1Γp1·Dk2Tp2 to E4[Dkψp], where 0k1,k2k, k1+k2=k and p1+p2p+2. These terms can be treated similarly using the fact that either k11 or k21, and the pointwise bounds for Tp2,DTp2 from Proposition 8.1.

The remaining terms in E4[Dkψp] can again be dealt with similarly. It is important to note that Λ1 and Λ2 both contain zero-th order derivatives only of Γ and ψ. Whilst Λ2 does contain first order derivatives of the form DΓ, they only appears in E4[Dkψp] multiplying Dk-1ψp. Hence, when these terms (for kk) appear in E4[Dkψp], it will always be possible to control one of the terms in the product pointwise via the Sobolev inequality.

Transport Estimates for Ricci Coefficients

In this section the Ricci coefficients are estimated in L2 on each of the spheres Su,v through transport estimates for the null structure equations. This is done by using the identities, which hold for any scalar function h, graphic file with name 40818_2017_26_Fighl_HTML.jpgand graphic file with name 40818_2017_26_Fighm_HTML.jpg with h=r2p-2|DkΓp|2.

The quantities Γ(3)p and Γ(4)p are treated separately. Recall the set A from Theorem 5.2.

Null Structure Equations in the Outgoing Direction

Consider first the Γ(4)p quantities, which satisfy null structure equations in the outgoing direction.

Proposition 10.1

If xA and u=u(x), v=v(x) then, for each Γ(4)p and each k=0,1,2,3,

r2p-2Su,v|DkΓ(4)p|2dμSu,vCε0+1v0,

for some constant C.

Proof

Recall from Proposition 3.8 that the null structure equations in the 4 direction take the form graphic file with name 40818_2017_26_Fighn_HTML.jpgUsing the renormalisation of Remark 3.2 and the fact that e4(r-2)=-r-2trχ, the identity (121) with h=r2p-2|DkΓp|2 implies that graphic file with name 40818_2017_26_Figho_HTML.jpgwhere in the last line the term |DkΓ(4)p|2trχ-trχ=DkΓ(4)p·DkΓp·Γ2 has been absorbed into the error DkΓ(4)p·E4[DkΓp(4)].

Note that a precise cancellation occurs here. If one were to apply (121) with h=rq|DkΓp|2 for any q2p-2, there would be an additional term of the form h1|DkΓ(4)p|2 in the integral in the last line above. It would not be possible to deal with this term as the terms in DkΓ(4)p·E4[DkΓp(4)] are dealt with below.

Integrating gives

r2p-2Su,v|DkΓ(4)p|2dμSu,vr(u,v0)2p-2Su,v0|DkΓ(4)p|2dμSu,v0+2v0vr2p-2Su,vDkΓ(4)p·E4[DkΓ(4)p]dμSu,vdv,

so that it remains to bound the error terms.

Recall that

E4[DkΓ(4)p]=D(E4[Dk-1Γ(4)p])+Λ2·DkΓ(4)p+Λ2·Dk-1Γ(4)p,

for k=1,2,3 and

E4[Γ(4)p]=ψp+2+p1+p2p+2hp1·Γp2+p1+p2p+2Γp1·Γp2+Tp+2. 123

The first term in (123) will contribute a term of the form Dkψp+2 to the error E4[DkΓ(4)p]. This term can be easily dealt with as follows. Here will be used to denote the integral

v0vSu,vdμSu,vdv,

(instead of the full spacetime integral in Section 9). By the Cauchy–Schwarz inequality,

r2p-2DkΓ(4)p·Dkψp+2r2p-4|DkΓ(4)p|2+r2p|Dkψp+2|2.

The first term is clearly bounded by Cv0 as in (119). Using the fact that the only curvature components appearing in the Inline graphic equations are α,β (so that ψp+2{α,β}), one can explicitly check that the second term can be controlled by 1v0Fv0,v1(u) and hence, by the bootstrap assumption (68),

r2p-2DkΓ(4)p·Dkψp+2Cv0.

Consider now the terms in E4[DkΓ(4)p] arising from the first sum in (123). These will all be of the form hp1DkΓp2 where 0kk and p1+p2p+2 and so

r2p-2hp1DkΓp2·DkΓ(4)pCrp+p2-4|DkΓp2||DkΓ(4)p|Cr2p2-4|DkΓp2|2+r2p-4|DkΓ(4)p|2Cv0.

The terms arising from the second sum will have the form Dk1Γp1·Dk2Γp2 where p1+p2p+2, k1+k2=k and, since k3, interchanging k1 and k2 if necessary, k11. These terms can be dealt with exactly as the previous terms by using the Sobolev inequality (78) on Dk1Γp1.

Similarly, for the DkTp+2 term in E4[DkΓ(4)p],

r2p-2DkΓ(4)p·DkTp+2r2p-4|DkΓ(4)p|2+r2p|DkTp+2|2.

Setting q=p+2, the second term is of the form,

v0vSu,vr2q-4|DkTq|2dμSu,vdv,

and hence, since k3, Proposition 8.1 implies that,

r2p-2DkΓ(4)p·DkTp+2C1v0+ε0.

The remaining terms in E4[DkΓ(4)p] can be dealt with in exactly the same way using the fact that Λ2 contains only zeroth-order derivatives, and Λ2 contains only first order derivatives of Ricci coefficients (see the end of the proof of Lemma 9.4).

Null Structure Equations in the Incoming Direction

The Γ(3)p quantities are estimated in roughly the same way as the Γ(4)p quantities. Since the u coordinate is bounded above by uf however, the term

Cu0ur2p-2Su,v|Γ(3)p|2dμSu,vdu

can appear on the right hand side of the estimates and be dealt with by the Grönwall inequality. The estimates will also rely on the results of Proposition 9.3 and Proposition 10.1. It is also worth noting that we do not rely on any cancellation occurring when applying the identity (122), as was the case for the Γ(4)p quantities.

Proposition 10.2

If xA and u=u(x), v=v(x) then, for each Γ(3)p and each k=0,1,,3,

r2p-2Su,v|DkΓ(3)p|2dμSu,vC(ε0+1v0).

for some constant C.

Proof

Recall the upper bound on Ω.

For fixed 0k3, setting h=r2p-2|DkΓ(3)p|2 in the identity (122) and using the commuted equations, graphic file with name 40818_2017_26_Fighp_HTML.jpgone obtains graphic file with name 40818_2017_26_Fighq_HTML.jpgThe last line is obtained by recalling that e3(r2p-2)=-1Ω2(2p-2)rr2p-2, using the lower bound for Ω, rewriting trχ_=(trχ_-trχ_)+trχ_ and absorbing the term |DkΓ(3)p|2(trχ_-trχ_) into the error DkΓ(3)p·E3[DkΓ(3)p].

Integrating from u0 gives

r2p-2Su,v|DkΓ(3)p|2dμSu,vCu0uSu,vr2p-2DkΓ(3)p·E3[DkΓ(3)p]+h1r2p-2|DkΓ(3)p|2dμSu,vdu.

The final term will be dealt with by the Grönwall inequality, so it remains to bound the integrals of the error terms. Here will denote the integral

u0uSu,vdμSu,vdu.

Recall that

E3[DkΓ(3)p]=D(E3[Dk-1Γ(3)p])+Λ1(DkΓ(3)p+Dk-1Γ(3)p)

for k=1,,3, and

E3[Γ(3)p]=ψp+p1+p2php1·Γp2+p1+p2pΓp1·Γp2+Tp. 124

The curvature term in (124) will contribute a term of the form Dkψp to E3[DkΓ(3)p], and

r2p-2DkΓ(3)p·Dkψpr2p-2|DkΓ(3)p|2+r2p-2|Dkψp|2.

The Grönwall inequality will be used on the first term. For the second term note that, for ψpα, the r weight of Dkψp which appears in Fu0,u2(v) is r2p-2. Hence, since α doesn’t appear in any Inline graphic equations, the second term can be controlled by Fu0,u2(v) and, by Proposition 9.3,

r2p-2|Dkψp|2CFv0,v1(u0)+Fu0,u2(v0)+1v0.

Similarly the energy momentum tensor term in (124) will contribute a term of the form DkTp to E3[DkΓ(3)p] and,

r2p-2DkΓ(3)p·DkTpr2p-2|DkΓ(3)p|2+r2p-2|DkTp|2r2p-2|DkΓ(3)p|2+C1v0+ε0,

by Proposition 8.1.

Consider now the terms in (124) of the form35

p1+p2p+1hp1·Γp2+p1+p2p+1Γp1·Γp2.

The first sum contributes terms of the form hp1DkΓp2 to the error E3[DkΓ(3)p] where 0kk and p1+p2p+1, so that

r2p-2hp1DkΓ(3)p·DkΓp2Crp-1rp2-2|DkΓ(3)p||DkΓp2|Cr2p-2|DkΓ(3)p|2+r2p2-4|DkΓp2|2Cr2p-2|DkΓ(3)p|2+1v0,

where the last inequality follows from the fact that

r2p2-4|DkΓp2|2Cu0u1r(u,v)2duC(uf-u0)1v0,

since rv in the “wave zone” and v0 is large.

The terms arising from the second summation are dealt with similarly using the Sobolev inequality, as are the terms Λ1(DkΓ(3)p+Dk-1Γ(3)p) and the similar terms arising from lower order errors.

Note that E3[χ_^] contains no “borderline terms”36 and so in the above it has been shown, for k=0,1,,3,

r2p-2Su,v|Dkχ_^|2dμSu,vC(u0uSu,vr2p-2|Dkχ_^|2dμSu,vdu+Fv0,v1(u0)+Fu0,u2(v0)+r(u0,v)2p-2Su0,v|Dkχ_^|2dμSu0,v+1v0),

and hence, by the Grönwall inequality

r2p-2Su,v|Dkχ_^|2dμSu,vC(r(u0,v)2p-2Su0,v|Dkχ_^|2dμSu0,v+Fv0,v1(u0)+Fu0,u2(v0)+1v0).

This proves the proposition for χ_^.

The error E3[η_] contains two borderline terms h1η and χ_^·η. The idea is that these terms can be dealt with since the proposition has already been proved for χ_^ and η was controlled in Proposition 10.1. Consider first the term χ_^·η. This will contribute terms of the form Dk1χ_^·Dk2η to E3[Dkη_], where k1+k2=k. Assume k11, then

r2Dk1χ_^·Dk2η·Dkη_Cr|Dk2η||Dkη_|C|Dk2η|2+r2|Dkη_|2,

and similarly if k1>1 then it must be the case that k21 and so

r2Dk1χ_^·Dk2η·Dkη_C|Dk2χ_^|2+r2|Dkη_|2.

Repeating this for the terms arising from h1η, using the bounds already obtained for |Dk2χ_^|2, Proposition 10.1 and the Grönwall inequality this gives,

r2Su,v|Dkη_|2dμSu,vC(k=0kΓ(3)pr(u0,v)2p-2Su0,v|DkΓ(3)p|2dμSu0,v+k=0kΓ(4)pr(u,v0)2p-2Su,v0|DkΓ(4)p|2dμSu,v0+Fv0,v1(u0)+Fu0,u2(v0)+1v0).

The only borderline term in E3[trχ-trχ] is (η,η_), the only borderline term in E3[ω] is (η,η_), the only borderline terms in Inline graphic are 1Ω2-1h1 and χ_^, and the only borderline term in E3[b] is η. Since either the proposition has already been proved for each of these terms, or they were controlled in Proposition 10.1, they can be dealt with exactly as before.

Estimates for Inline graphic

In order to estimate Inline graphic, it is first necessary to derive equations which they satisfy.

Proposition 10.3

The spherical Christoffel symbols satisfy the following propagation equations, graphic file with name 40818_2017_26_Fighr_HTML.jpg graphic file with name 40818_2017_26_Fighs_HTML.jpg

Proof

Recall graphic file with name 40818_2017_26_Fight_HTML.jpgThe equation in the e3 direction follows from the fact that, graphic file with name 40818_2017_26_Fighu_HTML.jpgand, graphic file with name 40818_2017_26_Fighv_HTML.jpgSee Lemma 4.1 of [9].

The equation in the e4 direction can similarly be derived using the fact that, graphic file with name 40818_2017_26_Fighw_HTML.jpg

Proposition 10.4

If xA and u=u(x), v=v(x) then, for k=0,1,2,3, if Dk contains Inline graphic at most 2 times, then graphic file with name 40818_2017_26_Fighx_HTML.jpg

Proof

Equation (126) takes the schematic form, graphic file with name 40818_2017_26_Fighy_HTML.jpgThe estimates for Inline graphic with k2 then follow exactly as in Proposition 10.2 (in fact these are even easier since there are no borderline terms). The estimates for Inline graphic follow from applying D2 to equation (126), and the estimates for Inline graphic follow from multiplying equation (125) by r and applying D2.

This recovers the bootstrap assumptions (67) and the (71) for when Inline graphic. This remaining case will be recovered in the next section.

Ricci Coefficients at the Top Order

The goal of this section is to estimate Inline graphic and Inline graphic. This will recover all of the bootstrap assumptions of Section 5. In order to do this, Inline graphic must be estimated for most of the other Ricci coefficients Γp. Recall the set A from Theorem 5.2.

Propagation Equations for Auxiliary Θ Variables

Propagation equations are first derived for certain auxiliary quantities.

Proposition 11.1

The angular derivatives of the null expansions satisfy the following propagation equations. graphic file with name 40818_2017_26_Fighz_HTML.jpgand graphic file with name 40818_2017_26_Figia_HTML.jpg

Proof

The proof follows by using Lemma 3.5 to commute the propagation equations for trχ_+2r and trχ-2r. When computing Inline graphic, which arises in the expression for Inline graphic, the fact that Inline graphic, and hence graphic file with name 40818_2017_26_Figib_HTML.jpgis used. This means that 1-1Ω2 doesn’t appear in the propagation equations as a principal term.

Define the mass aspect functions, graphic file with name 40818_2017_26_Figic_HTML.jpgand the Su,v 1-form, graphic file with name 40818_2017_26_Figid_HTML.jpgHere ω is defined to be the solution to graphic file with name 40818_2017_26_Figie_HTML.jpgwith zero initial data on {u=u0}.

Proposition 11.2

The mass aspect functions and κ satisfy the following propagation equations, graphic file with name 40818_2017_26_Figif_HTML.jpg

Proof

From the definition of μ, graphic file with name 40818_2017_26_Figig_HTML.jpgThe equation is obtained by substituting on the right hand side the null structure equations for Inline graphic and Inline graphic, equation (52), the Bianchi equation for Inline graphic and using Lemma 3.5 to compute the commutator term. The Codazzi equation (50) is also used to replace the Inline graphic term arising from Inline graphic.

The equation for Inline graphic is obtained similarly using the null structure equations for Inline graphic and Inline graphic, equation (53), the Bianchi equation for Inline graphic and the Codazzi equation (51).

Finally, graphic file with name 40818_2017_26_Figih_HTML.jpgand the equation for κ can be computed similarly.

Proposition 11.3

If xA and u=u(x), v=v(x) then, for k=0,,4, ω satisfies,

r4Su,v|Dkω|2dμSu,vCε0+1v0.

Proof

Since ω satisfies an equation of the form graphic file with name 40818_2017_26_Figii_HTML.jpgwith zero initial data, this can be proved in exactly the same way as the estimates for DkΓ(3)p in Proposition 10.2.

Let Θ schematically denote the following quantities, graphic file with name 40818_2017_26_Figij_HTML.jpgand further decompose as graphic file with name 40818_2017_26_Figik_HTML.jpg

As with the Γp,ψp,Tp, the subscript p indicates that Θp should decay like 1rp. Similarly, the (3) indicates that Θ(3) satisfies an equation in the 3 direction, and the (4) indicates that Θ(4) satisfies an equation in the 4 direction.

The propagation equations for the Θ(4) variables take the following schematic form, graphic file with name 40818_2017_26_Figil_HTML.jpgand the for the Θ(3) variables take the form, graphic file with name 40818_2017_26_Figim_HTML.jpgwhere, graphic file with name 40818_2017_26_Figin_HTML.jpgand graphic file with name 40818_2017_26_Figio_HTML.jpgAll of the Γ appearing in the Inline graphic terms in the errors, unless explicitly stated, are χ^,χ_^,η,η_,trχ-2r,trχ_+2r and hence the bootstrap assumptions of Section 5 give an estimate for Inline graphic in L2 on the spheres. It is the linear principal terms which will require the most care below. When such terms appear, they have been written first in the errors above. Linear here means linear in Γ,ψ,T,Θ, so one example of a linear term is Inline graphic appearing in Inline graphic. Principal means of the form Inline graphic or Θ, since the Θ variables live at one degree of differentiability greater than Γ. The principal energy momentum tensor terms, DT, will not be problematic as they have all already been estimated at the top order. Note that there are no principal curvature terms, i.e. terms of the form Dψ, appearing in the errors. Finally, notice that the propagation equations have the same structure as the propagation equations for the Ricci coefficients highlighted in Section 3, i.e. the error terms E3Θ(3)p should decay like 1rp and the error terms E4Θ(4)p should decay like 1rp+2. The next proposition, akin to Proposition 3.8, says this structure is preserved under commutation by D. Unlike Proposition 3.8, we here keep track of the principal terms.

Proposition 11.4

The commuted propagation equations for the Θ variables, for k=1,2,, take the form, graphic file with name 40818_2017_26_Figip_HTML.jpgand graphic file with name 40818_2017_26_Figiq_HTML.jpgwhere

E3DkΘ(3)p=DE3Dk-1Θ(3)p+h1+p1+p21hp1·Γp2·DkΘ(3)p+Λ1·Dk-1Θ(3)p,

and

E4DkΘ(4)p=DE4Dk-1Θ(4)p+p1+p22hp1·Γp2·DkΘ(4)p+Λ2·Dk-1Θ(4)p.

Moreover, graphic file with name 40818_2017_26_Figir_HTML.jpgand graphic file with name 40818_2017_26_Figis_HTML.jpgRecall that Λ1,Λ2 from Proposition 3.8, where the stresses that Λ2 contains terms of the form DΓ, involving one derivative of Γ.

Proof

The proof is identical to that of Proposition 3.8, except we keep track of the principal terms.

Note that the “moreover” part of the Proposition says that commuting the propagation equations with Inline graphic only produces principal error terms involving an Inline graphic derivative, unlike commuting with Inline graphic and Inline graphic which can produce principal error terms involving Inline graphic and Inline graphic derivatives. This is important when estimating κ since we only estimate Inline graphic rather than D3κ.

Additional Bootstrap Assumptions

The results of this section will be shown using an additional bootstrap argument. Let AA denote the set of xA such that the following additional bootstrap assumptions hold for all yA with u(y)u(x), v(y)v(x), graphic file with name 40818_2017_26_Figit_HTML.jpg graphic file with name 40818_2017_26_Figiu_HTML.jpg

u0uSu,vr2Dkμ2dμSu,vduC¯, 129
v0vSu,vr2Dkμ_2dμSu,vdvC¯, 130

graphic file with name 40818_2017_26_Figiv_HTML.jpg graphic file with name 40818_2017_26_Figiw_HTML.jpg graphic file with name 40818_2017_26_Figix_HTML.jpg graphic file with name 40818_2017_26_Figiy_HTML.jpgfor k=0,1,2,3, and, graphic file with name 40818_2017_26_Figiz_HTML.jpg graphic file with name 40818_2017_26_Figja_HTML.jpg graphic file with name 40818_2017_26_Figjb_HTML.jpg graphic file with name 40818_2017_26_Figjc_HTML.jpg for k=0,1,2, where u=u(y), v=v(y).

Estimates for Auxiliary Θ Variables

The bootstrap assumptions (127)–(138) can now be used to obtain estimates for the Θ variables.

Proposition 11.5

For any xA, if u=u(x), v=v(y) then, for k=0,1,2,3, for all Θ(4) and Θ(3)κ,

v0vSu,vr2p-4|DkΘ(3)p|2dμSu,vdvCε0+1v0, 139
u0uSu,vr2p-2|DkΘ(4)p|2dμSu,vduCε0+1v0, 140

and, for k=0,1,2, graphic file with name 40818_2017_26_Figjd_HTML.jpg

Proof

For k2, bounds for

Su,vr2p-2Θ(3)p2dμSu,v,andSu,vr2p-2Θ(4)p2dμSu,v,

can be obtained exactly as in Propositions 10.2 and 10.1, then integrated to give (139) and (140). For k1, (141) can be obtained similarly.

The new difficulties are at the top order, so assume now k=3 and consider Θ(3)κ. Note that the bootstrap assumptions (127)–(138) together with the Sobolev inequalities of Section 6 give the pointwise bounds37

rp|Θp|,rp-12|DΘp|C,

for Θpκ, and graphic file with name 40818_2017_26_Figje_HTML.jpgEquation (122) with h=r2p-4Θ(3)p gives,

Su,vr2p-4D3Θ(3)p2dμSu,v=Su0,vr(u0,v)2p-4D3Θ(3)p2dμSu0,v+u0uSu,vr2p-4D3Θ(3)p·E3D3Θ(3)pdμSu,vdu,

where trχ_D3Θ(3)p=(Γ2+h1)·D3Θ(3)p has been absorbed into the error E3D3Θ(3)p. Integrating in v, this gives,

v0vSu,vr2p-4D3Θ(3)p2dμSu,vdv=v0vSu0,vr(u0,v)2p-4D3Θ(3)p2dμSu0,vdv+v0vu0uSu,vr2p-4D3Θ(3)p·E3D3Θ(3)pdμSu,vdudv.

Recall,

v0vSu0,vr(u0,v)2p-4D3Θ(3)p2dμSu0,vdvε0.

It remains to estimate the error terms. Consider first the quadratic terms graphic file with name 40818_2017_26_Figjf_HTML.jpgin E3Θ(3)p. They will give rise to terms in E3D3Θ(3)p of the form38 graphic file with name 40818_2017_26_Figjg_HTML.jpgwhere p1+p2p and k1+k2=3. It must be the case that either k11 or k21. Assume first that k11. Then, by Propositions 10.1 and 10.2 and the Sobolev inequalities of Section 6, graphic file with name 40818_2017_26_Figjh_HTML.jpgsince p1+p2p. Recall that such terms only occur for Γp2=trχ-2r,trχ_+2r,χ^,χ_^,η,η_. If Γp2=trχ_+2r,χ_^,η_ then, using the bootstrap assumptions (127)–(138), graphic file with name 40818_2017_26_Figji_HTML.jpgSimilarly, if Γp2=trχ-2r,χ^,η, then graphic file with name 40818_2017_26_Figjj_HTML.jpgSuppose now that k12. Then k21 and so, since Γp2=trχ-2r,trχ_+2r,χ^,χ_^,η,η_, the bootstrap assumptions (127)–(138) and the Sobolev inequality imply that39 graphic file with name 40818_2017_26_Figjk_HTML.jpgHence, graphic file with name 40818_2017_26_Figjl_HTML.jpgby Propositions 10.1, 10.2, since k13.

The quadratic terms arising from trχ_+2rμ_=Γ2Θ3 and trχ-2rμ=Γ2Θ2 in E3[μ_] can be estimated similarly.

The terms

p1+p2pΓp1·ψp2,

in E3Θ(3)p give rise to quadratic terms of the form

Dk1Γp1·Dk2ψp2,

with p1+p2p and k1+k23. These terms can be treated similarly since

v0vu0uSu,vr2p2-4Dk2ψp22dμSu,vdudvCε0+1v0,

by Proposition 9.3.

The quadratic terms arising from

p1+p2pΓp1·Tp2,

are also similar using Proposition 8.1.

The terms

p1+p2php1·DTp2,

in E3Θ(3)p give rise to terms of the form

hp1·DkTp2,

in E3D3Θ(3)p with p1+p2p, k4. For these,

v0vu0uSu,vr2p-4D3Θ(3)p·hp1·DkTp2dμSu,vdudvv0vu0uSu,vr2p-4D3Θ(3)p2+hp1·DkTp22dμSu,vdudvv0vu0uSu,vr2p-4D3Θ(3)p2dμSu,vdudv+Cv0vu0uSu,vr2p2-4DkTp22dμSu,vdudvv0vu0uSu,vr2p-4D3Θ(3)p2dμSu,vdudv+Cε0+1v0,

by Proposition 8.1.

Consider now the linear term 1rD3μ appearing in E3D3μ_. Recall that μ_=Θ3 so r2p-4=r2 and,

v0vu0uSu,vr2D3μ_·1rD3μdμSu,vdudvv0vu0uSu,vr2|D3μ_|2+|D3μ|2dμSu,vdudv.

Now,

v0vu0uSu,v|D3μ|2dμSu,vdudvv0v1(v)2u0uSu,vr2|D3μ|2dμSu,vdudvCv0v1(v)2dvCv0.

The other linear principal terms in E3D3Θ(3)p arising from the other linear term in E3μ_, the linear term in Inline graphic and the linear terms arising from the commutation can be treated similarly. These are actually even easier as they appear with an additional factor of 1r. Hence,

v0vSu,vr2p-4D3Θ(3)p2dμSu,vdvCv0vu0uSu,vr2p-4D3Θ(3)p2dμSu,vdudv+ε0+1v0.

This is true for all u0uu hence, by the Grönwall inequality,

v0vSu,vr2p-4D3Θ(3)p2dμSu,vdvCε0+1v0.

The estimate, graphic file with name 40818_2017_26_Figjm_HTML.jpgis obtained in exactly the same way. Note that the Inline graphic terms which appear in E3[κ] will only give rise to terms involving Inline graphic and Inline graphic in Inline graphic which can be controlled by the bootstrap assumptions (127)–(138). At the principal order, ω and ω do not appear otherwise.

Consider now the Θ(4) variables. Recall the renormalisation of Remark 3.2, graphic file with name 40818_2017_26_Figjn_HTML.jpgand hence that graphic file with name 40818_2017_26_Figjo_HTML.jpgBy equation (121) with h=r2p-2D3Θ(4)p2 then get

Su,vr2p-2D3Θ(4)p2dμSu,v=Su,v0r2p-2D3Θ(4)p2dμSu,v0+v0vSu,v2r2p-2D3Θ(4)p·E4D3Θ(4)pdμSu,vdv,

where trχ-2r·D3Θ(4)p=Γ2·Θp has been absorbed into the error. Integrating in u gives,

u0uSu,vr2p-2D3Θ(4)p2dμSu,vduCε0+u0uv0vSu,v2r2p-2D3Θ(4)p·E4D3Θ(4)pdμSu,vdvdu.

Since E4D3Θ(4)p is schematically like 1rp+2, most of the error terms are estimated in exactly the same way as before (when the weight was r2p-4) by

Cu0uv0vSu,vr2p-4D3Θ(4)p2dμSu,vdvdu+ε0+1v0.

Some care, however, needs to be taken with the pricipal linear terms and especially with the Inline graphic term in Inline graphic.

Consider first the 1rμ_ term in E4[μ]. Since μ=Θ2 this will give the following error term,

u0uv0vSu,vr2D3μ·1rD3μ_dμSu,vdvduu0uv0vSu,vr12|D3μ|2+r32|D3μ_|2dμSu,vdvduu0uv0vSu,vr12|D3μ|2dμSu,vdvdu+1v0u0uv0vSu,vr2|D3μ_|2dμSu,vdvduu0uv0vSu,vr12|D3μ|2dμSu,vdvdu+Cv0.

Hence

u0uSu,vr2|D3μ|2dμSu,vduCu0uv0vSu,vr12|D3μ|2dμSu,vdvdu+ε0+1v0Cv0v1(v)32u0uSu,vr2|D3μ|2dμSu,vdvdu+ε0+1v0,

and so the Grönwall inequality implies,

u0uSu,vr2|D3μ|2dμSu,vduCexpv0v1(v)32dvε0+1v0Cε0+1v0.

Consider now the Inline graphic term in Inline graphic. If Inline graphic or Inline graphic then similarly get graphic file with name 40818_2017_26_Figjp_HTML.jpgusing the bootstrap assumptions (127)–(138) for Inline graphic and Inline graphic. Using the Grönwall inequality then again gives, graphic file with name 40818_2017_26_Figjq_HTML.jpg

Suppose now that Inline graphic. This derivative of Inline graphic is estimated from the propagation equation directly, graphic file with name 40818_2017_26_Figjr_HTML.jpgNote that there are no principal terms on the right hand side (all involve at most 3 derivatives) and, since they all decay like 1r3, by Propositions 10.1, 10.2 and 8.1, graphic file with name 40818_2017_26_Figjs_HTML.jpg

Top Order Estimates for Ricci Coefficients

In order to estimate the remaining Ricci coefficients at the top order, the following estimates for the Gauss curvature of the spheres is required.

Proposition 11.6

For any xA, if u=u(x), v=v(x) then, for k=0,1,2, the Gauss curvature of the sphere Su,v satisfies,

r4Su,vDkK-1r22dμSu,vC.

Proof

Recall the Gauss equation (49), which can be rewritten, graphic file with name 40818_2017_26_Figjt_HTML.jpgIf k1 then, since Inline graphic, Proposition 8.1 implies that graphic file with name 40818_2017_26_Figju_HTML.jpghence graphic file with name 40818_2017_26_Figjv_HTML.jpgFor k=2, first recall that Proposition 8.1 implies that graphic file with name 40818_2017_26_Figjw_HTML.jpgfor all v0v. Hence graphic file with name 40818_2017_26_Figjx_HTML.jpgSimilarly, since

v=vr4|Dkρ|2dμSu,vC,

for k=0,1,2,3, one obtains,

Su,vr4|Dkρ|2dμSu,vC,

for k=0,1,2.

Similarly for the Ricci coefficient terms on the right hand side of (142), one can easily check that each has the correct decay to be controlled after being multiplied by r4 and integrated on the spheres. Moreover, once 3 derivatives have been taken, in the nonlinear terms there will be at most one factor involving 3 derivatives and so the other terms can be estimated in L as in Sections 9 and 10. Hence

r4Su,vDkK-1r22dμSu,vC.

Proposition 11.7

Let ξ be a totally symmetric (0,j+1) Su,v tensor such that graphic file with name 40818_2017_26_Figjy_HTML.jpgand assume that the bounds on the Gauss curvature of Proposition 11.6 hold. Then, for 1k4, graphic file with name 40818_2017_26_Figjz_HTML.jpgwhere, if j=0, then trξ is defined to be 0.

Proof

The following identity is satisfied by ξ,a,b,c, graphic file with name 40818_2017_26_Figka_HTML.jpgwhere K is the Gauss curvature of Su,v. See Chapter 7 of [9].

By Proposition 11.6 and the Sobolev inequality,

|K|Cr2,

uniformly. This immediately gives the estimate for k=1 after multiplying the identity (143) by r2.

For k=2, note that the symmetrised angular derivative of ξ, graphic file with name 40818_2017_26_Figkb_HTML.jpgsatisfies graphic file with name 40818_2017_26_Figkc_HTML.jpgwhere, graphic file with name 40818_2017_26_Figkd_HTML.jpgand graphic file with name 40818_2017_26_Figke_HTML.jpgAgain see Chapter 7 of [9].

The identity (143) then gives, graphic file with name 40818_2017_26_Figkf_HTML.jpgagain using |K|Cr2. Multiplying by r4 and using the k=1 estimate then gives the estimate for k=2.

For k=3 can similarly compute Inline graphic to get graphic file with name 40818_2017_26_Figkg_HTML.jpgBy the Sobolev inequality, graphic file with name 40818_2017_26_Figkh_HTML.jpgSimilarly, graphic file with name 40818_2017_26_Figki_HTML.jpgInserting this into the above inequality and multiplying by r6 gives the result for k=3.

Finally, for k=4, one similarly gets, graphic file with name 40818_2017_26_Figkj_HTML.jpgUsing the Sobolev inequality as above get, graphic file with name 40818_2017_26_Figkk_HTML.jpgby Proposition 11.6. Similarly, graphic file with name 40818_2017_26_Figkl_HTML.jpgand, graphic file with name 40818_2017_26_Figkm_HTML.jpgFor the remaining terms, graphic file with name 40818_2017_26_Figkn_HTML.jpgand graphic file with name 40818_2017_26_Figko_HTML.jpgInserting into the above estimate and multiplying by r8 gives the result for k=4.

If ξ is a symmetric trace free (0, 2) Su,v tensor then it suffices to know only its divergence.

Proposition 11.8

Let ξ be a symmetric trace free (0, 2) Su,v tensor such that graphic file with name 40818_2017_26_Figkp_HTML.jpgand assume that the bounds on the Gauss curvature of Proposition 11.6 hold. Then, for 1k4, graphic file with name 40818_2017_26_Figkq_HTML.jpg

Proof

This follows from the previous proposition since, graphic file with name 40818_2017_26_Figkr_HTML.jpgwhich follows from the fact that ξ is a symmetric trace free (0, 2) Su,v tensor.

These elliptic estimates can be used to recover the remainder of the bootstrap assumptions (127)–(138) for Ricci coefficients at the top order.

Proposition 11.9

For any xA, if u=u(x), v=v(x) then, for k=0,1,2,3, graphic file with name 40818_2017_26_Figks_HTML.jpg

and for k=0,1,2, graphic file with name 40818_2017_26_Figkt_HTML.jpg

Proof

Consider first χ^. Recall the Codazzi equation (50), which can be schematically written, graphic file with name 40818_2017_26_Figku_HTML.jpgHence, if Inline graphic, Proposition 11.8 immediately gives the result by Propositions 10.1, 10.2, 9.3, 8.1, and 11.5.

If Inline graphic one has to commute the equation by Inline graphic. By Lemma 3.5 this will only generate terms (with good r weights) which have already been estimated in Propositions 10.1, 10.2, 9.3, 8.1. Since Inline graphic is still a symmetric trace free (0, 2) Su,v tensor, can again apply Proposition 11.6 to get, graphic file with name 40818_2017_26_Figkv_HTML.jpgOne of the Inline graphic can be commuted with Inline graphic. Again this will only generate error terms which ahve already been estimated.

The same procedure works for general Dk as commuting the Codazzi equation with Inline graphic will also only produce terms which have already been estimated.

Consider now χ_^. This is estimated in exactly the same way using the other Codazzi equation (51), graphic file with name 40818_2017_26_Figkw_HTML.jpgPropositions 10.1, 10.2, 9.3, 8.1, and the estimate for Inline graphic on the outgoing null hypersurfaces from Proposition 11.5.

Consider now η,η_. They satisfy the following Inline graphic systems, graphic file with name 40818_2017_26_Figkx_HTML.jpgand so can be estimated exactly as χ^,χ_^, now using Proposition 11.7. Recall that we set trξ=0 if ξ is an Su,v one form.

Finally, since graphic file with name 40818_2017_26_Figky_HTML.jpgby definition, Inline graphic and Inline graphic satisfy the Inline graphic systems, graphic file with name 40818_2017_26_Figkz_HTML.jpgand so Inline graphic and Inline graphic can be estimated similarly.

Finally, for Inline graphic, recall that ω satisfies the propagation equation, graphic file with name 40818_2017_26_Figla_HTML.jpgCommuting with Inline graphic this gives, by Proposition 3.5, graphic file with name 40818_2017_26_Figlb_HTML.jpgThe estimate for Inline graphic follows by applying D2 to the right hand side, multiplying by r2, integrating over the constant u hypersurfaces and applying Propositions 10.1, 10.2, 9.3, 8.1.

Now the bootstrap assumptions (127)–(138) have been recovered with better constants and hence, provided ε0, v0 are taken suitably small then AA is open, closed, connected, non-empty, and hence A=A. The remaining bootstrap assumptions of Section 5, (70), (71) can now be recovered.

Proposition 11.10

If xA, and if u=u(x), v=v(x), then, graphic file with name 40818_2017_26_Figlc_HTML.jpgand graphic file with name 40818_2017_26_Figld_HTML.jpg

Proof

The proof of the first estimate is identical to that of Proposition 11.5 using the propagation equation, graphic file with name 40818_2017_26_Figle_HTML.jpg

For Inline graphic, the propagation equation in the outgoing direction (125) is used. The commuted equation will take the form, graphic file with name 40818_2017_26_Figlf_HTML.jpgwhere, by Propositions 10.1, 10.2, 9.3, 8.1, 11.5 and 11.9, an argument identical to that in the proof of Proposition 11.5 can be used to show that, graphic file with name 40818_2017_26_Figlg_HTML.jpgIt follows that, graphic file with name 40818_2017_26_Figlh_HTML.jpgand hence, using the identity (121), graphic file with name 40818_2017_26_Figli_HTML.jpgThe result follows by integrating in u.

The Last Slice Argument and the End of the Proof

The proof of Theorem 5.1 follows from Theorem 5.2 together with the following two local existence theorems, whose proofs are not discussed here, via a last slice argument. The structure of the last slice argument is outlined below.

Theorem 12.1

(Local existence for the Cauchy problem for the massless Einstein–Vlasov system [4, 6, 30]). Given a smooth initial data set (Σ,g0,k,f0) for the massless Einstein–Vlasov system (satisfying constraint equations) there exists a unique smooth maximal Cauchy development satisfying the massless Einstein–Vlasov system such that Σ is a Cauchy hypersurface with induced first and second fundamental form g0,k respectively and f|P|Σ=f0.

Theorem 12.2

(Local existence for the characteristic initial value problem for the massless Einstein–Vlasov system). Given smooth characteristic initial data for the massless Einstein–Vlasov system (satisfying constraint equations) on (what will become) null hypersurfaces N1,N2 intersecting transversely at a spacelike surface S=N1N2, there exists a non-empty maximal development of the data, bounded in the past by a neighbourhood of S in N1N2.

The analogue of Theorem 12.2 for the vacuum Einstein equations is a result of Rendall [28]. For the Einstein–Vlasov system see also [5, 11].

Suppose that ε0, 1v0 and the bootstrap constant C¯ satisfy the smallness assumption of Theorem 5.2. Define the function t:=v+u, and the hypersurfaces Σt:={t=t}{u0uuf,v0v<}. Whenever the bootstrap assumptions on b and 1-1Ω2 hold (see Section 5), clearly dt is timelike and hence the surfaces Σt are spacelike. For a given time t, define the region,

Mt:={u0uuf}{v0v<}t0t<tΣt,

where t0=v0+u0. Let t denote the supremum over all times t such that a smooth solution to the massless Einstein–Vlasov system (1)–(2) exists in the region Mt attaining the given data on {u=u0}{v=v0}t0t<tΣt and, for any u,v with u+vt, the bootstrap assumptions (66)–(71) hold for all uv with u0uu,v0vv. Such a time clearly exists by Theorem 12.2, provided ε0 is sufficiently small.40

The aim is to show that t=, so suppose for contradiction that t<. From the bounds (66)–(71), which hold in for uv in the regions u0uu,v0vv uniformly for all u,v such that u+v<t, higher regularity bounds can be obtained from the equations via commutation, the equations being essentially linear at this stage (this is carried out in detail in a related setting in Chapter 16.2 of [9]). Hence the solution extends smoothly to Σt, providing Cauchy data for the Einstein equations on Σt. Using this Cauchy data together with the characteristic data on {u=u0} (and possibly the characteristic data on {v=v0} if t<uf+v0), Theorem 12.1 and Theorem 12.2 imply that a smooth solution to the mixed Cauchy, characteristic initial value problem exists in the region Mt+ε for some small ε>0. This is depicted in Figure 4.

Fig. 4.

Fig. 4

The solution to the mixed Cauchy, characteristic initial value problem when t<uf+v0

Since the bootstrap assumptions (66)–(71) hold in u0uu,v0vv for all u,v such that u+vt, Theorem 5.2 implies they in fact hold with the better constant C¯2. Then, taking ε smaller if necessary, by compactness of Σt and continuity they will hold for all u,v with u+vt+ε (with constant C¯). This contradicts the maximality of t and hence the solution exists in the entire region.

Acknowledgements

I thank Mihalis Dafermos for introducing me to this problem and for his support and encouragement. I am also grateful to Gustav Holzegel, Jonathan Luk and Igor Rodnianski for many helpful discussions, and to Clément Mouhot, Jacques Smulevici and Jérémie Szeftel for useful comments on an earlier version of the manuscript. This work was supported by the UK Engineering and Physical Sciences Research Council (EPSRC) Grant EP/H023348/1 for the University of Cambridge Centre for Doctoral Training, the Cambridge Centre for Analysis.

Footnotes

1

See Section 1.15 for a discussion of the relevant works.

2

It is used in an important way in Section 8.6 but this can in fact easily be avoided.

3

The precise condition will not be discussed here. See [21].

4

So that, in particular, the particle density function f=0 on the mass shell over N, and there exists a 2-sphere SN_ such that supp(f) in the mass shell over N_ is contained in the causal past, J-(S), of S.

5

i.e. certain weighted integrals of derivatives of metric components, Ricci coefficients and curvature components, along with pointwise bounds on certain derivatives of f are small. The precise smallness assumptions are given later in Section 5.

6

One could impose faster decay of the data on {u=u0} in Theorem 1.2 and hope to propagate this decay so that the induced data on the hyperboloid is indeed sufficient for [17] to apply directly. We have chosen not to do so here in view of [8], where Christodoulou shows that generic physically interesting spacetimes are never asymptotically simple.

7

See Section 1.8.

8

It is well known that the Einstein equations in the harmonic gauge do not satisfy the classical null condition of [20]. Despite this fact, it has been shown by Lindblad–Rodnianski [26] that one can still prove stability of Minkowski space for the vacuum Einstein equations in this gauge. One could therefore imagine adopting a similar strategy to approach the current problem in the harmonic gauge. Note the recent work of Fajman–Joudioux–Smulevici [16] on the development of a vector field method for relativistic transport equations, which could play an important role in such an approach.

9

One could actually be sharper and, with slightly more effort, close the estimates with fewer derivatives than are taken here.

10

It in fact may be the case that rp|Γp| etc. can converge to 0 as r. The weights may therefore be weaker than the actual decay rates in the solutions which are finally constructed.

11

One sees these are the correct asymptotics for p1(s),p2(s) by using the three angular momentum Killing vector fields of Minkowski space Ω1,Ω2,Ω3 and the fact that, if K is a Killing vector, g(γ˙,K) is constant along γ, to see that the angular momentum of the geodesic, 11is conserved along γ. This fact together with the mass shell relation Inline graphic and the fact that p4 does not decay along a null geodesic (which can be seen in Minkowski space by looking at the geodesic equations and noting that p˙4(s)0) gives the required asymptotics for p3.

12

This cancellation is exploited for each Bianchi pair except (ψ,ψ)=(α,β), for which a slightly weaker weight is chosen. See Remark 9.2.

13

Recall e1,e2,e3,e4 is the double null frame for M, defined in Section 2.1 using the (u,v,θ1,θ2) coordinate system on M. Note the slight abuse of notation here as e1,e2,e3,e4 act only on functions on M, whilst f is a function on P. As e1=θ1 in the (u,v,θ1,θ2) coordinate system, e1f is used to denote θ1f in the (u,v,θ1,θ2,p1,p2,p4) coordinate system for P. Similarly for e2f,e3f,e4f.

14

Recall that the scalar curvature R vanishes for solutions of the massless Einstein–Vlasov system.

15

See [9] for a detailed derivation in the vacuum case. Recall that ζ=-η_ and ω_=0 in the frame used here, and that the scalar curvature R vanishes for solutions of the massless Einstein–Vlasov system.

16

The quantities 1Ω2-1, b and Inline graphic are, of course, metric quantities. They are however, in Section 10, estimated systematically along with the Ricci coefficients. Any discussion of the “Ricci coefficients” from now on will hence implicitly refer also to these metric quantities.

17

Stricly speaking, the terms listed in the error can be “worse” than the terms which actually appear in the equation in question. For example, in E3[Γ(3)p], ψp may actually refer to some ψq where q>p. In fact, in some of the null structure equations no curvature term actually appears.

18

So, for example, Inline graphic in the Inline graphic equation, and Inline graphic in the Inline graphic equation, etc.

19

The former in L2 on the spheres, the latter in L2 on null hypersurfaces.

20

Note that Inline graphic and Inline graphic preserve the rank of a tensor, whilst Inline graphic takes tensors of rank (0, n) to tensors of rank (0,n+1).

21

Note that Inline graphic when applied to a (0, n) tensor are always defined with respect to the last index etc.

22

This is the unrenormalised null structure equation for trχ and can be derived from the Inline graphic equation in Section 2.5.

23

In Sections 6 and 8 smallness conditions on C¯ will be made, but it is otherwise arbitrary.

24

Not the frame e1,,e4. The reason for this will be explained later.

25

This structure is crucial even for proving local existence for the Einstein–Vlasov system in the double null gauge.

26

The pointwise bounds on the components of ψ and T follow from the pointwise bounds on |ψ|,|T| and the fact that Inline graphic in each of the spherical coordinate charts.

27

They will actually decay like 1r72, but 1r3 is sufficient.

28

In fact, all of the J5,J6,J7 components are uniformly bounded along (γ,γ˙), though it is easier to treat them systematically if they are included in J-1.

29

recall that the summation can begin at 3 except for terms involving β.

30

recall λ runs over 1, 2, 4 and λ~(1)=5,λ~(2)=6,λ~(4)=7.

31
The proof of Proposition 8.17 can easily be adapted to show that
dexpsv~p4p¯4j-r(x)δ4jC,
for v0v~v.
32

It is because of these terms D4Tp is only estimated in spacetime, rather than on null hypersurfaces.

33

Note that the final term on the left hand side of (112) is a spherical divergence and hence vanished when integrated over the spheres.

34

Here q(ψp) denotes the power of r multiplying |ψp|2 in Fv0,v1(u). So, for example, q(β_)=0, whilst q((ρ,σ),β_)=2. Set q(α_)=-2.

35

The “borderline terms” in (124), i.e. the terms hp1·Γp2 and Γp1·Γp2 for which p1+p2=p are slightly more problematic and will be dealt with separately.

36

Terms of the form hp1·Γp2 or Γp1·Γp2 for which p1+p2=p

37

For Inline graphic, actually have the pointwise bounds rp|DΘp|C. There is a loss of r12 for the other variables since the Sobolev inequality on the outgoing null hypersurfaces have to be used.

38

There will also be cubic and higher order terms but, since they have the same r decay and there will always be at most one factor which is not lower order and hence cannot be estimated in L, they are treated in exactly the same manner as the quadratic terms.

39

Similarly to the Θ variables, for Γp2=χ_^,trχ_+2r,η_ actually get Inline graphic but for χ^,trχ-2r,η, have to use the Sobolev inequality on the outgoing null hypersurfaces and hence lose the power of r12.

40

The transformation from harmonic coordinates to double null coordinates is carried out in detail in a related setting in Chapter 16.3 of [9].

References

  • 1.Andréasson, H.: The Einstein–Vlasov system/kinetic theory. Living Rev. Relativ. 14, 4 (2011). doi:10.12942/lrr-2011-4 [DOI] [PMC free article] [PubMed]
  • 2.Bieri L. Extensions of the Stability Theorem of the Minkowski Space in General Relativity, Solutions of the Vacuum Einstein Equations. Boston: American Mathematical Society; 2009. [Google Scholar]
  • 3.Choquet-Bruhat Y. Théreme d’existence pour certains systèmes d’équations aux dérivées partielles non linéaires. Acta Math. 1952;88:141–225. doi: 10.1007/BF02392131. [DOI] [Google Scholar]
  • 4.Choquet-Bruhat Y. Problème de Cauchy pour le système intégro-différentiel d’Einstein–Liouville. Ann. Inst. Fourier. 1971;21:181–201. doi: 10.5802/aif.385. [DOI] [Google Scholar]
  • 5.Choquet-Bruhat, Y., Chruściel, P.: Cauchy Problem with Data on a Characteristic Cone for the Einstein–Vlasov Equations arXiv:1206.0390
  • 6.Choquet-Bruhat Y, Geroch R. Global aspects of the cauchy problem in general relativity. Comm. Math. Phys. 1969;14:329–335. doi: 10.1007/BF01645389. [DOI] [Google Scholar]
  • 7.Christodoulou, D.: Notes on the Geometry of Null Hypersurfaces (unpublished)
  • 8.Christodoulou, D.: The Global Initial Value Problem in General Relativity Ninth Marcel Grossman Meeting (Rome 2000), pp 44–54. World Science Publishing, Singapore (2002)
  • 9.Christodoulou, D.: The Formation of Black Holes in General Relativity. European Mathematical Society Publishing House, Zurich (2009)
  • 10.Christodoulou D, Klainerman S. The Global Nonlinear Stability of the Minkowski Space, Princeton Mathematical Series. Princeton: Princeton University Press; 1993. [Google Scholar]
  • 11.Chruściel P, Paetz T. The many ways of the characteristic Cauchy problem class. Quantum Gravit. 2012;29:145006. doi: 10.1088/0264-9381/29/14/145006. [DOI] [Google Scholar]
  • 12.Dafermos M. A note on the collapse of small data self-gravitating massless collisionless matter. J. Hyperbol. Differ. Equ. 2006;3:589–598. doi: 10.1142/S0219891606000926. [DOI] [Google Scholar]
  • 13.Dafermos, M., Holzegel, G., Rodnianski, I.: A Scattering Theory Construction of Dynamical Vacuum Black Holes arXiv:1306.5364
  • 14.Dafermos M, Rendall AD. An extension principle for the Einstein-Vlasov system in spherical symmetry. Ann. Henri Poincaré. 2005;6:1137–1155. doi: 10.1007/s00023-005-0235-7. [DOI] [Google Scholar]
  • 15.Dafermos, M., Rendall, A.D.: Strong Cosmic Censorship for Surface–Symmetric Cosmological Spacetimes with Collisionless Matter arXiv:gr-qc/0701034
  • 16.Fajman, D., Joudioux, J., Smulevici, J.: A Vector Field Method for Relativistic Transport Equations with Applications arXiv:1510.04939
  • 17.Friedrich H. On the existence of 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]
  • 18.Gudmundsson S, Kappos E. On the geometry of tangent bundles. Expo. Math. 2002;20:1–41. doi: 10.1016/S0723-0869(02)80027-5. [DOI] [Google Scholar]
  • 19.Hadz̆ić, M., Speck, J.: The Global Future Stability of the FLRW Solutions to the Dust–Einstein System with a Positive Cosmological Constant arXiv:1309.3502
  • 20.Klainerman, S.: The null condition and global existence to nonlinear wave equations. In: Santa Fe, N.M. (eds.) Nonlinear Systems of Partial Differential Equations in Applied Mathematics, Part 1, 1984 Lectures in Applied Mathematics, vol. 23, pp. 293–326 (1986)
  • 21.Klainerman, S., Nicolò, F.: The Evolution Problem in General Relativity, vol. 23 Lectures in Applied Mathematics. Birkhäuser, Boston (2003)
  • 22.Kowalski O. Curvature of the induced Riemannian metric on the tangent bundle of a Riemannian manifold. J. Reine Angew. Math. 1971;250:124–129. [Google Scholar]
  • 23.LeFloch, P.G., Ma, Y.: The Global Nonlinear Stability of Minkowski Space for Self-Gravitating Massive Fields arXiv:1511.03324
  • 24.Loizelet J. Solutions globales des équations d’Einstein–Maxwell. Ann. Fac. Sci. Toulouse Math. 2009;18:565–610. doi: 10.5802/afst.1212. [DOI] [Google Scholar]
  • 25.Li, J., Zhu, X.: On the Local Extension of the Future Null Infinity arXiv:1406.0048
  • 26.Lindblad H, Rodnianski I. The global stability of Minkowski space-time in harmonic gauge. Ann. Math. 2010;171:1401–1477. doi: 10.4007/annals.2010.171.1401. [DOI] [Google Scholar]
  • 27.Luk, J.: On the Local Existence for the Characteristic Initial Value Problem in General Relativity arXiv:1107.0898
  • 28.Rendall AD. Reduction of the characteristic initial value problem to the Cauchy problem and its applications to the Einstein equations. Proc. R. Soc. Lond. 1990;427:221–239. doi: 10.1098/rspa.1990.0009. [DOI] [Google Scholar]
  • 29.Rein G, Rendall AD. Global existence of solutions of the spherically symmetric Vlasov–Einstein system with small initial data. Commun. Math. Phys. 1992;150:561–583. doi: 10.1007/BF02096962. [DOI] [Google Scholar]
  • 30.Ringström H. On the Topology and Future Stability of the Universe, Oxford Mathematical Monographs. Oxford: Oxford University Press; 2013. [Google Scholar]
  • 31.Rodnianski I, Speck J. The stability of the irrotational Einstein–Euler system with a positive cosmological constant. J. Eur. Math. Soc. 2013;15:2369–2462. doi: 10.4171/JEMS/424. [DOI] [Google Scholar]
  • 32.Sachs RK, Wu H. General Relativity for Mathematicians. New York: Springer; 1977. [Google Scholar]
  • 33.Sasaki S. On the differential geometry of tangent bundles. Tohoku Math. J. 1958;10:338–354. doi: 10.2748/tmj/1178244668. [DOI] [Google Scholar]
  • 34.Speck J. The global stability of the Minkowski spacetime solution to the Einstein-nonlinear electromagnetic system in wave coordinates. Anal. PDE. 2014;7:771–901. doi: 10.2140/apde.2014.7.771. [DOI] [Google Scholar]
  • 35.Wang, Q.: Global Existence for the Einstein Equations with Massive Scalar Fields. Talk Given at Mathematical Problems in Relativity Workshop, Simons Center, Stony Brook (2015). http://scgp.stonybrook.edu/archives/10300
  • 36.Zipser N. Extensions of the Stability Theorem of the Minkowski Space in General Relativity, Solutions of the Einstein–Maxwell Equations. Boston: American Mathematical Society; 2009. [Google Scholar]

Articles from Annals of Pde are provided here courtesy of Springer

RESOURCES