Next Article in Journal
The Oscillatory Flow of Oldroyd-B Fluid with Magnetic Disturbance
Previous Article in Journal
Study of Lagrange Points in the Earth–Moon System with Continuation Fractional Potential
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Dynamical Behaviors of an Environmental Protection Expenses Model in Protected Areas with Two Delays

1
School of Energy and Environment, Southeast University, Nanjing 210096, China
2
Center for Energy and Environment, Southeast University-Monash University Joint Graduate School and Joint Research Institute, Suzhou 215123, China
3
Department of Electronic Science and Applied Physics, Kunming University of Science and Technology, Kunming 650500, China
4
School of Mathematics, Southeast University, Nanjing 210096, China
5
Yonsei Frontier Lab, Yonsei University, Seoul 03722, Korea
*
Author to whom correspondence should be addressed.
Fractal Fract. 2022, 6(6), 323; https://doi.org/10.3390/fractalfract6060323
Submission received: 25 March 2022 / Revised: 21 May 2022 / Accepted: 3 June 2022 / Published: 8 June 2022

Abstract

:
This paper investigates an environmental protection expenses model, which considers the relations between the visitors to the protected areas V, the quality of the environmental resource E, and the capital stock K. In this model, the total tourism income is used partly to increase the capital stock or as the environmental protection expenses. Two time delays are introduced into the number of visitors, since the visitors need time to respond the changes of the environment, and the environment will take time to respond to the input of money. Stability crossing curves in the plane of delays ( τ 1 , τ 2 ) are used to obtain the stable region of equilibrium. Numerical simulations represent the mutual transformation of the supercritical bifurcation and the subcritical bifurcation. Our model shows that under some parameter conditions, the share of tourism income η is related closely to the delay τ 1 , while the capital stock and the environmental quality can be maintained persistently if the delay τ 1 is not too large.

1. Introduction

Protected areas are now expected to achieve an increasing conservation for social and economic objectives. The protection of Protected Areas (PAs) is always a project for researchers [1,2,3]. Recently, the models of environmental protection expenditures have attracted new attention because of the deterioration of environment in some PAs [4,5,6,7,8]. Russu [4] studied a three-variable model among visitors V, quality of environmental resource E and the capital stock K in the PAs:
V ˙ ( t ) = m 1 E ( t ) + m 2 K ( t ) a V 2 ( t ) E ˙ ( t ) = r ( P ¯ E ( t ) ) ( b c η ) V ( t τ ) K ˙ ( t ) = ( 1 η ) V ( t τ ) δ K ( t ) ,
where a , r , P ¯ , b , c , δ , m 1 , and m 2 are strictly positive constants. a > 0 represents the crowding influence; this means that the PA becomes less attractive when the number of tourists visiting the PA increases. P ¯ is the pollution stock of maximum tolerance, while b means the waste generated by every visitor, 0 < r < 1 is a constant proportion of the pollution, c determines how much the environmental expenses increase the quality of the environment. Visitors impact negatively on the environmental resource, but environment and infrastructures are attractive for visitors; therefore, the manager of PA uses a part η of total tourism income to protect the environmental resource and the remaining part 1 η to increase the capital stock, where 0 η < 1 . The depreciate rate of capital stock is δ . m 1 , m 2 mean that the number of visitor is proportional to E and K, τ > 0 means the delay from visitors for increasing capital stock and the quality of the environment. The parameters involved in this topic can also see [5,6,7].
In Reference [8], Caraballo et al. suggested a modified version of Russu’s model as:
V ˙ ( t ) = m 1 E ( t ) + m 2 K ( t ) a V 2 ( t ) E ˙ ( t ) = r ( P ¯ E ( t ) ) ( b c η ) V ( t τ ) E ( t ) K ˙ ( t ) = ( 1 η ) V ( t τ ) δ K ( t ) .
The authors gave some remarks for Russu’s model; they pointed out that there was something wrong in Russu [4].
In many subjects such as biology, epidemiology, ecology, chemistry, and physics, numerous engineering problems delays always occur. The models that have multiple delays are of great interest mathematically and scientifically [9,10,11,12,13,14,15,16].
The stability crossing curve is an effective tool to understand the stable region for a system with multiple delays and to comprehend the bifurcation behaviors. For instance, Hale and Huang [17] investigated the stable region for the two delay differential equations
x ˙ ( t ) + a x ( t ) + b x ( t r ) + c x ( t σ ) = 0 .
The authors described the stable region on the ( r , σ ) plane and pointed out that the stable region could be unbounded. Gu et al. [18] studied the stability crossing curve carefully for a special case of characteristic equation. Lin and Wang [19] used a different approach to extend the results of Gu et al. result to a general case. An et al. [20] studied the stability switching properties of a model with delay dependent parameters. Matsumto and Szidarovszky [21] considered a delayed Lotka–Volterra competition model with two delays and some symmetries; the stability crossing curves on which stability is switched to instability were investigated.
In this paper, we suggest a modified model of Caraballo et al. Considering that the public praise will affect the amount of visitors, but with a delay, r 1 V ( t τ 1 ) is introduced to the model. The crowding effect is considered as a V 2 ( t τ 1 ) . m 1 E ( t ) in the first equation of (2) is changed into b V ( t τ 1 ) E ( t ) by considering the visitor’s effect on this term, and the influence of the capital stock m 2 K ( t ) to the visitors is not adopted in our model. In the second equation of (2), we consider that the environment resource has self-purification ability, so a term r 2 E ( t ) is added. We hope that the pollution is not tolerable, so we let P ¯ = 0 . The term η V ( t τ ) E ( t ) is changed into η V ( t τ ) K ( t ) , since we think in here the capital stock is more important to the change of the environment. So, we obtain the following model:
V ˙ ( t ) = r 1 V ( t τ 1 ) a V 2 ( t τ 1 ) + b V ( t τ 1 ) E ( t ) E ˙ ( t ) = r 2 E ( t ) c V ( t τ 1 ) E ( t ) + η V ( t τ 2 ) K ( t ) K ˙ ( t ) = ( 1 η ) V ( t τ 2 ) δ K ( t ) ,
where r 1 is the rate of effect of the public praise; visitors will increase if r 1 increases. r 2 is the self-purification ability of the environment. a > 0 represents the crowding effect, b is the rate of the visitors affected by environment resource, c means the waste generated by every visitor which is affected by environment resource, and 0 η < 1 means a share η of total revenues is used to protect the environment. Capital stock is depreciated at the rate δ . The increment of the visitors relies on the visitors at the time t τ 1 for their spread of public praise and the crowding effect, while the dynamic evolution of the environment and the capital stock rely on the contribution of visitors at the time t τ 2 , where τ 1 0 and τ 2 0 . We name τ 1 as the spread delay and τ 2 as the protecting delay.
We give the initial conditions of system (4) as:
V ( θ ) = υ 1 ( θ ) , E ( θ ) = υ 2 ( θ ) , K ( θ ) = υ 3 ( θ ) , υ i ( θ ) 0 , i = 1 , 2 , 3 , τ θ 0 ,
where ( υ 1 ( θ ) , υ 2 ( θ ) , υ 3 ( θ ) ) C ( [ τ , 0 ] , R + 3 ) , τ = m a x [ τ 1 , τ 2 ] . Then, according to the theorem on functional differential equations [22], system (4) has one and only one solution ( V ( t ) , E ( t ) , K ( t ) ) that satisfies the initial conditions. In this paper, we provide the theory of the stability crossing curves and apply it to model (4). By means of numerical simulations, we obtain the stable region of the equilibrium in the τ 1 τ 2 plane. Bifurcation directions of the periodic solutions are determined by using the normal form and the center manifold theorem. Numerical simulations show how the equilibrium changes from stable to unstable and how the bifurcation direction changes from supercritical to subcritical and vice versa. Through the research of model (4), we find that the spread delay τ 1 we introduced to the model (4) is more important than τ 2 which is τ in [4,8] for the stability of equilibrium, since τ 1 needs to be on the left of the stability crossing curves. We find that the share η of the tourism user fees and the spread delay τ 1 are very important parameters in our discussion.

