Sauter au contenu
Logo image

Section 2.5 Règle de dérivation des fonctions composées

La règle de dérivation des fonctions composées, souvent appelée la “règle de la chaîne”, à savoir
\begin{equation*} \diff{}{t}f\big(x(t)\big) = \diff{f}{x}\big(x(t)\big)\ \diff{x}{t}(t)\text{,} \end{equation*}
nous est déjà familière. On s’en sert, par exemple, lorsqu’on calcule
\begin{equation*} \diff{}{t}\sin(t^2) = \cos(t^2)\ 2t\text{.} \end{equation*}
Dans cet exemple, \(f(x)=\sin(x)\) et \(x(t)=t^2\text{.}\)
Nous allons généraliser la règle de dérivation des fonctions composées aux fonctions de plus d’une variable. Nous donnerons la formulation générale, en utilisant le langage matriciel développé dans la Section 2.4. Ceci nous permettra de donner un énoncé concis, qui reflète exactement l’idée de base, sans nous encombrer avec des notations lourdes faisant intervenir des dérivées partielles et des sommes qui apparaissent lorsque nous évitons le langage matriciel.
Sommairement, l’idée à retenir est que si \(f\) et \(g\) sont différentiables (et composables), alors la composée \(f\circ g\) sera différentiable également, mais aussi et surtout que l’approximation linéaire de la composition \(f\circ g\) est donnée par la composition des approximations linéaires \(\vD f\) et \(\vD g\text{,}\) ce qui correspond au produit matriciel. Plus précisément, nous avons le résultat suivant.
Il est important de comprendre que le terme de droite de l’égalité ci-haut est un produit matriciel
\begin{equation*} \underbrace{\vD f(g(\vr_0))}_{p\times n} \ \underbrace{\vD g(\vr_0)}_{n\times m}\text{.} \end{equation*}
Voyons maintenant quelques exemples.

Sous-section Quelques cas particuliers

Composition avec un chemin : \(f\circ \vr(t)\).

Soit \(\vr(t) = x(t)\vi + y(t)\vj + z(t) \vk\) un chemin différentiable et \(f\) définie sur une région de \(\R^3\) contenant la courbe \(\cC_\vr\text{.}\) Nous pouvons donc considérer \(F = f\circ \vr\text{,}\) c’est-à-dire \(F(t) = f(x(t),y(t), z(t))\text{.}\) Il s’agit d’une fonction d’une variable réelle, à valeurs réelles. Selon le Théorème 2.5.1, nous avons, en tout point \(t\text{,}\)
\begin{align*} F'(t) \amp = \vD F(t) = \vD(f\circ \vr)(t) = \vD f(\vr(t))\ \vD \vr (t) = \vD f(\vr(t))\ \vr'(t)\\ \amp = \left.\begin{bmatrix}\pdiff{f}{x}\amp \pdiff{f}{y} \amp \pdiff{f}{z} \end{bmatrix}\right|_{\vr(t)}\begin{bmatrix} x'(t) \\ y'(t) \\ z'(t)\end{bmatrix}\\ \amp = \left.\pdiff{f}{x}\right|_{\vr(t)} x'(t) + \left.\pdiff{f}{y}\right|_{\vr(t)} y'(t) +\left.\pdiff{f}{z}\right|_{\vr(t)} z'(t)\text{.} \end{align*}
On peut écrire aussi, en omettant le point d’évaluation des dérivées partielles (ce qui comporte un petit risque si l’on ne s’assure pas de bien avoir compris),
\begin{equation*} \diff{F}{t} = \pdiff{f}{x} \diff{x}{t} + \pdiff{f}{y} \diff{y}{t}+\pdiff{f}{z} \diff{z}{t}. \end{equation*}
Par ailleurs, avec les variables de dérivation comme indices, ceci s’écrit
\begin{equation*} F'(t) = f_x(\vr(t))x'(t) + f_y(\vr(t))y'(t) + f_z(\vr(t))z'(t)\text{.} \end{equation*}
Exemple 2.5.2. \(\diff{}{t}f\big(x(t),y(t)\big)\).
Calculer \(\diff{}{t}f\big(x(t),y(t)\big)\) lorsque \(f(x,y)=x^2-y^2\) avec \(x(t)=\cos t \) et \(y(t)=\sin t \text{.}\)
Posons \(\vr(t) = x(t)\vi + y(t)\vj = \cos t \, \vi + \sin t\ \vj\) et \(F(t)=f\circ \vr(t) = f\big(x(t),y(t)\big)\text{.}\) Nous avons, d’une part,
\begin{equation*} \vD f = \begin{bmatrix} \pdiff{f}{x} \amp \pdiff{f}{y} \end{bmatrix} = \begin{bmatrix} 2x \amp -2y\end{bmatrix} \end{equation*}
et, d’autre part,
\begin{equation*} \vr'(t) = \begin{bmatrix} x'(t) \\ y'(t)\end{bmatrix} = \begin{bmatrix}-\sin t\\ \cos t\end{bmatrix}\text{,} \end{equation*}
de sorte que
\begin{align*} \diff{F}{t} \amp= \left.\pdiff{f}{x}\right|_{\vr(t)} x'(t) + \left.\pdiff{f}{y}\right|_{\vr(t)} y'(t)\\ \amp = 2x(t)\cdot x'(t) -2y(t)\cdot y(t) \\ \amp = (2\cos t)(-\sin t) +(-2\sin t)(\cos t) \\ \amp = -4\sin t\cos t \text{.} \end{align*}
Bien entendu, dans cet exemple, on peut calculer \(F(t)\) explicitement,
\begin{equation*} F(t)=f\big(x(t),y(t)\big)=x(t)^2-y(t)^2=\cos^2t-\sin^2t\text{,} \end{equation*}
puis calculer la dérivée
\begin{equation*} F'(t)=2(\cos t)(-\sin t)-2(\sin t)(\cos t) = -4 \sin t\cos t\text{.} \end{equation*}
Exemple 2.5.3. \(\diff{}{t}f(a+ct)\).
Dans cet exemple, la variable intermédiaire n’est pas donnée. Posons donc \(u(t)=a+ct\) et \(w(t) = f(a+ct) = f\big(u(t)\big)\text{.}\) Ainsi,
\begin{equation*} \diff{}{t}f(x+ct) =\diff{w}{t}(t) =\diff{f}{u}\big(u(t)\big) \diff{u}{t}(t) =c\, f'(a+ct)\text{.} \end{equation*}

Composition avec une fonction de deux variables.\(f(x(s,t), y(s,t))\).

Soit, comme avant, \(f\) une fonction de deux variables \(x,y\text{,}\) mais, cette fois, nous considérons qu’elles sont à leur tour des fonctions des variables \(s,t\text{.}\) Plus formellement, posons \(g(x,t) = x(s,t)\vi + y(s,t)\vj\) et supposons que \(g\) est différentiable. Alors, on peut définir \(F(s,t) = f(x(s,t),y(s,t))\text{,}\) qui est une fonction de deux variables réelles, à valeurs dans \(\R\text{.}\) Elle admet donc deux dérivées partielles, et sa dérivée est
\begin{equation*} \vD F = \begin{bmatrix} \pdiff{F}{s} \amp \pdiff{F}{t} \end{bmatrix}\text{.} \end{equation*}
Par ailleurs, le Théorème 2.5.1 nous dit aussi que
\begin{equation*} \vD F(s,t) = \vD (f\circ g)(s,t) = \vD f(g(s,t))\ \vD g(s,t). \end{equation*}
Or,
\begin{equation*} \vD f(g(s,t)) = \left. \begin{bmatrix} \pdiff{f}{x} \amp \pdiff{f}{y} \end{bmatrix}\right|_{g(s,t)} \qquad \text{ et } \qquad \vD g(s,t) = \left.\begin{bmatrix} \pdiff{x}{s}\amp \pdiff{x}{t} \\ \pdiff{y}{s} \amp \pdiff{y}{t}\end{bmatrix}\right|_{(s,t)}. \end{equation*}
Ceci donne directement
\begin{align*} \vD F(s,t) \amp = \begin{bmatrix} \pdiff{f}{x} \amp \pdiff{f}{y} \end{bmatrix} \begin{bmatrix} \pdiff{x}{s}\amp \pdiff{x}{t} \\ \pdiff{y}{s} \amp \pdiff{y}{t}\end{bmatrix} \\ \amp = \begin{bmatrix}\pdiff{f}{x}\pdiff{x}{s} + \pdiff{f}{y} \pdiff{y}{s} \amp \pdiff{f}{x}\pdiff{x}{t} + \pdiff{f}{y} \pdiff{y}{t} \end{bmatrix}. \end{align*}
Composante à composante, on déduit les formules usuelles
\begin{align} \pdiff{F}{s} &= \pdiff{f}{x}\, \pdiff{x}{s} +\pdiff{f}{y}\, \pdiff{y}{s}\tag{✶}\\ \pdiff{F}{t} &= \pdiff{f}{x}\, \pdiff{x}{t} +\pdiff{f}{y}\, \pdiff{y}{t}\text{,}\notag \end{align}
où il faut garder à l’esprit que les dérivées partielles de \(f\) sont évaluées en \(g(s,t) = (x(s,t),y(s,t))\text{.}\)
Exemple 2.5.4. \(\pdiff{}{s}f\big(x(s,t),y(s,t)\big)\).
Dans cet exemple, on trouve \(\pdiff{}{s}f\big(x(s,t),y(s,t)\big)\) lorsque
\begin{equation*} f(x,y)=e^{xy},\qquad x(s,t)=s, \qquad y(s,t)=\cos t\text{.} \end{equation*}
Posons \(F(s,t)=f\big(x(s,t),\,y(s,t)\big)\text{.}\) Le Théorème 2.5.1 ou, plus directement, la formule (✶) ci-haut donnent
\begin{equation*} \pdiff{F}{s}(s,t) = \pdiff{f}{x}\big(x(s,t),\,y(s,t)\big)\, \pdiff{x}{s}(s,t) +\pdiff{f}{y}\big(x(s,t),\,y(s,t)\big)\, \pdiff{y}{s}(s,t)\text{.} \end{equation*}
Pour les fonctions données,
\begin{align*} f(x,y)&=e^{xy},\\ \pdiff{f}{x}(x,y)&= ye^{xy}, & \pdiff{f}{x}\big(x(s,t),y(s,t)\big)&= y(s,t) e^{x(s,t)\,y(s,t)} = \cos t\ e^{s\cos t},\\ \pdiff{f}{y}(x,y)&= xe^{xy}, & \pdiff{f}{y}\big(x(s,t),y(s,t)\big)&= x(s,t) e^{x(s,t)\,y(s,t)} = s\ e^{s\cos t},\\ \pdiff{x}{s}&=1, & \pdiff{y}{s}&=0\text{,} \end{align*}
de sorte que
\begin{equation*} \pdiff{F}{s}(s,t)=\overbrace{\left\{\cos t\ e^{s\cos t}\right\}}^{\pdiff{f}{x}} \overbrace{(1) }^{\pdiff{x}{s}} +\overbrace{\left\{s\ e^{s\cos t}\right\}}^{\pdiff{f}{y}} \overbrace{(0) }^{\pdiff{y}{s}} = \cos t\ e^{s\cos t}\text{.} \end{equation*}
De la même façon, on calcule
\begin{equation*} \pdiff{F}{s}(s,t)=-s \sin t\, e^{s\cos t}\text{.} \end{equation*}
Exemple 2.5.5. Coordonnées polaires.
Soit \(z=f(x,y)\) donnée (et différentiable), avec \(x(r,\j) = r\cos \j\) et \(y(r,\j) = r\sin \j\text{.}\) Calculer les dérivées partielles de \(z\) par rapport à \(r\) et \(\j\text{.}\)
De nouveau, posons \(z(r,\j) = f(x(r,\j),y(r,\j))\text{.}\) Alors, la formule (✶) donne directement
\begin{equation*} \pdiff{z}{r} = \pdiff{f}{x}\pdiff{x}{r} + \pdiff{f}{y}\pdiff{y}{r} = \cos \j \pdiff{f}{x} + \sin \j \pdiff{f}{y}(\sin \j) \end{equation*}
et
\begin{align*} \pdiff{z}{\j} \amp =\pdiff{f}{x}\pdiff{x}{\j} + \pdiff{f}{y}\pdiff{y}{\j} = \pdiff{f}{x}(-r \sin \j) + \pdiff{f}{y}(r \cos \j) \\ \amp= -r\sin \j \pdiff{f}{x} + r\cos \j \pdiff{f}{y} \text{.} \end{align*}
Exemple 2.5.6.
Soit \(f(x,y)\) une fonction différentiable et \(F(s,t) = f(s^2 - t^2, t^2-s^2)\text{.}\) Calculer \(\displaystyle t\pdiff{F}{s} + s \pdiff{F}{t}\text{.}\)
De nouveau, dans cet exemple, les variables intermédiaires ne sont pas données. Posons donc \(g(s,t) = (x(s,t),y(s,t)) = (s^2 - t^2, t^2 - s^2)\text{,}\) de sorte que \(F(s,t) = f\circ g(s,t)\text{.}\)
Nous avons, toujours d’après (✶) :
\begin{equation*} \pdiff{F}{s} = \pdiff{f}{x}\pdiff{x}{s} + \pdiff{f}{y}\pdiff{y}{s} = 2s \pdiff{f}{x} -2s\pdiff{f}{y}\text{,} \end{equation*}
et donc \(\displaystyle t\pdiff{F}{s} = 2ts\left( \pdiff{f}{x} - \pdiff{f}{y}\right)\text{.}\)
De la même façon,
\begin{equation*} \pdiff{F}{t} = \pdiff{f}{x}\pdiff{x}{t} + \pdiff{f}{y}\pdiff{y}{t} = -2t \pdiff{f}{x} +2t\pdiff{f}{y}\text{,} \end{equation*}
et donc \(\displaystyle t\pdiff{F}{t} = 2ts\left( -\pdiff{f}{x} + \pdiff{f}{y}\right)\text{.}\) Il s’ensuit que
\begin{equation*} t\pdiff{F}{s} + s \pdiff{F}{t} = 2st\left( \pdiff{f}{x} - \pdiff{f}{y}\right) + 2st\left(-\pdiff{f}{x} + \pdiff{f}{y}\right) = 0\text{.} \end{equation*}

Sous-section Plus d’exemples, et une preuve

Revenons au cas général et écrivons \(\vx\) au lieu de \(\vr\text{,}\) avec
\begin{equation*} \vx = \begin{bmatrix}x_1 \\ \vdots \\ x_m\end{bmatrix},\ \vu = \begin{bmatrix}u_1 \\ \vdots \\ u_n\end{bmatrix} = g(\vx) = \begin{bmatrix}g_1(\vx)\\ \vdots \\ g_n(\vx)\end{bmatrix}, \text{ puis } \vz = \begin{bmatrix}z_1 \\ \vdots \\ z_p\end{bmatrix} = f(\vu)\text{.} \end{equation*}
Ainsi, \(\vz = f\circ g(\vx)\text{,}\) et nous avons \(p\) variables \(z_1,\ldots,z_p\) qui dépendent des \(m\) variables \(x_1,\ldots, x_m\text{.}\) La fonction \(F = f\circ g\) va d’une partie de \(\R^m\) dans \(\R^p\text{.}\) Sa dérivée évaluée en un point est donc une matrice ayant \(p\) rangées et \(m\) colonnes.
\begin{equation*} \vD F(\vx) = \vD (f\circ g)(\vx) = \vD f(g(\vx))\, \vD g(\vx) = \vD f(\vu)\, \vD g(\vx). \end{equation*}
L’entrée en position \((i,j)\) de cette matrice est \(\pdiff{z_i}{x_j}\text{.}\) Elle s’obtient en multipliant la \(i^{\text{ième}}\) rangée de \(\vD f(\vu)\) avec la \(j^{\text{ième}}\) colonne de \(\vD g(\vx)\text{.}\) Cette rangée et cette colonne sont, respectivement,
\begin{equation*} \begin{bmatrix} \pdiff{z_i}{u_1} \amp \pdiff{z_i}{u_2} \amp \ldots \amp \pdiff{f_i}{u_n}\end{bmatrix}\qquad \text{ et } \qquad \begin{bmatrix}\pdiff{u_1}{x_j}\\ \pdiff{u_2}{x_j} \\ \vdots \\ \pdiff{u_n}{x_j} \end{bmatrix}. \end{equation*}
On en déduit donc la formule
\begin{align} \pdiff{z_i}{x_j} & = \sum_{k=1}^n \pdiff{z_i}{u_k}\, \pdiff{u_k}{x_j}\text{,}\tag{✶✶} \end{align}
où, à nouveau, il faut garder à l’esprit que les dérivées partielles de \(z_i\) sont évaluées en \(\vu\text{.}\)
Dans la pratique, la différentiabilité est assurée par la continuité des dérivées partielles (c’est le Théorème 2.4.7).
Bien que le Théorème 2.5.1 ne requière pas la continuité des dérivées partielles, la preuve que nous présentons plus bas sera faite avec cette hypothèse supplémentaire.

Exemple 2.5.7.

Soit \(g(s,t) = \left( st, \frac{1}{2}(t^2 - s^2)\right)\) et \(f(x,y) = (x+y,y,x^2)\text{.}\) Posons \(F(s,t) = f \circ g\, (s,t)\text{.}\) Notons que \(F\) est une fonction de deux variables qui prend des valeurs dans \(\R^3\text{.}\) On a
\begin{equation*} \vD F(s,t) = \vD f(g(s,t))\, \vD g(s,t). \end{equation*}
Or, on calcule sans peine
\begin{equation*} \vD f(x,y) = \begin{bmatrix}1\amp 1 \\ 0 \amp 1\\ 2x \amp 0 \end{bmatrix} \qquad \text{ et } \qquad \vD g(s,t) = \begin{bmatrix} t\amp s \\ -s \amp t \end{bmatrix}. \end{equation*}
La dérivée de \(f\) doit être évaluée en \(g(s,t)\text{.}\) Il vient donc que
\begin{equation*} \vD F(s,t)= \begin{bmatrix}1\amp 1 \\ 0 \amp 1\\ 2st \amp 0 \end{bmatrix} \begin{bmatrix} t\amp s \\ -s \amp t \end{bmatrix} = \begin{bmatrix}t-s \amp s+t\\ -s \amp t\\ 2st^2 \amp 2s^2t \end{bmatrix}\text{.} \end{equation*}
On vérifie aisément que
\begin{equation*} F(s,t) = \left(st + \frac{1}{2}(t^2 - s^2), \frac{1}{2}(t^2- s^2), s^2 t^2\right). \end{equation*}
Les entrées de la troisième rangée de \(\vD f(s,t)\text{,}\) à savoir \(2st^2\) et \(2s^2 t\text{,}\) sont les dérivées partielles de la troisième composante de \(F(s,t)\text{,}\) à savoir \(s^2 t^2\text{,}\) par rapport aux variables \(s\) et \(t\) respectivement.

Démonstration du Théorème 2.5.1.

La stratégie de la preuve suivra la progression des exemples que nous avons rencontrés, à savoir :
  • Dans un premier temps, on considère le cas où \(g\) est un chemin dans \(\R^n\text{,}\) c’est-à-dire une fonction d’une seule variable, \(t\text{,}\) puis \(f\) prend des valeurs dans \(\R\text{.}\)
  • Une fois le premier cas traité, tout en gardant \(f\) comme une fonction à valeurs dans \(\R\text{,}\) on permettra à \(g\) d’être une fonction de plusieurs variables. Comme la dérivation partielle par rapport à une variable laisse fixes toutes les autres, ce deuxième cas suivra directement du premier.
  • Finalement, on permet à \(f\)de prendre des valeurs dans \(\R^p\text{.}\) Ceci revient à dire que \(f\) est donnée par \(p\) fonctions \(f_1, \ldots, f_p\text{.}\) Ainsi, \(f\circ g\) est la donnée de \(p\) fonctions comme celles qui ont été considérées dans le point précédent, à savoir \(f_1 \circ g,\, f_1 \circ g \ldots,\, f_p \circ g\text{.}\) Le résultat suivra.
Afin de traiter le premier cas, faisons, pour des fins d’écriture, l’hypothèse supplémentaire que \(g\) est un chemin dans \(\R^2\text{,}\) c’est-à-dire \(g : t \mapsto (x(t), y(t))\text{.}\) On se donne aussi \(f:(x,y)\mapsto f(x,y)\) et l’on s’intéresse à \(F(t) = (f\circ g) (t)\text{.}\) Nous avons, par définition,
\begin{align*} \diff{F}{t}(t_0) \amp= \lim_{t\to t_0} \frac{F(t) - F(t_0)}{t-t_0} = \lim_{t\to t_0} \frac{f(g(t)) - f(g(t_0))}{t-t_0} \\ \amp = \lim_{t\to t_0} \frac{f(x(t),y(t)) - f(x(t_0), y(t_0))}{t-t_0}\text{.} \end{align*}
Or, on peut écrire le numérateur du quotient comme
\begin{equation*} \underbrace{f(x(t), y(t)) - f(x(t_0), y(t))}_{y(t) \text{ est fixe}} + \underbrace{f(x(t_0), y(t)) - f(x(t_0), y(t_0)).}_{x(t_0) \text{ est fixe}} \end{equation*}
Les deux premiers termes sont la différence des valeurs de \(f\) évaluée en deux points dont le deuxième argument est fixe, à savoir \(y(t)\text{.}\) De même, les deux derniers termes sont la différence de deux valeurs de \(f\) évaluée en deux points dont le premier argument, \(x(t_0)\text{,}\) est fixe.
Étant donné qu’on suppose que \(f\) admet des dérivées partielles continues, le théorème des accroissements finis appliqué à \(f\) comme fonction de chacune des variables séparément donne qu’il existe
  • un réel \(x^\ast \) entre \(x(t)\) et \(x(t_0)\) tel que
    \begin{equation*} f(x(t),y(t)) - f(x(t_0),y(t)) = \pdiff{f}{x}(x^\ast, y(t))\cdot (x(t) - x(t_0))\text{;} \end{equation*}
  • un réel \(y^\ast \) entre \(y(t)\) et \(y(t_0)\) tel que
    \begin{equation*} f(x(t_0),y(t)) - f(x(t_0),y(t_0)) = \pdiff{f}{y}(x(t_0), y^\ast) \cdot (y(t) - y(t_0))\text{.} \end{equation*}
Ainsi, le quotient des différences qui nous intéresse est
\begin{align*} \frac{F(t) - F(t_0)}{t-t_0} \amp = \frac{f(x(t),y(t)) - f(x(t_0), y(t_0))}{t-t_0}\\ \amp = \frac{ \pdiff{f}{x}(x^\ast, y(t))\cdot (x(t) - x(t_0)) + \pdiff{f}{y}(x(t_0), y^\ast) \cdot (y(t) - y(t_0)) }{t-t_0}\\ \amp = \pdiff{f}{x}(x^\ast, y(t)) \frac{x(t) - x(t_0)}{t-t_0} + \pdiff{f}{y}(x(t_0), y^\ast) \frac{y(t) - y(t_0) }{t-t_0} \text{.} \end{align*}
Il suit de la continuité des dérivées partielles de la fonction \(f\) et de la définition de la dérivée de \(x\) et \(y\) comme fonctions de \(t\) que la limite qui nous intéresse est
\begin{equation*} \pdiff{f}{x}(x(t_0), y(t_0))\cdot x'(t_0) + \pdiff{f}{y}(x(t_0), y(t_0))\cdot y'(t_0)\text{.} \end{equation*}
Or, nous avons
\begin{align*} \vD f(x(t_0),y(t_0)) \amp = \begin{bmatrix} \pdiff{f}{x}(x(t_0),y(t_0)) \amp \pdiff{f}{y}(x(t_0),y(t_0))\end{bmatrix} \text{et} \\ \vD g(t_0) \amp = \begin{bmatrix}x'(t_0)\\ y'(t_0)\end{bmatrix}. \end{align*}
Nous obtenons le résultat voulu.
Voyons une application de la règle des fonctions composées au calcul d’erreurs relatives. Nous avons vu, à la Définition 2.4.18, que l’erreur relative lors du calcul ou de la mesure de \(f\) est, par définition, \(\left| \frac{\De f}{f}\right|\text{.}\)
Près du point d’évaluation \(\vr_0\text{,}\) la variation \(\De f\) (qui résulte d’une variation \(\De \vr\)) est approchée par
\begin{equation*} df = \vD f(\vr_0)\, \De \vr. \end{equation*}
Supposons que \(f(\vr_0) \ne 0\) et posons alors \(g(\vr = \ln(f(\vr)))\text{,}\) de sorte que, en vertu de la règle des fonctions composées, Supposons que \(f(\vr_0) \ne 0\) et posons alors \(g(\vr) = \ln(f(\vr))\text{,}\) de sorte que, en vertu de la règle des fonctions composées,
\begin{equation*} \vD g(\vr_0) = \frac{1}{f(\vr_0)}\vD f(\vr_0)\text{,} \end{equation*}
et donc la différentielle de \(g\) (en \(\vr_0\)) vaut
\begin{equation*} dg = \vD g(\vr_0)\, \De \vr = \frac{1}{f(\vr_0)}\vD f(\vr_0)\, \De \vr = \frac{1}{f(\vr_0)} df\text{.} \end{equation*}

Exemple 2.5.8.

Soit \(T(l,g) = 2\pi \sqrt{l/g}\text{.}\) Si \(l\) et \(g\) sont mesurées avec des erreurs relatives d’au plus \(1\ \%\text{,}\) montrer qu’il en va de même pour \(T\text{.}\)
Solution.
Posons \(\vr = (l,g)\) et \(w = \ln T(l,g) = \ln(2\pi) + \frac{1}{2}\ln l - \frac{1}{2} \ln g\text{.}\) Alors,
\begin{equation*} dw = \vD w(\vr) d\vr = \begin{bmatrix}\frac{1}{2l} \amp \frac{-1}{2g}\end{bmatrix} \begin{bmatrix}dl\\ dg\end{bmatrix} = \frac{dl}{2l} - \frac{dg}{2g}. \end{equation*}
Ainsi, nous avons
\begin{align*} \left| \frac{dT}{T} \right| \amp = |dw| = \frac{1}{2}\left| \frac{dl}{l} - \frac{dg}{g} \right| \leqslant \frac{1}{2}\left(\left| \frac{dl}{l}\right| + \left|\frac{dg}{g}\right| \right) \\ \amp \leqslant \frac{1}{2}\left( \frac{1}{100} + \frac{1}{100}\right) = \frac{1}{100}\text{.} \end{align*}

Sous-section Les fonctions implicites

