Next Article in Journal
Adaptive Dual Synchronization of Fractional-Order Chaotic System with Uncertain Parameters
Next Article in Special Issue
Bifurcation Analysis of a Synthetic Drug Transmission Model with Two Time Delays
Previous Article in Journal
Post-Quantum Chebyshev-Type Integral Inequalities for Synchronous Functions
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Dynamical Analysis of a Delayed Diffusive Predator–Prey Model with Additional Food Provided and Anti-Predator Behavior

Department of Mathematics, Northeast Forestry University, Harbin 150040, China
*
Author to whom correspondence should be addressed.
Submission received: 9 December 2021 / Revised: 14 January 2022 / Accepted: 29 January 2022 / Published: 31 January 2022
(This article belongs to the Special Issue Recent Advances in Theory and Application of Dynamical Systems)

Abstract

:
We studied a delayed predator–prey model with diffusion and anti-predator behavior. Assume that additional food is provided for predator population. Then the stability of the positive equilibrium is considered. The existence of Hopf bifurcation is also discussed based on the Hopf bifurcation theory. The property of Hopf bifurcation is derived through the theory of center manifold and normal form method. Finally, we analyze the effect of time delay on the model through numerical simulations.

1. Introduction

The interaction between predator and prey is ordinary and widespread in nature, it could affect the ecological balance. There exists an interesting phenomena in prey called anti-predator behavior, that is, adult prey kills young predators in order to overcome the predation pressure and improve their population density in the future [1,2,3,4,5]. Sometimes, this behavior may lead to species outbreak and do harm to the stability of the ecosystem. Hence, providing additional food for predator is a manner to avoid it [6]. Complex dynamics would be shown if anti-predator behavior happens.
The following predator–prey model (1) was proposed in [7]. In the absence of predators, the growth of the prey population follows the logistic equation. Assume Holling IV functional response exists in this system.
d N d T = r N ( 1 N K ) c N P ( q N 2 + 1 ) ( a + α η 1 A ) d P d T = b N + ( q N 2 + 1 ) η 1 A P ( q N 2 + 1 ) ( a + α η 1 A ) m P η ¯ N P
All parameters are positive and their biological description could be found from [7] as Table 1. In addition to the main food prey u, the predator has additional food sources A in the model (1). An the term η ¯ N P represents the anti-predator behavior in prey. K. D. Prasad et al. [7] investigated various bifurcations of the system (1), including Bogd- anov–Takens bifurcation, Saddle-node bifurcation, and Hopf bifurcation. They also considered the global dynamics of this system.
The predator–prey model has important research value in biomathematics; therefore, many experts have investigated it and obtained plenty of valuable results [8,9,10,11,12]. For example, time delay is an element that cannot be ignored in population dynamics. In nature, the development of population is not only related to the current state, but also related to the past time state, which is often called time delay. Generally, time delay often causes instability and periodic oscillation. In this paper, we are going to study the effect of time delay on the model (1), and intend to observe whether some new dynamic phenomenon happens.
Further, the distribution of prey and predator are usually nonhomogeneous and different concentration levels of them would cause different population movements [13]; then, the diffusion phenomenon occurs. Some scholars provide different approaches of mathematical modeling of some ecological interaction in the presence of spatial diffusion [14,15,16,17]. In [15], the authors considered a predator–prey model with herd behavior and the cross-diffusion and fear effect, they mainly studied the Turing patterns and Turing–Hopf bifurcation induced by cross-diffusion. In [17], S. Djilali and S. Bentout studied a diffusive predator–prey model in the presence of predator rivalry and prey social behavior. They mainly studied the stability and Hopf bifurcation, and they show the nonhomogeneous periodic solution induced by diffusion. These works show that the diffusion term often causes the Turing pattern, spatial non-uniform periodic oscillation and so on.
Inspired by the above works, we incorporate the diffusion term and time delay to the model (1) and investigate the following model (2). We mainly study the Hopf bifurcation by the theory of center manifold and normal form method by using time delay as the bifurcation parameter.
N ( x , t ) t = D 1 Δ N + r N ( 1 N ( T T 1 ) K ) c N P ( q N 2 + 1 ) ( a + α η 1 A ) P ( x , t ) t = D 2 Δ P + b N + ( q N 2 + 1 ) η 1 A P ( q N 2 + 1 ) ( a + α η 1 A ) m P η ¯ N P
where D 1 and D 2 represents the diffusion coefficients of prey and predator, respectively. Suppose there exists a time delay T 1 , which denotes the resource limitation of the prey logistic equation. It is convenient to non-dimensionalize the model with the transformations as u = N a , v = C P a r , and t = r T . Then, the following model is obtained.
u ( x , t ) t = d 1 Δ u + u ( 1 u ( t τ ) γ ) u v ( w u 2 + 1 ) ( 1 + α ϵ ) , x ( 0 , l π ) , t > 0 , v ( x , t ) t = d 2 Δ v + β u + ( w u 2 + 1 ) ϵ v ( w u 2 + 1 ) ( 1 + α ϵ ) δ v s u v , x ( 0 , l π ) , t > 0 , u x ( 0 , t ) = v x ( 0 , t ) = 0 , u x ( l π , t ) = v x ( l π , t ) = 0 , t > 0 , u ( x , θ ) = u 0 ( x , θ ) 0 , v ( x , θ ) = v 0 ( x , θ ) 0 , x [ 0 , l π ] , θ [ τ , 0 ] .
where
γ = K a , w = q a 2 , ϵ = η 1 A a , β = b r , δ = m r , s = η ¯ a r , d 1 = D 1 r , d 2 = D 2 r .
All parameters in the model (3) are non-negative. u ( x , t ) t and v ( x , t ) t denote the gradient of prey and predator densities, respectively. The boundary condition is Neumann boundary condition, based on the hypothesis that the region where prey and predators live is closed and no prey and predator entering or leaving the region.
In this paper, we mainly study the effect of time delay and diffusion term on the model (3), such as delay inducing instability, homogeneous or inhomogeneous bifurcating periodic solutions. The rest of our paper is divided as follows. In Section 2, the local stability of the equilibrium is studied, some conditions under which Hopf bifurcation occurs are also derived. The property of Hopf bifurcation is investigated in Section 3 and numerical simulations are presented in Section 4. At last, we give a short conclusion.

2. Analysis of the Characteristic Equations

