[论文解读] Cones, rectifiability, and singular integral operators

Damian Dąbrowski|arXiv (Cornell University)|Jun 25, 2020

Mathematical Analysis and Transform Methods参考文献 61被引用 5

一句话总结

本文引入锥形能量以表征 R^d 上 Radon 测度的 n-可求积性及 Lipschitz 图的大片部分性质。通过量化以点 x 为顶点、方向为 V、半顶角为 α 的锥体内测度的集中程度，证明了有限锥形能量 E_{μ,p}(x, V, α, 1) 蕴含 n-可求积性，反之，可求积测度满足一致的锥形能量有界性。该结果通过引入锥形密度的 Dini 型可积性条件，推广了经典的基于密度的判别准则。

ABSTRACT

Let $\mu$ be a Radon measure on $\mathbb{R}^d$. We define and study conical energies $\mathcal{E}_{\mu,p}(x,V,\alpha)$, which quantify the portion of $\mu$ lying in the cone with vertex $x\in\mathbb{R}^d$, direction $V\in G(d,d-n)$, and aperture $\alpha\in (0,1)$. We use these energies to characterize rectifiability and the big pieces of Lipschitz graphs property. Furthermore, if we assume that $\mu$ has polynomial growth, we give a sufficient condition for $L^2(\mu)$-boundedness of singular integral operators with smooth odd kernels of convolution type.

研究动机与目标

• 本文旨在通过锥形能量提供 n-可求积性的新、定量表征。
• 旨在通过锥形能量条件表征 Lipschitz 图的大片部分（BPLG）性质。
• 研究在多项式增长假设下，奇异积分算子在 L^2(μ) 中的有界性。
• 通过在锥形密度衰减上引入 L^p 可积性条件，推广了关于近似切平面与锥形密度的经典结果。
• 旨在弱化可求积性判别准则中的标准假设，特别是避免事先假设 μ ≪ H^n。

提出的方法

• 本文将 (V, α, p)-锥形能量 E_{μ,p}(x, V, α, R) 定义为：对 r ∈ (0,R)，锥形密度 μ(K(x,V,α,r))/r^n 的 L^p 范数关于 dr/r 的积分。
• 利用锥形能量量化测度 μ 在以 x 为中心、方向 V ∈ G(d,d−n)、半顶角 α ∈ (0,1)、尺度为 r 的锥体中所占的比例。
• 分析依赖于与 β_2 数的比较以及 dyadic 分解，以建立锥形能量与测度平坦性之间的联系。
• 应用切比雪夫不等式与覆盖论证，控制测度在横截平面管状邻域中的集中程度。
• 主要可求积性结果的证明采用反证法：假设最小化平面 L_r 不收敛于近似切平面 W，则通过测度在细管中的集中性导出矛盾。
• 利用如下事实：若近似切平面 W 与最小化平面 L_r 分离，则它们的交集为低维集合，从而与测度的下界矛盾。

实验结果

研究问题

• RQ1 若锥形能量 E_{μ,p}(x, V_x, α_x, 1) 有限，是否能推出 μ 的 n-可求积性，即使不假设 μ ≪ H^n？
• RQ2 能否通过一致的锥形能量有界性来表征 Lipschitz 图的大片部分（BPLG）性质？
• RQ3 锥形能量的何种条件可保证具有光滑奇核的奇异积分算子在 L^2(μ) 中有界？
• RQ4 锥形能量条件如何优于经典的基于密度的判别准则（如 (1.2) 或 (1.3)）？
• RQ5 锥形能量与先前可求积性理论中使用的 β_2 数之间是否存在定量关联？

主要发现

• 本文证明：若对 μ-几乎处处的 x ∈ supp μ，有 E_{μ,p}(x, V_x, α_x, 1) < ∞，则 μ 是 n-可求积的，即使不假设 μ ≪ H^n。
• 反之，若 μ 是 n-可求积的，则对 μ-几乎处处的 x，存在 V_x，使得对所有 α ∈ (0,1)，有 E_{μ,p}(x, V_x, α, 1) < ∞。
• 锥形能量条件 (1.4) 严格强于经典近似切平面条件 (1.2)，因其对锥形密度衰减施加了 Dini 型可积性。
• 本文证明：在多项式增长条件下，若对 μ-几乎处处的 x，有 E_{μ,p}(x, V, α, 1) < ∞，则具有光滑奇核的奇异积分算子在 L^2(μ) 中有界。
• 主要可求积性结果的证明依赖于反证法：若最小化平面 L_r 不收敛于近似切平面 W，则测度在细管中集中，与下密度界矛盾。
• 分析表明：R^d 中两个横截的 n-平面的交集维数为 n−1，因此其 ε-邻域测度有界于 O(ε)，当 ε 较小时导致矛盾。