[논문 리뷰] Heat kernels for non-symmetric diffusion operators with jumps

Zhen-Qing Chen, Eryan Hu외 2명|arXiv (Cornell University)|2016. 11. 17.

Nonlinear Partial Differential Equations참고 문헌 13인용 수 5

한 줄 요약

이 논문은 차원 $ d \geq 2 $ 에서 시간에 의존하는 비대칭 확산 연산자에 관련된 열핵의 존재성, 유일성 및 정확한 이면 추정을 확립한다. 확산 계수와 점프 커널에 대한 약간의 연속성 조건 하에서, 저자들은 확률적 및 해석적 기법을 사용하여 최적의 상하계, 기울기 추정 및 분수 도함수 추정을 도출한다. 이는 고전적인 열핵 이론을 국소적이지 않고 비대칭적인 설정으로 확장한다.

ABSTRACT

For $d\geq 2$, we establish the existence and uniqueness of heat kernels for a large class of time-dependent second order diffusion operator with jumps, which is the sum of time-dependent of a second order elliptic differential operators non-divergence form and a non-local $α$-stable-type operator with bounded time-dependent coefficient. Moreover, we obtain sharp two-sided estimates, gradient estimate and fractional derivative estimate for the heat kernels under some mild conditions. Our approach is mainly analytic but also uses some probabilistic techniques.

연구 동기 및 목표

• 시간에 의존하는 비대칭 확산 연산자에 대한 열핵의 존재성과 유일성을 확립하기 위해.
• 계수와 점프 커널에 대한 최소한의 연속성 조건 하에서 열핵에 대한 정확한 이면 추정을 도출하기 위해.
• 유계 점프 커널을 가진 국소적이지 않고 비대칭적인 연산자로 기울기 및 분수 도함수 추정을 확장하기 위해.
• 비리프시츠 계수와 점프 노이즈를 가진 SDE의 전이 밀도를 포함하여, SDE에 대한 엄밀한 해석적 프레임워크를 제공하기 위해.

제안 방법

• 저자들은 비점프 부분의 기본 해와 점프 성분으로부터의 반복 수정을 포함하는 급수 전개를 통해 열핵을 구성하기 위해 매개변수화된 방법 기반의 변형 접근법을 사용한다.
• 열핵 $ Z(t,x;s,y) $ 는 백워드 코모고로프 방정식 $ \partial_t Z + \mathscr{L}_t^a Z = 0 $ 의 해로 정의되며, 여기서 $ \mathscr{L}_t^a $ 는 두 번째 차수 타원형 부분이다.
• 점프 연산자 $ \mathscr{L}^\kappa_t $ 는 유계 커널 $ \kappa(t,x,z) $ 를 통해 모델링되며, 점프 기여를 제어하기 위해 레비 시스템 표현을 사용하여 비국소 적분을 다룬다.
• 핵심 단계는 $ Z_0 $ 와 변형 항 $ \Phi $ 에 대한 추정을 바탕으로 한 매개변수화 급수의 수렴성을 증명하는 것으로, 추정은 $ (s-t)^{-d/2} $ 와 $ |x-y|^{-d-\alpha} $ 에 따라 이루어진다.
• 증명은 비틀림 항 $ b(t,x) $ 에 대한 카토 급수 조건에 의존하여, 변형 급수의 적분 가능성과 안정성을 보장한다.
• 유일성은 관련 과정의 강한 펠러 성질과 마코프 성질을 사용한 비교 원리에 의해 확립된다.

실험 결과

연구 질문

• RQ1 확산 행렬 $ a(t,x) $, 비틀림 $ b(t,x) $, 점프 커널 $ \kappa(t,x,z) $ 에 대해 열핵이 존재하고 유일성을 유지하는 데 필요한 최소한의 연속성 조건은 무엇인가?
• RQ2 α-스테이블 타입의 점프를 가진 비대칭이고 시간에 의존하는 확산 연산자의 열핵에 대한 정확한 이면 추정은 무엇인가?
• RQ3 비틀림 항 $ b \in $ 카토 급수 조건이 성립할 때, 기울기 및 분수 도함수 추정을 도출할 수 있는가?
• RQ4 비리프시츠 계수와 비국소적 점프가 존재할 경우 전이 밀도는 어떻게 행동하는가?

주요 결과

• 확률 행렬 $ a(t,x) $ 가 균일 타원형이고 $ a(t,x) $ 가 호일더 연속이며 $ b(t,x) \in $ 카토 급수일 때, $ d \geq 2 $ 에서 열핵 $ p(t,x;s,y) $ 가 존재하고 유일하다.
• 정확한 이면 추정이 확립된다: $ C^{-1} \left( t^{-d/2} \wedge (\kappa t)^{-d/\alpha} \right) \wedge \left( t^{-d/2} e^{-\lambda |x|^{2}/t} + \frac{\kappa t}{|x|^{d+\alpha}} \right) \leq p(t,x) \leq C \left( t^{-d/2} \wedge (\kappa t)^{-d/\alpha} \right) \wedge \left( t^{-d/2} e^{-\lambda^{-1} |x|^{2}/t} + \frac{\kappa t}{|x|^{d+\alpha}} \right) $.
• 기울기 추정이 도출된다: $ |\nabla_x p(t,x;s,y)| \lesssim t^{-1/2} p(t,x;s,y) $, 이는 공간에서 열핵의 정칙성을 보여준다.
• 분수 도함수 추정이 확보된다: $ |\Delta^{\alpha/2}_x p(t,x;s,y)| \lesssim t^{-\alpha/2} p(t,x;s,y) $, 이는 점프 성분의 비국소적 성격을 반영한다.
• 열핵은 찬프먼-코모고로프 방정식을 만족하고 비음수이므로, 전이 밀도로서의 확률적 일관성을 보장한다.
• 유일성은 관련 과정의 강한 펠러 성질과 마코프 성질을 사용한 비교 논증을 통해 증명된다.