Σειρές

♾️ Μια μικροσκοπική αλλαγή που χωρίζει τη σύγκλιση από την απόκλιση

Δύο άπειρες σειρές προβάλλονται σε μεγάλη οθόνη πανεπιστημιακής διάλεξης: η σειρά \(\sum_{k=3}^{\infty}\frac{1}{k\log k(\log\log k)^2}\) με τιμή περίπου 38,406768… και η σειρά \(\sum_{k=3}^{\infty}\frac{1}{k\log k\,\log\log k}\), η οποία αποκλίνει προς το άπειρο, ενώ καθηγητής παρουσιάζει τις σχέσεις σε ακροατήριο φοιτητών.
♾️ Μια μικροσκοπική αλλαγή που αλλάζει τη μοίρα μιας άπειρης σειράς

Οι δύο σειρές της εικόνας μοιάζουν σχεδόν ίδιες:

\[ \sum_{k=3}^{\infty} \frac{1} {k\log k\,(\log\log k)^2} \]

και

\[ \sum_{k=3}^{\infty} \frac{1} {k\log k\,\log\log k}. \]

Η μοναδική εμφανής διαφορά είναι ένας μικρός εκθέτης:

\[ (\log\log k)^2 \qquad\longrightarrow\qquad \log\log k. \]

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

🔵 Η πρώτη σειρά συγκλίνει

Για τη σειρά

\[ \sum_{k=3}^{\infty} \frac{1} {k\log k\,(\log\log k)^2} \]

μπορούμε να χρησιμοποιήσουμε το ολοκληρωτικό κριτήριο και να εξετάσουμε

\[ \int_3^\infty \frac{dx} {x\log x\,(\log\log x)^2}. \]

Θέτουμε

\[ u=\log\log x, \qquad du=\frac{dx}{x\log x}. \]

Τότε το ολοκλήρωμα μετατρέπεται σε

\[ \int_{\log\log3}^{\infty}\frac{du}{u^2}, \]

το οποίο συγκλίνει.

Άρα και η αρχική σειρά συγκλίνει. Αριθμητικά, το άθροισμά της είναι περίπου

\[ \boxed{38.406768\ldots} \]

🔴 Αφαιρούμε μόνο το τετράγωνο…

Τώρα ας εξετάσουμε τη σχεδόν ίδια σειρά

\[ \sum_{k=3}^{\infty} \frac{1} {k\log k\,\log\log k}. \]

Το αντίστοιχο ολοκλήρωμα είναι

\[ \int_3^\infty \frac{dx} {x\log x\,\log\log x}. \]

Με την ίδια αντικατάσταση

\[ u=\log\log x \]

παίρνουμε τώρα

\[ \int_{\log\log3}^{\infty}\frac{du}{u}. \]

Αλλά αυτό είναι λογαριθμικό ολοκλήρωμα και αποκλίνει.

Επομένως

\[ \boxed{ \sum_{k=3}^{\infty} \frac{1} {k\log k\,\log\log k} =\infty } \]

🐌 Μια απίστευτα αργή απόκλιση

Το ενδιαφέρον όμως δεν σταματά στο γεγονός ότι η δεύτερη σειρά αποκλίνει.

Αποκλίνει εξαιρετικά αργά.

Το αντίστοιχο ολοκλήρωμα μέχρι ένα μεγάλο \(N\) αυξάνεται όπως

\[ \log\log\log N. \]

Δηλαδή, για να αυξηθεί αισθητά το μερικό άθροισμα, το \(N\) πρέπει να γίνει ασύλληπτα μεγάλο.

🤯 Τρεις λογάριθμοι!

Η αύξηση είναι της τάξης του \(\log\log\log N\). Ακόμη και τεράστιες αυξήσεις του αριθμού των όρων μεταφράζονται σε πολύ μικρές αυξήσεις του αθροίσματος. Η σειρά πηγαίνει πράγματι στο άπειρο — αλλά το κάνει με εξαιρετικά αργό ρυθμό.

📐 Η γενικότερη εικόνα

Στην πραγματικότητα οι δύο σειρές είναι ειδικές περιπτώσεις της οικογένειας

\[ \sum_{k=3}^{\infty} \frac{1} {k\log k\,(\log\log k)^p}. \]

Και εδώ εμφανίζεται ένα εντυπωσιακά καθαρό όριο:

\[ \boxed{ \begin{array}{ll} p>1 & \Longrightarrow \text{η σειρά συγκλίνει},\\[6pt] p\leq1 & \Longrightarrow \text{η σειρά αποκλίνει}. \end{array}} \]

Έτσι, οι δύο σειρές της εικόνας βρίσκονται εκατέρωθεν ακριβώς αυτού του ορίου:

\[ p=2\quad\Rightarrow\quad\text{σύγκλιση}, \]
\[ p=1\quad\Rightarrow\quad\text{απόκλιση}. \]
✨ Ένα από τα ωραιότερα μαθήματα της Ανάλυσης

Στις άπειρες σειρές, το σύνορο ανάμεσα στη σύγκλιση και την απόκλιση μπορεί να είναι εκπληκτικά λεπτό. Εδώ αρκεί να αλλάξει ένας εκθέτης από \(2\) σε \(1\). Η πρώτη σειρά καταλήγει σε έναν πεπερασμένο αριθμό· η δεύτερη δεν σταματά ποτέ να αυξάνεται. Μια μικροσκοπική αλλαγή στον τύπο — μια θεμελιώδης αλλαγή στο άπειρο.

📚
Έρχεται το πολλαπλό βιβλίο ΝΕΟ — βρες όλες τις επιλογές εδώΠολλαπλό βιβλίο ΝΕΟ — 437 βιβλία σε PDF
PDF & Ψηφιακά Μαθησιακά Αντικείμενα — χωρίς εγγραφή • Portify
📚 437 βιβλία🎬 22.000+ Ψηφιακά Μαθησιακά Αντικείμενα
Δες τα βιβλία →

Δεν υπάρχουν σχόλια:

Δημοσίευση σχολίου