Benutzer:Zakoohl/Artikelentwurf

Dieser Artikel ist im Entstehen und noch nicht Bestandteil der freien Enzyklopädie Wikipedia.

Solltest du über eine Suchmaschine darauf gestoßen sein, bedenke, dass der Text noch unvollständig sein und Fehler oder ungeprüfte Aussagen enthalten kann. Wenn du Fragen zum Thema hast, nimm Kontakt mit dem Autor Zakoohl auf.

Approximation des Graphen der Takagi-Funktion auf dem Einheitsintervall.

Animation der Approximation des Graphen der Takagi-Funktion auf dem Einheitsintervall anhand der n-ten Partialsumme für n = 0,1,2,3,4,5,10,50,100.

Die Takagi-Funktion (auch bekannt als Blancmange-Funktion) ist eine reellwertige Funktion einer reellen Variablen. Sie ist eine auf dem gesamten Definitionsbereich stetige und aber nicht differenzierbare Funktion.

Geschichte

Die Funktion wurde ursprünglich vom japanischen Mathematiker Takagi Teiji im Jahr 1903 als Beispiel einer stetigen und nirgends differenzierbaren Funktion angegeben. Andere Beispiele derartiger Funktionen hatten im 19. Jahrhundert bereits Karl Weierstrass und Bernard Bolzano gefunden.. Anfangs fand die Funktion unter westlichen Mathematikern wenig Beachtung. Im Jahr 1930 publizierte der Niederländer van der Waerden eine ähnliche Funktion mit der Basis zehn statt zwei. Neun Jahre später griff der norwegische Mathematiker Tambs-Lyche die Takagi-Funktion als ein für beginnende Mathematikstudenten zugängliches Beispiel einer stetigen und nirgends differenzierbaren Funktion wieder auf. Die Funktion ist aufgrund der Ähnlichkeit ihres Graphen mit der Süßspeise Mandelsulz (französisch: blanc-manger) auch als Blancmange-Funktion bekannt.

Definition

Die Takaki-Funktion ist definiert als

$T\colon [0,1]\to \mathbb {R} ,\;x\mapsto \sum _{n=0}^{\infty }{\frac {\phi (2^{n}x)}{2^{n}}}$,

wobei $\textstyle \phi (x):=\min _{k\in {\mathbb {Z} }}|x-k|$ der Abstand von $x$ zur nächsten ganzen Zahl ist.

Takagi stellte die Funktion ursprünglich leicht anders dar. Der Definitionsbereich lässt sich periodisch auf ganz $\mathbb {R}$ erweitern.

Eigenschaften

Konvergenz und Stetigkeit

Die Takagi-Funktion ist wohldefiniert, da für alle $x\in [0,1]$ die Reihe $\textstyle T(x)=\sum _{n=0}^{\infty }{\phi (2^{n}x) \over 2^{n}}$ konvergiert. Dies lässt sich zum Beispiel mit dem Weierstraßschem Majorantenkriterium zeigen. Betrachte die Funktionenfolge $\textstyle (f_{n})_{n\in \mathbb {N} _{0}}$mit $\textstyle f_{n}\colon [0,1]\to \mathbb {R} ,\;x\mapsto {\frac {\phi (2^{n}x)}{2^{n}}}$, für alle $\textstyle n\in \mathbb {N} _{0}$. Es gilt für alle $\textstyle n\in \mathbb {N} _{0}$, dass $\textstyle \sup _{x\in [0,1]}f_{n}(x)\leq {\frac {1}{2^{n+1}}}=:M_{n}$, da $\textstyle \phi (2^{n}x)\leq {\frac {1}{2}}$. Zudem gilt $\textstyle \sum _{n=0}^{\infty }M_{n}={\frac {1}{2}}\sum _{n=0}^{\infty }\left({\frac {1}{2}}\right)^{n}={\frac {\frac {1}{2}}{1-{\frac {1}{2}}}}=1<\infty$ laut Konvergenz der geometrischen Reihe. Also konvergiert laut Weierstraßschem Majorantenkriterium die Reihe $\textstyle T(x)=\sum _{n=0}^{\infty }f_{n}(x)=\sum _{n=0}^{\infty }{\phi (2^{n}x) \over 2^{n}}$ sogar gleichmäßig und absolut.

