Volume 3, Issue 5 e1159
SHORT COMMUNICATION
Full Access

A remark on “ Global dynamics of a tritrophic food chain model subject to the Allee effects in the prey population with sexually reproductive generalized-type top predator” [Comp and Math Methods. 2019; E1079, pp. 1–23]

Eric M. Takyi

Eric M. Takyi

Department of Mathematics, Iowa State University, Ames, Iowa, USA

Search for more papers by this author
Kwadwo Antwi-Fordjour

Kwadwo Antwi-Fordjour

Department of Mathematics and Computer Science, Samford University, Birmingham, Alabama, USA

Search for more papers by this author
Said Kouachi

Said Kouachi

Department of Mathematics and Informatics, College of Science and Technology, University of Khenchela, El Hamma, Algeria

Search for more papers by this author
Rana D. Parshad

Corresponding Author

Rana D. Parshad

Department of Mathematics, Iowa State University, Ames, Iowa, USA

Correspondence Rana D. Parshad, Department of Mathematics, Iowa State University, Ames, IA 50011, USA.

Email: [email protected]

Search for more papers by this author
First published: 15 March 2021
Citations: 2

Funding information: National Science Foundation

Abstract

In Debnath et al. (2019), a tritrophic food chain model subject to a Allee effect on the prey growth and Crowley–Martin senses functional response between intermediate predator and top predator, with a top predator of sexually reproductive type is considered. It is claimed that under certain restrictions on the parameter space, the model has bounded solutions for all positive initial conditions, and is dissipative. We show that this is not true. In particular, solutions to the model can blow-up in finite time, even under the restrictions derived in Debnath et al. (2019), for sufficiently chosen initial data. We derive a new extinction boundary for the system. We also conjecture on the effect of the Allee threshold on the blow-up dynamics in the model. All of our results are validated via numerical simulations.

1 INTRODUCTION

Tritrophic food chains have been intensely investigated in ecology and applied mathematics. This started with the seminal work of Hastings and Powell, who showed that the dynamics of a three species food chain consisting of a specialist top predator depredating on a specialist middle predator, that depredates on a prey species, with Rosenzweig–McArthur functional responses, can possess chaotic dynamics.1 This started intense investigation into chaos in ecology.2-4 Next, Upadhyay and Rai proposed a three species food chain, where the top predator is sexually reproducing via a quadratic growth term, and is also a generalist.5 They model the dynamics of the top predator via a modified Leslie–Gower scheme. The Upadhyay–Rai model has since been investigated in great detail, due to the rich plethora of dynamics it possesses.5-11 These include temporal chaos, spatio-temporal chaos, Turing patterns, and rich bifurcation structure.

Note, the Upadhyay–Rai model has also been shown to possess solutions that can blow-up in finite time, for large and small initial conditions.12, 13 This property has been proven for many variants of the model as well.13-22 Thus, a recent research direction has been to modify the model and variants, via various ecological mechanisms that might prevent the blow-up, such as prey refuge, predator interference, time delay due to gestation, diffusion and mixed boundary conditions to name a few.20, 23-26 The most recent in this line of work,27 considers two new “damping” mechanisms, (1) a Allee effect (both weak and strong) is considered in the prey and (2) the top predator's functional response is considered to be of Crowley–Martin type, although its explicit dynamics are modeled via a modified Leslie–Gower scheme.

In population dynamics, Allee effects are positive correlations between individual fitness and population density. They are said to be strong if the per capita growth rate of the population at low density is negative below a critical threshold. When the population goes below this threshold, extinction occurs.28-31 On the other hand, they are weak when the per capita growth rate is lower at lower densities,32 but still positive. There are several mechanisms which can cause Allee effects such as difficulties in finding mates in sparse populations, predation, environmental conditioning, and inbreeding.33, 34 Allee effects play a critical role in the local or global extinction of populations.33, 35 Thus, considering this as an inhibiting mechanism, to population models that possess explosive solutions, is a worthwhile endeavor. However, a strong Allee effect in prey, and its subsequent effect on blow-up dynamics on the Upadhyay–Rai class of models, has not been considered to the best of our knowledge, before.27 The strong Allee effect will clearly cause a decrease in the prey population if one is below the Allee threshold, and this will reduce recruitment into the middle predator class, so the middle predator could perhaps be kept at a lower density, via a strong Allee effect in the prey—which could work favorably in removing a blow-up solution. When the Allee effect is weak, as modeled, the growth rate of prey is lower at lower density—but again the effect on blow-up dynamics is unknown.