The equilibria of system (3) are the roots of the following equations
u ( 1 u γ ) u v ( w u 2 + 1 ) ( 1 + α ϵ ) = 0 , β u + ( w u 2 + 1 ) ϵ v ( w u 2 + 1 ) ( 1 + α ϵ ) δ v s u v = 0 .
The existence of positive equilibrium is exactly investigated in [7]. The results are as follows.
Lemma 1.
Ref. [7]For the model (3), the following conclusions about the existence of positive equilibrium are true.
1. 
( 0 , 0 ) and ( γ , 0 ) are two boundary equilibria.
2. 
There exists a unique interior equilibrium E 1 ( u 1 , v 1 ) , when β s ( 1 + α ϵ ) > 0 , β ϵ δ ( 1 + α ϵ ) 0 and f ( u c ) < 0 , u 1 < γ < u 2 .
3. 
There exists two interior equilibria E 1 ( u 1 , v 1 ) and E 2 ( u 2 , v 2 ) , when β s ( 1 + α ϵ ) > 0 , β ϵ δ ( 1 + α ϵ ) 0 and f ( u c ) < 0 , u 1 < u 2 < γ .
4. 
There exists an instantaneous equilibrium E c ( u c , v c ) , when β s ( 1 + α ϵ ) > 0 , β ϵ δ ( 1 + α ϵ ) 0 and f ( u c ) = 0 , u c < γ .
5. 
There exists one equilibrium E 2 ( u 2 , v 2 ) if β ϵ δ ( 1 + α ϵ ) > 0 and u 2 < γ .
where
f ( u ) = s w ( 1 + α ϵ ) u 3 [ β ϵ δ ( 1 + α ϵ ) ] w u 2 [ β s ( 1 + α ϵ ) ] u [ β ϵ δ ( 1 + α ϵ ) ] , f ( u ) = 3 s w ( 1 + α ϵ ) u 2 2 w [ β ϵ δ ( 1 + α ϵ ) ] u [ β s ( 1 + α ϵ ) ] , f ( u ) = 6 s w ( 1 + α ϵ ) u 2 w [ β ϵ δ ( 1 + α ϵ ) ] .
Proof of Lemma 1.
Case 1. For u > 0 , suppose β ϵ δ ( 1 + α ϵ ) 0 , then f ( u ) > 0 and f ( 0 ) 0 . If β s ( 1 + α ϵ ) > 0 , f ( u ) = 0 has a local minimum value at u c ( u c > 0 ) . Because by analyzing f ( u ) , we know f ( u ) is decreasing in ( 0 , u c ) and increasing in ( u c , + ) . When f ( u c ) < 0 , f ( u ) has two positive equilibrium written as E 1 ( u 1 , v 1 ) and E 2 ( u 2 , v 2 ) with 0 < u 1 < u 2 ; when f ( u c ) = 0 , f ( u ) has only one positive root E c ( u c , v c ) . If β s ( 1 + α ϵ ) 0 , then f ( u ) 0 for all u. Thus, f ( u ) has no positive root in ( 0 , + ) .
Case 2. Suppose β ϵ δ ( 1 + α ϵ ) > 0 , then f ( 0 ) < 0 and f ( u ) = 0 admits a positive real root u c c . We know f ( u ) is decreasing in ( 0 , u c c ) and increasing in ( u c c , + ) . If β s ( 1 + α ϵ ) > 0 , easily know f ( 0 ) < 0 . The equation f ( u ) = 0 has one positive real root u 2 because its discriminant is either positive or negative. If β s ( 1 + α ϵ ) 0 , then f ( 0 ) > 0 . The equation f ( u ) = 0 has one positive real root u 2 and a pair of complex conjugate roots because its discriminant is always negative. To know the detailed discussion, one can refer to the literature [7]. □
Next, suppose the model (3) has a positive equilibrium P = ( u 0 , v 0 ) , then analyze its stability.
Denote
u 1 ( t ) = u ( · , t ) , u 2 ( t ) = v ( · , t ) , U = ( u 1 , u 2 ) T ,
X = { u , v 2 , 2 ( 0 , l π ) : ( u x , v x ) | x = 0 , l π = 0 } , a n d C τ : = C ( [ τ , 0 ] , X ) .
Linearizing the model (3) at P = ( u 0 , v 0 ) , it becomes
U ˙ = D Δ U ( t ) + L ( U t ) ,
where
D = d 1 0 0 d 2 , dom ( D Δ ) = { ( u , v ) T : u , v C 2 ( [ 0 , l π ] , R 2 ) , u x , v x = 0 , x = 0 , l π } ,
while L : C τ X is represented as
L ( ϕ t ) = L 1 ϕ ( 0 ) + L 2 ϕ ( τ ) ,
and ϕ = ( ϕ 1 , ϕ 2 ) T C τ with
L 1 = a 1 a 2 b 1 0 , L 2 = u 0 γ 0 0 0 ,
ϕ ( t ) = ( ϕ 1 ( t ) , ϕ 2 ( t ) ) T , ϕ ( t ) ( · ) = ( ϕ 1 ( t + · ) , ϕ 2 ( t + · ) ) T .
a 1 : = 2 u 0 2 w ( γ u 0 ) γ + u 0 2 w γ , a 2 : = u 0 ( u 0 γ ) v 0 γ , b 1 : = s v 0 + β ( u 0 2 w 1 ) ( u 0 γ ) γ + u 0 2 w γ
The characteristic equation of model (6) can be known through [18], that is
λ y d Δ y L ( e λ y ) = 0 , y dom ( d Δ ) , y 0 .
Then, μ n = n 2 / l 2 ( n = 0 , 1 , ) are the eigenvalues of
φ = μ φ , x ( 0 , l π ) ; φ ( 0 ) = φ ( l π ) = 0 .
and the corresponding eigenfunctions are
φ n ( x ) = cos n π l , n = 0 , 1 , .
Substituting
y = n = 0 y 1 n y 2 n cos n π l
into the Equation (8), we have
a 1 d 1 n 2 l 2 u 0 γ e λ τ a 2 b 1 d 2 n 2 l 2 y 1 n y 2 n = λ y 1 n y 2 n , n = 0 , 1 , .
Hence, the characteristic Equation (8) is the same as
Δ n ( λ , τ ) = λ 2 + λ A n + B n + ( C n + λ u 0 γ ) e λ τ = 0 ,
where
A n = ( d 1 + d 2 ) n 2 l 2 a 1 , B n = d 1 d 2 n 4 l 4 a 1 d 2 n 2 l 2 a 2 b 1 , C n = d 2 u 0 n 2 γ l 2
Make the following hypothesis,
( H ) a 1 u 0 γ < 0 , a 2 b 1 < 0 .
Then we obtain the following lemma.
Lemma 2.
Suppose ( H ) and τ = 0 hold, then P ( u 0 , v 0 ) is locally asymptotically stable.
Proof of Lemma 2.
If τ = 0 , Equation (9) turns into
λ 2 + ( A n + u 0 γ ) λ + B n + C n = 0 , n N 0 .
By direct calculation, we have A n + u 0 γ > A 0 + u 0 γ > 0 and B n + C n > B 0 + C 0 > 0 . That is to say all eigenvalues have negative real parts. Thus, P ( u 0 , v 0 ) is locally asymptotically stable. □
Based on ( H ) , easily to obtain Δ n ( 0 , τ ) = B n + C n > 0 . Then the following conclusion could be established.
Lemma 3.
Suppose ( H ) holds, when n N 0 , we know λ = 0 is not a root of Equation (9).
To find the critical values of τ . Suppose i ω ( ω > 0 ) is a solution of (9), next
ω 2 + i ω A n + B n + ( C n + i ω u 0 γ ) ( cos ω τ i sin ω τ ) = 0 .
We obtain
ω 2 + B n + C n cos ω τ + u 0 ω sin ω τ γ = 0 , A n ω C n sin ω τ + u 0 ω cos ω τ γ = 0 ,
which leads to
ω 4 + ( A n 2 2 B n u 0 2 γ 2 ) ω 2 + B n 2 C n 2 = 0 .
Denote z = ω 2 , then (12) becomes
z 2 + ( A n 2 2 B n u 0 2 γ 2 ) z + B n 2 C n 2 = 0 ,
and its roots are
z ± = 1 2 [ ( A n 2 2 B n u 0 2 γ 2 ) ± ( A n 2 2 B n u 0 2 γ 2 ) 2 4 ( B n 2 C n 2 ) ] .
If ( H ) holds
A n 2 2 B n u 0 2 γ 2 = ( d 1 n 2 l 2 a 1 ) 2 + d 2 2 n 4 l 4 + 2 a 2 b 1 u 0 2 γ 2 ,
B n + C n = d 1 d 2 n 4 l 4 ( a 1 d 2 d 2 u 0 γ ) n 2 l 2 a 2 b 1 > 0 ,
B n C n = d 1 d 2 n 4 l 4 ( a 1 d 2 + d 2 u 0 γ ) n 2 l 2 a 2 b 1 .
Define
G = { n N 0 | E q u a t i o n ( 13 ) h a s p o s i t i v e r o o t s } .
Then the following lemma holds.
Lemma 4.
Suppose ( H ) and G hold, then Equation (9) has a pair of purely imaginary roots ± i ω n + or ± i ω n ( n G ) at
τ n j , ± = τ n 0 , ± + 2 j π ω n , j N 0 ,
where
τ n 0 , ± = 1 ω n ± arccos ( V cos ± ) , V sin ± 0 ; 1 ω n ± [ 2 π arccos ( V cos ± ) ] , V sin ± < 0 .
and
V cos ± = γ B n C n γ A n u 0 ( ω n ± ) 2 + C n γ ( ω n ± ) 2 C n 2 γ 2 + u 0 2 ( ω n ± ) 2 , V sin ± = ω n ± γ B n u 0 + A n C n γ + u 0 ( ω n ± ) 2 C n 2 γ 2 + u 0 2 ( ω n ± ) 2 , ω n ± = z ± .
Assume λ n ( τ ) = α n ( τ ) + i ω n ( τ ) is the root of (9), which satisfies α n ( τ n j ) = 0 and ω n ( τ n j ) = ω n if τ is close to τ n j . Calculate the transversality condition.
Lemma 5.
If ( H ) holds, we have
α n ( τ n j ) = d λ d τ | τ = τ n j , + > 0 , α n ( τ n j ) = d λ d τ | τ = τ n j , < 0 , w i t h n G , j N 0 .
Proof of Lemma 5.
Differentiate both sides of the Equation (9) with respect to τ , that is
( d λ d τ ) 1 = 2 λ + A n + u 0 γ e λ τ ( λ C n + u 0 λ 2 γ ) e λ τ τ λ .
By calculation,
R e ( d λ d τ ) τ = τ n j , ± 1 = A n 2 2 B n + 2 ω n 2 u 0 2 γ 2 C n 2 + u 0 2 ω n 2 γ 2 τ = τ n j , ± = ± ( A n 2 2 B n u 0 2 γ 2 ) 2 4 ( B n 2 C n 2 ) C n 2 + u 0 2 ω n 2 γ 2 .
Thus α n ( τ n j , + ) > 0 , and α n ( τ n j , ) < 0 . □
Assume m n , then τ m j = τ n k could happen sometimes; however, we ignore that and only think about
τ D : = { τ n j : τ m j τ n k , m n , m , n G , j , k N 0 } .
Let τ = m i n { τ D } . In conclusion, the following theorem is given.
Theorem 1.
In the model (3), if ( H ) holds, the following statements are true.
(1)
Suppose G = , τ 0 , then P ( u 0 , v 0 ) is locally asymptotically stable.
(2)
Suppose G , when τ [ 0 , τ ) , P ( u 0 , v 0 ) is locally asymptotically stable, and it is unstable when τ < τ < τ + ϵ for some ϵ > 0 .
(3)
When τ = τ n j ( j N 0 ), the system (3) undergoes a Hopf bifurcation. There exists inhomogeneous bifurcating periodic solutions for τ D / { τ 0 k : k N 0 } .

