[論文レビュー] Note on Malmstèn's paper De Integralibus quibusdam definitis seriebusque infinitis

Alexander Aycock|arXiv (Cornell University)|Jun 16, 2013

History and Theory of Mathematics参考文献 1被引用数 3

ひとこと要約

この論文は、1846年のMalmstönの論文『De integralibus quibusdam definitis seriebusque infinitis』に含まれる公式から直接導かれる、Dirichletのエータ関数の関数等式のこれまで見過ごされていた証明を提示する。Malmstönが利用可能だった道具を用いて極限処理と級数展開を適用することで、著者は、彼が最小限の追加作業で関数等式を導出可能であったことを示している。

ABSTRACT

We present a proof of the functional equation of the Riemann zeta-function or more precisely the Dirichlet eta-function, which proof seems to be new but follows almost immediately from Malmstèn's paper ``De integralibus quibusdam definitis seriebusque infinitis``

研究の動機と目的

• Malmstönの1846年の論文に、Dirichletのエータ関数の関数等式を導くための本質的要素が含まれていることを示す。これは、その論文が関数等式の導出を欠落させたにもかかわらずである。
• Malmstönの業績が長年にわたり見過ごされた歴史的無視を是正し、彼の手法がわずかな拡張のみで関数等式を導けることを示す。
• Malmstönの業績に内在する深い数学的洞察を強調し、彼の業績がリーマンの1859年の関数等式証明より13年前にさかのぼることを示す。
• 彼のラテン語で書かれた論文に対して再評価を求める。この論文は、その基盤的貢献にもかかわらず、依然として軽視されている。

提案手法

• Malmstönの公式30に着目する。これは双曲正弦関数とパラメータaを含む積分であり、[0,1]上での対数積分と関係づけられる。
• a → 0 の極限をとることで、sin(a) 要素を消去し、左辺を u^{1-s}/(e^{πu} - e^{-πu}) を含む式に変換する。
• 両辺を幾何級数展開する：左辺では 1/(1 - e^{-2πu})、右辺では 1/(1+y)^2 を展開し、級数表現を得る。
• 和と積分の順序交換を行い、積分 ∫₀^∞ e^{-y} y^{1-s} dy = Γ(2-s) を用いて積分を評価する。
• 既知の積分 ∫₀¹ ln^{s-1}(1/y) y^{n-1} dy = Γ(s)/n^s を用いて、右辺を η(s-1) の形に表現する。
• λ(2-s) = (2^{2-s}-1)/(2^{2-s}-2) ⋅ η(2-s) の関係を代入し、式を η(1-s) に書き直すことで、最終的な関数等式を得る。

実験結果

リサーチクエスチョン

• RQ1 Malmstönの1846年の論文に含まれる道具と公式のみを用いて、Dirichletのエータ関数の関数等式を導出可能であったのだろうか？
• RQ2 Malmstönの論文は、その深さにもかかわらず、1世紀以上にわたり無視されてきた。なぜ、当時の研究者たちに引用されなかったのか？
• RQ3 Malmstönの積分恒等式とエータ関数の関数等式との間の明確な関係は何か？
• RQ4 Malmstönの方法から導かれる関数等式は、1859年にリーマンがゼータ関数の関数等式を証明した方法とどのように対比されるか？
• RQ5 Malmstönの手法は、Mellin変換や解析接続の概念の発展をどの程度先取りしていたのだろうか？

主な発見

• Dirichletのエータ関数の関数等式 η(1-s) = (2^s - 1)/(1 - 2^{s-1}) ⋅ π^{-s} ⋅ cos(πs/2) ⋅ Γ(s) ⋅ η(s) は、Malmstönの公式30から極限処理と級数操作を経て直接導出可能である。
• 導出にはMalmstönが知っていた標準的な積分恒等式と級数展開のみを用いるため、関数等式は彼の到達範囲内にあったと考えられる。
• Malmstönの公式57において x=0 を代入すると、証明に使われる重要な積分恒等式が得られ、彼の論文内にその恒等式が存在することが確認される。
• λ(s) = (2^s - 1)/(2^s - 2) ⋅ η(s) の関係により、Dirichletのバータ関数とエータ関数が結びつけられ、最終的な変換が可能になる。
• 著者は、Malmstönがエータ関数の等式を導出しなかったのは、道具の不足ではなく、明示的な解析接続の概念が欠落していたためであると結論づける。
• 著者は、Malmstönの論文が深く軽視されている結果を含んでおり、Kummerの1847年の結果より前にガンマ関数の対数のフーリエ級数展開を導出していることを主張する。