Fonction de Weierstrass

Un article de Wikipédia, l'encyclopédie libre.
Sauter à la navigation Sauter à la recherche
Courbe de la fonction de Weierstrass sur l’intervalle [–2, 2].
Représentation de la fonction de Weierstrass f1/2,3 sur l'intervalle [–2, 2]. 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é[1] d'une fonction réelle d'une variable réelle 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 b de 0,1 à 5, pour a fixé égal à 0,5. la non-dérivabilité démarre à a = 2.

Construction[modifier | modifier le code]

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 [2] par :

est continue pour , (convergence uniforme sur de la série de fonction, par le critère de Weierstrass). Ce dernier supposait de plus b entier impair vérifiant pour prouver la non dérivabilité en aucun point.

Hardy a prouvé ensuite que l'hypothèse suffit pour qu'elle ne soit dérivable en aucun point, mais la preuve en est sensiblement plus difficile [2]. On trouvera dans [3] une démonstration dans le cas .

Inversement, est de classe pour tout entier tel que .

Caractère fractal du graphe de la fonction[modifier | modifier le code]

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 , monotone sur aucun intervalle, aussi petit soit-il.

Le calcul de la dimension D de Hausdorff du graphe de la fonction de Weierstrass est resté un problème ouvert jusqu'en 2017, bien que Mandelbrot ait conjecturé que [4],[5] ; cela n'a été démontré indépendamment par les mathématiciens allemand Gerhard Keller, et chinois Weixiao Shen que 30 ans plus tard [6] .

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 on sait désormais que les deux sont égales [7].

Continuité Höldérienne[modifier | modifier le code]

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

avec .

Alors est α-Höldérienne, c'est-à-dire qu'il existe une constante telle que[8]

De plus, (donc pour ) est Höldérienne pour tous les ordres < 1 mais pas lipschitzienne auquel cas elle aurait été presque partout dérivable (théorème de Rademacher).

Références[modifier | modifier le code]

  1. (de) K. Weierstrass, « Über continuirliche Funktionen eines reellen Arguments, die für keinen Werth des letzteren einen bestimmten Differentialquotienten besitzen », gelesen in der Königl. Akademie der Wissenchaften am 18 Juli 1872, in Karl Weiertrass, Mathematische Werke, Abhandlungen II, Berlin, Mayer & Müller, 1895, p. 71-74.
  2. a et b (en) G.H. Hardy, « Weierstrass's nondifferentiable function », Trans. Amer. Math. Soc., vol. 17,‎ , p. 301-325 (lire en ligne).
  3. A. Baouche, S. Dubuc, « LA NON DERIVABILITE DE LA FONCTION DE WEIERSTRASS », L'enseignement marhématique t. 38,‎ , p. 89-94
  4. Kenneth Falconer,The Geometry of Fractal Sets (Cambridge, England: Cambridge University Press, 1985), pages 114, 149.
  5. See also: Brian R. Hunt (1998) "The Hausdorff dimension of graphs of Weierstrass functions," Proceedings of the American Mathematical Society, vol. 126, no. 3, pages 791-800.
  6. (en) Shen, « Hausdorff dimension of the graphs of the classical Weierstrass functions », Mathematische Zeitschrift, vol. 289, nos 1-2,‎ , p. 223–266 (ISSN 0025-5874, DOI 10.1007/s00209-017-1949-1, arXiv 1505.03986, lire en ligne)
  7. Roger Mansuy, « Fractales : le diable est dans les détails », sur La Recherche, (consulté en décembre 2019)
  8. (en) Zygmund, A., Trigonometric series Vol. I, II, Cambridge Mathematical Library (3rd ed.), (2002) [1935] (ISBN 978-0-521-89053-3), p. 47

Voir aussi[modifier | modifier le code]

Articles connexes[modifier | modifier le code]

Lien externe[modifier | modifier le code]

« Weierstrass function », sur www.desmos.com/calculator