[논문 리뷰] A priori Holder estimate, parabolic Harnack principle and heat kernel estimates for diffusions with jumps

Zhen-Qing Chen, Takashi Kumagai|ArXiv.org|2008. 08. 29.

Nonlinear Partial Differential Equations참고 문헌 11인용 수 12

한 줄 요약

이 논문은 비국소 연산자로 구성된 확산 및 점프 성분을 가진 파라보릭 함수에 대해 사전 허더 조건과 파라보릭 하르나크 원리를 수립한다. 이러한 과정에 대해 날카운 두변화 열핵 추정을 도출하며, 안정성 유사 스케일링을 만족하는 일반 레비 핵을 가진 점프-확산 과정으로 고전 결과를 확장한다.

ABSTRACT

In this paper, we consider the following type of non-local (pseudo-differential) operators $\LL $ on $\R^d$: $$ \LL u(x) =\frac12 \sum_{i, j=1}^d \frac{\partial}{\partial x_i} (a_{ij}(x) \frac{\partial}{\partial x_j}) + \lim_{\eps \downarrow 0} \int_{\{y\in \R^d: |y-x|>\eps\}} (u(y)-u(x)) J(x, y) dy, $$ where $A(x)=(a_{ij}(x))_{1\leq i, j\leq d}$ is a measurable $d imes d$ matrix-valued function on $\R^d$ that is uniform elliptic and bounded and $J$ is a symmetric measurable non-trivial non-negative kernel on $\R^d imes \R^d$ satisfying certain conditions. Corresponding to $\LL$ is a symmetric strong Markov process $X$ on $\R^d$ that has both the diffusion component and pure jump component. We establish a priori Hölder estimate for bounded parabolic functions of $\LL$ and parabolic Harnack principle for positive parabolic functions of $\LL$. Moreover, two-sided sharp heat kernel estimates are derived for such operator $\LL$ and jump-diffusion $X$. In particular, our results apply to the mixture of symmetric diffusion of uniformly elliptic divergence form operator and mixed stable-like processes on $\R^d$. To establish these results, we employ methods from both probability theory and analysis.

연구 동기 및 목표

• 비국소 연산자에서 확산 및 점프 성분을 포함하는 특정 클래스에 대해 유계 파라보릭 함수의 사전 허더 연속성을 수립하기 위해.
• 해당 연산자의 양의 파라보릭 함수에 대해 파라보릭 하르나크 원리를 증명하기 위해.
• 관련 강 마코프 과정에 대해 이중 날카운 열핵 추정을 도출하기 위해.
• 순수한 확산 또는 순수한 안정성 유사 과정에서의 고전 결과를 일반 스케일링 행동을 가진 혼합 점프-확산 과정으로 확장하기 위해.
• 변수 계수와 특이 점프 핵을 가진 비국소 연산자의 연구에서 확률론적 및 해석적 방법을 통합하기 위해.

제안 방법

• 균일 타원형 발산형 확산 부분과 커널 $J(x,y)$ 를 가진 특이 적분 점프 부분의 합으로 정의된 비국소 연산자 $\mathcal{L}$ 를 사용하며, $J(x,y) \leq \kappa_0 |x-y|^{-d-\beta}$ 를 만족한다.
• 공간-시간 집합의 이탈 시간과 도달 확률을 이용한 확률적 기법을 적용하여 전이 밀도에 대한 추정을 도출한다.
• 뒤로 시간 진동을 가지는 시간-공간 과정 $Z_t = (V_t, X_t)$ 를 사용하여 도달 확률을 분석하고 쌍대성 추론을 구성한다.
• 작은 점프와 큰 점프에 대해 서로 다른 스케일링 영역을 다루기 위해 함수 $\widetilde{\phi}(r) = \phi(r) \wedge r^2$ 를 사용한다.
• 중간 시간 단계 $t/N$ 를 기반으로 한 체이닝 추론을 적용하여, 가우시안 유사 감쇠가 나타나는 단시간 영역에서 하한을 도출한다.
• 일반적인 $\phi$ 가 (1.7) 및 (1.8)을 만족할 때, 이전 연구들([CK2], [SV])의 비교 원리 및 추정을 현재 설정에 적응시켜 사용한다.

실험 결과

연구 질문

• RQ1 확산 및 점프 성분을 가진 비국소 연산자에 대해 파라보릭 하르나크 원리는 어떤 조건에서 성립하는가?
• RQ2 안정성 유사 스케일링을 만족하는 일반 레비 핵을 가진 점프-확산 과정에 대해 날카운 이중 열핵 추정은 무엇인가?
• RQ3 이러한 비국소 연산자의 유계 파라보릭 함수에 대해 사전 허더 정규성이 확립될 수 있는가?
• RQ4 점프 핵 $J(x,y)$ 의 스케일링 성질은 열핵의 정규성과 감쇠에 어떤 영향을 미치는가?
• RQ5 변수 계수와 비균일한 점프 강도를 가진 일반 혼합 사례로 확장될 수 있는, 확산 및 안정 과정에 대한 고전 결과의 적용 범위는 어느 정도인가?

주요 결과

• 유계 파라보릭 함수에 대해 $\mathcal{L}$ 에 대해 사전 허더 추정이 수립되어 일반적인 점프-확산 역학 하에서 국소 정규성을 보장한다.
• 파라보릭 하르나크 원리가 성립한다: 임의의 $\delta > 0$ 에 대해 $c_1 > 0$ 가 존재하여, 음이 아닌 파라보릭 함수 $h$ 에 대해 $\sup_{Q(\delta\widetilde{\phi}(R),z,R)} h \leq c_1 \inf_{B(z,R)} h(0,\cdot)$ 를 만족한다.
• 이중 날카운 열핵 추정이 도출된다: $t \lesssim r^2$ 일 때 $p(t,x,y) \asymp t^{-d/2} \exp(-c r^2/t)$ 와 $t \gtrsim r^2$ 일 때 $p(t,x,y) \asymp t \cdot |x-y|^{-d} \phi(|x-y|)^{-1}$ 를 만족하며, 여기서 $r = |x-y|$ 이다.
• 하한이 증명된다: $|x-y| \leq c_2 \widetilde{\phi}^{-1}(t)$ 일 때 $p(t,x,y) \geq c_1 (\widetilde{\phi}^{-1}(t))^{-d}$ 를 만족한다. 여기서 $\widetilde{\phi}(r) = \phi(r) \wedge r^2$ 이다.
• 열핵은 장시간 영역에서는 안정성 유사 행동을 보이며, 단시간 영역에서는 가우시안 유사 감쇠를 보인다. 이는 $\phi$ 의 스케일링에 따라 달라진다.
• 결과는 균일 타원형 확산과 혼합 안정성 유사 과정의 조합에 적용되며, 알려진 추정을 비균일성, 변수 계수 설정으로 일반화한다.