[论文解读] End-point estimates for singular integrals with non-smooth kernels on product spaces

Xuan Thinh Duong, Ji Li+1 more|arXiv (Cornell University)|Sep 24, 2015

Advanced Harmonic Analysis Research参考文献 27被引用 5

一句话总结

本文通过引入与非负自伴算子相关的Hardy空间的原子分解，建立了乘积空间上具有非光滑核的奇异积分的端点估计。在弱正则性条件下证明了其在 $ H^1_{L_1,L_2} $ 上的有界性，并将结果应用于双重Riesz变换和谱乘子，将经典的Calderón–Zygmund理论扩展到多参数情形，且对核的光滑性假设要求最低。

ABSTRACT

The main aim of this article is to establish boundedness of singular integrals with non-smooth kernels on product spaces. Let $L_1$ and $L_2$ be non-negative self-adjoint operators on $L^2(\mathbb{R}^{n_1})$ and $L^2(\mathbb{R}^{n_2})$, respectively, whose heat kernels satisfy Gaussian upper bounds. First, we obtain an atomic decomposition for functions in $H^1_{L_1,L_2}(\mathbb{R}^{n_1} imes\mathbb{R}^{n_2})$ where the Hardy space $H^1_{L_1,L_2}(\mathbb{R}^{n_1} imes\mathbb{R}^{n_2})$ associated with $L_1$ and $L_2$ is defined by square function norms, then prove an interpolation property for this space. Next, we establish sufficient conditions for certain singular integral operators to be bounded on the Hardy space $H^1_{L_1,L_2}(\mathbb{R}^{n_1} imes\mathbb{R}^{n_2})$ when the associated kernels of these singular integrals only satisfy regularity conditions significantly weaker than those of the standard Calderón--Zygmund kernels. As applications, we obtain endpoint estimates of the double Riesz transforms associated to Schrdingier operators and a Marcinkiewicz-type spectral multiplier theorem for non-negative self-adjoint operators on product spaces.

研究动机与目标

• 通过与非负自伴算子 $ L_1 $ 和 $ L_2 $ 相关的热核满足高斯上界估计的平方函数范数，定义Hardy空间 $ H^1_{L_1,L_2}( r^{n_1} imes r^{n_2}) $。
• 利用 $ L_1 $ 和 $ L_2 $ 的谱理论，结合热核估计，建立 $ H^1_{L_1,L_2} $ 的原子分解。
• 通过光滑单位分解 $ \omega(2^{-\ell}\lambda) $ 对傅里叶乘子 $ F $ 进行 dyadic 分解，实现频域局部化。
• 对每个变量使用加权 $ L^2 $ 估计与插值技术，控制 $ L^2({\mathbb{R}}^{n_2}) \to L^2({\mathbb{R}}^{n_2}) $ 意义下的算子范数。
• 利用混合范数Sobolev空间 $ W^{2}_{s_1+\frac{1+\epsilon}{2}, s_2/2} $ 中 $ F $ 的正则性，推导出截断核算子范数的 $ \gamma^{-\delta} $ 衰减估计。
• 通过频域局部化与范数衰减，验证条件 (5.22)–(5.24) 的弱型条件，证明 $ T = F(L_1, L_2) $ 在 $ H^1_{L_1,L_2} $ 上的有界性。

提出的方法

• 通过与非负自伴算子 $ L_1 $ 和 $ L_2 $ 相关的热核满足高斯上界估计的平方函数范数，定义Hardy空间 $ H^1_{L_1,L_2}( r^{n_1} imes r^{n_2}) $。
• 利用 $ L_1 $ 和 $ L_2 $ 的谱理论，结合热核估计，建立 $ H^1_{L_1,L_2} $ 的原子分解。
• 通过光滑单位分解 $ \omega(2^{-\ell}\lambda) $ 对傅里叶乘子 $ F $ 进行 dyadic 分解，实现频域局部化。
• 对每个变量使用加权 $ L^2 $ 估计与插值技术，控制 $ L^2({\mathbb{R}}^{n_2}) \to L^2({\mathbb{R}}^{n_2}) $ 意义下的算子范数。
• 利用混合范数Sobolev空间 $ W^{2}_{s_1+\frac{1+\epsilon}{2}, s_2/2} $ 中 $ F $ 的正则性，推导出截断核算子范数的 $ \gamma^{-\delta} $ 衰减估计。
• 通过频域局部化与范数衰减，验证条件 (5.22)–(5.24) 的弱型条件，证明 $ T = F(L_1, L_2) $ 在 $ H^1_{L_1,L_2} $ 上的有界性。

实验结果

研究问题

• RQ1 能否在乘积空间上为与非负自伴算子相关的Hardy空间 $ H^1_{L_1,L_2} $ 建立原子分解？
• RQ2 当标准Calderón–Zygmund条件不成立时，奇异积分算子的核满足何种弱正则性条件可保证其在 $ H^1_{L_1,L_2} $ 上的有界性？
• RQ3 能否将端点估计（弱型 (1,1) 与 $ L \log^+ L $）扩展到多参数乘积域上具有非光滑核的奇异积分？
• RQ4 在乘子的光滑性假设最小化的前提下，能否为乘积空间上的算子导出谱乘子定理？
• RQ5 与Schrödinger算子相关的双重Riesz变换在 $ H^1_{L_1,L_2} $ 上的端点估计行为如何？

主要发现

• 建立了 $ H^1_{L_1,L_2}( r^{n_1} imes r^{n_2}) $ 的原子分解，通过适应算子 $ L_1 $ 和 $ L_2 $ 的原子刻画函数。
• 空间 $ H^1_{L_1,L_2} $ 满足插值性质，从而可在函数尺度间实现有界性结果的推广。
• 在弱正则性假设下，证明了奇异积分在 $ H^1_{L_1,L_2} $ 上有界的充分条件：截断算子范数满足 $ \gamma^{-\delta} $ 衰减，其中 $ \gamma \geq 2 $ 且 $ \delta > 0 $。
• 证明了与Schrödinger算子相关的双重Riesz变换有界映射从 $ H^1_{L_1,L_2} $ 到 $ L^1 $，将经典结果推广至非光滑情形。
• 证明了一个Marcinkiewicz型谱乘子定理：若 $ F $ 满足 $ \| \delta_{(2^\ell,1)}[\omega_{(\ell,1)}F] \|_{W^{2}_{s_1+\frac{1+\epsilon}{2}, s_2/2}} \leq C $，则 $ F(L_1,L_2) $ 在 $ H^1_{L_1,L_2} $ 上有界。
• 在单位立方体上，弱型估计 $ \big| \{ |Tf| > \alpha \} \big| \leq C \alpha^{-1} \|f\|_{L(\log^+ L)} $ 成立，确认了端点行为，即使弱型 (1,1) 不成立。