[论文解读] The Dirichlet Problem for the Minimal Surface System in Arbitrary Codimension

Mu‐Tao Wang|ArXiv.org|Sep 14, 2002

Geometric Analysis and Curvature Flows参考文献 20被引用 11

一句话总结

本文建立了在任意余维数 m 下，极小曲面系统狄利克雷问题可解性的充分条件。通过分析初始数据为 ψ 的抛物型平均曲率流，作者证明：若初始映射 ψ 满足涉及其二阶导数与边界梯度的有界性条件，则存在光滑解。关键结果为一个定量可解性准则：8nδ supΩ|D²ψ| + √2 sup∂Ω|Dψ| < 1，该条件在拉夫森-奥斯曼反例的视角下是精确的。

ABSTRACT

We solve the Cauchy-Dirichlet problem for the minimal surface system in arbitrary dimension and codimension assuming a condition on the variation of the initial submanifold .

研究动机与目标

• 解决高余维数下极小曲面系统狄利克雷问题的可解性，其中一维余维数的经典结果无法推广。
• 识别初始数据 ψ 的一个定量条件，以保证极小曲面系统解的存在性与光滑性。
• 将抛物型方法——利用平均曲率流——推广至任意余维数下的非参数情形，克服高余维数下面积泛函缺乏凸性的缺陷。
• 提供一个与已知反例（如拉夫森-奥斯曼的不可解情形）相匹配的精确可解性条件。

提出的方法

• 本文研究初始数据为 ψ 的抛物型平均曲率流的柯西-狄利克雷问题，将 ψ 视为屏障曲面。
• 通过将 ψ 用作屏障，推导出边界梯度估计，从而控制解在边界附近的演化行为。
• 分析依赖于对高余维数平均曲率流的极大值原理，该原理改编自文献 [21, 22]，用于控制第二基本形式。
• 面积元素 √g 满足微分方程 d√g/dt = -|H|²√g，确保 |H|² 随时间均匀衰减。
• 通过爆破分析与阿勒尔德正则性定理，建立内部与边界正则性，关键假设为 |λiλj| ≤ 1 - ε（i ≠ j）。
• 证明利用了极小曲面系统是面积泛函 ∫√det(I + (Df)ᵀDf) 的临界点这一事实，并将抛物流作为梯度流，推动初始数据向解演化。

实验结果

研究问题

• RQ1 在边界数据 ψ 满足何种条件时，极小曲面系统在任意余维数 m 下的狄利克雷问题存在光滑解？
• RQ2 能否通过平均曲率流的抛物型方法，建立高余维数下非参数极小子流形的存在性与正则性？
• RQ3 在已知反例的背景下，条件 8nδ supΩ|D²ψ| + √2 sup∂Ω|Dψ| < 1 是否为可解性的必要且充分条件？
• RQ4 与余维数一的情形相比，极小曲面系统解的正则性在高余维数下有何不同，特别是关于利普希茨连续与光滑解的差异？

主要发现

• 若 8nδ supΩ|D²ψ| + √2 sup∂Ω|Dψ| < 1，其中 δ 为定义域 Ω 的直径，则极小曲面系统的狄利克雷问题在光滑映射下可解。
• 该条件是精确的：当此不等式不成立时，存在反例（如拉夫森-奥斯曼的不可解锥面），表明该界无法放宽。
• 以 ψ 为初始数据的平均曲率流可光滑地演化至所有时间，且解收敛于满足 |Df| < 1 的极小图。
• 该流保持梯度有界性，并确保 |H|² 的均匀衰减，从而蕴含极限极小图的存在性。
• 通过爆破分析建立内部正则性：若对所有 i ≠ j 有 |λiλj| ≤ 1 - ε，则解为光滑的，因为任意奇点处的切锥必为平坦的。
• 边界正则性由阿勒尔德正则性定理推出，解在内部为 C∞ 级，在边界处为 C¹ 级。