AI 中文总结
本研究针对平面方向极大算子$D_{\Omega}$的Lebesgue有界性问题，修正了Bateman 2009年相关证明的漏洞，引入可容许有限阶缺隙性概念，建立了有限阶缺隙性、无Kakeya型集合与算子有界性的等价刻画。
AI 中文摘要
本专著研究平面方向极大算子$D_{\Omega}$的Lebesgue有界性。这类算子是$\mathbb R^2$中斜率属于指定集合$\Omega\subseteq\mathbb R$的线段上函数的极大平均。大量研究已将$\Omega$的一种几何性质——有限阶缺隙性，视为确保$D_{\Omega}$为Lebesgue有界的关键因素。尽管该概念存在若干变体，但均围绕$\Omega$中的间隙分布展开。Bateman（2009）的一篇论文在早期工作基础上，对这类算子断言了一种二分性：即当且仅当斜率集合$\Omega$为有限阶缺隙性，或等价地，当$\Omega$不包含Kakeya型集合时，$D_{\Omega}$在所有$p\in(1,\infty)$上是$L^p$有界的；反之，亚缺隙方向集合$\Omega$会呈现Kakeya类现象，意味着$D_{\Omega}$在所有$p\in[1,\infty)$上于$L^p$无界。Hagelstein、Radillo-Murguia和Stokolos（2024）的最新研究发现了该断言证明中的一个漏洞，并构造了反例，证明该证明所依赖的分离机制失效，凸显了修正框架的必要性。我们通过引入可容许有限阶缺隙性这一新概念，建立了修正的刻画，该概念忠实反映了方向集合的组合结构，由此得到基于有限分裂数的树状刻画，并为建立有限阶缺隙性、无Kakeya型集合以及方向极大算子有界性三者等价性的新几何与概率构造提供了基础。所得框架不仅解决了早期证明中的漏洞，还确定了可容许有限阶缺隙性是支配这些现象的结构不变量。
英文摘要
This monograph investigates the Lebesgue boundedness of planar directional maximal operators $D_Ω$. These are maximal averages of functions over line segments in $\mathbb R^2$ whose slopes lie in a specified set $Ω\subseteq\mathbb R$. A large body of work has identified a geometric property of $Ω$, called finite-order lacunarity, as a key factor in ensuring that $D_Ω$ is Lebesgue bounded. While several variations of this notion exist, they all centre on the distribution of gaps in $Ω$. Building on earlier work, an article of Bateman(2009) asserted a dichotomy for such operators. Namely, $D_Ω$ is bounded on $L^p$ for all $p\in (1,\infty)$ precisely when the slope set $Ω$ is finite-order lacunary, or equivalently, when $Ω$ does not admit Kakeya-type sets. Conversely, sublacunary direction sets $Ω$ admit Kakeya-like phenomena, implying that $D_Ω$ is unbounded on $L^p$ for all $p\in [1,\infty)$. Recent work of Hagelstein, Radillo-Murguia, and Stokolos(2024) identified a gap in the proof of this assertion and produced counterexamples for which the separation mechanism underlying that proof fails, demonstrating the need for a corrected framework. We establish the corrected characterization by introducing a new notion of admissible finite-order lacunarity that faithfully reflects the combinatorial structure of the direction set. This leads to a tree-theoretic characterization in terms of finite splitting number and provides the foundation for new geometric and probabilistic constructions establishing the equivalence between finite-order lacunarity, the absence of Kakeya-type sets, and the boundedness of directional maximal operators. The resulting framework not only resolves the gap in the earlier proof, but also identifies admissible finite-order lacunarity as the structural invariant governing these phenomena.
Comments195 pages, 34 figures
