Untersuche mit einem geeigneten digitalen Werkzeug die Mandelbrot-Iteration \(z_0=0\), \(z_{n+1}=z_n^2+c\) für die reellen Parameter
\(c=-2,-1{,}9,-1{,}8,\dots,0{,}5\).
Iteriere jeweils höchstens \(100\) Schritte und brich für einen Parameter sofort ab, sobald \(|z_n|>2\) gilt.
a) Gib den größten untersuchten Parameter an, bei dem innerhalb von \(100\) Schritten kein Entkommen beobachtet wird, und den kleinsten untersuchten Parameter, bei dem Entkommen beobachtet wird.
b) Gib für \(c=0{,}2\) den mit dem Werkzeug berechneten Wert \(z_{100}\) auf fünf Nachkommastellen an. Bestimme für \(c=0{,}3\) den ersten Index \(n\), für den \(|z_n|>2\) gilt.
c) Erkläre, warum ein beobachtetes Entkommen die Nichtzugehörigkeit zur Mandelbrot-Menge beweist, während „kein Entkommen nach \(100\) Schritten“ allein noch kein Beweis für die Zugehörigkeit ist.
Denkanstöße
- Verwende für jeden Parameter dieselbe Abbruchregel und dieselbe maximale Iterationszahl.
- Bei Teil b) sind ein numerischer Endwert und ein erster Überschreitungsindex gefragt; beides sollte direkt aus der Iteration stammen.
- Unterscheide logisch zwischen einem Kriterium, das nach endlich vielen Schritten entscheidet, und einer Beobachtung, die nur bis zu einer endlichen Iterationszahl reicht.
Lösung
1. Der digitale Test zeigt für die untersuchten Werte bis einschließlich \(c=0{,}2\) innerhalb von \(100\) Schritten kein Entkommen. Für \(c=0{,}3\) tritt Entkommen auf. Damit sind \(0{,}2\) beziehungsweise \(0{,}3\) die gesuchten benachbarten Rasterwerte.
2. Für \(c=0{,}2\) liefert die Iteration \(z_{100}\approx0{,}27639\). Für \(c=0{,}3\) gilt erstmals bei \(n=12\): \(|z_{12}|>2\).
3. Nach dem Fluchtkriterium kann ein Parameter nach dem ersten Wert mit Betrag größer als \(2\) nicht zur Mandelbrot-Menge gehören. Eine endliche Zahl beschränkter Iterationswerte schließt dagegen ein späteres Entkommen nicht aus.
Antwort
a) Größter untersuchter Wert ohne beobachtetes Entkommen: \(c=0{,}2\); kleinster untersuchter Wert mit Entkommen: \(c=0{,}3\).
b) \(z_{100}\approx0{,}27639\) für \(c=0{,}2\); für \(c=0{,}3\) erstmals \(|z_{12}|>2\).
c) Entkommen liefert durch das Fluchtkriterium einen Beweis der Nichtzugehörigkeit; aus nur \(100\) nicht entkommenen Schritten folgt noch kein Beweis der Zugehörigkeit.