Συντηρητικό διανυσματικό πεδίο

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

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

Άτυπη μεταχείριση

Σε ένα δισδιάστατο και τρισδιάστατο χώρο, υπάρχει μια ασάφεια στη λήψη ενός ολοκληρώματος μεταξύ δύο σημείων, καθώς υπάρχουν άπειρες διαδρομές μεταξύ των δύο σημείων - εκτός από την ευθεία γραμμή που σχηματίζεται μεταξύ των δύο σημείων, θα μπορούσε κανείς να επιλέξει μια καμπύλη διαδρομή μεγαλύτερου μήκους, όπως φαίνεται στο σχήμα. Επομένως, γενικά, η τιμή του ολοκληρώματος εξαρτάται από τη διαδρομή που λαμβάνεται. Ωστόσο, στην ειδική περίπτωση ενός συντηρητικού διανυσματικού πεδίου, η τιμή του ολοκληρώματος είναι ανεξάρτητη από τη διαδρομή που λαμβάνεται, η οποία μπορεί να θεωρηθεί ως μια μεγάλης κλίμακας ακύρωση όλων των στοιχείων $d{R}$ που δεν έχουν συνιστώσα κατά μήκος της ευθείας μεταξύ των δύο σημείων. Για να το οπτικοποιήσουμε αυτό, ας φανταστούμε δύο ανθρώπους που σκαρφαλώνουν σε έναν γκρεμό- ο ένας αποφασίζει να σκαρφαλώσει τον γκρεμό ανεβαίνοντας κατακόρυφα, και ο δεύτερος αποφασίζει να περπατήσει κατά μήκος ενός ελικοειδούς μονοπατιού που έχει μεγαλύτερο μήκος από το ύψος του γκρεμού, αλλά με μικρή μόνο γωνία ως προς την οριζόντια. Παρόλο που οι δύο πεζοπόροι έχουν ακολουθήσει διαφορετικές διαδρομές για να φτάσουν στην κορυφή του γκρεμού, στην κορυφή θα έχουν κερδίσει και οι δύο την ίδια ποσότητα βαρυτικής δυναμικής ενέργειας. Αυτό συμβαίνει επειδή ένα βαρυτικό πεδίο είναι συντηρητικό.

Απεικόνιση δύο πιθανών διαδρομών για την ενσωμάτωση. Με πράσινο χρώμα είναι η απλούστερη δυνατή διαδρομή- το μπλε δείχνει μια πιο περιπλεγμένη καμπύλη.

Διαισθητική εξήγηση

Ο Μαουρίτς Κορνέλις Έσερ απεικονίζει ένα μη συντηρητικό διανυσματικό πεδίο, το οποίο είναι αδύνατο να εμφανιστεί ως η κλίση του μεταβαλλόμενου ύψους πάνω από το έδαφος (βαρυτικό δυναμικό) καθώς κάποιος κινείται κατά μήκος της σκάλας. Το πεδίο δυνάμεων που βιώνει αυτός που κινείται στη σκάλα είναι μη συντηρητικό, δεδομένου ότι μπορεί κανείς να επιστρέψει στο σημείο εκκίνησης ανεβαίνοντας περισσότερο από ό,τι κατεβαίνει ή το αντίστροφο, με αποτέλεσμα το έργο που επιτελείται από τη βαρύτητα να μην είναι μηδενικό. Σε μια πραγματική σκάλα, το ύψος πάνω από το έδαφος είναι ένα βαθμωτό δυναμικό πεδίο: πρέπει να ανέβει κανείς ακριβώς όσο κατεβαίνει για να επιστρέψει στο ίδιο σημείο, οπότε το έργο της βαρύτητας μηδενίζεται. Αυτό υποδηλώνει την ανεξαρτησία της διαδρομής του έργου που εκτελείται στη σκάλα- ισοδύναμα, το πεδίο δυνάμεων που βιώνεται είναι συντηρητικό (βλ. την επόμενη ενότητα: Ανεξαρτησία διαδρομής και συντηρητικό διανυσματικό πεδίο). Η κατάσταση που απεικονίζεται στην εκτύπωση είναι αδύνατη.

Ορισμός

Ένα διανυσματικό πεδίο $\mathbf {v} :U\to \mathbb {R} ^{n}$ όπου $U$ είναι ένα ανοικτό υποσύνολο του $\mathbb {R} ^{n}$, λέγεται συντηρητικό αν υπάρχει ένα $C^{1}$ (συνεχώς διαφορίσιμο) βαθμωτό πεδίο $\varphi$ $U$ έτσι ώστε

