Verifying Solutions for Differential Equations - AP Calculus BC

SECTION 1

Historical Context & Motivation

Differential equations arose from the very inception of calculus itself. When Newton and Leibniz independently developed the calculus in the late seventeenth century, they were immediately confronted with equations relating a function to its own derivatives—equations that modeled physical phenomena such as planetary motion, the shape of hanging chains, and the cooling of heated objects. Solving these equations was only half the battle; mathematicians quickly realized that a proposed solution must be verified by substituting it back into the original equation to confirm that the relationship holds identically. This practice of verification became a cornerstone of mathematical rigor, ensuring that algebraic manipulations or inspired guesses had not introduced extraneous or incorrect results.

1687 • Newton's Principia

Isaac Newton published the Principia Mathematica, in which he used differential equations (expressed in his method of fluxions) to describe gravitational motion. Verification of solutions was implicit in his geometric arguments.

1736 • Euler's Mechanica

Leonhard Euler systematized the study of ordinary differential equations, introducing formal solution techniques and emphasizing the need to check that solutions satisfy both the equation and any imposed initial conditions.

1830s • Existence and Uniqueness Theorems

Cauchy and Lipschitz established rigorous conditions under which a differential equation is guaranteed to have a unique solution, making verification essential for confirming that a candidate solution is the correct one among potentially many.

20th Century • Computational Verification

With the advent of computer algebra systems, verification of differential equation solutions became automated, yet the underlying algebraic principle—substitution and simplification—remains the same procedure students learn by hand.

The central question this lesson addresses is deceptively simple: Given a differential equation and a candidate function, how do we confirm that the function is indeed a solution? Mastering this skill is essential on the AP Calculus BC exam, where you may be asked not only to solve differential equations but also to verify that a given expression satisfies one. More fundamentally, verification builds your fluency with differentiation rules and algebraic substitution—skills that reinforce every other topic in calculus.

SECTION 2

Core Principles & Definitions

Before diving into verification procedures, it is important to establish the foundational vocabulary. A differential equation is any equation that involves an unknown function and one or more of its derivatives. A solution to such an equation is a function that, when substituted into the equation along with its derivatives, reduces the equation to an identity (i.e., a statement that is true for every value of the independent variable in the domain of interest). Verification is the process of carrying out that substitution and simplification to confirm the identity holds.

Ordinary Differential Equation (ODE)

An equation relating a function y(x) to its ordinary derivatives dy/dx, d²y/dx², etc. On the AP BC exam, you work exclusively with ODEs involving a single independent variable.

General vs. Particular Solution

A general solution contains one or more arbitrary constants (e.g., y = Ce²ˣ). A particular solution fixes those constants using an initial condition (e.g., y(0) = 3 gives C = 3).

Verification by Substitution

Differentiate the candidate solution as many times as the ODE requires, substitute into the equation, and simplify. If both sides are identical, the function is verified as a solution.

Initial Condition Check

After verifying the ODE, plug in the initial condition to confirm that the particular solution also satisfies the specified starting value. Both checks are necessary for a complete verification.

✦

KEY TAKEAWAY

Think of verification like checking an answer key in a combination lock. Solving a differential equation is like proposing a combination; verification is actually turning the dial to those numbers and confirming the lock opens. The equation itself is the lock mechanism—your proposed function must make every part of that mechanism click into place. If even one derivative term fails to cancel correctly, the lock stays shut and the candidate is not a solution.

SECTION 3

Visual Explanation

The Verification Process at a Glance

The flowchart above traces the full verification procedure: start by identifying the ODE and the candidate function (violet box), compute all necessary derivatives (cyan box), substitute into the ODE (pink box), simplify (amber box), and determine whether an identity results. A "Yes" at the decision diamond (green) confirms the solution; a "No" sends you back to re-examine the candidate. If the problem includes an initial condition, a final orange step checks that the particular value is satisfied.

The diagram above encapsulates the entire verification workflow. Notice that verification is fundamentally a backward-looking process: rather than finding a solution, you are confirming one. This distinction matters because verification requires only differentiation and algebra—skills you already possess—whereas solving a differential equation may demand specialized techniques such as separation of variables, integrating factors, or power series. On the AP exam, verification problems are therefore an excellent opportunity to earn full credit with careful, systematic work.

SECTION 4

Mathematical Framework

Let us formalize the verification procedure. Suppose you are given a first-order ODE and a candidate solution. The mathematical goal is to show that substituting the candidate into the ODE yields a true statement for all values of the independent variable in the relevant domain.

