Dynamisches System

Unter einem (deterministischen) dynamischen System versteht man das mathematische Modell eines zeitabhängigen Prozesses, der homogen bezüglich der Zeit ist, also dessen Verlauf zwar vom Anfangszustand, aber nicht vom Anfangszeitpunkt abhängt. Der Begriff des dynamischen Systems geht in seiner heutigen Form auf den Mathematiker George David Birkhoff zurück.

Dynamische Systeme finden vielfältige Anwendungen auf Prozesse im Alltag und erlauben Einblicke in viele Bereiche nicht nur der Mathematik (z. B. Zahlentheorie, Stochastik), sondern auch der Physik (z. B. Pendelbewegung, Klimamodelle) oder der theoretischen Biologie (z. B. Räuber-Beute-Modelle).

Man unterscheidet zwischen diskreter und kontinuierlicher Zeitentwicklung. Bei einem zeitdiskreten dynamischen System ändern sich die Zustände in äquidistanten Zeitsprüngen, d. h. in auf einander folgenden, stets gleich großen zeitlichen Abständen, während die Zustandsänderungen eines zeitkontinuierlichen dynamischen Systems in infinitesimal kleinen Zeitschritten stattfinden. Das wichtigste Beschreibungsmittel für zeitkontinuierliche dynamische Systeme sind autonome gewöhnliche Differenzialgleichungen.

Ein gemischtes System aus kontinuierlichen und diskreten Teilsystemen mit kontinuierlich-diskreter Dynamik wird auch als hybrid bezeichnet. Beispiele solcher hybrider Dynamiken finden sich in der Verfahrenstechnik (z. B. Dosiervorlage-Systeme).

Definitionen

Ein dynamisches System ist ein Tripel $$ (T,X,f), $$ bestehend aus einer Menge $T=\mathbb {N} _{0},\mathbb {Z} ,\mathbb {R} _{0}^{+}$ oder $\mathbb {R} ,$ dem Zeitraum, einer nichtleeren Menge $$ X $$ , dem Zustandsraum, und einer Operation $f\colon \,T\times X\to X$ von $$ T $$ auf $$ X, $$ so dass für alle Zustände $x\in X$ und alle Zeitpunkte $t_{1},t_{2}\in T$ gilt:

$$ f(0,x)=x $$ (Identitätseigenschaft) und
$f(t_{2},f(t_{1},x))=f(t_{2}+t_{1},x)$ (Halbgruppeneigenschaft).

Wenn $T=\mathbb {N} _{0}$ oder $T=\mathbb {Z}$ ist, dann heißt $$ (T,X,f) $$ zeitdiskret oder kurz diskret, und mit $T=\mathbb {R} _{0}^{+}$ oder $T=\mathbb {R}$ nennt man $$ (T,X,f) $$ zeitkontinuierlich oder kontinuierlich. $$ (T,X,f) $$ wird außerdem als diskretes oder kontinuierliches dynamisches System für reelle Zeit oder als invertierbar bezeichnet, falls $T=\mathbb {Z}$ bzw. $T=\mathbb {R}$ gilt.

Für jedes $x\in X$ heißt die Abbildung $\beta _{x}\colon \,T\to X,\,t\mapsto \beta _{x}(t):=f(t,x),$ die Bewegung von $x=\beta _{x}(0)$ und die Menge $O(x):=\{\beta _{x}(t)\mid t\in T\}$ wird die Bahn oder der (volle) Orbit von $$ x $$ genannt. Der positive Halborbit oder Vorwärtsorbit von $$ x $$ ist $O^{+}(x):=\{\beta _{x}(t)\mid t\in T\cap \mathbb {R} _{0}^{+}\}$ und falls $$ (T,X,f) $$ invertierbar ist, ist $O^{-}(x):=\{\beta _{x}(t)\mid -t\in T\cap \mathbb {R} _{0}^{+}\}$ der negative Halborbit oder Rückwärtsorbit von $$ x $$ .

