[논문 리뷰] A remark on the extreme value theory for continued fractions

Lulu Fang, Kunkun Song|arXiv (Cornell University)|2016. 08. 15.

Mathematical Dynamics and Fractals참고 문헌 16인용 수 4

한 줄 요약

이 논문은 (0,1) 내 실수의 집합에서 연분수 부분몫의 최댓값 Tₙ(x)가 이중지수 함수 φ(n) = c^{b^{n^α}}로 정규화되었을 때, 그 값이 상수 β로 수렴하는 경우의 하우스도르프 차원을 조사한다. 칸토어 유사 구조와 간격 분석을 통해, 성장률 α가 1을 초과할수록 차원이 1/2에서 0으로 감소함을 규명하였으며, 정확한 값은 α와 b에 따라 달라진다. 이는 연분수에 대한 극값 이론에서의 빈도를 메꾸는 결과이다.

ABSTRACT

Let $x$ be a irrational number in the unit interval and denote by its continued fraction expansion $[a_1(x), a_2(x), \cdots, a_n(x), \cdots]$. For any $n \geq 1$, write $T_n(x) = \max_{1 \leq k \leq n}\{a_k(x)\}$. We are interested in the Hausdorff dimension of the fractal set \[ E_ϕ= \left\{x \in (0,1): \lim_{n o \infty} \frac{T_n(x)}{ϕ(n)} =1 ight\}, \] where $ϕ$ is a positive function defined on $\mathbb{N}$ with $ϕ(n) o \infty$ as $n o \infty$. Some partial results have been obtained by Wu and Xu, Liao and Rams, and Ma. In the present paper, we further study this topic when $ϕ(n)$ tends to infinity with a doubly exponential rate as $n$ goes to infinity.

연구 동기 및 목표

• Tₙ(x)가 x의 첫 n개 부분몫의 최댓값일 때, E_φ = {x ∈ (0,1) : limₙ→∞ Tₙ(x)/φ(n) = 1}의 하우스도르프 차원을 결정하는 것.
• φ(n)의 다항식 및 단일지수 성장률에 대한 이전 결과를 이중지수 성장 φ(n) = c^{b^{n^α}}의 경우로 확장하는 것.
• 단일지수 성장률에서의 임계점 α = 1/2에서 하우스도르프 차원이 어떻게 되는지에 대한 열린 문제를 해결하고, 고차수 성장으로까지 확장하는 것.
• 이중지수 함수에서의 매개변수 b, c > 1 및 α > 0에 따라 E_φ의 하우스도르프 차원이 어떻게 달라지는지 분석하는 것.

제안 방법

• N ≥ N이면 부분몫이 m_n = ⌊c^{b^{n^α}}/n⌋ + 1 이상이 되는 연분수 전개에 대응하는 칸토어 유사 집합 F_N(b,c,α,β)를 구성하는 것.
• 가우스 측도와 실린더 집합 이론을 사용하여 간격의 길이와 간격 간의 간격을 추정하고, 서로 다른 수준 n 간격 사이의 분리 조건을 확보하는 것.
• 연분수 근사 이론에서 유도된 바, 서로 다른 n번째 수준 간격 사이의 최소 거리를 ε_n ≥ 1/(8 ∏_{k=1}^n (τ_k + 1))^2로 유계화하는 간격 조건을 적용하는 것.
• 질량 이행 원리와 간격 커버링 기법을 활용하여, liminf 공식을 통해 하우스도르프 차원의 하한을 유도하는 것: dim_H E ≥ liminfₙ→∞ log(m₁⋯mₙ) / (−log(m_{n+1}ε_{n+1}))
• 합 ∑_{k=1}^n b^{k^α}의 渐近적 행동을 분석하여 성장률 α에 따른 차원을 결정하며, α ∈ (0,1), α = 1, α > 1의 경우를 구분하는 것.
• 이중지수 정규화 하에서 집합 E_φ의 정확한 하우스도르프 차원을 증명하기 위해 상한과 하한을 일치시키는 것.

실험 결과

연구 질문

• RQ1 φ(n) = c^{b^{n^α}}일 때, 첫 n개 부분몫의 최댓값 Tₙ(x)가 이중지수 함수 c^{b^{n^α}}로 정규화되었을 때, 그 값이 양수인 상수 β로 수렴하는 (0,1) 내 실수의 집합의 하우스도르프 차원은 무엇인가요?
• RQ2 이중지수 함수 c^{b^{n^α}}의 지수 α에 따라 이 집합의 하우스도르프 차원은 어떻게 변하는가요?
• RQ3 φ(n)의 성장률이 단일지수 성장률을 초과할 경우, 특히 전이점 α = 1에서 차원은 어떻게 되나요?
• RQ4 이 차원은 이중지수의 밑 b에 의존하는가, 만약 그렇다면 어떻게 의존하는가요?
• RQ5 이중지수 영역에서 하한과 상한을 날카롭게 추정할 수 있는가요?

주요 결과

• b, c > 1 및 β > 0일 때, φ(n) = c^{b^{n^α}}이면 E_φ의 하우스도르프 차원은 0 < α < 1일 때 정확히 1/2이다.
• α = 1일 때, E_φ의 하우스도르프 차원은 1/(b+1)이며, 이는 이중지수의 밑 b에 대한 명시적 의존성을 보여준다.
• α > 1일 때, E_φ의 하우스도르프 차원은 0으로 감소하여, 이러한 집합이 (0,1) 내에서 점점 더 흐리게 분포함을 나타낸다.
• 하한은 합 ∑_{k=1}^n b^{k^α}의 渐近적 성장에서 도출되며, 합의 비율이 극한을 결정한다.
• α = 1에서 차원의 단계 전이가 확인되었으며, 이는 1/2에서 b에 따라 감소하는 값으로 전이됨을 보여준다.
• 분석 결과, α = 1일 때 차원은 이중지수 함수의 두 번째 밑 b에 의해 결정되며, 이는 분수 복잡성 제어에 내부 지수화의 역할을 강조한다.