[논문 리뷰] On the fast Khintchine spectrum in continued fractions

Aihua Fan, Lingmin Liao외 2명|arXiv (Cornell University)|2012. 08. 09.

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 $ψ$.

연구 동기 및 목표

• 연분수 전개에서 $\psi(n)/n \to \infty$ 일 때, 빠른 히ン친 스펙트럼 $E(\psi)$의 하우스도르프 차원을 완전히 규명하는 것.
• 이전 연구에서 요구된 바와 같이 $\psi(n+1)/\psi(n) \to b$ 및 $\psi(n) - \psi(n-1) \to \infty$ 등의 추가 가정이 필요 없도록 하는 것.
• 베르누이 측도와 실린더 추정을 기반으로 한 정교한 측도론적 접근을 통해 $E(\psi)$의 하우스도르프 차원에 대한 날카운 상계를 확립하는 것.
• 로그 $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)$ 의 직경을 bound 하며, 조건 $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$에 대해 $\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(n)/n \to \infty$ 이고 $\psi$ 가 증가 함수와 등가일 때, $E(\psi)$ 의 하우스도르프 차원은 $\frac{1}{1+b}$ 이며, 여기서 $b = \limsup_{n\to\infty} \frac{\psi(n+1)}{\psi(n)}$ 이다.
• 이 차원 결과는 이전 연구에서 요구된 추가 규칙성 가정(예: $\psi(n+1)/\psi(n) \to b$ 및 $\psi(n) - \psi(n-1) \to \infty$) 없이도 성립한다.
• $E(\psi)$ 는 $\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)$ 를 확립하는 것이 주요 기술적 과제였으며, 이는 베르누이 측도와 실린더 직경 추정의 새로운 응용을 통해 달성되었다.