 Research
 Open Access
 Published:
Analysis of stability and Hopf bifurcation in a fractional Gausstype predator–prey model with Allee effect and Holling typeIII functional response
Advances in Difference Equationsvolume 2018, Article number: 82 (2018)
Abstract
The Kolmogorov model has been applied to many biological and environmental problems. We are particularly interested in one of its variants, that is, a Gausstype predator–prey model that includes the Allee effect and Holling typeIII functional response. Instead of using classic first order differential equations to formulate the model, fractional order differential equations are utilized. The existence and uniqueness of a nonnegative solution as well as the conditions for the existence of equilibrium points are provided. We then investigate the local stability of the three types of equilibrium points by using the linearization method. The conditions for the existence of a Hopf bifurcation at the positive equilibrium are also presented. To further affirm the theoretical results, numerical simulations for the coexistence equilibrium point are carried out.
Introduction
Fractional calculus is an extension of classical calculus that generalizes the order of derivatives and integrals to a noninteger order. Fractional calculus was first discussed more than 300 years ago by Leibniz and L’Hôpital [1], who considered derivatives of order \(\alpha =\frac{1}{2}\). In the last few decades, fractional calculus has been widely used in many fields such as engineering [2–4], mechanics [5, 6], physics [7, 8], chemistry [9, 10], and biology [11–13]. For some dynamic phenomena, models with fractional order derivatives provide a better and more efficient description than those with classical derivatives [14]. Models with fractional order derivatives can take different forms depending on the system understudy and purpose of the model. Among them, fractional differential equations (FDEs) and fractional partial differential equations (FPDEs) are most often applied to represent continuous and deterministic systems. FDEs and FPDEs have been mathematically studied from several different perspectives, yielding methods for solving FDEs [15–19] and FPDEs [20–26] and characterization of the asymptotic behavior of solutions [27–30].
Recently, many researchers have used fractional differential equations to develop models for predator–prey interactions [31–34], atmospheric dispersion [35], pharmacokinetics [36], HIV infection [37], and bioreactors [38]. The predator–prey model has been applied to describe the relationship between two species in biological systems in which one a predator feeds on the other its prey [39]. Fractional order predator–prey models have been used by many researchers, who also discussed the stability and numerical solutions of the models [32, 33, 40, 41]. Moreover, some studies showed the conditions for existence of a Hopf bifurcation [42–44] and the appearance of a limit cycle [45].
The Kolmogorov model is a general continuous time predator–prey model, consisting of a system of first order differential equations [46]. There are many types of Kolmogorov models such as the Lotka–Volterra model [47], Gausstype models [48], Hsu model [49], Kuang and Freedman model [50], and Huang and Merrill model [51]. Among them, the Gausstype predator–prey models have been widely used to formulate population models [52–55]. A crucial phenomenon in biology is the decrease in per capita growth rate at low population densities [56], which was first described by Warder Clyde Allee in the 1930s [57]. Several researchers are interested in the Allee effect for multispecies systems and have included the Allee effect term in Gausstype predator–prey models [58, 59]. In addition, many population models [60–62] are often associated with a functional response, which refers to the predation rate per predator as a function of prey density [63, 64] and predator density [65–67]. There are a variety of functional responses such as the Holling typeI–III functions [68], Holling typeIV function [69], the simplified Holling typeIV function [70], the Beddington–DeAngelis function [66], the Crowley–Martin function [71].
In 2010, Eduardo et al. [72] studied a Gausstype predator–prey model with Allee effect on prey and Holling typeIII functional response and examined the global behavior of this model. They identified three important assumptions as regards the interactions between prey and predator:

the prey population is affected by the Allee effect,

the functional response is Holling typeIII, and

the predator is a generalist species; see details in Ref. [73].
The model is given by
where \(x=x(t)\) and \(y=y(t)\) are the population sizes of prey and predator at time t, respectively; the sizes may be numbers of individuals or density. In order to represent biological populations, all parameters in model (1) are positive; that is, \(r,K,m,s,p,a,c>0\) and \(a,m< K\). The meaning of the parameters in model (1) is given as follows:

r is the growth rate of the prey.

K is the environmental capacity of the prey.

m is the minimum viable population.

s is the maximum per capita consumption rate.

a is the amount of prey at which predation rate is maximal.

p is the conversion efficiency of reduction rate of the predator.

c is the natural per capita death rate of the predator.
In model (1), the Allee effect is defined by the term \(r ( 1\frac{x}{K} ) ( xm ) x\) and the Holling typeIII functional response is represented by the term \(\frac{sx^{2}}{x^{2}+a ^{2}}\). This functional response describes a behavior in which the number of prey consumed per predator initially increases quickly as the density of prey grows and levels off with further increase in prey density [74].
The most famous definitions of fractional order derivatives are the Grünwald–Letnikov [75], Riemann–Liouville [76], and Caputo [77] definitions. The Caputo definition is very useful because in this case the derivative of a constant is zero and the initial conditions for the fractional order differential equations can be provided in the same manner as for the classical integer case, which has a clear physical meaning [78]. This paper aims to construct a fractional Gausstype predator–prey model with Allee effect and Holling typeIII functional response in the Caputo sense by modifying model (1). We analyze the local stability of the equilibria for the model using the linearization method. Moreover, given a derivative order, the conditions for the existence of a Hopf bifurcation of the positive equilibrium are obtained.
This article is organized as follows: In Sect. 2, the definition of a fractional order derivative in the Caputo sense and some important theorems for fractional order systems are introduced. The model is then developed along with the existence and uniqueness of a nonnegative solution of the model in Sect. 3. In Sect. 4, we analyze the local stability of the equilibrium points and examine the conditions for the existence of a Hopf bifurcation at the positive equilibrium. Some numerical examples to support the theoretical results are shown in Sect. 5. Finally, the conclusions of this study are presented in Sect. 6.
Preliminaries
In this section, the definition of a fractional derivative in the Caputo sense is given. Furthermore, definitions of an equilibrium point and some important theorems of the local stability of a fractional order system are presented.
Definition 2.1
([77])
Let \(k\in \mathbb{N}\), \(f\in A^{k}[t _{0},T]\), where \(A^{k}[t_{0},T]\) is the set of all functions \(f:[t_{0},T]\longrightarrow \mathbb{R}\), such that \(f^{(k1)}\) is absolutely continuous, and \(t\in [t_{0},T]\). Then, for \(k1<\alpha <k\), the Caputo fractional derivative of order α is defined by
where \(\Gamma (\cdot )\) denotes the Gamma function [79].
Theorem 2.2
([80])
The Laplace transform of the Caputo fractional derivative of order α for \(0<\alpha <1\) is
where \(\mathcal{F}(\mathfrak{s})=\mathcal{L}\{f(t)\}(\mathfrak{s})\) and \(\mathfrak{s}\) is a real or complex parameter.
Theorem 2.3
([77])
Let \(\beta >0\) and \(b\in \mathbb{C}\). The Laplace transform of \(E_{\beta ,1}(bt^{\beta })\) is
where \(E_{\beta ,1}(\cdot )\) denotes the MittagLeffler function [79].
The initial value problem for the Caputo fractional differential system, consisting of n equations for \(0<\alpha <1\), is given by
where \(f:[t_{0},\infty )\times \Omega \longrightarrow \mathbb{R}^{n}\) is piecewise continuous in t and locally Lipschitz continuous in X on \([t_{0},\infty )\times \Omega , \Omega \subset \mathbb{R} ^{n}\).
An equilibrium point of system (2) and the stability of the equilibrium point are described by the following definition and theorems.
Definition 2.4
([81])
A point \(X^{*}\) is called an equilibrium point of system (2) if and only if \(f(t,X^{*})=0\).
Suppose that an equilibrium point of system (2) is \(X^{*}=0\). If \(X^{*}\neq 0\), then it can be shifted to the origin by changing a variable [82]: \(Y(t)=X(t)X^{*}\). System (2) can be written in terms of the new variable \(Y(t)\) as
where \(g(t,0)=0\) and the system has equilibrium at the origin.
Theorem 2.5
([33])
Let \(J(X^{*})\) denote the Jacobian matrix of system (2) evaluated at equilibrium point \(X^{*}\). The eigenvalues of \(J(X^{*})\) are \(\lambda_{i}\), where \(i=1,\ldots,n\). Then equilibrium point \(X^{*}\) is a saddle point if some eigenvalues \(\lambda_{i}\) satisfy \(\vert \arg (\lambda_{i}) \vert >\frac{\alpha \pi }{2}\) and some others satisfy \(\vert \arg (\lambda_{i}) \vert < \frac{\alpha \pi }{2}\).
Theorem 2.6
Considering the system (2),

(i)
equilibrium point \(X^{*}\) is locally asymptotically stable if and only if all eigenvalues \(\lambda_{i}\), \(i=1,\ldots,n\) of \(J(X^{*})\) satisfy \(\vert \arg (\lambda_{i}) \vert >\frac{\alpha \pi }{2}\),

(ii)
equilibrium point \(X^{*}\) is stable if and only if all eigenvalues \(\lambda_{i}\), \(i=1,\ldots,n\) of \(J(X^{*})\) satisfy \(\vert \arg (\lambda_{i}) \vert \geq \frac{\alpha \pi }{2}\) and eigenvalues with \(\vert \arg (\lambda_{i}) \vert =\frac{\alpha \pi }{2}\) have the same geometric multiplicity and algebraic multiplicity, and

(iii)
equilibrium point \(X^{*}\) is unstable if and only if there exist eigenvalues \(\lambda_{i}\) for some \(i=1,\ldots,n\) of \(J(X^{*})\) which satisfy \(\vert \arg (\lambda_{i}) \vert < \frac{\alpha \pi }{2}\).
Fractional order model
In this section, we construct the fractional Gausstype predator–prey model with Allee effect and Holling typeIII functional response by modifying model (1). We subsequently show the existence and uniqueness of a nonnegative solution.
Starting with model (1), we replace the first order derivatives in the model with the Caputo fractional order derivatives. Consequently, a new model with fractional differential equations can be written as:
where \(0<\alpha <1\) with initial \(x(t_{0})=x_{0}\) and \(y(t_{0})=y_{0}\).
Let
Then model (3) can be written as \(_{t_{0}}^{C}D_{t} ^{\alpha }X(t)=f(X(t))\) with \(X_{0}=\bigl( {\scriptsize\begin{matrix}{} x_{0} \cr y_{0} \end{matrix}} \bigr) \).
Existence and uniqueness of a nonnegative solution
Let \(\mathbb{R}^{2}_{+}=\{X=(x,y)^{T}\in \mathbb{R}^{2} \mid x \geq 0, y\geq 0\}\) be the nonnegative quadrant of the xyplane.
From model (3), we can verify that \(f_{i}\), \(\frac{ \partial f_{i}}{\partial x}\), and \(\frac{\partial f_{i}}{\partial y} \) for \(i=1,2 \) are continuous in \(\mathbb{R}^{2}_{+}\). According to a lemma in reference [83], we find that \(f(X(t))\) satisfies a local Lipschitz condition with respect to X in \(\mathbb{R}^{2}_{+}\). Therefore, by Remark 3.8 in Ref. [82], fractional order model (3) has a unique solution in \(\mathbb{R}^{2}_{+}\).
A requirement for the biological significance of the model, that the solution is nonnegative for \(t>t_{0} \) if the initial solution of model (3) starts in \(\mathbb{R}^{2}_{+}\), will be considered in the next subsection.
Nonnegative solution
Theorem 3.1
If \(x(t_{0})\geq 0\) and \(y(t_{0})\geq 0\), then the solution \(X ( t ) \) of model (3) remains in \(\mathbb{R} ^{2}_{+}\).
Proof
This theorem is proved by contradiction.
Let \(X_{0}=\bigl( {\scriptsize\begin{matrix}{} x_{0} \cr y_{0} \end{matrix}} \bigr) \in \mathbb{R}^{2}_{+}\), and \(X(t)\) for \(t\geq t_{0}\) be the solution of model (3).
Suppose there exists a solution \(X(t)\) that moves away from \(\mathbb{R}^{2}_{+}\). Then there are two possibilities: it passes through either the xaxis or yaxis. The proof will be divided into these two cases.
Case 1: If solution \(X(t)\) passes through the xaxis, then there exists \(t^{*}\geq t_{0}\) such that \(y(t^{*})=0\) and \(x(t^{*})>0\). Moreover, there exists \(t_{1}>t^{*}\) such that \(t_{1}\) is sufficiently close to \(t^{*}\), \(y(t)<0\), and \(x(t)>0\) for all \(t\in (t^{*},t_{1}]\). From model (3), we have \({}^{C}_{t_{0}}D^{\alpha }_{t}y=\frac{px ^{2}y}{x^{2}+a^{2}}cy\) and it follows that
Since \(y(t)<0\), \(p>\frac{px^{2}(t)}{x^{2}(t)+a^{2}}\), and inequality (4) holds, we obtain
Applying the Laplace transform to both sides of inequality (5) yields
where \(Y(\mathfrak{s})=\mathcal{L}\{y(t)\}(\mathfrak{s})\).
Applying the inverse Laplace transform to both sides of inequality (6) gives
Since \(y(t_{0})\geq 0\) and inequality (7) holds in this case, we have \(y(t)>0\) for all \(t\in (t^{*},t_{1}]\), which contradicts \(y(t)<0\) for all \(t\in (t^{*},t_{1}]\).
Case 2: If solution \(X(t)\) passes through the yaxis, then there exists \(t^{*}\geq t_{0}\) such that \(x(t^{*})=0\) and \(y(t^{*})>0\). Additionally, there exists \(t_{1}>t^{*}\) such that \(t_{1}\) is sufficiently close to \(t^{*}\), \(x(t)<0\), and \(y(t)>0\) for all \(t\in (t^{*},t_{1}]\). From model (3), we have \({}^{C}_{t _{0}}D^{\alpha }_{t}x=r ( 1\frac{x}{K} ) (xm)x\frac{sx ^{2}}{x^{2}+a^{2}}y\), which leads to
From the second equation of model (3), we have
Taking the Laplace transform of both sides of the above inequality and then applying the inverse Laplace transform, we get
Thus, \(y(t) < M \) for some \(M \geq 0 \) and \(t\in (t^{*},t_{1}] \). From inequality (8) and the above result, we obtain
Since \(t_{1}\) is sufficiently near \(t^{*}\), we have an \(x(t)\) that is close to 0 for all \(t\in (t^{*},t_{1}]\). Thus, \(x^{2}(t)>x(t)\) and then
Taking the Laplace transform of both sides of inequality (9) and then applying the inverse Laplace transform give
However, since \(x(t_{0})\geq 0\) and inequality (10) holds, \(x(t)>0\) for all \(t\in (t^{*},t_{1}]\), which contradicts \(x(t)<0\) for all \(t\in (t^{*},t_{1}]\).
Considering both Case 1 and Case 2, we conclude that the solution of model (3) remains in \(\mathbb{R}^{2}_{+}\) if the initial solution starts in this region. □
Main results
Equilibrium points and stability analysis
According to Definition 2.4, an equilibrium point of model (3) is obtained by solving the following equations:
that is,
We have the following four equilibrium points:

(i)
the extinction equilibrium point: \(E_{0}=(0,0)\),

(ii)
the predatorfree equilibrium points: \(E_{1}=(m,0)\) and \(E_{2}=(K,0)\),

