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 ein glattes Vektorfeld auf einer Mannigfaltigkeit der Dimension 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 durch , 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 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 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 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

Theodor Bröcker, Klaus Jänich: Einführung in die Differentialtopologie. Springer, Berlin 1973, ISBN 3-540-06461-3.

Basierend auf einem Artikel in:

Wikipedia.de