Teorema bilangan prima

Dalam teori bilangan, teorema bilangan prima (TBP) menjelaskan asimtotik, distibusi dari bilangan prima di antara bilangan bulat positif. Teorema ini dibuktikan secara independen oleh Jacques Hadamard dan Charles Jean de la Vallée Poussin pada tahun 1896 menggunakan ide-ide yang diperkenalkan oleh Bernhard Riemann (khususnya, fungsi zeta Riemann).

Distribusi pertama yang ditemukan adalah , di mana  adalah fungsi penghitungan bilangan prima dan  adalah logaritma alami . Ini berarti, untuk  yang cukup besar, kemungkinan bahwa sebuah bilangan bulat acak tidak lebih besar dari  adalah bilangan prima yang sangat dekat ke . Karena itu, sebuah bilangan bulat acak dengan paling banyak  digit (untuk  yang cukup besar) kemungkinannya sekitar setengahnya menjadi bilangan prima sebagai bilangan bulat acak dengan paling banyak  digit.

Sebagai contoh, antara bilangan bulat positif paling banyak 1000 digit, sekitar satu dari 2300 adalah bilangan prima (), sedangkan di antara bilangan bulat paling banyak 2000 digit, sekitar satu dari 4600 adalah bilangan prima (). Dengan kata lain, jarak rata-rata antara bilangan prima berurutan sekitar bilangan bulat  pertama kira-kira .

 Pernyataan 
jmpl|Grafik tersebut menunjukkan bahwa rasio dari fungsi penghitungan bilangan prima  hingga dua dari perkiraannya  dan . Ketika  meningkat (perhatikan sumbu  adalah logaritmik), kedua rasionya menuju 1. Rasio untuk  konvergen dari atas sangat lambat, sedangkan rasio untuk  konvergen lebih cepat dari bawah.
jmpl|Plot log menunjukkan galat absolut  dan , dua aporksimasi ke fungsi penghitungan prima . Tidak seperti rasio, selisih antara  dan  meningkat tanpa batas saat  meningkat. Di samping itu,  bertukar tanda berkali-kali.
Misalkan  adalah fungsi penghitung bilangan prima yang memberikan bilangan prima kurang dari sama dengan , untuk setiap bilangan real . Misalnya,  karena terdapat empat bilangan prima (2, 3, 5, dan 7) kurang dari sama dengan 10. Teorema bilangan prima kemudian menyatakan bahwa  adalah sebuah aprokismasi yang baik untuk , dalam arti bahwa limit dari hasil bagi dari dua fungsi  dan  saat  meningkat tanpa batas adalah 1ː

  ,

Ini dikenal sebagai hukum asimtotik distribusi bilangan prima. Dengan menggunakan notasi asimtotik, hasil ini dapat dikemukakan kembali sebagai

 .

Notasi ini (dan teoremanya) tidak mengatakan apapun tentang limit dan selisih dari dua fungsi saat  meningkat tanpa batas. Sebagai gantinya, teoremanya mengatakan bahwa  mendekati  dalam arti bahwa galat relatif dari aprokismasi ini mendekati 0

Teorema bilangan prima setara dengan pernyataan bahwa bilangan prima  ke- memenuhiː

 ,

pengertian dari notasi asimtotik, lagi, bahwa galat relatif dari aproksimasi ini mendekati 0 saat  meningkat tanpa batas. Sebagai contoh, bilangan prima ke  adalah , dan  membulatkan ke , sebuah galat relatif sekitar .

Seperti yang diuraikan di bawah, teorema bilangan prima juga setara dengan

 ,

di mana  dan  adalah fungsi Chebyshev pertama dan kedua.

 Sketsa bukti 
ini adalah sebuah sketsa dari bukti yang disebut di salah satu kuliah Terence Tao. Ide tersebut adalah untuk menghitung bilangan prima (atau sebuah himpunan yang terkait seperti himpunan dari pangkat-pangkat bilangan prima) dengan bobot untuk sampai pada sebuah fungsi dengan perilaku asimtotik yang lebih mulus. Yang paling umum seperti fungsi penghitungan rampat adalah fungsi Chebyshev.

