[논문 리뷰] From Harnack inequality to heat kernel estimates on metric measure spaces and applications

Luca Tamanini|arXiv (Cornell University)|2019. 07. 16.

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

한 줄 요약

이 논문은 차원에 의존하지 않는 하르나크 부등식과 열 반군의 적분 표현을 만족하는 측도 공간 위에서 열핵에 대한 날카운 상한 가우시안 추정을 확립한다. 중간 단계로 국소 로그 소볼레프 부등식을 증명함으로써, ${\sf r}_t[x](y) \leq \frac{1}{\sqrt{\mathfrak{m}(B_{\sqrt{t}}(x))\mathfrak{m}(B_{\sqrt{t}}(y))}}\exp\Big{(}C_\varepsilon(1+C_K t)-\frac{{\sf d}^2(x,y)}{(4+\varepsilon)t}\Big{)}$ 형태의 열핵 추정을 도출한다. 이는 이전에 국소 로그 소볼레프 부등식과 같은 추정이 알려져 있지 않았던 ${\sf RCD}(K,\infty)$ 공간에서의 핵심적 간극을 메운다.

ABSTRACT

Aim of this short note is to show that a dimension-free Harnack inequality on an infinitesimally Hilbertian metric measure space where the heat semigroup admits an integral representation in terms of a kernel is suffcient to deduce a sharp upper Gaussian estimate for such kernel. As intermediate step, we prove the local logarithmic Sobolev inequality (known to be equivalent to a lower bound on the Ricci curvature tensor in smooth Riemannian manifolds). Both results are new also in the more regular framework of $RCD(K,\infty)$ spaces.

연구 동기 및 목표

• 기존에 국소 로그 소볼레프 부등식과 날카운 상한 가우시안 추정이 모두 확립되지 않은 ${\sf RCD}(K,\infty)$ 공간에서의 열핵 추정 간극을 메우는 것.
• 무한소 힐버트 공간 위의 측도 공간에서 차원에 의존하지 않는 하르나크 부등식과 적분 열 반군이 존재할 경우, 이로부터 열핵에 대한 날카운 상한 가우시안 추정이 유도됨을 보이는 것.
• ${\sf RCD}(K,\infty)$ 공간에서 국소 로그 소볼레프 부등식을 새로운 결과로서 확립하는 것. 이는 이전 문헌에서 누락되어 있던 부분이다.
• ${\sf RCD}^*(K,N)$ 및 매끄러운 리만 다양체에서 알려진 결과를 메트릭-측도 구조를 이용해 더 광범위한 ${\sf RCD}(K,\infty)$ 공간 클래스로 일반화하는 것.

제안 방법

• 열 반군과 $L^p$-노름 추정을 포함한 이중성 추론을 통해 차원에 의존하지 않는 하르나크 부등식에서 국소 로그 소볼레프 부등식을 유도한다.
• $L^\infty$-${\rm LIP}$ 정규화 성질을 이용해 시간과 거리에 따른 열핵의 성장률을 제어한다.
• 열핵에 대한 가중 $L^2$-추정을 $\exp(\frac{{\sf d}^2(x,\cdot)}{Dt})$ 형태의 지수 가중치를 사용해 적용함으로써 질량 분포를 제어한다.
• $D>2$인 스케일링 추론을 통해 $D$에 독립적인 균일한 상한을 도출하고, 최종적으로 가우시안 상한을 얻는다.
• 국소 로그 소볼레프 부등식과 $L^\infty$-${\rm LIP}$ 정규화 성질을 조합하여 열핵에 대한 날카운 상한 추정을 도출한다.
• 단기 근처에서의 행동을 바탕으로 바라하단의 점근 공식을 검증함으로써 추정의 날카로움을 확인한다. 이는 $-\frac{{\sf d}^2(x,y)}{4t}$의 주요 감쇠율을 정확히 반영한다.

실험 결과

연구 질문

• RQ1 측도 공간에서 차원에 의존하지 않는 하르나크 부등식과 적분 열 반군이 존재할 경우, 이로부터 열핵에 대한 날카운 상한 가우시안 추정이 도출될 수 있는가?
• RQ2 ${\sf RCD}(K,\infty)$ 공간에서 국소 로그 소볼레프 부등식이 성립하는가? 그리고 하르나크 부등식으로부터 도출될 수 있는가?
• RQ3 ${\sf RCD}(K,\infty)$ 공간에서의 열핵이 다음 형태의 상한 추정을 만족하는가: ${\sf r}_t[x](y) \leq \frac{1}{\sqrt{\mathfrak{m}(B_{\sqrt{t}}(x))\mathfrak{m}(B_{\sqrt{t}}(y))}}\exp\Big{(}C_\varepsilon(1+C_K t)-\frac{{\sf d}^2(x,y)}{(4+\varepsilon)t}\Big{)}$?
• RQ4 ${\sf RCD}(K,\infty)$ 공간에서의 열핵 단기 행동이 바라하단의 점근 공식을 만족하는가?
• RQ5 $L^\infty$-${\rm LIP}$ 정규화 성질이 하르나크 부등식에서 열핵 추정으로 이어지는 데 충분한 도구인가?

주요 결과

• 모든 무한소 힐버트 공간 측도 공간에서 차원에 의존하지 않는 하르나크 부등식을 만족하는 경우, 국소 로그 소볼레프 부등식이 성립한다. 이는 ${\sf RCD}(K,\infty)$ 공간에서도 새로운 결과이다.
• 모든 $x,y \in {\rm X}$ 및 $t>0$에 대해 열핵은 다음 상한 가우시안 추정을 만족한다: ${\sf r}_t[x](y) \leq \frac{1}{\sqrt{\mathfrak{m}(B_{\sqrt{t}}(x))\mathfrak{m}(B_{\sqrt{t}}(y))}}\exp\Big{(}C_\varepsilon(1+C_K t)-\frac{{\sf d}^2(x,y)}{(4+\varepsilon)t}\Big{)}$이며, $K \geq 0$일 경우 $C_K = 0$이다.
• 단기 근처에서 추정이 날카롭다는 것이 바라하단의 점근 공식을 통해 확인된다: $x \neq y$일 때 $\lim_{t \downarrow 0} t \log {\sf r}_t[x](y) = -\frac{{\sf d}^2(x,y)}{4}$이며, 이는 주요 감쇠율과 정확히 일치한다.
• 증명은 지수 가중치를 사용한 새로운 $L^2$-추정과 $D>2$에 대한 스케일링 추론에 기반한다. 이는 반지름 $\sqrt{t}$인 구의 체적에 따라 열핵 질량을 균일하게 제어할 수 있게 한다.
• $L^\infty$-${\rm LIP}$ 정규화 성질은 열핵의 점별 행동을 제어하는 데 핵심적인 보조 결과로 확립되었다.
• 이전에 알려지지 않았던 ${\sf RCD}(K,\infty)$ 프레임워크로 ${\sf RCD}^*(K,N)$ 및 매끄러운 리만 다량체에서의 기존 추정을 일반화하였다.