Finding General Solutions Using Separation of Variables

3. Visual Connection

5. Concept Development

A first-order differential equation is separable when algebra can express it as a product of a function of \(x\) and a function of \(y\):

On a region where \(g(y)\ne0\), move the \(y\)-expression with \(dy\) and the \(x\)-expression with \(dx\), then antidifferentiate:

The resulting one-parameter family is a general solution. Topic 7.6 stops before an initial condition selects one particular member; that step is developed in Topic 7.7.

Recognizing a separable equation

Always simplify and factor before deciding. An autonomous equation \(y'=g(y)\) is separable with \(f(x)=1\), and an equation \(y'=f(x)\) is separable with \(g(y)=1\).

The complete separation workflow

1. Factor and classify. Put the equation in the form \(y'=f(x)g(y)\).
2. Preserve equilibrium solutions. Solve \(g(y)=0\) before dividing by \(g(y)\).
3. Separate variables. Write all \(y\)-factors with \(dy\) and all \(x\)-factors with \(dx\).
4. Integrate both sides. Use one arbitrary constant, usually on the right.
5. Simplify the constant. Absorb nonzero multipliers and signs into a renamed arbitrary constant.
6. Solve for \(y\) when practical. An implicit relation is acceptable when isolation is difficult or creates unnecessary branches.
7. Restore omitted solutions and state restrictions. Include equilibria lost during division and note singularities or branch intervals.
8. Verify. Differentiate the final family and substitute it into the original equation.

Why equilibrium solutions can disappear

Dividing by \(g(y)\) assumes \(g(y)\ne0\). If \(g(c)=0\), then the constant function \(y=c\) may solve the original equation but is excluded from the separated algebra. Record these values first. Sometimes the explicit family later includes an equilibrium through \(C=0\); sometimes it does not, so each equilibrium must be listed separately.

Managing logarithms and constants

Keep absolute values when integrating \(1/u\):

If \(\ln|u|=H(x)+C\), exponentiation gives \(|u|=e^Ce^{H(x)}\). The positive factor \(e^C\) and the possible sign combine into one nonzero constant \(K\), so \(u=Ke^{H(x)}\). If \(K=0\) also produces a valid solution of the original equation, it can be admitted afterward.

There is no need to write \(C_1\) on one side and \(C_2\) on the other: their difference is another arbitrary constant.

Explicit and implicit general solutions

An explicit family has the form \(y=G(x,C)\). An implicit family such as \(y^2-x^2=C\) is also a valid general solution when differentiation recovers the differential equation. Solving an implicit relation may create separate branches, and each branch must be restricted to intervals where it is differentiable and the original equation is defined.

Domain and interval checks

Separation can introduce logarithms, roots, inverse trigonometric functions, or denominators. Final solutions are valid only on intervals that avoid forbidden inputs and singularities. For example, a family containing \(1/(C+\cos x)\) must be restricted to intervals where its denominator is nonzero.

6. Detailed Worked Example and Error Check

Example 1: Exponential-type family

Solve \(y'=2xy\). First, \(y=0\) is an equilibrium. For \(y\ne0\),

Exponentiating and absorbing the sign gives

Allowing \(C=0\) includes the equilibrium, so this one family gives all solutions on real intervals.

Example 2: Factor before separating

Consider \(y'=xy+3x-2y-6\). Factor by grouping:

The equilibrium is \(y=-3\). For other solutions,

Thus

The choice \(C=0\) restores the equilibrium.

Example 3: An implicit family with branches

For \(y'=x/y\), the differential equation is undefined when \(y=0\). Separate without dividing by a possible solution:

This implicit family may be written \(y=\pm\sqrt{x^2+C}\) on intervals where the chosen branch is real, nonzero, and differentiable. The two signs are different branches, not one function switching signs freely.

Example 4: Inverse tangent appears

Solve \(y'=x(1+y^2)\). Since \(1+y^2\) never vanishes, there are no equilibrium solutions.

Therefore

on intervals that avoid the vertical asymptotes of the tangent expression.

Example 5: Exponential expressions on both variables

For \(y'=e^{x-y}=e^xe^{-y}\), multiply by \(e^y\):

An explicit form is

valid on any interval where \(e^x+C>0\).

Example 6: A logistic-type equation

For \(y'=y(1-y)\), the equilibria \(y=0\) and \(y=1\) must be recorded first. For \(y\ne0,1\), partial fractions give

After exponentiating and solving,

The choice \(C=0\) includes \(y=0\), but no finite \(C\) produces \(y=1\), so \(y=1\) must be listed separately. Also exclude inputs where \(1+Ce^x=0\).

Example 7: Leaving the answer implicit

For \(\sin y\,y'=x\), write

This implicit relation is a complete general-solution form. Solving with an inverse cosine would require multiple branches and additional interval restrictions without improving the answer.

Example 8: A rational power

Solve \(y'=y^2\sin x\). The equilibrium \(y=0\) is set aside. For \(y\ne0\),

Renaming the constant yields

together with \(y=0\). Each nonzero solution is restricted to intervals where \(C+\cos x\ne0\).

Common separation errors

• Declaring an equation separable before simplifying or factoring it.
• Dividing by a \(y\)-factor without recording its zeros as possible equilibria.
• Writing \(dy/g(y)=f(x)\) and omitting \(dx\).
• Forgetting the absolute value in a logarithmic antiderivative.
• Keeping two independent integration constants instead of combining them.
• Forcing an implicit relation into an invalid single explicit branch.
• Ignoring denominator, radical, logarithm, or tangent restrictions.