算術級数定理

**算術級数定理**（さんじゅつきゅうすうていり、theorem on arithmetic progressions）は、初項と公差が互いに素である算術級数(等差数列)には無限に素数が存在する、という定理である。ペーター・グスタフ・ディリクレが1837年にディリクレのL関数を用いて初めて証明した。そのため、定理はしばしば**ディリクレの算術級数定理**と呼ばれる。

## 概要
定理の言い換えとして、\gcd(a, b)=1 である自然数 *a*, *b* に対し、an + b (n は自然数)と書ける素数が無限に存在する、としてもよい。さらに、そのような素数の逆数和は発散し、 *x*以下の該当する素数の逆数の和は\sim (\log\log x) /\varphi(a)を満たす。

この定理はガウスが予想したとされるが、証明は1837年にディリクレがL関数を導入して行った。
ユークリッドによる素数が無限に存在するという定理を越えて、近代の数学が大きく進歩したことを示した。

## 算術級数の素数定理
公差が *a* である等差数列は初項を 1 から a-1 の間に取るときその初項が *a* と互いに素であるものが \varphi(a) 通りある。ここで \varphi(a) はオイラーのφ関数である。これら \varphi(a) 個の等差数列に素数はそれぞれほぼ均等に分布している。素数定理の拡張として、次のように書ける。

:初項 *b* と公差 *a* が互いに素である等差数列に含まれる素数で、*x* 以下のものの数を \pi_{a,b}(x) で表すとき、
::    \pi_{a,b}(x) \sim \frac{1}{\varphi(a)}\mathrm{Li}(x) 

ディリクレが算術級数定理を証明した当時、素数定理もまだ証明されていなかったためこの形は予想に過ぎなかったが、後に素数定理と同様にによって証明された。この定理を算術級数の素数定理と呼ぶ。

## 証明
素数が無数に存在するということは古代から知られてきた事実であるが、ゼータ関数のオイラー乗積表示にも端的に顕われている。
:\zeta(s)=\sum_{n=1}^{\infty}\frac{1}{n^s}=\prod_p\frac{1}{1-p^{-s}}
この左辺のゼータ関数はs=1に極を持つから、右辺も発散しなければならず、そのためには無限個の素数が存在しなければならない。これに倣い、任意の算術級数に含まれる素数で構成された総和が発散することをもってディリクレの算術級数定理が証明される。

