[論文レビュー] List of conjectural series for powers of $\pi$ and other constants

Zhi‐Wei Sun|arXiv (Cornell University)|Feb 28, 2011

Analytic Number Theory Research参考文献 17被引用数 46

ひとこと要約

本稿では、$1/\pi$ および $\pi^2$、$\zeta(3)$、$\zeta(5)$、Catalan定数 $G$、Dirichlet指標に関連する $L$-値を含む、61個の予想的な級数を提示する。特筆すべきは、超幾何型列に対する新規な双対性変換を用いて、既知の級数から新たな級数を導出し、特に $1/\pi$ のためにそれらを生成している点である。数値的証拠とラマヌジャン型超幾何級数における構造的パターンに基づき、それらの級数の正確な評価を予想している。

ABSTRACT

The author gives the full list of his conjectures on series for powers of $\\pi$ and other important constants scattered in some of his public papers or his private diaries. The list contains 234 reasonable conjectural series. On the list there are 178 reasonable series for $\\pi^{-1}$, four series for $\\pi^2$, two series for $\\pi^{-2}$, four series for $\\pi^4$, two series for $\\pi^5$, three series for $\\pi^6$, seven series for $\\zeta(3)$, one series for $\\pi\\zeta(3)$, two series for $\\pi^2\\zeta(3)$, one series for $\\zeta(3)^2$, three series involving both $\\zeta(3)^2$ and $\\pi^6$, one series for $\\zeta(5)$, three series involving both $\\zeta(5)$ and $\\zeta(2)\\zeta(3)$, two series involving both $\\pi\\zeta(5)$ and $\\pi^3\\zeta(3)$, three series involving $\\zeta(7)$, three series for $K=L(2,(\\frac{\\cdot}{3}))$, one series for the Catalan constant $G$, two series for $\\pi G$, one series involving both $\\pi^3G$ and $\\pi^2\\zeta(3)$, two series for $\\pi K$, two series involving $L=L(4,(\\frac{\\cdot}3))$, three series involving $\\beta(4)=L(4,(\\frac{-4}{\\cdot}))$, and four series for $\\pi^2\\log a$ with $a=2,3,(\\sqrt5+1)/2$. The code of a conjectural series is underlined if and only if a complete proof of the identity is available.

研究の動機と目的

• 数値実験と超幾何級数内の構造的パターンを用いて、$1/\pi$ やその他の基本的定数の新しい無限級数を発見し、予想すること。
• 既知の級数の係数を変換することで、$1/\pi$ の新たな級数を生成する双対性変換技術を開発すること。
• 代数的および算術的構造が類似する家族の級数を同定することで、既知のラマヌジャン型 $1/\pi$ 級数を統一的かつ拡張的に扱うこと。
• 50日間にわたる体系的探索とパターン認識に基づき、特定のタイプ（例：$c=1$）のすべての $1/\pi$ 級数が完全に列挙済みであると予想すること。

提案手法

• 与えられた列 $\{a_n\}$ に対して、双対列 $a_n^* = \sum_{k=0}^n \binom{n}{k} (-1)^k a_k$ を定義し、$(a_n^*)^* = a_n$ を満たす。
• 既知の形 $\sum_{k=0}^\infty (bk + c) \frac{\binom{2k}{k} a_k}{m^k} = \frac{C}{\pi}$ の級数に双対性変換を適用し、変換された係数と基底 $4 - m$ を持つ新たな級数を生成する。
• 不等式 $|m - 4| > 4$ を満たす場合に成り立つ恒等式 $\sum_{k=0}^\infty (bmk + 2b + (m-4)c) \frac{\binom{2k}{k} a_k^*}{(4-m)^k} = (m-4)\sqrt{\frac{m-4}{m}} \sum_{k=0}^\infty (bk + c) \frac{\binom{2k}{k} a_k}{m^k}$ を用いて、新たな評価を導出する。
• 特に収束が遅い級数に対しては数値的検証を用いて予想を支持し、[CWZ1]、[WZ]、[CWZ2] における以降の証明結果と比較する。
• 調和数 $H_k$、一般化調和数 $H_k^{(m)}$、および特殊 $L$-値 $K = L(2, \cdot/3)$ や $L(4, \cdot/3)$ などの特別な関数を級数に導入・使用する。
• 体系的な発見を50日間の期間にわたり行った結果、タイプIVで $c=1$ のすべての $1/\pi$ 級数が18個の特定の例で尽きていると予想する。

実験結果

リサーチクエスチョン

• RQ1 超幾何列に対する双対性変換は、既知のものから $1/\pi$ の新たな正確な級数を生成できるか？
• RQ2 タイプIVで $c=1$ の $1/\pi$ 級数の完全な集合は何か？ そして、それらは完全に列挙可能か？
• RQ3 調和数と一般化調和数 $H_k^{(m)}$ は、中心二項係数とともに、$\zeta(3)$、$\zeta(5)$、$\pi^2$ の級数においてどのように作用するか？
• RQ4 特殊 $L$-値 $K = L(2, \cdot/3)$ や $L = L(4, \cdot/3)$ を含む予想的な級数は、体系的に生成され、数値的に検証可能か？
• RQ5 変換 $m \mapsto 4 - m$ は、既存の級数から新たな級数を生成する役割を果たすか？ その収束性および評価特性は何か？

主な発見

• 級数 $\sum_{k=1}^\infty \frac{(10k-3)8^k}{k^3 \binom{2k}{k}^2 \binom{3k}{k}} = \frac{\pi^2}{2}$ は予想され、数値的証拠によって支持されている。
• 級数 $\sum_{k=1}^\infty \frac{(28k^2 - 18k + 3)(-64)^k}{k^5 \binom{2k}{k}^4 \binom{3k}{k}} = -14\zeta(3)$ は予想され、中心二項係数とゼータ値を結びつける。
• 級数 $\sum_{k=1}^\infty \frac{H_{2k} + 2H_k}{k^2 \binom{2k}{k}} = \frac{5}{3}\zeta(3)$ は予想され、調和数と $\zeta(3)$ の相互作用を示している。
• 級数 $\sum_{k=1}^\infty \frac{2^k}{k^2 \binom{2k}{k}} \left(6H_{2k} - 11H_k + \frac{8}{k}\right) = 2\pi G$ は予想され、$G$（Catalan定数）が $\pi$ と調和数と結びついていることを示している。
• 級数 $\sum_{k=1}^\infty \frac{3^k}{k^2 \binom{2k}{k}} \left(6H_{2k} - 10H_k + \frac{7}{k}\right) = 2\sqrt{3}\, \pi K$ は予想され、$K = L(2, \cdot/3)$ が $\pi$ と調和数と結びついていることを示している。
• 双対性変換により、既知の恒等式 (I1) から導かれた新たな級数 $\sum_{k=0}^\infty (48k + 11) \frac{\binom{2k}{k} a_k^*}{260^k} = \frac{39\sqrt{65}}{8\pi}$ が得られた。