Abstract

This paper presents a theoretical analysis of evolutionary process that involves organisms distribution and their interaction of spatial distribution of the species with self- and cross-diffusion in a Holling-III ratio-dependent predator-prey model. The diffusion instability of the positive equilibrium of the model with Neumann boundary conditions is discussed. Furthermore, we present novel 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 spots, stripes, and spiral wave pattern replication, which show that reaction-diffusion model is useful to reveal the spatial predation dynamics in the real world.

1. Introduction

Pattern formation is a topic in mathematical biology that studies how structures and patterns in nature evolve over time [112]. One of the mainstream topics in pattern formation involves the reaction-diffusion mechanisms of two chemicals, originally proposed by Turing [13] in 1952. In 1972, Segel and Jackson [14] called attention to the Turing’s ideas that would be also applicable in population dynamics. At the same time, Gierer and Meinhardt [15] gave a biologically justified formulation of a Turing model and studied its properties by numerical simulations. Levin and Segel [11] suggested that the scenario of spatial pattern formation is a possible origin of planktonic patchiness. A significant amount of work has been done using this idea in the field of mathematical biology by Cantrell and Cosner [2], Hoyle [5], Murray [8], Okubo and Levin [16], and others [1719].

In recent years, many scientists have paid considerable attention to diffusive ratio-dependent predator-prey models, especially those with Holling III functional response [2023]. In [23], the author studied the spatial pattern formation of the following ratio-dependent predator-prey model: where and are prey and predator density, respectively. represents the intrinsic growth rate of the prey, is the carrying capacity of the prey in the absence of predator, is the maximum consumption, is the conversion efficiency of food into offspring, is the predator interference parameter, and is the per capita predator death rate. is the usual Laplacian operator in two-dimensional space. and are the self-diffusion coefficients that imply the movement of individuals from a higher to lower concentration region. In addition, the author showed that spots and stripes-spots patterns could be observed in pure Turing instability, and spiral pattern emerged in Hopf and Turing instability [23].

On the other hand, the predator-prey system models such a phenomenon: pursuit-evasion-predators pursuing prey and prey escaping the predators [18, 19, 24, 25]. In other words, 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. Keeping these in view, cross-diffusion arises, which was proposed first by Kerner [26] and first applied in competitive population system by Shigesada et al. [27].

There has been a considerable interest in investigating the stability behavior of a predator-prey system by taking into account the effect of self- and cross-diffusion [17, 18, 2835]. Cross-diffusion expresses the population fluxes of one species due to the presence of the other species. However, in the studies on spatiotemporal dynamics of the ratio-dependent predator-prey system with functional response, little attention has been paid to study on the effect of cross-diffusion.

In this paper, we mainly focus on the spatiotemporal dynamics of a cross-diffusion ratio-dependent predator-prey model with Holling III functional response. In the next section, we establish the cross-diffusion model and derive the sufficient conditions for Turing instability. Then, we present and discuss the results of pattern formation via numerical simulation in Section 3. Finally, some conclusions are drawn.

2. The Model and Analysis

2.1. The Model

We firstly pay attention to the spatially extended ratio-dependent predator-prey model with self- and cross-diffusion, which is as follows: where and are cross-diffusion coefficients that express population fluxes of the preys and predators resulting from the presence of the other species, respectively.

We consider the model on a square domain . We also add to the reaction-diffusion equation model positive initial conditions: It is natural to assume that nothing enters this model and nothing exits this model. Thus, we will take zero-flux boundary conditions for the flat domain: In the above, denotes the size of the system in square domain, and is the outward unit normal vector of the boundary .

For simplicity, we nondimensionalize model (2.1) with the following scaling: Then model (2.1) can be rewritten as where , , , , , , . In addition, we call the diffusive matrix.

2.2. Summary of the Noncross Diffusion Model

We first consider the case of spatially homogeneous solutions. In this case spatial model (2.5) is equivalent to the ordinary differential equation model It can be seen that model (2.7) has two nonnegative real equilibria as follows.(i)The equilibrium point corresponding to extinction of the predator is a saddle point.(ii)The equilibrium point which is corresponding to a nontrivial stationary state coexistence of prey and predator, where It is easy to see that and when and hold.

