４５秒で理解する２変数関数の極値

45秒で何ができる？

ヘッセ行列を理解する

ヘッセ行列$H$は多変数関数における第2次導関数(のようなもの)です。
2変数$f(x,y)$なら$H(x,y)=\begin{array}{r}\left(\begin{array}{cc}\frac{{\partial }^2}{\partial x^2}f(x,y)& \frac{{\partial }^2}{\partial y\partial x}f(x,y)\\ \frac{{\partial }^2}{\partial x\partial y}f(x,y)& \frac{{\partial }^2}{\partial y^2}f(x,y)\end{array}\right)\end{array}$であり、2階偏導関数の集まりからなっていることからも妥当です。

正定値・負定値ってなんぞや

実数成分の正方対称行列$H$が
「正定値である」$⟺H$の左上隅の小行列の行列式がすべて正
「負定値である」$⟺-H$が正定値

左上隅の小行列ってなんぞや

例$\left(\begin{array}{ccc}1& 2& 3\\ 4& 5& 6\\ 7& 8& 9\end{array}\right)$なら、$\left(\begin{array}{c}1\end{array}\right)$と$\left(\begin{array}{cc}1& 2\\ 4& 5\end{array}\right)$と$\left(\begin{array}{ccc}1& 2& 3\\ 4& 5& 6\\ 7& 8& 9\end{array}\right)$
つまり左上を成分に持つ正方行列を取れるだけ取る。（自分自身も含む）
この左上隅の小行列の、行列式がすべて正なら正定値
例では$1$、$1\times 5-2\times 4=-3$、$1\times 5\times 9+2\times 6\times 7+3\times 8\times 4-3\times 5\times 7-2\times 4\times 9-1\times 8\times 6=0$
なので正定値ではない。(負定値でもない。)
※1×1の行列はただの実数と同じ。その行列式は等しくなる。

例題　～1変数と2変数の比較～

$f(x)$の極値をとる$x$の値の候補は
$$\frac{d}{dx}f(x)=0⟺(x-1{)}^2(x+2)=0$$
$\therefore x=1,-2$
であり、
$$\frac{d^2}{d{x}^2}f(x)=12x^2-12=12(x^2-1)$$
$\therefore f^{″}(1)=0$より$x=0$では極値をとらず、$f^{″}(-2)=36>0$より$x=-2$で極小値をとる。
よって、$f(x)$は$x=-2$で極小値$f(-2)=-19$をとる。

$f(x,y)$の極値をとる$(x,y)$の値の候補は
$$\frac{\partial }{\partial x}f(x,y)=\frac{\partial }{\partial y}f(x,y)=0⟺3x^2-3y=3y^2-3x=0$$
$\therefore (x,y)=(0,0),(1,1)$
であり、
$$H(x,y)=\begin{array}{r}\left(\begin{array}{cc}\frac{{\partial }^2}{\partial x^2}f(x,y)& \frac{{\partial }^2}{\partial y\partial x}f(x,y)\\ \frac{{\partial }^2}{\partial x\partial y}f(x,y)& \frac{{\partial }^2}{\partial y^2}f(x,y)\end{array}\right)\end{array}=\left(\begin{array}{cc}6x& -3\\ -3& 6y\end{array}\right)$$
$\therefore H(0,0)=\begin{array}{r}\left(\begin{array}{cc}0& -3\\ -3& 0\end{array}\right)\end{array}$は
$det\begin{array}{r}\left(\begin{array}{c}0\end{array}\right)\end{array}=0$、$det\begin{array}{r}\left(\begin{array}{cc}0& -3\\ -3& 0\end{array}\right)\end{array}=9>0$より正定値でも負定値でもないので$(0,0)$では極値をとらず、
$H(1,1)=\begin{array}{r}\left(\begin{array}{cc}6& -3\\ -3& 6\end{array}\right)\end{array}$は
$det\begin{array}{r}\left(\begin{array}{c}6\end{array}\right)\end{array}=6>0$、$det\begin{array}{r}\left(\begin{array}{cc}6& -3\\ -3& 6\end{array}\right)\end{array}=45>0$より正定値であるので$(1,1)$では極小値をとる。
よって、$f(x,y)$は$(x,y)=(1,1)$で極小値$f(1,1)=-1$をとる。

おわりに

４５秒を謳っていますが、今回は全然3分ぐらいかかりそうなことをお詫び申し上げます。さすがに４５秒じゃ雑になりすぎます。
また、厳密性を欠いている箇所が高々有限個あります。
しっかり理解したい人は教科書などを時間をかけて読んでください。