Πολυμεταβλητός λογισμός

Από testwiki
Μετάβαση στην πλοήγηση Πήδηση στην αναζήτηση
Βαθμωτό πεδίο με δύο μεταβλητές.

Ο πολυμεταβλητός λογισμός[1] (επίσης γνωστός ως λογισμός πολλών μεταβλητών) είναι η επέκταση του λογισμού σε μία μεταβλητή στον λογισμό με συναρτήσεις πολλών μεταβλητών: η διαφοροποίηση και η ολοκλήρωση συναρτήσεων που περιλαμβάνουν πολλές μεταβλητές (πολυμεταβλητές), αντί για μία μόνο[2].

Ο πολυμεταβλητός λογισμός θεωρείται ως ένα στοιχειώδες μέρος του λογισμού στον Ευκλείδειο χώρο. Η ειδική περίπτωση του λογισμού στον τρισδιάστατο χώρο ονομάζεται συχνά διανυσματικός λογισμός.

Εισαγωγή

Στον λογισμό μίας μεταβλητής, πράξεις όπως η διαφοροποίηση και η ολοκλήρωση γίνονται σε συναρτήσεις μίας μεταβλητής. Στον πολυμεταβλητό λογισμό, απαιτείται η γενίκευσή τους σε πολλαπλές μεταβλητές, και επομένως το πεδίο είναι πολυδιάστατο. Επομένως, απαιτείται προσοχή σε αυτές τις γενικεύσεις, λόγω δύο βασικών διαφορών μεταξύ των χώρων 1D και των χώρων υψηλότερων διαστάσεων[3]:

  1. Υπάρχουν άπειροι τρόποι για να προσεγγίσουμε ένα σημείο στις υψηλότερες διαστάσεις, σε αντίθεση με τους δύο (από τη θετική και την αρνητική κατεύθυνση) στις 1D,
  2. Υπάρχουν πολλαπλά εκτεταμένα αντικείμενα που σχετίζονται με τη διάσταση- για παράδειγμα, για μια συνάρτηση 1D, πρέπει να αναπαρίσταται ως καμπύλη στο καρτεσιανό επίπεδο 2D, αλλά μια συνάρτηση με δύο μεταβλητές είναι μια επιφάνεια στο 3D, ενώ οι καμπύλες μπορούν επίσης να υπάρχουν στον 3D χώρο.

Η συνέπεια της πρώτης διαφοράς είναι η διαφορά στον ορισμό του ορίου και της διαφοροποίησης. Τα όρια και οι παράγωγοι κατεύθυνσης ορίζουν το όριο και τη διαφορική κατά μήκος μιας παραμετρικής καμπύλης 1D, μειώνοντας το πρόβλημα στην περίπτωση 1D. Περαιτέρω αντικείμενα υψηλότερης διάστασης μπορούν να κατασκευαστούν από αυτούς τους τελεστές.

Συνέπεια της δεύτερης διαφοράς είναι η ύπαρξη πολλαπλών τύπων ολοκλήρωσης, συμπεριλαμβανομένων των ολοκληρωμάτων γραμμής, των ολοκληρωμάτων επιφάνειας και των ολοκληρωμάτων όγκου. Λόγω της μη μοναδικότητας αυτών των ολοκληρωμάτων, δεν μπορεί να οριστεί σωστά ένα αντιπαράγωγο ή ένα αόριστο ολοκλήρωμα.

Όρια

Η μελέτη των ορίων και της συνέχειας στον πολυμεταβλητό λογισμό δίνει πολλά αντιφατικά αποτελέσματα που δεν αποδεικνύονται από συναρτήσεις μίας μεταβλητής.

Ένα όριο κατά μήκος μιας διαδρομής μπορεί να οριστεί θεωρώντας μια παραμετροποιημένη διαδρομή s(t):n στον n-διάστατο Ευκλείδειο χώρο. Οποιαδήποτε συνάρτηση f(x):nm μπορεί στη συνέχεια να προβάλλεται στο μονοπάτι ως 1D συνάρτηση f(s(t)). Το όριο της f στο σημείο s(t0) κατά μήκος της διαδρομής s(t) μπορεί επομένως να οριστεί ως εξής

Πρότυπο:NumBlk

