Skip to main content

Theory and Modern Applications

Diversities of periodic solutions for a class of ecological model

Abstract

We consider a nonautonomous predator-prey model with nonmonotonic functional response in the periodic environment. Some new sufficient conditions are obtained for the nonexistence of periodic solutions and the global existence of at least one or two positive periodic solutions. Our method is based on Mawhin's coincidence degree and novel estimation techniques for the priori bounds of unknown solutions. Some novel estimation techniques are employed for the priori bounds of unknown solutions to Lz = λNz, which are much different from the arguments used in the previous literature. Some applications are also presented to illustrate the feasibility and effectiveness of our main results. A conclusion ends this article.

Mathematics Subject Classification (2000): Primary: 34C25; Secondary: 92D25, 92B05

1 Introduction

The dynamic relationship between predators and their preys has been and will continue to be one of the dominant themes in both ecology and mathematical ecology due to its universal importance [14]. In modelling, the different predator-prey systems, Holling [5] proposed three types of monotonic functional responses g ( x ) =x, x m + x , x 2 m + x 2 . Monotonic response functions are appropriate in many predator-prey models; however, there are experiments that indicate nonmonotonic responses occur, for example, in the cases of 'inhibition' in microbial dynamics and 'group defence' in population dynamics [69]. Unlike the monotonic response, the nonmonotonic response is humped and declines at high prey density x. Indeed, the so-called Holling type IV functional response g ( x ) = x a + x + x 2 m (which is not monotone) has been proposed and used to model the inhibitory effect at high concentrations [7]. In [8], the author investigated the following autonomous ordinary differential equation of generalized Gause type as a predator-prey model with 'group defense'.

d x d t = x g ( x , K ) - y p ( x ) : = p ( x ) [ F ( x , K ) - y ] d y ( t ) d t = y ( t ) [ - d + q ( x ) ] .

Taking the carrying capacity of the environment as a bifurcation parameter, they showed that the model undergoes a sequence of bifurcations include homoclinic bifurcation as well as Hopf bifurcation. Then in [9], the authors have also considered a special predator-prey model with type IV functional response.

d x ( t ) d t = r x 1 - x ( t ) K - m x ( t ) y ( t ) 1 + b x ( t ) + a x 2 ( t ) , d y ( t ) d t = y ( t ) - d + c m x ( t ) 1 + b x ( t ) + a x 2 ( t ) ,
(1.1)

where the nonmonotonic functional response is x ( t ) y ( t ) 1 + b x ( t ) + a x 2 ( t ) . They have investigated a series of bifurcations that system (1.1) undergoes, including the saddle-node bifurcation, the supercritical and subcritical Hopf bifurcations, as well as the homoclinic bifurcation. It is interesting that they found that the unique equilibrium is a cusp of codimension 3 (a degenerate Bogdanov-Takens bifurcation point). The investigation of multiple bifurcations has also been carried out on the following predator-prey system with 'group defense' using the nonmonotonic functional response g(x) = xe-βx (see [10])

d x ( t ) d t = r x 1 - x ( t ) K - c x ( t ) y ( t ) e - β x ( t ) , d y ( t ) d t = y ( t ) [ - d + α x ( t ) e - β x ( t ) ] .
(1.2)

As we know, the variation of the environment plays an important role in many biological and ecological dynamic systems. To incorporate the periodicity of the environment (e.g. seasonal effects of weather, food supplies, mating habits, etc.), it is reasonable to assume periodicity of the parameters in the system. For this reason, Chen [11] has considered the following predator-prey system with Holling type IV functional response in a periodic environment

d x ( t ) d t = x ( t ) [ b 1 ( t ) - a 1 ( t ) x ( t - τ 1 ( t ) ) ] - c ( t ) x ( t ) y ( t ) x 2 ( t ) m + x ( t ) + a , d y ( t ) d t = y ( t ) - b 2 ( t ) + a 2 ( t ) x ( t - τ 2 ( t ) ) x 2 ( t - τ 2 ( t ) ) m + x ( t - τ 2 ( t ) ) + a ,
(1.3)

where a i (t), b i (t) and τ i (t) (i = 1, 2) are all positive periodic continuous functions with period ω > 0, and m, a are positive real constants. By applying the method of coincidence degree and the bounds for solutions to an operator equation, some sufficient conditions have been obtained for the global existence of at least two periodic solutions of system (1.3). By employing the theory of coincidence degree and some novel estimation techniques for the priori bounds of unknown solutions to Lz = λNz, Xia et al. [12, 13] obtained some sufficient conditions for the discrete model and the stage-structured model with nonmonotonic functional response, respectively.

Recently, coincidence degree theory introduced by Gaines and Mawhin [14] has been a powerful tool to investigate the periodic nonautonomous systems. It has gained increasing interest in many applications to biological systems (see, e.g. [1128]). Motivated by aforementioned discussions, in this article, we propose the following more general nonautonomous models with nonmonotonic functional response g:

( t ) = x ( t ) [ a ( t ) - b ( t ) x ( t ) ] - c ( t ) g ( x ( t ) ) y ( t ) , ( t ) = y ( t ) [ - d ( t ) + e ( t ) g ( x ( t ) ) ] ,
(E)

and

( t ) = x ( t ) [ a ( t ) - b ( t ) x ( t - τ 1 ( t ) ) ] - c ( t ) g ( x ( t ) ) y ( t ) , ( t ) = y ( t ) [ - d ( t ) + e ( t ) g ( x ( t - τ 2 ( t ) ) ) ] ,
(F)

where x(t) and y(t) represent prey and predator densities, respectively, a(t), b(t), c(t), d(t), e(t), τ1(t) and τ2(t) are nonnegative periodic continuous functions with period ω > 0. We assume the functional response g: [0, ∞) → [0, ∞) is continuous and satisfies the (NM) ('nonmonotonic') condition:

  1. (i)

    g(0) = 0;

  2. (ii)

    there exists a constant M > 0 such that (x - M)g'(x) < 0 for xM.

