Verifying DE Solutions — Verifying Solutions for Differential Equations - Calculus 2

SECTION 1

Historical Context & Motivation

The study of differential equations stretches back to the very origins of calculus itself, when Newton and Leibniz first grappled with relationships between functions and their rates of change. From the motion of celestial bodies to the flow of heat through a metal rod, differential equations have always served as the mathematical language of dynamic processes. Yet writing down a differential equation is only half the battle — one must also determine whether a proposed function actually satisfies it. This problem of verification has been central to the discipline since its inception, providing the logical assurance that a candidate solution is genuinely correct before it is applied to engineering or scientific contexts.

1687 • Newton's Principia

Isaac Newton published the Principia Mathematica, using differential equations to describe gravitational motion. Verification was implicit: solutions had to match observed planetary orbits.

1736 • Euler's Mechanica

Leonhard Euler systematized the solution of ordinary differential equations and emphasized the importance of substituting proposed solutions back into the original equation to confirm their validity.

1822 • Fourier's Analytical Theory of Heat

Joseph Fourier showed that infinite series of trigonometric functions could solve the heat equation, making verification a non-trivial exercise requiring term-by-term differentiation of series.

1890s • Existence and Uniqueness Theorems

Picard, Lindelöf, and others established rigorous conditions guaranteeing that solutions exist and are unique, grounding the verification process in formal analysis rather than mere substitution checks.

The fundamental question that verification answers is deceptively simple: does the candidate function, when substituted into the differential equation along with the required derivatives, reduce the equation to an identity? Without verification, you might apply a formula that was derived under incorrect assumptions, or you might have made an algebraic error during the solving process. Verification is your mathematical quality check, and it remains indispensable in every course and career that uses differential equations.

SECTION 2

Core Principles & Definitions

Before diving into the mechanics of verification, it is essential to establish the key definitions and foundational principles that underpin the process. A solution to a differential equation is a function (and possibly its derivatives) that, when substituted into the equation, transforms it into a true statement for every value in the domain of interest. The verification procedure is essentially a structured substitution: compute the necessary derivatives, plug everything into the original equation, and simplify to confirm that both sides are equal.

Ordinary Differential Equation (ODE)

An equation involving an unknown function of a single independent variable and one or more of its derivatives. Example: y′ + 2y = 0.

General vs. Particular Solution

A general solution contains arbitrary constants (e.g., y = Ce^−2x). A particular solution assigns specific values to those constants using initial or boundary conditions.

Verification by Substitution

The process of computing all required derivatives of the candidate function, substituting them into the DE, and simplifying to check whether an identity (e.g., 0 = 0) results.

Initial Conditions

Constraints of the form y(x₀) = y₀ that pin down the arbitrary constants in a general solution. Verification of a particular solution includes checking these conditions.

Implicit vs. Explicit Solutions

An explicit solution is y = f(x). An implicit solution is given by a relation F(x, y) = 0. Both can be verified, though implicit solutions require implicit differentiation.

✦

KEY TAKEAWAY

Think of verifying a differential equation solution the way a locksmith tests a key: the differential equation is the lock, the candidate function is the key. You don't need to know how the key was made — you just insert it (substitute), turn it (differentiate and simplify), and see whether it opens the lock (produces an identity). If both sides of the equation match, the key fits.

SECTION 3

Visual Explanation — The Verification Workflow

The verification process can be visualized as a flowchart that begins with the differential equation and the proposed solution and ends with a definitive verdict. The diagram below outlines each stage of this workflow, highlighting the branching logic: if the substitution yields an identity, the function is a valid solution; if not, it is rejected.

The verification workflow proceeds linearly: identify the equation and candidate, differentiate, substitute, simplify, and compare. The diamond decision node determines whether the substitution yields an identity (valid solution) or a contradiction (not a solution). If initial conditions are present, they must be checked separately.

Notice that the flowchart is entirely mechanical — there is no creative step. Verification does not require you to solve the differential equation; it only requires careful differentiation and algebraic simplification. This makes it an ideal starting point for learning about differential equations, because it reinforces the meaning of what a "solution" actually is before you develop techniques for finding one.

SECTION 4

Mathematical Framework

Formally, consider an nth-order ordinary differential equation written in the general form below. A function y = φ(x) is called a solution on an interval I if φ is n-times differentiable on I and the equation becomes an identity when y and its derivatives are replaced by φ and its corresponding derivatives for every x in I.

GENERAL ODE FORM

