[論文レビュー] 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級数および素数ゼータ関数モジュロを包括的に整理した表を提示している。m ≤ 14の範囲でL級数の値を50桁の精度で計算し、m ≤ 6の範囲でその1次微分も計算している。ディリクレ指標を表形式で整理し、オイラー積を用いて関連するL級数および素数ゼータ関数を計算し、解析的整数論および素数分布の研究における高精度な基準値を提供している。

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級数および素数ゼータ関数モジュロの高精度な基準値を編纂・提供すること。
• 法が195以下のディリクレ指標を整理し、その導子およびOEISシーケンス識別子を含めること。
• 小さな整数引数におけるL級数およびその微分の正確な数値評価を可能にすること。
• 素数密度の成長率推定におけるオイラー積の因数分解を支援すること。
• L関数、ゼータ関数、および算術級数内の素数分布に関する研究者を対象とした計算リソースを提供すること。

提案手法

• 法の素因数分解における素数べき因子の表現の群乗法によりディリクレ指標を計算する。
• 法mの乗法的群の構造に基づいて、標準的なアルゴリズムで指標表を構築する。
• nの和を直接計算することでL級数を評価し、指標χ_r(n)およびs値をs=6まで、精度10^-50で計算する。
• m ≤ 6の範囲で、数値微分または級数展開を用いてL級数の1次微分を計算する。
• 素数ゼータ関数モジュロを、各合同類における素数にディリクレ指標を重み付けして制限した和として定義し、オイラー積を形成する。
• 結果をOEISシーケンスおよび既知の定数（例：A005597, A065418）と照合し、検証を行う。

実験結果

リサーチクエスチョン

• RQ1 小さな法および小さな整数引数におけるディリクレL級数およびその1次微分の正確な値は何か？
• RQ2 小さな法における素数ゼータ関数モジュロを体系的に計算・整理する方法は何か？
• RQ3 原始的指標のL級数と素数ゼータ関数モジュロのオイラー積構造との関係は何か？
• RQ4 これらの関数の数値的性質は、算術級数における素数密度の推定をどのように支援または精緻化するか？
• RQ5 これらの関数の高精度な表は、解析的整数論の計算において信頼できる基準データとして機能できるか？

主な発見

• 本稿では、m ≤ 14およびs ≤ 6の範囲で50桁の精度でL級数の値を提供しており、ディリクレL関数の高精度な解析を可能にしている。
• m ≤ 6の範囲でL級数の1次微分が整理されており、関数方程式の研究や特別値解析に不可欠なデータを提供している。
• 素数ゼータ関数モジュロは、各法mの合同類における素数に沿ったオイラー積を用いて計算されており、m ≤ 14およびs ≤ 6の範囲で値が与えられている。
• 195個の法を含む表には、ディリクレ指標およびその導子が明示的に記載されており、各指標タイプに対してOEISシーケンス識別子が付与されている。
• m=6の場合、C_{6,1}^{(s)}およびC_{6,5}^{(s)}の値はそれぞれC_{3,1}^{(s)}およびC_{3,2}^{(s)}と一致しており、既知の定数と整合性が確認された。
• n mod mの全範囲にわたるC_{m,n}^{(s)}の積は、標準定数C_1^{(s)} = A005597に一致し、表の作成手法の妥当性が裏付けられた。