Linear Algebra
12.1510 min read

Quadratic Case: Classifying Extrema

For the quadratic f(x)=xTAx+bTx+cf(\mathbf{x}) = \mathbf{x}^T A \mathbf{x} + \mathbf{b}^T \mathbf{x} + c with invertible symmetric AA, the critical point x=A1b/2\mathbf{x}^* = -A^{-1}\mathbf{b}/2 can be classified by the eigenvalues of AA:

  • All eigenvalues of AA positive (AA positive definite): x\mathbf{x}^* is a strict global minimum.
  • All eigenvalues of AA negative (AA negative definite): x\mathbf{x}^* is a strict global maximum.
  • Mixed signs (some positive, some negative): x\mathbf{x}^* is a saddle point.

This is because the value of ff around x\mathbf{x}^* is f(x+v)=f(x)+vTAvf(\mathbf{x}^* + \mathbf{v}) = f(\mathbf{x}^*) + \mathbf{v}^T A \mathbf{v}. If AA is positive definite, vTAv>0\mathbf{v}^T A \mathbf{v} > 0 for all v0\mathbf{v} \neq \mathbf{0}, so f(x+v)>f(x)f(\mathbf{x}^*+\mathbf{v}) > f(\mathbf{x}^*) — a minimum.

Formal View

Theorem 12.9 — Classification of Quadratic Critical Points
For f(x)=xTAx+bTx+cf(\mathbf{x}) = \mathbf{x}^T A \mathbf{x} + \mathbf{b}^T \mathbf{x} + c with invertible symmetric AA and critical point x\mathbf{x}^*: - A0A \succ 0 (all eigenvalues >0> 0): x\mathbf{x}^* is the unique global minimum - A0A \prec 0 (all eigenvalues <0< 0): x\mathbf{x}^* is the unique global maximum - AA indefinite (mixed eigenvalue signs): x\mathbf{x}^* is a saddle point

Interactive Visualization

Definiteness Classifier

Why This Matters

Classifying quadratic critical points via definiteness is the rigorous version of the second derivative test.

  • Second-order optimality conditions in nonlinear programming
  • Newton's method converges to minima when the Hessian is positive definite
  • Portfolio variance minimization requires a positive definite covariance matrix

Quiz

Question 1

If A=[2001]A = \begin{bmatrix}2&0\\0&-1\end{bmatrix} and f(x)=xTAxf(\mathbf{x}) = \mathbf{x}^T A \mathbf{x}, the critical point at the origin is:

Question 2

If the Hessian of ff at a critical point x\mathbf{x}^* is positive definite, then x\mathbf{x}^* is a local minimum.

Common Mistakes

  • Checking only the diagonal of the Hessian — definiteness requires examining all eigenvalues, not just diagonal entries.
  • Confusing indefinite (mixed eigenvalue signs) with "not positive definite" — negative definite is also not positive definite but gives a maximum, not a saddle.
  • Applying the quadratic classification to non-quadratic functions without computing the Hessian at the critical point.