[论文解读] Isoperimetric inequalities of euclidean type in metric spaces

Stefan Wenger|ArXiv.org|Jun 5, 2003

Geometric Analysis and Curvature Flows参考文献 4被引用 3

一句话总结

本文在满足锥型不等式的完备度量空间中建立了欧几里得型等周不等式，推广了格罗莫夫与安布罗西奥-基尔希海姆的结果。证明了此类空间中，任意 $k$-维整当前置电流 $T$（边界为零）可被 $(k+1)$-维电流 $S$ 填满，且满足 $\mathbf{M}(S) \leq D_k \mathbf{M}(T)^{(k+1)/k}$，其中 $D_k$ 仅依赖于 $k$ 及空间的几何常数。

ABSTRACT

In this paper we prove an isoperimetric inequality of euclidean type for complete metric spaces admitting a cone-type inequality. These include all Banach spaces and all complete, simply-connected metric spaces of non-positive curvature in the sense of Alexandrov or, more generally, of Busemann. The main theorem generalizes results of Gromov and Ambrosio-Kirchheim.

研究动机与目标

• 解决具有锥型不等式的完备度量空间中欧几里得型等周问题。
• 将格罗莫夫与安布罗西奥-基尔希海姆关于黎曼流形和对偶巴拿赫空间中等周不等式的结果推广至更广泛的度量空间类。
• 正面回答开放问题：所有巴拿赫空间是否都具有欧几里得型等周不等式。
• 为利用分解与锥型不等式在度量空间中构造等周填充建立一般框架。
• 以空间的几何与分析参数表示等周不等式中显式可计算的常数 $D_k$。

提出的方法

• 利用安布罗西奥与基尔希海姆定义的度量整当前置流形 $\mathbf{I}_k(X)$ 理论。
• 应用锥型不等式：对任意 $k$-循环 $T$，存在满足 $\partial S = T$ 且 $\mathbf{M}(S) \leq C_k \cdot \text{diam}(\operatorname{spt} T) \cdot \mathbf{M}(T)$ 的 $(k+1)$-当前置流形 $S$。
• 通过切片技巧与参数 $\lambda$，将 $k$-当前置流形 $T$ 迭代分解为若干直径与质量受控的小循环 $T_i$。
• 将填充当前置流形 $S$ 构造为分解循环 $T_i$ 的锥填充 $S_i$ 之和的极限，确保在质量范数下收敛。
• 利用三角不等式与质量的 $L^{(k+1)/k}$-可和性，对填充 $S$ 的总质量进行上界估计。
• 依赖整当前置流形空间 $\mathcal{I}_{k+1}(X)$ 的完备性，保证柯西序列 $S^n = \sum_{i=1}^{N_n} S_i$ 收敛至极限 $S \in \mathbf{I}_{k+1}(X)$，且满足 $\partial S = T$。

实验结果

研究问题

• RQ1 每个具有 $\mathbf{I}_k(X)$ 锥型不等式的完备度量空间是否也具有 $\mathbf{I}_k(X)$ 的欧几里得型等周不等式？
• RQ2 即使在非对偶或非有限维的情况下，巴拿赫空间是否仍具有欧几里得型等周不等式？
• RQ3 锥型不等式在非黎曼度量空间中实现等周填充构造中起什么作用？
• RQ4 将当前置流形迭代分解为小直径循环如何促进构造一致有界的填充？
• RQ5 具有 $\gamma$-凸双测地线（如单连通的亚历山德罗夫或布塞曼空间）的空间在多大程度上满足欧几里得型等周不等式？

主要发现

• 每个具有 $k$-维锥型不等式且对 $\mathbf{I}_{k-1}(X)$ 满足欧几里得型等周不等式的完备度量空间，也对 $\mathbf{I}_k(X)$ 满足此类不等式，常数 $D_k$ 仅依赖于 $k$、锥常数 $C_k$ 及 $\mathbf{I}_{k-1}$-常数。
• 所有巴拿赫空间对 $\mathbf{I}_k(E)$ 均具有欧几里得型等周不等式，且具有与巴拿赫空间无关的通用常数 $D_k$，从而正面回答了安布罗西奥与基尔希海姆提出的开放问题。
• 具有 $\gamma$-凸双测地线的空间（如单连通的非正曲率亚历山德罗夫或布塞曼空间）对欧几里得型等周不等式具有常数 $D_k$，其仅依赖于 $k$ 与 $\gamma$。
• 对 $k$-循环 $T$ 的等周填充 $S$ 满足 $\mathbf{M}(S) \leq C_k E \left(\frac{1+\lambda}{\delta}\right)^{(k+1)/k} \mathbf{M}(T)^{(k+1)/k}$，其中 $E$、$\lambda$ 与 $\delta$ 为分解过程中的参数。
• 该构造产生一个部分填充的柯西序列 $S^n = \sum_{i=1}^{N_n} S_i$，在质量范数下收敛至极限 $S \in \mathbf{I}_{k+1}(X)$，且满足 $\partial S = T$。
• 主定理及其推论中的常数 $D_k$ 虽非最优，但可计算，即使在 $X = \mathbb{R}^n$ 的情形下亦然。