imported>Sänger: /* Torus */ bks aufgerlöst

2026-02-01T13:58:35Z

Torus: bks aufgerlöst

Neue Seite

{{Begriffsklärungshinweis|Für den Begriff aus der Tourismusforschung siehe [[Attraktor (Tourismus)]], für die astronomische Gravitationsquelle siehe [[Großer Attraktor]].}}
Ein '''Attraktor''' ([[Latein|lat.]] ''{{lang|la|ad trahere}}'' „zu sich hin ziehen“) beschreibt in der [[Mathematik]] und in der [[Physik]], wie sich ein [[dynamisches System]] im Laufe der Zeit verhält. Man kann sich einen Attraktor als ein „stabiles Verhalten“ vorstellen, auf das sich ein dynamisches System zubewegt. Ein einfaches Beispiel ist ein [[Dämpfung|gedämpftes]] [[Pendel]], das sich ausgehend von einem beliebigen [[Zustand (Physik)|Systemzustand]] der [[Ruhelage]] im tiefsten Punkt annähert. Bei komplizierteren [[System]]en kann ein Attraktor auch in sich geschlossene Linien von Zuständen beschreiben, die wiederholt durchlaufen werden, oder auch ein deterministisches, aber nicht vorhersagbares Verhalten.

Der Begriff stammt aus der Theorie dynamischer Systeme. Dort beschreibt ein [[Phasenraum]] die Menge aller möglichen Systemzustände. Ein Attraktor beschreibt eine Untermenge des Phasenraums, auf die sich ein dynamisches System ausgehend von gegebenen Anfangszuständen im Laufe der Zeit zubewegt. Die Untermenge wird unter der Dynamik dieses Systems nicht mehr verlassen. Das heißt, eine Menge von Variablen nähert sich im Laufe der Zeit ([[asymptotisch]]) einem bestimmten Wert, einer Kurve oder etwas [[Komplexität|Komplexerem]] (also einer Region im n-dimensionalen Raum) und bleibt dann im weiteren Zeitverlauf in der Nähe dieses Attraktors.

Bekannte Beispiele sind der [[Lorenz-Attraktor]], der [[Rössler-Attraktor]] und die [[Nullstelle]]n einer [[differenzierbar]]en Funktion, welche Attraktoren des zugehörigen [[Newton-Verfahren]]s sind.

Das Gegenteil eines Attraktors wird '''Repellor''' oder '''negativer Attraktor''' genannt. Diese Begriffe werden in allen Bereichen, die sich mit dynamischen Systemen befassen, verwendet, beispielsweise auch in der [[Biologie]] und der [[Wirtschaftswissenschaft]].

== Beispiele ==
Bringt man ein gedämpftes Pendel aus seiner vertikalen Ruhelage, schwingt es unter dem Einfluss der [[Schwerkraft]] zurück. Es nähert sich im Laufe der Zeit der Ruhelage an. In diesem Fall handelt es sich um einen punktförmigen Attraktor.

Bei einer [[Pendeluhr]] stellt sich eine regelmäßige [[Schwingung]] ein. Dazu wird ein gedämpftes Pendel durch eine äußere [[Periode (Physik)|periodische]] [[Kraft]] so angeregt, dass das System wiederholt eine bestimmte Abfolge von Zuständen durchläuft.

Der [[Meteorologie|Meteorologe]] [[Edward N. Lorenz]] (1917–2008) entwickelte ein Modell, um das Verhalten von Luftströmungen vorherzusagen, die von unten erhitzt und von oben abgekühlt werden. Das Modell führte zu besseren Langzeitvorhersagen für das Wetter. Seine Lösung wurde als Lorenz-Attraktor bekannt. Mit diesem ist das Schlagwort des [[Schmetterlingseffekt]]es eng verbunden.

[[Otto E. Rössler]] entwickelte ein Modell, das durch die Betrachtung einer [[Bonbon]]-[[Knetmaschine]] (''taffy puller'') auf [[Coney Island]] inspiriert wurde, die ihre [[Toffee]]masse wiederholt dehnt und faltet. Die Lösung seines Modells wurde als Rössler-Attraktor bekannt.

