[논문 리뷰] Heat Kernel Bounds on Metric Measure Spaces and Some Applications

Renjin Jiang, Huaiqian Li외 1명|arXiv (Cornell University)|2014. 07. 20.

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

한 줄 요약

이 논문은 RCD*(K,N) 미터 측도 공간에서 열핵 및 그 기울기의 날카운 상한과 하한을 파arabolic Harnack 부등식과 라플라스 연산자 비교를 이용하여 확립한다. 주요 기여는 가우시안 유형의 경계에서 정확한 지수 상수를 제공함으로써, 리프스 변환의 유계성과 열방정식의 안정성에 응용할 수 있도록 한다.

ABSTRACT

Let $(X,d,μ)$ be a $RCD^\ast(K, N)$ space with $K\in \mathbb{R}$ and $N\in [1,\infty]$. For $N\in [1,\infty)$, we derive the upper and lower bounds of the heat kernel on $(X,d,μ)$ by applying the parabolic Harnack inequality and the comparison principle, and then sharp bounds for its gradient, which are also sharp in time. When $N=\infty$, we also establish a sharp upper bound of the heat kernel by using the dimension free Harnack inequality. For applications, we study the large time behavior of the heat kernel, the stability of solutions to the heat equation, and show the $L^p$ boundedness of (local) Riesz transforms.

연구 동기 및 목표

• RCD*(K,N) 미터 측도 공간에서 지수 항의 최적 상수를 갖는 날카운 상한과 하한을 도출한다.
• 시간 최적성을 유지하면서 열핵의 기울기 추정을 날카롭게 한다.
• 열핵 경계를 응용하여 열핵의 장기적 행동과 열방정식 해의 안정성을 연구한다.
• RCD*(K,N) 공간에서 모든 p ∈ (1, ∞)에 대해 리프스 변환의 L^p 유계성을 증명한다.

제안 방법

• Gigli와 Garofalo-Mondino의 파라볼릭 Harnack 부등식 및 라플라스 연산자 비교 원리를 이용하여 열핵 경계를 유도한다.
• 비가속도적 미터 측도 공간으로의 리치 곡률 하한을 일반화하는 RCD*(K,N) 조건을 적용한다.
• 디리클레 형식에서 유도된 내재 거리와 측도 μ의 두 배 성질을 이용하여 체적 성장도를 통제한다.
• 균일한 기울기 유계성을 갖는 리프스 컷오프 함수를 구성하여 Davies–Gaffney 추정을 확립한다.
• √t|∇H_t f|를 포함하는 세 번째 Davies–Gaffney 추정을 활용하여 L^2 노름에서 기울기 감쇠를 통제한다.
• 열핵 경계와 두 배 성질 및 Poincaré 부등식을 조합하여 리프스 변환에 대한 약형 (1,1) 추정을 증명한다.

실험 결과

연구 질문

• RQ1 RCD*(K,N) 공간에서 지수 항의 최적 상수를 갖는 날카운 상한과 하한은 무엇인가?
• RQ2 이러한 공간에서 열핵의 기울기 추정은 시간과 공간에서 어떻게 행동하는가?
• RQ3 날카운 열핵 경계를 이용하여 RCD*(K,N) 공간에서 리프스 변환의 L^p 유계성을 확립할 수 있는가?
• RQ4 K < 0일 때 RCD*(K,N) 공간에서 열핵의 장기적 행동은 어떠한가?
• RQ5 열핵 경계를 바탕으로 열방정식의 해는 변화에 대해 어떻게 행동하는가?

주요 결과

• RCD*(0,N) 공간에서 열핵은 날카운 이면 가우시안 경계를 만족한다: C₁(ε)⁻¹ μ(B(y,√t))⁻¹ exp(−d²(x,y)/((4−ε)t)) ≤ p_t(x,y) ≤ C₁(ε) μ(B(y,√t))⁻¹ exp(−d²(x,y)/((4+ε)t)) for all t > 0 and x,y ∈ X.
• 열핵의 기울기는 다음의 날카운 추정을 만족한다: |∇ₓp_t(x,·)|(y) ≤ C₁(ε)/(√t μ(B(y,√t))) exp(−d²(x,y)/((4+ε)t)) for μ-a.e. x,y ∈ X.
• RCD*(K,N) 공간에서 K < 0일 경우, 열핵 경계에는 추가적인 시간에 선형적인 보정 항이 포함된다: exp(−d²(x,y)/((4−ε)t) − C₂(ε)t) ≤ p_t(x,y) ≤ exp(−d²(x,y)/((4+ε)t) + C₂(ε)t), with C₂(ε) depending on K and N.
• K < 0일 경우 기울기 추정에도 동일한 보정 항이 포함된다: |∇ₓp_t(x,·)|(y) ≤ C₁(ε)/(√t μ(B(y,√t))) exp(−d²(x,y)/((4+ε)t) + C₂(ε)t).
• 리프스 변환 |∇(−Δ)^{-1/2}|는 모든 p ∈ (1, ∞)에 대해 L^p(X)에서 유계이며, 날카운 열핵 경계와 Davies–Gaffney 추정을 통해 증명된다.
• 열방정식 해는 d²(E,F)/t를 지수에 포함하는 지수 감쇠 추정을 통해 변화에 대해 안정성을 보인다.