[논문 리뷰] Local spectral convergence in $RCD^*(K,N)$ spaces

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

Geometric Analysis and Curvature Flows참고 문헌 30인용 수 10

한 줄 요약

이 논문은 RCD$^*(K,N)$ 공간에서 점지향 측도 Gromov-Hausdorff 수렴 하에서 딜리클레 고유값과 고유함수의 국소 스펙트럼 수렴에 대한 필수 및 필요조건을 확립한다. 일반적인 공구에서 이러한 조건이 없을 경우 수렴이 성립하지 않음을 보여주는 반례를 제시하며, 이는 유클리드 거리 함수의 조화 보정 기법과 메트릭 콘을 이용하여 구성된다. 반면, 극한 공간이 조화 보정 조건을 만족할 경우, 일반적인 공구에서 스펙트럼 수렴이 성립함을 증명한다.

ABSTRACT

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

연구 동기 및 목표

• 점지향 mGH 수렴 하에서 RCD$^*(K,N)$ 공간에서 딜리클레 고유값의 국소 스펙트럼 수렴에 대한 필요 및 충분조건을 규명하는 것.
• 근사 공간의 고유함수가 딜리클레 경계 조건을 만족하는 극한 공간의 고유함수로 수렴하는지 여부에 대한 열린 문제를 해결하는 것.
• 추가적인 기하학적 또는 해석적 조건 없이 국소 스펙트럼 수렴이 일반적으로 성립하지 않음을 보여주는 반례를 구성하는 것.
• 조화 보정된 거리 함수가 $H^{1,2}$-노름에서 수렴하는 조건을 확립하여 스펙트럼 안정성의 근거를 마련하는 것.
• 메트릭 콘과 일정한 체적 성장 조건을 만족하는 공간에서 스펙트럼 수렴이 성립함을 증명하기 위해 조화 근사와 Mosco 수렴을 활용하는 것.

제안 방법

• 극한 공간에서 근사 고유함수를 구성하기 위해 거리 함수의 조화 보정을 사용한다.
• 동일한 딜리클레 조건 하에서 딜리클레 에너지의 Mosco 수렴을 적용하여 고유값 문제의 안정성을 확보한다.
• 정밀한 라플라스 연산자 비교 정리와 최대원리를 활용하여 거리 함수와 그 조화 보정의 행동을 제어한다.
• 메트릭 콘에서 $H^{1,2}_0$와 $\tilde{H}^{1,2}_0$ 공간 간의 동치성을 확립하여, 시험 함수가 컴actsupport를 가진 리프시츠 함수로 근사 가능함을 보장한다.
• 극한 공간이 일정한 체적 성장을 만족할 경우, 딜리클레 문제의 해 $\hat{f}_i$에 대해 $\mathsf{d}(x_i,\cdot)^2 - \hat{f}_i$의 $H^{1,2}$-노름 수렴을 증명한다.
• 대각선 논법을 사용하여 비미분 가능 공간에서의 반례를 미분 가능 리만다이만 다양체로 확장함으로써, 일반적으로 스펙트럼 수렴이 성립하지 않음을 보여준다.

실험 결과

연구 질문

• RQ1 RCD$^*(K,N)$ 공간의 수열에서 공구 내의 $k$-번째 딜리클레 고유값이 극한 공간의 $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))$ as $\epsilon \to 0^+$ 를 만족함으로써 일반적으로 국소 스펙트럼 수렴이 성립하지 않음을 보여준다.
• 메트릭 콘 $C(Z)$는 $\operatorname{RCD}^*(N-2,N-1)$-공간 위에서 정의되며, 모든 $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}$-노름이 0으로 수렴하므로 스펙트럼 안정성이 보장된다.
• 조건 $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$ 의 동치성이 증명된다.
• 논문은 극한 공간이 조화 보정 조건을 만족할 경우 일반적인 공구에서 스펙트럼 수렴이 성립함을 증명하며, 안정성에 대한 정밀한 기준을 제공한다.