A Rosenzweig–MacArthur Model with Continuous Threshold Harvesting in Predator Involving Fractional Derivatives with Power Law and Mittag–Lefﬂer Kernel

: The harvesting management is developed to protect the biological resources from over-exploitation such as harvesting and trapping. In this article, we consider a predator–prey interaction that follows the fractional-order Rosenzweig–MacArthur model where the predator is harvested obeying a threshold harvesting policy (THP). The THP is applied to maintain the existence of the population in the prey–predator mechanism. We ﬁrst consider the Rosenzweig–MacArthur model using the Caputo fractional-order derivative (that is, the operator with the power-law kernel) and perform some dynamical analysis such as the existence and uniqueness, non-negativity, boundedness, local stability, global stability, and the existence of Hopf bifurcation. We then reconsider the same model involving the Atangana–Baleanu fractional derivative with the Mittag–Lefﬂer kernel in the Caputo sense (ABC). The existence and uniqueness of the solution of the model with ABC operator are established. We also explore the dynamics of the model with both fractional derivative operators numerically and conﬁrm the theoretical ﬁndings. In particular, it is shown that models with both Caputo operator and ABC operator undergo a Hopf bifurcation that can be controlled by the conversion rate of consumed prey into the predator birth rate or by the order of fractional derivative. However, the bifurcation point of the model with the Caputo operator is different from that of the model with the ABC operator.

