[论文解读] On the formation of shocks for quasilinear wave equations

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

Navier-Stokes equation solutions参考文献 6被引用 3

一句话总结

本文建立了一套几何机制，用于解释三维拟线性波动方程在大初值条件下冲击波形成的原理，表明光滑解因入射特征超曲面的坍缩而发生破裂。关键成果是首次在无对称性假设下，对满足零条件的大初值拟线性波动方程，通过能量估计与由方程结构导出的有效度量的洛伦兹几何，证明了冲击波的形成。

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}.

研究动机与目标

• 研究在经典小初值全局存在性失效的条件下，拟线性波动方程中冲击波的形成机制。
• 在无对称性假设下，建立三维拟线性波动方程中冲击波形成的几何机制，扩展一维守恒律与相对论欧拉方程的相关结果。
• 证明冲击波的形成源于入射特征超曲面的坍缩，其可解释为有效洛伦兹度量的类光超曲面。
• 通过基于曲率的几何不变量，建立初值与冲击波形成之间的直接联系。
• 利用方程的变分结构闭合大初值的能量估计，避免通过纳什-莫泽方法产生导数损失。

提出的方法

• 作者将拟线性波动方程 $-(1 + 3G''(0)( abla_t heta)^2) abla_t^2 heta + riangle heta = 0$（其中 $G''(0) eq 0$）作为具有三次非线性的非线性波动传播的模型。
• 他们定义了一个有效洛伦兹度量 $g = -\frac{1}{1 + 3G''(0)( abla_t heta)^2}dt^2 + dx_1^2 + dx_2^2 + dx_3^2$，其类光超曲面与方程的特征曲面相对应。
• 通过该度量的微分几何，特别是入射类光超曲面的第二基本形式的爆破，分析冲击波的形成。
• 在解的线性化方程周围，利用向量场和光学坐标中的加权范数，推导出能量估计。
• 应用短脉冲法构造出一族导致冲击波形成的大型初值，灵感来自克里斯托杜卢的黑洞形成工作。
• 采用Bootstrap论证控制解的变分导数，借助Sobolev不等式与等周估计，确保在爆破时间前保持正则性。

实验结果

研究问题

• RQ1 在三维拟线性波动方程中，即使无对称性假设，大初值条件下是否仍可能发生冲击波形成？
• RQ2 有效洛伦兹度量的几何结构如何与光滑解的破裂相关联？
• RQ3 是否能完全从几何角度，通过曲率与类光超曲面几何来刻画冲击波形成机制？
• RQ4 能否利用方程的变分结构，在不产生导数损失的情况下，对大初值闭合能量估计？
• RQ5 是否能通过有效度量的几何不变量，直接从初值预测爆破时间与冲击波形成？

主要发现

• 在无对称性的光滑大初值条件下，三维拟线性波动方程 $-(1 + 3G''(0)( abla_t heta)^2) abla_t^2 heta + riangle heta = 0$ 中会发生冲击波形成。
• 光滑解的破裂是由入射特征超曲面的坍缩引起的，这些超曲面是有效度量 $g$ 的类光超曲面。
• 该爆破被证明是真正的冲击波形成，类似于一维守恒律的情形，其具有精确的几何解释，即曲率的爆破。
• 证明表明，只有当光学坐标变换的雅可比行列式在爆破时间前保持远离零时，解才能在初始时间区间外光滑延拓，而这一条件在爆破时间处失效。
• 在条件 $|\rho| \to 0$ 成立于爆破时间时，Bootstrap论证得以闭合，意味着冲击波的形成，且解无法在 $t^* = s^*$ 之后继续延拓。
• 结果确认，冲击波的形成可通过有效度量的第二基本形式与曲率张量等几何量，直接从初值中检测到。