Soit \(I\subset \mathbb{R}\) un intervalle ouvert.
Un premier niveau de régularité que l'on a rencontré, pour une fonction \(f:I\to
\mathbb{R}\), est celui de continuité.
Ensuite, on a vu que la dérivabilité est un
niveau de régularité plus fort (dans le sens où toute fonction dérivable est
continue).
Il est naturel d'introduire un niveau de régularité encore supérieur,
plus fort que la dérivabilité, en exigeant
que la dérivée soit elle-même continue:
Exemple: Sur \(I=\mathbb{R}\), considérons \(f(x)=x^2\sin(x)\). Puisque \(f\) est un produit d'un polynôme (dérivable) par un sinus (dérivable aussi), elle est dérivable. De plus, \[ f'(x)=2x\sin(x)+x^2\cos(x)\,. \] Comme \(f'\) est une combinaison linéaire de produits de polynômes par des sinus et cosinus, elle est elle-même continue. On en déduit que \(f\) est continûment dérivable sur \(\mathbb{R}\): \(f\in C^1(\mathbb{R})\).
Exemple: Sur \(]0,1[\), considérons \(f(x)=\frac{1}{x}\). Alors \(f\) est dérivable sur \(]0,1[\) et sa dérivée est donnée par \[ f'(x)=-\frac{1}{x^2}\,. \] Comme \(f'\) est aussi continue sur \(]0,1[\), ceci implique que \(f\) est continûment dérivable sur \(]0,1[\): \(f\in C^1(]0,1[)\).
Les polynômes, les fonctions trigonométriques, etc. sont des fonctions continûment dérivables sur leur ensemble de définition.
Bien-sûr, une fonction qui n'est pas dérivable en un point n'est pas continûment dérivable. Mais il est aussi possible qu'une fonction soit dérivable partout, sans être continûment dérivable:
Exemple:
Soit
\[
f(x)=
\begin{cases}
\dfrac{x}{2}+\dfrac{x^2}{5}\sin\left(\dfrac{1}{x}\right)&\text{ si }x\neq 0\\
0&\text{ si }x=0\,.
\end{cases}
\]
On remarque que \(f\) est continue en tout point,
en particulier en \(0\) puisque
\[\lim_{x\to 0}f(x)=0=f(0)\,.\]
Ensuite, \(f\) est dérivable en tout point
\(x\neq 0\). Sur \(\mathbb{R}^*\),
sa dérivée se calcule à l'aide des règles de dérivation:
\[\begin{aligned}
f'(x)
&=\Bigl(
\frac{x}{2}+\frac{x^2}{5}\sin\left(\frac{1}{x}\right)
\Bigr)'\\
&=\frac12+\frac{2x}{5}\sin\left(\frac{1}{x}\right)
-\frac{1}{5}\cos\left(\frac{1}{x}\right)\,.
\end{aligned}\]
Ensuite, \(f\) est aussi dérivable en \(0\), puisque
\[\begin{aligned}f'(0)
&=\lim_{x\to 0}\frac{f(x)-f(0)}{x-0}\\
&=\lim_{x\to 0}\frac{\dfrac{x}{2}+\dfrac{x^2}{5}\sin(\dfrac{1}{x})-0}{x}\\
&=\lim_{x\to 0}\left(\frac{1}{2}+\frac{x}{5}\sin\left(\frac{1}{x}\right)\right)
=\frac12\,.
\end{aligned}\]
Donc \(f\) est dérivable sur tout \(\mathbb{R}\).
Testons maintenant la continuité de \(f'\). Clairement, \(f'\) est
continue sur \(\mathbb{R}^*\), puisque par l'expression ci-dessus ce
n'est qu'une combinaison de fonctions continues:
\[
f'(x)=
\frac12+\frac{2x}{5}\sin\left(\frac{1}{x}\right)
-\frac{1}{5}\cos\left(\frac{1}{x}\right)\,.
\]
Pourtant, on remarque que lorsque
\(x\to 0\), \(f'(x)\) n'a pas de limite, ce qui est dû à la présence
de
\(\tfrac{1}{5}\cos(\tfrac{1}{x})\).
Ce terme n'ayant pas de limite en \(0\), \(f'\) n'est pas continue en \(0\).
Ceci fait de \(f\) une fonction qui est dérivable sur \(\mathbb{R}\), mais pas
continûment dérivable.
Remarquons que si \(f\) est \(k+1\) fois dérivable sur \(I\), alors elle est de classe \(C^k\). On a donc les inclusions suivantes: \[ C^1(I)\supset C^2(I)\supset \cdots \supset C^k(I)\supset C^{k+1}(I)\supset\cdots \]
Exemple: Considérons \(f:\mathbb{R}\to\mathbb{R}\) définie par \(f(x)=e^x\). Alors \[ f^{(1)}(x)= f^{(2)}(x)= f^{(3)}(x)= \cdots =f^{(k)}(x)=\cdots =e^x\,, \] donc \(f\in C^k(\mathbb{R})\) pour tout \(k\geqslant 1\).
Exemple: Considérons \(f:\mathbb{R}\to\mathbb{R}\) définie par \[ f(x) = \begin{cases} +x^2&\text{ si }x\geqslant 0\,,\\ -x^2&\text{ si }x\lt 0\,. \end{cases} \] Montrons que \(f\in C^1(\mathbb{R})\). D'abord, \(f\) est clairement dérivable en tout point \(x_0\). En effet, si \(x\gt 0\) alors \(f'(x)=(x^2)'=2x\), et si \(x\lt 0\) alors \(f'(x)=(-x^2)'=-2x\). Il faut maintenant considérer \(x_0=0\). Par un calcul direct, \[\begin{aligned} f_-'(0)& =\lim_{h\to 0^+}\frac{f(h)-f(0)}{h}=\lim_{h\to 0^+}\frac{+h^2}{h}=0\,,\\ f_+'(0)& =\lim_{h\to 0^-}\frac{f(h)-f(0)}{h}=\lim_{h\to 0^+}\frac{-h^2}{h}=0\,. \end{aligned}\] Donc \(f'(0)=0\). Ainsi, \(f\) est dérivable partout, et on peut écrire sa dérivée \[ f'(x)= \begin{cases} +2x&\text{ si }x\gt 0\,,\\ 0&\text{ si }x= 0\,,\\ -2x&\text{ si }x\lt 0\,. \end{cases} \] Plus simplement: \[ f'(x)=2|x|\,\qquad \forall x\in \mathbb{R}\,. \] Puisque \(x\mapsto |x|\) est continue sur \(\mathbb{R}\), on en déduit que \(f'\) est continue sur \(\mathbb{R}\), ce qui implique que \(f\in C^1(\mathbb{R})\). Mais comme \(f'\) n'est pas dérivable en \(0\), on a aussi que \(f\notin C^2(\mathbb{R})\).