Fonctions d'une variable réelle/Dérivabilité

Début de la boite de navigation du chapitre

fin de la boite de navigation du chapitre

Dérivabilité : définitions

Rappelons les définitions de la leçon « Fonction dérivée » :

Nombre dérivé et fonction dérivable

Soit $f$ une fonction définie sur un intervalle $I$, et soit $a\in I$.

$f$ est dite dérivable en $a$ si son taux de variation entre $a$ et $x$, ${\frac {f(x)-f(a)}{x-a}}$, admet une limite finie quand $x$ tend vers $a$.

Le réel $\lim _{x\to a}{\frac {f(x)-f(a)}{x-a}}$ est alors appelé nombre dérivé de $f$ en $a$ et est noté $f'(a)$.

Si $f$ est dérivable en tous les points de $I$, on dit que $f$ est dérivable sur $I$.

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) :

Proposition

Soit $f$ une fonction définie sur un intervalle $I$, et soient $a\in I$ et $A\in \mathbb {R}$.

La fonction $f$ est dérivable en $a$ et $f'(a)=A$ si, et seulement s'il existe une fonction $\varepsilon :I\to \mathbb {R}$ telle que :

$\lim _{x\to a}\varepsilon (x)=0\quad {\text{et}}\quad \forall x\in I\quad f(x)=f(a)+A(x-a)+\varepsilon (x)(x-a)\quad (\star )$.

Remarque : L'expression $(\star )$ est un développement limité de $f$ au voisinage de $a$ à l’ordre 1 (c'est-à-dire une approximation affine de $f$ au voisinage de $a$).

Démonstration

Pour $x=a$, l'équation $f(x)=f(a)+A(x-a)+\varepsilon (x)(x-a)$ est automatiquement vérifiée, quelle que soit la valeur de $\varepsilon (x)$.

Pour $x\in I\setminus \{a\}$, cette même équation équivaut à $\varepsilon (x)={\frac {f(x)-f(a)}{x-a}}-A$.

L'existence d'une fonction $\varepsilon :I\to \mathbb {R}$ vérifiant la ligne $(\star )$ est donc équivalente à : $\lim _{x\to a}{\frac {f(x)-f(a)}{x-a}}-A=0$, c'est-à-dire à : $\lim _{x\to a}{\frac {f(x)-f(a)}{x-a}}=A$.

 

On a alors le lien avec la continuité :

Propriété

Si $f$ est dérivable en $a$, alors $f$ est continue en $a$.

La réciproque est fausse, comme le montre le contre-exemple ci-dessous de la fonction valeur absolue.

Démonstration

Le plus simple est d’utiliser la deuxième définition ci-dessus et de « passer à la limite » dans $(\star )$.

On constate alors que $\lim _{x\to a}f(x)=f(a)$, ce qui est la définition même de la continuité de $f$ en $a$.

 

Le graphe de la fonction valeur absolue $x\mapsto |x|$ a un point anguleux en 0.

Le graphe de la fonction racine carrée $x\mapsto {\sqrt {x}}$ a une tangente verticale en 0.

Parfois, en certains points, même si $f$ est continue en $a$, elle n'y admet pas de nombre dérivé (cf. figures ci-contre).

En revanche, il existe parfois des « demi-tangentes » à droite et/ou à gauche. Cela conduit à des définitions de nombre dérivé « à gauche » ou « à droite ».

Définition

• $f$ est dite dérivable en $a$ à droite si ${\frac {f(x)-f(a)}{x-a}}$ admet une limite finie quand $x$ tend vers $a$ par valeurs supérieures.

  Le réel $\lim _{x\to a^{+}}{\frac {f(x)-f(a)}{x-a}}$ est alors appelé nombre dérivé à droite de $f$ en $a$, et est noté $f'_{d}(a)$.

• $f$ est dite dérivable en $a$ à gauche si ${\frac {f(x)-f(a)}{x-a}}$ admet une limite finie quand $x$ tend vers $a$ par valeurs inférieures.

  Le réel $\lim _{x\to a^{-}}{\frac {f(x)-f(a)}{x-a}}$ est alors appelé nombre dérivé à gauche de $f$ en $a$, et est noté $f'_{g}(a)$.

Propriété

Une fonction $f$, définie sur un intervalle ouvert contenant $a$, est dérivable en $a$ si et seulement si :

• $f$ est dérivable en $a$ à droite et à gauche ;
• $f'_{d}(a)=f'_{g}(a)$.

Dans ce cas, $f'(a)=f'_{d}(a)=f'_{g}(a)$.

Dérivée et opérations

Début d’un théorème

Théorème

Soient $f$ et $g$ deux fonctions dérivables en $a\in I$.

• La dérivation au point $a$ est linéaire :
  • $(f+g)'(a)=f'(a)+g'(a)$
  • $\forall \lambda \in \mathbb {R} \quad (\lambda f)'(a)=\lambda (f'(a))$.
• $(fg)'(a)=f'(a)g(a)+f(a)g'(a)=(f'g+fg')(a)$
  (et non pas $f'(a)g'(a)$ !).
