[论文解读] Stable blow up dynamics for the 1-corotational energy critical harmonic heat flow

Pierre Raphaël, Rémi Schweyer|arXiv (Cornell University)|Jun 5, 2011

Advanced Mathematical Physics Problems参考文献 27被引用 103

一句话总结

该论文证明了在 $ ^2$ 到 $ ^3$ 中光滑旋转曲面的 1-协转能量临界调和热流中，存在一个稳定且有限时间内的爆破行为。对于光滑、局部化的初值，其与基态调和映射的距离可任意接近，解通过能量在统一的泡状结构中集中而形成奇点。爆破速度精确匹配 [2] 中的预测，通过在加权函数空间中进行精细的动力学分解与谱分析，得到了精确的渐近行为。

ABSTRACT

We exhibit a stable finite time blow up regime for the 1-corotational energy critical harmonic heat flow from $\\Bbb R^2$ into a smooth compact revolution surface of $\\Bbb R^3$ which reduces to the semilinear parabolic problem $$\\partial_t u -\\pa^2_{r} u-\\frac{\\pa_r u}{r} + \\frac{f(u)}{r^2}=0$$ for a suitable class of functions $f$. The corresponding initial data can be chosen smooth, well localized and arbitrarily close to the ground state harmonic map in the energy critical topology. We give sharp asymptotics on the corresponding singularity formation which occurs through the concentration of a universal bubble of energy at the speed predicted in [Van den Bergh, J.; Hulshof, J.; King, J., Formal asymptotics of bubbling in the harmonic map heat flow, SIAM J. Appl. Math. vol 63, o5. pp 1682-1717]. Our approach lies in the continuation of the study of the 1-equivariant energy critical wave map and Schr\\"odinger map with $\\Bbb S^2$ target in [Rapha\\"el, P.; Rodnianksi, I., Stable blow up dynamics for the critical corotational wave maps and equivariant Yang Mills problems, to appear in Prep. Math. IHES.], [Merle, F.; Rapha\\"el, P.; Rodnianski, I., Blow up dynamics for smooth solutions to the energy critical Schr\\"odinger map, preprint 2011.].

研究动机与目标

• 建立 $ ^2$ 上 1-协转能量临界调和热流在 $ ^3$ 中光滑旋转曲面上稳定、有限时间爆破解的存在性。
• 解决能量临界设定下 II 型爆破的精确渐近行为这一开放问题，特别是针对 $k=1$ 的协转对称情形。
• 证明初值可为光滑、良好局部化，且在能量临界拓扑下与基态调和映射的距离任意接近，但仍导致爆破。
• 确认 [2] 中预测的统一爆破速度，并获得精确的对数修正项。

提出的方法

• 分析依赖于将解分解为缩放后的调和映射轮廓与余项之和，爆破速率由尺度函数 $\lambda(t)$ 参数化。
• 构建加权函数空间以控制余项 $\varepsilon$，在 $y=0$ 和 $y=\infty$ 处引入奇异权，以捕捉临界行为。
• 对调和映射轮廓附近的线性化算子 $H$ 进行谱分析，建立加权 $L^2$ 空间中带有对数修正的强制性估计。
• 采用归纳法控制余项与尺度函数 $\lambda(t)$ 的演化，结合插值与 Hardy 型不等式。
• 该方法借鉴了先前对目标为 $ ^2$ 的波与薛定谔映射的研究技术，并将其适配至抛物设定。
• 证明通过紧致性论证与反证法排除非平凡核分量，确保爆破轮廓的稳定性。

实验结果

研究问题

• RQ1 能否在抛物设定下为 1-协转能量临界调和热流构造出稳定且有限时间的爆破行为？
• RQ2 爆破速率 $\lambda(t)$ 的精确渐近行为是什么？是否与 [2] 中的预测一致？
• RQ3 能否选择光滑、局部化且与基态调和映射在能量临界拓扑下距离任意接近的初值，仍导致爆破？
• RQ4 爆破轮廓是否具有普遍性，即在某一能量临界类中独立于初值？
• RQ5 确保爆破动力学稳定性的余项的精确加权估计是什么？

主要发现

• 为 1-协转能量临界调和热流构造出稳定有限时间爆破解，初值为光滑、局部化，且在能量临界拓扑下与基态调和映射的距离可任意接近。
• 爆破通过能量在统一泡状结构中集中发生，爆破速率 $\lambda(t) \sim \frac{T-t}{|\log(T-t)|^2}$，与 [2] 中的预测一致。
• 在爆破时刻附近，解轮廓的精确渐近行为被推导出来，证实了爆破动力学的普遍性。
• 在带有对数修正的加权 $L^2$ 空间中，建立了线性化算子 $H$ 的强制性估计，这对控制余项至关重要。
• 余项 $\varepsilon$ 满足精确的插值与点态界，包括 $\|\varepsilon\|_{L^\infty} \lesssim \delta(\alpha^*)$ 与 $\|A\varepsilon\|_{L^\infty} \lesssim b^2|\log b|^2$，确保了稳定性。
• 通过紧致性与反证法排除了非平凡核分量，确认了爆破轮廓的唯一性与稳定性。