$\mathbf {v} =\nabla \varphi .$

Εδώ, $\nabla \varphi$ δηλώνει την κλίση του $\varphi$. Εφόσον η $\varphi$ είναι συνεχώς διαφορίσιμη, η $\mathbf {v}$ είναι συνεχής. Όταν ισχύει η παραπάνω εξίσωση, το $\varphi$ ονομάζεται βαθμωτό δυναμικό για $\mathbf {v}$.

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

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

Ανεξαρτησία διαδρομής

Ένα γραμμικό ολοκλήρωμα ενός διανυσματικού πεδίου $\mathbf {v}$ λέγεται ότι είναι ανεξάρτητο από τη διαδρομή αν εξαρτάται μόνο από δύο τελικά σημεία της διαδρομής του ολοκληρώματος, ανεξάρτητα από το ποια διαδρομή μεταξύ τους επιλέγεται:

$\int _{P_{1}}\mathbf {v} \cdot d\mathbf {r} =\int _{P_{2}}\mathbf {v} \cdot d\mathbf {r}$

για κάθε ζεύγος ολοκληρωμένων διαδρομών $P_{1}$ και $P_{2}$ μεταξύ ενός δεδομένου ζεύγους τελικών σημείων διαδρομής στο $U$.

Η ανεξαρτησία διαδρομής εκφράζεται επίσης ισοδύναμα ως εξής

$\int _{P_{c}}\mathbf {v} \cdot d\mathbf {r} =0$

για κάθε τεμαχιακά λεία κλειστή διαδρομή $P_{c}$ στο $U$ όπου τα δύο τελικά σημεία συμπίπτουν. Οι δύο εκφράσεις είναι ισοδύναμες αφού κάθε κλειστό μονοπάτι $P_{c}$ μπορεί να γίνει από δύο μονοπάτια- $P_{1}$ από ένα τελικό σημείο $A$ σε ένα άλλο τελικό σημείο $B$, και $P_{2}$ από $B$ σε $A$, οπότε

$\int _{P_{c}}\mathbf {v} \cdot d\mathbf {r} =\int _{P_{1}}\mathbf {v} \cdot d\mathbf {r} +\int _{P_{2}}\mathbf {v} \cdot d\mathbf {r} =\int _{P_{1}}\mathbf {v} \cdot d\mathbf {r} -\int _{-P_{2}}\mathbf {v} \cdot d\mathbf {r} =0$

όπου $-P_{2}$ είναι το αντίστροφο του $P_{2}$ και η τελευταία ισότητα ισχύει λόγω της ανεξαρτησίας της διαδρομής ${\textstyle \displaystyle \int _{P_{1}}\mathbf {v} \cdot d\mathbf {r} =\int _{-P_{2}}\mathbf {v} \cdot d\mathbf {r} .}$

Συντηρητικό διανυσματικό πεδίο

Μια βασική ιδιότητα ενός συντηρητικού διανυσματικού πεδίου $\mathbf {v}$ είναι ότι το ολοκλήρωμά του κατά μήκος μιας διαδρομής εξαρτάται μόνο από τα τελικά σημεία αυτής της διαδρομής και όχι από τη συγκεκριμένη διαδρομή που ακολουθήθηκε. Με άλλα λόγια, «'αν είναι ένα συντηρητικό διανυσματικό πεδίο, τότε το γραμμικό ολοκλήρωμά του είναι ανεξάρτητο από τη διαδρομή». Έστω ότι $\mathbf {v} =\nabla \varphi$ για κάποιο $C^{1}$ (συνεχώς διαφορίσιμο) βαθμωτό πεδίο $\varphi$ πάνω από το $U$ ως ανοιχτό υποσύνολο του $\mathbb {R} ^{n}$ (οπότε $\mathbf {v}$ είναι ένα συντηρητικό διανυσματικό πεδίο που είναι συνεχές) και $P$ είναι ένα διαφορίσιμο μονοπάτι (i. e., μπορεί να παραμετροποιηθεί από μια διαφορίσιμη συνάρτηση) στο $U$ με ένα αρχικό σημείο $A$ και ένα τελικό σημείο $B$. Τότε το θεώρημα κλίσης (που ονομάζεται επίσης “'θεμελιώδες θεώρημα του λογισμού για γραμμικά ολοκληρώματα”') δηλώνει ότι

