Dynamical analysis of fractional-order Holling type-II food chain model

This paper proposed a fractional-order Holling type-II food chain model. First, we verified the existence, uniqueness, nonnegativity and boundedness of the solution of the model, and some conditions for equilibrium existence and local stability were studied. Second, a controller was proposed, and the Lyapunov method was used to study the global stability of the positive equilibrium point. Finally, numerical simulations were performed to verify the theoretical results.


Introduction
Population dynamics has always been an important research object of biomathematics. Various groups often have complex interspecific relationships, such as predation, competition, parasitism and mutualism [1]. Predation behavior, as a widespread interspecies relationship, has been widely studied. Lotka and Volterra were the first to propose a predator-prey system to describe the widespread interspecies relationship of predation [2]. Holling further proposed three functional responses of predators to describe the energy transfer between predators and prey [3]. These three functional responses have been applied and perfected by many scientists [4]. In 1991, Hastings and Powell proposed a food chain system with chaotic dynamics and studied the dynamics of the model [5]. In recent years, many mathematicians have also studied the development and improvement of Hastings-Powell food chain models [6][7][8][9].
Fractional calculus is a generalization of traditional calculus, and its order can be composed of integers, fractions or complex numbers [10]. Fractional calculus can better describe some systems or processes with memory and hereditary properties, and it has been widely used in many fields, such as physics, secure communication, system control, neural networks, and chaos [11,12]. The method of solving the fractional model has also been widely studied [13,14]. In [15], the Caputo fractional derivative operator is used instead of the integer first derivative to establish an effective numerical method for solving the dynamics of the reaction-diffusion model based on a new implicit finite difference scheme. In [16], a numerical approximation for the Caputo-Fabrizio derivative is used to study the dynamic complexity of a predator-prey system with a Holling-type functional response. In [17], a new fractional chaotic system described by the Caputo fractional derivative is presented, and how to use the bifurcation diagram of this chaotic system to detect chaotic regions is analyzed. In [18], the generalization of Lyapunov's direct method applying Bihari's and Bellman-Gronwall's inequalities to Caputo-type fractional-order nonlinear systems is proposed. In [19], the Fourier spectral method is introduced to explore the dynamic richness of two-dimensional and three-dimensional fractional reaction-diffusion equations. In [20], the spatial pattern formation of the predator-prey model with different functional responses was studied. [21] studied the numerical solution of the space-time fractional reaction-diffusion problem that simulates the dynamic and complex phenomena of abnormal diffusion.
Since most biological mathematical models have long-term memory, fractional differential equations can more accurately and reliably describe the actual dynamic process [1,22]. [23] proposed fractional predator-prey models and fractional rabies models and studied their equilibrium points, stability and numerical solutions. In [24], the authors studied the stability of a fractional-order system by the Lyapunov direct method, which substantially developed techniques to study the stability of fractional-order population models. In [9], the authors extended the Hastings-Powell food chain system to fractional order and analyzed its dynamic behavior.
As an important research object of biological mathematics and control theory, population model control has received extensive research and development in recent years [25][26][27]. In [28], the authors conducted random detection and contacted tracking on the HIV/AIDS epidemic model and used the Adams-type predictor-corrector method to perform fractional optimal control of the model, which significantly reduced the number of AIDS patients and HIV-infected patients. In [29], the authors applied the time-delay feedback controller to the fractional-order competitive Internet model to solve the bifurcation control problem of this model. In [30], the author considered the influence of additional predators on the Hastings-Powell food chain model and studied the control of chaos in this model.
Biological models are widely studied by scientists, but many classic models study food chain models composed of herbivores and carnivores, and omnivores are rarely considered. In fact, omnivores are widespread in nature and play an important role in the food chain. In this article, the existence of omnivores is fully considered, and a food chain model in which herbivores, omnivores and carnivores coexist is studied. Based on these works, this paper proposes a fractional food chain model with a Holling type-II functional response. The main contributions of this paper are as follows. First, this paper proves the existence and uniqueness of the solution and the nonnegativity and boundedness of the solution. Second, the equilibrium point of the model is calculated, and the local stability of the equilibrium point is proven. Third, a controller is designed to prove the global asymptotic stability of the system by using the Lyapunov method. This paper is organized as follows. In Section 2, the definitions and lemmas are given, and the food chain model is established. In Section 3, the existence, uniqueness, nonnegativity and boundedness are proven, and the local stability of the equilibrium point of the model is studied. The global stability of the model is studied through the controller. In Section 4, numerical simulations are performed to verify the theoretical results. The conclusion of this article is given in Section 5.

