[论文解读] Estimates for the maximal singular integral in terms of the singular integral:the case of even kernels

Joan Mateu, Joan Orobitg+1 more|arXiv (Cornell University)|Jul 31, 2007

Advanced Harmonic Analysis Research参考文献 13被引用 13

一句话总结

本文建立了对偶光滑齐次Calderón-Zygmund算子的刻画，其中 maximal singular integral $T^\star f$ 在点态意义下被 $Tf$ 的Hardy-Littlewood极大函数控制，即 $T^\star f(x) \leq C\,M(Tf)(x)$。关键结果表明，该不等式成立当且仅当算子可分解为 $T = R \circ U$，其中 $R$ 是高阶Riesz变换，$U$ 是由恒等算子和此类Calderón-Zygmund算子生成的代数中的可逆算子。

ABSTRACT

The purpose of this paper is to describe the smooth homogeneous Calderon-Zygmund operators for which the maximal singular integral T*f may be controlled by the singular integral Tf. We consider two types of control. The first is the L2 estimate of T*f by Tf, namely the estimate of the L2 norm of T*f by a constant times the L2 norm of Tf. The second is the pointwise estimate of T*f(x) by a constant times M(Tf)(x), where M denotes the Hardy-Littlewood maximal operator. Notice that this is an improved variant of Cotlar's inequality, because the term Mf(x) is missing on the right hand side. Our main result states that, for even operators, both are equivalent to a purely algebraic condition formulated in terms of the expansion of the kernel in spherical harmonics. The condition holds by higher order Riesz transforms, which then satisfy an improved version of Cotlar's inequality

研究动机与目标

• 确定何时最大奇异积分 $T^\star f$ 可在点态意义下被 $M(Tf)$ 控制，即 $T^\star f \leq C\,M(Tf)$。
• 以偶光滑齐次Calderón-Zygmund算子为对象，刻画 $T^\star$ 的 $L^2$ 有界性与 $T$ 的关系。
• 识别齐次核 $\Omega(x)/|x|^n$ 的代数条件，该条件可确保此类控制，方法为使用球谐展开。
• 证明对偶算子而言，点态估计与 $L^2$ 估计等价，并通过算子分解提供完整刻画。
• 构造显式反例，说明控制失效，从而说明代数条件的必要性。

提出的方法

• 使用齐次核 $\Omega$ 在 $S^{n-1}$ 上的球谐展开 $\Omega = \sum P_j$，其中 $P_j$ 为次数 $j$ 的调和多项式。
• 定义由恒等算子和光滑齐次Calderón-Zygmund算子生成的代数 $A$，并考虑 $A$ 中的可逆元 $U \in A$。
• 建立对偶算子而言，点态不等式 $T^\star f \leq C\,M(Tf)$ 与 $L^2$ 估计 $\|T^\star f\|_2 \leq C\|Tf\|_2$ 的等价性。
• 证明此类控制成立当且仅当 $T = R \circ U$，其中 $R$ 为高阶Riesz变换，$U$ 为 $A$ 中的可逆算子，且核的球谐分量满足可除性条件。
• 利用傅里叶乘子分析及齐次调和多项式性质，验证分解与可逆性条件。
• 通过构造次数为 8 的多项式 $P$ 的显式反例，其中 $P_2$ 不整除 $P_4$ 或 $P_8$，说明不等式不成立。

实验结果

研究问题

• RQ1 核 $\Omega$ 满足何种条件时，最大奇异积分 $T^\star f$ 可在点态意义下被 $M(Tf)$ 控制？
• RQ2 对偶Calderón-Zygmund算子而言，$T^\star$ 的 $L^2$ 有界性是否与点态不等式 $T^\star f \leq C\,M(Tf)$ 等价？
• RQ3 能否通过 $\Omega$ 的球谐展开，以代数方式刻画 $T^\star f$ 对 $Tf$ 的控制？
• RQ4 核的偶性在实现此类控制中起什么作用？为何对非偶核算子控制会失效？
• RQ5 分解条件 $T = R \circ U$（其中 $U$ 在 $A$ 中可逆）有多强限制？能否有效验证？

主要发现

• 对偶高阶Riesz变换，点态不等式 $T^\star f(x) \leq C\,M(Tf)(x)$ 成立，相较于Cotlar不等式，该结果实现了尖锐改进，消除了 $Mf$ 项。
• 对偶光滑齐次Calderón-Zygmund算子，$L^2$ 估计 $\|T^\star f\|_2 \leq C\|Tf\|_2$ 与点态不等式 $T^\star f \leq C\,M(Tf)$ 等价。
• 当且仅当算子 $T$ 可分解为 $T = R \circ U$，其中 $R$ 为高阶Riesz变换，$U$ 为代数 $A$ 中的可逆算子时，$T^\star$ 对 $T$ 的控制成立。
• 该分解条件等价于要求 $\Omega$ 的球谐分量 $P_j$ 全部被与 $R$ 相关的同一调和多项式 $P$ 整除。
• 构造了显式反例，其中 $T$ 为偶多项式算子，但 $T^\star$ 不被 $T$ 控制，原因在于可除性条件不成立（例如 $P_2$ 不整除 $P_4$ 或 $P_8$）。
• 在维度 $n=2$ 时，首个非零球谐分量 $P_{2j_0}$ 决定了所有更高阶分量（模常数），这是由于调和多项式零点集的结构所致。