🔗 Από τους Πρώτους Αριθμούς σε μια Σειρά του Ramanujan για το π

🔗 Από τους Πρώτους Αριθμούς σε μια Σειρά του Ramanujan για το \(\pi\)

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

Η πρώτη σχέση είναι ασυμπτωτική και περιγράφει τι συμβαίνει όταν μια ακολουθία πρώτων αριθμών «εξομαλύνεται» μέσω εκθετικής απόσβεσης. Η δεύτερη είναι μια ακριβής ταυτότητα.

🔢 Μια γέφυρα προς τους πρώτους αριθμούς

Έστω \(p_k\) ο \(k\)-οστός πρώτος αριθμός:

\[ 2,\;3,\;5,\;7,\;11,\ldots \]

Τότε εμφανίζεται η ενδιαφέρουσα ασυμπτωτική σχέση

\[ \boxed{\displaystyle \sum_{k=1}^{\infty}p_k e^{-kx} \sim -\frac{\ln x}{x^2}, \qquad x\to0^+ } \]

Εδώ το σύμβολο \(\sim\) δεν σημαίνει ισότητα. Δηλώνει ότι ο λόγος των δύο ποσοτήτων τείνει στο \(1\) καθώς \(x\to0^+\).

Όσο το \(x\) πλησιάζει το μηδέν, η εκθετική απόσβεση \(e^{-kx}\) γίνεται πιο αργή και έτσι όλο και περισσότεροι πρώτοι αριθμοί συνεισφέρουν ουσιαστικά στο άθροισμα.

🔍 Γιατί εμφανίζεται το \(-\ln x/x^2\);

Από το Θεώρημα των Πρώτων Αριθμών γνωρίζουμε ότι ο \(k\)-οστός πρώτος έχει ως κύρια ασυμπτωτική συμπεριφορά

\[ p_k\sim k\ln k. \]

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

\[ \sum_{k=1}^{\infty}k\ln k\,e^{-kx}. \]

Για μικρές τιμές του \(x\), η κύρια συμπεριφορά του μπορεί να αναγνωριστεί μέσω του αντίστοιχου ολοκληρώματος:

\[ \int_0^\infty t\ln t\,e^{-xt}\,dt = \frac{1-\gamma-\ln x}{x^2}, \]

όπου \(\gamma\) είναι η σταθερά Euler–Mascheroni.

Καθώς \(x\to0^+\), ο κυρίαρχος όρος είναι

\[ -\frac{\ln x}{x^2}. \]

Έτσι η αρχική σχέση μπορεί να ιδωθεί ως μια «εξομαλυμένη» αντανάκλαση της μέσης αύξησης των πρώτων αριθμών.

π Μια ακριβής σειρά του Ramanujan

Εδώ περνάμε από μια ασυμπτωτική σχέση σε μια ακριβή ταυτότητα. Μία από τις περίφημες σειρές του Ramanujan είναι

\[ \boxed{\displaystyle \frac{4}{\pi} = \sum_{n=0}^{\infty} \frac{(6n+1)\left(\frac12\right)_n^3} {4^n(n!)^3}} \]

Αν συμβολίσουμε το άθροισμα της σειράς με \(S\),

\[ S= \sum_{n=0}^{\infty} \frac{(6n+1)\left(\frac12\right)_n^3} {4^n(n!)^3}, \]

τότε

\[ \boxed{\displaystyle \pi=\frac{4}{S}}. \]

🧩 Τι σημαίνει το σύμβολο Pochhammer;

Το σύμβολο \((a)_n\), γνωστό ως ανερχόμενο παραγοντικό ή σύμβολο Pochhammer, ορίζεται από

\[ (a)_0=1, \qquad (a)_n=a(a+1)(a+2)\cdots(a+n-1). \]

Στην περίπτωσή μας,

\[ \left(\frac12\right)_n = \frac12\cdot\frac32\cdot\frac52\cdots \frac{2n-1}{2}. \]

Η σημειογραφία αυτή κάνει τη σειρά πολύ πιο συμπαγή και φανερώνει τον υπεργεωμετρικό χαρακτήρα της.

🔍 Ένας γρήγορος αριθμητικός έλεγχος

Για το άθροισμα \(S\) της σειράς βρίσκουμε αριθμητικά

\[ S = 1{,}27323954473516\ldots = \frac{4}{\pi}. \]

Επομένως

\[ \frac{4}{S} = 3{,}14159265358979\ldots = \pi. \]

✨ Δύο διαφορετικοί δρόμοι

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

📚

Έρχεται το πολλαπλό βιβλίο ΝΕΟ — βρες όλες τις επιλογές εδώΠολλαπλό βιβλίο ΝΕΟ — 437 βιβλία σε PDF

PDF & Ψηφιακά Μαθησιακά Αντικείμενα — χωρίς εγγραφή • Portify

📚 437 βιβλία🎬 22.000+ Ψηφιακά Μαθησιακά Αντικείμενα

Δες τα βιβλία →