2. Equilibria and Stability Crossing Curves

By straightforward computation, system (4) has equilibrium S 0 = ( 0 , 0 , 0 ) , which is unstable, since there are always positive eigenvalues λ 1 = r 1 and λ 2 = r 2 , while the characteristic equation of (4) at S 0 has no relation with delays τ 1 , τ 2 .
If
Hypothesis 1 (H1).
b η ( 1 η ) a δ c > 0 , r 2 > r 1 b η ( 1 η ) ( 1 a 2 ) δ ,
system ( 4 ) has S * = ( V * , E * , K * ) as a positive equilibrium:
V * = δ ( a r 2 + c r 1 ) + δ 2 ( a r 2 + c r 1 ) 2 + 4 δ r 1 r 2 ( b η ( 1 η ) a c δ ) 2 ( b η ( 1 η ) a c δ ) ,
E * = a V * r 1 b , K * = 1 η δ V * .
If
Hypothesis 2 (H2).
b η ( 1 η ) a δ c < 0 , δ 2 ( a r 2 + c r 1 ) 2 + 4 δ r 1 r 2 ( b η ( 1 η ) a c δ ) > 0 ,
system ( 4 ) has S * = ( V * , E * , K * ) as a positive equilibrium:
V * = δ ( a r 2 + c r 1 ) δ 2 ( a r 2 + c r 1 ) 2 + 4 δ r 1 r 2 ( b η ( 1 η ) a c δ ) 2 ( b η ( 1 η ) a c δ ) ,
E * = a V * r 1 b , K * = 1 η δ V * .
If b η ( 1 η ) a δ c = 0 , there is no positive equilibrium.
Let u 1 ( t ) = V ( t ) V * , u 2 ( t ) = E ( t ) E * , u 3 ( t ) = K ( t ) K * , then (4) becomes
u ˙ 1 ( t ) = a V * u 1 ( t τ 1 ) + b V * u 2 ( t ) a u 1 2 ( t τ 1 ) + b u 1 ( t τ 1 ) u 2 ( t ) u ˙ 2 ( t ) = c E * u 1 ( t τ 1 ) + η K * u 1 ( t τ 2 ) + ( r 2 c V * ) u 2 ( t ) + η V * u 3 ( t ) c u 1 ( t τ 1 ) u 2 ( t ) + η u 1 ( t τ 2 ) u 3 ( t ) u ˙ 3 ( t ) = ( 1 η ) u 1 ( t τ 2 ) δ u 3 ( t ) .
The corresponding characteristic equation of system (5) can be written by
λ 3 + α 1 λ 2 + α 2 λ + ( α 3 λ 2 + α 4 λ + α 5 ) e λ τ 1 + ( α 6 λ + α 7 ) e λ τ 2 = 0 ,
where
α 1 = c V * r 2 + δ , α 2 = ( c V * r 2 ) δ , α 3 = a V * , α 4 = a V * ( c V * r 2 ) + a V * δ + b c V * E * , α 5 = a δ V * ( c V * r 2 ) + b c δ V * E * α 6 = b η V * K * , α 7 = b η δ V * K * b η ( 1 η ) V * 2 .
When τ 1 = τ 2 = 0 , by the criterion of Routh–Hurwitz, we have
Theorem 1.
Assume τ 1 = τ 2 = 0 , (H1) (or (H2)) hold. If
Hypothesis 3 (H3).
α 1 + α 3 > 0 , α 5 + α 7 > 0 , ( α 1 + α 3 ) ( α 2 + α 4 + α 6 ) > α 5 + α 7
is satisfied, then S * is asymptotically locally stable.
Next, we investigate the distribution of the roots of (6). From Rouche theorem [23], as ( τ 1 , τ 2 ) vary continuously in R + 2 , the roots of Equation (6) vary continuously, and the roots (counting multiplicity) can change their symbols of real parts if and only if they cross the imaginary axis [24].
We consider two situations: (I) τ 1 = τ 2 = τ > 0 , or (II) τ 1 > 0 , τ 2 > 0 , τ 1 τ 2 .
Case (I) τ 1 = τ 2 = τ > 0 .
Suppose that on the imaginary axis, system (6) has a root i ω ( ω > 0 ) . Substituting it into (6), separating the imaginary part and the real parts, we have
α 1 ω 2 = α 4 ω sin ω τ + ( α 3 ω 2 + α 5 ) cos ω τ , α 2 ω ω 3 = ( α 3 ω 2 + α 5 ) sin ω τ α 4 ω cos ω τ .
Then, we obtain
ω 6 + ( α 1 2 2 α 2 α 3 2 ) ω 4 + ( α 2 2 + 2 α 3 α 5 α 4 2 ) ω 2 α 5 2 = 0 .
Let z = ω 2 , p = α 1 2 2 α 2 α 3 2 , q = α 2 2 + 2 α 3 α 5 α 4 2 , r = α 5 2 ; then, (9) becomes
h ( z ) = z 3 + p z 2 + q z + r = 0 .
We see from (10) that since r < 0 , there is at least one positive root. We assume that there are three positive roots for generality, defined by z 1 , z 2 and z 3 . According to (8), we have
τ k ( j ) = 1 ω k { cos 1 [ ( α 1 ω k 2 ( α 5 α 3 ω k 2 ) + α 4 ω k 2 ( ω k 2 α 2 ) ( α 5 α 3 ω k ) 2 + α 4 2 ω k 2 ] + 2 j π } ,
where j = 0 , 1 , and k = 1 , 2 , 3 . Denote
τ 0 = τ k 0 ( 0 ) = min k { 1 , 2 , 3 } { τ k ( 0 ) } , ω 0 = ω k 0 .
Then, we know
Lemma 1.
When (H1) (or (H2)), (H3) hold, all roots of (6) have strictly negative real parts when τ [ 0 , τ 0 ) . (6) has simple purely imaginary roots when τ = τ 0 .
Near τ = τ k ( j ) , consider λ ( τ ) = σ ( τ ) + i ω ( τ ) as the root of (6) where σ ( τ k ( j ) ) = 0 , ω ( τ k ( j ) ) = ω k , j = 0 , 1 , 2 , k = 1 , 2 , 3 . For the transversality, we know that
Lemma 2.
Suppose z k = ω k 2 , k = 1 , 2 , 3 and h ( z k ) 0 , then [ d Re ( λ ) d τ ] τ = τ k ( j ) 0 .
According to Lemma 1 and Lemma 2, we have
Theorem 2.
When τ 1 = τ 2 = τ , let τ 0 be denoted by (12), and assume that ( H 1 ) ( o r ( H 2 ) ) , ( H 3 ) are satisfied,
(i)
If τ [ 0 , τ 0 ) , then system (4) has a locally asymptotically stable positive equilibrium S * .
(ii)
If τ > τ 0 and h ( z k ) 0 , then for system (4), Hopf bifurcation will occur at S * when τ = τ 0 .
Case (II) τ 1 > 0 , τ 2 > 0 , τ 1 τ 2
Characteristic Equation (6) can be rewritten as
P ( λ , τ 1 , τ 2 ) P 0 ( λ ) + P 1 ( λ ) e λ τ 1 + P 2 ( λ ) e λ τ 2 = 0 ,
where
P 0 ( λ ) = λ 3 + α 1 λ 2 + α 2 λ ,
P 1 ( λ ) = α 3 λ 2 + α 4 λ + α 5 ,
P 2 ( λ ) = α 6 λ + α 7 .
We can easily confirm that Equation (13) satisfies:
(I)
d e g ( P 0 ( λ ) ) m a x { d e g ( P 1 ( λ ) ) , d e g ( P 2 ( λ ) ) } ;
(II)
P 0 ( 0 ) + P 1 ( 0 ) + P 2 ( 0 ) = α 5 + α 7 0 , i f ( H 3 ) h o l d s ;
(III)
P 0 ( λ ) , P 1 ( λ ) , P 2 ( λ ) have no common zeros;
(IV)
lim λ ( | P 1 ( λ ) / P 0 ( λ ) | + | P 2 ( λ ) / P 0 ( λ ) | ) < 1 .
Lemma 3.
For each ω > 0 , P 0 ( i ω ) 0 , P ( λ , τ 1 , τ 2 ) = 0 has λ = i ω as its root for some ( τ 1 , τ 2 ) R + 2 if and only if
Hypothesis 4 (H4).
| P 0 ( i ω ) | | P 1 ( i ω ) | + | P 2 ( i ω ) | ,
and
| P 0 ( i ω ) | | P 1 ( i ω ) | | P 2 ( i ω ) | | P 0 ( i ω ) | . )
The proof of Lemma 3 can be found in [18].
Let
G 1 ( ω ) = | P 0 ( i ω ) | + | P 1 ( i ω ) | | P 2 ( i ω ) | ,
G 2 ( ω ) = | P 0 ( i ω ) | | P 1 ( i ω ) | + | P 2 ( i ω ) | ,
G 3 ( ω ) = | P 0 ( i ω ) | | P 1 ( i ω ) | | P 2 ( i ω ) | ,
then we know that P ( λ , τ 1 , τ 2 ) = 0 has λ = i ω as its solution if and only if G 1 ( ω ) 0 , G 2 ( ω ) 0 , G 3 ( ω ) 0 simultaneously.
Denote the crossing set Ω of all ω , which satisfy (14) and (15). For given ω Ω , P k ( i ω ) 0 , k = 0 , 1 , 2 . From (14) and (15), we can find all of ( τ 1 ( ω ) , τ 2 ( ω ) ) :
τ 1 = τ 1 m ± ( ω ) = ( arg P 1 ( i ω ) P 0 ( i ω ) + ( 2 m 1 ) π ± ψ 1 ) / ω , m = m 0 ± , m 0 ± + 1 , ,
τ 2 = τ 2 n ± ( ω ) = ( arg P 2 ( i ω ) P 0 ( i ω ) + ( 2 n 1 ) π ψ 2 ) / ω , n = n 0 ± , n 0 ± + 1 , ,
where ψ 1 , ψ 2 [ 0 , π ] can be calculated as
ψ 1 = cos 1 | P 0 ( i ω ) | 2 + | P 1 ( i ω ) | 2 | P 2 ( i ω ) | 2 2 | P 0 ( i ω ) | | P 1 ( i ω ) | ,
ψ 2 = cos 1 | P 0 ( i ω ) | 2 | P 1 ( i ω ) | 2 + | P 2 ( i ω ) | 2 2 | P 0 ( i ω ) | | P 2 ( i ω ) | ,
m 0 + , m 0 , n 0 + and n 0 are the smallest integers such that the corresponding τ 1 m 0 + + , τ 1 m 0 , τ 2 n 0 + + , and τ 2 n 0 are non-negative.
Let ω 0 Ω , we can obtain τ 10 = τ 10 ( ω 0 ) , τ 20 = τ 20 ( ω 0 ) from (16) and (17).
Next, we discuss the transversality. Choose τ 2 to be the bifurcating parameter, and take the derivative of λ ( τ 2 ) in (6); then, we obtain
{ 3 λ 2 + 2 α 1 λ + α 2 + [ 2 α 3 λ + α 4 ( α 3 λ 2 + α 4 λ + α 5 ) τ 1 ] e λ τ 1 + [ α 6 ( α 6 λ + α 7 ) τ 2 ] e λ τ 2 } d λ d τ 2 = λ ( α 6 λ + α 7 ) e λ τ 2 ,
Therefore,
[ d λ d τ 2 ] 1 = ( 3 λ 2 + 2 α 1 λ + α 2 ) e λ τ 2 λ ( α 6 λ + α 7 ) + [ 2 α 3 λ + α 4 ( α 3 λ 2 + α 4 λ + α 5 ) τ 1 ] e λ ( τ 2 τ 1 ) λ ( α 6 λ + α 7 ) + α 6 λ ( α 6 λ + α 7 ) τ 2 λ .
When τ 2 = τ 20 , λ = i ω 0 , then
( ( 3 λ 2 + 2 α 1 λ + α 2 ) e λ τ 2 ) τ 2 = τ 20 = ( ( α 2 3 ω 0 2 ) cos ( ω 0 τ 20 ) 2 α 1 ω 0 sin ( ω 0 τ 20 ) ) + i ( 2 α 1 ω 0 cos ( ω 0 τ 20 ) + ( α 2 3 ω 0 2 ) sin ( ω 0 τ 20 ) ) , ( [ 2 α 3 λ + α 4 ( α 3 λ 2 + α 4 λ + α 5 ) τ 1 ] e λ ( τ 2 τ 1 ) ) τ 2 = τ 20 = ( α 4 + τ 10 α 3 ω 0 2 τ 10 α 5 ) cos ( ω ( τ 20 τ 10 ) ) ( 2 α 3 τ 10 α 4 ) ω 0 sin ( ω 0 ( τ 20 τ 10 ) ) + i [ ( 2 α 3 τ 10 α 4 ) ω 0 cos ( ω 0 ( τ 20 τ 10 ) ) + ( α 4 + τ 10 α 3 ω 0 2 τ 10 α 5 ) sin ( ω 0 ( τ 20 τ 10 ) ) ] . λ ( α 6 λ + α 7 ) τ 2 = τ 20 = α 6 ω 0 2 + i α 7 ω 0 .
We have
R e [ d λ d τ 2 ] τ 2 = τ 20 1 = M 1 N 1 + M 2 N 2 α 6 2 ω 0 3 + α 7 2 ω 0 ,
where
M 1 = α 6 ω 0 , M 2 = α 7 , N 1 = ( α 2 3 ω 0 2 ) cos ( ω 0 τ 20 ) 2 α 1 ω 0 sin ( ω 0 τ 20 ) + α 6 + ( α 4 + τ 10 α 3 ω 0 2 τ 10 α 5 ) cos ( ω 0 ( τ 20 τ 10 ) ) ( 2 α 3 τ 10 α 4 ) ω 0 sin ( ω 0 ( τ 20 τ 10 ) ) ,
N 2 = 2 α 1 ω 0 cos ( ω 0 τ 20 ) + ( α 2 3 ω 0 2 ) sin ( ω 0 τ 20 ) + ( 2 α 3 τ 10 α 4 ) ω 0 cos ( ω 0 ( τ 20 τ 10 ) ) + ( α 4 + τ 10 α 3 ω 0 2 τ 10 α 5 ) sin ( ω 0 ( τ 20 τ 10 ) ) .
Let
Hypothesis 5 (H5).
M 1 N 1 + M 2 N 2 0 .
Denote T j = { ( τ 10 j ( ω ) , τ 20 j ( ω ) ) , ω Ω } , j = 1 , 2 , , p are p sections of continuous curves defined on Ω , T is the internal region surrounded by T = j = 1 p T j with coordinate axis τ 1 = 0 and τ 2 = 0 . Then, we can obtain the following:
Theorem 3.
Assume that ( H 1 ) (or ( H 2 ) ), ( H 3 ) , ( H 4 ) hold,
(I)
If ( τ 1 , τ 2 ) T , then system (4) has a positive equilibrium S * which is locally asymptotically stable.
(II)
If ( τ 1 , τ 2 ) crossing T and ( H 5 ) holds, then ( τ 1 , τ 2 ) = ( τ 10 , τ 20 ) T is a critical point, system (4) has Hopf bifurcation at S *
We denote continuous curve T j , j = 1 , 2 , , p as stability crossing curves.

