[논문 리뷰] An Apéry-like difference equation for Catalan's constant

Wadim Zudilin|ArXiv.org|2002. 01. 04.

Advanced Differential Equations and Dynamical Systems참고 문헌 2인용 수 4

한 줄 요약

이 논문은 유리수 계수를 가진 두 번째 차수 선형 차분방정식을 구성하여 캐틀란 상수 G를 근사하는 수열을 생성한다. 초함수 급수와 적분 표현을 사용하여 해의 비율이 G로 수렴하고, 수열에 거의 정수 성질을 증명함으로써 G에 대한 새로운 연속분수 전개와 선형형식에 대한 적분 공식을 제공한다.

ABSTRACT

Applying Zeilberger's algorithm of creative telescoping to a family of certain very-well-poised hypergeometric series involving linear forms in Catalan's constant with rational coefficients, we obtain a second-order difference equation for these forms and their coefficients. As a consequence we obtain a new way of fast calculation of Catalan's constant as well as a new continued-fraction expansion for it. Similar arguments can be put forward to indicate a second-order difference equation and a new continued fraction for $ζ(4)=π^4/90$, and we announce corresponding results at the end of this paper.

연구 동기 및 목표

• 유리수 계수를 가진 두 번째 차수 선형 재귀관계를 구성하여, 그 해의 비율이 캐틀란 상수 G로 수렴하도록 하는 것.
• 재귀 수열의 산술적 성질(거의 정수 형태)을 확립하여 무리수 증명을 뒷받침하는 것.
• 재귀관계의 수렴값을 이용하여 G에 대한 새로운 연속분수 전개를 유도하는 것.
• 선형형식 $ u_n G - v_n $에 대한 이중 적분 표현을 제공하는 것. 이는 $ \zeta(2) $에 대한 뷔커스의 작업과 유사하다.

제안 방법

• 다항식 계수 $ p(n) = 20n^2 - 8n + 1 $ 과 $ q(n) = 3520n^6 + 5632n^5 + 2064n^4 - 384n^3 - 156n^2 + 16n + 7 $ 를 가진 새로운 두 번째 차수 차분방정식을 유도하며, 이는 수열 $ u_n $ 과 $ v_n $ 를 지배한다.
• 매개변수 $ R_n(t) $ 를 통해 정의된 매우 잘 맞춘 초함수 급수 $ F_n $ 를 사용하며, 이는 딜리클레 베타 함수 값의 조합과 동일하다는 것을 보여준다.
• 오일러 형 적분 표현을 적용하여 $ u_n G - v_n $ 를 $[0,1]^2$ 에서의 이중 적분으로 표현하며, 분모에 $ (1 - xy)^{-(n+1)} $ 를 포함하는 유리함수 커널을 사용한다.
• 재귀관계에 대해 푸앵카레 정리를 적용하여 $ u_n $ 과 $ v_n $ 의 점근적 성장률을 도출하며, $ |u_n G - v_n|^{1/n} \to \left| \frac{1 - \sqrt{5}}{2} \right|^5 $ 임을 보인다.
• 재귀관계의 수렴값을 연속분수 전개로 변환하여, $ (2n-1)^4 (2n)^4 p(n-1)p(n+1) $ 과 $ q(n) $ 를 포함하는 G에 대한 연속분수 전개를 유도한다.
• 수열에 대해 $ 2^{4n+3} D_n u_n \in \mathbb{Z} $ 과 $ 2^{4n+3} D_{2n-1}^3 v_n \in \mathbb{Z} $ 라는 성질을 증명하여 거의 정수 성질을 보여준다.

실험 결과

연구 질문

• RQ1 캐틀란 상수에 대해 아페리의 $ \zeta(2) $ 과 $ \zeta(3) $ 증명과 유사한 재귀관계를 구성할 수 있는가?
• RQ2 이 재귀관계의 해가 $ 1 $ 과 $ G $ 에 대한 선형형식을 가지며, 거의 정수 계수를 가지며 빠른 수렴을 보이는가?
• RQ3 오차 항 $ u_n G - v_n $ 에 대해 이중 적분 표현을 유도할 수 있는가? 이는 뷔커스의 $ \zeta(2) $ 공식과 유사하다.
• RQ4 이 재귀관계가 G에 대한 연속분수 전개를 생성하는가? 그 구조는 어떠한가?
• RQ5 이 수열의 거의 정수 성질이 G의 무리수 증명을 뒷받침할 수 있는가?

주요 결과

• 주어진 $ p(n) = 20n^2 - 8n + 1 $ 과 $ q(n) $ 를 가진 차분방정식 $ (2n+1)^2(2n+2)^2 p(n) u_{n+1} - q(n) u_n - (2n-1)^2(2n)^2 p(n+1) u_{n-1} = 0 $ 은 $ \lim_{n \to \infty} v_n / u_n = G $ 를 만족하는 수열 $ u_n $, $ v_n $ 를 생성한다.
• 수열은 $ 2^{4n+3} D_n u_n \in \mathbb{Z} $ 과 $ 2^{4n+3} D_{2n-1}^3 v_n \in \mathbb{Z} $ 를 만족하여 강력한 산술적 제어를 보인다.
• 오차 항은 $ \lim_{n \to \infty} |u_n G - v_n|^{1/n} = \left| \frac{1 - \sqrt{5}}{2} \right|^5 \approx e^{-2.406} < 1 $ 임을 확인하여 빠른 수렴을 확인한다.
• 부분 분모 $ (2n-1)^4 (2n)^4 p(n-1)p(n+1) $ 과 분모 $ q(n) $ 를 가진 G에 대한 새로운 연속분수 전개를 유도하였으며, 모든 $ n \geq 0 $ 에 대해 유효하다.
• 선형형식 $ u_n G - v_n $ 는 이중 적분 표현 $ \frac{(-1)^n}{4} \int_0^1 \int_0^1 \frac{x^{n-1/2}(1-x)^n y^n (1-y)^{n-1/2}}{(1 - xy)^{n+1}} \, dx \, dy $ 를 가진다.
• 강력한 산술적 성질에도 불구하고, 선형형식 $ 2^{4n} D_{2n-1}^2 (u_n G - v_n) $ 는 0으로 수렴하지 않아, 이 방법으로 G의 무리수를 증명할 수는 없다.