ODE: Separable First-Order Equations

First-order ordinary differential equations (ODEs) are the building blocks for modeling dynamic systems in engineering, from circuit analysis to fluid flow. Separable first-order ODEs offer a straightforward solution technique that transforms complex relationships into integrable forms, making them a cornerstone of analytical problem-solving. Mastering this method is essential for efficiently tackling practical design and analysis challenges.

Identifying the Separable Form

A first-order ODE is an equation involving a derivative of an unknown function $y$ with respect to a variable $x$, expressed as $dy/dx=F(x,y)$. It is called separable if the function $F(x,y)$ can be written as a product of a function of $x$ and a function of $y$. The standard separable form is:

$$\frac{dy}{dx}=f(x)g(y)$$

Here, $f(x)$ depends only on $x$, and $g(y)$ depends only on $y$. Recognizing this structure is the critical first step. For example, the equation $dy/dx=x^{2}y$ is separable because it matches the form with $f(x)=x^2$ and $g(y)=y$. In contrast, $dy/dx=x+y$ is not separable because the right-hand side cannot be factored into a pure product. On exams, you'll often need to quickly identify separable equations; a reliable tactic is to check if you can algebraically manipulate all $x$-terms and $y$-terms to opposite sides of the equation.

The Separation of Variables Method

Once you've identified a separable ODE, the solution procedure, called separation of variables, follows a clear, three-step algorithm.

1. Separate: Algebraically rearrange the equation to isolate all terms involving $y$ and $dy$ on one side and all terms involving $x$ and $dx$ on the other. This is done by dividing both sides by $g(y)$ (provided $g(y)\ne 0$) and multiplying by $dx$:

$$\frac{1}{g(y)}dy=f(x)dx$$

1. Integrate: Integrate both sides of the equation with respect to their respective variables:

$$\int \frac{1}{g(y)}dy=\int f(x)dx$$ This yields a general solution involving a constant of integration, typically denoted $C$.

1. Simplify (if possible): Perform the integrations and algebraically simplify the result.

Consider the ODE $dy/dx=3x^2{e}^{-y}$. Step 1: Separate. Rewrite as $e^{y}dy=3x^{2}dx$. Step 2: Integrate. Compute $\int e^{y}dy=\int 3x^{2}dx$, which gives $e^y=x^3+C$. Step 3: Simplify. Solve for $y$ explicitly: $y=\ln (x^3+C)$.

Always remember the constant of integration immediately after integrating; a common exam error is to add it only at the very end, which can lead to mistakes in solving initial value problems.

Implicit, Explicit, and Initial Value Problems

The result of integration often gives an implicit solution, where the relationship between $x$ and $y$ is not solved explicitly for $y$. For instance, from the equation $dy/dx=-x/y$, separation yields $ydy=-xdx$, and integration gives the implicit solution $\frac{1}{2}{y}^2=-\frac{1}{2}{x}^2+C$, or more simply $x^2+y^2=2C$. An explicit solution is one where $y$ is isolated, like $y=\sqrt{2C-x^2}$. While explicit solutions are often preferred, implicit solutions are perfectly valid and sometimes necessary when solving for $y$ is algebraically complex or impossible.

An initial value problem (IVP) couples a differential equation with a specific condition, such as $y(x_0)=y_0$. This condition is used to determine the unique constant $C$ in the general solution. For the equation $dy/dx=2xy$ with $y(0)=5$, you first find the general solution: separate to $(1/y)dy=2xdx$, integrate to get $\ln |y|=x^2+C$, and exponentiate to yield $|y|=e^{x^2+C}=K{e}^{x^2}$ where $K=e^C>0$. Applying the initial condition $y(0)=5$ gives $5=K{e}^0$, so $K=5$. Thus, the particular solution is $y=5e^{x^2}$. In engineering contexts, this initial condition often represents a starting voltage, initial concentration, or initial position.

Singular Solutions and Division by Zero

