 Research
 Open Access
 Published:
Fractionalorder model for biocontrol of the lesser date moth in palm trees and its discretization
Advances in Difference Equations volume 2017, Article number: 295 (2017)
Abstract
In this paper, a fractionalorder model of palm trees, the lesser date moth and the predator is presented. Existence conditions of the local asymptotic stability of the equilibrium points of the fractional system are analyzed. We prove that the positive equilibrium point is globally stable also. The numerical simulations come to illustrate the dynamical behaviors of the model such as bifurcation and chaos phenomenon, and the numerical simulations confirm the validity of our theoretical results.
Introduction
Date palm is a unisexual fruit tree native to the hot arid regions of the world, mainly grown in the Middle East and North Africa. Since ancient times this majestic plant has been recognized as the tree of life because of its integration into human settlement, wellbeing, and food security in hot regions of the world, where only a few plant species can flourish [1].
It is well known that approximately one third of the world food production is lost due to pests. Pesticides have a great role in destroying pests and increasing crop yield. But the excessive use of pesticides exerts harmful effects on human health. The extensive use of chemical pesticides has had many well documented adverse consequences. So, the present trend in pest control is to minimize the use of pesticides with optimum reduction in the pest population. Such a situation can be achieved when the balance between the pest and its natural enemies is least disturbed by selective use of pesticides [2].
The lesser date moth, Batrachedra amydraula (Lepidoptera: Batrachedridae), is a serious pest of date palms. Its distribution is from Bangladesh to the entire Middle East, as well as most of North America. It is one of the most important pests on date palms that may cause more than 50% loss of the crop [3].
In recent decades, the fractional calculus and fractional differential equations have attracted much attention and increasing interest due to their potential applications in science and engineering [4–17]. In this paper, we consider a fractionalorder model consisting of palm trees, the lesser date moth and the predator. Sufficient conditions for the existence of the solutions of the fractionalorder model are investigated. The equilibrium points and their asymptotic stability are discussed. Also, the conditions for the existence of a flip bifurcation are considered. The necessary conditions for this system to exhibit chaotic dynamics are also derived.
Fractional calculus
A great deal of research has been conducted on preypredator models based on fractionalorder differential equations. A property of these fractional models is their nonlocal property which is not present in integerorder differential equations. Nonlocal property means that the next state of a model depends not only upon its current state, but also upon all of its historical states as the case in epidemics. Fractionalorder differential equations can be used to model phenomena which cannot be adequately modeled by integerorder differential equations [10, 13, 18–21]. There are several definitions of fractional derivatives. One of the most common definitions is the Caputo concept. This definition is often used in real applications.
Definition 1
The fractional integral of order \(\beta\in{R}^{+}\) of the function \(f(t)\) is defined by
provided the integral on the righthand side is defined for almost every \(t>0 \). This occurs, for example, if \(f\in L^{1}(0,+\infty)\). The fractional derivative of order \(\alpha\in(n1,n)\), \(n\in N\) is defined as follows for a function f such that the norder derivative exists and, for example, \(f^{(n)}\in L^{1}(0,+\infty)\):
Fractionalorder lesser date moth model and its discretization
Following [22, 23], the model of biocontrol of the lesser date moth in palm trees can be written as a set of three coupled nonlinear ordinary differential equations as follows:
The model consists of three populations. The palm tree whose population density at time t is denoted by P, the pest (lesser date moth) whose population density is denoted by L and the predator whose population density is denoted by N. In the absence of predators, the prey population density grows according to a logistic curve with carrying capacity K and with an intrinsic growth rate constant r.
The maximal growth rate of the pest is denoted by b. The half saturation a is constant, d denotes the death rate of the pests, m is the conversion rate of the pests, p is the quantity that represents decrease in the growth rate of the pests due to predator attack, q is the rate of increase in the predator population, and μ denotes the intrinsic mortality rate of the predators. Here all the parameters r, K, b, a, d, m, p, μ, and q are positive.
One can reduce the number of parameters in system (1) by using the following transformations:
then we have the following dimensionless system:
where
Fractionalorder models are more accurate than integerorder models as they allow more degrees of freedom. Fractional differential equations also serve as an excellent tool for the description of hereditary properties of various materials and processes [10, 13]. Now we introduce fractional order into the ODE model (2). The new system is described by the following set of fractionalorder differential equations:
where \(D^{\alpha}\) is the Caputo fractional derivative. Following [21, 24, 25], we discretize the fractional lesser date moth and predator model (3). After the discretization with piecewise constant arguments, the system is reduced to
Remark 1
If the fractional order \(\alpha\rightarrow1\), then we have the forward Euler discretization of system (2).
In the following, we will study the dynamics of system (4).
Dynamical behaviors of the discretized fractionalorder lesser date moth and predator model
Stability of the fixed points of the system
In this subsection, we study the asymptotic stability of the fixed points of system (4) which has the same fixed points of system (4). First, we need the following two definitions.
Definition 2
[26] (Local stability when all eigenvalues are real)
Consider the discrete, nonlinear dynamical system in (4) with a steadystate equilibrium x̄. The linearized system is given by (4). The associated Jacobian matrix has three real eigenvalues \(\lambda_{i}\) (\(i=1,2,3\)).
Lemma 1

(i)
The steadystate equilibrium x̄ is called a stable node if \(\vert \lambda_{i} \vert <1\) for all \(i=1,2,3\).

(ii)
The steadystate equilibrium x̄ is called a twodimensional saddle if one \(\vert \lambda_{i} \vert >1\).