FIRST-ORDER ODE

dy/dx = f(x, y)

Here f(x, y) is a given expression involving x and y. A candidate y = g(x) is a solution if g′(x) = f(x, g(x)) for all x in the domain.

SECOND-ORDER ODE

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

For a second-order equation, you must compute both y′ = g′(x) and y″ = g″(x) before substituting. The equation is verified when the left side simplifies to r(x) identically.

INITIAL VALUE PROBLEM (IVP)

dy/dx = f(x, y), y(x₀) = y₀

For an IVP, verification has two parts: (1) confirm that dy/dx = f(x, y) holds identically, and (2) confirm that g(x₀) = y₀. Both must be satisfied for the candidate to be the particular solution.

A common source of error is forgetting to apply the chain rule or product rule when differentiating the candidate function. For instance, if y = e^3xsin(x), computing y′ requires the product rule combined with the chain rule. Another pitfall arises when the candidate contains an arbitrary constant C; during verification of a general solution, the constant C should appear in intermediate steps and must cancel or remain consistent throughout the simplification. If it does not, the proposed general solution is incorrect.

💡

AP Exam Tip

On free-response questions, always show every derivative computation explicitly and clearly label each substitution step. Graders award points for demonstrating the process, not just stating that the equation "checks out." Write "Substitute into the LHS" and "Simplify to obtain the RHS" as signposts.

SECTION 5

Types of Verification Problems

Verification problems on the AP Calculus BC exam (and in a first course on differential equations) tend to fall into several categories. Understanding these categories will help you anticipate the level of algebraic complexity required and organize your work accordingly.

The four panels show the most common verification problem types you will encounter. Type 1 (violet) requires a single derivative and direct substitution. Type 2 (cyan) adds an initial condition check. Type 3 (pink) involves second-order equations with two derivatives. Type 4 (amber) introduces a free parameter, testing whether the candidate works for all parameter values. The bottom panel emphasizes the shared procedure underlying all four types.

On the AP Calculus BC exam, Type 1 and Type 2 problems appear most frequently, often embedded within a larger free-response question that also asks you to solve the equation or sketch a slope field. Type 3 problems occasionally appear in the multiple-choice section, testing whether you can differentiate trigonometric or exponential functions twice and track signs correctly. Type 4 problems, while less common, are excellent for deepening your understanding of the role of parameters and arbitrary constants in general solutions.

SECTION 6

Worked Example

Let us work through a complete verification problem, showing every step with full detail. This mirrors the level of work expected on an AP Calculus BC free-response question.

Verify that y = 3e²ˣ + xe²ˣ is a solution to y″ − 4y′ + 4y = 0

1
Step 1 — Identify the ODE and the candidate

The ODE is y″ − 4y′ + 4y = 0, a second-order linear homogeneous equation with constant coefficients. The candidate solution is y = 3e^2x + xe^2x. We need to compute y′ and y″.
2
Step 2 — Compute the first derivative y′

Differentiate term by term. For 3e²ˣ, the derivative is 6e²ˣ. For xe²ˣ, apply the product rule: d/dx(xe²ˣ) = (1)e²ˣ + x(2e²ˣ) = e²ˣ + 2xe²ˣ. Combining: y′ = 6e²ˣ + e²ˣ + 2xe²ˣ = 7e²ˣ + 2xe²ˣ.

y′ = 7e²ˣ + 2xe²ˣ
3
Step 3 — Compute the second derivative y″

Differentiate y′ = 7e²ˣ + 2xe²ˣ. For 7e²ˣ, the derivative is 14e²ˣ. For 2xe²ˣ, apply the product rule: d/dx(2xe²ˣ) = 2e²ˣ + 2x(2e²ˣ) = 2e²ˣ + 4xe²ˣ. Combining: y″ = 14e²ˣ + 2e²ˣ + 4xe²ˣ = 16e²ˣ + 4xe²ˣ.

y″ = 16e²ˣ + 4xe²ˣ
4
Step 4 — Substitute into the ODE

Compute y″ − 4y′ + 4y: = (16e²ˣ + 4xe²ˣ) − 4(7e²ˣ + 2xe²ˣ) + 4(3e²ˣ + xe²ˣ). Expand: = 16e²ˣ + 4xe²ˣ − 28e²ˣ − 8xe²ˣ + 12e²ˣ + 4xe²ˣ.
5
Step 5 — Simplify and confirm the identity

