Μετάβαση στο περιεχόμενο

Σταθερά του Λεζάντρ

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια
Τα πρώτα 100.000 στοιχεία της ακολουθίας an = log(n) − n/π(n) (κόκκινη γραμμή) φαίνεται να συγκλίνουν σε μια τιμή γύρω στο 1,08366 (μπλε γραμμή).
Τα μεταγενέστερα στοιχεία έως και 10.000.000 της ίδιας ακολουθίας an = log(n) − n/π(n) (κόκκινη γραμμή) φαίνεται να είναι σταθερά μικρότερα από 1,08366 (μπλε γραμμή).

Η σταθερά του Λεζάντρ είναι μαθηματική σταθερά που εμφανίζεται σε έναν τύπο που κατασκευάστηκε από τον Αντριέν-Μαρί Λεζάντρ για να προσεγγίσει τη συμπεριφορά καταμέτρησης πρώτων αριθμών . Η τιμή που αντιστοιχεί ακριβώς στην ασυμπτωτική της συμπεριφορά είναι πλέον γνωστό ότι είναι 1.

Η εξέταση των διαθέσιμων αριθμητικών δεδομένων για γνωστές τιμές της οδήγησε τον Λεζάντρ σε έναν προσεγγιστικό τύπο.

Ο Λεζάντρ πρότεινε το 1808 τον τύπο

(OEISA228211), ως μια προσέγγιση του με "πολύ ικανοποιητική ακρίβεια".[1][2]

Σήμερα, η πραγματική σταθερά ορίζεται ως εξής

η οποία επιλύεται θέτοντας

υπό την προϋπόθεση ότι υπάρχει αυτό το όριο.

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

Ο Παφνούτι Τσεμπίσοφ απέδειξε το 1849[3] ότι αν το όριο B υπάρχει, πρέπει να είναι ίσο με 1. Μια ευκολότερη απόδειξη δόθηκε από τον Πιντζ το 1980[4].

Είναι άμεση συνέπεια του θεωρήματος των πρώτων αριθμών, υπό την ακριβή μορφή με ρητή εκτίμηση του όρου σφάλματος

(για κάποια θετική σταθερά a, όπου O(...) είναι ο συμβολισμός big O[5]), όπως αποδείχθηκε το 1899 από τον Σαρλ ντε Λα Βαλέ Πουσέν,[6][7] ότι ο Β είναι πράγματι ίσος με 1. (Το θεώρημα των πρώτων αριθμών είχε αποδειχθεί το 1896, ανεξάρτητα από τον Ζακ Ανταμάρ [8] και τον Λα Βαλέ Πουσέν,[9]:183–256, 281–361: αλλά χωρίς καμία εκτίμηση του σχετικού όρου σφάλματος).

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

Αριθμητικές τιμές

[Επεξεργασία | επεξεργασία κώδικα]

Χρησιμοποιώντας την Συνάρτηση καταμέτρησης πρώτων αριθμών μπορούμε να υπολογίσουμε για τιμές του πολύ πέρα από αυτές που ήταν διαθέσιμες στον Λεζάντρ:

Η σταθερά του Λεζάντρ προσεγγίζει ασυμπτωτικά το 1 για μεγάλες τιμές του
x B(x) x B(x) x B(x) x B(x)
102 0,605170 1016 1,029660 1030 1,015148 1044 1,010176
103 0,955374 1017 1,027758 1031 1,014637 1045 1,009943
104 1,073644 1018 1,026085 1032 1,014159 1046 1,009720
105 1,087571 1019 1,024603 1033 1,013712 1047 1,009507
106 1,076332 1020 1,023281 1034 1,013292 1048 1,009304
107 1,070976 1021 1,022094 1035 1,012897 1049 1,009108
108 1,063954 1022 1,021022 1036 1,012525 1050 1,008921
109 1,056629 1023 1,020050 1037 1,012173 1051 1,008742
1010 1,050365 1024 1,019164 1038 1,011841 1052 1,008569
1011 1,045126 1025 1,018353 1039 1,011527 1053 1,008403
1012 1,040872 1026 1,017607 1040 1,011229 1054 1,008244
1013 1,037345 1027 1,016921 1041 1,010946 1055 1,008090
1014 1,034376 1028 1,016285 1042 1,010676 1056 1,007942
1015 1,031844 1029 1,015696 1043 1,010420 1057 1,007799

Οι τιμές μέχρι (οι δύο πρώτες στήλες) είναι ακριβώς γνωστές- οι τιμές στην τρίτη και τέταρτη στήλη εκτιμώνται με τη χρήση της συνάρτησης καταμέτρησης πρώτων αριθμών Ρίμαν[10] .

  1. Legendre, A.-M. (1808). Essai sur la théorie des nombres [Essay on number theory]. Courcier. σελ. 394. 
  2. Ribenboim, Paulo (2004). The Little Book of Bigger Primes. New York: Springer-Verlag. σελ. 163. ISBN 0-387-20169-6. 
  3. Edmund Landau. Handbuch der Lehre von der Verteilung der Primzahlen, page 17. Third (corrected) edition, two volumes in one, 1974, Chelsea 1974
  4. Pintz, Janos (1980). «On Legendre's Prime Number Formula». The American Mathematical Monthly 87 (9): 733–735. doi:10.2307/2321863. ISSN 0002-9890. https://www.jstor.org/stable/2321863. 
  5. «Big O notation -» (PDF). 
  6. La Vallée Poussin, C. Mém. Couronnés Acad. Roy. Belgique 59, 1–74, 1899
  7. «Charles-Joseph de la Vallée Poussin». 
  8. Hadamard, Jacques (1896). «Sur la distribution des zéros de la fonction et ses conséquences arithmétiques». Bulletin de la Société Mathématique de France 24: 199–220. doi:10.24033/bsmf.545. 
  9. de la Vallée Poussin, Charles Jean (1897). Recherches analytiques sur la théorie des nombres premiers [Analytical research on prime number theory]. Brussels: Hayez. σελίδες 183–256, 281–361.  Originally published in Annales de la société scientifique de Bruxelles vol. 20 (1896). Second scanned version, from a different library.
  10. Weisstein, Eric W. «Riemann Prime Counting Function». mathworld.wolfram.com (στα Αγγλικά). Ανακτήθηκε στις 26 Δεκεμβρίου 2024. 

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

[Επεξεργασία | επεξεργασία κώδικα]