Energy Extraction, or Lack Thereof
Extracted source text · arXiv 2112.06056
% ****** Start of file apssamp.tex ******
%
% This file is part of the APS files in the REVTeX 4.2 distribution.
% Version 4.2a of REVTeX, December 2014
%
% Copyright (c) 2014 The American Physical Society.
%
% See the REVTeX 4 README file for restrictions and more information.
%
% TeX'ing this file requires that you have AMS-LaTeX 2.0 installed
% as well as the rest of the prerequisites for REVTeX 4.2
%
% See the REVTeX 4 README file
% It also requires running BibTeX. The commands are as follows:
%
% 1) latex apssamp.tex
% 2) bibtex apssamp
% 3) latex apssamp.tex
% 4) latex apssamp.tex
%
\documentclass[%
reprint,
%superscriptaddress,
%groupedaddress,
%unsortedaddress,
%runinaddress,
%frontmatterverbose,
%preprint,
%preprintnumbers,
%nofootinbib,
%nobibnotes,
%bibnotes,
amsmath,amssymb,
aps,
%pra,
%prb,
%rmp,
%prstab,
%prstper,
%floatfix,
]{revtex4-2}
\usepackage{graphicx}% Include figure files
\usepackage{dcolumn}% Align table columns on decimal point
\usepackage{bm}% bold math
%\usepackage{hyperref}% add hypertext capabilities
%\usepackage[mathlines]{lineno}% Enable numbering of text and display math
%\linenumbers\relax % Commence numbering lines
%\usepackage[showframe,%Uncomment any one of the following lines to test
%%scale=0.7, marginratio={1:1, 2:3}, ignoreall,% default settings
%%text={7in,10in},centering,
%%margin=1.5in,
%%total={6.5in,8.75in}, top=1.2in, left=0.9in, includefoot,
%%height=10in,a5paper,hmargin={3cm,0.8in},
%]{geometry}
\input{defs.tex}
\begin{document}
\preprint{APS/123-QED}
\title{Energy Extraction, or Lack Thereof}% Force line breaks with \\
%\thanks{A footnote to the article title}%
\author{Nishanth Gudapati}
\email{Ngudapati@clarku.edu}
\affiliation{Clark University, Department of Mathematics, 950 Main Street, Worcester, MA 01610, USA}
\date{\today}% It is always \today, today,
% but any date may be explicitly specified
\begin{abstract}
The problem of stability of rotating black holes is the subject of a long standing research program since the 1960s and remains an unresolved problem in general relativity.
A major obstacle in the black hole stability problem is that the energy of waves propagating through rotating black holes spacetimes is not necessarily positive-definite, due to the so called ergo-region. This is a serious complication that limits the efficacy of most mathematical techniques. In this Letter, we report that, despite the ergo-region, there exists a positive-definite \emph{total energy} for axisymmetric Maxwell, gravitational and electrovacuum perturbations of Kerr and Kerr-Newman black hole spacetimes.
%In this Letter, we report that there exists a positive-definite energy functional for axially symmetric electromagnetic, gravitational and electrovacuum perturbations for rotating black hole spacetimes.
\end{abstract}
%\keywords{Suggested keywords}%Use showkeys class option if keyword
%display desired
\maketitle
\section{Introduction}
Einstein’s general theory of relativity was a great revelation of 20th century science that provided a
rigorous geometric basis for ideas such as the equivalence principle and the mass. It also predicted black holes and gravitational waves. Mathematically, the Einstein equations for general relativity can be represented as
\begin{align} \label{EE}
\bar{R}_{\mu \nu} =0, \quad (\bar{M}, \bar{g})
\end{align}
where $\bar{R}_{\mu \nu}$ is the Ricci curvature of the $3+1$ Lorentzian manifold $(\bar{M}, \bar{g}).$
Despite their simple appearance, in practice, these equations are a system of highly complex nonlinear partial differential equations. As a consequence, several mathematical and theoretical problems, such as the black hole stability problem, are wide open. This problem is the subject of this Letter.
%\subsection*{The Black Hole Stability Problem}
Black holes are exotic objects in the universe that provide a scientific basis for exotic notions like wormholes, time travel, the big-bang etc.
In a major recent development, black holes have
been experimentally observed. Mathematically, black holes are solutions of the Einstein equations \eqref{EE} for general relativity. In order to establish the physical relevance of black holes that occur in Einstein's theory, it is crucial to establish that those black holes are stable under the perturbations of the Einstein equations (`the black hole stability problem'). In particular, the Kerr family of black holes is an important two parameter $(a, m)$ (where $a$ represents the specific angular-momentum and $m$ represents the mass) family of solutions of the Einstein equations that forms the genesis of the black hole stability problem.
%Indeed, ever since K. Schwarzschild famously discovered
Indeed, ever since Einstein famously published his equations for general relativity \eqref{EE} in 1915 and the discovery of the Schwarzschild metric shortly thereafter, there was a general expectation that there should be a solution that represents massive, rotating black hole spacetimes. As such, attempts were made by H. Weyl, J. Ernst and A. Papapetrou to find such a solution. In 1963, when R. Kerr arrived at such a solution there was soon a wide consensus that one had arrived at the right solution. Subsequently, mathematicians and physicists conjectured that the Kerr family represents the unique asymptotically-flat solution of the stationary Einstein equations (`the black hole uniqueness problem') and that it is stable under perturbations with respect to the dynamical Einstein equations for general relativity (`the black hole stability problem'). Subsequently,
several stalwarts in the past have contributed to the study of these problems.
These results are streamlined and summarized in the classical monograph of Chandrasekhar \cite{Chandrasekhar_83}. In recent times, the black hole stability problem is under intense investigation in the mathematics community (see e.g., \cite{ABBM_19, HHV_19, KS_21, HDRT_21})
An important first step in the resolution of the black hole stability problem is to study the Maxwell equations and the linear perturbative theory of the Einstein equations around the Kerr black hole spacetimes. However, a peculiar property of Kerr black holes $( a \neq 0 )$ is that one is always surrounded by a so called ergo-region. In the ergo-region, an object cannot remain stationary and is forced to move along with the rotating black hole. A surprising feature of the ergo-region can be explained using Roger Penrose's gedanken experiment (see FIG. 1.). Suppose we throw an object into a Kerr black hole in such a way that it splits into two pieces (as shown in FIG. 1.), where one piece enters the black hole and the other exits the ergo-region. The piece that exits can have higher energy than the original object. This is not a violation of the conservation of energy because the piece that goes into the black hole carries `negative' energy.
This phenomenon can also be seen for linear scalar waves propagating on Kerr black holes \cite{AAS_73,FKSY_08} (see also \cite{DC_70}). In other words, linear scalar waves propagating on a Kerr black hole, do not necessarily have a positive-definite energy. By analogy with Penrose's gedanken experiment, this results in a phenomenon where it appears as though the black hole is emitting energy. This phenomenon is referred to as the Penrose process or superradiance or energy extraction.
\begin{figure}
\centering
\caption{Penrose process or energy extraction for a rotating Kerr black hole}
\includegraphics[scale=0.50]{Penrose.jpg}
\end{figure}
This feature of the ergo-region has important implications for the mathematical problem of the stability of Kerr black hole spacetimes. The aforementioned model of waves propagating on a Kerr black hole is analogous to the Maxwell and linear perturbations of the Einstein equations around a Kerr black hole spacetime. As it can be intuitively imagined, the stability of a system is closely linked to the decay of perturbations, which in turn is associated to `loss'. The fact that a Kerr black hole effectively `emits' energy, counteracts the `decaying' nature of the perturbations. In fact, in axial symmetry, it can be established that, if the energy is not positive, it will blow up exponentially in time, implying instability of Kerr black hole spacetimes \cite{WP_13}. Furthermore, the methods of partial differential equations that establish decay are typically based on a positive energy. Likewise, in the Lyapunov theory of stability of dynamical systems, a notion of energy
and its positive-definiteness serve as important criteria for various notions of stability.
Thus, the lack of a positive-definite and conserved energy is a significant issue that limits the strength of various mathematical methods in the resolution of the black hole stability problem.
In this Letter, we report that, despite the ergo-region, there exists a positive-definite \emph{total energy} for axisymmetric perturbations of Kerr and Kerr-Newman black hole spacetimes.
% The problem of positivity of energy can also be interpreted from an alternative perspective using the so called ADM mass. The notion of mass-energy for the Einstein equations is provided by the ADM mass
%of asymptotially-flat Riemannian hypersurface $(\olin{\Sigma}, \bar{q})$:
% \begin{align}
% m_{\text{ADM}} \fdg = \frac{1}{16\pi} \lim_{r \to \infty} \int_{\mathbb{S}^2} \sum^3_{i, j=1} (\ptl_i \bar{q}_{ij} - \ptl_j \bar{q}_{ii}) \ \frac{ x^j }{r} \bar{\mu}_{\mathbb{S}^2}.
% \end{align}
% It was established in the celebrated works of Schoen-Yau \cite{schoen-yau-1,schoen-yau-2} and Witten \cite{witten-pmt} that $m_{\text{ADM}} \geq 0$
% (`the positive mass theorem'). However, it is \textbf{not necessary} that the positive mass theorem extends to the perturbative theory of Einstein's equations.
\section{Electromagnetism in Kerr black hole spacetimes}
%\section{A Positive-Definite Energy}
In the case of axisymmetric linear scalar waves propagating in a Kerr black hole spacetime, the problem of the ergo-region disappears on account of the fact that Kerr black holes are also axially symmetric. However, the problem reappears for both axisymmetric Maxwell and linearized Einstein fields propagating on Kerr black holes. In fact, one can arrange for the axisymmetric Maxwell equations that their energy density is \emph{locally negative}.
The question of whether the axisymmetric Maxwell and Einstein equations admit a positive-definite total energy (for $\vert a \vert<M$), somewhat analogous to axisymmetric linear waves, has been one of those perplexing `borderline' open problems for decades.
In a recent work, we were able to resolve this long standing open problem. Specifically, we were able to establish that one can construct a positive-definite \emph{total} energy for axisymmetric Maxwell fields propagating through sub-extremal Kerr black hole spacetimes ($\vert a \vert <M$) \cite{GM17_gentitle}. An interesting aspect of our result
is that we are able to construct a positive-definite \emph{total integrated} energy, even though the \emph{local} energy density could be \emph{negative}. Our proof relies on a Hamiltonian framework of the dimensionally reduced axisymmetric Einstein equations and certain transformations that were originally developed for the black hole uniqueness theorems by B. Carter and D.C. Robinson \cite{Car_71, Rob_74}.
%In view of the aforementioned complications with the ergo-region and superradiance, this result considerably simplifies the analysis of the black hole stability problem.
In the following, we shall present our proof for the construction of a positive-definite and conserved energy for axisymmetric electromagnetic (Maxwell) fields propagating on Kerr black hole spacetimes.
Consider the Lagrangian variational principle of the Maxwell equations:
\begin{align}
S_{\text{Max}} \fdg = - \frac{1}{4} \int \Vert F \Vert_{\bar{g}} ^2\, \bar{\mu}_{\bar{g}}, \quad
\text{ on the Kerr metric $(\bar{M}, \bar{g}),$ }
\end{align}
where $F$ is the Maxwell tensor derivable from the vector potential $A$ and $\bar{\mu}_{\bar{g}}$ is the volume form of $(\bar{M}, \bar{g})$. It is well known that \cite{MTW}, if we perform a Legendre transform of the functional $S_{\text{Max}},$ we get a Hamiltonian energy functional $H^{\text{Max}}$ over the phase space $X^{\text{Max}} \fdg = \{ A_i, \mathcal{E}^i \}$ together with the Maxwell constraints $\ptl_i \mathcal{E}^i =0$ and $\ptl_i \mathcal{B}^i =0$, where $\mathcal{E}$ and $\mathcal{B}$ are the `electric' and `magnetic' components of $F$ respectively:
\begin{align}\label{H-max}
H^{\text{Max}} \fdg= \int_{\olin{\Sigma}}
\left( \halb \bar{N} \bar{q}_{ij} \bar{\mu}^{-1}_{\bar{q}} (\mathcal{E}^i \mathcal{E}^j + \mathcal{B}^i \mathcal{B}^j) - N^i \eps_{ijk} \mathcal{E}^j \mathcal{B}^k \right) d^3x
\end{align}
where $\bar{N}$ and $\bar{N}^i$ are the lapse and the shift, corresponding to an ADM decomposition of $(\bar{M}, \bar{g}) = (\olin{\Sigma}, \bar{q}) \times \mathbb{R}.$ It may be seen readily in \eqref{H-max} that it has an indefinite sign, even in axial symmetry. We now introduce the variables $\lambda$ and $\eta$ (`the twist potentials') such that $\mathcal{E}^a = \eps^{ab} \ptl_b \eta$ and $\mathcal{B}^a = \eps^{ab} \ptl_b \lambda,$ taking advantage of the constraint equations on the quotient space $\Sigma \fdg = \olin{\Sigma}/SO(2)$ and form the new phase space $X :$
\begin{align}
X \fdg = \big\{ ( \lambda, v), (\eta, u) \big\}, \quad \text{where $v \fdg = - \mathcal{E}^\phi $ and $u \fdg= \mathcal{B}^\phi.$}
\end{align}
The energy functional $H^{\text{Max}}$ can now be reduced to
\begin{widetext}
\begin{align} \label{H-alt}
H^{\text{Alt}} \fdg =& \int_{\Sigma} e^{\text{Alt}} d^2x, \quad \text{where $e^{\text{Alt}}$ is defined as,} \\
e^{\text{Alt}} \fdg= & \halb N e^{2 \gamma} \bar{\mu}^{-1}_q (v^2 + u^2) + \halb N \bar{\mu}_q q^{ab} e^{-2\gamma} (\ptl_a \eta \ptl_b \eta + \ptl_a \lambda \ptl_b \lambda) - \bar{N}^\phi \eps^{ab} \ptl_a \eta \ptl_b \lambda.
\end{align}
\end{widetext}
Again notice that $H^{\text{Alt}}$ has an indefinite sign. In fact, we can arrange that the energy density $e^{\text{Alt}}$ is locally negative inside the ergo-region. To see this, choose $u=v=0$ and $\lambda, \eta$ such that they satisfy Cauchy-Riemann equations $\ptl_\rho \lambda = \ptl_z \eta$, $\ptl_z \lambda=- \ptl_\rho \eta $ in cylindrical coordinates for $\Sigma$. It can then be readily seen that $e^{\text{Alt}}$ is \emph{negative} inside the ergo-region.
While the positivity problem is not immediately solved in this new phase space $X$, the advantage of this formulation is that it allows a series of transformations that result in a positive-definite, regularized, Hamiltonian (Section 2 in \cite{GM17_gentitle}), $H^{\text{Reg}} = \int_{\Sigma} e^{\text{Reg}} d^2x$, where $e^{\text{Reg}}$ is defined as:
\begin{widetext}
\begin{align} \label{postive-H-reg}
e^{\text{Reg}} \fdg=& \halb N \bar{\mu}^{-1}_q (\ulin{u}^2 + \ulin{v}^2) + \frac{1}{4} N \bar{\mu}_q q^{ab} \left( 2 \ptl_a \gamma \ptl_b \gamma + \halb e^{-4\gamma} \ptl_a \omega \ptl_b \omega \right) ( \ulin{\lambda}^2 + \ulin{\eta}^2) \notag\\
& \halb N \bar{\mu}_q q^{ab} \Big( (\ptl_a \ulin{\la} - \halb \ulin{\eta} e^{-2\gamma} \ptl_a \omega)(\ptl_b \ulin{\la} - \halb \ulin{\eta} e^{-2\gamma} \ptl_b \omega)
+ (\ptl_a \ulin{\eta} + \halb \ulin{\la} e^{-2\gamma} \ptl_a \omega)(\ptl_b \ulin{\eta} + \halb \ulin{\la} e^{-2\gamma} \ptl_b \omega) \Big)
\end{align}
\end{widetext}
where the canonical pairs in the phase space $$ \ulin{X}\fdg=\big \{ (\ulin{\lambda}, \ulin{v} ), ( \ulin{\eta}, \ulin{u}) \big\}$$ are defined as $$\ulin{\eta} \fdg = e^{-\gamma}, \quad \ulin{u} \fdg= e^\gamma u, \quad \ulin{\la} \fdg= e^{-\gamma} \la, \quad \ulin{v} \fdg = e^\gamma v.$$
These transformations are motivated by the Carter-Robinson identities \cite{Car_71, Rob_74}.
Our construction can be schematically represented as follows:
\begin{align} \label{canonical-transformations}
(X^{\text{Max}}, H^{\text{Max}}) \to (X, H^{\text{Alt}}) \to (\ulin{X}, H^{\text{Reg}})
\end{align}
where $H^{\text{Reg}} \geq 0.$ We would like to point out that these transformations are canonical transformations. In particular, $H^{\text{Reg}}$ is also a Hamiltonian, in addition to being positive. Actually, we can construct a divergence-free vector field density $J$ such that $J^t = e^{\text{Reg}}$ i.e.,
\begin{align}
\ptl_t J^t + \ptl_a J^a =0, \quad a= 1, 2.
\end{align}
Furthermore, crucially, the flux of $J$ through the event-horizon $\mathcal{H}$ (which is a null hypersurface) also has a positive-definite sign i.e.,
\begin{align}
\text{Flux} (J, \mathcal{H}) \geq 0
\end{align}
which implies that the integrated energy flux of axisymmetric Maxwell fields is \emph{ingoing}, into the event-horizon.
Following our results, a positive energy functional for Maxwell fields was also constructed by Prabhu-Wald \cite{PW_17} using their notion of `canonical energy'. It turns out that the energy \eqref{postive-H-reg} can also be used to construct a positive energy for Newman-Penrose-Maxwell scalars on Kerr black holes \cite{NG_19_1}. Furthermore, the methods presented above are versatile and they can be extended to Maxwell fields on rapidly rotating $ (\vert a \vert <M)$ Kerr-de Sitter black hole spacetimes \cite{NG_17_2}. We would like to point out that, a positive-definite energy was first constructed by Dain-de Austria \cite{DA_14} for axisymmetric linearized Einstein perturbations of extremal Kerr black holes $(\vert a \vert =M)$, using the Brill mass formula \cite{B59, D09}. The positive energy presented here is a special case of our elaborate work on axisymmetric linearized Einstein-Maxwell perturbations of Kerr-Newman black hole spacetimes \cite{GM17_gentitle} \footnote{it may be recalled that the first-order linearization of Einstein-Maxwell fields about the Kerr black hole background yields decoupled, purely Maxwellian fields on the Kerr background}. Results analogous to the ones presented here hold for linearized Einstein perturbations of Kerr and Kerr-Newman black hole spacetimes \cite{NG_19_2, NG_21_1, GM17_gentitle}, but the mathematical methods involved are much more delicate (see Section III). For axisymmetric linearized Einstein perturbations, we use the linearization stability methods developed by Fischer-Marsden-Moncrief \cite{FM_75, FMM_80, Mon_75}. In particular, the construction of the energy is based on the kernel of the adjoint of the dimensionally reduced constraints. These methods, together with the Carter-Robinson identities, provide an explanation for why the transformations \eqref{canonical-transformations} almost magically provide a positive-definite energy, `out of the blue'.
\section{Linearized Einstein and Electrovacuum Perturbations}
%Let us now discuss to gravitational and electrovacuum perturbations of Kerr and Kerr-Newman black holes.
There are few fundamental differences between the gravitational perturbations and the electromagnetism on Kerr black holes. In the gravitational problem, the difficulty in the construction of a positive energy is not only due to the ergo-region - there are geometric and gauge related obstacles in addition. Consider for example the case of Schwarzschild black hole spacetimes, which do not contain the ergo-region or exhibit energy extraction phenomenon. Nevertheless, the construction of a positive-definite energy for gravitational perturbations of Schwarzschild black hole spacetimes is not trivial by any means (see e.g., \cite{Moncrief_74, GH_16, PW_17_2}).
In spite of the issues mentioned above, we report that there exists a positive-definite, gauge-invariant and strictly conserved total energy functional for linearized Einstein and electrovacuum perturbations of Kerr and Kerr-Newman black holes for the full sub-extremal range $\vert a, Q\vert <M$. This outcome is made possible by the special structure offered by wave maps in axial symmetry.
The Einstein equations for general relativity in axial symmetry, when represented in the Weyl-Papapetrou gauge:
\begin{align} \label{wp-gauge}
\bar{g} = e^{-2 \gamma} g + e^{2 \gamma} (d \phi + A_\nu dx^\nu)^2, \nu = 0, 1, 2,
\end{align}
can be reduced to the $2+1$ dimensional Einstein wave map system, where the wave map $$U \fdg (M, g) \to (\mathbb{H}^2, h)$$ has the negatively curved target, the hyperbolic 2-plane $\mathbb{H}^2$. Likewise, the Einstein-Maxwell equations can be reduced to the $2+1$ Einstein-wave map system, with the complex hyperbolic plane $\mathbb{H}_{\mathbb{C}}^2$ as the target manifold for the wave map.
We construct an energy using the quantity
\begin{align} \label{second-var}
H^{\text{Alt}} \fdg = \int_{\Sigma} (N\, D^2 \cdot H ) \, d^2 x
\end{align}
where $H$ is the dimensionally reduced Hamiltonian constraint on $\Sigma,$ $D$ is the variational derivative and $N$ is the dimensionally reduced lapse in the orbit space $M \fdg = \bar{M}/SO(2),$ $g$ is the metric of $M$ as in \eqref{wp-gauge}, $d^2x$ is the coordinate volume form in $\Sigma$. Importantly, that the quantity \eqref{second-var} can serve as a candidate for the energy follows from the fact that $(N, 0)$ is the kernel of the adjoint of the dimensionally reduced constraints. This insight is derived from the theory of Linearization Stability, developed by Fischer-Marsden-Moncrief \cite{FM_75, FMM_80, Mon_75}. The quantity $H^{\text{Alt}}$ in \eqref{second-var} can further be transformed using the generalized Carter-Robinson identities (analogous to \eqref{canonical-transformations}) into a positive-definite energy functional $H^{\text{Reg}}$ \cite{GM17_gentitle, NG_19_2}. It is worth pointing out that, in the linearized Einstein problem, it becomes transparent that the underlying cause for the validity of the Carter-Robinson identities is the negative curvature of the target manifold of the wave map, the hyperbolic 2-plane $\mathbb{H}^2$ \cite{NG_19_2}.
A positive-definite energy defined on a space-like Cauchy hypersurface is of limited significance for the stability problem if it is not strictly conserved in time or if the constituting fields are not regular functions. These two issues are coupled in the sense that the obstacles for strict conservation of energy are caused by the boundary terms that occur at the boundaries of the orbit space - the axes, the spatial infinity and the intersection of axes and the horizon; and it is precisely at these boundaries that the regularity issues arise. Furthermore, in contrast with the electromagnetic problem (Section II), the regularity and the strict conservation of energy in the linearized Einstein (i.e., gravitational) and the electrovacuum problems are further complicated by gauge related issues.
In order to overcome these issues, we formulate the initial value problem in the harmonic gauge (Lorenz-harmonic gauge for electrovacuum perturbations of Kerr-Newman black holes), where we can establish causality and regularity of the future development using standard methods, and transform the perturbed fields into the Weyl-Papapetrou gauge. Firstly, we establish that the gauge-transformation as well as the gauge-transformed fields in the Weyl-Papapetrou gauge are dynamically regular at all the boundaries. Subsequently, we prove strict conservation of the positive-definite energy $H^{\text{Reg}}$ by establishing that all the boundary flux terms vanish dynamically in time \cite{NG_21_1, GM17_gentitle}. In this context, we take advantage of the fact that the transverse-traceless tensors vanish for our geometry and thus the elliptic operators can be reduced to Poisson operators, which in turn provide the needed regularity and decay rates at the axes and infinity \cite{GM17_gentitle, NG_21_1}.
\section{Summary and Concluding Remarks}
The problem of stability of Kerr black holes is a major open problem in theoretical and mathematical studies in general relativity. Arguably, the most important obstacle in establishing the stability of Kerr black holes is the ergo-region and its effects like superradiance and energy-extraction. The effects of the ergo-region are even stronger for rapidly rotating sub-extremal Kerr black holes $(\vert a \vert<M)$. Due to this reason, most of the current and past works on the black hole stability problem are dedicated to the study of stability of Kerr black holes for small angular-momentum $(\vert a \vert \ll M)$.
Theoretically, due to the energy extraction phenomenon, the energy of perturbations can blow up in time, implying instability of Kerr black holes. In this Letter, we presented a result wherein we constructed a positive-definite energy for axisymmetric Maxwell fields propagating through Kerr black holes. Analogous results hold for axisymmetric gravitational and electrovacuum perturbations of Kerr and Kerr-Newman black hole spacetimes respectively, using much more delicate mathematical methods. These results imply a form of stability of Kerr and Kerr-Newman black hole spacetimes in axial symmetry. Since our results hold for the entire sub-extremal range of Kerr and Kerr-Newman black holes \footnote{We would like to point out that rapidly rotating, but sub-extremal, black holes are physically important}, these results are expected to be a major step forward towards the resolution of the black hole stability problem. Furthermore, the methods are suitable for the study of stability of Kerr-Newman-de Sitter black holes and higher-dimensional black hole spacetimes under a suitable symmetry class.
%\section{Acknowledgements}
%The author gratefully acknowledges the conversations with A. Ashtekar in the initial stages of this work.
% The \nocite command causes all entries in a bibliography to be printed out
% whether or not they are actually referenced in the text. This is appropriate
% for the sample file to show the different styles of references, but authors
% most likely will not want to use it.
%\nocite{*}
\bibliography{central-bib(Harvard)}% Produces the bibliography via BibTeX.
\end{document}
%
% ****** End of file apssamp.tex ******
% Version: 31.10.2007
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% Abkuerzungen %%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% Abstaende
\def\hpm{\hphantom{-}}% Platzhalter fuer '-' in Tabellen
\def\pkt{\,.\,}% Platzhalter "formales Argument"
\def\q{\quad}% Quad
\def\qq{\q\q}% 2 Quads
\def\qqq{\qq\q}% 3 Quads
%%% Buchstaben: Griechisch
\def\eps{\epsilon}%
\def\veps{\varepsilon}%
\def\vphi{\varphi}%
\def\vrho{\varrho}%
\def\vthe{\vartheta}%
%%% Relationen
\def\solleq{\stackrel{!}{=}}% soll = sein
\def\sollle{\stackrel{!}{\le}}% soll <= sein
\def\solllt{\stackrel{!}{<}}% soll < sein
\def\tensor{\,\raise2pt\hbox{${}_{\otimes}$}\,}% Tensor
%%% Standard-Symbole fuer Mengen
\def\cz{\mathbb{C}}% IC
\def\kz{\mathbb{K}}% K
\def\nz{\mathbb{N}}% IN
\def\pol{\mathbb{P}}% IP
\def\rz{\mathbb{R}}% IR
\def\gz{\mathbb{Z}}% IZ
%%% Zeichen
\def\eev{\vec{\imath}}% Euklidischer Einheitsvektor
\def\fdg{\,:\,}% ... fuer die gilt ...
\def\ie{{\rm i}}% Imaginaere Einheit
\def\mint{-\hspace{-11pt}\int}% Mittelwertintegral
\def\smint{-\hspace{-9pt}\int}% Mittelwertintegral Textmode
\def\pkt{\,.\,}% Platzhalterpunkt
\def\ptl{\partial}% Partial
\def\rest#1{\raise-2pt\hbox{${\lfloor_{#1}}$}}% Restringiert
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% Fonts %%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\def\cal#1{\mathcal{#1}}% Kalligraphisch
\def\mbb#1{\mathbb{#1}}% Math-Blackboard-Font
\def\mbo#1{\boldsymbol{#1}}% Math-Bold-Symbol
\def\mfr#1{\mathfrak{#1}}% Math-Fraktal
%%% Buchstaben-Vorstrich
\def\vsL{{I\hskip-3pt L}}% IL
\def\vsR{{I\hskip-3pt R}}% IR
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% Klammern %%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\def\Dual#1#2#3{\big\langle#1\big\rangle_{#2}^{#3}}% Dualklammer < ... >
\def\dual#1#2#3{\langle#1\rangle_{#2}^{#3}}% Dualklammer < ... >
\def\Larg#1{\big[#1\big]}% [ ... ] (lineares Argument)
\def\larg#1{[#1]}% [ ... ] (lineares Argument)
\def\NOrm#1#2#3{\Big|\!\Big|#1\Big|\!\Big|_{#2}^{#3}}% Fktn-Norm ||.||
\def\Norm#1#2#3{\big|\!\big|#1\big|\!\big|_{#2}^{#3}}% Fktn-Norm ||.||
\def\norm#1#2#3{|\!|#1|\!|_{#2}^{#3}}% Fktn-Norm ||.||
\def\normD#1#2#3{|\!|\!|#1|\!|\!|_{#2}^{#3}}% Fktn-Norm |||.|||
\def\Seq#1#2#3{\big\{#1\big\}_{#2}^{#3}}% Folgen
\def\seq#1#2#3{\{#1\}_{#2}^{#3}}% Folgen
\def\Skp#1#2#3{\big(#1\big)_{#2}^{#3}}% Skalarprodukt ( ... )
\def\skp#1#2#3{(#1)_{#2}^{#3}}% Skalarprodukt ( ... )
\def\VNorm#1#2#3{\Bigl|#1\Bigr|_{#2}^{#3}}% Vektor-Norm |.|
\def\Vnorm#1#2#3{\big|#1\big|_{#2}^{#3}}% Vektor-Norm |.|
\def\vnorm#1#2#3{|#1|_{#2}^{#3}}% Vektor-Norm |.|
\def\ip#1#2{\langle#1,#2\rangle}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% Marker %%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\def\hatt#1{\widehat #1{}}% Hut
\def\olin#1{\overline{#1}{}}% Oben-quer
\def\ulin#1{\underline{#1}{}}% Unterstreichen
\def\tild#1{\widetilde{#1}{}}% Tilde
%\def\vect#1{\vec{#1}{}}% Vektorpfeil
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% Operatoren %%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%% Text
\def\adj{\operatorname{adj}{}}% Adjoint
\def\cond{\operatorname{cond}}% Kondition
\def\det{\operatorname{det}}% Determinante
\def\devi{\operatorname{dev}{}}% Deviator
\def\diag{\operatorname{diag}}% Diagonalanteil
\def\diam{\operatorname{diam}}% Durchmesser
\def\dist{\operatorname{dist}}% Distanz
\def\meas{\operatorname{meas}}% Ma"s
\def\rank{\operatorname{rang}}% Rang
\def\res{\operatorname{res}}%
\def\sign{\operatorname{sign}}% Vorzeichenfunktion
\def\spann{\operatorname{span}}% Lineare H"ulle (2 'n' notwendig!)
\def\supp{\operatorname{supp}}% Tr"ager
\def\sym{\operatorname{sym}}% Symmetrischer Teil
\def\tol{\operatorname{tol}}% Toleranz
\def\trac{\operatorname{trace}}% Spur
\def\tridiag{\operatorname{tridiag}}% Tridiagonalmatrix
\def\vol{\operatorname{vol}}% Volumen
%%%%%% Zeichen
\def\grad{{\nabla}}% Gradient
\def\gradO{\nabla^\bot}% Gradient senkrecht
\def\div{\grad\!\cdot\!}% Divergenz
\def\Id{I\!d}% Identitaet
\def\id{i\!d}% Identitaet (lower)
\def\trp{\dagger}% Transponiert
\def\pen{\text{\sc P}}% Pseudoinverse
\newcommand{\leftexp}[2]{{\vphantom{#2}}^{#1}{#2}}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% Strukturen %%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% Formeln
\def\Bmat#1{\begin{bmatrix}#1\end{bmatrix}}% Matrix in Displaystyle und ...
\def\bmat#1{\left[\begin{smallmatrix}#1\end{smallmatrix}\right]}% ... Text
%%% Texte
\def\satz#1#2#3{\begin{#1}\;{\rm #2}\;{#3}\end{#1}}%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% Kommentierungshilfen %%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\def\comm#1{{\tiny\tt #1}}% Kommentar
\def\footmark{\protect\footnotemark}% Fussnote anbringen
\def\foottext#1{\protect\footnotetext{#1}}% Fussnotentext
%\def\mnote{\marginnote }
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% Sonstiges %%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\def\halb{\frac{1}{2}}% 1/2
%%% Funktionenraeume
\def\SCka{\cal{C}}% Stetig diffbare Funktionen
\def\SLeb{\cal{L}}% Lebesgue--Raeume
\def\SSob{\cal{W}}% Sobolev--Raeume
\def\SSobH{\cal{H}}% Sobolev--Hilbert--Raeume
%%%
\def\emm{\hookrightarrow}
\def \hh{\bf h}
\def \U {\bf U}
\def \UU {\mathbf{U}}
\def \gm{\gamma}
\def \ee{\mathbf{e}}
\def \Gm{\Gamma}
\def \mm {\mathbf{m}}
\def \a{\alpha}
\def \b {\beta}
\def \EE {\mathbf{E}}
\def \RR {\mathbf{R}}
\def \TT {\mathbf{T}}
\def \FF {\mathbf{F}}
\def \KK {\mathbf{K}}
\def\cA{\cal{A}}%
\def\cE{\cal{E}}%
\def\cF{\cal{F}}%
\def\cK{\cal{K}}%
\def\cL{\cal{L}}%
\def\cN{\cal{N}}%
\def\cR{\cal{R}}%
\def\cS{\cal{S}}%
\def\cT{\cal{T}}%
\def\cZ{\cal{Z}}%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\def\inte{\operatorname{int}}% Innere
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%Jeremie's macros
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\newtheorem{theorem}{Theorem}[section]
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{remark}[theorem]{Remark}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{claim}[theorem]{Claim}
%\numberwithin{equation}{section}
%\newcommand{\be}{\begin{equation}}
%\newcommand{\ee}{\end{equation}}
\newcommand{\ba}{\begin{array}}
\newcommand{\ea}{\end{array}}
\newcommand{\bea}{\begin{eqnarray}}
\newcommand{\eea}{\end{eqnarray}}
\newcommand{\bee}{\begin{eqnarray*}}
\newcommand{\eee}{\end{eqnarray*}}
\newcommand{\lab}{\label}
\newcommand{\und}{\underline}
%\renewcommand{\vec}[1]{\mbox{\boldmath $#1$}}
\newcommand{\ds}{\displaystyle}
\newcommand{\nn}{\nonumber}
\providecommand{\norm}[1]{\lVert#1\rVert}
\providecommand{\normm}[1]{\left\lVert#1\right\rVert}
\renewcommand{\c}{\cdot}
\newcommand{\les}{\lesssim}
\newcommand{\R}{\mathbb{R}}
\newcommand{\N}{\mathbb{N}}
\newcommand{\D}{{\bf D}}
\renewcommand{\gg}{{\bf g}}
\newcommand{\bgg}{{\bar{\bf g}}}
\newcommand{\tgg}{{\tilde{\bf g}}}
%\renewcommand{\h}{{\bf h}}
\renewcommand{\O}{{\Omega}}
\renewcommand{\o}{\omega}
\renewcommand{\S}{\mathbb{S}^1}
\renewcommand{\H}{\mathcal{H}}
\newcommand{\ep}{\varepsilon}
\newcommand{\pr}{\partial}
\renewcommand{\a}{\alpha}
\renewcommand{\b}{\beta}
\renewcommand{\d}{\delta}
\renewcommand{\th}{\theta}
\renewcommand{\r}{\rho}
\newcommand{\la}{\lambda}
\newcommand{\ub}{{\underline{u}}}
\newcommand{\ubb}{\underline{u}_b}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%Lars
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\usepackage{color}
\newcommand{\red}[1]{{\color{red}#1}}
\newcommand{\green}[1]{{\color{green}#1}}
\newcommand{\blue}[1]{{\color{blue}#1}}
%Mattias version
%\newcounter{mnotecount}[section]
%\renewcommand{\themnotecount}{\thesection.\arabic{mnotecount}}
%\newcommand{\mnote}[1]{\protect{\stepcounter{mnotecount}}${\raisebox{0.5\baselineskip}[0pt]{\makebox[0pt][c]{\color{magenta}{\tiny\em$\bullet$\themnotecount}}}}$\marginpar{\raggedright\tiny\em$\!\!\!\!\!\!\,\bullet$\themnotecount:
% #1}\ignorespaces}
%Thomas version
\setlength{\marginparwidth}{25mm}
%New version
%%%%%%%%%%%%%mnote%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\newcounter{mnotecount}[section]
\renewcommand{\themnotecount}{\thesection.\arabic{mnotecount}}
\newcommand{\mnote}[1]{\protect{\stepcounter{mnotecount}}${\raisebox{0.5\baselineskip}[0pt]{\makebox[0pt][c]{\color{magenta}{\tiny\em$\bullet$\themnotecount}}}}$\marginpar{\raggedright\tiny\em$\!\bullet$\themnotecount:
#1}\ignorespaces}
%%%%%%%%%%%%%%%%%%%%%%mymnote%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\newcounter{mymnotecount}[section]
\renewcommand{\themymnotecount}{\thesection.\arabic{mymnotecount}}
\newcommand{\mymnote}[1]{\protect{\stepcounter{mymnotecount}}${\raisebox{0.5\baselineskip}[0pt]{\makebox[0pt][c]{\color{green}{\tiny\em$\bullet$\themnotecount}}}}$\marginpar{\raggedright\tiny\em$\!\bullet$\themymnotecount:
\green{#1}}\ignorespaces}
\renewcommand{\mymnote}[1]{}
%apsrev4-2.bst 2019-01-14 (MD) hand-edited version of apsrev4-1.bst
%Control: key (0)
%Control: author (8) initials jnrlst
%Control: editor formatted (1) identically to author
%Control: production of article title (0) allowed
%Control: page (0) single
%Control: year (1) truncated
%Control: production of eprint (0) enabled
\begin{thebibliography}{29}%
\makeatletter
\providecommand \@ifxundefined [1]{%
\@ifx{#1\undefined}
}%
\providecommand \@ifnum [1]{%
\ifnum #1\expandafter \@firstoftwo
\else \expandafter \@secondoftwo
\fi
}%
\providecommand \@ifx [1]{%
\ifx #1\expandafter \@firstoftwo
\else \expandafter \@secondoftwo
\fi
}%
\providecommand \natexlab [1]{#1}%
\providecommand \enquote [1]{``#1''}%
\providecommand \bibnamefont [1]{#1}%
\providecommand \bibfnamefont [1]{#1}%
\providecommand \citenamefont [1]{#1}%
\providecommand \href@noop [0]{\@secondoftwo}%
\providecommand \href [0]{\begingroup \@sanitize@url \@href}%
\providecommand \@href[1]{\@@startlink{#1}\@@href}%
\providecommand \@@href[1]{\endgroup#1\@@endlink}%
\providecommand \@sanitize@url [0]{\catcode `\\12\catcode `\$12\catcode
`\&12\catcode `\#12\catcode `\^12\catcode `\_12\catcode `\%12\relax}%
\providecommand \@@startlink[1]{}%
\providecommand \@@endlink[0]{}%
\providecommand \url [0]{\begingroup\@sanitize@url \@url }%
\providecommand \@url [1]{\endgroup\@href {#1}{\urlprefix }}%
\providecommand \urlprefix [0]{URL }%
\providecommand \Eprint [0]{\href }%
\providecommand \doibase [0]{https://doi.org/}%
\providecommand \selectlanguage [0]{\@gobble}%
\providecommand \bibinfo [0]{\@secondoftwo}%
\providecommand \bibfield [0]{\@secondoftwo}%
\providecommand \translation [1]{[#1]}%
\providecommand \BibitemOpen [0]{}%
\providecommand \bibitemStop [0]{}%
\providecommand \bibitemNoStop [0]{.\EOS\space}%
\providecommand \EOS [0]{\spacefactor3000\relax}%
\providecommand \BibitemShut [1]{\csname bibitem#1\endcsname}%
\let\auto@bib@innerbib\@empty
%</preamble>
\bibitem [{\citenamefont {Chandrasekhar}(1983)}]{Chandrasekhar_83}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {S.}~\bibnamefont
{Chandrasekhar}},\ }\bibfield {title} {\bibinfo {title} {The mathematical
theory of black holes},\ }\href@noop {} {\bibfield {journal} {\bibinfo
{journal} {Oxford university press}\ } (\bibinfo {year} {1983})}\BibitemShut
{NoStop}%
\bibitem [{\citenamefont {Andersson}\ \emph {et~al.}(2019)\citenamefont
{Andersson}, \citenamefont {B{\"a}ckdahl}, \citenamefont {Blue},\ and\
\citenamefont {Ma}}]{ABBM_19}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {L.}~\bibnamefont
{Andersson}}, \bibinfo {author} {\bibfnamefont {T.}~\bibnamefont
{B{\"a}ckdahl}}, \bibinfo {author} {\bibfnamefont {P.}~\bibnamefont {Blue}},\
and\ \bibinfo {author} {\bibfnamefont {S.}~\bibnamefont {Ma}},\ }\bibfield
{title} {\bibinfo {title} {Stability for linearized gravity on the {K}err
spacetime},\ }\href@noop {} {\bibfield {journal} {\bibinfo {journal}
{arXiv}\ }\textbf {\bibinfo {volume} {1903.03859}} (\bibinfo {year}
{2019})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {H{\"a}fner}\ \emph {et~al.}(2019)\citenamefont
{H{\"a}fner}, \citenamefont {Hintz},\ and\ \citenamefont {Vasy}}]{HHV_19}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {D.}~\bibnamefont
{H{\"a}fner}}, \bibinfo {author} {\bibfnamefont {P.}~\bibnamefont {Hintz}},\
and\ \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Vasy}},\ }\bibfield
{title} {\bibinfo {title} {Linear stability of slowly rotating {K}err black
holes},\ }\href@noop {} {\bibfield {journal} {\bibinfo {journal} {arXiv}\
}\textbf {\bibinfo {volume} {1906.00860}} (\bibinfo {year}
{2019})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Klainerman}\ and\ \citenamefont
{Szeftel}(2021)}]{KS_21}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {S.}~\bibnamefont
{Klainerman}}\ and\ \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont
{Szeftel}},\ }\bibfield {title} {\bibinfo {title} {Kerr stability for small
angular-momentum},\ }\href@noop {} {\bibfield {journal} {\bibinfo {journal}
{arXiv}\ }\textbf {\bibinfo {volume} {2108.13379}} (\bibinfo {year}
{2021})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Dafermos}\ \emph {et~al.}(2021)\citenamefont
{Dafermos}, \citenamefont {Holzegel}, \citenamefont {Rodnianski},\ and\
\citenamefont {Taylor}}]{HDRT_21}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {M.}~\bibnamefont
{Dafermos}}, \bibinfo {author} {\bibfnamefont {G.}~\bibnamefont {Holzegel}},
\bibinfo {author} {\bibfnamefont {I.}~\bibnamefont {Rodnianski}},\ and\
\bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Taylor}},\ }\bibfield
{title} {\bibinfo {title} {The non-linear stability of the schwarzschild
family of black holes},\ }\href@noop {} {\bibfield {journal} {\bibinfo
{journal} {arXiv}\ }\textbf {\bibinfo {volume} {2104.08222}} (\bibinfo {year}
{2021})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Starobinsky}(1973)}]{AAS_73}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {A.}~\bibnamefont
{Starobinsky}},\ }\bibfield {title} {\bibinfo {title} {Amplification of
waves during reflection from a black hole},\ }\href@noop {} {\bibfield
{journal} {\bibinfo {journal} {Soviet Physics JETP}\ }\textbf {\bibinfo
{volume} {37}},\ \bibinfo {pages} {38} (\bibinfo {year} {1973})}\BibitemShut
{NoStop}%
\bibitem [{\citenamefont {Finster}\ \emph {et~al.}(2008)\citenamefont
{Finster}, \citenamefont {Kamran}, \citenamefont {Smoller},\ and\
\citenamefont {Yau}}]{FKSY_08}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {F.}~\bibnamefont
{Finster}}, \bibinfo {author} {\bibfnamefont {N.}~\bibnamefont {Kamran}},
\bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Smoller}},\ and\ \bibinfo
{author} {\bibfnamefont {S.-T.}\ \bibnamefont {Yau}},\ }\bibfield {title}
{\bibinfo {title} {A rigorous treatment of energy extraction from a rotating
black hole},\ }\href@noop {} {\bibfield {journal} {\bibinfo {journal}
{Comm. Math. Phys.}\ }\textbf {\bibinfo {volume} {287}},\ \bibinfo {pages}
{829} (\bibinfo {year} {2008})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Christodoulou}(1970)}]{DC_70}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {D.}~\bibnamefont
{Christodoulou}},\ }\bibfield {title} {\bibinfo {title} {Reversible and
irreversible transformations in black-hole physics},\ }\href@noop {}
{\bibfield {journal} {\bibinfo {journal} {Phys. Rev. Lett}\ }\textbf
{\bibinfo {volume} {25}},\ \bibinfo {pages} {1596} (\bibinfo {year}
{1970})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Prabhu}\ and\ \citenamefont {Wald}(2015)}]{WP_13}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {K.}~\bibnamefont
{Prabhu}}\ and\ \bibinfo {author} {\bibfnamefont {R.}~\bibnamefont {Wald}},\
}\bibfield {title} {\bibinfo {title} {Black hole instabilities and
exponential growth},\ }\href@noop {} {\bibfield {journal} {\bibinfo
{journal} {Comm. Math. Phys.}\ }\textbf {\bibinfo {volume} {340}},\ \bibinfo
{pages} {253} (\bibinfo {year} {2015})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Moncrief}\ and\ \citenamefont
{Gudapati}(2021)}]{GM17_gentitle}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {V.}~\bibnamefont
{Moncrief}}\ and\ \bibinfo {author} {\bibfnamefont {N.}~\bibnamefont
{Gudapati}},\ }\bibfield {title} {\bibinfo {title} {A positive-definite
energy functional for the axisymmetric perturbations of {K}err-{N}ewman black
holes},\ }\href@noop {} {\bibfield {journal} {\bibinfo {journal}
{arXiv:2105.12632}\ } (\bibinfo {year} {2021})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Carter}(1971)}]{Car_71}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {B.}~\bibnamefont
{Carter}},\ }\bibfield {title} {\bibinfo {title} {Axisymmetric black hole
has only two degrees of freedom},\ }\href@noop {} {\bibfield {journal}
{\bibinfo {journal} {Phys. Rev. Lett.}\ }\textbf {\bibinfo {volume} {26}},\
\bibinfo {pages} {331} (\bibinfo {year} {1971})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Robinson}(1974)}]{Rob_74}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {D.~C.}\ \bibnamefont
{Robinson}},\ }\bibfield {title} {\bibinfo {title} {Classification of black
holes with electromagnetic fields},\ }\href@noop {} {\bibfield {journal}
{\bibinfo {journal} {Phys. Rev. D}\ }\textbf {\bibinfo {volume} {10}},\
\bibinfo {pages} {458} (\bibinfo {year} {1974})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Misner}\ \emph {et~al.}(1973)\citenamefont {Misner},
\citenamefont {Thorne},\ and\ \citenamefont {Wheeler}}]{MTW}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {C.}~\bibnamefont
{Misner}}, \bibinfo {author} {\bibfnamefont {K.}~\bibnamefont {Thorne}},\
and\ \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Wheeler}},\
}\bibfield {title} {\bibinfo {title} {Gravitation},\ }\href@noop {}
{\bibfield {journal} {\bibinfo {journal} {Princeton University Press}\ }
(\bibinfo {year} {1973})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Prabhu}\ and\ \citenamefont
{Wald}(2018{\natexlab{a}})}]{PW_17}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {K.}~\bibnamefont
{Prabhu}}\ and\ \bibinfo {author} {\bibfnamefont {R.}~\bibnamefont {Wald}},\
}\bibfield {title} {\bibinfo {title} {Stability of stationary-axisymmetric
black holes in vacuum general relativity to axisymmetric electromagnetic
perturbations},\ }\href@noop {} {\bibfield {journal} {\bibinfo {journal}
{Class. Quantum Grav.}\ }\textbf {\bibinfo {volume} {35}},\ \bibinfo {pages}
{015009} (\bibinfo {year} {2018}{\natexlab{a}})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Gudapati}(2019{\natexlab{a}})}]{NG_19_1}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {N.}~\bibnamefont
{Gudapati}},\ }\bibfield {title} {\bibinfo {title} {A conserved energy for
axially symmetric {N}ewman{-P}enrose{-M}axwell scalars on {K}err black
holes},\ }\href@noop {} {\bibfield {journal} {\bibinfo {journal} {Proc. R.
Soc. A}\ }\textbf {\bibinfo {volume} {475}} (\bibinfo {year}
{2019}{\natexlab{a}})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Gudapati}(2018)}]{NG_17_2}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {N.}~\bibnamefont
{Gudapati}},\ }\bibfield {title} {\bibinfo {title} {A positive-definite
energy functional for axially symmetric {M}axwell's equations on {K}err-de
{S}itter black hole spacetimes},\ }\href@noop {} {\bibfield {journal}
{\bibinfo {journal} {C. R. Math. Rep. Acad. Sci. Canada}\ }\textbf {\bibinfo
{volume} {40}},\ \bibinfo {pages} {39} (\bibinfo {year} {2018})}\BibitemShut
{NoStop}%
\bibitem [{\citenamefont {Dain}\ and\ \citenamefont
{de~Austria}(2014)}]{DA_14}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {S.}~\bibnamefont
{Dain}}\ and\ \bibinfo {author} {\bibfnamefont {I.~G.}\ \bibnamefont
{de~Austria}},\ }\bibfield {title} {\bibinfo {title} {On the linear
stability of the extreme {K}err black hole under axially symmetric
perturbations},\ }\href@noop {} {\bibfield {journal} {\bibinfo {journal}
{Class. Quantum. Grav.}\ }\textbf {\bibinfo {volume} {31}},\ \bibinfo {pages}
{195009} (\bibinfo {year} {2014})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Brill}(1959)}]{B59}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {D.}~\bibnamefont
{Brill}},\ }\bibfield {title} {\bibinfo {title} {On the positive definite
mass of the {B}ondi-{W}eber-{W}heeler time-symmetric gravitational waves},\
}\href@noop {} {\bibfield {journal} {\bibinfo {journal} {Ann. Phys.}\
}\textbf {\bibinfo {volume} {7}},\ \bibinfo {pages} {466} (\bibinfo {year}
{1959})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Dain}(2009)}]{D09}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {S.}~\bibnamefont
{Dain}},\ }\bibfield {title} {\bibinfo {title} {Axisymmetric evolution of
{E}instein equations and mass conservation},\ }\href@noop {} {\bibfield
{journal} {\bibinfo {journal} {Class. Quantum Grav.}\ }\textbf {\bibinfo
{volume} {25}},\ \bibinfo {pages} {145021 (18pp)} (\bibinfo {year}
{2009})}\BibitemShut {NoStop}%
\bibitem [{Note1()}]{Note1}%
\BibitemOpen
\bibinfo {note} {It may be recalled that the first-order linearization of
Einstein-Maxwell fields about the Kerr black hole background yields
decoupled, purely Maxwellian fields on the Kerr background}\BibitemShut
{NoStop}%
\bibitem [{\citenamefont {Gudapati}(2019{\natexlab{b}})}]{NG_19_2}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {N.}~\bibnamefont
{Gudapati}},\ }\bibfield {title} {\bibinfo {title} {Axially symmetric
perturbations of {K}err black holes {I}: a gauge-invariant construction of
{A}{D}{M} energy},\ }\href@noop {} {\bibfield {journal} {\bibinfo {journal}
{arXiv:1904.09670}\ } (\bibinfo {year} {2019}{\natexlab{b}})}\BibitemShut
{NoStop}%
\bibitem [{\citenamefont {Gudapati}(2021)}]{NG_21_1}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {N.}~\bibnamefont
{Gudapati}},\ }\bibfield {title} {\bibinfo {title} {Axially symmetric
perturbations of {K}err black holes {II}: Boundary behaviour of the dynamics
in the orbit space},\ }\href@noop {} {\bibfield {journal} {\bibinfo
{journal} {arXiv:2109.02131}\ } (\bibinfo {year} {2021})}\BibitemShut
{NoStop}%
\bibitem [{\citenamefont {Fischer}\ and\ \citenamefont
{Marsden}(1975)}]{FM_75}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {A.}~\bibnamefont
{Fischer}}\ and\ \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont
{Marsden}},\ }\bibfield {title} {\bibinfo {title} {Deformations of the
scalar curvature},\ }\href@noop {} {\bibfield {journal} {\bibinfo {journal}
{Duke Math. J.}\ }\textbf {\bibinfo {volume} {42}},\ \bibinfo {pages} {519}
(\bibinfo {year} {1975})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Fischer}\ \emph {et~al.}(1980)\citenamefont
{Fischer}, \citenamefont {Marsden},\ and\ \citenamefont {Moncrief}}]{FMM_80}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {A.}~\bibnamefont
{Fischer}}, \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Marsden}},\
and\ \bibinfo {author} {\bibfnamefont {V.}~\bibnamefont {Moncrief}},\
}\bibfield {title} {\bibinfo {title} {The structure of space of solutions of
{E}instein's equations. {I}. one {K}illing field},\ }\href@noop {} {\bibfield
{journal} {\bibinfo {journal} {Ann. Inst. Henri. Poincar\`e}\ }\textbf
{\bibinfo {volume} {33}},\ \bibinfo {pages} {147} (\bibinfo {year}
{1980})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Moncrief}(1975)}]{Mon_75}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {V.}~\bibnamefont
{Moncrief}},\ }\bibfield {title} {\bibinfo {title} {Spacetime symmetries and
linearization stability of the {E}instein equations. {I}},\ }\href@noop {}
{\bibfield {journal} {\bibinfo {journal} {J. Math. Phys.}\ }\textbf
{\bibinfo {volume} {16}},\ \bibinfo {pages} {493} (\bibinfo {year}
{1975})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Moncrief}(1974)}]{Moncrief_74}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {V.}~\bibnamefont
{Moncrief}},\ }\bibfield {title} {\bibinfo {title} {Gravitational
perturbations of spherically symmetric systems. {I}. the exterior problem},\
}\href@noop {} {\bibfield {journal} {\bibinfo {journal} {Ann. Phys.}\
}\textbf {\bibinfo {volume} {88}},\ \bibinfo {pages} {323} (\bibinfo {year}
{1974})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Holzegel}(2016)}]{GH_16}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {G.}~\bibnamefont
{Holzegel}},\ }\bibfield {title} {\bibinfo {title} {Conservation laws and
flux bounds for gravitational perturbations of the {S}chwarzschild metric},\
}\href@noop {} {\bibfield {journal} {\bibinfo {journal} {Class. Quantum
Grav}\ }\textbf {\bibinfo {volume} {33}} (\bibinfo {year}
{2016})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Prabhu}\ and\ \citenamefont
{Wald}(2018{\natexlab{b}})}]{PW_17_2}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {K.}~\bibnamefont
{Prabhu}}\ and\ \bibinfo {author} {\bibfnamefont {R.}~\bibnamefont {Wald}},\
}\bibfield {title} {\bibinfo {title} {Canonical energy and {H}ertz
potentials for perturbations of {S}chwarzschild spacetime},\ }\href@noop {}
{\bibfield {journal} {\bibinfo {journal} {Class. Quantum Grav.}\ }\textbf
{\bibinfo {volume} {35}},\ \bibinfo {pages} {235004} (\bibinfo {year}
{2018}{\natexlab{b}})}\BibitemShut {NoStop}%
\bibitem [{Note2()}]{Note2}%
\BibitemOpen
\bibinfo {note} {We would like to point out that rapidly rotating, but
sub-extremal, black holes are physically important}\BibitemShut {NoStop}%
\end{thebibliography}%