3. Hopf Bifurcation Direction and the Stability of Periodic Solution

In this section, we suppose 0 < τ 1 < τ 2 . If 0 < τ 2 < τ 1 ; we can discuss it using the same method.
Let τ 1 = τ 10 , τ 2 = τ 20 + μ , then system ( 5 ) has μ = 0 as its bifurcation value. Let t = τ t ¯ , u i ( τ t ¯ ) = u i ¯ ( t ¯ ) , i = 1 , 2 , 3 and omit above, ( 5 ) can be expressed as
u ˙ ( t ) = L μ u t + f ( μ , u t ) ,
where u ( t ) = ( u 1 ( t ) , u 2 ( t ) , u 3 ( t ) ) R 3 , u t ( θ ) = u ( t + θ ) , θ [ 1 , 0 ] .
L μ ϕ = ( τ 20 + μ ) ( A ϕ ( 0 ) + B ϕ ( τ 1 τ 2 ) + C ϕ ( 1 ) ) , ϕ ( θ ) = ( ϕ 1 ( θ ) , ϕ 2 ( θ ) , ϕ 3 ( θ ) ) ,
f ( μ , ϕ ) = ( τ 20 + μ ) ( f 1 , f 2 , f 3 ) = ( τ 20 + μ ) ( a ϕ 1 2 ( τ 1 τ 2 ) + b ϕ 1 ( τ 1 τ 2 ) ϕ 2 ( 0 ) , c ϕ 1 ( τ 1 τ 2 ) ϕ 2 ( 0 ) + η ϕ 1 ( 1 ) ϕ 3 ( 0 ) , 0 ) ,
where
A = 0 b V * 0 0 r 2 c V * η V * 0 0 δ , B = a V * 0 0 c E * 0 0 0 0 0 , C = 0 0 0 η K * 0 0 1 η 0 0 .
By the Riesz representation theorem, for θ [ 1 , 0 ] , we write
L μ ϕ = 1 0 d ρ ( θ , μ ) ϕ ( θ ) ,
where
ρ ( θ , μ ) = ( τ 20 + μ ) ( A δ ( θ ) + B δ ( θ + τ 1 τ 2 ) + C δ ( θ + 1 ) ) .
δ ( θ ) satisfies δ ( θ ) = 0 if θ 0 , and δ ( 0 ) = 1 .
Define
A ( μ ) ϕ = d ϕ ( θ ) d θ , θ [ 1 , 0 ) , 1 0 d ρ ( s , μ ) ϕ ( s ) , θ = 0 ,
and
R ( μ ) ϕ = 0 , θ [ 1 , 0 ) , f ( μ , ϕ ) , θ = 0 .
Then, (23) can be expressed as
u ˙ t = A ( μ ) u t + R ( μ ) u t ,
it is a differential equation in functional space C 1 ( [ 1 , 0 ] , R 3 ) .
Denote A = A ( 0 ) ,
A * ψ ( s ) = d ψ ( s ) d s , s ( 0 , 1 ] , 1 0 d ρ ( t , 0 ) ψ ( t ) , s = 0 ,
and
ψ ( s ) , ϕ ( θ ) = ψ ¯ ( 0 ) ϕ ( 0 ) 1 0 ξ = 0 θ ψ ¯ ( ξ θ ) d ρ ( θ , 0 ) ϕ ( ξ ) d ξ ,
where ψ C 1 * ( [ 0 , 1 ] , ( R 3 ) * ) . Then, A * is an adjoint operator of A .
Suppose q ( θ ) = ( 1 , β , γ ) e i ω 0 τ 20 θ satisfies A q ( θ ) = i ω 0 τ 20 q ( θ ) , which means q ( θ ) is an eigenvector of A . We obtain that
β = ( i ω 0 + δ ) ( η K * e i ω 0 τ 20 c E * e i ω 0 τ 10 ) + η ( 1 η ) V * e i ω 0 τ 20 ( i ω 0 + δ ) ( i ω 0 + c V * r 2 ) , γ = ( 1 η ) e i ω 0 τ 20 i ω 0 + δ .
Let i ω 0 τ 20 be an eigenvalue of A * , and q * ( s ) = D ( 1 , β * , γ * ) e i ω 0 τ 20 s is an eigenvector; then, we have
β * = b V * i ω 0 + c V * r 2 , γ * = b η V * 2 ( i ω 0 + δ ) ( i ω 0 + c V * r 2 ) .
By (28),
q * ( s ) , q ( θ ) = D ¯ ( 1 + β β * ¯ + γ γ * ¯ 1 0 ( 1 , β * ¯ , γ * ¯ ) θ e i θ ω 0 τ 20 d η ( θ , 0 ) ( 1 , β , γ ) ) = D ¯ ( 1 + β β * ¯ + γ γ * ¯ + τ 20 e i ω 0 τ 20 ( η β * ¯ K * + ( 1 η ) γ * ¯ ) + τ 10 e i ω 0 τ 10 ( a V * c β * ¯ E * ) ) .
For q * ( s ) , q ( θ ) = 1 , q * ( s ) , q ¯ ( θ ) = 0 , we choose
D ¯ = 1 1 + β β * ¯ + γ γ * ¯ + τ 20 e i ω 0 τ 20 ( η β * ¯ K * + ( 1 η ) γ * ¯ ) + τ 10 e i ω 0 τ 10 ( a V * c β * ¯ E * )
Define
z ( t ) = q * , u t , u t ( θ ) = W ( t , θ ) + 2 R e { z ( t ) q ( θ ) }
when μ = 0 . Then, (27) becomes
z ˙ = i ω 0 z + g 20 2 z 2 + g 11 z z ¯ + g 02 2 z ¯ 2 + g 21 z 2 z ¯ + , W ˙ = A W + H ( z , z ¯ , 0 ) .
Here,
g 20 = 2 τ 20 D ¯ ( ( a e i ω 0 τ 10 + ( b c β * ¯ ) β e i ω 0 τ 10 + η γ β * ¯ e i ω 0 τ 20 ) , g 11 = τ 20 D ¯ ( 2 a + ( b c β * ¯ ) β ¯ e i ω 0 τ 10 + ( b c β * ¯ ) β e i ω 0 τ 10 + η γ ¯ β * ¯ e i ω 0 τ 20 + η γ β * ¯ e i ω 0 τ 20 ) , g 02 = 2 τ 20 D ¯ ( ( a e i ω 0 τ 10 + ( b c β * ¯ ) β ¯ ) e i ω 0 τ 10 + η γ ¯ β * ¯ e i ω 0 τ 20 ) , g 21 = τ 20 D ¯ { 1 2 ( 2 a e i ω 0 τ 10 + ( b c β * ¯ ) β ¯ ) W 20 1 ( τ 10 τ 20 ) + 1 2 ( b c β * ¯ ) e i ω 0 τ 10 W 20 2 ( 0 ) + 1 2 η β * ¯ e i ω 0 τ 20 W 20 3 ( 0 ) + 1 2 η β * ¯ γ ¯ W 20 1 ( 1 ) + ( 2 a e i ω 0 τ 10 + ( b c β * ¯ ) β ) W 11 1 ( τ 10 τ 20 ) + ( b c β * ¯ ) e i ω 0 τ 10 W 11 2 ( 0 ) + η β * ¯ e i ω 0 τ 20 W 11 3 ( 0 ) + η γ β * ¯ W 11 1 ( 1 ) } .
W 20 ( θ ) = i g 20 ω 0 τ 20 q ( 0 ) e i θ ω 0 τ 20 + i g ¯ 02 3 ω 0 τ 20 q ¯ ( 0 ) e i θ ω 0 τ 20 + C 1 e 2 i θ ω 0 τ 20 ,
W 11 ( θ ) = i g 11 ω 0 τ 20 q ( 0 ) e i θ ω 0 τ 20 + i g ¯ 11 ω 0 τ 20 q ¯ ( 0 ) e i θ ω 0 τ 20 + C 2 .
Here, C 1 , C 2 R 3 satisfy
A 1 C 1 = f 0 ( 20 ) ,
A 1 = 2 i ω 0 + a V * e 2 i ω 0 τ 10 b V * 0 c E * e 2 i ω 0 τ 10 η K * e 2 i ω 0 τ 20 2 i ω 0 r 2 + c V * η V * ( 1 η ) e 2 i ω 0 τ 20 0 2 i ω 0 + δ ,
f 0 ( 20 ) = 2 ( a e i ω 0 τ 10 + b β ) e i ω 0 τ 10 c β e i ω 0 τ 10 + η γ e i ω 0 τ 20 0 ,
and
A 2 C 2 = f 0 ( 11 ) ,
A 2 = a V * b V * 0 c E * + η K * r 2 c V * η V * 1 η 0 δ ,
f 0 ( 11 ) = 2 a + b R e ( β e i ω 0 τ 0 ) c R e ( β e i ω 0 τ 0 ) + η R e ( γ e i ω 0 τ 0 ) 0 .
From Hassard’s method [25], we have
l 1 ( 0 ) = i 2 ω 0 τ 20 ( g 20 g 11 2 | g 11 | 2 1 3 | g 02 | 2 ) + g 21 .
μ 2 = R e { l 1 ( 0 ) } R e { λ ( τ 20 ) } confirms the Hopf bifurcation direction: if R e { λ ( τ 20 ) } > 0 , μ 2 > 0 (or if μ 2 < 0 ) , the Hopf bifurcation periodic solution exists for τ 2 > τ 20 (or τ 2 < τ 20 ), the bifurcation is supercritical ( or subcritical). If R e { λ ( τ 20 ) } < 0 , the bifurcation is on the opposite direction.
ν 2 = 2 R e { l 1 ( 0 ) } confirms the stability of the Hopf bifurcation periodic solutions: the solution is stable if ν 2 < 0 or it is unstable if ν 2 > 0 .

4. Numerical Simulations of the System

We consider some numerical results with different values of τ 1 , τ 2 . Let the parameters of system ( 4 ) be r 1 = 1 , r 2 = 0.1 , a = 0.09 , b = 0.2 , c = 4 , η = 0.8 , δ = 0.5 , then condition ( H 2 ) holds. The unique positive equilibrium is S * = ( 13.5189 , 1.0835 , 5.4076 ) .
The corresponding characteristic equation of system ( 4 ) at S * is
λ 3 + 54.4757 λ 2 + 26.9879 λ + ( 1.2167 λ 2 + 77.9992 λ + 38.6954 ) e λ τ 1 + ( 11.6967 λ 11.6967 ) e λ τ 2 = 0 .
When τ 1 = 0 , τ 2 = 0 , the roots of Equation (33) are 53.9732 , 1.3481 , 0.3710 . Thus, S * is asymptotically stable.
Next, we just consider τ 1 τ 2 . From Lemma 3, we obtain that if and only if ω [ 1.173 , 1.676 ] , P ( λ , τ 1 , τ 2 ) = 0 has a solution λ = i ω (see Figure 1).
From Theorem 3, we know that if ( τ 1 , τ 2 ) T , which is surrounded by T = j = 1 5 T j , coordinate axis τ 1 = 0 , τ 2 = 0 and τ 2 = 7 (see Figure 2, here, τ 2 can be larger); thus, S * is asymptotically stable, where T 1 = ( ( τ 10 1 ( ω ) , τ 20 2 ( ω ) ) , T 2 = ( ( τ 10 1 ( ω ) , τ 20 2 + ( ω ) ) , T 3 = ( ( τ 10 1 ( ω ) , τ 20 1 ( ω ) ) , T 4 = ( ( τ 10 1 ( ω ) , τ 20 1 + ( ω ) ) , T 5 = ( ( τ 10 1 ( ω ) , τ 20 0 ( ω ) ) from (16) and (17).
When ( τ 1 , τ 2 ) crossing T and ( H 5 ) holds, there are periodic solutions bifurcating from S * . We choose some points ( τ 1 , τ 2 ) to illustrate the result.
We know from Figure 2 that if τ 1 < 0.9034 , then S * is always stable. Let τ 1 = 1.0003 ; we see from Figure 2 that there are three critical points on the stability crossing curves, ( τ 10 4 , τ 20 4 ) ( 1.0003 , 1.9807 ) T 4 , ( τ 10 3 , τ 20 3 ) ( 1.0003 , 4.3577 ) T 3 , ( τ 10 2 , τ 20 2 ) ( 1.0003 , 6.4977 ) T 2 . For each point, we calculate R e { λ ( τ 20 ) } , μ 2 , ν 2 .
When delay τ 1 = 1.0003 remains unchanged, τ 20 < 1.9807 , since ( τ 1 , τ 2 ) is in the left of T , we know that S * is asymptotically stable (see Figure 3).
Let the delays ( τ 1 , τ 2 ) increase and pass through the critical point ( τ 10 , τ 20 ) ( 1.0003 , 1.9807 ) , where ω = 1.372 . We obtain that at ( τ 10 , τ 20 ) = ( 1.0003 , 1.9807 ) , R e { λ ( τ 20 ) } = 0.2762 > 0 , R e { l 1 ( 0 ) } = 0.0565 < 0 , μ 2 = 0.2047 > 0 , and ν 2 = 0.1131 < 0 . Therefore, the bifurcation is supercritical; the bifurcation periodic solution is in the direction of τ 20 > 1.9807 and is stable (see Figure 4).
Let the delays ( τ 1 , τ 2 ) increase further to arrive at the critical point ( τ 10 , τ 20 ) ( 1.0003 , 4.3577 ) , where ω = 1.372 . We obtain R e { λ ( τ 20 ) } = 0.0935 < 0 , R e { l 1 ( 0 ) } = 0.0580 < 0 , μ 2 = 0.6206 < 0 , and ν 2 = 0.1160 < 0 . Therefore, the bifurcation is subcritical, and the bifurcation periodic solution is stable, which is on the side less than τ 20 = 4.3577 . When τ 20 increases crossing 4.3577 , the delay ( τ 1 , τ 2 ) enters the area of T , and S * becomes stable again (see Figure 5).
Let the delays ( τ 1 , τ 2 ) increase further to arrive at the critical point ( τ 10 , τ 20 ) ( 1.0003 , 6.4977 ) , where ω = 1.372 . We obtain R e { λ ( τ 20 ) } = 0.2771 > 0 , R e { l 1 ( 0 ) } = 0.0538 < 0 , μ 2 = 0.1941 > 0 , and ν 2 = 0.1076 < 0 . Therefore, the bifurcation is supercritical; when τ 20 increases crossing 6.4977 , S * becomes unstable, and a stable periodic solution bifurcates from S * (see Figure 6).
In this example, we can see that if the Hopf bifurcation is supercritical for one point ( τ 10 m 1 , τ 20 n 1 ) on the stability crossing curve, then for another point ( τ 10 m 2 , τ 20 n 2 ) on the adjacent stability crossing curve, the Hopf bifurcation is subcritical and vice versa. The Hopf bifurcation will be supercritical and subcritical alternately. From Figure 7, we understand that η is closely related to the delay τ 1 , with a smaller η , a smaller τ 1 is needed for the equilibrium’s stability.

5. Conclusions

In this paper, we proposed a delayed environmental protection expenditures model with two delays. We discussed the existence of equilibrium and bifurcation using delays τ 1 and τ 2 as the bifurcation parameters. We depicted the stability crossing curves and obtained the stability of the equilibrium S * ; the direction of bifurcation was also considered.
Since the financial support for the protection of the environment is only depending on the share η of the tourism user fees in this model, the stability of the equilibrium relies closely on η with delay τ 1 , the lower the share η , the smaller the spread delay τ 1 needs to be. The external capital support for sustaining the PAs has not been considered in the model; it will be an interesting problem in the management of PAs. We leave this subject for future work.

Author Contributions

Conceptualization, J.H.; methodology, J.H. and P.Y.; software, J.H. and P.Y.; validation, J.H. and P.Y.; formal analysis, J.H. and P.Y.; investigation, J.H. and P.Y.; resources, J.C.; data curation, J.H.; writing—original draft preparation, J.H.; writing—review and editing, J.H. and P.Y.; visualization, J.H.; supervision, J.C.; project administration, J.C.; funding acquisition, J.C. All authors have read and agreed to the published version of the manuscript.

Funding

This research was funded by the National Natural Science Foundation of China grant number 11761040.

Conflicts of Interest

The authors declare no conflict of interest. The funders had no role in the design of the study; in the collection, analyses, or interpretation of data; in the writing of the manuscript, or in the decision to publish the results.

References

  1. Daskin, J.H.; Pringle, R.M. Warfare and wildlife declines in Africa’s protected areas. Nature 2018, 553, 328–332. [Google Scholar] [CrossRef] [PubMed]
  2. Pringle, R.M. Upgrading protected areas to conserve wild biodiversity. Nature 2017, 546, 91–99. [Google Scholar] [CrossRef] [PubMed]
  3. Watson, J.E.M.; Dudley, N.; Segan, D.B.; Hockings, M. The performance and potential of protected areas. Nature 2014, 515, 67–73. [Google Scholar] [CrossRef]
  4. Russu, P. Hopf bifurcation in a environmental defensive expenditures model with time delay. Chaos Solit. Fract. 2009, 42, 3147–3159. [Google Scholar] [CrossRef] [Green Version]
  5. Becker, R. Intergenerational equity: The capital-environment trade-off. J. Environ. Econ. Manag. 1982, 9, 165–185. [Google Scholar] [CrossRef]
  6. Cazzavillan, G.; Musu, I. Transitional dynamics and uniqueness of the balanced-growth path in a simple model of endogenous growth with an environmental asset. FEEM Work. 2001, 65, 1–12. [Google Scholar] [CrossRef] [Green Version]
  7. Eagles, P.F.J.; McCool, S.F.; Haynes, C.D. Sustainable Tourism in Protected Areas: Guidelines for Planning and Management; IUCN: Gland, Switzerland; Cambridge, UK, 2002. [Google Scholar]
  8. Caraballo, T.; Colucci, R.; Guerrini, L. Same remarks on an enviromental defensive expenditures model. Discrete Cont. Dyn. B 2019, 24, 1079–1093. [Google Scholar]
  9. Berezansky, L.; Braverman, E. A note on the stability of Mackey-Glass equations with two delays. J. Math. Anal. Appl. 2017, 450, 1208–1228. [Google Scholar] [CrossRef]
  10. Campbell, S.A.; Ncube, I. Stability in a scalar differential equation with multiple, distributed time delays. J. Math. Anal. Appl. 2017, 450, 1104–1122. [Google Scholar] [CrossRef] [Green Version]
  11. El-Morshedy, H.A.; Ruiz-Herrera, A. Criteria of global attraction in systems of delay differential equations with mixed monotonicity. J. Differ. Equ. 2020, 268, 5945–5968. [Google Scholar] [CrossRef]
  12. Zhang, Z.; Kundub, S.; Tripathi, J.P.; Bugalia, S. Stability and Hopf bifurcation analysis of an SVEIR epidemic model with vaccination and multiple time delays. Chaos Solit. Fract. 2020, 131, 109483. [Google Scholar] [CrossRef]
  13. Pawelek, K.A.; Liu, S.; Pahlevani, F.; Rong, L. A model of HIV-1 infection with two time delays: Mathematical analysis and comparison with patient data. Math. Biosci. 2012, 235, 98–109. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  14. Li, Q.; Dai, Y.; Guo, X.; Zhang, X. Hopf bifurcation analysis for a model of plant virus propagation with two delays. Adv. Differ. Equ. 2018, 259, 1–22. [Google Scholar] [CrossRef] [Green Version]
  15. Arafa, A.A.; Xu, Y.; Mahmoud, G.M. Chaos Suppression via Integrative Time Delay Control. Int. J. Bifurc. Chaos 2020, 30, 205–208. [Google Scholar] [CrossRef]
  16. Su, H.; Xu, J. Time-Delayed Sampled-Data Feedback Control of Differential Systems Undergoing Hopf Bifurcation. Int. J. Bifurc. Chaos 2021, 31, 2150004. [Google Scholar] [CrossRef]
  17. Hale, J.K.; Huang, W. Global geometry of the stable regions for two delay differential equations. J. Math. Anal. Appl. 1993, 178, 344–362. [Google Scholar] [CrossRef] [Green Version]
  18. Gu, K.; Niculescu, S.I.; Chen, J. On stability crossing curves for general systems with two delays. J. Math. Anal. Appl. 2005, 311, 231–253. [Google Scholar] [CrossRef] [Green Version]
  19. Lin, X.; Wang, H. Stability analysis of delay differential equations with two discrete delays. Can. Appl. Math. Q. 2012, 20, 519–533. [Google Scholar]
  20. An, Q.; Beretta, E.; Kuang, Y.; Wang, C.; Wang, H. Geometric stability switch criteria in delay differential equations with two delays and delay dependent parameters. J. Differ. Equ. 2019, 266, 7073–7100. [Google Scholar] [CrossRef]
  21. Matsumotoa, A.; Szidarovszky, F. Stability switching curves in a Lotka-Volterra competition system with two delays. Math. Comput. Simulat. 2020, 178, 422–438. [Google Scholar] [CrossRef]
  22. Hale, J.K.; Lunel, S.M.V. Introduction to Functional Differential Equations; Springer: New York, NY, USA, 1993. [Google Scholar]
  23. Levinson, N.; Redheffer, R.M. Complex Variables; Holden-Day: Baltimore, MD, USA, 1970. [Google Scholar]
  24. Ruan, S.; Wei, J. On the zeros of transcendental functions with applications to stability of delay differential equations with two delays. Dynam. Cont. Dis. Ser. 2003, 10, 863–874. [Google Scholar]
  25. Hassard, B.; Kazarinoff, D.; Wan, Y. Theory and Applications of Hopf bifurcation; Cambridge University Press: Cambridge, UK, 1981. [Google Scholar]
Figure 1. For r 1 = 1 , r 2 = 0.1 , a = 0.09 , b = 0.2 , c = 4 , η = 0.8 , δ = 0.5 , G 1 ( ω ) , G 2 ( ω ) , G 3 ( ω ) are all less then or equal to 0 if ω [ 1.173 , 1.676 ] .
Figure 1. For r 1 = 1 , r 2 = 0.1 , a = 0.09 , b = 0.2 , c = 4 , η = 0.8 , δ = 0.5 , G 1 ( ω ) , G 2 ( ω ) , G 3 ( ω ) are all less then or equal to 0 if ω [ 1.173 , 1.676 ] .
Fractalfract 06 00323 g001
Figure 2. For r 1 = 1 , r 2 = 0.1 , a = 0.09 , b = 0.2 , c = 4 , η = 0.8 , δ = 0.5 , T 1 T 5 are stability crossing curves. The stable region is on the left of the stability crossing curves.
Figure 2. For r 1 = 1 , r 2 = 0.1 , a = 0.09 , b = 0.2 , c = 4 , η = 0.8 , δ = 0.5 , T 1 T 5 are stability crossing curves. The stable region is on the left of the stability crossing curves.
Fractalfract 06 00323 g002
Figure 3. The phase graph and the trajectories of system ( 4 ) with τ 1 = 1.00 , τ 2 = 1.80 , S * is asymptotically stable.
Figure 3. The phase graph and the trajectories of system ( 4 ) with τ 1 = 1.00 , τ 2 = 1.80 , S * is asymptotically stable.
Fractalfract 06 00323 g003
Figure 4. The phase graph and the trajectories of system ( 4 ) with τ 1 = 1.00 , τ 2 = 2.55 , S * is unstable, from S * bifurcates a stable periodic solution.
Figure 4. The phase graph and the trajectories of system ( 4 ) with τ 1 = 1.00 , τ 2 = 2.55 , S * is unstable, from S * bifurcates a stable periodic solution.
Fractalfract 06 00323 g004
Figure 5. The phase graph and the trajectories of system ( 4 ) with τ 1 = 1.00 , τ 2 = 4.50 , S * is stable again.
Figure 5. The phase graph and the trajectories of system ( 4 ) with τ 1 = 1.00 , τ 2 = 4.50 , S * is stable again.
Fractalfract 06 00323 g005
Figure 6. The trajectories and phase graph of system ( 4 ) with τ 1 = 1.00 , τ 2 = 6.50 , S * is unstable and a stable periodic solution bifurcates from S * .
Figure 6. The trajectories and phase graph of system ( 4 ) with τ 1 = 1.00 , τ 2 = 6.50 , S * is unstable and a stable periodic solution bifurcates from S * .
Fractalfract 06 00323 g006
Figure 7. Stability crossing curves for different η . From the left to the right are the stability crossing curves of η = 0.6 , η = 0.7 , η = 0.8 , and η = 0.9 .
Figure 7. Stability crossing curves for different η . From the left to the right are the stability crossing curves of η = 0.6 , η = 0.7 , η = 0.8 , and η = 0.9 .
Fractalfract 06 00323 g007
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

He, J.; Yang, P.; Cao, J. Dynamical Behaviors of an Environmental Protection Expenses Model in Protected Areas with Two Delays. Fractal Fract. 2022, 6, 323. https://doi.org/10.3390/fractalfract6060323

AMA Style

He J, Yang P, Cao J. Dynamical Behaviors of an Environmental Protection Expenses Model in Protected Areas with Two Delays. Fractal and Fractional. 2022; 6(6):323. https://doi.org/10.3390/fractalfract6060323

Chicago/Turabian Style

He, Jun, Ping Yang, and Jinde Cao. 2022. "Dynamical Behaviors of an Environmental Protection Expenses Model in Protected Areas with Two Delays" Fractal and Fractional 6, no. 6: 323. https://doi.org/10.3390/fractalfract6060323

Article Metrics

Back to TopTop