PATTERN FORMATION OF A PREDATOR-PREY MODEL WITH THE COST OF ANTI-PREDATOR BEHAVIORS

We propose and analyse a reaction-diffusion-advection predatorprey model in which we assume that predators move randomly but prey avoid predation by perceiving a repulsion along predator density gradient. Based on recent experimental evidence that anti-predator behaviors alone lead to a 40% reduction on prey reproduction rate, we also incorporate the cost of antipredator responses into the local reaction terms in the model. Sufficient and necessary conditions of spatial pattern formation are obtained for various functional responses between prey and predators. By mathematical and numerical analyses, we find that small prey sensitivity to predation risk may lead to pattern formation if the Holling type II functional response or the BeddingtonDeAngelis functional response is adopted while large cost of anti-predator behaviors homogenises the system by excluding pattern formation. However, the ratio-dependent functional response gives an opposite result where large predator-taxis may lead to pattern formation but small cost of anti-predator behaviors inhibits the emergence of spatial heterogeneous solutions.

1. Introduction.In ecological systems, spatially heterogeneous distributions of many species have been observed, for example, patchiness of plankton in aquatic systems [36].Although such heterogeneity of species may be attributed to unevenly distributed landscapes, it may also occur in an almost homogeneous environment [36,19].One interesting question is that what are the mechanisms behind the spatial heterogeneity of species in a homogeneous environment?Generally, movement or dispersal of a species and its interactions with other species may lead to pattern formation, and predator-prey type is such an interaction.
Pattern formation of predator-prey systems has been studied extensively (see [23,3,33,31,21,45,39,34] for example).In general, if both prey and predators move randomly in habitats, prey-dependent only functional responses, including the Holling type I, II, III functional responses, can't generate spatially heterogeneous distributions.In such systems, the density-dependent death rate of predators or 776 XIAOYING WANG AND XINGFU ZOU the Allee effect in prey's growth plays a critical role in determining spatial patterns [23,24,29,25,38,27,20].On the other hand, competition between predators alone may allow pattern formation in predator-prey systems, which includes ratiodependent functional response, the Beddington-DeAngelis functional response, and their generalizations [3,33,31].Pattern formation of predator-prey models with time delay in the functional response due to handing time of the predator is also studied [47,44,9].
In addition to pure random movement of prey and predators, directed movement of predators has attracted much attention in recent years and has inspired numerous research about the so called prey-taxis problems (see [1,8,18,37,41,43,35] for example).A common feature of the models in the aforementioned papers lies in that the movement of predators is affected by the density gradient of prey, in addition to random movement.In analogy to the well-known chemotaxis, predators are attracted by prey-taxis and tend to move to habitats with higher prey density.Such biased movement allows predators to forage prey more effectively.In [1,37], the global existence of weak solution and classical solution were proved respectively.As an extension of [1,37], the authors in [43] proved the global existence of classical solution with more general local reaction terms and established the uniform persistence of the solutions as well.Global stability result of a predator-prey model with prey-taxis is obtained in recent work [17], where a broad range of growth and predation functions are considered.In [18], pattern formation was studied under various functional responses between prey and predators.The authors concluded that pattern formation may occur if the prey-taxis was small and certain functional responses or growth functions were chosen [18].
Besides the fact that predators forage prey, prey may avoid predators actively as well.Almost all species perceive predation risk to some extent and avoid predation by showing various anti-predator behaviors [10,11].More importantly, such antipredator behaviors carry a cost on the reproduction success of prey [46].Zanette et al. [46] experimentally verified that anti-predator behaviors alone caused a 40% reduction in the reproduction rate of song-sparrows when all direct predations were eliminated (see [40] for a thorough discussion about the cost of fear).Recent work of Ryan and Cantrell [30] modelled avoidance behaviors of prey in an intraguild predation community with heterogeneous distribution of resources.Biktashev et al. [8] also considered avoided prey but in a homogeneous environment and identified several patterns numerically.However, the cost of anti-predator behaviors of prey is ignored in the models of Ryan and Cantrell and Biktashev et al. [30,8].
In this paper, we extend the model based on Wang et al. by explicitly incorporating spatial effects, where spatial structures are ignored in [40].We study how the anti-predator behaviors and the corresponding cost would affect the spatial distribution of prey and predators.In Section 2, the model formulation including the so-called predator-taxis is proposed.In Section 3, the global existence of classical solution is established.In Section 4, pattern formation is analyzed both theoretically and numerically for different functional responses.We end the paper in Section 5 by giving conclusions and discussions.
2. Model formulation.Let u(x, t) and v(x, t) represent the densities of prey and predators at position x and time t respectively.As discussed in the introduction, we assume that predators move randomly to forage prey but prey can perceive predation risk and act accordingly to avoid predators actively [10,11].As a consequence, the dispersal of prey is a directed movement towards lower density of predators in addition to random movement.Ideally, the avoidance behavior of prey leads to a repulsion of prey to lower gradient of predator density.Therefore, the flux of prey is and the flux of predators is where γ(u, v) ≥ 0 represents the repulsion effect of the predator-taxis.Hence, a general reaction-diffusion-advection model with avoidance behaviors of prey is where f (u, v) and g(u, v) represent local interactions of predators and prey, d u , d v are random diffusion rates of prey and predators respectively, γ(u, v) is the sensitivity of prey to predation risk (i.e.predator-taxis).Here, we assume that Taking into account the volume filling effect [14,28,13] for γ(u, v), we adopt α(v) = α as a constant and where M measures the maximum number of prey that a unit volume can accommodate.If the number of prey goes beyond the volume M, prey can no longer squeeze into nearby space and therefore the tendency of directed movement goes to 0. For local reaction terms, we consider where satisfies the same hypotheses as f (k, v) in [40] with k 0 as a nonnegative constant.In fact, this function models the cost of anti-predator responses in the reproduction rate of prey.The successful reproduction rate of prey decreases if the defense level or equivalently predator-taxis sensitivity α increases.Similarly, higher predator density also decreases the local reproduction rate of prey because it would be easier for the prey to perceive predation risk and adopt corresponding avoidance behaviors in the presence of more predators.Here k 0 is a constant which reflects the magnitude that anti-predator behaviors exert on the local reproduction of prey.In (4), d is the natural death rate of prey, a represents the death due to intra-species competition, p(u, v) denotes the functional response between predators and prey, and m(v) is the death rate of predators.We consider either density-independent death rate or density-dependent death rate of predators, i.e.
As indicated in [23,24,20], the density dependence of predator mortality plays a critical role in pattern formation under certain situations.
We assume that individuals live in an isolated bounded domain Ω ∈ R n with homogeneous environment and ∂Ω is smooth.Hence, no-flux boundary condition is imposed where µ is the unit outward normal vector at ∂Ω.In fact, no-flux boundary condition ( 7) is equivalent to Neumann boundary condition Therefore, by ( 1), ( 2), ( 4) and ( 8), we obtain a spatial model with the avoidance behaviors of prey and the cost of anti-predator behaviors, given by the following system ∂u ∂t where u 0 (x), v 0 (x) are continuous functions.