3. Stability and Direction of Hopf Bifurcation

In this section, we obtain some formulas for determining the property of Hopf bifurcation through the method in [18], the following are detail computation. Fix j N 0 , n G , make τ ˜ = τ n j . Assume u ˜ ( x , t ) = u ( x , τ t ) u 0 , v ˜ ( x , t ) = v ( x , τ t ) v 0 . Then drop the tilde for the sake of simplicity. The model (3) becomes
u t = τ [ d 1 Δ u + ( u + u 0 ) 1 u ( t 1 ) + u 0 γ v + v 0 ( w ( u + u 0 ) 2 + 1 ) ( 1 + α ϵ ) ] , v t = τ [ d 2 Δ v + ( v + v 0 ) β ( u + u 0 + ( w ( u + u 0 ) 2 + 1 ) ϵ ) ( w ( u + u 0 ) 2 + 1 ) ( 1 + α ϵ ) δ s ( u + u 0 ) ] ,
with x ( 0 , l π ) , t > 0 . Suppose
τ = τ ˜ + μ , u 1 ( t ) = u ( · , t ) , u 2 ( t ) = v ( · , t ) and U ( x , t ) = ( u 1 ( x , t ) , u 2 ( x , t ) ) T .
For convenience, we denote U t ( θ ) = U ( x , t + θ ) . Under the phase space C 1 : = C ( [ 1 , 0 ] , X ) , (18) could be denoted by
d U ( t ) d t = τ ˜ D Δ U ( t ) + L τ ˜ ( U t ) + F ( U t , μ ) ,
where
L μ ( ϕ ) = μ a 1 ϕ 1 ( 0 ) + a 2 ϕ 2 ( 0 ) u 0 γ ϕ 1 ( 1 ) b 1 ϕ 1 ( 0 )
F ( ϕ , μ ) = μ D Δ ϕ + L μ ( ϕ ) + f ( ϕ , μ ) ,
and
f ( ϕ , μ ) = ( τ ˜ + μ ) ( F 1 ( ϕ , μ ) , F 2 ( ϕ , μ ) ) T , F 1 ( ϕ , μ ) = ( ϕ 1 ( 0 ) + u 0 ) 1 ϕ 1 ( 1 ) + u 0 γ ϕ 2 ( 0 ) + v 0 ( w ( ϕ 1 ( 0 ) + u 0 ) 2 + 1 ) ( 1 + α ϵ ) a 1 ϕ 1 ( 0 ) a 2 ϕ 2 ( 0 ) + u 0 γ ϕ 1 ( 1 ) , F 2 ( ϕ , μ ) = ( ϕ 2 ( 0 ) + v 0 ) β ( ϕ 1 ( 0 ) + u 0 + ( w ( ϕ 1 ( 0 ) + u 0 ) 2 + 1 ) ϵ ) ( w ( ϕ 1 ( 0 ) + u 0 ) 2 + 1 ) ( 1 + α ϵ ) δ s ( ϕ 1 ( 0 ) + u 0 ) b 1 ϕ 1 ( 0 ) ,
with ϕ ( θ ) = ( ϕ 1 ( θ ) , ϕ 2 ( θ ) ) T C 1 .
Consider the linear equation
d U ( t ) d t = τ ˜ D Δ U ( t ) + L τ ˜ ( U t ) .
By the previous analysis, we know the origin ( 0 , 0 ) is an equilibrium of (18), and for τ = τ ˜ , Λ n : = { i ω n τ ˜ , i ω n τ ˜ } are eigenvalues of system (22) and the liner functional differential equation
d z ( t ) d t = τ ˜ D n 2 l 2 z ( t ) + L τ ˜ ( z t ) .
From Riesz representation theorem [19], a 2 × 2 matrix function η n ( σ , τ ˜ ) 1 σ 0 exists, whose entries are of bounded variation such that, then
τ ˜ D n 2 l 2 ϕ ( 0 ) + L τ ˜ ( ϕ ) = 1 0 d η n ( σ , τ ) ϕ ( σ ) ,
with ϕ ( θ ) C ( [ 1 , 0 ] , R 2 ) .
In fact, we can choose
η n ( σ , τ ) = τ E σ = 0 , 0 σ ( 1 , 0 ) , τ F σ = 1 ,
where
E = a 1 d 1 n 2 l 2 a 2 b 1 d 2 n 2 l 2 , F = u 0 γ 0 0 0 .
Let A ( τ ˜ ) denote the infinitesimal generators of semigroup included by the solutions of Equation (23) and A be the formal adjoint of A ( τ ˜ ) under the bilinear paring
( ψ , ϕ ) = ψ ( 0 ) ϕ ( 0 ) 1 0 ξ = 0 σ ψ ( ξ σ ) d η n ( σ , τ ˜ ) ϕ ( ξ ) d ξ = ψ ( 0 ) ϕ ( 0 ) + τ ˜ 1 0 ψ ( ξ + 1 ) F ϕ ( ξ ) d ξ .
with ϕ ( θ ) C ( [ 1 , 0 ] , R 2 ) , ψ ( r ) C ( [ 0 , 1 ] , R 2 ) . Then A ( τ ˜ ) and A are a pair of adjoint operators, see [20]. From the discussion in Section 2, we know ± i ω n τ ˜ are two simple purely imaginary characteristic values of A ( τ ˜ ) as well as A . Suppose P and P are the center subspace, that is, the generalized eigenspace of A ( τ ˜ ) and A associated with Λ n , respectively. Then P is the adjoint space of P and dim P = dim P = 2 , see [18].
We can obtain p 1 ( θ ) = ( 1 , ξ ) T e i ω n τ ˜ θ , p 2 ( θ ) = p 1 ( θ ) ¯ ( θ [ 1 , 0 ] ) is a basis of A ( τ ˜ ) associated with Λ n and q 1 ( r ) = ( 1 , η ) e i ω n τ ˜ r , q 2 ( r ) = q 1 ( r ) ¯ ( r [ 0 , 1 ] ) is a basis of A with Λ n , where
ξ = b 1 d 2 n 2 l 2 + i ω n , η = a 2 d 2 n 2 l 2 i ω n .
Let Φ = ( Φ 1 , Φ 2 ) , Ψ = ( Ψ 1 , Ψ 2 ) T , with
Φ 1 ( θ ) = p 1 ( θ ) + p 2 ( θ ) 2 = Re e i ω n τ ˜ θ Re ξ e i ω n τ ˜ θ , Φ 2 ( θ ) = p 1 ( θ ) p 2 ( θ ) 2 i = Im e i ω n τ ˜ θ Im ξ e i ω n τ ˜ θ
for θ [ 1 , 0 ] ,
Ψ 1 ( r ) = q 1 ( r ) + q 2 ( r ) 2 = Re e i ω n τ ˜ r Re η e i ω n τ ˜ r , Ψ 2 ( r ) = q 1 ( r ) q 2 ( r ) 2 i = Im e i ω n τ ˜ r Im η e i ω n τ ˜ r
for r [ 0 , 1 ] . Then we can compute by (26),
D 1 : = ( Ψ 1 , Φ 1 ) , D 2 : = ( Ψ 1 , Φ 2 ) , D 3 : = ( Ψ 2 , Φ 1 ) , D 4 : = ( Ψ 2 , Φ 2 ) .
Let ( Ψ , Φ ) = ( Ψ j , Φ k ) = D 1 D 2 D 3 D 4 and construct a new basis Ψ for P by Ψ = ( Ψ 1 , Ψ 2 ) T = ( Ψ , Φ ) 1 Ψ . Then ( Ψ , Φ ) = I 2 . Furthermore, define f n : = ( β n 1 , β n 2 ) and c · f n = c 1 β n 1 + c 2 β n 2 , f o r c = ( c 1 , c 2 ) T C 1 , where
β n 1 = cos n l x 0 , β n 2 = 0 cos n l x .
Therefore, the center subspace of linear Equation (22) is given by P C N C 1 P S C 1 and P S C 1 represents the complement subspace of P C N C 1 in C 1 ,
< u , v > : = 1 l π 0 l π u 1 v 1 ¯ d x + 1 l π 0 l π u 2 v 2 ¯ d x ,
where u = ( u 1 , u 2 ) , v = ( v 1 , v 2 ) , u , v X , < ϕ , f 0 > = ( < ϕ , f 0 1 > , < ϕ , f 0 2 > ) T .
Let A τ ˜ be the infinitesimal generator of an analytic semigroup induced by the solution of linear system (22), then Equation (18) becomes
d U ( t ) d t = A τ ˜ U t + R ( U t , μ ) ,
with
R ( U t , μ ) = 0 , θ [ 1 , 0 ) ; F ( U t , μ ) , θ = 0 .
Through the decomposition of C 1 , the solution of (19) can be written as
U t = Φ x 1 x 2 f n + h ( x 1 , x 2 , μ ) ,
where
x 1 x 2 = ( Ψ , < U t , f n > ) ,
moreover,
h ( x 1 , x 2 , μ ) P S C 1 , h ( 0 , 0 , 0 ) = 0 , D h ( 0 , 0 , 0 ) = 0 .
In particular, the solution of (19) on the center manifold is given by
U t = Φ x 1 ( t ) x 2 ( t ) f n + h ( x 1 , x 2 , 0 ) .
Suppose z = x 1 i x 2 and Ψ ( 0 ) = ( Ψ 1 ( 0 ) , Ψ 2 ( 0 ) ) T , find that p 1 = Φ 1 + i Φ 2 , then we have
Φ x 1 x 2 f n = ( Φ 1 , Φ 2 ) z + z ¯ 2 i ( z z ¯ ) 2 f n = 1 2 ( p 1 z + p 1 ¯ z ¯ ) f n ,
and
h ( x 1 , x 2 , 0 ) = h ( z + z ¯ 2 , i ( z z ¯ ) 2 , 0 ) .
Thus, (30) becomes
U t = 1 2 ( p 1 z + p 1 ¯ z ¯ ) f n + h ( z + z ¯ 2 , i ( z z ¯ ) 2 , 0 ) = 1 2 ( p 1 z + p 1 ¯ z ¯ ) f n + W ( z , z ¯ ) ,
and
W ( z , z ¯ ) = h ( z + z ¯ 2 , i ( z z ¯ ) 2 , 0 ) .
Based on [18], z satisfies
z ˙ = i ω n τ ˜ z + g ( z , z ¯ ) ,
with
g ( z , z ¯ ) = ( Ψ 1 ( 0 ) i Ψ 2 ( 0 ) ) < F ( U t , 0 ) , f n > .
Assume
W ( z , z ¯ ) = W 20 z 2 2 + W 11 z z ¯ + W 02 z ¯ 2 2 + ,
g ( z , z ¯ ) = g 20 z 2 2 + g 11 z z ¯ + g 02 z ¯ 2 2 + ,
by Equations (31) and (34), we obtain
u t ( 0 ) = 1 2 ( z + z ¯ ) cos n x l + W 20 ( 1 ) ( 0 ) z 2 2 + W 11 ( 1 ) ( 0 ) z z ¯ + W 02 ( 1 ) ( 0 ) z ¯ 2 2 + ,
v t ( 0 ) = 1 2 ( ξ z + ξ ¯ z ¯ ) cos n x l + W 20 ( 2 ) ( 0 ) z 2 2 + W 11 ( 2 ) ( 0 ) z z ¯ + W 02 ( 2 ) ( 0 ) z ¯ 2 2 + ,
u t ( 1 ) = 1 2 ( z e i ω n τ ˜ + z ¯ e i ω n τ ˜ ) cos ( n x l ) + W 20 ( 1 ) ( 1 ) z 2 2 + W 11 ( 1 ) ( 1 ) z z ¯ + W 02 ( 1 ) ( 1 ) z ¯ 2 2 + ,
then
F ¯ 1 ( U t , 0 ) = 1 τ ˜ F 1 = α 1 u t 2 ( 0 ) + α 2 u t ( 0 ) v t ( 0 ) + α 3 u t ( 0 ) u t ( 1 ) + α 4 u t 3 ( 0 ) + α 5 u t 2 ( 0 ) v t ( 0 ) + O ( 4 ) ,
F ¯ 2 ( U t , 0 ) = 1 τ ˜ F 2 = β 1 u t 2 ( 0 ) + β 2 u t ( 0 ) v t ( 0 ) + β 3 u t 3 ( 0 ) + β 4 u t 2 ( 0 ) v t ( 0 ) + O ( 4 ) ,
with
α 1 = w u 0 v 0 ( 3 w u 0 2 ) ( 1 + w u 0 2 ) 3 ( 1 + α ϵ ) , α 2 = w u 0 2 1 ( 1 + w u 0 2 ) 2 ( 1 + α ϵ ) , α 3 = 1 γ , α 4 = w v 0 ( 1 6 w u 0 2 + w 2 u 0 4 ) ( 1 + w u 0 2 ) 4 ( 1 + α ϵ ) , α 5 = w u 0 ( 3 w u 0 2 ) ( 1 + w u 0 2 ) 3 ( 1 + α ϵ ) , β 1 = w u 0 v 0 ( w u 0 2 3 ) β ( 1 + w u 0 2 ) 3 ( 1 + α ϵ ) , β 2 = β ( 1 w u 0 2 ) s ( 1 + w u 0 2 ) 2 ( 1 + α ϵ ) ( 1 + w u 0 2 ) 2 ( 1 + α ϵ ) , β 3 = w v 0 β ( 6 w u 0 2 w 2 u 0 4 1 ) ( 1 + w u 0 2 ) 4 ( 1 + α ϵ ) , β 4 = w u 0 β ( w u 0 2 3 ) ( 1 + w u 0 2 ) 3 ( 1 + α ϵ ) .
Hence,
F ¯ 1 ( U t , 0 ) = cos 2 ( n x l ) ( z 2 2 χ 20 + z z ¯ χ 11 + z ¯ 2 2 χ ¯ 20 ) + z 2 z ¯ 2 χ 1 cos n x l + z 2 z ¯ 2 χ 2 cos 3 n x l + ,
F ¯ 2 ( U t , 0 ) = cos 2 ( n x l ) ( z 2 2 ς 20 + z z ¯ ς 11 + z ¯ 2 2 ς ¯ 20 ) + z 2 z ¯ 2 ς 1 cos n x l + z 2 z ¯ 2 ς 2 cos 3 n x l + ,
< F ( U t , 0 ) , f n > = τ ˜ ( F ¯ 1 ( U t , 0 ) f n 1 + F ¯ 2 ( U t , 0 ) f n 2 ) = z 2 2 τ ˜ χ 20 ς 20 Γ + z z ¯ τ ˜ χ 11 ς 11 Γ + z ¯ 2 2 τ ˜ χ ¯ 20 ς ¯ 20 Γ + z 2 z ¯ 2 τ ˜ κ 1 κ 2 + .
with
Γ = 1 l π 0 l π cos 3 ( n x l ) d x , χ 20 = 1 2 ( α 1 + α 2 ξ + α 3 e i τ ˜ ω n ) , χ 11 = 1 4 2 α 1 + α 2 ( ξ + ξ ¯ ) + α 3 ( e i τ ˜ ω n + e i τ ˜ ω n ) , χ 1 = W 11 1 ( 0 ) ( 2 α 1 + α 2 ξ + α 3 e i τ ˜ ω n ) + 1 2 W 20 1 ( 0 ) ( 2 α 1 + α 2 ξ ¯ + α 3 e i τ ˜ ω n ) + W 11 2 ( 0 ) α 2 + 1 2 W 20 2 ( 0 ) α 2 + W 11 1 ( 1 ) α 3 + 1 2 W 20 1 ( 1 ) α 3 , χ 2 = 1 4 3 α 4 + α 5 ( 2 ξ + ξ ¯ ) , ς 20 = 1 2 ( β 1 + β 2 ξ ) , ς 11 = 1 4 ( 2 β 1 + β 2 ( ξ + ξ ¯ ) ) , ς 1 = W 11 1 ( 0 ) ( 2 β 1 + β 2 ξ ) + W 11 2 ( 0 ) β 2 + W 20 1 ( 0 ) ( β 1 + β 2 ξ ¯ 2 ) + W 20 2 ( 0 ) β 2 2 , ς 2 = 1 4 ( 3 β 3 + β 4 ( 2 ξ + ξ ¯ ) ) , κ 1 = χ 1 1 l π 0 l π cos 2 ( n x l ) d x + χ 2 1 l π 0 l π cos 4 ( n x l ) d x , κ 2 = ς 1 1 l π 0 l π cos 2 ( n x l ) d x + ς 2 1 l π 0 l π cos 4 ( n x l ) d x .
Denote
Ψ 1 ( 0 ) i Ψ 2 ( 0 ) : = ( γ 1 γ 2 ) .
Notice that
1 l π 0 l π cos 3 ( n x l ) d x = 0 , n = 1 , 2 , 3 , ,
then
( Ψ 1 ( 0 ) i Ψ 2 ( 0 ) ) < F ( U t , 0 ) , f n > = z 2 2 ( γ 1 χ 20 + γ 2 ς 20 ) Γ τ ˜ + z z ¯ ( γ 1 χ 11 + γ 2 ς 11 ) Γ τ ˜ + z ¯ 2 2 ( γ 1 χ ¯ 20 + γ 2 ς ¯ 20 ) Γ τ ˜ + z 2 z ¯ 2 τ ˜ [ γ 1 κ 1 + γ 2 κ 2 ] + ,
g 20 = g 11 = g 02 = 0 can be derived from (33), (35), and (42), with n = 1 , 2 , 3 , . If n = 0 , we have
g 20 = γ 1 τ ˜ χ 20 + γ 2 τ ˜ ς 20 , g 11 = γ 1 τ ˜ χ 11 + γ 2 τ ˜ ς 11 , g 02 = γ 1 τ ˜ χ ¯ 20 + γ 2 τ ˜ ς ¯ 20 .
and for n N 0 , g 21 = τ ˜ ( γ 1 κ 1 + γ 2 κ 2 ) .
Now, a complete description for g 20 is derived. Next, we need to calculate W 20 ( θ ) and W 11 ( θ ) for θ [ 1 , 0 ] because they appear in g 21 . It follows from (34) that
W ˙ ( z , z ¯ ) = W 20 z z ˙ + W 11 z ˙ z ¯ + W 11 z z ¯ ˙ + W 02 z ¯ z ¯ ˙ + ,
A τ ˜ W ( z , z ¯ ) = A τ ˜ W 20 z 2 2 + A τ ˜ W 11 z z ¯ + A τ ˜ W 02 z ¯ 2 2 + .
Furthermore, by [18], W ( z , z ¯ ) should satisfy
W ˙ ( z , z ¯ ) = A τ ˜ W + H ( z , z ¯ ) ,
where
H ( z , z ¯ ) = H 20 z 2 2 + W 11 z z ¯ + H 02 z ¯ 2 2 + = X 0 F ( U t , 0 ) Φ ( Ψ , < X 0 F ( U t , 0 ) , f n > · f n ) .
Thus, we have
( 2 i ω n τ ˜ A τ ˜ ) W 20 = H 20 , A τ ˜ W 11 = H 11 , ( 2 i ω n τ ˜ A τ ˜ ) W 02 = H 02 ,
Noticing that A τ ˜ has only two eigenvalues ± i ω n τ ˜ ; therefore, (45) has unique solution W i j in P given by
W 20 = ( 2 i ω n τ ˜ A τ ˜ ) 1 H 20 , W 11 = A τ ˜ 1 H 11 , W 02 = ( 2 i ω n τ ˜ A τ ˜ ) 1 H 02 .
From (42), we know that for θ [ 1 , 0 ) ,
H ( z , z ¯ )   = Φ ( 0 ) Ψ ( 0 ) < F ( U t , 0 ) , f n > · f n = ( p 1 ( θ ) + p 2 ( θ ) 2 , p 1 ( θ ) p 2 ( θ ) 2 i ) Φ 1 ( 0 ) Φ 2 ( 0 ) < F ( U t , 0 ) , f n > · f n = 1 2 [ p 1 ( θ ) ( Φ 1 ( 0 ) i Φ 2 ( 0 ) ) + p 2 ( θ ) ( Φ 1 ( 0 ) + i Φ 2 ( 0 ) ) ] < F ( U t , 0 ) , f n > · f n = 1 2 [ ( p 1 ( θ ) g 20 + p 2 ( θ ) g ¯ 02 ) z 2 2 + ( p 1 ( θ ) g 11 + p 2 ( θ ) g ¯ 11 ) z z ¯ + ( p 1 ( θ ) g 02 + p 2 ( θ ) g ¯ 20 ) z ¯ 2 2 ] + .
Therefore, by (44), for θ [ 1 , 0 ) ,
H 20 ( θ ) = 0 n N , 1 2 ( p 1 ( θ ) g 20 + p 2 ( θ ) g ¯ 02 ) · f 0 n = 0 ,
H 11 ( θ ) = 0 n N , 1 2 ( p 1 ( θ ) g 11 + p 2 ( θ ) g ¯ 11 ) · f 0 n = 0 ,
H 02 ( θ ) = 0 n N , 1 2 ( p 1 ( θ ) g 02 + p 2 ( θ ) g ¯ 20 ) · f 0 n = 0 ,
and
H ( z , z ¯ ) ( 0 ) = F ( U t , 0 ) Φ ( Ψ , < F ( U t , 0 ) , f n > ) · f n ,
H 20 ( 0 ) = τ ˜ χ 20 ς 20 cos 2 ( n x l ) , n N , τ ˜ χ 20 ς 20 1 2 ( p 1 ( 0 ) g 20 + p 2 ( 0 ) g ¯ 02 ) · f 0 , n = 0 .
H 11 ( 0 ) = τ ˜ χ 11 ς 11 cos 2 ( n x l ) , n N , τ ˜ χ 11 ς 11 1 2 ( p 1 ( 0 ) g 11 + p 2 ( 0 ) g ¯ 11 ) · f 0 , n = 0 .
By the definition of A τ ˜ , and from (45), the following equation holds.
W ˙ 20 = A τ ˜ W 20 = 2 i ω n τ ˜ W 20 + 1 2 ( p 1 ( θ ) g 20 + p 2 ( θ ) g ¯ 02 ) · f n , 1 θ < 0 .
Note that p 1 ( θ ) = p 1 ( 0 ) e i ω n τ ˜ θ , 1 θ 0 . Hence
W 20 ( θ ) = i 2 i ω n τ ˜ ( g 20 p 1 ( θ ) + g ¯ 02 3 p 2 ( θ ) ) · f n + E 1 e 2 i ω n τ ˜ θ ,
where
E 1 = W 20 ( 0 ) n = 1 , 2 , 3 , , W 20 ( 0 ) i 2 i ω n τ ˜ ( g 20 p 1 ( θ ) + g ¯ 02 3 p 2 ( θ ) ) · f 0 n = 0 .
Using the definition of A τ ˜ by (45) and (49), we have that
( g 20 p 1 ( 0 ) + g ¯ 02 3 p 2 ( 0 ) ) · f 0 + 2 i ω n τ ˜ E 1 A τ ˜ ( i 2 ω n τ ˜ ( g 20 p 1 ( 0 ) + g ¯ 02 3 p 2 ( 0 ) ) · f 0 ) A τ ˜ E 1 L τ ˜ ( i 2 ω n τ ˜ ( g 20 p 1 ( 0 ) + g ¯ 02 3 p 2 ( 0 ) ) · f n + E 1 e 2 i ω n τ ˜ θ ) = τ ˜ χ 20 ς 20 1 2 ( p 1 ( 0 ) g 20 + p 2 ( 0 ) g ¯ 02 ) · f 0 .
Notice that
A τ ˜ p 1 ( 0 ) + L τ ˜ ( p 1 · f 0 ) = i ω 0 p 1 ( 0 ) · f 0 ,
and
A τ ˜ p 2 ( 0 ) + L τ ˜ ( p 2 · f 0 ) = i ω 0 p 2 ( 0 ) · f 0 ,
Then for n N 0 , we know
2 i ω n E 1 A τ ˜ E 1 L τ ˜ E 1 e 2 i ω n = τ ˜ χ 20 ς 20 cos 2 ( n x l ) , n = 0 , 1 , 2 , .
From the above expression, we can obtain that
E 1 = τ ˜ E χ 20 ς 20 cos 2 ( n x l ) ,
where
E = 2 i ω n τ ˜ + d 1 n 2 l 2 a 1 + u 0 γ e 2 i ω n τ ˜ a 2 b 1 2 i ω n τ ˜ + d 2 n 2 l 2 1 .
By the same way, from (46), we have
W ˙ 11 = i 2 ω n τ ˜ ( p 1 ( θ ) g 11 + p 2 ( θ ) g ¯ 11 ) · f n , 1 θ < 0 .
That is
W 11 ( θ ) = i 2 i ω n τ ˜ ( p 1 ( θ ) g ¯ 11 p 1 ( θ ) g 11 ) + E 2 .
Similar to the above procedure, we can obtain
E 2 = τ ˜ E χ 11 ς 11 cos 2 ( n x l ) ,
where
E = d 1 n 2 l 2 a 1 + u 0 γ a 2 b 1 d 2 n 2 l 2 1 .
So far, W 20 ( θ ) and W 11 ( θ ) have been expressed by the parameters of the system (3). Hence, g 21 can also be expressed. Then, we can calculate the following quantities:
c 1 ( 0 ) = i 2 ω n τ ˜ ( g 20 g 11 2 | g 11 | 2 | g 02 | 2 3 ) + 1 2 g 21 , μ 2 = R e ( c 1 ( 0 ) ) R e ( λ ( τ n j ) ) , T 2 = 1 ω n τ ˜ [ I m ( c 1 ( 0 ) ) + μ 2 I m ( λ ( τ n j ) ) ] , β ^ 2 = 2 R e ( c 1 ( 0 ) ) , ϵ 2 = τ τ ˜ μ 2 + o ( τ τ ˜ 2 ) .
From [18], we can obtain the system (3) has a family of bifurcating periodic solutions when μ is near 0 (that is τ near τ ˜ ) with the following representations
U t ( μ , θ ) = ϵ R e ( p 1 ( θ ) ) e i ω n τ ˜ t · f n + O ( ϵ 2 ) ,
where μ ( ϵ ) , the period T ( ϵ ) , and the nontrivial Floquet exponent of the periodic solutions are given by
μ ( ϵ ) = μ 2 ϵ 2 + O ( ϵ 3 ) , T ( ϵ ) = 2 π ω n ( 1 + T 2 ϵ 2 ) + O ( ϵ 3 ) , β ^ ( ϵ ) = β ^ 2 ϵ 2 + O ( ϵ 3 ) .
In particular, we have the following conclusion.
  • μ 2 determines the directions of the Hopf bifurcation: if μ 2 > 0 (respectively, < 0), then the Hopf bifurcation is forward (respectively, backward), that is, the bifurcating periodic solutions exists for τ > τ n j (respectively, τ < τ n j ).
  • β ^ 2 determines the stability of the bifurcating periodic solutions on the center manifold: if β ^ 2 < 0 (respectively, β ^ 2 > 0 ), then the bifurcating periodic solutions are orbitally asymptotically stable (respectively, unstable).
  • T 2 determines the period of bifurcating periodic solutions: if T 2 > 0 (respectively, T 2 < 0 ), then the period increases (respectively, decreases).

