[论文解读] Local spectral convergence in $RCD^*(K,N)$ spaces

Luigi Ambrosio, Shouhei Honda|arXiv (Cornell University)|Mar 15, 2017

Geometric Analysis and Curvature Flows参考文献 30被引用 10

一句话总结

该论文在 pointed measured Gromov-Hausdorff 收敛下，为 RCD$^*(K,N)$ 空间中 Dirichlet 特征值与特征函数的局部谱收敛建立了必要且充分的条件。证明了当极限空间满足调和替换条件时，谱收敛在一般球面上成立，并构造了一个反例，表明在缺乏此类条件时，谱收敛通常不成立，使用了度量锥与调和逼近技术。

ABSTRACT

In this note we give necessary and sufficient conditions for the validity of the local spectral convergence, in balls, on the $RCD^*$-setting.

研究动机与目标

• 在 pointed mGH 收敛下，确定 RCD$^*(K,N)$ 空间中局部 Dirichlet 特征值谱收敛的必要且充分条件。
• 解决关于逼近空间上的特征函数是否收敛到极限空间中 Dirichlet 边界条件下特征函数的开放问题。
• 构造一个反例，表明在缺乏额外几何或分析条件时，局部谱收敛通常不成立。
• 建立调和替换距离函数在 $H^{1,2}$-范数下收敛的条件，从而实现谱稳定性。
• 证明对于度量锥与具有常数体积增长的空间，谱收敛成立，方法包括调和逼近与 Mosco 收敛。

提出的方法

• 通过距离函数的调和替换，在极限空间中构造近似特征函数。
• 应用具有齐次 Dirichlet 条件的 Dirichlet 能量的 Mosco 收敛，以确保特征值问题的稳定性。
• 利用精确的拉普拉斯比较定理与最大值原理，控制距离函数及其调和替换的行为。
• 在度量锥中建立 $H^{1,2}_0$ 与 $\tilde{H}^{1,2}_0$ 空间之间的等价性，确保测试函数可由紧支集利普希茨函数逼近。
• 证明当极限空间具有常数体积增长时，$\mathsf{d}(x_i,\cdot)^2 - \hat{f}_i$ 在 $H^{1,2}$-范数下收敛，从而蕴含谱稳定性。
• 使用对角线法将反例从非光滑情形推广至光滑黎曼流形，表明谱收敛在一般情况下不成立。

实验结果

研究问题

• RQ1 在 RCD$^*(K,N)$ 空间序列中，球面上第 $k$ 个 Dirichlet 特征值在什么条件下收敛到极限空间中的第 $k$ 个特征值？
• RQ2 逼近空间上 $H^{1,2}_0$-特征函数的极限是否必然属于极限空间的 $H^{1,2}_0$？
• RQ3 在缺乏几何控制（如存在非平凡锥结构）的情况下，谱收敛是否可能失败？
• RQ4 距离函数的调和替换在确保谱稳定性方面起什么作用？
• RQ5 谱收敛是否对度量锥或具有常数体积增长的空间成立？

主要发现

• 构造了一个反例，其中 $\lambda_1^D(B_{\pi/4}(\pi/4 - \epsilon)) \to 1 < 4 = \lambda_1^D(B_{\pi/4}(\pi/4))$ 当 $\epsilon \to 0^+$，表明局部谱收敛在一般情况下不成立。
• 对于以 $\operatorname{RCD}^*(N-2,N-1)$-空间为底的度量锥 $C(Z)$，谱收敛成立，因为对所有 $R > 0$，有 $H^{1,2}_0(B_R(p)) = \hat{H}^{1,2}_0(B_R(p))$。
• 对于具有常数体积增长 $\mathfrak{m}(B_r(x))/r^N$ 的空间，$\mathsf{d}(x_i,\cdot)^2 - \hat{f}_i$ 的 $H^{1,2}$-范数收敛于零，意味着谱稳定性。
• 在 $H^{1,2}_0(B_R(x)) = \hat{H}^{1,2}_0(B_R(x))$ 条件下，距离函数的调和替换在 $H^{1,2}$-范数下收敛，从而实现谱收敛。
• 通过紧支集收缩的利普希茨函数逼近，证明了在度量锥中 $H^{1,2}_0 = \hat{H}^{1,2}_0$。
• 本文证明，当极限空间满足调和替换条件时，谱收敛在一般球面上成立，从而为稳定性提供了精确准则。