[论文解读] Mean value theorems for the double zeta-function

Kohji Matsumoto, Hirofumi Tsumura|arXiv (Cornell University)|Mar 10, 2012

Advanced Mathematical Identities参考文献 37被引用 9

一句话总结

本文在不同收敛区域下，建立了关于 s 的虚部 t 的欧拉双重 zeta 函数 ζ₂(s₀, s) 的渐近均方公式。它推导出精确的误差项，并提出 Lindelöf 假设的双重类比，表明当 ℜs₀ > 1/2，ℜs > 1/2，且 s₀ + s ≠ 2 时，ζ₂(s₀, s) 的增长缓慢（O(t^ε)），扩展了黎曼 zeta 函数的经典均方结果。

ABSTRACT

We prove asymptotic formulas for mean square values of the Euler double zeta-function $ζ_2(s_0,s)$, with respect to $\Im s$. Those formulas enable us to propose a double analogue of the Lindel{ö}f hypothesis.

研究动机与目标

• 推导欧拉双重 zeta 函数 ζ₂(s₀, s) 在 s 的虚部 t 上的均方渐近公式。
• 将黎曼 zeta 函数的经典均方结果扩展至双重 zeta 函数情形。
• 研究当 ℜs₀ + ℜs ≈ 3/2 时，ζ₂(s₀, s) 在临界带中的行为，类似于黎曼 zeta 函数中临界线 ℜs = 1/2 的情形。
• 基于 ζ₂(s₀, s) 在临界区域中的增长速率，提出 Lindelöf 假设的双重类比。

提出的方法

• 作者通过 s = σ + it 的积分表示，将均方 ∫₂ᵀ |ζ₂(s₀, s)|² dt 分析为关于 m 和 n 的双重和式。
• 利用 dyadic 分解和指数和的估计，将均方分解为主项和误差项。
• 关键估计通过柯西-施瓦茨不等式和调和和的界得出，特别涉及 log T 和 T 中的幂次项。
• 分析根据实部 σ₀ 和 σ 的不同情况区分处理，尤其关注临界线 σ₀ + σ = 3/2 附近的情形。
• 使用函数 ζ₂^{[2]}(s₀, 2σ) 作为主项，其定义为 ∑ₖ₌₂^∞ |∑ₘ₌₁^{k−1} m^{-s₀}|² k^{-2σ}。
• 通过将求和拆分为 dyadic 区间并控制对数和幂次加权和，估计误差项，从而得到依赖于 σ₀ 和 σ 的显式 O-项。

实验结果

研究问题

• RQ1 当 T → ∞ 且固定 s₀ 满足 ℜs₀ > 1 时，双重 zeta 函数 ζ₂(s₀, s) 的均方行为如何？
• RQ2 当 ℜs₀ > 1 且 1/2 < ℜs ≤ 1 时，∫₂ᵀ |ζ₂(s₀, s)|² dt 的精确渐近公式是什么，特别是在临界线附近？
• RQ3 能否基于 ζ₂(s₀, s) 在临界带 ℜs₀ + ℜs > 3/2 中的增长率，提出 Lindelöf 假设的双重类比？
• RQ4 当 ℜs₀ + ℜs = 3/2 时，均方公式会发生什么变化？与 ℜs₀ + ℜs > 3/2 区域相比，误差项有何不同？
• RQ5 在 σ₀ = 1 或 σ = 1 的情况下，均方公式中的误差项如何依赖于 σ₀ 和 σ？

主要发现

• 当 ℜs₀ > 1 且 ℜs > 1 时，有 ∫₂ᵀ |ζ₂(s₀, s)|² dt = ζ₂^{[2]}(s₀, 2σ)T + O(1)，当 T → ∞。
• 当 1/2 < ℜs ≤ 1 且 ℜs₀ + ℜs > 2 时，均方为 ζ₂^{[2]}(s₀, 2σ)T + O(T²⁻²σ log T) + O(T¹ᐟ²)。
• 当 1/2 < ℜs₀ < 3/2 且 1/2 < ℜs ≤ 1 且 ℜs₀ + ℜs ≤ 2 时，主项仍为 ζ₂^{[2]}(s₀, 2σ)T，误差项取决于位置：当 ℜs₀ < 1 且 ℜs < 1 时为 O(T⁴⁻²σ₀⁻²σ log T)；当 ℜs₀ < 1 且 ℜs = 1 时为 O(T²⁻²σ₀ (log T)²)；当 ℜs₀ = 1 且 ℜs < 1 时为 O(T²⁻²σ (log T)³)；当 ℜs₀ = 1 且 ℜs = 1 时为 O(T¹ᐟ²)。
• 系数 ζ₂^{[2]}(s₀, 2σ) 在 ℜs₀ + ℜs → 3/2 时发散，表明存在类似于黎曼 zeta 函数中临界线 ℜs = 1/2 的临界线。
• 本文提出 Lindelöf 假设的双重类比：当 ℜs₀ > 1/2，ℜs > 1/2，s₀ + s ≠ 2，且 t ≥ 2 时，ζ₂(s₀, s) = O(t^ε)，对任意 ε > 0 成立。
• 估计中出现的误差项 O(T¹ᐟ²) 源于柯西-施瓦茨不等式，通过更精细的分析有望进一步改进。