Group the e²ˣ terms: (16 − 28 + 12)e²ˣ = 0 · e²ˣ = 0. Group the xe²ˣ terms: (4 − 8 + 4)xe²ˣ = 0 · xe²ˣ = 0. Therefore y″ − 4y′ + 4y = 0 + 0 = 0, which matches the right-hand side of the ODE.

✓ Verified: y = 3e²ˣ + xe²ˣ is a solution to y″ − 4y′ + 4y = 0

📝

Why This Example Matters

The candidate y = 3e²ˣ + xe²ˣ arises from a characteristic equation with a repeated root (r = 2 with multiplicity 2). The xe²ˣ term is the second linearly independent solution associated with a repeated root. Recognizing this structure explains why both terms produce the same exponential base—and why the cancellation is exact rather than coincidental.

SECTION 7

Common Pitfalls & Exam Tips

While verification is conceptually straightforward, there are several pitfalls that routinely cost students points on the AP exam. The table below contrasts common mistakes with best practices, giving you a diagnostic tool for checking your own work.

Common Pitfall	Why It's Wrong	Best Practice
Forgetting the chain rule when differentiating e^kx	Writing d/dx(e³ˣ) = e³ˣ instead of 3e³ˣ causes a factor-of-k error that propagates through every subsequent step.	Always write the inner derivative explicitly: d/dx(e^kx) = k · e^kx. Circle the chain rule factor.
Dropping the product rule for terms like xe^2x	Treating xe²ˣ as a simple exponential rather than a product of x and e²ˣ yields an incorrect derivative and a failed verification.	Identify products before differentiating. Write u = x, v = e²ˣ, then apply (uv)′ = u′v + uv′ explicitly.
Sign errors in trigonometric derivatives	d/dx(sin x) = cos x, but d/dx(cos x) = −sin x. Dropping the negative sign is the most common trig error.	Write out the derivative rules for sin and cos before you begin. Double-check every sign at the end.
Skipping the initial condition check	Showing that y satisfies the ODE is necessary but not sufficient for an IVP. Without confirming y(x₀) = y₀, you have not verified the particular solution.	After verifying the ODE, add a separate line: "Check IC: y(x₀) = … = y₀ ✓." This is worth a dedicated rubric point on the FRQ.
Substituting into only one side	Some students compute the LHS but forget to simplify or compare it to the RHS, leaving the verification incomplete.	Explicitly label LHS = … and RHS = … on separate lines, then state "LHS = RHS" as the concluding sentence.

Common verification pitfalls and strategies for avoiding them

✦

KEY TAKEAWAY

Verification errors are almost always differentiation errors in disguise. If you can differentiate accurately—applying the chain rule, product rule, and quotient rule with confidence—verification becomes a purely mechanical task. Think of it like proofreading your own writing: the skill is not new, but the careful, systematic attention to detail is what distinguishes error-free work.

SECTION 8

Connection to Advanced Theory

Verification is the gateway skill that connects several advanced topics in the AP Calculus BC curriculum and beyond. Understanding how verification fits into the larger framework of differential equations will deepen your appreciation for why this seemingly simple procedure matters so much.

Verification Skill	Advanced Extension
Substituting y and y′ into a first-order ODE	Solving separable and linear first-order ODEs (separation of variables, integrating factors). Verification confirms your solution after integration.
Checking that a general solution contains an arbitrary constant C	Existence and uniqueness theorems guarantee that the general solution of a first-order ODE has exactly one arbitrary constant. Verification confirms the structure.
Verifying initial conditions	Boundary value problems in physics and engineering, where conditions are imposed at two different points rather than one. Verification at multiple points extends the IVP check.
Substituting power series into an ODE	Power series solutions and Taylor/Maclaurin series for DEs (Topic 10.16 in AP BC). You verify term-by-term that the series satisfies the ODE by equating coefficients.
Verifying solutions to second-order ODEs	Linear algebra and systems of ODEs in multivariable calculus. The concept of linear independence of solutions (the Wronskian) extends verification to vector-valued settings.

How verification connects to advanced differential equations topics

Looking ahead, the verification paradigm—propose a candidate, test it against constraints—extends far beyond differential equations. In linear algebra, you verify eigenvectors by checking Av = λv. In real analysis, you verify that a sequence converges by showing it satisfies the ε-definition. In all these cases, the philosophical structure is the same: a solution is only a solution if it satisfies the defining equation. Mastering verification in the ODE context builds the intellectual habit of rigorously checking answers that will serve you throughout higher mathematics.

