Higher-Order Linear Equations & Operators

the characteristic polynomial

For a constant-coefficient linear equation there is an almost magical shortcut: you do not really have to solve a differential equation at all. You solve an ordinary algebra problem — find the roots of a polynomial — and the solutions of the differential equation fall out of those roots. The characteristic polynomial is the bridge that turns calculus into algebra.

It comes from a single guess. For the homogeneous equation a_n y^(n) + a_(n-1) y^(n-1) + ... + a_1 y' + a_0 y = 0 with constant coefficients, try y = e^(rx). Each derivative just multiplies by r, so y^(k) = r^k e^(rx), and substituting turns the whole equation into e^(rx) times a_n r^n + a_(n-1) r^(n-1) + ... + a_1 r + a_0 = 0. Since e^(rx) is never zero, the bracket must vanish: that polynomial in r, of degree n, is the characteristic polynomial, and the equation setting it to zero is the characteristic equation. Its n roots (counted with multiplicity, by the fundamental theorem of algebra) are exactly the exponents that give solutions. Distinct real root r gives e^(rx); a complex pair a +/- bi gives e^(ax) cos(bx) and e^(ax) sin(bx); a repeated root contributes extra factors of x.

This single device solves every constant-coefficient linear ODE, of any order, by reducing it to root-finding. It also explains the deep link to linear algebra: the same polynomial is the characteristic polynomial of the companion matrix of the equation, tying scalar nth-order theory to eigenvalues. The honest limit: this shortcut needs CONSTANT coefficients — for variable coefficients there is no characteristic polynomial, and you turn to series methods or special equations like Cauchy-Euler instead. And finding the roots themselves can be hard: for degree five and up there is no general formula, so high-order cases may need numerical root-finding.

For y''' - 6y'' + 11y' - 6y = 0, substituting y = e^(rx) gives the characteristic polynomial r^3 - 6r^2 + 11r - 6, which factors as (r - 1)(r - 2)(r - 3). The roots 1, 2, 3 give the general solution y = c1 e^x + c2 e^(2x) + c3 e^(3x).

The characteristic polynomial converts a constant-coefficient ODE into a root-finding problem.

The roots must be counted with multiplicity to reach n solutions — a double root supplies two solutions (e^(rx) and x e^(rx)), not one, or you will come up short of a full fundamental set.

Also called
auxiliary polynomialcharacteristic equation of order n特徵方程輔助多項式