多変数関数の極値判定とヘッセ行列
ヘッセ行列について解説します。ヘッセ行列を使うと,多変数関数が極値を取るための必要条件,極大点・極小点であるための十分条件がわかります。
準備1:ヘッセ行列とは
準備1:ヘッセ行列とは
まずはヘッセ行列(二階の偏導関数を並べた行列)について説明します。以下,この記事で関数 は 級(二階連続微分可能)とします。
変数関数 に対して,
成分が であるような 行列をヘッセ行列と言う。
のヘッセ行列を求めよ。
を で偏微分すると,
で偏微分すると,
これらを用いて二階の偏導関数を求める:
よってヘッセ行列は
注: が 級のとき偏微分の順序は交換できるのでヘッセ行列は必ず対称行列になります。
なお,ヘッセ行列の行列式のことをヘッシアンと言うことがあります。
準備2:正定値,負定値とは
準備2:正定値,負定値とは
実対称行列 に対して以下の条件は全て同値である。このいずれか(したがって全て)を満たす行列を正定値行列と言う。
-
全ての( ベクトルではない) 次元縦ベクトル に対して が正
-
の固有値が全て正
-
首座小行列(左上の 行列 )の行列式が全て正。
が正定値のとき を負定値と言います。
固有値との関係をまとめると次のようになります。
行列 について次が成り立つ。
- が正定値である の固有値が全て正
- が負定値である の固有値が全て負
固有値の計算は時に難しいです。
行列のサイズが小さいときに正定値かどうかの判定をしたいときは3を使うのが楽です。
極値の定義
極値の定義
極値判定をする前に極値の定義をしっかりと確認しましょう。
二変数関数 が において
- 極大である とは, と十分近い任意の点 に対して となることを表す。
- 極小である とは, と十分近い任意の点 に対して となることを表す。
-
十分近いを数式で表現するときは,十分小さい について や などと表現すると良いでしょう。
-
文献によっては,極大の定義 に等号を含めず とすることもあります。極小も同様です。
極値判定の定理
極値判定の定理
一変数関数の場合,以下が成立しました。
1.極値の必要条件: が で極大または極小→
2.極小の十分条件: かつ → で極小
3.極大の十分条件: かつ → で極大
多変数関数の場合も同様な定理が成立します!
-
極大または極小→その点で偏導関数の値が全て0
-
その点で偏導関数の値が全て0かつ ヘッセ行列が正定値 → 極小
-
その点で偏導関数の値が全て0かつ ヘッセ行列が負定値 → 極大
なお,ヘッセ行列が正定値でも負定値でもないときは力技で極小か極大か,それともどちらでもないかを調べることになります。
正定値でも負定値でもない例
ヘッセ行列が正定値でも負定値でもないときはいろいろなケースがあります。
, です。 が極大・極小をとる点の候補です。
でのヘッセ行列は です。判定法からは極大・極小はわかりません。
は下図のようになります。 は,赤い曲線方向で見ると定数ですが,(等号を含めた定義では)極小です。
, です。 が極大・極小をとる点の候補です。
でのヘッセ行列は です。判定法からは極大・極小はわかりません。
は下図のようになります。 は,青い曲線方向で見ると極小ですが,赤い曲線方向で見ると極大です。よって極大点でも極小点でもありません。
このように,ある方向から見ると極大であり,別の方向から見ると極小である点 を 鞍点 といいます。
具体例
具体例
実際に二変数関数の極値を求めてみます。
例1
の極値をできる限り求めよ。
まず,極値のための必要条件として偏微分=0を解く:
より
つまり極値の候補は二つ。
- について
ヘッセ行列(冒頭で求めた)は では
これは以下のように正定値であることが分かる:
一つ目の首座小行列式( 成分の値)は
二つ目の首座小行列式は
よって, は極小点であり極小値は
- について
ヘッセ行列は では
これは正定値でも負定値でもない。よってこの定理だけでは極値かどうかは分からない。実は,鞍点であることが以下のようにわかる。
平面 上で は となる。これは で極大値を取る。
一方,平面 上で は となる。これは で極小値を取る。
よって は で極大にも極小にもならない。
例2
2013年度の京都大学院数学専攻の院試からの抜粋です。計算が骨太です。
の極値をできる限り求めよ。
まず偏微分=0を解く。
より を解けばよい。
解を計算すると となる。
2回微分を計算すると となる。
各点でのヘッセ行列を計算する。
- のとき
ヘッセ行列は である。固有値は である。この状態では極大・極小どちらをとるか分からない。
平面上で見ると となる。 で微分すると であるため, を境に減少から増加に変化する。
平面上で見ると となる。 で微分すると であるため, を境に増加から減少に変化する。
以上より は 近傍で鞍点になる。
- のとき
ヘッセ行列は である。固有値は である。
よってこの点で極大値を取る。
極大値は となる。
- のとき
ヘッセ行列は である。固有値は である。
よってこの点で極小値を取る。
極小値は となる。
正定値・負定値の補足
の首座小行列式はそれぞれ , であるから,この行列は負定値なのでは?
よくあるミスです。
が負定値であるとは, が正定値であるという定義でした。
の首座小行列式は,それぞれ , です。
よってこの行列は正定値でも負定値でもありません。
判別式を用いた説明もときどき見かけますが,二変数関数のときにしか通用しないので私はあまり好きではありません。