(iii)
The steadystate equilibrium x̄ is called a onedimensional saddle if one \(\vert \lambda_{i} \vert <1\).

(iv)
The steadystate equilibrium x̄ is called an unstable node if \(\vert \lambda_{i} \vert >1\) for all \(i=1,2,3\).

(v)
The steadystate equilibrium x̄ is called hyperbolic if one \(\vert \lambda_{i} \vert =1\).
Definition 3
[26] (Local stability when complex eigenvalues)
Consider the discrete, nonlinear dynamical system in (4) with a steadystate equilibrium x̄. The linearized system is given by (4). The associated Jacobian matrix has a pair of complex eigenvalues \(\lambda_{1,2}=\rho+\omega i\) and one real eigenvalue \(\lambda_{3}\).

(i)
The steadystate equilibrium x̄ is called a sink if \(\vert \lambda_{i} \vert <1\) for all \(i=1,2,3\).

(ii)
The steadystate equilibrium x̄ is called a twodimensional saddle if one \(\vert \lambda_{3} \vert >1\).

(iii)
The steadystate equilibrium x̄ is called a onedimensional saddle if one \(\vert \lambda_{3} \vert <1\).

(iv)
The steadystate equilibrium x̄ is called a source if \(\vert \lambda_{i} \vert >1\) for all \(i=1,2,3\).

(v)
The steadystate equilibrium x̄ is called hyperbolic if one \(\vert \lambda_{i} \vert =1\).
Now, the Jacobian matrix \(J ( E_{0} ) \) for system given in (4) evaluated at \(E_{0}(0,0,0)\) is as follows:
Theorem 1
The trivialequilibrium point \(E_{0}\) has at least three different topological types for its all values of parameters as follows:

(i)
\(E_{0}\) is a source if \(h>\max \{ \sqrt[\alpha]{\frac{2\Gamma ( 1+\alpha ) }{\delta}},\sqrt[\alpha]{\frac{2\Gamma ( 1+\alpha ) }{\eta}} \} \),

(ii)
\(E_{0}\) is a twodimensional saddle if \(0< h<\min \{ \sqrt [\alpha]{\frac{2\Gamma ( 1+\alpha ) }{\delta}},\sqrt[\alpha]{\frac{2\Gamma ( 1+\alpha ) }{\eta}} \} \),

(iii)
\(E_{0}\) is a onedimensional saddle if \(\sqrt[\alpha]{\frac {2\Gamma ( 1+\alpha ) }{\delta}}< h<\sqrt[\alpha]{\frac{2\Gamma ( 1+\alpha ) }{\eta}}\) or \(\sqrt[\alpha]{\frac{2\Gamma ( 1+\alpha ) }{\eta}}< h<\sqrt[\alpha]{\frac{2\Gamma ( 1+\alpha ) }{\delta}}\).
Proof
The eigenvalues corresponding to the equilibrium point \(E_{0} \) are \(\lambda_{01}=1+\frac{h^{\alpha}}{\Gamma ( 1+\alpha ) }>0\), \(\lambda_{02}=1\frac{\delta h^{\alpha}}{\Gamma ( 1+\alpha ) } \), and \(\lambda_{03}=1\frac{\eta h^{\alpha }}{\Gamma ( 1+\alpha ) }\), where \(\alpha\in( 0,1 ] \) and \(h, \frac{h^{\alpha}}{\Gamma ( 1+\alpha ) }>0\). Hence, applying the stability conditions using Definition 2, one can obtain the results (i)(iii). □
The Jacobian matrix \(J ( E_{1} ) \) for system (4), evaluated at \(E_{1}= ( 1,0,0 ) \), is given by
Theorem 2
If the semitrivial equilibrium point \(E_{1}\) exists, then it has at least three different topological types for its all values of parameters.

(i)
\(E_{1}\) is a source if \(h>\max \{ \sqrt[\alpha]{2\Gamma ( 1+\alpha ) },\sqrt[\alpha]{\frac{2\Gamma ( 1+\alpha ) }{\mu}} \} \),

(ii)
\(E_{1}\) is a twodimensional saddle if \(0< h<\min \{ \sqrt [\alpha]{2\Gamma ( 1+\alpha ) },\sqrt[\alpha]{\frac{2\Gamma ( 1+\alpha ) }{\eta}} \} \),

(iii)
\(E_{1}\) is a onedimensional saddle if \(\sqrt[\alpha]{2\Gamma ( 1+\alpha ) }< h<\sqrt[\alpha]{\frac{2\Gamma ( 1+\alpha ) }{\eta}}\) or \(\sqrt[\alpha]{\frac{2\Gamma ( 1+\alpha ) }{\eta}}< h<\sqrt[\alpha]{2\Gamma ( 1+\alpha ) }\).
Proof
The eigenvalues corresponding to the equilibrium point \(E_{0} \) are \(\lambda_{11}=1\frac{h^{\alpha}}{\Gamma ( 1+\alpha ) }\), \(\lambda_{12}=1+\frac{\delta ( R_{0}1 ) h^{\alpha}}{\Gamma ( 1+\alpha ) }>0\), and \(\lambda_{13}=1\frac{\eta h^{\alpha}}{\Gamma ( 1+\alpha ) }\). Hence, applying the stability conditions using Definition 2, one can obtain the results (i)(iii). □
For investigating the stability of \(E_{2}= ( \frac{\beta\delta }{\gamma \delta},\frac{\gamma ( \beta+1 ) ( R_{0}1 ) x_{2}^{2}}{\beta\delta},0 ) \), let \(J ( E_{2} ) \) be the Jacobian matrix for the system given in (4) evaluated at \(E_{2}\), then
The characteristic equation of the Jacobian matrix (7) is
where \(H=\frac{h^{\alpha}}{\Gamma ( 1+\alpha ) }\), \(\mathit{Tr}_{2}=2B_{2}H\), \(B_{2}=\frac{ ( 1+\beta ) x_{2}^{2}}{ ( \beta+x_{2} ) } [ 1R_{0} ( 1\beta ) ] \), \(\mathit{Det}_{2}=A_{2}H^{2}B_{2}H+1 \), and \(A_{2}=\frac{\beta\gamma x_{2}y_{2}}{ ( \beta+x_{2} ) ^{3}}\).
Theorem 3
If \(1< R_{0}<\frac{\beta\delta\eta}{\gamma\sigma ( 1+\beta ) x_{2}^{2}}+1\), then the semitrivial equilibrium point \(E_{2}\) has at least four different topological types for its all values of parameters