(iii)
the coexistence equilibrium point: \(E_{3}=(x^{*},y^{*})\), where
$$\begin{aligned} x^{*}=\sqrt{\frac{ca^{2}}{pc}} \quad \textrm{and}\quad y^{*}=\frac{r}{sx^{*}} \biggl( 1\frac{x^{*}}{K} \biggr) \bigl(x^{*}m\bigr) \bigl(x^{*^{2}}+a ^{2}\bigr). \end{aligned}$$(11)
Since the populations of prey and predator are nonnegative, equilibrium point \(E_{3}=(x^{*},y^{*})\) exists whenever \({p>c}\).
Next the local stability of the equilibrium points is analyzed using the linearization method. The Jacobian matrix of model (3) evaluated at point \((x,y)\) is given by
where \(G(x,y)=x [ r ( 1\frac{2xm}{K} ) \frac{s(a^{2}x ^{2})}{(x^{2}+a^{2})^{2}}y ] + [ r ( 1\frac{x}{K} ) (xm)\frac{sx}{x ^{2}+a^{2}}y ] \).
By using Theorems 2.5 and 2.6, we obtain the stabilities of the four equilibrium points, which are discussed in the following theorems.
Theorem 4.1
Equilibrium point \(E_{0}=(0,0)\) of model (3) is locally asymptotically stable.
Proof
From Eq. (12), the Jacobian matrix of model (3) evaluated at equilibrium point \(E_{0}=(0,0)\) is given by
Hence, the eigenvalues of \(J(0,0)\) are \(\lambda_{1}=rm<0\) and \(\lambda_{2}=c<0\). Consequently, \(\arg (\lambda_{1})=\arg (\lambda _{2})=\pi \), which leads to \(\vert \arg (\lambda_{1}) \vert > \frac{\alpha \pi }{2}\) and \(\vert \arg (\lambda_{2}) \vert > \frac{\alpha \pi }{2}\) for \(0<\alpha <1\).
Therefore, by Theorem 2.6, we conclude that equilibrium point \(E_{0}=(0,0)\) is locally asymptotically stable. □
Theorem 4.2
Equilibrium point \(E_{1}=(m,0)\) of model (3) is unstable and is a saddle point if \(\frac{(pc)m^{2}}{ca^{2}}<1\).
Proof
From Eq. (12), the Jacobian matrix of model (3) evaluated at equilibrium point \(E_{1}=(m,0)\) is given by
Hence, the eigenvalues of \(J(m,0)\) are \(\lambda_{1}=rm ( 1 \frac{m}{K} ) \) and \(\lambda_{2}=\frac{pm^{2}}{m^{2}+a^{2}}c\). Since \(m< K\), we have \(\lambda_{1}>0\). Then \(\arg (\lambda_{1})=0\), which satisfies the condition \(\vert \arg (\lambda_{1}) \vert <\frac{\alpha \pi }{2}\). By using Theorem 2.6, equilibrium point \(E_{1}=(m,0)\) is unstable.
If \(\frac{(pc)m^{2}}{ca^{2}}<1\), then \(\lambda_{2}<0\). Hence, \(\arg (\lambda_{2})=\pi \), which results in \(\vert \arg (\lambda_{2}) \vert >\frac{ \alpha \pi }{2}\).
According to Theorem 2.5, equilibrium point \(E_{1}=(m,0)\) is a saddle point if \(\frac{(pc)m^{2}}{ca^{2}}<1\). □
Theorem 4.3
Equilibrium point \(E_{2}=(K,0)\) of model (3) is a saddle point if \(\frac{(pc)K^{2}}{ca^{2}}>1\) and is locally asymptotically stable if \(\frac{(pc)K^{2}}{ca^{2}}<1\).
Proof
By using Eq. (12), the Jacobian matrix of model (3) evaluated at equilibrium point \(E_{2}=(K,0)\) is given by
Hence, the eigenvalues of \(J(K,0)\) are \(\lambda_{1}=r ( Km ) \) and \(\lambda_{2}=\frac{pK^{2}}{K^{2}+a^{2}}c\). We have \(\lambda_{1}<0\) because \(m< K\). Hence, \(\arg (\lambda_{1})=\pi \) leading to \(\vert \arg ( \lambda_{1}) \vert >\frac{\alpha \pi }{2}\). If \(\frac{(pc)K^{2}}{ca ^{2}}>1\), then \(\lambda_{2}>0\). Thus, \(\arg (\lambda_{2})=0\), which results in \(\vert \arg (\lambda_{2}) \vert <\frac{\alpha \pi }{2}\). On the other hand, if \(\frac{(pc)K^{2}}{ca^{2}}<1\), then \(\lambda_{2}<0\). Then \(\arg (\lambda_{2})=\pi \), which satisfies \(\vert \arg (\lambda_{2}) \vert >\frac{ \alpha \pi }{2}\).
Therefore, by Theorem 2.5 and 2.6, equilibrium point \(E_{2}=(K,0)\) is a saddle point if \(\frac{(pc)K^{2}}{ca^{2}}>1\) and is locally asymptotically stable if \(\frac{(pc)K^{2}}{ca^{2}}<1\). □
Theorem 4.4
Equilibrium point \(E_{3}=(x^{*},y^{*})\) of model (3) is locally asymptotically stable if one of the following conditions holds:

(i)
\(\operatorname {tr}( J ( x^{*},y^{*} ) ) \leq 0\).

(ii)
\(\operatorname {tr}( J ( x^{*},y^{*} ) ) >0\), \(\operatorname {tr}^{2} ( J ( x^{*},y^{*} ) ) 4\det ( J ( x^{*},y^{*} ) ) <0\), and \(\vert \operatorname {tr}^{2} ( J ( x^{*},y^{*} ) ) 4 \det ( J ( x^{*},y^{*} ) ) \vert ^{1/2}>\operatorname {tr}( J ( x^{*},y^{*} ) ) \tan ( \frac{\alpha \pi }{2} ) \).
Proof
By using Eq. (12), the Jacobian matrix of model (3) evaluated at equilibrium point \(E_{3}=(x^{*},y^{*})\) is given by
where \(G(x^{*},y^{*})=x^{*} [ r ( 1\frac{2x^{*}m}{K} ) \frac{s(a ^{2}x^{*^{2}})}{(x^{*^{2}}+a^{2})^{2}}y^{*} ] \).
Then the determinant and trace, respectively, of the Jacobian matrix \(J(x^{*},y^{*})\) are
and
Thus, the eigenvalues of \(J(x^{*},y^{*})\) are written as
(i) Assume that \(\operatorname {tr}( J ( x^{*},y^{*} ) ) \leq 0\). The proof will be divided into three cases.
Case 1: If \(\operatorname {tr}( J ( x^{*},y^{*} ) ) =0\), then, by Eq. (15), we obtain a pair of complex conjugate eigenvalues \(\lambda_{1}\) and \(\lambda_{2}=\bar{\lambda_{1}}\). Since \(\operatorname {Re}(\lambda_{1})=\operatorname {Re}(\lambda_{2})=\operatorname {tr}( J ( x^{*},y^{*} ) ) =0\), we have \(\arg (\lambda_{1})=\frac{ \pi }{2}\) and \(\arg (\lambda_{2})=\frac{\pi }{2}\) leading to \(\vert \arg (\lambda_{1}) \vert >\frac{\alpha \pi }{2}\) and \(\vert \arg (\lambda_{2}) \vert >\frac{ \alpha \pi }{2}\).
By Theorem 2.6, equilibrium point \(E_{3}=(x^{*},y^{*})\) is locally asymptotically stable.
Case 2: If \(\operatorname {tr}( J ( x^{*},y^{*} ) ) <0\) and \(\operatorname {tr}^{2} ( J ( x^{*},y^{*} ) ) 4\det ( J ( x^{*},y^{*} ) ) \geq 0\), then according to Eq. (15), the eigenvalues of \(J(x^{*},y^{*})\) are \(\lambda_{1}<0\) and \(\lambda_{2}<0\). Consequently, we obtain the condition \(\vert \arg ( \lambda_{1}) \vert >\frac{\alpha \pi }{2}\) and \(\vert \arg (\lambda_{2}) \vert >\frac{ \alpha \pi }{2}\).
Hence, by Theorem 2.6, the equilibrium point \(E_{3}=(x^{*},y ^{*})\) is locally asymptotically stable.
Case 3: If \(\operatorname {tr}( J ( x^{*},y^{*} ) ) <0\) and \(\operatorname {tr}^{2} ( J ( x^{*},y^{*} ) ) 4\det ( J ( x^{*},y^{*} ) ) <0\), then, by Eq. (15), we obtain a pair of complex conjugate eigenvalues \(\lambda_{1}\) and \(\lambda_{2}=\bar{\lambda_{1}}\). Since \(\operatorname {tr}( J ( x^{*},y ^{*} ) ) <0\), we have \(\operatorname {Re}(\lambda_{1})= \operatorname {Re}(\lambda_{2})=\operatorname {tr}( J ( x^{*},y^{*} ) ) <0\). Thus, \(\vert \arg (\lambda_{1}) \vert >\frac{\alpha \pi }{2}\) and \(\vert \arg (\lambda _{2}) \vert >\frac{\alpha \pi }{2}\).
Therefore, by Theorem 2.6, equilibrium point \(E_{3}=(x^{*},y ^{*})\) is locally asymptotically stable.
By considering Case 1, Case 2, and Case 3, we conclude that equilibrium point \(E_{3}=(x^{*},y^{*})\) is locally asymptotically stable if \(\operatorname {tr}( J ( x^{*},y^{*} ) ) \leq 0\).
(ii) Assume that \(\operatorname {tr}( J ( x^{*},y^{*} ) ) >0\), \(\operatorname {tr}^{2} ( J ( x^{*},y^{*} ) ) 4\det ( J ( x^{*},y^{*} ) ) <0\) and \(\vert \operatorname {tr}^{2} ( J ( x ^{*},y^{*} ) ) 4\det ( J ( x^{*},y^{*} ) ) \vert ^{1/2}> \operatorname {tr}( J ( x^{*},y^{*} ) ) \tan ( \frac{ \alpha \pi }{2} ) \). By Eq. (15), we have a pair of complex conjugate eigenvalues \(\lambda_{1}\) and \(\lambda_{2}= \bar{\lambda_{1}}\) such that \(\operatorname {Im}(\lambda_{1})= \operatorname {Im}(\lambda_{2})={ [ 4\det ( J(x^{*},y^{*}) ) \operatorname {tr}^{2} ( J(x^{*},y^{*}) ) ] }^{1/2}>0\) and \(\operatorname {Re}(\lambda_{1})=\operatorname {Re}(\lambda_{2})= \operatorname {tr}( J(x^{*},y^{*}) ) >0\). From the assumptions, we obtain \(\operatorname {Im}(\lambda_{1})>\operatorname {Re}(\lambda _{1})\tan ( \frac{\alpha \pi }{2} ) \) and \(\operatorname {Im}( \lambda_{2})>\operatorname {Re}(\lambda_{2})\tan ( \frac{\alpha \pi }{2} ) \). These imply that \(\frac{\alpha \pi }{2}<\arg ( \lambda_{1})<\frac{\pi }{2}\) and \(\frac{\pi }{2}<\arg (\lambda_{2})<\frac{ \alpha \pi }{2}\), which satisfy the conditions \(\vert \arg (\lambda_{1}) \vert >\frac{ \alpha \pi }{2}\) and \(\vert \arg (\lambda_{2}) \vert >\frac{\alpha \pi }{2}\), respectively.
According to Theorem 2.6, equilibrium point \(E_{3}=(x^{*},y ^{*})\) is locally asymptotically stable. □
Theorem 4.5
Equilibrium point \(E_{3}=(x^{*},y^{*})\) of model (3) is unstable if one of the following conditions holds:

(i)
\(\operatorname {tr}^{2} ( J ( x^{*},y^{*} ) ) 4 \det ( J ( x^{*},y^{*} ) ) \geq 0\) and \(\operatorname {tr}( J ( x^{*},y^{*} ) ) >0\).

(ii)
\(\operatorname {tr}^{2} ( J ( x^{*},y^{*} ) ) 4 \det ( J ( x^{*},y^{*} ) ) <0\), \(\operatorname {tr}( J ( x^{*},y^{*} ) ) >0\), and \(\vert \operatorname {tr}^{2} ( J ( x^{*},y^{*} ) ) 4 \det ( J ( x^{*},y^{*} ) ) \vert ^{1/2}<\operatorname {tr}( J ( x^{*},y^{*} ) ) \tan ( \frac{\alpha \pi }{2} ) \).
Proof
(i) Assume that \(\operatorname {tr}^{2} ( J ( x^{*},y^{*} ) ) 4 \det ( J ( x^{*},y^{*} ) ) \geq 0\) and \(\operatorname {tr}( J ( x^{*},y^{*} ) ) >0\). From Eq. (13) in Theorem 4.4, we have \(\det (J(x^{*},y^{*}))>0\). Then, by Eq. (15), we obtain \(\lambda_{1}>0\) and \(\lambda _{2}>0\), which lead to \(\vert \arg (\lambda_{1}) \vert <\frac{\alpha \pi }{2}\) and \(\vert \arg (\lambda_{2}) \vert <\frac{\alpha \pi }{2}\).
Hence, by Theorem 2.6, the equilibrium point \(E_{3}=(x^{*},y ^{*})\) is unstable.
(ii) Assume that \(\operatorname {tr}^{2} ( J ( x^{*},y^{*} ) ) 4 \det ( J ( x^{*},y^{*} ) ) <0\), \(\operatorname {tr}( J ( x^{*},y^{*} ) ) >0\), and \(\vert \operatorname {tr}^{2} ( J ( x^{*},y^{*} ) ) 4\det ( J ( x^{*},y^{*} ) ) \vert ^{1/2}<\operatorname {tr}( J ( x ^{*},y^{*} ) ) \tan ( \frac{\alpha \pi }{2} ) \). From Eq. (15), we obtain a pair of complex conjugate eigenvalues \(\lambda_{1}\) and \(\lambda_{2}=\bar{\lambda_{1}}\) such that \(\operatorname {Im}(\lambda_{1})=\operatorname {Im}(\lambda_{2})= [ 4 \det ( J(x^{*},y^{*}) ) \operatorname {tr}^{2} ( J(x^{*}, y ^{*}) ) ] ^{1/2}>0\) and \(\operatorname {Re}(\lambda_{1})= \operatorname {Re}(\lambda_{2})=\operatorname {tr}( J(x^{*},y^{*}) ) >0\). By the assumptions, we obtain \(\operatorname {Im}(\lambda_{1})<\operatorname {Re}(\lambda_{1})\tan ( \frac{ \alpha \pi }{2} ) \) and \(\operatorname {Im}(\lambda_{2})< \operatorname {Re}(\lambda_{2})\tan ( \frac{\alpha \pi }{2} ) \). These imply that \(0<\arg (\lambda_{1})<\frac{\alpha \pi }{2}\) and \(\frac{\alpha \pi }{2}<\arg (\lambda_{2})<0\), then \(\vert \arg (\lambda _{1}) \vert <\frac{\alpha \pi }{2}\) and \(\vert \arg (\lambda_{2}) \vert <\frac{\alpha \pi }{2}\).
Therefore, by Theorem 2.6, equilibrium point \(E_{3}=(x^{*},y ^{*})\) is unstable. □
Existence of a Hopf bifurcation
A Hopf bifurcation occurs when a system has a pair of complex conjugate eigenvalues of the Jacobian matrix at an equilibrium point and when the stability of the equilibrium point changes from stable to unstable as a bifurcation parameter crosses a critical value [84, 85]. From the results of Sect. 4.1, we observe that the order of derivatives has an effect on the stability of model (3). Thus, we can choose the order to be the bifurcation parameter. The conditions for existence of a Hopf bifurcation in a fractional order system are different from integer order systems. There are some studies that considered the existence of Hopf bifurcations in fractional order systems [86, 87]. In this study, we use the conditions for the existence of a Hopf bifurcation which were introduced by Xiang Li and Ranchao Wu [87]. The conditions for the existence are modified for our system as given below.
Theorem 4.6
([87]; Existence of Hopf bifurcation)
When bifurcation parameter α passes through the critical value \(\alpha^{*}\in (0,1)\), fractional order system (3) undergoes a Hopf bifurcation at the equilibrium point if the following conditions hold:

(a)
the Jacobian matrix of the system (3) at the equilibrium point has a pair of complex conjugate eigenvalues \(\lambda_{1,2}=\theta \pm i\omega \), where \(\theta >0\);

(b)
\(m(\alpha^{*})=0 \), where \(m(\alpha )= \frac{\alpha \pi }{2}\min_{1\leq i\leq 2} \vert \arg (\lambda_{i}) \vert \);