3.
Global existence of classical solution.First, we establish the global existence of classical solutions of (9).It is clear that the carrying capacity of prey in ( 9) is K = (r 0 − d)/a.By [28], we assume that which is reasonable because K measures the maximum capacity of the environment but M merely represents the maximum number that one unit volume can be filled by prey.Notice that β(u) is not differentiable at u = M.In order to obtain classical solutions, similar to [42], we make a smooth extension of β(u) by By proving the global existence of classical solutions of system ∂u ∂t we obtain the global existence of classical solutions of (9) because β(u) = β(u) if 0 ≤ u ≤ M and we will show that u ∈ [0, M ] later.Let ρ ∈ (n, +∞), then We consider solutions of (12) in Then we have the following lemma.
Lemma 3.1.The following statements hold: (i) System (12) has a unique solution (u(x, t), v(x, t)) ∈ X defined on Ω × (0, T ) If for every G ⊂ R 2 containing X 1 , (u, v) is bounded away from the boundary of G in L ∞ (Ω) norm for t ∈ (0, T ), then T = ∞, meaning that the solution (u, v) exists globally.
Proof.Let ω = (u, v) T .Then system (12) can be written as where and Because eigenvalues of a(ω) are all positive, then (13) is normally elliptic [4,6].Hence local existence in (i) follows from Theorem 7.3 in [4].Because ( 13) is an upper-triangular system, global existence of solution in (ii) follows from Theorem 5.2 in [5].
From (ii) of Lemma 3.1, to prove the global existence of solutions, it remains to show that (u, v) are bounded away from the boundary of G in L ∞ norm.Theorem 3.2.Assume that 0 ≤ u 0 ≤ M, then the solution (u, v) satisfies u(x, t) ≥ 0, v(x, t) ≥ 0, and it exists globally in time.