$\int _{P}\mathbf {v} \cdot d{\mathbf {r} }=\varphi (B)-\varphi (A).$

Αυτό ισχύει ως συνέπεια του ορισμού του γραμμικού ολοκληρώματος, του κανόνα της αλυσίδας και του δεύτερου θεμελιώδους θεωρήματος του λογισμού. $\mathbf {v} \cdot d\mathbf {r} =\nabla {\varphi }\cdot d\mathbf {r}$ στο γραμμικό ολοκλήρωμα είναι ένα ακριβές διαφορικό για ένα ορθογώνιο σύστημα συντεταγμένων (π.χ. καρτεσιανές, κυλινδρικές ή σφαιρικές συντεταγμένες). Εφόσον το θεώρημα της κλίσης ισχύει για μια διαφορίσιμη διαδρομή, η ανεξαρτησία διαδρομής ενός συντηρητικού διανυσματικού πεδίου πάνω σε καμπύλες με τμηματική διαφοροποίηση αποδεικνύεται επίσης με την απόδειξη ανά συνιστώσα διαφορίσιμης καμπύλης.

Μέχρι στιγμής έχει αποδειχθεί ότι ένα συντηρητικό διανυσματικό πεδίο $\mathbf {v}$ είναι γραμμικό ολοκλήρωμα ανεξάρτητο από τη διαδρομή. Αντίστροφα, “'αν ένα συνεχές διανυσματικό πεδίο $\mathbf {v}$ είναι (γραμμικό ολοκλήρωμα) ανεξάρτητο από τη διαδρομή, τότε είναι ένα συντηρητικό διανυσματικό πεδίο, οπότε ισχύει η ακόλουθη διττή δήλωση:

Για ένα συνεχές διανυσματικό πεδίο $\mathbf {v} :U\to \mathbb {R} ^{n}$, όπου $U$ είναι ένα ανοικτό υποσύνολο του $\mathbb {R} ^{n}$, είναι συντηρητικό αν και μόνο αν το ευθύγραμμο ολοκλήρωμά του κατά μήκος ενός μονοπατιού στο $U$ είναι ανεξάρτητο μονοπατιού, που σημαίνει ότι το γραμμικό ολοκλήρωμα εξαρτάται μόνο από τα δύο τελικά σημεία του μονοπατιού ανεξάρτητα από το ποιο μονοπάτι μεταξύ τους επιλέγεται..

Η απόδειξη αυτής της αντίστροφης δήλωσης είναι η ακόλουθη.

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

$\mathbf {v}$ είναι ένα συνεχές διανυσματικό πεδίο του οποίου το ευθύγραμμο ολοκλήρωμα είναι ανεξάρτητο από τη διαδρομή. Στη συνέχεια, ας φτιάξουμε μια συνάρτηση $\varphi$ που ορίζεται ως εξής

$\varphi (x,y)=\int _{a,b}^{x,y}\mathbf {v} \cdot d{\mathbf {r} }$

σε μια αυθαίρετη διαδρομή μεταξύ ενός επιλεγμένου σημείου εκκίνησης $(a,b)$ και ενός αυθαίρετου σημείου $(x,y)$.Δεδομένου ότι είναι ανεξάρτητη από τη διαδρομή, εξαρτάται μόνο από τα $(a,b)$ και $(x,y)$ ανεξάρτητα από το ποια διαδρομή μεταξύ αυτών των σημείων επιλέγεται.

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

$\int _{a,b}^{x,y}\mathbf {v} \cdot d{\mathbf {r} }=\int _{a,b}^{x_{1},y}\mathbf {v} \cdot d{\mathbf {r} }+\int _{x_{1},y}^{x,y}\mathbf {v} \cdot d{\mathbf {r} }.$

Από την ανεξαρτησία της διαδρομής, η μερική παράγωγος της ως προς $x$ (για να έχει η $\varphi$ μερικές παραγώγους, η $\mathbf {v}$ πρέπει να είναι συνεχής) είναι

${\frac {\partial \varphi }{\partial x}}={\frac {\partial }{\partial x}}\int _{a,b}^{x,y}\mathbf {v} \cdot d{\mathbf {r} }={\frac {\partial }{\partial x}}\int _{a,b}^{x_{1},y}\mathbf {v} \cdot d{\mathbf {r} }+{\frac {\partial }{\partial x}}\int _{x_{1},y}^{x,y}\mathbf {v} \cdot d{\mathbf {r} }=0+{\frac {\partial }{\partial x}}\int _{x_{1},y}^{x,y}\mathbf {v} \cdot d{\mathbf {r} }$

