[论文解读] Two Weight Inequalities for the Cauchy Transform from $ \mathbb{R}$ to $ \mathbb{C}_+$

Michael T. Lacey, Eric T. Sawyer+3 more|arXiv (Cornell University)|Oct 17, 2013

Holomorphic and Operator Theory参考文献 13被引用 17

一句话总结

本文对实直线到上半平面的Cauchy变换建立了完整的两权不等式表征，通过 $ A_2 $ 条件和测试条件证明了从 $ L^2(\mathbb{R}; \sigma) $ 到 $ L^2(\mathbb{C}_+; \tau) $ 的有界性。该结果将两权问题从Hilbert变换推广至Cauchy变换，并给出了模型空间 $ K_\vartheta $ 的Carleson测度以及映射到Hardy与Bergman空间的复合算子范数的新表征。

ABSTRACT

We characterize those pairs of weights $ σ$ on $ \mathbb{R}$ and $ τ$ on $ \mathbb{C}_+$ for which the Cauchy transform $\mathsf{C}_σ f (z) \equiv \int_{\mathbb{R}} \frac {f(x)} {x-z} \; σ(dx)$, $ z\in \mathbb{C}_+$, is bounded from $L ^2(\mathbb{R};σ)$ to $L ^{2}(\mathbb{C}_+; τ)$. The characterization is in terms of an $A_2$ condition on the pair of weights and testing conditions for the transform, extending the recent solution of the two weight inequality for the Hilbert transform. As corollaries of this result we derive (1) a characterization of embedding measures for the model space $K_\vartheta$, for arbitrary inner function $ \vartheta $, and (2) a characterization of the (essential) norm of composition operators mapping $K_\vartheta$ into a general class of Hardy and Bergman spaces.

研究动机与目标

• 表征Cauchy变换 $ \mathsf{C}_\sigma f(z) = \int_\mathbb{R} \frac{f(t)}{t - z} \sigma(dt) $ 从 $ L^2(\mathbb{R}; \sigma) $ 到 $ L^2(\mathbb{C}_+; \tau) $ 的有界性，其中 $ \sigma $ 和 $ \tau $ 为任意权函数。
• 通过引入联合Poisson $ A_2 $ 条件和测试条件，将两权理论从Hilbert变换推广至Cauchy变换。
• 提供对模型空间 $ K_\vartheta = H^2 \ominus \vartheta H^2 $（$ \vartheta $ 为任意内函数）的Carleson测度的表征。
• 表征从 $ K_\vartheta $ 映射到一般Hardy与Bergman空间的复合算子的（本质）范数。
• 发展实分析技术，特别是通过Riesz变换，将问题约化为使用 dyadic 网格和 good/bad 分解的 dyadic 与局部估计。

提出的方法

• 作者将问题约化为估计Riesz变换 $ \mathsf{R} \nu(x) = \int \frac{x - t}{|x - t|^2} \nu(dt) $，其中Cauchy变换是其分量的复组合。
• 他们使用 dyadic 网格和水平方向的随机化技术定义 good 与 bad 方块，从而实现函数到鞅差的分解。
• 证明依赖于双线性型的分情况分析：对角、远距离、近距离和嵌套区间，每类均通过抵消与 $ A_2 $ 条件控制。
• 测试条件针对 $ \mathsf{R}_\sigma \mathbf{1}_I $ 和 $ \mathsf{R}_\tau^* \mathbf{1}_{Q_I} $ 构造，确保对所有 dyadic 区间和Carleson方块的统一有界性。
• 作者应用Sawyer的两权Poisson算子定理来控制投影的 $ L^2 $ 范数，将测试条件与有界性联系起来。
• 关键估计利用了鞅差的均值为零性质，以及在不同区间上支撑函数之间的分离性，以控制交叉项。

实验结果

研究问题

• RQ1 对于 $ \mathbb{R} $ 上的权 $ \sigma $ 和 $ \mathbb{C}_+ $ 上的权 $ \tau $，Cauchy变换从 $ L^2(\mathbb{R}; \sigma) $ 到 $ L^2(\mathbb{C}_+; \tau) $ 有界的充要条件是什么？
• RQ2 如何将Cauchy变换的两权问题约化为测试条件与 $ A_2 $ 条件，类似于Hilbert变换的情形？
• RQ3 对任意内函数 $ \vartheta $，模型空间 $ K_\vartheta $ 的Carleson测度的表征是什么？
• RQ4 如何表征从 $ K_\vartheta $ 映射到一般Hardy与Bergman空间的复合算子的（本质）范数？
• RQ5 dyadic 网格、good 方块与鞅差在建立Cauchy变换两权不等式中起什么作用？

主要发现

• Cauchy变换 $ \mathsf{C}_\sigma $ 从 $ L^2(\mathbb{R}; \sigma) $ 到 $ L^2(\mathbb{C}_+; \tau) $ 有界，当且仅当联合Poisson $ A_2 $ 条件与测试条件在所有 dyadic 区间与Carleson方块上一致成立。
• $ A_2 $ 条件包含两个不等式：一个控制 $ \sigma $ 与 $ \tau $ 在 $ Q_I $ 上的相互作用，另一个控制反向作用，且具有与 $ \lvert I\rvert $ 相关的衰减。
• 测试条件要求 $ \int_{Q_I} |\mathsf{R}_\sigma \mathbf{1}_I(x)|^2 \tau(dx) \leq \mathscr{T}^2 \sigma(I) $ 与 $ \int_I |\mathsf{R}_\tau^* \mathbf{1}_{Q_I}(t)|^2 \sigma(dt) \leq \mathscr{T}^2 \tau(Q_I) $ 对所有 $ I $ 一致成立。
• 该表征可推广至模型空间 $ K_\vartheta $，从而解决了Cohn关于任意内函数 $ \vartheta $ 的Carleson测度问题。
• 从 $ K_\vartheta $ 映射到Hardy与Bergman空间的复合算子的范数，通过相同的 $ A_2 $ 与测试条件表征，推广了关于紧性的先前结果。
• 证明依赖于 dyadic 方块的分解与区间关系的分情况分析（对角、远距离、近距离、嵌套），每类均由抵消、good 性质与 $ A_2 $ 条件控制。