🎭 Δύο Απολαύσεις του Ramanujan – Μια Σειρά για το π και ένα Συνεχές Κλάσμα

Σειρές · Συνεχή κλάσματα · Ολοκλήρωμα Gauss

🎭 Δύο Απολαύσεις του Ramanujan

Μια αργή διαδρομή προς το (2/\pi) και μια ατέρμονη σκάλα προς το ολοκλήρωμα του Gauss

🥧 Μια απρόσμενη σειρά για το (2/\pi)

Η πρώτη ταυτότητα αρχίζει με ένα απλό (1), αλλά κάθε επόμενος όρος συνδυάζει περιττούς αριθμούς, άρτιους αριθμούς, κύβους και εναλλασσόμενα πρόσημα:

\[ 1-5\left(\frac12\right)^3 +9\left(\frac{1\cdot3}{2\cdot4}\right)^3 -13\left(\frac{1\cdot3\cdot5}{2\cdot4\cdot6}\right)^3 +\cdots=\frac2\pi. \]

Ο συντελεστής μπροστά από κάθε δύναμη ακολουθεί τη σειρά (1,5,9,13,\ldots), δηλαδή έχει τη μορφή (4n+1). Το κλάσμα μέσα στην παρένθεση είναι το γινόμενο των πρώτων (n) περιττών αριθμών προς το γινόμενο των πρώτων (n) άρτιων.

🧬 Ο γενικός όρος

Ισχύει:

\[ \frac{1\cdot3\cdot5\cdots(2n-1)}{2\cdot4\cdot6\cdots(2n)} =\frac{(2n)!}{2^{2n}(n!)^2} =\frac{\binom{2n}{n}}{4^n}. \]

Άρα η ταυτότητα γράφεται συμπαγώς:

\[ \boxed{ \sum_{n=0}^{\infty}(-1)^n(4n+1) \left(\frac{\binom{2n}{n}}{4^n}\right)^3 =\frac2\pi} \]

Ισοδύναμα, με το σύμβολο Pochhammer:

\[ \sum_{n=0}^{\infty}(-1)^n(4n+1) \left(\frac{(1/2)_n}{n!}\right)^3=\frac2\pi. \]

🐢 Όμορφη, αλλά όχι γρήγορη

Η σειρά αυτή δεν είναι μία από τις περίφημες ταχύτατες σειρές του Ramanujan για τον υπολογισμό του (1/\pi). Επειδή:

\[ \frac{\binom{2n}{n}}{4^n}\sim\frac1{\sqrt{\pi n}}, \]

το μέγεθος του (n)-οστού όρου συμπεριφέρεται περίπου σαν σταθερά επί (1/\sqrt n). Έτσι η σειρά συγκλίνει χάρη στην εναλλαγή των προσήμων, αλλά όχι απολύτως και όχι γρήγορα.

Η αξία της είναι θεωρητική και αισθητική: ένα περίπλοκο μοτίβο γινομένων καταλήγει ακριβώς στο (2/\pi).

🔐 Πού κρύβεται η απόδειξη της σειράς;

Η σειρά ανήκει στον κόσμο των υπεργεωμετρικών σειρών. Αν θέσουμε:

\[ F(z)={}_3F_2\!\left(\frac12,\frac12,\frac12;1,1;z\right) =\sum_{n=0}^{\infty}\left(\frac{(1/2)_n}{n!}\right)^3z^n, \]

τότε ο παράγοντας (4n+1) δημιουργείται από τον διαφορικό τελεστή:

\[ 4zF'(z)+F(z). \]

Η ζητούμενη σειρά είναι η οριακή τιμή αυτού του συνδυασμού στο (z=-1). Με μετασχηματισμούς υπεργεωμετρικών συναρτήσεων και τη σύνδεσή τους με πλήρη ελλειπτικά ολοκληρώματα, η τιμή απλοποιείται σε:

\[4zF'(z)+F(z)\;\xrightarrow[z\to-1]{}\;\frac2\pi.\]

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

🔔 Η δεύτερη απόλαυση: το ολοκλήρωμα του Gauss

Η συνάρτηση (e^{-x^2}) βρίσκεται στον πυρήνα της κανονικής κατανομής. Το ολοκλήρωμά της από το (0) μέχρι το (a) δεν εκφράζεται με στοιχειώδεις συναρτήσεις:

\[ \int_0^a e^{-x^2}\,dx=\frac{\sqrt\pi}{2}\,\operatorname{erf}(a). \]

Ο Ramanujan έδωσε μια εντυπωσιακή αναπαράσταση μέσω συνεχούς κλάσματος:

\[ \boxed{ \int_0^a e^{-x^2}\,dx =\frac{\sqrt\pi}{2} -\frac{e^{-a^2}}{ 2a+\cfrac{1}{ a+\cfrac{2}{ 2a+\cfrac{3}{ a+\cfrac{4}{2a+\ddots}}}}}}  \]

Το συνεχές κλάσμα έχει ένα αυστηρό μοτίβο:

Αριθμητές: (1,2,3,4,5,\ldots)

Μερικοί παρονομαστές: (2a,a,2a,a,2a,\ldots)

🔐 Αριθμητικός έλεγχος για (a=1)

Η ακριβής τιμή είναι:

\[ \int_0^1e^{-x^2}\,dx\approx0{,}746824132812427. \]

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

\[2{,}63896751423479\ldots\]

και η παράσταση του Ramanujan δίνει την ίδια τιμή του ολοκληρώματος στα εμφανιζόμενα δεκαδικά ψηφία.

✨ Δύο διαφορετικές όψεις της ίδιας ιδιοφυΐας

Η πρώτη ταυτότητα μετατρέπει ένα εναλλασσόμενο μοτίβο κεντρικών διωνυμικών συντελεστών σε (2/\pi). Η δεύτερη μετατρέπει την ουρά του ολοκληρώματος του Gauss σε ένα ατέρμονο κλάσμα με εξαιρετικά καθαρή δομή.

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

Ενδεικτική πηγή: James R. Newman, The World of Mathematics, τόμος 1, Simon and Schuster, 1956, σσ. 371–372.

📚

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

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

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

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