On the other hand, the modeling also contemplates the optimal management of bioeconomic resources as in fishery and pest management.Some researchers put an intervention into the predator-prey model such as the harvesting to one or more population [8,[18][19][20][21][22].To protect the population from over-exploitation during the harvesting, some management techniques have been established.One of the famous technique is a continuous threshold harvesting policy (THP) (see [23][24][25][26][27][28][29]).THP is regulated as follows: when the population density above the threshold level, harvesting is permitted; when the population density drops below the threshold level, harvesting is prohibited.
In 2013, Lv et al. [26] proposed the following Rosenzweig-MacArthur model with THP in predator where , if y ≥ T.
We describe the biological interpretation of variables and parameters of model (1) in Table 1.Model (1) represents an interaction between two populations with a prey-predator relationship, where THP is only applied for the predator to preserving its populations.Some appealing examples of the ecological model (1) are given by the interaction between Sycanus sp. and Setothosea asigna and between Rhinocoris sp. and Spodoptera litura.Shepard [30] reported that Sycanus sp. and Rhinocoris sp. are the natural predators of the pests such as Setothosea asigna and Spodoptera litura which exist in agricultural lands and plantations.The worrying problem is: How if the density of insects such as Sycanus sp. and Rhinocoris sp.uncontrolled?One solution is applying THP as in model (1).
Table 1.Description of variables and parameters of the model (1).

Variables and Parameters Description x(t)
The density of prey y(t) The density of predator r The intrinsic growth rate of prey K The environmental carrying capacity of prey m The maximum uptake rate for prey n The conversion rate of consumed prey into predator birth a The environment protection for prey d The natural death rate of predator h The harvesting rate c The half saturation constant for harvesting T The threshold level of harvesting Lv et al. [26] successfully explored the dynamics of the model (1) including the local stability and the existence of various phenomena (saddle-node, Hopf, cusp, and Bogdanov-Taken bifurcations).Despite their success works, the model with the first-order derivative is limited to its capability of involving all previous conditions to the growth rates of both predator and prey.The growth rates of both populations in the model (1) depend only on the current state.Biologically, the growth rates must be dependent on all of the previous conditions which are known as the memory effects.To account for such memory effects, some researchers proposed to apply the fractional-order derivative instead of the first-order derivative when expressing the growth rate of the population.The fractional-order models are naturally related to systems with memory which exists in most biological models [7,31].The fractional-order models are also well-liked due to their capability in providing an exact description of different nonlinear phenomena [32].In recent years, the development of fractional-order models grows rapidly and becomes popular in studying the dynamical behavior of predator-prey interaction [17,[33][34][35][36][37][38].It has been shown that the order of the fractional derivate significantly affects the dynamical behavior of the models, which is in contrast to the first-order derivative models that depend only on the values of parameters.
In this paper, we modify the model of Lv et al. [26] by applying the fractional-order derivative to the left-hand sides of the first-order differential Equation (1).We use two types of fractional-order derivatives, namely the Caputo operator (that is, the operator with the power law kernel) [39] and Atangana-Baleanu operator [40].The basic difference between these two operators lies on their kernel.Atangana-Baleanu operator has a non-singular and non-local (that is, Mittag-Leffler) kernel while the Caputo operator does not [41,42].From the biological meanings, a model with Atangana-Baleanu operator gives better results in applying memory effects [43][44][45].Nevertheless, the Caputo operator has more complex analytical tools in investigating the dynamics of the model such as the local stability [46][47][48][49][50], the global stability [51,52], bifurcation theory [52][53][54], and so on.By considering the deficiencies and advantages, the model with Caputo and Atangana-Baleanu operator are employed in our work.Based on our literature review, the dynamics of the model ( 1) with Caputo and Atangana-Baleanu operator have never been studied.For this reason, we are interested in investigating the dynamical behavior of model (1) using both Caputo and Atangana-Baleanu fractional-order operators.
If the first-order derivatives d dt at the left hand sides of model ( 1) are replaced by the fractional-order derivatives D α t , then we obtain Note that the left hand sides of model ( 2) have the dimension of (time) −α , while the parameters at the right hand sides of model ( 2) such as r, m, n, d, and ĥ have the dimension of (time) −1 ; this shows the inconsistency of physical dimensions in the model (2) (see [55,56]).To overcome such inconsistency, we rescale the parameters in the model (2) to get the following model where By applying new parameters r = rα , m = mα , n = nα , d = dα , and h = ĥα , we obtain where This paper is organized as follows.In Section 2, we investigate the dynamics of model ( 4) with the Caputo operator.We identify the existence, uniqueness, non-negativity, and boundedness of solutions.Furthermore, we explore the dynamics of the model by examining the existence of the equilibrium points, their local and global stability, and the existence of Hopf bifurcation.In Section 3, the existence and uniqueness of solutions of the model with Atangana-Baleanu operator are verified.In Section 4, we explore the dynamics of the model using both operators numerically.We demonstrate numerically the stability of the equilibrium point, and the occurrence of forward and Hopf bifurcations.We end our works with a brief conclusion in Section 5.

Model Formulation
The operator of Caputo fractional-order derivative is defined as follows Definition 1. [48] Let α ∈ (0, 1], f ∈ C n ([0, +∞), R), and Γ(•) is the Gamma function.The Caputo fractional derivative of order-α is defined by The kernel of Caputo operator is known as the power law kernel.By applying Definition 1 to model (4), we get the Caputo fractional order Rosenzweig-MacArthur model with THP in predator (6)

Existence and Uniqueness
In this part, we study the existence and uniqueness of model (6).
Since the right hand-side of model ( 6) is a piecewise function which is switched when the number of predators passes through the threshold level, we divide the existence and uniqueness of the solution into two cases, namely y ≥ T and y < T. We start from y ≥ T. Consider the region Θ × [0, T + ] where Θ := (x, y) ∈ R 2 : max (|x|, |y|) ≤ γ, y ≥ T , T + < +∞, and a mapping F(Λ) = (F 1 (Λ), F 2 (Λ)).
For any Λ = (x , y) ∈ Θ and Λ = ( x, ȳ) ∈ Θ, we obtain where . Hence, F(Λ) satisfies the Lipschitz condition for y ≥ T. By using similar approaches, when y < T, it is easy to check that and hence the Lipschitz condition is also satisfied.According to Lemma 1, model ( 6) with non-negative initial condition has a unique solution Λ(t) = (x(t), y(t)) ∈ Θ.Thus, we establish the following theorem.

Non-Negativity and Boundedness
The solution of model ( 6) is required to be nonnegative and bounded to establish a biologically well-behaved model.To determine the non-negativity and boundedness of the solution of model (6), the following lemmas are needed.
In the following theorem, we prove the non-negativity and boundedness of solutions using the above lemmas.
Theorem 2. All solutions of model ( 6) with non-negative initial conditions are non-negative and uniformly bounded.
Proof.We start by proving that, if the initial condition is non-negative, then x(t) ≥ 0 for all t → ∞.Suppose that it is incorrect; then, we can find t 1 > 0 such that By employing (8) and the first equation of model ( 6), we obtain Based on Lemma 2, we have x(t + 1 ) = 0, which contradicts the fact that x(t + 1 ) < 0. Thus, x(t) ≥ 0 for all t ≥ 0. Using a similar procedure, we conclude y(t) ≥ 0 for all t > 0. Now, we adopt the similar manner as in [34] to show the boundedness of solutions.By setting up According to the standard comparison theorem for Caputo fractional-order derivative in Lemma 3, we achieve the following inequality where Hence, with non-negative initial condition, all solutions are restricted to the region Θ M where Consequently, all solutions of model ( 6) are uniformly bounded.

The Existence of Equilibrium Point
The first commonplace technique in studying the dynamical behavior of a fractional-order system is investigating the existence of the equilibrium point.Due to the biological nature, we give the following definition.Definition 2. Consider a Caputo fractional-order system A point x * is called an equilibrium point of Equation (10) if it satisfies f ( x * ) = 0. Particularly, it is called the biological equilibrium point of Equation (10) Based on Definition 2, the equilibrium point of model ( 6) is obtained by solving Thus, we get four feasible biological equilibrium points as follows. (i) The equilibrium points when y < T are (i.a) the origin point E 0 = (0, 0) which always exists; (i.b) the predator extinction point E 1 = (K, 0) which always exists; and (ii) The equilibrium point when y ≥ T is the second co-existence point E * = (x * , y * ) where y * = (K − x * ) (a + x * )r mK and x * is the positive roots of polynomial

Local Asymptotic Stability
In this part, we discuss the local stability of E 0 , E 1 , Ê, and E * .For this aim, we need the following theorem.Proof.When E 0 = (0, 0), the model ( 6) has Jacobian matrix J(E 0 ) = r 0 0 −d , where its eigenvalues Therefore, based on Theorem 3, E 0 is always a saddle point.
Theorem 5.The predator extinction point Proof.The Jacobian matrix of model ( 6) evaluated at Hence, we have the theorem.
Remark 1.It is noted that the existence condition for the first co-existence point Ê contradicts the stability condition of E 1 .Consequently, if E 1 is locally asymptotically stable, then Ê does not exist.This condition also indicates the existence of forward bifurcation, which is confirmed numerically in the next section.
Suppose that one of the following statements is obeyed.
Then, the first co-existence point Ê = x, (K − x) (a + x)r mK is locally asymptotically stable.
Proof.We first observe that the Jacobian matrix of model ( 6) evaluated at Ê is The eigenvalues of the Jacobian matrix (12) are the solutions of the characteristic equation , the real parts of λ 1,2 are negative.Thus, the eigenvalues (13) always satisfy Hence, we prove the theorem.

Global Asymptotic stability
To study the global stability of equilibrium points, we need the following lemmas.
Lemma 4. [51] Let x(t) ∈ C (R + ), x * ∈ R + , and its Caputo fractional derivative of order-α exists for any α ∈ (0, 1].Then, for any t > 0, we have Lemma 5. (Generalized Lasalle Invariance Principle [52]).Suppose Ω is a bounded closed set and every solution of system which starts from a point in Ω remains in Ω for all time.Let V(x) : Ω → R be a continuously differentiable function such that C D α t V| (15) ≤ 0.
Let E := x| C D α t V| (15) = 0 and M be the largest invariant set of E.Then, every solution x(t) originating in Ω tends to M as t → ∞.
Since model ( 6) is basically a piecewise fractional-order differential equations that depends on T, the analysis of the global stability is split into two regions defined by Ω 1 := {(x, y) : x ≥ 0, y < T} and Ω 2 := {(x, y) : x ≥ 0, y ≥ T}.Therefore, the global stabilities of E 1 , Ê, and E * are investigated as follows.
Theorem 8.If n < ad K , then the predator extinction point E 1 = (K, 0) is globally asymptotically stable in the region Ω 1 .

Proof. By specifying a positive
and conforming to Lemma 4, we obtain Owing to the fact that n < ad K , we have C D α t L 1 (x, y) ≤ 0. In consequence of Lemma 5, E 1 is globally asymptotically stable in the region Ω 1 .

Remark 2. Notice E
By choosing ϕ = (a + x)m an and substituting the value of ŷ, we get Using Lemma 5, we conclude that Ê is globally asymptotically stable in the region Ω 1 .
Based on Theorem 2, x(t) and y(t) are bounded.Let Ψ be the upper bound of y(t) such that 0 < T ≤ y(t) ≤ Ψ.The global stability of E * is stated in the following theorem.Proof.We consider a positive Lyapunov function According to Lemma 4, the fractional derivative of L 3 (E * ) satisfies By taking ϕ * = (a + x * )m an and remembering that y(t) < Ψ, we obtain Based on Lemma 5, Ê is globally asymptotically stable in the region Ω 2 .

The Existence of Hopf Bifurcation
The Hopf bifurcation is a local phenomenon when a stable equilibrium point loses its stability and all nearby solutions converge to a periodic solution namely limit-cycle if a parameter is varied [54,60,61].It is shown that many fractional-order models involving the Caputo operator undergo a Hopf bifurcation which is driven by the order of the derivative (see [2,17,34,53,62]).The difference between the Hopf bifurcation in the integer-order model and that in the fractional-order model lies on the property of the limit-cycle.In the integer-order model, the limit-cycle is a periodic orbit which does not exist in the fractional-order model [63].In the fractional-order model, the limit-cycle is not a periodic solution, but all nearby solutions converge to a limit-cycle [56,62].
Adapted from Theorem 3 in [62], for two dimensional Caputo fractional-order system, a Hopf bifurcation occurs when the eigenvalues λ 1,2 of the Jacobian matrix evaluated at the equilibrium point satisfy the following conditions: Now, consider the stability condition in Theorems 6 and 7.For y < T, the Jacobian matrix of model ( 6) evaluated at Ê has a pair of complex eigenvalues if ∆ > 0. We can easily confirm that, , then the real part of the eigenvalues are positive.We also have that m( α) = 0 and dm(α) dα α= α = 0. Therefore, Ê undergoes a Hopf bifurcation when α crosses α.A similar circumstance also occurs when y ≥ T. When ξ 2 < 4θ, the Jacobian matrix of model ( 6) has a pair of complex eigenvalues.The real part of the eigenvalues are also positive when ξ > 0. We can also check that m(α * ) = 0 and dm(α) dα α=α * = 0.This means the Hopf bifurcation also occurs when y ≥ T. Therefore, we have the following theorem.

Model Formulation
In this section, we consider a fractional-order Rosenzweig-MacArthur model with THP in predator involving the Atangana-Baleanu operator.Specifically, we consider the Atangana-Baleanu operator in Caputo sense of order-α which is defined as follows.Definition 3. [40] Suppose 0 < α ≤ 1.The Atangana-Baleanu fractional integral and derivative in Caputo sense of order-α (ABC) is defined by is the Mittag-Leffler function and B(α) is a normalization function with B(0) = B(1) = 1.In this paper, we define B(α . By applying Definition 3 to model ( 4), we get the following fractional-order model with ABC operator Due to the lack of analytical theory, model ( 16) is investigated numerically.However, we first show the existence and uniqueness of the solution of the model ( 16).

Existence and Uniqueness
We start this work by representing the Lipschitz condition of the kernels of model (16).Since the harvesting is performed by obeying threshold harvesting policy, we give the proof into two cases i.e., y < T and y ≥ T.
We start for y ≥ T. Let x, x, y, and ȳ be functions satisfying x ≤ a 1 , x ≤ a 2 , y ≤ b 1 , and ȳ ≤ b 2 .Suppose that Therefore, we get and When y < T, by utilizing the similar manner, we achieve G 2 (y) − G 2 ( ȳ) ≤ g 3 y − ȳ where g 3 = n + d.Accordingly, the kernel of ( 16) satisfies the Lipschitz condition.Furthermore, if 0 ≤ g 1 < 1 and 0 ≤ g 3 < g 2 < 1, then G 1 and G 2 are contracted.Now, by employing the fixed-point theorem, the solution of model ( 16) is investigated.By utilizing the Atangana-Baleanu fractional integral operator, model ( 16) is transformed into the following Volterra-type integral equation.
In a recursive form, Equation ( 19) is written as The associated initial conditions along with Equation ( 20) are x 0 (t) = x(0) and y 0 (t) = y(0).By considering Equation ( 20), we have the difference expression of successive terms as follows.
Theorem 12. Model (16) has a unique solution if we can find t 0 such that Proof.Let x(t) and y(t) be bounded functions, and hence the Lipschitz condition is satisfied.Thus, according to Equation (22), we obtain the following inequalities.
Therefore, the continuity and existence of solution are proved since Φ 1,n (t) → 0 and Φ 2,n (t) → 0 as n → ∞ and t = t 0 .Now, suppose that We confirm that It is clear that Υ 1,n (t) → 0 when n → ∞.By using a similar manner, we acquire Υ 2,n (t) → 0, n → ∞.Finally, the uniqueness of solution for the model is proven.Suppose that there exists different set of solutions denote by x(t) and ỹ(t); then, we have Taking the norm for both sides and using a simplification as in ( 22) and ( 24), we obtain For t = t 0 , we have (23), thus x(t) − x(t) = 0 and hence x(t) = x(t).Applying the same algebraic procedures, we can show that y(t) = ỹ(t).Therefore, the solution is unique.

Numerical Simulations
In this section, the numerical simulations of Caputo model ( 6) and ABC model ( 16) are performed to illustrate the previous theoretical results.In the literature, there exist many numerical methods to solve a system of fractional differential equations, such as the Monte Carlo method [64], the Grünwald-Letnikov method [65,66] and the predictor-corrector method [67][68][69].We apply the predictor-corrector scheme proposed by Diethelm et al. [67] to solve the Caputo fractional-order model and the predictor-corrector scheme proposed by Baleanu et al. [69] to solve the Atangana-Baleanu in Caputo sense model (ABC).Due to the limitation of field data, we use hypothetical parameter values that correspond to the theoretical results.The initial parameter values are given as follows.r = 0.5, K = 1, m = 0.3, a = 0.2, d = 0.1, h = 0.1, T = 0.9, c = 0.1, and α = 0.9.
In Figure 1, we plot a bifurcation diagram by varying the conversion rate of consumed prey into predator birth n in interval [0.08, 0.2].We notice that the parameter values (29) and the interval 0.08 ≤ n ≤ 0.2 lead to the non-existence of equilibrium point in Ω 2 .Therefore, the first numerical simulations are focused on the dynamics in Ω 1 .
For 0.08 ≤ n < n * 1 = 0.12, Theorem 5 states that the predator extinction point E 1 = (1, 0) is the only equilibrium point which is asymptotically stable.To see this behavior, we take n = 0.1 and plot the phase portrait and the time series as in Figure 2. It is seen that all solutions with initial values in both Ω 1 and Ω 2 are convergent to E 1 .When the initial value is in Ω 2 , then the solution is oscillating when it crosses the threshold harvesting level and eventually converges to E 1 .
When n passes through n * 1 , the equilibrium point E 1 = (1, 0) undergoes a forward bifurcation.In this case, there appear two equilibrium points, namely the unstable E 1 and an asymptotically stable Ê. Figure 1 shows that Ê is asymptotically stable if 0.12 < n n * 2 = 0.1557.In Figure 3, we show the phase portrait and time series for the case of n = 0.14.We see that E 0 = (0, 0) and E 1 = (1, 0) are saddle points, while Ê = (0.5, 0.5833) is asymptotically stable.This circumstance corresponds to Theorems 4-6 and 9.  6) and ABC model (16) driven by the conversion rate of consumed prey into predator birth (n) with constant parameter values (29).There exists two bifurcations namely a forward bifurcation which occurs when n passes through n * 1 ≈ 0.12, and a Hopf bifurcation which occurs when n passes through n * 2 ≈ 0.1557.Furthermore, if we increase the value of n such that n > n * 2 , then the equilibrium point Ê loses its stability, and all solutions converge to a limit-cycle.This situation confirms the occurrence of a Hopf bifurcation driven by n.For example, if we select n = 0.2 then all equilibrium points are unstable and all solutions eventually converge to limit cycle (see Figure 4).Now, we perform simulation using the same parameter values as in Figure 4, but with a lower threshold value, namely T = 0.5.In this case, there is no equilibrium point Ê in Ω 1 , and E * = (0.5954, 0.5364) occurs in Ω 2 .According to Theorem 7, E * is asymptotically stable.Such dynamics can be clearly seen in Figure 5.This simulation shows that by applying the THP when the interior equilibrium point is stable, we can choose a suitable constant of threshold so that the existence of both prey and predator are maintained.Notice that, in Figures 2-5, we see that both model with Caputo operator (6) and Atangana-Baleanu operator ( 16) have similar dynamical behavior.The noticeable difference between them is the orbit of solutions and the diameter of the limit-cycle.In Figure 4, the diameter of the limit-cycle of the model with ABC operator looks shorter than that of the Caputo operator, which may give different dynamics when a Hopf bifurcation occurs.To get more detail view, we plot a bifurcation diagram by varying the order of the fractional derivative (α) (see Figure 6).In this simulation, we use parameter values as in Figure 4 and vary the order-α in the interval [0.6, 0.9].It is clearly seen that, besides the diameter of the limit-cycle, the bifurcation points of Caputo model and ABC model are also different.The Caputo model has an earlier bifurcation point than that of the ABC model.To show this situation, we show some numerical simulations using different values of α (see Figure 7).For α = 0.7, the equilibrium point Ê of both model are asymptotically stable.For α = 0.772, the equilibrium point Ê of the Caputo model loses its stability, while that of the ABC model remains asymtotically stable.
For α = 0.83, the equilibrium point Ê of both models are unstable.From the biological point of view, all previous numerical simulations show that the dynamical properties of both Caputo model and ABC model are similar except when the eigenvalues of the Jacobian matrix evaluated at the interior equilibrium point Ê are a pair of complex conjugate with positive real part.There is a biological condition such that the prey and predator densities are eventually periodic for the Caputo model, while for ABC model, the densities of both predator and prey are eventually constant.

Conclusions
The dynamics of a Rosenzweig-MacArthur model with continuous threshold harvesting in predator involving the Caputo fractional-order derivative and ABC fractional-order derivative are studied.We prove the existence and uniqueness of solutions of both Caputo and ABC models.Particularly, we completely investigate the dynamics of the Caputo model including the non-negativity, boundedness, local stability, global stability, and the existence of Hopf bifurcation.From the biological meanings, the extinction of both populations never occurs since the origin point (E 0 ) is a saddle point.Some of the situations that might occur are: (1) the predator goes extinct while the prey still survives, which is indicated by the stability of E 1 ; (2) both predator and prey co-exist and converge to a constant population density, which happens if the interior point Ê or E * are asymptotically stable; and (3) both predator and prey co-exist where both population densities change periodically, namely when a Hopf bifurcation occurs.We show numerically that our model may undergo a forward bifurcation or a Hopf bifurcation.The Hopf bifurcation in models with both Caputo operator and ABC operator can be driven by the conversion rate of consumed prey into the predator birth rate or by the order of fractional derivative.Our numerical simulations show that the Hopf bifurcation point of both models are different.

Theorem 10 .
If y * < min a 2 r mK , cT Ψ − T + T , then the second co-existence point E * = (x * , y * ) is globally asymptotically stable in the region Ω 2 .

Figure 1 .
Figure 1.Bifurcation diagram of Caputo model (6) and ABC model(16) driven by the conversion rate of consumed prey into predator birth (n) with constant parameter values(29).There exists two bifurcations namely a forward bifurcation which occurs when n passes through n * 1 ≈ 0.12, and a Hopf bifurcation which occurs when n passes through n * 2 ≈ 0.1557.

14 Figure 5 .Figure 6 .
Figure 6.Bifurcation diagram of Caputo model (6) and ABC model (16) driven by the order of the fractional-derivative (α) with constant parameter values (29) and n = 0.2.There exists a Hopf bifurcation where the bifurcation points of the Caputo model and ABC model are different.