Fonctions de classe C1- Inégalité des accroissements finis.
Par composition de fonctions différentiables (on l’admet pour le moment, ce sera vu au
chapitre 6) on obtient que gest différentiable (c’est-à-dire dérivable) sur [0,1] et
∀t∈[0,1], g0(t) = da+t(b−a)f(b−a).
En particulier :
kg0(t)k6|||da+t(b−a)f|||kb−ak6M.
Soit ε > 0. On considère
Iε={t∈[0,1] | kg(t)−g(0)k6t(M+ε)}
et sε= sup(Iε). Ce supremum est bien défini car Iεest borné (par 1) et non vide (il contient
0). Soit (tm)m∈Nune suite d’éléments de Iεqui tend vers sε. Alors pour tout m∈Non a
kg(tm)−g(0)k6tm(M+ε).La fonction t7→ kg(t)−g(0)kest continue, donc par passage à
la limite on obtient que kg(sε)−g(0)k6sε(M+ε), et donc sε∈Iε. Supposons par l’absurde
que sε<1. Alors pour h > 0assez petit on a sε+h∈[0,1] et
kg(sε+h)−g(sε)−hg0(sε)k6hε.
Ainsi
kg(sε+h)−g(0)k6kg(sε)−g(0)k+hkg0(sε)k+hε 6sε(M+ε) + hM +hε
6(sε+h) (M+ε).
Cela prouve que sε+happartient à Iεet contredit la définition de sε. Donc sε= 1. Fina-
lement pour tout ε > 0on a kg(1) −g(0)k6M+ε. En faisant tendre εvers 0 cela donne
kg(1) −g(0)k6M, ce qui conclut la démonstration.
Corollaire 4.6. On suppose que Uest convexe. Si toutes les dérivées partielles de fsont
nulles sur Ualors fest constante sur U.
Définition 4.7. Soit fune fonction d’un domaine Dde Rnà valeurs dans Rp. Soit K>0.
On dit que fest K-lipschitzienne si
∀x, y ∈ D,kf(x)−f(y)k6Kkx−yk.
On dit que fest lipschitzienne si elle est K-lipschitzienne pour un certain K>0.
Remarque 4.8.Attention, la constante de Lipschitz Kdépend du choix des normes sur Rn
et Rp. Par contre, par équivalence des normes, le fait qu’une fonction soit lipschitzienne ou
non ne dépend pas des normes choisies.
Souvent, pour montrer qu’une application est lipschitzienne, on utilise l’inégalité de la
moyenne : si fest différentiable sur le convexe Ωet s’il existe K>0tel que |||df(x)||| 6K
pour tout x∈Ω, alors fest K-lipschitzienne sur Ω.
Définition 4.9. On dit que fest contractante si elle est K-lipschitzienne pour un certain
K∈[0,1[.
Attention, cette dernière notion dépend du choix des normes considérées. . .
Année 2015-2016 27