[论文解读] Ubiquity and a general logarithm law for geodesics

Victor Beresnevich, Sanju Velani|ArXiv.org|Jul 9, 2007

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

一句话总结

本文提出了一种简化的局部普遍性框架，统一了度量丢番图逼近中的勒贝格测度与豪斯多夫测度理论，并将其应用于证明克莱因群极限集中测地线的一般对数律。关键贡献在于提出了沙利文对数律的豪斯多夫测度版本，表明进入余柄的测地线快速逃逸集合的测度精确地与维数 $ n(1 - \alpha) $ 成比例，推广了经典结果。

ABSTRACT

There are two fundamental results in the classical theory of metric Diophantine approximation: Khintchine's theorem and Jarnik's theorem. The former relates the size of the set of well approximable numbers, expressed in terms of Lebesgue measure, to the behavior of a certain volume sum. The latter is a Hausdorff measure version of the former. We start by discussing these theorems and show that they are both in fact a simple consequence of the notion of `local ubiquity'. The local ubiquity framework introduced here is a much simplified and more transparent version of that in \cite{memoirs}. Furthermore, it leads to a single local ubiquity theorem that unifies the Lebesgue and Hausdorff theories. As an application of our framework we consider the theory of metric Diophantine approximation on limit sets of Kleinian groups. In particular, we obtain a general Hausdorff measure version of Sullivan's logarithm law for geodesics -- an aspect overlooked in \cite{memoirs}.

研究动机与目标

• 通过简化的局部普遍性框架，统一度量丢番图逼近中的勒贝格测度与豪斯多夫测度理论。
• 将沙利文关于测地线的经典对数律推广至一般的豪斯多夫测度设定。
• 分析与克莱因群相关的双曲流形的尖点端中测地线逃逸的测度论结构。
• 利用对数豪斯多夫维数刻画极佳逼近极限点集合的大小。

提出的方法

• 开发一种简化的局部普遍性框架，涵盖丢番图逼近中收敛与发散两种情形。
• 将该普遍性框架应用于单位区间中 $ \psi $-良好逼近数的上极限集。
• 利用该框架推导出集合 $ W(\psi) $ 的一般豪斯多夫测度准则，从而无需为勒贝格测度与豪斯多夫测度分别设立定理。
• 分析第一类几何有限克莱因群（含抛物元）的极限集的几何结构。
• 定义集合 $ \mathcal{S}_p(\alpha) $，即以速率 $ \alpha $ 进入余柄的测地线集合，并计算其 $ \mathcal{H}^{n(1-\alpha)} $-测度。
• 引入对数维数函数 $ f_\epsilon(r) $ 以分析 $ \omega $-刘维尔极限点集合，并计算其 $ \mathcal{H}^{f_\epsilon} $-测度。

实验结果

研究问题

• RQ1 是否能通过单一普遍性框架统一度量丢番图逼近中勒贝格测度与豪斯多夫测度的结果？
• RQ2 沙利文关于测地线的对数律是否可推广至非整数维的豪斯多夫测度？
• RQ3 以给定速率 $ \alpha $ 进入余柄的测地线集合的精确豪斯多夫测度是多少？
• RQ4 对数豪斯多夫维数如何刻画极佳逼近极限点集合的性质？

主要发现

• 局部普遍性框架统一了钦奇定理与贾尔尼克定理，为勒贝格测度与豪斯多夫测度结果提供单一判别准则。
• 对任意 $ \alpha \in [0,1) $，以 $ \alpha $-快速速率进入余柄的测地线集合 $ \mathcal{S}_p(\alpha) $ 的 $ \mathcal{H}^{n(1-\alpha)} $-测度等于整个球面 $ S^n $ 的 $ \mathcal{H}^{n(1-\alpha)} $-测度，从而证明了一般对数律。
• 当 $ \alpha = 0 $ 时，结果退化为沙利文的经典对数律，与已知的勒贝格测度情形一致。
• 对于 $ \omega $-刘维尔极限点，其对数豪斯多夫维数恰好为 $ n/\omega $，且在临界指数 $ s = n/\omega $ 处，$ \mathcal{H}^{f_s} $-测度为无穷大。
• 集合 $ \omega $-刘维尔极限点在任意 $ s > 0 $ 下的 $ s $-维豪斯多夫测度为零，但在 $ s = n/\omega $ 处具有正的对数豪斯多夫测度。