# Verifying solutions for differential equations

> AP Calculus AB · Unit 7: Differential Equations
> Source: https://www.owlsprep.com/study/ap-calculus-ab-u7-verifying-solutions-for-differential-equations/

This sub-topic covers defining ordinary differential equations, verifying explicit general solutions, checking particular solutions with initial conditions, and verifying implicit solutions for first-order ODEs, a foundational skill for AP Calculus AB Unit 7.

**Prerequisites:** Basic differentiation rules and the chain rule; Implicit differentiation of bivariate relations; Notation for constants of integration

## Learning objectives

- Define differential equations and first-order ordinary differential equations
- Verify explicit general solutions to first-order ODEs
- Verify particular solutions by checking both the ODE and initial condition
- Verify implicit solutions to first-order ODEs using implicit differentiation

## Core Concepts of Differential Equation Solutions

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.

**First-Order Ordinary Differential Equation** — 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.

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

> **tip**
>
> Unlike solving a differential equation from scratch, verification only requires proficiency with differentiation, which makes it a straightforward point if you follow the correct process.

*Calculator:* forbidden

## Verifying Explicit Solutions

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:

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

**Worked example:** Verify that $y = 3e^{x^2}$ is a solution to the differential equation $\frac{dy}{dx} = 2xy$.

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 = 3e^{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{dy}{dx}$ equals the substituted RHS for all $x$, so the function is confirmed as a solution.

> **tip**
>
> On MCQs that ask which of four functions is a solution, you can save time by eliminating obviously wrong options after computing the derivative instead of checking every option fully.

*Calculator:* forbidden

## Verifying Particular Solutions with Initial Conditions

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{dy}{dx} = 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.

> **tip**
>
> If the question asks you to 'verify the particular solution', explicitly state that both checks are satisfied to earn full credit; graders do not assume unshown work is correct.

*Calculator:* forbidden

## Verifying Implicit Solutions

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{dy}{dx}$ 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 + 2xy = 10$ is an implicit solution to the differential equation $\frac{dy}{dx} = -\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 $2xy$:

   $$\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{dy}{dx}$:

   $$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.

> **tip**
>
> After rearranging to solve for $\frac{dy}{dx}$, double-check your sign when moving terms across the equals sign; sign errors are the most common mistake in implicit solution verification.

*Calculator:* forbidden

## AP-Style Concept Check

**Check your understanding**

Test your understanding with this multiple-choice question:

1. Which of the following functions is a solution to the differential equation $\frac{dy}{dx} = \frac{4y}{x}$ for $x > 0$?

   - A) $y = 4x$
   - B) $y = x^4$
   - C) $y = e^{4x}$
   - D) $y = 4e^x$

   *Why:* For option B, $\frac{dy}{dx} = 4x^3$, and substituting into the RHS gives $\frac{4y}{x} = \frac{4x^4}{x} = 4x^3$, which matches exactly. All other options fail the equality check.

*Calculator:* forbidden

## Common pitfalls

- **Wrong:** After finding $\frac{dy}{dx}$ for an explicit solution, stops at finding the derivative and does not compare it to the substituted right-hand side of the ODE
  - Why it fails: Students confuse the goal of verification, assuming finding the derivative alone is enough
  - Correct: Always substitute the original $y$ into the RHS of the ODE, then explicitly show that the two sides are equal
- **Wrong:** When verifying a particular solution, only checks that the function solves the ODE and skips checking the initial condition
  - Why it fails: Students assume the constant is already correct, so the initial condition check is unnecessary
  - Correct: Always complete both checks for a particular solution to earn full credit
- **Wrong:** During implicit differentiation, forget to multiply by $\frac{dy}{dx}$ when differentiating terms with $y$, getting $\frac{d}{dx}(y^2) = 2y$ instead of $2y \frac{dy}{dx}$
  - Why it fails: Students are accustomed to differentiating only functions of $x$, so they automatically drop the chain rule term
  - Correct: Multiply by $\frac{dy}{dx}$ immediately every time you differentiate a term containing $y$, before moving to the next term
- **Wrong:** When checking the initial condition $y(2) = 5$, substitutes $y=2$ for $x$ instead of $x=2$
  - Why it fails: Students misread standard initial condition notation, mixing up input and output
  - Correct: Remember $y(a) = b$ means 'when $x=a$, $y=b$', so always substitute $x=a$ into the solution to check for $y=b$
- **Wrong:** When verifying a general solution with arbitrary constant $C$, substitutes a random numerical value for $C$ instead of leaving it symbolic
  - Why it fails: Students think $C$ must have a numerical value to complete verification
  - Correct: $C$ will always cancel out when comparing sides, so leave it as a symbolic constant during the check
- **Wrong:** When substituting $y$ into an ODE RHS with multiple instances of $y$, misses one instance and leaves it as $y$ instead of substituting
  - Why it fails: Students overlook multiple $y$ terms in complicated ODEs like $\frac{dy}{dx} = xy + y^2$
  - Correct: Circle all instances of $y$ in the ODE RHS before substituting to ensure none are missed

## Cheatsheet

| Category | Step / Rule | Notes |
| --- | --- | --- |
| First-order ODE general form | $\frac{dy}{dx} = F(x,y)$ | Most common ODE type on AP Calculus AB, no higher derivatives |
| Explicit solution verification | 1. Compute $\frac{dy}{dx}$ from $y=f(x)$<br>2. Substitute $y$ into $F(x,y)$<br>3. Confirm equality | Works for $y$ written explicitly in terms of $x$ |
| Implicit solution verification | 1. Implicitly differentiate $G(x,y)=C$<br>2. Solve for $\frac{dy}{dx}$<br>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}{dx}[y^n] = n y^{n-1} \frac{dy}{dx}$ | Never forget the $\frac{dy}{dx}$ term |

## 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.

- [Sketching Slope Fields](https://www.owlsprep.com/study/ap-calculus-ab-u7-sketching-slope-fields/)
- [Reasoning using slope fields](https://www.owlsprep.com/study/ap-calculus-ab-u7-reasoning-using-slope-fields/)
- [General solutions via separation of variables](https://www.owlsprep.com/study/ap-calculus-ab-u7-general-solutions-via-separation-of/)

---

From [OwlsPrep](https://www.owlsprep.com) — free study guides for A-Level, IB, AP and IGCSE, written against the official syllabus. Canonical page: https://www.owlsprep.com/study/ap-calculus-ab-u7-verifying-solutions-for-differential-equations/