[論文レビュー] Finite element methods for isometric embedding of Riemannian manifolds

Guangwei Gao, Kaibo Hu+2 more|arXiv (Cornell University)|Feb 21, 2026

Model Reduction and Neural Networks被引用数 0

ひとこと要約

論文は Weyl の等長埋め込み問題のための新しい弱形式と高次有限要素離散化を導入し、適切さと収束性を証明し、数値的収束性と Ricci 流の可視化への適用性を示す。

ABSTRACT

The isometric embedding problem for Riemannian manifolds, which connects intrinsic and extrinsic geometry, is a central question in differential geometry with deep theoretical significance and wide-ranging applications. Despite extensive analytical progress, the nonlinear and degenerate nature of this problem has hindered the development of rigorous numerical analysis in this area. As the first step toward addressing this gap, we study the numerical approximation of Weyl's problem, i.e., the isometric embedding of two-dimensional Riemannian manifolds with positive Gaussian curvature into $\mathbb{R}^3$, by establishing a new weak formulation that naturally leads to a numerical scheme well suited for high-order finite element discretization, and conducting a systematic analysis to prove the well-posedness of this weak formulation, the existence and uniqueness of its numerical solution, as well as its convergence with error estimates. This provides a foundational framework for computing isometric embeddings of Riemannian manifolds into Euclidean space, with the goal of extending it to a broader range of cases and applications in the future. Our framework also extends naturally to the isometric embedding of the Ricci flow, with rigorous error estimates, enabling the visualization of geometric evolutions in intrinsic curvature flows. Numerical experiments support the theoretical analysis by demonstrating the convergence of the method and its effectiveness in simulating isometric embeddings of given Riemannian manifolds as well as Ricci flows.

研究の動機と目的

• 正のガウス曲率を持つ 2D リーマン多様体の等長埋め込みに対する数値解析のギャップを解消する。
• 高次有限要素離散化に適した構成的な弱形式を開発する。
• 数値スキームの適切性を証明し、収束/誤差推定を提供する。
• 進化する計量と内在的曲率フロー（例： Ricci 流）などの等長埋め込みに対してフレームワークを拡張する。

提案手法

• 等長埋め込み方程式を微分することから導出される埋め込み流の速度に対する新しい変分問題を定式化する。
• 無限小剛体運動に直交する速度場 v を用いて退化性を克服し、鞍点系へ導く。
• 適切性を保証する多様体上の離散 Korn 型不等式を確立する。
• 速度と埋め込みを高次のラグランジュ要素で離散化し、共変レジ元素で計量を離散化する（エラスティシティ対複合性に沿う）。
• 多項式次数 k ≥ 5 に対して誤差推定を含む収束解析を提供する。

Figure 1 . Errors and convergence rate of the numerical scheme in ( 3.15 )

実験結果

リサーチクエスチョン

• RQ1 等長埋め込み問題に対して高次有限要素離散化に適した適切な弱形式を設計できるか。
• RQ2 離散 Korn 型不等式が存在と一意性を保証する条件は何か。
• RQ3 提案する離散化が Weyl の問題に対して収束解と証明可能な誤差推定を与えるか。
• RQ4 フレームワークを内在的曲率フローのような幾何学的進化の可視化へ拡張できるか。

主な発見

• 新規の弱形式が鞍点系を生じさせ、その適切性は多様体 Korn 型不等式により導かれる。
• 半離散有限要素スキームは k ≥ 5 の場合誤差推定とともに収束する。
• 離散 Korn 不等式は離散的な無限小の剛性を特徴づけ、数値解の存在と一意性を支える。
• 高次有限要素（k ≥ 5）はノーマル方向の退化性を扱うため収束結果には必須。
• このフレームワークは収束を検証する数値実験と、等長埋め込みおよび Ricci 流の進展をシミュレートできる能力を支持する。

(a) $t=0$