ヘッセ行列
を満たすことをいう。このとき関数 の二階導関数 が成す行列（ヘッセ行列）は 次対称行列を成す。