[论文解读] Kakeya Sets in Cantor directions

Michael Bateman, Nets Hawk Katz|ArXiv.org|Sep 6, 2006

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

一句话总结

本文通过使用斜率属于标准三分康托集的平行四边形，在平面上构造了一类基涅塔集，证明了即使在未可数个方向上包含线段，此类集合的勒贝格测度仍可任意小（数量级为 $1/\log N$）。该构造依赖于概率方法与树上的电网络理论，得出的极大算子在所有 $L^p$ 空间（$p \neq \infty$）上无界，从而解决了调和分析中长期悬而未决的难题。

ABSTRACT

We construct a union of N parallelograms of dimensions approximately 1/N x 1 in the plane, with the slope of their long sides in the standard Cantor set. The union has area 1/log N but the union of the doubles has area log log N/ log N. In particular, this implies unbounded of the associated maximal operator in L^p for any p different from infinity. The construction is by randomizing an earlier construction of the second author for the L^2 case. The proof that the construction satisfies the desired conditions is by elementary estimates in the theory of percolation on trees as developed by R. Lyons.

研究动机与目标

• 解决调和分析中长期悬而未决的难题：在 $L^p(\mathbb{R}^2)$ 上，对于 $p \neq \infty$，与标准康托集方向中线段相关的极大算子 $\mathcal{M}$ 是否无界。
• 构造基涅塔型集合的显式例子，其斜率被限制在康托集内，但勒贝格测度可任意小。
• 建立树上渗滤与分形方向基涅塔集测度性质之间的联系。
• 通过概率方法构造一个基涅塔集，其测度随 $N$ 对数衰减，而其膨胀版本的测度下界为 $\log \log N / \log N$。

提出的方法

• 通过独立的随机变量 $r_{t,a} \in \{0,2\}$ 定义斜率，对三元树 $T_n$ 到 $n$ 阶康托集 $C_n$ 的粘滞映射 $\sigma_n: T_n \to C_n$ 进行概率构造。
• 定义平行四边形 $P_{\sigma,s}$，其偏心率 $\sim N = 3^n$，面积 $\sim 1/N$，沿康托集中的方向排列。
• 在三元树的子树上应用电网络电阻理论，估计某点属于平行四边形并集的概率。
• 应用利昂斯定理，将命中子树的概率与有效电阻 $R(T')$ 关联，其中对相关子树有 $R(T') \gtrsim n$。
• 利用测度论中的统一不等式，基于两两交集，对平行四边形并集的测度进行下界估计。
• 交换积分与期望，计算基涅塔集的期望测度，从而得出关键的衰减估计。

实验结果

研究问题

• RQ1 能否构造出方向被限制在康托集内，但勒贝格测度仍可任意小的基涅塔集？
• RQ2 对于 $p \neq \infty$，极大算子 $\mathcal{M}f(x) = \sup_{x \in s \in \mathcal{S}} \text{av}_s |f|$ 在 $L^p(\mathbb{R}^2)$ 上是否无界，其中 $\mathcal{S}$ 是斜率属于康托集的直线集合？
• RQ3 当 $N = 3^n$ 时，由 $N$ 个偏心率 $\sim N$、面积 $\sim 1/N$ 且斜率属于康托集的平行四边形构成的基涅塔集，其测度的渐近行为如何？
• RQ4 在该构造中，膨胀集 $2P_j$ 的测度与原集合相比如何？

主要发现

• 对于 $N = 3^n$，存在 $N$ 个斜率属于康托集的平行四边形，每个的偏心率 $\sim N$，面积 $\sim 1/N$，使得其并集的测度满足 $|\bigcup_{j=1}^N P_j| \lesssim 1/\log N$。
• 膨胀并集 $\bigcup_{j=1}^N 2P_j$ 的测度满足 $|\bigcup_{j=1}^N 2P_j| \gtrsim \log \log N / \log N$。
• 在标准康托集方向上定义的极大算子 $\mathcal{M}$ 在 $L^p(\mathbb{R}^2)$ 上对所有 $p \neq \infty$ 均无界。
• 该构造依赖于三元树上粘滞映射的概率模型，某点属于基涅塔集的概率通过电网络中的有效电阻进行估计。
• 基涅塔集测度的关键下界为 $|K_\sigma| \gtrsim \log n / n$，该结果由电阻估计 $R(T') \gtrsim n$ 与利昂斯定理推导得出。
• 在粘滞映射的概率空间上，基涅塔集的期望测度为 $\lesssim 1/n$，意味着存在测度 $\lesssim 1/n$ 的具体实例；而下界 $\gtrsim \log n / n$ 确保了非退化性。