Take a·y″ + b·y′ + c·y = q(t) with y(0) = 0 and y′(0) = 0. The transformed equation of the previous lesson loses its starting terms, and what is left is one product.
(a·s² + b·s + c)·Y = ℒ[q]
Y = H(s)·ℒ[q], H(s) = 1/(a·s² + b·s + c)
Definition · The transfer function and its polesThe fraction H(s) = 1/(a·s² + b·s + c) is the transfer function of the equation. Its poles are the values of s at which a·s² + b·s + c = 0.
These are the characteristic roots of “The Characteristic Equation” in Second-Order Linear Equations, with s as the unknown.
The first equation is y″ + 3y′ + 2y = 1 from rest. The transform of the forcing 1 is 1/s, so Y = 1/(s·(s² + 3s + 2)), and the denominator factors as s·(s + 1)·(s + 2). The transfer function has the poles −2 and −1. Substituting roots gives the coefficients, and Y = (1/2)/s − 1/(s + 1) + (1/2)/(s + 2).
Inverting term by term gives y = 1/2 − e^(−t) + (1/2)·e^(−2t). Each pole became one term. The poles −1 and −2 of H became the two exponentials that die out, and the pole at 0 came from the forcing, not from the equation: it is the constant 1/2 that the solution settles at. The poles of H decide whether the transient dies; the poles of ℒ[q] decide what the response settles into.
Theorem · The stability criterionLet H be the transfer function of a constant-coefficient equation. Every term built on a pole of H tends to zero as t grows, whatever the forcing and the starting values, if and only if every pole of H has negative real part. One pole with positive real part gives a term that grows without bound.
A real pole p contributes a multiple of e^(pt), and a complex pair α ± βi a multiple of e^(αt) times a cosine or a sine. A repeated pole adds a factor t, as in the previous lesson.
The exponential e^(pt) shrinks to zero when p < 0 and grows without bound when p > 0; the same holds for e^(αt), and the sine and cosine only stay between −1 and 1. So the sign of the real part decides.
□
A complex pair: oscillation with a decay rate
For y″ + 2y′ + 5y = 5 from rest, H has the denominator s² + 2s + 5 = (s + 1)² + 4. The poles are −1 ± 2i. The real part −1 is negative, so the transient dies, and the imaginary part 2 is the frequency. With the forcing 5/s the solution is y = 1 − e^(−t)·cos(2t) − (1/2)·e^(−t)·sin(2t), which oscillates about 1 with an envelope shrinking like e^(−t).
A pole on the right
For y″ − y′ − 2y = 2 from rest, the denominator is s² − s − 2 = (s − 2)(s + 1), and the poles are 2 and −1. The pole 2 has positive real part. Its term is (1/3)·e^(2t), and the full solution is y = −1 + (1/3)·e^(2t) + (2/3)·e^(−t); the lab prints the same three terms with the growing one first. It starts at 0, as it must, and then the exponential takes over. At t = 5 the factor e^(10) is ≈ 22026.5, rounded, and every further unit of time multiplies the term by e², which is ≈ 7.38906, rounded.
One edge of the criterion is worth stating. A pole exactly on the imaginary axis, such as the pair ±2i of y″ + 4y = 0, has real part 0. It gives a term that neither shrinks nor grows, so the criterion as stated, with its strict inequality, does not call that equation stable.