F(x, y, y′, y″, …, y⁽ⁿ⁾) = 0

F is a given function of the independent variable x, the unknown function y, and its first n derivatives. The order n is the highest derivative that appears.

VERIFICATION CONDITION

F(x, φ(x), φ′(x), φ″(x), …, φ⁽ⁿ⁾(x)) ≡ 0 for all x ∈ I

The symbol ≡ denotes an identity — the expression equals zero for every x in the interval I, not merely for isolated values. This is the precise criterion that separates a genuine solution from a function that happens to satisfy the equation at a few points.

Consider the simple first-order ODE y′ + 2y = 0. A candidate solution is y = Ce^−2x. We compute y′ = −2Ce^−2x, then substitute: (−2Ce^−2x) + 2(Ce^−2x) = 0, which simplifies to 0 = 0 for all x. The candidate is therefore a valid general solution because it satisfies the ODE for every real value of x and every choice of the constant C.

INITIAL-VALUE PROBLEM (IVP)

y′ = f(x, y), y(x₀) = y₀

To verify a solution to an IVP, two checks are needed: (1) substitute into the DE to confirm the identity, and (2) evaluate the candidate at x = x₀ to confirm that y(x₀) = y₀.

⚠

Common Pitfall

Students sometimes verify a DE solution at only a single point. Remember: the equation must hold for all x in the interval, not just one particular value. Algebraic simplification must yield a universal identity such as 0 = 0 or an expression that is trivially true everywhere.

SECTION 5

Types of Verification Scenarios

Not every verification problem looks the same. The candidate solution might be explicit or implicit, the equation might be first-order or higher-order, and the solution might contain arbitrary constants or specific values dictated by initial conditions. The diagram below classifies the most common scenarios you will encounter and highlights the distinguishing features of each.

The classification tree shows that verification scenarios vary along two axes: the form of the solution (explicit, implicit, or with initial conditions) and the order of the differential equation (first, second, or higher). Each combination requires slightly different computational techniques, but the core logic remains the same — substitute and simplify.

Scenario	Key Technique	Example DE
Explicit, first-order	Direct differentiation, then substitute y and y′	y′ = 3x², y = x³ + C
Explicit, second-order	Compute y′ and y″, substitute all three into the DE	y″ + 9y = 0, y = A sin 3x + B cos 3x
Implicit solution	Implicit differentiation to obtain y′, then substitute	x² + y² = C, x + y y′ = 0
IVP verification	Verify the DE identity and then check y(x₀) = y₀	y′ = y, y(0) = 5 → y = 5eˣ

Common verification scenarios with representative examples

SECTION 6

Worked Example — Second-Order ODE Verification

Let us verify that y = 3 sin 2x − 4 cos 2x is a solution to the second-order differential equation y″ + 4y = 0. This example requires computing both the first and second derivatives, substituting into the equation, and confirming the resulting identity.

Verify: y = 3 sin 2x − 4 cos 2x solves y″ + 4y = 0

1
Step 1 — State the DE and the Candidate Solution

We are given the differential equation y″ + 4y = 0 and the candidate function y = 3 sin 2x − 4 cos 2x. Our goal is to show that substituting this y (along with y″) into the left-hand side produces 0 for all x.
2
Step 2 — Compute the First Derivative y′

Differentiating term by term using the chain rule: y′ = 3(2 cos 2x) − 4(−2 sin 2x) = 6 cos 2x + 8 sin 2x.

y′ = 6 cos 2x + 8 sin 2x
3
Step 3 — Compute the Second Derivative y″

Differentiating y′: y″ = 6(−2 sin 2x) + 8(2 cos 2x) = −12 sin 2x + 16 cos 2x.

y″ = −12 sin 2x + 16 cos 2x
4
Step 4 — Substitute into the DE

Substituting y″ and y into y″ + 4y: (−12 sin 2x + 16 cos 2x) + 4(3 sin 2x − 4 cos 2x). Distribute the 4: −12 sin 2x + 16 cos 2x + 12 sin 2x − 16 cos 2x.
5
Step 5 — Simplify and Conclude

Combining like terms: (−12 + 12) sin 2x + (16 − 16) cos 2x = 0 sin 2x + 0 cos 2x = 0. Since the left-hand side equals 0 for all x, the equation y″ + 4y = 0 is satisfied identically.

0 = 0 ✓ — y = 3 sin 2x − 4 cos 2x is a valid solution.

💡

Why This Works

