Εικασία του Λεζάντρ

Η εικασία του Λεζάντρ, που προτάθηκε από τον Αντριέν-Μαρί Λεζάντρ, δηλώνει ότι υπάρχει ένας πρώτος αριθμός μεταξύ και για κάθε θετικος ακέραιος. .[1] Η εικασία είναι ένα από τα προβλήματα του Λαντάου (1912)[2] σχετικά με τους πρώτους αριθμούς και ένα από τα πολλά ανοικτά προβλήματα σχετικά με την απόσταση των πρώτων αριθμών.

Απόστασεις

Αν η εικασία του Λεζάντρ είναι αληθής, η απόσταση μεταξύ οποιουδήποτε πρώτου αριθμού p και του αμέσως μεγαλύτερου πρώτου αριθμού θα είναι , όπως εκφράζεται με τον συμβολισμό big O.[α] Είναι ένα από μια οικογένεια αποτελεσμάτων και εικασιών που σχετίζονται με τις αποστάσεις των πρώτων αριθμών, δηλαδή με την απόσταση μεταξύ των πρώτων αριθμών. Άλλοι περιλαμβάνουν το αξίωμα του Μπερτράν σχετικά με την ύπαρξη ενός πρώτου αριθμού μεταξύ και , την εικασία του Όπερμαν σχετικά με την ύπαρξη πρώτων αριθμών μεταξύ , και , την εικασία του Αντρίκα και την εικασία του Μπροκάρντ για την ύπαρξη πρώτων αριθμών μεταξύ τετραγώνων διαδοχικών πρώτων αριθμών, και την εικασία του Κράμερ ότι οι αποστάσεις είναι πάντα πολύ μικρότερες, της τάξης . Αν η εικασία του Κράμερ είναι αληθής, η εικασία του Λεζάντρ θα ακολουθούσε για όλα τα επαρκώς μεγάλα n. Ο Χάραλντ Κράμερ απέδειξε επίσης ότι η υπόθεση Ρίμαν συνεπάγεται ένα ασθενέστερο όριο για το μέγεθος των μεγαλύτερων πρώτων αποστάσεων.[3]

Διάγραμμα του αριθμού των πρώτων αριθμών μεταξύ n2 και (n + 1)2 OEISA014085

Σύμφωνα με το θεώρημα των πρώτων αριθμών, ο αναμενόμενος αριθμός των πρώτων αριθμών μεταξύ και είναι περίπου , και είναι επιπλέον γνωστό ότι για σχεδόν όλες τις αποστάσεις αυτής της μορφής ο πραγματικός αριθμός των πρώτων αριθμών (OEISA014085) είναι ασυμπτωτικά προς αυτόν τον αναμενόμενο αριθμό.[4] Δεδομένου ότι ο αριθμός αυτός είναι μεγάλος για μεγάλο , αυτό προσδίδει αξιοπιστία στην εικασία του Λεζάντρ.[5]Είναι γνωστό ότι το θεώρημα των πρώτων αριθμών δίνει μια ακριβή καταμέτρηση των πρώτων αριθμών μέσα σε μικρά διαστήματα, είτε άνευ όρων [6] ή με βάση την υπόθεση Ρίμαν, [7] αλλά τα μήκη των αποστάσεων για τις οποίες αυτό έχει αποδειχθεί είναι μεγαλύτερα τις αποστάσεις μεταξύ διαδοχικών τετραγώνων, πολύ μεγάλα για να αποδειχθεί η εικασία του Λεζάντρ.

Μερικά αποτελέσματα

Από ένα αποτέλεσμα του Άλμπερτ Ίνγκαμ προκύπτει ότι για για όλους τους αρκετά μεγάλους , υπάρχει ένας πρώτος μεταξύ των διαδοχικών κύβων και .[8][9]. Ο Ντούντεκ απέδειξε ότι αυτό ισχύει για όλους τους .[10]

Ο Ντούντεκ απέδειξε επίσης ότι για και κάθε θετικό ακέραιο , υπάρχει ένας πρώτος αριθμός μεταξύ και . Ο Μάτνερ το μείωσε σε [11] το οποίο μειώθηκε περαιτέρω σε από τον Κούλι-Χούγκιλ.[12]

Οι Μπέικερ, Χάρμαν και Πιντζ απέδειξαν ότι υπάρχει ένας πρώτος αριθμός στο διάστημα για όλους τους μεγάλους .[13]

Ένας πίνακας μέγιστων αποστάσεων πρώτων δείχνει ότι η εικασία ισχύει για τουλάχιστον , δηλαδή .[14]

Σύνδεση με την εικασία Ρίμαν

