Integralkurve

Eine Integralkurve bezeichnet in der Mathematik im Bereich der Differentialtopologie eine auf einer differenzierbaren Mannigfaltigkeit definierte Kurve, die in enger Beziehung zu einem gegebenen glatten Vektorfeld auf dieser Mannigfaltigkeit steht. So stellen beispielsweise elektrische Feldlinien Integralkurven des zugehörigen elektrischen Vektorfeldes dar. Anschaulich bewegt sich ein kleiner Styroporball im Idealfall auf Integralkurven des Vektorfeldes, das etwa von der Strömung eines Flusses vorgegeben wird.

Definition

Integralkurven eines Vektorfeldes auf der zweidimensionalen Einheitssphäre

Sei X ein glattes Vektorfeld auf einer Mannigfaltigkeit M der Dimension n und p\in M ein beliebiger Punkt. Dann heißt eine glatte Kurve \gamma \colon I\to M auf einem offenen Intervall I\subset {\mathbb  R} mit t_{0}\in I Integralkurve von X durch p, wenn

\gamma (t_{0})=p;
\gamma '(t)=X(\gamma (t))\quad \forall t\in I.

Oder mit anderen Worten: Der Tangentialvektor von \gamma ist an jeder Stelle identisch mit dem durch X gegebenen Vektor an dieser Stelle.

Existenz

In lokalen Koordinaten reduziert sich das Problem auf ein System gewöhnlicher Differentialgleichungen:

(\gamma ^{i})'(t)=X^{i}(\gamma ^{1}(t),...,\gamma ^{n}(t))

wobei i=1,...,n und die X^{i} glatte Funktionen auf M sind. Zusammen mit der Randbedingung \gamma (t_{0})=p handelt es sich also um ein klassisches Anfangswertproblem und der Satz von Picard-Lindelöf garantiert somit eine eindeutige Lösung in einer Umgebung von t_{0}. Da man Lösungen von Differentialgleichungen auch oft 'Integrale' nennt, liegt hier der Begriff 'Integralkurve' nahe.

Lokaler Fluss

Zu jedem glatten Vektorfeld X\colon M\to TM gibt es einen eindeutig bestimmten maximalen lokalen Fluss

\varphi \colon A\to M,\quad (t,p)\mapsto \gamma _{p}(t)

mit dem Definitionsbereich

A=\bigcup \nolimits _{{p\in M}}I_{p}\times \{p\}\subseteq \mathbb{R} \times M.

Dabei ist \gamma _{p}\colon I_{p}\to M die eindeutig bestimmte maximale Integralkurve mit \gamma _{p}(0)=p und \gamma _{p}'(t)=X(\gamma _{p}(t)) für alle t\in I_{p}. Ist die Mannigfaltigkeit M kompakt, dann ist der Fluss global, das heißt, es gilt I_{p}=\mathbb{R} für alle p\in M und A=\mathbb{R} \times M.

Literatur

Trenner
Basierend auf einem Artikel in: Wikipedia.de
Seitenende
Seite zurück
©  biancahoegel.de
Datum der letzten Änderung: Jena, den: 24.06. 2020