[论文解读] A T(1)-Theorem in relation to a semigroup of operators and applications to new paraproducts

Frédéric Bernicot|arXiv (Cornell University)|May 27, 2010

Advanced Harmonic Analysis Research参考文献 28被引用 6

一句话总结

本文为与算子半群相关的Calderón-Zygmund算子建立了一个广义的T(1)-定理，用一种适应于该半群的新BMO_L空间取代了经典的BMO空间。关键贡献在于通过T(1)和T*(1)的BMO_L范数表征了L²有界性，将经典的T(1)定理推广至具有加倍性质的黎曼流形，并构建了新的抛积算子。

ABSTRACT

In this work, we are interested to develop new directions of the famous T(1)-theorem. More precisely, we develop a general framework where we look for replacing the John-Nirenberg space BMO (in the classical result) by a new BMO_{L}, associated to a semigroup of operators (e^{-tL})_{t>0}. These new spaces BMO_L (including BMO) have recently appeared in numerous works in order to extend the theory of Hardy and BMO space to more general situations. Then we give applications by describing boundedness for a new kind of paraproducts, built on the considered semigroup. In addition we obtain a version of the classical T(1) theorem for doubling Riemannian manifolds.

研究动机与目标

• 通过用由算子半群导出的新BMO_L空间取代经典的John-Nirenberg BMO空间，将经典T(1)-定理进行推广。
• 在非欧几里得空间（特别是具有加倍性质的黎曼流形）中，为Calderón-Zygmund算子建立L²有界性准则的框架。
• 将新T(1)定理应用于证明由半群构造的新型抛积算子的有界性。
• 在几何假设下验证弱有界性性质与非对角衰减性，将经典T(1)定理推广至黎曼流形。
• 探讨是否可在仅使用L²–L²非对角估计而非逐点高斯界的情况下，将T(1)定理进行推广。

提出的方法

• 将BMO_L定义为函数空间，其在球上的平均偏差受半群(e^{-tL})_{t>0}控制，从而推广经典BMO空间。
• 通过要求T(1)和T*(1)属于BMO_L，且算子T满足涉及距离衰减的弱有界性条件，建立新的T(1)定理。
• 利用半群的热核估计（如高斯界）控制T在 dyadic立方体和球上的行为。
• 通过利用由半群性质导出的Sobolev型不等式（特别是Poincaré不等式），应用Carleson测度论证。
• 利用分部积分法和热核的梯度估计，将算子范数以T(1)的BMO_L范数形式有界控制。
• 通过利用半群的光滑性与衰减性质，证明T(f)在f的支集之外迅速衰减，从而验证弱有界性条件。

实验结果

研究问题

• RQ1 经典T(1)-定理是否可在BMO空间被半群适应的BMO_L空间取代的设定下进行推广？
• RQ2 在何种条件下，对于半群(e^{-tL})_{t>0}，当BMO被BMO_L取代时，T(1)定理仍成立？
• RQ3 新T(1)定理是否可用于证明由半群构造的抛积算子的有界性？
• RQ4 当Laplacian生成半群时，T(1)定理是否可推广至具有加倍性质的黎曼流形？
• RQ5 在T(1)定理框架中，是否可用仅L²–L²非对角估计替代热核的逐点高斯界？

主要发现

• 本文建立了新的T(1)-定理：当且仅当T(1)和T*(1)属于BMO_L，且T满足弱有界性条件时，T在L²上有界。
• BMO_L空间严格包含经典BMO空间，使得T(1)定理可推广至BMO空间不足以适用的设定，例如黎曼流形。
• 该定理适用于由半群构造的新抛积算子，证明其在Lebesgue空间L^r上（当r′ > 1时）有界，并通过外推法推广至r′ ≤ 1的情形。
• 在假设热核具有高斯界的前提下，经典T(1)定理被恢复并推广至具有加倍性质的黎曼流形。
• 证明依赖于热核梯度的逐点估计与加权L²估计，以BMO_L范数控制算子范数。
• 作者指出了一个关键开放问题：是否可在仅具有L²–L²非对角估计而无逐点界的情况下，将T(1)定理推广至更一般的半群。