Wegintegral/Euklidisch/Zeitunabhängiges Vektorfeld/Einführung/Textabschnitt

Definition

Es sei  $U\subseteq V$  eine offene Teilmenge in einem euklidischen Vektorraum,

$F:U⟶V$

ein stetiges Vektorfeld und

$\gamma :[a,b]⟶U$

eine stetig differenzierbare Kurve. Dann heißt

${\int }_{\gamma }F:={\int }_a^b⟨F(\gamma (t)),{\gamma }^{\prime }(t)⟩dt$

das Wegintegral zum Vektorfeld $F$ längs des Weges $\gamma$.

Statt Wegintegral sagt man auch Kurvenintegral . Die stetige Differenzierbarkeit sichert dabei, dass die Ableitung ${\gamma }^{\prime }$ und damit auch der Integrand $t\mapsto ⟨F(\gamma (t)),{\gamma }^{\prime }(t)⟩$ stetig sind, sodass das Integral existiert.

Wenn der Weg $\gamma$ nur (stetig und) stückweise stetig differenzierbar ist, wenn es also eine Unterteilung  $a=a_0<a_1<\dots <a_{n-1}<a_n=b$  derart gibt, dass die Einschränkungen

${\gamma }_i:={\gamma }_{[a_{i-1},a_i]}$

stetig differenzierbar sind, so setzt man

${\int }_{\gamma }F:={\int }_{{\gamma }_1}F+{\int }_{{\gamma }_2}F+\cdots +{\int }_{{\gamma }_n}F.$

Bemerkung  

Bei der üblichen physikalischen Interpretation eines Wegintegrals stellt man sich das Vektorfeld $F$ als ein Kraftfeld und den Weg als die Bewegung eines Massepunktes vor. Dabei ist die Bewegung erzwungen, d.h. es handelt sich nicht um die natürliche Bewegung, die das Kraftfeld bewirkt , sondern um eine geführte Bewegung. Eine solche Bewegung erfordert einen Arbeitsaufwand, wenn sie gegen das Kraftfeld durchgeführt wird, und setzt Energie frei, wenn sie mit der Kraft geführt wird. Entscheidend ist dabei der Winkel zwischen der momentanten Bewegungsrichtung zu einem Zeitpunkt $t$ und dem Kraftfeld zum Ortspunkt $\gamma (t)$. Daher taucht in der Definition des Wegintegrals das Skalarprodukt zwischen Vektorfeld und Bewegungsrichtung auf. Das gesamte Wegintegral ist die Arbeit, die man längs des Weges in dem Kraftfeld verrichtet. Das Skalarprodukt $⟨F(\gamma (t)),{\gamma }^{\prime }(t)⟩$ bedeutet zu einem fixierten Zeitpunkt $t$ die momentane Leistung.

Bemerkung  

Das Vektorfeld

$F:U⟶{ℝ}^n$

sei durch die Komponentenfunktionen

$F_1(x_1,\dots ,x_n),\dots ,F_n(x_1,\dots ,x_n)$

und die Kurve durch die Komponentenfunktionen

$({\gamma }_1(t),\dots ,{\gamma }_n(t))$

mit der Ableitung

