1 Introduction

Generally, the ecological models are used to study the competitive, cooperation, and prey-predator relationships between different species in nature [15]. And the epidemic models are used to detect the outbreak, transmission, and extinction characteristics of the different diseases [610]. Actually, the prey (or predator) species may infect diseases, and the diseases will spread among the prey and predator species. For example, in Salton Sea of California, the Tilapia fish is infected by a virio class of bacteria, Vibro alginolyticus, which spreads in the fish species and the infected fish become much easier available for predation for piscivorous birds [11, 12]. Then the dynamical behaviors of the prey-predator relationship become more complex than before. For this case, we not only study the behavior characteristics in the prey-predator process but also consider the disease spreading in the species. Therefore, the ecological theory should be combined with the epidemiological theory to explain the above ecological phenomena. That is the eco-epidemiology theory.

In the last few decades, as a new branch of theoretical biology the eco-epidemiology has received more and more attention (for example, [1323] and the references cited therein). The reason is that the eco-epidemiology studied by different types of mathematical models can help us to understand the natural world well from ecology and epidemic perspectives [13]. Furthermore, we can control the transmission of diseases among different species through varying the key parameters when the dynamical behaviors of the corresponding models have been discussed clearly [14, 15].

Most of the above models are mainly based on the following cases: case 1, diseases transmit only in prey species (for example, [1825] and the references cited therein); case 2, diseases transmit only in predator species (for example, see [2630] and the references cited therein); case 3, diseases transmit both in prey and predator species (see [31]). The dynamical behaviors of the models with disease are studied, such as the stability, periodic solution, oscillation, bifurcation, and chaos. Their results indicated that the predators die out and the prey tends to its carrying capacity; or the infected prey and the predators both die out; or the predator and prey coexist.

The complex dynamical behaviors of discrete-time predator-prey models have already received much attention by lots of studies: such as stability, permanence, existence of periodic solutions, bifurcation, and chaos phenomenons [3241]. We obtain a series of bifurcations of a discrete-time predator-prey model when we only vary the parameter K which is more complex than the corresponding continuous-time model (see [33]). And the results are more reasonable in a biological perspective.

Until now, there are few papers to study the dynamical behaviors of discrete-time eco-epidemiological models. How many eco-epidemiological phenomena can be explained by discrete-time models which are not explained by continuous-time models? Is there more complex dynamical behavior in a discrete-time eco-epidemiological model than the continuous-time one as we obtained (see [33])? In this paper, motivated by the above works we will study a discrete-time predator-prey models with disease in prey which is obtained from the corresponding continuous-time model. Let us consider the following continuous-time predator-prey model with disease in prey described by differential equations studied by Xiao and Chen [24]:

d S d t = r S ( 1 S + I K ) β S I , d I d t = β S I c I b I Y m Y + I , d Y d t = d Y + k b I Y m Y + I ,
(1.1)

where S(t), I(t), and Y(t) denote the population density of susceptible prey, infected prey and the population density of predator at time t, respectively. r is the intrinsic birth rate of the prey population, K is the carrying capacity of the environment for the prey population, β is the transmission coefficient, c is the death rate of the infected prey, m is the ratio-dependent rate, b is the predation coefficient, k is the coefficient in conversing prey into predator, and d is the death rate constant of the predator. The parameters r, K, β, c, b, m, d are positive constants and 0<k1. The reasons why the predators only eat infected prey can be found in [24]. And the authors obtained the permanence, global stability, and Hopf bifurcation for model (1.1).

The following discrete-time model corresponding with model (1.1) is considered:

S t + 1 = S t exp [ r ( 1 S t + I t K ) β I t ] , I t + 1 = I t exp [ β S t c b Y t m Y t + I t ] , Y t + 1 = Y t exp [ k b I t m Y t + I t d ] ,
(1.2)

where r, K, β, c, b, m, d, and k are defined as in model (1.1). It is assumed that for the initial values of model (1.1) S 0 >0, I 0 >0, Y 0 >0, and all the parameters are positive. Obviously, if the initial value ( S 0 , I 0 , Y 0 ) is positive, then the corresponding solution ( S t , I t , Y t ) is positive too.

In this paper, we will study the dynamical behaviors of model (1.2). The existence and local stability of equilibria, flip bifurcation, Hopf bifurcation, and chaos will be discussed by using the theory of difference equation. Moreover, by varying different parameters, the different dynamical behaviors will be studied for the same equilibrium and these phenomena also can be explained as regards their ecological significance. Finally, we will use the numerical simulations to indicate the correctness and rationality of our results.

The organization of this paper is as follows. In Section 2 we discuss the existence and local stability of equilibria in model (1.2). Furthermore, we study different bifurcations of model (1.2) caused by different parameters. In Section 3 we present the numerical simulations, which not only illustrate our results with the theoretical analysis, but also exhibit the complex dynamical behaviors such as the invariant cycle, 3,5,11,16-periodic solutions, flip bifurcation, Hopf bifurcation, and more than one attractors and chaotic sets. In the last section we give a discussion.

2 Analysis of equilibria

