Dérivées partielles

Section 2.3 Dérivées partielles

Sous-section Motivation

Nous sommes maintenant en mesure de définir les dérivées partielles des fonctions de plusieurs variables. Avant de le faire, rappelons-nous de comment la dérivée $f'(a)$ d’une fonction d’une variable a été définie. On imagine que l’on se déplace le long de l’axe des abscisses dans la direction positive et que l’on mesure, par exemple, la température que l’on note $f(x)\text{.}$ Le taux de variation instantané de température lorsque l’on passe par $x=a$ est

\begin{equation*} f'(a) = \diff{f}{x}(a) =\lim_{h\rightarrow 0}\frac{f(a+h) - f(a)}{h} =\lim_{x\rightarrow a}\frac{f(x) - f(a)}{x-a}\text{.} \end{equation*}

🔗

On suppose maintenant que l’on se déplace sur le plan $Oxy$ et que la température au point $(x,y)$ est $f(x,y)\text{.}$ On peut passer à travers le point $(x,y) = (a,b)$ en se déplaçant de plusieurs façons. Il semble irréaliste de penser que le taux de variation de la température perçue si l’on se déplace parallèlement à l’axe des $x$ doit être égal au taux mesuré pour un déplacement parallèle à l’axe des $y\text{.}$ Nous considérerons d’autres directions de déplacement plus tard.

🔗

Figure 2.3.1. Les courbes isothermes sur une région du plan. Si l’on se situe au point $(x,y)=(-1,-1)\text{,}$ la température ressentie est d’autour de $5.75\text{.}$ Si l’on se déplace dans la direction des $x$ croissants, la température a tendance à augmenter. Si, à partir de ce même point, on se déplace plutôt dans la direction des $y$ croissants, la variation est beaucoup plus faible, la température reste autour de $5.75\text{.}$
🔗

🔗

Sous-section Définition des dérivées partielles

Supposons que nous passons par le point $(x,y)=(a,b)$ et que nous nous déplaçons parallèlement à l’axe des $x$ (dans la direction positive). Notre ordonnée, $y\text{,}$ reste constante : elle prend toujours la valeur $y=b\text{.}$ Ainsi, on peut penser à la température comme à une fonction d’une seule variable $B(x) = f(x,b)$ et l’on mesure le taux de variation de cette température :

\begin{equation*} \diff{B}{x}(a) = \lim_{h\rightarrow 0}\frac{B(a+h) - B(a)}{h} = \lim_{h\rightarrow 0}\frac{f(a+h,b) - f(a,b)}{h}\text{.} \end{equation*}

On appelle ceci la “dérivée partielle de $f$ par rapport à $x$ au point $(a,b)$” et l’on écrit $\pdiff{f}{x}(a,b)\text{.}$ Ici,

le symbole $\partial\text{,}$ qu’on lit “partielle”, signifie que l’on s’intéresse à une fonction de plus d’une variable;

🔗
le $x$ dans ${\pdiff{f}{x}}$ indique qu’on dérive ou différentie par rapport à $x\text{,}$ pendant que $y$ est fixe, c’est-à-dire traitée comme une constante;

🔗
${\pdiff{f}{x}}$ se lit “partielle de $f$ par rapport à $x$”.

🔗

On prendra soin de ne pas écrire $\diff{}{x}$ lorsque $\pdiff{}{x}$ est requis. Nous verrons plus tard des situations dans lesquelles $\diff{}{x}f$ et $\pdiff{}{x}f$ sont définies, mais ont des significations différentes.

🔗

Si, d’autre part, on passe par le point $(x,y)=(a,b)\text{,}$ mais en se déplaçant parallèlement à l’axe des $y$ (dans la direction positive), alors notre abscisse, $x\text{,}$ sera constante, prenant toujours la valeur $x=a\text{.}$ Ainsi, on peut penser à la température comme à une fonction d’une seule variable $A(y) = f(a,y)$ et l’on observe le taux de variation de température :

\begin{equation*} \diff{A}{y}(b) = \lim_{h\rightarrow 0}\frac{A(b+h) - A(b)}{h} = \lim_{h\rightarrow 0}\frac{f(a,b+h) - f(a,b)}{h}\text{.} \end{equation*}

On appelle ceci la “dérivée partielle de $f$ par rapport à $y$ au point $(a,b)$” et l’on écrit $\pdiff{f}{y}(a,b)\text{.}$

🔗

Tout comme dans le cas des dérivées ordinaires $\diff{f}{x}(x)\text{,}$ il est usuel de traiter les dérivées partielles de $f(x,y)$ comme des fonctions de $(x,y)$ simplement en évaluant la dérivée partielle au point $(x,y)$ plutôt qu’en $(a,b)\text{.}$

🔗

Définition 2.3.2. Dérivées partielles.

Les dérivées partielles par rapport à $x$ et à $y$ d’une fonction $f(x,y)$ sont

\begin{align*} \pdiff{f}{x}(x,y) &= \lim_{h\rightarrow 0}\frac{f(x+h,y) - f(x,y)}{h},\\ \pdiff{f}{y}(x,y) &= \lim_{h\rightarrow 0}\frac{f(x,y+h) - f(x,y)}{h} \end{align*}

respectivement, lorsque les limites existent. Les dérivées partielles de fonctions de plus de deux variables sont définies de façon analogue.

🔗

Les dérivées partielles sont très utilisées, et il existe plusieurs notations qui peuvent être mieux ou moins bien adaptées à un contexte donné.

🔗

Définition 2.3.3.

La dérivée partielle $\pdiff{f}{x}(x,y)$ d’une fonction $f(x,y)$ est aussi notée

\begin{equation*} \pdiff{f}{x},\quad f_x(x,y),\quad f_x,\quad D_xf(x,y),\quad D_xf,\quad D_1 f(x,y),\quad D_1 f\text{.} \end{equation*}

L’indice $1$ dans $D_1 f$ signifie que $f$ est différentiée par rapport à sa première variable. La dérivée partielle $\pdiff{f}{x}(a,b)$ est aussi notée $\pdiff{f}{x}\big|_{(a,b)} \text{,}$ où la barre verticale et l’indice $(a,b)$ servent à indiquer que $\pdiff{f}{x}$ est évaluée au point $(x,y)=(a,b)\text{.}$

🔗

La notation ${\left(\pdiff{f}{x}\right)}_{\!y}$ est utilisée pour rendre explicite le fait que la variable $y$ est maintenue constante

Il existe des applications dans lesquelles il y a plusieurs variables qui ne peuvent pas varier de façon indépendante. Par exemple, la pression, le volume et la température d’un gaz idéal sont liés par l’équation $PV= \text{(constante)} T\text{.}$ Dans ces applications, savoir quelles sont les variables qui sont maintenues fixes peut être ambigu.

🔗

Sous-section Interprétation géométrique des dérivées partielles

Nous allons maintenant voir l’interprétation géométrique de la dérivée partielle

\begin{equation*} \pdiff{f}{x}(a,b) = \lim_{h\rightarrow 0}\frac{f(a+h,b) - f(a,b)}{h} \end{equation*}

en termes du graphe $z=f(x,y)$ de la fonction $f(x,y)\text{.}$ Ce graphe est illustré dans la figure ci-bas. Il ressemble à une partie d’une sphère un peu déformée dans le premier octant.

🔗

La définition de $\pdiff{f}{x}(a,b)$ fait intervenir seulement des points sur le graphe qui satisfont $y=b\text{,}$ c’est-à-dire des points sur la courbe intersection de la surface $z=f(x,y)$ avec le plan $y=b\text{.}$ Il s’agit de la courbe rouge dans la figure. Les deux segments verticaux bleus ont des hauteurs $f(a,b)$ et $f(a+h,b)\text{,}$ qui sont les deux termes dans le numérateur de $\frac{f(a+h,b) - f(a,b)}{h}\text{.}$

🔗

Une vue de côté (en regardant du côté gauche de l’axe des $y$) est esquissée dans la figure ci-après.

🔗

De nouveau, les deux segments verticaux bleus ont des longueurs $f(a,b)$ et $f(a+h,b)\text{,}$ qui sont les deux termes du numérateur de $\frac{f(a+h,b) - f(a,b)}{h}\text{.}$ Ainsi, le numérateur $f(a+h,b) - f(a,b)$ et le dénominateur $h$ sont respectivement la variation verticale et la variation horizontale de la courbe $z=f(x,b)$ de $x=a$ à $x=a+h\text{.}$ Ainsi, $\pdiff{f}{x}(a,b)$ est précisément la pente de (la tangente à) la courbe intersection de la surface $z=f(x,y)$ avec le plan $y=b$ au point $\big(a,b, f(a,b)\big)\text{.}$ De la même façon, $\pdiff{f}{y}(a,b)$ est la pente de (la tangente à) la courbe intersection de la surface $z=f(x,y)$ avec le plan $x=a$ au point $\big(a,b, f(a,b)\big)\text{.}$

🔗

Sous-section Évaluation des dérivées partielles

Il suit de la discussion ci-haut que l’on peut calculer les dérivées partielles $\pdiff{}{x}$ en tirant profit de ce que l’on connaît au sujet des dérivées usuelles $\diff{}{x}\text{.}$ Plus précisément :