(c)
\(\frac{dm(\alpha )}{d\alpha } _{\alpha =\alpha^{*}}\neq 0 \).
Remark 1
Condition (b) indicates that \(\alpha^{*}\) is the switching point of stability and condition (c) guarantees that \(m(\alpha )\) can change sign when the bifurcation parameter α passes through the critical value \(\alpha^{*}\) [87].
We then establish the conditions for the existence of a Hopf bifurcation at the positive equilibrium point as the order of derivatives crosses a critical value. The result is presented as the following theorem.
Theorem 4.7
Model (3) undergoes a Hopf bifurcation at equilibrium point \(E_{3}=(x^{*},y^{*})\) when bifurcation parameter α passes through the critical value \(\alpha^{*}=\frac{2}{\pi }\arctan [ ( \vert \operatorname {tr}^{2} ( J(x^{*}, y^{*}) ) 4\det ( J(x^{*},y^{*}) ) \vert ^{1/2})/( \operatorname {tr}( J(x^{*},y^{*}) ) ) ] \) if \(\operatorname {tr}^{2} ( J ( x^{*},y^{*} ) ) 4\det ( J ( x^{*},y^{*} ) ) <0 \) and \(\operatorname {tr}( J ( x^{*}, y^{*} ) ) >0\).
Proof
Assume that \(\operatorname {tr}^{2} ( J ( x^{*},y^{*} ) ) 4 \det ( J ( x^{*},y^{*} ) ) <0\), \(\operatorname {tr}( J ( x^{*},y^{*} ) ) >0\), and the critical value \(\alpha^{*}=\frac{2}{\pi }\arctan [ \frac{ \vert \operatorname {tr}^{2} ( J(x^{*},y^{*}) ) 4\det ( J(x^{*},y^{*}) ) \vert ^{1/2}}{ \operatorname {tr}( J(x^{*},y^{*}) ) } ] \).
Define \(\theta =\frac{1}{2}\operatorname {tr}(J(x^{*},y^{*}))\) and \(\omega =\frac{1}{2} \vert \operatorname {tr}^{2} ( J(x^{*},y^{*}) ) 4 \det ( J(x^{*},y^{*}) ) \vert ^{1/2}\). By the second assumption, we have \(\theta >0\). According to the first assumption and Eq. (15), we have a pair of complex conjugate eigenvalues \(\lambda_{1,2}=\theta \pm i\omega \), with \(\theta >0\). Hence, condition (a) in Theorem 4.6 holds.
From the second assumption and \(m(\alpha )=\frac{\alpha \pi }{2} \min_{1\leq i\leq 2} \vert \arg (\lambda_{i}) \vert \), we obtain
Then condition (b) in Theorem 4.6 holds.
Finally, from the definition of \(m(\alpha )\), we have
This implies that condition (c) holds.
Therefore, from Theorem 4.6, model (3) undergoes a Hopf bifurcation at equilibrium point \(E_{3}=(x^{*},y^{*})\) when bifurcation parameter α passes through the critical value \(\alpha^{*}\). □
Numerical simulations
In this section, we present numerical examples and simulate model (3) to illustrate the results of Sect. 4. However, we only show the numerical examples for the coexistence equilibrium point. There are many numerical methods for solving nonlinear fractional differential equations such as the predictorcorrector method [15, 88], Adomian decomposition method [16], variational iteration method [17], and Adams method [89]. However, the Adams method is often used for solving nonlinear fractional differential equations [90–92] and is useful for studying the dynamic behavior (especially long time behavior) of the solutions [45]. Thus, in this study, the Adams method is used to solve model (3) by the Matlab software.
The goals of the numerical simulations are to identify the effects of different parameter values and of variations of the derivative order α on the dynamic behavior of the model (3). The discussion of these effects is divided into the two following subsections.
The effect of different parameter values
We assign three different sets of parameters. In each set, we calculate the coexistence equilibrium point \(E_{3}=(x^{*},y^{*})\) of the model by using Eq. (11). With these parameters, the determinant and trace of the Jacobian matrix \(J(x^{*},y^{*})\) are calculated by using Eqs. (13) and (14).
In Fig. 1, we set the parameters in the model as \(s=236\), \(r=4\), \(K=100\), \(m=1\), \(a=60\), \(p=4\), and \(c=2\). With these parameters, the coexistence equilibrium point is \(E_{3}=(60,48)\). We obtain \(\operatorname {tr}( J(60,48) ) =45.6<0\), which satisfy sufficient condition (i) in Theorem 4.4. According to Theorem 4.4, equilibrium point \(E_{3}=(60,48)\) is locally asymptotically stable, which implies that a trajectory converges to equilibrium point \(E_{3}=(60,48)\) if the initial conditions start close enough to this equilibrium as shown in Fig. 1. The dynamic behaviors of interacting prey (x) and predator (y) for the order \(\alpha =0.7\) with the initial values \((x_{0},y_{0})=(50,40),(50,55),(75,55),(80,45) \) are shown in Fig. 1(a). For comparison, the relationships of the two species for \(\alpha =0.9\) with \((x_{0},y_{0})=(51,45),(53,48),(75,50),(70,47) \) are shown in Fig. 1(b).
In Fig. 2, we set \(s=156\), \(r=3\), \(K=100\), \(m=1\), \(a=40\), \(p=4\), and \(c=2\). The coexistence equilibrium point for these parameters is \(E_{3}=(40,36)\) and we obtain \(\det ( J(40,36) ) =140.4\) and \(\operatorname {tr}( J(40,36) ) =25.2\). The result satisfies the sufficient condition (i) in Theorem 4.5 because \(\operatorname {tr}( J(40,36) ) >0\) and \(\operatorname {tr}^{2} ( J(40,36) ) 4 \det ( J(40,36) ) =73.44>0\). Therefore, according to Theorem 4.5, equilibrium point \(E_{3}=(40,36)\) is unstable, which implies that all the trajectories diverge from this equilibrium point as shown in Fig. 2. Figure 2(a) shows the simulation for the order \(\alpha =0.4\) with the initial values \((x_{0},y_{0})=(41,35),(37,36.5),(35.5,35.5),(42,36)\). For comparison, Fig. 2(b) shows the dynamic behavior for \(\alpha =0.85\) with \((x_{0},y_{0})=(40,35) ,(40,37),(38,36),(42,36)\).
The simulations presented in the two figures above indicate that the stability of the equilibrium points does not depend on the order \(\alpha \in (0,1)\). This result is consistent with the theorems in the previous section.
In Fig. 3, we set \(s=102\), \(r=8\), \(K=100\), \(m=3\), \(a=51\), \(p=2\), and \(c=1\) as parameters in the model, then the coexistence equilibrium point is \(E_{3}=(51,188.16)\). We obtain \(\det ( J(51,188.16) ) =188.16\) and \(\operatorname {tr}( J(51,188.16) ) =4.08>0\), which lead to \(\operatorname {tr}^{2} ( J(51,188.16) ) 4\det ( J(51,188.16) ) =735.99<0\). Since the order α appears in condition (ii) of Theorem 4.4 and 4.5, the stability of equilibrium point \(E_{3}=(51,188.16)\) is dependent on the value of the order \(\alpha \in (0,1)\). For order \(\alpha =0.75\), we get \(\vert \operatorname {tr}^{2} ( J ( 51,188.16 ) ) 4\det ( J ( 51,188.16 ) ) \vert ^{1/2}> \operatorname {tr}( J ( 51,188.16 ) ) \tan ( \frac{0.75 \pi }{2} ) \). According to Theorem 4.4, equilibrium point \(E_{3}=(51,188.16)\) is locally asymptotically stable as shown in Fig. 3(a). In addition, if order \(\alpha =0.95\), then \(\vert \operatorname {tr}^{2} ( J ( 51,188.16 ) ) 4\det ( J ( 51,188.16 ) ) \vert ^{1/2}< \operatorname {tr}( J ( 51,188.16 ) ) \tan ( \frac{0.95 \pi }{2} ) \). According to Theorem 4.5, equilibrium point \(E_{3}=(51,188.16)\) is unstable, which is shown in Fig. 3(b). These simulations are run with the initial values \((x_{0},y_{0})=(51,189),(51,187), (50,188.16),(52,188.16)\).
The simulation results in Fig. 3 indicate that the order α of model (3) has an effect on the stability of equilibrium point \(E_{3}\). Next, we demonstrate how the order α can cause a Hopf bifurcation at \(E_{3}\) for model (3).
The effect of varying the order α
We choose parameters in model (3) as \(s=0.56\), \(r=0.02\), \(K=100\), \(m=2\), \(a=30\), \(p=1\), and \(c=0.5\). By using Eq. (11) with these parameters, the coexistence equilibrium point is found to be \(E_{3}=(30,42)\). It follows from Eqs. (13) and (14) that \(\det ( J(30,42) ) =0.2\) and \(\operatorname {tr}( J(30,42) ) =0.25\), respectively. We obtain \(\operatorname {tr}^{2} ( J(30,42) ) 4\det ( J(30,42) ) =0.72<0\) and the critical value in Theorem 4.7 is \(\alpha^{*}=\frac{2}{\pi } \arctan ( \frac{ \vert 0.72 \vert ^{1/2}}{0.25} ) =0.817\). We simulate model (3) by using the above parameters with initial values \((x_{0},y_{0})=(35,45)\) and setting the derivative order \(\alpha =0.79, 0.80, 0.83\), and 0.95. The simulation results are shown in Fig. 4.
In Figs. 4(a) and 4(b), numerical simulations are shown for the orders \(\alpha =0.79\) and \(\alpha =0.80\), respectively, in which both values satisfy \(\alpha <\alpha^{*}\). By using these orders and the parameters which are specified above, condition (ii) in Theorem 4.4 is satisfied. Consequently, equilibrium point \(E_{3}=(30,42)\) is locally asymptotically stable. Figures 4(a) and 4(b) show that the trajectory converges to equilibrium point \(E_{3}=(30,42)\).
However, if we use \(\alpha =0.83\) and \(\alpha =0.95\) in which both values satisfy \(\alpha >\alpha^{*}\), then, according to Theorem 4.5, equilibrium point \(E_{3}=(30,42)\) is unstable. The simulation results indicate that the trajectory diverges from equilibrium point \(E_{3}\), which is shown in Figs. 4(c) and 4(d) for the orders \(\alpha =0.83\) and \(\alpha =0.95\), respectively.
The above results indicate that equilibrium point \(E_{3}=(30,42)\) loses its stability when the order α is increased to pass through the critical value \(\alpha^{*}\), which implies that a Hopf bifurcation occurs. This result is consistent with Theorem 4.7.
In addition, Figs. 4(c) and 4(d) illustrate the appearance of an attracting limit cycle of model (3). In further simulations, we use the same set of parameters as in Fig. 4, but we change the initial values to \((x_{0},y_{0})=(28,40)\) and \((100,120)\) and the derivative orders to \(\alpha =0.9\) and 0.99. The simulations reveal that there exists an attracting limit cycle of model (3) as shown in Fig. 5(a) for \(\alpha =0.9\) and Fig. 5(b) for \(\alpha =0.99\). However, the authors of studies in Refs. [93–95] suggest that exact periodic solutions do not exist for fractional order differential equations systems. Therefore, the limit cycle appearing in Fig. 4 and Fig. 5 cannot be an exact periodic solution of model (3).
Conclusions
In this paper, we have studied the dynamic behavior of a fractional Gausstype predator–prey model with Allee effect and Holling typeIII functional response. The model was constructed by starting with the first order model as shown in Eq. (1). We showed the existence and uniqueness of a nonnegative solution of the model. We used the linearization method to classify the local stability of the three types of equilibrium points. In addition, we obtained the conditions and critical value \(\alpha^{*}\) for occurrence of a Hopf bifurcation at the positive equilibrium point. Finally, numerical simulations were used to show the dynamic behavior of interaction between prey and predator and to verify the validity of the theoretical results. The simulation results illustrated that the order α is a factor affecting the dynamic behavior and is responsible for a Hopf bifurcation. Moreover, the numerical results showed the appearance of an attracting limit cycle of model (3). However, this limit cycle cannot be an exact periodic solution of the model.
References
 1.
