Skip to main content
Springer logoLink to Springer
. 2019 Jan 8;5(1):2. doi: 10.1007/s40818-018-0058-8

Boundedness and Decay for the Teukolsky Equation on Kerr Spacetimes I: The Case |a|M

Mihalis Dafermos 1,2, Gustav Holzegel 3,, Igor Rodnianski 2
PMCID: PMC6499082  PMID: 31119213

Abstract

We prove boundedness and polynomial decay statements for solutions of the spin ±2 Teukolsky equation on a Kerr exterior background with parameters satisfying |a|M. The bounds are obtained by introducing generalisations of the higher order quantities P and P_ used in our previous work on the linear stability of Schwarzschild. The existence of these quantities in the Schwarzschild case is related to the transformation theory of Chandrasekhar. In a followup paper, we shall extend this result to the general sub-extremal range of parameters |a|<M. As in the Schwarzschild case, these bounds provide the first step in proving the full linear stability of the Kerr metric to gravitational perturbations.

Keywords: Kerr black hole, Teukolsky equation, General relativity

Introduction

The stability of the celebrated Schwarzschild [100] and Kerr metrics [72] remains one of the most important open problems of classical general relativity and has generated a large number of studies over the years since the pioneering paper of Regge–Wheeler [98]. See [42, 43] and the introduction of [31] for recent surveys of the problem.

The ultimate question is that of nonlinear stability, that is to say, the dynamic stability of the Kerr family (M,ga,M) (including the Schwarzschild case a=0), without symmetry assumptions, as solutions to the Einstein vacuum equations

Ric[g]=0, 1

in analogy to the nonlinear stability of Minkowski space, first proven in the monumental [26]. A necessary step to understand nonlinear stability is of course proving suitable versions of linear stability, i.e. boundedness and decay statements for the linearisation of (1) around the Schwarzschild and Kerr solutions. This requires first imposing a gauge in which the equations (1) become well-posed. A complete study of the linear stability of Schwarzschild in a double null gauge has been obtained in our recent [31]. A key step in [31] was proving boundedness and decay for the so-called Teukolsky equation, to be discussed below in Sect. 1.1, which can be thought to suitably control the “gauge invariant” part of the perturbations. See already equation (2). These decay results were then used in [31] to recover appropriate estimates for the full linearisation of (1).

The purpose of the present paper is to extend the boundedness and decay results of [31] concerning the Teukolsky equation (2) from the Schwarzschild a=0 case to the very slowly rotating Kerr case, corresponding to parameters |a|M. We give a rough statement of the main result already in Sect. 1.2 below.

In part II of this series, we shall obtain an analogue of our main theorem for the case of general subextremal Kerr parameters |a|<M. The extremal case |a|=M is exceptional; see Sect. 1.3 for remarks on this and other related problems. In a separate paper, following our previous work on Schwarzschild [31], we will use the above result to show the full linear stability of the Kerr solution in an appropriate gauge.

We end this introduction in Sect. 1.4 with an outline of the paper.

The Teukolsky Equation for General Spin

The original approach to linear stability in the Schwarzschild case centred on so-called metric perturbations, leading to the decoupled equations of Regge–Wheeler [98] and Zerilli [113]. The Regge–Wheeler equation will in fact appear below as formula (7). This approach does not, however, appear to easily generalise to Kerr. Thus, it was a fundamental advance when Teukolsky [107] identified two gauge invariant quantities which decouple from the full linearisation of (1) in the general Kerr case. The quantities, corresponding to the extremal curvature components in the Newman–Penrose formalism [93], can each be expressed by complex scalars α[±2] which satisfy a wave equation, now known as the Teukolsky equation:

gα[s]+2sρ2(r-M)rα[s]+2sρ2a(r-M)Δ+icosθsin2θϕα[s]+2sρ2M(r2-a2)Δ-r-iacosθtα[s]+1ρ2(s-s2cot2θ)α[s]=0, 2

with s=+2 and -2 respectively. The scalars are more properly thought of as spin ±2 weighted quantities. This generalised an analogous property in the Schwarzschild case identified by Bardeen and Press [14]. These quantities govern the “gauge invariant” part of the perturbations in the sense that an admissible solution of the linearised Einstein equations whose corresponding α[±2] both vanish must be a combination of a linearised Kerr solution and a pure gauge solution [110].

Note that equation (2) can be considered for arbitrary values of s12Z. For s=0, (2) reduces to the covariant wave equation gψ=0, while for s=±1, (2) arises as an equation satisfied by the extreme components of the Maxwell equations in a null frame [22].

Separability and the Mode Stability of Whiting and Shlapentokh-Rothman

An additional remarkable property of the Teukolsky equation (2) is that it can be formally separated, in analogy with Carter’s separation [19] of the wave equation (i.e. the case of s=0). The separation of the θ-dependence is surprising in the case a0 for all s because the Kerr metric only admits ϕ and t as Killing fields. It turns out that considering the ansatz

α[s](r)e-iωtSm[s](aω,cosθ)eimϕ 3

where Sm[s](ν,cosθ) denote spin-weighted oblate spheroidal harmonics, one can derive from (2) an ordinary differential equation for α, which in rescaled form (see (151)) can be written as

u+V[s](ω,m,,r)u=0 4

where for s0, the potential V[s] is complex valued. (Here denotes differentiation with respect to r. See Sect. 2.1.) See already (153). The separation (3) was subsequently understood to be related to the presence of an additional Killing tensor [73].

Of course, the problem of decomposing general, initially finite-energy solutions of (2) as appropriate superpositions of (3) is intimately tied with the validity of boundedness and decay results, in view of the necessity of taking the Fourier transform in time. A preliminary question that can be addressed already solely at the level of (4) is that of “mode stability”. Mode stability is the statement that there are no initially finite-energy solutions of the form (3) with Im(ω)>0. This reduces to showing the non-existence of solutions of (4) with Im(ω)>0 and exponentially decaying boundary conditions both as r and r-.

In the case a=0, s=0, then mode stability can be immediately inferred by applying the physical space energy estimate associated to the Killing vector field t to a solution of the form (3). The question is highly nontrivial for a0, already in the case s=0, in view of the phenomenon of superradiance, connected to the presence of the so-called ergoregion where t is spacelike. For s=±2, the question is non-trivial even in the case a=0, as there does not exist an obvious conserved energy current. (In separated form (4), this is related to the fact that the potential V[s] is now complex valued.) In a remarkable paper, Whiting [111] nonetheless succeeded in proving mode stability for (2) for all s in the general subextremal range of parameters |a|<M by cleverly exploiting certain algebraic transformations of the ode (4).

Mode stability has been extended to exclude “resonances” on the real axis, i.e. solutions u of (4) with ωR with appropriate boundary conditions, by Shlapentokh-Rothman [104] in the case s=0, who had the insight that the transformations applied in [111] could be extended to the real axis using the theory of oscillatory integrals. Together with a continuity argument in a, [104] can be used to reprove the original [111], and this leads to certain simplifications. The argument generalises to s=±2. See also [6] where the techniques of [104] are combined with an alternative complex analytic treatment.

We emphasise that mode stability is a remarkable property tied to the specific form of the equation (2) and to the specific Kerr background, even for s=0. Indeed, mode stability fails for a0 when an arbitrarily small Klein–Gordon mass is added, as was first suggested by [28, 112] and proven recently in [103]. Even more surprisingly, mode stability fails when a well-chosen positive compactly supported potential is added to (2), or when the Kerr metric is itself sufficiently deformed, keeping however all its symmetries and separation properties, in a spatially compact region which can be taken arbitrarily far from the ergoregion [89].

Previous Work on Boundedness and Decay

The quantitative study of the Cauchy problem for (2) with s=0, beyond statements for fixed modes, has become an active field in recent years. The study for higher spin is still less developed beyond the Schwarzschild case. We review some relevant previous work below.

The cases=0, |a|<M. An early result [75] obtained boundedness for solutions to the Cauchy problem for the scalar wave equation on Schwarzschild (i.e. the case s=0 and a=0 of (2)) with regular, localised initial data. Even this involved non-trivial considerations on the event horizon, which can now be understood in a more robust way using the red-shift energy identity [39, 43]. Following intense activity in the last decade (e.g. [3, 16, 18, 36, 3941, 43, 108]) there are now complete boundedness and decay results for (2) with s=0 in the full subextremal range of Kerr parameters |a|<M [45].

The main difficulties in passing from a=0 to a0 arise from superradiance, mentioned already in the context of mode stability, and the fact that trapped null geodesics no longer approach a unique value of r in physical space. The latter is relevant because integrated local energy decay estimates, an important step in the proof of quantitative decay, must necessarily degenerate at trapping.1 One way of dealing with the latter difficulty is employing the separation (3) as a method of frequency localising integrated local energy decay estimates. See [40, 43]. Once such an estimate is obtained, the difficulty of superradiance can easily be overcome in the |a|M case as the error terms in the ergoregion are small and can be absorbed. For alternative approaches, see [3, 108].

The |a|<M case appears a priori to be much more complicated. It turns out, however, that the Schwarzschild-like structure of trapping survives, when appropriately viewed in phase space. Moreover, in the high frequency regime, one can quantify superradiance with the help of the fact that, quite fortuitously, superradiant frequencies happen not to be trapped. See [45]. These good high frequency properties, together with Shlapentokh-Rothman’s real mode stability [104] and a continuity argument in a, allow one to extend the exact same boundedness and integrated local energy decay results originally obtained on Schwarzschild to the whole sub-extremal range |a|<M of Kerr parameters. Suitable polynomial decay then follows from an application of the method of rp weighted energy estimates [38, 87]. See [45]. For comments on the extremal case |a|=M, see Sect. 1.3.4.

The case s=±2, a=0. As we remarked already above, the Teukolsky equation with s=±2, a=0 has been studied in our previous [31] as part of our complete study of the linear stability of Schwarzschild.

The main difficulty of the s=±2 case as opposed to the case s=0, is that, as discussed already in the context of mode stability, there does not exist an obvious analogue of the conserved energy associated to the Killing field t. Thus, proving even just boundedness for a=0 is non-trivial, even just far away from the event horizon. The key to understanding (2) for s=±2, a=0 in [31] was associating quantities P[±2] to α[±2] satisfying (2). These are physical space versions of transformations first considered by Chandrasekhar [22] and are defined by the expressions2

P[+2]=-12(r-2M)L_r3r-2ML_(r-2M)2rα[+2], 5
P[-2]=-12(r-2M)Lr3r-2MLr-3α[-2]. 6

Here L=t+r, L_=t-r are a null frame, where r is the Regge–Wheeler coordinate. The quantities Ψ[+2]=r3P[+2] and Ψ[-2]=r3P[-2] can be shown to satisfy the Regge–Wheeler equation3

graphic file with name 40818_2018_58_Equ7_HTML.gif 7

where Inline graphic denotes the spin-2-weighted Laplacian on the unit sphere

graphic file with name 40818_2018_58_Equ8_HTML.gif 8

Remarkably, (7) is precisely the same equation which appeared as one of the equations governing the “metric perturbations” approach discussed at the beginning of Sect. 1.1!

Unlike (2) with s=±2, the above equation (7) can be estimated on Schwarzschild just as for the wave equation s=0, since (7) is indeed endowed with the usual structure of energy estimates. In particular, both boundedness and integrated local energy decay can be obtained. (For analysis of (7), see the previous [17, 63] as well as the self-contained treatment in [31].) Estimates for α[±2] could then be recovered directly by integrating (5) as transport equations from initial data. Such integration on its own would lead, however, to “loss of derivatives” in the resulting estimates for α[±2]. The Teukolsky equation itself (2) can be viewed as a further elliptic relation which allows one to gain back these derivatives, leading finally to boundedness results without loss of derivative, as well as integrated local energy decay and pointwise decay.

We remark that, beyond (2), in the context of the full proof of linear stability in [31], further transport equations and elliptic equations could then be used to appropriately estimate the remaining gauge dependent quantities.

Other spins. We note that the scheme of [31] has recently been applied also to the s=±1 case by Pasqualotto [94]. This gives an alternative proof of boundedness and polynomial decay for the Maxwell equations on Schwarzschild, proven originally by Blue [12]. See also [105]. Decay for Maxwell in the case |a|M was obtained in [4]. For a direct treatment of (2) for s=±1 in the case |a|M, generalising some of the results of [94], there is the recent [81]. (This has more recently been followed by [Ma18b]; see Sect. 1.3.9.) For the cases s=±1/2 and s=±3/2 see [106]. See [49] for the related massive Dirac equation not covered by (2). We note also the papers [52, 53].

The Main Result and First Comments on the Proof

The aim of the present paper is to extend the analysis of (2) for s=±2 from the Schwarzschild a=0 case considered in [31] to the very slowly rotating Kerr case with parameters |a|M. A rough version of our main result is the following:

Theorem

(Rough version) Let |a|M. Solutions α[±2] to the spin s=±2 Teukolsky equation (2) on Kerr exterior spacetimes (M,ga,M) arising from regular localised initial data on a Cauchy hypersurface Σ0 remain uniformly bounded and satisfy an rp-weighted energy hierarchy and polynomial decay.

The precise statements embodying the above will be given as Theorem 4.1. See also immediately Corollary 4.1 and (38) for the pointwise decay statements obtained.

The proof of our Theorem combines the use of the quantities P[±2] introduced in our previous [31] with a simplified version of the framework introduced in [40, 45] for frequency localised energy estimates, which as discussed in Sect. 1.1.2 are useful to capture the obstruction to decay associated with trapped null geodesics. (In the special case of axisymmetric solutions, this frequency localisation can be avoided and our proof can be expressed entirely in physical space. See already Sect. 1.2.5.)

The crucial observation which allows this technique to work is the following: In the scheme introduced in [31], it is not in fact absolutely necessary that the quantities P[±2] each satisfy a completely decoupled equation (7). It would have been permissible if the equation (7) for P[±2] was somehow still coupled to α[±2] on the right hand side, provided that this coupling was at a suitable “lower order”, in the sense that these lower order terms can indeed be recovered by the transport (and elliptic equations) which were used in [31] to estimate α[±2].

It turns out, remarkably, that when analogues of the quantities P[±2] are defined for Kerr, even though the exact decoupling from α[±2], respectively, breaks down, the resulting equations indeed only couple to α[±2] in the “weak” sense described above.

We explain below this structure in more detail, and how it is implemented in our proof (where we will in fact be able to circumvent use of elliptic estimates).

The Generalisation of P[±2] to Kerr

Our physical-space definition for P[+2], generalising (5), is given as

P[+2]=-(r2+a2)1/22ΔL_(r2+a2)2ΔL_Δ2r2+a2-32α[+2]. 9

A similar formula holds for P[-2]. See already Sect. 3.1. A computation reveals that the rescaled Ψ[+2]=(r2+a2)32P[+2] satisfies an equation of the form

R[+2]Ψ[+2]=c1(r)ϕ(L_α[+2])+c2(r)L_α[+2]+c3(r)ϕα[+2]+c4(r)α[+2], 10

where R[+2] is a second order operator defined on Kerr generalising the Regge–Wheeler operator appearing on the left hand side of (7), which has good divergence properties and thus admits energy currents. Consistent with the total decoupling in the Schwarzschild case, the coefficient functions ci(r) above are all O(|a|). Provided that α[+2] can indeed be viewed as being of two degrees lower in differentiability than Ψ[+2], then the right hand side is “zero’th order” in Ψ[+2]. Let us note, however, that if we use only the transport relation (9), then the right hand side of (10) can only be viewed as “first order” in Ψ[+2], as integration of (9) does not improve differentiability. Thus, to exploit fully this structure, one must also invoke in general elliptic relations connecting α[+2] and Ψ[+2] that can be derived by revisiting equation (2) itself. As we shall see below, it turns out, however, that we shall be able to avoid invoking this by exploiting more carefully the special structure and the non-degeneration of the derivative rΨ[±2]. We describe in Sects. 1.2.21.2.3 how these terms can be controlled.

We emphasise already that the above structure of the terms appearing on the right hand side of (10) is surprising. Upon perturbing (7) one would expect higher order terms in Ψ[±2] to appear which cannot be incorporated in the definition of R[+2] so as to preserve its good divergence properties. We note already that in the axisymmetric case, the right hand side of (10) is of even lower order, as the ϕ derivatives vanish. The deeper reason why these terms cancel is not at all clear. See also the remarks in Sect. 1.2.6 below.

Estimates Away from Trapping

Away from trapping, it suffices to treat the right hand side of (10) as if it were at the level of a general “first order” perturbation in Ψ[+2].

To see this, let us note first that suitably away from r=3M, the f and y-multiplier estimate of [31] leads in the Schwarzschild case to a coercive spacetime integral containing all first derivatives of Ψ[+2] (with suitable weights towards the horizon and infinity). This coercivity property away from trapping is manifestly preserved to perturbations to Kerr for |a|<a0M sufficiently small. We may add also a small multiple of the rη-current for an η>0 to generate extra useful weights near infinity. Moreover, we may add a suitable multiple of the energy estimate associated to a vector field t+χω+ϕ which connects the Hawking vector field on the horizon with the stationary vector field t. This ensures positive boundary terms on suitable spacelike and null boundaries, at the expense of generating an O(|a|) bulk term supported where χ=0, which is chosen to be away from trapping. Thus, this bulk term can again be absorbed by the coercive terms of the f and y-multipliers.

On the other hand, commutation of equation (9) by the Killing fields t and ϕ allows one to estimate all terms involving α and L_α and their derivatives appearing on the right hand side of (10) from the spacetime estimate for Ψ[+2] by appropriate transport estimates. (Here, we note that we must make use of the extra rη weight, just as in [31].) Thus, were it not for trapping, one could easily absorb the error terms on the right hand side of (10).

Frequency Localised Analysis of the Coupled System Near Trapping

In view of the above discussion, the terms on the right hand side of (10) are most dangerous near trapping. Let us take a more careful look at the structure of (9)–(10) using our frequency analysis.

At the level of the formally separated solutions (3), the operator L_ takes the form

-L_=ddr+iω-iamr2+a2, 11

where r is a Regge–Wheeler type coordinate, the relation (9) reads

Ψ[+2]=-12w-1L_w-1L_w·u[+2] 12

where u[+2]=Δr2+a2α[+2],

w:=Δ(r2+a2)2 13

and the “Regge–Wheeler” type equation (10) takes the form

d2(dr)2Ψ[+2]+(ω2-V)Ψ[+2]=ac1(r)im+c2(r)arL_(u[+2]w)+a2wc3(r)1raim+c4(r)(u[+2]w). 14

Here V is a real potential depending smoothly on a which reduces to the separated version of the Regge–Wheeler potential for a=0 and the ci are bounded functions. Cf. (10) and see Appendix A.3.

At the separated level, using a frequency localised version of the current f of [31], chosen to vanish at the (frequency-dependent) maximum of the potential V as in of [40], together with a frequency localised y-current and the frequency-localised energy estimate (multiplication by ωΨ) one can prove the ODE analogue of a degenerating integrated local energy decay for Ψ[±2], with a right hand side involving the right hand side of (14). Considerations are different in the “trapped frequency range”

1ω2λm[s]+s, 15

and the non-trapped frequencies. (Here λm are the eigenvalues of the spin-weighted Laplacian (8) reducing to (+1)-s22 in the case a=0.)

In the trapped frequency range (15), the above multiplier gives an estimate which can schematically be written as:

r3M|Ψ[+2]|2+|rΨ[+2]|2drterms controllable by physical space estimates (cf. Sect. 1.2.2)+|a|r3M(ωΨ[+2]+rΨ[+2]){(aim+1)L_(u[+2]w)+a2aim+1(u[+2]w)}dr. 16

This should be thought of as a degenerate integrated local energy decay bound for Ψ[+2]. Considering the right hand side of (16), we note that naive integration of (12) as a transport equation is not sufficient to control the integral on the right hand side by the left hand side. This is not surprising: In constrast to the considerations away from trapping of Sect. 1.2.2, in general now only terms which can be truly thought of as “zero’th order” in Ψ[+2] can manifestly be absorbed by the left hand side of (16), in view of the absence of an ω2|Ψ[+2]|2 and Λ|Ψ[+2]|2 coercive term.

One way to try to realise the right hand side of (16) as “zero’th order” in Ψ[+2] would be to invoke, in addition to the transport (12), also the elliptic estimates of [31]. It turns out, however, that exploiting the presence of the good first order term |rΨ[+2]|2 on the left hand side of (16), one can argue in a more elementary manner: Indeed, by commuting (12) with r and exploiting the relation (11), one can indeed rewrite the right hand side so as to absorb it into the left hand side.

Let us note finally that for “non-trapped” frequencies (i.e. outside the frequency range (15)), one can arrange the frequency localised multiplier so that terms m2|Ψ[+2]|2 and ω2|Ψ[+2]|2 appear on the left hand side of (16) without degeneration. One can then easily absorb the right hand side just as in Sect. 1.2.2 treating it essentially as one would a general “first order” term.

Technical Comments

Let us discuss briefly the technical implementation of the above argument.

As in [40], by using the smallness of the Kerr parameter a, the fixed frequency analysis of Sect. 1.2.3, restricted entirely to real frequencies ωR, can indeed be implemented to general solutions α[±2] of the Cauchy problem for (2), despite the fact that we do not know a priori that solutions are square integrable in time. This requires, however, applying cutoffs to α in order to justify the Fourier transform, and thus one must estimate inhomogeneous versions of (2) and thus also inhomogeneous versions of the resulting ODE (14). These inhomogeneous terms must themselves be bound by the final estimates.

As opposed to the cutoffs of [40, 45], we here will only cut off the solution in a region r[2A1,2A2] near trapping. Thus, the resulting inhomogeneous terms will be supported in a fixed region of finite r. Moreover, the fixed frequency ODE estimates of Sect. 1.2.3 will only be applied in the region r[A1,A2]. They will be combined with physical space estimates of Sect. 1.2.2. These estimates are now coupled however via boundary terms on r=A1 and r=A2. The fixed frequency multipliers applied to Ψ[+2] are chosen so as to be frequency independent near A1 and A2 and coincide precisely with those used in the physical space estimates in the away region. As a result, after summation over frequencies, the boundary terms in the mutliplier currents exactly cancel. This is similar to a scheme used previously in [7]. There are also boundary terms associated with the transport equations, but these can be absorbed using the smallness of a.

The above argument leads to a degenerate energy boundedness and integrated local energy decay for both Ψ[±2] and α[±2]. This preliminary decay bound will be stated as Theorem 9.1. From Theorem 9.1, we can easily improve our estimates at the event horizon, using the red-shift technique of [39], and then we can easily infer polynomial decay using the weighted rp method of [38]—all directly in physical space.

The Axisymmetric Case

We have already remarked that in the axisymmetric case ϕα[±2]=0, the right hand side of (10) is of lower order. An even more important simplification is that trapped null geodesics all asymptote to a single value of r=rtrap which is near 3M, independent of frequency. As a result, there is no need for frequency-localised analysis and the whole argument can be expressed entirely in physical space. This is convenient for non-linear applications. We shall explain how this simplified argument can be explicitly read off from our paper in Sect. 9.6.

Final Remarks

Given the analogue of [104] for s=±2, the argument can in principle be applied for the whole subextremal range |a|<M following the continuity argument of [45], but in the present paper we shall only consider the case |a|M, where the lower order terms also have a useful smallness factor bounded by a, and the relevant multiplier currents can thus be constructed as perturbations of Schwarzschild. The general case will be considered in part II of this series, following the more general constructions of [45].

There are other generalisations of P[±2] to Kerr which have been considered previously in the literature, see [21, 102] and the recent review [57]. In contrast to our situation, the quantities of [21, 102] do indeed satisfy decoupled equations, though the transformations must now be defined in phase space, and the transformed potentials are somewhat non-standard in their frequency dependence. It would be interesting to find an alternative argument using these transformations. We hope to emphasise with our method, however, that exact decoupling is not absolutely necessary for quantities to be useful.

Other Related Results

We collect other related recent results concerning the stability of black holes. The literature has already become vast so the list below is in no way exhaustive. See also the surveys [42, 43].

Metric Perturbations

An alternative approach to linear stability in the Schwarzschild case would go through the theory of so-called metric perturbations. See for instance [60, 71] for estimates on the additional Zerilli equation which must be understood in that approach. We note the paper [35].

Canonical Energy

As discussed above, one of the difficulties in understanding linearised gravity is the lack of an obvious coercive energy quantity for the full system, even in the a=0 case. The Lagrangian structure of the Einstein equations (1) does give rise however to a notion of canonical energy, albeit somewhat non-standard in view of diffeomorphism invariance, and this can indeed be used to infer certain weak stability statements. For some recent results which have been obtained using this approach, see [69, 97] and the related [64].

Precise Power-Law Asymptotics

Though one expects that the decay bounds obtained here are in principle sufficient for non-linear applications, it is of considerable interest for a wide range of problems to obtain sharp asymptotics of solutions, of the type first suggested by [96]. For upper bounds on decay compatible with some of the asymptotics of [96], see [47, 90, 91]. Lower bounds were first obtained in [76]. The most satisfying results are the sharp asymptotics recently obtained by [1, 2] for the s=0, a=0 case. Such results in particular have applications to the interior structure of black holes (see [76]).

Extremality and the Aretakis Instability

Whereas some stability results for s=0 carry over to the extremal case |a|=M, it turns out that, already in axisymmetry [7], the transversal derivatives along the horizon grow polynomially [7, 8]. This phenomenon is now known as the Aretakis instability. The Aretakis instability has been shown to hold also in the case s=±2 by [77]. Understanding the non-axisymmetric case is completely open; see [5] for some of the additional new phenomena that arise.

Nonlinear Model Problems and Stability Under Symmetry

Though nonlinear stability of both Schwarzschild and Kerr is still open, various model problems have been considered which address some of the specific technical difficulties expected to occur.

Issues connected to the handling of decay for quadratic nonlinearities in derivatives are addressed in the models considered in [79, 80]. The Maxwell–Born–Infeld equations on Schwarzschild were recently considered in [95]. This latter system, of independent interest in the context of high energy physics, can be thought to capture at the same time aspects of both the quasilinear difficulties as well as the tensorial difficulties (at the level of s=±1) inherent in (1).

Turning to stability under symmetry, the literature is vast. For the Einstein–scalar field system under spherical symmetry, see [23, 36]. For the vacuum equations (1), [62] provides the first result on the non-linear stability of the Schwarzschild solution in symmetry, considering biaxial symmetry in 4+1-dimensions. This again reduces to a 1+1 problem. Beyond 1+1, some aspects of the vacuum stability problem in axisymmetry are captured in a wave-map model problem whose study was initiated by [70]. Very recently, Klainerman–Szeftel [74] have announced a proof of the non-linear stability of Schwarzschild in the polarised, axisymmetric case.

Analogues with Λ0

There are analogues of the questions addressed here when the Schwarzschild and Kerr solutions are replaced with the Schwarzschild–(anti) de Sitter metrics and Kerr–(anti) de Sitter metrics, which are solutions of (1) when a cosmological term Λgμν is added to the right hand side. These solutions are discussed in [20].

In the de Sitter case Λ>0, the analogous problem is to understand the stability of the spatially compact region bounded by the event and so-called cosmological horizons. Following various linear results [13, 37, 48, 59, 109] the full non-linear stability of this region has been obtained in remarkable work of Hintz–Vasy [67]. This de Sitter case is characterized by exponential decay, so many of the usual difficulties of the asymptotically flat case are not present. The stability of the “cosmological region” beyond the event horizon has been considered in [101].

The case of Λ<0 has been of considerable interest in the context of high energy physics. Already, pure AdS spacetime fails to be globally hyperbolic. In general, asymptotically AdS spacetimes have a timelike boundary at infinity where boundary conditions must be prescribed to obtained well-posed problems.

For reflective boundary conditions, the analogue of equation (2) on pure AdS space admits infinitely many periodic solutions. In view of this lack of decay in the reflective case, it is natural to conjecture instability at the non-linear level [29], once backreaction is taken into account.4 This nonlinear instability has indeed been seen in the seminal numerical study [15], which moreover sheds light on the relevance of resonant frequencies for calculating a time-scale for growth. Very recently, the full nonlinear instability of pure AdS space has been proven in the simplest model for which the problem can be studied [88], exploiting an alternative physical-space mechanism.

In the case of Kerr–AdS, one has logarithmic decay [65]—but in general no faster [66]—for the analogue of (2) with s=0, on account of the fact that trapped null geodesics, in contrast with the situation described in Sect. 1.1.2, are now stable. Again, these results may suggest instability at the non-linear level, as this slow rate of decay is in itself insufficient to control backreaction.

Scattering Theory

A related problem to that of proving boundedness and decay is developing a scattering theory for (2). Fixed frequency scattering theory for (2) is discussed in [22]. It was in fact the equality of the reflexion and transmission coefficients between the Teukolsky, Regge–Wheeler and Zerilli equations that first suggested the existence of Chandrasekhar’s transformations [22]. A definitive physical space scattering theory was developed in the Schwarzschild case in [32, 33] for s=0, see also [92], and was recently extended to the Kerr case in [44] for the full sub-extremal range of parameters |a|<M.

Turning to the fully non-linear theory of (1), a scattering construction of dynamic vacuum spacetimes settling down to Kerr was given in [30]. The free scattering data allowed in the latter were very restricted, however, as the radiation tail was required to decay exponentially in retarded time, and thus the spacetimes produced are measure zero in the set of small perturbations of Kerr relevant for the stability problem.

For scattering for the Maxwell equations, see [9]. For results in the Λ>0 case, see [56, 85] and references therein.

Stability and Instability of the Kerr Black Hole Interior

The conjectured non-linear stability of the Kerr family refers only to the exterior of the black hole region. Considerations in the black hole interior are of a completely different nature. The Schwarzschild case a=0 terminates at a spacelike singularity, whereas for the rotating Kerr case 0<|a|<M, the Cauchy development of two-ended data can be smoothly extended beyond a Cauchy horizon. The s=0 case of (2) in the Kerr interior (as well as the simpler Reissner–Nordström case) has been studied in [46, 50, 51, 58, 76, 78, 83, 84], and both C0-stability but also H1-instability have been obtained. See [54, 55] for the extremal case. In the full nonlinear theory, it has been proven that if the Kerr exterior stability conjecture is true, then the bifurcate Cauchy horizon is globally C0-stable [34]. This implies in particular that the C0 inextendibility formulation of “strong cosmic censorship” is false. See [24].

Note Added

Very recently, [82] gave a related approach to obtaining integrated local energy decay estimates for the Teukolsky equation in the |a|M case, following the frequency localisation framework of [40] and again based on proving estimates for Ψ defined by generalisations of the transformations used in [31].

Outline of the Paper

We end this introduction with an outline of the paper.

We begin in Sect. 2 by recalling the notation from [45] regarding the Kerr metric and presenting the Teukolsky equation in physical space for spin s=±2.

We then define in Sect. 3 our generalisations to Kerr of the quantities P[±2], the rescaled quantities Ψ[±2] and the intermediate quantities ψ[±2], as used in [31], and derive our generalisation of the Regge–Wheeler equation for Ψ[±2], now coupled to ψ[±2] and α[±2].

In Sect. 4 we shall define various energy quantities which will allow us in particular to formulate our definitive (non-degenerate) boundedness and decay results, stated as Theorem 4.1.

The first step in the proof of Theorem 4.1 is to obtain integrated local energy decay. In Sect. 5, we shall prove a conditional such estimate, using entirely physical space methods, for the coupled system satisfied by Ψ[±2], ψ[±2, and α[±2]. In view of the way this will be used, we must allow also inhomogeneous terms on the right hand side of the Teukolsky equation. We apply the physical space multiplier estimates and transport estimates and transport estimates directly from [31], except that these estimates must now be coupled. The resulting estimates (see the propositions of Sects. 5.1 and 5.2) contain on their right hand side an additional timelike boundary term on r=A1 and r=A2 for A1<3M<A2. To control these terms, we will have to frequency localise the estimates in the region r[A1,A2]. We also give certain auxiliary physical space estimates for the homogeneous Teukolsky equation and its derived quantities (Sect. 5.3).

The next three sections will thus concern frequency localisation. Sect. 6 will interpret Teukolsky’s separation of (2) for spin s=±2 in a framework generalising that introduced in [45] for the s=0 case. In Sect. 7, we define the frequency localised versions of P[±2] and derive the coupled system of ordinary differential equations satisfied by the P[±2] and α[±2]. In Sect. 8 we then obtain estimates for this coupled system of ODE’s in the region r[A1,A2]. The main statement is summarised as Theorem 8.1 and can be thought of as a fixed frequency version of the propositions of Sects. 5.15.2, now valid in r[A1,A2]. The estimate is again conditional on controlling boundary terms, but the energy currents will have been chosen so that the most difficult of these, when formally summed, exactly cancel those appearing in the proposition of Sect. 5.1.

In Sect. 9, we shall turn in ernest to the study of the Cauchy problem for (2) to obtain a preliminary degenerate energy boundedness and integrated local energy decay estimate in physical space. This is stated as Theorem 9.1. To obtain this, we cut off our solution of (2) in the future so as to allow for frequency localisation in r[A1,A2]. This allows us to apply Theorem 8.1 and sum over frequencies. We apply also the propositions of Sects. 5.15.2 to the cutoff-solution and sum the estimates. The cutoff generates an inhomogeneous term which is however only supported in a compact spacetime region. By revisiting suitable estimates, the cutoff term can then be estimated exploiting the smallness of a, following [40]. (We note that the fact that these cutoffs are here supported in a fixed, finite region of r leads to various simplifications.) We distill a simpler purely physical-space proof for the axisymmetric case in Sect. 9.6.

The final sections will complete the proof of Theorem 4.1 from Theorem 9.1, by first applying red-shift estimates of [39] to obtain non-degenerate control at the horizon (Sect. 10) and then the rp-weighted energy hierarchy of [38] (Sect. 11). This part follows closely the analogous estimates in the Schwarzschild case [31].

Some auxilliary computations are relegated to Appendix A and B.

The Teukolsky Equation on Kerr Exterior Spacetimes

We recall in this section the Teukolsky equation on Kerr spacetimes.

We begin in Sect. 2.1 with a review of the Kerr metric. We then present the Teukolsky equation on Kerr in Sect. 2.2, focussing on the case s=±2. This will allows us to state a general well-posedness statement in Sect. 2.3. Finally, in Sect. 2.4 we shall recall the relation of the s=±2 Teukolsky equation with the system of gravitational perturbations around Kerr.

The Kerr Metric

We review here the Kerr metric and associated structures, following the notation of [45].

Coordinates and Vector Fields

For each |a|<M, recall that the Kerr metric in Boyer–Lindquist coordinates (r,t,θ,ϕ) takes the form

ga,M=-Δρ2(dt-asin2θdϕ)2+ρ2Δdr2+ρ2dθ2+sin2θρ2(adt-(r2+a2)dϕ)2, 17

where

r±=M±M2-a2,Δ=(r-r+)(r-r-),ρ2=r2+a2cos2θ. 18

We recall from [45] the fixed ambient manifold-with-boundary R, diffeomorphic to R+×R×S2 and the coordinates (r,t,θ,ϕ) on R known as Kerr star coordinates.

We recall the relations

t(t,r)=t-t¯(r),phi(ϕ,r)=ϕ-ϕ¯(r)mod2π,θ=θ

relating Boyer–Lindquist and Kerr star coordinates. We do not need here the explicit form of t¯(r) and ϕ¯(r); see [45], Section 2.1.3 but remark that they both vanish for r9/4M. When expressed in Kerr star coordinates, the metric (17) (defined a priori only in the interior of R) extends to a smooth metric on R, i.e. it extends smoothly to the event horizon H+ defined as the boundary R={r=r+}.

It is easy to see that the coordinate vector fields T=t and Φ=ϕ of the fixed coordinate system coincide for all a, M with the coordinate vector fields t and ϕ of Boyer–Lindquist coordinates, which are Killing for the metric (17). We recall that T is spacelike in the so-called ergoregion S={Δ-a2sin2θ<0}. Setting

ω+a2Mr+,

we recall that the Killing field

K=T+ω+Φ

is null on the horizon H+ and is timelike in {r+<r<r++RK} for some RK=RK(a0,M) where RK as a00.

An additional important coordinate will be r defined to be a function r(r) such that

drdr=r2+a2Δ 19

and centred as in [45] so that r(3M)=0. Note that r- as rr+, while r as r. Given a parameter R thought of as an r-value, we will often denote r(R) by R.

The vector fields

L=r+T+ar2+a2Φ,L_=-r+T+ar2+a2Φ, 20

where r is defined with respect to (r,t,θ,ϕ) coordinates, define principal null directions. We have the normalisation

g(L,L_)=-2Δρ2(r2+a2)2.

The vector field L extends smoothly to H+ to be parallel to the null generator, while L_ extends smoothly to H+ so as to vanish identically. The quantity Δ-1L_ has a smooth nontrivial limit on H+. The vector fields L and L_ are again T-(and Φ-)invariant.

Foliations and the Volume Form

For all values τR, we recall that the hypersurfaces Στ={t=τ} are spacelike (see [45], Section 2.2.5). We will denote the unit future normal of Στ by nΣτ. We recall the notation

R0={t0},R(0,τ)={0tτ},H0+=R0H+,H(0,τ)+=R(0,τ)H+.

For polynomial decay following the method of [38, 87], we will also require hypersurfaces Σ~τ which connect the event horizon and null infinity. For this we fix some 0<η<1 and define the coordinate

t~=t-ξrr+2M2Mrη-Rη-2M2MRηη-M 21

where ξ is a smooth cut-off function equal to zero for rRη and equal to 1 for rRη+M. It is straightforward if tedious to show that for Rη sufficiently large (and a suitably chosen function ξ) the hypersurfaces Σ~τ defined by

Σ~τ:={t~=τ} 22

are smooth and spacelike everywhere, in fact cηr-η-1-gt~,t~Cηr-η-1 indicating that the hypersurfaces become asymptotically null near infinity. We take this Rη as fixed from now on.

We will in fact use coordinates t~,r,θ,ϕ and perform estimates in the spacetime regions

R~(τ1,τ2)={τ1t~τ2},R~0={t~0}.

See Fig. 1.

Fig. 1.

Fig. 1

The region R~(τ1,τ2)

We compute the volume form in the different coordinate systems (recalling that the r and θ coordinates are common to all coordinate systems, so ρ2=r2+a2cos2θ is unambiguously defined)

dV=ρ2dtdrsinθdθdϕ=ρ2Δr2+a2dtdrsinθdθdϕ=ρ2dtdrsinθdθdϕ=ρ2dt~drsinθdθdϕ. 23

We will often use the notation

dσ=sinθdθdϕ.

Denoting the (timelike) unit normal to the hypersurfaces (22) by nΣ~τ we compute in coordinates r,t~,θ,ϕ

gΣ~τgr2+a2ΔL_,nΣ~τ=vr,θρ2sinθandgΣ~τgL,nΣ~τ=vr,θ1r1+ηρ2sinθ 24

for a function v with C-1vC. In particular, the volume element on slices of constant t~=τ satisfies

dVΣ~τ=gΣ~τdrdθdϕ=vr,θr2r-1+η2drdσ

for a (potentially different) function v with C-1vC.

For future reference we note that, again in coordinates r,t~,θ,ϕ, we have on the null hypersurfaces corresponding to the horizon and null infinity respectively the relations

gH+gr2+a2ΔL_,L=vr,θsinθandgI+gL,L_=vr,θρ2sinθ, 25

where the volume forms are understood to be themselves normalised by L and L_, respectively. The above will be the expressions that arise in the context of the divergence theorem.

Finally, we note the covariant identities

a1ρ2r2+a2ΔL_a=0anda1ρ2r2+a2ΔLa=0, 26

which are most easily checked in Boyer–Lindquist coordinates.

The Very Slowly Rotating Case |a|<a0M

In the present paper, we will restrict to the very slowly rotating case. This will allow us to exploit certain simplifications which arise from closeness to Schwarzschild.

Recall that the hypersurface r=3M in Schwarzschild is known as the photon sphere and corresponds to the set where integrated local energy decay estimates necessarily degenerate. In the case |a|<a0M the trapping is localised near r=3M while the ergoregion S is localised near r=2M. See the general discussion in [43]. Let us quantify this below by fixing certain parameters.

We will fix parameters A1<3M<A2 sufficiently close to 3M. We note already that for sufficiently small |a|<a0M, then all future trapped null geodesics will asymptote to an r value contained in r[A1,A2]. (We shall not use this fact directly, but rather, a related property concerning the maximum of a potential function associated to the separated wave equation. See already Lemma 8.2.1.)

We moreover can choose a0 small enough so that in addition, RK>A1 and so that the ergoregion satisfies S{r<4A1}.

Fixing a cutoff function χ(r) which is equal to 1 for r4A1 and 0 for r2A1 we define the vector field T+ω+χΦ. We note that by our arrangement, this vector field is now timelike for all r>r+, Killing outside {4A1<r<2A1}, null on H+, and equal to T on {rA1}.

Finally, let us note that, if A1 is sufficiently small, then restricting to small a0, we have that t=t for r2A1 for all |a|<a0.

We note in particular

t=t=t~intheregion2A1r2A2.

Parameters and Conventions

This paper will rely on fixing a number of parameters which will appear in the proof. We have just discussed the parameters η and

A1<3M<A2

which have already been fixed.

We will also introduce fixed parameters

δ1,δ2,δ3,E

which will be connected to adding multiplier constructions on Schwarzschild, as well as parameters C, c, C delimiting frequency ranges. In particular, eventually, these can be all thought of as fixed in terms of M alone.

We will introduce an additional smallness parameter ε associated to the cutoffs in time. (This notation is retained from our [40].) Again, eventually, this will be fixed depending only on M.

Finally, we will exploit the slowly rotating assumption by employing a0 as a smallness parameter, which will only be fixed at the end of the proof.

We introduce the following conventions regarding inequalities. For non-negative quantities E1 and E2, by

E1E2

we mean that there exists a constant C=C(M)>0, depending only on M, such that

E1C(M)E2.

We will sometimes use the notation

E1Q+E2

where Q is not necessarily a non-negative quantity. In this context, this will mean that there exist constants c(M), C(M) such that

cE1Q+CE2.

Note that two inequalities of the above form can be added when the terms Q are identical.

Before certain parameters are fixed, say δ1, we will use the notation δ1 to denote the additional dependence on δ1 of the constant C(M,δ1) appearing in various inequalities. Only when the parameter is definitively fixed in terms of M, can δ1 be replaced by .

On the other hand, in the context of the restriction to a0M, which will appear ubiquitously, the constant implicit in may depend on all parameters yet to be fixed. This will not cause confusion because restriction to smaller a will always be favourable in every estimate.

The Teukolsky Equation for Spin Weighted Complex Functions

In this section we present the Teukolsky equation on Kerr.

We first review in Sect. 2.2.1 the notion of spin s-weighted complex functions and discuss some elementary properties of the spin s-weighted Laplacian in Sect. 2.2.2. We then recall in Sect. 2.2.3 the classical form of the Teukolsky operator for general spin. Finally, specialising to s=±2 we derive in Sect. 2.2.4 rescaled quantities which satisfy an equation regular also on the horizon. It is in this form that we will be able to state well-posedness in the section that follows.

Spin s-Weighted Complex Functions on S2 and R

The Teukolsky equation will concern functions whose (θ,ϕ) (or equivalently (θ,ϕ)) dependence is that of a spin s-weighted function, for s12Z. We will always represent such functions as usual functions α(r,t,θ,ϕ).

Smooth spin s-weighted functions on S2 naturally arise, in a one-to-one fashion, from complex-valued functions on S3 (viewed as the Hopf bundle) which transform in a particular way under the group action on the S1 fibres of S3, as will be described now. (Note that this is indeed natural as S3 can be identified with the bundle of orthonormal frames on S2, and the definition of the Teukolsky null curvature components indeed depends on a choice of frame on S2. See Sect. 2.4.)

Viewing S3 as the Hopf bundle we have a U(1) action on the S1 fibres (corresponding to a rotation of the orthonormal frame in the tangent space of S2). Introducing Euler coordinates5 θ,ϕ,ρ on S3 we denote this action by eiρ. Now any smooth function F:S3C which transforms as Fpeiρ=e-iρsFp for pS3 descends to a spin-weighted function on S2 (by choosing a frame at each point). More precisely, F descends to a section of a complex line bundle over S2 denoted traditionally by B(R). See [11, 27].

Let Z1,Z2,Z3 be a basis of right invariant vector fields constituting a global orthonormal frame on S3. In Euler coordinates we have the representation

Z1=-sinϕθ+cosϕcscθρ-cotθϕ,Z2=-cosϕθ-sinϕcscθρ-cotθϕ,Z3=ϕ. 27

A complex-valued function F of the Euler coordinates θ,ϕ,ρ is smooth on S3 if for any k1,k2,k3N{0} the functions Z1k1Z2k2Z3k3F are smooth functions of the Euler coordinates and extend continuously to the poles of the coordinate system at θ=0 and θ=π.

Since spin s-weighted functions on S2 arise from smooth functions on S3 as discussed above, there is a natural notion of the space of smooth spin s-weighted functions on S2: A complex-valued function f of the coordinates (θ,ϕ) is called a smooth spin s-weighted function on S2 if for any k1,k2,k3N{0} the functions (Z~1)k1(Z~2)k2(Z~3)k3f are smooth functions away from the poles and such that eisϕ(Z~1)k1(Z~2)k2(Z~3)k3f extends continuously to the north (θ=0) pole and e-isϕ(Z~1)k1(Z~2)k2(Z~3)k3f extends continuously to the south (θ=π) pole of the coordinate system, where

Z~1=-sinϕθ+cosϕ-iscscθ-cotθϕ,Z~2=-cosϕθ-sinϕ-iscscθ-cotθϕ,Z~3=ϕ. 28

The space of smooth spin s-weighted functions on S2 is denoted S[s]. Note that considered as usual functions on S2, elements of S[s] are in general not regular at θ=0.

We define the Sobolev space of smooth spin s-weighted functions on S2, denoted [s]Hm(sinθdθdϕ) as the completion of S[s] with respect to the norm.

f[s]Hm(sinθdθdϕ)2=i=0mk1+k2+k3=iS2|(Z~1)k1(Z~2)k2(Z~3)k3f|2sinθdθdϕ.

Note that the space S[s] is dense in L2(sinθdθdϕ).

We now define the analogous notions for functions f of the spacetime coordinates t,r,θ,ϕ.

We define a smooth complex-valued spin s-weighted function f on R to be a function f:-,×2M,×0,π×0,2π which is smooth in the sense that for any k1,k2,k3,k4,k5N{0} the functions

(Z~1)k1(Z~2)k2(Z~3)k3tk4rk5f

are smooth functions away from the poles and such that eisϕ((Z~1)k1(Z~2)k2(Z~3)k3tk4rk5f extends continuously to the north (θ=0) pole and e-isϕ(Z~1)k1(Z~2)k2(Z~3)k3tk4rk5f extends continuously to the south (θ=π) pole. In particular, the restriction of f to fixed values of t,r is a smooth spin s-weighted function on S2. We denote the space of smooth complex-valued spin s-weighted functions on R by S[s](R).

We similarly define a smooth complex-valued spin s-weighted function f on a slice Στ to be a function f:2M,×0,π×0,2π which is smooth in the sense that for any k1,k2,k3,k4N{0} the functions

(Z~1)k1(Z~2)k2(Z~3)k3rk4f

are smooth functions away from the poles and such that e±isϕ(Z~1)k1(Z~2)k2(Z~3)k3rk4f extends continuously to θ=0 and θ=π respectively. The space of such functions is denoted S[s](Στ). The Sobolev space [s]Hm(Στ) is defined as the completion of S[s](Στ) with respect to the norm

f[s]Hm(Στ)2=i=0mk1+k2+k3+k4=iΣτdVΣτ|(Z~1)k1(Z~2)k2(Z~3)k3rk4f|2.

If U is an open subset of Στ we can define S[s](U) and [s]Hm(U) in the obvious way. This allows to define the space [s]HlocmΣτ as the space of functions on Στ such that the restriction to any UΣτ (meaning that there is a compact set K with UKΣτ) is in [s]HmU.

We finally note that we can analogously define these spaces for the slices Σ~τ, i.e. define the spaces

S[s](Σ~τ),[s]Hm(Σ~τ),[s]Hlocm(Σ~τ).

The Spin s-Weighted Laplacian

Let us note that the operator defined in the introduction,

graphic file with name 40818_2018_58_Equ29_HTML.gif 29

is a smooth operator on S[s]. Indeed, a computation yields Inline graphic. Note also the formula i=13|Z~iΞ|2=|θΞ|2+1sin2θ|isΞcosθ+ϕΞ|2+s2|Ξ|2.

The eigenfunctions of Inline graphic are again in S[s] and are known as s-spin weighted spherical harmonics. We shall discuss these (and their twisted analogues) further in Sect. 6.2.1.

An integration by parts yields for ΞS[s]

graphic file with name 40818_2018_58_Equ30_HTML.gif 30

where the right hand side is manifestly non-negative.6 Introducing the spinorial gradient

graphic file with name 40818_2018_58_Equ436_HTML.gif

and defining

graphic file with name 40818_2018_58_Equ31_HTML.gif 31

we also have

graphic file with name 40818_2018_58_Equ32_HTML.gif 32

We note that for Ξ,ΠS[s]

graphic file with name 40818_2018_58_Equ33_HTML.gif 33

Directly from (30) and (32) we deduce the Poincaré inequality

graphic file with name 40818_2018_58_Equ34_HTML.gif 34

Combining (32) and (34) we also deduce

graphic file with name 40818_2018_58_Equ35_HTML.gif 35

The Teukolsky Operator for General Spin s

Recall that the operator

T[s]α[s]=gα[s]+2sρ2(r-M)rα[s]+2sρ2a(r-M)Δ+icosθsin2θϕα[s]+2sρ2M(r2-a2)Δ-r-iacosθtα[s]+1ρ2(s-s2cot2θ)α[s] 36

is the traditional representation (see for instance [99]) of the Teukolsky operator with spin s12Z. In view of the comments above, this operator is smooth on S[s](R\H+). We will say that such an α[s]S[s](R\H+) satisfies the Teukolsky equation if the following holds:

T[s]α[s]=0. 37

The operator (37) is not smooth on S[s](R) itself. This is because it has been derived with respect to a choice of frame which degenerates at the horizon. See Sect. 2.4. To obtain a regular equation at the horizon, we must considered rescaled quantities. We turn to this now.

Rescaled Equations

To understand regularity issues at the horizon we must consider rescaled quantities. We will restrict here to s=±2.

Define

α~[+2]=Δ2(r2+a2)-32α[+2],α~[-2]=Δ-2(r2+a2)-32α[-2]. 38

Define now the modified Teukolsky operator T~[s] by the relation

graphic file with name 40818_2018_58_Equ39_HTML.gif 39

with Inline graphic denoting the spin ±2 weighted Laplacian on the round sphere defined in (29) and with the first order term t[s] given by

t[+2]=-2wwL_-8awrr2+a2Φandt[-2]=+2wwL+8awrr2+a2Φwherew:=Δr2+a22. 40

One sees that (37) for s=+2 can be rewritten as

T~[+2]α~[+2]=0. 41

On the other hand, we observe that T~[+2] now is a smooth operator on S[s](R) and that its second order part is hyperbolic, in fact, it is exactly equal to -g.

Similarly, we see that (37) for s=-2 can be rewritten as

T~[-2]Δ2α~[-2]=0, 42

which in turn can be rewritten as

T~[-2]-2ρ2ΔwwL+taux[-2]α~[-2]=0, 43

where

taux[-2]=ρ2Δ-4r2+a2(r2+a2)L+2ΔΔL_-2ΔΔ+8r2+a2(r2+a2)ΔΔ

is a first order operator acting smoothly on S[s](R). Now we observe that T~[-2]-2ρ2ΔwwL also acts smoothly on S[s](R) and that its second order part is exactly equal to -g. This will allow us to state a well-posedness proposition in the section to follow.

Remark 2.1

The weights in (38) for α~[+2] will be useful for the global analysis of the equation, whereas the weights for α~[-2] will only be useful for the well-posedness below. For this reason, we shall define later (see Sect. 6.2.5) the different rescaled quantities u[±2]=Δ±1r2+a2α[±2], and deal mostly with the further rescaled quantities u[±2]·w. Note that

u[+2]·w=α~[+2],butu[-2]·w=(r2+a2)-32α[-2].

The first quantity is finite (and generically non-zero) on the horizon H+ while the second quantity is finite (and generically non-zero) on null infinity I+ which makes them useful in the global considerations below. Note also that both quantities satisfy the simple equations (41) and (42) respectively.

Well-posedness

Standard theory yields that the Teukolsky equation in the form (41), (43) is well-posed on R0 or R~0 with initial data (α~0[s],α~1[s]) defined on Σ0 in [s]Hlocj(Σ0)×[s]Hlocj-1(Σ0), resp. with Σ~0 replacing Σ0. We state this as a proposition for reference:

Proposition 2.3.1

(Well-posedness) For s=±2, let (α~0[s],α~1[s])[s]Hlocj(Σ0)×[s]Hlocj-1(Σ0) be complex valued spin weighted functions with j1. Then there exists a unique complex valued α~[s] on R0 satisfying (41) (equivalently α[s] satisfying (37)) with α~[s][s]Hlocj(Στ), nΣτα~[s][s]Hlocj-1(Στ) such that α~[s]|Σ0=α~0[s], (nΣ0α~[s])|Σ0=α1[s]. In particular, if (α~0[s],α~1[s])S[s](Σ0) then α~[s]S[s](R0).

The same statement holds with Σ~0, Σ~τ, R~0 in place of Σ0, Στ, R0, respectively.

Proof

cf. Proposition 4.5.1 of [40].

Relation with the System of Gravitational Perturbations

The Teukolsky equation (2) is traditionally derived via the Newman–Penrose formalism [93]. One defines the (complex) null tetrad ,n,m,m¯ by

l=r2+a2ΔL,n=r2+a22ρ2L_,m=12(r+iacosθ)iasinθt+θ+isinθϕ, 44

which is normalised such that

gl,n=-1,gm,m¯=1,gm,m=gm¯,m¯=0.

Note that we can obtain an associated real spacetime null frame ,n,e1,e2 by defining e1=12m+m¯ and e2=12im-m¯, which then satisfies in particular ge1,e1=ge2,e2=1 and ge1,e2=0.

The extremal Newman–Penrose curvature scalars are defined as the following components of the spacetime Weyl tensor7

Ψ0=-Wl,m,l,m,Ψ4=-Wn,m¯,n,m¯. 45

Both Ψ0 and Ψ4 vanish for the exact Kerr metric. Remarkably, upon linearising the Einstein vacuum equations (1) (using the above frame) the linearised components Ψ0 and Ψ4 are gauge invariant (with respect to infinitesimal changes of both the frame and the coordinates) and moreover satisfy decoupled equations. Indeed, one may check that α[-2]=r-iacosθ4Ψ4 and α[+2]=Ψ0 satisfy precisely the Teukolsky equation (2) for s=-2 and s=2 respectively.

Instead of defining spin s-weighted complex functions Ψ0, Ψ4 one may (equivalently) define symmetric traceless 2-tensors α and α_ (living in an appropriate bundle of horizontal tensors) by

αeA,eB=WL,eA,L,eB,α_eA,eB=WL_,eA,L_,eB.

Using the symmetry and the trace properties of the Weyl tensor we derive the relations

α_e1,e1=-α_e2,e2=-122ρ2r2+a22Ψ4+Ψ4¯

and

α_e1,e2=α_e2,e1=+12i2ρ2r2+a22Ψ4-Ψ4¯,

which relate the spin 2-weighted complex function and the tensorial version of the curvature components. Of course similar formulae are easily derived for α.

We can now connect directly to our previous [31] where we wrote down the Teukolsky equation for the symmetric traceless tensors α and α_ in the Schwarzschild spacetime.

As a final remark we note that in the Schwarzschild case considered in [31] the null frame used to define the extremal Weyl components arose directly from a double null foliation of the spacetime. In stark contrast, the algebraically special null frame l,n,e1,e2 in Kerr for a0 does not arise from a double null foliation of that spacetime.

Generalised Chandrasekhar Transformations for s=±2

In this section, we generalise the physical space reformulations of Chandrasekhar’s transformations, given in [31], to Kerr.

In accordance with the conventions of our present paper, we will consider complex scalar spin ±2 weighted quantities α[±2] in place of the tensorial ones of [31]. We begin in Sect. 3.1 with the definitions of the quantities P[±2] associated to quantities α[±2]. If α[±2] satisfy the (inhomogeneous) Teukolsky equation, then we show in Sect. 3.2 that P[±2] will satisfy an (inhomogeneous) Regge–Wheeler type equation, coupled to α[±2]. The latter coupling vanishes in the Schwarzschild case. The precise relation with the tensorial definitions of [31] will be given in Sect. 3.3.

The Definitions of P[±2],Ψ[±2] and ψ[±2]

Given functions α[±2], we define

P[+2]=-(r2+a2)1/22ΔL_μμ(r2+a2)2ΔL_μμΔ2r2+a2-32α[+2], 46
P[-2]=-(r2+a2)1/22ΔLμμ(r2+a2)2ΔLμμr2+a2-32α[-2]. 47

These are our physical-space generalisations to Kerr of Chandrasekhar’s fixed frequency Schwarzschild transformation theory.

Note that if α~[±2]S[±2](U) for UR, then P[±2]S[±2](U). We will typically work with the rescaled functions

Ψ[±2]=(r2+a2)32P[±2], 48

which are of course again smooth.

As in [31], it will be again useful to give a name to the intermediate quantities ψ[±2] defined by

ψ[+2]=-12Δ-32r2+a2+2L_μμ(Δ2r2+a2-32α[+2]) 49
ψ[-2]=+12Δ-32(r2+a2)2Lμμα[-2](r2+a2)-32. 50

We can rewrite (46)–(47) as

L_μμΔψ[+2]=Δ(r2+a2)-2Ψ[+2], 51
Lμμ(Δψ[-2])=-Δ(r2+a2)-2Ψ[-2]. 52

Note that for α~[±2] smooth, it is the quantities Δψ[+2], (Δ)-1ψ[-2] which are smooth.

The Generalised Inhomogeneous Regge–Wheeler-Type Equation with Error

The importance of the quantities Ψ[±2] arises from the following fundamental proposition:

Proposition 3.2.1

If α[±2] satisfy the inhomogeneous equations

T~[+2]α~[+2]=F[+2]andT~[-2]Δ2α~[-2]=Δ2F[-2] 53

then the quantities Ψ[±2] satisfy the equation

R[±2]Ψ[±2]=-ρ2ΔJ[±2]-ρ2ΔG[±2] 54

where

graphic file with name 40818_2018_58_Equ55_HTML.gif 55
graphic file with name 40818_2018_58_Equ56_HTML.gif 56

and

J[-2]=Δr2+a228r2-8a2r2+a2aΦ-20a2r3-3Mr2+ra2+Ma2r2+a22Δψ[-2]+a2Δr2+a22+12rr2+a2aΦ+3r4-a4+10Mr3-6Ma2r(r2+a2)2×α[-2]r2+a2-32, 57
G[-2]=12Lr2+a22ΔLΔ3wρ2F[-2]. 58

Proof

Direct calculation. See Appendix.

We will call the operator R[s] defined by (55) the generalised Regge–Wheeler operator. We note that it has smooth coefficients on R0 and its highest order part is proportional to the wave operator. The equation (54) reduces to the usual Regge–Wheeler equation in the case a=0:

Corollary 3.1

If a=0 and F[±2]=0 then Ψ[±2] satisfies the Regge–Wheeler equation

graphic file with name 40818_2018_58_Equ59_HTML.gif 59

where Ω2=1-2Mr.

As discussed already in the introduction, we see that (54), although still coupled to α[±2], retains some of the good structure of (59). The operator (54) has a good divergence structure admitting estimates via integration by parts, i.e. it does not have the problematic first order terms of the Teukolsky operator T~[±2], cf. (39). See already the divergence identities of Sect. 5.1.1. Moreover, the terms J[+2] can be thought of as lower order, from the perspective of Ψ[±2], as they only involve up to second derivatives of α[±2] (via the term Φ(Δψ[±2])).

Relation with the Quantities P and P_ of [31]

As with the tensorial quantities α and α_ discussed in Sect. 2.4, in [31] the transformations to the quantities P and P_ (corresponding to the complex functions P[+2], P[-2] in this paper) were again given tensorially. In particular, the Regge–Wheeler equation for the symmetric traceless tensor Ψ=r5P was written tensorially using projected covariant derivatives as (cf. Corollary 7.1 of [31])

graphic file with name 40818_2018_58_Equ60_HTML.gif 60

where Inline graphic and Inline graphic are projected (to the spheres of symmetry) covariant derivatives in the null directions, Inline graphic is the covariant Laplacian associated with the metric on the spheres of symmetry acting on symmetric traceless tensors and Ω2=1-2Mr. Note that unlike the operator Inline graphic considered in this paper, the operator Inline graphic was defined as a negative operator in [31].

Computing the equation satisfied by the components of Ψ in the standard orthonormal frame on the spheres of symmetry one obtains

graphic file with name 40818_2018_58_Equ437_HTML.gif

from which one infers that the complex-valued functions Ψ[±2]=Ψ11iΨ12 satisfy the Regge–Wheeler equation (59) for s=±2.8

Energy Quantities and Statement of the Main Theorem

We first give certain definitions of weighted energy quantities in Sect. 4.1. This will allow us to give a precise statement of the main theorem of this paper (Theorem 4.1) in Sect. 4.2. We will finally discuss in Sect. 4.3 how the logic of the proof of Theorem 4.1 is represented by the sections that follow.

Definitions of Weighted Energies

We will define in this section a number of weighted energies. In addition to those appearing in the statement of Theorem 4.1, we will need to consider various auxiliary quantities.

The Left, Right and Trapped Subregions

We will in particular need to introduce energies localised to various subregions of Σ~τ and R~(τ1,τ2). In anticipation of this, let us define the following subregions

R~left(τ1,τ2)=R~(τ1,τ2){rA1},R~right(τ1,τ2)=R~(τ1,τ2){rA2},R~away(τ1,τ2)=R~left(τ1,τ2)R~right(τ1,τ2)R~trap(τ1,τ2)=R~(τ1,τ2){A1rA2}.

Note that

R~trap(τ1,τ2)R~away(τ1,τ2)=R~trap(τ1,τ2)R~left(τ1,τ2)R~right(τ1,τ2)=R~(τ1,τ2).

For Σ~τ, it will be more natural to consider

Σ~τleft=Σ~τ{rA1},Σ~τright=Σ~τ{rA2},Σ~τaway=Σ~τleftΣ~τright,

See Fig. 2.

Fig. 2.

Fig. 2

Partitioning R~(τ1,τ2) and Σ~τ

Weighted Energies for Ψ[±2]

The energies in this section will in general be applied to Ψ[±2] satisfying the inhomogeneous equation (54).

Let p be a free parameter (which will eventually always take the values 0,η,1 or 2). We define the following weighted energies on the slices Σ~τ

graphic file with name 40818_2018_58_Equ61_HTML.gif 61

We remark that an overbar indicates that the energy has optimised weights near the horizon.

We will also consider the following energy through Σ~τaway:

graphic file with name 40818_2018_58_Equ438_HTML.gif

On the event horizon H+ we define the energies

graphic file with name 40818_2018_58_Equ62_HTML.gif 62

On null infinity I+ we define the energies

graphic file with name 40818_2018_58_Equ439_HTML.gif

In addition to the energy fluxes, we will define the weighted spacetime energies

graphic file with name 40818_2018_58_Equ63_HTML.gif 63
graphic file with name 40818_2018_58_Equ64_HTML.gif 64

where δba is the Kronecker delta symbol and also the degenerate spacetime energies

graphic file with name 40818_2018_58_Equ65_HTML.gif 65

with χ~ a radial cut-off function equal to 1 in r(-,A1][A2,) and vanishing in rA1/4,A2/4. Finally, we shall define

graphic file with name 40818_2018_58_Equ440_HTML.gif

and

graphic file with name 40818_2018_58_Equ66_HTML.gif 66

Note that

IpdegΨ[±2](τ1,τ2)IpawayΨ[±2]τ1,τ2+Itrap[Ψ[±2]](τ1,τ2).

Weighted Energies for α[+2],ψ[+2]

The quantities in this section will in general be applied to α[+2], ψ[+2] arising from a solution α~[+2] of the inhomogeneous equation (53).

We define the following energy densities

epα[+2]=Γ{id,Φ}|Γα[+2]Δ2r2+a2-1|2r-δ2pηrp+|Tα[+2]Δ2r2+a2-1|2r2-η, 67
epψ[+2]=Γ{id,Φ}|Γψ[+2]Δ|2r-δ2pηrp+|Tψ[+2]Δ|2r2-η. 68

With these, we define the following weighted energies on the slices Σ~τ:

EΣ~τ,pα[+2]τ=Σ~τdrdσepα[+2],EΣ~τ,pψ[+2]τ=Σ~τdrdσepψ[+2]. 69
Remark 4.1

We remark already that while these energies contain the T and the Φ derivative only, we can obtain also the L and the L_ derivative if we control in addition the energy (61) of Ψ[+2]. This is because of the relations (107) and (108) and the relation L=-L_+2T+2ar2+a2Φ.

It will be useful to also consider separately

EΣ~τ,pleftα[+2]τ=Σ~τleftdrdσepα[+2],EΣ~τ,pleftψ[+2]τ=Σ~τleftdrdσepψ[+2], 70
EΣ~τ,prightα[+2]τ=Σ~τrightdrdσepα[+2],EΣ~τ,prightψ[+2]τ=Σ~τrightdrdσepψ[+2]. 71

We also use the notation EΣ~τ,paway for the sum of the left and the right energies. On (timelike) hypersurfaces of constant r=A>r+ we define

Er=Aα[+2]τ1,τ2=τ1τ2dτdσepα[+2]|r=A,Er=Aψ[+2]τ1,τ2=τ1τ2dτdσepψ[+2]|r=A. 72

In the limit rr+ we obtain the energies the event horizon H+ which we denote

EH+α[+2]τ1,τ2=τ1τ2dτdσepα[+2]|r=r+,EH+ψ[+2]τ1,τ2=τ1τ2dτdσepψ[+2]|r=r+. 73

We also define the following weighted spacetime energies

Ipα[+2]τ1,τ2=τ1τ2dτΣ~τdrdσ1repα[+2],Ipψ[+2]τ1,τ2=τ1τ2dτΣ~τdrdσ1repψ[+2].

As with the fluxes, it will be useful to also define

Ipleftα[+2]τ1,τ2=τ1τ2dτΣ~τleftdrdσ1repα[+2], 74
Ipleftψ[+2]τ1,τ2=τ1τ2dτΣ~τleftdrdσ1repψ[+2], 75
Iprightα[+2]τ1,τ2=τ1τ2dτΣ~τrightdrdσ1repα[+2], 76
Iprightψ[+2]τ1,τ2=τ1τ2dτΣ~τrightdrdσ1repψ[+2]. 77

Finally, we define

Itrapα[+2](τ1,τ2)=τ1τ2dτΣ~τtrapdrdσe0α[+2], 78
Itrapψ[+2](τ1,τ2)=τ1τ2dτΣ~τtrapdrdσe0ψ[+2]. 79

We note the relations

Ipα[+2]τ1,τ2Ipleftα[+2]τ1,τ2+Itrapα[+2](τ1,τ2)+Iprightα[+2]τ1,τ2. 80

Weighted Energies for α[-2],ψ[-2]

The quantities in this section will in general be applied to α[-2], ψ[-2] arising from a solution α~[-2] of the inhomogeneous equation (53).

We define the following weighted energies on the slices Σ~τ:9

EΣ~τα[-2]τ=Σ~τdrdσΓ{id,T,Φ}|Γr2+a2α[-2]Δ2|2r-1-η, 81
EΣ~τψ[-2]τ=Σ~τdrdσΓ{id,T,Φ}|Γψ[-2](r2+a2)Δ|2r-1-η. 82

We also define the energies

E¯Σ~τα[-2]τ,E¯Σ~τψ[-2]τ

by adding to the set Γ in the energies without the overbar the vectorfield r2+a2ΔL_. Hence an overbar again indicates that the energy has been improved near the horizon.

Remark 4.2

In analogy with Remark 4.1, note that in view of the relations (116) and (117) controlling the energies above and in addition the energy (61) allows one to control also the L derivative of α[-2] and ψ[-2]. Together these allow one to control the L_ derivative of α[-2] and ψ[-2] (without the Δ-1-weight near the horizon) in view of the relation L_=-L+2T+2ar2+a2Φ.

We define

EΣ~τleftα[-2],EΣ~τleftψ[+2],EΣ~τrightα[-2],EΣ~τrightψ[-2]],

by appropriately restricting the domain in (81)–(82), in analogy with the definitions (70)–(71).

On (timelike) hypersurfaces of constant r=A>r+ we define

Er=Aα[-2]τ1,τ2=τ1τ2dτdσΓ{id,T,Φ}|Γr2+a2α[-2]Δ2|2|r=A,Er=Aψ[-2]τ1,τ2=τ1τ2dτdσΓ{id,T,Φ}|Γψ[-2](r2+a2)Δ|2|r=A. 83

In the limit r we define on null infinity I+

EI+α[-2]τ1,τ2=τ1τ2dτdσΓ{id,T,Φ}|Γr2+a2α[-2]Δ2|2|r,EI+ψ[-2]τ1,τ2=τ1τ2dτdσΓ{id,T,Φ}|Γψ[-2](r2+a2)Δ|2|r. 84

We also define the following weighted spacetime energies

Iα[-2]τ1,τ2=τ1τ2dτΣ~τdrdσΓ{id,T,Φ}|Γr2+a2α[-2]Δ2|2r-1-η, 85
Iψ[-2]τ1,τ2=τ1τ2dτΣ~τdrdσΓ{id,T,Φ}|Γψ[-2](r2+a2)Δ|2r-1-η, 86

and the energies

I¯α[-2]τ1,τ2,I¯ψ[-2]τ1,τ2

by adding to the set Γ appearing in the definitions (85)–(86) the vectorfield r2+a2ΔL_. We define again

Ileftα[-2],Ileftψ[-2],Irightα[-2],Irightψ[-2],

by restricting the domain in (85)–(86), in analogy with (74)–(77). Finally, in analogy with (78)–(79), we define

Itrapα[-2],Itrapψ[-2] 87

and we note the [-2] version of (80).

Precise Statement of the Main Theorem: Theorem 4.1

We are now ready to give a precise version of the main theorem stated in Sect. 1.2:

Theorem 4.1

Let (α~0[±2],α~1[±2])[±2]Hlocj(Σ~0)×[±2]Hlocj-1(Σ~0) and α~[±2] be as in the well-posedness Proposition 2.3.1, and let α[±2], P[±2], Ψ[±2], ψ[±2] be as defined by (38), (46), (47), (48), (49) and (50). Then the following estimates hold:

  1. degenerate energy boundedness and integrated local energy decay as in Theorem 9.1

  2. red-shifted boundedness and integrated local energy decay as in Theorem 10.1

  3. the weighted rp hierarchy of estimates as in Propositions 11.2.1 and  11.2.2 (s=+2)

    as well as Propositions 11.3.1 and 11.3.2 (s=-2)

  4. polynomial decay of the energy as in Theorem 11.1.

For each statement, the Sobolev exponent j in the initial data norm is assumed large enough so that the quantities on the right hand sides of the corresponding estimates above are well defined.

Let us note that we can easily deduce from the above an alternative version where initial data is posed (and weighted norms given) on Σ0 instead of Σ~0. We suffice here with the remark that smooth, compactly supported initial data on Σ0 trivially give rise to initial data on Σ~0 satisfying the assumptions of the above theorem.

As an example of the pointwise estimates which follow immediately from the above theorem, let us note the following pointwise corollary (recall that 0<η<1 was fixed in Sect. 2.1.2):

Corollary 4.1

Let (α~0[±2],α~1[±2]) be smooth and of compact support. Then the solution α~ satisfies

|r3+η2α~[+2]|C|t~|-(2-η)/2,|r4α~[-2]|C|t~|-(2-η)/2

where C depends on an appropriate higher Sobolev weighted norm.

The above decay rates can be improved following [87].

Remark 4.3

Recall that the quantities α~[±2] are regular on the horizon and that near infinity r3+η2α~[+2]r5+η2α[+2]r5+η2Ψ0 and r4α~[-2]r-3α[-2]rΨ4, allowing direct comparison with the null-components of curvature in an orthonormal frame (see Sect. 2.4).

Remark 4.4

Note that, in view of Remark 4.3, one sees that the decay in r provided for Ψ0 by Corollary 4.1 is weaker than peeling, consistent with the fact that, just as in [26], our weighted energies do not in fact impose initially the validity of peeling. This is important since it has been shown that peeling does not hold for generic physically interesting data [25].

The Logic of the Proof

The remainder of the paper concerns the proof of Theorem 4.1.

Sections 58 are preliminary: Section 5 will prove an integrated energy estimate for Ψ[±2], ψ[±2] and α[±2] arising from general solutions to the inhomogeneous s=±2 Teukolsky equations (53) outside of the region r[A1,A2], with additional boundary terms on r=Ai, as well as certain auxiliary estimates (Sect. 5.3) for Ψ[±2], ψ[±2] and α[±2] arising from a solution of the homogeneous equation (37). Sects. 68 will concern so-called [A1,A2]-admissible solutions and will provide frequency-localised estimates in the region [A1,A2], again with boundary terms on r=Ai.

The proof proper of Theorem 4.1 commences in Sect. 9 where the degenerate integrated local energy decay and boundedness statements are proven (statement 1.), using the results of Sects. 59, applied to a particular solution Inline graphic of the inhomogeneous equation (53) which arises by cutting off a solution α of the homogeneous equation so that, when restricted to the r-range [A1,A2], Inline graphic is compactly supported in t[0,τfinal]. The estimate of statement 1. follows by appropriately summing the estimates of Sects. 5 and 8 applied to Inline graphic. We note already that when summing, the most dangerous boundary terms on r=Ai have been arranged to precisely cancel, while the error term arising from the inhomogeneous term on the right hand side of the equation of Inline graphic can easily be absorbed in view of its support properties and the auxiliary estimates of Sect. 5.3. Finally, in Sect. 9.6, we will distill from our argument a simpler, purely physical space proof of statement 1. for the axisymmetric case.

The degenerate boundedness and integrated local energy decay are combined with redshift estimates in Sect. 10 to obtain statement 2.

Finally, the weighted rp estimates are obtained in Sect. 11, giving statements 3.–4.

Conditional Physical Space Estimates

In this section, we will derive certain physical space estimates for Ψ[±2], ψ[±2], α[±2] defined above, arising from solutions α[±2] of the inhomogeneous version (53) of the Teukolsky equation.

We first apply in Sect. 5.1 multiplier estimates for solutions Ψ[±2] of the inhomogeneous equation (54) outside the region r[A1,A2]. Here, we use the good divergence structure of the generalised Regge–Wheeler operator. We then estimate in Sect. 5.2 the quantities ψ[±2] and α[±2] via transport estimates. Taken together, these should be viewed as providing a conditional estimate stating that an integrated energy expression for Ψ[±2], ψ[±2] and α[±2] can be controlled from initial data provided that boundary terms on r=Ai can be controlled. (To understand the latter boundary term, this estimate must be combined with that obtained in Sect. 8.)

Finally, we shall need some auxiliary physical space estimates (applied throughout R) for Ψ[±2], ψ[±2] and α[±2] arising from a solution of the homogeneous Teukolsky equation (37). These will be given in Sect. 5.3.

Let us note that we may always assume in what follows that any α~[±2] referred to is in S[±2](R~0).

Multiplier Estimates for Ψ[±2]

We will apply multiplier estimates for Ψ[±2]. The main result is

Proposition 5.1.1

Let α[±2] be as in Proposition 3.2.1, and ψ[±2], Ψ[±2] be as defined in (46), (47), (49), (50). Let δ1<1, δ2<1 and E>1 be parameters and let f0 be defined by (100) and y0 be defined by (101). Then for sufficiently small δ1 and δ2 and sufficiently large E, it follows that for sufficiently small |a|<a0M, then for any 0τ1τ2, we have

EΣ~τ,ηawayΨ[±2](τ2)+IηawayΨ[±2](τ1,τ2)δ1,δ2,EEΣ~τ,ηawayΨ[±2](τ1)+Haway[Ψ[±2]](τ1,τ2)+Qr=A2Ψ[±2](τ1,τ2)-Qr=A1Ψ[±2](τ1,τ2)+|a|I[η]leftψ[±2](τ1,τ2)+|a|I[η]rightψ[±2](τ1,τ2)+|a|I[η]leftα[±2](τ1,τ2)+|a|I[η]rightα[±2](τ1,τ2).

where Qr=Ai[Ψ[±2]](τ1,τ2) is defined by (103) and Haway[Ψ[±2]](τ1,τ2) is defined by (104). Moreover the subindex η on the right hand side is equal to η in case of s=+2 and it is dropped entirely in case s=-2.

We note already that the boundary terms Qr=A2Ψ[+2](τ1,τ2)-Qr=A1Ψ[+2](τ1,τ2) appearing above formally coincide with those of the fixed frequency identity to be obtained in Sect. 8.2. Thus these terms will cancel when all identities are summed in Sect. 9.

In what follows, our multiplier constructions will be identical for Ψ[+2] and Ψ[-2]. We will thus denote these simply as Ψ. The spin weight will be explicitly denoted however for the terms arising from the right hand side of (54).

Multiplier Identities

The proof of Proposition 5.1.1 will rely on various multiplier identities for (54). These are analogous for standard multiplier estimates proven for solutions of the scalar wave equation and in particular generalise specific estimates which have been proven for the Regge–Wheeler equation (60) on Schwarzschild in [31].

The T+ω+χΦ identity.

Multiplying (54) by T+ω+χΦΨ¯ (recall χ was fixed in Sect. 2.1.3) and taking the real part leads to (use the formulae of Appendix B.1 and B.3 and (289))

L+L_{FL+L_T+ω+χΦ}+L-L_{FL-L_T+ω+χΦ}+IT+ω+χΦRe-T+ω+χΦΨ¯J[s]+G[s] 88

where denotes equality after integration with respect to the measure sinθdθdϕ and

graphic file with name 40818_2018_58_Equ89_HTML.gif 89

The y identity. Multiplying (54) by yL-L_Ψ¯ for a smooth radial function y and taking the real part produces (use the formulae of Appendix B.4)

L+L_{FL+L_y}+L-L_{FL-L_y}+IyReJ[s]+G[s]-yL-L_Ψ¯ 90

where denotes equality after integration with respect to the measure sinθdθdϕ and

graphic file with name 40818_2018_58_Equ91_HTML.gif 91

The h identity. Multiplying (54) by hΨ¯ for a smooth radial function h and taking real parts leads to (use the formulae of Appendix B.2)

L+L_{FL+L_h}+L-L_{FL-L_h}+IhRe-J[s]+G[s]hΨ¯ 92

where denotes equality after integration with respect to the measure sinθdθdϕ and

graphic file with name 40818_2018_58_Equ93_HTML.gif 93

The f identity. Adding the y-identity with y=f and the h-identity with h=f for f a smooth radial function yields the identity (recall (289))

L+L_{FL+L_f}+L-L_{FL-L_f}+IfRe-J[s]+G[s]fΨ¯+2fΨ¯ 94

where denotes equality after integration with respect to the measure sinθdθdϕ and

graphic file with name 40818_2018_58_Equ95_HTML.gif 95

The rp-weighted identity. We multiply (54) by rpβ4ξLΨ¯ with β4=1+4Mr and ξ a smooth radial cut-off satisfying ξ=0 for rR and ξ=1 for rR+M with R is chosen directly below (99) depending only on M. After taking the real parts of the resulting identity we obtain (use the formulae of Appendix B.6)

L_{FL_rp}+L{FLrp}+IrpRe-J[s]+G[s]rpβ4ξLΨ¯ 96

where denotes equality after integration with respect to the measure sinθdθdϕ and

graphic file with name 40818_2018_58_Equ97_HTML.gif 97
graphic file with name 40818_2018_58_Equ98_HTML.gif 98
graphic file with name 40818_2018_58_Equ99_HTML.gif 99

It is easy to see that we can choose R in the cut-off function such that the coefficients of |LΨ|2, Inline graphic and |Ψ|2 in (99) are all non-negative in rR+M for p0,2 and we henceforth make that choice.

Remark 5.1

(Conversion into divergence identities) To convert the identities derived in this section into proper spacetime divergence identities (from which the boundary contributions, etc., are most easily assessed) we recall the identities (26). Since the left hand side of any multiplier identity above has the schematic form

L{FL}+L_{FL_}+I+E=RHS

with Esinθdθdϕ=0, we can use (26) to convert them into the divergence form

aLa1ρ2r2+a2ΔFL+L_a1ρ2r2+a2ΔFL_+I1ρ2r2+a2Δ+E1ρ2r2+a2Δ=RHS1ρ2r2+a2Δ.

This is easily integrated using Stokes’ theorem and making use of the formulae (24) and (25) for the normals to the spacelike hypersurfaces (and the horizon and null infinity). Therefore it is the above identity which provides the precise sense in which the F’s in the identities indeed correspond to boundary terms. Note the term involving E disappears after integration with respect to the spacetime volume form (23).

Proof of Proposition 5.1.1

We define (cf. [31])

f0=1-3Mr1+Mr, 100

and

y0=δ1((1-χ)f0(r)+χf03(r))-δ12χ~r-η 101

where χ~ is a cutoff function such that χ~=0 for r9M and χ~=1 for r10M. We note the following Schwarzschild proposition

Proposition 5.1.2

[31] In the Schwarzschild case a=0, then

graphic file with name 40818_2018_58_Equ441_HTML.gif

As a consequence, for δ1 and δ2 sufficiently small and arbitrary E we have

graphic file with name 40818_2018_58_Equ442_HTML.gif

Note that in view of Remark 5.1, upon application of the divergence theorem, the left hand side leads to a term which controls the integrand of Iηdeg.

Returning to the Kerr case, we add

  1. the f-identity (94) applied with f=f0,

  2. the y-identity (90) applied with y=y0,

  3. E times the T+ω+χΦ identity (88)

  4. δ2 times the rη identity (96)

integrated in the region

R~away(τ1,τ2)=R~(τ1,τ2)\{A1rA2}

with respect to the spacetime volume form, and apply Remark 5.1. We always will assume E>1 and δ1<1, δ2<1.

We have:

  1. Given any E>1, and sufficiently small δ1, δ2, then for |a|<a0M sufficiently small, the resulting bulk term is nonnegative and in fact satisfies the coercitivity estimate
    R~away(τ1,τ2)If+Iy+EIT+ω+χΦ+δ2Irη1ρ2r2+a2ΔdVolδ1,δ2IηawayΨ[±2](τ1,τ2). 102
    This follows from (a) Proposition 5.1.2, (b) smooth dependence on a to infer coercivity away from the horizon and away from infinity, (c) the fact that for all a, the term Irη manifestly controls the integrand of Iηaway for large r, (d) the fact that by direct inspection, for sufficiently small |a|<a0M, the term If+Iy controls the integrand of Iηaway near the horizon.
  2. For sufficiently large E>1, then for all δ1<1, δ2<1 the total flux terms on H+ and I+ are nonnegative. This follows from Remark 5.1 and direct inspection of the boundary terms F thus generated, together with the relations concerning the volume form given in Sect. 2.1.2. (To avoid appealing to the fact that the flux to I+ is well defined, we may argue as follows: The identity can be applied in a region bounded by a finite ingoing null boundary, making the region of integration compact. The flux term on this boundary is manifestly nonnegative by the choice of the multipliers. One then takes this null boundary to the limit.)

  3. Again, by Remark 5.1, inspection and the relations of Sect. 2.1.2, it follows that for sufficiently large E>1, then for all δ1<1, δ2<1, the arising flux term on t~=τ2 controls the energy EΣ~τ,ηawayΨ[±2](τ2) with a uniform constant.

  4. Similarly, for sufficiently large E>1, then for all δ1<1, δ2<1, the initial flux term on t~=τ1 is controlled by the energy EΣ~τ,ηawayΨ[±2](τ1), with a constant depending on E.

  5. The remaining flux terms on r=A1 and r=A2 produce exactly the expression
    Qr=A2Ψ[±2](τ1,τ2)-Qr=A1Ψ[±2](τ1,τ2)
    where (recalling (89), (91) and (95))
    Qr=Ai(τ1,τ2)=τ1τ2dt0πdθsinθ02πdϕ{2FL-L_f0+2FL-L_y0+2EFL-L_T+ω+χΦ}. 103
    This again follows from Remark 5.1: In t,r,θ,ϕ-coordinates we have that 1grrr is the unit normal to constant r hypersurfaces and ρ21grrΔr2+a2sinθdθdϕdt is the induced volume element. Using that 2r=L-L_ and that r is orthogonal to L+L_ the result follows. Observe that there is no contribution from Frη in (103) because that multiplier is supported away from A2.
  6. The inhomogeneous term involving G[±2] on the right hand side of (54) generates the term
    Haway[Ψ[±2]](τ1,τ2)=R~away(τ1,τ2)G[±2]·(f,y,E,δ1,δ2)dVol 104
    where (recall again Remark 5.1)
    G[±2]·(f,y,E,δ1,δ2)r2+a2ρ2Δ{E·Re-T+ω+χΦΨ¯G[±2]+Re-f0Ψ¯+2f0Ψ¯G[±2]+δ1Re-2f0Ψ¯G[±2]+δ2·Re-rηβkξLΨ¯G[±2]}.
  7. By Cauchy–Schwarz, the term generated by the inhomogeneous term involving J[±2] on the right hand side of (54) can be bounded (with a constant depending on E) by the expression
    |a|I[η]leftψ[±2](τ1,τ2)+|a|I[η]rightψ[±2](τ1,τ2)+|a|I[η]leftα[±2](τ1,τ2)+|a|I[η]rightα[±2](τ1,τ2)+|a|IηawayΨ[±2](τ1,τ2),
    with the subindex [η]=η in case of +2, and [η] being dropped entirely in case of s=-2. Note that the last term can be absorbed in view of (102), for sufficiently small |a|<a0M.

Thus, for E sufficiently large, and δ1, δ2 sufficiently small, one obtains immediately the statement of Proposition 5.1.1.

In what follows, we will now consider E as fixed in terms of M, and thus incorporate the E dependence into the , etc. We will further constrain δ1 and δ2 in Sect. 8.2 and thus we will continue to denote explicitly dependence of constants on δ1, δ2.

Transport estimates for ψ[±2] and α[±2]

For transport estimates, it is natural to consider the spin ±2 cases separately.

Transport Estimates for ψ[+2] and α[+2]

Proposition 5.2.1

Let α[+2] be as in Proposition 3.2.1, and ψ[+2], Ψ[+2] be as defined in (46), (49). Then we have for any p{η,1,2} the following estimate in R~right(τ1,τ2):

EΣ~τ,prightα[+2](τ2)+Iprightα[+2]τ1,τ2+Er=A2α[+2]τ1,τ2+EΣ~τ,prightψ[+2](τ2)+Iprightψ[+2]τ1,τ2+Er=A2ψ[+2]τ1,τ2IpawayΨ[+2](τ1,τ2)+EΣ~τ,prightα[+2](τ1)+EΣ~τ,prightψ[+2](τ1) 105

and the following estimate in R~left(τ1,τ2):

EΣ~τ,pleftα[+2](τ2)+Ipleftα[+2]τ1,τ2+EH+α[+2]τ1,τ2+EΣ~τ,pleftψ[+2](τ2)+Ipleftψ[+2]τ1,τ2+EH+ψ[+2]τ1,τ2IpawayΨ[+2](τ1,τ2)+EΣ~τ,pleftα[+2](τ1)+EΣ~τ,pleftψ[+2](τ1)+Er=A1α[+2]τ1,τ2+Er=A1ψ[+2]τ1,τ2. 106
Proof

We recall from (49) and (51) the relations

-2Δ(r2+a2)2Δψ[+2]=L_aaΔ2r2+a2-32α[+2], 107
Δ(r2+a2)2Ψ[+2]=L_aaΔψ[+2]. 108

From (107) we derive for n0

arn1ρ2r2+a2ΔL_a|α[+2]Δ2r2+a2-32|2+nrn-1ρ2|α[+2]Δ2r2+a2-32|2=-2r2+a22Δρ2w32rn×ψ[+2]·α[+2]Δ2r2+a2-32¯+ψ[+2]¯·α[+2]Δ2r2+a2-32, 109

and hence

arn1ρ2r2+a2ΔL_a|α[+2]Δ2r2+a232|2+n2rn-1ρ2|α[+2]Δ2r2+a232|2C1ρ2rn+1(r2+a2)2|Δψ[+2]|2. 110

Moreover, the same estimate (110) holds replacing α[+2] by Tα[+2] (Φα[+2]) on the left and ψ[+2] by Tψ[+2] (Φψ[+2]) on the right since the relation (107) trivially commutes with the Killing fields T and Φ respectively. We will refer to those estimates as the “T-commuted and Φ-commuted (110)” below.

Similarly from (108),

arn1ρ2r2+a2ΔL_a|ψ[+2]Δ|2+n2rn-1ρ2|ψ[+2]Δ|2Cn1ρ2rn+1r2+a22|Ψ[+2]|2 111

and the same estimate replacing ψ[+2] by Tψ[+2] (Φψ[+2]) on the left and Ψ[+2] by TΨ[+2] (ΦΨ[+2]) on the right. We again refer to the latter as the “T-commuted and Φ-commuted (111)” below.

Let us first obtain the estimate in R~right(τ1,τ2). The case in R~left(τ1,τ2) is analogous but easier since weights in r do not play a role. We add

  • (111) with n{η,1,2-η}

  • the Φ-commuted (111) with n{η,1,2-η}

  • the T-commuted (111) with n=2-η

integrated over R~right(τ1,τ2). Combining the above we conclude for p{η,1,2} the estimate

EΣ~τ,prightψ[+2]τ2+Er=A2ψ[+2]τ1,τ2+Iprightψ[+2]τ1,τ2IpawayΨ[+2]τ1,τ2+EΣ~τ,prightψ[+2]τ1. 112

Turning to the estimate (110) we add

  • (110) with n{2+η,3,4-η}

  • the Φ-commuted (110) with n{2+η,3,4-η}

  • the T-commuted (110) with n=4-η

integrated over R~(τ1,τ2){rA2}. Combining the above we conclude for p{η,1,2} (note that for p=2 there is an η-loss in the definition of the densities (67), (68), ensuring that we can indeed set p=2)

EΣ~τ,prightα[+2]τ2+Er=A2α[+2]τ1,τ2+Iprightα[+2]τ1,τ2Iprightψ[+2]τ1,τ2+EΣ~τ,prightα[+2]τ1. 113

Combining (113) and (112) yields the desired estimate to the right of trapping.

As remarked above, the estimate in the “left region” R~left(τ1,τ2) is easier and left to the reader.

Transport Estimates for ψ[-2] and α[-2]

Proposition 5.2.2

Let α[-2] be as in Proposition 3.2.1, and ψ[-2], Ψ[-2] be as defined in (47), (50). Then we have the following estimate in R~right(τ1,τ2):

EΣ~τrightα[-2](τ2)+Irightα[-2]τ1,τ2+EI+α[-2]τ1,τ2+EΣ~τrightψ[-2](τ2)+Irightψ[-2]τ1,τ2+EI+ψ[-2]τ1,τ2IηawayΨ[-2](τ1,τ2)+EΣ~τrightα[-2](τ1)+EΣ~τrightψ[-2](τ1)+Er=A2α[-2]τ1,τ2+Er=A2ψ[-2]τ1,τ2 114

and the following estimate in R~left(τ1,τ2):

EΣ~τleftα[-2](τ2)+Ileftα[-2]τ1,τ2+Er=A1α[-2]τ1,τ2+EΣ~τleftψ[-2](τ2)+Ileftψ[-2]τ1,τ2+Er=A1ψ[-2]τ1,τ2IηawayΨ[-2](τ1,τ2)+EΣ~τleftα[-2](τ1)+EΣ~τleftψ[-2](τ1). 115
Remark 5.2

As the proof will show, these estimates also hold replacing IηawayΨ[-2] by I0awayΨ[-2] provided we drop the two terms on null infinity I+ in (114) and weaken the r-weight in the energies EΣ~τrightα[-2] and EΣ~τrightψ[-2] from r-1-η to r-1-2η; see (81), (82). This way one could avoid the rη multiplier for Ψ[-2] (at the cost of losing control over the generically non-vanishing fluxes on null infinity).

Proof

We recall the relations

2Δ(r2+a2)2Δψ[-2]=Laaα[-2]r2+a2-32, 116
-Δ(r2+a2)2Ψ[-2]=LaaΔψ[-2]. 117

From (116) we derive (recall ρ2=r2+a2cos2θ) for any n,ηR

aΔr2+a2-n-1+41+1rη1ρ2La|r2+a2α[-2]Δ2|2+1+1rη2Mnr2-a2(r2+a2)2+ηr1+ηΔr2+a2×1ρ2Δr2+a2-n-1+4|r2+a2α[-2]Δ2|2=-2r2+a2w32Δr2+a2-n-1+21ρ21+1rηψ[-2]·r2+a2α[-2]¯Δ2+ψ[-2]¯·r2+a2α[-2]Δ2,

and hence, choosing n=3, we have for any η>0 the estimate

a1+1rη1ρ2La|r2+a2α[-2]Δ2|2+121+1rη6Mr2-a2(r2+a2)2+ηr1+ηΔr2+a21ρ2|r2+a2α[-2]Δ2|2Cη1ρ2|r2+a2ψ[-2]Δ|2r1+ηr2+a22. 118

Moreover, the same estimate holds replacing 1+1rη by 1rη on the left and r1+η by r1-η on the right (cf. Remark 5.2). Note that the estimate (118) also holds replacing α[-2] by Tα[-2] (Φα[-2]) and ψ[-2] by Tψ[-2] (Φψ[-2]) in view of the relation (116) commuting trivially with the Killing field T and Φ. We will refer to those estimates as the T- and Φ-commuted (118) below.

From (117) we derive

a1+1rη1ρ2La|ψ[-2](r2+a2)Δ|2+121+1rη2Mr2-a2(r2+a2)2+ηr1+ηΔr2+a21ρ2|ψ[-2](r2+a2)Δ|2Cη1ρ2|Ψ[-2]|2r1+ηr2+a22. 119

Moreover, the same estimate holds replacing 1+1rη by 1rη on the left and r1+η by r1-η on the right (cf. Remark 5.2). Note that the estimate (119) also holds replacing ψ[-2] by Tψ[-2] (Φψ[-2]) and Ψ[-2] by TΨ[-2] (ΦΨ[-2]) in view of the relation (117) commuting trivially with the Killing field T and Φ. We will refer to this estimates as the T- and Φ-commuted (119) below.

We are now ready to prove the estimate in R~left(τ1,τ2).

Integrating (119) and the T-commuted and Φ-commuted (119) over R~left(τ1,τ2) produces

EΣ~τleftψ[-2]τ2+Ileftψ[-2]τ1,τ2+Er=A1ψ[-2]τ1,τ2IηawayΨ[-2]τ1,τ2+EΣ~τleftψ[-2]τ1. 120

Integrating (118) and the T-commuted and Φ-commuted (118) over R~left(τ1,τ2) produces

EΣ~τleftα[-2]τ2+Ileftα[-2]τ1,τ2+Er=A1α[-2]τ1,τ2Ileftψ[-2]τ1,τ2+EΣ~τleftα[-2]τ1. 121

Combining the last two estimates produces the desired estimate in R~left(τ1,τ2). The estimate in R~right(τ1,τ2) is proven entirely analogously and is again left to the reader. The only important observation is that the good ψ-spacetime term generated from (119) is stronger (in terms of r-weight) than what is needed on the left hand side of (118).

Auxiliary Estimates

We collect a number of auxiliary estimates we shall require.

The Homogeneous T+ω+χΦ Estimate

Proposition 5.3.1

Let α[±2] satisfy the homogeneous Teukolsky equation (37) and let ψ[±2], Ψ[±2] be as defined in (46), (47), (49), (50). Then we have for any 0τ1τ2

EΣ~τ,0Ψ[±2](τ2)|a|I0degΨ[±2](τ1,τ2)+|a|I[η]ψ[±2](τ1,τ2)+|a|I[η]α[±2](τ1,τ2)+EΣ~τ,0Ψ[±2](τ1). 122

Here the subindex η is equal to η in case of s=+2 and it is dropped entirely in case s=-2.

Proof

The inequality (122) follows from integrating the identity (88) associated with the multiplier T+ω+χΦ over the region R~τ1,τ2 using Remark 5.1. The details are as follows. Note that G[s]=0 and that for the boundary terms one has

EΣ~τ,0Ψ[±2]τ2EΣ~τ,0Ψ[±2]τ1+R~τ1,τ2(L+L_FL+L_T+ω+χΦ+L-L_FL-L_T+ω+χΦ)1ρ2r2+a2ΔdVol

while for the spacetime term clearly

R~τ1,τ2-IT+ω+χΦ1ρ2r2+a2ΔdVol|a|I0degΨ[±2](τ1,τ2). 123

It remains to estimate the term

R~τ1,τ2Re-T+ω+χΦΨ[±2]¯J[±2]. 124

In view of the fact that the support of χ is away from the degeneration of Ideg we can easily control the ω+χΦ-part by the right hand side of (122) using the Cauchy–Schwarz inequality. For the remaining term ReTΨ[±2]¯J[±2] we restrict the proof to the s=+2 case, the s=-2 case being completely analogous. We recall from Proposition 3.2.1 that

J[+2]=awc1(r)ΦΔψ[+2]+a2wc2(r)Δψ[+2]+a3wc3(r)ΦΔ2(r2+a2)-3/2α[+2]+a2wc4(r)Δ2(r2+a2)-3/2α[+2],

where |c1(r)|1, |c2(r)|r-1, |c3(r)|r-1 and |c4(r)|1. Note that unless we are in the region near trapping all of these terms feeding into (124) are easily controlled by the right hand side of (122) using the Cauchy-Schwarz inequality. We can also assume without loss of generality τ2>τ1+2 in (124) as otherwise we can again apply Cauchy–Schwarz and estimate the spacetime integral of TΨ[+2] by the supremum of the energy through each slice Σ~τ and absorb the term on the left using that a is small.

By the above considerations it suffices to estimate for τ2>τ1+2 the integral

R~τ1,τ2Ξ·Re-TΨ[+2]¯J[+2], 125

where Ξ=Ξ1t~Ξ2r is a smooth cutoff such that Ξ1 is equal to 1 in τ1+1,τ2-1 and vanishes for τ1,τ2c while Ξ2 is equal to 1 in A1,A2 and vanishes in 2A1,2A2c. (Indeed, 1-Ξ is either supported away from trapping or in a strip of time-length 1, where one can estimate the spacetime integral of TΨ[+2] by the supremum of the energy through each slice Σ~τ and absorb it on the left.) Note that now when integrating (125) by parts (in T, L_, L) there will be no boundary terms in view of the cut-off.

Let c(r) denote a general bounded real-valued function with bounded derivative in (r+,). For the first term of J[+2] inserted in (125) we have the identity (boundary terms vanish!)

S2dσΞc(r)ReTΨ[+2]¯ΦΔψ[+2]=S2dσ(Ξc(r))ReΨ[+2]¯ΦΔψ[+2]+S2dσc(r)2ΞRe(L-L_)Ψ[+2]¯ΦΔψ[+2]+12S2dσL_Ξac(r)w(r2+a2)ΦΔψ[+2]2, 126

obtained by exchanging T,Φ, using the definition of L_ and the transformation (51). For the second term

S2dσΞc(r)ReTΨ[+2]¯Δψ[+2]=-S2dσΞc(r)ReΨ[+2]¯TΔψ[+2], 127

for the third

S2dσΞc(r)ReTΨ[+2]¯ΦΔ2(r2+a2)-3/2α[+2]=+S2dσ-L_Ξc(r)w(r2+a2)-1/2ReTΔψ[+2]¯ΦΔ2(r2+a2)-1α[+2]+S2dσ2Ξc(r)ReTΔψ[+2]¯ΦΔψ[+2]¯, 128

obtained by using transformations (49) and (51) and integrating by parts, and for the last

S2dσΞc(r)ReTΨ[+2]¯α[+2]=-S2dσΞc(r)ReΨ[+2]¯Tα[+2]-S2dσ(TΞ)c(r)ReΨ[+2]¯α[+2]. 129

All terms on the right of (126)–(129) involve at most the non-degenerate derivative Ψ[+2], Ψ[+2] itself and (at most) first derivatives of ψ[+2],α[+2] and are hence easily controlled by Cauchy–Schwarz. We conclude

EΣ~τ,0Ψ[±2](τ2)EΣ~τ,0Ψ[±2](τ1)+|a|supτ[τ1,τ1+1][τ2-1,τ2]EΣ~τ,ηΨ[+2](τ)+|a|I0degΨ[+2](τ1,τ2)+|a|Iηψ[+2](τ1,τ2)+|a|Iηα[+2](τ1,τ2)

for τ2>τ1+2 while, as mentioned already above, for τ2τ1+2 the same estimate holds replacing supτ[τ1,τ1+1][τ2-1,τ2] by supτ[τ1,τ2]. Choosing a0 sufficiently small we obtain the desired statement for s=+2 for every τ1τ2. As mentioned, for s=-2, the procedure can be repeated, now using the transformation (52).

Remark 5.3

A frequency localised version of this proof can be found in the proof of Proposition 8.4.1.

Local in Time Estimates

Proposition 5.3.2

Let α[±2] satisfy the homogeneous Teukolsky equation and let ψ[±2], Ψ[±2] be as defined in (46), (47), (49), (50). Then for any τstep>0 there exists an a0M such that for |a|<a0 we have for any τ1>0

supτ1ττ1+τstepEΣ~τ,0Ψ[±2](τ)EΣ~τ,0Ψ[±2](τ1)+|a|τstepeCτstepEΣ~τ,[η]ψ[±2](τ1)+|a|τstepeCτstepEΣ~τ,[η]α[±2](τ1), 130
I0Ψ[±2](τ1,τ1+τstep)+I[η]ψ[±2](τ1,τ1+τstep)+I[η]α[±2](τ1,τ1+τstep)τstepEΣ~τ,0Ψ[±2](τ1)+EΣ~τ,[η]ψ[±2](τ1)+EΣ~τ,[η]α[±2](τ1) 131

where C=C(M) (and the implicit constant in is independent of both τstep and τ1, according to our general conventions). Here the subindex η is equal to η in case of s=+2 and it is dropped entirely in case s=-2.

Proof

We first note that

supτ1ττ1+τstepEΣ~τ,0Ψ[±2](τ)+EΣ~τ,[η]ψ[±2](τ)+EΣ~τ,[η]α[±2](τ)eCτstepEΣ~τ,0Ψ[±2](τ1)+EΣ~τ,[η]ψ[±2](τ1)+EΣ~τ,[η]α[±2](τ1). 132

This follows easily by the estimates of the previous sections.

We now apply (122) with τ2 taken in τ1τ2τ1+τstep, noting that the first three terms on the right hand side can be bounded by |a|τstep times the right hand side of (132). Restricting a0 so that in particular |a|τstepeCτstep<1 we obtain (130).

We note that we can repeat the transport estimates of Sect. 5.2, now for the homogeneous equations, and applied globally in R~(τ1,τ1+τstep), obtaining

I[η]ψ[±2](τ1,τ1+τstep)+I[η]α[±2](τ1,τ1+τstep)EΣ~τ,[η]ψ[±2](τ1)+EΣ~τ,[η]α[±2](τ1)+IηΨ[±2](τ1,τ1+τstep).

Note that the term is Iη and not Iηdeg.

In view of

IηΨ[±2](τ1,τ1+τstep)τ1τ1+τstepEΣ~τ,0Ψ[±2](τ)dττstepsupτ1ττ1+τstepEΣ~τ,0Ψ[±2](τ)

(note the η on the left but the 0 on the right hand side), we obtain (131) for sufficiently small a.

Remark 5.4

We note that a more careful examination of the Schwarzschild case and Cauchy stability yields that the inequality (131) can be proven without the τstep factor on the first term of right hand side, provided I0 is replaced by I0deg. We shall not however require this here.

The Admissible Class and Teukolsky’s Separation

In this section we will implement Teukolsky’s separation [107] of (36) for s=±2.

To make sense a priori of the formal separation of [107], one must in particular work in a class of functions for which one can indeed take the Fourier transform in time. This requires applying the analysis to functions which satisfy certain time-integrability properties. A useful such class is the “sufficiently integrable, outgoing” class defined in [44, 45] for the s=0 case.

In the present paper, it turns out that we shall only require Fourier analysis in the region r[A1,A2]. We may thus consider the more elementary setting of what we shall call the [A1,A2]-admissible class where time square integrability is only required for r[A1,A2]. (We will in fact assume compact support in t in this r-range.) This leads to a number of useful simplifications. In particular, we need not refer to the asymptotic analysis of the ODE’s as r±, as was done in [44, 45], in order to infer boundary behaviour.

The section is organised as follows: We will define our elementary notion of [A1,A2]-admissible class in Sect. 6.1. We will then implement Teukolsky’s separation in Sect. 6.2, deriving the radial ODE, valid for r[A1,A2].

(We note already that, in practice, the results of this section will be applied to solutions of the inhomogeneous Teukolsky equation which arises from applying a suitable cutoff to solutions of (37). The restriction of Fourier analysis to the range r[A1,A2] will allow us to use a cutoff whose derivatives are supported in a region of finite r[2A1,2A2], leading to additional simplifications with respect to [45]. We will only turn to this in Sect. 9.)

The [A1,A2]-admissible Class

We define an admissible class of functions for our frequency analysis. This is to be compared with the class of sufficiently integrable functions from [44, 45]. Since we will only apply frequency localisation in a neighbourhood of trapping, we only consider the behaviour in the fixed r-region [A1,A2] with r+<A1<A2< defined in Sect. 2.1.3. (Recall in this region that t=t=t~.) On the other hand, for convenience, we will assume compact support in t for these r-values, as this is what we shall indeed obtain after applying cutoffs.

Definition 6.1

Let a0<M, |a|<a0 and let g=ga,M. We say that a smooth complex valued spin±2 weighted function α~:R{A1rA2}C is [A1,A2]-admissible if it is compactly supported in t.

Remark 6.1

One could work with the weaker condition that (cf. [45]) for all j1, the following holds

supr[A1,A2]-S20i1+i2+i3+i4+i5j(Z~1)i1(Z~2)i2(Z~3)i3Ti4(r)i5α~2×sinθdtdθdϕ<, 133

with the only caveat that in the frequency analysis we would have to restrict to generic frequency ω for the ODE to be satisfied in the classical sense.

Teukolsky’s Separation

We will now implement Teukolsky’s formal separation of the operator (36) in the context of [A1,A2]-admissible spin-s weighted functions α[s] for s=±2.

We begin in Sect. 6.2.1 with a review of the basic properties of spin-weighted oblate spheroidal harmonics and their associated eigenvalues λm[s](ν). We will then turn immediately in Sect. 6.2.2 to some elementary estimates for the eigenvalues λm[s](ν) which will be useful later in the paper. Next, we shall apply these oblate spheroidals together with the Fourier transform in time in Sect. 6.2.3 to define coefficients αm[s],(aω)(r) associated to [A1,A2]-admissible α[s]. We then give Proposition 6.2.1 in Sect. 6.2.4, stating that these coefficients satisfy an ordinary differential equation with respect to r; this is the content of Teukolsky’s remarkable separation of (36).

Spin-Weighted Oblate Spheroidal Harmonics

Let νR, s=0,±2 and consider the self-adjoint operator Inline graphic defined by

graphic file with name 40818_2018_58_Equ443_HTML.gif

on S[s], which we recall is a dense subset of L2(sinθdθdϕ).

This has a complete collection of eigenfunctions

{Sm[s](ν,cosθ)eimϕ}m 134

with eigenvalues λm[s]R, indexed by mZ, max(|m|,|s|). These are known as the spin-weighted oblate10 spheroidal harmonics. For each fixed mZ, the Sm[s] themselves form a complete collection of eigenfunctions of the following self-adjoint operator with eigenvalues λm[s]ν:

graphic file with name 40818_2018_58_Equ135_HTML.gif 135
graphic file with name 40818_2018_58_Equ136_HTML.gif 136

The eigenfuctions themselves satisfy

Sm[s](ν,cosθ)eimϕS[s]

for all νR.

We note the following familiar special cases:

  1. For s=0 one obtains the oblate spheroidal harmonics familiar from the angular part of the separation equation of the scalar wave equation on Kerr [45]. The case s=0 and ν=0 recovers the standard spherical harmonics Sm[0](0,cosθ)eimϕ=Ym with eigenvalues +1.

  2. For ν=0, then Inline graphic is the spin-s-weighted Laplacian and one obtains the spin-weighted spherical harmonics, whose eigenvalues can also be determined explicitly
    λm[s]0+s=λm[-s]0-s=+1-s22 137
    where the last inequality follows from the relation |||s|. For future reference we note the relation
    graphic file with name 40818_2018_58_Equ138_HTML.gif 138

We finally remark also the general relation

λm[s]ν+s=λm[-s]ν-s 139

allowing us to restrict to s=+2 without loss of generality when obtaining estimates on the λm[s]ν.

For various asymptotics concerning the behaviour of λm[s] see [10].

Estimates on λm[s]ν and Λ~m[s]ν

To estimate λm[s]ν we compute from (136)

λm[s]ν+s=0π02πdϕdθsinθ×|θΞ[s]|2+m+scosθ2sin2θ-ν2cos2θ+2sνcosθ|Ξ[s]|2, 140

where Ξ[s] denotes (shorthand instead of the full (134)) a normalised eigenfunction of the operator Inline graphic with eigenvalue λm[s]aω. Using the variational characterisation of the lowest eigenvalue of the operator Inline graphic (which is 2 for m=0,1 and mm+1-4 for m2 by (137) and the relation |m|) we conclude for

Λ~m[±2]ν:=λm[s]ν+s+ν2+4|ν| 141

the bound

Λ~m[±2]νmax2,m(m+1)-4. 142

Our ode estimates in Sect. 8 will only require (142). This motivates the following

Definition 6.2

A triple (ω,m,Λ~) will be said to be admissible if ωR, mZ and Λ~R satisfies Λ~max(2,m(m+1)-4).

The Coefficients αm[s],(aω) and the Plancherel Relations

Given parameters a, M and s, we let α[s] be [A1,A2]-admissible according to Definition 6.1.

We have

α[s](t,r,θ,ϕ)=12π-e-iωtα^[s](ω,r,θ,ϕ)dω. 143

Setting ν=aω, for each ωR we may decompose

α^[s](ω,r,θ,ϕ)=mαm[s],(aω)Sm,[s](aω,cosθ)eimϕ. 144

We obtain then the representation

α[s](t,r,θ,ϕ)=12π-me-iωtαm[s],(aω)(r)Sm[s](aω,cosθ)eimϕdω. 145

As in [45], we remark that for each fixed r, (143) and (145) are to be understood as holding in Lt2LS22, while (144) is to be understood in Lω2LS22. Note that if α[s] satisfies Definition 6.1, then so do tα[s] and ϕα[s] and we have

tα[s](t,r,θ,ϕ)=-i2π-ωe-iωtα^[s](ω,r,θ,ϕ)dω,ϕα[s](t,r,θ,ϕ)=i2π-me-iωtα^[s](ω,r,θ,ϕ)dω,

where these relations are to be interpreted in Lt2LS22.

We also recall as in [40, 45] the following Plancherel relations

02π0π-α[s]2(t,r,θ,ϕ)sinθdϕdθdt=-mαm[s],(aω)(r)2dω,02π0π-1α[s]·2α¯[s]sinθdϕdθdt=-m1αm[s],(aω)·2α¯m[s],(aω)dω,02π0π-rα[s]2(t,r,θ,ϕ)sinθdϕdθdt=-mddrαm[s],(aω)(r)2dω,02π0π-tα[s]2(t,r,θ,ϕ)sinθdϕdθdt=-mω2αm[s],(aω)(r)2dω,

as well as

02π0π-α[s]θ2+α[s]ϕ+iscosθα[s]sin-1θ2×(t,r,θ,ϕ)sinθdϕdθdt=-mλm[s]aω+sαm[s],(aω)(r)2dω+02π0π-a2cos2θ|tα[s]|2+Re(-2iascosθtα[s]α¯[s])×(t,r,θ,ϕ)sinθdϕdθdt. 146

From the inequalities of Sect. 6.2.2 we conclude

graphic file with name 40818_2018_58_Equ147_HTML.gif 147

In what follows, we shall often write λm[s],(aω) for λm[s]aω and Λ~m[s],(aω) for Λ~m[s]aω.

The Radial ODE

We here state a proposition that implements Teukolsky’s formal separation of (36) in the context of [A1,A2]-admissible spin-weighted functions.

Fix |a|<M and s=0,±2. Let α[s] be an [A1,A2]-admissible spin weighted functions and αm[s],(aω) be as defined in Sect. 6.2.3. Note that (recall (38)) defining

F[+2]=T~[+2]α~[+2],Δ2F[-2]=T~[-2]Δ2α~[-2] 148

we have that F[s] is also [A1,A2]-admissible and the coefficients Fm[s],(aω) can be defined.

Let us first introduce the following shorthand notation

κ=r2+a2ω-am

and

Λm[s],(aω)=λm[s],(aω)+a2ω2-2amω. 149

We have the following

Proposition 6.2.1

Fix |a|<M and s=0,±2. Let α[s] be an [A1,A2]-admissible spin weighted function, F[s] be as defined in (148), with coefficients αm[s],(aω), (ρ2F)m[s],(aω) as defined above. Then αm[s],(aω) is smooth in r[A1,A2] and satisfies the ordinary differential equation

1ΔsddrΔs+1dαm[s],(aω)dr+κ2-2isr-MκΔ+4isωr-Λm[s],(aω)αm[s],(aω)=r2+a27/2ρ2Δ1+s/2Fm[s],(aω). 150

In view of our definitions, the proof is immediate from the usual formal derivation of (150). See [68]. The s=0 case corresponds precisely to Proposition 5.2.1 of [45].

Note the difference between (149) and our Λ~m[s],(aω) in (141). It is only the latter quantity which will appear in the estimates of this paper. We have retained (149) to faciliate comparison with the literature.

The Rescaled Coefficients u

Let us fix parameters |a|<M and s, and consider α[s] as in the statement of Proposition 6.2.1.

Define the rescaled11 quantities

um[s],(aω)(r)=Δs/2r2+a2αm[s],(aω)r, 151
Hm[s],(aω)=Δρ2wFm[s],(aω). 152

Equation (150) then reduces to

d2(dr)2um[s],(aω)+Vm[s],(aω)ru=Hm[s],(aω) 153

for

Vm[s],(aω)r=Δr2+a22V~m[s],(aω)+V0[s],

with

V~m[s],(aω):=κ2-2isr-MκΔ+4isωr-Λm[s],V0[s]:=Δ-s/2+1r2+a232ddrΔs+1ddrΔ-s/2r2+a2.

For s=0, this reduces to the form of the separated wave equation used in [45].

The Frequency-Localised Transformations

In this section, we will define frequency localised versions of the quantities P[±2], Ψ[±2], ψ[±2] of Sect. 3 and the Regge–Wheeler type equation (54).

We begin in Sect. 7.1 with the definitions of the frequency localised version of the null frame L, L_. We then derive in Sect. 7.2 the frequency localised expression for Ψ[±2] followed in Sect. 7.3 with the frequency localised form of (54).

In what follows in this section, we will always assume α[±2] is as in Proposition 6.2.1 with corresponding um[±2],(aω).

The Separated Null Frame

Note that (following the conventions in [45]) we have the following formal analogues:

-iωt,imϕ.

We define the separated frame operators (corresponding to the principal null directions (20)) by

L=ddr-iω+iamr2+a2, 154
-L_=ddr+iω-iamr2+a2. 155

We have retained the notation of (20) without fear of confusion.

Also note that (138) implies the following formal analogue:

graphic file with name 40818_2018_58_Equ444_HTML.gif

The Frequency Localised Coefficients Pm[±2],(aω),Ψm[±2],(aω) and ψm[±2],(aω)

We may now understand the relations between the quantities of Sect. 3.1 at the frequency localised level.

Proposition 7.2.1

Let α[±2] be as in Proposition 6.2.1 and consider P[+2], Ψ[+2] and ψ[+2] defined by (46), (48) and (49), respectively, and consider P[-2], Ψ[-2] and ψ[-2] defined by (47), (48) and (50), respectively.

Let um[±2],(aω) be the arising coefficient of α[±2]. Then P[±2], Ψ[±2] and ψ[±2] are [A1,A2]-admissible spin weighted functions and their coefficients Pm[±2],(aω), Ψm[±2],(aω) and ψm[±2],(aω) are related by

r2+a2w·ψm[+2],(aω)=-121wL_um[+2],(aω)·w, 156
Ψm[+2],(aω)=r2+a23/2Pm[+2],(aω)=1wL_r2+a2w·ψm[+2],(aω)=-121wL_1wL_um[+2],(aω)·w, 157
r2+a2w·ψm[-2],(aω)=121wLum[-2],(aω)·w, 158
Ψm[-2],(aω)=r2+a23/2Pm[-2],(aω)=-1wLr2+a2w·ψm[-2],(aω)=-121wL1wLum[-2],(aω)·w. 159

The Frequency Localised Regge–Wheeler Equation (54) for Ψm[±2],(aω)

A straightforward computation now leads to

Proposition 7.3.1

Under the assumptions of Proposition 7.2.1, the Ψm[±2],(aω) satisfy the equation

Ψm[s],(aω)+ω2-Vm[s],(aω)Ψm[s],(aω)=Jm[s],(aω)+Gm[s],(aω), 160

where the potential Vm[s],(aω) is real and defined by

Vm[s],(aω)=Δλm[s]+a2ω2+s2+s+4Mramω-a2m2r2+a22-Δ(r2+a2)26Mr(r2-a2)(r2+a2)2-7a2Δ2(r2+a2)4=V0[s]+V1+V2. 161

and the inhomogeneous terms by

Jm[s],(aω)=Δr2+a22s-4r2+4a2r2+a2aim-20a2r3-3Mr2+ra2+Ma2r2+a22×Δψm[s],(aω)+a2Δr2+a22-6srr2+a2aim+3r4-a4+10Mr3-6Ma2r(r2+a2)2×um[s],(aω)Δr2+a22,Gm[+2],(aω)=12L_r2+a22ΔL_Δwρ2Fm[+2],(aω),Gm[-2],(aω)=12Lr2+a22ΔLΔ3wρ2Fm[-2],(aω). 162

Proof

See Appendix A.

Remark 7.1

Note that J[s] vanishes for a=0. The second line of J[s] contains only linear terms in m (i.e. corresponding to only first derivatives in physical space). The first line contains in this sense “first” and “zero” derivatives of ψ[s] and hence at most (certain) “second” derivatives of u[s].

Remark 7.2

We may rewrite the potential

V0[±2]=ΔΛ~[±2]-4|aω|+4+4Mramω-a2m2r2+a22. 163

Here we see the dependence in the spin is entirely contained in the definition of Λ~[±2].

Remark 7.3

Let us note finally that if, for a fixed frequency triple (ω,m,Λ~), u is simply assumed to be a smooth solution of the ODE (153) where λm[s](aω) is replaced by the quantity defined by Λ~-s-(aω)2-4|aω| in view of (141), and P, Ψ, ψ are defined by relations (156), (157), (158), (159), then the identities of Proposition 7.3.1 again hold.

Frequency-Localised Estimates in r[A1,A2]

The present section deals entirely with the system of relations satisfied by

um(aω),ψm(aω),Ψm(aω)

at fixed frequency in the region r[A1,A2], for given inhomogeneous terms. The main result will be Theorem 8.1, stated in Sect. 8.1, which can be thought of as a fixed frequency version of an integrated local energy estimate for all quantities near trapping, with boundary terms Q(Ai) which will eventually cancel the boundary terms appearing on the right hand side of Proposition 5.1.1 of Sect. 5.

We shall prove multiplier estimates for (160) in Sect. 8.2 and transport estimates for (156)–(159) in Sect. 8.3. Together with an integration by parts argument, the transport estimates will allow us to bound in Sect. 8.4 the inhomogeneous terms on the right hand side of (160) arising from the coupling of the Regge–Wheeler equation for Ψm(aω) with um(aω) and ψm(aω), thus will allow to complete the proof of Theorem 8.1

Just like with the analogous Theorem 8.1 of [45], the results of this section can be understood as results about ODE’s, independently of the particular framework of Sect. 6. We have thus tried to give as self-contained a statement as possible.

Statement of Theorem 8.1: The Main Fixed Frequency Estimates

In the present section we consider the coupled system of ODEs satisfied by u, ψ and Ψ and state a fixed frequency analogue of local integrated energy decay, in the region r[A1,A2] near trapping.

Frequency Localised Norms

Before formulating the theorem, we define certain energy norms.

In view of Remark 7.3, the natural setting of the theorem refers only to an admissible frequency triple (ω,m,Λ~) (cf. Definition 6.2) and associated solutions u[±2] of (153) on [A1,A2] and ψ[±2], Ψ[±2] defined by (156)–(159), where λm[s](aω) is replaced by the quantity defined by Λ~-s-(aω)2-4|aω| in view of (141). Recall that all derived ordinary differential identities follow, in particular (54), as does the estimate (142) of Sect. 6.2.2. In practice, of course, we will always apply this for u[±2] equal to um[±2],(aω) and Λ~ equal to Λ~m[s],(aω).

Given the above, let us define the quantities

dΨ[±2]2=A1A2(Ψ[±2])2+1-r-1rtrap2ω2+Λ~+1(Ψ[±2])2dr,dψ[±2]2=A1A2(ω2+m2+1)|ψ[±2]|2dr,du[±2]2=A1A2(ω2+m2+1)|u[±2]|2dr,

as well as the boundary energies for i=1,2:

dψ[±2]2(Ai)=(ω2+m2+1)|ψ[±2](Ai)|2,du[±2]2(Ai)=(ω2+m2+1)|u[±2](Ai)|2.

In the above, rtrap is a parameter depending on M, a and the frequency triple (ω,m,Λ~) to be determined later. For “trapped” frequencies, we will have rtrap[A1/4,A2/4], but it will be important that in various high frequency but untrapped frequency ranges, we can take rtrap=0.

Note that since this is a region of fixed finite r, bounded away from infinity and the horizon, no r-weights or Δ-factors need appear in the above norms.

Finally, it will be convenient if we introduce the alternate notation

A-:=A1,A+:=A2

which will be useful when referring to boundary terms in contexts where the choice of term depends on the spin.

Statement of the Theorem

Theorem 8.1

Given 0a0M sufficiently small, then the following is true.

Let 0aa0 and let (ω,m,Λ~) be an admissible frequency triple. Let E>1 be the parameter fixed after Proposition 5.1.1. Given a parameter δ1<1, let f0, y0 be defined by (100) and (100) as in the proof of Proposition 5.1.1.

Then one can choose sufficiently small δ1<1 depending only on M, and functions f, y and an r-value rtrap, depending on the parameters a, M and the frequency triple (ω,m,Λ~) but satisfying the uniform bounds

rtrap=0orrtrap[A1/4,A2/4] 164
f+f+y1, 165
f=f0(r),y=y0(r)forr[A1/2,A2/2]c, 166

such that, for all smooth solutions u[±2] of (153) on [A1,A2] and associated ψ[±2] and Ψ[±2], then

dΨ[±2]2H[±2]+Q(A2)-Q(A1)+|a|i=12(dψ[±2]2(Ai)+du[±2]2(Ai)), 167
dψ[±2]2(A)+du[±2]2(A)+dψ[±2]2+du[±2]2H[±2]+Q(A2)-Q(A1)+dψ[±2]2(A±)+du[±2]2(A±), 168

where

H[±2]=A1A2G[±2]·(f,y,E)·(Ψ[±2],Ψ[±2])dr,G[±2]·(f,y,E)·(Ψ[±2],Ψ[±2])-2fReΨ[±2]G[±2]¯-fReΨ[±2]G[±2]¯-2yReΨ[±2]G[±2]¯+EωImG[±2]Ψ[±2]¯, 169

and Q is given by (172).

Multiplier Estimates for Ψ[±2]

We begin in this section with frequency localised bounds for Ψ[±2]. Frequency localisation is necessary to capture trapping, in the style of our previous [40]. The multipliers will be frequency independent at r=A1 and r=A2 and will in fact match exactly those applied in Sect. 5.1. This is ensured by (166). As a result, in the setting of Sect. 9, the boundary terms Q(Ai) which will appear below, after summation over frequencies, will exactly cancel the terms Q(Ai) appearing in Proposition 5.1.1.

Recall the quantity dΨ[±2]2 defined in Sect. 8.1.1. The main result of the section is the following:

Proposition 8.2.1

With the assumptions of Theorem 8.1, we have

dΨ[±2]2H[±2]+K[±2]+Q(A2)-Q(A1) 170

where K[±2] is defined by

K[±2]=A1A2J[±2]·(f,y,E)·(Ψ[±2],Ψ[±2])dr,

where

J[±2]·(f,y,E)·(Ψ[±2],Ψ[±2])-2fReΨ[±2]J[±2]¯-fReΨ[±2]J[±2]¯-2yReΨ[±2]J[±2]¯+EωImJ[±2]Ψ[±2]¯ 171

and Q is given by (172).

The estimate above differs from the estimate for dΨ[±2]2 given by (167) as it is still coupled with u[±2] and ψ[±2] in view of the presence of the term K[±2]. We will be able to replace K[±2] with H[±2] and the additional boundary term |a|dψ[±2]2(A±)+|a|du[±2]2(A±) appearing in (167) in Sect. 8.4.

Proof

The estimate (170) will be proven by using multiplier identities. The relevant frequency-localised current templates, corresponding precisely to the physical space multiplier identities used in Sect. 5.1, will be defined in Sect. 8.2.1 below. For a specific combination of these currents, the bulk term will control the integrand of the left hand side of (170) whereas the boundary terms (after summation over frequencies) will correspond precisely to the boundary terms of Proposition 5.1.1. This coercivity is stated as Proposition 8.2.2 in Sect. 8.2.2. The precise choice of the functions f and y will be frequency dependent and is carried out separately for the frequency ranges G1 and G2 in Sects. 8.2.3 and 8.2.4 respectively.

In the rest of this subsection, we will always write Ψ in the place of Ψ[±2], as the choice of the multipliers will not depend on the spin. We will write V in place of V[±2], and Λ~ for Λ~[±2], remembering that the dependence of V[±2] on the spin in the context of the separation is completely contained in the different definition of Λ~[±2]; see formula (163). We will only refer explicitly to s=±2 when discussing the inhomogeneous terms on the right hand side of (160).

The Frequency-Localised Multiplier Current Templates

Let us define the frequency localised multiplier currents which correspond to the physical space multipliers of Sect. 5.1:

Qf[Ψ]=f|Ψ|2+(ω2-V)|Ψ|2+fReΨΨ¯-12f|Ψ|2,Qy[Ψ]=y|Ψ|2+(ω2-V)|Ψ|2,QT[Ψ]=-ωIm(ΨΨ¯).

If Ψ satisfies

Ψ+VΨ=H

for an admissible frequency triple (ω,m,Λ~), then, since V is real, we have

(Qf[Ψ])=2f|Ψ|2-fV|Ψ|2-12f|Ψ|2+Re(2fH¯Ψ+fH¯Ψ),(Qy[Ψ])=y(|Ψ|2+(ω2-V)|Ψ|2)-yV|Ψ|2+2yRe(H¯Ψ),(QT[Ψ])=-ωIm(HΨ¯).

Let us remark already that if α is an [A1,A2]-admissible solution of the inhomogeneous Teukolsky equation (53), such that the restriction of α to r[A1,A2] is supported in t=t=t~(τ1,τ2), then the identity corresponding to applying

dωm

to

Qf(A1)+A1A2(Qf)(r)dr=Qf(A2),

resp. with Qy, QT, yields precisely the identities of Sect. 5.1.1 applied in the region R~trap(τ1,τ2). (Note that by our choices from Sect. 2.1.3, we have T=T+ω+χΦ in this region, and note moreover that the boundary terms on t~=τi vanish by the restriction on the support.)

The Total Current Q and Its Coercivity Properties

For all frequencies, we will apply the identity corresponding to a current of the form

Q=Qf+Qy+EQT, 172

for appropriate choices of functions f, y. The coercivity statement is given by the following:

Proposition 8.2.2

Let E and f0 be as fixed in the proof of Proposition 5.1.1. Then one can choose δ1<1 sufficiently small, depending only on M, such that the following is true:

There exist functions f and y and a parameter rtrap depending on the parameters a, M and the frequency triple (ω,m,Λ~), satisfying (164), (165) and (166) and such that Q defined by (172) satisfies

Ψ2+1-rtrapr-12ω2+Λ~+1Ψ2Q-J[±2]·(f,y,E)·(Ψ,Ψ)-G[±2]·(f,y,E)·(Ψ,Ψ). 173
Proof

See Sects. 8.2.3 and 8.2.4 .

Let us note that integrating the equation

Q(A1)+A1A2Q(r)dr=Q(A2)

we infer from (173) the inequality (170).

The G1 Range

We define the range

G1={Λ~cω2}{Λ~+ω2+m2C} 174

for some 0<c<1 and C>1 which can be chosen finally to depend only on M. The frequency range G1 includes thus “angular-dominated frequencies” Λ~ω2, “trapped frequencies” Λ~ω2 and “low frequencies” Λ~+ω2+m21. We have the following:

Proposition 8.2.3

For sufficiently small |a|<a0M, then for all frequency triples in G1, there exists a function f and a parameter rmax with the following properties for r[A1,A2]:

  1. f=f0 for r[A1/2,A2/2]c and |f|1, |f|1 in [A1,A2],

  2. |rmax-3M|c(a,M) with c(a,M)0 as a0, in particular a0 can be chosen so that rtrap[A1/4,A2/4]; for m=0, rmax is independent of ω and Λ~,

  3. f1,

  4. -fV-12fΛ~(1-rmaxr-1)2+1.

Proof

Let VSchw[±2] denote the potential V of (161) in the a=0 Schwarzschild case. Writing this potential as in (161) as

VSchw=(VSchw)0+(VSchw)1,

we see easily that (VSchw)0 has a unique maximum at r=3M, while

f0r(r-2M)r-4,-f0VSchw-12f0cr(r-2M)(r-3M)2r2(+1)+1r-5,

so in particular, in the region r[A1,A2], we have

f01,-f0VSchw-12f0(1-3M/r)2(+1)+1.

We begin with a lemma concerning the behaviour of the potential V in the G1 frequency range.

Lemma 8.2.1

Let 0<c<1 and C>1 be arbitrary. For sufficiently small |a|<a0M, then for all frequency triples in the range G1, the potential V0 of (161) has a unique maximum rmax satisfying property 2. and

(r-rmax)-1V0Λ~ 175

in [A1,A2]. If m=0, then rmax is manifestly independent of ω and Λ~.

Proof

This is an easy computation in view of (163). For the region G1\{Λ~+ω2+m2C}, one uses the bound

Λ~-4|aω|12Λ~+14cω214Λ~+14cω2+116m2inG1\{Λ~+ω2+m2C}

and the smallness of a. For the region {Λ~+ω2+m2C} it suffices to use the general bound Λ~1 and the smallness of a. Notice that according to our conventions, the constant in the indeed only depends on M, since smallness of a can be used to absorb the c and C dependence.

Let χ(r) be a cutoff function such that χ=1 in [A1/4,A2/4] and χ=0 in [A1/2,A2/2]c. We define now

f=1-3M+χ(r)(rmax-3M)r1+Mr. 176

This function obviously satisfies property 1. and is easily seen to satisfy property 3.

It remains to show property 4. By (175) and the definition of f we have

-fV0Λ~(1-rmaxr-1)2.

On the other hand, for |a|a0<M sufficiently small, we have that |f0-f|c(a), and thus

-fV0-12f(Λ~(1-rmaxr-1)2+1).

Finally, we note that V=V0+V1+V2, and we have |V1-(VSchw)1|c(a), |V2|c(a) with c(a)0.

We have

-fV-12f=-fV0-12f-f(VSchw)1+f(V1-(VSchw)1)-fV2

It follows readily that property 4. indeed holds for frequencies in G1.

Now, given a parameter δ1<1, we define the function

y1=δ1((1-χ)f+χf3)). 177

Note that this function satisfies (166). We compute

y1=δ1((1-χ)f+3χf2f-χf+χf3)δ1(r-rmax)2 178

where we are using also that |f|1 implies that |f3||f|.

Note on the other hand that for sufficiently small |a|<a0M, we have

|V|Λ~+1,|V|Λ~+1

in r[A1,A2] for all frequencies in G1, in view of the general bound

14m2+1Λ~ 179

and the bound

ω2c-1Λ~+C,

which holds in G1. Thus

y1V-y1Vδ1(Λ~(1-rmaxr-1)2+1).

It follows that we may choose δ1 sufficiently small so as for

-fV-12f-y1V+y1V+y1ω2(Λ~+δ1ω2)(1-rmaxr-1)2+1. 180

Henceforth, δ1 will be fixed. In particular, according to our conventions, we may replace the δ1 factor by 1 on the right hand side of (180).

In view of (180) and (178), examining the identities of Sect. 8.2.1, we have obtained the degenerate coercivity of (Qf+Qy1).

We would like to improve this coercivity in the “angular-dominated” subrange of G1. Let us now introduce a new parameter C1 and consider the range

G1{Λ~Cω2}. 181

Noting that we have

VΛ~+1

in G1, it follows that for C sufficiently large, we have

V-ω2VΛ~Λ~+ω2

in (181). Henceforth, C will be fixed. We may now define a new small parameter δ3>0 and define a function

y2=δ3(rmax-r)χ,

where χ is the cutoff from above. We have that for frequency triples in (181),

y2(ω2-V)δ3,-y2Vδ3(Λ~(1-rmaxr-1)2+1)

in [A1/4,A2/4], while

y2V-y2Vδ3(Λ~(1-rmaxr-1)2+1),|y2|δ3

in [A1,A2]. In particular, we may choose δ3 sufficiently small, with the smallness requirement depending only on M, so that, defining

y=y1+y2, 182

we have

2f+y1,-fV-12f-yV+yV+ω2y(Λ~+ω2)(δ3+(1-rmaxr-1)2)+1 183

in (181). Henceforth, δ3 will be fixed.

We are ready now for our final definitions. In the range (181), we define y by (182). Since δ3 is now fixed we may now write

(δ3+(1-rmaxr-1)2)1.

We thus can set rtrap=0.

For the remaining frequencies in G1, i.e. for frequencies in G1{Λ~<Cω2}, we define simply y=y1 and rtrap=rmax.

Finally, we consider the current

EQT

for E the parameter fixed in Sect. 5.1.

Thus, applying the identity corresponding to (172) in view of (178), (180) and (183), we obtain that Proposition 8.2.2 holds for all frequencies in G1.

The G2 Range

We define this frequency range to be the complement of G1, i.e.

G2={ω2>c-1Λ~}{Λ~+ω2+m2>C}. 184

These are the “time-dominated” large frequencies.

We may choose c sufficiently small, and C sufficiently large, so that for sufficiently small |a|<a0M, we have

ω2-V12ω2,|V|12ω2inG2 185

Henceforth, c and C will be fixed by the above restriction. We note that it is certainly the case that Cc.

Consider the function f0 of the previous section. We define simply f=f0 for frequencies in G2.

Given the parameter δ1 fixed in Sect. 8.2.3, we define now y=δ1f. It follows from (185) that in the range G2 we have

(2f+y)1,-(fV+yV)-12f+y(ω2-V)ω2(ω2+Λ~2+1).

We may define thus the parameter rtrap=0 for the frequency range G2.

Finally, we may again add

EQT

for E the parameter fixed in Sect. 5.1.

Thus again applying the identity to (172) with the above definitions we obtain that Proposition 8.2.2 holds for all frequencies in G2.

Since G1G2 contains all admissible frequencies, the results of this section together with Section 8.2.3 imply that Proposition 8.2.2, and thus (170), indeed holds.

The proof of Proposition 8.2.1 is now complete.

Let us recall that in the course of the above proof, we have fixed the parameter δ1. This allows us to fix also δ2 of Proposition 5.1.1. Since E has been fixed previously, it follows that all dependences on parameters can be removed from the in the statement of Proposition 5.1.1.

Transport Estimates for ψ[±2] and u[±2]

In this section we will prove frequency-localised versions for the transport estimates of [31] to obtain estimates for u[+2] and ψ[+2] from Ψ[+2] as well as for u[-2] and ψ[-2] from Ψ[-2], localised in r[A1,A2].

The main result of the section is:

Proposition 8.3.1

With the assumptions of Theorem 8.1, we have the following estimates:

dψ[±2]2(A)+du[±2]2(A)+dψ[±2]2+du[±2]2dΨ[±2]2+dψ[±2]2(A±)+du[±2]2(A). 186

Proof

We consider first the case +2 of (186).

Adding the identity arising from multiplying (157) by rΔψ[+2]¯ and its complex conjugate by rΔψ[+2] leads after integration and applying Cauchy–Schwarz on the right hand side to the estimate

r|Δψ[+2]|2A1+A1A2dr|Δψ[+2]|2A1A2dr|Ψ[+2]|2+r|Δψ[+2]|2A2. 187

Similarly, adding the identity arising from multiplying (156) by ru[+2]¯w and its complex conjugate by ru[+2]w leads after integration and applying Cauchy–Schwarz on the right hand side to the estimate

r|u[+2]w|2A1+A1A2dr|u[+2]w|2A1A2dr|ψ[+2]|2+r|u[+2]w|2A2. 188

Combining (187) and (188) yields (186) without the m2 and ω2 terms in the norms on the left.

To obtain the estimate with the m2 and ω2 terms we define the frequency ranges

F=ω214C-1m2,F=ω2<14C-1m2

where C is the constant of Sect. 8.2.3. In view of the general bound (179) which holds for all admissible frequencies, it follows that in the frequency range F, we have

Cω2<14m2Λ~

and thus F is contained in the frequency range (181). It follows that rtrap=0 for F, i.e. these frequencies are not “trapped”.

Suppose first that (ω,m) lie in the frequency range F. Since rtrap=0, we have

A1A2|(Ψ[±2])|2+(Λ~2+m2+ω2+1)|Ψ[±2]|2drdΨ[±2]2. 189

Multiplying thus (157) and (156) by m and ω and repeating the argument leading to (187) and (188) immediately leads to (186).

Suppose on the other hand that (ω,m) lie in the frequency range F. Here we do not have the m2 and ω2 in (189) and thus we proceed as follows. Commuting (157) by ddr leads to the identity

ddr-iω+iamr2+a2Δψ[+2]=-wΨ[+2]-wΨ[+2]+2riamr2+a2w·Δψ[+2]. 190

Multiplying this by rΔψ[+2]¯ and adding the complex conjugate multiplied by rΔψ[+2] we find, upon integration and using Cauchy–Schwarz on the right hand side, the estimate

r|Δψ[+2]|2A1+A1A2dr|Δψ[+2]|2r|Δψ[+2]|2A2+dΨ[±2]2+A1A2dra2m2|Δψ[+2]|2. 191

Using the pointwise relation (157) and the definition of the norm dΨ[±2] (as well as the simple fact that for i=1,2 |Ψ±2|2AidΨ[±2]2), the estimate (191) is also valid replacing on the left hand side |Δψ[+2]|2 by |L_Δψ[+2]|2=|wΨ[+2]|2. Using the relation (155) we therefore deduce

ω-amr2+a22|Δψ[+2]|2A1+A1A2drω-amr2+a22|Δψ[+2]|2dΨ[±2]2+A1A2dra2m2|Δψ[+2]|2+ω-amr2+a22|Δψ[+2]|2A2. 192

In the range F, restricting to sufficiently small |a|<a0M, we have that

ω2ω-amr2+a22ω2.

It follows that in the inequality (192), we can replace the factor in round bracket on the left hand side simply by ω2 and absorb the second term on the right by the left hand side. This establishes (186) for the ψ[+2]-norm on the left. We can now multiply (188) by m2 and ω2 and use the estimate just obtained for ψ[+2] to establish the estimate (186) also for the u[+2]w-term. The proof of (186) is now complete.

To prove (186) for s=-2 one follows the identical argument but choosing the multiplier 1r instead of r.

Controlling the Inhomogeneous Term K[±2] in Proposition 8.2.1

Proposition 8.4.1

The term

K[±2]=A1A2J[±2]·(f,y,E)·(Ψ[±2],Ψ[±2])dr

appearing in Proposition 8.2.1 satisfies

|K[±2]||a|dΨ[±2]2+|a|dψ[±2]2+|a|du[±2]2+|a|i=12(dψ[±2]2(Ai)+du[±2]2(Ai)). 193

Proof

Since f, f and y are all uniformly bounded we have by Cauchy–Schwarz:

A1A2|fReΨ[±2]J[±2]¯|+|fReΨ[±2]J[±2]¯|+|yReΨ[±2]J[±2]¯||a|dΨ[±2]2+|a|dψ[±2]2+|a|du[±2]2. 194

For the last remaining term, A1A2ωImJ[±2]Ψ[±2]¯, we observe that we only need to estimate

|A1A2crImimψ[±2]ωΨ[±2]¯|and|A1A2crImimu[±2]ωΨ[±2]¯|, 195

where cr denotes a generic bounded real-valued function with uniformly bounded derivative in A1,A2 (whose explicit form may change in the estimates below). This is because the other terms appearing in J[±2] are again easily controlled via Cauchy–Schwarz and satisfy the estimate (194). We show how to estimate these terms for s=+2, the case s=-2 being completely analogous.

For the first term of (195) we have

A1A2crImimψ[+2]ωΨ[+2]¯=A1A2cr×ImmΨ[+2]¯-L_ψ[+2]-ψ[+2]+iamr2+a2ψ[+2]=A1A2crImmΨ[+2]¯ψ[+2]+crImΨ[+2]¯mψ[+2]|A1A2+A1A2crImΨ[+2]¯mψ[+2]+A1A2Im-crmψ[+2]¯+crmψ[+2]¯iamψ[+2] 196

where we have used the (frequency localised) relation between Ψ[+2] and ψ[+2] twice. Now the first three terms on the right hand side are again easily controlled using Cauchy–Schwarz (as well as the simple fact that for i=1,2 |Ψ[±2]|2AidΨ[±2]2). For the term in the last line we integrate the first summand by parts while the second is already manifestly controlled by dψ[±2]2. This leads immediately to (193).

