極値と鞍点の計算方法

こんにちはコーヤです。

このページでは、2変数関数の極値の計算方法を勉強します。2変数関数では極値に似た鞍点という点が存在し、線形代数の知識を使うと極値と鞍点を判定できます。

停留点の条件

2変数関数$f(x,y)$が点$(a,b)$で極値を取る必要条件は、1変数関数のときと同様に1階導関数を用いて

となり、これを満たす点を停留点といいます。

停留点には極大値、極小値、鞍点、それ以外の4種類の点があります。

極大値と極小値は1変数関数のときと同じイメージです。どの方向から見ても極値の点を境目に1階導関数の符号が変化します。

鞍点は1変数関数のときは登場しませんでした。ある方向から見ると極大値っぽく見えても別の方向から見ると極小値っぽく見える点のことです。

それ以外の点について、1変数関数$y=x^3$の$x=0$の点をイメージすれば伝わるかと思います。1階導関数の値は0になるものの、極値とも鞍点とも言えない点があります。

停留点の判定方法

極大値、極小値、鞍点の判定方法は、以下のヘッセ行列$H$を用います。

この行列式$detH$が

となります。

極値と鞍点の計算3ステップ

それでは極値と鞍点の計算の具体例を見ていきます。3ステップです。

以下の2変数関数$f(x,y)$を計算します。

ステップ1. 停留点を求める

1階偏導関数を計算して

となります。

より$x=y$です。これを$f_y(x,y)=0$に代入して

これより$y=0,2$となります。

$x=y$の条件と合わせて、停留点は$(x,y)=(0,0),$$(2,2)$の2点です。

ステップ2. ヘッセシアンを求める

2階偏導関数を計算して

となります。ヘッセシアンは

となります。

ステップ3. 極値か鞍点か判定する

停留点$(x,y)=(0,0),$$(2,2)$の2点それぞれで判定します。

$(x,y)=(0,0)$のとき、ヘッセシアンは

$detH<0$なので鞍点となります。

$(x,y)=(2,2)$のとき、ヘッセシアンは

$detH>0$なので極値となります。$f_{xx}(2,2)=6>0$なので極小値です。

判定方法の導出

ヘッセシアンで極値や鞍点が判定でき、$f_{xx}$や$f_{yy}$の符号で極大極小の判定ができる理由について考えます。

点$(a,b)$が停留点となるとき、$f(a,b)$付近で$f(x,y)$を切ったときの断面図を考えると

図のように、停留点が極値だった場合の断面図は楕円、停留点が鞍点だった場合の断面図は双曲線、というふうに判定できます。

断面図の式が計算しやすくなるように$f(x,y)$をテイラー展開で近似します。2次の項までテイラー展開すると

ここで点$(a,b)$が停留点なので以下の条件を満たします。

これをテイラー展開の式へ代入して

となります。ここで式を見やすくするために

とすると

と書けます。この2変数関数の$f(a,b)$付近での断面図を考えます。

切る平面の座標ですが、適当な定数$c$を用いて

で切るとします。その断面図の式は

と書けます。両辺を整理して

これが断面図の式です。この関数が楕円か双曲線化を判定すればゴールです。

断面図の式がどんな図形か見分けるために、主軸変換を行って式を見やすくします。

断面図の式を対称行列を用いて書くと

となります。ここで対称行列の対角化計算を行い

このように表される対角行列$D$と直交行列$U$を用いて

が成り立つとします。

次に変換前の$x,y$軸と変換後の$x^{\prime },y^{\prime }$軸の関係を

とすると、式(2)は

と変形できます。

式(3)は${\lambda }_1{\lambda }_2$の積が${\lambda }_1{\lambda }_2>0$のとき楕円、${\lambda }_1{\lambda }_2<0$のとき双曲線となります。

以上で楕円と双曲線の判定ができたので、${\lambda }_1$と${\lambda }_2$がどのような値か計算して楕円か双曲線かの条件を求めます。

${\lambda }_1,{\lambda }_2$は対角化計算を行ったあとの対角行列$D$の成分の値でしたので

この式を満たす$\lambda$が${\lambda }_1$と${\lambda }_2$です。解と係数の関係より

