 Research
 Open access
 Published:
Fractional calculus model of GATAswitching for regulating the differentiation of a hematopoietic stem cell
Advances in Difference Equations volume 2014, Article number: 201 (2014)
Abstract
This paper deals with the fractional order model for GATAswitching for regulating the differentiation of a hematopoietic stem cell. We give a detailed analysis for the asymptotic stability of the model. The AdamsBashforthMoulton algorithm has been used to solve and simulate the system of differential equations.
1 Introduction
Hematopoiesis is a highly orchestrated developmental process that comprises various developmental stages of hematopoietic stem cells (HSCs). During development, the decision to leave the selfrenewing state and selection of a differentiation pathway is regulated by a number of transcription factors. Among them, genes GATA1 and PU.1 form a core negative feedback module to regulate the genetic switching between the cell fate choices of HSCs. The transcription factors PU.1 and GATA1 are known to be important in the development of blood progenitor cells. Specifically they are thought to regulate the differentiation of progenitor cells into the granulocyte/macrophage lineage and the erythrocyte/megakaryocite lineage. Although extensive experimental studies have revealed the mechanisms to regulate the expression of these two genes, it is still unclear how this simple module regulates the genetic switching [1, 2].
The notion of fractional calculus was anticipated by Leibniz, one of the founders of standard calculus, in a letter written in 1695. Recently great considerations have been made to the models of FDEs in different areas of research. The most essential property of these models is their nonlocal property which does not exist in the integer order differential operators. We mean by this property that the next state of a model depends not only upon its current state but also upon all of its historical states [3–9].
In this paper, we consider the fractional model for GATAswitching for regulating the differentiation of a hematopoietic stem cell. We give a detailed analysis for the asymptotic stability of the model. The AdamsBashforthMoulton algorithm has been used to solve and simulate the system of differential equations.
2 Description of the model
In [2], Tian and SmithMiles proposed a mathematical model for the GATAPU.1 regulatory network including genes GATA1, GATA2 and PU.1. Under some assumptions, they proposed the model to realize the genetic switching of the GATAPU.1 regulatory network of the following form:
where x, y and z are the concentrations of TFs GATA1, GATA2 and PU.1, respectively, {a}_{1}, {b}_{1} and {c}_{1} represent the expression rates of genes GATA1, GATA2 and PU.1 autoregulated by itself, respectively, {a}_{2} is the expression rate of gene GATA1 regulated by TF GATA2, {k}_{1}, {k}_{2} and {k}_{3} are the degradation rates of TFs GATA1, GATA2 and PU.1, respectively. There are 23 rate constants in the proposed mathematical model (2.1). Now we introduce fractional order into the ODE model by (2.1). The new system is described by the following set of fractional order differential equations:
where α is a parameter describing the order of the fractional time derivative in the Caputo sense defined as
3 Equilibrium points and stability
In the following, we discuss the stability of the commensurate fractional ordered dynamical system
Let E=({x}_{1}^{\ast},{x}_{2}^{\ast},{x}_{3}^{\ast}) be an equilibrium point of system (3.1) and {x}_{i}={x}_{i}^{\ast}+{\eta}_{i}, where {\eta}_{i} is a small disturbance from a fixed point. Then
System (3.2) can be written as
where \eta ={({\eta}_{1},{\eta}_{2},{\eta}_{3})}^{T} and J is the Jacobian matrix evaluated at the equilibrium points. Using Matignon’s results [10], it follows that the linear autonomous system (3.3) is asymptotically stable if arg(\lambda )>\frac{\alpha \pi}{2} is satisfied for all eigenvalues of matrix J at the equilibrium point E=({x}_{1}^{\ast},{x}_{2}^{\ast},{x}_{3}^{\ast}).
If p(x)={x}^{3}+{a}_{1}{x}^{2}+{a}_{2}x+{a}_{3}, let D(p) denote the discriminant of a polynomial p(x), then
Following [4, 10–13], we have the proposition.
Proposition One assumes that {E}_{1} exists in {R}_{+}^{3}.

(i)
If the discriminant of p(x), D(p) is positive and the RouthHurwitz conditions are satisfied, that is, D(p)>0, {a}_{1}>0, {a}_{3}>0, {a}_{1}{a}_{2}>{a}_{3}, then {E}_{1} is locally asymptotically stable.

