Verifying solutions for differential equations

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

1. Core Concepts of Differential Equation Solutions★☆☆☆☆⏱ 3 min

🚫 No Calculator

A differential equation is any equation that relates an unknown function to one or more of its derivatives. Verifying a solution to a differential equation is the process of confirming that a given function (explicit or implicit) satisfies the original equation when its derivatives are substituted back into the equation.

Per the AP Calculus AB CED, this topic makes up approximately 2-3% of the total exam score, and appears in both multiple-choice and free-response sections. It is often paired with other differential equation topics like separation of variables, where you may confirm a solution you found or work backwards to find an unknown constant.

📘 Definition

First-Order Ordinary Differential Equation

\frac{dy}{dx} = F(x,y)

The most common type of ODE tested on AP Calculus AB, containing only the first derivative of the unknown function $y (x)$ with no higher-order derivatives.

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

🚫 No Calculator

An explicit solution is a function of the form $y = f (x)$ . A general solution includes an arbitrary constant of integration, meaning there are infinitely many solutions corresponding to different values of the constant. The verification process follows three consistent steps:

Differentiate the given solution $y$ with respect to $x$ to get $\frac{d y}{d x}$
Substitute $y = f (x)$ into the right-hand side function $F (x, y)$ of the differential equation
Confirm that the two resulting expressions are algebraically equivalent

📐 Worked Example

Verify that $y = 3 e^{x^{2}}$ is a solution to the differential equation $\frac{d y}{d x} = 2 x y$ .

1
First, compute the first derivative of the given explicit solution using the chain rule:
$\frac{dy}{dx} = 3e^{x^2} \cdot \frac{d}{dx}(x^2) = 3e^{x^2} \cdot 2x = 6x e^{x^2}$
2
Next, substitute the given $y = 3 e^{x^{2}}$ into the right-hand side of the differential equation:
$2xy = 2x(3e^{x^2}) = 6x e^{x^2}$
3
Compare the two results: $\frac{d y}{d x}$ equals the substituted RHS for all $x$ , so the function is confirmed as a solution.

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

🚫 No Calculator

A particular solution is a solution with no arbitrary constants, because the constant is fixed by an initial condition of the form $y (x_{0}) = y_{0}$ . When asked to verify a particular solution on the AP exam, you are required to complete two separate checks: first confirm the function satisfies the differential equation, then confirm it satisfies the given initial condition. Exam graders award separate points for each check.

📐 Worked Example

Verify that $y = 2 sin x + 4$ is the particular solution to $\frac{d y}{d x} = 2 cos x$ with initial condition $y (0) = 4$ .

1
First, check that the function satisfies the differential equation:
$\frac{dy}{dx} = \frac{d}{dx}(2\sin x + 4) = 2\cos x$
2
The derivative matches the RHS of the ODE exactly. Next, check the initial condition by substituting $x = 0$ :
$y(0) = 2\sin(0) + 4 = 2(0) + 4 = 4$
3
This matches the given initial condition. Since both checks pass, the function is confirmed as the correct particular solution.

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

🚫 No Calculator

Not all solutions to differential equations can be written explicitly as $y = f (x)$ . Instead, they are given implicitly as a relation between $x$ and $y$ of the form $G (x, y) = C$ , where $C$ is a constant. To verify an implicit solution, you use implicit differentiation to find $\frac{d y}{d x}$ directly from the relation, then substitute into the differential equation to confirm it matches. The core logic is identical to explicit solutions, only the differentiation method differs.

📐 Worked Example

Verify that $y^{2} + 2 x y = 10$ is an implicit solution to the differential equation $\frac{d y}{d x} = - \frac{y}{y + x}$ .

1
Differentiate both sides of the implicit relation with respect to $x$ , using chain rule for $y^{2}$ and product rule for $2 x y$ :
$\frac{d}{dx}\left(y^2 + 2xy\right) = \frac{d}{dx}(10) \\ 2y \frac{dy}{dx} + 2\left(y + x \frac{dy}{dx}\right) = 0$
2
Simplify and group terms to solve for $\frac{d y}{d x}$ :
$y \frac{dy}{dx} + y + x \frac{dy}{dx} = 0 \\ \frac{dy}{dx}(y + x) + y = 0 \\ \frac{dy}{dx} = -\frac{y}{y + x}$
3
The resulting derivative matches the original differential equation exactly, so the implicit relation is a valid solution.

5. AP-Style Concept Check★★☆☆☆⏱ 2 min

🚫 No Calculator

✓ Quick check