Pour évaluer $\pdiff{f}{x}(x,y)\text{,}$ on traite $y$ dans $f(x,y)$ comme une constante et l’on dérive la fonction de $x$ qui en résulte selon les règles usuelles.

🔗
Pour évaluer $\pdiff{f}{y}(x,y)\text{,}$ on traite $x$ dans $f(x,y)$ comme une constante et l’on dérive la fonction de $y$ qui en résulte selon les règles usuelles.

🔗
Pour évaluer $\pdiff{f}{x}(a,b)\text{,}$ on traite $y$ dans $f(x,y)$ comme une constante et l’on dérive par rapport à $x$ selon les règles usuelles, puis on évalue en $x=a\text{,}$ $y=b\text{.}$

🔗
Pour évaluer $\pdiff{f}{y}(a,b)\text{,}$ on traite $x$ dans $f(x,y)$ comme une constante et l’on dérive par rapport à $y$ selon les règles usuelles, puis on évalue en $x=a\text{,}$ $y=b\text{.}$

🔗

Voyons quelques exemples.

🔗

Exemple 2.3.4.

Soit

\begin{equation*} f(x,y) = x^3+y^2+ 4xy^2\text{.} \end{equation*}

Alors, puisque $\pdiff{}{x}$ traite $y$ comme une constante,

\begin{align*} \pdiff{f}{x} &= \pdiff{}{x}(x^3) + \pdiff{}{x}(y^2) +\pdiff{}{x}(4xy^2)\\ &= 3x^2+0 + 4y^2\pdiff{}{x}(x) = 3x^2 +4y^2\text{,} \end{align*}

et puisque $\pdiff{}{y}$ traite $x$ comme une constante,

\begin{align*} \pdiff{f}{y} &= \pdiff{}{y}(x^3) + \pdiff{}{y}(y^2) +\pdiff{}{y}(4xy^2)\\ &= 0 + 2y + 4x\pdiff{}{y}(y^2) = 2y+8xy\text{.} \end{align*}

En particulier, à $(x,y)=(1,0)\text{,}$ ces dérivées partielles prennent les valeurs

\begin{alignat*}{3} \pdiff{f}{x}(1,0) &= 3(1)^2 +4(0)^2&=3 \qquad \text{ et } \qquad \pdiff{f}{y}(1,0) &= 2(0) +8(1)(0)\ &=0. \end{alignat*}

🔗

Exemple 2.3.5.

Soit $f(x,y) = y\cos x + xe^{xy} \text{.}$ Alors, puisque $\pdiff{}{x}$ traite $y$ comme une constante, $\pdiff{}{x} e^{yx}=y e^{yx}$ et

\begin{align*} \pdiff{f}{x}(x,y) &= y\pdiff{}{x}(\cos x) + e^{xy}\pdiff{}{x}(x) +x\pdiff{}{x}\big(e^{xy}\big) \qquad\text{(règle du produit)}\\ &= -y\sin x + e^{xy} +xye^{xy},\\ \pdiff{f}{y}(x,y) &= \cos x\pdiff{}{y}(y) + x\pdiff{}{y}\big(e^{xy}\big)\\ &= \cos x + x^2e^{xy}\text{.} \end{align*}

🔗

Voyons maintenant une fonction de quatre variables.

🔗

Exemple 2.3.6.

Soit

\begin{equation*} f(x,y,z,t) = x\sin(y+2z) +t^2e^{3y}\ln z\text{.} \end{equation*}

Alors,

\begin{align*} \pdiff{f}{x}(x,y,z,t) &= \sin(y+2z),\\ \pdiff{f}{y}(x,y,z,t) &= x\cos(y+2z) +3t^2e^{3y}\ln z,\\ \pdiff{f}{z}(x,y,z,t) &= 2x\cos(y+2z) +t^2e^{3y}/z,\\ \pdiff{f}{t}(x,y,z,t) &= 2te^{3y}\ln z\text{.} \end{align*}

🔗

Voyons maintenant un exemple plus complexe : la fonction prend une valeur particulière à $(0,0)\text{.}$ Afin de calculer les dérivées partielles, il faut utiliser la définition.

🔗

Exemple 2.3.7. Calcul par la définition.

Soit

\begin{equation*} f(x,y)=\begin{cases} \frac{\cos x-\cos y}{x-y}&\text{si } x\ne y \\ 0&\text{si } x=y \end{cases}\text{.} \end{equation*}

Si $b\ne a\text{,}$ alors pour tout $(x,y)$ suffisamment près de $(a,b)\text{,}$ $f(x,y) = \frac{\cos x-\cos y}{x-y}\text{,}$ et l’on peut calculer les dérivées partielles de $f$ au point $(a,b)$ avec les règles usuelles de calcul. Cependant, les choses sont différentes si $(a,b)=(0,0)\text{.}$ Pour calculer $f_x(0,0)\text{,}$ on doit faire $y=0$ et trouver la dérivée de

\begin{equation*} f(x,0) = \begin{cases} \frac{\cos x-1}{x}&\text{si } x\ne 0 \\ 0&\text{si } x=0 \end{cases} \end{equation*}

par rapport à $x$ au point $x=0\text{.}$ Comme on ne peut pas utiliser les règles usuelles, on doit utiliser la définition pour calculer la dérivée :

\begin{align*} f_x(0,0) &= \lim_{h\rightarrow 0}\frac{f(h,0)-f(0,0)}{h}\\ &= \lim_{h\rightarrow 0}\frac{\frac{\cos h-1}{h}-0}{h} &\qquad\text{($h\ne 0$ dans la limite)}\\ &= \lim_{h\rightarrow 0}\frac{\cos h-1}{h^2}\\ &= \lim_{h\rightarrow 0}\frac{-\sin h}{2h} &\qquad\text{(l'Hôpital)}\\ &= \lim_{h\rightarrow 0}\frac{-\cos h}{2} &\qquad\text{(l'Hôpital)}\\ &=-\frac{1}{2}. \end{align*}

On peut évaluer la limite de $\frac{\cos h-1}{h^2} $ en substituant dans la série de Taylor

\begin{equation*} \cos h = 1 -\frac{h^2}{2}+\frac{h^4}{4!} -\cdots \end{equation*}

🔗

On peut aussi utiliser la séries de Taylor pour comprendre le comportement de $f(x,y)$ lorsque $(x,y)$ est près de $(0,0)\text{.}$ Pour $x\ne y\text{,}$

\begin{align*} \frac{\cos x-\cos y}{x-y} &=\frac{\left[1-\frac{x^2}{2!} +\frac{x^4}{4!}-\cdots\right] -\left[1-\frac{y^2}{2!} +\frac{y^4}{4!}-\cdots\right]}{x-y}\\ &=\frac{-\frac{x^2-y^2}{2!} +\frac{x^4-y^4}{4!}-\cdots}{x-y}\\ &= -\frac{1}{2!}\frac{x^2-y^2}{x-y} +\frac{1}{4!}\frac{x^4-y^4}{x-y}-\cdots\\ &= -\frac{x+y}{2!} +\frac{x^3+x^2y+xy^2+y^3}{4!}-\cdots \end{align*}

De sorte que $(x,y)$ près de $(0,0)\text{,}$

\begin{equation*} f(x,y)\approx\begin{cases} -\frac{x+y}{2} &\text{si } x\ne y \\ 0 &\text{si } x=y \end{cases}\text{.} \end{equation*}

Ainsi, il semble (et c’est en fait le cas) que

$f(x,y)$ est continue à $(0,0)\text{,}$ et

🔗
$f(x,y)$ n’est pas continue à $(a,a)$ lorsque $a\ne 0$ et que $a$ est petit, et

🔗
$f_x(0,0)=f_y(0,0)=-\frac{1}{2}\text{.}$

🔗

🔗

Remarquons que cet exemple montre que l’existence des dérivées partielles n’entraîne pas la continuité, contrairement au cas des fonctions à une variable où la dérivabilité en un point entraîne la continuité. Nous pouvons examiner davantage cet exemple.

🔗

Exemple 2.3.8. L’Exemple 2.3.7 revisité.

Soit à nouveau

\begin{equation*} f(x,y)=\begin{cases} \frac{\cos x-\cos y}{x-y}&\text{si } x\ne y \\ 0&\text{si } x=y \end{cases}\text{.} \end{equation*}

On calcule $f_y(x,y)$ pour tout $(x,y)\text{.}$

🔗

Le cas $y\ne x$ : Lorsque $y\ne x\text{,}$

\begin{align*} f_y(x,y) & = \pdiff{}{y}\frac{\cos x-\cos y}{x-y}\\ &=\frac{(x-y)\pdiff{}{y}(\cos x-\cos y) - (\cos x-\cos y)\pdiff{}{y}(x-y) }{(x-y)^2}\\ &\hskip2in\text{(quotient)}\\ &=\frac{(x-y)\sin y + \cos x-\cos y }{(x-y)^2}\text{.} \end{align*}

🔗

Le cas $y= x$ : Lorsque $y = x\text{,}$

