CALCULUS 1 • DIFFERENTIAL EQUATIONS (INTRO)

Verifying DE Solutions — Verifying Solutions for Differential Equations

Learn how to confirm whether a proposed function truly satisfies a given differential equation.

Historical Context & Motivation

For centuries, mathematicians and scientists have used differential equations to describe how things change — from the motion of planets to the growth of populations. A differential equation is simply an equation that involves a function and its derivatives. But once someone proposes a solution, how can you be sure it actually works? This question of verification has been central to mathematics ever since the earliest differential equations appeared in the late 1600s.

1671
Newton's Method of Fluxions
Isaac Newton developed his method of "fluxions" (an early form of calculus) to study rates of change. He solved differential equations describing motion but often verified solutions by checking them against physical observations.
1686
Leibniz Publishes on Calculus
Gottfried Wilhelm Leibniz independently developed calculus and introduced the dy/dx notation still used today. His systematic notation made it easier to write, solve, and verify differential equations.
1740s
Euler's Systematic Approach
Leonhard Euler formalized techniques for solving many types of differential equations and emphasized the importance of substituting proposed solutions back into the original equation to confirm correctness.
1800s
Existence & Uniqueness Theorems
Mathematicians like Cauchy and Lipschitz proved theorems guaranteeing when solutions exist and when they are unique. Verification became a rigorous mathematical practice rather than just a practical check.

Today, verifying solutions is often the very first skill students learn when studying differential equations. Before you can solve DEs on your own, you need to understand what it means for a function to "satisfy" an equation. The core question is straightforward: if I plug this function into the differential equation, does the equation hold true?

Core Principles & Definitions

Before diving into verification, let's nail down a few essential definitions. A differential equation (DE) is an equation that relates a function to one or more of its derivatives. A solution to a DE is any function that, when substituted into the equation along with its derivatives, makes the equation a true statement. The process of confirming this is called verification.

1

Differential Equation

An equation containing an unknown function and at least one of its derivatives. For example, y' = 2x is a simple DE where y is the unknown function.
2

Solution of a DE

A function y = f(x) that makes the differential equation true for all x in its domain. Think of it like plugging a number into a regular equation — except now you're plugging in an entire function.
3

Verification Process

Compute all required derivatives of the proposed solution, substitute them into the DE, and simplify both sides. If you get a true statement (like 0 = 0), the function is verified as a solution.
4

General vs. Particular Solutions

A general solution contains an arbitrary constant (like C) and represents a family of solutions. A particular solution has a specific value of C, often determined by an initial condition.
KEY TAKEAWAY
Verifying a DE solution is like checking an answer key in algebra. If someone says x = 3 solves the equation 2x + 1 = 7, you plug in 3 to get 2(3) + 1 = 7 — true! With differential equations, you do the same thing, but instead of plugging in a number, you plug in a function and its derivatives. If both sides match, the function is a valid solution.

Visual Explanation

The Verification Flowchart

This flowchart shows the complete verification process. Start with the proposed solution, compute its derivatives, substitute into the DE, simplify, and check whether both sides are equal. A "yes" means the function is a valid solution; a "no" means it is not.

The flowchart above captures the entire verification strategy in four steps. Notice that you never need to solve the DE from scratch — you only need to take derivatives, substitute, and simplify. The diamond-shaped decision box at the bottom is the critical checkpoint: if both sides of the equation reduce to the same expression (or to a true statement like 0 = 0), then the proposed function is confirmed as a solution. If they don't match, the function fails the test.

Mathematical Framework

Let's set up the mathematical framework for verification. The idea is simple but powerful: given a differential equation and a proposed solution, you differentiate the proposed solution as many times as the DE requires, then substitute everything in and check.

