Verifying that a proposed function satisfies a differential equation is a fundamental skill in calculus and applied mathematics. That's why it answers a definitive question: does this specific function, when substituted into the relationship defined by the equation, make the statement true for all values in the domain? Still, unlike solving an equation—which often requires integration techniques, guesswork, or numerical methods—verification is a purely algebraic and differential process. This article provides a practical guide to the verification process, covering the theoretical basis, a systematic step-by-step workflow, detailed worked examples ranging from first-order to higher-order equations, and common pitfalls to avoid But it adds up..
The Core Concept: What Does "Solution" Actually Mean?
Before diving into the mechanics, Make sure you define the target. It matters. A differential equation (DE) is an equation involving an unknown function and its derivatives. A solution to a differential equation on an interval $I$ is a function $y = \phi(x)$ that possesses at least as many continuous derivatives as the order of the equation on $I$, and which reduces the differential equation to an identity when substituted into it It's one of those things that adds up. Simple as that..
And yeah — that's actually more nuanced than it sounds And that's really what it comes down to..
There is a critical distinction between a general solution and a particular solution. Also, * A general solution contains arbitrary constants (e. Still, g. Which means , $C_1, C_2$) equal to the order of the differential equation. It represents a family of functions Worth knowing..
- A particular solution is obtained by assigning specific values to these constants, often derived from initial conditions (Initial Value Problems) or boundary conditions (Boundary Value Problems).
This changes depending on context. Keep that in mind.
When asked to "verify that $y = \dots$ is a solution," you are usually handed a candidate function (either general or particular) and must prove it satisfies the DE. You are not being asked to derive the solution from scratch.
The Universal Verification Algorithm
The verification process follows a rigid, logical sequence. Mastering this workflow eliminates guesswork and prevents algebraic errors Worth keeping that in mind..
Step 1: Identify the Order and Required Derivatives
Look at the highest derivative present in the differential equation (e.g., $y'$, $y''$, $y'''$). This determines the order of the equation. You must compute derivatives of the candidate function $y(x)$ up to that order But it adds up..
- Example: If the DE is $y'' + 4y = 0$, it is second order. You must find $y'$ and $y''$.
Step 2: Compute Derivatives Carefully
Differentiate the proposed solution $y(x)$ successively. Use standard differentiation rules (Power Rule, Product Rule, Quotient Rule, Chain Rule, derivatives of trig/exponential/log functions).
- Pro Tip: Simplify each derivative before calculating the next one. A messy $y'$ leads to a disastrous $y''$.
- Domain Check: Ensure the function and its derivatives are defined on the same interval. If the candidate has a discontinuity (e.g., $y = 1/x$ at $x=0$) where the DE expects continuity, it is not a valid solution on an interval containing that point.
Step 3: Substitute into the Differential Equation
Replace every occurrence of $y$, $y'$, $y''$, etc., in the Left-Hand Side (LHS) of the differential equation with the corresponding expressions you derived in Step 2. Do not touch the Right-Hand Side (RHS) yet.
Step 4: Simplify the LHS Algebraically
Combine like terms, factor, cancel terms, and use trigonometric or exponential identities (e.g., $\sin^2 x + \cos^2 x = 1$, $e^{\ln x} = x$) to reduce the LHS to its simplest form Small thing, real impact. Nothing fancy..
Step 5: Compare LHS and RHS
- If LHS simplifies exactly to RHS (usually 0 for homogeneous equations, or a specific function $g(x)$ for non-homogeneous): Verification Successful. The function is a solution.
- If LHS $\neq$ RHS: The function is not a solution. Re-check your differentiation and algebra.
Step 6: Check Initial/Boundary Conditions (If Applicable)
If the problem includes initial conditions (e.g., $y(0)=1, y'(0)=0$), plug the independent variable values into your verified solution and its derivatives Small thing, real impact..
- If they match: It is a solution to the Initial Value Problem (IVP).
- If they fail: It solves the DE but not the specific IVP.
Worked Examples: From Basic to Advanced
The best way to internalize the algorithm is through diverse examples.
Example 1: First-Order Linear DE (Explicit Function)
Problem: Verify that $y = Ce^{3x} + 2$ is a solution to $y' - 3y = -6$.
Step 1: Order is 1. Need $y'$. Step 2: Differentiate $y$. $y = Ce^{3x} + 2$ $y' = 3Ce^{3x}$ Step 3: Substitute into LHS ($y' - 3y$). $\text{LHS} = (3Ce^{3x}) - 3(Ce^{3x} + 2)$ Step 4: Simplify. $\text{LHS} = 3Ce^{3x} - 3Ce^{3x} - 6 = -6$ Step 5: Compare to RHS ($-6$). $-6 = -6 \quad \checkmark$ Conclusion: The function is a general solution (contains arbitrary constant $C$).
Example 2: Second-Order Homogeneous DE (Trigonometric)
Problem: Verify that $y = c_1 \cos(2x) + c_2 \sin(2x)$ solves $y'' + 4y = 0$.
Step 1: Order is 2. Need $y'$ and $y''$. Step 2: Differentiate. $y' = -2c_1 \sin(2x) + 2c_2 \cos(2x)$ $y'' = -4c_1 \cos(2x) - 4c_2 \sin(2x)$ Notice: $y'' = -4(c_1 \cos(2x) + c_2 \sin(2x)) = -4y$. Step 3: Substitute into LHS ($y'' + 4y$). $\text{LHS} = [-4c_1 \cos(2x) - 4c_2 \sin(2x)] + 4[c_1 \cos(2x) + c_2 \sin(2x)]$ Step 4: Simplify. $\text{LHS} = -4c_1 \cos(2x) - 4c_2 \sin(2x) + 4c_1 \cos(2x) + 4c_2 \sin(2x) = 0$ Step 5: Compare to RHS ($0$). $0 = 0 \quad \checkmark$ Conclusion: Verified as a general solution.
Example 3: Initial Value Problem (IVP)
Problem: Verify $y = 3e^{2x} - e^{-x}$ solves the IVP: $y'' - y' - 2y = 0$, $y(0)=2$, $y'(0)=5$.
Step 1 & 2: Compute
