(Translated by https://www.hiragana.jp/)
Παράγωγος - Βικιπαίδεια Μετάβαση σしぐまτたうοおみくろん περιεχόμενο

Παράγωγος

Από τたうηいーた Βικιπαίδεια, τたうηいーたνにゅー ελεύθερη εγκυκλοπαίδεια

Αυτό τたうοおみくろん άρθρο αφορά τたうοおみくろんνにゅー όρο πぱいοおみくろんυうぷしろん χρησιμοποιείται σしぐまτたうοおみくろん λογισμό.Γがんまιいおたαあるふぁ μみゅーιいおたαあるふぁ λιγότερο τεχνική επισκόπηση τたうοおみくろんυうぷしろん θέματος, δείτε διαφορικός λογισμός. Γがんまιいおたαあるふぁ άλλες χρήσεις, δείτε Παράγωγος (αποσαφήνιση).

Τたうοおみくろん γράφημα μιας συνάρτησης, μみゅーεいぷしろん μαύρο χρώμα, κかっぱαあるふぁιいおた ηいーた εφαπτομένη της συνάρτησης, μみゅーεいぷしろん κόκκινο χρώμα. Ηいーた κλίση της εφαπτόμενης γραμμής είναι ίση μみゅーεいぷしろん τたうηいーたνにゅー παράγωγο της συνάρτησης σしぐまτたうοおみくろん υποδεικνυόμενο σημείο.

Ηいーた παράγωγος μιας συνάρτησης μみゅーεいぷしろん πραγματική μεταβλητή είναι ένα μέτρο πぱいοおみくろんυうぷしろん εκφράζει τたうηいーた μεταβολή της τιμής της συνάρτησης (μみゅーιいおたαあるふぁ συνάρτηση ή εξαρτημένη μεταβλητή) ηいーた οποία προσδιορίζεται από μみゅーιいおたαあるふぁ άλλη ποσότητα (ηいーた ανεξάρτητη μεταβλητή). Είναι ένα θεμελιώδες εργαλείο τたうοおみくろんυうぷしろん λογισμού. Γがんまιいおたαあるふぁ παράδειγμα, ηいーた παράγωγος της θέσης ενός κινητού αντικειμένου σしぐまεいぷしろん σχέση μみゅーεいぷしろん τたうοおみくろん χρόνο είναι ηいーた ταχύτητα τたうοおみくろんυうぷしろん αντικειμένου: ηいーた οποία μετρά πόσο γρήγορα αλλάζει ηいーた θέση τたうοおみくろんυうぷしろん αντικειμένου όταν οおみくろん χρόνος προχωρήσει. Ηいーた παράγωγος μετρά τたうοおみくろんνにゅー στιγμιαίο ρυθμό μεταβολής της συνάρτησης, όπως διακρίνεται από τたうοおみくろんνにゅー μέσο ρυθμό μεταβολής, κかっぱαあるふぁιいおた ορίζεται ως τたうοおみくろん όριο τたうοおみくろんυうぷしろん ρυθμού μεταβολής της συνάρτησης όπου τたうοおみくろん μήκος τたうοおみくろんυうぷしろん διαστήματος πぱいοおみくろんυうぷしろん ορίζεται οおみくろん μέσος όρος τείνει σしぐまτたうοおみくろん μηδέν.

Ηいーた παράγωγος μιας συνάρτησης μみゅーεいぷしろん επιλεγμένη τιμή εισόδου περιγράφει τたうηいーたνにゅー καλύτερη γραμμική προσέγγιση της συνάρτησης κοντά σしぐまεいぷしろん αυτή τιμή εισόδου.Ηいーた παράγωγος σしぐまεいぷしろん ένα σημείο της συνάρτησης μιας μεταβλητής είναι ηいーた κλίση της εφαπτόμενης γραμμής σしぐまτたうηいーたνにゅー γραφική παράσταση της συνάρτησης σしぐまτたうοおみくろん σημείο αυτό.

Ηいーた έννοια της παραγώγου μπορεί νにゅーαあるふぁ γενικευθεί σしぐまεいぷしろん συναρτήσεις πολλών πραγματικών μεταβλητών. Ηいーた παράγωγος μιας συνάρτησης πολλών μεταβλητών είναι ένας γραμμικός μετασχηματισμός πぱいοおみくろんυうぷしろん ονομάζεται διαφορικός πίνακας. Ηいーた αναπαράσταση τたうοおみくろんυうぷしろん πίνακα είναι ένας Ιακωβιανός πίνακας, οおみくろん οποίος μειώνει τたうηいーたνにゅー κλίση τたうοおみくろんυうぷしろん διανύσματος στην περίπτωση πραγματικής συνάρτησης πολλών μεταβλητών.

Ηいーた διαδικασία εύρεσης της παραγώγου ονομάζεται παραγώγιση. Ηいーた αντίστροφη διαδικασία ονομάζεται αντιπαραγώγιση. Τたうοおみくろん Θεμελιώδες Θεώρημα τたうοおみくろんυうぷしろん λογισμού αναφέρει ότι ηいーた αντιπαραγώγιση είναι τたうοおみくろん ίδιο μみゅーεいぷしろん τたうοおみくろん ολοκλήρωμα. Παραγώγιση κかっぱαあるふぁιいおた ολοκλήρωση αποτελούν δでるたυうぷしろんοおみくろん βασικές λειτουργίες σしぐまτたうοおみくろん λογισμό.[1]

Παραγώγιση κかっぱαあるふぁιいおた παράγωγος

[Επεξεργασία | επεξεργασία κώδικα]

Ηいーた παραγώγιση είναι ηいーた μέθοδος γがんまιいおたαあるふぁ τたうοおみくろんνにゅー υπολογισμό της παραγώγου. Ηいーた παράγωγος μιας συνάρτησης f(x) μみゅーεいぷしろん μεταβλητή x είναι ένα μέγεθος βαθμού μみゅーεいぷしろん τたうοおみくろん οποίο ηいーた τιμή της συνάρτησης αλλάζει σしぐまεいぷしろん σχέση μみゅーεいぷしろん τたうηいーた μεταβολή της μεταβλητής. Αυτό ονομάζεται παράγωγος της f σしぐまτたうοおみくろん x. Αあるふぁνにゅー τたうοおみくろん x κかっぱαあるふぁιいおた τたうοおみくろん y είναι πραγματικοί αριθμοί, κかっぱαあるふぁιいおた αあるふぁνにゅー σχεδιαστεί ηいーた γραφική παράσταση της f συναρτήσει τたうοおみくろんυうぷしろん x, ηいーた παράγωγος είναι ηいーた κλίση τたうοおみくろんυうぷしろん γραφήματος σしぐまεいぷしろん κάθε σημείο.

Ηいーた απλούστερη περίπτωση, εκτός από τたうηいーたνにゅー περίπτωση της σταθερής συνάρτησης, είναι όταν τたうοおみくろん y είναι γραμμική συνάρτηση τたうοおみくろんυうぷしろん x, πぱいοおみくろんυうぷしろん σημαίνει ότι τたうοおみくろん γράφημα τたうοおみくろんυうぷしろん y συναρτήσει τたうοおみくろんυうぷしろん x είναι ευθεία γραμμή. Σしぐまτたうηいーたνにゅー περίπτωση αυτή, y=f(x)=mx + b, γがんまιいおたαあるふぁ πραγματικούς αριθμούς m κかっぱαあるふぁιいおた b, κかっぱαあるふぁιいおた ηいーた κλίση m δίνεται από τたうηいーた σχέση

όπου τたうοおみくろん σύμβολο Δでるた (Δέλτα) είναι συντομογραφία της "μεταβολής". Οおみくろん τύπος αυτός ισχύει αφού

y + Δでるたy = f(x + Δでるたx) = m (x + Δでるたx) + b = m x + m Δでるたx + b = y + m Δでるたx.

κかっぱαあるふぁιいおた από αυτό έχουμε ότι Δでるたy=m Δでるたx.

Αυτό δίνει ακριβή τιμή γがんまιいおたαあるふぁ τたうηいーたνにゅー κλίση μιας γραμμής. Αあるふぁνにゅー ηいーた συνάρτηση f δでるたεいぷしろんνにゅー είναι γραμμική (δηλαδή ηいーた γραφική της παράσταση δでるたεいぷしろんνにゅー είναι ευθεία) τότε ηいーた αλλαγή τたうοおみくろんυうぷしろん y σしぐまεいぷしろん σχέση μみゅーεいぷしろん τたうηいーたνにゅー αλλαγή τたうοおみくろんυうぷしろん x ποικίλει: ηいーた παραγώγιση είναι μみゅーιいおたαあるふぁ μέθοδος της ακριβούς τιμής τたうοおみくろんυうぷしろん βαθμού αλλαγής γがんまιいおたαあるふぁ οποιαδήποτε δοθείσα τιμή τたうοおみくろんυうぷしろん x.

Ηいーた ιδέα πぱいοおみくろんυうぷしろん απεικονίζεται σしぐまτたうαあるふぁ Σχήματα 1 έως 3, είναι νにゅーαあるふぁ υπολογιστεί οおみくろん βαθμός της μεταβολής ως ηいーた οριακή τιμή του λόγου Δでるたy/Δでるたx καθώς τたうοおみくろん Δでるたx γίνεται άπειρα μικρό.

Δでるたυうぷしろんοおみくろん ξεχωριστές σημειογραφίες πぱいοおみくろんυうぷしろん χρησιμοποιούνται συνήθως γがんまιいおたαあるふぁ τたうηいーたνにゅー παράγωγο, ηいーた μみゅーιいおたαあるふぁ απορρέει από τたうοおみくろんνにゅー Leibniz κかっぱαあるふぁιいおた ηいーた άλλη από τたうοおみくろんνにゅー Joseph Louis Lagrange.

Σしぐまτたうηいーた σημειογραφία τたうοおみくろんυうぷしろん Leibniz, μみゅーιいおたαあるふぁ απειροελάχιστη αλλαγή σしぐまτたうοおみくろん x συμβολίζεται μみゅーεいぷしろん dx, κかっぱαあるふぁιいおた ηいーた παράγωγος τたうοおみくろんυうぷしろん y σしぐまεいぷしろん συνάρτηση μみゅーεいぷしろん τたうοおみくろん x γράφεται

συμβολίζοντας τたうοおみくろんνにゅー λόγο τたうωおめがνにゅー δでるたυうぷしろんοおみくろん απειροελάχιστα μικρών ποσοτήτων.(Ηいーた παραπάνω έκφραση διαβάζεται ως "ηいーた παράγωγος τたうοおみくろんυうぷしろん y σしぐまεいぷしろん συνάρτηση μみゅーεいぷしろん τたうοおみくろん x", "dy από dx", ή "dy πέρα dx". Ηいーた προφορική μορφή "dy dx" συχνά χρησιμοποιείται conversationally, αλλά μπορεί νにゅーαあるふぁ οδηγήσει σしぐまεいぷしろん σύγχυση.)

Σしぐまτたうηいーた σημειογραφία τたうοおみくろんυうぷしろん Lagrange, ηいーた παράγωγος της συνάρτησης f(x) σしぐまεいぷしろん συνάρτηση μみゅーεいぷしろん τたうοおみくろん x συμβολίζεται f '(x) (διαβάζεται "f τόνος τたうοおみくろんυうぷしろん x") ή fx'(x) (διαβάζεται "f τόνος x τたうοおみくろんυうぷしろん x"), σしぐまεいぷしろん περίπτωση ασάφειας συνεπάγεται ηいーた παράγωγος της μεταβλητής. Ηいーた σημειογραφία τたうοおみくろんυうぷしろん Lagrange μερικές φορές αποδίδεται λανθασμένα σしぐまτたうοおみくろんνにゅー Newton.

Σχήμα 1. Ηいーた εφαπτόμενη γραμμή σしぐまτたうοおみくろん (x, f(x))
Σχήμα 2. Ηいーた τέμνουσα της καμπύλης y= f(x) πぱいοおみくろんυうぷしろん ορίζεται από τたうαあるふぁ σημεία (x,f(x)) κかっぱαあるふぁιいおた (x+h,f(x+h)).
Σχήμα 3. Ηいーた εφαπτομένη ως τたうοおみくろん όριο τεμνουσών.

Ορισμός μέσω διηρημένων διαφορών

[Επεξεργασία | επεξεργασία κώδικα]
Μみゅーιいおたαあるふぁ κινούμενη εικόνα πぱいοおみくろんυうぷしろん δίνει μみゅーιいおたαあるふぁ διαισθητική ιδέα γがんまιいおたαあるふぁ τたうοおみくろん παράγωγο, καθώς ηいーた "ταλάντευση" μιας συνάρτησης αλλάζει όταν αλλάζει τたうοおみくろん επιχείρημα.

Ηいーた πぱいιいおたοおみくろん συνηθισμένη προσέγγιση γがんまιいおたαあるふぁ τたうοおみくろんνにゅー σαφή ορισμό αυτής της διαισθητικής ιδέας, είναι νにゅーαあるふぁ ορίσουμε τたうηいーたνにゅー παράγωγο ως τたうοおみくろん όριο της διαφοράς πηλίκου τたうωおめがνにゅー πραγματικών αριθμών.[2] Αυτή ηいーた προσέγγιση περιγράφεται παρακάτω.

Έστω μみゅーιいおたαあるふぁ πραγματική συνάρτηση f συναρτήσει ενός πραγματικού αριθμού a πぱいοおみくろんυうぷしろん ορίζεται σしぐまεいぷしろん ένα ανοιχτό διάστημα.Σしぐまτたうηいーたνにゅー κλασική γεωμετρία, ηいーた εφαπτομένη γραμμή τたうοおみくろんυうぷしろん γραφήματος της συνάρτησης f σしぐまτたうοおみくろん a είναι ηいーた μοναδική γραμμή πぱいοおみくろんυうぷしろん περνά από τたうοおみくろん σημείο (a,f(a)) κかっぱαあるふぁιいおた δでるたεいぷしろんνにゅー συναντά τたうοおみくろん γράφημα της f εγκάρσια, πぱいοおみくろんυうぷしろん σημαίνει ότι ηいーた γραμμή δでるたεいぷしろんνにゅー περνά μέσα από τたうοおみくろん γράφημα. Ηいーた παράγωγος τたうοおみくろんυうぷしろん y σしぐまεいぷしろん σχέση μみゅーεいぷしろん τたうοおみくろん x σしぐまτたうοおみくろん σημείο a, γεωμετρικά είναι ηいーた κλίση της εφαπτόμενης γραμμής σしぐまτたうοおみくろん γράφημα της f σしぐまτたうοおみくろん σημείο (a,f(a)).Ηいーた κλίση της εφαπτομένης είναι πολύ κοντά σしぐまτたうηいーたνにゅー κλίση της γραμμής πぱいοおみくろんυうぷしろん περνάει από τたうοおみくろん (a,f(a)) κかっぱαあるふぁιいおた από ένα κοντινό σημείο σしぐまεいぷしろん αυτό (δηλαδή σしぐまτたうοおみくろん(a,f(a))) τたうοおみくろんυうぷしろん γραφήματος, γがんまιいおたαあるふぁ παράδειγμα τたうοおみくろん (a+h,f(a+h)). Αυτή ηいーた γραμμή ονομάζεται τέμνουσα. Όσο ηいーた τιμή τたうοおみくろんυうぷしろん h είναι πぱいιいおたοおみくろん κοντά σしぐまτたうοおみくろん μηδέν δίνει καλύτερη προσέγγιση σしぐまτたうηいーたνにゅー κλίση της εφαπτόμενης γραμμής, κかっぱαあるふぁιいおた οおみくろんιいおた μικρότερες τιμές (κατά απόλυτη τιμή) τたうοおみくろんυうぷしろん h, γενικά, δίνουν καλύτερη προσέγγιση. Ηいーた κλίση m της τέμνουσας είναι ηいーた διαφορά μεταξύ τたうωおめがνにゅー τιμών της y διαιρούμενη μみゅーεいぷしろん τたうηいーた διαφορά τたうωおめがνにゅー τιμών τたうοおみくろんυうぷしろん x, δηλαδή,

Αυτή ηいーた έκφραση είναι ηいーた διηρημένη διαφορά του Newton. Ηいーた μετάβαση από μみゅーιいおたαあるふぁ προσέγγιση σしぐまεいぷしろん μみゅーιいおたαあるふぁ ακριβή απάντηση επιτυγχάνεται μみゅーεいぷしろん τたうηいーた χρήση τたうοおみくろんυうぷしろん ορίου. Γεωμετρικά τたうοおみくろん όριο της τέμνουσας είναι ηいーた εφαπτομένη. Ως εいぷしろんκかっぱ τούτου, τたうοおみくろん όριο της διηρημένης διαφοράς ως προς τたうοおみくろん h τたうοおみくろん οποίο τείνει σしぐまτたうοおみくろん μηδέν, αあるふぁνにゅー υπάρχει, πρέπει νにゅーαあるふぁ αντιπροσωπεύει τたうηいーたνにゅー κλίση της εφαπτομένης σしぐまτたうοおみくろん σημείο (a,f(a)).Τたうοおみくろん όριο αυτό ορίζεται νにゅーαあるふぁ είναι ηいーた παράγωγος της f σしぐまτたうοおみくろん a:

Όταν τたうοおみくろん όριο υπάρχει, ηいーた f ονομάζεται παραγωγίσιμη σしぐまτたうοおみくろん a. Εδώ τたうοおみくろん f '(a) είναι ένας από τους κοινούς συμβολισμούς γがんまιいおたαあるふぁ τたうηいーたνにゅー παράγωγο.

Ισοδύναμα, ηいーた παράγωγος ικανοποιεί τたうηいーたνにゅー ιδιότητα

ηいーた οποία έχει τたうηいーたνにゅー ερμηνεία (δείτε Σχήμα 1) ότι ηいーた εφαπτομένη της f σしぐまτたうοおみくろん a δίνει τたうηいーたνにゅー καλύτερη γραμμικήπροσέγγιση.

της f σしぐまτたうοおみくろん a (πぱい.χかい. γがんまιいおたαあるふぁ μικρές τιμές τたうοおみくろんυうぷしろん h). Ηいーた ερμηνεία αυτή είναι ηいーた πぱいιいおたοおみくろん εύκολη γがんまιいおたαあるふぁ γενίκευση.

Αντικαθιστώντας με 0 τたうοおみくろん h σしぐまτたうηいーた διηρημένη διαφορά θしーたαあるふぁ είχαμε διαίρεση μみゅーεいぷしろん τたうοおみくろん μηδέν, έτσι ηいーた κλίση της εφαπτομένης δでるたεいぷしろん μπορεί νにゅーαあるふぁ βρεθεί άμεσα χρησιμοποιώντας αυτή τたうηいーた μέθοδο. Αντί αυτού, ορίζεται ηいーた Q(h) ως ηいーた διηρημένη διαφορά συναρτήσει τたうοおみくろんυうぷしろん h:

.

Q(h) είναι ηいーた κλίση της τέμνουσας μεταξύ (a,f(a)) κかっぱαあるふぁιいおた (a+h,f(a+h)). Αあるふぁνにゅー f είναι συνεχής συνάρτηση,πράγμα πぱいοおみくろんυうぷしろん σημαίνει ότι ηいーた γραφική της παράσταση δでるたεいぷしろんνにゅー διακόπτεται κかっぱαあるふぁιいおた δでるたεいぷしろんνにゅー έχει κενά, τότε κかっぱαあるふぁιいおた ηいーた Q είναι συνεχής συνάρτηση μακριά από τたうοおみくろん h=0. Αあるふぁνにゅー τたうοおみくろん όριο υπάρχει, πぱいοおみくろんυうぷしろん σημαίνει ότι υπάρχει τρόπος επιλογής τιμής γがんまιいおたαあるふぁ τたうοおみくろん Q(0) επομένως Q είναι συνεχής συνάρτηση, τότε ηいーた συνάρτηση f είναι παραγωγίσιμη σしぐまτたうοおみくろん a κかっぱαあるふぁιいおた ηいーた παράγωγός της ισούται μみゅーεいぷしろん τたうοおみくろん Q(0).

Σしぐまτたうηいーたνにゅー πράξη, ηいーた ύπαρξη μιας συνεχούς επέκτασης της διηρημένης διαφοράς Q(h) σしぐまτたうοおみくろん h=0 προκύπτει από τたうηいーたνにゅー αλλαγή τたうοおみくろんυうぷしろん αριθμητή ώστε νにゅーαあるふぁ απαλειφθεί τたうοおみくろん h τたうοおみくろんυうぷしろん παρονομαστή. Τέτοιοι χειρισμοί μπορεί νにゅーαあるふぁ κάνουν τたうηいーたνにゅー οριακή τιμή της Q ξεκάθαρη γがんまιいおたαあるふぁ μικρές τιμές τたうοおみくろんυうぷしろん h ακόμη κかっぱαあるふぁιいおた αあるふぁνにゅー ηいーた Q δでるたεいぷしろんνにゅー ορίζεται σしぐまτたうοおみくろん h=0. Αυτή ηいーた διαδικασία μπορεί νにゅーαあるふぁ είναι τεράστια κかっぱαあるふぁιいおた κουραστική γがんまιいおたαあるふぁ πολύπλοκες συναρτήσεις, κかっぱαあるふぁιいおた γίνονται πολλές συντομεύσεις γがんまιいおたαあるふぁ νにゅーαあるふぁ απλοποιηθεί ηいーた διαδικασία.

Ηいーた συνάρτηση τετραγωνισμού f(x)=x2 είναι παραγωγίσιμη σしぐまτたうοおみくろん x=3, κかっぱαあるふぁιいおた ηいーた παράγωγός της (σしぐまτたうοおみくろん x=3) είναι ίση μみゅーεいぷしろん 6. Τたうοおみくろん αποτέλεσμα αυτό βγαίνει μみゅーεいぷしろん τたうοおみくろんνにゅー υπολογισμό τたうοおみくろんυうぷしろん ορίου, μみゅーεいぷしろん τたうοおみくろん h νにゅーαあるふぁ τείνει σしぐまτたうοおみくろん μηδέν της διαφοράς πηλίκο f(3):

Ηいーた τελευταία σχέση δείχνει ότι ηいーた διηρημένη διαφορά ισούται μみゅーεいぷしろん 6 + h όταν τたうοおみくろん h είναι διάφορο τたうοおみくろんυうぷしろん μηδενός κかっぱαあるふぁιいおた είναι απροσδιόριστο όταν h=0, λόγω τたうοおみくろんυうぷしろん ορισμού της διηρημένης διαφοράς. Ωστόσο οおみくろん ορισμός τたうοおみくろんυうぷしろん ορίου επισημαίνει ότι ηいーた διηρημένη διαφορά δでるたεいぷしろん χρειάζεται νにゅーαあるふぁ προσδιοριστεί όταν h=0.Τたうοおみくろん όριο είναι τたうοおみくろん αποτέλεσμα καθώς τたうοおみくろん h τείνει σしぐまτたうοおみくろん 0, πぱいοおみくろんυうぷしろん σημαίνει ότι ηいーた τιμή είναι 6 + h καθώς τたうοおみくろん h τείνει νにゅーαあるふぁ γίνει αρκετά μικρό:

Ηいーた κλίση της γραφικής παράστασης της συνάρτησης τετραγωνισμού σしぐまτたうοおみくろん σημείο (3,9) είναι 6, κかっぱιいおた έτσι ηいーた παράγωγός της σしぐまτたうοおみくろん x=3 είναι f '(3)=6.

Γενικότερα, μみゅーεいぷしろん παρόμοιο τρόπο υπολογισμού έχουμε ότι ηいーた παράγωγος της τετραγωνικής συνάρτησης σしぐまτたうοおみくろん x=a είναι f′(a) = 2a.

Συνέχεια κかっぱαあるふぁιいおた παραγωγισιμότητα

[Επεξεργασία | επεξεργασία κώδικα]
Αυτή ηいーた συνάρτηση δでるたεいぷしろんνにゅー είναι συνεχής σしぐまτたうοおみくろん μαρκαρισμένο σημείο αλλά ούτε κかっぱαあるふぁιいおた παραγωγίσιμη.

Αあるふぁνにゅー y=f(x) είναι παραγωγίσιμη σしぐまτたうοおみくろん a, τότε ηいーた f πρέπει νにゅーαあるふぁ είναι συνεχής σしぐまτたうοおみくろん a. Γがんまιいおたαあるふぁ παράδειγμα, επιλέγουμε ένα σημείο a κかっぱαあるふぁιいおた f μみゅーιいおたαあるふぁ δίκλαδη συνάρτηση πぱいοおみくろんυうぷしろん επιστρέφει τたうηいーたνにゅー τιμή, ας πούμε 1, γがんまιいおたαあるふぁ όλα τたうαあるふぁ x μικρότερα τたうοおみくろんυうぷしろん a, κかっぱαあるふぁιいおた επιστρέφει μみゅーιいおたαあるふぁ διαφορετική τιμή, ας πούμε 10, γがんまιいおたαあるふぁ όλα εκείνα τたうαあるふぁ x πぱいοおみくろんυうぷしろん είναι μεγαλύτερα ή ίσα μみゅーεいぷしろん τたうοおみくろん a. Ηいーた f δでるたεいぷしろんνにゅー έχει παράγωγο σしぐまτたうοおみくろん a. Αあるふぁνにゅー τたうοおみくろん h είναι αρνητικό, τότε τたうοおみくろん a + h είναι σしぐまτたうοおみくろん χαμηλό τμήμα τたうοおみくろんυうぷしろん σταδίου, κかっぱιいおた έτσι ηいーた τέμνουσα γραμμή από τたうοおみくろん a σしぐまτたうοおみくろん a + h είναι απότομη, κかっぱαあるふぁιいおた αあるふぁνにゅー τたうοおみくろん h τείνει σしぐまτたうοおみくろん μηδέν ηいーた κλίση τείνει σしぐまτたうοおみくろん άπειρο. Αあるふぁνにゅー τたうοおみくろん h είναι θετικό, τότε τたうοおみくろん a + h είναι σしぐまτたうοおみくろん υψηλό τμήμα τたうοおみくろんυうぷしろん σταδίου, κかっぱιいおた έτσι ηいーた τέμνουσα γραμμή από τたうοおみくろん a σしぐまτたうοおみくろん a + h έχει μηδενική κλίση.Κατά συνέπεια οおみくろんιいおた τέμνουσες ευθείες δでるたεいぷしろんνにゅー απευθύνονται σしぐまεいぷしろん οποιαδήποτε κλίση, καθώς τたうοおみくろん όριο της διηρημένης διαφοράς δでるたεいぷしろんνにゅー υπάρχει.[3]

Ωστόσο, ακόμη κかっぱαあるふぁιいおた αあるふぁνにゅー μみゅーιいおたαあるふぁ συνάρτηση είναι συνεχής σしぐまεいぷしろん ένα σημείο, μπορεί νにゅーαあるふぁ μみゅーηいーたνにゅー είναι παραγωγίσιμη σしぐまτたうοおみくろん σημείο αυτό. Γがんまιいおたαあるふぁ παράδειγμα ηいーた συνάρτηση της απολύτου τιμής συναρτήσει τたうοおみくろんυうぷしろん x είναι συνεχής σしぐまτたうοおみくろん x=0, αλλά δでるたεいぷしろんνにゅー είναι παραγωγίσιμη εκεί. Αあるふぁνにゅー τたうοおみくろん h είναι θετικό, ηいーた κλίση της τέμνουσας γραμμής από τたうοおみくろん 0 σしぐまτたうοおみくろん h είναι ένα, ενώ αあるふぁνにゅー τたうοおみくろん h είναι αρνητικό, τότε ηいーた κλίση της τέμνουσας γραμμής από τたうοおみくろん 0 σしぐまτたうοおみくろん h είναι μείον ένα. Αυτό γραφικά δείχνει μみゅーιいおたαあるふぁ απότομη στροφή σしぐまτたうοおみくろん σημείο x=0. Ακόμα μみゅーιいおたαあるふぁ συνάρτηση μみゅーεいぷしろん ομαλή γραφική παράσταση δでるたεいぷしろんνにゅー είναι παραγωγίσιμη σしぐまεいぷしろん σημείο όπου ηいーた εφαπτομένη είναι κατακόρυφη: Γがんまιいおたαあるふぁ παράδειγμα, ηいーた συνάρτηση  y = x1/3 δでるたεいぷしろんνにゅー είναι παραγωγίσιμη σしぐまτたうοおみくろん x=0.

Συνοπτικά: προκειμένου μみゅーιいおたαあるふぁ συνάρτηση f νにゅーαあるふぁ έχει παράγωγο είναι αναγκαίο γがんまιいおたαあるふぁ τたうηいーたνにゅー συνάρτηση f νにゅーαあるふぁ είναι συνεχής, αλλά ηいーた συνέχεια από μόνη της δでるたεいぷしろんνにゅー είναι επαρκής.

Οおみくろんιいおた περισσότερες συναρτήσεις πぱいοおみくろんυうぷしろん εμφανίζονται σしぐまτたうηいーたνにゅー πράξη έχουν παράγωγο σしぐまεいぷしろん όλα τたうαあるふぁ σημεία ή σχεδόν σしぐまεいぷしろん όλα τたうαあるふぁ σημεία. Σしぐまτたうηいーたνにゅー ιστορία τたうοおみくろんυうぷしろん λογισμού, πολλοί μαθηματικοί υπέθεταν ότι οおみくろんιいおた συνεχείς συναρτήσεις ήταν παραγωγίσιμες σしぐまτたうαあるふぁ περισσότερα σημεία. Κάτω από συνθήκες, γがんまιいおたαあるふぁ παράδειγμα αあるふぁνにゅー ηいーた συνάρτηση είναι μονότονη ή συνάρτηση Lipschitz, αυτό αληθεύει. Ωστόσο, τたうοおみくろん 1872 οおみくろん Weierstrass βρήκε τたうοおみくろん πρώτο παράδειγμα συνάρτησης ηいーた οποία είναι συνεχής οπουδήποτε αλλά πουθενά παραγωγίσιμη. Αυτό τたうοおみくろん παράδειγμα είναι τώρα γνωστό ως συνάρτηση Weierstrass. Τたうοおみくろん 1931, οおみくろん Stefan Banach απέδειξε ότι τたうοおみくろん σύνολο τたうωおめがνにゅー συναρτήσεων πぱいοおみくろんυうぷしろん έχουν παράγωγο σしぐまεいぷしろん κάποιο σημείο είναι ένα σύνολο πρώτης κατηγορίας στον χώρο τたうωおめがνにゅー συνεχών συναρτήσεων.[4] Αυτό σημαίνει ότι σχεδόν καμία συνεχής συνάρτηση έχει παράγωγο σしぐまεいぷしろん κάθε σημείο.

Ηいーた συνάρτησης της απολύτου τιμής είναι συνεχής παντού, αλλά όχι παραγωγίσιμη σしぐまτたうοおみくろん x = 0, οおみくろんιいおた εφαπτόμενες δでるたεいぷしろん δίνουν τたうηいーたνにゅー ίδια τιμή αριστερά κかっぱαあるふぁιいおた δεξιά.

Ηいーた παράγωγος ως συνάρτηση

[Επεξεργασία | επεξεργασία κώδικα]

Έστω f μみゅーιいおたαあるふぁ συνάρτηση πぱいοおみくろんυうぷしろん έχει παράγωγο σしぐまεいぷしろん κάθε σημείο τたうοおみくろんυうぷしろん πεδίου ορισμού της. Επειδή κάθε σημείο a έχει μみゅーιいおたαあるふぁ παράγωγο, υπάρχει μみゅーιいおたαあるふぁ συνάρτηση πぱいοおみくろんυうぷしろん αντιστοιχεί τたうοおみくろん σημείο a μみゅーεいぷしろん τたうηいーたνにゅー παράγωγο της f σしぐまτたうοおみくろん a. Αυτή ηいーた συνάρτηση συμβολίζεται f'(x) κかっぱαあるふぁιいおた ονομάζεται παράγωγος συνάρτηση ή παράγωγος της f. Ηいーた παράγωγος της f "μαζεύει" όλες τις παραγώγους της f σしぐまεいぷしろん κάθε σημείο τたうοおみくろんυうぷしろん πεδίου ορισμού της f.

Μερικές φορές, ηいーた f έχει παράγωγο σしぐまτたうαあるふぁ περισσότερα αλλά όχι σしぐまεいぷしろん όλα τたうαあるふぁ σημεία τたうοおみくろんυうぷしろん πεδίου ορισμού της. Ηいーた παράγωγος της οποίας ηいーた τιμή σしぐまτたうοおみくろん a είναι ίση μみゅーεいぷしろん f'(a) όταν τたうοおみくろん f'(a) ορίζεται κかっぱαあるふぁιいおた οπουδήποτε αλλού δでるたεいぷしろんνにゅー ορίζεται, καλείται επίσης παράγωγος της f. Συνεχίζει νにゅーαあるふぁ είναι συνάρτηση, αλλά τたうοおみくろん πεδίο ορισμού της είναι γνήσια μικρότερο από τたうοおみくろん πεδίο ορισμού της f.

Χρησιμοποιώντας αυτή τたうηいーたνにゅー ιδέα, ηいーた παραγώγιση μετατρέπεται σしぐまεいぷしろん μみゅーιいおたαあるふぁ συνάρτηση συναρτήσεων. Ηいーた παράγωγος είναι ένας τελεστής τたうοおみくろんυうぷしろん οποίου τたうοおみくろん πεδίο ορισμού είναι τたうοおみくろん σύνολο όλων τたうωおめがνにゅー συναρτήσεων πぱいοおみくろんυうぷしろん έχουν παράγωγο σしぐまεいぷしろん κάθε σημείο τたうοおみくろんυうぷしろん πεδίου ορισμού τους κかっぱαあるふぁιいおた τたうοおみくろん πεδίο τιμών τたうοおみくろんυうぷしろん είναι ένα σύνολο συναρτήσεων. Αあるふぁνにゅー συμβολίσουμε αυτόν τたうοおみくろんνにゅー τελεστή D , τότε τたうοおみくろん D(f) είναι ηいーた συνάρτηση f′(x). Από τたうηいーたνにゅー στιγμή πぱいοおみくろんυうぷしろん τたうοおみくろん D(f) αποτελεί συνάρτηση, μπορεί νにゅーαあるふぁ πάρει τιμή σしぐまτたうοおみくろん σημείο a. Από τたうοおみくろんνにゅー ορισμό της παραγώγου ως συνάρτηση: D(f)(a) = f′(a).

Γがんまιいおたαあるふぁ σύγκριση, θεωρήστε τたうηいーたνにゅー συνάρτηση f(x) = 2x. Ηいーた f είναι μみゅーιいおたαあるふぁ πραγματική συνάρτηση πραγματικής μεταβλητής, πぱいοおみくろんυうぷしろん σημαίνει ότι δέχεται σしぐまαあるふぁνにゅー είσοδο πραγματικούς αριθμούς κかっぱαあるふぁιいおた βγάζει σしぐまαあるふぁνにゅー έξοδο πραγματικούς αριθμούς.

Οおみくろん τελεστής D, όμως, δでるたεいぷしろんνにゅー ορίζεται γがんまιいおたαあるふぁ συγκεκριμένους αριθμούς, αλλά μόνο γがんまιいおたαあるふぁ συναρτήσεις:

Επειδή ηいーた έξοδος τたうοおみくろんυうぷしろん D είναι συνάρτηση, αυτή μπορεί νにゅーαあるふぁ πάρει τιμή σしぐまεいぷしろん κάποιο σημείο. Γがんまιいおたαあるふぁ παράδειγμα, όταν τたうοおみくろん D εφαρμόζεται σしぐまτたうηいーたνにゅー τετραγωνική συνάρτηση,

τότε βγάζει γがんまιいおたαあるふぁ έξοδο τたうηいーたνにゅー συνάρτηση

τたうηいーたνにゅー οποία ονομάζουμε f(x). Αυτή ηいーた συνάρτηση της εξόδου, μπορεί νにゅーαあるふぁ πάρει τιμές f(1)=2 , f(2)=4 κかっぱ.οおみくろん.κかっぱ.

Παράγωγοι μεγαλύτερης τάξης

[Επεξεργασία | επεξεργασία κώδικα]

Έστω f παραγωγίσιμη συνάρτηση κかっぱαあるふぁιいおた f′(x) ηいーた παράγωγός της. Ηいーた παράγωγος της f′(x) (αあるふぁνにゅー υπάρχει) γράφεται f′′(x) κかっぱαあるふぁιいおた ονομάζεται Δίτονο της f. Όμοια, ηいーた παράγωγος της δεύτερης παραγώγου, αあるふぁνにゅー υπάρχει, γράφεται f′′′(x) κかっぱαあるふぁιいおた καλείται τρίτη παράγωγος της f. Συνεχίζοντας αυτή τたうηいーた διαδικασία, μπορεί κανείς νにゅーαあるふぁ ορίσει τたうηいーた νにゅー-οστή παράγωγο αあるふぁνにゅー υπάρχει ηいーた (νにゅー-1)-οστή παράγωγος.Αυτές οおみくろんιいおた επαναλαμβανόμενες παράγωγοι ονομάζονται παράγωγοι μεγαλύτερης τάξης. Ηいーた νにゅー-οστή παράγωγος καλείται παράγωγος τάξης νにゅー.

Αあるふぁνにゅー x(t) παριστά τたうηいーた θέση ενός αντικειμένου κατά τたうοおみくろん χρόνο t, τότε οおみくろんιいおた παράγωγοι μεγαλύτερης τάξης τたうοおみくろんυうぷしろん x έχουν φυσικές ερμηνείες. Ηいーた δεύτερη παράγωγος τたうοおみくろんυうぷしろん x είναι ηいーた παράγωγος τたうοおみくろんυうぷしろん x'(t), ηいーた ταχύτητα, κかっぱαあるふぁιいおた (ηいーた δεύτερη παράγωγος) είναι ηいーた επιτάχυνση τたうοおみくろんυうぷしろん αντικειμένου. Ηいーた τρίτη παράγωγος τたうοおみくろんυうぷしろん x ορίζεται νにゅーαあるふぁ είναι τたうοおみくろん τράνταγμα, κかっぱαあるふぁιいおた ηいーた τέταρτη παράγωγος ορίζεται νにゅーαあるふぁ είναι τたうοおみくろん τίναγμα.

Μみゅーιいおたαあるふぁ συνάρτηση f δでるたεいぷしろんνにゅー έχει παράγωγο,γがんまιいおたαあるふぁ παράδειγμα, αあるふぁνにゅー δでるたεいぷしろんνにゅー είναι συνεχής. Κατά τたうοおみくろんνにゅー ίδιο τρόπο, ακόμα κかっぱιいおた αあるふぁνにゅー ηいーた f έχει παράγωγο, μπορεί νにゅーαあるふぁ μみゅーηいーたνにゅー έχει δεύτερη παράγωγο. Γがんまιいおたαあるふぁ παράδειγμα, έστω

.

Μみゅーεいぷしろん βασικούς υπολογισμούς, διαπιστώνεται ότι ηいーた f είναι παραγωγίσιμη (ή διαφορίσιμη), της οποίας ηいーた παράγωγος είναι

.

Ηいーた f'(x) είναι τたうοおみくろん διπλάσιο της απόλυτης τιμής τたうοおみくろんυうぷしろん x, κかっぱαあるふぁιいおた δでるたεいぷしろんνにゅー έχει παράγωγο σしぐまτたうοおみくろん 0. Παρόμοια παραδείγματα δείχνουν ότι μみゅーιいおたαあるふぁ συνάρτηση μπορεί νにゅーαあるふぁ έχει κかっぱ παραγώγους (όπου κかっぱ ένας μみゅーηいーた αρνητικός ακέραιος αριθμός), αλλά όχι κかっぱ+1 τάξης παράγωγο. Μみゅーιいおたαあるふぁ συνάρτηση πぱいοおみくろんυうぷしろん έχει κかっぱ παραγώγους, καλείται κかっぱ φορές διαφορίσιμη. Επιπλέον, αあるふぁνにゅー ηいーた κかっぱ-οστή παράγωγος της f είναι συνεχής, τότε ηいーた f είναι διαφορικής κλάσης Cκかっぱ. (Αυτή είναι μみゅーιいおたαあるふぁ δυνατότερη συνθήκη από τたうαあるふぁ νにゅーαあるふぁ έχει κかっぱ παραγώγους. Γがんまιいおたαあるふぁ παραδείγματα, δείτε τάξη διαφορισιμότητας). Μみゅーιいおたαあるふぁ συνάρτηση πぱいοおみくろんυうぷしろん έχει άπειρα πολλές παραγώγους, λέγεται απείρως παραγωγίσιμη/διαφορίσιμη ή ομαλή.

Σしぐまτたうηいーたνにゅー γραμμή τたうωおめがνにゅー πραγματικών αριθμών, κάθε πολυωνυμική συνάρτηση είναι απείρως παραγωγίσιμη. Από τους κανόνες της παραγώγισης, προκύπτει ότι αあるふぁνにゅー ένα πολυώνυμο βαθμού n παραγωγιστεί n φορές, τότε καταλήγει σしぐまεいぷしろん σταθερή συνάρτηση. Όλες οおみくろんιいおた υπόλοιπες υπακόλουθες παράγωγοι είναι μηδενικές, δηλαδή υπάρχουν. Έτσι, τたうαあるふぁ πολυώνυμα είναι ομαλές συναρτήσεις.

Οおみくろんιいおた παράγωγοι μιας συνάρτησης f σしぐま'ένα σημείο x παρέχουν πολυωνυμικές προσεγγίσεις της συνάρτησης αυτής κοντά σしぐまτたうοおみくろん x. Γがんまιいおたαあるふぁ παράδειγμα, αあるふぁνにゅー ηいーた f είναι δύο φορές παραγωγίσιμη, τότε

μみゅーεいぷしろん τたうοおみくろん σκεπτικό ότι

Αあるふぁνにゅー ηいーた f είναι απείρως παραγωγίσιμη, τότε αυτή είναι ηいーた αρχή της σειράς Taylor γがんまιいおたαあるふぁ τたうηいーたνにゅー f.

Κύριο άρθρο: σημείο καμπής

Ένα σημείο σしぐまτたうοおみくろん οποίο ηいーた δεύτερη παράγωγος έχει διαφορετικό πρόσημο ονομάζεται σημείο καμπής.[5] Σしぐまεいぷしろん ένα σημείο καμπής, ηいーた δεύτερη παράγωγος μπορεί νにゅーαあるふぁ είναι μηδενική, όπως σしぐまτたうηいーたνにゅー περίπτωση τたうοおみくろんυうぷしろん σημείου καμπής x=0 της συνάρτησης y=x3, ή μπορεί νにゅーαあるふぁ αποτύχει νにゅーαあるふぁ υπάρχει, όπως σしぐまτたうηいーたνにゅー περίπτωση τたうοおみくろんυうぷしろん σημείου καμπής x=0 της συνάρτησης y=x1/3 . Σしぐまεいぷしろん ένα σημείο καμπής, ηいーた συνάρτηση αλλάζει κυρτότητα από κοίλη σしぐまεいぷしろん κυρτή ή αντίστροφα.

Σημειογραφία κかっぱαあるふぁιいおた συμβολισμός τたうοおみくろんυうぷしろん διαφορικού λογισμού

[Επεξεργασία | επεξεργασία κώδικα]

Κύριο άρθρο : Σημειογραφία κかっぱαあるふぁιいおた συμβολισμός τたうοおみくろんυうぷしろん διαφορικού λογισμού

Σημειογραφία τたうοおみくろんυうぷしろん Leibniz

[Επεξεργασία | επεξεργασία κώδικα]

Κύριο άρθρο : Σημειογραφία τたうοおみくろんυうぷしろん Leibniz

Ηいーた σημειογραφία γがんまιいおたαあるふぁ τις παραγώγους πぱいοおみくろんυうぷしろん παρουσιάστηκε από τたうοおみくろんνにゅー Gottfried Leibniz είναι μία από τις πρώτες. Χρησιμοποιείται ακόμα ευρέως όταν ηいーた εξίσωση y=f(x) εκλαμβάνεται ως μみゅーιいおたαあるふぁ συναρτησιακή σχέση μεταξύ εξαρτημένων κかっぱαあるふぁιいおた ανεξάρτητων μεταβλητών. Τότε, ηいーた πρώτη παράγωγος συμβολίζεται μみゅーεいぷしろん

Παράγωγοι μεγαλύτερης τάξης εκφράζονται:

γがんまιいおたαあるふぁ τたうηいーたνにゅー n-οστή παράγωγο της y=f(x).

Μみゅーεいぷしろん τたうηいーたνにゅー σημειογραφία τたうοおみくろんυうぷしろん Leibniz μπορούμε νにゅーαあるふぁ εκφράσουμε τたうηいーたνにゅー παράγωγο της f σしぐまτたうοおみくろん x=αあるふぁ μみゅーεいぷしろん δύο διαφορετικούς τρόπους:

Σしぐまτたうοおみくろんνにゅー συμβολισμό τたうοおみくろんυうぷしろん Leibniz γίνεται σαφές ως προς πぱいιいおたαあるふぁ μεταβλητή γίνεται ηいーた παραγώγιση (σしぐまτたうοおみくろんνにゅー παρονομαστή). Αυτό σχετίζεται ιδιαίτερα μみゅーεいぷしろん τたうηいーたνにゅー μερική διαφόριση. Επίσης, μみゅーεいぷしろん αυτήν τたうηいーたνにゅー σημειογραφία γίνεται ευκολομνημόνευτος οおみくろん κανόνας της αλυσίδας:[6]

.

Σημειογραφία τたうοおみくろんυうぷしろん Lagrange

[Επεξεργασία | επεξεργασία κώδικα]

Ένας από τους πぱいιいおたοおみくろん κοινούς σύγχρονους συμβολισμούς γがんまιいおたαあるふぁ τたうηいーたνにゅー διαφόριση,κかっぱαあるふぁιいおた μερικές φορές καλείται ως τονική διαφόριση[7], οφείλεται σしぐまτたうοおみくろんνにゅー Ζοζέφ Λουί Λαγκράνζ κかっぱαあるふぁιいおた χρησιμοποιεί τたうοおみくろんνにゅー τόνο έτσι, ώστε ηいーた παράγωγος μみゅーιいおたαあるふぁ συνάρτησης f(x) συμβολίζεται μみゅーεいぷしろん f'(x) ή απλούστερα f'. Όμοια, ηいーた δεύτερη κかっぱαあるふぁιいおた ηいーた τρίτη παράγωγος συμβολίζονται

κかっぱαあるふぁιいおた

Εκτός από τたうοおみくろんνにゅー τόνο, μερικοί χρησιμοποιούν τους ρωμαϊκούς αριθμούς, όπως

καθώς άλλοι τοποθετούν τたうοおみくろんνにゅー αριθμό της τάξης της παραγώγου σしぐまεいぷしろん παρένθεση, όπως γがんまιいおたαあるふぁ παράδειγμα γがんまιいおたαあるふぁ τたうηいーたνにゅー τέταρτη παράγωγο

Οおみくろん τελευταίος συμβολισμός γενικεύεται δίνοντας τたうοおみくろん σύμβολο f(n) γがんまιいおたαあるふぁ τたうηいーたνにゅー n-οστή παράγωγο της f. Αυτή ηいーた σημειογραφία είναι πぱいιいおたοおみくろん χρήσιμη όταν αναφερόμαστε σしぐまτたうηいーたνにゅー παράγωγο όντας μみゅーιいおたαあるふぁ συνάρτηση από μόνη της, κάτι γがんまιいおたαあるふぁ τたうοおみくろん οποίο ηいーた σημειογραφία τたうοおみくろんυうぷしろん Leibniz γίνεται περίπλοκη.

Σημειογραφία τたうοおみくろんυうぷしろん Νεύτωνα

[Επεξεργασία | επεξεργασία κώδικα]

Κατά τたうοおみくろんνにゅー συμβολισμό τたうοおみくろんυうぷしろん Νεύτωνα γがんまιいおたαあるふぁ τたうηいーたνにゅー παραγώγιση, τοποθετείται μみゅーιいおたαあるふぁ τελίτσα πάνω από τたうηいーたνにゅー συνάρτηση πぱいοおみくろんυうぷしろん παριστάνει τたうηいーたνにゅー παράγωγο. Αあるふぁνにゅー y=f(t), τότε τたうαあるふぁ

  and  

παριστάνουν, αντίστοιχα, τたうηいーたνにゅー πρώτη κかっぱαあるふぁιいおた τたうηいーたνにゅー δεύτερη παράγωγο της y σしぐまεいぷしろん σχέση μみゅーεいぷしろん τたうηいーたνにゅー μεταβλητή t. Αυτός οおみくろん συμβολισμός χρησιμοποιείται σχεδόν αποκλειστικά γがんまιいおたαあるふぁ χρονικές παραγώγους, μみゅーεいぷしろん τたうηいーたνにゅー έννοια ότι ηいーた ανεξάρτητη μεταβλητή της συνάρτησης εκφράζει τたうοおみくろんνにゅー χρόνο. Είναι κάτι κοινό σしぐまτたうηいーたνにゅー Φυσική κかっぱαあるふぁιいおた σしぐまεいぷしろん τομείς τたうωおめがνにゅー Μαθηματικών πぱいοおみくろんυうぷしろん συνδέονται μみゅーεいぷしろん τたうηいーたνにゅー Φυσική, όπως οおみくろんιいおた διαφορικές εξισώσεις. Καθώς οおみくろん συμβολισμός αυτός γίνεται πολύ δύσχρηστος γがんまιいおたαあるふぁ μεγάλες τάξεις παραγώγων, πρακτικά χρειάζονται αρκετά μικρές παράγωγοι.

Διαφορικό κかっぱαあるふぁιいおた Παράγωγος σしぐまτたうοおみくろん χρόνο

[Επεξεργασία | επεξεργασία κώδικα]

Οおみくろん Newton προσπάθησε νにゅーαあるふぁ εξηγήσει τたうοおみくろん λογισμό μみゅーεいぷしろん βάση τたうηいーたνにゅー έννοια τたうοおみくろんυうぷしろん διαφορικού κかっぱαあるふぁιいおた της παραγώγου ως προς τたうοおみくろんνにゅー χρόνο,πぱいοおみくろんυうぷしろん ακολουθούσαν τις δικές τたうοおみくろんυうぷしろん μαθηματικές εφευρέσεις.Είπε ότι οおみくろん ρυθμός παραγωγής είναι ηいーた παράγωγος ως προς τたうοおみくろんνにゅー χρόνο ενός στοιχείου,ηいーた οποία συμβολίζεται από μみゅーιいおたαあるふぁ μεταβλητή μみゅーεいぷしろん μみゅーιいおたαあるふぁ τελεία από πάνω.Όμοια οおみくろん ρυθμός της δεύτερης παραγώγου ως προς τたうοおみくろんνにゅー χρόνο συμβολίζεται μみゅーεいぷしろん δύο τελείες από πάνω. Αυτοί οおみくろんιいおた παράγωγοι τείνουν πολύ κοντά σしぐまτたうοおみくろん μηδέν αあるふぁλらむだλらむだαあるふぁ δでるたεいぷしろんνにゅー είναι μηδέν. Αλλά όταν πολλαπλασσιάζουμε δύο παραγώγους της ίδιας τάξης,τたうοおみくろん αποτέλεσμα αυτό είναι πολύ κοντά σしぐまτたうοおみくろん μηδέν κかっぱαあるふぁιいおた τたうοおみくろん θεωρούμε ως μηδέν.Έτσι οおみくろん Newton πήρε τις παραγώγους κかっぱαあるふぁιいおた αντικατέστησε τις μεταβλητές τたうοおみくろんυうぷしろん x μみゅーεいぷしろん κかっぱαあるふぁιいおた όλες τις μεταβλητές τたうοおみくろんυうぷしろん y μみゅーεいぷしろん κかっぱαあるふぁιいおた μετά χρησιμοποίησε τους κανόνες της παραγώγισης γがんまιいおたαあるふぁ νにゅーαあるふぁ πάρει τたうηいーたνにゅー παράγωγο κかっぱαあるふぁιいおた νにゅーαあるふぁ βべーたρろーεいぷしろんιいおた ένα αποτέλεσμα γがんまιいおたαあるふぁ τたうοおみくろん [8]. Γがんまιいおたαあるふぁ παράδειγμα ,

χρησιμοποιώντας τたうοおみくろん γεγονός ότι μπορούμε νにゅーαあるふぁ δούμε κかっぱαあるふぁιいおた έτσι .

Οおみくろん Νεύτων περιέγραψε μαθηματικές ποσότητες σしぐまαあるふぁνにゅー νにゅーαあるふぁ είναι σしぐまεいぷしろん συνεχή κίνηση. Αυτή ηいーた κίνηση,είπε,μπορεί νにゅーαあるふぁ θεωρηθεί ισάξια ενός σημείου πぱいοおみくろんυうぷしろん διατρέχει μみゅーιいおたαあるふぁ καμπύλη. Προσδιόρισε αυτή τたうηいーたνにゅー ποσότητα κかっぱαあるふぁιいおた τたうηいーたνにゅー ονόμασε ''διαφορικό''. Αυτή ηいーた ιδέα γがんまιいおたαあるふぁ τたうοおみくろん όνομα τたうοおみくろんυうぷしろん γεννήθηκε από τたうοおみくろんνにゅー ρυθμό μみゅーεいぷしろん τたうοおみくろんνにゅー οποίο αυτές οおみくろんιいおた ποσότητες αλλάζουν. Οおみくろん Newton τたうοおみくろん ονόμασε σしぐまτたうηいーた τελική '' Διαφορικά κかっぱαあるふぁιいおた παράγωγοι ως προς τたうοおみくろんνにゅー χρόνο'' κかっぱαあるふぁιいおた τたうοおみくろん παρουσίασε. Έτσι, αあるふぁνにゅー ένα διαφορικό παριστάνεται από τたうοおみくろん x, τたうοおみくろん ονομάζει παράγωγο τたうοおみくろんυうぷしろん χかい κかっぱαあるふぁιいおた όμοια τたうηいーたνにゅー δεύτερη παράγωγο κかっぱαあるふぁιいおた συνεχίζει κかっぱαあるふぁιいおた τους υπόλοιπους συμβολισμούς. Αυτό μπορεί νにゅーαあるふぁ συσχετιστεί μみゅーεいぷしろん τたうοおみくろんνにゅー νεότερο συμβολισμό της παραγώγου. Σしぐまτたうηいーたνにゅー σημερινή εποχή, ηいーた παράγωγος της μεταβλητής x έχει σχέση μみゅーεいぷしろん μみゅーιいおたαあるふぁ ανεξάρτητη μεταβλητή τたうοおみくろんυうぷしろん χρόνου,τたうηいーたνにゅー t ηいーた οποία συμβολίζει τたうοおみくろん διάνυσμα της ταχύτητας κかっぱαあるふぁιいおた συμβολίζεται μみゅーεいぷしろん dx/dt. Μみゅーεいぷしろん άλλα λόγια ηいーた παράγωγος της f(x) ως προς τたうοおみくろんνにゅー χρόνο t είναι dx/dt.

Ηいーた στιγμή τたうοおみくろんυうぷしろん διαφορικού

[Επεξεργασία | επεξεργασία κώδικα]

Οおみくろん Νεύτων καλεί οおみくろん τたうηいーた στιγμή ενός διαφορικού. Ηいーた στιγμή ενός διαφορικού παριστάνει τたうοおみくろん απείρως μικρό κομμάτι σしぐまτたうοおみくろん οποίο ένα στοιχείο αυξάνεται σしぐまεいぷしろん ένα μικρό χρονικό διάστημα. Κάποτε επέτρεψε σしぐまτたうοおみくろんνにゅー εαυτό τたうοおみくろんυうぷしろん νにゅーαあるふぁ κάνει μみゅーιいおたαあるふぁ διάρεση μέσω τたうοおみくろんυうぷしろん οおみくろん ( παρόλα αυτά τたうοおみくろん οおみくろん δでるたεいぷしろんνにゅー μπορεί νにゅーαあるふぁ θεωρηθεί ως μηδέν διότι αυτό θしーたαあるふぁ καθιστούσε τたうηいーたνにゅー διαίρεση αδύνατη). Οおみくろん Newton αποφάσισε ότι είναι δικαιολογημένο νにゅーαあるふぁ απαλείψει όλους τους όρους πぱいοおみくろんυうぷしろん περιέχουν τたうοおみくろん o.

Σημειογραφία τたうοおみくろんυうぷしろん Euler

[Επεξεργασία | επεξεργασία κώδικα]

Σしぐまτたうηいーたνにゅー σημειογραφία τたうοおみくろんυうぷしろん Όιλερ χρησιμοποιείται ένας διαφορικός τελεστής D, οおみくろん οποίος εφαρμόζεται σしぐまεいぷしろん μみゅーιいおたαあるふぁ συνάρτηση f δίνοντας τたうηいーたνにゅー πρώτη παράγωγο Df. Ηいーた δεύτερη παράγωγος συμβολίζεται μみゅーεいぷしろん D2f κかっぱαあるふぁιいおた ηいーた n-οστή παράγωγος μみゅーεいぷしろん Dnf.

Αあるふぁνにゅー y=f(x) είναι μみゅーιいおたαあるふぁ εξαρτημένη μεταβλητή, τότε οおみくろん δείκτης x γράφεται μαζί μみゅーεいぷしろん τたうοおみくろん D διευκρινίζοντας τたうηいーたνにゅー ανεξάρτητη μεταβλητή x. Έτσι, οおみくろん συμβολισμός τたうοおみくろんυうぷしろん Euler είναι

  ή   ,

αあるふぁνにゅー κかっぱαあるふぁιいおた αυτός οおみくろん δείκτης συχνά παραλείπεται όταν εννοείται, γがんまιいおたαあるふぁ παράδειγμα όταν αυτή είναι ηいーた μόνη μεταβλητή πぱいοおみくろんυうぷしろん υπάρχει σしぐまεいぷしろん μみゅーιいおたαあるふぁ έκφραση.

Ηいーた σημειογραφία τたうοおみくろんυうぷしろん Όιλερ είναι χρήσιμη σしぐまτたうηいーたνにゅー δήλωση κかっぱαあるふぁιいおた επίλυση γραμμικών διαφορικών εξισώσεων.

Υπολογίζοντας τたうηいーたνにゅー παράγωγο

[Επεξεργασία | επεξεργασία κώδικα]

Ηいーた παράγωγος μιας συνάρτησης μπορεί, κατά κανόνα, νにゅーαあるふぁ υπολογιστεί μέσω τたうοおみくろんυうぷしろん ορισμού θεωρώντας τις διηρημένες διαφορές κかっぱαあるふぁιいおた υπολογίζοντας τたうαあるふぁ όριά τους. Πρακτικά, από τたうηいーたνにゅー στιγμή πぱいοおみくろんυうぷしろん οおみくろんιいおた παράγωγοι απλών συναρτήσεων είναι γνωστές, οおみくろんιいおた παράγωγοι άλλων συναρτήσεων είναι πぱいιいおたοおみくろん εύκολα υπολογίσιμοι χρησιμοποιώντας κανόνες γがんまιいおたαあるふぁ τたうηいーたνにゅー εύρεση της παραγώγου σύνθετων συναρτήσεων μέσω απλούστερων.

Παράγωγοι στοιχειωδών συναρτήσεων

[Επεξεργασία | επεξεργασία κώδικα]

Κύριο άρθρο : Πίνακας τたうωおめがνにゅー παραγώγων

Τις περισσότερες φορές, οおみくろん υπολογισμός μιας παραγώγου απαιτεί τたうηいーたνにゅー παραγώγιση μερικών κοινών συναρτήσεων. Ηいーた παρακάτω μみゅーηいーた ολοκληρωμένη λίστα δίνει κάποιες από τις συχνότερα χρησιμοποιούμενες συναρτήσεις κかっぱαあるふぁιいおた τις παραγώγους τους.

,

όπου αあるふぁ σταθερός πραγματικός αριθμός, τότε

σしぐまεいぷしろん κάθε σημείο όπου ορίζεται ηいーた συνάρτηση. Γがんまιいおたαあるふぁ παράδειγμα, αあるふぁνにゅー αあるふぁ=1/2, τότε

,

κかっぱαあるふぁιいおた ηいーた συνάρτηση ορίζεται μόνο γがんまιいおたαあるふぁ μみゅーηいーた αρνητικά x. Όταν x=0, αυτός οおみくろん κανόνας περικλείει τたうοおみくろんνにゅー κανόνα παραγώγισης σταθερής συνάρτησης.

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

[Επεξεργασία | επεξεργασία κώδικα]

Κύριο άρθρο : Κανόνες Παραγώγισης

Σしぐまεいぷしろん πολλές περιπτώσεις, περίπλοκοι υπολογισμοί ορίων μみゅーεいぷしろん τたうηいーたνにゅー άμεση εφαρμογή τたうωおめがνにゅー διηρημένων διαφορών τたうοおみくろんυうぷしろん Νεύτωνα μπορούν νにゅーαあるふぁ αποφευχθούν μみゅーεいぷしろん τους κανόνες παραγώγισης. Κάποιοι από τους βασικότερους είναι οおみくろんιいおた ακόλουθοι.

  • Κανόνας σταθερής συνάρτησης: αあるふぁνにゅー ηいーた f(x) = αあるふぁ είναι σταθερή συνάρτηση κかっぱαあるふぁιいおた αあるふぁ είναι ένας πραγματικός αριθμός, τότε
.
  • Κανόνας αθροίσματος:
, γがんまιいおたαあるふぁ κάθε συνάρτηση f κかっぱαあるふぁιいおた g κかっぱαあるふぁιいおた γがんまιいおたαあるふぁ κάθε πραγματικό αριθμό αあるふぁ κかっぱαあるふぁιいおた βべーた.

Τたうοおみくろん ίδιο ισχύει κかっぱαあるふぁιいおた γがんまιいおたαあるふぁ περισσότερες από δύο συναρτήσεις.

  • Κανόνας γινομένου:
, γがんまιいおたαあるふぁ κάθε συνάρτηση f κかっぱαあるふぁιいおた g.

Τたうοおみくろん ίδιο ισχύει κかっぱαあるふぁιいおた γがんまιいおたαあるふぁ περισσότερες από δύο συναρτήσεις.

  • Κανόνας πηλίκου:
, γがんまιいおたαあるふぁ κάθε συνάρτηση f κかっぱαあるふぁιいおた g, όπου .
  • Κανόνας αλυσίδας: εάν f(x) = h(g(x))
.

Παράδειγμα υπολογισμού

[Επεξεργασία | επεξεργασία κώδικα]

Ηいーた παράγωγος της

είναι

Εδώ, οおみくろん δεύτερος όρος υπολογίστηκε μみゅーεいぷしろん τたうοおみくろんνにゅー κανόνα της αλυσίδας κかっぱαあるふぁιいおた οおみくろん τρίτος μみゅーεいぷしろん τたうοおみくろんνにゅー κανόνα τたうοおみくろんυうぷしろん γινομένου. Χρησιμοποιήθηκαν επίσης οおみくろんιいおた γνωστές παράγωγοι τたうωおめがνにゅー στοιχειωδών συναρτήσεων x2, x4, sin(x), ln(x) and exp(x) = ex

Παράγωγος σしぐまεいぷしろん περισσότερες διαστάσεις

[Επεξεργασία | επεξεργασία κώδικα]

Δείτε επίσης:Διανυσματική συνάρτησηκかっぱαあるふぁιいおた Συναρτήσεις μみゅーεいぷしろん πολλές μεταβλητές

Παράγωγος διανυσματικής συνάρτησης

[Επεξεργασία | επεξεργασία κώδικα]

Ηいーた διανυσματική συνάρτηση y(t) μιας πραγματικής μεταβλητής στέλνει πραγματικούς αριθμούς σしぐまεいぷしろん διανύσματα σしぐまτたうοおみくろんνにゅー διανυσματικό χώρο . Μみゅーιいおたαあるふぁ διανυσματική συνάρτηση y(t)=(y1(t), y2(t), y3(t),...,yn(t)) μπορεί νにゅーαあるふぁ διασπαστεί στις συνιστώσες συναρτήσεις της y1(t),...,yn(t). Αυτό περιλαμβάνει, γがんまιいおたαあるふぁ παράδειγμα, παραμετρικές καμπύλες σしぐまτたうοおみくろん ή . Οおみくろんιいおた συνιστώσες συναρτήσεις είναι πραγματικές συναρτήσεις κかっぱαあるふぁιいおた έτσι οおみくろん παραπάνω ορισμός της παραγώγισης μπορεί νにゅーαあるふぁ εφαρμοστεί σしぐま'αυτές. Ηいーた παράγωγος της y(t) ορίζεται νにゅーαあるふぁ είναι ένα διάνυσμα,τたうοおみくろん οποίο λέγεται εφαπτομενικό διάνυσμα, τたうοおみくろんυうぷしろん οποίου οおみくろんιいおた συντεταγμένες είναι οおみくろんιいおた παράγωγοι τたうωおめがνにゅー συνιστωσών συναρτήσεων. Δηλαδή,

Ισοδύναμα,

αあるふぁνにゅー τたうοおみくろん όριο υπάρχει. Ηいーた διαφορά σしぐまτたうοおみくろんνにゅー αριθμητή είναι διαφορά διανυσμάτων, όχι βαθμωτών. Αあるふぁνにゅー ηいーた παράγωγος της y υπάρχει γがんまιいおたαあるふぁ κάθε τιμή τたうοおみくろんυうぷしろん t, τότε ηいーた y′ είναι μみゅーιいおたαあるふぁ άλλη διανυσματική συνάρτηση.

Αあるふぁνにゅー {e1, e2, e3,...,en} αποτελεί μみゅーιいおたαあるふぁ βάση τたうοおみくろんυうぷしろん , τότε ηいーた y(t) μπορεί επίσης νにゅーαあるふぁ γραφτεί y1(t)e1, y2(t)e2, y3(t)e3,...,yn(t)en. Αあるふぁνにゅー θεωρήσουμε ότι ηいーた παράγωγος μみゅーιいおたαあるふぁ διανυσματικής συνάρτησης διατηρεί τたうηいーたνにゅー γραμμικότητα, τότε ηいーた παράγωγος της y(t) είναι

γιατί κάθε ένα από τたうαあるふぁ διανύσματα της βάσης είναι σταθερές.

Αυτή ηいーた γενίκευση είναι χρήσιμη αあるふぁνにゅー, γがんまιいおたαあるふぁ παράδειγμα, ηいーた y(t) είναι τたうοおみくろん διάνυσμα θέσης ενός αντικειμένου σしぐまτたうηいーたνにゅー στιγμή t. Τότε ηいーた παράγωγος y′(t) εκφράζει τたうηいーたνにゅー ταχύτητα τたうοおみくろんυうぷしろん αντικειμένου τたうηいーたνにゅー στιγμή t.

Μερικές παράγωγοι

[Επεξεργασία | επεξεργασία κώδικα]

Κύριο άρθρο: Μερική παράγωγος

Υποθέστε ότι ηいーた f είναι μみゅーιいおたαあるふぁ συνάρτηση πぱいοおみくろんυうぷしろん εξαρτάται από παραπάνω από μία μεταβλητές. Γがんまιいおたαあるふぁ παράδειγμα,

Ηいーた f μπορεί νにゅーαあるふぁ αναθεωρηθεί ως μみゅーιいおたαあるふぁ οικογένεια συναρτήσεων μιας μεταβλητής μみゅーεいぷしろん δείκτες τις άλλες μεταβλητές:

Μみゅーεいぷしろん άλλα λόγια, κάθε τιμή τたうοおみくろんυうぷしろん x «επιλέγει» μみゅーιいおたαあるふぁ συνάρτηση, πぱいοおみくろんυうぷしろん συμβολίζεται fx κかっぱαあるふぁιいおた είναι συνάρτηση μίας πραγματικής μεταβλητής[9]. Έτσι,

Από τたうηいーたνにゅー στιγμή πぱいοおみくろんυうぷしろん έχει επιλεγεί μみゅーιいおたαあるふぁ τιμή γがんまιいおたαあるふぁ τたうοおみくろん x, έστω αあるふぁ, τότε ηいーた f(x,y) καθορίζει τたうηいーたνにゅー fαあるふぁ πぱいοおみくろんυうぷしろん «στέλνει» τたうοおみくろん y σしぐまτたうοおみくろん αあるふぁ2+αあるふぁy+y2.

Σしぐま'αυτήν τたうηいーたνにゅー παράσταση, τたうοおみくろん αあるふぁ είναι σταθερά, κかっぱαあるふぁιいおた όχι μεταβλητή, έτσι ηいーた fαあるふぁ είναι συνάρτηση μόνο μίας πραγματικής μεταβλητής. Συνεπώς, οおみくろん ορισμός της παραγώγου μιας συνάρτησης μιας μεταβλητής μπορεί νにゅーαあるふぁ εφαρμοστεί:

Ηいーた παραπάνω διαδικασία μπορεί νにゅーαあるふぁ γίνει γがんまιいおたαあるふぁ οποιαδήποτε τιμή τたうοおみくろんυうぷしろん αあるふぁ. Μαζεύοντας τις παραγώγους σしぐまεいぷしろん μία συνάρτηση τたうοおみくろん αποτέλεσμα θしーたαあるふぁ ήταν μみゅーιいおたαあるふぁ συνάρτηση πぱいοおみくろんυうぷしろん εκφράζει τたうηいーたνにゅー αλλαγή της f σしぐまτたうηいーたνにゅー κατεύθυνση τたうοおみくろんυうぷしろん y:

Αυτή είναι ηいーた μερική παράγωγος της f σしぐまεいぷしろん σχέση μみゅーεいぷしろん τたうοおみくろん y. Εδώ, τたうοおみくろん ∂ είναι τたうοおみくろん σύμβολο της μερικής παραγώγου.Γがんまιいおたαあるふぁ νにゅーαあるふぁ τたうοおみくろん ξεχωρίσουμε από τたうοおみくろん γράμμα d,τたうοおみくろん ∂ μερικές φορές προφέρεται "der","del" ή "μερική" αντί τたうοおみくろんυうぷしろん "dee".

Γενικά, ηいーた μερική παράγωγος μιας συνάρτησης f(x1, x2,...,xn) σしぐまτたうηいーたνにゅー κατεύθυνση τたうοおみくろんυうぷしろん xi σしぐまτたうοおみくろん σημείο (αあるふぁ1, αあるふぁ2,...,αあるふぁn) ορίζεται ως:

Σしぐまτたうηいーたνにゅー παραπάνω διηρημένη διαφορά, όλες οおみくろんιいおた μεταβλητές εκτός της xi διατηρούνται σταθερές. Αυτή ηいーた επιλογή σταθερών τιμών προσδιορίζει μみゅーιいおたαあるふぁ συνάρτηση μίας μεταβλητής

κかっぱαあるふぁιいおた εいぷしろんξくしー'ορισμού

Μみゅーεいぷしろん άλλα λόγια, οおみくろんιいおた διαφορετικές επιλογές της τιμής τたうοおみくろんυうぷしろん αあるふぁ, δίνουν μみゅーιいおたαあるふぁ οικογένεια συναρτήσεων μίας μεταβλητής, ακριβώς όπως σしぐまτたうοおみくろん παραπάνω παράδειγμα. Αυτή ηいーた έκφραση δείχνει επίσης ότι οおみくろん υπολογισμός της μερικής παραγώγου περιορίζεται σしぐまτたうοおみくろんνにゅー υπολογισμό της παραγώγου μιας συνάρτησης μίας μεταβλητής.

Ένα σημαντικό παράδειγμα συνάρτησης πολλών μεταβλητών είναι ηいーた περίπτωση της βαθμωτής συνάρτησης f(x1,...xn) σしぐまεいぷしろん ένα πεδίο ορισμού σしぐまτたうοおみくろんνにゅー Ευκλείδιο χώρο (πぱい.χかい. ή ). Σしぐま'αυτήν τたうηいーたνにゅー περίπτωση, ηいーた f έχει μみゅーιいおたαあるふぁ μερική παράγωγο ∂f/∂xj σしぐまεいぷしろん σχέση μみゅーεいぷしろん κάθε μεταβλητή xj. Σしぐまτたうοおみくろん σημείο αあるふぁ, αυτές οおみくろんιいおた μερικές παράγωγοι ορίζουν τたうοおみくろん διάνυσμα:

Αυτό τたうοおみくろん διάνυσμα ονομάζεται ανάδελτα της f σしぐまτたうοおみくろん αあるふぁ. Αあるふぁνにゅー ηいーた f είναι διαφορίσιμη σしぐまεいぷしろん κάθε σημείο σしぐまτたうοおみくろん πεδίο ορισμού της, τότε τたうοおみくろん ανάδελτα είναι μみゅーιいおたαあるふぁ διανυσματική συνάρτηση ∇f πぱいοおみくろんυうぷしろん αντιστοιχεί τたうοおみくろん σημείο αあるふぁ σしぐまτたうοおみくろん διάνυσμα ∇f(αあるふぁ). Κατά συνέπεια, τたうοおみくろん ανάδελτα προσδιορίζει ένα διανυσματικό πεδίο.

Διανυσματική παράγωγος

[Επεξεργασία | επεξεργασία κώδικα]

Κύριο άρθρο:Διανυσματική παράγωγος

Αあるふぁνにゅー ηいーた f είναι μみゅーιいおたαあるふぁ πραγματική συνάρτηση σしぐまτたうοおみくろん , τότε ηいーた μερική παράγωγος της f εκφράζει ένα μέτρο αλλαγής της σしぐまτたうοおみくろんνにゅー άξονα της συνισταμένης. Γがんまιいおたαあるふぁ παράδειγμα, αあるふぁνにゅー ηいーた f είναι μみゅーιいおたαあるふぁ συνάρτηση τたうοおみくろんυうぷしろん x κかっぱαあるふぁιいおた τたうοおみくろんυうぷしろん y, τότε οおみくろんιいおた μερικές της παράγωγοι μετράνε τたうηいーたνにゅー αλλαγή της f σしぐまτたうηいーたνにゅー κατεύθυνση x κかっぱαあるふぁιいおた σしぐまτたうηいーたνにゅー κατεύθυνση y. Ωστόσο, δでるたεいぷしろんνにゅー μετράνε άμεσα τたうηいーたνにゅー αλλαγή της f σしぐまεいぷしろん κάποια άλλη κατεύθυνση, όπως πάνω σしぐまτたうηいーたνにゅー διχοτόμο y=x. Αυτές μετρούνται μみゅーεいぷしろん τたうηいーたνにゅー βοήθεια τたうωおめがνにゅー διανυσματικών παραγώγων. Επιλέξτε ένα διάνυσμα

Ηいーた διανυσματική παράγωγος της f σしぐまτたうηいーたνにゅー κατεύθυνση τたうοおみくろんυうぷしろん v σしぐまτたうοおみくろん σημείο x είναι τたうοおみくろん όριο

Σしぐまεいぷしろん μερικές περιπτώσεις ίσως είναι πぱいιいおたοおみくろん εύκολο νにゅーαあるふぁ υπολογίσουμε ή νにゅーαあるふぁ εκτιμήσουμε τたうηいーたνにゅー διανυσματική παράγωγο αあるふぁνにゅー αλλάξουμε τたうοおみくろん μέγεθος τたうοおみくろんυうぷしろん διανύσματος. Συχνά αυτό πραγματοποιείται γがんまιいおたαあるふぁ νにゅーαあるふぁ μετατραπεί τたうοおみくろん πρόβλημα σしぐまτたうοおみくろんνにゅー υπολογισμό μιας διανυσματικής παραγώγου σしぐまτたうηいーたνにゅー κατεύθυνση ενός μοναδιαίου διανύσματος. Γがんまιいおたαあるふぁ νにゅーαあるふぁ δούμε πώς δουλεύει αυτό, υποθέτουμε ότι v = λらむだu. Αντικαθιστούμε τたうοおみくろん h = k/λらむだ σしぐまτたうηいーた διαφορά πηλίκο . Τたうοおみくろん πηλίκο διαφορών γίνεται:

Έστω λらむだ πραγματικός αριθμός. Ηいーた αντικατάσταση τたうοおみくろんυうぷしろん h μみゅーεいぷしろん h/λらむだ αλλάζει τたうηいーたνにゅー διηρημένη διαφορά της κατεύθυνσης λらむだv σしぐまεいぷしろん λらむだ φορές τたうηいーたνにゅー διηρημένη διαφορά της κατεύθυνσης v. Συνεπώς, ηいーた διανυσματική παράγωγος σしぐまτたうηいーたνにゅー κατεύθυνση λらむだv είναι ίση μみゅーεいぷしろん λらむだ φορές τたうηいーたνにゅー διανυσματική παράγωγο σしぐまτたうηいーたνにゅー κατεύθυνση v. Λόγω αυτού, οおみくろんιいおた διανυσματικές παράγωγοι συνήθως λαμβάνονται μόνο γがんまιいおたαあるふぁ μοναδιαία διανύσματα v.

Αあるふぁνにゅー όλες οおみくろんιいおた μερικές παράγωγοι της f υπάρχουν κかっぱαあるふぁιいおた είναι συνεχείς σしぐまτたうοおみくろん x, τότε προσδιορίζουν τたうηいーたνにゅー διανυσματική παράγωγο της f σしぐまτたうηいーたνにゅー κατεύθυνση v μみゅーεいぷしろん τたうοおみくろんνにゅー τύπο:

Αυτή είναι μみゅーιいおたαあるふぁ συνέπεια τたうοおみくろんυうぷしろん ορισμού της ολικής παραγώγου. Ακολούθως, ηいーた διανυσματική παράγωγος είναι γραμμική σしぐまτたうοおみくろん v.

Οおみくろん ίδιος ορισμός χρησιμοποιείται επίσης όταν ηいーた f είναι μみゅーιいおたαあるふぁ συνάρτηση πぱいοおみくろんυうぷしろん λαμβάνει τιμές σしぐまτたうοおみくろん . Απλά, εφαρμόζουμε τたうοおみくろんνにゅー παραπάνω ορισμό σしぐまεいぷしろん κάθε στοιχείο τたうοおみくろんυうぷしろん διανύσματος. Σしぐま'αυτήν τたうηいーたνにゅー περίπτωση, ηいーた διανυσματική παράγωγος είναι ένα διάνυσμα σしぐまτたうοおみくろん .

Ολική παράγωγος, ολικό ή τέλειο διαφορικό κかっぱαあるふぁιいおた Ιακωβιανός πίνακας

[Επεξεργασία | επεξεργασία κώδικα]

Κύριο άρθρο:Ολική παράγωγος.

Όταν ηいーた f είναι μία συνάρτηση ενός ανοικτού υποσυνόλου από τたうοおみくろん Rn σしぐまτたうοおみくろん Rm, τότε ηいーた διανυσματική παράγωγος της f σしぐまτたうηいーた διεύθυνση πぱいοおみくろんυうぷしろん έχουμε επιλέξει είναι ηいーた καλύτερη γραμμική προσέγγιση της f σしぐまτたうοおみくろん σημείο αυτό κかっぱαあるふぁιいおた σしぐまτたうηいーた διεύθυνση αυτή. Αλλά όταν n > 1, ηいーた διανυσματική παράγωγος μπορεί νにゅーαあるふぁ δώσει μみゅーιいおたαあるふぁ ολοκληρωμένη εικόνα γがんまιいおたαあるふぁ τたうηいーたνにゅー συμπεριφορά της f. Ηいーた ολική παράγωγος, ονομάζεται κかっぱαあるふぁιいおた (ολικό) διαφορικό, κかっぱαあるふぁιいおた δίνει μみゅーιいおたαあるふぁ ολοκληρωμένη εικόνα παρατηρώντας όλες τις κατευθύνσεις ταυτόχρονα. Αυτός είναι, γがんまιいおたαあるふぁ κάθε διάνυσμα v μみゅーεいぷしろん αρχή τたうοおみくろん a, οおみくろん τύπος πぱいοおみくろんυうぷしろん αναμένεται γがんまιいおたαあるふぁ τたうηいーた γραμμική προσέγγιση:

Ακριβώς όπως ηいーた παράγωγος μιας μεταβλητής, ηいーた f ′(a) έχει επιλεχθεί έτσι ώστε τたうοおみくろん λάθος σしぐまεいぷしろん αυτήν τたうηいーたνにゅー προσέγγιση νにゅーαあるふぁ είναι όσο πぱいιいおたοおみくろん μικρό γίνεται.

Αあるふぁνにゅー n κかっぱαあるふぁιいおた m είναι κかっぱαあるふぁιいおた τたうαあるふぁ δでるたυうぷしろんοおみくろん ένα, τότε ηいーた παράγωγος f ′(a) είναι ένας αριθμός κかっぱαあるふぁιいおた ηいーた έκφραση f ′(a)v είναι τたうοおみくろん γινόμενο δでるたυうぷしろんοおみくろん αριθμών. Αλλά σしぐまεいぷしろん μεγαλύτερες διαστάσεις, είναι αδύνατον τたうοおみくろん f ′(a) νにゅーαあるふぁ είναι αριθμός. Αあるふぁνにゅー ήταν αριθμός, τότε τたうοおみくろん f ′(a)v θしーたαあるふぁ μπορούσε νにゅーαあるふぁ ήταν ένα διάνυσμα τたうοおみくろんυうぷしろん Rn ενώ οおみくろんιいおた άλλοι όροι θしーたαあるふぁ μπορούσαν νにゅーαあるふぁ ήταν διανύσματα τたうοおみくろんυうぷしろん Rm, κかっぱαあるふぁιいおた συνεπώς οおみくろん τύπος δでるたεいぷしろん θしーたαあるふぁ είχε νόημα. Γがんまιいおたαあるふぁ νにゅーαあるふぁ έχει νόημα οおみくろん τύπος της γραμμικής προσέγγισης, τたうοおみくろん f ′(a) πρέπει νにゅーαあるふぁ είναι μみゅーιいおたαあるふぁ συνάρτηση πぱいοおみくろんυうぷしろん στέλνει διανύσματα τたうοおみくろんυうぷしろん Rn σしぐまεいぷしろん διανύσματα τたうοおみくろんυうぷしろん Rm, κかっぱαあるふぁιいおた τたうοおみくろん f ′(a)v πρέπει νにゅーαあるふぁ δηλώνει αυτή τたうηいーた συνάρτηση εκτιμώντας τたうοおみくろん v.

Γがんまιいおたαあるふぁ νにゅーαあるふぁ προσδιορίσετε τたうιいおた είδους συνάρτηση είναι, παρατηρείστε ότι οおみくろん τύπος της γραμμικής προσέγγισης μπορεί νにゅーαあるふぁ ξαναγραφτεί ως εξής

Σημειώστε ότι αあるふぁνにゅー επιλέξουμε άλλο διάνυσμα w, τότε αυτή ηいーた προσεγγιστική εξίσωση προσδιορίζει άλλη προσεγγιστική εξίσωση αντικαθιστώντας τたうοおみくろん v μみゅーεいぷしろん w. Προσδιορίζει μみゅーιいおたαあるふぁ τρίτη προσεγγιστική εξίσωση αντικαθιστώντας κかっぱαあるふぁιいおた σしぐまτたうαあるふぁ δでるたυうぷしろんοおみくろん v μみゅーεいぷしろん w κかっぱαあるふぁιいおた τたうοおみくろん a μみゅーεいぷしろん a + v. Αφαιρώντας αυτές τις δでるたυうぷしろんοおみくろん νέες εξισώσεις, παίρνουμε

Αあるふぁνにゅー υποθέσουμε ότι τたうοおみくろん v είναι μικρό κかっぱαあるふぁιいおた ότι ηいーた παράγωγος τείνει συνεχώς σしぐまτたうοおみくろん a, τότε τたうοおみくろん f ′(a + v) είναι κατά προσέγγιση ίσο μみゅーεいぷしろん τたうοおみくろん f ′(a), κかっぱαあるふぁιいおた συνεπώς τたうοおみくろん δεξιό μέλος είναι κατά προσέγγιση μηδέν. Τたうοおみくろん αριστερό μέλος μπορεί νにゅーαあるふぁ ξανά γραφτεί μみゅーεいぷしろん ένα διαφορετικό τρόπο χρησιμοποιώντας τたうοおみくろんνにゅー τύπο της γραμμικής προσέγγισης κかっぱαあるふぁιいおた αντικαθιστώντας τたうοおみくろん v μみゅーεいぷしろん v + w. Οおみくろん τύπος της γραμμικής προσέγγισης συνεπάγεται:

Αυτό υποδηλώνει ότι τたうοおみくろん f ′(a) είναι ένας γραμμικός μετασχηματισμός από τたうοおみくろん διανυσματικό χώρο Rn σしぐまτたうοおみくろんνにゅー διανυσματικό χώρο Rm . Σしぐまτたうηいーたνにゅー πραγματικότητα, είναι πιθανό νにゅーαあるふぁ κάνετε αυτήν τたうηいーたνにゅー ακριβή παραγώγιση μετρώντας τたうοおみくろん λάθος στις προσεγγίσεις. Υποθέστε ότι τたうοおみくろん λάθος σしぐまτたうοおみくろんνにゅー τύπο αυτών τたうωおめがνにゅー γραμμικών προσεγγίσεων φράσεται από ένα σταθερό χρόνο ||v||, όπου ηいーた σταθερότητα είναι ανεξάρτητη από τたうοおみくろん v αλλά εξαρτάται συνεχώς από τたうοおみくろん a. Τότε, αφού προσθέσουμε έναν κατάλληλο όρο γがんまιいおたαあるふぁ τたうοおみくろん λάθος, όλες οおみくろんιいおた άνω προσεγγιστικές ισότητες μπορούν νにゅーαあるふぁ αναδιατυπωθούν ως ανισότητες. Συγκεκριμένα,τたうοおみくろん f ′(a) είναι ένας γραμμικός μετασχηματισμός πάνω σしぐまεいぷしろん ένα μικρό λανθασμένο όρο. Σしぐまτたうοおみくろん όριο όπου τたうαあるふぁ v κかっぱαあるふぁιいおた w τείνουν σしぐまτたうοおみくろん μηδέν, πρέπει συνεπώς νにゅーαあるふぁ είναι ένας γραμμικός μετασχηματισμός. Από τότε πぱいοおみくろんυうぷしろん ορίσαμε τたうηいーたνにゅー ολική παράγωγο παίρνοντας ένα όριο όπως τたうοおみくろん v νにゅーαあるふぁ πηγαίνει σしぐまτたうοおみくろん μηδέν, τたうοおみくろん f ′(a) πρέπει νにゅーαあるふぁ είναι ένας γραμμικός μετασχηματισμός.

Σしぐまεいぷしろん μみゅーιいおたαあるふぁ μεταβλητή,τたうοおみくろん γεγονός ότι ηいーた παράγωγος είναι ηいーた καλύτερη γραμμική προσέγγιση γίνεται αντιληπτό από τたうοおみくろん γεγονός ότι είναι τたうοおみくろん όριο σしぐまτたうαあるふぁ πηλίκα διαφορών. Παρόλα αυτά, τたうαあるふぁ συνηθισμένα πηλίκα διαφορών δでるたεいぷしろんνにゅー ορίζονται σしぐまεいぷしろん μεγαλύτερες διαστάσεις διότι συνήθως δでるたεいぷしろんνにゅー είναι εύκολο νにゅーαあるふぁ διαιρέσουμε διανύσματα. Συγκεκριμένα, οおみくろん αριθμητής κかっぱαあるふぁιいおた οおみくろん παρανομαστής τたうωおめがνにゅー πηλίκων διαφορών δでるたεいぷしろんνにゅー ανήκουν σしぐまτたうοおみくろんνにゅー ίδιο διανυσματικό χώρο: Οおみくろん αριθμητής βρίσκεται σしぐまτたうοおみくろんνにゅー χώρο Rm  ενώ οおみくろん παρανομαστής βρίσκεται σしぐまτたうοおみくろんνにゅー  Rn. Επιπλέον, ηいーた παράγωγος είναι ένας γραμμικός μετασχηματισμός, πぱいοおみくろんυうぷしろん σημαίνει οおみくろんτたうιいおた υπάρχει διαφορετικός τύπος γがんまιいおたαあるふぁ τたうηいーたνにゅー μεταβλητή πぱいοおみくろんυうぷしろん βρίσκεται τόσο σしぐまτたうοおみくろんνにゅー αριθμητή όσο κかっぱαあるふぁιいおた σしぐまτたうοおみくろんνにゅー παρανομαστή.Γがんまιいおたαあるふぁ νにゅーαあるふぁ καταστήσουμε ακριβής τたうηいーたνにゅー έννοια ότι ηいーた f ′(a) είναι ηいーた καλύτερη γραμμική προσέγγιση, είναι απαραίτητο νにゅーαあるふぁ υιοθετήσουμε μみゅーιいおたαあるふぁ διαφορετική μεθοδολογία γがんまιいおたαあるふぁ τたうηいーたνにゅー πρώτης τάξεως παράγωγο γがんまιいおたαあるふぁ νにゅーαあるふぁ δούμε σしぐまεいぷしろん ποία από αυτά τたうαあるふぁ προβλήματα απαλείφεται. Άν f : R → R, τότε οおみくろん συνηθισμένος προσδιορισμός της παραγώγου χρησιμοποιείται γがんまιいおたαあるふぁ νにゅーαあるふぁ προκύψει ότι ηいーたγがんま παράγωγος της  f σしぐまτたうοおみくろん a είναι οおみくろん μοναδικός αριθμός f ′(a) τέτοιος ώστε

Αυτό ισοδυναμεί μみゅーεいぷしろん

επειδή τたうοおみくろん όριο της συνάρτησης τείνει σしぐまτたうοおみくろん μηδέν αあるふぁνにゅー κかっぱαあるふぁιいおた μόνο αあるふぁνにゅー τたうοおみくろん όριο της απόλυτης συνάρτησης τείνει σしぐまτたうοおみくろん μηδέν. Οおみくろん τελευταίος τύπος μπορεί νにゅーαあるふぁ χρησιμοποιηθεί γがんまιいおたαあるふぁ περισσότερες αあるふぁπぱいοおみくろん μみゅーιいおたαあるふぁ μεταβλητές αντικαθιστώντας τις απόλυτες τιμές μみゅーεいぷしろん τις νόρμες.

Οおみくろん προσδιορισμός της ολικής παραγώγου της f σしぐまτたうοおみくろん a προσδιορίζεται κατά μοναδικό τρόπο αあるふぁπぱいοおみくろん τたうοおみくろんνにゅー γραμμικό μετασχηματισμό f ′(a) : Rn → Rm  τέτοιος ώστε

Εδώ τたうοおみくろん h είναι ένα διάνυσμα σしぐまτたうοおみくろんνにゅー Rn, έτσι ηいーた νόρμα σしぐまτたうοおみくろんνにゅー παρανομαστή ορίζεται σしぐまτたうοおみくろんνにゅー  Rn. Παρόλα αυτά f′(a)h είναι ένα διάνυσμα σしぐまτたうοおみくろんνにゅー Rm  κかっぱαあるふぁιいおた ηいーた νόρμα σしぐまτたうοおみくろんνにゅー αριθμητή ορίζεται σしぐまτたうοおみくろんνにゅー Rm . Άν v είναι ένα διάνυσμα πぱいοおみくろんυうぷしろん έχει ως αρχή τたうοおみくろんυうぷしろん τたうοおみくろん a τότε τたうοおみくろん  f ′(a)v καλείται διαφορικό τたうοおみくろんυうぷしろん v αあるふぁπぱいοおみくろん τたうοおみくろん f κかっぱαあるふぁιいおた μερικές φορές συμβολίζεται ως  fv.

Αあるふぁνにゅー ηいーた ολική παράγωγος υπάρχει σしぐまτたうοおみくろん a, τότε όλες οおみくろんιいおた μερικές παράγωγοι κかっぱαあるふぁιいおた οおみくろんιいおた κατευθυνόμενες παράγωγοι της f υπάρχουν σしぐまτたうοおみくろん a, κかっぱαあるふぁιいおた γがんまιいおたαあるふぁ όλα τたうαあるふぁ v, τたうοおみくろん f ′(a)v είναι ηいーた κατευθυνόμενη παράγωγος της f σしぐまτたうηいーたνにゅー κατεύθυνση τたうοおみくろんυうぷしろん v. Αあるふぁνにゅー γράψουμε τたうηいーたνにゅー f χρησιμοποιώντας συντεταγμένες συναρτήσεις, έτσι ώστε f = (f1, f2, ..., fm), τότε ηいーた ολική παράγωγος μπορεί νにゅーαあるふぁ εκφραστεί χρησιμοποιώντας μερικές παραγώγους σしぐまεいぷしろん έναν πίνακα. Αυτός οおみくろん πίνακας ονομάζεται Ιακωβιανός πίνακας της f σしぐまτたうοおみくろん a:

Ηいーた ύπαρξη της ολικής παραγώγου f′(a) είναι αυστηρά πぱいιいおたοおみくろん ισχυρή από τたうηいーたνにゅー ύπαρξη όλων τたうωおめがνにゅー μερικών παραγώγων, αλλά αあるふぁνにゅー οおみくろんιいおた μερικές παράγωγοι υπάρχουν κかっぱαあるふぁιいおた είναι συνεχείς, τότε ηいーた ολική παράγωγος υπάρχει, δίνεται από τたうηいーたνにゅー Ιακωβιανή, κかっぱαあるふぁιいおた εξαρτάται διαρκώς από τたうοおみくろん a.

Οおみくろん ορισμός της ολικής παραγώγου περιλαμβάνει τたうοおみくろんνにゅー ορισμό της παραγώγου μιας μεταβλητής. Αυτό είναι, αあるふぁνにゅー ηいーた f είναι μみゅーιいおたαあるふぁ πραγματική συνάρτηση μιας πραγματικής μεταβλητής, τότε ηいーた ολική παράγωγος υπάρχει αあるふぁνにゅー κかっぱαあるふぁιいおた μόνον αあるふぁνにゅー ηいーた κοινή παράγωγος υπάρχει. Οおみくろん Ιακωβιανός πίνακας περιορίζεται σしぐまεいぷしろん έναν 1×1 πίνακα τたうοおみくろんυうぷしろん οποίου ηいーた μόνη είσοδος είναι ηいーた παράγωγος f′(x). Αυτός οおみくろん 1×1 πίνακας ικανοποιεί τたうηいーたνにゅー ιδιότητα ότι f(a + h) − f(a) − f ′(a)h είναι κατά προσέγγιση μηδέν, μみゅーεいぷしろん άλλα λόγια

Εξαρτάται από τたうηいーたνにゅー αλλαγή τたうωおめがνにゅー μεταβλητών, αυτή είναι ηいーた διατύπωση ότι ηいーた συνάρτηση είναι ηいーた καλύτερη γραμμική προσέγγιση της f σしぐまτたうοおみくろん a.

Ηいーた ολική παράγωγος μιας συνάρτησης δでるたεいぷしろん δίνει άλλη συνάρτηση μみゅーεいぷしろん τたうοおみくろんνにゅー ίδιο τρόπο όπως σしぐまτたうηいーたνにゅー περίπτωση της μιας μεταβλητής. Αυτό συμβαίνει επειδή ηいーた ολική παράγωγος της πολυμεταβλητής συνάρτησης έχει νにゅーαあるふぁ καταχωρήσει πολύ περισσότερες πληροφορίες από τたうηいーたνにゅー παράγωγο της συνάρτησης μιας μεταβλητής. Αあるふぁνにゅーτたう' αυτού, ηいーた ολική παράγωγος δίνει μみゅーιいおたαあるふぁ συνάρτηση από τたうηいーた δέσμη εφαπτομένης της πηγής σしぐまτたうηいーた δέσμη εφαπτομένη τたうοおみくろんυうぷしろん σκοπού.

Ηいーた φυσική αντιστοιχία της δεύτερης, τρίτης,κかっぱαあるふぁιいおた ανώτερης-τάξης τたうωおめがνにゅー μερικών παραγώγων δでるたεいぷしろんνにゅー είναι ένας γραμμικός μετασχηματισμός, δでるたεいぷしろんνにゅー είναι μみゅーιいおたαあるふぁ συνάρτηση σしぐまτたうηいーたνにゅー εφαπτόμενη δέσμη, κかっぱαあるふぁιいおた δでるたεいぷしろんνにゅー παράγεται παίρνοντας επανειλημμένως τたうηいーたνにゅー ολική παράγωγο. Ηいーた αντιστοιχία μιας ανώτερης-τάξης παραγώγισης, καλείται ως πίδακας, δでるたεいぷしろんνにゅー μπορεί νにゅーαあるふぁ είναι γραμμικός μετασχηματισμός επειδή οおみくろんιいおた ανώτερες-τάξεις τたうωおめがνにゅー παραγώγων εκφράζουν διακριτή γεωμετρική πληροφορία, όπως ηいーた κοίλη επιφάνεια, ηいーた οποία δでるたεいぷしろんνにゅー μπορεί νにゅーαあるふぁ περιγραφεί μみゅーεいぷしろん όρους τたうωおめがνにゅー γραμμικών δεδομένων όπως τたうαあるふぁ διανύσματα. Δでるたεいぷしろんνにゅー μπορεί νにゅーαあるふぁ είναι μみゅーιいおたαあるふぁ συνάρτηση σしぐまτたうηいーた δέσμη εφαπτομένης επειδή ηいーた δέσμη εφαπτομένης έχει μόνο χώρο γがんまιいおたαあるふぁ τたうηいーた βάση τたうοおみくろんυうぷしろん χώρου κかっぱαあるふぁιいおた γがんまιいおたαあるふぁ τις κατευθυνόμενες παραγώγους. Επειδή οおみくろんιいおた πίδακες αποθηκεύουν ανώτερης-τάξης πληροφορία, παίρνουν ως επιχείρημα επιπλέον συντεταγμένες απεικονίζοντας ανώτερη-τάξη αλλαγών σしぐまτたうηいーたνにゅー κατεύθυνση. Οおみくろん χώρος προσδιορίζεται από αυτές τις επιπλέον συντεταγμένες πぱいοおみくろんυうぷしろん ονομάζονται δέσμη πίδακα. Ηいーた σχέση μεταξύ της ολικής παραγώγου κかっぱαあるふぁιいおた τたうωおめがνにゅー μερικών παραγώγων μιας συνάρτησης είναι παρόμοια μみゅーεいぷしろん τたうηいーた σχέση μεταξύ της k-οστής τάξης πίδακα μιας συνάρτησης κかっぱαあるふぁιいおた τたうωおめがνにゅー μερικών τたうοおみくろんυうぷしろん παραγώγων σしぐまεいぷしろん τάξη μικρότεροη ή ίση τたうοおみくろんυうぷしろん k.

Κかっぱαあるふぁτたう' επανάληψη αあるふぁνにゅー πάρουμε τたうηいーたνにゅー ολική παράγωγο, αποκτά ανώτερες εκδοχές της παραγώγου Fréchet , ειδικά σしぐまτたうοおみくろんνにゅー Rp. Ηいーた k-οστή τάξη της ολικής παραγώγου ίσως ερμηνευτεί σしぐまαあるふぁνにゅー μみゅーιいおたαあるふぁ απεικόνιση

σしぐまτたうηいーたνにゅー οποία παίρνοντας ένα σημείο x σしぐまτたうοおみくろん Rn κかっぱαあるふぁιいおた ορίζοντάς τたうοおみくろん σしぐまεいぷしろん έναν παράγοντα τたうοおみくろんυうぷしろん χώρου τたうωおめがνにゅー k-γραμμικών απεικονίσεων από τたうοおみくろんνにゅー Rn σしぐまτたうοおみくろんνにゅー Rmηいーた "καλύτερη" (μみゅーεいぷしろん σιγουριά ακριβή έννοια) k-γραμμική προσέγγιση της f σしぐまεいぷしろん αυτό τたうοおみくろん σημείο. Αあるふぁνにゅー τたうηいーたνにゅー γράψουμε ως διαγώνια απεικόνιση Δでるた, x → (x, x), μία γενικευμένη σειρά Τέιλορ ίσως

προκύψει ως εξής

όπου ηいーた f(a) εξισώνεται μみゅーεいぷしろん μみゅーιいおたαあるふぁ σταθερή συνάρτηση, (xa)i είναι οおみくろんιいおた συνιστώσες τたうοおみくろんυうぷしろん διανύσματος xa, κかっぱαあるふぁιいおた (D f)i κかっぱαあるふぁιいおた (D2 f)j k είναι οおみくろんιいおた συνιστώσες τたうωおめがνにゅー D f κかっぱαあるふぁιいおた D2 f σしぐまαあるふぁνにゅー γραμμικοί μετασχηματισμοί.

Κύριο άρθρο: Παράγωγος (γενίκευση)

Ηいーた έννοια μιας παραγώγου μπορεί νにゅーαあるふぁ επεκταθεί σしぐまεいぷしろん πολλές άλλες λειτουργίες . Τたうοおみくろん κοινό νήμα είναι ότι ηいーた παράγωγος της συνάρτησης σしぐまεいぷしろん ένα σημείο χρησιμεύει ως μみゅーιいおたαあるふぁ γραμμική προσέγγιση της συνάρτησης σしぐまτたうοおみくろん σημείο αυτό.

  • Μみゅーιいおたαあるふぁ σημαντική γενίκευση της παραγώγου έχει νにゅーαあるふぁ κάνει μみゅーεいぷしろん σύνθετες συναρτήσεις τたうωおめがνにゅー σύνθετων μεταβλητών, όπως λειτουργίες από (έναν τομέα) τたうωおめがνにゅー σύνθετων αριθμών C έως C. Ηいーた έννοια της παραγώγου μιας τέτοιας συνάρτησης επιτυγχάνεται μみゅーεいぷしろん τたうηいーたνにゅー αντικατάσταση πραγματικών μεταβλητών μみゅーεいぷしろん σύνθετων μεταβλητών σしぐまτたうοおみくろんνにゅー ορισμό . Αあるふぁνにゅー οおみくろん C ταυτίζεται μみゅーεいぷしろん τたうοおみくろん R2 γράφοντας ένα μιγαδικό αριθμό z ως x + iy, τότε μみゅーιいおたαあるふぁ διαφορική συνάρτηση από C σしぐまεいぷしろん C είναι σίγουρα διαφορική ως μία συνάρτηση από τたうαあるふぁ R2 έως R2 (μみゅーεいぷしろん τたうηいーたνにゅー έννοια ότι οおみくろんιいおた όλες μερικές παραγωγοί τたうοおみくろんυうぷしろん υπάρχουν ), αλλά τたうοおみくろん αντίστροφο δでるたεいぷしろんνにゅー ισχύει γενικά: ηいーた σύνθετη παράγωγος υπάρχει μόνον όταν ηいーた πραγματική παράγωγος είναι σύνθετη γραμμική κかっぱαあるふぁιいおた αυτό επιβάλλει σχέσεις μεταξύ τたうωおめがνにゅー επιμέρους παραγώγων πぱいοおみくろんυうぷしろん ονομάζονται εξισώσεις Cauchy Riemann - βλέπε αναλυτικές συναρτήσεις.
  • Μみゅーιいおたαあるふぁ άλλη γενίκευση αφορά συναρτήσεις μεταξύ διαφορικών ή ομαλών πολλαπλών. Διαισθητικά μιλώντας, μみゅーιいおたαあるふぁ τέτοια πολλαπλότητα M είναι ένας χώρος πぱいοおみくろんυうぷしろん μπορεί νにゅーαあるふぁ προσεγγιστεί κοντά σしぐまεいぷしろん κάθε σημείο x από ένα διανυσματικό χώρο πぱいοおみくろんυうぷしろん ονομάζεται εφαπτόμενος χώρος τたうοおみくろんυうぷしろん: ως πρωτότυπο παράδειγμα είναι μみゅーιいおたαあるふぁ ομαλή επιφάνεια σしぐまτたうοおみくろん R3. Ηいーた παράγωγος (ή διαφορικό) ενός (διαφορικού) χάρτης f: M → N μεταξύ πολλαπλών, σしぐまεいぷしろん ένα σημείο x σしぐまτたうοおみくろん M, τότε είναι ένας γραμμικός χάρτης από τたうοおみくろん χώρο εφαπτομένης τたうοおみくろんυうぷしろん M σしぐまτたうοおみくろん x σしぐまτたうοおみくろん χώρο εφαπτομένης Νにゅー σしぐまτたうοおみくろん f (x ). Ηいーた παραγωγίσιμη συνάρτηση γίνεται χάρτης μεταξύ τたうωおめがνにゅー δεσμών εφαπτομένης τたうωおめがνにゅー M κかっぱαあるふぁιいおた N. Αυτός οおみくろん ορισμός είναι θεμελιώδης σしぐまτたうηいーた διαφορική γεωμετρία κかっぱαあるふぁιいおた έχει πολλές χρήσεις - βλέπε pushforward (διαφορικό) κかっぱαあるふぁιいおた pullback (διαφορική γεωμετρία).
  • Ηいーた διαφοροποίηση μπορεί επίσης νにゅーαあるふぁ οριστεί γがんまιいおたαあるふぁ τους χάρτες μεταξύ απειροδιάστατων διανυσματικών χώρων, όπως Banach χώρους κかっぱαあるふぁιいおた χώρους Fréchet. Υπάρχει μみゅーιいおたαあるふぁ γενίκευση τόσο της κατευθυντήριας παραγώγου, πぱいοおみくろんυうぷしろん ονομάζεται ηいーた παράγωγος Gâteaux, όσο κかっぱαあるふぁιいおた της διαφορικής, πぱいοおみくろんυうぷしろん ονομάζεται παράγωγος Fréchet.
  • Μみゅーιいおたαあるふぁ ανεπάρκεια της κλασικής παραγώγου είναι ότι δでるたεいぷしろんνにゅー είναι πάρα πολλές συναρτήσεις διαφορικές. Πぱいαあるふぁρろー 'όλα αυτά, υπάρχει ένας τρόπος επέκτασης της έννοιας της παραγώγου έτσι ώστε όλοι οおみくろんιいおた συνεχείς συναρτήσεις κかっぱαあるふぁιいおた πολλές άλλες συναρτήσεις μπορούν νにゅーαあるふぁ διαφοροποιηθούν χρησιμοποιώντας μみゅーιいおたαあるふぁ έννοια πぱいοおみくろんυうぷしろん είναι γνωστή ως ηいーた αδύναμη παράγωγος. Ηいーた ιδέα είναι νにゅーαあるふぁ ενσωματωθούν οおみくろんιいおた συνεχείς συναρτήσεις σしぐまεいぷしろん ένα μεγαλύτερο χώρο πぱいοおみくろんυうぷしろん λέγεται χώρος τたうωおめがνにゅー διανομών κかっぱαあるふぁιいおた τたうοおみくろん μόνο πぱいοおみくろんυうぷしろん απαιτείται ότι μみゅーιいおたαあるふぁ συνάρτηση είνα διαφορικήι «κατά μέσο όρο».
  • Οおみくろんιいおた ιδιότητες της παραγώγου έχουν εμπνεύσει τたうηいーたνにゅー εισαγωγή κかっぱαあるふぁιいおた μελέτη πολλών παρόμοιων αντικειμένων σしぐまτたうηいーたνにゅー άλγεβρα κかっぱαあるふぁιいおた τたうηいーたνにゅー τοπολογία - βλέπε, γがんまιいおたαあるふぁ παράδειγμα, διαφορική άλγεβρα.
  • Τたうοおみくろん διακριτό ισοδύναμο της διαφοροποίησης είναι οおみくろんιいおた πεπερασμένες διαφορές. Ηいーた μελέτη τたうοおみくろんυうぷしろん διαφορικού λογισμού είναι ενωμένη μみゅーεいぷしろん τたうοおみくろんνにゅー λογισμό τたうωおめがνにゅー πεπερασμένων διαφορών σしぐまτたうοおみくろん λογισμό κλίμακας χρόνου.
  • Επίσης, δείτε αριθμητική παράγωγο.

Κύριο άρθρο:Ιστορία τたうοおみくろんυうぷしろん Λογισμού

Ηいーた δημιουργία τたうοおみくろんυうぷしろん Λογισμού ήταν ένα από τたうαあるふぁ μεγαλύτερα επιτεύγματα τたうοおみくろんυうぷしろん 1600, αλλά οおみくろん εφευρέτης τたうοおみくろんυうぷしろん λογισμού αμφισβητείται ευρέως: Ήταν οおみくろん Ισαάκ Νεύτων κかっぱαあるふぁιいおた οおみくろん Γκότφριντ Βίλχελμ Λάιμπνιτς; Οおみくろん Νεύτων κかっぱαあるふぁιいおた οおみくろん Λάιμπνιτς διατύπωσαν αρχικά τたうοおみくろんνにゅー διαφορικό λογισμό πぱいοおみくろんυうぷしろん ουσιαστικά κάνει χρήση της έννοιας τたうοおみくろんυうぷしろん απειροελάχιστου, τたうοおみくろん οποίο αναφέρεται ως ένας απείρως μικρός αριθμός. Εκείνη τたうηいーたνにゅー εποχή πぱいρろーιいおたνにゅー από τたうηいーたνにゅー μみゅーηいーた-τυπική ανάλυση, ηいーた έννοια τたうωおめがνにゅー απειροστών ήταν πολύ ασαφής κかっぱαあるふぁιいおた ενόχλησε πολλούς μαθηματικούς. Ωστόσο, ηいーた έννοια τたうωおめがνにゅー απειροστών ήταν απαραίτητη γがんまιいおたαあるふぁ τたうηいーたνにゅー ανάπτυξη τたうοおみくろんυうぷしろん διαφορικού λογισμού.[10]

Ηいーた μέθοδος τたうοおみくろんυうぷしろん Νεύτωνα αφορούσε τたうηいーた λήψη αναλογιών απειροστών. Οおみくろんιいおた όροι γがんまιいおたαあるふぁ τたうηいーたνにゅー αναλογία ηいーた οποία είχε ένα απειροελάχιστο ως παράγοντα αντιμετωπίστηκαν ως μηδέν κかっぱαあるふぁιいおた έτσι τたうοおみくろん προϊόν τたうωおめがνにゅー απειροστών είναι ίσο μみゅーεいぷしろん μηδέν. Οおみくろん ίδιος εξήγησε, «οおみくろんιいおた όροι πぱいοおみくろんυうぷしろん έχουν [ένα απειροελάχιστο] ως παράγοντα θしーたαあるふぁ είναι ισοδύναμοι μみゅーεいぷしろん τίποτα σしぐまεいぷしろん σχέση μみゅーεいぷしろん τους άλλους. Ως εいぷしろんκかっぱ τούτου, τたうαあるふぁ απαλοίφω ... " Τελικά οおみくろんιいおた Κωσύ, Weierstrass κかっぱαあるふぁιいおた Riemann, αναδιαμόρφωσαν τたうοおみくろん λογισμό όσον αφορά τたうαあるふぁ όρια κかっぱαあるふぁιいおた όχι τたうαあるふぁ απειροστά. Ως εいぷしろんκかっぱ τούτου, ηいーた ανάγκη γがんまιいおたαあるふぁ αυτές τις απείρως μικρές (κかっぱαあるふぁιいおた ανύπαρκτες) ποσότητες εξαλείφθηκε κかっぱαあるふぁιいおた αντικαταστάθηκε από μみゅーιいおたαあるふぁ έννοια τたうωおめがνにゅー ποσοτήτων πぱいοおみくろんυうぷしろん είναι «κοντά» σしぐまεいぷしろん άλλες. Έτσι, ηいーた παράγωγος όσο κかっぱαあるふぁιいおた τたうοおみくろん ολοκλήρωμα πρέπει νにゅーαあるふぁ επαναδιατυπωθούν όσον αφορά τたうαあるふぁ όρια.[11]

Σしぐまτたうοおみくろん δέκατο ένατο αιώνα, οおみくろん Γερμανός μαθηματικός Κかっぱαあるふぁρろーλらむだ Βάιερστρας (Karl Weierstrass) εισήγαγε τたうηいーた διαδικασία έψιλον-δέλτα, ηいーた οποία προέβλεπε μみゅーιいおたαあるふぁ αυστηρή βάση γがんまιいおたαあるふぁ τたうοおみくろん λογισμό κかっぱαあるふぁιいおた αποθάρρυνε τους μαθητές νにゅーαあるふぁ χρησιμοποιούν τたうηいーたνにゅー ιδέα τたうωおめがνにゅー απειροστών. Σしぐまτたうηいーた συνέχεια, τたうοおみくろん 1960 οおみくろん Έιμπραχαμ Ρόμπινσον (Abraham Robinson) βρήκε έναν τρόπο γがんまιいおたαあるふぁ νにゅーαあるふぁ παράσχει μみゅーιいおたαあるふぁ βάση γがんまιいおたαあるふぁ τたうαあるふぁ απειροστά κかっぱαあるふぁιいおた έτσι τたうαあるふぁ απειροστά έγιναν αποδεκτά. Οおみくろん Ρόμπινσον ονόμασε τたうηいーた διαμόρφωση τたうοおみくろんυうぷしろん μみゅーηいーた τυπική ανάλυση . Οおみくろん σκοπός αυτού τたうοおみくろんυうぷしろん υλικού είναι νにゅーαあるふぁ εξηγήσει, νにゅーαあるふぁ δείξει κかっぱαあるふぁιいおた νにゅーαあるふぁ δικαιολογήσει τたうηいーたνにゅー μみゅーηいーた-τυπική σύνθεση ανάλυση τたうωおめがνにゅー απειροστών.[12]

  1. Οおみくろん Διαφορικός Λογισμός,όπως αναφέρεται σしぐまεいぷしろん αυτό τたうοおみくろん άρθρο,είναι μみゅーιいおたαあるふぁ έννοια μみゅーεいぷしろん πολύ χρήσιμη ιδιότητα κかっぱαあるふぁιいおた υπάρχουν πολλές πηγές.Σχεδόν όλο τたうοおみくろん υλικό γがんまιいおたαあるふぁ αυτό τたうοおみくろん άρθρο βρέθηκε από τたうαあるふぁ in Apostol 1967, Apostol 1969, κかっぱαあるふぁιいおた Spivak 1994
  2. Spivak 1994,chapter 10
  3. Παρόλα αυτά, είναι πιθανόν νにゅーαあるふぁ εκλάβουμε τたうηいーたνにゅー παράγωγο ως κατανομή.Τたうοおみくろん αποτέλεσμα είναι εννιά φορές τたうοおみくろん μέτρο τたうοおみくろんυうぷしろん Dirac κεντράροντας τたうοおみくろん a.
  4. Banach, S. (1931), "Uber die Baire'sche Kategorie gewisser Funktionenmengen",''Studia. Math.'' (3): 174–179.. Cited by Hewitt, E and Stromberg, K (1963), ''Real and abstract analysis'', Springer-Verlag, Theorem 17.8
  5. Apostol 1967, §4.18
  6. Σしぐまτたうηいーた επεξεργασία τたうοおみくろんυうぷしろん Λογισμού σしぐまτたうηいーたνにゅー έννοια τたうωおめがνにゅー ορίων , τたうοおみくろん ''du'' σύμβολο  έχει καταχωρηθεί μみゅーεいぷしろん πολλές διαφορετικές έννοιες από πολλούς συγγραφείς. Μερικοί συγγραφείς δでるたεいぷしろんνにゅー καταχωρούν ένα νόημα σしぐまτたうοおみくろん du συγκεκριμένα, αλλά μόνο σしぐまεいぷしろん συνδυασμό ως σύμβολο du/dx. Άλλοι καθορίζουν τたうοおみくろん dx ως μみゅーιいおたαあるふぁ ανεξάρτητη μεταβλητή, κかっぱαあるふぁιいおた προσδιορίζουν τたうοおみくろん  ''du'' από τたうοおみくろん du =dx·f'(x). Σしぐまτたうηいーたνにゅー ανάλυση τたうοおみくろん du καθορίζεται ως απειροελάχιστο. Επίσης ερμηνεύεται ως εξωτερικό παράγωγο μみゅーιいおたαあるふぁ συνάρτησης u. Βλέπε διαφορικές(απειροελάχιστο) γがんまιいおたαあるふぁ περισσότερες πληροφορίες.
  7. "The Notation of Differentiation". MIT. 1998. Retrieved 24 October 2012.
  8. Burton, D. (2011). Gottfried Leibniz: Συζήτηση γがんまιいおたαあるふぁ τたうοおみくろんνにゅー Λογισμό. Ηいーた Ιστορία τたうωおめがνにゅー Μαθηματικών: Μみゅーιいおたαあるふぁ Εισαγωγή (). Νέα Υόρκη, NY: McGraw-Hill.
  9. Αυτό μπορεί νにゅーαあるふぁ εκφραστεί ως ισομορφία μεταξύ της παραγώμενης μεταβλητής and της συνάρτησης κατασκευής
  10. Watkins, T. (n.d.).Απειροελαχιστικός Λογισμός . Απειροελαχιστικός Λογισμός.Ανακτήθηκε τたうοおみくろんνにゅー Απρίλιο17, 2014, από http://www.sjsu.edu/faculty/watkins/infincalc.htm Αρχειοθετήθηκε 2014-10-26 σしぐまτたうοおみくろん Wayback Machine.
  11. Tomforde, M. (n.d.). Ηいーた Ιστορία τたうοおみくろんυうぷしろん Λογισμού. Ηいーた Ιστορία τたうοおみくろんυうぷしろん Λογισμού. Ανακτήθηκε 17 Απριλίου, 2014, από http://www.uiowa.edu/~c22m025c/history.html Αρχειοθετήθηκε 2013-12-08 σしぐまτたうοおみくろん Wayback Machine.
  12. Watkins,T. (n.d). Απειροελάχιστος λογισμός. Απειροελάχιστος λογισμός.Ανακτήθηκε 17 Απριλίου,2014, από http://www.sjsu.edu/facultywatkins/infincalc.htm[νεκρός σύνδεσμος]

Βιβλία σしぐまτたうοおみくろん Ίντερνετ

[Επεξεργασία | επεξεργασία κώδικα]

Εξωτερικοί σύνδεσμοι

[Επεξεργασία | επεξεργασία κώδικα]