(i)
\(E_{2}\) is asymptotically stable (sink) if one of the following conditions holds:

(i.1)
\(\Delta\geq0\) and \(0< h<\min \{ h_{1},h_{2} \} \),

(i.2)
\(\Delta<0\) and \(0< h< h_{2}\);

(i.1)

(ii)
\(E_{2}\) is unstable (source) if one of the following conditions holds:

(ii.1)
\(\Delta\geq0\) and \(h>\max \{ h_{2},h_{3} \} \),

(ii.2)
\(\Delta<0\) and \(h>h_{2}\);

(ii.1)

(iii)
\(E_{2}\) is a twodimensional saddle if the following case is satisfied:
\(\Delta\geq0\) and \(h<\min \{ h_{1},h_{2} \} \);

(iv)
\(E_{2}\) is a onedimensional saddle if one of the following cases is satisfied:

(iv.1)
\(\Delta\geq0\) and \(h_{3}< h< h_{2}\) or \(\max \{ h_{1},h_{2} \} < h< h_{3}\),

(iv.2)
\(\Delta<0\) and \(0< h< h_{2}\);

(iv.1)

(v)
\(E_{2}\) is nonhyperbolic if one of the following conditions holds:

(v.1)
\(\Delta\geq0\) and \(h=h_{1}\) or \(h_{3}\),

(v.2)
\(\Delta<0\) and \(h=h_{2}\),

(v.1)
where
Proof
The eigenvalues corresponding to the equilibrium point \(E_{2} \) are the roots of the characteristic equation (8), which is \(\lambda_{21}=1H [ \eta\sigma y_{2} ] \) and \(\lambda _{22,23}=\frac{1}{2} ( \mathit{Tr}_{2}\pm\sqrt{\mathit{Tr}_{2}^{2}4\mathit{Det}_{2}} ) =1\frac {H}{2} ( B_{2}\pm\sqrt{B_{2}^{2}4A_{2}} ) \). Hence, applying the stability conditions using Lemma 1, one can obtain the results (i)(v). □
The fourth and fifth equilibrium points are \(E_{j}= ( x_{j},y_{j},z_{j} ) \), \(j=3,4\), where
For the dynamical properties of the interior (positive) equilibrium point \(E_{j}\) (\(j=3,4 \)) we need to state these lemmas.
Lemma 2
[27]
Let the equation \(x^{3}+bx^{2}+cx+d=0\), where \(b,c,d\in R \). Let further \(A=b^{2}3c\), \(B=bc9d\), \(C=c^{2}3bd\), and \(\Delta =B^{2}4AC\). Then

(1)
The equation has three real roots if and only if \(\Delta\leq0\).

(2)
The equation has one real root \(x_{1}\) and a pair of conjugate complex roots if and only if \(\Delta>0\). Furthermore, the conjugate complex roots \(x_{2,3}\) are
$$x_{2,3}=\frac{1}{6} \bigl[ \sqrt[3]{y_{1}}+ \sqrt[3]{y_{2}}2b\pm\sqrt{3} i \bigl( \sqrt[3]{y_{1}} \sqrt[3]{y_{2}} \bigr) \bigr], $$where
$$y_{1,2}=bA+\frac{3}{2} \bigl( B\pm\sqrt{B^{2}4AC} \bigr) . $$
Lemma 3
Let \(F(\lambda)=\lambda^{2}\mathit{Tr}\lambda+\mathit{Det}\). Suppose that \(F(1)>0\), \(\lambda_{1}\) and \(\lambda_{2}\) are the two roots of \(F(\lambda)=0\). Then

(i)
\(\vert \lambda_{1} \vert <1\) and \(\vert \lambda _{2} \vert <1\) if and only if \(F(1)>0\) and \(\mathit{Det}<1\),

(ii)
\(\vert \lambda_{1} \vert <1\) and \(\vert \lambda _{2} \vert >1\) (or \(\vert \lambda_{1} \vert >1\) and \(\vert \lambda_{2} \vert <1\)) if and only if \(F(1)<0\),

(iii)
\(\vert \lambda_{1} \vert >1\) and \(\vert \lambda _{2} \vert >1\) if and only if \(F(1)>0\) and \(\mathit{Det}>1\),

(iv)
\(\lambda_{1}=1\) and \(\lambda_{2}\neq1\) if and only if \(F(1)=0\) and \(\mathit{Tr}\neq0,2\),