For model (1.2), we always assume that any solution ( S t , I t , Y t ) satisfies initial values S 0 >0, I 0 >0, and Y 0 >0, and all the parameters r, K, β, c, b, m, k, and d are positive. It is obvious that any solutions of model (1.2) are nonnegative for all t0.

Let R 0 = K β c , which is the basic reproductive rate of model (1.2). After some simple calculations, we first have the following results on the existence of the nonnegative equilibria of model (1.2).

Theorem 1

  1. (1)

    When R 0 1, model (1.2) has only an equilibrium E 1 (K,0,0).

  2. (2)

    When R 0 >1, model (1.2) always has two equilibria E 1 (K,0,0) and E 2 ( c β , r K r + K β (1 c K β ),0). Furthermore, if kb>d and mk(Kβc)(kbd)>0, besides the two equilibria E 1 (K,0,0), E 2 ( c β , r K r + K β (1 c K β ),0), model (1.2) has a positive equilibrium E ( S , I , Y ), where

    S = c m k + k b d m k β , I = r r + K β ( K S ) , Y = k b d m d I .

In order to obtain the stability of equilibria of model (1.2), we introduce the following lemmas.

Lemma 1 [36]

Let F(w)= w 2 +Bw+C, where B and C are constants. Suppose F(1)>0 and w 1 , w 2 are two roots of F(w)=0. Then

  1. (1)

    | w 1 |<1 and | w 2 |<1 if and only if F(1)>0 and C<1;

  2. (2)

    w 1 =1 and | w 2 |1 if and only if F(1)=0, B0,2;

  3. (3)

    | w 1 |<1 and | w 2 |>1 if and only if F(1)<0;

  4. (4)

    | w 1 |>1 and | w 2 |>1 if and only if F(1)>0 and C>1;

  5. (5)

    w 1 and w 2 are the conjugate complex roots and | w 1 |=| w 2 |=1 if and only if B 2 4C<0 and C=1.

Lemma 2 [42]

Let the equation x 3 +b x 2 +cx+d=0, where b,c,dR. Let further A= b 2 3c, B=bc9d, C= c 2 3bd, and Δ= B 2 4AC. Then:

  1. (1)

    The equation has three different real roots if and only if Δ0.

  2. (2)

    The equation has one real root and a pair of conjugate complex roots if and only if Δ>0. Further, the conjugate complex roots are

    w= 2 b + Y 1 1 3 + Y 2 1 3 6 ±i 3 ( Y 1 1 3 Y 2 1 3 ) 6 ,

where

Y 1 , 2 =bA+ B ± B 2 4 A C 2 .

Now, we study the stability of equilibria E 1 , E 2 , and E of model (1.2). We first consider equilibrium E 1 (K,0,0). The Jacobian matrix of model (1.2) is

J( E 1 )= ( 1 r K ( β + r K ) 0 0 e K β c 0 0 0 e d ) .

The three eigenvalues of J( E 1 ) are

w 1 =1r, w 2 = e K β c , w 3 = e d .

When R 0 <1 we have 0< w 2 <1 and when R 0 >1 we have ω 2 >1. Hence, the local stability of E 1 (K,0,0) is determined by w 1 . Thus, we have the following result.

Theorem 2

  1. (1)

    When R 0 <1, we have the following conclusions.

    1. (a)

      If 0<r<2, then E 1 (K,0,0) is a sink and locally asymptotically stable.

    2. (b)

      If r=2, then E 1 (K,0,0) is non-hyperbolic.

  2. (2)

    When R 0 <1 and r>2 or R 0 >1, E 1 (K,0,0) is unstable.

Furthermore, when R 0 <1, 0<r<2, the global asymptotically stable of E 1 (K,0,0) is also can be obtained. In fact, from the first equation of model (1.2) and the positivity of the solution, we obtain

S t + 1 = S t exp [ r ( 1 S t + I t K ) β I t ] < S t exp [ r ( 1 S t K ) ] .
(2.1)

Let

U t = U t exp [ r ( 1 U t K ) ] = U t exp [ r r U t K ] .
(2.2)

Since r<2, by the conclusion (i) of Lemma 4 in [34], we obtain

lim t U t =K.
(2.3)

Let U(u)=uexp[rr u K ], then according to simple computing, U is nondecreasing for u(0, K r ]. Two cases are considered for the global asymptotically stable of E 1 (K,0,0).

Case 1: If 0<r1, the conclusion (ii) of Lemma 4 in [34] shows that lim t U t K r , and from Lemma 7 in [34], we have S t U t for all t2, where U t is the solution of (2.2) with S 2 = U 2 . Consequently,

lim sup S t lim t U t =K.

Then, for any constant ϵ>0 sufficiently small there exists an integer T>2 such that if tT, then S t K+ϵ.

For t>T and the second equation of model (1.2), we have

I t + 1 = I t exp [ β S t c b Y t m Y t + I t ] < I t exp [ β ( K + ϵ ) c ] .

Since R 0 = β K c <1, the above ϵ can be chosen satisfied β ( K + ϵ ) c <1 and β(K+ϵ)c<0. Then lim t I t =0. From the third equation of model (1.2) lim t Y t =0. Hence, lim t S t =K. Equilibrium E 1 (K,0,0) is global asymptotically stable.