Model description and preliminaries
In this section, some basic knowledge about fractional equations and the theorems and lemmas used in this paper are given, and the fractional food chain system is introduced. Definition 1. [10]. The Caputo fractional derivative of order α of a function f , R + → R, is defined by where Γ(·) is the Gamma function. When 0 < α < 1, [31]. When the order a > 0, for a function f : (0, ∞) → R, the Riemann-Liouville representation of the fractional integral operator is defined by , where a > 0 and Γ(·) is the Gamma function. Lemma 1. (Generalized Gronwall inequality) [32]. Assume that m ≥ 0, γ > 0, and a(t) are nonnegative, locally integrable, and nondecreasing functions defined on 0 ≤ t ≤ T (T ≤ ∞). In addition, h(t) is a nonnegative, locally integrable function defined in 0 ≤ t ≤ T and satisfies Lemma 2. [10]. Consider the fractional-order system The local asymptotic stability of the equilibrium point of this system can be derived from |arg(λ i )| > απ 2 , where λ i are the eigenvalues of the Jacobian matrix at the equilibrium points. Lemma 3. [24]. Consider the system where α ∈ (0, 1], f : [t 0 , ∞) × Ω → R n , and Ω ∈ R n ; if f (t, x) satisfies the local Lipschitz condition about x on [t 0 , ∞) × Ω, then there exists a unique solution of (2.2). Lemma 4. [33]. The function x(t) ∈ R + is continuous and derivable; then, for any t ≥ t 0 There are a variety of complex biological relationships in nature. Predation is the most important biological relationship, and it has received attention from and been studied by many scientists. In [5], the author proposed a three-species food chain model. The model consists of one preyX and two predatorsŶ andẐ. The top predatorẐ feeds on the secondary predatorŶ, and the secondary predator Y feeds on the preyX. This is the famous Hastings-Powell model: whereR andK represent the intrinsic growth rates and environmental carrying capacity, respectively. For i = 1, 2, parametersÂ i ,B i ,Ĉ i andD i are the predation coefficients, half-saturation constant, food conversion coefficients and death rates. The Hastings-Powell model considers a food chain composed of herbivores, small carnivores and large carnivores but does not consider the existence of omnivores. We consider a food chain consisting of small herbivores X, medium omnivores Y and large carnivores Z. Among them, omnivores Y prey on herbivores X, and carnivores Z prey on omnivores Y. They all respond according to Holling II type. This system can be expressed mathematically as where X, Y and Z represent the densities of the prey population, primary predator population and top-predator population, respectively. For i = 1, 2, parameters R i , K i , A i , B i and C i are the intrinsic growth rates, environmental carrying capacity, predation coefficients, half-saturation constant and food conversion coefficients, respectively. The parameter D is the death rates for Z. Then, we obtain the following dimensionless version of the food chain model: the independent variables x, y and z are dimensionless population variables; t represents a dimensionless time variable; and a i , b i (i = 1, 2) and d are positive.
Research results show that using fractional derivatives to model real-life biological problems is more accurate than classical derivatives [15]. To better analyze the dynamics between these three populations, we studied the following fractional-order Hastings-Powell System food chain model: where α ∈ (0, 1) is the fractional order.

