[论文解读] Pinned distance problem, slicing measures and local smoothing estimates

Alex Iosevich, Bochen Liu|arXiv (Cornell University)|Jun 29, 2017

Mathematical Dynamics and Fractals参考文献 16被引用 5

一句话总结

本文通过利用傅里叶积分算子的局部光滑化估计，改进了佩雷斯-施拉格的固定距离问题，为 $\dd$ 中的固定距离集大小建立了精确的维数阈值。证明了对于 $\dd$ 中的集合 $E$ 和 $F$，若 $\dim_{\mathcal{H}}(E) + \frac{d-1}{d+1}\dim_{\mathcal{H}}(F) > d-1+\beta$，则对 $\mu_F$-几乎处处的 $y \in F$，有 $\dim_{\mathcal{H}}(\Delta^y(E)) \geq \beta$，在佩荣-斯坦与电影曲率条件之下，对正勒贝格测度和非空内部的情形也得到类似结果。

ABSTRACT

We improve the Peres-Schlag result on pinned distances in sets of a given Hausdorff dimension. In particular, for Euclidean distances, with $$Δ^y(E) = \{|x-y|:x\in E\},$$ we prove that for any $E, F\subset{\Bbb R}^d$, there exists a probability measure $μ_F$ on $F$ such that for $μ_F$-a.e. $y\in F$, (1) $\dim_{\mathcal H}(Δ^y(E))\geqβ$ if $\dim_{\mathcal H}(E) + \frac{d-1}{d+1}\dim_{\mathcal H}(F) > d - 1 + β$; (2) $Δ^y(E)$ has positive Lebesgue measure if $\dim_{\mathcal H}(E)+\frac{d-1}{d+1}\dim_{\mathcal H}(F) > d$; (3) $Δ^y(E)$ has non-empty interior if $\dim_{\mathcal H}(E)+\frac{d-1}{d+1}\dim_{\mathcal H}(F) > d+1$. We also show that in the case when $\dim_{\mathcal H}(E)+\frac{d-1}{d+1}\dim_{\mathcal H}(F)>d$, for $μ_F$-a.e. $y\in F$, $$ \left\{t\in{\Bbb R} : \dim_{\mathcal H}(\{x\in E:|x-y|=t\}) \geq \dim_{\mathcal H}(E)+\frac{d+1}{d-1}\dim_{\mathcal H}(F)-d ight\} $$ has positive Lebesgue measure. This describes dimensions of slicing subsets of $E$, sliced by spheres centered at $y$. In our proof, local smoothing estimates of Fourier integral operators (FIO) plays a crucial role. In turn, we obtain results on sharpness of local smoothing estimates by constructing geometric counterexamples.

研究动机与目标

• 通过引入曲率条件，改进佩雷斯-施拉格关于给定豪斯多夫维数集合中固定距离的结果。
• 建立固定距离集 $\Delta^y(E)$ 具有正勒贝格测度或非空内部的维数阈值。
• 将固定距离问题与傅里叶积分算子（FIO）的局部光滑化估计联系起来。
• 构造几何反例以证明局部光滑化估计的精确性。
• 将结果从欧氏距离推广至满足佩荣-斯坦与电影曲率条件的一般函数 $\Phi$。

提出的方法

• 以傅里叶积分算子（FIO）的局部光滑化估计为核心分析工具，控制距离集的大小。
• 应用基于 $L^p$ 的限制估计与霍尔德不等式，以界定 FIO 核的 $L^2$-范数。
• 将测度 $\mu_E$、$\mu_F$ 分解为 dyadic 频率环带，通过频率局部化分析衰减与维数。
• 利用佩荣-斯坦的旋转曲率条件与索尔盖的电影曲率条件，确保水平集具有非退化的曲率。
• 通过驻定相位法与 $L^2$-限制理论估计振荡积分，推导维数界限。
• 利用乘积集与 $\Phi$ 的水平集构造反例，以检验所推导维数阈值的精确性。

实验结果

研究问题

• RQ1 在何种 $\dim_{\mathcal{H}}(E)$ 与 $\dim_{\mathcal{H}}(F)$ 条件下，可保证对 $\mu_F$-几乎处处的 $y \in F$，有 $\dim_{\mathcal{H}}(\Delta^y(E)) \geq \beta$？
• RQ2 在 $\Phi$ 的何种曲率条件下，可保证对 $\mu_F$-几乎处处的 $y \in F$，有 $|\Delta^y(E)| > 0$？
• RQ3 在何种条件下，对 $\mu_F$-几乎处处的 $y \in F$，$\Delta^y(E)$ 具有非空内部？
• RQ4 FIO 的局部光滑化估计如何与 $E$ 的截面测度的维数相关联？
• RQ5 所推导的维数阈值是否精确？能否通过几何反例加以证明？

主要发现

• 对 $\mu_F$-几乎处处的 $y \in F$，若 $\dim_{\mathcal{H}}(E) + \frac{d-1}{d+1}\dim_{\mathcal{H}}(F) > d-1 + \beta$，则 $\dim_{\mathcal{H}}(\Delta^y(E)) \geq \beta$。
• 若 $\dim_{\mathcal{H}}(E) + \frac{d-1}{d+1}\dim_{\mathcal{H}}(F) > d$，则对 $\mu_F$-几乎处处的 $y \in F$，有 $\Delta^y(E)$ 具有正勒贝格测度。
• 若 $\dim_{\mathcal{H}}(E) + \frac{d-1}{d+1}\dim_{\mathcal{H}}(F) > d+1$，则对 $\mu_F$-几乎处处的 $y \in F$，有 $\Delta^y(E)$ 具有非空内部。
• 对 $\mu_F$-几乎处处的 $y \in F$，集合 $\{t \in \mathbb{R} : \dim_{\mathcal{H}}(\{x \in E : |x-y| = t\}) \geq \dim_{\mathcal{H}}(E) + \frac{d+1}{d-1}\dim_{\mathcal{H}}(F) - d\}$ 具有正勒贝格测度。
• 几何反例表明，所推导的阈值是精确的，尤其当 $\Phi(x,y) = x \cdot y$ 被曲率假设排除时。