Théorème de dérivation des fonctions composées

Un article de Wikipédia, l'encyclopédie libre.

En mathématiques, dans le domaine de l'analyse, le théorème de dérivation des fonctions composées (parfois appellé règle de dérivation en chaîne, selon l'appellation anglaise) est une formule explicitant la dérivée d'une fonction composée.

Sommaire

[modifier] Cas réel

[modifier] Enoncé et démonstration

Soient I et J deux intervalles de \mathbb{R}. Et soient f:I \longrightarrow \mathbb{R} et g:J \longrightarrow \mathbb{R} des fonctions telles que f(I) \subset J.

Si f est dérivable sur I et g est dérivable sur f(I) alors la composée g \circ f est dérivable sur I et : (g \circ f)'=(g' \circ f)\times f'.


Il est aussi possible de l'écrire avec la notation de Leibniz sous la forme:


\frac {\text{d}f}{\text{d}x} = \frac {\text{d}f} {\text{d}g} \frac {\text{d}g}{\text{d}x}

\frac {\text{d}f} {\text{d}g} indique que f dépend de g comme si g était une variable.

Pour une meilleure lecture on pose souvent u = g(x)\, et on obtient :

\frac {\text{d}}{\text{d}x} f \circ g(x) = \frac{\text{d}f(u)}{\text{d}u} \cdot \frac {\text{d}u}{\text{d}x}


[modifier] Exemple

Formons la dérivée sur \mathbb{R} de ecos(x). Notre théorème indique qu'il faut d'abord dériver la fonction "la plus à l'extérieur". La dérivée de ex est ex. Maintenant on dérive "l'intérieur" : cos(x) ce qui donne − sin(x). Notre dérivée est donc : − sin(x)ecos(x).

[modifier] Applications

C'est de cette règle que découle la règle du changement de variable pour le calcul d'intégrales.

[modifier] Cas général

On se place dans l'espace \mathbb{R}^n. Si les fonctions réelles \,f_1(x),f_2(x),... ,f_p(x) sont dérivables sur \Omega\subset\R^n et si la fonction \,F est continuement dérivable sur \omega\subset\R^p tel que [\,f_1(x),f_2(x),... ,f_p(x)]\subset\omega , \forall x\in\Omega,

alors la fonction g(x)= F[\,f_1(x),f_2(x),... ,f_p(x)] est dérivable et on a :

\frac{\partial g}{\partial x_k}(x)=\sum_{i=1}^{p}\frac{\partial F}{\partial X_i}[f_1 (x), f_2 (x), ... , f_p (x)]\frac{\partial f_i}{\partial x_k}(x)