[论文解读] On angles determined by fractal subsets of the Euclidean space via Sobolev bounds for bi-linear operators

Alex Iosevich, Mihalis Mourgoglou+1 more|arXiv (Cornell University)|Oct 31, 2011

Digital Image Processing Techniques参考文献 7被引用 10

一句话总结

本文证明：若 $ℝ^d$ 的紧子集的 Hausdorff 维数大于 $(d+1)/2$，则由该集合中三点构成的角集合具有正的 Lebesgue 测度。证明依赖于双线性算子的 Sobolev 估计以及广义 Radon 变换的驻相法，展示了角度的均匀分布性，并证明了维数阈值的最优性。

ABSTRACT

We prove that if the Hausdorff dimension of a compact subset of ${\mathbb R}^d$ is greater than $\frac{d+1}{2}$, then the set of angles determined by triples of points from this set has positive Lebesgue measure. Sobolev bounds for bi-linear analogs of generalized Radon transforms and the method of stationary phase play a key role. These results complement those of V. Harangi, T. Keleti, G. Kiss, P. Maga, P. Mattila and B. Stenner in (\cite{HKKMMS10}). We also obtain new upper bounds for the number of times an angle can occur among $N$ points in ${\mathbb R}^d$, $d \ge 4$, motivated by the results of Apfelbaum and Sharir (\cite{AS05}) and Pach and Sharir (\cite{PS92}). We then use this result to establish sharpness results in the continuous setting. Another sharpness result relies on the distribution of lattice points on large spheres in higher dimensions.

研究动机与目标

• 确定 $ℝ^d$ 的紧子集 $E$ 中，使得由三点构成的角集合 $\mathcal{A}(E)$ 具有正 Lebesgue 测度的最小 Hausdorff 维数阈值。
• 研究角集合中是否不存在某个角被过度表示，即角度是否在极限下均匀分布。
• 通过构造当维数低于该值时角集合测度较小的例子，证明维数阈值 $(d+1)/2$ 的最优性。
• 推导出在 $ℝ^d$（$d \geq 4$）中 $N$ 个点之间，单个角度最多出现次数的新上界，并利用该结果在连续情形下证明最优性。

提出的方法

• 使用广义 Radon 变换的双线性类比，通过固定角度的向量对积分来建模角度分布。
• 应用负阶 Sobolev 空间范数，特别是 $L^2_{-α}$ 范数，以控制双线性算子的 $L^1$-范数。
• 采用驻相法分析由角度分布测度产生的振荡积分。
• 通过表面测度 $\mu_t$ 的傅里叶变换的衰减估计，推导出算子 $T_{μ_t}$ 和 $χ_{μ_t}$ 的 $L^1$-估计。
• 在集合 $E$ 上构造一个 Frostman 测度 $\mu$，满足 $\mu(B_\delta) \lesssim \delta^s$（其中 $s = \dim_{\mathcal{H}}(E)$），以确保测度反映分形维数。
• 利用高维球面上格点的分布构造最优例子，特别依赖于在 $\u211d^d$ 中半径为 $R$ 的球面上整数点的数量。

实验结果

研究问题

• RQ1 紧子集 $E \subset \u211d^d$ 的 Hausdorff 维数的下确界是多少，才能保证其角集合 $\mathcal{A}(E)$ 具有正的 Lebesgue 测度？
• RQ2 我们能否确保 $\mathcal{A}(E)$ 中不存在某个角被过度表示，即角度是否均匀分布？
• RQ3 阈值 $\frac{d+1}{2}$ 对于 $\mathcal{A}(E)$ 的正测度是否最优，还是可以降低？
• RQ4 在 $\u211d^d$（$d \geq 4$）中 $N$ 个点之间，单个角度最多能出现多少次？这与连续情形有何关联？

主要发现

• 若 $\dim_{\mathcal{H}}(E) > \frac{d+1}{2}$，则每个角度 $\alpha \in [0, \pi]$ 在 $\mathcal{A}(E)$ 中均匀分布，即形成角度在 $[\alpha - \epsilon, \alpha + \epsilon]$ 内的三元组的测度为 $O(\epsilon)$。
• 当 $\dim_{\mathcal{H}}(E) > \frac{d+1}{2}$ 时，角集合 $\mathcal{A}(E)$ 的 Lebesgue 测度为正，且该阈值为最优。
• 定理 1.6 中的双线性算子估计给出 $\|T_{\mu_t}(f,g)\|_{L^1} \lesssim \|f\|_{L^2_{-\alpha}} \|g\|_{L^2_{-\beta}}$，其中 $\alpha + \beta = d-1$，隐含常数仅依赖于 $d$ 和 $I_s(\mu)$。
• 对于 $ℝ^d$（$d \geq 4$）中的 $N$ 个点，单个角度最多出现 $O(N^{3 - \frac{1}{s}})$ 次，其中 $s < \frac{d-2}{2}$，该结果与连续情形的最优性一致。
• 通过将集合 $E_n$ 构造为半径为 $R$ 的球面上格点的 $n^{-1/s}$-邻域，得到 $|\mathcal{A}(E_n)| \lesssim n^{-1/s} \cdot n^{2/(d-2)}$，当 $n \to \infty$ 时，若 $s < \frac{d-2}{2}$，则该值趋于零，从而证明了阈值的最优性。
• 最优性证明依赖于高维 $\u211d^d$ 中大球面上格点的分布，其中 $\#\{k \in \mathbb{Z}^d : |k| = R\} \approx R^{d-2}$（$d \geq 5$），且在 $d=4$ 时在较弱条件下也成立。