Die Takagi-Funktion ist stetig. Denn die Partialsummen $\textstyle \sum _{n=0}^{N}{\phi (2^{n}x) \over 2^{n}}$ sind für alle $\textstyle N\in \mathbb {N} _{0}$ stetige Funktionen und konvergieren, wie oben gezeigt, gleichmäßig gegen die Tagaki-Funktion.

Nicht-Differenzierbarkeit

Die Tagaki-Funktion ist an keiner Stelle ihres Definitionsbereichs differenzierbar (im Sinne der durch den gewöhnlichen Betrag auf den reellen Zahlen induzierten Topologie).

Beweis (nach Billingsley): Sei $x\in [0,1]$ beliebig. Für alle $k\in \mathbb {N}$ seien $a_{k}:=2^{-k}s_{k}$ und $b_{k}:=2^{-k}t_{k}$ mit $s_{k},t_{k}\in \mathbb {N}$, sodass gilt $a_{k}-b_{k}=2^{-k}$ und $b_{k}\leq x<a_{k}$. Sei wie oben $\textstyle f_{n}\colon [0,1]\to \mathbb {R} ,\;x\mapsto {\frac {\phi (2^{n}x)}{2^{n}}}$. Dann gilt für den Differenzenquotient:

${\frac {T(a_{k})-T(b_{k})}{a_{k}-b_{k}}}=\sum _{n=0}^{k-1}{\frac {f_{n}(a_{k})-f_{n}(b_{k})}{a_{k}-b_{k}}}=\sum _{n=0}^{k-1}f_{n}^{+}(x)$,

wobei $f_{n}^{+}(x)$ die rechtsseitige Ableitung von $f_{n}$ an der Stelle $x$ ist. Die erste Gleichheit stimmt, da $f_{n}(a_{k})=f_{n}(b_{k})=0$ für alle $n\geq k$ ist. Die zweite Gleichheit folgt hingegen, da $f_{n}$ auf dem Intervall $[b_{k},a_{k}]$ linear mit Steigung $f_{n}^{+}(x)$ ist. Weil aber $f_{n}^{+}(x)\in \{-1,+1\}$, kann der Differenzenquotient für $k\to \infty$ laut Nullfolgenkriterium nicht konvergieren. Also ist $T$ an der Stelle $x$ nicht differenzierbar.

Graphische Eigenschaften

Der Graph der Tagaki-Funktion kann anhand der ersten $N\in \mathbb {N} _{0}$ Partialsumme der Reihe $\textstyle T(x)=\sum _{n=0}^{\infty }{\phi (2^{n}x) \over 2^{n}}$ approximiert werden. Die folgende Grafik illustriert dies für verschiedene Werte von $N$. In jedem Schritt werden Dreieckschwingungen mit sich jeweils halbierender Periodenlänge und Höhe (in rot) zum Graph hinzugefügt (was genau dem nächsten Summanden der Reihe entspricht).

$N=0$	$N=1$	$N=2$	$N=3$

Die Tagaki-Funktion nimmt ihr Maximum an überabzählbar vielen Punkten mit einem Wert von $\textstyle {\frac {2}{3}}$ an.. Ihr Graph ist ein Fraktal und hat eine Hausdorff-Dimension von eins.

Diskussion

Die Takagi-Funktion verdient aus folgenden Gründen eine eigene Seite.

• Oft zitiert als Beispiel einer stetigen und nirgends differenzierbaren Funktion (z. B. in Königsberger - Analysis 1)
• Hat einen eigenen Eintrag auf MathWorld: www.mathworld.wolfram.com/BlancmangeFunction.html.
• Ist z. B. in der Zahlentheorie und Kombinatorik von Bedeutung (Beleg: Allart und Kawamura, 2012, 'The Takagi Function: a Survey')
• Eine relativ große Zahl an wissenschaftlichen Artikeln über die Funktion und verwandte Funktionen existiert, wie eine Google Scholar Suche zeigt.

To Do

• Verallgemeinerungen der Takagi-Funktion
• Mehr zu graphischen Eigenschaften (Fraktal etc.).
• Integration der Takagi-Funktion
• Anwendungen der Takagi-Funktion (z.B. in der Zahlentheorie und Kombinatorik)

Siehe auch

• Weierstraß-Funktion

Einzelnachweise

[[Kategorie:Mathematische Funktion]]