\begin{align*} f_y(x,y) &= \lim_{h\rightarrow 0}\frac{f(x,y+h)-f(x,y)}{h}\\ &= \lim_{h\rightarrow 0}\frac{f(x,x+h)-f(x,x)}{h}\\ &= \lim_{h\rightarrow 0}\frac{\frac{\cos x-\cos(x+h)}{x-(x+h)}-0}{h} &\qquad\text{(puisque $h\ne 0$ dans la limite)}\\ &= \lim_{h\rightarrow 0}\frac{\cos(x+h)-\cos x}{h^2}. \end{align*}

On applique maintenant la règle de l’Hôpital, en gardant à l’esprit que, pour le calcul de cette limite, $x$ est une constante et $h$ est la variable : on doit donc dériver par rapport à $h\text{.}$

\begin{align*} f_y(x,y) &= \lim_{h\rightarrow 0}\frac{-\sin(x+h)}{2h} \end{align*}

Notons, d’une part, que si $x$ n’est pas un multiple entier de $\pi\text{,}$ alors le numérateur $-\sin(x+h)$ ne tend pas vers zéro lorsque $h$ tend vers zéro, et la limite définissant $f_y(x,y)$ n’existe pas. D’autre part, si $x$ est un multiple entier de $\pi\text{,}$ alors le numérateur et le dénominateur tendent vers zéro lorsque $h$ le fait, et l’on peut appliquer la règle de l’Hôpital de nouveau.

\begin{align*} f_y(x,y) &= \lim_{h\rightarrow 0}\frac{-\cos(x+h)}{2}\\ &=-\frac{\cos x}{2} \end{align*}

🔗

En conclusion :