Note, the model as considered in Reference 27 has been considered earlier in Reference 21, without the Allee effect in the prey. Blow-up is seen there also Reference 21. The effect of interference as modeled via Crowley–Martin response, is seen to worsen the blow-up situation. In that the interference by prey handling predators alone, can cause blow-up, whilst there is global existence without this form of interference, see theorem 2.3 Reference 21. To these ends, Reference 27 claims that one has a boundedness results for the system considered therein, and that their proposed system is dissipative in + 3 —under a new parametric restriction derived by them. This may seem ecologically feasible due to the complex interplay of the Allee dynamics at lowest trophic level and the Crowley–Martin response at the mid trophic level. However, one needs to investigate this claim rigorously.

In the current article we show
  1. There is no boundedness for the system proposed in Reference 27, despite the Allee dynamics, and the new parametric restrictions mentioned in Reference 27. That is, there exists sufficiently large initial conditions for which the system can blow-up in finite time, see Theorem 1, see Figure 1. Thus, the system proposed in Reference 27 is not dissipative in + 3 .
  2. We delineate the phase space into regions of coexisting interior equilibriums versus boundary equilibriums versus blow-up solutions. Typically, the Allee threshold or “extinction boundary” as it is alluded to in the literature28 delineates initial conditions that lead to persistence versus extinction. We find that in our system the boundary is more complicated, in that there are initial conditions leading to blow-up as well, see Figure 3.
  3. We propose via conjecture 1, and numerically verify, see Figure 2, that the weak Allee effect in bottom prey could be a stronger damping mechanism to an explosive top predator population, than a strong Allee effect. We discuss various ecological applications of these results.
Details are in the caption following the image
Time series plot depicting finite time blow-up in r in the model (1) with initial conditions [7, 4, 10] at approximately t = 0.8. Here, a 2 = 0 . 2 , α 3 = 10 , c = 1 . 6 , δ = 0 . 8 , and all other parameters are the same in (5). Note here a 2 + η δ α 1 = 0 . 2 + 0 . 802 0 . 8 3 . 93 = 4 . 14 < 10 1 . 6 = 6 . 25 = α 3 c . Thus, we see that the parametric restriction (3) as claimed in Reference 27 holds, yet there is finite time blow-up
Details are in the caption following the image
Time series plots of the model (1) with initial conditions [3, 2, 3] (A) weak Allee effect with β = 0 . 4 , (B) weak Allee effect, that is, β = 0 , (C) strong Allee effect with β = 0 . 9 . Here, c = 0 . 3 , α 3 = 0 . 2 , a 2 = 0 . 2 , and all other parameters are the same in (5). We see finite time blow up in (C), but global existence in (A), (B)

2 LACK OF BOUNDEDNESS

In Reference 27 the authors considered the following three species food chain ODE model,
d u d t = u 1 u u β u v u + a = f 1 u , v , r , d v d t = δ v + α 1 u v u + a v r 1 + a 1 v + b 1 r + b 2 v r = f 2 u , v , r , d r d t = c r 2 α 3 r 2 v + a 2 = f 2 u , v , r ()
which represents a tritrophic predator-prey model with one prey and two predators with Allee effect on the growth function of the prey population u. Note, a strong Allee effect implies 0 < β 1 and a weak Allee effect requires 1 < β 0 . This prey u is fed on by an intermediate predator v, that has prey-dependent Holling type II functional response. This intermediate predator v is in turn fed on by a top predator r, via a Crowley–Martin functional response. r is sexually reproducing, and is modeled via a modified Leslie–Gower scheme.5, 6, 36
In Reference 27, various results on the positivity and boundedness of the solutions to system (1) are proved, First, in order to show positivity of the solutions, the authors used the direct method. However, based on the invariant regions (see, e.g., Reference 37) we know that the region
+ 3 = u , v , r 3 , u 0 , v 0 , r 0 ,
is invariant under the following condition
f 1 0 , v , r 0 , f 2 u , 0 , r 0 , f 3 u , v , 0 0 , for all u 0 , v , r 0 ,
which is satisfied for system (1).
Second, for the boundedness of u(t), the authors studied separately, the two cases 0 < u 0 1 and u 0 > 1 . However, we know by the same techniques based on the invariant regions, that for any positive constant M the region
= u , v , r 3 , 0 u M , v 0 , r 0 ,
is invariant (i.e., u(t) is bounded for all time t) under the following condition
f 1 M , v , r 0 , for all u 0 , v , r 0 ,
which is satisfied for system (1) for all M ≥ 1.

2.1 Boundedness of v

The authors proved that the solution components (u, v) are absorbed, before proving the global existence in time by claiming in Reference 27,

“For large values of t, we obtain u ( t ) + 1 α 1 v ( t ) η δ

where η = max t 0 u 1 u u β + δ u . This cannot be claimed for such systems. Instead one should apply the following alternative (see Friedman,38 Henry,39 Pazy,40 Smoller,37 and Rothe41).