• si $g(a)\neq 0$, alors $\left({\frac {f}{g}}\right)'(a)={\frac {f'(a)g(a)-f(a)g'(a)}{(g(a))^{2}}}$ et en particulier $\left({\frac {1}{g}}\right)'(a)={\frac {-g'(a)}{(g(a))^{2}}}$.

Fin du théorème

Démonstrations

Toutes ces preuves utilisent les propriétés des opérations sur les limites et la définition de la dérivée comme limite du taux de variation.

• Démonstration pour la somme
  ${\frac {(f+g)(x)-(f+g)(a)}{x-a}}={\frac {f(x)+g(x)-(f(a)+g(a)))}{x-a}}={\frac {f(x)-f(a)}{x-a}}+{\frac {g(x)-g(a)}{x-a}}$.
  Comme $\lim _{x\to a}{\frac {f(x)-f(a)}{x-a}}=f'(a)$ et $\lim _{a\to a}{\frac {g(x)-g(a)}{x-a}}=g'(a)$, on a bien
  $\lim _{x\to a}{\frac {(f+g)(x)-(f+g)(a)}{x-a}}=f'(a)+g'(a)$, autrement dit : $(f+g)'(a)$ existe et est égale à $f'(a)+g'(a)$.
• Démonstration pour le produit
  Le taux de variation de $fg$ au point $a$ s'écrit :
  $T_{fg}(x,a)={\frac {f(x)g(x)-f(a)g(a)}{x-a}}.$
  En retranchant et en ajoutant $f(a)g(x)$ on obtient alors :
  $T_{fg}(x,a)={\frac {f(x)g(x)\overbrace {-f(a)g(x)+f(a)g(x)} ^{0}-f(a)g(a)}{x-a}}$.
  En factorisant les termes, on reconnaît les taux de variation de $f$ et $g$ :
  $T_{fg}(x,a)=\underbrace {\frac {f(x)-f(a)}{x-a}} _{T_{f}(x,a)}g(x)+f(a)\underbrace {\frac {g(x)-g(a)}{x-a}} _{T_{g}(x,a)}.$
  Sachant que $\lim _{x\to a}g(x)=g(a)$ (car $g$ est continue en Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikiversity.org/v1/ » :): {\displaystyle a} , puisque dérivable en $a$), les règles sur les limites de produits et de sommes permettent de conclure :
  ${\bigl (}fg{\bigr )}'(a)=\lim _{x\to a}T_{fg}(x,a)=f'(a)g(a)+f(a)g'(a).$
  Remarquons que le produit par une constante $\lambda$ est un cas particulier.
• Démonstration pour l'inverse
  On a successivement les égalités suivantes :
  $\lim _{x\to a}{\frac {{\frac {1}{f}}(x)-{\frac {1}{f}}(a)}{x-a}}=\lim _{x\to a}{\frac {{\frac {1}{f(x)}}-{\frac {1}{f(a)}}}{x-a}}=\lim _{x\to a}{\frac {1}{f(x)f(a)}}{\frac {-(f(x)-f(a))}{x-a}}$
  d'où le résultat grâce aux propriétés des limites.
• Démonstration pour le quotient
  Il suffit de combiner les deux points précédents (produit et inverse).

 

Dérivée d'une fonction composée

Soient $I$ et $J$ deux intervalles de $\mathbb {R}$, $f:I\to \mathbb {R}$ et $g:J\to \mathbb {R}$ deux fonctions telles que $f(I)\subset J$, et $a$ un point de $I$.

Si $f$ est dérivable au point $a$ et $g$ est dérivable au point $f(a)$ alors la composée $g\circ f$ est dérivable au point $a$ et :

$(g\circ f)'(a)=(g'(f(a)))\times f'(a)$.

Démonstration

Notons $b=f(a)$. Puisque $g$ est dérivable en $b$, d'après la seconde définition de la dérivabilité, il existe une fonction $u:J\to \mathbb {R}$ telle que

$u(b)=\lim _{y\to b}u(y)=g'(b)\quad {\text{et}}\quad \forall y\in J\quad g(y)-g(b)=u(y)\times (y-b)$.

