[논문 리뷰] Heat kernels for time-dependent non-symmetric stable-like operators

Zhen-Qing Chen, Xicheng Zhang|arXiv (Cornell University)|2017. 09. 14.

Advanced Harmonic Analysis Research참고 문헌 9인용 수 6

한 줄 요약

이 논문은 점프 커널 $\kappa(x,z)$ 에 대한 대칭성 가정 없이, 시간에 의존하고 비대칭인 안정형 유사 연산자에 대해 날카운 이중 열핵 추정, 기울기 추정, 분수 도함수 경계를 수립한다. 수정된 라이프의 방법과 변화 기법을 사용하여, $\kappa$ 에 대한 호일더 연속성과 균일 유계성 조건 하에서 열핵 $p^\kappa_{t,s}(x,y)$ 의 정밀한 경계를 도출하며, 이는 이전 결과를 비대칭 및 시간에 의존하는 설정으로 확장하여 비국소 리에즈 변환에의 응용을 포함한다.

ABSTRACT

When studying non-symmetric nonlocal operators $$ {\cal L} f(x) = \int_{{\bf R}^d} \left( f(x+z)-f(x)- abla f(x)\cdot z 1_{\{|z|\leq 1\}} ight) \frac{κ(x, z)}{|z|^{d+α}} d z , $$ where $02d/(d+2α)$, $$ \| {\cal L}^{1/2}f\|_p\asymp \|Γ(f)^{1/2}\|_p, $$ where $Γ(f):=\frac{1}{2}{\cal L} (f^2)-f {\cal L} f$ is the carré du champ operator associated with ${\cal L}$, and ${\cal L}^{1/2}$ is the square root operator of ${\cal L}$ defined by using Bochner's subordination. Here $\asymp$ means that both sides are comparable up to a constant multiple.

연구 동기 및 목표

• 대칭성 가정 없이 비대칭적이고 시간에 의존하는 비국소 연산자로 날카운 열핵 추정을 확장한다: $\kappa(x,z) = \kappa(x,-z)$ 를 가정하지 않는다.
• 연산자 $\mathscr{L}^\kappa_t$ 의 열핵에 대한 이중 경계를 $\kappa$ 에 대한 최소한의 정규성 조건 하에서 수립한다.
• 분수 도함수 추정을 유도한다: $\beta \in (0 \vee (1 - \alpha), 1)$ 일 때 열핵에 대해.
• 비국소 리에즈 변환 $\mathscr{L}^{1/2}f \asymp \Gamma(f)^{1/2}$ 의 유계성을 분석한다: $p > 2d/(d + 2\alpha)$ 일 때.
• 대칭 설정에서 비대칭 및 시간에 의존하는 설정으로 결과를 확장하며, $\alpha \in (1,2)$ 일 때 이류 변화 항이 포함된 경우도 포함한다.

제안 방법

• 기본 해 $p^\kappa_{t,s}(x,y)$ 를 반복 커널과 변화항을 포함한 급수로 구성하기 위해 수정된 라이프의 방법을 사용한다.
• 정규성과 적분 가능성을 제어하기 위해 차이 커널 $q_{t,s}(x,y)$ 에 대한 신중한 추정을 적용한 파라메트릭스 방법을 적용한다.
• 이중 분할과 스케일링 기법을 활용하여 열핵과 그 도함수의 경계를 $\varrho^\beta_\gamma(t,x) = t^{\gamma/\alpha}(|x|^\beta \wedge 1)/(t^{1/\alpha} + |x|)^{d+\alpha}$ 를 사용해 유도한다.
• 분수 라플라스 연산자 추정 $\Delta^{\theta/2}p^\kappa_{t,s}(x,y)$ 를 적분 표현과 보간 기법을 통해 정규성 경계를 도출한다.
• 역 코모고로프 방정식 $\partial_t u + \mathscr{L}^\kappa_t u = 0$ 의 해에 최대원리 추론을 적용하여 유일성 증명한다.
• 보흐너의 하위순서를 사용하여 제곱근 연산자 $\mathscr{L}^{1/2}$ 를 정의하고, 이를 카르레 두 샹 $\Gamma(f)$ 와 연결한다.

실험 결과

연구 질문

• RQ1 비대칭적이고 시간에 의존하는 안정형 유사 연산자에 대해 $\kappa(x,z) = \kappa(x,-z)$ 를 가정하지 않고 날카운 이중 열핵 추정을 확보할 수 있는가?
• RQ2 $\kappa(x,z)$ 가 $x$ 에 대해 호일더 연속일 때 열핵의 정규성 특성(기울기, 분수 도함수)은 어떻게 되는가?
• RQ3 점프 커널의 대칭성 부재가 비국소 리에즈 변환의 유계성에 어떤 영향을 미치는가?
• RQ4 최소한의 부드러움 조건을 가진 시간에 의존하고 비대칭인 커널을 다룰 수 있도록 파라메트릭스 방법을 어떻게 적응시킬 수 있는가?
• RQ5 이류가 카토 클래스에 속할 때 $\alpha \in (1,2)$ 일 경우 열핵에 어떤 영향을 미치는가?

주요 결과

• 열핵 $p^\kappa_{t,s}(x,y)$ 는 날카운 이중 경계를 만족한다: 모든 $T > 0$ 과 $(t,x;s,y) \in \mathbb{D}^T_0$ 에 대해 $c_0^{-1} \varrho^0_\alpha(s-t,x-y) \leq p^\kappa_{t,s}(x,y) \leq c_0 \varrho^0_\alpha(s-t,x-y)$.
• $\theta \in (0, (\alpha + \beta) \wedge 2)$ 일 때, 분수 도함수는 $|\Delta^{\theta/2}_x p^\kappa_{t,s}(\cdot,y)(x)| \leq c_1 \varrho^{0}_{\alpha - \theta}(s-t,x-y)$ 를 만족한다.
• $\alpha \in [1,2)$ 이거나 $\alpha + \beta > 1$ 일 때 기울기 추정이 성립하며, $|\nabla_x p^\kappa_{t,s}(\cdot,y)(x)| \lesssim \varrho^0_{\alpha - 1}(s-t,x-y)$ 를 만족한다.
• 열핵은 시간에 대해 균일 연속적이며, 공간-시간에 대해 공동 연속적이다: $|t-s| \to 0$ 일 때 $\|P^\kappa_{t,s}f - f\|_\infty \to 0$.
• $\kappa(x,z) = \kappa(z)$ 가 공간에 독립적일 경우 비국소 리에즈 변환은 유계적이다: $p > 2d/(d + 2\alpha)$ 일 때 $\|\mathscr{L}^{1/2}f\|_p \asymp \|\Gamma(f)^{1/2}\|_p$.
• 역 방정식 $\partial_t u + \mathscr{L}^\kappa_t u = 0$ 의 해에 대해 최대원리 추론을 적용하여 열핵의 유일성이 확립된다.