imported>-haznK: /* growthexperiments-addlink-summary-summary:1|0|1 */

2024-11-13T17:53:26Z

growthexperiments-addlink-summary-summary:1|0|1

Neue Seite

{{Dieser Artikel|behandelt eine Funktion auf den reellen Zahlen; zur Weierstraßschen ℘-Funktion siehe [[Weierstraßsche ℘-Funktion]].}}
[[Datei:WeierstrassFunction.svg|mini|Graph einer reellen Weierstraß-Funktion im [[Intervall (Mathematik)|Intervall]] <math>[-2,2]</math>. Sie ist stetig, aber nirgends differenzierbar.]]

In der [[Mathematik]] bezeichnet man als '''Weierstraß-Funktion''' ein [[pathologisches Beispiel]] einer reellwertigen [[Funktion (Mathematik)|Funktion]] einer reellen Variablen. Diese Funktion hat die Eigenschaft, dass sie überall [[Stetige Funktion|stetig]], aber nirgends [[Differenzierbarkeit|differenzierbar]] ist. Sie ist nach ihrem Entdecker<ref name="weierstrass">{{Literatur
|Autor= [[Karl Weierstraß]]
|Titel=Abhandlungen aus der Functionenlehre
|Jahr=1886
|Verlag=[[Julius Springer]]
|Ort=Berlin
}}</ref> [[Karl Weierstraß]] benannt. Historisch gesehen liegt ihre Bedeutung darin, dass sie das erste befriedigende Beispiel für eine nirgends differenzierbare Funktion ist. Weierstraß war allerdings nicht der erste, der eine solche Funktion konstruierte. Bereits mehr als 30 Jahre zuvor hat [[Bernard Bolzano]] eine Funktion angegeben, die [[Bolzanofunktion]], die nirgends differenzierbar, aber überall stetig ist.<ref name="bolzano">{{Literatur
|Autor=[[Bernard Bolzano]]
|Titel=Funktionenlehre
|Jahr=1831
|Herausgeber=K. Rychlik
|Ort=Prag
}}</ref> Allerdings ist sein Beweis unvollständig und die Konstruktion wurde einer breiteren Fachöffentlichkeit nicht bekannt.
Die überraschende Konstruierbarkeit einer solchen Funktion änderte die übliche Meinung, dass jede stetige Funktion, bis auf eine Menge isolierter Punkte, differenzierbar sei. Die Überraschung der damaligen Fachgemeinde drückt sich unter anderem darin aus, dass zu Beginn der Rezension der weierstraßschen Arbeit fast ausschließlich vom „Weierstraßschen Monster“ die Rede ist (siehe zur Geschichte dieser Funktion auch<ref name="geschichte">{{Literatur
|Autor=Klaus Volkert
|Titel=Die Geschichte der pathologischen Funktionen - Ein Beitrag zur Entstehung der mathematischen Methodologie
|Sammelwerk=Archive for History of Exact Sciences
|Band= Bd. 37
|Nummer= 3
|DOI=10.1007/BF00329901
}}</ref>).

Seinerzeit wurde intuitiv angenommen, dass eine stetige Funktion eine Ableitung besitzt oder dass die Menge der Punkte, in denen sie nicht differenzierbar ist, „klein“ in irgendeinem Sinne ist. Frühere Mathematiker, einschließlich [[Carl Friedrich Gauß]], haben oft angenommen, dass das wahr ist, wie Weierstraß in seiner Arbeit ausführt. Das rührt aus der Schwierigkeit, eine stetige Funktion zu zeichnen oder darzustellen, deren Menge nicht differenzierbarer Punkte etwas anderes ist als eine endliche Menge von Punkten. Die Weierstraß-Funktion widerlegt diese intuitive Annahme für jede denkbare Bedeutung von „klein“.

Es gibt jedoch Klassen stetiger Funktionen, die sich „besser“ verhalten, zum Beispiel die [[Lipschitz-Stetigkeit|Lipschitz-stetigen Funktionen]], bei denen die Menge der nicht-differenzierbaren Punkte eine [[Lebesgue-Maß|Lebesgue-Nullmenge]] sein muss. Wenn man eine stetige Funktion zeichnet, dann entsteht üblicherweise der Graph einer Funktion, die Lipschitz-stetig ist und andere gutartige Eigenschaften besitzt, die nicht auf allgemeine stetige Funktionen zutreffen.