(v)
\(\lambda_{1}\) and \(\lambda_{2}\) are complex and \(\vert \lambda _{1} \vert = \vert \lambda_{2} \vert \) if and only if \(\mathit{Tr}^{2}4\mathit{Det}<0\) and \(\mathit{Det}=1\).
The necessary and sufficient conditions ensuring that \(\vert \lambda _{1} \vert <1\) and \(\vert \lambda_{2} \vert <1\) are as follows [28]:
If one of conditions (9) is not satisfied, then we have one of the following cases [25].

1.
A saddlenode (often called fold bifurcation in maps), transcritical or pitchfork bifurcation if one of the eigenvalues =1 and other eigenvalues (real) ≠1. This local bifurcation leads to the stability switching between two different steady states;

2.
A flip bifurcation if one of the eigenvalues \(=1\), other eigenvalues (real) \(\neq1\). This local bifurcation entails the birth of a period 2cycle;

3.
A NeimarkSacker (secondary Hopf) bifurcation; in this case we have two conjugate eigenvalues and the modulus of each of them =1.
This local bifurcation implies the birth of an invariant curve in the phase plane. The NeimarkSacker bifurcation is considered to be an equivalent to the Hopf bifurcation in continuous time and in fact the major instrument to prove the existence of quasiperiodic orbits for the map.
Note
You can get any local bifurcation (fold, flip and NeimarkSacker) by taking specific parameter value such that one of the conditions of each bifurcation is satisfied.
The Jacobian matrix \(J ( E_{j} ) \) for system (4) evaluated at the interior equilibrium point \(E_{j}\) is as follows:
then the characteristic equation of the Jacobian matrix (10) is
where
and
By some computation, we have
and
where
It is clear that equation \(F^{\prime}(\lambda)=0\) has the following two roots:
If \(\bar{\Delta}_{j}\leq0\), then \(\Delta_{j}\leq0\); by Lemma 1, equation (10) has three real roots \(\lambda_{i}\), \(i=1,2,3\) (let \(\lambda _{1}\leq\lambda_{2}\leq\lambda_{3}\)). From this, we note that two roots \(\lambda_{1,2}^{\ast}\) (let \(\lambda_{1}^{\ast}\leq\lambda _{2}^{\ast}\)) of equation \(F^{\prime}(\lambda)=0\) also are real.
When \(\bar{\Delta}_{j}>0\), namely, \(\Delta_{j}>0\), by Lemma 2, we have that equation (11) has one real root \(\lambda_{1}\) and a pair of conjugate complex roots \(\lambda_{2,3}\). The conjugate complex roots are as follows:
where
and
Now, we will introduce the stability of \(E_{j}\), we have the following theorem.
Theorem 4
If the positive equilibrium point \(E_{j}\) exists, then it has the following topological types of its all values of parameters:

(1)
\(E_{j}\) is a sink if one of the following conditions holds:

(1.i)
\(\bar{\Delta}_{j}\leq0\), \(F(1)>0\), \(F(1)<0\) and \(1<\lambda _{1,2}^{\ast}<1\),

(1.ii)
\(\bar{\Delta}_{j}>0\), \(F(1)>0\), \(F(1)<0\) and \(\vert \lambda_{2,3} \vert <1\).

(1.i)

(2)
\(E_{j}\) is a source if one of the following conditions holds:

(2.i)
\(\bar{\Delta}_{j}\leq0\) and one of the following conditions holds:

(2.i.a)
\(F(1)>0\), \(F(1)>0\) and \(\lambda_{2}^{\ast}<1\) or \(\lambda_{2}^{\ast}>1\),

(2.i.b)
\(F(1)<0\), \(F(1)<0\) and \(\lambda_{2}^{\ast}<1\) or \(\lambda_{2}^{\ast}>1\),

(2.i.a)

(2.ii)
\(\bar{\Delta}_{j}>0\) and one of the following conditions holds:

(2.ii.a)
\(F(1)<0\) and \(\vert \lambda _{2,3} \vert >1\),

(2.ii.b)
\(F(1)>0\) and \(\vert \lambda _{2,3} \vert >1\).

(2.ii.a)

(2.i)

(3)
\(E_{j}\) is a onedimensional saddle if one of the following conditions holds:

(3.i)
\(\bar{\Delta}_{j}\leq0\) and one of the following conditions holds:

(3.i.a)
\(F(1)>0\), \(F(1)<0\) and \(\lambda_{1}^{\ast}<1\) or \(\lambda_{2}^{\ast}>1\),

(3.i.b)
\(F(1)<0\), \(F(1)>0\).

(3.i.a)

(3.ii)
\(\bar{\Delta}_{j}>0\) and one of the following conditions holds:

(3.ii.a)
\(F(1)>0\), \(F(1)<0\) and \(\vert \lambda _{2,3} \vert >1\),

(3.ii.b)
\(F(1)<0\) and \(\vert \lambda _{2,3} \vert <1\),

(3.ii.c)
\(F(1)>0\) and \(\vert \lambda _{2,3} \vert <1\).

(3.ii.a)

(3.i)

(4)
\(E_{j}\) is a twodimensional saddle if one of the following conditions holds:

(4.i)
\(\bar{\Delta}_{j}\leq0\) and one of the following conditions holds:

(4.i.a)
\(F(1)>0\), \(F(1)>0\) and \(1<\lambda_{2}^{\ast}<1\),

(4.i.b)
\(F(1)<0\), \(F(1)<0\) and \(1<\lambda_{1}^{\ast}<1\),

(4.i.a)

(4.ii)
\(\bar{\Delta}_{j}>0\) and one of the following conditions holds:

(4.ii.a)
\(F(1)<0\) and \(\vert \lambda _{2,3} \vert <1\),