4. Numerical Simulations

Here, in order to prove the above theoretical results, some numerical simulations are shown by using Matlab. For the system (3), fix parameters:
d 1 = 2 , d 2 = 2 , α = 0.5 , β = 0.5 , γ = 4 , δ = 0.4 , w = 0.3 , ϵ = 0.6 , s = 0.01 , l = 5 .
Then, we know u 0 0.4845 , v 0 1.2230 , and
a 1 u 0 γ 0.0055 < 0 , a 2 b 1 0.1286 < 0 .
Hence, ( H ) holds. G = { 0 , 1 } . Let n = 0 , then τ = τ 0 0 0.8015 and ω 0 0.3771 are obtained through calculation. From Theorem 1, P ( u 0 , v 0 ) is stable for τ [ 0 , τ ) . It is shown in Figure 1, here τ = 0.5 . In Figure 1, we can see that the predator and prey coexist, and as time goes on, they tend to the positive equilibrium ( u 0 , v 0 ) . P ( u 0 , v 0 ) is unstable and Hopf bifurcation occurs when τ = τ . From last section, we have ξ 0.9796 i , η 0.9232 i . Next,
Φ 1 ( 0 ) = 1 0 , Φ 2 ( 0 ) 0 0.9796 ,
Ψ 1 ( 0 ) = 1 0 , Ψ 2 ( 0 ) 0 0.9232 .
n = 0 , through (43), easily know
g 20 0.1632 + 0.2342 i , g 11 0.0378 0.0672 i ,
g 02 0.0876 0.3686 i , g 21 0.0341 + 0.1860 i .
By Lemma 4 and its proof, we obtain
d λ d τ 0.0079 + 0.0239 i .
Finally, we can calculate the following parameters
μ 2 1.7199 > 0 , β ^ 2 0.0271 < 0 , and T 2 0.2369 < 0 .
Thus, the direction of Hopf bifurcation is forward because μ 2 > 0 . There exists the locally asymptotically stable bifurcating periodic solutions whose period is decreasing (see Figure 2). At this moment, τ = 1.3 , prey and predator will coexist in the form of periodic oscillation.
If we choose other parameters, Hopf bifurcation with period-2 can also occur. For the system (3), fix parameters
d 1 = 2 , d 2 = 2 , α = 0.5 , β = 0.5 , γ = 4.1 , δ = 0.4 , w = 0.3 , ϵ = 0.7 , s = 0.01 , l = 5 .
Then, we know u 0 0.4109 , v 0 1.2762 , and
a 1 u 0 γ 0.0135 < 0 , a 2 b 1 0.1141 < 0 .
Hence, ( H ) holds. G = { 0 , 1 } . Let n = 0 , τ = τ 0 0 1.4414 and ω 0 0.3638 are obtained through calculation. From Theorem 1, P ( u 0 , v 0 ) is stable for τ [ 0 , τ ) . It is shown in Figure 3, here τ = 1 . In Figure 3, we can see that the predator and prey coexist, and as time goes on, they tend to the positive equilibrium ( u 0 , v 0 ) . P ( u 0 , v 0 ) is unstable and Hopf bifurcation occurs when τ = τ . From last section, we have ξ 1.0825 i , η 0.7964 i . Next,
Φ 1 ( 0 ) = 1 0 , Φ 2 ( 0 ) = 0 1.0825 ,
Ψ 1 ( 0 ) = 1 0 , Ψ 2 ( 0 ) = 0 0.7964 .
n = 0 , through (43), we easily know that
g 20 0.3125 + 0.5641 i , g 11 0.0668 0.0999 i ,
g 02 0.1789 0.7639 i , g 21 0.3361 1.4048 i .
By Lemma 4 and its proof, we obtain
d λ d τ 0.0112 + 0.0177 i .
Finally, we can calculate the following parameters:
μ 2 15.4938 > 0 , β ^ 2 0.3484 < 0 , and T 2 1.1019 > 0 .
Thus, the direction of Hopf bifurcation is forward because μ 2 > 0 . There exists the locally asymptotically stable bifurcating periodic solutions whose period is increasing (see Figure 4). At this moment, τ = 1.5 , bifurcating periodic solutions with period-2 appears.

