Hessian matrix defines bilinear form that outputs second-order directional derivatives
From Calculus
Statement
Suppose is a function of
variables
, which we think of as a vector variable
. Suppose
are unit vectors in
-space. Then, we have the following:
where are treated as column vectors, so
is
as a row vector, and
is
as a column vector. The multiplication on the right side is matrix multiplication. Note that this tells us that the bilinear form corresponding to the Hessian matrix outputs second-order directional derivatives.
Note further that if the second-order mixed partials are continuous, this forces the Hessian matrix to be symmetric by Clairaut's theorem on equality of mixed partials, which means that the bilinear form we obtain is symmetric, and hence, we will get: