[논문 리뷰] Stability of heat kernel estimates for symmetric non-local Dirichlet forms

Zhen-Qing Chen, Takashi Kumagai외 1명|arXiv (Cornell University)|2016. 04. 14.

Nonlinear Partial Differential Equations인용 수 9

한 줄 요약

이 논문은 체적 두배 조건이 일반적인 경우에도 메트릭 측도 공간 위에서 대칭 비국소 딜레흐르 형식에 대한 이중 측도 열핵 추정과 상한을 안정적으로 확립한다. 점프 커널, 잘라내기 소볼레프 부등식, 패버-크라흐 부등식을 통한 안정적인 등가 특성화를 제공하며, 보행 차원이 2를 초과할 때 α ≥ 2인 α-스테이블 유사 과정에 대한 열핵 추정을 증명함으로써 주요 열린 문제를 해결한다.

ABSTRACT

In this paper, we consider symmetric jump processes of mixed-type on metric measure spaces under general volume doubling condition, and establish stability of two-sided heat kernel estimates and heat kernel upper bounds. We obtain their stable equivalent characterizations in terms of the jumping kernels, variants of cut-off Sobolev inequalities, and the Faber-Krahn inequalities. In particular, we establish stability of heat kernel estimates for $α$-stable-like processes even with $α\ge 2$ when the underlying spaces have walk dimensions larger than $2$, which has been one of the major open problems in this area.

연구 동기 및 목표

• 메트릭 측도 공간 위에서 대칭 점프 과정에 대한 이중 측도 열핵 추정과 상한의 안정성을 확립하기.
• 점프 커널, 잘라내기 소볼레프 부등식, 패버-크라흐 부등식과 같은 안정적인 기하학적 및 해석적 조건을 통해 열핵 추정을 특성화하기.
• 보행 차원이 2를 초과할 때 α ≥ 2인 α-스테이블 유사 과정에 대한 열핵 추정 안정성의 열린 문제를 해결하기.
• 관련 헌트 과정의 보존성과 확률적 완전성에 대한 충분조건을 제공하기.

제안 방법

• 베르링-데니 공식을 활용하여 딜레흐르 형식을 순수 점프 성분으로 분해하며, $ M \times M \setminus \text{diag} $ 위의 대칭 라돈 측도 $ J $ 에 중점을 둔다.
• 기능 부등식과 용량 추정을 이용하여 열핵 추정과 $ \mathrm{UHK}('\theta') $, $ \mathrm{J}_{\theta,\text{leq}} $, $ \mathrm{CSJ}('\theta') $, $ \mathrm{FK}('\theta') $ 등의 조건 간의 등가성을 확립한다.
• 마이어의 분해와 레비 체계 공식을 적용하여 점프 과정의 역학을 기저 점프 커널과 퇴출 시간 행동과 연결한다.
• 카치오피올리 및 $ L^1 $-평균값 부등식을 사용하여 체적 두배 및 약한 파운카레 유형 조건 하에서 척도 불변 추정을 유도한다.
• 절단 함수 $ \varphi_n $ 를 통한 정규화 및 $ \Gamma^{(\rho)} $-노름에서의 에너지 추정을 활용하여 과정의 보존성을 증명한다.
• 에너지 감쇠 방법과 그로워발 유형 부등식을 적용하여 관련 진화 방정식의 해의 $ L^2 $-노름을 제어한다.

실험 결과

연구 질문

• RQ1 기저 딜레흐르 형식의 변형에 대해 이중 측도 열핵 추정이 어떤 조건에서 안정적인가?
• RQ2 보행 차원이 2를 초과할 때 α ≥ 2인 α-스테이블 유사 과정에 대해 열핵 추정을 어떻게 확립할 수 있는가?
• RQ3 점프 커널, 잘라내기 소볼레프 부등식, 패버-크라흐 부등식을 통해 열핵 추정의 안정적인 등가 특성화는 무엇인가?
• RQ4 대칭 점프 과정의 보존성은 내재된 기하학적 및 해석적 조건을 통해 어떻게 특성화할 수 있는가?
• RQ5 체적 두배 조건은 비국소 딜레흐르 형식에 대한 열핵 추정의 안정성에 어떤 역할을 하는가?

주요 결과

• 일반적인 체적 두배 조건 하에서 이중 측도 열핵 추정은 안정적이며, 점프 커널과 잘라내기 소볼레프 부등식을 통한 안정적인 등가 특성화가 가능하다.
• 보행 차원이 2를 초과할 때 α ≥ 2인 α-스테이블 유사 과정에 대한 열핵 추정의 안정성이 이 논문에서 확립되어 오랫동안 열려있던 문제를 해결한다.
• 체적 두배 조건 하에서 $ \mathrm{UHK}('\theta') $ 는 $ \mathrm{J}_{\theta} + \mathrm{E}_{\theta} $ 와 등가이며, 여기서 $ \mathrm{E}_{\theta} $ 는 평균 퇴출 시간 조건이다.
• 패버-크라흐 부등식 $ \mathrm{FK}('\theta') $ 와 $ \mathrm{J}_{\theta,\text{leq}} $, $ \mathrm{CSJ}('\theta') $ 의 조합은 척도 불변 에너지 부등식 $ \mathrm{E}_{\theta} $ 의 존재를 암시한다.
• 보존성은 $ \mathrm{SCSJ}('\theta') + \mathrm{J}_{\theta,\text{leq}} $ 에 의해 암시되며, 이러한 조건 하에서 과정은 확률적으로 완전하다.
• $ \Gamma^{(\rho)} $-노름과 그로워발 유형의 추론을 통한 새로운 에너지 감쇠 추정을 통해 $ Q_t^{(\rho)} \mathbf{1} = 1 $ μ-거의 모든 곳에서 성립함을 증명하여 보존성을 확인한다.