Υπολογισµός διπλών ολοκληρωµάτων µε διαδοχική ολοκλήρωση

Σχετικά έγγραφα
Υπολογισµός διπλών ολοκληρωµάτων µε διαδοχική ολοκλήρωση

Υπολογισµός τριπλών ολοκληρωµάτων µε διαδοχική ολοκλήρωση

( y) ( x) ( 0) ( ) ( 0) ( y) ( ) ( ) ( ) Παραδείγµατα και εφαρµογές. 1)Έστω D απλά συνεκτικός τόπος στο R που φράσσεται από την ( κατά τµήµατα 1

( ) = inf { (, Ρ) : Ρ διαµέριση του [, ]}

Ακρότατα υπό συνθήκη και οι πολλαπλασιαστές του Lagrange

Συνεκτικά σύνολα. R είναι συνεκτικά σύνολα.

Συνεχείς συναρτήσεις πολλών µεταβλητών. ε > υπάρχει ( ) ( )

Κανόνες παραγώγισης ( )

Συνεκτικά σύνολα. R είναι συνεκτικά σύνολα.

11 Το ολοκλήρωµα Riemann

14 Εφαρµογές των ολοκληρωµάτων

Περιεχόµενα. 1 Ολοκληρώµατα ιπλό Ολοκλήρωµα... 1

Καµπύλες στον R. σ τελικό σηµείο της σ. Το σ. σ =. Η σ λέγεται διαφορίσιµη ( αντιστοίχως

Το θεώρηµα πεπλεγµένων συναρτήσεων

Ανοικτά και κλειστά σύνολα

Κεφάλαιο 2. Παραγοντοποίηση σε Ακέραιες Περιοχές

ΙΙ ιαφορικός Λογισµός πολλών µεταβλητών. ιαφόριση συναρτήσεων πολλών µεταβλητών

ΜΙΓΑ ΙΚΟΣ ΛΟΓΙΣΜΟΣ ΚΑΙ ΟΛΟΚΛ. ΜΕΤΑΣΧΗΜΑΤΙΣΜΟΙ ΓΡΑΠΤΕΣ ΕΞΕΤΑΣΕΙΣ ΣΕΠΤΕΜΒΡΙΟΥ 2010 ΛΥΣΕΙΣ ΤΩΝ ΘΕΜΑΤΩΝ

Όρια συναρτήσεων. ε > υπάρχει ( ) { } = ± ορίζονται αναλόγως. Η διατύπωση αυτών των ορισµών αφήνεται ως άσκηση. x y = +. = και για κάθε (, ) ( 0,0)

x 2 = x x 2 2. x 2 = u 2 + x 2 3 Χρησιµοποιώντας το συµβολισµό του ανάστροφου, αυτό γράφεται x 2 = x T x. = x T x.

Το θεώρηµα Αλλαγής µεταβλητής και οι µετασχηµατισµοί συντεταγµένων

f x = f a + Df a x a + R1 x, a, x U και από τον ορισµό της 1 h f a h f a h a h h a R h a i i j

5.1 Συναρτήσεις δύο ή περισσοτέρων µεταβλητών

Αρµονική Ανάλυση. Ενότητα: Το ϑεώρηµα παρεµβολής του Riesz και η ανισότητα Hausdorff-Young. Απόστολος Γιαννόπουλος.

ΑΠΕΙΡΟΣΤΙΚΟΣ ΛΟΓΙΣΜΟΣ ΙΙΙ Χειμερινό εξάμηνο Ασκήσεις 1.

f x = f a + Df a x a + R1 x, a, x U και από τον ορισµό της 1 h f a h f a h a h h a R h a i i j

Όρια συναρτήσεων. ε > υπάρχει ( ) { } = ± ορίζονται αναλόγως. Η διατύπωση αυτών των ορισµών αφήνεται ως άσκηση. x y = +. = και για κάθε (, ) ( 0,0)

Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης



Κεφάλαιο 6 Παράγωγος

Μετασχηµατισµοί Laplace, Αναλογικά Συστήµατα, ιαφορικές Εξισώσεις

1 Το ϑεώρηµα του Rademacher

ιανυσµατικά πεδία Όπως έχουµε ήδη αναφέρει ένα διανυσµατικό πεδίο είναι µια συνάρτηση

και ( n) 1 R. Αν ε > 0, επιλέγουµε για κάθε k 1 ένα καλύπτουµε τότε την ευθεία Α µε την ακολουθία των ορθογωνίων .

Ο ΕΥΚΛΕΙ ΕΙΟΣ ΧΩΡΟΣ. Το εσωτερικό γινόµενο

Αλλαγή µεταβλητής στο τριπλό ολοκλήρωµα ( ) Β R Jordan µετρήσιµα υποσύνολα του U. R, ανοικτό µε. y y y συµβολίζει την ορίζουσα του πίνακα Jacobi

ΚΕΦΑΛΑΙΟ 4 ΙΠΛΑ ΟΛΟΚΛΗΡΩΜΑΤΑ. είναι διαµερίσεις των κλειστών διαστηµάτων [α,b] και [c,d] αντιστοίχως της µορφής

ΤΟ ΟΛΟΚΛΗΡΩΜΑ ΕΙΣΑΓΩΓΗ

( a) ( ) n n ( ) ( ) a x a. x a x. x a x a

Απαντήσεις Διαγωνισµού Μηχανικής ΙΙ Ιουνίου Ερώτηµα 2

Αρµονική Ανάλυση. Ενότητα: Χώροι L p. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

4.1 Το αόριστο ολοκλήρωµα - Βασικά ολοκληρώ-

ΚΕΦΑΛΑΙΟ 4 ΙΠΛΑ ΟΛΟΚΛΗΡΩΜΑΤΑ. είναι διαµερίσεις των κλειστών διαστηµάτων [α,b] και [c,d] αντιστοίχως της µορφής

Στροβιλισµός πεδίου δυνάµεων

ΜΙΓΑ ΙΚΟΣ ΛΟΓΙΣΜΟΣ ΚΑΙ ΟΛΟΚΛ. ΜΕΤΑΣΧΗΜΑΤΙΣΜΟΙ ΓΡΑΠΤΕΣ ΕΞΕΤΑΣΕΙΣ ΙΑΝΟΥΑΡΙΟΥ 2010 ΛΥΣΕΙΣ ΤΩΝ ΘΕΜΑΤΩΝ. =. Οι πρώτες µερικές u x y

Αρµονική Ανάλυση. Ενότητα: Προσεγγίσεις της µονάδας και Αθροισιµότητα. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

ΣΗΜΕΙΩΣΕΙΣ ΜΑΘΗΜΑΤΙΚΗΣ ΑΝΑΛΥΣΗΣ Ι ( )

ΜΕΛΕΤΗ ΣΥΝΑΡΤΗΣΗΣ. Άρτια και περιττή συνάρτηση. Παράδειγµα: Η f ( x) Παράδειγµα: Η. x R και. Αλγεβρα Β Λυκείου Πετσιάς Φ.- Κάτσιος.

ΙΑΝΥΣΜΑΤΑ ΘΕΩΡΙΑ ΘΕΜΑΤΑ ΘΕΩΡΙΑΣ. Τι ονοµάζουµε διάνυσµα; αλφάβητου επιγραµµισµένα µε βέλος. για παράδειγµα, Τι ονοµάζουµε µέτρο διανύσµατος;

Το θεώρηµα αντίστροφης απεικόνισης. ) και ακόµη ότι η g f 1 1. g y


5. Σειρές Taylor και Laurent. Ολοκληρωτικά υπόλοιπα και εφαρµογές.

Ο ΕΥΚΛΕΙ ΕΙΟΣ ΧΩΡΟΣ. Το εσωτερικό γινόµενο

Ανασκόπηση-Μάθημα 24, 25 Διπλό ολοκλήρωμα

Γ' ΛΥΚΕΙΟΥ ΘΕΤΙΚΗ & ΤΕΧΝΟΛΟΓΙΚΗ ΚΑΤΕΥΘΥΝΣΗ ΜΑΘΗΜΑΤΙΚΑ ΕΚΦΩΝΗΣΕΙΣ ÏÅÖÅ

12 Το αόριστο ολοκλήρωµα

Γ' ΛΥΚΕΙΟΥ ΘΕΤΙΚΗ & ΤΕΧΝΟΛΟΓΙΚΗ ΚΑΤΕΥΘΥΝΣΗ ΜΑΘΗΜΑΤΙΚΑ ΑΠΑΝΤΗΣΕΙΣ. Εποµένως η f είναι κοίλη στο διάστηµα (, 1] και κυρτή στο [ 1, + ).

όπου D(f ) = (, 0) (0, + ) = R {0}. Είναι Σχήµα 10: Η γραφική παράσταση της συνάρτησης f (x) = 1/x.

4 Συνέχεια συνάρτησης

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ

ΑΠΑΝΤΗΣΕΙΣ - ΥΠΟ ΕΙΞΕΙΣ ΣΤΙΣ ΕΡΩΤΗΣΕΙΣ

αx αx αx αx 2 αx = α e } 2 x x x dx καλείται η παραβολική συνάρτηση η οποία στο x