αφού τα $x_{1}$ και $x$ είναι ανεξάρτητα μεταξύ τους. Ας εκφράσουμε το $\mathbf {v}$ ως ${\displaystyle \mathbf {v} }=P(x,y)\mathbf {i} +Q(x,y)\mathbf {j}$ όπου $\mathbf {i}$ και $\mathbf {j}$ είναι μοναδιαία διανύσματα κατά μήκος των αξόνων $x$ και $y$ αντίστοιχα, τότε, αφού $d\mathbf {r} =dx\mathbf {i} +dy\mathbf {j}$,

${\frac {\partial }{\partial x}}\varphi (x,y)={\frac {\partial }{\partial x}}\int _{x_{1},y}^{x,y}\mathbf {v} \cdot d\mathbf {r} ={\frac {\partial }{\partial x}}\int _{x_{1},y}^{x,y}P(t,y)dt=P(x,y)$

όπου η τελευταία ισότητα προέρχεται από το δεύτερο θεμελιώδες θεώρημα του λογισμού.

Μια παρόμοια προσέγγιση για το γραμμικό ολοκληρωτικό μονοπάτι που φαίνεται στα δεξιά του δεξιού σχήματος οδηγεί σε ${\textstyle {\frac {\partial }{\partial y}}\varphi (x,y)=Q(x,y)}$

έτσι

$\mathbf {v} =P(x,y)\mathbf {i} +Q(x,y)\mathbf {j} ={\frac {\partial \varphi }{\partial x}}\mathbf {i} +{\frac {\partial \varphi }{\partial y}}\mathbf {j} =\nabla \varphi$

αποδεικνύεται για το δισδιάστατο καρτεσιανό σύστημα συντεταγμένων. Αυτή η μέθοδος απόδειξης μπορεί εύκολα να επεκταθεί σε ένα ορθογώνιο σύστημα συντεταγμένων μεγαλύτερης διάστασης (π.χ. ένα 3-διάστατο σφαιρικό σύστημα συντεταγμένων), οπότε αποδεικνύεται η αντίστροφη δήλωση. Μια άλλη απόδειξη βρίσκεται εδώ ως η αντίστροφη του θεωρήματος της κλίσης.

Αστρόβιλο διανυσματικό πεδίο

Το παραπάνω διανυσματικό πεδίο $\mathbf {v} =\left(-{\frac {y}{x^{2}+y^{2}}},{\frac {x}{x^{2}+y^{2}}},0\right)$ ορίζεται στο $U=\mathbb {R} ^{3}\setminus \{(0,0,z)\mid z\in \mathbb {R} \}$, i.e., $\mathbb {R} ^{3}$ με την αφαίρεση όλων των συντεταγμένων στον άξονα $z$ (άρα όχι ένας απλά συνδεδεμένος χώρος), έχει μηδενική καμπύλη στο $U$ και συνεπώς είναι μη περιστροφικός. Ωστόσο, δεν είναι συντηρητικός και δεν έχει ανεξαρτησία διαδρομής.

Έστω $n=3$ (τρισδιάστατος χώρος), και έστω $\mathbf {v} :U\to \mathbb {R} ^{3}$ είναι ένα $C^{1}$ (συνεχώς διαφορίσιμο) διανυσματικό πεδίο, με ένα ανοικτό υποσύνολο $U$ του $\mathbb {R} ^{n}$. Τότε το $\mathbf {v}$ καλείται μη περιστροφικό αν η καμπύλη του είναι $\mathbf {0}$ παντού στο $U$, δηλαδή αν

$\nabla \times \mathbf {v} \equiv \mathbf {0} .$

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

Είναι μια ταυτότητα του διανυσματικού λογισμού ότι για κάθε $C^{2}$ (συνεχώς διαφορίσιμο μέχρι τη 2η παράγωγο) βαθμωτό πεδίο $\varphi$ στο $U$, έχουμε

$\nabla \times (\nabla \varphi )\equiv \mathbf {0} .$

Επομένως, κάθε συντηρητικό διανυσματικό πεδίο $C^{1}$ στο $U$ είναι επίσης ένα αστρόβιλο διανυσματικό πεδίο στο $U$. Αυτό το αποτέλεσμα μπορεί εύκολα να αποδειχθεί εκφράζοντας το $\nabla \times (\nabla \varphi )$ σε ένα καρτεσιανό σύστημα συντεταγμένων με το θεώρημα του Σβαρτς (που ονομάζεται επίσης θεώρημα του Κλαιρό για την ισότητα των μικτών μερικών).

