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

Datei:Killing-vector-s2.png

Integralkurven eines Vektorfeldes auf der zweidimensionalen Einheitssphäre

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

<math> \gamma(t_0) = p; </math>

<math> \gamma'(t) = X(\gamma(t)) \quad \forall t\in I.</math>

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

Existenz

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

<math> (\gamma^i)'(t) = X^i(\gamma^1(t),...,\gamma^n(t)) </math>

wobei <math>i=1,...,n</math> und die <math>X^i</math> glatte Funktionen auf <math>M</math> sind. Zusammen mit der Randbedingung <math>\gamma(t_0) = p</math> 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 <math>t_0</math>. Da man Lösungen von Differentialgleichungen auch oft 'Integrale' nennt, liegt hier der Begriff 'Integralkurve' nahe.

Lokaler Fluss

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

<math>\varphi \colon A\to M,\quad (t,p) \mapsto \gamma_p(t)</math>

mit dem Definitionsbereich

<math>A=\bigcup\nolimits_{p\in M}I_p\times\{p\}\subseteq\R\times M</math>.

Dabei ist <math>\gamma_p \colon I_p\to M</math> die eindeutig bestimmte maximale Integralkurve mit <math>\gamma_p(0)=p</math> und <math>\gamma_p'(t)=X(\gamma_p(t))</math> für alle <math>t\in I_p</math>.<ref>R. Abraham, Jerrold E. Marsden, T. Ratiu: Manifolds, tensor analysis, and applications (= Applied mathematical sciences 75). 2. Auflage. Springer, New York NY u. a. 1988, ISBN 0-387-96790-7, S. 249.</ref> Ist die Mannigfaltigkeit <math>M</math> kompakt, dann ist der Fluss global, das heißt, es gilt <math>I_p=\R</math> für alle <math>p\in M</math> und <math>A=\R\times M</math>.

Literatur

• {{#ifexist:Vorlage:bibISBN/{{#invoke:URIutil|plainISBN|3540064613}}

| {{bibISBN/{{#invoke:URIutil|plainISBN|3540064613}}

  |record = Vorlage:bibISBN/{{#invoke:URIutil|plainISBN|3540064613}}
  |format = Literatur
  |Autor = 
  |Titel = 
  |TitelErg = 
  |Band = 
  |Auflage = 
  |Kommentar= 
  |Kapitel = § 8. Dynamische Systeme
  |Seite = 
  |Seiten = 
  |Spalten = 
  |ArtikelNr = 
  |Fundstelle = 
  |DOI = 
  |Online = 
  |URL = 
  |Linktext = 
  |Format = 
  |KBytes = 
  |Abruf = 
  |Typ = 

}}{{#ifeq: 0 | 0

   | {{#invoke:TemplatePar|check
       |all= 1=
       |opt= 2= format= Autor= Titel= TitelErg= Hrsg= Sammelwerk= WerkErg= Band= Nummer= Auflage= Datum= Sprache= NummerReihe= BandReihe= HrsgReihe= Kommentar= Kapitel= Seite= Seiten= Spalten= ArtikelNr= Fundstelle= DOI= Online= URL= Linktext= Format= KBytes= Abruf= Typ=

|template=Vorlage:bibISBN |cat=Wikipedia:Vorlagenfehler/Vorlage:BibISBN}}

     }}

| {{#if:||{{#ifeq: 0 | 0 | }}}}}}

• {{#invoke:Vorlage:Literatur|f}}

Einzelnachweise

<references />