Series for $1/\pi$ arising from Cauchy product

この論文は、カウシー積と超幾何変換を用いて孫が予想した$1/\pi$の級数を証明し、そこから 3 次多項式を含む 2 つの類似する級数および他の恒等式を導出するものである。

要約

🍳 1. 物語の舞台：「円周率」を作る新しいレシピ

普段、私たちが円周率 $\pi$ を知っているのは、直径 1 の円の円周が約 3.14 になる、という事実だけです。しかし、数学者たちは「この 3.14 という数字を、もっと面白い分数の足し算で表せないか？」と長年探ってきました。

特に、中国の数学者・孫（Sun）さんは、「こんな不思議な足し算の式があるはずだ！」と**37 個の予想（レシピ案）**を提案しました。その中の最後の 1 つが、この論文で証明された「大当たり」のレシピです。

🔗 2. 核心のテクニック：「2 つの料理を混ぜ合わせる（コーシー積）」

この論文の最大の特徴は、**「コーシー積（Cauchy product）」**という手法を使ったことです。

これを料理に例えてみましょう。

• A という料理（1 つの無限級数）と、B という料理（もう 1 つの無限級数）があるとします。
• 通常、これらは別々に作られます。
• しかし、著者のレ・ランさんは、「この 2 つの料理を混ぜ合わせて（掛け合わせて）、新しい料理 C を作ってみよう」と考えました。

すると、不思議なことに、この「混ぜ合わせた料理 C」は、**「超有名な料理（超幾何関数）」**という、すでに完成されたレシピの形をしていることがわかりました。

イメージ：
2 つのバラバラの食材（級数）を混ぜ合わせたら、なんと「完璧なケーキ（円周率の公式）」が完成してしまった！という魔法のような現象です。

🧩 3. 3 つの重要なステップ

この論文は、以下の 3 つのステップでこの魔法を解き明かしました。

ステップ①：レシピの整理（補題 1）

まず、混ぜ合わせた料理が、実は「超有名な料理」の形をしていることを確認しました。これは、複雑な式を整理する「下ごしらえ」のような作業です。

ステップ②：魔法の掛け合わせ（定理 1 の証明）

ここで、**「孫さんの予想した最後のレシピ」が登場します。
著者は、「さっき混ぜ合わせた料理（コーシー積）」に、少しだけ「魔法の調味料（微分演算子）」をかける操作を行いました。
すると、その味（値）が、「円周率 $\pi$ の逆数（$1/\pi$）」**にピッタリ一致することが証明されました！
これで、孫さんが「これだ！」と予想していた最後の式が、正しいことが確定しました。

ステップ③：応用編（定理 2）

1 つのレシピが成功したら、同じ厨房で他の料理も作れます。
著者は、先ほど証明した式を土台にして、**「3 次方程式（$n^3$ が含まれる式）」**を使った、さらに複雑で面白い 2 つの新しいレシピも作り出しました。
これらは、孫さんが提案した「多項式を使った円周率の公式」というジャンルに属するものです。

📝 4. この研究の意義

• 謎の解決: 孫さんが残した「最後の未解決の予想」を、見事な証明で解決しました。
• 新しい扉: この「2 つの級数を混ぜる（コーシー積）」という方法が、実は非常に強力な武器であることがわかりました。論文の最後には、この方法を使えば他にも 8 つの新しい公式が作れることが示されており、将来の数学者たちへの「新しいレシピ集」が提供されました。

🌟 まとめ

この論文は、**「2 つの複雑な数式の掛け合わせという魔法を使って、円周率 $\pi$ を表す新しい美しい公式を発見し、さらにそれを応用して次々と新しい公式を生み出した」**という、数学的な探検記録です。

数式は難しそうに見えますが、その背後にあるのは「パズルを組み合わせると、予想もしなかった美しい絵が完成する」という、とてもワクワクする発見の物語なのです。

技術概要

以下は、Roman Le Lan による論文「SERIES FOR 1/π ARISING FROM CAUCHY PRODUCT（コーシー積に由来する 1/π の級数）」の技術的な要約です。

1. 問題の背景と目的

近年、ラマヌジャン・サト型（Ramanujan-Sato type）の $1/\pi$ 級数は盛んに研究されています。Zhi-Wei Sun は、特定の形式を持つ級数の評価に関する多数の予想を提唱しました。特に、Sun は $a, b$ を非零整数、$q, x, y$ を非零有理数、$\alpha$ を次数が 2 以下の代数的数とする以下の形式の級数に関する 37 の予想を提示しました。

$$\sum_{n=0}^{\infty} (an + b)q^n \sum_{k=0}^{n} \binom{-x}{k} \binom{x-1}{n-k} \binom{-y}{k} \binom{y-1}{n-k} = \frac{\alpha}{\pi}$$

Almkvist と Aycock はこれらのうち 36 個を評価しましたが、最後の 1 つ（Sun の予想 [5, (4.14)]）は未解決でした。本論文の主要な目的は、この未解決の恒等式を証明し、さらに同様の手法を用いて新たな $1/\pi$ 級数を導出することです。

2. 主要な結果（定理）

定理 1（Sun の予想の証明）:
以下の恒等式が成立します。
$$\sum_{n=0}^{\infty} \frac{3n - 1}{2^n} \sum_{k=0}^{n} \binom{-1/3}{k} \binom{-2/3}{n-k} \binom{-1/6}{k} \binom{-5/6}{n-k} = \frac{3\sqrt{6}}{2\pi}$$
これは Sun が提唱した最後の未証明の恒等式です。

定理 2（新たな級数の導出）:
定理 1 の結果と Sun が提案した手法を用いることで、3 次多項式を含む 2 つの新たな級数が導かれました。

1. $$\sum_{n=0}^{\infty} \frac{9n^3 - 27n^2 - 14n - 2}{2^n} \sum_{k=0}^{n} \binom{-1/3}{k} \binom{-2/3}{n-k} \binom{-1/6}{k} \binom{-5/6}{n-k} = -\frac{3\sqrt{6}}{8\pi}$$
2. $$\sum_{n=0}^{\infty} \frac{18n^3 - 54n^2 - 25n - 5}{2^n} \sum_{k=0}^{n} \binom{-1/3}{k} \binom{-2/3}{n-k} \binom{-1/6}{k} \binom{-5/6}{n-k} = \frac{3\sqrt{6}}{4\pi}$$

さらに、同様の手法を用いて、係数 $a, b$ が整数、$q$ が有理数、$\alpha$ が次数 2 以下の代数的数である、合計 8 個の追加級数も証明され、論文末尾の表にまとめられています。

付帯的な結果（予想）:
定理 1 の級数に基づき、Sun は $p > 3$ なる素数 $p$ に対して以下の超合同式（supercongruence）を予想しましたが、本論文ではこれを証明できませんでした。
$$\sum_{n=0}^{p-1} \frac{3n - 1}{2^n} \sum_{k=0}^{n} \binom{-1/3}{k} \binom{-2/3}{n-k} \binom{-1/6}{k} \binom{-5/6}{n-k} \equiv -p \left(\frac{-6}{p}\right) \pmod{p^2}$$

3. 手法と証明の概要

証明は主に以下の 3 つのステップで構成されています。

1. コーシー積と超幾何関数変換:
   定理 1 の証明において、著者は級数 $P(z)$ を定義し、2 つの級数のコーシー積（Cauchy product）を適用します。これにより、$P(z)$ は 2 つの超幾何関数 ${}_2F_1$ の積として表現されます。
   $$P(z) = {}_2F_1\left(\frac{1}{3}, \frac{1}{6}; 1; z\right) {}_2F_1\left(\frac{2}{3}, \frac{5}{6}; 1; z\right)$$
   ここでオイラー変換（Euler's transformation）を適用し、$P(z)$ を $(1-z)^{-1/2}$ と ${}_2F_1$ の 2 乗の積に変形します。

2. 補題 1（恒等式の確立）:
   Zeilberger のアルゴリズムを用いて、以下の恒等式（補題 1）を導出・証明します。これは級数の係数変換の鍵となります。
   $$108^n \sum_{k=0}^{n} \binom{-1/3}{k} \binom{-1/6}{k} \binom{-1/3}{n-k} \binom{-1/6}{n-k} = \binom{2n}{n}^2 \binom{3n}{n}$$
   これを用いると、$P(z)$ は $\binom{2n}{n}^2 \binom{3n}{n}$ を含む級数として再構成できます。

3. 微分作用素と既知の結果の適用:
   定理 1 の左辺の級数を得るために、作用素 $-1 + \frac{3}{2}z \frac{d}{dz}$ を $z=1/2$ において $P(z)$ に適用します。これにより得られる級数は、Guillera による既知のラマヌジャン型級数（補題 2）と一致することが示され、最終的に $1/\pi$ の形に評価されます。

定理 2 の証明では、Zeilberger のアルゴリズムを用いて係数 $a_n$ が満たす漸化式を導き出し、級数の線形結合を操作することで、多項式係数を持つ新たな級数を定理 1 の結果から生成しています。

4. 意義と貢献

• 未解決問題の解決: Sun の提唱した 37 個の予想のうち、最後の 1 つを証明し、この分野の未解決課題を解消しました。
• 手法の一般化: コーシー積と超幾何関数の変換、および Zeilberger のアルゴリズムを組み合わせることで、単一の恒等式から多項式係数を持つ複数の $1/\pi$ 級数を系統的に導出する手法を確立しました。
• 新たな恒等式の発見: 定理 1 を基盤として、3 次多項式を含む 2 つの新しい級数と、さらに 8 つの追加級数を発見・証明しました。これらはすべて $1/\pi$ の形式で、代数的数 $\alpha$ を含みます。
• 今後の展望: 証明された手法は、さらに多くの類似した恒等式の発見に応用可能であり、本論文は今後の研究の基礎となる重要な結果を提供しています。

総じて、本論文は解析的数論、特にラマヌジャン型級数の分野において、既存の予想を証明し、新たな恒等式の体系を構築した重要な貢献と言えます。