Lesson 7.2 · Differential Equations
Verifying solutions
Before you learn to solve differential equations, you need to know what counts as a solution and how to check one. The check uses only the derivative rules you already know, and it is a skill the AP exam tests directly.
What it means to be a solution
Definition
Solution of a differential equation
A function is a solution of a differential equation on an interval if substituting and its derivatives into the equation produces a true statement for every in that interval.
So verifying a solution is a three-step routine:
- Differentiate the proposed function as many times as the equation requires.
- Substitute the function and its derivatives into both sides of the equation.
- Simplify each side separately and confirm the two sides are identical expressions.
The last step is the important one. You are not solving for ; you are showing that the equation is an identity in .
Worked example: A first-order check
Show that is a solution of .
Solution. Differentiate: .
Now compare the two sides.
The sides agree for every , so is a solution.
General and particular solutions
In the example above, nothing special happened because of the 3. Any function satisfies , because for every constant .
General vs. particular
- The general solution of a first-order differential equation is a family of functions containing one arbitrary constant, such as .
- A particular solution is one specific member of the family. It is picked out by an initial condition like , which tells you one point the solution passes through.
A differential equation together with an initial condition is called an initial value problem.
To find the particular solution, substitute the initial condition into the general solution and solve for the constant. For with : , so the particular solution is .
Worked example: A family with a variable coefficient
Verify that is a solution of for and any constant . Then find the particular solution with .
Solution. Write , so
Substitute into the left side:
That matches the right side, so every function in the family is a solution. Now apply :
The particular solution is , valid on (the interval containing the initial point ).
Second-order equations
The same routine works when the equation involves ; you just differentiate twice.
Worked example: Checking and finding exponential solutions
(a) Verify that is a solution of .
(b) Find all values of for which is a solution of .
Solution. (a) and . Then
The equation holds for every .
(b) For , and . Substitute:
Since is never 0, we need , so . The values are and .
Working from a given family
On the AP exam you will often be handed a family of solutions and asked to pick out the member that fits a condition, or to confirm that a specific function is not a solution.
Worked example: Finding the constant
The general solution of is . Find the particular solution with , and verify it.
Solution. Substitute , :
So . Check: , while
The two sides agree, and as required.
Common mistake
Checking one point is not verifying a solution. If you plug in, say, and both sides happen to equal 6, that proves nothing about other values of . You must show the two sides are equal as expressions, for all in the interval. To show a function is not a solution, though, one value of where the sides disagree is enough.
Tip
When you substitute, simplify the left side and the right side separately, then compare. Moving terms back and forth across the equals sign makes it easy to assume what you are trying to prove.
Practice
Which function is a solution of the differential equation ?
For what value of is a solution of ?
Enter a number. Fractions like 3/4 and sqrt(2) are OK.
Find all values of for which is a solution of .
Separate answers with commas, e.g. 2, -5
The function is a solution of which differential equation?
The functions are solutions of . Find the value of for the particular solution with .
Enter a number. Fractions like 3/4 and sqrt(2) are OK.
The functions are solutions of . Find so that .
Enter a number. Fractions like 3/4 and sqrt(2) are OK.
Which of the following is not a solution of for ?