Fonctions d'une variable réelle/Dérivabilité
Dérivabilité : définitions
Rappelons les définitions de la leçon « Fonction dérivée » : Modèle:Définition
On peut donner une définition équivalente (dont l'un des avantages est qu'elle se généralise au calcul différentiel à plusieurs variables) :
Remarque : L'expression est un [[../Développements limités|développement limité]] de au voisinage de à l’ordre 1 (c'est-à-dire une approximation affine de au voisinage de ).
Modèle:Démonstration déroulante
On a alors le lien avec la continuité :
Modèle:Propriété La réciproque est fausse, comme le montre le contre-exemple ci-dessous de la fonction valeur absolue.
Modèle:Démonstration déroulante


Parfois, en certains points, même si est continue en , elle n'y admet pas de nombre dérivé (cf. figures ci-contre). Modèle:Clr
En revanche, il existe parfois des « demi-tangentes » à droite et/ou à gauche. Cela conduit à des définitions de nombre dérivé « à gauche » ou « à droite ». Modèle:Définition
Dérivée et opérations
Modèle:Démonstration déroulante
Modèle:Démonstration déroulante
Exemples : Remarquez que dans ces exemples, on utilise le formulaire du paragraphe suivant.
- Calculer la dérivée de la fonction .
On pose où et .
Donc : . - Calculer la dérivée de la fonction .
On pose où et .
Donc : . - Calculer la dérivée de la fonction .
On pose où et .
Donc : . - Calculer la dérivée d'une fonction de la forme .
On a et ,
donc , c'est-à-dire : .
Par conséquent, si ne s'annule pas sur , alors est dérivable sur et .
Modèle:Démonstration déroulante
Dérivée des fonctions usuelles
| Domaine de définition | Fonction | Domaine de dérivabilité | Dérivée | Condition |
|---|---|---|---|---|
| (ou si ) | (ou si ) | |||
| arctan | ||||
Il faut être capable de démontrer ces résultats : deux de ces démonstrations sont proposées dans les deux boîtes déroulantes ci-dessous. On en trouve d'autres dans le chapitre « Dérivées usuelles » de la leçon « Fonction dérivée ».
Modèle:Démonstration déroulante
Modèle:Démonstration déroulante
Théorèmes sur la dérivation
Voici une condition nécessaire mais pas suffisante pour un extremum local. Modèle:Théorème
Attention
- La réciproque est fausse : par exemple, la fonction , en , a une dérivée nulle mais pas d'extremum local.
- L'hypothèse « intervalle ouvert » (ou encore : n'est pas une borne de l'intervalle) est nécessaire. Par exemple, la fonction admet un minimum en et un maximum en , mais sa dérivée ne s'annule en aucun point.
Modèle:Démonstration déroulante

Modèle:Démonstration déroulante

Modèle:Démonstration déroulante
Ce théorème a quatre corollaires importants : l'inégalité des accroissements finis, le théorème « limite de la dérivée », la règle de l'Hôpital et, surtout, le lien entre sens de variation d'une fonction et signe de sa dérivée.
Modèle:Démonstration déroulante
On verra une application de cette inégalité, à propos des [[../Continuité uniforme#Fonctions lipschitziennes et höldériennes|fonctions lipschitziennes, au chapitre « Continuité uniforme »]].
Voici enfin un théorème bien pratique pour calculer un nombre dérivé :
Modèle:Démonstration déroulante
L'énoncé suivant généralise la « règle simple de L'Hôpital » (qui n'est qu'une application directe de la définition d'un nombre dérivé). Il s'applique à des fonctions définies et dérivables à droite (ou à gauche) d'un point (c'est-à-dire réel ou infini), mais pas en ce point :
Modèle:Démonstration déroulante
- Remarques
-
- Ces règles peuvent être itérées fois (pour un entier ) : on dit alors qu'on applique la règle de L'Hôpital « à l’ordre ».
- La première de ces deux règles sera utilisée pour démontrer le [[../Développements limités#Dérivation et intégration terme à terme|théorème d'intégration terme à terme d'un développement limité]], qui permet d'établir une formule fondamentale : la formule de Taylor-Young.
Dérivée et sens de variation
La propriété qui suit fournit un critère pour le sens de variation d'une fonction dérivable :
Modèle:Démonstration déroulante
Pour des exemples, voir le chapitre « Dérivée et sens de variation » et ses exercices, dans la leçon « Étude et tracé d'une fonction ».
Classes de régularité et dérivées d'ordre supérieur
Soit un intervalle de .
Dérivées d'ordre supérieur
Modèle:Définition (exemple à faire)
Attention à ne pas confondre la dérivée n-ième avec la puissance n-ième .
Modèle:Propriété Cette propriété se démontre par récurrence sur en utilisant la linéarité de la dérivation.
Pour le produit, on voit apparaître des coefficients binomiaux :
Cette formule a la même forme et se démontre de la même façon que la formule du binôme. Modèle:Démonstration déroulante
Enfin, on a la propriété suivante qui se généralisera en calcul différentiel : Modèle:Propriété
Modèle:Démonstration déroulante
Classes de régularité
Donc signifie simplement que est continue sur .
On peut aussi parler de la classe , avec les polynômes, l'exponentielle, le sinus, le cosinus et la gaussienne () :