Dynamics and pattern formations in diffusive predator‐prey models with two prey‐taxis

A reaction‐diffusion two‐predator‐one‐prey system with prey‐taxis describes the spatial interaction and random movement of predator and prey species, as well as the spatial movement of predators pursuing preys. The global existence and boundedness of solutions of the system in bounded domains of arbitrary spatial dimension and any small prey‐taxis sensitivity coefficient are investigated by the semigroup theory. The spatial pattern formation induced by the prey‐taxis is characterized by the Turing type linear instability of homogeneous state; it is shown that prey‐taxis can both compress and prompt the spatial patterns produced through diffusion‐induced instability in two‐predator‐one‐prey systems.     

Turing instability and Hopf bifurcation in a diffusive Leslie–Gower predator–prey model

In this paper, a reaction‐diffusion predator–prey system that incorporates the Holling‐type II and a modified Leslie‐Gower functional responses is considered. For ODE, the local stability of the positive equilibrium is investigated and the specific conditions are obtained. For partial differential equation, we consider the dissipation and persistence of solutions, the Turing instability of the equilibrium solutions, and the Hopf bifurcation. By calculating the normal form, we derive the formulae, which can determine the direction and the stability of Hopf bifurcation according to the original parameters of the system. We also use some numerical simulations to illustrate our theoretical results. Copyright © 2016 John Wiley & Sons, Ltd.     

A predator–prey model with disease in the prey species only

A predator–prey model with transmissible disease in the prey species is proposed and analysed. The essential mathematical features are analysed with the help of equilibrium, local and global stability analyses and bifurcation theory. We find four possible equilibria. One is where the populations are extinct. Another is where the disease and predator populations are extinct and we find conditions for global stability of this. A third is where both types of prey exist but no predators. The fourth has all three types of individuals present and we find conditions for limit cycles to arise by Hopf bifurcation. Experimental data simulation and brief discussion conclude the paper. Copyright © 2006 John Wiley & Sons, Ltd.     

Effect of prey‐taxis and diffusion on positive steady states for a predator‐prey system

In this paper, we consider a generalized predator‐prey system with prey‐taxis under the Neumann boundary condition. We investigate the local and global asymptotical stability of constant steady states (including trivial, semitrivial, and interior constant steady states). On the basis of a priori estimate and the fixed‐point index theory, several sufficient conditions for the nonexistence/existence of nonconstant positive solutions are given.     

Bifurcations in a diffusive predator–prey model with predator saturation and competition response

A diffusive predator–prey model with predator saturation and competition response subject to homogeneous Neumann boundary conditions is considered in this paper. We find that the spatially homogeneous and non‐homogeneous periodic solutions through all parameters of the system are spatially homogeneous. To verify our theoretical results, some numerical simulations are also carried out. Copyright © 2014 John Wiley & Sons, Ltd.     

A simple Gause‐type predator–prey model considering social predation

The consumer–resource relationships are among the most fundamental of all ecological relationships and have been the focus of ecology since its beginnings. Usually are described by nonlinear differential equation systems, putting the emphasis in the effect of antipredator behavior (APB) by the prey; nevertheless, a minor quantity of articles has considered the social behavior of predators. In this work, two predator–prey models derived from the Volterra model are analyzed, in which the equation of predators is modified considering cooperation or collaboration among predators. It is well known that competition among predators produces a stabilizing effect on system describing the model, since there exists a wide set in the parameter space where the system has a unique equilibrium point in the phase plane, which is globally asymptotically stable. Meanwhile, the cooperation can originate more complex and unusual dynamics. As we will show, it is possible to prove that for certain subset of parameter values the predator population sizes tend to infinite when the prey population goes to extinct. This apparently contradicts the idea of a realistic model, when it is implicitly assumed that the predators are specialist, ie, the prey is its unique source of food. However, this could be a desirable effect when the prey constitutes a plague. To reinforce the analytical result, numerical simulations are presented.     

Asymptotic dynamics of a deterministic and stochastic predator–prey model with disease in the prey species

In this paper, we discuss a predator–prey model with the Beddington–DeAngelis functional response of predators and a disease in the prey species. At first we study permanence and global stability of a positive equilibrium for the deterministic version of the model. Then we include a stochastic perturbation of the white noise type. We analyse the influence of this stochastic perturbation on the systems and prove that the positive equilibrium is also globally asymptotically stable in this case. The key point of our analysis is to choose appropriate Lyapunov functionals. We point out the differences between the deterministic and stochastic versions of the model. Copyright © 2013 John Wiley & Sons, Ltd.     

Global dynamics of a delayed predator–prey model with stage structure for the predator and the prey

A delayed predator–prey system with Holling type II functional response and stage structure for both the predator and the prey is investigated. By analyzing the corresponding characteristic equations, the local stability of each feasible equilibrium of the system is discussed, and the existence of a Hopf bifurcation at the coexistence equilibrium is established. By means of the persistence theory for infinite dimensional systems, it is proven that the system is permanent if the coexistence equilibrium exists. By using suitable Lyapunov functions and the LaSalle invariant principle, it is shown that the trivial equilibrium is globally stable when both the predator–extinction equilibrium and the coexistence equilibrium do not exist, and that the predator–extinction equilibrium is globally stable when the coexistence equilibrium does not exist. Further, sufficient conditions are obtained for the global stability of the coexistence equilibrium. Numerical simulations are carried out to illustrate the main theoretical results. Copyright © 2014 John Wiley & Sons, Ltd.     

Consequences of weak Allee effect on prey in the May–Holling–Tanner predator–prey model

In this work, a modified Holling–Tanner predator–prey model is analyzed, considering important aspects describing the interaction such as the predator growth function is of a logistic type; a weak Allee effect acting in the prey growth function, and the functional response is of hyperbolic type. Making a change of variables and time rescaling, we obtain a polynomial differential equations system topologically equivalent to the original one in which the non‐hyperbolic equilibrium point (0,0) is an attractor for all parameter values. An important consequence of this property is the existence of a separatrix curve dividing the behavior of trajectories in the phase plane, and the system exhibits the bistability phenomenon, because the trajectories can have different ω ? limit sets; as example, the origin (0,0) or a stable limit cycle surrounding an unstable positive equilibrium point. We show that, under certain parameter conditions, a positive equilibrium may undergo saddle‐node, Hopf, and Bogdanov–Takens bifurcations; the existence of a homoclinic curve on the phase plane is also proved, which breaks in an unstable limit cycle. Some simulations to reinforce our results are also shown. Copyright © 2015 John Wiley & Sons, Ltd.     

A ratio‐dependent predator–prey model with stage structure and optimal harvesting policy

In this paper, a ratio‐dependent predator–prey model with stage structure and harvesting is investigated. Mathematical analyses of the model equations with regard to boundedness of solutions, nature of equilibria, permanence and stability are performed. By constructing appropriate Lyapunov functions, a set of easily verifiable sufficient conditions are obtained for the global asymptotic stability of nonnegative equilibria of the model. The existence possibilities of bioeconomic equilibria have been examined. An optimal harvesting policy is also given by using Pontryagin's maximal principle. Copyright © 2007 John Wiley & Sons, Ltd.     

Existence of global solutions for a three‐species predator‐prey model with cross‐diffusion

In this short note, we study a strongly coupled system of partial differential equations which models the dynamics of a two‐predator‐one‐prey ecosystem in which the prey exercises defense switching and the predators collaboratively take advantage of the prey's strategy. We prove the existence of global strong solutions. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Stability and Hopf bifurcation of a diffusive predator‐prey model with hyperbolic mortality

The dynamics of a reaction‐diffusion predator‐prey model with hyperbolic mortality and Holling type II response effect is considered. The stability of the positive equilibrium and the existence of Hopf bifurcation are investigated by analyzing the distribution of eigenvalues without diffusion. We also study the spatially homogeneous and nonhomogeneous periodic solutions through all parameters of the system which are spatially homogeneous. To verify our theoretical results, some numerical simulations are also presented. © 2015 Wiley Periodicals, Inc. Complexity 21: 34–43, 2016     

A modified Leslie–Gower predator–prey model with ratio‐dependent functional response and alternative food for the predator

In this work, a modified Leslie–Gower predator–prey model is analyzed, considering an alternative food for the predator and a ratio‐dependent functional response to express the species interaction. The system is well defined in the entire first quadrant except at the origin ( 0 , 0 ) . Given the importance of the origin ( 0 , 0 ) as it represents the extinction of both populations, it is convenient to provide a continuous extension of the system to the origin. By changing variables and a time rescaling, we obtain a polynomial differential equations system, which is topologically equivalent to the original one, obtaining that the non‐hyperbolic equilibrium point ( 0 , 0 ) in the new system is a repellor for all parameter values. Therefore, our novel model presents a remarkable difference with other models using ratio‐dependent functional response. We establish conditions on the parameter values for the existence of up to two positive equilibrium points; when this happen, one of them is always a hyperbolic saddle point, and the other can be either an attractor or a repellor surrounded by at least one limit cycle. We also show the existence of a separatrix curve dividing the behavior of the trajectories in the phase plane. Moreover, we establish parameter sets for which a homoclinic curve exits, and we show the existence of saddle‐node bifurcation, Hopf bifurcation, Bogdanov–Takens bifurcation, and homoclinic bifurcation. An important feature in this model is that the prey population can go to extinction; meanwhile, population of predators can survive because of the consumption of alternative food in the absence of prey. In addition, the prey population can attain their carrying capacity level when predators go to extinction. We demonstrate that the solutions are non‐negatives and bounded (dissipativity and permanence of population in many other works). Furthermore, some simulations to reinforce our mathematical results are shown, and we further discuss their ecological meanings. Copyright © 2017 John Wiley & Sons, Ltd.     

