Fungsi zeta Riemann atau fungsi zeta Euler–Riemann adalah fungsi variabel kompleks, dilambangkan dengan huruf Yunani
ζ
{\displaystyle \zeta }
(zeta), yang dirumuskan sebagai berikut
ζ
(
s
)
=
∑
n
=
1
∞
1
n
s
=
1
+
1
2
s
+
1
3
s
+
⋯
{\displaystyle \zeta (s)=\sum _{n=1}^{\infty }{\frac {1}{n^{s}}}=1+{\frac {1}{2^{s}}}+{\frac {1}{3^{s}}}+\cdots }
, jika
Re
(
s
)
>
1
{\displaystyle \operatorname {Re} (s)>1}
, dan melalui pengontinuan analitik jika
R
e
(
s
)
≤
1
{\displaystyle \mathrm {Re} (s)\leq 1}
.
Fungsi ini memiliki peranan yang krusial pada teori bilangan analitik dan juga memiliki aplikasi pada fisika, teori probabilitas, dan statistika terapan.
Fungsi ini pertama kali diperkenalkan oleh Leonhard Euler, namun awalnya ia memperkenalkan
Fungsi ini sebagai
Fungsi real pada abad ke-18. Kemudian, pada 1859, Bernhard
Riemann memperluas definisi yang diberikan oleh Euler, menjadikan
Fungsi ini sebagai
Fungsi kompleks yang meromorfik, memberikan persamaan fungsional untuk
Fungsi ini dan memaparkan hubungan antara nol dari
Fungsi ini dan distribusi bilangan prima, melalui artikelnya yang berjudul "On the Number of Primes Less Than a Given Magnitude". Artikel ini juga memuat hipotesis
Riemann, suatu konjektur tentang distribusi nol kompleks dari
Fungsi zeta Riemann. Banyak matematikawan berpandangan bahwa hipotesis ini merupakan salah satu masalah terpenting di bidang matematika murni.
Nilai dari
Fungsi zeta Riemann pada bilangan genap positif telah ditemukan oleh Euler. Nilai
ζ
(
2
)
{\displaystyle \
zeta (2)}
, khususnya, menyelesaikan permasalahan Basel. Pada 1979, Roger Apéry membuktikan bahwa
ζ
(
3
)
{\displaystyle \
zeta (3)}
bernilai irasional. Euler juga menemukan nilai
Fungsi zeta Riemann pada bilangan bulat negatif yang merupakan bilangan rasional dan memiliki peranan penting pada bentuk modular.
Fungsi zeta Riemann juga memiliki perumuman, seperti deret Dirichlet,
Fungsi-L Dirichlet, dan
Fungsi-L.
Definisi
Fungsi zeta Riemann
ζ
(
s
)
{\displaystyle \zeta (s)}
adalah fungsi variabel kompleks
s
=
σ
+
i
t
{\displaystyle s=\sigma +it}
. (Penggunaan notasi
s
,
σ
,
{\displaystyle s,\sigma ,}
dan
t
{\displaystyle t}
di sini mengikuti notasi yang awalnya digunakan Riemann untuk memelajari fungsi
ζ
{\displaystyle \zeta }
). Jika
R
e
(
s
)
=
σ
>
1
{\displaystyle \mathrm {Re} (s)=\sigma >1}
, fungsi ini dapat dituliskan sebagai deret atau integral konvergen berikut:
ζ
(
s
)
=
∑
n
=
1
∞
1
n
s
=
1
Γ
(
s
)
∫
0
∞
x
s
−
1
e
x
−
1
d
x
,
{\displaystyle \zeta (s)=\sum _{n=1}^{\infty }{\frac {1}{n^{s}}}={\frac {1}{\Gamma (s)}}\int _{0}^{\infty }{\frac {x^{s-1}}{e^{x}-1}}dx,}
dengan
Γ
(
s
)
=
∫
0
∞
x
s
−
1
e
x
d
x
{\displaystyle \Gamma (s)=\int _{0}^{\infty }x^{s-1}e^{x}dx}
adalah fungsi Gamma. Untuk nilai kompleks lainnya, fungsi zeta Riemann didefinisikan melalui pengontinuan analitik dari fungsi yang telah didefinisikan untuk
R
e
(
s
)
=
σ
>
1
{\displaystyle \mathrm {Re} (s)=\sigma >1}
.
Leonhard Euler menggunakan definisi deret di atas untuk bilangan bulat positif
s
{\displaystyle s}
pada 1740, dan kemudian Chebyshev memperluas definisi ini untuk
σ
>
1
{\displaystyle \sigma >1}
.
Deret di atas merupakan prototipe dari deret Dirichlet yang konvergen mutlak ke suatu fungsi analitik untuk
s
{\displaystyle s}
dengan
σ
>
1
{\displaystyle \sigma >1}
dan divergen untuk nilai
s
{\displaystyle s}
lainnya.
Riemann menunjukkan bahwa
Fungsi yang didefinisikan oleh deret yang konvergen hanya pada setengah bidang kompleks memiliki pengontinuan analitik ke seluruh nilai kompleks
s
≠
1
{\displaystyle s\neq 1}
. Untuk
s
=
1
{\displaystyle s=1}
, deret di atas adalah deret harmonik yang divergen menuju
+
∞
{\displaystyle +\infty }
, dan
lim
s
→
1
(
s
−
1
)
ζ
(
s
)
=
1.
{\displaystyle \lim _{s\rightarrow 1}(s-1)\
zeta (s)=1.}
Dengan demikian,
Fungsi zeta Riemann merupakan
Fungsi meromorfik pada bidang kompleks , yang holomorfik di mana-mana, kecuali di
s
=
1
{\displaystyle s=1}
yang merupakan kutub sederhana dengan residu 1.
Identitas darab Euler
Pada 1737, hubungan antara fungsi zeta dan bilangan prima ditemukan oleh Euler, yang membuktikan membuktikan identitas berikut.
∑
n
=
1
∞
1
n
s
=
∏
p
prima
1
1
−
p
−
s
,
{\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n^{s}}}=\prod _{p{\text{ prima}}}{\frac {1}{1-p^{-s}}},}
dengan bentuk matematika pada ruas kiri adalah ζ(s) dari definisi dan pada ruas kanan adalah darab (perkalian) tak hingga yang menjangkau seluruh bilangan prima p (bentuk demikian disebut darab Euler):
∏
p
prima
1
1
−
p
−
s
=
1
1
−
2
−
s
⋅
1
1
−
3
−
s
⋅
1
1
−
5
−
s
⋅
1
1
−
7
−
s
⋅
1
1
−
11
−
s
⋯
1
1
−
p
−
s
⋯
{\displaystyle \prod _{p{\text{ prima}}}{\frac {1}{1-p^{-s}}}={\frac {1}{1-2^{-s}}}\cdot {\frac {1}{1-3^{-s}}}\cdot {\frac {1}{1-5^{-s}}}\cdot {\frac {1}{1-7^{-s}}}\cdot {\frac {1}{1-11^{-s}}}\cdots {\frac {1}{1-p^{-s}}}\cdots }
Kedua ruas pada identitas darab Euler konvergen jika Re(s) > 1. Identitas Euler di atas dapat dibuktikan dengan hanya menggunakan deret geometri dan teorema dasar aritmetika. Karena deret harmonik, yang diperoleh dengan mensubstitusi s = 1 pada ekspresi matematika di atas, divergen, identitas Euler (yang menjadi Πp pp − 1) memberikan bukti bahwa banyaknya bilangan prima adalah tak hingga. Karena logaritma dari pp − 1 mendekati 1p, identitas ini dapat digunakan untuk membuktikan hasil yang lebih kuat bahwa deret resiprokal bilangan prima divergen menuju tak hingga. Di sisi lain, hasil ini dan tapis Erasthothenes memperlihatkan bahwa kepadatan himpunan bilangan prima dalam himpunan bilangan bulat positif adalah nol.
Identitas darab Euler dapat digunakan untuk menghitung peluang asimtotik terpilihnya s bilangan bulat positif yang membentuk himpunan yang koprima pada pengambilan s bilangan bulat positif secara acak. Secara intituitif, peluang sebuah bilangan habis dibagi suatu bilangan prima (atau sembarang bilangan bulat positif) p adalah 1p. Akibatnya, peluang semua s bilangan yang terpilih habis dibagi bilangan p adalah 1ps, dan peluang setidaknya ada satu bilangan yang tidak habis dibagi p adalah 1 − 1ps. Untuk sembarang prima yang berbeda, kejadian keterbagian ini saling bebas, sebab kandidat pembaginya (yaitu bilangan-bilangan prima) saling koprima. Dengan demikian, peluang asimtotik terpilihnya s bilangan bulat positif yang membentuk himpunan yang koprima diberikan oleh darab berikut yang menjangkau seluruh bilangan prima,
∏
p
prima
(
1
−
1
p
s
)
=
(
∏
p
prima
1
1
−
p
−
s
)
−
1
=
1
ζ
(
s
)
.
{\displaystyle \prod _{p{\text{ prima}}}\left(1-{\frac {1}{p^{s}}}\right)=\left(\prod _{p{\text{ prima}}}{\frac {1}{1-p^{-s}}}\right)^{-1}={\frac {1}{\
zeta (s)}}.}
Persamaan fungsional Riemann
Fungsi zeta memenuhi persamaan fungsional
ζ
(
s
)
=
2
s
π
s
−
1
sin
(
π
s
2
)
Γ
(
1
−
s
)
ζ
(
1
−
s
)
,
{\displaystyle \zeta (s)=2^{s}\pi ^{s-1}\ \sin \left({\frac {\pi s}{2}}\right)\ \Gamma (1-s)\ \zeta (1-s),}
dengan Γ(s) adalah fungsi Gamma. Ini adalah persamaan fungsi meromorfik yang valid di seluruh bidang kompleks. Persamaan ini menghubungkan nilai dari fungsi zeta Riemann di titik s dan 1 − s, khususnya mengaitkan nilai fungsi ini di titik bilangan bulat positif dengan titik bilangan ganjil negatif. Karena fungsi sinus di persamaan memiliki nol sederhana di setiap bilangan bulat, persamaan fungsional ini menunjukkan bahwa ζ(s) memiliki nol sederhana di setiap bilangan bulat negatif s = −2n, yang dikenal sebagai nol trivial dari ζ(s). Di sisi lain, jika s adalah bilangan genap positif, hasi kali sin(πs2)Γ(1 − s) pada ruas kanan bernilai tidak nol karena Γ(1 − s) memiliki kutub sederhana, yang dapat dicoret dengan nol sederhana dari fungsi sinus.
Persamaan fungsional ini dibuktikan oleh Riemann pada tahun 1859 di artikelnya berjudul "On the Number of Primes Less Than a Given Magnitude". Dia menggunakan persamaan ini untuk mengkonstruksi pengontinuan analitik dari fungsi zeta yang awalnya didefinisikan hanya untuk
σ
>
1
{\displaystyle \sigma >1}
. Pada 1749, Euler sebenarnya telah membuat suatu konjektur yang ekuivalen dengan persamaan fungsional
Riemann. Konjektur ini memberikan identitas
Fungsi eta Dirichlet (
Fungsi zeta ganti tanda):
η
(
s
)
=
∑
n
=
1
∞
(
−
1
)
n
+
1
n
s
=
(
1
−
2
1
−
s
)
ζ
(
s
)
.
{\displaystyle \eta (s)=\sum _{n=1}^{\infty }{\frac {(-1)^{n+1}}{n^{s}}}=\left(1-{2^{1-s}}\right)\
zeta (s).}
Ternyata, hubungan ini dapat digunakan untuk menghitung ζ(s) pada daerah 0 < Re(s) < 1, i.e.
ζ
(
s
)
=
1
1
−
2
1
−
s
∑
n
=
1
∞
(
−
1
)
n
+
1
n
s
{\displaystyle \zeta (s)={\frac {1}{1-{2^{1-s}}}}\sum _{n=1}^{\infty }{\frac {(-1)^{n+1}}{n^{s}}}}
dengan deret pada fungsi η konvergen (walaupun tidak secara mutlak) pada bidang kompleks dengan bagian real s > 0 (untuk survei yang lebih mendetail mengenai sejarah persamaan fungsional
Riemann, lihat Blagouchine).
Riemann juga menemukan versi simetris dari persamaan fungsional dengan menerapkannya ke
Fungsi-xi:
ξ
(
s
)
=
1
2
π
−
s
2
s
(
s
−
1
)
Γ
(
s
2
)
ζ
(
s
)
,
{\displaystyle \xi (s)={\frac {1}{2}}\pi ^{-{\frac {s}{2}}}s(s-1)\Gamma \left({\frac {s}{2}}\right)\
zeta (s),}
yang memenuhi:
ξ
(
s
)
=
ξ
(
1
−
s
)
.
{\displaystyle \xi (s)=\xi (1-s).}
(
Fungsi awal ξ(t) versi
Riemann awalnya didefinisikan sedikit berbeda dengan versi sekarang)
Semasa
Riemann, faktor
π
−
s
/
2
Γ
(
s
/
2
)
{\displaystyle \pi ^{-s/2}\Gamma (s/2)}
pada persamaan fungsional
Riemann tidak begitu dipahami, sampai John Tate (1950) membahasnya pada tesisnya. Ia menunjukkan bahwa "faktor Gamma" ini adalah faktor-L lokal yang berpadanan dengan tempat Archimedes (Archimedean places), sedangkan faktor lainnya pada ekspansi darab Euler adalah faktor-L lokal dari tempat nonArchimedes.
Nol, garis kritis, dan hipotesis Riemann
Persamaan fungsional
Riemann menunjukkan bahwa
Fungsi zeta Riemann memiliki nol pada −2, −4,.... Semua nol tersebut dikenal sebagai nol trivial, karena eksistensi semua nol ini relatif lebih mudah untuk dibuktikan, misalnya dari sin πs2 bernilai 0 pada persamaan fungsional. Nol nontrivial lebih menarik perhatian, karena tidak hanya distribusinya yang tidak begitu dipahami, namun utamanya karena nol nontrivial dari
Fungsi ini memiliki konsekuensi mengenai bilangan prima dan objek terkait pada teori bilangan. Hasil sejauh ini telah menunjukkan bahwa nol nontrivial
Fungsi zeta Riemann terdapat pada pita terbuka
{
s
∈
C
:
0
<
Re
(
s
)
<
1
}
{\displaystyle \{s\in \mathbb {C} :0<\operatorname {Re} (s)<1\}}
, yang disebut pita kritis. Himpunan
{
s
∈
C
:
Re
(
s
)
=
1
/
2
}
{\displaystyle \{s\in \mathbb {C} :\operatorname {Re} (s)=1/2\}}
disebut garis kritis. Hipotesis
Riemann, salah satu masalah matematika belum terpecahkan yang paling sulit, mengklaim bahwa semua nol nontrivial terdapat pada garis kritis. Pada 1989, Conrey membuktikan bahwa lebih dari 40% nol nontrivial dari
Fungsi Riemann zeta terdapat pada garis kritis.
Untuk
Fungsi zeta Riemann pada garis kritis, lihat Z-function.
= Banyak nol pada pita kritis
=
Misalkan
N
(
T
)
{\displaystyle N(T)}
adalah banyaknya nol dari
ζ
(
s
)
{\displaystyle \
zeta (s)}
pada pita kritis
0
<
Re
(
s
)
<
1
{\displaystyle 0<\operatorname {Re} (s)<1}
, yang bagian imajinernya berada pada selang
0
<
Im
(
s
)
<
T
{\displaystyle 0<\operatorname {Im} (s)
e
{\displaystyle T>e}
, maka
|
N
(
T
)
−
T
2
π
log
T
2
π
e
|
≤
0.112
log
T
+
0.278
log
log
T
+
3.385
+
0.2
T
{\displaystyle |N(T)-{\frac {T}{2\pi }}\log {\frac {T}{2\pi e}}|\leq 0.112\log T+0.278\log \log T+3.385+{\frac {0.2}{T}}}
.
= Konjektur Hardy–Littlewood
=
Pada 1914, Godfrey Harold Hardy membuktikan bahwa banyaknya nol real dari ζ (12 + it) adalah tak hingga.
Hardy dan John Edensor Littlewood merumuskan dua konjektur mengenai kepadatan dan jarak antara nol-nol dari ζ (12 + it) pada selang di antara dua bilangan real positif yang cukup besar. Kali ini, misalkan N(T) adalah banyaknya nol real dan N0(T) adalah banyaknya nol dari Fungsi ζ (12 + it) pada interval (0, T] yang memiliki orde ganjil.Kedua konjektur ini memberikan pendekatan baru dalam menyelidiki Fungsi zeta Riemann.
= Daerah bebas nol
=
Dalam teori bilangan, lokasi nol dari Fungsi zeta Riemann adalah hal yang sangatlah penting. Teorema bilangan prima ekuivalen dengan pernyataan bahwa tidak ada nol dari Fungsi zeta Riemann yang berada pada garis Re(s) = 1. Penggunaan teorema nilai rata-rata Vinogradov memberikan hasil yang lebih baik daripada hasil sebelumnya, bahwa ζ (σ + it) ≠ 0 jika
σ
≥
1
−
1
57.54
(
log
|
t
|
)
2
3
(
log
log
|
t
|
)
1
3
{\displaystyle \sigma \geq 1-{\frac {1}{57.54(\log {|t|})^{\frac {2}{3}}(\log {\log {|t|}})^{\frac {1}{3}}}}}
and |t| ≥ 3.
Pada 2015, Mossinghoff dan Trudgian menunjukkan bahwa Fungsi zeta tidak memiliki nol pada daerah
σ
≥
1
−
1
5.573412
log
|
t
|
{\displaystyle \sigma \geq 1-{\frac {1}{5.573412\log |t|}}}
untuk |t| ≥ 2. Hingga saat ini, daerah tersebut masih merupakan daerah bebas nol terbesar yang telah diketahui pada pita kritis dengan
3.06
⋅
10
10
<
|
t
|
<
exp
(
10151.5
)
≈
5.5
⋅
10
4408
{\displaystyle 3.06\cdot 10^{10}<|t|<\exp(10151.5)\approx 5.5\cdot 10^{4408}}
.
Perwujudan terkuat hasil semacam ini adalah terbuktinya hipotesis Riemann, yang akan memiliki banyak konsekuensi penting pada teori bilangan.
= Hasil-hasil lain
=
Fungsi zeta Riemann memliki tak hingga banyaknya nol pada garis kritis. Littlewood menunjukkan bahwa jika barisan (γn) merupakan barisan bagian imajiner semua nol Fungsi zeta Riemann pada setengah bidang atas diurutkan dari terkecil menuju terbesar, maka
lim
n
→
∞
(
γ
n
+
1
−
γ
n
)
=
0.
{\displaystyle \lim _{n\rightarrow \infty }\left(\gamma _{n+1}-\gamma _{n}\right)=0.}
Teorema garis kritis menyatakan bahwa perbandingan antara banyaknya nol pada garis kritis dan banyaknya nol pada pita kritis bernilai lebih besar daripada nol. (Hipotesis Riemann mengimplikasikan bahwa nilai perbandingan ini adalah 1.)
Pada pita kritis, nol dengan bagian imajiner nonnegatif terkecil adalah 12 + 14.13472514...i ( A058303). Karena
ζ
(
s
)
=
ζ
(
s
¯
)
¯
{\displaystyle \zeta (s)={\overline {\zeta ({\overline {s}})}}}
untuk setiap bilangan kompleks s ≠ 1, lokasi nol dari Fungsi Riemann zeta simetris terhadap sumbu real. Dari simetri ini dan persamaan fungsional, nol nontrivial dari Fungsi zeta Riemann simetris terhadap garis kritis Re(s) = 12.
Tidak ada nol dari Fungsi zeta Riemann yang berada pada garis dengan bagian real 1.
Secara asimtotik, terdapat tak hingga nol pada garis kritis yang ordinatnya dapat ditentukan dengan menyelesaikan persamaan transedental yang aproksimasi solusinya diberikan sebagai berikut :
γ
n
≈
2
π
n
−
11
8
W
(
n
−
11
8
e
)
{\displaystyle \gamma _{n}\approx 2\pi {\frac {n-{\frac {11}{8}}}{W({\frac {n-{\frac {11}{8}}}{e}})}}}
dengan
W
(
x
)
{\displaystyle W(x)}
adalah Fungsi Lambert W.
Nilai spesifik
Untuk sembarang bilangan bulat positif 2n,
ζ
(
2
n
)
=
(
−
1
)
n
+
1
B
2
n
(
2
π
)
2
n
2
(
2
n
)
!
,
{\displaystyle \zeta (2n)={\frac {(-1)^{n+1}B_{2n}(2\pi )^{2n}}{2(2n)!}},}
dengan B2n adalah bilangan Bernoulli ke-2n. Untuk bilangan ganjil positif, sejauh ini belum ditemukan rumus sederhana untuk mencari nilai Fungsi zeta Riemann, walaupun nilai Fungsi zeta Riemann untuk bilangan ganjil positif sepertinya memiliki kaitan dengan teori-K aljabar dari bilangan bulat; lihat nilai spesial Fungsi-L.
Untuk bilangan bulat nonpositif,
ζ
(
−
n
)
=
(
−
1
)
n
B
n
+
1
n
+
1
{\displaystyle \zeta (-n)=(-1)^{n}{\frac {B_{n+1}}{n+1}}}
untuk n ≥ 0 (dengan menggunakan konvensi B1 = −12). Khususnya, ζ bernilai nol pada bilangan genap negatif, karena Bm = 0 untuk semua bilangan ganjil m selain 1. Bilangan-bilangan ini biasanya disebut sebagai "nol trivial" dari Fungsi zeta..
Melalui pengontinuan analitik, nilai
ζ
(
−
1
)
=
−
1
12
{\displaystyle \zeta (-1)=-{\tfrac {1}{12}}}
Hal ini yang sebenarnya menjadi dalih mengapa deret yang sebenarnya divergen 1 + 2 + 3 + 4 + ⋯ terkadang ditulis sama dengan
−
1
12
{\displaystyle -{\frac {1}{12}}}
, yang digunakan pada berbagai konteks tertentu (penjumlahan Ramanujan), seperti teori dawai. Serupa, nilai
ζ
(
0
)
=
−
1
2
{\displaystyle \zeta (0)=-{\tfrac {1}{2}}}
dapat dipandang sebagai menuliskan deret divergen 1 + 1 + 1 + 1 + ⋯ bernilai
−
1
2
{\displaystyle -{\frac {1}{2}}}
.
Nilai
ζ
(
1
2
)
=
−
1.46035450880958681288
…
{\displaystyle \zeta {\bigl (}{\tfrac {1}{2}}{\bigr )}=-1.46035450880958681288\ldots }
digunakan untuk menghitung masalah kinetik batas lapisan pada persamaan kinetik linear.
Walaupun
ζ
(
1
)
=
1
+
1
2
+
1
3
+
⋯
{\displaystyle \zeta (1)=1+{\tfrac {1}{2}}+{\tfrac {1}{3}}+\cdots }
divergen, nilai prinsipal Cauchy
lim
ε
→
0
ζ
(
1
+
ε
)
+
ζ
(
1
−
ε
)
2
{\displaystyle \lim _{\varepsilon \to 0}{\frac {\zeta (1+\varepsilon )+\zeta (1-\varepsilon )}{2}}}
ada dan bernilai konstanta Euler-Mascheroni γ = 0.5772....
Pembuktian bahwa nilai
ζ
(
2
)
=
1
+
1
2
2
+
1
3
2
+
⋯
=
π
2
6
{\displaystyle \zeta (2)=1+{\frac {1}{2^{2}}}+{\frac {1}{3^{2}}}+\cdots ={\frac {\pi ^{2}}{6}}}
dikenal sebagai masalah Basel. Kebalikan dari deret ini merupakan jawaban dari pertanyaan berikut: Berapa peluang dua bilangan yang terpilih secara acak bersifat relatif prima? Nilai
ζ
(
3
)
=
1
+
1
2
3
+
1
3
3
+
⋯
=
1.202056903159594285399...
{\displaystyle \zeta (3)=1+{\frac {1}{2^{3}}}+{\frac {1}{3^{3}}}+\cdots =1.202056903159594285399...}
adalah konstanta Apéry.
Dengan menggunakan limit
s
→
+
∞
{\displaystyle s\rightarrow +\infty }
pada bilangan real, nilai
ζ
(
+
∞
)
=
1
{\displaystyle \zeta (+\infty )=1}
. Namun, pada tak hingga kompleks di permukaan bola Riemann, Fungsi zeta Riemann memiliki kesingularan esensial.
Untuk deret yang melibatkan nilai Fungsi zeta pada himpunan bilangan bulat
Z
{\textstyle \mathbb {Z} }
atau himpunan setengah bilangan bulat
(
{
n
2
:
n
∈
Z
}
)
{\textstyle \left(\left\{{\frac {n}{2}}:n\in \mathbb {Z} \right\}\right)}
, lihat deret zeta rasional.
=
Kebalikan dari Fungsi zeta Riemann dapat dituliskan sebagai deret Dirichlet pada Fungsi Möbius μ(n):
1
ζ
(
s
)
=
∑
n
=
1
∞
μ
(
n
)
n
s
{\displaystyle {\frac {1}{\zeta (s)}}=\sum _{n=1}^{\infty }{\frac {\mu (n)}{n^{s}}}}
untuk setiap bilangan kompleks s dengan bilangan real lebih besar daripada 1. Ada berbagai identitas serupa dengan kesamaan di atas yang melibatkan Fungsi-Fungsi multiplikatif yang biasa dikenal; yang dapat dillihat pada artikel deret Dirichlet.
Hipotesis Riemann ekuivalen dengan klaim bahwa identitas di atas juga berlaku apabila bagian real dari s lebih besar daripada 12.
=
Pita kritis Fungsi zeta Riemann memiliki sifat keuniversalan. Keuniversalan Fungsi zeta Riemann menyatakan bahwa ada beberapa lokasi pada pita kritis yang dapat mengaproksimasi sembarang Fungsi zeta Riemann dengan baik. Fungsi holomorfik merupakan Fungsi yang sangatlah umum, sehingga ini adalah sifat yang luar biasa. Bukti pertama dari keuniversalan Fungsi zeta Riemann diberikan oleh Sergei Mikhailovitch Voronin pada 1975. Setelahnya, muncul artikel yang memuat versi "efektif" dari teorema Voronin dan juga memperluas teorema tersebut pada Fungsi-L Dirichlet.
= Estimasi dari modulus maksimum Fungsi zeta Riemann
=
Misalkan Fungsi F(T;H) dan G(s0;Δ) didefinisikan sebagai berikut
F
(
T
;
H
)
=
max
|
t
−
T
|
≤
H
|
ζ
(
1
2
+
i
t
)
|
,
G
(
s
0
;
Δ
)
=
max
|
s
−
s
0
|
≤
Δ
|
ζ
(
s
)
|
.
{\displaystyle F(T;H)=\max _{|t-T|\leq H}\left|\zeta \left({\tfrac {1}{2}}+it\right)\right|,\qquad G(s_{0};\Delta )=\max _{|s-s_{0}|\leq \Delta }|\zeta (s)|.}
Variabel T di sini merepresentasikan suatu bilangan positif yang cukup besar, 0 < H ≪ log log T, s0 = σ0 + iT, 12 ≤ σ0 ≤ 1, 0 < Δ < 13. Estimasi batas bawah F dan G memberikan gambaran seberapa besar (modulus) nilai ζ(s) pada subinterval kecil dari garis kritis atau pada lingkungan kecil dari titik-titik pada pita kritis 0 ≤ Re(s) ≤ 1.
Kasus H ≫ log log T diteliti oleh Kanakanahalli Ramachandra; sedangkan kasus Δ > c, dengan c adalah suatu konstanta yang cukup besar, bersifat trivial.
Anatolii Karatsuba, membuktikan, khususnya, bahwa jika nilai H dan Δ melewati suatu konstanta cukup kecil tertentu, dua estimasi berikut
F
(
T
;
H
)
≥
T
−
c
1
,
G
(
s
0
;
Δ
)
≥
T
−
c
2
,
{\displaystyle F(T;H)\geq T^{-c_{1}},\qquad G(s_{0};\Delta )\geq T^{-c_{2}},}
berlaku, dengan c1 dan c2 adalah suatu konstanta mutlak tertentu.
Referensi