Υπό την προϋπόθεση ότι το $U$ είναι ένας απλά συνδεδεμένος ανοιχτός χώρος («κατά προσέγγιση», ένας μονοκόμματος ανοιχτός χώρος χωρίς τρύπα στο εσωτερικό του), ισχύει και το αντίστροφο: Κάθε μη περιστροφικό διανυσματικό πεδίο σε έναν απλά συνδεδεμένο ανοιχτό χώρο $U$ είναι ένα $C^{1}$ συντηρητικό διανυσματικό πεδίο στο $U$.

Η παραπάνω δήλωση δεν είναι όχι αληθής γενικά αν η $U$ δεν είναι απλά συνδεδεμένη. Έστω $U$ $\mathbb {R} ^{3}$ με αφαίρεση όλων των συντεταγμένων στον άξονα $z$ (άρα όχι απλά συνδεδεμένος χώρος), δηλαδή $U=\mathbb {R} ^{3}\setminus \{(0,0,z)\mid z\in \mathbb {R} \}$. Τώρα, ορίζουμε ένα διανυσματικό πεδίο $\mathbf {v}$ στο $U$ ως εξής

$\mathbf {v} (x,y,z)~{\stackrel {\text{def}}{=}}~\left(-{\frac {y}{x^{2}+y^{2}}},{\frac {x}{x^{2}+y^{2}}},0\right).$

Τότε η $\mathbf {v}$ έχει μηδενικό στροβιλισμό παντού στην $U$ ($\nabla \times \mathbf {v} \equiv \mathbf {0}$ παντού στην $U$), δηλαδή η $\mathbf {v}$ είναι αστρόβιλη. Ωστόσο, η κυκλοφορία του $\mathbf {v}$ γύρω από τον μοναδιαίο κύκλο στο επίπεδο $xy$ είναι $2\pi$- σε πολικές συντεταγμένες, $\mathbf {v} =\mathbf {e} _{\phi }/r$, οπότε το ολοκλήρωμα στον μοναδιαίο κύκλο είναι

$\oint _{C}\mathbf {v} \cdot \mathbf {e} _{\phi }~d{\phi }=2\pi .$

Επομένως, η $\mathbf {v}$ δεν έχει την ιδιότητα ανεξαρτησίας διαδρομής που συζητήθηκε παραπάνω, οπότε δεν είναι συντηρητική ακόμη και αν $\nabla \times \mathbf {v} \equiv \mathbf {0}$ αφού το $U$ όπου ορίζεται το $\mathbf {v}$ δεν είναι ένας απλά συνδεδεμένος ανοικτός χώρος.

Ας πούμε πάλι, σε μια απλά συνδεδεμένη ανοικτή περιοχή, ένα αστρόβιλο διανυσματικό πεδίο $\mathbf {v}$ έχει την ιδιότητα ανεξαρτησίας διαδρομής (άρα $\mathbf {v}$ ως συντηρητικό). Αυτό μπορεί να αποδειχθεί άμεσα χρησιμοποιώντας το θεώρημα του Στόκες,

$\oint _{P_{c}}\mathbf {v} \cdot d\mathbf {r} =\iint _{A}(\nabla \times \mathbf {v} )\cdot d\mathbf {a} =0$

για κάθε ομαλή προσανατολισμένη επιφάνεια $A$ της οποίας το όριο είναι μια απλή κλειστή διαδρομή $P_{c}$. Έτσι, συμπεραίνεται ότι Σε μια απλά συνδεδεμένη ανοικτή περιοχή, κάθε $C^{1}$ διανυσματικό πεδίο που έχει την ιδιότητα της ανεξαρτησίας από τη διαδρομή (άρα είναι συντηρητικό διανυσματικό πεδίο.) πρέπει να είναι και στρόβιλο και το αντίστροφο.

Αφαίρεση

Πιο αφηρημένα, με την παρουσία μιας μετρικής του Ρίμαν, τα διανυσματικά πεδία αντιστοιχούν σε διαφορικές $1$-μορφές. Τα συντηρητικά διανυσματικά πεδία αντιστοιχούν στις ακριβείς $1$-forms, δηλαδή στις μορφές που είναι η εξωτερική παράγωγος $d\phi$ μιας συνάρτησης (βαθμωτού πεδίου) $\phi$ στο $U$. Τα μη περιστροφικά διανυσματικά πεδία αντιστοιχούν στις κλειστές $1$-forms, δηλαδή στις $1$-forms $\omega$ τέτοια ώστε $d\omega =0$. Καθώς d^2$=0$, κάθε ακριβής μορφή είναι κλειστή, άρα κάθε συντηρητικό διανυσματικό πεδίο είναι μη περιστροφικό. Αντίστροφα, όλες οι κλειστές $1$-μορφές είναι ακριβείς αν η $U$ είναι απλά συνεκτική.

Στροβιλότητα

Η στροβιλότητα ${\boldsymbol {\omega }}$ ενός διανυσματικού πεδίου μπορεί να οριστεί από:

${\boldsymbol {\omega }}~{\stackrel {\text{def}}{=}}~\nabla \times \mathbf {v} .$

Η στροβιλότητα ενός μη περιστροφικού πεδίου είναι παντού μηδενική. Το θεώρημα του Κέλβιν δηλώνει ότι ένα ρευστό που είναι αστρόβιλο σε μια αδιαφανή ροή θα παραμείνει αστρόβιλο. Αυτό το αποτέλεσμα μπορεί να προκύψει από την εξίσωση μεταφοράς στροβιλότητας, η οποία προκύπτει από τη λήψη της καμπύλης των εξισώσεων Ναβιέρ-Στόκες.

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

Συντηρητικές δυνάμεις

Παραδείγματα πεδίων δυναμικού και βαθμίδας στη φυσική:

•      βαθμωτά πεδία, βαθμωτό δυναμικό:
  • V_G, βαρυτικό δυναμικό
  • W_pot, (βαρυτική ή ηλεκτροστατική) δυναμική ενέργεια
  • V_C, δυναμικό Coulomb
•      Διανυσματικά πεδία, πεδία βαθμίδας:
  • a_G, βαρυτική επιτάχυνση
  • F, (βαρυτική ή ηλεκτροστατική) δύναμη
  • E, ένταση ηλεκτρικού πεδίου

Αν το διανυσματικό πεδίο που συνδέεται με μια δύναμη $\mathbf {F}$ είναι συντηρητικό, τότε η δύναμη λέγεται συντηρητική δύναμη.

Τα πιο γνωστά παραδείγματα συντηρητικών δυνάμεων είναι η βαρυτική δύναμη (που συνδέεται με ένα βαρυτικό πεδίο) και η ηλεκτρική δύναμη (που συνδέεται με ένα ηλεκτροστατικό πεδίο). Σύμφωνα με το νόμο της έλξης του Νεύτωνα, μια ελκτική δύναμη $\mathbf {F} _{G}$ που ασκείται σε μια μάζα $m$ λόγω μιας μάζας $M$ που βρίσκεται σε απόσταση

$r$ από το $m$, υπάγεται στην εξίσωση

$\mathbf {F} _{G}=-{\frac {GmM}{r^{2}}}{\hat {\mathbf {r} }},$

όπου $G$ είναι η Σταθερά της βαρύτητας και ${\hat {\mathbf {r} }}$ είναι ένα “'μοναδιαίο”' διάνυσμα που δείχνει από το $M$ προς το $m$. Η δύναμη της βαρύτητας είναι συντηρητική επειδή $\mathbf {F} _{G}=-\nabla \Phi _{G}$, όπου

$\Phi _{G}~{\stackrel {\text{def}}{=}}-{\frac {GmM}{r}}$

είναι η βαρυτική δυναμική ενέργεια. Με άλλα λόγια, το πεδίο βαρύτητας ${\frac {\mathbf {F} _{G}}{m}}$ που σχετίζεται με τη βαρυτική δύναμη $\mathbf {F} _{G}$ είναι η κλίση του δυναμικού βαρύτητας ${\frac {\Phi _{G}}{m}}$ που σχετίζεται με τη βαρυτική δυναμική ενέργεια $\Phi _{G}$. Μπορεί να αποδειχθεί ότι οποιοδήποτε διανυσματικό πεδίο της μορφής $\mathbf {F} =F(r){\hat {\mathbf {r} }}$ είναι συντηρητικό, υπό την προϋπόθεση ότι $F(r)$ είναι ολοκληρώσιμο.

