[论文解读] The Cheeger N-problem in terms of BV functions

Marco Caroccia, Samuel Littig|arXiv (Cornell University)|Jul 6, 2017

Spectral Theory in Mathematical Physics参考文献 11被引用 6

一句话总结

本文将Cheeger $N$-问题重新表述为有界变差（BV）函数上的最小化问题，为Cheeger $N$-簇提供了新的存在性证明。它建立了Cheeger-2问题与1-拉普拉斯算子的第二特征值之间的联系，表明在对称条件下，第二变分特征值等于Cheeger-2常数的一半。

ABSTRACT

We reformulate the Cheeger N partition problem as a minimization among a suitable class of BV functions. This allows us to obtain a new existence proof for the Cheeger-N-problem. Moreover, we derive some connections between the Cheeger-2- problem and the second eigenvalue of the 1-Laplace operator.

研究动机与目标

• 将Cheeger $N$-问题重新表述为一类BV函数上的变分最小化问题，从而为Cheeger $N$-簇提供新的存在性证明。
• 建立Cheeger-2问题与1-拉普拉斯算子第二特征值之间的联系。
• 在特定区域中，以几何量表示第二变分特征值 $\lambda_{2,\text{var}}$ 的显式表征。
• 分析最小化元在与Cheeger $N$-簇关系中的正则性与对称性特征。
• 提供显式例子，如哑铃形区域，其中第二特征值超过 $\Lambda_2/2$，表明非唯一性与非对称性效应。

提出的方法

• 将Cheeger $N$-问题重新表述为在 $L^1$-归一化与不相交支集约束下，对BV函数的总变差进行最小化。
• 利用面积公式与BV函数水平集的性质，将周长与体积之比关联到特征函数的总变差。
• 在BV框架中应用变分法的直接方法，证明最小化元的存在性。
• 对于 $N=2$，通过使用均值为零的符号BV函数，构造一个与1-拉普拉斯算子第二特征值问题等价的变分问题。
• 利用Cheeger-2簇与相关BV泛函最小化元之间的等价性，推导谱恒等式。
• 通过分析几何例子（如对称与非对称哑铃形区域）验证理论结果，并说明非唯一性与非对称性效应。

实验结果

研究问题

• RQ1 Cheeger $N$-问题能否被重新表述为某一类BV函数上的最小化问题？
• RQ2 Cheeger-2问题与1-拉普拉斯算子第二特征值之间存在何种关系？
• RQ3 在何种几何条件下，第二变分特征值 $\lambda_{2,\text{var}}$ 等于 $\Lambda_2/2$？
• RQ4 区域几何中的对称性或非对称性如何影响 $\lambda_{2,\text{var}}$ 相对于 $\Lambda_2/2$ 的取值？
• RQ5 能否在如哑铃形区域等特定区域中推导出 $\lambda_{2,\text{var}}$ 的显式公式？

主要发现

• 成功地将Cheeger $N$-问题重新表述为BV函数上的最小化问题，从而为Cheeger $N$-簇提供了新的存在性证明。
• 当Cheeger-2簇的两个分量具有相等的Cheeger商时，对于 $N=2$，1-拉普拉斯算子的第二变分特征值 $\lambda_{2,\text{var}}$ 满足 $\lambda_{2,\text{var}} = \frac{\Lambda_2}{2} = \frac{H_2}{2}$。
• 在对称哑铃形区域中，$\lambda_{2,\text{var}} = \frac{\Lambda_2}{2}$，且1-拉普拉斯算子的第一特征函数非唯一，可能变号。
• 在满足 $\frac{\text{Per}(C_1)}{|C_1|} < \frac{\text{Per}(C_2)}{|C_2|}$ 的非对称哑铃形区域中，有 $\lambda_{2,\text{var}} > \frac{\Lambda_2}{2}$，表明标准的零均值约束仅给出严格下界。
• 当且仅当存在两个分量Cheeger商相等的Cheeger-2簇时，$\lambda_{2,\text{var}} = \frac{\Lambda_2}{2}$ 成立。
• 该变分表述使得能够以几何量显式推导第二特征值，尤其在对称构型中。