Volume 2012, Issue 1 713503
Research Article
Open Access

Multiple Periodic Solutions of a Ratio-Dependent Predator-Prey Discrete Model

Tiejun Zhou

Corresponding Author

Tiejun Zhou

College of Science, Hunan Agricultural University, Changsha, Hunan 410128, China hunau.net

Search for more papers by this author
Xiaolan Zhang

Xiaolan Zhang

College of Science, Hunan Agricultural University, Changsha, Hunan 410128, China hunau.net

Search for more papers by this author
Min Wang

Min Wang

College of Science, Hunan Agricultural University, Changsha, Hunan 410128, China hunau.net

Search for more papers by this author
First published: 24 December 2012
Academic Editor: Xiang Ping Yan

Abstract

A delayed ratio-dependent predator-prey discrete-time model with nonmonotone functional response is investigated in this paper. By using the continuation theorem of Mawhins coincidence degree theory, some new sufficient conditions are obtained for the existence of multiple positive periodic solutions of the discrete model. An example is given to illustrate the feasibility of the obtained result.

1. Introduction

It is known that one of important factors impacted on a predator-prey system is the functional response. Holling proposed three types of functional response functions, namely, Holling I, Holling II, and Holling III, which are all monotonously nondescending [1]. But for some predator-prey systems, when the prey density reaches a high level, the growth of predator may be inhibited; that is, to say, the predator’s functional response is not monotonously increasing. In order to describe such kind of biological phenomena, Andrews proposed the so-called Holling IV functional response function [2]
(1.1)
which is humped and declines at high prey densities x. Recently, many authors have explored the dynamics of predator-prey systems with Holling IV type functional responses [311]. For example, Ruan and Xiao considered the following predator-prey model [5]:
(1.2)
where x(t) and y(t) represent predator and prey densities, respectively. In (1.2), the functional response function gIV(x) = cx/(m2 + x2) is a special case of Holling IV functional response.
The functional response functions mentioned previously only depend on the prey x. But some biologists have argued that the functional response should be ratio dependent or semi-ratio dependent in many situations. Based on biological and physiological evidences, Arditi and Ginzburg first proposed the ratio-dependent predator-prey model [12]
(1.3)
where the functional response function gr(x, y) = (cx/y)/(m + x/y) is ratio dependent. Many researchers have putted up a great lot of works on the ratio-dependent or semi-ratio-dependent predator-prey system [1319].
Recently, some researchers incorporated the ratio-dependent theory and the inhibitory effect on the specific growth rate into the predator-prey model [3, 7, 11, 15]. Ding et al. considered a semi-ratio-dependent predator-prey system with nonmonotonic functional response and time delay [11]; they obtained some sufficient conditions for the existence and global stability of a positive periodic solution to this system. Hu and Xia considered a functional response function [7, 15]:
(1.4)
With the functional response function, Xia and Han proposed the following periodic ratio-dependent model with nonmonotone functional response [15]:
(1.5)
where a(t), b(t), c(t), d(t), and h(t) are all positive periodic continuous functions with period ω > 0, m is a positive real constant, and K(s) : ++ is a delay kernel function. Based on Mawhins coincidence degree, they obtained some sufficient conditions for the existence of two positive periodic solutions of the ratio-dependent model (1.5).
It is well known that discrete population models are more appropriate than the continuous models when the populations do not overlap among generations. Therefore, many scholars have studied some discrete population models [3, 4, 14, 1619]. For example, Lu and Wang considered the following discrete semi-ratio-dependent predator-prey system with Holling type IV functional response and time delay [3]:
(1.6)
They proved that the system (1.6) is permanent and globally attractive under some appropriate conditions. Furthermore, they also obtained some sufficient conditions which guarantee the existence and global attractivity of positive periodic solution.
Motivated by the mentioned previously, this paper is to investigate the existence of multiple periodic solutions of the following discrete ratio-dependent model with nonmonotone functional response:
(1.7)
for , where , , and are all ω-periodic sequences, ω is a positive integer, m is a positive real constant, and satisfies , where , , +, , , and + denote the sets of all integers, nonnegative integers, positive integers, real numbers, nonnegative real numbers, and positive real numbers, respectively. The model (1.7) is created from the continuous-time system (1.5) by employing the semidiscretization technique.
The initial conditions associated with (1.7) are of the form
(1.8)
where ϕ(n) ≥ 0,  ψ(n) ≥ 0 for and ϕ(0) > 0,  ψ(0) > 0.