== Grundlagen ==
=== Phasenraum ===
{{Hauptartikel|Phasenraum}}Ein Phasenraum beschreibt die Menge aller möglichen Systemzustände eines dynamischen Systems. Jeder Zustand ist ein Punkt im Phasenraum und wird durch beliebig viele [[Zustandsgröße|Zustandsgrößen]] dargestellt, welche die Dimensionen des Phasenraums bilden.

=== Dynamisches System ===
{{Hauptartikel|Dynamisches System}}Ein dynamisches System ist ein [[mathematisches Modell]] eines zeitabhängigen [[Prozess|Prozesses]], der [[Homogenität|homogen]] bezüglich der Zeit ist, dessen weiterer Verlauf also nur vom Anfangs''zustand'', aber ''nicht'' von der Wahl des Anfangs''zeitpunkts'' abhängt.

Viele mathematische Modelle sind stark vereinfachte Formen von realen Systemen. Sie beschreiben [[Zustandsänderung]]en in Abhängigkeit von der Zeit ''t''. Beispiele sind

* das Strömungsverhalten von Flüssigkeiten und Gasen
* Bewegungen von Himmelskörpern unter gegenseitiger Beeinflussung durch die [[Gravitation]]
* [[Population (Biologie)|Populations]]<nowiki/>größen von Lebewesen unter Berücksichtigung der [[Räuber-Beute-Beziehung]] oder
* die Entwicklung wirtschaftlicher Kenngrößen unter Einfluss der [[Merkantilismus#Marktgesetze und Marktungleichgewichte|Marktgesetze]].

Unterschieden werden:

* [[Kontinuum (Physik)|kontinuierliche]] dynamische Systeme; die Zustandsänderung ist definiert als kontinuierlicher Vorgang (<math>t \in \mathbb{R}</math>)
* [[Diskret#In Wissenschaft und Technik|diskrete]] dynamische Systeme; die Zustandsänderung ist definiert in festen zeitlichen Schritten (<math>t \in \mathbb{N}</math>).

Das Verhalten von kontinuierlichen dynamischen Systemen wird durch Linien ([[Trajektorie (Physik)|Trajektorien]]) im Phasenraum repräsentiert. Das zeitliche Verhalten von diskreten dynamischen Systemen wird durch Mengen isolierter Punkte im Phasenraum repräsentiert.

Das wichtigste Beschreibungsmittel für zeitkontinuierliche dynamische Systeme sind [[Autonome Differentialgleichung|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).

Wichtige Fragestellungen im Zusammenhang mit dynamischen Systemen betreffen vor allem ihr Langzeitverhalten.

Physikalische oder technische dynamische Systeme geben oft [[Energie]] in Form von [[Wärme]] ab, insbesondere durch [[Reibung]]. Bei diesen Systemen liegt [[Dissipation]] vor. Wenn solche Systeme nicht angetrieben werden, bewegen sie sich langfristig auf einen stabilen Ruhepunkt zu. Wenn sie angetrieben werden, können sich periodische Schwingungen oder komplexere Verhalten einstellen. Da sich die Bewegung des Systems mit der Zeit auf diese Zustände zubewegt, nennt man diese Attraktoren.

=== Attraktor ===
Bei der Untersuchung dynamischer Systeme interessiert man sich – ausgehend von einem bestimmten [[Anfangsbedingung|Anfangszustand]] – vor allem für das Verhalten für <math>t \to \pm\infty</math>. Eine Untermenge des Phasenraums, auf die sich ein System langfristig zubewegt, wird als Attraktor bezeichnet.

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

Bei der mathematischen Analyse sind [[Limesmenge]]n und deren [[Stabilitätstheorie|Stabilität]] von großer Bedeutung. Die einfachsten Limesmengen sind [[Fixpunkt (Mathematik)|Fixpunkte]], das sind diejenigen Punkte <math>x \in X</math> mit <math>\Phi(t,x) = x</math> für alle <math>t \in T</math>, also diejenigen Zustände <math>x</math>, deren Bahn die einelementige Menge <math>\{x\}</math> ist. Weiter interessiert man sich für Punkte, deren Bahn für <math>t \to +\infty</math> gegen einen Fixpunkt konvergiert. Die wichtigsten Limesmengen sind neben Fixpunkten die [[Periodischer Orbit|periodischen Orbits]]. Gerade in [[Nichtlineares System|nichtlinearen Systemen]] trifft man aber auch komplexe nichtperiodische Grenzmengen an.

== Typische Attraktoren ==
Attraktoren sind Teile oder Teilmengen des Phasenraums eines dynamischen Systems. Viele Attraktoren kann man sich als klassische geometrische Gebilde im dreidimensionalen Raum vorstellen, beispielsweise Punkte oder zyklisch durchlaufene Linien. Die Attraktoren von [[Deterministisches Chaos|deterministisch chaotischen]] Systemen kann man jedoch nicht als einfache Kombinationen grundlegender geometrischer Objekte (z. B. Linien, Flächen, Kugeln, Torusse, Mannigfaltigkeiten) beschreiben. Sie werden als [[seltsamer Attraktor|seltsame Attraktoren]] bezeichnet.

=== Fixpunkt ===
Das System nähert sich immer stärker einem Fixpunkt an, in dem die Dynamik erliegt. In diesem Fixpunkt befindet sich das System in einem stabilen Gleichgewicht. Das Ergebnis ist ein statisches System. Typische Beispiele sind ein gedämpftes Pendel, das sich dem Ruhezustand im tiefsten Punkt annähert, oder der stabile Wasserpegel, der sich nach dem Eingießen in einem Wasserglas einstellt.

=== Grenzzyklus ===
[[Datei:VanDerPolPhaseSpace.png|250px|mini|Grenzzyklus des [[Van-der-Pol-System|Van-der-Pol-Oszillators]]]]Das System nähert sich immer stärker einer bestimmten Bewegungsbahn an, die stets nach einer bestimmten Zeitdauer (der „[[Periode (Physik)|Periode]]“) zu ihrem Ausgangspunkt zurückkehrt, die also in sich geschlossen ist und somit einer sich ständig wiederholenden, periodischen Bewegung entspricht. Diese Bewegungsbahn wird [[Grenzzyklus]] oder periodischer Orbit genannt. Beispiele sind die Simulation der [[Räuber-Beute-Beziehung]], die für bestimmte Parameter der [[Rückkoppelung]] zu einem periodischen Ansteigen und Sinken der Populationsgrößen führt, oder die Bewegung des Pendels bei einer Pendeluhr.

=== n-Simplex ===
Für ein hybrides dynamisches System mit chaotischer Dynamik konnte im <math>\mathbb{R}^n</math> die Oberfläche eines [[Simplex (Mathematik)|''n''-Simplex]] als Attraktor identifiziert werden.<ref>T. Schürmann und I. Hoffmann: ''The entropy of strange billiards inside n-simplexes.'' In: ''J. Phys.'' Band A28, 1995, S. 5033ff. {{arXiv|nlin/0208048}}</ref>

=== Torus ===
Treten mehrere miteinander [[Inkommensurabilität (Mathematik)|inkommensurable]] [[Frequenz|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 [[Zeitreihenanalyse|Zeitreihe]] ist quasiperiodisch, d. h., es gibt keine echte [[Periode (Physik)|Periode]], aber das [[Frequenzspektrum]] besteht aus scharfen Linien.

=== Seltsamer Attraktor ===
{{Hauptartikel|Seltsamer Attraktor}}
[[Datei:Poisson_saturne_revisited.jpg|mini|Beispiel: [[Seltsamer Attraktor]] ''Poisson Saturne'']]
Der Begriff ''seltsamer Attraktor'' lässt sich zurückverfolgen auf einen Artikel von [[David Ruelle]] und [[Floris Takens]] aus dem Jahr [[1971]]. Die Existenz von Attraktoren, die man sich nicht als einfache geometrische Gebilde vorstellen kann, war schon vorher 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 des seltsamen Attraktors.

Der seltsame Attraktor lässt sich nicht in einer geschlossenen geometrischen Form beschreiben. Er besitzt keine ganzzahlige Dimension und weist eine [[Fraktal|fraktale]] Struktur auf. Ein wichtiges Merkmal ist das chaotische Verhalten, d. h., jede noch so geringe Änderung des Anfangszustands kann im weiteren Verlauf zu signifikanten Zustandsänderungen führen. Prominentestes Beispiel ist der Lorenz-Attraktor, der bei der Modellierung von [[Wind|Luftströmungen]] in der Atmosphäre entdeckt wurde.

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

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

'''Definition 1.''' Eine Teilmenge <math>A\subseteq X</math> heißt dann '''vorwärts invariant''', wenn
:<math>\forall{t\geq 0:}~f(t,A)\subseteq A.</math>
Mit anderen Worten: Sobald ein Punkt in die [[Teilmenge]] gelangt, entkommt er ihr nicht mehr.

'''Definition 2.''' Unter dem '''Sammelbecken''' einer Teilmenge <math>A\subseteq X</math> versteht man die Menge
:<math>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\},</math>
wobei <math>\mathcal{N}(A)</math> die Menge der [[Umgebung (Mathematik)|Umgebungen]] von <math>A</math> ist. Mit Worten: Ist ein Punkt <math>x\in X</math> in <math>B(A)</math> genau dann, wenn für alle Umgebungen <math>U</math> von <math>A</math> dieser Punkt ab einem Zeitpunkt <math>t_{0}</math> sich immer in dieser Umgebung aufhält.

'''Bemerkung.''' Im Falle eines kompakten metrisierten Raums <math>(X,d)</math> ist diese Definition äquivalent zu
:<math>B(A):=\{x\in X\mid \lim_{t \to \infty} d(f(t,x),A) = 0\}.</math>

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

'''Definition 3.''' Unter einem '''Attraktor''' versteht man eine Teilmenge <math>A\subseteq X</math>, die den folgenden Bedingungen genügt

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

'''Bemerkung.''' Bedingung 1 erfordert eine gewisse Stabilität des Attraktors. Daraus folgt offensichtlich, dass <math>A\subseteq B(A)</math>. Anhand Bedingung 2 wird weiterhin verlangt, dass <math>A\subseteq B(A)^{\circ}</math> und bedeutet u. a., jeder Punkt in einer gewissen Nähe von <math>A</math> nähere sich dem Attraktor beliebig. Manche Autoren lassen Bedingung 2 weg.<ref>Milnor, J. (1985). „On the Concept of Attractor.“ Comm. Math. Phys 99: 177–195.</ref> Bedingung 3 erfordert, dass der Attraktor nicht in weitere Komponenten zerlegt werden kann (ansonsten wäre bspw. der ganze Raum trivialerweise ein Attraktor).

== Siehe auch ==
* [[Poincaré-Abbildung]]

== Literatur ==
* G. Jetschke: ''Mathematik der Selbstorganisation''. Harri-Deutsch-Verlag, Frankfurt/Main, 1989
* T. Schürmann und I. Hoffmann: ''The entropy of strange billiards inside n-simplexes.'' In: ''J. Phys.'' Band A28, 1995, S. 5033ff. {{arXiv|nlin/0208048}}

== Weblinks ==
{{Commonscat|Attractors}}
* Attraktor-Programm [http://www.chaoscope.org/ Chaoscope] (Freeware)

== Einzelnachweise ==
<references />

{{Normdaten|TYP=s|GND=4140563-8}}

[[Kategorie:Theorie dynamischer Systeme]]

Attraktor - Versionsgeschichte

imported>Sänger: /* Torus */ bks aufgerlöst