Source author record

Jared Speck

Jared Speck appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

16works
6topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

16 published item(s)

preprint2022arXiv

Rough sound waves in $3D$ compressible Euler flow with vorticity

We prove a series of results tied to the regularity and geometry of solutions to the $3D$ compressible Euler equations with vorticity and entropy. Our framework exploits and reveals additional virtues of a recent new formulation of the equations, which decomposed the flow into a geometric "(sound) wave-part" coupled to a "transport-div-curl-part" (transport-part for short), with both parts exhibiting remarkable properties. Our main result is that the time of existence can be controlled in terms of the $H^{2^+}(\mathbb{R}^3)$-norm of the wave-part of the initial data and various Sobolev and Hölder norms of the transport-part of the initial data, the latter comprising the initial vorticity and entropy. The wave-part regularity assumptions are optimal in the scale of Sobolev spaces: shocks can instantly form if one only assumes a bound for the $H^2(\mathbb{R}^3)$-norm of the wave-part of the initial data. Our proof relies on the assumption that the transport-part of the initial data is more regular than the wave-part, and we show that the additional regularity is propagated by the flow, even though the transport-part of the flow is deeply coupled to the rougher wave-part. To implement our approach, we derive several results of independent interest: i) sharp estimates for the acoustic geometry, i.e., the geometry of sound cones; ii) Strichartz estimates for quasilinear sound waves coupled to vorticity and entropy; and iii) Schauder estimates for the transport-div-curl-part. Compared to previous works on low regularity, the main new features of the paper are that the quasilinear PDE systems under study exhibit multiple speeds of propagation and that elliptic estimates for various components of the fluid are needed, both to avoid loss of regularity and to gain space-time integrability.

preprint2022arXiv

The emergence of the singular boundary from the crease in $3D$ compressible Euler flow

We study the Cauchy problem for the $3D$ compressible Euler equations under an arbitrary equation of state with positive speed of sound, aside from that of a Chaplygin gas. For open sets of smooth initial data with non-trivial vorticity and entropy, our main results yield a constructive proof of the formation, structure, and stability of the singular boundary, which is the set of points where the solution forms a shock singularity, i.e., where some first-order Cartesian coordinate partial derivatives of the velocity and density blow up. We prove that in the solution regime under study, the singular boundary has the structure of a degenerate, acoustically null $3D$ submanifold-with-boundary. Our approach yields the full structure of a neighborhood of a connected component of the crease, which is a $2D$ acoustically spacelike submanifold equal to the past boundary of the singular boundary. In the study of shocks, the crease plays the role of the "true initial singularity" from which the singular boundary emerges, and it is a crucial ingredient for setting up the shock development problem. These are the first results revealing the totality of these structures without symmetry, irrotationality, or isentropicity assumptions. Moreover, even within the sub-class of irrotational and isentropic solutions, these are the first constructive results revealing these structures without a strict convexity assumption on the shape of the singular boundary. Our proof relies on a new method: the construction of rough foliations of spacetime, dynamically adapted to the exact shape of the singular boundary and crease, where the latter is provably two degrees less differentiable than the fluid.

preprint2020arXiv

Remarkable localized integral identities for $3D$ compressible Euler flow and the double-null framework

