[论文解读] Non existence of principal values of signed Riesz transforms of non integer dimension

Aleix Ruiz de Villa, Xavier Tolsa|ArXiv.org|Dec 12, 2008

Advanced Harmonic Analysis Research参考文献 1被引用 3

一句话总结

本文证明，若在 $ \mathbb{R}^m $ 中，非零博雷尔测度 $ \mu $ 的上 $ s $-密度有界，且主值几乎处处存在，则非整数维数 $ s $ 的带符号 Riesz 变换的主值不可能存在。关键结果表明，此类存在性强制 $ s $ 必须为整数，通过一种新颖的分析方法，基于特殊构造的截断函数与密度估计，解决了几何测度论中长期存在的问题。

ABSTRACT

In this paper we prove that, given s> 0, if E is a subset of R^m with positive and bounded s-dimensional Hausdorff measure H^s and the principal values of the s-dimensional signed Riesz transform of H^s|E exist H^s-almost everywhere in E, then s is integer. Other more general variants of this result are also proven.

研究动机与目标

• 确定在上 $ s $-密度有界条件下，主值是否可能存在于非整数维数 $ s \in (n, n+1) $，其中 $ n \in \mathbb{Z} $。
• 建立主值在 $ \mu $-几乎处处 $ x \in \mathbb{R}^m $ 存在，且满足 $ 0 < \theta^{s,*}_{\mu}(x) < \infty $ 时，必有 $ s \in \mathbb{Z} $ 的结论。
• 通过引入一种新方法，避免对下密度的假设，扩展先前依赖于切测度的结果，该方法使用 $ C^2 $ 截断函数与能量型估计。
• 证明对于满足 $ 0 < H^s(E) < \infty $ 的集合 $ E \subset \mathbb{R}^m $，若 $ H^s|_E $-几乎处处在 $ E $ 上存在 Riesz 变换的主值，则必有 $ s \in \mathbb{Z} $。

提出的方法

• 构造一个光滑、紧台支集的截断函数 $ \varphi \in C^2(0,\infty) $，其具有特定行为：当 $ r $ 较小时 $ \varphi(r) = r^{(s+1)/2} $，中间区域线性衰减，且具有紧支集，以控制原点附近 Riesz 核的性质。
• 定义修正后的 Riesz 变换 $ R^{s}_{\varphi,\varepsilon}\mu(x) = \int \varphi\left(\frac{|x-y|^2}{\varepsilon^2}\right) \frac{x-y}{|x-y|^{s+1}} d\mu(y) $，该形式正则化了奇异核，使得可进行依赖于 $ \varepsilon $ 的能量估计。
• 使用密度点论证：对 $ F_\delta $ 中的点 $ x_0 $（即 $ \mu $-密度点且上密度有界），在 $ x_0 $ 的球内构造 $ n+2 $ 个点，其与低维仿射子空间的距离受控。
• 利用点构型的几何性质与 $ \varphi $ 的性质，建立修正后 Riesz 变换在原点的 $ L^1 $-范数的下界：$ |U^\varepsilon(0)| \gtrsim \frac{\theta^s(\varepsilon)}{\varepsilon} $。
• 通过 $ R^{s}_{\varphi,\varepsilon}\mu $ 在 $ F_\delta $ 上的利普希茨连续性（受 $ \delta $ 控制）建立 $ |U^\varepsilon(0)| $ 的上界，并将其与密度 $ \theta^s(\varepsilon) $ 关联。
• 通过导出矛盾：$ \theta^s(\varepsilon)r \lesssim \tau \theta^s(\varepsilon)r $ 对任意小的 $ \tau $ 成立，从而强制 $ s \in \mathbb{Z} $。

实验结果

研究问题

• RQ1 当上 $ s $-密度有界时，非整数维数 $ s \in (n, n+1) $ 的带符号 Riesz 变换的主值是否可能存在于 $ \mu $-几乎处处？
• RQ2 若主值在 $ \mu $-几乎处处存在，是否意味着维数 $ s $ 必须为整数？
• RQ3 能否绕过经典的切测度方法，在不假设正下密度的条件下，证明 $ s $ 的整数性？
• RQ4 Riesz 变换主值的存在性与具有有限 $ H^s $-测度的底层集合 $ E $ 的可矩性之间有何关系？

主要发现

• 若对 $ \mu $-几乎处处 $ x $ 满足 $ 0 < \theta^{s,*}_{\mu}(x) < \infty $，则非整数维数 $ s \in (n, n+1) $ 的带符号 Riesz 变换的主值不可能在 $ \mu $-几乎处处存在。
• 对博雷尔测度 $ \mu $，若主值 $ \lim_{\varepsilon \to 0} R^s_\varepsilon \mu(x) $ 在 $ \mu $-几乎处处存在，且 $ \theta^{s,*}_{\mu}(x) < \infty $，则必有 $ s \in \mathbb{Z} $。
• 对满足 $ 0 < H^s(E) < \infty $ 的集合 $ E \subset \mathbb{R}^m $，若 $ H^s|_E $-几乎处处在 $ E $ 上存在 Riesz 变换的主值，则必有 $ s \in \mathbb{Z} $。
• 证明依赖于对 $ C^2 $ 截断函数 $ \varphi $ 的新颖构造，该构造使得能精确控制 Riesz 核，并在 $ s \notin \mathbb{Z} $ 时导出矛盾。
• 矛盾源于将修正后 Riesz 变换的下界 $ |U^\varepsilon(0)| \gtrsim \frac{\theta^s(\varepsilon)}{\varepsilon} $ 与阶为 $ \delta \cdot \theta^s(\varepsilon) $ 的上界进行比较，其中 $ \delta \to 0 $，从而强制 $ s \in \mathbb{Z} $。