5. Conclusions

In this paper, we incorporated time delay and diffusion on the model (1), and studied the dynamics in a delayed diffusive system with anti-predator and additional food provided for a predator. By using time delay as a parameter, we mainly studied the local stability of coexisting equilibrium, the existence of Hopf bifurcation induced by delay, and the property of Hopf bifurcation by the theory of the center manifold and normal form method.
Compared with the model (1), we prove that under some conditions, time delay can destabilize the stable equilibrium, and can even lead to the existence of periodic solutions. Especially, there exists a critical value τ . When the time delay is smaller than the critical value, prey and predator will coexist, and tend toward the coexisting equilibrium, and are evenly distributed homogeneous in the region; however, when the time delay crosses the critical value, the coexisting equilibrium is unstable, and Hopf bifurcation occurs. In this case, the prey and predator may also coexist, but they will coexist in the form of periodic oscillation. Further, diffusion may also cause inhomogeneous periodic solutions. Unfortunately, we found the inhomogeneous periodic solution of our model is unstable and could not be shown through numerical simulations. In a future work, we will conduct a more general study, using a generalized logistic function, which allows us to study the Allee effect. That is relevant in several areas of application, namely biology and ecology.

Author Contributions

Writing—original draft preparation: R.Y. and X.Z.; writing—review and editing, funding acquisition: R.Y., X.Z. and Y.A.; methodology and supervision: R.Y. and Y.A. All authors have read and agreed to the published version of the manuscript.

