Discrete Dynamics in Nature and Society

Volume 2012 (2012), Article ID 814069, 13 pages

http://dx.doi.org/10.1155/2012/814069

## Pattern Formation in a Cross-Diffusive Ratio-Dependent Predator-Prey Model

^{1}Chengdu Institute of Computer Application, Chinese Academy of Sciences, Chengdu 610041, China^{2}School of Foreign Language, Wenzhou University, Wenzhou 325000, China^{3}College of Mathematics and Physics, Chongqing University of Posts and Telecommunications, Chongqing 400065, China

Received 29 September 2012; Accepted 3 November 2012

Academic Editor: Yonghui Xia

Copyright © 2012 Xinze Lian et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### 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 [1–12]. 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 [17–19].

In recent years, many scientists have paid considerable attention to diffusive ratio-dependent predator-prey models, especially those with Holling III functional response [20–23]. 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, 28–35]. 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).

#### References

- D. Alonso, F. Bartumeus, and J. Catalan, “Mutual interference between predators can give rise to turing spatial patterns,”
*Ecology*, vol. 83, no. 1, pp. 28–34, 2002. View at Google Scholar · View at Scopus - R. S. Cantrell and C. Cosner,
*Spatial Ecology via Reaction-Diffusion Equations*, John Wiley & Sons, Indianapolis, Ind, USA, 2003. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - B. Dubey, N. Kumari, and R. K. Upadhyay, “Spatiotemporal pattern formation in a diffusive predator-prey system: an analytical approach,”
*Journal of Applied Mathematics and Computing*, vol. 31, no. 1-2, pp. 413–432, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - S. A. Levin, “The problem of pattern and scale in ecology: the Robert H. MacArthur award lecture,”
*Ecology*, vol. 73, no. 6, pp. 1943–1967, 1992. View at Google Scholar · View at Scopus - R. B. Hoyle,
*Pattern Formation: An Introduction to Methods*, Cambridge University Press, Cambridge, UK, 2006. View at Publisher · View at Google Scholar - E. A. McGehee and E. Peacock-López, “Turing patterns in a modified Lotka-Volterra model,”
*Physics Letters A*, vol. 342, no. 1-2, pp. 90–98, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - A. Morozov and S. Petrovskii, “Excitable population dynamics, biological control failure, and spatiotemporal pattern formation in a model ecosystem,”
*Bulletin of Mathematical Biology*, vol. 71, no. 4, pp. 863–887, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - J. D. Murray,
*Mathematical Biology*, Springer, New York, NY, USA, 2003. - W. Wang, Q.-X. Liu, and Z. Jin, “Spatiotemporal complexity of a ratio-dependent predator-prey system,”
*Physical Review E*, vol. 75, no. 5, Article ID 051913, 2007. View at Publisher · View at Google Scholar - Y. Huang and O. Diekmann, “Interspecific influence on mobility and Turing instability,”
*Bulletin of Mathematical Biology*, vol. 65, no. 1, pp. 143–156, 2003. View at Publisher · View at Google Scholar · View at Scopus - S. A. Levin and L. A. Segel, “Hypothesis for origin of planktonic patchiness,”
*Nature*, vol. 259, no. 5545, p. 659, 1976. View at Publisher · View at Google Scholar · View at Scopus - J. D. Murray, “Discussion: turing's theory of morphogenesis—its influence on modelling biological pattern and form,”
*Bulletin of Mathematical Biology*, vol. 52, no. 1-2, pp. 117–152, 1990. View at Publisher · View at Google Scholar · View at Scopus - A. M. Turing, “The chemical basis of morphogenesis,”
*Philosophical Transactions of the Royal Society B*, vol. 237, pp. 37–72, 1952. View at Google Scholar - L. A. Segel and J. L. Jackson, “Dissipative structure: an explanation and an ecological example,”
*Journal of Theoretical Biology*, vol. 37, no. 3, pp. 545–559, 1972. View at Google Scholar · View at Scopus - A. Gierer and H. Meinhardt, “A theory of biological pattern formation,”
*Biological Cybernetics*, vol. 12, no. 1, pp. 30–39, 1972. View at Publisher · View at Google Scholar · View at Scopus - A. Okubo and S. A. Levin,
*Diffusion and Ecological Problems: Modern Perspectives*, Springer, New York, NY, USA, 2001. - W. M. Wang, H. Y. Liu, Y. L. Cai, and Z. Q. Li, “Turing pattern selection in a reaction-diffusion epidemic model,”
*Chinese Physics B*, vol. 20, no. 7, Article ID 074702, 2011. View at Publisher · View at Google Scholar · View at Scopus - W. Wang, Y. Lin, L. Zhang, F. Rao, and Y. Tan, “Complex patterns in a predator-prey model with self and cross-diffusion,”
*Communications in Nonlinear Science and Numerical Simulation*, vol. 16, no. 4, pp. 2006–2015, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - W. M. Wang, W. J. Wang, Y. Z. Lin, and Y. J. Tan, “Pattern selection in a predation model with self and cross diffusion,”
*Chinese Physics B*, vol. 20, no. 3, Article ID 034702, 2011. View at Publisher · View at Google Scholar · View at Scopus - Y.-H. Fan and W.-T. Li, “Permanence for a delayed discrete ratio-dependent predator-prey system with Holling type functional response,”
*Journal of Mathematical Analysis and Applications*, vol. 299, no. 2, pp. 357–374, 2004. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - X. Liu and L. Huang, “Permanence and periodic solutions for a diffusive ratio-dependent predator-prey system,”
*Applied Mathematical Modelling*, vol. 33, no. 2, pp. 683–691, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - X. Zeng and Z. Liu, “Nonconstant positive steady states for a ratio-dependent predator-prey system with cross-diffusion,”
*Nonlinear Analysis*, vol. 11, no. 1, pp. 372–390, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - W. Lin, “Spatial pattern formation of a ratio-dependent predator prey model,”
*Chinese Physics B*, vol. 19, no. 9, Article ID 090206, 2010. View at Publisher · View at Google Scholar · View at Scopus - V. N. Biktashev, J. Brindley, A. V. Holden, and M. A. Tsyganov, “Pursuit-evasion predator-prey waves in two spatial dimensions,”
*Chaos*, vol. 14, no. 4, pp. 988–994, 2004. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - J. B. Shukla and S. Verma, “Effects of convective and dispersive interactions on the stability of two species,”
*Bulletin of Mathematical Biology*, vol. 43, no. 5, pp. 593–610, 1981. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - E. H. Kerner, “Further considerations on the statistical mechanics of biological associations,”
*Bulletin of Mathematical Biophysics*, vol. 21, pp. 217–255, 1959. View at Google Scholar - N. Shigesada, K. Kawasaki, and E. Teramoto, “Spatial segregation of interacting species,”
*Journal of Theoretical Biology*, vol. 79, no. 1, pp. 83–99, 1979. View at Publisher · View at Google Scholar - J. Chattopadhyay and P. K. Tapaswi, “Effect of cross-diffusion on pattern formation—a nonlinear analysis,”
*Acta Applicandae Mathematicae*, vol. 48, no. 1, pp. 1–12, 1997. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - B. Dubey, B. Das, and J. Hussain, “A predator-prey interaction model with self and cross-diffusion,”
*Ecological Modelling*, vol. 141, no. 1–3, pp. 67–76, 2001. View at Publisher · View at Google Scholar · View at Scopus - M. Iida, M. Mimura, and H. Ninomiya, “Diffusion, cross-diffusion and competitive interaction,”
*Journal of Mathematical Biology*, vol. 53, no. 4, pp. 617–641, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - K. Kuto and Y. Yamada, “Multiple coexistence states for a prey-predator system with cross-diffusion,”
*Journal of Differential Equations*, vol. 197, no. 2, pp. 315–348, 2004. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - G. Q. Sun, Z. Jin, Q. X. Liu, and L. Li, “Pattern formation induced by cross-diffusion in a predator-prey system,”
*Chinese Physics B*, vol. 17, no. 11, pp. 3936–3941, 2008. View at Publisher · View at Google Scholar · View at Scopus - V. K. Vanag and I. R. Epstein, “Cross-diffusion and pattern formation in reaction-diffusion systems,”
*Physical Chemistry Chemical Physics*, vol. 11, no. 6, pp. 897–912, 2009. View at Publisher · View at Google Scholar · View at Scopus - W. Ko and K. Ryu, “On a predator-prey system with cross diffusion representing the tendency of predators in the presence of prey species,”
*Journal of Mathematical Analysis and Applications*, vol. 341, no. 2, pp. 1133–1142, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - W. Ko and K. Ryu, “On a predator-prey system with cross-diffusion representing the tendency of prey to keep away from its predators,”
*Applied Mathematics Letters*, vol. 21, no. 11, pp. 1177–1183, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - A. B. Medvinsky, S. V. Petrovskii, I. A. Tikhonova, H. Malchow, and B.-L. Li, “Spatiotemporal complexity of plankton and fish dynamics,”
*SIAM Review*, vol. 44, no. 3, pp. 311–370, 2002. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - R. K. Upadhyay, W. Wang, and N. K. Thakur, “Spatiotemporal dynamics in a spatial plankton system,”
*Mathematical Modelling of Natural Phenomena*, vol. 5, no. 5, pp. 102–122, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH