弱强度脉冲导致拟线性波动方程激波的形成

本文继续研究三维拟线性波动方程 \begin{align}\label{main eq} -(1+3G''(0)(\partial_{t}\phi)^{2})\partial^{2}_{t}\phi+\Delta\phi=0,\tag{\textbf{$\star$}} \end{align} 的激波形成，其中 $G''(0)$ 为非零常数。由于方程 \eqref{main eq} 在小初值下存在全局时间解，为展示激波形成，我们考虑一类大初值数据。此外，对数据不施加任何对称性假设。与之前的工作[18]相比，本文将数据给定在超曲面 $\{(t,x)|t=-r_{0}\}$ 而非 $\{(t,x)|t=-2\}$ 上，其中 $r_{0}$ 可任意大。我们证明了一个与 $r_{0}$ 无关的先验能量估计，从而得到了当 $r_{0}\rightarrow\infty$ 时解行为的完整描述。这使得我们能够放宽对初值轮廓的限制，同时仍能保证激波形成。由于 \eqref{main eq} 可视为描述非线性电介质中电磁波传播的模型方程，本文结果揭示了在实验室中使用弱强度波脉冲形成电磁激波的可能性。证明中的一个主要新特点是，本文中所有估计均\emph{不}依赖于参数 $r_{0}$，这需要采用不同的方法来获得能量估计。作为副产品，我们通过证明当 $r_{0}\rightarrow\infty$ 时初始能量的极限存在，确立了导致激波形成的半全局时间解的存在性。该证明结合了文献[5]中建立小初值三维相对论可压缩欧拉方程激波形成的思想，以及文献[6]中引入并在[15]中得到推广的短脉冲方法，该方法用于证明广义相对论中黑洞的形成。