[论文解读] On the manifold of closed hypersurfaces in R^n

Jan Pruess, Gieri Simonett|arXiv (Cornell University)|Dec 28, 2012

Geometric Analysis and Curvature Flows参考文献 9被引用 21

一句话总结

本文利用直接映射法，为 R^n 中移动超曲面的分析构建了一个几何工具箱，聚焦于通过参考曲面上的法向高度函数定义的超曲面。该文建立了关键的微分几何量——平均曲率、Weingarten 张量、曲面梯度与散度——以高度函数表示，并证明满足统一球条件的紧致嵌入超曲面空间可被识别为 C²(Ω̄) 的子流形，从而实现紧致性与嵌入结果，这对研究具有移动界面的演化方程至关重要。

ABSTRACT

Several results from differential geometry of hypersurfaces in R^n are derived to form a tool box for the direct mapping method. The latter technique has been widely employed to solve problems with moving interfaces, and to study the asymptotics of the induced semiflows.

研究动机与目标

• 为 R^n 中的超曲面提供一套全面的微分几何结果工具包，尤其适用于涉及移动界面的问题。
• 形式化在统一球条件下的紧致嵌入 C²-超曲面空间的流形结构。
• 通过将超曲面空间识别为 C²-流形，使最大正则性理论能够应用于移动界面问题。
• 以参考曲面之上的高度函数表示几何量（平均曲率、Weingarten 张量、Laplace-Beltrami 算子）的显式表达式。
• 证明满足统一球条件的 C²-超曲面类可嵌入 C²(Ω̄)，从而确保分析中所需的紧致性与嵌入性质。

提出的方法

• 通过高度函数 ρ ∈ C²(Σ, ℝ) 将扰动超曲面 Γρ 参数化为固定参考曲面 Σ 上的法向图。
• 推导出在 Γρ 上主曲率、平均曲率、曲面梯度、曲面散度与 Laplace-Beltrami 算子的显式公式，其表达式以 ρ 和 Σ 的几何性质表示。
• 利用管状邻域构造，并通过固定截断函数 χ 定义统一的水平函数 φΓ = g(dΓ(x))，以确保整个超曲面族的统一正则性。
• 通过将每个超曲面映射至其水平函数，建立从 M²(Ω,r) 到 C²(Ω̄) 的单射同构嵌入 Φ: M²(Ω,r) → C²(Ω̄)，从而实现拓扑与分析控制。
• 证明水平函数在 C²(Ω̄)-范数下的收敛性蕴含超曲面及其法丛的 Hausdorff 收敛性，将函数空间收敛性与几何收敛性联系起来。
• 应用 Rellich 定理，证明当 s−n/p > σ−n/q 且 s > σ 时，Wˢᵖ(Ω,r) 可紧致嵌入 W^σ_q(Ω,r)，从而在 Sobolev 空间中保证紧致性。

实验结果

研究问题

• RQ1 如何将平均曲率与曲面散度等几何量以参考超曲面 Σ 上的高度函数 ρ 显式表示？
• RQ2 在统一球条件下，R^n 中紧致嵌入 C²-超曲面空间的流形结构为何？
• RQ3 如何通过将超曲面空间识别为 Banach 空间或 C²-流形，严格证明直接映射法适用于移动界面问题？
• RQ4 何种条件可保证水平函数在 C²(Ω̄) 中的收敛性蕴含对应超曲面及其法丛的几何收敛性？
• RQ5 在何种条件下，将超曲面空间嵌入 C²(Ω̄) 可保持紧致性，并允许在 Sobolev 空间中应用嵌入定理？

主要发现

• 以参考曲面 Σ 上的法向图定义的超曲面 Γρ 的平均曲率为 κ′(0) = tr(LΣ²) + ΔΣ，其中 LΣ 为 Weingarten 张量，ΔΣ 为 Σ 上的 Laplace-Beltrami 算子。
• 在有界区域 Ω 中满足统一球条件（半径 r > 0）的紧致嵌入 C²-超曲面空间 M²(Ω,r) 可被识别为 C²(Ω̄) 的子集，构成 C²-流形。
• 由 Γ ↦ φΓ 定义的嵌入 Φ: M²(Ω,r) → C²(Ω̄) 是同构，且当 φΓ₁ 与 φΓ₂ 在 C²(Ω̄)-范数下收敛时，蕴含超曲面及其法丛的 Hausdorff 收敛性。
• 当 s−(n−1)/p > 2 时，水平函数属于 Wˢᵖ(Ω) 的超曲面空间 Wˢᵖ(Ω,r) 继承流形结构，且当 s−n/p > σ−n/q 且 s > σ 时具有紧致性。
• 通过使用固定截断函数 χ 构造统一定义的水平函数 φΓ，可确保管状邻域宽度超过 r/2，从而在 M²(Ω,r) 整个族中实现统一估计。
• 即使对于 C²-超曲面，直接映射法仍适用于移动界面问题，方法是通过第二法丛中的实解析超曲面逼近，从而保持正则性。