[Paper Review] On the formation of shocks for quasilinear wave equations

Shuang Miao, Pin Yu|arXiv (Cornell University)|Dec 9, 2014

Navier-Stokes equation solutions6 references3 citations

TL;DR

This paper establishes a geometric mechanism for shock formation in 3D quasilinear wave equations with large initial data, showing that smooth solutions break down due to the collapse of incoming characteristic hypersurfaces. The key result is the first proof of shock formation without symmetry assumptions for large-data quasilinear wave equations satisfying the null condition, using energy estimates and Lorentzian geometry of an effective metric derived from the equation’s structure.

ABSTRACT

The paper is devoted to the study of shock formation of the 3-dimensional quasilinear wave equation \begin{equation}\label{Main Equation} - \big(1+3G^{\prime\prime}(0) (\partial_tϕ)^2\big)\partial^2_t ϕ+Δϕ=0, ag{ extbf{$\star$}} \end{equation} where $G^{\prime\prime}(0)$ is a non-zero constant. We will exhibit a family of smooth initial data and show that the foliation of the incoming characteristic hypersurfaces collapses. Similar to 1-dimensional conservational laws, we refer this specific type breakdown of smooth solutions as shock formation. Since $(\star)$ satisfies the classical null condition, it admits global smooth solutions for small data. Therefore, we will work with large data (in energy norm). Moreover, no symmetry condition is imposed on the initial datum. We emphasize the geometric perspectives of shock formations in the proof. More specifically, the key idea is to study the interplay between the following two objects: (1) the energy estimates of the linearized equations of $(\star)$; (2) the differential geometry of the Lorentzian metric $g=-\dfrac{1}{\left(1+3G^{\prime\prime}(0) (\partial_tϕ)^2 ight)} d t^2+dx_1^2+dx_2^2+dx_3^2$. Indeed, the study of the characteristic hypersurfaces (implies shock formation) is the study of the null hypersurfaces of $g$. The techniques in the proof are inspired by the work \cite{Ch-Shocks} in which the formation of shocks for $3$-dimensional relativistic compressible Euler equations with small initial data is established. We also use the short pulse method which is introduced in the study of formation of black holes in general relativity in \cite{Ch-BlackHoles} and generalized in \cite{K-R-09}.

Motivation & Objective

• To investigate shock formation in quasilinear wave equations under large initial data, where classical small-data global existence fails.
• To establish a geometric mechanism for shock formation in 3D without symmetry assumptions, extending results from 1D conservation laws and relativistic Euler equations.
• To demonstrate that shock formation arises from the collapse of incoming characteristic hypersurfaces, interpreted as null hypersurfaces of an effective Lorentzian metric.
• To provide a direct link between initial data and the formation of shocks through curvature-based geometric invariants.
• To close energy estimates for large data using the variational structure of the equation, avoiding derivative loss via Nash-Moser methods.

Proposed method

• The authors analyze the quasilinear wave equation $-(1 + 3G''(0)( abla_t heta)^2) abla_t^2 heta + riangle heta = 0$, where $G''(0) eq 0$, as a model for nonlinear wave propagation with cubic nonlinearity.
• They define an effective Lorentzian metric $g = -rac{1}{1 + 3G''(0)( abla_t heta)^2}dt^2 + dx_1^2 + dx_2^2 + dx_3^2$, whose null hypersurfaces correspond to the characteristic surfaces of the equation.
• The shock formation is analyzed through the differential geometry of this metric, particularly the blow-up of the second fundamental form of the incoming null hypersurfaces.
• Energy estimates are derived for the linearized equation around a solution, using vector fields and weighted norms in optical coordinates.
• The short pulse method is applied to construct a family of large initial data that lead to shock formation, inspired by Christodoulou’s work on black hole formation.
• A bootstrap argument is used to control derivatives of variations of the solution, with Sobolev inequalities and isoperimetric estimates ensuring regularity up to the blow-up time.

Experimental results

Research questions

• RQ1 Can shock formation occur in 3D quasilinear wave equations with large initial data, even without symmetry assumptions?
• RQ2 How does the geometric structure of the effective Lorentzian metric relate to the breakdown of smooth solutions?
• RQ3 Can the shock formation mechanism be characterized purely geometrically, in terms of curvature and null hypersurface geometry?
• RQ4 Is it possible to close energy estimates for large data using the variational structure of the equation without derivative loss?
• RQ5 Can the blow-up time and shock formation be predicted directly from the initial data via geometric invariants?

Key findings

• Shock formation occurs in the 3D quasilinear wave equation $-(1 + 3G''(0)( abla_t heta)^2) abla_t^2 heta + riangle heta = 0$ for a family of smooth, large-data initial conditions without symmetry.
• The breakdown of smooth solutions is caused by the collapse of incoming characteristic hypersurfaces, which are null hypersurfaces of the effective metric $g$.
• The blow-up is shown to be a genuine shock formation, analogous to 1D conservation laws, with a precise geometric interpretation in terms of curvature blow-up.
• The proof establishes that the solution can be extended smoothly beyond the initial time interval only if the Jacobian of the optical coordinate transformation remains bounded away from zero, which fails at the blow-up time.
• The bootstrap argument closes under the condition that $| ho| o 0$ at the blow-up time, implying the formation of a shock, and the solution cannot be extended beyond $t^* = s^*$.
• The result confirms that shock formation is detectable directly from the initial data via geometric quantities such as the second fundamental form and curvature tensors of the effective metric.