Proof. Define the operator
Because 0 ≤ u 0 , u = 0 is a lower solution of the equation.Plug in u = M into (16) to obtain If v ≥ 0, then we obtain Because of the restriction (10), choosing sufficiently large M gives In addition, we have By (19) and (20), we know that u = M is an upper solution of the u equation.Therefore, by comparison principle of parabolic equations [32], we have Now we prove the L ∞ norm of v is bounded.Here we show only the proof for the case of m(v) = m 1 because the proof of the case where m(v) = m 1 + m 2 v is similar and is thus omitted.Choose v(0) = v 0 ≥ 0. Then it is obvious that v = 0 is a lower solution of the v equation, which gives v ≥ 0. It remains to show that v L ∞ (Ω) is bounded.Integrating the first equation of ( 12), we obtain Similarly, integrating the second equation of (12) gives Multiplying ( 22) by c and adding the resulting equation to (23) gives By (24), we obtain From (25), we obtain that 12), the growth of v is dependent only on u, (i.e.predators are specialist predators), which falls into "food pyramid" condition in [2].Hence by Theorem 3.1.in [2], the boundedness of v L 1 implies that of v L ∞ and this completes the proof.
4. Pattern formation.Now we analyze the pattern formation of ( 9) with general reaction terms defined in (4).Assume that (u s , v s ) is a spatially homogeneous steady state of ( 9).Let where 1.By substituting ( 26) into ( 9) with general reaction terms, equating first-order terms with respect to and neglecting higher-order terms, we obtain the linearized system at (u s , v s ) : where u(x, t), v(x, t) are still used instead of ũ(x, t), ṽ(x, t) for notational convenience.The linearized system ( 27) can be written as the matrix form: where By (28), the characteristic polynomial of the linearized system at (u s , v s ) is where k ≥ 0 is the wave number [26].Expanding the left side of (29), we obtain that Here in (30), λ = λ (k) are eigenvalues which determine the stability of the steady state (u s , v s ).For k = 0, the two roots of (30) satisfy Assume that meaning that the steady state (u s , v s ) is linearly stable when there is no spatial effect.Now for k > 0, the two roots of (30) satisfy Because of d u > 0, d v > 0 and assumption (33), we obtain that 0 for some k > 0, then (u s , v s ) becomes unstable, and such diffusion driven instability is often referred to as the Turing instability, which will lead to occurrence of spatially heterogeneous steady state, implying formation of spatial patterns.Summarizing the above analysis, we have the following Theorem.
Remark 1.Under the assumption (33), f u g v − f v g u > 0, and hence, by Theorem 4.1, pattern formation of ( 9) can not occur if 4.1.Linear functional response.Following above general analysis of pattern formation of spatial homogeneous equilibrium, we now proceed to further detailed analysis when a particular functional response is chosen.First, we analyze possible pattern formation of ( 9) with the linear functional response, where p(u, v) = p in (9).Either for the density-independent death rate or for the density-dependent death rate of predators in (6), system (9) admits several spatial homogeneous steady states.For (9), in addition to a trivial equilibrium E 0 (0, 0), a semi-trivial equilibrium E 1 ((r 0 − d)/a, 0) exists if r 0 > d is satisfied.There exists a unique positive equilibrium E(ū, v) for either predator death function in (6) if holds.However, formulas for E(ū, v) are different for each function, where , Direct calculations show that pattern formation can not occur around any constant steady state if the functional response is linear, which leads to the following proposition.Proof.Because the proofs for all steady states are similar, we show only the proof of non-existence of pattern formation around E(ū, v) when m(v) = m 1 here.Calculations give This immediately verifies (33), implying that E(ū, v) is locally stable if it exists when there is no spatial effect.Further substitution of ( 41) also shows that (37) holds, and then there is no pattern formation around E(ū, v), by Remark 1.
In fact, under additional conditions, we can prove that the unique positive equilibrium hold, where v * = (c p M − m 1 )/m 2 and ū, v are given in (40).
In fact, if the death rate of predators is the density-dependent one, then a constant upper solution for the v equation exists.Define Then by substituting v = v * into (43), we obtain because 0 ≤ u ≤ M. By the parabolic comparison principle [32], we obtain that (9).Choose a Lyapunov functional as If (u, v) is the solution to system (9), then we obtain Rearranging (46) by separating the reaction and dispersal terms gives where By using Neumann boundary condition (8) and divergence theorem, we obtain that where is a positive definite matrix, which is equivalent to show that the trace and determinant of A are positive.The trace of A, which is tr From (51), we obtain that det A > 0 is equivalent to Because 0 ≤ u ≤ M, 0 ≤ v ≤ v * , a sufficient condition for (52) to hold is Therefore, we obtain that holds.From (55), under (57), the only possibility such that V (u, v) = 0 is (u, v) = (ū, v).Hence, by the LaSalle invariance principle [22], we obtain the global stability of E(ū, v) if ( 42) holds.
By checking conditions in (42), we can not obtain an explicit formula for the predator-taxis sensitivity α due to the complex expressions of α in E(ū, v).Hence, we employ numerical simulations to explore the role that α plays in global stability of E(ū, v) by testing the parameter dependence of α in (53) and (57).As shown in Figure 1, we see that E(ū, v) is globally asymptotically stable if α is small.Similarly, by examining the impact of k 0 on the global stability of E(ū, v), we observe that E(ū, v) is globally asymptotically stable if k 0 is small, as indicated in Figure 2. In biological interpretation, Figures 1 and 2 show that prey and predators will tend to a steady state if prey are less sensitive to perceive predation risk or the cost of anti-predator defense on the local reproduction rate of prey is small, regardless of spatial effect, provided that the linear functional response is adopted.4.2.The Holling-type II functional response.Now we analyze possible pattern formation of system (9) with the Holling type II functional response [15,16] i.e., For general death function of predators defined in ( 6), a trivial equilibrium E 0 (0, 0) always exists and a semi-trivial equilibrium  Calculations indicate that pattern formation can not occur around any of these steady states E 0 , E 1 , and E(ū, v) if m(v) = m 1 , which is shown in the following proposition.
Proposition 2. Choose the functional response in (58) for (9).If the death function of predators is density-independent, then pattern formation can not occur around all the steady states E 0 , E 1 , and E(ū, v) of system (9).
Proof.Here we only show the proof for the unique positive equilibrium E(ū, v) because the proofs for E 0 , E 1 are similar and are thus omitted.Direct calculations lead to By substituting ū, v in (60) into (61), we obtain that f v < 0, g u > 0, g v = 0. Then (33) can be simplified to f u < 0, and hence, (37) holds and therefore, pattern formation is impossible to occur around E(ū, v).Now we proceed to analyze the case where the death function of predators is the density-dependent one in (6).Similar analyses to that in Proposition 2 show that there is no pattern formation around E 0 and E 1 .For the positive equilibrium E(ū, v) when m(v) = m 1 + m 2 v, explicit formula of E(ū, v) can not be obtained due to the complexity.However, under the extra conditions in (59), the existence of at least one positive equilibrium E(ū, v) of ( 9) is guaranteed, as stated in the following lemma.Proof.From (9), the positive equilibrium E(ū, v) satisfies By (62), the positivity of ū requires that v < vmax , where vmax is defined by vmax In addition, v is determined by where By substituting v = 0 into (64), we obtain which is equivalent to (59).Moreover, substituting v = vmax into (64) gives if (59) holds.Therefore, by the intermediate value theorem, there exists at least one v ∈ [0, vmax ] such that L(v) = 0. Hence, the existence of at least one positive equilibrium E(ū, v) is guaranteed if (59) holds.
When E(ū, v) exists under m(v) = m 1 + m 2 v, we employ numerical simulations to examine how α would change the stability of E(ū, v) when spatial effects exist and generate possible spatial heterogenous patterns.Figure 3 indicates that if α is large, the population of both prey and predators tend to a spatial homogeneous steady state.However, if α is small, spatial heterogenous pattern appears, as indicated in Figure 4. Biologically, weak prey sensitivity to predation risk is an underlying mechanism for generating spatial patterns in the predator-prey system.Notice that anti-predator behaviors of prey also lead to a cost on the local reproduction of prey.However, the magnitudes of impact that anti-predator behaviors exert on the dispersal of prey and on the local reproduction of prey may be different.Therefore, we also test the role that k 0 plays in predator-prey system.By increasing the value of k 0 to k 0 = 20 while holding other parameters in Figure 4 unchanged, we obtain a figure similar to Figure 3 (omitted).Further check by substituting parameters into (35) and (36) gives a contradiction, which confirms the non-existence of pattern formation.Therefore, we conclude that large cost of anti-predator response of prey in its reproduction has a stabilizing effect by excluding the appearance of pattern formation and ensures the stability of the positive spatial homogeneous steady state.

