# 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

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

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

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

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$^n$.

## Classe C$^n$

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

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

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

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 :
    ${d^{n} \over dx^{n}}f(g(x))=\sum {\frac {n!}{m_{1}!\,1!^{m_{1}}\,m_{2}!\,2!^{m_{2}}\,\cdots \,m_{n}!\,n!^{m_{n}}}}f^{(m_{1}+\cdots +m_{n})}(g(x))\prod _{j=1}^{n}\left(g^{(j)}(x)\right)^{m_{j}},$
où la somme parcourt tous les n-uples (m$_1$, ..., m$_n$) vérifiant la contrainte :$1m_{1}+2m_{2}+3m_{3}+\cdots +nm_{n}=n.\,$