[論文レビュー] Propagation of regularity in $L^p$-spaces for Kolmogorov type hypoelliptic operators

Zhen-Qing Chen, Xicheng Zhang|arXiv (Cornell University)|Jun 7, 2017

Advanced Harmonic Analysis Research参考文献 1被引用数 4

ひとこと要約

本稿は、時間に依存するコルモゴロフ型の超局所微分方程式に対して、分数階ラプラシアン型正則性作用素の $L^p$-有界性を確立し、解のリゾルベントが $x_j$ 変数において、$p \in (1,\infty)$ に対して一様に、鋭い分数階数 $1/(1+2(n-j))$ だけ正則性を向上させることを示した。この結果は、半群推定と最大関数技法を用いて得られた。

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))$ の分数階ラプラシアン作用素の、$p \in (1,\infty)$ に対して一様な $L^p$-有界性を確立すること。
• 二階変数 $x_n$ からの正則性伝播が、$L^p$ 空間内における $x_j$ 変数（$1 \leq j \leq n-1$）へどのように伝わるかを分析すること。
• 補間と双対性技法を用いて、既知の $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$ ノルムを制御する。
• $x_n$ から $x_j$ への $L^2$-正則性伝播を、輸送方程式 $\partial_t u + \sum_{j=2}^n x_j \cdot \nabla_{x_{j-1}} u = f$ におけるエネルギー推定とスペクトル論を用いて確立する。
• 双対性と補間（$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$ 空間内において、$1 \leq j \leq n-1$ の各 $x_j$ 変数へどのように伝播するか？
• 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)$ に対して、正の定数 $C = C(p,n,d) > 0$ が存在し、任意の $f \in L^p(\mathbb{R} \times \mathbb{R}^{nd})$ および $\lambda \geq 0$, $j=1,\dots,n$ に対して、$$\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$ に対して一様であり、時間積分の安定性を保証する。
• 双対性と補間を用いて、$p=2$ からすべての $p \in (1,\infty)$ に拡張され、$\mathscr{Q}_j^\varepsilon$ の一様な $BMO$ および $L^2$ 界がその根拠となる。
• 推定式における定数 $C$ は、$p$, $n$, $d$ のみに依存し、$a_t$ に依存しない。ただし、$a_t$ が一様楕円性 $\kappa^{-1} \leq a_t \leq \kappa$ を満たす限り、その条件は満たされる。