Test your understanding with this multiple-choice question:

Which of the following functions is a solution to the differential equation $\frac{d y}{d x} = \frac{4 y}{x}$ for $x > 0$ ?
- A) $y = 4 x$
- B) $y = x^{4}$
- C) $y = e^{4 x}$
- D) $y = 4 e^{x}$
Reveal answer
B —
For option B, $\frac{d y}{d x} = 4 x^{3}$ , and substituting into the RHS gives $\frac{4 y}{x} = \frac{4 x ^{4}}{x} = 4 x^{3}$ , which matches exactly. All other options fail the equality check.

6. Common Pitfalls

Wrong move:

After finding $\frac{d y}{d x}$ for an explicit solution, stops at finding the derivative and does not compare it to the substituted right-hand side of the ODE

Why:

Students confuse the goal of verification, assuming finding the derivative alone is enough

Correct move:

Always substitute the original $y$ into the RHS of the ODE, then explicitly show that the two sides are equal

Wrong move:

When verifying a particular solution, only checks that the function solves the ODE and skips checking the initial condition

Why:

Students assume the constant is already correct, so the initial condition check is unnecessary

Correct move:

Always complete both checks for a particular solution to earn full credit

Wrong move:

During implicit differentiation, forget to multiply by $\frac{d y}{d x}$ when differentiating terms with $y$ , getting $\frac{d}{d x} (y^{2}) = 2 y$ instead of $2 y \frac{d y}{d x}$

Why:

Students are accustomed to differentiating only functions of $x$ , so they automatically drop the chain rule term

Correct move:

Multiply by $\frac{d y}{d x}$ immediately every time you differentiate a term containing $y$ , before moving to the next term

Wrong move:

When checking the initial condition $y (2) = 5$ , substitutes $y = 2$ for $x$ instead of $x = 2$

Why:

Students misread standard initial condition notation, mixing up input and output

Correct move:

Remember $y (a) = b$ means 'when $x = a$ , $y = b$ ', so always substitute $x = a$ into the solution to check for $y = b$

Wrong move:

When verifying a general solution with arbitrary constant $C$ , substitutes a random numerical value for $C$ instead of leaving it symbolic

Why:

Students think $C$ must have a numerical value to complete verification

Correct move:

$C$ will always cancel out when comparing sides, so leave it as a symbolic constant during the check

Wrong move:

When substituting $y$ into an ODE RHS with multiple instances of $y$ , misses one instance and leaves it as $y$ instead of substituting

Why:

Students overlook multiple $y$ terms in complicated ODEs like $\frac{d y}{d x} = x y + y^{2}$

Correct move:

Circle all instances of $y$ in the ODE RHS before substituting to ensure none are missed

7. Quick Reference Cheatsheet

Category	Step / Rule	Notes
First-order ODE general form	$\frac{d y}{d x} = F (x, y)$	Most common ODE type on AP Calculus AB, no higher derivatives
Explicit solution verification	Compute $\frac{d y}{d x}$ from $y = f (x)$ 2. Substitute $y$ into $F (x, y)$ 3. Confirm equality	Works for $y$ written explicitly in terms of $x$
Implicit solution verification	Implicitly differentiate $G (x, y) = C$ 2. Solve for $\frac{d y}{d x}$ 3. Confirm matches ODE	Used when $y$ cannot be solved explicitly for $x$
Particular solution requirement	Must satisfy both ODE and initial condition $y (x_{0}) = y_{0}$	Both checks required for full FRQ credit
Initial condition notation	$y (x_{0}) = y_{0}$	Input: $x = x_{0}$ , Output: $y = y_{0}$
General solution	Includes arbitrary constant $C$	$C$ cancels during verification; leave as symbol
Implicit differentiation chain rule	$\frac{d}{d x} [y^{n}] = n y^{n - 1} \frac{d y}{d x}$	Never forget the $\frac{d y}{d x}$ term

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.

2021 · MCQ
Identify valid ODE solution
2023 · FRQ
Verify particular solution with IC

What's Next

Mastering verification of differential equation solutions is the non-negotiable foundational prerequisite for all subsequent work in Unit 7. Next, you will learn to sketch slope fields for differential equations, use separation of variables to solve first-order ODEs from scratch, and apply these techniques to exponential growth and decay problems. Without the ability to verify solutions, you will not be able to check your work after solving an ODE, leading to unnecessary point loss on FRQs, and you will struggle to confirm that you found the correct particular solution for initial value problems. This topic also reinforces differentiation skills used across the entire AP Calculus AB course.