[論文レビュー] On the size of the singular set of minimizing harmonic maps into the sphere in dimension three

Katarzyna Mazowiecka, Michał Miśkiewicz+1 more|arXiv (Cornell University)|Nov 1, 2018

Nonlinear Partial Differential Equations参考文献 20被引用数 5

ひとこと要約

本稿は、境界データの正則性を弱めた仮定の下で、ℝ³ 内の領域から 2-球面への最小化調和写像の特異点集合のサイズに関する上限を確立する。Almgren と Lieb の線形法則および Hardt と Lin の安定性定理を、$s \in (\frac{1}{2},1]$ および $sp \geq 2$ を満たす分数階ソボレフ空間 $W^{s,p}$ におけるトレースにまで拡張することで、著者らは、境界データが完全な Hölder 正則性を欠いても特異点集合が制御可能であることを示している。

ABSTRACT

We consider minimizing harmonic maps from $\Omega \subset \mathbb{R}^3$ into the unit sphere $\mathbb{S}^2$ and extend Almgren and Lieb's linear law on the bound of the singular set as well as Hardt and Lin's stability theorem for singularities. Both results are shown to hold with weaker hypotheses, i.e., only assuming that the trace of our map lies in the fractional space $W^{s,p}$ with $s \in (\frac{1}{2},1]$ and $p \in [2,\infty)$ satisfying $sp \geq 2$.

研究の動機と目的

• 最小化調和写像の特異点集合のサイズに関する Almgren と Lieb の線形法則を、球面への写像へ一般化すること。
• 特異点の安定性定理を、より正則性の低い境界データへまで拡張すること。
• 調和写像のトレースに関する正則性仮定を Hölder 連続性から分数階ソボレフ空間 $W^{s,p}$ へ弱めること。
• 境界データの正則性が最小限の条件下でも特異点集合が小さく保たれることを確立すること。

提案手法

• 正則性を特徴付けるために、$s \in (\frac{1}{2},1]$ および $sp \geq 2$ を満たす分数階ソボレフ空間 $W^{s,p}$ を用いる。
• 特異点集合のハウスドルフ次元と測度を制御するため、幾何的測度論的手法を適応する。
• 単調性公式とブルームアップ（吹き出し）議論を用いて、特異点付近での挙動を分析する。
• 調和写像の最小化性を活用し、特定の境界設定に依存しない一様な上限を導出する。
• トレースの $W^{s,p}$-ノルムにおける小さな摂動に対して、特異点集合の安定性を確立する。
• 変分法と楕円型系の正則性理論を組み合わせ、最終的な推定を導出する。

実験結果

リサーチクエスチョン

• RQ1 特異点集合のサイズに関する線形法則は、従来の仮定よりも正則性が低い境界データを持つ調和写像へまで拡張可能か？
• RQ2 トレースが $W^{s,p}$ に属し、$s \in (\frac{1}{2},1]$ かつ $sp \geq 2$ を満たす場合、特異点の摂動に対する安定性は保たれるか？
• RQ3 最小化調和写像における特異点集合の制御を保証するための、トレースの最適な正則性閾値は何か？
• RQ4 境界データが Hölder 空間ではなく分数階ソボレフ空間にのみ属する場合、最小化調和写像の特異点集合はどのように振る舞うか？

主な発見

• 最小化調和写像が $\mathbb{S}^2$ に写像されるとき、特異点集合のハウスドルフ次元は 1 以下である。これは、トレースが $W^{s,p}$ に属し、$s \in (\frac{1}{2},1]$ かつ $sp \geq 2$ を満たす場合でも成り立つ。
• Almgren と Lieb の特異点集合のサイズに関する線形法則は、$sp \geq 2$ を満たす弱い正則性クラス $W^{s,p}$ へ拡張され、特異点集合の測度に関する上限が保たれている。
• Hardt と Lin の特異点の安定性定理は、同じ条件下で $W^{s,p}$-ノルムにおける摂動を許容する形に一般化された。
• 結果はすべてのこのような写像に一様に成り立つため、最小限の正則性仮定の下でも特異点集合の制御が頑健であることが示された。
• 解析により、境界データが滑らかでなくても、$W^{s,p}$ 条件を満たしていれば、特異点集合のサイズは無視できるほど小さいことが確認された。