-
Linear and nonlinear phase mixing for the gravitational Vlasov-Poisson system under an external Kepler potential
Authors:
Sanchit Chaturvedi,
Jonathan Luk
Abstract:
In Newtonian gravity, a self-gravitating collisionless gas around a massive object such as a star or a planet is modeled via the Vlasov--Poisson system with an external Kepler potential. The presence of this attractive potential allows for bounded trajectories along which the gas neither falls in towards the object nor escape to infinity.
We study this system focusing on the regime with bounded…
▽ More
In Newtonian gravity, a self-gravitating collisionless gas around a massive object such as a star or a planet is modeled via the Vlasov--Poisson system with an external Kepler potential. The presence of this attractive potential allows for bounded trajectories along which the gas neither falls in towards the object nor escape to infinity.
We study this system focusing on the regime with bounded trajectories. First, we prove quantitative linear phase mixing estimates in three dimensions outside symmetry. Second, our main result is a long-time nonlinear phase mixing theorem for spherically symmetric data with finite regularity. The mechanism is phenomenologically similar to Landau damping on a torus and our result applies to the same time scale (modulo logarithms) as the known results on Landau damping with finite regularity. However, in contrast with Landau damping, we need to contend with weaker linear estimates as well as use a system of dynamically defined action angle variables.
△ Less
Submitted 22 September, 2024;
originally announced September 2024.
-
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.
-
Phase mixing for solutions to 1D transport equation in a confining potential
Authors:
Sanchit Chaturvedi,
Jonathan Luk
Abstract:
Consider the linear transport equation in $1$D under an external confining potential $Φ$: \begin{equation*} \partial_t f + v \partial_x f - \partial_x Φ\partial_v f = 0. \end{equation*} For $Φ= \frac{x^2}{2} + \frac{εx^4}{2}$ (with $ε>0$ small), we prove phase mixing and quantitative decay estimates for $\partial_t \varphi := - Δ^{-1} \int_{\mathbb{R}} \partial_t f \, \mathrm{d} v$, with an invers…
▽ More
Consider the linear transport equation in $1$D under an external confining potential $Φ$: \begin{equation*} \partial_t f + v \partial_x f - \partial_x Φ\partial_v f = 0. \end{equation*} For $Φ= \frac{x^2}{2} + \frac{εx^4}{2}$ (with $ε>0$ small), we prove phase mixing and quantitative decay estimates for $\partial_t \varphi := - Δ^{-1} \int_{\mathbb{R}} \partial_t f \, \mathrm{d} v$, with an inverse polynomial decay rate $O(\langle t\rangle^{-2})$. In the proof, we develop a commuting vector field approach, suitably adapted to this setting. We will explain why we hope this is relevant for the nonlinear stability of the zero solution for the Vlasov--Poisson system in $1$D under the external potential $Φ$.
△ Less
Submitted 28 September, 2021; v1 submitted 25 September, 2021;
originally announced September 2021.
-
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.
-
The stability of simple plane-symmetric shock formation for 3D compressible Euler flow with vorticity and entropy
Authors:
Jonathan Luk,
Jared Speck
Abstract:
Consider a $1$D simple small-amplitude solution $(ρ_{(bkg)}, v^1_{(bkg)})$ to the isentropic compressible Euler equations which has smooth initial data, coincides with a constant state outside a compact set, and forms a shock in finite time. Viewing $(ρ_{(bkg)}, v^1_{(bkg)})$ as a plane-symmetric solution to the full compressible Euler equations in $3$D, we prove that the shock-formation mechanism…
▽ More
Consider a $1$D simple small-amplitude solution $(ρ_{(bkg)}, v^1_{(bkg)})$ to the isentropic compressible Euler equations which has smooth initial data, coincides with a constant state outside a compact set, and forms a shock in finite time. Viewing $(ρ_{(bkg)}, v^1_{(bkg)})$ as a plane-symmetric solution to the full compressible Euler equations in $3$D, we prove that the shock-formation mechanism for the solution $(ρ_{(bkg)}, v^1_{(bkg)})$ is stable against all sufficiently small and compactly supported perturbations. In particular, these perturbations are allowed to break the symmetry and have non-trivial vorticity and variable entropy.
Our approach reveals the full structure of the set of blowup-points at the first singular time: within the constant-time hypersurface of first blowup, the solution's first-order Cartesian coordinate partial derivatives blow up precisely on the zero level set of a function that measures the inverse foliation density of a family of characteristic hypersurfaces. Moreover, relative to a set of geometric coordinates constructed out of an acoustic eikonal function, the fluid solution and the inverse foliation density function remain smooth up to the shock; the blowup of the solution's Cartesian coordinate partial derivatives is caused by a degeneracy between the geometric and Cartesian coordinates, signified by the vanishing of the inverse foliation density (i.e., the intersection of the characteristics).
△ Less
Submitted 6 August, 2022; v1 submitted 7 July, 2021;
originally announced July 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.
-
The Vlasov--Poisson--Landau system in the weakly collisional regime
Authors:
Sanchit Chaturvedi,
Jonathan Luk,
Toan T. Nguyen
Abstract:
Consider the Vlasov-Poisson-Landau system with Coulomb potential in the weakly collisional regime on a $3$-torus, i.e.…
▽ More
Consider the Vlasov-Poisson-Landau system with Coulomb potential in the weakly collisional regime on a $3$-torus, i.e. $$\begin{aligned} \partial_t F(t,x,v) + v_i \partial_{x_i} F(t,x,v) + E_i(t,x) \partial_{v_i} F(t,x,v) = νQ(F,F)(t,x,v),\\ E(t,x) = \nabla Δ^{-1} (\int_{\mathbb R^3} F(t,x,v)\, \mathrm{d} v - \frac{1}{(2π)^3}\int_{\mathbb T^3} \int_{\mathbb R^3} F(t,x,v)\, \mathrm{d} v \, \mathrm{d} x), \end{aligned}$$ with $ν\ll 1$. We prove that for $ε>0$ sufficiently small (but independent of $ν$), initial data which are $O(εν^{1/3})$-Sobolev space perturbations from the global Maxwellians lead to global-in-time solutions which converge to the global Maxwellians as $t\to \infty$. The solutions exhibit uniform-in-$ν$ Landau damping and enhanced dissipation.
Our main result is analogous to an earlier result of Bedrossian for the Vlasov-Poisson-Fokker-Planck equation with the same threshold. However, unlike in the Fokker-Planck case, the linear operator cannot be inverted explicitly due to the complexity of the Landau collision operator. For this reason, we develop an energy-based framework, which combines Guo's weighted energy method with the hypocoercive energy method and the commuting vector field method. The proof also relies on pointwise resolvent estimates for the linearized density equation.
△ Less
Submitted 9 September, 2022; v1 submitted 12 April, 2021;
originally announced April 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.
-
Stability of vacuum for the Landau equation with moderately soft potentials
Authors:
Jonathan Luk
Abstract:
Consider the spatially inhomogeneous Landau equation with moderately soft potentials (i.e. with $γ\in (-2,0)$) on the whole space $\mathbb R^3$. We prove that if the initial data $f_{\mathrm{in}}$ are close to the vacuum solution $f_{\mathrm{vac}} \equiv 0$ in an appropriate norm, then the solution $f$ remains regular globally in time. This is the first stability of vacuum result for a binary coll…
▽ More
Consider the spatially inhomogeneous Landau equation with moderately soft potentials (i.e. with $γ\in (-2,0)$) on the whole space $\mathbb R^3$. We prove that if the initial data $f_{\mathrm{in}}$ are close to the vacuum solution $f_{\mathrm{vac}} \equiv 0$ in an appropriate norm, then the solution $f$ remains regular globally in time. This is the first stability of vacuum result for a binary collisional model featuring a long-range interaction.
Moreover, we prove that the solutions in the near-vacuum regime approach solutions to the linear transport equation as $t\to +\infty$. Furthermore, in general, solutions do not approach a traveling global Maxwellian as $t \to +\infty$.
Our proof relies on robust decay estimates captured using weighted energy estimates and the maximum principle for weighted quantities. Importantly, we also make use of a null structure in the nonlinearity of the Landau equation which suppresses the most slowly-decaying interactions.
△ Less
Submitted 20 June, 2022; v1 submitted 19 July, 2018;
originally announced July 2018.
-
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.
-
The hidden null structure of the compressible Euler equations and a prelude to applications
Authors:
Jonathan Luk,
Jared Speck
Abstract:
We derive a new formulation of the compressible Euler equations exhibiting remarkable structures, including surprisingly good null structures. The new formulation comprises covariant wave equations for the Cartesian components of the velocity and the logarithmic density coupled to a transport equation for the specific vorticity, defined to be vorticity divided by density. The equations allow one t…
▽ More
We derive a new formulation of the compressible Euler equations exhibiting remarkable structures, including surprisingly good null structures. The new formulation comprises covariant wave equations for the Cartesian components of the velocity and the logarithmic density coupled to a transport equation for the specific vorticity, defined to be vorticity divided by density. The equations allow one to use the full power of the geometric vectorfield method in treating the "wave part" of the system.
A crucial feature of the new formulation is that all derivative-quadratic inhomogeneous terms verify the strong null condition. The latter is a nonlinear condition signifying the complete absence of nonlinear interactions involving more than one differentiation in a direction transversal to the acoustic characteristics. Moreover, the same good structures are found in the equations verified by the Euclidean divergence and curl of the specific vorticity. This is important because one needs to combine estimates for the divergence and curl with elliptic estimates to obtain sufficient regularity for the specific vorticity, whose derivatives appears as inhomogeneous terms in the wave equations.
The above structures collectively open the door for our forthcoming results: exhibiting a stable regime in which initially smooth solutions develop a shock singularity (in particular the first Cartesian coordinate partial derivatives of the velocity and density blow up) while, relative to a system of geometric coordinates adapted to the acoustic characteristics, the solution (including the vorticity) remains many times differentiable, all the way up to the shock. The good null structures, which are often associated with global solutions, are in fact key to proving that the shock singularity forms. Our secondary goal in this article is to overview the central role that the structures play in the proof.
△ Less
Submitted 3 October, 2016;
originally announced October 2016.
-
Shock formation in solutions to the $2D$ compressible Euler equations in the presence of non-zero vorticity
Authors:
Jonathan Luk,
Jared Speck
Abstract:
We study the Cauchy problem for the compressible Euler equations in two spatial dimensions under any physical barotropic equation of state except that of a Chaplygin gas. We prove that the well-known phenomenon of shock formation in simple plane wave solutions, starting from smooth initial conditions, is stable under perturbations that break the plane symmetry. Moreover, we provide a sharp asympto…
▽ More
We study the Cauchy problem for the compressible Euler equations in two spatial dimensions under any physical barotropic equation of state except that of a Chaplygin gas. We prove that the well-known phenomenon of shock formation in simple plane wave solutions, starting from smooth initial conditions, is stable under perturbations that break the plane symmetry. Moreover, we provide a sharp asymptotic description of the singularity formation. The new feature of our work is that the perturbed solutions are allowed to have small but non-zero vorticity, even at the location of the shock. Thus, our results provide the first constructive description of the vorticity near a singularity formed from compression: relative to a system of geometric coordinates adapted to the acoustic characteristics, the vorticity remains many times differentiable, all the way up to the shock. In addition, relative to the Cartesian coordinates, the vorticity remains bounded up to the shock.
To control the vorticity, we rely on a coalition of new geometric and analytic insights that complement the ones used by Christodoulou in his groundbreaking, sharp proof of shock formation in vorticity-free regions. In particular, we rely on a new formulation of the compressible Euler equations exhibiting remarkable structures. To derive estimates, we construct an eikonal function adapted to the acoustic characteristics (which correspond to sound wave propagation) and a related set of geometric coordinates and differential operators. Thanks to the remarkable structure of the equations, the same set of coordinates and differential operators can be used to analyze the vorticity, whose characteristics are transversal to the acoustic characteristics. In particular, our work provides the first constructive description of shock formation without symmetry assumptions in a system with multiple speeds.
△ Less
Submitted 3 October, 2016;
originally announced October 2016.
-
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.
-
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.
-
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.
-
Strichartz estimates and moment bounds for the relativistic Vlasov-Maxwell system II. Continuation criteria in the 3D case
Authors:
Jonathan Luk,
Robert M. Strain
Abstract:
We consider the $3$-dimensional relativistic Vlasov-Maxwell system with data without compact support in momentum space. We prove two continuation criteria for solutions to this system. First, we show that a regular solution can be continued if the integral of the electromagnetic field along any characteristic is assumed to be bounded. This can be viewed as a generalization of the classical result…
▽ More
We consider the $3$-dimensional relativistic Vlasov-Maxwell system with data without compact support in momentum space. We prove two continuation criteria for solutions to this system. First, we show that a regular solution can be continued if the integral of the electromagnetic field along any characteristic is assumed to be bounded. This can be viewed as a generalization of the classical result of Glassey-Strauss (1986) to data with non-compact momentum support. Second, we extend the methods in our companion paper (Part I) to show that a regular solution can be extended as long as $\|\pel_0^þ f \|_{L^q_xL^1_{\pel}}$ remains bounded for $þ>\frac 2q$, $2<q\leq \infty$. This improves previous results of Pallard (2005).
△ Less
Submitted 1 June, 2014;
originally announced June 2014.
-
Strichartz estimates and moment bounds for the relativistic Vlasov-Maxwell system I. The $2$-D and $2\frac 12$-D cases
Authors:
Jonathan Luk,
Robert M. Strain
Abstract:
Consider the relativistic Vlasov-Maxwell system with initial data of unrestricted size. In the two dimensional and the two and a half dimensional cases, Glassey-Schaeffer (1997, 1998, 1998) proved that for regular initial data with compact momentum support this system has unique global in time classical solutions. In this work we do not assume compact momentum support for the initial data and inst…
▽ More
Consider the relativistic Vlasov-Maxwell system with initial data of unrestricted size. In the two dimensional and the two and a half dimensional cases, Glassey-Schaeffer (1997, 1998, 1998) proved that for regular initial data with compact momentum support this system has unique global in time classical solutions. In this work we do not assume compact momentum support for the initial data and instead require only that the data have polynomial decay in momentum space. In the 2D and the $2\frac 12$D cases, we prove the global existence, uniqueness and regularity for solutions arising from this class of initial data. To this end we use Strichartz estimates and prove that suitable moments of the solution remain bounded. Moreover, we obtain a slight improvement of the temporal growth of the $L^\infty_x$ norms of the electromagnetic fields compared to Glassey-Schaeffer.
△ Less
Submitted 1 June, 2014;
originally announced June 2014.
-
A new continuation criterion for the relativistic Vlasov-Maxwell system
Authors:
Jonathan Luk,
Robert M. Strain
Abstract:
The global existence of solutions to the relativistic Vlasov-Maxwell system given sufficiently regular finite energy initial data is a longstanding open problem. The main result of Glassey-Strauss (1986) shows that a solution $(f, E, B)$ remains $C^1$ as long as the momentum support of $f$ remains bounded. Alternate proofs were later given by Bouchut-Golse-Pallard (2003) and Klainerman-Staffilani…
▽ More
The global existence of solutions to the relativistic Vlasov-Maxwell system given sufficiently regular finite energy initial data is a longstanding open problem. The main result of Glassey-Strauss (1986) shows that a solution $(f, E, B)$ remains $C^1$ as long as the momentum support of $f$ remains bounded. Alternate proofs were later given by Bouchut-Golse-Pallard (2003) and Klainerman-Staffilani (2002). We show that only the boundedness of the momentum support of $f$ after projecting to any two dimensional plane is needed for $(f, E, B)$ to remain $C^1$.
△ Less
Submitted 1 June, 2014;
originally announced June 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.