Case 2: If 1<r<2, by some simple computing we can easily obtain

S t + 1 < S t exp [ r ( 1 S t K ) ] K r exp[r1].

It means that S t K r exp[r1]. For the second equation of model (1.2), if β K r exp[r1]c<0, then R 0 exp [ r 1 ] r <1. We can easily obtain lim t I t =0. Consequently, by the other two equations of model (1.2) we have lim t Y t =0 and lim t S t =K. The global asymptotically stability of equilibrium E 1 (K,0,0) is also obtained.

From the above discussion, we have the following result.

Theorem 3 If one of the following conditions hold, equilibrium E 1 (K,0,0) is global asymptotically stable.

  1. (1)

    R 0 <1 and 0<r1;

  2. (2)

    R 0 exp [ r 1 ] r <1 and 1<r<2.

Next, we consider equilibrium E 2 ( c β , r K r + K β (1 c K β ),0). The Jacobian matrix of model (1.2) is

J( E 2 )= ( 1 r S K S ( β + r K ) 0 β I 1 b 0 0 e b k d ) .

The corresponding characteristic equation of J( E 2 ) is

f(w)= ( w e k b d ) ( w 2 + p w + q ) ,

where

p= ( 2 r S K ) ,q=1 r S K +βSI ( β + r K ) .

Obviously, f(w) has one eigenvalue w 1 = e k b d and

  1. (1)

    if bk<d, then 0< w 1 <1;

  2. (2)

    if bk=d, then w 1 =1;

  3. (3)

    if bk>d, then w 1 >1.

Let g(w)= w 2 +pw+q. We denote by ω 2 , 3 the two roots of equation g(ω)=0. By simple computing, we obtain g(1)>0. Further,

g(1)=4 2 c r K β + c r ( K β c ) K β .

From g(1)=0, we have

Kβ= c r ( c + 2 ) 4 + c r ,

which equals

r c 2 +(2rKβr)c4Kβ=0.

Solving this equation we have

c c 1 = K β r 2 r ( K β r 2 r ) 2 + 16 K β r 2 r , c c 2 = K β r 2 r + ( K β r 2 r ) 2 + 16 K β r 2 r .

Obviously, c 1 <0. When Kβ> c r ( c + 2 ) 4 + c r or 0<c< c 2 , we have F(1)>0. When q=1, we have Kβ=1+c. Hence, when Kβ<1+c, we obtain q<1 and when Kβ>1+c, we obtain q<1. Moreover, when p0,2, we obtain Kβ2cr,4cr. When p 2 4q<0, we obtain (r4)c<4. Hence, by Lemma 1, we have

  1. (1)

    if c r ( c + 2 ) 4 + c r <Kβ<1+c, then | w 2 , 3 |<1;

  2. (2)

    if Kβ= c r ( c + 2 ) 4 + c r and Kβ2cr,4cr, then w 2 =1 and | w 3 |1 (or w 3 =1 and | w 2 |1);

  3. (3)

    if Kβ< c r ( c + 2 ) 4 + c r , then | w 2 |<1 and | w 3 |>1 (or | w 2 |>1 and | w 3 |<1);

  4. (4)

    if Kβ>max{ c r ( c + 2 ) 4 + c r ,1+c}, then | w 2 , 3 |>1;

  5. (5)

    if Kβ=1+c and (r4)c<4, then w 2 , 3 are the conjugate complex roots with | w 2 |=| w 3 |=1.

From the above discussion, we have the following result.

Theorem 4 Let R 0 >1, then we have the following conclusions.

  1. (1)

    E 2 ( c β , r K r + K β (1 c K β ),0) is a sink and locally asymptotically stable if

    bk<d,(r4)c<4, c r ( c + 2 ) 4 + c r <Kβ<1+c;
  2. (2)

    E 2 ( c β , r K r + K β (1 c K β ),0) is non-hyperbolic if one of the following conditions holds:

    1. (A)

      bk=d;

    2. (B)

      Kβ= c r ( 2 + c ) 4 + c r and Kβ2cr,4cr;

    3. (C)

      Kβ=1+c and (r4)c<4;

  3. (3)

    E 2 ( c β , r K r + K β (1 c K β ),0) is unstable if one of the following conditions holds:

    1. (A)

      bkd and Kβ>max{ c r ( c + 2 ) 4 + c r ,1+c} (or Kβ< c r ( 2 + c ) 4 + c r );

    2. (B)

      bk>d and c r ( c + 2 ) 4 + c r <Kβ<1+c, rc<4+4c.

From the above discussion we also obtain:

  1. (1)

    For equilibrium E 1 (K,0,0), if (b,c,d,k,m,r,β,K)M, where

    M= { ( b , c , d , k , m , r , β , K ) : r = 2 , K β c , b , c , d , k , m , β , K > 0 } ,

then one of the three eigenvalues of matrix J( E 1 ) is −1 and the others are neither −1 nor 1. Therefore, there may be a flip bifurcation at equilibrium E 1 (K,0,0), if r varies in the small neighborhood of r=2 and (b,c,d,k,m,2,β,K)M.

  1. (2)

    For equilibrium E 2 ( c β , r K r + K β (1 c K β ),0), if (b,c,d,k,m,r,β,K)N, where

    N = { ( b , c , d , k , m , r , β , K ) : K β = c r ( 2 + c ) 4 + c r , K β 2 c r , 4 c r , b , c , d , k , m , r , β , K > 0 } ,