(4.ii.b)
\(F(1)>0\) and \(\vert \lambda _{2,3} \vert <1\).

(4.ii.a)

(4.i)

(5)
\(E_{j}\) is nonhyperbolic if one of the following conditions holds:

(5.i)
\(\bar{\Delta}_{j}\leq0\) and \(F(1)=0\) or \(F(1)=0\),

(5.ii)
\(\bar{\Delta}_{j}>0\) and \(F(1)=0\) or \(F(1)=0\) or \(\vert \lambda_{2,3} \vert =1\).

(5.i)
Proof
Let \(\bar{\Delta}_{j}\leq0\). From Lemma 2, equation (11) has three real roots \(\lambda_{i}\), \(i=1,2,3\). Further, we obtain that equation \(F^{\prime}(\lambda)=0\) has also two real roots \(\lambda_{1}^{\ast }\) and \(\lambda_{2}^{\ast}\). From the expression of \(F^{\prime}(\lambda)\), we have \(F^{\prime}(\lambda)>0\) for all \(\lambda\in ( \infty ,\lambda _{1}^{\ast} ) \cup ( \lambda_{2}^{\ast},\infty ) \) and \(F^{\prime}(\lambda)<0\) for all \(\lambda\in ( \lambda_{1}^{\ast },\lambda_{2}^{\ast} ) \). Hence, \(F(\lambda)\) is increasing for all \(\lambda\in ( \infty,\lambda_{1}^{\ast} ) \cup ( \lambda _{2}^{\ast},\infty ) \) and decreasing for all \(\lambda\in ( \lambda_{1}^{\ast},\lambda_{2}^{\ast} ) \). Therefore, we finally obtain \(F(\lambda_{1}^{\ast})\geq0\), \(F(\lambda_{1}^{\ast})\leq 0\), \(\lambda_{1}\in ( \infty,\lambda_{1}^{\ast} ] \), \(\lambda _{2}\in [ \lambda_{1}^{\ast},\lambda_{2}^{\ast} ) \) and \(\lambda_{3}\in [ \lambda_{2}^{\ast},\infty ) \).
If condition (1.i) holds, then we obviously have \(\lambda_{1}\in ( 1,\lambda_{1}^{\ast} ] \), \(\lambda_{2}\in [ \lambda _{1}^{\ast},\lambda_{2}^{\ast} ] \) and \(\lambda_{3}\in [ \lambda_{2}^{\ast},1 ) \). Therefore, \(E_{j}\) is a sink.
If condition (2.i.a) holds. When \(\lambda_{2}^{\ast}<1\), we have \(\lambda_{1}<1\) and \(\lambda_{2}<1\). Since \(F(\lambda)\) is increasing for all \(\lambda\in [ \lambda_{2}^{\ast},\infty ) \) and \(F(1)>0\), we can obtain \(\lambda_{3}<1\). Therefore, \(E_{j}\) is a source. When \(\lambda_{2}^{\ast}>1\), then from \(F(1)>0\) we have \(\lambda _{1}<1\). Hence \(F(\lambda)>0\) for all \(\lambda\in ( 1,1 ) \). Consequently, \(\lambda_{2}>1\) and \(\lambda_{3}>1\). Therefore, \(E_{j}\) is a source.
By the same way, we prove that when condition (2.i.b) holds, \(E_{j}\) is also a source.
If condition (3.i.a) holds, then, when \(\lambda_{1}^{\ast}<1\) we have \(\lambda_{1}<1\) and when \(\lambda_{2}^{\ast}>1\) we have \(\lambda _{3}>1\). From \(F(1)>0\) and \(F(1)<0\) we have \(\lambda_{2}\in ( 1,1 ) \). Therefore, \(E_{j}\) is a onedimensional saddle.
If condition (3.i.b) holds, then we clearly have \(\lambda_{1}<1\), \(\lambda_{2}\in ( 1,1 ) \) and \(\lambda_{3}>1\). Therefore, \(E_{j}\) is a onedimensional saddle too.
If condition (4.i.a) holds, we have \(\lambda_{2,3}\in ( 1,1 ) \) and \(\lambda_{1}^{\ast}\in ( \infty,1 ) \), \(F(\lambda)\) is increasing for all \(\lambda\in ( \infty,\lambda_{1}^{\ast} ] \), we obtain \(\lambda_{1}\in ( \infty,1 ) \). Therefore, \(E_{j}\) is a twodimensional saddle.
By the same way, we can prove that when condition (4.i.b) holds, \(E_{j}\) is also a twodimensional saddle.
If condition (5.i) holds, then we can easily prove that \(E_{j}\) is nonhyperbolic.
Now, we let \(\bar{\Delta}_{j}>0\). From Lemma 2, equation (11) has one real root \(\lambda_{1}\) and a pair of conjugate complex roots \(\lambda_{2,3}\). If condition (1.ii) holds, then from \(F(1)>0\) and \(F(1)<0\) we have that a real root \(\lambda_{1}\in ( 1,1 ) \). Therefore, from \(\vert \lambda_{2,3} \vert <1\) we obtain that \(E_{j}\) is a sink.
If condition (2.ii.a) holds, then from \(F(1)<0\) we have a real root \(\lambda _{1}>1\). Therefore, from \(\vert \lambda_{2,3} \vert >1\) we obtain that \(E_{j}\) is a source.
By the same way, we can prove that if condition (2.ii.b) holds, then \(E_{j}\) is also a source.
If condition (3.ii.a) holds, then we have a real root \(\lambda_{1}\in ( 1,1 ) \). Therefore, from \(\vert \lambda_{2,3} \vert >1\) we have that \(E_{j}\) is a onedimensional saddle.
By the same way, we can prove that when conditions (3.ii.b) and (3.ii.c) hold, then \(E_{j}\) is also a onedimensional saddle.
If condition (4.ii.a) holds, then from \(F(1)<0\) we have a real root \(\lambda _{1}>1\). Therefore, from \(\vert \lambda_{2,3} \vert >1\) we have that \(E_{j}\) is a twodimensional saddle.
By the same way, we can prove that if condition (4.ii.b) holds, then \(E_{j}\) is also a twodimensional saddle.
Lastly, we can easily prove that if condition (5.ii) holds, then \(E_{j}\) is nonhyperbolic. □
Theorem 5
If the positive equilibrium point \(E_{j}\) exists, then \(E_{j}\) loses its stability via