Auch die [[weierstraßsche elliptische Funktion]] <math>\wp</math> und die weierstraßsche sigma-, zeta- oder eta-Funktion werden manchmal als Weierstraß-Funktion bezeichnet.

== Weierstraß-Funktionen ==
[[Datei:Weierstrass Animation.gif|mini|Für festes a=0.5 steigt b linear von 0,1 nach 5.]]
Es gibt verschiedene, ähnliche Definitionen einer Weierstraß-Funktion, die alle Reihen mit [[Sinus und Kosinus|Winkelfunktionen]] sind.

=== Definition nach Weierstraß ===
In Weierstraß’ Originalarbeit wurde die Funktion durch
:<math>f(x) := \sum_{n=0}^\infty a^n\cos(b^n\pi x)</math>
mit <math>0 < a < 1</math> und <math>b \in \mathbb{N}</math> ungerade definiert, wobei zusätzlich
:<math> ab > 1+\frac{3}{2} \pi</math>
erfüllt sein muss. Diese Arbeit mit der Definition und dem Beweis, dass die Funktion nirgends differenzierbar ist, wurde am 18. Juli 1872 bei der Königlichen Akademie der Wissenschaften eingereicht.<ref name="weierstrass1">{{Literatur
|Autor= Karl Weierstraß
|Titel= Über continuirliche Functionen eines reellen Arguments, die für keinen Werth des letzteren einen bestimmten Differentialquotienten besitzen.
|Sammelwerk=Mathematische Werke
|Band= Bd. 2
|Verlag= Mayer & Müller
|Jahr=1895
|Ort=Berlin
|Seiten=71-74
|Online=[https://archive.org/details/mathematischewer02weieuoft Download bei archive.org]
}}</ref>

=== Definition nach Hardy ===
[[Godfrey Harold Hardy]] zeigte 1916, dass die Funktion
:<math>f(x) := \sum_{n=0}^\infty a^n\cos(b^n\pi x)</math>
unter den Annahmen <math>0<a<1</math>, <math>ab\geq 1 </math> nirgends differenzierbar ist.<ref name="hardy">{{Literatur
|Autor = [[Godfrey Harold Hardy]]
|Titel=Weierstrass's non-differentiable function
|Sammelwerk=Trans. Amer. Math. Soc.
|Jahr=1916
|Band=Bd. 17
|Nummer=3
|Seiten=301-325
|DOI=10.1090/S0002-9947-1916-1501044-1
}}</ref>

=== Beispiele ===
Eine oft verwendete Weierstraß-Funktion ist
:<math>f(x) := \sum_{k=1}^\infty \frac{2^k\sin(2^kx)}{3^k}</math>.

Anschaulich ist die Weierstraß-Funktion
:<math>f(x) := \sum_{n=0}^\infty \frac{\sin(101^n\cdot x)}{100^n} = \sin(x) + \frac{\sin(101x)}{100} + \frac{\sin(101^2x)}{10000} + \frac{\sin(101^3x)}{1000000}+\cdots\, .</math>

Ihr Graph sieht „fast“ so aus wie der Graph der (differenzierbaren) Sinusfunktion. Sie wäre auch differenzierbar, wenn nur noch endlich viele Summanden hinzukämen. Durch jeweils den nächsten (viel kleineren) Summanden wird der Graph um ein winziges Stück verändert. Sie ist überall konvergent, stetig, aber man kann keine Tangenten zu ihr konstruieren, ist also nicht differenzierbar.

== Eigenschaften ==
=== Beweis der Stetigkeit ===

Für alle <math>n\in\mathbb{N}_0</math> und <math>x \in \mathbb{R}</math> gilt <math>|a^n\cos{(b^n\pi x)}| \leq a^n</math>.
Zudem ist die Reihe <math>\textstyle \sum_{n=0}^\infty a^n</math> wegen <math>0<a<1</math> konvergent. Dann folgt aus dem [[Weierstraßsches Majorantenkriterium|weierstraßschem Majorantenkriterium]] die (bezüglich <math>x \in \mathbb{R}</math>) [[gleichmäßige Konvergenz]] von <math>\textstyle \sum_{n=0}^\infty a^n\cos(b^n\pi x)</math>. Da die einzelnen Partialsummen der Reihe stetige Funktionen sind und die Grenzfunktion einer gleichmäßig konvergenten Folge stetiger Funktionen wieder stetig sein muss, folgt daraus die behauptete Stetigkeit von <math>f</math>.

=== Fraktale Eigenschaften ===

Die Weierstraß-Funktion kann vielleicht als eines der ersten [[Fraktal]]e bezeichnet werden, obwohl dieser Begriff damals noch nicht verwendet wurde. Die Funktion ist auf jedem Niveau detailliert, so dass, wenn man ein Stück der Kurve vergrößert, es sich nicht fortschreitend einer geraden Linie nähert. Unabhängig davon, wie dicht man zwischen zwei Punkte geht, die Funktion ist auf keinem noch so kleinen Intervall [[Reelle monotone Funktion|monoton]]. In seinem Buch ''Die Geometrie der fraktalen Mengen'' beobachtet [[Kenneth Falconer]], dass die [[Hausdorff-Dimension]] der klassischen Weierstraß-Funktion nach oben durch
<math>\textstyle \frac{\ln a}{\ln b} + 2</math> beschränkt ist, wobei <math>a</math> und <math>b</math> die Konstanten in der obigen Konstruktion sind.<ref>{{Literatur|Autor=Kenneth Falconer|Titel=The geometry of fractal sets|Ort=Cambridge, England|Verlag=Cambridge University Press|Datum=1985|Seiten=114, 149|Sprache=en}}</ref> Es dauerte jedoch über 30 Jahre, bis ein Beweis erbracht werden konnte, dass dieser Wert tatsächlich die exakte Hausdorff-Dimension darstellt.<ref>{{Literatur
|Titel=Hausdorff dimension of the graphs of the classical Weierstrass functions|Autor=Weixiao Shen|Verlag=Springer-Verlag|Sprache=en|Datum=Juni 2018|Sammelwerk=Mathematische Zeitschrift|Band=289|Nummer=1–2|Seiten=223–266|DOI=10.1007/s00209-017-1949-1|ISSN=0025-5874|arXiv=1505.03986}}</ref>
Der Ausdruck ''Weierstraß-Funktion'' wird in der [[Reelle Analysis|reellen Analysis]] oft verwendet, um irgendeine Funktion mit ähnlichen Eigenschaften und einer ähnlichen Konstruktion wie Weierstraß’ Originalbeispiel zu bezeichnen. Zum Beispiel kann die Kosinusfunktion in den unendlichen Reihen durch eine stückweise lineare „Zick-Zack-Funktion“ ersetzt werden.

== Dichtheit nirgends differenzierbarer Funktionen ==

Es gibt unendlich viele stetige, nirgends differenzierbare Funktionen; die Weierstraß-Funktion ist nur das klassische Beispiel, bei dem eine explizite Darstellung bekannt ist. Generell gilt:
* In der [[Topologie (Mathematik)|Topologie]] kann gezeigt werden, dass die Menge der nirgends differenzierbaren Funktionen auf dem Intervall <math>[0,1]</math> [[Dichte Teilmenge|dicht]] liegt im Vektorraum <math>C([0,1]; \R)</math> aller stetigen reellwertigen Funktionen auf dem Intervall <math>[0,1]</math> mit der Topologie der gleichmäßigen Konvergenz.
* In der [[Maßtheorie]] zeigt sich zudem: Wenn der Raum <math>C( [0,1]; \R)</math> mit dem klassischen [[Wiener-Prozess|Wiener-Maß]] <math>\gamma</math> ausgestattet ist, dann hat die Menge der Funktionen, die sogar in einem Punkt in <math>[0,1]</math> differenzierbar sind, <math>\gamma</math>-Maß null. Dasselbe gilt, wenn man nur endlichdimensionale Teilmengen von <math>C([0,1]; \mathbb{R})</math> betrachtet: Die nirgends differenzierbaren Funktionen bilden damit eine prävalente Untermenge von <math>C([0,1]; \R)</math>.

== Weblinks ==

* {{MathWorld
| id = WeierstrassFunction
| title = Weierstrass Function (beschreibt eine andere Weierstraß-Funktion)
}}

== Einzelnachweise ==
<references />

[[Kategorie:Mathematische Funktion|Weierstrassfunktion]]
[[Kategorie:Karl Weierstraß als Namensgeber|Funktion]]

Weierstraß-Funktion - Versionsgeschichte

imported>-haznK: /* growthexperiments-addlink-summary-summary:1|0|1 */