Proposition 1.The three-component system (1) admits a unique local in time, classical solution u , v , r on an interval [ 0 , T max [ and we have either

(i) The solution is bounded on [ 0 , T max [ and it is global ( i.e., T max = + ).

(ii) Or

lim t T max max u ( t ) + v ( t ) + r ( t ) = ,
and the solution is not global, we say that it blows-up in finite time T max or that it ceases to exist, where T max denotes the eventual blowing-up time.

Furthermore, the authors used the following differential inequality
ξ ( t ) = : u ( t ) + 1 α 1 v ( t ) u ( 0 ) + 1 α 1 v ( 0 ) e δ t + η δ 1 e δ t , t > 0 ,
to deduce
ξ ( t ) η δ , ()
which is not true, however, it is true that,
ξ ( t ) u ( 0 ) + 1 α 1 v ( 0 ) + η δ , 0 < t < T max .

2.2 Blow-up in finite time of r

The authors in Reference 27 claim,

“we shall prove u(t), v(t) are bounded, and if a 2 + η δ α 1 < α 3 c , then r(t) is bounded for any nonnegative initial condition.”

To the contrary we show,

Theorem 1.Under condition

a 2 + η δ α 1 < α 3 c , ()
and for large initial data, we have blow-up at finite time of the solutions to system (1).

Proof.By integrating the third equation of the (1), we have

1 r + 1 r 0 = c t α 3 t 0 d s v ( s ) + a 2 ,
which gives
r = 1 1 r 0 c t + α 3 t 0 d s v ( s ) + a 2 .
If we prove that the function: t ψ t = 1 r 0 c t + α 3 t 0 d s v ( s ) + a 2 < 0 at a time 0 < T < , since ψ 0 > 0 , then by continuity of ψ , and the intermediate value theorem, ψ must vanish at some finite time, and so the solution r will blow-up in finite time.

Since the reaction terms are continuous functions, then the solutions are classical and continuous and

lim t 0 1 t t 0 d s v ( s ) + a 2 = 1 v 0 + a 2 .
If v 0 is sufficiently large, then there exists δ > 0 such that
1 t t 0 d s v ( s ) + a 2 < c 2 α 3 , for all t 0 , δ . ()

This is true for any c > 0, in particular for c s.t. (3) holds.

Then for all t 0 , δ , we have

ψ t = 1 r 0 + c + α 3 t t 0 d s v ( s ) + a 2 t < 1 r 0 c 2 t .
Now if r 0 is sufficiently large, then we can find T 0 , δ such that
1 r 0 c 2 T = 0 + .
Then the solution r of (1) blows-up in finite time for initial conditions v0 and r0 sufficiently large.

Remark 1.Note, the estimate via (4), holds irrespective of the value of c, and certainly holds even if c meets the requirement of (3). Thus, this parametric restriction is not sufficient to prevent blow-up if one chooses appropriately large initial conditions. Also note, the blow-up for large initial conditions clearly shows that model system (1) is not dissipative.

2.3 Effect of Allee threshold on blow-up dynamics

Herein we attempt to quantify the effect of the Allee threshold β on the blow-up dynamics present in (1). To this end we conjecture,

Conjecture 1.Consider the three species food chain model (1). There is a set of positive parameters and initial data (u0, v0, r0) s.t solutions blow-up in finite time, but solutions initiating from the same set of parameters with β 0 , and the same initial data (u0, v0, r0), exist globally in time.

This tells us that the transition from a strong Allee effect ( β > 0 ) to a weak Allee effect ( β 0 ), can act as a damping mechanism—or rather the weak Allee effect in bottom prey, is more effective in checking explosive populations of top predators, than perhaps a strong Allee effect in bottom prey.

3 EXTINCTION BOUNDARY

The dynamics of bistable/multistable systems, even with the inclusion of Allee effects, generically consists of multiple equilibrium, interior equilibrium, and boundary equilibrium, also the extinction equilibrium. The stable manifold of the saddle (separatrix) splits the phase space into sections, delineating initial conditions from going to interior equilibrium, boundary equilibrium or extinction. Such curves are also called the extinction boundary/Allee threshold/threshold manifold in the literature.28 Note, that although this curve is seen to be monotone with respect to initial conditions, its general shape (even in two species models with or without Allee effects) is an open problem in ecology.28 We show that for the current system, this curve is even richer, as there exists a zone which leads to blow-up solutions. One can see this in Figure 3, if one compares the left and middle panels, with the simple extinction boundary—to the right panel, and the more complex extinction boundary.

Details are in the caption following the image
Herein (in (A) and (B)) we consider (1), with r = 0, to yield a two species model, we show the extinction boundary in this setting, and how it changes when we increase the Allee threshold. In (A) the chosen parameters are as in (5), with β = 0 . 065 . In (B) β = 0 . 32 . We see that increasing the Allee threshold, lowers the extinction boundary, and there is more initial data that goes to extinction—as expected. However, we have a classical shaped extinction boundary. In (C) we simulate the full three species system (1)—but show only v − r plane. Here again we use parameters in (5) and obtain one stable interior equilibrium, two first axial equilibria of which one is stable and the other unstable, one unstable planar equilibrium and one stable extinction equilibrium. The v − r space as seen in (C) shows the different dynamics of system (1), when initial data is picked from each colored region. The colored regions are classified as the extinction region (blue), coexistence region (magenta), prey persistence region (green), and finite time blow-up region (red)
We consider the following parameters for numerical experiments seen in Figure 3,
β = 0 . 32 , a = 0 . 85 , α 1 = 3 . 93 , δ = 1 . 8 , b 1 = 0 . 21 , b 2 = 0 . 56 , c = 0 . 4 , α 3 = 0 . 3 , a 2 = 0 . 6 , a 1 = 0 . 54 . ()

4 CONCLUSION

In the current work, we show that the model as considered in Reference 27, is not bounded, even under the parametric restrictions imposed therein. In particular solutions can blow-up in finite time. We also derive a new extinction boundary, see Figure 3, which clearly delineates initial data that could go to the extinction state, a boundary equilibrium, an interior equilibrium, or to a blow-up solution. This possesses a richer structure, than standard extinction boundaries for systems, without the blow-up dynamic. Furthermore, Conjecture 1 points to an interesting albeit counter intuitive phenomenon, that the weak Allee effect in the prey, can damp the explosive top predator population perhaps more so than a strong Allee effect can. This is certainly counterintuitive as a strong Allee effect can truly cause negative density dependence, for initial data below the Allee threshold, whereas a weak Allee effect only causes the growth rate to slow, at low populations. Proving this conjecture would make for interesting future work. This also has interesting ramifications for design of conservation strategies for species. It shows that in order to control species density at the top trophic level, one could implement controls at a much lower trophic level, to achieve the desired control. One could also look into engineering a weak Allee effect in specific food chains.28 Note, these results do not preclude the strong Allee effect from being a damping mechanism. But at this point we don't have a parameter set (or rigorous proof) to support this claim. This is also a possible direction of future investigation.

All in all, we caution yet again, from claiming boundedness results, for all positive initial data, for food chain models where the top predator is modeled using a modified Leslie–Gower scheme. Researchers should approach such models with care, and posit bounds on solutions, only under restrictions on the size of the initial data. It would appear from a survey of the literature where blow-up has been proved for such models, that parametric restrictions, without restricting the size of the initial data, do not suffice to yield global in time existence of solutions.

ACKNOWLEDGMENT

Eric M. Takyi and Rana D. Parshad would like to acknowledge valuable partial support from the NSF via DMS-1839993.

    Biographies

    • Eric M. Takyi is a PhD Candidate (2021) at the Department of Mathematics at Iowa State University. His research interests include Biomathematics, Dynamical Systems, and Bifurcation theory.

    • Kwadwo Antwi-Fordjour is an Applied Mathematician of African diaspora and received his PhD in 2016 from the University of Alabama at Birmingham. He joined the Department of Mathematics and Computer Science at Samford University in 2018 after a 2-year Visiting Assistant Professor position at Earlham College. His professional interests lie in the area of ordinary, partial, and stochastic differential equations where he models biological, ecological, and social systems. He currently serves as an Associate Editor of the Journal of Applied Mathematics and Computing.

    • Said Kouachi obtained my first PHD degree in Mathematics from Paris 7 University (1985) and my second one in Applied Mathematics from University of Annaba (Algeria 1999). He has taught mathematics in several universities during 36 years. Examples of courses taught in both undergraduate and graduate levels: Linear and abstract algebra, ordinary and partial differential equations, analysis and numerical analysis, stability, dynamical systems, differential geometry, calculus 1 and 2, fluid, and continuous mechanics. He has supervised more than 45 master and PHD theses in mathematics. He has funded the post-graduation in applied mathematics and responsible of several research projects at several Saudi and Algerian Universities. He has published more than 45 International Papers in reputed Scientific Journals. Actually he is a full professor Teaching Mathematics at Khenchela University (Algeria).

    • Rana D. Parshad is an Assistant Professor of Mathematics at Iowa State University. His research focuses on differential equations and dynamical systems methods in population dynamics. His work has been funded by the National Science Foundation.

      The full text of this article hosted at iucr.org is unavailable due to technical difficulties.