[论文解读] 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$ 变量上以精确的分数阶 $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 在 $L^p$-空间中，$x_n$ 变量（二阶）的正则性如何传播至低阶变量 $x_j$ ($1 \leq j \leq n-1$)？
• RQ2 时间依赖的柯尔莫哥洛夫算子的预解式在每个 $x_j$-变量上能获得的正则性精确分数阶为何？
• RQ3 能否在所有 $p \in (1,\infty)$ 上一致建立预解式分数阶导数 $\Delta_{x_j}^{1/(1+2(n-j))}$ 的 $L^p$-有界性？
• 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$ 上是一致的，确保了时间积分下的稳定性。
• 通过 $\mathscr{Q}_j^\varepsilon$ 的一致 $BMO$ 与 $L^2$ 有界性，证明从 $p=2$ 扩展至所有 $p \in (1,\infty)$ 的过程成立。
• 估计中的常数 $C$ 仅依赖于 $p$、$n$ 和 $d$，且在 $a_t$ 满足一致椭圆性 $\kappa^{-1} \leq a_t \leq \kappa$ 的前提下，与时间依赖系数 $a_t$ 无关。