[论文解读] The two dimensional distribution of values of $\zeta(1+it)$

Youness Lamzouri|arXiv (Cornell University)|Jan 24, 2008

Analytic Number Theory Research参考文献 15被引用 4

一句话总结

本文研究了复平面上黎曼ζ函数ζ(1+it)的二维值分布，重点关注|ζ(1+it)|与arg ζ(1+it)的联合分布。通过随机欧拉乘积模型和环面上的傅里叶分析，本文建立了大值尾部概率的精确渐近估计，表明极端值集中在正实轴附近，且幅角近似服从正态分布，方差与τ/log τ成正比。该结果可推广至模大素数的狄利克雷L函数L(1,χ)。

ABSTRACT

We prove several results on the distribution function of $\\zeta(1+it)$ in the complex plane, that is the joint distribution function of $\\arg\\zeta(1+it)$ and $|\\zeta(1+it)|$. Similar results are also given for $L(1,\\chi)$ (as $\\chi$ varies over non-principal characters modulo a large prime $q$).

研究动机与目标

• 理解大t时|ζ(1+it)|与arg ζ(1+it)的联合分布，特别是复平面上大值的尾部行为。
• 使用独立均匀分布在单位圆上的随机变量X(p)构造ζ(1+it)的随机模型L(1,X)，其中L(1,X) = ∏_p≤y (1 − X(p)/p)^{-1}。
• 在1 ≪ τ ≤ log₂T − log₃T的范围内，建立t ∈ [T,2T]中满足|ζ(1+it)| > e^γτ且|arg ζ(1+it)| > θ的测度的精确渐近估计。
• 将结果推广至模大素数的非主狄利克雷特征χ的L(1,χ)，证明其具有类似的分布行为。
• 证明当|ζ(1+it)|较大时，arg ζ(1+it)的分布渐近服从正态分布，且其方差依赖于τ。

提出的方法

• 构造一个使用独立均匀分布在单位圆上的随机变量X(p)的概率模型，定义随机欧拉乘积L(1,X) = ∏_p≤y (1 − X(p)/p)^{-1}。
• 利用n维环面上的傅里叶分析，研究{p^it mod 1}（p ≤ y）的等分布性，并将其推广至模q特征的{χ(p)}。
• 应用矩法，比较ζ(1+it)与L(1,X)的矩，证明在特定条件下二者渐近相等。
• 利用随机模型推导联合分布函数Φ_T(τ,θ)的上下界，借助除数函数和指数和的估计。
• 通过特征的正交性及算术级数上指数和的界，证明模q特征值{χ(p)}的均匀分布性。
• 通过适当加权评估arg ζ(1+it)的特征函数，证明其渐近服从正态分布，方差为log(τ⁻¹−C)/(2e^{τ−1−C})。

实验结果

研究问题

• RQ1 ζ(1+it)的大值在复平面上如何分布，特别是其模与幅角的分布？
• RQ2 在1 ≪ τ ≤ log₂T − log₃T范围内，满足|ζ(1+it)| > e^γτ且|arg ζ(1+it)| > θ的t ∈ [T,2T]的测度的精确渐近行为是什么？
• RQ3 随机欧拉乘积模型在多大程度上准确反映了ζ(1+it)的分布？
• RQ4 当|ζ(1+it)|较大时，arg ζ(1+it)是否渐近服从正态分布？
• RQ5 ζ(1+it)的结果在多大程度上可推广至模大素数的狄利克雷特征χ的L(1,χ)？

主要发现

• 当1 ≪ τ ≤ log₂T − log₃T且固定θ > 0时，满足|ζ(1+it)| > e^γτ且|arg ζ(1+it)| > θ的t ∈ [T,2T]的比例以exp(−e^{τ(1+o_θ(1))})的速率衰减，表明尾部衰减不过快。
• 在1 ≪ τ ≤ (log₂T)/2 − 2 log₃T且(log τ)√(log₂τ)/τ < θ ≪ 1的范围内，联合尾部概率满足Φ_T(τ,θ) = exp(−e^{τ + θ²τ/(2 log τ) + O(θ²τ/log₂τ)}），揭示了幅角的高斯型衰减。
• 几乎所有满足|ζ(1+it)| > e^γτ的t ∈ [T,2T]都满足|arg ζ(1+it)| ≤ (log τ)√(log₂τ)/τ，例外集合的测度至多为exp(−exp(τ + (log τ log₂τ)/2))。
• 当|ζ(1+it)| ≈ e^γτ较大时，arg ζ(1+it)渐近服从均值为0、方差为log(τ⁻¹−C)/(2e^{τ−1−C})的正态分布，其中C是通过修正贝塞尔函数I₀(t)的积分定义的正常数。
• 结果可推广至模大素数q的非主狄利克雷特征χ的L(1,χ)，在τ ≤ log₂q − log₃q范围内具有类似的尾部估计与幅角正态性，且结果一致。
• 在Lang–Waldschmidt猜想下，Φ_T(τ,θ)的上下界在1 ≪ τ ≤ log T − log 10的全范围内无条件成立，证实了该模型的稳健性。