# 7.4: Separable Differential Equations

- Page ID
- 107841

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

\( \newcommand{\Span}{\mathrm{span}}\)

\( \newcommand{\id}{\mathrm{id}}\)

\( \newcommand{\Span}{\mathrm{span}}\)

\( \newcommand{\kernel}{\mathrm{null}\,}\)

\( \newcommand{\range}{\mathrm{range}\,}\)

\( \newcommand{\RealPart}{\mathrm{Re}}\)

\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

\( \newcommand{\Argument}{\mathrm{Arg}}\)

\( \newcommand{\norm}[1]{\| #1 \|}\)

\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)

\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)

\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vectorC}[1]{\textbf{#1}} \)

\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)- What is a separable differential equation?
- How can we find solutions to a separable differential equation?
- Are some of the differential equations that arise in applications separable?

In Sections 7.2 and 7.3, we have seen several ways to approximate the solution to an initial value problem. Given the frequency with which differential equations arise in the world around us, we would like to have some techniques for finding explicit algebraic solutions of certain initial value problems. In this section, we focus on a particular class of differential equations (called *separable*) and develop a method for finding algebraic formulas for their solutions.

A *separable differential equation* is a differential equation whose algebraic structure allows the variables to be separated in a particular way. For instance, consider the equation

\[ \frac{dy}{dt} = ty\text{.} \nonumber \]

We would like to separate the variables \(t\) and \(y\) so that all occurrences of \(t\) appear on the right-hand side, and all occurrences of \(y\) appear on the left, multiplied by \(dy/dt\text{.}\) For this example, we divide both sides by \(y\) so that

Note that when we attempt to separate the variables in a differential equation, we require that one side is a product in which the derivative \(dy/dt\) is one factor and the other factor is solely an expression involving \(y\text{.}\)

Not every differential equation is separable. For example, if we consider the equation

it may seem natural to separate it by writing

As we will see, this will not be helpful, since the left-hand side is not a product of a function of \(y\) with \(\frac{dy}{dt}\text{.}\)

In this preview activity, we explore whether certain differential equations are separable or not, and then revisit some key ideas from earlier work in integral calculus.

- Which of the following differential equations are separable? If the equation is separable, write the equation in the revised form \(g(y) \frac{dy}{dt} = h(t)\text{.}\)
- \(\displaystyle \frac{dy}{dt} = -3y\text{.}\)
- \(\displaystyle \frac{dy}{dt} = ty - y\text{.}\)
- \(\displaystyle \frac{dy}{dt} = t + 1\text{.}\)
- \(\displaystyle \frac{dy}{dt} = t^2 - y^2\text{.}\)

- Explain why any autonomous differential equation is guaranteed to be separable.
- Why do we include the term “\(+C\)” in the expression
\[ \int x~dx = \frac{x^2}{2} + C? \nonumber \]
- Suppose we know that a certain function \(f\) satisfies the equation
\[ \int f'(x)~dx = \int x~dx\text{.} \nonumber \]
What can you conclude about \(f\text{?}\)

## Solving separable differential equations

Before we discuss a general approach to solving a separable differential equation, it is instructive to consider an example.

Find all functions \(y\) that are solutions to the differential equation

\[ \frac{dy}{dt}= \frac{t}{y^2}\text{.} \nonumber \]

**Answer**-
We begin by separating the variables and writing

\[ y^2\frac{dy}{dt} = t\text{.} \nonumber \]Integrating both sides of the equation with respect to the independent variable \(t\) shows that

\[ \int y^2\frac{dy}{dt}~dt = \int t~dt\text{.} \nonumber \]Next, we notice that the left-hand side allows us to change the variable of antidifferentiation

^{ 1 }from \(t\) to \(y\text{.}\) In particular, \(dy = \frac{dy}{dt}~dt\text{,}\) so we now have\[ \int y^2 ~dy = \int t~dt\text{.} \nonumber \]This is why we required that the left-hand side be written as a product in which \(dy/dt\) is one of the terms.This equation says that two families of antiderivatives are equal to each other. Therefore, when we find representative antiderivatives of both sides, we know they must differ by an arbitrary constant \(C\text{.}\) Antidifferentiating and including the integration constant \(C\) on the right, we find that

\[ \frac{y^3}{3} = \frac{t^2}{2} + C\text{.} \nonumber \]It is not necessary to include an arbitrary constant on both sides of the equation; we know that \(y^3/3\) and \(t^2/2\) are in the same family of antiderivatives and must therefore differ by a single constant.

Finally, we solve the last equation above for \(y\) as a function of \(t\text{,}\) which gives

\[ y(t) = \sqrt[3]{\frac 32 \, t^2 + 3C}\text{.} \nonumber \]Of course, the term \(3C\) on the right-hand side represents 3 times an unknown constant. It is, therefore, still an unknown constant, which we will rewrite as \(C\text{.}\) We thus conclude that the funtion

\[ y(t) = \sqrt[3]{\frac 32 \, t^2 + C} \nonumber \]is a solution to the original differential equation for any value of \(C\text{.}\)

Notice that because this solution depends on the arbitrary constant \(C\text{,}\) we have found an infinite family of solutions. This makes sense because we expect to find a unique solution that corresponds to any given initial value.

For example, if we want to solve the initial value problem

\[ \frac{dy}{dt} = \frac{t}{y^2}, \ y(0) = 2\text{,} \nonumber \]we know that the solution has the form \(y(t) = \sqrt[3]{\frac32\, t^2 + C}\) for some constant \(C\text{.}\) We therefore must find the appropriate value for \(C\) that gives the initial value \(y(0)=2\text{.}\) Hence,

\[ 2 = y(0) = \sqrt[3]{\frac 32 \, 0^2 + C} = \sqrt[3]{C}\text{,} \nonumber \]which shows that \(C = 2^3 = 8\text{.}\) The solution to the initial value problem is then

\[ y(t) = \sqrt[3]{\frac32\, t^2+8}\text{.} \nonumber \]

The strategy of Example \(\PageIndex{1}\) may be applied to any differential equation of the form \(\frac{dy}{dt} = g(y) \cdot h(t)\text{,}\) and any differential equation of this form is said to be *separable*. We work to solve a separable differential equation by writing

and then integrating both sides with respect to \(t\text{.}\) After integrating, we try to solve algebraically for \(y\) in order to write \(y\) as a function of \(t\text{.}\)

Solve the differential equation

\[ \frac{dy}{dt} =3y\text{.} \nonumber \]

**Answer**-
Following the same strategy as in Example \(\PageIndex{1}\), we have

\[ \frac 1y \frac{dy}{dt} = 3\text{.} \nonumber \]Integrating both sides with respect to \(t\text{,}\)

\[ \int \frac 1y\frac{dy}{dt}~dt = \int 3~dt\text{,} \nonumber \]and thus

\[ \int \frac 1y~dy = \int 3~dt\text{.} \nonumber \]Antidifferentiating and including the integration constant, we find that

\[ \ln|y| = 3t + C\text{.} \nonumber \]Finally, we need to solve for \(y\text{.}\) Here, one point deserves careful attention. By the definition of the natural logarithm function, it follows that

\[ |y| = e^{3t+C} = e^{3t}e^C\text{.} \nonumber \]Since \(C\) is an unknown constant, \(e^C\) is as well, though we do know that it is positive (because \(e^x\) is positive for any \(x\)). When we remove the absolute value in order to solve for \(y\text{,}\) however, this constant may be either positive or negative. To account for a possible \(+\) or \(-\text{,}\) we denote this updated constant by \(C\) to obtain

\[ y(t) = Ce^{3t}\text{.} \nonumber \]

There is one more technical point to make. Notice that \(y=0\) is an equilibrium solution to this differential equation. In solving the equation above, we begin by dividing both sides by \(y\text{,}\) which is not allowed if \(y=0\text{.}\) To be perfectly careful, therefore, we should consider the equilibrium solutions separately. In this case, notice that the final form of our solution captures the equilibrium solution by allowing \(C=0\text{.}\)

Suppose that the population of a town is growing continuously at an annual rate of 3% per year.

- Let \(P(t)\) be the population of the town in year \(t\text{.}\) Write a differential equation that describes the annual growth rate.
- Find the solutions of this differential equation.
- If you know that the town's population in year 0 is 10,000, find the population \(P(t)\text{.}\)
- How long does it take for the population to double? This time is called the
*doubling time*. - Working more generally, find the doubling time if the annual growth rate is \(k\) times the population.

Suppose that a cup of coffee is initially at a temperature of \(105^\circ\) F and is placed in a \(75^\circ\) F room. Newton's law of cooling says that

where \(k\) is a constant of proportionality.

- Suppose you measure that the coffee is cooling at one degree per minute at the time the coffee is brought into the room. Use the differential equation to determine the value of the constant \(k\text{.}\)
- Find all the solutions of this differential equation.
- What happens to all the solutions as \(t\to\infty\text{?}\) Explain how this agrees with your intuition.
- What is the temperature of the cup of coffee after 20 minutes?
- How long does it take for the coffee to cool to \(80^\circ\text{?}\)

Solve each of the following differential equations or initial value problems.

- \(\displaystyle \frac{dy}{dt} - (2-t) y = 2-t\)
- \(\displaystyle \frac{1}{t}\frac{dy}{dt} = e^{t^2-2y}\)
- \(y' = 2y+2\text{,}\) \(y(0)=2\)
- \(y' = 2y^2\text{,}\) \(y(-1) = 2\)
- \(\frac{dy}{dt} = \frac{-2ty}{t^2 + 1}\text{,}\) \(y(0) = 4\)

## Summary

- A separable differential equation is one that may be rewritten with all occurrences of the dependent variable multiplying the derivative and all occurrences of the independent variable on the other side of the equation.
- We may find the solutions to certain separable differential equations by separating variables, integrating with respect to \(t\text{,}\) and ultimately solving the resulting algebraic equation for \(y\text{.}\)
- This technique allows us to solve many important differential equations that arise in the world around us. For instance, questions of growth and decay and Newton's Law of Cooling give rise to separable differential equations. Later, we will learn in Section 7.6 that the important logistic differential equation is also separable.