-
Global existence for systems of nonlinear wave equations with bounded, stable asymptotic systems
Authors:
Joseph Keir
Abstract:
Some systems of nonlinear wave equations admit global solutions for all sufficiently small initial data, while others do not. The (classical) null condition guarantees that such a result holds, but it is too strong to capture certain systems -- most famously the Einstein equations -- which nevertheless admit global solutions for small initial data. The weak null condition has been proposed as a su…
▽ More
Some systems of nonlinear wave equations admit global solutions for all sufficiently small initial data, while others do not. The (classical) null condition guarantees that such a result holds, but it is too strong to capture certain systems -- most famously the Einstein equations -- which nevertheless admit global solutions for small initial data. The weak null condition has been proposed as a sufficient condition for such a result to hold; it takes the form of a condition on a related set of nonlinear ODEs known as the "asymptotic system". Previous results in this direction have required certain structural conditions on the asymptotic system in addition to the weak null condition. In this work we show that, if the solutions to the asymptotic system are bounded (given small initial data), and, in addition, if these solutions are stable against rapidly decaying perturbations, then the corresponding system of nonlinear wave equations admits global solutions for all sufficiently small initial data. This avoids any direct assumptions on the structure of the nonlinear terms. We also give an example of a class of systems obeying this condition but not obeying previously identified structural conditions. For this class the asymptotic system arises as a generalisation of the "Euler equations" for rigid body motion, associated with a left-invariant Hamiltonian flow on a finite dimensional Lie group. This work relies heavily on the author's previous work, "The weak null condition and global existence using the p-weighted energy method".
△ Less
Submitted 4 June, 2019;
originally announced June 2019.
-
Evanescent ergosurface instability
Authors:
Joseph Keir
Abstract:
Some exotic compact objects possess evanescent ergosurfaces: timelike submanifolds on which a Killing vector field, which is timelike everywhere else, becomes null. We show that any manifold possessing an evanescent ergosurface but no event horizon exhibits a linear instability of a peculiar kind: either there are solutions to the linear wave equation which concentrate a finite amount of energy in…
▽ More
Some exotic compact objects possess evanescent ergosurfaces: timelike submanifolds on which a Killing vector field, which is timelike everywhere else, becomes null. We show that any manifold possessing an evanescent ergosurface but no event horizon exhibits a linear instability of a peculiar kind: either there are solutions to the linear wave equation which concentrate a finite amount of energy into an arbitrarily small spatial region, or the energy of waves measured by a stationary family of observers can be amplified by an arbitrarily large amount. In certain circumstances we can rule out the first type of instability. We also provide a generalisation to asymptotically Kaluza-Klein manifolds. This instability bears some similarity with the "ergoregion instability" of Friedman, and we use many of the results from the recent proof of this instability by Moschidis.
△ Less
Submitted 27 August, 2019; v1 submitted 6 October, 2018;
originally announced October 2018.
-
The weak null condition and global existence using the p-weighted energy method
Authors:
Joseph Keir
Abstract:
We prove global existence for solutions arising from small initial data for a large class of quasilinear wave equations satisfying the `weak null condition' of Lindblad and Rodnianski, significantly enlarging upon the class of equations for which global existence is known. In addition to the usual weak null condition, we require a certain hierarchical structure in the semilinear terms. Included in…
▽ More
We prove global existence for solutions arising from small initial data for a large class of quasilinear wave equations satisfying the `weak null condition' of Lindblad and Rodnianski, significantly enlarging upon the class of equations for which global existence is known. In addition to the usual weak null condition, we require a certain hierarchical structure in the semilinear terms. Included in this class are the Einstein equations in harmonic coordinates, so a special case of our results is a new proof of the stability of Minkowski space. Our proof also applies to the coupled Einstein-Maxwell system in harmonic coordinates and Lorenz gauge, as well as to various model scalar wave equations which do not satisfy the null condition. Our proof also applies to the Einstein(-Maxwell) equations if, after writing the equations as a set of nonlinear wave equations, we then `forget' about the gauge conditions. The methods we use allow us to treat initial data which only has a small `degenerate energy', involving a weight that degenerates at null infinity, so the usual (unweighted) energy might be unbounded. We also demonstrate a connection between the weak null condition and geometric shock formation, showing that equations satisfying the weak null condition can exhibit `shock formation at infinity', of which we provide an explicit example. The methods that we use are very robust, including a generalisation of the p-weighted energy method of Dafermos and Rodnianski, adapted to the dynamic geometry. This means that our proof applies in a wide range of situations, including those in which the metric remains close to, but never approaches the flat metric in some spatially bounded domain, and those in which the `geometric' null infinity and the `background' null infinity differ dramatically, for example, when the solution exhibits shock formation at null infinity.
△ Less
Submitted 30 September, 2018; v1 submitted 29 August, 2018;
originally announced August 2018.
-
Wave propagation on microstate geometries
Authors:
Joseph Keir
Abstract:
Supersymmetric microstate geometries were recently conjectured to be nonlinearly unstable due to numerical and heuristic evidence, based on the existence of very slowly decaying solutions to the linear wave equation on these backgrounds. In this paper, we give a thorough mathematical treatment of the linear wave equation on both two and three charge supersymmetric microstate geometries, finding a…
▽ More
Supersymmetric microstate geometries were recently conjectured to be nonlinearly unstable due to numerical and heuristic evidence, based on the existence of very slowly decaying solutions to the linear wave equation on these backgrounds. In this paper, we give a thorough mathematical treatment of the linear wave equation on both two and three charge supersymmetric microstate geometries, finding a number of surprising results. In both cases we prove that solutions to the wave equation have uniformly bounded local energy, despite the fact that three charge microstates possess an ergoregion; these geometries therefore avoid Friedman's "ergosphere instability". In fact, in the three charge case we are able to construct solutions to the wave equation with local energy that neither grows nor decays, although this data must have nontrivial dependence on the Kaluza-Klein coordinate. In the two charge case we construct quasimodes and use these to bound the uniform decay rate, showing that the only possible uniform decay statements on these backgrounds have very slow decay rates. We find that these decay rates are sub-logarithmic, verifying the numerical results of Eperon et al. The same construction can be made in the three charge case, and in both cases the data for the quasimodes can be chosen to have trivial dependence on the Kaluza-Klein coordinates.
△ Less
Submitted 12 December, 2019; v1 submitted 6 September, 2016;
originally announced September 2016.
-
Slowly Decaying Waves on Spherically Symmetric Spacetimes and an Instability of Ultracompact Neutron Stars
Authors:
Joseph Keir
Abstract:
We prove that, in a class of spherically symmetric spacetimes exhibiting stable trapping of null geodesics, linear waves cannot (uniformly) decay faster than logarithmically. When these linear waves are treated as a model for nonlinear perturbations, this slow decay is highly suggestive of nonlinear instability. We also prove that, in a large class of asymptotically flat, spherically symmetric spa…
▽ More
We prove that, in a class of spherically symmetric spacetimes exhibiting stable trapping of null geodesics, linear waves cannot (uniformly) decay faster than logarithmically. When these linear waves are treated as a model for nonlinear perturbations, this slow decay is highly suggestive of nonlinear instability. We also prove that, in a large class of asymptotically flat, spherically symmetric spacetimes, logarithmic decay actually holds as a uniform upper bound. In the presence of stable trapping, this result is therefore the best one can obtain. In addition, we provide an application of these results to ultracompact neutron stars, suggesting that all stars with r < 3M might be unstable.
△ Less
Submitted 7 September, 2016; v1 submitted 28 April, 2014;
originally announced April 2014.
-
Stability, Instability, Canonical Energy and Charged Black Holes
Authors:
Joe Keir
Abstract:
We use the canonical energy method of Hollands and Wald to study the stability properties of asymptotically flat, stationary solutions to a very general class of theories, consisting of a set of coupled scalar fields and p-form gauge fields, minimally coupled to gravity. We find that, provided certain very weak assumptions are made on the coupling coefficients, the canonical energy method can be e…
▽ More
We use the canonical energy method of Hollands and Wald to study the stability properties of asymptotically flat, stationary solutions to a very general class of theories, consisting of a set of coupled scalar fields and p-form gauge fields, minimally coupled to gravity. We find that, provided certain very weak assumptions are made on the coupling coefficients, the canonical energy method can be extended to this class of theories. In particular, we construct a quadratic form E on initial data perturbations, with the properties that E > 0 on all perturbations indicates stability, while E < 0 on some perturbation indicates instability. Furthermore, we show that the conditions needed for the existence of E allow for a stable definition of asymptotic flatness. Finally, we extend the proof of the Gubser-Mitra conjecture, given by Hollands and Wald, to this class of theories. In particular, this shows that for sufficiently extended, charged black brane solutions to such theories, thermodynamic instability implies dynamical instability.
△ Less
Submitted 25 June, 2013;
originally announced June 2013.
