Feb 12, 2018 - Conjecture. The Kerr exterior family is stable as a family of solutions to (1). ... Then we say that g is in a generalised f -wave gaug...

0 downloads 4 Views 355KB Size

The linear stability of the Schwarzschild solution to gravitational perturbations in the generalised wave gauge

Imperial College London

Mathematical Relativity Seminar, Universit´e Pierre et Marie Curie, 12th February 2018

The celebrated Kerr family of spacetimes comprise a 2-parameter family of black hole solutions to the Einstein vacuum equations: Ric[g ] = 0.

(1)

The physical reality of such objects requires a positive resolution to the conjectured stability of their exterior regions:

Conjecture The Kerr exterior family is stable as a family of solutions to (1). A more precise formulation, in analogy with the monumental work of Christodoulou–Klainerman establishing the stability of the Minkowski space, is in the context of general relativity as an initial value problem: “Do initially small perturbations of initial data for a Kerr exterior solution evolve, under the Einstein vacuum equations, to a nearby member of the Kerr family?”

To resolve this conjecture one must first address the issue of gauge freedom associated to the diffeomorphism invariance of general relativity. Particular success in studying the Einstein equations has come from imposing a wave gauge: In vacuum: I

the fundamental local existence result of Choquet-Bruhat (1952)

I

the pioneering nonlinear stability of the Minkowski space, Lindblad–Rodnianski (2010)

Einstein-scalar field, Einstein–Maxwell, Einstein–Klein–Gordon, Einstein–Vlasov: I

the nonlinear stability of the Minkowski space – Lindblad–Rodnianski (2010), Speck (2014), LeFloch–Ma (2015), Fajman–Joudioux–Smulevici and Lindblad–Taylor (2017)

Motivated by this success, one has the aim of resolving the conjecture in the affirmative by imposing a generalised wave gauge: I

natural generalisation of the wave gauge to the situation where one is perturbing about a spacetime with non-trivial curvature

I

the linearisation of the Einstein equations in this gauge about a non-trivial background solution exhibit an amenable structure

In this talk we shall make precise the following theorem which establishes the quantitative linear stability of the Schwarzschild exterior family:

Theorem (J.) All smooth and asymptotically flat solutions to the system of equations that result from linearising the Einstein vacuum equations, as expressed in a generalised wave gauge, about a fixed member of the Schwarzschild exterior family remain uniformly bounded on the Schwarzschild exterior and in fact decay at an inverse polynomial rate to a member of the linearised Kerr family after the addition of a (explicit) dynamically determined residual pure gauge solution.

Related results

Generalised wave gauge: I

the nonlinear stability of the Kerr–De Sitter and Kerr–Newman–De Sitter family of black holes with small rotation parameter, Hintz–Vasy (2016) and Hintz (2016)

I

the nonlinear stability of the Minkowski space, Hintz–Vasy (2017)

The linear stability of the Schwarzschild exterior family: I

by imposing a double–null gauge, Dafermos–Holzegel–Rodnianski (2016)

There is also a result due to Hung–Keller–Wang (2017) which employed a Chandresekhar gauge.

The generalised wave gauge and the nonlinear stability of the Kerr exterior

To resolve via a generalised wave gauge first requires upgrading this linear theory from the Schwarzschild subfamily to the full Kerr family. Nevertheless, Dafermos, Holzegel and Rodnianski formulated a restricted nonlinear stability conjecture regarding the Schwarzschild exterior family (see end of talk) for which the rate of dispersion we obtain is in principle sufficient to resolve by imposing a generalised wave gauge. Remarkably, a proof of this conjecture in the class of axially symmetric and polarised perturbations has very recently been announced by Klainerman–Szeftel over a series of three papers, the first of which can be found on the arXiv.

I. The equations of linearised gravity around Schwarzschild

The Einstein equations in a generalised wave gauge Let M, g and M, g be 3 + 1 globally hyperbolic Lorentzian manifolds with f a smooth vector field on M and define the connection tensor of g and g C g ,g

a bc

:=

1 ad g 2∇(b g c)d − ∇d g bc 2

