[论文解读] Multilinear Calderón-Zygmund operators on Hardy spaces

Loukas Grafakos, N. J. Kalton|Hispana|Oct 8, 2000

Advanced Harmonic Analysis Research参考文献 11被引用 80

一句话总结

本文建立了多线性 Calderón-Zygmund 算子在 Hardy 空间 $H^{p_j}$ 乘积上的有界性，将经典的线性理论推广至多线性情形。通过原子分解与多线性插值，证明了在核的导数满足最优光滑性条件时，此类算子将 $H^{p_1} \times \cdots \times H^{p_m}$ 映射到 $L^p$，其算子范数受算子在 $L^q$ 上有界性与核光滑性的控制。

ABSTRACT

It is shown that multilinear Calderón-Zygmund operators are bounded on products of Hardy spaces.

研究动机与目标

• 将 Calderón-Zygmund 算子的经典有界性理论从 $L^p$ 空间推广至 $0 < p_j \leq 1$ 时的 Hardy 空间 $H^{p_j}$ 的乘积。
• 建立核光滑性的最优条件（通过 $N = [n(1/p - 1)]$），以确保算子有界映射到 $L^p$。
• 将 Fefferman 与 Stein 的线性理论推广至多线性情形，证明多线性 Calderón-Zygmund 算子可有界地从 $H^{p_1} \times \cdots \times H^{p_m}$ 延拓至 $L^p$。

提出的方法

• 利用 Hardy 空间的原子分解，将函数表示为有限个具有至多 $[n(1/p_j - 1)]$ 阶消失矩的 $H^{p_j}$-原子之和。
• 在 $L^{1/\varepsilon} \times \cdots \times L^{1/\varepsilon} \to L^{1/m\varepsilon}$ 与 $H^{s_1} \times \cdots \times H^{s_m} \to L^s$（$0 < s_j < 1$）之间应用多线性插值，采用复插值法。
• 利用核估计 $|\partial^\alpha K| \leq A_\alpha / (\sum_{k,l} |y_k - y_l|)^{mn + |\alpha|}$（$|\alpha| \leq N$，其中 $N = [n(1/p - 1)]$）来控制算子范数。
• 将算子分析分为两种情形：当点 $x$ 位于放大立方体 $Q_j^*$ 内时，以及当其至少在一个 $Q_j^*$ 外时，利用消失矩与光滑性控制积分。
• 应用弱型估计与极大截断算子 $T_*$ 的理论，证明极大算子 $T_*$ 同样有界映射 $H^{p_1} \times \cdots \times H^{p_m}$ 到 $L^p$，且范数控制相似。
• 利用 $T_\delta$ 核在 $\delta > 0$ 上一致满足相同估计的事实，实现极大函数论证中的统一控制。

实验结果

研究问题

• RQ1 多线性 Calderón-Zygmund 算子能否有界地从 $H^{p_1} \times \cdots \times H^{p_m}$ 延拓至 $L^p$（$0 < p_j \leq 1$）？
• RQ2 为实现此类有界性，多线性核 $K$ 所需的最小光滑性条件是什么？
• RQ3 算子在 $H^{p_1} \times \cdots \times H^{p_m}$ 上的范数如何与它的 $L^q$-有界性及核的半范数相关？
• RQ4 该有界性结果能否推广至极大奇异积分算子 $T_*$？
• RQ5 多线性插值是否是一种可行方法，可统一处理 $p_j > 1$ 与 $p_j \leq 1$ 情形下的有界性理论？

主要发现

• 当 $1/q_1 + \cdots + 1/q_m = 1/q$ 且 $1/p_1 + \cdots + 1/p_m = 1/p$，$0 < p_j \leq 1$ 时，多线性 Calderón-Zygmund 算子 $T$ 有界映射 $H^{p_1} \times \cdots \times H^{p_m}$ 到 $L^p$。
• 算子范数满足 $\|T\|_{H^{p_1} \times \cdots \times H^{p_m} \to L^p} \leq C(n, p_j, q_j) \left( B + \sum_{|\alpha| \leq N+1} A_\alpha \right)$，其中 $B$ 为 $L^q$-算子范数，$A_\alpha$ 为核的半范数。
• 核所需的光滑性为 $N = [n(1/p - 1)]$，此条件为最优，且与 $H^p$-原子的消失矩阶数一致。
• 极大奇异积分算子 $T_*$ 同样有界映射 $H^{p_1} \times \cdots \times H^{p_m}$ 到 $L^p$，且具有相同的范数估计。
• 通过多线性插值，该结果在 $p_j > 1$ 与 $p_j \leq 1$ 情形下保持一致，其中当 $p_j > 1$ 时 $H^{p_j} = L^{p_j}$，且插值结果正确地给出了 Lorentz 标度。