레비 상수

2.2. 에르고딕 이론을 이용한 증명

연분수의 근사 분모 $q\_n$에 대해 다음 관계식이 성립한다.
$$$$
-\ln q_n = \ln x + \ln Tx + \dots + \ln T^{n-1}x + \delta

여기서 $T$는 가우스 사상이며, 오차항 $|\backslash delta|$는 유한한 값인 역 피보나치 상수 $\backslash sum\_\{k=1\}^\backslash infty\; 1/F\_k$ 보다 작거나 같다.

비르코프 에르고딕 정리에 의해, $\backslash frac\{\backslash ln\; q\_n\}\{n\}$의 극한값은 거의 모든 $x\; \backslash in\; [0,\; 1]$에 대해 특정 값으로 수렴한다.
$$$$
\lim_{n \to \infty}\frac{\ln q_n}{n} = \int_0^1 ( -\ln t )\rho(t) dt

이 적분값은 다음과 같이 계산된다.
$$$$
\int_0^1 ( -\ln t )\rho(t) dt = \frac{\pi^2}{12\ln 2}

여기서 $\backslash rho(t)\; =\; \backslash frac\{1\}\{(1+t)\; \backslash ln\; 2\}$는 가우스 분포의 확률 밀도 함수이다. 이 극한값이 바로 레비 상수의 로그값과 같다.

2.2.1. 추가 설명

레비 상수의 값에 대한 증명은 연분수의 기본 속성을 활용한다. 증명 과정에서는 여러 수학적 개념과 도구가 사용된다.

먼저, 가우스 사상 $T\; :\; x\; \backslash mapsto\; 1/x\; \backslash mod\; 1$이 정의된다. 이 사상은 연분수 전개와 밀접한 관련이 있다. 증명에서는 연분수의 근사 분수 $p\_n(x)/q\_n(x)$와 관련된 부등식 $$|\backslash ln\; x\; -\; \backslash ln\; p\_n(x)/q\_n(x)|\; \backslash leq\; 1/q\_n(x)\; \backslash leq\; 1/F\_n$$을 사용하는데, 여기서 $F\_n$은 피보나치 수이다. 이는 분모 $q\_n$이 피보나치 수열보다 크거나 같다는 성질을 이용한다.

또한, 증명 과정에서 역 피보나치 상수 $\backslash sum\_\{k=1\}^\backslash infty\; 1/F\_n$가 등장한다. 이는 특정 오차 항의 상계를 나타내는 데 사용된다.

핵심적인 부분은 비르코프 에르고딕 정리를 적용하는 것이다. 이 정리를 통해 $\backslash lim\_\{n\; \backslash to\; \backslash infty\}\backslash frac\{\backslash ln\; q\_n\}\{n\}$의 극한값이 특정 적분값으로 거의 확실하게 수렴함을 보인다. 이 적분은 다음과 같이 표현된다.
$$$$
\int_0^1 ( -\ln t )\rho(t) dt = \frac{\pi^2}{12\ln 2}
여기서 $\backslash rho(t)\; =\; \backslash frac\{1\}\{(1+t)\; \backslash ln\; 2\}$는 가우스-쿠즈민 분포를 나타내는 확률 밀도 함수이다. 이 분포는 [0, 1] 구간에서 무작위로 선택된 실수의 연분수 전개에 나타나는 계수들의 통계적 분포를 설명한다.

결과적으로, 에르고딕 정리와 가우스-쿠즈민 분포를 이용하여 연분수 분모의 기하 평균 극한값이 레비 상수와 관련됨을 증명한다.