[论文解读] Table of Dirichlet L-Series and Prime Zeta Modulo Functions for Small Moduli

Richard J. Mathar|arXiv (Cornell University)|Aug 15, 2010

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

一句话总结

本文为小模数（m ≤ 195）的狄利克雷L-级数和素数Zeta模函数提供了全面的数值表，其中对 m ≤ 14 的L-级数值计算精度达到50位小数，对 m ≤ 6 的L-级数一阶导数也达到50位精度。该表列出了狄利克雷特征，通过欧拉乘积计算相关L-级数和素数Zeta函数，并提供了高精度参考值，可用于解析数论与素数分布研究。

ABSTRACT

The Dirichlet characters of reduced residue systems modulo m are tabulated for moduli m <= 195. The associated L-series are tabulated for m <= 14 and small positive integer argument s accurate to 10^(-50), their first derivatives for m <= 6. Restricted summation over primes only defines Dirichlet Prime L-functions which lead to Euler products (Prime Zeta Modulo functions). Both are materialized over similar ranges of moduli and arguments. Formulas and numerical techniques are well known; the aim is to provide direct access to reference values.

研究动机与目标

• 整理并提供小模数下狄利克雷L-级数与素数Zeta模函数的高精度参考值。
• 列出模数不超过195的狄利克雷特征，包括导子和OEIS序列标识符。
• 实现对L-级数及其在小整数自变量处的精确数值评估。
• 支持素数密度增长速率估计器中欧拉乘积的因式分解。
• 为从事L-函数、Zeta函数及算术级数中素数分布研究的科研人员提供计算资源。

提出的方法

• 通过模数的素数幂因子表示的群乘法运算计算狄利克雷特征。
• 基于模m乘法群结构，使用标准算法构建特征表。
• 通过直接对n求和，结合特征χ_r(n)与s值（s ≤ 6）计算L-级数，精度达10^-50。
• 对m ≤ 6的L-级数一阶导数，采用数值微分或级数展开法计算。
• 将素数Zeta模函数定义为按狄利克雷特征加权的模m剩余类中素数的受限和，形成欧拉乘积。
• 通过与OEIS序列及已知常数（如A005597、A065418）交叉比对，验证结果准确性。

实验结果

研究问题

• RQ1 对于小模数和小整数自变量，狄利克雷L-级数及其一阶导数的精确值是什么？
• RQ2 如何系统性地计算并列出小模数下的素数Zeta模函数？
• RQ3 本原特征的L-级数与素数Zeta模函数的欧拉乘积结构之间存在何种关系？
• RQ4 这些函数的数值结果如何支持或改进对算术级数中素数密度的估计？
• RQ5 这些函数的高精度表格能否作为解析数论计算中的可靠参考数据？

主要发现

• 本文提供了m ≤ 14、s ≤ 6时的L-级数值，精度达50位小数，支持狄利克雷L-函数的高精度分析。
• 对m ≤ 6的L-级数一阶导数进行了列表，为函数方程研究与特殊值分析提供了关键数据。
• 素数Zeta模函数通过模m各剩余类中素数的欧拉乘积计算，m ≤ 14、s ≤ 6时的数值已给出。
• 表格包含195个模数，明确列出了狄利克雷特征与导子，并为每类特征类型提供了OEIS序列标识符。
• 当m=6时，C_{6,1}^{(s)}与C_{3,1}^{(s)}、C_{6,5}^{(s)}与C_{3,2}^{(s)}分别一致，验证了与已知常数的一致性。
• 对模m下所有n的C_{m,n}^{(s)}的乘积，可恢复标准常数C_1^{(s)} = A005597，验证了列表方法的正确性。