Για τις συντηρητικές δυνάμεις, η “'ανεξαρτησία της διαδρομής”' μπορεί να ερμηνευθεί ότι το έργο που επιτελείται πηγαίνοντας από ένα σημείο $A$ σε ένα σημείο $B$ είναι ανεξάρτητο από την επιλεγμένη διαδρομή κίνησης (εξαρτάται μόνο από τα σημεία $A$ και $B$) και ότι το έργο $W$ που επιτελείται πηγαίνοντας γύρω από έναν απλό κλειστό βρόχο $C$ είναι $0$:

$W=\oint _{C}\mathbf {F} \cdot d{\mathbf {r} }=0.$

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

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

• English - Greek Dictionary of Pure and Applied Mathematics Εθνικό Μετσόβιο Πολυτεχνείο
• Αγγλοελληνικό Λεξικό Μαθηματικής Ορολογίας - Πανεπιστήμιο Κύπρου
• Ευκλείδεια Γεωμετρία - Πανελλήνιο Σχολικό Δίκτυο
• Θεωρία ομάδων και Λι αλγεβρών -Εθνικό Αρχείο Διδακτορικών Διατριβών
• Θεωρία Αριθμών και Εφαρμογές
• Υπολογιστική Θεωρία Αριθμών
• Καμπυλότητες και γεωμετρία του Riemann σε διαφορίσιμες πολλαπλότητες Εθνικό Αρχείο Διδακτορικών Διατριβών
• Μέθοδοι μηχανικής μάθησης βασισμένες σε έλεγχο μονοτροπικότητας Εθνικό Αρχείο Διδακτορικών Διατριβών
• Παράμετροι και Στατιστικά. Διωνυμική και Κανονική Κατανομή
• Wolfram Mathematica Online Integrator
• A Table of Integrals of the Error Functions

Δείτε επίσης

• Απαγορευτική αρχή του Πάουλι
• Μορφοκλασματική διάσταση
• Διδιάστατος χώρος
• Αλγεβρική θεωρία αριθμών
• Άρθουρ Στάνλεϋ Έντινγκτον
• Μοναδιαία βηματική συνάρτηση
• Σουμπραμανιάν Τσαντρασεκάρ
• Ευκλείδειος χώρος
• Υπερβολική γεωμετρία
• Βαθμός (γραμμική άλγεβρα)
• Εφαρμοσμένα μαθηματικά
• Υπολογιστική ρευστοδυναμική
• Καμπυλότητα Γκάους
• Καρτεσιανό σύστημα συντεταγμένων
• Θεμελιώδες θεώρημα αριθμητικής
• Αλγεβρική γεωμετρία
• Διάσταση Κρουλ
• Συνήθης διαφορική εξίσωση
• Γραμμική απεικόνιση

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

• Blank, Brian E.· Krantz, Steven George (2006). Calculus: Multivariable. Springer Science & Business Media. ISBN 978-1-931914-60-4. 
• Durrant, Alan (25 Φεβρουαρίου 2019). Vectors in Physics and Engineering. Routledge. ISBN 978-1-351-40555-3. 
• Sarwate, V. V. (1993). Electromagnetic Fields and Waves. bohem press. ISBN 978-81-224-0468-5. 
• Matthews, Paul C. (14 Ιανουαρίου 2000). Vector Calculus. Springer Science & Business Media. ISBN 978-3-540-76180-8. 
• Zill, Dennis G.· Wright, Warren S. (21 Δεκεμβρίου 2009). Dennis G. Zill, Warren S. Wright - Βιβλία Google. Jones & Bartlett Publishers. ISBN 978-0-7637-8241-2. 
• Ida, Nathan (1 Αυγούστου 2007). Engineering Electromagnetics. Springer Science & Business Media. ISBN 978-0-387-20156-6. 
• Zill, Dennis· Wright, Warren S. (11 Δεκεμβρίου 2009). Calculus: Early Transcendentals. Jones & Bartlett Learning. ISBN 978-0-7637-5995-7. 
• Hassani, Sadri (8 Οκτωβρίου 2008). Mathematical Methods: For Students of Physics and Related Fields. Springer Science & Business Media. ISBN 978-0-387-09504-2. 
• Joffe, Elya B.· Lock, Kai-Sang (1 Φεβρουαρίου 2023). Grounds for Grounding: A Handbook from Circuits to Systems. John Wiley & Sons. ISBN 978-1-119-77093-0. 
• Verma, Chirag (20 Φεβρουαρίου 2025). Foundations of Mathematical Physics. Educohack Press. ISBN 978-93-6152-858-3. 

