Fonction continue nulle part dérivable

En mathématiques, une fonction continue nulle part dérivable est une fonction numérique qui est régulière du point de vue topologique (c'est-à-dire continue) mais ne l'est pas du tout du point de vue du calcul différentiel (c'est-à-dire qu'elle n'est dérivable en aucun point).

La continuité d'une fonction signifie que sa courbe représentative n'admet pas de « trou ». La dérivabilité assure qu'elle est bien « arrondie ». Il est assez aisé de démontrer que toute fonction dérivable sur un intervalle est continue sur ce même intervalle. Les mathématiciens ont cru jusqu'au que la réciproque était en partie vraie, que les points où une fonction continue n'est pas dérivable sont rares. Il n'en est rien. De nombreux contre-exemples furent découverts.

Depuis, l'étude de ces fonctions a montré qu'elles étaient importantes, non seulement du point de vue de la logique interne aux mathématiques, pour comprendre le concept de fonction, mais également pour fournir des modèles utiles aux autres sciences. Les fractales donnent également des exemples de courbes continues sans tangentes.

Histoire Le concept même de fonction ne s'est clarifié qu'au , lorsqu'en 1837, Dirichlet pose une définition moderne du concept de fonction.

À cette époque, les mathématiciens pensaient que toute fonction continue est dérivable, sauf éventuellement en quelques points particuliers, cette opinion n'étant pas contredite par leur pratique du calcul différentiel.. Par exemple, en 1806, Ampère. essaya de prouver que toute fonction est dérivable , sans cependant clarifier ce qu'il entendait par fonction..

Dès 1833-1834Jan Sebestik, Logique et mathématique chez Bernard Bolzano, Vrin, 1992, ., Bernard Bolzano présente le premier exemple d'une fonction continue partout et nulle part dérivable. Il construit la courbe de Bolzano, de manière itérative, en partant d'un segment quelconque, et en remplaçant tout segment par 4 segments construits à l'aide d'un quadrillage au huitième illustré dans l'image ci-contre .. Pour lui, une limite de fonctions continues est une fonction continueCe n'est pas vrai en général, mais la convergence vers sa fonction étant uniforme, la continuité est effectivement assurée.. Il démontre que la fonction obtenue n'est monotone dans aucun intervalle et qu'elle n'a pas de dérivée dans un ensemble dense. Cet exemple est en fait plus riche car on peut prouver que sa fonction n'a pas de dérivée ni même de dérivée infinie à signe déterminé en tout point de l'intervalle d'étude sauf à droite à l'origine où la limite du taux d'accroissement est . Mais les manuscrits de ses travaux sur cette fonction, dite fonction de Bolzano, ne sont redécouverts qu'en 1920 et publiés qu'en 1922.. Charles Cellérier découvre aussi, vers 1860, un autre exemple de fonction continue nulle part dérivable sans connaître celle de Bolzano. Son travail reste aussi inédit jusqu'à sa mort en 1890..

C'est pourquoi Bernhard Riemann étonna la communauté mathématique quand il exhiba, lors d'une conférence en 1861, un exemple de fonction qui est continue sur mais dérivable seulement en de rares points. Cette fonction est définie par

et n'est dérivable en que lorsque où et sont des entiers impairs.

En 1872, Karl Weierstrass fut le premier à publier non seulement une, mais toute une famille de fonctions continues et nulle part dérivables. Elles sont définies par

où et sont des constantes réelles, étant dans ]0 ; 1[ , b entier impair et le produit strictement supérieur à (Godfrey Harold Hardy la généralisera de façon optimale en 1916 en montrant que suffit.). Après cette découverte, des mathématiciens en trouvèrent d'autres.

On est allé même plus loin en prouvant que pour une fonction continue arbitraire, il existe une fonction continue partout et nulle part dérivable aussi proche d'elle que l'on désire. Cela signifie que ces fonctions particulières sont particulièrement nombreuses et forment un « gros » ensemble d'un point de vue topologique.

Perception L'intérêt d'introduire ces fonctions, que l'on qualifie parfois de pathologiques, fut parfois rejeté par les mathématiciens. Citons par exemple Charles Hermite qui déclara en 1893 :

ou encore Henri Poincaré qui qualifie ces fonctions de « monstres »La citation exacte est : ..

Dans La Valeur de la Science, lorsqu'il faut donner des exemples pour lesquels l'intuition est mise en défaut en mathématiques, Poincaré donne ces fonctions en premier.

La découverte de l'existence de ces fonctions a profondément modifié la vision qu'avaient les mathématiciens du concept de fonction et de celui de courbe. Les fonctions numériques réelles continues sont parfois présentées comme étant celles dont on peut tracer la courbe Par exemple le programme officiel de mathématiques de 2001 des classes de terminale S en France.. Or, le graphe d'une fonction continue nulle part dérivable ne peut pas être tracé.

Ces fonctions sont encore considérées, au tournant des années 2000, comme contre-intuitives et comme un facteur bloquant pour l'apprentissage des mathématiques :

Mandelbrot, célèbre pour avoir popularisé les fractalesLes courbes des fonctions continues partout nulle part dérivables ont souvent des structures de fractales et inversement, les fractales fournissent des exemples de telles fonctions., soutenait au contraire que les courbes continues sans tangentes sont intuitives, mais reconnaissait n'avoir trouvé, parmi ses prédécesseurs, que deux mathématiciens partageant cette opinion.

Un exemple

L'article fonction de Weierstrass présente un exemple historique d'une classe de fonctions continues partout nulle part dérivables. Nous allons en donner une autre.

On définit une fonction par

On peut la prolonger par périodicité sur tous les réels en posant pour tout réel

On pose alors

Cette fonction est continue sur , mais n'est dérivable en aucun point de .

Principe de la construction. La fonction est limite uniforme de fonctions définies par :

Ces fonctions sont continues, affines par morceaux, mais leurs représentations graphiques sont formées de segments de droites dont les pentes sont de plus en plus raides.

Densité

Cela signifie que pour une fonction continue fixée et pour un arbitraire, il existe une fonction continue nulle part dérivable telle que

En d'autres termes, cela signifie que l'ensemble des fonctions continues et nulle part dérivable est dense dans l'ensemble des fonctions continues, pour la topologie de la convergence uniforme.

On peut énoncer un résultat analogue sur : toute fonction continue sur est localement limite uniforme de fonctions continues et nulle part dérivables.

On peut également fournir une démonstration non constructive (c'est-à-dire ne nécessitant pas d'exhiber un exemple de fonction continue nulle part dérivable) utilisant le lemme de BaireXavier Gourdon, Les Maths en tête : analyse, éditions Ellipses....

Si une fonction f est continue sur [0, 1] et dérivable en un point x, la fonction y ↦ (f(y) – f(x))/(y – x), définie ailleurs qu'en x, se prolonge en une fonction continue sur [0, 1] donc bornée. Dans l'espace des fonctions continues de [0, 1] dans ℝ, le sous-espace F des fonctions dérivables en au moins un point est donc inclus dans la réunion, pour n ∈ ℕ, des

Pour la topologie de la convergence uniforme, chacun de ces F est : fermé car si f ∈ F et f → f alors f ∈ F. En effet, soit, pour chaque k, un témoin x de l'appartenance de f à F. Alors, toute valeur d'adhérence de (x) est un témoin de l'appartenance de f à F. d'intérieur vide car il contiendrait sinon une boule de rayon positif, centrée en un polynôme P (d'après le théorème de Stone-Weierstrass). Or pour toute constante M, on construit facilement une fonction g (par exemple affine par morceaux) telle que P + g appartienne à cette boule et telle que pour tout x, |g(y) – g(x)| > (M + n)|y – x| pour au moins un y donc, en ayant choisi pour M un majorant de |P ' |, |(P + g)(y) – (P + g)(x)| > n|y – x|, d'où une contradiction. Ainsi, F est maigre. D'après le lemme de Baire, son intérieur est donc vide. Autrement dit : son complémentaire — l'ensemble des fonctions de C([0, 1]) nulle part dérivables — est dense.

Il est même possible d'obtenir un résultat beaucoup plus fort : « presque toute » fonction continue sur [0,1] est nulle part dérivable. Le sens de « presque toute » dans cet énoncé doit être un peu affaibli, car il n'existe pas de mesure de Lebesgue en dimension infinie ; une description précise de la mesure utilisée figure dans l'article espace de WienerOn trouvera une démonstration de ce théorème dans l'article de Brian Hunt, The prevalence of nowhere differentiable functions, Proc. of the AMS, 1994 (lire en ligne). .

Mouvement brownien

Presque toute réalisation du mouvement brownien est continue et nulle part dérivable. Ceci a fait dire à Jean Perrin, prix Nobel de physique :

Annexes Bibliographie

Notes

Références

Fonction continue nulle part dérivable

Źródło i licencja