[논문 리뷰] Propagation of regularity in $L^p$-spaces for Kolmogorov type hypoelliptic operators

Zhen-Qing Chen, Xicheng Zhang|arXiv (Cornell University)|2017. 06. 07.

Advanced Harmonic Analysis Research참고 문헌 1인용 수 4

한 줄 요약

이 논문은 시간에 의존하는 콜모고로프 유형 초타원형 미분방정식에 대해 분수라플라스 연산자 유형의 정규성 연산자의 $L^p$-유계성을 확립하며, 해석적 연산자의 리졸베인트가 $x_j$ 변수에서 정밀한 분수 차수 $1/(1+2(n-j))$만큼 정규성을 획득함을 증명한다. 이는 $p \in (1,\infty)$ 전역에서 일관되게 성립하며, 반군 추정과 최대함수 기법을 통해 도출된다.

ABSTRACT

Consider the following Kolmogorov type hypoelliptic operator $$ \mathscr L_t:=\mbox{$\sum_{j=2}^n$}x_j\cdot abla_{x_{j-1}}+{ m Tr} (a_t \cdot abla^2_{x_n}), $$ where $n\geq 2$, $x=(x_1,\cdots,x_n)\in(\mathbb R^d)^n =\mathbb R^{nd}$ and $a_t$ is a time-dependent constant symmetric $d imes d$-matrix that is uniformly elliptic and bounded.. Let $\{\mathcal T_{s,t}; t\geq s\}$ be the time-dependent semigroup associated with $\mathscr L_t$; that is, $\partial_s {\mathcal T}_{s, t} f = - {\mathscr L}_s {\mathcal T}_{s, t}f$. For any $p\in(1,\infty)$, we show that there is a constant $C=C(p,n,d)>0$ such that for any $f(t, x)\in L^p(\mathbb R imes \mathbb R^{nd})=L^p(\mathbb R^{1+nd})$ and every $λ\geq 0$, $$ \left\|Δ_{x_j}^{{1}/{(1+2(n-j)})}\int^{\infty}_0 e^{-λt} {\mathcal T}_{s, s+t }f(t+s, x)dt ight\|_p\leq C\|f\|_p,\quad j=1,\cdots, n, $$ where $\|\cdot\|_p$ is the usual $L^p$-norm in $L^p(\mathbb R^{1+nd}; d s imes d x)$. To show this type of estimates, we first study the propagation of regularity in $L^2$-space from variable $x_n$ to $x_1$ for the solution of the transport equation $\partial_t u+\sum_{j=2}^nx_j\cdot abla_{x_{j-1}} u=f$.

연구 동기 및 목표

• 시간에 의존하는 콜모고로프 유형 초타원형 연산자의 리졸베인트에 대해 $x_j$ 변수에서 분수 차수 $1/(1+2(n-j))$의 분수라플라스 연산자의 $L^p$-유계성을 전역적으로 확립한다.
• 두 번째 순서 변수인 $x_n$ 에서부터 낮은 순서의 변수들 $x_j$ ($1 \leq j \leq n-1$)로 $L^p$-공간에서 정규성의 전파를 분석한다.
• 보간법과 쌍대성 기법을 이용해 기존의 $L^2$-정규성 결과를 전체 범위 $p \in (1,\infty)$ 로 확장한다.
• 시간에 의존하는, 일관된 타원형 분산 계수를 갖는 리졸베인트 연산자에 대한 정량적 추정을 제공한다.
• 리졸베인트 표현에서 $\lambda \geq 0$ 에 대해 독립적인 균일한 유계성 조건을 확립함으로써 시간 척도 전역에서의 안정성을 보장한다.

제안 방법

