[论文解读] Off-diagonal sharp two-weight estimates for sparse operators

Stephan Fackler, Tuomas Hytönen|arXiv (Cornell University)|Nov 22, 2017

Advanced Harmonic Analysis Research参考文献 18被引用 7

一句话总结

本文建立了形如 $ A^{r,\beta}_{\frak{S}}(f) = \left( \sum_{Q \in \frak{S}} \left|Q\right|^{-\alpha} \left( \int_Q f \right)^r \mathbf{1}_Q \right)^{1/r} $ 的稀疏算子的精确非对角线两权范数估计，证明其 $ L^p_\sigma \to L^q_\omega $ 算子范数由权重 $ \sigma $ 和 $ \omega $ 的 $ A_{pq}^\alpha $ 特征与 $ A_\infty $ 常数的组合有界，且对分数阶平方函数的情形证明了结果的精确性。

ABSTRACT

For a class of sparse operators including majorants of singular integral, square function, and fractional integral operators in a uniform manner, we prove off-diagonal two-weight estimates of mixed type in the two-weight and $A_{\infty}$-characteristics. These bounds are known to be sharp in many cases; as a new result, we prove their sharpness for fractional square functions.

研究动机与目标

• 建立一大类稀疏算子的精确非对角线两权 $ L^p_\sigma \to L^q_\omega $ 估计，这些算子可控制奇异积分、平方函数和分数阶积分算子。
• 通过结合 $ A_{pq}^\alpha $ 特征与权重的 $ A_\infty $ 常数，统一并推广已知的两权结果。
• 证明在分数阶平方函数情形下所得界是精确的，填补了该类算子在精确性研究上的文献空白。
• 提供一个通用框架，涵盖并改进了对 Calderón–Zygmund 算子、Littlewood–Paley 平方函数和分数阶积分算子的先前结果。

提出的方法

• 作者分析定义在 dyadic 方体稀疏族 $ \frak{S} $ 上的稀疏算子 $ A^{r,\alpha}_{\frak{S}} $，利用 dyadic 稀疏控制原理来控制经典算子。
• 通过测试条件与 dyadic 稀疏控制的结合推导算子范数界，依赖于 $ A_{pq}^\alpha $ 特征 $ [\omega,\sigma]_{A_{pq}^\alpha(\frak{S})} = \sup_{Q \in \frak{S}} |Q|^{-\alpha} \omega(Q)^{1/q} \sigma(Q)^{1/p'} $。
• 关键估计是算子范数的精确上界：$ \|A^{r,\alpha}_{\frak{S}}(\cdot\sigma)\|_{L^p_\sigma \to L^q_\omega} \lesssim \begin{cases} [\sigma]_{A_\infty}^{1/q} + [\omega]_{A_\infty}^{(1/r - 1/p)_+}, & \text{除非 } p=q>r \text{ 且 } \alpha<1, \\ [\omega]_{A_\infty}^{\frac{1}{r}(1 - (1 - r/p)^2)}[\sigma]_{A_\infty}^{\frac{1}{r}(1 - (1 - r/p)^2)} + [\omega]_{A_\infty}^{\frac{1}{r}(1 - (r/p)^2)}[\sigma]_{A_\infty}^{\frac{1}{r}(r/p)^2}, & \text{其他情形}. \end{cases} $
• 通过对偶性论证和在 dyadic 区间 $ I_k = [2^{-(k+1)}, 2^{-k}) $ 上精心构造的测试函数序列 $ (a_I) $，证明了精确性，利用权重 $ \omega_\varepsilon(x) = |x|^{(\varepsilon - 1)/q} $ 探测对 $ \varepsilon^{-1} $ 的依赖性。
• 证明利用了 $ A_\infty $ 权的反 Hölder 不等式与 Khintchine 型不等式来控制 $ \ell^2 $-值范数。
• 论证采用对偶约化：利用 $ A^{2,\alpha} $ 的伴随算子导出对偶估计，再将其与序列 $ a_k $ 联合测试，从而以 $ \varepsilon $ 表示得到精确的下界。

实验结果

研究问题

• RQ1 稀疏算子的 $ L^p_\sigma \to L^q_\omega $ 算子范数对 $ A_{pq}^\alpha $ 特征与权重 $ \sigma $、$ \omega $ 的 $ A_\infty $ 常数的精确依赖关系是什么？
• RQ2 能否在分数阶平方函数情形下证明两权估计的精确性，此前该类情形尚未在该背景下得到证明？
• RQ3 当 $ p = q > r $ 且 $ \alpha < 1 $ 时，算子范数的行为如何？为何其界与标准情形不同？
• RQ4 上界中混合的 $ A_\infty $ 依赖性是否最优？能否通过反例构造加以验证？
• RQ5 用于 $ A^{2,\alpha} $ 的对偶与测试方法是否可推广至一般 $ r > 0 $ 的情形以证明精确性？

主要发现

• 稀疏算子 $ A^{r,\alpha}_{\frak{S}} $ 的 $ L^p_\sigma \to L^q_\omega $ 算子范数由 $ A_{pq}^\alpha $ 特征与 $ \sigma $、$ \omega $ 的 $ A_\infty $ 常数的组合有界，且在许多情形下该界是精确的。
• 当 $ p = q > r $ 且 $ \alpha < 1 $ 时，界的形式更为复杂，涉及 $ [\omega]_{A_\infty} $ 与 $ [\sigma]_{A_\infty} $ 的幂的乘积，反映了更复杂的依赖关系。
• 通过构造权重 $ \omega_\varepsilon $ 与测试序列 $ a_k $，首次在本文中证明了分数阶平方函数情形下界的精确性，此时范数随 $ \varepsilon^{-\alpha} $ 增长。
• 对偶论证将问题约化为估计对偶算子，所得下界随 $ \varepsilon^{1/2 - \alpha} $ 增长，从而确认了指数的精确性。
• 通过构造一个与 $ \varepsilon $ 渐近增长速率匹配的反例，证明了上界的精确性，确认了对 $ [\omega]_{A_{pq}} \sim \varepsilon^{-1} $ 的依赖性是最优的。
• 该结果推广并改进了对 Calderón–Zygmund 算子、平方函数与分数阶积分算子的先前界，通过用更小的 $ A_\infty $ 常数替代部分 $ A_p $ 或 $ A_{pq} $ 常数。