[논문 리뷰] Hamilton's Harnack inequality and the $W$-entropy formula on complete Riemannian manifolds

Xiang‐Dong Li|arXiv (Cornell University)|2013. 03. 06.

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

한 줄 요약

이 논문은 완비 리만다이프만에서 바크리-에메리 리치 곡률 조건 하에 위튼 라플라시안에 대한 하밀턴의 하르낙 부등식과 $W$-엔트로피 공식을 수립한다. 또한 로그 열핵의 기울기 추정을 도출하고, 일련의 로그 소보레프 부등식을 증명하며, 자연스러운 기하적 제약 조건 하에서 $W$-엔트로피 함수의 단조성과 강성(리기디티)을 확립한다.

ABSTRACT

In this paper, we prove Hamilton's Harnack inequality and the gradient estimates of the logarithmic heat kernel for the Witten Laplacian on complete Riemainnian manifolds. As applications, we prove the $W$-entropy formula for the Witten Laplacian on complete Riemannian manifolds, and prove a family of logarithmic Sobolev inequalities on complete Riemannian manifolds with natural geometric condition.

연구 동기 및 목표

• 가중체적 측도를 갖는 완비 리만다이프만에서 하밀턴의 하르낙 부등식을 위튼 라플라시안으로 확장하는 것.
• 바크리-에메리 곡률 조건 $\mathrm{Ric}_m(L) \geq -K$ 하에서 위튼 라플라시안에 대한 $W$-엔트로피 공식을 유도하는 것.
• 기하적 곡률 경계 조건 하에서 위튼 라플라시안의 로그 열핵에 대한 기울기 추정을 확립하는 것.
• 균일한 체적 하한 조건이 있는 완비 리만다이프만에서 일련의 로그 소보레프 부등식을 증명하는 것.
• 자연스러운 기하적 조건 하에서 $\mu$-엔트로피(즉, $W$-엔트로피)의 하한 유계성과 단조성을 확립하는 것.

제안 방법

• 열방정식 $\partial_t u = Lu$ 에 대한 양의 유계 해에 대해 미분 하르낙 부등식을 증명한다. 여기서 $L = \Delta - \nabla\phi \cdot \nabla$ 는 위튼 라플라시안이다.
• 엔트로피와 곡률을 열핵을 통해 연결하는 식 $W_m(u,t) = \frac{d}{dt}(tH_m(u,t))$ 를 사용하여 $W$-엔트로피 공식을 도출한다.
• 적분 by parts 와 위튼 라플라시안에 대한 보흐너-바이츠베크 공식을 적용하여 $W_m(u,t)$ 의 진화를 유도한다.
• $L^2$-소보레프 부등식과 로그 소보레프 부등식 기법을 사용하여 $\mu$-엔트로피의 하한을 유계화한다.
• 비음성 바크리-에메리 리치 곡률 조건 하에서 $W_m(u,t)$ 의 단조성과 $W$-엔트로피의 강성을 확립한다.
• $\mathrm{Ric}_{m,n}(L)$ 의 워프드 프로덕트 기하적 해석을 활용하여 곡률 조건을 기하학적으로 해석한다.

실험 결과

연구 질문

• RQ1 하밀턴의 하르낙 부등식은 가중체적 측도를 갖는 완비 리만다이프만에서 위튼 라플라시안으로 확장 가능한가?
• RQ2 바크리-에메리 곡률 경계 조건 하에서 위튼 라플라시안에 대한 $W$-엔트로피 공식을 도출할 수 있는가?
• RQ3 곡률 및 체적 조건 하에서 위튼 라플라시안의 로그 열핵에 대해 어떤 기울기 추정이 성립하는가?
• RQ4 균일한 체적 하한과 곡률 제약 조건이 있는 완비 리만다이프만에서 로그 소보레프 부등식이 성립하는가?
• RQ5 $\mathrm{Ric}_m(L) \geq -K$ 조건 하에서 $W$-엔트로피 함수는 하한 유계이며 단조적인가?

주요 결과

• 양의 유계 해에 대해 $\mathrm{Ric}(L) \geq -K$ 일 때, 하르낙 부등식 $|\nabla \log u|^2 \leq \frac{2K}{1 - e^{-2Kt}} \log(A/u)$ 가 성립한다.
• 동일한 곡률 조건 하에서 향상된 하르낙 부등식 $|\nabla \log u|^2 \leq \left(\frac{1}{t} + 2K\right) \log(A/u)$ 가 확립된다.
• 로기스틱 열핵에 대한 기울기 추정이 도출된다: $\mathrm{Ric}_{m,n}(L) \geq -K$ 이면 $t \in (0,T]$ 에 대해 $|\nabla \log p_t(x,y)| \leq C(K,m,n,T)\left(\frac{d(x,y)}{t} + \frac{1}{\sqrt{t}}\right)$ 이다.
• $W$-엔트로피 공식이 증명된다: $W_m(u,t) = \int_M \left[t|\nabla f|^2 + f - m\right] \frac{e^{-f}}{(4\pi t)^{m/2}} d\mu$, 여기서 $u = e^{-f}/(4\pi t)^{m/2}$ 이다.
• $W$-엔트로피는 단조 감소하며 강성이 있다: $\mathrm{Ric}(L) \geq 0$ 이면, $W$-엔트로피가 일정이 되려면 다양체가 에인슈타인이면서 $\phi$ 가 상수여야 한다.
• $\mu$-엔트로피 $\mu(\tau)$ 는 $-\left(C_2(m,K,\mu_0) + m + \frac{m}{2}\log(4\pi)\right)$ 에 의해 하한 유계이며, 이는 로그 소보레프 부등식의 타당성을 보장한다.