Attraktor
# Attraktor

Attraktor (lat. ad trahere „zu sich hin ziehen“) ist ein Begriff aus der Theorie dynamischer Systeme und beschreibt eine Untermenge eines Phasenraums (d. h. eine gewisse Anzahl von Zuständen), auf die sich ein dynamisches System im Laufe der Zeit zubewegt und die unter der Dynamik dieses Systems nicht mehr verlassen wird. Das heißt, eine Menge von Variablen nähert sich im Laufe der Zeit (asymptotisch) einem bestimmten Wert, einer Kurve oder etwas Komplexerem (also einer Region im n-dimensionalen Raum) und bleibt dann im weiteren Zeitverlauf in der Nähe dieses Attraktors.

Ein Attraktor erscheint als klar erkennbare Struktur. Umgangssprachlich könnte man von einer Art „stabilen Zustands“ eines Systems sprechen (wobei auch periodisch, also wellenartig wiederkehrende Zustände oder andere erkennbare Muster gemeint sein können), also ein Zustand, auf den sich ein System hinbewegt.

Bekannte Beispiele sind der Lorenz-Attraktor, der Rössler-Attraktor und die Nullstellen einer differenzierbaren Funktion, welche Attraktoren des zugehörigen Newton-Verfahrens sind.

Das Gegenteil eines Attraktors wird Repellor oder negativer Attraktor genannt. Angewendet werden die Begriffe in der Physik, Mathematik und Biologie.

## Fachterminus

Die Menge aller Punkte des Phasenraums, die unter der Dynamik demselben Attraktor zustreben, heißt Attraktions- oder Einzugsgebiet dieses Attraktors.

### Dynamische Systeme

Dynamische Systeme beschreiben Zustandsänderungen in Abhängigkeit von der Zeit t. Für die mathematische Definition wird das reale System oft in der stark vereinfachten Form eines mathematischen Modells betrachtet. Beispiele sind

* das Strömungsverhalten von Flüssigkeiten und Gasen
* Bewegungen von Himmelskörpern unter gegenseitiger Beeinflussung durch die Gravitation
* Populationsgrößen von Lebewesen unter Berücksichtigung der Räuber-Beute-Beziehung oder
* die Entwicklung wirtschaftlicher Kenngrößen unter Einfluss der Marktgesetze.

Das Langzeitverhalten eines dynamischen Systems lässt sich durch den globalen Attraktor beschreiben, da bei physikalischen oder technischen Systemen oft Dissipation vorliegt, insbesondere Reibung.

Unterschieden werden:

* kontinuierliche dynamische Systeme; die Zustandsänderung ist definiert als kontinuierlicher Vorgang ($t\in \mathbb {R}$)
* diskrete dynamische Systeme; die Zustandsänderung ist definiert in festen zeitlichen Schritten ($t\in \mathbb {N}$).

Jeder Zustand ist ein Punkt im Phasenraum und wird durch beliebig viele Zustandsgrößen dargestellt, welche die Dimensionen des Phasenraums bilden.

* kontinuierliche Systeme werden durch Linien (Trajektorien) repräsentiert
* diskrete Systeme werden durch Mengen isolierter Punkte repräsentiert.

Ein gemischtes System aus kontinuierlichen und diskreten Teilsystemen – mit dann kontinuierlich-diskreter Dynamik – wird auch als hybrides dynamisches System bezeichnet. Beispiele solcher strukturvariabler Dynamiken finden sich in der Verfahrenstechnik (bspw. Dosiervorlagesysteme). Hybride dynamische Systeme werden mathematisch beschrieben durch hybride Modelle, z. B. schaltende Differentialgleichungen. Die Trajektorien im Phasenraum sind i.allg. nicht stetig (sie haben „Knicke“ und Sprungstellen).

### Attraktor

Bei der Untersuchung dynamischer Systeme interessiert man sich – ausgehend von einem bestimmten Anfangszustand – vor allem für das Verhalten für $t\to \infty$. Der Grenzwert in diesem Fall wird als Attraktor bezeichnet. Typische und häufige Beispiele von Attraktoren sind:

* asymptotisch stabile Fixpunkte: Das System nähert sich immer stärker einem bestimmten Endzustand an, in dem die Dynamik erliegt; ein statisches System entsteht. Typisches Beispiel ist ein gedämpftes Pendel, das sich dem Ruhezustand im tiefsten Punkt annähert.
* (asymptotisch) stabile Grenzzyklen: Der Endzustand ist die Abfolge gleicher Zustände, die periodisch durchlaufen werden (periodische Orbits). Ein Beispiel dafür ist die Simulation der Räuber-Beute-Beziehung, die für bestimmte Parameter der Rückkoppelung auf ein periodisches Ansteigen und Sinken der Populationsgrößen hinausläuft.

Für ein hybrides dynamisches System mit chaotischer Dynamik konnte im $\mathbb {R} ^{n}$ die Oberfläche eines n-Simplex als Attraktor identifiziert werden.

