27/03/2012 Analyse - Dérivabilité | 3
Etude globale des fonctions dérivables
Définition – Extremum local
Soit f : I et a I mais n’est pas une borne de I
On dit que a admet un maximum (resp. minimum) local en a si f est majorée (resp. minorée ) par f(a) au voisinage de a
Théorème – Extremum local
Soit f définie sur un intervalle I et a un point de I qui n’en est pas une borne. Si la fonction f présente un extremum local en a
et si f est dérivable en a, alors nécessairement f’(a)=0.
* réciproque fausse (exemple xx3) car f’ doit s’annuler ET changer de signe
* Sur la représentation graphique, la tangente au graphe doit être horizontale en un tel point.
Théorème de Rolle
Etant donné deux réels a et b tels que a < b ainsi qu’une fonction f continue sur [a,b], dérivable sur ]a,b[ et vérifiant f(a)=f(b),
il existe alors c ]a,b[ tel que f’(c)=0.
Graphiquement cela signifie que l’une (au moins) des
tangentes au graphe de la fonction f doit être
horizontale
Attention c n’est pas forcément unique
Théorème des accroissements finis
Soit (a,b) ², a<b . Soit f : [a,b] une fonction continue sur [a,b], dérivable sur ]a,b[.
On a les propriétés suivantes :
* égalités des accroissements finis :
il existe c ]a,b[ tel que f(b)-f(a) = (b-a)f’(c)
* inégalités des accroissements finis :
si en outre il existe des réels m et M tels que pour tout t [a,b], on ait m ≤ f’(t) ≤ M alors m(b - a) ≤ f(b) - f(a) ≤ M(b - a)
En particulier si, pour tout t ]a,b[, |f’(t)| M, alors |f(b) - f(a)| M(b - a)
On a donc la majoration |f(b)-f(a)|upt]a,b[ |f’(t)|(b-a)
Graphiquement cela signifie l’existence d’une
tangente parallèle à la corde joignant les points
(a,f(a)) et (b,f(b))
Corollaire – Dérivation et fonctions lipschitzienne
Soit f : I une application. Si |f’| est majorée par k réel positif sur I, alors f est k-lipschitzienne sur I