Θεώρημα πρώτων αριθμών

Στη θεωρία αριθμών , το θεώρημα πρώτων αριθμών περιγράφει την ασυμπτωτική κατανομή των πρώτων αριθμών μεταξύ των θετικών ακεραίων. Το θεώρημα αποδείχθηκε ανεξάρτητα από τον Ζακ Χανταμάρ και τον  Σαρλ Ζαν ντε λα Βαλέ-Πουσέν το 1896 χρησιμοποιώντας ιδέες που εισήγαγε ο Μπέρναρντ Ρίμαν (ειδικότερα, η συνάρτηση ζήτα του Ρίμαν).

Η πρώτη τέτοια κατανομή που βρέθηκε είναι η π(N) ~ N / log(N), όπου π(N) είναι η συνάρτηση καταμέτρησης των πρώτων αριθμών και log(N) είναι ο φυσικός λογάριθμος του N. Αυτό σημαίνει ότι για αρκετά μεγάλα Ν, η πιθανότητα ένας τυχαίος ακέραιος που δεν είναι μεγαλύτερος από το Ν είναι πρώτος αν είναι πολύ κοντά στο 1 / log(N). Κατά συνέπεια, ένας τυχαίος ακέραιος με το πολύ 2n ψηφία ( για αρκετά μεγάλο n) έχει περίπου τις μισές πιθανότητες να είναι πρώτος από ένα τυχαίο ακέραιο με το πολύ n ψηφία. Για παράδειγμα, μεταξύ των θετικών ακεραίων με το πολύ 1000 ψηφία, περίπου ένα στους 2300 είναι πρώτος (log(101000) ≈ 2302.6), λαμβάνοντας υπόψη ότι μεταξύ των θετικών ακέραιων με το πολύ 2000 ψηφία περίπου ένα στους 4600 είναι πρώτος (log(102000) ≈ 4605.2). Με άλλα λόγια, η μέση διαφορά ανάμεσα στους διαδοχικούς πρώτους αριθμούς μεταξύ των πρώτων N ακεραίων είναι περίπου log(N).

 Παρουσίαση 
σύνδεσμος=https://en.wikipedia.org/wiki/File:Prime_number_theorem_ratio_convergence.svg|μικρογραφία|300x300εσ|Το γράφημα δείχνει το λόγο της συνάρτησης καταμέτρησης των πρώτων π(x) στις δύο προσεγγίσεις της, x/log x και Li(x). Όσο το x αυξάνεται (σημείωση ο άξονας x είναι λογαριθμικός), και οι δύο λόγοι τείνουν στο 1. Ο λόγος για το x/log x συγκλίνει αργά στην πάνω συνάρτηση, ενώ ο λόγος Li(x) συγκλίνει πολύ πιο γρήγορα στην δεύτερη συνάρτηση.
Ας είναι π(x) η συνάρτηση καταμέτρησης των πρώτων αριθμών που δίνει τους πρώτους αριθμούς που είναι μικρότεροι ή ίσοι με το x, για οποιοδήποτε πραγματικό αριθμό x.

Για παράδειγμα, π(10)=4 επειδή υπάρχουν 4 πρώτοι αριθμοί (2,3,5 και 7) μικρότεροι ή ίσοι με το 10.Το θεώρημα πρώτων αριθμών αναφέρει ότι x / log(x) είναι μια καλή προσέγγιση της π(x), με την έννοια ότι το όριο του πηλίκου από τις δύο συναρτήσεις π(x) και x / log(x) όσο αυξάνεται το x χωρίς όριο είναι 1 :

που είναι γνωστό ως ο ασυμπτωτικός κανόνας της κατανομής των πρώτων αριθμών. Χρησιμοποιώντας την ασυμπτωτική σημειογραφία το αποτέλεσμα αυτό μπορεί να επαναδιατυπωθεί ως

Αυτή η σημείωση (και το θεώρημα) δεν αναφέρεται στο όριο της διαφοράς των δυο συναρτήσεων όσο το x αυξάνεται χωρίς όριο. Αντί αυτού, το θεώρημα αναφέρει ότι x / log(x) προσεγγίζει την π(x) με την έννοια ότι το σχετικό σφάλμα της προσέγγισης προσεγγίζει το 0 όσο το x αυξάνεται χωρίς όριο.
σύνδεσμος=https://en.wikipedia.org/wiki/File:Prime_number_theorem_absolute_error.svg|μικρογραφία|300x300εσ|Η γραφική παράσταση του λογαρίθμου-λογαρίθμου δείχνει το απόλυτο σφάλμα του x/log x και Li(x), οι δύο προσεγγίσεις της συνάρτησης καταμέτρησης των πρώτων π(x). Σε αντίθεση με τον λόγο, η διαφορά μεταξύ των π(x) και x/log x  αυξάνεται χωρίς όρια όσο το x αυξάνεται. Από την άλλη μεριά, το Li(x)-π(x) εναλλάσσει πρόσημο άπειρες φορές.
Το θεώρημα πρώτων αριθμών είναι ισοδύναμο με το ότι ο νιοστός πρώτος αριθμός pn ικανοποιεί

