Definition · A first-order linear equationAn equation that can be written a(t)·y′ + b(t)·y = c(t) with a(t) not identically zero. Its standard form is y′ + p(t)·y = q(t), where p = b/a and q = c/a.
It is homogeneous when q is zero, and forced (or non-homogeneous) when it is not. The function q is the forcing.
Standard form is a convention with a reason. The formulas on this course — for a steady state, for an integrating factor, for a particular solution — are all written for y′ with coefficient 1, and every one of them goes wrong by exactly the leftover factor if the coefficient is something else. Dividing first is cheap. Dividing afterwards, in the middle of a formula, is where the errors are.
2y′ + 6y = 4t
divide every term by 2
y′ + 3y = 2t
p(t) = 3 q(t) = 2t q is not 0, so forced
What linear rules out, and what it allows
The unknown y and its rate y′ each appear once, alone, to the first power. That excludes y², y·y′, sin(y) and 1/y, and nothing else. The factors multiplying y and y′ are unrestricted: t², 1/t, sin(t), e^t. A term with no y in it is forcing and is free to be anything.
y′ = 2y + t²·y linear, p = −2 − t²
y′ = t·y linear, p = −t, homogeneous
y′ + y² = t not linear: y²
y·y′ = 1 not linear: y times y′
Moving a term across the equals sign changes its sign, and that is the commonest slip in reading p. The equation y′ = 4 − 2y has the unknown on both sides; collecting it on the left gives y′ + 2y = 4, so p = 2 and q = 4, not p = −2. The sign matters later: a positive constant p makes the solutions of the homogeneous equation die away, and a negative one makes them grow.
Theorem · Scaling a homogeneous solutionIf y solves y′ + p(t)·y = 0, then so does C·y for every constant C.
The derivative of C·y is C·y′, because a constant factor comes straight out of a derivative.
So (C·y)′ + p·(C·y) = C·(y′ + p·y) = C·0 = 0. Nothing about p was used, only that y and y′ each appear once and to the first power. For y′ = y² the same step fails: y = 1/(1 − t) solves it and 2·y does not.
□
Example · A power of t in front of y′Take t·y′ − 2y = 0 and divide by t: y′ − (2/t)·y = 0, so p(t) = −2/t and q = 0. It is homogeneous.
A solution is y = t². Substitute: t·(2t) − 2·t² = 0. By the scaling property C·t² is a solution for every C, and the lab prints exactly that as the homogeneous solution.
The lab at the foot of the page does the division and prints several things this lesson has not derived. Two of them matter now. μ, the integrating factor, is the subject of the next lesson but one; it is e^(3t) for p = 3 and 1/t² for p = −2/t. y_h is the homogeneous solution, and across the three presets it is always C divided by μ. The particular solution, the steady state and the full solution are later lessons' business. Read all of them as outputs for now; “The Integrating Factor” explains the first two.
Example · The equation that looks nonlinear and is notIn y′ = 2y + t²·y the t² sits beside the y. It is a coefficient of y, not a power of y, so the equation is y′ + (−2 − t²)·y = 0 with p(t) = −2 − t².
The lab refuses it, and the reason it gives is the lab's limit and not a verdict on the equation: the lab solves a constant p or one of the form a/t, and says that p is outside them. A refusal from the lab never means the equation is not linear unless it says so in those words.