[论文解读] Polyharmonic maps into the Euclidean space

Nobumitsu Nakauchi, Hajime Urakawa|arXiv (Cornell University)|Jul 18, 2013

Geometric Analysis and Curvature Flows参考文献 16被引用 6

一句话总结

该论文证明了，若从完备黎曼流形到欧几里得空间的k-调和映射在所有j=1,…,2k−2下具有有限j-能量，则其必为调和映射。证明基于基于散度定理和能量衰减的迭代消失论证，将先前关于双调和映射的结果推广至在L²-条件下更高阶的多调和映射。

ABSTRACT

We study polyharmonic (k-harmonic) maps between Riemannian manifolds with finite j-energies (j=1, cdots, 2k-2). We show if the domain is complete and the target is the Euclidean space, then such a map is harmonic.

研究动机与目标

• 将关于双调和映射的广义陈氏猜想推广至k≥2时的k-调和映射。
• 研究当定义域上k-调和映射的j-能量（j=1,…,2k−2）有限时，是否能推出其为调和映射。
• 在L²-正则性假设下，建立多调和映射的Liouville型定理的一般化。
• 证明在有限能量条件下，到欧几里得空间的k-调和映射必为调和映射，即使定义域体积无限。
• 通过迭代能量衰减与散度定理，将先前关于双调和映射的结果推广至更高阶的多调和映射。

提出的方法

• 将k-调和映射定义为k-能量泛函 $ E_k(\theta) = \frac{1}{2}\int_M |(d+\delta)^k \theta|^2 \, v_g $ 的临界点，从而推广了调和映射与双调和映射。
• 使用迭代张力场 $ W^j_\varphi $，其中k-调和映射满足 $ W^k_\varphi = 0 $，并通过粗略拉普拉斯算子与曲率项推导递推关系。
• 对构造的1-形式 $ \alpha(X) = \langle W^{j-1}_\varphi, \overline{\nabla}_X W^{j-2}_\varphi \rangle $ 应用Gaffney定理，证明 $ \int_M \text{div}(\alpha) \, v_g = -\int_M |W^{j-1}_\varphi|^2 \, v_g $。
• 通过散度定理与可积性假设，证明 $ \int_M |W^{j-1}_\varphi|^2 \, v_g = 0 $，从而推出 $ W^{j-1}_\varphi = 0 $。
• 通过关于阶数j的归纳法，从 $ W^k_\varphi = 0 $ 开始，依次证明 $ W^{k-1}_\varphi = \cdots = W^1_\varphi = 0 $，即 $ \tau(\varphi) = 0 $。
• 在无限体积情形下，通过证明 $ |W^{j-1}_\varphi|^2 $ 为常数，并结合无限体积与有限能量条件，得出其必为零。

实验结果

研究问题

• RQ1 在何种有限能量条件下，到欧几里得空间的k-调和映射必为调和映射？
• RQ2 当定义域完备且目标空间为欧几里得空间时，广义陈氏猜想是否对k-调和映射（k≥2）成立？
• RQ3 能否从j=1,…,2k−2的有限j-能量条件推导出张力场的消失？
• RQ4 在可积性与曲率假设下，迭代张力场 $ W^j_\varphi $ 的行为如何演化？
• RQ5 在L²-条件下，定义域的体积在k-调和映射的调和性中起何作用？

主要发现

• 所有满足所有 $ j=1,2,\dots,2k-2 $ 下有限j-能量的k-调和映射 $ \varphi: (M,g) \to \mathbb{R}^n $ 均为调和映射。
• 当 $ \text{Vol}(M,g) = \infty $ 时，所有满足偶数j=2,4,…,2k−2下有限j-能量的k-调和映射均为调和映射。
• 张力场 $ \tau(\varphi) $ 恒为零，这是通过迭代应用散度定理与能量衰减论证得出的。
• 关键步骤是通过在构造的1-形式 $ \alpha $ 上应用Gaffney定理，并在可积性假设下证明 $ \int_M |W^{j-1}_\varphi|^2 \, v_g = 0 $。
• 证明依赖于粗略拉普拉斯项的消失以及欧几里得目标空间中雅可比算子的结构。
• 该结果在所有j=1,…,2k−2的L²-正则性条件下，证实了k-调和映射到欧几里得空间的广义陈氏猜想。