[论文解读] Weighted norm inequalities for commutators of Littlewood-Paley functions related to Schrödinger operators

Lin Tang|arXiv (Cornell University)|Sep 1, 2011

Advanced Harmonic Analysis Research参考文献 3被引用 11

一句话总结

本文建立了与Schrödinger算子 $L = -\Delta + V$ 相关的Littlewood-Paley函数的交换子的加权范数不等式，其中 $V$ 是反Hölder类 $B_{n/2}$ 中的非负势函数。通过引入新的加权类 $A_p^\rho$ 和BMO空间 $BMO(\rho)$，证明了当 $1 < p < \infty$ 时的 $L^p(\omega)$ 有界性，以及当 $p=1$ 时的弱型端点估计，将经典结果推广到了具有势函数依赖权重的Schrödinger框架。

ABSTRACT

Let $L=-Δ+V$ be a Schrödinger operator, where $Δ$ is the Laplacian operator on $ z$, while the nonnegative potential $V$ belongs to certain reverse Hölder class. In this paper, we establish some weighted norm inequalities for commutators of Littlewood-Paley functions related to Schrödinger operators.

研究动机与目标

• 将加权范数不等式推广到Schrödinger算子框架下Littlewood-Paley函数交换子的情形，其中势函数 $V \in B_{n/2}$。
• 证明当 $b \in BMO(\rho)$ 且 $\omega \in A_p^\rho$ 时，交换子 $g_b(f)$ 满足 $L^p(\omega)$ 有界性，其中 $1 < p < \infty$。
• 推导当 $\omega \in A_1^\rho$ 且 $p=1$ 时，交换子 $g_b(f)$ 的弱型端点估计。
• 将结果推广至与算子 $L$ 相关的扩散半群的极大算子 $T_b^*$。

提出的方法

• 引入与势函数相关的临界半径函数 $\rho(x) = 1/m_V(x)$，其中 $m_V(x)$ 由积分条件 $\int_{B(x,r)} V(y) dy \leq r^{n-2}$ 定义。
• 通过权重 $\Psi(B) = (1 + r m_V(B))^{\theta}$（$r$ 为球 $B$ 的半径）定义新的权类 $A_p^\rho$。
• 利用极大函数 $M_V f(x) = \sup_{x \in B} \frac{1}{\Psi(B)|B|} \int_B |f(y)| dy$ 来刻画 $A_1^\rho$ 权。
• 通过二进分解和点态估计，将交换子 $g_b(f)$ 控制在局部化极大算子 $M_{V,\eta}^b f$ 之内。
• 利用 $e^{-tL}$ 的核估计，如 $k_t(x,y) \leq C_N t^{-n/2} e^{-|x-y|^2/(5t)} (1 + t/\rho(x)^2 + t/\rho(y)^2)^{-N}$，在不同频率区域控制交换子。
• 改编加权理论与Calderón-Zygmund理论的技术，特别是利用 $BMO(\rho)$ 空间中的John-Nirenberg不等式。

实验结果

研究问题

• RQ1 当势函数 $V$ 属于 $B_{n/2}$ 时，能否为与Schrödinger算子相关的Littlewood-Paley函数交换子建立加权 $L^p$ 有界性？
• RQ2 为适应Schrödinger算子的势函数依赖几何结构，$A_p$ 权类的适当推广是什么？
• RQ3 $BMO(\rho)$ 函数和临界半径 $\rho(x)$ 如何影响交换子的弱型端点估计？
• RQ4 在新的 $A_p^\rho$ 条件下，能否控制半群 $e^{-tL}$ 及其交换子在加权 $L^p$ 空间中的极大算子？

主要发现

• 当 $1 < p < \infty$ 时，交换子 $g_b(f)$ 满足 $\|g_b(f)\|_{L^p(\omega)} \leq C \|b\|_{BMO(\rho)} \|f\|_{L^p(\omega)}$，对所有 $b \in BMO(\rho)$ 和 $\omega \in A_p^\rho$ 成立。
• 当 $p=1$ 时，弱型端点估计成立：$\omega(\{x : |g_b(f)(x)| > \lambda\}) \leq C \int_{{\mathbb{R}}^n} \frac{|f(x)|}{\lambda} \left(1 + \log^+ \left(\frac{|f(x)|}{\lambda}\right)\right) \omega(x) dx$，其中 $\omega \in A_1^\rho$。
• 极大算子 $T_b^*f(x) = \sup_{t>0} \int k_t(x,y)(b(x)-b(y))f(y) dy$ 满足与 $g_b(f)$ 相同的 $L^p(\omega)$ 有界性和弱型估计。
• 证明依赖于基于 $\rho(x)$ 将核和函数支集分解为二进环形区域，并利用临界半径对交换子进行局部化。
• 由于 $\Psi(B)$ 因子的存在，当 $V \not\equiv 0$ 时，权类 $A_p^\rho$ 严格大于经典 $A_p$ 类。
• 当 $\theta_1 \neq \theta_2$ 时，结果可推广至更广义的类 $BMO_{\theta_1}(\rho)$ 和 $A_p^{\rho,\theta_2}$，表明该框架具有鲁棒性。