Η αλήθεια ως προς την υπόθεση Ρίμαν προϋποθέτει μια ελαφρώς ασθενέστερη μορφή της εικασίας του Λεζάντρ:

Έστω pm ο πρώτος της τάξεως m και n η τιμή [pm] + 1. Σύμφωνα με την εικασία του Λεζάντρ, θα υπήρχε ένας πρώτος p μεταξύ n2 και (n + 1)2. Τότε θα είχαμε τις ανισότητες (αυστηρές επειδή το τετράγωνο ενός ακεραίου δεν μπορεί να είναι πρώτος αριθμός)

από το οποίο μπορούμε να συμπεράνουμε ότι

Αυτό θα μας έδινε

Επομένως, η υπόθεση του Ρίμαν της μορφής συνεπάγεται, για μια ορισμένη σταθερά C προσαρμοσμένη

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

Δείτε επίσης

Βιβλιογραφία

Παραπομπές

  1. Legendre, Adriene Marie (1808). Essai sur la Théorie des Nombres (στα French) (2 έκδοση). Paris: Chez Courcier. σελίδες 405–406. CS1 maint: Μη αναγνωρίσιμη γλώσσα (link)
  2. Weisstein, Eric W. «Landau's Problems». mathworld.wolfram.com (στα Αγγλικά). Ανακτήθηκε στις 26 Δεκεμβρίου 2024. 
  3. Stewart, Ian (2013), Visions of Infinity: The Great Mathematical Problems, Basic Books, σελ. 164, ISBN 9780465022403, https://books.google.com/books?id=dzdSy3diraUC&pg=PA164 .
  4. Bazzanella, Danilo (2000), «Primes between consecutive squares», Archiv der Mathematik 75 (1): 29–34, doi:10.1007/s000130050469, http://porto.polito.it/1397858/2/Primes_between_squares.pdf 
  5. Francis, Richard L. (February 2004), «Between consecutive squares», Missouri Journal of Mathematical Sciences (University of Central Missouri, Department of Mathematics and Computer Science) 16 (1): 51–57, doi:10.35834/2004/1601051, https://projecteuclid.org/journals/missouri-journal-of-mathematical-sciences/volume-16/issue-1/Between-Consecutive-Squares/10.35834/2004/1601051.pdf ; see p. 52, "It appears doubtful that this super-abundance of primes can be clustered in such a way so as to avoid appearing at least once between consecutive squares."
  6. Heath-Brown, D. R. (1988), «The number of primes in a short interval», Journal für die Reine und Angewandte Mathematik 1988 (389): 22–63, doi:10.1515/crll.1988.389.22, https://eudml.org/doc/153047 
  7. Selberg, Atle (1943), «On the normal density of primes in small intervals, and the difference between consecutive primes», Archiv for Mathematik og Naturvidenskab 47 (6): 87–105 
  8. OEISA060199
  9. Ingham, A. E. (1937). «On The Difference Between Consecutive Primes». The Quarterly Journal of Mathematics os-8 (1): 255–266. doi:10.1093/qmath/os-8.1.255. ISSN 0033-5606. 
  10. Dudek, Adrian (December 2016), «An explicit result for primes between cubes», Funct. Approx. 55 (2): 177–197, doi:10.7169/facm/2016.55.2.3 
  11. Mattner, Caitlin (2017). Prime Numbers in Short Intervals (Διδακτορική διατριβή) (στα Αγγλικά). Australian National University. doi:10.25911/5d9efba535a3e. 
  12. Cully-Hugill, Michaela (2023-06-01). «Primes between consecutive powers». Journal of Number Theory 247: 100–117. doi:10.1016/j.jnt.2022.12.002. ISSN 0022-314X. https://www.sciencedirect.com/science/article/pii/S0022314X23000112. 
  13. Baker, R. C.; Harman, G.; Pintz, J. (2001), «The difference between consecutive primes, II», Proceedings of the London Mathematical Society 83 (3): 532–562, doi:10.1112/plms/83.3.532, http://www.cs.umd.edu/~gasarch/BLOGPAPERS/BakerHarmanPintz.pdf 
  14. Oliveira e Silva, Tomás; Herzog, Siegfried; Pardi, Silvio (2014), «Empirical verification of the even Goldbach conjecture and computation of prime gaps up to », Mathematics of Computation 83 (288): 2033–2060, doi:10.1090/S0025-5718-2013-02787-1, https://www.openaccessrepository.it/record/100345/files/fulltext.pdf .
  1. This is a consequence of the fact that the difference between two consecutive squares is of the order of their en:square roots.

Πηγές