The separation step requires dividing by $g(y)$. If $g(y)=0$ for some constant value $y=c$, that constant function may itself be a solution to the original ODE. These are called singular solutions or equilibrium solutions, and they are often lost during the standard separation process.

Consider the ODE $dy/dx=y(1-y)$. To solve, you would normally separate by dividing by $y(1-y)$: $$\frac{1}{y(1-y)}dy=1dx$$ After integration via partial fractions, you'd obtain an implicit solution. However, in the act of dividing, you assumed $y\ne 0$ and $y\ne 1$. By substituting back into the original equation, you find that both $y=0$ and $y=1$ satisfy $dy/dx=0$. These constant functions are valid singular solutions. On exams, always check the original ODE for any constant functions that make $g(y)=0$. In modeling, these often represent steady states or equilibrium points in a system, such as saturation levels in a population model.

Modeling Real-World Systems with Separable ODEs

Separable equations are powerful tools for modeling engineering systems where the rate of change of a quantity is proportional to separable functions of the independent and dependent variables. The modeling process involves translating a physical law into a separable ODE, solving it, and interpreting the solution.

A classic example is Newton's Law of Cooling, which states that the rate of change of an object's temperature $T(t)$ is proportional to the difference between its temperature and the ambient temperature $T_a$. This gives the separable ODE: $$\frac{dT}{dt}=-k(T-T_a)$$ where $k>0$ is a constant. Separation yields $\frac{dT}{T-T_a}=-kdt$, which integrates to $\ln |T-T_a|=-kt+C$, leading to the explicit solution $T(t)=T_a+(T_0-T_a)e^{-kt}$, with $T_0$ being the initial temperature. This model is directly applicable in thermal analysis of components.

Another common application is modeling the velocity $v$ of a falling object with air resistance proportional to velocity, given by $m\frac{dv}{dt}=mg-kv$, which is separable. The solution process illustrates how to handle constants like mass $m$ and gravitational acceleration $g$, and the final expression for $v(t)$ shows the terminal velocity behavior. When approaching modeling problems, clearly define variables, identify the governing separable law, and use initial conditions to find a specific, applicable solution.

Common Pitfalls

1. Losing the Constant of Integration: Forgetting to include $C$ during integration or adding it incorrectly will make solving initial value problems impossible. Correction: Always write the constant immediately after performing the indefinite integral on one side. For clarity, you can write it on the side with the independent variable $x$, e.g., $\int ...dy=\int ...dx+C$.

1. Misapplying Separation Algebra: Incorrectly moving terms across the equals sign, such as trying to separate $dy/dx=x+y$ by writing $dy/y=xdx$, is invalid. Correction: Ensure the equation is strictly in the form $dy/dx=f(x)g(y)$ before separating. If it's not, other methods (like integrating factors) are needed.

1. Ignoring Singular Solutions: Overlooking solutions where $g(y)=0$ is a frequent oversight that leads to an incomplete solution set. Correction: After separating, but before integrating, check the original ODE for any constant functions $y=c$ that satisfy the equation. These are often equilibrium solutions critical for understanding system behavior.

1. Domain and Logarithm Issues: When integrating terms like $1/y$ to get $\ln |y|$, the absolute value is crucial for capturing solutions where $y$ can be negative. Dropping the absolute value prematurely can restrict your solution. Correction: Keep the absolute value during integration and consider both positive and negative cases when solving for $y$ explicitly, especially in applied problems where the variable's sign has physical meaning.

Summary

• A separable first-order ODE has the form $dy/dx=f(x)g(y)$ and is solved by separating variables to opposite sides and integrating both sides.
• The solution procedure yields a general solution containing a constant $C$; applying an initial condition produces a unique particular solution for an IVP.
• Solutions can be implicit (a relation between $x$ and $y$) or explicit ($y$ isolated), and both are valid.
• Always check for singular solutions by setting $g(y)=0$ in the original equation, as these constant solutions may be lost during the separation step.
• Separable equations are fundamental for modeling diverse engineering phenomena, such as cooling, growth, decay, and motion with resistance, by directly translating physical laws into solvable mathematics.