We derive new, localized geometric integral identities for solutions to the $3D$ compressible Euler equations under an arbitrary equation of state when the sound speed is positive. The identities are coercive in the first derivatives of the specific vorticity and the second derivatives of the entropy, and the error terms exhibit remarkable regularity and null structures. Our framework allows one to simultaneously unleash the full power of the geometric vectorfield method for both the wave- and transport- parts of the flow on compact regions. In particular, the integral identities yield localized control over one additional derivative of the vorticity and entropy compared to standard results, assuming that the initial data enjoy the same gain. Similar results hold for the solution's higher derivatives. We derive the identities in detail for two classes of spacetime regions that frequently arise in PDE applications: i) compact spacetime regions that are globally hyperbolic with respect to the acoustical metric and ii) compact regions covered by double-acoustically null foliations. Our results have implications for the geometry and regularity of solutions, the formation of shocks, the structure of the maximal classical development of the data, and for controlling solutions whose state along a pair of intersecting characteristic hypersurfaces is known. Our analysis relies on a recent new formulation of the compressible Euler equations that splits the flow into a geometric wave-part coupled to a div-curl-transport part. Our main new contribution is our analysis of the positive co-dimension, spacelike boundary integrals that arise in the div-curl identities. By exploiting interplay between the elliptic and hyperbolic parts of the new formulation, we observe several crucial cancellations, which in total show that the boundary terms have a good sign.

preprint2017arXiv

Stable ODE-type blowup for some quasilinear wave equations with derivative-quadratic nonlinearities

We prove a constructive stable ODE-type blowup result for open sets of solutions to a family of quasilinear wave equations in three spatial dimensions featuring a Riccati-type derivative-quadratic semilinear term. The singularity is more severe than a shock in that the solution itself blows up like the log of the distance to the blowup-time. We assume that the quasilinear terms satisfy certain structural assumptions, which in particular ensure that the "elliptic part" of the wave operator vanishes precisely at the singular points. The initial data are compactly supported and can be small or large in $L^{\infty}$, but the spatial derivatives must initially satisfy a nonlinear smallness condition compared to the time derivative. The first main idea of the proof is to construct a quasilinear integrating factor, which allows us to reformulate the wave equation as a system whose solutions remain regular, all the way up to the singularity. This is equivalent to constructing quasilinear vectorfields adapted to the nonlinear flow. The second main idea is to exploit some crucial monotonic terms in various estimates, especially the energy estimates, that feature the integrating factor. The availability of the monotonicity is tied to our assumptions on the data and on the structure of the quasilinear terms. The third main idea is to propagate the relative smallness of the spatial derivatives all the way up to the singularity so that the solution behaves, in many ways, like an ODE solution. As a corollary of our main results, we show that there are quasilinear wave equations that exhibit two distinct kinds of blowup: the formation of shocks for one non-trivial set of data, and ODE-type blowup for another non-trivial set.

preprint2015arXiv

A priori estimates for solutions to the relativistic Euler equations with a moving vacuum boundary

We study the relativistic Euler equations on the Minkowski spacetime background. We make assumptions on the equation of state and the initial data that are relativistic analogs of the well-known physical vacuum boundary condition, which has played an important role in prior work on the non-relativistic compressible Euler equations. Our main result is the derivation, relative to Lagrangian (also known as co-moving) coordinates, of local-in-time a priori estimates for the solution. The solution features a fluid-vacuum boundary, transported by the fluid four-velocity, along which the hyperbolicity of the equations degenerates. In this context, the relativistic Euler equations are equivalent to a degenerate quasilinear hyperbolic wave-map-like system that cannot be treated using standard energy methods.

preprint2014arXiv

Shock Formation in Small-Data Solutions to $3D$ Quasilinear Wave Equations

In his 2007 monograph, D. Christodoulou proved a breakthrough result giving a detailed description of the formation of shocks in solutions to the relativistic Euler equations in three spatial dimensions. He assumed that the data have small $H^N$ norm, where $N$ is a sufficiently large integer. To deduce the shock formation, he also assumed that the data verify a signed integral inequality. In the present monograph, we extend Christodoulou's framework and use it to prove that shock singularities often develop in initially small, regular solutions to two important classes of quasilinear wave equations in three spatial dimensions. Our work also generalizes and unifies earlier work on singularity formation initiated by F. John in the 1970's and continued by L. Hörmander, S. Alinhac, and many others. Specifically, we study $\mbox{i)}$ covariant scalar wave equations of the form $\square_{g(Ψ)} Ψ= 0$ and $\mbox{ii)}$ non-covariant scalar wave equations of the form $(h^{-1})^{αβ}(\partial Φ) \partial_α \partial_β Φ= 0.$ Our main result shows that whenever the nonlinear terms fail Klainerman's classic null condition, shocks develop in solutions arising from an open set of small data. Hence, within the classes $\mbox{i)}$ and $\mbox{ii)}$, our work can be viewed as a sharp converse to the well-known result of Christodoulou and Klainerman, which showed that when the classic null condition is verified, small-data global existence holds.