$(\gamma {\text{'}}_1(t),\dots ,{{\gamma }_n}^{\prime }(t))$

gegeben. Dann wird das Wegintegral durch

$\begin{array}{cc}{\int }_{\gamma }F& ={\int }_a^b{F}_1({\gamma }_1(t),\dots ,{\gamma }_n(t))\cdot {{\gamma }_1}^{\prime }(t)+\cdots +F_n({\gamma }_1(t),\dots ,{\gamma }_n(t))\cdot {{\gamma }_n}^{\prime }(t)dt\\ & =\sum _{i=1}^n{\int }_a^b{F}_i({\gamma }_1(t),\dots ,{\gamma }_n(t))\cdot {{\gamma }_i}^{\prime }(t)dt\end{array}$

berechnet.

Beispiel

Zu einem konstanten Vektorfeld

$F:V⟶V,x⟼v,$

auf einem euklidischen Vektorraum $V$ mit einem Vektor  $v\in V$  und einem affin-linearen Weg

$\gamma :[a,b]⟶V,t⟼w+tu,$

ist

${\int }_{\gamma }F={\int }_a^b⟨v,u⟩dt=(b-a)⟨v,u⟩.$

Beispiel

Wir betrachten das Vektorfeld

$F:{ℝ}^2⟶{ℝ}^2,(x,y)⟼(x^2-y^3,xy)$

und den Weg

$\gamma :[0,1]⟶{ℝ}^2,t⟼(t^2,t^3-5t).$

Die Ableitung von $\gamma$ ist

${\gamma }^{\prime }(t)=(2t,3t^2-5).$

Daher ist das Wegintegral zu diesem Vektorfeld längs dieser Kurve gleich

$\begin{array}{cc}{\int }_{\gamma }F& ={\int }_0^1⟨F(\gamma (t)),{\gamma }^{\prime }(t)⟩dt\\ & ={\int }_0^1({\gamma }_1(t{)}^2-{\gamma }_2(t{)}^3)\cdot {{\gamma }_1}^{\prime }(t)+{\gamma }_1(t){\gamma }_2(t)\cdot {{\gamma }_2}^{\prime }(t)dt\\ & ={\int }_0^1(t^4-(t^3-5t{)}^3)\cdot 2t+t^2(t^3-5t)\cdot (3t^2-5)dt\\ & ={\int }_0^1(t^4-t^9+15t^7-75t^5+125t^3)2t+t^2(3t^5-5t^3-15t^3+25t)dt\\ & ={\int }_0^{1}2t^5-2t^{10}+30t^8-150t^6+250t^4+3t^7-20t^5+25t^{3}dt\\ & ={\int }_0^1-2t^{10}+30t^8+3t^7-150t^6-18t^5+250t^4+25t^{3}dt\\ & =(-\frac{2}{11}{t}^{11}+\frac{10}{3}{t}^9+\frac{3}{8}{t}^8-\frac{150}{7}{t}^7-3t^6+50t^5+\frac{25}{4}{t}^4){|}_0^1\\ & =47+\frac{-336+6160+693-39600+11550}{1848}\\ & =47-\frac{21533}{1848}\\ & =\frac{65323}{1848}.\end{array}$

Beispiel

Wir betrachten das Vektorfeld

$F:{ℝ}^2⟶{ℝ}^2,(x,y)⟼(-3x,5y).$

Für einen stetig differenzierbaren Weg

$\gamma :[a,b]⟶{ℝ}^2,t⟼\gamma (t),$

ist das Wegintegral zu diesem Vektorfeld gleich

$\begin{array}{cc}{\int }_{\gamma }F& ={\int }_a^b⟨F(\gamma (t)),{\gamma }^{\prime }(t)⟩dt\\ & ={\int }_a^b-3{\gamma }_1(t)\cdot {{\gamma }_1}^{\prime }(t)+5{\gamma }_2(t)\cdot {{\gamma }_2}^{\prime }(t)dt\\ & =(-\frac{3}{2}({\gamma }_1(t){)}^2+\frac{5}{2}({\gamma }_2(t){)}^2){|}_a^b\\ & =-\frac{3}{2}({\gamma }_1(b){)}^2+\frac{5}{2}({\gamma }_2(b){)}^2+\frac{3}{2}({\gamma }_1(a){)}^2-\frac{5}{2}({\gamma }_2(a){)}^2.\end{array}$

Insbesondere hängt dieser Wert nur von $\gamma (a)$ und $\gamma (b)$ ab, also dem Anfangspunkt und dem Endpunkt der Bewegung, nicht aber vom Verlauf des Weges.

Im vorstehenden Beispiel besitzt insbesondere bei  $\gamma (a)=\gamma (b)$  das Wegintegral den Wert $0$. Wir werden später sehen, dass die sogenannten Gradientenfelder (Potentialfelder) die Eigenschaft besitzen, dass die Wegintegrale nur vom Anfangs- und Endpunkt abhängen. Das folgende Beispiel zeigt, dass für einen geschlossenen Weg $\gamma$, wo also  $\gamma (a)=\gamma (b)$  ist, das Wegintegral im Allgemeinen nicht $0$ sein muss.

Beispiel

Wir betrachten das Vektorfeld

$F:{ℝ}^2⟶{ℝ}^2,(x,y)⟼(-y,x)$

und den Weg

$\gamma :[0,2\pi ]⟶{ℝ}^2,t⟼(\cos t,\sin t).$

Die Ableitung von $\gamma$ ist

${\gamma }^{\prime }(t)=(-\sin t,\cos t).$

Daher ist das Wegintegral zu diesem Vektorfeld längs dieser Kurve gleich

$\begin{array}{cc}{\int }_{\gamma }F& ={\int }_0^{2\pi }⟨F(\gamma (t)),{\gamma }^{\prime }(t)⟩dt\\ & ={\int }_0^{2\pi }⟨\left(\begin{array}{c}-\sin t\\ \cos t\end{array}\right),\left(\begin{array}{c}-\sin t\\ \cos t\end{array}\right)⟩dt\\ & ={\int }_0^{2\pi }{\sin }^{2}t+{\cos }^{2}tdt\\ & ={\int }_0^{2\pi }1dt\\ & =2\pi .\end{array}$

Lemma

Es sei  $U\subseteq V$  eine offene Teilmenge in einem euklidischen Vektorraum,

$F,G:U⟶V$

stetige Vektorfelder und

$\gamma :[a,b]⟶U$

eine (stückweise) stetig differenzierbare Kurve. Dann gelten folgende Aussagen.

1. Für  $r,s\in ℝ$  ist

   ${\int }_{\gamma }rF+sG=r{\int }_{\gamma }F+s{\int }_{\gamma }G.$

2. Es ist

   ${\int }_{-\gamma }F=-{\int }_{\gamma }F,$

   wobei $-\gamma$ den umgekehrt durchlaufenen Weg bezeichnet.

3. Wenn

   $\delta :[b,c]⟶U$

   ein weiterer (stückweise) stetig differenzierbarer Weg mit  $\delta (b)=\gamma (b)$  ist, so ist

   ${\int }_{\gamma \ast \delta }F={\int }_{\gamma }F+{\int }_{\delta }F,$

   wobei $\gamma \ast \delta$ den aneinander gelegten Weg bezeichnet.

Beweis

Siehe Aufgabe.

$◻$

Satz

Es sei  $U\subseteq V$  eine offene Teilmenge in einem euklidischen Vektorraum,

$F:U⟶V$

ein stetiges Vektorfeld und

$\gamma :[a,b]⟶U$

eine stetig differenzierbare Kurve. Es sei

$g:[c,d]⟶[a,b]$

eine bijektive, monoton wachsende, stetig differenzierbare Funktion und sei  $\tilde{\gamma }=\gamma \circ g$. 

Dann gilt

${\int }_{\gamma }F={\int }_{\tilde{\gamma }}F.$

Beweis

Es seien $F_1,\dots ,F_n$ die Komponentenfunktionen von $F$ und ${\gamma }_1,\dots ,{\gamma }_n$ die Komponentenfunktionen von $\gamma$ bezüglich einer fixierten Orthonormalbasis von $V$. Dann gilt mit der Substitution  $t=g(s)$  unter Verwendung von Fakt

$\begin{array}{cc}{\int }_{\gamma }F& =\sum _{i=1}^n{\int }_a^b{F}_i({\gamma }_1(t),\dots ,{\gamma }_n(t))\cdot {{\gamma }_i}^{\prime }(t)dt\\ & =\sum _{i=1}^n{\int }_c^d{F}_i({\gamma }_1(g(s)),\dots ,{\gamma }_n(g(s)))\cdot {{\gamma }_i}^{\prime }(g(s))\cdot g^{\prime }(s)ds\\ & =\sum _{i=1}^n{\int }_c^d{F}_i({\tilde{\gamma }}_1(s),\dots ,{\tilde{\gamma }}_n(s))\cdot {{\tilde{\gamma }}_i}^{\prime }(s)ds\\ & ={\int }_{\tilde{\gamma }}F.\end{array}$

$◻$

Die Funktion $g:[c,d]\to [a,b]$ nennt man in diesem Zusammenhang eine (orientierungserhaltende) Umparametrisierung der Zeit. Der Satz besagt, dass das Wegintegral nur von dem durchlaufenen Weg (einschließlich der Richtung) abhängt, nicht aber von der Geschwindigkeit, mit der das passiert. Wenn die Funktion $g$ monoton fallend ist, so vertauschen sich bei der Substitution die Integrationsgrenzen und man erhält

${\int }_{\gamma }F=-{\int }_{\tilde{\gamma }}F.$

Diese Beziehung gilt insbesondere, wenn der Weg $\gamma$ in umgekehrter Richtung durchlaufen wird, was schon in Fakt  (2) formuliert wurde.

Fußnoten