Ας σημειωθεί ότι η τιμή αυτού του ορίου μπορεί να εξαρτάται από τη μορφή του s(t), δηλαδή από τη διαδρομή που επιλέγεται, όχι μόνο από το σημείο στο οποίο προσεγγίζει το όριο.[2]Πρότυπο:Rp Παραδείγματος χάριν, ας πάρουμε τη συνάρτηση

f(x,y)=x2yx4+y2.

Αν το σημείο (0,0) προσεγγίζεται μέσω της ευθείας y=kx, ή σε παραμετρική μορφή:

Γραφική παράσταση της συνάρτησης Πρότυπο:Math

Πρότυπο:NumBlk

Τότε το όριο κατά μήκος της διαδρομής θα είναι:

Πρότυπο:NumBlk

Από την άλλη πλευρά, αν επιλεγεί η διαδρομή y=±x2 (ή παραμετρικά, x(t)=t,y(t)=±t2), τότε το όριο γίνεται:

Πρότυπο:NumBlk

Δεδομένου ότι η λήψη διαφορετικών διαδρομών προς το ίδιο σημείο δίνει διαφορετικές τιμές, δεν μπορεί να οριστεί ένα γενικό όριο στο σημείο (0,0) για τη συνάρτηση.

Ένα γενικό όριο μπορεί να οριστεί αν τα όρια σε ένα σημείο κατά μήκος όλων των πιθανών διαδρομών συγκλίνουν στην ίδια τιμή, δηλαδή λέμε για μια συνάρτηση f:nm ότι το όριο της f σε κάποιο σημείο x0n είναι L, αν και μόνο αν

Πρότυπο:NumBlk

για όλες τις συνεχείς συναρτήσεις s(t):n τέτοιες ώστε s(t0)=x0.

Συνέχεια

Από την έννοια του ορίου κατά μήκος μιας διαδρομής, μπορούμε στη συνέχεια να εξάγουμε τον ορισμό για την πολυμεταβλητή συνέχεια με τον ίδιο τρόπο, δηλαδή: λέμε για μια συνάρτηση f:nm ότι η f είναι συνεχής στο σημείο x0, αν και μόνο αν

Πρότυπο:NumBlk

για όλες τις συνεχείς συναρτήσεις s(t):n such that s(t0)=x0.

Όπως συμβαίνει και με τα όρια, η συνέχεια κατά μήκος μιας διαδρομής s(t) δεν συνεπάγεται πολυμεταβλητή συνέχεια.

Το ότι η συνέχεια σε κάθε επιχείρημα δεν αρκεί για την πολυμεταβλητή συνέχεια μπορεί επίσης να φανεί από το ακόλουθο παράδειγμα.[2]Πρότυπο:Rp . Επί παραδείγματι, για μια συνάρτηση πραγματικών τιμών f:2 με δύο παραμέτρους πραγματικής τιμής, f(x,y), η συνέχεια της f στο x για σταθερό y και η συνέχεια της f στο y για σταθερό x δεν συνεπάγεται συνέχεια της f.

Ας θεωρήσουμε το

