
2変数関数fの鞍点の判定は
http://www.math.nagoya-u.ac.jp/~miyachi/courses/ …
によると
fxxfyy-fxy<0
のようですが、その証明が載っているものを教えてください。なるべく、入手しやすいものをお
願いします。
杉浦、解析入門Ⅰではそこまで言及していませんでした(情けないことに、そこの極大極小の証
明も理解できない身ではありますが)。
No.1ベストアンサー
- 回答日時:
f を停留点中心に冪級数展開すると、
f(p+u,q+v) = f(p,q) + fxx(p,q)u^2 + 2fxy(p,q)uv + fyy(p,q)v^2 + o(r^2), r = √(u^2,v^2)
になる。 (x,y) = (p,q) が f(x,y) の停留点なら、 fx(p,q) = fy(p,q) = 0 だからだ。
r が十分小さいときの f(p+u,q+v) - f(p,q) の符合は、
2次項 fxx(p,q)u^2 + 2fxy(p,q)uv + fyy(p,q)v^2 の符合で決まる。
r を十分小さくとれば、高次項の大きさ | o(r^2) | は | fxx(p,q)u^2 + 2fxy(p,q)uv + fyy(p,q)v^2 |
よりも小さくできるため、 f(p+u,q+v) - f(p,q) の符合は 2次項の符合と一致するからだ。
2次項は、行列 M =
fxx(p,q) fxy(p,q)
fxy(p,q) fyy(p,q)
を係数に持つ 2次形式 (u,v) M (u,v)^T だから、その符合は M の固有値で決まることになる。
M は対称行列なので、固有値は必ず実数だが、
[1] 固有値が負数と負数なら、(x,y) = (p,q) は極大点。
[2] 固有値が正数と正数なら、(x,y) = (p,q) は極小点。
[3] 固有値が正数と負数なら、(x,y) = (p,q) は鞍点。
[4] 固有値が 0 を含めば、 3次項以上の高次項も見なければ分類は判らない。
M の固有方程式は λ^2 - { fxx(p,q) + fyy(p,q) }λ + { fxx(p,q) fyy(p,q) - fxy(p,q)^2} = 0
であるため、上記[1]〜[4]の分類は
[1] fxx fyy - fxy^2 > 0 かつ fxx + fyy < 0 のとき極大点。
[2] fxx fyy - fxy^2 > 0 かつ fxx + fyy > 0 のとき極小点。
[3] fxx fyy - fxy^2 < 0 のとき鞍点。
[4] fxx fyy - fxy^2 = 0 のときは更に情報が必要。
とも書ける。
fxx fyy - fxy^2 > 0 のとき、 fxx fyy > fxy^2 ≧ 0 で fxx と fyy は同符合だから、
[1] fxx fyy - fxy^2 > 0 かつ fxx < 0 のとき極大点。
[2] fxx fyy - fxy^2 > 0 かつ fxx > 0 のとき極小点。
と書いてもいい。
早速ありがとうございます。
二次形式を標準形にするということですね。当方、電気技術なので微積ばかりで
線形代数を軽んじてきたので、完全に理解できませんが。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 2変数関数の条件つき極値問題について、 ラグランジュ未定乗数法で候補点を求めたあと、 ①ヘッセ行列の 4 2022/11/13 18:14
- 数学 原始関数の存在性の証明について 数学科の3回生です。院試の勉強でつまづいたので助けてほしいです。 R 6 2022/11/13 19:19
- 工学 制御工学の問題です。 5 2022/12/29 18:35
- 数学 複素関数にロピタルの定理を使おうとしている回答者は、複素関数論はおろか微積分学もよく分かっていない、 5 2022/12/28 18:02
- 数学 三角関数の極限を「はさみうちの原理」で考える時の不等号について 1 2022/07/22 01:13
- 数学 数3 複素数 z^3+3z^2+3z-7=0 を解けという問題なのですが、 (z+1)^3=8と変形 3 2023/01/17 15:13
- Excel(エクセル) エクセルでエラーを無視して一番左側のセルの値を返したい 2 2023/07/27 13:06
- 数学 高校の数学Bの、確率分布と統計的な推測の、 正規分布の問題でわからない箇所がございます。問題文が、 2 2022/03/27 20:57
- 哲学 べき関数の微分での、べき乗数が定数になることは神が関与しているのでしょうか? 2 2023/03/03 09:43
- 物理学 電磁気学での質問です。 電荷のない空間ではポテンシャルの極大点, 極小点が存在しないことを証明せよ. 3 2023/05/12 22:39
このQ&Aを見た人はこんなQ&Aも見ています
おすすめ情報
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
3x3行列の固有値の求め方
-
(3)がわかりません。 (1)は固有...
-
行列の積の固有値
-
行列の問題で、A^(-1)=PDP^(-1)...
-
極値の判定でヘッシアンの値が...
-
固有ベクトルが複数の場合
-
準正定値とは?
-
体の拡大、行列のテンソル積の...
-
Excelファイルの容量が更新する...
-
パソコンで行列はどう書けばいい?
-
0≦θ≦2πのとき、sin2θ+cosθ=0の...
-
次の問題の解法を教えてください…
-
正弦波の「長さ」
-
曲面論 曲面のガウス曲率と平均...
-
なんだろう。Excelのグラフ「行...
-
日本数学オリンピック2000年予...
-
高1 数学II三角関数
-
高校数学、図形量の最大最小問題
-
三角関数の質問です。
-
円環の体積 断面積が半円の内側...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
おすすめ情報