Παραπομπές

• Boyd, John P. (2001). Chebyshev and Fourier Spectral Methods (PDF). Mineola, NY: Courier Corporation. ISBN 0-486-41183-4. 
• LeVeque, Randall J. (2002). Finite Volume Methods for Hyperbolic Problems. Cambridge University Press. doi:10.1017/cbo9780511791253. ISBN 978-0-521-81087-6. 
• Boothby, William (1986). An introduction to differentiable manifolds and Riemannian geometry. Pure and Applied Mathematics, volume 120 (second έκδοση). Orlando, FL: Academic Press. ISBN 0-12-116053-X. 
• Watson, G. N. (1966). A Treatise on the Theory of Bessel Functions, 2nd ed. Cambridge, England: Cambridge University Press. MR 1349110. 
• Fewell, M. P. (2006). «Area of common overlap of three circles». Defence Science and Technology Organisation. Αρχειοθετήθηκε από το πρωτότυπο στις 3 Μαρτίου 2022. 
• White, Joseph F. (1 Αυγούστου 2016). High Frequency Techniques: An Introduction to RF and Microwave Design and Computer Simulation. John Wiley & Sons. ISBN 978-1-119-24450-9. 
• Slater, John C.· Frank, Nathaniel H. (9 Μαρτίου 2012). Electromagnetism. Courier Corporation. ISBN 978-0-486-15040-6. 
• Barrera, Tony; Hast, Anders; Bengtsson, Ewert, «Surface Construction with Near Least Square Acceleration based on Vertex Normals on Triangular Meshes», στο: Ollila, Mark, επιμ., SIGRAD 2002, σελ. 43–48, https://www.diva-portal.org/smash/get/diva2:968852/FULLTEXT01.pdf#page=49 
• Martin, Ralph R. (6 Αυγούστου 2009). Mathematics of Surfaces XIII: 13th IMA International Conference York, UK, September 7-9, 2009 Proceedings. Springer Science & Business Media. ISBN 978-3-642-03595-1. 
• Iskovskikh, V.A. (2001), «Ruled surface», στο: Hazewinkel, Michiel, επιμ., Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, http://www.encyclopediaofmath.org/index.php?title=R/r082790 
• Sharp, John (2008), D-Forms: surprising new 3-D forms from flat curved shapes, Tarquin, ISBN 978-1-899618-87-3 . Review: Séquin, Carlo H. (2009), Journal of Mathematics and the Arts 3: 229–230,
• Press, WH; Teukolsky, SA; Vetterling, WT; Flannery, BP (2007), «Section 6.3. Exponential Integrals», Numerical Recipes: The Art of Scientific Computing (3rd έκδοση), New York: Cambridge University Press, ISBN 978-0-521-88068-8, http://apps.nrbook.com/empanel/index.html#pg=266, ανακτήθηκε στις 2011-08-09 
• Temme, N. M. (2010), "Exponential, Logarithmic, Sine, and Cosine Integrals", in Olver, Frank W. J.; Lozier, Daniel M.; Boisvert, Ronald F.; Clark, Charles W. (eds.), NIST Handbook of Mathematical Functions, Cambridge University Press, ISBN 978-0-521-19225-5, MR 2723248.

Πηγές

• Humanitarian Data Exchange(HDX) – The Humanitarian Data Exchange (HDX) is an open humanitarian data sharing platform managed by the United Nations Office for the Coordination of Humanitarian Affairs.
• NYC Open Data – free public data published by New York City agencies and other partners.
• Relational data set repository Αρχειοθετήθηκε 2018-03-07 στο Wayback Machine.
• Research Pipeline – a wiki/website with links to data sets on many different topics
• StatLib–JASA Data Archive
• UCI – a machine learning repository
• UK Government Public Data
• World Bank Open Data – Free and open access to global development data by World Bank
• Apostol, Tom M. (29 Ιουνίου 2013). Introduction to Analytic Number Theory. Springer Science & Business Media. ISBN 978-1-4757-5579-4. 
• Miller, P. D. (2006), Applied Asymptotic Analysis, American Mathematical Society, ISBN 9780821840788, https://books.google.com/books?id=KQvqBwAAQBAJ 
• Apostol, Thomas M. (1976), Introduction to Analytic Number Theory, New York: Springer, ISBN 0-387-90163-9, https://archive.org/details/introductiontoan00apos_0