[논문 리뷰] Heat kernels and analyticity of non-symmetric jump diffusion semigroups

Zhen-Qing Chen, Xicheng Zhang|arXiv (Cornell University)|2013. 06. 20.

Nonlinear Partial Differential Equations참고 문헌 18인용 수 7

한 줄 요약

이 논문은 비대칭적인 점프 디퓨전 세미군의 열핵 추정, 분수 도함수 및 기울기 추정, 그리고 비국소 연산자 $\mathscr{L}^\kappa_\alpha f(x) = \text{p.v.}\int (f(x+z)-f(x))\frac{\kappa(x,z)}{|z|^{d+\alpha}}\,dz$ 에 의해 생성되는 비대칭적인 점프 디퓨전 세미군에 대해 허더링 연속성과 타원성 조건을 만족하는 점프 강도 $\kappa(x,z)$ 를 가정할 때 날카운 이중측 추정, 분수 도함수 및 기울기 추정, 그리고 공동 허더링 연속성을 확립한다. 주요 기여는 모든 $p \in [1,\infty)$ 에 대해 관련 세미군이 $L^p$-공간에서 해석적임을 증명하는 것으로, 편미분 방정식 $\partial_t u = \mathscr{L}^\kappa_\alpha u$ 에 대한 최대원리도 함께 제시한다.

ABSTRACT

Let $d\geq 1$ and $α\in (0, 2)$. Consider the following non-local and non-symmetric Lévy-type operator on $\mR^d$: $$ \sL^κ_αf(x):=\mbox{p.v.}\int_{\mR^d}(f(x+z)-f(x))\frac{κ(x,z)}{|z|^{d+α}} \dif z, $$ where $0

연구 동기 및 목표

• 비퇴직적인 경우 비대칭적이고 비국소적인 안정형 유사 연산자에 대한 정규성과 해석성 결과의 부족을 해결한다.
• 레비의 방법을 사용하여 비대칭 연산자 $\mathscr{L}^\kappa_\alpha$ 의 기본해(열핵) $p^\kappa_\alpha(t,x,y)$ 를 구성한다.
• 열핵에 대한 날카운 이중측 추정, 분수 도함수 및 기울기 추정을 확립한다.
• 열핵의 $(t,x)$ 에서의 공동 허더링 연속성과 모든 $p \in [1,\infty)$ 에 대해 관련 세미군이 $L^p$-공간에서 해석적임을 증명한다.
• 편미분 방정식 $\partial_t u = \mathscr{L}^\kappa_\alpha u$ 의 해에 대한 최대원리를 확립한다.
• 세미군을 마틴갈 문제를 통해 펠러 과정과 연결하고, 그 레비 체계를 규명한다.

제안 방법

• 비대칭 연산자 $\mathscr{L}^\kappa_\alpha$ 에 대해 레비의 방법을 적용하여 기본해(열핵) $p^\kappa_\alpha(t,x,y)$ 를 구성한다.
• 퇴출 시간 추정과 강한 마코프 성질을 포함한 확률적 추론을 사용하여 열핵의 하한을 도출한다.
• 스케일링과 비교 추론을 활용하여 허더링 연속성 $\kappa(x,z)$ 를 고려하여 열핵에 대한 날카운 이중측 추정을 확립한다.
• 경로 기반 추정과 과정의 모멘트 유계를 통해 $(t,x)$ 에서의 열핵 $p^\kappa_\alpha(t,x,y)$ 의 공동 허더링 연속성을 증명한다.
• 연관된 펠러 과정 $X$ 의 레비 체계를 규명하고, $\mathbb{P}_x$ 가 $({\mathscr{L}}^\kappa_\alpha, C^2_b(\mathbb{R}^d))$ 에 대한 마틴갈 문제를 만족함을 검증한다.
• 열핵 추정과 함수해석학 및 섭동 이론을 조합하여 세미군의 해석성을 증명한다.

실험 결과

연구 질문

• RQ1 허더링 연속적인 점프 강도 $\kappa(x,z)$ 를 가진 비대칭적이고 비국소적인 안정형 유사 연산자 $\mathscr{L}^\kappa_\alpha$ 의 열핵에 대한 날카운 이중측 추정은 무엇인가요?
• RQ2 열핵의 $(t,x)$ 에서의 공동 허더링 연속성은 $\kappa(x,z)$ 의 정규성으로부터 어떻게 유도되는가요?
• RQ3 $p \in [1,\infty)$ 에 대해 $L^p$-공간에서 $\mathscr{L}^\kappa_\alpha$ 에 의해 생성된 세미군의 해석성 상태는 무엇인가요?
• RQ4 $({\mathscr{L}}^\kappa_\alpha, C^2_b(\mathbb{R}^d))$ 에 대한 마틴갈 문제의 해는 전이 밀도 $p^\kappa_\alpha(t,x,y)$ 를 가진 펠러 과정과 어떻게 관련이 있나요?
• RQ5 $\kappa(x,z)$ 에 주어진 조건 하에서 편미분 방정식 $\partial_t u = \mathscr{L}^\kappa_\alpha u$ 의 해에 대해 어떤 최대원리가 성립하는가요?

주요 결과

• 열핵 $p^\kappa_\alpha(t,x,y)$ 는 모든 $t>0$ 과 $x,y \in \mathbb{R}^d$ 에 대해 $C^{-1} \frac{t}{(t^{1/\alpha} + |x-y|)^{d+\alpha}} \leq p^\kappa_\alpha(t,x,y) \leq C \frac{t}{(t^{1/\alpha} + |x-y|)^{d+\alpha}}$ 의 형태로 날카운 이중측 추정을 만족한다. 여기서 $C \geq 1$ 은 $d$, $\alpha$, $\kappa_0$, $\kappa_1$, $\kappa_2$ 에만 의존한다.
• 열핵은 $(t,x)$ 에서 공동 허더링 연속적이며, 허더링 지수는 $\beta$ 와 $\alpha$ 에 따라 달라진다.
• $\mathscr{L}^\kappa_\alpha$ 에 의해 생성된 세미군은 모든 $p \in [1,\infty)$ 에 대해 $L^p(\mathbb{R}^d)$ 에서 해석적이다. 이는 고전적인 데 지오르기-나시-모저 이론을 비대칭적이고 비국소적인 연산자로 확장한다.
• 편미분 방정식 $\partial_t u = \mathscr{L}^\kappa_\alpha u$ 의 해에 대해 최대원리가 성립하여, 음이 아닌 해는 파arabolic 경계에서 최댓값을 가진다.
• 연관된 펠러 과정 $X$ 는 점프 행동을 기술하는 레비 체계를 가지며, $\mathbb{P}_x$ 는 $({\mathscr{L}}^\kappa_\alpha, C^2_b(\mathbb{R}^d))$ 에 대한 마틴갈 문제를 만족한다.
• 열핵 $p^\kappa_\alpha(t,x,y)$ 는 펠러 과정 $X$ 의 전이 밀도이며, 논문의 식 (1.18)의 SDE 해는 $X$ 와 동일한 분포를 가지며, 이는 세미군의 확률적 표현을 확인한다.