チェビシェフ関数 （チェビシェフかんすう、Chebyshev function ）は、数論 における関数。パフヌティ・チェビシェフ に因んで呼ばれている。 二つの関数があり、第一チェビシェフ関数 ϑ (x ) または θ (x ) とは
ϑ
(
x
)
=
∑
p
≤
x
ln
p
{\displaystyle \vartheta (x)=\sum _{p\leq x}\ln p}
で定義される関数のことであり、第二チェビシェフ関数 ψ (x ) とは
ψ
(
x
)
=
∑
p
k
≤
x
ln
p
=
∑
n
≤
x
Λ
(
n
)
{\displaystyle \psi (x)=\sum _{p^{k}\leq x}\ln p=\sum _{n\leq x}\Lambda (n)}
で定義される関数のことである。ここで
Λ
{\displaystyle \Lambda }
フォン・マンゴルト関数 である。
これらの関数はともに x より小さな素数 の分布に関する情報を与える点で素数計数関数 π (x ) と類似しているが、素数の分布に関する定理を証明する上では素数計数関数より使いやすく、そのため一般には素数の分布に関する定理の証明ではチェビシェフ関数が用いられることが多い。
基本的性質 第二チェビシェフ関数は第一チェビシェフ関数を使って
ψ
(
x
)
=
∑
1
≤
n
≤
ln
2
x
ϑ
(
x
1
/
n
)
.
{\displaystyle \psi (x)=\sum _{1\leq n\leq \ln _{2}x}\vartheta \left(x^{1/n}\right).}
と表される。したがって
|
ψ
(
x
)
−
ϑ
(
x
)
|
=
x
+
(
1
+
o
(
1
)
)
x
3
{\displaystyle |\psi (x)-\vartheta (x)|={\sqrt {x}}+(1+o(1)){\sqrt[{3}]{x}}}
により、 第一チェビシェフ関数と第二チェビシェフ関数の差は比較的小さいことが示される。チェビシェフ関数と素数計数関数 π (x ) との間には、
π
(
x
)
=
∑
p
≤
x
ln
p
∫
p
x
d
t
t
ln
2
t
+
1
ln
x
∑
p
≤
x
ln
p
=
∫
2
x
ϑ
(
t
)
d
t
t
ln
2
t
+
ϑ
(
x
)
ln
x
.
{\displaystyle \pi (x)=\sum _{p\leq x}\ln p\int _{p}^{x}{\frac {dt}{t\ln ^{2}t}}+{\frac {1}{\ln x}}\sum _{p\leq x}\ln p=\int _{2}^{x}{\frac {\vartheta (t)\,dt}{t\ln ^{2}t}}+{\frac {\vartheta (x)}{\ln x}}.}
という関係が成り立つ。
また、第二チェビシェフ関数は 1 から n までのすべての整数の最小公倍数 の対数に等しい：
lcm
(
1
,
2
,
…
,
n
)
=
e
ψ
(
n
)
.
{\displaystyle \operatorname {lcm} (1,2,\dots ,n)=e^{\psi (n)}.}
ゼータ関数との関係 第二チェビシェフ関数を補正した関数
ψ
0
(
x
)
=
lim
h
→
0
1
2
(
ψ
(
x
+
h
)
+
ψ
(
x
−
h
)
)
=
1
2
(
∑
n
≤
x
Λ
(
n
)
+
∑
n
<
x
Λ
(
n
)
)
=
{
ψ
(
x
)
−
1
2
Λ
(
x
)
x
=
2
,
3
,
4
,
5
,
7
,
8
,
9
,
11
,
13
,
16
,
…
ψ
(
x
)
otherwise.
{\displaystyle \psi _{0}(x)=\lim _{h\rightarrow 0}{\frac {1}{2}}\left(\psi (x+h)+\psi (x-h)\right)={\frac {1}{2}}\left(\sum _{n\leq x}\Lambda (n)+\sum _{n<x}\Lambda (n)\right)={\begin{cases}\psi (x)-{\frac {1}{2}}\Lambda (x)&x=2,3,4,5,7,8,9,11,13,16,\dots \\\psi (x)&{\mbox{otherwise.}}\end{cases}}}
は、リーマンゼータ関数 を使い、
ψ
0
(
x
)
=
x
−
∑
ρ
x
ρ
ρ
−
ln
(
2
π
)
−
1
2
ln
(
1
−
x
−
2
)
.
{\displaystyle \psi _{0}(x)=x-\sum _{\rho }{\frac {x^{\rho }}{\rho }}-\ln(2\pi )-{\frac {1}{2}}\ln(1-x^{-2}).}
と表示できる。ここで
ρ
{\displaystyle \rho }
ψ
0
(
x
)
∼
x
{\displaystyle \psi _{0}(x)\sim x}
がわかり、ここから、前節の性質を用いて素数定理
π
(
x
)
∼
x
ln
x
{\displaystyle \pi (x)\sim {\frac {x}{\ln x}}}
を導くことができる。
値の評価 現在、下記の評価が知られている：[1] [2] p 1 = 2, p 2 = 3, ... といった具合に p k k 番目の素数を表す）
ϑ
(
p
k
)
≥
k
(
ln
k
+
ln
ln
k
−
1
+
ln
ln
k
−
2.050735
ln
k
)
{\displaystyle \vartheta (p_{k})\geq k\left(\ln k+\ln \ln k-1+{\frac {\ln \ln k-2.050735}{\ln k}}\right)}
k
≥
10
11
,
{\displaystyle k\geq 10^{11},}
ϑ
(
p
k
)
≤
k
(
ln
k
+
ln
ln
k
−
1
+
ln
ln
k
−
2
ln
k
)
{\displaystyle \vartheta (p_{k})\leq k\left(\ln k+\ln \ln k-1+{\frac {\ln \ln k-2}{\ln k}}\right)}
k
≥
198
,
{\displaystyle k\geq 198,}
|
ϑ
(
x
)
−
x
|
≤
0.006788
x
ln
x
{\displaystyle |\vartheta (x)-x|\leq 0.006788{\frac {x}{\ln x}}}
x
≥
10544111
,
{\displaystyle x\geq 10544111,}
|
ψ
(
x
)
−
x
|
≤
0.006409
x
ln
x
{\displaystyle |\psi (x)-x|\leq 0.006409{\frac {x}{\ln x}}}
x
≥
e
2
2
,
{\displaystyle x\geq e^{2}2,}
ψ
(
x
)
<
(
1
+
1
36260
)
x
{\displaystyle \psi (x)<\left(1+{\frac {1}{36260}}\right)x}
x
>
0
,
{\displaystyle x>0,}
ψ
(
x
)
−
ϑ
(
x
)
>
0.9999
x
{\displaystyle \psi (x)-\vartheta (x)>0.9999{\sqrt {x}}}
x
≥
121
,
{\displaystyle x\geq 121,}
0.9999
x
<
ψ
(
x
)
−
ϑ
(
x
)
<
1.00007
x
+
1.78
x
3
{\displaystyle 0.9999{\sqrt {x}}<\psi (x)-\vartheta (x)<1.00007{\sqrt {x}}+1.78{\sqrt[{3}]{x}}}
x
>
0
,
{\displaystyle x>0,}
また、リーマン予想により、次の評価が得られる：[3]
|
ϑ
(
x
)
−
x
|
<
1
8
π
x
ln
2
x
{\displaystyle |\vartheta (x)-x|<{\frac {1}{8\pi }}{\sqrt {x}}\ln ^{2}x}
x
≥
599
,
{\displaystyle x\geq 599,}
|
ψ
(
x
)
−
x
|
<
1
8
π
x
ln
2
x
{\displaystyle |\psi (x)-x|<{\frac {1}{8\pi }}{\sqrt {x}}\ln ^{2}x}
x
≥
73.2
,
{\displaystyle x\geq 73.2,}
これらの評価にはリーマンのゼータ関数の零点に関する評価と、チェビシェフ関数に対する複雑な近似公式が必要である。
初等的な評価 一方、初等的な方法により
ϑ
(
n
)
<
2
n
ln
2
{\displaystyle \vartheta (n)<2n\ln 2}
n
=
1
,
2
,
…
{\displaystyle n=1,2,\ldots }
となることを証明することができる。[1]
n
=
1
{\displaystyle n=1}
ϑ
(
n
)
=
0
<
2
ln
2.
{\displaystyle \vartheta (n)=0<2\ln 2.}
n
=
2
{\displaystyle n=2}
ϑ
(
n
)
=
ln
2
<
4
ln
2.
{\displaystyle \vartheta (n)=\ln 2<4\ln 2.}
ここで、 n が m -1 以下の整数のとき、上記の不等式が正しいと仮定する。
m
>
2
{\displaystyle m>2}
ϑ
(
m
)
=
ϑ
(
m
−
1
)
<
2
(
m
−
1
)
ln
2
<
2
m
ln
2.
{\displaystyle \vartheta (m)=\vartheta (m-1)<2(m-1)\ln 2<2m\ln 2.}
m
>
2
{\displaystyle m>2}
m
=
2
l
+
1
{\displaystyle m=2l+1}
二項定理 より
(
2
l
+
1
l
)
=
1
2
[
(
2
l
+
1
l
)
+
(
2
l
+
1
l
+
1
)
]
<
1
2
∑
k
=
0
2
l
+
1
(
2
l
+
1
k
)
=
1
2
(
1
+
1
)
2
l
+
1
=
4
l
{\displaystyle {\binom {2l+1}{l}}={\frac {1}{2}}\left[{\binom {2l+1}{l}}+{\binom {2l+1}{l+1}}\right]<{\frac {1}{2}}\sum _{k=0}^{2l+1}{\binom {2l+1}{k}}={\frac {1}{2}}(1+1)^{2l+1}=4^{l}}
が成り立つ。
l
+
1
<
p
≤
2
l
+
1
{\displaystyle l+1<p\leq 2l+1}
p はすべて
(
2
l
+
1
l
)
{\displaystyle \textstyle {\binom {2l+1}{l}}}
を割り切るので、
ϑ
(
2
l
+
1
)
−
ϑ
(
l
+
1
)
=
∑
l
+
1
<
p
≤
2
l
+
1
ln
p
≤
ln
(
2
l
+
1
l
)
<
2
l
ln
2.
{\displaystyle \vartheta (2l+1)-\vartheta (l+1)=\sum _{l+1<p\leq 2l+1}\ln p\leq \ln {\binom {2l+1}{l}}<2l\ln 2.}
よって
ϑ
(
2
l
+
1
)
<
2
l
ln
2
+
ϑ
(
l
+
1
)
<
2
l
ln
2
+
2
(
l
+
1
)
ln
2
=
2
(
2
l
+
1
)
ln
2.
{\displaystyle \vartheta (2l+1)<2l\ln 2+\vartheta (l+1)<2l\ln 2+2(l+1)\ln 2=2(2l+1)\ln 2.}
以上より、数学的帰納法 により上記の不等式が正しいことが証明された。
この議論はベルトラン＝チェビシェフの定理 やメルテンスの定理 といった、素数に関する評価を初等的に証明する上でも重要な役割を果たす。
Notes
^ Hardy, G.H. ; Wright, E.M. (2008) [1938], An Introduction to the Theory of Numbers , Revised by D.R. Heath-Brown and J.H. Silverman. Foreword by Andrew Wiles. (6th ed.), Oxford: Oxford University Press , ISBN 978-0-19-921986-5 ,
Zbl 1159.11001
^ arXiv :1002.0442 ^ p k k th prime is greater than k (ln k + ln ln k − 1) for k ≥ 2", Mathematics of Computation , Vol. 68, No. 225 (1999), pp. 411–415.^ x )$ and ψ(x ) II, Mathematics of Computation , Vol. 30 , No. 134 (1976), pp. 337–360.^ x )$ and ψ(x ) II, Mathematics of Computation , Vol. 30 , No. 134 (1976), pp. 337–360.
![{\displaystyle |\psi (x)-\vartheta (x)|={\sqrt {x}}+(1+o(1)){\sqrt[{3}]{x}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/73c5c2b4d0dac1ddf7691dd5a15546866baadb78)
![{\displaystyle 0.9999{\sqrt {x}}<\psi (x)-\vartheta (x)<1.00007{\sqrt {x}}+1.78{\sqrt[{3}]{x}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f23572980d8e8a3cab566328223ba3e7799eec6b)
![{\displaystyle {\binom {2l+1}{l}}={\frac {1}{2}}\left[{\binom {2l+1}{l}}+{\binom {2l+1}{l+1}}\right]<{\frac {1}{2}}\sum _{k=0}^{2l+1}{\binom {2l+1}{k}}={\frac {1}{2}}(1+1)^{2l+1}=4^{l}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/16850a8b666dac7cd4e4d4e3e19405ad528cb197)