then one of the three eigenvalues of matrix J( E 2 ) is −1 and the others are neither −1 nor 1. Therefore, there may be a flip bifurcation at equilibrium E 2 , if K, β, c, and r vary in the small neighborhood of Kβ= c r ( 2 + c ) 4 + c r and (b,c,d,k,m,r,β,K)N.

Further, if (b,c,d,k,m,r,β,K)P, where

P = { ( b , c , d , k , m , r , β , K ) : K β = 1 + c , ( r 4 ) c < 4 , b , c , d , k , m , r , β , K > 0 } ,

then there are two conjugate eigenvalues w 2 and w 3 of matrix J( E 2 ) with | w 2 |=| w 3 |=1. Therefore, there may be a flip bifurcation at equilibrium E 2 , if K, β, and c vary in the small neighborhood of Kβ=1+c and (b,c,d,k,m,r,β,K)P.

Remark 1 From the above discussion, we further see that when we choose the same parameters and the initial value of model (1.2); then shows a continuous increase from some fixed value above 0 to c r ( 2 + c ) 4 + c r then to 1+c, then a series of different dynamical behaviors of equilibrium E 2 ( c β , r K r + K β (1 c K β ),0) will appear: chaos → flip bifurcation → local stability → Hopf bifurcation → chaos (see Figures 6 and 7) which is the same result as in [19].

Remark 2 Furthermore, we see that when we choose the same parameters and the initial value of model (1.2), then c shows a continuous increase from some fixed value above 0 to Kβ1 then to c 2 , then a series of different dynamical behaviors at equilibrium E 2 ( c β , r K r + K β (1 c K β ),0) will appear: chaos → Hopf bifurcation → local stability → flip bifurcation → chaos too (see Figure 4). This phenomenon is rarely seen in previous work.

The above dynamical behaviors of model (1.2) will be displayed by the numerical simulations in Section 3.

Now, we consider the endemic equilibrium E ( S , I , Y ). The Jacobian matrix of model (1.2) at endemic equilibrium E ( S , I , Y ) is

J ( E ) = ( 1 r S K S ( β + r K ) 0 β I 1 + b I Y ( m Y + I ) 2 b I 2 ( m Y + I ) 2 0 b k m Y 2 ( m Y + I ) 2 1 b k m I Y ( m Y + I ) 2 ) .

Let d= b k I m Y + I . By simple computing, J( E ) is written in the following form:

J ( E ) = ( a 11 a 12 0 a 21 a 22 a 23 0 a 32 a 33 ) ,

where

a 11 = 1 r ( c m k + b k d ) m k K β , a 12 = ( r + K β ) ( c m k + b k d ) m k K β , a 21 = r [ m k K β ( c m k + b k d ) ] m k ( r + K β ) , a 22 = 1 + d ( b k d ) b m k 2 , a 23 = d 2 b k 2 , a 32 = ( b k d ) 2 b m k , a 33 = 1 d ( b k d ) b k .

The corresponding characteristic equation of J( E 2 ) can be written as

F(w)= w 3 + b 1 w 2 + b 2 w+ b 3 =0,
(2.4)

where

b 1 = ( a 11 + a 22 + a 33 ) , b 2 = a 11 ( a 22 + a 33 ) + a 22 a 33 a 23 a 32 a 12 a 21 , b 3 = a 11 ( a 22 a 33 a 23 a 32 ) + a 12 a 21 a 33 .

Let

A= b 1 2 3 b 2 ,B= b 1 b 2 9 b 3 ,C= b 2 2 3 b 1 b 3

and

Δ= B 2 4AC.

Further, we see that the derivative of F(w) is

F (w)=3 w 2 +2 b 1 w+ b 2 .

Obviously, the equation F (w)=0 has two roots:

w 1 , 2 = 1 3 ( b 1 ± b 1 2 3 b 2 ) .

Furthermore,

| w 1 , 2 | 2 = 1 9 ( 2 b 1 2 ± 2 b 1 b 1 2 3 b 2 3 b 2 ) .

When Δ0, by Lemma 2, we see that equation (2.4) has three real roots w 1 , w 2 , and  w 3 . From this, we can easily prove that two roots w 1 , 2 of the equation F (w)=0 also are real.

When Δ>0, by Lemma 2, we see that equation (2.4) has one real root w 1 and a pair of conjugate complex roots w 2 , 3 :

w 2 , 3 = 2 b 1 + Y 1 1 3 + Y 2 1 3 6 ±i 3 ( Y 1 1 3 Y 2 1 3 ) 6 ,

with

Y 1 , 2 = b 1 A+ B ± B 2 4 A C 2 .

Further, we have

F ( 1 ) = 1 + b 1 + b 2 + b 3 = 1 + a 11 ( a 22 + a 33 a 22 a 33 + a 23 a 32 1 ) + a 12 a 21 ( a 33 1 ) ( a 22 + a 33 a 22 a 33 + a 23 a 32 ) = d r ( c m k + k b d ) ( k b d ) [ m k K β ( c m k + k b d ) ] b m 2 k 3 K β > 0