Clearly, g is increasing on [0, M), decreasing on (M, ∞), and g(x) ≤ g(M) for x ≥ 0. Also, it is easy to see that the functions

g ( x ) = x m 2 + x 2 , g ( x ) = x e - β x and g ( x ) = x x 2 m + x + a

appearing in (1.1)-(1.3) satisfy conditions (i)-(ii). Obviously, the systems (1.1)-(1.3) are special cases of system (E) or (F).

Throughout, if f (t) is an ω-periodic function, we shall denote

f ¯ = 1 ω 0 ω f ( t ) d t.

Clearly, f ¯ >0 if f (t) > 0, a.e. t [0, ω]. We also set

D= d ē ¯ .

From the point of view of mathematical biology, we choose + 2 = { ( x , y ) T 2 : x > 0 , y > 0 } as the state space for (E) and (F).

We shall study the global existence of ω-periodic solutions of (E) and (F) using D= d ¯ ē as the bifurcation parameter. Some new and interesting sufficient conditions are obtained for the nonexistence of periodic solutions, global existence of at least one positive periodic solution and global existence of at least two positive periodic solutions. When system (F) reduces to the particular case (1.3), our results generalize the previous results in [11]. Our method is based on Mawhin's coincidence degree and novel estimation techniques for the a priori bounds of unknown solutions. We will introduce some novel estimation techniques for the priori bounds of unknown solutions to Lz = λNz, which are much different from the arguments used in the existing literature [1128].

The outline of the article is as follows. In Sect. 2, a sufficient condition is obtained for the nonexistence of periodic solutions. In Sect. 3, we establish criteria for the existence of at least one positive periodic solution. Section 4 is devoted to obtaining existence criteria for at least two positive periodic solutions. Finally, to illustrate the generality and usefulness of the results obtained, we present some applications in Sect. 5.

2 Nonexistence

We shall first give a necessary condition for the existence of periodic positive solutions of the system (E).

Theorem 2.1 If the system (E) has a positive ω-periodic solution, then g(M) ≥ D.

Proof. We make the change of variables

x ( t ) = exp { u ( t ) } and y ( t ) = exp { v ( t ) } .
(2.1)

Then, system (E) becomes

u ˙ ( t ) = a ( t ) - b ( t )  exp { u ( t ) } - c ( t ) g ( exp { u ( t ) } )  exp { v ( t ) - u ( t ) } , v ˙ ( t ) = - d ( t ) + e ( t ) g ( exp { u ( t ) } ) .
(2.2)

Obviously, system (E) is equivalent to system (2.2) on R + 2 . Suppose the system (2.2) has a ω-periodic solution (u(t), v(t)) T , i.e., u(t + ω) = u(t) and v(t + ω) = v(t). An integration of the second equation of (2.2) over [0, ω] leads to

v ( ω ) - v ( 0 ) = 0 ω [ - d ( t ) + e ( t ) g ( exp { u ( t ) } ) ] d t ,

or

0 = - d ¯ ω + 0 ω e ( t ) g ( exp { u ( t ) } ) d t .
(2.3)

Since g(M) is the maximum of g(x), it follows from (2.3) that

d ¯ ω = 0 ω e ( t ) g ( exp { u ( t ) } ) d t g ( M ) ē ω ,

which implies

g ( M ) d ē ¯ =D.

This completes the proof of Theorem 2.1.    □

The following is immediate from Theorem 2.1.

Theorem 2.2 If g(M) < D, then the system (E) has no positive ω-periodic solution.

3 Existence of one periodic solution

In this section, we shall apply the continuation theorem of Mawhin's coincidence degree theory to establish the global existence of at least one positive periodic solution. We first summarize a few concepts from the book by Gaines and Mawhin [14].

Let X, Y be real normed vector spaces. Let L: DomL XY be a linear mapping, and N: XY be 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, there exist continuous projectors P: XX, and Q: YY such that ImP = KerL, KerQ = ImL = Im(I - Q). It follows that L| DomL ∩ KerP: (I - P)X → ImL is invertible. We denote the inverse of that map by K p . If Ω is an open bounded subset of X, the mapping N will be called L-compact on Ω ¯ if QN ( Ω ¯ ) is bounded and K p ( I - Q ) N : Ω ¯ X is compact. Since ImQ is isomorphic to KerL, there exists an isomorphism J: ImQ → KerL.

Lemma 3.1 (Continuation theorem [14]) Let L be a Fredholm mapping of index zero and N be L-compact on Ω ¯ . Suppose

  1. (a)

    for each λ (0, 1), every solution z of Lz = λNz is such that z ∂Ω;

  2. (b)

    QNz ≠ 0 for each z ∂Ω ∩ KerL and deg{JQN, Ω ∩ KerL, 0} ≠ 0.

Then, the operator equation Lz = Nz has at least one solution lying in Dom L Ω ¯ .

Theorem 3.1 Assume

(H1) g(M) = D;

(H2) ā> b ¯ M exp { ( | a | ¯ + ā ) ω } .

Then, the system (E) has at least one positive ω-periodic solution.

Proof. We shall consider the system (2.2) (equivalent of (E)). Take

X=Y= { z = ( u ( t ) , v ( t ) ) T C ( , 2 ) : z ( t + ω ) = z ( t ) }

and define

| | z | | = max t [ 0 , ω ] | u ( t ) | + max t [ 0 , ω ] | v ( t ) | , z = ( u , v ) T X o r Y ,

where | · | denotes the Euclidean norm. Then, X and Y are Banach spaces with the norm || · ||. For any z = (u, v) T X, by means of the periodicity assumption, we can easily check that

Δ 1 ( z , t ) : = a ( t ) - b ( t )  exp { u ( t ) } - c ( t ) g ( exp { u ( t ) } )  exp { v ( t ) - u ( t ) } , Δ 2 ( z , t ) : = - d ( t ) + e ( t ) g ( exp { u ( t ) } )

are ω-periodic. Define L on DomLX, where DomL = {(u(t), v(t)) T C1(, 2)}, by

L u v = d u ( t ) d t d v ( t ) d t ,

and also define N: XX by

N u v = Δ 1 ( z , t ) Δ 2 ( z , t ) .

Further, define P and Q on X by

P u v =Q u v = 1 ω 0 ω u ( t ) d t 1 ω 0 ω v ( t ) d t .

It is not difficult to show that

Ker L = { z X : z = C 0 , C 0 2 } , Im L = z Y : 0 ω z ( t ) d t = 0 is closed in Y , dim Ker L = codim Im L = 2 ,

and P and Q are continuous projectors such that

Im P= Ker L, Ker Q= Im L= Im ( I - Q ) .

It follows that L is a Fredholm mapping of index zero. Furthermore, the generalized inverse (to L) K p : ImL → DomL ∩ KerP exists, and is given by

K p ( z ) = 0 t z ( s ) d s - 1 ω 0 ω 0 t z ( s ) d s d t .

Then, QN: XY and K p (I - Q)N: XX are defined by

QNz= 1 ω 0 ω Δ 1 ( z , t ) d t 1 ω 0 ω Δ 2 ( z , t ) d t

and

K p ( I - Q ) Nz= Ψ 1 ( z , t ) Ψ 2 ( z , t ) ,

where

Ψ i ( z , t ) = 0 t Δ i ( z , s ) d s - 1 ω 0 ω 0 t Δ i ( z , s ) d s d t - t ω - 1 2 0 ω Δ i ( z , s ) d s , i = 1 , 2 .

Clearly, QN and Kp(I - Q)N are continuous. Using the Arzela-Ascoli Theorem, it is not difficult to prove that K p ( I - Q ) N ( Ω ¯ ) ¯ is compact for any open bounded set Ω X. Moreover, QN ( Ω ¯ ) is bounded. Therefore, N is L-compact on Ω ¯ for any open bounded set Ω X.

Now we need to search for an appropriate open bounded subset Ω for the application of Lemma 3.1. Corresponding to the operator equation Lz = λNz where λ (0, 1), we have

u ˙ ( t ) = λ a ( t ) - b ( t )  exp { u ( t ) } - c ( t ) g ( exp { u ( t ) } )  exp { v ( t ) - u ( t ) } , v ˙ ( t ) = λ - d ( t ) + e ( t ) g ( exp { u ( t ) } ) .
(3.1)

Suppose z = (u(t), v(t)) T X is a solution of (3.1) for a certain λ (0, 1). An integration of (3.1) over [0, ω] leads to

0 ω [ a ( t ) - b ( t )  exp { u ( t ) } - c ( t ) g ( exp { u ( t ) } )  exp { v ( t ) - u ( t ) } ] d t = 0 , 0 ω [ - d ( t ) + e ( t ) g ( exp { u ( t ) } ) ] d t = 0 ,

or

0 ω b ( t )  exp { u ( t ) } d t + 0 ω c ( t ) g ( exp { u ( t ) } )  exp { v ( t ) - u ( t ) } d t = ā ω ,
(3.2)
0 ω e ( t ) g ( exp { u ( t ) } ) d t = d ¯ ω .
(3.3)

By mean value theorem, there exists ξ (0, ω) such that

0 ω e ( t ) g ( exp { u ( t ) } ) d t=g ( exp { u ( ξ ) } ) 0 ω e ( t ) d t.

Hence, noting g ( M ) =D= d ¯ /ē, it follows from (3.3) that

exp { u ( ξ ) } =M or  u ( ξ ) = ln  M.
(3.4)

On the other hand, from the first equation of (3.1) and (3.2), we have

0 ω | u ˙ ( t ) | d t = λ 0 ω | a ( t ) - b ( t )  exp { u ( t ) } - c ( t ) g ( exp { u ( t ) } )  exp { v ( t ) - u ( t ) } | d t < | a | ¯ ω + 0 ω b ( t )  exp { u ( t ) } d t + 0 ω c ( t ) g ( exp { u ( t ) } )  exp { v ( t ) - u ( t ) } d t = ( | a | ¯ + ā ) ω .
(3.5)

Similarly, from the second equation of (3.1) and (3.3), it is not difficult to derive that

0 ω | v ˙ ( t ) | d t < ( | d | ¯ + d ¯ ) ω .
(3.6)

It follows from (3.4) and (3.5) that

u ( t ) u ( ξ ) + 0 ω | u ˙ ( t ) | d t < ln  M + ( | a | ¯ + ā ) ω : = A 1
(3.7)

and

u ( t ) u ( ξ ) - 0 ω | u ˙ ( t ) | d t > ln  M - ( | a | ¯ + ā ) ω : = B 1 .
(3.8)

Since (u(t), v(t)) T X, there exist δ, η [0, ω] such that

v ( δ ) = min t [ 0 , ω ] v ( t ) and v ( η ) = max t [ 0 , ω ] v ( t ) .
(3.9)

Note that g(M) = D is the maximum of g. Then, it follows from (3.2), (3.7)-(3.9) and (H2) that

b ¯ ω  exp { A 1 } + c ¯ Dω  exp { v ( η ) - B 1 } āω,

or

v ( η ) ln ā  exp { B 1 } - b ¯  exp { A 1 + B 1 } c ¯ D = ln ( ā - b ¯ M  exp { ( | a | ¯ + ā ) ω } ) M c ¯ D  exp { ( | a | ¯ + ā ) ω } .
(3.10)

This, combined with (3.6), gives

v ( t ) v ( η ) - 0 ω | v ˙ ( t ) | d t > ln ( ā - b ¯ M  exp { ( | a | ¯ + ā ) ω } ) c ¯ D  exp { ( | a | ¯ + ā ) ω } - ( | d | ¯ + d ¯ ) ω : = A 2 .
(3.11)

Note that exp{B 1} < M and exp{A1} > M. Since g is increasing on [0, M) and decreasing on (M, ∞), we have

g ( exp { u ( t ) } ) min { g ( exp { B 1 } ) , g ( exp { A 1 } ) } , u ( t ) ( B 1 , A 1 ) .

This, together with (3.2), (3.7)-(3.9), leads to

c ¯ ω  min { g ( exp { B 1 } ) , g ( exp { A 1 } ) }  exp { v ( δ ) - A 1 } āω,

or

( δ ) ln ā  exp { A 1 } min { g ( exp { B 1 } ) , g ( exp { A 1 } ) } c ¯ .
(3.12)

Coupled with (3.6), we get

v ( t ) v ( δ ) + 0 ω | v ˙ ( t ) | d t < ln ā  exp { A 1 } min { g ( exp { B 1 } ) , g ( exp { A 1 } ) } c ¯ + ( | d | ¯ + d ¯ ) ω : = B 2 .
(3.13)

Let

A = max { | A 1 | , | B 1 | } and B = max { | A 2 | , | B 2 | } .

Then, from (3.7), (3.8), (3.11) and (3.13), we have |u(t)| < A and |v(t)| < B. Clearly, A i , B i (i = 1, 2) are independent of λ.

Now, consider the equation QNz = 0 where z = (u, v) T 2, i.e.,

Q N ( u v ) = ( a ¯ b ¯ exp { u } c ¯ g ( exp { u } ) exp { v u } d ¯ + e ¯ g ( exp { u } ) ) = ( 0 0 ) .
(3.14)

In view of (H2), we have ā- b ¯ M>0. Together with (H1), it is easy to show that the above system has a unique solution

( u * , v * ) T = ln  M , ln M ē ( ā - b ¯ M ) c ¯ d ¯ T .

Let C > 0 be such that

|| ( u * , v * ) T ||=| u * |+| v * |<C.

Define

Ω= { z X : | | z | | < A + B + C } .

It is clear that Ω satisfies condition (a) of Lemma 3.1. When z = (u, v) T ∂Ω ∩ KerL = ∂Ω ∩ 2, z is a constant vector in 2 with || z || = A + B + C, it is clear that QNz ≠ 0. Furthermore, let J: ImQ → KerL be the identity mapping. In view of the assumptions in Theorem 3.1, it is easy to see that

deg { J Q N , Ω Ker L , 0 } = sgn det W - c ¯ g ( exp { u } )  exp { v - u } ē g ( exp { u } ) u  exp { u } 0  =  sgn - c e ¯ g ( exp { u } ) u g ( exp { u } )  exp { v } 0 ,

where deg(·) is the Brouwer degree and

W = b ¯ exp { u } c ¯ g ( exp { u } ) u exp { v } + c ¯ g ( exp { u } ) exp { v u } .

By now, we have proved that Ω satisfies all the requirements of Lemma 3.1. Thus, it follows that Lz = Nz (i.e., system (2.2)) has at least one solution in Dom L Ω ¯ . The proof is complete.

4 Existence of two periodic solutions

In this section, we shall study system (E) under the assumption g(M) > D. From the (NM) condition, it is easy to see that if g(M) > D then the equation g(x) = D has two positive solutions r1 and r2 such that

g ( r 1 ) = g ( r 2 ) = D and 0 < r 1 < M < r 2 .

Theorem 4.1 Assume

(H3) g(M) > D;

(H4) ā> b ¯ r 2  exp { ( | a | ¯ + ā ) ω } ;

(H5) r 1  exp { ( | a | ¯ + ā ) ω } Mand r 2 M  exp { ( | a | ¯ + ā ) ω } .

Then, the system (E) has at least two positive ω-periodic solutions.

Proof. In order to prove the existence of two periodic solutions, our most important task is to search for at least two appropriate open bounded subsets Ω1 and Ω2 in X for the application of Lemma 3.1. Let X, Y, L, N, P and Q be defined as in the proof of Theorem 3.1, and let z = (u(t), v(t)) T X be a solution of Lz = λNz for a certain λ (0, 1). As in the proof of Theorem 3.1, we have

0 ω b ( t )  exp { u ( t ) } d t + 0 ω c ( t ) g ( exp { u ( t ) } )  exp { v ( t ) - u ( t ) } d t = ā ω ,
(4.1)
0 ω e ( t ) g ( exp { u ( t ) } ) d t = d ¯ ω ,
(4.2)

and

0 ω | u ˙ ( t ) | d t < ( | a | ¯ + ā ) ω , 0 ω | v ˙ ( t ) | d t < ( | d | ¯ + d ¯ ) ω .
(4.3)

Since z = (u(t), v(t)) T X, there exist ε, χ [0, ω] such that

v ( ε ) = min t [ 0 , ω ] v ( t ) and v ( χ ) = max t [ 0 , ω ] v ( t ) .
(4.4)

Note that u(t) ≠ ln M for t [0, ω], otherwise it follows from (4.2) that d ¯ =ēg ( M ) , which is a contradiction to (H3). Therefore, either u(t) (-∞, ln M) or u(t) (ln M, ∞).

Case 1: u(t) < ln M, t [0, ω]. From (4.2), (H3) and the (NM) condition, there exists θ1 [0, ω] such that

d ¯ ω=ēωg ( exp { u ( θ 1 ) } ) ,

or

exp ( u ( θ 1 ) ) = g - 1 ( D ) ( 0 , M ) = r 1 .

This, combined with (4.3) and (H5), gives

u ( t ) u ( θ 1 ) + 0 ω | u ˙ ( t ) | d t < ln  r 1 + ( | a | ¯ + ā ) ω ln  M
(4.5)

and

u ( t ) u ( θ 1 ) - 0 ω | u ˙ ( t ) | d t > ln  r 1 - ( | a | ¯ + ā ) ω : = B 1 * .
(4.6)

It follows from (4.5) and (4.6) that

u ( t ) ( B 1 * , ln  M ) .
(4.7)

On the other hand, from (4.1), (4.4) and (4.7), we find

c ¯ ωg ( exp { B 1 * } )  exp { v ( ε ) - ln  M } āω,

or

v ( ε ) ln ā M g ( exp { B 1 * } ) c ¯ .
(4.8)

This, together with (4.3), leads to