GENERAL FIRST-ORDER DE
F(x, y, y') = 0
F is a function relating x, the unknown function y, and its first derivative y'. A solution is any function y = f(x) that makes this equation true for all x in its domain.
EXAMPLE DE
y' = 2x
This says "the derivative of y equals 2x." Proposed solution: y = x² + C, where C is an arbitrary constant. To verify, compute y' = 2x and confirm it matches the right side.
SECOND-ORDER DE EXAMPLE
y'' + y = 0
This says "the second derivative of y plus y itself equals zero." Proposed solution: y = sin(x). Compute y' = cos(x) and y'' = −sin(x). Then y'' + y = −sin(x) + sin(x) = 0. ✓ Verified!
VERIFICATION CONDITION
LHS = RHS (after substitution and simplification)
LHS = Left-Hand Side of the DE after substituting the proposed solution. RHS = Right-Hand Side. If they are identical, the function is a valid solution.
💡 Important Note
Verification does not require you to solve the DE. You are given both the equation and the proposed solution. Your job is only to check whether the proposed solution works. This is like grading a test — much easier than taking it!

Types of Differential Equations You'll Verify

Differential equations come in many forms, and the verification process adapts slightly depending on the type. Let's examine the most common types you'll encounter at this level and see how verification looks for each one.

Four common categories of DEs you'll verify. First-order DEs require computing one derivative, second-order DEs require two. General solutions include an arbitrary constant C, while initial-value problems specify a particular C.

As shown in the diagram, the verification process always follows the same core pattern, but the number of derivatives you compute varies. For first-order equations, you only need y'. For second-order equations, you need both y' and y''. When the problem includes an initial condition like y(0) = 5, you have an extra step: after verifying the DE itself, you must also confirm that the function passes through the specified point.

Worked Example

Example: Verify y = e²ˣ is a solution of y' − 2y = 0

Verify that y = e²ˣ satisfies the DE: y' − 2y = 0
1
Step 1 — Identify the DE and Proposed SolutionThe differential equation is y' − 2y = 0. The proposed solution is y = e2x. We need to check whether substituting this function into the DE gives a true statement.
DE: y' − 2y = 0 ; Proposed: y = e²ˣ
2
Step 2 — Compute the Required DerivativesThe DE contains y', so we need the first derivative. Using the chain rule: if y = e2x, then y' = 2e2x. The derivative of e2x is 2e2x because you multiply by the derivative of the exponent (which is 2).
y' = 2e²ˣ
3
Step 3 — Substitute into the DEReplace y' with 2e2x and y with e2x in the equation y' − 2y = 0. This gives us: 2e2x − 2(e2x) = 0.
2e²ˣ − 2e²ˣ = 0
4
Step 4 — Simplify and VerifySimplify the left side: 2e2x − 2e2x = 0. This is indeed 0 = 0, a true statement. Since the equation holds for all values of x, we have confirmed that y = e2x is a solution.
0 = 0 ✓ — y = e²ˣ is a verified solution!

Example 2: Verify y = x² + 3x with an Initial Condition

Verify y = x² + 3x solves y' = 2x + 3, with y(0) = 0
1
Step 1 — Compute y'Using the power rule, differentiating y = x² + 3x gives y' = 2x + 3.
y' = 2x + 3
2
Step 2 — Substitute into the DEThe DE says y' = 2x + 3. We computed y' = 2x + 3. Therefore: 2x + 3 = 2x + 3, which is true for all x.
2x + 3 = 2x + 3 ✓ DE verified
3
Step 3 — Check the Initial ConditionThe initial condition requires y(0) = 0. Substituting x = 0 into y = x² + 3x: y(0) = (0)² + 3(0) = 0. This matches the required value.
y(0) = 0 ✓ Initial condition verified. Complete solution confirmed!

Common Mistakes & How to Avoid Them

Verification is a straightforward process, but students often stumble on a few predictable mistakes. Knowing these pitfalls ahead of time can save you a lot of frustration on homework and exams.

Common verification mistakes and strategies for avoiding them
Common MistakeWhy It's WrongHow to Fix It
Forgetting the chain rule when differentiatingFor y = e3x, writing y' = e3x instead of 3e3x gives a wrong substitution.Always multiply by the derivative of the inner function. Double-check each derivative before substituting.
Trying to solve the DE instead of verifyingVerification doesn't require solving from scratch. Students waste time attempting integration techniques when only substitution is needed.Just differentiate the proposed solution, substitute into the DE, and simplify. That's it!
Forgetting to check the initial conditionEven if the DE is satisfied, the solution might not pass through the required point. Both checks are necessary for an IVP.After verifying the DE, always plug the initial x-value into y and confirm it equals the given y-value.
Sign errors during simplificationA misplaced negative sign can make a valid solution appear invalid (or vice versa). This is the most common arithmetic error.Write every step clearly. When distributing a negative, apply it to every term inside the parentheses.
KEY TAKEAWAY
Think of verifying a DE solution like using a GPS to check your route. You don't need to figure out how to get somewhere from scratch — you just need to confirm that the proposed route actually gets you to the destination. The "route" is the function, and the "destination" is the equation being satisfied. Differentiate, substitute, simplify, and check.

Connection to Solving DEs & Advanced Theory

Verification is the foundation, but it naturally leads to the bigger challenge: actually solving differential equations. Once you understand what makes a function a solution, you're ready to learn methods like separation of variables, integrating factors, and characteristic equations. The table below shows how verification connects to more advanced topics.

Verification vs. Solving: how this lesson connects to future topics
This Lesson (Verification)Next Steps (Solving)
Given a DE and a function, confirm it's a solutionGiven only a DE, find the function(s) that solve it
Use differentiation (compute derivatives)Use integration and algebraic techniques to build solutions
Check one specific functionFind the general solution (a whole family of functions)
Requires basic derivative rulesRequires integration techniques and strategic thinking
Always has a definite answer (yes or no)May require existence/uniqueness theorems to confirm a solution exists

In more advanced courses like Differential Equations (a college course), you'll encounter DEs that model real-world systems: spring-mass systems in physics, population dynamics in biology, and electrical circuits in engineering. In every case, verification remains a crucial skill. Even professional mathematicians verify their solutions after deriving them — it's the ultimate quality check.

Practice Problems

PROBLEM 1CONCEPTUAL
In your own words, explain what it means to "verify" a solution to a differential equation. How is this different from "solving" a differential equation?
PROBLEM 2BASIC CALCULATION
Verify that y = 3x² is a solution to the differential equation y' = 6x.
PROBLEM 3INTERMEDIATE
Verify that y = Ce−3x is a general solution to the DE y' + 3y = 0, where C is an arbitrary constant.
PROBLEM 4APPLIED
A biologist models a bacteria population with the DE dP/dt = 0.5P, where P is the population at time t (in hours). A colleague proposes that P(t) = 200e0.5t solves this DE with the initial condition P(0) = 200. Verify both the DE and the initial condition.
PROBLEM 5CRITICAL THINKING
Consider the DE y'' − y = 0. (a) Verify that y₁ = eˣ is a solution. (b) Verify that y₂ = e⁻ˣ is also a solution. (c) Show that y₃ = 5eˣ − 2e⁻ˣ is also a solution. What does this suggest about how solutions to linear DEs can be combined?

Lesson Summary

A differential equation relates a function to its derivatives, and verifying a solution means confirming that a proposed function actually satisfies the equation. The process has four steps: compute the required derivatives of the proposed solution, substitute them into the DE, simplify both sides, and check whether they are equal. If the equation reduces to a true statement like 0 = 0, the function is a valid solution.

Remember that a general solution contains an arbitrary constant C and represents a family of solutions, while a particular solution satisfies an initial condition that pins down a specific value of C. When verifying a solution to an initial-value problem, you must check both the DE and the initial condition. Verification requires only differentiation — never integration — making it an accessible and reliable tool for confirming solutions at every level of mathematics.

Varsity Tutors • Calculus 1 • Verifying DE Solutions