(i)
a saddlenode bifurcation, if one of the following conditions holds:

(i.1)
\(\bar{\Delta}_{j}\leq0\), \(F(1)=0\) and \(F(1)\neq0\),

(i.2)
\(\bar{\Delta}_{j}>0\), \(F(1)=0\) and \(\vert \lambda _{2,3} \vert \neq1\);

(i.1)

(ii)
flip bifurcation, if one of the following conditions holds:

(ii.1)
\(\bar{\Delta}_{j}\leq0\), \(F(1)=0\) and \(F(1)\neq0\),

(ii.2)
\(\bar{\Delta}_{j}>0\), \(F(1)=0\) and \(\vert \lambda _{2,3} \vert \neq1\);

(ii.1)

(iii)
Hopf bifurcation, if the following condition holds:

\(\bar{\Delta}_{j}>0\), \(F(1)\neq0\), \(F(1)\neq0\) and \(\vert \lambda_{2,3} \vert =1\).

Proof ([29])
(i) introduced a thorough study of the main types of bifurcations for 3D maps. In line with this study, we can see that \(E_{j}\) undergoes a saddlenode bifurcation when a single eigenvalue becomes equal to 1. Therefore \(E_{j}\) can lose its stability through the saddlenode bifurcation when one of \(\lambda_{i}=1\), \(i=1,2,3\). A saddlenode bifurcation of \(E_{j}\) may occur if the parameters vary in the small neighborhood of the following sets:
or
By the same way, we can prove (ii).
(iii) When the Jacobian has a pair of complex conjugate eigenvalues of modulus 1, we get the Hopf bifurcation, then \(E_{j}\) can lose its stability through the Hopf bifurcation when one of \(\vert \lambda _{2,3} \vert =1 \), and then it also implies that all the parameters locate and vary in the small neighborhood of the following set:
□
Numerical simulations
In this section, we give the phase portraits, the attractor of parameter β and bifurcation diagrams to confirm the above theoretical analysis and to obtain more dynamical behaviors of the palm trees, lesser date moth and predator model. Since most of the fractionalorder differential equations do not have exact analytic solutions, approximation and numerical techniques must be used.
From the numerical results, it is clear that the approximate solutions depend on the fractional parameters h, α see Figure 1. The approximate solutions \(x_{n}\), \(y_{n}\), and \(z_{n}\) are displayed in the figures below.
We use some documented data for some parameters like \(\beta=0.5\), \(\gamma =3\), \(\delta=\eta=1\), and \(\sigma=3\), then we have \(( x_{1},y_{1},z_{1} ) = ( 0.7,0.3,0.8 ) \). Other parameters will be (a) \(h=0.05\), \(\alpha=0.95\), (b) \(h=0.07\), \(\alpha=0.95\), (c) \(h=0.09\), \(\alpha=0.95\), and (d) \(h=0.09\), \(\alpha=0.75\).
Figure 1 depicts the phase portraits of model (4) according to the chosen parameter values and for various values of the fractionalorder parameters h and α. We can see that, whenever the value of α is fixed and the value of h increases, then \(E_{4}\) moves from the stabilized to the chaotic band. Figure 1(c) depicts the phase portrait for model (4).
By computing, we have \(E_{4}\simeq ( 0.7,0.33,0.84 ) \), and we can get the critical value of flip bifurcation for model (4). In Figure 1(a) we have \(\bar{\Delta}_{4}=1\mbox{,}153\mbox{,}256\mbox{,}457>0\), \(F(1)\simeq{0.00009>0}\), \(F(1)\simeq7.872<0\), and \(\vert \lambda_{2,3} \vert \simeq 0.999<1\). In this case we get \(E_{4}\) is a sink according to case (1.ii) in Theorem 4.
In Figure 1(b) we have \(\bar{\Delta}_{4}=165\mbox{,}217\mbox{,}502.2>0\), \(F(1)\simeq 0.00024>0\), \(F(1)\simeq7.8274<0\), and \(\vert \lambda _{2,3} \vert \simeq0.999<1\). In this case we get \(E_{4}\) is a sink according to case (1.ii) in Theorem 4.
In Figure 1(c) we have \(\bar{\Delta}_{4}=38\mbox{,}548\mbox{,}982.44>0\), \(F(1)\simeq 0.00049>0\), \(F(1)\simeq7.79<0\), and \(\vert \lambda_{2,3} \vert \simeq1.0002>1\). In this case we get \(E_{4}\) is a onedimensional saddle according to case (3.ii.a) in Theorem 4. We see that the fixed point \(E_{4}\) loses its stability at the Hopf bifurcation parameter value \(h\simeq0.086\). For \(h= [ 0,0.15 ] \), there is a cascade of bifurcations. When r increases at certain values, for example, at \(h=0.09\), independent invariant circles appear. When the value of h is increased (Figure 1(c)), the circles break down and some cascades of bifurcations lead to chaos.
Figures 1(c) and 1(d) explain the effect of the parameter α on the behavior of x, y, and z. Figure 2 demonstrates the sensitivity to initial conditions of system (4). We compute two orbits with initial points \(( x_{1},y_{1},z_{1} ) \) and \(( x_{1},y_{1}+0.01,z_{1} ) \), respectively. The compositional results are shown in Figure 2. From this figure it is clear that at the beginning the time series are indistinguishable; but after a number of iterations, the difference between them builds up rapidly, which shows that the model has sensitive dependence on the initial conditions of model (4), ycoordinates of the two orbits, plotted against time; the ycoordinates of initial conditions differ by 0.01, and the other coordinates do not change. In Figure 3 we use some documented data for some parameters like \(\beta=0.5\), \(\gamma=3\), \(\delta=\eta=1\), \(\sigma=3\), \(\alpha=0.95\), then we have \(( x_{1},y_{1},z_{1} ) = ( 0.7,0.3,0.8 ) \), another parameter will be \(h=0.001:0.47\). Figure 3 describes the Hopf bifurcation diagram with respect to h, we note that, as h increases, the behavior of this model (4) becomes very complicated, and the changes of parameter h has an effect on the stability of system (4). The Hopf bifurcation diagrams of system (4) in the \((hx)\), \((hy)\) and \((hz)\) planes are given in Fig. 3.
After calculation for the fixed point \(E_{4}\) of map (4), the Hopf bifurcation emerges from the fixed point \(( 0.7,0.33,0.84 ) \) at \(h=0.086\) and \(( h,\alpha,\beta,\gamma,\delta,\eta,\sigma ) \in HB_{E_{4}}\). From Figure 3, we observe that the fixed point \(E_{4}\) of map (4) loses its stability through a discrete Hopf bifurcation for \(h= [ 0,0.15 ] \). In Figure 4 we use some documented data for some parameters like \(\gamma=3\), \(\delta=\eta=1\), \(\sigma=3\), \(h=0.85\), \(\alpha=0.95\), other parameters will be (a) \(\beta=1.55\), (b) \(\beta=1.4\), (c) \(\beta=1.2\), and (d) \(\beta=1.15\).
Figure 4(a) describes the stable equilibrium of model (4) according to the values of the parameters set out above. From Figure 4(f), 4(g) we can see that reducing and decreasing β causes disappearance of firstperiodic orbits and increase in the chaotic attractors.
In Figure 5, we introduce the 01 test for detecting the chaos. Figure 5(a) indicates that, for \(\beta=1.55\), one obtains \(K=0.066\approx0\). Then the dynamics is regular. Moreover, Figure 5(b) depicts bounded trajectories in the \(( P_{c}(n),Q_{c}(n) ) \) plane. Figure 5(c) indicates that, for \(\beta=1.15\), one obtains \(K=0.9658\approx1\). Then the dynamics is chaotic. Moreover, Figure 5(d) depicts Brownianlike (unbounded) trajectories in the \(( P_{c}(n),Q_{c}(n) ) \) plane.
In Figure 5(e)5(f), we show the asymptotic growth rate K as a function of c for regular (chaotic) dynamics. In the case of regular (chaotic) dynamics, most values of c yield \(K\approx0\) (\(K\approx1\)) as expected.
Figure 5(e)5(f) show the two mean square displacements \(M_{c}\) for system (4) with \(\beta=1.55\) (\(\beta=1.15 \)), which corresponds to regular (chaotic) dynamics.
Conclusion
In this paper, we consider the fractionalorder model consisting of palm trees, the lesser date moth and the predator. We have got a sufficient condition for the existence and uniqueness of the system solution. We have also studied the local stability of all the equilibrium states of the discretized fractionalorder system. Moreover, it has been found that the fractional parameter α has an effect on the stability of the discretized system. To support our theoretical discussion, we also present numerical simulations. We analyze the bifurcation both by theoretical point of view and by numerical simulations. One also needs to mention that when dealing with real life problems, the order of the system can be determined by using the collected data. The transformation of a classical model into a fractional one makes it very sensitive to the order of differentiation α: a small change in α may result in a big change in the final result. From the numerical results, it is clear that the approximate solutions depend continuously on the fractional derivative α.
References
 1.
