###### Exercise1.6.1

Try sketching a few solutions simply from looking at the phase diagram. Check with the preceding graphs if you are getting the type of curves.

\(\require{cancel}\newcommand{\nicefrac}[2]{{{}^{#1}}\!/\!{{}_{#2}}}
\newcommand{\unitfrac}[3][\!\!]{#1 \,\, {{}^{#2}}\!/\!{{}_{#3}}}
\newcommand{\unit}[2][\!\!]{#1 \,\, #2}
\newcommand{\noalign}[1]{}
\newcommand{\qed}{\qquad \Box}
\newcommand{\lt}{<}
\newcommand{\gt}{>}
\newcommand{\amp}{&}
\)

*1 lecture, §2.2 in [EP], §2.5 in [BD]*

Let us consider problems of the form

\begin{equation*} \frac{dx}{dt} = f(x) , \end{equation*}where the derivative of solutions depends only on \(x\) (the dependent variable). Such equations are called *autonomous equations*. If we think of \(t\) as time, the naming comes from the fact that the equation is independent of time.

Let us return to the cooling coffee problem (see Example 1.3.3). Newton's law of cooling says

\begin{equation*} \frac{dx}{dt} = -k (x-A) , \end{equation*}where \(x\) is the temperature, \(t\) is time, \(k\) is some constant, and \(A\) is the ambient temperature. See Figure 2.6.1 for an example with \(k=0.3\) and \(A=5\text{.}\)

Note the solution \(x=A\) (in the figure \(x=5\)). We call these constant solutions the *equilibrium solutions*. The points on the \(x\) axis where \(f(x) = 0\) are called *critical points*. The point \(x=A\) is a critical point. In fact, each critical point corresponds to an equilibrium solution. Note also, by looking at the graph, that the solution \(x=A\) is “stable” in that small perturbations in \(x\) do not lead to substantially different solutions as \(t\) grows. If we change the initial condition a little bit, then as \(t \to \infty\) we get \(x(t) \to A\text{.}\) We call such critical points *stable*. In this simple example it turns out that all solutions in fact go to \(A\) as \(t \to \infty\text{.}\) If a critical point is not stable we would say it is *unstable*.

Let us consider the *logistic equation*

for some positive \(k\) and \(M\text{.}\) This equation is commonly used to model population if we know the limiting population \(M\text{,}\) that is the maximum sustainable population. The logistic equation leads to less catastrophic predictions on world population than \(x'=kx\text{.}\) In the real world there is no such thing as negative population, but we will still consider negative \(x\) for the purposes of the math.

See Figure 2.6.2 for an example. Note two critical points, \(x=0\) and \(x=5\text{.}\) The critical point at \(x=5\) is stable. On the other hand the critical point at \(x=0\) is unstable.

It is not really necessary to find the exact solutions to talk about the long term behavior of the solutions. For example, from the above we can easily see that

\begin{equation*} \lim_{t\to \infty} x(t) = \begin{cases} 5 & \text{if } \; x(0) > 0 , \\ 0 & \text{if } \; x(0) = 0 , \\ \text{DNE or } {-\infty} & \text{if } \; x(0) < 0 . \\ \end{cases} \end{equation*}Where DNE means “does not exist.” From just looking at the slope field we cannot quite decide what happens if \(x(0) < 0\text{.}\) It could be that the solution does not exist for \(t\) all the way to \(\infty\text{.}\) Think of the equation \(x' = x^2\text{;}\) we have seen that solutions only exist for some finite period of time. Same can happen here. In our example equation above it will actually turn out that the solution does not exist for all time, but to see that we would have to solve the equation. In any case, the solution does go to \(-\infty\text{,}\) but it may get there rather quickly.

Often we are interested only in the long term behavior of the solution and we would be doing unnecessary work if we solved the equation exactly. It is easier to just look at the *phase diagram* or *phase portrait*, which is a simple way to visualize the behavior of autonomous equations. In this case there is one dependent variable \(x\text{.}\) We draw the \(x\) axis, we mark all the critical points, and then we draw arrows in between. If \(f(x) > 0\text{,}\) we draw an up arrow. If \(f(x) < 0\text{,}\) we draw a down arrow.

Armed with the phase diagram, it is easy to sketch the solutions approximately.

Try sketching a few solutions simply from looking at the phase diagram. Check with the preceding graphs if you are getting the type of curves.

Once we draw the phase diagram, we can easily classify critical points as stable or unstable^{ 1 }The unstable points that have one of the arrows pointing towards the critical point are sometimes called *semistable*..

Since any mathematical model we cook up will only be an approximation to the real world, unstable points are generally bad news.

Let us think about the logistic equation with harvesting. Suppose an alien race really likes to eat humans. They keep a planet with humans on it and harvest the humans at a rate of \(h\) million humans per year. Suppose \(x\) is the number of humans in millions on the planet and \(t\) is time in years. Let \(M\) be the limiting population when no harvesting is done. The number \(k > 0\) is a constant depending on how fast humans multiply. Our equation becomes

\begin{equation*} \frac{dx}{dt} = kx(M-x) - h . \end{equation*}We expand the right hand side and set it to zero

\begin{equation*} kx(M-x) - h = -kx^2+kMx - h = 0. \end{equation*}Solving for the critical points, let us call them \(A\) and \(B\text{,}\) we get

\begin{equation*} A = \frac{kM + \sqrt{{(kM)}^2 - 4hk}}{2k}, \qquad B = \frac{kM - \sqrt{{(kM)}^2 - 4hk}}{2k} . \end{equation*}Draw the phase diagram for different possibilities. Note that these possibilities are \(A > B\text{,}\) or \(A=B\text{,}\) or \(A\) and \(B\) both complex (i.e. no real solutions). Hint: Fix some simple \(k\) and \(M\) and then vary \(h\text{.}\)

For example, let \(M=8\) and \(k=0.1\text{.}\) When \(h=1\text{,}\) then \(A\) and \(B\) are distinct and positive. The graph we will get is given in Figure 2.6.5. As long as the population starts above \(B\text{,}\) which is approximately 1.55 million, then the population will not die out. It will in fact tend towards \(A \approx 6.45\) million. If ever some catastrophe happens and the population drops below \(B\text{,}\) humans will die out, and the fast food restaurant serving them will go out of business.

When \(h = 1.6\text{,}\) then \(A=B=4\text{.}\) There is only one critical point and it is unstable. When the population starts above 4 million it will tend towards 4 million. If it ever drops below 4 million, humans will die out on the planet. This scenario is not one that we (as the human fast food proprietor) want to be in. A small perturbation of the equilibrium state and we are out of business. There is no room for error. See Figure 2.6.6.

Finally if we are harvesting at 2 million humans per year, there are no critical points. The population will always plummet towards zero, no matter how well stocked the planet starts. See Figure 2.6.7.

Take \(x' = x^2\text{.}\) a) Draw the phase diagram, find the critical points, and mark them stable or unstable. b) Sketch typical solutions of the equation. c) Find \(\displaystyle \lim_{t\to \infty} x(t)\) for the solution with the initial condition \(x(0) = -1\text{.}\)

Take \(x' = \sin x\text{.}\) a) Draw the phase diagram for \(-4\pi \leq x \leq 4\pi\text{.}\) On this interval mark the critical points stable or unstable. b) Sketch typical solutions of the equation. c) Find \(\displaystyle \lim_{t\to \infty} x(t)\) for the solution with the initial condition \(x(0) = 1\text{.}\)

Suppose \(f(x)\) is positive for \(0 < x < 1\text{,}\) it is zero when \(x=0\) and \(x=1\text{,}\) and it is negative for all other \(x\text{.}\) a) Draw the phase diagram for \(x' = f(x)\text{,}\) find the critical points, and mark them stable or unstable. b) Sketch typical solutions of the equation. c) Find \(\displaystyle \lim_{t\to \infty} x(t)\) for the solution with the initial condition \(x(0) = 0.5\text{.}\)

Start with the logistic equation \(\frac{dx}{dt} = kx(M-x)\text{.}\) Suppose we modify our harvesting. That is we will only harvest an amount proportional to current population. In other words, we harvest \(hx\) per unit of time for some \(h > 0\) (Similar to earlier example with \(h\) replaced with \(hx\)). a) Construct the differential equation. b) Show that if \(kM > h\text{,}\) then the equation is still logistic. c) What happens when \(kM < h\text{?}\)

A disease is spreading through the country. Let \(x\) be the number of people infected. Let the constant \(S\) be the number of people susceptible to infection. The infection rate \(\frac{dx}{dt}\) is proportional to the product of already infected people, \(x\text{,}\) and the number of susceptible but uninfected people, \(S-x\text{.}\) a) Write down the differential equation. b) Supposing \(x(0) > 0\text{,}\) that is, some people are infected at time \(t=0\text{,}\) what is \(\displaystyle \lim_{t\to\infty} x(t)\text{.}\) c) Does the solution to part b) agree with your intuition? Why or why not?

Let \(x'=(x-1)(x-2)x^2\text{.}\) a) Sketch the phase diagram and find critical points. b) Classify the critical points. c) If \(x(0)=0.5\) then find \(\displaystyle \lim_{t\to\infty} x(t)\text{.}\)

Answer

a) 0, 1, 2 are critical points.

b) \(x=0\) is unstable (semistable), \(x=1\) is stable, and \(x=2\) is unstable.

c) 1