v ( t ) v ( ε ) + 0 ω | v ˙ ( t ) | d t < ln ā M g ( exp { B 1 * } ) c ¯ + ( | d | ¯ + d ¯ ) ω : = A 2 * .
(4.9)

From (H4) and (H5), it is not difficult to show that ā- b ¯ M>0. It follows from (4.1), (4.4) and (4.7) that

b ¯ ω  exp { ln  M } + c ¯ ωg ( M )  exp { v ( χ ) - B 1 * } āω,

or

v ( χ ) ln ( ā - b ¯ M )  exp { B 1 * } c ¯ g ( M ) = ln ( ā - b ¯ M ) r 1 c ¯ g ( M )  exp { ( | a | ¯ + ā ) ω } .
(4.10)

Coupled with (4.3), we get

v ( t ) v ( χ ) - 0 ω | v ˙ ( t ) | d t > ln ( ā - b ¯ M ) r 1 c ¯ g ( M )  exp { ( | a | ¯ + ā ) ω } - ( | d | ¯ + d ¯ ) ω : = B 2 * .
(4.11)

Therefore, from (4.9) and (4.11), we have

max t [ 0 , ω ] | v ( t ) | < max { | A 2 * | , | B 2 * | } : = B * , for  u ( t ) ( B 1 * , ln  M ) .
(4.12)

Case 2: u(t) > ln M, t [0, ω]. From (4.2), (H3) and the (NM) condition, there exists θ2 [0, ω] such that

d ¯ ω=ēωg ( exp { u ( θ 2 ) } ) ,

or

exp ( u ( θ 2 ) ) = g - 1 ( D ) ( M , ) = r 2 .

This, combined with (4.3) and (H5), gives

u ( t ) u ( θ 2 ) + 0 ω | u ˙ ( t ) | d t < ln  r 2 + ( | a | ¯ + ā ) ω : = A 1 +
(4.13)

and

u ( t ) u ( θ 2 ) - 0 ω | u ˙ ( t ) | d t > ln  r 2 - ( | a | ¯ + ā ) ω ln  M .
(4.14)

It follows from (4.13) and (4.14) that

u ( t ) ( ln  M , A 1 + ) .
(4.15)

Noting that g(x) is decreasing for

x (M, ∞), it follows from (4.1), (4.4) and (4.15) that

c ¯ ωg ( exp { A 1 + } )  exp { v ( ε ) - A 1 + } āω,

or

v ( ε ) ln ā  exp { A 1 + } g ( exp { A 1 + } ) c ¯ .
(4.16)

Together with (4.3), we get

v ( t ) v ( ε ) + 0 ω | v ˙ ( t ) | d t < ln ā  exp { A 1 + } g ( exp { A 1 + } ) c ¯ + ( | d | ¯ + d ¯ ) ω : = A 2 + .
(4.17)

On the other hand, it follows from (4.1), (4.4), (4.15) and condition (H4) that

b ¯ ω  exp { A 1 + } + c ¯ ωg ( M )  exp { v ( χ ) - ln  M } āω,

or

v ( χ ) ln ( ā - b ¯  exp { A 1 + } ) M c ¯ g ( M ) = ln ( ā - b ¯ r 2  exp { ( | a | ¯ + ā ) ω } ) M c ¯ g ( M ) .
(4.18)

This, combined with (4.3), gives

v ( t ) v ( χ ) - 0 ω | v ˙ ( t ) | d t > ln ( ā - b ¯  exp { A 1 + } ) M c ¯ g ( M ) - ( | d | ¯ + d ¯ ) ω : = B 2 + .
(4.19)

Therefore, from (4.17) and (4.19), we get

max t [ 0 , ω ] | v ( t ) | < max { | A 2 + | , | B 2 + | } : = B + , for  u ( t ) ( ln  M , A 1 + ) .
(4.20)

Obviously, r1, r2, ln M, B 1 * , A 1 + , B* and B+ are independent of λ.

Now, let us consider the equation QNz = 0 where z = (u, v) T 2, i.e., (3.14). Noting the (NM) condition, (H3) and (H4), it is not difficult to show that (3.14) has two distinct solutions

( ũ , ) T = ln  r 1 , ln ( ā - b ¯ r 1 ) ē r 1 c ¯ d ¯

and

( û , v ^ ) T = ln  r 2 , ln ( ā - b ¯ r 2 ) ē r 2 c ¯ d ¯ .

Choose C0> 0 such that

max ln ( ā - b ¯ r 1 ) ē r 1 c ¯ d ¯ , ln ( ā - b ¯ r 2 ) ē r 2 c ¯ d ¯ < C 0 .
(4.21)

Define

Ω 1 = { z = ( u , v ) T X : u ( t ) ( B 1 * , ln M ) , max t [ 0 , ω ] | v ( t ) | < B * + C 0 }

and

Ω 2 = { x = ( u , v ) T X : u ( t ) ( ln M , A 1 + ) , max t [ 0 , ω ] | v ( t ) | < B + + C 0 } .

Both Ω1 Ω2 are bounded open subsets of X. It follows from the (NM) condition, (4.12) and (4.20) that ( ũ , ) T Ω 1 and ( û , v ^ ) T Ω 2 . In view of (4.12) and (4.20), it is easy to see that Ω1 ∩ Ω2= Ø and Ω i satisfies condition (a) of Lemma 3.1 for i = 1, 2. Moreover, QNz ≠ 0 for z ∂Ω i ∩ KerL = ∂Ω i 2. A direct computation gives

deg { J Q N , Ω i Ker L , 0 } = sgn  { - c ¯ ē g ( exp { u } ) u g ( exp { u } )  exp { v } } = ( - 1 ) i + 1 0 .

Here, J is taken as the identity mapping since ImQ = KerL. We have proved that Ω i satisfies all the conditions in Lemma 3.1. Hence, Lz = Nz (i.e., system (2.2)) has at least two ω-periodic solutions z* = (u*, v*) T and z+ = (u+, v+) T with z * Dom L Ω ¯ 1 and z + Dom L Ω ¯ 2 .

