[論文レビュー] Minimality for unions of 2-dimensional minimal cones with non-isolated singularities

Xiangyu Liang|arXiv (Cornell University)|Aug 29, 2018

Advanced Banach Space Theory参考文献 18被引用数 4

ひとこと要約

本稿では、非孤立な特異点をもつ2次元Almgren最小集合のほぼ直交和が、広範な条件下で最小集合のままであることを確立する。著者らは、新規の停止時刻の議論、$\epsilon$-分解、および測度推定を用いて、このような和集合の最小性、安定性、一意性を証明し、直交平面の結果を超えて特異点をもつ最小集合へと理論を拡張する。

ABSTRACT

In this article we prove that for a large class of 2-dimensional minimal cones (including almost all 2-dimensional minimal cones that we know), the almost orthogonal union of any two of them is still a minimal cone. Comparing to existing results for minimality of almost orthogonal union of planes \cite{2p,2ptopo}, here we are dealing with unions of cones with non isolated singularities, which results in a series of essential difficulties, and new ideas are required. The proof in this article can be generalized to other types of minimalities, e.g. topological minimality, Reifenberg minimality, etc..

研究の動機と目的

• 横断的配置における既知の特異点の和を構成することで、2次元Almgren最小集合の新たな特異点族を分類すること。
• 最小集合における非孤立特異点の課題に取り組み、従来の最小性証明が困難になること。
• 平面のほぼ直交和の理論を、複雑な特異構造をもつ一般の2次元最小集合へと拡張すること。
• ほぼ直交条件の下で、このような和集合のスライディング最小性および位相的最小性、一意性、安定性を確立すること。
• 直交平面の和に用いられる技術を、非孤立特異点をもつコーンへ一般化し、新たな解析的道具を要すること。

提案手法

• 特異領域付近での競合者（competitor）の挙動を制御するための停止時刻の議論を導入し、有限ステップでプロセスが終了することを保証する。
• 競合者を正則部と特異部に分解する$\epsilon$-分解技術を採用し、局所的な測度推定を可能にする。
• 正則領域および特異領域における測度推定（過剰推定も含む）を用いて、競合者のHausdorff測度と元のコーンの測度を比較する。
• 測度を小さくするように競合者を変換する還元議論を適用し、最小性が成立しない場合に矛盾を導く。
• Almgrenの一意性および安定性定理を活用し、測度が小さい任意の競合者が、和集合の最小性に反することを示す。
• 変形に基づく議論を$G$-位相的競合者条件に置き換えることで、スライディングおよび位相的最小性の証明にフレームワークを適応する。

実験結果

リサーチクエスチョン

• RQ1 非孤立な特異点をもつ2次元最小集合のほぼ直交和が、どのような条件下で最小集合となるか？
• RQ2 特異集合が非孤立である場合、標準的な正則性ツールが失敗するにもかかわらず、最小性をどのように証明できるか？
• RQ3 停止時刻および$\epsilon$-分解のアプローチを用いて、このような和集合の一意性および安定性を確立できるか？
• RQ4 直交平面の和に関する結果を、非孤立特異点をもつコーンへどの程度一般化できるか？
• RQ5 $G$-位相的に一意的かつスライディング安定な最小集合のほぼ直交和は、自身も$G$-位相的に最小かつ安定か？

主な発見

• 非孤立特異点をもつ2次元最小集合の広いクラス（既知のほとんどすべてを含む）において、任意の2つのほぼ直交和は最小集合である。
• 証明で用いられる$\epsilon$-プロセスは有限ステップで終了しなければならず、無限プロセスが許容されると和集合の測度最小性に矛盾する。
• 任意の競合者$F_k$のHausdorff測度は、最終的に和集合コーン$C_k$の測度を上回り、最小性が成立しない場合に矛盾を引き起こす。
• スライディング安定性およびAlmgrenの一意性は、コーンがスライディング安定かつ一意に定義されている限り、ほぼ直交和のもとで保存される。
• 結果は$G$-位相的最小性へ一般化可能であり、類似した幾何的条件下で同様の安定性および一意性の結果が成り立つ。
• 証明フレームワークは、Reifenberg最小性を含む他の最小性概念に対しても適用可能であり、Almgren最小性を超えた広範な適用可能性を示している。