[論文レビュー] Solutions To Lipschitz Variational Problems With Cohomological Spanning Conditions

Jenny Harrison, Harrison Pugh|arXiv (Cornell University)|Jun 4, 2015

Optimization and Variational Analysis被引用数 4

ひとこと要約

本稿は、$ℝ^n$ 内の任意の次元および余次元の曲面に対して、コhomologicalな境界条件のもとでリプシッツ汎関数の最小化子の存在および正則性を確立する。リーフェンベルク、ベシコビッチ、アダムズの手法を一般化し、密度の漸近的単調性の証明、特化された最小化列の構成、およびコhomological境界制約の導入により、定数被積分関数におけるプレートウの問題の解決に至る。

ABSTRACT

We prove existence and regularity of minimizers for Lipschitz integrands over general surfaces of arbitrary dimension and codimension in \( \R^n \), satisfying a cohomological boundary condition. Our result specializes to a version of Plateau's problem in the case of a constant integrand. We generalize and extend methods of Reifenberg, Besicovitch, and Adams; in particular, we prove an asymptotic monotonicity result (density exists in the absence of true monotonicity,) we generalize a type of minimizing sequence used by Reifenberg (whose limits have nice properties, including lower bounds on lower density and finite Hausdorff measure,) and develop cohomological spanning conditions.

研究の動機と目的

• $ℝ^n$ 内の任意の次元および余次元の曲面に対して、リプシッツ被積分関数の最小化子の存在および正則性を確立すること。
• リーフェンベルク、ベシコビッチ、アダムズの古典的手法を、コhomological境界条件を扱えるように一般化すること。
• 幾何的変分問題における境界制約を一般化する、コhomologicalなスパンニング条件の枠組みを構築すること。
• 真の単調性が成り立たない状況においても、密度の漸近的単調性を証明し、コンパクト性および正則性の結果を得ること。

提案手法

• 幾何的変分問題における境界制約の一般化として、コhomologicalなスパンニング条件を導入する。
• 真の単調性が成り立たない場合でも、密度の漸近的単調性を証明する。
• 極限が有限のハウスドルフ測度および正の下からの密度を有するように、特化された最小化列を構成する。
• コンパクト性および極限の正則性を保証するために、リーフェンベルクの最小化列の手法を適応・拡張する。
• 幾何測度論およびコhomologyの技術を用いて、最小化曲面の位相を制御する。
• コhomological条件の構造を活用し、最小化子の下からの密度に対する一様な下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 $ℝ^n$ 内の任意の次元および余次元の曲面に対して、コhomologicalなスパンニング条件のもとで、リプシッツ変分問題の最小化子の存在および正則性を確立できるか？
• RQ2 コhomologicalなスパンニング条件は、プレートウ型問題における境界条件をどのように一般化できるか？
• RQ3 真の単調性が成り立たない状況において、幾何的変分問題における密度の漸近的単調性の役割は何か？
• RQ4 リーフェンベルク型の最小化列はコhomological制約のもとでどのように振る舞い、その極限はどのような正則性を示すか？
• RQ5 ベシコビッチおよびアダムズの手法は、非定数被積分関数および一般の余次元に対し拡張可能か？

主な発見

• $ℝ^n$ 内の任意の次元および余次元の曲面に対して、コhomologicalなスパンニング条件のもとで、リプシッツ被積分関数の最小化子の存在が本稿で証明された。
• 真の単調性が成り立たない場合でも、密度の漸近的単調性が確立され、真の単調性が失敗しても密度の存在が保証された。
• 構築された最小化列の極限は、有限のハウスドルフ測度および正の下からの密度を有しており、正則性が保証された。
• コhomologicalなスパンニング条件は、古典的な境界条件を一般化し、より広いクラスの変分問題を扱えるようにした。
• この枠組みにより、定数被積分関数の場合にプレートウの問題の解が回復され、古典的な結果が拡張された。
• 本手法は、リーフェンベルクのアプローチを高余次元および非定数被積分関数へと成功裏に一般化した。