ΑΝΑΛΥΣΗ ΔΕΚΑΤΟ ΕΝΑΤΟ ΜΑΘΗΜΑ, 9--3 Μ. Παπαδημητράκης.
Σήμερα θα δούμε κάποια πράγματα για μια σημαντική ειδική κατηγορία σειρών, εκείνες που έχουν όλους τους προσθετέους τους μη-αρνητικούς. Και θα αρχίσουμε με ένα σημαντικό Θεώρημα, το 8. του βιβλίου. Το Θεώρημα αυτό έχει δύσκολη απόδειξη. Αυτό όμως δεν φαίνεται διότι χρησιμοποιούμε ένα άλλο προηγούμενο Θεώρημα, εκείνο για το όριο μονότονης ακολουθίας. ΘΕΩΡΗΜΑ. Έστω ότι ισχύει x 0 για κάθε. Τότε η σειρά + = x έχει άθροισμα το οποίο είναι μη-αρνητικός αριθμός ή +. Αν (s ) είναι η ακολουθία των μερικών αθροισμάτων της σειράς, τότε το άθροισμα είναι αριθμός αν και μόνον αν η (s ) είναι άνω φραγμένη και το άθροισμα είναι + αν και μόνον αν η (s ) δεν είναι άνω φραγμένη. Απόδειξη. Για το -οστό μερικό άθροισμα της σειράς έχουμε τον γνωστό τύπο s = x + + x. Επειδή το άθροισμα s + προκύπτει από το s με την πρόσθεση του προσθετέου x +, ο οποίος είναι 0, το s + είναι του s. Με σύμβολα: s + = x + + x + x + = s + x + s. Άρα η ακολουθία (s ) είναι αύξουσα και, επομένως, έχει οπωσδήποτε όριο, έστω s, το οποίο είναι αριθμός ή +. Μάλιστα, το s είναι αριθμός αν και μόνον αν η (s ) είναι άνω φραγμένη και είναι + αν και μόνον αν η (s ) δεν είναι άνω φραγμένη. Όμως, το άθροισμα της σειράς + = x είναι εξ ορισμού το όριο της (s ). Συμπεραίνουμε, λοιπόν, ότι η σειρά έχει άθροισμα s και ότι αυτό είναι αριθμός αν και μόνον αν η (s ) είναι άνω φραγμένη και ότι αυτό είναι + αν και μόνον αν η (s ) δεν είναι άνω φραγμένη. Μένει να αποδείξουμε ότι το άθροισμα s της σειράς είναι 0. Επειδή ισχύει x 0 για κάθε, συνεπάγεται ότι ισχύει s = x + + x 0 + + 0 = 0 για κάθε. Άρα και το όριο s της (s ), δηλαδή το άθροισμα της + = x, είναι 0. Το βασικό συμπέρασμα του Θεωρήματος είναι ότι κάθε σειρά μη-αρνητικών προσθετέων έχει άθροισμα. Ας ξαναδιατυπώσουμε, όμως και τα άλλα συμπεράσματα του Θεωρήματος: = = x = αριθμός η (s ) είναι άνω φραγμένη. x = + η (s ) δεν είναι άνω φραγμένη. Και κάτι ακόμη. Αν το άθροισμα της σειράς είναι + τότε δεν είναι αριθμός. Αυτό είναι τελείως προφανές όποια κι αν είναι η σειρά. Όμως, ισχύει και το αντίστροφο. Δηλαδή, αν το άθροισμα της σειράς δεν είναι αριθμός, τότε, επειδή μιλάμε για σειρά μη-αρνητικών προσθετέων, το άθροισμά της υπάρχει και είναι +. Επομένως, για σειρά μη-αρνητικών προσθετέων ισχύει = x < + η = x συγκλίνει. 2
Για γενικές σειρές ισχύει, όπως είπαμε, ότι x < + η = = Παράδειγμα. Θεωρούμε την σειρά μη-αρνητικών όρων = 2. Το -οστό μερικό άθροισμα της σειράς έχει τύπο s = + 2 2 + + 2. x συγκλίνει. Δυστυχώς δεν υπάρχει συνοπτικός τύπος γι αυτό το άθροισμα και για να δούμε αν η ακολουθία (s ) είναι άνω φραγμένη θα κάνουμε ένα κόλπο: γράφουμε για κάθε k 2 και τότε: k = 2 kk (k )k = k k s = + 2 + 2 3 + + 2 ( ) + 2 2 ( + ( + 2) 2 3) ( + + 2 ) ( + ) = + 2 + }{{ 2} 3 + + }{{ 3} 2 + }{{ 2 } + }{{ } = + + 0 + 0 + + 0 + 0 = 2 < 2. Άρα η ακολουθία (s ) είναι άνω φραγμένη, οπότε η σειρά συγκλίνει ή, ισοδύναμα, = 2 < +. Αναφέρω, τελείως πληροφοριακά, ότι το άθροισμα της συγκεκριμένης σειράς είναι ο αριθμός π2. (Η απόδειξη είναι άλλη υπόθεση.) 6 Οι επόμενες δυο Προτάσεις μαζί είναι η Πρόταση 8.7 του βιβλίου. ΠΡΟΤΑΣΗ. Έστω ότι ισχύει 0 x y για κάθε. Τότε 0 + = x + = y. Αν, επιπλέον, η σειρά + = y συγκλίνει, τότε και η σειρά + = x συγκλίνει ή, ισοδύναμα, αν + = y < +, τότε + = x < +. Απόδειξη. Επειδή οι σειρές + = x και + = y έχουν μη-αρνητικούς προσθετέους, συνεπάγεται ότι έχουν άθροισμα. Άρα από μια προηγούμενη Πρόταση έχουμε ότι από την υπόθεση ότι ισχύει 0 x y για κάθε συνεπάγεται 0 = x Τώρα, αν η σειρά + = y συγκλίνει, τότε + = y < +, οπότε από την τελευταία ανισότητα συνεπάγεται + = x < +, οπότε η σειρά + = x συγκλίνει. 3 = y.
ΠΡΟΤΑΣΗ. Έστω ότι ισχύει x 0 και y > 0 για κάθε και έστω ότι η ακολουθία ( x y ) είναι φραγμένη (ή, ειδικώτερα, ότι συγκλίνει). Αν η σειρά + = y συγκλίνει, τότε και η σειρά + = x συγκλίνει ή, ισοδύναμα, αν + = y < +, τότε + = x < +. Απόδειξη. Αν η ακολουθία ( x y ) είναι φραγμένη, υπάρχει αριθμός M ώστε να ισχύει για κάθε και, επομένως, για κάθε. Άρα, 0 = x 0 x y M = x My My = M = y < + επειδή η σειρά + = y συγκλίνει. Άρα και η σειρά + = x συγκλίνει. Εφαρμογή: Έστω ότι ισχύει x, y > 0 για κάθε και Επειδή ισχύει x y x y ρ. > 0 για κάθε, συνεπάγεται 0 ρ +. Και τώρα διακρίνουμε τις εξής περιπτώσεις: Αν 0 ρ < + τότε : Αν 0 < ρ + τότε : Αν 0 < ρ < + τότε : = = = y < + y < + y < + = = = x < +. x < +. x < +. Το πρώτο συμπέρασμα είναι άμεσο πόρισμα της τελευταίας Πρότασης: το όριο ρ της ( x y ) είναι αριθμός και, επομένως, η ακολουθία αυτή συγκλίνει. Το δεύτερο συμπέρασμα είναι πάλι πόρισμα της ίδιας Πρότασης αλλά με αντιστροφή των ρόλων των δυο σειρών. Πράγματι, παρατηρούμε ότι y x και ότι 0 < +. Τέλος, το τρίτο ρ ρ συμπέρασμα είναι συνδυασμός των δυο πρώτων. Παράδειγμα. Θεωρούμε την σειρά = 2 2 +. Επειδή 2 2 + 0 4
η σειρά δεν συγκλίνει. Όμως, επειδή η σειρά έχει μη-αρνητικούς προσθετέους, έχει άθροισμα το οποίο είναι αριθμός ή +. Το άθροισμα δεν είναι αριθμός (διότι η σειρά δεν συγκλίνει), οπότε το άθροισμα είναι +. Δηλαδή, = Παράδειγμα. Τώρα θεωρούμε την σειρά 2 2 + = +. = 2 +. Ο κύριος όρος στον παρονομαστή του -οστού προσθετέου είναι ο 2, οπότε ο - οστός προσθετέος συμπεριφέρεται περίπου όπως ο =. 2 + 2 Αυτό μας λέει ότι η δοσμένη σειρά σχετίζεται με την σειρά + = και αυτό θα το εξετάσουμε βασισμένοι στην τελευταία Πρόταση. Έχουμε, λοιπόν, 2 + = 2 2 +. Επειδή το όριο του λόγου των -οστών όρων των δυο σειρών έχει την ιδιότητα 0 < < +, συνεπάγεται ότι, αν μια από τις δυο σειρές συγκλίνει, τότε και η άλλη σειρά συγκλίνει. Όμως, + = = + και άρα + = 2 + = +. 5