where ∇ is the Levi-Civita connection of g . Then we say that g is in a generalised f -wave gauge with respect to g iff g −1 · C g ,g = f . In this gauge the Einstein vacuum equations Ric[g ] = 0 have the schematic description 2 g −1 · ∇ g + C g ,g · ∇g + C g ,g · C g ,g + Riem · g = Lf g · g with Riem the Riemann tensor of g .

Remarks Local well-posedness: I

for a given smooth f and g the generalised wave gauge is always locally well-posed

I

for a given smooth f and g the Einstein vacuum equations in a generalised wave gauge are locally well-posed

The wave gauge: I

setting (f , M, g ) = (0, R4 , η) and choosing a globally inertial coordinate system yields the wave gauge

The conjectured stability of the Kerr exterior family: I set M, g to be any fixed member of the subextremal exterior Kerr family! This strategy was employed successfully by Hintz and Vasy for the Kerr–De Sitter family.

The Schwarzschild exterior solution

Let M > 0. Then the Schwarzschild exterior family M, gM of solutions to the Einstein vacuum equations are defined as the Lorentzian manifolds with boundary written in the regular Schwarzschild-star coordinate system as M = R × [2M, ∞) × S 2 , 2M 4M ∗ 2M dt ∗2 + dr 2 + r 2 dθ2 + sin2 θ dϕ2 gM = − 1 − dt dr + 1 + r r r

I

the causal vector field T = ∂t ∗ defines a time orientation and is manifestly Killing

I

the boundary H+ is a null hypersurface termed the event horizon

I

the level sets Σt ∗ of t ∗ are asymptotically flat Cauchy hypersurfaces

The equations of linearised gravity We consider the Einstein vacuum equations as expressed in a generalised wave gauge f -wave gauge with respect to a fixed gM on the manifold M:

g −1 · ∇2M g + C g ,gM · ∇M g + C g ,gM · C g ,gM + RiemM · g = Lf gM · g , g −1 · C g ,gM = f .

(2) (3)

(gM , 0) we To formally linearise these equations about the solution consider a smooth 1-parameter family g (), f () of solutions to (2)-(3) on M with g (0), f (0) = gM , 0) with the formal power series expansion g () = gM + · g + o 2 , (1)

(1)

f () = · f + o 2

which we insert into (2)-(3) and discard higher order terms in . Note in particular that since CgM ,gM = ∇M gM = 0 the terms that are first order in the derivatives of g in (2) will vanish under linearisation!

Proceeding as outlined one arrives at the equations of linearised gravity (1)

(1)

g − 2Riem · g = L gM , (1)

f

(1)

divg −

1 dtrgM g = f 2 (1)

(1)

with , div, d the wave operator, divergence and exterior derivative on M, gM . These equations are well-posed with a smooth solution S := g , f arising uniquely from freely prescribed smooth seed data D. (1)

(1)

(1)

(1)

The latter prescribes f and determines smooth Cauchy data for g on an initial hypersurface Σ satisfying constraints. Q. (towards linear stability) Do sufficiently regular solutions S to the equations of linearised gravity decay, with a sufficient rate, to the future?

Special solutions The first such class arise from expressing the exterior Kerr family in a generalised f K -wave gauge with respect to gM and linearising about gM . For instance, linearising the Schwarzschild exterior family in the mass parameter yields the 1-parameter family of spherically symmetric solutions (1)

g m,0 = −

1 1 m 2M r2 m ∗ ˚ g, dt ⊗ dr − dr ⊗ dr + r 4 1 − 2M M 2 M r

11 m ∗ f m,0 = − dt − dr 2 r 1 − 2M r

(1)

with m ∈ R and ˚ g the unit metric on the round sphere. We denote this family of linearised Kerr solutions by K . In light of their stationarity we must instead ask the question Q. (towards linear stability) Do sufficiently regular solutions S to the equations of linearised gravity decay, with a sufficient rate, to a member of the linearised Kerr family K ? The correct K can in fact be identified from the seed data D alone!

The second class of special solutions arise from residual gauge freedom. Indeed, given smooth vector fields v and f satisfying v = f then the smooth 1-parameter family of Lorentzian metrics φ∗ gM , with φ the smooth 1-parameter family of diffeomorphisms generated by v , are in a generalised f -wave gauge with respect to gM to first order in . This yields the class of pure gauge solutions G to the equations of linearised gravity: (1)

