[论文解读] Geometric conditions for the $L^2$-boundedness of singular integral operators with odd kernels with respect to measures with polynomial growth in $\mathbb{R}^d$

Daniel Girela-Sarrión|arXiv (Cornell University)|May 27, 2015

Advanced Harmonic Analysis Research参考文献 9被引用 10

一句话总结

本文在 $\mathbb{R}^d$ 中基于 Jones、David 和 Semmes 的 $\beta$-numbers，建立了具有多项式增长的 Radon 测度的几何条件，确保奇函数、$\mathcal{C}^2$ 的 Calderón-Zygmund 核的奇异积分算子在 $L^2(\mu)$ 中有界。关键结果表明，若这些几何条件成立，则所有此类算子在 $L^2(\mu)$ 中有界，从而基于度量和几何性质，为 Lipschitz 调和容量提供了新的下界。

ABSTRACT

Let $μ$ be a finite Radon measure in $\mathbb{R}^d$ with polynomial growth of degree $n$, although not necessarily $n$-AD-regular. We prove that under some geometric conditions on $μ$ that are closely related to rectifiability and involve the so-called $β$-numbers of Jones, David and Semmes, all singular integral operators with an odd and sufficiently smooth Calderón-Zygmund kernel are bounded in $L^2(μ)$. As a corollary, we obtain a lower bound for the Lipschitz harmonic capacity of a compact set in $\mathbb{R}^d$ only in terms of its metric and geometric properties.

研究动机与目标

• 建立 $\mathbb{R}^d$ 中具有多项式增长的测度的充分几何条件，以确保奇函数、光滑 Calderón-Zygmund 核的奇异积分算子在 $L^2(\mu)$ 中有界。
• 通过基于 $\beta$-数而非曲率的新科罗纳分解，将 Tolsa 对 Cauchy 变换的 $L^2$ 有界性结果推广到高维。
• 仅基于集合的度量和几何性质，推导出 $\mathbb{R}^d$ 中紧致集的 Lipschitz 调和容量的新下界。
• 将具有多项式增长测度的奇异积分理论推广至不假设 Ahlfors-David 正则性的范围之外。

提出的方法

• 证明依赖于基于 Jones、David 和 Semmes 的 $\beta$-数的新科罗纳分解，该数量化了 dyadic 方块中测度的平坦性。
• 将奇异积分算子分解为一系列算子 $K_R$ 的和，每个算子与科罗纳分解中的一个树相关联，从而实现局部化分析。
• 通过在每个树内用 Ahlfors-David 正则曲线上的弧长逼近测度 $\mu$，证明每个 $K_R$ 在 $L^2(\mu)$ 中有界。
• 利用 $\beta$-数的衰减性及科罗纳分解的结构，建立算子 $K_R$ 的拟正交性。
• 通过涉及 $\theta_\mu^n(x,r)$ 和 $\beta_\mu^{n,2}(x,r)$ 系数的 dyadic dyadic paraproduct 型估计，控制完整算子的 $L^2(\mu)$-范数。
• 主要估计通过用 $\beta$-数积分和测度增长控制 $\|K_R\mu\|_{L^2(\mu)}^2$ 的和以及交叉项 $\langle K_R\mu, K_{R'}\mu \rangle_\mu$ 导出。

实验结果

研究问题

• RQ1 在 $\mathbb{R}^d$ 中，具有多项式增长的测度 $\mu$ 满足何种几何条件时，奇函数、$\mathcal{C}^2$ 核的奇异积分算子在 $L^2(\mu)$ 中有界？
• RQ2 Riesz 变换的 $L^2(\mu)$-有界性能否通过 $\beta$-数和测度增长等几何量表征，而无需假设 Ahlfors-David 正则性？
• RQ3 在高维中，能否通过基于 $\beta$-数而非曲率的科罗纳分解，建立 Calderón-Zygmund 算子的 $L^2(\mu)$-有界性？
• RQ4 奇异积分的 $L^2(\mu)$-有界性与 $\mathbb{R}^d$ 中紧致集的 Lipschitz 调和容量之间存在何种关系？
• RQ5 能否仅从集合的几何和度量性质出发，推导出 Lipschitz 调和容量的下界，而无需任何解析假设？

主要发现

• 在涉及 $\beta_\mu^{n,2}$ 系数和测度增长的几何条件下，所有奇函数、$\mathcal{C}^2$ 核的奇异积分算子在 $L^2(\mu)$ 中有界。
• 主要估计表明：$\|T\mu\|_{L^2(\mu)}^2 \lesssim \|\mu\| + \iint_0^1 \beta_\mu^{n,2}(x,r)^2 \theta_\mu^n(x,r) \frac{dr}{r} d\mu(x)$，该式通过几何数据控制算子范数。
• 证明表明，基于树的算子 $K_R$ 的 $L^2$-范数之和及其交叉项受 $\sum_{R\in\mathsf{Top}} \theta_\mu^n(B_R)^2 \mu(B_R)$ 控制，该量与几何积分相当。
• 基于 $\beta$-数的科罗纳分解使得 Tolsa 的结果从 $\mathbb{C}$ 推广到 $\mathbb{R}^d$，消除了对曲率论证的依赖。
• 推导出 Lipschitz 调和容量 $\kappa(E)$ 的新下界：$\kappa(E) \gtrsim \mu(E)$，其中任意支撑于 $E$ 的测度 $\mu$ 满足 $\mu(B(x,r)) \leq r^n$ 且 $\|\mathcal{R}_\mu\|_{L^2(\mu)\to L^2(\mu)} \leq C$，$C$ 为绝对常数。
• 该结果表明，紧致集 $E \subset \mathbb{R}^d$ 的 Lipschitz 调和容量的下界由涉及 $\beta$-数和测度增长的几何量决定，且与解析光滑性无关。