[論文レビュー] A regularity theory for multiple-valued Dirichlet minimizing maps

Wei Zhu|ArXiv.org|Aug 7, 2006

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

ひとこと要約

本稿は、正規化エネルギーが小さいとき、分岐点におけるエネルギー減衰を示すことで、球面への多値Dirichlet最小化写像の鋭い正則性理論を確立する。これにより、最初の最適次元推定が得られ、特異集合のハウスドルフ次元は高々 $m-3$ である。吹き上げ解析と次元削減を用いて、単値調和写像の古典的正則性理論をAlmgrenが導入した多値設定に拡張し、特異集合を除く領域でホルダー連続性を示す。

ABSTRACT

This paper discusses the regularity of multiple-valued Dirichlet minimizing maps into the sphere. It shows that even at branched point, as long as the normalized energy is small enough, we have the energy decay estimate. Combined with the previous work by Chun-Chi Lin, we get our first estimate that m-2 dimensional Hausdorff measure of singular set is zero. Furthermore, by looking at the tangent map and using dimension reduction argument, we show that the singular set is at least of codimension 3.

研究の動機と目的

• 球面への多値Dirichlet最小化写像の鋭い正則性推定、特に分岐点における推定を確立すること。
• Almgrenが導入した多値設定に、単値調和写像の古典的正則性理論を拡張すること。
• このような写像の特異集合がハウスドルフ次元高々 $m-3$ であることを証明すること。これは最適な余次元境界に達する。
• 多値関数の文脈で、吹き上げ列と接写像を用いた新しい正則性枠組みを構築すること。
• 多値エネルギー最小化写像の特異集合の最適次元推定という未解決問題に取り組むこと。

提案手法

• 写像が $b \in \mathbb{S}^{n-1}$ に対して $Q[[b]]$ の形をとる分岐集合 $B_0$ の点において、吹き上げ解析を用いて接写像を抽出する。
• ポincare型不等式とエネルギー改善推定を適用し、正規化エネルギーが小さいとき、分岐点近傍でのエネルギー減衰が成立することを示す。
• 正規化エネルギー $Θ_u(y)$ の単調性公式を用いて、接写像の挙動とその同次性を分析する。
• 非自明な対称性部分空間 $S(\varphi)$ を持つ同次度ゼロ最小化写像は、$\dim S(\varphi) = m$ ならば定数でなければならないが、そうでなければ $S(\varphi)$ 沿いに特異的であることを用いる。
• 次元削減を適用するため、各 $j$ に対して $S_j = \{ y \in \text{sing}\,u : \dim S(\varphi) \leq j \text{ となるすべての接写像 } \varphi \text{ が } y \text{ で存在する} \}$ を定義し、$\dim S_j \leq j$ を証明する。
• エネルギー減衰推定とモレイの成長補題を組み合わせ、特異集合を除く領域でのホルダー連続性を導出する。

実験結果

リサーチクエスチョン

• RQ1 球面への多値Dirichlet最小化写像の特異集合が次元高々 $m-3$ であることを示せるか？
• RQ2 正規化エネルギーが小さいとき、多値設定においても分岐点でエネルギー減衰が生じるか？
• RQ3 単値調和写像に用いられる次元削減技法を多値ケースに適応可能か？
• RQ4 特異点における接写像の構造は何か？ そして、それが特異集合の大きさにどのような制約を課えるか？
• RQ5 このような写像の特異集合に対して $m-3$ の余次元境界は最適か？

主な発見

• 厳密に定義されたDirichlet最小化多値写像 $u \in \mathcal{Y}_2(\mathbb{B}_1^m(0), \underline{Q}(\mathbb{S}^{n-1}))$ の特異集合はハウスドルフ次元高々 $m-3$ である。
• 正規化エネルギーが十分に小さいとき、吹き上げ法とDirichlet最小化極限への強収束を用いて、分岐点におけるエネルギー減衰が確立される。
• $S_{m-3}$ は、すべての接写像の対称性部分空間の次元が高々 $m-3$ である点の集合として定義され、これは全特異集合 $\text{sing}\,u$ に一致する。
• 各 $j=0,1,\dots,m-3$ に対して、$S_j$ のハウスドルフ次元は高々 $j$ であり、$S_0 \cap \{x : \Theta_u(x) = \alpha\}$ は任意の $\alpha \geq 0$ に対して離散的である。
• 結果として、特異集合は少なくとも余次元3を満たし、$k \geq 3$ の単値ケースで知られている最適境界と一致することが確認された。
• 証明により、非定数の同次度ゼロ最小化写像は、線形部分空間 $S(\varphi)$ 沿いに特異的であり、$S(\varphi) \subset \text{sing}\,\varphi$ であることが示された。