Verifying Solutions for Differential Equations - AP Calculus AB

SECTION 1

Historical Context & Motivation

Differential equations have been central to mathematics and the sciences since the late seventeenth century, when Isaac Newton and Gottfried Wilhelm Leibniz independently developed calculus. From the very beginning, mathematicians recognized that finding a solution to a differential equation was only half the battle—one also had to verify that the proposed solution actually satisfies the equation. This process of verification became especially important as the complexity of differential equations grew and multiple solution techniques emerged, each capable of producing candidate functions that required careful checking.

1687 • Newton's Principia

Newton formulated physical laws as differential equations, solving them by series methods and implicitly verifying solutions against known physical behavior.

1736 • Euler's Mechanica

Leonhard Euler systematized the solution of ordinary differential equations, introducing standard notation and emphasizing substitution-based verification.

1820s • Cauchy's Rigor

Augustin-Louis Cauchy developed existence and uniqueness theorems, establishing that verifying a candidate solution is a logically necessary step distinct from merely deriving one.

1890s • Picard's Iteration

Émile Picard introduced iterative approximation methods, where each iterate must be checked against the original equation for convergence, reinforcing the culture of verification.

The core question this lesson addresses is deceptively simple: given a differential equation and a proposed function, how do we rigorously confirm that the function is indeed a solution? This skill is tested repeatedly on the AP Calculus AB exam because it reinforces fluency with differentiation rules and algebraic manipulation while building conceptual understanding of what a differential equation actually means.

SECTION 2

Core Principles & Definitions

A differential equation is an equation that relates an unknown function to one or more of its derivatives. A solution to a differential equation is any function that, when substituted into the equation along with its derivatives, produces a true statement for every value in the domain under consideration. Verification is the act of performing that substitution and confirming the identity holds.

Differential Equation

An equation involving an unknown function y and its derivatives, such as dy/dx = 2x. The order equals the highest derivative present.

General Solution

A family of functions containing an arbitrary constant C that satisfies the differential equation. Example: y = x² + C for dy/dx = 2x.

Particular Solution

A single member of the general solution family obtained by applying an initial condition to determine C. Example: y = x² + 3 if y(0) = 3.

Verification by Substitution

Compute all required derivatives of the candidate function, substitute them into the differential equation, and simplify both sides to check equality.

✦

KEY TAKEAWAY

Think of a differential equation as a lock and a proposed solution as a key. Verification is the act of inserting the key and turning it — you compute the derivative, substitute everything back, and check whether both sides of the equation match perfectly. If they do, the key fits; if not, the candidate is not a valid solution.

SECTION 3

Visual Explanation

The following diagram illustrates the verification workflow. Starting from a differential equation and a candidate solution, you differentiate the candidate, substitute into both sides, simplify, and compare. The process is purely mechanical once you understand the logic: compute, substitute, simplify, compare.

The flowchart shows the four-step verification process: start with the DE and candidate, compute derivatives, substitute and simplify, then compare the left-hand side (LHS) with the right-hand side (RHS).

Notice that the verification process does not require you to solve the differential equation from scratch. You are given both the equation and the candidate, and your task is entirely about differentiation and algebra. This makes verification a powerful checking tool—even when you derive a solution yourself, the final step should always be to verify by substitution.

SECTION 4

Mathematical Framework

The formal procedure rests on a straightforward logical claim: a function y = f(x) is a solution to a differential equation if and only if substituting f(x) and its derivatives into the equation yields an identity—a statement true for all x in the domain. Let us codify this with the standard first-order and second-order forms.

FIRST-ORDER ODE

dy/dx = g(x, y)

A function y = f(x) is a solution if f'(x) = g(x, f(x)) for all x in the domain.

SECOND-ORDER ODE

d²y/dx² + p(x) · dy/dx + q(x) · y = r(x)

A function y = f(x) is a solution if f''(x) + p(x) · f'(x) + q(x) · f(x) = r(x) for all x in the domain.

VERIFICATION IDENTITY

