Verifying Solutions for Differential Equations — AP Calculus BC
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.
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
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.
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.
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$.
Common Pitfalls
Why: Students rush differentiation, leading to incorrect derivatives that fail verification
Why: Students confuse implicit verification with other problems and unnecessarily try to isolate $y$
Why: Students assume any solution to the DE is automatically the required particular solution
Why: Students stop after computing the derivative since the DE is already solved for $y'$
Why: Students stop differentiation after the first derivative and miss the higher-order term required by the DE
Why: Students are used to finding particular solutions and automatically solve for $C$ out of habit