[論文レビュー] Generating function identities for $ζ(2n+2), ζ(2n+3)$ via the WZ method

Khodabakhsh Hessami Pilehrood, Tatiana Hessami Pilehrood|arXiv (Cornell University)|Jan 10, 2008

Advanced Mathematical Identities参考文献 7被引用数 9

ひとこと要約

この論文は、リーマンゼータ関数の値 ζ(2n+2) および ζ(2n+3) の既知の母関数恒等式に対して、ウィルフ＝ツァイレルバーガー（WZ）法を用いて簡素化されたアルゴリズム的証明を提供し、ゼータ関数の値に対する収束が速い新しい級数表現を導出する。主な貢献は、収束比が最大で 1/1024 の Apéry に類似した級数を体系的かつ WZ 法に基づいて導出したことである。これにより、ζ(3)、ζ(5) およびそれ以上の奇数および偶数のゼータ値について新たな公式が得られる。

ABSTRACT

Using the WZ method we present simpler proofs of Koecher's, Leshchiner's and Bailey-Borwein-Bradley's identities for generating functions of the sequences $\{ζ(2n+2)\}_{n\ge 0}, \{ζ(2n+3)\}_{n\ge 0}.$ By the same method we give several new representations for these generating functions yielding faster convergent series for values of the Riemann zeta function.

研究の動機と目的

• WZ 法を用いて、ζ(2n+2) および ζ(2n+3) の古典的な母関数恒等式に対する簡素化されたアルゴリズム的証明を提供すること。
• リーマンゼータ関数の値に対して収束が速い級数を導く新しい母関数表現を導出すること。
• WZ 法の適用範囲を、特に ζ(3)、ζ(5) やそれ以上の高次ゼータ値にまで拡張すること。
• 収束比が 1/1024 にまで低くなるような、改善された収束率を有する新しい Apéry に類似した級数を確立すること。
• 超幾何関数およびポッヒャーマー記号に基づく恒等式として母関数を表現することにより、既存の結果を統一的かつ一般化すること。

提案手法

• F(n,k) および G(n,k) からなる WZ ペair が関係式 F(n+1,k) - F(n,k) = G(n,k+1) - G(n,k) を満たすように構成する。
• WZ 理論の命題 1 を適用する：∑ₖ F(0,k) = ∑ₙ G(n,0) であり、これは k に関する級数と n に関する級数を結びつける。
• ポッヒャーマー記号 (λ)ₙ および二項係数を用いて、F(n,k) および G(n,k) の超幾何的項を表現する。
• 複素変数 a を含むパラメータを F(n,k) に導入し、a² の累乗に関する母関数を生成する。
• WZ アルゴリズムを適用して、収束比が 1/64 や 1/1024 のようなより速い収束を示す恒等式を導出する WZ ペアを新たに得る。
• WZ ペアにおける対称性および積構造を活用し、∏ₘ₌₁ⁿ⁻¹(1 - a²/m²) や (1 - 4a²/m²) のような積を含む恒等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 WZ 法を用いて、ζ(2n+2) および ζ(2n+3) の既知の母関数恒等式に対するより簡単なアルゴリズム的証明を提供できるか？
• RQ2 WZ 法を用いて、ζ(s) の値に対して収束が速い新しい母関数恒等式を導出できるか？
• RQ3 WZ 法を用いて導出された新しい Apéry に類似した級数の収束速度は、ζ(2n+2) および ζ(2n+3) に対してどの程度か？
• RQ4 WZ 法は、Koecher や Leshchiner、Bailey-Borwein-Bradley が与えた既存の公式を統一的または一般化する恒等式を生成できるか？
• RQ5 WZ フレームワークをどのように拡張すれば、ζ(5)、ζ(7) などの値に対して、より優れた有理数的または超幾何的収束を示す級数を得られるか？

主な発見

• 本論文は、Koecher の恒等式 ∑ₖ ζ(2k+3)a²ᵏ = ∑ₙ 1/(n(n²−a²)) に対する、WZ 法に基づく新しい簡素化証明を提供する。
• 新しい母関数恒等式が導出された：∑ₖ 1/(k(k²−a²)) = ∑ₙ [ (a⁴ − a²(32n²−10n+1) + 2n²(56n²−32n+5)) / (2n³ binom(2n,n) binom(3n,n) ((2n−1)²−a²)(4n²−a²)) ] × ∏ₘ₌₁ⁿ⁻¹(a²/m² − 1)，収束比が 1/64 の幾何的収束を示す。
• ∑ₖ 1/(k²−a²) に対する新しい恒等式が得られ、収束比 1/64 を有し、ζ(2) = ∑ₙ (21n−8)/(n³ binom(2n,n)³) および ζ(4) がそのような級数の組み合わせとして得られる。
• ∑ₖ 1/(k(k²−a²)) に対する新しい恒等式が発見され、収束比 1/1024 を有し、ζ(3) = (1/2)∑ₙ (-1)ⁿ⁻¹(205n²−160n+32)/(n⁵ binom(2n,n)⁵) が得られ、Amdeberhan と Zeilberger が既に得た結果と一致する。
• 生成関数における a² の係数を比較することで、ζ(5) に対する新しい級数が導出され、有理数項および調和的類似項を含む二重和の表現が得られる。
• WZ 法は、ζ(2n+2) および ζ(2n+3) に対して、古典的表現よりも著しく収束が速い複数の新しい Apéry に類似した級数を成功裏に生成した。