Classical predator–prey system with infection of prey population—a mathematical model

The present paper deals with the problem of a classical predator–prey system with infection of prey population. A classical predator–prey system is split into three groups, namely susceptible prey, infected prey and predator. The relative removal rate of the susceptible prey due to infection is worked out. We observe the dynamical behaviour of this system around each of the equilibria and point out the exchange of stability. It is shown that local asymptotic stability of the system around the positive interior equilibrium ensures its global asymptotic stability. We prove that there is always a Hopf bifurcation for increasing transmission rate. To substantiate the analytical findings, numerical experiments have been carried out for hypothetical set of parameter values. Our analysis shows that there is a threshold level of infection below which all the three species will persist and above which the disease will be epidemic. Copyright © 2003 John Wiley & Sons, Ltd.     

Stability and Neimark–Sacker bifurcation of a ratio‐dependence predator–prey model

In this paper, stability and bifurcation of a two‐dimensional ratio‐dependence predator–prey model has been studied in the close first quadrant . It is proved that the model undergoes a period‐doubling bifurcation in a small neighborhood of a boundary equilibrium and moreover, Neimark–Sacker bifurcation occurs at a unique positive equilibrium. We study the Neimark–Sacker bifurcation at unique positive equilibrium by choosing b as a bifurcation parameter. Some numerical simulations are presented to illustrate theocratical results. Copyright © 2017 John Wiley & Sons, Ltd.     

Dynamics of a non‐selective harvesting predator–prey model with Hassell–Varley type functional response and impulsive effects

This paper is concerned with a non‐selective harvesting predator–prey model with Hassell–Varley type functional response and impulsive effects. By using the fixed point theory based on monotone operator, some simple conditions are obtained for the existence of at least one positive periodic solution of the model. The existence result of this paper implies that the functional response on prey does not influence the existence of positive periodic solution of the model, which completes some results given in recent years. Further, by applying the comparison theorem in impulsive differential equations and constructing a suitable Lyapunov functional, the permanence and global attractivity of the model are also investigated. The main results in this paper extend, complement, and improve the previously known result. And some examples and numerical simulations are given to illustrate the feasibility and effectiveness of the main results. Copyright © 2015 John Wiley & Sons, Ltd.     

Traveling wave solutions of n‐dimensional delayed reaction–diffusion systems and application to four‐dimensional predator–prey systems

This paper deals with the existence of traveling wave solutions for n‐dimensional delayed reaction–diffusion systems. By using Schauder's fixed point theorem, we establish the existence result of a traveling wave solution connecting two steady states by constructing a pair of upper–lower solutions that are easy to construct. As an application, we apply our main results to a four‐dimensional delayed predator–prey system and obtain the existence of traveling wave solutions. Copyright © 2016 John Wiley & Sons, Ltd.     

Multiplicity of positive almost periodic solutions in a delayed Hassell–Varley‐type predator–prey model with harvesting on prey

In this paper, we consider a delayed Hassell–Varley‐type predator–prey model with harvesting on prey. By means of Mawhin's continuation theorem of coincidence degree theory, some new sufficient conditions are obtained for the existence of at least two positive almost periodic solutions for the aforementioned model. To the best of the author's knowledge, so far, the result of this paper is completely new. An example is employed to illustrate the result of this paper. Copyright © 2013 John Wiley & Sons, Ltd.     

Travelling waves of a predator–prey model with a spatiotemporal delay

This paper is concerned with the existence of traveling waves to a predator–prey model with a spatiotemporal delay. By analyzing the corresponding characteristic equations, the local stability of a positive steady state and each of boundary steady states are established, and the existence of Hopf bifurcation at the positive steady state is also discussed. By constructing a pair of upper–lower solutions and by using the cross‐iteration method as well as the Schauder's fixed‐point theorem, the existence of a traveling wave solution connecting the semi‐trivial steady state and the positive steady state is proved. Numerical simulations are carried out to illustrate the main theoretical results. Copyright © 2013 John Wiley & Sons, Ltd.