Funding

This research is supported by Fundamental Research Funds for the Central Universities (No. 2572021DJ01), Postdoctoral program of Heilongjiang Province (No. LBH-Q21060), Natural Science Foundation of Heilongjiang Province (No. A2018001), and National Nature Science Foundation of China (No. 11601070).

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Acknowledgments

The authors wish to express their gratitude to the editors and the reviewers for the helpful comments.

Conflicts of Interest

The authors declare that they have no conflict of interests.

References

  1. Ford, J.K.; Reeves, R.R. Fight or flight: Antipredator strategies of baleen whales. Mamm. Rev. 2008, 38, 50–86. [Google Scholar] [CrossRef]
  2. Ge, D.; Chesters, D.; Gomez-Zurita, J. Anti-predator defence drives parallel morphological evolution in flea beetles. Proc. R. Soc. Lond. B Biol. Sci. 2011, 278, 2133–2141. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  3. Lima, S.L. Nonlethal effectsin the ecology of predator-prey interactions. Bioscience 1998, 48, 25–34. [Google Scholar] [CrossRef] [Green Version]
  4. Matassa, C.M.; Donelan, S.C.; Luttbeg, B. Resource levels and prey state influence antipredator behavior and the strength of nonconsumptive predator effects. Oikos 2016, 125, 1478–1488. [Google Scholar] [CrossRef]
  5. Khater, M.; Murariu, D.; Gras, R. Predation risk tradeoffs in prey: Effects on energy and behaviour. Theor. Ecol. 2016, 9, 251–268. [Google Scholar] [CrossRef]
  6. Srinivasu, P.D.N.; Prasad, B.S.R.V.; Venkatesulu, M. Biological control through provision of additional food to predators: A theoretical study. Theor. Popul. Biol. 2007, 72, 111–120. [Google Scholar] [CrossRef] [PubMed]
  7. Prasad, K.D.; Prasad, B.S.R.V. Qualitative analysis of additional food provided predator-prey system with anti-predator behaviour in prey. Nonlinear Dyn. 2019, 96, 1765–1793. [Google Scholar] [CrossRef]
  8. Eskandari, Z.; Alidousti, J.; Avazzadeh, Z. Dynamics and bifurcations of a discrete-time prey-predator model with Allee effect on the prey population. Ecol. Complex. 2021, 48, 100962. [Google Scholar] [CrossRef]
  9. Zhang, X.; Liu, Z. Hopf bifurcation analysis in a predator-prey model with predator-age structure and predator-prey reaction time delay. Appl. Math. Model. 2021, 91, 530–548. [Google Scholar] [CrossRef]
  10. Duque, C.; Lizana, M. On the dynamics of a predator-prey model with nonconstant death rate and diffusion. Nonlinear Anal. Real World Appl. 2011, 12, 2198–2210. [Google Scholar] [CrossRef]
  11. Gan, Q.; Xu, R.; Yang, P. Bifurcation and chaos in a ratio-dependent predator-prey system with time delay. Chaos Solitons Fractals 2009, 39, 1883–1895. [Google Scholar] [CrossRef]
  12. Gilioli, G.; Pasquali, S.; Ruggeri, F. Nonlinear functional response parameter estimation in a stochastic predator-prey model. Math. Biosci. Eng. 2017, 9, 75–96. [Google Scholar]
  13. Wang, M. Stability and Hopf bifurcation for a prey-predator model with prey-stage structure and diffusion. Math. Biosci. 2008, 212, 149–160. [Google Scholar] [CrossRef] [PubMed]
  14. Guin, L.N.; Pal, S.; Chakravart, S. Pattern dynamics of a reaction-diffusion predator-prey system with both refuge and harvesting. Int. J. Biomath. 2021, 14, 2050084. [Google Scholar] [CrossRef]
  15. Djilali, S.; Bentout, S.; Ghanbari, B. Spatial patterns in a vegetation model with internal competition and feedback regulation. Eur. Phys. J. Plus 2021, 136, 1–24. [Google Scholar] [CrossRef]
  16. Souna, F.; Djilali, S.; Lakmeche, A. Spatiotemporal behavior in a predator–prey model with herd behavior and cross-diffusion and fear effect. Eur. Phys. J. Plus 2021, 136, 1–21. [Google Scholar] [CrossRef]
  17. Djilali, S.; Bentout, S. Pattern formations of a delayed diffusive predator–prey model with predator harvesting and prey social behavior. Math. Methods Appl. Sci. 2021, 44, 9128–9142. [Google Scholar] [CrossRef]
  18. Wu, J. Theory and Applications of Partial Functional Differential Equations; Springer: Berlin, Germany, 1996. [Google Scholar]
  19. Kreyszig, E. Introductory Functional Analysis with Applications; Wiley: New York, NY, USA, 1978; pp. 225–231. [Google Scholar]
  20. Hale, J. Theory of Functional Differential Equations; Springer: Berlin, Germany, 1977. [Google Scholar]