Obviously, z* and z+ are different. Using (2.1),

( exp { u * ( t ) } , exp { v * ( t ) } ) T and  ( exp { u + ( t ) } , exp { v + ( t ) } ) T

are two different positive ω-periodic solutions of (E). This ends the proof. Box

We are now ready to tackle the system (F). With the change of variables in (2.1), the system (F) becomes

u ˙ ( t ) = a ( t ) - b ( t )  exp { u ( t - τ 1 ( t ) ) } - c ( t ) g ( exp { u ( t ) } )  exp { v ( t ) - u ( t ) } , v ˙ ( t ) = - d ( t ) + e ( t ) g ( exp { u ( t - τ 2 ( t ) ) } ) .
(2.2a)

The arguments used in the proof of Theorem 2.1 will still be valid. As for the analog of Theorem 3.1, corresponding to (3.3) we have

0 ω e ( t ) g ( exp { u ( t - τ 2 ( t ) ) } ) d t= d ¯ ω.
(3.3a)

By mean value theorem, there exists ξ0 (0, ω) such that

0 ω e ( t ) g ( exp { u ( t - τ 2 ( t ) ) } ) d t = g ( exp { u ( ξ 0 - τ 2 ( ξ 0 ) ) } ) 0 ω e ( t ) d t .

Since u is ω-periodic, there exists ξ [0, ω] such that

u ( ξ 0 - τ 2 ( ξ 0 ) ) =u ( ξ ) .

Thus, we have

0 ω e ( t ) g ( exp { u ( t - τ 2 ( t ) ) } ) d t=g ( exp { u ( ξ ) } ) 0 ω e ( t ) d t

and the rest of the arguments in the proof of Theorem 3.1 follows. We have the following result for the system (F).

Theorem 4.2 Theorems 2.1, 2.2, 3.1, 4.1 are also valid for the delayed system (F).

Remark 4.1 We have introduced some novel estimation techniques for the priori bounds of unknown solutions to Lz = λNz, which are much different from the arguments used in[1127]. In addition, we study the diversity of the periodic solutions including nonexistence of periodic solutions, at least one periodic solutions and at least two periodic solutions. However, the existing literature only gave some sufficient conditions for one of the three cases.

5 Applications

In this section, we shall list some applications of Theorems 2.1, 2.2, 3.1, 4.1 and 4.2.

Application 5.1

Consider the following nonautonomous periodic system [11]

d x ( t ) d t = x ( t ) [ b 1 ( t ) - a 1 ( t ) x ( t - τ 1 ( t ) ) ] - c ( t ) x ( t ) y ( t ) x 2 ( t ) m + x ( t ) + a , d y ( t ) d t = y ( t ) - b 2 ( t ) + a 2 ( t ) x ( t - τ 2 ( t ) ) x 2 ( t - τ 2 ( t ) ) m + x ( t - τ 2 ( t ) ) + a ,
(5.1)

where

g ( x ) = x x 2 m + x + a .

Note that g satisfies the (NM) condition. It is easy to show that

g ( x ) = a - x 2 m ( x 2 m + x + a ) 2 .

Thus, g'(M) = 0 provides M= a m , and

g ( M ) =g ( a m ) = a m 2 a + a m .

Corresponding to the system (F), we have

ā = b 1 ¯ , b ¯ = a 1 ¯ , c ¯ = c ¯ , d ¯ = b 2 ¯ , ē = a 2 ¯ .

Solving g ( x ) =D= d ¯ ē yields

r 1 = m ( a 2 ¯ - b 2 ¯ ) - m Δ 2 b 2 ¯ and r 2 = m ( a 2 ¯ - b 2 ¯ ) + m Δ 2 b 2 ¯
(5.2)

where

Δ= ( a 2 ¯ - b 2 ¯ ) 2 -4 b 2 ¯ 2 a m .

Applying Theorem 4.2 to the system (5.1), we obtain the following results.

Theorem 5.1 If a 2 ¯ < b 2 ¯ 1 + 2 a m , then the system (5.1) has no positive ω-periodic solution.

Theorem 5.2 Assume

(I1) a 2 ¯ = b 2 ¯ 1 + 2 a m ;

(I2) b 1 ¯ > a 1 ¯ a m  exp { ( | b 1 | ¯ + b 1 ¯ ) ω } .

Then, the system (5.1) has at least one positive ω-periodic solution.

Theorem 5.3 Assume

(I3) a 2 ¯ > b 2 ¯ 1 + 2 a m ;

(I4) b 1 ¯ > a 1 ¯ r 2  exp { ( | b 1 | ¯ + b 1 ¯ ) ω } ;

(I5) r 1  exp { ( | b 1 | ¯ + b 1 ¯ ) ω } a m and r 2 a m  exp { ( | b 1 | ¯ + b 1 ¯ ) ω } ;

where r1and r2are given in (5.2). Then, the system (5.1) has at least two positive ω-periodic solutions.

Remark 5.1 In [11], the author has studied the system (5.1) and obtained the following theorem:

Theorem A. Assume

  1. (i)

    a 2 ¯ > b 2 ¯ 1 + 2 a m  exp { ( | b 1 | ¯ + b 1 ¯ ) ω } ;

  2. (ii)

    b 1 ¯ > a 1 ¯ l +  exp { ( | b 1 | ¯ + b 1 ¯ ) ω } , where

    l + = m [ a ¯ 2 exp { ( | b 1 ¯ | + b 1 ¯ ) ω } b 2 ¯ ] + m [ a 2 ¯ exp { ( | b 1 ¯ | + b 1 ¯ ) ω } b 2 ¯ ] 2 4 b 2 ¯ 2 a / m 2 b 2 ¯ .

Then, the system (5.1) has at least two positive ω-periodic solutions.

Obviously, the conditions (I3) and (I4) in Theorem 5.3 are much weaker than the conditions (i) and (ii) in Theorem A. Certainly, we also need the condition (I5). Note that our novel estimation techniques for the a priori bounds of unknown solutions to Lz = λNz are much different from those used in [11]. Moreover, there are no similar results to Theorems 5.1 and 5.2 in [11].

