Differential Equation Solution Condition: Testing a Candidate Function

On this page: The Principle | Conditions | Misconceptions | EE Questions | Retrieval Practice | Worked Example | Solve a Problem | Related Principles | FAQ

---

The Principle

Statement

A candidate function $\phi$ is a solution of a first-order explicit differential equation on an interval exactly when, after substituting $y=\phi(x)$ and $y^{\prime}=\phi^{\prime}(x)$, the equation becomes true for every $x$ in that interval:

$\phi^{\prime}(x)=F(x,\phi(x))$

Once an ODE is written in First-Order Explicit Differential Equation Form, this is the next check: does the proposed function make the slope rule true point by point on the claimed interval? A match at one $x$-value, after partial cancellation, or on only part of the interval is not enough.

Mathematical Form

$\phi^{\prime}(x)=F(x,\phi(x))$

Where:

• $\phi(x)$ = candidate function being tested
• $\phi^{\prime}(x)$ = derivative of the candidate function
• $F(x,\phi(x))$ = right-hand side of the differential equation after replacing $y$ with the candidate function

Why the interval matters

The word solution is always attached to an interval, not just to a bare formula. A candidate may satisfy the differential equation on $(0,\infty)$ but fail to count as a solution on all real numbers because the derivative or the substituted right-hand side breaks at a point such as $x=0$.

What the test is really checking

The solution condition is an identity check between two expressions in $x$: the derivative you compute from the candidate, and the right-hand side produced by feeding that same candidate into the ODE. If those expressions agree for every admissible $x$ on the working interval, the candidate is a solution there. If they disagree anywhere, it is not.

---

Conditions of Applicability

Condition: candidate function differentiable; substitution valid on working interval

Practical modeling notes

• Differentiable means the derivative required by the ODE exists everywhere on the interval you are claiming.
• Substitution valid means the right-hand side remains defined after you plug in the candidate function.
• The interval is part of the claim. A candidate can be a valid solution on one interval and an invalid global claim on a larger interval.

When It Doesn’t Apply

This solution test fails in three main ways:

• No derivative available: the candidate is not differentiable somewhere on the claimed interval, so the left-hand side of the ODE is not defined there.
• Substitution breaks the right-hand side: plugging the candidate into the ODE creates a division by zero, branch issue, or other domain failure inside the claimed interval.
• Equality holds only locally: the candidate matches the ODE at one point or on one side of a singular point, but not across the full interval being claimed.

Want the complete framework behind this guide? Read Masterful Learning.

---

Common Misconceptions

Misconception 1: “If the candidate works at one point, it is a solution”

The truth: A solution claim is interval-wide. The substituted equation must hold for every admissible $x$ on the working interval.

Why this matters: Single-point agreement only tells you that the slope rule matches there. It does not certify the whole function.

Misconception 2: “I only need to substitute the function, not its derivative”

The truth: The solution condition compares both sides of the ODE: the derivative computed from the candidate and the right-hand side after substitution.

Why this matters: If you skip the derivative check, you are not testing the differential equation itself.

Misconception 3: “A formula either solves the ODE everywhere or nowhere”

The truth: Many candidates solve on some intervals but not on others because differentiability or substitution can fail at isolated points.

Why this matters: In differential equations, the interval is part of the mathematical object you are naming.

---

Elaborative Encoding

Use these questions to build deep understanding. (See Elaborative Encoding for the full method.)

Within the Principle

• In $\phi^{\prime}(x)=F(x,\phi(x))$, why must the same candidate function appear on both sides of the test?
• What is the difference between a point where the equality happens to hold and an interval where the equality is an identity?

For the Principle

• When a candidate looks correct algebraically, what extra check tells you whether the claimed working interval is still valid?
• Why is differentiability listed separately from substitution validity instead of being folded into one vague condition?

Between Principles

• How is checking one candidate function against an ODE different from describing a whole general solution family $y=\phi(x;C)$?

Generate an Example

• Give one candidate that solves a differential equation on $(0,\infty)$ but not on all real numbers. What single point or feature breaks the larger claim?

---

Retrieval Practice

Answer from memory, then click to reveal and check. (See Retrieval Practice for the full method.)

State the principle in words: _____A candidate function counts as a solution exactly when substitution makes the first-order explicit differential equation true on the working interval.

Write the canonical equation: _____$\phi^{\prime}(x)=F(x,\phi(x))$

State the canonical condition: _____candidate function differentiable; substitution valid on working interval

---

Worked Example

Use this worked example to practice Self-Explanation.

Problem

Determine whether the candidate function $\phi(x)=3e^{2x}$ solves the differential equation $y^{\prime}=2y$ on $\mathbb{R}$.

Step 1: Verbal Decoding

Target: whether $\phi(x)$ is a solution on $\mathbb{R}$
Given: $x$, $\phi(x)$
Constraints: candidate must be differentiable on the claimed interval; substitution must make the ODE true for every $x$

Step 2: Visual Decoding

Draw axes and sketch the increasing exponential curve $y=3e^{2x}$. Mark two sample points and draw tangent segments that get steeper as the curve rises. Label each tangent slope as twice the current height. (The ODE says the local slope should equal $2y$ at every point of the curve.)

Step 3: Mathematical Modeling

1. $\phi^{\prime}(x)=2\phi(x)$

Step 4: Mathematical Procedures

1. $\phi^{\prime}(x)=\frac{d}{dx}\left(3e^{2x}\right)$
2. $\phi^{\prime}(x)=6e^{2x}$
3. $2\phi(x)=2\left(3e^{2x}\right)$
4. $2\phi(x)=6e^{2x}$
5. $\underline{\phi^{\prime}(x)=2\phi(x)\quad\text{for all }x\in\mathbb{R}}$
6. Therefore, $\phi(x)=3e^{2x}$ is a solution on $\mathbb{R}$.

Step 5: Reflection

• Verification: the derivative and the substituted right-hand side reduce to the same expression for every real $x$.
• Graphical meaning: the tangent slope at each point on the curve is exactly twice the curve height there.
• Connection to concept: this problem is solved by testing an interval-wide identity, not by finding a new formula.

---

Before moving on: self-explain the model

Try explaining Step 3 out loud (or in writing): why the test uses the candidate on both sides, why matching expressions in $x$ is stronger than checking a single point, and why that is enough to certify the candidate on the claimed interval.

Mathematical model with explanation

Principle: Differential Equation Solution Condition — $\phi^{\prime}(x)=F(x,\phi(x))$.

Conditions: candidate function differentiable; substitution valid on working interval.

Relevance: The problem gives a candidate function and asks whether it really satisfies the ODE on the claimed interval.

Description: The candidate $\phi(x)=3e^{2x}$ is differentiable for every real $x$. Its derivative is $6e^{2x}$, and substituting the same candidate into the right-hand side $2y$ also gives $6e^{2x}$. Because the equality holds for every $x\in\mathbb{R}$, the candidate is a genuine solution on that interval.

Goal: Test a specific function against the differential equation and the claimed interval.

---

Solve a Problem

Apply what you’ve learned with Problem Solving.

Problem

Determine whether the candidate function $\phi(x)=\frac{1}{x}$ solves the differential equation $y^{\prime}=-y^2$ on $\mathbb{R}$. If not, name intervals where the claim is valid.

Hint (if needed): Differentiate the candidate, substitute it into the right-hand side, and then inspect where both sides are defined.

Show Solution

Step 1: Verbal Decoding

Target: whether $\phi(x)$ is a solution on $\mathbb{R}$; valid working intervals
Given: $x$, $\phi(x)$
Constraints: candidate must be differentiable where claimed; substitution must stay valid on the interval

Step 2: Visual Decoding

Draw a number line for $x$ with a break at $x=0$, then sketch the two branches of $y=1/x$ on coordinate axes. Mark that any interval claim crossing $x=0$ is suspect because both the candidate and the substituted right-hand side break there. (The equality can hold on each side without creating one valid interval through the singular point.)

Step 3: Mathematical Modeling

1. $\phi^{\prime}(x)=-\phi(x)^2$

Step 4: Mathematical Procedures

1. $\phi^{\prime}(x)=\frac{d}{dx}\left(x^{-1}\right)$
2. $\phi^{\prime}(x)=-x^{-2}$
3. $-\phi(x)^2=-\left(\frac{1}{x}\right)^2$
4. $-\phi(x)^2=-x^{-2}$
5. $\underline{\phi^{\prime}(x)=-\phi(x)^2\quad\text{for }x\neq 0}$
6. Therefore, $\phi(x)=1/x$ is a solution on $(-\infty,0)$ and $(0,\infty)$, but not on $\mathbb{R}$.

Step 5: Reflection

• Domain check: the claim fails on $\mathbb{R}$ because the candidate and the substituted equation both break at $x=0$.
• Verification: away from $x=0$, both sides simplify to the same expression $-x^{-2}$.
• Connection to concept: solving the ODE and naming a valid interval are separate parts of the same solution claim.

---

Related Principles

Principle	Relationship to Differential Equation Solution Condition
First-Order Explicit Differential Equation Form	The solution condition uses the explicit right-hand side $F(x,y)$ and asks whether a candidate function makes that slope rule true along the claimed interval.
General Solution Family Parameter	A general family proposes many candidates, but each admissible parameter choice still counts only if it satisfies the solution condition.
Initial Condition Particular Solution	An initial condition selects one member of a solution family, and that selected member is valid because it still satisfies the differential equation on its working interval.

See Differential Equations Subdomain for the full map, and Principle Structures for how structured principle sheets help you keep names, forms, conditions, and related ideas together.

---

FAQ

What does it mean for a function to solve a differential equation?

It means that after you substitute the candidate function and its derivative into the differential equation, the equation is true for every $x$ on the claimed interval.

Do I have to check every value of $x$ individually?

No. You usually simplify both sides into expressions in $x$ and check whether those expressions are identical on the working interval.

Can a function solve an ODE on one interval but not on all real numbers?

Yes. A candidate can satisfy the differential equation wherever it is differentiable and the substitution stays defined, yet fail as a global claim because of a singular point or domain break.

What if the candidate is not differentiable at one point?

Then it does not satisfy the solution condition on any interval that includes that point, because the left-hand side of the differential equation is not defined there.

How is this different from finding a general solution?

Finding a general solution produces a family of candidates. The solution condition is the test that tells you whether a particular candidate or family member really satisfies the differential equation on a specified interval.

---

Related Guides

• First-Order Explicit Differential Equation Form — Start with the broad slope-rule representation before testing candidate solutions against it
• Differential Equations Subdomain — Return to the full DE map and see where this solution test sits in the first-order lane
• Self-Explanation — Practice explaining why a candidate passes or fails instead of only doing the algebra
• Retrieval Practice — Build instant recall of the interval-wide solution test and its condition

---

How This Fits in Unisium

Within the differential equations subdomain, Unisium places Differential Equation Solution Condition immediately after First-Order Explicit Differential Equation Form because students often accept a plausible formula too early. The platform pairs this guide with elaborative encoding, retrieval practice, and worked examples that force you to test both the derivative and the substituted right-hand side on a valid interval before you move on to general solutions or initial conditions.

Ready to practice differential equations with structure? Check access and join the Unisium waitlist or see the broader framework in Masterful Learning.

Masterful Learning

The book behind these guides: a study system for physics, math, & programming built on retrieval, connection, explanation, and problem solving.

About the book →