En particulier (en utilisant que $f$ est continue au point $a$ puisqu'elle est même dérivable en ce point) :

$\lim _{x\to a}u(f(x))=g'(b)\quad {\text{et}}\quad \forall x\in I\quad g(f(x))-g(f(a))=u(f(x))\times (f(x)-f(a))$.

Le taux de variation au point $a$ de la fonction $g\circ f$ s'exprime alors sous la forme :

${\frac {g(f(x))-g(f(a))}{x-a}}=u(f(x))\times {\frac {f(x)-f(a)}{x-a}}$

et quand $x$ tend vers $a$ (par valeurs distinctes de $a$), cette expression tend vers $g'(b)\times f'(a)=g'(f(a))\times f'(a)$.

Remarque

Il existe une démonstration de ce théorème, apparemment plus simple, qui utilise l'« astuce »

${\dfrac {g(f(x))-g(f(a))}{x-a}}={\dfrac {g(f(x))-g(f(a))}{f(x)-f(a)}}\times {\dfrac {f(x)-f(a)}{x-a}}$,

mais cette démonstration est erronée car elle suppose que $f(x)\neq f(a)$ pour tout $x$ suffisamment proche de $a$, ce qui n'a aucune raison d’être.

 

Exemples : Remarquez que dans ces exemples, on utilise le formulaire du paragraphe suivant.

1. Calculer la dérivée de la fonction $\varphi :\mathbb {R} _{+}^{*}\to \mathbb {R} ,\;x\mapsto {\frac {1}{x^{2}}}+\ln x$.
   On pose $\varphi (x)=f(x)+g(x)$ où $f(x)={\frac {1}{x^{2}}}\Rightarrow f'(x)=-{\frac {2}{x^{3}}}$ et $g(x)=\ln x\Rightarrow g'(x)={\frac {1}{x}}$.
   Donc : $\varphi '(x)=f'(x)+g'(x)=-{\frac {2}{x^{3}}}+{\frac {1}{x}}={\frac {x^{2}-2}{x^{3}}}$.
2. Calculer la dérivée de la fonction $\varphi :\mathbb {R} \to \mathbb {R} ,\;x\mapsto x^{\mathrm {2} }e^{x}$.
   On pose $\varphi (x)=f(x)g(x)$ où $f(x)=x^{2}\Rightarrow f'(x)=2x$ et $g(x)=g'(x)=\mathrm {e} ^{x}$.
   Donc : $\varphi '(x)=f'(x)g(x)+f(x)g'(x)=2x\mathrm {e} ^{x}+x^{2}\mathrm {e} ^{x}=(x^{2}+2x)\mathrm {e} ^{x}$.
3. Calculer la dérivée de la fonction $\varphi :\mathbb {R} _{+}^{*}\to \mathbb {R} ,\;x\mapsto {\frac {\cos x}{\sqrt {x}}}$.
   On pose $\varphi (x)={\frac {f}{g}}(x)$ où $f(x)=\cos x\Rightarrow f'(x)=-\sin x$ et $g(x)={\sqrt {x}}\Rightarrow g'(x)={\frac {1}{2{\sqrt {x}}}}$.
   Donc : $\varphi '(x)={\frac {f'(x)g(x)-f(x)g'(x)}{(g(x))^{2}}}={\frac {-{\sqrt {x}}\sin x-\cos x\times {\frac {1}{2{\sqrt {x}}}}}{({\sqrt {x}})^{2}}}=-{\frac {2x\sin x+\cos x}{2x{\sqrt {x}}}}$.
4. Calculer la dérivée d'une fonction de la forme $\varphi :\mathbb {R} \to \mathbb {R} ,\;x\mapsto \mathrm {e} ^{f(x)}$.
   On a $\varphi =\exp \circ f$ et $\exp '=\exp$,
   donc $\varphi '(x)=f'(x)\exp '(f(x))$, c'est-à-dire : $\left(\mathrm {e} ^{f}\right)'=f'\times \mathrm {e} ^{f}$.

Dérivée d'une bijection réciproque

Soient $I$ un intervalle réel et $f:I\to \mathbb {R}$ une fonction dérivable sur $I$ et strictement monotone ($f$ est alors une bijection de $I$ sur l'intervalle $f(I)$).

Pour tout point $a$ de $I$ en lequel $f'$ ne s'annule pas, la bijection réciproque $f^{-1}$ est dérivable en $b:=f(a)$ et :

$(f^{-1})'(b)={\frac {1}{f'(a)}}$.

Par conséquent, si $f'$ ne s'annule pas sur $I$, alors $f^{-1}$ est dérivable sur $f(I)$ et $(f^{-1})'={\frac {1}{f'\circ f^{-1}}}$.

Démonstration

• D'après le théorème de la bijection, l'application $g:=f^{-1}$ est continue en $b$ et même (par injectivité de $g$) quand $y$ tend vers $b$ par valeurs distinctes de $b$, $g(y)$ tend vers $g(b)=a$ par valeurs distinctes de $a$.
• Par hypothèse, $\lim _{\stackrel {x\to a}{x\neq a}}{\frac {f(x)-f(a)}{x-a}}=f'(a)$.

Par composition des limites, on déduit de ces deux points que

$\lim _{\stackrel {y\to b}{y\neq b}}{\frac {f(g(y))-f(a)}{g(y)-a}}=f'(a)$,

ou encore :

$\lim _{\stackrel {y\to b}{y\neq b}}{\frac {y-b}{g(y)-g(b)}}=f'(a)$.

Cette limite étant non nulle, on a donc bien (d'après le théorème sur la limite de l'inverse) :

$\lim _{\stackrel {y\to b}{y\neq b}}{\frac {g(y)-g(b)}{y-b}}={\frac {1}{f'(a)}}$, c'est-à-dire $g'(b)={\frac {1}{f'(a)}}$.

Remarques.