preprint2014arXiv

Shock Formation in Small-Data Solutions to $3D$ Quasilinear Wave Equations: An Overview

In his 2007 monograph, D. Christodoulou proved a remarkable result giving a detailed description of shock formation, for small $H^s$-initial conditions ($s$ sufficiently large), in solutions to the relativistic Euler equations in three space dimensions. His work provided a significant advancement over a large body of prior work concerning the long-time behavior of solutions to higher-dimensional quasilinear wave equations, initiated by F. John in the mid 1970's and continued by S. Klainerman, T. Sideris, L. Hörmander, H. Lindblad, S. Alinhac, and others. Our goal in this paper is to give an overview of his result, outline its main new ideas, and place it in the context of the above mentioned earlier work. We also introduce the recent work of J. Speck, which extends Christodoulou's result to show that for two important classes of quasilinear wave equations in three space dimensions, small-data shock formation occurs precisely when the quadratic nonlinear terms fail the classic null condition.

preprint2014arXiv

Stable Big Bang Formation in Near-FLRW Solutions to the Einstein-Scalar Field and Einstein-Stiff Fluid Systems

We prove a stable singularity formation result for solutions to the Einstein-scalar field and Einstein-stiff fluid systems. Our results apply to small perturbations of the spatially flat FLRW solution with topology $(0,\infty) \times \mathbb{T}^3.$ The FLRW solution models a spatially uniform scalar-field/stiff fluid evolving in a spacetime that expands towards the future and that has a "Big Bang" singularity at $\lbrace 0 \rbrace \times \mathbb{T}^3,$ where its curvature blows up. We place data on a Cauchy hypersurface $Σ_1'$ that are close to the FLRW data induced on $\lbrace 1 \rbrace \times \mathbb{T}^3.$ We study the perturbed solution in the collapsing direction and prove that its basic features closely resemble those of the FLRW solution. In particular, we construct constant mean curvature-transported spatial coordinates for the perturbed solution covering $(t,x) \in (0,1] \times \mathbb{T}^3$ and show that it also has a Big Bang at $\lbrace 0 \rbrace \times \mathbb{T}^3,$ where its curvature blows up. The blow-up confirms Penrose's Strong Cosmic Censorship hypothesis for the "past-half" of near-FLRW solutions. The most difficult aspect of the proof is showing that the solution exists for $(t,x) \in (0,1] \times \mathbb{T}^3,$ and to this end, we derive energy estimates that are allowed to mildly blow-up as $t \downarrow 0.$ To close these estimates, we use the most important ingredient in our analysis: an $L^2-$type energy approximate monotonicity inequality that holds for near-FLRW solutions. In the companion article "A regime of linear stability for the Einstein-scalar field system with applications to nonlinear Big Bang formation," we used the approximate monotonicity to prove a stability result for solutions to linearized versions of the equations. The present article shows that the linear stability result can be upgraded to control the nonlinear terms.

preprint2013arXiv

The Global Future Stability of the FLRW Solutions to the Dust-Einstein System with a Positive Cosmological Constant