g G = Lv gM ,

(1)

fG =f

with

v = f .

In light of diffeomorphism invariance we must allow for the possibility Q. (towards linear stability) Do sufficiently regular solutions S to the equations of linearised gravity decay, when expressed in a suitable gauge, to a member of the linearised Kerr family K ? To determine the correct G requires analysing the structure of the equations of linearised gravity.

II. An effective scalarisation of the equations of linearised gravity

The Regge–Wheeler and Zerilli equations and the gauge-invariant hierarchy

(1)

(1)

(1)

We consider two scalar quantities Φ and Ψ constructed from g which vanish for all linearised Kerr and pure gauge solutions. Remarkably, as was first discovered by Regge–Wheeler and Zerilli, the equations of linearised gravity force the decoupling of these gauge-invariant quantities into the scalar wave equations described by the celebrated Regge–Wheeler and Zerilli equations respectively: 4 µ r −1 Φ = − 2 Φ, r r 4 µ 6 µ 18 µ µ [1] [2] r −1 Ψ = − 2 Ψ + 2 (2 − 3µ)/ ζ Ψ+ (1 − µ)/ ζ Ψ. r r r r r r r (1)

(1)

(1)

(1)

(1)

(1)

[p] ˚ +2− / is the inverse of the elliptic operator ∆ Here, µ = 2M r and ζ ˚ applied p-times with ∆ the Laplacian on the unit round sphere.

6M r

Remarks and literature Literature: I

the original derivation of Regge–Wheeler and Zerilli utilised a full mode decomposition of the linearised Einstein equations

I

it took the later work of Moncrief to realise the gauge-invariance of Φ and Ψ (1)

I

(1)

the covariant, non-mode decomposed version of these equations is ultimately due to Chaverra, Ortiz and Sarbach (1)

(1)

Vanishing of Φ and Ψ: (1)

I

(1)

one can show that if Φ = Ψ = 0 and S is sufficiently regular then S =K +G

Other appearances: I

Regge–Wheeler and Zerilli – Hung, Keller and Wang

I

the Regge–Wheeler equation – Dafermos, Holzegel and Rodnianski

The Fackerell–Ipser equation and the gauge-dependent hierarchy

(1)

(1)

(1)

(1)

(1)

(1)

We consider now a hierarchy of scalar quantities Φ, Ψ, q, p, q, p which ˇ ˇ vanish for all linearised Kerr solutions and are forced by the equations of linearised gravity: 1. to satisfy a hierarchical system of Regge–Wheeler type equations: ψ ∈ Φ, Ψ, q, p, q, p =⇒ (r −1 ψ) = Zψ + F ˇ ˇ (1)

(1)

(1)

(1)

(1)

(1)

(1)

with F determined by previous members of the hierarchy and f (1)

2. to uniquely determine T/ g where T/ is an elliptic angular operator on the 2-spheres foliating M (1)

The linearised metric g is thus completely determined by the hierarchy Φ, Ψ, q, p, q, p along with the kernel of T/ . (1)

(1)

(1)

ˇ

(1)

(1)

(1)

ˇ

The key point is that one can derive good estimates for the operators in 1. and 2.!

Remarks That extract such a hierarchy one exploits a remarkable correspondence between the equations of linearised gravity and Maxwell’s equations in a generalised Lorentz gauge: A = −j − dL, divA = −L, divj = 0 wtih A,j 1-forms and L a function on M. In this correspondence the source j and gauge term L are determined by Φ, Ψ and f . (1)

(1)

(1)

Exploiting the structure of the Maxwell equations thus generates the full hierarchy. Note one needs the generalised wave gauge condition to extract this correspondence!

III. Gauge-normalisation

Initial-data-normalised solutions S 0 First we will require a gauge-normalisation to formulate a statement of quantitative boundedness.

Proposition Let S be the smooth solution to the system of gravitational perturbations arising from the smooth seed data set D. Then there exists a pure gauge solution G 0 for which the resulting solution S 0 := S + G 0 − K , with K determined explicitly from D, satisfies (1)

(1)

i) q 0 = f 0 = 0 ˇ ii) the elliptic operator T/ is coercive on S 0 . Whether a solution is in such a gauge can in fact be detected explicitly from D. The solution S 0 is thus said to be initial-data-normalised.

