Opérations sur les dérivées

La composée de deux fonctions dérivables est dérivable, là où elle est définie (précisément sur l'image réciproque par ${\displaystyle f}$ du domaine de définition de ${\displaystyle g}$) et se calcule suivant la règle :

${\displaystyle (g\circ f)'=(g'\circ f)\cdot f'}$.

Un exemple d'application est la règle de dérivation des puissances :

${\displaystyle \left(f^{\alpha }\right)'=\alpha f^{\alpha -1}f',}$

en utilisant le calcul élémentaire de la dérivée de la fonction ${\displaystyle x\mapsto x^{\alpha }}$ (cette règle est donc valide sans restriction si ${\displaystyle \alpha }$ est un entier positif, mais si ${\displaystyle \alpha }$ est un entier négatif on se place sur un intervalle où ${\displaystyle f}$ ne s'annule pas, et si ${\displaystyle \alpha }$ est un réel non entier, sur un intervalle où ${\displaystyle f}$ est à valeurs strictement positives).

Un autre exemple d'application est la règle de dérivation des exponentielles :

${\displaystyle \left(\exp(f)\right)'=\exp(f)\cdot f'}$.

Appliquée à ${\displaystyle f(x)=x\ln(a)\,}$ (où a est un réel fixé, strictement positif), cette règle donne : ${\displaystyle (a^{x})'=a^{x}\ln(a)\,}$.

Plus généralement, appliquée à ${\displaystyle f(x)=u(x)\ln(a)\,}$, (où a > 0, et u est une application dérivable) : ${\displaystyle (a^{u(x)})'=a^{u(x)}u'(x)\ln(a)\,}$.

La dérivation est un opérateur différentiel, c'est-à-dire que l'espace des fonctions dérivables est stable par multiplication, et la règle du produit est vérifiée :

${\displaystyle {\bigl (}fg{\bigr )}'=f'g+fg'}$.

Une démonstration est proposée dans Dérivée et opérations sur Wikiversité.

Cette relation permet par exemple de retrouver (par récurrence) la règle de dérivation des puissances (vue plus haut), dans le cas particulier ${\displaystyle \alpha =n}$ entier positif :

${\displaystyle {\bigl (}f^{n}{\bigr )}'=nf^{n-1}f'}$.

Un autre cas particulier de cette même règle (pour ${\displaystyle \alpha =-1}$, donc sur un intervalle où ${\displaystyle g}$ ne s'annule pas) est la règle de dérivation de l'inverse :

${\displaystyle \left({\dfrac {1}{g}}\right)'={\dfrac {-g'}{g^{2}}}}$.

Cette dernière, combinée à la règle de dérivation du produit, donne la dérivée d'un quotient :

${\displaystyle \left({\dfrac {f}{g}}\right)'={\dfrac {f'g-fg'}{g^{2}}}}$.

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

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

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

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

${\displaystyle \left(f^{-1}\right)'={\frac {1}{f'\circ f^{-1}}}}$.

Une démonstration est proposée dans Dérivée et opérations sur Wikiversité.

• Portail de l'analyse