f(x,y)={yxyif0y<x1xyxif0x<y11xif0<x=y0everywhere else.

Είναι εύκολο να επαληθεύσουμε ότι η συνάρτηση αυτή είναι μηδέν εξ ορισμού συνοριακή και εκτός του τετραγώνου (0,1)×(0,1). Επιπλέον, οι συναρτήσεις που ορίζονται για σταθερές x και y και 0a1 από

ga(x)=f(x,a) και ha(y)=f(a,y)

είναι συνεχείς. Συγκεκριμένα,

g0(x)=f(x,0)=h0(0,y)=f(0,y)=0 για όλα τα Πρότυπο:Mvar και Πρότυπο:Mvar. Επομένως, f(0,0)=0 και επιπλέον, κατά μήκος των αξόνων συντεταγμένων, limx0f(x,0)=0 και limy0f(0,y)=0. Επομένως, η συνάρτηση είναι συνεχής κατά μήκος και των δύο επιμέρους ορίσματων.

Ωστόσο, ας εξετάσουμε την παραμετρική διαδρομή x(t)=t,y(t)=t. Η παραμετρική συνάρτηση γίνεται

Πρότυπο:NumBlk

Ως εκ τούτου,

Πρότυπο:NumBlk

Είναι επομένως σαφές ότι η συνάρτηση δεν είναι πολυμεταβλητή συνεχής, παρά το γεγονός ότι είναι συνεχής και στις δύο συντεταγμένες.

Θεωρήματα σχετικά με πολυμεταβλητά όρια και συνέχεια

  • Όλες οι ιδιότητες της γραμμικότητας και της υπέρθεσης από τον λογισμό μιας μεταβλητής μεταφέρονται στον πολυμεταβλητό λογισμό.
  • Σύνθεση': Αν f:nm και g:mp είναι και οι δύο πολυμεταβλητές συνεχείς συναρτήσεις στα σημεία x0n και f(x0)m αντίστοιχα, τότε gf:np είναι επίσης μια πολυμεταβλητή συνεχής συνάρτηση στο σημείο x0.
  • Πολλαπλασιασμός: Αν f:n και g:n είναι και οι δύο συνεχείς συναρτήσεις στο σημείο x0n, τότε fg:n είναι συνεχής στο x0, και f/g:n είναι επίσης συνεχής στο x0 υπό την προϋπόθεση ότι g(x0)0.
  • Αν f:n είναι συνεχής συνάρτηση στο σημείο x0n, τότε |f| είναι επίσης συνεχής στο ίδιο σημείο.
  • Αν f:nm είναι συνεχής κατά Λίπσιτς (με τους κατάλληλους κανονικοποιημένους χώρους όπως απαιτείται) στη γειτονιά του σημείου x0n, τότε η f είναι πολυμεταβλητή συνεχής στο x0.

Πρότυπο:Collapse top Από τη συνθήκη συνέχειας του Λίπσιτς για την f έχουμε

Πρότυπο:NumBlk

όπου K είναι η σταθερά Λίπσιτς. Ας σημειωθεί επίσης ότι, καθώς το s(t) είναι συνεχές στο t0, για κάθε δ>0 υπάρχει ένα ϵ>0 τέτοιο ώστε |s(t)s(t0)|<δ |tt0|<ϵ.

Επομένως, για κάθε α>0, επιλέγουμε δ=αK, υπάρχει ένα ϵ>0 τέτοιο ώστε για όλα τα t που ικανοποιούν |tt0|<ϵ, |s(t)s(t0)|<δ, και |f(s(t))f(s(t0))|K|s(t)s(t0)|<Kδ=α. Επομένως, η limtt0f(s(t)) συγκλίνει στην f(s(t0)) ανεξάρτητα από την ακριβή μορφή της s(t).

Πρότυπο:Collapse bottom

Διαφοροποίηση

Κατευθυντική παράγωγος

Η παράγωγος μιας μεταβλητής συνάρτησης ορίζεται ως

Πρότυπο:NumBlk

Χρησιμοποιώντας την επέκταση των ορίων που συζητήθηκε παραπάνω, μπορεί κανείς να επεκτείνει τον ορισμό της παραγώγου σε μια συνάρτηση με βαθμωτή τιμή f:n κατά μήκος κάποιας διαδρομής s(t):n:

Πρότυπο:NumBlk

Σε αντίθεση με τα όρια, για τα οποία η τιμή εξαρτάται από την ακριβή μορφή της διαδρομής s(t), μπορεί να δειχθεί ότι η παράγωγος κατά μήκος της διαδρομής εξαρτάται μόνο από το εφαπτόμενο διάνυσμα της διαδρομής στο s(t0), δηλαδή. δηλαδή s(t0), υπό την προϋπόθεση ότι η f είναι συνεχής κατά Λίπσιτς στο s(t0) και ότι το όριο εξέρχεται για τουλάχιστον ένα τέτοιο μονοπάτι.

Πρότυπο:Collapse top

Για το s(t) συνεχές μέχρι την πρώτη παράγωγο (η δήλωση αυτή είναι καλά ορισμένη, καθώς το s είναι συνάρτηση μιας μεταβλητής), μπορούμε να γράψουμε το ανάπτυγμα Τέιλορ του s γύρω από το t0 χρησιμοποιώντας το θεώρημα του Τέιλορ για να κατασκευάσουμε το υπόλοιπο:

Πρότυπο:NumBlk

όπου τ[t0,t].

Αντικαθιστώντας αυτό στην Πρότυπο:EquationNote,

Πρότυπο:NumBlk

όπου τ(h)[t0,t0+h].

Η συνέχεια του Λίπσιτς μας δίνει |f(x)f(y)|K|xy| για κάποιο πεπερασμένο <K, x,yn. Προκύπτει ότι |f(x+O(h))f(x)|O(h).

Ας σημειωθεί επίσης ότι δεδομένης της συνέχειας του s(t), s(τ)=s(t0)+O(h) καθώς h0.

Αντικαθιστώντας αυτές τις δύο συνθήκες στο Πρότυπο:EquationNote,

Πρότυπο:NumBlk

του οποίου το όριο εξαρτάται μόνο από το s(t0) ως τον κυρίαρχο όρο.

Πρότυπο:Collapse bottom

Επομένως, είναι δυνατόν να παραχθεί ο ορισμός της κατευθυντικής παραγώγου ως εξής: Η κατευθυντική παράγωγος μιας συνάρτησης με βαθμωτή τιμή f:n κατά μήκος του μοναδιαίου διανύσματος 𝐮^ σε κάποιο σημείο x0n είναι

Πρότυπο:NumBlk

ή, όταν εκφράζεται με όρους συνήθους διαφοροποίησης,

Πρότυπο:NumBlk

η οποία είναι μια καλά ορισμένη έκφραση επειδή f(x0+𝐮^t) είναι μια βαθμωτή συνάρτηση με μια μεταβλητή στο t.

Δεν είναι δυνατόν να οριστεί μια μοναδική κλιμακωτή παράγωγος χωρίς κατεύθυνση- είναι σαφές, επί παραδείγματι, ότι 𝐮^f(x0)=𝐮^f(x0). Είναι επίσης δυνατόν να υπάρχουν κατευθυντικές παράγωγοι για ορισμένες κατευθύνσεις αλλά όχι για άλλες.

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

Η μερική παράγωγος γενικεύει την έννοια της παραγώγου σε υψηλότερες διαστάσεις. Η μερική παράγωγος μιας πολυμεταβλητής συνάρτησης είναι η παράγωγος ως προς μία μεταβλητή με όλες τις άλλες μεταβλητές να παραμένουν σταθερές.[2]Πρότυπο:Rp

Μια μερική παράγωγος μπορεί να θεωρηθεί ως η κατευθυντική παράγωγος της συνάρτησης κατά μήκος ενός άξονα συντεταγμένων.

Οι μερικές παράγωγοι μπορούν να συνδυαστούν με ενδιαφέροντες τρόπους για τη δημιουργία πιο περίπλοκων εκφράσεων της παραγώγου. Στο διανυσματικό λογισμό, ο τελεστής del () χρησιμοποιείται για να ορίσει τις έννοιες της κλίσης, της απόκλισης και της κύρτωσης με όρους μερικών παραγώγων. Ένας πίνακας μερικών παραγώγων, ο Ιακωβιανός πίνακας, μπορεί να χρησιμοποιηθεί για την αναπαράσταση της παραγώγου μιας συνάρτησης μεταξύ δύο χώρων αυθαίρετης διάστασης. Η παράγωγος μπορεί έτσι να κατανοηθεί ως ένας γραμμικός μετασχηματισμός που μεταβάλλεται άμεσα από σημείο σε σημείο στο πεδίο της συνάρτησης.

Οι διαφορικές εξισώσεις που περιέχουν μερικές παραγώγους ονομάζονται μερικές διαφορικές εξισώσεις ή PDE. Οι εξισώσεις αυτές είναι γενικά πιο δύσκολο να επιλυθούν από τις συνήθεις διαφορικές εξισώσεις, οι οποίες περιέχουν παραγώγους ως προς μία μόνο μεταβλητή.[2]Πρότυπο:Rp

Πολλαπλή ενσωμάτωση

Το πολλαπλό ολοκλήρωμα επεκτείνει την έννοια του ολοκληρώματος σε συναρτήσεις οποιουδήποτε αριθμού μεταβλητών. Τα διπλά και τριπλά ολοκληρώματα μπορούν να χρησιμοποιηθούν για τον υπολογισμό εμβαδών και όγκων περιοχών στο επίπεδο και στο χώρο. Το θεώρημα του Φουμπίνι εγγυάται ότι ένα πολλαπλό ολοκλήρωμα μπορεί να εκτιμηθεί ως επαναλαμβανόμενο ολοκλήρωμα ή επαναλαμβανόμενο ολοκλήρωμα εφόσον το ολοκλήρωμα είναι συνεχές σε όλη την περιοχή ολοκλήρωσης[2]Πρότυπο:Rp

Το επιφανειακό ολοκλήρωμα και το ευθύγραμμο ολοκλήρωμα χρησιμοποιούνται για την ολοκλήρωση πάνω σε καμπύλες πολλαπλότητας όπως οι επιφάνειες και οι καμπύλες.

Βασικό θεώρημα του λογισμού σε πολλαπλές διαστάσεις

Στον λογισμό μίας μεταβλητής, το θεμελιώδες θεώρημα του λογισμού εγκαθιδρύει μια σύνδεση μεταξύ της παραγώγου και του ολοκληρώματος. Η σύνδεση μεταξύ της παραγώγου και του ολοκληρώματος στον λογισμό πολλαπλών μεταβλητών ενσωματώνεται από τα ολοκληρωτικά θεωρήματα του διανυσματικού λογισμού:[2]Πρότυπο:Rp

  • Θεώρημα κλίσης[4]
  • Θεώρημα Στόουκ[5]
  • Θεώρημα απόκλισης[6]
  • Θεώρημα του Γκριν (Green).[7]

Σε μια πιο προχωρημένη μελέτη του πολυμεταβλητού λογισμού, γίνεται αντιληπτό ότι αυτά τα τέσσερα θεωρήματα είναι ειδικές ενσαρκώσεις ενός γενικότερου θεωρήματος, του γενικευμένου θεωρήματος του Στόουκς, το οποίο εφαρμόζεται στην ολοκλήρωση διαφορικών μορφών πάνω σε πολλαπλές.[8]

Εφαρμογές και χρήσεις

Οι τεχνικές του πολυμεταβλητού λογισμού χρησιμοποιούνται για τη μελέτη πολλών αντικειμένων που παρουσιάζουν ενδιαφέρον στον υλικό κόσμο.

Τύπος των λειτουργιών Εφαρμόσιμες τεχνικές
Καμπύλη f:n
for n>1
Μήκη καμπυλών, γραμμικά ολοκληρώματα και καμπυλότητα.
Επιφάνεια f:2n
for n>2
Περιοχές επιφανειών, επιφανειακά ολοκληρώματα, ροή μέσω επιφανειών και καμπυλότητα.
Βαθμωτό πεδίο f:n Μέγιστα και ελάχιστα, πολλαπλασιαστές Λαγκράνζ, κατευθυντικές παράγωγοι, σύνολα επιπέδων.
Διανυσματικό πεδίο f:mn Οποιαδήποτε από τις πράξεις του διανυσματικού λογισμού, συμπεριλαμβανομένης της κλίσης, της απόκλισης και της περιστροφής.

Ο πολυμεταβλητός λογισμός μπορεί να εφαρμοστεί για την ανάλυση ντετερμινιστικών συστημάτων που έχουν πολλούς βαθμούς ελευθερίας. Συχνά χρησιμοποιούνται συναρτήσεις με ανεξάρτητες μεταβλητές που αντιστοιχούν σε καθέναν από τους βαθμούς ελευθερίας για τη μοντελοποίηση αυτών των συστημάτων και ο πολυμεταβλητός λογισμός παρέχει εργαλεία για τον χαρακτηρισμό της δυναμικής του συστήματος.

Ο πολυμεταβλητός λογισμός χρησιμοποιείται στον βέλτιστο έλεγχο δυναμικών συστημάτων συνεχούς χρόνου. Χρησιμοποιείται στην ανάλυση παλινδρόμησης για την εξαγωγή τύπων για την εκτίμηση των σχέσεων μεταξύ διαφόρων συνόλων εμπειρικών δεδομένων.

Ο πολυμεταβλητός λογισμός χρησιμοποιείται σε πολλά πεδία των φυσικών και κοινωνικών επιστημών και της μηχανικής για τη μοντελοποίηση και μελέτη συστημάτων υψηλής διάστασης που παρουσιάζουν ντετερμινιστική συμπεριφορά. Στα οικονομικά, λόγου χάριν, η επιλογή του καταναλωτή για μια ποικιλία αγαθών και η επιλογή του παραγωγού για διάφορες εισροές που θα χρησιμοποιήσει και εκροές που θα παράγει, μοντελοποιούνται με τον πολυμεταβλητό λογισμό.

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

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

Δείτε επίσης

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

Παραπομπές

Πρότυπο:Reflist

Πηγές

Πρότυπο:Portal bar Πρότυπο:Authority control