[论文解读] Convex body domination and weighted estimates with matrix weights

Fëdor Nazarov, Stefanie Petermichl+2 more|arXiv (Cornell University)|Jan 8, 2017

Advanced Harmonic Analysis Research参考文献 14被引用 6

一句话总结

本文引入凸体值稀疏算子以控制向量值 Calderón–Zygmund 算子、Haar 移位算子和积分子，实现了具有矩阵权的 $L^2$ 范数的精确加权估计。关键结果建立了范数界 $ \|T\|_{L^2(W)\to L^2(W)} \leq C[W]_{\mathbf{A}_2}^{1/2}[W]_{A_\infty} \leq C[W]_{\mathbf{A}_2}^{3/2}$，改进了以往的对数估计，并将稀疏控制推广至矩阵权情形。

ABSTRACT

We introduce the so called convex body valued sparse operators, which generalize the notion of sparse operators to the case of spaces of vector valued functions. We prove that Calderón--Zygmund operators as well as Haar shifts and paraproducts can be dominated by such operators. By estimating sparse operators we obtain weighted estimates with matrix weights. We get two weight $A_2$-$A_\infty$ estimates, that in the one weight case give us the estimate $$ \|T\|_{L^2(W) o L^2 (W)} \le C [W]_{A_2}^{1/2} [W]_{A_\infty} \le C[W]_{A_2}^{3/2} $$ where $T$ is either a Calderon--Zygmund operator (with modulus of continuity satisfying the Dini condition), or a Haar shift or a paraproduct.

研究动机与目标

• 将稀疏控制技术从标量情形推广至具有矩阵权的向量值情形。
• 解决矩阵权情形下的 $A_2$ 猜想，其中关于 $[W]_{\mathbf{A}_2}$ 的最优线性依赖关系仍为开放问题。
• 在矩阵权 $L^2$ 空间中建立 Calderón–Zygmund 算子、Haar 移位算子和积分子的加权算子范数界。
• 构建凸体值稀疏算子的框架，将标量稀疏控制推广至向量值函数。
• 消除 $A_2$ 估计中的对数因子，实现指数 $3/2$ 的次优但改进的估计。

提出的方法

• 引入将取值于 $\mathbb{R}^d$ 的函数映射至对称凸集的凸体值稀疏算子。
• 通过逐点包含定义控制关系：几乎处处有 $Tf(x) \in \mathbf{L}_{\mathscr{S}}f(x)$，从而推广标量稀疏控制。
• 使用具有性质的 dyadic 稀疏族 $\mathscr{S}$：每个立方体至多有一个 $\mathscr{S}$-子节点，以保证稀疏性。
• 通过将稀疏算子 $\widetilde{L}$ 分解为三部分：$Q \times E_Q$、$E_Q \times \widehat{Q}$ 和 $\widehat{Q} \times \widehat{Q}$，并应用平方函数估计进行控制。
• 对矩阵权 $W$ 和 $V$ 应用已知的 $A_\infty^\mathrm{sc}$ 和联合 $\mathbf{A}_2$ 条件，以控制算子范数。
• 使用标准的“拔发”论证方法收尾估计，表明最后一项至多为完整范数的一半。

实验结果

研究问题

• RQ1 稀疏控制技术能否从标量情形推广至矩阵权、向量值算子？
• RQ2 在矩阵权情形下，是否可能获得 $A_2$ 的线性界，抑或指数 $3/2$ 是最优的？
• RQ3 能否利用凸体值稀疏算子在矩阵情形中消除先前 $A_2$ 估计中的对数因子？
• RQ4 在估计稀疏算子时，联合 $\mathbf{A}_2$ 与标量 $A_\infty^\mathrm{sc}$ 条件如何相互作用？
• RQ5 算子范数对矩阵权特征量 $[W]_{\mathbf{A}_2}$ 和 $[W]_{A_\infty}$ 的最优依赖关系是什么？

主要发现

• 本文建立了 Calderón–Zygmund 算子、Haar 移位算子和积分子的范数界 $\|T\|_{L^2(W)\to L^2(W)} \leq C[W]_{\mathbf{A}_2}^{1/2}[W]_{A_\infty}$。
• 该估计通过消除对数因子，优于以往结果，在单权情形下得到 $\|T\| \leq C[W]_{\mathbf{A}_2}^{3/2}$。
• 作者引入并利用凸体值稀疏算子，以控制向量值奇异积分算子。
• 证明了稀疏算子 $\widetilde{L}$ 满足 $\|\widetilde{L}\|_{L^2\to L^2} \leq C2^{N/2}d^{1/2}[W,V]_{\mathbf{A}_2}^{1/2}\left(([W]_{A_\infty}^{\mathrm{sc}})^{1/2} + ([V]_{A_\infty}^{\mathrm{sc}})^{1/2}\right)$。
• 证明依赖于将稀疏算子分解为三部分，并应用平方函数估计与递归的“拔发”论证，以闭合范数界。