Gradient (Mathematik): Unterschied zwischen den Versionen

Gradient (Mathematik): Unterschied zwischen den Versionen

imported>Aka
K (zu großen Zeilenabstand entfernt)
 
imported>Wruedt
K (Abschnittlink korrigiert)
 
Zeile 1: Zeile 1:
[[Datei:Gradient2.svg|mini|Zwei Skalarfelder, dargestellt als Grauschattierung (dunklere Färbung entspricht größerem Funktionswert). Die blauen Pfeile darauf symbolisieren den zugehörigen Gradienten.]]
[[Datei:Gradient2.svg|mini|Zwei Skalarfelder, dargestellt als Grauschattierung (dunklere Färbung entspricht größerem Funktionswert). Die blauen Pfeile darauf symbolisieren den zugehörigen Gradienten.]]


Der '''Gradient''' ist ein [[Mathematik|mathematischer]] [[Operator (Mathematik)|Operator]], genauer ein [[Differentialoperator]], der auf ein [[Skalarfeld]] angewandt werden kann und in diesem Fall ein [[Gradientenfeld]] genanntes [[Vektorfeld]] liefert. Der Gradient steht dabei senkrecht auf der Niveaufläche ([[Niveaumenge]]) des Skalarfeldes in einem Punkt ''P'' und der Betrag des Gradienten gibt die größte Änderungsrate des Skalarfeldes im Punkt ''P'' an.
Der '''Gradient''' als [[Operator (Mathematik)|Operator]] der [[Mathematik]] verallgemeinert die bekannten [[Gradient]]en, die den Verlauf von physikalischen Größen beschreiben. Als [[Differentialoperator]] kann er beispielsweise auf ein [[Skalarfeld]] angewandt werden und wird in diesem Fall ein [[Vektorfeld]] liefern, das [[Gradientenfeld]] genannt wird. Der Gradient ist eine Verallgemeinerung der [[Ableitungsfunktion|Ableitung]] in der [[Mehrdimensionale Analysis|mehrdimensionalen Analysis]]. Zur besseren Abgrenzung zwischen Operator und Resultat seiner Anwendung bezeichnet man solche Gradienten skalarer Feldgrößen in manchen Quellen auch als Gradientvektoren.<ref>[[Ernst Grimsehl]]: ''Lehrbuch der Physik.'' Band&nbsp;1: ''Mechanik, Wärmelehre, Akustik.'' 15. Auflage, herausgegeben von Walter Schallreuter. Teubner, Leipzig 1954, S.&nbsp;579.</ref>


Interpretiert man beispielsweise die [[Reliefkarte]] einer Landschaft als eine Funktion&nbsp;<math>h(x, y),</math> die jedem Ort die Höhe an dieser Stelle zuordnet, dann ist der Gradient von&nbsp;''h'' an der Stelle&nbsp;<math>(x, y)</math> ein Vektor in der [[xy-Ebene]], der in die ''Richtung'' des steilsten Anstiegs von&nbsp;''h'' an dieser Stelle zeigt und dessen ''Länge'' ein Maß für die Steilheit ([[Steigung]]) ist. Zur besseren Abgrenzung zwischen Operator und Resultat seiner Anwendung bezeichnet man solche Gradienten skalarer Feldgrößen in manchen Quellen auch als [[Gradientenfeld|Gradientvektoren]].<ref>[[Ernst Grimsehl]]: ''Lehrbuch der Physik.'' Band&nbsp;1: ''Mechanik, Wärmelehre, Akustik.'' 15.&nbsp;Auflage, herausgegeben von Walter Schallreuter. Teubner, Leipzig 1954, S.&nbsp;579.</ref>
In [[Kartesisches Koordinatensystem|kartesischen Koordinaten]] sind die Komponenten des Gradientvektors die [[Partielle Ableitung|partiellen Ableitungen]] im Punkt <math>P</math>, der Gradient zeigt deshalb in die Richtung der größten Änderung. Der Betrag des Gradienten gibt den Wert der größten Änderungsrate an diesem Punkt an.


Der Gradient wird zusammen mit anderen Differentialoperatoren wie [[Divergenz eines Vektorfeldes|Divergenz]] und [[Rotation eines Vektorfeldes|Rotation]] in der [[Vektoranalysis]], einem Teilgebiet der [[Mehrdimensionale Analysis|mehrdimensionalen Analysis]], untersucht. Sie werden mit dem gleichen Vektoroperator gebildet, und zwar mit dem sogenannten [[Nabla-Operator]] <math>\nabla</math> (um anzudeuten, dass der Nabla-Operator hilfsweise als Vektor verstanden werden kann, bisweilen auch <math>\vec{\nabla}</math> oder <math>\underline \nabla</math>).
Interpretiert man beispielsweise die [[Reliefkarte]] einer Landschaft als eine Funktion&nbsp;<math>h(x, y),</math> die jedem Ort die Höhe an dieser Stelle zuordnet, dann ist der Gradient von <math>h</math> an der Stelle <math>(x, y)</math> ein Vektor, der in die ''Richtung'' des größten Höhenanstiegs von <math>h</math> zeigt. Der ''Betrag'' dieses Vektors gibt die größte [[Steigung]] an diesem Punkt an.
 
Der Gradient wird zusammen mit anderen Differentialoperatoren wie [[Divergenz eines Vektorfeldes|Divergenz]] und [[Rotation eines Vektorfeldes|Rotation]] in der [[Vektoranalysis|Vektor-]] und [[Tensoranalysis]], Teilgebieten der [[Mehrdimensionale Analysis|mehrdimensionalen Analysis]], untersucht. Sie werden mit dem gleichen Vektoroperator gebildet, und zwar mit dem [[Nabla-Operator]] <math>\nabla</math> (bisweilen auch <math>\vec{\nabla}</math> oder <math>\underline \nabla</math> um anzudeuten, dass der Nabla-Operator hilfsweise als Vektor verstanden werden kann).


== Definition ==
== Definition ==
Auf <math>\R^{n}</math> sei das [[Skalarprodukt]] <math>\langle {\cdot},{\cdot} \rangle</math> gegeben. Der Gradient <math>\operatorname{grad}</math> der partiell differenzierbaren Funktion <math>f \colon \R^n \to \R </math> im Punkt <math>a \in \R^n</math> ist der durch die Forderung
Auf <math>\R^{n}</math> sei das [[Skalarprodukt]] <math>\langle {\cdot},{\cdot} \rangle</math> gegeben. Der Gradient <math>\operatorname{grad}</math> der total differenzierbaren Funktion <math>f \colon \R^n \to \R </math> im Punkt <math>\vec a \in \R^n</math> ist der durch die Forderung
:<math>\mathrm{d} f(a) h = \langle \operatorname{grad} f(a) , h \rangle\quad (h \in \R^n)</math>
:<math>\mathrm{d} f(\vec a) \vec h = \langle \operatorname{grad} f(\vec a) , \vec h \rangle\quad (\vec h \in \R^n)</math>
eindeutig bestimmte Vektor <math>\operatorname{grad} f(a).</math> Der Operator <math>\mathrm{d}</math> ist das [[Totales Differential|totale Differential]] bzw. die [[Cartan-Ableitung]].
eindeutig bestimmte Vektor <math>\operatorname{grad} f(\vec a).</math> Der Operator <math>\mathrm{d}</math> ist das [[Totales Differential|totale Differential]] bzw. die [[Cartan-Ableitung]].
 
Der Gradient hat für [[Differenzierbarkeit|differenzierbare]] Funktionen <math>f</math> die definierende Eigenschaft<ref name="hbphys">{{Literatur
| Autor=M. E. Gurtin
| Herausgeber=S. Flügge
| Titel=The Linear Theory of Elasticity
| Sammelwerk=Handbuch der Physik
| Band=Bd. VI2/a, Bandherausgeber C. Truesdell
| Seiten=10
| Verlag=Springer
| Jahr=1972
| ISBN=3-540-05535-5}}</ref>
 
:<math>f(\vec y)-f(\vec a)=\mathrm{grad}f(\vec a)[\vec y-\vec a]
+\mathcal{O}(|\vec y-\vec a|)</math> für <math>\vec y\to\vec a\;.</math>
 
Das [[Landau-Symbole|Landau-Symbol]] <math>\mathcal{O}(x)</math> steht für Terme, die langsamer als <math>x</math> wachsen, und <math>\ldots[\vec h]</math> stellt eine lineare Funktion von <math>\vec h</math> dar. Wenn der Gradient existiert, ist er eindeutig und kann aus
 
:<math>\mathrm{grad}f(\vec a)[\vec h]
=\left.\frac{\mathrm d}{\mathrm ds}f(\vec a+s\vec h)\right|_{s=0}
=\lim_{s\to0}\frac{f(\vec a+s\vec h)-f(\vec a)}{s}
=(\vec h\cdot\nabla)f
</math>
 
berechnet werden, wo <math>\nabla</math> der [[Nabla-Operator]] ist. So werden auch Gradienten für Skalar-, Vektor- und Tensorfelder zweiter Stufe oder allgemein Tensorfelder n-ter Stufe definiert.<ref>{{Literatur
| Autor=C. B. Lang, N. Pucker
| Titel=Mathematische Methoden in der Physik
| Verlag=Springer Spektrum
| Seiten=420
| Ort=Berlin, Heidelberg
| Jahr=2016
| ISBN=978-3-662-49312-0
| DOI=10.1007/978-3-662-49313-7}}, {{Literatur
| Autor=[[Holm Altenbach]]
| Titel=Kontinuumsmechanik
| TitelErg=Einführung in die materialunabhängigen und materialabhängigen Gleichungen
| Seiten=43
| Verlag=Springer-Verlag
| Ort=Berlin, Heidelberg
| Datum=2012
| ISBN=978-3-642-24118-5
| DOI=10.1007/978-3-642-24119-2}}
</ref>
 
Für ein Skalarfeld folgt hieraus <math>\mathrm{grad}f=\nabla f</math>; oft schreibt man daher <math>\nabla f</math> (gesprochen „[[Nabla]] <math>f</math>“) statt <math>\operatorname{grad}{f}</math>.


== Koordinatendarstellung ==
== Koordinatendarstellung ==
Zeile 18: Zeile 64:
Im <math>\R^n</math> mit dem euklidischen [[Standardskalarprodukt]] ist <math>\operatorname{grad} f(a)</math> der Spaltenvektor
Im <math>\R^n</math> mit dem euklidischen [[Standardskalarprodukt]] ist <math>\operatorname{grad} f(a)</math> der Spaltenvektor


:<math>\operatorname{grad}(f) = \frac{\partial f}{\partial x_{1}}\hat{e}_{1}+\cdots+\frac{\partial f}{\partial x_{n}}\hat{e}_{n}=\begin{pmatrix}\frac{\partial f}{\partial x_{1}}\\ \vdots\\ \frac{\partial f}{\partial x_{n}} \end{pmatrix}.</math>
:<math>\operatorname{grad}(f) = \frac{\partial f}{\partial x_{1}}\hat{e}_{1} + \cdots + \frac{\partial f}{\partial x_{n}}\hat{e}_{n} = \begin{pmatrix}\frac{\partial f}{\partial x_{1}}\\ \vdots\\ \frac{\partial f}{\partial x_{n}} \end{pmatrix}.</math>


