[논문 리뷰] An upper bound of the heat kernel along the harmonic-Ricci flow

Shouwen Fang, Tao Zheng|arXiv (Cornell University)|2015. 01. 04.

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

한 줄 요약

이 논문은 폐포 리만 다양체 위에서 조화-리치 흐름에 따라 균일한 소볼레프 부등식을 수립하고, 열핵에 대한 상계를 도출한다. χ 엔트로피의 단조성과 모저의 반복 기법을 활용하여, 열핵이 $G(x,t;y,s) \leq C/(t-s)^{n/2}$ 를 만족함을 증명하며, 여기서 $C$ 는 차원, 초기 메트릭, 초기 매핑, 그리고 χ 엔트로피의 첫 번째 고유값에 의존한다. 이는 리-요우 유형 추정을 조화-리치 흐름 설정으로 확장한다.

ABSTRACT

In this paper, we first derive a Sobolev inequality along the harmonic-Ricci flow. We then prove a linear parabolic estimate based on the Sobolev inequality and Moser's iteration. As an application, we will obtain an upper bound estimate for the heat kernel under the flow.

연구 동기 및 목표

• 조화-리치 흐름 동안 Perelman의 $\mathcal{W}$ 엔트로피의 단조성을 이용하여 균일한 소볼레프 부등식을 수립하는 것.
• 흐름 하에서 열방정식의 비음성 하부해에 대한 선형 포물선 추정을 도출하는 것.
• 조화-리치 흐름 하에서 폐포 다양체 위에서 열핵 $G(x,t;y,s)$ 에 대한 상계 추정을 구하는 것.
• 열핵 추정에 있어 $S = R - \alpha(t)|\nabla\phi|^2$ 의 곡률 양에 대한 음성 조건을 완화하기 위해 하한을 추정식에 통합하는 것.
• 메트릭과 매핑의 진화를 포함하는 기하학적 흐름 설정으로 고전적인 리-요우 유형 열핵 상계를 확장하는 것.

제안 방법

• Perelman의 $\mathcal{W}$ 엔트로피의 단조성을 활용하여 조화-리치 흐름 동안 시간에 관계없이 일정한 $L^2$ 소볼레프 부등식을 유도하는 것.
• 선형 포물선 부등식 $\partial_t f \leq \Delta f + a f$ 에 모저의 반복 기법을 적용하여 점별 최대노름 추정을 도출하는 것.
• 유도된 포물선 추정을 사용하여 열핵 $G(x,t;y,s)$ 를 제어하는 것. 여기서 $G$ 는 열방정식 $\partial_t G = \Delta_x G$ 를 만족한다.
• 흐름에 따른 체적 형식의 진화를 이용하여 $S \geq 0$ 일 때 열핵의 적분이 시간에 따라 감소하지 않음을 증명하는 것.
• 열핵의 $L^1$ 노름의 지수적 성장을 제어하여 음의 부분을 상수에 통합함으로써 $S$ 가 $-S_0$ 이하로 떨어지지 않는 경우로 일반화하는 것.
• 열핵의 $L^1$ 노름의 진화와 포물선 추정을 이용하여 최종적으로 $O((t-s)^{-n/2})$ 상계를 도출하는 것.

실험 결과

연구 질문

• RQ1 조화-리치 흐름 동안 엔트로피 단조성에 의해 균일한 소볼레프 부등식을 수립할 수 있는가?
• RQ2 모저의 반복 기법으로부터 유도된 선형 포물선 추정은 조화-리치 흐름 설정으로 확장 가능한가?
• RQ3 조화-리치 흐름 하에서 열핵의 최선의 상계는 무엇이며, 기하학적 초기 자료에 어떻게 의존하는가?
• RQ4 열핵 추정에서 $S = R - \alpha(t)|\nabla\phi|^2$ 에 대한 음성 조건을 제거할 수 있는가?
• RQ5 열핵 상계가 $\mathcal{F}$ 엔트로피의 첫 번째 고유값과 초기 기하학에 어떻게 영향을 받는가?

주요 결과

• 균일한 소볼레프 부등식이 증명됨: $\left(\int_M v^{2n/(n-2)} d\mu(g(t))\right)^{(n-2)/n} \leq A(t)\int_M (|\nabla v|^2 + \frac{1}{4}S v^2) d\mu(g(t)) + B(t)\int_M v^2 d\mu(g(t))$, 여기서 $A(t) = C e^{8tB_0/(nA_0)} A_0$ 와 $B(t) = C e^{8tB_0/(nA_0)} B_0$ 이며, $C$ 는 초기 자료와 차원에 의존한다.
• 선형 포물선 추정이 확립됨: $\sup_{x\in M} |f(x,t)| \leq \left(C_1 a + \frac{C_2}{t}\right)^{(n+2)/(2p)} \left(\int_0^T \int_M f^p d\mu dt\right)^{1/p}$, 비음성 하부해에 대해 $\partial_t f \leq \Delta f + a f$ 를 만족하며, 상수는 $n$, $p$, $g_0$, $\phi_0$, 그리고 $\mathcal{F}$ 엔트로피의 첫 번째 고유값 $\lambda_0$ 에 따라 달라진다.
• 열핵에 대한 상계가 도출됨: $G(x,t;y,s) \leq \frac{C}{(t-s)^{n/2}}$, 여기서 $C$ 는 $n$, $g_0$, $\phi_0$, $\lambda_0$ 에 의존하며, $t=0$ 에서 $S \geq 0$ 이라는 가정 하에 성립한다.
• 지수적 제어를 통해 $S \geq -S_0$ 인 경우로 일반화하여 $G(x,t;y,s) \leq \frac{C}{(t-s)^{n/2}}$ 를 도출함. 이때 $C$ 는 $n$, $g_0$, $\phi_0$, $\lambda_0$, $T$ 에 의존하며, $0 \leq s < t \leq T$ 에 대해 성립한다.
• 열핵의 $L^1$ 노름이 $S \geq 0$ 일 때 시간에 따라 감소하지 않음을 증명함으로써, $t > s$ 에 대해 $\int_M G(x,t;y,s) d\mu(x,t) \leq 1$ 이 성립함을 보이며, 이는 최종 추정에 핵심적이다.
• 최종 상계는 유클리드 열핵과 동일한 척도를 가지며, 조화-리치 흐름 하에서 기대되는 확산 행동을 확인한다.