[论文解读] Square function and Riesz transform in non-integer dimensions

Svitlana Mayboroda, Alexander Volberg|ArXiv.org|Jun 15, 2009

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

一句话总结

该论文证明了与 Hausdorff 测度 $H^s$ 相关的 Riesz 变换的平方函数的有限性意味着维度 $s$ 必须为整数。通过改进先前工作的精细技术，作者证明：若平方函数 $S^s\mu(x)$ 几乎处处有限，则 $s \in \mathbb{Z}$，从而在该条件下解决了长期存在的问题，并强化了此前需要主值存在的结果。

ABSTRACT

Following a recent paper by X. Tolsa and A. Ruiz de Villa [Non existence of principal values of signed Riesz transforms of non integer dimension, preprint], we show that the finiteness of square function associated with the Riesz transforms with respect to Hausdorff measure $H^s$ implies that $s$ is integer.

研究动机与目标

• 解决一个开放问题：Riesz 变换平方函数的有限性是否意味着维度 $s$ 为整数。
• 将此前需要 Riesz 变换主值存在的结果推广到仅要求平方函数有限的更弱条件。
• 建立几何条件 $s \in \mathbb{Z}$ 通过平方函数编码于 Riesz 变换的 $L^2$-有界性之中。
• 改进文献 [10] 的方法，以在不假设主值存在的情况下处理平方函数条件。

提出的方法

• 作者使用依赖于小参数 $\rho$ 的 $C^2$ 截断函数 $\varphi$ 的修正 Riesz 变换 $R^{s,\varphi}_\varepsilon\mu(x)$ 来控制奇异性。
• 他们定义集合 $F_\delta$，其中测度密度有界且修正 Riesz 变换的振荡较小，从而在小尺度上保证正则性。
• 关键步骤涉及在球体内构造点列 $y_0, \dots, y_{n+1}$，使得 Riesz 变换差值累积，从而导出差值和的下界。
• 证明采用反证法，假设 $s \notin \mathbb{Z}$，并利用 $F_\delta$ 中的振荡控制导出同一和的上界。
• 上界通过估计差值 $|R^{s,\varphi}_\varepsilon\mu(x) - R^{s,\varphi}_\varepsilon\mu(z)|$ 得到，其中使用了 $\delta$-振荡和对数项。
• 通过将几何构造所得的下界与振荡控制所得的上界平衡，当 $\tau$ 足够小时导致矛盾，从而迫使 $s \in \mathbb{Z}$。

实验结果

研究问题

• RQ1 Riesz 变换相关平方函数 $S^s\mu(x)$ 的有限性是否意味着维度 $s$ 为整数？
• RQ2 能否将条件 $\sup_{\varepsilon>0}|R^s_\varepsilon\mu(x)| < \infty$ 弱化为平方函数有限性，同时仍能推出 $s \in \mathbb{Z}$？
• RQ3 在仅假设平方函数有限而无需主值存在的更弱条件下，是否仍可证明 $s \in \mathbb{Z}$？
• RQ4 能否将用于主值存在性的技术适配到平方函数情形，以达到相同结论？

主要发现

• 对于 $\mu$-几乎处处的 $x$，平方函数 $S^s\mu(x)$ 的有限性意味着 $s$ 必须为整数。
• 该结果仅在假设 $0 < \theta^{s,*}_\mu(x) < \infty$ $\mu$-几乎处处成立时即成立，无需下密度有界条件。
• 证明通过反证法，表明当假设 $s \notin \mathbb{Z}$ 时，Riesz 变换差值的几何下界与 $F_\delta$ 集中的振荡控制无法调和。
• 当 $\tau$ 足够小时矛盾出现，导致 $\theta^s(y_0,\varepsilon) \leq C(\tau + \tau^{1-\alpha})\theta^s(y_0,\varepsilon)$，这对小 $\tau$ 仅在 $s \in \mathbb{Z}$ 时可能成立。
• 该方法给出了常数关于 $s$、$M$ 和 $\rho$ 的定量依赖关系，表明结果在 $s$ 远离整数时仍一致成立。