[논문 리뷰] A few remarks on linear forms involving Catalan's constant

Wadim Zudilin|ArXiv.org|2002. 10. 28.

Polynomial and algebraic computation참고 문헌 7인용 수 9

한 줄 요약

이 논문은 초함수 급수와 Apéry 스타일의 재귀를 사용하여 캐틀란 상수 $G$와 1에 대한 선형 형식을 조사한다. $r_n = u_nG - v_n$ 형태에서 계수 $u_n$과 $v_n$의 점근적 정수성 성질을 입증하여 $2^{4n + o(n)}u_n \in \mathbb{Z}$ 및 $2^{4n + o(n)}D_{2n-1}^2v_n \in \mathbb{Z}$임을 보이며, 이는 $G$가 무리수임을 지지하는 바이다.

ABSTRACT

In the joint work of T.Rivoal and the author, a hypergeometric construction was proposed for studing arithmetic properties of the values of Dirichlet's beta function $β(s)$ at even positive integers. The construction gives some bonuses for Catalan's constant $G=β(2)$, such as a second-order Apery-like recursion and a permutation group in the sense of G.Rhin and C.Viola. Here we prove expected integrality properties of solutions to the above recursion as well as suggest a simpler (also second-order and Apery-like) one for $G$. We "enlarge" the permutation group of our previous (joint with T.Rivoal) work by showing that the total 120-permutation group for $ζ(2)$ (known thanks to G.Rhin and C.Viola) can be applied in arithmetic study of Catalan's constant. These considerations have computational meanings and do not allow us to prove the (presumed) irrationality of $G$. Finally, we suggest a conjecture yielding the irrationality property of numbers (e.g., of Catalan's constant) from existence of suitable second-order difference equations (recursions).

연구 동기 및 목표

• 캐틀란 상수 $G$와 관련된 선형 형식 $r_n = u_nG - v_n$에서의 유리수 수열 $u_n$과 $v_n$의 점근적 정수성 성질을 확립하는 것.
• $n \leq 1000$일 때 $2^{4n}u_n$과 $2^{4n}D_{2n-1}^2v_n$가 정수임을 실험적으로 관찰한 결과를 점근적으로 증명하는 데 이론적 근거를 제공하는 것.
• Apéry-유사한 두 번째 차수 재귀와 $G$의 무리수 성질 사이의 관계를 탐색하는 것.
• 선형 재귀의 유리수 해의 기하적 성장 조건과 그 특성 방정식의 근의 유리수 성질을 연결하는 추측을 제안하는 것 — 이는 $G$의 무리수 성질를 함의할 수 있다.

제안 방법

• Whipple의 변환과 Bailey의 변환을 활용하여 $r_n$의 초함수 표현을 메린-바른스 적분으로 전환한다.
• 경로 적분과 잔여물 계산법을 적용하여 $r_n$을 잔여물의 합으로 표현함으로써 유리함수의 부분분수 분해를 이끌어낸다.
• 적분의 부분분수 전개에서 계수 $A_l$과 $A_l'$에 대한 명시적 공식을 유도하며, 이들이 $2^{6n+4}$-정수임을 보인다.
• 이 분해를 통해 $r_n$을 $\sum_{\mu} \frac{1}{(4\mu + \epsilon)^2}$ 형태의 급수 합으로 표현하며, 알려진 $L$-급수 항등식을 통해 $G$와 연결한다.
• $\mathfrak{G}$-군 구조와 이중 적분 표현을 적용하여, 관련 초함수 함수에 대한 정수성 결과를 일반화한다.
• 두 번째 차수 선형 재귀의 유리수 해에 대한 기하적 성장 조건에 관한 추측을 제안하며, 이를 특성 방정식의 근의 유리수 성질과 연결한다.

실험 결과

연구 질문

• RQ1 실험적으로 관찰된 바, $n \leq 1000$일 때 $2^{4n}u_n$과 $2^{4n}D_{2n-1}^2v_n$가 정수임을 점근적으로 증명할 수 있는가?
• RQ2 선형 형식 $r_n = u_nG - v_n$에서 $u_n$과 $v_n$의 분모의 정확한 성장률은 무엇인가?
• RQ3 Apéry-유사한 재귀와 초함수 변환은 캐틀란 상수의 무리수 증명에 어떻게 기여하는가?
• RQ4 $\mathfrak{G}$-군 구조는 초함수 함수에 대한 정수성 결과를 일반화하는 데 어떤 역할을 하는가?
• RQ5 선형 재귀의 유리수 해에 대한 기하적 성장 조건의 추측이 특성 방정식의 근의 유리수 성질을 함의하는가?

주요 결과

• 논문은 $2^{4n + o(n)}u_n \in \mathbb{Z}$ 및 $2^{4n + o(n)}D_{2n-1}^2v_n \in \mathbb{Z}$임을 증명하며, $o(n)$ 항은 $\log_2(2n)$ 이하로 유계임을 보였다.
• 부분분수 분해에서 계수 $A_l$과 $A_l'$는 각각 $A_l \cdot 2^{6n+4} \in \mathbb{Z}$ 및 $A_l' \cdot 2^{6n+4} \in \mathbb{Z}$를 만족한다.
• 선형 형식 $r_n = u_nG - v_n$는 메린-바른스 적분으로 표현되며, 이는 잔여물의 합으로 평가된다.
• 점근적 행동인 $\lim_{n \to \infty} |r_n|^{1/n} = \left| \frac{1 - \sqrt{5}}{2} \right|^5$ 및 $\lim_{n \to \infty} u_n^{1/n} = \left( \frac{1 + \sqrt{5}}{2} \right)^5$는 지수적 감쇠와 증가율을 확인한다.
• 추측에 따르면, 만약 $G$가 유리수였다면 관련 수열 $\tilde{u}_n$과 $\tilde{r}_n$은 기하적 조건과 유리수 재귀를 만족하게 되어, 특성 방정식의 근 $\lambda_{1,2} = \left( \frac{1 \pm \sqrt{5}}{2} \right)^5$의 무리수 성질와 모순된다.
• $\mathfrak{G}$-등가 집합에 대해 $2^{2M + o(M)}D_{m_1}D_{m_2}H(\mathbf{c}) \in \mathbb{Z}G + \mathbb{Z}$라는 정수성 결과를 추측하며, $\zeta(2)$에 대한 기존 결과를 일반화한다.