[논문 리뷰] Heat Kernels for Non-symmetric Non-local Operators

Zhen-Qing Chen, Xicheng Zhang|arXiv (Cornell University)|2017. 03. 27.

advanced mathematical theories참고 문헌 34인용 수 9

한 줄 요약

이 논문은 비대칭 비국소 연산자에 대한 열핵 추정치의 최근 발전을 조사하며, 변형 방법과 Lévy 시스템 기법을 통해 존재성과 정밀한 양측 추정치에 중점을 두고 있다. 적절한 점프 커널 조건 하에서 열핵이 안정형 유사 기본 커널과 비교 가능하다는 것을 입증하며, 고전적인 Aronson 유형 추정치를 변수 순서와 비국소 변형을 포함한 비대칭 설정으로 확장한다.

ABSTRACT

We survey the recent progress in the study of heat kernels for a class of non-symmetric non-local operators. We focus on the existence and sharp two-sided estimates of the heat kernels and their connection to jump diffusions.

연구 동기 및 목표

• 유클리드 공간 내 비대칭 비국소 연산자에 대해 존재성과 정밀한 양측 열핵 추정치를 확립하기.
• 고전적인 Aronson 유형 추정치를 비대칭 및 변수 순서 비국소 연산자로 확장하기.
• [26, (3.20)]의 증명에서 발생한 격차를 메우기 위해 |x| ≤ t^{1/α}인 경우에 대한 완전한 증거를 제공하기.
• 비국소 변형이 열핵 행동에 미치는 영향을 분석하기, 특히 비음성 및 비교 가능성 조건 하에서.
• 열핵 추정치와 점프 확산 이론 및 Lévy 시스템 간의 연관성을, 특히 Feynman-Kac 변환 프레임워크를 통해 연결하기.

제안 방법

• 관련 마코프 과정의 전이 밀도와 점프 동역학을 특성화하기 위해 Lévy 시스템 표현을 사용한다.
• 비국소 연산자 S^κ를 포함하는 반복 적분을 통해 정의된 각 항이 ∑_{n=0}^∞ q^κ_n(t,x,y)로 표현되는 재귀적 변형 기법을 적용한다.
• 비국소 생성자 표현을 ∫(f(x+z)−f(x)−∇f(x)·z𝟏_{|z|≤1}) j^κ(x,z) dz 형태로 사용하며, j^κ(x,z)는 변수 순서 α(x)를 가진 거듭제곱 법칙 커널로 주어진다.
• α(x)의 Hölder 연속성을 활용하여 변수 순서 연산자에 대한 정밀한 추정치를 도출하기 위해 고정 계수 방법을 구현한다.
• 승법적 변형 하에서 열핵 추정치를 유지하기 위해 Feynman-Kac 변환 하에서의 안정성 결과를 적용한다.
• Lévy-Khintchine 표현을 사용하여 Lévy 지수를 특성화하고, 기본 Lévy 과정의 경로적 성질을 유도한다.

실험 결과

연구 질문

• RQ1 비대칭 비국소 연산자가 정밀한 양측 추정치를 갖는 열핵을 가질 수 있는 조건은 무엇인가?
• RQ2 비국소 변형은 기본 안정형 유사 커널과의 비교 가능성에 어떤 영향을 미치는가?
• RQ3 비대칭 비국소 연산자에 대해 기본 해의 비음성 조건은 무엇인가?
• RQ4 Hölder 연속적인 순서 함수를 가진 변수 순서 비국소 연산자로 Aronson 유형 추정치를 확장할 수 있는가?
• RQ5 Feynman-Kac 변환은 비대칭 점프 확산에 대해 열핵 추정치를 어떻게 유지하는가?

주요 결과

• 점프 밀도 j^κ(x,z)가 0 < c₁/|z|^{d+α} ≤ j^κ(x,z) ≤ c₂/|z|^{d+α}를 만족하는 비대칭 비국소 연산자에 대해, 열핵 q^κ(t,x,y)는 (0,T] × ℝ^d × ℝ^d에서 q^κ(t,x,y) ≍ p(t,x,y)를 만족한다.
• κ(x,z) ≥ −𝒜(d,−α)/𝒜(d,−β) |z|^{β−α} 거의 모든 z에 대해 성립할 경우, 기본 해 q^κ(t,x,y)의 비음성이 보장된다.
• [26, (3.20)]의 증명에서 발생한 격차는 |x| ≤ t^{1/α}인 경우에 대한 완전한 추정치를 제공함으로써 해결되며, 이는 이전에 주장된 바보다 더 정밀한 추정치를 도출한다.
• 변수 순서 연산자 𝒟f(x) = ∫(f(x+z)−f(x)−∇f(x)·z𝟏_{|z|≤1}) κ(x,z)/|z|^{d+α(x)} dz의 열핵은 α(x)의 Hölder 연속성과 κ(x,z)에 대한 적절한 경계 조건 하에서 양측 추정치를 갖는다.
• 승법적 변형 하에서 열핵 추정치의 안정성은 대칭 및 비대칭 점프 과정 모두에 대해 입증된다.
• 재귀적 급수 ∑_{n=0}^∞ q^κ_n(t,x,y)는 수렴하며, S^κ가 공간 변수 z에 대해 작용하는 편미분 방정식 ∂_t u = (ℒ + S^κ)u의 해가 된다.