Abstract

This paper proposes and analyzes a mathematical model for a predator-prey interaction with the Allee effect on prey species and with self- and cross-diffusion. The effect of diffusion which can drive the model with zero-flux boundary conditions to Turing instability is investigated. We present numerical evidence of time evolution of patterns controlled by self- and cross-diffusion in the model and find that the model dynamics exhibits a cross-diffusion controlled formation growth to spotted and striped-like coexisting and spotted pattern replication. Moreover, we discuss the effect of cross-diffusivity on the stability of the nontrivial equilibrium of the model, which depends upon the magnitudes of the self- and cross-diffusion coefficients. The obtained results show that cross-diffusion plays an important role in the pattern formation of the predator-prey model. It is also useful to apply the reaction-diffusion model to reveal the spatial predation in the real world.

1. Introduction

It is well known that predator-prey interaction is one of the basic interspecies relations for ecological and social models. The mathematical model of predator-prey type has played a major role in the studies of biological invasion of foreign species, epidemics spreading, and extinction/spread of flame balls in combustion or autocatalytic chemical reaction [1]. The first differential equation model of predator-prey type Lotka-Volterra equation was formulated by Lotka and Volterra in 1920s, when attempts were first made to find ecological laws of nature [2, 3]. In recent years, one of the important predator-prey models is the Holling type II model, originally due to Holling [4, 5], which has been studied in many articles; see, for example, [612].

In population dynamics, any mechanism that can lead to the positive relationship between population density and the per capita growth rate can be termed an Allee effect [1315], starting with the pioneer work of Allee [16]. The Allee effect can be caused by a number of sources such as difficulties in finding mates at small densities, reproductive facilitation, predation, environment conditioning, and inbreeding depression. This effect usually saturates or disappears as populations get larger [17, 18]. The Allee effect’s strong potential impact on population dynamics has been attracting much attention recently. Detailed investigations relating to the Allee effect may be found in [1933].

On the other hand, in nature, there is a tendency that the preys would keep away from predators and the escape velocity of the preys may be taken as proportional to the dispersive velocity of the predators. In the same manner, there is a tendency that the predators would get closer to the preys and the chase velocity of predators may be considered to be proportional to the dispersive velocity of the preys [34, 35]. In view of these, cross-diffusion arises, which was proposed first by Kerner [36] and first applied in competitive population system by Shigesada et al. [37] to describe the population pressure by other species. Cross-diffusion expresses the population fluxes of one species due to the presence of the other species. In the realistic situation, self-diffusion implies passive diffusion where the diffusing species moves along its concentration gradient, while cross-diffusion implies countertransport. The cross-diffusion coefficient may be positive or negative. When it is positive, one species moves along the concentration gradient of another species, and when it is negative, one species moves against the concentration gradient of another species [38, 39].

Among theoretical and mathematical biologists, there has been considerable interest to investigate the dynamical behavior of a predation system of interacting populations by taking into account the effect of self- and cross-diffusion [4048]. But in the studies on spatiotemporal dynamics of a Holling type II predator-prey model with an Allee effect on prey, little attention has been paid to study the effect of self- and cross-diffusion. Based on the previous discussions, the main purpose of this paper is to examine out the stability behavior of the Holling-type-II predator-prey model with Allee effect on prey by taking into account self- and cross-diffusion.

The organization of this paper is as follows. In Section 2, we present a Holling-type-II predation model in the presence of Allee effect with self- and cross-diffusion. In Section 3, we analyze the model and derive the condition of Turing instability with respect to parameters. Furthermore, we use numerical simulations to reveal the emergence of different patterns and the influence of cross-diffusion on the dynamical behavior of the model. Finally, a brief discussion is given in Section 4.

2. Model

In this paper, we consider the following model of two-dimensional (i.e., 2) population dynamics: where and are the densities of prey and predator at time , respectively. The function describes prey multiplication, describes predation, and the term stands for predator mortality. is the food utilization coefficient. We assume that the predator response is of Holling-type-II which is usually parameterized as follows: where is the predation rate and is the half-saturation density.

Referring to [18], we assume that Allee dynamics for the prey population, its growth rate can be parameterized as follows: where is the prey carrying capacity, is the maximum per capita growth rate, and is the “threshold” (), so that for , the growth rate becomes negative. The value of can be considered as a measure of the intensity of the Allee effect: the less the value of is, the less prominent is the Allee effect [21]. In other words, the Allee effect is called “strong” if (when the growth rate becomes negative for ) and “weak” if . For , the Allee effect is absent [49].

