The three kinds of discriminant give three shapes of answer. A positive discriminant gives two distinct real roots r₁ and r₂, and the answer is a combination of the two exponentials. The word “general” matters: the form carries both constants, and a particular motion is picked out by giving them values.
Theorem · The general solution for distinct real rootsIf a·r² + b·r + c = 0 has two different real roots r₁ and r₂, then every solution of a·y″ + b·y′ + c·y = 0 has the form y = C₁·e^(r₁t) + C₂·e^(r₂t), and every such function is a solution.
That every such function is a solution is the combination rule from “The Second-Order Equation” applied to two exponentials, and the lab checks it case by case. That there are no other solutions is the part this course states and does not prove in full; “Superposition and the Wronskian” shows why two constants always suffice to fit a starting value and rate, and that is the part you can use.
Fitting the constants
Take y″ + 3y′ + 2y = 0. The roots are −1 and −2, so y = C₁·e^(−t) + C₂·e^(−2t). At t = 0 the exponentials are 1, so y(0) = C₁ + C₂. The rate is y′ = −C₁·e^(−t) − 2·C₂·e^(−2t), so y′(0) = −C₁ − 2·C₂. With y(0) = 1 and y′(0) = 0 the equations are C₁ + C₂ = 1 and −C₁ − 2·C₂ = 0.
C₁ + C₂ = 1
−C₁ − 2·C₂ = 0
add: −C₂ = 1, C₂ = −1
C₁ = 1 − C₂ = 2
y = 2·e^(−t) − e^(−2t)
Checking by substitution is what makes the answer trustworthy. From y = 2·e^(−t) − e^(−2t) the rates are y′ = −2·e^(−t) + 2·e^(−2t) and y″ = 2·e^(−t) − 4·e^(−2t). Then y″ + 3y′ + 2y has the e^(−t) terms 2 − 6 + 4 = 0 and the e^(−2t) terms −4 + 6 − 2 = 0. The lab prints the same residual, 0, in its status line, and also checks that both starting values hold.
Reading the motion from the roots
With roots −1 and −2 every solution is a sum of two terms that shrink, so every solution tends to 0. With roots 2 and 3, as in y″ − 5y′ + 6y = 0, both terms grow. With roots −1 and 1, as in y″ − y = 0, one term shrinks and one grows, and the growing one wins as soon as its constant is not zero.
Example · A growing root with a zero constantFor y″ − y = 0 with y(0) = 1 and y′(0) = −1, the equations are C₁ + C₂ = 1 and C₁ − C₂ = −1. Adding gives 2·C₁ = 0, so C₁ = 0 and C₂ = 1, and the solution is y = e^(−t), which decays.
Change the starting rate to y′(0) = −99/100 and C₁ = 1/200 is not zero, so the term in e^t is present and, though it starts tiny, it grows past everything. A decaying solution here is balanced on one exact value.
That balance is why the signs forecast the motion only up to a constant being exactly zero. For a starting value and rate chosen from measured data that never happens, so the safe forecast is that a positive root means growth.