Petráš, I.: FractionalOrder Nonlinear Systems: Modeling, Analysis and Simulation. Springer, Heidelberg (2011). https://doi.org/10.1007/9783642181016
 2.
Battaglia, J.L., Cois, O., Puigsegur, L., Oustaloup, A.: Solving an inverse heat conduction problem using a noninteger identified model. Int. J. Heat Mass Transf. 44(14), 2671–2680 (2001). https://doi.org/10.1016/S00179310(00)003100
 3.
Mainardi, F.: Fractional Calculus and Waves in Linear Viscoelasticity: An Introduction to Mathematical Models. Imperial College Press, London (2010)
 4.
Obembe, A.D., AlYousef, H.Y., Hossain, M.E., AbuKhamsin, S.A.: Fractional derivatives and their applications in reservoir engineering problems: a review. J. Pet. Sci. Eng. 157, 312–327 (2017). https://doi.org/10.1016/j.petrol.2017.07.035
 5.
Mainardi, F.: Fractional calculus: some basic problems in continuum and statistical mechanics. In: Fractals Fract. Calc. Contin. Mech, vol. 378, pp. 291–348. Springer, Berlin (2012)
 6.
Atanackovic, T.M., Pilipovic, S., Stankovic, B., Zorica, D.: Fractional Calculus with Applications in Mechanics: Vibrations and Diffusion Processes. Wiley, New York (2014). https://doi.org/10.1002/9781118577530
 7.
Hilfer, R.: Applications of Fractional Calculus in Physics. World Scientific, Singapore (2000)
 8.
El Amin, M.F., Radwan, A.G., Sun, S.: Analytical solution for fractional derivative gasflow equation in porous media. Results Phys. 7, 2432–2438 (2017). https://doi.org/10.1016/j.rinp.2017.06.051
 9.
Tlacuahuac, A.F., Biegler, L.T.: Optimization of fractional order dynamic chemical processing systems. Ind. Eng. Chem. Res. 53(13), 5110–5127 (2014). https://doi.org/10.1021/ie401317r
 10.
Singh, J., Kumar, D., Baleanu, D.: On the analysis of chemical kinetics system pertaining to a fractional derivative with MittagLeffler type kernel. Chaos, Interdiscip. J. Nonlinear Sci. 27(10), 103–113 (2017). https://doi.org/10.1063/1.4995032
 11.
Magin, R.L.: Fractional Calculus in Bioengineering. Begell House, West Redding (2006)
 12.
Srivastava, V.K., Kumar, S., Awasthi, M.K., Singh, B.K.: Twodimensional time fractionalorder biological population model and its analytical solution. Egypt. J. Basic Appl. Sci. 1(1), 71–76 (2014). https://doi.org/10.1016/j.ejbas.2014.03.001
 13.
ElShahed, M., Ahmed, A.M., Abdelstar, I.M.: Dynamics of a plantherbivore model with fractional order. Prog. Fract. Differ. Appl. 3(1), 59–67 (2017). https://doi.org/10.18576/pfda/030106
 14.
Almeida, R., Bastos, N.R.O., Monteiro, M.T.T.: Modeling some real phenomena by fractional differential equations. Math. Methods Appl. Sci. 39(16), 4846–4855 (2016). https://doi.org/10.1002/mma.3818
 15.
Bhalekar, S.A.C.H.I.N., DaftardarGejji, V.A.R.S.H.A.: A predictorcorrector scheme for solving nonlinear delay differential equations of fractional order. J. Fract. Calc. Appl. 1(5), 1–9 (2011)
 16.
Jafari, H., DaftardarGejji, V.: Solving a system of nonlinear fractional differential equations using Adomian decomposition. J. Comput. Appl. Math. 196(2), 644–651 (2006). https://doi.org/10.1016/j.cam.2005.10.017
 17.
Wu, G.: A fractional variational iteration method for solving fractional nonlinear differential equations. Comput. Math. Appl. 61(8), 2186–2190 (2011). https://doi.org/10.1016/j.camwa.2010.09.010
 18.
Salgado, G.H.O., Aguirre, L.A.: A hybrid algorithm for Caputo fractional differential equations. Commun. Nonlinear Sci. Numer. Simul. 33, 133–140 (2016). https://doi.org/10.1016/j.cnsns.2015.08.024
 19.
Kumar, A., Kumar, S.: A modified analytical approach for fractional discrete KdV equations arising in particle vibrations. Proc. Natl. Acad. Sci. India Sect. A Phys. Sci., 1–12 (2017). https://doi.org/10.1007/s4001001703692
 20.
Jafari, H., Nazari, M., Baleanu, D., Khalique, C.M.: A new approach for solving a system of fractional partial differential equations. Comput. Math. Appl. 66(5), 838–843 (2013). https://doi.org/10.1016/j.camwa.2012.11.014
 21.
Ren, J., Sun, Z.Z., Dai, W.: New approximations for solving the Caputotype fractional partial differential equations. Appl. Math. Model. 40(4), 2625–2636 (2016). https://doi.org/10.1016/j.apm.2015.10.011
 22.
Kumar, A., Kumar, S., Sheng, Y.P.: Residual power series method for fractional diffusion equations. Fundam. Inform. 151(1–4), 213–230 (2017). https://doi.org/10.3233/FI20171488
 23.
Anastassiou, G.A., Argyros, I.K., Kumar, S.: Monotone convergence of extended iterative methods and fractional calculus with applications. Fundam. Inform. 151(1–4), 241–253 (2017). https://doi.org/10.3233/FI20171490
 24.
Xing, Y., Yan, Y.: A higher order numerical method for time fractional partial differential equations with nonsmooth data. J. Comput. Phys. (2018). https://doi.org/10.1016/j.jcp.2017.12.035
 25.