We study small perturbations of the well-known family of Friedman-Lema\^ıtre-Robertson-Walker (FLRW) solutions to the dust-Einstein system with a positive cosmological constant in the case that the spacelike Cauchy hypersurfaces are diffeomorphic to T^3. These solutions model a quiet pressureless fluid in a dynamic spacetime undergoing accelerated expansion. We show that the FLRW solutions are nonlinearly globally future-stable under small perturbations of their initial data. Our analysis takes place relative to a harmonic-type coordinate system, in which the cosmological constant results in the presence of dissipative terms in the evolution equations. Our result extends the results of [38,44,42], where analogous results were proved for the Euler-Einstein system under the equations of state p = c_s^2 ρ, 0<c_s^2 <= 1/3. The dust-Einstein system is the Euler-Einstein system with c_s=0. The main difficulty that we overcome is that the energy density of the dust loses one degree of differentiability compared to the cases 0 < c_s^2 <= 1/3. Because the dust-Einstein equations are coupled, this loss of differentiability introduces new obstacles for deriving estimates for the top-order derivatives of all solution variables. To resolve this difficulty, we commute the equations with a well-chosen differential operator and derive a collection of elliptic estimates that complement the energy estimates of [38,44]. An important feature of our analysis is that we are able to close our estimates even though the top-order derivatives of all solution variables can grow much more rapidly than in the cases 0<c_s^2 <= 1/3. Our results apply in particular to small compact perturbations of the vanishing dust state.

preprint2012arXiv

The Nonlinear Future-Stability of the FLRW Family of Solutions to the Euler-Einstein System with a Positive Cosmological Constant

In this article, we study small perturbations of the family of Friedmann-Lemaître-Robertson-Walker cosmological background solutions to the 1 + 3 dimensional Euler-Einstein system with a positive cosmological constant. These background solutions describe an initially uniform quiet fluid of positive energy density evolving in a spacetime undergoing accelerated expansion. Our nonlinear analysis shows that under the equation of state pressure = c_s^2 * energy density, with 0 < c_s^2 < 1/3, the background solutions are globally future-stable. In particular, we prove that the perturbed spacetime solutions, which have the topological structure [0,infty) x T^3, are future causally geodesically complete. These results are extensions of previous results derived by the author in a collaboration with I. Rodnianski, in which the fluid was assumed to be irrotational. Our novel analysis of a fluid with non-zero vorticity is based on the use of suitably-defined energy currents.

preprint2012arXiv

The Stabilizing Effect of Spacetime Expansion on Relativistic Fluids With Sharp Results for the Radiation Equation of State

In this article, we study the 1 + 3 dimensional relativistic Euler equations on a pre-specified conformally flat expanding spacetime background with spatial slices that are diffeomorphic to $\mathbb{R}^3.$ We assume that the fluid verifies the equation of state $p = c_s^2 ρ,$ where $0 \leq c_s \leq \sqrt{1/3}$ is the speed of sound. We also assume that the inverse of the scale factor associated to the expanding spacetime metric verifies a $c_s-$dependent time-integrability condition. Under these assumptions, we use the vectorfield energy method to prove that an explicit family of physically motivated, spatially homogeneous, and spatially isotropic fluid solutions is globally future-stable under small perturbations of their initial conditions. The explicit solutions corresponding to each scale factor are analogs of the well-known spatially flat Friedmann-Lema\^ıtre-Robertson-Walker family. Our nonlinear analysis, which exploits dissipative terms generated by the expansion, shows that the perturbed solutions exist for all future times and remain close to the explicit solutions. This work is an extension of previous results, which showed that an analogous stability result holds when the spacetime is exponentially expanding. In the case of the radiation equation of state $p = (1/3)ρ,$ we also show that if the time-integrability condition for the inverse of the scale factor fails to hold, then the explicit fluid solutions are unstable. More precisely, we show that arbitrarily small smooth perturbations of the explicit solutions' initial conditions can launch perturbed solutions that form shocks in finite time. The shock formation proof is based on the conformal invariance of the relativistic Euler equations when $c_s^2 = 1/3,$ which allows for a reduction to a well-known result of Christodoulou.

preprint2010arXiv

