算術級数の素数定理

算術級数の素数定理（さんじゅつきゅうすうのそすうていり）は、初項 "a" と公差 "d" が互いに素である等差数列に含まれる素数で、"x" 以下のものの数を formula_1 で表すとき、
となるという定理である。
歴史.
formula_3 である自然数 "a", "d" に対し、formula_4 (n は自然数)と書ける素数が無限に存在することは古くから予想されていた。
エウクレイデス（ユークリッド）は素数が無限に多く存在することの証明を変形し、 4"n"+3 の形の素数が無限に多く存在する事を証明した。レオンハルト・オイラーはフェルマー数 "F""k"はどの2つも互いに素であること、"F""k"の素因数は "n" 2"k"+1+1 の形をしていることを示したが、これから任意の整数 "k" に対し、"n" 2"k"+1の形の素数が無限に多く存在することがわかる。アドリアン＝マリ・ルジャンドルは一般の円分多項式の値の性質から、 formula_5 の形の素数が無限に多く存在する事を証明した。これらの証明はいずれも初等的であるが、一般の初項に対しては拡張できない。
1837年にペーター・グスタフ・ディリクレがL関数 formula_6 を導入し、formula_7 を示す事で初めてformula_3 である自然数 "a", "d" に対し、formula_4の形の素数が無限に多く存在する事、さらに、 "x" 以下の該当する素数の逆数の和はformula_10を満たすことを示した。
算術級数の素数定理
はによって証明された。彼は素数定理を証明したのと同様の方法をディリクレのL関数に用い、 "t" が0でない実数で、formula_12 のとき formula_13 となる定数 "c" が存在することを示すことによってこの定理をより強い形
（ここで "c"1 は "d" に依存する正の定数）で証明した。
算術級数の素数定理の拡張.
算術級数の素数定理が証明された後、formula_1 の誤差項の改善が大きな課題となった。
（1958年）は指数和の評価を用いて誤差項を formula_16 に改善した。これが現在知られている最良の誤差項である。
一方、ゴールドバッハ予想などの数論上の問題の研究の過程で、"d"に対する依存の評価がより重要であると考えられるようになった。このときに問題となるのはformula_6は χ が実指標のとき、formula_18 を満たす零点を持つ可能性を除外できないことである。ただし、正の実数 "s" に対して formula_19 となる事例はあるとしても1個しか存在しない。
ディリクレの類数公式から、任意の正の ε に対して formula_20 であることがわかり、これからformula_6 の実の零点 "s" は formula_22 を満たすことが従う。ここで "c" は計算可能な正の定数である。
カール・ジーゲルは二次体の類数についての研究結果から任意の正の ε に対して formula_23 を示し、これから formula_24 を
示した。ただしこのときは "c" は計算可能ではない。これは後にによって複素函数論の基礎的な定理のみを用いて証明された。この結果から、任意の正の ε に対して、formula_25 ならば
（ここで "c"1 は ε にのみ依存する正の定数）
が成り立つ事が示される。