ΕΠΑΝΑΛΗΠΤΙΚΑ ΘΕΜΑΤΑ ΜΑΘΗΜΑΤΙΚΑ ΚΑΤΕΥΘΥΝΣΗΣ Γ ΛΥΚΕΙΟΥ 2008

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ

ΕΠΑΝΑΛΗΠΤΙΚΑ ΘΕΜΑΤΑ Ο.Ε.Φ.Ε ΘΕΜΑΤΑ ΜΑΘΗΜΑΤΙΚΩΝ Γ ΛΥΚΕΙΟΥ ΘΕΤΙΚΗΣ-ΤΕΧΝΟΛΟΓΙΚΗΣ ΚΑΤΕΥΘΥΝΣΗΣ ΑΠΑΝΤΗΣΕΙΣ. f x > κοντά στο x0.

Μηχανική ΙI Ροή στο χώρο των φάσεων, θεώρηµα Liouville

ΜΑΘΗΜΑΤΙΚΑ ΙΙ ιδάσκων : Ε. Στεφανόπουλος 12 ιουνιου 2017

KΕΦΑΛΑΙΟ 3. Πλεγµένες συναρτήσεις- Ανάπτυγµα Taylor-Aκρότατα

Σχόλιο. Παρατηρήσεις. Παρατηρήσεις. p q p. , p1 p2