2. Preliminaries

For convenience, we will use the following notations in the discussion:
(2.1)
where f is a ω-periodic sequence of real numbers defined for k.
In the system (1.7), the time delay kernel sequence K(l) satisfies . Therefore, if we define
(2.2)
then G(l) is uniformly convergent with respect to lIω, and it satisfies .

Lemma 2.1. (x*(n), y*(n)) is a positive ω-periodic solution of system (1.7) if and only if is a ω-periodic solution of the following system (2.3):

(2.3)
where a(n), b(n), c(n), d(n), h(n), and τ(n) are the same as those in model (1.7).

Proof. Let (u1(n), u2(n)) = (ln(x(n)/y(n)), lny(n)); then the system (1.7) can be rewritten as

(2.4)
Therefore, (x*(n), y*(n)) is a positive ω-periodic solution of system (1.7) if and only if is a ω-periodic solution of the system (2.4).

Notice that

(2.5)
If (u1(n), u2(n)) is ω-periodic, then we have
(2.6)
Because is uniformly convergent with respect to lIω, so we have
(2.7)
Therefore, is a ω-periodic solution of the system (2.3) if and only if it is a ω-periodic solution of the system (2.4). This completes the proof.

From (1.8), the initial conditions associated with (2.3) are of the form
(2.8)
where ,  ϕ(n) ≥ 0,  ψ(n) ≥ 0 for , and ϕ(0) > 0,  ψ(0) > 0.
Throughout this paper, we assume that
  • (H1)

    ;

  • (H2)

    .

Under the assumption (H1), there exist the following six positive numbers:
(2.9)
Obviously,
(2.10)
In this paper, we adopt coincidence degree theory to prove the existence of multiple positive periodic solutions of (1.7). We first summarize some concepts and results from the book by Gaines and Mawhin [20]. Let X and Y be normed vector spaces. Define an abstract equation in X,
(2.11)
where L : DomLXY is a linear mapping, and N : XY is a continuous mapping. The mapping L is called a Fredholm mapping of index zero if dim kerL = codim ImL < + and ImL is closed in Y. If L is a Fredholm mapping of index zero, then there exist continuous projectors P : XX and Q : YY such that ImP = kerL and ImL = kerQ = Im(IQ). It follows that L|DomLkerP : (IP)XImL is invertible, and its inverse is denoted by Kp. If Ω is a bounded open subset of X, the mapping N is called L-compact on if is bounded and is compact. Because ImQ is isomorphic to kerL, there exists an isomorphism J : ImQkerL.

In our proof of the existence, we also need the following two lemmas.

Lemma 2.2 (continuation theorem [20]). Let L be a Fredholm mapping of index zero and let N be L-compact on . Suppose that

  • (a)

    for each λ ∈ (0,1), xΩ∩DomL, LxλNx;

  • (b)

    for each xΩ∩kerL, QNx ≠ 0;

  • (c)

    deg(JQN, Ω∩kerL, 0) ≠ 0.

Then the operator equation Lx = Nx has at least one solution in .

Lemma 2.3 (see [14].)If u : is a ω-periodic sequence, then for any fixed n1,n2Iω, one has

(2.12)

3. Existence of Two Positive Periodic Solutions

We are ready to state and prove our main theorem.

Theorem 3.1. Suppose that (H1) and (H2) hold. Then model (1.7) has at least two positive ω-periodic solutions.

Proof. It is easy to see that if the system (2.3) has a ω-periodic solution , then is a positive ω-periodic solution to the system (1.7). Therefore, to complete the proof, it suffices to show that the system (2.3) has at least two ω-periodic solutions.

We take

(3.1)
and define the norm of X and Y
(3.2)
for u = (u1, u2) ∈ X or Y. Then X and Y are Banach spaces when they are endowed with the previous norm ∥·∥.

For any u = (u1, u2) ∈ X, because of its periodicity, it is easy to verify that

(3.3)
are ω-periodic with respect to n.

Set

(3.4)
Obviously, kerL = 2, is closed in Y, and dim kerL = codim ImL = 2. Therefore, L is a Fredholm mapping of index zero.

Define two mappings P and Q as