and

F ( 1 ) = 1 + b 1 b 2 + b 3 = 1 a 11 ( a 22 + a 33 + a 22 a 33 a 23 a 32 + 1 ) + a 12 a 21 ( a 33 + 1 ) ( a 22 + a 33 + a 22 a 33 a 23 a 32 ) = r c c m k K β r c ( a 33 + 1 ) ( m k K β c ) m 2 k 2 K β 2 c ,

where

c = c m k + k b d , c = a 22 + a 33 + a 22 a 33 a 23 a 32 + 1 c = 4 + 2 d ( k b d ) ( 1 m k ) b m k 2 .

Since F(1)>0, on the dynamical properties of equilibrium E ( S , I , Y ), we have the following result, which can be found in [43].

Theorem 5 Let bk>d and mk(Kβc)(bkd)>0, then we have the following conclusions.

  1. (1)

    If one of the following conditions hold, then E ( S , I , Y ) is a sink and locally asymptotically stable.

    1. (A)

      Δ0, F(1)<0, and 1< w 1 , 2 <1.

    2. (B)

      Δ>0, F(1)<0, and | w 2 , 3 |<1.

  2. (2)

    E ( S , I , Y ) is non-hyperbolic if F(1)=0 or Δ>0, | w 2 , 3 |=1.

  3. (3)

    If the above conditions (1) and (2) do not hold, then E ( S , I , Y ) is unstable.

The above discussion indicates that it is hard to obtain the values of parameters b, k, r, β, and K when there exists a bifurcation at endemic equilibrium E ( S , I , Y ) for model (1.2). From the ecological perspective, the predation coefficient parameter b and the coefficient in conversing prey into predator k are important for determining the dynamical behaviors when there exists an endemic equilibrium E ( S , I , Y ) of model (1.2). Therefore, we will use the Matlab software to give the simulations as regards the complex dynamical behaviors of model (1.2) caused by the changing of b and k in Section 3.

3 Numerical simulations

In this section, we will give the bifurcation diagrams of model (1.2) to confirm the above theoretical analysis and show the new interesting complex dynamical behaviors by numerical simulation. Moreover, different dynamical behaviors caused by different parameters are discussed in the ecological perspective. For equilibrium E 1 (K,0,0), we choose parameter r. For equilibrium E 2 ( c β , r K r + K β (1 c K β ),0), we choose four key parameters r, c, K, and β. Finally, the key parameters b and k are selected for positive equilibrium E ( S , I , Y ).

Example 1 For detecting the dynamical behaviors of model (1.2) impacted by parameter r (the intrinsic birth rate of S t ), we choose b=0.2, c=0.6, d=0.12, k=0.1, m=0.2, β=0.05, K=8, and r[0.01,4] and initial value ( S 0 , I 0 , Y 0 )=(4,0.5,0.1). It is obvious that (b,c,d,k,m,β,K,r)=(0.2,0.6,0.12,0.1,0.2,0.05,8,2)M. Then equilibrium E 1 (K,0,0)= E 1 (8,0,0) and the flip bifurcation appears (Figure 1).

Figure 1
figure 1

The dynamical behaviors of S t r , I t r , and Y t r with b=0.2 , c=0.6 , d=0.12 , k=0.1 , m=0.2 , β=0.05 , K=8 , and r[0.01,4] , and the initial value ( S 0 , I 0 , Y 0 )=(4,0.5,0.1) for model ( 1.2 ).

Figure 1(A) suggests that when 0<r<2 equilibrium E 1 (K,0,0) is local stable and when r=2, E 1 (K,0,0) loses its stability. When r>2 there exists a flip bifurcation. Moreover, a chaotic set is emerged with the increasing of r. However, the infected prey and the predator are always in extinction for any value of r, which can be seen from Figure 1(B) and (C). This result is agreement of the ecological perspective that when the infected prey is in extinction the predator certainly becomes in extinction.

Example 2 For detecting the dynamical behaviors of model (1.2) with equilibrium E 2 ( c β , r K r + K β (1 c K β ),0) impacted by parameter r, we choose b=0.15, c=0.1, d=0.2, k=0.2, m=0.3, β=0.05, K=4, and r[0.001,7], and the initial value ( S 0 , I 0 , Y 0 )=(2,1,0.5). It is obvious that (b,c,d,k,m,β,K,r)=(0.15,0.1,0.2,0.2,0.3,0.05,4, 80 19 )N. Then we have equilibrium E 2 ( c β , r K r + K β (1 c K β ),0)= E 2 (2, 2 r r + 0.2 ,0), and there exists a flip bifurcation (Figure 2).

Figure 2
figure 2

The dynamical behaviors of S t r , I t r , and Y t r with b=0.15 , c=0.1 , d=0.2 , k=0.2 , m=0.3 , β=0.05 , K=4 , and r[0.001,7] , and the initial value ( S 0 , I 0 , Y 0 )=(2,1,0.5) for model ( 1.2 ).