LHS(f, f', f'', …) ≡ RHS(x) for all x in the domain

After substitution and simplification, if the left-hand side reduces to exactly the right-hand side, then f is a verified solution.

When an initial condition is given—such as y(x₀) = y₀—verification includes one additional step: substitute x₀ into the candidate function and confirm that f(x₀) = y₀. Both the differential equation and the initial condition must be satisfied for a particular solution to be fully verified. On the AP exam, problems may require you to verify one or both of these conditions.

⚠

Common Pitfall

Students sometimes substitute only y into the equation and forget to replace dy/dx with the actual derivative they computed. Always replace every occurrence of y, y', and y'' with expressions derived from the candidate function before simplifying.

A researcher looks through a microscope beside a closed culture vessel,sample containers and an illustrative cell inset. In the model y = 100e^(0.4t), the relative growth rate stays at 0.4 while total growth y′ = 0.4y increases with the population.

In the model y = 100e^(0.4t), the relative growth rate stays at 0.4 while total growth y′ = 0.4y increases with the population.

SECTION 5

Types of Verification Problems

Verification problems on the AP Calculus AB exam come in several flavors. Understanding these categories helps you anticipate what the question is really asking and avoid unnecessary work. The diagram below classifies the main types you will encounter.

Classification tree showing the five main verification problem types. Types 1 and 2 appear most frequently on the AP Calculus AB exam.

Type	What You're Given	Key Action
Verify Explicit	DE and y = f(x)	Differentiate f, substitute into DE, simplify to identity
Verify with IC	DE, y = f(x), and y(x₀) = y₀	Same as above, plus confirm f(x₀) = y₀
Choose from List	DE and several candidate functions	Test each candidate; only one will produce an identity
General Solution	DE and y = f(x, C)	Treat C as constant, differentiate, substitute
Implicit Solution	DE and F(x, y) = 0	Use implicit differentiation to find dy/dx, then substitute

Summary of verification problem types

SECTION 6

Worked Example

Let us verify that y = Ce^2x is a solution to the differential equation dy/dx = 2y, and then determine the particular solution satisfying y(0) = 5.

Verify y = Ce²ˣ for dy/dx = 2y with y(0) = 5

1
Step 1 — Identify the DE and candidate

The differential equation is dy/dx = 2y. The candidate solution is y = Ce^2x, where C is an arbitrary constant.
2
Step 2 — Differentiate the candidate

Using the chain rule, dy/dx = d/dx[Ce^2x] = C · 2e^2x = 2Ce^2x.

dy/dx = 2Ce^2x
3
Step 3 — Substitute into the DE

The right-hand side of the DE is 2y = 2(Ce^2x) = 2Ce^2x. Compare: LHS = 2Ce^2x and RHS = 2Ce^2x.

LHS = RHS ✓ — y = Ce²ˣ is a solution for all C
4
Step 4 — Apply the initial condition

Substitute x = 0 and y = 5: 5 = Ce⁰ = C · 1 = C. Therefore C = 5.

Particular solution: y = 5e²ˣ

💡

FRQ Strategy

On free-response questions, write out the LHS and RHS separately, then state explicitly that they are equal. The AP graders look for a clear concluding statement such as 'Since dy/dx = 2y for all x, y = Ce²ˣ is a solution.' Omitting this sentence can cost you a rubric point.

SECTION 7

Common Errors & How to Avoid Them

Students who understand the verification concept often lose points to procedural mistakes. The table below catalogs the most frequent errors and provides specific strategies for avoiding them.

Error	Why It Happens	Prevention Strategy
Forgetting the chain rule	Students treat the inner function as x itself	Circle the inner function before differentiating; multiply by its derivative
Not substituting for y on the RHS	They replace dy/dx but leave y unchanged	Replace every y in the equation with the candidate expression
Sign errors in simplification	Distributing negatives incorrectly	Write each algebraic step on a new line; check sign of every term
Treating C as zero	Assuming the constant vanishes	Keep C explicit throughout; only set it to a value when an IC is given
Missing the concluding statement	Work is correct but conclusion is absent	End with 'Since LHS = RHS, the function is a solution'

Common verification errors on the AP exam

✦

KEY TAKEAWAY

Verification is like proofreading an essay: the content may be brilliant, but skipping a word (or a derivative term) invalidates the result. Systematic, line-by-line substitution is your best defense against careless mistakes that cost easy points on the AP exam.

SECTION 8

Connection to Advanced Theory

In AP Calculus AB you verify solutions for first-order ordinary differential equations, primarily of the form dy/dx = f(x, y). As you progress to AP Calculus BC and beyond, the same verification principle extends to more complex structures. The table below shows how the skill scales.

Feature	AP Calculus AB	Advanced (BC / College)
Order of DE	First-order	First- and second-order
Solution form	Explicit y = f(x)	Explicit, implicit, parametric, power series
Verification tools	Direct differentiation	Implicit diff., series substitution, Wronskian
Existence / uniqueness	Informal understanding	Picard–Lindelöf theorem, Lipschitz conditions

Verification in AB vs. advanced courses

The habit of verifying solutions is not merely an exam skill—it is a professional practice used by engineers, physicists, and applied mathematicians. When differential equations model real systems (population growth, circuit dynamics, fluid flow), the cost of an incorrect solution can be enormous. Verification is the final quality-control step that ensures mathematical predictions match reality.

SECTION 9

Practice Problems

Question 1: CONCEPTUAL

What does it mean to say that y = f(x) is a solution to a differential equation? (A) f(x) can be obtained by integrating both sides of the equation (B) Substituting f(x) and its derivatives into the equation yields a true statement for all x in the domain (C) f(x) is the only function whose derivative appears in the equation (D) The graph of f(x) passes through the origin (E) f(x) satisfies f'(x) = 0 at every point

A. f(x) can be obtained by integrating both sides of the equation
B. Substituting f(x) and its derivatives into the equation yields a true statement for all x in the domain
C. f(x) is the only function whose derivative appears in the equation
D. The graph of f(x) passes through the origin
E. f(x) satisfies f'(x) = 0 at every point

Show answer (B)

Correct: (B). A solution to a differential equation is any function that, when substituted along with its required derivatives into the equation, produces an identity for all x in the domain. (A) is incorrect because integration is one method to find solutions, not the definition of what a solution is. (C) is wrong because differential equations can have infinitely many solutions (a family). (D) is incorrect because solutions need not pass through the origin unless an initial condition requires it. (E) is wrong because f'(x) = 0 everywhere would mean f is constant, which is not a requirement for solutions in general.

Question 2: BASIC CALCULATION

Which of the following is a solution to the differential equation dy/dx = 3x²? (A) y = 3x² (B) y = x³ + 7 (C) y = 6x (D) y = x² + 7 (E) y = 3x³

A. y = 3x²
B. y = x³ + 7
C. y = 6x
D. y = x² + 7
E. y = 3x³

Show answer (B)

Correct: (B). If y = x³ + 7, then dy/dx = 3x², which matches the right-hand side exactly. (A) gives dy/dx = 6x, not 3x². (C) gives dy/dx = 6, a constant. (D) gives dy/dx = 2x. (E) gives dy/dx = 9x², not 3x². Only (B) yields the required identity upon differentiation.

Question 3: INTERMEDIATE

Consider the differential equation dy/dx = −y/x. Which of the following is a solution? (A) y = x² (B) y = ln x (C) y = 5/x (D) y = eˣ (E) y = −x

A. y = x²
B. y = ln x
C. y = 5/x
D. y = eˣ
E. y = −x

Show answer (C)

Correct: (C). If y = 5/x = 5x⁻¹, then dy/dx = −5x⁻² = −5/x². Now check the RHS: −y/x = −(5/x)/x = −5/x². Since LHS = RHS = −5/x², the function is verified. (A): dy/dx = 2x, but −y/x = −x, so 2x ≠ −x. (B): dy/dx = 1/x, but −y/x = −(ln x)/x, and these are not equal in general. (D): dy/dx = eˣ, but −y/x = −eˣ/x, so eˣ ≠ −eˣ/x. (E): dy/dx = −1, but −y/x = −(−x)/x = 1, and −1 ≠ 1.

Question 4: APPLIED

5 pts

A population P(t) is modeled by the differential equation dP/dt = 0.04P with initial condition P(0) = 500. A student claims the particular solution is P(t) =

500e^{0.04t}

. (a) Verify that P(t) =

500e^{0.04t}

satisfies the differential equation dP/dt = 0.04P. (b) Verify that the initial condition P(0) = 500 is satisfied. (c) Find P(10) and interpret it in the context of the population model. (d) Explain why the verification process confirms the student's claim is correct.

Show answer

(a) [2 points] Differentiate: dP/dt = 500 · 0.04 ·

e^{0.04t}

20e^{0.04t}

. Compute 0.04P = 0.04 ·

500e^{0.04t}

20e^{0.04t}

. Since dP/dt = 0.04P for all t, the DE is satisfied. [1 point for correct derivative, 1 point for showing LHS = RHS] (b) [1 point] Evaluate P(0) =

500e^{0.04·0}

= 500e⁰ = 500 · 1 = 500 ✓. The initial condition is satisfied. [1 point for correct evaluation and conclusion] (c) [1 point] P(10) =

500e^{0.04·10}

500e^{0.4}

≈ 500(1.4918) ≈ 745.9. After 10 time units, the population is approximately 746 individuals. [1 point for correct computation and interpretation] (d) [1 point] Because the function P(t) =

500e^{0.04t}

satisfies both the differential equation and the initial condition, by the existence and uniqueness theorem, it is the particular solution to the initial value problem. The student's claim is therefore verified. [1 point for connecting both verifications to a clear conclusion]

Question 5: CRITICAL THINKING

4 pts

Consider the differential equation dy/dx = 2xy. (a) Show that y =

Ce^{x²}

is a solution for any constant C. (b) Determine the value of C such that y(1) = 3e. (c) Explain why y =

e^{x²}

+ x is NOT a solution to this differential equation.

Show answer

(a) [2 points] Let y =

Ce^{x²}

. Then dy/dx = C · 2x ·

e^{x²}

2xCe^{x²}

(using the chain rule). The right-hand side is 2xy = 2x ·

Ce^{x²}

2xCe^{x²}

. Since dy/dx = 2xy for all x, the function y =

Ce^{x²}

is a solution for any constant C. [1 point for correct derivative, 1 point for showing equality] (b) [1 point] Substitute x = 1 and y = 3e: 3e =

Ce^{1²}

= Ce. Dividing both sides by e gives C = 3. The particular solution is y =

3e^{x²}

. [1 point for correct value of C] (c) [1 point] Let y =

e^{x²}

+ x. Then dy/dx =

2xe^{x²}

+ 1. The right-hand side is 2xy = 2x(

e^{x²}

+ x) =

2xe^{x²}

+ 2x². Setting LHS = RHS requires

2xe^{x²}

+ 1 =

2xe^{x²}

+ 2x², which simplifies to 1 = 2x². This is only true at x = ±1/√2, not for all x, so y =

e^{x²}

+ x is NOT a solution. [1 point for demonstrating the inequality and concluding correctly]

SUMMARY

Lesson Summary

Summary

Verifying a solution to a differential equation means showing that when you differentiate the candidate function and substitute it and its derivatives into the equation, the result is an identity—both sides are equal for all x in the domain. The process is purely mechanical: compute, substitute, simplify, compare. For initial value problems, you must also confirm that the initial condition is satisfied by evaluating the candidate at the given point.

On the AP exam, always show every substitution step explicitly and end with a clear concluding statement such as 'Since LHS = RHS for all x, y = f(x) is a solution.' Mastering this technique builds the differentiation fluency and algebraic discipline that are essential throughout calculus.