Besides, Turing instability at the coexistence equilibrium of the model (2.5) has been analysis without cross-diffusion. Here, we only give a summary [23]. The characteristic equation at the steady state of model (2.5) without cross-diffusion is where, , and is given by and the trace and determinant of matrix is as follows: Now (2.9) can be solved, yielding the so-called characteristic polynomial of the original model (2.5) without cross-diffusion: where The roots of (2.12) yield the dispersion relation:

And an equilibrium is Turing instability means that it is an asymptotically stable equilibrium of nonspatial model (e.g., model (2.7)) but is unstable with respect to solutions of spatial model (e.g., model (2.5)). One can know that the stability of nonspatial model is guaranteed if the following conditions hold Then, the Turing instability sets in when at least one of (2.15) or (2.16) the following conditions is violated. However, it is evident that the first condition is not violated when the condition is met. Hence, only the violation of condition gives rise to diffusion-driven instability. Thus, the condition for Turing instability is given by

In summary, a general linear analysis shows that the necessary conditions for yielding Turing patterns are given by In fact, condition (2.18) enssured, by the definition that the equilibrium is stable for model (2.5) without diffusion model (2.7). becomes unstable for model (2.5) with diffusion if bifurcate from negative value to positif one. From (2.17), simple algebraic computations lead to (2.19).

2.3. Dynamic Analysis of the Spatial Model

To study the effect of cross-diffusion on the model system, set , , we consider the linearized form of system as follows:

Following [18], the characteristic equation of the linearized system is given by where , and The Turing instability sets in when at least one of the following conditions is violated: The first condition , which is evident that is not violated when the condition is met. Hence, only the violation of condition gives rise to diffusion-driven instability. Thus, the condition for diffusion-driven instability occurs when

Based on the above discussions, we can get the following theorem.

Theorem 2.1. If the following conditions are true: then the positive equilibrium of model (2.5) is cross-diffusion-driven instability (i.e., Turing instability).

Proof. In view of and , it follows that when and . This implies the positive equilibrium is asymptotic stable in the absent of cross-diffusion.
A necessary condition for cross-diffusive instability is given by otherwise for all since and .
For the instability, we must have for some . And we notice that achieves its minimum: at the critical value when As a consequence, if and hold, then is valid. Hence is an unstable equilibrium with respect to model (2.5). This finishes the proof.

In Figure 1, based on the results of Theorem 2.1, we show the dispersal relation of with . The green, red, and blue curves represent Hopf, self-diffusion Turing, and self-cross-diffusion Turing bifurcation curve, respectively. They separate the parametric space into five domains. The domain below the Hopf bifurcation curve is stable, the domain above the self-diffusion Turing bifurcation curve is unstable, and the domain above self-cross-diffusion Turing bifurcation curve is unstable. Hence, among these domains, only the domain (IV) satisfies conditions of Theorem 2.1, and we call domain (IV) as Turing space, where the Turing instability occurs and the Turing patterns may be undergone.

3. Pattern Formation

In this section, we perform extensive numerical simulations of the spatially extended model (2.5) in 2-dimensional (2D) spaces, and the qualitative results are shown here. Our numerical simulations employ the nonzero initial (2.2) and zero-flux boundary conditions (2.3) with a system size of by using a finite-difference methods. We use the standard five-point approximation for the 2D Laplacian with the zero-flux boundary conditions. And the time step and the grid width used in the simulations are and , respectively. The parameters are fixed as

Initially, the entire system is placed in the steady state (), and the propagation velocity of the initial perturbation is thus on the order of space units per time unit. And the system is then integrated for 1000 000 time steps, and the last images are saved. After the initial period during which the perturbation spreads, either the system goes into a time-dependent state, or to an essentially steady state (time independent).

