[논문 리뷰] Estimates of Dirichlet heat kernel for symmetric Markov processes

Tomasz Grzywny, Kyung-Youn Kim외 1명|arXiv (Cornell University)|2015. 12. 09.

Nonlinear Partial Differential Equations참고 문헌 44인용 수 10

한 줄 요약

이 논문은 약한 척도 조건을 만족하는 등방향 단조 레비 과정에 의해 지배되는 대칭 순수 점프 마코프 과정의 $C^{1,1}$ 열린 집합에서 딜리클레 열기핵에 대한 날카운 양방향 추정을 수립한다. 잠재 이론과 경로 분석을 융합한 새로운 접근법을 통해 스케일 불변 경계 하르낙 부등식과 정확한 감쇠 속도를 갖는 그린 함수 추정을 제공하는 명시적 경계를 도출한다.

ABSTRACT

We consider a large class of symmetric pure jump Markov processes dominated by isotropic unimodal Lévy processes with weak scaling conditions. First, we establish sharp two-sided heat kernel estimates for these processes in $C^{1,1}$ open sets. As corollaries of our main results, we obtain sharp two-sided Green function estimates and a scale invariant boundary Harnack inequality with explicit decay rates in $C^{1,1}$ open sets.

연구 동기 및 목표

• 레비 과정을 초월하여 약한 척도 조건을 만족하는 더 넓은 범주인 대칭 순수 점프 마코프 과정으로 날카운 딜리클레 열기핵 추정을 확장하는 것.
• 경계가 $C^{1,1}$ 열린 집합인 과정의 전이 밀도에 대한 양방향 추정을 수립하는 것.
• 이러한 영역 내 조화 함수에 대해 명시적 감쇠 속도를 갖는 스케일 불변 경계 하르낙 부등식을 도출하는 것.
• 열기핵 경계로부터의 추정을 삼각형 함수 추정의 결과로 제공하는 것.
• 분수 라플라스 연산자 및 단조 레비 과정에 관한 이전 결과들을 비등방성, 비레비 과정으로 일반화하여 통합하는 것.

제안 방법

• 약한 척도 조건을 만족하는 레비 측도에 대해 함수 $\phi$ 를 사용하여 표현: $\underline{c}(R/r)^{\underline{\alpha}} \leq \phi(R)/\phi(r) \leq \overline{C}(R/r)^{\overline{\alpha}}$ for $0 < r \leq R$.
• 점프 커널의 구성: $\nu(r) = \phi(r)^{-1} r^{-d}$, 이는 약한 척도 조건과 적분 가능성과의 호환성을 보장한다.
• 세미군성질과 딘킨 공식을 적용하여 생성자 및 전이 밀도를 제어하는 것.
• 핵심적인 구조적 추정으로서 $p_D(t,x,y) \asymp \mathbb{P}_x(\tau_D > t) \mathbb{P}_y(\tau_D > t) p(t,x,y)$ 의 인수분해를 사용하는 것.
• [7, 가정 A–D] 및 [35, 섹션 4]의 조건을 검증하여 스케일 및 이동 불변성을 갖는 경계 하르낙 부등식(BHI)을 수립하는 것.
• 그린 함수 추정과 도달 시간 확률을 이용한 정규 조화 함수 비교를 통한 경계 하르낙 부등식의 증명.

실험 결과

연구 질문

• RQ1 약한 척도 조건을 만족하는 점프 커널을 갖는 대칭 마코프 과정에 대해, 레비 케이스를 초월하여 날카운 양방향 딜리클레 열기핵 추정을 수립할 수 있는가?
• RQ2 이러한 과정에 대해 $C^{1,1}$ 영역 내 그린 함수와 조화 함수의 정확한 감쇠 속도는 무엇인가?
• RQ3 비등방성, 비레비 대칭 마코프 과정에 대해 약한 척도 레비 측도를 갖는 경우 스케일 불변 경계 하르낙 부등식이 성립하는가?
• RQ4 생존 확률 $\mathbb{P}_x(\tau_D > t)$ 는 자유 열기핵과 어떻게 상호작용하여 유계 영역 내 딜리클레 열기핵을 결정하는가?
• RQ5 지수적 감쇠 또는 유한 범위 점프를 갖는 비레비 과정으로 $p_D(t,x,y) \asymp \mathbb{P}_x(\tau_D > t) \mathbb{P}_y(\tau_D > t) p(t,x,y)$ 의 인수분해를 어느 정도까지 확장할 수 있는가?

주요 결과

• 약한 척도 조건을 만족하는 등방향 단조 레비 과정에 의해 지배되는 대칭 순수 점프 마코프 과정에 대해, $C^{1,1}$ 열린 집합에서 딜리클레 열기핵 $p_D(t,x,y)$ 에 대한 날카운 양방향 추정이 수립된다.
• 그린 함수 $G_D(x,y)$ 는 $x,y$ 가 반지름 $r<1$ 인 구 내에 있을 때 $G_D(x,y) \asymp \phi(|x-y|) \cdot |x-y|^{-d}$ 를 만족하며, 상수는 $\phi$, $d$, 척도 매개변수에만 의존한다.
• 스케일 불변 경계 하르낙 부등식이 존재하며, 명시적 감쇠 속도를 갖는다: $x,y \in D \cap B(z,r/2)$ 에 대해 $\frac{f(x)}{f(y)} \leq c_1 \frac{g_1(x)}{g_1(y)}$ 이며, $g_1$ 은 $U$ 에서 정규 조화 함수이다.
• 경계 하르낙 부등식 및 그린 함수 추정의 상수들은 위치 $x_0$ 와 스케일 $r<1$ 에 영향을 받지 않으며, 이는 이동 및 스케일 불변성을 보장한다.
• 결과는 점프 커널이 지수적으로 감쇠하는 과정($\beta \in (0,\infty)$)과 유한 범위 점프 과정으로 확장되며, 레비 과정을 초월한 범위를 넓힌다.
• 증명은 [7, 가정 A–D] 및 [35, 섹션 4]의 조건을 검증하여, 균일한 상수를 갖는 견고하고 불변 형태의 경계 하르낙 부등식을 이끌어낸다.