[论文解读] Biharmonic properly immersed submanifolds in Euclidean spaces

Kazuo Akutagawa, Shun Maeta|arXiv (Cornell University)|Jun 16, 2011

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

一句话总结

本文证明了在欧几里得空间中，任何完备的双调和且适当浸入的子流形必为极小的，从而证实了陈氏猜想的全局版本。通过使用基于位置向量的径向函数修改后的最大值原理，若平均曲率为非零，则导出矛盾，从而在不假设第二基本形式有界的情况下，确立了极小性。

ABSTRACT

We consider a complete biharmonic immersed submanifold $M$ in an Euclidean space $\mathbb{E}^N$. Assume that the immersion is proper, that is, the preimage of every compact set in $\mathbb{E}^N$ is also compact in $M$. Then, we prove that $M$ is minimal. It is considered as an affirmative answer to the global version of Chen's conjecture for biharmonic submanifolds.

研究动机与目标

• 解决欧几里得空间中双调和子流形的陈氏猜想的全局版本。
• 在适当浸入的条件下，确立完备双调和子流形的极小性。
• 通过使用位置向量而非距离函数，克服子流形中 Ricci 曲率下界缺失的问题。
• 在不假设第二基本形式有界的前提下，为陈氏猜想提供一个全局肯定答案。
• 通过新颖地应用广义最大值原理，将已知的局部结果推广至全局情形。

提出的方法

• 在子流形与 $\mathbb{E}^N$ 中球体的交集的紧致子集上，定义测试函数 $ F(x) = (\rho^2 - |\mathbf{x}(x)|^2)^2 |\mathbf{H}(x)|^2 $。
• 对 $ F $ 应用广义最大值原理，利用 $ M $ 的适当浸入性质以确保水平集的紧致性。
• 利用双调和性条件 $ \Delta \mathbf{H} = 0 $ 和恒等式 $ \Delta \mathbf{x} = n \mathbf{H} $，推导出 $ \Delta |\mathbf{H}|^2 $ 的估计。
• 建立关键不等式 $ \Delta |\mathbf{H}|^2 \geq 2n |\mathbf{H}|^4 $，该不等式是矛盾论证的核心。
• 在最大值点 $ p $ 处推导出 $ \Delta F \leq 0 $ 的点态估计，从而得到 $ |\mathbf{H}(x)|^2 $ 关于 $ \rho $ 和 $ |\mathbf{x}(x)| $ 的界。
• 在所得不等式中取极限 $ \rho \to \infty $，以证明 $ |\mathbf{H}(x_0)|^2 = 0 $，与平均曲率非零的假设矛盾。

实验结果

研究问题

• RQ1 在 $\mathbb{E}^N$ 中，任何完备的双调和且适当浸入的子流形是否必为极小的？
• RQ2 能否通过使用位置向量而非距离函数，将广义最大值原理适配于无 Ricci 曲率下界约束的子流形？
• RQ3 第二基本形式无界是否会导致标准最大值原理技术在双调和几何中失效？
• RQ4 能否在不假设紧致性或有界几何的前提下，证明陈氏猜想的全局版本？
• RQ5 适当浸入在确保最大值原理论证所需紧致性方面起什么作用？

主要发现

• 任何在 $\mathbb{E}^N$ 中双调和且适当浸入的子流形都是极小的，从而证实了陈氏猜想的全局版本。
• 关键不等式 $ \Delta |\mathbf{H}|^2 \geq 2n |\mathbf{H}|^4 $ 对所有双调和子流形成立，且等号成立当且仅当 $ \mathbf{H} = 0 $。
• 函数 $ F_{\rho}(x) = (\rho^2 - |\mathbf{x}(x)|^2)^2 |\mathbf{H}(x)|^2 $ 的最大值被某个与 $ \rho $ 无关的常数 $ c > 0 $ 控制，即有界于 $ c\rho^2 $。
• 在估计式 $ |\mathbf{H}(x)|^2 \leq \frac{c\rho^2}{(\rho^2 - |\mathbf{x}(x)|^2)^2} $ 中取极限 $ \rho \to \infty $，可推出在任意点 $ x_0 $ 处 $ |\mathbf{H}(x_0)|^2 = 0 $，与非极小性假设矛盾。
• 该证明通过在最大值原理构造中用位置向量范数替代距离函数，避免了对第二基本形式的假设。
• 即使 Ricci 曲率无下界，该结果依然成立，因为通过利用环境空间的几何特性，绕过了对这类下界的需求。