[논문 리뷰] Nonlocal Hormander's hypoellipticity theorem

Xicheng Zhang|arXiv (Cornell University)|2013. 06. 20.

Advanced Differential Geometry Research참고 문헌 23인용 수 5

한 줄 요약

이 논문은 $\alpha$-stable Lévy 과정에 의해 구동되는 적분미분 연산자에 대해 Hörmander의 초탄성 정리의 비국소적 버전을 수립한다. Malliavin 미적분을 이용하여 국소적 Hörmander 조건 하에서 열핵의 존재성과 $L^1$-연속성을 증명하고, 점근적 Hörmander 조건이 성립할 경우 점프 계수 $\sigma$가 일정할 때 공간과 시간에 대한 열핵의 미분가능성을 추가로 확립한다.

ABSTRACT

Consider the following nonlocal integro-differential operator: for $α\in(0,2)$, $$ \cal L^{(α)}_{σ,b} f(x):=\mbox{p.v.} \int_{\mathbb{R}^d-\{0\}}\frac{f(x+σ(x)z)-f(x)}{|z|^{d+α}}d z+b(x)\cdot abla f(x), $$ where $σ:\mathbb{R}^d o\mathbb{R}^d imes\mathbb{R}^d$ and $b:\mathbb{R}^d o\mathbb{R}^d$ are two $C^\infty_b$-functions, and p.v. stands for the Cauchy principal value. Let $B_1(x):=σ(x)$ and $B_{j+1}(x):=b(x)\cdot abla B_j(x)- abla b(x)\cdot B_j(x)$ for $j\in\mathbb{N}$. Under the following Hörmander's type condition: for any $x\in\mathbb{R}^d$ and some $n=n(x)\in\mathbb{N}$, $$ \mathrm{Rank}[B_1(x), B_2(x),\cdots, B_n(x)]=d, $$ by using the Malliavin calculus, we prove the existence of the heat kernel $ρ_t(x,y)$ to the operator $\cal L^{(α)}_{σ,b}$ as well as the continuity of $x\mapsto ρ_t(x,\cdot)$ in $L^1(\mathbb{R}^d)$ for each $t>0$. Moreover, when $σ(x)=σ$ is constant, under the following uniform Hörmander's type condition: for some $j_0\in\mathbb{N}$, $$ \inf_{x\in\mathbb{R}^d}\inf_{|u|=1}\sum_{j=1}^{j_0}|u B_j(x)|^2>0, $$ we also prove the smoothness of $(t,x,y)\mapstoρ_t(x,y)$ with $ρ_t(\cdot,\cdot)\in C^\infty_b(\mathbb{R}^d imes\mathbb{R}^d)$ for each $t>0$.

연구 동기 및 목표

• 비국소적 적분미분 연산자에 대해 Hörmander의 고전적 초탄성 정리를 $\alpha$-stable Lévy 과정에 의해 구동되는 연산자로 확장하는 것.
• 계수에 대한 Hörmander 유형 조건 하에서 이러한 비국소적 연산자의 열핵의 존재성과 정규성 확립.
• 국소적 Hörmander 조건 하에서 공간 변수 $x$에 대한 열핵의 $L^1$-연속성 증명.
• 점프 계수 $\sigma$가 일정할 경우 균일한 Hörmander 조건 하에서 $(t,x,y) \mapsto \rho_t(x,y)$의 공동 미분가능성 확립.

제안 방법

• 모든 $\alpha \in (0,2)$에 대해 $\mathcal{L}^{(\alpha)}_{\sigma,b}f(x) = \text{p.v.}\int_{\mathbb{R}^d\setminus\{0\}} \frac{f(x+\sigma(x)z)-f(x)}{|z|^{d+\alpha}} \, dz + b(x)\cdot\nabla f(x)$ 로 비국소적 연산자 정의.
• Hörmander 괄호 조건을 일반화하기 위해 반복 벡터장 $B_1(x) = \sigma(x)$, $B_{j+1}(x) = b(x)\cdot\nabla B_j(x) - B_j(x)\cdot\nabla b(x)$ 도입.
• 비국소적 소음이 포함된 관련 SDE에 대해 Malliavin 미적분을 적용하여 해의 법칙의 정규성 분석.
• Malliavin 행렬과 그 행렬식을 이용해 역행렬의 적분 가능성을 제어하고 부드러운 밀도의 존재 보장.
• 유도 흐름 $D^k X_t(x)$의 모멘트 추정을 수립하고 Sobolev 포함을 통해 열핵 도함수의 경계 확보.
• Itło의 공식을 통한 시간 정규화 접근을 활용하여 시간 $t$에 대한 미분가능성 증명.

실험 결과

연구 질문

• RQ1 계수 $\sigma$와 $b$에 어떤 조건이 성립할 경우 비국소적 연산자 $\mathcal{L}^{(\alpha)}_{\sigma,b}$ 가 부드러운 전이 밀도를 생성하는가?
• RQ2 $\alpha$-stable 점프를 갖는 비국소적 연산자에 대해 고전적 Hörmander 조건을 어떻게 적응시킬 수 있는가?
• RQ3 국소적 Hörmander 조건 하에서 열핵 $\rho_t(x,y)$ 가 존재하고 $x$에 대해 $L^1$에서 연속적인가?
• RQ4 점프 계수 $\sigma$가 일정할 경우 $(t,x,y)$ 에서의 $\rho_t(x,y)$ 의 공동 미분가능성을 보장하는 균일한 조건은 무엇인가?
• RQ5 Malliavin 미적분 프레임워크는 비정규 Lévy 소음을 갖는 비국소적 연산자로 어떻게 확장되는가?

주요 결과

• 국소적 Hörmander 조건 $\mathrm{Rank}[B_1(x), \dots, B_n(x)] = d$ 가 어떤 $n(x) \in \mathbb{N}$ 에 대해 성립할 경우, 열핵 $\rho_t(x,y)$ 가 존재하고 각 $t > 0$ 에 대해 $x \mapsto \rho_t(x,\cdot)$ 는 $L^1(\mathbb{R}^d)$ 에서 연속적이다.
• 점프 계수 $\sigma(x) = \sigma$ 가 일정하고 균일한 Hörmander 조건 $\inf_{x\in\mathbb{R}^d} \inf_{|u|=1} \sum_{j=1}^{j_0} |uB_j(x)|^2 > 0$ 이 성립할 경우, $t > 0$ 에서 열핵 $\rho_t(x,y)$ 는 $(t,x,y)$ 에 대해 부드럽다.
• $t \in (0,t_0)$ 에 대해 열핵의 $k$-번째 공간 도함수는 $\sup_x |\nabla^k \mathbb{E}[(\nabla^m f)(X_t(x))]| \leq C \|f\|_\infty t^{-\gamma_{k,m}}$ 를 만족하며, 이는 $t=0$ 근처에서의 특이 행동을 나타낸다.
• Malliavin 행렬의 역행렬은 $\mathbb{E}[(\det \tilde{\Sigma}_t)^{-p/d}] \leq C t^{-2(p+1)/\alpha\gamma}$ 를 만족하며, 이는 밀도의 적분 가능성을 제어한다.
• 시간에 대한 $\rho_t(x,y)$ 의 미분가능성은 Itło의 공식과 전이 밀도의 정규성에 기반한 부트스트랩 방법을 통해 유도된다.
• 결과는 Malliavin 미적분을 활용한 확률적 접근을 통해 도출되었으며, 고전적 Malliavin 증명을 비국소적 설정으로 확장하였다.