[論文レビュー] Another elementary proof of $\: \sum_{n \ge 1}{1/{n^2}} = \pi^2/6\,$ and a recurrence formula for $\,\zeta{(2k)}$

F. M. S. Lima|arXiv (Cornell University)|Sep 19, 2011

Advanced Mathematical Identities参考文献 1被引用数 2

ひとこと要約

本稿では、DancsとHeの手法に基づく修正された級数展開技術を用いて、バーゼル問題の初等的証明を提示する。∑₁^∞ 1/n² = π²/6 を示し、ζ(2k) の再帰的公式を導出する。この公式により、オイラーの公式やベルヌーイ数に依存せずに、ζ(2k)/π²ᵏ が有理数であることが証明される。

ABSTRACT

In this shortnote, a series expansion technique introduced recently by Dancs and He for generating Euler-type formulae for odd zeta values $\:\zeta{(2 k +1)}$, $\zeta{(s)}$ being the Riemann zeta function and $k$ a positive integer, is modified in a manner to furnish the even zeta values $ \zeta{(2k)}$. As a result, I find an elementary proof of $\sum_{n=1}^\infty{{1/{n^2}}} = {\pi^2/6}$, as well as a recurrence formula for $\zeta{(2k)}$ from which it follows that the ratio ${\zeta{(2k)} / \pi^{2k}}$ is a rational number, without making use of Euler's formula and Bernoulli numbers.

研究の動機と目的

• 複素解析、フーリエ級数、多重積分を用いずに、∑₁^∞ 1/n² = π²/6 の初等的証明を提供すること。
• Dancs-He級数展開技術の修正版を用いて、偶数ゼータ値 ζ(2k) の再帰的公式を導出すること。
• オイラーの公式やベルヌーイ数に依存せずに、すべての正の整数 k に対して ζ(2k)/π²ᵏ が有理数であることを示すこと。
• 余弦関数に基づく級数置換を用いて、Dancs-He法の適用範囲を奇数ゼータ値から偶数ゼータ値へ拡張すること。

提案手法

• sin(nπ) を cos(nπ) = (−1)ⁿ に置き換えることで、偶数ゼータ値を含む級数を生成する、Dancs-He級数展開技術の変形を施す。
• 補助関数 f(u) = ∑₁^∞ (1/u)ⁿ / n² を定義し、cos(nπ) を π のテイラー級数に展開することで、φₘ(u) を含む二重和を得る。
• 内側の和を φₘ(u) で表し、負の添え字に対しては φ₋ₘ(1) = 2(1 − 2¹⁻ᵐ)ζ(m) を用いて ζ(m) と関連付ける。
• u → 1⁺ の極限を評価し、既知のオイラー多項式 Eₘ(1) の値を用いて、結果の式から ζ(2) を抽出する。
• 指数 2 を 2k に一般化することで、ζ(2k) の再帰的公式を導出する。この過程で、ζ(2m) の有限和と π の累乗を含む再帰的関係が得られる。
• 階乗および組合せ論的係数から得られる係数を含む、ζ(2k) の再帰的公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 フーリエ級数や複素解析を用いずに、∑₁^∞ 1/n² = π²/6 の初等的証明を構築できるか？
• RQ2 Dancs-He級数法を、奇数ゼータ値に限定せず、偶数ゼータ値 ζ(2k) の計算にも適応できるか？
• RQ3 ζ(2k) の再帰的公式が、オイラーの公式やベルヌーイ数に依存せずに、ζ(2k)/π²ᵏ が有理数であることを示唆するか？
• RQ4 cos(nπ) = (−1)ⁿ の余弦項が、偶数ゼータ値のみを含む級数に変換する役割を果たすのはどのような仕組みか？
• RQ5 オイラー多項式の母関数は、u → 1⁺ の極限において φₘ(u) をゼータ値とどのように関連付けるか？

主な発見

• 本稿では、φ₋₂(1) を含む級数展開の極限処理により、∑₁^∞ 1/n² = π²/6 を確立し、簡略化の後 ζ(2) = π²/6 を得る。
• ζ(2k) の再帰的公式が導出される：(4 − 4/2²ᵏ)ζ(2k) = ∑ₘ₌₁^{k−1} (−1)ᵏ⁻ᵐ⁺¹/(2k−2m)! (2 − 4/2²ᵐ)π²ᵏ⁻²ᵐζ(2m) − (−1)ᵏπ²ᵏ/(2k)!
• k = 2 の場合、再帰的公式により ζ(4) = π⁴/90 が得られ、既知の値と整合し、公式の正しさが確認される。
• オイラーの公式やベルヌーイ数に依存せずに、数学的帰納法を用いて、すべての正の整数 k に対して ζ(2k)/π²ᵏ が有理数であることが証明される。
• 本手法は、複素解析、フーリエ級数、多重積分を回避し、テイラー級数、フォビニの定理、オイラー多項式の性質のみに依存する。
• 再帰的公式が ζ(2k)/π²ᵏ が有理数であることに等価であることが示され、有理数係数の再帰的関係が帰納法によって有理数性を保つ。