Let \(x'=e^{-x}\text{.}\) a) Find and classify all critical points. b) Find \(\displaystyle \lim_{t\to\infty} x(t)\) given any initial condition.

Answer

a) There are no critical points. b) \(\infty\)

Assume that a population of fish in a lake satisfies \(\frac{dx}{dt} = kx(M-x)\text{.}\) Now suppose that fish are continually added at \(A\) fish per unit of time. a) Find the differential equation for \(x\text{.}\) b) What is the new limiting population?

Answer

a) \(\frac{dx}{dt} = kx(M-x)+A\) b) \(\frac{kM + \sqrt{{(kM)}^2 + 4Ak}}{2k}\)

Suppose \(\frac{dx}{dt} = (x-\alpha)(x-\beta)\) for two numbers \(\alpha <
\beta\text{.}\)

a) Find the critical points, and classify them.

For b), c), d), find \(\displaystyle \lim_{t\to\infty} x(t)\) based on the phase diagram.

b) \(x(0) < \alpha\text{,}\) c) \(\alpha < x(0) < \beta\text{,}\) d) \(\beta < x(0)\text{.}\)

Answer

a) \(\alpha\) is a stable critical point, \(\beta\) is an unstable one. b) \(\alpha\text{,}\) c) \(\alpha\text{,}\) d) \(\infty\) or DNE.