AlKhayri, JM: Date palm Phoenix dactylifera L. micropropagation. In: Protocols for Micropropagation of Woody Trees and Fruits, pp. 509526. Springer, Berlin (2007)
 2.
Mamun, MSA, Ahmed, M: Prospect of indigenous plant extracts in tea pest management. Int. J. Agric. Res. Innov. Technol. 1, 1623 (2011)
 3.
LeviZada, A, Fefer, D, Anshelevitch, L, Litovsky, A, Bengtsson, M, Gindin, G, Soroker, V: Identification of the sex pheromone of the lesser date moth, Batrachedra amydraula, using sequential SPME autosampling. Tetrahedron Lett. 52, 45504553 (2011)
 4.
Area, I, Losada, J, Nieto, JJ: A note on the fractional logistic equation. Phys. A, Stat. Mech. Appl. 444, 182187 (2016)
 5.
Area, I, Batarfi, H, Losada, J, Nieto, JJ, Shammakh, W, Torres, A: On a fractional order Ebola epidemic model. Adv. Differ. Equ. 2015, Article ID 278 (2015)
 6.
Area, I, Losada, J, Ndaïrou, F, Nieto, JJ, Tcheutia, DD: Mathematical Modeling of 2014 Ebola Outbreak. Mathematical Methods in the Applied Sciences (2015). issn:10991476. doi:10.1002/mma.3794
 7.
