[論文レビュー] An Apéry-like difference equation for Catalan's constant

Wadim Zudilin|ArXiv.org|Jan 4, 2002

Advanced Differential Equations and Dynamical Systems参考文献 2被引用数 4

ひとこと要約

本稿は、カタラン定数 G を近似する数列を生成する、有理係数をもつ2階線形差分方程式を構成する。超幾何級数および積分表現を用いて、解の比が 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.

研究の動機と目的

• 有理係数をもつ2階線形再帰の構成により、その解の比がカタラン定数 G に収束することを示す。
• 再帰数列の算術的性質（ほぼ整数形）を確立し、無理数性証明の支援を行う。
• 再帰の収束項を用いて、G の新しい連分数展開を導出する。
• 線形形式 $ u_n G - v_n $ に対して、$ \zeta(2) $ のBeukersの研究に類似した二重積分表現を提供する。

提案手法

• 多項式係数 $ p(n) = 20n^2 - 8n + 1 $ および $ q(n) = 3520n^6 + 5632n^5 + 2064n^4 - 384n^3 - 156n^2 + 16n + 7 $ をもつ、新たな2階差分方程式を導出。この方程式は数列 $ u_n $ および $ v_n $ を支配する。
• 有理関数 $ R_n(t) $ を用いて定義される非常に良いバランスの取れた超幾何級数 $ F_n $ を使用。この級数がディリクレのバーシャー関数値の組み合わせに等しいことが示される。
• オイラー型の積分表現を適用し、$ u_n G - v_n $ を $[0,1]^2$ 上の二重積分として表現。有理関数核 $ (1 - xy)^{-(n+1)} $ を含む。
• 再帰にPoincaréの定理を適用し、$ 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 カタラン定数 G に対して、$ \zeta(2) $ や $ \zeta(3) $ のアペリーの証明に類似した再帰関係を構築できるか？
• RQ2 再帰の解が、$ 1 $ と $ G $ の線形形式として、ほぼ整数係数かつ高速収束を示すか？
• RQ3 Beukersの $ \zeta(2) $ の公式に類似した、誤差 $ u_n G - v_n $ の二重積分表現を導出できるか？
• 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 $ は、数列 $ u_n $, $ v_n $ を生成し、$ \lim_{n \to \infty} v_n / u_n = G $ を満たす。
• 数列は $ 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 の無理数性は証明されない。