Quadratic forms are homogeneous polynomials of degree 2 that arise throughout mathematics and physics. Their classification (positive definite, indefinite, etc.) determines the geometry of conics and quadric surfaces, the nature of critical points in optimization, and the definiteness of energy functions.
A quadratic form on is a function :
where is a symmetric matrix (we can always assume this).
has matrix:
Note: the coefficient of is split equally between and .
For any matrix : . The symmetric part determines the quadratic form, so we assume without loss of generality.
Convert to matrix form:
Diagonal entries = coefficients of x², y², z². Off-diagonal: half of cross-term coefficient.
For :
The 6xy comes from 3 + 3 (both off-diagonal entries contribute).
Every quadratic form has an associated symmetric bilinear form:
This recovers the inner product structure from the quadratic form.
The bilinear form can be recovered from the quadratic form:
A quadratic form is:
For symmetric :
By spectral theorem, with orthogonal . Let :
The sign of depends entirely on the signs of eigenvalues .
For :
Eigenvalues: (both positive)
Classification: Positive definite
For :
Eigenvalues: (mixed signs)
Classification: Indefinite
Geometrically: but
Level sets reveal the geometry:
The rank of is rank(A) = n - n₀.
A quadratic form is non-degenerate if rank(A) = n (no zero eigenvalues).
The leading principal minors of are:
A symmetric matrix is positive definite if and only if all leading principal minors are positive:
Is positive definite?
Yes, is positive definite.
is negative definite iff (alternating signs starting negative).
Is negative definite?
Yes, is negative definite.
Proof of Sylvester's Criterion (Sketch):
By induction on n. The key observation is that for a positive definite matrix:
Sylvester's criterion is useful when:
Is positive definite?
Yes, is positive definite.
A symmetric positive definite matrix has a unique factorization:
where is lower triangular with positive diagonal entries.
Cholesky decomposition exists ⟺ A is positive definite. This provides another practical test.
The signature of a quadratic form is the triple :
The signature is invariant under congruence transformations. If for invertible , then and have the same signature.
Similar: (same eigenvalues). Congruent: (same signature, different eigenvalues).
For :
Eigenvalues:
Signature: (indefinite)
Every quadratic form is congruent to a diagonal form:
with ones, minus ones, and zeros.
The law of inertia says that while different bases give different diagonal forms, the essential structure (signature) is preserved. This is the "intrinsic" property of the quadratic form.
Show that and are congruent:
Both have signature (1, 0, 1): one positive eigenvalue, one zero.
A: eigenvalues 2, 0. B: eigenvalues 2, 0. ✓
Diagonalization by completing the square finds P such that:
This is a congruence transformation .
Diagonalize :
Let . Then .
Signature: (1, 1, 0) — indefinite.
Hessian positive definite → local minimum. Negative definite → local maximum. Indefinite → saddle point.
xᵀAx = 1: ellipse (both eigenvalues same sign), hyperbola (opposite signs).
Kinetic energy is positive definite quadratic form. Stability requires positive definite potential.
Covariance matrices are positive semidefinite. Mahalanobis distance uses inverse covariance.
For at critical point (where ):
Classify critical point of :
Hessian:
Sylvester: Δ₁ = 2 > 0, Δ₂ = 3 > 0 → positive definite → local minimum
Classify :
Matrix:
det(A) = -2 - 4 = -6 < 0 → mixed eigenvalue signs → hyperbola
In ℝ³, describes:
Identify :
Matrix: diag(1, 2, 3) — all positive eigenvalues
Surface: Ellipsoid with semi-axes √6, √3, √2
In mechanics, stability of equilibrium is determined by the potential energy V:
The coefficient of xy in Q(x,y) must be split equally between a₁₂ and a₂₁.
Positive definite: Q(x) > 0 for ALL x ≠ 0. Semidefinite allows Q(x) = 0 for some x ≠ 0.
For negative definite, need (-1)ᵏΔₖ > 0, not just all Δₖ < 0.
Congruent: PᵀAP (same signature). Similar: P⁻¹AP (same eigenvalues).
| Type | Eigenvalues | Sylvester |
|---|---|---|
| Positive definite | All > 0 | All Δₖ > 0 |
| Negative definite | All < 0 | (-1)ᵏΔₖ > 0 |
| Positive semidefinite | All ≥ 0, some = 0 | All Δₖ ≥ 0 |
| Indefinite | Mixed signs | N/A |
Classify :
Matrix:
Sylvester: Δ₁ = 2 > 0, Δ₂ = 4 - 1 = 3 > 0
Eigenvalues: λ = 3, 1 (both positive)
Classification: Positive definite
Diagonalize :
Step 1:
Step 2:
Signature: (2, 0, 1) — positive semidefinite (rank 2 in ℝ³)
Minimize subject to :
Substitute :
Critical point: , minimum value = 1/2
The Mahalanobis distance uses covariance matrix Σ:
This is a quadratic form in (x - μ). Since Σ is positive definite, so is Σ⁻¹, and d² ≥ 0.
Diagonalization A = QDQᵀ gives Q(x) = Σλᵢyᵢ² where y = Qᵀx.
Positive definite A defines inner product ⟨x,y⟩ = xᵀAy.
AᵀA is positive semidefinite. xᵀ(AᵀA)x = ||Ax||².
Sylvester uses leading principal minors (determinants of submatrices).
For complex vector spaces, quadratic forms become Hermitian forms:
All eigenvalues are real, and classification by eigenvalue signs still applies.
You've mastered quadratic forms when you can:
For any quadratic form Q(x) = xᵀAx with symmetric A, there exists an orthonormal basis in which:
where λᵢ are eigenvalues of A and y = Qᵀx for orthogonal Q.
This is a restatement of the Spectral Theorem. By spectral decomposition A = QDQᵀ:
The principal axes of the quadric xᵀAx = 1 are the eigenvectors of A. The lengths of the semi-axes are 1/√|λᵢ|.
For ellipse :
Matrix:
Eigenvalues: λ = 9, 1. Eigenvectors: (1,1)ᵀ/√2, (1,-1)ᵀ/√2
In principal axes: (ellipse with axes 1/3, 1)
For 2×2 quadratic form, the rotation angle θ to principal axes satisfies:
For symmetric A, the Rayleigh quotient satisfies:
with extrema achieved at corresponding eigenvectors.
For with λ = 4, 2:
R(x) ranges from 2 (at eigenvector (1,-1)ᵀ) to 4 (at eigenvector (1,1)ᵀ).
Classify :
Solution:
Matrix:
Note: A = vvᵀ where v = (1,1,1)ᵀ, so rank(A) = 1
Eigenvalues: 3, 0, 0. Signature: (1, 0, 2)
Classification: Positive semidefinite (not definite)
For what values of k is positive definite?
Solution:
Sylvester: Δ₁ = 2 > 0 ✓
Δ₂ = 4 - k² > 0 ⟹ |k| < 2
Answer: -2 < k < 2
Complete the square for :
Solution:
Let u = x + y, v = y. Then Q = u² - 4v²
Signature: (1, 1, 0) — indefinite
Classify the critical point of at (1,1):
Solution:
Hessian:
At (1,1):
Δ₁ = 6 > 0, Δ₂ = 36 - 9 = 27 > 0 → positive definite
Classification: local minimum
For exam preparation:
| Q(x) = xᵀAx | Quadratic form |
| Δₖ = det(Aₖ) | Leading principal minor |
| (n₊, n₋, n₀) | Signature |
| B = PᵀAP | Congruence transformation |
| R(x) = xᵀAx/xᵀx | Rayleigh quotient |
Quadratic forms are the bridge between linear algebra and analysis/geometry. They encode the "second-order behavior" of functions and transformations, determining curvature, stability, and optimal directions.
Q(x) = xᵀAx with symmetric A. Classification by eigenvalues.
Conics, quadrics, principal axes. Shape determined by signature.
Hessian test, optimization, stability of equilibria.
Quadratic forms lead naturally to:
Optimize Q(x) = xᵀAx subject to ||x|| = 1:
For coupled oscillators with kinetic energy T and potential V:
Normal modes solve the generalized eigenvalue problem Kv = ω²Mv.
Frequencies ω² must be positive for stable oscillation (K positive definite).
The multivariate Gaussian PDF involves a quadratic form:
Level curves are ellipsoids determined by covariance Σ (positive definite).
In many physical systems, energy takes quadratic form near equilibrium:
Positive definiteness ensures stability.
A function f is convex if its Hessian is positive semidefinite everywhere.
For f(x) = xᵀAx + bᵀx + c:
| Method | Information | Cost |
|---|---|---|
| Eigenvalues | Full classification + signature | O(n³) |
| Sylvester | Only definiteness | O(n³) determinants |
| Cholesky | Positive definiteness check | O(n³/3) |
| Complete square | Signature (diagonalization) | O(n³) |
Check if is positive definite using Cholesky:
Success!
In practice:
Find all values of a for which Q = x² + 2axy + y² is positive definite:
Solution:
Matrix:
Sylvester: Δ₁ = 1 > 0 ✓, Δ₂ = 1 - a² > 0
Answer: |a| < 1
Identify the quadric surface x² + y² - z² = 1:
Matrix: diag(1, 1, -1). Signature: (2, 1, 0)
Surface: Hyperboloid of one sheet
Show that AᵀA is always positive semidefinite:
Proof: xᵀ(AᵀA)x = (Ax)ᵀ(Ax) = ||Ax||² ≥ 0 for all x
Positive definite iff A has full column rank (null(A) = {0})
Classify critical points of f(x,y) = x² - 2xy + 3y²:
Hessian: (constant)
Sylvester: Δ₁ = 2 > 0, Δ₂ = 12 - 4 = 8 > 0
H is positive definite → f has a unique global minimum at (0,0)
Any matrix A can be replaced by (A+Aᵀ)/2 without changing xᵀAx, since xᵀAx is a scalar and equals xᵀAᵀx. So we may assume symmetry without loss of generality.
Definite: Q(x) > 0 for all x ≠ 0 (all eigenvalues positive). Semidefinite: Q(x) ≥ 0 for all x (eigenvalues ≥ 0, at least one is zero).
Three ways: (1) All eigenvalues positive, (2) Sylvester's criterion (leading principal minors positive), (3) Cholesky decomposition exists (A = LLᵀ).
The signature (n₊, n₋, n₀) is invariant under congruence transformations PᵀAP. Different bases may give different diagonal forms, but the number of positive/negative/zero entries stays the same.
At a critical point, the Hessian (matrix of second derivatives) determines the nature: positive definite → minimum, negative definite → maximum, indefinite → saddle point.
xᵀAx + bᵀx + c = 0 describes conics (2D) or quadric surfaces (3D). The eigenvalues of A determine the type: ellipse/ellipsoid (all same sign), hyperbola/hyperboloid (mixed signs).
Yes! By spectral theorem (orthogonally) or completing the square (by congruence). The diagonal form shows the signature directly.
A positive definite symmetric matrix A defines an inner product ⟨x,y⟩ = xᵀAy. Conversely, every inner product on ℝⁿ has this form for some positive definite A.
The leading principal minors are products of eigenvalues of submatrices. All positive means no sign changes, hence all eigenvalues positive.
For xᵀAx = 1: eigenvalues give 1/(semi-axis length)². Larger eigenvalue → shorter axis. Positive definite → ellipsoid, indefinite → hyperboloid.