Ratio-dependent functional response.
In this section, we analyze (9) with the ratio-dependent functional response, i.e.
again with the predator death rate functions given in (6).For either death function of predators, system (9) with (68) admits a spatial homogeneous semi-trivial equilibrium E 1 ((r 0 − d)/a, 0) , which exists if r 0 > d.Direct calculations show that pattern formation can not occur around E 1 .The proof is similar to the proof in Proposition 2 and is omitted here.

4.3.1.
With density independent death rate for the predator.Consider the case with m(v) = m 1 first for simplicity.A unique positive equilibrium E(ū, v) exists when where  lower gradient of predator density but there is no cost on the reproduction success of prey (i.e.k 0 = 0 in ( 9)).When k 0 = 0, ū, v are simplified to  which do not involve α.In this case, substituting (71) into ( 35) and (36) gives the following proposition.
Proposition 3. When (69) holds and k 0 = 0, pattern formation around E(ū, v) may occur if Proof.Direct calculations show that at E(ū, v), we have (74) Substituting ( 74) into ( 35) and (36) gives which leads to (73).Moreover, (33) needs to be satisfied to guarantee the local stability of E(ū, v) without spatial effect.From (74), it is clear that λ 0 1 λ 0 2 > 0 is always satisfied if E(ū, v) exists and λ 0 1 + λ 0 2 < 0 gives (72).Proposition 3 implies that when there is no cost of anti-predator defense on the reproduction success of prey, small predator-taxis sensitivity α may lead to pattern formation around E(ū, v).Taking α as a bifurcation parameter, then bifurcation from the spatial homogeneous steady state E(ū, v) to a spatial heterogeneous steady state occurs at By choosing parameter values as shown in Figure 5 and substituting them into (76), we obtain the critical value of bifurcation α c = 9.874.Figure 5 shows that if α > α c , local stability of ū, v remains even if spatial effects exist.Notice that for model ( 9), a bounded domain Ω is considered.Therefore, conditions (72) and (73) only give necessary conditions of pattern formation around E(ū, v).To proceed with more detailed analysis, consider a one-dimensional domain [0, L] with no-flux boundary condition, where the wave number k can be expressed explicitly as k = (n π)/L with n = 0, ±1, ±2 • • • .From ( 31), the instability of E(ū, v) may only occur if b(k 2 ) changes from positive to negative for some k > 0 such that where Equivalently, (77) in terms of modes n becomes where n 1 = (k 1 L)/π, n 2 = (k 2 L)/π.For a bounded domain, the wave number is discrete [26].Therefore, the critical value of bifurcation α c = 9.874 we obtained above may not be the actual bifurcation value because an integer n satisfying (79) may not exist.However, by choosing parameters in Figure 6, we obtain that n 1 = 0.6177, n 2 = 8.0317, which admits at least one integer n such that (79) is satisfied.Hence, for this parameter set, conditions (72) and ( 73) are in fact sufficient and necessary conditions for pattern formation.With parameters in Figure 6, positive equilibrium E(ū, v) loses stability for some spatial modes and heterogeneous spatial patterns emerge.Now we analyze the case where k 0 = 0, i.e. there exists cost on the reproduction rate of prey due to anti-predator behaviors of prey.Noticing from (70) that ū and v contain α if k 0 = 0. Still regarding α as a bifurcation parameter in the following analysis but with k 0 = 0, an explicit formula of α can not be obtained due to the complexity of (70).Therefore, we employ numerical simulations to explore the role that α plays in pattern formation when k 0 = 0.By choosing parameters in Figure 7, conditions in (33) are satisfied.Furthermore, the solid line in Figure 7 corresponds to (35) and the dashed line in Figure 7 represents (36).It is clear that α should satisfy α > α 1 = 0.2979, to ensure the pattern formation of E(ū, v).Hence, we obtain that α > α 2 is a necessary condition for diffusion-taxis-driven instability of E(ū, v) by (80).We conjecture that α > α 2 is also a sufficient condition.Indeed, numerical simulations support this conjecture, implying that α = α 2 is the bifurcation value for pattern formation.Figure 8 confirms that if α is relatively small, the density of prey and predators tend to a spatial homogeneous steady state eventually.However, if we increase the value of α until it passes the critical bifurcation value α = α 2 , then spatial heterogeneous steady state emerge, as shown in Figure 9.By comparing the two cases where k 0 = 0 and k 0 = 0, we find some interesting distinctions between the two cases.If k 0 = 0, then prey avoid predators by moving towards lower predator density locations but there is no cost of anti-predator behaviors on the local reproduction success of prey.In this circumstance, small predator-taxis leads to instability of spatial homogeneous steady state of predatorprey system, which eventually form spatial heterogeneous patterns.Similar results have been obtained in [18], in which the opposite scenario where prey move randomly but predators chase prey by moving towards higher prey density gradient in addition to random diffusion was studied.In [18], by considering the same ratio dependent functional response between prey and predators, the authors concluded that spatial pattern formation may occur if the prey-taxis was small.However, in contrast to the case where k 0 = 0 or the similar conclusion in [18], if k 0 = 0, (i.e. the cost of anti-predator response is incorporated), analyses above show that large predator-taxis may result in spatial pattern formation.Biologically, when the cost of anti-predator behaviors exists, strong anti-predator behaviors of prey have a destabilizing effect by destroying the stability of the uniformly distributed equilibrium, and giving rise to spatial non-homogeneous patterns.On the other hand, weak anti-predator behaviors of prey have a stabilizing effect in predator-prey system by excluding the emergence of spatial pattern formation.Notice that stronger anti-predator behaviors of prey also carry larger cost on the reproduction success of prey.In order to examine the impact that the cost of avoidance behaviors of prey exerts on spatial distribution of prey and predators, we also conduct simulations by varying the value of k 0 .Decreasing the value of k 0 while holding other parameters in Figure 9 unchanged gives Figure 10, which shows that solutions tend to a homogeneous steady state.Further computation confirms that small k 0 leads to the violation of conditions ( 35) and (36), which excludes the possibility of pattern formation.In biological interpretation, small cost of anti-predator behaviors has a stabilizing effect by converting a spatial heterogeneous steady state into a spatial homogeneous one if the functional response between predators and prey is ratio dependent.
We also point out here that in [3], the authors analyzed pattern formation of a predator-prey system where both prey and predators disperse randomly.By using numerical simulations, and considering the same ratio-dependent functional response, the authors concluded that the most possible Turing pattern occurred at places where the growth rate of prey and the death rate of predators were similar [3].As a special case of ( 9), we also analyze the model As shown in (81), different from model (9), prey have no directed movement but disperse randomly in the habitat.However, in local reaction between prey and predators, the cost of anti-predator behaviors still exists and the reproduction success of prey is reduced as a result.For notational convenience, let k 1 = k 0 α, which represents the level of anti-predator behaviors.Higher level of anti-predator defense of prey (i.e.larger value of k 1 ) leads to lower reproduction rate of prey.Again similar to the analysis above when k 0 = 0, we conduct numerical simulations to analyze the role that k 1 exerts in pattern formation.By plotting (35) and (36) with respect to varying k 1 , a figure which is very similar to Figure 7 is obtained, indicating that large k 1 may lead to pattern formation.Further numerical simulations of (u(x, t), v(x, t)) over time and space confirm that spatial heterogeneous patterns are formed if k 1 is large, which are similar to Figures 6(a) and 6(b) respectively and are thus omitted.The above analyses of (81) indicate that small cost of anti-predator behaviors has a stabilizing effect on predator-prey system by excluding the possibility of Turing bifurcation when both prey and predators move randomly.Different from [3], by incorporating the cost of fear into modelling, Turing instability may or may not occur when birth rate of prey r 0 and death rate of predators m 1 are similar, depending on the value of k 1 indeed.Proof.From (9), it is obvious that ū satisfies Obviously, the existence of ū requires that where b 1 c > m 1 holds by (69).Moreover, v is determined by where which is implied by (69).Furthermore, substituting v = vmax into (84) gives if b 1 c > m 1 is satisfied.Therefore, by the intermediate value theorem, there exists at least one positive equilibrium E(ū, v) if (69) holds.
When E(ū, v) exists with m(v) = m 1 + m 2 v, we analyze possible pattern formation and conduct numerical simulations, following the same procedures as in the previous case where m(v) = m 1 .Both theoretical and numerical results are similar to the previous case, in which strong anti-predator behaviors (i.e.large α) induces a spatial heterogeneous steady state, while weak anti-predators behaviors stabilize the system by converting solutions to spatial homogeneous ones.Moreover, small cost of anti-predator behaviors on prey reproduction (i.e.small k 0 ) may also exclude the occurrence of pattern formation.The difference between the two cases where m(v) = m 1 and m(v) = m 1 + m 2 v lies in that for m(v) = m 1 + m 2 v, large k 0 induces spatial homogeneous but time-periodic solutions (Hopf bifurcation), as shown in Figure 11.However, if m(v) = m 1 , increasing the value of k 0 can not give time-periodically solutions but remain spatial heterogeneous solutions.By further substituting parameters in Figure 11 into (33), we find that large k 0 leads to f u + g v > 0, which implies that time-periodic solutions emerge due to Hopf bifurcation.4.4.Beddington-DeAngelis functional response.In this section, we analyze possible pattern formation when p(u, v) in ( 9) is chosen as the Beddington-DeAngelis functional response [7,12], i.e., For either death function m(v) of predators in (6), a trivial equilibrium E 0 (0, 0) always exists and a semi-trivial equilibrium E 1 ((r 0 − d)/a, 0) exists if r 0 > d.Mathematical analyses show that pattern formation can not occur around E 0 or E 1 .
Because the result is similar to the results in previous sections and the analyses follow standard procedures, we omit the proof here.Due to the complexity of the Beddington-DeAngelis functional response (88), pattern formation around positive equilibrium is explored by numerical simulations.As shown in Figure 12 and Figure 13 respectively, for the case where m(v) = m 1 , small α may induce pattern formation but large α inhibits the emergence of spatial heterogeneous patterns.The simulation results hold for either k 0 = 0 or k 0 = 0. Also, we obtain a figure which is very similar to Figure 12 by increasing the value of k 0 to k 0 = 10 while holding other parameters in Figure 13 unchanged.Biologically, it indicates that large cost of anti-predator behaviors on the reproduction of prey has a stabilizing effect by converting a spatially heterogeneous steady-state to spatially homogeneous one.The same conclusions hold for the case where m(v) = m 1 + m 2 v, for which we conduct simulations and do not observe difference from the previous density-independent case.

Conclusions and discussions.
In this paper, we propose a spatial predatorprey model with avoidance behaviors in the prey as well as the corresponding cost of anti-predator responses on the reproduction success of prey.The focus is on the formation of spatial patterns.Various functional responses and both densityindependent and density-dependent death rates of predators are considered for the model.
Mathematical analyses show that pattern formation cannot occur if the functional response is linear, or it is the Holling type II but the death rate of the predators is density-independent.However, pattern formation may occur if the death rate of predators is density-dependent with the Holling type II functional response.Moreover, functional responses other than the prey-dependent only ones, including ratio-dependent functional response and the Beddington-DeAngelis functional response, may also allow the emergence of spatial heterogeneous patterns.Under conditions for pattern formation, the common point for the case with the Holling type II functional response and the case where the functional response is chosen as the Beddington-DeAngelis type is that small prey sensitivity to predation risk (i.e.small α) induces spatial heterogeneous steady states while large α excludes pattern formation.In addition, large cost of anti-predator behaviors on the reproduction rate of prey (i.e.large k 0 ) has a stabilizing effect by transferring spatial  heterogeneous steady states into homogeneous ones.The case where the functional response is a ratio-dependent one exhibits different mechanisms for pattern formation, compared with other cases.For a special case where the prey avoid predation by moving toward habitats with lower predator density but the cost of such antipredator behaviors is ignored (i.e.k 0 = 0), we obtain similar conclusions.However, if the cost of anti-predator responses is incorporated, mathematical analyses give an opposite result.To elaborate, large prey sensitivity to predation risk (i.e.large α)  may lead to a spatially heterogeneous steady state by destroying the local stability of a positive constant equilibrium while small α excludes the possibility of pattern formation.Moreover, different from other cases where large k 0 stabilizes system, in the case of ratio dependent functional response, small k 0 inhibits the emergence of pattern formation and stabilize a homogeneous equilibrium as well.By these results obtained by both mathematical analyses and numerical simulations, we may conclude that anti-predator behaviors of prey and the cost on prey's reproduction success have important impacts on pattern formation in spatial predator-prey systems.Avoidance behaviors of prey and the cost of fear may have either stabilizing effect or destabilizing effect, when they interplay with different functional responses.
In this paper, we mainly focused on modelling avoidance behaviors and the cost of anti-predator behaviors in the reproduction of prey in a spatial predator-prey system.Therefore, predators are assumed to move randomly in their habitats.In reality some predator species demonstrate prey-taxi when they forage for their preys (see, e.g., [43]).It is interesting to see how the prey-taxis effect on the predators and the predator-taxi effect on the prey (fear effect) will jointly affect the population dynamics in the predator-prey system.A even more interesting question would be how these two types of taxi effects will interplay with the cost of anti-predator behaviors.We leave these as possible future work.

Proposition 1 .
Either for m(v) = m 1 or for m(v) = m 1 + m 2 v, pattern formation can not occur around any of the constant steady states E 0 , E 1 , and E(ū, v).
E(ū, v) exists and we analyze necessary conditions for pattern formation around E(ū, v).First consider a special case where prey avoid predation towards

4. 3 . 2 .
With density dependent death rate for the predator.Now we proceed to the case where the death function of predators is density dependent, where m(v) = m 1 + m 2 v.The existence of positive equilibrium is shown in the following lemma.Lemma 4.4.If m(v) = m 1 + m 2 v, then at least one positive equilibrium E(ū, v) exists if (69) holds.