(ii)
If D(p)<0, {a}_{1}>0, {a}_{2}>0, {a}_{1}{a}_{2}={a}_{3}, \alpha \in [0,1), then {E}_{1} is locally asymptotically stable.

(iii)
If D(p)<0, {a}_{1}<0, {a}_{2}<0, \alpha >\frac{2}{3}, then {E}_{1} is unstable.

(iv)
The necessary condition for the equilibrium point {E}_{1} to be locally asymptotically stable is {a}_{3}>0.
One can verify that system (2.2) has the following three steady states:
Theorem 3.1 The trivial steady state {E}_{0} is locally asymptotically stable if the following conditions are satisfied: \frac{{a}_{1}}{{a}_{3}}<{k}_{1}, \frac{{b}_{1}}{{b}_{2}}<{k}_{2}, \frac{{c}_{1}}{{c}_{2}}<{k}_{3}.
Proof The trivial steady state {E}_{0} is locally asymptotically stable if all the eigenvalues {\lambda}_{i}, i=1,2,3, of the Jacobian matrix J({E}_{0}) satisfy the following condition [9, 14–16]:
The Jacobian matrix J({E}_{0}) for the system given in (2.2) evaluated at the steady state {E}_{0} is as follows:
The eigenvalues of the Jacobian matrix J({E}_{0}) are {\lambda}_{1}=\frac{{a}_{1}}{{a}_{3}}{k}_{1}, {\lambda}_{2}=\frac{{b}_{1}}{{b}_{2}}{k}_{2}, {\lambda}_{3}=\frac{{c}_{1}}{{c}_{2}}{k}_{3}.
Hence {E}_{0} is locally asymptotically stable if the following conditions are satisfied: \frac{{a}_{1}}{{a}_{3}}<{k}_{1}, \frac{{b}_{1}}{{b}_{2}}<{k}_{2}, \frac{{c}_{1}}{{c}_{2}}<{k}_{3}. □
Theorem 3.2 The steady state {E}_{1} with high expression level of gene GATA1 is stable if the following conditions are satisfied:
Proof The Jacobian matrix of nonlinear system (2.2) for this steady state {E}_{1} is
The three eigenvalues of the Jacobian matrix are:
Theorem 1 of [2] has the same results for the integer order model (and has some misprints in the first condition). They claimed that {\lambda}_{1} is negative, but the sign of {\lambda}_{1} depends on the quantity (\frac{{a}_{3}{k}_{1}{a}_{1}}{{a}_{1}}). □
Theorem 3.3 The steady state {E}_{3} with high expression level of gene PU.1 is stable if the following conditions are satisfied:
Proof The Jacobian matrix of nonlinear system (2.1) for this steady state {E}_{3} is
The three eigenvalues of the Jacobian matrix are:
Under the conditions of Theorem 3.3, we can conclude that steady state {E}_{3} with high expression level of gene PU.1 is stable. □
Following [2], parameters of the model are as follows:
and
Using these parameters, one can verify that the system has six nontrivial equilibrium points. The equilibrium points and the eigenvalues of corresponding Jacobian matrix are given in Table 1.
It is clear from the table, that the equilibrium point {E}_{8} is a stable point. The other points are unstable.
4 Numerical methods and simulations
Since most of the fractionalorder differential equations do not have exact analytic solutions, approximation and numerical techniques must be used. Several analytical and numerical methods have been proposed to solve the fractionalorder differential equations. For numerical solutions of system (2.2), one can use the generalized AdamsBashforthMoulton method. To give the approximate solution by means of this algorithm, consider the following nonlinear fractional differential equation [17]:
This equation is equivalent to the Volterra integral equation
Diethelm et al. used the predictorcorrectors scheme [11, 12] based on the AdamsBashforthMoulton algorithm to integrate Eq. (4.1). By applying this scheme to the fractionalorder model GATAswitching for regulating the differentiation of a hematopoietic stem cell, and setting h=\frac{T}{N}, {t}_{n}=nh, n=0,1,2,\dots , N\in {Z}^{+}, Eq. (4.1) can be discretized as follows [17]:
where
Figure 1 illustrates the distribution of the concentration GATA1, GATA2 and PU.1 with time. It is observed that GATA1 is increasing with time and reaches its equilibrium point (3.6329), while PU.1 seems to decrease with time and reaches its steady state (1.17301). On the other hand, the GATA2 gene seems to decrease with time and reach its equilibrium point (13.065). Figure 2 indicates the behavior of the approximate solutions for system (2.2) obtained for the values of \alpha =0.6. In Figure 3, the variation of GATA1 vs. time t is shown for different values of \alpha =1,0.6 by fixing other parameters. Figure 4 depicts GATA2 vs. time t. Figure 4 shows similar variations of GATA1 with various values of α. In Figure 5, the variation of PU.1 vs. time t is shown for different values of α that increase, α decreases with the concentration of PU.1 gene.
5 Conclusions
In this paper, we consider the fractional model for GATAswitching for regulating the differentiation of a hematopoietic stem cell. We have obtained a stability condition for equilibrium points. We have also given a numerical example and verified our results. One should note that although the equilibrium points are the same for both integer order and fractional order models, the solution of the fractional order model tends to the fixed point over a longer period of time. 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.
References
Roeder I, Glauche I: Towards an understanding of lineage specification in hematopoietic stem cells: a mathematical model for the interaction of transcription factors GATA1 and PU.1. J. Theor. Biol. 2006, 241: 852865. 10.1016/j.jtbi.2006.01.021
Tian T, SmithMiles K: Mathematical modeling of GATAswitching for regulating the differentiation of hematopoietic stem cell. BMC Syst. Biol. 2014., 8: Article ID S8 (suppl. 1)
Baleanu D, Diethelm K, Scalas E, Trujillo JJ: Fractional Calculus Models and Numerical Methods. World Scientific, Singapore; 2012.
Ding Y, Ye H: A fractionalorder differential equation model of HIV infection of CD4^{+} Tcells. Math. Comput. Model. 2009, 50: 386392. 10.1016/j.mcm.2009.04.019
Golmankhaneh AK, Arefi R, Baleanu D: Synchronization in a nonidentical fractional order of a proposed modified system. J. Vib. Control 2013., 24: Article ID 1077546313494953
Golmankhaneh AK, Arefi R, Baleanu D: The proposed modified Liu system with fractional order. Adv. Math. Phys. 2013., 2013: Article ID 186037
Kilbas AA, Srivastava HM, Trujillo JJ: Theory and Application Fractional Differential Equations. Elsevier, Amsterdam; 2006.
Podlubny I: Fractional Differential Equations. Academic Press, New York; 1999.
Ye H, Ding Y: Nonlinear dynamics and chaos in a fractionalorder HIV model. Math. Probl. Eng. 2009., 2009: Article ID 378614
Matignon D: Stability results for fractional differential equations with applications to control processing. 2. Computational Engineering in Systems Applications 1996, 963. Lille, France
Diethelm K, Ford NJ: Analysis of fractional differential equations. J. Math. Anal. Appl. 2002, 265: 229248. 10.1006/jmaa.2000.7194
Diethelm K, Ford NJ, Freed AD: A predictorcorrector approach for the numerical solution of fractional differential equations. Nonlinear Dyn. 2002, 29: 322. 10.1023/A:1016592219341
Ozalp N, Demirci E: A fractional order SEIR model with vertical transmission. Math. Comput. Model. 2011, 54: 16. 10.1016/j.mcm.2010.12.051
Ahmed E, ElSayed AMA, ElMesiry EM, ElSaka HAA: Numerical solution for the fractional replicator equation. Int. J. Mod. Phys. C 2005, 16: 19. 10.1142/S0129183105006905
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 2006, 358: 14. 10.1016/j.physleta.2006.04.087
Ahmed E, ElSayed AMA, ElSaka HAA: Equilibrium points, stability and numerical solutions of fractionalorder predatorprey and rabies models. J. Math. Anal. Appl. 2007, 325: 542553. 10.1016/j.jmaa.2006.01.087
Li C, Tao C: On the fractional Adams method. Comput. Math. Appl. 2009, 58: 15731588. 10.1016/j.camwa.2009.07.050
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as 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
Alsaedi, A., Zaikin, A., Ahmad, B. et al. Fractional calculus model of GATAswitching for regulating the differentiation of a hematopoietic stem cell. Adv Differ Equ 2014, 201 (2014). https://doi.org/10.1186/168718472014201
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/168718472014201