4.6.3 · D5Ordinary Differential Equations

Question bank — Separable ODEs — technique, implicit solutions

1,272 words6 min readBack to topic

True or false — justify

Every first-order ODE can be made separable by algebra.
False — has a sum on the right that never factors into a pure- times pure- product; you need integrating factors instead.
is separable.
True — the sum in the exponent splits: , so , ; an exponential of a sum is a product.
An implicit solution is a "second-class" answer you should always try to improve.
False — it is a fully valid solution; if isolating needs a quadratic formula it is often cleaner and more honest to stop at the implicit form.
A first-order separable ODE always has exactly one arbitrary constant in its general solution.
True — one integration on each side gives two constants, but they merge into a single ; the order of the ODE (here 1) fixes the count.
The step is legal because is literally a fraction of two small numbers.
False — is a limit, not a fraction; the split is valid shorthand for the substitution/chain-rule step .
Dividing by never changes the set of solutions.
False — if , the constant solves the ODE but division by erases it; those equilibrium solutions must be restored by hand.
.
False — it is ; the modulus is exactly what later lets the constant absorb a sign when you exponentiate.
For the constant is a solution that the family already contains.
True — here and , but is recovered by taking , so nothing is truly lost in this case (unlike the logistic).
is separable.
True — it is with and ; a quotient with pure- on top and pure- on the bottom still factors.
After integrating, you should write on the left and on the right to be safe.
False — that double-counts; the difference of two arbitrary constants is one arbitrary constant, so a single on one side is complete.

Spot the error

", so , integrate to . Done."
The error is stopping too early: dividing by deleted the constants and , which are genuine solutions and must be reported alongside the family.
"."
Sign error in the partial fractions: the correct split is (both plus), since .
"."
Missing minus sign from the inner derivative: , so .
" separates as ."
Illegal move — you cannot pull the off a sum ; only a product factors, and is not a product.
", therefore ."
Exponentiating a sum turns it into a product, not a sum: , not .
"For I got , no constant needed since it's implicit."
Even implicit solutions carry the constant: it is , and is what an initial condition pins down.
" needs on both sides."
One suffices; writing it on both sides is redundant because the two constants merge into one.

Why questions

Why does separating require the right side to factor, not merely contain both and ?
Because separation moves every to the left and every to the right; that clean split is only possible when the two variables were multiplied (or divided), never added.
Why is "treating as a fraction" tolerated here but dangerous in general?
Here it is a faithful shorthand for one specific chain-rule substitution that is provably correct; blindly manipulating and elsewhere has no such guarantee.
Why do we insist on absolute values in ?
The antiderivative of must be valid for negative too; the modulus keeps the formula true on both sides of , and its sign later gets absorbed into the arbitrary constant.
Why do equilibrium solutions come precisely from the roots of ?
If then a constant gives , so it satisfies the ODE — but that is exactly the value we divided by, so the algebra hid it.
Why can an implicit answer be better than forcing an explicit one?
Solving for can introduce a quadratic branch or a transcendental tangle; the implicit relation states the full solution without picking a branch or losing information.
Why does the check "differentiate implicitly and recover the ODE" prove the answer?
A solution is defined as a relation whose derivative reproduces the original ODE; recovering confirms exactly that, independent of how you found it.
Why does the logistic lose two equilibria while loses effectively none?
has two roots that the fraction can never reach; has the single root , which the family recovers at .

Edge cases

What is the solution of when the initial value hits a root of ?
The unique solution through that point is the constant equilibrium ; you never separate, because dividing by is forbidden and unnecessary.
If , what does the separable ODE become?
, so constant — every horizontal line is a solution; separation degenerates but the answer is immediate.
Can a solution curve cross an equilibrium line like in the logistic?
No — uniqueness forbids two solutions sharing a point, so non-equilibrium curves approach asymptotically but never touch or cross it.
What happens to the domain of — is it valid for all ?
Yes, the exponential is defined and smooth for every real , so this solution is global; not all separable solutions are — implicit ones can restrict the domain.
For , is a single-valued function of ?
Not globally — solving gives , two branches; the initial condition selects which branch, and the curve may only be a function on part of its extent.
When has several roots (e.g. ), how many equilibria must you list?
All of them — here both and are separate constant solutions, each a root of , and each must be reported beyond the separated family.
Is separable, and does anything go wrong at ?
Yes, it separates to ; but makes the original right side blow up, so no solution passes through the -axis and is simply undefined there.

Connections