Αρµονική Ανάλυση. Ενότητα: Ολοκλήρωµα Lebesgue - Ασκήσεις. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

2x 2 + x + 1 (x + 3)(x 1) 2 dx, 2x (x + 1) dx. b x 1 + x dx x x 2 1, 6u 5 u 3 + u 2 du = 6u 3 u + 1 du. = u du.

Αριθµητική Παραγώγιση και Ολοκλήρωση

Μηχανική ΙI. Μετασχηµατισµοί Legendre. της : (η γραφική της παράσταση δίνεται στο ακόλουθο σχήµα). Εάν

Παρουσίαση 1 ΙΑΝΥΣΜΑΤΑ

ΕΠΑΝΑΛΗΨΗ Β ΓΥΜΝΑΣΙΟΥ ΑΛΓΕΒΡΑ

1 Οι πραγµατικοί αριθµοί

1 Ορισµός ακολουθίας πραγµατικών αριθµών

Υπόδειξη. (α) Άµεσο αφού κάθε υποσύνολο µηδενικού συνόλου είναι µετρήσιµο.

( ) Κλίση και επιφάνειες στάθµης µιας συνάρτησης. x + y + z = κ ορίζει την επιφάνεια µιας σφαίρας κέντρου ( ) κ > τότε η

Αλλαγή µεταβλητής στο τριπλό ολοκλήρωµα ( ) Β R Jordan µετρήσιµα υποσύνολα του U. R, ανοικτό µε. y y y συµβολίζει την ορίζουσα του πίνακα Jacobi

Ολοκληρωτικός Λογισμός

Όνοµα: Λιβαθινός Νικόλαος 2291

2 η δεκάδα θεµάτων επανάληψης

Ιόνιο Πανεπιστήμιο - Τμήμα Πληροφορικής

11. Η έννοια του διανύσµατος 22. Πρόσθεση & αφαίρεση διανυσµάτων 33. Βαθµωτός πολλαπλασιασµός 44. Συντεταγµένες 55. Εσωτερικό γινόµενο

Γραµµική Αλγεβρα Ι. Ενότητα: ιανυσµατικοί χώροι. Ευάγγελος Ράπτης. Τµήµα Μαθηµατικών

Αρµονική Ανάλυση. Ενότητα: Μέτρο Lebesgue. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

Εισαγωγή στην Τοπολογία

Κεφάλαιο 1. Θεωρία Ζήτησης


ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ. 8. Πότε το γινόμενο δύο ή περισσοτέρων αριθμών παραγόντων είναι ίσο με το μηδέν ;

( ) Κλίση και επιφάνειες στάθµης µιας συνάρτησης. x + y + z = κ ορίζει την επιφάνεια µιας σφαίρας κέντρου ( ) κ > τότε η

Παντελής Μπουμπούλης, M.Sc., Ph.D. σελ. 2 math-gr.blogspot.com, bouboulis.mysch.gr

Γραµµική Αλγεβρα Ι. Ενότητα: Γραµµικές απεικονίσεις. Ευάγγελος Ράπτης. Τµήµα Μαθηµατικών

