Skip to main content
\( \newcommand{\lt}{ < } \newcommand{\gt}{ > } \newcommand{\amp}{ & } \)

Section2.5Graphical Analysis of Projection Functions

A projection function establishes a relationship between consecutive values in a sequence. For a population, the projection function allows us to predict the population after one cycle given the size of the population at the current time. In this section, we will learn how to interpret information using the graph of the projection function.

Subsection2.5.1Visualizing Potential for Growth

In calculus, we learn that a function \(f(x)\) is increasing on intervals for which \(f'(x) \gt 0\) and decreasing on intervals for which \(f'(x) \lt 0\). This is because the derivative \(f'(x)\) of a function \(f(x)\) measures the rate of change for the function \(f(x)\). Sequences can be analyzed in a similar way, by looking at whether increments in the sequence are positive or negative.

The increment for a sequence \(x = (x_n)_{n=0}^{\infty}\) is the difference between consecutive terms, defined by the backward difference \begin{equation*}\Delta x_{n} = x_{n}-x_{n-1}.\end{equation*} We call it the increment because the increment is what we add to the current value to find the next value of the sequence, \begin{equation*}x_{n+1} = x_n + \Delta x_{n+1}.\end{equation*} For populations, the increment corresponds to the sum of births and net migration minus the deaths.

When a population model involves a projection function \(x_{n+1} = f(x_n)\), then the increment depends on the value of the function \(f\), \begin{equation*}\Delta x_{n+1} = x_{n+1}-x_n = f(x_n) - x_n.\end{equation*} Consequently, we can identify when the population will grow or decline based on the value of \(f(x)-x\). When \(f(x) \gt x\), the sequence increases. When \(f(x) \lt x\), the sequence decreases.

Example2.5.1

Consider a model for population growth where the per capita net growth rate is a decreasing linear function of the population size, \(r(P) = r_0 - a P\). The projection function for this model is given by \begin{equation*}f(x) = x + (r_0 - ax) x = x + r_0 x - ax^2.\end{equation*} The fixed points for this are \(x=0\) and \(x=\frac{r_0}{a}\). The second fixed point is often denoted by \(K=\frac{r_0}{a}\), and the per capita growth can then written in the equivalent form \(r(P) = r_0(1-\frac{P}{K})\). This model is called the discrete logistic model for population growth.

We consider the case when \(r_0 \gt 0\) so that \(K \gt 0\). A graph of \(y = f(x) - x\) is illustrated below. The graph is a concave down parabola with intercepts at \(x=0\) and \(x=K\). We see that \(f(x)-x\) is positive for \(x\) in the interval \((0,K)\) and negative in the intervals \((-\infty,0)\) and \((K,\infty)\). In the context of population growth, the negative interval has no physical interpretation. (In other contexts, the same model might apply and have an interpretation.) So the population will increase whenever \(P_n \lt K\) and will decrease whenever \(P_n \gt K\).

<<SVG image is unavailable, or your browser cannot render it>>

The equilibrium value \(K\) is called the carrying capacity, representing the population that the environment can sustain. When the population is below carrying capacity, the environment can sustain growth in the population. However, when the population is above the carrying capacity, the environment puts so much pressure on the population that the next cycle results in a smaller population.

It is often better to graph \(y=f(x)\) and \(y=x\) on the same graph. Growth in the population will correspond to intervals over which \(f(x) \gt x\) and decay occurs on intervals where \(f(x) \lt x\). We can think of the line \(y=x\) as the projection that would be required for exact replacement. Anytime the projection function is above this line, the population exceeds replacement. Anytime the projection function is below this line, the population falls. Points where the graphs intersect are fixed points and correspond to the equilibrium values of the sequence. In addition, such a graph allows us to analyze a sequence using something called a cobweb diagram.

Subsection2.5.2Cobweb Diagrams

A cobweb diagram illustrates the dynamics of a sequence through its projection function by drawing a sequence of vertical and horizontal lines that represent the projection process. A cobweb diagram always begins with a graph showing both the projection function \(y=f(x)\) and the line of exact replacement \(y=x\). Recall that a projection function takes a sequence value as input (\(x\)-value) and the output (\(y\)-value) gives the next value in the sequence. The steps in generating a cobweb diagram are explained below.

Initial Value
On the \(x\)-axis, identify the location of the initial value \(x_0\) and start on the line \(y=x\). Your current point will be \((x_0,x_0)\).
Project Next Value
Draw a vertical line between your current point and the projection graph \(y=f(x)\). The \(y\)-value of the new point will be the next sequence value.
Update Current Value
Draw a horizontal line between your last point and the line \(y=x\). The new \(x\)-value now corresponds to the next value of your sequence.
Repeat
Repeat the steps of projecting and updating. Vertical lines always end at the projection function; horizontal lines always end at \(y=x\).
Example2.5.2

Compare the cobweb diagrams for a discrete logistic population model with \(K=1\) (to represent 1 capacity unit, not 1 individual) and values \(r_0=0.75\) and \(r_0 = 1.5\) using initial values \(x_0=0.25\). The projection function when \(r_0=0.75\) is given by \(f(x) = x + 0.75x(1-x)\). When \(r_0=1.25\), the projection function is \(f(x)=x + 1.5x(1-x)\).

First, we consider the cobweb diagram for \(f(x) = x + 0.75x(1-x)\). The figure below is interactive in that you can see the repetition in drawing the segments of the diagram. For this projection function and initial value, the sequence steadily increases toward the fixed point. We can see that the fixed point is stable.

Next we look at the cobweb diagram for \(f(x)=x + 1.5x(1-x)\). In this example, the vertex of the parabola is to the left of the fixed point so that our sequence actually exceeds the carrying capacity and begins to oscillate above and below the equilibrium. However, it does still eventually converge to the fixed point.

Because we can, here is a figure where you can choose the value of \(r_0\) (\(0 \lt r_0 \lt 3\)) and the initial value \(x_0\) and explore a variety of cobweb diagrams in a single figure. Notice in particular that when the value of \(r_0\) is larger, so that the peak of the parabola is higher, the dynamics become more complex.

The code below generates the graph of \(y=f(x)\) and \(y=x\) in preparation for a cobweb diagram in Sage, with the benefit that the resulting graphic can be copied for other uses.

Building on the figure above, you can then add a particular cobweb diagram corresponding to an initial value of your choice.

Subsection2.5.3Cobwebs and Stability

We conclude the section by combining the concepts of cobweb diagrams and stability. Recall that our criteria for local stability depended on the slope of the tangent line at the fixed point. Suppose that \(x^*\) is a fixed point so that \(f(x^*)=x^*\). A cobweb diagram of the linear approximation around the fixed point behaves in one of the following four ways.

  • If \(f'(x^*) \gt 1\), then the cobweb diagram moves away from the fixed point like a staircase and the fixed point is unstable.
  • If \(0 \lt f'(x^*) \lt 1\), then the cobweb diagram moves toward the fixed point and the fixed point is stable.
  • If \(-1 \lt f'(x^*) \lt 0\), then the cobweb diagram spirals inward toward the fixed point and the fixed point is stable.
  • If \(f'(x^*) \lt -1\), then the cobweb diagram spirals outward away from the fixed point and the fixed point is stable.

More complicated dynamics can occur further away from the fixed point. But at least near the fixed point, the linear approximation gives a good description of what is happening, at least when \(|f'(x^*)| \ne 1\).

A dynamic cobweb diagram of a linear projection function \(f(x)=1+a(x-1)\) where you can choose the slope \(a\) at the fixed point \(x^*=1\) is illustrated below. Can you relate this behavior to what you observed in the discrete logistic model earlier?