Figure 2 shows that equilibrium E 2 (2, 2 r r + 0.2 ,0) is stable when 0.001r< 80 19 and loses stability when r= 80 19 . Further, when r> 80 19 there appears a flip bifurcation and chaos at equilibrium E 2 (2, 2 r r + 0.2 ,0). And a 3-periodic solution of model (1.2) appears when r6.05. However, Y t is in extinction for any value r ultimately (Figure 2(C)).

Example 3 For detecting the dynamical behaviors of model (1.2) with equilibrium E 2 ( c β , r K r + K β (1 c K β ),0) impacted by parameter c (the different death rate of infected prey), we choose two subcases of the parameters.

Subcase 1. Choosing (b,d,k,m,r,β,K)=(0.1,0.6,0.1,0.5,0.1,0.2,10) and c[0.01,2.5] and the initial value ( S 0 , I 0 , Y 0 )=(6,2,1). It is obvious that (b,d,k,m,r,β,K,c)=(0.1,0.6,0.1,0.5,0.1,0.2,10,1)P. Then we have equilibrium E 2 ( c β , r K r + K β (1 c K β ),0)= E 2 (5c, 5 21 (2c),0) and there exists a Hopf bifurcation (Figure 3).

Figure 3
figure 3

The dynamical behaviors of S t c , I t c , and Y t c with b=0.1 , d=0.6 , k=0.1 , m=0.5 , r=0.1 , β=0.2 , K=10 , and c[0.01,2.5] and the initial value ( S 0 , I 0 , Y 0 )=(6,2,1) for model ( 1.2 ).

From Figure 3, we find that there exists a Hopf bifurcation and chaos of model (1.2) when 0<c1; When 1<c<2 the number of S t is increasing and when c2 the number of S t is stable at 10. The number of I t is decreasing when 1<c<2 and I t is becoming in extinction ultimately when c2. The number of Y t is always in extinction for any value of c ultimately.

Subcase 2. Choosing b=0.2, d=0.2, k=0.2, m=0.5, r=3, β=0.2, K=10, and c[0.5,2.5], and the initial value ( S 0 , I 0 , Y 0 )=(6,2,1). It is obvious that (b,d,k,m,r,β,K,c)=(0.2,0.2,0.2,0.5,3,0.2,10,1),(0.2,0.2,0.2,0.5,3,0.2,10,1.633)P,N, respectively. Then we have equilibrium E 2 ( c β , r K r + K β (1 c K β ),0)= E 2 (5c,63c,0) and there exist two bifurcation values of c from the result of Theorem 3. After some computing, we find that when c=1 and c=1.633 the Hopf bifurcation and flip bifurcation at equilibrium E 2 (5c,63c,0) appears, respectively (Figure 4).

Figure 4
figure 4

The dynamical behaviors of S t c , I t c , and Y t c with b=0.2 , d=0.2 , k=0.2 , m=0.5 , r=3 , β=0.2 , K=10 , and c[0.5,2.5] , and the initial value ( S 0 , I 0 , Y 0 )=(6,2,1) for model ( 1.2 ).

From Figure 4(A)-(C), we find that there exist a Hopf bifurcation and chaos of model (1.2) when 0<c1. When 1<c<1.633 the number of S t is increasing, while the number of I t is decreasing. When c1.633 there appear the flip bifurcation and chaos of model (1.2). I t becomes in extinction when c1.97 (Figure 4(C)). Moreover, a 11-, 16- and 5-periodic solution appears when c0.779, c0.81, and c0.87, respectively (Figure 4(B)). However, Y t becomes in extinction because of bk<d (Figure 4(D)).

Example 4 For detecting the dynamical behaviors of model (1.2) with equilibrium E 2 ( c β , r K r + K β (1 c K β ),0) impacted by parameter K (the carrying capacity), we choose b=0.1, c=0.4, d=0.2, k=0.2, m=0.5, r=0.2, β=0.2, and K[2,8], and the initial values ( S 0 , I 0 , Y 0 )=(1,0.5,0.2). It is obvious that (b,c,d,k,m,r,β,K)=(0.1,0.4,0.2,0.2,0.5,0.2,0.2,7)P. Then we have equilibrium E 2 ( c β , r K r + K β (1 c K β ),0)= E 2 (2,1 3 1 + K ,0), and there exists a Hopf bifurcation (Figure 5).

Figure 5
figure 5

The dynamical behaviors of S t K , I t K , and Y t K with b=0.1 , c=0.4 , d=0.2 , k=0.2 , m=0.5 , r=0.2 , β=0.2 , and K[2,8] , and the initial values ( S 0 , I 0 , Y 0 )=(1,0.5,0.2) for model ( 1.2 ).

From Figure 5(A) and (B), we see that equilibrium E 2 (2,1 3 1 + K ,0) is stable when 2K<7 and loses stability when K=7. Further, when K>7 there appears a Hopf bifurcation of equilibrium E 2 (2,1 3 1 + K ,0). However, Y t is in extinction for any values of K ultimately.

