正定値性判定

行列 A が正定値であるとは

• A の二次形式 A[x]:=x^TAx に対して A[x]>0 が任意の x!=0 について成り立つ

のことで、これは

• A の固有値がすべて正

と同値。

しかし、判定は難しい。
ホーム | 九州大学情報基盤研究開発センター