Section 9 Différentielle, dérivées directionnelles, dérivées partielles

Une fonction \(\R^2\rightarrow\R\) admettant des dérivées partielles, mais pas différentiable en \((0,0)\text{.}\) Voir ici 1 .
Pour une fonction à plusieurs variables, ou plus généralement définie sur un e.v.n. \(E\neq \R\text{,}\) on ne peut pas calculer de taux d'accroissement:
n'existe pas si \(h\in E\neq \R\) : on ne peut pas diviser par un vecteur !
On ne peut donc pas définir la dérivée d'une fonction à plusieurs variables.
A la place, on introduit plusieurs généralisations:
Définition 9.2. Différentiabilité en un point.
Soit \(E, F\) deux e.v.n, \(U \subset E\) un ouvert.
Une application \(f: U \rightarrow F\) est différentiable en \(a \in U\) s'il existe une application linéaire continue \(L \in \mathcal{L}(E,F)\) telle que, pour tout \(h\in E\) tel que \(a+h \in U\text{,}\)
avec
on note alors \(L=Df(a) \in \mathcal L(E,F)\text{.}\)
Remarque 9.3. Lien avec la dérivée.
Si \(f:I \subset \R \rightarrow F\) est une fonction d'une variable réelle, alors elle est dérivable ssi
2 a une limite \(f'(a) \in F\) quand \(h\rightarrow 0\text{.}\)
Alors \(f\) est dérivable ssi \(f\) est différentiable, et
Définition 9.4. Dérivée directionnelle.
Soit \(f: U \rightarrow F\text{,}\) \(a \in U\text{,}\) \(v\in E\text{.}\)
Alors \(f\) admet une dérivée dirctionnelle en \(a\) dans la direction de \(v\) si
a une limite dans \(F\) quand \(t\rightarrow 0\text{.}\)
Dans ce cas, on note la limite \(\vec{D}f(a,v)\text{.}\)

La dérivée directionnelle au point rouge dans la direction du vecteur vert fluo est égale à la pente du petit vecteur vert foncé en dessous. Voir ici 3 pour bouger le point rouge!
Définition 9.6. Dérivées partielles.
Lorsque \(E=\R^n\text{,}\) on peut noter \((e_1,\dots,e_n)\) la base canonique.
On appelle i-ème dérivée partielle la dérivée directionnelle dans la direction de \(e_i\) 4 . Autrement dit,
C'est donc la dérivée de \(x\mapsto f(a_1,\dots,a_{i-1},x,\dots,a_n)\) en \(a_i\text{,}\) c'est-à-dire la dérivée de \(f\) ``par rapport à \(x_i\)''.

Source: https://mathinsight.org/partial_derivative_limit_definition 5
Définition 9.8. Matrice jacobienne.
Dans le cas \(E=\R^n\text{,}\) \(F=\R^p\text{,}\) notons \((e_1,\dots,e_n)\) la base canonique de \(E\text{.}\) On considère \(f:U\subset \R^n \rightarrow\R^p\text{,}\) notée:
Si \(f\) est différentiable en \(a\text{,}\) alors \(Df(a) \in \mathcal{L}(\R^n, \R^p)\) admet une matrice dans la base canonique dont la \(i\)-ème colonne est donnée par
On l'appelle matrice jacobienne de \(f\) en \(a\text{:}\)
Méthode
Différentiabilité Pour montrer que \(f\) est différentiable en \(a\text{,}\) on peut :
-
Calcul des dérivées directionnelles: Pour calculer la dérivée d'une application \(f\) en \(a\in U\) dans la direction d'un vecteur \(v\in E\text{,}\) on calcule le taux d'accroissement:
\begin{equation*} \frac1t(f(a+tv)-f(a)) \end{equation*}et on montre qu'il a une limite quand \(t\rightarrow 0\text{.}\) Cette limite donne \(\vec{D}f(a,v)\text{.}\)
-
Calcul des dérivées partielles: Si \(E=\R^n \text{,}\) on calcule généralement les dérivées partielles de \(f\) en appliquant les règles usuelles de dérivation à une des variables, en fixant les autres.
Autrement dit, on considère les applications partielles \(\phi_i: x\in \R \mapsto f(a_1,\dots,a_{i-1}, x,a_{i+1},\dots, a_n)\text{,}\) qui sont de braves fonctions d'une variable, et on a
\begin{equation*} \frac{\partial f}{\partial x_i}(a) = \phi_i'(a_i) \text{ pour } i = 1,...,n \end{equation*} -
Non-différentiabilité Soit \(f: U\subset E \rightarrow F\text{.}\) Pour montrer que \(f\) n'est pas différentiable en \(a\in U\text{,}\) on peut, par ordre croissant de résistance de la part de \(f\) :
Montrer que \(f\) n'est pas continue en \(a\text{.}\)
Montrer qu'il existe une direction \(v\) dans laquelle \(f\) n'admet pas de dérivée directionnelle.
-
Si \(E=\R^n: \) Calculer les dérivées partielles de \(f\) en \(a\text{;}\) alors, si \(f\) était différentiable, on aurait
\begin{equation*} Df(a)(h) = \sum_i \frac{\partial f}{\partial x_i}(a) h_i \end{equation*}On cherche alors une contradiction:
Soit en montrant que, avec cette formule pour \(Df(a)\text{,}\) le reste \(\frac1{\|h\|}(f(a+h)-f(a) - Df(a)(h))\) ne tend pas vers 0 quand \(h\) tend vers 0
Soit en montrant qu'il existe un vecteur \(v\in E\) tel que \(\vec{D}f(a,v)\) n'existe pas, ou est différent de \(\sum_i \frac{\partial f}{\partial x_i}(a) v_i\)
⚠Il ne suffit pas de montrer que \(f\) n'est pas \(\mathcal C^1\text{,}\) c'est-à-dire que les dérivées partielles ne sont pas continues !
Exercice 9.1.
Soient \((E,\|.\|_E)\) et \((F,\|.\|_F)\) deux e.v.n., et \(f:U\subset E\rightarrow F\) une fonction différentiable définie sur un ouvert \(U\subset E\text{.}\)
Soient \(a\in U, v\in E\text{.}\)
(a)
A quel ensemble appartient la dérivée directionnelle de \(f\) en \(a\) dans la direction de \(v\) ?
(b)
Exprimer la dérivée directionnelle de \(f\) en \(a\) dans la direction de \(v\) en fonction de la différentielle de \(f\text{.}\)
Exercice 9.2.
Soit \((F,\|.\|_F)\) deux e.v.n., et \(f:U\subset \R^n\rightarrow F\) une fonction différentiable définie sur un ouvert \(U\subset \R^n\text{.}\)
Soit \(a\in U\text{.}\)
(a)
A quel ensemble appartient \(\dfrac{\partial f}{\partial x_i}(a)\) ?
(b)
Exprimer la différentielle de \(f\) en \(a\) en fonction des dérivées partielles de \(f\text{.}\)
Exercice 9.3.
On considère la fonction définie sur \((\R^3,\|.\|_1)\) par
(a)
Montrer que \(f\) est différentiable en \(a_0 = (-1,1,1)\) et calculer sa différentielle en \(a_0\text{.}\)
(b)
Calculer les dérivées partielles de \(f\) en \(a_0=(-1,1,1)\) et retrouver l'expression de \(Df((-1,1,1))\text{.}\)
(c)
Soit \(a_0 = (x_0,y_0,z_0)\in\R^3\text{.}\) Montrer que \(f\) admet une dérivée directionnelle en \(a_0\) dans la direction de \(v=(0,1,2)\text{.}\)
Exercice 9.4.
On considère la fonction définie sur \((\R^3,\|.\|_\infty)\) par
(a)
Montrer que \(f\) est différentiable en \(a_0 = (1,1,1)\) et calculer sa différentielle en \(a_0\text{.}\)
(b)
Calculer les dérivées partielles de \(f\) en \(a_0=(1,1,1)\) et retrouver l'expression de \(Df((1,1,1))\text{.}\)
(c)
Soit \(a_0 = (x_0,y_0,z_0)\in\R^3\text{.}\) Montrer que \(f\) admet une dérivée directionnelle en \(a_0\) dans la direction de \(v=(1,0,2)\) et la calculer..
Exercice 9.5.
On considère la fonction définie sur \((\R^3,\|.\|_\infty)\) par
(a)
Montrer que \(f\) est différentiable en \(a_0 = (1,1,1)\) et calculer sa différentielle en \(a_0\text{.}\)
(b)
Calculer les dérivées partielles de \(f\) en \(a_0=(1,1,1)\) et retrouver l'expression de \(Df((1,1,1))\text{.}\)
(c)
Soit \(a_0 = (x_0,y_0,z_0)\in\R^3\text{.}\) Montrer que \(f\) admet une dérivée directionnelle en \(a_0\) dans la direction de \(v=(-1,0,1)\) et la calculer..
Exercice 9.6.
On considère l'application définie sur \(\R^2\) par
(a)
Montrer que, pour tout \(v\in \R^2\text{,}\) \(f\) admet une dérivée directionnelle en \((0,0)\) dans la direction de \(v\text{.}\)
(b)
En déduire les dérivées partielles de \(f\) en \((0,0)\text{.}\)
(c)
Montrer que \(f\) n'est pas continue en \((0,0)\text{.}\)
(d)
\(f\) est-elle différentiable en \((0,0)\) ?
Exercice 9.7.
Soit \(\alpha>0\text{.}\) On considère l'application définie sur \(\R^2\) par
(a)
Montrer que \(f\) admet des dérivées partielles en \((0,0)\text{.}\)
(b)
Montrer que si \(\alpha>\frac12\text{,}\) \(f\) est continue en \((0,0)\text{.}\)
(c)
Montrer que si \(\alpha\geq 1\text{,}\) \(f\) admet une dérivée directionnelle en \((0,0)\) dans la direction de \((1,1)\text{.}\)
(d)
\(f\) est-elle différentiable en \((0,0)\) si \(\alpha\leq 1\text{?}\)
Exercice 9.8.
On considère la fonction définie sur \(\R^2\) par
(a)
Montrer que \(f\) admet des dérivées partielles en \((0,0)\) et les calculer.
En déduire l'expression de \(Df(0,0)(h)\) pour \(h\in\R^2\text{,}\) si \(Df(0,0)\) existe.
(b)
\(f\) admet-elle une dérivée directionnelle en \((0,0)\) dans la direction de \((1,1)\) ?
(c)
Montrer que \(Df(0,0)\) n'existe pas.
Exercice 9.9.
On considère la fonction définie sur \(\R^2\) par
(a)
Montrer que \(f\) admet des dérivées partielles en \((0,0)\) et les calculer.
En déduire l'expression de \(Df(0,0)(h)\) pour \(h\in\R^2\text{,}\) si \(Df(0,0)\) existe.
(b)
\(f\) admet-elle une dérivée directionnelle en \((0,0)\) dans la direction de \((1,1)\) ?
(c)
Montrer que \(Df(0,0)\) n'existe pas.
Exercice 9.10.
On munit \(E=\R_2[X]\) de la norme
et on s'intéresse à l'application
(a)
Pour \(P(X)=a_0+a_1X+a_2 X^2\in E\text{,}\) exprimer \(f(P)\) en fonction des coefficients de \(P\text{.}\)
(b)
Montrer que \(f\) admet une dérivée directionnelle en \(P(X)=X+1\) dans la direction de \(H(X)=X^2\) et la calculer.
(c)
Soit \(P_0\in E\text{.}\) Montrer que \(f\) est différentiable en \(P_0\) et donner, pour tout \(H\in E\text{,}\) \(Df(P_0)(H)\text{.}\)
Exercice 9.11.
On munit \(E=\R_2[X]\) de la norme
et on s'intéresse à l'application linéaire
(a)
Justifier rapidement que \(f\) est continue, puis le montrer par le calcul.
(b)
Calculer la norme d'application linéaire de \(f\text{.}\)
(c)
Soit \(P_0\in E\text{.}\) Montrer que \(f\) est différentiable en \(P_0\) et donner, pour tout \(Q\in E\text{,}\) \(Df(P_0)(Q)\text{.}\)
(d)
Montrer que \(f\) admet une dérivée directionnelle en \(P(X)=X+1\) dans la direction de \(H(X)=X^2\) et la calculer.
Exercice 9.12.
On munit \(E=\R_2[X]\) de la norme
et on s'intéresse à l'application linéaire
(a)
Justifier rapidement que \(f\) est continue, puis le montrer par le calcul.
(b)
Calculer la norme d'application linéaire de \(f\text{.}\)
(c)
Soit \(P_0\in E\text{.}\) Montrer que \(f\) est différentiable en \(P_0\) et donner, pour tout \(Q\in E\text{,}\) \(Df(P_0)(Q)\text{.}\)
(d)
Montrer que \(f\) admet une dérivée directionnelle en \(P(X)=X^2 + 3\) dans la direction de \(H(X)=2X\) et la calculer.
mathinsight.org/differentiability_multivariable_subtleties
mathinsight.org/applet/directional_derivative_mountain