[論文レビュー] Some identities for the Riemann zeta-function II

Aleksandar Ivić|arXiv (Cornell University)|Jun 11, 2005

Analytic Number Theory Research参考文献 8被引用数 3

ひとこと要約

本稿は、リーマンゼータ関数 ζ(s) と反復分数部分積分 φₙ(x) を結ぶ新しい積分恒等式を確立し、古典的恒等式 ζ(s)/s = −∫₀^∞ {x}x^{-1-s}dx を一般化する。メリン変換とパーソバル型公式を用いて、ζⁿ(s)/(-s)ⁿ および |ζ(σ+it)|²ⁿ/(σ²+t²)ⁿ の正確な表現を導出し、ゼータ関数のモーメントと φₙ(x) の L² ノルムを結びつける。これらの結果は、リーマン予想やガンマ関数による漸近展開への応用を含む。

ABSTRACT

Some identities for the Riemann zeta-function are proved, using properties of the Mellin transform and Müntz's identity.

研究の動機と目的

• 古典的恒等式 ζ(s)/s = −∫₀^∞ {x}x^{-1-s}dx を、分数部分関数の反復積分を用いて ζ(s) の高次冪へ一般化すること。
• ゼータ関数の n 乗と反復分数部分関数 φₙ(x) のメリン変換との関係を確立し、古典的枠組みを拡張すること。
• φₙ(x) の L² ノルムを用いて、|ζ(σ+it)|²ⁿ/(σ²+t²)ⁿ の明示的積分表現を導出し、リーマン予想に対する新たなアプローチを可能にすること。
• 反復関数 φₙ(x) の漸近的挙動を解析し、e^{-x/T} と ζ(s) を含む積分の漸近展開を導出すること。
• ガウス型カーネル f(x) = e^{-πx²} を用いたミュントツの恒等式を適用し、ゼータ関数とヤコビシータ関数を含む新しいスペクトル恒等式を導出すること。

提案手法

• φ₁(x) = {x} および n ≥ 2 に対して φₙ(x) = ∫₀^∞ {u}φₙ₋₁(x/u)(du/u) により、反復関数 φₙ(x) を再帰的に定義する。
• メリン変換技術とメリン変換のパーソバル恒等式を用い、ζⁿ(s)/(-s)ⁿ と ∫₀^∞ φₙ(x)x^{-1-s}dx の関係を導出する。
• ∫_{c-i∞}^{c+i∞} ζ(s)/s · T^s Γ(s) ds の積分に対して留数定理を適用し、T → ∞ のときの ∫₀^∞ {x}/x · e^{-x/T} dx の漸近展開を導出する。
• ヤコビシータ関数 θ(z) = ∑_{n=-∞}^∞ e^{-πn²z} の関数等式を用いて、ゼータ関数モーメント恒等式の積分表現を変換する。
• ζ(s) の関数等式を用い、σ → 1−σ の下で不変性を示し、uθ(u²)−1−u を用いたモーメント恒等式の対称的形を導出する。
• 既知の e^{-πx²} のメリン変換と Müntz 演算子 Pf(x) を用い、∫ |ζ(σ+it)Γ(σ/2 + it/2)|² dt を含む恒等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 古典的恒等式 ζ(s)/s = −∫₀^∞ {x}x^{-1-s}dx は、分数部分の反復積分を用いて ζ(s) の高次冪へ一般化可能か？
• RQ2 φₙ(x) が {u}/u との繰り返し畳み込みで定義される反復関数の漸近的挙動はいかなるものか？
• RQ3 メリン変換技術を用いて、φₙ(x) の L² ノルムと |ζ(σ+it)|²ⁿ/(σ²+t²)ⁿ のモーメントをどのように関連づけられるか？
• RQ4 留数定理と ζ(s)/s のメリン変換を用いて、∫₀^∞ {x}/x · e^{-x/T} dx の漸近展開を導出可能か？
• RQ5 ガウス型カーネル f(x) = e^{-πx²} を用いた Müntz の公式を適用したとき、どのようなスペクトル恒等式が導かれるか？

主な発見

• 0 < σ < 1 およびすべての整数 n ≥ 1 に対して、恒等式 ζⁿ(s)/(-s)ⁿ = ∫₀^∞ φₙ(x)x^{-1-s}dx が成り立つ。これは n=1 の古典的ケースを一般化する。
• x → 0⁺ のとき、φₙ(x) の漸近的挙動は φₙ(x) = x/(n−1)! · logⁿ⁻¹(1/x) + O(x logⁿ⁻²(1/x)) であり、x ≥ 1 のとき φₙ(x) = O(logⁿ⁻¹(x+1)) である。
• 0 < σ < 1 およびすべての n ≥ 1 に対して、1/(2π)∫_{-∞}^∞ |ζ(σ+it)|²ⁿ/(σ²+t²)ⁿ dt = ∫₀^∞ φₙ²(x)x^{-1-2σ} dx が成り立つ。
• T → ∞ のとき、∫₀^∞ {x}/x · e^{-x/T} dx は、½ log T − ½γ + ½ log(2π) + ∑_{m=1}^M ζ(1−2m)/((2m−1)!(1−2m)) T^{1−2m} + O_M(T^{-1−2M}) の漸近展開を持つ。
• f(x) = e^{-πx²} のとき、恒等式 ∫_{-∞}^∞ |ζ(σ+it)Γ(σ/2 + it/2)|² dt = 2π^{σ+1} ∫₀^∞ (uθ(u²)−1−u)² u^{2σ−3} du が 0 < σ < 1 に対して成り立つ。
• 得られた積分は 0 および ∞ で絶対収束する。∞ での収束は指数的減衰により、0 での収束は θ(1/u²) = 1 + O(e^{-u^{-2}}) により生じる。