• 콜모고로프 연산자 $\mathscr{L}_t$ 와 관련된 시간에 의존하는 반군 $\{\mathcal{T}_{s,t}\}$ 를 사용하며, 이는 역 콜모고로프 방정식 $\partial_s \mathcal{T}_{s,t}f = -\mathscr{L}_s \mathcal{T}_{s,t}f$ 를 만족한다.
• 피퍼만-스타인의 정밀 최대함수 정리 적용을 통해 리졸베인트의 분수 미분 $\Delta_{x_j}^{1/(1+2(n-j))}$ 의 $L^p$-노름을 제어한다.
• $\partial_t u + \sum_{j=2}^n x_j \cdot \nabla_{x_{j-1}} u = f$ 의 운반 방정식에 대한 에너지 추정과 스펙트럼 이론을 통해 $x_n$ 에서 $x_j$ 로의 $L^2$-정규성 전파를 확립한다.
• 쌍대성과 보간법(실수 보간법을 통해 $L^2$ 와 $L^\infty$ 사이)을 사용하여 $p=2$ 에서의 $L^p$-유계성 결과를 $p \in (1,2)$ 로 확장하고, 이후 $p \in (2,\infty)$ 로 확장한다.
• 절단된 최대함수 연산자 $\mathscr{Q}_j^\varepsilon$ 를 구성하고, $\varepsilon$ 와 무관하게 균일한 $BMO$ 및 $L^2$ 유계성을 증명함으로써 파투의 보조정리를 통해 극한으로의 전환을 가능하게 한다.
• 확대 불변성과 명시적 행렬 지수 $\text{e}^{tA}$ 를 사용하여 반군의 구조와 시험 함수 위에서의 작용을 분석한다.

실험 결과

연구 질문

• RQ1 두 번째 순서 변수인 $x_n$ 에서의 정규성은 $L^p$-공간에서 낮은 순서의 변수들 $x_j$ ($1 \leq j \leq n-1$) 로 어떻게 전파되는가?
• RQ2 시간에 의존하는 콜모고로프 연산자의 리졸베인트가 각각의 $x_j$-변수에서 획득할 수 있는 정밀한 분수 차수의 미분 가능성은 무엇인가?
• RQ3 $L^p$-유계성이 모든 $p \in (1,\infty)$ 에 대해 균일하게 확립될 수 있는가, 즉 리졸베인트의 분수 미분 $\Delta_{x_j}^{1/(1+2(n-j))}$ 에 대해?
• RQ4 시간에 의존하는, 일관된 타원형 분산 계수 $a_t$ 는 정규성 전파와 $L^p$-유계성의 균일성에 어떻게 영향을 미치는가?
• RQ5 모든 $\lambda \geq 0$ 에 대해 리졸베인트 연산자가 $L^p$ 에서 균일하게 유계적인가, 그리고 이는 최대함수 기법과 쌍대성 기법을 통해 증명될 수 있는가?

주요 결과

• 모든 $p \in (1,\infty)$ 와 $f \in L^p(\mathbb{R} \times \mathbb{R}^{nd})$, $\lambda \geq 0$, $j=1,\dots,n$ 에 대해, 상수 $C = C(p,n,d) > 0$ 가 존재하여 $\left\| \Delta_{x_j}^{1/(1+2(n-j))} \int_0^\infty e^{-\lambda t} \mathcal{T}_{s,t+s} f(t+s,x) \, dt \right\|_p \leq C \|f\|_p$ 를 만족한다.
• 리졸베인트가 $x_j$-변수에서 획득하는 정규성의 정도는 분수 차수 $1/(1+2(n-j))$ 로 정량화되며, 이는 콜모고로프 연산자의 중첩된 구조를 반영하고, 정밀한 값임이 입증된다.
• $x_n$ 에서 $x_j$ 로의 $L^2$-정규성 전파는 운반 방정식에 대한 에너지 추정을 통해 확립되며, 이는 $L^p$ 확장의 기초를 이룬다.
• $L^p$-유계성은 $\lambda \geq 0$ 전역에서 균일하며, 시간 적분에 대한 안정성을 보장한다.
• 균일한 $BMO$ 및 $L^2$ 유계성 조건을 갖는 절단된 최대함수 연산자 $\mathscr{Q}_j^\varepsilon$ 를 활용하여, $p=2$ 에서부터 전체 $p \in (1,\infty)$ 로의 확장이 가능하다.
• 추정식에 등장하는 상수 $C$ 는 $p$, $n$, $d$ 에만 의존하며, 일관된 타원성 조건 $\kappa^{-1} \leq a_t \leq \kappa$ 를 만족하는 한 시간에 의존하는 계수 $a_t$ 와 무관하다.