[论文解读] 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} 和 φₙ(x) = ∫₀^∞ {u}φₙ₋₁(x/u)(du/u) 对 n ≥ 2 递归定义迭代函数 φₙ(x)。
• 利用梅林变换技术和梅林变换的帕塞瓦尔恒等式，将 ζⁿ(s)/(-s)ⁿ 与 ∫₀^∞ φₙ(x)x^{-1-s}dx 联系起来。
• 对积分 ∫_{c-i∞}^{c+i∞} ζ(s)/s · T^s Γ(s) ds 应用留数定理，推导 ∫₀^∞ {x}/x · e^{-x/T} dx 在 T → ∞ 时的渐近展开。
• 利用雅可比θ函数 θ(z) = ∑_{n=-∞}^∞ e^{-πn²z} 的函数方程，变换ζ矩恒等式的积分表示。
• 应用ζ(s)的函数方程，证明在 σ → 1−σ 下的不变性，并以 uθ(u²)−1−u 的形式导出矩恒等式的对称形式。
• 利用已知的 e^{-πx²} 的梅林变换及蒙茨算子 Pf(x)，推导出涉及 ∫ |ζ(σ+it)Γ(σ/2 + it/2)|² dt 的恒等式。

实验结果

研究问题

• RQ1 能否通过分数部分的迭代积分，将经典恒等式 ζ(s)/s = −∫₀^∞ {x}x^{-1-s}dx 推广至ζ(s)的高阶幂？
• RQ2 由 {u}/u 的重复卷积定义的迭代函数 φₙ(x) 的渐近行为如何？
• RQ3 如何通过梅林变换技术，将 φₙ(x) 的 L² 范数与矩 |ζ(σ+it)|²ⁿ/(σ²+t²)ⁿ 联系起来？
• RQ4 能否利用留数定理和 ζ(s)/s 的梅林变换，推导出 ∫₀^∞ {x}/x · e^{-x/T} dx 的渐近展开？
• RQ5 当在蒙茨公式中使用高斯核 f(x) = e^{-πx²} 时，会涌现出哪些谱恒等式？

主要发现

• 恒等式 ζⁿ(s)/(-s)ⁿ = ∫₀^∞ φₙ(x)x^{-1-s}dx 对 0 < σ < 1 及所有整数 n ≥ 1 成立，推广了 n=1 的经典情形。
• 当 x → 0⁺ 时，φₙ(x) 的渐近行为为 φₙ(x) = x/(n−1)! · logⁿ⁻¹(1/x) + O(x logⁿ⁻²(1/x))；当 x ≥ 1 时，φₙ(x) = O(logⁿ⁻¹(x+1))。
• 矩恒等式 1/(2π)∫_{-∞}^∞ |ζ(σ+it)|²ⁿ/(σ²+t²)ⁿ dt = ∫₀^∞ φₙ²(x)x^{-1-2σ} dx 对 0 < σ < 1 及所有 n ≥ 1 成立。
• 积分 ∫₀^∞ {x}/x · e^{-x/T} dx 在 T → ∞ 时具有渐近展开：½ 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}})。