Ενότητα 11. Κανόνας της αλυσίδας · Πρόταση (Κανόνας της...

27
ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑ∆ΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Λογισμός 3 Ενότητα 11: Κανόνας της αλυσίδας. Μιχ. Γ. Μαριάς Τμήμα Μαθηματικών

Transcript of Ενότητα 11. Κανόνας της αλυσίδας · Πρόταση (Κανόνας της...

Page 1: Ενότητα 11. Κανόνας της αλυσίδας · Πρόταση (Κανόνας της αλυσίδας) (2) ˘ ˇ ˘ ,(1) όπου ˇ ˘ . Η σχέση (1) λέγεται

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

ΑΝΟΙΚΤΑΑΚΑ∆ΗΜΑΪΚΑΜΑΘΗΜΑΤΑ

Λογισμός 3

Ενότητα 11: Κανόνας της αλυσίδας.

Μιχ. Γ. Μαριάς

Τμήμα Μαθηματικών

Page 2: Ενότητα 11. Κανόνας της αλυσίδας · Πρόταση (Κανόνας της αλυσίδας) (2) ˘ ˇ ˘ ,(1) όπου ˇ ˘ . Η σχέση (1) λέγεται

ΑριστοτέλειοΠανεπιστήµιοΘεσσαλονίκης

Λογισμός 3

Τμήμα Μαθηματικών

Άδειες Χρήσης

• Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες

χρήσης Creative Commons.

• Για εκπαιδευτικό υλικό, όπως εικόνες, που

υπόκειται σε άλλου τύπου άδειας χρήσης, η

άδεια χρήσης αναφέρεται ρητώς.

2

Page 3: Ενότητα 11. Κανόνας της αλυσίδας · Πρόταση (Κανόνας της αλυσίδας) (2) ˘ ˇ ˘ ,(1) όπου ˇ ˘ . Η σχέση (1) λέγεται

ΑριστοτέλειοΠανεπιστήµιοΘεσσαλονίκης

Λογισμός 3

Τμήμα Μαθηματικών

Χρηματοδότηση

• Το παρόν εκπαιδευτικό υλικό έχει αναπτυχθεί στα πλαίσια του εκπαιδευτικού έργου του διδάσκοντα.

• Το έργο «Ανοικτά Ακαδημαϊκά Μαθήματα στο Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης» έχει χρηματοδοτήσει μόνο την αναδιαμόρφωση του εκπαιδευτικού υλικού.

• Το έργο υλοποιείται στο πλαίσιο του Επιχειρησιακού Προγράμματος «Εκπαίδευση και Δια Βίου Μάθηση» και συγχρηματοδοτείται από την Ευρωπαϊκή Ένωση (Ευρωπαϊκό Κοινωνικό Ταμείο) και από εθνικούς πόρους.

3

Page 4: Ενότητα 11. Κανόνας της αλυσίδας · Πρόταση (Κανόνας της αλυσίδας) (2) ˘ ˇ ˘ ,(1) όπου ˇ ˘ . Η σχέση (1) λέγεται

ΑριστοτέλειοΠανεπιστήµιοΘεσσαλονίκης

Λογισμός 3

Τμήμα Μαθηματικών

Περιεχόμενα ενότητας

1. Κανόνας της αλυσίδας.

2. Παραδείγματα.

4

Page 5: Ενότητα 11. Κανόνας της αλυσίδας · Πρόταση (Κανόνας της αλυσίδας) (2) ˘ ˇ ˘ ,(1) όπου ˇ ˘ . Η σχέση (1) λέγεται

ΑριστοτέλειοΠανεπιστήµιοΘεσσαλονίκης

Λογισμός 3

Τμήμα Μαθηματικών

Σκοποί ενότητας

• Απόδειξη του κανόνα της αλυσίδας για

διανυσματικές συναρτήσεις.

5

Page 6: Ενότητα 11. Κανόνας της αλυσίδας · Πρόταση (Κανόνας της αλυσίδας) (2) ˘ ˇ ˘ ,(1) όπου ˇ ˘ . Η σχέση (1) λέγεται

ΑριστοτέλειοΠανεπιστήµιοΘεσσαλονίκης

Λογισμός 3

Τμήμα Μαθηματικών

Πρόταση (Κανόνας της αλυσίδας) (1)

Παρουσιάζουμε τον υπολογισμό της παραγώγου

της σύνθετης συνάρτησης που είναι γνωστός και

ως κανόνας της αλυσίδας.

Πρόταση: Έστω Αανοικτό του ��, Βανοικτό του

��και

�� ⊃ �→ ��

⊂��

�→�� ,

διαφορίσιμες. Τότε και η σύνθετη συνάρτηση

� � ��� είναι διαφορίσιμη και ισχύει

6

Page 7: Ενότητα 11. Κανόνας της αλυσίδας · Πρόταση (Κανόνας της αλυσίδας) (2) ˘ ˇ ˘ ,(1) όπου ˇ ˘ . Η σχέση (1) λέγεται

ΑριστοτέλειοΠανεπιστήµιοΘεσσαλονίκης

Λογισμός 3

Τμήμα Μαθηματικών

Πρόταση (Κανόνας της αλυσίδας) (2)

� � � � �� � �� � , (1)

όπου � � � � .Η σχέση (1) λέγεται «κανόνας της αλύσιδας».

Προσοχή, στο δεύτερο μέλος της (1) έχουμε

πολλαπλασιασμό πινάκων. Πριν περάσουμε στην

απόδειξη της Πρότασης θα κάνουμε ορισμένες

παρατηρήσεις που θα βοηθήσουν στην κατανόηση

της αλυσίδας.

Ας θέσουμε � � � � � ��, … , �� , και ας

γράψουμε την (1) αναλυτικά με πίνακες.

Αν πολλαπλασιάσουμε τους πίνακες 7

Page 8: Ενότητα 11. Κανόνας της αλυσίδας · Πρόταση (Κανόνας της αλυσίδας) (2) ˘ ˇ ˘ ,(1) όπου ˇ ˘ . Η σχέση (1) λέγεται

ΑριστοτέλειοΠανεπιστήµιοΘεσσαλονίκης

Λογισμός 3

Τμήμα Μαθηματικών

Πρόταση (Κανόνας της αλυσίδας) (3)

���� �

���� !

��"� �

��"� #

��"� !

��$� �

��$��

���� �

���� �

��"�%�

��"�%�

��$�%�

��$�%�

&

��� �

… ��� #

. . ��� !

��� �

… ��� #

… ��� !

8

Page 9: Ενότητα 11. Κανόνας της αλυσίδας · Πρόταση (Κανόνας της αλυσίδας) (2) ˘ ˇ ˘ ,(1) όπου ˇ ˘ . Η σχέση (1) λέγεται

ΑριστοτέλειοΠανεπιστήµιοΘεσσαλονίκης

Λογισμός 3

Τμήμα Μαθηματικών

Πρόταση (Κανόνας της αλυσίδας) (4)

Τότε προκύπτει ότι ο κανόνας της αλυσίδας (1) για τις συνιστώσες συναρτήσεις �'της � γράφεται ως εξής:

(�'(�)

�(�'(��

(��(�)

*(�'(�+

(�+(�)

*⋯*(�'(��

(��(�)

�(�'(��

(��(�)

*(�'(�+

(�+(�)

*⋯*(�'(��

(��(�)

. -2/

Παρατηρούμε ότι στην (2) οι μεταβλητές �)σχηματίζουν τους κρίκους μιας αλυσίδας, εξ ού και η ονομασία «κανόνας της αλυσίδας».

9

Page 10: Ενότητα 11. Κανόνας της αλυσίδας · Πρόταση (Κανόνας της αλυσίδας) (2) ˘ ˇ ˘ ,(1) όπου ˇ ˘ . Η σχέση (1) λέγεται

ΑριστοτέλειοΠανεπιστήµιοΘεσσαλονίκης

Λογισμός 3

Τμήμα Μαθηματικών

Πρόταση (Κανόνας της αλυσίδας) (5)

Πολλές φορές και σε πολλά εγχειρίδια, ταυτίζουμε

την � � με την �-�/(πράγμα που δικαιολογείται

από την σχέση � � � ��� � � � � ).

Έτσι γράφουμε (�'(�)

� �(�'(��

�(��(�)

� *(�'(�+

�(�+(�)

� *

*⋯*(�'(��

�(��(�)

αντί του πιο τυπικού (2).

10

Page 11: Ενότητα 11. Κανόνας της αλυσίδας · Πρόταση (Κανόνας της αλυσίδας) (2) ˘ ˇ ˘ ,(1) όπου ˇ ˘ . Η σχέση (1) λέγεται

ΑριστοτέλειοΠανεπιστήµιοΘεσσαλονίκης

Λογισμός 3

Τμήμα Μαθηματικών

Παράδειγμα 1 (1)

Έστω

� ��, �+ � �� ��, �+ , �+ ��, �+ � ��, �+� 0 �1 22 , ��+ * �+

και� ��, �+ � log ��+ * �+ ,��+ * �+ 6 0.

Αν � � ���, δηλαδή

� ��, �+ � log 0+ �1+ 22 * ��+ * �+βρείτε την

��� �

0,1 χρησιμοποιώντας τον κανόνα

της αλυσίδας.

11

Page 12: Ενότητα 11. Κανόνας της αλυσίδας · Πρόταση (Κανόνας της αλυσίδας) (2) ˘ ˇ ˘ ,(1) όπου ˇ ˘ . Η σχέση (1) λέγεται

ΑριστοτέλειοΠανεπιστήµιοΘεσσαλονίκης

Λογισμός 3

Τμήμα Μαθηματικών

Παράδειγμα 1 (2)

Κατόπιν επαληθεύστε το αποτέλεσμα κάνοντας

κατευθείαν τον υπολογισμό.

Λύση: Έχουμε από την αλυσίδα (�(��

�(�(��

(��(��

*(�(�+

(�+(��

�(�(��

(��(��

*(�(�+

(�+(��

�2��

��+ * �+0 �1 22 *

1��+ * �+

2��.

12

Page 13: Ενότητα 11. Κανόνας της αλυσίδας · Πρόταση (Κανόνας της αλυσίδας) (2) ˘ ˇ ˘ ,(1) όπου ˇ ˘ . Η σχέση (1) λέγεται

ΑριστοτέλειοΠανεπιστήµιοΘεσσαλονίκης

Λογισμός 3

Τμήμα Μαθηματικών

Παράδειγμα 1 (3)

Τώρα αν ��, �+ � 0,1 , τότε

��, �+ � 091�2 , 0 * 1 � 0, 1και συνεπώς

(�(��

0,1 �20

0+ * 10 * 0 �20+

0+ * 1 .

13

Page 14: Ενότητα 11. Κανόνας της αλυσίδας · Πρόταση (Κανόνας της αλυσίδας) (2) ˘ ˇ ˘ ,(1) όπου ˇ ˘ . Η σχέση (1) λέγεται

ΑριστοτέλειοΠανεπιστήµιοΘεσσαλονίκης

Λογισμός 3

Τμήμα Μαθηματικών

Παράδειγμα 2 (1)

Έστω �:�+ → � και ;+. Αν

< �, �, = � � �=, �= ,δείξτε ότι

�(<(� * �

(<(� � =

(<(= , -2/.

Λύση: Είναι

< �, �, = � � �=, �= � � >�, >+ ,όπου >� � �=>+ � �=.Από τον κανόνα της αλυσίδας έχουμε

14

Page 15: Ενότητα 11. Κανόνας της αλυσίδας · Πρόταση (Κανόνας της αλυσίδας) (2) ˘ ˇ ˘ ,(1) όπου ˇ ˘ . Η σχέση (1) λέγεται

ΑριστοτέλειοΠανεπιστήµιοΘεσσαλονίκης

Λογισμός 3

Τμήμα Μαθηματικών

Παραδειγμα 2 (2)

(<(� �

(<(>�

(>�(� *

(<(>+

(>+(� �

(<(>�

=,

(<(� �

(<(>�

(>�(� *

(<(>+

(>+(� �

(<(>+

=,

και(<(= �

(<(>�

(>�(= *

(<(>+

(>+(= �

(<(>�

� *(<(>+

�,

και η (2) έπεται πολλαπλασιάζοντας τις τρείς

παραπάνω σχέσεις με �, � και = αντίστοιχα.

15

Page 16: Ενότητα 11. Κανόνας της αλυσίδας · Πρόταση (Κανόνας της αλυσίδας) (2) ˘ ˇ ˘ ,(1) όπου ˇ ˘ . Η σχέση (1) λέγεται

ΑριστοτέλειοΠανεπιστήµιοΘεσσαλονίκης

Λογισμός 3

Τμήμα Μαθηματικών

Πρόταση 2

Για την απόδειξη του κανόνα της αλυσίδας

χρειαζόμαστε την παρακάτω Πρόταση που έχει

ενδιαφέρον αφ’εαυτής.

Πρόταση: Έστω Α ανοικτό του �� και �: � → ��μία διανυσματική συνάρτηση διαφορίσιμη στο �9.

Τότε η � είναι συνεχής στο �9και επιπλέον υπάρχει

θετική σταθερά Μτέτοια ώστε:

� � @ � �9 A B � @ �9για � κοντά στο �9.

16

Page 17: Ενότητα 11. Κανόνας της αλυσίδας · Πρόταση (Κανόνας της αλυσίδας) (2) ˘ ˇ ˘ ,(1) όπου ˇ ˘ . Η σχέση (1) λέγεται

ΑριστοτέλειοΠανεπιστήµιοΘεσσαλονίκης

Λογισμός 3

Τμήμα Μαθηματικών

Απόδειξη του κανόνα της αλυσίδας

(1)

Για �9 ∈ �, πρέπει να δείξουμε ότι

� � � @ � � �9 @ �� � �9 �� �9 � @ �9� @ �9 → D

0.

Ξαναγράφουμε τον αριθμητή ως εξής:

� � � @ � � �9 @ �� � �9 � � @ � �9* �� � �9 � � @ � �9@ �� � �9 �� �9 � @ �9

� � � � @ � � �9 @ �� � �9 � � @ � �9* �� � �9 E � � @ � �9 @ �� �9 � @ �9 F

17

Page 18: Ενότητα 11. Κανόνας της αλυσίδας · Πρόταση (Κανόνας της αλυσίδας) (2) ˘ ˇ ˘ ,(1) όπου ˇ ˘ . Η σχέση (1) λέγεται

ΑριστοτέλειοΠανεπιστήµιοΘεσσαλονίκης

Λογισμός 3

Τμήμα Μαθηματικών

Απόδειξη του κανόνα της αλυσίδας

(2)

Από την διαφορισιμότητα της � έχουμε

� � � @ � � �9 @ �� � �9 � � @ � �9A G � � @ � �9 .

Κατόπιν, αφού και η g είναι διαφορίσιμη, από την

προηγούμενη Πρόταση έπεται ότι

� � @ � �9 A B � @ �9 .Άρα

� � � @ � � �9 @ �� � �9 � � @ � �9A GB � @ �9

18

Page 19: Ενότητα 11. Κανόνας της αλυσίδας · Πρόταση (Κανόνας της αλυσίδας) (2) ˘ ˇ ˘ ,(1) όπου ˇ ˘ . Η σχέση (1) λέγεται

ΑριστοτέλειοΠανεπιστήµιοΘεσσαλονίκης

Λογισμός 3

Τμήμα Μαθηματικών

Απόδειξη του κανόνα της αλυσίδας

(3)

Τώρα, χρησιμοποιούμε πάλι την διαφορισιμότητα

της f και έχουμε:

�� � �9 � � @ � �9 @ �� �9 � @ �9

A H I sup�M'M��M)M�

(�'(�)

� �9 N � � @ � �9

@ �� �9 � @ �9 NA BO � � @ � �9 @ �� �9 � @ �9 .

Τέλος, από την διαφορισιμότητα της g έχουμε ότι

� � @ � �9 @ �� �9 � @ �9 A G � @ �919

Page 20: Ενότητα 11. Κανόνας της αλυσίδας · Πρόταση (Κανόνας της αλυσίδας) (2) ˘ ˇ ˘ ,(1) όπου ˇ ˘ . Η σχέση (1) λέγεται

ΑριστοτέλειοΠανεπιστήµιοΘεσσαλονίκης

Λογισμός 3

Τμήμα Μαθηματικών

Απόδειξη του κανόνα της αλυσίδας

(4)

Βάζοντας μαζί τις παραπάνω σχέσεις προκύπτει

� � � @ � � �9 @ �� � �9 �� �9 � @ �9A GΜ � @ �9 *BOG � @ �9 � G Μ *Μ′ � @ �9

Από την οποία συμπεραίνουμε πως η ��� είναι

διαφορίσιμη και πως

� ��� � � �� � �� �

20

Page 21: Ενότητα 11. Κανόνας της αλυσίδας · Πρόταση (Κανόνας της αλυσίδας) (2) ˘ ˇ ˘ ,(1) όπου ˇ ˘ . Η σχέση (1) λέγεται

ΑριστοτέλειοΠανεπιστήµιοΘεσσαλονίκης

Λογισμός 3

Τμήμα Μαθηματικών

Παραδείγματα (1)

Θα δώσουμε τώρα ορισμένα κλασικά

παραδείγματα του κανόνα της αλυσίδας. Είδαμε

ήδη την περίπτωση της σύνθετης καμπύλης και

πραγματικής συνάρτησης: αν η

Q: R, ST

→⇝

��

�� T , �+ T , … , �� TΕίναι ;� καμπύλη του �� και η �:�� → � είναι

διαφορίσιμη, τότε ο κανόνας της αλυσίδας δίνει την

παράγωγο της ��Q ως ακολούθως

21

Page 22: Ενότητα 11. Κανόνας της αλυσίδας · Πρόταση (Κανόνας της αλυσίδας) (2) ˘ ˇ ˘ ,(1) όπου ˇ ˘ . Η σχέση (1) λέγεται

ΑριστοτέλειοΠανεπιστήµιοΘεσσαλονίκης

Λογισμός 3

Τμήμα Μαθηματικών

Παραδείγματα (2)

�VQ O T �W ��QWT T �

�(�(��

Q T(��(T T * ⋯*

(�(��

Q T(��(T T

Το δεύτερο ουσιαστικό παράδειγμα είναι, στην γενική του μορφή, το ακόλουθο

�� ⊃ �X→�� �

→�όπου Τείναι ένας μετασχηματισμός, που συνήθως τον λέμε αλλαγή συντεταγμένων και � είναι μια πραγματική συνάρτηση.

22

Page 23: Ενότητα 11. Κανόνας της αλυσίδας · Πρόταση (Κανόνας της αλυσίδας) (2) ˘ ˇ ˘ ,(1) όπου ˇ ˘ . Η σχέση (1) λέγεται

ΑριστοτέλειοΠανεπιστήµιοΘεσσαλονίκης

Λογισμός 3

Τμήμα Μαθηματικών

Βιβλιογραφία

1. V. Guillemin, A. Pollack, Differential Topology,

Prentice-Hall, Inc., New Jersey, 1974.

2. J. Marsden, A. Tromba, Διανυσματικός Λογισμός,

Πανεπιστημιακές Εκδόσεις Κρήτης, Ηράκλειο,

2000.

3. J.-M. Monier, Analyse 4, Dunod, Paris, 2000.

4. M. Spivak, Λογισμός σε Πολλαπλότητες,

Πανεπιστημιακές Εκδόσεις Κρήτης, Ηράκλειο,

1994.

5. Τ. Χατζηαφράτης, Απειροστικός Λογισμός σε

Πολλές Μεταβλητές, Αθήνα, 1996.

23

Page 24: Ενότητα 11. Κανόνας της αλυσίδας · Πρόταση (Κανόνας της αλυσίδας) (2) ˘ ˇ ˘ ,(1) όπου ˇ ˘ . Η σχέση (1) λέγεται

ΑριστοτέλειοΠανεπιστήµιοΘεσσαλονίκης

Λογισμός 3

Τμήμα Μαθηματικών

Σημείωμα Αναφοράς

Copyright Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης, Μιχάλης Μαριάς.

«Λογισμός 3. Κανόνας της αλυσίδας.». Έκδοση: 1.0. Θεσσαλονίκη 2014.

Διαθέσιμο από τη δικτυακή διεύθυνση:

http://eclass.auth.gr/courses/OCRS289/.

Page 25: Ενότητα 11. Κανόνας της αλυσίδας · Πρόταση (Κανόνας της αλυσίδας) (2) ˘ ˇ ˘ ,(1) όπου ˇ ˘ . Η σχέση (1) λέγεται

ΑριστοτέλειοΠανεπιστήµιοΘεσσαλονίκης

Λογισμός 3

Τμήμα Μαθηματικών

Το παρόν υλικό διατίθεται με τους όρους της άδειας χρήσης Creative Commons Αναφορά - Παρόμοια Διανομή [1] ή μεταγενέστερη, Διεθνής Έκδοση. Εξαιρούνται τα αυτοτελή έργα τρίτων π.χ. φωτογραφίες, διαγράμματα κ.λ.π., τα οποία εμπεριέχονται σε αυτό και τα οποία αναφέρονται μαζί με τους όρους χρήσης τους στο «Σημείωμα Χρήσης Έργων Τρίτων».

Ο δικαιούχος μπορεί να παρέχει στον αδειοδόχο ξεχωριστή άδεια να

χρησιμοποιεί το έργο για εμπορική χρήση, εφόσον αυτό του ζητηθεί.

[1] http://creativecommons.org/licenses/by-sa/4.0/

Σημείωμα Αδειοδότησης

Page 26: Ενότητα 11. Κανόνας της αλυσίδας · Πρόταση (Κανόνας της αλυσίδας) (2) ˘ ˇ ˘ ,(1) όπου ˇ ˘ . Η σχέση (1) λέγεται

ΑριστοτέλειοΠανεπιστήµιοΘεσσαλονίκης

Λογισμός 3

Τμήμα Μαθηματικών

Διατήρηση Σημειωμάτων

Οποιαδήποτε αναπαραγωγή ή διασκευή του υλικού θα πρέπει

να συμπεριλαμβάνει:

� το Σημείωμα Αναφοράς

� το Σημείωμα Αδειοδότησης

� τη δήλωση Διατήρησης Σημειωμάτων

� το Σημείωμα Χρήσης Έργων Τρίτων (εφόσον υπάρχει)

μαζί με τους συνοδευόμενους υπερσυνδέσμους.

Page 27: Ενότητα 11. Κανόνας της αλυσίδας · Πρόταση (Κανόνας της αλυσίδας) (2) ˘ ˇ ˘ ,(1) όπου ˇ ˘ . Η σχέση (1) λέγεται

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

ΑΝΟΙΚΤΑΑΚΑ∆ΗΜΑΪΚΑΜΑΘΗΜΑΤΑ

Τέλος ενότητας

Επεξεργασία: Αναστασία Γ. Γρηγοριάδου

Θεσσαλονίκη, Χειμερινό Εξάμηνο 2014-2015