Abstract
We present the first rigorous study of nonlinear wave equations on extremal black hole spacetimes without any symmetry assumptions on the solution. Specifically, we prove global existence with asymptotic blow-up for solutions to nonlinear wave equations satisfying the null condition on extremal Reissner–Nordström backgrounds. This result shows that the extremal horizon instability persists in model nonlinear theories. Our proof crucially relies on a new vector field method that allows us to obtain almost sharp decay estimates.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
1.1 Introduction
Extremal black holes are characterized by the vanishing of the surface gravity (or, equivalently, of the Hawking temperature) of the event horizon. Special examples are the maximally charged extremal Reissner–Nordström family (ERN) and the maximally rotating extremal Kerr family (EK). Extremal black holes are of interest from both theoretical and practical points of view. Indeed, extremal black holes saturate various geometric inequalities [35], have interesting uniqueness properties [36], and, moreover, are of interest in supersymmetry and string theory [52]. Furthermore, abundant astronomical evidence suggests that many stellar and supermassive black holes are near-extremal [22, 54]. As we shall discuss in detail below, unlike sub-extremal RN and Kerr black holes, ERN and EK exhibit various horizon instability properties. It has recently been found that these properties could potentially serve as an observational signature for extremal black holes by far away observers [6].
In view of the instabilities present already in the linear theory, understanding the full dynamics of extremal black holes is an important and challenging problem. In this article we investigate the global behavior of nonlinear scalar perturbations of extremal black holes. Specifically, we consider nonlinear wave equations of the form:
where \(g_M\) is the metric of an extremal Reissner–Nordström spacetime with mass M, x denotes a spacetime variable, \(\Sigma _{\tau _0}\) is a Cauchy spacelike-null hypersurface (i.e. a hypersurface that is spacelike from the horizon till \(\{ r = R \}\) for some \(R > M\), and null from \(\{ r= R \}\) till null infinity) with \(\Sigma ^{int}_{\tau _0}\) its spacelike part. We will show that for sufficiently small initial data (i.e. for small \(\epsilon \)) solutions of (1.1) are unique and exist globally in the domain of outer communications \({\mathcal {M}}\) up to and including the event horizon.
Our motivation for considering such a model is the study of the stability or instability of extremal Reissner–Nordström black hole spacetimes in the context of the Einstein–Maxwell equations, where part of the problem consists of dealing with nonlinearities of the form studied in this article. Hence, the present work provides the first step in understanding the fully nonlinear dynamics of extremal black holes without any symmetry assumptions. We introduce new techniques that we believe will be relevant for the study of that problem.
The main difficulties, discussed in detail below, arise from the slow non-integrable decay of solutions \(\psi \) and the fact that certain derivatives of \(\psi \) grow in time. This necessitates the development of a new physical space method that yields maximum decay (for the quantities that do decay) in order to compensate for the growth of the other quantities. Before we provide an overview of these difficulties and their resolution we present some relevant background for sub-extremal and extremal black holes.
1.2 Linear and Nonlinear Waves on Sub-extremal Black Holes
The sub-extremal black hole stability problem is currently one of the most actively studied problems in general relativity. Important developments have been presented by various research teams during the past two decades. Stability results for the linear wave equation on subextremal Kerr backgrounds were obtained in the seminal works of Dafermos and Rodnianski [30, 33] (see also the lecture notes [34] and the subsequent work with Shlapentokh-Rothman [32]), which moreover introduced a mathematical interpretation of the celebrated redshift effect, allowing the authors to obtain non-degenerate integrated local energy decay estimates up to and including the event horizon. Furthermore, using weighted estimates at infinity introduced in [31] (and extensively studied in [47]), the authors of [32] were able to show polynomial decay in time for the solution and its derivatives of all orders. Precise inverse polynomial time asymptotics were rigorously derived in [8]. For further results see also [20, 46, 50, 53]. Global existence and uniqueness of solutions of (1.1) with small initial data on sub-extremal black hole backgrounds were proved by Luk [43]. See also [19, 21, 29, 41]. The major difficulty encountered in [43] was the loss of time derivatives due to the trapping effect of the photon sphere. We also refer to the work of Yang [55] which can be used to give an alternative proof of the results of [43] (using, however, the techniques of [43] to deal with the loss of derivatives at the photon sphere). In the recent breakthrough of Dafermos, Rodnianski and Holzegel decay was derived for the system of linearized gravity around the Schwarzschild spacetime [28]. See also [2, 27] for works on linearized gravity around Kerr, and [37] for the problem of linearized gravity on sub-extremal Reissner–Nordström. Finally, we refer to the impressive recent work by Klainerman and Szeftel on the fully nonlinear stability of the Schwarzschild spacetime [40] in polarized axial symmetry. It is worth noting that the latter work, among other things, makes use of the techniques introduced in [9] which are useful for deriving improved decay results and which play a crucial role in the present paper.
1.3 Related Works on Linear and Nonlinear Waves on Extremal Black Holes
1.3.1 Linear Waves on Extremal Black Holes
The study of linear waves on extremal black holes was initiated by the second author in [10,11,12,13, 15] where it was shown that, in contrast to the case of sub-extremal backgrounds, first-order transversal derivatives of generic scalar perturbations on extremal Reissner–Nordström do not decay in time along the event horizon. Higher-order derivatives in fact blow up along the event horizon. The source of these instabilities is the degeneracy of the redshift effect at the event horizon and a hierarchy of conserved charges along the event horizon. Subsequent work [5] showed that generic solutions to the wave equation do not satisfy a non-degenerate Morawetz estimate up to and including the event horizon. The latter work, in particular, makes apparent that new techniques are needed in addressing the global evolution of nonlinear wave equations on such backgrounds. Precise asymptotics were derived in [7] where it was in fact shown that solutions to the wave equation decay non-integrably in time. For extremal Kerr spacetimes we refer to the works [24, 39, 42]. Extentions of these instabilities have been presented in various settings [23, 26, 38, 48, 49, 51]. For an extensive list of references we refer to [17].
1.3.2 Nonlinear Waves on Extremal Black Holes
The study of nonlinear wave equations satisfying the null condition on extremal black holes was initiated by the first author in [3] in the context of spherical symmetry. It was shown that solutions of (1.1), with smooth spherically symmetric f and h, are globally smooth and unique in \({\mathcal {M}}\). It was further shown that, in analogy to the linear case, the derivatives of the solution that are transversal to the horizon do not decay along the event horizon, while higher-order transversal derivatives diverge to infinity along the event horizon. Other nonlinearities were studied in [14,15,16, 18]. Numerical simulations of the fully non-linear evolution in the context of spherical symmetry were carried out in [48]. The results of [48] are in complete agreement with the results of the present paper.
1.4 The Main Theorems
1.4.1 Notation
First, we introduce some notation in order to rigorously state the theorems proven in this article. We start by recording the basics of the geometry of extremal Reissner–Nordström black hole spacetimes. The domain of outer communications up to and including the event horizon of an extremal Reissner–Nordström spacetime with mass \(M > 0\) can be given by the following 4-dimensional Lorentzian manifold-with-boundary:
with metric
in the ingoing Eddington–Finkelstein coordinates \((v,r,\omega ) \in {\mathbb {R}} \times [M, \infty ) \times {\mathbb {S}}^2\) where
and \(\gamma _{{\mathbb {S}}^2}\) is the standard metric on the 2-sphere \({\mathbb {S}}^2\) (in the rest of the document we will use g or \(g_M\) for the metric, with raised indices indicating the inverse of the metric). We also consider the double null coordinates (u, v) for v as before and \(u \doteq v - 2r_{*}\) for \(r_{*} (r) = r-M - \frac{M^2}{r-M} + 2M \log \left( 1 - \frac{M}{r} \right) \) the so-called tortoise coordinate. The metric takes the following form in double null coordinates:
We denote the future event horizon at \(r=M\) by \({\mathcal {H}}^{+} \doteq \{ r = M \}\), and future null infinity by \({\mathcal {I}}^{+}\) which is where the null hypersurfaces \(\{ u = \tau \}\) terminate as \(v \rightarrow \infty \), for any \(\tau \).
In the \((v,r,\omega )\) coordinates we denote \(T \doteq \partial _v\), \(Y \doteq \partial _r\), and in the \((u,v,\omega )\) coordinates we denote \(L \doteq \partial _v\), \({\underline{L}} \doteq \partial _u\). We also have that
For \(\omega \in {\mathbb {S}}^2\) we have that the corresponding volume form is given by \(d\omega = \sin \theta d\theta d\varphi \) for \(\theta \) and \(\varphi \) the standard coordinates on the sphere, and the covariant derivative on \({\mathbb {S}}^2\) is given by \(\nabla _{{\mathbb {S}}^2}\) and the corresponding Laplacian by \(\Delta _{{\mathbb {S}}^2}\). We also use the notation and , and furthermore we define the three Killing vector fields \(\Omega _i\), \(i \in \{1,2,3\}\), associated to the spherical symmetry of an extremal Reissner–Nordström spacetime as follows:
and finally the vector fields \(\Omega \) by:
for any \(m \in {\mathbb {N}}\) and \(( m_1 , m_2 , m_3 ) \in {\mathbb {N}}_0^3\) where \(m_1 + m_2 + m_3 = m\).
Now we define the null-spacelike-null hypersurfaces \(\Sigma _{\tau }\) by setting first
for \(v_{\Sigma _{\tau _0}} : [ M , \infty ) \rightarrow {\mathbb {R}}\) given by:
for some \(v_0 \in {\mathbb {R}}_{> 0}\) and G a non-negative function on \([M , \infty )\) satisfying:
for some \(\delta > 0\). We further impose the following symmetry condition: if \(\left( t = \frac{u+v}{2} , r_{*} , \omega \right) \in \Sigma _{\tau _0}\), then \(\left( t = \frac{u+v}{2} , - r_{*} , \omega \right) \in \Sigma _{\tau _0}\). Now \(\Sigma _{\tau }\) can be defined by \(\Sigma _{\tau } \doteq f_{\tau } ( \Sigma _{\tau _0} )\) for \(f_{\tau }\) the flow of T. We will work in the spacetime region \({\mathcal {R}}= J^{+} ( \Sigma _{\tau _0} )\).
1.4.2 Statement of the Theorems
In the current article we show the following result for small-data solutions of equation (1.1):
Theorem 1.1
Let \(({\mathcal {M}} , g_M )\) be the domain of outer communications of an extremal Reissner–Nordström spacetime up to and including the future event horizon with mass \(M > 0\), and consider the nonlinear wave equation
in \({\mathcal {M}}\) up to and including the future event horizon. Here A denotes a function that depends smoothly on the coordinates \((u,v,\omega )\) and the solution \(\psi \) (where (u, v) are null coordinates and \(\omega \) the angular coordinate in \({\mathcal {M}}\)) that is bounded along with all its derivatives. For equation (1.2) we consider smooth and compactly supported initial data \(\epsilon f\) and \(\epsilon h\) given as
on an initial null-spacelike-null hypersurface \(\Sigma _{\tau _0}\) where \(\Sigma ^{int}_{\tau _0}\) denotes its spacelike part, where f and h additionally satisfy:
for some \(s > 5/2\) (where the norms \(E^{\tau } [ \bullet ]\), \(H^s_{\tau }\) and \({\widetilde{H}}^s_{\tau }\) for \(\tau \ge \tau _0\), are defined in Appendix A.5). Then there exists a \(\Delta > 0\) such that for all \(0 \le \epsilon \le \Delta \), equation (1.2) with data \((\epsilon f , \epsilon g ) \) as above admits a unique, global and smooth solution \(\psi \) in \({\mathcal {M}}\) with finite \(E^{\tau } [ \psi ]\) and \(\Vert \psi \Vert _{H^s_{\tau }}\) norms for any \(\tau \in [\tau _0 , \infty )\).
Our main result establishes the global existence and uniqueness for solutions of (1.1) for small enough, smooth and compactly supported data given on a null-spacelike-null hypersurface (see Sect. 1.4.1 for the precise definition) that crosses the event horizon. Note that data of this type, which are compactly supported at infinity, but non-zero close to and on the horizon, are the most interesting from a physical point of view, they can be used to model local perturbations of the extremal Reissner–Nordström black hole spacetimes, and in the physics literature they represent outgoing radiation. Moreover, and in sharp contrast to the sub-extremal case, our solution exhibits non-decay along the event horizon for the derivative that is transversal to the horizon, and growth for the second such derivative. In particular the qualitative behaviour of solutions established in Theorem 1.1 is described by the following result:
Theorem 1.2
Under the conditions of Theorem 1.1, with \(\psi \) a solution of (1.1) given by Theorem 1.1, we have that:
and
for \(0 < \delta _1 \ll 1\), \(0 < \delta _2 \ll 1\) small enough, for \(\epsilon \) as in Theorem 1.1, where we work with the \((v,r,\omega )\) ingoing Eddington–Finkelstein coordinates close to the horizon \({\mathcal {H}}^{+}\) at \(r=M\).
1.5 The Main Difficulties
The growth and non-decay of derivatives of the linear flow is one of the main obstacles in proving global existence for (1.1). Moreover there is an additional difficulty originating from the quadratic terms near the event horizon in the extremal case. This difficulty can be illustrated by considering the transformed problem in a neighborhood of null infinity via the Couch–Torrence conformal isometry.Footnote 1 Indeed, applying this conformal transformation to a solution \(\psi _H\) of the following equation restricted close to the event horizon
yields a solution \(\psi _I\) of the following equation restricted to a neighborhood of null infinity:
where \(\phi _{I,H} = r\psi _{I,H} \) and \(L = \partial _v\), \({\underline{L}} = \partial _u\) the standard double null coordinates. On the other hand, the classical null form (as defined in (1.9)) would take the following form
Note that, in view of the bounds \(|L \psi |\le C r^{-2}, |{\underline{L}} \psi |\le C r^{-1}\) and \(|\Omega \psi _I|\le C r^{-1}\), the expression (1.10) decays in r towards null infinity like \(r^{-3}\). On the other hand, in order to obtain the same decay rate in r for the right hand side of (1.9) we need to derive the following improved bounds: \(|\phi _I|\le C\), \(|\Omega \phi _I|\le C\) and \(|{\underline{L}} \phi _I|\le C\) and moreover \(|L\phi _I |\le Cr^{-2}\).
Hence, we see that merely obtaining the needed r-decay would require one to show stronger estimates than those needed in the sub-extremal case. Such estimates have not been shown in previous nonlinear works on asymptotically flat settings. On the other hand, deriving mere boundedness of the transversal derivative \(Y\psi \) at the event horizon in the extremal case (which is required by the continuation criterion for (1.1)) corresponds (again via the Couch–Torrence transformation) to bounding pointwise the r-weighted derivative \(r^2 L(r\psi )\) in a neighborhood of null infinity. It is important to emphasize that in the sub-extremal case the horizon and null infinity are not conformally related and hence one can show pointwise boundedness and decay for the transversal derivatives at the event horizon relatively easily using the redshift effect. See for instance [43] and [55] for a demonstration of this in nonlinear settings. The method of [43] and [55] breaks down for linear fields on extremal black holes. In fact, they break down even if one considers a strongly degenerate nonlinearity on extremal backgrounds such as
Global existence and uniqueness of solutions to (1.11) was proved in [4] using the inhomogeneous energy estimates of [10] and a novel \((r-M)\)-weighted commuted (with Y) estimate in order to bound \(\left( 1-\frac{M}{r}\right) Y\psi \) (which is required for the continuation criterion). On the other hand, in the context of spherical symmetry, [3] overcame the extremal difficulties by a delicate use of the method of characteristics in combination with the weak decay of the solution, something that is not enough outside spherical symmetry.
1.6 Overview and Method of Proof
The classical local existence and uniqueness of solutions of (1.2) for data as in Theorem 1.1 can be upgraded to global existence and uniqueness in \({\mathcal {M}}\) provided one verifies the following continuation criteria (stated schematically here):
Here we used the vector fields corresponding to the ingoing Eddington–Finkelstein coordinates (see Section 1.4.1). The rest of the article is hence devoted to verifying the aforementioned continuation criteria. This is done through a bootstrap argument. First, we state the energy estimates we are going to use in Section 2. In Section 3, we state our bootstrap assumptions. In Section 4, we use the bootstrap assumptions of Section 3 to derive energy and pointwise boundedness and decay estimates (and hence conditionally verifying the continuation criteria). In Section 5 we show a growth estimate for the second transversal derivative close to the horizon, and a new v-weighted estimate for \(L \phi \) close to the horizon. Then in Section 6, we improve the bootstrap assumptions of Section 3, thereby closing the bootstrap argument. The results of the aforementioned sections establish also estimates (1.3), (1.4), (1.5) and the first estimate from (1.6). Finally in Section 7 we demonstrate non-decay for \(Y \psi \) and growth for \(Y^2 \psi \) on the horizon establishing the second estimate of (1.6) and estimate (1.7), while in Section 8 we discuss how our methods can be adapted to weighted nonlinearities on sub-extremal black holes.
Our proof relies on several novel techniques which we summarize below:
-
1.
(Improved Morawetz estimate) We prove an improved Morawetz estimate that optimizes the \((r-M)\)-weights at the horizon. Schematically, it has the following form:
$$\begin{aligned} \int _{{\mathcal {A}}} (r-M)^{1+\delta } | \partial \psi |^2 \lesssim \int _{\Sigma } J^T [ \psi ] + \text{ inhomogeneous } \text{ terms } , \end{aligned}$$for any \(\delta > 0\), and where \({\mathcal {A}}\) is a spacetime region close to the event horizon not intersecting the photon sphere (see section 2 for precise definitions). Our proof has certain similarities with Alinhac’s method of ghost weights (see [1]). Note that our improvement is decoupled from the trapping effect at the photon sphere \(\{ r=2M \}\) since the \((r-M)\)-weights that we introduce are optimized only at the horizon, while the region close to the photon sphere is treated separately using the inhomogeneous versions of estimates first introduced in [10].
-
2.
(Angular decomposition) We split solutions into a spherically symmetric part and a remainder supported on angular frequencies greater or equal to 1 as follows
$$\begin{aligned}\psi =\psi _0+\psi _{\ge 1}.\end{aligned}$$Even though \(\psi _0\) and \(\psi _{\ge 1}\) are coupled via the nonlinearity, we are still able to derive sharp decay results for each of them.
-
3.
(Horizon-localized and infinity-localized weighted hierarchies) We establish various \((r-M)^{-p}\)-weighted and \(r^p\)-weighted hierarchies of estimates which schematically take the following form:
$$\begin{aligned}&\int _{{\mathcal {N}}^H} (r-M)^{-p} ( {\underline{L}} \phi )^2 + \int _{{\mathcal {A}}} (r-M)^{-p+1} ( {\underline{L}} \phi )^2\\&\quad \lesssim \int _{{\mathcal {N}}^H_0} (r-M)^{-p} ( {\underline{L}} \phi )^2 + \text{ error } \text{ terms } , \end{aligned}$$and
$$\begin{aligned} \int _{{\mathcal {N}}^I} r^p ( L \phi )^2 + \int _{{\mathcal {B}}} r^{p-1} ( L\phi )^2 \lesssim \int _{{\mathcal {N}}^I_0} r^p ( L \phi )^2 + \text{ error } \text{ terms } , \end{aligned}$$where \(\phi = r \psi \), and where \({\mathcal {N}}^H\), \({\mathcal {N}}^I\) are null hypersurfaces intersecting the event horizon and null infinity, respectively, and \({\mathcal {A}}\) and \({\mathcal {B}}\) are appropriate spacetime neighborhoods of the event horizon and null infinity, respectively. Such estimates were presented for the linear wave equation on extremal Reissner–Nordström in [7].
We can show almost-sharp decay for \(\psi _0\) by using the full range of p, namely for \(p \in (0,3)\) for the uncommuted estimates and \(p \in (0,1)\) for the \((r-M)^{-2} {\underline{L}}\)-commuted estimates. For the non-spherically symmetric part \(\psi _{\ge 1}\) we can prove integrable decay by using an extended range for p for both the uncommuted and the commuted hierarchies. The resulting estimates allow us to show integrability for \(\psi _{\ge 1}|_{{\mathcal {H}}^{+}}\) along the event horizon and the radiation field \(\phi _{\ge 1}|_{{\mathcal {I}}^{+}} \doteq r \psi _{\ge 1}|_{{\mathcal {I}}^{+}}\) along null infinity.
We only apply these weighted hierarchies when considering the higher order derivatives \(T^k\psi \) where \(k=1,2,3,4,5\). We use the same range of weighted estimates for \(T\psi \) as for \(\psi _{\ge 1}\), and then we appropriately restrict p to smaller ranges for \(T^k \psi \), \(k \in \{2,3,4,5\}\). Note that we need to commute with T multiple times due to the presence of the trapping effect at the photon sphere \(\{ r = 2M \}\). The progressively restricted range of p in both the \((r-M)^{-p}\)-weighted estimates and the \(r^p\)-weighted estimates for \(T^k \psi \) implies slower decay for these time derivatives. This is a version of the top order energy technique.
The ranges of p for the \((r-M)^{-p}\)-weighted estimates close to the horizon and for the \(r^p\)-weighted estimates close to infinity for \(\psi \) and \(T\psi \) are summarized in the following table for \(\delta _1 , \delta _2 > 0\):
Multiplier/Commutator | \((r-M)^{-p} {\underline{L}}\) / \(\text{ none }\) | \(r^p L\) / \( \text{ none } \) | \((r-M)^{-p} {\underline{L}}\) / \((r-M)^{-2} {\underline{L}} \) | \(r^p L\) / \( r^2 L \) |
---|---|---|---|---|
\(\psi _0\) | \(p \in (0,3 - \delta _1 ]\) | \(p \in (0, 3 - \delta _1 ]\) | \(p \in (0, 1-\delta _1 ]\) | \(p \in (0, 1-\delta _1 ]\) |
\(\psi _{\ge 1}\) | \(p \in (0,2)\) | \(p \in (0,2)\) | \(p \in (0, 1+\delta _2 ]\) | \(p \in (0, 1+\delta _2 ]\) |
\(T \psi \) | \(p \in (0,2)\) | \(p \in (0,2)\) | \(p \in (0, 1+\delta _2 ]\) | \(p \in (0, 1+\delta _2 ] \) |
It is worth noticing that this is the first nonlinear small-data problem where such an extended range for the \(r^p\)-weighted estimates is needed in a neighborhood of null infinity.
-
4.
(The method of characteristics for \(\psi _0\)) The above energy hierarchies allow us to verify the continuation criteria for \(\partial _r\psi _{\ge 1}\), \(\Omega \psi \) and \(T\psi \). For the spherically symmetric derivative \(Y \psi _0\), however, we need to use the method of characteristics (this is done in Section 4.3) as in [3]. Indeed, if we were to use the energy method then we would need to apply the \((r-M)^{-p}\)-weighted commuted estimate for \(p=1\). However, it was shown in [5] that such an estimate does not hold even in the linear case.
-
5.
(v-weighted \(L^2_{v,\omega } L^{\infty }_u\)estimates) The bootstrap assumptions cannot be closed using purely the weighted energy hierarchies since this would require to use a range for p that is longer than allowed. For example, consider the following nonlinear term
$$\begin{aligned} L \phi _{\ge 1} \cdot {\underline{L}} \left( \frac{2r}{D} {\underline{L}} \phi _0 \right) . \end{aligned}$$One would ideally want to estimate the L derivative in \(L^{\infty }\) and use the commuted \((r-M)^{-p}\)-weighted estimates for the second factor with \(p=1+\delta _2\). This is however, not possible since in this case we can only take \(p<1\). For this purpose we prove new v-weighted \(L^2_{v,\omega } L^{\infty }_u\) estimates bounding, for example, quantities such as the following one
$$\begin{aligned} \int _{v_0}^{\infty } \int _{{\mathbb {S}}^2} \sup _{u \in [U , u_{R}(v)]} ( L T^k \Omega ^m \phi )^2 \cdot v^{1+\delta } \, d\omega dv , \end{aligned}$$where \(k\in \{0.1,2,3\}\), \(m\in \{0, 1,2,3,4,5\}\), \(\delta >0\), \(M < R \le r_0\) and \(r_0 < 2M\) and where \(u_{R}(v)\) is such that \(r\left( u_R(v),v\right) =R\). The proof of such estimates involves a very delicate use of the bootstrap assumptions as well as the structure of the equation. Note that the loss of two angular derivatives, introduced by using the wave equation, is overcome by appropriately integrating by parts on the sphere. The aforementioned estimate can be seen as a weighted Strichartz-type estimate, which, in contrast with other settings, it is proven through physical space energy methods. See also Section 5.2 for the details.
-
6.
(Growth estimates) Finally we derive growth estimates for \(Y^2\psi \) along the event horizon. More generally, we establish upper and lower bounds for \(Y^2 \psi \) in a region close to the horizon. The latter bounds are necessary, because in order to recover certain bootstraps assumptions we need to estimate in \(L^{\infty }\) the second derivative that is transversal to the horizon of the spherically symmetric part of the solution \(\partial _r\partial _r \psi _0\). Specifically, working in double null coordinates (with respect to which \(Y^2 \sim \frac{2r}{D} {\underline{L}} \left( \frac{2r}{D} {\underline{L}} \right) \)) we show that close to the horizon we have that:
$$\begin{aligned} \left| (r-M)^{1-\delta } \frac{2r}{D} {\underline{L}} \left( \frac{2r}{D} {\underline{L}} \phi \right) \right| \lesssim \epsilon v^{\delta } , \end{aligned}$$where \(\delta \in (0,1]\). The proof of such estimates uses an appropriate version the method of characteristics where we allow for a loss of angular derivatives. These techniques provide new results for the linear flow as well.
Remark 1.1
If we consider data that are supported away from the event horizon, then the proof of Theorem 1.1 can be simplified. There is no need to separate the solution in its spherically symmetric and non-spherically symmetric parts, and there is also no need for the extra estimates described in points 5 and 6 above. This is because we can apply commuted \((r-M)^{-p}\)-weighted hierarchy for \(\psi \) with \(p \in (0,1+\delta ]\) for some \(\delta > 0\) which yields integrable decay for \(\psi \) close to the horizon and boundedness for \(\partial _r\psi \). However, the physically relevant case is that of outgoing perturbations with initial support crossing the event horizon.
1.7 Relation with Impulsive Gravitational Wave Spacetimes
It is worth comparing the current work with the construction of impulsive gravitational wave local spacetimes by Luk and Rodnianski [44, 45]. We will argue that our methods can potentially be used to provide a global study of such spacetimes.
The impulsive gravitational wave spacetimes are solutions of the Einstein vacuum equations with a delta singularity for the Riemann curvature tensor. Specifically, the authors of [44, 45] considered characteristic initial data on two null intersecting hypersurfaces \(H_{u_0}\) and \({\underline{H}}_{{\underline{u}}_0}\) such that on \(H_{u_0}\) the Riemann curvature has a delta singularity. Optical functions u and \({\underline{u}}\) are dynamically constructed with u being ingoing and \({\underline{u}}\) outgoing– similar to u and v respectively in the present paper– with corresponding renormalized null vector fields \(e_3\) and \(e_4\) that are complemented by the spacelike vector fields \(e_A\) and \(e_B\) for the angular directions. The level sets \(H_u\) and \({\underline{H}}_{{\underline{u}}}\) are then null hypersurfaces of constant u and constant \({\underline{u}}\) coordinates respectively. In [44] solutions of \(R_{\mu \nu } = 0\) are constructed in the region \(u_0 \le u \le u_0 + I\), \({\underline{u}}_0 \le {\underline{u}} \le {\underline{u}}_0 + \epsilon \) with \(\epsilon > 0\) small enough and I finite such that on \(H_{u_0}\) the Riemann curvature component \(\alpha _{AB} \doteq R ( e_A , e_4 , e_B , e_4 )\) has a delta singularity on \(H_{u_0} \cap \{ {\underline{u}} = {\underline{u}}_0 + \frac{\epsilon }{2}\}\). Note that the second fundamental form \(\chi _{AB} = g (D_A e_4 , e_B )\) has a jump discontinuity on \(H_{u_0} \cap \{ {\underline{u}} = {\underline{u}}_0 + \frac{\epsilon }{2}\}\) which is propagated along the hypersurfaces \({\underline{H}}_{{\underline{u}}_0 + \frac{\epsilon }{2}}\). The metric is smooth away from the singular hypersurface. On the other hand, in [45], delta singularities are placed on both \(H_{u_0} \cap \{ {\underline{u}} = {\underline{u}}_0 + \frac{\epsilon }{2} \}\) (for \(\alpha _{AB}\) again) and on \({\underline{H}}_{{\underline{u}}_0} \cap \{ u = u_0 + \frac{\epsilon }{2}\}\) (where now \({\underline{\alpha }}_{AB} \doteq R ( e_A , e_3 , e_B , e_3 )\) has a delta singularity and \({\underline{\chi }}_{AB} = g (D_A e_3 , e_B )\) has a jump discontinuity) and a local solution of \(R_{\mu \nu } = 0\) is constructed in \(u_0 \le u \le u_0 + \epsilon \), \({\underline{u}}_0 \le {\underline{u}} \le {\underline{u}}_0 + \epsilon \) for \(\epsilon > 0\) small enough, with the singularity for \(\alpha \) propagating along \({\underline{H}}_{{\underline{u}}_0 +\frac{\epsilon }{2}}\) and the singularity for \({\underline{\alpha }}\) propagating along \(H_{u_0 + \frac{\epsilon }{2}}\), while the solution is smooth elsewhere.
To draw some analogies with the problem of the current paper, a nonlinear model scalar problem is to consider an equation of the form (1.1) with \(\epsilon \) not necessarily small (i.e. no small data) on the Minkowski spacetime with data given on two intersecting null hypersurfaces \(H_{u_0}\) and \({\underline{H}}_{{\underline{u}}_0}\) (with u and \({\underline{u}}\) the standard double null coordinates) where we assume that \(\partial _u ( r\psi )\) has a jump discontinuity on \({\underline{H}}_{{\underline{u}}_0 + \frac{\delta }{2}}\) and that \(\partial _{{\underline{u}}} (r \psi )\) has a jump discontinuity on \(H_{u_0 + \frac{\delta }{2}}\) for some \(\delta \) that is small enough. The discontinuities for \(\partial _u (r \psi )\) and \(\partial _{{\underline{u}}} ( r\psi )\) will propagate along \(H_{u_0 + \frac{\delta }{2}}\) and \({\underline{H}}_{{\underline{u}}_0 + \frac{\delta }{2}}\) respectively, while the second derivatives \(\partial _{uu}^2 ( r\psi )\) and \(\partial _{{\underline{u}} {\underline{u}}}^2 ( r\psi ) \) will have delta singularities on these hypersurfaces. Note that the analogies with the fully nonlinear problem for the Einstein equations are at the following level:
In our case, the event horizon plays the role of the singular hypersurface (analogous to \(H_{u_0 + \frac{\delta }{2}}\) in the aforementioned problem – note that it is a constant u hypersurface for \(u = - \infty \)) where the second transversal derivative \(\partial _{rr}^2 \psi \) (corresponding to \(\partial _{uu}^2 ( r\psi )\) in the problem above, and to the Riemann curvature component \({\underline{\alpha }}\) in the fully nonlinear problem of [45]) does not have a delta singularity, but exhibits asymptotic blow up. Yet, at the level of techniques, the two problems seem to have a further connection, as one key ingredient of our proof is the weighted estimate described at point 5 of the previous section. This is an \(L^2_v L^{\infty }_u L^2 ( {\mathbb {S}}^2 )\) estimate with v-weights for \(\partial _v ( r\psi )\) which is a quantity that corresponds to \(\partial _{{\underline{u}}} ( r\psi )\) in the aforementioned problem, and to \(\partial _{{\underline{u}}} g \approx \chi \) in the fully nonlinear problem. From the statement of Theorem 3 in pages 29-30 of [45] and from the use of the \({\mathcal {O}}_{i,2}, i \le 2\) norms from section 2.7 of [45], we see that \(\partial _{{\underline{u}}} g\) and \(\chi \) are bounded in \(L^2_{{\underline{u}}} L^{\infty }_u L^2 (S)\) and this is a key ingredient in the proof of the main result of [45] as well. It should be noted that the norms in [45] are not weighted in \({\underline{u}}\), but this is only because the problem is local and not global (yet weighted versions of these norms analogous to the ones used in the current paper can be used if instead of a local construction of impulsive gravitational wave spacetimes one attempts to do a semi-global construction of impulsive gravitational wave spacetimes - this construction will be established in an upcoming work of the first author).
2 Energy Inequalities
In this section, as well as in the one that follows, we prove certain \(L^2\) estimates for general solutions of the equation:
We define the following regions for any given \(\tau _1\), \(\tau _2\) with \(\tau _1 < \tau _2\):
and
for some fixed \(r_0\) and \(r_1\), and where \({\mathcal {R}}(\tau _1 , \tau _2 ) = \bigcup _{\tau \in [ \tau _1 , \tau _2 ]} \Sigma _{\tau }\) for \(\Sigma _{\tau }\) a null-spacelike-null hypersurface that crosses the event horizon (for the precise definition see section 1.4.1). We also have the following hypersurfaces
and we note that
We will derive \((r-M)^{-p}\)-weighted estimates over the hypersurfaces \({\mathcal {N}}^H\) and the spacetime region \({\mathcal {A}}\), and \(r^p\)-weigthed estimates over the hypersurfaces \({\mathcal {N}}^I\) and the spacetime region \({\mathcal {B}}\).
Recall that the energy-momentum tensor for the linear wave equation has the form:
and an energy current is defined as:
for vector fields \(V_1\), \(V_2\).
2.1 Morawetz Estimates Within and Outside of Spherical Symmetry
First we record a Morawetz estimate for the spherically symmetric part of a solution \(\psi \) of (2.1), which we denote by
and which satisfies the equation
where
We have that:
Proposition 2.1
Let \(\psi _0\) be the spherically symmetric part of a solution \(\psi \) of (2.1) which satisfies equation (2.5). For any \(\tau _1\), \(\tau _2\) with \(\tau _1 < \tau _2\) and any \(l \in {\mathbb {N}}\) we have that
for any \(\eta > 0\).
We now consider the non-spherically symmetric part of a solution of (2.1):
which in turn satisfies the equation
The difference with the analogous estimates for the spherically symmetric part \(\psi _0\) of \(\psi \) comes from the trapping effect of the photon sphere (at \(r = 2M\)) which results in the loss of one or two T derivatives. We state the Morawetz estimate for \(\psi _{\ge 1}\) that is supported away from the photon sphere (see [4] for a reference), which has the following form:
Proposition 2.2
Let \(\psi _{\ge 1}\) be the non-spherically symmetric part of a solution \(\psi \) of (2.1) which satisfies equation (2.5). For any \(\tau _1\), \(\tau _2\) with \(\tau _1 < \tau _2\) and any \(l,k \in {\mathbb {N}}\) we have that
where \({\mathcal {C}}\) was defined in (2.4), and where \(\chi _{({\mathcal {C}}_{\tau _1}^{\tau _2} )^{c}}\) is a smooth function that is equal to 1 on the complement of \({\mathcal {C}}\) and 0 around the photon sphere.
Next we state two versions of the Morawetz estimate with support on the photon sphere (which can be found in [4]):
Proposition 2.3
Let \(\psi _{\ge 1}\) be the non-spherically symmetric part of a solution \(\psi \) of (2.1) which satisfies equation (2.5). For any \(\tau _1\), \(\tau _2\) with \(\tau _1 < \tau _2\) and any \(l,k \in {\mathbb {N}}\) we have that
and
for any \(\eta > 0\), where \({\mathcal {C}}\) was defined in (2.4).
Remark 2.1
We note that the inhomogeneous terms of the above estimates come from a term of the form
where \({\mathcal {X}}\) is the Morawetz multiplier vector field (which close to the horizon roughly has the form \({\mathcal {X}} \sim T + D \cdot Y\)), after applying Cauchy-Schwarz to it and absorbing certain terms in the left hand side. In the following Section we will improve the weights (in terms of D) on these terms.
Finally we state a basic estimate that allows to bound the T-flux without any loss of derivatives:
for any \(\tau _1 < \tau _2\) and any \(\delta > 0\).
2.2 An Improved Morawetz Estimate
We will need to improve the weights close to the horizon on the aforementioned Morawetz estimates.
Proposition 2.4
Let \(\psi \) be a solution of the equation (2.1). Then for any \(\tau _1\), \(\tau _2\) with \(\tau _1 < \tau _2\), \(\phi = r\psi \), any \(l, k \in {\mathbb {N}}\), and any \(\delta > 0\) small enough we have that:
Proof
For simplicity we look at the case \(k = l =0\) as both the \(\Omega \) and the T operators commute with the wave operator. We will also ignore the bulk term of the first line in (2.12) as we have the optimal r weights at infinity by the previous Morawetz estimates. We show how to improve only the weights close to the horizon. First we will improve the weight in front of the \({\underline{L}}\) derivative. We define the function
for some \(\eta > 0\) that is small enough. Now we integrate by parts and use the equation for the following integral:
and this gives us the following equality:
In the second term of the right-hand side above involving the angular derivatives, we note that the first term is the dominant one. The term with the angular derivatives on \(r=R\) can be bounded by the left hand side of the Morawetz estimates provided by Propositions 2.1 and 2.2. The fourth term can be handled by Cauchy-Schwarz and by using the zeroth order term of the standard Morawetz estimates (2.9) and (2.10), and both of the terms can be absorbed by the bulk term of the left hand side. It should be noted that when we use the standard Morawetz estimates of Propositions 2.1 and 2.2 we work with the inhomogeneous term that was mentioned in Remark 2.1 and we apply Cauchy-Schwarz to it with the better weights (in terms of D) that are available now from the left hand side of the last equality (otherwise we would get no improvement in terms of D-weights in our inhomogeneous terms).
Finally noticing that due to the definition of \({\mathcal {A}}\) we have that in the integrated region:
we have that
Note now that for any \(\delta > 0\) we have that:
which implies that for any \(\delta > 0\) we have that:
On the other hand we integrate by parts and we use the equation for the quantity:
and we get that:
Combining (2.13) and (2.14), and noticing that the bulk term with the angular derivatives in the left hand side of (2.14) can be absorbed from the similar term of (2.13) (as it has a bigger \((r-M)\) weight), that the flux terms with the angular derivatives of (2.14) can be absorbed by the T-fluxes (i.e. the T-energies) of (2.13), that the term on \(r=R\) of (2.14) can be bounded by the left hand sides of the Morawetz estimate (2.10), that the term before the last term of the right hand side of (2.14) can be absorbed by the left hand side of (2.14) and (2.13) after applying Cauchy-Schwarz while the one before last (after applying again Cauchy-Schwarz) can be absorbed by the left hand side and the zeroth order term of the standard Morawetz, and finally that for the terms of the left hand side of the Morawetz estimate (2.10) we have that due to the \((r-M)\)-weights on the horizon:
we get that
We get the desired estimate after applying Cauchy-Schwarz to the last term. \(\square \)
With the improved Morawetz estimate that we just showed we can also improve the estimate (2.11) for the T-flux that does not lose any derivative and conclude that:
for any \(\tau _1 < \tau _2\) and any \(\eta > 0\).
2.3 \((r-M)^{-p}\)-Weighted Estimates and \(r^p\)-Weighted Estimates
From [7] we have the following \((r-M)^{-p}\)-weigthed estimates at the horizon and the \(r^p\)-weighted estimates at infinity that can be summarized in the following propositions that will be used to show decay for these weighted energies later in the article. We define the following quantities:
We have the following proposition for \(\psi _0\) (with \(\phi _0 = r \psi _0\)):
Proposition 2.5
Let \(\psi _0\) be the spherically symmetric part of a solution \(\psi \) of (2.1) which satisfies equation (2.5), and let \(\phi \doteq r \psi _0\). For any \(\tau \), \(\tau _1\), \(\tau _2\) with \(\tau _1 < \tau _2\), \(p\in (0,3)\), and any \(l \in {\mathbb {N}}\) for the quantities
we have that
for any \(\eta > 0\).
We also have the following proposition for \(\Phi _0^H\) and \(\Phi _0^I\):
Proposition 2.6
Let \(\psi _0\) be the spherically symmetric part of a solution \(\psi \) of (2.1) which satisfies equation (2.5), and let \(\phi \doteq r \psi _0\). For any \(\tau \), \(\tau _1\), \(\tau _2\) with \(\tau _1 < \tau _2\), \(p \in (0,1)\), and any \(l \in {\mathbb {N}}\) for the quantities
we have that
Analogously we have the following for \(\phi _{\ge 1}\):
Proposition 2.7
Let \(\psi _{\ge 1}\) be the non-spherically symmetric part of a solution \(\psi \) of (2.1) which satisfies equation (2.7), and let \(\phi \doteq r \psi _0\). For any \(\tau \), \(\tau _1\), \(\tau _2\) with \(\tau _1 < \tau _2\), \(p\in (0,2)\), any \(k \le 5\), any \(\eta > 0\), and any \(l \in {\mathbb {N}}\) for the quantities
we have that
Finally we have the following for \(\Phi _{\ge 1}^H\) and \(\Phi _{\ge 1}^I\):
Proposition 2.8
Let \(\psi _{\ge 1}\) be the non-spherically symmetric part of a solution \(\psi \) of (2.1) which satisfies equation (2.7), and let \(\phi \doteq r \psi _0\). For any \(\tau \), \(\tau _1\), \(\tau _2\) with \(\tau _1 < \tau _2\), \(p \in (0,2]\) and any \(l \in {\mathbb {N}}\) for the quantities
we have that
Remark 2.2
The estimates of the last Proposition 2.8 hold also without the need to restrict to higher angular frequencies if \(l \ge 1\).
We note that we also have separate \((r-M)^{-p}\) and \(r^p\) weighted estimates for any \(\tau _1\), \(\tau _2\) with \(\tau _1 < \tau _2\), any \(l \in {\mathbb {N}}\) and any \(\eta > 0\). For \(\phi _0\) close to the horizon we have that:
for \(p \in (0,3)\). For \(\Phi _0^H\) close to the horizon we have that:
for \(p \in (0,1)\). For \(\psi _0\) at infinity we have the following estimates:
for \(p \in (0,3)\). For \(\Phi _0^I\) at infinity we have that:
for \(p \in (0,1)\).
Analogous estimates hold for \(\phi _{\ge 1}\) close to the horizon (as (2.24) for \(p\in (0,2)\)) and close to infinity (as (2.26) for \(p \in (0,2)\)), for \(\Phi _{\ge 1}^H\) close to the horizon (as (2.25) for \(p \in (0,2)\) without the uncommuted terms with weight \((r-M)^{-p-2}\)), and for \(\Phi _{\ge 1}^I\) close to infinity (as (2.27) for \(p \in (0,2)\) without the uncommuted terms with weight \(r^{p+2}\)), with extra terms coming from the trapping on the photon sphere (losing either one or no derivatives as we do not consider integrated quantities over the photon sphere).
3 Bootstrap Assumptions
From this section and on we will assume that our nonlinearity has the form given in equation (1.1) without the cubic and higher order terms (that are easier to deal with), hence we will use all the estimates that were presented in all the sections so far for
for A as defined before in the statement of Theorem 1.1. We set \(F_0 \doteq F_{\ell = 0}\) and \(F_{\ge 1} \doteq F_{\ell \ge 1}\). We also set
We will assume the following estimates in all the remaining section of the paper for C a constant, \(E_0\) the initial energy as defined in Appendix A.5, \(\delta _1 , \delta _2, \beta _0 > 0\) small enough, for some \(\epsilon > 0\), for \(0< \beta < \delta _2\) and \(0 < \delta \le \delta _2\), and for \({\mathcal {L}}\) being any “linear” term among the ones that show up on the left hand side of inequality (4.7)-(4.46) (so when we want to show these estimates the “linear” \({\mathcal {L}}\) terms from the inhomogeneities can be absorbed in the left hand side of inequality that is used). After examining their implications, we will verify their validity through a bootstrap argument (the letters used below roughly correspond to the number of T derivatives).
4 Decay and Boundedness Estimates
4.1 Energy Decay Estimates
First, we will derive the decay estimates for the various energies restricted to the spherically symmetric part \(\psi _0\) of a solution \(\psi \) of (1.1). We will apply the bootstrap assumptions of Section 3 together with the energy inequalities of Section 2.
Lemma 4.1
Let \(\psi _0\) be the spherically symmetric part of a solution \(\psi \) of (1.1) for which the assumptions of Section 3 are satisfied. Then for all \(\tau \ge \tau _0\) we have that
for \(\epsilon \) and \(\delta _1\) as in the bootstrap assumptions of section 3.
Proof
We will omit several details of the proof as they are quite standard. We first note that by the bootstrap assumptions (A3), (C1)–(C5), we have that the quantity
(see Proposition 2.6) is bounded by \(C E_0 \epsilon ^2\) for all \(\tau _1\), \(\tau _2\) with \(\tau _1 < \tau _2\). Note that the above quantity contains
and so the later is also bounded by \(C E_0 \epsilon ^2\) for all \(\tau _1\), \(\tau _2\) with \(\tau _1 < \tau _2\). By a standard argument we have that
over a dyadic sequence \(\{ \tau ^1_n \}\), and that
over another dyadic sequence \(\{ \tau ^2_n \}\). It’s easy then to see that we have that
for \(\{ \tau _n \} = \{ \tau ^1_n \} \cup \{ \tau ^2_n \}\). By Hardy’s inequality (A.4) we have that for all \(\tau \)
and that
by using the decay over \(\{ \tau _n \}\) for \(II_{0,0}^{\delta _1}\) and \(\int _{{\mathcal {N}}^I} r^{-\delta _1} (L \Phi _0^I )^2 \, d\omega dv\), estimates (2.17) and (2.26) for \(l=0\), and the bootstrap estimates (A2) and (A4), we can get that over another dyadic sequence \(\{ \lambda _n \}\) we have that
where we also used that by the bootstrap assumptions (A1)–(A6) we can actually show decay of rate \(\tau ^{-2}\) for the T-flux of \(\psi _0\) (for details on this see Theorem 21 of Section 6 of [3], the situation is analogous to the one in the present paper). By a standard argument and using estimates (2.25) and again (2.26) we have that
and
Arguing in the same way we can now show that
from which, using moreover (2.17) and (2.24), it easily follows that
by using also (2.12) for \(\psi = \psi _0\) (which does not lose any derivatives on the photon sphere). \(\square \)
Remark 4.1
Note that by the proof of the above Lemma, we get the following hierarchy of energy decay estimates under the condition that the assumptions of section 3 are satisfied:
and
where the range of \(p \in (0 , 1-\delta _1 )\) in (4.3) and (4.5), and the range of \(p \in [1-\delta _1 , 2]\) in (4.2) and (4.4) can be obtained through interpolation.
For the non-spherically symmetric part \(\psi _{\ge 1}\) of a solution \(\psi \) of (1.1) we have the following energy decay estimate arguing as in the case of the spherically symmetric part for which we argue as in the proof of the previous estimate Lemma and where we use the corresponding energy decay estimates.
Lemma 4.2
Let \(\psi _{\ge 1}\) be the non-spherically symmetric part of a solution \(\psi \) of (1.1) for which the assumptions of section 3 are satisfied. Then for all \(\tau \) we have that
for \(\epsilon \) and \(\delta _2\) as in the bootstrap assumptions of section 3.
Proof
The proof of the above Lemma follows the same lines as the previous Lemma using now the corresponding bootstrap assumptions from section 3. \(\square \)
Combining the previous two lemmas we have that:
Similarly we have the following estimates after commuting with T derivatives:
and
Note that by the proof of the previous Lemma, we get the following hierarchy of energy decay estimates under the condition that the assumptions of section 3 are satisfied:
and
Similarly after commuting with T derivatives we also have the following estimates:
Also as it is evident from the proof of estimates (4.1)and (4.6), we also get the following decay estimates under the condition that the assumptions of section 3 are satisfied:
and
for any \(\tau _1 < \tau _2\), for \(\epsilon \) and \(\delta _1\), \(\delta _2\) as in the bootstrap assumptions of section 3, for any \(k \le 5\), and for any \(\delta > 0\). We also have that:
Similarly we have after commuting with T derivatives the following estimates:
4.2 Pointwise Decay Estimates
First we state the decay estimates satisfied by various quantities away from the horizon.
Lemma 4.3
Let \(\psi \) be a solution of the equation (1.1) for which the assumptions of section 3 are satisfied. Then we have that
for all \(\tau \), for \(\epsilon \) and \(\delta _1\) as in the bootstrap assumptions of section 3, and for any \(r > M\) where the constant constant \(C_r\) diverges to infinity as \(r \rightarrow M\) or as \(r \rightarrow \infty \).
Proof
The proof follows from a standard application of the fundamental theorem of calculus. We demonstrate it only for \(\psi _0\) (since the argument for estimate (4.48) and (4.49) is almost identical) where we use a coordinate system \((\rho ,\omega )\) on \(\Sigma _{\tau }\) for any \(\tau \):
where we used the fact \(r > M\) in order to present the D factor in the integral in the first line, and in the last line we used the decay estimate (4.1). \(\square \)
Using the previous estimates we have the following decay estimates close to the horizon for the spherically symmetric part of (1.1).
Lemma 4.4
Let \(\psi _0\) be the spherically symmetric part of a solution \(\psi \) of (1.1) for which the assumptions of section 3 are satisfied. Then for all \((u,v) \in {\mathcal {A}}_{\tau _0}^{\infty } / SO(2)\) we have that
for \(\epsilon \) and \(\delta _1\) as in the bootstrap assumptions of section 3, and for all \((u,v) \in {\mathcal {B}}_{\tau _0}^{\infty }\) that
Proof
We apply the fundamental theorem of calculus to \(\psi _0^2\) and we have that
where we used the decay estimate in the interior (4.47), the energy decay estimate (4.1) and the energy decay estimate (4.2). The estimate at infinity follows in a similar way using estimates (4.4). \(\square \)
For the non-spherically symmetric part we have the following decay estimates:
Lemma 4.5
Let \(\psi _{\ge 1}\) be the non-spherically symmetric part of a solution \(\psi \) of (1.1) for which the assumptions of section 3 are satisfied. Then for all \(k\le 5\) and for all \((u,v) \in {\mathcal {A}}_{\tau _0}^{\infty } / SO(2)\) we have that
for \(\delta _2\) as in the bootstrap assumptions of section 3, and for all \((u,v) \in {\mathcal {B}}_{\tau _0}^{\infty }\) that:
Combining the previous Lemmas gives us also the following estimates for any \(k \le 5\):
After commuting with T derivatives we have the following decay estimates for any \(k\le 5\):
4.3 Boundedness of \(\partial _r \psi \)
In this section we will show that the transversal to the horizon \(\partial _r\) derivative is bounded within spherical symmetry close to the horizon, while it decays (at a slow rate) outside spherical symmetry or after commuting with T (again close to the horizon – away it decays with a much better rate via the use of the elliptic estimates (A.6)). For the boundedness result we will use the method of characteristics (following a similar approach to [3]) while for the decay results we will use the \((r-M)^{-p}\)-weighted energy hierarchies. We also note that the following boundedness estimate involves a bootstrap argument under the assumptions of Section 3 (the same is done for the growth estimates of Section 5). The later assumptions are then verified through another bootstrap argument (in Section 6) and the choice of the final smallness constant is the minimum of the constants involved in the aforementioned bootstrap arguments.
Theorem 4.1
Let \(\psi \) be a solution of (1.1) with the corresponding initial data, and assume that the bootstrap assumptions of Section 3 hold true. Then there exists some \(\epsilon ' > 0\) such that for all \(0< \epsilon < \epsilon '\) we have for all \((u,v,\omega ) \in {\mathcal {A}}_{\tau _0}^{\infty }\) that:
Proof
The proof will follow a standard bootstrap argument. We note that equation (1.2) has the following form in double null coordinates for \(\phi = r \cdot \psi \) close to the horizon
For the quantity
the above equation (4.73) gives us the following equation
The last equation is of the form
where
We integrate the previous equation (4.75) in the v direction and we have that
For the second term we have that
by using the pointwise decay estimates (4.52). For the third term we have that
where we used the pointwise decay estimate (4.54). For the fifth term we have that
where we used the pointwise decay estimate (4.54). For the sixth term we integrate by parts and we have that
where we used pointwise decay estimate (4.54) and the smallness of \(\delta _1\), and the fact
The seventh and eighth terms can be treated similarly. Finally for the fourth term we have that
and we note that the term
is of size \(\lesssim C E_0 \epsilon ^2\) as it is of higher order in D due to the L derivative hitting \(\frac{D \cdot A}{r}\), while for the last term we use the equation and we have that
We note that all the terms apart from the second one and the fourth one are integrable in v as they can be bounded by
so they are of size \(\lesssim C E_0 \epsilon ^2 + C^{3/2} E_0^{3/2} \epsilon ^2\) as \(\delta _1\) is small enough, by using the pointwise decay estimates (4.54), (4.57), and the bootstrap assumption. For the second term we note that we have that
where now we took advantage of the \((r-M)\) factors inside the integral, after using the pointwise decay estimate (4.54) and the bootstrap assumption.
For the fourth term of (4.76) we integrate by parts with respect to L and use again the equation. It is easy to check that all the terms can be bounded by
after using the pointwise decay estimate (4.54) and the bootstrap assumption.
Gathering together all the above estimates we note that we got a contribution of size \( \lesssim C^{1/2} E_0^{1/2} \epsilon \) from all the linear terms, while from all the nonlinear terms we got a contribution of size \( \lesssim C E_0 \epsilon ^2 + C^{3/2} E_0^{3/2} \epsilon ^3 + C^2 E_0^2 \epsilon ^4\), and this suffices in order to close the bootstrap argument and prove estimate (4.79) if we choose \(\epsilon < \epsilon '\) for \(\epsilon '\) small enough. \(\square \)
For the restriction of \(\psi \) to higher angular frequencies and for \(T\psi \) we have that:
Theorem 4.2
Let \(\psi \) be a solution of (1.1) with the corresponding initial data, and assume that the assumptions of Section 3 hold true. We have that
and
for all \((u,v) \in {\mathcal {A}}_{\tau _0}^{\infty } / SO(3)\).
The proof of the above Theorem follows easily from the decay estimates (4.14) and (4.22), and an application of the fundamental theorem of calculus.
A combination of estimates (4.72) and (4.77) gives us the following:
for all \((u,v) \in {\mathcal {A}}_{\tau _0}^{\infty } / SO(3)\) and for all \(\epsilon < \epsilon '\) (for \(\epsilon '\) as in Theorem 4.1).
Finally we record the following two auxiliary estimates for the transversal derivative to the horizon with added \((r-M)^q\)-weights where \(q \in [1/2 + \delta _1 , 3/2 + \delta _1/ 2 )\), and where \(l \le 5\):
and
for \((u,v) \in {\mathcal {A}}_{\tau _0}^{\infty } / SO(3)\), which follow from the use of the \((r-M)^{-p}\)-weighted estimates.
5 Growth Estimates
5.1 Growth for \(\partial _r^2 \psi \)
In [11] it was shown that a linear wave on an extremal Reissner–Nordström spacetime behaves as follows on the event horizon:
Here our goal is to obtain an upper bound for the second transversal derivative of a nonlinear wave \(\psi \) satisfying (1.1) with small data in a neighbourhood of the horizon. We have the following:
Theorem 5.1
Let \(\psi \) be a solution of (1.1) with corresponding initial data, and assume that the bootstrap assumptions of Section 3 hold true. Then for all \(0< \epsilon < \epsilon ''\) where \(\epsilon '' > 0\) is small enough, we have that
for all \((u,v,\omega ) \in {\mathcal {A}}_{\tau _0}^{\infty }\) and any \(\delta \in (0,1]\).
Remark 5.1
Note that in our case as well we have an estimate of the form (5.1) on the horizon (which corresponds to the case \(\delta = 1\) in the aforementioned Theorem). This shows that for \(\delta = 1\) estimate (5.2) is sharp in the region \({\mathcal {A}}\).
Proof
Using equation (A.2) we have that:
We examine the last nonlinear term and we have that using (A.1)
We examine each term separately. We leave the first term as is for now. For the second term we compute that
For the third term we compute that
For the fourth term we compute that
For the fifth term we compute that
For the sixth term we compute that
We get the following equation:
where
and where
for \(g_{H;\delta }\) given by:
Using the boundedness of A we have that:
We solve (5.4), which gives us that
The term
is bounded by \(\lesssim C^{1/2} E_0^{1/2} \epsilon \) by the properties of D and our initial data assumptions. From the inhomogeneous part we first we look at the contribution of the linear terms coming from \(g_{H;\delta }\) and more specifically the second one of them (which turns out to be the worst) we break the integral into the regions \(v_0 \le v' \le \frac{u}{2}\) and \(\frac{u}{2} \le v' \le v\) (noting that if \(v \le \frac{u}{2}\) then the second integral is just 0) and we have that:
In the region \(v_0 \le v' \le u/2\) we note that we have \((r-M) \lesssim \frac{1}{v}\) which implies after using the boundedness estimate (4.79) that we have the following for the first term of the above expression:
For the second term of the previous expression we now work in the region \(u/2 \le v' \le v\) where it holds that \((r-M) \gtrsim \frac{1}{v}\) which implies after using again the boundedness estimate (4.79) that:
All the other terms coming from \(g_{H;\delta }\) can be treated similarly (noting that they behave better than the above after using the pointwise decay estimates (4.54) for the terms involving and \(\phi \), and the decay estimates (4.77) for the term involving ). All the terms of \(f_{H;n}^1\) can be treated also in a similar manner and it is easy to see that they are better and of size \(\lesssim C E_0 \epsilon ^2 v^{\delta }\). Now we consider the second term of the sum \(f_{H;n}^2 + f_{H;n}^3 + f_{H;n}^4 + f_{H;n}^5 + f_{H;n}^6\) and we have that
where we used the pointwise decay estimates (4.54) and the fact that
for any \(\delta ' > 0\) and for all \(\delta \in (0,1]\) (due to the extra \(D^{1/2}\) weight) by our bootstrap assumptions. The previous estimate follows by choosing \(\delta '\) small enough so that \(\delta ' + \delta _1 < 1\). For the third term of the sum \(f_{H;n}^2 + f_{H;n}^3 + f_{H;n}^4 + f_{H;n}^5 + f_{H;n}^6\) we have that
where we used the boundedness estimate (4.79). For the fourth term of the sum \(f_{H;n}^2 + f_{H;n}^3 + f_{H;n}^4 + f_{H;n}^5 + f_{H;n}^6\) we integrate by parts and we have that:
The last of term of this last expression is better or similar to the rest by using the equation (4.74). The first term is just bounded by \(C E_0 \epsilon ^2\), while the second term can be bounded by \(C E_0 \epsilon ^2\) as well by using the boundedness of \(\phi \) and \(\frac{2r}{D} {\underline{L}} \phi \) and the presence of the \(D^{5/2}\) weight in the integral. For the fifth term of the sum \(f_{H;n}^2 + f_{H;n}^3 + f_{H;n}^4 + f_{H;n}^5 + f_{H;n}^6\) we have that
For the sixth term of the sum \(f_{H;n}^2 + f_{H;n}^3 + f_{H;n}^4 + f_{H;n}^5 + f_{H;n}^6\) we integrate by parts and we have that
The first term is bounded by \(C E_0 \epsilon ^2\) by the properties of D and the boundedness of \(\phi \), while the second term is also bounded by \(C E_0 \epsilon ^2\) again by the boundedness of \(\phi \) and the presence of the \(D^{5/2}\) inside the integral. For the seventh term we have that
again for \(\sigma \) small enough so that the term in the last integral is integrable. The eight term of the sum \(f_{H;n}^2 + f_{H;n}^3 + f_{H;n}^4 + f_{H;n}^5 + f_{H;n}^6\) can be treated similarly to the term of the last expression. For the ninth term of the sum \(f_{H;n}^2 + f_{H;n}^3 + f_{H;n}^4 + f_{H;n}^5 + f_{H;n}^6\) we have that
where we used the pointwise decay estimate (4.52). Note that the last two terms of the sum \(f_{H;n}^2 + f_{H;n}^3 + f_{H;n}^4 + f_{H;n}^5 + f_{H;n}^6\) are of cubic nature, so they can be treated similarly and they are bounded by \(\lesssim C^{3/2} E_0^{3/2} \epsilon ^3 v^{\delta }\). Finally for the first term of the sum \(f_{H;n}^2 + f_{H;n}^3 + f_{H;n}^4 + f_{H;n}^5 + f_{H;n}^6\) we integrate by parts and we have that
The last term of the last expression is of cubic nature and can be treated similarly to the rest, in the end it can be bounded by \(C^{3/2} E_0^{3/2} \epsilon ^3 v^{\delta }\). The first term due to the pointwise decay estimate (4.54), the properties of D and the bootstrap assumption is of size \(\lesssim C E_0 \epsilon ^2 v^{\delta }\). The second term can be bounded by \(C E_0 \epsilon ^2 v^{\delta }\) by using the pointwise decay estimate (4.54), the bootstrap assumption, and the presence of the term \(D^{\frac{3+\delta }{2}} D^{1/2}\) inside the integral. For the fourth term we have for \(\delta = 1\) that
where we used the pointwise decay estimate (4.54) and \(\delta _1 \ll 1\). On the other hand for \(\delta = 0\) (which is outside the range of the Theorem) we have that
where we used again the pointwise decay estimate (4.54). The rest of the \(\delta \) range follows by interpolation. The third, fifth and sixth terms can be treated similarly (and as can be easily seen they admit better bounds). Similarly we can treat the term .
In the very end, we note that we were able to bound \(D^{1/2-\delta /2} \left| \frac{2r}{D} {\underline{L}} \left( \frac{2r}{D} {\underline{L}} \phi \right) \right| (u,v,\omega )\) by
and for \(\epsilon \) small enough this is bounded by \(C^{1/2} E_0^{1/2} \epsilon v^{\delta }\).
The Theorem now follows by gathering together all previous estimates. \(\square \)
5.2 Some Auxiliary Estimates
From our previous pointwise estimates it is clear that our energy estimates are not enough to conclude that \(T^m\psi \) for \(m \in \{ 0,1,2,3 \}\) apart from the case of \(m=0\), are integrable in v close to the horizon. Nevertheless we will show some weighted boundedness estimates in v for \(T^m \psi \), \(m \in \{ 0 ,1,2,3 \}\).
Theorem 5.2
Let \(\psi \) be a solution of the equation (1.1). Under the bootstrap assumptions of section 3 and for all \(0< \epsilon < \epsilon _0\) for \(\epsilon _0\) small enough we have that
for all V, for any \(0< \delta < 2-\delta _1\) if \(m=0\), for any \(0< \delta < 2+\delta _2\) if \(m=1\), for any \(0< \delta < 1+\delta _2\) if \(m=2\), for any \(0< \delta < \delta _2\) if \(m=3\), for any \((u_{R,n} , v ) \in {\mathcal {A}}_{\tau _0}^{\infty } \setminus SO(3)\) where \(v \in [v_0 , V]\) and any \((U,V) \in {\mathcal {A}}_{\tau _0}^{\infty } \setminus SO(3)\) (where \(u_{R,n}\) is on the hypersurface \(r=R\) for any \(M < R \le r_0\)), for \(m\in \{0,1,2,3\}\), and for any \(k \le 5\).
Proof
The proof will be done through a standard bootstrap argument. First we use the fundamental theorem of calculus for a dyadic sequence \(\{ v_n \}\) and we have that
We use again equation (4.73) after commuting with \(\Omega ^k\) for \(k \in \{0,1,2,3,4,5\}\) and we have that
and as
we have that
Going back to equation (5.6) we have that
The first term \(l_1\) can as follows:
where we used a standard averaging argument and the Morawetz decay estimates (4.41), (4.42), (4.43) and (4.44).
The ninth term \(l_{9}\) can be considered similarly as the rest so we will not study it in detail. For the second term \(l_2\) we integrate by parts on \({\mathbb {S}}^2\) and additionally we integrate by parts with respect to L and we have that:
where we used decay provided by Morawetz decay estimates (4.41), (4.42), (4.43) and (4.44), and the decay of the T-fluxes (4.8), (4.9) and (4.10). For the third term \(l_3\) we have that
where we used Cauchy-Schwarz, Hardy’s inequality (A.4), and the Morawetz decay estimates (4.41), (4.42), (4.43) and (4.44). For the fourth term we look at the case \(m=3\) (since the cases \(m=1\) and \(m=2\) are either easier or similar) and we have that
where we used Sobolev’s inequality (A.3) in all three terms. For the first term in the above expression we used estimate (5.5) for \(m=0\) (in the context of the bootstrap argument), the decay estimates (4.29), and the Morawetz decay estimate (4.44). For the second term in the above expression we used that \(LT \phi \) decays like \(T^2 \phi \) (hence we use the decay from (4.60)), the boundedness of the \((r-M)^{-p}\)-weighted estimate for \(T^2\) for \(p=2+\delta _2\) (which follows after applying Hardy’s inequality (A.4) and using the boundedness of the corresponding commuted estimate for \(p=\delta _2\)), and the Morawetz decay estimate (4.44). For the third term in the above expression we used the boundedness estimate (4.78) and the Morawetz decay estimates (4.43) and (4.44). For the fourth term in the above expression we used the boundedness estimate (4.79) and the Morawetz decay estimate (4.44). We also note by using the same method we get the following bounds in the \(m=0\), \(m=1\) and \(m=2\) cases:
For the fifth term of the original expression we look again at the case of \(m=3\) (as the cases \(m=0\), \(m=1\) and \(m=2\) are easier or similar) and we have that
where we used Sobolev’s inequality (A.3), Cauchy-Schwarz, the decay of the terms \(T\phi \), \(T^2 \phi \) and \(T^3 \phi \) (given by the pointwise decay estimates (4.57), (4.60), (4.63)), and the Morawetz decay estimates (4.41), (4.42), (4.43) and (4.44). For the \(m=0\), \(m=1\) and \(m=2\) cases we have that:
For the sixth term we look once again at the case \(m=3\) (since the cases \(m=0\), \(m=1\) and \(m=2\) are similar or easier) and we have that
where again we used Sobolev’s inequality (A.3), Cauchy-Schwarz, the pointwise decay estimates (4.54), (4.57), (4.60), (4.63), and the Morawetz decay estimates (4.41), (4.42), (4.43), (4.44). For the \(m=0\), \(m=1\) and \(m=2\) cases we have that:
For the seventh term we look once again at the case of \(m=3\) (since the cases \(m=1\) and \(m=2\) are easier or similar) and we have that
where we used Sobolev’s inequality (A.3), Hardy’s inequality (A.4), the Morawetz decay estimate (4.44), and the energy decay estimates (4.10) and (4.9) for \(p = \delta \). For the \(m=0\), \(m=1\) and \(m=2\) cases we have that:
For the eighth term we consider once again the case \(m=3\) (as the cases \(m=0\), \(m=1\) and \(m=2\) are easier or similar to it) we have that
where again we used Sobolev’s inequality (A.3), Cauchy-Schwarz, the Morawetz decay estimate (4.44) for all terms, the pointwise decay estimates (4.54), (4.57), (4.60), (4.63), and the energy decay estimates (4.2), (4.21), (4.25) and (4.29) for \(p=\delta \). For the cases \(m=0\), \(m=1\) and \(m=2\) we have that:
All the above estimates give us that in order show the estimates (5.5) we need the following conditions for \(\delta \):
and \(\epsilon \) small enough so that \(\epsilon ^3 < \epsilon ^2\). \(\square \)
6 The Bootstrap Argument
In this section we will present the bootstrap argument and verify the estimates of section 3. We will prove the following Theorem:
Theorem 6.1
Let \(\psi \) be a solution of the equation (1.1) with the corresponding data, and assume additionally that the bootstrap assumptions of Section 3 for a given \(\epsilon \). We have that the following estimates hold true for \(\delta _1 , \delta _2 , \beta _0 > 0\) small enough, for \(0< \beta < \delta _2\) and for \(0 < \delta \le \delta _2\):
Remark 6.1
We expand the nonlinear term with \(\Omega ^k\) and \(T^m\) commutations and we have that:
We will use the above equation in the bootstrap argument for (C1’), (D1’), (E1’) and (F1’).
Proof
We will prove the estimates stated in the Theorem one by one.
(A2’): In order to estimate the term for the second bootstrap we expand again \(F_0\) into its actual terms and we have for any \(\tau _1\), \(\tau _2\) with \(\tau _1 < \tau _2\) that:
where the subscript \(*\) denotes the different angular frequency localizations that always add up to 0 (when applying the projection to the 0-th angular frequency to nonlinear terms). For the very first term we have that for any \(\tau _1\), \(\tau _2\) with \(\tau _1 < \tau _2\) that the following holds:
where we used the pointwise boundedness estimate (4.79), and the Morawetz decay estimate (4.41) (as \(p \in (0,2-\delta _1 ]\)).
For the second term we have that
where we used the boundedness estimate (4.79), Hardy’s inequality (A.4), and the Morawetz decay estimate (4.41).
For the third term we have that
where we used the decay estimate (4.57), Hardy’s inequality (A.4), and the Morawetz decay estimate (4.41). As \(p \in (0,2-\delta _1 ]\) we have that:
For the fourth term we have that
where once again we used the decay estimate (4.50), Hardy’s inequality (A.4), the Morawetz decay estimate (4.41), and the fact that \(p \in (0,2-\delta _1 ]\).
Finally for the fifth term we have that
which is a better estimate than the one desired (as \(\delta _2 > 0\)), and which we obtained by using the decay estimate (4.52) for \(k=1\), Hardy’s inequality (A.4), the energy decay estimates (4.13), and the fact that \(p \in (0,2-\delta _1 ]\).
(A1’): This follows from the estimates for \(p=1\) in the bootstrap argument for (A2’), where it was shown that for \(p=1\) we have decay of rate \( \frac{C^2 E_0^2 \epsilon ^4}{(1+\tau _1 )^{3-\delta _1}}\) (which is better than required for the purposes of (A2’)).
(A3’): We examine only the term of the nonlinearity involving both L and \({\underline{L}}\) derivatives (as the rest are similar or easier as demonstrated already by our work in (A2’)) and we have for \(\beta \) small enough and for the subscript \(*\) denoting the different angular frequency localizations always adding up to 0 that:
where we used the auxiliary estimates (5.5) for \(m=0\) (by taking \(\beta < 2-\delta _1\)), Hardy’s inequality (as \(p \in (2, 3-\delta _1 ] \Rightarrow 4-p > 1\)) and the energy decay estimates (4.2), (4.14).
(A4’): Using again the form of \(F_0\) and denoting by subscript \(*\) the different angular frequency localizations we have that:
For the first term we have that
for some \(0< \delta _0 < \delta _2\), where we used the auxiliary estimate (5.5) for \(m=0\) and the energy decay estimates (4.4).
For the second term
we can use the equation to expand \({\underline{L}} L \phi _{*}\), and we get terms with better decay than required.
For the third term we note that due to our assumptions on A we have that
and this can be treated as the terms in the (A2’) bootstrap.
For the fourth term we have that
and as \(\delta _1\) is chosen to be small enough, we have that \(3-2\delta _1 - p > 1-\delta _1 -p\) for any \(p \in (0,1-\delta _1 ]\), and this gives us the desired estimate by choosing \(\beta \) to be also small enough. Note that we used the pointwise decay estimate (4.54) and the energy decay estimates (4.18).
For the fifth term we have that
and this gives us better than the desired decay. Note that we used the boundedness estimate (4.79) and the decay estimates (4.18).
For the sixth term we note that due to the assumptions on A we have that
and the resulting term can be treated as the terms in the (A2’) bootstrap.
For the seventh term we have that
where we used the decay from the Morawetz estimate (4.41) as \(p \in (0, 1 -\delta _1 ] \Rightarrow 3-p \in 2+\delta _1\), and this gives us better decay than desired.
For the eighth term:
we can use the equation to expand \({\underline{L}} L \phi _{*}\), and we get terms with better decay than required.
For the ninth term, due to the assumptions on A we have that
and the resulting term can be treated as the terms in the (A2’) bootstrap.
For the tenth term we have that
where we used the pointwise decay estimate (4.54) and the energy decay estimate (4.17). Since \(\delta _1 > 0\) is small enough, we obviously have that \(5-2\delta _1 - p > 1-\delta _1 -p\) for \(p \in (0,1-\delta _1 ]\), which is better than desired.
For the eleventh term, due to the assumptions on A we have that
and the resulting term can be treated similarly to the terms of the (A2’) bootstrap.
For the twelfth term we note that we have that
where we used the Morawetz decay estimate (4.41), the pointwise decay estimate (4.52), and the boundedness estimate (4.79).
Finally for the thirteenth term we note that
and the last term was dealt with in the context of the twelfth term.
(B2’) Using the form of \(F_{\ge 1}\) we have that:
where we use \(*\) as a subscript to denote the different angular frequency localizations that always add up to the case of \(\ge 1\).
For the first term we have that:
where we used the boundedness estimate (4.79), and the Morawetz decay estimate (4.41) in the case of \(p \in [1,2-\delta _1]\), and where we used the auxiliary estimate (4.80) for \(q = 1-\delta _1\) and the Morawetz decya estimate (4.41) in the case of \(p \in (0,1)\). Note that we got better decay than required in both cases as for \(p \in [1,2-\delta _1]\) we have that \(3-\delta _1 > 3+\delta _2 -p\), and for \(p \in (0,1)\) we have that \(4-3\delta _1 > 3 + \delta _2 -p\) due to the smallness of \(\delta _1\) and \(\delta _2\). For the second term we have that
where we used Sobolev’s inequality (A.3), the pointwise estimate (4.54) and the Morawetz decay estimate (4.41) as \(p \in (0,2-\delta _1] \Rightarrow 3-p \ge 1+\delta _1\). The resulting decay is better than desired as by the smallness of \(\delta _1\) we have that \(5-2\delta _1 > 3+\delta _2-p\) for \(p \in (0,2-\delta _1 ]\). For the third term we have that
where we used the pointwise decay estimate (4.54) and the Morawetz decay estimate (4.41) (as \(0 < p \le 2-\delta _1\)) and as before we note that we get better decay than required as \(5-2\delta _1 > 3+\delta _2-p\) for \(p \in (0,2-\delta _1 ]\). For the fourth term we have that
where we used the pointwise decay estimate (4.54), Hardy’s inequality (A.4), the Morawetz decay estimate (4.41) (as \(0 < p \le 2-\delta _1\)), and we got again better decay than required as \(5-2\delta _1 > 3+\delta _2-p\) for \(p \in (0,2-\delta _1 ]\). For the fifth term we have that
where we used the pointwise decay estimates (4.54) and the energy decay provided by the estimates (4.13). Finally the last term
involves terms that can be treated similarly to the previous terms.
(B1’): We examine the term close to the horizon as the term away from the horizon can be treated by rather classical methods. Moreover we examine in detail only the terms involving the product of L and \({\underline{L}}\) derivatives since the rest are similar or easier. These terms are:
For the first term we have that
where we used the boundedness estimate (4.79) and the Morawetz decay estimates (4.40). For the second term we have that
where we used the auxiliary estimate (4.80), the Morawetz decay estimate (4.41), and the fact that \(\delta _1\) and \(\delta _2\) are small enough. The third and fourth terms can treated similarly to the first two.
(B3’): We use again the form of \(F_{\ge 1}\) and we have for subscript \(*\) being the angular frequency localization that adds up to \(\ge 1\) that:
The worst terms from the above are the ones that include \({\underline{L}} \left( \frac{2r}{D} {\underline{L}} \phi _0 \right) \), they come from the first term and the last term of the last expression, and their form is the following:
We have for \(p = 1+\delta _2\) that:
where first we used the growth estimate (5.2), we used the auxiliary estimate (5.5) for \(m=0\), always choosing \(\beta _1\) to be bigger than \(\delta _2\) and \(\beta \) and \(\beta _1\) to be small enough such that \(\beta + \beta _1 < 2 -\delta _1\) (note that these two conditions can be simultaneously satisfied due to the smallness of \(\delta _1\) and \(\delta _2\)). On the other hand we consider the (out of range) case of \(p=0\) and we have that:
The first term of the above expression can be absorbed by the left hand side that has the term of interest in (B3’) in its right hand side for any \(p \in (0,1+\delta _2]\). For the second term we have for any \(v \in [\tau _1 , \tau _2 ] \) that:
where we used the growth estimate (5.2) and the Morawetz decay estimate (4.41), and for \(\delta _3 > 0\) small enough we now note that using the last estimate we have that:
The required estimate for the term (6.3) now follows by the estimate that was shown for \(p=1+\delta _2\) (which is sharp), the (artificial) \(p=0\) estimate (which is better than required as \(\delta _1\) and \(\delta _3\) are small enough so that \(2-\delta _1 - \delta _3 > 1+\delta _2\)), and a standard interpolation argument. The rest of the terms are of similar difficulty or even easier and we will not examine them.
(B5’): We have for any \(k \le 5\) using the form of \(F_{\ge 1}\) and using subscript \(*\) to denote the angular frequency localization that adds up to \(\ge 1\) that:
From the first term we consider the terms that include \(L \left( \frac{2r^2}{D} L \phi _0 \right) \) since the range of p in the commuted estimates for \(\phi _0\) at infinity is smaller and we have that
for any \(\delta ' > 0\), so choosing \(\delta '\) small enough gives us better decay than required due to the smallness of \(\delta _1\). We used that
which follows from the pointwise decay estimates (4.57) and decay for \(L \phi \) which can be obtained by the fundamental theorem of calculus and the energy decay estimates (4.19) and (4.20). Note that it was crucial to use the extra \(\frac{1}{r^2}\) term so that for \(p \in (0,1+\delta _2] \Rightarrow p-1 < 1-\delta _1\) due to the smallness of \(\delta _1\) and \(\delta _2\), in order to apply estimate (4.3) since the spherically symmetric part has a smaller p range in the commuted estimates than the non-spherically part.
For the second term we write the \({\underline{L}}\) derivative as a sum of the T and L derivatives and we have that:
for any \(\delta ' > 0\). We used that \( r^2 L \phi \) is bounded (by the method of characteristics in the spherically symmetric case and by the energy estimates (4.14) in the non-spherically symmetric case), the estimate (6.4), and the energy decay estimates (4.20) and (4.21). The fourth term can be treated similarly.
For the third term we have that
where we used again the boundedness of the \(r^2 L \phi \) and the Morawetz decay estimate (4.40) as \(p-3 \le -2+\delta _2 < -1-\eta \) for some \(\eta > 0\) as \(\delta _2\) is chosen to be small enough. Terms five to nine can be treated similarly to the above. For the tenth term we have that
where we used the pointwise decay estimate (4.54), the boundedness of \(r^2 L \phi \), and the energy decay estimates (4.15) and (4.16). Term eleven can be treated in a similar way, while the last term twelve can be expanded and can be easily seen to comprise of terms similar to the above.
(C2’): We have for any \(k \le 5\) that
For the first term we have for any \(k \le 5\) that:
where we used the boundedness estimate (4.79) and the Morawetz decay estimates (4.42) as \(p\in (0,2-\delta _1 ]\). For the second term we have that:
where we used Sobolev’s inequality (A.3), the auxiliary estimate (5.5) for \(m=0\) and the energy decay estimates (4.21).
The rest of the terms can be treated now as in the case of (A2’) by using the energy decay estimates (4.21).
(C1’): We deal with the term close to the horizon as the term away from the horizon can be treated in a rather classical manner. As in (B1’) we examine in detail only the terms involving L and \({\underline{L}}\) derivatives since the rest are either similar or easier. We consider the terms:
For the first term we have that
where we used Sobolev’s inequality, the auxiliary estimate (4.80), the Morawetz decay estimate (4.42), and the fact that \(\delta _1\) and \(\delta _2\) are small enough.
For the second term we argue similarly this time using the auxiliary estimate (4.81), the Morawetz decay estimate (4.41), and the fact that \(\delta _1\) and \(\delta _2\) are small enough and we have that:
(C3’): Once again we expand F and due to the commutations with T and \(\Omega ^k\) for \(k \le 5\), we have the following:
where \(F_1\) includes all terms where some angular derivatives fall on A, \(F_2\) includes terms where some angular derivative and the T derivative fall on A, \(F_3\) includes all terms where some angular derivatives and the \({\underline{L}}\) derivative fall on A or a term involving r, and the \(F_4\) includes all terms where some angular derivatives, and the \({\underline{L}}\) and T derivatives fall on A. All these terms are similar or easier than the rest so we will not examine them in detail.
For the second term we have that for any \(k \le 5\) that
where we used Sobolev’s inequality (A.3), the auxiliary estimate (5.5) for \(m=0\), and the decay provided by the energy estimates (4.21).
For the first term the above process cannot work, as the spherically symmetric part of the term with two \({\underline{L}}\) derivatives admits \((r-M)^{-p}\)-weighted estimates for \(p \in (0,1-\delta _1]\), and not for \(p \in (1-\delta _1 , 1+\delta _2 ]\). For this purpose we break the first term in the following two parts:
The last term of the above expression as the second term that was treated above (as for this one the term with the two \({\underline{L}}\) derivatives admits \((r-M)^{-p}\) estimates for up to \(p = 1+\delta _2\)). For the other term instead we have for \(p = 1+\delta _2\) that:
where we used the growth estimate (5.2), the auxiliary estimate (5.5) for \(m=0\), always choosing \(\beta _1\) to be bigger than \(\delta _2\) and \(\beta \) and \(\beta _1\) to be small enough such that \(\beta + \beta _1 < 2 -\delta _1\) (note that these two conditions can be simultaneously satisfied due to the smallness of \(\delta _1\) and \(\delta _2\)). On the other hand we consider the (out of range) case of \(p=0\) and we have that:
The first term of the above expression can be absorbed by the left hand side that has the term of interest in (B3’) in its right hand side for any \(p \in (0,1+\delta _2]\). For the second term we have for any \(v \in [\tau _1 , \tau _2 ] \) that:
where we used the growth estimate (5.2) and the Morawetz decay estimate (4.42), and for \(\delta _3 > 0\) small enough we now note that using the last estimate we have that:
The required estimate for the second term of (B3’) now follows by the estimate that was shown for \(p=1+\delta _2\) (which is sharp), the (artificial) \(p=0\) estimate (which is better than required as \(\delta _3\) is small enough), and a standard interpolation argument.
For the fifth term we have for any \(k \le 5\) that:
where we used Sobolev’s inequality (A.3), the pointwise estimate (4.57), and the hierarchy of energy estimates (4.4). The above decay is better than required.
The sixth term (again considered for any \(k \le 5\))
can be treated similarly to the fifth term, by using the pointwise decay (4.54) in the place of (4.57), and the hierarchy of energy estimate (4.8) in the place of (4.4).
For the seventh term we have for any \(k \le 5\) that:
where we used Sobolev’s inequality (A.3), the pointwise bound (4.79) and the Morawetz decay estimate (4.42) (as \(p \in (0,1+\delta _2 ]\)).
For the eighth term we have for any \(k \le 5\) that:
where we used Sobolev’s inequality (A.3), the boundedness estimate (4.79) and the Morawetz decay estimate (4.42).
For the ninth term we have for any \(k \le 5\) that:
where we used Sobolev’s inequality (A.3), the pointwise estimate (4.79), and the Morawetz decay estimate (4.42) as \(p \in (0,1+\delta _2]\).
For the tenth term we have for any \(k \le 5\) that:
where we used Sobolev’s inequality (A.3), the auxiliary estimate (5.5) for \(m=0\), the energy decay estimates (4.21). The decay obtained is better than required.
For the eleventh term we have for any \(k \le 5\) that:
where we used Sobolev’s inequality, the pointwise estimate (4.54), and the energy decay estimates (4.25), (4.22) and (4.21). Note that as we choose \(\beta \) to be small enough, the obtained decay is better than the one required.
For the twelfth term we have that:
We look separately at the last three terms of the last expression. For the first one by using Sobolev’s inequality (A.3), the pointwise decay estimate (4.57), Hardy’s inequality (A.4) and the energy decay estimates (4.22) we have that
For the second one by using Sobolev’s inequality (A.3), the pointwise decay estimate (4.57) and the energy decay estimates (4.18) (as \((r-M)^{-p-1} D^2 \simeq (r-M)^{-p+3}\) so although \(p \in (0,1+\delta _2]\) we can use the estimates (4.18) as \(\delta _2\) is small) we have that it is bounded by:
For the third one by by using Sobolev’s inequality (A.3), the pointwise decay estimate (4.57) and the energy decay estimates (4.17) we have that for any v it holds that:
Integrating in \([\tau _1 , \tau _2]\) gives us better decay than required.
The thirteenth and fourteenth terms can be shown to have better decay than required by using the decay for the bulk term involving angular derivatives of the energy decay estimates (4.17), (4.18), (4.21) and (4.22) (depending on which part is hit by the largest number of angular derivatives, as if a term has six angular derivatives we are forced to use the aforementioned energy decay estimates, as it was done for the other bootstraps).
(D1’): We examine first the term close to the horizon for any \(k \le 5\) and we have that:
For the first term for any \(k \le 5\), we have for the case of \(m_1 = 0\) and \(m_2 = 2\), for any v, and since \(\delta \le \delta _2\) that:
where we used Sobolev’s inequality (A.3), the pointwise decay estimates (4.57) and the energy decay estimates (4.9) for \(p = 1+\delta \le 1+ \delta _2\). This implies that:
For the case of \(m_1 = 1\) and \(m_2 = 1\) we have for any v (and again since \(\delta \le \delta _2\)) that:
where we used Sobolev’s inequality (A.3), the pointwise decay estimates (4.60) and the energy decay estimates (4.8) for \(p = 1+\delta \le 1+ \delta _2\). This implies that:
For the case \(m_1 =2\) and \(m_2 = 0\) we have for any v (and again since \(\delta \le \delta _2\)) that:
where we used Sobolev’s inequality (A.3), the pointwise boundedness estimates (4.79) and the Morawetz decay estimate (4.43).
(D2’): We use (6.1) for \(m=2\). The last term of (6.1) for \(m=2\) is similar to the rest so we will not examine it in detail. For the first term we have for \(k \le 5\) that:
For the first term of the last expression after using Cauchy-Schwarz, we get the following term:
We look at the endpoint cases \(p=2\) and \(p=0\). In both situations we use that \(L \phi \) is integrable in v (using the estimates (4.57)). For \(p=2\) we get after applying Sobolev’s inequality (A.3) that:
On the other hand, using again Sobolev’s inequality (A.3) and the energy decay estimates (4.9) we get that:
The rest of the estimates for \(p \in (0,2+\delta _2 )\) follow by interpolation.
For the second term of (6.5) we have to control again a similar term to the previous ones after using Cauchy-Schwarz. For \(p=2\) we have after using Sobolev’s inequality (A.3), the pointwise decay estimate (4.60) and the energy decay estimates (4.8) that:
and for the case of \(p=0\) using again the same tools as before we have that:
and finally as before the rest of the p estimates follow by interpolation.
Finally for the third term of (6.5) we have that
where we used Sobolev’s inequality and the auxiliary estimate (5.5) for \(m=2\). In the last term of the last expression for the case \(p=2+\delta _2\) we use Hardy’s inequality (A.4) and we have that
by using the energy decay estimates (4.1). On the other hand for the same term for \(p=0\) we have that
where we used the energy decay estimates (4.1). Both of the last two estimates are better than desired, and the rest of the p range follows by interpolation.
(D3’): This can be done similarly to (A3’), (B3’) and (C3’).
(A6’), (C5’) and (D5’): All these terms can be treated similarly to the (B5’) term.
(E1’): We deal first with the term close to the horizon and we have that:
For the first term of the above estimate we have for \(m_1 =0\) and \(m_2 = 3\), for \(\delta \le \delta _2\) and for any v that:
where we used Sobolev’s inequality (A.3), the pointwise decay estimate (4.57), and the energy decay estimates (4.10) for \(p = 1+\delta \le 1+\delta _2\). This implies that
For the case \(m_1 = 1\) and \(m_2 =2\) for any v we have that (again as \(\delta \le \delta _2\)):
where we used Sobolev’s inequality (A.3), the pointwise decay estimates (4.60), and the energy decay estimates (4.9). This implies that
For the case \(m_1 =2\) and \(m_1 =1\) for any v we have that (again as \(\delta \le \delta _2\)):
where we used Sobolev’s inequality (A.3), the pointwise decay estimates (4.60), and the energy decay estimates (4.9). This implies that
the last estimate being better than desired. Finally for \(m_1 = 3\) and \(m_2 = 0\) we have that
where we used Sobolev’s inequality (A.3), the boundedness estimate (4.79), and the Morawetz decay estimate (4.44).
(E2’): Now we use (6.1) for \(m=3\) and we have for any \(k\le 5\) for the first term that:
For the first term of the last expression after applying Cauchy-Shcwarz we get the following term for \(p=1+\delta _2\):
where we used Sobolev’s inequality (A.3), the pointwise decay estimates (4.57), and the energy decay estimates (4.10). On the other hand using the same estimates we have for the \(p=0\) case that:
and the rest of the p range follows by interpolation.
For the second term of (6.6) we work similarly and for \(p=1+\delta _2\) we get the term:
where we used Sobolev’s inequality, the pointwise decay estimate (4.60) and the energy decay estimates (4.9). Using the same estimates we get for \(p=0\) that:
and the rest of the p range follows by interpolation.
For the third term of (6.6) we work similarly using Cauchy-Schwarz, Sobolev’s inequality (A.3), the pointwise decay estimate (4.63) and the energy decay estimates (4.8) and we have for \(p=1+\delta _2\) that:
which is better than desired. By using the same estimates for \(p=0\) we have that:
and the rest of the p range follows by interpolation.
For the term
we work similarly as for the third term of (6.5), now using the auxiliary estimate (5.5) for \(m=3\).
(E3’): We examine in detail only the term involving the L and \({\underline{L}}\) derivatives (since the rest are either better os similar) which is bounded by:
and for which we have that
where we used the auxiliary estimates of (5.5) for \(m=0,1,2,3\) (as \(\beta < \delta _2\)), the energy decay estimates (4.17), (4.21), (4.25) for \(p=2\), and the energy boundedness estimate (4.30).
(F1’): We examine the part close to the horizon and for any \(k \le 5\) we have that:
For the first term of the above expression for \(m_1 = 0\) and \(m_2 = 4\) we have for any v and since \(\delta \le \delta _2\) that:
where we used Sobolev’s inequality (A.3), the pointwise decay estimate (4.57), and the energy decay estimates (4.11). This implies that:
For the case \(m_1 = 1 \) and \(m_2 = 3\) we have that:
where we used Sobolev’s inequality (A.3), the auxiliary estimate (5.5) for \(m=1\), and the energy decay estimates (4.10).
For the case \(m_1 = 2 \) and \(m_2 = 2\) we work as in the previous case now using the auxiliary estimate (5.5) for \(m=2\). In this case we get even better decay of rate \(\frac{C^2 E_0^2 \epsilon ^4}{\tau _1^2}\). For \(m_1 = 3\) and \(m_2 = 1\) we have that:
where we used Sobolev’s inequality (A.3), the boundedness estimate (4.78), and the Morawetz decay estimates (4.44), as \(\delta \le \delta _2\) is small enough. For the case \(m_1 = 4\) and \(m_2 = 0\) we have that:
where we used Sobolev’s inequality (A.3), the boundedness estimate (4.79), and the Morawetz decay estimates (4.45), as \(\delta \le \delta _2\) is small enough.
(F2’): We examine the part close to the horizon and for any \(k \le 5\) we have that:
For the first term of the last expression when \(m_1 = 4\) and \(m_2 =0\) we use the auxiliary estimate (4.80) and we have for \(\beta \) small enough that:
which implies after using Sobolev’s inequality, and the Morawetz boundedness estimate (4.45), that we have for any \(k \le 5\) and for any v that:
For \(m_1 = 1\), \(m_2 = 3\) we use Sobolev’s inequality (A.3), the auxiliary estimate (5.5) and the energy boundedness estimate (4.10) for \(p=1 +\delta \) as we have that \(\delta \le \delta _2\), and we have for any \(k \le 5\):
For \(m_1 = 2\) and \(m_2 = 2\) we use Sobolev’s inequality (A.3), the auxiliary estimate (5.5) for \(m=2\) and the energy decay estimate (4.9) for \(p=2\) and we have for any \(k \le 5\) that:
For \(m_1 = 3\) and \(m_2 =1\) we work as in the case above where we use the auxiliary estimate (5.5) for \(m=3\). In the end we have that
For \(m_1 = 0\) and \(m_2 =4\) we use Sobolev’s inequality (A.3), the pointwise decay estimates (4.57) and (4.78), and the energy boundedness estimates (4.34) (since \(\delta \le \delta _1\)) and we have for any v that:
and by choosing \(\beta < \delta _2\), we get in the end that:
(F3’): The case \(p=1\) is being covered by the bootstrap (F2’). We consider the other endpoint case \(p=0\) and by using the same methods as in the case of the (F2’) bootstrap we get for any \(k \le 5\) that
The rest of the p range – \(p \in (0,1)\) – follows now by interpolation.
(A5’), (B4’), (C4’), (D4’), (E4’) and (F4’): All these terms can be treated in a rather classical manner and we will not examine them here in detail, apart from the second term of (A5’), i.e. the estimate:
We write once again the nonlinearity F in terms of \(\phi \), and we note that close to infinity we have that:
We note that as \(L \phi \) decays with respect to r as \(r^{-2}\) at infinity, while \(\phi \) and \({\underline{L}} \phi \) are just bounded, the term with the worst r decay of F is the one involving the product \(\phi \cdot ( {\underline{L}} \phi )\), and more specifically as we are considering \(F_0\) we examine in detail only the term involving the product \(\phi _0 \cdot ( {\underline{L}} \phi _0 )\) which has also the worst u decay. Noticing that \({\underline{L}} \phi _0\) decays at infinity with rate \(C^{1/2} E_0^{1/2} \epsilon u^{-1-\delta /2 - \eta / 2}\) we have that:
where we used Hardy’s inequality (A.5) after noticing that \(p-4 \in ( -2 , -1-\delta _1 ]\). The result is better than required due to the smallness of \(\delta _1\), \(\delta _2\) and \(\eta \). The rest of the terms can be treated similarly.
(D6’), (E5’) and (F5’): These follow from the interior decay for \(\int _{{\mathbb {S}}^2} ( \Omega ^k T^m \psi )^2 \, d\omega \) for \(k \le 5\) and \(m \le 4\) (via the use of the elliptic estimates (A.6)) and the Morawetz decay estimates (4.41), (4.42), (4.43), (4.44) and (4.45).
(G1’): We examine the part close to the horizon and for any \(k \le 5\) we have that:
For the case \(m_1 = 0\) and \(m_2 = 5\) we have that:
where we used Sobolev’s inequality (A.3), the auxiliary estimate (5.5) for \(m=0\) (or the pointwise decay estimates (4.57)), and the energy boundedness estimates (4.12). For the cases \(m_1 = 1\) and \(m_2 = 4\), \(m_1 =2 \) and \(m_2 = 3\), \(m_1 = 3\) and \(m_2 = 2\), we argue as above but now using the auxiliary estimates (5.5) for \(m=1\), \(m=2\) and \(m=3\) respectively.
For the case \(m_1 = 5\) and \(m_2 = 0\) we use the additional estimate (4.80) and we have that:
where moreover we used Sobolev’s inequality (A.3) and the Morawetz boundedness estimate (4.46). For the case \(m_1 = 4\) and \(m_2 = 1\) we argue similarly using now the auxiliary estimate (4.81) and we have that:
where moreover we used Sobolev’s inequality (A.3) and the Morawetz decay estimate (4.45).
For the term which is away from the horizon and away from infinity
we note that the inner integral can be bounded by the following by use of the elliptic estimates (A.6):
using Sobolev’s inequality (A.3), the pointwise decay and boundedness estimates in the interior (4.56), (4.59), (4.62), (4.65), (4.71), and the decay and boundedness of the T-fluxes for \(\psi \), \(T^3 \psi \), \(T^4 \psi \) and \(T^5 \psi \) given by (4.7), (4.10), (4.11), (4.12).
(G2’): This estimate follows now directly by using the last computation (6.7) and integrating it in \(\tau \).
\(\square \)
The proof of the main Theorem 1.1 now follows by a standard bootstrap argument and choosing \(\epsilon \) to be small enough and smaller than \(\epsilon '\) (from Theorem 4.1), \(\epsilon ''\) (from Theorem 5.1) and \(\epsilon _0\) (from Theorem 5.2).
7 Asymptotic Instabilities on the Horizon
In this section we will show that the estimate (5.2) is sharp on the horizon for \(\delta = 1\). We will work similarly as in Section 11 of [3], to show that \(\frac{2r}{D} {\underline{L}} \left( \frac{2r}{D} {\underline{L}} \phi \right) \) diverges to infinity on \({\mathcal {H}}^{+}\) growing like v. Moreover we observe that \(\frac{2r}{D} {\underline{L}} \phi \) exhibits no decay along \({\mathcal {H}}^{+}\). We note that both of these instabilities (that have no analogues in the sub-extremal setting) come from the spherically symmetric part of the wave.
Theorem 7.1
For a solution of (1.2) with data as in the main Theorem 1.1 that was obtained in the previous sections, we have that:
and
Remark 7.1
In the above Theorem, we use the terminology
for some functions \(f_1\), \(f_2\), means that there are constants c, C such that
Proof
For estimate (7.1) we use equation (4.74) for \(\phi _0\) and we evaluate it on the horizon \(r=M\), from which we get for any \(v \ge v_0 = \tau _0\) that:
Note that as \(\frac{2r}{D} {\underline{L}} \phi \) is bounded by \(C^{1/2} E_0^{1/2} \epsilon \) and \(L\phi \) has integrable decay in v, we note that the second term can be bounded by:
and as \(\epsilon \) is small enough the size of \(\left. \frac{2r}{D} {\underline{L}} \phi _0 ( v, \omega ) \right| _{{\mathcal {H}}^{+}}\) is comparable to the size of \(\left. \frac{2r}{D} {\underline{L}} \phi _0 ( v_0 , \omega ) \right| _{{\mathcal {H}}^{+}}\).
For estimate (7.2) we use equation (5.3) for \(\phi _0\), evaluate it on the horizon \(r=M\), and then integrate it in v. On the other hand as we have that:
where \({\mathcal {N}}\) involves all the nonlinear terms from (5.3), we note that the major contribution of the above expression comes from the term involving \(\frac{2r}{D} \phi _0\) which from estimate (7.1) gives us that:
for some constant \(\bar{C_1}\). We finally observe that as the nonlinear terms \({\mathcal {N}}\) can be bounded by \(C E_0 \epsilon ^2 v^{-\eta }\) for some \(\eta > 0\) and as \(\phi _0\) can be bounded by \(\frac{C^{1/2} E_0^{1/2} \epsilon }{v^{1-\delta _1 /2}}\) the last two terms can be bounded by \(( c_1 \epsilon + c_2 \epsilon ^2 ) v^{\eta '}\) for some constant \(c_1\), \(c_2\) and some \(\eta ' \in (0,1)\), hence for v large they can be neglected due to the term involving \(\frac{2r}{D} {\underline{L}} \phi _0\). This finishes the proof of estimate (7.2). \(\square \)
Remark 7.2
It is worth noticing that if we consider the standard null form \(g^{\alpha \beta } \cdot \partial _{\alpha } \psi \cdot \partial _{\beta } \psi \) in equation (1.1), then the following quantity is actually conserved on the horizon:
Similar quantities are conserved on the horizon for the more general nonlinearities of equation (1.1), the derivation and the investigation of the properties of such quantities will be pursued in future work of the authors of the present paper.
8 Remarks on Other Nonlinearities
Due to the relation of the \(r^p\)-weighted estimates at infinity which can be derived for sub-extremal black holes as it was done in [9] in the linear case, and the \((r-M)^{-p}\)-weighted estimates at the horizon, our method is robust enough to deal with nonlinearities at infinity with growing weights in r. A model example can be the following nonlinear problem:
for \(\Box _{g_{sub}}\) the d’Alembertian operator on a sub-extremal Reissner–Nordström spacetimes, for \(\chi _{ \{ r \ge R > R_h \} }\) a cut-off function supported in the region \(\{ r \ge R > R_h \}\) where \(R_h\) is the value of the radial variable r on the event horizon, for \(\phi = r\psi \), and for small enough data on a spacelike-null hypersurface \(\Sigma _{\tau _0}\). Note that the aforementioned nonlinearity has an extra r weight on the \((L \phi ) \cdot ({\underline{L}} \phi )\) term compared to the classical null form. To deal with such a problem and defining \({\mathcal {B}}_{\tau _0}^{\infty }\) as in the extremal case, we will have to separate the spherically symmetric part of the solution from the non-spherically symmetric one, derive the same range of \(r^p\)-weighted estimates as for Theorem 1.1 where the corresponding bootstraps will need the following estimates
for all U, for any \(0< \delta < 2-\delta _1\) if \(m=0\), for any \(0< \delta < 2+\delta _2\) if \(m=1\), for any \(0< \delta < 1+\delta _2\) if \(m=2\), for any \(0< \delta < \delta _2\) if \(m=3\), for any \(u_{R,n}\), U, V in the region \({\mathcal {B}}_{\tau _0}^{\infty }\) (where \(v_{R,n}\) is on the hypersurface \(r=R\)), for \(m\in \{0,1,2,3\}\), and for any \(k \le 5\), which are the analogues of estimates (5.5), the boundedness estimate
in \({\mathcal {B}}_{\tau _0}^{\infty }\) which is the analoge of (4.72), and the growth estimate
in \({\mathcal {B}}_{\tau _0}^{\infty }\) which is the analogue of (5.2).
Finally we note that due to the robustness of our methods we plan to investigate in future work how to derive precise asymptotics for solutions of nonlinear wave equations satisfying the null condition both on extremal and sub-extremal Reissner–Nordström black holes spacetimes.
Notes
This transformation maps the event horizon to null infinity and vice versa. See also Appendix A.1.
References
Alinhac, S.: Geometric analysis of hyperbolic differential equations: an introduction. The London Mathematical Society, Lecture note series. Cambridge University Press, Cambridge (2010)
Andersson, L., Bäckdahl, T., Blue, P., Ma, S.: Stability for linearized gravity on the Kerr spacetime. arXiv:1903.03859 (2019)
Angelopoulos, Yannis: Global spherically symmetric solutions of non-linear wave equations with null condition on extremal Reissner-Nordström spacetimes. Int. Math. Res. Not. 11, 3279–3355 (2016)
Angelopoulos, Y., Aretakis, S., Gajic, D.: Asymptotic blow-up for a class of semi-linear wave equations on extremal Reissner–Nordström spacetimes. arXiv:1612.01562 (2016)
Angelopoulos, Y., Aretakis, Stefanos, Gajic, D.: The trapping effect on degenerate horizons. Ann. Henri Poincaré 18(5), 1593–1633 (2017)
Angelopoulos, Y., Aretakis, Stefanos, Gajic, D.: Horizon hair of extremal black holes and measurements at null infinity. Phys. Rev. Lett. 121(13), 131102 (2018)
Angelopoulos, Y., Aretakis, S., Gajic, D.: Late-time asymptotics for the wave equation on extremal Reissner–Nordström backgrounds. arXiv:1807.03802 (2018)
Angelopoulos, Y., Aretakis, Stefanos, Gajic, D.: Late-time asymptotics for the wave equation on spherically symmetric, stationary backgrounds. Adv. Math. 323, 529–621 (2018)
Angelopoulos, Y., Aretakis, Stefanos, Gajic, D.: A vector field approach to almost sharp decay for the wave equation on spherically symmetric, stationary spacetimes. Ann. PDE 4, 15 (2018)
Aretakis, Stefanos: Stability and instability of extreme Reissner-Nordström black hole spacetimes for linear scalar perturbations I. Commun. Math. Phys. 307, 17–63 (2011)
Aretakis, Stefanos: Stability and instability of extreme Reissner-Nordström black hole spacetimes for linear scalar perturbations II. Ann. Henri Poincaré 12, 1491–1538 (2011)
Aretakis, Stefanos: Decay of axisymmetric solutions of the wave equation on extreme Kerr backgrounds. J. Funct. Anal. 263, 2770–2831 (2012)
Aretakis, Stefanos: A note on instabilities of extremal black holes from afar. Class. Quantum Grav. 30, 095010 (2013)
Aretakis, Stefanos: On a foliation-covariant elliptic operator on null hypersurfaces. Int. Math. Res. Not. 2015(15), 6433–6469 (2014)
Aretakis, Stefanos: Horizon instability of extremal black holes. Adv. Theor. Math. Phys. 19, 507–530 (2015)
Aretakis, Stefanos: The characteristic gluing problem and conservation laws for the wave equation on null hypersurfaces. Ann. PDE 3(1), 3 (2017)
Aretakis, Stefanos: Dynamics of extremal black holes. Springer, Berlin (2018)
Bizon, P., Kahl, M.: A Yang-Mills field on the extremal Reissner-Nordström black hole. Class. Quantum Gravit. 33, 175013 (2016)
Blue, P., Soffer, A.: Semilinear wave equations on the Schwarzschild manifold I. Local decay estimates. Adv. Differ. Eq. 8, 595–614 (2003)
Blue, P., Soffer, A.: Phase space analysis on some black hole manifolds. J. Funct. Anal. 256, 1–90 (2009)
Blue, P., Sterbenz, J.: Uniform decay of local energy and the semi-linear wave equation on Schwarzschild space. Commun. Math. Phys. 268, 481–504 (2006)
Brenneman, L.: Measuring the angular momentum of supermassive black holes. Springer briefs in astronomy. Springer, Berlin (2013)
Burko, Lior M., Khanna, G.: Linearized stability of extreme black holes. Phys. Rev. D 97, 061502 (2018)
Casals, M., Gralla, Samuel E., Zimmerman, P.: Horizon instability of extremal Kerr black holes: nonaxisymmetric modes and enhanced growth rate. Phys. Rev. D 94, 064003 (2016)
Couch, W., Torrence, R.: Conformal invariance under spatial inversion of extreme Reissner-Nordström black holes. Gen. Relat. Gravit. 16, 789–792 (1984)
Cvetic, M., Satz, Alejandro: General relation between Aretakis charge and Newman-Penrose charge. Phys. Rev. D 98, 124035 (2018)
Dafermos, M., Holzegel, G., Rodnianski, I.: Boundedness and decay for the Teukolsky equation on Kerr spacetimes I: the case \(|a| \ll m\). arXiv:1711.07944 (2017)
Dafermos, M., Holzegel, G., Rodnianski, I.: The linear stability of the Schwarzschild solution to gravitational perturbations. Acta Math. 222(1), 1–214 (2019)
Dafermos, M., Rodnianski, Igor: Small-amplitude nonlinear waves on a black hole background. J. Math. Pures Appl. 84, 1147–1172 (2005)
Dafermos, M., Rodnianski, I.: The redshift effect and radiation decay on black hole spacetimes. Commun. Pure Appl. Math. 62, 859–919. arXiv:0512.119 (2009)
Dafermos, M., Rodnianski, I.: A new physical-space approach to decay for the wave equation with applications to black hole spacetimes. In: XVIth International Congress on Mathematical Physics, pp. 421–432 (2010)
Dafermos, M., Rodnianski, I.: The black hole stability problem for linear scalar perturbations. In: Damour, T. et al (ed.) Proceedings of the 12 Marcel Grossmann Meeting, World scientific, Singapore, pp. 132–189, arXiv:1010.5137 (2011)
Dafermos, M., Rodnianski, Igor: A proof of the uniform boundedness of solutions to the wave equation on slowly rotating Kerr backgrounds. Invent. Math. 185, 467–559 (2011)
Dafermos, M., Rodnianski, I.: Lectures on black holes and linear waves. In :Evolution equations, Clay Mathematics Proceedings, Vol. 17, Amer. Math. Soc., Providence, RI, pp. 97–205. arXiv:0811.0354 (2013)
Dain, S.: Proof of the angular momentum-mass inequality for axisymmetric black holes. J. Differ. Geom. 79, 33–67 (2008)
Figueras, Pau, Lucietti, J.: On the uniqueness of extremal vacuum black holes. Class. Quantum Gravit. 27, 095001 (2010)
Giorgi, E.: The linear stability of Reissner-Nordström spacetime: the full subextremal range. arXiv:1910.05630
Godazgar, H., Godazgar, M., Pope, C.N.: Aretakis charges and asymptotic null infinity. Phys. Rev. D 96, 084055 (2017)
Hadar, S., Reall, H.S.: Is there a breakdown of effective field theory at the horizon of an extremal black hole? J. High Energy Phys. 2017(12), 62 (2017)
Klainerman, S., Szeftel, J.: Global nonlinear stability of Schwarzschild spacetime under polarized perturbations. arXiv:1711.07597 (2017)
Lindblad, H., Metcalfe, J., Wang, C.: The Strauss conjecture on Kerr black hole backgrounds. Mathematische Annalen 359(3–4), 637–661 (2014)
Lucietti, J., Murata, K., Reall, H.S., Tanahashi, N.: On the horizon instability of an extreme Reissner-Nordström black hole. JHEP 1303, 035 (2013)
Luk, Jonathan: The null condition and global existence for nonlinear wave equations on slowly rotating Kerr spacetimes. J. Eur. Math. Soc. 15(5), 1629–1700 (2013)
Luk, J., Rodnianski, Igor: Local propagation of impulsive gravitational waves. Commun. Pure Appl. Math. 68, 511–624 (2015)
Luk, Jonathan, Rodnianski, I.: Nonlinear interaction of impulsive gravitational waves for the vacuum Einstein equations. Camb. J. Math. 5(4), 435–570 (2017)
Marzuola, J., Metcalfe, J., Tataru, D., Tohaneanu, M.: Strichartz estimates on Schwarzschild black hole backgrounds. Commun. Math. Phys. 293, 37–83 (2010)
Moschidis, G.: The \(r^{p}\)-weighted energy method of Dafermos and Rodnianski in general asymptotically flat spacetimes and applications. Ann. PDE 2, 6 (2016)
Murata, Keiju, Reall, H.S., Tanahashi, N.: What happens at the horizon(s) of an extreme black hole? Class. Quantum Gravit. 30, 235007 (2013)
Ori, A.: Late-time tails in extremal Reissner-Nordström spacetime. arXiv:1305.1564 (2013)
Schlue, V.: Decay of linear waves on higher-dimensional Schwarzschild black holes. Anal. PDE 6(3), 515–600 (2013)
Sela, Orr: Late-time decay of perturbations outside extremal charged black hole. Phys. Rev. D 93, 024054 (2016)
Strominger, A., Vafa, Cumrun: Microscopic origin of the Bekenstein-Hawking entropy. Phys. Lett. B 379, 99–104 (1996)
Tataru, D., Tohaneanu, M.: A local energy estimate on Kerr black hole backgrounds. Int. Math. Res. Not. 248–292, 2008 (2011)
Volonteri, M., Madau, Piero, Quataert, E., Rees, M.: The distribution and cosmic evolution of massive black hole spins. Astrophys. J. 620, 69–77 (2005)
Yang, Shiwu: Global solutions of nonlinear wave equations in time dependent inhomogeneous media. Arch. Ration. Mech. Anal. 209, 683–728 (2013)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix A.
Appendix A.
1.1 A.1. The Couch-Torrence Conformal Isometry
An extremal Reissner–Nordström spacetime of mass M admits a conformal isometry called the Couch-Torrence first introduced in [25] that in ingoing Eddington-Finkelstein coordinates is given by
and through it \({\mathcal {H}}^{+}\) is mapped onto \({\mathcal {I}}^{+}\).
1.2 A.2. The d’Alembertian in Different Coordinates
The nonlinearity of (1.1) can be written as follows in double null coordinates (where \(\phi = r \psi \)):
Equation (1.1) can then be written in terms of \(\phi = r \psi \) as follows in double null coordinates:
1.3 A.3. Basic Inequalities
We record some basic inequalities. The first is the Sobolev inequality on the sphere from which we have that for any smooth function f:
The second one is Hardy’s inequality, which close to the horizon it has the following form for a smooth function f and for any \(s \ne 1\) and for any \(M \le r_1< r_2 < \infty \):
and close to infinity it gives us that for any \(M< r_1 < r_2 \le \infty \):
where in the case of the horizon if \(r_1 = M\) then the last term is considered as:
and in the case of infinity if \(r_2 = \infty \) then the last term is considered as:
For proofs of these inequalities see [7].
1.4 A.4. Elliptic Estimates
We record as well the following basic elliptic estimate from [11]:
for any fixed \(r_0 > M\), and any \(\partial _a , \partial _b \in \{ L , {\underline{L}} , \partial _{\theta }, \partial _{\sigma } \}.\)
1.5 A.5. Additional Norms
For any smooth function \(f : {\mathcal {M}} \rightarrow {\mathbb {R}}\) we define for any \(\tau \in [ \tau _0 , \infty )\) the norm:
Moreover we also define the standard Sobolev norms for any \(s \in {\mathbb {N}}\) as:
where \(\partial \in \{T , Y , \partial _{\theta }, \partial _{\varphi } \}\).
Rights and permissions
About this article
Cite this article
Angelopoulos, Y., Aretakis, S. & Gajic, D. Nonlinear Scalar Perturbations of Extremal Reissner–Nordström Spacetimes. Ann. PDE 6, 12 (2020). https://doi.org/10.1007/s40818-020-00087-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40818-020-00087-7