 Research
 Open Access
 Published:
RETRACTED ARTICLE: Fractionalorder scheme for bovine babesiosis disease and tick populations
Advances in Difference Equations volume 2017, Article number: 86 (2017)
 The Retraction Note to this article has been published in Advances in Difference Equations 2021 2021:114
Abstract
This article shows epidemic model, earlier suggested in ordinary differential equation philosophy, can be extended to fractional order on a reliable agenda of biological comportment. A set of domains for the model wherein allvariables are limited is established. Furthermore, the stability and existence of steadiness points are studied. We present the evidence that the endemic equilibrium (EE) point is locally asymptotically stable when reproduction number \(R_{0} > 1\). This outcome is attained via the linearization statement for fractional differential equations (FDEs). The worldwide asymptotic stability of a diseasefree point, when \(R_{0} < 1\), is also verified by comparison theory for fractional differential equations. The numeric replications for diverse consequences are carried out, and data attained are in good agreement with theoretical outcomes, displaying a vital perception about the use of the set of fractional coupled differential equations to model babesiosis disease and tick populations.
Introduction
Bovine babesiosis (BB) is communicated by the bite of ticks and is the most important disease to attack bovine populations in humid areas. In hot and warm areas there is great financial loss due to bovine death by BB, with decrease of bovine products and byproducts. Besides, the environment conditions in those regions favor the survival and reproduction of ticks, so bovines have an enduring interaction with these vectors [1]. What is more, the vertical spread in bovines and ticks is likely to happen when the ovaries of the female ticks are plagueridden by parasites [1]. The behavior dynamics of syndromes has been considered for a stretched period and is an important issue in the real world. The most important model that can be used to interpret the disease characteristic of epidemics is the susceptibleinfectedrecovered (SIR) model that was developed by Kermack and McKendrick [2]. Various types of diseases are studied by this type of ordinary differential equation system. Aranda et al. [3] introduced the epidemiological model for bovine babesiosis and tick populations disease. In this work the qualitative dynamics behavior is determined by the reproduction number \(R_{0}\). If the threshold parameter \(R_{0} < 1\) is proved by the LaSalleLyapunov theorem, then the solution converges to the disease free equilibrium (DFE) point. However, if \(R_{0} > 1\), the merging is to the EE point by numerical imitations. In recent years, the theory of networks epidemiological model has been introduced in the literature. The purpose of this modification is to have a better understanding and prediction of epidemic patterns and intervention measures. For more details, see [4–6].
Leibniz, one of the originators of ordinary calculus, introduced the concept of fractional calculus in a memo transcribed in 1695. In latest eras, FDEs have become one of the most important topics in mathematics and have received much consideration and growing curiosity due to the options of unfolding nonlinear systems and due to their prospective applications in physics, control theory, and engineering [7–15]. The benefit of FDE systems is that they allow greater degrees of freedom and incorporate the memory effect in the model. Due to this fact, they were introduced in epidemiological modeling systems. In [16], a fractional order for the dynamics of A (H1N1) influenza disease was studied by numerical simulations. Pooseh et al. [17] and Diethelm [18] introduced fractional dengue models. In this article the parameters of equations obtained in the field research do not reproduce well the evolution of the disease in the case of entire order model. However, when we consider the fractional system with the same parameters obtained in the field, the data are better adjusted, which shows an advantage of the fractional system. In [11] the parameter θ is associated with a memory effect. In [19], the authors attribute to θ the memory information of the dengue diseases. In this article, we ponder on the fractional order system linked with the development of BB disease and tick populations. We introduce a broad view of the classical model presented by Aranda et al. [3]. The generalization is attained by changing the ordinary derivative with the fractional Caputo derivative. It is easy to see that when \(\theta=1\) we return to the classical model. For the construction of this model by Aranda et al. [3], the compartments of populations and the biological hypothesis are used. This argument is well established in the disease transmission theory. Aranda et al. use theorems well established in the literature for ordinary differential systems. To prove our results, it is necessary to use tools different from those used for the integer order. This is due to the fact that the versions of LaSalle invariance theorem used by Aranda et al. are not found in the literature for fractionalorder systems. Therefore, we emphasize that the work presents collaboration in this direction when using the comparison theory for fractionalorder systems to verify the worldwide stability of DFE point of the disease by introducing a new type of results in the literature. On the other hand, we also have a test on the native asymptotic stability of EE point, a result that was just enunciated by Aranda et al. [3]. We obtain a generalization of all results in [3]. Our simulation shows that the fractional model has great potential to describe the real problem without the need for adjustment of parameters obtained in the field research. This is due to a greater flexibility of adjustment obtained with the introduction of the new parameter.
Fractional calculus represents a generalization of the ordinary differentiation and integration to noninteger and complex order [20]. The generalization of differential calculus to noninteger orders of derivatives can be traced back to Leibnitz [21]. The main reason for using integer order models was the absence of solution methods for fractional differential equations. It is an emerging field in the area of applied mathematics and mathematical physics such as chemistry, biology, economics, image, and signal processing, and it has many applications in many areas of science and engineering [22], for example, viscoelasticity, control theory, heat conduction, electricity, chaos and fractals, etc. [20]. Various applications, like in the reaction kinetics of proteins, the anomalous electron transport in amorphous materials, the dielectrical or mechanical relation of polymers, the modeling of glass forming liquids and others, are successfully performed in numerous papers [21].
The physical and geometrical meaning of the noninteger integral containing the real and complex conjugate powerlaw exponent has been proposed. Finding examples of real systems described by the fractional derivative is an open issue in the area of fractional calculus [20]. Since integer order differential equations cannot precisely describe the experimental and field measurement data, as an alternative approach, noninteger order differential equation models are now being widely applied [23, 24]. The advantage of fractionalorder differential equation systems over ordinary differential equation systems is that they allow greater degrees of freedom and incorporate memory effect in the model. In other words, they provide an excellent tool for the description of memory and hereditary properties which were not taken into account in the classical integer order model [25]. The calculus of variations is widely applied for some disciplines like engineering, pure and applied mathematics. Moreover, the researchers have recently proved that the physical systems with dissipation can be clearly modeled more accurately by using fractional representations [22]. Recently, most of the dynamical systems based on the integer order calculus have been modified into the fractional order domain due to the extra degree of freedom and the flexibility which can be used to precisely fit the experimental data much better than in the case of the integer order modelling.
Purohit and Kalla [26] discussed the generalized fractional partial differential equations involving the Caputo timefractional derivative and the Liouville spacefractional derivatives. The solutions of these equations are obtained using Laplace and Fourier transforms. Also Purohit [27] discussed the generalized fractional partial differential involving the Hilfer timefractional derivative and the spacefractional generalized Laplace operators occurring in quantum mechanics. Chouhan et al. [28] presented the method for deriving the solution of the generalized forms of fractional differential equation and Volterratype differential equation. Nisar et al. [29] discussed a generalized fractional kinetic equation involving generalized Bessel function of the first kind. Also some of interesting nonlinear models and fractional models have been discussed in [30–33].
This article is organized in four segments. Introduction is the first segment in which we elaborate on some history of fractional calculus. In Section 2, we elaborate notations related to the concept of FDEs. In Section 3, we ponder on the fractionalorder model linked with the dynamics of bovine babesiosis and tick populations. Qualitative dynamics of the model are resoluted by the elementary reproduction number. We provide a comprehensive investigation for the global asymptotical stability of DFE point and the native asymptotical stability of EE point. In Section 4, numerical imitations are offered to validate the main outcomes, and finally conclusion is drawn in Section 5.
Preliminaries
For several ages, there have been numerous definitions that fit the notion of fractional derivatives [10, 34]. In this article the RiemannLiouville fractional derivative, the Caputo fractional derivative, and GrunwaldLetnikov definitions are presented. Firstly, we introduce the definition of RiemannLiouville fractional integral
where \(\varphi>0\), \(f\in L^{1} ( R^{+} )\), and \(\Gamma (\cdot)\) is gamma function.
The RiemannLiouville derivative is given by
The Caputo fractional derivative (CFD) is agreed to be as follows:
where m is the first integer not less than φ.
The GrunwaldLetnikov derivative is given by
where \([\cdot]\) means the integer part.
The Laplace transform of the CFD is specified by
The MittagLeffler function is defined by the following infinite power series:
The Laplace transform of the functions is
Let \(\alpha, \beta > 0\), and \(z \in \mathbb{C}\), and the MittagLeffler functions satisfy the equality given by Theorem 4.2 in [10]
Demarcation 1
A function F is Holder continuous if there are nonnegative amounts G, ν such that
for all u, v in the purview of F and ν is the Holder exponent. We represent the space of Holdercontinuous functions by \(G^{0,\nu}\).
We improve a generalized inequality, in which the core appraisal system is a vector fractional order system.
A nonnegative (resp., positive) vector ν means that each constituent of ν is nonnegative (resp., positive). We represent a nonnegative (resp., positive) vector by \(0 \leq\leq \nu\) (resp., \(0 \ll \nu\)).
Consider the fractional order system
with the initial condition \(w ( 0 ) = w_{0}\), where \(D_{C}^{\varphi} w ( t ) =( D_{C}^{\varphi} w_{1} ( t ), D_{C}^{\varphi} w_{2} ( t ), D_{C}^{\varphi} w_{3} ( t ),\dots, D_{C}^{\varphi} w_{m} ( t ) )^{H}\), \(0< \varphi<1\), \(w ( t ) \in \mathcal{F}\subset R^{m}\), \(t\in [ 0,H )\) (\(H\leq\infty\)), \(\mathcal{F}\) is an open set, \(0\in \mathcal{F}\), and \(g: [ 0,H ) \times \mathcal{ F}\rightarrow R^{m}\) is continuous in t and mollifies the Lipschitz condition
for all \(w ',w''\in \Omega \subset \mathcal{F}\), where \(W>0\) is a Lipschitz constant.
Theorem 1
see [15]
Let \(u(t)\), \(t \in [ 0, H)\), be the solution of system (10). If there exists a vector function \(w = ( w_{1}, w_{2}, \dots, w_{m} )^{H}: [ 0,H ) \rightarrow \mathcal{F}\) such that \(w_{i} \in G^{0,\nu}\), \(\varphi< w<1\), \(i=1,2,\dots, m\), and
If \(w(0)\leq\leq u_{0}\), \(u_{0} \mathcal{\in F}\), then \(w\leq\leq u\), \(t\in [ 0,H ]\).
Let \(g \mathcal{:F\rightarrow} R^{m}\), \(\mathcal{F\in} R^{m}\), we consider the following system of fractional order:
Demarcation 2
We say that E is an equilibrium point of (13) if and only if \(g ( E ) =0\).
Remark 1
When \(\varphi \in ( 0, 1 )\), the fractional system \(D_{C}^{\varphi} x ( t ) =g(x)\) has identical equilibrium points as the arrangement \(x ' ( t ) =g(x)\).
Definition 3
The equilibrium point E of autonomous system (13) is said to be stable if for all \(\epsilon>0\), \(\varepsilon>0\) exists such that if \(\Vert x_{0} E \Vert <\varepsilon\), then \(\Vert xE \Vert <\epsilon\), \(t \geq0\); the equilibrium point E of autonomous system (13) is said to be asymptotically unwavering if \(\lim_{t\rightarrow\infty} x(t) =E\).
Theorem 2
[12]
The equilibrium points of system (13) are locally asymptotically stable if all eigenvalues \(\lambda_{\mathrm{i}}\) of the Jacobian matrix J, calculated in the equilibrium points, satisfy \(\vert \arg ( \lambda_{\mathrm{i}} ) \vert > \varphi \frac{\pi}{2}\).
Mathematical model
In this segment, we introduce the fractional model for the BB in bovine and tick populations. We use the assumptions in Aranda et al. [3] and introduce the following hypotheses.

(i)
The total of bovine population \(T_{B} (t)\) is distributed into threefold subpopulations:

(a)
the susceptible \(X_{B} (t)\) that can turn into infected;

(b)
the infected \(Y_{B} (t)\), that is, bovines infected by Babesia parasite;

(c)
the recovered or controlled \(Z_{B} (t)\) that have been cured.

(a)

(ii)
The birth rate factor of bovine is represented by \(\mu_{B}\). The birth rate μ is presumed to be equal to the normal demise.

(iii)
\(T_{T} (t)\) is the entire population of ticks that is distributed into twofold subpopulations:

(a)
\(X_{T} (t)\) is tick population which may become infected by the disease;

(b)
ticks infected by Babesia parasite are represented by \(Y_{T} (t)\).

(a)

(iv)
The birth rate factor of ticks is represented by \(\mu_{T}\), and it is presumed to be equal to the normal demise rate.

(v)
A susceptible bovine can move to the infected subpopulation \(Y_{B} (t)\) as of an effective transmission due to a sting of an infected tick at rate \(\beta_{B}\).

(vi)
A susceptible tick may be infected if there exists an active diffusion when it bites a diseased bovine at rate \(\beta_{T}\).

(vii)
We presumed a hundred percent vertical diffusion in the bovine population \(\mu_{B}\). In the tick population it befalls with possibility \(1p\), where p is the possibility that a susceptible tick was born from an infected one.

(viii)
A fraction \(\lambda_{B}\) of the diseased bovine is controlled, i.e., free from Babesia parasite.

(ix)
A fraction α of the controlled bovine can yield to the susceptible state, \(\alpha\in ( 0, 1 )\).

(x)
Identical involvement is presumed, i.e., all susceptible bovines have equal possibility to the diseased, and all susceptible ticks have equal possibility to the diseased.
In the above conventions, the transmission dynamics of babesiosis disease to bovine and tick populations can be modeled by the following system [3]:
Fractional order model
In current years, a substantial attention to the fractional calculus has been shown, which allows us to consider integration and differentiation of any order. To a large extent, this is due to the uses of fractional calculus to problems in different areas of research. The benefit of FDE systems is that they allow greater degrees of freedom and incorporate memory effect in the model. Now we describe a new system of FDEs to model the babesiosis disease in bovine and tick populations, and in this system \(\phi \in ( 0, 1 )\).
Simplifying system (15), using the bovine and tick populations’ constants \(T_{B}\) and \(T_{T}\), respectively, and introducing the proportions
we attain the following fractional system that defines the dynamics of bovine quantity in each class:
Defined in the region \(\Omega = \{ ( U,V,Z ):0\leq U+V\leq1, 0\leq Z\leq1 \}\), the system is called commensurate if \(\phi=\phi_{1} = \phi_{2} = \phi_{3}\); otherwise it is called incommensurate. The chaotic behavior of the system, when the total order of system is less than three, is an interesting topic, and it is connected to the fractal phase space in dynamics. Next we show all variables of the babesiosis model living in Ω for all time \(t\geq0\). To establish our first result, we introduce the following lemma.
Lemma 1
see [35]
Let the function \(f\in C[ t_{0}, t_{1} ]\) and its fractional derivative \(D_{C}^{\varphi} f ( t ) \in C[ t_{0}, t_{1} ]\) for \(0\leq \varphi<1\), and \(t_{0}, t_{1} \mathbb{\in R}\); then one has
for all \(t\in( t_{0}, t_{1}]\), where \(t_{0} \leq\tau< t\).
Therefore, considering the interval \([0, t_{1} ]\) for any \(t_{1} >0\), this theorem infers that the function \(f: [0,t_{1} ]\rightarrow \mathbb{R}^{+}\) is nonincreasing on \((0, t_{1})\) if \(D_{C}^{\varphi} f ( t ) \leq0\) for all \(t\in( 0,t_{0} )\) and nondecreasing on \([ 0,t_{0} ]\) if \(D_{C}^{\varphi} f ( t ) \geq0\) for all \(t\in( 0,t_{0} )\).
Preposition 1
The region \(\Omega = \{ ( U,V,Z ):0\leq U+V\leq1, 0\leq Z\leq1 \}\) is a positive invariant set for system of (17).
Proof
By Theorem 3.1 and Remark 3.2 in [36], we obtain the global presence and rareness of the elucidations of (17).
We denote \(\Omega_{+} = \{ ( U,V,Z ):U\geq0,V\geq0,Z\geq0 \}\) if \(( U(0),V(0),Z(0) ) \in U\text{axis}=\{ ( U,0,0 ):U\geq0\}\). Similarly, we can define Vaxis and Zaxis. The vector field from (17) confined in Uaxis assumes the form \(F ( U,V,Z ) =( ( \mu_{B} + \alpha ) ( 1U ( t ) ), 0,0)\) by the Laplace transform properties (7), and we obtain the elucidation
By the same argument, if \(( U(0),V(0),Z(0) ) \in V\)axis, we obtain
and if \(( U(0),V(0),Z(0) ) \in Z\)axis, we have
This proves that axes U, V, and Z are solutions and positive invariant sets.
Now, we will prove that \(\Omega_{+}\) is a positive invariant set. By way of contradiction, suppose there exists a solution \(( U,V,Z )\) such that \(( U ( 0 ),V ( 0 ),Z ( 0 ) ) \in \Omega_{+}\) and the solution \(( U,V,Z )\) to escape of \(\Omega_{+}\). From the previous argument and by the unicity of solutions, \(( U,V,Z )\) does not cross the axis. After the previous conclusion, there are three possibilities.

(i)
If the solution \(( U,V,Z )\) escapes by the plane \(U ( t ) =0\), then there exists \(t_{0}\) such that \(U ( t_{0} ) =0\), \(V ( t_{0} ) >0\), and \(Z ( t_{0} ) >0\); and for all \(t> t_{0}\) sufficiently near \(t_{0,}\) we have \(U ( t_{0} ) <0\). Alternatively, \(D_{C}^{\varphi} U ( t )  _{t= t_{0}} = ( \mu_{B} + \alpha ) ( 1V ( t_{0} ) ) > ( \mu_{B} + \alpha ) >0\). From Lemma 1, we obtain \(U \geq U ( t_{0} ) \geq0\) for all t sufficiently near \(t_{0}\), and it is not true.

(ii)
If the solution \(( U,V,Z )\) escapes by the plane \(V ( t ) =0\), then there exists \(t_{0}\) such that \(U ( t_{0} ) >0\), \(V ( t_{0} ) =0\), and \(Z ( t_{0} ) >0\); and for all \(t> t_{0}\) sufficiently near \(t_{0,}\)we have \(V ( t_{0} ) <0\). Alternatively, \(D_{C}^{\varphi} V ( t )  _{t= t_{0}} = \beta_{B} U( t_{0} ) Z ( t_{0} ) >0\). From Lemma 1, we obtain \(V ( t ) \geq V ( t_{0} ) \geq0\) for all t sufficiently near \(t_{0}\), and it is not true.

(iii)
If the solution \(( U,V,Z )\) escapes by the plane \(Z ( t ) =0\), then there exists \(t_{0}\) such that \(U ( t_{0} ) >0\), \(V ( t_{0} ) >0\), and \(Z ( t_{0} ) =0\); and for all \(t> t_{0}\) sufficiently near \(t_{0,}\)we have \(Z ( t_{0} ) <0\). On the other hand, \(D_{C}^{\varphi} Z ( t )  _{t= t_{0}} = \beta_{T} V( t_{0} )>0\). From Lemma 1, we obtain \(Z\geq Z ( t_{0} ) \geq0\) for all t sufficiently near \(t_{0}\), and it is false.
Therefore, we obtain \(U\geq0\), \(V\geq0\), and \(Z\geq0\) for all \(t\geq0\).
If \(0\leq U ( 0 ) +V(0)\leq1\), from the first two equations of system (17), we get
Applying the Laplace transform in the previous inequality, we have
That can be written as
From the Laplace transform properties (7) and (8), we infer that
Therefore, we have that \(0\leq U ( t ) +V ( t ) \leq1\).
On the other hand, if \(0\leq Z ( t ) \leq1\), from system (17) we obtain
The proof of \(0\leq Z ( t ) \leq1\) is similar to the previous case. Finally, we conclude that Ω is a positive invariant set. □
Existence and stability of equilibrium points
There are two equilibrium points of system (17). Motivated by Aranda et al. [3], we will use the following threshold parameter. For more details on the threshold parameter, see [37, 38].
The value that \(R_{0}\) yields can specify the situations in which the epidemic is likely. In the drug using context, \(R_{0}\) tells us, on average, the total number of people that each single drug user will initiate to drug use through the drug using career.
\(R_{0}\) sensitivity analysis
To examine the sensitivity of \(R_{0}\) to each of its factors,
Thus \(R_{0}\) is increasing with \(\beta_{B}\) & \(\beta_{T}\) and is decreasing with \(\lambda_{B}\), \(\mu_{T}\) & p.
Stability of DFE
System (17) has the DFE, i.e., \(E_{0} =(1,0,0)\), for all the values of the factors in this system, whereas only if \(R_{0} >1\), there is a (unique) EE point, i.e., \(E_{1} =( U^{*}, V^{*}, Z^{*} )\), where
in the interior of Ω.
The Jacobian matrix of system (17) is
Now the Jacobian of system (17) at the DFE \((1,0,0)\) is
Consequently, the eigenvalues of \(J( E_{0} )\) are
It is easy to see that \(\lambda_{2}\) and \(\lambda_{3}\) are negative numbers. If \(R_{0} <1\), we observe
So,
and
Therefore \(\lambda_{2} <0\) and \(\lambda_{3} <0\); then we have that all the eigenvalues of the Jacobian matrix at \(E_{0}\) are negative, i.e., \(\vert \arg ( \lambda_{i} ) \vert =\pi\), \(i=1,2,3\), and from Theorem 2, we have that the DFE point \(E_{0}\) is locally asymptotically stable. Consequently, we have the following theorem.
Theorem 3
If \(R_{0} <1\), then the diseasefree point \(E_{0}\) is locally asymptotically stable.
Now we will prove the global asymptotic stability of the DFE point.
Theorem 4
If \(R_{0} <1\), then the diseasefree point \(E_{0}\) is worldwide asymptotically stable.
Proof
Suppose that \(( U,V,Z )\) is the elucidation of system (17). Creating the variation of variables \(M=1U\), we obtain the new system
It is easy to see that
From the above, it follows that the solutions \(( M,V, Z )\) of system (31) satisfy the differential inequality
Moreover, inspired by (33), let \(( S,T,W )\) be the solution of the fractional linear system
with ICs \(( S ( 0 ),T ( 0 ),W ( 0 ) ) \in\Omega\). The Jacobian of system (34) is
So the Jacobian at the DFE is
and the eigenvalues of \(J( E_{0} )\) are the same as derived above. Here we have proved that all the eigenvalues are negative. Thus \(\vert \arg ( \lambda_{i} ) \vert =\pi\), \(i=1,2,3\), and we can conclude that \(\lim_{t\rightarrow\infty} S=0\), \(\lim_{t\rightarrow\infty} T=0\), \(\lim_{t\rightarrow\infty} W=0\). So, by Theorem 1, we have \(( M,V, Z ) \leq\leq ( S,T,W )\). This implies that \(\lim_{t\rightarrow\infty} ( M,V, Z ) =(0,0,0)\), and it follows that \(( U,V, Z )\) converges to the DFE point \(E_{0} =(1,0,0)\), when \(R_{0} <1\). □
Stability of EE
Now we will show the local stability of the EE point \(E_{1}\) with the help of some definitions [39, 40].
Definition 4
Let Q be any matrix of real and complex numbers with order \(n\times m\), let \(q_{i_{1},\dots, j_{k}}\)be the minor of A determined by the rows \((i_{1},\dots, i_{k})\) and the columns \((j_{1,} \dots, j_{k})\), with \(1\leq i_{1} < i_{2} <\cdots< i_{k} \leq n\), and \(1\leq j_{1} < j_{2} <\cdots< j_{k} \leq m\). The kth multiplicative compound matrix of \(Q^{k}\) of Q is the \(( \frac{n}{k} ) \times ( \frac{n}{k} )\) matrix whose entries, written in a lexicographic order, are \(q_{i_{1},\dots, j_{k}}\). When Q is an \(n\times m\) matrix with columns \(q_{1}, q_{2},\dots, q_{k}\), \(Q^{k}\) is the exterior product \(q_{1} \wedge q_{2} \wedge\cdots\wedge q_{k}\).
Definition 5
Let \(Q= q_{ij}\) be an \(n\times n\) matrix, its kth additive compound matrix of \(Q^{k}\) of Q is the \(( \frac{n}{k} ) \times ( \frac{n}{k} )\) matrix given by \(Q^{[k]} = \vert D(I+hQ)^{(k)} \vert =0\), where D is a differentiation with respect to h. For any integers \(i=1,\dots, ( \frac{n}{k} )\), let \(( i ) =( i_{1},\dots, i_{k} )\) be the ith member in the lexicographic ordering of all ktuples of integers such that \(1\leq i_{1} < i_{2} <\cdots< i_{k} \leq i_{n}\), then
Remark 2
For \(n=3\), the matrices \(Q^{[k]}\) are as follows:
Lemma 2
Let O be a \(3\times3\) real matrix. If \(\operatorname {tr}( O ) <0\), \(\det ( O ) <0\), and \(\det ( O^{[2]} ) <0\) are all negative, then all eigenvalues of O have negative real parts.
Theorem 5
If \(R_{0} >1\), \(( \mu_{B} + \alpha ) > \beta_{T}\), and \(( \mu_{B} + \alpha ) > \beta_{B}\), then EE point \(E_{1}\) is locally asymptotically stable.
Proof
The Jacobian matrix of system (17) is given in (29).
From (29)
To see that \(\det ( J( E_{1} ) ) <0\), we proceed as follows.
Since
substituting (37) in (29), we have
On simplification
We can easily see that \(\det ( J( E_{1}) ) <0\), because all the parameters are positive constants.
Now we will show that \(\det ( J^{[2]} ( E_{1} ) ) <0\).
For this,
Analyzing the terms of equality above, we have
Then \(\det ( J^{[2]} ( E_{1} ) ) <0\), and from Lemma 2, the EE point \(E_{1}\) is locally asymptotically stable. Hence the end of the proof of Theorem 5. □
Numerical simulations
In this section, we simulate different possible scenarios to check the effect that some values of fractional exponent ϕ have on the dynamics of bovine babesiosis disease and tick populations. For comparison purposes, we will use the same parameters as Aranda et al. [3].
AdamsBashforthMoulton method
For numerical elucidations of system (17), one can use the generalized AdamsBashforthMoulton method. To provide the estimated elucidation by means of this algorithm, consider the following nonlinear fractional differential equation [41]:
The equation is equivalent to the Volterra integral equation
Diethelm et al. used the predictorcorrector scheme [42–44] based on the AdamsBashforthMoulton algorithm to integrate (40). Also, by setting \(h= \frac{T}{N}\), \(t_{n} =n h\), and \(n=0,1,2,\dots,N\in Z^{+}\), (17) can be discretized as follows [41]:
where
with
and
with \(i=1,2,3\).
Diseasefree equilibrium
Endemic equilibrium
Conclusions
We have obtained the worldwide asymptotical stability of diseasefree equilibrium using comparison theory of fractional differential equations since \(R_{0} < 1\). Therefore the proof that the endemic equilibrium point, when \(R_{0} > 1\), \(\mu_{B} + \alpha > \beta_{B}\), and \(\mu_{B} + \alpha > \beta_{T}\), is locally asymptotically stable was attained using the linearization theorem for fractional differential equations. Moreover, if \(R_{0} < 1\), then the system evolves to the endemic equilibrium point. To return to a diseasefree status, the \(R_{0}\) value should be greater than 1. \(R_{0} < 1\) is achieved when parameters \(\beta_{B}\) and \(\beta_{T}\) are very small or when parameters \(\lambda_{B}\), \(\mu_{T}\), and p are very large. Therefore, a biological strategy to combat babesiosis disease would have to focus on one of these parameters. These results were confirmed by numerical simulations using the AdamsBashforthMoulton algorithm. Numerical simulations of an improved epidemic model with arbitrary order have shown that fractional order is related to relaxation time, in other words, the time taken to reach equilibrium. The chaotic behavior of the system when the total order of system is less than three is sketched. A comparison between four different values of the fractional order is shown in Figures 1, 2, 3, and 4, with the same control parameter as \(\mu_{B} =0.0002999\), \(\alpha=0.001\), \(\beta_{B} =0.006\), \(\lambda_{B} =0.000265\), \(\beta_{T} =0.00048\), \(\mu_{T} =0.001609\), \(p=0.1\). Figures 1, 2, 3, and 4 show different behaviors for \(\phi =0.7\), \(\phi =0.8\), \(\phi =0.9\), and \(\phi=1\). For all four cases, the disease evolves to the diseasefree equilibrium point and endemic equilibrium point; however, it is slower when \(\phi=0.9\), when \(\phi=0.8\), it is slower than \(\phi=0.9\). And it is much slower when \(\phi=0.7\). Numerical simulations with different order show that the system decays to equilibrium condition like power law \(t^{ \phi}\), as previously established in [45]. This result provides an important insight about the use of fractional order to model the dynamics of babesiosis disease and tick population. The proof shown here should be used as a guide in the study of equilibrium conditions in similar problems, such as tuberculosis [46], malaria [47], or toxoplasmosis disease [48].
Change history
19 February 2021
A Correction to this paper has been published: https://doi.org/10.1186/s1366202103279y
References
 1.
Benavides, E: Considerations with respect to the epizootilogia of an aplasmosis and babesiosis in the bovines. ACOVEZ 31, 411 (1985)
 2.
Kermack, WO, McKendrick, AG: A contribution to the mathematical theory of epidemics. Proc. R. Soc. A, Math. Phys. Eng. Sci. 115, 700721 (1927)
 3.
Aranda, DF, Trejos, DY, Valverde, JC, Villanueva, RJ: A mathematical model for babesiosis disease in bovine and tick populations. Math. Methods Appl. Sci. 35(3), 249256 (2012)
 4.
Keeling, MJ, Eames, KTD: Networks and epidemic models. J. R. Soc. Interface 2(4), 295307 (2005)
 5.
Wang, Y, Jin, Z, Yang, Z, Zhang, ZK, Zhou, T, Sun, GQ: Global analysis of an SIS model with an infective vector on complex networks. Nonlinear Anal., Real World Appl. 13(2), 543557 (2012)
 6.
Wang, Y, Cao, J: Global dynamics of a network epidemic model for waterborne diseases spread. Appl. Math. Comput. 237, 474488 (2014)
 7.
Caputo, M: Lectures on seismology and rheological tectonics. Lecture Notes, Dipartimento di Fisica, Università La Sapienza, Roma, Italy (1992)
 8.
Ciesielski, M, Leszczynski, J: Numerical simulations of anomalous diffusion. In: CMM (2003). http://arxiv.org/abs/mathph/0309007
 9.
Demirci, E, Ozalp, N: A method for solving differential equations of fractional order. J. Comput. Appl. Math. 236(11), 27542762 (2012)
 10.
Diethelm, K: The Analysis of Fractional Differential Equations: An ApplicationOriented Exposition Using Operators of Caputo Type. Springer, Berlin (2004)
 11.
Du, M, Wang, Z, Hu, H: Measuring memory with the order of fractional derivative. Sci. Rep. 3, 3431 (2013)
 12.
Li, C, Ma, Y: Fractional dynamical system and its linearization theorem. Nonlinear Dyn. 71(4), 621633 (2013)
 13.
Lorenzo, CF, Hartley, TT: Initialization, conceptualization, and application in the generalized (fractional) calculus. Crit. Rev. Biomed. Eng. 35(6), 447553 (2007)
 14.
McCall, PJ, Kelly, DW: Learning and memory in disease vectors. Trends Parasitol. 18(10), 429433 (2002)
 15.
Wang, Z, Yang, D, Ma, T, Sun, N: Stability analysis for nonlinear fractionalorder systems based on comparison principle. Nonlinear Dyn. 75(12), 387402 (2014)
 16.
GonzálezParra, G, Arenas, AJ, ChenCharpentier, BM: A fractional order epidemic model for the simulation of outbreaks of influenza A(H1N1). Math. Methods Appl. Sci. 37(15), 22182226 (2014)
 17.
Pooseh, S, Rodrigues, H, Torres, D: Fractional derivatives in dengue epidemics. AIP Conf. Proc. 1389, 739742 (2011)
 18.
Diethelm, K: A fractional calculus based model for the simulation of an outbreak of dengue fever. Nonlinear Dyn. 71(4), 613619 (2013)
 19.
Sardar, T, Rana, S, Chattopadhyay, J: A mathematical model of dengue transmission with memory. Commun. Nonlinear Sci. Numer. Simul. 22(13), 511525 (2015)
 20.
Baleanu, D, Golmankhaneh, AK, Golmankhaneh, AK, Nigmatullin, RR: Newtonian law with memory. Nonlinear Dyn. 60, 8186 (2010)
 21.
Baleanu, D, Mustafa, OG: On the global existence of solutions to a class of fractional differential equations. Comput. Math. Appl. 59, 18351841 (2010)
 22.
Agila, A, Baleanu, D, Eid, R, Irfanoglu, B: Applications of the extended fractional EulerLagrange equations model to freely oscillating dynamical systems. Rom. J. Phys. 61(34), 350359 (2016)
 23.
West, BJ, Grigolini, P, Metzler, R, Nonnenmacher, TF: Fractional diffusion and Le’vy stable processes. Phys. Rev. E 55(1), 99106 (1997)
 24.
Metzler, R, Klafter, J: The random walk’s guide to anomalous diffusion: a fractional dynamics approach. Phys. Rep. 339, 177 (2000)
 25.
Golmankhaneh, AK, Arefi, R, Baleanu, D: Synchronization in a nonidentical fractional order of a proposed modified system. J. Vib. Control 21(6), 11541161 (2015)
 26.
Purohit, SD, Kalla, SL: On fractional partial differential equations related to quantum mechanics. J. Phys. A, Math. Theor. 44(4), 045202 (2011)
 27.
Purohit, SD: Solutions of fractional partial differential equations of quantum mechanics. Adv. Appl. Math. Mech. 5(5), 639651 (2013)
 28.
Chouhan, A, Purohit, SD, Saraswat, S: An alternate method for solving generalized differential equations of fractional order. Kragujev. J. Math. 37(2), 299306 (2013)
 29.
Nisar, KS, Purohit, SD, Mondal, SR: Generalized fractional kinetic equations involving generalized Struv function of the first kind. J. King Saud Univ., Sci. 28(2), 167171 (2016)
 30.
Baleanu, D, Diethelm, K, Scalas, E, Trujillo, J: Fractional Calculus: Models and Numerical Methods, vol. 3. World Scientific, Singapore (2012)
 31.
Zafar, Z, Ahmad, MO, Pervaiz, A, Rafiq, M: Fourth order compact method for one dimensional inhomogeneous telegraph equation with \(O(h^{4},k^{3})\). Pak. J. Eng. Appl. Sci. 14, 96101 (2014)
 32.
Zafar, Z, Rehan, K, Mushtaq, M, Rafiq, M: Numerical modeling for nonlinear biochemical reaction networks. IJMC (Accepted manuscript)
 33.
Zafar, Z, Rehan, K, Mushtaq, M, Rafiq, M: Numerical treatment for nonlinear Brusselator chemical model. J. Differ. Equ. Appl. (2016). doi:10.1080/10236198.2016.1257005 (online on 21st Nov, 2016)
 34.
Podlubny, I: Fractional derivatives: history, theory, application. Utah State University, Logan, Utah, USA (2005)
 35.
Odibat, ZM, Shawagfeh, NT: Generalized Taylor’s formula. Appl. Math. Comput. 186(1), 286293 (2007)
 36.
Lin, W: Global existence theory and chaos control of fractional differential equations. J. Math. Anal. Appl. 332(1), 709726 (2007)
 37.
CintrónArias, A, CastilloChávez, C, Bettencourt, LM, Lloyd, AL, Banks, HT: The estimation of the effective reproductive number from disease outbreak data. Math. Biosci. Eng. 6(2), 261282 (2009)
 38.
Dietz, K: The estimation of the basic reproduction number for infectious diseases. Stat. Methods Med. Res. 2(1), 2341 (1993)
 39.
Marsh, K, Otoo, L, Hayes, RJ, Carson, DC, Greenwood, BM: Antibodies to blood stage antigens of Plasmodium falciparum in rural Gambians and their relation to protection against infection. Trans. R. Soc. Trop. Med. Hyg. 83(3), 293303 (1989)
 40.
Tumwiine, J, Mugisha, JYT, Luboobi, LS: A mathematical model for the dynamics of malaria in a human host and mosquito vector with temporary immunity. Appl. Math. Comput. 189(2), 19531965 (2007)
 41.
Li, C, Tao, C: On the fractional Adams method. Comput. Math. Appl. 58(8), 15731588 (2009)
 42.
Diethelm, K: An algorithm for the numerical solution of differential equations of fractional order. Electron. Trans. Numer. Anal. 5, 16 (1997)
 43.
Diethelm, K, Ford, NJ: Analysis of fractional differential equations. J. Math. Anal. Appl. 265(2), 229248 (2002)
 44.
Diethelm, K, Ford, NJ, Freed, AD: A predictorcorrector approach for the numerical solution of fractional differential equations. Nonlinear Dyn. 29(14), 322 (2002)
 45.
Matignon, D: Stability results for fractional differential equations with applications to control processing. Comput. Eng. Syst. Appl. 2, 963968 (1996)
 46.
McCluskey, C, Van den Driessche, P: Global analysis of tuberculosis models. J. Differ. Equ. 16, 139166 (2004)
 47.
Ngwa, GA, Shu, WS: A mathematical model for endemic malaria with variable human and mosquito populations. Math. Comput. Model. 32(78), 747763 (2000)
 48.
GonzálezParra, GC, Arenas, AJ, Aranda, DF, Villanueva, RJ, Jódar, L: Dynamics of a model of toxoplasmosis disease in human and cat populations. Comput. Math. Appl. 57(10), 16921700 (2009)
Acknowledgements
We would like to thank the referees for their valuable comments.
Author information
Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The authors have achieved equal contributions. All authors read and approved the final version of the manuscript.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This article has been retracted. Please see the retraction notice for more detail:https://doi.org/10.1186/s1366202103279y
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
Zafar, Z.U.A., Rehan, K. & Mushtaq, M. RETRACTED ARTICLE: Fractionalorder scheme for bovine babesiosis disease and tick populations. Adv Differ Equ 2017, 86 (2017). https://doi.org/10.1186/s1366201711332
Received:
Accepted:
Published:
Keywords
 bovine babesiosis
 stability
 predictorcorrector technique
 reproduction number