Kumar, K., Pandey, R.K., Sharma, S.: Approximations of fractional integrals and Caputo derivatives with application in solving Abel’s integral equations. J. King Saud Univ., Sci. (2018). https://doi.org/10.1016/j.jksus.2017.12.017
 26.
Fan, W., Liu, F., Jiang, X., Turner, I.: Some novel numerical techniques for an inverse problem of the multiterm time fractional partial differential equation. J. Comput. Appl. Math. (2018). https://doi.org/10.1016/j.cam.2017.12.034
 27.
Cuevas, C., Henríquez, H.R., Soto, H.: Asymptotically periodic solutions of fractional differential equations. Appl. Math. Comput. 236, 524–545 (2014). https://doi.org/10.1016/j.amc.2014.03.037
 28.
Wang, D., Xia, Z.: Pseudo almost automorphic solution of semilinear fractional differential equations with the Caputo derivatives. Fract. Calc. Appl. Anal. 18(4), 951–971 (2015). https://doi.org/10.1515/fca20150056
 29.
Yan, L., Yu, X., Sun, X.: Asymptotic behavior of the solution of the fractional heat equation. Stat. Probab. Lett. 117, 54–61 (2016). https://doi.org/10.1016/j.spl.2016.05.004
 30.
Xia, Z.: Pseudo almost periodicity of fractional integrodifferential equations with impulsive effects in Banach spaces. Czechoslov. Math. J. 67(1), 123–141 (2017). https://doi.org/10.21136/CMJ.2017.039815
 31.
Ahmed, E., ElSayed, A.M.A., ElSaka, H.A.: Equilibrium points, stability and numerical solutions of fractionalorder predator–prey and rabies models. J. Math. Anal. Appl. 325(1), 542–553 (2007). https://doi.org/10.1016/j.jmaa.2006.01.087
 32.
Javidi, M., Nyamoradi, N.: Dynamic analysis of a fractional order prey–predator interaction with harvesting. Appl. Math. Model. 37(20–21), 8946–8956 (2013). https://doi.org/10.1016/j.apm.2013.04.024
 33.
Ghaziani, R.K., Alidousti, J., Eshkaftaki, A.B.: Stability and dynamics of a fractional order Leslie–Gower prey–predator model. Appl. Math. Model. 40(3), 2075–2086 (2016). https://doi.org/10.1016/j.apm.2015.09.014
 34.
Kumar, S., Kumar, A., Odibat, Z.M.: A nonlinear fractional model to describe the population dynamics of two interacting species. Math. Methods Appl. Sci. (2017). https://doi.org/10.1002/mma.4293
 35.
Goulart, A.G.O., Lazo, M.J., Suarez, J.M.S., Moreira, D.M.: Fractional derivative models for atmospheric dispersion of pollutants. Phys. A, Stat. Mech. Appl. 477, 9–19 (2017). https://doi.org/10.1016/j.physa.2017.02.022
 36.
Petráš, I., Magin, R.L.: Simulation of drug uptake in a two compartmental fractional model for a biological system. Commun. Nonlinear Sci. Numer. Simul. 16(12), 4588–4595 (2011). https://doi.org/10.1016/j.cnsns.2011.02.012
 37.
Kou, C., Yan, Y., Liu, J.: Stability analysis for fractional differential equations and their applications in the models of HIV1 infection. Comput. Model. Eng. Sci. 39(3), 301–317 (2009). https://doi.org/10.3970/cmes.2009.039.301
 38.
Ahmad, W., Abdel Jabbar, N.M.: Modeling and simulation of a fractional order bioreactor system. IFAC Proc. Vol. 39(11), 260–264 (2006). https://doi.org/10.3182/200607193PT4902.00048
 39.
Jørgensen, S.E.: Ecological Model Types, vol. 28. Elsevier, Amsterdam (2016)
 40.
Guo, Y.: The stability of solutions for a fractional predator–prey system. Abstr. Appl. Anal. 2014, 124145 (2014). https://doi.org/10.1155/2014/124145
 41.
Xu, C., Li, P.: Stability analysis in a fractional order delayed predator–prey model. Int. J. Math. Comput. Sci. 7(5), 859–862 (2013)
 42.
ElSaka, H.A., Ahmed, E., Shehata, M.I., ElSayed, A.M.A.: On stability, persistence, and Hopf bifurcation in fractional order dynamical systems. Nonlinear Dyn. 56(1–2), 121–126 (2009). https://doi.org/10.1007/s110710089383x
 43.
Rihan, F.A., Lakshmanan, S., Hashish, A.H., Rakkiyappan, R., Ahmed, E.: Fractionalorder delayed predator–prey systems with Holling typeII functional response. Nonlinear Dyn. 80(1–2), 777–789 (2015). https://doi.org/10.1007/s1107101519058
 44.
Khoshsiar Ghaziani, R., Alidousti, J.: Stability analysis of a fractional order preypredator system with nonmonotonic functional response. Comput. Methods Differ. Equ. 4(2), 151–161 (2016)
 45.
ElShahed, M., Ahmed, A.M., Abdelstar, I.M.: Fractional order model in generalist predator–prey dynamics. Int. J. Math. Appl. 4(3A), 19–28 (2016)
 46.
Brauer, F., CastilloChavez, C.: Mathematical Models in Population Biology and Epidemiology, vol. 40. Springer, Heidelberg (2011). https://doi.org/10.1007/9781461416869
 47.
Iannelli, M., Pugliese, A.: An Introduction to Mathematical Population Dynamics: Along the Trail of Volterra and Lotka, vol. 79. Springer, New York (2014). https://doi.org/10.1007/9783319030265
 48.
Freedman, H.I.: Deterministic Mathematical Models in Population Ecology, vol. 57. Dekker, New York (1980). https://doi.org/10.2307/3556198
 49.
Hsu, S.B.: On global stability of a predator–prey system. Math. Biosci. 39(1–2), 1–10 (1978). https://doi.org/10.1016/00255564(78)900251
 50.
Kuang, Y., Freedman, H.I.: Uniqueness of limit cycles in Gausetype models of predator–prey systems. Math. Biosci. 88(1), 67–84 (1988). https://doi.org/10.1016/00255564(88)900491
 51.
Huang, X.C., Merrill, S.J.: Conditions for uniqueness of limit cycles in general predator–prey systems. Math. Biosci. 96(1), 47–60 (1989). https://doi.org/10.1016/00255564(89)900825
 52.
Etoua, R.M., Rousseau, C.: Bifurcation analysis of a generalized Gause model with prey harvesting and a generalized Holling response function of type III. J. Differ. Equ. 249(9), 2316–2356 (2010). https://doi.org/10.1016/j.jde.2010.06.021
 53.
Ding, X., Su, B., Hao, J.: Positive periodic solutions for impulsive Gausetype predator–prey systems. Appl. Math. Comput. 218(12), 6785–6797 (2012). https://doi.org/10.1016/j.amc.2011.12.046
 54.
Tyutyunov, Y.V., Titova, L.I., Senina, I.N.: Preytaxis destabilizes homogeneous stationary state in spatial Gause–Kolmogorovtype model for predator–prey system. Ecol. Complex. 31, 170–180 (2017). https://doi.org/10.1016/j.ecocom.2017.07.001
 55.
Lv, Y., Yuan, R.: Existence of traveling wave solutions for Gausetype models of predator–prey systems. Appl. Math. Comput. 229, 70–84 (2014). https://doi.org/10.1016/j.amc.2013.12.031
 56.
King, M.: Fisheries Biology, Assessment and Management. Wiley, Hoboken (2013). https://doi.org/10.1002/9781118688038
 57.
Danchin, E., Giraldeau, L.A., Cézilly, F.: Behavioural Ecology: An Evolutionary Perspective on Behaviour. Oxford University Press, Oxford (2008)
 58.
RojasPalma, A., GonzálezOlivares, E.: Optimal harvesting in a predator–prey model with Allee effect and sigmoid functional response. Appl. Math. Model. 36(5), 1864–1874 (2012). https://doi.org/10.1016/j.apm.2011.07.081
 59.
GonzálezOlivares, E., RojasPalma, A.: Limit cycles in a Gausetype predator–prey model with sigmoid functional response and weak Allee effect on prey. Math. Methods Appl. Sci. 35(8), 963–975 (2012). https://doi.org/10.1002/mma.2509
 60.