SECTION 9

Practice Problems

Question 1: CONCEPTUAL

Which of the following best describes what it means to "verify" that a function y = g(x) is a solution to a differential equation?

A. Solve the differential equation from scratch and show that the answer matches g(x).
B. Substitute g(x) and its necessary derivatives into the equation and show the equation reduces to an identity.
C. Graph y = g(x) and visually confirm that it passes through the expected region of the slope field.
D. Evaluate g(x) at several specific x-values and confirm that each satisfies the differential equation.
E. Integrate both sides of the differential equation and compare with g(x).

Show answer (B)

Answer: B. Verification means substituting the candidate function and its required derivatives into the differential equation and showing that the equation becomes a true statement (an identity) for all x in the domain. Choice A describes solving, not verifying—these are distinct processes. Choice C is a visual heuristic that provides evidence but not a proof; slope field agreement does not constitute rigorous verification. Choice D tests only finitely many points and cannot confirm the equation holds for all x; a non-solution could coincidentally satisfy the equation at isolated points. Choice E describes an integration-based approach to solving, not verifying.

Question 2: BASIC CALCULATION

Consider the differential equation dy/dx = 3y. Which of the following is a solution?

A. y = e⁴ˣ
B. y = 3eˣ
C. y = 5e³ˣ
D. y = 3x · eˣ
E. y = e³ˣ + 1

Show answer (C)

Answer: C. To verify a solution to dy/dx = 3y, compute the derivative of each candidate and check whether it equals 3 times the function. Choice A: y = e⁴ˣ gives dy/dx = 4e⁴ˣ and 3y = 3e⁴ˣ. Since 4e⁴ˣ ≠ 3e⁴ˣ, A fails. Choice B: y = 3eˣ gives dy/dx = 3eˣ and 3y = 9eˣ. Since 3eˣ ≠ 9eˣ, B fails. Choice C: y = 5e³ˣ gives dy/dx = 5 · 3e³ˣ = 15e³ˣ and 3y = 3(5e³ˣ) = 15e³ˣ. Since dy/dx = 3y holds for all x, C is a solution. Choice D: y = 3x · eˣ gives dy/dx = 3eˣ + 3xeˣ and 3y = 9xeˣ. Since 3eˣ + 3xeˣ ≠ 9xeˣ, D fails. Choice E: y = e³ˣ + 1 gives dy/dx = 3e³ˣ and 3y = 3e³ˣ + 3. Since 3e³ˣ ≠ 3e³ˣ + 3, E fails. Only Choice C satisfies the differential equation.

Question 3: INTERMEDIATE

Is y = cos(2x) + 3sin(2x) a solution to the differential equation y″ + 4y = 0?

A. Yes, because y″ = −4cos(2x) − 12sin(2x) and y″ + 4y simplifies to 0.
B. Yes, because y″ = −cos(2x) − 3sin(2x) and y″ + 4y simplifies to 3y.
C. No, because the chain rule produces a factor of 2 that prevents cancellation.
D. No, because y″ = 4cos(2x) + 12sin(2x), so y″ + 4y = 8cos(2x) + 24sin(2x) ≠ 0.
E. Yes, but only if the initial condition y(0) = 1 is also satisfied.

Show answer (A)

Answer: A. Compute y′ = −2sin(2x) + 6cos(2x) using the chain rule (factor of 2 from the inner function). Then y″ = −4cos(2x) − 12sin(2x). Substitute: y″ + 4y = (−4cos(2x) − 12sin(2x)) + 4(cos(2x) + 3sin(2x)) = (−4 + 4)cos(2x) + (−12 + 12)sin(2x) = 0. The identity holds, so y is a solution. Choice B incorrectly computes y″ by omitting the chain rule factor of 2 (getting −1 instead of −4 and −3 instead of −12). Choice C claims the chain rule prevents cancellation, but in fact the factor of 2 is applied twice (once for each derivative), producing the factor of 4 that matches the coefficient in the ODE. Choice D assigns the wrong sign to y″. Choice E conflates verifying a general solution with verifying a particular solution; no initial condition was given in the problem.

Question 4: APPLIED

5 pts

