Dérivation itérée

En mathématiques, le concept de dérivation itérée étend le concept de dérivée en le répétant plusieurs fois.

Définition[modifier | modifier le code]

Soit $f$ une fonction de $\mathbb {R}$ vers $\mathbb {R}$ définie sur un intervalle $I\subset \mathbb {R}$ (non vide et non réduit à un point). On s'intéresse dans cet article aux dérivées successives de cette fonction.

Dérivée première sur un intervalle[modifier | modifier le code]

Article détaillé : Dérivabilité.

Lorsque la dérivée $f'(x)$ existe pour tout $x\in I$ , on dit que $f$ est « dérivable sur $I$ ».

On définit dans ce cas la fonction $f'$ :

I\to \mathbb {R} ,\ x\mapsto f'(x)

.

Cette fonction $f'$ s'appelle la « fonction dérivée de $f$ sur $I$ » ou « fonction dérivée première de $f$ sur $I$ » et se note également $f^{(1)}$ .

Dérivée seconde sur un intervalle[modifier | modifier le code]

Article détaillé : Dérivée seconde.

Lorsque $f$ est dérivable sur $I$ et que la fonction $f'$ est elle-même dérivable sur $I$ , sa fonction dérivée sur $I$ , $(f')'$ , s'appelle la fonction « dérivée seconde de $f$ sur $I$ » et se note $f''$ ou $f^{(2)}$ . On dit alors que $f$ est « dérivable deux fois sur $I$ ».

Dérivée n-ième sur un intervalle[modifier | modifier le code]

On définit (sous réserve d'existence) les « dérivées successives de $f$ sur $I$ » par l'initialisation $f^{(0)}=f$ et la formule de récurrence

\forall n\in \mathbb {N} \quad f^{(n+1)}={\bigl (}\,f^{(n)}\,{\bigr )}'.

Pour tout entier naturel n, la fonction $f^{(n)}$ est appelée fonction « dérivée n-ième (ou d'ordre n) de $f$ sur $I$ ».

Lorsque $f^{(n)}$ existe, on dit que $f$ est « dérivable n fois sur $I$ ». Dans ce cas, toutes les dérivées successives de $f$ d'ordre strictement inférieur à n sont continues sur $I$ , puisqu'elles y sont dérivables ; mais $f^{(n)}$ n'est pas nécessairement continue sur $I$ : c'est ce qui motive la définition, donnée ci-dessous, des fonctions de classe Cⁿ.

Classe Cⁿ[modifier | modifier le code]

Article détaillé : Classe de régularité.

Soit $n$ un entier naturel non nul. On dit que la fonction $f$ est de classe $\mathrm {C} ^{n}$ (ou $n$ fois continûment dérivable) sur $I$ si elle est $n$ fois dérivable sur $I$ et si la fonction $f^{(n)}$ est continue sur $I$ .

Conformément à la convention indiquée supra, la fonction $f$ est dite de classe $\mathrm {C} ^{0}$ sur $I$ si elle est continue sur $I$ .

Si on note de manière abusive $\mathrm {C} ^{n}$ l'ensemble des fonctions de classe $\mathrm {C} ^{n}$ sur $I$ , on remarque que les $\mathrm {C} ^{n}$ sont des ensembles emboîtés.

La fonction $f$ est dite de classe $\mathrm {C} ^{\infty }$ (ou indéfiniment dérivable) sur $I$ si, pour tout $n\in \mathbb {N} ^{\star }$ , $f$ est de classe $\mathrm {C} ^{n}$ sur $I$ . En fait :

$\mathrm {C} ^{\infty }=\bigcap _{n>0}\mathrm {C} ^{n}.$

Dérivée d'ordre non entier[modifier | modifier le code]

Article détaillé : Analyse fractionnaire.

Toutes les définitions données ci-dessus se rapportent à une dérivation à un ordre $n$ entier. Il peut être intéressant d'étudier le cas des dérivations à des ordres non entiers. Ceci fait l'objet d'une discipline appelée l'analyse fractionnaire et trouve de nombreuses applications dans certains domaines de la physique faisant intervenir des phénomènes de diffusion comme l'acoustique, la thermodynamique ou l'électromagnétisme.

Formule de Leibniz[modifier | modifier le code]

Article détaillé : Formule de Leibniz.

Le produit de deux fonctions d'une variable réelle $f$ et $g$ définies et dérivables jusqu'à l'ordre $n$ sur un intervalle $I$ est dérivable jusqu'à l'ordre $n$ . La formule de Leibniz fournit sa dérivée d'ordre $n$ donnée par :

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

où les nombres entiers ${\tbinom {n}{k}}$ sont les coefficients binomiaux.

Formule de Faà di Bruno[modifier | modifier le code]

Article détaillé : Formule de Faà di Bruno.

La composée $f\circ g:x\mapsto f(g(x))$ de deux fonctions $f$ et $g$ respectivement définies et dérivables jusqu'à l'ordre $n$ sur un intervalle $I$ pour g et g(I) pour f est dérivable jusqu'à l'ordre $n$ sur I; la formule de Faà di Bruno fournit sa dérivée d'ordre $n$ donnée par :