Application 5.2

Consider the following nonautonomous periodic system

d x ( t ) d t = r ( t ) x ( t ) 1 - x ( t ) K ( t ) - x ( t ) y ( t ) m 2 + x 2 ( t ) , d y ( t ) d t = y ( t ) - d ( t ) + μ ( t ) x ( t ) m 2 + x 2 ( t ) ,
(5.3)

where

g ( x ) = x m 2 + x 2 .

When r(t) ≡ r, μ(t) ≡ μ and d(t) ≡ d α(t) ≡ α, the system (5.3) reduces to one which has been studied by Chen and Zhou [29]. Note that g satisfies the (NM) condition. Solving g'(M) = 0 gives M = m, and g ( M ) =g ( m ) = 1 2 m . Corresponding to the system (E), we have

ā= r ¯ , b ¯ = r K ¯ ,c=1, d ¯ = d ¯ ,ē= μ ¯ .

Solving g ( x ) =D= d ¯ ē yields

r 1 = μ ¯ - μ ¯ 2 - 4 d ¯ 2 m 2 2 d ¯ and r 2 = μ ¯ + μ ¯ 2 - 4 d ¯ 2 m 2 2 d ¯ .
(5.4)

Applying our results to the system (5.3), we have the following theorems.

Theorem 5.4 If 1 2 m < d ¯ μ ¯ , then the system (5.3) has no positive ω-periodic solution.

Theorem 5.5 Assume

(J1) 1 2 m = d ¯ μ ¯ ;

(J2) r ¯ > r K ¯ m  exp { ( | r | ¯ + r ¯ ) ω } .

Then, the system (5.3) has at least one positive ω-periodic solution.

Theorem 5.6 Assume

(J3) 1 2 m > d ¯ μ ¯ ;

(J4) 2 d ¯ r ¯ > r K ¯ ( μ ¯ + μ ¯ 2 - 4 d ¯ 2 m 2 )  exp { ( | r | ¯ + r ¯ ) ω } ;

(J5) ( μ ¯ - μ ¯ 2 - 4 d ¯ 2 m 2 )  exp { ( | r | ¯ + r ¯ ) ω } 2m d ¯ and ( μ ¯ + μ ¯ 2 - 4 d ¯ 2 m 2 ) 2m d ¯  exp { ( | r | ¯ + r ¯ ) ω } .

Then, the system (5.3) has at least two positive ω-periodic solutions.

Application 5.3

Consider the following nonautonomous periodic system

d x ( t ) d t = r ( t ) x ( t ) 1 - x ( t ) K ( t ) - c ( t ) x ( t ) y ( t ) e - β x ( t ) , d y ( t ) d t = y ( t ) [ - d ( t ) + α ( t ) x ( t ) e - β x ( t ) ] ,
(5.5)

where

g ( x ) =x e - β x .

Note that g satisfies the (NM) condition. When r(t) ≡ r, c(t) ≡ c, d(t) ≡ d and α(t) = α, the system (5.5) reduces to one which has been studied by [10].

Obviously, g'(M) = 0 gives M= 1 β , and g ( M ) = 1 β e . Corresponding to the system (E), we have

ā = r ¯ , b ¯ = r K ¯ , c ¯ = c ¯ , d ¯ = d ¯ , ē = α ¯ .

The equation g ( x ) =D= d ¯ ē is equivalent to

F ( x ) =x e - β x - d ¯ α ¯ =0.

If g ( M ) > d ¯ α ¯ , then it is easy to show that F(0) < 0, F(M) > 0 and F(∞) < 0. Thus, there exist r1 (0, M) and r2 (M, ∞) such that

F ( r 1 ) = 0 and  F ( r 2 ) = 0 .
(5.6)

Applying our results to the system (5.5), we have the following theorems.

Theorem 5.7 If 1 β e < d ¯ α ¯ , then the system (5.5) has no positive ω-periodic solution.

Theorem 5.8 Assume

(K1) 1 β e = d ¯ α ¯ ;

(K2) r ¯ > r K ¯ 1 β  exp { ( | r | ¯ + r ¯ ) ω } .

Then, the system (5.5) has at least one positive ω-periodic solution.

Theorem 5.9 Assume

(K3) 1 β e > d ¯ α ¯ ;

(K4) 2 r ¯ > r K ¯ r 2  exp { ( | r | ¯ + r ¯ ) ω } ;

(K5) r 1  exp { ( | r | ¯ + r ¯ ) ω } 1 β and r 2 1 β  exp { ( | r | ¯ + r ¯ ) ω } ;

where r1and r2are given in (5.6). Then, the system (5.5) has at least two positive ω-periodic solutions.

6 Conclusion

A class of nonautonomous predator-prey model with nonmonotonic functional response in this paper. Some new sufficient conditions are obtained for the nonexistence of periodic solutions and the global existence of at least one or two positive periodic solutions. Our method is based on Mawhin's coincidence degree and novel estimation techniques for the priori bounds of unknown solutions. Some novel estimation techniques are employed for the priori bounds of unknown solutions to Lz = λNz, which are much different from the arguments used in the previous literature. Some applications are also presented to illustrate the feasibility and effectiveness of our main results.