The key structural insight is that differentiating sin 2x twice gives −4 sin 2x, and differentiating cos 2x twice gives −4 cos 2x. Therefore, y″ = −4y for any linear combination of sin 2x and cos 2x, which means y″ + 4y = −4y + 4y = 0 automatically. The specific coefficients 3 and −4 are irrelevant to the verification — any constants A and B would work, confirming this is a general solution.

SECTION 7

Common Mistakes & Verification Tips

While the verification procedure itself is straightforward, students frequently make errors that lead to false conclusions — either accepting an incorrect solution or rejecting a correct one. The table below catalogs the most common pitfalls alongside practical strategies for avoiding them.

Common Mistake	Why It Happens	How to Avoid It
Forgetting the chain rule	When y involves a composite function like e^−3x, students differentiate the outer function but omit the inner derivative.	Always write out the chain rule explicitly: d/dx[e^u] = e^u · u′.
Sign errors in derivatives	Repeated differentiation of trig functions cycles through signs: sin → cos → −sin → −cos. Missing a sign flip is extremely common.	Write each differentiation step on a separate line and double-check the sign pattern for sine and cosine.
Incorrect implicit differentiation	When y is defined implicitly, students forget to apply dy/dx (the chain rule on y terms).	Every time you differentiate a y-term with respect to x, append a factor of y′.
Checking only at a single point	A function might satisfy the DE at x = 0 without being a solution on an interval.	Always carry out full algebraic simplification to show the identity holds for all x, not just substituting a numerical value.
Ignoring initial conditions	A function can satisfy the DE but fail the initial condition, meaning it is not a solution to the IVP.	Treat DE verification and IC verification as two separate, equally necessary checks.

Five common verification errors and their remedies

✦

KEY TAKEAWAY

Verification is like proofreading an essay: the creative work (solving the DE) is already done, but you need a careful, methodical review to catch errors. Just as a spell-checker alone won't catch grammar mistakes, plugging in a single point won't catch a global error. You must simplify the entire expression algebraically to confirm the identity holds everywhere.

SECTION 8

Connection to Solving & Advanced Theory

Verification is the logical complement of solving. While solution methods — separation of variables, integrating factors, characteristic equations — generate candidate functions, verification confirms their correctness. As you progress to more advanced topics, the relationship between these two activities deepens. In particular, the existence and uniqueness theorem (Picard–Lindelöf) guarantees that under certain continuity conditions, an initial value problem has exactly one solution. Once you find a solution and verify it, the theorem tells you there is no other — a powerful result that makes verification even more meaningful.

Concept	Role of Verification
Separation of Variables	Verify that the antiderivative computation and algebraic rearrangement produced a correct explicit or implicit solution.
Integrating Factors	Verify that the chosen integrating factor actually made the equation exact and that subsequent integration was error-free.
Characteristic Equation (2nd-order linear)	Verify that eʳˣ (or x·eʳˣ for repeated roots, or eᵅˣ sin βx / cos βx for complex roots) satisfies the original ODE.
Laplace Transforms	After inverting back to the time domain, verify the resulting function satisfies the original ODE and all initial conditions.
Numerical Methods (Euler, Runge–Kutta)	Numerical solutions cannot be verified algebraically, but can be checked against known analytical solutions for validation or by computing residuals.

How verification connects to various solution techniques

Looking forward, the idea of substitution-based verification generalizes to partial differential equations (PDEs), where you must take partial derivatives and verify identities in multiple variables. It also connects to the notion of a residual in numerical analysis: when an approximate solution is substituted into a DE, the result is not exactly zero but a small residual that quantifies the approximation error. Mastering algebraic verification now builds the conceptual foundation for these more sophisticated analyses.

SECTION 9

Practice Problems

Question 1: CONCEPTUAL

Explain in your own words what it means for a function y = φ(x) to be a "solution" to a differential equation. Why is substituting into the equation and simplifying to an identity sufficient to establish this?

Show answer

A function y = φ(x) is a solution to a differential equation on an interval I if, after computing all required derivatives of φ and replacing y, y′, y″, etc. in the equation with φ, φ′, φ″, etc., the equation reduces to a universally true statement (an identity such as 0 = 0) for every x ∈ I. This is sufficient because the definition of a solution is precisely that the equation is satisfied identically — substitution and simplification directly test this definition. Importantly, the identity must hold for all x in the interval, not just at isolated points.

Question 2: BASIC CALCULATION