Hilbert Expansion from the Boltzmann equation to relativistic Fluids

We study the local-in-time hydrodynamic limit of the relativistic Boltzmann equation using a Hilbert expansion. More specifically, we prove the existence of local solutions to the relativistic Boltzmann equation that are nearby the local relativistic Maxwellian constructed from a class of solutions to the relativistic Euler equations that includes a large subclass of near-constant, non-vacuum fluid states. In particular, for small Knudsen number, these solutions to the relativistic Boltzmann equation have dynamics that are effectively captured by corresponding solutions to the relativistic Euler equations.

preprint2010arXiv

The Global Stability of the Minkowski Spacetime Solution to the Einstein-Nonlinear Electromagnetic System in Wave Coordinates

In this article, we study the coupling of the Einstein field equations of general relativity to a family of models of nonlinear electromagnetic fields. The family comprises all covariant electromagnetic models that satisfy the following criteria: they are derivable from a sufficiently regular Lagrangian, they reduce to the linear Maxwell model in the weak-field limit, and their corresponding energy-momentum tensors satisfy the dominant energy condition. Our main result is a proof of the global nonlinear stability of the 1 + 3-dimensional Minkowski spacetime solution to the coupled system for any member of the family, which includes the linear Maxwell model. This stability result is a consequence of a small-data global existence result for a reduced system of equations that is equivalent to the original system in our wave coordinate gauge. Our analysis of the spacetime metric components is based on a framework recently developed by Lindblad and Rodnianski, which allows us to derive suitable estimates for tensorial systems of quasilinear wave equations with nonlinearities that satisfy the weak null condition. Our analysis of the electromagnetic fields, which satisfy quasilinear first-order equations, is based on an extension of a geometric energy-method framework developed by Christodoulou, together with a collection of pointwise decay estimates for the Faraday tensor developed in the article. We work directly with the electromagnetic fields, and thus avoid the use of electromagnetic potentials.

preprint2010arXiv

The Non-relativistic Limit of the Euler Nordström System with Cosmological Constant

In this paper the author studies the singular limit c to infinity of the family of Euler-Nordström systems indexed by the parameters kappa and c (EN_kappa,c), where kappa^2 > 0 is the cosmological constant and c is the speed of light. Using Christodoulou's techniques to generate energy currents, the author develops Sobolev estimates that show that for initial data belonging to an appropriate Sobolev space, as c tends to infinity, the solutions to the EN_kappa,c system converge uniformly on a spacetime slab [0,T]xR^3 to the solution of the Euler-Poisson system with the cosmological constant kappa^2.

preprint2010arXiv

The Nonlinear Stability of the Trivial Solution to the Maxwell-Born-Infeld System

In this article, we use an electromagnetic gauge-free framework to establish the existence of small-data global solutions to the Maxwell-Born-Infeld (MBI) system on the Minkowski space background in 1 + 3 dimensions. Because the nonlinearities in the system satisfy a version of the null condition, we are also able to show that these solutions decay at exactly the same rates as solutions to the linear Maxwell-Maxwell system. In addition, we show that on any Lorentzian manifold, the MBI system is hyperbolic in the interior of the field-strength regime in which its Lagrangian is real-valued.

preprint2010arXiv

The Stability of the Irrotational Euler-Einstein System with a Positive Cosmological Constant

In this article, we study small perturbations of the family of Friedmann-Lemaître-Robertson-Walker cosmological background solutions to the Euler-Einstein system with a positive cosmological constant in 1 + 3 dimensions. The background solutions describe an initially uniform quiet fluid of positive energy density evolving in a spacetime undergoing accelerated expansion. We show that under the equation of state p = c_s^2*(energy density), 0 < c_s^2 < 1/3, the background solutions are globally future asymptotically stable under small irrotational perturbations. In particular, we prove that the perturbed spacetimes, which have the topological structure [0,infinity) x T^3, are future causally geodesically complete.