.

η ασυμπτωτική σημειογραφία σημαίνει, ξανά. ότι το σχετικό σφάλμα της προσέγγισης προσεγγίζει το 0 καθώς το n αυξάνεται χωρίς όριο. Για παράδειγμα, το 200  · 1015 τη πρώτος αριθμός είναι 8512677386048191063, και (200 · 1015)log(200 · 1015) που είναι ο 7967418752291744388, με σχετικό σφάλμα της τάξης 6.4%.

Το θεώρημα των πρώτων αριθμών είναι επίσης ισοδύναμο με
,
όπου  και  είναι η πρώτη και η δεύτερη συνάρτηση Τσεμπισιόφ  αντίστοιχα.

 Η ιστορία του ασυμπτωτικού κανόνα της κατανομής των πρώτων αριθμών και η απόδειξη της. 
σύνδεσμος=https://en.wikipedia.org/wiki/File:Primes_-_distribution_-_up_to_19_primorial.png|μικρογραφία|840x840εσ|Κατανομή των πρώτων μέχρι τον 19# (9699690).
Με βάση τους πίνακες από τους Anton Felkel και  Jurij Vega, ο Αντριέν-Μαρί Λεζάντρ υπέθεσε το 1797 ή 1798 ότι το π(a) προσεγγίζεται από τη συνάρτηση  a/(A log(a) + B), όπου Α και Β είναι απροσδιόριστες σταθερές. Στη δεύτερη έκδοση του βιβλίου του για τη θεωρία αριθμών (1808) έκανε μια πιο ακριβή εικασία, με  A = 1 και B = −1.08366. Ο Καρλ Φρίντριχ Γκάους μελέτησε την ίδια ερώτηση στην ηλικία των 15 ή 16 από το 1792 ή το 1793, σύμφωνα με τις δικές του αναμνήσεις το 1849. To 1838 ο Πέτερ Γκούσταφ Λεζέν Ντίριχλετ συνέλαβε μια νέα προσεγγιστική συνάρτηση, το λογαριθμικό ολοκλήρωμα li(x) (από μια  ελαφρώς διαφορετική μορφή μιας σειράς, την οποία ο ίδιος κοινοποίησε στον Γκάους). Οι τύποι των Λεζάντρ και Ντίριχλετ υπονόησαν την ίδια εικασία της ασυμπτωτικής ισοδυναμίας των π(x) και x / log(x) που προαναφέρθηκαν, αν και αποδείχθηκε ότι η προσέγγιση του Ντίριχλετ είναι σημαντικά καλύτερη, αν μελετήσει κανείς τις διαφορές αντί για το πηλίκο.

Σε δύο έγγραφα από το 1848 και το 1850, ο Ρώσος μαθηματικός Παφνούτι Τσεμπισιόφ προσπάθησε να αποδείξει τον ασυμπτωτικό νόμο της κατανομής των πρώτων αριθμών. Το έργο του είναι αξιοσημείωτο για τη χρήση της ζήτα συνάρτησης ζ(s) (για πραγματικές τιμές του ορίσματος "s", όπως είναι οι εργασίες του Λέοναρντ Όιλερ, ήδη από το 1737) πριν από τα απομνημονεύματα του Ρίμαν το 1859, και κατάφερε να αποδείξει μια ελαφρώς ασθενέστερη μορφή του ασυμπτωτικού νόμου, δηλαδή, ότι αν το όριο του π(x)/(x/log(x)) καθώς το x τείνει στο άπειρο υπάρχει, τότε είναι αναγκαστικά ίσο με το ένα. Ήταν σε θέση να αποδείξει ανεπιφύλακτα ότι η αναλογία αυτή είναι φραγμένη πάνω και κάτω από δυο ρητά δοσμένες σταθερές κοντά στο 1, για όλα τα μεγάλα x. Παρά το γεγονός ότι ο Τσεμπισιόφ δεν είχε αποδείξει στο έργο του το θεώρημα πρώτων αριθμών, οι εκτιμήσεις του για το π(x) ήταν αρκετά ισχυρές για να αποδείξει το αξίωμα του Μπερτράν, ότι υπάρχει ένας πρώτος αριθμός μεταξύ των n και 2n για κάθε ακέραιο n ≥ 2.