Figure 1. The numerical simulations of system (3) with τ = 0.5 and other parameters is given by (51). Left: component u. Right: component v.
Figure 1. The numerical simulations of system (3) with τ = 0.5 and other parameters is given by (51). Left: component u. Right: component v.
Mathematics 10 00469 g001
Figure 2. The numerical simulations of system (3) with τ = 1.3 and other parameters is given by (51).
Figure 2. The numerical simulations of system (3) with τ = 1.3 and other parameters is given by (51).
Mathematics 10 00469 g002
Figure 3. The numerical simulations of system (3) with τ = 1 and other parameters is given by (52). Left: component u. Right: component v.
Figure 3. The numerical simulations of system (3) with τ = 1 and other parameters is given by (52). Left: component u. Right: component v.
Mathematics 10 00469 g003
Figure 4. The numerical simulations of system (3) with τ = 1.5 and other parameters is given by (52).
Figure 4. The numerical simulations of system (3) with τ = 1.5 and other parameters is given by (52).
Mathematics 10 00469 g004
Table 1. Biological description of parameters in model (1).
Table 1. Biological description of parameters in model (1).
ParameterDefinitionParameterDefinition
TTimerPrey intrinsic growth rate
NPrey populationPPredator population
KCarrying capacity of preycMaximum rate of predation
bMaximum growth rate of predatormPredator mortality rate
qGroup defense in prey η ¯ Rate of anti-predator behavior
η 1 ¯ Effectual ability of the predators to detect additional food relative to the preyAQuantity of additional food provided to the predators
aNormalization coefficient relating the densities of prey and predator to the environment in which they interact α Ratio between the handling times towards the additional food and the prey
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Yang, R.; Zhao, X.; An, Y. Dynamical Analysis of a Delayed Diffusive Predator–Prey Model with Additional Food Provided and Anti-Predator Behavior. Mathematics 2022, 10, 469. https://0-doi-org.brum.beds.ac.uk/10.3390/math10030469

AMA Style

Yang R, Zhao X, An Y. Dynamical Analysis of a Delayed Diffusive Predator–Prey Model with Additional Food Provided and Anti-Predator Behavior. Mathematics. 2022; 10(3):469. https://0-doi-org.brum.beds.ac.uk/10.3390/math10030469

Chicago/Turabian Style

Yang, Ruizhi, Xiao Zhao, and Yong An. 2022. "Dynamical Analysis of a Delayed Diffusive Predator–Prey Model with Additional Food Provided and Anti-Predator Behavior" Mathematics 10, no. 3: 469. https://0-doi-org.brum.beds.ac.uk/10.3390/math10030469

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop