\( %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Mes commandes %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \newcommand{\multirows}[3]{\multirow{#1}{#2}{$#3$}}%pour rester en mode math \renewcommand{\arraystretch}{1.3}%pour augmenter la taille des case \newcommand{\point}[1]{\marginnote{\small\vspace*{-1em} #1}}%pour indiquer les points ou le temps \newcommand{\dpl}[1]{\displaystyle{#1}}%megamode \newcommand{\A}{\mathscr{A}} \newcommand{\LN}{\mathscr{N}} \newcommand{\LL}{\mathscr{L}} \newcommand{\K}{\mathbb{K}} \newcommand{\N}{\mathbb{N}} \newcommand{\Z}{\mathbb{Z}} \newcommand{\Q}{\mathbb{Q}} \newcommand{\R}{\mathbb{R}} \newcommand{\C}{\mathbb{C}} \newcommand{\M}{\mathcal{M}} \newcommand{\D}{\mathbb{D}} \newcommand{\E}{\mathcal{E}} \renewcommand{\P}{\mathcal{P}} \newcommand{\G}{\mathcal{G}} \newcommand{\Kk}{\mathcal{K}} \newcommand{\Cc}{\mathcal{C}} \newcommand{\Zz}{\mathcal{Z}} \newcommand{\Ss}{\mathcal{S}} \newcommand{\B}{\mathbb{B}} \newcommand{\inde}{\bot\!\!\!\bot} \newcommand{\Proba}{\mathbb{P}} \newcommand{\Esp}[1]{\dpl{\mathbb{E}\left(#1\right)}} \newcommand{\Var}[1]{\dpl{\mathbb{V}\left(#1\right)}} \newcommand{\Cov}[1]{\dpl{Cov\left(#1\right)}} \newcommand{\base}{\mathcal{B}} \newcommand{\Som}{\textbf{Som}} \newcommand{\Chain}{\textbf{Chain}} \newcommand{\Ar}{\textbf{Ar}} \newcommand{\Arc}{\textbf{Arc}} \newcommand{\Min}{\text{Min}} \newcommand{\Max}{\text{Max}} \newcommand{\Ker}{\text{Ker}} \renewcommand{\Im}{\text{Im}} \newcommand{\Sup}{\text{Sup}} \newcommand{\Inf}{\text{Inf}} \renewcommand{\det}{\texttt{det}} \newcommand{\GL}{\text{GL}} \newcommand{\crossmark}{\text{\ding{55}}} \renewcommand{\checkmark}{\text{\ding{51}}} \newcommand{\Card}{\sharp} \newcommand{\Surligne}[2]{\text{\colorbox{#1}{ #2 }}} \newcommand{\SurligneMM}[2]{\text{\colorbox{#1}{ #2 }}} \newcommand{\norm}[1]{\left\lVert#1\right\rVert} \renewcommand{\lim}[1]{\underset{#1}{lim}\,} \newcommand{\nonor}[1]{\left|#1\right|} \newcommand{\Un}{1\!\!1} \newcommand{\sepon}{\setlength{\columnseprule}{0.5pt}} \newcommand{\sepoff}{\setlength{\columnseprule}{0pt}} \newcommand{\flux}{Flux} \newcommand{\Cpp}{\texttt{C++\ }} \newcommand{\Python}{\texttt{Python\ }} %\newcommand{\comb}[2]{\begin{pmatrix} #1\\ #2\end{pmatrix}} \newcommand{\comb}[2]{C_{#1}^{#2}} \newcommand{\arrang}[2]{A_{#1}^{#2}} \newcommand{\supp}[1]{Supp\left(#1\right)} \newcommand{\BB}{\mathcal{B}} \newcommand{\arc}[1]{\overset{\rotatebox{90}{)}}{#1}} \newcommand{\modpi}{\equiv_{2\pi}} \renewcommand{\Re}{Re} \renewcommand{\Im}{Im} \renewcommand{\bar}[1]{\overline{#1}} \newcommand{\mat}{\mathcal{M}} \newcommand{\und}[1]{{\mathbf{\color{red}\underline{#1}}}} \newcommand{\rdots}{\text{\reflectbox{$\ddots$}}} \newcommand{\Compa}{Compa} \newcommand{\dint}{\dpl{\int}} \newcommand{\intEFF}[2]{\left[\!\left[#1 ; #2\right]\!\right]} \newcommand{\intEFO}[2]{\left[\!\left[#1 ; #2\right[\!\right[} \newcommand{\intEOF}[2]{\left]\!\left]#1 ; #2\right]\!\right]} \newcommand{\intEOO}[2]{\left]\!\left]#1 ; #2\right[\!\right[} \newcommand{\ou}{\vee} \newcommand{\et}{\wedge} \newcommand{\non}{\neg} \newcommand{\implique}{\Rightarrow} \newcommand{\equivalent}{\Leftrightarrow} \newcommand{\Ab}{\overline{A}} \newcommand{\Bb}{\overline{B}} \newcommand{\Cb}{\overline{C}} \newcommand{\Cl}{\texttt{Cl}} \newcommand{\ab}{\overline{a}} \newcommand{\bb}{\overline{b}} \newcommand{\cb}{\overline{c}} \newcommand{\Rel}{\mathcal{R}} \newcommand{\superepsilon}{\varepsilon\!\!\varepsilon} \newcommand{\supere}{e\!\!e} \makeatletter \newenvironment{console}{\noindent\color{white}\begin{lrbox}{\@tempboxa}\begin{minipage}{\columnwidth} \ttfamily \bfseries\vspace*{0.5cm}} {\vspace*{0.5cm}\end{minipage}\end{lrbox}\colorbox{black}{\usebox{\@tempboxa}} } \makeatother \def\ie{\textit{i.e. }} \def\cf{\textit{c.f. }} \def\vide{ { $ {\text{ }} $ } } %Commande pour les vecteurs \newcommand{\grad}{\overrightarrow{Grad}} \newcommand{\Vv}{\overrightarrow{v}} \newcommand{\Vu}{\overrightarrow{u}} \newcommand{\Vw}{\overrightarrow{w}} \newcommand{\Vup}{\overrightarrow{u'}} \newcommand{\Zero}{\overrightarrow{0}} \newcommand{\Vx}{\overrightarrow{x}} \newcommand{\Vy}{\overrightarrow{y}} \newcommand{\Vz}{\overrightarrow{z}} \newcommand{\Vt}{\overrightarrow{t}} \newcommand{\Va}{\overrightarrow{a}} \newcommand{\Vb}{\overrightarrow{b}} \newcommand{\Vc}{\overrightarrow{c}} \newcommand{\Vd}{\overrightarrow{d}} \newcommand{\Ve}[1]{\overrightarrow{e_{#1}}} \newcommand{\Vf}[1]{\overrightarrow{f_{#1}}} \newcommand{\Vn}{\overrightarrow{0}} \newcommand{\Mat}{Mat} \newcommand{\Pass}{Pass} \newcommand{\mkF}{\mathfrak{F}} \renewcommand{\sp}{Sp} \newcommand{\Co}{Co} \newcommand{\vect}[1]{\texttt{Vect}\dpl{\left( #1\right)}} \newcommand{\prodscal}[2]{\dpl{\left\langle #1\left|\vphantom{#1 #2}\right. #2\right\rangle}} \newcommand{\trans}[1]{{\vphantom{#1}}^{t}{#1}} \newcommand{\ortho}[1]{{#1}^{\bot}} \newcommand{\oplusbot}{\overset{\bot}{\oplus}} \SelectTips{cm}{12}%Change le bout des flèches dans un xymatrix \newcommand{\pourDES}[8]{ \begin{itemize} \item Pour la ligne : le premier et dernier caractère forment $#1#2$ soit $#4$ en base 10. \item Pour la colonne : les autres caractères du bloc forment $#3$ soit $#5$ en base 10. \item A l'intersection de la ligne $#4+1$ et de la colonne $#5+1$ de $S_{#8}$ se trouve l'entier $#6$ qui, codé sur $4$ bits, est \textbf{\texttt{$#7$}}. \end{itemize} } \)

Il nous faut définir la dérivée seconde. Nous avons les dérivés premiers \( \dfrac{\partial f}{\partial x}\) et \( \dfrac{\partial f}{\partial y}\) . Ce sont des fonctions à deux variables que nous pouvons encore dériver par rapport à la première ou la seconde variable.

Définition


Soient \( E\subseteq \R^2\) , \( f:E\rightarrow\R\) une fonction à deux variables. Si elles existent, on note \[\dfrac{\partial}{\partial x}\left(\dfrac{\partial f}{\partial x}\right) = \dfrac{\partial^2 f}{\partial x^2}\] \[\dfrac{\partial}{\partial x}\left(\dfrac{\partial f}{\partial y}\right) = \dfrac{\partial^2 f}{\partial x\partial y}\] \[\dfrac{\partial}{\partial y}\left(\dfrac{\partial f}{\partial x}\right) = \dfrac{\partial^2 f}{\partial y\partial x}\] \[\dfrac{\partial}{\partial y}\left(\dfrac{\partial f}{\partial y}\right) = \dfrac{\partial^2 f}{\partial y^2}\]
Prenons par exemple \( f(x, y)=-x^2-xy+x+y^2\) alors \[\dfrac{\partial^2 f}{\partial x^2}=\dfrac{\partial}{\partial x}(-2x-y+1)=-2\] \[\dfrac{\partial^2 f}{\partial x\partial y}=\dfrac{\partial}{\partial x}(-x+2y)=-1\] \[\dfrac{\partial^2 f}{\partial y\partial x}=\dfrac{\partial}{\partial y}(-2x-y+1)=-1\] \[\dfrac{\partial^2 f}{\partial y^2}=\dfrac{\partial}{\partial y}(-x+2y)=2\] On observe que \( \dfrac{\partial^2 f}{\partial x\partial y}=\dfrac{\partial^2 f}{\partial y\partial x}\) . C'est toujours vrai.

Théorème [Lemme de Schwartz]


\[\dfrac{\partial^2 f}{\partial x\partial y}=\dfrac{\partial^2 f}{\partial y\partial x}\]

Démonstration

\begin{eqnarray*} \dfrac{\partial^2 f}{\partial x\partial y}(a, b) &=& \lim{x\rightarrow a}\dfrac{\dfrac{\partial f}{\partial y} (x, b)-\dfrac{\partial f}{\partial y} (a, b)}{x-a}\\ &=& \lim{x\rightarrow a}\dfrac{\lim{y\rightarrow b}\dfrac{f(x, y)-f(x, b)}{y-b} -\lim{y\rightarrow b}\dfrac{f(a, y)-f(a, b)}{y-b} }{x-a}\\ &=& \lim{x\rightarrow a}\dfrac{\lim{y\rightarrow b}\left[\dfrac{f(x, y)-f(x, b)}{y-b} -\dfrac{f(a, y)-f(a, b)}{y-b} \right]}{x-a}\\ &=& \lim{x\rightarrow a}\dfrac{\lim{y\rightarrow b}\left[\dfrac{(f(x, y)-f(x, b))-(f(a, y)-f(a, b))}{y-b}\right]}{x-a}\\ &=& \lim{y\rightarrow b}\lim{x\rightarrow a}\dfrac{\left[\dfrac{(f(x, y)-f(x, b))-(f(a, y)-f(a, b))}{y-b}\right]}{x-a}\\ &=& \lim{y\rightarrow b}\lim{x\rightarrow a}\dfrac{\left[\dfrac{(f(x, y)-f(x, b))-(f(a, y)-f(a, b))}{x-a}\right]}{y-b}\\ &=& \lim{y\rightarrow b}\lim{x\rightarrow a}\dfrac{\left[\dfrac{(f(x, y)-f(a, y))-(f(x, b)-f(a, b))}{x-a}\right]}{y-b}\\ &=& \lim{y\rightarrow b}\lim{x\rightarrow a}\dfrac{\left[\dfrac{f(x, y)-f(a, y)}{x-a} - \dfrac{f(x, b)-f(a, b)}{x-a}\right]}{y-b}\\ &=& \lim{y\rightarrow b}\dfrac{\lim{x\rightarrow a}\left[\dfrac{f(x, y)-f(a, y)}{x-a} - \dfrac{f(x, b)-f(a, b)}{x-a}\right]}{y-b}\\ &=& \lim{y\rightarrow b}\dfrac{\lim{x\rightarrow a}\dfrac{f(x, y)-f(a, y)}{x-a} - \lim{x\rightarrow a}\dfrac{f(x, b)-f(a, b)}{x-a}}{y-b}\\ &=& \lim{y\rightarrow b}\dfrac{\dfrac{\partial f}{\partial x}(a, y) - \dfrac{\partial f}{\partial x}(a, b)}{y-b}\\ &=& \dfrac{\partial f^2}{\partial y \partial x}(a, b) \end{eqnarray*}

Définition


Soient \( E\subseteq \R^2\) , \( f:E\rightarrow\R\) une fonction à deux variables et \( (a, b)\in E\) . La matrice hessienne de \( f\) est la matrice \[ H_{(a, b)}(f) =\begin{pmatrix} \dfrac{\partial^2 f}{\partial x^2}(a, b) & \dfrac{\partial^2 f}{\partial x\partial y} (a, b)\\ \dfrac{\partial^2 f}{\partial y\partial x}(a, b)&\dfrac{\partial^2 f}{\partial y^2}(a, b) \end{pmatrix} \]
Par exemple la hessienne de \( f(x, y)=-x^2-xy+x+y^2\) (en tout point) est \( \begin{pmatrix} -2&-1\\ -1&2 \end{pmatrix}\)

Théorème


Soient \( E\subseteq \R^2\) , \( f:E\rightarrow\R\) une fonction à deux variables, \( (a, b)\) un point critique et \( H\) sa matrice hessienne.
Si \( \det(H){>}0\)
et
si \( tr(H){>}0\)
alors \( (a, b)\) est un minimum local.

si \( tr(H){<}0\)
alors \( (a, b)\) est un maximum local.

Si \( \det(H){<}0\)
alors \( (a, b)\) est un point selle.

Si \( \det(H)=0\)
alors on ne peut pas conclure. On dit que \( (a,b)\) est un point critique dégénéré.

Démonstration

Admise.
Rappelons que pour une matrice carré en dimension \( 2\) , le déterminant \( \det\begin{pmatrix} a&b\\ c&d \end{pmatrix}=ad-bc \) et la trace \( tr\begin{pmatrix} a&b\\ c&d \end{pmatrix}=a+d\)
§ On peut démontrer que si \( \det(H){>}0\) alors la trace est nécessairement non nulle de sorte que nous n'avons pas oublié de traiter un cas dans le théorème précédent.
Par exemple nous avions trouver que le point critique de la fonction \( f(x, y) = -x^2-xy+x+y^2\) est \( \left(\dfrac{1}{5}, \dfrac{2}{5}\right)\) . La hessienne est \( \begin{pmatrix} -2&-1\\ -1&2 \end{pmatrix}\) . Son déterminant vaut \( -5\) . Le point \( \left(\dfrac{1}{5}, \dfrac{2}{5}\right)\) est un point selle.
§ Si la notion de minimum et de maximum est assez claire, celle de point selle est un peu plus exotique. C'est un point qui n'est ni un maximum ni un minimum mais aussi les deux en même temps. Regardons la fonction définie sur \( \R^2\) , \( f(x, y)=x^2-y^2\) . On vérifie que \( \overrightarrow{Grad} f=\begin{pmatrix} 2x\\ -2y \end{pmatrix} \) et on observe trivialement que le seul point critique est \( (0, 0)\) . On vérifie également que la hessienne \( \begin{pmatrix} 2&0\\ 0&-2 \end{pmatrix} \) . D'après le théorème précédent le point critique est un point selle : selon une direction la fonction est croissante et selon une autre elle est décroissante... comme une selle de cheval, d'où le nom. %Représentation graphique d'un minimum global
%Représentation graphique d'un minimum global