Ένα σημαντικό έγγραφο σχετικά με την κατανομή των πρώτων αριθμών ήταν τα απομνημονεύματα του Ρίμαν το 1859 σχετικά με τον αριθμό των πρώτων αριθμών που είναι μικρότερος από ένα δεδομένο μέγεθος, το μόνο έγγραφο που έγραψε ποτέ για αυτό το θέμα. Ο Ρίμαν εισήγαγε νέες ιδέες σε αυτό το θέμα, η επικεφαλής των οποίων είναι ότι η κατανομή των πρώτων αριθμών είναι στενά συνδεδεμένη με τα μηδενικά της αναλυτικά επεκταμένης συνάρτησης ζήτα του Ρίμαν μιας σύνθετης μεταβλητής. Ειδικότερα, από αυτό το έγγραφο του Ρίμαν προέρχεται η ιδέα του να εφαρμόσει τις μεθόδους της μιγαδικής ανάλυσης με τη μελέτη της πραγματικής συνάρτησης π(x). Επεκτείνοντας τις ιδέες του Ρίμαν, δύο αποδείξεις του ασυμπτωτικού κανόνα της κατανομής των πρώτων αριθμών εξασφαλίστηκαν ανεξάρτητα από τον Ζακ Ανταμάρ και τον Σαρλ Ζαν ντε λα Βαλέ-Πουσέν και εμφανίστηκαν την ίδια χρονιά (1896). Και στις δύο αποδείξεις χρησιμοποιούνται μέθοδοι από την ανάλυση, που καθόρισαν ως κύριο βήμα ότι η συνάρτηση ζήτα του Ρίμαν ζ(s) είναι μη μηδενική για όλες τις μιγαδικές τιμές της μεταβλητής  που έχουν τη μορφή  με .

Κατά τη διάρκεια του 20ου αιώνα, το θεώρημα του Ανταμάρ και του ντε λα Βαλέ-Πουσέν έγινε επίσης γνωστό ως θεώρημα πρώτων αριθμών. Αρκετές διαφορετικές αποδείξεις βρέθηκαν, συμπεριλαμβανομένων των «στοιχειωδών» αποδείξεων των Ατλ Σέλμπεργκ και Πολ Έρντος (Paul Erdős, 1949). Ενώ οι αρχικές αποδείξεις των Ανταμάρ και ντε λα Βαλέ-Πουσέν είναι μακροσκελείς και περίτεχνες, μεταγενέστερες αποδείξεις εισήγαγαν διάφορες απλουστεύσεις μέσω της χρήσης των Tauberian θεωρημάτων αλλά παρέμεινε δύσκολο να κατανοηθούν. Μια σύντομη απόδειξη ανακαλύφθηκε το 1980 από τον Αμερικανό μαθηματικό Donald J. Newman . Η απόδειξη του Newman είναι αναμφισβήτητα η πιο απλή γνωστή απόδειξη του θεωρήματος, αν και δεν είναι στοιχειώδης, με την έννοια ότι χρησιμοποιεί το ολοκληρωτικό θεώρημα του Κωσύ από τη μιγαδική ανάλυση.

 Μεθοδολογία απόδειξης 
Σε μια διάλεξη σχετικά με τους πρώτους αριθμούς για το ευρύ κοινό, ο Τέρενς Τάο που απέκτησε το Μετάλλιο Φιλντς περιέγραψε μια προσέγγιση της απόδειξης του Θ.Π.Α. με ποιητικούς όρους: ακούγοντας τη "μουσική" των πρώτων αριθμών. Ξεκινάμε με ένα "ηχητικό κύμα" που είναι "θορυβώδες " στους πρώτους αριθμούς και σιωπηλό σε άλλους αριθμούς. Αυτή είναι η συνάρτηση του von Mangoldt· Στη συνέχεια αναλύουμε τις "νότες" ή συχνότητές του, υποβάλλοντας το σε μια διαδικασία παρόμοια με το μετασχηματισμό Φουριέ· Αυτός είναι ο μετασχηματισμός Mellin. Το επόμενο και πιο δύσκολο βήμα είναι να αποδειχθεί ότι συγκεκριμένες "νότες" δεν μπορούν να προκύψουν σε αυτή τη μουσική.  Αυτή η εξαίρεση συγκεκριμένων "νοτών" οδηγεί στη διατύπωση του θεωρήματος των πρώτων αριθμών. Σύμφωνα με τον Τάο, η απόδειξη αυτή παράγει πολύ βαθύτερες γνώσεις σχετικά με την κατανομή των πρώτων αριθμών από τις «στοιχειώδεις» αποδείξεις.Βίντεο και διαφάνειες από τη διάλεξη του Τάο για τους πρώτους αριθμούς, UCLA, Ιανουάριος 2007

 Σκιαγράφηση Απόδειξης 
Θα παρουσιάσουμε μια σκιαγράφηση της απόδειξης του θεωρήματος όπως παρουσιάζεται στη διάλεξη του Τάο που αναφέραμε προηγουμένως. Όπως οι περισσότερες αποδείξεις του Θ.Π.Α, ξεκινάμε επαναπροσδιορίζοντας το πρόβλημα χρησιμοποιώντας μια λιγότερο διαισθητική, αλλά με καλύτερη "συμπεριφορά", συνάρτηση καταμέτρησης πρώτων. Η ιδέα είναι να μετρήσουμε τους πρώτους (ή ένα αντίστοιχο σύνολο όπως το σύνολο των δυνάμεων πρώτων) με βάρη που να οδηγούν σε μια συνάρτηση με ομαλότερη ασυμπτωτική συμπεριφορά. Η πιο συνήθης συνάρτηση  είναι η συνάρτηση Τσεμπισιόφ , που ορίζεται ως εξής: 

Η συνάρτηση αυτή γράφεται κάποιες φορές ως 
,
όπου  είναι η συνάρτηση von Mangoldt, που ορίζεται ως

Τώρα είναι σχετικά εύκολο να ελέγξουμε ότι το Θ.Π.Α είναι ισοδύναμο με το να ισχυριστούμε ότι . Όντως , προκύπτει εύκολα ότι 
,

και (χρησιμοποιώντας τον συμβολισμό του Ο) για κάθε ,

.

Το επόμενο βήμα είναι να βρούμε μια χρήσιμη παράσταση για την . Ας είναι  η συνάρτηση ζ του Ρίμαν. Μπορούμε να δείξουμε ότι  η  σχετίζεται με τη συνάρτηση von Mangoldt , και συνεπώς με την , μέσω της σχέσης

.

Μία κομψή ανάλυση της παραπάνω εξίσωσης και των σχετικών ιδιοτήτων της συνάρτησης ζ, χρησιμοποιώντας το μετασχηματισμό Mellin και τον τύπο του Περρόν δείχνει ότι για μη-ακέραιο  ισχύει η εξίσωση

,

όπου το άθροισμα είναι σε όλες τις ρίζες  (τετριμμένες και μη) της συνάρτησης ζ. Αυτός ο τύπος είναι ένας από τους γενικούς τύπους της θεωρίας αριθμών και υποδεικνύει ήδη το αποτέλεσμα το οποίο θέλουμε να αποδείξουμε, από τη στιγμή που ο όρος x εμφανίζεται στα δεξιά ακολουθούμενος από χαμηλότερης τάξης ασυμπτωτικούς όρους.

Το επόμενο βήμα  της απόδειξης προϋποθέτει τη μελέτη των μηδενικών της συνάρτησης ζ.Τα τετριμμένα μηδενικά −2, −4, −6, −8, ... μπορούν να μελετηθούν ξεχωριστά:

που εξαφανίζεται για μεγάλα x. Τα μη τετριμμένα μηδενικά , δηλαδή αυτά που βρίσκονται στην κρίσιμη ζώνη , μπορούν δυνητικά να είναι ασυμπτωτικής τάξης σε σχέση με τον βασικό όρο x αν , επομένως πρέπει να δείξουμε ότι όλα τα μηδενικά έχουν πραγματικό μέρος αυστηρά μικρότερο του 1.

Για να το κάνουμε αυτό, θεωρούμε δεδομένο ότι η  είναι μερομορφική στο ημι-επίπεδο , και αναλυτική εκεί εκτός από έναν απλό πόλο στο , και ότι μπορεί να εκφραστεί με τον εξής τύπο 

για  Αυτό το γινόμενο ακολουθείται από την ύπαρξη μοναδικής παραγοντοποίησης πρώτων παραγόντων των ακεραίων και δείχνει ότι η  δεν είναι ποτέ μηδέν σε αυτήν την περιοχή, έτσι ώστε ο λογάριθμος να ορίζεται εκεί και

Θέτουμε  και έπειτα Παρατηρούμε τώρα την ταυτότητα  έτσι ώστε 
για κάθε .

Υποθέτουμε τώρα ότι . Φυσικά  είναι μη μηδενικό  αφού η   έχει έναν απλό πόλο στο .

Έστω ότι  και ας αφήσουμε το  να τείνει στο  από πάνω.

Αφού η  έχει απλό πόλο στο  και  παραμένει αναλυτική, το αριστερό μέρος της προηγούμενης ανισότητας τείνει στο  και έχουμε αντίφαση.

Τέλος, μπορούμε να συμπεράνουμε ότι το Θ.Π.Α είναι "ηθικά"¨σωστό. Για να ολοκληρώσουμε αυστηρά την απόδειξη υπάρχουν ακόμα μερικές σοβαρές τεχνικές δυσκολίες που πρέπει να ξεπεραστούν εξαιτίας του ότι το άθροισμα πάνω από τα μηδενικά της ζήτα στον γενικό τύπο της  δεν συγκλίνει απόλυτα αλλά μόνο υπό συνθήκη. Υπάρχουν μερικοί τρόποι επίλυσης γύρω από αυτό το πρόβλημα αλλά πολλοί από αυτούς προϋποθέτουν πιο κομψές μιγαδικά αναλυτικές προσεγγίσεις που είναι πέρα από το φάσμα αυτού του άρθρου. Το βιβλίο του Edwards παρέχει τις λεπτομέρειες. Μια άλλη μέθοδος είναι να χρησιμοποιήσουμε το Θεώρημα Ikehara , αν και αυτό το θεώρημα είναι αρκετά δύσκολο από μόνο του να αποδειχθεί.