Properties of the solution
Theorem 1. The fractional-order Hastings-Powell System food chain model (2.6) has a unique solution.
Proof: We will study the existence and uniqueness of the system (2 For any S ,S ∈ Ω, it follows from (3.1) that Based on Lemma 3, F(S ) satisfies the Lipschitz condition with respect to S in Ω. According to the Banach fixed point theorem in [34], system (2.6) has a unique solution in Ω.
4r 2 v } as a positively invariant set of system (2.6), and the solutions are bounded.
Proof: The Jacobian matrices evaluated at E 0 and E 1 are According to Lemma 2, when the eigenvalues are all real numbers and all negative, the equilibrium points are locally asymptotically stable.

Global asymptotic stability
To study the asymptotic stability of system (2.6), three controllers will be added. The controller is proposed as follows: µ 1 = m 1 x(x − x * ), µ 2 = m 2 y(y − y * ), and µ 3 = m 3 z(z − z * ). where m 1 , m 2 and m 3 represent negative feedback gains, which are defined as real numbers. Clearly, if m i = 0(i = 1, 2, 3) or x = x * (y = y * , z = z * ), then µ i = 0(i = 1, 2, 3), so it will not change the equilibrium point of system (2.6). Controllers added into system (2.6) as follows One gives a Lyapunov function as: then, Consider E * to be the equilibrium point: According to Lemma 4, we can obtain When and m 3 ≥ a 2 b 2 y * 2(1+b 2 y * ) , it follows that D α V ≤ 0. We can show that the equilibrium point E * is uniformly asymptotically stable.

Numerical examples
In this section, we use the Adams-Bashforth-Molton predictor-corrector algorithm numerical simulation. This method is described in detail in [37] and [38].  According to Theorem 5, when α = 1, α = 0.9, α = 0.8, and E * is locally asymptotically stable, it can be seen from Figure 1 that the order α will affect the speed at which the system converges to the equilibrium point. The relevant results are shown in Figure 1.
Example 2. In system (2.6), let r 1 = 1, r 2 = 0.6, K 1 = 50, K 2 = 30, a 1 = 1, a 2 = 0.6, b 1 = 5, b 2 = 0.2 and d = 0.2. System (2.6) has a positive equilibrium point E * = (49.9382, 0.3571, 1.4158). It follows from Theorem 5 that system (2.6) has a bifurcation at α * . When α = 0.95 and α = 0.8, E * is locally asymptotically stable, and when α = 0.98, E * is unstable. The relevant results are shown in Figure 2.  Example 3. To verify the sensitivity of the system (2.6) to initial conditions and other parameters, according to the method in [39], apply the positive Euler format to transform the differential model into the following discrete form: x t+1 = x t + δ(r 1 x t (1 − x t K 1 ) − a 1 x t y t 1+b 1 x t ), y t+1 = y t + δ(r 2 y t (1 − y t K 2 ) + a 1 x t y t 1+b 1 x t − a 2 y t z t 1+b 2 y t ), z t+1 = z t + δ( a 2 y t z t 1+b 2 y t − dz t ), (4.1) where δ is the time step size. We use the parameters of Example 1 to study Lyapunov exponents. Figure 3 shows that system (2.6) is in a stable state and is less sensitive to initial conditions.

Conclusions
This paper studies a new fractional-order food chain model with a Holling type-II functional response. First, the existence, uniqueness, nonnegativity and boundedness of the solution of the model are discussed. Second, the local stability of each equilibrium point is discussed. Third, controllers µ 1 = m 1 x(x − x * ), µ 2 = m 2 y(y − y * ) and µ 3 = m 3 z(z − z * ) are proposed and added to the system. Using the Lyapunov method, sufficient conditions for the positive equilibrium point to reach the global uniformly asymptotically stable state are obtained. Finally, we use numerical simulations to verify the theoretical results.