Arshad, S, Baleanu, D, Bu, W, Tang, Y: Effects of HIV infection on CD4+ Tcell population based on a fractionalorder model. Adv. Differ. Equ. 2017, Article ID 92 (2017)
 8.
Baleanu, D, Wu, GC, Zeng, SD: Chaos analysis and asymptotic stability of generalized Caputo fractional differential equations. Chaos Solitons Fractals 102, 99105 (2017)
 9.
Elshahed, M, Alsaedi, A: The fractional SIRC model and influenza A. Math. Probl. Eng. 2011, Article ID 480378 (2011)
 10.
Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. NorthHolland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)
 11.
Luchko, Yu: A new fractional calculus model for the twodimensional anomalous diffusion and its analysis. Math. Model. Nat. Phenom. 11, 117 (2016)
 12.
Nepomnyashchy, AA: Mathematical modelling of subdiffusionreaction systems. Math. Model. Nat. Phenom. 11, 2636 (2016)
 13.
Podlubny, I: Fractional Differential Equations. Academic Press, New York (1999)
 14.
Singh, J, Kumar, D, Nieto, JJ: Analysis of an El NinoSouthern oscillation model with a new fractional derivative. Chaos Solitons Fractals 99, 109115 (2017)
 15.
Singh, J, Kumar, D, Al Qurashi, M, Baleanu, D: A new fractional model for giving up smoking dynamics. Adv. Differ. Equ. 2017, Article ID 88 (2017)
 16.
Wu, GC, Baleanu, D, Xie, HP, Chen, FL: Chaos synchronization of fractional chaotic maps based on the stability conditions. Physica A 460, 374383 (2016)
 17.
Wu, GC, Baleanu, D, Xie, HP: Riesz RiemannLiouville difference on discrete domains. Chaos 26, Article ID 084308 (2016)
 18.
AbdElouahab, MS, Hamri, NE, Wang, J: Chaos control of a fractionalorder financial system. Math. Probl. Eng. 2010, Article ID 270646 (2010)
 19.
Ahmed, E, ElSayed, AMA, ElMesiry, EM, ElSaka, HAA: Numerical solution for the fractional replicator equation. Int. J. Mod. Phys. C 16, 10171025 (2005)
 20.
Ahmed, E, ElSayed, AMA, ElSaka, HAA: On some RouthHurwitz conditions for fractional order differential equations and their applications in Lorenz, Rossler, Chua and Chen systems. Phys. Lett. A 358, 14 (2006)
 21.
ElSayed, AMA, Salman, SM: On a discretization process of fractional order Riccati’s differential equation. J. Fract. Calc. Appl. 4, 251259 (2013)
 22.
Maiti, A, Pal, AK, Samanta, GP: Usefulness of biocontrol of pests in tea: a mathematical model. Math. Model. Nat. Phenom. 3, 96113 (2008)
 23.
Venturino, E: Ecoepidemiology: a more comprehensive view of population interactions. Math. Model. Nat. Phenom. 11, 4990 (2016)
 24.
Agarwal, RP, ElSayed, AMA, Salman, SM: Fractionalorder Chua’s system: discretization, bifurcation and chaos. Adv. Differ. Equ. 2013, Article ID 320 (2013). doi:10.1186/168718472013320
 25.
Elsadany, AA, Matouk, AE: Dynamical behaviors of fractionalorder LotkaVoltera predatorprey model and its discretization. Appl. Math. Comput. 49, 269283 (2015)
 26.
Tabakovi, A: On the characterization of steadystates in threedimensional discrete dynamical systems. CREA Discussion Paper 201516, CREA, Université du Luxembourg (2015)
 27.
Hua, Z, Tenga, Z, Jiang, H: Stability analysis in a class of discrete SIRS epidemic models. Nonlinear Anal., Real World Appl. 13, 20172033 (2012)
 28.
Agiza, HN, Elabbasy, EM, ElMetwally, H, Elsadany, AA: Chaotic dynamics of a discrete preypredator model with Holling type II. Nonlinear Anal., Real World Appl. 10, 116129 (2009)
 29.
Elaydi, S: Discrete Chaos: With Applications in Science and Engineering, 2nd edn. Chapman & Hall/CRC, Boca Raton (2008)
 30.
Hu, Z, Teng, Z, Zhang, L: Stability and bifurcation analysis of a discrete predatorprey model with nonmonotonic functional response. Nonlinear Anal., Real World Appl. 12, 23562377 (2011)
 31.
Jury, EI: Inners and Stability of Dynamic Systems. Wiley, New York (1974)
Acknowledgements
This work of JJN has been partially supported by the AEI of the Ministerio de Economia y Competitividad of Spain under Grant MTM201675140P and cofinanced by European Community fund FEDER; and XUNTA de Galicia under grants GRC2015004 and R2016/022.
Author information
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
JJN helped to evaluate, revise and edit the manuscript. MES suggested the model, helped in results interpretation and manuscript evaluation. AMA supervised the development of work. IMEA drafted the article.
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
Cite this article
ElShahed, M., Nieto, J.J., Ahmed, A. et al. Fractionalorder model for biocontrol of the lesser date moth in palm trees and its discretization. Adv Differ Equ 2017, 295 (2017) doi:10.1186/s1366201713491
Received:
Accepted:
Published:
Keywords
 natural enemy
 fractionalorder model
 discrete time
 stability
 numerical method