˚0 Globally-renormalised solutions S

To formulate quantitative decay we normalise as follows.

Proposition Let S 0 be initial-data-normalised. Then there exists a pure gauge solution G˚ for which the resulting solution ˚ 0 := S 0 + G˚ S satisfies (1)

(1)

(1)

(1)

(1)

(1)

(1)

q 0, ˚ p 0, ˚ q 0, ˚ p 0, ˚ f 0 are given explicitly by derivatives of Φ and Ψ i) ˚ ˇ ˇ ˚ 0. ii) the elliptic operators T/ are coercive on S ˚0 This gauge can not be detected from the seed D alone. The solution S 0 is thus said to be a global-renormalisation of the solution S .

Remarks Motivation behind the gauge: I

adapts and modifies the classical Regge–Wheeler gauge used in the study of the linearised Einstein equations about Schwarzschild

I

the presence of the linearised forcing gauge term allows one to adapt this gauge to the equations of linearised gravity

I

˚ 0 remains asymptotically flat the modification ensures the solution S in evolution and that the ‘location of the horizon’ is fixed

Utility of the gauge: I

˚ 0 will be relatively establishing a decay statement for the solution S simple

The global nature of the gauge: I

necessitates a boundedness statement for G˚ (equivalently, a boundedness statement for S 0 ) – this is the bulk of our work

I

the key insight however is to realise this gauge within the framework of a well-posed formulation of linearised gravity

IV. The linear stability of the Schwarzschild solution

Boundedness of the solution S 0

First we have the quantitative boundedness statement.

Theorem 1 (J.) Let S 0 be the smooth initial-data-normalised solution to the system of gravitational perturbations arising from the smooth, asymptotically flat seed data set D. Then on D + (Σ) one has the uniform r -weighted pointwise bounds |r S 0 |M . D[D] with the initial norm finite.

Remarks

On the boundedness statement: I

the boundedness statement is more correctly stated in terms of certain (weighted) energy norms

I

this latter statement actually loses derivatives as a consequence of the trapping effect on Schwarzschild

On corollaries to the theorem: I

boundedness for solutions to equations of Regge–Wheeler type and Maxwell’s equations on the Schwarzschild exterior

On pointwise decay: I

we in fact obtain a weak rate of dispersion for the solution S 0 - this is in ‘contrast’ to the work of Dafermos, Holzegel and Rodnianksi

˚0 Decay of the solution S We now have the quantitative statement of linear stability for the Schwarzschild exterior solution. Let τ ? be a function on M the level sets of which intersect both H+ and I + .

Theorem 2 (J.) ˚ 0 be its global-renormalisation. Let S 0 be as in Theorem 1 and let S ˚ Then the pure gauge solution G satisfies the conclusions of Theorem 1. ˚ 0 on D + (Σ) one has the uniform r -weighted decay Moreover, for S bounds ˚ 0 |M . D[D] · √1 |r S τ? with the initial norm finite. In particular, the solution ˚ := S ˚0 +K S decays inverse polynomially to the linearised Kerr solution K .

Remarks

On the decay statement: I

the decay statement is more correctly stated in terms of certain (weighted) integrated decay (and energy) norms

I

the former loses derivatives as a consequence of trapping whereas the latter do not

On corollaries to the theorem: I

decay for solutions to equations of Regge–Wheeler type and Maxwell’s equations on the Schwarzschild exterior

On pointwise decay: I

˚ 0 in we in fact obtain a stronger rate of dispersion for the solution S the regularity class under consideration

Aside: The scalar wave equation on the Schwarzschild exterior spacetime

Theorem (Dafermos–Rodnianski) Let ψ be a sufficiently regular solution to gM ψ = 0. Then on D + (Σ) one has the uniform pointwise bounds i) |r ψ| .

√1 . τ?

Fix β0 > 0 such that 1 − β0 << 1 and denote by Λ(M) the space of smooth functions on M supported on the spherical harmonics l ≥ 2.

Proposition (Angelopoulos–Aretakis–Gajic) Suppose now ψ ∈ Λ(M) is sufficiently regular. Then on D + (Σ) one has the improved decay ii) |r ψ| .

