-
High-frequency solutions to the Einstein equations
Authors:
Cécile Huneau,
Jonathan Luk
Abstract:
We review recent mathematical results concerning the high-frequency solutions to the Einstein vacuum equations and the limits of these solutions. In particular, we focus on two conjectures of Burnett, which attempt to give an exact characterization of high-frequency limits of vacuum spacetimes as solutions to the Einstein-massless Vlasov system. Some open problems and future directions are discuss…
▽ More
We review recent mathematical results concerning the high-frequency solutions to the Einstein vacuum equations and the limits of these solutions. In particular, we focus on two conjectures of Burnett, which attempt to give an exact characterization of high-frequency limits of vacuum spacetimes as solutions to the Einstein-massless Vlasov system. Some open problems and future directions are discussed.
△ Less
Submitted 11 April, 2024;
originally announced April 2024.
-
Late time tail of waves on dynamic asymptotically flat spacetimes of odd space dimensions
Authors:
Jonathan Luk,
Sung-Jin Oh
Abstract:
We introduce a general method for understanding the late time tail for solutions to wave equations on asymptotically flat spacetimes with odd space dimensions. In particular, for a large class of equations, we prove that the precise late time tail is determined by the limits of higher radiation field at future null infinity.
In the setting of stationary linear equations, we recover and generaliz…
▽ More
We introduce a general method for understanding the late time tail for solutions to wave equations on asymptotically flat spacetimes with odd space dimensions. In particular, for a large class of equations, we prove that the precise late time tail is determined by the limits of higher radiation field at future null infinity.
In the setting of stationary linear equations, we recover and generalize the Price law decay rates. In particular, in addition to reproving known results on $(3+1)$-dimensional black holes, this allows one to obtain the sharp decay rate for the wave equation on higher dimensional black hole spacetimes, which exhibits an anomalous rate due to subtle cancellations. More interesting, our method goes beyond the stationary linear case and applies to both equations on dynamical background and nonlinear equations. In this case, our results can be used to show that in general there is a correction to the Price law rates.
△ Less
Submitted 2 April, 2024;
originally announced April 2024.
-
Burnett's conjecture in generalized wave coordinates
Authors:
Cécile Huneau,
Jonathan Luk
Abstract:
We prove Burnett's conjecture in general relativity when the metrics satisfy a generalized wave coordinate condition, i.e., suppose $\{g_n\}_{n=1}^\infty$ is a sequence of Lorentzian metrics (in arbitrary dimensions $d \geq 3$) satisfying a generalized wave coordinate condition and such that $g_n\to g$ in a suitably weak and "high-frequency" manner, then the limit metric $g$ satisfies the Einstein…
▽ More
We prove Burnett's conjecture in general relativity when the metrics satisfy a generalized wave coordinate condition, i.e., suppose $\{g_n\}_{n=1}^\infty$ is a sequence of Lorentzian metrics (in arbitrary dimensions $d \geq 3$) satisfying a generalized wave coordinate condition and such that $g_n\to g$ in a suitably weak and "high-frequency" manner, then the limit metric $g$ satisfies the Einstein--massless Vlasov system. Moreover, we show that the Vlasov field for the limiting metric can be taken to be a suitable microlocal defect measure corresponding to the convergence. The proof uses a compensation phenomenon based on the linear and nonlinear structure of the Einstein equations.
△ Less
Submitted 6 March, 2024;
originally announced March 2024.
-
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.
-
A scattering theory approach to Cauchy horizon instability and applications to mass inflation
Authors:
Jonathan Luk,
Sung-Jin Oh,
Yakov Shlapentokh-Rothman
Abstract:
Motivated by the strong cosmic censorship conjecture, we study the linear scalar wave equation in the interior of subextremal strictly charged Reissner-Nordström black holes by analyzing a suitably-defined "scattering map" at $0$ frequency. The method can already be demonstrated in the case of spherically symmetric scalar waves on Reissner-Nordström: we show that assuming suitable ($L^2$-averaged)…
▽ More
Motivated by the strong cosmic censorship conjecture, we study the linear scalar wave equation in the interior of subextremal strictly charged Reissner-Nordström black holes by analyzing a suitably-defined "scattering map" at $0$ frequency. The method can already be demonstrated in the case of spherically symmetric scalar waves on Reissner-Nordström: we show that assuming suitable ($L^2$-averaged) upper and lower bounds on the event horizon, one can prove ($L^2$-averaged) polynomial lower bound for the solution
(1) on any radial null hypersurface transversally intersecting the Cauchy horizon, and
(2) along the Cauchy horizon towards timelike infinity.
Taken together with known results regarding solutions to the wave equation in the exterior, (1) above in particular provides yet another proof of the linear instability of the Reissner-Nordström Cauchy horizon. As an application of (2) above, we prove a conditional mass inflation result for a nonlinear system, namely, the Einstein-Maxwell-(real)-scalar field system in spherical symmetry. For this model, it is known that for a generic class of Cauchy data $\mathcal G$, the maximal globally hyperbolic future developments are $C^2$-future-inextendible. We prove that if a (conjectural) improved decay result holds in the exterior region, then for the maximal globally hyperbolic developments arising from initial data in $\mathcal G$, the Hawking mass blows up identically on the Cauchy horizon.
△ Less
Submitted 16 June, 2022; v1 submitted 28 January, 2022;
originally announced January 2022.
-
Global nonlinear stability of large dispersive solutions to the Einstein equations
Authors:
Jonathan Luk,
Sung-Jin Oh
Abstract:
We extend the monumental result of Christodoulou-Klainerman on the global nonlinear stability of the Minkowski spacetime to the global nonlinear stability of a class of large dispersive spacetimes. More precisely, we show that any regular future causally geodesically complete, asymptotically flat solution to the Einstein-scalar field system which approaches the Minkowski spacetime sufficiently fas…
▽ More
We extend the monumental result of Christodoulou-Klainerman on the global nonlinear stability of the Minkowski spacetime to the global nonlinear stability of a class of large dispersive spacetimes. More precisely, we show that any regular future causally geodesically complete, asymptotically flat solution to the Einstein-scalar field system which approaches the Minkowski spacetime sufficiently fast for large times is future globally nonlinearly stable. Combining our main theorem with results of Luk-Oh, Luk-Oh-Yang and Kilgore, we prove that a class of large data spherically symmetric dispersive solutions to the Einstein-scalar field system are globally nonlinearly stable with respect to small non-spherically symmetric perturbations. This in particular gives the first construction of an open set of large asymptotically flat initial data for which the solutions to the Einstein-scalar field system are future causally geodesically complete.
△ Less
Submitted 13 December, 2021; v1 submitted 30 August, 2021;
originally announced August 2021.
-
Nonlinear interaction of three impulsive gravitational waves II: the wave estimates
Authors:
Jonathan Luk,
Maxime Van de Moortel
Abstract:
This is the second and last paper of a series aimed at solving the local Cauchy problem for polarized $\mathbb U(1)$ symmetric solutions to the Einstein vacuum equations featuring the nonlinear interaction of three small amplitude impulsive gravitational waves. Such solutions are characterized by their three singular "wave-fronts" across which the curvature tensor is allowed to admit a delta singu…
▽ More
This is the second and last paper of a series aimed at solving the local Cauchy problem for polarized $\mathbb U(1)$ symmetric solutions to the Einstein vacuum equations featuring the nonlinear interaction of three small amplitude impulsive gravitational waves. Such solutions are characterized by their three singular "wave-fronts" across which the curvature tensor is allowed to admit a delta singularity.
Under polarized $\mathbb U(1)$ symmetry, the Einstein vacuum equations reduce to the Einstein-scalar field system in $(2+1)$ dimensions. In this paper, we focus on the wave estimates for the scalar field in the reduced system. The scalar field terms are the most singular ones in the problem, with the scalar field only being Lipschitz initially. We use geometric commutators to prove energy estimates which reflect that the singularities are localized, and that the scalar field obeys additional fractional-derivative regularity, as well as regularity along appropriately defined "good directions". The main challenge is to carry out all these estimates using only the low-regularity properties of the metric. Finally, we prove an anisotropic Sobolev embedding lemma, which when combined with our energy estimates shows that the scalar field is everywhere Lipschitz, and that it obeys additional $C^{1,θ}$ estimates away from the most singular region.
△ Less
Submitted 27 March, 2023; v1 submitted 9 June, 2021;
originally announced June 2021.
-
Nonlinear interaction of three impulsive gravitational waves I: main result and the geometric estimates
Authors:
Jonathan Luk,
Maxime Van de Moortel
Abstract:
Impulsive gravitational waves are (weak) solutions to the Einstein vacuum equations such that the Riemann curvature tensor admits a delta singularity along a null hypersurface. The interaction of impulsive gravitational waves is then represented by the transversal intersection of these singular null hypersurfaces.
This is the first of a series of two papers in which we prove that for all suitabl…
▽ More
Impulsive gravitational waves are (weak) solutions to the Einstein vacuum equations such that the Riemann curvature tensor admits a delta singularity along a null hypersurface. The interaction of impulsive gravitational waves is then represented by the transversal intersection of these singular null hypersurfaces.
This is the first of a series of two papers in which we prove that for all suitable $\mathbb U(1)$-symmetric initial data representing three "small amplitude" impulsive gravitational waves propagating towards each other transversally, there exists a local solution to the Einstein vacuum equations featuring the interaction of these waves. Moreover, we show that the solution remains Lipschitz everywhere and is $H^2_{loc} \cap C_{loc}^{1, \frac 14-}$ away from the impulsive gravitational waves. This is the first construction of solutions to the Einstein vacuum equations featuring the interaction of three impulsive gravitational waves.
In this paper, we focus on the geometric estimates, i.e. we control the metric and the null hypersurfaces assuming the wave estimates. The geometric estimates rely crucially on the features of the spacetime with three interacting impulsive gravitational waves, particularly that each wave is highly localized and that the waves are transversal to each other. In the second paper of the series, we will prove the wave estimates and complete the proof.
△ Less
Submitted 9 June, 2021; v1 submitted 20 January, 2021;
originally announced January 2021.
-
High-frequency limits and null dust shell solutions in general relativity
Authors:
Jonathan Luk,
Igor Rodnianski
Abstract:
Consider the characteristic initial value problem for the Einstein vacuum equations without any symmetry assumptions. Impose a sequence of data on two intersecting null hypersurfaces, each of which is foliated by spacelike $2$-spheres. Assume that the sequence of data is such that the derivatives of the metrics along null directions are only uniformly bounded in $L^2$ but the derivatives of the me…
▽ More
Consider the characteristic initial value problem for the Einstein vacuum equations without any symmetry assumptions. Impose a sequence of data on two intersecting null hypersurfaces, each of which is foliated by spacelike $2$-spheres. Assume that the sequence of data is such that the derivatives of the metrics along null directions are only uniformly bounded in $L^2$ but the derivatives of the metrics along the directions tangential to the $2$-spheres obey higher regularity bounds uniformly. By the results in [J. Luk and I. Rodnianski, Nonlinear interaction of impulsive gravitational waves for the vacuum Einstein equations, Camb. J. Math. 5(4), 2017], it follows that the sequence of characteristic initial value problems gives rise to a sequence of vacuum spacetimes $(\mathcal M, g_n)$ in a fixed double-null domain $\mathcal M$. Since the existence theorem requires only very low regularity, the sequence of solutions may exhibit both oscillations and concentrations, and the limit need not be vacuum. We prove nonetheless that, after passing to a subsequence, the metrics converge in $C^0$ and weakly in $W^{1,2}$ to a solution of the Einstein-null dust system with two families of (potentially measure-valued) null dust.
We show moreover that all sufficiently regular solutions to the Einstein-null dust system (with potentially measure-valued null dust) adapted to a double null coordinate system arise locally as weak limits of solutions to the Einstein vacuum system in the manner described above. As a consequence, we also give the first general local existence and uniqueness result for solutions to the Einstein-null dust system for which the null dusts are only measures. This in particular includes as a special case solutions featuring propagating and interacting shells of null dust.
△ Less
Submitted 18 September, 2020;
originally announced September 2020.
-
Asymptotically Kasner-like singularities
Authors:
Grigorios Fournodavlos,
Jonathan Luk
Abstract:
We prove existence, uniqueness and regularity of solutions to the Einstein vacuum equations taking the form $${^{(4)}g} = -dt^2 + \sum_{i,j = 1}^3 a_{ij}t^{2p_{\max\{i,j\}}}\, \mathrm{d} x^i\, \mathrm{d} x^j$$ on $(0,T]_t \times \mathbb T^3_x$, where $a_{ij}(t,x)$ and $p_i(x)$ are regular functions without symmetry or analyticity assumptions. These metrics are singular and asymptotically Kasner-li…
▽ More
We prove existence, uniqueness and regularity of solutions to the Einstein vacuum equations taking the form $${^{(4)}g} = -dt^2 + \sum_{i,j = 1}^3 a_{ij}t^{2p_{\max\{i,j\}}}\, \mathrm{d} x^i\, \mathrm{d} x^j$$ on $(0,T]_t \times \mathbb T^3_x$, where $a_{ij}(t,x)$ and $p_i(x)$ are regular functions without symmetry or analyticity assumptions. These metrics are singular and asymptotically Kasner-like as $t\to 0^+$. These solutions are expected to be highly non-generic, and our construction can be viewed as solving a singular initial value problem with Fuchsian-type analysis where the data are posed on the "singular hypersurface" $\{ t = 0\}$. This is the first such result without imposing symmetry or analyticity.
To carry out the analysis, we study the problem in a synchronized coordinate system. In particular, we introduce a novel way to perform (weighted) energy estimates in such a coordinate system based on estimating the second fundamental forms of the constant-$t$ hypersurfaces.
△ Less
Submitted 17 May, 2022; v1 submitted 30 March, 2020;
originally announced March 2020.
-
Trilinear compensated compactness and Burnett's conjecture in general relativity
Authors:
Cécile Huneau,
Jonathan Luk
Abstract:
Consider a sequence of $C^4$ Lorentzian metrics $\{h_n\}_{n=1}^{+\infty}$ on a manifold $\mathcal M$ satisfying the Einstein vacuum equation $\mathrm{Ric}(h_n)=0$. Suppose there exists a smooth Lorentzian metric $h_0$ on $\mathcal M$ such that $h_n\to h_0$ uniformly on compact sets. Assume also that on any compact set $K\subset \mathcal M$, there is a decreasing sequence of positive numbers…
▽ More
Consider a sequence of $C^4$ Lorentzian metrics $\{h_n\}_{n=1}^{+\infty}$ on a manifold $\mathcal M$ satisfying the Einstein vacuum equation $\mathrm{Ric}(h_n)=0$. Suppose there exists a smooth Lorentzian metric $h_0$ on $\mathcal M$ such that $h_n\to h_0$ uniformly on compact sets. Assume also that on any compact set $K\subset \mathcal M$, there is a decreasing sequence of positive numbers $λ_n \to 0$ such that $$\|\partial^α (h_n - h_0)\|_{L^{\infty}(K)} \lesssim λ_n^{1-|α|},\quad |α|\geq 4.$$ It is well-known that $h_0$, which represents a "high-frequency limit", is not necessarily a solution to the Einstein vacuum equation. Nevertheless, Burnett conjectured that $h_0$ must be isometric to a solution to the Einstein-massless Vlasov system.
In this paper, we prove Burnett's conjecture assuming that $\{h_n\}_{n=1}^{+\infty}$ and $h_0$ in addition admit a $\mathbb U(1)$ symmetry and obey an elliptic gauge condition. The proof uses microlocal defect measures - we identify an appropriately defined microlocal defect measure to be the Vlasov measure of the limit spacetime. In order to show that this measure indeed obeys the Vlasov equation, we need some special cancellations which rely on the precise structure of the Einstein equations. These cancellations are related to a new "trilinear compensated compactness" phenomenon for solutions to (semilinear) elliptic and (quasilinear) hyperbolic equations.
△ Less
Submitted 11 May, 2022; v1 submitted 24 July, 2019;
originally announced July 2019.
-
The interior of dynamical vacuum black holes I: The $C^0$-stability of the Kerr Cauchy horizon
Authors:
Mihalis Dafermos,
Jonathan Luk
Abstract:
We initiate a series of works where we study the interior of dynamical rotating vacuum black holes without symmetry. In the present paper, we take up the problem starting from appropriate Cauchy data for the Einstein vacuum equations defined on a hypersurface already within the black hole interior, representing the expected geometry just inside the event horizon. We prove that for all such data, t…
▽ More
We initiate a series of works where we study the interior of dynamical rotating vacuum black holes without symmetry. In the present paper, we take up the problem starting from appropriate Cauchy data for the Einstein vacuum equations defined on a hypersurface already within the black hole interior, representing the expected geometry just inside the event horizon. We prove that for all such data, the maximal Cauchy evolution can be extended across a non-trivial piece of Cauchy horizon as a Lorentzian manifold with continuous metric. In subsequent work, we will retrieve our assumptions on data assuming only that the black hole event horizon geometry suitably asymptotes to a rotating Kerr solution. In particular, if the exterior region of the Kerr family is proven to be dynamically stable---as is widely expected---then it will follow that the $C^0$-inextendibility formulation of Penrose's celebrated strong cosmic censorship conjecture is in fact false. The proof suggests, however, that the $C^0$-metric Cauchy horizons thus arising are generically singular in an essential way, representing so-called "weak null singularities", and thus that a revised version of strong cosmic censorship holds.
△ Less
Submitted 4 October, 2017;
originally announced October 2017.
-
The interior of dynamical extremal black holes in spherical symmetry
Authors:
Dejan Gajic,
Jonathan Luk
Abstract:
We study the nonlinear stability of the Cauchy horizon in the interior of extremal Reissner-Nordström black holes under spherical symmetry. We consider the Einstein-Maxwell-Klein-Gordon system such that the charge of the scalar field is appropriately small in terms of the mass of the background extremal Reissner-Nordström black hole. Given spherically symmetric characteristic initial data which ap…
▽ More
We study the nonlinear stability of the Cauchy horizon in the interior of extremal Reissner-Nordström black holes under spherical symmetry. We consider the Einstein-Maxwell-Klein-Gordon system such that the charge of the scalar field is appropriately small in terms of the mass of the background extremal Reissner-Nordström black hole. Given spherically symmetric characteristic initial data which approach the event horizon of extremal Reissner-Nordström sufficiently fast, we prove that the solution extends beyond the Cauchy horizon in $C^{0,\frac{1}{2}}\cap W^{1,2}_{loc}$, in contrast to the subextremal case (where generically the solution is $C^0\setminus (C^{0,\frac{1}{2}}\cap W^{1,2}_{loc}))$. In particular, there exist non-unique spherically symmetric extensions which are moreover solutions to the Einstein-Maxwell-Klein-Gordon system. Finally, in the case that the scalar field is chargeless and massless, we additionally show that the extension can be chosen so that the scalar field remains Lipschitz.
△ Less
Submitted 19 February, 2019; v1 submitted 26 September, 2017;
originally announced September 2017.
-
High-frequency backreaction for the Einstein equations under polarized $\mathbb U(1)$ symmetry
Authors:
Cécile Huneau,
Jonathan Luk
Abstract:
Known examples in plane symmetry or Gowdy symmetry show that given a $1$-parameter family of solutions to the vacuum Einstein equations, it may have a weak limit which does not satisfy the vacuum equations, but instead has a non-trivial stress-energy-momentum tensor. We consider this phenomenon under polarized $\mathbb U(1)$ symmetry - a much weaker symmetry than most of the known examples - such…
▽ More
Known examples in plane symmetry or Gowdy symmetry show that given a $1$-parameter family of solutions to the vacuum Einstein equations, it may have a weak limit which does not satisfy the vacuum equations, but instead has a non-trivial stress-energy-momentum tensor. We consider this phenomenon under polarized $\mathbb U(1)$ symmetry - a much weaker symmetry than most of the known examples - such that the stress-energy-momentum tensor can be identified with that of multiple families of null dust propagating in distinct directions. We prove that any generic local-in-time small-data polarized-$\mathbb U(1)$-symmetric solution to the Einstein-multiple null dust system can be achieved as a weak limit of vacuum solutions. Our construction allows the number of families to be arbitrarily large, and appears to be the first construction of such examples with more than two families.
△ Less
Submitted 28 June, 2017;
originally announced June 2017.
-
Einstein equations under polarized $\mathbb U(1)$ symmetry in an elliptic gauge
Authors:
Cécile Huneau,
Jonathan Luk
Abstract:
We prove local existence of solutions to the Einstein--null dust system under polarized $\mathbb U(1)$ symmetry in an elliptic gauge. Using in particular the previous work of the first author on the constraint equations, we show that one can identify freely prescribable data, solve the constraints equations, and construct a unique local in time solution in an elliptic gauge. Our main motivation fo…
▽ More
We prove local existence of solutions to the Einstein--null dust system under polarized $\mathbb U(1)$ symmetry in an elliptic gauge. Using in particular the previous work of the first author on the constraint equations, we show that one can identify freely prescribable data, solve the constraints equations, and construct a unique local in time solution in an elliptic gauge. Our main motivation for this work, in addition to merely constructing solutions in an elliptic gauge, is to provide a setup for our companion paper in which we study high frequency backreaction for the Einstein equations. In that work, the elliptic gauge we consider here plays a crucial role to handle high frequency terms in the equations. The main technical difficulty in the present paper, in view of the application in our companion paper, is that we need to build a framework consistent with the solution being high frequency, and therefore having large higher order norms. This difficulty is handled by exploiting a reductive structure in the system of equations.
△ Less
Submitted 28 June, 2017;
originally announced June 2017.
-
Dynamical black holes with prescribed masses in spherical symmetry
Authors:
Jonathan Luk,
Sung-Jin Oh,
Shiwu Yang
Abstract:
We review our recent work on a construction of spherically symmetric global solutions to the Einstein--scalar field system with large bounded variation norms and large Bondi masses. We show that similar ideas, together with Christodoulou's short pulse method, allow us to prove the following result: Given $M_i \geq M_f>0$ and $ε>0$, there exists a spherically symmetric (black hole) solution to the…
▽ More
We review our recent work on a construction of spherically symmetric global solutions to the Einstein--scalar field system with large bounded variation norms and large Bondi masses. We show that similar ideas, together with Christodoulou's short pulse method, allow us to prove the following result: Given $M_i \geq M_f>0$ and $ε>0$, there exists a spherically symmetric (black hole) solution to the Einstein--scalar field system such that up to an error of size $ε$, the initial Bondi mass is $M_i$ and the final Bondi mass is $M_f$. Moreover, if one assumes a continuity property of the final Bondi mass (which in principle follows from known techniques in the literature), then for $M_i>M_f>0$, the above result holds without an $ε$-error.
△ Less
Submitted 19 February, 2017;
originally announced February 2017.
-
Strong cosmic censorship in spherical symmetry for two-ended asymptotically flat initial data II. The exterior of the black hole region
Authors:
Jonathan Luk,
Sung-Jin Oh
Abstract:
This is the second and last paper of a two-part series in which we prove the $C^2$-formulation of the strong cosmic censorship conjecture for the Einstein-Maxwell-(real)-scalar-field system in spherical symmetry for two-ended asymptotically flat data. In the first paper (arXiv:1702.05715), we showed that the maximal globally hyperbolic future development of an admissible asymptotically flat Cauchy…
▽ More
This is the second and last paper of a two-part series in which we prove the $C^2$-formulation of the strong cosmic censorship conjecture for the Einstein-Maxwell-(real)-scalar-field system in spherical symmetry for two-ended asymptotically flat data. In the first paper (arXiv:1702.05715), we showed that the maximal globally hyperbolic future development of an admissible asymptotically flat Cauchy initial data set is $C^2$-future-inextendible provided that an $L^2$-averaged (inverse) polynomial lower bound for the derivative of the scalar field holds along each horizon. In this paper, we show that this lower bound is indeed satisfied for solutions arising from a generic set of Cauchy initial data. Roughly speaking, the generic set is open with respect to a (weighted) $C^1$ topology and is dense with respect to a (weighted) $C^\infty$ topology. The proof of the theorem is based on extensions of the ideas in our previous work on the linear instability of Reissner-Nordström Cauchy horizon, as well as a new large data asymptotic stability result which gives good decay estimates for the difference of the radiation fields for small perturbations of an arbitrary solution.
△ Less
Submitted 21 February, 2019; v1 submitted 19 February, 2017;
originally announced February 2017.
-
Strong cosmic censorship in spherical symmetry for two-ended asymptotically flat initial data I. The interior of the black hole region
Authors:
Jonathan Luk,
Sung-Jin Oh
Abstract:
This is the first and main paper of a two-part series, in which we prove the $C^{2}$-formulation of the strong cosmic censorship conjecture for the Einstein-Maxwell-(real)-scalar-field system in spherical symmetry for two-ended asymptotically flat data. For this model, it is known through the works of Dafermos and Dafermos-Rodnianski that the maximal globally hyperbolic future development of any a…
▽ More
This is the first and main paper of a two-part series, in which we prove the $C^{2}$-formulation of the strong cosmic censorship conjecture for the Einstein-Maxwell-(real)-scalar-field system in spherical symmetry for two-ended asymptotically flat data. For this model, it is known through the works of Dafermos and Dafermos-Rodnianski that the maximal globally hyperbolic future development of any admissible two-ended asymptotically flat Cauchy initial data set possesses a non-empty Cauchy horizon, across which the spacetime is $C^{0}$-future-extendible (in particular, the $C^{0}$-formulation of the strong cosmic censorship conjecture is false). Nevertheless, the main conclusion of the present series of papers is that for a generic (in the sense of being open and dense relative to appropriate topologies) class of such data, the spacetime is future-inextendible with a Lorentzian metric of higher regularity (specifically, $C^{2}$).
In this paper, we prove that the solution is $C^{2}$-future-inextendible under the condition that the scalar field obeys an $L^{2}$-averaged polynomial lower bound along each of the event horizons. This, in particular, improves upon a previous result of Dafermos, which required instead a pointwise lower bound. Key to the proof are appropriate stability and instability results in the interior of the black hole region, whose proofs are in turn based on ideas from the work of Dafermos-Luk on the stability of the Kerr Cauchy horizon (without symmetry) and from our previous paper on linear instability of Reissner-Nordström Cauchy horizon. In the second paper of the series (arXiv:1702.05716), which concerns analysis in the exterior of the black hole region, we show that the $L^2$-averaged polynomial lower bound needed for the instability result indeed holds for a generic class of admissible two-ended asymptotically flat Cauchy initial data.
△ Less
Submitted 21 February, 2019; v1 submitted 19 February, 2017;
originally announced February 2017.
-
Solutions to the Einstein-scalar-field system in spherical symmetry with large bounded variation norms
Authors:
Jonathan Luk,
Sung-Jin Oh,
Shiwu Yang
Abstract:
It is well-known that small, regular, spherically symmetric characteristic initial data to the Einstein-scalar-field system which are decaying towards (future null) infinity give rise to solutions which are foward-in-time global (in the sense of future causal geodesic completeness). We construct a class of spherically symmetric solutions which are global but the initial norms are consistent with i…
▽ More
It is well-known that small, regular, spherically symmetric characteristic initial data to the Einstein-scalar-field system which are decaying towards (future null) infinity give rise to solutions which are foward-in-time global (in the sense of future causal geodesic completeness). We construct a class of spherically symmetric solutions which are global but the initial norms are consistent with initial data not decaying towards infinity. This gives the following consequences: (1) We prove that there exist foward-in-time global solutions with arbitrarily large (and in fact infinite) initial bounded variation (BV) norms and initial Bondi masses. (2) While general solutions with non-decaying data do not approach Minkowski spacetime, we show using the results of Luk--Oh that if a sufficiently strong asymptotic flatness condition is imposed on the initial data, then the solutions we construct (with large BV norms) approach Minkowski spacetime with a sharp inverse polynomial rate. (3) Our construction can be easily extended so that data are posed at past null infinity and we obtain solutions with large BV norms which are causally geodesically complete both to the past and to the future. Finally, we discuss applications of our method to construct global solutions for other nonlinear wave equations with infinite critical norms.
△ Less
Submitted 12 May, 2016;
originally announced May 2016.
-
Instability results for the wave equation in the interior of Kerr black holes
Authors:
Jonathan Luk,
Jan Sbierski
Abstract:
We prove that a large class of smooth solutions $ψ$ to the linear wave equation $\Box_gψ=0$ on subextremal rotating Kerr spacetimes which are regular and decaying along the event horizon become singular at the Cauchy horizon. More precisely, we show that assuming appropriate upper and lower bounds on the energy along the event horizon, the solution has infinite (non-degenerate) energy on any space…
▽ More
We prove that a large class of smooth solutions $ψ$ to the linear wave equation $\Box_gψ=0$ on subextremal rotating Kerr spacetimes which are regular and decaying along the event horizon become singular at the Cauchy horizon. More precisely, we show that assuming appropriate upper and lower bounds on the energy along the event horizon, the solution has infinite (non-degenerate) energy on any spacelike hypersurfaces intersecting the Cauchy horizon transversally. Extrapolating from known results in the Reissner--Nordström case, the assumed upper and lower bounds required for our theorem are conjectured to hold for solutions arising from generic smooth and compactly supported initial data on a Cauchy hypersurface. This result is motivated by the strong cosmic censorship conjecture in general relativity.
△ Less
Submitted 30 June, 2016; v1 submitted 27 December, 2015;
originally announced December 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 trapping 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.
-
Proof of linear instability of the Reissner-Nordström Cauchy horizon under scalar perturbations
Authors:
Jonathan Luk,
Sung-Jin Oh
Abstract:
It has long been suggested that solutions to linear scalar wave equation $$\Box_gφ=0$$ on a fixed subextremal Reissner-Nordström spacetime with non-vanishing charge are generically singular at the Cauchy horizon. We prove that generic smooth and compactly supported initial data on a Cauchy hypersurface indeed give rise to solutions with infinite nondegenerate energy near the Cauchy horizon in the…
▽ More
It has long been suggested that solutions to linear scalar wave equation $$\Box_gφ=0$$ on a fixed subextremal Reissner-Nordström spacetime with non-vanishing charge are generically singular at the Cauchy horizon. We prove that generic smooth and compactly supported initial data on a Cauchy hypersurface indeed give rise to solutions with infinite nondegenerate energy near the Cauchy horizon in the interior of the black hole. In particular, the solution generically does not belong to $W^{1,2}_{loc}$. This instability is related to the celebrated blue shift effect in the interior of the black hole. The problem is motivated by the strong cosmic censorship conjecture and it is expected that for the full nonlinear Einstein-Maxwell system, this instability leads to a singular Cauchy horizon for generic small perturbations of Reissner-Nordström spacetime. Moreover, in addition to the instability result, we also show as a consequence of the proof that Price's law decay is generically sharp along the event horizon.
△ Less
Submitted 19 January, 2015;
originally announced January 2015.
-
Trapped surfaces in vacuum arising dynamically from mild incoming radiation
Authors:
Xinliang An,
Jonathan Luk
Abstract:
In this paper, we study the "minimal requirement" on the incoming radiation that guarantees a trapped surface to form in vacuum. First, we extend the region of existence in Christodoulou's theorem on the formation of trapped surfaces and consequently show that the lower bound required to form a trapped surface can be relaxed. Second, we demonstrate that trapped surfaces form dynamically from a cla…
▽ More
In this paper, we study the "minimal requirement" on the incoming radiation that guarantees a trapped surface to form in vacuum. First, we extend the region of existence in Christodoulou's theorem on the formation of trapped surfaces and consequently show that the lower bound required to form a trapped surface can be relaxed. Second, we demonstrate that trapped surfaces form dynamically from a class of initial data which are large merely in a scaling-critical norm. This result is motivated in part by the scaling in Christodoulou's formation of trapped surfaces theorem for the Einstein-scalar field system in spherical symmetry.
△ Less
Submitted 24 April, 2017; v1 submitted 22 September, 2014;
originally announced September 2014.
-
Quantitative decay rates for dispersive solutions to the Einstein-scalar field system in spherical symmetry
Authors:
Jonathan Luk,
Sung-Jin Oh
Abstract:
In this paper, we study the future causally geodesically complete solutions of the spherically symmetric Einstein-scalar field system. Under the a priori assumption that the scalar field $φ$ scatters locally in the scale-invariant bounded-variation (BV) norm, we prove that $φ$ and its derivatives decay polynomially. Moreover, we show that the decay rates are sharp. In particular, we obtain sharp q…
▽ More
In this paper, we study the future causally geodesically complete solutions of the spherically symmetric Einstein-scalar field system. Under the a priori assumption that the scalar field $φ$ scatters locally in the scale-invariant bounded-variation (BV) norm, we prove that $φ$ and its derivatives decay polynomially. Moreover, we show that the decay rates are sharp. In particular, we obtain sharp quantitative decay for the class of global solutions with small BV norms constructed by Christodoulou. As a consequence of our results, for every future causally geodesically complete solution with sufficiently regular initial data, we show the dichotomy that either the sharp power law tail holds or that the spacetime blows up at infinity in the sense that some scale invariant spacetime norms blow up.
△ Less
Submitted 29 June, 2015; v1 submitted 12 February, 2014;
originally announced February 2014.
-
Weak null singularities in general relativity
Authors:
Jonathan Luk
Abstract:
We construct a class of spacetimes (without symmetry assumptions) satisfying the vacuum Einstein equations with singular boundaries on two null hypersurfaces intersecting in the future on a 2-sphere. The metric of these spacetimes extends continuously beyond the singularities while the Christoffel symbols fail to be square integrable in a neighborhood of any point on the singular boundaries. The c…
▽ More
We construct a class of spacetimes (without symmetry assumptions) satisfying the vacuum Einstein equations with singular boundaries on two null hypersurfaces intersecting in the future on a 2-sphere. The metric of these spacetimes extends continuously beyond the singularities while the Christoffel symbols fail to be square integrable in a neighborhood of any point on the singular boundaries. The construction shows moreover that the singularities are stable in a suitable sense. These singularities are stronger than the impulsive gravitational spacetimes considered by Luk-Rodnianski and conjecturally they are present in the interior of generic black holes arising from gravitational collapse.
△ Less
Submitted 5 October, 2017; v1 submitted 20 November, 2013;
originally announced November 2013.
-
A fully anisotropic mechanism for formation of trapped surfaces in vacuum
Authors:
Sergiu Klainerman,
Jonathan Luk,
Igor Rodnianski
Abstract:
We present a new, fully anisotropic, criterion for formation of trapped surfaces in vacuum. More precisely we provide conditions on null data, concentrated in a neighborhood of a short null geodesic segment (possibly flat everywhere else) whose future development contains a trapped surface. This extends considerably the previous result of Christodoulou \cite{Chr:book} which required instead a unif…
▽ More
We present a new, fully anisotropic, criterion for formation of trapped surfaces in vacuum. More precisely we provide conditions on null data, concentrated in a neighborhood of a short null geodesic segment (possibly flat everywhere else) whose future development contains a trapped surface. This extends considerably the previous result of Christodoulou \cite{Chr:book} which required instead a uniform condition along all null geodesic generators. To obtain our result we combine Christodoulou's mechanism for the formation of a trapped surface with a new deformation process which takes place along incoming null hypersurfaces.
△ Less
Submitted 27 December, 2013; v1 submitted 24 February, 2013;
originally announced February 2013.
-
Nonlinear interaction of impulsive gravitational waves for the vacuum Einstein equations
Authors:
Jonathan Luk,
Igor Rodnianski
Abstract:
In this paper, we study the problem of the nonlinear interaction of impulsive gravitational waves for the Einstein vacuum equations. The problem is studied in the context of a characteristic initial value problem with data given on two null hypersurfaces and containing curvature delta singularities. We establish an existence and uniqueness result for the spacetime arising from such data and show t…
▽ More
In this paper, we study the problem of the nonlinear interaction of impulsive gravitational waves for the Einstein vacuum equations. The problem is studied in the context of a characteristic initial value problem with data given on two null hypersurfaces and containing curvature delta singularities. We establish an existence and uniqueness result for the spacetime arising from such data and show that the resulting spacetime represents the interaction of two impulsive gravitational waves germinating from the initial singularities. In the spacetime, the curvature delta singularities propagate along 3-dimensional null hypersurfaces intersecting to the future of the data. To the past of the intersection, the spacetime can be thought of as containing two independent, non-interacting impulsive gravitational waves and the intersection represents the first instance of their nonlinear interaction. Our analysis extends to the region past their first interaction and shows that the spacetime still remains smooth away from the continuing propagating individual waves. The construction of these spacetimes are motivated in part by the celebrated explicit solutions of Khan-Penrose and Szekeres. The approach of this paper can be applied to an even larger class of characteristic data and in particular implies an extension of the theorem on formation of trapped surfaces by Christodoulou and Klainerman-Rodnianski, allowing non-trivial data on the initial incoming hypersurface.
△ Less
Submitted 24 April, 2017; v1 submitted 6 January, 2013;
originally announced January 2013.
-
Local Propagation of Impulsive Gravitational Waves
Authors:
Jonathan Luk,
Igor Rodnianski
Abstract:
In this paper, we initiate the rigorous mathematical study of the problem of impulsive gravitational spacetime waves. We construct such spacetimes as solutions to the characteristic initial value problem of the Einstein vacuum equations with a data curvature delta singularity. We show that in the resulting spacetime, the delta singularity propagates along a characteristic hypersurface, while away…
▽ More
In this paper, we initiate the rigorous mathematical study of the problem of impulsive gravitational spacetime waves. We construct such spacetimes as solutions to the characteristic initial value problem of the Einstein vacuum equations with a data curvature delta singularity. We show that in the resulting spacetime, the delta singularity propagates along a characteristic hypersurface, while away from that hypersurface the spacetime remains smooth. Unlike the known explicit examples of impulsive gravitational spacetimes, this work in particular provides the first construction of an impulsive gravitational wave of compact extent and does not require any symmetry assumptions. The arguments in the present paper also extend to the problem of existence and uniqueness of solutions to a larger class of non-regular characteristic data.
△ Less
Submitted 18 July, 2014; v1 submitted 5 September, 2012;
originally announced September 2012.
-
On the Local Existence for the Characteristic Initial Value Problem in General Relativity
Authors:
Jonathan Luk
Abstract:
Given a truncated incoming null cone and a truncated outgoing null cone intersecting at a two sphere $S$ with smooth characteristic initial data, a theorem of Rendall shows that the vacuum Einstein equations can be solved in a small neighborhood of $S$ in the future of $S$. We show that in fact the vacuum Einstein equations can be solved in a neighborhood in the future of the cones, as long as the…
▽ More
Given a truncated incoming null cone and a truncated outgoing null cone intersecting at a two sphere $S$ with smooth characteristic initial data, a theorem of Rendall shows that the vacuum Einstein equations can be solved in a small neighborhood of $S$ in the future of $S$. We show that in fact the vacuum Einstein equations can be solved in a neighborhood in the future of the cones, as long as the constraint equations are initially satisfied on the null cones. The proof is based on energy type estimates and relies heavily on the null structure of the Einstein equations in the double null foliation.
△ Less
Submitted 5 July, 2011;
originally announced July 2011.
-
The Null Condition and Global Existence for Nonlinear Wave Equations on Slowly Rotating Kerr Spacetimes
Authors:
Jonathan Luk
Abstract:
We study a semilinear equation with derivatives satisfying a null condition on slowly rotating Kerr spacetimes. We prove that given sufficiently small initial data, the solution exists globally in time and decays with a quantitative rate to the trivial solution. The proof uses the robust vector field method. It makes use of the decay properties of the linear wave equation on Kerr spacetime, in par…
▽ More
We study a semilinear equation with derivatives satisfying a null condition on slowly rotating Kerr spacetimes. We prove that given sufficiently small initial data, the solution exists globally in time and decays with a quantitative rate to the trivial solution. The proof uses the robust vector field method. It makes use of the decay properties of the linear wave equation on Kerr spacetime, in particular the improved decay rates in the region $\{r\leq \frac{t}{4}\}$.
△ Less
Submitted 21 September, 2010;
originally announced September 2010.
-
A Vector Field Method Approach to Improved Decay for Solutions to the Wave Equation on a Slowly Rotating Kerr Black Hole
Authors:
Jonathan Luk
Abstract:
We prove that sufficiently regular solutions to the wave equation $\Box_{g_K}Φ=0$ on the exterior of a sufficiently slowly rotating Kerr black hole obey the estimates $|Φ|\leq C (t^*)^{-3/2+η}$ on a compact region of $r$. This is proved with the help of a new vector field commutator that is analogous to the scaling vector field on Minkowski and Schwarzschild spacetime. This result improves the kno…
▽ More
We prove that sufficiently regular solutions to the wave equation $\Box_{g_K}Φ=0$ on the exterior of a sufficiently slowly rotating Kerr black hole obey the estimates $|Φ|\leq C (t^*)^{-3/2+η}$ on a compact region of $r$. This is proved with the help of a new vector field commutator that is analogous to the scaling vector field on Minkowski and Schwarzschild spacetime. This result improves the known robust decay rates that are proved using the vector field method in the region of finite $r$ and along the event horizon.
△ Less
Submitted 22 April, 2011; v1 submitted 3 September, 2010;
originally announced September 2010.
-
Improved decay for solutions to the linear wave equation on a Schwarzschild black hole
Authors:
Jonathan Luk
Abstract:
We prove that sufficiently regular solutions to the wave equation $\Box_gφ=0$ on the exterior of the Schwarzschild black hole obey the estimates $|φ|\leq C_δv_+^{-{3/2}+δ}$ and $|\partial_tφ|\leq C_δ v_+^{-2+δ}$ on a compact region of $r$ and along the event horizon. This is proved with the help of a new vector field commutator that is analogous to the scaling vector field on Minkowski spacetime…
▽ More
We prove that sufficiently regular solutions to the wave equation $\Box_gφ=0$ on the exterior of the Schwarzschild black hole obey the estimates $|φ|\leq C_δv_+^{-{3/2}+δ}$ and $|\partial_tφ|\leq C_δ v_+^{-2+δ}$ on a compact region of $r$ and along the event horizon. This is proved with the help of a new vector field commutator that is analogous to the scaling vector field on Minkowski spacetime. This result improves the known decay rates in the region of finite $r$ and along the event horizon.
△ Less
Submitted 9 October, 2009; v1 submitted 30 June, 2009;
originally announced June 2009.