For the second term of (195), write

A1A2crImimu[+2]ωΨ[+2]¯=A1A2Remu[+2]¯ωcrL_ψ[+2]+crψ[+2]. 197

The second term on the right is already manifestly controlled by dψ[±2]2 and for the first we integrate by parts

-A1A2Remu[+2]¯ωcrL_ψ[+2]=Remu[+2]¯ωcrψ[+2]|A1A2+A1A2crmω|ψ[+2]|2+crRemωu[+2]¯ψ[+2] 198

from which the estimate (193) is easily obtained.

Putting together Propositions 8.2.18.3.1 and 8.4.1 , we obtain Theorem 8.1.

Back to Physical Space: Energy Boundedness and Integrated Local Energy Decay

We now turn in this section in ernest to the study of the Cauchy problem for (37) for s=±2. The main result of this section will be a uniform (degenerate) energy boundedness and integrated energy decay statement. This will be stated as Theorem 9.1 of Sect. 9.1. This corresponds to statement 1. of the main result of the paper, Theorem 4.1.

The remainder of the section will then be devoted to the proof of Theorem 9.1. We first define in Sect. 9.2 a cutoff version Inline graphic of our solution α[±2] of (37) such that Inline graphic satisfies an inhomogeneous equation (53), whose inhomogeneous term Inline graphic is localised in time to be supported only “near” t~=0 and “near” t~=τfinal and in space to be supported only in r=[2A1,2A2]. The cutoff is such that restricted to r[A1,A2], Inline graphic is compactly supported in t~[0,τfinal]. This allows us in Sect. 9.3 to then apply the results of Sect. 8 to such Inline graphic, summing the resulting estimate over frequencies. In Sect. 9.4 we shall combine this estimate with the conditional estimates of Sect. 5, using also the auxiliary estimates of Sect. 5.3 to obtain a global integrated energy decay statement, with an error term, however, on the right side arising from the cutoff. Finally, we shall bound this latter error terms associated to the cutoff in Sect. 9.5, again using the auxiliary estimates of Sect. 5.3, allowing us to infer the statement of Theorem 9.1.

As remarked in Sect. 1.2.5, in the axisymmetric case, one can directly distill from the calculations of this paper an alternative, simpler proof of Theorem 9.1 expressed entirely in physical space. We do this in Sect. 9.6.

Statement of Degenerate Boundedness and Integrated Energy Decay

Theorem 9.1

Let α[±2], Ψ[±2] and ψ[±2] be as in Theorem 4.1.

Then, for Inline graphic, we have the following estimates

  • the basic degenerate Morawetz estimate
    IηdegΨ[+2]0,τfinal+Iηψ[+2]0,τfinal+Iηα[+2]0,τfinalEΣ~τ,ηΨ[+2]0+EΣ~τ,ηψ[+2]0+EΣ~τ,ηα[+2]0 199
  • the η-weighted energy boundedness estimate
    EH+Ψ[+2]0,τfinal+EΣ~τ,ηΨ[+2]τfinalEΣ~τ,ηΨ[+2]0+EΣ~τ,ηψ[+2]0+EΣ~τ,ηα[+2]0. 200

Similarly, for Inline graphic, we have

  • the basic degenerate Morawetz estimate
    IηdegΨ[-2]0,τfinal+Iψ[-2]0,τfinal+Iα[-2]0,τfinalEΣ~τ,ηΨ[-2]0+EΣ~τψ[-2]0+EΣ~τα[-2]0 201
  • the η-weighted energy boundedness estimate
    EH+Ψ[-2]0,τfinal+EΣ~τ,ηΨ[-2]τfinalEΣ~τ,ηΨ[-2]0+EΣ~τψ[-2]0+EΣ~τα[-2]0. 202

Remark 9.1

In the case s=-2 one can prove these estimates using only the EΣ~τ,0Ψ[-2]-energy. However, that energy is insufficient to eventually control the energy flux of r-3α[-2] through null infinity, which is why we kept the estimate as symmetric with the s=+2-case as possible. See also Remark 5.2.

In the proof of the theorem, we may assume for convenience that the data (α~0[±2],α~1[±2]) are smooth. It follows that all associated appropriately rescaled quantities Ψ[±2], etc., are smooth in R0. To ease notation we define the data quantities

D[+2]0=EΣ~τ,ηΨ[+2]0+EΣ~τ,ηψ[+2]0+EΣ~τ,ηα[+2]0,D[-2]0=EΣ~τ,ηΨ[+2]0+EΣ~τψ[+2]0+EΣ~τα[+2]0. 203

The Past and Future Cutoffs

Let ε>0 be a parameter to be determined. Fix τfinal>0. One easily sees that one can choose a smooth function Ξ:R×R[0,1] with the properties:

Ξ=0if(r,t~)[A1,A2]×{(-,0][τfinal,)}Ξ=1if(r,t~){(-,2A1][2A2,)}×R[2A1,2A2]×[ε-1,τfinal-ε-1]rΞ=0if(r,t~)[A1,A2]×(-,)|t~k1Ξ|εif(r,t~)[A1,A2]×{[0,ε-1][τfinal-ε-1,τfinal]}|t~k1r~k2Ξ|1for all(r,t~)R×R 204

for all k1,k20.

Define now

graphic file with name 40818_2018_58_Equ205_HTML.gif 205

We note that Inline graphic and satisfies (53) with inhomogeneity given by

graphic file with name 40818_2018_58_Equ206_HTML.gif 206

We define now Inline graphic to be given by (38), Inline graphic to be given by (46)–(47), Inline graphic to be given by (48) and Inline graphic to be given by (49)–(50), where all quantities now have Inline graphic.

We note that Inline graphic restricted to 0t~τfinal is supported in the support of Ξ (see the shaded regions of Fig. 3):

({0t~ε-1}{τfinal-ε-1t~τfinal}){2A1r2A2} 207

while

graphic file with name 40818_2018_58_Equ445_HTML.gif

in {A1rA2}({t~0}{t~τfinal}.

Fig. 3.

Fig. 3

Support of Ξ restricted to 0t~τfinal

Let us already note the following proposition

Proposition 9.2.1

Let Inline graphic be as above and let G±2 be the inhomogeneous term associated to the generalised Regge–Wheeler equation (54) arising from Inline graphic according to (56) and (58). Then we have the estimates

R~trap(0,τfinal)|G[±2]|2dVolε2Itrap[α[±2]](0,ε-1)+Itrap[ψ[±2]](0,ε-1)+ε2Itrap[α[±2]](τfinal-ε-1,τfinal)+Itrap[ψ[±2]](τfinal-ε-1,τfinal)+εsup0ττfinalEΣ~τ,0[Ψ[±2]], 208
R~away(0,τfinal)|G[±2]|2dVolI[η][α[±2]](0,ε-1)+I[η][ψ[±2]](0,ε-1)+I[η][α[±2]](τfinal-ε-1,τfinal)+I[η][ψ[±2]](τfinal-ε-1,τfinal)+ε-1sup0ττfinalEΣ~τ,0[Ψ[±2]]. 209

Here the subindex η is equal to η in case of s=+2 and it is dropped entirely in case s=-2.

Remark 9.2

As the proof shows and is already clear from the support of the cut-offs, only the spacetime integrals in the overlap region are needed on the right hand side of (209).

Proof

We first prove (208). Note that the support of G is manifestly contained in the support (207) of Inline graphic. Moreover, one easily sees that one obtains sum of terms containing

LΨ[±2],L_Ψ[±2],Ψ[±2],TΨ[±2],ΦΨ[±2],Lψ[±2],L_ψ[±2],Tψ[±2],Φψ[±2],ψ[±2],Lα[±2],L_α[±2],Tα[±2],Φα[±2],α[±2]

with r and horizon weights which are uniformly bounded in view of the support. From the conditions (204) defining Ξ, it follows that

|Lk1L_k2Tk3Ξ|εforr[A1,A2] 210

for any k1+k2+k31, where we have used also that t=t=t~ in this region by our choices in Sect. 2.1.3. It follows that all terms in the expression for G pick up an ε factor. The inequality (208) now follows from Cauchy–Schwarz, the definition of the norms and Remarks 4.1 and 4.2 , where in addition we have appealed to the coarea formula and size of t~-support for the term involving Ψ[±2].

The proof is the same for (209), except that the nontrivial r dependence of Ξ given by (204) means that ε on the right hand side of (210) must now be replaced by 1 outside of r[A1,A2], and thus the ε2 factor of (208) is no longer present in the right hand side of the final estimate.

We will in fact not use the bound (209) directly, but similar bounds for physical space terms that arise from multiplying GΨ and GrΨ.

The Summed Relation

In view of the support of Inline graphic and the smoothness of (206), it follows that Inline graphic manifestly satisfies the [A1,A2]-admissibility condition of Definition 6.1. In a slight abuse of notation, we will denote the coefficients of Inline graphic, Inline graphic, etc., without the Inline graphic subscript.12

We define thus the coefficients um[±2],(aω) and we apply Theorem 8.1 with the admissible frequency triple (ω,m,Λ~m[±2],(aω)). We now integrate over ω and sum over frequencies:

-dωm.

From summing the relations (167)–(169), we hence obtain in view of the Plancherel relations of Sect. 6.2.3 (applied to Inline graphic, Inline graphic and Inline graphic):

Proposition 9.3.1

Let the assumptions of Theorem 9.1 hold. Define the cut-off quantities Inline graphic, Inline graphic and Inline graphic as in (205), (38) and (46)–(50). Then we have the estimates

graphic file with name 40818_2018_58_Equ211_HTML.gif 211
graphic file with name 40818_2018_58_Equ212_HTML.gif 212

where

graphic file with name 40818_2018_58_Equ446_HTML.gif

Global Physical Space Estimates

Let us first combine the above estimates with the conditional physical space estimates proven in Sect. 5.

Proposition 9.4.1

Let the assumptions of Theorem 9.1 hold. Define the cut-off quantities Inline graphic, Inline graphic and Inline graphic as in (205), (38) and (46)–(50). Then we have the estimates

graphic file with name 40818_2018_58_Equ213_HTML.gif 213
graphic file with name 40818_2018_58_Equ214_HTML.gif 214

where

graphic file with name 40818_2018_58_Equ447_HTML.gif

In the above, the subindex η is equal to η in case of s=+2 and it is dropped entirely in case s=-2.

Proof

We add the estimates of Proposition 9.3.1 with those of Sect. 5 as follows.

Let us consider first the +2 case. We first add the first estimate (105) of Proposition 5.2.1 (applied to Inline graphic and Inline graphic with τ1=0, τ2=τfinal and with p=η) to a suitable constant times the estimate (212) of Proposition 9.3.1. The constant ensures that the terms Er=A2 on the left hand side of (105) is sufficient to absorb the analogous term on the right hand side of (212). Finally, we now add to the previous combination a suitable constant times the second estimate (106) of Proposition 5.2.1, again so that the boundary terms on Er=A1 are now absorbed. We obtain thus

graphic file with name 40818_2018_58_Equ215_HTML.gif 215
graphic file with name 40818_2018_58_Equ216_HTML.gif 216

in the case of +2. For the -2 case, we choose the relative constants in the reverse order, starting with the second estimate (115) of Proposition 5.2.2. We obtain again (215) in the -2 case, as well as the estimate (216) for the boundary terms.

We now similarly add Proposition 5.1.1 (applied to Inline graphic with τ1=0, τ2=τfinal) to (211), noting that the Q boundary terms exactly cancel. This gives thus

graphic file with name 40818_2018_58_Equ217_HTML.gif 217

We fix now a sufficiently small parameter e depending only on M. It follows that, restricting to a0e, we may sum e× (215) with (217) to absorb both the first term on the right hand side of (215) and the middle two terms on the right hand side of (217). The desired (213) follows.

The estimate (214) again follows from (216) and (213).

In the rest of this subsection, we proceed to remove the Inline graphic from the quantities on the left hand side of (213).

Putting together the local-in-time Proposition 5.3.2 and the (T+χω+Φ)-energy estimate Proposition 5.3.1 we obtain first the following:

Proposition 9.4.2

With the notation of Proposition 9.4.1, we have the additional estimates

graphic file with name 40818_2018_58_Equ218_HTML.gif 218
graphic file with name 40818_2018_58_Equ219_HTML.gif 219
graphic file with name 40818_2018_58_Equ220_HTML.gif 220
graphic file with name 40818_2018_58_Equ221_HTML.gif 221

Here the subindex η is equal to η in case of s=+2 and it is dropped entirely in case s=-2.

Proof

For estimate (218) one applies Proposition 5.3.2 (applied with τ1=0 and with τstep=ε-1) and Proposition 9.4.1 and the fact that the cutoff Ξ=1 identically in the region t~[ε-1,τfinal-ε-1] and in the region {r2A2}{r2A1}. Estimate (219) follows similarly from (214).

Estimate (220) now follows from (218) and Proposition 5.3.1 applied with τ1=0 and 0τ2τfinal-ε-1.

Finally, to obtain (221), we argue as follows. Revisiting the transport estimates of Sect. 5.2, we can estimate the left hand side from initial data, Iηdeg[Ψ[±2]](0,τfinal-ε-1), the left hand side of (219) and the left hand side of (220).

Using once again the auxiliary estimates of Sect. 5.3, we can now improve this to:

Proposition 9.4.3

graphic file with name 40818_2018_58_Equ222_HTML.gif 222
graphic file with name 40818_2018_58_Equ223_HTML.gif 223

Proof

Appealing to Proposition 5.3.2 with τ1=τfinal-ε-1 and with τstep=ε-1, and using (221), we obtain

graphic file with name 40818_2018_58_Equ224_HTML.gif 224

Finally, we apply (220) to absorb the last term on the right hand side, obtaining thus (222). Repeating now the proof of (220) we obtain (223).

Controlling the Term Inline graphic and Finishing the Proof of Theorem 9.1

Finally, we control the error term Inline graphic arising from the cutoff.

Proposition 9.5.1

graphic file with name 40818_2018_58_Equ225_HTML.gif 225

Proof

Recalling

graphic file with name 40818_2018_58_Equ448_HTML.gif

let us further partition Inline graphic as Inline graphic where we define

graphic file with name 40818_2018_58_Equ226_HTML.gif 226
graphic file with name 40818_2018_58_Equ227_HTML.gif 227

We will show the above estimate for H1, H2 and Inline graphic.

Let us first deal with the term Inline graphic. This is supported in

({0t~ε-1}{τfinal-ε-1t~τfinal}){2A1r2A2} 228

and consists of quadratic terms one of which always contains a Ψ[±2]-term. Thus, by Cauchy–Schwarz this can easily be bounded by the first three lines of the right hand side of (225), where an ε-1 factor is introduced on the Ψ term, compensated by an ε on the other terms. (The extra ε factor in ε-2 arises from estimating a spacetime integral by the supremum. Cf. the proof of (209).)

For H1, by the exact Plancherel formulae of Sect. 6.2.3, the integral (226) transforms into a physical space integral supported in

({0t~ε-1}{τfinal-ε-1t~τfinal}){A1rA2} 229

which similarly to before, is obviously estimable from the first three lines of the right hand side of (225). (In fact, one could replace the factor ε-2 with 1, since, just as in the proof of (208), t~ derivatives of the cutoff Ξ always generate extra ε factors; we will use this idea below for estimating the remaining term.)

For H2, we first apply Cauchy–Schwarz, introducing a ε-1,

H2[±2]-mA1A2drε-1Gm(aω)2+ε(Ψm[±2],(aω),(Ψ)m[±2],(aω))2,

where we have used (165) to bound the f, f and y factors uniformly over frequencies. We now apply Plancherel. We note that by Proposition 9.2.1, the first term on the right hand side is bounded by ε-1× the right hand side of (208) while the second term is manifestly bounded by

εItrap[Ψ[±2]](0,τfinal).

We obtain (225) for H2, finishing the proof.

Proposition 9.5.2

For sufficiently small a0ε1, we have

H[±2]ε-3D[±2](0) 230

Proof

Apply Proposition 5.3.1 of Sect. 5.3 to the estimate of Proposition 9.5.1 and combine with Proposition 9.4.3.

Now let ε be fixed by the requirement of the above proposition. From (230) and Proposition 9.4.3 all statements of Theorem 9.1 now follow.

Note on the Axisymmetric Case: A Pure Physical-Space Proof

We note that in the axisymmetric case ϕα[±2]=0, the physical space multiplier and transport estimates of Sect. 5 can be applied directly globally in the region R~(τ1,τ2), i.e. without the restriction to R~away(τ1,τ2). This leads already to a much shorter proof of Theorem 9.1 which can be expressed entirely with physical space methods. We explain how this physical-space proof can be distilled directly from the more general calculations of Sect. 8 done at fixed frequency.

Given |a|<a0M sufficiently small, let rtrap be the unique value given by Lemma 8.2.1 and define f by (176) and y by δ1((1-χ)f+χf3-δ1χ~(r)r-η) where χ is the cutoff appearing in (177) and χ~ is the cutoff appearing in (101). The calculation of Sect. 8.2.3 now shows that the coercivity property of the physical space current If+Iy holds globally in R~trap(τ1,τ2) and thus (102) holds when integrated globally in R~(τ1,τ2), i.e. without restriction to the “away” region and with Iaway replaced by Iηdeg. One also produces an estimate for the future boundary term:

EηΨ±2(τ2) 231

in view of property 3. of the proof of Proposition 5.1.1.

We apply this estimate then in the region R~(0,τ2) directly to Ψ[±2] arising from a solution α[±2] of the homogeneous Teukolsky equation (37).

We must estimate the error term arising from the coupling J[±2]. For this we turn first to global transport estimates.

Note that in the axisymmetric case, the simple estimate applied in Sect. 8.3 for frequencies in the range F applies now for all frequencies (since F= if m=0) and corresponds to commuting the transport equations by r and integrating by parts. This physical space procedure, say in the [+2] case, allows one to obtain the estimate

Er=A1α[+2](0,τ2)+Er=A1ψ[+2](0,τ2)+Etrapα[+2](τ2)+Etrapα[+2](τ2)+Itrapα[+2](0,τ2)+Itrapψ[+2](0,τ2)ItrapΨ[+2](0,τ2)+D[+2](0). 232

Note that Itrap(0,τ2) is degenerate and thus controlled by Iηdeg(0,τ2). Summing (232) with the estimates obtained from (105) and (106), as in the proof of Proposition 9.4.1, allows one to estimate finally

Eηα[+2](τ2)+Eηα[+2](τ2)+I[η]α[±2](τ1,τ2)+I[η]ψ[±2](τ1,τ2)IηdegΨ[±2](τ1,τ2)+D[±2](0). 233

With this we estimate the new contribution to J±2] coming from the region Rtrap(τ1,τ2). The only difficult term is the one arising from the T multiplier. In the fixed frequency estimate of Sect. 8.4, this corresponded to passing an ω from ψ to Ψ before applying Cauchy–Schwarz. In physical space, this corresponds simply to integration by parts in t. By this physical space estimate, we obtain that the resulting term is bounded by

|a|Itrap[Ψ](0,τ2)+|a|Itrap[α](0,τ2)+|a|Itrap[ψ](0,τ2)+|a|EΣ~τtrapΨ[±2](τ2)+|a|EΣ~τtrapα[±2](τ2)+|a|EΣ~τtrapψ[±2](τ2)+|a|D[±2](0), 234

where the future boundary terms arise from this integration by parts. (Note that all other terms in J[±2] are estimated by the first line of (234) alone.) Combining with the original statement of Proposition 9.4.1, this yields

EΣ~τ,ηΨ[±2]+IηdegΨ[±2](τ1,τ2)D[±2](0)+(234). 235

In view of (233), for sufficiently small |a|<a0M, one can absorb the terms (234) on the right hand side of (235) into the left hand side. The remaining statements of Theorem 9.1 follow immediately.

The Redshift Effect and Its Associated Morawetz Estimate

In this section we will obtain statement 2. of Theorem 4.1 concerning the boundedness and integrated local energy decay of the so-called red-shifted energy. The required statement is contained in Theorem 10.1 below.

Statement of Red-Shifted Boundedness and Integrated Decay

Theorem 10.1

Let α[±2], Ψ[±2] and ψ[±2] be as in Theorem 4.1. Then the following holds for any τ2>τ10.

For Inline graphic

  • the basic degenerate Morawetz estimate
    I¯ηdegΨ[+2]τ1,τ2+Iηψ[+2]τ1,τ2+Iηα[+2]τ1,τ2E¯Σ~τ,ηΨ[+2]τ1+EΣ~τ,ηψ[+2]τ1+EΣ~τ,ηα[+2]τ1, 236
  • the basic non-degenerate Morawetz estimate
    I¯ηΨ[+2]τ1,τ2E¯Σ~τ,ηΨ[+2]τ1+EΣ~τ,ηψ[+2]τ1+EΣ~τ,ηα[+2]τ1+E¯Σ~τ,ηTΨ[+2]τ1+EΣ~τ,ηTψ[+2]τ1+EΣ~τ,ηTα[+2]τ1, 237
  • the η-weighted energy boundedness estimate
    E¯H+Ψ[+2]τ1,τ2+E¯Σ~τ,ηΨ[+2]τ2E¯Σ~τ,ηΨ[+2]τ1+EΣ~τ,ηψ[+2]τ1+EΣ~τ,ηα[+2]τ1. 238

For Inline graphic

  • the basic degenerate Morawetz estimate
    I¯ηdegΨ[-2]τ1,τ2+Iψ[-2]τ1,τ2+Iα[-2]τ1,τ2E¯Σ~τ,ηΨ[-2]τ1+EΣ~τψ[-2]τ1+EΣ~τα[-2]τ1, 239
  • the basic non-degenerate Morawetz estimate
    I¯ηΨ[-2]τ1,τ2E¯Σ~τ,ηΨ[-2]τ1+EΣ~τψ[-2]τ1+EΣ~τα[-2]τ1+E¯Σ~τ,ηTΨ[-2]τ1+EΣ~τTψ[-2]τ1+EΣ~τTα[-2]τ1,. 240
  • the η-weighted energy boundedness estimate
    E¯H+Ψ[-2]τ1,τ2+E¯Σ~τ,ηΨ[-2]τ2E¯Σ~τ,ηΨ[-2]τ1+EΣ~τψ[-2]τ1+EΣ~τα[-2]τ1. 241

Proof of Theorem 10.1

We only prove the s=+2 case. The s=-2 case is completely analogous and slightly easier because the term J[-2] has stronger degeneration near the event horizon. Note that in Sect. 9 we have already proven the estimates (236) and (238) provided we drop all overbars from the energies that appear. The estimate (237), which does not degenerate in a neighbourhood of r=3M but loses a derivative, is a simple corollary of (236) and (238) again provided we drop all overbars from the energies. Hence the only task left is to improve the L_ derivative in the energies that appear. This is achieved using the redshift multiplier of [39, 43]:

The redshift identity. Recall the notational conventions of Sect. 5.1.1. Multiplying (54) by Y=1wξL_Ψ¯ (with ξ a smooth radial cut-off function equal to 1 for rr+,r++14M and equal to zero for rr++12M) and taking the real parts yields (use the formulae of Appendix B.5)

L_{FL_Y}+L{FLY}+IYRe-J[s]+G[s]1wξL_Ψ¯ 242

where

graphic file with name 40818_2018_58_Equ243_HTML.gif 243
graphic file with name 40818_2018_58_Equ244_HTML.gif 244
graphic file with name 40818_2018_58_Equ245_HTML.gif 245

We apply the identity (242) to the equation satisfied by Ψ[+2]. In particular, G[s]=0 because α[+2] satisfies the homogeneous Teukolsky equation. Upon integration over R~τ1,τ2 (recalling Remark 5.1) we obtain (236) and (238) after making the following observations:

  • The first term in FLY and the first term in FL_Y are manifestly non-negative and produce precisely the desired improvement in the L_ derivative and the missing angular derivative in the horizon term respectively. All other terms appearing as boundary terms can now be controlled using Cauchy–Schwarz and (35) by the energies without the overbar (sometimes borrowing an ϵ from the just obtained good L_-derivative term and the good angular term respectively is required).

  • Examining (245), the term 12ξww2|L_Ψ|2 is manifestly positive and produces precisely the desired improvement of the |L_Ψ|2 in the spacetime energy without the overbar. All other terms can be controlled by the spacetime energy without the overbar, sometimes borrowing an ϵ from the improved |L_Ψ|2 term.

  • The error term
    Mτ1,τ2|J[+2]1wξL_Ψ¯|1ρ2r2+a2Δ
    is controlled using Cauchy’s inequality with ϵ and the energies I0ψ[+2]τ1,τ2+I0α[+2]τ1,τ2.

Finally, the estimate (237) follows from its un-overbarred version by adding the just established (236).

The rp-Weighted Hierarchy and the Main Decay Result

To complete the proof of Theorem 4.1, it remains to obtain statements 3. and 4. concerning the rp-weighted hierarchy and polynomial decay. The required statement is contained in Theorem 11.1 below.

Statement of the Decay Theorem

Theorem 11.1

Let α[±2], Ψ[±2] and ψ[±2] be as in Theorem 4.1. Then the following holds for any τ>τ0=0.

For Inline graphic we have

E¯Σ~τ,ηΨ[+2]τ+EΣ~τ,ηψ[+2]τ+EΣ~τ,ηα[+2]τD2,2Ψ[+2],ψ[+2],α[+2]τ0τ2-η 246

for the initial data energy

D2,2Ψ[+2],ψ[+2],α[+2]τ0=k=01E¯Σ~τ,2TkΨ[+2]τ0+EΣ~τ,2Tkψ[+2]τ0+EΣ~τ,2Tkα[+2]τ0+E¯Σ~τ,ηT2Ψ[+2]τ0+EΣ~τ,ηT2ψ[+2]τ0+EΣ~τ,ηT2α[+2]τ0.

For Inline graphic we have

E¯Σ~τ,ηΨ[-2]τ+EΣ~τψ[-2]τ+EΣ~τα[-2]τD2,2Ψ[-2],ψ[-2],α[-2]τ0τ2-η 247

and

E¯Σ~τ,ηΨ[-2]τ+E¯Σ~τψ[-2]τ+E¯Σ~τα[-2]τD¯2,2Ψ[-2],ψ[-2],α[-2]τ0τ2-η 248

for the initial data energy

D2,2Ψ[-2],ψ[-2],α[-2]τ0=k=01E¯Σ~τ,2TkΨ[-2]τ0+EΣ~τTkψ[-2]τ0+EΣ~τTkα[-2]τ0+E¯Σ~τ,ηT2Ψ[-2]τ0+EΣ~τT2ψ[-2]τ0+EΣ~τT2α[-2]τ0,

and with D¯2,2Ψ[-2],ψ[-2],α[-2]τ0 defined by putting an overbar on all energies appearing in D2,2Ψ[-2],ψ[-2],α[-2]τ0.

Proof of Theorem 11.1 for s=+2

The s=+2 case of Theorem 11.1 will be proven in Sect. 11.2.3 by combining basic estimates from the rp hierarchy associated with the inhomogeneous wave equation satisfied by Ψ[+2] (derived in Sect. 11.2.1) and basic transport estimates for ψ[+2] and α[+2] (derived in Sect. 11.2.2).

The Weighted rp Hierarchy for Ψ[+2] in Physical Space

Proposition 11.2.1

Under the assumptions of Theorem 11.1 we have for any τ2>τ10 and for p=2, p=1 and p=η the estimate

E¯Σ~τ,pΨ[+2]τ2+I¯pdegΨ[+2]τ1,τ2+EI+,pΨ[+2]τ1,τ2E¯Σ~τ,pΨ[+2]τ1+EΣ~τ,ηψ[+2]τ1+EΣ~τ,ηα[+2]τ1

and the non-degenerate estimate

E¯Σ~τ,pΨ[+2]τ2+I¯pΨ[+2]τ1,τ2+EI+,pΨ[+2]τ1,τ2E¯Σ~τ,pΨ[+2]τ1+EΣ~τ,ηψ[+2]τ1+EΣ~τ,ηα[+2]τ1+E¯Σ~τ,ηTΨ[+2]τ1+EΣ~τ,ηTψ[+2]τ1+EΣ~τ,ηTα[+2]τ1.
Proof

Given α[+2] we apply the multiplier identity (96) to Ψ[+2]. To the identity that is being produced after integration over R~(τ1,τ2), we can add a large constant B (depending only on M) times the basic estimate (236) such that the following holds: For the boundary term we have for all pη,2

R~(τ1,τ2)L{FLrp}+L_{FL_rp}1ρ2r2+a2ΔdVol+B·E¯Σ~τ,ηΨ[+2](τ2)b·E¯Σ~τ,pΨ[+2](τ2)-B·E¯Σ~τ,pΨ[+2](τ1)+bEI+,pΨ[+2]τ1,τ2. 249

