解析学(微分積分)

2変数関数の極値

実数\(x, y\)についての2変数関数
\[
f(x, y) = \frac{1}{4} x^4 – \frac{4}{3} x^3 + \frac{5}{2} x^2 – 2 x + \frac{1}{3} y^3 + \frac{3}{2} y^2 + 2 y + 2
\]
の極値とそれを与える\(x, y\)の値を求めよ。

多変数関数の極値の判定には、Hessian(ヘッシアン) を利用すれば良い。2変数の場合、Hessian \(H(x, y)\)は
\[\begin{align}
H(x, y) &=
\begin{array}{|cc|}
f_{xx}(x, y) & f_{xy}(x, y) \\
f_{yx}(x, y) & f_{yy}(x, y) \\
\end{array} \\
&= f_{xx}(x, y) f_{yy}(x, y) – (f_{xy}(x, y))^2
\end{align}\]
で定義される。

\(f(x,y)\)の各微係数を求めると
\[\begin{align}
f_{x}(x, y) &= x^3 – 4 x^2 + 5 x – 2 = (x – 1)^2(x – 2) \\
f_{xy}(x, y) &= f_{yx} = 0 \\
f_{xx}(x, y) &= 3x^2 – 8 x + 5 \\
f_{y}(x, y) &= y^2 + 3 y + 2 = (y + 1)(y + 2) \\
f_{yy}(x, y) &= 2 y + 3
\end{align}\]
となる。

従って、極値である可能性のある座標は
\[
(1, -1), (1, -2), (2, -1), (2, -2)
\]
の4点である。

これらの点での Hessian の値を計算すると
\[\begin{align}
H(1, -1) &= 0 \\
H(1, -2) &= 0 \\
H(2, -1) &= 1 \\
H(2, -2) &= -1
\end{align}\]
となり、\((2, – 2)\)は\(H(2, -2) < 0\)から極値とはなり得ない。
また
\[
f_{xx}(2, -1) = 1 > 0
\]
から、\((2, -1)\)は極小値となり、その値は\(f(2, -1) = \frac{1}{2}\)である。

残された\((1, -1), (1, -2)\)の2点に関しては Hessian の値からは極値かどうか判断出来ないので個別に議論が必要である。

そこで、\(y = y_0\)に固定して、\(x\)を変化させた時に、\(f(x, y_0)\)がどのように変化するか見ると
\[
f_{x}(x, y_0) = (x – 1)^2 (x – 2)
\]
となるために、\(f(x, y_0)\)は\(x < 1\)において\(f_x < 0\)であるので減少し、\(1 < x < 2)\)においても\(f_x < 0\)となるために減少することが分かる。
すなわち、2点\((1, -1), (1, -2)\)では、極値を持たない事が分かる。

結局、与えられた2変数関数\(f(x, y)\)は\((2, -1)\)において、極小値\(\frac{1}{2}\)をとることが分かる。

2変数関数の極値は、次に定義される Hessian \(H(x, y)\) を用いて、次のように判定することが出来る。
\[\begin{align}
H(x, y) &=
\begin{array}{|cc|}
f_{xx}(x, y) & f_{xy}(x, y) \\
f_{yx}(x, y) & f_{yy}(x, y) \\
\end{array} \\
&= f_{xx}(x, y) f_{yy}(x, y) – (f_{xy}(x, y))^2
\end{align}\]

極値をとる可能性がある点は、停留点と呼ばれる\(f_{x}(x_0, y_0) = 0, f_{y}(x_0, y_0) = 0\)を満たす点\((x_0, y_0)\)であり、この停留点における Hessian の値によって以下のように判定することが出来る。

・\(H(x_0, y_0) > 0, f_{xx}(x_0, y_0) > 0\)の時、点\((x_0, y_0)\)で極小値をとる
・\(H(x_0, y_0) > 0, f_{xx}(x_0, y_0) < 0\)の時、点\((x_0, y_0)\)で極大値をとる\(\\ \)
・\(H(x_0, y_0) < 0 \)の時、点\((x_0, y_0)\)で極値をとらない\(\\ \)
・\(H(x_0, y_0) = 0\)の時、Hessian では判定出来ないので個別に議論する必要がある