Historical Context & Motivation
Differential equations first appeared in the late 1600s, when mathematicians like Isaac Newton and Gottfried Wilhelm Leibniz developed calculus to describe rates of change in nature. As scientists proposed equations to model planetary motion, vibrating strings, and heat flow, a critical question arose: how can we be sure that a proposed solution actually works? Unlike algebra, where you can check an answer by plugging a number into an equation, differential equations involve entire functions as solutions. Verification by differentiation and substitution became the essential quality-control tool in mathematics.
The central question this lesson addresses is straightforward yet powerful: given a differential equation and a proposed solution, how do we prove that the solution is correct? The answer lies in the technique of differentiation and substitution — computing the necessary derivatives of the proposed solution and substituting everything back into the original equation to see if both sides match.
Core Principles & Definitions
Before diving into the process, you need to understand a few foundational ideas. A differential equation is an equation that relates a 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, makes the equation a true statement. Verification is the process of confirming this truth.
Differential Equation
Proposed Solution
Verification by Substitution
Identity vs. Conditional Equation
Visual Explanation
The following diagram illustrates the step-by-step verification process as a flowchart. Starting from the left with the differential equation and proposed solution, you follow the arrows through differentiation, substitution, and simplification to arrive at a final verdict.
Notice how the process is entirely mechanical — there is no guessing involved. You apply calculus rules to differentiate, algebra to substitute and simplify, and logic to compare. If after simplification both sides of the equation are identical expressions, then the proposed function is indeed a solution. This process works for any order of differential equation: first-order, second-order, or beyond. The only thing that changes is how many derivatives you need to compute.
Mathematical Framework
Let's formalize the verification process. Suppose you are given a first-order ordinary differential equation and a proposed solution. The framework below shows exactly what you compute and what you check.
Detailed Breakdown — First-Order vs. Second-Order Verification
The verification process follows the same logic regardless of the order of the differential equation, but the amount of work increases with higher orders. The diagram below compares a first-order verification (left) with a second-order verification (right), showing the additional differentiation step required.
| Feature | First-Order Verification | Second-Order Verification |
|---|---|---|
| Derivatives needed | One (y′) | Two (y′ and y″) |
| Substitution targets | Replace y and dy/dx | Replace y, dy/dx, and d²y/dx² |
| Common solution forms | Exponentials, simple polynomials | Sines, cosines, exponentials, combinations |
| Typical algebra difficulty | Low to moderate | Moderate to high |
Worked Example
Let's work through a complete verification problem from start to finish. We will verify that y = e2x is a solution to the differential equation y″ − 3y′ + 2y = 0.
Strengths & Limitations of Verification
Verification by differentiation and substitution is an extremely reliable technique, but it has both clear strengths and definite limitations. Understanding these will help you know when and how to apply the method effectively.
| Strengths | Limitations |
|---|---|
| 100% conclusive — if both sides match, the solution is definitely correct | Does not help you find a solution; it only checks one you already have |
| Works for any order of ODE (first, second, third, etc.) | Can be algebraically tedious for complex functions (e.g., products of trigonometric and exponential functions) |
| Requires only differentiation and algebra — no new techniques to learn | Does not tell you whether the solution is the general solution or just a particular one |
| Serves as a powerful error-checking tool on exams and homework | A successful verification does not guarantee uniqueness — other functions might also be solutions |
Connection to Advanced Topics
The verification technique you've learned here is the foundation for several more advanced ideas you'll encounter if you continue studying differential equations. Understanding how verification connects to these topics will help you see the bigger picture.
| This Lesson | Advanced Extension |
|---|---|
| Verify a single proposed solution | Verify a general solution containing arbitrary constants (e.g., y = C₁eˣ + C₂e²ˣ) |
| Check that a function satisfies an ODE | Apply initial conditions to determine specific constants (Initial Value Problems) |
| Verify by hand using differentiation rules | Use computer algebra systems (CAS) for automated symbolic verification |
| Substitute into a single equation | Verify solutions to systems of differential equations (multiple equations simultaneously) |
In future coursework, you will encounter existence and uniqueness theorems that guarantee when a differential equation has exactly one solution passing through a given point. Verification remains your primary tool for confirming that a specific function is that unique solution. The habit of always checking your answers by substitution will serve you well in every math and science course ahead.
Practice Problems
Now it's your turn. Work through these five problems in order, as they increase in difficulty. For each one, follow the full verification process: differentiate the proposed solution, substitute into the differential equation, simplify, and determine whether the solution is valid.
Lesson Summary
Verifying solutions to differential equations is the process of differentiating a proposed function as many times as necessary and then substituting both the function and its derivatives back into the original equation. If, after algebraic simplification, both sides of the equation are identical for all values of the independent variable, the solution is verified. This technique works for any order of ordinary differential equation — the only difference is how many derivatives you compute.
Key points to remember: verification is a tool for confirming correctness, not for discovering solutions. It relies on your knowledge of differentiation rules (power rule, chain rule, product rule) and careful algebra. For linear homogeneous equations, the Superposition Principle tells us that any linear combination of individual solutions is also a solution — and verification by substitution is how we prove it. Building the habit of always verifying your answers will strengthen both your confidence and your accuracy in differential equations.