For the spacetime term we have

R~(τ1,τ2)Irp1ρ2r2+a2ΔdVol+B·I¯ηdegΨ[+2](τ1,τ2)b·I¯pdegΨ[+2](τ1,τ2) 250

for pη,2 and for p=2

p=2-η,p=2R~(τ1,τ2)Irp1ρ2r2+a2ΔdVol+B·I¯ηdegΨ[+2](τ1,τ2)b·I¯2degΨ[+2](τ1,τ2), 251

the latter case being special because for p=2 we lose control of the angular derivatives in (99). For the error term (which in view of ξ being supported for large r is supported for large r) we have, for any λ>0,

R~(τ1,τ2)|J[+2]||ξ||β4||rpLΨ[+2]|r2+a2Δρ2dVolR~(τ1,τ2)dVolr2+a2Δρ2λrp-1|LΨ[+2]|2+rp+1λ|J[+2]|2λI¯pdegΨ[+2](τ1,τ2)+a2λIηψ[+2]τ1,τ2+Iηα[+2]τ1,τ2.

Note that there is no G[+2] error term as F[+2]=0 and hence G[+2]=0. Combining the above estimates yields the first estimate of the Proposition after using the basic estimate (236) yields and choosing λ sufficiently small (depending only on M). The second estimate follows immediately by combining the first one with the non-degenerate (237).

Physical Space Weighted Transport for ψ[+2] and P[+2]

We now turn to deriving weighted Morawetz and boundedness estimates for ψ[+2] and α[+2] from the transport equations they satisfy. Combining (105) with the basic estimate (236) we immediately obtain

Proposition 11.2.2

Under the assumptions of Theorem 11.1 we have for any τ2>τ10 and for p{η,1,2} the estimate

EΣ~τ,pα[+2]τ2+Ipα[+2]τ1,τ2Ipψ[+2]τ1,τ2+EΣ~τ,pα[+2]τ1 252

and the estimate

EΣ~τ,pψ[+2]τ2+Ipψ[+2]τ1,τ2IpdegΨ[+2]τ1,τ2+EΣ~τ,pψ[+2]τ1+EΣ~τ,ηΨ[+2]τ1+EΣ~τ,ηα[+2]τ1 253

Completing the Proof of Theorem 11.1

Combining the estimate of Proposition 11.2.1 with that of Proposition 11.2.2 we deduce for p{η,1,2} (first for K=0 and then by trivial commutation with the Killing field T for any KN) the estimate

k=0KEΣ~τ,pTkα[+2]τ2+EΣ~τ,pTkψ[+2]τ2+E¯Σ~τ,pTkΨ[+2]τ2+k=0KIpTkα[+2]τ1,τ2+IpTkψ[+2]τ1,τ2+I¯pdegTkΨ[+2]τ1,τ2k=0KEΣ~τ,pTkα[+2]τ1+EΣ~τ,pTkψ[+2]τ1+E¯Σ~τ,pTkΨ[+2]τ1 254

and also

k=0KEΣ~τ,pTkα[+2]τ2+EΣ~τ,pTkψ[+2]τ2+E¯Σ~τ,pTkΨ[+2]τ2+k=0KIpTkα[+2]τ1,τ2+IpTkψ[+2]τ1,τ2+I¯pTkΨ[+2]τ1,τ2k=0KEΣ~τ,pTkα[+2]τ1+EΣ~τ,pTkψ[+2]τ1+E¯Σ~τ,pTkΨ[+2]τ1+EΣ~τ,ηTK+1α[+2]τ1+EΣ~τ,ηTK+1ψ[+2]τ1+E¯Σ~τ,ηTK+1Ψ[+2]τ1. 255

Let us denote the right hand side of the second estimate on the initial data slice Σ~0 (i.e. for τ1=τ0) by DK+1,pΨ[+2],ψ[+2],α[+2]τ0.

Applying (255) for K=1 and p=2 implies (after using a standard argument involving dyadic sequences) along a dyadic sequence τn2nτ0 the estimate

k=01EΣ~τ,1Tkα[+2]τn+EΣ~τ,1Tkψ[+2]τn+E¯Σ~τ,1TkΨ[+2]τnD2,2Ψ[+2],ψ[+2],α[+2]τ0τn.

Using the above and applying (254) for p=1, K=1 between the time τ1=τn and any τ2τn,τn+1 yields the previous estimate for any τ, not only the members of the dyadic sequence. Turning back to (255) now with K=0 we use the previous estimate and a similar dyadic argument to produce along a dyadic sequence the estimate

EΣ~τ,ηα[+2]τn+EΣ~τ,ηψ[+2]τn+E¯Σ~τ,ηΨ[+2]τnD2,2Ψ[+2],ψ[+2],α[+2]τ0τn2-η.

Using the above and applying (254) with p=η and K=0 now yields the estimate (246) of Theorem 11.1.

Proof of Theorem 11.1 for s=-2

The s=-2 case of Theorem 11.1 will be proven in Sect. 11.3.3 by combining basic estimates from the rp hierarchy associated with the inhomogeneous wave equation satisfied by Ψ[-2] (derived in Sect. 11.3.1) and basic transport estimates for ψ[-2] and α[-2] (derived in Sect. 11.3.2).

The Weighted rp Hierarchy for Ψ[-2] in Physical Space

Proposition 11.3.1

Under the assumptions of Theorem 11.1 we have for any τ2>τ10 and for p=2, p=1 and p=η the estimate

E¯Σ~τ,pΨ[-2]τ2+I¯pdegΨ[-2]τ1,τ2+EI+,pΨ[-2]τ1,τ2E¯Σ~τ,pΨ[-2]τ1+EΣ~τψ[-2]τ1+EΣ~τα[-2]τ1+|a|EI+ψ[-2]τ1,τ2+EI+α[-2]τ1,τ2 256

and the non-degenerate estimate

E¯Σ~τ,pΨ[-2]τ2+I¯pΨ[-2]τ1,τ2+EI+,pΨ[-2]τ1,τ2E¯Σ~τ,pΨ[-2]τ1+EΣ~τψ[-2]τ1+EΣ~τα[-2]τ1+E¯Σ~τ,ηTΨ[-2]τ1+EΣ~τTψ[-2]τ1+EΣ~τTα[-2]τ1+aEI+ψ[-2]τ1,τ2+EI+α[-2]τ1,τ2. 257
Proof

The proof is exactly as in Proposition 11.2.1 except that we need to inspect carefully the error term J[-2]. (This is of course because the Regge–Wheeler operators are almost identical for s=±2.) Checking the r-weights in the application of the Cauchy–Schwarz inequality, the analogous computation

R~(τ1,τ2)|J[-2]||ξ||β4||rpLΨ[-2]|r2+a2Δρ2dVolR~(τ1,τ2)dVolr2+a2Δρ2λrp-1|LΨ[-2]|2+rp+1λ|J[-2]|2λI¯pdegΨ[-2](τ1,τ2)+a2λIψ[-2]τ1,τ2+Iα[-2]τ1,τ2

is seen to be valid only for pη,2-η. For p=2 we need to integrate by parts. Note that the two worst (the others being controlled by the above estimate for λ depending only on M) contributions from the error J[-2]β4ξrpLΨ¯ can be written (omitting taking real parts for the moment)

ar-2ΦΔψ[-2]r2LΨ[-2]¯=LaΦΔψ[-2]Ψ[-2]¯+aΔr2+a2-2ΦΨ[-2]Ψ[-2]¯, 258

and

a2r-2r2+a2-3/2α[-2]r2LΨ[-2]¯=La2r2+a2-3/2α[-2]Ψ[-2]¯-a2Δr2+a22Δψ[-2]Ψ[-2]¯,

where we have used the relations (52) and (51). Now upon taking real parts and integration, the second term in each line can be controlled by the basic Cauchy–Schwarz inequality, the integration by parts having gained a power in r. The first term in each line is a boundary term and controlled by the terms appearing on the right hand side of the estimate (256), where for the boundary term on null infinity we borrow from the term EI+,pΨ[-2]τ1,τ2 appearing on the left hand side.

Physical Space Weighted Transport for ψ[-2] and Ψ[-2]

Proposition 11.3.2

Under the assumptions of Theorem 11.1 we have for any τ2>τ10 the estimate

EΣ~τα[-2]τ2+Iα[-2]τ1,τ2+EI+α[-2]τ1,τ2Iψ[-2]τ1,τ2+EΣ~τα[-2]τ1 259

and the estimate

EΣ~τψ[-2]τ2+Iψ[-2]τ1,τ2+EI+ψ[-2]τ1,τ2IηdegΨ[-2]τ1,τ2+EΣ~τψ[-2]τ1+EΣ~τ,ηΨ[-2]τ1+EΣ~τα[-2]τ1. 260

The same estimates hold with an overbar on all terms.

Proof

Multiply (119) by a cut-off function ξ which is equal to 1 for r9M and equal to zero for r8M. Bringing ξ inside the first bracket produces an error-term supported in 8M,9M, which (upon integration) is for any n controlled by the basic estimate (239). Upon integration of the resulting identity we deduce (260) for Γ being the identity in the energies appearing. Now we observe that the same estimate holds for the T and Φ commuted equations (note that (117) commutes trivially with the Killing fields T and Φ so the estimate (111) trivially holds for the commuted variables).

The estimate (259) is proven completely analogously except that here no cut-off is required in view of the non-degenerate norm of ψ[-2] appearing on the right hand side: One first applies (118) and the same estimate for the T and Φ commuted variables.

To obtain the estimates with an overbar one first commutes (117) and (116) with L_ and notes that the analogue of (119) and (118) can now be applied with the error from the commutator L,L_ar3Φ being controlled by the previous step. Secondly, one commutes (117) and (116) with the vectorfield r2+a2ΔL_ which extends regularly to the horizon and observes that the additional commutator term leads to a good sign (near the horizon) in the estimates (119) and (118).

Completing the Proof of Theorem 11.1 for s=-2

Combining the estimate of Proposition 11.3.1 with that of Proposition 11.3.2 we deduce for p{η,1,2} (first for K=0 and then by trivial commutation with the Killing field T for any KN) the estimate

k=0KEΣ~τTkα[-2]τ2+EΣ~τTkψ[-2]τ2+E¯Σ~τ,pTkΨ[-2]τ2+k=0KITkα[-2]τ1,τ2+ITkψ[-2]τ1,τ2+I¯pdegTkΨ[-2]τ1,τ2k=0KEΣ~τTkα[-2]τ1+EΣ~τTkψ[-2]τ1+E¯Σ~τ,pTkΨ[-2]τ1 261

and also

k=0KEΣ~τTkα[-2]τ2+EΣ~τTkψ[-2]τ2+E¯Σ~τ,pTkΨ[-2]τ2+k=0KITkα[-2]τ1,τ2+ITkψ[-2]τ1,τ2+I¯pTkΨ[-2]τ1,τ2k=0KEΣ~τTkα[-2]τ1+EΣ~τTkψ[-2]τ1+E¯Σ~τ,pTkΨ[-2]τ1+EΣ~τTK+1α[-2]τ1+EΣ~τTK+1ψ[-2]τ1+E¯Σ~τ,ηTK+1Ψ[-2]τ1. 262

Let us denote the right hand side of the second estimate on the initial data slice Σ~0 (i.e. for τ1=τ0) by DK+1,pΨ[-2],ψ[-2],α[-2]τ0.

Applying the estimate (262) for K=1 and p=2 implies (after using a standard argument involving dyadic sequences) along a dyadic sequence τn2nτ0 the estimate

k=01EΣ~τTkα[-2]τn+EΣ~τTkψ[-2]τn+E¯Σ~τ,1TkΨ[-2]τnD2,2Ψ[-2],ψ[-2],α[-2]τ0τn.

Using the above and applying (261) for p=1, K=1 between the time τ1=τn and any τ2τn,τn+1 yields the previous estimate for any τ, not only the members of the dyadic sequence. Turning back to (262) now with K=0 we use the previous estimate and a similar dyadic argument to produce along a dyadic sequence the estimate

EΣ~τα[-2]τn+EΣ~τψ[-2]τn+E¯Σ~τ,ηΨ[-2]τnD2,2Ψ[-2],ψ[-2],α[-2]τ0τn2-η.

Using the above and applying (261) with p=η and K=0 now yields (247) of Theorem 11.1. To obtain the second estimate, one simply repeats the above proof using that the estimate of Proposition 11.3.2 also holds for the energies with an overbar.

Acknowledgements

The authors thank Rita Teixeira da Costa and Jan Sbierski for comments on the first version of this paper. MD acknowledges support through NSF grant DMS-1709270 and EPSRC grant EP/K00865X/1. GH acknowledges support through an ERC Starting Grant. IR acknowledges support through NSF grant DMS-1709270 and an investigator award of the Simons Foundation.

Derivation of the Equation for Ψ[s]

The Teukolsky Equation

Recall from (13) the definition w=Δr2+a22. Using (39) the inhomogeneous Teukolsky equations (53) can be written in physical space as

graphic file with name 40818_2018_58_Equ263_HTML.gif 263

and

graphic file with name 40818_2018_58_Equ449_HTML.gif

respectively. Introducing the physical space operators

graphic file with name 40818_2018_58_Equ264_HTML.gif 264
graphic file with name 40818_2018_58_Equ265_HTML.gif 265

as well as recalling the definitions

L_α~[+2]=-2wΔψ[+2],L_Δψ[+2]=wΨ[+2], 266
LΔ2α~[-2]=2wΔψ[-2],LΔψ[-2]=-wΨ[-2], 267

we can write (263) as

2LΔψ[+2]-2Δψ[+2]ww=L[+2]α~[+2]+Q[+2]α~[+2]-Δwρ2F[+2], 268
-2L_Δψ[-2]-2Δψ[-2]ww=L[-2]Δ2α~[-2]+Q[-2]Δ2α~[-2]-Δ3wρ2F[-2]. 269

For the separated form of the Teukolsky equation, using the relation

ww-2w2w2-V0[+2]-2w=ww-2w2w2-V0[-2]+2w=-3wa4+a2r2-2Mr3(r2+a2)2+2w,

it is easy to see that we can write (153) for spin s=+2 and s=-2 as13

2LΔψ[+2]-2Δψ[+2]ww=Λm[+2],(aω)+2u[+2]w+Q[+2]u[+2]w-Δwρ2Fm[+2],(aω), 270
-2L_Δψ[-2]-2Δψ[-2]ww=Λm[-2],(aω)-2u[-2]w+Q[-2]u[-2]w-Δ3wρ2Fm[-2],(aω), 271

where

Q[±2]=6rr2+a2iam-3a4+a2r2-2Mr3(r2+a2)2+2.

We observe that Q[±2] is the separated analogue of the physical space operators Q[±2] defined in (264). Similarly, the separated analogue of the operator L[±2] is easily seen to be the operator Inline graphic which has eigenvalues Λm[±2],(aw)±2, see (135), (136) and (149). Note the symmetry between the physical space formulation (268), (269) and the separated form (270), (271).

Derivation of the Ψ[s] Equation in Physical Space

We derive the equation for s=+2 in physical space. Observing the commutation relation

L_,L=4rar2+a2w·Φ,

we obtain after applying L_ to the Teukolsky equation (268) recalling (266) and that L[+2] commutes with L_:

2LwΨ[+2]+8rar2+a2w·ΦΔψ[+2]-2wΨ[+2]+2Δψ[+2]ww=-2wL[+2]Δψ[+2]-2wQ[+2]Δψ[+2]+L_,Q[+2]α~[+2]-L_Δwρ2F[+2], 272

which we immediately simplify to

LΨ[+2]+4rar2+a2·ΦΔψ[+2]+Δψ[+2]1www=-L[+2]Δψ[+2]-Q[+2]Δψ[+2]+12wL_,Q[+2]α~[+2]-12wL_Δwρ2F[+2]. 273

We now apply another L_ derivative, which produces

LL_Ψ[+2]+w8rar2+a2·ΦΨ[+2]+wQ[+2]Ψ[+2]+wwΨ[+2]+wL[+2]Ψ[+2]=4arr2+a2Φ+1www-2L_,Q[+2]Δψ[+2]+L_,12wL_,Q[+2]α~[+2]-12L_1wL_Δwρ2F[+2]. 274

Using elementary algebra we simplify the terms in the first line of (274) to

LL_Ψ[+2]+w2rar2+a2·ΦΨ[+2]+wL[+2]+4-6Mrr2-a2r2+a2-7a2wΨ[+2], 275

which can be written more succinctly as

12LL_+L_LΨ[+2]+wL[+2]+4-6Mrr2-a2r2+a2-7a2wΨ[+2]. 276

The terms in the second line of (274) simplify to

w-8a·-r2+a2r2+a2Φ+20a2r3-3Mr2+ra2+Ma2r2+a22Δψ[+2]. 277

Finally, for the double commutator term in the third line of (274) we obtain

+12a3wrr2+a2Φ-3a2wr4-a4+10Mr3-6Ma2r(r2+a2)2α~[+2]. 278

Combining the previous equations we have therefore established the formula of Proposition 3.2.1 for s=+2. The formula for s=-2 is proven entirely analogously exchanging the roles of L_ and L. For completeness, we nevertheless explicitly derive the (equivalent) separated form of the equation for s=-2 in the next section.

Derivation of the Ψ[s] Equation in Separated Form

As mentioned at the end of the previous section and mainly to illustrate the equivalence between deriving equations in the physical space and the separated picture, we now derive the equation for Ψ[-2] in separated form from (271). Recall that L_ and L are now given by the separated frame operators (155) and (154). Observing the commutation relation

L_,L=4rar2+a2w·im,

we obtain after applying L to the separated Teukolsky equation (271) recalling the separated relations (158) and (158)

+2L_wΨ[-2]+8rar2+a2w·imΔψ[-2]+2wΨ[-2]-2Δψ[-2]ww=2wΛm[-2],(aω)-2Δψ[-2]+2wQ[-2]Δψ[-2]+rQ[-2]u[-2]w-LΔ3wρ2Fm[-2],(aω),

which we immediately simplify to

L_Ψ[-2]+4rar2+a2·imΔψ[-2]-Δψ[-2]1www=Λm[-2],(aω)-2Δψ[-2]+Q[-2]Δψ[-2]+12wQ[-2]u[-2]w-12wLΔ3wρ2Fm[-2],(aω).

We now apply another L derivative, which produces

LL_Ψ[-2]-w4rar2+a2·imΨ[-2]+wQ[-2]Ψ[-2]+wwΨ[-2]+wΛm[-2],(aω)-2Ψ[-2]=-4aimrr2+a2+1www+2Q[+2]Δψ[-2]+12wQ[+2]u[-2]w-12L1wLΔ3wρ2Fm[-2],(aω). 279

Using elementary algebra we simplify the terms in the first line of (279) to

LL_Ψ[-2]+w2rar2+a2·imΨ[-2]+wΛm[-2],(aω)+2-6Mrr2-a2r2+a2-7a2wΨ[-2], 280

which can be written more succinctly as

12LL_+L_LΨ[-2]+wΛm[-2],(aω)+2-6Mrr2-a2r2+a2-7a2wΨ[-2]. 281

The terms in the second line simplify to

w+8aim·-r2+a2r2+a2+20a2r3-3Mr2+ra2+Ma2r2+a22Δψ[-2]. 282

Finally, for the third line of (274) excluding the inhomogeneous term we obtain

-12a3wrr2+a2im-3a2wr4-a4+10Mr3-6Ma2r(r2+a2)2u[-2]w. 283

In summary, we have established the following formula for s=-2:

-12LL_+L_LΨ[s]-Δr2+a22λm[s]-2amω+a2ω2+s2+sΨ[s]+Δr2+a226Mrr2+a2r2-a2r2+a2Ψ[s]+7a2Δ2(r2+a2)4Ψ[s]=Δρ2J[s]+G[s], 284

where the right hand is side given by

J[s]=ρ2r2+a22-4sr2-a2r2+a2aim-20a2r3-3Mr2+ra2+Ma2r2+a22Δψ[s]+a2ρ2r2+a22-6srr2+a2aim+3r4-a4+10Mr3-6Ma2r(r2+a2)2u[s]w, 285
G[+2]=12L_1wL_Δwρ2F[+2],G[-2]=12L1wLΔ3wρ2F[-2]. 286

We have therefore proven Proposition 7.3.1 for s=-2. The s=+2 case is proven entirely analogously or can be easily deduced directly from the physical space formula of Proposition 3.2.1.

Finally, note that we can write (284) also as

Ψ[s]+ω2-V[+2]Ψ[s]=Δρ2J[s]+G[s]

for the potential

V[s]=Δλm[s]+a2ω2+s2+s+4Mramω-a2m2r2+a22-Δ(r2+a2)26Mr(r2-a2)(r2+a2)2-7a2Δ2(r2+a2)4=V0[s]+V1[s]+V2[s]. 287

Auxilliary Calculations for Physical Space Multipliers

We first recall the relations

L+L_=2T+2ar2+a2Φ,L-L_=2r.

We will consider the identities generated by the following four multipliers (the smooth radial cut-offs χ, ξ and the smooth radial functions f, h, y are chosen appropriately in the body of the paper)

  1. The T-energy: TΨ¯

  2. The Lagragian multiplier: hΨ¯

  3. The Φ-multiplier: ω+χΦΨ¯ (χ a radial cut-off)

  4. The y-multiplier: fL-L_Ψ¯

  5. The redshift multiplier: 1wξL_Ψ¯ (ξ a radial cut-off near the horizon)

  6. The rp weighed multiplier: rpβkξLΨ¯ with βk=1+kMr (ξ a radial cut-off near infinity)

each acting on the second order terms in the equation (54), namely (recall w=Δr2+a22)

  • I.

    12LL_+L_LΨ

  • II.

    Inline graphic

  • III.

    w2aTΦΨ

  • IV.

    wa2sin2θTTΨ

The point is that the 0th order terms in (54) are easy to handle while for the (only) first order term in (54), 2iswacosθTΨ, we observe that for X any real vectorfield commuting with T we have

2iswacosθTΨXΨ¯=T2iswacosθΨXΨ¯-X2iswacosθΨTΨ¯+X2iswacosθΨTΨ¯+2iswacosθXΨTΨ¯, 288

and hence

Re2iswacosθTΨXΨ¯=TiswacosθΨXΨ¯-XiswacosθΨTΨ¯+XiswacosθΨTΨ¯=-TswacosθImΨXΨ¯+XswacosθImΨTΨ¯-XswacosθImΨTΨ¯. 289

In particular for X=T the right hand side is zero while for X=ω+χΦ only the first two terms survive (and only the first after integration in ϕ).

The T-multiplier: TΨ¯

Part I: 12LL_+L_LΨ
12ReLL_+L_LΨTΨ¯=14ReL+L_L+L_ΨTΨ¯-14ReL-L_L-L_ΨTΨ¯=14ReL+L_{L+L_ΨTΨ¯}-18T{|L+L_Ψ|2}-14ReL-L_{L-L_ΨTΨ¯}+18T{|L-L_Ψ|2} 290

which we write as

12ReLL_+L_LΨTΨ¯=116L+L_×{|L+L_Ψ|2+|L-L_Ψ|2-4ar2+a2ReΦΨ¯L+L_Ψ}+18Φ{ar2+a2|L+L_Ψ|2-|L-L_Ψ|2}-14L-L_Re{L-L_ΨTΨ¯} 291
Part II: Inline graphic (After Integration Over sinθdθdϕ, See (33))
graphic file with name 40818_2018_58_Equ292_HTML.gif 292
Part III: w2aTΦΨ
w2aReTΦΨTΨ¯=Φ{aw|TΨ|2} 293
Part IV: wa2sin2θTTΨ
wa2sin2θReTTΨTΨ¯=12T{wa2sin2θ|TΨ|2} 294

The Lagrangian Term: hΨ¯

Part I: 12LL_+L_LΨ
12LL_+L_LReΨhΨ¯=14L+L_L+L_ReΨhΨ¯-14L-L_L-L_ReΨhΨ¯=14L+L_Re{L+L_ΨhΨ¯}-14L-L_Re{L-L_ΨhΨ¯}+14h[|(L-L_)Ψ|2-|(L+L_)Ψ|2]+14hL-L_|Ψ|2=14L+L_Re{L+L_ΨhΨ}-14L-L_{L-L_ReΨhΨ-h|Ψ|2}+14h[|(L-L_)Ψ|2-|(L+L_)Ψ|2]-12h|Ψ|2 295
Part II: Inline graphic (After Integration Over sinθdθdϕ)
graphic file with name 40818_2018_58_Equ296_HTML.gif 296
Part III: w2aTΦΨ
w2aRe(TΦΨhΨ¯)=ΦRew2aTΨhΨ¯-w2ahRe{(TΨ)(ΦΨ¯)} 297
Part IV: wa2sin2θTTΨ
wa2sin2θRe{TTΨhΨ¯}=TRewa2sin2θTΨhΨ¯-wa2sin2θh|TΨ|2 298

The Φ multipier: ω+χΦΨ¯

Part I: 12LL_+L_LΨ
12LL_+L_LRe{Ψω+χΦΨ¯}=14L+L_L+L_Re{Ψω+χΦΨ¯}-14L-L_L-L_Re{Ψω+χΦΨ¯}=14L+L_Re{L+L_Ψω+χΦΨ¯}-18Φ{ω+χL+L_Ψ2}-14L-L_Re{L-L_Ψω+χΦΨ¯}+18Φ{ω+χL-L_Ψ2}+12ω+χRe(L-L_)Ψ(ΦΨ¯) 299
Part II: Inline graphic (After Integration Over sinθdθdϕ)
graphic file with name 40818_2018_58_Equ300_HTML.gif 300
Part III: w2aTΦΨ
w2aRe{TΦΨω+χΦΨ¯}=T{waω+χ|ΦΨ|2} 301
Part IV: wa2sin2θTTΨ
wa2sin2θRe{TTΨω+χΦΨ¯}=TRe{wa2sin2θω+χ(TΨ)ΦΨ¯}-12Φ{wa2sin2θω+χ|TΨ|2} 302

The y-Multiplier: y(L-L_)Ψ¯

Part I: 12LL_+L_LΨ
12Re{LL_+L_LΨy(L-L_)Ψ¯}=14Re{L+L_L+L_Ψy(L-L_)Ψ¯}-14Re{L-L_L-L_Ψy(L-L_)Ψ¯}=14ReL+L_{yL+L_Ψ(L-L_)Ψ}-18L-L_{y(L-L_)Ψ2}-18L-L_{y(L+L_)Ψ2}+14yRe{L-L_,L+L_ΨL+L_Ψ¯}+14y(L+L_)Ψ2+(L-L_)Ψ2 303

Using the commutator identity

L-L_,L+L_=2L,L_=4rar2+a2Φ=-8rar2+a22Δr2+a2Φ

we conclude

12LL_+L_LΨy(L-L_)Ψ=14ReL+L_{yL+L_Ψ(L-L_)Ψ}-18L-L_{y(L+L_)Ψ2+y(L-L_)Ψ2}+14y(L+L_)Ψ2+(L-L_)Ψ2-2yrar2+a22Δr2+a2Re{ΦΨL+L_Ψ¯}
Part II: Inline graphic (After Integration Over sinθdθdϕ)
graphic file with name 40818_2018_58_Equ304_HTML.gif 304
Part III: w2aTΦΨ
w2aRe{TΦΨy(L-L_)Ψ¯}=wayRe{L+L_-2ar2+a2ΦΦΨ(L-L_)Ψ¯}=-ΦRe{2a2r2+a2wy(ΦΨ)(L-L_)Ψ¯}+(L-L_){a2r2+a2wy|ΦΨ|2}-(L-L_)a2r2+a2wy|ΦΨ|2+12Φ{way|LΨ|2}-12Φ{way|L_Ψ|2}-LRe{wayΦΨL_Ψ¯}+L_Re{wayΦΨLΨ¯}-4ra2(r2+a2)2Δr2+a2wy|ΦΨ|2+aLwyRe{(ΦΨ)(L_Ψ¯)}-aL_wyRe{(ΦΨ)(LΨ¯)} 305
Part IV: wa2sin2θTTΨ
wa2sin2θRe{TTΨy(L-L_)Ψ¯}=TRe{wa2sin2θTΨy(L-L_)Ψ¯}-12L-L_{wa2sin2θy|TΨ|2}+wya2sin2θ|TΨ|2 306

The Redshift Multiplier: 1wξL_Ψ¯

