2025-11-20T06:07:15.042563

Stable Type I blow-up for the one-dimensional wave equation with time-derivative nonlinearity

Gough

We study finite-time blow-up for the one-dimensional nonlinear wave equation with a quadratic time-derivative nonlinearity, \[ u_{tt}-u_{xx}=(u_t)^2,\qquad (x,t)\in\mathbb R\times[0,T). \] Building on the work of Ghoul, Liu, and Masmoudi \cite{ghoul2025blow} on the spatial-derivative analogue, we establish the non-existence of smooth, exact self-similar blow-up profiles. Instead we construct an explicit family of \emph{generalised self-similar} solutions, bifurcating from the ODE blow-up, that are smooth within the past light cone and exhibit type-I blow-up at a prescribed point $(x_0,T)$. We further prove asymptotic stability of these profiles under small perturbations in the energy topology. In particular, these profiles verify that the spatially homogeneous ODE blow-up is not asymptotically stable.

academic

Stable Type I blow-up for the one-dimensional wave equation with time-derivative nonlinearity

基本信息

论文ID: 2510.14815
标题: Stable Type I blow-up for the one-dimensional wave equation with time-derivative nonlinearity
作者: Oliver Gough
分类: math.AP (Analysis of PDEs)
发表时间: 2025年10月16日 (arXiv预印本)
论文链接: https://arxiv.org/abs/2510.14815

摘要

本文研究一维非线性波方程的有限时间爆破问题，该方程具有二次时间导数非线性项： $u_{tt} - u_{xx} = (u_t)^2, \quad (x,t) \in \mathbb{R} \times [0,T)$

基于Ghoul、Liu和Masmoudi关于空间导数类似问题的工作，作者证明了光滑、精确自相似爆破轮廓的不存在性。取而代之，构造了一个显式的广义自相似解族，这些解从ODE爆破分岔而来，在过去光锥内光滑，并在预定点 $(x_0,T)$ 处展现Type I爆破。进一步证明了这些轮廓在能量拓扑下小扰动的渐近稳定性，特别地验证了空间齐次ODE爆破不是渐近稳定的。

研究背景与动机

问题背景

核心问题：研究带有二次时间导数非线性项的一维波方程的有限时间爆破现象
重要性：
- 导数非线性波方程在物理和工程中有重要应用
- 爆破解的稳定性分析对理解解的长时间行为至关重要
- Type I爆破率的刻画对临界现象的理解具有基础意义
现有方法局限性：
- 与幂型半线性波方程不同，该方程不具有Lorentz变换不变性
- 传统的自相似分析方法不能直接应用
- 二次导数非线性项带来的技术困难
研究动机：
- 扩展Ghoul-Liu-Masmoudi在空间导数情形的结果到时间导数情形
- 建立完整的爆破轮廓构造和稳定性理论
- 理解ODE爆破的稳定性机制

核心贡献

证明了精确自相似爆破轮廓的不存在性：对于光滑解，除了对称性导致的常数轮廓外，不存在非平凡的精确自相似解
构造了五参数广义自相似解族： $u_{p,q,\kappa,T,x_0}(x,t) = -p\log\left(1-\frac{t}{T}\right) - p\log\left(1 + q\sqrt{1-p}\frac{x-x_0}{T-t}\right) + \kappa$
建立了渐近稳定性理论：证明了这些轮廓在高阶Sobolev空间中的稳定性
证明了ODE爆破的不稳定性：验证了空间齐次解不是渐近稳定的

方法详解

任务定义

研究Cauchy问题： $u_{tt} - u_{xx} = (u_t)^2, \quad (x,t) \in \mathbb{R} \times [0,T)$ 在过去光锥 $\Gamma(x_0,T) := \{(x,t) \in \mathbb{R} \times [0,T) : |x-x_0| \leq T-t\}$ 内的爆破行为。

核心技术框架

1. 相似变量变换

引入时间相似变量： $\tau := -\log\left(1-\frac{t}{T}\right)$ 空间相似变量： $y := \frac{x-x_0}{T-t}$

在这些变量下，原方程转化为： $U_{\tau\tau} + U_\tau + 2yU_{\tau y} + (y^2-1)U_{yy} + 2yU_y = (U_\tau + yU_y)^2$

2. 广义自相似解的构造

采用ansatz： $U(\tau,y) = p\tau + \tilde{U}(y)$ ，得到Riccati方程： $(1-y^2)\tilde{U}_{yy} + 2y(p-1)\tilde{U}_y + p(p-1) = -y^2(\tilde{U}_y)^2$

通过求解该方程，得到特解： $V_\pm(y) = \frac{p\sqrt{1-p}}{\pm 1 - y\sqrt{1-p}}$

3. 线性化稳定性分析

将扰动 $\eta$ 代入线性化方程，采用一阶系统形式： $q = \begin{pmatrix} q_1 \\ q_2 \end{pmatrix} := \begin{pmatrix} \eta \\ \eta_\tau + y\eta_y \end{pmatrix}$

线性化算子为： $\tilde{L}_p = L + L_{p,1}$ 其中 $L$ 是自由波算子， $L_{p,1}$ 是有界但非紧的扰动项。

技术创新点

Lorentz变换技巧：虽然原方程不具有Lorentz不变性，但在相似坐标下可以利用Lorentz变换简化特征值分析
新的算子分解：通过引入边界迹项，将线性化算子分解为最大耗散算子和有限秩投影的和，恢复紧性质
亚强制性估计：利用Merle等人的亚强制性技术处理非紧扰动问题
Lyapunov-Perron方法：通过投影到稳定子空间并引入不稳定方向的修正项来处理线性增长问题

实验设置

理论验证框架

本文主要是理论分析，通过以下方式验证结果：

特征值问题分析：将分离变量解 $\eta = e^{\lambda\tau}\phi(y)$ 代入得到特征方程ODE
Frobenius理论应用：利用超几何函数理论分析特征函数的存在性
谱分析：证明线性化算子的谱结构 $\sigma(L_p) \subset \{\text{Re}z \leq -\omega_0\} \cup \{0,1\}$