Fonction de Weierstrass

Représentation de la fonction de Weierstrass Modèle:Math sur l'intervalle Modèle:Math. La fonction a un comportement fractal : n'importe quel zoom (par exemple le cercle rouge) ressemble au zoom total.

La fonction de Weierstrass, aussi appelée fonction de Weierstrass-Hardy, fut en 1872 le premier exemple publié d'une fonction réelle d'une variable réelle qui est continue partout, mais dérivable nulle part. On le doit à Karl Weierstrass et Leopold Kronecker ; les hypothèses ont été améliorées par G. H. Hardy.

Évolution de la courbe de la fonction de Weierstrass lors d'une augmentation linéaire de la valeur de Modèle:Mvar de 0,1 à 5, pour Modèle:Mvar fixé égal à 0,5. la non-dérivabilité démarre à Modèle:Mvar = 2.

Construction

Il s'agit en fait d'une famille de fonctions dépendant de deux paramètres, définie comme somme d'une série trigonométrique par :

$f_{a,b}(x)=\sum _{n=0}^{\mathrm{\infty }}{a}^n\cos (b^n\pi x)$

La fonction Modèle:Math est continue pour Modèle:Math, (convergence uniforme sur $ℝ$ de la série de fonction, par le critère de Weierstrass). Ce dernier supposait de plus Modèle:Mvar entier impair vérifiant Modèle:Math pour prouver la non dérivabilité en tout point.

Hardy a prouvé ensuite que l'hypothèse Modèle:Math suffit pour qu'elle ne soit dérivable en aucun point, mais la preuve en est sensiblement plus difficile. On peut simplifier sa démonstration dans le cas Modèle:Math.

Inversement, Modèle:Math est de classe Modèle:Mvar pour tout entier Modèle:Mvar tel que Modèle:Math.

Caractère fractal du graphe de la fonction

La fonction de Weierstrass est l'une des toutes premières fractales étudiées, bien que ce terme n'ait été utilisé que beaucoup plus tard. En particulier cette fonction continue n'est, pour Modèle:Math, monotone sur aucun intervalle, aussi petit soit-il.

Le calcul de la dimension Modèle:Mvar de Hausdorff du graphe de la fonction de Weierstrass est resté un problème ouvert jusqu'en 2017, bien que Mandelbrot ait conjecturé que $D=2+{\log }_{b}a=2+\frac{\ln a}{\ln b}$Modèle:, ; cela n'a été démontré indépendamment par les mathématiciens allemand Gerhard Keller et chinois Modèle:Lien que 30 ans plus tard .

Cependant, la dimension de Minkowski-Bouligand (notion proche de celle de Hausdorff, obtenue en comptant des recouvrements par des carrés disjoints au lieu de disques), était, elle, déjà connue depuis les années 1980 et l'on sait désormais que les deux sont égales.

Continuité höldérienne

Il est pratique d'écrire la fonction Weierstrass de manière équivalente sous la forme :

$W_{\alpha }(x)=\sum _{n=0}^{\mathrm{\infty }}{b}^{-n\alpha }\cos (b^n\pi x)\mathrm{a}\mathrm{v}\mathrm{e}\mathrm{c}\alpha =-\ln a/\ln b$.

Alors Modèle:Math est Modèle:Math-höldérienne, c'est-à-dire qu'il existe une constante Modèle:Mvar telle que

$\mathrm{\forall }x,y\in ℝ,|W_{\alpha }(x)-W_{\alpha }(y)|\le C|x-y{|}^{\alpha }$.

De plus, Modèle:Math (donc pour Modèle:Math) est höldérienne pour tous les ordres strictement inférieurs à 1 mais pas lipschitzienne auquel cas elle aurait été presque partout dérivable (théorème de Rademacher).

Voir aussi

Articles connexes

• Fonction continue nulle part dérivable : article détaillé d'un point de vue historique et donnant d'autres exemples.
• Série trigonométrique
• Fonction presque périodique

Lien externe

• Modèle:Lien web