[논문 리뷰] Heat kernels of non-symmetric jump processes: beyond the stable case

Panki Kim, Renming Song외 1명|arXiv (Cornell University)|2016. 06. 07.

Nonlinear Partial Differential Equations참고 문헌 14인용 수 4

한 줄 요약

이 논문은 특성 지수 $\Phi$ 에 대한 약한 척도 조건 하에서 일반적인 대칭 레비 과정의 레비 밀도 $J(z)$ 를 갖는 비대칭, 비국소적 점프 과정에 대해 날카운 열핵 추정을 수립한다. 열핵 $p^\kappa(t,x,y)$ 에 대한 상한과 하한 추정, 분수 도함수 및 기울기 추정을 증명하여 이전 결과를 안정 사례를 초월하여 일반적인 척도 행동을 갖는 더 넓은 범위의 레비 과정으로 확장한다.

ABSTRACT

Let $J$ be the Lévy density of a symmetric Lévy process in $\mathbb{R}^d$ with its Lévy exponent satisfying a weak lower scaling condition at infinity. Consider the non-symmetric and non-local operator $$ {\mathcal L}^κf(x):= \lim_{ε\downarrow 0} \int_{\{z \in \mathbb{R}^d: |z|>ε\}}(f(x+z)-f(x))κ(x,z)J(z)\, dz\, , $$ where $κ(x,z)$ is a Borel measurable function on $\mathbb{R}^d imes \mathbb{R}^d$ satisfying $0

연구 동기 및 목표

• 안정 유사 비대칭 점프 과정의 열핵 추정 이론을 더 일반적인 비대칭, 비국소적 연산자로 확장하여, 임의의 대칭 레비 과정에 의해 구동되는 연산자로 확장한다.
• 일반적인 대칭 레비 과정의 레비 밀도 $J$ 를 갖는 비대칭 연산자 $\mathcal{L}^\kappa$ 의 열핵 $p^\kappa(t,x,y)$ 에 대한 상한과 하한 추정을 수립한다.
• 공간에 대한 허더링 연속성 포함, $\kappa(x,z)$ 에 대한 최소한의 정규성 가정 하에서 열핵에 대한 분수 도함수 및 기울기 추정을 유도한다.
• $p^\kappa(t,x,y)$ 가 $(t,x,y) \in (0,1] \times \mathbb{R}^d \times \mathbb{R}^d$ 에서 존재하고 함께 연속적임을 증명하여 그 확률론적 및 해석적 타당성을 확보한다.
• 이전의 안정 유사 연산자에 대한 결과를 일반화하기 위해 거듭제곱 법칙 커널 $|z|^{-d-\alpha}$ 를 약한 하한 및 상한 척도 조건을 만족하는 일반 레비 밀도 $J(z)$ 로 대체한다.

제안 방법

• 저자들은 비대칭 비국소적 연산자 $\mathcal{L}^\kappa f(x) = \mathrm{p.v.} \int_{\mathbb{R}^d} (f(x+z) - f(x)) \kappa(x,z) J(z) \, dz$ 를 정의하며, $\kappa(x,z)$ 는 유계성, 대칭성 및 공간에 대한 허더링 연속성을 만족한다.
• 특성 지수 $\Phi$ 에 대해 약한 하한 척도 조건 $a_1 \lambda^{\delta_1} \Phi(r) \leq \Phi(\lambda r)$ ($\lambda \geq 1$, $r \geq 1$) 과 적분 조건 $\int_0^1 \Phi(r)/r \, dr < \infty$ 을 가정한다.
• 열핵 $p^\kappa(t,x,y)$ 는 강한 마코프 성질과 레비 시스템 공식을 이용한 확률적 방법을 통해 구성되며, 첫 번째 이탈 시간과 점프 확률을 분석한다.
• 핵심 추정은 함수 $\rho(t,x) = \Phi\left( \left( \Phi^{-1}(t^{-1}) + |x| \right)^{-1} \right) \left( \Phi^{-1}(t^{-1}) + |x| \right)^{-d}$ 를 통해 유도되며, 이는 대칭 과정의 열핵에 대한 상한으로 기능한다.
• 하한 추정은 경로 분석을 통해 수립된다: 정지 시간 $\sigma$ 를 이용해 전이 확률을 분해하고 강한 마코프 성질을 적용하여 목표 구역에 도달할 가능성을 통제한다.
• 증명은 점프 측도 $J(z)$ 를 보조 브라운 운동의 레비 밀도 $j(|y|)$ 와 비교함으로써 이루어지며, 비교식 $\gamma_0^{-1} j(|y|) \leq J(y) \leq \gamma_0 j(|y|)$ 를 사용하고, 레비 시스템과 이탈 시간 추정을 통해 구역에 대한 도달 확률을 분석한다.

실험 결과

연구 질문

• RQ1 레비 측도가 반드시 안정적이지는 않지만 약한 척도 조건을 만족할 경우, 비대칭 점프 과정에 대해 날카운 이중 열핵 추정을 수립할 수 있는가?
• RQ2 일반적인 레비 밀도 $J(z)$ 를 갖는 비대칭 연산자 $\mathcal{L}^\kappa$ 의 열핵 $p^\kappa(t,x,y)$ 에 대한 정확한 상한과 하한 추정은 무엇인가?
• RQ3 점프 강도 $\kappa(x,z)$ 에 대한 최소한의 정규성 가정 하에서 열핵에 대한 분수 도함수 및 기울기 추정은 어떻게 행동하는가?
• RQ4 열핵 $p^\kappa(t,x,y)$ 가 함께 연속적이고 체인-콜모고로프 방정식을 만족하는 조건은 무엇인가?
• RQ5 완전한 척도 행동을 가정하지 않고도, 무한대에서의 약한 하한 및 상한 척도 조건만을 가정할 경우 열핵의 하한 추정을 유도할 수 있는가?

주요 결과

• 열핵 $p^\kappa(t,x,y)$ 는 $(0,1] \times \mathbb{R}^d \times \mathbb{R}^d$ 에서 존재하며 함께 연속적이며, $x \neq y$ 에서 포켈-플랭크 방정식 $\partial_t p^\kappa = \mathcal{L}^\kappa p^\kappa$ 를 만족한다.
• 상한 추정이 수립된다: $p^\kappa(t,x,y) \lesssim t \rho(t,x-y)$, 여기서 $\rho(t,x)$ 는 특성 지수 $\Phi$ 의 역함수를 통해 정의된다.
• 하한 추정이 증명된다: $p^\kappa(t,x,y) \gtrsim t j(|x-y|)$, 여기서 $j(|y|)$ 는 기저 대칭 레비 과정의 레비 밀도이며, 추가적인 약한 상한 척도 조건이 필요하다.
• 분수 도함수 추정이 성립한다: $\alpha \in (0,1)$ 에 대해 $|\partial_t^\alpha p^\kappa(t,x,y)| \lesssim t^{-\alpha} \rho(t,x-y)$, 이는 안정 사례를 초월한 정규성 결과를 확장한다.
• 기울기 추정이 수립된다: $|\nabla_x p^\kappa(t,x,y)| \lesssim t \rho(t,x-y) \cdot \Phi^{-1}(t^{-1})^{-1}$, 이는 과정의 척도 행동에 대한 의존성을 보여준다.
• 열핵은 체인-콜모고로프 방정식을 만족하며, 보존적이므로 그 확률론적 해석으로서 전이 밀도로서의 타당성을 확인한다.