# 7.2: Qualitative Behavior of Solutions to Differential Equations

- Page ID
- 107839

\( \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 slope field?
- How can we use a slope field to obtain qualitative information about the solutions of a differential equation?
- What are stable and unstable equilibrium solutions of an autonomous differential equation?

In earlier work, we have used the tangent line to the graph of a function \(f\) at a point \(a\) to approximate the values of \(f\) near \(a\text{.}\) The usefulness of this approximation is that we need to know very little about the function; armed with only the value \(f(a)\) and the derivative \(f'(a)\text{,}\) we may find the equation of the tangent line and the approximation

\[ f(x) \approx f(a) + f'(a)(x-a)\text{.} \nonumber \]

Remember that a first-order differential equation gives us information about the derivative of an unknown function. Since the derivative at a point tells us the slope of the tangent line at this point, a differential equation gives us crucial information about the tangent lines to the graph of a solution. We will use this information about the tangent lines to create a *slope field* for the differential equation, which enables us to sketch solutions to initial value problems. Our aim will be to understand the solutions qualitatively. That is, we would like to understand the basic nature of solutions, such as their long-range behavior, without precisely determining the value of a solution at a particular point.

Let's consider the initial value problem

a. Use the differential equation to find the slope of the tangent line to the solution \(y(t)\) at \(t=0\text{.}\) Then use the initial value to find the equation of the tangent line at \(t=0\text{.}\) Sketch this tangent line over the interval \(-0.25 \leq t \leq 0.25\) on the axes provided in Figure \(\PageIndex{1}\).

b. Also shown in Figure \(\PageIndex{1}\) are the tangent lines to the solution \(y(t)\) at the points \(t=1, 2\text{,}\) and \(3\) (we will see how to find these later). Use the graph to measure the slope of each tangent line and verify that each agrees with the value specified by the differential equation.

c. Using these tangent lines as a guide, sketch a graph of the solution \(y(t)\) over the interval \(0\leq t\leq 3\) so that the lines are tangent to the graph of \(y(t)\text{.}\)

d. Use the Fundamental Theorem of Calculus to find \(y(t)\text{,}\) the solution to this initial value problem.

e. Graph the solution you found in (d) on the axes provided, and compare it to the sketch you made using the tangent lines.

## Slope fields

Preview Activity \(\PageIndex{1}\) shows that we can sketch the solution to an initial value problem if we know an appropriate collection of tangent lines. We can use the differential equation to find the slope of the tangent line at any point of interest, and hence plot such a collection.

Let's continue looking at the differential equation \(\frac{dy}{dt} = t-2\text{.}\) If \(t=0\text{,}\) this equation says that \(dy/dt = 0-2=-2\text{.}\) Note that this value holds regardless of the value of \(y\text{.}\) We will therefore sketch tangent lines for several values of \(y\) and \(t=0\) with a slope of \(-2\text{,}\) as shown in Figure \(\PageIndex{2}\).

Let's continue in the same way: if \(t=1\text{,}\) the differential equation tells us that \(dy/dt = 1-2=-1\text{,}\) and this holds regardless of the value of \(y\text{.}\) We now sketch tangent lines for several values of \(y\) and \(t=1\) with a slope of \(-1\) in Figure \(\PageIndex{3}\).

Similarly, we see that when \(t=2\text{,}\) \(dy/dt = 0\) and when \(t=3\text{,}\) \(dy/dt=1\text{.}\) We may therefore add to our growing collection of tangent line plots to achieve Figure \(\PageIndex{4}\).

In Figure \(\PageIndex{4}\), we begin to see the solutions to the differential equation emerge. For the sake of even greater clarity, we add more tangent lines to provide the more complete picture shown at right in Figure \(\PageIndex{5}\).

Figure \(\PageIndex{5}\) is called a *slope field* for the differential equation. It allows us to sketch solutions just as we did in the preview activity. We can begin with the initial value \(y(0) = 1\) and start sketching the solution by following the tangent line. Whenever the solution passes through a point at which a tangent line is drawn, that line is tangent to the solution. This principle leads us to the sequence of images in Figure \(\PageIndex{6}\).

In fact, we can draw solutions for any initial value. Figure \(\PageIndex{7}\) shows solutions for several different initial values for \(y(0)\text{.}\)

Just as we did for the equation \(\frac{dy}{dt} = t-2\text{,}\) we can construct a slope field for any differential equation of interest. The slope field provides us with visual information about how we expect solutions to the differential equation to behave.

Consider the autonomous differential equation

- Make a plot of \(\frac{dy}{dt}\) versus \(y\) on the axes provided in Figure \(\PageIndex{8}\). Looking at the graph, for what values of \(y\) does \(y\) increase and for what values of \(y\) does \(y\) decrease?
- Next, sketch the slope field for this differential equation on the axes provided in Figure \(\PageIndex{9}\).
- Use your work in (b) to sketch (on the same axes in Figure \(\PageIndex{1}\)9.) solutions that satisfy \(y(0) = 0\text{,}\) \(y(0) = 2\text{,}\) \(y(0) = 4\) and \(y(0) = 6\text{.}\)
- Verify that \(y(t) = 4 + 2e^{-t/2}\) is a solution to the given differential equation with the initial value \(y(0) = 6\text{.}\) Compare its graph to the one you sketched in (c).
- What is special about the solution where \(y(0) = 4\text{?}\)

## Equilibrium solutions and stability

As our work in Activity \(\PageIndex{2}\) demonstrates, first-order autonomous equations may have solutions that are constant. These are simple to detect by inspecting the differential equation \(dy/dt = f(y)\text{:}\) constant solutions necessarily have a zero derivative, so \(dy/dt = 0 = f(y)\text{.}\)

For example, in Activity \(\PageIndex{2}\), we considered the equation \(\frac{dy}{dt} = f(y)=-\frac12(y-4)\text{.}\) Constant solutions are found by setting \(f(y) = -\frac12(y-4) = 0\text{,}\) which we immediately see implies that \(y = 4\text{.}\)

Values of \(y\) for which \(f(y) = 0\) in an autonomous differential equation \(\frac{dy}{dt} = f(y)\) are called *equilibrium solutions* of the differential equation.

Consider the autonomous differential equation

- Make a plot of \(\frac{dy}{dt}\) versus \(y\) on the axes provided in Figure \(\PageIndex{10}\). Looking at the graph, for what values of \(y\) does \(y\) increase and for what values of \(y\) does \(y\) decrease?
- Identify any equilibrium solutions of the given differential equation.
- Now sketch the slope field for the given differential equation on the axes provided in Figure \(\PageIndex{11}\).
- Sketch the solutions to the given differential equation that correspond to initial values \(y(0)=-1, 0, 1, \ldots, 5\text{.}\)
- An equilibrium solution \(\overline{y}\) is called
*stable*if nearby solutions converge to \(\overline{y}\text{.}\) This means that if the initial condition varies slightly from \(\overline{y}\text{,}\) then \(\lim_{t\to\infty}y(t) = \overline{y}\text{.}\) Conversely, an equilibrium solution \(\overline{y}\) is called*unstable*if nearby solutions are pushed away from \(\overline{y}\text{.}\) Using your work above, classify the equilibrium solutions you found in (b) as either stable or unstable. - Suppose that \(y(t)\) describes the population of a species of living organisms and that the initial value \(y(0)\) is positive. What can you say about the eventual fate of this population?
- Now consider a general autonomous differential equation of the form \(dy/dt = f(y)\text{.}\) Remember that an equilibrium solution \(\overline{y}\) satisfies \(f(\overline{y}) = 0\text{.}\) If we graph \(dy/dt = f(y)\) as a function of \(y\text{,}\) for which of the differential equations represented in Figure \(\PageIndex{12}\) and Figure \(\PageIndex{13}\) is \(\overline{y}\) a stable equilibrium and for which is \(\overline{y}\) unstable? Why?

## Summary

- A slope field is a plot created by graphing the tangent lines of many different solutions to a differential equation.
- Once we have a slope field, we may sketch the graph of solutions by drawing a curve that is always tangent to the lines in the slope field.
- Autonomous differential equations sometimes have constant solutions that we call equilibrium solutions. These may be classified as stable or unstable, depending on the behavior of nearby solutions.