• Si $f'(a)=0$, le même calcul montre que $\lim _{\stackrel {y\to b}{y\neq b}}\left|{\frac {g(y)-g(b)}{y-b}}\right|=+\infty$ donc $g$ n'est pas dérivable en $b$.
• Le point crucial dans cette démonstration était la preuve que $g$ est dérivable en $b$. Si l'on admet ce fait, la formule $g'(b)={\frac {1}{f'(a)}}$ peut se retrouver en appliquant propriété précédente (« Dérivée d'une fonction composée ») : $g'(b)f'(a)=g'(f(a))f'(a)=(g\circ f)'(a)=\mathrm {id} '(a)=1$.

 

Dérivée des fonctions usuelles

Domaine de définition $D_{f}$	Fonction $f(x)$	Domaine de dérivabilité $D_{f'}$	Dérivée $f'(x)$	Condition
$\mathbb {R}$	$ax+b$	$\mathbb {R}$	$a$	$a,b\in \mathbb {R}$
$\mathbb {R}$	$x^{n}$	$\mathbb {R}$	$nx^{n-1}$	$n\in \mathbb {N}$
$\mathbb {R} ^{*}$	${\frac {1}{x^{n}}}$	$\mathbb {R} ^{*}$	$-{\frac {n}{x^{n+1}}}$	$n\in \mathbb {N} ^{*}$
$\mathbb {R} _{+}^{*}$ (ou $\mathbb {R} _{+}$ si $\alpha >0$)	$x^{\alpha }$	$\mathbb {R} _{+}^{*}$ (ou $\mathbb {R} _{+}$ si $\alpha >1$)	$\alpha x^{\alpha -1}$	$\alpha \in \mathbb {R} \setminus \mathbb {Z}$
$\mathbb {R}$	$\sin x$	$\mathbb {R}$	$\cos x$
$\mathbb {R}$	$\cos x$	$\mathbb {R}$	$-\sin x$
$\mathbb {R} \setminus \left({\frac {\pi }{2}}+\pi \mathbb {Z} \right)$	$\tan x$	$\mathbb {R} \setminus \left({\frac {\pi }{2}}+\pi \mathbb {Z} \right)$	${\frac {1}{\cos ^{2}x}}=1+\tan ^{2}x$
$\mathbb {R} \setminus \left(\pi \mathbb {Z} \right)$	$\cot x$	$\mathbb {R} \setminus \left(\pi \mathbb {Z} \right)$	$-{\frac {1}{\sin ^{2}x}}=-1-\cot ^{2}x$
$\left[-1,1\right]$	$\arcsin x$	$\left]-1,1\right[$	${\frac {1}{\sqrt {1-x^{2}}}}$
$\left[-1,1\right]$	$\arccos x$	$\left]-1,1\right[$	$-{\frac {1}{\sqrt {1-x^{2}}}}$
$\mathbb {R}$	arctan $x$	$\mathbb {R}$	${\frac {1}{1+x^{2}}}$
$\mathbb {R} _{+}^{*}$	$\log _{a}x$	$\mathbb {R} _{+}^{*}$	${\frac {1}{x\ln a}}$	$a>0$
$\mathbb {R}$	$a^{x}$	$\mathbb {R}$	$a^{x}\ln a$	$a>0$
$\mathbb {R}$	$\operatorname {sh} x$	$\mathbb {R}$	$\operatorname {ch} x$
$\mathbb {R}$	$\operatorname {ch} x$	$\mathbb {R}$	$\operatorname {sh} x$
$\mathbb {R}$	$\operatorname {th} x$	$\mathbb {R}$	${\frac {1}{\operatorname {ch} ^{2}x}}$
$\mathbb {R}$	$\operatorname {argsh} x$	$\mathbb {R}$	${\frac {1}{\sqrt {1+x^{2}}}}$
$\left[1,+\infty \right[$	$\operatorname {argch} x$	$\left]1,+\infty \right[$	${\frac {1}{\sqrt {x^{2}-1}}}$
$\left]-1,1\right[$	$\operatorname {argth} x$	$\left]-1,1\right[$	${\frac {1}{1-x^{2}}}$

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 ».

Dérivée de x ↦ xⁿ

On démontre le résultat pour $f:x\mapsto x^{n}$ où $n\in \mathbb {N} ^{*}$. Pour tout $a\in \mathbb {R}$ :

$\forall x\neq a\quad {\frac {f(x)-f(a)}{x-a}}={\frac {x^{n}-a^{n}}{x-a}}={\frac {(x-a)(x^{n-1}+ax^{n-2}+a^{2}x^{n-3}+\cdots +a^{n-1})}{x-a}}=x^{n-1}+ax^{n-2}+a^{2}x^{n-3}+\cdots +a^{n-1}$ et

$\lim _{x\to a}(x^{n-1}+ax^{n-2}+a^{2}x^{n-3}+\cdots +a^{n-1})=na^{n-1}$ (car chaque terme est de la forme $a^{k}x^{n-1-k}$ et il y a $n-1$ termes)

donc $\lim _{x\to a}{\frac {f(x)-f(a)}{x-a}}=na^{n-1}$, ce qui est le résultat voulu.

 

Dérivée de x ↦ x^α

Soit $h(x)=x^{\alpha }$, défini pour $x>0$ par :

$h(x)=\mathrm {e} ^{f(x)}$ avec $f(x)=\alpha \ln x$.

D'après l'exemple 4 ci-dessus, pour tout $x>0$ : $h'(x)=\mathrm {e} ^{f(x)}f'(x)=x^{\alpha }{\frac {\alpha }{x}}=\alpha x^{\alpha -1}$.

 

Théorèmes sur la dérivation

Voici une condition nécessaire mais pas suffisante pour un extremum local.

Début d’un théorème

Théorème de Fermat

Soit $f$ une fonction définie sur un intervalle ouvert $\left]a,b\right[$ et dérivable en un point $c\in \left]a,b\right[$.

Si $f$ possède un extremum local en $c$, alors $f'(c)=0$.

Fin du théorème

Attention

• La réciproque est fausse : par exemple, la fonction $\mathbb {R} \to \mathbb {R} ,\,x\mapsto x^{3}$, en $0$, a une dérivée nulle mais pas d'extremum local.
• L'hypothèse « intervalle ouvert » (ou encore : $c$ n'est pas une borne de l'intervalle) est nécessaire. Par exemple, la fonction $f:[0,1]\to \mathbb {R} ,\,x\mapsto x$ admet un minimum en $0$ et un maximum en $1$, mais sa dérivée ne s'annule en aucun point.

Démonstration

On suppose ici que $f(c)$ est un maximum local.

Il existe donc un réel $r>0$ tel que $\left]c-r,c+r\right[\subset I$ et tel que $\forall x\in \left]c-r,c+r\right[\quad f(x)\leq f(c)$, ou encore : $\forall h\in \left]-r,r\right[\quad f(c+h)-f(c)\leq 0$.

• Pour $0<h<r$, on a ${\frac {f(c+h)-f(c)}{h}}\leq 0$. En considérant la limite quand $h$ tend vers $0$ par valeurs positives, on en déduit : $f'(c)\leq 0$.
• Pour $-r<h<0$, on a ${\frac {f(c+h)-f(c)}{h}}\geq 0$. En considérant la limite quand $h$ tend vers $0$ par valeurs négatives, on en déduit : $f'(c)\geq 0$.

Finalement, $f'(c)\leq 0$ et $f'(c)\geq 0$ donc $f'(c)=0$.

Le cas où $f(c)$ est un minimum local se démontre de la même manière (avec la seule différence que les signes des taux de variation sont intervertis), ou se déduit du cas ci-dessus (en considérant la fonction $-f$).

C'est parce que $c$ appartient à l'intervalle ouvert $\left]a,b\right[$ que l'on a pu considérer ces deux taux de variation : si $c$ était une borne de l'intervalle, l'un des deux ne serait pas défini.

 

Début d’un théorème

Théorème de Rolle

Soit $f$ une fonction continue sur $\left[a,b\right]$ et dérivable sur $\left]a,b\right[$ telle que $f(a)=f(b)$.

Alors, il existe au moins un réel $c\in \left]a,b\right[$ tel que $f'(c)=0$.

Fin du théorème

Le théorème de Rolle permet d'affirmer qu’il existe au moins un réel $c\in \left]a,b\right[$ tel que la tangente à la courbe de $f$ au point $(c,f(c))$ soit « horizontale ».

Démonstration

Si $f$ est constante alors sa dérivée est nulle sur $\left]a,b\right[$, et l’on peut prendre pour $c$ n'importe quel point de cet intervalle.

Supposons maintenant que $f$ prend au moins une valeur différente du nombre $f(a)=f(b)$, par exemple une valeur strictement supérieure à ce nombre. Puisque $f$ est continue sur l'intervalle fermé borné $\left[a,b\right]$, elle admet et atteint (d'après le théorème des bornes) un maximum global en un certain $c\in \left[a,b\right]$. Ce maximum $f(c)$ étant strictement supérieur au nombre $f(a)=f(b)$, le point $c$ est différent de $a$ et de $b$ donc il appartient à l'intervalle ouvert $\left]a,b\right[$. Le théorème de Fermat ci-dessus permet de conclure : $f(c)$ est un extremum local de $f$ donc $f'(c)=0$.

 

Début d’un théorème

Théorème des accroissements finis

1. Théorème des accroissements finis : Soit $f$ une fonction continue sur $\left[a,b\right]$ et dérivable sur $\left]a,b\right[$. Alors,
   • il existe au moins un réel $c\in \left]a,b\right[$ tel que $f'(c)={\frac {f(b)-f(a)}{b-a}}$.
2. Théorème des accroissements finis généralisé : soient $f$ et $g$ deux fonctions continues sur $\left[a,b\right]$ et dérivables sur $\left]a,b\right[$. Alors :
   • il existe au moins un réel $c\in \left]a,b\right[$ tel que $\left(g(b)-g(a)\right)f'(c)=\left(f(b)-f(a)\right)g'(c)$ ;
   • dans le cas où $g'$ ne s'annule pas sur $\left]a,b\right[$, l'égalité peut s'écrire : ${\frac {f'(c)}{g'(c)}}={\frac {f(b)-f(a)}{g(b)-g(a)}}$ (« théorème de la moyenne de Cauchy »).

Fin du théorème

Graphiquement, le théorème des accroissements finis s'interprète en disant qu’il existe, sur la courbe de $f$, au moins un point $(c,f(c))$, strictement compris entre les extrémités $(a,f(a))$ et $(b,f(b))$, et en lequel la tangente est parallèle à la corde reliant ces extrémités.

Démonstration

1. Le point 1 s'obtient en appliquant le théorème de Rolle à la fonction auxiliaire $t\mapsto f(t)-{\frac {f(b)-f(a)}{b-a}}\ t$, ou comme cas particulier $g(t)=t$ du point 2.
2. On généralise l'idée précédente en appliquant le théorème de Rolle à la fonction $\varphi :\left[a,b\right]\to \mathbb {R} ,\ t\mapsto \left(g(b)-g(a)\right)f(t)-\left(f(b)-f(a\right))g(t)$. Cette fonction est bien continue sur $\left[a,b\right]$ et dérivable sur $\left]a,b\right[$, et $\varphi (a)=\varphi (b)$.
   • Il existe donc un réel $c\in \left]a,b\right[$ tel que $\varphi '(c)=0$, ce qui donne l'égalité annoncée.
   • Si de plus $g'$ ne s'annule pas sur $\left]a,b\right[$ alors $g(b)\neq g(a)$ (par contraposée du théorème de Rolle) et l'on peut diviser les deux membres de l'égalité précédente par $\left(g(b)-g(a)\right)g'(c)$.

 

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.

Inégalité des accroissements finis

Soient $f$ une fonction continue sur $\left[a,b\right]$ et dérivable sur $\left]a,b\right[$, et $M$ un réel tel que $\forall t\in \left]a,b\right[\quad |f'(t)|\leq M$. Alors :

$|f(b)-f(a)|\leq M|b-a|$.

Démonstration

Il suffit d'appliquer le théorème des accroissements finis et de majorer $|f'(c)|$ par $M$.

Signalons que pour les fonctions à valeurs vectorielles, on ne dispose pas d'un théorème des accroissements finis, mais on parvient à démontrer, d'une autre manière, cette inégalité fort utile : voir la leçon « Calcul différentiel ».

 

On verra une application de cette inégalité, à propos des fonctions lipschitziennes, au chapitre « Continuité uniforme ».

Voici enfin un théorème bien pratique pour calculer un nombre dérivé :

Début d’un théorème

Théorème « limite de la dérivée »

Soit $f$ une fonction continue sur un intervalle $I$ ($a\in I$) et dérivable sur $I\setminus \{a\}$.

Si $\lim _{x\to a}f'(x)=l\in \mathbb {R}$, alors $f$ est dérivable en $a$ et $f'(a)=l$.

Fin du théorème

Démonstration

Il suffit d'appliquer le théorème des accroissements finis à la fonction $f$ sur les deux intervalles $J_{1}$ et $J_{2}$ tels que $J_{1}\cup J_{2}\cup \{a\}=I$ : $\forall x\in J_{1}\quad \exists c_{x}\in J_{1}\quad f'(c_{x})={\frac {f(x)-f(a)}{x-a}}$ (et de même sur $J_{2}$).

Alors $\lim _{x\to a}f'(c_{x})=\lim _{x\to a}{\frac {f(x)-f(a)}{x-a}}=l$ donc, par définition, $f'(a)=l$.

 

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 $a\in {\overline {\mathbb {R} }}$ (c'est-à-dire réel ou infini), mais pas en ce point :

Début d’un théorème

Règles de L'Hôpital

Soient $f$ et $g$ deux fonctions dérivables sur $\left]a,b\right[$ et telles que $g'$ ne s'annule pas.

1. Si $\lim _{a}f=\lim _{a}g=0$ et $\lim _{a^{+}}{\frac {f'}{g'}}=\ell \in {\overline {\mathbb {R} }}$ alors $\lim _{a^{+}}{\frac {f}{g}}=\ell$.
2. Si $\lim _{a}|g|=+\infty$ et si $\lim _{a^{+}}{\frac {f'}{g'}}=\ell \in {\overline {\mathbb {R} }}$ alors $\lim _{a^{+}}{\frac {f}{g}}=\ell$.

Fin du théorème

Démonstration

1. Pour tout réel $x$ de $\left]a,b\right[$, on applique le « théorème de la moyenne de Cauchy » (cf. théorème des accroissements finis ci-dessus) à $f$ et $g$ entre $a$ et $x$. On obtient ainsi un réel $c_{x}$ de $\left]a,x\right[$ tel que
   ${\frac {f(x)}{g(x)}}={\frac {f'(c_{x})}{g'(c_{x})}}$.
   Puisque
   $\lim _{x\to a^{+}}c_{x}=a,~c_{x}>a{\text{ et }}\lim _{c\to a^{+}}{\frac {f'(c)}{g'(c)}}=\ell$,
   on obtient
   $\lim _{x\to a^{+}}{\frac {f(x)}{g(x)}}=\ell$.
2. On utilise le même théorème de la moyenne de Cauchy, avec plus de précaution.
   Dans tout intervalle $\left]x,y\right[$ avec $a<x<y<b$, il existe un réel $c$ tel que ${\frac {f(x)-f(y)}{g(x)-g(y)}}={\frac {f'(c)}{g'(c)}}$, autrement dit $f(x)=(g(x)-g(y)){\frac {f'(c)}{g'(c)}}+f(y)$.
   Lorsque $g(x)$ est non nul, l'expression précédente peut s'écrire :
   ${\frac {f(x)}{g(x)}}=\left(1-{\frac {g(y)}{g(x)}}\right){\frac {f'(c)}{g'(c)}}+{\frac {f(y)}{g(x)}}$.
   Comme $\lim _{t\to a^{+}}{\frac {f'(t)}{g'(t)}}=\ell$, on peut choisir $y$ dans $\left]a,b\right[$ tel que, si $c$ appartient à $\left]a,y\right[$, ${\frac {f'(c)}{g'(c)}}$ soit aussi proche que l'on veut de $\ell$.
   Puis, pour un tel $y$, comme $|g(x)|$ tend vers l'infini, on peut trouver un intervalle non vide $\left]a,r\right[$, inclus dans $\left]a,y\right[$, tel que pour tout $x$ de $\left]a,r\right[$, $g(x)$ soit non nul et ${\frac {g(y)}{g(x)}}$ et ${\frac {f(y)}{g(x)}}$ soient aussi proches de $0$ que l'on veut.

 

Remarques

• Ces règles peuvent être itérées $n$ fois (pour un entier $n>0$) : on dit alors qu'on applique la règle de L'Hôpital « à l’ordre $n$ ».
• La première de ces deux règles sera utilisée pour démontrer le 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 :

Propriété

Soient $I$ un intervalle réel et $f:I\to \mathbb {R}$ une fonction dérivable.

• $f$ est croissante si et seulement si $f'\geq 0$.
• $f$ est décroissante si et seulement si $f'\leq 0$.
• $f$ est constante si et seulement si $f'=0$.
• Si $f'>0$ (resp. $<0$) alors $f$ est strictement croissante (resp. strictement décroissante).

Démonstration

• Supposons $f$ croissante. Alors, tous les taux de variation de $f$ sont positifs :
  $\forall x\in I\quad \forall y\in I\setminus \{x\}\quad {\frac {f(y)-f(x)}{y-x}}\geq 0$.
  Par passage à la limite dans les inégalités, tous les nombres dérivés de $f$ le sont donc aussi :
  $\forall x\in I\quad f'(x)=\lim _{y\to x}{\frac {f(y)-f(x)}{y-x}}\geq 0$.
• Réciproquement, supposons que $\forall x\in I\quad f'(x)\geq 0$. Soient $x,y\in I$ tels que $x<y$.
  Le théorème des accroissements finis (voir supra) assure qu’il existe $c\in \left]x,y\right[$ tel que ${\frac {f(x)-f(y)}{x-y}}=f'(c)$.
  Comme $f'(c)\geq 0$ (par hypothèse) et $y-x>0$, on en déduit que $f(y)-f(x)\geq 0$.
  On a donc bien : $\forall x,y\in I\quad x<y\Rightarrow f(x)\leq f(y)$, c'est-à-dire que $f$ est croissante.
• La caractérisation de la décroissance de $f$ se démontre de même, ou se déduit de celle de la croissance de $-f$.
• $f$ est constante si et seulement si elle est à la fois croissante et décroissante.
• La condition suffisante de monotonie stricte se démontre de la même façon que celle de monotonie.

 

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 $I$ un intervalle de $\mathbb {R}$.

Dérivées d'ordre supérieur

Définition

Soit $f$ une fonction dérivable sur $I$. Les dérivées successives de $f$ , si elles existent, sont définies par récurrence de la façon suivante :

• $f^{(0)}=f$ ;
• $f^{(n+1)}=(f^{(n)})'\,\forall n\in \mathbb {N}$.

(exemple à faire)

Attention à ne pas confondre la dérivée n-ième $f^{(n)}$ avec la puissance n-ième $f^{n}$.

Propriété

Soient $f$ et $g$ deux fonctions dérivables $n$ fois ($n\in \mathbb {N}$).

On a :

• $(f+g)^{(n)}=f^{(n)}+g^{(n)}$ ;
• $\forall \lambda \in \mathbb {R} \quad (\lambda f)^{(n)}=\lambda f^{(n)}$.

Cette propriété se démontre par récurrence sur $n$ en utilisant la linéarité de la dérivation.

Pour le produit, on voit apparaître des coefficients binomiaux :

Début d’un théorème

Formule de Leibniz

Si $f$ et $g$ sont $n$ fois dérivables en un point $x\in \mathbb {R}$ ($n\in \mathbb {N}$), alors leur produit l'est aussi et

$(fg)^{(n)}(x)=\sum _{k=0}^{n}{\binom {n}{k}}f^{(k)}(x)g^{(n-k)}(x)$.

Fin du théorème

Cette formule a la même forme et se démontre de la même façon que la formule du binôme.

Démonstration

Pour n = 0 on a bien :

$(fg)^{(0)}(x)=f(x)g(x)={0 \choose 0}f^{(0)}(x)g^{(0)}(x)$.

Pour n entier supérieur ou égal à 1, nous démontrerons la formule de Leibniz par récurrence. (On a traité à part le cas n = 0 car, sinon, au cours de la démonstration ci-dessous, il apparaîtrait des sommes de la forme $\sum _{i=1}^{0}\dots$, qui n'auraient pas de sens.)

Pour $n=1$, la formule est vraie d'après la règle du produit :

$(fg)'(x)=f'(x)g(x)+f(x)g'(x)=\sum _{k=0}^{1}{\binom {1}{k}}\ f^{(1-k)}(x)g^{(k)}(x)$.

Nous devons maintenant montrer que pour tout entier $k$ supérieur ou égal à 1, si la formule est vraie pour $n=k$, alors elle est aussi vraie pour $n=k+1$.

Au voisinage de $x$, on a par hypothèse :

$(fg)^{(k)}=\sum _{i=0}^{k}{\binom {k}{i}}f^{(k-i)}g^{(i)}.$

Si l'on dérive au point $x$ cette expression, on obtient par la règle du produit :

$(fg)^{(k+1)}(x)=\sum _{i=0}^{k}{\binom {k}{i}}f^{(k+1-i)}(x)g^{(i)}(x)+\sum _{i=0}^{k}{\binom {k}{i}}f^{(k-i)}(x)g^{(i+1)}(x).$

Par changement d'indice $j=i+1$, cette expression se réécrit :

${\begin{aligned}(fg)^{(k+1)}(x)&=\sum _{i=0}^{k}{\binom {k}{i}}f^{(k+1-i)}(x)g^{(i)}(x)+\sum _{j=1}^{k+1}{\binom {k}{j-1}}f^{(k+1-j)}(x)g^{(j)}(x)\\&={\binom {k}{0}}f^{(k+1)}(x)g^{(0)}(x)+\left[\sum _{i=1}^{k}{\binom {k}{i}}f^{(k+1-i)}(x)g^{(i)}(x)\right]+\left[\sum _{j=1}^{k}{\binom {k}{j-1}}f^{(k+1-j)}(x)g^{(j)}(x)\right]+{\binom {k}{k}}f^{(0)}(x)g^{(k+1)}(x)\\&=f^{(k+1)}(x)g^{(0)}(x)+\left[\sum _{i=1}^{k}\left({\binom {k}{i}}+{\binom {k}{i-1}}\right)f^{(k+1-i)}(x)g^{(i)}(x)\right]+f^{(0)}(x)g^{(k+1)}(x).\end{aligned}}$

On conclut en utilisant la formule de Pascal :

${\begin{aligned}(fg)^{(k+1)}(x)&=f^{(k+1)}(x)g^{(0)}(x)+\left[\sum _{i=1}^{k}{\binom {k+1}{i}}f^{(k+1-i)}(x)g^{(i)}(x)\right]+f^{(0)}(x)g^{(k+1)}(x)\\&=\sum _{i=0}^{k+1}{\binom {k+1}{i}}f^{(k+1-i)}(x)g^{(i)}(x).\end{aligned}}$

La règle est donc aussi vraie pour $n=k+1$. Par récurrence, la règle est donc vraie pour tout entier $n$ supérieur ou égal à 1.

Note : on peut aussi démontrer la formule de Leibniz en utilisant un développement de Taylor-Young.

 

Début de l'exemple

Exemple

Avec n = 2 on a :

$\displaystyle (fg)''=f''g+2f'g'+fg''$,

soit, pour trouver la dérivée seconde de $x\mapsto (x^{2}+1)\sin(x)$ :

$\left[(x^{2}+1)\sin(x)\right]''=2\sin(x)+4x\cos(x)-(x^{2}+1)\sin(x)$.

Fin de l'exemple

Enfin, on a la propriété suivante qui se généralisera en calcul différentiel :

Propriété

Soit $f$ une fonction 2 fois dérivable sur $I$ et $a\in I$ tel que $f'(a)=0$.

• Si $\forall x\in I,f''(x)>0$, alors $f(a)$ est un minimum local de $f$ sur $I$.
• Si $\forall x\in I,f''(x)<0$, alors $f(a)$ est un maximum local de $f$ sur $I$.

Démonstration

On ne démontre que la première assertion :

$f''(x)>0\forall x\in I\Rightarrow f'\mathrm {croissante\,\,sur\,\,} I$, et donc comme $f'(a)=0$

$f'(x)<0\forall x\in I,x<a$ et $f'(x)>0\forall x\in I,x>a$. On en déduit que $f$ est décroissante « à gauche de $a$ » et croissante « à droite de $a$ », ce qui montre que $f(a)$ est un minimum local.

 

Classes de régularité

Définition

Soit $n\in \mathbb {N}$. On dit qu'une fonction $f$ est de classe ${\mathcal {C}}^{n}$ sur $I$, et l'on note $f\in C^{n}(I)$, si :

• $f$ est $n$ fois dérivable sur $I$ ;
• sa dérivée $n$-ième (c'est-à-dire la fonction $f^{(n)}$) est continue sur $I$.

Donc $f\in C^{0}(I)$ signifie simplement que $f$ est continue sur $I$.

On peut aussi parler de la classe $C^{\infty }(\mathbb {R} )$, avec les polynômes, l'exponentielle, le sinus, le cosinus et la gaussienne $x\mapsto \mathrm {e} ^{-ax^{2}}$ ($a\in \mathbb {R} _{+}^{*}$) :

Définition

Une fonction $f$ est dite de classe ${\mathcal {C}}^{\infty }$ sur $I$ si elle est $n$ fois dérivable sur $I$ pour tout $n\in \mathbb {N}$.