Ο D.J.Newman παρατήρησε ότι η πλήρης "δύναμη" του θεωρήματος του Ikehara δεν είναι αναγκαία για το Θεώρημα Πρώτων Αριθμών και κάποιος μπορεί απλά να χρησιμοποιήσει μία ειδική περίπτωση του που είναι ευκολότερο να αποδειχθεί.

 Η συνάρτηση καταμέτρησης πρώτων σαν όροι λογαριθμικού ολοκληρώματος 
Σε ένα χειρόγραφο σημείωμα σε μια ανατύπωση της εργασίας του του 1838 με τίτλο Sur l'usage des séries infinies dans la théorie des nombres (Σχετικά με την χρήση απείρων σειρών στην θεωρία αριθμών), την οποία ταχυδρόμησε στον Καρλ Φρίντριχ Γκάους, ο  Πέτερ Γκούσταφ Λεζέν Ντίριχλετ  είκασε ότι μια καλύτερη προσέγγιση του π(x) δίνεται από την ολοκληρωτική λογαριθμική συνάρτηση Li(x) , που ορίζεται ως:

Όντως το ολοκλήρωμα αυτό υποδεικνύει ότι η πυκνότητα των πρώτων αριθμών γύρω από το  πρέπει να είναι .  Αυτή η συνάρτηση σχετίζεται με τον λογάριθμο μέσω του ασυμπτωτικού αναπτύγματος 

Άρα, το Θ.Π.Α. μπορεί αλλιώς να γραφεί ως π(x)~Li(x).

Σε μια άλλη εργασία, το 1899, ο Λα Βαλε Πουσσεν απέδειξε ότι 
για  
για κάποια θετική σταθερά , και η βελτιωμένη μορφή του είναι

Λόγω της σύνδεσης μεταξύ της συνάρτησης ζ και της π(x), η υπόθεση του Ρίμαν έχει μεγάλη σημαντικότητα στην θεωρία αριθμών: αν αποδειχθεί αληθής, θα προκύψει μια πολύ καλύτερη προσέγγιση του σφάλματος που εμπλέκεται στο θεώρημα πρώτων αριθμών από αυτήν που υπάρχει σήμερα. Πιο συγκεκριμένα, ο Χέλγκε φον Κοχ έδειξε το 1901 ότι, αν και μόνο αν η υπόθεση του Ρίμαν είναι αληθής, ο όρος σφάλματος στην παραπάνω σχέση μπορεί να πάρει τη βελτιωμένη μορφή 

Η σταθερά που περιέχεται στον συμβολισμό Ο προσεγγίστηκε το 1976 από τον Λόουελ Σένφιλντ: υποθέτουμε από την υπόθεση Ρίμαν οτι

  για όλα τα . 
Επίσης εξήγαγε ένα παρόμοιο φράγμα για τη συνάρτηση Τσεμπισιόφ ψ 
 για όλα τα x ≥ 73.2.

Αυτό το τελευταίο φράγμα εκφράζει μια διακύμανση στον μέσο νόμο της δύναμης (όταν θεωρηθεί ως τυχαία συνάρτηση πάνω από τους ακεραίους), στο 1/f θόρυβο  και αντιστοιχεί στην  Τουίντι σύνθετη κατανομή Πουασόν. Παρενθετικά, οι κατανομές Τουίντι παρουσιάζουν μια οικογένεια κλιμακωτά αμετάβλητων κατανομών που εξυπηρετούν ως εστίες σύγκλισης για μια γενίκευση του κεντρικού οριακού θεωρήματος.

Το λογαριθμικό ολοκλήρωμα Li(x) είναι μεγαλύτερο από την π(x) για "μικρά" x. Αυτό συμβαίνει επειδή είναι καταμέτρηση όχι πρώτων αλλά δυνάμεων πρώτων, όπου η δύναμη  pn

ενός πρώτου μετράται ως 1/n ενός πρώτου. Αυτό υποδεικνύει ότι η Li(x) πρέπει συνήθως να είναι μεγαλύτερη από το π(x) κατά σχεδόν Li(x1/2)/2, γενικά όμως  μεγαλύτερη από την π(x). Όμως το 1914, ο Τζον Έντενσορ Λίτλγουντ, απέδειξε ότι αυτό δεν συμβαίνει πάντα. Η πρώτη τιμή του x για να είναι η π(x) μεγαλύτερη της Li(x) είναι κοντά στην τιμή x = 10316.

 Στοιχειώδεις αποδείξεις 
Στο πρώτο μισό του 20ου αιώνα, κάποιοι μαθηματικοί (κυρίως ο Γκόντφρει Χάρολντ Χάρντι) πίστευαν ότι υπάρχει ιεραρχία στις αποδεικτικές μεθόδους των μαθηματικών, η οποία εξαρτάται από το είδος των αριθμών (ακέραιοι, πραγματικοί,μιγαδικοί) που απαιτεί η απόδειξη και ότι το θεώρημα πρώτων αριθμών είναι ένα "βαθύ" θεώρημα λόγω της ανάγκης χρήσης μιγαδικής ανάλυσης.