Ακολουθίες στον R n. ακολουθία διανυσµάτων στον. 1 1 ακολουθία στον 2 k. εφόσον 1+ e. k + R δεν είναι συγκλίνουσα. Πράγµατι αν

ΚΕΦΑΛΑΙΟ 2: Ηµιαπλοί ακτύλιοι

Παράρτηµα Α. Στοιχεία θεωρίας µέτρου και ολοκλήρωσης.

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΠΕΡΙΤΤΟΙ) Ασκησεις - Φυλλαδιο 5

6 Συνεκτικοί τοπολογικοί χώροι

Transcript:

8 Υπολογισµός διπλών ολοκληρωµάτων µε διαδοχική ολοκλήρωση Υπάρχουν δύο θεµελιώδη αποτελέσµατα που µας βοηθούν να υπολογίζουµε πολλαπλά ολοκληρώµατα Το πρώτο αποτέλεσµα σχετίζεται µε τον υπολογισµό ενός πολλαπλού ολοκληρώµατος µε διαδοχική ολοκλήρωση και είναι το θεώρηµα Fubini και το δεύτερο που θα εξετάσουµε αργότερα µε την αλλαγή µεταβλητής ιατυπώνουµε το θεώρηµα Fubini προς το παρόν για συναρτήσεις δύο µεταβλητών = a, b, κλειστό ορθογώνιο 8 Θεώρηµα (Fubini ) Έστω [ ] [ ] στον και f : φραγµένη συνάρτηση (ι) ν η f είναι συνεχής στο τότε b b f (, = f (, = f (, a a f (, a, b όπου το σύµβολο b, σηµαίνει ότι η συνάρτηση [ ] a ολοκληρώνεται στο [ ] a, b f, (ιι) Έστω ότι η f είναι ολοκληρώσιµη στο ν επιπλέον τα ολοκληρώµατα f (, υπάρχουν για κάθε [ a, τότε ( η [ ] a, b f, ολοκληρώνεται στο [ a, b ] και) ισχύει f (, = f (, b νάλογα αν τα ολοκληρώµατα f (, υπάρχουν για κάθε [, ] a b a τότε b f (, = f (, a Συνεπώς αν όλες αυτές οι συνθήκες ισχύουν ταυτόχρονα τότε b b f (, = f (, = f (, a a Παρατηρήσεις ) Οι υποθέσεις που κάναµε στον ισχυρισµό (ιι) του θεωρήµατος είναι περισσότερες απ ότι στον (ι) Είναι όµως αναγκαίες γιατί αν η f δεν είναι παντού συνεχής δεν έπεται αναγκαία ότι το ολοκλήρωµα f (, ) υπάρχει για κάθε [ a, θα ) Ένα ανάλογο αποτέλεσµα ισχύει και για συναρτήσεις n µεταβλητών µε n f : a, b, u, v Ι= f,, z z είναι η ν πχ η [ ] [ ] [ ] είναι συνεχής και τιµή του τριπλού ολοκληρώµατος, τότε υπάρχουν! = 6 διαδοχικά ολοκληρώµατα

88 της συνάρτησης f (,, z ) όλα µεταξύ τους ίσα Πχ b v v b Ι= f (,, z) z = f (,, z) z a u u a Ποιοτική εξήγηση του θεωρήµατος Fubini Έστω :[, ] [, ] f a b συνεχής µε f ν τεµαχίσουµε τον όγκο κάτω από το γράφηµα της f σε λεπτές φέτες πχ παράλληλες µε το zεπίπεδο, τότε προσεγγιστικά ο όγκος αυτός ισούται µε το άθροισµα των ποσοτήτων f (,, αφού f (, είναι το εµβαδόν κάτω από το γράφηµα της f :, f, [ ] b Έπεται προφανώς ότι: f (, = f (, () a Με ανάλογη διαδικασία τεµαχισµού σε φέτες παράλληλες µε το z επίπεδο b καταλήγουµε στον τύπο f (, = f (, () a Τελικά από τις () και () λαµβάνουµε τον τύπο του Fubini: b b f (, = f (, = f (, a a Ως ένα αλγεβρικό ανάλογο του θεωρήµατος Fubini αναφέρουµε και την γνωστή n n n ταυτότητα: aκλ = aκλ κ, λ= κ= λ= Το θεώρηµα Fubini µπορεί να χρησιµοποιηθεί και για τον υπολογισµό ολοκληρωµάτων συναρτήσεων που δεν είναι ορισµένες αναγκαία σε ορθογώνια του υτό µπορεί να γίνει αν το συνδυάσουµε µε τα αποτελέσµατα των προηγουµένων παραγράφων Στην πράξη έχουµε το ακόλουθο πολύ χρήσιµο αποτέλεσµα που είναι συνέπεια του θεωρήµατος Fubini

89 8 Θεώρηµα Έστω ϕ, ψ :[ a, συνεχείς συναρτήσεις ώστε ϕ ψ για κάθε [ a, Θέτοµε = (, : a b και ϕ ψ { } b ψ( ) Έστω f : συνεχής Τότε f (, = f (, a ϕ πόδειξη: Παρατηρούµε ότι το είναι συµπαγές υποσύνολο του ( γιατί; ) = a, b, κλειστό και η f ως συνεχής στο είναι φραγµένη Έστω [ ] [ ] ορθογώνιο ώστε ( µπορούµε να πάρουµε ως min { ϕ : [ a, } = ma { ψ : [, ] } αφού οι, f (,, αν (, g : ώστε g(, =, αν (, = και ϕψ είναι συνεχείς) Ορίζουµε την συνάρτηση Τα σηµεία ασυνέχειας της g είναι όλα στο σύνορο του, το οποίο είναι ένωση των γραφηµάτων των συναρτήσεων ϕψ, και δύο κατακόρυφων ευθυγράµµων τµηµάτων του, έτσι το έχει διδιάστατο µέτρο µηδέν και η g από το θεώρηµα 9 της σελίδας 6 ( ή το πόρισµα της σελίδας 6 ) είναι ολοκληρώσιµη f, = g, () Έπεται ότι πό το θεώρηµα Fubini έχουµε g(, (, ) b = g a (), αφού τα ολοκληρώµατα g(, υπάρχουν για κάθε [ a, ψ (, ) = (, ) g f () ϕ και µάλιστα, ( Η συνάρτηση [, ] g(, είναι ολοκληρώσιµη για κάθε [ a, είναι φραγµένη και ενδεχοµένως ασυνεχής µόνο στα σηµεία ϕ και ψ ) πό τις εξισώσεις (),() και () έπεται το συµπέρασµα αφού Παρατηρήσεις ) Ένας ανάλογος τύπος ισχύει και για σύνολα της µορφής,, :, και ϕ ψ ϕψ, :, συνεχείς = { [ ] } όπου [ ] συναρτήσεις και ϕ( ψ( για κάθε [, ] ν : f συνεχής ψ( ) συνάρτηση τότε: f (, = f (, ϕ( Σηµειώνουµε ακόµη ότι το θεώρηµα 8 ισχύει και µε την υπόθεση ότι η f είναι ορισµένη στο εσωτερικό int( ) του και είναι συνεχής και φραγµένη εκεί ( γιατί; ) ες επίσης και την άσκηση (β) αυτής της παραγράφου ) Τα υποσύνολα του που εµφανίζονται στην διατύπωση του θεωρήµατος 8 καθώς και στην παρατήρηση () ονοµάζονται χωρία του τύπου και του τύπου Μερικές φορές ονοµάζονται και απλά αντίστοιχα απλά σύνολα

9 Χωρία τύπου ονοµάζονται αυτά που µπορούν να έχουν ταυτόχρονα και τις δύο περιγραφές, δηλαδή να είναι του τύπου αλλά και του τύπου Ένα τέτοιο παράδειγµα είναι ο µοναδιαίος δίσκος Συνήθως τα χωρία τύπου, και, αναφέρονται και ως στοιχειώδη χωρία Παρατηρούµε ότι ένα στοιχειώδες χωρίο είναι συµπαγές υποσύνολο του ) Στην περίπτωση που στο θεώρηµα 8 ( πόρισµα του Fubini ) έχουµε f (, ) = για (, τότε, = = Πράγµατι, b το εµβαδό του ψ b ψ( ) (, ) (, ) = ( ψ ϕ) f = f = ϕ ϕ a a b a = το εµβαδόν του χωρίου, όπως γνωρίζουµε και από το Λογισµό της µιας µεταβλητής (πρβλ και µε τον ορισµό 8 του όγκου ενός Joran µετρήσιµου συνόλου στην σελίδα 4)

9 Το θεώρηµα µέσης τιµής για πολλαπλά ολοκληρώµατα Όπως και στον Λογισµό της µιας µεταβλητής τα πολλαπλά ολοκληρώµατα ικανοποιούν µια ιδιότητα µέσης τιµής n 8 Λήµµα Έστω Joran µετρήσιµο και f, g : ολοκληρώσιµες συναρτήσεις, τότε ισχύουν (ι) ν f g f g f g ( δηλαδή για κάθε ) τότε (ιι) ν f Μ για κάθε τότε f Μ V πόδειξη: ρκεί να αποδείξουµε την ανισότητα όταν είναι κλειστό ορθογώνιο n του g f πό τον ορισµό του ολοκληρώµατος iemann έπεται ότι και συνεπώς έπεται η ζητούµενη ανισότητα (ιι) Η f Μ για κάθε ισοδυναµεί µε την Μ f Μ για κάθε () Επειδή οι σταθερές(όταν είναι ορισµένες σε Joran µετρήσιµα σύνολα) είναι ολοκληρώσιµες και Μ =Μ V ( Πρβλ το παράδειγµα µετά την Προτ 6) Έπεται από την () ότι, Μ V f Μ V ανισότητα και άρα η προς απόδειξη 84 Θεώρηµα ( µέσης τιµής για ολοκληρώµατα ) ν η f : είναι συνεχής και το Joran µετρήσιµο συµπαγές και συνεκτικό, τότε υπάρχει ώστε f = f V ν V, η ποσότητα πόδειξη: Έστω f V ονοµάζεται η µέση τιµή της f επί του λ= V f ( ν V = τότε το αποτέλεσµα έπεται προφανώς από τον ισχυρισµό (ιι) του Λήµµατος 8 ) Θέτοµε m min f : Μ= ma f : ( επειδή f συνεχής και = { } και { } συµπαγές η f έχει µέγιστη και ελάχιστη τιµή στο ) Συνεπώς m f Μ για κάθε, Άρα από το Λήµµα 8 έπεται ότι m V( ) = m f Μ =Μ V ή m f Μ V

9 Επειδή το είναι συνεκτικό και η f συνεχής, η f ικανοποιεί το θεώρηµα ενδιαµέσου τιµής, και άρα υπάρχει ώστε f = f V Παρατήρηση Μια πιο προσεκτική εξέταση της απόδειξης µας δείχνει ότι η υπόθεση της συµπάγειας δεν είναι απαραίτητη αρκεί βέβαια η f να υποτεθεί φραγµένη n Ένα υποσύνολο του λέγεται κατά τόξα συνεκτικό, αν για κάθε z, ω υπάρχει καµπύλη γ του που συνδέει το z µε το ω, δηλαδή υπάρχει συνεχής συνάρτηση γ :[ a, ώστε γ ( a) = z και γ( b) = ω Είναι εύκολο να αποδείξουµε ότι κάθε κατά τόξα συνεκτικό σύνολο είναι και συνεκτικό Η απόδειξη έπεται όπως και για τα κυρτά σύνολα µε χρήση του Λήµµατος Όπως έπεται από τα αποτελέσµατα της σχετικής παραγράφου ( για τα συνεκτικά σύνολα ) παραδείγµατα κατά τόξα συνεκτικών συνόλων είναι βέβαια τα κυρτά σύνολα καθώς και τα ανοικτά και συνεκτικά σύνολα Επίσης δεν είναι δύσκολο να αποδειχθεί το ακόλουθο αποτέλεσµα η απόδειξη του οποίου αφήνεται ως άσκηση: 8 Πρόταση Κάθε στοιχειώδες χωρίο του επιπέδου είναι κατά τόξα συνεκτικό και άρα συνεκτικό σύνολο πό το αποτέλεσµα αυτό και το θεώρηµα µέσης τιµής για ολοκληρώµατα έπεται αµέσως το ακόλουθο 86 Θεώρηµα Έστω Τότε για κάποιο (, ) ισχύει ότι f (, = f (, ) V στοιχειώδες χωρίο και : f συνεχής πόδειξη Υπενθυµίζουµε ότι ένα στοιχειώδες χωρίο είναι συµπαγές σύνολο, επειδή είναι και συνεκτικό το συµπέρασµα είναι προφανής συνέπεια του θεωρήµατος 84 ) Έστω k [ k k] Θέτοµε [ a, [ an, bn] F(,, ) = f ( ) f ( ) σκήσεις f : a, b, k =,,, n, iemann ολοκληρώσιµες συναρτήσεις = και ορίζουµε την συνάρτηση F : ώστε n n n n bk n n = k k= ak ποδείξτε ότι, (,, ) (,, ) F f t t (*) )Έστω = [ a, [, ] κλειστό ορθογώνιο του και f : συνάρτηση Υποθέτουµε ότι για κάθε [, ] f : [ a, f (, είναι αύξουσα και ότι για κάθε [ a, f : [, ] f (, φραγµένη η συνάρτηση, η συνάρτηση, είναι επίσης αύξουσα ποδείξτε ότι η f είναι ολοκληρώσιµη στο

9 )Ορίζουµε µια συνάρτηση f στο τετράγωνο Q= [,] [,] ως εξής:, αν είτε ο ή ο είναι άρρητος f (, = m, αν ο είναι ρητός και =, όπου m και n είναι σχετικά πρώτοι θετικοί ακέραιοι n n f, = f, = f, = Q, όµως ότι το ποδείξτε ότι, (, ) f δεν υπάρχει αν ο είναι ρητός 4)Υπολογίστε τα ολοκληρώµατα: στο = [,] [,] (α) m n όταν, a b (β) ( + + ) (γ) sin( + ) m n N Καθώς και τα ολοκληρώµατα στο Q= [, π] [, π] (δ) Q sin sin (ε) os( + ) Q (*) )Έστω f : Q συνεχής, όπου Q [ a, [, ] (, ) του Q, ορίζουµε, (, ) (, ) F = Για κάθε εσωτερικό σηµείο F = f a F, =, = f, σε κάθε εσωτερικό σηµείο ποδείξτε ότι: (, ) του Q Σκεφθείτε την σχέση του θεωρήµατος Fubini µε την ισότητα των µεικτών παραγώγων n (*) 6) Έστω γ :[ a, καµπύλη µε µήκος Θέτοµε [ γ] { γ( t) : t [ a, } [ γ ] είναι το σύνολο τιµών ή ίχνος της γ ποδείξτε ότι το [ ] µετρήσιµο µε n διάστατο περιεχόµενο µηδέν = δηλαδή γ είναι Joran

94 Παραδείγµατα ()Υπολογίστε το διπλό ολοκλήρωµα, όπου είναι το επίπεδο χωρίο µεταξύ της παραβολής = και των ευθειών = και = Λύση {, : και } = {(, ) : 4 και } = Το είναι χωρίο του τύπου έτσι έχουµε = = = = 6 = =, επειδή είναι του τύπου Επίσης επειδή είναι και του τύπου, υπολογίζουµε 4 4 = = = = = 4 6 = )Υπολογίστε το διπλό ολοκλήρωµα ( +, όπου το το τρίγωνο που καθορίζεται από τις ευθείες =, = και = =, : και =, :, Το είναι χωρίο τύπου Επειδή το είναι τύπου υπολογίζουµε: = ( + = ( + = + = = + + Λύση { } = 4 = = 4 4 Επειδή το είναι και τύπου υπολογίζουµε:

9 = + = + = + = = + 4 = = 8 4 = + = 4 + 8 = ) Υπολογισµός όγκου µε χρήση διπλού ολοκληρώµατος Να βρεθεί ο όγκος του στερεού που φράσσεται από πάνω από το επίπεδο z= και από κάτω στο επίπεδο από το πρώτο τεταρτηµόριο του µοναδιαίου δίσκου + Λύση Η συνάρτηση z f (, (, ) = που ολοκληρώνουµε στο είναι η z= f = ( η δεύτερη προβολή π : ) Το είναι χωρίο του τύπου Εποµένως ο ζητούµενος όγκος V υπολογίζεται µε δύο τρόπους: ως: {, :, } {(, :, } = ( τύπου ) = ( τύπου ) Για τον υπολογισµό της παράγουσας, ( ) u= Έπεται ότι, u ( ) = u = u= V = = = Υπολογίζουµε το δεύτερο διαδοχικό ολοκλήρωµα και έτσι βρίσκουµε: V = = ( ) = = Το περιγράφεται = = uu =, θέτοµε u =, συνεπώς

96 λλαγή της σειράς ολοκλήρωσης Έστω χωρίο τύπου και f : συνεχής συνάρτηση Το περιγράφεται µε δύο τρόπους ( ως τύπου και ) και άρα =, : a b και ϕ ϕ = { } = (, : και ψ ( ψ ( { } Έχουµε εποµένως τους τύπους: b ϕ ψ ( ) f (, = f (, = f (, a ϕ ψ ν θέλουµε να υπολογίσουµε το ένα από τα δύο διαδοχικά ολοκληρώµατα και τελικά το διπλό ολοκλήρωµα f (, - µπορούµε να το κάνουµε υπολογίζοντας το άλλο ( εκείνο που υπολογίζεται ευκολότερα ) υτή η τεχνική λέγεται αλλαγή της σειράς ολοκλήρωσης Παραδείγµατα )Να υπολογισθεί το εµβαδόν του χωρίου που ορίζεται ( φράσσεται) από την παραβολή = και την ευθεία = Λύση Το χωρίο είναι του τύπου και του τύπου, αφού, :,, :, + + = { } = {(, :, + } Σχήµα Ι Περιγραφή τύπου :, { } 4 f = - g = - - -4

f = - 4 g = 9 - - -4 Σχήµα ΙΙ Περιγραφή τύπου : Υπολογίζοντας το εµβαδόν του ως χωρίο του τύπου, έχοµε: = = = ( ) = ( + ) = 9 + = ν, όµως, θεωρηθεί ως χωρίο τύπου, είναι αναγκαίο να το διασπάσουµε σε δύο µέρη ( χωρία) όπως στο Σχήµα ΙΙ δίδεται από το άθροισµα των διαδοχικών Εποµένως το εµβαδόν ολοκληρωµάτων: = = + Είναι σαφές ότι ο υπολογισµός του εµβαδού + + 9 + = = + θεωρώντας το ως χωρίο τύπου είναι συντοµότερος Σηµείωση Τα σηµεία τοµής της παραβολής = και της ευθείας = βρίσκονται λύνοντας την εξίσωση = + = = ή = = Άρα τα σηµεία τοµής είναι τα (, ), (, ) πό το προηγούµενο παράδειγµα συµπεραίνουµε ότι η µορφή του χωρίου ολοκλήρωσης µπορεί να καθορίζει ποια διάταξη ( διαδοχικής ) ολοκλήρωσης είναι περισσότερο κατάλληλη για τον υπολογισµό µας Όπως θα δούµε όµως στο επόµενο παράδειγµα η προς ολοκλήρωση συνάρτηση παίζει και αυτή ρόλο στην επιλογή της σειράς ολοκλήρωσης )Υπολογίστε το διαδοχικό ολοκλήρωµα e

98 Λύση εν µπορούµε να υπολογίσουµε το δοσµένο ολοκλήρωµα µε την διάταξη η οποία δίδεται καθώς η παράγουσα της συνάρτησης e δεν είναι στοιχειώδης συνάρτηση ( δεν µπορεί να υπολογισθεί ) Έτσι το δοσµένο ολοκλήρωµα θα υπολογισθεί αντιστρέφοντας την σειρά ολοκλήρωσης Το χωρίο ολοκλήρωσης δίδεται στο ακόλουθο σχήµα και είναι βέβαια τύπου Παρατηρούµε e = e = () ( e = e = e = e e ) = ( ) {(, ) :, } (, :, e = (τύπου ) { } ότι, = ( τύπου ) () Για τον υπολογισµό της παραγούσης e, θέτοµε u= άρα u= Έπεται ότι, u e = e = e u = u e u= Παράδειγµα Να υπολογιστούν τα ολοκληρώµατα: () και () ( + ) ( + ) Λύση () Πρόκειται για µία από τις δύο εκφράσεις του διπλού ολοκληρώµατος στο ακόλουθο χωρίο που είναι τύπου, + τύπου {(, ) : και } = = τύπου {, : και } Ισχύει ότι, ( ) = + ( + ) χ = ( + ) τύπου τύπου Το δοσµένο διαδοχικό ολοκλήρωµα υπολογίζεται δύσκολα Έτσι,

99 υπολογίζουµε το δεύτερο διαδοχικό ολοκλήρωµα που προκύπτει από την έκφραση του ως χωρίο τύπου Έτσι έχουµε: = = ( + ) ( ) = + = = ( + ) ( + 4 ) u u ( ) u = + = = 6 6 4 * Εδώ χρησιµοποιούµε την αλλαγή µεταβλητής () Όσον αφορά το ο διαδοχικό ολοκλήρωµα το χωρίο ολοκλήρωσης είναι το 4 u 4 6 4 6 4 4 = u= + u= τύπου, αλλά και τύπου, αν γραφεί ως ΠαρατηρησηΤο ολοκλήρωµα ( + ), παρατηρούµε ότι {, : και } = και είναι {, : και } = Έτσι αντί του δοθέντος διαδοχικού ολοκληρώµατος, που υπολογίζεται δύσκολα υπολογίζουµε το διαδοχικό ολοκλήρωµα που προκύπτει από την έκφραση του ως χωρίο τύπου = = ( + ) ( + ) = 4 = + + = = + = 6 6 u = 6 = Το 6 64 6 64 Ι= e του παραδείγµατος (), υπολογίζεται και µε ολοκλήρωση κατά µέρη: Θέτοµε G = e, [,] παρατηρούµε ότι G = e e G ' = e, [,] Άρα, ' ' Ι= G = G = G G = G e e e ( ) ( ) = = = ( ) και u u