Verifying Solutions for Differential Equations

AP Calculus BC· AP Calculus BC CED — Differential Equations· 14 min read

1. Core Concept: What Is a DE Solution Verification?★☆☆☆☆⏱ 3 min

A differential equation (DE) is any equation that relates an unknown function $y = f (x)$ to its derivatives (e.g., $y^{'}, y^{''}$ ). Verifying a solution is the process of confirming that a given candidate function (or family of functions) satisfies the DE and any given initial or boundary conditions.

Unlike solving a DE from scratch, verification is a backwards process: you start with a candidate, so you do not have to find the solution yourself, just confirm it works. This topic appears regularly on both multiple-choice and free-response sections of the AP exam, and is typically a low-to-medium difficulty point-earner.

📘 Definition

Solution to a Differential Equation

A function (or family of functions) that satisfies the original differential equation when all required derivatives are substituted into the equation.

Example:

For $y^{'} = 2 x$ , $y = x^{2} + C$ is a family of solutions.

2. Verifying Explicit Solutions★★☆☆☆⏱ 4 min

An explicit solution is a candidate function written in the form $y = f (x)$ , where $y$ is fully isolated on one side of the equation. Follow this consistent three-step process for verification:

Identify the order of the DE, and compute all required derivatives up to that order
Substitute the candidate $y$ and all derivatives into the left-hand side (LHS) of the DE
Simplify the LHS and confirm it equals the right-hand side (RHS) for all $x$ in the domain

📐 Worked Example

Verify that $y = 3 e^{2 x} + 5 x$ is a solution to the second-order differential equation $y^{''} - 2 y^{'} = - 10$ .

1
Compute the first derivative of the candidate
$y' = \frac{d}{dx}\left(3e^{2x} + 5x\right) = 6e^{2x} + 5$
2
Compute the second derivative required for this second-order DE
$y'' = \frac{d}{dx}\left(6e^{2x} + 5\right) = 12e^{2x}$
3
Substitute $y^{'}$ and $y^{''}$ into the LHS of the DE
$y'' - 2y' = 12e^{2x} - 2\left(6e^{2x} + 5\right)$
4
Simplify and compare to the RHS
$12e^{2x} - 12e^{2x} - 10 = -10$
5
The equality holds for all real $x$ , so the candidate is a valid solution.

Exam tip:

On multiple-choice questions asking to identify a valid solution, eliminate options immediately if substitution doesn't match, no need to fully simplify every option.

3. Verifying Implicit Solutions★★★☆☆⏱ 5 min

Many DE solutions cannot be rewritten to isolate $y$ explicitly as a function of $x$ , so we work with implicit solutions where $x$ and $y$ appear on both sides of the equation. To verify, you still find the derivative required by the DE, but use implicit differentiation with respect to $x$ to get $y^{'}$ in terms of $x$ and $y$ , then compare to the DE. You do not need to solve for $y$ explicitly.

📐 Worked Example

Verify that $sin y + 2 x y = x^{2}$ is an implicit solution to $\frac{d y}{d x} = \frac{2 x - 2 y}{2 x + c o s y}$ .

1
Differentiate both sides with respect to $x$ , applying chain rule to $y$ -terms and product rule to $2 x y$
$\frac{d}{dx}(\sin y) + \frac{d}{dx}(2xy) = \frac{d}{dx}(x^2)$
2
Expand each derivative term
$(\cos y)y' + 2y + 2x y' = 2x$
3
Isolate $y^{'}$ by factoring
$y'(2x + \cos y) = 2x - 2y \implies y' = \frac{2x - 2y}{2x + \cos y}$
4
The computed $y^{'}$ matches the DE RHS, so the candidate is a valid implicit solution.

Exam tip:

Always write out the $y^{'}$ term explicitly after differentiating any $y$ -term — forgetting the chain rule $y^{'}$ is the most common error on implicit verification problems.

4. Verifying Particular Solutions with Initial Conditions★★☆☆☆⏱ 4 min

A general solution to an $n$ -th order DE includes $n$ arbitrary constants, describing an infinite family of solutions. A particular solution fixes the value of these constants to match given initial conditions (for first-order DEs: $y (x_{0}) = y_{0}$ ) or boundary conditions. To verify a particular solution, you must complete two separate checks: confirm the candidate satisfies the DE, then confirm it satisfies the given initial condition.

📐 Worked Example

Given that $y = C e^{- 2 x} + x - 1$ is the general solution to $y^{'} + 2 y = 2 x - 1$ , confirm that $y = 3 e^{- 2 x} + x - 1$ is the particular solution satisfying $y (0) = 2$ .

1
First, confirm the candidate satisfies the DE by computing the derivative
$y' = -6e^{-2x} + 1$
2
Substitute into the LHS of the DE and simplify
$y' + 2y = (-6e^{-2x} + 1) + 2(3e^{-2x} + x - 1) = 2x - 1$
3
The candidate satisfies the DE. Next check the initial condition by evaluating at $x = 0$
$y(0) = 3e^{0} + 0 - 1 = 3 - 1 = 2$
4
Both the DE and initial condition are satisfied, so this is the correct particular solution.

✓ Quick check

Test your understanding: Which of the following candidates is a valid solution to $y^{''} + 4 y = 0$ ?

Select the valid solution
- $y = sin (2 x)$
- $y = sin (x)$
- $y = e^{2 x}$
- $y = 2 x^{2}$

Exam tip:

If you solve for a particular solution from scratch on the exam, use this verification process to check your work and catch arithmetic errors with the constant $C$ .

5. Common Pitfalls

Wrong move:

Forgetting to apply the chain rule when differentiating composite candidates like $y = e^{3 x^{2}}$

Why:

Students rush differentiation, leading to incorrect derivatives that fail verification

Correct move:

Always write out the chain rule step explicitly for every composite function before substituting into the DE

Wrong move:

When verifying implicit solutions, trying to solve for $y$ explicitly before differentiating

Why:

Students confuse implicit verification with other problems and unnecessarily try to isolate $y$

Correct move:

Differentiate the implicit candidate first, isolate $y^{'}$ , then compare your result to the DE

Wrong move:

Only verifying the candidate satisfies the DE, forgetting to check the initial condition for a particular solution

Why:

Students assume any solution to the DE is automatically the required particular solution

Correct move:

When asked to verify a particular solution, always explicitly show both the DE check and the initial condition check

Wrong move:

For DE of the form $y^{'} = f (x, y)$ , only computing $y^{'}$ from the candidate and forgetting to substitute $y$ into $f (x, y)$ to check equality

Why:

Students stop after computing the derivative since the DE is already solved for $y^{'}$

Correct move:

After computing $y^{'}$ from the candidate, substitute the candidate's $y$ into $f (x, y)$ , simplify, and confirm it matches your computed $y^{'}$

Wrong move:

For a second-order DE, only substituting $y^{'}$ and forgetting to include $y^{''}$ and $y$ in the substitution

Why:

Students stop differentiation after the first derivative and miss the higher-order term required by the DE

Correct move:

Before starting verification, write down all derivatives you need based on the order of the DE to avoid missing terms

Wrong move:

When asked to verify a general solution, solving for the arbitrary constant even though it is not required

Why:

Students are used to finding particular solutions and automatically solve for $C$ out of habit

Correct move:

For general solution verification, confirm the DE holds for any value of the constant (constants differentiate to zero, so equality holds regardless)

6. Quick Reference Cheatsheet

Category	Process / Rule	Notes
Explicit Solution Verification	Compute all derivatives up to the order of the DE 2. Substitute $y$ and derivatives into DE 3. Check LHS = RHS	Works for any explicit $y = f (x)$ ; constants differentiate to zero for general solutions
Implicit Solution Verification	Differentiate implicit relation w.r.t $x$ 2. Isolate $y^{'}$ (or higher derivative) 3. Compare to DE	No need to solve for $y$ explicitly; always use chain rule for $y$ terms
Particular Solution Verification	Verify candidate satisfies DE 2. Check $y (x_{0}) = y_{0}$ for initial condition	AP FRQ awards separate points for each step; never skip the initial condition check
First-order DE	Requires $y^{'}$ and $y$ for substitution	Most common DE type on the AP exam
Second-order DE	Requires $y^{''}$ , $y^{'}$ , and $y$ for substitution	Always list required derivatives before starting to avoid missing terms
Initial Condition	$y (x_{0}) = y_{0}$	Fixes the value of the arbitrary constant for a particular solution
General Solution	Family of solutions with $n$ arbitrary constants for $n$ -th order DE	Verification only requires confirming the DE holds for any constant value

When this came up on past exams

AI-estimated based on syllabus patterns — cross-check with official past papers for accuracy. Use only as revision-focus signals.

2023 · MCQ
Identify valid DE solution
2022 · FRQ
Verify particular DE solution

What's Next

Verifying solutions to differential equations is the foundational prerequisite for all other differential equation topics in Unit 7. Before you learn to solve DEs from scratch using separation of variables, Euler’s method, or logistic growth analysis, you need to understand what a solution actually is and how to confirm it works. This process gives you a built-in check to catch errors when you find your own solutions. Without mastering this verification process, you won’t be able to confidently confirm your solutions to separable DEs or logistic growth models, which are high-weight FRQ topics on the AP exam. The skills you build here also carry over to the study of parametric and polar curves, where you regularly work with derivatives of implicit relations.