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

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

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια
Τα πρώτα 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 για μεγάλες τιμές του
xB(x) xB(x) xB(x) xB(x)
1020,605170 10161,029660 10301,015148 10441,010176
1030,955374 10171,027758 10311,014637 10451,009943
1041,073644 10181,026085 10321,014159 10461,009720
1051,087571 10191,024603 10331,013712 10471,009507
1061,076332 10201,023281 10341,013292 10481,009304
1071,070976 10211,022094 10351,012897 10491,009108
1081,063954 10221,021022 10361,012525 10501,008921
1091,056629 10231,020050 10371,012173 10511,008742
10101,050365 10241,019164 10381,011841 10521,008569
10111,045126 10251,018353 10391,011527 10531,008403
10121,040872 10261,017607 10401,011229 10541,008244
10131,037345 10271,016921 10411,010946 10551,008090
10141,034376 10281,016285 10421,010676 10561,007942
10151,031844 10291,015696 10431,010420 10571,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.

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

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