Collapsing-tube type II blow-up for the energy-supercritical heat equation

问题陈述
本文研究了能量超临界半线性热方程的有限时间爆破行为：
$$u_t = \Delta u + u^3, \quad x \in \Omega \subset \mathbb{R}^n, \quad n \ge 5.$$
虽然 Type I 爆破（受 ODE 率控制）已得到充分理解，但 Type II 爆破（其 $L^\infty$ 范数增长速度快于 ODE 率）则更为微妙。在能量超临界机制下（$p=3 > \frac{n+2}{n-2}$），在标准假设下，径向 Type II 爆破在维度 $5 \le n \le 12$（Matano–Merle 范围）中通常是被排除的。作者研究了非径向、各向异性的解是否能在该机制下表现出 Type II 爆破。具体而言，他们寻求一种在单点（原点）处发生爆破，但沿一个向该点坍缩的几何结构进行集中的解。

方法论
作者采用**内-外粘合方案（inner–outer gluing scheme）**来构造该解。其策略包括：

1. 对称性简化： 通过假设圆柱对称性，将问题简化为带有几何漂移项的 4 维临界热方程。变量被拆分为 $x = (x^*, x^{**}) \in \mathbb{R}^{n-3} \times \mathbb{R}^3$，其中 $r = |x^*|$ 且 $z = x^{**}$。方程变为：
   $$\tilde{u}_t = \Delta_{(r,z)} \tilde{u} + \frac{n-4}{r} \tilde{u}_r + \tilde{u}^3.$$
   这里，横向变量 $(r, z)$ 构成一个 4 维空间，在该空间中非线性项 $u^3$ 是临界的（对于 $\mathbb{R}^4$ 的 Sobolev 临界指数）。

2. Ansatz 构造： 利用缩放后的 Aubin–Talenti 泡（bubble）$U$ 在 $\mathbb{R}^4$ 中构建近似解，该泡中心位于 $(r, z)$ 平面内的一个移动点 $(\xi_r(t), 0)$。解的形式为：
   $$u(x, t) \approx \lambda(t)^{-1} U\left( \frac{(r, z) - (\xi_r(t), 0)}{\lambda(t)} \right).$$
   其集中集是一个半径为 $\xi_r(t)$ 的 $(n-4)$ 维球面。

3. 双尺度动力学： 构造过程识别出了两个截然不同的尺度：

   • 宏观尺度（抛物型）： 集中球面的半径 $\xi_r(t)$ 以自相似率 $\sqrt{T-t}$ 收缩。
   • 微观尺度（Type II）： 泡的横向厚度 $\lambda(t)$ 以包含对数修正的更快速率收缩。

4. 粘合与线性理论：

   • 外部问题： 使用 Duhamel 公式在原始 $n$ 维空间中求解，并使用特定的加权范数来处理漂移项 $\frac{n-4}{r} \partial_r$。
   • 内部问题： 在缩放后的 4 维变量中求解。围绕泡的线性化算子具有非平凡核（平移和缩放模）。作者将误差分解为球面调和模，并利用正交条件来确定参数的调制方程。
   • 修正项： 引入了一个由轴对称热核导出的全局修正项 $\Psi_0$，用以处理缩放模中缓慢衰减的误差。这导致了一个关于 $\lambda(t)$ 的非局部积分微分方程。

5. 不动点论证： 使用 Schauder 不动点定理在精心构建的函数空间中求解完整的非线性系统，该空间通过加权范数捕捉内解与外解的时空衰减特性。

主要结果
论文证明了当 $n \ge 5$ 时，存在一个正的单点爆破解，其在 $t \nearrow T$ 时的渐近剖面如下：
$$u(x, t) \sim \frac{1}{\lambda(t)} U\left( \frac{(r, z) - (\xi_r(t), 0)}{\lambda(t)} \right),$$
其中：

• 集中集： 解集中在一个半径为以下数值的 $(n-4)$ 维球面上：
  $$\xi_r(t) \sim \sqrt{2(n-4)(T-t)}.$$
  该球面在爆破时刻坍缩至原点。
• 横向尺度： 集中管的厚度受以下规律支配：
  $$\lambda(t) \sim \kappa_* \frac{T-t}{|\log(T-t)|^{\frac{n}{n-2}}},$$
  其中 $\kappa_* > 0$ 为常数。

由于 $\lambda(t) \ll \sqrt{T-t}$，该爆破属于 Type II。对数指数 $\frac{n}{n-2}$ 是由 4 维临界泡与高维环境下的轴对称热核之间的相互作用所决定的。

意义与主张
作者声称，这是在维度 $5 \le n \le 12$（在此范围内径向 Type II 爆破被排除）中，能量超临界热方程中第一个正的、Type II、单点爆破解的实例。其重要性在于：

1. 各向异性机制： 它证明了几何结构可以创造出在径向类中不可见的 Type II 爆破机制。奇点是通过一个“坍缩管”几何结构形成的。
2. 双尺度奇点： 该解展示了一种新颖的双尺度机制，即一个临界泡集中在一个本身也在抛物尺度下坍缩的几何集上。
3. 非局部调制： 爆破率的推导依赖于源自临界泡与高维漂移项之间相互作用的非局部调制方程，从而产生了一个特定的对数律。
4. 与其他模型的联系： 作者指出，这种几何情景（一个向原点坍缩的集中环）在形式上与在 3D 无粘轴对称 Euler 方程（Hou 和 Huang）中观察到的数值情景具有相似性，这为这种双尺度坍缩几何结构在标量抛物模型中提供了严谨的实现。

本文并不声称解决了所有超临界指数下 Type II 爆破的一般分类问题，而是确立了针对特定立方情形（$p=3$）在指定维度下的一个特定且稳健的机制。