-
A note on integrated local energy decay estimates for spherically symmetric black hole spacetimes
Authors:
Gustav Holzegel,
Georgios Mavrogiannis,
Renato Velozo Ruiz
Abstract:
We present short proofs of integrated local energy decay estimates on Schwarzschild, extremal Reissner-Nordström, and Schwarzschild-de Sitter spacetimes. The proofs employ novel global physical space multipliers, which, besides their remarkable simplicity, (a) are directly derivable from the geodesic flow, (b) do not require decomposition into spherical harmonics, and (c) whose boundary terms can…
▽ More
We present short proofs of integrated local energy decay estimates on Schwarzschild, extremal Reissner-Nordström, and Schwarzschild-de Sitter spacetimes. The proofs employ novel global physical space multipliers, which, besides their remarkable simplicity, (a) are directly derivable from the geodesic flow, (b) do not require decomposition into spherical harmonics, and (c) whose boundary terms can be controlled by the conserved $T$-energy alone. We also elaborate on the intimate connection between the multipliers of the present paper and the globally good commutators introduced by the first two authors.
△ Less
Submitted 4 March, 2024;
originally announced March 2024.
-
Uniform Boundedness for Solutions to the Teukolsky Equation on Schwarzschild from Conservation Laws of Linearised Gravity
Authors:
Sam C. Collingbourne,
Gustav Holzegel
Abstract:
We consider the equations of linearised gravity on the Schwarzschild spacetime in a double null gauge. Applying suitably commuted versions of the conservation laws derived in earlier work of the second author we establish control on the gauge invariant Teukolsky quantities $α^{[\pm 2]}$ without any reference to the decoupled Teukolsky wave equation satisfied by these quantities. More specifically,…
▽ More
We consider the equations of linearised gravity on the Schwarzschild spacetime in a double null gauge. Applying suitably commuted versions of the conservation laws derived in earlier work of the second author we establish control on the gauge invariant Teukolsky quantities $α^{[\pm 2]}$ without any reference to the decoupled Teukolsky wave equation satisfied by these quantities. More specifically, we uniformly bound the energy flux of all first derivatives of $α^{[\pm 2]}$ along any outgoing cone from an initial data quantity at the level of first derivatives of the linearised curvature and second derivatives of the linearised connection components. Analogous control on the energy fluxes along any ingoing cone is established a posteriori directly from the Teukolsky equation using the outgoing bounds.
△ Less
Submitted 11 July, 2023;
originally announced July 2023.
-
The wave equation on subextremal Kerr spacetimes with small non-decaying first order terms
Authors:
Gustav Holzegel,
Christopher Kauffman
Abstract:
We consider the perturbed covariant wave equation $\Box_{g_{M,a}} Ψ= \varepsilon \mathbf{B} Ψ$ on the exterior of a fixed subextremal Kerr spacetime $\left(\mathcal{M},g_{M,a}\right)$. Here $\mathbf{B}$ is a suitably regular first order differential operator respecting the symmetries of Kerr whose coefficients are assumed to decay in space but not in time. We establish integrated decay estimates f…
▽ More
We consider the perturbed covariant wave equation $\Box_{g_{M,a}} Ψ= \varepsilon \mathbf{B} Ψ$ on the exterior of a fixed subextremal Kerr spacetime $\left(\mathcal{M},g_{M,a}\right)$. Here $\mathbf{B}$ is a suitably regular first order differential operator respecting the symmetries of Kerr whose coefficients are assumed to decay in space but not in time. We establish integrated decay estimates for solutions of the associated Cauchy problem. The proof adapts the framework introduced by Dafermos--Rodnianski--Shlapentokh-Rothman \cite{DRSR} in the $\varepsilon=0$ case. We combine their estimates with a new global pseudodifferential commutator estimate, which generalises our previous work in the Schwarzschild case. The construction of the commutator exploits the central observation of \cite{DRSR} that superradiant frequencies are not trapped. A further major technical ingredient of the proof consists in establishing appropriate convolution estimates for expressions arising from the interplay of the $\mathbf{B}$-term and the time cutoffs in the microlocal framework.
△ Less
Submitted 13 February, 2023;
originally announced February 2023.
-
Quasilinear wave equations on asymptotically flat spacetimes with applications to Kerr black holes
Authors:
Mihalis Dafermos,
Gustav Holzegel,
Igor Rodnianski,
Martin Taylor
Abstract:
We prove global existence and decay for small-data solutions to a class of quasilinear wave equations on a wide variety of asymptotically flat spacetime backgrounds, allowing in particular for the presence of horizons, ergoregions and trapped null geodesics, and including as a special case the Schwarzschild and very slowly rotating $\vert a \vert \ll M$ Kerr family of black holes in general relati…
▽ More
We prove global existence and decay for small-data solutions to a class of quasilinear wave equations on a wide variety of asymptotically flat spacetime backgrounds, allowing in particular for the presence of horizons, ergoregions and trapped null geodesics, and including as a special case the Schwarzschild and very slowly rotating $\vert a \vert \ll M$ Kerr family of black holes in general relativity. There are two distinguishing aspects of our approach. The first aspect is its dyadically localised nature: The nontrivial part of the analysis is reduced entirely to time-translation invariant $r^p$-weighted estimates, in the spirit of [DR09], to be applied on dyadic time-slabs which for large $r$ are outgoing. Global existence and decay then both immediately follow by elementary iteration on consecutive such time-slabs, without further global bootstrap. The second, and more fundamental, aspect is our direct use of a "blackbox" linear inhomogeneous energy estimate on exactly stationary metrics, together with a novel but elementary physical space top order identity that need not capture the structure of trap** and is robust to perturbation. In the specific example of Kerr black holes, the required linear inhomogeneous estimate can then be quoted directly from the literature [DRSR16], while the additional top order physical space identity can be shown easily in many cases (we include in the Appendix a proof for the Kerr case $\vert a \vert \ll M$, which can in fact be understood in this context simply as a perturbation of Schwarzschild). In particular, the approach circumvents the need either for producing a purely physical space identity capturing trap** or for a careful analysis of the commutation properties of frequency projections with the wave operator of time-dependent metrics.
△ Less
Submitted 28 December, 2022;
originally announced December 2022.
-
The bulk-boundary correspondence for the Einstein equations in asymptotically Anti-de Sitter spacetimes
Authors:
Gustav Holzegel,
Arick Shao
Abstract:
In this paper, we consider vacuum asymptotically anti-de Sitter spacetimes $( \mathscr{M}, g )$ with conformal boundary $( \mathscr{I}, \mathfrak{g} )$. We establish a correspondence, near $\mathscr{I}$, between such spacetimes and their conformal boundary data on $\mathscr{I}$. More specifically, given a domain $\mathscr{D} \subset \mathscr{I}$, we prove that the coefficients…
▽ More
In this paper, we consider vacuum asymptotically anti-de Sitter spacetimes $( \mathscr{M}, g )$ with conformal boundary $( \mathscr{I}, \mathfrak{g} )$. We establish a correspondence, near $\mathscr{I}$, between such spacetimes and their conformal boundary data on $\mathscr{I}$. More specifically, given a domain $\mathscr{D} \subset \mathscr{I}$, we prove that the coefficients $\mathfrak{g}^{(0)} = \mathfrak{g}$ and $\mathfrak{g}^{(n)}$ (the undetermined term or stress energy tensor) in a Fefferman-Graham expansion of the metric $g$ from the boundary uniquely determine $g$ near $\mathscr{D}$, provided $\mathscr{D}$ satisfies a generalised null convexity condition (GNCC). The GNCC is a conformally invariant criterion on $\mathscr{D}$, first identified by Chatzikaleas and the second author, that ensures a foliation of pseudoconvex hypersurfaces in $\mathscr{M}$ near $\mathscr{D}$, and with the pseudoconvexity degenerating in the limit at $\mathscr{D}$. As a corollary of this result, we deduce that conformal symmetries of $( \mathfrak{g}^{(0)}, \mathfrak{g}^{(n)} )$ on domains $\mathscr{D} \subset \mathscr{I}$ satisfying the GNCC extend to spacetimes symmetries near $\mathscr{D}$. The proof, which does not require any analyticity assumptions, relies on three key ingredients: (1) a calculus of vertical tensor-fields developed for this setting; (2) a novel system of transport and wave equations for differences of metric and curvature quantities; and (3) recently established Carleman estimates for tensorial wave equations near the conformal boundary.
△ Less
Submitted 22 April, 2023; v1 submitted 28 July, 2022;
originally announced July 2022.
-
Mode stability for the Teukolsky equations on Kerr-anti-de Sitter spacetimes
Authors:
Olivier Graf,
Gustav Holzegel
Abstract:
We prove that there are no non-stationary (with respect to the Hawking vectorfield) real mode solutions to the Teukolsky equations on all $(3+1)$-dimensional subextremal Kerr-anti-de Sitter spacetimes. We further prove that stationary solutions do not exist if the black hole parameters satisfy the Hawking-Reall bound and $\left|a\sqrt{-Λ}\right|<\frac{\sqrt{3}}{20}$. We conclude with the statement…
▽ More
We prove that there are no non-stationary (with respect to the Hawking vectorfield) real mode solutions to the Teukolsky equations on all $(3+1)$-dimensional subextremal Kerr-anti-de Sitter spacetimes. We further prove that stationary solutions do not exist if the black hole parameters satisfy the Hawking-Reall bound and $\left|a\sqrt{-Λ}\right|<\frac{\sqrt{3}}{20}$. We conclude with the statement of mode stability which preludes boundedness and decay estimates for general solutions which will be proven in a separate paper. Our boundary conditions are the standard ones which follow from fixing the conformal class of the metric at infinity and lead to a coupling of the two Teukolsky equations. The proof relies on combining the Teukolsky-Starobinsky identities with the coupled boundary conditions. In the stationary case the proof exploits elliptic estimates which fail if the Hawking-Reall bound is violated. This is consistent with the superradiant instabilities expected in that regime.
△ Less
Submitted 30 September, 2022; v1 submitted 5 May, 2022;
originally announced May 2022.
-
The non-linear stability of the Schwarzschild family of black holes
Authors:
Mihalis Dafermos,
Gustav Holzegel,
Igor Rodnianski,
Martin Taylor
Abstract:
We prove the non-linear asymptotic stability of the Schwarzschild family as solutions to the Einstein vacuum equations in the exterior of the black hole region: general vacuum initial data, with no symmetry assumed, sufficiently close to Schwarzschild data evolve to a vacuum spacetime which (i) possesses a complete future null infinity $\mathcal{I}^+$ (whose past $J^-(\mathcal{I}^+)$ is moreover b…
▽ More
We prove the non-linear asymptotic stability of the Schwarzschild family as solutions to the Einstein vacuum equations in the exterior of the black hole region: general vacuum initial data, with no symmetry assumed, sufficiently close to Schwarzschild data evolve to a vacuum spacetime which (i) possesses a complete future null infinity $\mathcal{I}^+$ (whose past $J^-(\mathcal{I}^+)$ is moreover bounded by a regular future complete event horizon $\mathcal{H}^+$), (ii) remains close to Schwarzschild in its exterior, and (iii) asymptotes back to a member of the Schwarzschild family as an appropriate notion of time goes to infinity, provided that the data are themselves constrained to lie on a teleologically constructed codimension-$3$ "submanifold" of moduli space. This is the full nonlinear asymptotic stability of Schwarzschild since solutions not arising from data lying on this submanifold should by dimensional considerations approach a Kerr spacetime with rotation parameter $a\neq 0$, i.e. such solutions cannot satisfy (iii). The proof employs teleologically normalised double null gauges, is expressed entirely in physical space and makes essential use of the analysis in our previous study of the linear stability of the Kerr family around Schwarzschild [DHR], as well as techniques developed over the years to control the non-linearities of the Einstein equations. The present work, however, is entirely self-contained. In view of the recent [DHR19, TdCSR20] our approach can be applied to the full non-linear asymptotic stability of the subextremal Kerr family.
△ Less
Submitted 16 April, 2021;
originally announced April 2021.
-
A note on the wave equation on black hole spacetimes with small non-decaying first order terms
Authors:
Gustav Holzegel,
Christopher Kauffman
Abstract:
We present an elementary physical space argument to establish local integrated decay estimates for the perturbed wave equation $\Box_g φ= εβ^a \partial_a φ$ on the exterior of the Schwarzschild geometry $(\mathcal{M},g)$. Here $β$ is a regular vectorfield on $\mathcal{M}$ decaying suitably in space but not necessarily in time. The proof is formulated to cover also perturbations of the Regge--Wheel…
▽ More
We present an elementary physical space argument to establish local integrated decay estimates for the perturbed wave equation $\Box_g φ= εβ^a \partial_a φ$ on the exterior of the Schwarzschild geometry $(\mathcal{M},g)$. Here $β$ is a regular vectorfield on $\mathcal{M}$ decaying suitably in space but not necessarily in time. The proof is formulated to cover also perturbations of the Regge--Wheeler equation.
△ Less
Submitted 27 May, 2020;
originally announced May 2020.
-
Boundedness and decay for the Teukolsky equation on Kerr spacetimes I: the case $|a|\ll M$
Authors:
Mihalis Dafermos,
Gustav Holzegel,
Igor Rodnianski
Abstract:
We prove boundedness and polynomial decay statements for solutions of the spin $\pm2$ Teukolsky equation on a Kerr exterior background with parameters satisfying $|a|\ll M$. The bounds are obtained by introducing generalisations of the higher order quantities $P$ and $\underline{P}$ used in our previous work on the linear stability of Schwarzschild. The existence of these quantities in the Schwarz…
▽ More
We prove boundedness and polynomial decay statements for solutions of the spin $\pm2$ Teukolsky equation on a Kerr exterior background with parameters satisfying $|a|\ll M$. The bounds are obtained by introducing generalisations of the higher order quantities $P$ and $\underline{P}$ used in our previous work on the linear stability of Schwarzschild. The existence of these quantities in the Schwarzschild case is related to the transformation theory of Chandrasekhar. In a followup paper, we shall extend this result to the general sub-extremal range of parameters $|a|<M$. As in the Schwarzschild case, these bounds provide the first step in proving the full linear stability of the Kerr metric to gravitational perturbations.
△ Less
Submitted 21 November, 2017;
originally announced November 2017.
-
Unique continuation from infinity in asympotically Anti-de Sitter spacetimes II: Non-static boundaries
Authors:
Gustav Holzegel,
Arick Shao
Abstract:
We generalize our unique continuation results recently established for a class of linear and nonlinear wave equations $\Box_g φ+ σφ= \mathcal{G} ( φ, \partial φ)$ on asymptotically anti-de Sitter (aAdS) spacetimes to aAdS spacetimes admitting non-static boundary metrics. The new Carleman estimates established in this setting constitute an essential ingredient in proving unique continuation results…
▽ More
We generalize our unique continuation results recently established for a class of linear and nonlinear wave equations $\Box_g φ+ σφ= \mathcal{G} ( φ, \partial φ)$ on asymptotically anti-de Sitter (aAdS) spacetimes to aAdS spacetimes admitting non-static boundary metrics. The new Carleman estimates established in this setting constitute an essential ingredient in proving unique continuation results for the full nonlinear Einstein equations, which will be addressed in forthcoming papers. Key to the proof is a new geometrically adapted construction of foliations of pseudoconvex hypersurfaces near the conformal boundary.
△ Less
Submitted 28 November, 2017; v1 submitted 26 August, 2016;
originally announced August 2016.
-
Conservation laws and flux bounds for gravitational perturbations of the Schwarzschild metric
Authors:
Gustav Holzegel
Abstract:
We derive an energy conservation law for the system of gravitational perturbations on the Schwarzschild spacetime expressed in a double null gauge. The resulting identity involves only first derivatives of the metric perturbation. Exploiting the gauge invariance up to boundary terms of the fluxes that appear, we are able to establish positivity of the flux on any outgoing null hypersurface to the…
▽ More
We derive an energy conservation law for the system of gravitational perturbations on the Schwarzschild spacetime expressed in a double null gauge. The resulting identity involves only first derivatives of the metric perturbation. Exploiting the gauge invariance up to boundary terms of the fluxes that appear, we are able to establish positivity of the flux on any outgoing null hypersurface to the future of the initial data. This allows us to bound the total energy flux through any such hypersurface, including the event horizon, in terms of initial data. We similarly bound the total energy radiated to null infinity. Our estimates provide a direct approach to a weak form of stability, thereby complementing the proof of the full linear stability of the Schwarzschild solution recently obtained in [M. Dafermos, G. Holzegel and I. Rodnianski \emph{The linear stability of the Schwarzschild solution to gravitational perturbations}, arXiv:1601.06467].
△ Less
Submitted 14 February, 2016;
originally announced February 2016.
-
The linear stability of the Schwarzschild solution to gravitational perturbations
Authors:
Mihalis Dafermos,
Gustav Holzegel,
Igor Rodnianski
Abstract:
We prove in this paper the linear stability of the celebrated Schwarzschild family of black holes in general relativity: Solutions to the linearisation of the Einstein vacuum equations around a Schwarzschild metric arising from regular initial data remain globally bounded on the black hole exterior and in fact decay to a linearised Kerr metric. We express the equations in a suitable double null ga…
▽ More
We prove in this paper the linear stability of the celebrated Schwarzschild family of black holes in general relativity: Solutions to the linearisation of the Einstein vacuum equations around a Schwarzschild metric arising from regular initial data remain globally bounded on the black hole exterior and in fact decay to a linearised Kerr metric. We express the equations in a suitable double null gauge. To obtain decay, one must in fact add a residual pure gauge solution which we prove to be itself quantitatively controlled from initial data. Our result a fortiori includes decay statements for general solutions of the Teukolsky equation (satisfied by gauge-invariant null-decomposed curvature components). These latter statements are in fact deduced in the course of the proof by exploiting associated quantities shown to satisfy the Regge--Wheeler equation, for which appropriate decay can be obtained easily by adapting previous work on the linear scalar wave equation. The bounds on the rate of decay to linearised Kerr are inverse polynomial, suggesting that dispersion is sufficient to control the non-linearities of the Einstein equations in a potential future proof of nonlinear stability. This paper is self-contained and includes a physical-space derivation of the equations of linearised gravity around Schwarzschild from the full non-linear Einstein vacuum equations expressed in a double null gauge.
△ Less
Submitted 24 January, 2016;
originally announced January 2016.
-
Stable shock formation for nearly simple outgoing plane symmetric waves
Authors:
Jared Speck,
Gustav Holzegel,
Jonathan Luk,
Willie Wong
Abstract:
In an influential 1964 article, P. Lax studied $2 \times 2$ genuinely nonlinear strictly hyperbolic PDE systems (in one spatial dimension). Using the method of Riemann invariants, he showed that a large set of smooth initial data lead to bounded solutions whose first spatial derivatives blow up in finite time, a phenomenon known as wave breaking. In the present article, we study the Cauchy problem…
▽ More
In an influential 1964 article, P. Lax studied $2 \times 2$ genuinely nonlinear strictly hyperbolic PDE systems (in one spatial dimension). Using the method of Riemann invariants, he showed that a large set of smooth initial data lead to bounded solutions whose first spatial derivatives blow up in finite time, a phenomenon known as wave breaking. In the present article, we study the Cauchy problem for two classes of quasilinear wave equations in two spatial dimensions that are closely related to the systems studied by Lax. When the data have one-dimensional symmetry, Lax's methods can be applied to the wave equations to show that a large set of smooth initial data lead to wave breaking. Here we study solutions with initial data that are close, as measured by an appropriate Sobolev norm, to data belonging to a distinguished subset of Lax's data: the data corresponding to simple plane waves. Our main result is that under suitable relative smallness assumptions, the Lax-type wave breaking for simple plane waves is stable. The key point is that we allow the data perturbations to break the symmetry. Moreover, we give a detailed, constructive description of the asymptotic behavior of the solution all the way up to the first singularity, which is a shock driven by the intersection of null (characteristic) hyperplanes. We also outline how to extend our results to the compressible irrotational Euler equations. To derive our results, we use Christodoulou's framework for studying shock formation to treat a new solution regime in which wave dispersion is not present.
△ Less
Submitted 3 October, 2016; v1 submitted 6 January, 2016;
originally announced January 2016.
-
Unique continuation from infinity in asymptotically Anti-de Sitter spacetimes
Authors:
Gustav Holzegel,
Arick Shao
Abstract:
We consider the unique continuation properties of asymptotically Anti-de Sitter spacetimes by studying Klein-Gordon-type equations $\Box_g φ+ σφ= \mathcal{G} ( φ, \partial φ)$, $σ\in \mathbb{R}$, on a large class of such spacetimes. Our main result establishes that if $φ$ vanishes to sufficiently high order (depending on $σ$) on a sufficiently long time interval along the conformal boundary…
▽ More
We consider the unique continuation properties of asymptotically Anti-de Sitter spacetimes by studying Klein-Gordon-type equations $\Box_g φ+ σφ= \mathcal{G} ( φ, \partial φ)$, $σ\in \mathbb{R}$, on a large class of such spacetimes. Our main result establishes that if $φ$ vanishes to sufficiently high order (depending on $σ$) on a sufficiently long time interval along the conformal boundary $\mathcal{I}$, then the solution necessarily vanishes in a neighborhood of $\mathcal{I}$. In particular, in the $σ$-range where Dirichlet and Neumann conditions are possible on $\mathcal{I}$ for the forward problem, we prove uniqueness if both these conditions are imposed. The length of the time interval can be related to the refocusing time of null geodesics on these backgrounds and is expected to be sharp. Some global applications as well a uniqueness result for gravitational perturbations are also discussed. The proof is based on novel Carleman estimates established in this setting.
△ Less
Submitted 5 August, 2016; v1 submitted 16 August, 2015;
originally announced August 2015.
-
Asymptotic properties of linear field equations in anti-de Sitter space
Authors:
Gustav Holzegel,
Jonathan Luk,
Jacques Smulevici,
Claude Warnick
Abstract:
We study the global dynamics of the wave equation, Maxwell's equation and the linearized Bianchi equations on a fixed anti-de Sitter (AdS) background. Provided dissipative boundary conditions are imposed on the dynamical fields we prove uniform boundedness of the natural energy as well as both degenerate (near the AdS boundary) and non-degenerate integrated decay estimates. Remarkably, the non-deg…
▽ More
We study the global dynamics of the wave equation, Maxwell's equation and the linearized Bianchi equations on a fixed anti-de Sitter (AdS) background. Provided dissipative boundary conditions are imposed on the dynamical fields we prove uniform boundedness of the natural energy as well as both degenerate (near the AdS boundary) and non-degenerate integrated decay estimates. Remarkably, the non-degenerate estimates "lose a derivative". We relate this loss to a trap** phenomenon near the AdS boundary, which itself originates from the properties of (approximately) gliding rays near the boundary. Using the Gaussian beam approximation we prove that non-degenerate energy decay without loss of derivatives does not hold. As a consequence of the non-degenerate integrated decay estimates, we also obtain pointwise-in-time decay estimates for the energy. Our paper provides the key estimates for a proof of the non-linear stability of the anti-de Sitter spacetime under dissipative boundary conditions. Finally, we contrast our results with the case of reflecting boundary conditions.
△ Less
Submitted 4 September, 2019; v1 submitted 17 February, 2015;
originally announced February 2015.
-
Shock Formation in Small-Data Solutions to $3D$ Quasilinear Wave Equations: An Overview
Authors:
Gustav Holzegel,
Sergiu Klainerman,
Jared Speck,
Willie Wong
Abstract:
In his 2007 monograph, D. Christodoulou proved a remarkable result giving a detailed description of shock formation, for small $H^s$-initial conditions ($s$ sufficiently large), in solutions to the relativistic Euler equations in three space dimensions. His work provided a significant advancement over a large body of prior work concerning the long-time behavior of solutions to higher-dimensional q…
▽ More
In his 2007 monograph, D. Christodoulou proved a remarkable result giving a detailed description of shock formation, for small $H^s$-initial conditions ($s$ sufficiently large), in solutions to the relativistic Euler equations in three space dimensions. His work provided a significant advancement over a large body of prior work concerning the long-time behavior of solutions to higher-dimensional quasilinear wave equations, initiated by F. John in the mid 1970's and continued by S. Klainerman, T. Sideris, L. Hörmander, H. Lindblad, S. Alinhac, and others. Our goal in this paper is to give an overview of his result, outline its main new ideas, and place it in the context of the above mentioned earlier work. We also introduce the recent work of J. Speck, which extends Christodoulou's result to show that for two important classes of quasilinear wave equations in three space dimensions, small-data shock formation occurs precisely when the quadratic nonlinear terms fail the classic null condition.
△ Less
Submitted 23 July, 2014;
originally announced July 2014.
-
The Einstein-Klein-Gordon-AdS system for general boundary conditions
Authors:
Gustav H. Holzegel,
Claude M. Warnick
Abstract:
We construct unique local solutions for the spherically-symmetric Einstein-Klein-Gordon-AdS system subject to a large class of initial and boundary conditions including some considered in the context of the AdS-CFT correspondence. The proof relies on estimates developed for the linear wave equation by the second author and involves a careful renormalization of the dynamical variables, including a…
▽ More
We construct unique local solutions for the spherically-symmetric Einstein-Klein-Gordon-AdS system subject to a large class of initial and boundary conditions including some considered in the context of the AdS-CFT correspondence. The proof relies on estimates developed for the linear wave equation by the second author and involves a careful renormalization of the dynamical variables, including a renormalization of the well-known Hawking mass. For some of the boundary conditions considered this system is expected to exhibit rich global dynamics, including the existence of hairy black holes. The present paper furnishes a starting point for such global investigations.
△ Less
Submitted 28 July, 2014; v1 submitted 18 December, 2013;
originally announced December 2013.
-
A scattering theory construction of dynamical vacuum black holes
Authors:
Mihalis Dafermos,
Gustav Holzegel,
Igor Rodnianski
Abstract:
We construct a large class of dynamical vacuum black hole spacetimes whose exterior geometry asymptotically settles down to a fixed Schwarzschild or Kerr metric. The construction proceeds by solving a backwards scattering problem for the Einstein vacuum equations with characteristic data prescribed on the event horizon and (in the limit) at null infinity. The class admits the full "functional" deg…
▽ More
We construct a large class of dynamical vacuum black hole spacetimes whose exterior geometry asymptotically settles down to a fixed Schwarzschild or Kerr metric. The construction proceeds by solving a backwards scattering problem for the Einstein vacuum equations with characteristic data prescribed on the event horizon and (in the limit) at null infinity. The class admits the full "functional" degrees of freedom for the vacuum equations, and thus our solutions will in general possess no geometric or algebraic symmetries. It is essential, however, for the construction that the scattering data (and the resulting solution spacetime) converge to stationarity exponentially fast, in advanced and retarded time, their rate of decay intimately related to the surface gravity of the event horizon. This can be traced back to the celebrated redshift effect, which in the context of backwards evolution is seen as a blueshift.
△ Less
Submitted 3 August, 2013; v1 submitted 22 June, 2013;
originally announced June 2013.
-
Quasimodes and a Lower Bound on the Uniform Energy Decay Rate for Kerr-AdS Spacetimes
Authors:
Gustav Holzegel,
Jacques Smulevici
Abstract:
We construct quasimodes for the Klein-Gordon equation on the black hole exterior of Kerr-Anti-de Sitter (Kerr-AdS) spacetimes. Such quasi-modes are associated with time-periodic approximate solutions of the Klein Gordon equation and provide natural candidates to probe the decay of solutions on these backgrounds. They are constructed as the solutions of a semi-classical non-linear eigenvalue proble…
▽ More
We construct quasimodes for the Klein-Gordon equation on the black hole exterior of Kerr-Anti-de Sitter (Kerr-AdS) spacetimes. Such quasi-modes are associated with time-periodic approximate solutions of the Klein Gordon equation and provide natural candidates to probe the decay of solutions on these backgrounds. They are constructed as the solutions of a semi-classical non-linear eigenvalue problem arising after separation of variables, with the (inverse of the) angular momentum playing the role of the semi-classical parameter. Our construction results in exponentially small errors in the semi-classical parameter. This implies that general solutions to the Klein Gordon equation on Kerr-AdS cannot decay faster than logarithmically. The latter result completes previous work by the authors, where a logarithmic decay rate was established as an upper bound.
△ Less
Submitted 24 March, 2013;
originally announced March 2013.
-
Boundedness and growth for the massive wave equation on asymptotically anti-de Sitter black holes
Authors:
Gustav H. Holzegel,
Claude M. Warnick
Abstract:
We study the global dynamics of free massive scalar fields on general, globally stationary, asymptotically AdS black hole backgrounds with Dirichlet-, Neumann- or Robin- boundary conditions imposed on $ψ$ at infinity. This class includes the regular Kerr-AdS black holes satisfying the Hawking Reall bound $r_+^2 > |a|l$. We establish a suitable criterion for linear stability (in the sense of unifor…
▽ More
We study the global dynamics of free massive scalar fields on general, globally stationary, asymptotically AdS black hole backgrounds with Dirichlet-, Neumann- or Robin- boundary conditions imposed on $ψ$ at infinity. This class includes the regular Kerr-AdS black holes satisfying the Hawking Reall bound $r_+^2 > |a|l$. We establish a suitable criterion for linear stability (in the sense of uniform boundedness) of $ψ$ and demonstrate how the issue of stability can depend on the boundary condition prescribed. In particular, in the slowly rotating Kerr-AdS case, we obtain the existence of linear scalar hair (i.e. non-trivial stationary solutions) for suitably chosen Robin boundary conditions.
△ Less
Submitted 28 July, 2014; v1 submitted 14 September, 2012;
originally announced September 2012.
-
Decay properties of Klein-Gordon fields on Kerr-AdS spacetimes
Authors:
Gustav Holzegel,
Jacques Smulevici
Abstract:
This paper investigates the decay properties of solutions to the massive linear wave equation $\Box_g ψ+ \frac{α}{l^2} ψ=0$ for $g$ the metric of a Kerr-AdS spacetime satisfying $|a|l<r_+^2$ and $α<9/4$ satisfying the Breitenlohner Freedman bound. We prove that the non-degenerate energy of $ψ$ with respect to an appropriate foliation of spacelike slices decays like $(\log t^\star)^{-2}$. Our estim…
▽ More
This paper investigates the decay properties of solutions to the massive linear wave equation $\Box_g ψ+ \frac{α}{l^2} ψ=0$ for $g$ the metric of a Kerr-AdS spacetime satisfying $|a|l<r_+^2$ and $α<9/4$ satisfying the Breitenlohner Freedman bound. We prove that the non-degenerate energy of $ψ$ with respect to an appropriate foliation of spacelike slices decays like $(\log t^\star)^{-2}$. Our estimates are expected to be sharp from heuristic and numerical arguments in the physics literature suggesting that general solutions will only decay logarithmically. The underlying reason for the slow decay rate can be traced back to a stable trap** phenomenon for asymptotically anti de Sitter black holes which is in turn a consequence of the reflecting boundary conditions for $ψ$ at null-infinity.
△ Less
Submitted 23 March, 2013; v1 submitted 31 October, 2011;
originally announced October 2011.
-
Stability of Schwarzschild-AdS for the spherically symmetric Einstein-Klein-Gordon system
Authors:
Gustav Holzegel,
Jacques Smulevici
Abstract:
In this paper, we study the global behavior of solutions to the spherically symmetric coupled Einstein-Klein-Gordon (EKG) system in the presence of a negative cosmological constant. We prove that the Schwarzschild-AdS spacetimes (the trivial black hole solutions of the EKG system for which $φ=0$ identically) are asymptotically stable: Small perturbations of Schwarzschild-AdS initial data again lea…
▽ More
In this paper, we study the global behavior of solutions to the spherically symmetric coupled Einstein-Klein-Gordon (EKG) system in the presence of a negative cosmological constant. We prove that the Schwarzschild-AdS spacetimes (the trivial black hole solutions of the EKG system for which $φ=0$ identically) are asymptotically stable: Small perturbations of Schwarzschild-AdS initial data again lead to regular black holes, with the metric on the black hole exterior approaching a Schwarzschild-AdS spacetime. The main difficulties in the proof arise from the lack of monotonicity for the Hawking mass and the asymptotically AdS boundary conditions, which render even (part of) the orbital stability intricate. These issues are resolved in a bootstrap argument on the black hole exterior, with the redshift effect and weighted Hardy inequalities playing the fundamental role in the analysis. Both integrated decay and pointwise decay estimates are obtained.
△ Less
Submitted 18 March, 2011;
originally announced March 2011.
-
Self-gravitating Klein-Gordon fields in asymptotically Anti-de-Sitter spacetimes
Authors:
Gustav Holzegel,
Jacques Smulevici
Abstract:
We initiate the study of the spherically symmetric Einstein-Klein-Gordon system in the presence of a negative cosmological constant, a model appearing frequently in the context of high-energy physics. Due to the lack of global hyperbolicity of the solutions, the natural formulation of dynamics is that of an initial boundary value problem, with boundary conditions imposed at null infinity. We prove…
▽ More
We initiate the study of the spherically symmetric Einstein-Klein-Gordon system in the presence of a negative cosmological constant, a model appearing frequently in the context of high-energy physics. Due to the lack of global hyperbolicity of the solutions, the natural formulation of dynamics is that of an initial boundary value problem, with boundary conditions imposed at null infinity. We prove a local well-posedness statement for this system, with the time of existence of the solutions depending only on an invariant H^2-type norm measuring the size of the Klein-Gordon field on the initial data. The proof requires the introduction of a renormalized system of equations and relies crucially on r-weighted estimates for the wave equation on asymptotically AdS spacetimes. The results provide the basis for our companion paper establishing the global asymptotic stability of Schwarzschild-Anti-de-Sitter within this system.
△ Less
Submitted 31 October, 2011; v1 submitted 3 March, 2011;
originally announced March 2011.
-
Well-posedness for the massive wave equation on asymptotically anti-de Sitter spacetimes
Authors:
Gustav Holzegel
Abstract:
In this short paper, we prove a well-posedness theorem for the massive wave equation (with the mass satisfying the Breitenlohner-Freedman bound) on asymptotically anti-de Sitter spaces. The solution is constructed as a limit of solutions to an initial boundary value problem with boundary at a finite location in spacetime by finally pushing the boundary out to infinity. The solution obtained is uni…
▽ More
In this short paper, we prove a well-posedness theorem for the massive wave equation (with the mass satisfying the Breitenlohner-Freedman bound) on asymptotically anti-de Sitter spaces. The solution is constructed as a limit of solutions to an initial boundary value problem with boundary at a finite location in spacetime by finally pushing the boundary out to infinity. The solution obtained is unique within the energy class (but non-unique if the decay at infinity is weakened).
△ Less
Submitted 31 October, 2011; v1 submitted 3 March, 2011;
originally announced March 2011.
-
Ultimately Schwarzschildean Spacetimes and the Black Hole Stability Problem
Authors:
Gustav Holzegel
Abstract:
In this paper, we introduce a class of spacetimes $\left(\mathcal{M},g\right)$ which satisfy the vacuum Einstein equations and dynamically approach a Schwarzschild solution of mass $M$, a class we shall call \emph{ultimately Schwarzschildean spacetimes}. The approach is captured in terms of boundedness and decay assumptions on appropriate spacetime-norms of the Ricci-coefficients and spacetime cur…
▽ More
In this paper, we introduce a class of spacetimes $\left(\mathcal{M},g\right)$ which satisfy the vacuum Einstein equations and dynamically approach a Schwarzschild solution of mass $M$, a class we shall call \emph{ultimately Schwarzschildean spacetimes}. The approach is captured in terms of boundedness and decay assumptions on appropriate spacetime-norms of the Ricci-coefficients and spacetime curvature. Given such assumptions at the level of $k$ derivatives of the Ricci-coefficients (and hence $k-1$ derivatives of curvature), we prove boundedness and decay estimates for $k$ derivatives of \emph{curvature}. The proof employs the framework of vectorfield multipliers and commutators for the Bel-Robinson tensor, pioneered by Christodoulou-Klainerman in the context of the stability of the Minkowski space. We provide multiplier analogues capturing the essential decay mechanisms (which have been identified previously for the scalar wave equation on black hole backgrounds) for the Bianchi equations. In particular, a formulation of the redshift-effect near the horizon is obtained. Morever, we identify a certain hierarchy in the Bianchi equations, which leads to the control of strongly $r$-weighted spacetime curvature-norms near infinity. This allows to avoid the use the classical conformal Morawetz multiplier $K$, therby generalizing recent work of Dafermos and Rodnianski in the context of the wave equation. Finally, the proof requires a detailed understanding of the structure of the error-terms in the interior. This is particularly intricate in view of both the phenomenon of trapped orbits and the fact that, unlike in the stability of Minkowski space, not all curvature components decay to zero.
△ Less
Submitted 15 October, 2010;
originally announced October 2010.
-
On the massive wave equation on slowly rotating Kerr-AdS spacetimes
Authors:
Gustav Holzegel
Abstract:
The massive wave equation $\Box_g ψ- α\fracΛ{3} ψ= 0$ is studied on a fixed Kerr-anti de Sitter background $(\mathcal{M},g_{M,a,Λ})$. We first prove that in the Schwarzschild case (a=0), $ψ$ remains uniformly bounded on the black hole exterior provided that $α< {9/4}$, i.e. the Breitenlohner-Freedman bound holds. Our proof is based on vectorfield multipliers and commutators: The usual energy cur…
▽ More
The massive wave equation $\Box_g ψ- α\fracΛ{3} ψ= 0$ is studied on a fixed Kerr-anti de Sitter background $(\mathcal{M},g_{M,a,Λ})$. We first prove that in the Schwarzschild case (a=0), $ψ$ remains uniformly bounded on the black hole exterior provided that $α< {9/4}$, i.e. the Breitenlohner-Freedman bound holds. Our proof is based on vectorfield multipliers and commutators: The usual energy current arising from the timelike Killing vector field $T$ (which fails to be non-negative pointwise) is shown to be non-negative with the help of a Hardy inequality after integration over a spacelike slice. In addition to $T$, we construct a vectorfield whose energy identity captures the redshift producing good estimates close to the horizon. The argument is finally generalized to slowly rotating Kerr-AdS backgrounds. This is achieved by replacing the Killing vectorfield $T=\partial_t$ with $K=\partial_t + λ\partial_φ$ for an appropriate $λ\sim a$, which is also Killing and--in contrast to the asymptotically flat case--everywhere causal on the black hole exterior. The separability properties of the wave equation on Kerr-AdS are not used. As a consequence, the theorem also applies to spacetimes sufficiently close to the Kerr-AdS spacetime, as long as they admit a causal Killing field $K$ which is null on the horizon.
△ Less
Submitted 13 August, 2009; v1 submitted 5 February, 2009;
originally announced February 2009.
-
Stability and decay-rates for the five-dimensional Schwarzschild metric under biaxial perturbations
Authors:
G. Holzegel
Abstract:
In this paper we prove the non-linear asymptotic stability of the five-dimensional Schwarzschild metric under biaxial vacuum perturbations. This is the statement that the evolution of (SU(2) x U(1))-symmetric vacuum perturbations of initial data for the five-dimensional Schwarzschild metric finally converges in a suitable sense to a member of the Schwarzschild family. It constitutes the first re…
▽ More
In this paper we prove the non-linear asymptotic stability of the five-dimensional Schwarzschild metric under biaxial vacuum perturbations. This is the statement that the evolution of (SU(2) x U(1))-symmetric vacuum perturbations of initial data for the five-dimensional Schwarzschild metric finally converges in a suitable sense to a member of the Schwarzschild family. It constitutes the first result proving the existence of non-stationary vacuum black holes arising from asymptotically flat initial data dynamically approaching a stationary solution. In fact, we show quantitative rates of approach. The proof relies on vectorfield multiplier estimates, which are used in conjunction with a bootstrap argument to establish polynomial decay rates for the radiation on the perturbed spacetime. Despite being applied here in a five-dimensional context, the techniques are quite robust and may admit applications to various four-dimensional stability problems.
△ Less
Submitted 24 August, 2008;
originally announced August 2008.
-
Ricci Flow of Biaxial Bianchi IX Metrics
Authors:
G. Holzegel,
T. Schmelzer,
C. Warnick
Abstract:
We use the Ricci flow with surgery to study four-dimensional SU(2) x U(1)-symmetric metrics on a manifold with fixed boundary given by a squashed 3-sphere. Depending on the initial metric we show that the flow converges to either the Taub-Bolt or the Taub-NUT metric, the latter case potentially requiring surgery at some point in the evolution. The Ricci flow allows us to explore the Euclidean ac…
▽ More
We use the Ricci flow with surgery to study four-dimensional SU(2) x U(1)-symmetric metrics on a manifold with fixed boundary given by a squashed 3-sphere. Depending on the initial metric we show that the flow converges to either the Taub-Bolt or the Taub-NUT metric, the latter case potentially requiring surgery at some point in the evolution. The Ricci flow allows us to explore the Euclidean action landscape within this symmetry class. This work extends the recent work of Headrick and Wiseman to more interesting topologies.
△ Less
Submitted 12 June, 2007;
originally announced June 2007.
-
The Positive Mass and Isoperimetric Inequalities for Axisymmetric Black Holes in four and five dimensions
Authors:
G. W. Gibbons,
G. Holzegel
Abstract:
In this paper we revisit Brill's proof of positive mass for three-dimensional, time-symmetric, axisymmetric initial data and generalise his argument in various directions. In 3+1 dimensions, we include an apparent horizon in the initial data and prove the Riemannian Penrose inequality in a wide number of cases by an elementary argument. In the case of 4+1 dimensions we obtain the analogue of Bri…
▽ More
In this paper we revisit Brill's proof of positive mass for three-dimensional, time-symmetric, axisymmetric initial data and generalise his argument in various directions. In 3+1 dimensions, we include an apparent horizon in the initial data and prove the Riemannian Penrose inequality in a wide number of cases by an elementary argument. In the case of 4+1 dimensions we obtain the analogue of Brill's formula for initial data admitting a generalised form of axisymmetry. Including an apparent horizon in the initial data, the Riemannian Penrose inequality is again proved for a large class of cases. The results may have applications in numerical relativity.
△ Less
Submitted 27 June, 2006;
originally announced June 2006.
-
A Note on the Instability of Lorentzian Taub-NUT-Space
Authors:
Gustav Holzegel
Abstract:
I show that there are no SU(2)-invariant (time-dependent) tensorial perturbations of Lorentzian Taub-NUT space. It follows that the spacetime is unstable at the linear level against generic perturbations. I speculate that this fact is responsible for so far unsuccessful attempts to define a sensible thermodynamics for NUT-charged spacetimes.
I show that there are no SU(2)-invariant (time-dependent) tensorial perturbations of Lorentzian Taub-NUT space. It follows that the spacetime is unstable at the linear level against generic perturbations. I speculate that this fact is responsible for so far unsuccessful attempts to define a sensible thermodynamics for NUT-charged spacetimes.
△ Less
Submitted 13 February, 2006;
originally announced February 2006.
-
On the nonlinear stability of higher-dimensional triaxial Bianchi IX black holes
Authors:
Mihalis Dafermos,
Gustav Holzegel
Abstract:
In this paper, we prove that the 5-dimensional Schwarzschild-Tangherlini solution of the Einstein vacuum equations is orbitally stable (in the fully non-linear theory) with respect to vacuum perturbations of initial data preserving triaxial Bianchi IX symmetry. More generally, we prove that 5-dimensional vacuum spacetimes develo** from suitable asymptotically flat triaxial Bianchi IX symmetric…
▽ More
In this paper, we prove that the 5-dimensional Schwarzschild-Tangherlini solution of the Einstein vacuum equations is orbitally stable (in the fully non-linear theory) with respect to vacuum perturbations of initial data preserving triaxial Bianchi IX symmetry. More generally, we prove that 5-dimensional vacuum spacetimes develo** from suitable asymptotically flat triaxial Bianchi IX symmetric data and containing a trapped or marginally trapped homogeneous 3-surface possess a complete null infinity whose past is bounded to the future by a regular event horizon, whose cross-sectional volume in turn satisfies a Penrose inequality, relating it to the final Bondi mass. In particular, the results of this paper give the first examples of vacuum black holes which are not stationary exact solutions.
△ Less
Submitted 21 December, 2005; v1 submitted 10 October, 2005;
originally announced October 2005.
-
Corvino's construction using Brill waves
Authors:
Domenico Giulini,
Gustav Holzegel
Abstract:
For two-black-hole time-symmetric initial data we consider the Corvino construction of gluing an exact Schwarzschild end. We propose to do this by using Brill waves. We address the question of whether this method can be used to reduce the overall energy, which seems to relate to the question of whether it can reduce the amount of `spurious' gravitational radiation. We find a positive answer at f…
▽ More
For two-black-hole time-symmetric initial data we consider the Corvino construction of gluing an exact Schwarzschild end. We propose to do this by using Brill waves. We address the question of whether this method can be used to reduce the overall energy, which seems to relate to the question of whether it can reduce the amount of `spurious' gravitational radiation. We find a positive answer at first order in the inverse gluing radius.
△ Less
Submitted 17 August, 2005;
originally announced August 2005.