Une application importante de la règle de dérivation des fonctions composées est la technique de dérivation implicite. Celle-ci repose sur le théorème des fonctions implicites, qui est valable dans un cadre très général, mais dont la preuve dépasse le cadre de ce manuel. Contentons-nous de faire une discussion informelle dans le cas de deux variables.
Supposons que nous avons une courbe du plan donnée par l’équation \(f(x,y) = 0\) et que nous avons aussi un paramétrage de cette courbe \(\vr(t) = x(t)\vi + y(t)\vj\text{.}\) Ainsi, nous devons avoir
\begin{equation*} 0 = f(x(t), y(t)) = f\circ \vr (t). \end{equation*}
D’après la formule de dérivation des fonctions composées, après dérivation par rapport à \(t\text{,}\) nous avons
\begin{equation*} 0 = \vD(f\circ \vr) = (\vD f)\, \vr' = \pdiff{f}{x}\diff{x}{t} + \pdiff{f}{y}\diff{y}{t}. \end{equation*}
Ainsi, nous avons que le vecteur \(\pdiff{f}{x}\vi + \pdiff{f}{y}\vj\) (que nous appellons le “gradient de \(f\)”, il jouera un rôle crucial dans les sections à venir) est orthogonal au vecteur vitesse \(\vr'(t_0) = x'(t_0)\,\vi + y'(t_0)\, \vj\) et donc orthogonal à la courbe. Si \((x_0,y_0) =\vr(t_0)\) est un point sur la courbe, la connaissance du vecteur normal nous permet d’obtenir directement une équation de la tangente, à savoir
\begin{equation*} \pdiff{f}{x}(x_0,y_0)(x-x_0) +\pdiff{f}{y}(x_0,y_0)(y-y_0) = 0. \end{equation*}
Une courbe et quelques tengentes
Figure 2.5.9. Une courbe \(f(x,y)= 0\) ainsi que quelques tangentes. Autour de \(P_1\text{,}\) on ne peut isoler pour \(y\) en fonction de \(x\) : deux valeurs distinctes correspondent à \(\hat{x}_1\text{,}\) la tangente est verticale. Les rôles sont échangés autour de \(P_2\text{.}\) Par contre, autour de \(P_3\text{,}\) on peut isoler n’importe laquelle des deux variables en termes de l’autre. La tangente n’est ni verticale ni horizontale.
Si \(\pdiff{f}{y}(x_0,y_0) \ne 0\text{,}\) la tangente n’est pas verticale, et sa pente est précisément
\begin{equation*} \frac{-\pdiff{f}{x}(x_0,y_0)}{\pdiff{f}{y}(x_0,y_0)}\text{.} \end{equation*}
Par ailleurs, si, dans cette situation, on a en plus que les dérivées partielles sont continues, alors il existe un voisinage de \(x_0\) où chaque valeur de \(x\) détermine une unique valeur de \(y\text{,}\) qu’on note \(y(x)\text{,}\) telle que \((x,y(x))\) se trouve sur la courbe. On dit alors que “la relation \(f(x,y)=0\) définit implicitement \(y\) comme fonction de \(x\) près de \(x_0\)”. De plus, cette fonction est dérivable et, puisque la dérivée \(y'(x_0)\) est la pente de la tangente, on s’attend à avoir \(y'(x_0) = \frac{-\pdiff{f}{x}(x_0,y_0)}{\pdiff{f}{y}(x_0,y_0)}.\) Ce résultat peut être obtenu avec la règle de dérivation des fonctions composées. En partant de \(f(x,y) = 0\text{,}\) après dérivation par rapport à \(x\text{,}\) on obtient
\begin{align} 0 = \diff{}{x}f(x,y(x)) = \pdiff{f}{x}\diff{x}{x} + \pdiff{f}{y}\diff{y}{x} = \pdiff{f}{x} + \pdiff{f}{y}\diff{y}{x} \amp \text{,}\tag{✶} \end{align}
d’où le résultat voulu.
Notons que, si nous avons plutôt \(\pdiff{f}{x}(x_0,y_0)\ne 0\text{,}\) nous pouvons reprendre les arguments ci-haut et obtenir \(x = x(y)\) et, sans surprise,
\begin{equation*} x'(y_0)= \frac{-\pdiff{f}{y}(x_0,y_0)}{\pdiff{f}{x}(x_0,y_0)}\text{.} \end{equation*}
Pour les fonctions à plus de deux variables, nous avons quelque chose de semblable : le fait d’avoir une dérivée partielle qui ne s’annule pas permet de définir implicitement l’une des variables comme fonction des deux autres. Cette fonction admet des dérivées partielles, et la règle de dérivation des fonctions composées permet de les calculer.
Sans aller dans les détails, contentons-nous d’énoncer le théorème des fonctions implicites pour les fonctions à trois variables.
Comme cela a été mentionné plus haut, la preuve dépasse le cadre de ce texte. C’est le point 1 qui est délicat, mais, si l’on accepte l’existence de la fonction \(z= g(x,y)\text{,}\) on obtient les formules du point 2 avec la règle de la chaîne, de la même façon que ce qui a été fait en (✶), à savoir
\begin{equation*} 0 = \pdiff{}{x}f(x,y,z(z,y)) = \pdiff{f}{x}\pdiff{x}{x} + \pdiff{f}{y}\pdiff{y}{x} + \pdiff{f}{z}\pdiff{z}{x} = \pdiff{f}{x} + \pdiff{f}{z}\pdiff{z}{x}\text{,} \end{equation*}
où la dernière égalité suit du fait que \(x\) et \(y\) sont indépendantes. Il vient alors que
\begin{equation*} \pdiff{z}{x} = \frac{\pdiff{f}{x}}{\pdiff{f}{z}}. \end{equation*}
Encore une fois, il serait tentant de penser que ceci découle de “simplifier les fractions”, mais il n’en est rien.
On procède de la même façon, mais en dérivant par rapport à \(y\) pour obtenir la deuxième formule.
Voyons quelques exemples.

Exemple 2.5.11.

Supposons que trois quantités, \(x,y\) et \(z\text{,}\) sont liées par la relation \(x-z =\arctan (yz)\text{.}\) Trouver les dérivées partielles \(\pdiff{z}{x}\) et \(\pdiff{z}{y}\text{.}\)
Posons \(f(x,y,z) = x-z-\arctan(yz)\text{,}\) de sorte que l’égalité donnée équivaut à \(f(x,y,z) = 0\text{.}\) On calcule alors \(\pdiff{f}{z} = -1-\frac{y}{1+y^2z^2}\text{.}\) Ainsi, la relation donnée définit implicitement \(z\) en fonction de \(x\) et \(y\) sauf lorsque \(1+y^2 z^2 =-y\text{.}\) Par ailleurs :
  • \(\pdiff{f}{x} = 1\text{,}\) d’où \(\displaystyle \pdiff{z}{x} = \frac{-\pdiff{f}{x}}{\pdiff{f}{z}} = \frac{-1}{-1-\frac{y}{y^2 z^2}} = \frac{1+y^2 z^2}{1+y}\text{;}\)
  • \(\pdiff{f}{y} = \frac{-z}{1+y^2 z^2}\text{,}\) d’où \(\displaystyle \pdiff{z}{y} = \frac{-\pdiff{f}{x}}{\pdiff{f}{z}} = \frac{\frac{z}{+1y^2 z^2}}{-1-\frac{y}{y^2 z^2}} = \frac{-z}{1+y^2 z^2 - y}\text{.}\)

Sous-section Procédure (optionnelle)

L’approche présentée ci-haut est plutôt abstraite, dans le sens qu’elle met l’accent sur la dérivée en la considérant comme une application linéaire. D’un point de vue très pratique, il importe de pouvoir effectuer les calculs des dérivées partielles. Ci-après, on présente une démarche qui peut être utile les premières fois qu’on effectue ce genre de calculs.
  • Étape 1 : Écrire explicitement toutes les fonctions concernées et spécifier les arguments (les variables) de chacune d’elles. Il faut s’assurer que des fonctions différentes ont des noms différents. Au besoin, on pourra introduire de nouveaux noms pour certaines fonctions. Dans le cas du Théorème 2.5.1, cette liste est :
    \begin{equation*} f(x,y),\qquad x(s,t),\qquad y(s,t),\qquad F(s,t)=f\big(x(s,t),y(s,t)\big)\text{.} \end{equation*}
    Bien que les fonctions \(f\) et \(F\) soient intimement liées, elles ne sont pas la même chose. L’une est une fonction de \(x\) et \(y\) tandis que l’autre est une fonction de \(s\) et \(t\text{.}\)
  • Étape 2 : Écrire le modèle
    \begin{equation*} \pdiff{F}{s}=\frac{\partial f}{ }\frac{ }{\partial s}\text{.} \end{equation*}
    Noter que
    • la fonction \(F\) apparaît une fois dans le numérateur à gauche, et la fonction \(f\text{,}\) à partir de laquelle \(F\) est définie au moyen d’un changement de variables, apparaît une fois dans le numérateur à droite;
    • la variable du dénominateur de gauche apparaît une fois dans le dénominateur de droite.
  • Étape 3 : Remplir les espaces restants avec chacune des variables pour lesquelles cela a du sens, c’est-à-dire chacune des variables de la fonction \(f\text{.}\) En particulier, si \(f\) est une fonction de \(x\) et \(y\text{,}\) elle peut être dérivée par rapport à \(x\) et \(y\) seulement. Ainsi, on ajoute deux copies du modèle ci-haut, une pour \(x\) et une pour \(y\) :
    \begin{equation*} \pdiff{F}{s} =\pdiff{f}{x }\pdiff{x }{s} +\pdiff{f}{y }\pdiff{y }{s}\text{.} \end{equation*}
    Remarquer que \(x\) et \(y\) sont des fonctions de \(s\text{,}\) de sorte que les dérivées partielles \(\pdiff{x }{s}\) et \(\pdiff{y }{s}\) sont définies. Le premier terme, \(\pdiff{f}{x }\pdiff{x }{s}\text{,}\) tient compte de la variation de \(x\) par rapport à \(s\text{,}\) et le second terme, \(\pdiff{f}{y }\pdiff{y }{s}\text{,}\) tient compte de la variation de \(y\) par rapport à \(s\text{.}\)
  • Étape 4 : Écrire explicitement la relation fonctionnelle et ses variables. Il y a une seule relation fonctionnelle qui a du sens. Le terme de gauche est une fonction des variables \(s\) et \(t\text{.}\) Ainsi, le terme de droite doit aussi être une fonction de ces variables. Comme \(f\) est une fonction de \(x\) et \(y\text{,}\) ceci est obtenu en évaluant \(f\) en \(x=x(s,t)\) et \(y=y(s,t)\text{.}\)
    \begin{equation*} \pdiff{F}{s}(s,t)= \pdiff{f}{x}\big(x(s,t),y(s,t)\big) \pdiff{x}{s}(s,t) +\pdiff{f}{y}\big(x(s,t),y(s,t)\big) \pdiff{y}{s}(s,t) \end{equation*}
    Si l’on omet les arguments, ou si l’on oublie quels sont ces arguments, il est possible d’oublier que \(\pdiff{f}{x}\) et \(\pdiff{f}{y}\) dépendent de \(s\) et \(t\text{.}\) Ainsi, si l’on doit calculer une autre dérivée, on aura des problèmes pour différentier les facteurs \(\pdiff{f}{x}\big(x(s,t),y(s,t)\big)\) et \(\pdiff{f}{y}\big(x(s,t),y(s,t)\big)\text{.}\)
Afin de s’aider à retenir les formules du Théorème 2.5.1, il peut être utile de penser que les variables sont des quantités physiques : \(f\) et \(F\) mesurées en grammes, \(x\) et \(y\) mesurées en mètres, et \(s\) et \(t\) mesurées en secondes. Notons alors que
  • le terme de gauche, \(\pdiff{F}{s}\text{,}\) a pour unités des grammes par seconde;
  • chaque terme du côté droit contient la dérivée partielle de \(f\) par rapport à une variable différente. La variable indépendante apparaît une fois dans le dénominateur et une fois dans le numérateur, de sorte que ses unités (dans notre cas des mètres) s’annulent. Ainsi, les deux termes \(\pdiff{f}{x }\pdiff{x }{s}\) et \(\pdiff{f}{y }\pdiff{y }{s}\) à droite ont aussi des grammes par seconde comme unités.
Voici une représentation graphique qui utilise un arbre de dépendances afin de se rappeler de la règle de dérivation des fonctions composées. \(\pdiff{}{s}f\big(x(s,t),y(s,t)\big)= \pdiff{f}{x} \pdiff{x}{s} + \pdiff{f}{y}\pdiff{y}{s} \text{.}\) Comme dans la figure de gauche ci-bas :
  • Écrire, dans la rangée supérieure, “\(f\)”;
  • Écrire, dans la rangée du milieu, chacune des variables de la fonction \(f(x,y)\text{,}\) c’est-à-dire “\(x\)” et “\(y\)”;
  • Écrire, dans la rangée inférieure,
    • sous \(x\text{,}\) chacune des variables desquelles \(x(s,t)\) dépend, dans ce cas “\(s\)” et “\(t\)”, et,
    • sous \(y\text{,}\) chacune des variables desquelles \(y(s,t)\) dépend, à savoir “\(s\)” et “\(t\)”;
  • Joindre par une ligne chaque fonction aux variables desquelles elle dépend;
  • Puis, comme dans la figure de droite ci-bas, écrire à côté de chaque ligne la dérivée partielle de la fonction au-dessus de la ligne par rapport à la variable sous celle-ci.
  • Finalement :
    • Remarquons, dans la figure ci-bas, qu’il y a deux chemins entre \(f\text{,}\) tout en haut, et \(s\text{,}\) tout en bas. L’un d’eux passe par \(x\) et l’autre passe par \(y\text{.}\)
    • Pour chaque chemin, on multiplie les dérivées partielles des deux côtés des traits qui composent le chemin. Dans cet exemple, les deux produits sont \(\pdiff{f}{x}\,\pdiff{x}{s}\) pour le premier chemin et \(\pdiff{f}{y}\,\pdiff{y}{s}\) pour le second.
    • On additionne tous ces produits, ce qui donne dans notre exemple \(\pdiff{f}{x}\,\pdiff{x}{s}+\pdiff{f}{y}\,\pdiff{y}{s}\text{.}\)
    • On écrit les arguments, comme à l’étape 4 ci-haut.
  • On obtient alors
    \begin{align*} \pdiff{}{s}f\big(x(s,t),y(s,t)\big) &= \pdiff{f}{x}\big(x(s,t),y(s,t)\big) \pdiff{x}{s}(s,t)\\ &\hskip0.5in +\pdiff{f}{y}\big(x(s,t),y(s,t)\big) \pdiff{y}{s}(s,t)\text{.} \end{align*}

Exemple 2.5.12.

Le terme de droite de l’égalité
\begin{align*} \diff{}{t}f\big(x(t),\,y(t),\,z(t)\big) &= \pdiff{f}{x}\big(x(t),\,y(t),\,z(t)\big)\, \diff{x}{t}(t) +\pdiff{f}{y}\big(x(t),\,y(t),\,z(t)\big)\, \diff{y}{t}(t)\\ &\hskip1in +\pdiff{f}{z}\big(x(t),\,y(t),\,z(t)\big)\, \diff{z}{t}(t)\text{,} \end{align*}
sans les variables, est \(\pdiff{f}{x}\, \diff{x}{t} +\pdiff{f}{y}\, \diff{y}{t} +\pdiff{f}{z}\, \diff{z}{t}\text{.}\) Le diagramme d’arbre qui correspond est le suivant :
Étant donné que \(x(t)\text{,}\) \(y(t)\) et \(z(t)\) sont des fonctions d’une seule variable, les dérivées indiquées dans les traits du bas sont des dérivées ordinaires, pas des dérivées partielles.

Exercices Exercices

Pour se pratiquer.

1.
Écrivez la règle de dérivation des fonctions composées pour toutes les fonctions suivantes.
  1. \(\pdiff{h}{x}\) pour \(h(x,y)=f\big(x,u(x,y)\big)\)
  2. \(\diff{h}{x}\) pour \(h(x)=f\big(x,u(x),v(x)\big)\)
  3. \(\pdiff{h}{x}\) pour \(h(x,y,z)=f\big(u(x,y,z),v(x,y),w(x)\big)\)
Réponse.
(a) \(\pdiff{h}{x}(x,y) =\pdiff{f}{x}\big(x,u(x,y)\big) +\pdiff{f}{u}\big(x,u(x,y)\big) \pdiff{u}{x}(x,y)\)
(b)
\begin{align*} \diff{h}{x}(x) &=\pdiff{f}{x}\big(x,u(x),v(x)\big) +\pdiff{f}{u}\big(x,u(x),v(x)\big) \diff{u}{x}(x)\\ &\hskip1in+\pdiff{f}{v}\big(x,u(x),v(x)\big) \diff{v}{x}(x) \end{align*}
(c)
\begin{align*} \pdiff{h}{x}(x,y,z) \amp =\pdiff{f}{u}\big(u(x,y,z),v(x,y),w(x)\big) \pdiff{u}{x}(x,y,z)\\ \amp\ \ +\pdiff{f}{v}\big(u(x,y,z),v(x,y),w(x)\big) \pdiff{v}{x}(x,y)\\ \amp\ \ +\pdiff{f}{w}\big(u(x,y,z),v(x,y),w(x)\big) \diff{w}{x}(x) \end{align*}
2.
Supposons que \(z = f (x, y)\) admet des dérivées partielles de deuxième ordre continues, et \(x = r \cos t\text{,}\) \(y = r \sin t\text{.}\) Exprimez les dérivées partielles suivantes en termes de \(r\text{,}\) \(t\text{,}\) et des dérivées partielles de \(f\text{.}\)
  1. \(\displaystyle \pdiff{z}{t}\)
  2. \(\displaystyle \frac{\partial^2 z}{\partial t^2}\)
Réponse.
(a)
\begin{align*} \pdiff{z}{t}(r,t) &= -r\sin t\ \pdiff{f}{x}(r\cos t\,,\,r\sin t) +r\cos t\ \pdiff{f}{y}(r\cos t\,,\,r\sin t) \end{align*}
(b)
\begin{align*} \frac{\partial^2 z}{\partial t^2}(r,t) &= -r\cos t \ \pdiff{f}{x} -r\sin t \ \pdiff{f}{y}\\ &\hskip0.5in +r^2\sin^2 t\ \frac{\partial^2 f}{\partial x^2} -2r^2\sin t\cos t\ \frac{\partial^2\ f}{\partial x\partial y} +r^2\cos^2 t\ \frac{\partial^2 f}{\partial y^2} \end{align*}
avec toutes les dérivées partielles de \(f\) évaluées à \((r\cos t\,,\,r\sin t)\text{.}\)
3.
Soit \(z = f(x, y)\text{,}\)\(f(x, y)\) des dérivées partielles de deuxième ordre continues, et
\begin{gather*} f_x (2, 1) = 5, \qquad f_y(2, 1) =-2,\\ f_{xx}(2, 1) = 2,\qquad f_{xy}(2, 1) = 1, \qquad f_{yy}(2, 1) = -4 \end{gather*}
Trouvez \(\difftwo{}{t} z\big(x(t),y(t)\big)\) lorsque \(x(t)=2t^2\text{,}\) \(y(t)=t^3\) et \(t=1\text{.}\)
Réponse.
\(28\)
4.
Supposez que \(f(x,y)\) est différentiable deux fois (avec \(f_{xy}=f_{yx}\)), et \(x=r\cos\theta\) et \(y=r\sin\theta\text{.}\)
  1. Évaluez \(f_\theta\text{,}\) \(f_r\) et \(f_{r\theta}\) en termes de \(r\text{,}\) \(\theta\) et les dérivées partielles de \(f\) par rapport à \(x\) et \(y\text{.}\)
  2. Soit \(g(x,y)\) une autre fonction satisfaisant \(g_x=f_y\) et \(g_y=-f_x\text{.}\) Exprimez \(f_r\) et \(f_\theta\) en termes de \(r\text{,}\) \(\theta\) et \(g_r\text{,}\) \(g_\theta\text{.}\)
Réponse.
(a)
\begin{align*} \pdiff{}{\theta}\big[f\big(r\cos\theta\,,\,r\sin\theta\big)\big] &=-r\sin\theta\, f_x +r\cos\theta\, f_y\\ \pdiff{}{r}\big[f\big(r\cos\theta\,,\,r\sin\theta\big)\big] &= \cos\theta\, f_x +\sin\theta\, f_y\\ \frac{\partial^2}{\partial \theta\,\partial r} \big[f\big(r\cos\theta\,,\,r\sin\theta\big)\big] &=-\sin\theta\, f_x +\cos\theta\, f_y\\ &\hskip0.5in -r\sin\theta\cos\theta\, f_{xx} +r[\cos^2\theta-\sin^2\theta]\, f_{xy}\\ &\hskip0.5in +r\sin\theta\cos\theta\, f_{yy} \end{align*}
avec les arguments de \(f_x\text{,}\) \(f_y\text{,}\) \(f_{xx}\text{,}\) \(f_{xy}\) et \(f_{yy}\) étant tous \(\big(r\cos\theta\,,\,r\sin\theta\big)\text{.}\)
(b)
\begin{align*} \pdiff{}{r}\big[f\big(r\cos\theta\,,\,r\sin\theta\big)\big] &=-\frac{1}{r} \pdiff{}{\theta}\big[g\big(r\cos\theta\,,\,r\sin\theta\big)\big]\\ \pdiff{}{\theta}\big[f\big(r\cos\theta\,,\,r\sin\theta\big)\big] &=r\pdiff{}{r}\big[g\big(r\cos\theta\,,\,r\sin\theta\big)\big] \end{align*}
5.
Évaluez
  1. \(\pdiff{y}{z}\) si \(e^{yz}-x^2 z \ln y = \pi\)
  2. \(\diff{y}{x}\) si \(F(x,y,x^2-y^2)=0\)
  3. \(\left(\pdiff{y}{x}\right)_u\) si \(xyuv=1\) et \(x+y+u+v=0\)
Réponse.
(a) \(\displaystyle\pdiff{y}{z}(x,z) =\frac{x^2 \ln y(x,z)-y(x,z)e^{y(x,z)\,z}} {ze^{y(x,z)\,z}-\frac{x^2 z}{y(x,z)}}\)
(b) \(\displaystyle\diff{y}{x}(x) =-\frac{F_1\big(x,y(x),x^2-y(x)^2\big)+2x\,F_3\big(x,y(x),x^2-y(x)^2\big)} {F_2\big(x,y(x),x^2-y(x)^2\big)-2y(x)\,F_3\big(x,y(x),x^2-y(x)^2\big)}\)
(c) \(\displaystyle\left(\pdiff{y}{x}\right)_u\!\!(x,u) =\frac{y(x,u)\,v(x,u)-x\,y(x,u)}{x\,y(x,u)-x\,v(x,u)}\)

Pour mieux comprendre.

6.
Une partie de la surface \(z=f(x,y)\) est montrée ci-dessous pour quelques fonctions différentiables \(f(x,y)\text{.}\) Les courbes de niveau \(f(x,y)=z_1\) sont marquées par des lignes bleues. Les trois points \(P_0\text{,}\) \(P_1\text{,}\) et \(P_2\) se trouvent sur la surface.
Sur la courbe de niveau \(z=z_1\text{,}\) on peut penser à \(y\) comme une fonction de \(x\text{.}\) Soit \(w(x)=f(x,y(x))=z_1\text{.}\) On approxime, à \(P_0\text{,}\) \(f_x(x,y) \approx \frac{\Delta f}{\Delta x}\) et \(\frac{dw}{dx}(x)\approx\frac{\Delta w}{\Delta x}\text{.}\) Identifiez les quantitées \(\Delta f\text{,}\) \(\Delta w\text{,}\) et \(\Delta x\) sur le diagramme.
Réponse.
Notez que \(w'(x)\) est le taux de variation de \(z\) en glissant le long de la ligne bleue, tandis que \(f_x(x,y)\) est le changement de \(z\) en glissant le long de la ligne orange.
Dans l’approximation \(f_x(x,y)\approx \frac{\Delta f}{\Delta x}\text{,}\) commençant au point \(P_0\text{,}\) \(\Delta x=x_2-x_1\) et \(\Delta f=z_2-z_1\text{.}\)
Dans l’approximation \(\diff{w}{x}\approx \frac{\Delta w}{\Delta x}\text{,}\) commençant au point \(P_0\text{,}\) \(\Delta x=x_2-x_1\) encore, et \(\Delta w=z_1-z_1=0\text{.}\)
7.
Soit \(w=f(x,y,t)\) avec \(x\) et \(y\) dépendant de \(t\text{.}\) Supposons qu’à un point \((x,y)\) et un temps \(t\text{,}\) les dérivées partielles \(f_x\text{,}\) \(f_y\) et \(f_t\) sont égales à \(2\text{,}\) \(-3\) et \(5\) respectivement, tandis que \(\diff{x}{t}=1\) et \(\diff{y}{t}=2\text{.}\) Trouvez et expliquez les différences entre \(\diff{w}{t}\) et \(f_t\text{.}\)
Réponse.
\(\diff{w}{t}=1\) et \(f_t=5\text{.}\) \(f_t\) donne le taux de variation de \(f(x,y,t)\) lorsque \(t\) varie tandis que \(x\) et \(y\) sont fixés. \(\diff{w}{t}\) donne le taux de variation de \(f\big(x(t),y(t),t\big)\text{.}\) Pour ce dernier, tous les \(x=x(t)\text{,}\) \(y=y(t)\) et \(t\) changent en même temps.
8.
Qu’est-ce qui ne fonctionne pas dans l’argument suivant? Supposez que \(w=f(x,y,z)\) et \(z=g(x,y)\text{.}\) Par la règle de dérivées en chaine,
\begin{gather*} \pdiff{w}{x} =\pdiff{w}{x}\pdiff{x}{x} +\pdiff{w}{y}\pdiff{y}{x} +\pdiff{w}{z}\pdiff{z}{x} =\pdiff{w}{x} +\pdiff{w}{z}\pdiff{z}{x} \end{gather*}
Ainsi, \(0=\pdiff{w}{z}\pdiff{z}{x}\) et donc \(\pdiff{w}{z}=0\) ou \(\pdiff{z}{x}=0\text{.}\)
Réponse.
Le problème est que \(\pdiff{w}{x}\) est utilisé pour représenter deux fonctions complètement différentes dans la même équation.
9.
Utilisez deux méthodes (une en utilisant la règle de dérivée en chaine) afin d’évaluer \(\pdiff{w}{s}\) et \(\pdiff{w}{t}\) étant donnée la fonction \(w=x^2+y^2+z^2\text{,}\) avec \(x=st,\ y=s\cos t\) et \(z=s\sin t\text{.}\)
Réponse.
\(w_s(s,t)=2s(t^2+1)\)
\(w_t(s,t)=s^2(2t)\)
10.
Évaluez \(\frac{\partial^3}{\partial x\partial y^2}f(2x+3y,xy)\) en termes des dérivées partielles de \(f\text{.}\) Vous pouvez assumer que \(f\) est une fonction lisse de façon à ce que le théorème de Clairaut et la règle des dérivées en chaine s’applique sur l’égalité des dérivées partielles mixes.
Réponse.
On a
\begin{align*} \frac{\partial^3}{\partial x\partial y^2}f(2x+3y,xy) &=6f_{12}+2x\,f_{22}+18\,f_{111}+(9y+12x)\,f_{112}\\ &\hskip0.25in+(6xy+2x^2)\,f_{122}+x^2y\,f_{222} \end{align*}
Toutes les fonctions du côté droit ont des arguments \((2x+3y,xy)\text{.}\) La notation \(f_{121}\text{,}\) par exemple, signifie qu’il faut d’abord dériver par rapport au premier argument puis, ensuite, par rapport au second argument et finalement par rapport au premier argument.
11.
Trouvez toutes les dérivées d’ordre deux de \(g(s,t)=f(2s+3t,3s-2t)\text{.}\) Vous pouvez assumer que \(f(x,y)\) est une fonction lisse de façon à ce que le théorème de Clairaut et la règle des dérivées en chaine s’applique sur l’égalité des dérivées partielles mixes.
Réponse.
\begin{align*} g_{ss}(s,t)&=4f_{11}(2s+3t,3s-2t)+12f_{12}(2s+3t,3s-2t)\\ &\hskip1in+9f_{22}(2s+3t,3s-2t)\\ g_{st}(s,t)&=6f_{11}(2s+3t,3s-2t)+5f_{12}(2s+3t,3s-2t)\\ &\hskip1in-6f_{22}(2s+3t,3s-2t)\\ g_{tt}(s,t)&=9f_{11}(2s+3t,3s-2t)-12f_{12}(2s+3t,3s-2t)\\ &\hskip1in+4f_{22}(2s+3t,3s-2t) \end{align*}
Ici \(f_1\) dénote la dérivée partielle de \(f\) en respect au premier argument, \(f_{12}\) signifie qu’il faut d’abord dériver \(f\) par rapport au premier argument puis, ensuite, par rapport au second argument et ainsi de suite.
12.
Supposons que \(f(x,y)\) satisfait l’équation de Laplace \(\frac{\partial^2 f}{\partial x^2}+\frac{\partial^2 f}{\partial y^2}=0\text{.}\) Montrez que c’est également le cas pour la fonction composée \(g(s,t) = f (s - t, s + t)\text{,}\) i.e. montrez que \(\frac{\partial^2 g}{\partial s^2}+\frac{\partial^2 g}{\partial t^2}=0\text{.}\) Vous pouvez également supposer que \(f(x,y)\) est une fonction lisse de telle sorte que la règle de la chaîne et le théorème de Clairaut sur l’égalité des dérivées partielles mixes s’appliquent.
Réponse.
Par la règle de dérivation en chaîne,
\begin{align*} \pdiff{g}{s}(s,t) &=\pdiff{}{s} f (s - t, s + t)\\ &= \pdiff{f}{x}\big(s-t\,,\,s+t\big)\pdiff{}{s}\big(s-t\big) +\pdiff{f}{y}\big(s-t\,,\,s+t\big)\pdiff{}{s}\big(s+t\big)\\ &= \pdiff{f}{x}\big(s-t\,,\,s+t\big) +\pdiff{f}{y}\big(s-t\,,\,s+t\big)\\ \frac{\partial^2 g}{\partial s^2}(s,t) &=\color{blue}{\pdiff{}{s}\left[\pdiff{f}{x}\big(s-t\,,\,s+t\big)\right]} +\color{red}{\pdiff{}{s}\left[\pdiff{f}{y}\big(s-t\,,\,s+t\big)\right]}\\ &=\color{blue}{ \frac{\partial^2 f}{\partial x^2}\big(s-t\,,\,s+t\big) +\frac{\partial^2 f}{\partial y\partial x}\big(s-t\,,\,s+t\big)}\\ &\hskip0.2in +\color{red}{\frac{\partial^2 f}{\partial x\partial y}\big(s-t\,,\,s+t\big) +\frac{\partial^2 f}{\partial y^2}\big(s-t\,,\,s+t\big)}\\ &=\left\{\frac{\partial^2 f}{\partial x^2}\big(s\!-\!t,s\!+\!t\big) + 2\frac{\partial^2 f}{\partial x\partial y}\big(s\!-\!t,s\!+\!t\big) +\frac{\partial^2 f}{\partial y^2}\big(s\!-\!t,s\!+\!t\big)\right\} \end{align*}
et
\begin{align*} \pdiff{g}{t}(s,t)&=\pdiff{}{t} f (s - t, s + t)\\ &= \pdiff{f}{x}\big(s-t\,,\,s+t\big)\pdiff{}{t}\big(s-t\big) +\pdiff{f}{y}\big(s-t\,,\,s+t\big)\pdiff{}{t}\big(s+t\big)\\ &= -\pdiff{f}{x}\big(s-t\,,\,s+t\big) +\pdiff{f}{y}\big(s-t\,,\,s+t\big)\\ \frac{\partial^2 g}{\partial t^2}(s,t) &=-\color{blue}{\pdiff{}{t}\left[\pdiff{f}{x}\big(s-t\,,\,s+t\big)\right]} +\color{red}{\pdiff{}{t}\left[\pdiff{f}{y}\big(s-t\,,\,s+t\big)\right]}\\ &= -\color{blue}{\Big[-\frac{\partial^2 f}{\partial x^2} \big(s-t\,,\,s+t\big) +\frac{\partial^2 f}{\partial y\partial x}\big(s-t\,,\,s+t\big)\Big]}\\ &\hskip0.2in +\color{red}{\Big[-\frac{\partial^2 f}{\partial x\partial y} \big(s-t\,,\,s+t\big) +\frac{\partial^2 f}{\partial y^2}\big(s-t\,,\,s+t\big) \Big]}\\ &=\left\{\frac{\partial^2 f}{\partial x^2}\big(s\!-\!t,s\!+\!t\big) - 2\frac{\partial^2 f}{\partial x\partial y}\big(s\!-\!t,s\!+\!t\big) +\frac{\partial^2 f}{\partial y^2}\big(s\!-\!t,s\!+\!t\big)\right\} \end{align*}
En omettant les arguments
\begin{align*} \frac{\partial^2 g}{\partial s^2} + \frac{\partial^2 g}{\partial t^2} &=\left\{\frac{\partial^2 f}{\partial x^2} + 2\frac{\partial^2 f}{\partial x\partial y} +\frac{\partial^2 f}{\partial y^2}\right\} +\left\{\frac{\partial^2 f}{\partial x^2} - 2\frac{\partial^2 f}{\partial x\partial y} +\frac{\partial^2 f}{\partial y^2}\right\}\\ &=2\left[\frac{\partial^2 f}{\partial x^2} +\frac{\partial^2 f}{\partial y^2}\right]\\ &=0 \end{align*}
tel que désiré.
13.
Soit \(z = f(x,y)\text{,}\)\(x = 2s + t\) et \(y = s - t\text{.}\) Trouvez les valeurs des constantes \(a\text{,}\) \(b\) et \(c\) telles que
\begin{equation*} a\frac{\partial^2 z}{\partial x^2} +b\frac{\partial^2 z}{\partial x\,\partial y} +c\frac{\partial^2 z}{\partial y^2} =\frac{\partial^2 z}{\partial s^2} +\frac{\partial^2 z}{\partial t^2} \end{equation*}
Vous pouvez supposer que \(z = f(x,y)\) est une fonction lisse de telle sorte que la règle de la chaîne et le théorème de Clairaut sur l’égalité des dérivées partielles mixes s’appliquent.
Réponse.
\(a=5\) et \(b=c=2\text{.}\)
14.
Soit \(F\) une fonction définie sur \(\R^2\text{.}\) Dénotons les points dans \(\R^2\) par \((u, v)\) et les dérivées partielles correspondantes de \(F\) par \(F_u(u, v)\text{,}\) \(F_v (u, v)\text{,}\) \(F_{uu}(u, v)\text{,}\) \(F_{uv}(u, v)\text{,}\) etc. Supposez que ces dérivées sont toutes continues. Exprimez
\begin{gather*} \frac{\partial^2}{\partial x\, \partial y} F(x^2 - y^2 , 2xy) \end{gather*}
en termes des dérivées partielles de la fonction \(F\text{.}\)
Réponse.
\begin{align*} \frac{\partial^2}{\partial x\, \partial y} F(x^2 - y^2 , 2xy) &= 2\, F_v(x^2 - y^2 , 2xy) -4xy\, F_{uu}(x^2 - y^2 , 2xy)\\ &\hskip0.5in +4(x^2-y^2)\, F_{uv}(x^2 - y^2 , 2xy)\\ &\hskip0.5in +4xy\, F_{vv}(x^2 - y^2 , 2xy) \end{align*}
15.
\(u(x,y)\) est définie par
\begin{equation*} u(x,y) = e^y\, F\big(xe^{-y^2}\big) \end{equation*}
pour une fonction arbitraire \(F(z)\text{.}\)
  1. Si \(F(z) = \ln(z)\text{,}\) trouvez \(\pdiff{u}{x}\) et \(\pdiff{u}{y}\text{.}\)
  2. Pour une fonction arbitraire \(F(z)\) montrez que \(u(x,y)\) satisfait
    \begin{equation*} 2xy\pdiff{u}{x} + \pdiff{u}{y} = u \end{equation*}
Réponse.
(a) \(\pdiff{u}{x}(x,y) = \frac{e^y}{x}\text{,}\) \(\pdiff{u}{y}(x,y) = e^y\,\ln (x) -y^2\,e^y -2y e^y\)
(b) En général
\begin{align*} 2xy\pdiff{u}{x} + \pdiff{u}{y} &=2xy\ e^y\, F'\big(xe^{-y^2}\big)\ e^{-y^2} +e^y\, F\big(xe^{-y^2}\big)\\ &\hskip1in + e^y\, F'\big(xe^{-y^2}\big)\ (-2xy)e^{-y^2}\\ &=e^y\, F\big(xe^{-y^2}\big)\\ &=u \end{align*}
16.
Soit \(f(x)\) et \(g(x)\) deux fonctions de \(x\) satisfaisant \(f''(7) = -2\) et \(g''(-4) = -1\text{.}\) Si \(z = h(s,t) = f(2s + 3t) + g(s - 6t)\) est une fonction de \(s\) et de \(t\text{,}\) trouvez la valeur de \(\frac{\partial^2 z}{\partial t^2}\) lorsque \(s = 2\) et \(t = 1\text{.}\)
Réponse.
\(-54\)
17.
Assumez que la fonction \(F(x,y,z)\) satisfait l’équation \(\frac{\partial F}{\partial z} = \frac{\partial^2 F}{\partial x^2} + \frac{\partial^2 F}{\partial y^2}\) et que les dérivées partielles \(\frac{\partial^2 F}{\partial x \partial y}\) et \(\frac{\partial^2 F}{\partial y \partial x}\) sont égales. Soit \(A\) une constante et soit \(G(\gamma, s, t) = F (\gamma + s, \gamma-s, At)\text{.}\) Trouvez la valeur de \(A\) telle que \(\frac{\partial G}{\partial t} = \frac{\partial^2 G}{\partial \gamma^2} + \frac{\partial^2 G}{\partial s^2}\text{.}\)
Réponse.
\(A=2\text{.}\)
18.
Soit \(f(x)\) une fonction différentiable, et supposons que \(f'(0) = 10\text{.}\) Soit \(g(s,t) = f (as - bt)\text{,}\)\(a\) et \(b\) sont des constantes. Évaluez \(\pdiff{g}{s}\) au point \((s,t) = (b,a)\text{,}\) i.e. trouvez \(\pdiff{g}{s}\big|_{(b,a)}\text{.}\)
Réponse.
\(10a\)
19.
Soit \(w(s,t) = u(2s + 3t, 3s - 2t)\) pour une fonction différentiable deux fois \(u = u(x, y)\text{.}\)
  1. Trouvez \(w_{ss}\) en termes de \(u_{xx}\text{,}\) \(u_{xy}\) , et de \(u_{yy}\text{.}\) Vous pouvez assumer que \(u_{xy} = u_{yx}\text{.}\)
  2. Supposez que \(u_{xx} + u_{yy} = 0\text{.}\) Pour quelle constante \(A\) est-ce que \(w_{ss} = Aw_{tt}\text{?}\)
Réponse.
(a)
\begin{align*} w_{ss}(s,t) &=4\,u_{xx}(2s + 3t, 3s - 2t) +12\,u_{xy}(2s + 3t, 3s - 2t)\\ &\hskip1in +9\,u_{yy}(2s + 3t, 3s - 2t) \end{align*}
(b) \(A=-1\)
20.
Par définition, le gradient d’une fonction différentiable \(f(x,y)\) à un point \(\big( x_0\,,\,y_0\big)\) est
\begin{equation*} \vnabla f(x_0,y_0) =\llt \pdiff{f}{x}\big( x_0\,,\,y_0\big)\,,\, \pdiff{f}{y}\big( x_0\,,\,y_0\big)\rgt \end{equation*}
Supposons que
\begin{equation*} \vnabla f(3,6)=\llt 7,8\rgt \end{equation*}
Supposons également que
\begin{equation*} \vnabla g(1,2)=\llt -1,4\rgt, \end{equation*}
et
\begin{equation*} \vnabla h(1,2)=\llt -5,10\rgt. \end{equation*}
Supposons que \(g(1,2)=3\text{,}\) \(h(1,2)=6\text{,}\) et \(z(s,t)=f\big(g(s,t),h(s,t)\big)\text{,}\) trouvez
\begin{equation*} \vnabla z(1,2) \end{equation*}
Réponse.
\(\vnabla z(1,2)=\llt -47,108\rgt\)
21.
  1. Soit \(f\) une fonction différentiable arbitraire définie sur la droite réelle. Montrez que la fonction \(w\) définie sur le plan réel par
    \begin{equation*} w(x,y)=e^{-y}f(x-y) \end{equation*}
    satisfait l’équation différentielle partielle:
    \begin{equation*} w+\pdiff{w}{x}+\pdiff{w}{y}=0 \end{equation*}
  2. Les équations \(x=u^3-3uv^2\text{,}\) \(y=3u^2v-v^3\) et \(z=u^2-v^2\) définissent \(z\) comme une fonction de \(x\) et de \(y\text{.}\) Déterminez \(\pdiff{z}{x}\) au point \((u,v)=(2,1)\) qui correspond au point \((x,y)=(2,11)\text{.}\)
Réponse.
(a) Par la règle de la chaîne et la règle du produit
\begin{align*} w_x(x,y) &= \pdiff{}{x}\big[e^{-y}f(x\!-\!y)\big] = e^{-y} \pdiff{}{x}\big[f(x\!-\!y)\big] = e^{-y} f'(x-y)\pdiff{}{x}(x\!-\!y)\\ &= e^{-y}f'(x-y)\\ % w_y(x,y) &= \pdiff{}{y}\big[e^{-y}f(x-y)\big] = -e^{-y}f(x-y) + e^{-y} \pdiff{}{y}\big[f(x-y)\big]\\ &= -e^{-y}f(x-y) + e^{-y} f'(x-y)\pdiff{}{y}(x-y)\\ &= -e^{-y}f(x-y)-e^{-y}f'(x-y) \end{align*}
Ainsi,
\begin{align*} w+\pdiff{w}{x}+\pdiff{w}{y} &=e^{-y}f(x\!-\!y)+e^{-y}f'(x\!-\!y)-e^{-y}f(x\!-\!y)-e^{-y}f'(x\!-\!y)\\ &=0 \end{align*}
tel que désiré.
(b) \(\frac{4}{15}\)
22.
Les équations
\begin{align*} x^2-y\cos(uv)&=v\\ x^2+y^2-\sin(uv)&=\frac{4}{\pi}u \end{align*}
définissent \(x\) et \(y\) implicitement comme fonctions de \(u\) et de \(v\) (i.e. \(x=x(u,v)\text{,}\) et \(y=y(u,v)\)) près du point \((x,y)=(1,1)\) auquel \((u,v)=\big(\frac{\pi}{2},0\big)\text{.}\)
  1. Trouvez
    \begin{equation*} \pdiff{x}{u}\text{ et } \pdiff{y}{u} \end{equation*}
    à \((u,v)=\big(\frac{\pi}{2},0\big)\text{.}\)
  2. Si \(z=x^4+y^4\text{,}\) déterminez \(\pdiff{z}{u}\) au point \((u,v)=\big(\frac{\pi}{2},0\big)\text{.}\)
Réponse.
(a) \(\pdiff{x}{u}\big(\frac{\pi}{2},0\big)=\frac{2}{3\pi}\text{,}\) \(\pdiff{y}{u}\big(\frac{\pi}{2},0\big)=\frac{4}{3\pi}\)
(b) \(\frac{8}{\pi}\)
23.
Soit \(f(u,v)\) une fonction différentiable, et soit \(u=x+y\) et \(v=x-y\text{.}\) Trouvez une constante, \(\a\text{,}\) telle que
\begin{gather*} (f_x)^2+(f_y)^2=\a\big((f_u)^2+(f_v)^2\big) \end{gather*}
Réponse.
\(\a=2\)

Pour aller plus loin.

24.
Les textes sur la thermodynamique utilisent la relation
\begin{equation*} \left(\pdiff{y}{x}\right) \left(\pdiff{z}{y}\right) \left(\pdiff{x}{z}\right)=-1 \end{equation*}
Expliquez la signification de cette équation et prouvez qu’elle est vraie.
Réponse.
L’hypothèse de base est que les trois quantités \(x\text{,}\) \(y\) et \(z\) ne sont pas indépendantes. Étant donnée deux d’entre elles, la troisième est déterminée de manière unique. On suppose qu’elles satisfont une relation \(F(x,y,z)=0\text{,}\) qui peut être résolu en
  • déterminant \(x\) comme fonction de \(y\) et \(z\) (disons \(x=f(y,z)\)) et peut se résoudre de façon alternative en
  • déterminant \(y\) comme fonction de \(x\) et \(z\) (disons \(y=g(x,z)\)) et peut se résoudre de façon alternative en
  • déterminant \(z\) comme fonction de \(x\) et \(y\) (disons \(z=h(x,y)\)).
Par exemple, si \(F(x,y,z) = xyz-1\text{,}\) alors
  • \(F(x,y,z)=xyz-1=0\) implique que \(x=\frac{1}{yz}=f(y,z)\) et
  • \(F(x,y,z)=xyz-1=0\) implique que \(y=\frac{1}{xz}=g(x,z)\) et
  • \(F(x,y,z)=xyz-1=0\) implique que \(z=\frac{1}{xy}=h(x,y)\)
En général, disons que \(F(x,y,z)=0\) détermine \(x=f(y,z)\) signifie que
\begin{equation*} F\big(f(y,z),y,z\big)=0 \tag{$*$} \end{equation*}
pour tout \(y\) et \(z\text{.}\) Soit \(\mathcal{F}(y,z)=F\big(f(y,z),y,z\big)\text{.}\) En appliquant la règle de dérivées en chaine à \(\mathcal{F}(y,z)=F\big(f(y,z),y,z\big)\) (avec \(y\) et \(z\) des variables indérpendantes) donne
\begin{align*} \pdiff{\mathcal{F}}{z}(y,z) &= \pdiff{F}{x}\big(f(y,z),y,z\big) \pdiff{f}{z}(y,z) +\pdiff{F}{z}\big(f(y,z),y,z\big) \end{align*}
L’équation \((*)\) dit que \(\mathcal{F}(y,z)=F\big(f(y,z),y,z\big)=0\) pour tout \(y\) et \(z\text{.}\) Donc en dérivant l’équation \((*)\) en respect à \(z\) donne
\begin{align*} \pdiff{\mathcal{F}}{z}(y,z)&=\pdiff{F}{x}\big(f(y,z),y,z\big) \pdiff{f}{z}(y,z) +\pdiff{F}{z}\big(f(y,z),y,z\big)=0\\ &\implies \pdiff{f}{z}(y,z) =-\frac{\pdiff{F}{z}\big(f(y,z),y,z\big)} {\pdiff{F}{x}\big(f(y,z),y,z\big)} \end{align*}
pour tout \(y\) et \(z\text{.}\) De façon similaire, en dérivant \(F\big(x,g(x,z),z\big)=0\) par rapport à \(x\) et \(F\big(x,y,h(x,y)\big)=0\) par rapport à \(y\) donne
\begin{gather*} \pdiff{g}{x}(x,z) =-\frac{\pdiff{F}{x}\big(x,g(x,z),z\big)} {\pdiff{F}{y}\big(x,g(x,z),z\big)}\qquad \pdiff{h}{y}(x,y) =-\frac{\pdiff{F}{y}\big(x,y,h(x,y)\big)} {\pdiff{F}{z}\big(x,y,h(x,y)\big)} \end{gather*}
Si \((x,y,z)\) est n’importe quel point satisfaisant \(F(x,y,z)=0\) (de telle sorte que \(x=f(y,z)\) et \(y=g(x,z)\) et \(z=h(x,y)\)), alors
\begin{gather*} \pdiff{f}{z}(y,z) =-\frac{\pdiff{F}{z}\big(x,y,z\big)} {\pdiff{F}{x}\big(x,y,z\big)}\qquad \pdiff{g}{x}(x,z) =-\frac{\pdiff{F}{x}\big(x,y,z\big)} {\pdiff{F}{y}\big(x,y,z\big)}\\ \pdiff{h}{y}(x,y) =-\frac{\pdiff{F}{y}\big(x,y,z\big)} {\pdiff{F}{z}\big(x,y,z\big)} \end{gather*}
et
\begin{align*} \pdiff{f}{z}(y,z)\ \pdiff{g}{x}(x,z)\ \pdiff{h}{y}(x,y) &=-\frac{\pdiff{F}{z}\big(x,y,z\big)} {\pdiff{F}{x}\big(x,y,z\big)}\ \frac{\pdiff{F}{x}\big(x,y,z\big)} {\pdiff{F}{y}\big(x,y,z\big)}\ \frac{\pdiff{F}{y}\big(x,y,z\big)} {\pdiff{F}{z}\big(x,y,z\big)}\\ &=-1 \end{align*}
25.
Supposez que \(w = f (xz, yz)\text{,}\)\(f\) est une fonction différentiable. Montrez que
\begin{equation*} x\pdiff{w}{x} + y\pdiff{w}{y} = z\pdiff{w}{z} \end{equation*}
Réponse.
Nous calculons d’abord les dérivées partielles de premier ordre de \(w(x,y,z)\text{.}\) Posons \(u(x,y,z)=xz\) et \(v(x,y,z)=yz\) de telle sorte que \(w(x,y,z) = f\big(u(x,y,z), v(x,y,z)\big)\text{.}\) Par la règle de la chaîne,
\begin{align*} &\pdiff{w}{x}(x,y,z) = \pdiff{}{x}\big[f \big(u(x,y,z), v(x,y,z)\big)\big]\\ &=\pdiff{f}{u}\big(u(x,y,z), v(x,y,z)\big)\pdiff{u}{x}(x,y,z)\\ &\hskip1in +\pdiff{f}{v}\big(u(x,y,z), v(x,y,z)\big)\pdiff{v}{x}(x,y,z)\\ &=z\pdiff{f}{u}(xz, yz)\\ &\pdiff{w}{y}(x,y,z) = \pdiff{}{y}\big[f \big(u(x,y,z), v(x,y,z)\big)\big]\\ &=\pdiff{f}{u}\big(u(x,y,z), v(x,y,z)\big)\pdiff{u}{y}(x,y,z)\\ &\hskip1in +\pdiff{f}{v}\big(u(x,y,z), v(x,y,z)\big)\pdiff{v}{y}(x,y,z)\\ &=z\pdiff{f}{v}(xz, yz)\\ &\pdiff{w}{z}(x,y,z) = \pdiff{}{z}\big[f \big(u(x,y,z), v(x,y,z)\big)\big]\\ &=\pdiff{f}{u}\big(u(x,y,z), v(x,y,z)\big)\pdiff{u}{z}(x,y,z)\\ &\hskip1in +\pdiff{f}{v}\big(u(x,y,z), v(x,y,z)\big)\pdiff{v}{z}(x,y,z)\\ &=x\pdiff{f}{u}(xz, yz) + y\pdiff{f}{v}(xz, yz) \end{align*}
Ainsi
\begin{align*} x\pdiff{w}{x} + y\pdiff{w}{y} &=xz\pdiff{f}{u}(xz, yz) + yz\pdiff{f}{v}(xz, yz)\\ &=z\left[x\pdiff{f}{u}(xz, yz) + y\pdiff{f}{v}(xz, yz)\right]\\ &=z\pdiff{w}{z} \end{align*}
tel que désiré.
26.
Soit \(f(u,v)\) une fonction différentiable de deux variables, et soit \(z\) une fonction différentiable de \(x\) et de \(y\) définie implicitement par \(f(xz,yz) = 0\text{.}\) Montrez que
\begin{equation*} x\pdiff{z}{x}+y\pdiff{z}{y} = -z \end{equation*}
Réponse.
Nous avons que la fonction \(z(x,y)\) obéit
\begin{equation*} f\big(x\,z(x,y)\,,\, y\,z(x,y)\big) =0 \tag{$*$} \end{equation*}
pour tout \(x\) et \(y\text{.}\) Par la règle de la chaîne,
\begin{align*} &\pdiff{}{x}\big[f\big(x\,z(x,y), y\,z(x,y)\big)\big]\\ &=f_u\big(x\,z(x,y), y\,z(x,y)\big)\pdiff{}{x}\big[x\,z(x,y)\big]\\ &\hskip1in + f_v\big(x\,z(x,y), y\,z(x,y)\big)\pdiff{}{x}\big[y\,z(x,y)\big]\\ &=f_u\big(x\,z(x,y), y\,z(x,y)\big)\,\big[z(x,y)+x\,z_x(x,y)\big]\\ &\hskip1in + f_v\big(x\,z(x,y), y\,z(x,y)\big)\,y\,z_x(x,y)\\ &\pdiff{}{y}\big[f\big(x\,z(x,y), y\,z(x,y)\big)\big]\\ &=f_u\big(x\,z(x,y), y\,z(x,y)\big)\pdiff{}{y}\big[x\,z(x,y)\big]\\ &\hskip1in + f_v\big(x\,z(x,y), y\,z(x,y)\big)\pdiff{}{y}\big[y\,z(x,y)\big]\\ &=f_u\big(x\,z(x,y), y\,z(x,y)\big)\, x\,z_y(x,y)\\ &\hskip1in + f_v\big(x\,z(x,y), y\,z(x,y)\big)\, \big[z(x,y)+y\,z_y(x,y)\big] \end{align*}
donc dériver \((*)\) par rapport à \(x\) et par rapport à \(y\) donne
\begin{align*} &f_u\big(x z(x,y),yz(x,y)\big)\big[z(x,y)+xz_x(x,y)\big] + f_v\big(xz(x,y), yz(x,y)\big)y z_x(x,y)\\ &\hskip4in=0\\ &f_u\big(x\,z(x,y), yz(x,y)\big) xz_y(x,y) + f_v\big(xz(x,y), yz(x,y)\big) \big[z(x,y)+yz_y(x,y)\big]\\ &\hskip4in=0 \end{align*}
ou, en omettant les arguments,
\begin{align*} f_u\,\big[z+x\,z_x\big] + f_v\,y z_x &=0\\ f_u\, x\,z_y + f_v\,\big[z+y\,z_y\big] &=0 \end{align*}
La résolution de la première équation pour \(z_x\) et la seconde équation pour \(z_y\) donne
\begin{align*} z_x & = -\frac{z\,f_u}{x\,f_u+y\,f_v}\\ z_y & = -\frac{z\,f_v}{x\,f_u+y\,f_v} \end{align*}
de telle sorte que
\begin{gather*} x\pdiff{z}{x}+y\pdiff{z}{y} = -\frac{xz\,f_u}{x\,f_u+y\,f_v} -\frac{yz\,f_v}{x\,f_u+y\,f_v} =-\frac{z\,(x\,f_u+y\,f_v)}{x\,f_u+y\,f_v} = -z \end{gather*}
tel que désiré.
Remarque: Ceci est ous l’hypothès que \(x\,f_u+y\,f_v\) est non nulle. Ceci est équivalent, par la règle de la chaînee, à l’hypothèse que \(\pdiff{}{z}\big[f(xz,yz)\big]\) est non nulle. Ceci, à son tour, est presque équivalent à l’énoncé selon lequel \(f(xz,yz)=0\) peut être résoud pour \(z\) comme une fonction de \(x\) et de \(y\text{.}\)
27.
L’équation des ondes
\begin{equation*} \frac{\partial^2u}{\partial x^2} -\frac{1}{c^2}\,\frac{\partial^2u}{\partial t^2} =0 \end{equation*}
se présente dans plusieurs modèles impliquant des phénomènes se comportant comme des vagues. Soit \(u(x,t)\) et \(v(\xi,\eta)\) relié par le changement de variables
\begin{align*} u(x,t)&=v\big(\xi(x,t),\eta(x,t)\big)\cr \xi(x,t)&=x-ct\cr \eta(x,t)&=x+ct \end{align*}
  1. Montrez que \(\ \frac{\partial^2u}{\partial x^2} -\frac{1}{c^2}\frac{\partial^2u}{\partial t^2} =0\ \) si et seulement si \(\ \frac{\partial^2 v}{\partial\xi\partial\eta}=0\text{.}\)
  2. Montrez que \(\ \frac{\partial^2u}{\partial x^2} -\frac{1}{c^2}\frac{\partial^2u}{\partial t^2} =0\ \) si et seulement si \(\ u(x,t)=F(x-ct)+G(x+ct)\ \) pour des fonctions \(F\) et \(G\text{.}\)
  3. Interprétez \(\ F(x-ct)+G(x+ct)\ \) en termes d’ondes progressives. Pensez à \(u(x,t)\) comme la hauteur, à la position \(x\) et au temps \(t\text{,}\) d’une onde qui progresse le long de l’axe des \(x\text{.}\)
Remarque: Ne vous laissez pas déconcerter par les symboles étranges \(\xi\) et \(\eta\text{.}\) Ce sont juste deux lettres inoffensives de l’alphabet grec, appelées “xi” et “eta” respectivement.