以上より

のとき断面図は楕円になるので$f(a,b)$は極値になります。

のとき断面図は双曲線になるので$f(a,b)$は鞍点になります。

次に極大極小の判定について考えます。

式(1)を$y=b$の平面で切ったときの断面図の式は

これは$x$の1変数関数なので、普段どおりの極大極小の判定と同じことができます。

2階導関数を計算して

これより$P>0$なら断面図は下に凸なので$f(a,b)$は極小値となり、$P<0$なら断面図は上に凸なので$f(a,b)$は極大値となります。

でしたので、$f_{xx}(a,b)>0$なら断面図は下に凸なので$f(a,b)$は極小値となり、$f_{xx}(a,b)<0$なら断面図は上に凸なので$f(a,b)$は極大値となります。

ヘッセシアンでは判定不能の場合の判定方法

前述の通り$detH=0$のときはヘッセシアンでは極値か鞍点か判定不能です。

$detH=0$となる具体例を使って、個別に調べる方法を勉強します。

以下の2変数関数$f(x,y)$を計算します。

普段どおりヘッセシアンを求めて、$detH\ne 0$となる停留点はヘッセシアンで判定しましょう。$detH=0$となる停留点だけ個別に調べます。

計算3ステップを再掲します。$detH=0$の場合はステップ4に「判定不能の点を調べる」が追加しましょう。

ステップ1. 停留点を求める

1階偏導関数を計算して

となります。

これより$y=2x^3-x$です。これを$f_y(x,y)=0$に代入して

ここで最後の項を平方完成すると

となるので、$4x^4-2x^2+1=0$を満たす$x$は存在しません。つまり

を満たす$x$は$x=-1,0,1$となります。

$y=2x^3-x$の条件と合わせて、停留点は$(x,y)=(-1,-1),$$(0,0),$$(1,1)$の3点です。

ステップ2. ヘッセシアンを求める

2階偏導関数を計算して

となります。ヘッセシアンは

となります。

ステップ3. 極値か鞍点か判定する

停留点$(x,y)=(-1,-1),$$(0,0),$$(1,1)$の3点それぞれで判定します。

$(x,y)=(-1,-1)$のとき、ヘッセシアンは

$detH>0$なので極値となります。$f_{xx}(-1,-1)=10>0$なので極小値です。

$(x,y)=(0,0)$のとき、ヘッセシアンは

$detH=0$なので判定不能となります。ステップ4で調べましょう。

$(x,y)=(1,1)$のとき、ヘッセシアンは

$detH>0$なので極値となります。$f_{xx}(-1,-1)=10>0$なので極小値です。

ステップ4. 判定不能の点を調べる

$(x,y)=(0,0)$のときが判定不能なので、個別に調査していきます。

鞍点はある方向から見ると極大値っぽく見えるが別の方向から見ると極小値っぽく見える点のことでした。

$(x,y)=(0,0)$が極大値っぽく見える方向と極小値っぽく見える方向がないか探してみて、見つかれば$(x,y)=(0,0)$は鞍点だと言えます。

それでは計算しましょう。

$f(x,y)$を$x=y$の平面で切った断面図の式は

となります。これは$x$の1変数関数なので、2階導関数を利用してグラフを書きます。

グラフより$x=0$の点は極大値です。

つまり$f(x,y)$を$x=y$の平面で切ったとき、$f(0,0)$は極大値っぽく見えることが分かりました。

次に$f(x,y)$を$x=-y$の平面で切った断面図の式は

となります。これは$x$の1変数関数なので、2階導関数を利用してグラフを書きます。

グラフより$x=0$の点は極小値です。

つまり$f(x,y)$を$x=-y$の平面で切ったとき、$f(0,0)$は極小値っぽく見えることが分かりました。

以上の結果より$f(0,0)$は極大値っぽく見える方向と極小値っぽく見える方向があるため鞍点だと判定できます。

なお、$f(x,y)=x^4-x^2-2xy+y^4-y^2$は以下のような曲面です。

まとめ

2変数関数の極値と鞍点の判定はヘッセシアン$detH$の値で判定できます。

計算方法は以下の3ステップです。