Local minimum

A function has a local minimum at $x_0$ when $f(x)\ge f(x_0)$ throughout some neighbourhood of $x_0$. For a twice differentiable function, its Hessian matrix at an interior local minimum is positive semidefinite.