[论文解读] Some constructions of biharmonic maps and Chen's conjecture on biharmonic hypersurfaces

Ye‐Lin Ou|arXiv (Cornell University)|Dec 6, 2009

Geometric Analysis and Curvature Flows参考文献 14被引用 8

一句话总结

本文通过正交乘法和特征映射，提出了一类新的恰当双调和映射构造方法，生成了诸如球面中的双调和环面等显式例子，并通过双调和图方程建立了陈猜想在双调和超曲面问题上的等价解析形式，从而为该猜想的深入分析研究提供了可能。

ABSTRACT

We give several construction methods and use them to produce many examples of proper biharmonic maps including biharmonic tori of any dimension in Euclidean spheres (Theorem 2.2, Corollaries 2.3, 2.4, and 2.6), biharmonic maps between spheres (Theorem 2.9) and into spheres (Theorem 2.10) via orthogonal multiplications and eigenmaps. We also study biharmonic graphs of maps, derive the equation for a function whose graph is a biharmonic hypersurface in a Euclidean space, and give an equivalent formulation of Chen's conjecture on biharmonic hypersurfaces by using the biahrmonic graph equation (Theorem 4.1) which paves a way for analytic study of the conjecture.

研究动机与目标

• 开发系统化的恰当双调和映射构造方法，特别是在球面等对称空间中。
• 生成恰当双调和映射的显式例子，包括欧氏球面中任意维数的双调和环面。
• 通过双调和图方程，将陈猜想在双调和超曲面上的问题重构为等价的解析问题。
• 通过将该猜想与偏微分方程组的可解性联系起来，建立其解析研究的框架。

提出的方法

• 利用正交乘法和特征映射，构造出映射到球面中的新一族双调和映射。
• 推导出在欧氏空间中，其图是双调和超曲面的函数的双调和图方程。
• 应用框架适配和黎曼几何方法，计算图超曲面上的拉普拉斯算子和第二基本形式。
• 利用高斯公式和联络计算，将环境空间的曲率与诱导度量及第二基本形式联系起来。
• 建立双张量场消失与包含函数拉普拉斯及其导数的偏微分方程组之间的等价性。
• 应用隐函数定理，证明任意超曲面在局部上可表示为图，从而将非调和双调和超曲面问题约化为求解双调和图方程。

实验结果

研究问题

• RQ1 能否利用正交乘法等代数结构系统地生成新的显式恰当双调和映射构造？
• RQ2 欧氏球面中是否存在任意维数的双调和环面？若存在，如何构造？
• RQ3 陈猜想在双调和超曲面上是否等价于图函数所对应偏微分方程组的可解性条件？
• RQ4 双调和图方程与伯恩斯坦猜想等经典猜想有何关联？
• RQ5 陈猜想的解析表述能否促进证明或反证该猜想的新方法？

主要发现

• 本文通过正交乘法，从任意维数的环面构造出映射到单位球面的恰当双调和映射，证明了在球面中存在任意维数的双调和环面（定理 2.2，推论 2.3 和 2.4）。
• 通过特征映射和正交乘法，提供了球面之间及球面内的双调和映射的显式构造（定理 2.6 和定理 2.7）。
• 本文推导出双调和图方程，表明当且仅当函数的拉普拉斯满足涉及二阶导数和图所诱导度量的偏微分方程组时，其图才是双调和超曲面（定理 4.1）。
• 证明了陈猜想在双调和超曲面上等价于双调和图方程的唯一解为调和函数（即 Δf = 0），从而将该猜想转化为一个解析的偏微分方程问题。
• 本文建立了陈猜想与伯恩斯坦猜想之间的结构类比，表明两者均涉及特定偏微分方程解的平凡性；尽管伯恩斯坦猜想在 m > 7 时不成立，暗示陈猜想在高维中也可能为假。