(3.5)
It is easy to prove that P and Q are two projectors such that ImP = kerL and ImL = kerQ = Im(IQ). Furthermore, by a simple computation, we find that the inverse Kp of Lp : ImL → DomLkerP has the form
(3.6)
Evidently,
(3.7)
and Kp(IQ)N are continuous by the Lebesgues convergence theorem. Moreover, by Arzela Ascolis theorem, and are relatively compact for the open bounded set Ω ⊂ X. Therefore, N is L-compact on for the open bounded set Ω ⊂ X.

Corresponding to the operator equation (2.11), we get the following system:

(3.8)
where λ ∈ (0,1). Suppose that (u1(n), u2(n)) ∈ X is an arbitrary solution of system (3.8) for a constant λ ∈ (0,1). Summing (3.8) over Iω, we obtain
(3.9)
(3.10)
From system (3.8), we have
(3.11)
By using (3.9) and (3.10), we obtain
(3.12)
(3.13)

Obviously, there exist ξi,ηiIω, such that

(3.14)
From (3.10), it follows that
(3.15)
therefore
(3.16)
By using Lemma 2.3 and (3.12), we obtain
(3.17)
In particular, we have
(3.18)
or
(3.19)
The assumption (H1) implies that . So we have
(3.20)
From (3.10), we also have
(3.21)
it follows that
(3.22)
By using Lemma 2.3 and (3.12) again, we have
(3.23)
In particular, we have
(3.24)
or
(3.25)
Therefore,
(3.26)

From (3.12) and (3.20), we have

(3.27)
Similarly, from (3.12) and (3.26), we have
(3.28)

By using (3.14), (3.27), and (3.28), it follows from (3.9) that

(3.29)
(3.30)
From (3.29), we have
(3.31)
In view of (3.12), we obtain
(3.32)
Under the assumption (H2), it follows from (3.30) that
(3.33)
By using (3.12), we obtain again
(3.34)
It follows from (3.32) and (3.34) that
(3.35)

Notice that

(3.36)
for u = (u1, u2) ∈ 2. Under the conditions (H1) and (H2), we can obtain two distinct solutions of QN(u1, u2) = 0
(3.37)
After choosing a constant C > 0 such that
(3.38)
we can define two bounded open subsets of X as follows:
(3.39)
It follows from (2.10) and (3.38) that u ∈ Ω1 and u+ ∈ Ω2. Because of lnv < lnv+, it is easy to see that Ω1∩Ω2 is empty, and Ωi satisfies the condition (a) in Lemma 2.2 for i = 1,2. Moreover, QNu ≠ 0 for uΩikerL = Ωi2. This shows that the condition (b) in Lemma 2.2 is satisfied.

Because ImQ = kerL, we can take the isomorphic J as the identity mapping, then we have

(3.40)
From (3.37), QN(u1, u2) = 0 has two solutions and . Therefore we have
(3.41)
Similarly, we can obtain that
(3.42)
So the condition (c) in Lemma 2.2 is also satisfied.

By now we know that Ωi  (i = 1,2) satisfies all the requirements of Lemma 2.2. Hence the system (2.3) has at least two ω-periodic solutions. This completes the proof.

4. An Example

In the system (1.7), let a(n) = 0.5 + 0.25cos((2/3)πn), let b(n) = 1.1 + cos((2/3)πn), let c(n) = 0.11 + 0.1cos((2/3)πn), let d(n) = 0.011 + 0.01sin((2/3)πn), let h(n) = 1 + 0.5cos((2/3)πn), and let τ(n) = 2. Obviously, they are positive periodic sequences with period ω = 3. The time delay kernel sequence K(n) = (1 − exp(−1))exp(−n), which satisfies . It is easy to obtain that , , . Therefore, the conditions (H1) and (H2) are satisfied. From Theorem 3.1, the system (1.7) has at least two 3-periodic solutions.

5. Conclusion

In [3], Lu and Wang investigated a discrete time semi-ratio-dependent predator-prey system (1.6) with Holling type IV functional response and time delay. They established sufficient conditions which guarantee the existence and global attractivity of a positive periodic solution of the system. In this paper, a ratio-dependent predator-prey discrete-time model with discrete distributed delays and nonmonotone functional response is investigated. By using the continuation theorem of Mawhins coincidence degree theory, we prove that the system (1.7) has at least two positive periodic solutions under conditions (H1) and (H2). As [3], we would like to know the local stability of the two positive periodic solutions of system (1.7), which is our future work.

Acknowledgment

This work was supported by the Project of Hunan Provincial Department of Finance ((2010)51).

      The full text of this article hosted at iucr.org is unavailable due to technical difficulties.