[論文レビュー] On the fast Khintchine spectrum in continued fractions

Aihua Fan, Lingmin Liao+2 more|arXiv (Cornell University)|Aug 9, 2012

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

ひとこと要約

本稿は、連分数展開における高速キンチンスペクトルのハウスドルフ次元を完全に特定する。これは、[0,1) 内の実数の集合として定義され、正規化された対数部分商の和が超線形的速さで 1 に収束するものである。結果として、次元は $\frac{1}{1+b}$ に等しく、ここで $b = \limsup_{n\to\infty} \frac{\psi(n+1)}{\psi(n)}$ であり、成長関数 $\psi$ に対して追加の条件を課さない。これは、従来の研究が $\psi$ に正則性条件を仮定していた空白を解消するものである。この結果は $\psi(n)/n \to \infty$ かつ $\psi$ が増加関数と同値である場合に成立する。

ABSTRACT

For $x\in [0,1)$, let $x=[a_1(x), a_2(x),...]$ be its continued fraction expansion with partial quotients ${a_n(x), n\ge 1}$. Let $ψ: \mathbb{N} ightarrow \mathbb{N}$ be a function with $ψ(n)/n o \infty$ as $n o \infty$. In this note, the fast Khintchine spectrum, i.e., the Hausdorff dimension of the set $$ E(ψ):=\Big{x\in [0,1): \lim_{n o\infty}\frac{1}{ψ(n)}\sum_{j=1}^n\log a_j(x)=1\Big} $$ is completely determined without any extra condition on $ψ$.

研究の動機と目的

• 連分数における高速キンチンスペクトル $E(\psi)$ のハウスドルフ次元を、$\psi(n)/n \to \infty$ のとき完全に特定すること。
• 従来の研究で必要とされていた追加仮定（例：$\psi(n+1)/\psi(n) \to b$ および $\psi(n) - \psi(n-1) \to \infty$）を排除すること。
• ベルヌーイ測度とシリンダー推定に基づく洗練された測度論的アプローチを用いて、$E(\psi)$ のハウスドルフ次元に対する鋭い上界を確立すること。
• $\log q_n / n \to \infty$ を満たす、修正されたジャルニク型集合 $J^*_\beta$ の次元が $1/(2+\beta)$ にちょうどなることを示すこと。これは古典的ジャルニク集合 $J_\beta$ の次元の半分である。

提案手法

• 連分数展開のシリンダー上に、$\log a_j$ とゼータ関数 $\zeta(t)$ に依存する重みを持つベルヌーイ型測度 $\mu_t$ の族を構成する。
• コルモゴロフの整合性定理を用いて、これらの測度を $[0,1)$ 上の確率測度に拡張し、測度論的被覆議論による次元推定を可能にする。
• テレスコピング級数推定を適用して、シリンダー $I_n(a_1,\dots,a_n)$ の直径を評価し、$a_{n+1} \geq q_n^\beta$ の条件下で $|I_n| \leq 1/q_n^{2+\beta}$ を示す。
• $E_N(\psi)$ の $s$ 次元ハウスドルフ測度を、許容可能なシリンダー列の和として推定し、測度 $\mu_{1+\epsilon/2}$ を用いて和の大きさを制御する。
• $\dim_H E(\psi) \leq \frac{1+\epsilon}{2+\beta}$ を確立し、$\epsilon \to 0$ として $\dim_H E(\psi) \leq \frac{1}{2+\beta}$ を得る。その後、この上界を $\frac{1}{1+b}$ に洗練する。
• $E(\psi)$ が $J^*_\beta$ の部分集合であるという事実を用いて、$J^*_\beta$ の正確な次元が $1/(2+\beta)$ であると結論づける。

実験結果

リサーチクエスチョン

• RQ1 $\psi(n)/n \to \infty$ のとき、集合 $E(\psi) = \{x \in [0,1) : \lim_{n\to\infty} \frac{1}{\psi(n)} \sum_{j=1}^n \log a_j(x) = 1\}$ のハウスドルフ次元は何か？
• RQ2 $\psi(n+1)/\psi(n) \to b$ や $\psi(n) - \psi(n-1) \to \infty$ といった正則成長条件を仮定せず、$E(\psi)$ の次元を特定できるか？
• RQ3 $J^*_\beta = \{x \in J_\beta : \lim_{n\to\infty} \frac{\log q_n(x)}{n} = \infty\}$ の正確なハウスドルフ次元は何か？
• RQ4 $J^*_\beta$ の次元は、古典的ジャルニク集合 $J_\beta$ の次元とどのように比較できるか？

主な発見

• $\psi$ が増加関数と同値で、$\psi(n)/n \to \infty$ である限り、$E(\psi)$ のハウスドルフ次元は $\frac{1}{1+b}$ に等しく、ここで $b = \limsup_{n\to\infty} \frac{\psi(n+1)}{\psi(n)}$ である。
• 本結果は、[3] で以前に必要とされていた追加の正則性仮定（例：$\psi(n+1)/\psi(n) \to b$ および $\psi(n) - \psi(n-1) \to \infty$）を不要にする。
• $\psi$ が増加関数と同値であるときかつそのときに限り、$E(\psi)$ は空でない。そうでなければ $E(\psi) = \emptyset$ である。
• $J^*_\beta = \{x \in J_\beta : \lim_{n\to\infty} \frac{\log q_n(x)}{n} = \infty\}$ のハウスドルフ次元は正確に $\frac{1}{2+\beta}$ であり、これは古典的ジャルニク集合 $J_\beta$ の次元の半分である。
• $\dim_H E(\psi)$ の上界を確立することが主な技術的挑戦であり、ベルヌーイ測度とシリンダー直径推定の新しい応用によって達成された。