References

  1. Bazykin AD: Nonlinear Dynamics of Interacting Populations. World Scientific, Singapore; 1998.

    Google Scholar 

  2. Berryman AA: The origins and evolution of predator-prey theory. Ecology 1992, 75: 1530–1535.

    Article  Google Scholar 

  3. Freedman HI: Deterministic Mathematical Models in Population Ecology. Marcel Dekker, New York; 1980.

    Google Scholar 

  4. Kot M: Elements of Mathematical Ecology. Cambridge University Press, New York; 2001.

    Chapter  Google Scholar 

  5. Holling CS: The functional response of predator to prey density and its role in mimicry and population regulation. Men Entomol Soc Can 1965, 45: 1–60.

    Article  Google Scholar 

  6. Bush AW, Cook AE: The effect of time delay and growth rate inhibition in the bacterial treatment of wastewater. J Theor Biol 1976, 63: 385–395. 10.1016/0022-5193(76)90041-2

    Article  Google Scholar 

  7. Lundberg P, Fryxell JM: Expected population density versus productivty in ratio-dependent and prey-dependent models. Am Nat 1995, 145: 153–161.

    Article  Google Scholar 

  8. Wolkowicz GSK: Bifurcation analysis of a predator-prey system involving group defence. SIAM J Appl Math 1988, 48: 592–606. 10.1137/0148033

    Article  MathSciNet  Google Scholar 

  9. Zhu HP, Campbell SA, Wolkowicz GSK: Bifurcation analysis of a predator-prey system with nonmonotonic function response. SIAM J Appl Math 2002, 63(2):636–682.

    MathSciNet  Google Scholar 

  10. Xiao D, Ruan S: Codimension two bifurcations in a delayed predator-prey system with group defense. Int J Bifurc Chaos 2001, 11(8):2123–2132. 10.1142/S021812740100336X

    Article  MathSciNet  Google Scholar 

  11. Chen Y: Multiple periodic solution of delayd predator-prey systems with type IV functional responses. Nonliear Anal RWA 2004, 5: 45–53. 10.1016/S1468-1218(03)00014-2

    Article  Google Scholar 

  12. Xia YH, Cao J, Lin M: Discrete-time analogues of predator-prey models with monotonic or nonmonotonic functional responses. Nonlinear Anal RWA 2007, 8(4):1079–1095. 10.1016/j.nonrwa.2006.06.007

    Article  MathSciNet  Google Scholar 

  13. Xia YH, Cao J, Cheng SS: Multiple periodic solutions of a delayed stage-structured predator-prey model with nonmonotone functional responses. Appl Math Model 2007, 31(9):1947–1959. 10.1016/j.apm.2006.08.012

    Article  Google Scholar 

  14. Gaines RE, Mawhin JL: Coincidence Degree and Nonlinear Differential Equations. Springer, Berlin; 1977.

    Google Scholar 

  15. Xia YH, Han M: New conditions on the existence and stability of periodic solution in Lotka-Volterra's population system. SIAM J Appl Math 2009, 69(6):1580–1597. 10.1137/070702485

    Article  MathSciNet  Google Scholar 

  16. Fan M, Wang Q, Zou XF: Dynamics of a nonautonomous ratio-dependent predator-prey system. Proc R Soc A 2003, 133: 97–118.

    MathSciNet  Google Scholar 

  17. Kuang Y: Delay Differential Equations With Application Dynamic. Academic Press, New York; 1988.

    Google Scholar 

  18. Gopalsamy K: Stability and oscillation in delay differential equations of population dynamics. In Mathematics and its Applications. Volume 74. Kluwer, Dordrecht; 1992.

    Google Scholar 

  19. Fan Y, Li WT, Wang L: Periodic solutions of delayed ratio-dependent predator-prey models with monotonic or nonmonotonic fucntional responses. Nonlinear Anal 2004, 5: 247–263. 10.1016/S1468-1218(03)00036-1

    Article  MathSciNet  Google Scholar 

  20. Jin Z, Ma Z: Stability for a competitive Lotka-Volterra system with delays. Chaos Solitons Fractals 2005, 26: 559–569. 10.1016/j.chaos.2005.01.064

    Article  MathSciNet  Google Scholar 

  21. Jin Z, Ma Z: Periodic solutions for delay differential equations model of plankton allelopathy. Comput Math Appl 2002, 44: 491–500. 10.1016/S0898-1221(02)00163-3

    Article  MathSciNet  Google Scholar 

  22. Song QK, Zhang J: Global exponential stability of impulsive Cohen-Grossberg neural network with time-varying delays. Nonlinear Anal RWA 2008, 9(2):500–510. 10.1016/j.nonrwa.2006.11.015

    Article  Google Scholar 

  23. Song QK, Wang ZD: Stability analysis of impulsive stochastic CohenCGrossberg neural networks with mixed time delays. Physica A 2008, 387: 3314–3326. 10.1016/j.physa.2008.01.079

    Article  Google Scholar 

  24. Xia YH, Cao J, Han M: A new analytical method for the linearization of dynamic equation on measure chains. J Differ Equ 2007, 235(2):527–543. 10.1016/j.jde.2007.01.004

    Article  MathSciNet  Google Scholar 

  25. Xia YH, Han M, Huang ZK: Global attractivity of an almost periodic N -species nonlinear ecological competitive model. J Math Anal Appl 2008, 337: 144–168. 10.1016/j.jmaa.2007.03.103

    Article  MathSciNet  Google Scholar 

  26. Ding W, Han M: Dynamic of a non-autonomous predator-prey system with infinite delay and diffusion. Comput Math Appl 2008, 56: 1335–1350. 10.1016/j.camwa.2008.03.001

    Article  MathSciNet  Google Scholar 

  27. Freedman HI, Kuang Y: Stability switches in linear scalar neutral delay equations. Funkc Ekvac 1991, 34: 187–209.

    MathSciNet  Google Scholar 

  28. Chen L: Mathematical Models and Methods in Ecology. Science Press, Bejing; 1998.

    Google Scholar 

  29. Chen G, Zhou J: Boundary Element Methods. Academic Press, London; 1992.

    Google Scholar 

Download references

Acknowledgements

This work was supported by the National Natural Science Foundation of China under Grant (No.10971139), Shanghai Municipal Educational Committee (No.10YZ74), Natural Science Foundation of Shanghai (No.12ZR1421600), National Natural Science Foundation of China (No.10901140) and ZJNSFC (No.Y6100696).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Yepeng Xing.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors' contributions

All authors read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and permissions

About this article

Cite this article

Xing, Y., Xia, Y. Diversities of periodic solutions for a class of ecological model. Adv Differ Equ 2012, 108 (2012). https://doi.org/10.1186/1687-1847-2012-108

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-1847-2012-108

Keywords