Kadang-kadang, ini ditulis sebagai

 ,

di mana  adalah fungsi von Mangoldt, yaitu



Sekarang relatif mudah untuk memeriksa bahwa TBP setara dengan tujuannya bahwa

 .

Memang, ini mengikuti dari perkiraan yang mudah



dan (menggunakan notasi O besar) untuk setiap ,

 .

Langkah selanjutnya adalah mencari sebuah representasi yang berguna untuk . Misalkan  menjadi sebuah fungsi zeta Riemann. Ini bisa menunjukkan bahwa  berakitan dengan fungsi von Mangoldt ,

 .

Sebuah analisis yang rumit dari persamaan ini dan sifat-sifat yang terkati dengan fungsi zeta, menggunakan transformasi Mellin dan rumus Perron, menunjukkkan bahwa untuk bukan bilangan bulat  persamaan

berlaku, di mana jumlah di atas semuanya nol (trivial dan nontrivial) dari fungsi zeta. Rumus yang mencolok ini adalah salah satu yang disebut rumus eksplisit teori bilangan, dan sudah menunjukkan dari hasil yang kita buktikan, sejak suku  (diklaim menjadi perbaikan urutan asimtotik ) muncul pada sebelah kanan, diikuti oleh (agaknya) suku asimtotik urutan lebih rendah.

Langkah selanjutnya dalam bukti melibatkan sebuah studi dari nol dari fungsi zeta. Nol trivial  bisa ditangani secara terpisahː

 ,

yang hilang untuk sebuah  besar. Untuk nol nontrivial, yaitu yang ada di garis kritis , berpotensi menjadi sebuah urutan asimtotik sebanding ke suku utama  jika , jadi kita perlu menunjukkan bahwa semua nol memiliki bagian real sangat kurang dari .

Untuk melakukan ini, kita menerima begitu saja bahwa  adalah meromorfik dalam setengah bidang , dan  analitik di sana kecuali untuk sebuah kutub sederhana pada , dan itu terdapat sebuah rumus produk

untuk . Rumus produk ini mengikuti dari adanya faktorisasi bilangan prima tunggal dari bilangan bulat, dan menunjukkan bahwa  tidak pernah nol di daerah ini, jadi logaritmanya didefinisikan di sana dan

  .

Tulis , lalu

.

Sekarang mengamati identitas

  ,

sehingga



untuk semua . Misalkan bahwa . Tentu saja  bukan nol, karena  memiliki sebuah kutub sederhana pada . Misalkan bahwa  dan misalkan  cenderung ke  dari atas. Karena  adalah sebuah kutub sederhana pada  dan  tetap analitik, sisi kiri di pertidaksamaan sebelumnya cenderung ke , sebuah kontradiksi.

Terakhir, kita bisa menyimpulkan bahwa TBP secara heuristik benar. Untuk menyelesaikan bukti dengan teliti, masih ada teknik-teknik yang serius untuk diatasi, karena faktanya bahwa penjumlahan pada nol zeta dalam rumus eksplisit untuk  tidak konvergen sepenuhnya tetapi hanya bersyarat dan dalam sebuah arti "nilai utama". Terdapat beberapa cara di sekitar masalah ini tapi banyak dari mereka membutuhkan perkiraan analisis kompleks yang agak rumit. Buku Edward menyediakan detailnya. Metode lainnya adalah menggunakan teorema Tauberian Ikehara, meskipun teorema ini sendiri cukup sulit untuk membuktikan. D. J. Newman mengamati bahwa kekuatan penuh dari teorema Ikehara tidak dibutuhkan untuk teorema bilangan prima, dan salah satunya bisa lolos dengan sebuah kasus spesial yang jauh lebih mudah untuk membuktikan.

 Bukti Newman tentang TBP 
