Hipotesis Riemann

Dari testwiki
Loncat ke navigasi Loncat ke pencarian
Bagian nyata (merah) dan bagian imajiner (biru) dari fungsi zeta Riemann sepanjang garis kritis Re(s) = 1/2. Nol non-trivial pertama terdapat di Im(s) = ±14.135, ±21.022 dan ±25.011.

Templat:Masalah Millenium

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 Templat:Sfrac. Banyak yang mengganggap hipotesis ini merupakan pertanyaan belum terjawab paling penting dalam matematika murni.Templat:Sfnp Hipotesis ini memiliki peran penting dalam teori bilangan karena mengimplikasi hasil-hasil mengenai distribusi bilangan prima. Hipotesis ini diusulkan Templat:Harvs, 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.

Fungsi zeta Riemann pada garis kritis Re(s) = 1/2 (nilai real pada sumbu horizontal dan nilai imajiner pada sumbu vertikal): Re(ζ(1/2 + it), Im(ζ(1/2 + it) dengan nilai t berkisar antara −30 dan 30.

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 ζ(s)=0 ketika s bernilai −2, −4, −6, .... Akar-akar ini disebut akar-akar sederhana (trivial). Fungsi zeta juga memiliki akar pada nilai-nilai s yang lain, yang disebut dengan akar-akar tak-sederhana (nontrivial). Hipotesis Riemann memperhatikan lokasi dari akar-akar tak-sederhana ini, dan menyatakan bahwa:Templat:BquoteAkibatnya, jika hipotesis ini benar, semua akar tak-sederhana akan terletak pada garis kritis 12+it, dengan t merupakan bilangan real dan iadalah unit imajiner.

Fungsi zeta Riemann

Templat:Main Fungsi zeta Riemann terdefinisi pada bilangan kompleks s dengan bagian real lebih besar dari 1, lewat deret takhingga yang konvergen absolutζ(s)=n=11ns=11s+12s+13s+.Leonhard Euler telah mempelajari deret ini pada tahun 1730-an untuk nilai real s, bersamaan dengan solusi mengenai masalah Basel. Ia juga membuktikan deret itu sama dengan darab (perkalian) Euler

ζ(s)=p prima11ps=112s113s115s117s1111s

dengan darab takhingga dilakukan atas semua bilangan prima p.[1]

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 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

(122s)ζ(s)=η(s)=n=1(1)n+1ns=11s12s+13s,

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 s dengan bagian real positif. Akibatnya, fungsi zeta dapat didefinisikan ulang sebagai η(s)/(12/2s), memperluas domain dari Re(s)>1 menjadi Re(s)>0, kecuali untuk titik-titik yang menyebabkan 12/2s bernilai nol. Titik-titik tersebut memiliki bentuk s=1+2πin/log2 dengan 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 s dengan bagian real positif; kecuali untuk kutub sederhana s=1.

Pada daerah berbentuk pita 0<Re(s)<1, perluasan dari fungsi zeta ini akan memenuhi persamaan fungsional

ζ(s)=2sπs1 sin(πs2) Γ(1s) ζ(1s).

Fungsi ζ(s) juga dapat didefinisikan untuk bilangan kompleks s yang tersisa (yakni Re(s)0 dan s0) dengan menggunakan fungsi ini di luar pita, lalu membuat ζ(s) bernilai sama dengan ruas kanan kapanpun s memenuhi Re(s)0 (dan s0).

Jika s merupakan bilangan genap negatif, maka ζ(s)=0 karena faktor sin(πs2) bernilai nol; ini adalah akar-akar sederhana dari fungsi zeta. Argumen ini tidak berlaku ketika s berupa bilangan genap positif karena akar dari fungsi sinus tercoret dengan kutub-kutub dari fungsi gamma. Nilai ζ(s)=12 tidak terdefinisi lewat persamaan fungsional, namun lewat nilai limit ζ(s) ketika 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 0<Re(s)<1.

Catatan

Templat:Reflist

Referensi

Terdapat beberapa buku nonteknis mengenai hipotesis Riemann, seperti Templat:Harvtxt, Templat:Harvtxt, Templat:Harvs, Templat:Harvtxt, dan Templat:Harvtxt. Buku-buku seperti Templat:Harvtxt, Templat:Harvtxt, Templat:Harvtxt, Templat:Harvtxt dan Templat:Harvtxt memberikan pengenalan secara matematis, sedangkan Templat:Harvtxt, Templat:Harvtxt dan Templat:Harvtxt berupa monografi yang lebih lanjut. Templat:Refbegin

Templat:Refend

Eksposisi populer

Templat:Authority control

  1. Leonhard Euler. Variae observationes circa series infinitas. Commentarii academiae scientiarum Petropolitanae 9, 1744, pp. 160–188, Theorems 7 and 8. In Theorem 7 Euler proves the formula in the special case s=1, and in Theorem 8 he proves it more generally. In the first corollary to his Theorem 7 he notes that ζ(1)=log, and makes use of this latter result in his Theorem 19, in order to show that the sum of the inverses of the prime numbers is loglog.