1 (τ ? )2+

β0 2

.

What are the key ingredients?

The key estimates i) for any τ2? ≥ τ1? and 0 ≤ p ≤ 2 the weighted energy estimates Z Z r p |nψ|2 + |∇ψ|2 . r p |nψ|2 + |∇ψ|2 Στ ?

Στ ?

1

2

and the weighted integrated decay estimates Z

τ2?

Z

τ2?

τ1?

2

2

|nψ| + |∇ψ| + |ψ| .

τ1?

Z

2

Στ ? ∩{r ≤R}

Z Στ ? ∩{r ≥R}

1 Z X i=0

|nT i ψ|2 + |∇T i ψ|2 ,

Στ ?

r p−1 |nψ|2 + (2 − p)r p−3 |∇ψ|2 .

1

Z

r p |nψ|2 + |∇ψ|2

Στ ? 1

with n, ∇ derivatives normal and tangential to the hypersurface Στ ? ii) for ψ∈Λ(M) and L generating an outgoing null cone (r 2 ∇L )2 (r ψ) satisfies estimates i) with p ≤ 1 + β0 Weaker r -weighted versions of the estimates in i) are analogues of what ˚ 0 we prove we prove for the solution S 0 . Conversely, for the solution S an analogous full hierarchy of estimates found in i)+ii).

Remarks

On estimates i): I

to prove the p = 0 version of the energy estimate requires exploiting the celebrated red-shift effect on Schwarzschild in conjuction with the (degenerate!) conserved energy associated to the Killing field T

I

(some) loss of derivatives in the integrated local energy estimate is unavoidable and arises from the existence of trapped null geodesics at r = 3M on Schwarzschild which is an obstruction to decay in the geometric optics approximation (Sbierski)

On estimates ii): I

the second order radiation field is intimately related to our notion pointwise aymptotic flatness for solutions to the equations of linearised gravity

V. Outline of the proofs: Boundedness and decay for solutions to equations of Regge–Wheeler type on the Schwarzschild exterior spacetime

Theorem 3 (J.) Let Ψ ∈ Λ(M) be a solution to the Regge–Wheeler type equation r −1 Ψ = ZΨ + F with F ∈ Λ(M). Then assuming sufficient regularity the following hierarchy of estimates hold: F = 0 =⇒ |Ψ| . |F | . |F | .

1 2+ (τ ? )

β0 2

1

2+

β0 2

1

β0 2

(τ ? ) 1 (τ ? ) 2 1

1 (τ ? ) 2

=⇒ |Ψ| .

1

+

β0 2

=⇒ |Ψ| .

r 2− (τ ? )

+

, ,

β0 4 β0 4

.

Applying this Theorem to the hierarchy associated to the solutions S 0 ˚ ultimately yields Theorems 1 and 2. and S

Remarks On the statement: I

the boundedness and decay statements are more correctly stated in terms of weighted energy and integrated decay norms

On previous work: I

for the Regge–Wheeler equation the (weaker) decay statement was originally obtained by Holzegel with earlier work of Blue–Soffer

I

for the Zerilli equation the (weaker) decay statement was obtained by independently by J. and Hung–Keller–Wang

On extra difficulties when implemented in Theorem 1: I

to get the correct regularity for the inhomogeneous terms one must perform a (complicated!) renormalisation procedure

On the derivative loss of Theorem 1: I

the loss due to trapping gets amplified as one ascends the hierarchy

A restricted nonlinear stability conjecture

Conjecture (Dafermos–Holzegel–Rodnianski, 2016) Let (ΣM , hM , kM ) be the induced data on a spacelike asymptotically flat slice of the Schwarzschild solution of mass M crossing the future horizon and bounded by a trapped surface. Then in the space of all nearby vacuum data (Σ, h, k), in a suitable norm, there exists a codimension-3 subfamily for which the corresponding maximal vacuum Cauchy development (M, g ): i) contains a black-hole exterior region characterized as the past J − (I + ) of a complete future null infinity I + ii) is bounded by a non-empty future affine-complete event horizon H+ iii) in J − (I + ) the metric remains close to gM and moreover asymptotically settles down to a nearby Schwarzschild metric gM 0 at suitable inverse polynomial rate.