Definition · Differential equation, order, solutionA differential equation is an equation whose unknown is a function and which involves one or more of that function's derivatives. Its order is the highest derivative that appears. A solution is a function that makes the equation true for every t in some interval.
The word “every” carries the weight. A function that fits the equation at a few values of t has satisfied a few instances of it, and no more.
Start with the smallest example. The equation y′ = 2t says that the rate of change of y at time t is 2t: zero at the start, 2 at time 1, 4 at time 2. In Accumulation and the Integral you met this question the other way up, as “which function has this rate”, and the answer was an antiderivative. A differential equation is that question asked of a rate that may also depend on the unknown itself, as in y′ = y, and then the antiderivative alone no longer answers it.
The lab below takes an equation and a candidate and does the substitution for you, symbolically. It differentiates the candidate exactly, forms y′ − 2t, simplifies, and prints the result in the tile named Residual. Nothing is evaluated at sample points; the verdict is about every t.
equation y′ = 2t
candidate its y′ residual y′ − 2t verdict
t² 2t 0 a solution
t² + 3 2t 0 a solution
t³ 3t² 3t² − 2t not a solution
Read the three rows. The candidate t² has derivative 2t, so the residual 2t − 2t is 0. The candidate t² + 3 has the same derivative, because a constant has rate zero, so it is a solution as well. The candidate t³ has derivative 3t², and the residual 3t² − 2t is not zero. It does vanish at t = 0 and at t = 2/3, and that does not rescue it: a solution needs the residual to be zero at every t.
One equation, many answers
That t² and t² + 3 are both solutions is the first fact to absorb, and the one the misconception below gets wrong. Adding any constant C to t² leaves the derivative at 2t, so t² + C is a solution for every C. A differential equation of this kind has a whole family of solutions, one curve for each constant, and each is the same shape shifted up or down.
Example · The same check on a candidate that does not workTake y′ = 2t and the candidate y = 2t. Its derivative is 2, so the residual is 2 − 2t, which the lab writes as −2t + 2.
That is zero at t = 1 and nowhere else. At t = 1 the candidate and the equation agree, and one instance of agreement is exactly what the residual test refuses to accept. “Checking a Proposed Solution” meets the same trap in a harder equation.
What the lab does and does not claim
The residual tile is exact: it is the symbolic left side minus right side, and it prints 0 only when the simplified expression is identically zero. The curve in the plot is a drawing made with ordinary floating-point numbers, and it is there to be looked at, not to be trusted for a digit.