-
On the non-existence of trapped surfaces under low-regularity bounds
Authors:
Jonathan Luk,
Georgios Moschidis
Abstract:
The emergence of trapped surfaces in solutions to the Einstein field equations is intimately tied to the well-posedness properties of the corresponding Cauchy problem in the low regularity regime. In this paper, we study the question of existence of trapped surfaces already at the level of the initial hypersurface when the scale invariant size of the Cauchy data is assumed to be bounded. Our main…
▽ More
The emergence of trapped surfaces in solutions to the Einstein field equations is intimately tied to the well-posedness properties of the corresponding Cauchy problem in the low regularity regime. In this paper, we study the question of existence of trapped surfaces already at the level of the initial hypersurface when the scale invariant size of the Cauchy data is assumed to be bounded. Our main theorem states that no trapped surfaces can exist initially when the Cauchy data are close to the data induced on a spacelike hypersurface of Minkowski spacetime (not necessarily a flat hyperplane) in the Besov $B^{3/2}_{2,1}$ norm. We also discuss the question of extending the above result to the case when merely smallness in $H^{3/2}$ is assumed.
△ Less
Submitted 18 June, 2024; v1 submitted 20 April, 2022;
originally announced April 2022.
-
The characteristic initial-boundary value problem for the Einstein--massless Vlasov system in spherical symmetry
Authors:
Georgios Moschidis
Abstract:
In this paper, we initiate the study of the asymptotically AdS initial-boundary value problem for the Einstein-massless Vlasov system with $Λ<0$ in spherical symmetry. We will establish the existence and uniqueness of a maximal future development for the characteristic initial-boundary value problem in the case when smooth initial data are prescribed on a future light cone $\mathcal{C}^{+}$ emanat…
▽ More
In this paper, we initiate the study of the asymptotically AdS initial-boundary value problem for the Einstein-massless Vlasov system with $Λ<0$ in spherical symmetry. We will establish the existence and uniqueness of a maximal future development for the characteristic initial-boundary value problem in the case when smooth initial data are prescribed on a future light cone $\mathcal{C}^{+}$ emanating from a point at $\{r=0\}$ and a reflecting boundary condition is imposed on conformal infinity $\mathcal{I}$. We will then prove a number of continuation criteria for smooth solutions of the spherically symmetric Einstein-massless Vlasov system, under the condition that the ratio $2m/r$ remains small in a neighborhood of $\{r=0\}$. Finally, we will establish a Cauchy stability statement for Anti-de Sitter spacetime as a solution of the spherically symmetric Einstein-massless Vlasov system under initial perturbations which are small only with respect to a low regularity, scale invariant norm $||\cdot||$. This result will imply, in particular, a long time of existence statement for $||\cdot||$-small initial data.
This paper provides the necessary tools for addressing the AdS instability conjecture in the setting of the spherically symmetric Einstein--massless Vlasov system, a task which is carried out in our companion paper. However, the results of this paper are also of independent interest.
△ Less
Submitted 11 December, 2018;
originally announced December 2018.
-
A proof of the instability of AdS for the Einstein--massless Vlasov system
Authors:
Georgios Moschidis
Abstract:
In recent years, the AdS instability conjecture, put forward by Dafermos-Holzegel in 2006, has attracted a substantial amount of numerical and heuristic studies. Following the pioneering work of Bizon-Rostworowski, research efforts have been mainly focused on the study of the spherically symmetric Einstein-scalar field system. The first rigorous proof of the instability of AdS in the simplest sphe…
▽ More
In recent years, the AdS instability conjecture, put forward by Dafermos-Holzegel in 2006, has attracted a substantial amount of numerical and heuristic studies. Following the pioneering work of Bizon-Rostworowski, research efforts have been mainly focused on the study of the spherically symmetric Einstein-scalar field system. The first rigorous proof of the instability of AdS in the simplest spherically symmetric setting, namely for the Einstein-null dust system, was obtained in [G. Moschidis, A proof of the instability of AdS for the Einstein-null dust system with an inner mirror, 2017, arXiv:1704.08681]. In that work, the evolution was restricted to the exterior of an inner mirror placed at $r=r_{0}>0$, in order to circumvent the trivial break down of the Einstein-null dust system occurring at $r=0$; in that setting, additional considerations necessitated $r_{0}$ to shrink to $0$ with the size of the initial perturbation.
In this paper, we establish the instability of AdS for the Einstein-massless Vlasov system in spherical symmetry. This will be the first proof of the AdS instability conjecture for an Einstein--matter system which is well-posed for regular initial data in the standard sense, without the addition of an inner mirror. New difficulties associated with the Einstein-massless Vlasov system (such as the need for control on the paths of non-radial geodesics in a large curvature regime) force us to develop a strategy of proof which is fundamentally different from the one employed in the case of the Einstein--null dust system, albeit still based on the interaction of beams of matter in physical space.
△ Less
Submitted 11 December, 2018;
originally announced December 2018.
-
The Einstein--null dust system in spherical symmetry with an inner mirror: structure of the maximal development and Cauchy stability
Authors:
Georgios Moschidis
Abstract:
In this paper, we study the evolution of asymptotically AdS initial data for the spherically symmetric Einstein--massless Vlasov system for $Λ<0$, with reflecting boundary conditions imposed on timelike infinity $\mathcal{I}$, in the case when the Vlasov field is supported only on radial geodesics. This system is equivalent to the spherically symmetric Einstein--null dust system, allowing for both…
▽ More
In this paper, we study the evolution of asymptotically AdS initial data for the spherically symmetric Einstein--massless Vlasov system for $Λ<0$, with reflecting boundary conditions imposed on timelike infinity $\mathcal{I}$, in the case when the Vlasov field is supported only on radial geodesics. This system is equivalent to the spherically symmetric Einstein--null dust system, allowing for both ingoing and outgoing dust. In general, solutions to this system break down in finite time (independent of the size of the initial data); we highlight this fact by showing that, at the first point where the ingoing dust reaches the axis of symmetry, solutions become $C^{0}$ inextendible, although the spacetime metric remains regular up to that point.
One way to overcome this trivial obstacle to well-posedness is to place an inner mirror on a timelike hypersurface of the form $\{r=r_{0}\}$, $r_{0}>0$, and study the evolution on the exterior domain $\{r\ge r_{0}\}$. In this setting, we prove the existence and uniqueness of maximal developments for general smooth and asymptotically AdS initial data sets, and study the basic geometric properties of these developments. Furthermore, we establish the well-posedness and Cauchy stabilty of solutions with respect to a rough initial data norm, measuring the concentration of energy at scales proportional to the mirror radius $r_{0}$.
The above well-posedness and Cauchy stability estimates are used in our companion paper for the proof of the AdS instability conjecture for the Einstein--null dust system. However, the results of the present paper might also be of independent interest.
△ Less
Submitted 27 April, 2017;
originally announced April 2017.
-
A proof of the instability of AdS for the Einstein--null dust system with an inner mirror
Authors:
Georgios Moschidis
Abstract:
In 2006, Dafermos and Holzegel formulated the so-called AdS instability conjecture, stating that there exist arbitrarily small perturbations to AdS initial data which, under evolution by the Einstein vacuum equations for $Λ<0$ with reflecting boundary conditions on conformal infinity, lead to the formation of black holes. The numerical study of this conjecture in the simpler setting of the spheric…
▽ More
In 2006, Dafermos and Holzegel formulated the so-called AdS instability conjecture, stating that there exist arbitrarily small perturbations to AdS initial data which, under evolution by the Einstein vacuum equations for $Λ<0$ with reflecting boundary conditions on conformal infinity, lead to the formation of black holes. The numerical study of this conjecture in the simpler setting of the spherically symmetric Einstein--scalar field system was initiated by Bizon and Rostworowski, followed by a vast number of numerical and heuristic works by several authors.
In this paper, we provide the first rigorous proof of the AdS instability conjecture in the simplest possible setting, namely for the spherically symmetric Einstein--massless Vlasov system, in the case when the Vlasov field is moreover supported only on radial geodesics. This system is equivalent to the Einstein--null dust system, allowing for both ingoing and outgoing dust. In order to overcome the break down of this system occuring once the null dust reaches the centre $r=0$, we place an inner mirror at $r=r_{0}>0$ and study the evolution of this system on the exterior domain $\{r\ge r_{0}\}$. The structure of the maximal development and the Cauchy stability properties of general initial data in this setting are studied in our companion paper.
The statement of the main theorem is as follows: We construct a family of mirror radii $r_{0ε}>0$ and initial data $\mathcal{S}_ε$, $ε\in(0,1]$, converging to the AdS initial data in a suitable norm, such that, for any $ε>0$, the maximal development $(\mathcal{M}_ε,g_ε)$ of $\mathcal{S}_ε$ contains a black hole region. Our proof is based on purely physical space arguments.
△ Less
Submitted 27 April, 2017;
originally announced April 2017.
-
Superradiant instabilities for short-range non-negative potentials on Kerr spacetimes and applications
Authors:
Georgios Moschidis
Abstract:
The wave equation $\square_{g_{M,a}}ψ=0$ on subextremal Kerr spacetimes $(\mathcal{M}_{M,a},g_{M,a})$, $0<|a|<M$, does not admit real mode solutions, as was established by Shlapentokh-Rothman. In this paper, we show that the absence of real modes does not persist under the addition of an arbitrary short-range non-negative potential $V$ to the wave equation or under changes of the metric $g_{M,a}$…
▽ More
The wave equation $\square_{g_{M,a}}ψ=0$ on subextremal Kerr spacetimes $(\mathcal{M}_{M,a},g_{M,a})$, $0<|a|<M$, does not admit real mode solutions, as was established by Shlapentokh-Rothman. In this paper, we show that the absence of real modes does not persist under the addition of an arbitrary short-range non-negative potential $V$ to the wave equation or under changes of the metric $g_{M,a}$ in the far away region of $\mathcal{M}_{M,a}$ (retaining the causality of $T$ there).
In particular, we first establish, for any $0<|a|<M$, the existence of real mode solutions $ψ$ to equation $\square_{g_{M,a}}ψ-Vψ=0$, for a suitably chosen time-independent real potential $V$ with compact support in space, satisfying $V\ge0$. Exponentially growing modes are also obtained after perturbing the potential $V$. Then, as an application of the above result, we construct a family of spacetimes $(\mathcal{M}_{M,a},g_{M,a}^{(def)})$ which are compact in space perturbations of $(\mathcal{M}_{M,a},g_{M,a})$, have the same symmetries as $(\mathcal{M}_{M,a},g_{M,a})$ and moreover admit real and exponentially growing modes. These spacetimes contain stably trapped null geodesics, but we also construct a more complicated family of spacetimes with normally hyperbolic trapped set, admitting real and exponentially growing modes, at the expense of having conic asymptotics.
The above results are in contrast with the case of stationary asymptotically flat (or conic) spacetimes $(\mathcal{M},g)$ with a globally timelike Killing field $T$, where real modes for equation $\square_{g}ψ-Vψ=0$ are always absent, giving a useful zero-frequency continuity criterion for showing stability for a smooth family of equations $\square_{g}ψ-V_λψ=0$, with $λ\in[0,1]$ and $V_{0}=0$. We show explicitly that this criterion fails on Kerr spacetime.
△ Less
Submitted 5 August, 2016;
originally announced August 2016.
-
A proof of Friedman's ergosphere instability for scalar waves
Authors:
Georgios Moschidis
Abstract:
Let $(\mathcal{M}^{3+1},g)$ be a real analytic, stationary and asymptotically flat spacetime with a non-empty ergoregion $\mathscr{E}$ and no future event horizon $\mathcal{H}^{+}$. On such spacetimes, Friedman provided a heuristic argument that the energy of certain solutions $φ$ of $\square_{g}φ=0$ grows to $+\infty$ as time increases. In this paper, we provide a rigorous proof of Friedman's ins…
▽ More
Let $(\mathcal{M}^{3+1},g)$ be a real analytic, stationary and asymptotically flat spacetime with a non-empty ergoregion $\mathscr{E}$ and no future event horizon $\mathcal{H}^{+}$. On such spacetimes, Friedman provided a heuristic argument that the energy of certain solutions $φ$ of $\square_{g}φ=0$ grows to $+\infty$ as time increases. In this paper, we provide a rigorous proof of Friedman's instability. Our setting is, in fact, more general. We consider smooth spacetimes $(\mathcal{M}^{d+1},g)$, for any $d\ge2$, not necessarily globally real analytic. We impose only a unique continuation condition for the wave equation across the boundary $\partial\mathscr{E}$ of $\mathscr{E}$ on a small neighborhood of a point $p\in\partial\mathscr{E}$. This condition always holds if $(\mathcal{M},g)$ is analytic in that neighborhood of $p$, but it can also be inferred in the case when $(\mathcal{M},g)$ possesses a second Killing field $Φ$ such that the span of $Φ$ and the stationary Killing field $T$ is timelike on $\partial\mathscr{E}$. We also allow the spacetimes $(\mathcal{M},g)$ under consideration to possess a (possibly empty) future event horizon $\mathcal{H}^{+}$, such that, however, $\mathcal{H}^{+}\cap\mathscr{E}=\emptyset$ (excluding, thus, the Kerr exterior family). As an application of our theorem, we infer an instability result for the acoustical wave equation on the hydrodynamic vortex, a phenomenon first investigated numerically by Oliveira, Cardoso and Crispino. Furthermore, as a side benefit of our proof, we provide a derivation, based entirely on the vector field method, of a Carleman-type estimate on the exterior of the ergoregion for a general class of stationary and asymptotically flat spacetimes.
△ Less
Submitted 5 August, 2016;
originally announced August 2016.
-
Logarithmic local energy decay for scalar waves on a general class of asymptotically flat spacetimes
Authors:
Georgios Moschidis
Abstract:
This paper establishes that on the domain of outer communications of a general class of stationary and asymptotically flat Lorentzian manifolds of dimension $d+1$, $d\ge3$, the local energy of solutions to the scalar wave equation $\square_{g}ψ=0$ decays at least with an inverse logarithmic rate. This class of Lorentzian manifolds includes (non-extremal) black hole spacetimes with no restriction o…
▽ More
This paper establishes that on the domain of outer communications of a general class of stationary and asymptotically flat Lorentzian manifolds of dimension $d+1$, $d\ge3$, the local energy of solutions to the scalar wave equation $\square_{g}ψ=0$ decays at least with an inverse logarithmic rate. This class of Lorentzian manifolds includes (non-extremal) black hole spacetimes with no restriction on the nature of the trapped set. Spacetimes in this class are moreover allowed to have a small ergoregion but are required to satisfy an energy boundedness statement. Without making further assumptions, this logarithmic decay rate is shown to be sharp. Our results can be viewed as a generalisation of a result of Burq, dealing with the case of the wave equation on flat space outside compact obstacles, and results of Rodnianski--Tao for asymptotically conic product Lorentzian manifolds. The proof will bridge ideas of Rodnianski--Tao with techniques developed in the black hole setting by Dafermos--Rodnianski. As a soft corollary of our results, we will infer an asymptotic completeness statement for the wave equation on the spacetimes considered, in the case where no ergoregion is present.
△ Less
Submitted 28 September, 2015;
originally announced September 2015.
-
The $r^{p}$-weighted energy method of Dafermos and Rodnianski in general asymptotically flat spacetimes and applications
Authors:
Georgios Moschidis
Abstract:
In [M. Dafermos and I. Rodnianski, A new physical-space approach to decay for the wave equation with applications to black hole spacetimes, in XVIth International Congress on Mathematical Physics, Pavel Exner ed., Prague 2009 pp. 421-433, 2009, arXiv:0910.4957], Dafermos and Rodnianski presented a novel approach to establish uniform decay rates for solutions $φ$ to the scalar wave equation…
▽ More
In [M. Dafermos and I. Rodnianski, A new physical-space approach to decay for the wave equation with applications to black hole spacetimes, in XVIth International Congress on Mathematical Physics, Pavel Exner ed., Prague 2009 pp. 421-433, 2009, arXiv:0910.4957], Dafermos and Rodnianski presented a novel approach to establish uniform decay rates for solutions $φ$ to the scalar wave equation $\square_{g}φ=0$ on Minkowski, Schwarzschild and other asymptotically flat backgrounds. This paper generalises the methods and results of the above paper to a broad class of asymptotically flat spacetimes $(\mathcal{M},g)$, including Kerr spacetimes in the full subextremal range $|a|<M$, but also radiating spacetimes with no exact symmetries in general dimension $d+1$, $d\ge3$. As a soft corollary, it is shown that the Friedlander radiation field for $φ$ is well defined on future null infinity. Moreover, polynomial decay rates are established for $φ$, provided that an integrated local energy decay statement (possibly with a finite loss of derivatives) holds and the near region of $(\mathcal{M},g)$ satisfies some mild geometric conditions. The latter conditions allow for $(\mathcal{M},g)$ to be the exterior of a black hole spacetime with a non-degenerate event horizon (having possibly complicated topology) or the exterior of a compact moving obstacle in an ambient globally hyperbolic spacetime satisfying suitable geometric conditions.
△ Less
Submitted 28 September, 2015;
originally announced September 2015.
