[论文解读] Global regularity of wave maps IV. Absence of stationary or self-similar solutions in the energy class

Terence Tao|ArXiv.org|Jun 22, 2008

Advanced Mathematical Physics Problems参考文献 16被引用 41

一句话总结

本文证明了在能量类中，从2+1维闵可夫斯基空间到双曲空间的波映射不存在非平凡的静止、自相似或行波解。通过调和映射热流构造，定义了一个完备的能量空间 $\dot{\mathcal{H}}^{1}$，并证明任何有限能量解必为平凡解，这是在该设定下证明大初值波映射全局正则性的关键一步。

ABSTRACT

Using the harmonic map heat flow, we construct an energy class for wave maps $ϕ$ from two-dimensional Minkowski space $\R^{1+2}$ to hyperbolic spaces $\H^m$, and then show (conditionally on a large data well-posedness claim for such wave maps) that no stationary, travelling, self-similar, or degenerate wave maps exist in this energy class. These results form three of the five claims required in our earlier paper (arXiv:0805.4666) to prove global regularity for such wave maps. (The conditional claim of large data well-posedness is one of the remaining claims required in that paper.)

研究动机与目标

• 构建一个完备的能量空间 $\dot{\mathcal{H}}^{1}$，该空间推广了经典波映射初值，并保持旋转、平移和缩放等对称性。
• 在大初值适定性结果成立的条件下，证明在该能量类中不存在非平凡的静止、自相似或行波映射。
• 为证明大初值波映射到双曲空间的全局正则性提供基础步骤。
• 将应力-能量张量、格拉姆矩阵和能量泛函连续延拓到完备化后的能量空间 $\dot{\mathcal{H}}^{1}$。

提出的方法

• 通过调和映射热流定义度量，将经典初值模去目标空间旋转后完成，构造能量空间 $\dot{\mathcal{H}}^{1}$。
• 施加对旋转群 $SO(m,1)$ 的不变性，并将空间平移、时间反演和缩放对称性等距地延拓到该空间。
• 将应力-能量张量和格拉姆矩阵定义为从 $\dot{\mathcal{H}}^{1}$ 到 $L^1(\mathbf{R}^2 \to \operatorname{Sym}^2(\mathbf{R}^{1+2}))$ 的连续映射。
• 使用截断函数和能量守恒来控制频带局部化能量估计中的误差项。
• 应用鸽巢原理和霍尔德不等式对能量进行局部化，并控制环形区域中的点态衰减。
• 采用基于能量集中和衰减估计的反证法，排除非平凡的自相似或静止解的存在。

实验结果

研究问题

• RQ1 在能量类 $\dot{\mathcal{H}}^{1}$ 中，从 ${\mathbf{R}}^{1+2}$ 到 ${\mathbf{H}}^m$ 的波映射是否存在非平凡的静止波映射？
• RQ2 在相同条件下，自相似或行波映射是否存在于能量空间 $\dot{\mathcal{H}}^{1}$ 中？
• RQ3 能量空间 $\dot{\mathcal{H}}^{1}$ 是否定义良好且完备，且应力-能量张量与能量泛函是否具有连续延拓？
• RQ4 是否能够将能量集中局部化，从而排除该能量类中的非平凡解？

主要发现

• 在大初值适定性结果成立的条件下，能量类 $\dot{\mathcal{H}}^{1}$ 中不存在非平凡的静止、自相似或行波映射。
• 能量空间 $\dot{\mathcal{H}}^{1}$ 是一个完备的度量空间，经典初值的像在其中稠密，并且在关键对称性下保持不变。
• 应力-能量张量和能量泛函从经典初值连续延拓到 $\dot{\mathcal{H}}^{1}$，并保持其结构。
• 通过截断函数和能量守恒，环形区域中的能量集中得到控制，从而导出一致的衰减估计。
• 通过证明任意紧致区域中的能量可被任意缩小，从而得出解的平凡性，确立了非平凡解的不存在性。
• 该证明依赖于基于频带局部化、能量衰减和鸽巢原理的反证法，以排除持久的能量集中。