For a smooth function having a positive definite hessian at all points, having a local minimum implies it is a global unique minimum

analysislinear algebrareal-analysis

Let $V$ be a real vector space of dimension $n$ and let $L: V \rightarrow \mathbb{R}$ have positive definite Hessian at all points. Then $\mathrm{L}$ having a local minimum implies it is a unique global minimum.

So I know the way we show that a critical point is a local minimum is by the multivariate Taylor series. But how can we show now that the local minimum is in fact global and unique? Do we still use the Taylor expansion for this?

Best Answer

You can even use the univariate Taylor's theorem.

Let $x_0$ satisfy $\nabla L(x_0)=0$. Fix a direction $h \in V$. Define the univariate function $f: \mathbb{R} \to \mathbb{R}$ by $f(t) = L(x_0 + th)$.

Note that $f'(t) = \langle \nabla L(x_0 + th), h\rangle$ and $f''(t) = \langle h, (\nabla^2 L(x_0 + th))h\rangle$. In particular,

  • $f'(0) = 0$ because of the assumption $\nabla L(x_0) = 0$, and
  • $f''(t) \ge 0$ for all $t$ because $\nabla^2 L$ is positive definite everywhere by assumption.

Taylor's theorem implies $$f(t) = f(0) + f'(0) t + \frac{f''(\xi_t)}{2} t^2$$ for some $\xi_t$ between $0$ and $t$. Plugging in the definition of $f$ and using the above two facts, we can rewrite the above as $$L(x_0 + th) = L(x_0) + 0 + \frac{1}{2} \langle h, (\nabla^2 L(x_0 + \xi_t h)) h\rangle t^2 \ge L(x_0).$$

Since $h$ was arbitrary, we have $L(x) \ge L(x_0)$ for all $x$.