[논문 리뷰] Heat kernel estimates for general symmetric pure jump Dirichlet forms

Zhen-Qing Chen, Takashi Kumagai외 1명|arXiv (Cornell University)|2019. 08. 21.

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

한 줄 요약

이 논문은 일반적인 체적 제곱 및 점프 커널 조건 하에서 메트릭 측도 공간 위의 대칭 순수 점프 딜레르트 형식에 대해 안정적인 양측 열핵 추정을 수립한다. 이는 경량 尾 꼬리 점프 커널이 존재하는 경우에도 성립한다. 논문은 내재된 기하학적 및 해석적 조건, 예를 들어 절단 소볼레프 부등식과 패브르-크라hn 유형 부등식 등을 통해 열핵 추정, 포물선형 하르낙 부등식, 용량 한계를 특성화한다.

ABSTRACT

In this paper, we consider the following symmetric non-local Dirichlet forms of pure jump type on metric measure space $(M,d,μ)$: $$\mathcal{E}(f,g)=\int_{M imes M} (f(x)-f(y))(g(x)-g(y))\,J(dx,dy),$$ where $J(dx,dy)$ is a symmetric Radon measure on $M imes M\setminus { m diag}$ that may have different scalings for small jumps and large jumps. Under general volume doubling condition on $(M,d,μ)$ and some mild quantitative assumptions on $J(dx, dy)$ that are allowed to have light tails of polynomial decay at infinity, we establish stability results for two-sided heat kernel estimates as well as heat kernel upper bound estimates in terms of jumping kernel bounds, the cut-off Sobolev inequalities, and the Faber-Krahn inequalities (resp.\ the Poincaré inequalities). We also give stable characterizations of the corresponding parabolic Harnack inequalities.

연구 동기 및 목표

• 메트릭 측도 공간 위에서 가능한 경량 꼬리 점프 커널을 가진 일반적인 대칭 순수 점프 딜레르트 형식에 대해 안정적인 양측 열핵 추정을 도출하는 것.
• 절단 소볼레프 부등식과 패브르-크라hn 부등식과 같은 내재된 기하학적 및 해석적 조건을 통해 열핵 상하한을 특성화하는 것.
• 점프 커널과 측도 공간에 대한 약간의 검증 가능한 가정 하에서 포물선형 하르낙 부등식의 안정적 특성화를 수립하는 것.
• 큰 점프가 다항식 감쇠 또는 그 이하 꼬리 성질을 가진 경우, 이전의 열핵 안정성 결과를 다항식 감쇠 또는 경량 꼬리가 존재하는 경우로 확장하는 것.
• 비국소적이고 비확산적 설정에서 기존의 열핵 추정 및 용량 한계 결과를 통합하고 일반화하는 것.

제안 방법

• 순수 점프 유형을 가진 대칭 비국소 딜레르트 형식의 프레임워크를 사용하며, $ M \times M \setminus \text{diag} $ 위의 대칭 라돈 측도 $ J(dx,dy) $ 로 정의된다.
• 측도 공간 $ (M,d,\mu) $ 에서 체적 제곱 조건을 적용하여 $ V(x,2r) \leq c_\mu V(x,r) $ 를 확보함으로써 측도 성장 제어.
• 작은 점프와 큰 점프에 대해 다른 지수를 가진 점프 커널 경계 $ J(x,y) \asymp \frac{1}{V(x,d(x,y))d(x,y)^{\alpha}} $ 를 도입하고 적용.
• 절단 소볼레프 부등식과 패브르-크라hn 부등식을 활용하여 열핵 추정을 도출하며, 기능적 부등식과 전이 밀도 경계를 연결.
• 전이 방법과 하향 기법을 사용하여 하향 과정에 대한 추정을 유도하며, 특히 경량 꼬리 점프 커널이 존재하는 경우에 유용.
• 아벨 및 타우버 정리를 적용하여 하향 분포의 라플라스 변환을 분석하고 전이 밀도의 스케일링 행동을 도출.

실험 결과

연구 질문

• RQ1 점프 커널과 측도 공간에 어떤 조건이 성립할 경우 열핵이 양측 추정을 가질 수 있는가?
• RQ2 절단 소볼레프 부등식과 패브르-크라hn 부등식은 열핵 추정의 안정성과 어떻게 관련되는가?
• RQ3 순수 점프 과정에 대해 기하학적 및 해석적 조건을 기반으로 포물선형 하르낙 부등식을 안정적으로 특성화할 수 있는가?
• RQ4 점프 커널이 무한대에서 경량 꼬리를 가지는 경우, 예를 들어 하향 과정의 경우 열핵 추정은 어떻게 변화하는가?
• RQ5 작은 점프와 큰 점프에 대한 스케일링 함수는 전체 열핵 행동과 용량 추정에 어떻게 영향을 미치는가?

주요 결과

• 체적 제곱과 온건한 점프 커널 경계 하에서 $ \mathrm{UHK}(\phi_j, \phi_c) $, 즉 양측 열핵 추정이 수립되며, $ \phi_j(r) = r^{\alpha_1} \vee r^\beta $ 이고 $ \phi_c(r) = r^\beta $ 이다.
• 하향 과정 $ Y_t = X_{S_t} $ 에 대해서도 $ \mathrm{UHK}(\phi_j, \phi_c) $ 가 성립함을 증명하였으며, $ \phi_j(r) = r^{\alpha_1} \vee r^\beta $ 이고 $ \alpha_1 = \gamma_1 \beta $ 이며, $ \gamma_2 > 1 $ 이더라도 성립함을 보여 경량 꼬리의 존재를 고려한다.
• 주어진 조건 하에서 $ t \leq 1 $ 이면 $ p(t,x,y) \asymp \frac{1}{V(x,t^{1/\alpha_1})} \wedge (t J(x,y)) $ 이고, $ t \geq 1 $ 이면 $ p(t,x,y) \asymp \frac{1}{V(x,t^{1/\beta})} $ 임을 보였다.
• 열핵 상한과 아벨-타우버 정리를 활용하여 $ r^{\alpha_1} \vee r^\beta $ 의 속도를 가진 패브르-크라hn 부등식을 수립하였다.
• 출구 시간은 $ \mathbb{E}^x[\tau_{B(x_0,r)}] \asymp r^{\alpha_1} \vee r^\beta $ 를 만족하며, 상대 용량은 $ \mathrm{cap}_Y(B(x_0,r), B(x_0,2r)) \asymp \frac{V(x_0,r)}{r^{\alpha_1}} \vee \frac{V(x_0,r)}{r^\beta} $ 를 만족한다.
• 체인 조건이 성립할 경우 전체 포물선형 하르낙 부등식 $ \mathrm{HK}(\phi_j, \phi_c) $ 가 성립함을 확인하였으며, 이는 과정의 경로 연속성과 하르낙 정규성을 확인한다.