Example 5 For detecting the dynamical behaviors of model (1.2) with equilibrium E 2 ( c β , r K r + K β (1 c K β ),0) impacted by parameter β (the transmission coefficient), we choose b=0.15, c=0.5, d=0.2, k=0.2, m=0.3, r=4, K=4, β[0.125,0.42], and the initial value ( S 0 , I 0 , Y 0 )=(2,1,1). It is obvious that (b,c,d,k,m,r,K,β)=(0.15,0.5,0.2,0.2,0.3,4,4,0.2083),(0.15,0.5,0.2,0.2,0.3,4,4,0.3750)N,P, respectively. Then we have equilibrium E 2 ( c β , r K r + K β (1 c K β ),0)= E 2 ( 1 2 β , 8 β 1 2 β ,0). From conclusion (2) of Theorem 3, the two bifurcation values are computed as β=0.2083 and β=0.3750 from Kβ= c r ( 2 + c ) 4 + c r and Kβ=1+c, respectively. Further, the interval [0.125,0.42] includes the two bifurcation values. Therefore, there appears two bifurcations: flip bifurcation and a Hopf bifurcation. Figure 6(A) and (B) verifies it. In detail, when β changes from 0.125 to 0.45, there appears chaos, flip bifurcation, local stability, Hopf bifurcation, and chaos of S t and I t . However, Y t becomes in extinction because of bk<d (Figure 6(C)). On the other hand, the same results appear for K[2,7] with b=0.15, c=0.5, d=0.2, k=0.2, m=0.3, r=4, β=0.25, and the initial value ( S 0 , I 0 , Y 0 )=(1,0.5,0.2) (Figure 7).

Figure 6
figure 6

The dynamical behaviors of S t β , I t β , and Y t β with b=0.15 , c=0.5 , d=0.2 , k=0.2 , m=0.3 , r=4 , K=4 , β[0.125,0.42] , and the initial value ( S 0 , I 0 , Y 0 )=(2,1,1) for model ( 1.2 ).

Figure 7
figure 7

The dynamical behaviors of S t K , I t K , and Y t K with b=0.15 , c=0.5 , d=0.2 , k=0.2 , m=0.3 , r=4 , β=0.25 , K[2,7] , and the initial value ( S 0 , I 0 , Y 0 )=(1,0.5,0.2) for model ( 1.2 ).

Example 6 For detecting the dynamical behaviors of model (1.2) with endemic equilibrium E ( S , I , Y ) impacted by parameter b (the predation coefficient), we choose c=0.1, d=0.02, k=0.3, m=0.4, r=1.2, β=0.25, K=6, and b[0.15,0.7], and the initial value ( S 0 , I 0 , Y 0 )=(2,1.5,1). It is obvious that the parameters c=0.1, d=0.02, k=0.3, m=0.4, r=1.2, β=0.25, K=6, and b=0.28, 0.5725, respectively, satisfy the conditions of conclusion (2) of Theorem 5. Then we have endemic equilibrium E ( S , I , Y )=( 150 b 4 15 , 376 600 b 135 , ( 15 b 1 ) ( 188 300 b ) 27 ). Obviously, when 0<b< 188 300 there exists an endemic equilibrium E ( S , I , Y ) of model (1.2).

From Figure 8 we see that when 0.15<b< b there appear chaos and a Hopf bifurcation for model (1.2); when b 0.28<b< b 0.5725 the endemic equilibrium E ( S , I , Y ) is stable; when b 0.5725<b< b 0.5785 there appear Hopf bifurcation and chaos. Furthermore, S t reaches the K value when b 0.5785<b, which can be seen from Figure 8(A) and (B). However, I t and Y t become in extinction when b0.57 from Figure 8(C)-(E).

Figure 8
figure 8

The dynamical behaviors of S t b , I t b , and Y t b with c=0.1 , d=0.02 , k=0.3 , m=0.4 , r=1.2 , β=0.25 , K=6 , and b[0.15,0.7] , and the initial value ( S 0 , I 0 , Y 0 )=(2,1.5,1) for model ( 1.2 ).

Example 7 For detecting the dynamical behaviors of model (1.2) with endemic equilibrium E ( S , I , Y ) impacted by parameter k (the coefficient in conversing prey into predator), we choose b=0.3, c=0.1, d=0.04, m=0.3, r=1.2, β=0.25, K=6, and k[0.15,1], and the initial value ( S 0 , I 0 , Y 0 )=(2,1.5,1). It is obvious that parameters b=0.3, c=0.1, d=0.04, m=0.3, r=1.2, β=0.25, K=6, and k=0.34 satisfy the conditions of conclusion (4) of Theorem 5. Then we have endemic equilibrium E ( S , I , Y )=( 66 k 8 15 , 392 264 k 135 , ( 15 k 2 ) ( 392 264 k ) 81 ). Obviously, when 0.15k1 there exists an endemic equilibrium E ( S , I , Y ).

Figure 9 shows that when 0.15<k< k 0.34 there exist chaos and a Hopf bifurcation for S t , I t , and Y t . With the increasing of k from k 0.34 to 1, the numbers of S t and Y t are increasing while I t is decreasing. And this result agrees with the ecological significance.

Figure 9
figure 9

The dynamical behaviors of S t k , I t k , and Y t k with b=0.3 , c=0.1 , d=0.04 , m=0.3 , r=1.2 , β=0.25 , K=6 , and k[0.15,1] , and the initial value ( S 0 , I 0 , Y 0 )=(2,1.5,1) for model ( 1.2 ).

