Positive Definite Matrices

April 13, 2026

Problem

Show that A = [[2,1],[1,3]] is positive definite. Verify by computing eigenvalues, checking the quadratic form, and visualizing the ellipsoidal level curves.

Explanation

Definition

A symmetric (or Hermitian) n×nn \times n matrix AA is positive definite (PD) if xTAx>0for every nonzero xRn\mathbf{x}^T A \mathbf{x} > 0 \quad \text{for every nonzero } \mathbf{x} \in \mathbb{R}^n

Positive semidefinite (PSD): the inequality is 0\ge 0, with possible equality when x0\mathbf{x} \ne \mathbf{0}.

Equivalent conditions — pick whichever is easiest

For a symmetric AA, all of the following are equivalent:

  1. AA is positive definite.
  2. All eigenvalues are strictly positive: λi>0\lambda_i > 0.
  3. All leading principal minors are positive (Sylvester's criterion): det\det of top-left k×kk \times k submatrices >0> 0 for every k=1,,nk = 1, \ldots, n.
  4. Cholesky exists: A=LLTA = L L^T with LL lower triangular and positive diagonal entries.
  5. A=BTBA = B^T B for some invertible BB.

Step-by-step — verify A=(2113)A = \begin{pmatrix} 2 & 1 \\ 1 & 3 \end{pmatrix} is PD

AA is symmetric ✓ (necessary precondition).

Check 1 — Principal minors (Sylvester).

  • det(A1)=A11=2>0\det(A_1) = A_{11} = 2 > 0
  • det(A2)=detA=(2)(3)(1)(1)=5>0\det(A_2) = \det A = (2)(3) - (1)(1) = 5 > 0

All positive → AA is PD.

Check 2 — Eigenvalues.

Characteristic polynomial: (2λ)(3λ)1=λ25λ+5=0(2 - \lambda)(3 - \lambda) - 1 = \lambda^2 - 5\lambda + 5 = 0.

λ=5±25202=5±52{3.618,1.382}\lambda = \dfrac{5 \pm \sqrt{25 - 20}}{2} = \dfrac{5 \pm \sqrt{5}}{2} \approx \{3.618, 1.382\}

Both >0> 0AA is PD. ✓ (Consistent with Sylvester.)

Check 3 — Quadratic form.

xTAx=2x12+2x1x2+3x22\mathbf{x}^T A \mathbf{x} = 2 x_1^2 + 2 x_1 x_2 + 3 x_2^2.

Complete the square: 2(x12+x1x2)+3x22=2(x1+12x2)212x22+3x222(x_1^2 + x_1 x_2) + 3 x_2^2 = 2(x_1 + \tfrac{1}{2} x_2)^2 - \tfrac{1}{2} x_2^2 + 3 x_2^2 =2(x1+12x2)2+52x22= 2(x_1 + \tfrac{1}{2} x_2)^2 + \tfrac{5}{2} x_2^2

Sum of squares with positive coefficients — strictly positive for any x0\mathbf{x} \ne \mathbf{0}

Geometric picture

The level sets of xTAx=c\mathbf{x}^T A \mathbf{x} = c for PD matrices are ellipsoids centered at the origin. Their axes align with AA's eigenvectors; the semi-axis lengths are c/λi\sqrt{c / \lambda_i}.

For our AA: two axes at the eigenvector directions, lengths proportional to 1/λi1/\sqrt{\lambda_i}. Since λ13.62\lambda_1 \approx 3.62 (shorter axis) and λ21.38\lambda_2 \approx 1.38 (longer axis).

PSD (but not PD) produces degenerate "ellipsoids" — cylinders or half-spaces.

Non-PD indefinite matrices produce hyperboloids or saddle-like surfaces.

Why PD matters

  • Minimization. A quadratic f(x)=12xTAxbTx+cf(\mathbf{x}) = \tfrac{1}{2} \mathbf{x}^T A \mathbf{x} - \mathbf{b}^T \mathbf{x} + c has a unique minimum iff AA is PD.
  • Covariance. Any valid covariance matrix is PSD; PD when no linear dependency among variables.
  • Kernel methods, Gaussian processes. Require PSD kernel matrices.
  • Physics. Stable equilibria have PD Hessians.
  • Cholesky factorization is the fastest solver for Ax=bA \mathbf{x} = \mathbf{b} with AA PD — half the cost of LU.

Cholesky decomposition

For A=(2113)A = \begin{pmatrix} 2 & 1 \\ 1 & 3 \end{pmatrix}: L=(201/25/2)L = \begin{pmatrix} \sqrt{2} & 0 \\ 1/\sqrt{2} & \sqrt{5/2} \end{pmatrix}

Verify: LLT=(2111/2+5/2)=(2113)L L^T = \begin{pmatrix} 2 & 1 \\ 1 & 1/2 + 5/2 \end{pmatrix} = \begin{pmatrix} 2 & 1 \\ 1 & 3 \end{pmatrix}

Exists uniquely (with positive diagonal) iff AA is PD.

Common mistakes

  • Forgetting symmetry. PD requires AT=AA^T = A. A non-symmetric AA may satisfy xTAx>0\mathbf{x}^T A \mathbf{x} > 0 for all x\mathbf{x}, but we still call it "positive" only when symmetric.
  • Checking only one eigenvalue. All must be positive.
  • Mixing leading minors with arbitrary minors. Sylvester's criterion uses the specific top-left submatrices.

Try it in the visualization

Level curves of xTAx\mathbf{x}^T A \mathbf{x} are drawn for several cc values. Sliders change AA's entries; you see ellipses morph continuously and turn into hyperbolas the instant PD is lost. Eigenvalue signs display live.

Interactive Visualization

Parameters

2.00
1.00
3.00
2.00
Your turn

Got your own math or physics problem?

Turn any problem into an interactive visualization like this one — powered by AI, generated in seconds. Free to try, no credit card required.

Sign Up Free to Try It30 free visualizations every day
Positive Definite Matrices | MathSpin