Instability Induced by Cross-Diffusion in a Predator-Prey Model with Sex Structure
Abstract
In this paper, we consider a cross-diffusion predator-prey model with sex structure. We prove that cross-diffusion can destabilize a uniform positive equilibrium which is stable for the ODE system and for the weakly coupled reaction-diffusion system. As a result, we find that stationary patterns arise solely from the effect of cross-diffusion.
1. Introduction
Sex ratio means the comparison between the number of male and female in the species. The sex ratio is generally regarded as 1 : 1. But for wildlife, the sex ratio of species varies with the category, environment condition, community behavior, orientation and heredity, and so forth. The animal’s sex ratio in the different life history stages may vary with different animals. Take a bird as an example: the number of the older males is larger than that of the older females with the increase in age, which is contrary to the case of the mammal where the number of the older females is larger than that of the older males with the increase in age [1, 2]. Sex ratio is the basis of analyzing the dynamic state of different species, the variation of which has a huge influence on the dynamic state of the species [1–7]. Abrahams and Dill [5] have provided evidence that male and female guppies forage differently in the presence of predators and that sexual differences in the energetic equivalence of the risk of predation exist. Eubanks and Miller [6] have found that female Gladicosa pulchra (Lycosidae) wolf spiders climb trees significantly more often than males in the presence of forest floor predators. It is found that the sex of voles affects the risk of predation by mammals and female voles are more easily predated than male voles in [7].
An interesting feature of (1.5) is that the interaction between the predators and the male prey gives rise to a cross-diffusion term. The resulting mathematical model is a strongly coupled system of three equations which is mathematically much more complex than those considered earlier. In this paper, we will show that cross-diffusion can destabilize the uniform equilibrium which is stable for models (1.1) and (1.4). Moreover, we will demonstrate that the nonlinear dispersive force can give rise to a spatial segregation of these species.
Our paper is organized as follows. In Section 2, we analyze the local stability of for (1.5) and calculate the fixed point index, which is important for our later discussions on the existence of nonconstant positive steady states. In Section 3, we prove global asymptotic stability of with d4 = 0, that is, when no cross-diffusion occurs in the model. This implies that cross-diffusion has a destabilizing effect. In Section 4, we establish a priori upper and lower bounds for all possible positive steady states of (1.5). In Section 5, we study the global existence of nonconstant positive steady states of (1.5) for suitable values of the parameters. This is done by using the Leray-Schauder degree theory and the results obtained in Sections 2, 3, and 4. In Section 6, we discuss the nonexistence of nonconstant positive steady states of (1.5). In the last section, we give a brief discussion about our model.
2. Local Stability Analysis and Fixed Point Index of
where (I − Δ) −1 is the inverse of I − Δ under homogeneous Neumann boundary conditions.
Notice that ; thus . We consider the dependence of 𝒞 on d4. Let , , and be the three roots of 𝒞(d4; μ) = 0 with . It follows that from . Thus, among , , at least one is real and negative, and the product of the other two is positive.
Proposition 2.2. Assume that (H1) and (H2) hold. Then there exists a positive number such that, when , the three roots , , of 𝒞(d4; μ) = 0 are all real and satisfy (2.13). Moreover, for all ,
Remark 2.3. Proposition 2.2 gives a criterion for the instability of when and the cross-diffusion coefficient d4 is large enough. We further check conditions (H1) and (H2). Let the parameters d1, d2, d3, b1, D1, k, c1, c2, and c3 be fixed. Condition (H1) is equivalent to β > kD3/c2, and condition (H2) is equivalent to β > 2kc1D3/γ1 for some γ1 : = c1c2 − kc3 > 0. Notice that 2c1/γ1 > 1/c2, so there exists an unbounded region , such that for any (D3, β) ∈ U1, is an unstable equilibrium with respect to (1.5) when and the cross-diffusion coefficient d4 is sufficiently large.
3. Global Asymptotic Stability of for (1.4)
The aim of this section is to prove Theorem 3.2 which shows that model (1.4) has no nonconstant positive steady state no matter what the diffusion coefficients d1, d2, and d3 are; in other words, diffusion alone (without cross-diffusion) cannot drive instability and cannot generate patterns for this predator-prey model. For this, we will make use of the following result.
Lemma 3.1 (see [17].)Let a and b be positive constants. Assume that φ, ψ ∈ C1([a, +∞)), ψ(t) ≥ 0, and φ is bounded from below. If φ′(t)≤−bψ(t) and ψ′(t) is bounded in [a, +∞), then lim t→∞ψ(t) = 0.
Theorem 3.2. Let the parameters d1, d2, d3, b1, D1, D3, k, c1, c2, c3, and β be fixed positive constants that satisfy (H1) and
Proof. Notice from [8] that is uniformly and locally asymptotically stable in the sense of [18]. We only need to prove the global stability of . Define
Remark 3.3. Notice that condition (H3) is equivalent to
4. A Priori Estimates
In the following, the generic constants C, C*, and so forth, will depend on the domain Ω and the dimension N. However, as Ω and the dimension N are fixed, we will not mention the dependence explicitly. Also, for convenience, we will write Λ instead of the collective constants (b1, D1, D3, c1, c2, c3, k, β). The main purpose of this section is to give a priori positive upper and lower bounds for the positive solutions to (2.1) when R > 0. For this, we will cite the following two results.
Lemma 4.1 (Harnack’s inequality [20]). Let be a positive solution to Δw(x) + c(x)w(x) = 0, where , satisfying the homogeneous Neumann boundary condition. Then there exists a positive constant C* which depends only on ∥c∥∞ such that .
Lemma 4.2 (maximum principle [21]). Let g ∈ C(Ω × ℝ1) and , j = 1,2, …, N.
- (i)
If satisfies
()and , then g(x0, w(x0)) ≥ 0. - (ii)
If satisfies
()and , then g(x0, w(x0)) ≤ 0.
Theorem 4.3 (upper bound). Let d and d* be two fixed positive constants. Assume that di ≥ d, i = 1,2, 3, and 0 ≤ d4 ≤ d*. Then every possible positive solution (u, v, w) of (2.1) satisfies
Proof. A direct application of the maximum principle to (2.1) gives v ≤ β/k on . Let . Using the maximum principle again, we have b1v(x0) ≥ u(x0)[D1 + ku(x0) + kv(x0) + c1w(x0)]. Thus, ku(x0)v(x0) ≤ b1v(x0) and u(x0) ≤ b1/k.
Define φ = d3w + d4uw; then, φ satisfies
Turning now to the lower bound, we first need some preliminary results.
Lemma 4.4. Let dij be positive constants, i = 1,2, 3,4, j = 1,2, …, and let (uj, vj, wj) be the corresponding positive solution of (2.1) with di = dij. If (uj, vj, wj)→(u*, v*, w*) uniformly on as j → ∞ and (u*, v*, w*) is a constant vector, then (u*, v*, w*) must satisfy
Proof. It is easy to see that for all j,
Lemma 4.5. The system
Proof. Let
Theorem 4.6 (lower bound). Let d and d* be two fixed positive constants. Assume that di ≥ d, i = 1,2, 3, and 0 ≤ d4 ≤ d*. Then there exists a positive constant C = C(Λ, d, d*), such that every possible positive solution (u, v, w) of (2.1) satisfies
Proof. If the conclusion does not hold, then there exists a sequence with d1j, d2j, d3j ≥ d and 0 ≤ d4j ≤ d* such that the corresponding positive solution (uj, vj, wj) of (2.1) satisfies
Next we derive a contradiction for all possible cases.
Firstly, we consider the case d1, d2, d3 < ∞.
- (1)
In view of (2.1), implies v = 0 on from the Harnack inequality. In this case, by the strong maximum principle and the Hopf boundary lemma, it follows that u = w = 0 on . This is a contradiction to Lemma 4.4. Thus, .
- (2)
If , we denote . By the maximum principle we have b1v(x0) ≤ u(x0)[D1 + ku(x0) + kv(x0) + c1w(x0)] = 0, and so . This is a contradiction to . Thus .
- (3)
If , let φ = d3w + d4uw. Then and φ satisfies
Next, we consider the remaining cases.
Integrating by parts, we obtain that
If d1 = ∞, then u satisfies
If d2 < ∞. In the case of , similarly to the arguments of (1), we have v = 0 on . This contradicts the first equation of (4.19). Thus and . Note that w satisfies
If d3 < ∞, the Harnack inequality implies that w = 0 on . If d3 = ∞, then w ia a constant. Since , so w = 0 on . Therefore, by Lemma 4.5, (u, v, w) = (u1, v1, 0). Similarly to the arguments of (3), we arrive at c2β − kD3 = 0, which is a contradiction.
Similarly, we can derive contradictions for all the other cases.
5. Existence of Stationary Patterns for the Model (1.5)
In this section we discuss the existence of nonconstant positive solutions to (2.1). These solutions are obtained for large cross-diffusion coefficient d4, with the other parameters d1, d2, d3, b1, D1, D3, k, c1, c2, c3, and β suitably fixed. Our main result is as follows.
Theorem 5.1. Let the parameters d1, d2, d3, b1, D1, D3, k, c1, c2, c3, and β be fixed such that (H1), (H2), and (H3) hold. Let be given by the limit (2.13). If for some n ≥ 2 and the sum is odd, then there exists a positive constant such that (2.1) has at least one nonconstant positive solution for .
Proof. By Proposition 2.2 and our assumption on , there exists a positive constant such that (2.14) holds if , and
Suppose on the contrary that the assertion is not true for some . In the following we fix .
For θ ∈ [0,1], define Φ(θ; u) = (d1u, d2v, d3w + θd4uw) T and consider the problem
Remark 5.2. Assume that all the conditions hold in Theorem 5.1. Theorem 3.2 shows that is a globally asymptotically stable equilibrium for the system (1.4). However, Theorem 5.1 implies that the cross-diffusion system (1.5) has at least one nonconstant positive steady state. Our results demonstrate that stationary patterns can be found due to the emergence of cross-diffusion.
6. Nonexistence of Nonconstant Positive Solution of (2.1)
In this section, we discuss the nonexistence of nonconstant positive solution of (2.1) when the cross-diffusion coefficient d4 > 0 is small.
Theorem 6.1. If the parameters d1, d3, d4, b1, D1, D3, k, c1, c2, c3, and β satisfy (H1), (H3), and
Proof. Assume that (u, v, w) is a positive solution of (2.1). Let , . Multiplying the equations of (2.1) by , , and , respectively, and integrating by parts, as in the proof of Theorem 3.2, we obtain 0 = −I3 − I4, where
Remark 6.2. Theorem 6.1 shows that the problem (2.1) has no nonconstant positive solutions if one of d1 and d3 is sufficiently large; that is, unlimitedly increasing one of the diffusion rates d1 and d3 will eventually wipe out all nonconstant solutions of (2.1). However, Theorem 6.1 does not tell us the effect of the diffusion rate d2 on the stationary problem (2.1). Using the similar arguments in Section 2, we can find that d2 does not cause instability of . Therefore, we conjecture that the problem (2.1) has no nonconstant positive solutions if d2 is sufficiently large.
7. Discussion
In this paper, we have introduced a more realistic mathematical model for a diffusive predator-prey system where the prey has a sex structure comprising male and female members. In this model, we model the tendency of the predators to keep away from the male prey by a cross-diffusion. As a result, our model is a strongly coupled cross-diffusion system, which is mathematically more complex than systems used to model sex-structured predator-prey behavior hitherto [1, 8]. What is noteworthy about this model is that, as the cross-diffusion term arises, it is precisely this cross-diffusion that destabilizes the uniform positive equilibrium and gives rise to stationary patterns for the model. Indeed, stationary patterns do not arise for the ODE (spatially independent) model, nor the PDE model without cross-diffusion.
On the other hand, as pointed out in [23], a Lotka-Volterra-type model can be regarded as a local approximation to a nonlinear system. In the present paper, we only consider the case that the interaction terms on the right-hand side of (1.5) are linear. For the nonlinear case, it will be extremely difficult to analyze positive steady states.
In this paper, we do not discuss the stability and the number of the nonconstant positive solutions. We will consider them in the coming papers.
Acknowledgments
This work was supported by the National Natural Science Foundation of China (no. 11061031, 11101334), the NSF of Gansu Province (096RJZA118), the Fundamental Research Funds for the Gansu University, and NWNU-KJCXGC-03-47, 61 Foundations.