Part I: 12LL_+L_LΨ
12ReLL_+L_LΨ1wξL_Ψ=LL_Ψ1wξL_Ψ-12ReL,L_Ψ1wξL_Ψ=12L1wξ|L_Ψ|2-12ξw|L_Ψ|2+2raξr2+a2ReΦΨL_Ψ. 307
Part II: Inline graphic (After Integration Over sinθdθdϕ)
graphic file with name 40818_2018_58_Equ308_HTML.gif 308
Part III: w2aTΦΨ
w2aTΦΨ1wξL_Ψ¯=aξL+L_-2ar2+a2ΦΦΨL_Ψ¯=-Φ{2a2r2+a2ξ(ΦΨ)L_Ψ¯}+L_{a2r2+a2ξ|ΦΨ|2}-L_a2r2+a2ξ|ΦΨ|2+12Φ{aξ|L_Ψ|2}+aξLΦΨL_Ψ¯. 309

In view of

aξLΦΨL_Ψ¯=LaξΦΨL_Ψ¯-aξΦΨL_Ψ¯-aξΦΨL,L_Ψ¯-aξΦΨL_LΨ¯=LaξΦΨL_Ψ¯-aξΦΨL_Ψ¯-aξΦΨL,L_Ψ¯-L_aξΦΨLΨ¯-aξΦΨLΨ¯+aξΦL_ΨLΨ¯ 310

and hence

2ReaξLΦΨL_Ψ¯=LaξReΦΨL_Ψ¯-aξReΦΨL_+LΨ¯-aξReΦΨL,L_Ψ¯-L_aξReΦΨLΨ¯+ΦaξReL_ΨLΨ¯

we conclude from (309)

Rew2aTΦΨ1wξL_Ψ¯=Φ{-2a2r2+a2ξReΦΨL_Ψ¯+12aξReL_ΨLΨ¯+12aξ|L_Ψ|2}+L_{a2r2+a2ξ|ΦΨ|2-12aξReΦΨLΨ¯}+L12aξReΦΨL_Ψ¯-L_a2r2+a2ξ|ΦΨ|2-12aξReΦΨL_+LΨ¯-12aξReΦΨL,L_Ψ¯. 311
Part IV: wa2sin2θTTΨ
Rewa2sin2θTTΨ1wξL_Ψ¯=T{ξa2sin2θReTΨL_Ψ¯}-12L_{ξa2sin2θ|TΨ|2}-12ξa2sin2θ|TΨ|2. 312

The rp Multiplier: rpβkξLΨ¯ with βk=1+kMr

Part I: 12LL_+L_LΨ
Re12LL_+L_LΨrpβkξLΨ¯=ReL_LΨrpβkξLΨ¯+Re12L,L_ΨrpβkξLΨ¯=12L_ξrpβk|LΨ|2+12ξprp-1+Orp-2+ξrpβk|LΨ|2-2raξrpβkwr2+a2ReΦΨLΨ¯ 313
Part II: Inline graphic (After Integration Over sinθdθdϕ)
graphic file with name 40818_2018_58_Equ314_HTML.gif 314
Part III: w2aTΦΨ
Rew2aTΦΨrpβkξLΨ¯=ReaξwrpβkL+L_-2ar2+a2ΦΦΨLΨ¯=-Φ{Re2a2r2+a2ξwrpβk(ΦΨ)LΨ¯}+L{a2r2+a2ξwrpβk|ΦΨ|2}-a2r2+a2ξwrpβk|ΦΨ|2+12Φ{aξwrpβk|LΨ|2}+ReaξwrpβkL_ΦΨLΨ¯. 315

In view of

aξwrpβkL_ΦΨLΨ¯=L_aξwrpβkΦΨLΨ¯+aξwrpβkΦΨLΨ¯+aξwrpβkΦΨL,L_Ψ¯-aξwrpβkΦΨLL_Ψ¯=L_aξwrpβkΦΨLΨ¯+aξwrpβkΦΨLΨ¯+aξwrpβkΦΨL,L_Ψ¯-LaξwrpβkΦΨL_Ψ¯+aξwrpβkΦΨL_Ψ¯+ΦaξwrpβkLΨL_Ψ¯-aξwrpβkLΨL_ΦΨ¯

we conclude from (315)

Rew2aTΦΨrpβkξLΨ¯=Φ{-Re2a2wrpr2+a2ξβk(ΦΨ)LΨ¯+12aξwrpβk|LΨ|2+12ReaξwrpβkLΨL_Ψ¯}+L{a2wrpr2+a2ξβk|ΦΨ|2-12ReaξwrpβkΦΨL_Ψ¯}+L_{12ReaξwrpβkΦΨLΨ¯}-a2r2+a2ξwrpβk|ΦΨ|2+12ReaξwrpβkΦΨL+L_Ψ¯+12ReaξwrpβkΦΨL,L_Ψ¯.
Part IV: wa2sin2θTTΨ
Rewa2sin2θTTΨrpβkξLΨ¯=T{wa2sin2θrpβkξReTΨLΨ¯}-12L{wa2sin2θξrpβk|TΨ|2}+12ξwrpβk+ξwrpβka2sin2θ|TΨ|2. 316

Footnotes

1

In the non-trapping case, such estimates are non-degenerate and can be derived by classical virial identities whose use goes back to [86].

2

Unlike in [31] the definitions are not entirely symmetric for s=±2. This is because the null vectors and overall radial weights defining the α[±2] scale differently from the null vectors defining the tensorial α and α_ in [31]. See Sect. 2.4.

3

See Sects. 2.4 and 3.3 for the precise relation between the tensorial Regge–Wheeler equation defined in [31] and equation (7). Note in particular that Ψ[+2] and Ψ[-2]¯ satisfy the same equation, which explains the appearance of a single Regge–Wheeler equation in [31]. We also note that both the operators Inline graphic and Inline graphic have non-negative eigenvalues. See Sects. 6.2.1 and 6.2.2.

4

In contrast, good quantitative decay rates for solutions the Bianchi equations on pure AdS with dissipative boundary conditions have been proven in [61], suggesting nonlinear stability.

5

Euler coordinates cover S3 everywhere except the north and southpole at θ=0 and θ=π respectively. The ranges of the coordinates are 0<θ<π, 0ϕ<2π and 0ρ<4π.

6

In fact, the right hand side vanishes for the first spin-weighted spherical harmonics.

7

Recall that the Riemann tensor agrees with the Weyl tensor for a Ricci flat metric.

8

Note that in this paper Ψ[+2]=r3P[+2] for a=0 so when relating orthonormal components of the tensor P and the complex function P[2] there is an additional factor of r2. This factor disappears when replacing the orthonormal frame on the spheres of symmetry with an orthonormal frame on the unit sphere to express the components of P.

9

Note that in contrast to the +2-energies, no p-weights appear. The underlying reason is that the transport estimates for ψ[-2] and α[-2] will always be applied with the same r-weight. Note also in this context that the E-energies for α[-2] and ψ[-2] on the slices Σ~τ in (81)–(82) carry the same r-weight as the corresponding spacetime I-energies in (85)–(86). This arises from the fact that the transport for the [-2]-quantities happens in the L-direction and the relation (24) between L and the unit normal to the slices Σ~τ.

10

The prolate case corresponds to the ξ being purely imaginary.

11

We note that this renormalisation is slightly different from [68].

12

This will not be a source of confusion because we will never apply frequency analysis directly to α[±2].

13

As mentioned in Sect. 7.1 we denote the separated frame operators (155) and (154) also by L_ and L respectively. We have also dropped the subscripts m and the superscript aω from um[±2],(aω) and ψm[±2],(aω) to ease the notation.

References

  • 1.Angelopoulos, Y., Aretakis, S., Gajic, D.: A vector field approach to almost-sharp decay for the wave equation on spherically symmetric, stationary spacetimes . Ann. PDE (2018). 10.1007/s40818-018-0051-2
  • 2.Angelopoulos Y, Aretakis S, Gajic D. Late-time asymptotics for the wave equation on spherically symmetric, stationary spacetimes. Adv. Math. 2018;323:529–621. [Google Scholar]
  • 3.Andersson L, Blue P. Hidden symmetries and decay for the wave equation on the Kerr spacetime. Ann. Math. (2) 2015;182(3):787–853. [Google Scholar]
  • 4.Andersson L, Blue P. Uniform energy bound and asymptotics for the Maxwell field on a slowly rotating Kerr black hole exterior. J. Hyperbolic Differ. Equ. 2015;12(4):689–743. [Google Scholar]
  • 5.Andersson N, Glampedakis K. Superradiance resonance cavity outside rapidly rotating black holes. Phys. Rev. Lett. 2000;84(20):4537. doi: 10.1103/PhysRevLett.84.4537. [DOI] [PubMed] [Google Scholar]
  • 6.Andersson L, Ma S, Paganini C, Whiting BF. Mode stability on the real axis. J. Math. Phys. 2017;58(7):072501. [Google Scholar]
  • 7.Aretakis S. Decay of axisymmetric solutions of the wave equation on extreme Kerr backgrounds. J. Funct. Anal. 2012;263(9):2770–2831. [Google Scholar]
  • 8.Aretakis S. Horizon instability of extremal black holes. Adv. Theor. Math. Phys. 2015;19(3):507–530. [Google Scholar]
  • 9.Bachelot, A.: Opérateur de diffraction pour le système de Maxwell en métrique de Schwarzschild. In: Journées “Équations aux Dérivées Partielles” (Saint Jean de Monts, 1990), Exp. No. III, 11. École Polytech., Palaiseau (1990)
  • 10.Berti E, Cardoso V, Casals M. Eigenvalues and eigenfunctions of spin-weighted spheroidal harmonics in four and higher dimensions. Phys. Rev. D. 2006;73:024013. [Google Scholar]
  • 11.Beyer F, Daszuta B, Frauendiener J, Whale B. Numerical evolutions of fields on the 2-sphere using a spectral method based on spin-weighted spherical harmonics. Class. Quantum Gravity. 2014;31:075019. [Google Scholar]
  • 12.Blue P. Decay of the Maxwell field on the Schwarzschild manifold. J. Hyperbolic Differ. Equ. 2008;5(4):807–856. [Google Scholar]
  • 13.Bony J-F, Häfner D. Decay and non-decay of the local energy for the wave equation in the De Sitter-Schwarzschild metric. Commun. Math. Phys. 2008;282:697–719. [Google Scholar]
  • 14.Bardeen JM, Press WH. Radiation fields in the Schwarzschild background. J. Math. Phys. 1973;14(1):7–19. [Google Scholar]
  • 15.Bizoń P, Rostworowski A. Weakly turbulent instability of anti-de Sitter spacetime. Phys. Rev. Lett. 2011;107(3):031102. doi: 10.1103/PhysRevLett.107.031102. [DOI] [PubMed] [Google Scholar]
  • 16.Blue P, Soffer A. Semilinear wave equations on the Schwarzschild manifold. I. Local decay estimates. Adv. Differ. Equ. 2003;8(5):595–614. [Google Scholar]
  • 17.Blue P, Soffer A. The wave equation on the Schwarzschild metric. II: Local decay for the spin 2 Regge Wheeler equation. J. Math. Phys. 2005;46:012502. [Google Scholar]
  • 18.Blue P, Sterbenz J. Uniform decay of local energy and the semi-linear wave equation on Schwarzschild space. Commun. Math. Phys. 2006;268(2):481–504. [Google Scholar]
  • 19.Carter B. Hamilton-Jacobi and Schrödinger separable solutions of Einstein’s equations. Commun. Math. Phys. 1968;10(4):280–310. [Google Scholar]
  • 20.Carter, B.: Black hole equilibrium states. In: DeWitt, C., DeWitt, B.S. (eds.) Black holes/Les astres occlus (École d’Été Phys. Théor., Les Houches, 1972), pp. 57–214. Gordon and Breach, New York (1973)
  • 21.Chandrasekhar S, Detweiler S. On the equations governing the gravitational perturbations of the Kerr black hole. Proc. R. Soc. A. 1976;350(1661):165–174. [Google Scholar]
  • 22.Chandrasekhar S. The Mathematical Theory of Black Holes. 3. Oxford: Oxford University Press; 1992. [Google Scholar]
  • 23.Christodoulou D. A mathematical theory of gravitational collapse. Commun. Math. Phys. 1987;109(4):613–647. [Google Scholar]
  • 24.Christodoulou D. On the global initial value problem and the issue of singularities. Class. Quantum Gravity. 1999;16:A23–A35. [Google Scholar]
  • 25.Christodoulou, D.: The global initial value problem in general relativity. In: The Ninth Marcel Grossmann Meeting, pp. 44–54. World Scientific Publishing Company (2012)
  • 26.Christodoulou, D., Klainerman, S.: The Global Nonlinear Stability of the Minkowski Space, Volume 41 of Princeton Mathematical Series. Princeton University Press, Princeton (1993)
  • 27.Curtis W, Lerner DE. Complex line bundles in relativity. J. Math. Phys. 1978;19:874–877. [Google Scholar]
  • 28.Detweiler S. Klein-Gordon equation and rotating black holes. Phys. Rev. D. 1980;22(10):2323. [Google Scholar]
  • 29.Dafermos, M., Holzegel, G.: Dynamic instability of solitons in 4 + 1-dimensional gravity with negative cosmological constant (unpublished) (2006). See https://www.dpmms.cam.ac.uk/~md384/ADSinstability.pdf
  • 30.Dafermos, M., Holzegel, G., Rodnianski, I.: A scattering theory construction of dynamical vacuum black holes (preprint) (2013) (to appear in J. Diff. Geom.). arXiv:1306.5364
  • 31.Dafermos, M., Holzegel, G., Rodnianski, I.: The linear stability of the Schwarzschild solution to gravitational perturbations (preprint) (2016). arXiv:1601.06467
  • 32.Dimock J, Kay BS. Classical and quantum scattering theory for linear scalar fields on the Schwarzschild metric 2. J. Math. Phys. 1986;27:2520–2525. [Google Scholar]
  • 33.Dimock J, Kay BS. Classical and quantum scattering theory for linear scalar fields on the Schwarzschild metric 1. Ann. Phys. 1987;175:366–426. [Google Scholar]
  • 34.Dafermos, M., Luk, J.: The interior of dynamical vacuum black holes I: the C0-stability of the Kerr Cauchy horizon (preprint) (2017). arXiv:1710.01722
  • 35.Dotti G. Black hole non-modal linear stability: the Schwarzschild (A) dS cases. Class. Quantum Gravity. 2016;33(20):205005. [Google Scholar]
  • 36.Dafermos M, Rodnianski I. A proof of Price’s law for the collapse of self-gravitating scalar field. Invent. Math. 2005;162:381–457. [Google Scholar]
  • 37.Dafermos, M., Rodnianski, I.: the wave equation on Schwarzschild-de Sitter spacetimes (preprint) (2007). arXiv:0709.2766
  • 38.Dafermos M, Rodnianski I. A new physical-space approach to decay for the wave equation with applications to black hole spacetimes. In: Exner P, editor. XVIth International Congress on Mathematical Physics. London: World Scientific; 2009. pp. 421–433. [Google Scholar]
  • 39.Dafermos M, Rodnianski I. The red-shift effect and radiation decay on black hole spacetimes. Commun. Pure Appl. Math. 2009;62:859–919. [Google Scholar]
  • 40.Dafermos, M., Rodnianski, I.: Decay for solutions of the wave equation on Kerr exterior spacetimes I-II: the cases |a|m or axisymmetry (preprint) (2010). arXiv:1010.5132
  • 41.Dafermos M, Rodnianski I. A proof of the uniform boundedness of solutions to the wave equation on slowly rotating Kerr backgrounds. Invent. Math. 2011;185(3):467–559. [Google Scholar]
  • 42.Dafermos, M., Rodnianski, I.: The black hole stability problem for linear scalar perturbations. In: T. D. et al, (eds.) Proceedings of the Twelfth Marcel Grossmann Meeting on General Relativity, pp. 132–189. World Scientific, Singapore (2011)
  • 43.Dafermos, M., Rodnianski, I.: Lectures on black holes and linear waves. In: Evolution Equations, Clay Mathematics Proceedings, vol. 17, pp. 97–205. Amer. Math. Soc, Providence (2013)
  • 44.Dafermos M, Rodnianski I, Shlapentokh-Rothman Y. A scattering theory for the wave equation on Kerr black hole exteriors. Ann. Sci. École Norm. S. 2018;51(2):371–486. [Google Scholar]
  • 45.Dafermos M, Rodnianski I, Shlapentokh-Rothman Y. Decay for solutions of the wave equation on Kerr exterior spacetimes III: the full subextremal case |a|<M. Ann. Math (2) 2016;183(3):787–913. [Google Scholar]
  • 46.Dafermos M, Shlapentokh-Rothman Y. Time-translation invariance of scattering maps and blue-shift instabilities on Kerr black hole spacetimes. Commun. Math. Phys. 2017;350(3):985–1016. [Google Scholar]
  • 47.Donninger R, Schlag W, Soffer A. On pointwise decay of linear waves on a Schwarzschild black hole background. Commun. Math. Phys. 2012;309(1):51–86. [Google Scholar]
  • 48.Dyatlov S. Quasi-normal modes and exponential energy decay for the Kerr-de Sitter black hole. Commun. Math. Phys. 2011;306(1):119–163. [Google Scholar]
  • 49.Finster F, Kamran N, Smoller J, Yau S-T. The long-time dynamics of Dirac particles in the Kerr–Newman black hole geometry. Adv. Theor. Math. Phys. 2003;7(1):25–52. [Google Scholar]
  • 50.Franzen AT. Boundedness of massless scalar waves on Reissner–Nordström interior backgrounds. Commun. Math. Phys. 2016;343(2):601–650. [Google Scholar]
  • 51.Franzen, A.: Boundedness of massless scalar waves on Kerr interior backgrounds (preprint) (2017)
  • 52.Finster F, Smoller J. Decay of solutions of the Teukolsky equation for higher spin in the Schwarzschild geometry. Adv. Theor. Math. Phys. 2009;13(1):71–110. [Google Scholar]
  • 53.Finster, F., Smoller, J.: Linear stability of the non-extreme Kerr black hole (preprint) (2016). arXiv:1606.08005
  • 54.Gajic D. Linear waves in the interior of extremal black holes I. Commun. Math. Phys. 2017;353(2):717–770. [Google Scholar]
  • 55.Gajic, D.: Linear waves in the interior of extremal black holes II (preprint) (2017). To appear in Ann. Henri Poincaré. arXiv:1512.08953
  • 56.Georgescu V, Gérard C, Häfner D. Asymptotic completeness for superradiant Klein-Gordon equations and applications to the De Sitter–Kerr metric. J. Eur. Math. Soc. 2017;19(8):2371–2444. [Google Scholar]
  • 57.Glampedakis, K., Johnson, A.D., Kennefick, D.: The Darboux transformation in black hole perturbation theory (preprint) (2017). arXiv:1702.06459
  • 58.Hintz, P.: Boundedness and decay of scalar waves at the Cauchy horizon of the Kerr spacetime (preprint) (2015). arXiv:1512.08003
  • 59.Hintz P. Resonance expansions for tensor-valued waves on asymptotically Kerr-de Sitter spaces. J. Spectr. Theory. 2017;7(2):519–557. [Google Scholar]
  • 60.Hung, P.-K., Keller, J., Wang, M.-T.: Linear stability of Schwarzschild spacetime: the Cauchy problem of metric coefficients (preprint) (2017). arXiv:1702.02843
  • 61.Holzegel, G., Luk, J., Smulevici, J., Warnick, C.: Asymptotic properties of linear field equations in anti-de Sitter space (preprint) (2015). arXiv:1502.04965 [DOI] [PMC free article] [PubMed]
  • 62.Holzegel G. Stability and decay rates for the five-dimensional Schwarzschild metric under biaxial perturbations. Adv. Theor. Math. Phys. 2010;14(5):1245–1372. [Google Scholar]
  • 63.Holzegel, G.: Ultimately Schwarzschildean spacetimes and the black hole stability problem (preprint) (2010). arXiv:1010.3216
  • 64.Holzegel G. Conservation laws and flux bounds for gravitational perturbations of the Schwarzschild metric. Class. Quantum Gravity. 2016;33(20):205004. [Google Scholar]
  • 65.Holzegel G, Smulevici J. Decay properties of Klein–Gordon fields on Kerr-AdS spacetimes. Commun. Pure Appl. Math. 2013;66(11):1751–1802. [Google Scholar]
  • 66.Holzegel G, Smulevici J. Quasimodes and a lower bound on the uniform energy decay rate for Kerr-AdS spacetimes. Anal. PDE. 2014;7(5):1057–1090. [Google Scholar]
  • 67.Hintz, P., Vasy, A.: The global non-linear stability of the Kerr–de Sitter family of black holes (preprint) (2016). arXiv:1606.04014
  • 68.Hartle JB, Wilkins DC. Analytic properties of the Teukolsky equation. Commun. Math. Phys. 1974;38(1):47–63. [Google Scholar]
  • 69.Hollands S, Wald RM. Stability of black holes and black branes. Commun. Math. Phys. 2013;321(3):629–680. [Google Scholar]
  • 70.Ionescu AD, Klainerman S. On the global stability of the wave-map equation in Kerr spaces with small angular momentum. Ann. PDE. 2015;1(1):1. [Google Scholar]
  • 71.Johnson, T.: The Regge–Wheeler and Zerilli equations. Report for Imperial College (Unpublished) (2015)
  • 72.Kerr R. Gravitational field of a spinning mass as an example of algebraically special metrics. Phys. Rev. Lett. 1963;11(5):237–238. [Google Scholar]
  • 73.Kalnins E. G., Miller W., Williams G. C. Killing–Yano tensors and variable separation in Kerr geometry. Journal of Mathematical Physics. 1989;30(10):2360–2365. [Google Scholar]
  • 74.Klainerman, S., Szeftel, J.: Global nonlinear stability of Schwarzschild spacetime under axisymmetric polarized perturbations (preprint) (2017)
  • 75.Kay BS, Wald RM. Linear stability of Schwarzschild under perturbations which are nonvanishing on the bifurcation two sphere. Class. Quantum Gravity. 1987;4:893–898. [Google Scholar]
  • 76.Luk J, Oh S-J. Proof of linear instability of the Reissner–Nordström Cauchy horizon under scalar perturbations. Duke Math. J. 2017;166(3):437–493. [Google Scholar]
  • 77.Lucietti J, Reall HS. Gravitational instability of an extreme Kerr black hole. Phys. Rev. D. 2012;86(10):104030. [Google Scholar]
  • 78.Luk J, Sbierski J. Instability results for the wave equation in the interior of Kerr black holes. J. Funct. Anal. 2016;271(7):1948–1995. [Google Scholar]
  • 79.Lindblad, H., Tohaneanu, M.: Global existence for quasilinear wave equations close to Schwarzschild (preprint) (2016). arXiv:1610.00674
  • 80.Luk J. The null condition and global existence for nonlinear wave equations on slowly rotating Kerr spacetimes. J. Eur. Math. Soc. (JEMS) 2013;15(5):1629–1700. [Google Scholar]
  • 81.Ma, S.: Uniform energy bound and Morawetz estimate for extreme components of spin fields in the exterior of a slowly rotating Kerr black hole I: Maxwell field (preprint) (2017). arXiv:1705.06621
  • 82.Ma, S.: Uniform energy bound and Morawetz estimate for extreme components of spin fields in the exterior of a slowly rotating Kerr black hole II: linearized gravity (preprint) (2017). arXiv:1708.07385
  • 83.McNamara JM. Behaviour of scalar perturbations of a Reissner–Nordström black hole inside the event horizon. Proc. R. Soc. A. 1978;364:121–134. [Google Scholar]
  • 84.McNamara JM. Instability of black hole inner horizons. Proc. R. Soc. A. 1978;358(1695):499–517. [Google Scholar]
  • 85.Mokdad, M.: Conformal scattering of Maxwell fields on Reissner–Nordstrom–de Sitter black hole spacetimes (preprint) (2017). arXiv:1706.06993
  • 86.Morawetz CS. Time decay for the nonlinear Klein–Gordon equation. Proc. R. Soc. A. 1968;306(1486):291–296. [Google Scholar]
  • 87.Moschidis G. The rp-weighted energy method of Dafermos and Rodnianski in general asymptotically flat spacetimes and applications. Ann. PDE. 2016;2(1):6. [Google Scholar]
  • 88.Moschidis, G.: A proof of the instability of AdS for the Einstein-null dust system with an inner mirror (preprint) (2017). arXiv:1704.08681
  • 89.Moschidis G. Superradiant instabilities for short-range non-negative potentials on Kerr spacetimes and applications. J. Funct. Anal. 2017;273(8):2719–2813. [Google Scholar]
  • 90.Metcalfe J, Tataru D, Tohaneanu M. Price’s law on nonstationary space-times. Adv. Math. 2012;230(3):995–1028. [Google Scholar]
  • 91.Metcalfe J, Tataru D, Tohaneanu M. Pointwise decay for the Maxwell field on black hole space-times. Adv. Math. 2017;316:53–93. [Google Scholar]
  • 92.Nicolas J-P. Conformal scattering on the Schwarzschild metric. Ann. Inst. Fourier (Grenoble) 2016;66(3):1175–1216. [Google Scholar]
  • 93.Newman E, Penrose R. An approach to gravitational radiation by a method of spin coefficients. J. Math. Phys. 1962;3(3):566–578. [Google Scholar]
  • 94.Pasqualotto, F.: The spin ±1 Teukolsky equations and the Maxwell system on Schwarzschild (preprint) (2016). arXiv:1612.07244
  • 95.Pasqualotto, F.: Nonlinear stability for the Maxwell–Born–Infeld system on a Schwarzschild background (preprint) (2017). arXiv:1706.07764
  • 96.Price R H. Nonspherical perturbations of relativistic gravitational collapse. 1. Scalar and gravitational perturbations. Phys. Rev. 1972;D5:2419–2438. [Google Scholar]
  • 97.Prabhu K, Wald RM. Black hole instabilities and exponential growth. Commun. Math. Phys. 2015;340(1):253–290. [Google Scholar]
  • 98.Regge T, Wheeler JA. Stability of a Schwarzschild Singularity. Phys. Rev. 1957;108:1063–1069. [Google Scholar]
  • 99.Sbierski, J.: On the initial value problem in general relativity and wave propagation in black-hole spacetimes. PhD thesis, University of Cambridge, Cambridge (2014)
  • 100.Schwarzschild K. Über das Gravitationsfeld eines Massenpunktes nach der Einsteinschen Theorie. Sitzungsber. K. Preuss. Akad. Wiss. 1916;1:189–196. [Google Scholar]
  • 101.Schlue, V.: Decay of the Weyl curvature in expanding black hole cosmologies (preprint) (2016). arXiv:1610.04172 [DOI] [PMC free article] [PubMed]
  • 102.Sasaki M, Nakamura T. Gravitational radiation from a Kerr black hole. I. Formulation and a method for numerical analysis. Prog. Theor. Phys. 1982;67(6):1788–1809. [Google Scholar]
  • 103.Shlapentokh-Rothman Y. Exponentially growing finite energy solutions for the Klein–Gordon equation on sub-extremal Kerr spacetimes. Commun. Math. Phys. 2014;329(3):859–891. [Google Scholar]
  • 104.Shlapentokh-Rothman Y. Quantitative mode stability for the wave equation on the Kerr spacetime. Ann. Henri Poincaré. 2015;16(1):289–345. [Google Scholar]
  • 105.Sterbenz J, Tataru D. Local energy decay for Maxwell fields part I: spherically symmetric black-hole backgrounds. Int. Math. Res. Not. 2015;11(11):3298–3342. [Google Scholar]
  • 106.Smoller J, Xie C. Asymptotic behavior of massless Dirac waves in Schwarzschild geometry. Ann. Henri Poincaré. 2012;13(4):943–989. [Google Scholar]
  • 107.Teukolsky SA. Perturbations of a rotating black hole. I. Fundamental equations for gravitational, electromagnetic, and neutrino-field perturbations. Astrophys. J. 1973;185:635–648. [Google Scholar]
  • 108.Tataru D, Tohaneanu M. Local energy estimate on Kerr black hole backgrounds. Int. Math. Res. Not. 2011;248–292:2011. [Google Scholar]
  • 109.Vasy A. Microlocal analysis of asymptotically hyperbolic and Kerr–de Sitter spaces (with an appendix by Semyon Dyatlov) Invent. Math. 2013;194(2):381–513. [Google Scholar]
  • 110.Wald RM. On perturbations of a Kerr black hole. J. Math. Phys. 1973;14:1453–1461. [Google Scholar]
  • 111.Whiting BF. Mode Stability of the Kerr black hole. J. Math. Phys. 1989;30:1301–1306. [Google Scholar]
  • 112.Zouros TJ, Eardley DM. Instabilities of massive scalar perturbations of a rotating black hole. Ann. Phys. 1979;118(1):139–155. [Google Scholar]
  • 113.Zerilli FJ. Effective potential for even-parity Regge–Wheeler gravitational perturbation equations. Phys. Rev. Lett. 1970;24:737–738. [Google Scholar]

Articles from Annals of Pde are provided here courtesy of Springer

RESOURCES