Fungsi Chebyshev pertama dan kedua masing-masing



Deret kedua diperoleh dengan menjatuhkan suku-suku dengan  dari yang pertama. TBP setara dengan  atau .

Jumlah untuk adalah  dan  jumlah parsial dari koefisien dari deret Dirichlet

,

di mana  adalah fungsi zeta Riemann. Seperti jumlah parisal, deret kedua diperoleh dengan menjatuhkan suku-suku dengan  dari yang pertama. Deret Dirichlet dibentuk oleh suku-suku dengan  didominasi oleh deret Dirichlet untuk  untuk setiap positif , jadi turunan logaritmik  dan  berbeda dengan sebuah holomorfik fungsi dalam , dan oleh karena itu memiliki singularitas yang sama pada garis .

Mengintegrasi dengan bagian diberikan untuk ,

 .

Semua bukti-bukti analitik dari TBP menggunakan fakta bahwa  tidak memiliki nol pada garis . Satu informasi lebih lanjut dalam pembuktian Newman adalah  dibatasi, Ini bisa dengan mudah membuktikan metode-metode dasar.

Metode Newman membuktikan TBP dengan menunjukkan integral

konvergen, dan karena itu integrand tersebut menuju nol karena . Secara umum, konvergensi dari integral takwajar tidak menyiratkan bahwa integrand menuju nol, karena itu mungkin berosilasi, tetapi karena  meningkat, itu mudah untuk ditampilkan dalam kasus ini.

Untuk , misalkan



maka



yang holomorfik pada garis . Konvergensi dari integral  dibuktikan dengan menunjukkan bahwa . Ini melibatkan perubahan urutan limit karena itu dapat ditulis sebagai



dan karena itu digolongkan sebagai teorema Tauberian.

Selisih  diekspresikan dengan menggunakan rumus integral Cauchy dan kemudian taksirannya diterapkan ke integral. Tetapkan  dan , seperti  holomorfik dalam daerah di mana  dan  dan misalkan  menjadi batasnya. Karena  ada di bagian dalam, rumus integral Cauchy memberikan

.

Untuk mendapatkan sebuah taksiran kasar pada integrand, misalkan  menjadi sebuah batas atas untuk , maka untuk 



Batas ini tidak cukup baik untuk membuktikan hasil tersebut, namun Newman memperkenalkan faktor



menjadi integrand untuk . Karena faktor Newman  adalah menyeluruh dan , ruas kiri tetap tidak berubah. Sekarang taksiran di atas untuk  dan taksiran pada  menggabungkan untuk diberikan

 .

di mana  adalah setengah lingkaran 

Misalkan  menjadi kontur . Fungsi  adalah menyeluruh, jadi dengan menggunakan teorema integral Cauchy, kontur  dapat dimodifikasi ke sebuah setengah lingkaran dari jari-jari  dalam kiri setengah bidang tanpa mengubah integral , dan argumen yang sama memberikan nilai mutlak dari integral ini sebagai . Akhirnya, dengan memisalkan , integral  pada kontur  menuju nolkarena  menuju nol pada kontur. Menggabungkan tiga taksiran, mendapatkan

 .

Ini berlaku untuk setiap  sehingga , dan TBP berikut.

 Aproksimasi untuk bilangan prima ke-n 
Sebagai akibat dari teorema bilangan prima, salah satunya mendapatkan sebuah ekspresi asimtotik untuk bilangan prima ke-, yang dilambangkan sebagai . Ekspresiny yaitu:

 .

Sebuah aproksimasi yang lebih baik adalah

 .

Teorema Rosser menyatakan bahwa

 .

Ini dapat diperbaiki dengan mengikuti sepasang batas berikut.

 Tabel , , dan  
Tabel tersebut membandingkan nilai eksak  dengan aproksimasi  dan . Di kolom terakhir, , adalah rata-rata celah bilangan prima di bawah .
104−0.30.9212.22.5102253.31.1515.14103168231.161105.95210412291431.132178.13710595929061.1043810.4251067849861161.08413012.740107664579441581.07133915.04710857614553327741.06175417.3571095084753425925921.054170119.6671010455052511207580291.048310421.975101141180548131699231591.0431158824.28310123760791201814167051931.0393826326.5901013346065536839119928584521.03410897128.896101432049417508021028383086361.03331489031.2021015298445704226698916049624521.031105261933.507101627923834103392578042898443931.029321463235.81210172623557157654233688837346932811.027795658938.1161018247399542877408606124830708935361.0252194955540.420101923405766727634460754816241693699601.0249987777542.72510202220819602560918840493471930446597011.02322274464445.0281021211272694860187319284465798715781687071.02259739425447.332102220146728668931590629040607040060196209941.021193235520849.63610231925320391606803968923370835137665786313091.020725018621651.9391024184355997673492008678663399963547137080490691.0191714690727854.243102517684630939914376941168031285166378430383512281.0185516098093956.546OEISA006880A057835A057752
Nilai untuk  dihitung dengan asumsi hipotesis Riemann; maka hal itu telah diverifikasi tanpa syarat.

 Analog dari polinomial yang taktereduksi lagi pada sebuah medan berhingga 
Ada sebuah analog dari teorema bilangan prima yang menggambarkan bahwa polinomial taktereduksi "distribusi" pada sebuah medan berhingga terbatas, bentuknya sangat mirip dengan kasus teorema bilangan prima klasik. yang

Untuk menyatakannya dengan tepat, misalkan  menjadi medan berhingga dengan anggota , dan misalkan  menjadi bilangan polinomial taktereduksi monik pada   yang derajatnya sama dengan . Artinya, kita sedang melihat pada polinomial yang koefisiennya terpilih dari , yang tidak bisa ditulis sebagai produk polinomial derajat lebih kecil. Dalam pengaturan ini, polinomial ini memainkan peran dari bilangan prima, karena semua polinomial monik lainnya dibangun dari produk mereka. Salah satunya kemudian membuktikan bahwa

 .

Jika kita membuat substitusi , maka di ruas kanan hanya

 ,

yang membuat analognya lebih jelas. Karena tepatnya ada polinomial monik  derajat  (termasuk yang dapat direduksi), ini dapat diungkapkan ulang sebagai berikut: jika sebuah polinomial monik derajat  dipilih secara acak, maka kemungkinan tersebut tidaktereduksi sekitar .

Salah satunya bisa membuktikan sebuah analog dari hipotesis Riemann, yaitu

 .

Bukti dari pernyataan-pernyataan ini jauh lebih sederhana daripada dalam kasus klasik. Ini melibatkan argumen kombinatorika singkat, diringkas sebagai berikut: setiap anggota dari derajat  ekstensi  adalah sebuah akar dari beberapa polinomial taktereduksi yang derajat  membagi , dengan menghitung akar-akar ini dalam dua cara yang berbeda salah satunya menetapkan bahwa

 ,

di mana jumlah pada semua pembagi  pada . Invers Möbius kemudian menghasilkan



di mana  adalah fungsi Möbius. (Rumus ini diketahui Gauss) Suku utama terjadi untuk , dan ini tidak sulit untuk membatasi suku-suku yang tersisa. Pernyataan "hipotesis Riemann" tergantung pada fakta bahwa pembagi terbesar pada  tidak boleh lebih besar dari .

 Lihat pula 

 Hipotesis Riemann
 Teorema ideal bilangan prima Landau
 Teori bilangan analitik abstrak

 Referensi 

 Pranala luar 


 Tabel Primes oleh Anton Felkel.
 Video pendek yang memvisualisasikan Teorema Bilangan Perdana.
 Rumus prima dan teorema bilangan prima di MathWorld.

 Ada Berapa Banyak Primes? dan The Gaps between Primes oleh Chris Caldwell, University of Tennessee di Martin.
 Tabel fungsi penghitungan utama oleh Tomás Oliveira e Silva