[论文解读] On an estimate of Calder\'on-Zygmund operators by dyadic positive operators

Andrei K. Lerner|arXiv (Cornell University)|Feb 9, 2012

Advanced Harmonic Analysis Research参考文献 9被引用 16

一句话总结

本文通过 dyadic 正向算子 $A_{D,S}$ 建立了 maximal Calderón-Zygmund 算子 $T^\natural$ 的精确估计，证明了对于任意 Banach 函数空间 $X$，有 $\|T^\natural f\|_X \leq c(n,T) \sup_{D,S} \|A_{D,S}|f|\|_X$。关键贡献在于提出一个统一框架，该框架蕴含了两权猜想的完整一般性，简化了 A2 猜想的证明，并通过 dyadic 稀疏控制将混合 $A_p$-$A_r$ 和尖锐 $A_1$ 估计推广至一般 Calderón-Zygmund 算子。

ABSTRACT

Given a general dyadic grid ${\mathscr{D}}$ and a sparse family of cubes ${\mathcal S}=\{Q_j^k\}\in {\mathscr{D}}$, define a dyadic positive operator ${\mathcal A}_{{\mathscr{D}},{\mathcal S}}$ by $${\mathcal A}_{{\mathscr{D}},{\mathcal S}}f(x)=\sum_{j,k}f_{Q_j^k}\chi_{Q_j^k}(x).$$ Given a Banach function space $X({\mathbb R}^n)$ and the maximal Calder\'on-Zygmund operator $T_{ atural}$, we show that $$\|T_{ atural}f\|_X\le c(n,T)\sup_{{\mathscr{D}},{\mathcal S}}\|{\mathcal A}_{{\mathscr{D}},{\mathcal S}}f\|_{X}.$$ This result is applied to weighted inequalities. In particular, it implies: (i) the "two-weight conjecture" by D. Cruz-Uribe and C. P\'erez in full generality; (ii) a simplification of the proof of the "$A_2$ conjecture"; (iii) an extension of certain mixed $A_p$-$A_r$ estimates to general Calder\'on-Zygmund operators; (iv) an extension of sharp $A_1$ estimates (known for $T$) to the maximal Calder\'on-Zygmund operator $T_{ atural}$.

研究动机与目标

• 通过 dyadic 正向算子 $A_{D,S}$ 建立 maximal Calderón-Zygmund 算子 $T^\natural$ 的一般估计。
• 统一并扩展 Calderón-Zygmund 算子的加权范数不等式，包括两权猜想和 A2 猜想。
• 提供一个框架，将已知的 $A_p$ 权结果、混合 $A_p$-$A_r$ 估计和尖锐 $A_1$ 界推广至任意 Calderón-Zygmund 算子。
• 证明 dyadic 正向算子 $A_{D,S}$ 能够完整捕捉 $T^\natural$ 在加权空间和 Banach 函数空间中的弱型与强型行为。

提出的方法

• 引入 dyadic 正向算子 $A_{D,S}f(x) = \sum_{j,k} f_{Q^k_j} \chi_{Q^k_j}(x)$，其中 $S$ 为 dyadic 格网 $D$ 中的稀疏族。
• 利用局部均值振荡分解与稀疏控制，通过 $A_{D,S}|f|$ 控制 $T^\natural f$。
• 应用 John-Nirenberg 不等式与弱型估计，控制 $A_{D,S}$ 的极大函数。
• 建立等价关系 $\sup_{D,S} \|A_{D,S}\|_{L^p(v)\to L^p(u)} \asymp \|M\|_{L^p(v)\times L^{p'}(u^{1-p'})\to L^1}$，其中 $M(f,g)$ 为双（次）线性极大算子。
• 利用对偶空间 $X'$ 与极大算子 $M_X$，刻画 Banach 函数空间中两权有界性的条件。
• 借助对偶性与 $M_X'$ 和 $M_Y'$ 在 $L^p$ 与 $L^{p'}$ 上的有界性，推导出 $T^\natural$ 的充分条件。

实验结果

研究问题

• RQ1 能否以尖锐、定量的方式，通过 dyadic 正向算子 $A_{D,S}$ 控制 maximal Calderón-Zygmund 算子 $T^\natural$？
• RQ2 dyadic 正向算子框架是否能将 Cruz-Uribe 与 Pérez 的两权猜想推广至所有 Calderón-Zygmund 算子？
• RQ3 能否通过这种 dyadic 控制方法简化 A2 猜想的证明？
• RQ4 混合 $A_p$-$A_r$ 与尖锐 $A_1$ 估计能否从经典算子推广至一般 Calderón-Zygmund 算子？
• RQ5 能否以 $X$-平均与双（次）线性极大算子 $M(f,g)$ 的形式，刻画 $T^\natural$ 的两权有界性？

主要发现

• 对于任意 Banach 函数空间 $X$，maximal Calderón-Zygmund 算子满足 $\|T^\natural f\|_X \leq c(n,T) \sup_{D,S} \|A_{D,S}|f|\|_X$，建立了尖锐的 dyadic 控制。
• 等价关系 $\sup_{D,S} \|A_{D,S}\|_{L^p(v)\to L^p(u)} \asymp \|M\|_{L^p(v)\times L^{p'}(u^{1-p'})\to L^1}$ 成立，常数仅依赖于维数 $n$。
• Cruz-Uribe 与 Pérez 的两权猜想在完整一般性下得到证明：若对 Young 函数 $A,B$ 满足 $\bar{A} \in B_{p'}$，$\bar{B} \in B_p$，有 $\sup_Q \|u^{1/p}\|_{A,Q} \|v^{-1/p}\|_{B,Q} < \infty$，则 $\|Tf\|_{L^p(u)} \leq c \|f\|_{L^p(v)}$。
• A2 猜想的证明被简化，因为通过 $A_{D,S}$ 的 dyadic 方法避免了 Haar shift 算子的使用。
• 结果将尖锐 $A_1$ 估计从 $T$ 推广至 $T^\natural$，并将混合 $A_p$-$A_r$ 估计推广至任意 Calderón-Zygmund 算子。
• $M_X'$ 与 $M_Y'$ 在 $L^p$ 与 $L^{p'}$ 上的有界性通过其对偶 Young 函数的 Bp 条件刻画，从而实现了对一般两权有界性的充分条件的统一表征。