[論文レビュー] A few remarks on linear forms involving Catalan's constant

Wadim Zudilin|ArXiv.org|Oct 28, 2002

Polynomial and algebraic computation参考文献 7被引用数 9

ひとこと要約

本稿は、超幾何級数とアペリー形式の再帰を用いて、カタラン定数 $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$ が整数であるという事実を、漸近的に証明すること。
• アペリー形式の2階再帰と $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}$-群構造と二重積分表現を用いて、整数性結果を関連する超幾何関数へ一般化する。
• 2階線形再帰の有理数解に関する幾何的成長条件の予想を提示し、特性根の有理数性と結びつける。

実験結果

リサーチクエスチョン

• 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 アペリー形式の再帰と超幾何変換は、カタラン定数の無理数性の証明にどのように寄与するか？
• 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)$ に対する既知の結果を一般化する。