A population P(t) is modeled by the logistic differential equation dP/dt = 0.5P(1 − P/1000), with P(0) = 200. The proposed particular solution is P(t) = 1000/(1 + 4e^−0.5t). (a) Verify that P(t) satisfies the initial condition P(0) = 200. (b) Compute dP/dt. (c) Show that 0.5P(1 − P/1000) simplifies to the same expression as dP/dt, thereby verifying that P(t) is a solution. (d) What is lim(t→∞) P(t), and explain its significance in the context of the model.

Show answer

Rubric (5 points): Point 1 — Initial condition check: P(0) = 1000/(1 + 4e⁰) = 1000/(1 + 4) = 1000/5 = 200 = P₀ ✓. Award 1 point for correctly evaluating P(0) and confirming it equals 200. Point 2 — Computing dP/dt: Write P = 1000

(1 + 4e^{−0.5t})^{−1}

. By the chain rule, dP/dt = 1000 · (−1)

(1 + 4e^{−0.5t})^{−2}

· 4(−0.5)

e^{−0.5t}

= 1000 ·

2e^{−0.5t}

/ (1 +

4e^{−0.5t}

)². Award 1 point for a correct derivative with proper chain rule application. Point 3 — Computing 0.5P(1 − P/1000): First, 1 − P/1000 = 1 − 1/(1 +

4e^{−0.5t}

) =

4e^{−0.5t}

/(1 +

4e^{−0.5t}

). Then 0.5P(1 − P/1000) = 0.5 · [1000/(1 +

4e^{−0.5t}

)] · [

4e^{−0.5t}

/(1 +

4e^{−0.5t}

)] =

2000e^{−0.5t}

/ (1 +

4e^{−0.5t}

)² = 1000 ·

2e^{−0.5t}

/(1 +

4e^{−0.5t}

)². Award 1 point for correctly computing the RHS of the ODE. Point 4 — Establishing the identity: Since dP/dt = 1000 ·

2e^{−0.5t}

/(1 +

4e^{−0.5t}

)² = 0.5P(1 − P/1000), the ODE is satisfied identically for all t ≥ 0. Combined with the initial condition, P(t) is verified as the particular solution. Award 1 point for explicitly stating the two sides are equal and concluding the verification. Point 5 — Limit and interpretation: As t → ∞,

e^{−0.5t}

→ 0, so P(t) → 1000/(1 + 0) = 1000. This is the carrying capacity of the population model: the maximum sustainable population size under the logistic growth assumption. Award 1 point for correct limit computation and meaningful contextual interpretation.

Question 5: CRITICAL THINKING

3 pts

A student claims that y = e^x + e^−x is a solution to the differential equation y″ − y = 0 and also to y′ − y = 0. Is the student correct on both counts? Justify your answers using the verification procedure.

Show answer

Rubric (3 points): Point 1 — Correct derivatives: Compute y′ = eˣ −

e^{−x}

and y″ = eˣ +

e^{−x}

. Award 1 point for both correct derivatives. Point 2 — Verification of y″ − y = 0: y″ − y = (eˣ +

e^{−x}

) − (eˣ +

e^{−x}

) = 0 ✓. The student is correct that y = eˣ +

e^{−x}

satisfies y″ − y = 0. Award 1 point. Point 3 — Verification of y′ − y = 0 (fails): y′ − y = (eˣ −

e^{−x}

) − (eˣ +

e^{−x}

) = −

2e^{−x}

≠ 0. Since the expression does not simplify to zero, y = eˣ +

e^{−x}

is NOT a solution to y′ − y = 0. The student is incorrect on the second claim. This illustrates that a function may satisfy one differential equation but not another, even when both equations involve the same function and its derivatives. Award 1 point for correct substitution, simplification, and the explicit conclusion that the claim fails.

SUMMARY

Lesson Summary

Summary

Verifying a solution to a differential equation means substituting the candidate function and its required derivatives into the equation and simplifying to show that both sides are identically equal. This process relies on differentiation rules (chain rule, product rule, quotient rule) and algebraic simplification. For an initial value problem, a second check confirms that the candidate satisfies the initial condition y(x₀) = y₀.

The key steps are: (1) identify the ODE and candidate, (2) compute all necessary derivatives, (3) substitute into the ODE, (4) simplify and confirm the identity, and (5) check any initial conditions. Common pitfalls include chain rule omissions, sign errors in trigonometric derivatives, and neglecting the initial condition check. This foundational skill connects directly to solving differential equations, power series solutions, and the broader mathematical habit of rigorously confirming results.