[論文レビュー] Area minimizing discs in locally non-compact metric spaces

Chang‐Yu Guo, Stefan Wenger|arXiv (Cornell University)|Jan 24, 2017

Spectral Theory in Mathematical Physics参考文献 17被引用数 4

ひとこと要約

この論文は、非局所コンパクトな空間（双対バナッハ空間、$L^1$、ハダマード空間など）を含む広範なクラスの距離空間において、古典的プレートウの問題とディリクレ問題を解決する。超限極限によるソボレフ写像の一般化されたリリッヒ＝コンドラチョフのコンパクト性定理を導入することで、超完備化において1-補完まれた空間では面積を最小化する円板とエネルギーを最小化する写像の存在を示し、従来の結果を固有空間から非コンパクトな距離空間へ拡張する。

ABSTRACT

We solve the classical problem of Plateau in every metric space which is $1$-complemented in an ultra-completion of itself. This includes all proper metric spaces as well as many locally non-compact metric spaces, in particular, all dual Banach spaces, some non-dual Banach spaces such as $L^1$, all Hadamard spaces, and many more. Our results generalize corresponding results of Lytchak and the second author from the setting of proper metric spaces to that of locally non-compact ones. We furthermore solve the Dirichlet problem in the same class of spaces. The main new ingredient in our proofs is a suitable generalization of the Rellich-Kondrachov compactness theorem, from which we deduce a result about ultra-limits of sequences of Sobolev maps.

研究の動機と目的

• 固有空間を超えて、より広い非局所コンパクトな空間への面積を最小化する円板およびエネルギーを最小化する写像の存在を拡張すること。
• 双対バナッハ空間や$L^1$のような局所コンパクトでない距離空間において、古典的プレートウ問題を扱うこと。
• エネルギー最小化に基づくソボレフ写像を用いて、同じクラスの距離空間へのディリクレ問題の一般化。
• 超限極限によるソボレフ写像の系列のコンパクト性枠組みを確立し、非コンパクトな設定における存在定理の証明を可能にすること。

提案手法

• 非主超フィルターを用いて、距離空間がその超完備化において1-補完まれているという概念を導入する。
• 非主超フィルターを用いて、$u_m \in W^{1,p}(\Omega, X)$ であるソボレフ写像の系列の超限極限を、超完備化 $X_\omega$ 内の同値類 $[(u_m(z))]$ として定義する。
• 超限極限設定におけるソボレフ写像の系列に対して、一般化されたリリッヒ＝コンドラチョフのコンパクト性定理を確立する。
• 超完備化 $X_\omega$ から $X$ への1リプシッツ連続なリトラクション $P: X_\omega \to X$ の存在を用いて、超限極限写像を $X$ に引き戻し、エネルギーの有界性と境界条件を保存する。
• 超限極限におけるReshetnyakエネルギー $E_+^p$ の下方連続性を適用し、$W^{1,p}(\Omega, X)$ 内で最小化子を抽出する。
• 最小化子が $\sqrt{2}$-準正則的であり、一般には最適な定数であるが、追加の幾何的条件のもとで1に改善されることを証明する。

実験結果

リサーチクエスチョン

• RQ1 非局所コンパクトな距離空間（例：$L^1$ や双対バナッハ空間）において、古典的プレートウ問題を解くことは可能か？
• RQ2 面積を最小化する円板の存在が、固有空間を超えて、超完備化において1-補完まれた空間へ拡張可能か？
• RQ3 エネルギー最小化を用いて、同じクラスの非局所コンパクトな距離空間におけるディリクレ問題を解くことは可能か？
• RQ4 標準的な逐次コンパクト性が失敗する非コンパクトな設定において、最小化子の抽出を可能にするコンパクト性原理は何か？
• RQ5 超限極限の構成は、距離値ソボレフ写像の文脈において、リリッヒ＝コンドラチョフの古典的コンパクト性定理をどのように一般化するか？

主な発見

• 任意の完備距離空間 $X$ がその超完備化において1-補完まれており、境界空間 $\Lambda(\Gamma, X)$ が空でない限り、面積を最小化する円板の存在が確立される。
• すべてのこのような最小化子は $\sqrt{2}$-準正則的であり、一般には最適な定数であるが、性質 (ET) を持つ空間では1に改善される。
• すべてのこのような空間においてディリクレ問題が解かれる：任意の $w \in W^{1,p}(\Omega, X)$ に対して、同じ境界条件を満たし、$E_+^p$-エネルギーを最小化する $u \in W^{1,p}(\Omega, X)$ が存在する。
• 1-補完まれる条件を満たす空間のクラスには、すべての固有距離空間、すべての双対バナッハ空間、$L^1$、ハダマード空間、およびインジェクティブ距離空間が含まれる。
• 超限極限の構成により、$X_\omega$ 内の極限から、1リプシッツ連続なリトラクションを用いて $X$ 内の最小化子を回復でき、エネルギーおよび境界条件の性質が保存される。
• Lytchak と Wenger の従来の結果を、固有空間から著しく広い非局所コンパクトな空間のクラスへ一般化する。