Ein diskretes dynamisches System $$ (T,X,f) $$ ist stetig, wenn sein Zustandsraum $$ X $$ ein (nichtleerer) metrischer Raum ist und wenn jede zu einem Zeitpunkt $t\in T$ gehörende Transformation $\varphi _{t}\colon \,X\to X,\,x\mapsto \varphi _{t}(x):=f(t,x),$ stetig ist. Man nennt ein kontinuierliches dynamisches System $$ (T,X,f) $$ stetig oder einen Halbfluss, wenn sein Zustandsraum $$ X $$ ein metrischer Raum ist und wenn jede zu einem Zeitpunkt gehörende Transformation sowie jede Bewegung eines Zustands stetig ist. Außerdem nennt man ein stetiges diskretes dynamisches System $(\mathbb {Z} ,X,f)$ auch eine Kaskade und einen Halbfluss $(\mathbb {R} ,X,f)$ einen Fluss. Der Zustandsraum eines stetigen dynamischen Systems wird auch als Phasenraum und von jedem $x_{0}\in X$ der Orbit als die Phasenkurve oder Trajektorie von $x_{0}$ bezeichnet, die einfach $x\colon \,t\mapsto x(t)$ geschrieben wird mit $x(0)=x_{0}$ .

Koppelt man kontinuierliche und gegebenen Falles noch zusätzliche diskrete dynamische Systeme zu einem System zusammen, so nennt man dieses ein kontinuierlich-diskretes oder auch hybrides dynamisches System.

Bemerkungen