Khajanchi, S., Banerjee, S.: Role of constant prey refuge on stage structure predator–prey model with ratio dependent functional response. Appl. Math. Comput. 314, 193–198 (2017). https://doi.org/10.1016/j.amc.2017.07.017
 61.
Chen, S., Wei, J., Yu, J.: Stationary patterns of a diffusive predator–prey model with Crowley–Martin functional response. Nonlinear Anal., Real World Appl. 39, 33–57 (2018). https://doi.org/10.1016/j.nonrwa.2017.05.005
 62.
Ivanov, T., Dimitrova, N.: A predator–prey model with generic birth and death rates for the predator and Beddington–DeAngelis functional response. Math. Comput. Simul. 133, 111–123 (2017). https://doi.org/10.1016/j.matcom.2015.08.003
 63.
Holling, C.S.: The components of predation as revealed by a study of smallmammal predation of the European pine sawfly. Can. Entomol. 91(5), 293–320 (1959)
 64.
Holling, C.S.: Some characteristics of simple types of predation and parasitism. Can. Entomol. 91(7), 385–398 (1959)
 65.
Hassell, M.P., Varley, G.C.: New inductive population model for insect parasites and its bearing on biological control. Nature 223(5211), 1133–1137 (1969). https://doi.org/10.1038/2231133a0
 66.
Beddington, J.R.: Mutual interference between parasites or predators and its effect on searching efficiency. J. Anim. Ecol. 44(1), 331–340 (1975). https://doi.org/10.2307/3866
 67.
DeAngelis, D.L., Goldstein, R.A., O’Neill, R.V.: A model for tropic interaction. Ecology 56(4), 881–892 (1975). https://doi.org/10.2307/1936298
 68.
Holling, C.S.: The functional response of predators to prey density and its role in mimicry and population regulation. Mem. Entomol. Soc. Can. 97(S45), 5–60 (1965). https://doi.org/10.4039/entm9745fv
 69.
Andrews, J.F.: A mathematical model for the continuous culture of microorganisms utilizing inhibitory substrates. Biotechnol. Bioeng. 10(6), 707–723 (1968). https://doi.org/10.1002/bit.260100602
 70.
Sokol, W., Howell, J.A.: Kinetics of phenol oxidation by washed cells. Biotechnol. Bioeng. 23(9), 2039–2049 (1981). https://doi.org/10.1002/bit.260230909
 71.
Crowley, P.H., Martin, E.K.: Functional responses and interference within and between year classes of a dragonfly population. J. North Am. Benthol. Soc. 8(3), 211–221 (1989). https://doi.org/10.2307/1467324
 72.
GonzálezOlivares, E., RojasPalma, A.: Multiple limit cycles in a Gause type predator–prey model with Holling type III functional response and Allee effect on prey. Bull. Math. Biol. 73(6), 1378–1397 (2011). https://doi.org/10.1007/s1153801095775
 73.
Overington, S.E., Dubois, F., Lefebvre, L.: Food unpredictability drives both generalism and social foraging: a game theoretical model. Behav. Ecol. 19(4), 836–841 (2008). https://doi.org/10.1093/beheco/arn037
 74.
Valiela, I.: Marine Ecological Processes. Springer, Heidelberg (2013). https://doi.org/10.1007/9781475718331
 75.
Abdelouahab, M., Hamri, N.: The Grünwald–Letnikov fractionalorder derivative with fixed memory length. Mediterr. J. Math. 13(2), 557–572 (2016)
 76.
Munkhammar, J.: Fractional calculus and the Taylor–Riemann series. RoseHulman Undergrad. Math J. 6(1), 1–19 (2005)
 77.
Diethelm, K.: The Analysis of Fractional Differential Equations: An ApplicationOriented Exposition Using Differential Operators of Caputo Type. Springer, Heidelberg (2010). https://doi.org/10.1007/9783642145742
 78.
Almeida, R., Torres, D.F.M.: Necessary and sufficient conditions for the fractional calculus of variations with Caputo derivatives. Commun. Nonlinear Sci. Numer. Simul. 16(3), 1490–1500 (2011). https://doi.org/10.1016/j.cnsns.2010.07.016
 79.
Podlubny, I.: Fractional Differential Equations: An Introduction to Fractional Derivatives, Fractional Differential Equations, to Methods of Their Solution and Some of Their Applications, vol. 198. Academic Press, San Diego (1998)
 80.
Guo, B., Pu, X., Huang, F.: Fractional Partial Differential Equations and Their Numerical Solutions. World Scientific, Singapore (2015). https://doi.org/10.1142/9543
 81.
Bandyopadhyay, B., Kamal, S.: Stabilization and Control of Fractional Order Systems: A Sliding Mode Approach, vol. 317. Springer, Heidelberg (2015). https://doi.org/10.1007/9783319086217
 82.
Li, Y., Chen, Y.Q., Podlubny, I.: Stability of fractionalorder nonlinear dynamic systems: Lyapunov direct method and generalized MittagLeffler stability. Comput. Math. Appl. 59(5), 1810–1821 (2010). https://doi.org/10.1016/j.camwa.2009.08.019
 83.
Grigorian, A.: Ordinary differential equation (2007)
 84.
Deshpande, A.S., DaftardarGejji, V., Sukale, Y.V.: On Hopf bifurcation in fractional dynamical systems. Chaos Solitons Fractals 98, 189–198 (2017). https://doi.org/10.1016/j.chaos.2017.03.034
 85.
Xiao, M., Zheng, W.X.: Nonlinear dynamics and limit cycle bifurcation of a fractionalorder threenode recurrent neural network. In: 2012 IEEE International Symposium on Circuits and Systems, pp. 161–164 (2012). https://doi.org/10.1109/ISCAS.2012.6271562
 86.
Abdelouahab, M., Hamri, N., Wang, J.: Hopf bifurcation and chaos in fractionalorder modified hybrid optical system. Nonlinear Dyn. 69(1–2), 275–284 (2012). https://doi.org/10.1007/s1107101102634
 87.
Li, X., Wu, R.: Hopf bifurcation analysis of a new commensurate fractionalorder hyperchaotic system. Nonlinear Dyn. 78(1), 279–288 (2014). https://doi.org/10.1007/s1107101414395
 88.
Diethelm, K., Ford, N.J., Freed, A.D.: A predictorcorrector approach for the numerical solution of fractional differential equations. Nonlinear Dyn. 29(1), 3–22 (2002). https://doi.org/10.1023/A:1016592219341
 89.
Li, C., Tao, C.: On the fractional Adams method. Comput. Math. Appl. 58(8), 1573–1588 (2009). https://doi.org/10.1016/j.camwa.2009.07.050
 90.
Rida, S.Z., Arafa, A.A.M., Gaber, Y.A.: Solution of the fractional epidemic model by LADM. J. Fract. Calc. Appl. 7(1), 189–195 (2016)
 91.
Zayernouri, M., Matzavinos, A.: Fractional Adams–Bashforth/Moulton methods: an application to the fractional Keller–Segel chemotaxis system. J. Comput. Phys. 317, 1–14 (2016). https://doi.org/10.1016/j.jcp.2016.04.041
 92.
Petráš, I.: Modeling and numerical analysis of fractionalorder Bloch equations. Comput. Math. Appl. 61(2), 341–356 (2011). https://doi.org/10.1016/j.camwa.2010.11.009
 93.
Tavazoei, M.S., Haeri, M.: A proof for non existence of periodic solutions in time invariant fractional order systems. Automatica 45(8), 1886–1890 (2009). https://doi.org/10.1016/j.automatica.2009.04.001
 94.
Tavazoei, M.S.: A note on fractionalorder derivatives of periodic functions. Automatica 46(5), 945–948 (2010). https://doi.org/10.1016/j.automatica.2010.02.023
 95.
Kaslik, E., Sivasundaram, S.: Nonexistence of periodic solutions in fractionalorder dynamical systems and a remarkable difference between integer and fractionalorder derivatives of periodic functions. Nonlinear Anal., Real World Appl. 13(3), 1489–1497 (2012). https://doi.org/10.1016/j.nonrwa.2011.11.013
Acknowledgements
This research was partially supported by Department of Mathematics, Faculty of Science, Chiang Mai University.
Author information
Affiliations
Contributions
Both authors read and approved the final manuscript.
Corresponding author
Correspondence to Sompop Moonchai.
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Received
Accepted
Published
DOI
Keywords
 Fractional order differential equations
 Predator–prey model
 Allee effect
 Functional response
 Stability
 Hopf bifurcation