[論文レビュー] Integral Menger curvature for sets of arbitrary dimension and codimension

Sławomir Kolasiński|arXiv (Cornell University)|Nov 9, 2010

Geometric Analysis and Curvature Flows参考文献 18被引用数 12

ひとこと要約

本稿では、任意の次元および余次元をもつ $\mathbb{R}^n$ 内のコンpaktoな $m$-次元集合に対して、新しい積分的メンジャーカラテュール関数を導入し、有限なカーブチャネルエネルギーが、その集合が多様体として $C^{1,\alpha}$ 型の正則性をもつことを証明している。この結果により、接平面写像の微分のホルダー連続性に関する一様ホルダー評価が得られ、定数はエネルギーと次元にのみ依存する。これは、従来の曲線に関する結果を高次元対象へ一般化するものである。

ABSTRACT

We propose a notion of integral Menger curvature for compact, $m$-dimensional sets in $n$-dimensional Euclidean space and prove that finiteness of this quantity implies that the set is $C^{1,α}$ embedded manifold with the H{ö}lder norm and the size of maps depending only on the curvature. We develop the ideas introduced by Strzelecki and von der Mosel [Adv. Math. 226(2011)] and use a similar strategy to prove our results.

研究の動機と目的

• 任意の次元および余次元をもつ $\mathbb{R}^n$ 内の $m$-次元集合へ、1次元曲線に限らない積分的メンジャーカラテュール理論を拡張すること。
• $m+2$ 個の点がなす単体の体積を、直径の $m+2$ 乗で正規化した量として、曲率の測度としての曲率関数を定義すること。
• この $p$-エネルギーが有限であることにより、集合が $C^{1,\alpha}$ 埋め込み多様体であり、接平面がホルダー連続であることを証明すること。
• 接平面写像の微分のホルダー半ノルムに対する定量的評価を、エネルギーと次元にのみ依存する形で確立すること。
• 従来の曲線および曲面に関する曲率エネルギーに関する結果を、幾何学的・解析的フレームワークを用いて、任意次元の集合へ一般化すること。

提案手法

• 点 $x_0,\dots,x_{m+1}$ の組に対して、$m+1$ 次元体積と直径の $m+2$ 乗との比として定義される離散的曲率 $\mathcal{K}(x_0,\dots,x_{m+1})$ を導入し、局所的な平坦性を捉える。
• $\Sigma$ 上のすべての $m+2$ 個の点の組に対して $\mathcal{K}^p$ を積分することで、$p$-エネルギー関数 $\mathcal{E}_p(\Sigma)$ を定義し、曲率エネルギーの概念を一般化する。
• 各点 $x$ の周囲の局所的幾何をモデル化するためのパラメータ関数 $F_x$ を導入し、その微分 $DF_x$ を用いて接平面の挙動を研究する。
• 球上でダイアディック反復による議論を用い、修正されたジョン＝ニレングラス型不等式に依存して接平面の変動の減衰を評価する。
• 被覆と錐幾何の議論を用いて、小スケールでの集合の平坦性を制御し、錐とグラスマン多様体を距離空間として用いる。
• 再帰的不等式の反復により、$\Phi(r, \overline{\mathbb{D}}(a,R)) \leq C M_p(a,3R) r^\alpha$ という重要な変動評価を導出し、接平面写像の微分のホルダー正則性が得られる。

実験結果

リサーチクエスチョン

• RQ1 任意の $m$ および $n$ に対して、$\mathbb{R}^n$ 内の $m$-次元集合に対して、古典的な1次元の場合を除いても意味的に適切な積分的メンジャーカラテュールを定義できるか？
• RQ2 $p$-エネルギー関数 $\mathcal{E}_p(\Sigma)$ の有限性が、集合 $\Sigma$ が $C^{1,\alpha}$ 埋め込み多様体であることを示唆するか？
• RQ3 接平面写像の微分のホルダー半ノルムに対して、エネルギーと次元を用いてどのような定量的評価を確立できるか？
• RQ4 集合の正則性は曲率エネルギーにどのように依存するか？ そして、この依存関係はスケールおよび点にわたって一様に保たれるか？
• RQ5 曲線および曲面に用いられた技法は、幾何測度論と曲率に基づくエネルギー関数を用いて、任意次元の集合へ一般化可能か？

主な発見

• $p$-エネルギー $\mathcal{E}_p(\Sigma)$ の有限性は、ある $\alpha > 0$ に対して集合 $\Sigma$ が $C^{1,\alpha}$ 埋め込み多様体であることを示し、正則性はエネルギーと次元にのみ依存する。
• 接平面写像の微分のホルダー半ノルムは、定数倍の $\mathcal{E}_p(\Sigma)^{1/p}$ で抑えられ、その定数は $m$ と $p$ のみに依存し、特定の集合とは無関係である。
• 接平面写像が $C^{1,\alpha}$ である領域の半径は、$\mathcal{E}_p(\Sigma)^{-1/\lambda}$ の定数倍で下から抑えられ、小スケールでの一様正則性が保証される。
• 証明により、接平面の変動に対する一様減衰評価が確立され、反復的ダイアディック議論により微分のホルダー連続性が得られる。
• 従来の曲線および曲面における $C^{1,\alpha}$ 正則性に関する結果が、任意次元の集合へ一般化され、曲率エネルギーのアプローチが次元を越えて統一された。
• 重要な不等式 $\Phi(r, \overline{\mathbb{D}}(a,R)) \leq C M_p(a,3R) r^\alpha$ が導出され、微分の変動がスケールのべき乗に従って減少することが示され、望ましいホルダー正則性が得られる。