[논문 리뷰] Harmonic functions on metric measure spaces

Bobo Hua, Martin Kell외 1명|arXiv (Cornell University)|2013. 08. 16.

Geometric Analysis and Curvature Flows참고 문헌 52인용 수 23

한 줄 요약

이 논문은 리만형 리치 곡률이 아래에서 유계인 (RCD$^*(K,N)$ 공간으로 간주되는 메트릭 측도 공간에서 조화 함수의 국소적 기울기 추정을 수립하며, 기존의 Cheng-Yau 추정을 비스무스 구조로 확장한다. 또한 비음성 리치 곡률 조건 하에서 다항성 성장 조건을 만족하는 조화 함수의 공간에 대해 최적의 차원 추정을 증명하여, 이러한 공간의 차원은 최대 $ n $ 이하임을 보인다. 여기서 $ n $ 은 체적 성장 차원이다.

ABSTRACT

In this paper, we study harmonic functions on metric measure spaces with Riemannian Ricci curvature bounded from below, which were introduced by Ambrosio-Gigli-Savaré. We prove a Cheng-Yau type local gradient estimate for harmonic functions on these spaces. Furthermore, we derive various optimal dimension estimates for spaces of polynomial growth harmonic functions on metric measure spaces with nonnegative Riemannian Ricci curvature.

연구 동기 및 목표

• RCD$^*(K,N)$ 공간에서 리만형 리치 곡률이 아래에서 유계이도록 보장되는 메트릭 측도 공간으로의 조화 함수에 대한 고전적 Cheng-Yau 국소 기울기 추정을 확장한다.
• RCD$^*(K,N)$ 공간에서 다항성 성장 조건을 만족하는 조화 함수의 공간에 대해 날카로운 차원 추정을 유도한다.
• 높은 미분 가능성의 부재로 인해 보처 기법이 실패하는 비스무스 메트릭 측도 공간에서 국소적 미적분학을 개발한다.
• 약한 상한 기울기와 컷오프 함수를 이용하여 리우빌 유형 정리와 평균값 성질을 비스무스 설정으로 일반화한다.
• 체적 성장 가정 하에 최적의 차원 추정을 수립하여, 다항성 성장 조건을 만족하는 조화 함수의 공간의 차원이 최대 $ n $ 이하임을 보인다. 여기서 $ n $ 은 체적 성장 차원이다.

제안 방법

• Erbar-Kuwada-Sturm의 전역 보처 부등식을 적절히 선택된 컷오프 함수에 적용하여 RCD$^*(K,N) $ 공간에 대해 국소 보처 부등식을 유도한다.
• Jiang과 Kell가 확립한 $ W^{1,2}_{\text{loc}} $ 함수에 대해 리만형 리치 곡률이 아래에서 유계인 경우의 국소 리프시츠 연속성에 기반하여 약한 상한 기울기가 잘 정의됨을 보장한다.
• 무한대에서의 평균값 정리(정리 5.4)를 사용하여 특정 점에서 0이 되는 조화 함수 공간 위에 극한 내적 $ D $ 를 정의한다.
• 구간 $ B_{R+\epsilon} $ 에서 정의되며 $ B_R $ 에서 1이 되는 컷오프 함수 $ \chi_\epsilon $ 를 사용하여 경계 항을 제어한다. 이 함수는 $ |\nabla \chi_\epsilon|_m \leq 1/\epsilon $ 를 만족한다.
• 또한, 정규직교 조화 함수 $ \{f_i\} $ 에 대해 $ F^2 = \sum f_i^2 $ 가 하모닉함수임을 이용하여 $ \int |\nabla f_i|^2 $ 를 포함하는 적분 부등식을 도출한다.
• 체인 규칙과 정규직교 변환 불변성을 활용하여 $ |\nabla F_\delta|_w \leq 1 $ 를 유도함으로써 $ F(x) \leq d(x,p) $ 를 유도하고, 체적 비율 추정 $ \frac{A_R}{|B_R|} \geq \frac{k - \epsilon_1}{R} $ 을 도출한다.

실험 결과

연구 질문

• RQ1 RCD$^*(K,N) $ 공간에서 $ \sigma $-유한 측도를 가진 조화 함수에 대해, Cheng-Yau 유형의 국소 기울기 추정을 수립할 수 있는가?
• RQ2 비음성 리치 곡률 조건을 만족하는 RCD$^*(K,N) $ 공간에서 다항성 성장 조건을 만족하는 조화 함수의 공간의 최대 가능한 차원은 무엇인가?
• RQ3 RCD$^*(K,N) $ 공간에서 공의 체적 성장이 다항성 성장 조건을 만족하는 조화 함수의 차원에 어떤 제약을 가하는가?
• RQ4 무한대에서의 평균값 성질을 이용하여 조화 함수 공간에 대해 극한 내적을 정의할 수 있는가? 이를 통해 차원 추정이 가능할까?
• RQ5 비스무스 메트릭 측도 공간에서 $ DC $-미분 구조에 의존하지 않고 보처 부등식을 국소화할 수 있는 정도는 어느 정도인가?

주요 결과

• RCD$^*(K,N) $ 공간에 대해 국소 보처 부등식이 수립되었으며, 이는 $ \mathcal{D}_{L^4_{\text{loc}}} (\Delta) $ 에 속하고 $ \Delta u \in W^{1,2}_{\text{loc}} \cap L^p_{\text{loc}} $ 를 만족하는 함수에 대해 유효하며, $ p > N $ 이고 $ |\nabla u|_w^2 \in W^{1,2}_{\text{loc}} $ 를 보장한다.
• 무한대에서의 평균값 정리(정리 5.4)는 $ \lim_{R \to \infty} \fint_{B_R} |\nabla f|_m^2 dm = \text{ess sup}_X |\nabla f|_m^2 $ 를 함의하며, 이는 극한 내적 $ D $ 의 정의를 가능하게 한다.
• 임의의 유한차원 부분공간 $ H'' \subset H^1(X) $ 에 대해 $ \dim H'' = k $ 이면, 큰 $ R $ 에 대해 체적 비율이 $ \frac{A_R}{|B_R|} \geq \frac{k - \epsilon_1}{R} $ 를 만족한다. 여기서 $ A_R = \liminf_{\epsilon \to 0^+} \frac{|B_{R+\epsilon} \setminus B_R|}{\epsilon} $ 이다.
• 다항성 체적 성장 가정 $ |B_R| \leq C R^n $ 하에, 부등식 $ \left( \frac{R}{R_{\epsilon_1}} \right)^{k - \epsilon_1} \leq \frac{|B_R|}{|B_{R_{\epsilon_1}}|} $ 는 $ k - \epsilon_1 \leq n $ 을 함의하며, 따라서 극한에서 $ k \leq n $ 이다.
• 비음성 리치 곡률 조건 하에서, 차수 최대 $ d $ 의 다항성 성장 조건을 만족하는 조화 함수의 공간의 차원은 최대 $ n $ 이며, 여기서 $ n $ 은 체적 성장 차원이다.
• 최적의 차원 추정 $ \dim \mathcal{H}^d \leq n $ 이 도달되었으며, 이 추정은 날카로우며, 고전적 리만 기하학 결과를 비스무스 설정으로 일반화한다.