[论文解读] $L^p$-Square Function Estimates on Spaces of Homogeneous Type and on Uniformly Rectifiable Sets

Steve Hofmann, Dorina Mitrea+2 more|arXiv (Cornell University)|Jan 21, 2013

Advanced Harmonic Analysis Research参考文献 20被引用 8

一句话总结

该论文通过开发平方函数的局部 $T(b)$ 定理，证明了在一致可 rectifiable集和齐次类型空间上，积分算子的 $L^p$-平方函数估计的稳定性，并将结果推广至变系数核和 tent 空间。关键贡献是一个归纳性方法，将集合上平方函数的有界性归约为其大块上的有界性，从而实现 $L^p$ 空间和 Hardy 空间之间的外推。

ABSTRACT

We establish square function estimates for integral operators on uniformly rectifiable sets by proving a local $T(b)$ theorem and applying it to show that such estimates are stable under the so-called big pieces functor. More generally, we consider integral operators associated with Ahlfors-David regular sets of arbitrary codimension in ambient quasi-metric spaces. The local $T(b)$ theorem is then used to establish an inductive scheme in which square function estimates on so-called big pieces of an Ahlfors-David regular set are proved to be sufficient for square function estimates to hold on the entire set. Extrapolation results for $L^p$ and Hardy space versions of these estimates are also established. Moreover, we prove square function estimates for integral operators associated with variable coefficient kernels, including the Schwartz kernels of pseudodifferential operators acting between vector bundles on subdomains with uniformly rectifiable boundaries on manifolds.

研究动机与目标

• 在具有任意余维的齐次类型空间的一般设定下，发展平方函数的局部 $T(b)$ 定理。
• 证明在 Ahlfors-David 正则集的大块上平方函数的估计可推出全集上的估计，方法是通过一个归纳性方案。
• 将平方函数的有界性推广至具有变系数核的积分算子，包括具有统一可 rectifiable 边界的流形上的伪微分算子。
• 建立一个外推原理，将弱型 $L^p$ 估计提升为全范围 $p \in (d/(d+1), \infty)$ 内的强型 $L^p$ 有界性。
• 统一并推广在 Ahlfors-David 正则集和统一可 rectifiable 集上的 $L^p$、Hardy 和混合范数空间的平方函数估计。

提出的方法

• 在具有任意余维的拟度量空间中，利用 dyadic 分解和 tent 几何，发展平方函数的局部 $T(b)$ 定理。
• 构造一组与集合 $E$ 中 dyadic 方块 $Q$ 相适应的测试函数 $b_Q$，通过 dyadic Carleson tent 和表面球满足 $L^2$ 和大小条件。
• 应用局部 $T(b)$ 定理，通过大块函子和限制下的稳定性，证明大块上平方函数的估计可推出全局估计。
• 利用 tent 空间理论和混合范数估计，关联 Lusin 算子与 Carleson 算子，实现 $L^p$ 有界性的外推。
• 证明弱型 $L^p$ 平方函数估计可推出强型 $L^2$ 估计，随后通过外推定理将其推广至所有 $p \in (d/(d+1), \infty)$。
• 通过 dyadic 分解和核局部化，将变系数核的积分算子有界性归约为常系数情形。

实验结果

研究问题

• RQ1 能否通过归纳性方法，将一致可 rectifiable 集的大块上平方函数的估计扩展至整个集合？
• RQ2 平方函数的局部 $T(b)$ 定理如何推广至具有任意余维的齐次类型空间？
• RQ3 在该背景下，何种条件可确保弱型 $L^p$ 平方函数估计蕴含强型 $L^2$ 估计？
• RQ4 外推原理是否可应用于将 $L^p$ 有界性从某一点 $p$ 推广至全范围 $p \in (d/(d+1), \infty)$？
• RQ5 变系数核（如伪微分算子的核）如何影响在一致可 rectifiable 边界上平方函数的估计？

主要发现

• 在具有任意余维的拟度量空间中，建立了平方函数的局部 $T(b)$ 定理，使在 Ahlfors-David 正则集上分析积分算子成为可能。
• 在 Ahlfors-David 正则集的大块上平方函数的估计可推出全集上的全局平方函数估计，方法是基于大块函子的归纳性方案。
• 论文证明了弱型 $L^p$ 平方函数估计蕴含强型 $L^2$ 估计，这是外推过程中的关键步骤。
• 建立了外推结果：若平方函数对某 $p \in (d/(d+1), \infty)$ 满足弱型 $L^p$ 估计，则对所有 $q \in (d/(d+1), \infty)$ 均满足强型 $L^q$ 估计。
• 对于 $\mathbb{R}^n$ 中的一致可 rectifiable 集，作者证明了具有变系数核的积分算子的 $L^p$ 平方函数估计，包括与流形上伪微分算子相关的核。
• 论文建立了 tent 空间中 Lusin 算子与 Carleson 算子之间的精确联系，表明在适当条件下，一个算子的 $L^p$ 有界性可推出另一个算子的有界性。