With parameters (3.1), the positive equilibrium of model (2.5) is . Let , that is, we first consider Turing instability in the case of self-diffusion model. It is easy to conclude that , , and for all , and . Hence, in this case, there is nonexistence of Turing instability in the self-diffusion model (2.5).

Next, we consider the effect of the cross-diffusion in model (2.5), let , , and other parameters are fixed as (3.1). It is easy to know that for all , and for some . That is to say, in this case, Turing instability can occur. And in Figure 2, we show five typical Turing pattern of prey in model (2.5) with parameters set (3.1) and change from 0.4 to 0.76. From Figure 2, one can see that values for the concention are represented in a color scale varying from blue to red. And on increasing the control cross-coefficient , the sequences “spots patterns (Figure 2(a)) → spot-strips coexist patterns (Figure 2(b)) → strip patterns (c.f., Figure 2(c)) → hole-strips coexist patterns (Figure 2(d)) → holes patterns (Figure 2(e))" can be observed.

For the sake of learning the pattern formation in model (2.5) further, in the following, we select a special perturbed initial condition for investigating the evolutionary process of the infected spatial pattern, the initial condition is introduced as which is a circle in plane. The parameters are taken the same as Figure 2(a). Then, we can observe that after the decay of target patterns, the spots pattern prevails over the whole domain finally (c.f. Figure 3(d)).

Besides Turing patterns (c.f., Figures 2 and 3), there exhibits spiral wave pattern self-replication in model (2.5). As an example, in Figure 4, we show spiral patterns with , , , , , , . In this case, the equilibrium is . In order to make the image more clearly, the system size is and the grid width is 0.5. One can see the random initial distribution leads to the formation of macroscopic spiral patterns (c.f., Figure 4(a)). In other words, in this case, small random fluctuations will be strongly amplified by diffusion, leading to nonuniform population distributions. For the sake of learning the dynamics of this case further, we show time-series plots (c.f., Figure 4(b)). From Figure 4(b), one can see that the system gives rise to periodic oscillations in time, which is the reason why the spiral pattern emerges.

Thanks to the insightful works of Medvinsky et al. [36] and Upadhyay et al. [37], we have studied the spiral wave pattern for an initial condition discussed in the following equations. In this this case, we employ , and the system size is . The parameters set are same as Figure 4. The initial condition is given by where and .

The initial conditions are deliberately chosen to be unsymmetrical in order to make any influence of the corners of the domain more visible. Snapshots of the spatial distribution arising from (3.3) are shown in Figure 5 for . Figure 5(a) shows that for the model (2.5) with initial conditions (3.3), the formation of the irregular patchy structure can be preceded by the evolution of a regular spiral spatial pattern. Note that the appearance of the spirals is not induced by the initial conditions. The center of each spiral is situated in a critical point are and , where , . The distribution (3.3) contains one point. After the spirals form (Figure 5(b)), they grow slightly for a certain time, their spatial structure becoming more distinct (Figures 5(c) and 5(d)).

4. Conclusions and Discussions

In this paper, we analyzed pattern formation of a cross-diffusion ratio-dependent predator-prey model within two-dimensional space and give the conditions of cross-diffusion-driven driven Turing instability. Then, we use numerical simulations to verify the correctness of the theoretical results and find that the model exhibits complex self-replication.

The results show that model (2.5) has rich spatiotemporal patterns (spots, stripes, holes, and spiral patterns); moreover, the existence of those patterns indicates that the cross-diffusion can induce more complex pattern formation than in the case of self-diffusion.

Compared to the paper of Lin [23], we present the condition of cross-diffusion Turing pattern, while in the case of self-diffusion the solution of the model is stable. We also show that the increasing speed of diffusion will decrease the density of the prey. Similar, increasing speed of diffusion will decrease density of the predator.

Therefore, we hope that the results presented here will be useful in studying the dynamic complexity of ecosystems or physical systems.

Acknowledgments

This research was supported by Fund Project of Zhejiang Provincial Education Department (Y201223449), Natural Science Foundation of Zhejiang Province (LY12A01014), and Natural Science Foundation of China (10901121).