* (asymptotisch stabile) Grenztori: Treten mehrere miteinander inkommensurable Frequenzen auf, so ist die Trajektorie nicht geschlossen, und der Attraktor ist ein Grenztorus, der von der Trajektorie asymptotisch vollständig ausgefüllt wird. Die zu diesem Attraktor korrespondierende Zeitreihe ist quasiperiodisch, d. h., es gibt keine echte Periode, aber das Frequenzspektrum besteht aus scharfen Linien.

Diese Beispiele sind Attraktoren, die im Phasenraum eine ganzzahlige Dimension besitzen.

Die Existenz von Attraktoren mit komplizierterer Struktur war zwar schon länger bekannt, man betrachtete sie aber zunächst als instabile Sonderfälle, deren Auftreten nur bei bestimmter Wahl des Ausgangszustands und der Systemparameter beobachtet wird. Dies änderte sich mit der Definition eines neuen, speziellen Typs von Attraktor:

* Seltsamer Attraktor: In seinem Endzustand zeigt das System häufig ein chaotisches Verhalten (es gibt jedoch auch Ausnahmen, z. B. quasiperiodisch angetriebene nichtlineare Systeme). Der seltsame Attraktor lässt sich nicht in einer geschlossenen geometrischen Form beschreiben und besitzt keine ganzzahlige Dimension. Attraktoren nichtlinearer dynamischer Systeme weisen dann eine fraktale Struktur auf. Wichtiges Merkmal ist das chaotische Verhalten, d. h., jede noch so geringe Änderung des Anfangszustands führt im weiteren Verlauf zu signifikanten Zustandsänderungen. Prominentestes Beispiel ist der Lorenz-Attraktor, der bei der Modellierung von Luftströmungen in der Atmosphäre entdeckt wurde.

## Mathematische Definition

Formal betrachte man ein dynamisches System bestehend aus einem topologischen Raum $X$ und einer Transformation $f:{\mathcal {T}}\times X\longrightarrow X$, wobei ${\mathcal {T}}$ ein linear geordnetes Monoid ist – wie ${\mathcal {T}}=\mathbb {N} ,\mathbb {Z} ,[0,\infty [$ oder $\mathbb {R}$ – und $f$ normalerweise stetig oder mindestens messbar ist (oder mindestens wird verlangt, dass $f(t,\cdot ):X\longrightarrow X$ stetig/messbar ist für jedes $t\in {\mathcal {T}}$) und erfüllt

    $f(t+s,x)=f(t,f(s,x))$ für alle »Zeiten« $t,s\in {\mathcal {T}}$ und Punkte $x\in X$.

Definition 1. Eine Teilmenge $A\subseteq X$ heißt dann vorwärts invariant, wenn

    $\forall {t\geq 0:}~f(t,A)\subseteq A.$

Mit anderen Worten: Sobald ein Punkt in die Teilmenge gelangt, entkommt er ihr nicht mehr.

Definition 2. Unter dem Sammelbecken einer Teilmenge $A\subseteq X$ versteht man die Menge

    $B(A):=\{x\in X\mid \forall {U\in {\mathcal {N}}(A):~}\exists {t_{0}\geq 0:~}\forall {t\geq t_{0}:~}f(t,x)\in U\},$

wobei ${\mathcal {N}}(A)$ die Menge der Umgebungen von $A$ ist. Mit Worten: Ist ein Punkt $x\in X$ in $B(A)$ genau dann, wenn für alle Umgebungen $U$ von $A$ dieser Punkt ab einem Zeitpunkt $t_{0}$ sich immer in dieser Umgebung aufhält.

Bemerkung. Im Falle eines kompakten metrisierten Raums $(X,d)$ ist diese Definition äquivalent zu

    $B(A):=\{x\in X\mid \lim _{t\to \infty }d(f(t,x),A)=0\}.$

Bemerkung. Angenommen, der Raum sei metrisierbar und $A$ sei kompakt. Aus der Definition eines Sammelbeckens geht hervor, dass $B(A)$ vorwärts invariant ist und $\bigcap \{f(t,B(A))\mid t>0\}={\overline {A}}$. Manche Autoren definieren das Sammelbecken als die (offene) Menge mit diesen beiden Eigenschaften.

Definition 3. Unter einem Attraktor versteht man eine Teilmenge $A\subseteq X$, die den folgenden Bedingungen genügt

    1. $A$ ist vorwärts invariant;
    2. Das Sammelbecken $B(A)$ ist eine Umgebung von $A$;
    3. $A$ ist eine minimale nicht leere Teilmenge von $X$ mit Bedingungen 1 und 2.

Bemerkung. Bedingung 1 erfordert eine gewisse Stabilität des Attraktors. Daraus folgt offensichtlich, dass $A\subseteq B(A)$. Anhand Bedingung 2 wird weiterhin verlangt, dass $A\subseteq B(A)^{\circ }$ und bedeutet u. a., jeder Punkt in einer gewissen Nähe von $A$ nähere sich dem Attraktor beliebig. Manche Autoren lassen Bedingung 2 weg. Bedingung 3 erfordert, dass der Attraktor nicht in weitere Komponenten zerlegt werden kann (ansonsten wäre bspw. der ganze Raum trivialerweise ein Attraktor).