\begin{equation*} f_y(x,y)=\begin{cases} \frac{(x-y)\sin y + \cos x-\cos y }{(x-y)^2}&\text{si } x\ne y\\ -\frac{\cos x}{2}&\text{si } x=y = k\pi,\ k\in \Z \\ \text{n'existe pas}&\text{si } x=y \text{ avec } x \ne k\pi, k \in \Z \end{cases}\text{.} \end{equation*}

🔗

Exemple 2.3.9. Les dérivées partielles sans la continuité.

Dans cet exemple, on verra que la fonction

\begin{equation*} f(x,y)=\begin{cases} \frac{x^2}{x-y}&\text{si } x\ne y \\ 0&\text{si } x=y \end{cases} \end{equation*}

n’est pas continue à $(0,0)\text{,}$ mais que les deux dérivées partielles $f_x(0,0)$ et $f_y(0,0)$ existent. Calculons les dérivées partielles. Par définition,

\begin{align*} f_x(0,0)&=\lim_{h\rightarrow 0}\frac{f(0+h,0)-f(0,0)}{h} =\lim_{h\rightarrow 0}\frac{\overbrace{\tfrac{h^2}{h-0}}^{h}-\,0}{h} =\lim_{h\rightarrow 0}1,\\ &=1\\ f_y(0,0)&=\lim_{h\rightarrow 0}\frac{f(0,0+h)-f(0,0)}{h} =\lim_{h\rightarrow 0}\frac{\frac{0^2}{0-h}-0}{h} =\lim_{h\rightarrow 0}0\\ &=0\text{,} \end{align*}

de sorte que les dérivées partielles $f_x(0,0)$ et $f_y(0,0)$ existent.

🔗

Pour voir que, néanmoins, $f(x,y)$ n’est pas continue à $(0,0)\text{,}$ on considère la limite de $f(x,y)$ lorsque $(x,y)$ tend vers $(0,0)$ le long de la courbe $y=x-x^3\text{.}$ Cette limite est

\begin{gather*} \lim_{x\rightarrow 0} f\big(x,x-x^3\big) =\lim_{x\rightarrow 0} \frac{x^2}{x-(x-x^3)} =\lim_{x\rightarrow 0} \frac{1}{x}\text{,} \end{gather*}

qui n’existe pas. En effet, lorsque $x$ tend vers $0$ par la droite, $\frac{1}{x}$ tend vers $+\infty\text{,}$ et lorsque $x$ tend vers $0$ par la gauche, $\frac{1}{x}$ tend vers $-\infty\text{.}$

🔗

Regardons de plus près comment ceci est possible. Il se trouve que $f_x(0,0)$ fait intervenir seulement des valeurs de $f(x,y)$ avec $y=0\text{.}$ D’une part, comme $f(x,0)=x\text{,}$ pour toute valeur de $x\text{,}$ on a que $f(x,0)$ est continue et différentiable. Quelque chose de semblable arrive pour $f_y(0,0)\text{.}$ D’autre part, le mauvais comportement de $f(x,y)$ pour $(x,y)$ près de $(0,0)$ se présente seulement lorsque $x$ et $y$ sont tous les deux non nuls.

🔗

Voyons maintenant un exemple de dérivée partielle déguisée en limite.

🔗

Exemple 2.3.10.

Dans cet exemple, nous allons évaluer la limite

\begin{equation*} \lim_{z\rightarrow 0}\frac{(x+y+z)^3-(x+y)^3}{(x+y)z}. \end{equation*}

L’observation cruciale est que, lorsque l’on prend la limite pour $z\rightarrow 0\text{,}$ $x$ et $y$ sont fixes. Ainsi, ils ne varient pas à mesure que $z$ devient de plus en plus petit. De plus, cette limite est exactement de la forme de celles qui apparaissent dans la définition des dérivées partielles (voir Définition 2.3.2).

🔗

Soit

\begin{equation*} f(x,y,z) = \frac{(x+y+z)^3}{(x+y)}\text{.} \end{equation*}

Alors,

\begin{align*} \lim_{z\rightarrow 0}\frac{(x+y+z)^3-(x+y)^3}{(x+y)z} &=\lim_{z\rightarrow 0}\frac{f(x,y,z)-f(x,y,0)}{z}\\ &=\lim_{h\rightarrow 0}\frac{f(x,y,0+h)-f(x,y,0)}{h}\\ &=\pdiff{f}{z}(x,y,0)\\ &={\left[\pdiff{}{z}\frac{(x+y+z)^3}{x+y}\right]}_{z=0}\text{.} \end{align*}

Rappelons que $\pdiff{}{z}$ traite $x$ et $y$ comme des constantes et donc que nous évaluons une fonction de la forme $\frac{({\rm const}+z)^3}{\rm const}\text{.}$ Ainsi,

\begin{align*} \lim_{z\rightarrow 0}\frac{(x+y+z)^3-(x+y)^3}{(x+y)z} &={\left.3\frac{(x+y+z)^2}{x+y}\right|}_{z=0}\\ &=3(x+y)\text{.} \end{align*}

🔗

Quoique les ressemblances avec le cas des fonctions à une variable soient grandes, nous avons déjà rencontré une différence significative : l’existence des dérivées partielles ne garantit pas la continuité.

🔗

Voyons maintenant une autre différence qui est souvent source d’erreur. Si $y=y(x)$ est donnée et que l’on peut résoudre pour $x$ en fonction de $y$ et écrire $x = x(y)\text{,}$ alors on aura

\begin{equation*} \diff{x}{y} = \frac{1}{\diff{y}{x}}. \end{equation*}

Il est tentant de penser que ceci tient, car il suffit “d’inverser une fraction”, mais il n’en est rien. La validité de la formule ci-haut repose sur la dérivation des fonctions composées. L’exemple suivant montre que la formule analogue pour les fonctions à plusieurs variables n’est pas valable, c’est-à-dire qu’on n’a généralement pas l’égalité

\begin{equation*} \pdiff{z}{u} = \frac{1}{\pdiff{u}{z}}. \end{equation*}

Comme dans le cas des fonctions à une variable, la règle de dérivation des fonctions composées fournira un résultat semblable, mais nous devons patienter quelques sections avant de le présenter.

🔗

Exemple 2.3.11.

Rappelons que les coordonnées rectangulaires et les coordonnées polaires (pour $(x,y)\ne (0,0)$ et $r \gt 0$) sont liées par les formules:

🔗

\begin{align*} x&=r\cos\theta,\\ y&=r\sin\theta,\\ r&=\sqrt{x^2+y^2},\\ \tan\theta&=\frac{y}{x}\text{.} \end{align*}

🔗

Nous allons utiliser les fonctions

\begin{equation*} x(r,\theta) = r\cos\theta\qquad \text{et}\qquad r(x,y) = \sqrt{x^2+y^2}\text{.} \end{equation*}

Fixons un point $(x_0,y_0)\ne (0,0)\text{,}$ et soit $(r_0,\theta_0)\text{,}$ $0\le\theta_0 \lt 2\pi$ ses coordonnées polaires. On a alors

\begin{gather*} \pdiff{x}{r}(r,\theta) = \cos\theta,\qquad \pdiff{r}{x}(x,y) = \frac{x}{\sqrt{x^2+y^2}}\text{.} \end{gather*}

Voyons sous quelles conditions nous avons $\pdiff{x}{r} = \left(\pdiff{r}{x}\right)^{-1}\text{.}$ Nous avons

\begin{align*} \pdiff{x}{r}(r_0,\theta_0)=\left(\pdiff{r}{x}(x_0,y_0)\right)^{-1} &\iff \cos\theta_0= \left(\frac{x_0}{\sqrt{x_0^2+y_0^2}}\right)^{-1} = \left(\cos\theta_0\right)^{-1}\\ &\iff \cos^2\theta_0= 1\\ &\iff \theta_0=0,\pi\text{.} \end{align*}

Ceci suffit à montrer que l’égalité ne tient pas toujours quand d’autres variables interviennent.

🔗

Cependant, on peut comprendre ce qu’il arrive à l’aide d’une figure. Par définition, les dérivées partielles

\begin{align*} \pdiff{x}{r}(r_0,\theta_0) &= \lim_{\dee{r}\rightarrow 0} \frac{x(r_0+\dee{r},\theta_0) - x(r_0,\theta_0)}{\dee{r}},\\ \pdiff{r}{x}(x_0,y_0) &= \lim_{\dee{x}\rightarrow 0} \frac{r(x_0+\dee{x},y_0) - r(x_0,y_0)}{\dee{x}}\text{,} \end{align*}

où nous avons écrit $dr$ ou $dx$ au lieu du $h$ de la Définition 2.3.2.

🔗

D’une part, lorsqu’on calcule $\pdiff{x}{r}(r_0,\theta_0)\text{,}$ $\theta_0$ est maintenu constant, $r$ varie d’une petite quantité $\dee{r}\text{,}$ et la variation résultante en $x$ est calculée par $\dee{x}=x(r_0+\dee{r},\theta_0) - x(r_0,\theta_0)\text{.}$ Dans la figure de gauche, $\dee{r}$ est la longueur du segment orange, et $\dee{x}$ est la longueur du segment bleu.

🔗

D’autre part, lorsqu’on calcule $\pdiff{r}{x}\text{,}$ $y$ est maintenu fixe, tandis que $x$ change d’une petite quantité $\dee{x}\text{,}$ et la variation résultante en $r$ est donnée par $\dee{r} = r(x_0+\dee{x},y_0) - r(x_0,y_0)\text{.}$ Dans la figure de droite ci-haut, $\dee{x}$ est la longueur du segment rose tandis que $\dee{r}$ est la longueur du segment orange.

🔗

Ci-bas, on présente les deux figures ensemble. Nous avons arrangé les choses pour avoir le même $\dee{r}$ dans les calculs. Afin que les deux $\dee{r}$ soient le même, les deux $\dee{x}$ doivent être différents (sauf si $\theta_0=0,\pi$). Ainsi, en général, $\pdiff{x}{r}(r_0,\theta_0)\ne \big(\pdiff{r}{x}(x_0,y_0)\big)^{-1}\text{.}$

🔗

Sous-section Dérivées d’ordre supérieur

Nous avons déjà observé dans les cours de calcul précédents que si $f(x)$ est une fonction $x\text{,}$ alors sa dérivée, $\diff{f}{x}(x)\text{,}$ en est une aussi et peut donc être dérivée pour obtenir la dérivée seconde $\difftwo{f}{x}(x)\text{,}$ qui peut à son tour être dérivée pour obtenir la dérivée tierce $f^{(3)}(x)\text{,}$ et ainsi de suite.

🔗

On peut faire la même chose pour les fonctions de plus de deux variables. Si $f(x,y)$ est une fonction de $x$ et $y\text{,}$ alors ses dérivées partielles $\pdiff{f}{x}(x,y)$ et $\pdiff{f}{y}(x,y)$ sont aussi des fonctions de $x$ et $y\text{.}$ Elles peuvent donc être dérivées par rapport à $x$ et à $y\text{.}$ Ainsi, il y a quatre possibles dérivées du deuxième ordre pour $f\text{,}$ les voici avec les différentes notations qu’on utilise :

\begin{alignat*}{2} \pdiff{}{x}\left(\pdiff{f}{x}\right)(x,y) &=\frac{\partial^2 f}{\partial x^2}(x,y) &= f_{xx}(x,y),\\ \pdiff{}{y}\left(\pdiff{f}{x}\right)(x,y) &=\frac{\partial^2\ f}{\partial y\partial x}(x,y) &= f_{xy}(x,y),\\ \pdiff{}{x}\left(\pdiff{f}{y}\right)(x,y) &=\frac{\partial^2\ f}{\partial x\partial y}(x,y) &= f_{yx}(x,y),\\ \pdiff{}{y}\left(\pdiff{f}{y}\right)(x,y) &=\frac{\partial^2 f}{\partial y^2}(x,y) &= f_{yy}(x,y)\text{.} \end{alignat*}

Notons que, dans $\frac{\partial^2\ f}{\partial y\,\partial x} =\frac{\partial^2}{\partial y\,\partial x}f\text{,}$ la dérivée qui est le plus près de $f\text{,}$ dans ce cas $\pdiff{}{x}\text{,}$ est effectuée en premier.

🔗

Lorsqu’on écrit $f_{xy}\text{,}$ la dérivée par rapport à la variable apparaissant le plus près de $f\text{,}$ dans ce cas $x\text{,}$ est appliquée en premier.

🔗

Exemple 2.3.12.

Soit $f(x,y) = e^{my}\cos(nx)\text{.}$ Alors,

\begin{align*} f_x &= -n e^{my}\sin(nx), & f_y &= m e^{my}\cos(nx),\\ f_{xx} &= -n^2 e^{my}\cos(nx), & f_{yx} &= -m n e^{my}\sin(nx),\\ f_{xy} &= -m n e^{my}\sin(nx), & f_{yy} &= m^2 e^{my}\cos(nx)\text{.} \end{align*}

🔗

Exemple 2.3.13.

Soit $f(x,y) = e^{\a x+\b y}\text{.}$ Alors,

\begin{align*} f_x &= \a e^{\a x+\b y}, & f_y &= \b e^{\a x+\b y},\\ f_{xx} &= \a^2 e^{\a x+\b y}, & f_{yx} &= \b \a e^{\a x+\b y},\\ f_{xy} &= \a \b e^{\a x+\b y}, & f_{yy} &= \b^2 e^{\a x+\b y}\text{.} \end{align*}

Plus généralement, pour tout choix d’entiers $m,n\geqslant 0\text{,}$

\begin{equation*} \frac{\partial^{m+n} f}{\partial x^m\, \partial y^n} = \a^m\b^n e^{\a x+\b y}\text{.} \end{equation*}

🔗

Exemple 2.3.14.

Si $f(x_1,x_2,x_3,x_4) = x_1^4\, x_2^3\, x_3^2\, x_4\text{,}$ alors

\begin{align*} \frac{\partial^4\ f} {\partial x_1\, \partial x_2\,\partial x_3\,\partial x_4} &= \frac{\partial^3 \ } {\partial x_1\, \partial x_2\,\partial x_3} \left( x_1^4\, x_2^3\, x_3^2\right)\\ &= \frac{\partial^2 \ } {\partial x_1\, \partial x_2} \left( 2\ x_1^4\, x_2^3\, x_3\right)\\ &= \pdiff{}{x_1} \left( 6\ x_1^4\, x_2^2\, x_3\right)\\ &= 24\ x_1^3\, x_2^2\, x_3 \end{align*}

\begin{align*} \frac{\partial^4\ f} {\partial x_4\, \partial x_3\,\partial x_2\,\partial x_1} &= \frac{\partial^3 \ } {\partial x_4\, \partial x_3\,\partial x_2} \left( 4 x_1^3\, x_2^3\, x_3^2\,x_4\right)\\ &= \frac{\partial^2 \ } {\partial x_4\, \partial x_3} \left( 12\ x_1^3\, x_2^2\, x_3^2\,x_4\right)\\ &= \pdiff{}{x_4} \left( 24\ x_1^3\, x_2^2\, x_3\,x_4\right)\\ &= 24\ x_1^3\, x_2^2\, x_3\text{.} \end{align*}

🔗

Remarque 2.3.15.

Remarquons que

🔗

dans l’Exemple 2.3.12, $f_{xy}= f_{yx} = -m n e^{my}\sin(nx) \text{;}$

🔗
dans l’Exemple 2.3.13, $f_{xy}= f_{yx} = \a \b e^{\a x+\b y} \text{;}$
🔗

🔗
dans l’Exemple 2.3.14,

\begin{equation*} \frac{\partial^4\ f} {\partial x_1\, \partial x_2\,\partial x_3\,\partial x_4} = \frac{\partial^4\ f} {\partial x_4\, \partial x_3\,\partial x_2\,\partial x_1} = 24\ x_1^3\, x_2^2\, x_3\text{.} \end{equation*}

🔗

🔗

Dans tous ces exemples, l’ordre pour le calcul des dérivées partielles est sans importance. Le théorème ci-après

L’histoire de ce théorème important est assez alambiquée. Voir “A Note on the History of Mixed Partial Derivatives”, par Thomas James Higgins, publié dans Scripta Mathematica 7 (1940), 59-62. Le théorème est nommé en l’honneur du mathématicien, astronome et géophysicien français Alexis Clairaut (1713-1765) et de Hermann Schwarz (1843-1921), un mathématicien allemand.

montre qu’il ne s’agit pas d’un accident.

🔗

Théorème 2.3.16. Théorème de Clairaut-Schwarz.

Soit $f$ une fonction de deux variables telle que les dérivées partielles $\frac{\partial^2 f }{\partial x\partial y}$ et $\frac{\partial^2 f}{\partial y\partial x}$ existent et sont continues dans un voisinage de $(x_0,y_0)$

C’est-à-dire qu’il existe $\e \gt 0$ tel que les dérivées secondes sont continues en tout point $(x,y)$ vérifiant $\sqrt{(x-x_0)^2 + (y-y_0)^2} \lt \e\text{.}$

. Alors,

\begin{equation*} \frac{\partial^2 f}{\partial x\partial y}(x_0,y_0) =\frac{\partial^2 f}{\partial y\partial x}(x_0,y_0)\text{.} \end{equation*}

🔗

Démonstration.

Voici une des grandes lignes de la preuve du Théorème 2.3.16. Les détails (numérotés) se trouvent dans le paragraphe ci-bas.

🔗

Fixons deux réels $x_0$ et $y_0\text{,}$ et définissons

\begin{equation*} F(h,k) =\frac{1}{hk}\big[f(x_0+h,y_0+k)-f(x_0,y_0+k)-f(x_0+h,y_0)+f(x_0,y_0)\big]\text{.} \end{equation*}

On définit $F(h,k)$ de cette façon parce que les dérivées partielles $\frac{\partial^2 f}{\partial x\partial y}(x_0,y_0)$ et $\frac{\partial^2 f}{\partial y\partial x}(x_0,y_0)$ sont limites de $F(h,k)$ lorsque $h,k\rightarrow 0\text{.}$ Précisément, on montre dans l’élément (1) (voir les détails dans le paragraphe suivant) que

\begin{align*} \pdiff{}{y} \pdiff{f}{x}(x_0,y_0) &= \lim_{k\rightarrow 0}\lim_{h\rightarrow 0}F(h,k),\\ \pdiff{}{x} \pdiff{f}{y}(x_0,y_0) &= \lim_{h\rightarrow 0}\lim_{k\rightarrow 0}F(h,k)\text{.} \end{align*}

Remarquez que les deux membres de droite sont identiques sauf pour l’ordre des passages aux limites.

🔗

En vertu du théorème des accroissements finis (4 fois),

\begin{align*} F(h,k)\ &\eqf{(2)}\ \frac{1}{h} \left[\pdiff{f}{y}(x_0+h,y_0+\theta_1k) -\pdiff{f}{y}(x_0,y_0+\theta_1k)\right]\cr \ &\eqf{(3)}\ \pdiff{}{x} \pdiff{f}{y}(x_0+\theta_2 h,y_0+\theta_1k)\cr F(h,k)\ &\eqf{(4)}\ \frac{1}{k} \left[\pdiff{f}{x}(x_0+\theta_3h,y_0+k) -\pdiff{f}{x}(x_0+\theta_3h,y_0)\right]\cr \ &\eqf{(5)}\ \pdiff{}{y} \pdiff{f}{x}(x_0+\theta_3 h,y_0+\theta_4k)\cr \end{align*}

pour certains réels $0 \lt \theta_1,\theta_2,\theta_3,\theta_4 \lt 1\text{.}$ Tous les réels $\theta_1,\theta_2,\theta_3,\theta_4$ dépendent de $x_0,y_0,h,k\text{.}$ Ainsi,

\begin{equation*} \pdiff{}{x} \pdiff{f}{y}(x_0+\theta_2 h,y_0+\theta_1k) =\pdiff{}{y} \pdiff{f}{x}(x_0+\theta_3 h,y_0+\theta_4k) \end{equation*}

pour tout $h$ et $k\text{.}$ En prenant la limite lorsque $(h,k) \rightarrow(0,0) $ et en vertu de la continuité des dérivées partielles au point $(x_0,y_0)\text{,}$ on obtient

\begin{equation*} \lim_{(h,k)\rightarrow (0,0)} F(h,k) =\pdiff{}{x} \pdiff{f}{y}(x_0,y_0) =\pdiff{}{y} \pdiff{f}{x}(x_0,y_0)\text{,} \end{equation*}

comme on voulait. Afin de compléter la preuve, on doit justifier les détails (1), (2), (3), (4) et (5).

🔗

Les détails.

Par définition,
\begin{align*} &\pdiff{}{y} \pdiff{f}{x}(x_0,y_0) =\lim_{k\rightarrow 0}\frac{1}{k} \left[\pdiff{f}{x}(x_0,y_0+k) -\pdiff{f}{x}(x_0,y_0)\right]\cr &=\lim_{k\rightarrow 0}\frac{1}{k} \left[\lim_{h\rightarrow 0}\frac{f(x_0+h,y_0+k)-f(x_0,y_0+k)}{h} -\lim_{h\rightarrow 0}\frac{f(x_0+h,y_0)-f(x_0,y_0)}{h}\right]\cr &=\lim_{k\rightarrow 0}\lim_{h\rightarrow 0} \frac{f(x_0+h,y_0+k)-f(x_0,y_0+k)-f(x_0+h,y_0)+f(x_0,y_0)}{hk}\cr &= \lim_{k\rightarrow 0}\lim_{h\rightarrow 0}F(h,k)\text{.} \end{align*}
De la même façon,
\begin{align*} &\pdiff{}{x} \pdiff{f}{y}(x_0,y_0) =\lim_{h\rightarrow 0}\frac{1}{h} \left[\pdiff{f}{y}(x_0+h,y_0) -\pdiff{f}{y}(x_0,y_0)\right]\cr &=\lim_{h\rightarrow 0}\frac{1}{h} \left[\lim_{k\rightarrow 0}\frac{f(x_0+h,y_0+k)-f(x_0+h,y_0)}{k} -\lim_{k\rightarrow 0}\frac{f(x_0,y_0+k)-f(x_0,y_0)}{k}\right]\cr &=\lim_{h\rightarrow 0}\lim_{k\rightarrow 0} \frac{f(x_0+h,y_0+k)-f(x_0+h,y_0)-f(x_0,y_0+k)+f(x_0,y_0)}{hk}\cr &= \lim_{h\rightarrow 0}\lim_{k\rightarrow 0}F(h,k)\text{.} \end{align*}

🔗
Le théorème des accroissements finis dit que, pour toute fonction dérivable $\varphi(x)\text{,}$
- la pente de la droite joignant les points $\big(x_0,\varphi(x_0)\big)$ et $\big(x_0+k,\varphi(x_0+k)\big)$ sur la courbe de $\varphi$
  
  🔗
est la même que
- la pente de la tangente à la courbe en un point d’abscisse comprise entre $x_0$ et $x_0+k\text{,}$
  
  🔗
c’est-à-dire qu’il existe un $\theta_1$ vérifiant $0 \lt \theta_1 \lt 1$ tel que

\begin{equation*} \frac{\varphi(x_0+k)-\varphi(x_0)}{k}=\frac{d\varphi}{dx}(x_0+\theta_1 k)\text{.} \end{equation*}

🔗
Utilisons le théorème des accroissements finis appliqué à la fonction $G(y)=f(x_0+h,y)-f(x_0,y)$ (donc avec $y$ dans le rôle de $x$), ce qui donne

\begin{align*} \frac{G(y_0+k)-G(y_0)}{k} &=\diff{G}{y}(y_0+\theta_1 k) \qquad (\text{pour un certain } 0 \lt \theta_1 \lt 1)\\ &=\pdiff{f}{y}(x_0+h,y_0+\theta_1k) -\pdiff{f}{y}(x_0,y_0+\theta_1k)\text{.} \end{align*}

Ainsi, pour un certain $0 \lt \theta_1 \lt 1\text{,}$

\begin{align*} F(h,k)\ &=\ \frac{1}{h} \left[\frac{G(y_0+k)-G(y_0)}{k}\right]\\ &=\frac{1}{h} \left[\pdiff{f}{y}(x_0+h,y_0+\theta_1k) -\pdiff{f}{y}(x_0,y_0+\theta_1k)\right]\text{.} \end{align*}

🔗

🔗
Définissons $H(x)=\pdiff{f}{y}(x,y_0+\theta_1k)\text{.}$ En vertu du théorème des accroissements finis,
\begin{align*} F(h,k)\ &=\ \frac{1}{h}\left[H(x_0+h)-H(x_0)\right]\\ &=\ \diff{H}{x}(x_0+\theta_2 h) \qquad (\text{pour un certain } 0 \lt \theta_2 \lt 1)\\ &=\pdiff{}{x} \pdiff{f}{y}(x_0+\theta_2 h,y_0+\theta_1k)\text{.} \end{align*}

🔗
Définissons $A(x)=f(x,y_0+k)-f(x,y_0)\text{.}$ En vertu du théorème des accroissements finis,
\begin{align*} F(h,k)\ &=\ \frac{1}{k} \left[\frac{A(x_0+h)-A(x_0)}{h}\right]\\ &=\ \frac{1}{k}\diff{A}{x}(x_0+\theta_3 h) \qquad (\text{pour un certain } 0 \lt \theta_3 \lt 1)\\ &=\frac{1}{k} \left[\pdiff{f}{x}(x_0+\theta_3h,y_0+k) -\pdiff{f}{x}(x_0+\theta_3h,y_0)\right]\text{.} \end{align*}

🔗
Définissons $B(y)=\pdiff{f}{x}(x_0+\theta_3h,y)\text{.}$ En vertu du théorème des accroissements finis,
\begin{align*} F(h,k)\ &=\ \frac{1}{k}\left[B(y_0+k)-B(y_0)\right]\\ &=\ \diff{B}{y}(y_0+\theta_4 k) \qquad (\text{pour un certain } 0 \lt \theta_4 \lt 1)\\ &=\pdiff{}{y} \pdiff{f}{x}(x_0+\theta_3 h,y_0+\theta_4k)\text{.} \end{align*}

🔗

Ceci complète la démonstration du Théorème 2.3.16.

🔗

Exemple 2.3.17. Un exemple où $\frac{\partial^2\ f}{\partial x\partial y}(x_0,y_0) \ne\frac{\partial^2\ f}{\partial y\partial x}(x_0,y_0)$.

Dans le Théorème 2.3.16, nous avons montré que $\frac{\partial^2 f }{\partial x\partial y}(x_0,y_0) =\frac{\partial^2 f }{\partial y\partial x}(x_0,y_0)$ si les dérivées partielles $\frac{\partial^2 f }{\partial x\partial y}$ et $\frac{\partial^2 f }{\partial y\partial x}$ existent et sont continues en $(x_0,y_0)\text{.}$ Cet exemple montre que ces hypothèses ne peuvent pas être relâchées : si $\frac{\partial^2 f }{\partial x\partial y}$ et $\frac{\partial^2 f }{\partial y\partial x}$ sont discontinues en $(x_0,y_0)\text{,}$ alors on peut avoir $\frac{\partial^2 f }{\partial x\partial y}(x_0,y_0) \ne\frac{\partial^2 f }{\partial y\partial x}(x_0,y_0)\text{.}$

🔗

Considérons la fonction

\begin{equation*} f(x,y) = \begin{cases} xy\frac{x^2-y^2}{x^2+y^2} \amp \text{si } (x,y)\ne (0,0)\\ 0\amp \text{si } (x,y) = (0,0) \end{cases}\text{.} \end{equation*}

La fonction est continue partout. Remarquons aussi que $f(x,0)=0$ pour tout $x$ et que $f(0,y)=0$ pour tout $y\text{.}$ Calculons les dérivées partielles du premier ordre. Pour $(x,y)\ne (0,0)\text{,}$

\begin{align*} \pdiff{f}{x}(x,y) &= {\color{blue}{y\frac{x^2-y^2}{x^2+y^2}}} +xy\frac{2x}{x^2+y^2} - xy\frac{2x(x^2-y^2)}{{(x^2+y^2)}^2}\\ &\ = {\color{blue}{y\frac{x^2-y^2}{x^2+y^2}}} + xy\frac{4xy^2}{{(x^2+y^2)}^2},\\ \pdiff{f}{y}(x,y) &= {\color{blue}{x\frac{x^2-y^2}{x^2+y^2}}} -xy\frac{2y}{x^2+y^2} - xy\frac{2y(x^2-y^2)}{{(x^2+y^2)}^2}\\ &\ = {\color{blue}{x\frac{x^2-y^2}{x^2+y^2}}} - xy\frac{4yx^2}{{(x^2+y^2)}^2}\text{.} \end{align*}

Pour $(x,y)= (0,0)\text{,}$

\begin{alignat*}{2} \pdiff{f}{x}(0,0) \amp = \left[\diff{}{x}f(x,0)\right]_{x=0} \amp = \left[\diff{}{x} 0\right]_{x=0} \amp = 0,\\ \pdiff{f}{y}(0,0) \amp = \left[\diff{}{y}f(0,y)\right]_{y=0} \amp = \left[\diff{}{y} 0\right]_{y=0} \amp =0\text{.} \end{alignat*}

En somme, les dérivées partielles du premier ordre sont

\begin{align*} f_x(x,y)\amp =\begin{cases} y\frac{x^2-y^2}{x^2+y^2} + \frac{4x^2y^3}{{(x^2+y^2)}^2} \amp \text{si } (x,y)\ne (0,0)\\ 0 \amp \text{si } (x,y)=(0,0) \end{cases}\\ f_y(x,y)&=\begin{cases} x\frac{x^2-y^2}{x^2+y^2} - \frac{4x^3y^2}{{(x^2+y^2)}^2} & \text{si } (x,y)\ne (0,0)\\ 0 & \text{si } (x,y)=(0,0) \end{cases}\text{.} \end{align*}

Les fonctions $\pdiff{f}{x}(x,y)$ et $\pdiff{f}{y}(x,y)$ sont continues. Par ailleurs, on calcule

\begin{align*} \frac{\partial^2\ f}{\partial x\partial y}(0,0) &=\left[\diff{}{x} f_y(x,0)\right]_{x=0} =\lim_{h\rightarrow 0}\frac{1}{h}\left[f_y(h,0)-f_y(0,0)\right]\\ &=\lim_{h\rightarrow 0}\frac{1}{h}\left[h\frac{h^2-0^2}{h^2+0^2}-0\right] =1,\\ \frac{\partial^2\ f}{\partial y\partial x}(0,0) &=\left[\diff{}{y} f_x(0,y)\right]_{y=0} =\lim_{k\rightarrow 0}\frac{1}{k}\left[f_x(0,k)-f_x(0,0)\right]\\ &=\lim_{k\rightarrow 0}\frac{1}{k}\left[k\frac{0^2-k^2}{0^2+k^2}-0\right] =-1\text{.} \end{align*}

🔗

Exercices Exercices

Pour se pratiquer.

1.

Soit $f(x,y) = e^x\cos y\text{.}$ Les tables suivantes donnent des valeurs de $f(x,y)\text{.}$

🔗

	$x=0$	$x=0.01$	$x=0.1$
$y=-0.1$	0.99500	1.00500	1.09965
$y=-0.01$	0.99995	1.01000	1.10512
$y=0$	1.0	1.01005	1.10517

Trouvez deux valeurs approximatives différentes pour $\pdiff{f}{x}(0,0)$ en utilisant les données du tableau ci-dessus.

🔗
Trouvez deux valeurs approximatives différentes pour $\pdiff{f}{y}(0,0)$ en utilisant les données du tableau ci-dessus.

🔗
Évaluez $\pdiff{f}{x}(0,0)$ et $\pdiff{f}{y}(0,0)$ exactement.

🔗

🔗

Réponse.

\begin{equation*} \pdiff{f}{x}(0,0) \approx \left.\frac{f(h,0)-f(0,0)}{h}\right|_{h=0.1} =\frac{1.10517-1}{0.1} =1.0517 \end{equation*}
et
\begin{equation*} \pdiff{f}{x}(0,0) \approx \left.\frac{f(h,0)-f(0,0)}{h}\right|_{h=0.01} =\frac{1.01005-1}{0.01} =1.005 \end{equation*}

🔗
\begin{equation*} \pdiff{f}{y}(0,0) \approx \left.\frac{f(0,h)-f(0,0)}{h}\right|_{h=-0.1} =\frac{0.99500-1}{-0.1} =0.0500 \end{equation*}
et
\begin{equation*} \pdiff{f}{y}(0,0) \approx \left.\frac{f(0,h)-f(0,0)}{h}\right|_{h=-0.01} =\frac{0.99995-1}{0.01} =.0050 \end{equation*}

🔗
$\pdiff{f}{x}(0,0) =1$ et $\pdiff{f}{y}(0,0) = 0$

🔗

🔗

2.

Soit

\begin{equation*} f(x,y)=\begin{cases}\frac{x^2y}{x^2+y^2}& \text{si}\ (x,y)\ne (0,0)\\ 0 & \text{si}\ (x,y)=(0,0) \end{cases} \end{equation*}

Calculez, directement d’après les définitions,

$\displaystyle \pdiff{f}{x}(0,0)$

🔗
$\displaystyle \pdiff{f}{y}(0,0)$

🔗
$\displaystyle \diff{}{t} f(t,t)\Big|_{t=0}$

🔗

🔗

Réponse.

(a) $0$

🔗

(b) $0$

🔗

3.

Trouvez toutes les dérivées partielles premières des fonctions suivantes et évaluez-les au point donné.

$\displaystyle f(x,y,z)=x^3y^4z^5\qquad (0,-1,-1)$

🔗
$\displaystyle w(x,y,z)=\ln\left(1+e^{xyz}\right)\qquad (2,0,-1)$

🔗
$\displaystyle f(x,y)=\frac{1}{\sqrt{x^2+y^2}}\qquad (-3,4)$

🔗

🔗

Réponse.

(a)

\begin{align*} f_x(x,y,z)&=3x^2y^4z^5 & f_x(0,-1,-1)&=0\\ f_y(x,y,z)&=4x^3y^3z^5 & f_y(0,-1,-1)&=0\\ f_z(x,y,z)&=5x^3y^4z^4 & f_z(0,-1,-1)&=0 \end{align*}

🔗

(b)

\begin{align*} w_x(x,y,z)&=\frac{yz e^{xyz}}{1+e^{xyz}} & w_x(2,0,-1)&=0\\ w_y(x,y,z)&=\frac{xz e^{xyz}}{1+e^{xyz}} & w_y(2,0,-1)&=-1\\ w_z(x,y,z)&=\frac{xy e^{xyz}}{1+e^{xyz}} & w_z(2,0,-1)&=0 \end{align*}

🔗

(c)

\begin{align*} f_x(x,y)&=-\frac{x}{(x^2+y^2)^{3/2}} & f_x(-3,4)&=\frac{3}{125}\\ f_y(x,y)&=-\frac{y}{(x^2+y^2)^{3/2}} & f_y(-3,4)&=-\frac{4}{125} \end{align*}

🔗

4.

Une surface $z(x, y)$ est définie par $zy - y + x = \ln(xyz)\text{.}$

Calculez $\pdiff{z}{x}\text{,}$ $\pdiff{z}{y}$ en termes de $x\text{,}$ $y$ et $z\text{.}$

🔗
Évaluez $\pdiff{z}{x}$ et $\pdiff{z}{y}$ à $(x, y, z) = (-1, -2, 1/2)\text{.}$

🔗

🔗

Réponse.

(a) $\pdiff{z}{x} = \frac{z(1-x)}{x(yz-1)}\text{,}$

🔗

$\pdiff{z}{y} = \frac{z(1+y-yz)}{y(yz-1)}$

🔗

(b) $\pdiff{z}{x}(-1,-2) =\frac{1}{2}\text{,}$

🔗

$\pdiff{z}{y}(-1,-2) =0\text{.}$

🔗

5.

Trouvez $\pdiff{U}{T}$ et $\pdiff{T}{V}$ à $(1, 1, 2, 4)$ si $(T, U, V, W)$ vérifient la relation

\begin{equation*} (TU-V)^2 \ln(W-UV) = \ln 2 \end{equation*}

🔗

Réponse.

$\pdiff{U}{T}(1,2,4) = -\frac{2\ln(2)}{1+2\ln(2)}$

🔗

$\pdiff{T}{V}(1,2,4) = 1 -\frac{1}{4\ln(2)}$

🔗

6.

Supposons que $u = x^2 + yz\text{,}$ $x = \rho r \cos(\theta)\text{,}$ $y = \rho r \sin(\theta)$ et $z = \rho r\text{.}$ Trouvez $\pdiff{u}{r}$ au point $(\rho_0 , r_0 , \theta_0) = (2, 3, \pi/2)\text{.}$

🔗

Réponse.

$24$

🔗

7.

Utilisez la définition de la dérivée pour évaluer $f_x(0,0)$ et $f_y(0,0)$ pour

\begin{equation*} f(x,y)=\begin{cases} \frac{x^2-2y^2}{x-y}&\text{si } x\ne y\\ 0&\text{si } x=y \end{cases} \end{equation*}

🔗

Réponse.

$f_x(0,0)=1\text{,}$

🔗

$f_y(0,0)=2$

🔗

8.

Définissez la fonction

\begin{equation*} f(x,y)=\begin{cases}\frac{(x+2y)^2}{x+y}& \text{si } x+y\ne 0 \\ 0 &\text{si } x+y=0 \end{cases} \end{equation*}

Évaluez, si possible, $\pdiff{f}{x}(0,0)$ et $\pdiff{f}{y}(0,0)\text{.}$

🔗
Est-ce que $f(x,y)$ est continue à $(0,0)\text{?}$

🔗

🔗

Réponse.

(a) $\pdiff{f}{x}(0,0)=1\text{,}$ $\pdiff{f}{y}(0,0)=4$

🔗

(b) Non.

🔗

9.

Considérez le cylindre dont la base est le cercle de rayon 1 dans le plan $xy$ centré à $(0,0)\text{,}$ et dont la pente est parallèle à la droite dans le plan $yz$ donnée par $z=y\text{.}$

🔗

Figure 2.3.18. Le cylindre pour l’exercice

🔗

Quand vous vous tenez au point $(0,-1,0)\text{,}$ Quelle est la pente de la surface si vous regardez dans la dircetion des $y$ positifs? Dans la direction des $x$ positifs?

🔗

Réponse.

1 respectivement 0

🔗

Pour mieux comprendre.

10.

Vous traversez un paysage vallonné. Considérez que l’axe des $z$ pointe vers le ciel, que l’axe des $x$ positifs pointe vers le sud, et que l’axe des $y$ positifs pointe vers l’est. Alors le paysage autour de vous est décrit par l’équation $z=f(x,y)\text{,}$ avec vous au point $(0,0,f(0,0))\text{.}$ La fonction $f(x,y)$ est différentiable.

🔗

Supposons que $f_y(0,0) \lt 0\text{.}$ Est-t-il possible que vous soyez sur un sommet? Expliquez.

🔗

Réponse.

Non: vous pouvez aller plus haut en vous déplaçant dans la direction des $y$ négatifs.

🔗

11.

Montrez que la fonction $z(x,y)=\frac{x+y}{x-y}$ vérifie

\begin{equation*} x\pdiff{z}{x}(x,y)+y\pdiff{z}{y}(x,y) = 0 \end{equation*}

🔗

Réponse.

Par la règle du quotient,

\begin{alignat*}{2} \pdiff{z}{x}(x,y) &=\frac{(1)(x-y)-(x+y)(1)}{(x-y)^2} &&=\frac{-2y}{(x-y)^2}\\ \pdiff{z}{y}(x,y) &=\frac{(1)(x-y)-(x+y)(-1)}{(x-y)^2} &&=\frac{2x}{(x-y)^2} \end{alignat*}

Ainsi,

\begin{equation*} x\pdiff{z}{x}(x,y)+y\pdiff{z}{y}(x,y) =\frac{-2xy+2yx}{(x-y)^2} =0 \end{equation*}

🔗

12.

Soit $f$ une fonction différentiable quelconque d’une variable. Définissez $z(x,y)=f(x^2+y^2)\text{.}$ Est-ce que l’équation

\begin{equation*} y\pdiff{z}{x}(x,y)-x\pdiff{z}{y}(x,y) = 0 \end{equation*}

est nécessairement satisfaite?

🔗

Réponse.

Oui.

🔗

13.

Trouvez, si possible, une fonction $f(x,y)$ pour laquelle $f_x(x,y)=e^y$ et $f_y(x,y)=e^x\text{.}$

🔗

Réponse.

Il n’existe pas une telle fonction $f(x,y)\text{.}$

🔗

14.

Trouvez les dérivées partielles spécifiées.

$f(x,y) = x^2y^3\text{;}$ $f_{xx}(x,y)\text{,}$ $f_{xyy}(x,y)\text{,}$ $f_{yxy}(x,y)$

🔗
$f(x,y) = e^{xy^2}\text{;}$ $f_{xx}(x,y)\text{,}$ $f_{xy}(x,y)\text{,}$ $f_{xxy}(x,y)\text{,}$ $f_{xyy}(x,y)$

🔗
$\displaystyle f(u,v,w) = \frac{1}{u+2v+3w}\ \text{,}$ $\displaystyle \frac{\partial^3 f}{\partial u\partial v\partial w}(u,v,w)\ \text{,}$ $\displaystyle \frac{\partial^3 f}{\partial u\partial v\partial w}(3,2,1)$

🔗

🔗

Réponse.

(a) $f_{xx}(x,y) = 2y^3$

🔗

$f_{yxy}(x,y) = f_{xyy}(x,y) = 12xy$

🔗

(b) $f_{xx}(x,y)= y^4e^{xy^2}$

🔗

$f_{xy}(x,y)= \big(2y+2xy^3\big)e^{xy^2}$

🔗

$f_{xxy}(x,y)= \big(4y^3 + 2xy^5\big)e^{xy^2}$

🔗

$f_{xyy}(x,y) = \big(2+10xy^2+4x^2y^4\big)e^{xy^2}$

🔗

$\displaystyle\frac{\partial^3 f}{\partial u\,\partial v\,\partial w}(3,2,1) = -0.0036 = -\frac{9}{2500}$

🔗

15.

Trouvez toutes les dérivées partielles de deuxième ordre de $f(x,y)=\sqrt{x^2+5y^2}\text{.}$

🔗

Réponse.

$f_{xx}=\frac{5y^2}{(x^2+5y^2)^{3/2}}$

🔗

$f_{xy}=f_{yx}=-\frac{5xy}{(x^2+5y^2)^{3/2}}$

🔗

$f_{yy}=\frac{5x^2}{(x^2+5y^2)^{3/2}}$

🔗

16.

Trouvez toutes les dérivées partielles spécifiées.

$f(x,y,z) = \arctan\big(e^{\sqrt{xy}}\big)\text{;}$ $f_{xyz}(x,y,z)$

🔗
$f(x,y,z) = \arctan\big(e^{\sqrt{xy}}\big) +\arctan\big(e^{\sqrt{xz}}\big) +\arctan\big(e^{\sqrt{yz}}\big)\text{;}$ $f_{xyz}(x,y,z)$

🔗
$f(x,y,z) = \arctan\big(e^{\sqrt{xyz}}\big)\text{;}$ $f_{xx}(1,0,0)$

🔗

🔗

Réponse.

(a) $f_{xyz}(x,y,z)=0$

🔗

(b) $f_{xyz}(x,y,z)=0$

🔗

Pour aller plus loin.

17.

Supposons que toutes les dérivées partielles de troisième ordre de la fonction $f(x,y,z)$ existent et sont continues. Montrez que

\begin{align*} f_{xyz}(x,y,z) &=f_{xzy}(x,y,z) =f_{yxz}(x,y,z) =f_{yzx}(x,y,z)\\ &=f_{zxy}(x,y,z) =f_{zyx}(x,y,z) \end{align*}

🔗

Réponse.

Nous devons dériver plusieurs égalités.

Fixons n’importe quel nombre réel $x$ et posons $g(y,z)=f_x(x,y,z)\text{.}$ Par le théorème de Clairaut, Théorème 2.3.16 $g_{yz}(y,z)=g_{zy}(y,z)\text{,}$ ainsi
\begin{equation*} f_{xyz}(x,y,z) = g_{yz}(y,z) =g_{zy}(y,z) = f_{xzy}(x,y,z) \end{equation*}

🔗
Pour tout nombre réel fixé $z\text{,}$ le théorème de Clairaut, Théorème 2.3.16 donne $f_{xy}(x,y,z)=f_{yx}(x,y,z)\text{.}$ Ainsi
\begin{equation*} f_{xyz}(x,y,z) = \pdiff{}{z} f_{xy}(x,y,z)= \pdiff{}{z} f_{yx}(x,y,z) =f_{yxz}(x,y,z) \end{equation*}
Jusqu’à présent, nous avons
\begin{equation*} f_{xyz}(x,y,z) = f_{xzy}(x,y,z)=f_{yxz}(x,y,z) \end{equation*}

🔗
Fixons n’importe quel nombre réel $y$ et posons $g(x,z)=f_y(x,y,z)\text{.}$ Par le théorème de Clairaut Théorème 2.3.16 $g_{xz}(x,z)=g_{zx}(x,z)\text{.}$ Ainsi,
\begin{equation*} f_{yxz}(x,y,z) = g_{xz}(x,z) =g_{zx}(x,z) = f_{yzx}(x,y,z) \end{equation*}
Jusqu’à présent, nous avons
\begin{equation*} f_{xyz}(x,y,z) = f_{xzy}(x,y,z)=f_{yxz}(x,y,z)= f_{yzx}(x,y,z) \end{equation*}

🔗
Pour tout nombre réel fixé $y\text{,}$ le théorème de Clairaut, Théorème 2.3.16 donne $f_{xz}(x,y,z)=f_{zx}(x,y,z)\text{.}$ Ainsi,
\begin{equation*} f_{xzy}(x,y,z) = \pdiff{}{y} f_{xz}(x,y,z)= \pdiff{}{y} f_{zx}(x,y,z) =f_{zxy}(x,y,z) \end{equation*}
Jusqu’à présent, nous avons
\begin{align*} f_{xyz}(x,y,z) &= f_{xzy}(x,y,z)=f_{yxz}(x,y,z)\\ &= f_{yzx}(x,y,z)=f_{zxy}(x,y,z) \end{align*}

🔗
Fixons n’importe quel nombre réel $z$ et posons $g(x,y)=f_z(x,y,z)\text{.}$ Par le théorème de Clairaut, Théorème 2.3.16 $g_{xy}(x,y)=g_{yx}(x,y)\text{.}$ Ainsi,
\begin{equation*} f_{zxy}(x,y,z) = g_{xy}(x,y) =g_{yx}(x,y) = f_{zxy}(x,y,z) \end{equation*}
Nous avons maintenant toues les égalités
\begin{align*} f_{xyz}(x,y,z) &= f_{xzy}(x,y,z)=f_{yxz}(x,y,z)\\ &= f_{yzx}(x,y,z)=f_{zxy}(x,y,z) = f_{zxy}(x,y,z) \end{align*}

🔗

🔗

18.

Soit $f(r,\theta)=r^m\cos m\theta$ une fonction de $r$ et de $\theta\text{,}$ où $m$ est un entier positif.

Trouvez les dérivées partielles de deuxième ordre $f_{rr}\text{,}$ $f_{r\theta}\text{,}$ $f_{\theta\theta}$ et évaluez leurs valeurs respectives à $(r,\theta)=(1,0)\text{.}$

🔗
Déterminez la valeur du nombre réel $\la$ tel que $f(r,\theta)$ satisfait l’équation différentielle
\begin{equation*} f_{rr}+\frac{\la}{r}f_r+\frac{1}{r^2}f_{\theta\theta}=0 \end{equation*}

🔗

🔗

Réponse.

(a) $f_{rr}(1,0)=m(m-1),\ f_{r\theta}(1,0)=0,\ f_{\theta\theta}(1,0)=-m^2$

🔗

(b) $\la=1$

🔗

19.

Soit $\a \gt 0$ une constante. Montrez que $\displaystyle u(x,y,z,t) =\frac{1}{t^{3/2}} e^{-(x^2+y^2+z^2)/(4\a t)}$ satisfait l’équation de la chaleur

\begin{equation*} u_t = \a\big(u_{xx} + u_{yy} + u_{zz} \big) \end{equation*}

pour tout $t \gt 0$

🔗

Réponse.

Comme

\begin{align*} u_t(x,y,z,t) &=-\frac{3}{2}\frac{1}{t^{5/2}} e^{-(x^2+y^2+z^2)/(4\a t)}\\ &\hskip1in +\frac{1}{4\a\,t^{7/2}}(x^2+y^2+z^2) e^{-(x^2+y^2+z^2)/(4\a t)}\\ u_x(x,y,z,t) &=-\frac{x}{2\a\,t^{5/2}} e^{-(x^2+y^2+z^2)/(4\a t)}\\ u_{xx}(x,y,z,t) &=-\frac{1}{2\a\,t^{5/2}} e^{-(x^2+y^2+z^2)/(4\a t)} +\frac{x^2}{4\a^2\,t^{7/2}} e^{-(x^2+y^2+z^2)/(4\a t)}\\ u_{yy}(x,y,z,t) &=-\frac{1}{2\a\,t^{5/2}} e^{-(x^2+y^2+z^2)/(4\a t)} +\frac{y^2}{4\a^2\,t^{7/2}} e^{-(x^2+y^2+z^2)/(4\a t)}\\ u_{zz}(x,y,z,t) &=-\frac{1}{2\a\,t^{5/2}} e^{-(x^2+y^2+z^2)/(4\a t)} +\frac{z^2}{4\a^2\,t^{7/2}} e^{-(x^2+y^2+z^2)/(4\a t)} \end{align*}

on a

\begin{align*} \a\big(u_{xx}\!+\!u_{yy}\!+\!u_{zz} \big) &=-\frac{3}{2\,t^{5/2}} e^{-(x^2+y^2+z^2)/(4\a t)} \!+\!\frac{x^2\!+\!y^2\!+\!z^2}{4\a\,t^{7/2}} e^{-(x^2+y^2+z^2)/(4\a t)}\\ &=u_t \end{align*}

🔗

Précédent Top Suivant

	\(x=0\)	\(x=0.01\)	\(x=0.1\)
\(y=-0.1\)	0.99500	1.00500	1.09965
\(y=-0.01\)	0.99995	1.01000	1.10512
\(y=0\)	1.0	1.01005	1.10517

Section 2.3 Dérivées partielles

Sous-section Motivation

Sous-section Définition des dérivées partielles

Définition 2.3.2. Dérivées partielles.

Définition 2.3.3.

Sous-section Interprétation géométrique des dérivées partielles

Sous-section Évaluation des dérivées partielles

Exemple 2.3.4.

Exemple 2.3.5.

Exemple 2.3.6.

Exemple 2.3.7. Calcul par la définition.

Exemple 2.3.8. L’Exemple 2.3.7 revisité.

Exemple 2.3.9. Les dérivées partielles sans la continuité.

Exemple 2.3.10.

Exemple 2.3.11.

Sous-section Dérivées d’ordre supérieur

Exemple 2.3.12.

Exemple 2.3.13.

Exemple 2.3.14.

Remarque 2.3.15.

Théorème 2.3.16. Théorème de Clairaut-Schwarz.

Démonstration.

Exemple 2.3.17. Un exemple où \(\frac{\partial^2\ f}{\partial x\partial y}(x_0,y_0) \ne\frac{\partial^2\ f}{\partial y\partial x}(x_0,y_0)\).

Exercices Exercices

Pour se pratiquer.

1.

2.

3.

4.

5.

6.

7.

8.

9.

Pour mieux comprendre.

10.

11.

12.

13.

14.

15.

16.

Pour aller plus loin.

17.

18.

19.