Predator prey systems have gained considerable interest ever since the pioneering work by Lotka and Volterra, described in Lotka.1 In books on differential equations and applications, several authors have devoted many pages to the inspiring problems of predator prey systems. Some of the most well written cases are found in Braun,2 Blanchard et al.,3 & Tung.4 In this study, the ambition is to investigate the dynamic properties of a typical predator prey system, namely the wolf-moose system. Such systems are frequent in large parts of the world, in the large forests in North America, Russian Federation and the Nordic countries. On a rather isolated island, Isle Royale, in Lake Superior, USA, the conditions are favorable for the study of such a system. Detailed data covering the populations of wolf, moose and several other variables of potential interest, have been gathered there since the year 1959. The empirical data used in this study are found in Appendix 1, and come from Michigan Tech.5 Some earlier time series and simulations connected to the Isle Royale project have been presented by Knadler.6 When we consider predator prey systems, this may be done with different objectives. First, the system may be considered as more or less “natural” and unaffected by human regulation. In the first part of this paper, this is done. The dynamic properties of the “unregulated” system are analyzed and considerable attention is given to equilibria and stability. Second, we may also investigate if and how the system may be controlled, in order to satisfy some interests. In the second part of this paper, the options to hunt for moose and to regulate the wolf population, will be used as control variables. An objective function will be defined, where the profits from the hunting and the valuation of the wolf population will be considered. We will see how the optimal management can be designed in a way that makes the objective function and the animal populations sustainable, and simultaneously maximizes the selected objective function.
Motivation for the differential equations
In alternative predator prey models, the details of the differential equations can differ in several ways. In this paper, particular functional forms of relevance to the species under study will be assumed and empirically tested. W denotes the size of the wolf population. In equation (1), we see how the relative growth of the wolf population depends on M, the size of the moose population and the two parameters g and h. The logic behind the equation is that g is the rate of death. The relative reproduction of the wolf is assumed to be an increasing function of the moose population.
(1)
The functional form of equation (1) is linear. No nonlinear dependences can be discovered via residual analysis. Hence, the linear function is selected. In case the number of wolfs is zero, there is no predation. Then, equation (2) shows that the relative growth of the moose population is a decreasing function of the moose population. The two parameters a and b are strictly positive.
(2)
Equation (3) follows from (2) and says that, without predation, the moose population growth is a strictly concave function of the population level. This is also the basic assumption that is used in the logistic growth models with one species.
(3)
If the wolf population is strictly positive, they will survive by eating moose. Then, the moose population dynamics is modified, as we see in equation (4). The parameter c is strictly positive, representing the number of moose killed per year per wolf.
(4)
With the motivated differential equations, we obtain the simultaneous system (5).
(5)
Empirical estimation of the differential equations
The two differential equations are approximated as two difference equations. The unit of time is years. The available empirical data set includes one pair of observations
each year.
.
(6)
Then, two multiple regression analyses were performed. The residuals
are assumed to be Normally distributed with zero means and correlations.
(7)
M-regression
(8)
(9)
(10)
The number of observations was 60 and the multiple R value was 0.367. Clearly, since there is a second order term in the difference equation, the expected value of the difference is in general not constant over time. However, close to a dynamic equilibrium, for short time intervals, second order effects are very small and may be neglected.
(11)
W-regression
(12)
(13)
(14)
The number of observations was 60 and the multiple R value was 0.272.
(15)
In Table 1, it is interesting to observe that all parameter values obtained the expected signs. Furthermore, they are all, with more than 95% probability, different from zero. The standard deviations of the parameters, found in Table 1, are important, partly because they can be used to estimate the probability that the differential equation system is stable. Later in this paper, it turns out that the system is stable in case the parameters really have the estimated expected values found in Table 1. If the deviations from these values are sufficiently large, the system may become unstable. Now, let us investigate the behavior of the approximated differential equation system. We make the following assumption:
(16)
Parameter |
a
|
b
|
c
|
g
|
h
|
Estimated expected value |
0.372 |
0.178×10–3 |
6.593 |
0.244 |
0.230×10–3 |
Standard deviation |
0.135 |
0.0845×10–3 |
2.215 |
0.117 |
0.107×10–3 |
P-value |
0.00796 |
0.0390 |
0.00427 |
0.0409 |
0.0353 |
Table 1 Parameter value estimates, standard deviations, and P-values
The simplified estimated differential equation system is:
(17)
Equilibria
The estimated differential equation system has several equilibria. We may consider the cases where both species have strictly positive population sizes, and where one or two of them are zero. Since the main interest in this paper concerns the two species situation, we start with Equilibrium 1.
Equilibrium 1
In equilibrium 1, we have
.
Equation (18) shows that the moose population can be determined from the fact that the wolf population is in equilibrium.
(18)
denotes the moose population in system equilibrium with a strictly positive value of the wolf population.
(19)
When the equilibrium moose population is known, we can use this in the moose growth equation, as we see in equation (20). From this, we can determine the equilibrium wolf population.
(20)
(21)
(22)
denotes the wolf population in system equilibrium with strictly positive values of the moose and wolf populations.
(23)
Equilibrium 2
In the absence of wolves, we can instantly determine the equilibrium moose population via equation (24).
(24)
(25)
denotes the moose population in system equilibrium without a wolf population.
(26)
Obviously, the equilibrium moose population is much lower in case there is a wolf population than if there are no predators in the forest. Of course, this also affects the environment, via more damages on the plants and trees that are eaten by moose.
Equilibrium 3
Here, we consider the maximum equilibrium growth (or “production”, the number of moose per year) of a moose population without any wolf population. This may represent a maximum desired by human moose hunters.
(27)
First order optimum condition is:
(28)
There is one and only one optimal solution, namely:
(29)
The second order maximum condition is satisfied.
(30)
Hence the unique maximum of the equilibrium number of moose, continuously removed from the forest by hunters, is found in equation (31).
(31)
Qualitative analysis of the system dynamics
A phase plane is a visual display of certain properties of differential equations. In phase plane analysis, we investigate the dynamic properties of the solutions. Figure 1 shows the phase plane of the differential equation system. Along the curved strictly concave line, the moose population is in equilibrium. Along the vertical line, the wolf population is in equilibrium. The red box marks the most interesting Equilibrium 1. The equilibrium moose population and the equilibrium wolf populations are marked with green and blue boxes. The same notation is used in Figures 2–7. The “direction field” is indicated via arrows. The arrows show how the system moves over time. Clearly, the solutions will be spirals. The Figures 2 & 3 will confirm this conclusion.
Figure 1 The phase plane of the system.
Figure 2 The time path of the populations close to the equilibrium, derived via the nonlinear differential equations in the differential equation system. The initial conditions, (M,W)=(1200,25), are marked by a purple ball and the terminal conditions are marked by a yellow ball. The total simulation time represents 200 years. Each year is marked by a small white ball.
Figure 3 The time path of the populations far from the equilibrium, derived via the nonlinear differential equations in the differential equation system. The initial conditions, (M,W)=(1800,25), are marked by a purple ball and the terminal conditions are marked by a yellow ball. The total simulation time represents 200 years. Each year is marked by a small white ball.
Nonlinear simulation of the differential equation system
We may use the differential equation system (17) and simulate it with different initial conditions, to see how it develops. We use very short time intervals and determine the changes of the populations. Figures 2 & 3 show the results of such simulations with different initial conditions. The software used to create these graphs is found in Appendix 2. In the simulations, 20 000 short linear moves of both species are made over time intervals representing 0.01 year. The total time represents 200 years. We note that the solutions are very slowly converging spirals. Hence, the equilibrium seems to be a “sink”. Later, we will confirm this conjecture via a formal investigation of a linearized approximation of the system performed at the equilibrium.
Linearization of the system close to equilibrium 1
Now, the system will be linearized close to Equilibrium 1. This is done primarily to formally determine if the solution converges, stays at a constant distance from, or diverges from the equilibrium. We will also be able to understand, in general, how the answer to this question depends on the parameters. Our system is found in (32).
(32)
In equilibrium, we have:
(33)
Now, we will let u and v represent small deviations from the equilibrium.
(34)
(35)
The differential equation system may now be rewritten as (36).
(36)
The system (37) follows:
(37)
Thanks to the fact that we have an equilibrium, we get (38). This is further developed into (39) and (40).
(38)
(39)
(40)
As we approach an equilibrium, the second order terms go to zero much faster than the first order terms.
(41)
Hence, close to the equilibrium,
.
(42)
We may express the linear differential equation system as (43).
(43)
We remember that the wolf population is in equilibrium. This gives (44).
(44)
Hence, the differential equation system is simplified.
(45)
The parameter values that we now need are these:
(46)
With the parameter values, we get:
(47)
We consider exponential functional forms, as in (48).
(48)
Then, the time derivatives can be obtained and included in the equations, as in (49).
(49)
Clearly, it is necessary that (50) is satisfied.
(50)
We want to be sure that nontrivial solutions can be obtained. This implies the condition found in (51).
(51)
Hence, a quadratic equation has to be solved. This is found in (52).
(52)
(53)
There are, in general, two solutions.
(54)
(55)
Obviously, we have two complex roots. The real part is negative. This means that the solutions will be converging spirals. Since the real part is close to zero, the solution converges very slowly. In fact, it takes approximately 243 years for the spiral to get 50% closer to the equilibrium. This seems reasonable if we compare the spirals in the Figures 2 & 3.
(56)
(57)
In order to simplify and generalize the notation in the following section, we use equation (58).
(58)
The equations (59) to (65) show the steps of analysis until we end up with the system solution, found in equation (66).
(59)
(60)
(61)
(62)
(63)
(64)
(65)
(66)
Parameter determination
Now, via equation (66), the parameters of the linear approximation can be determined.
At time zero, we have:
(67)
(68)
(69)
The initial conditions that were also used in the simulation close to the equilibrium, illustrated in Figure 2, are applied:
(70)
After the derivations shown via equations (71) to (75), all parameters of the linear approximation of the system path will be known.
(71)
(72)
(73)
(74)
(75)
Now, the linear approximation of the system can be studied. The numerical derivations are found in the software included in Appendix 2. In Figure 4, we see how the linear approximation of the differential equation system works close to the equilibrium. In Figure 5, the time path of the linear approximation is compared to the time path of the original nonlinear differential equation system solution. We note that the linear approximation works very well close to the equilibrium. As the distance to the equilibrium increases, the reliability of the linear approximation is reduced.
Figure 4 The time path of the populations close to the equilibrium, derived via the time path of the linear approximation of the differential equation system. The initial conditions, (M,W)=(1200,25), are marked by a purple ball and the terminal conditions are marked by a yellow ball. The total simulation time represents 200 years. Each year is marked by a small orange ball.
Figure 5 Comparison of the time paths close to the equilibrium, via the nonlinear simulation (white path) and the solution to the linear approximation (orange path). The initial conditions, (M,W)=(1200,25), are marked by a purple ball and the terminal conditions are marked by yellow balls. The total simulation time represents 200 years. Each year is marked by small white and orange balls. Both time paths start in the same point and end in almost the same point, 200 years later. The two solutions stay close all the time. The linear approximation is reliable close to the equilibrium.
Figure 6 The time path of the populations far from the equilibrium, derived via the time path of the linear approximation of the differential equation system. The initial conditions, (M,W)=(1800,25), are marked by a purple ball and the terminal conditions are marked by a yellow ball. The total simulation time represents 200 years. Each year is marked by a small orange ball.
Figure 7 Comparison of the time paths far from the equilibrium, via the nonlinear simulation (white path) and the solution to the linear approximation (orange path). The initial conditions, (M,W)=(1800,25), are marked by a purple ball and the terminal conditions are marked by yellow balls. The total simulation time represents 200 years. Each year is marked by small white and orange balls. The terminal conditions (the yellow balls) are rather close. However, the time paths are located far from each other during long time intervals. The number of orbits around the equilibrium during the 200 years is not the same for the two paths. The linear approximation is not very reliable far from the equilibrium.
General observations concerning equilibrium 1
Since the particular empirical observations investigated in the earlier part of this paper are not always relevant to the problem at hand, it is important to investigate if it is possible to derive some general results. Equations (76) to (80) show how the general solution to the multi species equilibrium (Equilibrium 1) can be determined. Hence, as we see in equation (81), the equilibrium solution is an explicit function of the parameters of the equation system (76).
(76)
(77)
(78)
(79)
Equilibrium 1 is:
(80)
This can also be stated as:
(81)
The general dynamic properties of equilibrium 1
In this section, we will investigate the stability properties of the solution as a function of the parameters in the differential equation system. The linear approximation of the system, close to Equilibrium 1, is equation (82). In (83) and (84), we have the system matrix and the determinant of relevance to the stability determination. Compare the more specific version of the problem analyzed in equations (48) to (58).
(82)
(83)
(84)
In order to determine if the system is stable or unstable, it turns out that it is necessary to investigate the sign of the first part of the element in the first row and first column of the determinant (84). In order to do this, we first investigate the solution to an alternative problem, found in equation (85).
(85)
(86)
(87)
Via equations (88) and (89), we find a way to modify the notation in the determinant (84). This modification makes it possible to understand some fundamental principles that will soon be shown.
(88)
(89)
Now, as we see in equations (90) to (92), the real part of the roots to the quadratic equation (91) has the same sign as we find in equation (88).
(90)
(91)
(92)
We know that equation (88) is a strictly decreasing function of the moose population, as we see in equation (87), and exactly zero at the moose population level that maximizes the population growth. Hence, the real part of the root of the quadratic equation (92) is strictly positive (zero) (strictly negative) if the equilibrium moose population is lower than (the same as) (higher than) the growth maximizing moose population. Related observations concerning stability criteria have been reported for other species by Fryxell et al.7
We make one more general observation. In cases of interest and relevance:
(93)
Hence,
(94)
Since the two roots in (92) are complex, we know that the solutions are spirals. This is also consistent with the general qualitative analysis connected to Figure 1.
General results concerning the nature of Equilibrium 1:
(95)
(96)
(97)
Sustainable optimal system control
It may be rational to replace the uncontrolled development of the two species system described in the earlier part of this paper by a controlled system. Here, we assume that population level adjustments can be made rapidly and that transition periods are short. We study the optimal steady state, not the initial transition. More detailed studies of optimal transitions can sometimes be made via dynamic programming and optimal control in continuous time. We introduce R and S as control variables. R is the moose harvest level and S is the share of the wolf population that is removed from the forest. We are interested in optimal, sustainable and constant control levels. The controlled system is found in equation (98) and in (99) we find the equilibrium conditions.
(98)
(99)
In order to optimize the system, it is necessary to introduce the objective function. In equation (100), this function is defined. The economic values of one harvested moose is
. The economic value of one removed wolf is
. We assume a strictly positive valuation of the wolf population. We assume that the value of this population is proportional to a logarithmic function of the population size. This is a strictly concave function. This means that the marginal value of a wolf is very high if the population is small. The marginal value of a wolf is a strictly decreasing function of the size of the wolf population. The level of this wolf population valuation function is easily adjusted via the parameter
.
(100)
In system equilibrium, the moose harvest is an explicit function of the population levels, as we see in (101).
(101)
Furthermore, in equilibrium, the wolf population adjustment level is a linear function of the moose population.
(102)
This way, we get the objective function (103), as an explicit function of the population levels.
(103)
Now, we can maximize the objective function with the population levels as the only decision variables. Since the initial two constraints, represented by the differential equations, have already been taken care of, we have a maximization problem without constraints.
(104)
The first order optimum conditions are:
(105)
(106)
The second order derivatives are:
(107)
(108)
(109)
(110)
The second order conditions of a local maximum are:
(111)
(112)
From the first order optimum conditions, we get two equations (113, 114) that can be used to determine the optimal values of the populations.
(113)
(114)
Now, we combine the two first order conditions to get equation (115). Then, this is further developed to (116). Finally, we have the quadratic equation (117).
(115)
(116)
(117)
Using the standard procedure of solving quadratic equations, we follow the steps of equations (118) to (122).
(118)
(119)
(120)
The two optimal values of the moose population size are:
(121)
(122)
One of the two optima gives a maximum. (The other optimum is a minimum, which is mostly also an unfeasible solution with one or two negative population(s).) Inspection of the second order maximum conditions and the signs of the derived populations, reveals the feasible maximum. Since there is only one feasible solution that satisfies the local maximum conditions, we accept this as the unique global maximum. When we know the value of the moose population, we can also determine the values of the wolf population, the moose harvest level and the wolf adjustment level, that all, in combination, lead to the maximum of the objective function. This is done in (123), (124) and (125).
(123)
(124)
(125)