[论文解读] Hankel Operators in Several Complex Variables and Product $BMO\zProd$

Michael T. Lacey, Erin Terwilleger|ArXiv.org|Oct 21, 2003

Holomorphic and Operator Theory参考文献 12被引用 9

一句话总结

本文通过证明其符号在解析 Hardy 空间上的投影的乘积 BMO 范数与小 Hankel 算子的算子范数等价，建立了 $n$ 个复变量中 Hankel 算子有界的结论。证明基于广义 Journé-型引理的归纳论证，将 Ferguson 和 Lacey 在两变量情形的结果推广至任意维数，应用于换位子估计与 $H^1$ 空间中的弱因子分解。

ABSTRACT

$H^2\zProd$ denotes the Hardy space of square integrable functions analytic in each variable separately. Let $P^{\ominus}$ be the natural projection of $L^2\zProd$ onto $\z8{H^2\zProd}$. A Hankel operator with symbol $b$ is the linear operator from $H^2\zProd$ to $\z8{H^2\zProd}$ given by $H_b \zvf=P^{\ominus}\bar b \zvf$. We show that \md0 orm H_b ..\simeq orm P^{\oplus}b.BMO\zProd., \emd where the right hand norm is S.-Y. Chang and R. Fefferman product $BMO$. This fact has well known equivalences in terms of commutators and the weak factorization of $H^1\zProd$. In the case of two complex variables, this is due to Ferguson and Lacey \cite{MR1961195}. While the current proof is inductive, and one can take the one complex variable case as the basis step, it is heavily influenced by the methods of Ferguson and Lacey. The induction is carried out with a particular form of a lemma due to Journé \cite{MR87g:42028}, which occurs implicitly in the work of J. Pipher \cite{MR88a:42019}.

研究动机与目标

• 将小 Hankel 算子有界性的刻画从两变量推广至 $n$ 个复变量。
• 建立 Hankel 算子的算子范数与其符号投影的乘积 $BMO$ 范数之间的等价性。
• 通过归纳技术将单变量的 Nehari 型定理推广至高维乘积域。
• 提供一个统一框架，将乘积域上的 Hankel 算子、换位子与 $H^1$ 空间中的弱因子分解联系起来。

提出的方法

• 证明通过复变量个数的归纳法进行，以 Ferguson 和 Lacey 的两变量结果作为基础情形。
• 在归纳过程中应用广义 Journé-型引理，以控制乘积域中矩形的大小与结构。
• 作者为矩形 $R$ 定义了一个嵌入函数 $\operatorname{emb}(R)$，以控制测度扩张并确保各坐标间的一致性。
• 该构造依赖于通过参数 $\gamma$ 逐次扩展低维坐标中的矩形，以保持集合族阴影的控制。
• 该方法使用 dyadic 分解以及各坐标中极大函数的弱 $L^1$ 估计，以估计扩展集合的测度。
• 关键估计涉及将和 $\sum_{R\in\mathcal{U}} \operatorname{emb}(R)^{-(n+\epsilon)} |\langle b, v_R \rangle|^2$ 控制在 $b$ 的 $BMO_{-1}$ 范数之内。

实验结果

研究问题

• RQ1 在 $n$ 个复变量中，小 Hankel 算子有界的精确刻画是什么？
• RQ2 乘积 $BMO$ 范数与高维情形下 Hankel 算子的算子范数之间有何关系？
• RQ3 Ferguson 和 Lacey 的两变量结果能否通过归纳方法推广至 $n$ 个变量？
• RQ4 Journé-型引理在控制乘积域中矩形几何结构方面起到什么作用？
• RQ5 换位子估计与 $H^1$ 空间中的弱因子分解如何与 Hankel 算子的有界性相关联？

主要发现

• Hankel 算子 $H_b$ 的算子范数与 $P^\oplus b$ 的乘积 $BMO$ 范数等价，即 $\|H_b\| \simeq \|P^\oplus b\|_{BMO(\otimes_{1}^{n}\mathbb{C}_{+})}$。
• 该等价性通过推广两变量情形的归纳论证得到证明，其中单变量情形作为基础。
• 作者构造了一个集合 $V$，包含矩形族 $\mathcal{U}$ 的阴影，满足 $|V| \leq (1+\delta)|\operatorname{sh}(\mathcal{U})|$，确保测度扩张受控。
• 对任意 $\epsilon, \delta > 0$，和 $\sum_{R\in\mathcal{U}} \operatorname{emb}(R)^{-(n+\epsilon)} |\langle b, v_R \rangle|^2$ 被有界于 $K_{\delta,\epsilon} \|b\|_{BMO_{-1}(\otimes_{1}^{n}\mathbb{C}_{+})}^2$，从而控制了该和的 $BMO$ 范数。
• 该结果表明换位子 $C_b = [[\cdots[M_b, H_1], H_2], \cdots, H_n]$ 满足 $\|C_b\|_{L^2} \simeq \|b\|_{BMO(\otimes_{1}^{n}\mathbb{C}_{+})}$。
• 弱因子分解 $H^1(\otimes_{1}^{n}\mathbb{C}_{+}) = H^2(\otimes_{1}^{n}\mathbb{C}_{+}) \widehat{\odot} H^2(\otimes_{1}^{n}\mathbb{C}_{+})$ 是主定理的直接推论。