[论文解读] On the value-distributions of logarithmic derivatives of Dedekind zeta functions

Masahiro Mine|arXiv (Cornell University)|May 22, 2017

Analytic Number Theory Research参考文献 19被引用 5

一句话总结

本文通过利用欧拉积导出的无穷乘积的傅里叶反演，构造了任意代数数域上狄利克雷ζ函数对数导数的值分布密度函数，建立了其值分布理论。关键结果是在 $\sigma > 1/2$ 范围内，对测试函数在对数导数上的平均值给出了精确的渐近公式，误差项由相关生成函数的傅里叶变换控制。

ABSTRACT

We study the distributions of values of the logarithmic derivatives of the Dedekind zeta functions on a fixed vertical line. The main object is determining and investigating the density functions of such value-distributions for any algebraic number field. We construct the density functions as the Fourier inverse transformations of certain functions represented by infinite products that come from the Euler products of the Dedekind zeta functions.

研究动机与目标

• 将对L-函数对数导数的值分布理论从黎曼ζ函数和狄利克雷L-函数的经典情形推广至更一般情形。
• 为任意代数数域 $K$ 的 $(\zeta_K'/\zeta_K)(\sigma + it)$ 的值分布建立密度函数的存在性并实现显式构造。
• 通过适配郭的方法（基于对数导数的加法特征表示的傅里叶分析），克服将伊哈拉–松本结果从情形(C)推广至任意数域时的技术障碍。
• 为 $L'$-比值的值分布提供统一框架，通过共同的密度函数形式，适用于狄利克雷ζ函数及其他 $L$-函数。

提出的方法

• 密度函数 $M_{\sigma}(z)$ 被构造为从狄利克雷ζ函数欧拉积导出的函数的傅里叶逆变换，该函数表示为对素数的无穷乘积。
• 该方法使用加法特征 $\psi_w(z) = \exp(i\langle z,w\rangle)$ 定义傅里叶变换 $\tilde{M}_\sigma(w)$，其继承了 $\zeta_K(s)$ 欧拉积的无穷乘积结构。
• 关键技术工具是郭的方法：通过由对数导数系数 $\Lambda_K(p^m)$ 构建的生成函数 $\chi(u,v)$ 的傅里叶变换，近似 $t \in [0,T]$ 上 $\Phi\big((\zeta_K'/\zeta_K)(\sigma+it)\big)$ 的平均值。
• 证明依赖于将误差项 $E$ 的估计通过将傅里叶域划分为紧集 $|w| \leq (\log T)^\delta$ 及其补集来实现，利用测试函数 $\Phi$ 的傅里叶变换的衰减估计。
• 通过将复系数 $\Lambda_K(p^m)$ 分离为实部与虚部，使指数中的项转化为关于 $t$ 的三角函数和，并在 $[0,1]$ 上进行积分。
• 该构造被推广至尖点形式和狄利克雷特征的 $L$-函数，表明当 $\Lambda_\ast(p^m)$ 为实数或具有有界复模时，相同框架依然适用。

实验结果

研究问题

• RQ1 对于任意代数数域 $K$，狄利克雷ζ函数 $\zeta_K(s)$ 的对数导数值分布是否能由一个密度函数描述？
• RQ2 郭的方法（在 $\zeta(s)$ 情形下有效）是否可推广至任意数域，以对 $t \in [0,T]$ 上测试函数的平均值给出统一的渐近公式？
• RQ3 平均值 $\Phi\big((\zeta_K'/\zeta_K)(\sigma+it)\big)$ 由密度函数 $M_{\sigma}(z)$ 的积分近似时，其精确误差项是什么？
• RQ4 在何种 $\sigma$ 和测试函数 $\Phi$ 的条件下，平均值对 $M_{\sigma}(z)$ 的积分收敛是均匀成立的？

主要发现

• 本文为任意代数数域 $K$ 在固定垂直线 $\sigma > 1/2$ 上 $(\zeta_K'/\zeta_K)(\sigma+it)$ 的值分布构造了密度函数 $M_{\sigma}(z)$，结果具有普遍适用性。
• 该密度函数由从 $\zeta_K(s)$ 欧拉积导出的、对素数取无穷乘积的函数的傅里叶逆变换给出。
• 对于 $\sigma \in [1/2 + (\log T)^{-\theta}, \sigma_1]$，其中 $\theta, \delta > 0$ 且 $\delta + \theta < 1/2$，$\Phi\big((\zeta_K'/\zeta_K)(\sigma+it)\big)$ 的平均值收敛于 $\int_{\mathbb{C}} \Phi(z) M_{\sigma}(z) |dz|$，误差项满足 $E \ll \exp\big(-\frac{1}{4}(\log T)^{\frac{2}{3}\theta}\big)$。
• 误差项由频率域中紧集与非紧集区域上 $\Phi$ 的傅里叶变换的 $L^1$-范数控制，确保了收敛的一致性。
• 该方法不仅适用于狄利克雷ζ函数，也适用于尖点形式和狄利克雷特征的 $L$-函数，在类似条件下可得到类似结果。
• 对于尖点形式和狄利克雷 $L$-函数，下界 $\sum_{p \geq M} \sum_{m=1}^\infty \frac{\Lambda_\ast(p^m)^2}{p^{2m\sigma}} \gg \frac{1}{2\sigma - 1} M^{1-2\sigma} \log M$ 确保了无穷乘积的收敛性，从而保证了密度函数构造的有效性。