Local existence and blow-up behavior for the diffusive Hamilton-Jacobi equation in a half-space with unbounded initial data

技术摘要：半空间内具有无界初值的扩散 Hamilton-Jacobi 方程的局部存在性与爆破行为

问题陈述
本文研究了如下形式的扩散 Hamilton-Jacobi 方程：
$$u_t - \Delta u = |\nabla u|^p, \quad p > 1$$
该方程定义在半空间 $H = \mathbb{R}^n_+$ 中，并满足 Dirichlet 边界条件（在 $\partial H$ 上 $u=0$）。研究的核心重点是具有无界初值 $u_0(x)$ 的解，这些初值在空间无穷远处可能呈现增长。虽然有界区域以及无界区域中对于有界初值的行为已有成熟的研究（特别是梯度爆破，即 GBU 现象），但对于无界区域中无界初值的研究在很大程度上仍处于空白。本文探讨了此类解的局部适定性、容许增长率的锐度以及详细的爆破动力学。

方法论
分析过程依赖于比较原理、障碍函数构造、重标度论证以及 Liouville 型定理的结合。

1. 局部适定性与唯一性： 作者建立了一个针对具有多项式增长初值的比较原理（命题 3.1），通过使用扰动函数 $Z_\epsilon$ 在空间无穷远处进行惩罚化处理，以应对无界区域问题。唯一性是通过在特定函数空间 $Y_T$ 内利用该比较原理推导得出的。
2. 通过正则化证明存在性： 通过对初值 $u_0$ 进行光滑化处理（mollification）来得到有界的光滑近似函数 $u_{0,k}$，从而证明局部存在性。利用依赖于 $u_0$ 增长率的超解和障碍函数（例如 $v_1$ 和 $v_2$）导出一致的一致先验估计（特别是针对解及其梯度）。随后通过紧致性论证得到经典解。
3. 非存在性： 为了证明容许增长类别的锐度，作者通过将一个假设的解与文献 [5] 中的后向自相似解进行比较，从而构造出矛盾。如果初值的增长过快，它将主导自相似剖面，从而导致无法在一定时间内存在经典解的矛盾。
4. 爆破分析：
   • Type I 与 Type II： 本文区分了 Type I 爆破（梯度按自相似速率增长）和 Type II 爆破（更快的增长）。
   • 重标度与 Liouville 定理： 对于 Type II 爆破，作者采用了重标度论证（爆破分析），即在奇点附近对解进行缩放。重标度后的解的极限被证明是该方程的一个全空间解。这类全空间解的分类依赖于近期的 Liouville 型定理 [5, 8]，这些定理断言，半空间内的有界全空间解必须是平稳的，且仅取决于法向变量 $x_n$。
   • 梯度估计： 利用 Bernstein 型估计和热半群正则性论证，推导出奇点附近梯度精确的上下界。

主要贡献与结果

1. 最优初值类：
   本文定义了最优初值类 $X$（对于 $1 < p \le 2$）和 $X_1$（对于 $p > 2$），允许在无穷远处增长并在边界处存在奇异性。

   • 无穷远处的增长： 临界指数被确定为 $p/(p-1)$。具体而言，$x_n \to \infty$ 时 $u_0(x) \lesssim x_n^{1+\beta}$（其中 $\beta = 1/(p-1)$）是锐利的阈值。定理 2.3 证明，如果 $u_0$ 在 $x'$ 方向上一致地超过此增长率，则不存在经典解。
   • 边界行为： 对于 $p > 2$，初值在边界 $x_n=0$ 附近必须满足特定的界限：$\limsup_{x_n \to 0} x_n^{\beta-1} \sup_{x'} u_0(x', x_n) < c_p$。如果违反此条件，解将立即无法成为经典解。

2. 局部适定性与爆破替代方案：

   • 定理 2.1 & 2.2： 对于属于最优类的初值，存在唯一的极大经典解。
   • 爆破替代方案： 若极大存在时间 $T_{max}$ 为有限值，则解要么在加权 $L^\infty$ 范数中爆破（对于 $1 < p \le 2$），要么在距离边界有限处表现出梯度爆破（GBU）（对于 $p > 2$）。

3. 亚临界增长下的爆破行为：
   当初值具有亚临界增长（$u_0 \lesssim x_n^\gamma$ 且 $\gamma < 1+\beta$）时：

   • 全局存在性： 对于 $1 < p \le 2$，解在时间上是全局存在的。
   • 有限时间爆破： 对于 $p > 2$，有限时间爆破仅通过边界上的 Type II 梯度爆破 发生。解在任何条带 $\Gamma_R$ 上保持有界，但梯度变得无界。
   • 锐利估计： 本文推导了梯度的锐利上下界。下界与标准的 Type II 速率相匹配：$\|\nabla u\|_{L^\infty} \ge C(T-t)^{-1/(p-2)}$。上界显示梯度受控于奇异平稳剖面：$|\nabla u| \le (1+\epsilon) d_p x_n^{-\beta} + C$。

4. Type II 爆破的渐近剖面：

   • 定理 2.5（泡状形成/Bubbling）： 对于 Type II 解，存在一列点收敛于边界和爆破时间，其重标度后的梯度在局部一致收敛于一个显式的一维剖面：$d_p (x_n + \beta)^{-\beta} e_n$。
   • 定理 2.6（二分性）： 在奇点附近的任何点，梯度要么以 Type I 方式行为，要么受控于奇异平稳剖面。这确立了局部爆破行为仅有的两种可能性。

意义与主张
本文声称填补了非线性抛物方程理论中的一个重要空白，首次对半空间内具有无界初值的扩散 Hamilton-Jacobi 方程进行了全面的研究。

• 扩展了适定性框架： 它将经典的适定性框架（通常局限于有界数据）扩展到了最优的无界数据类，并将精确的临界增长指数 $p/(p-1)$ 识别为存在性的阈值。
• 精细化的爆破动力学： 不同于有界区域中总是发生 Type II 边界 GBU 的情况，这项工作揭示了半空间内更丰富的结构。它展示了 Type I $L^\infty$ 爆破（对于临界增长数据）与 Type II 边界 GBU（对于亚临界数据）的共存。
• 锐利性： 研究结果是锐利的；论文通过提供增长速度超过临界速率的数据的非存在性结果，证明了对于 $p>2$ 时，关于初值的边界条件对于经典可解性是必要的。
• 渐近描述： 论文提供了对奇异性形成的精细描述，证明了 Type II 爆破解在重标度后收敛于一个显式的一维剖面，从而详细刻画了渐近奇异性的形成过程。

作者指出，出于简化考虑，其研究仅限于非负初值，尽管他们暗示这种限制可以被放宽。这项工作在很大程度上依赖于现有的 Liouville 型定理和比较原理，并将其应用于半空间问题的特定几何结构和增长条件。