素数が無数に存在するということは古代から知られてきた事実であるが、ゼータ関数 のオイラー乗積表示にも端的に顕われている。
ζ
(
s
)
=
∑
n
=
1
∞
1
n
s
=
∏
p
1
1
−
p
−
s
{\displaystyle \zeta (s)=\sum _{n=1}^{\infty }{\frac {1}{n^{s}}}=\prod _{p}{\frac {1}{1-p^{-s}}}}
この左辺のゼータ関数は
s
=
1
{\displaystyle s=1}
に極を持つから、右辺も発散しなければならず、そのためには無限個の素数が存在しなければならない。これに倣い、任意の算術級数に含まれる素数で構成された総和が発散することをもってディリクレの算術級数定理が証明される。
以下の記号を用いる。
(
d
,
n
)
{\displaystyle (d,n)}
は
d
{\displaystyle d}
と
n
{\displaystyle n}
の最大公約数 を表す。
φ
(
d
)
{\displaystyle \varphi (d)}
はオイラー関数 (totient)を表す。
χ
{\displaystyle \chi }
はディリクレ指標 (Dirichlet's characteristic)を表す。
∑
p
{\displaystyle \sum _{p}}
は全ての素数について和を取ることを示す。
∑
p
≡
k
{\displaystyle \sum _{p\equiv {k}}}
は法
d
{\displaystyle d}
で
k
{\displaystyle k}
と合同な全ての素数について和を取ることを示す。
∑
χ
{\displaystyle \sum _{\chi }}
は法
d
{\displaystyle d}
の全てのディリクレ指標について和を取ることを示す。
整数から複素数への写像
χ
:
Z
↦
C
{\displaystyle \chi :\mathbb {Z} \mapsto \mathbb {C} }
で下記の性質を満たすものを法
d
{\displaystyle d}
のディリクレ指標 という。
(
d
,
n
)
=
1
⇔
χ
(
n
)
≠
0
{\displaystyle (d,n)=1\Leftrightarrow \chi (n)\neq 0}
χ
(
n
1
)
χ
(
n
2
)
=
χ
(
n
1
n
2
)
{\displaystyle \chi (n_{1})\chi (n_{2})=\chi (n_{1}n_{2})}
χ
(
n
+
d
)
=
χ
(
n
)
{\displaystyle \chi (n+d)=\chi (n)}
特に、
χ
0
(
n
)
≠
0
{\displaystyle \chi _{0}(n)\neq 0}
ならば
χ
0
(
n
)
=
1
{\displaystyle \chi _{0}(n)=1}
となる
χ
0
(
n
)
{\displaystyle \chi _{0}(n)}
を自明な指標と呼ぶ。
正の整数
d
{\displaystyle d}
につき
φ
(
d
)
{\displaystyle \varphi (d)}
個のディリクレ指標があり、それらは群 を成す。ディリクレ指標には直交性がある。
∑
n
=
1
d
χ
(
n
)
=
{
φ
(
d
)
χ
=
χ
0
0
χ
≠
χ
0
{\displaystyle \sum _{n=1}^{d}\chi (n)={\begin{cases}\varphi (d)&\chi =\chi _{0}\\0&\chi \neq \chi _{0}\end{cases}}}
∑
χ
χ
(
n
)
=
{
φ
(
d
)
n
≡
1
0
n
≢
1
{\displaystyle \sum _{\chi }\chi (n)={\begin{cases}\varphi (d)&n\equiv 1\\0&n\not \equiv 1\end{cases}}}
次式の形の級数 をディリクレ級数 という。
∑
n
=
1
∞
a
n
n
s
{\displaystyle \sum _{n=1}^{\infty }{\frac {a_{n}}{n^{s}}}}
ディリクレ級数は、
|
∑
n
=
1
∞
a
n
n
s
|
≤
sup
|
a
n
|
∑
n
=
1
∞
1
n
ℜ
s
≤
sup
|
a
n
|
(
1
+
∫
u
=
1
∞
d
u
u
ℜ
s
)
{\displaystyle \left|\sum _{n=1}^{\infty }{\frac {a_{n}}{n^{s}}}\right|\leq \sup {|a_{n}|}\sum _{n=1}^{\infty }{\frac {1}{n^{\Re {s}}}}\leq \sup {|a_{n}|}\left(1+\int _{u=1}^{\infty }{\frac {du}{u^{\Re {s}}}}\right)}
であるから、
a
n
{\displaystyle a_{n}}
が有界であれば
ℜ
s
>
1
{\displaystyle \Re {s}>1}
で絶対収束 し、
ℜ
s
>
1
{\displaystyle \Re {s}>1}
のコンパクト な部分領域で絶対一様収束する。更に、
∑
n
=
N
M
a
n
n
s
=
∑
n
=
N
M
∑
m
=
1
n
a
m
(
1
n
s
−
1
(
n
+
1
)
s
)
−
∑
m
=
1
N
−
1
a
m
N
s
+
∑
m
=
1
M
a
m
(
M
+
1
)
s
{\displaystyle \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}}}}
|
1
n
s
−
1
(
n
+
1
)
s
|
=
|
s
∫
u
=
n
n
+
1
d
u
u
s
+
1
|
≤
|
s
|
∫
u
=
n
n
+
1
d
u
u
ℜ
s
+
1
≤
|
s
|
ℜ
s
(
1
n
ℜ
s
−
1
(
n
+
1
)
ℜ
s
)
=
|
s
|
ℜ
s
O
(
n
ℜ
s
+
1
)
{\displaystyle \left|{\frac {1}{n^{s}}}-{\frac {1}{(n+1)^{s}}}\right|=\left|s\int _{u=n}^{n+1}{\frac {du}{u^{s+1}}}\right|\leq |s|\int _{u=n}^{n+1}{\frac {du}{u^{\Re {s}+1}}}\leq {\frac {|s|}{\Re {s}}}\left({\frac {1}{n^{\Re {s}}}}-{\frac {1}{(n+1)^{\Re {s}}}}\right)={\frac {|s|}{\Re {s}}}O\left(n^{\Re {s}+1}\right)}
であるから、
∑
a
n
{\displaystyle \sum {a_{n}}}
が有界であれば
ℜ
s
>
0
{\displaystyle \Re {s}>0}
で収束 し、
ℜ
s
>
0
{\displaystyle \Re {s}>0}
のコンパクトな部分領域で一様収束する。
ディリクレ指標
χ
{\displaystyle \chi }
によるディリクレ級数で定義される関数をディリクレのエル関数 という。
L
(
s
,
χ
)
=
∑
n
=
1
∞
χ
(
n
)
n
s
{\displaystyle L(s,\chi )=\sum _{n=1}^{\infty }{\frac {\chi (n)}{n^{s}}}}
右辺のディリクレ級数は
ℜ
s
>
1
{\displaystyle \Re {s}>1}
で絶対収束する。また、
χ
≠
χ
0
{\displaystyle \chi \neq \chi _{0}}
であれば、指標の直交性により
|
∑
χ
(
n
)
|
≤
φ
(
d
)
{\displaystyle \left|\sum \chi (n)\right|{\leq }\varphi (d)}
であるから、
L
(
s
,
χ
)
{\displaystyle L(s,\chi )}
は
ℜ
s
>
0
{\displaystyle \Re {s}>0}
で一様収束して正則である。
L
(
s
,
χ
0
)
{\displaystyle L(s,\chi _{0})}
については、法
d
{\displaystyle d}
と素な素数
q
{\displaystyle q}
を任意に選び、
Q
(
s
)
=
(
1
−
q
q
s
)
L
(
s
,
χ
0
)
=
∑
n
=
1
∞
χ
0
(
n
)
n
s
−
∑
m
=
1
∞
q
χ
0
(
m
)
(
q
m
)
s
=
∑
n
=
1
∞
b
n
n
s
{\displaystyle 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
=
{
χ
0
(
n
)
−
q
χ
0
(
n
/
q
)
q
|
n
χ
0
(
n
)
otherwise
{\displaystyle b_{n}={\begin{cases}\chi _{0}(n)-q\chi _{0}(n/q)&q|n\\\chi _{0}(n)&{\mbox{otherwise}}\end{cases}}}
とすると
|
∑
b
n
|
≤
q
φ
(
d
)
{\displaystyle \left|\sum {b_{n}}\right|{\leq }q\varphi (d)}
であるから、
Q
(
s
)
{\displaystyle Q(s)}
は
ℜ
s
>
0
{\displaystyle \Re {s}>0}
で一様収束して正則である。従って、
L
(
s
,
χ
0
)
=
Q
(
s
)
1
−
q
q
s
{\displaystyle L(s,\chi _{0})={\frac {Q(s)}{1-{\frac {q}{q^{s}}}}}}
は
s
=
1
+
2
π
i
n
/
log
q
{\displaystyle s=1+2{\pi }in/\log {q}}
に高々位数1の極を持つことを除き
ℜ
s
>
0
{\displaystyle \Re {s}>0}
で正則である。整数の素因数分解の一意性と
χ
(
n
1
)
χ
(
n
2
)
=
χ
(
n
1
n
2
)
{\displaystyle \chi (n_{1})\chi (n_{2})=\chi (n_{1}n_{2})}
により
L
(
s
,
χ
)
=
∑
n
=
1
∞
χ
(
n
)
n
s
=
∏
p
(
1
+
∑
k
=
1
∞
χ
(
p
k
)
p
k
s
)
=
∏
p
1
1
−
χ
(
p
)
p
s
(
ℜ
s
>
1
)
{\displaystyle 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 (\Re {s}>1)}
と表され、これをエル関数のオイラー乗積表示という。
L
(
1
,
χ
)
≠
0
{\displaystyle L(1,\chi )\neq 0}
である。この補題は算術級数定理の証明の要である。この補題については複数の証明が知られているが、ここでは全面的に複素関数論に頼りながら比較的簡潔な証明を示す。複素関数論の中でも次に挙げる事実が特に重要となる。
正則関数 の列が一様収束 するとき、その極限は正則関数である。
局所的に一致する正則関数は大域的にも一致する。
正則関数の零点の位数は整数である。
既に示したように、
L
(
s
,
χ
0
)
{\displaystyle L(s,\chi _{0})}
が
s
=
1
{\displaystyle s=1}
に高々位数1の極を持つことを除き
L
(
s
,
χ
)
{\displaystyle L(s,\chi )}
は正の実軸上で正則である。従って、
λ
(
s
)
=
∏
χ
L
(
s
,
χ
)
{\displaystyle \lambda (s)=\prod _{\chi }L(s,\chi )}
は
s
=
1
{\displaystyle s=1}
に高々位数1の極を持つことを除き正の実軸上で正則である。対数を取ると
log
λ
(
s
)
=
log
∏
χ
∏
p
1
1
−
χ
(
p
)
p
−
s
=
∑
χ
∑
p
log
1
1
−
χ
(
p
)
p
−
s
=
∑
χ
∑
p
∑
n
≥
1
χ
(
p
n
)
p
−
n
s
=
∑
p
∑
n
≥
1
∑
χ
χ
(
p
n
)
(
p
n
)
s
=
∑
k
≥
2
c
k
k
s
{\displaystyle {\begin{aligned}\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\geq 1}\chi (p^{n})p^{-ns}\\&=\sum _{p}\sum _{n\geq 1}{\frac {\sum _{\chi }\chi (p^{n})}{(p^{n})^{s}}}\\&=\sum _{k\geq 2}{\frac {c_{k}}{k^{s}}}\\\end{aligned}}}
c
k
=
{
∑
χ
χ
(
k
)
,
k
∈
{
p
n
}
0
,
otherwise
{\displaystyle c_{k}={\begin{cases}\sum _{\chi }\chi (k),&k\in \{p^{n}\}\\0,&{\mbox{otherwise}}\\\end{cases}}}
となるが、
{
c
k
}
{\displaystyle \{c_{k}\}}
が有界であるから右辺は
ℜ
s
>
1
{\displaystyle \Re {s}>1}
で絶対収束する。
∑
k
≥
2
c
k
k
s
=
∑
k
≥
2
c
k
k
2
k
s
−
2
=
∑
k
≥
2
c
k
k
2
e
−
(
log
k
)
(
2
−
s
)
=
∑
k
≥
2
c
k
k
∑
m
=
0
∞
(
log
k
)
m
m
!
(
2
−
s
)
m
{\displaystyle {\begin{aligned}\sum _{k\geq 2}{\frac {c_{k}}{k^{s}}}&=\sum _{k\geq 2}{\frac {c_{k}}{k^{2}k^{s-2}}}\\&=\sum _{k\geq 2}{\frac {c_{k}}{k^{2}}}e^{-(\log {k})(2-s)}\\&=\sum _{k\geq 2}{\frac {c_{k}}{k}}\sum _{m=0}^{\infty }{\frac {(\log {k})^{m}}{m!}}(2-s)^{m}\\\end{aligned}}}
は少なくとも
1
<
s
<
2
{\displaystyle 1<s<2}
で絶対収束するから、和の順序を交換してテイラー級数
∑
k
≥
2
c
k
k
s
=
∑
m
=
0
∞
(
∑
k
≥
2
c
k
(
log
k
)
m
k
)
(
2
−
s
)
m
m
!
{\displaystyle \sum _{k\geq 2}{\frac {c_{k}}{k^{s}}}=\sum _{m=0}^{\infty }\left(\sum _{k\geq 2}{\frac {c_{k}(\log {k})^{m}}{k}}\right){\frac {(2-s)^{m}}{m!}}}
が得られる。テイラー級数は収束円内で絶対収束するから、その収束円の半径を
r
{\displaystyle r}
とすると、和の順序を交換した左辺のディリクレ級数も
|
2
−
s
|
<
r
{\displaystyle |2-s|<r}
で収束する。しかし、
s
=
1
/
φ
(
d
)
{\displaystyle s=1/\varphi (d)}
を代入すると、
∑
k
≥
2
c
k
k
1
/
φ
(
d
)
=
∑
p
∑
n
≥
1
∑
χ
χ
(
p
n
)
(
p
n
)
1
/
φ
(
d
)
≥
∑
p
∑
m
≥
1
∑
χ
χ
(
p
m
φ
(
d
)
)
(
p
m
φ
(
d
)
)
1
/
φ
(
d
)
=
∑
p
∑
m
≥
1
∑
χ
χ
φ
(
d
)
(
p
m
)
(
p
m
)
=
∑
p
∑
m
≥
1
φ
(
d
)
{\displaystyle {\begin{aligned}\sum _{k\geq 2}{\frac {c_{k}}{k^{1/\varphi (d)}}}&=\sum _{p}\sum _{n\geq 1}{\frac {\sum _{\chi }\chi (p^{n})}{(p^{n})^{1/\varphi (d)}}}\\&\geq \sum _{p}\sum _{m\geq 1}{\frac {\sum _{\chi }\chi (p^{m\varphi (d)})}{(p^{m\varphi (d)})^{1/\varphi (d)}}}=\sum _{p}\sum _{m\geq 1}{\frac {\sum _{\chi }\chi ^{\varphi (d)}(p^{m})}{(p^{m})}}=\sum _{p}\sum _{m\geq 1}\varphi (d)\end{aligned}}}
となって発散する。従って、
r
<
2
{\displaystyle r<2}
である。
|
2
−
s
0
|
=
r
{\displaystyle |2-s_{0}|=r}
となる特異点
s
0
{\displaystyle s_{0}}
があり、
log
λ
(
s
0
)
=
∑
k
≥
2
c
k
k
s
0
{\displaystyle \log \lambda (s_{0})=\sum _{k\geq 2}{\frac {c_{k}}{k^{s_{0}}}}}
は発散する。仮りに
ℑ
s
0
≠
0
{\displaystyle \Im {s_{0}}\neq 0}
であるとすれば、
|
∑
k
≥
2
c
k
k
s
0
|
≤
|
∑
k
≥
2
c
k
k
ℜ
s
0
|
{\displaystyle \left|\sum _{k\geq 2}{\frac {c_{k}}{k^{s_{0}}}}\right|\leq \left|\sum _{k\geq 2}{\frac {c_{k}}{k^{\Re {s_{0}}}}}\right|}
であるから、
log
λ
(
s
0
)
{\displaystyle \log \lambda (s_{0})}
が発散するためには
log
λ
(
ℜ
s
0
)
{\displaystyle \log \lambda (\Re {s_{0}})}
が発散しなければならない。しかし、
ℜ
s
0
{\displaystyle \Re {s_{0}}}
は収束円の内部にあるから
log
λ
(
ℜ
s
0
)
{\displaystyle \log \lambda (\Re {s_{0}})}
は収束する。従って、
ℑ
s
0
=
0
{\displaystyle \Im {s_{0}}=0}
である。
∀
k
,
c
k
≥
0
{\displaystyle \forall {k},c_{k}\geq 0}
であるから、級数が収束するかぎり、実軸上では
log
λ
(
s
)
≥
0
{\displaystyle \log \lambda (s)\geq 0}
であり、
λ
(
s
)
≥
1
{\displaystyle \lambda (s)\geq 1}
である。従って、
λ
(
s
0
)
{\displaystyle \lambda (s_{0})}
は極でなければならず、そのためには
s
0
=
1
{\displaystyle s_{0}=1}
であり、
L
(
1
,
χ
0
)
=
∞
{\displaystyle L(1,\chi _{0})=\infty }
であり、且つ、他は全て
L
(
1
,
χ
)
≠
0
{\displaystyle L(1,\chi )\neq 0}
でなければならない。
d
,
k
{\displaystyle d,k}
を互いに素な整数とするとき、算術級数
d
n
+
k
{\displaystyle dn+k}
が無数の素数を含むことを示す。エル函数のオイラー乗積表示の対数を取り、
log
L
(
s
,
χ
)
=
log
∏
p
1
1
−
χ
(
p
)
p
−
s
=
∑
p
∑
n
≥
1
χ
(
p
n
)
p
n
s
(
s
>
1
)
=
∑
p
χ
(
p
)
p
s
+
O
(
1
)
=
∑
j
=
1
d
χ
(
j
)
∑
p
≡
j
1
p
s
+
O
(
1
)
{\displaystyle {\begin{aligned}\log {L(s,\chi )}&=\log \prod _{p}{\frac {1}{1-\chi (p)p^{-s}}}=\sum _{p}\sum _{n\geq 1}{\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{aligned}}}
である。
χ
¯
(
k
)
{\displaystyle {\overline {\chi }}(k)}
を乗して総和を取り、ディリクレ指標の直交性により、
∑
χ
χ
¯
(
k
)
log
L
(
s
,
χ
)
=
∑
χ
∑
j
=
1
d
χ
¯
(
k
)
χ
(
j
)
∑
p
≡
j
1
p
s
+
O
(
1
)
(
s
>
1
)
=
∑
χ
∑
j
=
1
d
χ
(
j
k
¯
)
∑
p
≡
j
1
p
s
+
O
(
1
)
=
φ
(
d
)
∑
p
≡
k
1
p
s
+
O
(
1
)
{\displaystyle {\begin{aligned}\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{aligned}}}
である。但し、
χ
¯
(
k
)
{\displaystyle {\overline {\chi }}(k)}
は
χ
(
k
)
{\displaystyle \chi (k)}
の複素共役を表す。補題により、
L
(
s
,
χ
0
)
{\displaystyle L(s,\chi _{0})}
は
s
=
1
{\displaystyle s=1}
に極を持ち、他の
L
(
s
,
χ
)
{\displaystyle L(s,\chi )}
は
s
=
1
{\displaystyle s=1}
で正則であり、且つ、
L
(
1
,
χ
)
≠
0
{\displaystyle L(1,\chi )\neq 0}
であるから、左辺は
s
=
1
{\displaystyle s=1}
で有界ではない。従って、右辺も
s
→
1
+
{\displaystyle s\to 1+}
で発散しなければならず、そのためには
p
≡
k
{\displaystyle p\equiv k}
となる素数が無数に存在しなければならない。