Števílo práštevíl je v matematiki nemultiplikativna aritmetična funkcija poljubnega pozitivnega realnega števila
x
{\displaystyle x\,}
, ki se jo označi s
π
(
x
)
{\displaystyle \pi (x)\,}
, in da število praštevil , ki ne presegajo
x
{\displaystyle x\,}
. Po navadi se namesto realnega števila vzame pozitivno celo število
n
{\displaystyle n\,}
. Prve vrednosti
π
(
n
)
{\displaystyle \pi (n)\,}
za n = 1 , 2 , 3 , ... so (OEIS A000720 ):
0 , 1, 2, 2, 3, 3, 4 , 4, 4, 4, 5 , 5, 6 , 6, 6, 7 , 7, 8 , 8, ...
Graf prvih 60 vrednosti funkcije
π
(
n
)
{\displaystyle \pi (n)\,}
V teoriji števil je pomembno raziskovanje obnašanja števila praštevil. Gauss in Legendre sta domnevala , da je vrednost funkcije približno enaka:
x
/
ln
x
,
{\displaystyle x/\ln x\!\,,}
tako da je limita kvocienta funkcij
π
(
x
)
{\displaystyle \pi (x)\,}
in
x
/
ln
x
{\displaystyle x/\ln x\,}
:
lim
x
→
+
∞
π
(
x
)
x
/
ln
x
=
1
.
{\displaystyle \lim _{x\rightarrow +\infty }{\frac {\pi (x)}{x/\operatorname {ln} \,x}}=1\!\,.}
Asimptotično obnašanje
π
(
x
)
∼
x
/
ln
x
{\displaystyle \pi (x)\sim x/\ln x\,}
, je dano s praštevilskim izrekom .
Enakovredno kot zgoraj velja:
lim
x
→
+
∞
π
(
x
)
/
li
(
x
)
=
1
,
{\displaystyle \lim _{x\rightarrow +\infty }\pi (x)/\operatorname {li} (x)=1\!\,,}
kjer je
li
(
x
)
{\displaystyle \operatorname {li} (x)\,}
fukcija logaritemskega integrala . Praštevilski izrek sta leta 1896 neodvisno dokazala Hadamard in La Vallée Poussin s pomočjo značilnosti Riemannove funkcije ζ , ki jo je uvedel Riemann leta 1859.
Znane so točnejše ocene za
π
(
x
)
{\displaystyle \pi (x)\,}
, kot je na primer:
π
(
x
)
=
li
(
x
)
+
O
(
x
exp
(
−
ln
(
x
)
15
)
)
,
{\displaystyle \pi (x)=\operatorname {li} (x)+{\mathcal {O}}\left(x\exp \left(-{\frac {\sqrt {\ln(x)}}{15}}\right)\right)\!\,,}
kjer je
O
{\displaystyle {\mathcal {O}}\,}
Landauov simbol . Elementarne dokaze praštevilskega izreka brez uporabe funkcije ζ ali kompleksne analize sta leta 1948 večinoma neodvisno odkrila Selberg in Erdős .
Funkcijo
π
(
x
)
{\displaystyle \pi (x)\,}
je raziskoval James Joseph Sylvester .
Podobna je domneva za praštevilske vrste:
G
(
n
,
x
)
=
∑
p
x
p
n
∼
π
(
x
n
+
1
)
.
{\displaystyle G(n,x)=\sum _{p}^{x}p^{n}\sim \pi (x^{n+1})\!\,.}
Algoritmi za računanje
π
(
x
)
{\displaystyle \pi (x)\,}
[ uredi | uredi kodo ]
Preprost način za računanje
π
(
x
)
{\displaystyle \pi (x)\,}
, če
x
{\displaystyle x\,}
ni prevelik, je Eratostenovo sito , s katerim se najde praštevila manjša ali enaka
x
{\displaystyle x\,}
, in se jih prešteje.
Bolj izdelano pot je podal Legendre. Če so za dani
x
{\displaystyle x\,}
p
1
{\displaystyle p_{1}\,}
,
p
2
{\displaystyle p_{2}\,}
, ...,
p
k
{\displaystyle p_{k}\,}
različna praštevila, je število celih števil manjših ali enakih od
x
{\displaystyle x\,}
, ki niso deljiva s
p
i
{\displaystyle p_{i}\,}
:
⌊
x
⌋
−
∑
i
⌊
x
p
i
⌋
+
∑
i
<
j
⌊
x
p
i
p
j
⌋
−
∑
i
<
j
<
k
⌊
x
p
i
p
j
p
k
⌋
+
⋯
,
{\displaystyle \lfloor x\rfloor -\sum _{i}\left\lfloor {\frac {x}{p_{i}}}\right\rfloor +\sum _{i<j}\left\lfloor {\frac {x}{p_{i}p_{j}}}\right\rfloor -\sum _{i<j<k}\left\lfloor {\frac {x}{p_{i}p_{j}p_{k}}}\right\rfloor +\cdots \!\,,}
kjer je
⌊
⋅
⌋
{\displaystyle \lfloor \cdot \rfloor }
funkcija celega dela . To število je tako enako:
π
(
x
)
−
π
(
x
)
+
1
,
{\displaystyle \pi (x)-\pi \left({\sqrt {x}}\right)+1\ \;,}
kjer so števila
p
1
,
p
2
,
…
,
p
k
{\displaystyle p_{1},p_{2},\dots ,p_{k}\,}
praštevila manjša ali enaka kvadratnemu korenu od
x
{\displaystyle x\,}
.
Meissel je v nizu člankov, objavljenih med letoma 1870 in 1885, opisal in uporabil praktični kombinatorični način računanja
π
(
x
)
{\displaystyle \pi (x)\,}
. Naj bodo
p
1
{\displaystyle p_{1}\,}
,
p
2
{\displaystyle p_{2}\,}
, ...,
p
n
{\displaystyle p_{n}\,}
prva
n
{\displaystyle n\,}
praštevila in naj
Φ
(
m
,
n
)
{\displaystyle \Phi (m,n)\,}
označuje število naravnih števil manjših od
m
{\displaystyle m\,}
, ki niso deljiva s kakšnim
p
i
{\displaystyle p_{i}\,}
. Potem velja:
Φ
(
m
,
n
)
=
Φ
(
m
,
n
−
1
)
−
Φ
(
[
m
p
n
]
,
n
−
1
)
.
{\displaystyle \Phi (m,n)=\Phi (m,n-1)-\Phi \left(\left[{\frac {m}{p_{n}}}\right],n-1\right)\!\,.}
Če za dano naravno število
m
{\displaystyle m\,}
velja
n
=
π
(
m
3
)
{\displaystyle n=\pi \left({\sqrt[{3}]{m}}\right)\,}
in
μ
=
π
(
m
)
−
n
{\displaystyle \mu =\pi \left({\sqrt {m}}\right)-n\,}
, potem velja:
π
(
m
)
=
Φ
(
m
,
n
)
+
n
(
μ
+
1
)
+
μ
2
−
μ
2
−
1
−
∑
k
=
1
μ
π
(
m
p
n
+
k
)
.
{\displaystyle \pi (m)=\Phi (m,n)+n(\mu +1)+{\frac {\mu ^{2}-\mu }{2}}-1-\sum _{k=1}^{\mu }\pi \left({\frac {m}{p_{n+k}}}\right)\!\,.}
S tem pristopom je Meissel izračunal
π
(
x
)
{\displaystyle \pi (x)\,}
za
x
{\displaystyle x\,}
enak 5 · 105 , 106 , 107 in 108 .
Leta 1959 je Lehmer razširil in poenostavil Meisslovo metodo. Za realno število
m
{\displaystyle m\,}
in za naravni števili
n
{\displaystyle n\,}
in
k
{\displaystyle k\,}
naj je
P
k
(
m
,
n
)
{\displaystyle P_{k}(m,n)\,}
število števil manjših od
m
{\displaystyle m\,}
z natanko
k
{\displaystyle k\,}
prafaktorji, večjimi od
p
n
{\displaystyle p_{n}\,}
. Naj velja tudi
P
0
(
m
,
n
)
=
1
{\displaystyle P_{0}(m,n)=1\,}
. Potem je:
Φ
(
m
,
n
)
=
∑
k
=
0
+
∞
P
k
(
m
,
n
)
,
{\displaystyle \Phi (m,n)=\sum _{k=0}^{+\infty }P_{k}(m,n)\!\,,}
kjer ima vsota dejansko le končno število neničelnih členov. Naj
y
{\displaystyle y\,}
označuje takšno celo število, da je
m
3
≤
y
≤
m
{\displaystyle {\sqrt[{3}]{m}}\leq y\leq {\sqrt {m}}\,}
in naj je
n
=
π
(
y
)
{\displaystyle n=\pi (y)\,}
. Potem je
P
1
(
m
,
n
)
=
π
(
m
)
−
n
{\displaystyle P_{1}(m,n)=\pi (m)-n\,}
in
P
k
(
m
,
n
)
=
0
{\displaystyle P_{k}(m,n)=0\,}
, ko je
k
≥
3
{\displaystyle k\geq 3\,}
. Zato:
π
(
m
)
=
Φ
(
m
,
n
)
+
n
−
1
−
P
2
(
m
,
n
)
.
{\displaystyle \pi (m)=\Phi (m,n)+n-1-P_{2}(m,n)\!\,.}
P
2
(
m
,
n
)
{\displaystyle P_{2}(m,n)\,}
je moč izračunati kot:
P
2
(
m
,
n
)
=
∑
y
<
p
≤
m
(
π
(
m
p
)
−
π
(
p
)
+
1
)
.
{\displaystyle P_{2}(m,n)=\sum _{y<p\leq {\sqrt {m}}}\left(\pi \left({\frac {m}{p}}\right)-\pi (p)+1\right)\!\,.}
Φ
(
m
,
n
)
{\displaystyle \Phi (m,n)\,}
se lahko izračuna s pomočjo naslednjih pravil:
Φ
(
m
,
0
)
=
⌊
m
⌋
,
{\displaystyle \Phi (m,0)=\lfloor m\rfloor \!\,,}
Φ
(
m
,
b
)
=
Φ
(
m
,
b
−
1
)
−
Φ
(
m
p
b
,
b
−
1
)
.
{\displaystyle \Phi (m,b)=\Phi (m,b-1)-\Phi \left({\frac {m}{p_{b}}},b-1\right)\!\,.}
S pomočjo te metode in računalnika IBM 701 je Lehmer lahko izračunal
π
(
10
10
)
{\displaystyle \pi \left(10^{10}\right)\,}
.
Hvang Čeng je na konferenci o praštevilih na Univerzi v Bordeauxu uporabil naslednji enakosti:
e
(
a
−
1
)
Θ
f
(
x
)
=
f
(
a
x
)
,
{\displaystyle e^{(a-1)\Theta }f(x)=f(ax)\!\,,}
J
(
x
)
=
∑
n
=
1
∞
π
(
x
1
/
n
)
n
,
{\displaystyle J(x)=\sum _{n=1}^{\infty }{\frac {\pi (x^{1/n})}{n}}\!\,,}
pri čemer je
x
=
e
t
{\displaystyle x=e^{t}\,}
. Z Laplaceovo transformacijo obeh strani in geometrično vsoto
e
n
Θ
{\displaystyle e^{n\Theta }\,}
izhaja:
1
2
π
i
∫
c
−
i
∞
c
+
i
∞
g
(
s
)
t
s
d
s
=
π
(
t
)
,
{\displaystyle {\frac {1}{2{\pi }i}}\int _{c-i\infty }^{c+i\infty }g(s)t^{s}\,\mathrm {d} s=\pi (t)\!\,,}
ln
ζ
(
s
)
s
=
(
1
−
e
Θ
(
s
)
)
−
1
g
(
s
)
,
{\displaystyle {\frac {\ln \zeta (s)}{s}}=(1-e^{\Theta (s)})^{-1}g(s)\!\,,}
Θ
(
s
)
=
s
d
d
s
.
{\displaystyle \Theta (s)=s{\frac {\mathrm {d} }{\mathrm {d} s}}\!\,.}
Uporabljajo se tudi druge funkcije, ker je lažje delati z njimi. Ena od njih je Riemannova funkcija števila praštevil , običajno označena kot
Π
0
(
x
)
{\displaystyle \Pi _{0}(x\,)}
in tudi
f
(
x
)
{\displaystyle f(x)\,}
. Funkcija narašča korakoma po
1
/
n
{\displaystyle 1/n\,}
za praštevilske potence
p
n
{\displaystyle p^{n}\,}
, in zavzema vrednosti na polovici obeh nezveznosti. Na ta način je lahko določena z obratom Mellinove transformacije . Strogo se lahko določi
Π
0
(
x
)
{\displaystyle \Pi _{0}(x)\,}
kot:
Π
0
(
x
)
=
1
2
(
∑
p
n
<
x
1
n
+
∑
p
n
≤
x
1
n
)
,
{\displaystyle \Pi _{0}(x)={\frac {1}{2}}{\bigg (}\sum _{p^{n}<x}{\frac {1}{n}}\ +\sum _{p^{n}\leq x}{\frac {1}{n}}{\bigg )}\!\,,}
kjer je
p
{\displaystyle p\,}
praštevilo.
Lahko se piše tudi:
Π
0
(
x
)
=
∑
2
x
Λ
(
n
)
ln
n
−
1
2
Λ
(
x
)
ln
x
=
∑
n
=
1
∞
1
n
π
0
(
x
1
/
n
)
,
{\displaystyle \Pi _{0}(x)=\sum _{2}^{x}{\frac {\Lambda (n)}{\ln n}}-{\frac {1}{2}}{\frac {\Lambda (x)}{\ln x}}=\sum _{n=1}^{\infty }{\frac {1}{n}}\pi _{0}(x^{1/n})\!\,,}
kjer je
Λ
(
n
)
{\displaystyle \Lambda (n)\,}
von Mangoldtova funkcija in:
π
0
(
x
)
=
π
(
x
−
0
)
+
π
(
x
+
0
)
2
.
{\displaystyle \pi _{0}(x)={\frac {\pi (x-0)+\pi (x+0)}{2}}\!\,.}
Möbiusova inverzna formula da:
π
0
(
x
)
=
∑
n
=
1
∞
μ
(
n
)
n
Π
0
(
x
1
/
n
)
=
∫
1
∞
d
u
M
′
(
u
)
Π
0
(
x
1
/
u
)
u
−
1
,
{\displaystyle \pi _{0}(x)=\sum _{n=1}^{\infty }{\frac {\mu (n)}{n}}\Pi _{0}(x^{1/n})=\int _{1}^{\infty }duM'(u)\Pi _{0}(x^{1/u})u^{-1}\!\,,}
kjer je
M
(
u
)
{\displaystyle M(u)\,}
Mertensova funkcija .
Z zvezo med Riemannovo funkcijo ζ(·) in von Mangoldtovo funkcijo Λ(·) ter Perronovo enačbo je:
ln
ζ
(
s
)
=
s
∫
0
∞
Π
0
(
x
)
x
−
s
+
1
d
x
.
{\displaystyle \ln \zeta (s)=s\int _{0}^{\infty }\Pi _{0}(x)x^{-s+1}\,dx\!\,.}
Funkcija
π
(
x
)
{\displaystyle \pi (x)\,}
je v tesni zvezi s funkcijama Čebišova θ(x ) in ψ(x ), ki razvrščata praštevila ali praštevilske potence
p
n
{\displaystyle p^{n}\,}
z
ln
p
{\displaystyle \ln p\,}
:
θ
(
x
)
=
∑
p
≤
x
ln
p
,
{\displaystyle \theta (x)=\sum _{p\leq x}\ln p\!\,,}
ψ
(
x
)
=
∑
p
n
≤
x
ln
p
=
∑
n
=
1
∞
θ
(
x
1
/
n
)
=
∑
n
≤
x
Λ
(
n
)
.
{\displaystyle \psi (x)=\sum _{p^{n}\leq x}\ln p=\sum _{n=1}^{\infty }\theta (x^{1/n})=\sum _{n\leq x}\Lambda (n)\!\,.}