Hipotesis Riemann

Dalam matematika, hipotesis Riemann merupakan dugaan bahwa fungsi zeta Riemann memiliki akar-akar hanya pada bilangan genap negatif dan pada bilangan kompleks dengan bagian nyata 12. Banyak yang mengganggap hipotesis ini merupakan pertanyaan belum terjawab paling penting dalam matematika murni.^[1] Hipotesis ini memiliki peran penting dalam teori bilangan karena mengimplikasi hasil-hasil mengenai distribusi bilangan prima. Hipotesis ini diusulkan Bernhard Riemann (1859), dalam tesisnya mengenai distribusi bilangan prima.

Hipotesis Rieman dan beberapa perumumannya, seperti konjektur Goldbach dan konjektur prima kembar, membentuk masalah Hilbert kedelapan dalam daftar dua puluh tiga masalah belum terjawab David Hilbert. Hipotesis ini juga termasuk dalam daftar masalah Milenium Prize, yang menawarkan satu juta dollar AS untuk siapapun yang dapat menyelesaikan masalah tersebut.

Persamaan zeta Riemann ζ(s) adalah sebuah fungsi dengan argumen berupa sembarang bilangan kompleks selain 1, dan nilai fungsi tersebut juga berupa bilangan kompleks. Fungsi ini memiliki akar-akar pada bilangan genap negatif; yakni ${\displaystyle \zeta (s)=0}$ ketika ${\displaystyle s}$ bernilai −2, −4, −6, .... Akar-akar ini disebut akar-akar sederhana (trivial). Fungsi zeta juga memiliki akar pada nilai-nilai ${\displaystyle s}$ yang lain, yang disebut dengan akar-akar tak-sederhana (nontrivial). Hipotesis Riemann memperhatikan lokasi dari akar-akar tak-sederhana ini, dan menyatakan bahwa:

Bagian real dari setiap akar tak-sederhana dari fungsi zeta Riemann adalah  12.

Akibatnya, jika hipotesis ini benar, semua akar tak-sederhana akan terletak pada garis kritis ${\displaystyle {\frac {1}{2}}+it}$, dengan ${\displaystyle t}$ merupakan bilangan real dan ${\displaystyle i}$adalah unit imajiner.

Fungsi zeta Riemann terdefinisi pada bilangan kompleks ${\displaystyle s}$ dengan bagian real lebih besar dari 1, lewat deret takhingga yang konvergen absolut$${\displaystyle \zeta (s)=\sum _{n=1}^{\infty }{\frac {1}{n^{s}}}={\frac {1}{1^{s}}}+{\frac {1}{2^{s}}}+{\frac {1}{3^{s}}}+\cdots .}$$Leonhard Euler telah mempelajari deret ini pada tahun 1730-an untuk nilai real ${\displaystyle s}$, bersamaan dengan solusi mengenai masalah Basel. Ia juga membuktikan deret itu sama dengan darab (perkalian) Euler

${\displaystyle \zeta (s)=\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 }$

dengan darab takhingga dilakukan atas semua bilangan prima ${\displaystyle p}$.^[2]

Hipotesis Riemann membahas akar-akar diluar daerah konvergensi dari deret itu dan darab Euler. Untuk dapat memahami maksud dari hipotesis, diperlukan kontinuasi (perluasan) analitik dari fungsi untuk mendapatkan bentuk yang valid untuk semua bilangan kompleks ${\displaystyle s}$. Karena fungsi zeta termasuk meromofik, semua pilihan cara untuk melakukan kontinuasi analitik ini akan menghasilkan bentuk yang sama, sebagai akibat dari teorema identitas. Langkah pertama dalam proses kontinuasi ini adalah pengamatan bahwa fungsi zeta dan fungsi eta Dirichlet memenuhi hubungan

${\displaystyle \left(1-{\frac {2}{2^{s}}}\right)\zeta (s)=\eta (s)=\sum _{n=1}^{\infty }{\frac {(-1)^{n+1}}{n^{s}}}={\frac {1}{1^{s}}}-{\frac {1}{2^{s}}}+{\frac {1}{3^{s}}}-\cdots ,}$

