AP Calculus AB: Separation of Variables

Separation of Variables is a cornerstone technique for solving a specific class of first-order differential equations. Mastering it unlocks your ability to model countless real-world phenomena, from population growth and radioactive decay to the cooling of a cup of coffee. At its heart, the method is an elegant application of integral calculus: it transforms a statement about rates of change (a derivative) into a relationship between the quantities themselves.

Understanding the Differential Equation Form

A first-order differential equation involves a function and its first derivative. The type solvable by separation has a very particular structure. It must be possible to manipulate the equation so that all terms containing the dependent variable (typically $y$) are on one side with $dy$, and all terms containing the independent variable (typically $x$) are on the other side with $dx$. Formally, we require the equation to be separable into the form: $$g(y)dy=f(x)dx.$$ The original derivative $\frac{dy}{dx}$ is not a fraction, but in this specific algorithmic process, we treat it symbolically as if it were to separate the variables. The starting point is often $\frac{dy}{dx}=f(x)g(y)$. Your first task is always to algebraically manipulate the given equation to achieve this separated state.

The Separation Process: Step-by-Step

Consider the differential equation $\frac{dy}{dx}=xy$. Our goal is to get all $y$'s with $dy$ and all $x$'s with $dx$.

1. Separate: Multiply both sides by $dx$ and divide both sides by $y$ (assuming $y\ne 0$). This yields:

$$\frac{1}{y}dy=xdx.$$ We have successfully rewritten the equation as a product of a function of $y$ and $dy$ equal to a function of $x$ and $dx$.

1. Integrate: Apply the integral operator to both sides of the equation:

$$\int \frac{1}{y}dy=\int xdx.$$ This step leverages the fact that if two differentials are equal, their antiderivatives differ by, at most, a constant.

1. Solve: Compute the integrals:

$$\ln |y|=\frac{1}{2}{x}^2+C.$$ Here, $C$ represents the constant of integration. It is crucial to add it to one side only at this stage.

Dealing with the Constant and Finding Explicit Solutions

The result from integration often gives an implicit solution, where $y$ is not isolated. To find an explicit solution (solving for $y$), we use algebra and properties of inverses. Continuing from $\ln |y|=\frac{1}{2}{x}^2+C$:

1. Exponentiate both sides to undo the natural logarithm:

$$|y|=e^{\frac{1}{2}{x}^2+C}.$$

1. Use exponent rules to separate the constant: $e^{\frac{1}{2}{x}^2+C}=e^C\cdot e^{x^2/2}$.
2. Since $e^C$ is a positive constant, and the absolute value allows for positive or negative $y$, we can replace $e^C$ with a new constant, $A$, where $A$ can be any non-zero real number. This gives:

$$y=A{e}^{x^2/2}.$$ The case where $y=0$ (which we assumed away during separation) is often a singular solution that may be absorbed by allowing $A=0$, depending on the context.

Solving Initial Value Problems (IVPs)

An initial value problem provides a differential equation and a specific condition, like $y(x_0)=y_0$. This condition allows us to solve for the specific constant $C$ or $A$, giving a single, unique solution curve from the family of possible solutions.

Example: Solve $\frac{dy}{dx}=2xy$ given $y(0)=3$.

1. Separate: $\frac{1}{y}dy=2xdx$.
2. Integrate: $\ln |y|=x^2+C$.
3. Apply the initial condition before solving fully for $y$ to find $C$:

$\ln |3|=(0{)}^2+C\Rightarrow C=\ln 3$.

1. Substitute $C$ back: $\ln |y|=x^2+\ln 3$.
2. Solve for $y$: $\ln |y|-\ln 3=x^2\Rightarrow \ln \left|\frac{y}{3}\right|=x^2\Rightarrow |y|=3e^{x^2}$. Since the initial value is positive, the absolute value drops, yielding the unique solution:

$$y=3e^{x^2}.$$

Verifying Your Solution by Substitution

Verification is a critical final step. You substitute your final function $y$ and its derivative $y^{\prime }$ back into the original differential equation to confirm it produces an identity.

For our IVP solution $y=3e^{x^2}$:

• Derivative: $y^{\prime }=3e^{x^2}\cdot 2x=6x{e}^{x^2}$.
• Original ODE: $\frac{dy}{dx}=2xy$.
• Substitute: $6x{e}^{x^2}\stackrel{?}{=}2x(3e^{x^2})$.
• Simplify: $6x{e}^{x^2}=6x{e}^{x^2}$. ✓

The equation holds true, confirming the solution is correct.

Common Pitfalls

1. Algebraic Errors in Separation: The most common mistake happens in the first step. For an equation like $\frac{dy}{dx}=x+y$, you cannot separate variables by writing $dy=(x+y)dx$. The term $y$ is still on the wrong side. Separation requires the equation to be factorable as a product of functions of $x$ and $y$, not a sum. Always check if you can write the equation as $\frac{dy}{dx}=f(x)g(y)$.

1. Misplacing or Misunderstanding the Constant of Integration: Forgetting "$+C$" or adding it to both sides is a critical error. Add it once, after integrating. Furthermore, remember that the constant often undergoes transformation (like becoming part of an exponent, as when we went from $C$ to $A$). Track it carefully, especially in IVPs.

1. Overlooking Domain and Singular Solutions: When you divide by a function like $y$ during separation, you implicitly assume it is not zero. Always check if $y=0$ (or whatever expression you divided by) is itself a solution to the original differential equation. It often is, and it may or may not be captured by your final general solution depending on the constant.

1. Incorrect Verification: A common verification error is substituting into the separated or integrated form of the equation instead of the original. The point of verification is to check the entire solution process, so you must use the initial given equation.

Summary

• Separation of Variables is a method to solve first-order differential equations that can be manipulated into the form $g(y)dy=f(x)dx$, effectively placing all $y$-terms with $dy$ and all $x$-terms with $dx$.
• The core process is: (1) Separate algebraically, (2) Integrate both sides, introducing the constant $+C$, and (3) Solve for $y$ explicitly if possible.
• An initial value problem provides a specific condition $y(x_0)=y_0$, which is used to solve for the constant $C$, yielding a unique, particular solution.
• Always verify your solution by substituting the function $y$ and its derivative $y^{\prime }$ back into the original differential equation to ensure it creates a true statement.
• Be vigilant for common pitfalls: ensuring the equation is truly separable, correctly handling the constant of integration, checking for lost singular solutions (like $y=0$), and verifying against the original equation.