[论文解读] 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

一句话总结

本文在包括对偶 Banach 空间、$L^1$ 和 Hadamard 空间在内的广泛一类度量空间中解决了经典的 Plateau 问题和 Dirichlet 问题，这些空间未必是局部紧的。通过引入基于 Sobolev 映射的超极限的广义 Rellich-Kondrachov 紧致性定理，作者证明了在超完备化中 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.

研究动机与目标

• 将面积极小化圆盘与能量极小化映射的存在性从完备度量空间推广到更广泛的非局部紧致空间。
• 在非必然局部紧致的度量空间（如对偶 Banach 空间和 $L^1$）中解决经典的 Plateau 问题。
• 通过 Sobolev 映射中的能量极小化，将 Dirichlet 问题推广到同一类度量空间。
• 通过 Sobolev 映射的超极限建立新的紧致性框架，使在非紧致设定下存在性结果的证明成为可能。

提出的方法

• 通过非主超滤子引入度量空间在其超完备化中 1-可补的定义。
• 通过超完备化 $X_\omega$ 中的等价类 $[(u_m(z))]$ 定义 Sobolev 映射序列 $u_m \in W^{1,p}(\Omega, X)$ 的超极限。
• 在超极限设定下，建立 Sobolev 映射序列的广义 Rellich-Kondrachov 紧致性定理。
• 利用存在一个 1-李普希茨收缩映射 $P: X_\omega \to X$，将超极限映射拉回到 $X$，保持能量界与迹条件。
• 应用 Reshetnyak 能量 $E_+^p$ 在超极限下的下半连续性，从 $W^{1,p}(\Omega, X)$ 中提取极小化子。
• 证明极小化子为 $\sqrt{2}$-准共形映射，且在一般情况下该常数为最优，但在具有性质 (ET) 的空间中可改进为 1。

实验结果

研究问题

• RQ1 在非局部紧致度量空间（如 $L^1$ 或对偶 Banach 空间）中，能否解决经典的 Plateau 问题？
• RQ2 面积极小化圆盘在度量空间中的存在性是否可从完备空间推广至在超完备化中 1-可补的空间？
• RQ3 能否通过能量极小化在相同类别的非局部紧致度量空间中求解 Dirichlet 问题？
• RQ4 在标准序列紧致性失效的非紧致设定下，何种紧致性原理可使极小化子的提取成为可能？
• RQ5 在度量值 Sobolev 映射的背景下，超极限构造如何推广经典的紧致性定理（如 Rellich-Kondrachov）？

主要发现

• 本文证明了在任意完备度量空间 $X$ 中，若其迹空间 $\Lambda(\Gamma, X)$ 非空，则存在一个面积极小化圆盘，前提是 $X$ 在其超完备化中 1-可补。
• 所有此类极小化子均为 $\sqrt{2}$-准共形映射，且该常数在一般情况下为最优；然而，对于具有性质 (ET) 的空间，该常数可改进为 1。
• 对于所有此类空间，Dirichlet 问题均被解决：对任意 $w \in W^{1,p}(\Omega, X)$，存在一个 $u \in W^{1,p}(\Omega, X)$，其迹与 $w$ 相同，且 $E_+^p$-能量最小。
• 满足 1-可补条件的空间类包括所有完备度量空间、所有对偶 Banach 空间、$L^1$、Hadamard 空间以及可缩度量空间。
• 超极限构造允许通过一个 1-李普希茨收缩映射从 $X_\omega$ 中的极限恢复 $X$ 中的极小化子，同时保持能量与迹性质。
• 本研究将 Lytchak 与 Wenger 在完备空间中的先前工作推广到了一个显著更大的非局部紧致空间类。