pada daerah konvergensi mereka masing-masing. Akan tetapi, fungsi deret eta pada ruas kanan tidak hanya konvergen untuk bilangan kompleks dengan bagian real lebih besar dari 1, tapi juga untuk sembarang ${\displaystyle s}$ dengan bagian real positif. Akibatnya, fungsi zeta dapat didefinisikan ulang sebagai ${\displaystyle \eta (s)/(1-2/2^{s})}$, memperluas domain dari ${\displaystyle {\text{Re}}(s)>1}$ menjadi ${\displaystyle {\text{Re}}(s)>0}$, kecuali untuk titik-titik yang menyebabkan ${\displaystyle 1-2/2^{s}}$ bernilai nol. Titik-titik tersebut memiliki bentuk ${\displaystyle s=1+2\pi in/\log 2}$ dengan ${\displaystyle n}$ dapat berupa sembarang bilangan bulat bukan-nol. Fungsi zeta dapat diperluas lebih lanjut untuk titik-titik tersebut dengan menggunakan limit, menghasilkan nilai yang hingga untuk sembarang nilai ${\displaystyle s}$ dengan bagian real positif; kecuali untuk kutub sederhana ${\displaystyle s=1}$.

Pada daerah berbentuk pita ${\displaystyle 0<{\text{Re}}(s)<1}$, perluasan dari fungsi zeta ini akan memenuhi persamaan fungsional

${\displaystyle \zeta (s)=2^{s}\pi ^{s-1}\ \sin \left({\frac {\pi s}{2}}\right)\ \Gamma (1-s)\ \zeta (1-s).}$

Fungsi ${\displaystyle \zeta (s)}$ juga dapat didefinisikan untuk bilangan kompleks ${\displaystyle s}$ yang tersisa (yakni ${\displaystyle {\text{Re}}(s)\leq 0}$ dan ${\displaystyle s\neq 0}$) dengan menggunakan fungsi ini di luar pita, lalu membuat ${\displaystyle \zeta (s)}$ bernilai sama dengan ruas kanan kapanpun ${\displaystyle s}$ memenuhi ${\displaystyle {\text{Re}}(s)\leq 0}$ (dan ${\displaystyle s\neq 0}$).

Jika ${\displaystyle s}$ merupakan bilangan genap negatif, maka ${\displaystyle \zeta (s)=0}$ karena faktor ${\textstyle \sin({\frac {\pi s}{2}})}$ bernilai nol; ini adalah akar-akar sederhana dari fungsi zeta. Argumen ini tidak berlaku ketika ${\displaystyle s}$ berupa bilangan genap positif karena akar dari fungsi sinus tercoret dengan kutub-kutub dari fungsi gamma. Nilai ${\textstyle \zeta (s)=-{\frac {1}{2}}}$ tidak terdefinisi lewat persamaan fungsional, namun lewat nilai limit ${\displaystyle \zeta (s)}$ ketika ${\displaystyle s}$ menuju nol. Persamaan fungsional juga menyimpulkan bahwa fungsi zeta tidak memiliki akar pada titik-titik selain akar-akar sederhana; mengartikan semua akar-akar tak-sederhana terletak pada pita kritis ${\displaystyle 0<{\text{Re}}(s)<1}$.

Terdapat beberapa buku nonteknis mengenai hipotesis Riemann, seperti (Derbyshire 2003), (Rockmore 2005), Sabbagh (2003a, 2003b), (du Sautoy 2003), dan (Watkins 2015). Buku-buku seperti (Edwards 1974), (Patterson 1988), (Borwein et al. 2008), (Mazur & Stein 2015) dan (Broughan 2017) memberikan pengenalan secara matematis, sedangkan (Titchmarsh 1986), (Ivić 1985) dan (Karatsuba & Voronin 1992) berupa monografi yang lebih lanjut.

• Sabbagh, Karl (2003a), The greatest unsolved problem in mathematics, Farrar, Straus and Giroux, New York, ISBN 978-0-374-25007-2, MR 1979664 
• Sabbagh, Karl (2003b), Dr. Riemann's zeros, Atlantic Books, London, ISBN 978-1-843-54101-1 
• du Sautoy, Marcus (2003), The music of the primes, HarperCollins Publishers, ISBN 978-0-06-621070-4, MR 2060134 
• Rockmore, Dan (2005), Stalking the Riemann hypothesis, Pantheon Books, ISBN 978-0-375-42136-5, MR 2269393 
• Derbyshire, John (2003), Prime Obsession, Joseph Henry Press, Washington, DC, ISBN 978-0-309-08549-6, MR 1968857 
• Watkins, Matthew (2015), Mystery of the Prime Numbers, Liberalis Books, ISBN 978-1782797814, MR 0000000 
• Frenkel, Edward (2014), The Riemann Hypothesis Numberphile, Mar 11, 2014 (video)