[论文解读] Two Weight Inequalities for Discrete Positive Operators

Michael T. Lacey, Eric T. Sawyer+1 more|arXiv (Cornell University)|Nov 17, 2009

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

一句话总结

本文通过Sawyer型测试条件，对一般正dyadic算子的两权范数不等式给出了完整的刻画。它扩展了Sawyer和Nazarov-Treil-Volberg的经典结果，为 $1 < p \leq q < \infty$ 提供了统一的框架，并给出了适用于所有维度（包括 $d \geq 2$）的新证明，且给出了定量估计。

ABSTRACT

We characterize two weight inequalities for general positive dyadic operators. We consider both weak and strong type inequalities, and general (p,q) mapping properties. Special cases include Sawyers Fractional Integral operator results from 1988, and the bilinear embedding inequality of Nazarov-Treil-Volberg from 1999. The method of proof is an extension of Sawyer's argument.

研究动机与目标

• 将正dyadic算子的两权范数不等式理论从 $p=q=2$ 的情形推广至更广泛的情形。
• 为一般正dyadic算子在 $1 < p \leq q < \infty$ 范围内的 $L^p$-$L^q$ 有界性提供统一的刻画。
• 给出Nazarov-Treil-Volberg结果的新证明，该证明在所有维度（包括 $d \geq 2$）均成立，克服了以往方法的局限性。
• 在两权设定下，建立算子范数对测试条件的定量依赖关系，为加权理论中的应用提供支持。
• 将Sawyer型测试条件推广至 $1 < p \leq q < \infty$ 的全范围，扩展了早期对分数阶积分的研究结果。

提出的方法

• 定义一般正dyadic算子 $T_{\boldsymbol{\tau}}f = \sum_{Q \in \mathcal{Q}} \tau_Q \cdot \mathbb{E}_Q f \cdot \mathbf{1}_Q$，其中 $\tau_Q$ 为非负常数。
• 引入涉及权函数 $\sigma$ 和 $\omega$ 的加权测试条件，推广了Sawyer针对分数阶积分原始的条件。
• 采用类似Bellman函数的论证方法，证明算子范数与测试条件之间的等价性。
• 建立等价关系 $\|T_{\boldsymbol{\tau}}(f\sigma)\|_{L^q(\omega)} \lesssim \|f\|_{L^p(\sigma)}$ 当且仅当测试条件成立。
• 应用dyadic分解与dyadic鞅技巧，将问题约化为在dyadic立方体上进行测试。
• 推导出以测试常数表示的算子范数的定量上界，且在所有维度下保持一致有效。

实验结果

研究问题

• RQ1 对于一般正dyadic算子，两权不等式 $\|T_{\boldsymbol{\tau}}(f\sigma)\|_{L^q(\omega)} \lesssim \|f\|_{L^p(\sigma)}$ 成立的充要条件是什么？
• RQ2 Nazarov-Treil-Volberg在 $p=q=2$ 情形下的结果如何推广至 $1 < p \leq q < \infty$ 的全范围？
• RQ3 能否构造一个适用于所有维度 $d \geq 2$ 的新证明，从而克服以往Bellman函数方法的局限性？
• RQ4 在两权设定下，算子范数对测试常数的定量依赖关系如何？
• RQ5 Sawyer型测试条件如何从 $p=q=2$ 的情形推广至 $1 < p \leq q < \infty$ 的全范围？

主要发现

• 当且仅当满足Sawyer型测试条件时，两权不等式 $\|T_{\boldsymbol{\tau}}(f\sigma)\|_{L^q(\omega)} \lesssim \|f\|_{L^p(\sigma)}$ 在 $1 < p \leq q < \infty$ 范围内成立。
• 等价关系 $C_3 \simeq C_1 + C_2$ 推广至 $1 < p \leq q < \infty$，其中 $C_3$ 为算子范数，$C_1, C_2$ 为测试常数。
• 该证明在所有维度 $d \geq 1$（包括 $d \geq 2$）均成立，解决了早期结果中的一个缺口。
• 得到了以测试常数表示的算子范数的定量估计，明确体现了对 $p$ 和 $q$ 的依赖关系。
• 当 $\tau_Q = |Q|^{\alpha/d}$ 时，该结果恢复并推广了Sawyer的两权分数阶积分不等式。
• 该方法提供了一个统一的框架，将Nazarov-Treil-Volberg在 $p=q=2$ 情形下的结果作为特例包含在内，并提出了全新的证明策略。