Die Einträge <math>\tfrac{\partial f}{\partial x_i}</math> sind die [[partielle Ableitung|partiellen Ableitungen]] von <math>f</math> in <math>x_i</math>-Richtung. Oft schreibt man bei kartesischen Koordinaten auch <math>\nabla f</math> (gesprochen „[[Nabla]] f“) statt <math>\operatorname{grad}{f}</math>. In drei Dimensionen hat der Gradient somit die Darstellung
Die Einträge <math>\tfrac{\partial f}{\partial x_i}</math> sind die [[Partielle Ableitung|partiellen Ableitungen]] von <math>f</math> in <math>x_i</math>-Richtung.


:<math>
==== Rechenbeispiel ====
\operatorname{grad}(f) = \nabla f = \frac{{\partial f}}{{\partial x}}\hat{e}_x + \frac{{\partial f}}{{\partial y}}\hat{e}_y + \frac{{\partial f}}{{\partial z}}\hat{e}_z\,,
Gegeben sei ein Skalarfeld durch <math>f(x,y)=2x^2-y^2</math> in der [[xy-Ebene]]. Es hat die partiellen Ableitungen <math>\tfrac{\partial f}{\partial x} = 4x</math> und <math>\tfrac{\partial f}{\partial y} = -2y</math> und es folgt <math>\operatorname{grad}(f) = \nabla f = \tfrac{\partial f}{\partial x}\hat{e}_x + \tfrac{\partial f}{\partial y}\hat{e}_y = 4x\hat{e}_x - 2y \hat{e}_y</math> oder in Vektordarstellung <math>\textstyle\operatorname{grad}(f) = \nabla f = \begin{pmatrix}4x\\-2y\end{pmatrix}.</math>
</math>


wobei <math>\hat{e}_x </math>, <math> \hat{e}_y</math> und <math>\hat{e}_z</math> die [[Einheitsvektor]]en in Richtung der Koordinatenachsen bezeichnen.
Für den Punkt <math>P(2|1)</math> lautet beispielsweise der Gradientvektor <math>\begin{pmatrix}8\\-2\end{pmatrix}</math>. Der Betrag ist <math>\left|\begin{pmatrix}8\\-2\\\end{pmatrix}\right| = \sqrt{8^2 + (-2)^2} \approx 8{,}25 </math>.
 
==== Rechenbeispiel ====
Gegeben sei ein Skalarfeld durch <math>f(x,y)=2x^2-y^2.</math> Somit sind die partiellen Ableitungen <math>\frac{{\partial f}}{{\partial x}} = 4x</math> und <math>\frac{{\partial f}}{{\partial y}} = -2y</math> und es folgt <math>\operatorname{grad}(f) = \nabla f = \frac{{\partial f}}{{\partial x}}\hat{e}_x + \frac{{\partial f}}{{\partial y}}\hat{e}_y = 4x\hat{e}_x - 2y \hat{e}_y</math> oder in Vektordarstellung <math>\operatorname{grad}(f) = \nabla f = \begin{pmatrix}4x\\-2y\end{pmatrix}.</math>


=== Zylinder- und Kugelkoordinaten ===
=== Zylinder- und Kugelkoordinaten ===
* Darstellung in dreidimensionalen [[Zylinderkoordinaten]]: <math>V = V\left(\rho;\varphi;z\right)</math>
* Darstellung in dreidimensionalen [[Zylinderkoordinaten]]: <math>V = V\left(\rho;\varphi;z\right)</math>


:<math>\operatorname{grad} V=\frac{{\partial V}}{{\partial\rho}}\hat{e}_{\rho}+\frac{1}{\rho}\frac{{\partial V}}{{\partial\varphi}}\hat{e}_{\varphi}+\frac{{\partial V}}{{\partial z}}\hat{e}_{z}</math>  
:<math>\operatorname{grad} V=\frac{{\partial V}}{{\partial\rho}}\hat{e}_{\rho}+\frac{1}{\rho}\frac{{\partial V}}{{\partial\varphi}}\hat{e}_{\varphi}+\frac{{\partial V}}{{\partial z}}\hat{e}_{z}</math>


* Darstellung in dreidimensionalen [[Kugelkoordinaten]]: <math>V = V\left(r;\vartheta;\varphi\right)</math>
* Darstellung in dreidimensionalen [[Kugelkoordinaten]]: <math>V = V\left(r;\vartheta;\varphi\right)</math>
Zeile 47: Zeile 89:
:<math>
:<math>
\operatorname{grad} f = \sum_{a}{\frac{1}{h_a}\frac{\partial f}{\partial{q_a}}\,\hat{{e}}_{q_a}}\,,
\operatorname{grad} f = \sum_{a}{\frac{1}{h_a}\frac{\partial f}{\partial{q_a}}\,\hat{{e}}_{q_a}}\,,
</math>  
</math>


wobei die <math>h_a</math> den Betrag und <math>\hat e_{q_a}</math> die Richtung des Vektors <math>\tfrac{\partial \vec r}{\partial{q_a}}</math> angeben.
wobei die <math>h_a</math> den Betrag und <math>\hat e_{q_a}</math> die Richtung des Vektors <math>\tfrac{\partial \vec r}{\partial{q_a}}</math> angeben.
Zeile 55: Zeile 97:
:<math>
:<math>
\operatorname{grad} f = \sum_{a} \frac{\partial f}{\partial q_a}\,\vec{G}^{a}\,,
\operatorname{grad} f = \sum_{a} \frac{\partial f}{\partial q_a}\,\vec{G}^{a}\,,
</math>  
</math>
worin <math>\vec{G}^{a}</math> der Gradient der Koordinate <math>q_a</math> ist.
worin <math>\vec{G}^{a}</math> der Gradient der Koordinate <math>q_a</math> ist.


== Koordinatenfreie Darstellung als Volumenableitung ==
== Geometrische Interpretation ==
Mit Hilfe des [[Integralsatz von Gauß|Integralsatzes von Gauß]] kann der Gradient, ähnlich wie die Divergenz (Quellendichte) und die Rotation (Wirbeldichte) als [[Volumenableitung]] dargestellt werden. Diese Darstellung hat den Vorteil, dass sie koordinatenunabhängig ist. Aus diesem Grund wird der Gradient im Bereich der [[Ingenieurwissenschaften]] oftmals direkt so definiert.
Eine anschauliche Bedeutung hat der Gradient im schon Eingangs erwähnten Fall von (zweidimensionalen) Landkarten, in denen Höhenangaben eingetragen sind<ref>{{Literatur
| Titel=Lexikon der Mathematik
| Herausgeber=Guido Walz
| Band=Band 2 (Eig bis Inn)
| Seiten=216
| Verlag=Springer Spektrum Verlag
| Ort=Mannheim
| Jahr=2017
| Auflage=2. Aufl.
| ISBN=978-3-662-53503-5
| DOI=10.1007/978-3-662-53504-2}}
</ref>. Die Höhenfunktion ist dann ein Skalarfeld, das jedem Punkt auf der Landkarte (gekennzeichnet durch eine x- und eine y-Koordinate) eine Höhe zuordnet. Der Gradient dieses Skalarfelds in einem Punkt ist ein Vektor, der in Richtung des steilsten Anstiegs der Höhenfunktion weist und der Betrag des Gradienten entspricht der Stärke dieses Anstiegs. Der Gradient steht dabei in jedem Punkt senkrecht auf der [[Höhenlinie]] ([[Niveaumenge]]) der Höhenfunktion durch diesen Punkt. In einem lokalen Minimum oder Maximum ([[Extremum]]) oder an einem [[Sattelpunkt]] ist der Gradient gerade der [[Nullvektor]], vorausgesetzt, dass dieser Extrempunkt im Inneren des betrachteten Gebietes liegt.
 
Mit Hilfe des Gradienten lässt sich auch der Anstieg in jeder beliebigen Richtung ermitteln. Diese sogenannte [[Richtungsableitung]] ist – im Unterschied zum Gradienten – ein Skalar. Läuft man im Gebiet in (infinitesimal) kleinen Trippelschritten von einem Punkt a zum Punkt b und summiert das Produkt aus Schrittlänge und Richtungsableitung in Richtung des Schritts, erhält man im Zielpunkt b als Ergebnis die Höhendifferenz zum Startpunkt a. Diese Höhendifferenz ist offensichtlich wegunabhängig. Fallen insbesondere Start- und Endpunkt zusammen, so hat man am Ende seine Höhe nicht verändert, egal welchen Weg man durch das Gebiet eingeschlagen hat.
 
== Eigenschaften ==
=== Darstellung als Volumenableitung ===
Mit Hilfe des [[Integralsatz von Gauß|Integralsatzes von Gauß]] kann der Gradient, ähnlich wie die [[Divergenz eines Vektorfeldes|Divergenz]] (Quellendichte) und die [[Rotation eines Vektorfeldes|Rotation]] (Wirbeldichte) als [[Volumenableitung]] dargestellt werden. Diese Darstellung hat den Vorteil, dass sie koordinatenunabhängig ist. Aus diesem Grund wird der Gradient im Bereich der [[Ingenieurwissenschaften]] oftmals direkt so definiert.


Ist <math>\mathcal{V}</math> ein Raumgebiet mit stückweise glattem Rand <math>\partial \mathcal{V}</math> und dem Volumen <math>V,</math> dann kann der Gradient des Skalarfelds <math>f \colon \mathcal{V} \to \R</math> im Punkt <math>p \in \mathcal{V}</math> mittels der Volumenableitung durch
Ist <math>\mathcal{V}</math> ein Raumgebiet mit stückweise glattem Rand <math>\partial \mathcal{V}</math> und dem Volumen <math>V,</math> dann kann der Gradient des Skalarfelds <math>f \colon \mathcal{V} \to \R</math> im Punkt <math>p \in \mathcal{V}</math> mittels der Volumenableitung durch
:<math>\operatorname{grad} f=\lim_{V\rightarrow 0}\frac{\oint_{\partial \mathcal{V}} f\,\mathrm{d}\vec A}{V}</math>
:<math>\operatorname{grad} f = \lim_{V\rightarrow 0}\frac{\oint_{\partial \mathcal{V}} f\,\mathrm{d}\vec A}{V}</math>


