[论文解读] On uniqueness of heat flow of harmonic maps

Tao Huang, Changyou Wang|arXiv (Cornell University)|Aug 7, 2012

Geometric Analysis and Curvature Flows参考文献 24被引用 3

一句话总结

该论文在小重归一化能量条件下，建立了映射到紧致黎曼流形（特别是单位球面 $S^{k-1}$ 或紧致黎曼齐次流形）的调和映射热流弱解的唯一性。通过莫雷空间估计和一个 $\epsilon_0$-正则性定理，证明了在莫雷空间中梯度范数足够小的解必完全相同，将唯一性结果推广至 $n=2$ 以外的情形，并证实了斯特鲁韦对一大类初始数据的猜想。

ABSTRACT

In this paper, we establish the uniqueness of heat flow of harmonic maps into (N, h) that have sufficiently small renormalized energies, provided that N is either a unit sphere $S^{k-1}$ or a compact Riemannian homogeneous manifold without boundary. For such a class of solutions, we also establish the convexity property of the Dirichlet energy for $t\ge t_0>0$ and the unique limit property at time infinity. As a corollary, the uniqueness is shown for heat flow of harmonic maps into any compact Riemannian manifold N without boundary whose gradients belong to $L^q_t L^l_x$ for $q>2$ and $l>n$ satisfying the Serrin's condition.

研究动机与目标

• 解决 $n \geq 2$ 维情形下调和映射热流弱解唯一性的长期悬而未决问题。
• 回应斯特鲁韦关于存在某一函数类以确保解唯一性的猜想。
• 在映射到 $S^{k-1}$ 或紧致黎曼齐次流形时，于小重归一化能量条件下建立调和映射热流的唯一性。
• 证明 Dirichlet 能量的凸性以及此类解在无穷远处的唯一极限性质。
• 通过梯度的可积性条件，将唯一性结果推广至一般紧致黎曼流形。

提出的方法

• 引入莫雷空间范数 $M^{p,p}_{R_0}$ 和 $M^{p,2p}_{R_0}$，以量化梯度和时间导数的“小”程度。
• 在莫雷空间中建立调和映射的 $\epsilon_0$-正则性定理，确保在小能量条件下解的光滑性。
• 利用小能量正则性结果，推导出在时间 $t \geq t_0 > 0$ 时 Dirichlet 能量的凸性不等式，从而推出唯一性。
• 应用 Poincare9 不等式与 Hardy 不等式，以梯度范数控制两解之间的差。
• 证明两个弱调和映射在某一区域中 Dirichlet 能量之间的比较不等式，表明莫雷空间中梯度范数足够小时，解必相同。
• 利用莫雷空间中调和映射的唯一性结果，通过能量比较与时间正则性，推导出热流的唯一性。

实验结果

研究问题

• RQ1 在梯度和时间导数的莫雷范数较小的条件下，映射到 $S^{k-1}$ 或紧致黎曼齐次流形的调和映射热流是否允许弱解的唯一性？
• RQ2 能否在 $t \geq t_0 > 0$ 时建立此类解的 Dirichlet 能量凸性，从而蕴含长时间唯一性？
• RQ3 在小能量条件下，斯特鲁韦关于单调性公式定义的函数类中解唯一性的猜想，对 $n \geq 2$ 是否成立？
• RQ4 能否通过梯度 $\nabla u$ 的可积性条件，将唯一性结果推广至无边界的普遍紧致黎曼流形 $N$？
• RQ5 在莫雷范数意义下，保证弱解唯一性的精确“小”阈值是多少？

主要发现

• 对于 $n \geq 2$，若两个弱解 $u_1, u_2$ 满足 $\max_{i=1,2} \left[ \|\nabla u_i\|_{M^{p,p}_{R_0}} + \|\partial_t u_i\|_{M^{p,2p}_{R_0}} \right] \leq \epsilon_0$，则在 $M \times [0,T]$ 上必有 $u_1 \equiv u_2$。
• 在相同小规模条件下，解的 Dirichlet 能量在时间 $t \geq t_0 > 0$ 时是凸的。
• 解在无穷远处收敛于唯一极限，即 $\lim_{t \to \infty} u(t)$ 存在且唯一。
• 当 $N = S^{k-1}$ 或紧致黎曼齐次流形时，若 $\|\nabla u_i\|_{M^{p,p}_{R_p}} \leq \epsilon_p$（$1 < p \leq 2$），则唯一性成立，其中 $\epsilon_p$ 与 $R_p$ 依赖于 $p$ 和 $\delta$。
• 若 $\nabla u \in L^q_t L^l_x$ 且满足 $q > 2$ 与 $l > n$，并满足条件 (1.13)，则结果可推广至一般无边界的紧致黎曼流形 $N$。
• 证明依赖于莫雷空间中新的 $\epsilon_0$-正则性定理，以及通过 Poincare9 与 Hardy 不等式推导出的 Dirichlet 能量的精确凸性不等式。