Kubische Iteration

Die kubische Iteration fällt in das Gebiet der diskreten Dynamiken in der komplexen Ebene.

Parameter für kubische Polynome

Jedes kubische Polynom $f\colon \mathbb {C} \to \mathbb {C}$ ist unter einem komplexen, affinen Koordinatenwechsel äquivalent zu einem Polynom der Form

$f(z)=z^{3}-3a^{2}z+b$.

Diese Normalform ist eindeutig bis auf den durch Multiplikation mit −1 gegebenen Koordinatenwechsel $-f(-z)=z^{3}-3a^{2}z-b$, der das Vorzeichen von $b$ umdreht. Die beiden Invarianten

$A:=a^{2},B:=b^{2}$

beschreiben also vollständig die Äquivalenzklasse eines kubischen Polynoms bezüglich komplexer, affiner Koordinatenwechsel. Der Parameterraum kubischer Polynome ist also $\mathbb {C} ^{2}$.

Julia-Mengen kubischer Polynome

Fatou-Menge zu $p(z)=z+{\frac {1}{2}}z^{2}-{\frac {1}{2}}z^{3}$

Jedes Polynom $p\in \mathbb {C} [X]$ definiert eine Abbildung der komplexen Ebene in sich selbst. Wählt man einen Startpunkt $z_{0}\in \mathbb {C}$, so kann man verfolgen, wohin dieser durch $p$ transportiert wird. Wählt man rekursiv den jeweiligen Endpunkt als Anfangspunkt, so erhält man eine komplexwertige Folge $(z_{k})_{k\in \mathbb {N} }$, bei $z_{k}=p(z_{k-1})$. In der üblichen Notation für mehrfache Verkettungen einer Abbildung mit sich gilt also $(z_{k})_{k\in \mathbb {N} }=\left(p^{k}(z_{0})\right)_{k\in \mathbb {N} }$.

Nach der allgemeinen Theorie der Iteration rationaler Funktionen kann man die Punkte $z_{0}$ der komplexen Ebene nun danach einteilen, ob die Folge $\left(p^{k}(z)\right)_{k\in \mathbb {N} }$ für alle $z\approx z_{0}$ in einer kleinen Umgebung dasselbe Verhalten zeigt, diese bilden die Fatou-Menge der Iteration. Diejenigen Punkte $z_{0}$, für die es in jeder kleinen Umgebung Punkte $z$ mit radikal abweichendem Verhalten der Folge gibt, bilden die Julia-Menge.

Ein kubisches Polynom hat zwei kritische Punkte, d. h. Nullstellen von $p^{\prime }(z)$. Es gibt die folgenden Möglichkeiten:

• Die Orbits beider kritischen Punkte gehen gegen Unendlich. Dann ist die Julia-Menge total unzusammenhängend.
• Der Orbit eines kritischen Punktes geht gegen Unendlich, während der Orbit des anderen kritischen Punktes beschränkt bleibt. Dann ist die Julia-Menge unzusammenhängend, aber im Allgemeinen nicht total unzusammenhängend.
• Beide kritische Punkte haben beschränkte Orbiten. Dann ist die Julia-Menge zusammenhängend.

Die kubische Mandelbrot-Menge

Die zum dritten Fall (zusammenhängende Julia-Menge) gehörenden Polynome beschreiben den Zusammenhangsort (engl. „connectedness locus“, nach Branner-Hubbard) oder die kubische Mandelbrot-Menge. Branner und Hubbard zeigen, dass diese Menge zellulär ist, d. h. der Durchschnitt einer absteigenden Folge 4-dimensionaler topologischer Kreisscheiben im Parameterraum $\mathbb {C} ^{2}$. Insbesondere ist sie kompakt und zusammenhängend, und ihr Komplement ist ebenfalls zusammenhängend.

Visualisierung der kubischen Mandelbrotmenge

Die kubische Mandelbrotmenge kann man parametrisieren durch

$S=\left\{(a,b)\in \mathbb {C} ^{2}|\forall z_{0}\in \{+a,-a\};{\mbox{ }}\sup _{k\in \mathbb {N} }|p^{k}(z_{0})|<\infty ;{\mbox{ bei }}p(z)=z^{3}-3a^{2}z+b\right\}$,

sie hat dann eine vierzählige Symmetrie. Ein Spezialfall sind die Polynome $P(x)=x^{3}+(c-1)x-c$. In diesem Fall erhält man als Mandelbrot-artige Menge den Kaktusfraktal.

Problematisch bei der Visualisierung dieser Menge ist, dass der Parameterraum komplex zwei- und damit reell vierdimensional ist. Man hilft sich hier z. B., indem man einen der vier Parameter auswählt und ihn auf einen festen Wert setzt. Die anderen Parameter werden als Koordinaten in einem dreidimensionalen Raum verstanden. Man erhält einen dreidimensionalen Schnitt im vierdimensionalen Raum.

Schnitte durch den dreidimensionalen Körper

Schnitte durch den dreidimensionalen Körper

Fahrt durch den Parameterraum kubischer Polynome

Um die vierte Dimension doch noch zu erfassen, kann diese als Zeit wieder eingeführt werden. D. h. man erzeugt Einzelbilder zu einer aufsteigenden Folge des vierten Parameters und fasst diese in einer Animation zusammen. Auf diese Weise erhält man einen Film, der eine Fahrt durch ein festgelegtes Intervall auf der „vierten Achse“ darstellt.

Die Menge $S$ hat eine fraktale Oberfläche und weist starke Parallelen mit der Mandelbrotmenge auf. Wenn man an den dreidimensionalen Objekten, die entstehen, wiederum zweidimensionale Schnitte ausführt, findet man in diesen Schnittebenen an manchen Stellen die charakteristische Form des Apfelmännchens wieder.

Literatur

• Bodil Branner, John H. Hubbard: The iteration of cubic polynomials Part I: The global topology of parameter space, Acta Mathematica, Band 160, 1988, S. 143–206, Online
• Bodil Branner, John H. Hubbard: The iteration of cubic polynomials Part II: patterns and parapatterns, Acta Mathematica, Band 169, 1992, S. 229–325, Project Euclid
• John Milnor: Remarks on iterated cubic maps, Experimental Mathematics, Band 1, 1992, S. 5–24, Project Euclid