ΑΝΑΛΥΣΗ Μ. Παπαδημητράκης. 1
ΕΒΔΟΜΟ ΜΑΘΗΜΑ Θα γυρίσουμε πίσω για να κάνουμε μια απόδειξη που είχαμε παραλείψει σε κάποιο προηγούμενο παράδειγμα. Παράδειγμα. Έστω ξ [, b] και η συνάρτηση { 0, αν x [, b], x ξ f(x) = 1, αν x = ξ Θα αποδείξουμε ότι η f είναι ολοκληρώσιμη στο [, b] και ότι Θα περιοριστούμε στην περίπτωση που f = 0. < ξ < b. Οι άλλες περιπτώσεις, ξ = και ξ = b, είναι παρόμοιες (και ελαφρά απλούστερες) και μπορείτε να τις διαβάσετε στο βιβλίο. Έστω ɛ > 0. Παίρνουμε ένα δ > 0 αρκετά μικρό, την τιμή του οποίου θα καθορίσουμε σε λίγο, και θεωρούμε την συγκεκριμένη διαμέριση = {x 0, x 1, x, x 3 } του [, b] με x 0 =, x 1 = ξ δ, x = ξ + δ, x 3 = b. Τότε, η f είναι σταθερή 0 στα διαστήματα [x 0, x 1 ] και [x, x 3 ], οπότε l 1 = u 1 = 0, l 3 = u 3 = 0, και στο [x 1, x ] έχει ακριβώς δύο τιμές, τις 0 και 1, οπότε Επομένως, Άρα l = 0, u = 1. Σ(f;, b; ) = l 1 (x 1 x 0 ) + l (x x 1 ) + l 3 (x 3 x ) = 0, Σ(f;, b; ) = u 1 (x 1 x 0 ) + u (x x 1 ) + u 3 (x 3 x ) = x x 1 = δ. Σ(f;, b; ) Σ(f;, b; ) = δ. Τώρα μπορούμε να πούμε ότι, αν επιλέξουμε το δ ώστε 0 < δ < ɛ, θα έχουμε ότι Σ(f;, b; ) Σ(f;, b; ) < ɛ και θα έχουμε αποδείξει ότι η f είναι ολοκληρώσιμη στο [, b]. Πρέπει, πάντως, να προσέξουμε επιπλέον να ισχύει < ξ δ και ξ + δ < b ή, ισοδύναμα, δ < ξ και δ < b ξ. Άρα πρέπει να επιλέξουμε το δ ώστε 0 < δ < min{ ɛ, ξ, b ξ}. Τώρα, για την διαμέριση που βρήκαμε ισχύει Σ(f;, b; ) = 0 και Σ(f;, b; ) = δ και, επειδή η f είναι ολοκληρώσιμη στο [, b], έχουμε 0 = Σ(f;, b; ) f Σ(f;, b; ) = δ < ɛ.
Δηλαδή, για κάθε ɛ > 0 ισχύει και, επομένως, f = 0. 0 f < ɛ Τώρα θα συνεχίσουμε την παρουσίαση της θεωρίας χωρίς να αποδεικνύουμε (όπως έχουμε ήδη εξηγήσει) τις διάφορες ιδιότητες του ολοκληρώματος. Μόνο περιστασιακά θα κάνουμε κάποιες αποδείξεις αν κρίνουμε ότι προσφέρουν κάποιες νέες ιδέες. ΠΡΟΤΑΣΗ. Έστω f ολοκληρώσιμη στο [, b] και αριθμός λ. Τότε η λf είναι ολοκληρώσιμη στο [, b] και λf = λ Οι ισότητες που αποδείχθηκαν στις δύο τελευταίες Προτάσεις συνδυάζονται στην (λf + µg) = λ f + µ Αυτή η ισότητα εύκολα γενικεύεται με επαγωγή για περισσότερους από δυο όρους: (λ 1 f 1 + + λ n f n ) = λ 1 f 1 + + λ n f n, αν όλες οι f 1,..., f n είναι ολοκληρώσιμες στο [, b]. Το παράδειγμα που ακολουθεί είναι άμεση γενίκευση του προηγούμενου παραδείγματος και θα χρησιμοποιηθεί αμέσως στην απόδειξη της επόμενης Πρότασης. Παράδειγμα. Έστω ξ 1,..., ξ n διαφορετικά σημεία του [, b] και f η οποία είναι σταθερή 0 στο [, b] εκτός σ αυτά τα n σημεία. Θα δούμε ότι η f είναι ολοκληρώσιμη στο [, b] και ότι Συγκεκριμένα, έστω και έστω ότι και f = 0. ξ 1 <... < ξ n b f(x) = 0 για κάθε x [, b] \ {ξ 1,..., ξ n } f(ξ j ) = c j 0 για κάθε j = 1,..., n. Για κάθε j = 1,..., n θεωρούμε την αντίστοιχη συνάρτηση { 0, αν x [, b], x ξ j f j (x) = 1, αν x = ξ j Αν x [, b] και x ξ j για κάθε j = 1,..., n, τότε f(x) = 0 και f j (x) = 0 για κάθε j = 1,..., n. Άρα c 1 f 1 (x) + + c n f n (x) = c 1 0 + + c n 0 = 0 = f(x). g. 3
Αν x {ξ 1,..., ξ n }, τότε x = ξ j0 για κάποιον j 0 = 1,..., n, οπότε f(x) = c j0 και f j0 (x) = 1 και f j (x) = 0 για κάθε j = 1,..., n με j j 0. Άρα c 1 f 1 (x) + + c j0 f j0 (x) + + c n f n (x) = c 1 0 + + c j0 1 + + c n 0 = c j0 = f(x). Άρα ισχύει ή, ισοδύναμα, c 1 f 1 (x) + + c n f n (x) = f(x) για κάθε x [, b] f = c 1 f 1 + + c n f n. Επειδή κάθε f j είναι ολοκληρώσιμη στο [, b] και f j = 0, συνεπάγεται ότι και η f είναι ολοκληρώσιμη στο [, b] και f = c 1 f 1 + + c n f n = c 1 0 + + c n 0 = 0. ΠΡΟΤΑΣΗ. Έστω f ολοκληρώσιμη στο [, b] και g η οποία ταυτίζεται με την f στο [, b] εκτός σε πεπερασμένου πλήθους σημεία. Τότε και η g είναι ολοκληρώσιμη στο [, b] και g = Απόδειξη. Θεωρούμε την h = g f η οποία είναι σταθερή 0 στο [, b] εκτός στα πεπερασμένου πλήθους σημεία στα οποία η g διαφέρει από την Σύμφωνα με το προηγούμενο παράδειγμα, η h είναι ολοκληρώσιμη στο [, b] και h = 0. Επειδή g = f +h και η f είναι ολοκληρώσιμη στο [, b], η g είναι κι αυτή ολοκληρώσιμη στο [, b] και g = (f + h) = f + h = Η Πρόταση διατυπώνεται και ως εξής: αν μια συνάρτηση είναι ολοκληρώσιμη (πχ είναι συνεχής ή μονότονη) σε κάποιο διάστημα και δημιουργήσουμε μια νέα συνάρτηση αλλάζοντας τις τιμές της αρχικής σε πεπερασμένου πλήθους σημεία του διαστήματος, τότε η νέα συνάρτηση είναι κι αυτή ολοκληρώσιμη στο ίδιο διάστημα και το ολοκλήρωμά της είναι το ίδιο με το ολοκλήρωμα της αρχικής συνάρτησης. ΠΡΟΤΑΣΗ. Αν οι f, g είναι ολοκληρώσιμες στο [, b], τότε και η fg είναι ολοκληρώσιμη στο [, b]. Σε αντίθεση με την περίπτωση του αθροίσματος συναρτήσεων, δεν υπάρχει τύπος ο οποίος να συνδέει το ολοκλήρωμα του γινομένου συναρτήσεων με τα ολοκληρώματα των δυο συναρτήσεων ξεχωριστά. Για παράδειγμα, ο τύπος fg = f g δεν ισχύει γενικά. ΠΡΟΤΑΣΗ. Έστω f ολοκληρώσιμη στο [, b]. Αν υπάρχει m > 0 ώστε να ισχύει f(x) m για κάθε x [, b], τότε η 1 είναι ολοκληρώσιμη στο [, b]. f ΠΡΟΤΑΣΗ. Έστω < c < b. Αν η f είναι ολοκληρώσιμη στο [, c] και στο [c, b], τότε η f είναι ολοκληρώσιμη στο [, b] και f = c 4 f + c
ΠΡΟΤΑΣΗ. Έστω c < d b. Αν η f είναι ολοκληρώσιμη στο [, b], τότε η f είναι ολοκληρώσιμη και στο [c, d]. Είναι λίγο - πολύ γνωστό πότε λέμε μια συνάρτηση τμηματικά σταθερή ή τμηματικά συνεχή ή τμηματικά μονότονη σε ένα διάστημα. Δείτε τους τυπικούς ορισμούς στο βιβλίο. ΠΡΟΤΑΣΗ. Αν η f είναι τμηματικά σταθερή ή τμηματικά συνεχής ή τμηματικά μονότονη στο [, b], τότε είναι ολοκληρώσιμη στο [, b]. Σχεδόν όλες οι συναρτήσεις που εμφανίζονται σε συγκεκριμένες εφαρμογές είναι είτε τμηματικά συνεχείς είτε τμηματικά μονότονες και, επομένως, είναι ολοκληρώσιμες σε κάθε κλειστό και φραγμένο διάστημα στο οποίο είναι φραγμένες. 5