Learn
Lesson · First-Order Linear Equations · Integrating factors

Homogeneous Plus Particular

Every solution of y′ + p·y = q is one particular solution y_p plus a solution y_h of the homogeneous equation y′ + p·y = 0. Adding is allowed because the left side is linear in y, so the sum gives q + 0; and nothing is missed, because the difference of two solutions solves the homogeneous equation. The constant in y_h is fitted to the starting value after the two parts are added, never before.

y = y_p + y_h y_h: y′ + p·y = 0, so y_h = C/μ y_p: any one solution of y′ + p·y = q sum gives y′ + p·y = q + 0 = q fit C last: y(t₀) = y_p(t₀) + C/μ(t₀)
Two simpler problems, added, then one constant

Core ideas

What this lesson establishes

Three ideas: the two equations, why adding their solutions is legitimate, and why one particular solution is enough.

1

Two equations, one for each part

The homogeneous solution y_h solves y′ + p·y = 0, the equation with the forcing removed, and carries the constant C. The particular solution y_p solves the forced equation y′ + p·y = q and carries no constant. Any one particular solution will do; the lessons that follow find them by guessing a form and matching coefficients.

2

Adding is allowed because the equation is linear

Substitute y_p + y_h: the left side is (y_p + y_h)′ + p·(y_p + y_h) = (y_p′ + p·y_p) + (y_h′ + p·y_h) = q + 0. That works for any p and any q, and it fails for nonlinear equations: the sum of two solutions of y′ = y² is not a solution.

3

One particular solution is enough

If y is any solution at all, then y − y_p solves the homogeneous equation, because q − q = 0. So y − y_p = C/μ for some C, and every solution has the form y_p + C/μ. A different y_p changes only the constant that the starting value will fix.

The material

Why the general solution splits, and how to fit it

The two parts, the proof that their sum solves the equation and that nothing else does, how a particular solution is found by a guess, and the order in which the constant is fitted.

Definition · Homogeneous and particular solutions

For 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 equation

If 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 solution

For 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 forcing

For 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.

Interactive

First-order linear equations

μ, y_h, y_p and the constant, exactly

A first-order linear equationy′ + p(t)·y = q(t), solved symbolically
solutiony_py_hEuler's steps (exact)

Method

Solving a forced equation in two parts

Solve the easy equation, find one solution of the forced one, add, and fit the constant last.

1

Solve the homogeneous equation

Set q = 0 and use y_h = C/μ. For p = 3 that is C·e^(−3t).

2

Find one particular solution

Guess a form with the same shape as q, with unknown constants, substitute, and match coefficients. Any single solution will do.

3

Check the particular solution

Substitute y_p alone into y′ + p·y and read q. If it does not give q, the guess was wrong, however neat the constants look.

4

Add the parts and fit C last

y = y_p + C/μ. Put in y(t₀), subtract the particular part's value at t₀, and divide by 1/μ(t₀).

5

Check the start and the equation

The finished y must give the starting value at t₀ and must satisfy the original equation. Both are one line.

Parts, sums and constants

Score 0 / 0

y′ + 3y = 2t with y(0) = 1, in two parts

The homogeneous equation has the factor e^(3t), so its solution is known at once. The particular solution is a degree-one polynomial.

y_h = C·e^(−3t) try y_p = A·t + B: A + 3A·t + 3B = 2t t terms: 3A = 2, so A = 2/3 constants: A + 3B = 0, so B = −2/9 y_p = (2/3)·t − 2/9 y = (2/3)·t − 2/9 + C·e^(−3t) y(0) = −2/9 + C = 1, so C = 11/9

The order matters. The constant 11/9 is not 1, and the difference is exactly the 2/9 that the particular part contributes at t = 0. Reading C off the homogeneous part alone would have set it to 1 and made y(0) equal to 7/9.

For a rehearsal, take the third preset, y′ + 2y = e^t with y(0) = 0, and write down y_h, y_p and C before pressing the button. The particular solution is a multiple of e^t; find the multiple by substitution, then compute the constant from the sum.

Common mistakes

1
Fitting the constant to y_h before y_p is addedFor y′ + 3y = 2t with y(0) = 1, the slip gives C = 1, the solution e^(−3t) + (2/3)·t − 2/9, and y(0) = 1 − 2/9 = 7/9. The starting value belongs to the sum. The particular part is −2/9 at t = 0, so the constant has to supply 1 + 2/9 = 11/9.
2
Guessing y_p = A·t with no constant termFor y′ + 3y = 2t the guess gives A + 3A·t = 2t. The t terms need 3A = 2 and the constant terms need A = 0, and no A does both. The derivative of A·t is a constant, so a constant has to be allowed in the guess: y_p = A·t + B, as the worked example does.
3
Believing the particular solution is uniqueTake y_p* = (2/3)·t − 2/9 + e^(−3t). It also solves y′ + 3y = 2t, because the extra term is a homogeneous solution. With this choice the constant is 2/9, not 11/9, and the final y is the same, since 2/9 + 1 = 11/9. The lab prints one choice, and the final solution does not depend on which.

Check your understanding

✓
Finish when you can write the general solution of y′ + p·y = q as y_p + y_h, check y_p by substitution, and fit the constant after adding.

You should be able to solve the homogeneous equation, find one particular solution by a guess and matched coefficients, show that the sum solves the forced equation and that the difference of two solutions solves the homogeneous one, and compute the constant from a starting value after the two parts are added.

Note: Two ways to solve the same equation are now on the table. The integrating factor always works and needs an integral; the guess needs no integral and works when the forcing has a shape that can be guessed. The next half of the course takes the guess seriously for polynomial, exponential and sinusoidal forcing, and then applies the whole of it to circuits, tanks and loans.

Kept in this browser only, for you. Nothing is sent anywhere and nothing checks it. Carry it to another device.

Feedback and recommendations

Something to change about this lesson? Write it down, tick it off when it is handled, and export the list when you want to act on it. Kept in this browser only: nothing is sent anywhere, and nobody is notified.

No recommendations yet for this lesson.