Αυτό το πιστεύω κλονίστηκε λίγο από μία απόδειξη του βασισμένη στο ταουμπεριανό θεώρημα του Βίνερ, ωστόσο αυτό μπορεί να αγνοηθεί αν το θεώρημα του Βίνερ κρινόταν ότι έχει βάθος αντίστοιχο με αυτό της μεθόδου μιγαδικών μεταβλητών.

Δεν υπάρχει αυστηρός και ευρέως αποδεκτός ορισμός για την έννοια της στοιχειώδους απόδειξης στη θεωρία αριθμών.Ένας ορισμός είναι "μια απόδειξη η οποία μπορεί να εκτελεστεί στην πρωτοτάξια αριθμητική του Πεάνο." Υπάρχουν θεωρήματα της θεωρίας αριθμών (παράδειγμα το θεώρημα Παρις-Χάρινγκτον) που μπορούν να αποδειχθούν χρησιμοποιώντας δευτεροτάξιες αλλά όχι πρωτοτάξιες μεθόδους, αλλά τέτοια θεωρήματα σπανίζουν έως και σήμερα.

Τον Μάρτιο του 1948, ο Ατλ Σέλμπεργκ καθιέρωσε, με στοιχειώδη μέσα να αποδείξει τον ασυμπτωτικό τύπο
,
όπου  για πρώτους p.

Έως τον Ιούλιο της ίδιας χρονιάς,  Σέλμπεργκ και  Πωλ Έρντος είχαν ο καθένας ξεχωριστά μια στοιχειώδη απόδειξη του Θ.Π.Α, χρησιμοποιώντας και οι δύο τον ασυμπτωτικό τύπο του Σέλμπεργκ ως αρχικό σημείο. Αυτές οι αποδείξεις οδήγησαν αποτελεσματικά στην αποδοχή του ότι το Θ.Π.Α ήταν "βαθύ" και έδειξαν ότι τεχνικώς στοιχειώδεις μέθοδοι (με άλλα λόγια η αριθμητική του Πεάνο) ήταν πιο ισχυρές από ότι πίστευαν.

Το 1994, οι Χαράλαμπος Κορνάρος και Κώστας Δημητρακόπουλος απέδειξαν το Θ.Π.Α. χρησιμοποιώντας μόνο , ένα τυπικό σύστημα πιο αδύναμο από την αριθμητική του Πεάνο. Για την ιστορία των στοιχειωδών αποδείξεων του Θ.Π.Α, συμπεριλαμβανομένης των Έρντος-Σέλμπεργκ, δείτε το άρθρο του Ντόριαν Γκόλντφελντ.

 Επαλήθευση μέσω Υπολογιστών 
Το 2005, ο Avigad κ.α, έβαλαν τον αποδεικτή θεωρημάτων Ιζαμπελ να σχεδιάσει μια υπολογιστικώς επαληθευμένη παραλλαγή της απόδειξης Έρντος-Σελμπεργκ για το Θ.Π.Α. Αυτή ήταν η πρώτη μηχανικά επαληθευμένη απόδειξη του Θ.Π.Α. Ο Avigad επέλεξε να τυποποιήσει την απόδειξη των Έρντος-Σελμπεργκ αντί μιας αναλυτικής απόδειξης επειδή ενώ η βιβλιοθήκη Ιζαμπελ μπορούσε να αναγνωρίσει έννοιες όπως όριο, παράγωγος και άλλες συναρτήσεις, δεν περιείχε καθόλου θεωρία ολοκλήρωσης να αναφέρει (Avigad et al.p. 19).

Το 2009 ο Τζον Χάρισον χρησιμοποίησε τον HOL Light για να τυποποιήσει την απόδειξη μέσω μιγαδικής ανάλυσης. Αναπτύσσοντας τις κατάλληλες αναλυτικές μηχανές , συμπεριλαμβανομένου του ολοκληρωτικού τύπου του Κωσύ, ήταν δυνατόν ο Χάρισον να τυποποιήσει "μια άμεση, μοντέρνα και κομψή απόδειξη αντί για έναν περίπλοκο 'στοιχειώδη' διαπληκτισμό των  Έρντος-Σελμπεργκ".

 Το θεώρημα πρώτων αριθμών για αριθμητικές προόδους 
Έστω ότι  δηλώνει το πλήθος των πρώτων αριθμών στην αριθμητική πρόοδο a, a + n, a + 2n, a + 3n, ... που είναι μικρότεροι από το x. Ο Ντίριχλετ και ο Λεζάντρ έκαναν την εικασία, και ο Βαλε-Πουσέν απέδειξε, ότι, αν  και  είναι σχετικά πρώτοι μεταξύ τους τότε
,
όπου  είναι η συνάρτηση Όιλερ. Με άλλα λόγια , οι πρώτοι είναι κατανεμημένοι ομοιόμορφα μεταξύ των κλάσεων υπολοίπων  με υπόλοιπο  όταν . Αυτό είναι ισχυρότερο από το θεώρημα του Ντίριχλετ για τις αριθμητικές προόδους (το οποίο απλώς αναφέρει ότι υπάρχουν άπειροι πρώτοι σε κάθε κλάση) και μπορεί να αποδειχθεί χρησιμοποιώντας όμοιες μεθόδους με αυτές που χρησιμοποίησε ο Νιούμαν στην απόδειξη του για το θεώρημα πρώτων αριθμών.