berechnet werden. Dabei bezeichnet <math>\mathrm{d}\vec A=\frac{\vec n}{\mid\vec n\mid}\mathrm{d}A</math> das [[Krummlinige Koordinaten#Flächenelement|äußere vektorielle Flächenelement]] von <math>\partial \mathcal{V},</math> wobei <math>\vec n</math> der nach außen zeigende [[Normalenvektor]] und <math>\mathrm{d}A</math> das skalare Flächenelement ist.<ref>Bronstein, Semendjajew, Musiol, Mühlig: ''Taschenbuch der Mathematik'', Verlag Harri Deutsch, Frankfurt, 8.&nbsp;Aufl. 2012, ''Abschn.&nbsp;13.2, Räumliche Differentialoperatoren''</ref>
berechnet werden. Dabei bezeichnet <math>\mathrm{d}\vec A=\tfrac{\vec n}{\mid\vec n\mid}\mathrm{d}A</math> das [[Krummlinige Koordinaten#Flächenelement|äußere vektorielle Flächenelement]] von <math>\partial \mathcal{V},</math> wobei <math>\vec n</math> der nach außen zeigende [[Normalenvektor]] und <math>\mathrm{d}A</math> das skalare Flächenelement ist.<ref>Bronstein, Semendjajew, Musiol, Mühlig: ''Taschenbuch der Mathematik'', Verlag Harri Deutsch, Frankfurt, 8.&nbsp;Aufl. 2012, ''Abschn.&nbsp;13.2, Räumliche Differentialoperatoren''</ref>


Zur Grenzwertbildung wird das Raumgebiet <math>\mathcal{V}</math> auf den Punkt <math>p</math> zusammengezogen, sodass sein Inhalt <math>V</math> gegen null geht. Ersetzt man <math>f</math> durch einen [[Druck (Physik)|Druck]], erscheint der Gradient als [[Kraftdichte]]. Die Koordinatendarstellungen des vorigen Abschnitts ergeben sich aus der  
Zur Grenzwertbildung wird das Raumgebiet <math>\mathcal{V}</math> auf den Punkt <math>P</math> zusammengezogen, sodass sein Inhalt <math>V</math> im [[#intvgradu|Volumenintegral unten]] gegen null geht. Ersetzt man <math>f</math> durch einen [[Druck (Physik)|Druck]], erscheint der Gradient als [[Volumenkraft|Kraftdichte]]. Die Koordinatendarstellungen ergeben sich aus der [[Volumenableitung]], wenn man das jeweilige Volumenelement, beispielsweise Kugel oder Zylinder, als Raumgebiet <math>\mathcal{V}</math> wählt.
[[Volumenableitung]], wenn man das jeweilige Volumenelement, beispielsweise Kugel oder Zylinder, als Raumgebiet <math>\mathcal{V}</math> wählt.


==Riemannsche Mannigfaltigkeiten==
=== Rechenregeln ===
Für eine [[glatte Funktion]] <math>f</math> auf einer [[Riemannsche Mannigfaltigkeit|Riemannschen Mannigfaltigkeit]] <math>(M,g)</math> ist der Gradient von <math>f</math> dasjenige [[Vektorfeld]] <math>\nabla f</math>, mit dem für jedes Vektorfeld <math>X</math> die Gleichung
Für alle Konstanten <math>c\in\R</math> und Skalarfelder <math>u,\,v \colon \R^n\to\R</math> gilt:
:<math>g(\nabla f, X) = \partial_X f, \qquad \mathrm{d.\,h.}\quad g_x((\nabla f)_x, X_x ) = (\partial_X f) (x),</math>
gilt, wobei <math>g_X(\cdot,\cdot)</math> das durch <math>g</math> definierte [[Riemannsche Metrik|innere Produkt]] von [[Tangentialvektor]]en an <math>x</math> ist und <math>\partial_X f</math> (oft auch <math>X(f)</math> bezeichnet) diejenige Funktion ist, die jedem Punkt <math>x \in M</math> die [[Richtungsableitung]] von <math>f</math> in Richtung <math>X</math>, ausgewertet in <math>x</math>, zuordnet. Mit anderen Worten, in einer [[Atlas (Mathematik)|Karte]] <math>\varphi</math> von einer offenen Teilmenge von <math>M</math> auf eine offene Teilmenge von <math>\mathbb{R}^n</math> ist <math>(\partial Xf)(x)</math> gegeben durch:
:<math>\sum_{j=1}^n X^{j} (\varphi(x)) \frac{\partial}{\partial x_{j}}(f \circ \varphi^{-1}) \Big|_{\varphi(x)},</math>
wobei <math>X^j</math> die ''j''te Komponente von <math>X</math> in diesen Koordinaten bedeutet.


In lokalen Koordinaten hat der Gradient also die Form
:<math>\operatorname{grad} c = \vec{0}</math>


:<math>\nabla f= g^{ik}\frac{\partial f}{\partial x^{k}}\frac{\partial}{\partial x^{i}}.</math>
;Linearität
:<math>\operatorname{grad} (c\cdot u) = c\cdot\operatorname{grad} u</math>
:<math>\operatorname{grad} (u+v) = \operatorname{grad} u + \operatorname{grad} v</math>


Analog zum Fall <math>M = \mathbb{R}^n</math> hat man den Zusammenhang des Gradienten mit der [[Äußere Ableitung|äußeren Ableitung]] vermittels
;[[Produktregel]]
:<math>(\partial_X f) (x) = df_x(X_x)\ .</math>
:<math>\operatorname{grad} (u\, v) = u \operatorname{grad} v + v \operatorname{grad} u</math>
Genauer: <math>\nabla f</math> ist das der 1-Form <math>\mathrm{d} f</math> unter dem mittels der Metrik <math>g</math> definierten [[Musikalischer Isomorphismus|musikalischen Isomorphismus]] („sharp“)
:<math>\sharp=\sharp^g\colon T^*M\to TM</math>
entsprechende Vektorfeld. Der Zusammenhang zwischen äußerer Ableitung und Gradienten für Funktionen auf dem <math>\mathbb{R}^n</math> ist der Spezialfall für die durch das euklidische Skalarprodukt gegebene flache Metrik.


== Geometrische Interpretation ==
;[[Kettenregel]]
Geometrisch betrachtet ist der Gradient eines Skalarfelds an einem Punkt ein Vektor, der in Richtung des steilsten Anstieges des Skalarfeldes weist. Dabei entspricht der Betrag des Vektors der Stärke des Anstieges. Befindet man sich an einem lokalen Minimum oder Maximum ([[Extremum]]) oder an einem [[Sattelpunkt]], so ist der Gradient an dieser Stelle gerade der [[Nullvektor]], vorausgesetzt, dass dieser Extrempunkt im Inneren des betrachteten Gebietes liegt.
:<math>\operatorname{grad}\big(u(v)\big)
= \frac{\mathrm du}{\mathrm dv}\ \operatorname{grad} v</math>
:<math>\operatorname{grad} (u^n) = n u^{n-1}\ \operatorname{grad} u,
\quad n\in\R,\ne0</math>


Mit Hilfe des Gradienten lässt sich auch der Anstieg in jeder beliebigen Richtung, [[Richtungsableitung]] genannt, ermitteln, der&nbsp;– im Unterschied zum Gradienten&nbsp;– wieder ein Skalar ist.
: Siehe auch [[#Nützliche Formeln]].


== Eigenschaften ==
;{{Anker|Integralsätze}}[[Integralsatz|Integralsätze]]
Für alle Konstanten <math>c\in\R</math> und Skalarfelder <math>u,\,v \colon \R^n\to\R</math> gilt:
:<math>\int_{\vec a}^{\vec b}
\mathrm{grad}\big(u(\vec r)\big)\cdot\mathrm d\vec r
=u(\vec b)-u(\vec a)
</math>


:<math>\operatorname{grad} c=\vec{0}</math>
:Dabei ist „·“ das [[Skalarprodukt]] und der Weg von <math>\vec a</math> nach <math>\vec b</math> beliebig. Diese Wegunabhängigkeit zeichnet Gradientenfelder aus<ref name="werner433">Werner (2019), S. 433.</ref>, siehe auch [[#Konservative Kräfte]].


'''Linearität'''
:{{Anker|intvgradu}}<math>
\int_V\mathrm{grad}(u)\,\mathrm dV=\int_Au\hat n\,\mathrm dA
</math>


:<math>\operatorname{grad} (c\cdot u)=c\cdot\operatorname{grad} u</math>
:<math>\int_A\hat n\times\mathrm{grad}(u)\,\mathrm dA
:<math>\operatorname{grad} (u+v)=\operatorname{grad} u +\operatorname{grad} v</math>
=\int_Cu\,\mathrm d\vec r
 
</math>
'''Produktregel'''


:<math>\operatorname{grad} (u\, v) = u \operatorname{grad} v + v \operatorname{grad} u</math>
:Hier ist „ד das [[Kreuzprodukt]], <math>u</math> ein zweimal [[stetig differenzierbar]]es Feld und <math>\hat n</math> der nach außen gerichtete [[Normaleneinheitsvektor]] auf der geschlossenen Oberfläche <math>A</math> des Volumens <math>V</math><ref>Altenbach (2012), S. 45.</ref> und <math>C</math> die stückweise glatte, geschlossene Berandungskurve der Fläche <math>A</math>.<ref name="werner433"/> Aus dem ersten Volumenintegral folgt die Koordinatenfreie Darstellung als Volumenableitung, wenn das Volumen so klein wird, dass in ihm der Gradient näherungsweise konstant ist.
:<math>\operatorname{grad} (u^n) = n  u^{n-1}\ \operatorname{grad} u\quad \text{für } n\neq 0</math>


== Zusammenhang zur Richtungsableitung ==
=== Zusammenhang mit der Richtungsableitung ===
{{Hauptartikel|Richtungsableitung}}
{{Hauptartikel|Richtungsableitung}}


Unter der Richtungsableitung versteht man die [[Differenzialrechnung|Ableitung]], also den Anstieg eines [[Skalarfeld|Skalarfeldes]] <math>\varphi\left(\vec r\right),</math> in Richtung eines normierten Vektors <math>\vec v,</math> genauer:
Unter der Richtungsableitung versteht man die [[Differenzialrechnung|Ableitung]], also den Anstieg eines [[Skalarfeld]]es <math>\varphi\left(\vec r\right),</math> in Richtung eines normierten Vektors <math>\vec v,</math> genauer:


:<math>
:<math>
D_{\vec v} \varphi = \frac{\partial\varphi}{\partial\vec v}=\lim_{t\to 0}\frac{\varphi(\vec r+t\vec v)-\varphi(\vec r)}t
D_{\vec v} \varphi = \frac{\partial\varphi}{\partial\vec v}
=\lim_{t\to 0}\frac{\varphi(\vec r+t\vec v)-\varphi(\vec r)}t
</math>
</math>


Zeile 118: Zeile 178:


:<math>
:<math>
D_{\vec v} \varphi = \frac{\partial\varphi}{\partial\vec v} = \left\langle\operatorname{grad} \varphi,\vec v\right\rangle
D_{\vec v} \varphi = \frac{\partial\varphi}{\partial\vec v}
=\operatorname{grad} \varphi\cdot\vec v
=(\vec v\cdot\nabla)\varphi
</math>
</math>


==Integrabilitätsbedingung==
Letztere Form ist nicht auf Skalarfelder beschränkt und auf Vektor- oder Tensorfelder n-ter Stufe anwendbar und wird insbesondere in der [[Strömungsmechanik]] vielfältig angewendet.
Eine wichtige Beziehung für differenzierbare Gradientenfelder <math>\mathbf G(x_1, \dotsc, x_n)=\operatorname{grad} f(x_1,\dotsc,x_n)</math> in <math>n</math> Dimensionen ist die Aussage, dass diese (nach dem [[Satz von Schwarz]]) immer „integrabel“ sind, und zwar in folgendem Sinne: Es gilt für alle <math>i</math> und <math>k</math> <math>(i,k=1, \dotsc, n)</math>:
 
=== Integrabilitätsbedingung ===
Eine wichtige Beziehung für differenzierbare Gradientenfelder <math>\mathbf G(x_1, \dotsc, x_n) = \operatorname{grad} f(x_1,\dotsc,x_n)</math> in <math>n</math> Dimensionen ist die Aussage, dass diese (nach dem [[Satz von Schwarz]]) immer „integrabel“ sind, und zwar in folgendem Sinne: Es gilt für alle <math>i</math> und <math>k</math> <math>(i,k=1, \dotsc, n)</math>:
:<math>\frac{\partial G_i}{\partial x_k}-\frac{\partial G_k}{\partial x_i}\equiv 0</math>
:<math>\frac{\partial G_i}{\partial x_k}-\frac{\partial G_k}{\partial x_i}\equiv 0</math>
Diese direkt nachprüfbare Beziehung – in drei Dimensionen identisch mit der Rotationsfreiheit des Feldes – ist notwendig für die Existenz einer „Potentialfunktion“ <math>f</math> (präziser: der Funktion <math>\phi =-f</math>). Die <math>G_i</math> bzw. <math>G_k</math> sind die Komponenten des Vektorfeldes. Die Integrabilitätsbedingung impliziert ferner, dass für ''alle'' geschlossenen Wege <math>W</math> im <math>\R^n</math> das Linienintegral <math>\textstyle \oint_W \mathbf G\cdot\mathrm d\mathbf r</math> verschwindet, was in der Mechanik bzw. der Elektrodynamik große Bedeutung hat.
Diese direkt nachprüfbare Beziehung – in drei Dimensionen identisch mit der [[Rotation eines Vektorfeldes|rotations]]&shy;freiheit des Feldes – ist notwendig für die Existenz einer „Potentialfunktion“ <math>f</math> (präziser: der Funktion <math>\phi =-f</math>). Die <math>G_i</math> bzw. <math>G_k</math> sind die Komponenten des Vektorfeldes. Die Integrabilitätsbedingung impliziert ferner, dass für ''alle'' geschlossenen Wege <math>W</math> im <math>\R^n</math> das Linienintegral <math>\textstyle \oint_W \mathbf G\cdot\mathrm d\mathbf r</math> verschwindet, was in der Mechanik bzw. der Elektrodynamik große Bedeutung hat.


Lokal gilt auch das Umgekehrte: Die Integrabilitätsbedingung
Lokal gilt auch das Umgekehrte: Die Integrabilitätsbedingung
:<math>\frac{\partial G_i}{\partial x_k}-\frac{\partial G_k}{\partial x_i}\equiv 0</math>
:<math>\frac{\partial G_i}{\partial x_k}-\frac{\partial G_k}{\partial x_i}\equiv 0</math>
für ein differenzierbares Vektorfeld <math>\mathbf G</math> ist auch hinreichend für die lokale Existenz einer skalaren Potentialfunktion <math>f</math> mit <math>\mathbf G(x_1, \dotsc, x_n)=\operatorname{grad} f(x_1,\dotsc,x_n)</math> (vgl. [[Totales Differential#Integrabilitätsbedingung]]). Unter geeigneten Voraussetzungen an den Definitionsbereich von <math>G</math> (z. B. [[Sterngebiet|sternförmig]]) kann sogar auf die globale Existenz einer solchen Potentialfunktion geschlossen werden (siehe [[Poincaré-Lemma]]).
für ein differenzierbares Vektorfeld <math>\mathbf G</math> ist auch hinreichend für die lokale Existenz einer skalaren Potentialfunktion <math>f</math> mit <math>\mathbf G(x_1, \dotsc, x_n)=\operatorname{grad} f(x_1,\dotsc,x_n)</math> (vgl. [[Totales Differential#Integrabilitätsbedingung]]). Unter geeigneten Voraussetzungen an den Definitionsbereich von <math>G</math> (z. B. [[Sterngebiet|Sternförmigkeit]]) kann sogar auf die globale Existenz einer solchen Potentialfunktion geschlossen werden (siehe [[Poincaré-Lemma]]).


== Beispiele ==
=== Nützliche Formeln ===
Folgende Gradienten treten häufig in der Physik auf. Es wird der [[Ortsvektor]] <math>\vec{r}=r\hat{e}_{r}</math> verwendet.
Folgende Gradienten treten häufig in der Physik auf. Es wird der [[Ortsvektor]] <math>\vec{r}=r\hat{e}_{r}</math> verwendet.


Zeile 138: Zeile 202:
:<math>\operatorname{grad} \frac{1}{|\vec{r}-\vec{r}^{\,\prime}|}=-\frac{1}{|\vec{r}-\vec{r}^{\,\prime}|^{2}}\,\operatorname{grad} |\vec{r}-\vec{r}^{\,\prime}|=-\frac{\vec{r}-\vec{r}^{\,\prime}}{|\vec{r}-\vec{r}^{\,\prime}|^{3}}</math>
:<math>\operatorname{grad} \frac{1}{|\vec{r}-\vec{r}^{\,\prime}|}=-\frac{1}{|\vec{r}-\vec{r}^{\,\prime}|^{2}}\,\operatorname{grad} |\vec{r}-\vec{r}^{\,\prime}|=-\frac{\vec{r}-\vec{r}^{\,\prime}}{|\vec{r}-\vec{r}^{\,\prime}|^{3}}</math>


Man beachte, dass beim letzten Beispiel der Gradient nur auf <math>\vec{r}</math> und nicht auf <math>\vec{r}^{\prime}</math> wirkt. Er wird deshalb auch als <math>\nabla_{\vec{r}}</math> geschrieben.
Im letzten Beispiel wirkt der Gradient nur auf <math>\vec{r}</math> und nicht auf <math>\vec{r}^{\prime}</math> und wird deshalb auch als <math>\nabla_{\vec{r}}</math> geschrieben.


== Anwendungen ==
== Anwendungen ==
;[[Hydrodynamik]]
=== Konservative Kräfte ===
:Die Strömungsfelder sogenannter Potentialströmungen sind Gradientenfelder.
{{Hauptartikel|Konservative Kraft}}
;[[Thermodynamik]]
:Sind Teile eines Körper unterschiedlich heiß, so strömt Wärme von den heißeren zu den kühleren Bereichen. Ist die Wärmeleitfähigkeit überall gleich, so ist der Wärmestrom ein Vielfaches des Temperaturgradienten. Für den Wärmestrom '''j<sub>w</sub>''' gilt also beispielsweise <math>\mathbf{j_w}=-\lambda\,\operatorname{grad} T\,,</math> mit der sogenannten „Wärmeleitfähigkeit“ &lambda;.
;[[Akustik]]
:Der Druckgradient ist das Verhältnis von Druckdifferenz und dem Abstand zweier Punkte. Bei [[Richtmikrofon]]en im [[Schallfeld]] hat dieser Begriff eine besondere Bedeutung.
;[[Elektrodynamik]]
:Statische elektrische Felder '''E''' sind stets Gradientenfelder elektrostatischer Potentiale <math>\,\phi (x,y,z);</math> präziser gilt mit einem Minuszeichen: <math>\mathbf E(x,y,z)=-\operatorname{grad} \phi (x,y,z)\,.</math>
;[[Mechanik]]
:Hier gilt Analoges für sog. „konservative Kraftfelder“.
;[[Bildverarbeitung]]
:Der Gradient wird unter anderem für die [[Kantenerkennung]] benutzt. Da ein Bild nur diskrete Werte enthält, benutzt man Filter (Matrix, mit der das Bild gefaltet wird, siehe [[Faltung (Mathematik)#Diskrete Faltung|Diskrete Faltung]]) wie den [[Sobel-Operator]], um ein Gradientenfeld des Bildes zu erhalten. Die Kanten in dem Bild sind dann als Extremwerte des gefilterten Bildes erkennbar.
;[[Optimierung (Mathematik)|Optimierung]]
:Das [[Gradientenverfahren]] ist ein [[Numerische Mathematik|numerisches Verfahren]] zur Lösung von [[Optimierungsproblem]]en.


== Vektorgradient ==
In der [[Physik]] lassen sich viele Kraftfelder als der Gradient eines [[Potential (Physik)|Potentials]] darstellen. Beispiele dafür sind:
=== Definition ===
In der Physik und in den Ingenieurwissenschaften wird jedoch ein sogenannter Vektorgradient auch für Vektorfelder <math>\vec F\colon\mathbb{V}^n\to\mathbb{V}^m</math> eingeführt, die ein Vektorfeld aus dem [[Euklidischer Vektorraum|euklidischen Vektorraum]] <math>\mathbb{V}^n</math> mit [[Frobenius-Skalarprodukt]] „·“ in den Vektorraum <math>\mathbb{V}^m</math> abbilden, siehe [[Dyadisches Produkt]], weswegen bei der Gradientenbildung aus Vektoren [[per definitionem]] [[Tensor]]en zweiter Stufe entstehen:


:<math>\operatorname{grad} \vec{F}=(\vec\nabla\otimes\vec{F})^\top=(\vec\nabla\vec{F})^\top
* die Gravitationskraft
\in\mathbb{V}^m\otimes\mathbb{V}^n</math>
::<math>\vec F_\mathrm{Gravitation}(x,y,z) = -m \operatorname{grad} \Phi(x,y,z)\ ,</math>
: die für eine am Koordinatenursprung befindliche zentrale Masse ''M''
::<math>\vec F_\mathrm{Gravitation}(r) = -m \operatorname{grad} \Phi(r) = \operatorname{grad} \frac{GMm}{r} = -\frac{GMm}{r^3}\, \vec r</math>
: lautet, oder
* statische elektrische Felder <math>\vec E</math> in der [[Elektrodynamik]]
::<math>\vec E(x,y,z)=-\operatorname{grad} \phi (x,y,z)\ .</math>


Das hochgestellte „┬“ steht für die [[Transponierte Matrix|Transposition]] und der Raum <math>\mathbb{V}^m\otimes\mathbb{V}^n</math> enthält alle Tensoren zweiter Stufe, die Vektoren aus dem <math>\mathbb{V}^n</math> in den <math>\mathbb{V}^m</math> linear abbilden. Der Vektorgradient ist demnach das transponierte dyadische Produkt „<math>\otimes</math>“ des Nabla-Operators und eines Vektorfelds.
In konservativen Kraftfeldern wird unter anderem ausgenutzt, dass für Probemassen bzw. Probeladungen die Wegintegrale die Arbeit <math display="inline">W=\int_S \vec F(\vec r) \cdot \mathrm d \vec r</math> entlang eines beliebigen Weges <math>S</math> durch das Kraftfeld nur vom Anfangs- und Endpunkt des Weges, nicht aber von seinem Verlauf abhängt, siehe [[#Integralsätze]].


Mit dem Vektorgradient kann die Richtungsableitung in Richtung eines Vektors <math>\vec h\in\mathbb{V}^n</math> berechnet werden:
=== Transportphänomene ===
Zahlreiche Transportphänomene lassen sich darauf zurückführen, dass sich die dazugehörigen [[Strom (Physik)|Ströme]] als Gradient eines Skalarfeldes ausdrücken lassen, wobei der dabei auftretende Proportionalitätsfaktor als [[Transportkoeffizient]] oder Leitfähigkeit bezeichnet wird.


:<math>(\vec{h}\cdot\vec\nabla)\vec{F}
Ein Beispiel dafür ist der Wärmestrom <math>\vec j_w</math> in der [[Thermodynamik]], für den
=\vec{h}\cdot(\vec\nabla\otimes\vec{F})
:<math>\vec j_w = -\lambda\,\operatorname{grad} T</math>
=(\vec\nabla\otimes\vec{F})^\top\cdot\vec{h}
gilt, wobei <math>\lambda</math> die [[Wärmeleitfähigkeit]] ist.
=\operatorname{grad}(\vec{F})\cdot\vec{h}
\,.</math>


In der [[Strömungsmechanik]] wird die linke Darstellung mit dem Nabla-Operator gegenüber der rechten bevorzugt, die in der [[Kontinuumsmechanik]] üblich ist. Der so definierte Gradient stimmt mit der [[Fréchet-Ableitung]] überein:
In der [[Fluidmechanik]] versteht man unter einer [[Potentialströmung]] eine Strömung, bei der die Geschwindigkeit Gradient eines Potentialfeldes ist, siehe [[Geschwindigkeitspotential]].


:<math>
=== Bildverarbeitung ===
\operatorname{grad}\vec{F}\colon\quad
{{Hauptartikel|Kantendetektion}}
(\operatorname{grad}\vec{F})\cdot\vec{h}
=\left.\frac{\mathrm{d}}{\mathrm{d}s}\vec{F}(\vec{x}+s\vec{h})\right|_{s=0}
=\lim_{s\rightarrow 0}\frac{\vec{F}(\vec{x}+s\vec{h})-\vec{F}(\vec{x})}{s}
\quad\text{für alle}\quad
\;\vec{x},\vec{h}\in\mathbb{V}^n
\,.
</math>


Seien die komponentenweisen Darstellungen
Ein Problem in der [[Bildverarbeitung]] ist es, in einem Bild zusammenhängende Flächen zu erkennen. Da ein Bild diskrete Werte enthält, benutzt man Filter wie den [[Sobel-Operator]], um ein Gradientenfeld des Bildes zu erhalten. Ein Filter ist dabei eine Matrix, mit der das Bild gefaltet wird (siehe [[Faltung (Mathematik)#Diskrete Faltung|Diskrete Faltung]]). Die Kanten in dem Bild sind dann als Extremwerte des gefilterten Bildes erkennbar.


:<math>\vec{x}=\sum_{j=1}^n x_j\vec{a}_j
=== Weitere Anwendungen ===
\quad\text{und}\quad
* So wie [[Gauß-Newton-Verfahren]] zur Nullstellensuche von Funktionen verwendet wird, wird für mehrdimensionale [[Optimierungsproblem]]e in der [[Numerik]] das [[Gradientenverfahren]] eingesetzt.
\vec{F}(\vec{x})=\sum_{i=1}^m F_i(\vec x)\vec{b}_i
* Ein [[Druckgradientenmikrofon]] nutzt die Druckdifferenzen zwischen räumlichen Punkten aus.
</math>


bezüglich einer festen [[Orthonormalbasis]] <math>\{\vec{a}_j\}</math> des <math>\mathbb{V}^n</math> und <math>\{\vec{b}_i\}</math> des <math>\mathbb{V}^m</math> gegeben. Dann berechnet sich der Gradient gemäß
== Verallgemeinerungen ==
=== Gradienten von Vektoren und Tensoren ===
{{Siehe auch|Gradient eines Vektorfeldes}}
Wie im Abschnitt [[#Definition]] schon bemerkt, wird der Gradient auch auf Vektoren und Tensoren angewendet. Der Gradient eines [[Skalarfeld]]es (Tensorfeld nullter Stufe) ergibt ein Vektorfeld, das ein Tensorfeld erster Stufe ist. Allgemein führt Gradientenbildung eines Tensorfeldes n-ter Stufe auf ein Tensorfeld der Stufe n+1.<ref>{{Literatur
| Autor=C. B. Lang, N. Pucker
| Titel=Mathematische Methoden in der Physik
| Seiten=420 f.
| Verlag=Springer Spektrum
| Ort=Berlin, Heidelberg
| Jahr=2016
| ISBN=978-3-662-49312-0
| DOI=10.1007/978-3-662-49313-7}} und Altenbach (2012), S. 43.</ref>


:<math>\operatorname{grad} \vec{F}
Die Koeffizienten der Gradienten der kovarianten Basisvektoren eines [[Krummlinige Koordinaten|krummlinigen Koordinatensystems]] sind die [[Christoffelsymbole]].<ref>Werner (2019), S. 313.</ref>
=\sum_{j=1}^n\frac{\mathrm{d}\vec{F}}{\mathrm{d}x_j}\otimes\vec{a}_j
=\sum_{i=1}^m\sum_{j=1}^n\frac{\mathrm{d}F_i}{\mathrm{d}x_j}\vec{b}_i\otimes\vec{a}_j
</math>


Die Komponenten dieses Tensors stimmen mit denen der [[Jacobi-Matrix]] überein:
Insbesondere in der [[Kontinuumsmechanik]] und [[Fluidmechanik]] werden die Gradienten von Skalar- und Vektorfeldern vielfältig genutzt, denn die oben genannten [[#Eigenschaften]] lassen sich ohne Weiteres auf Gradienten von Vektorfeldern übertragen.


:<math>\vec{b}_k\cdot(\operatorname{grad} \vec{F})\cdot\vec{a}_l
=== Riemannsche Mannigfaltigkeiten ===
=\frac{\partial F_k}{\partial x_l}=(J_{\vec{F}})_{kl}\,.</math>
Für eine [[glatte Funktion]] <math>f</math> auf einer [[Riemannsche Mannigfaltigkeit|Riemannschen Mannigfaltigkeit]] <math>(M,g)</math> ist der Gradient von <math>f</math> dasjenige [[Vektorfeld]] <math>\nabla f</math>, mit dem für jedes Vektorfeld <math>X</math> die Gleichung
:<math>g(\nabla f, X) = \partial_X f, \qquad \mathrm{d.\,h.}\quad g_x((\nabla f)_x, X_x ) = (\partial_X f) (x),</math>
gilt, wobei <math>g_x(\cdot,\cdot)</math> das durch <math>g</math> definierte [[Riemannsche Metrik|innere Produkt]] von [[Tangentialvektor]]en an <math>x</math> ist und <math>\partial_X f</math> (oft auch <math>X(f)</math> bezeichnet) diejenige Funktion ist, die jedem Punkt <math>x \in M</math> die [[Richtungsableitung]] von <math>f</math> in Richtung <math>X</math>, ausgewertet in <math>x</math>, zuordnet. Mit anderen Worten, in einer [[Atlas (Mathematik)|Karte]] <math>\varphi</math> von einer offenen Teilmenge von <math>M</math> auf eine offene Teilmenge von <math>\mathbb{R}^n</math> ist <math>(\partial_X f)(x)</math> gegeben durch:
:<math>\sum_{j=1}^n X^{j} (\varphi(x)) \frac{\partial}{\partial x_{j}}(f \circ \varphi^{-1}) \Big|_{\varphi(x)},</math>
wobei <math>X^j</math> die <math>j</math>-te Komponente von <math>X</math> in diesen Koordinaten bedeutet.


Der Vektorgradient wird u.&nbsp;a. in der [[Kontinuumsmechanik]] (z.&nbsp;B. in den [[Navier-Stokes-Gleichungen]]) benutzt.
In lokalen Koordinaten hat der Gradient also die Form


In der Literatur wird gelegentlich auch <math>\operatorname{grad}\vec{F} := \vec\nabla\otimes\vec{F}</math> definiert.
:<math>\nabla f= g^{ik}\frac{\partial f}{\partial x^{k}}\frac{\partial}{\partial x^{i}}.</math>


=== Totales Differential ===
Analog zum Fall <math>M = \mathbb{R}^n</math> hat man den Zusammenhang des Gradienten mit der [[Äußere Ableitung|äußeren Ableitung]] vermittels
Betrachte für ein Vektorfeld eine infinitesimale Verschiebung:
:<math>(\partial_X f) (x) = df_x(X_x)\ .</math>
 
Der Ausdruck <math>\nabla f</math> ist also das der 1-Form <math>\mathrm{d} f</math> unter dem mittels der Metrik <math>g</math> definierten [[Musikalischer Isomorphismus|musikalischen Isomorphismus]] („sharp“)
:<math>\vec{F}(\vec{r}+\mathrm{d}\vec{r})=\vec{F}(\vec{r})+J_{\vec{F}}\cdot\mathrm{d}\vec{r}=\vec{F}(\vec{r})+(\operatorname{grad}\vec{F})\cdot\mathrm{d}\vec{r}=\vec{F}(\vec{r})+(\mathrm{d}\vec{r}\cdot\nabla)\vec{F}=\vec{F}(\vec{r})+\mathrm{d}\vec{F}</math>
:<math>\sharp=\sharp^g\colon T^*M\to TM</math>  
 
entsprechende Vektorfeld. Der Zusammenhang zwischen äußerer Ableitung und Gradienten für Funktionen auf dem <math>\mathbb{R}^n</math> ist der Spezialfall für die durch das euklidische Skalarprodukt gegebene flache Metrik.
Das vollständige oder [[totales Differential|totale Differential]] eines Vektorfeldes <math>\vec{F}(\vec{r})</math> ist:
 
:<math>\mathrm{d}\vec{F}=(\operatorname{grad}\vec{F})\cdot\mathrm{d}\vec{r}</math> &nbsp; bzw. in Indexschreibweise &nbsp; <math>\mathrm{d}F_{i}=\sum_{j}\frac{\partial F_{i}}{\partial x_{j}}\mathrm{d}x_{j}</math>
 
Das totale Differential eines Skalarfeldes und eines Vektorfeldes haben somit dieselbe Form.
 
=== Eigenschaften ===
Die Rechenregeln sind diejenigen der Jacobi-Matrix. <math>\operatorname{grad}\vec{A}</math> bezeichnet hier den Vektorgradienten.
 
Für alle Konstanten <math>c\in\R</math> und Vektorfelder <math>\vec{A},\,\vec{B} \colon \mathbb R^n\rightarrow\mathbb R^m</math> gilt:
 
'''Linearität'''
 
:<math>\operatorname{grad} (c\cdot\vec{A})=c\cdot\operatorname{grad} \vec{A}</math>
 
:<math>\operatorname{grad} (\vec{A}+\vec{B})=\operatorname{grad} \vec{A}+\operatorname{grad} \vec{B}</math>
 
'''Produktregel'''
 
:<math>(\vec{A}\cdot\nabla)\vec{B}=(\operatorname{grad} \vec{B})\cdot\vec{A}</math>
 
:<math>\operatorname{grad}(\vec{A}\cdot\vec{B})=(\operatorname{grad} \vec{A})^{T}\cdot \vec{B}+(\operatorname{grad} \vec{B})^{T}\cdot\vec{A}</math>
 
:<math>\operatorname{grad}(\vec{A}^{\,2}) =2\,(\operatorname{grad} \vec{A})^{T}\cdot\vec{A}</math>
 
Speziell für Vektorfelder <math>\vec{A},\,\vec{B}:\mathbb R^3\rightarrow\mathbb R^3</math> lassen sich obige Beziehung noch umformen:
 
:<math>\operatorname{grad}(\vec{A}\cdot\vec{B}) =(\vec{B}\cdot\nabla)\vec{A}+\vec{B}\times(\nabla\times\vec{A})+(\vec{A}\cdot\nabla)\vec{B}+\vec{A}\times(\nabla\times\vec{B})</math>
 
:<math>\operatorname{grad}(\vec{A}^{\,2}) =2(\vec{A}\cdot\nabla)\vec{A}+2\vec{A}\times(\nabla\times\vec{A})</math>
 
=== Beispiele ===
:<math>\operatorname{grad} \operatorname{arctan2}(x,y) = \left(\frac{-y}{x^2+y^2}, \frac{x}{x^2+y^2}\right)</math>
mit der {{nowrap|<math>\operatorname{arctan2}</math>-Funktion}} aus [[arctan2]].
 
:<math>\operatorname{grad} \vec{r}=I,</math> wobei <math>I</math> die [[Einheitsmatrix]] ist.
:<math>\left(\operatorname{grad}\frac{\vec{r}}{r^{3}}\right)^{T} = \nabla\otimes\frac{\vec{r}}{r^{3}} = \left(\nabla\frac{1}{r^{3}}\right) \otimes\vec{r}+\frac{1}{r^{3}}(\nabla\otimes\vec{r})=-\frac{3}{r^{5}}\vec{r}\otimes\vec{r}+\frac{1}{r^{3}}I=-\frac{1}{r^{5}}(3\vec{r}\otimes\vec{r}-r^{2}I)</math>
 
Die beiden letzten Formeln werden z.&nbsp;B. bei der kartesischen [[Multipolentwicklung]] verwendet.


== Weblinks ==
== Weblinks ==
*[http://www.sengpielaudio.com/SchallschnelleIstNichtDruckgradient.pdf Druckgradient und Schallschnelle sind nicht das Gleiche] (PDF; 144&nbsp;kB)
* [http://www.sengpielaudio.com/SchallschnelleIstNichtDruckgradient.pdf Druckgradient und Schallschnelle sind nicht das Gleiche] (PDF; 144&nbsp;kB)
*[http://www.matheplanet.com/matheplanet/nuke/html/article.php?sid=1193 Wie „krümme“ ich Nabla und Delta?&nbsp;– Herleitung des Nablaoperators für orthonormal krummlinige Koordinaten auf www.matheplanet.com]
* ''[http://www.matheplanet.com/matheplanet/nuke/html/article.php?sid=1193 Wie „krümme“ ich Nabla und Delta?]'' Herleitung des Nablaoperators für orthonormal krummlinige Koordinaten auf ''[[Matroids Matheplanet|matheplanet.com]].''
 
== Literatur ==
* [[Adolf J. Schwab]]: ''Begriffswelt der Feldtheorie. Praxisnahe, anschauliche Einführung. Elektromagnetische Felder, Maxwellsche Gleichungen, Gradient, Rotation, Divergenz.'' 6., unveränderte Auflage. Springer, Berlin u.&nbsp;a. 2002, ISBN 3-540-42018-5.
* [[Konrad Königsberger]]: ''Analysis.'' Band&nbsp;2. 4., überarbeitete Auflage. Springer, Berlin u.&nbsp;a. 2000, ISBN 3-540-43580-8.


== Einzelnachweise ==
== Einzelnachweise ==
<references />
<references />
== Literatur ==
* {{Literatur
| Autor=[[Adolf J. Schwab]]
| Titel=Begriffswelt der Feldtheorie
| TitelErg=praxisnahe, anschauliche Einführung; elektromagnetische Felder, Maxwellsche Gleichungen, Gradient, Rotation, Divergenz
| Auflage=6., unveränderte Auflage
| Verlag=Springer Verlag
| Ort=Berlin, Heidelberg
| Jahr=2002
| ISBN=3-540-42018-5
| DOI=10.1007/978-3-642-56339-3}}
* {{Literatur
| Autor=[[Konrad Königsberger]]
| Titel=Analysis
| Band=2
| Auflage=4. überarbeitete Auflage
| Verlag=Springer Verlag
| Ort=Berlin, Heidelberg
| Jahr=2000
| ISBN=3-540-43580-8
| DOI=10.1007/978-3-662-05699-8}}
* {{Literatur
| Autor=Wolfgang Werner
| Titel=Vektoren und Tensoren als universelle Sprache in Physik und Technik
| TitelErg=Tensoralgebra und Tensoranalysis
| Band=1
| Verlag=Springer Vieweg Verlag
| Ort=Wiesbaden
| Jahr=2019
| ISBN=978-3-658-25271-7
| DOI=10.1007/978-3-658-25272-4}}


[[Kategorie:Feldtheorie]]
[[Kategorie:Feldtheorie]]
[[Kategorie:Differentialoperator]]
[[Kategorie:Differentialoperator]]
[[Kategorie:Vektoranalysis]]
[[Kategorie:Vektoranalysis]]

Aktuelle Version vom 24. Februar 2022, 10:22 Uhr

Zwei Skalarfelder, dargestellt als Grauschattierung (dunklere Färbung entspricht größerem Funktionswert). Die blauen Pfeile darauf symbolisieren den zugehörigen Gradienten.

Der Gradient als Operator der Mathematik verallgemeinert die bekannten Gradienten, die den Verlauf von physikalischen Größen beschreiben. Als Differentialoperator kann er beispielsweise auf ein Skalarfeld angewandt werden und wird in diesem Fall ein Vektorfeld liefern, das Gradientenfeld genannt wird. Der Gradient ist eine Verallgemeinerung der Ableitung in der mehrdimensionalen Analysis. Zur besseren Abgrenzung zwischen Operator und Resultat seiner Anwendung bezeichnet man solche Gradienten skalarer Feldgrößen in manchen Quellen auch als Gradientvektoren.[1]

In kartesischen Koordinaten sind die Komponenten des Gradientvektors die partiellen Ableitungen im Punkt $ P $, der Gradient zeigt deshalb in die Richtung der größten Änderung. Der Betrag des Gradienten gibt den Wert der größten Änderungsrate an diesem Punkt an.

Interpretiert man beispielsweise die Reliefkarte einer Landschaft als eine Funktion $ h(x,y), $ die jedem Ort die Höhe an dieser Stelle zuordnet, dann ist der Gradient von $ h $ an der Stelle $ (x,y) $ ein Vektor, der in die Richtung des größten Höhenanstiegs von $ h $ zeigt. Der Betrag dieses Vektors gibt die größte Steigung an diesem Punkt an.

Der Gradient wird zusammen mit anderen Differentialoperatoren wie Divergenz und Rotation in der Vektor- und Tensoranalysis, Teilgebieten der mehrdimensionalen Analysis, untersucht. Sie werden mit dem gleichen Vektoroperator gebildet, und zwar mit dem Nabla-Operator $ \nabla $ (bisweilen auch $ {\vec {\nabla }} $ oder $ {\underline {\nabla }} $ um anzudeuten, dass der Nabla-Operator hilfsweise als Vektor verstanden werden kann).

Definition

Auf $ \mathbb {R} ^{n} $ sei das Skalarprodukt $ \langle {\cdot },{\cdot }\rangle $ gegeben. Der Gradient $ \operatorname {grad} $ der total differenzierbaren Funktion $ f\colon \mathbb {R} ^{n}\to \mathbb {R} $ im Punkt $ {\vec {a}}\in \mathbb {R} ^{n} $ ist der durch die Forderung

$ \mathrm {d} f({\vec {a}}){\vec {h}}=\langle \operatorname {grad} f({\vec {a}}),{\vec {h}}\rangle \quad ({\vec {h}}\in \mathbb {R} ^{n}) $

eindeutig bestimmte Vektor $ \operatorname {grad} f({\vec {a}}). $ Der Operator $ \mathrm {d} $ ist das totale Differential bzw. die Cartan-Ableitung.

Der Gradient hat für differenzierbare Funktionen $ f $ die definierende Eigenschaft[2]

$ f({\vec {y}})-f({\vec {a}})=\mathrm {grad} f({\vec {a}})[{\vec {y}}-{\vec {a}}]+{\mathcal {O}}(|{\vec {y}}-{\vec {a}}|) $ für $ {\vec {y}}\to {\vec {a}}\;. $

Das Landau-Symbol $ {\mathcal {O}}(x) $ steht für Terme, die langsamer als $ x $ wachsen, und $ \ldots [{\vec {h}}] $ stellt eine lineare Funktion von $ {\vec {h}} $ dar. Wenn der Gradient existiert, ist er eindeutig und kann aus

$ \mathrm {grad} f({\vec {a}})[{\vec {h}}]=\left.{\frac {\mathrm {d} }{\mathrm {d} s}}f({\vec {a}}+s{\vec {h}})\right|_{s=0}=\lim _{s\to 0}{\frac {f({\vec {a}}+s{\vec {h}})-f({\vec {a}})}{s}}=({\vec {h}}\cdot \nabla )f $

berechnet werden, wo $ \nabla $ der Nabla-Operator ist. So werden auch Gradienten für Skalar-, Vektor- und Tensorfelder zweiter Stufe oder allgemein Tensorfelder n-ter Stufe definiert.[3]

Für ein Skalarfeld folgt hieraus $ \mathrm {grad} f=\nabla f $; oft schreibt man daher $ \nabla f $ (gesprochen „Nabla $ f $“) statt $ \operatorname {grad} {f} $.

Koordinatendarstellung

Der Gradient hat in unterschiedlichen Koordinatensystemen auch unterschiedliche Darstellungen.

Kartesische Koordinaten

Im $ \mathbb {R} ^{n} $ mit dem euklidischen Standardskalarprodukt ist $ \operatorname {grad} f(a) $ der Spaltenvektor

$ \operatorname {grad} (f)={\frac {\partial f}{\partial x_{1}}}{\hat {e}}_{1}+\cdots +{\frac {\partial f}{\partial x_{n}}}{\hat {e}}_{n}={\begin{pmatrix}{\frac {\partial f}{\partial x_{1}}}\\\vdots \\{\frac {\partial f}{\partial x_{n}}}\end{pmatrix}}. $

Die Einträge $ {\tfrac {\partial f}{\partial x_{i}}} $ sind die partiellen Ableitungen von $ f $ in $ x_{i} $-Richtung.

Rechenbeispiel

Gegeben sei ein Skalarfeld durch $ f(x,y)=2x^{2}-y^{2} $ in der xy-Ebene. Es hat die partiellen Ableitungen $ {\tfrac {\partial f}{\partial x}}=4x $ und $ {\tfrac {\partial f}{\partial y}}=-2y $ und es folgt $ \operatorname {grad} (f)=\nabla f={\tfrac {\partial f}{\partial x}}{\hat {e}}_{x}+{\tfrac {\partial f}{\partial y}}{\hat {e}}_{y}=4x{\hat {e}}_{x}-2y{\hat {e}}_{y} $ oder in Vektordarstellung $ \textstyle \operatorname {grad} (f)=\nabla f={\begin{pmatrix}4x\\-2y\end{pmatrix}}. $

Für den Punkt $ P(2|1) $ lautet beispielsweise der Gradientvektor $ {\begin{pmatrix}8\\-2\end{pmatrix}} $. Der Betrag ist $ \left|{\begin{pmatrix}8\\-2\\\end{pmatrix}}\right|={\sqrt {8^{2}+(-2)^{2}}}\approx 8{,}25 $.

Zylinder- und Kugelkoordinaten

  • Darstellung in dreidimensionalen Zylinderkoordinaten: $ V=V\left(\rho ;\varphi ;z\right) $
$ \operatorname {grad} V={\frac {\partial V}{\partial \rho }}{\hat {e}}_{\rho }+{\frac {1}{\rho }}{\frac {\partial V}{\partial \varphi }}{\hat {e}}_{\varphi }+{\frac {\partial V}{\partial z}}{\hat {e}}_{z} $
  • Darstellung in dreidimensionalen Kugelkoordinaten: $ V=V\left(r;\vartheta ;\varphi \right) $
$ \operatorname {grad} V={\frac {\partial V}{\partial r}}{\hat {e}}_{r}+{\frac {1}{r}}{\frac {\partial V}{\partial \vartheta }}{\hat {e}}_{\vartheta }+{\frac {1}{r\sin \vartheta }}{\frac {\partial V}{\partial \varphi }}{\hat {e}}_{\varphi } $

Dies sind Spezialfälle des Gradienten auf riemannschen Mannigfaltigkeiten. Für diese Verallgemeinerung siehe: Äußere Ableitung.

Orthogonale Koordinaten

In allgemeinen orthogonalen Koordinaten hat der Gradient die Darstellung

$ \operatorname {grad} f=\sum _{a}{{\frac {1}{h_{a}}}{\frac {\partial f}{\partial {q_{a}}}}\,{\hat {e}}_{q_{a}}}\,, $

wobei die $ h_{a} $ den Betrag und $ {\hat {e}}_{q_{a}} $ die Richtung des Vektors $ {\tfrac {\partial {\vec {r}}}{\partial {q_{a}}}} $ angeben.

Allgemein krummlinige Koordinaten

In allgemein krummlinigen Koordinaten hat der Gradient die Darstellung

$ \operatorname {grad} f=\sum _{a}{\frac {\partial f}{\partial q_{a}}}\,{\vec {G}}^{a}\,, $

worin $ {\vec {G}}^{a} $ der Gradient der Koordinate $ q_{a} $ ist.

Geometrische Interpretation

Eine anschauliche Bedeutung hat der Gradient im schon Eingangs erwähnten Fall von (zweidimensionalen) Landkarten, in denen Höhenangaben eingetragen sind[4]. Die Höhenfunktion ist dann ein Skalarfeld, das jedem Punkt auf der Landkarte (gekennzeichnet durch eine x- und eine y-Koordinate) eine Höhe zuordnet. Der Gradient dieses Skalarfelds in einem Punkt ist ein Vektor, der in Richtung des steilsten Anstiegs der Höhenfunktion weist und der Betrag des Gradienten entspricht der Stärke dieses Anstiegs. Der Gradient steht dabei in jedem Punkt senkrecht auf der Höhenlinie (Niveaumenge) der Höhenfunktion durch diesen Punkt. In einem lokalen Minimum oder Maximum (Extremum) oder an einem Sattelpunkt ist der Gradient gerade der Nullvektor, vorausgesetzt, dass dieser Extrempunkt im Inneren des betrachteten Gebietes liegt.

Mit Hilfe des Gradienten lässt sich auch der Anstieg in jeder beliebigen Richtung ermitteln. Diese sogenannte Richtungsableitung ist – im Unterschied zum Gradienten – ein Skalar. Läuft man im Gebiet in (infinitesimal) kleinen Trippelschritten von einem Punkt a zum Punkt b und summiert das Produkt aus Schrittlänge und Richtungsableitung in Richtung des Schritts, erhält man im Zielpunkt b als Ergebnis die Höhendifferenz zum Startpunkt a. Diese Höhendifferenz ist offensichtlich wegunabhängig. Fallen insbesondere Start- und Endpunkt zusammen, so hat man am Ende seine Höhe nicht verändert, egal welchen Weg man durch das Gebiet eingeschlagen hat.

Eigenschaften

Darstellung als Volumenableitung

Mit Hilfe des Integralsatzes von Gauß kann der Gradient, ähnlich wie die Divergenz (Quellendichte) und die Rotation (Wirbeldichte) als Volumenableitung dargestellt werden. Diese Darstellung hat den Vorteil, dass sie koordinatenunabhängig ist. Aus diesem Grund wird der Gradient im Bereich der Ingenieurwissenschaften oftmals direkt so definiert.

Ist $ {\mathcal {V}} $ ein Raumgebiet mit stückweise glattem Rand $ \partial {\mathcal {V}} $ und dem Volumen $ V, $ dann kann der Gradient des Skalarfelds $ f\colon {\mathcal {V}}\to \mathbb {R} $ im Punkt $ p\in {\mathcal {V}} $ mittels der Volumenableitung durch

$ \operatorname {grad} f=\lim _{V\rightarrow 0}{\frac {\oint _{\partial {\mathcal {V}}}f\,\mathrm {d} {\vec {A}}}{V}} $

berechnet werden. Dabei bezeichnet $ \mathrm {d} {\vec {A}}={\tfrac {\vec {n}}{\mid {\vec {n}}\mid }}\mathrm {d} A $ das äußere vektorielle Flächenelement von $ \partial {\mathcal {V}}, $ wobei $ {\vec {n}} $ der nach außen zeigende Normalenvektor und $ \mathrm {d} A $ das skalare Flächenelement ist.[5]

Zur Grenzwertbildung wird das Raumgebiet $ {\mathcal {V}} $ auf den Punkt $ P $ zusammengezogen, sodass sein Inhalt $ V $ im Volumenintegral unten gegen null geht. Ersetzt man $ f $ durch einen Druck, erscheint der Gradient als Kraftdichte. Die Koordinatendarstellungen ergeben sich aus der Volumenableitung, wenn man das jeweilige Volumenelement, beispielsweise Kugel oder Zylinder, als Raumgebiet $ {\mathcal {V}} $ wählt.

Rechenregeln

Für alle Konstanten $ c\in \mathbb {R} $ und Skalarfelder $ u,\,v\colon \mathbb {R} ^{n}\to \mathbb {R} $ gilt:

$ \operatorname {grad} c={\vec {0}} $
Linearität
$ \operatorname {grad} (c\cdot u)=c\cdot \operatorname {grad} u $
$ \operatorname {grad} (u+v)=\operatorname {grad} u+\operatorname {grad} v $
Produktregel
$ \operatorname {grad} (u\,v)=u\operatorname {grad} v+v\operatorname {grad} u $
Kettenregel
$ \operatorname {grad} {\big (}u(v){\big )}={\frac {\mathrm {d} u}{\mathrm {d} v}}\ \operatorname {grad} v $
$ \operatorname {grad} (u^{n})=nu^{n-1}\ \operatorname {grad} u,\quad n\in \mathbb {R} ,\neq 0 $
Siehe auch #Nützliche Formeln.
Integralsätze
$ \int _{\vec {a}}^{\vec {b}}\mathrm {grad} {\big (}u({\vec {r}}){\big )}\cdot \mathrm {d} {\vec {r}}=u({\vec {b}})-u({\vec {a}}) $
Dabei ist „·“ das Skalarprodukt und der Weg von $ {\vec {a}} $ nach $ {\vec {b}} $ beliebig. Diese Wegunabhängigkeit zeichnet Gradientenfelder aus[6], siehe auch #Konservative Kräfte.
$ \int _{V}\mathrm {grad} (u)\,\mathrm {d} V=\int _{A}u{\hat {n}}\,\mathrm {d} A $
$ \int _{A}{\hat {n}}\times \mathrm {grad} (u)\,\mathrm {d} A=\int _{C}u\,\mathrm {d} {\vec {r}} $
Hier ist „ד das Kreuzprodukt, $ u $ ein zweimal stetig differenzierbares Feld und $ {\hat {n}} $ der nach außen gerichtete Normaleneinheitsvektor auf der geschlossenen Oberfläche $ A $ des Volumens $ V $[7] und $ C $ die stückweise glatte, geschlossene Berandungskurve der Fläche $ A $.[6] Aus dem ersten Volumenintegral folgt die Koordinatenfreie Darstellung als Volumenableitung, wenn das Volumen so klein wird, dass in ihm der Gradient näherungsweise konstant ist.

Zusammenhang mit der Richtungsableitung

Unter der Richtungsableitung versteht man die Ableitung, also den Anstieg eines Skalarfeldes $ \varphi \left({\vec {r}}\right), $ in Richtung eines normierten Vektors $ {\vec {v}}, $ genauer:

$ D_{\vec {v}}\varphi ={\frac {\partial \varphi }{\partial {\vec {v}}}}=\lim _{t\to 0}{\frac {\varphi ({\vec {r}}+t{\vec {v}})-\varphi ({\vec {r}})}{t}} $

Ist $ \varphi $ in einer Umgebung von $ {\vec {r}} $ differenzierbar, dann kann man die Richtungsableitung als Skalarprodukt von $ {\vec {v}} $ mit dem Gradienten von $ \varphi $ berechnen:

$ D_{\vec {v}}\varphi ={\frac {\partial \varphi }{\partial {\vec {v}}}}=\operatorname {grad} \varphi \cdot {\vec {v}}=({\vec {v}}\cdot \nabla )\varphi $

Letztere Form ist nicht auf Skalarfelder beschränkt und auf Vektor- oder Tensorfelder n-ter Stufe anwendbar und wird insbesondere in der Strömungsmechanik vielfältig angewendet.

Integrabilitätsbedingung

Eine wichtige Beziehung für differenzierbare Gradientenfelder $ \mathbf {G} (x_{1},\dotsc ,x_{n})=\operatorname {grad} f(x_{1},\dotsc ,x_{n}) $ in $ n $ Dimensionen ist die Aussage, dass diese (nach dem Satz von Schwarz) immer „integrabel“ sind, und zwar in folgendem Sinne: Es gilt für alle $ i $ und $ k $ $ (i,k=1,\dotsc ,n) $:

$ {\frac {\partial G_{i}}{\partial x_{k}}}-{\frac {\partial G_{k}}{\partial x_{i}}}\equiv 0 $

Diese direkt nachprüfbare Beziehung – in drei Dimensionen identisch mit der rotations­freiheit des Feldes – ist notwendig für die Existenz einer „Potentialfunktion“ $ f $ (präziser: der Funktion $ \phi =-f $). Die $ G_{i} $ bzw. $ G_{k} $ sind die Komponenten des Vektorfeldes. Die Integrabilitätsbedingung impliziert ferner, dass für alle geschlossenen Wege $ W $ im $ \mathbb {R} ^{n} $ das Linienintegral $ \textstyle \oint _{W}\mathbf {G} \cdot \mathrm {d} \mathbf {r} $ verschwindet, was in der Mechanik bzw. der Elektrodynamik große Bedeutung hat.

Lokal gilt auch das Umgekehrte: Die Integrabilitätsbedingung

$ {\frac {\partial G_{i}}{\partial x_{k}}}-{\frac {\partial G_{k}}{\partial x_{i}}}\equiv 0 $

für ein differenzierbares Vektorfeld $ \mathbf {G} $ ist auch hinreichend für die lokale Existenz einer skalaren Potentialfunktion $ f $ mit $ \mathbf {G} (x_{1},\dotsc ,x_{n})=\operatorname {grad} f(x_{1},\dotsc ,x_{n}) $ (vgl. Totales Differential#Integrabilitätsbedingung). Unter geeigneten Voraussetzungen an den Definitionsbereich von $ G $ (z. B. Sternförmigkeit) kann sogar auf die globale Existenz einer solchen Potentialfunktion geschlossen werden (siehe Poincaré-Lemma).

Nützliche Formeln

Folgende Gradienten treten häufig in der Physik auf. Es wird der Ortsvektor $ {\vec {r}}=r{\hat {e}}_{r} $ verwendet.

$ \operatorname {grad} r={\hat {e}}_{r}={\frac {\vec {r}}{r}} $
$ \operatorname {grad} U(r)={\frac {\partial U}{\partial r}}{\hat {e}}_{r} $
$ \operatorname {grad} {\frac {1}{r}}=-{\frac {1}{r^{2}}}\,\operatorname {grad} r=-{\frac {{\hat {e}}_{r}}{r^{2}}}=-{\frac {\vec {r}}{r^{3}}} $
$ \operatorname {grad} {\frac {1}{|{\vec {r}}-{\vec {r}}^{\,\prime }|}}=-{\frac {1}{|{\vec {r}}-{\vec {r}}^{\,\prime }|^{2}}}\,\operatorname {grad} |{\vec {r}}-{\vec {r}}^{\,\prime }|=-{\frac {{\vec {r}}-{\vec {r}}^{\,\prime }}{|{\vec {r}}-{\vec {r}}^{\,\prime }|^{3}}} $

Im letzten Beispiel wirkt der Gradient nur auf $ {\vec {r}} $ und nicht auf $ {\vec {r}}^{\prime } $ und wird deshalb auch als $ \nabla _{\vec {r}} $ geschrieben.

Anwendungen

Konservative Kräfte

In der Physik lassen sich viele Kraftfelder als der Gradient eines Potentials darstellen. Beispiele dafür sind:

  • die Gravitationskraft
$ {\vec {F}}_{\mathrm {Gravitation} }(x,y,z)=-m\operatorname {grad} \Phi (x,y,z)\ , $
die für eine am Koordinatenursprung befindliche zentrale Masse M
$ {\vec {F}}_{\mathrm {Gravitation} }(r)=-m\operatorname {grad} \Phi (r)=\operatorname {grad} {\frac {GMm}{r}}=-{\frac {GMm}{r^{3}}}\,{\vec {r}} $
lautet, oder
$ {\vec {E}}(x,y,z)=-\operatorname {grad} \phi (x,y,z)\ . $

In konservativen Kraftfeldern wird unter anderem ausgenutzt, dass für Probemassen bzw. Probeladungen die Wegintegrale die Arbeit $ {\textstyle W=\int _{S}{\vec {F}}({\vec {r}})\cdot \mathrm {d} {\vec {r}}} $ entlang eines beliebigen Weges $ S $ durch das Kraftfeld nur vom Anfangs- und Endpunkt des Weges, nicht aber von seinem Verlauf abhängt, siehe #Integralsätze.

Transportphänomene

Zahlreiche Transportphänomene lassen sich darauf zurückführen, dass sich die dazugehörigen Ströme als Gradient eines Skalarfeldes ausdrücken lassen, wobei der dabei auftretende Proportionalitätsfaktor als Transportkoeffizient oder Leitfähigkeit bezeichnet wird.

Ein Beispiel dafür ist der Wärmestrom $ {\vec {j}}_{w} $ in der Thermodynamik, für den

$ {\vec {j}}_{w}=-\lambda \,\operatorname {grad} T $

gilt, wobei $ \lambda $ die Wärmeleitfähigkeit ist.

In der Fluidmechanik versteht man unter einer Potentialströmung eine Strömung, bei der die Geschwindigkeit Gradient eines Potentialfeldes ist, siehe Geschwindigkeitspotential.

Bildverarbeitung

Ein Problem in der Bildverarbeitung ist es, in einem Bild zusammenhängende Flächen zu erkennen. Da ein Bild diskrete Werte enthält, benutzt man Filter wie den Sobel-Operator, um ein Gradientenfeld des Bildes zu erhalten. Ein Filter ist dabei eine Matrix, mit der das Bild gefaltet wird (siehe Diskrete Faltung). Die Kanten in dem Bild sind dann als Extremwerte des gefilterten Bildes erkennbar.

Weitere Anwendungen

  • So wie Gauß-Newton-Verfahren zur Nullstellensuche von Funktionen verwendet wird, wird für mehrdimensionale Optimierungsprobleme in der Numerik das Gradientenverfahren eingesetzt.
  • Ein Druckgradientenmikrofon nutzt die Druckdifferenzen zwischen räumlichen Punkten aus.

Verallgemeinerungen

Gradienten von Vektoren und Tensoren

Wie im Abschnitt #Definition schon bemerkt, wird der Gradient auch auf Vektoren und Tensoren angewendet. Der Gradient eines Skalarfeldes (Tensorfeld nullter Stufe) ergibt ein Vektorfeld, das ein Tensorfeld erster Stufe ist. Allgemein führt Gradientenbildung eines Tensorfeldes n-ter Stufe auf ein Tensorfeld der Stufe n+1.[8]

Die Koeffizienten der Gradienten der kovarianten Basisvektoren eines krummlinigen Koordinatensystems sind die Christoffelsymbole.[9]

Insbesondere in der Kontinuumsmechanik und Fluidmechanik werden die Gradienten von Skalar- und Vektorfeldern vielfältig genutzt, denn die oben genannten #Eigenschaften lassen sich ohne Weiteres auf Gradienten von Vektorfeldern übertragen.

Riemannsche Mannigfaltigkeiten

Für eine glatte Funktion $ f $ auf einer Riemannschen Mannigfaltigkeit $ (M,g) $ ist der Gradient von $ f $ dasjenige Vektorfeld $ \nabla f $, mit dem für jedes Vektorfeld $ X $ die Gleichung

$ g(\nabla f,X)=\partial _{X}f,\qquad \mathrm {d.\,h.} \quad g_{x}((\nabla f)_{x},X_{x})=(\partial _{X}f)(x), $

gilt, wobei $ g_{x}(\cdot ,\cdot ) $ das durch $ g $ definierte innere Produkt von Tangentialvektoren an $ x $ ist und $ \partial _{X}f $ (oft auch $ X(f) $ bezeichnet) diejenige Funktion ist, die jedem Punkt $ x\in M $ die Richtungsableitung von $ f $ in Richtung $ X $, ausgewertet in $ x $, zuordnet. Mit anderen Worten, in einer Karte $ \varphi $ von einer offenen Teilmenge von $ M $ auf eine offene Teilmenge von $ \mathbb {R} ^{n} $ ist $ (\partial _{X}f)(x) $ gegeben durch:

$ \sum _{j=1}^{n}X^{j}(\varphi (x)){\frac {\partial }{\partial x_{j}}}(f\circ \varphi ^{-1}){\Big |}_{\varphi (x)}, $

wobei $ X^{j} $ die $ j $-te Komponente von $ X $ in diesen Koordinaten bedeutet.

In lokalen Koordinaten hat der Gradient also die Form

$ \nabla f=g^{ik}{\frac {\partial f}{\partial x^{k}}}{\frac {\partial }{\partial x^{i}}}. $

Analog zum Fall $ M=\mathbb {R} ^{n} $ hat man den Zusammenhang des Gradienten mit der äußeren Ableitung vermittels

$ (\partial _{X}f)(x)=df_{x}(X_{x})\ . $

Der Ausdruck $ \nabla f $ ist also das der 1-Form $ \mathrm {d} f $ unter dem mittels der Metrik $ g $ definierten musikalischen Isomorphismus („sharp“)

$ \sharp =\sharp ^{g}\colon T^{*}M\to TM $

entsprechende Vektorfeld. Der Zusammenhang zwischen äußerer Ableitung und Gradienten für Funktionen auf dem $ \mathbb {R} ^{n} $ ist der Spezialfall für die durch das euklidische Skalarprodukt gegebene flache Metrik.

Weblinks

Einzelnachweise

  1. Ernst Grimsehl: Lehrbuch der Physik. Band 1: Mechanik, Wärmelehre, Akustik. 15. Auflage, herausgegeben von Walter Schallreuter. Teubner, Leipzig 1954, S. 579.
  2. M. E. Gurtin: The Linear Theory of Elasticity. In: S. Flügge (Hrsg.): Handbuch der Physik. Band VI2/a, Bandherausgeber C. Truesdell. Springer, 1972, ISBN 3-540-05535-5, S. 10.
  3. C. B. Lang, N. Pucker: Mathematische Methoden in der Physik. Springer Spektrum, Berlin, Heidelberg 2016, ISBN 978-3-662-49312-0, S. 420, doi:10.1007/978-3-662-49313-7., Holm Altenbach: Kontinuumsmechanik. Einführung in die materialunabhängigen und materialabhängigen Gleichungen. Springer-Verlag, Berlin, Heidelberg 2012, ISBN 978-3-642-24118-5, S. 43, doi:10.1007/978-3-642-24119-2.
  4. Guido Walz (Hrsg.): Lexikon der Mathematik. 2. Auflage. Band 2 (Eig bis Inn). Springer Spektrum Verlag, Mannheim 2017, ISBN 978-3-662-53503-5, S. 216, doi:10.1007/978-3-662-53504-2.
  5. Bronstein, Semendjajew, Musiol, Mühlig: Taschenbuch der Mathematik, Verlag Harri Deutsch, Frankfurt, 8. Aufl. 2012, Abschn. 13.2, Räumliche Differentialoperatoren
  6. 6,0 6,1 Werner (2019), S. 433.
  7. Altenbach (2012), S. 45.
  8. C. B. Lang, N. Pucker: Mathematische Methoden in der Physik. Springer Spektrum, Berlin, Heidelberg 2016, ISBN 978-3-662-49312-0, S. 420 f., doi:10.1007/978-3-662-49313-7. und Altenbach (2012), S. 43.
  9. Werner (2019), S. 313.

Literatur

  • Adolf J. Schwab: Begriffswelt der Feldtheorie. praxisnahe, anschauliche Einführung; elektromagnetische Felder, Maxwellsche Gleichungen, Gradient, Rotation, Divergenz. 6., unveränderte Auflage. Springer Verlag, Berlin, Heidelberg 2002, ISBN 3-540-42018-5, doi:10.1007/978-3-642-56339-3.
  • Konrad Königsberger: Analysis. 4. überarbeitete Auflage. Band 2. Springer Verlag, Berlin, Heidelberg 2000, ISBN 3-540-43580-8, doi:10.1007/978-3-662-05699-8.
  • Wolfgang Werner: Vektoren und Tensoren als universelle Sprache in Physik und Technik. Tensoralgebra und Tensoranalysis. Band 1. Springer Vieweg Verlag, Wiesbaden 2019, ISBN 978-3-658-25271-7, doi:10.1007/978-3-658-25272-4.