Verify that y = e^5x is a solution to the differential equation y′ − 5y = 0.

Show answer

First compute y′: since y = e⁵ˣ, we have y′ = 5e⁵ˣ. Now substitute into the DE: y′ − 5y = 5e⁵ˣ − 5(e⁵ˣ) = 5e⁵ˣ − 5e⁵ˣ = 0. Since the left-hand side simplifies to 0 for all x, the equation y′ − 5y = 0 is satisfied identically, confirming that y = e⁵ˣ is indeed a solution.

Question 3: INTERMEDIATE

Verify that y = C₁e²ˣ + C₂e⁻³ˣ is the general solution to the second-order ODE y″ + y′ − 6y = 0 for arbitrary constants C₁ and C₂.

Show answer

Compute y′ = 2C₁e²ˣ − 3C₂e⁻³ˣ and y″ = 4C₁e²ˣ + 9C₂e⁻³ˣ. Substitute into y″ + y′ − 6y: (4C₁e²ˣ + 9C₂e⁻³ˣ) + (2C₁e²ˣ − 3C₂e⁻³ˣ) − 6(C₁e²ˣ + C₂e⁻³ˣ). Group by exponential: the e²ˣ terms give (4 + 2 − 6)C₁e²ˣ = 0, and the e⁻³ˣ terms give (9 − 3 − 6)C₂e⁻³ˣ = 0. Both groups vanish for all x and for any C₁, C₂, so the function is a valid general solution. The two linearly independent solutions e²ˣ and e⁻³ˣ correspond to the roots r = 2 and r = −3 of the characteristic equation r² + r − 6 = 0.

Question 4: APPLIED

A radioactive substance decays according to dN/dt = −λN with N(0) = N₀. A physicist proposes the solution N(t) = N₀e⁻λᵗ. Verify that this function satisfies both the differential equation and the initial condition.

Show answer

Step 1 (DE check): Compute dN/dt = N₀(−λ)e⁻λᵗ = −λN₀e⁻λᵗ. Compare with −λN = −λ(N₀e⁻λᵗ) = −λN₀e⁻λᵗ. Since dN/dt = −λN for all t, the differential equation is satisfied identically. Step 2 (IC check): Evaluate N(0) = N₀e⁻λ(0) = N₀e⁰ = N₀, which matches the initial condition N(0) = N₀. Both checks pass, so N(t) = N₀e⁻λᵗ is the particular solution to this IVP. This exponential decay model is foundational in nuclear physics, pharmacokinetics, and carbon dating.

Question 5: CRITICAL THINKING

Consider the ODE y′ = 2√y with the proposed solution y = (x + C)² for x + C ≥ 0. Verify this solution. Then observe that y = 0 (the trivial function) also satisfies the DE. Does this contradict the uniqueness theorem? Explain, paying attention to the hypotheses of the Picard–Lindelöf theorem.

Show answer

Verification: Let y = (x + C)². Then y′ = 2(x + C) and 2√y = 2√((x + C)²) = 2|x + C| = 2(x + C) when x + C ≥ 0. So y′ = 2√y ✓. For y ≡ 0, we have y′ = 0 and 2√0 = 0, so 0 = 0 ✓. This does not contradict the uniqueness theorem because the Picard–Lindelöf theorem requires f(x, y) = 2√y to have a continuous partial derivative ∂f/∂y in a neighborhood of the initial point. Here ∂f/∂y = 1/√y, which is discontinuous (undefined) at y = 0. Since the Lipschitz/continuity condition fails at y = 0, uniqueness is not guaranteed there, and multiple solutions can (and do) pass through points where y = 0. This is a classic example illustrating that existence of a solution does not imply uniqueness when the hypotheses of the theorem are violated.

SUMMARY

Lesson Summary

Summary

Verifying a differential equation solution is the process of confirming that a candidate function satisfies a given DE by computing the required derivatives, substituting them into the equation, and simplifying to show that the result is an identity — a statement true for all values of the independent variable. For initial value problems, an additional check is needed: evaluating the candidate at the specified initial point to confirm the initial condition is satisfied.

Whether the solution is explicit (y = f(x)) or implicit (F(x, y) = 0), the logic is the same: differentiate, substitute, simplify. Key pitfalls include chain rule errors, sign mistakes in trigonometric derivatives, and checking only at a single point rather than establishing a universal identity. Mastering verification builds the conceptual foundation for every subsequent topic in differential equations, from separation of variables to Laplace transforms and beyond.