In der Literatur wird häufig nicht zwischen dynamischen Systemen und stetigen dynamischen Systemen bzw. Flüssen unterschieden, außerdem versteht man unter einem Fluss nicht selten einen differenzierbaren Fluss (siehe unten). Es finden sich auch allgemeinere Definitionen stetiger dynamischer Systeme, bei denen z. B. als Phasenraum eine topologische Mannigfaltigkeit, ein (u. U. kompakter) Hausdorff-Raum oder gar nur ein topologischer Raum genommen wird.
An Stelle der Linksoperation $$ f $$ wie in der obigen Definition werden oft dynamische Systeme mit einer Rechtsoperation $f_{r}\colon \,X\times T\to X$ auf $$ X $$ definiert, die Reihenfolge der Argumente dreht sich dann entsprechend um.
In der Definition wird die Identitätseigenschaft von der Operation $$ f $$ deshalb gefordert, weil jeder Zustand $$ x $$ , so lang keine Zeit vergeht (also für $$ t=0 $$ ), sich nicht verändern soll. Diese Eigenschaft bedeutet, dass die zu $$ 0 $$ gehörende Transformation die identische Abbildung auf $$ X $$ ist: $\varphi _{0}=\operatorname {id} _{X}.$
Die Halbgruppeneigenschaft macht das dynamische System bezüglich der Zeit homogen: Man gelangt zunächst in $t_{1}$ Zeiteinheiten vom Zustand $$ x $$ zum Zustand $f(t_{1},x)$ und anschließend von dort in $t_{2}$ Zeiteinheiten zum Zustand $f(t_{2}+t_{1},x)$ , d. h. zum gleichen Zustand zu dem man direkt vom Zustand $$ x $$ in $t_{2}+t_{1}$ Zeiteinheiten kommt. Die zu allen Zeitpunkten $$ t $$ gehörenden Transformationen $\varphi _{t}\colon \,X\to X,\,x\mapsto \varphi _{t}(x):=f(t,x),$ bilden eine kommutative Halbgruppe mit der Komposition $\circ$ als Verknüpfung und mit einem neutralen Element $\varphi _{0}$ , außerdem ist die Abbildung $T\to X^{X}\!,\,t\mapsto \varphi _{t},$ ein Halbgruppenhomomorphismus: $\varphi _{t_{2}+t_{1}}=\varphi _{t_{2}}\circ \varphi _{t_{1}}$ für alle $t_{1},t_{2}\in T.$ Diese Transformationshalbgruppe ist bei invertierbaren dynamischen Systemen sogar eine Gruppe, denn für alle $t\in T$ ist $\varphi _{-t}$ das inverse Element zu $\varphi _{t}.$
Ein dynamisches System $$ (T,X,f) $$ mit $T=\mathbb {N} _{0}$ oder mit $T=\mathbb {R} _{0}^{+}$ lässt sich genau dann zu einem invertierbaren dynamischen System $$ (T',X,f') $$ mit $(T'\cap \mathbb {R} _{0}^{+},X,f'|_{(T'\cap \mathbb {R} _{0}^{+})\times X})=(T,X,f)$ fortsetzen, wenn die zu $$ 1 $$ gehörende Transformation $\varphi _{1}$ eine Umkehrfunktion $(\varphi _{1})^{-1}$ besitzt. Es sind dann $\varphi _{-1}:=(\varphi _{1})^{-1}$ und rekursiv $\varphi _{-(n+1)}:=\varphi _{-1}\circ \varphi _{-n}$ für alle $n\in \mathbb {N} .$ Ist $$ (T,X,f) $$ kontinuierlich, so sind durch $\varphi _{-t}:=\varphi _{1-s}\circ \varphi _{-(n+1)}$ für alle $t=n+s\in \mathbb {R} _{0}^{+}$ mit $n\in \mathbb {N} _{0}$ und $s\in [\,0,1)$ ebenso sämtliche zu negativen Zeiten gehörenden Transformationen eindeutig gegeben. Mit $T':=T\cup \{-t\mid t\in T\}$ ist so genau eine Operation $f'\colon \,T'\times X\to X,\,(t,x)\mapsto f'(t,x):=\varphi _{t}(x),$ von $$ T' $$ auf $$ X $$ erklärt, so dass $$ (T',X,f') $$ die invertierbare Fortsetzung von $$ (T,X,f) $$ ist.
Wegen der Halbgruppeneigenschaft lässt sich jedes diskrete dynamische System $(\mathbb {N} _{0},X,f)$ oder $(\mathbb {Z} ,X,f)$ als iterative Anwendung der zu $$ 1 $$ gehörenden Transformation $\varphi :=\varphi _{1}$ mit den Zeitpunkten als Iterationsindizes auffassen: $\varphi _{t+1}=\varphi \circ \varphi _{t}$ für alle $t\in \mathbb {N} _{0}$ und bei $(\mathbb {Z} ,X,f)$ ist zusätzlich $\varphi _{t-1}=\varphi ^{-1}\circ \varphi _{t}$ für alle $-t\in \mathbb {N} _{0}.$ Daher ist $$ (T,X,f) $$ bereits durch $\varphi$ eindeutig bestimmt und lässt sich einfacher $(X,\varphi )$ schreiben.
Schränkt man bei einem kontinuierlichen dynamischen System $$ (T,X,f), $$ die Zeit auf $T\cap \mathbb {Z}$ ein, dann ergibt sich mit $(T\cap \mathbb {Z} ,X,f|_{(T\cap \mathbb {Z} )\times X})$ stets ein diskretes dynamisches System. Diese Diskretisierung findet zum einen in der Numerik eine große Anwendung, wie z. B. bei der Rückwärtsanalyse. Zum Anderen existieren natürliche und technische Systeme, die durch nichtkontinuierliche Zustandsänderungen charakterisiert und in direkter Weise durch diskrete Dynamische Systeme modelliert werden können.
In der Theorie dynamischer Systeme interessiert man sich besonders für das Verhalten von Trajektorien für $t\to \pm \infty .$ Hierbei sind Limesmengen und deren Stabilität von großer Bedeutung. Dabei sind Fixpunkte gerade diejenigen Punkte $$ x $$ des Phasenraums, für die ein Punkt existiert, dessen Trajektorie für $t\to +\infty$ gegen x strebt, und Limesmengen solcher Punkte. Die wichtigsten Limesmengen sind neben Fixpunkten die periodischen Orbits. Gerade in nichtlinearen Systemen trifft man aber auch komplexe nichtperiodische Grenzmengen an. In der Theorie der nichtlinearen Systeme werden Fixpunkte, periodische Orbits und allgemeine nichtperiodische Grenzmengen unter dem Oberbegriff Attraktor (bzw. Repeller, falls abstoßend, vgl. auch seltsamer Attraktor) subsumiert. Diese werden in der Chaostheorie ausführlich untersucht.

Wichtige Spezialfälle

Symbolische Dynamik hat man bei einem diskreten dynamischen System $$ (T,X,f) $$ mit $X=A^{T}$ für ein Alphabet $$ A $$ ( $$ X $$ ist also eine unendliche Folge von Symbolen aus $$ A $$ ) und $\varphi _{1}$ ist eine sogenannte Shift-Abbildung (Verschiebungsabbildung), die die Symbole in jeder Folge um eine Stelle verschiebt.
Differenzierbare (Halb-)Flüsse sind (Halb-)Flüsse $$ (T,X,f) $$ , bei denen jede zu einem Zeitpunkt gehörende Transformation differenzierbar ist. Insbesondere ist jede dieser Transformationen eines differenzierbaren Flusses ein Diffeomorphismus.
In chaotischen Abbildungen, wie z. B. der Bernoulli-Abbildung, logistischen Abbildung oder Hénon-Abbildung, spielen Diskretisierungen eine große Rolle, um iterierte Abbildungen untersuchen zu können.

Beispiele

Ein physikalisches Beispiel ist das Doppelpendel, ein chemisches der Brüsselator.

Ein differenzierbarer Fluss aus der Physik

Sei $$ M $$ eine kompakte differenzierbare Mannigfaltigkeit, beispielsweise eine nichtdegenerierte Energiefläche im $\mathbb {R} ^{n}$ , und $v\colon \,M\to TM$ ein glattes Vektorfeld über $$ M $$ . Dann existiert nach dem Satz von Picard-Lindelöf eine einparametrige Gruppe von Diffeomorphismen $\varphi _{t}\colon M\to M$ mit

$\varphi _{0}=\operatorname {id} _{M},$
$\varphi _{t_{2}}\circ \varphi _{t_{1}}=\varphi _{t_{2}+t_{1}}$ für alle $t_{1},t_{2}\in \mathbb {R} ,$
${\frac {d}{dt}}\varphi _{t}=v\circ \varphi _{t}.$

Die Trajektorie eines festen Punkts $$ x $$ aus $$ M $$ ist eine Lösungskurve der Differentialgleichung von 3. zum Anfangswert $$ x $$ . Man nennt diese zum glatten Vektorfeld $$ v $$ korrespondierende $$ 1 $$ -parametrige Gruppe den Fluss auf $$ M $$ .

Siehe auch

C*-dynamisches System

Weblinks

„History of Dynamical Systems“. In: Scholarpedia (englisch, inkl. Literaturangaben)
„Dynamical Systems“. In: Scholarpedia (englisch, inkl. Literaturangaben)

Literatur

Herbert Amann: Gewöhnliche Differentialgleichungen. 2. Auflage. de Gruyter, Berlin 1995, ISBN 3-11-014582-0.
George David Birkhoff: Dynamical Systems. Rev. Ed.. AMS, Providence, RI, 1966.
I.N. Bronstein, K.A. Semendjajew, G. Musiol, H. Mühlig: Taschenbuch der Mathematik. 7., vollst. überarb. u. erg. Aufl.. Harri Deutsch, Frankfurt a.M. 2008. ISBN 978-3-8171-2007-9
John Guckenheimer, Philip Holmes: Nonlinear Oscillations, Dynamical Systems and Bifurcations of Vector Fields. Corr. 3rd printing. Springer, New York 1990. ISBN 3-540-90819-6
Diederich Hinrichsen, Anthony J. Pritchard: Mathematical Systems Theory I - Modelling, State Space Analysis, Stability and Robustness. Springer, 2005.
Wolfgang Metzler: Nichtlineare Dynamik und Chaos, B.G. Teubner, Stuttgart–Leipzig 1998. ISBN 3-519-02391-1
Gerald Teschl: Ordinary Differential Equations and Dynamical Systems. American Mathematical Society, Providence 2012, ISBN 978-0-8218-8328-0 (freie Onlineversion).
J. de Vries: Elements of Topological Dynamics. Springer, 1993.