Sauter au contenu

Section 2.8 Valeurs maximales et minimales

Une des principales applications du calcul différentiel des fonctions à une variable est l’optimisation, c’est-à-dire trouver des valeurs maximales ou minimales d’une fonction (d’une variable). Nous reprenons ce sujet dans le contexte des fonctions à 2 variables ou plus, en mettant l’accent sur les fonctions de deux variables. Avant de commencer, il convient de donner certaines définitions qui seront cruciales par la suite.

Définition 2.8.1.

Soit \(\plan{D} \subseteq \R^n\) et \(f:\plan{D} \to \R\text{.}\) Soit \(\vr_0 \in \plan{D}\text{.}\)
  • \(\vr_0\) est un point de maximum local de \(f\) si \(f(\vr)\leqslant f(\vr_0)\) pour tout \(\vr\) près de \(\vr_0\text{.}\) Plus précisément, \(\vr_0\) est un maximum local de \(f\) s’il existe \(\e \gt 0\) tel que \(f(\vr)\leqslant f(\vr_0)\) lorsque \(|\vr - \vr_0| \lt \e \text{.}\)
  • \(\vr_0\) est un point de minimum local de \(f\) si \(f(\vr)\geqslant f(\vr_0)\) pour tout \(\vr\) près de \(\vr_0\text{.}\)
  • Les valeurs prises par \(f\) aux points de minimum ou de maximum locaux sont appelées les valeurs extrémales de \(f\text{.}\)
  • \(\vr_0\) est un point de maximum global, ou un point de maximum absolu, de \(f\) si \(f(\vr)\leqslant f(\vr_0)\) pour tout \(\vr\) dans \(\plan{D}\text{.}\)
  • \(\vr_0\) est un point de minimum global, ou un point de minimum absolu, de \(f\) si \(f(\vr)\geqslant f(\vr_0)\) pour tout \(\vr\) dans \(\plan{D}\text{.}\)

Sous-section Maximums et minimums locaux

Une des premières choses qu’on fait lorsqu’on étudie les techniques d’optimisation des fonctions d’une variable est de se demander :
  • Si l’on suppose que la valeur maximale de \(f(x)\) est \(f(a)\text{,}\) que peut-on déduire de \(a\text{?}\)
Peu de temps après, on a la réponse :
  • Si \(f\) admet un maximum local en \(x=a\text{,}\) c’est-à-dire que \(f(x) \leqslant f(a)\) lorsque \(x\) est près de \(a\text{,}\) et que \(f\) est dérivable en \(a\text{,}\) alors \(f'(a)=0\text{.}\)
Voyons pourquoi ceci est vrai. Supposons donc que \(f\) admet un maximum en \(a\text{,}\) donc pour \(h\) petit tel que \(h \gt 0\text{,}\)
\begin{equation*} f(a\!+\!h)\leqslant f(a) \implies f(a\!+\!h)-f(a)\leqslant 0 \implies \frac{f(a\!+\!h)-f(a)}{h}\leqslant 0\quad\text{si } h \gt 0\text{.} \end{equation*}
On prend la limite lorsque \(h\rightarrow 0\) et l’on conclut que \(f'(a)\leqslant 0\text{.}\) De la même façon
 1 
Rappelons que si \(h\lt 0\) et que \(A\leqslant B\text{,}\) alors \(hA\geqslant hB\) puisque le produit de deux nombres négatifs est positif, donc \(h\lt 0,\ A\leqslant B \implies A-B\leqslant 0 \implies h(A-B)\geqslant 0 \implies hA\geqslant hB\text{.}\)
, pour tout \(h\) petit tel que \(h \lt 0\text{,}\)
\begin{equation*} f(a\!+\!h)\leqslant f(a) \implies f(a\!+\!h)-f(a)\leqslant 0 \implies \frac{f(a\!+\!h)-f(a)}{h}\geqslant 0\quad\text{ si } h \lt 0\text{.} \end{equation*}
À nouveau, on prend la limite lorsque \(h\rightarrow 0\) pour conclure que \(f'(a)\geqslant 0\text{.}\) Ainsi, on a les deux inégalités \(f'(a)\geqslant 0\) et \(f'(a)\leqslant 0\text{,}\) ce qui donne \(f'(a)=0\text{.}\)
On aura sans doute remarqué que, pour que cet argument tienne, on a besoin seulement d’avoir \(f(x)\leqslant f(a)\) pour \(x\) près de \(a\text{,}\) pas nécessairement pour tout \(x\text{.}\) En effet, dans les inégalités ci-haut, on a utilisé seulement \(f(a+h)\) avec \(h\) petit. Nous pouvons donc raffiner notre résultat :
  • Si \(f(a)\) est un maximum local pour \(f(x)\) et que \(f\) est différentiable en \(a\text{,}\) alors \(f'(a)=0\text{.}\)
Le même argument s’applique pour les points de minimum :
  • Si \(f(a)\) est un minimum local \(f(x)\) et que \(f\) est différentiable en \(a\text{,}\) alors \(f'(a)=0\text{.}\)
Voyons maintenant comment utiliser ces idées dans le contexte des fonctions à plusieurs variables. Supposons donc que \(f\) admet un maximum local en un point \(\vr_0\text{,}\) autour duquel \(f\) est définie (c’est-à-dire que \(\vr_0\) est un point intérieur du domaine de \(f\)). La figure ci-bas illustre le cas des fonctions à deux variables.
Figure 2.8.2. La fonction \(f\) est définie dans la région \(R\) qui contient \(\vr_0=(a,b)\) comme point intérieur
La valeur de \(f(\vr)\) doit donc décroître lorsque \(\vr\) se déplace en partant de \(\vr_0\) dans n’importe quelle direction. Peu importe quel vecteur de direction (que l’on peut supposer unitaire) \(\vd\) qu’on choisit, la dérivée directionnelle de \(f\) en \(\vr_0\) dans la direction de \(\vd\) doit donc être inférieure ou égale à zéro. Plus formellement,
\begin{gather*} D_\vd f(\vr_0) = \vnabla f(\vr_0)\cdot\vd \leqslant 0. \end{gather*}
Pour la même raison, la dérivée directionnelle de \(f\) en \(\vr_0\) dans la direction de \(-\vd\) doit aussi être négative ou nulle :
\begin{gather*} D_{-\vd} f(\vr_0) = \vnabla f(\vr_0)\cdot(-\vd)\leqslant 0, \quad\text{ce qui donne }\quad \vnabla f(\vr_0)\cdot\vd \geqslant 0\text{.} \end{gather*}
Puisque \(\vnabla f(\vr)\cdot\vd \) doit être positif ou nul, et négatif ou nul, ce produit scalaire doit être nul. Ceci est vrai pour n’importe quel vecteur de direction \(\vd\text{.}\) En particulier, si l’on choisit \(\vd = \vi\text{,}\) ceci force la première composante de \(\vnabla f(\vr_0)\) à être nulle. Le même argument avec \(\vd = \vj\) (ou avec les vecteurs de base requis en dimensions supérieures) donne que toutes les composantes de \(\vnabla f(\vr_0)\) doivent être nulles. Nous avons établi que \(\vnabla f(\vr_0)=\vZero\text{.}\) Le même argument fonctionne lorsqu’on a un point de minimum local en \(\vr_0\text{.}\)

Définition 2.8.4.

Soit \(f : \plan{D} \to \R\) et \(\vr_0\in \plan{D}\text{.}\) Alors,
  • si \(\vnabla f(\vr_0)\) existe et est nul, on dit que \(\vr_0\) est un point critique (ou point stationnaire) de \(f\) et,
  • si \(\vnabla f(\vr_0)\) n’existe pas, on dit que \(\vr_0\) est un point singulier de \(f\text{.}\)

Mise en garde 2.8.5.

Il faut noter que plusieurs auteur(e)s combinent les deux notions et disent que \(\vr_0\) est un point critique si \(\vnabla f (\vr_0) \) est nul ou n’existe pas.

Mise en garde 2.8.6.

Le Théorème 2.8.3 nous dit que tout maximum ou minimum local à l’intérieur du domaine d’une fonction différentiable doit être un point critique. Ce résultat ne nous dit pas que tout point critique est soit un maximum soit un minimum local. Déjà pour les fonctions à une variable, on peut avoir des points d’inflexion, par exemple.
Nous verrons dans l’Exemple 2.8.15 et dans l’Exemple 2.8.18 qu’il y a des points critiques qui ne sont ni des points de maximum local ni de minimum local. Cependant, le Théorème 2.8.3 est très utile puisque, souvent, une fonction ne possède qu’un nombre relativement restreint de points critiques. Pour trouver les points de maximum ou de minimum local, on doit donc considérer ces points critiques. Nous reviendrons plus tard sur la question de déterminer si un point critique est un point de maximum ou de minimum local (ou aucun des deux). Commençons par trouver quelques points critiques.

Exemple 2.8.7. \(f(x,y)=x^2-2xy+2y^2+2x-6y+12\).

Trouver les points critiques de \(f(x,y)=x^2-2xy+2y^2+2x-6y+12\text{.}\)
Solution.
Pour trouver les points critiques, nous trouvons le gradient, en calculant les dérivées partielles de \(f(x,y)\) :
\begin{align*} f_x(x,y)&= 2x-2y+2 \qquad \text{ et } \qquad & f_y(x,y)= -2x+4y-6\text{.} \end{align*}
Les points critiques sont les solutions du système d’équations
\begin{equation*} 2x-2y+2=0,\qquad -2x+4y-6=0\text{,} \end{equation*}
ou, de façon équivalente,
\begin{align*} x-y&=-1,\\ -x+2y&=3\text{.} \end{align*}
Il s’agit d’un système linéaire de deux équations avec deux inconnues (\(x\) et \(y\)). Un calcul immédiat donne l’unique solution : \(x=1\text{,}\) \(y=2\text{.}\)
L’exemple précédent était très simple, car les équations étaient linéaires, ce qui est une conséquence du fait que \(f(x,y)\) était un polynôme de degré 2. Voyons un autre exemple.

Exemple 2.8.8. \(f(x,y)=2x^3 - 6xy + y^2 +4y \).

Trouver tous les points critiques de \(f(x,y)=2x^3 - 6xy + y^2 +4y \text{.}\)
Solution.
Comme dans l’exemple précédent, nous commençons par calculer le gradient, donc les dérivées partielles:
\begin{equation*} f_x=6x^2-6y, \qquad f_y=-6x+2y+4\text{.} \end{equation*}
Ainsi, les points critiques sont les solutions de
\begin{equation*} 6x^2-6y=0, \qquad -6x+2y+4 = 0\text{.} \end{equation*}
La première équation équivaut à \(y=x^2\text{,}\) qui exprime \(y\) comme fonction de \(x\text{.}\) On remplace \(y=x^2\) dans la seconde équation, ce qui donne
\begin{align*} -6x+2y+4 = 0 &\iff -6x+2x^2+4 = 0 \iff x^2-3x+2=0\\ &\iff (x-1)(x-2)=0\\ &\iff x=1\text{ ou }2\text{.} \end{align*}
Lorsque \(x=1\text{,}\) \(y=1^2=1\text{,}\) et lorsque \(x=2\text{,}\) \(y=2^2=4\text{.}\) Il y a donc deux points critiques : \((1,1),\ (2,4)\text{.}\)
Voyons un exemple un peu plus complexe.

Exemple 2.8.9. \(f(x,y) = xy(5x+y-15)\).

Trouver les points critiques de \(f(x,y)=xy(5x+y-15) \text{.}\)
Solution.
Les dérivées partielles de \(f(x,y)=xy(5x+y-15)\) sont
\begin{alignat*}{2} f_x(x,y) &\ =\ y(5x+y-15)+xy(5) &&\ =\ y(5x+y-15)+y(5x)\\ &\ =\ y(10x+y-15),\\ f_y(x,y) &\ =\ x(5x+y-15)+xy(1) &&\ =\ x(5x+y-15)+ x(y)\\ &\ =\ x(5x+2y-15)\text{.} \end{alignat*}
Les points critiques sont les solutions de \(f_x(x,y)=f_y(x,y)=0\text{.}\) Nous devons donc trouver tous les \(x,y\) qui vérifient les équations
\begin{align*} y(10x+y-15)&=0,\tag{E1}\\ x(5x+2y-15)&=0\tag{E2}\text{.} \end{align*}
La première équation, \(y(10x+y-15)=0\text{,}\) est vérifiée si au moins un des deux facteurs, \(y\) ou \((10x+y-15)\text{,}\) est nul. Ainsi, la première équation est satisfaite si l’une des équations suivantes l’est :
\begin{align*} y&=0, \tag{E1a}\\ 10x+y&=15 \tag{E1b}\text{.} \end{align*}
La seconde équation, \(x(5x+2y-15)=0\text{,}\) est satisfaite si au moins un des deux facteurs, \(x\) ou \((5x+2y-15)\text{,}\) est nul. Ainsi, la seconde équation est satisfaite si l’une des deux équations suivantes l’est :
\begin{align*} x&=0, \tag{E2a}\\ 5x+2y&=15 \tag{E2b}\text{.} \end{align*}
Ainsi, les deux équations vérifiées par les points critiques, (E1) et (E2), sont satisfaites si et seulement si l’une parmi (E1a), (E1b) est satisfaite, et l’une parmi (E2a), (E2b) l’est aussi. Ainsi, les deux équations (E1) et (E2) sont satisfaites si et seulement si au moins une des quatre possibilités suivantes a lieu.
  • (E1a) et (E2a) sont satisfaites si et seulement si \(x=y=0\text{.}\)
  • (E1a) et (E2b) sont satisfaites si et seulement si \(y=0,\ 5x+2y=15 \iff y=0,\ 5x=15\text{.}\)
  • (E1b) et (E2a) sont satisfaites si et seulement si \(10x+y=15,\ x=0 \iff y=15,\ x=0\text{.}\)
  • (E1b) et (E2b) sont satisfaites si et seulement si \(10x+y=15,\ 5x+2y=15\text{.}\) Nous pouvons utiliser, par exemple, la deuxième de ces équations pour isoler \(x\) en termes de \(y\) : \(x =\frac{1}{5}(15-2y)\text{.}\) Lorsqu’on remplace ceci dans la première équation, on obtient \(2(15-2y)+y=15\text{,}\) qu’on résout pour \(y\text{.}\) Ceci donne \(-3y=15-30\text{,}\) et donc \(y=5\text{,}\) et alors \(x=\frac{1}{5}(15-2\times 5)=1\text{.}\)
En conclusion, les points critiques sont \((0,0)\text{,}\) \((3,0)\text{,}\) \((0,15)\) et \((1,5)\text{.}\)
Une façon plus compacte d’écrire ce qui a été fait est :
\begin{alignat*}{1} &f_x(x,y)=0\hskip6.75em \text{et}\hskip1.5em f_y(x,y)=0\\ \iff\qquad &y(10x+y-15)=0\hskip3.25em \text{et}\hskip1.5em x(5x+2y-15)=0\\ \iff\qquad & \big\{y=0\text{ ou }10x+y=15\big\}\hskip1.5em \text{et}\hskip1.5em \big\{x=0\text{ ou }5x+2y=15\big\}\\ \iff\qquad & \big\{y=0,\ x=0\big\}\text{ ou } \big\{y=0,\ 5x+2y=15\big\}\\ &\text{ ou }\big\{10x+y=15,\ x=0\big\}\text{ ou } \big\{10x+y=15,\ 5x+2y=15\big\}\\ \iff\qquad & \big\{x=y=0\big\}\text{ ou } \big\{y=0,\ x=3\big\}\\ &\text{ ou }\big\{x=0,\ y=15\big\}\text{ ou } \big\{x=1,\ y=5\big\}\text{.} \end{alignat*}
Essayons maintenant un exemple pratique — quelque chose de la vie réelle... en fait la “vie réelle” d’un(e) mathématicien(e).

Exemple 2.8.10.

Dans une certaine communauté, deux brasseries sont en concurrence, de sorte que les ventes de l’une influencent négativement les profits de l’autre. Si la brasserie \(A\) produit \(x\) litres de bière par mois et que la brasserie \(B\) en produit \(y\text{,}\) alors les profits des brasseries sont donnés par
\begin{equation*} P=2x-\frac{2x^2+y^2}{10^6}\qquad \text{et} \qquad Q=2y-\frac{4y^2+x^2}{2\times 10^6} \end{equation*}
respectivement. Trouver la somme des deux profits si chaque brasserie fixe sa production de façon indépendante pour maximiser son revenu et prend pour acquis que la concurrence en fait autant. Par la suite, on suppose que les brasseries se comportent comme un cartel. Trouver la somme des profits si les brasseries collaborent pour maximiser cette somme
 2 
Ce genre de chose est illégal.
.
Solution.
Si \(A\) ajuste \(x\) pour maximiser \(P\) (pour \(y\) fixe) et que \(B\) ajuste \(y\) pour maximiser \(Q\) (pour \(x\) fixe), alors \(x\) et \(y\) sont déterminés par les équations
\begin{align*} P_x&=2-\tfrac{4x}{10^6}=0, \tag{E1}\\ Q_y&=2-\tfrac{8y}{2\times 10^6}=0 \tag{E2}\text{.} \end{align*}
L’équation (E1) donne \(x=\half 10^6\text{,}\) et l’équation (E2) donne \(y=\half 10^6\text{.}\) Connaissant \(x\) et \(y\text{,}\) on peut déterminer \(P\text{,}\) \(Q\) et le profit total :
\begin{align*} P+Q&=2(x+y)-\tfrac{1}{10^6}\big(\tfrac{5}{2}x^2+3y^2\big)\\ &=10^6\big(1+1-\tfrac{5}{8}-\tfrac{3}{4}\big) =\tfrac{5}{8}10^6\text{.} \end{align*}
Ensuite, si le tandem \((A,B)\) ajuste \((x,y)\) afin de maximiser \(P+Q =2(x+y)-\tfrac{1}{10^6}\big(\tfrac{5}{2}x^2+3y^2\big)\text{,}\) alors \(x\) et \(y\) sont déterminés par
\begin{align*} (P+Q)_x&=2-\tfrac{5x}{10^6}=0, \tag{E1}\\ (P+Q)_y&=2-\tfrac{6y}{10^6}=0 \tag{E2}\text{.} \end{align*}
L’équation (E1) donne \(x=\tfrac{2}{5} 10^6\text{,}\) et l’équation (E2) donne \(y=\tfrac{1}{3} 10^6\text{.}\) De nouveau, connaissant \(x\) et \(y\text{,}\) on peut déterminer le profit total :
\begin{align*} P+Q&=2(x+y)-\tfrac{1}{10^6}\big(\tfrac{5}{2}x^2+3y^2\big)\\ &=10^6\big(\tfrac{4}{5}+\tfrac{2}{3}-\tfrac{2}{5}-\tfrac{1}{3}\big) =\tfrac{11}{15}10^6\text{.} \end{align*}
Ainsi, la coopération bénéficie aux deux brasseries.
Voyons un exemple un peu plus géométrique.

Exemple 2.8.11.

Des plis à angle égal sont réalisés à distance égale des deux extrémités d’une clôture de 100 mètres de long afin que la clôture à trois segments qui en résulte puisse être placée le long d’un mur existant pour former une enceinte de forme trapézoïdale. Quelle est la plus grande surface possible pour une telle enceinte?
Solution.
Ce problème est de nature très géométrique. Commençons par faire une esquisse détaillée et par donner des noms aux variables qui nous occupent.
L’aire de la région renfermée par la clôture est l’aire à l’intérieur du rectangle bleu (figure de droite ci-haut) plus l’aire des deux triangles bleus :
\begin{align*} A(x,\theta) &=(100-2x)x\sin\theta+2\cdot\half\cdot x\sin\theta\cdot x\cos\theta\\ &=(100x-2x^2)\sin\theta+ x^2\sin\theta\ \cos\theta\text{.} \end{align*}
Pour maximiser l’aire, nous devons résoudre
\begin{align*} 0=\pdiff{A}{x}&=(100-4x)\sin\theta+2x\sin\theta\cos\theta,\\ 0=\pdiff{A}{\theta} &=(100x-2x^2)\cos\theta+x^2\big\{\cos^2\theta-\sin^2\theta\big\}\text{.} \end{align*}
Remarquons que les deux termes dans la première équation contiennent le facteur \(\sin\theta\) et que tous les termes dans la seconde équation contiennent le facteur \(x\text{.}\) Si l’un de \(\sin\theta\) ou \(x\) est nul, alors l’aire \(A(x,\theta)\) le sera aussi, de sorte que nous n’aurons certainement pas un maximum. Ainsi, divisons la première équation par \(\sin\theta\text{,}\) et la seconde par \(x\text{,}\) ce qui donne
\begin{align*} (100-4x)+2x\cos\theta&=0, \tag{E1}\\ (100-2x)\cos\theta+x\big\{\cos^2\theta-\sin^2\theta\big\}&=0 \tag{E2}\text{.} \end{align*}
Ces équations peuvent paraître un peu effrayantes, mais il n’y a aucune raison de paniquer. Elles ne sont pas si méchantes qu’elles en ont l’air, puisque \(\theta\) intervient seulement à travers \(\cos\theta\) et \(\sin^2\theta\text{,}\) qui peut être exprimé en termes de \(\cos\theta\text{.}\) Qui plus est, on peut éliminer \(\cos\theta\) si l’on remarque que la première équation force \(\cos\theta=-\frac{100-4x}{2x}\text{,}\) et donc \(\sin^2\theta=1-\cos^2\theta=1-\frac{(100-4x)^2}{4x^2}\text{.}\) En remplaçant dans la seconde équation, on obtient
\begin{alignat*}{2} & & -(100-2x)\frac{100-4x}{2x}+x\left[\frac{(100-4x)^2}{2x^2}-1\right]&=0\\ &\implies\quad & -(100-2x)(100-4x)+(100-4x)^2-2x^2&=0\\ &\implies & 6x^2-200x&=0\\ &\implies & x=\frac{100}{3} \quad\cos\theta=-\frac{-100/3}{200/3}=\frac{1}{2}\quad \theta&=60^\circ\text{,} \end{alignat*}
de sorte que l’aire maximale est
\begin{equation*} A= \Big(100\frac{100}{3}-2\frac{100^2}{3^2}\Big)\frac{\sqrt{3}}{2} \ +\ \frac{1}{2} \frac{100^2}{3^2}\frac{\sqrt{3}}{2} \ =\ \frac{2500}{\sqrt{3}}\text{.} \end{equation*}
Voyons maintenant un exemple très pratique en statistiques : trouver la droite qui s’ajuste le mieux à un ensemble de points donnés.

Exemple 2.8.12. Régression linéaire.

Une expérience donne lieu à \(n\) observations \(\ (x_i,y_i),\ i=1,2,\cdots,n\text{.}\) Nous voulons trouver la droite \(\ y=mx+b\ \) qui s’ajuste le “mieux” à ces points.
La définition de “s’ajuste le mieux” est que la droite “minimise l’erreur quadratique moyenne”, c’est-à-dire qu’elle minimise la quantité
\begin{equation*} E(m,b)=\sum_{i\,=\,1}^n (mx_i+b-y_i)^2\text{.} \end{equation*}
Remarquons que
  • le \(i^{\text{ième}}\) terme dans \(E(m,b)\) est le carré de la différence entre \(y_i\text{,}\) qui est la \(i^{\rm ième}\) valeur observée de \(y\text{,}\) et \(\Big[mx+b\Big]_{x\,=\,x_i}\text{,}\) qui est l’approximation de \(y_i\) donnée par la droite \(y=mx+b\text{;}\)
  • tous les termes de la somme sont positifs, indépendamment de si les points \((x_i,y_i)\) se trouvent au-dessus ou au-dessous de la droite.
Notre problème maintenant est de trouver les valeurs de \(m\) et \(b\) qui minimisent \(E(m,b)\text{.}\) Cette technique pour trouver la droite est appelée “régression linéaire” et elle est utilisée abondamment
 3 
Elle est été utilisée depuis longtemps. Elle a été introduite par le mathématicien français Adrien-Marie Legendre (1752-1833) en 1805 et par le mathématicien et physicien allemand Carl Friedrich Gauss (1777-1855) en 1809.
, même dans le monde réel — pas seulement dans le monde réel des mathématicien(e)s— le vrai monde réel dans lequel on trouve du travail.
Solution.
Nous devons choisir \(m\) et \(b\) de sorte à minimiser \(E(m,b)\text{.}\) Déterminons donc quand les dérivées partielles de \(E\) s’annulent:
\begin{alignat*}{3} 0&=\frac{\partial E}{\partial m}&&=\sum_{i\,=\,1}^n 2(mx_i+b-y_i)x_i &&=m\Big[\smsum_{i\,=\,1}^n 2x^2_i\Big]+b\Big[\smsum_{i\,=\,1}^n 2x_i\Big] -\Big[\smsum_{i\,=\,1}^n 2x_iy_i\Big],\\ 0&=\frac{\partial E}{\partial b}&&=\sum_{i\,=\,1}^n 2(mx_i+b-y_i) &&=m\Big[\smsum_{i\,=\,1}^n 2x_i\Big]+b\Big[\smsum_{i\,=\,1}^n 2\Big]-\Big[\smsum_{i\,=\,1}^n 2y_i\Big]\text{.} \end{alignat*}
Il y a beaucoup de symboles ici, mais il faut rappeler que les \(x_i\) et les \(y_i\) sont des constantes. Les seules inconnues sont \(m\) et \(b\text{.}\) Afin de mettre l’accent sur ce fait, et pour alléger l’écriture, posons
\begin{equation*} S_x=\smsum_{i\,=\,1}^n x_i,\qquad S_y=\smsum_{i\,=\,1}^n y_i,\qquad S_{x^2}=\smsum_{i\,=\,1}^n x^2_i,\qquad S_{xy}=\smsum_{i\,=\,1}^n x_iy_i\text{.} \end{equation*}
Les équations qui définissent les points critiques pour la fonction \(E\) sont, après simplification d’un facteur \(2\) :
\begin{align*} S_{x^2}\, m+S_x\, b&=S_{xy}, \tag{E1}\\ S_{x}\, m+n\, b&=S_{y} \tag{E2}\text{.} \end{align*}
Il s’agit d’équations linéaires en \(m\) et \(b\text{.}\) Elles peuvent être résolues de plusieurs façons. L’une d’elles est d’utiliser (E2) pour isoler \(b\) en termes de \(m\text{,}\)
\begin{equation*} b=\frac{1}{n}\big(S_y-S_xm\big)\tag{E3}\text{,} \end{equation*}
puis de remplacer dans (E1) pour obtenir
\begin{equation*} S_{x^2}\, m+\frac{1}{n}S_x\, \big(S_y-S_xm\big)=S_{xy}\quad\implies\quad \big(nS_{x^2} -S_x^2\big) m = nS_{xy}-S_xS_y \end{equation*}
pour \(m\text{.}\) On peut résoudre cette équation pour \(m\) et remplacer à nouveau dans (E3) pour obtenir \(b\text{.}\) Ceci donne
\begin{align*} m\amp=\frac{nS_{xy}-S_xS_y}{nS_{x^2} -S_x^2},\\ b\amp=\frac{S_y}{n}\,\frac{nS_{x^2} -S_x^2}{nS_{x^2} -S_x^2} -\frac{S_x}{n}\,\frac{nS_{xy}-S_xS_y}{nS_{x^2} -S_x^2} =\frac{nS_yS_{x^2}-nS_xS_{xy}}{n(nS_{x^2} -S_x^2)}\\ \amp=-\frac{S_xS_{xy}-S_yS_{x^2}}{nS_{x^2} -S_x^2}\text{.} \end{align*}
Ainsi, étant donné un ensemble de points, on a besoin d’un peu d’arithmétique — pas de calcul différentiel — pour appliquer les formules ci-haut afin d’obtenir la droite de meilleur ajustement. Bien entendu, on n’a pas besoin de calcul différentiel pour appliquer les formules, on en a besoin pour comprendre d’où elles viennent. La même technique peut être étendue à d’autres types de problèmes d’ajustement : des points comportant un nombre arbitraire de coordonnées, ou encore l’ajustement par une courbe d’un type donné, par exemple une régression polynomiale, exponentielle...

Sous-section Le test de la dérivée seconde : la matrice hessienne

Considérons maintenant le problème de déterminer si un point critique est un point de maximum ou de minimum local. À nouveau, regardons ce qui est connu pour les fonctions d’une seule variable. Supposons donc que \(x=a\) est un point critique d’une fonction \(g(x)\text{.}\) Toute fonction suffisamment lisse peut être bien approchée, dans un voisinage de \(a\text{,}\) par les quelques premiers termes de son expansion de Taylor:
\begin{equation*} g(x) = g(a) + g'(a)\,(x-a) + \tfrac{1}{2} g''(a)\,(x-a)^2 +\tfrac{1}{3!} g^{(3)}(a)\, (x-a)^3 + \cdots\text{.} \end{equation*}
Si \(a\) est un point critique, nous avons \(g'(a)=0\) et
\begin{equation*} g(x) = g(a) + \tfrac{1}{2} g''(a)\,(x-a)^2 +\tfrac{1}{3!} g^{(3)}(a)\, (x-a)^3 + \cdots\text{.} \end{equation*}
Si \(g''(a)\ne 0\text{,}\) \(g(x)\) aura l’allure de \(g(a) + \tfrac{1}{2} g''(a)\,(x-a)^2 \) lorsque \(x\) est près de \(a\text{.}\) En particulier,
  • si \(g''(a) \gt 0\text{,}\) alors \(g(x) \gt g(a)\) lorsque \(x\) est près de (mais sans être égal à) \(a\text{,}\) de sorte que \(a\) sera un minimum local, et
  • si \(g''(a) \lt 0\text{,}\) alors \(g(x) \lt g(a)\) lorsque \(x\) est près de (mais sans être égal à) \(a\text{,}\) de sorte que \(a\) sera un point de minimum local, mais
  • si \(g''(a)=0\text{,}\) aucune conclusion ne peut être tirée sans un peu de travail supplémentaire.
Une analyse semblable, mais passablement plus complexe, peut être faite pour les fonctions de plus de deux variables. Voyons quelques exemples qui peuvent servir comme échauffement.

Exemple 2.8.13. \(f(x,y)= x^2+3xy+3y^2-6x-3y-6\).

Soit \(f(x,y)= x^2+3xy+3y^2-6x-3y-6\text{.}\) Le gradient de \(f\) est
\begin{equation*} \vnabla f(x,y) = \big(2x+3y-6\big)\,\vi +\big(3x+6y-3\big)\,\vj\text{,} \end{equation*}
de sorte que \((x,y)\) est un point critique de \(f\) si et seulement si
\begin{align*} 2x+3y&=6,\tag{E1}\\ 3x+6y&=3\tag{E2}\text{.} \end{align*}
On multiplie la première équation par 2 et l’on soustrait la seconde pour obtenir
\begin{equation*} x=9\tag{2(E1) - (E2)}\text{.} \end{equation*}
Puis, on remplace \(x=9\) dans la première équation :
\begin{equation*} 2\times 9+3y=6\implies y=-4\text{,} \end{equation*}
de sorte que \(f(x,y)\) admet exactement un point critique à \((9\,,\,-4)\text{.}\)
Voyons le diagramme des courbes de niveau de \(f\) autour du point critique.
described in detail following the image
Les courbes de niveau de \(f\) autour de \((9,-4)\)
Figure 2.8.14. Les courbes de niveau de \(f(x,y) = f(x,y)= x^2+3xy+3y^2-6x-3y-6\) autour de \((9,-4)\)
Nous avons que \(f(9,4) = -27\text{,}\) et le diagramme des courbes de niveau nous montre que, autour de \((9,4)\text{,}\) les valeurs de \(f\) sont supérieures à \(-27\text{.}\) Il s’agirait donc d’un minimum local. Voyons ceci de façon un peu plus formelle. Une bonne façon de le faire consiste à faire le changement de variables
 4 
Ceci équivaut à translater le graphe de sorte à avoir le point critique à \((0,0)\text{.}\)
,
\begin{equation*} x=9+\De x,\qquad y=-4+\De y\text{,} \end{equation*}
et d’étudier le comportement de \(f\) pour \(\De x\) et \(\De y\) près de zéro.
\begin{align*} f\big(9+\De x,\,-4+\De y\big) &=(9+\De x)^2+3(9+\De x)(-4+\De y)+3(-4+\De y)^2\\ &\hskip1in-6(9+\De x)-3(-4+\De y)-6\\ &= (\De x)^2 +3\De x\,\De y+3(\De y)^2 - 27 \end{align*}
Et une bonne façon d’étudier le signe d’expressions quadratiques comme \((\De x)^2 +3\De x\,\De y+3(\De y)^2\) est de compléter les carrés
 5 
À présent, vous avez certainement rencontré une complétion de carrés pour une seule variable, comme \(x^2 +3x +3 = \left(x+\frac{3}{2}\right)^2 - \frac{9}{4} +3 \text{.}\)
. Lorsque plus d’une variable est présente, comme \(\De x\) et \(\De y\text{,}\) on peut simplement prétendre que l’une d’elles est une constante et compléter le carré comme dans le cas d’une seule variable. Par exemple, si l’on considère que \(\De y\) est constante,
\begin{align*} (\De x)^2 +3\De x\,\De y+3(\De y)^2 &=\left(\De x +\frac{3}{2}\De y\right)^2 + \left(3-\frac{9}{4}\right)(\De y)^2\\ &=\left(\De x +\frac{3}{2}\De y\right)^2 + \frac{3}{4}(\De y)^2\text{.} \end{align*}
À présent, nous avons exprimé
\begin{equation*} f\big(9+\De x,\,-4+\De y\big) = \left(\De x +\frac{3}{2}\De y\right)^2 + \frac{3}{4}(\De y)^2 -27\text{.} \end{equation*}
Comme les plus petites valeurs de \(\left(\De x +\frac{3}{2}\De y\right)^2\) et \(\frac{3}{4}(\De y)^2\) sont toutes les deux nulles, nous avons
\begin{equation*} f(x,y)=f\big(9+\De x,\,-4+\De y\big)\geqslant -27 =f(9,-4) \end{equation*}
pour tout \((x,y)\text{,}\) de sorte que \((9,-4)\) est un minimum local, et global, de \(f\text{.}\)
On a déjà rencontré des exemples de fonctions à une variable où un point critique n’est pas un point de minimum ni de maximum local. Voyons quelques exemples montrant que ceci peut aussi arriver pour les fonctions à plusieurs variables. Nous commençons avec l’exemple le plus simple qui soit.

Exemple 2.8.15. \(f(x,y)=x^2-y^2\).

Les dérivées partielles de \(f(x,y)=x^2-y^2\) sont \(f_x(x,y)=2x\) et \(f_y(x,y)=-2y\text{.}\) Ainsi, le seul point critique est \((0,0)\text{.}\) Voyons maintenant s’il s’agit d’un minimum local, d’un maximum local ou d’aucun des deux. Commençons avec \((x,y)\) à \((0,0)\) et déplaçons \((x,y)\) en nous éloignant de \((0,0)\text{,}\) puis voyons ce qui arrive avec \(f(x,y)\text{.}\) À l’origine, \(f(0,0)=0\text{.}\) On peut se déplacer dans plusieurs directions.
described in detail following the image
Les courbes de niveau de \(f\) autour de \((0,0)\text{.}\)
Figure 2.8.16. Les courbes de niveau de \(f\) autour de \((0,0)\text{.}\) Si, en partant de \((0,0)\text{,}\) on se déplace le long de l’axe des \(x\text{,}\) la valeur de \(f\) augmente. La situation est différente le long de l’axe des \(y\text{.}\)
  • Commençons par déplacer \((x,y)\) le long de l’axe des \(x\text{.}\) Alors, \((x,y)=(x,0)\) et \(f(x,y)=f(x,0)=x^2\text{,}\) de sorte que la valeur de \(f\) grandit, ce qui signifie que \((0,0)\) ne peut pas être un maximum local pour \(f\text{.}\)
  • À présent, déplaçons \((x,y)\) en nous éloignant de \((0,0)\) le long de l’axe des \(y\text{.}\) Alors, \((x,y)=(0,y)\) et \(f(x,y)=f(0,y)=-y^2\text{.}\) Ainsi, quand on commence avec \(y=0\) et qu’on fait grandir \(|y|\text{,}\) la valeur de \(f\) décroît, ce qui veut dire que \((0,0)\) ne peut pas être un minimum local pour \(f\text{.}\)
Ainsi, se déplacer à partir de \((0,0)\) dans une direction entraîne une augmentation de la valeur de \(f\text{,}\) tandis que se déplacer à partir de \((0,0)\) dans une autre direction entraîne une diminution de la valeur de \(f\text{.}\) En conséquence, \((0,0)\) n’est pas un point de minimum local ni un point de maximum local pour \(f\text{.}\) On appelle ces points des points de selle puisque le graphe de \(f\) ressemble à une selle pour cheval (la définition précise suit). Voici quelques graphes montrant l’allure du graphe de \(f\text{.}\)
De façon approximative, si un point critique \((a,b)\) n’est ni un point de minimum local ni un point de maximum local, alors il s’agit d’un point de selle. Pour que \((a,b)\) ne soit pas un point de maximum local, \(f\) doit prendre des valeurs plus grandes que \(f(a,b)\) en certains points près de \((a,b)\text{.}\) Pour que \((a,b)\) ne soit pas un point de minimum local, \(f\) doit prendre des valeurs plus petites que \(f(a,b)\) en certains points près de \((a,b)\text{.}\)

Définition 2.8.17.

Soit \(\vr_0\) un point critique d’une fonction \(f\text{.}\) Alors, \(\vr_0\) est appelé un point de selle pour \(f\) si, pour tout \(\e \gt 0\text{,}\)
  • il existe au moins un point \(\vr\) tel que \(|\vr- \vr_0| \lt \e\) et \(f(\vr) \gt f(\vr_0)\text{,}\) et
  • il existe au moins un point \(\vr \) tel que \(|\vr- \vr_0| \lt \e\) et \(f(\vr) \lt f(\vr_0)\text{.}\)
Voyons un autre exemple de point de selle. On a besoin de travailler un peu plus pour le voir.

Exemple 2.8.18. \(f(x,y)= x^2-2xy-y^2+4y-2\).

Considérer \(f(x,y)= x^2-2xy-y^2+4y-2\text{.}\) Le gradient de \(f\) est
\begin{equation*} \vnabla f(x,y) = \big(2x-2y\big)\,\vi +\big(-2x-2y+4\big)\,\vj\text{.} \end{equation*}
Ainsi, \((x,y)\) est un point critique de \(f\) si et seulement si
\begin{align*} 2x-2y&=0,\\ -2x-2y&=-4\text{.} \end{align*}
La première équation donne \(x=y\text{.}\) Remplacer dans la seconde équation donne
\begin{equation*} -2y-2y=-4\implies x=y=1\text{.} \end{equation*}
Ainsi, \(f(x,y)\) admet précisément un point critique à \((1,1)\text{.}\)
Pour déterminer si \(f\) admet un point de minimum local, de maximum local ou un point de selle en \((1,1)\text{,}\) procédons comme dans l’Exemple 2.8.13. On fait le changement de variables,
\begin{equation*} x=1+\De x,\qquad y=1+\De y\text{,} \end{equation*}
ce qui donne
\begin{align*} &f\big(1+\De x,\,1+\De y\big)\\ &\hskip0.5in=(1+\De x)^2-2(1+\De x)(1+\De y)-(1+\De y)^2 + 4(1+\De y)-2\\ &\hskip0.5in= (\De x)^2 -2\De x\,\De y-(\De y)^2\text{.} \end{align*}
Après complétion des carrés,
\begin{equation*} f\big(1+\De x,\,1+\De y\big) =(\De x)^2 -2\De x\,\De y-(\De y)^2 =\left(\De x - \De y\right)^2 -2 (\De y)^2\text{.} \end{equation*}
Notons que \(f\) a été écrite comme la différence de deux carrés, comme la fonction \(f\) de l’Exemple 2.8.15.
  • Si \(\De x\) et \(\De y\) sont tels que le premier carré \(\left(\De x - \De y\right)^2\) est non nul, mais que le second carré \((\De y)^2\) est nul, alors \(f\big(1+\De x,\,1+\De y\big)=\left(\De x - \De y\right)^2 \gt 0 = f(1,1)\text{.}\) En somme, lorsque \(\De y=0\text{,}\) \(\De x\ne \De y\text{,}\) alors \(f\big(1+\De x,\,1+\De y\big)=\left(\De x - \De y\right)^2 \gt 0 = f(1,1)\text{.}\)
  • Aussi, si \(\De x\) et \(\De y\) sont tels que le premier carré \(\left(\De x - \De y\right)^2\) est nul, mais que le second carré \((\De y)^2\) ne l’est pas, alors \(f\big(1+\De x,\,1+\De y\big)=- 2(\De y)^2 \lt 0 = f(1,1)\text{.}\) En somme, lorsque \(\De x=\De y\ne 0\text{,}\) alors \(f\big(1+\De x,\,1+\De y\big) =- 2(\De y)^2 \lt 0 = f(1,1)\text{.}\)
Ainsi,
  • \(f(x,y) \gt f(1,1)\) pour tous les points sur la ligne bleue, et
  • \(f(x,y) \lt f(1,1)\) pour tous les points sur la ligne rouge.
On conclut que \((1,1)\) est le seul point critique pour \(f\) et qu’il s’agit d’un point de selle.
Les trois exemples qui précèdent montrent comment procéder pour classifier les points critiques des fonctions quadratiques (de deux variables, mais la même gymnastique de complétion de carrés fonctionne avec un nombre arbitraire de variables).
Bien entendu, il existe des fonctions qui ne sont pas des fonctions quadratiques. Cependant, avec l’approximation quadratique, on peut utiliser les mêmes idées de façon plus générale.
Supposons que \((a,b)\) est un point critique pour une fonction \(f(x,y)\text{.}\) Pour \(\De x\) et \(\De y\) petits, l’approximation quadratique de la Définition 2.7.2 donne
\begin{equation*} \begin{split} &f\big(a + \De x,\,b+\De y\big) \\ &\hskip0.25in\approx f\big(a\,,\,b\big) + f_x\big(a,\,b\big)\,\De x + f_y\big(a,\,b\big)\,\De y \\ &\hskip0.75in +\frac{1}{2}\left\{ f_{xx}\big(a,b\big)\,\De x^2 +2f_{xy}\big(a,b\big) \,\De x\De y + f_{yy}\big(a,b\big)\,\De y^2 \right\}\\ &\hskip0.25in= f\big(a\,,\,b\big) +\frac{1}{2}\left\{ f_{xx}\big(a,b\big)\,\De x^2 +2f_{xy}\big(a,b\big) \,\De x\De y + f_{yy}\big(a,b\big)\,\De y^2 \right\}. \end{split}\tag{$*$} \end{equation*}
Puisque \((a,b)\) est un point critique, \(f_x(a,b)=f_y(a,b)=0\text{.}\) Alors, avec la technique de l’Exemple 2.8.13 et de l’Exemple 2.8.18, on obtient
 6 
Il y a des résultats analogues pour plus de variables. Cependant, il vaut mieux les formuler en utilisant le langage de l’algèbre linéaire.
: voir les détails plus bas.

“Démonstration”.

Nous mettons des guillemets autour du mot “Démonstration”, car nous ne justifierons pas le fait qu’il suffit d’analyser l’approximation quadratique dans l’équation  \((*)\text{.}\) Pour alléger l’écriture, omettons l’argument \(\vr_0 = (x_0,y_0)\text{.}\) Si \(f_{xx}(\vr_0)\ne 0\text{,}\) alors, après complétion des carrés, on peut écrire
\begin{align*} &f_{xx}\,\De x^2 +2f_{xy}\,\De x\De y + f_{yy}\,\De y^2\\ &\hskip0.5in=f_{xx}\left(\De x +\frac{f_{xy}}{f_{xx}}\De y\right)^2 +\left(f_{yy}-\frac{f_{xy}^2}{f_{xx}}\right)\,\De y^2\\ &\hskip0.5in=\frac{1}{f_{xx}}\left\{\big(f_{xx}\,\De x+f_{xy}\,\De y\big)^2 +\big(f_{xx}f_{yy}-f_{xy}^2\big)\,\De y^2\right\}\text{.} \end{align*}
De la même façon, si \(f_{yy}(\vr_0)\ne 0\text{,}\)
\begin{align*} &f_{xx}\,\De x^2 +2f_{xy}\,\De x\De y + f_{yy}\,\De y^2\\ &\hskip0.5in=\frac{1}{f_{yy}}\left\{\big(f_{xy}\,\De x+f_{yy}\,\De y\big)^2 +\big(f_{xx}f_{yy}-f_{xy}^2\big)\,\De x^2\right\}\text{.} \end{align*}
Il faut remarquer que ceci ne tient plus si \(f_{xx}(\vr_0)=f_{yy}(\vr_0)=0\text{.}\) Nous allons traiter ce cas plus loin. Qui plus est, remarquons que
  • si \(\big(f_{xx}f_{yy}-f_{xy}^2\big) \gt 0\text{,}\) alors \(f_{xx}\) et \(f_{yy}\) doivent être non nulles et du même signe. De plus, si \(\De x\) ou \(\De y\) sont non nuls,
    \begin{align*} \left\{\big(f_{xx}\,\De x+f_{xy}\,\De y\big)^2 +\big(f_{xx}f_{yy}-f_{xy}^2\big)\,\De y^2\right\} & \gt 0\quad\text{et}\\ \left\{\big(f_{xy}\,\De x+f_{yy}\,\De y\big)^2 +\big(f_{xx}f_{yy}-f_{xy}^2\big)\,\De x^2\right\} & \gt 0\text{,} \end{align*}
    de sorte que, en vertu de \((*)\text{,}\)
    • si \(f_{xx}(\vr_0) \gt 0\text{,}\) alors \(\vr_0\) est un point de minimum local, et
    • si \(f_{xx}(\vr_0) \lt 0\text{,}\) alors \(\vr_0\) est un point de maximum local;
  • si \(\big(f_{xx}f_{yy}-f_{xy}^2\big) \lt 0\) et \(f_{xx}\) est non nulle, alors
    \begin{equation*} \left\{\big(f_{xx}\,\De x+f_{xy}\,\De y\big)^2 +\big(f_{xx}f_{yy}-f_{xy}^2\big)\,\De y^2\right\} \end{equation*}
    est strictement positive lorsque \(\De x\ne 0\) et \(\De y= 0\text{,}\) et est strictement négative lorsque \(f_{xx}\,\De x+f_{xy}\,\De y=0\) et \(\De y\ne 0\text{,}\) de sorte que \(\vr_0\) est un point de selle. De la même façon, \(\vr_0\) est un point de selle si \(\big(f_{xx}f_{yy}-f_{xy}^2\big) \lt 0\) et que \(f_{yy}\) est non nulle;
  • finalement, si \(f_{xy}\ne 0\) et \(f_{xx}=f_{yy}=0\text{,}\) alors
    \begin{equation*} f_{xx}\,\De x^2 +2f_{xy}\,\De x\,\De y + f_{yy}\,\De y^2 =2f_{xy}\,\De x\,\De y \end{equation*}
    est strictement positive pour un signe de \(\De x\,\De y\) et strictement négative pour l’autre signe de \(\De x\,\De y\text{.}\) Ainsi, \(\vr_0\) est un point de selle à nouveau.
On peut se demander pourquoi, dans la classification des points de maximum/minimum local du Théorème 2.8.19, \(f_{xx}(\vr_0)\) apparaît, mais pas \(f_{yy}(\vr_0)\text{.}\) La réponse est simplement que \(x\) vient avant \(y\) dans l’ordre alphabétique. On peut aussi bien utiliser \(f_{yy}(\vr_0)\text{.}\) La raison pour ceci est que si \(D(\vr_0) \gt 0\) (comme dans le premier point du théorème), alors, puisque \(D(\vr_0) = f_{xx}(\vr_0)\,f_{yy}(\vr_0) - f_{xy}(\vr_0)^2 \gt 0\text{,}\) on doit nécessairement avoir \(f_{xx} (\vr_0)\, f_{yy}(\vr_0) \gt 0\text{,}\) de sorte que \(f_{xx}(\vr_0)\) et \(f_{yy}(\vr_0)\) doivent être toutes les deux du même signe.
On peut aussi se demander pourquoi on ne peut rien conclure lorsque \(D(\vr_0)=0\) et ce qui arrive dans ce cas. Le test de la dérivée seconde pour les fonctions d’une variable a été établi exactement de la même façon : on fait l’approximation par le polynôme de Taylor de degré 2 en \((x-x_0)\) et \((y-y_0)\text{,}\) puis on analyse le comportement du polynôme quadratique près de \(\vr_0 = (x_0,y_0)\text{.}\) Pour que ceci fonctionne, les apports à \(f(\vr) = f(x,y)\) des termes de degré 2 en \((x-x_0)\) et \((y-y_0)\) doivent être plus importants que les contributions à \(f(x,y)\) des termes de degré trois ou plus en \((x-0)\) et \((y-y_0)\) lorsque \((x-x_0)\) et \((y-y_0)\) sont petits. Si ce n’est pas le cas, par exemple lorsque les termes de la fonction \(f(x,y)\) qui sont de degré 2 en \((x-x_0)\) et \((y-y_0)\) ont des coefficients nuls, alors notre argument ne tiendra plus la route. C’est exactement ce qui arrive lorsque \(D(\vr_0)=0\text{.}\) Voici quelques exemples. Les fonctions
\begin{align*} f_1(x,y)&=x^4+y^4,& f_2(x,y)&=-x^4-y^4,\\ f_3(x,y)&=x^3+y^3,& f_4(x,y)&=x^4-y^4 \end{align*}
admettent toutes \((0,0)\) comme seul point critique et, dans tous les cas, on a \(D(0,0)=0\text{.}\) La première fonction, \(f_1\text{,}\) admet un minimum, la deuxième, \(f_2\text{,}\) admet un maximum, tandis que la troisième et la quatrième admettent un point de selle.
Voici des esquisses des diagrammes de courbes de niveau de ces 4 fonctions (pour les figures, elles ont toutes été nommées \(f\)).

Exemple 2.8.20. \(f(x,y)=2x^3 - 6xy + y^2 +4y \).

Trouver et classifier les points critiques de \(f(x,y)=2x^3 - 6xy + y^2 +4y \text{.}\)
Solution.
Prenons de l’avance — puisque nous devons calculer le gradient pour trouver les points critiques, et la matrice hessienne pour calculer le hessien et appliquer le test des dérivées secondes du Théorème 2.8.19 — et calculons les dérivées partielles d’ordre 1 et 2 :
\begin{alignat*}{3} f&=2x^3 - 6xy + y^2 +4y,\\ f_x&=6x^2-6y, & f_{xx}&=12x, \qquad & f_{xy}&= -6,\\ f_y&=-6x+2y+4, \qquad & f_{yy}&=2,\qquad & f_{yx}&= -6\text{.} \end{alignat*}
Bien entendu, \(f_{xy}\) et \(f_{yx}\) coïncident. C’est néanmoins utile de calculer les deux, en guise de vérification.
Nous avons déjà trouvé, dans l’Exemple 2.8.8, que les points critiques sont \((1,1),\ (2,4)\text{.}\) Leur classification est :
\(\Atop{\text{point}}{\text{critique}}\) \(f_{xx}f_{yy}-f_{xy}^2\) \(f_{xx}\) type
\((1,1)\) \(12\times 2-(-6)^2 \lt 0\) point de selle
\((2,4)\) \(24\times 2-(-6)^2 \gt 0\) 24 min. local
Nous pouvons laisser l’entrée \(f_{xx}\) de la première rangée vide puisque
  • nous savions déjà que \(f_{xx}(1,1) f_{yy}(1,1)-f_{xy}^2(1,1) \lt 0\text{,}\) et
  • nous savions, du Théorème 2.8.19, que \(f_{xx}(1,1) f_{yy}(1,1)-f_{xy}^2(1,1) \lt 0\text{,}\) ce qui est suffisant pour garantir que \((1,1)\) est un point de selle.
Voici les courbes de niveau \(f(x,y)\text{.}\)
Ces courbes ne sont pas nécessaires pour répondre à la question, mais elles peuvent donner une idée de l’aspect du graphe de \(f\text{.}\)

Exemple 2.8.21. \(f(x,y) = xy(5x+y-15)\).

Trouver et classifier les points critiques de \(f(x,y)=xy(5x+y-15)\text{.}\)
Solution.
Nous avons déjà trouvé les dérivées partielles
\begin{equation*} f_x(x,y)= y(10x+y-15),\qquad\qquad f_y(x,y)= x(5x+2y-15) \end{equation*}
de \(f(x,y)\) dans l’Exemple 2.8.9. De nouveau, pour classifier les points critiques, il nous faut les dérivées secondes. Elles sont :
\begin{alignat*}{2} f_{xx}(x,y)&= 10y,\\ f_{yy}(x,y)&= 2x,\\ f_{xy}(x,y)&= (1)(10x+y-15)+y(1) &= 10x+2y-15,\\ f_{yx}(x,y)&= (1)(5x+2y-15)+x(5) &= 10x+2y-15\text{.} \end{alignat*}
Nous avons, à nouveau, calculé \(f_{xy}\) et \(f_{yx}\) afin de nous prémunir d’erreurs mécaniques. Nous avons déjà trouvé, dans l’Exemple 2.8.9, que les points critiques sont \((0,0),\ (0,15),\ (3,0)\) et \((1,5)\text{.}\) La classification est :
\(\Atop{\text{point}}{\text{critique}}\) \(f_{xx}f_{yy}-f_{xy}^2\) \(f_{xx}\) type
\((0,0)\) \(0\times0-(-15)^2 \lt 0\) point de selle
\((0,15)\) \(150\times0-15^2 \lt 0\) point de selle
\((3,0)\) \(0\times 6-15^2 \lt 0\) point de selle
\((1,5)\) \(50\times 2-5^2 \gt 0\) 75 min. local
Voici une esquisse des courbes de niveau de \(f\text{.}\) La fonction \(f\) prend des valeurs négatives dans les régions ombragées, et positives dans les autres régions.
De nouveau, ceci n’est pas nécessaire pour répondre à cette question, mais cela peut donner une idée de l’allure du graphe de \(f\text{.}\)

Exemple 2.8.22.

Trouver et classifier les points critiques de \(f(x,y)=x^3+xy^2-3x^2-4y^2+4\text{.}\)
Solution.
Nous connaissons la mécanique maintenant. Calculons les dérivées partielles jusqu’à l’ordre 2.
\begin{align*} f&=x^3+xy^2-3x^2-4y^2+4\\ f_x&=3x^2+y^2-6x & f_{xx}&=6x-6 & f_{xy}&= 2y\\ f_y&=2xy-8y & f_{yy}&=2x-8 & f_{yx}&= 2y \end{align*}
Les points critiques sont les solutions de \(f_x=0\) et \(f_y=0\text{,}\) c’est-à-dire
\begin{align*} f_x&=3x^2+y^2-6x=0, \tag{E1}\\ f_y&=2y(x-4)=0 \tag{E2}\text{.} \end{align*}
La seconde équation, \(2y(x-4)=0 \text{,}\) est vérifiée si et seulement si au moins une des deux équations \(y=0\) ou \(x=4\) l’est.
  • Lorsque \(y=0\text{,}\) l’équation (E1) force \(x\) à vérifier
    \begin{equation*} 0=3x^2+0^2-6x=3x(x-2)\text{,} \end{equation*}
    de sorte que \(x=0\) ou \(x=2\text{.}\)
  • Lorsque \(x=4\text{,}\) l’équation (E1) force \(y\) à vérifier
    \begin{equation*} 0=3\times 4^2+y^2-6\times 4=24+y^2\text{,} \end{equation*}
    ce qui est impossible.
Ainsi, il y a deux points critiques : \((0,0),\ (2,0)\text{.}\) Voici le tableau qui donne la classification.
\(\Atop{\rm point}{\rm critique}\) \(f_{xx}f_{yy}-f_{xy}^2\) \(f_{xx}\) type
\((0,0)\) \((-6)\times (-8)-0^2 \gt 0\) \(-6 \lt 0\) max. local
\((2,0)\) \(6\times(-4)-0^2 \lt 0\) point de selle

Exemple 2.8.23.

Un fabricant veut produire des boîtes rectangulaires (sans couvercle) d’un certain volume, \(V\text{,}\) en utilisant le moins de matériel possible. Trouver les dimensions de la boîte.
Solution.
Soit \(x\text{,}\) \(y\) et \(z\) la longueur, la largeur et la hauteur de la boîte, respectivement.
La boîte a deux côtés d’aire \(xz\text{,}\) deux côtés d’aire \(yz\) et un fond d’aire \(xy\text{.}\) Ainsi, l’aire totale est
\begin{equation*} S = 2xz + 2yz + xy\text{.} \end{equation*}
Cependant, les dimensions ne sont pas indépendantes. La contrainte d’avoir un volume \(V\) se traduit par
\begin{equation*} xyz = V\text{.} \end{equation*}
Nous pouvons utiliser cette contrainte pour éliminer une variable. Puisque \(z\) se trouve à la fin de l’alphabet, éliminons \(z\) en remplaçant \(z=\frac{V}{xy}\text{.}\) Nous devons donc trouver les valeurs de \(x\) et \(y\) qui minimisent la fonction
\begin{equation*} S(x,y) = \frac{2V}{y} + \frac{2V}{x} + xy\text{.} \end{equation*}
Commençons par trouver les points critiques de \(S\text{.}\) Puisque
\begin{align*} S_x(x,y) &= -\frac{2V}{x^2} + y,\\ S_y(x,y) &= -\frac{2V}{y^2} + x\text{,} \end{align*}
\((x,y)\) est un point critique si et seulement si
\begin{align*} x^2y&=2V, \tag{E1}\\ xy^2&=2V \tag{E2}\text{.} \end{align*}
On résout (E1) pour \(y\text{,}\) ce qui donne \(y=\frac{2V}{x^2}\text{.}\) En remplaçant dans (E2), on obtient
\begin{equation*} x\frac{4V^2}{x^4}=2V \implies x^3 = 2V \implies x = \root{3}\of{2V}\quad\text{et}\quad y = \frac{2V}{(2V)^{2/3}} = \root{3}\of{2V}\text{.} \end{equation*}
Comme il n’y a qu’un point critique, on peut espérer qu’il donne lieu à un minimum
 7 
En effet, on peut utiliser le fait que \(0 \lt x \lt \infty\text{,}\) que \(0 \lt y \lt \infty\) et que \(S\rightarrow\infty\) lorsque \(x\rightarrow 0\) et \(y\rightarrow 0\) et lorsque \(x\rightarrow \infty\) et \(y\rightarrow\infty\) pour prouver que le seul point critique donne un minimum global.
. Utilisons le test de la dérivée seconde. Les dérivées partielles requises sont
\begin{align*} S_{xx}(x,y)&=\frac{4V}{x^3}, & S_{xx}\big(\root{3}\of{2V},\,\root{3}\of{2V}\big)&=2,\\ S_{xy}(x,y)&=1,& S_{xy}\big(\root{3}\of{2V},\,\root{3}\of{2V}\big)&=1,\\ S_{yy}(x,y)&=\frac{4V}{y^3}, & S_{yy}\big(\root{3}\of{2V},\,\root{3}\of{2V}\big)&=2\text{.} \end{align*}
Alors,
\begin{align*} S_{xx}\big(\root{3}\of{2V},\,\root{3}\of{2V}\big)\ S_{yy}\big(\root{3}\of{2V},\,\root{3}\of{2V}\big) -S_{xy}\big(\root{3}\of{2V},\,\root{3}\of{2V}\big)^2 &=3 \gt 0,\\ S_{xx}\big(\root{3}\of{2V},\,\root{3}\of{2V}\big)&=2 \gt 0\text{,} \end{align*}
et, en vertu du Théorème 2.8.19, \(\big(\root{3}\of{2V},\,\root{3}\of{2V}\big)\) est un point de minimum local. Ainsi, les dimensions requises sont
\begin{equation*} x=y=\root{3}\of{2V},\qquad z=\root{3}\of{\frac{V}{4}}\text{.} \end{equation*}
Remarquons que, dans la solution, nous avons \(x=y\text{.}\) C’est une bonne chose : la fonction \(S(x,y)\) est symétrique en \(x\) et \(y\text{.}\) Puisque la boîte n’a pas de couvercle, la symétrie ne dépend pas de \(z\text{.}\)

Sous-section Maximums et minimums absolus

Un point de minimum ou de maximum local n’a aucune raison d’être un point de minimum ou de maximum global. En fait, il n’y a aucune raison pour qu’une fonction qui admet des minimums et des maximums locaux admette un minimum ou un maximum global, même pour des fonctions à une variable.
Commençons par faire un bref rappel de ce qui arrive pour les fonctions d’une variable définies sur un intervalle de \(\R\text{.}\)
Pour fixer les idées, supposons que nous voulons trouver les extremums d’une fonction \(f(x)\) sur l’intervalle \(0\leqslant x\leqslant 1\text{.}\) Si une valeur extrémale est atteinte à une valeur \(x=a\) à l’intérieur de l’intervalle (c’est-à-dire telle que \(0 \lt a \lt 1\)), alors \(a\) est aussi un point de maximum ou de minimum local. Si \(f'(a)\) existe, alors on doit avoir \(f'(a)=0\text{,}\) c’est-à-dire que \(a\) est un point critique pour \(f\text{.}\) Cependant, si l’extremum global est atteint à un point de la frontière de l’intervalle, c’est-à-dire \(a=0\) ou \(a=1\text{,}\) alors \(a\) n’a pas besoin d’être un point critique de \(f\text{.}\) Ceci arrive, par exemple, avec \(f(x)=x\text{.}\) La valeur maximale de \(f(x)\) sur \(0\leqslant x\leqslant 1\) est \(1\) et est atteinte à \(x=1\text{,}\) mais \(f'(x)=1\) ne s’annule jamais, de sorte que \(f\) n’a pas de point critique.
Ainsi, afin de trouver le maximum et le minimum d’une fonction \(f(x)\) sur \([0,1]\text{,}\) on procède comme suit :
  1. Dresser une liste des points candidats \(0\leqslant a\leqslant 1\) où les maximums/minimums peuvent être atteints, en trouvant les valeurs de \(a\) où :
    1. \(0 \lt a \lt 1\) et \(f'(a)=0\text{,}\) ou
    2. \(0 \lt a \lt 1\) et \(f'(a)\) n’existe pas (c’est-à-dire les points singuliers de \(f\)), ou
    3. \(a\) est un point du bord du domaine, c’est-à-dire \(a=0\) ou \(a=1\text{;}\)
  2. Évaluer \(f(a)\) à chacun des points \(a\) de la liste du point précédent. La valeur la plus grande est le maximum absolu; la plus petite, le minimum absolu.
La procédure pour trouver le maximum et le minimum d’une fonction \(f\) de plusieurs variables sur un ensemble donné est similaire. Commençons par le cas d’une fonction \(f(x,y)\) de deux variables sur le disque \(x^2+y^2\leqslant 1\text{.}\) Comme précédemment :
  1. Dresser la liste des points candidats \(\vr_0 = (x_0,y_0)\) sur le disque où un maximum ou un minimum peut être atteint (voir notamment le Théorème 2.8.3):
    1. \(\vr_0 = (x_0,y_0)\) est un point à l’intérieur du disque (c’est-à-dire, dans notre exemple, que \(x_0^2+y_0^2 \lt 1\)) et \(\vnabla f(\vr_0) = \vZero\text{,}\) ou
    2. \(\vr_0 \) est un point intérieur, et l’une des dérivées partielles \(f_x(\vr_0)\) ou \(f_y(\vr_0)\) n’existe pas, ou
    3. \(\vr_0 \) est un point sur le bord du disque
       8 
      Il devrait être clair que la frontière, ou le bord, du disque est l’ensemble des points \(\vr\) tels que \(|\vr| = 1\text{,}\) c’est-à-dire le cercle. Plus généralement, un point \(\vr\) est un point de la frontière d’un ensemble \(S\) s’il existe une suite de points de \(S\) qui converge vers \(\vr \) et qu’il existe aussi une suite de points du complément de \(S\) qui converge vers \(\vr\text{.}\)
      et peut donner lieu à un maximum ou à un minimum (plus de détails plus bas);
  2. Puis, évaluer \(f\) sur chacun des points de la liste de candidats. La valeur la plus grande est le maximum global; la plus petite, le minimum global.
Le bord d’un ensemble comme le disque est une courbe (le cercle). Cette courbe est de dimension 1. On peut trouver le maximum de \(f(x,y)\) sur cette courbe en transformant \(f(x,y)\) en une fonction d’une seule variable (sa restriction à la courbe) puis grâce aux techniques usuelles du calcul à une variable. Ceci est illustré dans les exemples ci-après.

Exemple 2.8.24.

Trouver le maximum et le minimum de \(T(x,y)=(x+y)e^{-x^2-y^2}\) sur la région définie par \(x^2+y^2\leqslant 1\) (c’est-à-dire le disque unité).
Solution.
Suivons notre procédure. Trouvons d’abord les points critiques, puis les points de non-dérivabilité et finalement le bord du domaine.
Points critiques à l’intérieur du domaine : Pour trouver les points critiques à l’intérieur du domaine, on calcule le gradient \(\vnabla T\) de \(T\) :
\begin{equation*} T_x(x,y)=(1-2x^2-2xy)e^{-x^2-y^2},\qquad T_y(x,y)=(1-2xy-2y^2)e^{-x^2-y^2}\text{.} \end{equation*}
Puisque l’exponentielle \(e^{-x^2-y^2}\) ne s’annule jamais, les points critiques sont les solutions de
\begin{alignat*}{3} T_x&=0 &\quad&\iff\quad & 2x(x+y)&=1,\\ T_y&=0 & &\iff & 2y(x+y)&=1\text{.} \end{alignat*}
  • Puisque \(2x(x+y)\) et \(2y(x+y)\) sont non nuls, on peut diviser ces équations, ce qui donne \(\frac{x}{y}=1\text{,}\) et donc \(x=y\text{.}\)
  • On remplace dans une des deux équations, ce qui donne \(2x(2x)=1\text{,}\) et donc \(x=y=\pm\frac{1}{2}\text{.}\)
Ainsi, les seuls points critiques sont \((\frac{1}{2},\frac{1}{2})\) et \((-\frac{1}{2},-\frac{1}{2})\text{.}\) Ils sont tous les deux à l’intérieur du domaine.
Points singuliers : Dans ce problème, il n’y a pas de point singulier. Les dérivées partielles de \(T\) existent partout.
Bord du domaine : Les points du bord du domaine sont ceux vérifiant \(x^2+y^2=1\text{,}\) c’est-à-dire les points du cercle unité. On peut utiliser le paramétrage familier du cercle, \(x=\cos t\) et \(y=\sin t\text{.}\) Ceci rendra la formule pour \(T\) sur le bord du domaine plus simple :
\begin{equation*} T = (\cos t+\sin t)e^{-\cos^2 t -\sin^2 t} =(\cos t+\sin t)e^{-1}\text{.} \end{equation*}
Il suffit donc d’étudier les variations de \(T(t) = (\cos t + \sin t)e^{-1}\text{.}\)
\begin{equation*} \frac{dT}{dt}=\big(-\sin t+\cos t\big)e^{-1} \end{equation*}
Ainsi, \((\cos t+\sin t)e^{-1}\) atteint son maximum ou son minimum lorsque
  • \(\sin t=\cos t\text{,}\)
  • c’est-à-dire lorsque \(x=y\) et \(x^2+y^2=1\text{,}\)
  • ce qui, à son tour, force \(x^2+x^2=1\text{,}\) d’où \(x=y=\pm\tfrac{1}{\sqrt{2}}\text{.}\)
En somme, nous avons les candidats suivants pour les maximums et minimums.
point \((\half,\half)\) \((-\half,-\half)\) \((\tfrac{1}{\sqrt{2}},\tfrac{1}{\sqrt{2}})\) \((-\tfrac{1}{\sqrt{2}},-\tfrac{1}{\sqrt{2}})\)
valeur de \(T\) \(\tfrac{1}{\sqrt{e}}\approx0.61\) \(-\tfrac{1}{\sqrt{e}}\) \(\tfrac{\sqrt{2}}{e}\approx0.52\) \(-\tfrac{\sqrt{2}}{e}\)
max. min.
La figure ci-après montre le domaine, les courbes de niveau, les points critiques et les points candidats sur le bord. Il est conseillé de faire une figure comme celle-ci (les courbes de niveau en moins), afin de s’assurer de ne pas inclure d’éventuels points critiques qui se trouveraient à l’extérieur du domaine.
described in detail following the image
Les courbes de niveau ainsi que les points critiques et les valeurs extrémales de \((x+y)e^{-x^2-y^2}\text{.}\)
Figure 2.8.25. Les courbes de niveau ainsi que les points critiques et les valeurs de \((x+y)e^{-x^2-y^2} \)
Dans l’exemple précédent, nous avons analysé le comportement de \(f\) sur le bord du domaine grâce au paramétrage \(x=\cos t\text{,}\) \(y=\sin t\) du cercle \(x^2+y^2=1\text{.}\) Il arrive souvent qu’un tel paramétrage ne mène pas à une expression aussi commode de la fonction considérée. Pire, certaines courbes peuvent ne pas avoir de paramétrage sympathique.
L’exemple qui suit montre une autre façon de traiter le bord du domaine.

Exemple 2.8.26.

Trouver le maximum et le minimum de \(f(x,y)=x^3+xy^2-3x^2-4y^2+4\) sur le disque \(x^2+y^2\leqslant 1\text{.}\)
Solution.
De nouveau, commençons par trouver les points critiques et les points singuliers, et analysons le bord du domaine.
Points critiques à l’intérieur : Si \(f\) prend son maximum ou son minimum en un point à l’intérieur du disque, c’est-à-dire vérifiant \(x^2+y^2 \lt 1\text{,}\) alors ce point doit être un point critique de \(f\) ou un point singulier. Pour trouver les points critiques de \(f\)
 9 
Nous l’avons déjà fait à l’Exemple 2.8.22 mais, pour le bénéfice du lectorat, faisons-le à nouveau.
, nous devons calculer les dérivées partielles :
\begin{gather*} f_x=3x^2+y^2-6x, \qquad f_y=2xy-8y\text{.} \end{gather*}
Les points critiques sont les solutions de
\begin{align*} f_x&=3x^2+y^2-6x=0, \tag{E1}\\ f_y&=2y(x-4)=0 \tag{E2}\text{.} \end{align*}
La seconde équation, \(2y(x-4)=0 \text{,}\) est satisfaite si et seulement si au moins une des égalités \(y=0\) ou \(x=4\) tient.
  • Lorsque \(y=0\text{,}\) l’équation (E1) force \(x\) à satisfaire
    \begin{equation*} 0=3x^2+0^2-6x=3x(x-2)\text{,} \end{equation*}
    de sorte que \(x=0\) ou \(x=2\text{.}\)
  • Lorsque \(x=4\text{,}\) l’équation (E1) force \(y\) à satisfaire
    \begin{equation*} 0=3\times 4^2+y^2-6\times 4=24+y^2\text{,} \end{equation*}
    ce qui est impossible.
Ainsi, il y a seulement deux points critiques : \((0,0),\ (2,0)\text{.}\) Parmi ceux-ci, seul \((0,0)\) est un point à l’intérieur du domaine.
Points singuliers : Dans ce problème, il n’y a pas de point singulier.
Bord du domaine : Sur le bord du domaine, \(x^2+y^2=1\text{,}\) on peut encore paramétrer le cercle \(x=\cos t\) et \(y=\sin t\text{.}\) Cependant, on utilise une autre méthode pour illustrer différentes techniques
 10 
Même si vous avez du mal à croire qu’on “ne peut pas avoir trop d’outils”, il est plutôt dangereux de se fier seulement à l’un d’eux.
. Nous savons que \((x,y)\) vérifie \(x^2+y^2=1\text{,}\) d’où \(y^2=1-x^2\text{.}\) Si l’on regarde la formule pour \(f(x,y)\text{,}\) on remarque qu’elle contient seulement des puissances paires de \(y\)
 11 
S’il y avait eu des puissances impaires, on pourrait considérer deux cas séparés, \(y\geqslant 0\) et \(y\leqslant 0\text{,}\) et remplacer \(y=\sqrt{1-x^2}\) dans le premier cas, puis \(y=-\sqrt{1-x^2}\) dans le second.
, de sorte qu’on peut éliminer \(y\) en remplaçant \(y^2=1-x^2\) dans la formule
\begin{equation*} f=x^3+x(1-x^2)-3x^2-4(1-x^2)+4=x+x^2\text{.} \end{equation*}
Le maximum et le minimum de \(x+x^2\) pour \(-1\leqslant x\leqslant 1\) doivent être atteints :
  • lorsque \(x=-1\) (\(\Rightarrow y=f=0\)), ou
  • lorsque \(x=+1\) (\(\Rightarrow y=0\text{,}\) \(f=2\)), ou
  • lorsque \(0=\frac{d}{dx}(x+x^2)=1+2x\) (\(\Rightarrow x=-\half\text{,}\) \(y=\pm\sqrt{\frac{3}{4}}\text{,}\) \(f=-\frac{1}{4}\)).
Voici une esquisse montrant les points que nous avons identifiés jusqu’à présent.
Nous avons déjà mentionné que le point \((2,0)\) n’appartient pas au domaine qui nous intéresse. Ainsi, en bout de ligne, nous avons les candidats suivants pour les maximum et minimum.
point \((0,0)\) \((-1,0)\) \((1,0)\) \(\big(-\half,\pm\tfrac{\sqrt{3}}{2}\big)\)
valeur de \(f\) \(4\) \(0\) \(2\) \(-\tfrac{1}{4}\)
max. min.

Exemple 2.8.27.

Trouver les valeurs maximale et minimale de \(f(x,y)=xy-x^3y^2\) lorsque \((x,y)\) parcourt le carré \(0\leqslant x\leqslant 1,\ 0\leqslant y\leqslant 1\text{.}\)
Solution.
Comme d’habitude, on étudie les points critiques, les points singuliers et le bord du domaine.
Points critiques à l’intérieur du domaine : Si \(f\) atteint son maximum ou son minimum à un point à l’intérieur du carré, c’est-à-dire vérifiant \(0 \lt x \lt 1\) et \(0 \lt y \lt 1\text{,}\) alors ce point doit être un point critique ou un point singulier de \(f\text{.}\) Pour calculer les points critiques, on calcule les dérivées partielles :
\begin{equation*} f_x(x,y)=y-3x^2y^2,\qquad f_y(x,y)=x-2x^3y\text{.} \end{equation*}
Les points critiques sont les solutions de
\begin{alignat*}{5} f_x&=0 & &\quad\iff\quad &y(1-3x^2y)=0 & &\quad\iff\quad & &y=0 \ \text{ ou }\ 3x^2y=1,\\ f_y&=0 & &\quad\iff\quad &x(1-2x^2y)=0 & &\quad\iff\quad & &x=0 \ \text{ ou }\ 2x^2y=1\text{.} \end{alignat*}
  • Si \(y=0\text{,}\) on ne peut avoir \(2x^2y=1\text{;}\) ainsi, on doit avoir \(x=0\text{.}\)
  • Si \(3x^2y=1\text{,}\) il est impossible d’avoir \(x=0\text{,}\) de sorte qu’il faut \(2x^2y=1\text{.}\) Après division, on obtient \(1=\tfrac{3x^2y}{2x^2y}=\tfrac{3}{2}\text{,}\) ce qui est impossible.
Ainsi, le seul point critique sur le carré est \((0,0)\text{.}\) En ce point, on a \(f=0\text{.}\)
Points singuliers : Il n’y en a aucun.
Bord du domaine : La région est un carré; son bord est composé de ses 4 côtés.
  • Pour commencer, on regarde la partie du bord qui vérifie \(x=0\text{.}\) Sur tout ce côté, la valeur de \(f\) est \(0\text{.}\)
  • On regarde maintenant la portion du bord correspondant à \(y=0\text{.}\) À nouveau, sur cette portion du bord, la valeur de \(f\) est \(0\text{.}\)
  • On poursuit avec la portion du bord où \(y=1\text{,}\) où l’on a \(f(x,1)=x-x^3\text{.}\) Pour trouver le maximum et le minimum de \(f(x,y)\) sur cette portion, on doit trouver le maximum et le minimum de \(x-x^3\) lorsque \(0\leqslant x\leqslant 1\text{.}\)
    Rappelons que, en général le maximum et le minimum d’une fonction continue \(h(x)\) sur un intervalle \(a\leqslant x\leqslant b\) doivent être atteints soit à \(x=a\text{,}\) à \(x=b\) ou à un point \(x\)\(h'(x)=0\) ou \(h'(x)\) n’existent pas. Dans notre cas, \(\tfrac{d}{dx}(x-x^3)=1-3x^2\text{,}\) de sorte que les maximum et minimum pour \(x-x^3\) avec \(0\leqslant x\leqslant 1\) doivent être atteints :
    • à \(x=0\text{,}\)\(f\) vaut \(0\text{,}\) ou
    • à \(x=\tfrac{1}{\sqrt{3}}\text{,}\)\(f\) vaut \(\tfrac{2}{3\sqrt{3}}\text{,}\) ou
    • à \(x=1\text{,}\)\(f\) vaut \(0\text{.}\)
  • Finalement, on étudie la portion du bord du carré où \(x=1\text{,}\) où l’on a \(f(1,y)=y-y^2\text{.}\) Puisque \(\tfrac{d}{dy}(y-y^2)=1-2y\text{,}\) le seul point critique de \(y-y^2\) se trouve à \(y=\frac{1}{2}\text{.}\) Ainsi, le maximum et le minimum pour \(y-y^2\) avec \(0\leqslant y\leqslant 1\) doivent avoir lieu :
    • à \(y=0\text{,}\)\(f\) vaut \(0\text{,}\) ou
    • à \(y=\half\text{,}\)\(f\) vaut \(\tfrac{1}{4}\text{,}\) ou
    • à \(y=1\text{,}\)\(f\) vaut \(0\text{.}\)
En bout de ligne, nous avons les candidats suivants pour le maximum et le minimum de \(f\text{.}\) Les valeurs extrémales sont indiquées.
point \((0,0)\) \({\scriptstyle(0,0 \leqslant y \leqslant 1)}\) \({\scriptstyle(0 \leqslant x \leqslant 1,0)}\) \((1,0)\) \((1,\half)\) \((1,1)\) \((0,1)\) \((\tfrac{1}{\sqrt{3}},1)\)
valeur de \(f\) 0 0 0 0 \(\tfrac{1}{4}\) 0 0 \(\tfrac{2}{3\sqrt{3}}\approx0.385\)
min. min. min. min. min. min. max.

Exemple 2.8.28.

Trouver le maximum et le minimum de \(f(x,y)=xy+2x+y\) lorsque \((x,y)\) parcourt le triangle de sommets \((0,0)\text{,}\) \((1,0)\) et \((0,2)\text{,}\) tel qu’indiqué dans la figure ci-après.
Solution.
Comme d’habitude, on examine les points critiques, les points singuliers et le bord du domaine.
Points critiques à l’intérieur du domaine : Si \(f\) atteint son maximum ou son minimum à un point à l’intérieur du domaine, ce point doit être un point critique ou un point singulier de \(f\text{.}\) Les points critiques sont les solutions de
\begin{equation*} f_x(x,y)=y+2=0,\qquad f_y(x,y)=x+1=0\text{.} \end{equation*}
Ainsi, il y a exactement un point critique, à savoir \((-1,-2)\text{.}\) Ce point se trouve à l’extérieur du domaine, il n’est donc pas un candidat au maxiumum ni au minimum.
Points singuliers : Il n’y en a aucun.
Bord du domaine : La région est un triangle (et son intérieur), de sorte que son bord est formé par trois segments.
  • Pour commencer, regardons le segment joignant \((0,0)\) à \((0,2)\text{.}\) Sur ce segment, on a \(x=0\text{,}\) de sorte que \(f(0,y)=y\text{.}\) La plus petite valeur de \(f\) sur ce côté est \(f=0\) au point \((0,0)\text{,}\) et la plus grande valeur de \(f\) sur ce côté est \(f=2\) au point \((0,2)\text{.}\)
  • Ensuite, considérons le côté joignant \((0,0)\) à \((1,0)\text{.}\) Sur ce côté, \(y=0\text{,}\) de sorte que \(f(x,0)=2x\text{.}\) La plus petite valeur de \(f\) sur ce côté est \(f=0\) au point \((0,0)\text{,}\) et la plus grande valeur de \(f\) sur ce côté est \(f=2\) au point \((1,0)\text{.}\)
  • Finalement, regardons le segment joignant \((0,2)\) à \((1,0)\text{.}\) Notre première tâche est de trouver l’équation de la droite qui passe par \((0,2)\) et \((1,0)\text{.}\) Prenons ceci comme prétexte pour faire une petite révision et trouvons cette équation de trois façons différentes.
    • Méthode 1 : On sait qu’une droite non verticale du plan \(xy\) admet une équation de la forme \(y=mx + b\text{,}\)\(b\) est l’ordonnée à l’origine \(y\) et où \(m\) est la pente. Dans notre cas, la droite croise l’axe des \(y\) à \(y=2\text{,}\) et donc \(b=2\text{.}\) La droite passe par \((0,2)\) et \((1,0)\text{,}\) donc sa pente est \(m=\frac{\De y}{\De x}=\frac{0-2}{1-0}=-2\text{.}\) Ainsi, le troisième côté du triangle se trouve sur la droite d’équation \(y=2-2x\) et vérifie en plus \(0\leqslant x\leqslant 1\text{.}\)
    • Méthode 2 : Toute droite du plan \(xy\) admet une équation \(ax+by=c\text{.}\) Dans ce cas, \((0,0)\) n’est pas sur la droite, de sorte que \(c\ne 0\text{,}\) et l’on peut diviser l’équation par \(c\text{,}\) ce qui donne \(\frac{a}{c}x+\frac{b}{c}y=1\text{.}\) Posons \(\frac{a}{c}=A\) et \(\frac{b}{c}=B\text{.}\) Ainsi, puisque la droite ne passe pas par l’origine, elle admet une équation de la forme \(Ax+By=1\text{.}\) Afin d’avoir que \((0,2)\) se trouve sur la droite, \(x=0\text{,}\) \(y=2\) doit être une solution de \(Ax+By=1\text{,}\) c’est-à-dire \(Ax\big|_{x\,=\,0}+By\big|_{y\,=\,2}=1\text{,}\) de sorte que \(B=\frac{1}{2}\text{.}\) Afin d’avoir que \((1,0)\) se trouve sur la droite, \(x=1\text{,}\) \(y=0\) doit être une solution de \(Ax+By=1\text{,}\) c’est-à-dire \(Ax\big|_{x\,=\,1}+By\big|_{y\,=\,0}=1\text{,}\) ce qui donne \(A=1\text{.}\) Ainsi, l’équation de la droite est \(x+\frac{1}{2}y=1\text{,}\) ou encore \(y=2-2x\text{.}\)
    • Méthode 3 : Le vecteur joignant \((0,2)\) à \((1,0)\) est \(\llt 1-0\,,\,0-2\rgt = \llt 1,-2\rgt\text{.}\) Il s’agit d’un vecteur directeur pour la droite. Un point sur celle-ci est \((0,2)\text{.}\) Ainsi, un paramétrage de cette droite est (voir (1.5.4))
      \begin{equation*} \llt x-0,\,y-2\rgt = t\llt 1,-2\rgt\qquad\text{ou}\qquad x=t,\ y=2-2t\text{.} \end{equation*}
    Chacune de ces trois méthodes
     12 
    Dans la troisième, on a changé le nom de \(x\) pour \(t\text{.}\)
    donne que le côté du triangle qui joint \((0,2)\) à \((1,0)\) est \(y=2-2x\) avec \(0\leqslant x\leqslant 1\text{.}\) Sur ce côté du triangle, nous avons
    \begin{equation*} f(x,2-2x) = x(2-2x)+2x+(2-2x) = -2x^2 +2x+2\text{.} \end{equation*}
    Posons \(g(x) = -2x^2 +2x+2\text{.}\) Le maximum et le minimum de \(g(x)\) pour \(0\leqslant x\leqslant 1\text{,}\) et donc le maximum et le minimum pour \(f\) sur l’hypoténuse du triangle, doivent être atteints :
    • à \(x=0\text{,}\) où l’on a \(f(0,2)=g(0)=2\text{,}\) ou
    • à \(x=1\text{,}\) où l’on a \(f(1,0)=g(1)=2\text{,}\) ou
    • lorsque \(0=g'(x) = -4x+2\text{,}\) c’est-à-dire \(x=\frac{1}{2}\text{,}\) \(y=2-\frac{2}{2}=1\text{,}\) et où l’on a
      \begin{equation*} f\left(\frac{1}{2},1\right)=g\left(\frac{1}{2}\right)=-\frac{2}{4}+\frac{2}{2}+2 =\frac{5}{2}\text{.} \end{equation*}
En combinant ce qui précède, nous avons les candidats suivants pour les maximum et minimum de \(f\text{.}\)
point \((0,0)\) \((0,2)\) \((1,0)\) \((\frac{1}{2},1)\)
valeur de \(f\) 0 2 2 \(\frac{5}{2}\)
min. max.

Exemple 2.8.29.

Trouver les points les plus hauts et les points les plus bas de la portion de la surface \(\ z=\sqrt{x^2+y^2}\ \) se trouvant sur le carré \(\ |x|\leqslant 1\text{,}\) \(|y|\leqslant 1 \text{.}\)
Solution.
La fonction \(\ f(x,y)=\sqrt{x^2+y^2}\ \) admet une interprétation géométrique simple : il s’agit de la distance séparant le point \((x,y)\) de l’origine. Ainsi,
  • le minimum de \(f(x,y)\) est atteint au point sur le carré qui est le plus près de l’origine, c’est-à-dire l’origine elle-même. Ainsi, \((0,0,0)\) est le point le plus bas sur la surface, et sa hauteur est \(0\text{.}\)
  • le maximum de \(f(x,y)\) est atteint aux points sur le carré se trouvant le plus loin de l’origine, c’est-à-dire les 4 coins du carré \(\big(\pm 1,\pm 1\big)\text{.}\) À ces points, \(z=\sqrt{2}\text{.}\) Ainsi, les points les plus hauts sur la surface sont \((\pm 1,\pm 1,\sqrt{2})\text{.}\)
Même si nous avons déjà répondu à la question, il sera illustratif de voir ce qu’il serait arrivé si nous avions suivi notre protocole usuel. Les dérivées partielles de \(f(x,y)=\sqrt{x^2+y^2}\) sont définies pour \((x,y)\ne (0,0)\) et sont
\begin{equation*} f_x(x,y) =\frac{x}{\sqrt{x^2+y^2}},\qquad f_y(x,y) =\frac{y}{\sqrt{x^2+y^2}}\text{.} \end{equation*}
  • Il n’y a pas de point critique, puisque
    • \(f_x=0\) seulement pour \(x=0\text{,}\) et
    • \(f_y=0\) seulement pour \(y=0\text{,}\) mais
    • \((0,0)\) n’est pas un point critique puisque \(f_x\) et \(f_y\) ne sont pas définies en ce point.
  • Il y a un point singulier, à savoir \((0,0)\text{.}\) La valeur minimale de \(f\) est atteinte en ce point singulier.
  • Le bord du carré est formé de ses 4 côtés. L’un d’eux est
    \begin{equation*} \Set{(x,y)}{x=1,\ -1\leqslant y\leqslant 1}\text{.} \end{equation*}
    Sur ce côté, \(f=\sqrt{1+y^2}\text{.}\) Étant donné que \(\sqrt{1+y^2}\) croît avec \(|y|\text{,}\) la plus petite valeur de \(f\) sur ce côté est \(1\) (lorsque \(y=0\)), et la plus grande est \(\sqrt{2}\) (lorsque \(y=\pm 1\)). La même chose arrive pour les trois autres côtés du carré. La valeur maximale de \(f\) est atteinte aux 4 coins. Remarquons que \(f_x\) et \(f_y\) sont toutes les deux non nulles en ces points.

Exercices Exercices

Pour se pratiquer.

1.
  1. Quelques courbes de niveau de la fonction \(f(x,y)\) sont esquissées dans le plan \(xy\) ci-dessous.
    Pour chacun des énoncés ci-dessous, encercler la lettre de tous les points dans le diagramme où la situation s’applique. Par exemple, si l’énoncé était “Ces points sont sur l’axe \(y\)”, vous encercleriez \(P\) et \(U\text{,}\) mais aucune des autres lettres. Vous pouvez prendre pour acquis qu’un maximum local se produit au point \(T\text{.}\)
    \begin{align*} \text{(i) }& \vnabla f\text{ est nul} & &\text{P R S T U}\\ \text{(ii) }& f \text{ a un point de selle} & &\text{P R S T U}\\ \text{(iii) }& \text{ la dérivée partielle $f_y$ est positive} & &\text{P R S T U}\\ \text{(iv) }& \text{ la dérivée directionnelle de $f$ dans la direction $\llt 0,-1\rgt$ is} & &\text{P R S T U}\\ & \text{ négative} & & \end{align*}
  2. Le diagramme ci-dessous montre trois “traces \(y\)” d’un graphe \(z=F(x,y)\) esquissé sur les axes \(xz\text{.}\) (Autrement dit, les intersections de la surface \(z=F(x,y)\) avec les trois plans (\(y=1.9\text{,}\) \(y=2\text{,}\) \(y=2.1\)). Pour chaque énoncé ci-dessous, encercler le bon mot.
    \begin{align*} \text{(i) }& \text{ la dérivée partielle de premier ordre}\ F_x(1,2)\ \text{est} & & \text{positive/négative/nulle}\\ \text{(ii) }& F \text{ a un point critique en } (2,2) & &\text{vrai/faux}\\ \text{(iii) }& \text{ la dérivée partielle de deuxième ordre}\ F_x(1,2)\ \text{est} & &\text{positive/négative/nulle} \end{align*}
Réponse.
(a) (i) \(T\text{,}\) \(U\)
(a) (ii) \(U\)
(a) (iii) \(S\)
(a) (iv) \(S\)
(b) (i) \(F_x(1,2) \gt 0\)
(b) (ii) \(F\) n’a pas de point critique en \((2,2)\text{.}\)
(b) (iii) \(F_{xy}(1,2) \lt 0\)
2.
Soit \(z = f(x,y) = {(y^2 - x^2)}^2\text{.}\)
  1. Faire une esquisse raisonnablement précise des courbes de niveau dans le plan \(xy\) de \(z = f(x,y)\) pour \(z = 0\text{,}\) \(1\) et \(16\text{.}\) Assurez-vous de montrer les unités sur les axes de coordonnées.
  2. Vérifiez que \((0,0)\) est un point critique pour \(z = f(x,y)\text{,}\) et déterminez de la partie (a) ou directement de la formule pour \(f(x,y)\) si \((0, 0)\) est un minimum local, un maximum local ou un point de selle.
  3. Pouvez-vous utiliser le test de la dérivée seconde afin de déterminer si le point critique \((0, 0)\) est un minimum local, un maximum local ou un point de selle? Donnez des raisons pour votre réponse.
Réponse.
(a)
(b) \((0,0)\) est un minimum local (et aussi absolu).
(c) Notez que
\begin{alignat*}{2} f_{xx}(x,y) &=-4y^2+12x^2\qquad& f_{xx}(x,y)&=0\\ f_{yy}(x,y) &= 12y^2-4x^2\qquad& f_{yy}(x,y)&=0\\ f_{xy}(x,y) &=-8xy\qquad& f_{xx}(x,y)&=0 \end{alignat*}
Comme \(f_{xx}(0,0)f_{yy}(0,0)-f_{xy}(0,0)^2=0 \text{,}\) le test de la dérivée seconde (Théorème 2.8.19) ne dit rien.
3.
Utilisez le test de la dérivée seconde pour trouver toutes les valeurs de la constante \(c\) pour lesquelles la fonction \(z = x^2 + cxy + y^2\) admet un point de selle en \((0,0)\text{.}\)
Réponse.
\(|c| \gt 2\)
4.
Trouvez et classifiez tous les points critiques de la fonction
\begin{equation*} f(x, y) = x^3 - y^3 - 2xy + 6. \end{equation*}
Réponse.
\(\Atop{\text{point}}{\text{critique}}\) type
\((0,0)\) point de selle
\(\left(-\frac{2}{3},\frac{2}{3}\right)\) maximum local
5.
Trouvez tous les points critiques pour \(f(x,y) = x(x^2 + xy + y^2 - 9)\text{.}\) Également, trouvez les points parmi ces points qui donnent des maximums locaux pour \(f(x,y)\text{,}\) qui donnent des minimum locaux, et qui donnent des points de selles.
Réponse.
\(\Atop{\text{Point}}{\text{critique}}\) type
\((0,3)\) point de selle
\((0,-3)\) point de selle
\((-2,1)\) maximum local
\((2,-1)\) minimum local
6.
Trouvez et classifiez tous les points critiques de \(f(x,y)=x^2+y^2+x^2y+4\text{.}\)
Réponse.
\(\Atop{\text{Point}}{\text{critique}}\) type
\((0,0)\) Minimum local
\((\sqrt{2},-1)\) point de selle
\((-\sqrt{2},-1)\) point de selle
7.
Trouvez tous les points de selles, les minimums locaux et maximums locaux de la fonction
\begin{equation*} f(x,y) = x^3 + x^2 - 2xy + y^2 - x. \end{equation*}
Réponse.
\(\Atop{\text{Point}}{\text{critique}}\) type
\(\big(\frac{1}{\sqrt{3}},\frac{1}{\sqrt{3}}\big)\) minimum local
\(-\big(\frac{1}{\sqrt{3}},\frac{1}{\sqrt{3}}\big)\) point de selle
8.
Pour la surface
\begin{equation*} z = f (x, y) = x^3 + xy^2 - 3x^2 - 4y^2 + 4 \end{equation*}
Trouvez et classifiez (maximum local, minimum local ou point de selle) tous les points critiques de \(f(x,y)\text{.}\)
Réponse.
\(\Atop{\text{Point}}{\text{critique}}\) type
\((0,0)\) maximum local
\((2,0)\) point de selle

Pour mieux comprendre.

9.
Trouvez la valeur maximale et minimale de \(f(x,y)=xy-x^3y^2\) lorsque \((x,y)\) se trouve dans le carré \(0\leqslant x\leqslant 1\text{,}\) \(0\leqslant y\leqslant 1\text{.}\)
Réponse.
\(\text{min}=0\qquad \text{max}=\frac{2}{3\sqrt{3}}\approx0.385\)
10.
La température à tous les points dans le disque \(x^2+y^2\leqslant 1\) est donnée par \(T(x,y)=(x+y)e^{-x^2-y^2}\text{.}\) Trouvez la température maximale et minimale dans le disque.
Réponse.
\(\text{min}=-\frac{1}{\sqrt{e}}\qquad \text{max}=\frac{1}{\sqrt{e}}\)
11.
  1. Pour la fonction \(z = f (x, y) = x^3 + 3xy + 3y^2 - 6x - 3y - 6\text{.}\) Trouvez et classifiez (maximum local, minimum local ou point de selle) tous les points critiques de \(f(x, y)\text{.}\)
  2. Les images ci-dessous illustrent les ensembles de niveau de \(f (x, y) = c\) des fonctions de la liste aux hauteurs \(c = 0, 0.1, 0.2, \ldots , 1.9, 2\text{.}\) Étiquettez les images avec la fonction correspondante et identifier les points critiques dans chaque image. (Notez que dans certains cas, les points critiques peuvent ne pas être déjà identifiés dans l’image dessinée. Dans ces cas, vous devez les ajouter à l’image.)
    1. \(\displaystyle f(x, y) = (x^2 + y^2 - 1)(x - y) + 1\)
    2. \(\displaystyle f(x, y) = \sqrt{x^2 + y^2}\)
    3. \(\displaystyle f(x, y) = y(x + y)(x - y) + 1\)
    4. \(\displaystyle f(x, y) = x^2 + y^2\)
Réponse.
(a)
\(\Atop{\text{Point}}{\text{critique}}\) type
\((\frac{3}{2},-\frac{1}{4})\) minimum local
\((-1,1)\) point de selle
(b)
(i)
(ii)
(iii)
(iv)
12.
Trouvez la valeur du maximum et minimum absolu de la fonction \(f(x, y) = 5 + 2x - x^2 - 4y^2\) sur la région rectangulaire
\begin{equation*} R = \Set{(x, y)}{ -1\leqslant x\leqslant3,\ -1\leqslant y\leqslant1} \end{equation*}
Réponse.
Le minimum est \(-2\) et le maximum est \(6\text{.}\)
13.
Considérez la fonction
\begin{equation*} f(x,y)=2x^3 - 6xy + y^2 +4y \end{equation*}
  1. Trouvez et classifiez tous les points critiques de \(f(x,y)\text{.}\)
  2. Trouvez la valeur maximale et minimale de \(f(x,y)\) dans le triangle dont les sommets sont \((1,0)\text{,}\) \((0,1)\) et \((1,1)\text{.}\)
Réponse.
(a) \((1,1)\) est un point de selle et \((2,4)\) est un minimum local
(b) Le minimum et maximum sont \(\frac{19}{27}\) et \(5\text{,}\) respectivement.
14.
Une plaque en métal est en forme de demi-disque borné par l’axe \(x\) et la moitié supérieure de \(x^2+y^2=4\text{.}\) La température au point \((x,y)\) est donnée par \(T(x,y)=\ln\big(1+x^2+y^2\big)-y\text{.}\) Trouvez le point le plus froid sur la plaque, en expliquant vos étapes soigneusement. (Note: \(\ln 2\approx 0.693\text{,}\) \(\ln 5\approx 1.609\))
Réponse.
La température la plus froide est \(-0.391\) et le point le plus froid est \((0,2)\text{.}\)
15.
La température \(T(x,y)\) à un point du plan \(xy\) est donnée par
\begin{equation*} T(x,y) = 20 - 4x^2 - y^2 \end{equation*}
  1. Trouvez la valeur maximale et minimale de \(T(x,y)\) sur le disque \(D\) défini par \(x^2 + y^2\leqslant4\text{.}\)
  2. Supposons qu’une fourmi vit sur le disque \(D\text{.}\) Si la fourmi est initiallement au point \((1, 1)\text{,}\) dans quelle direction doit-elle se déplacer afin que la température croît le plus vite possible?
  3. Supposons que la fourmi se déplace à une vitesse \(\vv = -2\vi - \vj\text{.}\) Quel est le taux de variation de la température lorsqu’elle passe par \((1, 1)\text{?}\)
  4. Supposons que la fourmi est contrainte à rester sur la courbe \(y = 2 - x^2\text{.}\) Où devrait-elle aller si elle veut être le plus au chaud possible?
Réponse.
(a) La valeur maximale et minimale de \(T(x,y)\) dans \(x^2+y^2\leqslant 4\) sont \(20\)\((0,0)\)) et \(4\)\((\pm 2,0)\)), respectivement.
(b) \(\frac{1}{\sqrt{17}}\llt -4,-1\rgt\)
(c) \(18\)
(d) \((0,2)\)
16.
Considérez la fonction
\begin{equation*} f (x,y) = 3kx^2 y + y^3 - 3x^2 - 3y^2 + 4 \end{equation*}
\(k \gt 0\) est une constante. Trouvez et classifiez tous les points critiques de \(f(x,y)\) comme étant un minimum local, un maximum local, un point de selle ou un point de type indéterminé. Distinguer prudemment les cas \(k \lt \frac{1}{2}\text{,}\) \(k = \frac{1}{2}\) et \(k \gt \frac{1}{2}\text{.}\)
Réponse.
Cas \(k \lt \frac{1}{2}\text{:}\)
\(\Atop{\text{Point}}{\text{critique}}\) type
\((0,0)\) maximum local
\((0,2)\) point de selle
Cas \(k=\frac{1}{2}\text{:}\)
\(\Atop{\text{Point}}{\text{critique}}\) type
\((0,0)\) maximum local
\((0,2)\) indéterminé
Cas \(k \gt \frac{1}{2}\text{:}\)
\(\Atop{\text{Point}}{\text{critique}}\) type
\((0,0)\) maximum local
\((0,2)\) minimum local
\(\left(\sqrt{\frac{1}{k^3}(2k-1)}\,,\,\frac{1}{k}\right)\) point de selle
\(\left(-\sqrt{\frac{1}{k^3}(2k-1)}\,,\,\frac{1}{k}\right)\) point de selle
17.
  1. Montrez que la fonction \(f(x,y)=2x+4y+\frac{1}{xy}\) admet exactement un point critique dans le premier quadrant \(x \gt 0\text{,}\) \(y \gt 0\text{,}\) et trouvez sa valeur en ce point.
  2. Utilisez le test de la dérivée seconde pour classifier les points critiques de la partie (a).
  3. Ainsi, expliquer pourquoi l’inégalité \(2x+4y+\frac{1}{xy}\geqslant 6\) est valide pour tous les nombres réels positifs \(x\) et \(y\text{.}\)
Réponse.
(a) \(x=1\text{,}\) \(y=\half\text{,}\) \(f\big(1,\half\big)=6\)
(b) minimum local
(c) Lorsque \(x\) ou \(y\) tend à l’infinie, l’autre étant supérieur ou égal à zéro, \(2x+4y\) tend vers \(+\infty\text{.}\) Lorsque \((x,y)\) tend vers n’importe quel point de la partie positive de l’axe \(x\) et \(y\text{,}\) \(\frac{1}{xy}\) tend vers \(+\infty\text{.}\) Ainsi, lorsque \(x\) ou \(y\) tend vers la frontière du premier quadrant (en comptant l’infini comme faisant partie à la frontière), \(f(x,y)\) tend vers \(+\infty\text{.}\) Ceci résulte au fait que \(\big(1,\half\big)\) est un minimum global pour \(f\) dans le premier quadrant. Ainsi, \(f(x,y)\geqslant f\big(1,\half\big)=6\) pour tout \(x,y \gt 0\text{.}\)

Pour aller plus loin.

18.
Si \(t_0\) est un minimum ou maximum local de la fonction lisse \(\ f(t)\ \) d’une variable (\(t\) parcourt les nombres réels), alors \(\ f'(t_0)=0.\) Il existe une condition nécessaire analogue pour déterminer si \(\vx_0\) est le minimum ou maximum local d’une fonction lisse \(\ g(\vx)\ \) restreint aux points sur la droite \(\ \vx=\va+t\vd\ .\) Le test devrait faire intervenir la fonction \(g(\vx)\text{.}\)
Réponse.
\(\vnabla g(\vx_0)\cdot\vd=0\text{,}\) i.e. \(\vnabla g(\vx_0)\perp\vd\text{,}\) et \(\vx_0=\va+t_0\vd\) pour un \(t_0\text{.}\) La deuxième condition est pour assurer que \(x_0\) se trouve sur la droite.