For better understanding of the above results, we only provide phase portraits (see Figure 10) of model (1.2) under the condition k=0.2,0.34,0.4 in Example 7. The other cases are similar to Example 7 and we omit them here.

Figure 10
figure 10

The phase portraits of model ( 1.2 ) with k=0.2,0.34,0.4 corresponding to Figure  9 .

Remark 3 From Subcase 2 of Example 3, when we choose the same parameters and the initial value, then we vary the parameter c we see that there appears a series complex dynamical behavior in equilibrium E 2 ( c β , r K r + K β (1 c K β ),0) of model (1.2), such as chaos → flip bifurcation → local stability → Hopf bifurcation → chaos too.

Remark 4 From Example 6, when we choose the same parameters and the initial value, then when we vary the parameter b we see that there appears a series complex dynamical behaviors in equilibrium E ( S , I , Y ) of model (1.2), such as chaos → Hopf bifurcation → local stability → Hopf bifurcation → chaos too.

Remark 5 The predation coefficient b of predator plays an important role in biological disease prevention and cure which can be seen in Example 6. And this is significant in the actual situation of ecology.

Open problem 1 Whether there exist some special population models when we fix same parameters and vary one special parameter there appears a series bifurcations and chaos.

Open problem 2 From the above discussion, whether there exists chaos → flip bifurcation → local stability → flip bifurcation → chaos in some special population model when some parameters are fixed at the same values and one parameter is varied continuously. This will be our future study.

4 Discussion

The study about discrete-time eco-epidemiological model is payed little attention in previous works. In this paper, we discussed the dynamical behaviors of a discrete-time eco-epidemiological model (1.2). The threshold parameter R 0 is obtained which controls the development of the disease. When R 0 <1, 0<r1 (or R 0 exp [ r 1 ] r <1, 1<r<2) the susceptible prey reaches the carrying capacity, while the infected prey and the predator become in extinction. It implies that the disease dies out in the prey population. When R 0 >1 and kb<d the susceptible prey and infected prey coexist, while the predator becomes in extinction. This implies that the disease persists in the prey and the paradoxical phenomenon is obtained that sufficient enrichment of resources leads to extinction of the predator.

Further, the different complex dynamical behaviors of model (1.2) caused by different parameters have been investigated using the difference equation theories in ecological perspective: such as flip bifurcation, Hopf bifurcation, chaos, and more complex dynamical behaviors. This is far richer than the corresponding continuous-time model (1.1). The results now are given in detail.

1. For the parameters b (the predation coefficient), k (the coefficient in conversing prey into predator) and d (the death rate constant of the predator), when they satisfy bk<d the predator Y t always becomes in extinction, which agrees with the ecological phenomenon.

2. For equilibrium E 2 ( c β , r K r + K β (1 c K β ),0) of model (1.2), we choose four key parameters r, K, β, c that directly influence the dynamical behaviors of model (1.2). When they vary at different values model (1.2) appears local stability, flip bifurcation, Hopf bifurcation, and chaos. Further, the most interesting aspect is choosing the same parameters and the initial value of model (1.2); then K or β shows a continuous increase from some fixed value above 0 to c r ( 2 + c ) 4 + c r then to 1+c, then there appears a series of dynamical behaviors: chaos → flip bifurcation → local stability → Hopf bifurcation → chaos too which is the same result as in [2]. Hence, there is an interesting open problem when we fix the same parameters and vary one special parameter: whether there exist series bifurcations and chaos for other population models.

Moreover, when we choose the same parameters and the initial value of model (1.2); then c has a continuous increase from some fixed value above 0 to Kβ1 then to c 2 , then there appears a series of dynamical behaviors: chaos → Hopf bifurcation → local stability → flip bifurcation → chaos too (Figure 4). This phenomenon is rarely seen in previous work.

3. For positive equilibrium E ( S , I , Y ) of model (1.2), we choose the key parameters b (the predation coefficient) and k (the coefficient in conversing prey into predator) to detect the variation of the dynamical behaviors. When the parameter b changes at different values and other parameters are fixed at the same values there appears a series of dynamical behaviors: chaos → Hopf bifurcation → local stability → Hopf bifurcation → chaos too, which can be seen from Figure 8. When parameter k increases the number of I t is decreasing while S t and Y t are increasing and there appears Hopf bifurcation of model (1.2) when k= k (Figure 9).

Generally, the predation ability and conversing prey into predator ability are important to influence the numbers of predator and infected prey. In this study, the results imply that when the parameter b or k is increasing, then the number of predator Y t is increasing, while I t is decreasing. And this will be of significance in controlling the disease of prey in an eco-epidemiological model.

However, there are still many interesting and challenging questions which need to be studied for model (1.2). For example, we only obtain the local stability, bifurcations, and chaos dynamical behaviors of model (1.2). We can ask the questions: Whether the global asymptotic stability of model (1.2) can be obtained. And if model (1.2) occurs with different functional responses or different types of incidence rate then how to study the dynamical behaviors. Furthermore, if the susceptible prey is preyed in model (1.2), whether there exist complex dynamical behaviors. We will investigate them in our future work.