### 記号
以下の記号を用いる。
*(d,n)はdとnの最大公約数を表す。
*\varphi(d)はオイラー関数(totient)を表す。
*\chiはディリクレ指標(Dirichlet's characteristic)を表す。
*\sum_pは全ての素数について和を取ることを示す。
*\sum_{p\equiv{k}}は法dでkと合同な全ての素数について和を取ることを示す。
*\sum_\chiは法dの全てのディリクレ指標について和を取ることを示す。

### ディリクレ指標
整数から複素数への写像\chi:\mathbb{Z}\mapsto\mathbb{C}で下記の性質を満たすものを法dのディリクレ指標という。
:(d,n)=1\Leftrightarrow\chi(n)\ne0
:\chi(n_1)\chi(n_2)=\chi(n_1n_2)
:\chi(n+d)=\chi(n)
特に、\chi_0(n)\ne0ならば\chi_0(n)=1となる\chi_0(n)を自明な指標と呼ぶ。
正の整数dにつき\varphi(d)個のディリクレ指標があり、それらは群を成す。ディリクレ指標には直交性がある。
:\sum_{n=1}^{d}\chi(n)=\begin{cases}\varphi(d)&\chi=\chi_0\\0&\chi\ne\chi_0\end{cases}
:\sum_{\chi}\chi(n)=\begin{cases}\varphi(d)&n\equiv1\\0&n\not\equiv1\end{cases}

### ディリクレ級数
次式の形の級数をディリクレ級数という。
:\sum_{n=1}^{\infty}\frac{a_n}{n^s}
ディリクレ級数は、
:\left|\sum_{n=1}^{\infty}\frac{a_n}{n^s}\right|\le\sup\sum_{n=1}^{\infty}\frac{1}{n^{\real{s}}}\le\sup\left(1+\int_{u=1}^{\infty}\frac{du}{u^{\real{s}}}\right)
であるから、a_nが有界であれば\real{s}>1で絶対収束し、\real{s}>1のコンパクトな部分領域で絶対一様収束する。更に、
:\sum_{n=N}^{M}\frac{a_n}{n^s}=\sum_{n=N}^{M}\sum_{m=1}^{n}a_m\left(\frac{1}{n^s}-\frac{1}{(n+1)^s}\right)-\sum_{m=1}^{N-1}\frac{a_m}{N^s}+\sum_{m=1}^{M}\frac{a_m}{(M+1)^s}
:\left|\frac{1}{n^s}-\frac{1}{(n+1)^s}\right|=\left|s\int_{u=n}^{n+1}\frac{du}{u^{s+1}}\right|\le|s|\int_{u=n}^{n+1}\frac{du}{u^{\real{s}+1}}\le\frac{\real{s}}\left(\frac{1}{n^{\real{s}}}-\frac{1}{(n+1)^{\real{s}}}\right)=\frac{\real{s}}O\left(n^{\real{s}+1}\right)
であるから、\sum{a_n}が有界であれば\real{s}>0で収束し、\real{s}>0のコンパクトな部分領域で一様収束する。

### ディリクレのエル関数
ディリクレ指標\chiによるディリクレ級数で定義される関数をディリクレのエル関数という。
:L(s,\chi)=\sum_{n=1}^{\infty}\frac{\chi(n)}{n^s}
右辺のディリクレ級数は\real{s}>1で絶対収束する。また、\chi\ne\chi_0であれば、指標の直交性により\left|\sum\chi(n)\right|{\le}\varphi(d)であるから、L(s,\chi)は\real{s}>0で一様収束して正則である。L(s,\chi_0)については、法dと素な素数qを任意に選び、
:Q(s)=\left(1-\frac{q}{q^s}\right)L(s,\chi_0)=\sum_{n=1}^{\infty}\frac{\chi_0(n)}{n^s}-\sum_{m=1}^{\infty}\frac{q\chi_0(m)}{(qm)^s}=\sum_{n=1}^{\infty}\frac{b_n}{n^s}
:b_n=\begin{cases}\chi_0(n)-q\chi_0(n/q)&q|n\\\chi_0(n)&\mbox{otherwise}\end{cases}
とすると\left|\sum{b_n}\right|{\le}q\varphi(d)であるから、Q(s)は\real{s}>0で一様収束して正則である。従って、
:L(s,\chi_0)=\frac{Q(s)}{1-\frac{q}{q^s}}
はs=1+2{\pi}in/\log{q}に高々位数1の極を持つことを除き\real{s}>0で正則である。整数の素因数分解の一意性と\chi(n_1)\chi(n_2)=\chi(n_1n_2)により
:L(s,\chi)=\sum_{n=1}^{\infty}\frac{\chi(n)}{n^s}=\prod_p\left(1+\sum_{k=1}^{\infty}\frac{\chi(p^k)}{p^{ks}}\right)=\prod_p\frac{1}{1-\frac{\chi(p)}{p^s}}\qquad(\real{s}>1)
と表され、これをエル関数のオイラー乗積表示という。

### 補題
L(1,\chi)\ne0である。この補題は算術級数定理の証明の要である。この補題については複数の証明が知られているが、ここでは全面的に複素関数論に頼りながら比較的簡潔な証明を示す。複素関数論の中でも次に挙げる事実が特に重要となる。
* 正則関数の列が一様収束するとき、その極限は正則関数である。
* 局所的に一致する正則関数は大域的にも一致する。
* 正則関数の零点の位数は整数である。

既に示したように、L(s,\chi_0)がs=1に高々位数1の極を持つことを除きL(s,\chi)は正の実軸上で正則である。従って、
:\lambda(s)=\prod_{\chi}L(s,\chi)
はs=1に高々位数1の極を持つことを除き正の実軸上で正則である。対数を取ると
:\begin{align}
\log\lambda(s) &=\log\prod_{\chi}\prod_{p}\frac{1}{1-\chi(p)p^{-s}}\\
&=\sum_{\chi}\sum_{p}\log\frac{1}{1-\chi(p)p^{-s}}\\
&=\sum_{\chi}\sum_{p}\sum_{n\ge1}\chi(p^n)p^{-ns}\\
&=\sum_{p}\sum_{n\ge1}\frac{\sum_{\chi}\chi(p^n)}{(p^n)^s}\\
&=\sum_{k\ge2}\frac{c_k}{k^{s}}\\
\end{align}
:c_k=\begin{cases}
\sum_{\chi}\chi(k),&k\in\{p^n\}\\
0,&\mbox{otherwise}\\
\end{cases}
となるが、\{c_k\}が有界であるから右辺は\real{s}>1で絶対収束する。
:\begin{align}
\sum_{k\ge2}\frac{c_k}{k^s} &=\sum_{k\ge2}\frac{c_k}{k^2k^{s-2}}\\
&=\sum_{k\ge2}\frac{c_k}{k^2}e^{-(\log{k})(2-s)}\\
&=\sum_{k\ge2}\frac{c_k}{k}\sum_{m=0}^{\infty}\frac{(\log{k})^m}{m!}(2-s)^m\\
\end{align}
は少なくとも1で絶対収束するから、和の順序を交換してテイラー級数
:\sum_{k\ge2}\frac{c_k}{k^s}=\sum_{m=0}^{\infty}\left(\sum_{k\ge2}\frac{c_k(\log{k})^m}{k}\right)\frac{(2-s)^m}{m!}
が得られる。テイラー級数は収束円内で絶対収束するから、その収束円の半径をrとすると、和の順序を交換した左辺のディリクレ級数も|2-s|で収束する。しかし、s=1/\varphi(d)を代入すると、
:\begin{align}\sum_{k\ge2}\frac{c_k}{k^{1/\varphi(d)}}&=\sum_{p}\sum_{n\ge1}\frac{\sum_{\chi}\chi(p^n)}{(p^n)^{1/\varphi(d)}}\\
&\ge\sum_{p}\sum_{m\ge1}\frac{\sum_{\chi}\chi(p^{m\varphi(d)})}{(p^{m\varphi(d)})^{1/\varphi(d)}}=\sum_{p}\sum_{m\ge1}\frac{\sum_{\chi}\chi^{\varphi(d)}(p^{m})}{(p^{m})}=\sum_{p}\sum_{m\ge1}\varphi(d)
\end{align}
となって発散する。従って、rである。|2-s_0|=rとなる特異点s_0があり、
:\log\lambda(s_0)=\sum_{k\ge2}\frac{c_k}{k^{s_0}}
は発散する。仮りに\image{s_0}\ne0であるとすれば、
:\left|\sum_{k\ge2}\frac{c_k}{k^{s_0}}\right|\le\left|\sum_{k\ge2}\frac{c_k}{k^{\real{s_0}}}\right|
であるから、\log\lambda(s_0)が発散するためには\log\lambda(\real{s_0})が発散しなければならない。しかし、\real{s_0}は収束円の内部にあるから\log\lambda(\real{s_0})は収束する。従って、\image{s_0}=0である。\forall{k},c_k\ge0であるから、級数が収束するかぎり、実軸上では\log\lambda(s)\ge0であり、\lambda(s)\ge1である。従って、\lambda(s_0)は極でなければならず、そのためにはs_0=1であり、L(1,\chi_0)=\inftyであり、且つ、他は全てL(1,\chi)\ne0でなければならない。

### 算術級数定理の証明
d,kを互いに素な整数とするとき、算術級数dn+kが無数の素数を含むことを示す。エル函数のオイラー乗積表示の対数を取り、
:\begin{align}
\log{L(s,\chi)} &=\log\prod_{p}\frac{1}{1-\chi(p)p^{-s}}=\sum_{p}\sum_{n\ge1}\frac{\chi(p^n)}{p^{ns}}\qquad(s>1)\\
&=\sum_{p}{\frac{\chi(p)}{p^s}}+O(1)\\
&=\sum_{j=1}^{d}\chi(j)\sum_{p\equiv{j}}{\frac{1}{p^s}}+O(1)\\
\end{align}
である。\overline\chi(k)を乗して総和を取り、ディリクレ指標の直交性により、
:\begin{align}
\sum_{\chi}\overline\chi(k)\log{L(s,\chi)} &=\sum_{\chi}\sum_{j=1}^{d}\overline\chi(k)\chi(j)\sum_{p\equiv{j}}{\frac{1}{p^s}}+O(1)\qquad(s>1)\\
&=\sum_{\chi}\sum_{j=1}^{d}\chi(j\overline{k})\sum_{p\equiv{j}}{\frac{1}{p^s}}+O(1)\\
&=\varphi(d)\sum_{p\equiv{k}}{\frac{1}{p^s}}+O(1)\\
\end{align}
である。但し、\overline\chi(k)は\chi(k)の複素共役を表す。補題により、L(s,\chi_0)はs=1に極を持ち、他のL(s,\chi)はs=1で正則であり、且つ、L(1,\chi)\ne0であるから、左辺はs=1で有界ではない。従って、右辺もs\to1+で発散しなければならず、そのためにはp\equiv kとなる素数が無数に存在しなければならない。

## 脚注


## 関連項目
*算術級数の素数定理