Hessian matrix
ヘッセ行列が非特異である臨界点は"非退化"といわれ、ヘッセ行列の固有値の符号が関数の局所的な振る舞いを決定する。一変数の関数の場合には、ヘッセ行列は単に 行列と見た二階微分であり、それが非特異であることと 0 でないことは同値である。この場合、非退化臨界点では、二階微分の正負に応じて極小または極大である。二階微分が零ならば、臨界点は一般に変曲点であるが、undulation point であるかもしれず、このとき極値を取る。