微分可能な実多変数関数の臨界点(全ての1回導関数が0になる点)でHessianが0でないときはHesse行列の固有値によってこの点が極値かどうかの判定ができることはよく知られていますが、Hessianが0になるときの判定法を書いてある本は少ないようです。私が考えた結果、次の結論に至りました。
(1)Hesse行列の0以外の固有値に符号が異なるものがあるときはこの点は極値ではない。なぜならば固有値が正の固有ベクトルの方向に関しては極小点となっており、固有値が負の固有ベクトルの方向に関しては極大点となっているから。
(2)Hesse行列の0以外の固有値がすべて同符号で固有値0の空間が1次元であるときは、固有値0の固有ベクトルの方向に関して極値になっているかを調べれば良い。これは1変数関数の極値の判定に帰着するので容易。
(3)Hesse行列の固有値0の独立な固有ベクトルが2個以上のときは、各固有ベクトルの方向に関して調べてもこの点が極値であるかどうかの判定はできない。
そこで、やっと質問ですが、(3)の場合は極値の判定はどの様にしたら良いのでしょうか。
No.1ベストアンサー
- 回答日時:
稚拙な回答で恐縮ですが、近傍の値を実際に調べてみるのが一番ではないですか?f(x,y)-f(0,0)の符号を調べるという感じで。
極値判定は抽象的な場合について知りたいというよりは、具体的に関数が与えられた場合について考察したいことがほとんどのように思います。あるいは同じことですが、任意方向の方向微分を計算してみるのはいかがですか。1変数の極値判定に帰着できるのであれば、より高解の微分によって判定条件が与えられそうな気がしなくもないですが、面倒そうに思います。ご回答ありがとうございます。モース理論では臨界点でHessianが0でない場合を考えます。しかしHessianが退化している場合は考える必要がないのではなく、トムは残余特異点の次元が4以下のとき、7つの初等カタストロフィーに分類しています。また、アーノルドは同値類がパラメータに依存して変わるようなものをモダリティーを導入して分類しています。これは以下のサイトにあるように応用上も必要なことと思います。
http://www.st-andrews.ac.uk/~ulf/catastrophe.html
このような方向の回答を期待したいと思います。
No.3
- 回答日時:
「『Hessianは2次の微分形式そのものになる』とはどう言う意味ですか。
」については、すみません、取り消します.「『Hesse行列の固有ベクトルと方向微分の関係がどうなっているのか調べ』てどうするのですか。」
もし、Hesse行列の固有ベクトルと臨界点におけるある方向の方向微分が1:1対応していれば、Hesse行列の0以外の固有値が同符号で固有値0に対する固有空間が二次元以上の場合については、対応する方向微分の方向と同じ向きのベクトルを接空間に乗るようにしながら、臨界点を中心に回転させ、全ての回転角度に対して、ベクトルと関数の像の上下が常に同じかどうかを調べることをイメージしていました.
ご回答ありがとうございます。これは簡単な問題ではありません。
泉屋周一、石川剛郎:応用特異点論(共立出版)
を読んで頂きたいと思います。
No.2
- 回答日時:
知識が乏しい状態で回答して非常に恐縮ですがお許し下さい.まず、Hessianを利用して極値を判定する場合、適用できる関数は2階微分可能か、2階偏微分可能であればよいのかが疑問に思いました.
ところで、まず、Hesse行列,Hessianの数学的な意味を理解する必要があると思います.私にはよく分りませんがHessianは2次の微分形式そのものになると思います.あるいは2次の微分形式と密接な関係にあるものになると思います.そして、Hesse行列の固有ベクトルと方向微分の関係がどうなっているのか調べる必要があると思いました.
ご回答ありがとうございます。f を関数とするとき、df∧dfもd^2 f も0になりますが、「Hessianは2次の微分形式そのものになる」とはどう言う意味ですか。Hesse行列の固有ベクトルの方向の方向微分を調べても極値かどうか判定できないと言うことは私は質問文中の(3)で書いたつもりですが、「Hesse行列の固有ベクトルと方向微分の関係がどうなっているのか調べ」てどうするのですか。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 固有ベクトルの縦書き 3 2022/12/19 23:48
- 数学 2*2の行列に対して固有値の最大実部を与えるkの値を求めたい 3 2022/11/08 16:26
- 数学 連立微分方程式の解き方について 7 2022/12/16 13:39
- 数学 線形代数 A= 2 -1 1 ( 0 0 2 ) 0 -1 3 の固有値と固有空間を使って、この行列 2 2023/02/03 12:39
- Java Java モンスターブリーダー 1 2023/02/05 09:44
- 数学 (3)がわかりません。 (1)は固有値λ=±1 固有ベクトルは λ=1のとき (-i,1) λ=-1 2 2023/06/11 14:46
- 数学 問題文はa+b≠2のとき A= a 1-a 1-b b 固有ベクトルを求める 固有値λ=1,a+b- 3 2023/04/18 23:41
- 物理学 スピン 行列表示 固有状態 測定値 1 2022/08/16 18:39
- 数学 数学の線形代数についての質問です。 0 1 0 0 0 1 1 0 0 の3×3の行列をAとする時、 1 2023/07/09 01:28
- 数学 2変数関数の条件つき極値問題について、 ラグランジュ未定乗数法で候補点を求めたあと、 ①ヘッセ行列の 4 2022/11/13 18:14
このQ&Aを見た人はこんなQ&Aも見ています
おすすめ情報
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
3x3行列の固有値の求め方
-
固有値の値について
-
行列の2分の1乗の計算の仕方
-
固有値を持たないコンパクト作...
-
Aがべき零行列のとき、I-Aは正...
-
2変数関数の極値の問題について...
-
正定値行列は正則行列
-
3x3行列のn乗と指数関数 固有...
-
行列の極限
-
ヤコビ法とQR法について
-
線形代数学フロベニウスの定理...
-
対角化可能の条件が分かりません…
-
数学科は線形代数で特異値分解...
-
固有ベクトルなどについてです(...
-
行列の固有値と固有ベクトル
-
maximaの行列計算
-
3次正方行列が対角化不可能にな...
-
巾零行列についての問題
-
重回帰分析における多重共線性...
-
行列の問題で、A^(-1)=PDP^(-1)...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
おすすめ情報