Based on the Holling-type-II predator-prey model with the Allee effect for the prey, in the following, we investigate the dynamical complexity induced by self- and cross-diffusion in the model. By choosing appropriate scales for the variables of (1), (2), and (3), the number of parameters can be lessened. Considering dimensionless variables as in [21] with the following scaling: we obtain and employ the corresponding diffusive model as follows: Here,

In model (5), the nonnegative constants and are the self-diffusion coefficients of and , respectively, which imply the movement of individuals from a higher to lower concentration region. The cross-diffusion coefficients and express the respective population fluxes of the preys and predators resulting from the presence of the other species, respectively. That is to say, in (5) represents the tendency of the prey to keep away from its predators , and represents the tendency of the predator to chase its prey. The cross-diffusion coefficients, and , may be positive or negative. Positive cross-diffusion coefficient denotes that one species tends to move in the direction of lower concentration of another species, and negative cross-diffusion expresses the population fluxes of one species in the direction of higher concentration of another species [39, 50]. Note that is the usual Laplacian operator in a two-dimensional space.

Model (5) is to be analyzed with the following nonzero initial conditions: and the following zero-flux boundary conditions:

In the previous part, and give the size of the model in the directions of and , respectively. is the outward unit normal vector of the boundary which we will assume to be smooth. Zero-flux boundary conditions imply that no external input is imposed from outside [1, 51].

For model (5), without diffusion terms, there are four stationary states: , , , and the coexistence state , where

Using the standard linear stability analysis, it can be readily seen that(i) is always a stable node and corresponds to extinction of both prey and predator;(ii) two uniform steady states and are either nodes or saddle points, depending on the relation between the parameters, and correspond to extinction of the predator;(iii) the coexistence state lies in the biologically meaningful domain , under condition (for these parameter values and are saddle points) and it can be either a stable or unstable focus or a node. For more details about model (5) without diffusions, we can refer to reference [29].

When we take the parameters as , , , and for (5), is a stable node, and are saddle points, and the positive equilibrium exists, which is unstable and shown in Figure 1.

3. Pattern Formation

To study patterns of the self- and cross-diffusion model given by (5), we must consider a spatially homogeneous system.

In this section, we perform extensive numerical simulations of the spatially extended model (5) in a two-dimensional space, and the qualitative results are shown here. All our numerical simulations employ the zero-flux boundary conditions (8) with a system size of discretized through and with , and the time step of .

We use the standard five-point approximation for the 2 Laplacian with the zero-flux boundary conditions [52, 53]. That is, the concentrations at the time at the mesh position are given by with the Laplacian defined by where the space stepsize .

We are mainly interested in investigating the behavior of model (5) around the interior equilibrium point; so we will put emphasis on the positive equilibrium point . The entire system is initially placed in the stationary state , and the propagation velocity of the initial perturbation is thus of the order of space units per time unit. After the initial period during which the perturbation spreads, either the system goes into a time-dependent state or goes into a time-independent steady state [54].

To study the effect of diffusion on model (5), we consider the linearized form of the model about as follows: where , and We note that are small perturbations of about the equilibrium point and the stationary state can become unstable to a nonuniform perturbation Any solution of model (12) can be expanded into a Fourier series so that where , . Note that , , and are the corresponding wavenumbers.

Substituting and into (12), we obtain where . The characteristic equation of the linearized system is given by where Here, the diffusive matrix is and the determinant of is . Then the roots of (17) yield the dispersion relation

In order to have diffusion-induced instability (i.e., Turing instability), which means that it is an asymptotically stable equilibrium of the diffusion-less model (5) but is unstable with respect to solutions of the spatial model (5), at least one of the conditions and must be violated by Routh-Hurwitz criterion. It is evident that the first condition is not violated when the condition is met. Hence, in order to obtain diffusion instability, we need . Thus, the condition is given by If the minimum of is negative, then a range of modes will grow, where

In addition, when we obtain Then we have If both and exist and have positive values, they limit the range of instability for a locally stable equilibrium (see Figure 2).

Summarizing the above discussions, we can obtain the following theorem.

Theorem 1. The criterion for Turing instability for model (5) satisfies the following condition:

In Figure 3, we plot the dispersion relation corresponding to several values of parameter while keeping the others fixed as

Curve (B) in Figure 3 corresponds to the critical Turing value . When the parameter below the (i.e., curve (A) in Figure 3), the Turing instability occurs, while above the (i.e., curve (C) in Figure 3), the Turing instability decays. That is to say, when , the steady state is the only stable solution of model (5). The spatial patterns are generated when passes through the critical Turing bifurcation point .

Figure 4 shows the spatial patterns of prey and predator and the corresponding phase portraits of model (5). Figures 4(a1) and 4(a2) show stationary spotted and striped-like patterns emerge mixed in the distribution of prey and predator population density, respectively. In Figures 4(a1) and 4(a2), when , starting with a homogeneous state , the random perturbations make the formations end with spotted and striped-like coexistence in the spatial domain at (i.e., iterations), and the mixed patterns prevail over the whole domain at last. In Figure 4(a3), one can see that as , and coordinates fix to which is the steady state.

Figures 4(b1) and 4(b2) show spotted pattern formations of prey and predator , respectively. In Figures 4(b1) and 4(b2), , starting with a homogeneous state , the random perturbations make the formations end with a time-independent spotted-patterns at (i.e., iterations). From Figures 4(b1) and 4(b2), we can see that the spotted patterns prevail over the whole domain and the dynamics of model (5) do not undergo any further changes. In Figure 4(b3), which is a phase portrait, the steady state exists and is asymptotically stable. From the figure, we can see that with time.

In Figure 4, two different snapshots during the temporal evolution of model (5) are presented in a two-dimensional space under different values. These results indicate that the effect of cross-diffusion for pattern formation is tremendous, and model (5) is conditionally stable at unique positive equilibrium.

In order to investigate quantitatively the evolution of model (5), we depict the typical emergence of Turing pattern in the spacetime plots of Figure 5. The method of spacetime plots is to let be a constant, choose the line from each pattern snapshot, and pile these lines in time order [5559]. Figures 5(a) and 5(b) show the evolution process of prey throughout time and space with different , respectively, where time increases from bottom to top, and the horizontal axis represents the spatial location. From Figures 5(a) and 5(b), the single parameter of model (5) namely , which is the diffusion coefficient of the prey, can lead to dramatic changes in the qualitative dynamics of solutions. From a biological perspective, the cross term plays a constructive role in the pattern formation of the prey, that is, changes the Turing pattern into regular spatial pattern with time.

According to the works of many researchers [53, 6062], the choice of initial conditions can affect the spatiotemporal dynamics of a reaction-diffusion model in ecosystems. In Figure 6, when and other parameters are fixed as (27), we choose the special initial condition of model (5) to investigate the evolution of the spatial pattern of prey at a different evolution time. The initial condition is introduced as the following form: which is a square. Initially, the entire system is placed in the stationary state , and the propagation velocity of the initial random perturbations is thus of the order of space units per time unit. Also the system is then integrated for time steps, and some images are saved.

From Figure 6(a), we can see that a target wave pattern emerges after perturbation of the stationary solutions and of model (5). Some iterations later, it breaks towards the core, and a spot pattern (interior) with target wave pattern (exterior) occurs (see Figure 6(b)). Then one can see that after the symmetrical target-spotted mixture patterns (see Figures 6(c) and 6(d)), it grows slightly and the spots increase with time (see Figures 6(e) and 6(f)). From Figure 6, we observe that when the iteration time is large enough, the time-independent striped-like and target-spotted mixed patterns take a long time to settle down and stay stable. It finally prevails over the whole domain at .

Figure 6 illustrates the formation of the spatial patterns behavior of prey in two dimensions with self- and cross-diffusion, where the initial condition (at ) adds random and nonuniform small perturbations to the equilibrium values.

4. Conclusions and Remarks

In this paper, we investigate the pattern formation of a Holling-type-II predator-prey interacting model with an Allee effect in prey population and with self- and cross-diffusion under the zero-flux boundary conditions. We show that cross-diffusion in both predator and prey species tends to stabilize the predation model. That is to say, the unstable equilibrium of model (5) becomes stable under certain conditions. Moreover, the numerical results show that model (5) dynamics exhibits a cross-diffusion controlled formation growth not only to spotted-striped, but also to spotted pattern replication.

By a series of analysis and numerical simulations, we find that the evolutionary process depends on several parameters. In this paper, we fix the values of , , , , , , and as (27) and perform a large number of computer simulations corresponding to different . The results show that model (5) has rich spatiotemporal patterns and different patterns appear on account of the change of cross-diffusion coefficient . Biological speaking, cross-diffusion may have effect on the distribution of the species. It is also shown that if the equilibrium state of model (5) with no diffusion is unstable, then the corresponding uniform steady state of the model with self- and cross-diffusion can be made stable by changing cross-diffusion coefficients. Therefore, we hope that the results presented here will be useful for studying the dynamical complexity of ecosystems or physical systems.

Acknowledgment

The author is grateful to the reviewers and the editor of this paper for their helpful comments and suggestions.