Definition · Homogeneous and particular solutionsFor y′ + p(t)·y = q(t), a particular solution y_p is any one function that satisfies it, and a homogeneous solution y_h is any function that satisfies y′ + p(t)·y = 0.
The general solution is y = y_p + y_h, where y_h = C/μ carries one arbitrary constant.
Theorem · Superposition for the forced equationIf y_p solves y′ + p·y = q and y_h solves y′ + p·y = 0, then y_p + y_h solves y′ + p·y = q. And if y is any solution, then y − y_p solves the homogeneous equation.
The derivative of a sum is the sum of the derivatives, so (y_p + y_h)′ + p·(y_p + y_h) = (y_p′ + p·y_p) + (y_h′ + p·y_h) = q + 0.
For the second claim, (y − y_p)′ + p·(y − y_p) = (y′ + p·y) − (y_p′ + p·y_p) = q − q = 0. Both steps use only that y and y′ appear once and to the first power.
□
Take y′ + 3y = 2t. The homogeneous equation is y′ + 3y = 0, with factor μ = e^(3t) from the last lesson, so y_h = C·e^(−3t). A particular solution has to be found, and a guess whose form is borrowed from the forcing is the standard way.
Finding y_p by a guess with unknown constants
The forcing 2t is a polynomial of degree one, so try a polynomial of degree one, y_p = A·t + B. Substituting: A + 3·(A·t + B) = 2t, which is 3A·t + (A + 3B) = 2t. Matching the coefficients of t and of 1 gives 3A = 2 and A + 3B = 0, so A = 2/3 and B = −2/9.
y_p = (2/3)·t − 2/9
y_p′ = 2/3
3·y_p = 2t − 2/3
y_p′ + 3·y_p = 2t
The check is the last line, and it is exact. The guess carried a constant term B even though the forcing 2t has none, for the reason the next lesson makes into a rule: with A·t alone the equations would be 3A = 2 and A = 0, which no A satisfies. The derivative of A·t is a constant, and something in the guess has to cancel it. “Polynomial Forcing and Undetermined Coefficients” turns the guess into a method.
Example · A constant forcing: the steady state is the particular solutionFor y′ + 2y = 6 try a constant, y_p = A. Then 0 + 2A = 6 gives A = 3, which is the steady state from “Constant Coefficients and the Steady State”.
The gap (y₀ − 3)·e^(−2t) found there is exactly the homogeneous part, C·e^(−2t) with C = y₀ − 3. That lesson was this one for a constant q.
The constant is fitted last
Add the two parts first: y = (2/3)·t − 2/9 + C·e^(−3t). Only then put in the starting value, because the starting value is a statement about the whole solution. With y(0) = 1: −2/9 + C = 1, so C = 11/9. The −2/9 is the value of the particular part at t = 0, and it has to be subtracted before C is read off.
y = (2/3)·t − 2/9 + C·e^(−3t)
y(0) = −2/9 + C = 1
C = 1 + 2/9 = 11/9
y = (2/3)·t − 2/9 + (11/9)·e^(−3t)
Example · An exponential forcingFor y′ + 2y = e^t with y(0) = 0 try y_p = A·e^t. Then A·e^t + 2A·e^t = e^t gives 3A = 1, so y_p = (1/3)·e^t.
The solution is (1/3)·e^t + C·e^(−2t), and y(0) = 1/3 + C = 0 gives C = −1/3. The lab shows the three curves in its parts view: the homogeneous part, the particular part, and their sum.
Because the two parts are separate, the lab can draw them separately. In the parts view the homogeneous curve decays on its own, the particular curve is the forced response the starting value cannot change, and the solution is their sum. A different particular solution would give a different split and the same sum.