Το θεώρημα Ζίγκελ-Βάλφιτζ δίνει μία καλή προσέγγιση για την κατανομή πρώτων στις κλάσεις υπολοίπων.

 Κούρσα Πρώτων Αριθμών 
Αν και έχουμε λεπτομερώς ότι  εμπειρικά, οι πρώτοι που συγκλίνουν στο 3 είναι περισσότεροι και είναι σχεδόν πάντα πιο μπροστά στην "κούρσα", με την πρώτη αντιστροφή να γίνεται στο x = 26,861. Όμως ο Λίτλγουντ έδειξε το 1914 ότι υπάρχουν απείρως πολλές εναλλαγές προσήμου για τη συνάρτηση  και άρα η πρωτιά στην "κούρσα" εναλλάσσεται συνεχώς άπειρες φορές. Το φαινόμενο όπου το π4,3(x) είναι μπροστά τις περισσότερες φορές ονομάζεται κλίση του Τσεμπισιόφ. Η "κούρσα" πρώτων αριθμών γενικεύεται και σε άλλα modulo και είναι αντικείμενο έρευνας. Ο Παλ Τουράν ερωτήθηκε αν συμβαίνει πάντα  π(x;a,c) και π(x;b,c) να αλλάζουν θέση όταν a και b είναι πρώτοι με το c. Οι  Granville και Martin δίνουν μια πλήρη έκθεση και έρευνα.

 Φράγματα στη συνάρτηση καταμέτρησης των πρώτων αριθμών. 
Το θεώρημα των πρώτων αριθμών είναι ένα ασυμπτωτικό αποτέλεσμα. Δίνει έναν αναποτελεσματικό περιορισμό στην π(x) ως άμεση συνέπεια του ορισμού του ορίου: Για όλα τα ε > 0, υπάρχει μια S τέτοια ώστε για όλα τα x > S,

Ωστόσο, καλύτερα φράγματα για τπ(x) είναι γνωστά, για παράδειγμα του Pierre Dusart

Η πρώτη ανισότητα ισχύει για κάθε x ≥ 599 και η δεύτερη για x ≥ 355991.

Ένα ασθενέστερο αλλά μερικές φορές χρήσιμο φράγμα για x ≥ 55 είναι:
.
Στην διατριβή του Pierre Dusart, υπάρχουν ισχυρότερες εκδοχές αυτού του τύπου των ανισοτήτων που ισχύουν για μεγαλύτερα x.  Αργότερα, το 2010, ο Dusart απόδειξε: 
 for , και   for .
Η απόδειξη μέσω του ντε λα Βαλέ-Πουσέν οδηγεί στο εξής συμπέρασμα: Για κάθε , υπάρχει  τέτοιο ώστε για όλα τα , ισχύει ότι


 Προσεγγίσεις για το νιοστό πρώτο αριθμό 
Ως συνέπεια του θεωρήματος των πρώτων αριθμών, παίρνουμε μια ασυμπτωτική έκφραση για τον νιοστό πρώτο αριθμό, που συμβολίζεται με :

Μια καλύτερη προσέγγιση είναι

Και πάλι θεωρώντας το 200 · 1015 πρώτο αριθμό 8512677386048191063, αυτό δίνει ως εκτίμηση την τιμή 8512681315554715386. Τα πρώτα 5 ψηφία ταιριάζουν και το σχετικό σφάλμα είναι περίπου 0,00005%.

Το θεώρημα του Rosser δηλώνει ότι το  είναι μεγαλύτερο από το .Αυτό μπορεί να βελτιωθεί με το ακόλουθο ζεύγος φραγμάτων:
για .

 Πίνακας των π(x), x/log(x) και li(x) 
Ο παρακάτω πίνακας συγκρίνει τις ακριβείς τιμές του  με τις δύο προσεγγίσεις  και . Η τελευταία στήλη, , είναι η μέση "πρώτη διαφορά" για το .
xπ(x)π(x) − x / log xπ(x) / (x / log x)li(x) − π(x)x / π(x)104−0.30.9212.22.500102253.31.1515.14.000103168231.161105.9521041,2291431.132178.1371059,5929061.1043810.42510678,4986,1161.08413012.740107664,57944,1581.07133915.0471085,761,455332,7741.06175417.35710950,847,5342,592,5921.0541,70119.6671010455,052,51120,758,0291.0483,10421.97510114,118,054,813169,923,1591.04311,58824.283101237,607,912,0181,416,705,1931.03938,26326.5901013346,065,536,83911,992,858,4521.034108,97128.89610143,204,941,750,802102,838,308,6361.033314,89031.202101529,844,570,422,669891,604,962,4521.0311,052,61933.5071016279,238,341,033,9257,804,289,844,3931.0293,214,63235.81210172,623,557,157,654,23368,883,734,693,2811.0277,956,58938.116101824,739,954,287,740,860612,483,070,893,5361.02521,949,55540.4201019234,057,667,276,344,6075,481,624,169,369,9601.02499,877,77542.72510202,220,819,602,560,918,84049,347,193,044,659,7011.023222,744,64445.028102121,127,269,486,018,731,928446,579,871,578,168,7071.022597,394,25447.3321022201,467,286,689,315,906,2904,060,704,006,019,620,9941.0211,932,355,20849.63610231,925,320,391,606,803,968,92337,083,513,766,578,631,3091.0207,250,186,21651.939102418,435,599,767,349,200,867,866339,996,354,713,708,049,0691.01917,146,907,27854.2431025176,846,309,399,143,769,411,6803,128,516,637,843,038,351,2281.01855,160,980,93956.546OEIS
Η τιμή  π(1024) υπολογίστηκε αρχικά υποθέτοντας ότι η υπόθεση Ρίμαν είναι αληθής. Έκτοτε έχει επαληθευτεί άνευ όρων.

 Ανάλογo Θεώρημα για τα ανάγωγα πολυώνυμα πάνω από ένα πεπερασμένο σώμα 
Υπάρχει ένα ανάλογο του θεωρήματος των πρώτων αριθμών που περιγράφει την «κατανομή» των ανάγωγων πολυωνύμων πάνω από ένα πεπερασμένο σώμα· η μορφή που παίρνει είναι εντυπωσιακά παρόμοια με την περίπτωση του κλασσικού θεωρήματος των πρώτων αριθμών.

Πιο συγκεκριμένα, έστω  το πεπερασμένο σώμα με  στοιχεία, για κάποιο δεδομένο , και έστω  ο αριθμός των μονικών ανάγωγων πολυωνύμων στο  των οποίων ο βαθμός είναι ίσος με . Δηλαδή, ψάχνουμε  πολυώνυμα με συντελεστές  από το , τα οποία δεν μπορούν να γραφτούν ως γινόμενα πολυωνύμων μικρότερου βαθμού. Σε αυτή την περίπτωση, τα εν λόγω πολυώνυμα παίζουν το ρόλο των πρώτων αριθμών, αφού όλα τα άλλα μόνικα πολυώνυμα έχουν δημιουργηθεί από γινόμενα μεταξύ τους. Μπορούμε τότε να αποδείξουμε ότι:

Αν κάνουμε την αντικατάσταση x = qn , τότε η δεξιά πλευρά είναι απλά

γεγονός που καθιστά την αναλογία σαφέστερη. Δεδομένου ότι υπάρχουν ακριβώς qn μονικά πολυώνυμα βαθμού  (συμπεριλαμβανομένων των αναγώγιμων),  αυτό μπορεί να αναδιατυπωθεί ως εξής : αν επιλεγεί τυχαία ένα μονικό πολυώνυμο βαθμού , τότε η πιθανότητα να είναι ανάγωγο είναι περίπου .

Μπορούμε επίσης να αποδείξουμε ένα ανάλογο της υπόθεσης Ρίμαν, δηλαδή ότι 

Οι αποδείξεις από αυτές τις περιπτώσεις είναι πολύ πιο απλές από ότι στην κλασική περίπτωση. Εμπεριέχουν ένα σύντομο συνδυαστικό επιχείρημα, που συνοψίζεται ως εξής: Κάθε στοιχείο της επέκτασης βαθμού  του  είναι μια ρίζα κάποιου ανάγωγου πολυωνύμου του οποίου ο βαθμός  διαιρεί το · μετρώντας αυτές τις ρίζες με δύο διαφορετικούς τρόπους  διαπιστώνουμε ότι

όπου το άθροισμα είναι πάνω από όλους τους διαιρέτες  του . Η αντιστροφή του Μέμπιους δίνει ότι:

όπου  είναι η συνάρτηση Μέμπιους. (Ο τύπος αυτός ήταν ήδη γνωστός στον Γκάους). Ο κύριος όρος εμφανίζεται για , και δεν είναι δύσκολο να φράξει τους υπόλοιπους όρους. Η "υπόθεση του Ρίμαν"  εξαρτάται από το γεγονός ότι ο μεγαλύτερος διαιρέτης του  δεν μπορεί να είναι μεγαλύτερος από το .

 Δείτε επίσης 
 Θεμελιώδες θεώρημα άλγεβρας
 Θεμελιώδες θεώρημα αριθμητικής

 Παραπομπές 

 Αναφορές 
• 

•

 Εξωτερικοί σύνδεσμοι 

 Table of Primes by Anton Felkel.
 Short video visualizing the Prime Number Theorem.
 Prime formulas and Prime number theorem at MathWorld.
 How Many Primes Are There? and The Gaps between Primes by Chris Caldwell, University of Tennessee at Martin.
 Tables of prime-counting functions by Tomás Oliveira e Silva



Κατηγορία:Αναλυτική θεωρία αριθμών
Κατηγορία:Λογάριθμοι