Loading [MathJax]/jax/output/SVG/jax.js

Algebraic and topological indices of molecular pathway networks in human cancers

  • Protein-protein interaction networks associated with diseases have gained prominence as an area of research.We investigate algebraic and topological indices for protein-protein interaction networks of 11 human cancers derived from the Kyoto Encyclopedia of Genes and Genomes (KEGG) database. We find a strong correlationbetween relative automorphism group sizes and topological network complexities on the one hand and five year survival probabilities on the other hand. Moreover, we identify several protein families (e.g. PIK, ITG, AKT families) that are repeated motifs in many of the cancer pathways. Interestingly, these sources of symmetry are often central rather than peripheral. Our results can aide in identification of promising targets for anti-cancer drugs. Beyond that, we provide a unifying framework to study protein-protein interaction networks of families of related diseases (e.g. neurodegenerative diseases, viral diseases, substance abuse disorders).

    Citation: Peter Hinow, Edward A. Rietman, Sara Ibrahim Omar, Jack A. Tuszyński. Algebraic and topological indices of molecular pathway networks in human cancers[J]. Mathematical Biosciences and Engineering, 2015, 12(6): 1289-1302. doi: 10.3934/mbe.2015.12.1289

    Related Papers:

    [1] Darja Kalajdzievska, Michael Yi Li . Modeling the effects of carriers on transmission dynamics of infectious diseases. Mathematical Biosciences and Engineering, 2011, 8(3): 711-722. doi: 10.3934/mbe.2011.8.711
    [2] Martin Luther Mann Manyombe, Joseph Mbang, Jean Lubuma, Berge Tsanou . Global dynamics of a vaccination model for infectious diseases with asymptomatic carriers. Mathematical Biosciences and Engineering, 2016, 13(4): 813-840. doi: 10.3934/mbe.2016019
    [3] Yijun Lou, Li Liu, Daozhou Gao . Modeling co-infection of Ixodes tick-borne pathogens. Mathematical Biosciences and Engineering, 2017, 14(5&6): 1301-1316. doi: 10.3934/mbe.2017067
    [4] Shuoer Wang, Yidi Sun, Songjiao Zhao, Feng Wei, Gong Yang . Breast conserving surgery (BCS) with adjuvant radiation therapy showed improved prognosis compared with mastectomy for early staged triple negative breast cancer patients
    . Mathematical Biosciences and Engineering, 2020, 17(1): 92-104. doi: 10.3934/mbe.2020005
    [5] Yanfeng Liang, David Greenhalgh . Estimation of the expected number of cases of microcephaly in Brazil as a result of Zika. Mathematical Biosciences and Engineering, 2019, 16(6): 8217-8242. doi: 10.3934/mbe.2019416
    [6] Kai Wang, Zhidong Teng, Xueliang Zhang . Dynamical behaviors of an Echinococcosis epidemic model with distributed delays. Mathematical Biosciences and Engineering, 2017, 14(5&6): 1425-1445. doi: 10.3934/mbe.2017074
    [7] Biao Tang, Weike Zhou, Yanni Xiao, Jianhong Wu . Implication of sexual transmission of Zika on dengue and Zika outbreaks. Mathematical Biosciences and Engineering, 2019, 16(5): 5092-5113. doi: 10.3934/mbe.2019256
    [8] Chunyang Qin, Yuming Chen, Xia Wang . Global dynamics of a delayed diffusive virus infection model with cell-mediated immunity and cell-to-cell transmission. Mathematical Biosciences and Engineering, 2020, 17(5): 4678-4705. doi: 10.3934/mbe.2020257
    [9] Eugene Kashdan, Svetlana Bunimovich-Mendrazitsky . Hybrid discrete-continuous model of invasive bladder cancer. Mathematical Biosciences and Engineering, 2013, 10(3): 729-742. doi: 10.3934/mbe.2013.10.729
    [10] Zongwei Ma, Hongying Shu . Viral infection dynamics in a spatial heterogeneous environment with cell-free and cell-to-cell transmissions. Mathematical Biosciences and Engineering, 2020, 17(3): 2569-2591. doi: 10.3934/mbe.2020141
  • Protein-protein interaction networks associated with diseases have gained prominence as an area of research.We investigate algebraic and topological indices for protein-protein interaction networks of 11 human cancers derived from the Kyoto Encyclopedia of Genes and Genomes (KEGG) database. We find a strong correlationbetween relative automorphism group sizes and topological network complexities on the one hand and five year survival probabilities on the other hand. Moreover, we identify several protein families (e.g. PIK, ITG, AKT families) that are repeated motifs in many of the cancer pathways. Interestingly, these sources of symmetry are often central rather than peripheral. Our results can aide in identification of promising targets for anti-cancer drugs. Beyond that, we provide a unifying framework to study protein-protein interaction networks of families of related diseases (e.g. neurodegenerative diseases, viral diseases, substance abuse disorders).


    The human population has not been spared by infectious diseases irrespective of the medical facilities. In spite of great achievement in the advancement of medicine, the world is still struggling to combat infectious diseases [1]. Mycobacterium tuberculosis (MTB) is responsible for Tuberculosis (TB) infection which primarily affects the lungs (pulmonary TB). However, the disease can also affect some other systems in the human body such as the circulatory system, the central nervous system, the genital-urinary system. TB can be transmitted through a medium including the kiss, speak, cough, sneeze [1,2]. It can even affect individuals through the utilization of infected persons unsterilized eating utensils. In some instance, pregnant women who have an active TB can affect the baby in the womb. The actively infected individuals can cause infection but not the latent TB patient. The transmission of TB dependents on the number of infectious droplets expelled by a carrier, the quality of ventilation available and finally, the duration of the individuals exposed to virulence of the MTB strain. The spread of TB can be reduced by isolating the active infectious individual and immediately introducing viable anti-tuberculosis therapy [3,4,5]. At the moment, 95% of the world total TB patients of 8 million each year are found in the developing countries. The age bracket that most affected by TB is 15–59. In the developing countries, TB has been identified as the leading death causes in the majority of the Sub-Sahara counties [6]. TB has been established as the leading cause of death in sub-Saharan Africa which account for at least 2 million deaths [7]. TB in children under the age of fifteen (15) is very critical public health problem since it account for most of the current TB transmission [8].

    Adaption of modern practice help improves TB control because of factors such as endogenous reactivation, the presence of multi-drug resistant TB, the high rate of HIV incidence in the last two decades. Exogenous re-infection of TB is another concern and very common in Africa. A comprehensive understanding of treatment with respect to the regional transmission of TB is crucial in the fighting of this disease [9].

    Mathematical modeling in recent times has been identified as an essential tool that provides qualitative information about the epidemiology of many diseases and strategies in controlling them. Several theoretical studies have been undertaking with regard to TB infection. Several integer-order TB models have been constructed and investigated by some authors [10,11,12,13,14]. The mentioned integer TB models do not predict accurately because they do not have memory effect in order to provide an accurate prediction. However, non-integer models possess memory effect and most of the operators have crossover properties that enhance accurate predictions.

    Fractional calculus (FC) is a branch of applied mathematics that generalizes the integer calculus to fractional order [15,16]. In recent times, the use of fractional calculus in the scientific community has gained enough attention because of its numerous applications including epidemiology, engineering, water resource management [17,18,19,20,21,22,23,24]. The use of fractional derivative in modeling epidemiology has become important because the result takes into consideration the memory effect which naturally occurs in several biological models. The reason is that fractional derivative models give the real phenomena associated with the given problem. The fractional of derivatives and integrals give a vivid description of the memory and hereditary characteristics inherent in many materials and other processes [25]. Usually, the integer order can provide information about two points which realistically may not be true. The concept of classical fractional-order derivative was proposed by Riemann and Liouville. It was well known that Caputo and Riemann-Liouville have singular kernels. Next, Caputo and Fabrizio in [26] presented a new definition of fractional derivative without singular kernel which proved to be good and many researchers are applying. Caputo and Fabrizio [27] also investigated the notion of fractional derivative and applications to the hysteresis phenomena. The fractional calculus is now used in mathematical modeling of impulsive fractional functional differential equations. A more interesting study regarding the impulsive fractional functional differential equations and their applications is studied in [28].

    Recently, Atangana and Baleanu developed a new operator which is based on generalized Mittag-Leffler function where the kernel is non-singular and non-local kernel [29]. Numerous studies on non-integer order models in the sense Atangana and Baleanu have been carried out by researchers. For instance, Atangana and Koca in [30] studied chaos in a simple nonlinear system using Atangana-Baleanu derivatives in Caputo sense. Atangana and Owolabi in [31] developed a new numerical approach for fractional differential equations for solving the system of fractional derivative equations which proved to be efficient. Atangana and Gomez [32] presented a detailed analysis of the decolonization of fractional calculus rules: breaking commutativity and associativity to capture more natural phenomena. Khan et al. [33] studied the TB dynamics under the framework of the work of Atangana-Baleanu derivative with relapse cases. Bonyah in [34] studied a new 5-D hyperchaotic system with four wings by Atangana-Baleanu operator. Khan and Atangana [35] studied the Ebola disease with different fractional operators. The comparison of Atangana-Baleanu derivative with Caputo-Fabrizio for the dengue model are studied in [36]. Bank data through fractional modeling and their analysis is studied in [37]. The dynamics of the chaotic system through Caputo-Fabrizio and the Atangana-Baleanu derivative is studied in [38]. The authors studied in [39] through different fractional operators of fractional calculus for bank data. Using the Atangana-Baleanu derivative the authors studied the TB dynamics [40]. The previously defined fractional operators have some definiens which may or may not correctly investigate the dynamics of such mathematical models that come from science and engineering fields. The Caputo derivative has a singular and local kernel which may not exactly studied the dynamics of a particular problem but these operators are still well known to the researchers and uses for the modeling dynamics. The Caputo-Fabrizio operator was defined without singular kernel. Many researchers used this operator for modeling purposes and still popular among researchers. To have a more precise definition of fractional operator a new operator called Atangana-Baleanu derivative was defined which has a non-singular and non-local kernel and has been used widely for many problems of science and engineering and found it interesting. This new definition is now much famous among researchers around the world. Here, in this work, we consider this newly operator to formulate a new mathematical model for TB dynamics in which we consider the adults and the children as a two groups and present to discuss deeply its mathematical as well as numerical results. This is the first attempt of the authors to have a new mathematical that exploring the children and adults TB dynamics.

    It is well known that integer order model does not describes well the dynamics of the disease because there involve history of the disease and their memory. The fractional order models well address the memory effect involve in the disease. At each value of the fractional order parameters we can have a solution but in integer order model we don't have except at the integer case. The difference between two points can be effectively estimated through fractional order models. It is also well known that fractional order models are good for data fitting, where we have variety of choice's for the fractional order parameter. The Caputo operator is singular and local while the AB operator is non-singular and nonlocal. The cross over behavior in the TB model can be addressed well through the AB derivative. Therefore, we considered both the operators and its comparison through graphical results.

    To date, there has not been anyone who has investigated the dynamics of TB model with children and adults population using Caputo and Atangana-Baleanu derivative. So, this study investigates a fractional order model in the Atangana-Baleanu sense to explore the spread of TB diseases with in children and adults population. We classify the population into children and adult classes. Based on the risk of transmission, most TB in children is usually not contagious compared to TB in adults [8,41]. Hence, the TB model that involves two-age-classes that distinguishes children and adults can indicate a new understanding of TB transmission.

    This paper begins by mathematical preliminaries of the fractional derivative. The description of the model with the two-age-class transmission is given in Section 3. The TB model in Caputo derivative with basic properties, calculation of the basic reproduction number, and the numerical result are done in Section 4. The expression of the TB model in Atangana–Baleanu derivative with the existence and uniqueness of the solution, the numerical iterative, and also the numerical simulation are presented in Section 5. The comparison results of both derivatives with various fractional order parameters are shown in Section 6. Finally, the conclusion is shown in Section 7.

    We present the details of the fractional operators in the following sections that should be used later in the proposed study.

    Definition 2.1. (see [16]) For $ \alpha > 0 $, with $ n-1 < \alpha < n, n \in \mathbb{N} $, the fractional derivative in the sense of Caputo is defined to be:

    $ CDαtf(t)=dαf(t)dtα:=1Γ(nα)t0(ts)(nα1)f(n)(s)ds, $ (2.1)

    where the symbol $ \Gamma(\cdot) $ denotes the gamma function.

    The Riemann-Liouville fractional integral is defined by

    $ Iαtf(t)=1Γ(α)t0(ts)(α1)f(s)ds. $ (2.2)

    Definition 2.2. (see [29]) Suppose $ f\in H^1(0, b) $, $ b > 0 $, $ \alpha \in [0, 1] $, then the Atangana-Baleanu fractional operator in Caputo sense (ABC) can be written as follows:

    $ ABC0Dαt(f(t))=B(α)1αt0f(s)Eα[α(ts)α1α]ds, $ (2.3)

    where $ B(\alpha) = 1-\alpha+ \frac{\alpha}{\Gamma(\alpha)} $ is a normalized function with $ B(0) = B(1) = 1 $ and $ E_\alpha $ is Mittag-Leffler function

    $ Eα(z)=k=0(z)kΓ(αk+1),α>0. $

    The integral associated to the ABC derivative in Riemann-Liouville sense is given by,

    $ Iαt(f(t))=1αB(α)f(t)+αB(α)Γ(α)t0f(s)(ts)α1ds. $ (2.4)

    The present section describes the formulation of the mathematical model of TB transmission with two groups of human that is, the children and the adults. We design the model by splitting the population into children ($ C $) and the adults class ($ A $). Furthermore, each of the classes is divided into three classes, namely, the susceptible classes ($ S_C $, $ S_A $), the latent TB classes ($ L_C $, $ L_A $), and the active TB classes ($ I_C $, $ I_A $), where $ S_C $, $ L_C $ and $ I_C $ represent the susceptible, latent and the active population at any time $ t $ respectively, whereas the adults sub-population are respectively shown by $ S_A $, $ L_A $ and $ I_A $. Hence, the total population is $ N = S_C + L_C + I_C + S_A + L_A + I_A $. Individuals who are in the latent stage are not infectious and are thus unable to transmit bacteria. We also assumed that the natural death rate of the children and adults population is equal as we consider the average natural death rate of the total population.

    The majority of the children with tuberculosis are not infectious to others [8,41]. Hence, we assume that only the active TB adults could spread TB with in the population. In this model, it is assumed that children got TB infection by doing contacts with active TB adults. Therefore, the latent TB and active TB children do not spread TB within the population. A small percentage of newly infected individuals from the sub-population is assumed to undergo fast progress directly into the class of active TB, while the rest are latently infected and enter the latent class [42]. Furthermore, the TB patients both children and adults cannot recover completely but will enter the latent stage again. Considering these assumptions and facts the following system of evolutionary dynamics of the TB individuals is described through the following systems where the description of the parameters flows and the variables are given in Figure 1.

    $ dSCdt=ΛβCIASC(g+μ)SC,dLCdt=βC(1pC)IASC+γCICkC(1rC)LC(g+μ)LC,dICdt=βCpCIASC+kC(1rC)LCγCIC(g+μ+dC)IC,dSAdt=gSCβAIASAμSA,dLAdt=(1pA)βAIASA+gLC+γAIAkA(1rA)LAμLA,dIAdt=pAβAIASA+kA(1rA)LA+gIC(γA+μ+dA)IA, $ (3.1)
    Figure 1.  Tuberculosis transmission diagram.

    where the initial values for the model variables are given by

    $ S_C(0) = S_{C0}, L_C(0) = L_{C0}, I_C(0) = I_{C0}, S_A(0) = S_{A0}, L_A(0) = L_{A0}, \, \, \mbox{and} \, \, I_A(0) = I_{A0}. $

    In the above model (3.1), the population of healthy people is generated by the birth rate $ \Lambda $ and the growing up rate of children is shown by $ g $. The natural death rate of children and adults is denoted by $ \mu $. The effective contact rate for both the children and adults is shown by $ \beta_C $ and $ \beta_A $. The proportion of fast progression of latent class children to infected class children is given by $ p_C $ while for adults from latent adult class to infected adult class is by $ p_A $. The rate of progression from latent to infected class for the children compartment is shown by $ k_C $ while for the adults infection progression from latent to infected class is given by $ k_A $. The rate of effective therapy for children and adults are shown respectively by $ \gamma_C $ and $ \gamma_A $. The rate of effective chemoprophylaxis for children and adults are shown by $ r_C $ and $ r_A $ respectively. Natural death from TB disease in children infected class is given by $ d_C $ while for the adults with TB infection by $ d_A $. The description of the parameters for the TB model is set out in Table 1.

    Table 1.  Parameters with descriptions of the TB model.
    Description Parameter
    Populations growth rate $ \Lambda $
    Growing-up rate for children $ g $
    Natural death rate $ \mu $
    Children Adult
    population population
    Infection rate $ \beta_C $ $ \beta_A $
    Proportion of fast progression $ p_C $ $ p_A $
    Rate of progression from latent to the infectious $ k_C $ $ k_A $
    Rate of effective therapy $ \gamma_C $ $ \gamma_A $
    Rate of effective chemoprophylaxis $ r_C $ $ r_A $
    TB death rate $ d_C $ $ d_A $

     | Show Table
    DownLoad: CSV

    The model (3.1) has the biologically feasible region on $ \Omega_1 $ with

    $ Ω1={(SC,LC,IC,SA,LA,IA)R6+:0NΛμ}, $

    which is feasible biologically and all the results associated holds for it. It should be noted that the parameters involved in the model (3.1) are associated to humans so it is non-negative and the region shown by $ \Omega_1 $ is positive invariant for the described model (3.1) above. The region shown for the model (3.1) below is well-posed and the entire solutions for the initial values belonging to $ \Omega_1 $, remains in $ \Omega_1 $ for every time $ t \geq 0 $.

    Next, in the following section, we explore the TB model in Caputo sense. We apply the definitions of Caputo operator described in above section, and apply it on our model (3.1) and present the results associated to it in the following section in details.

    This section present a TB model with two groups of humans which is shown in (3.1), by applying the Caputo derivative on it. The fractional order model of TB transmission with two-age-class in the Caputo sense is given by:

    $ CDαtSC=ΛβCIASC(g+μ)SC,CDαtLC=βC(1pC)IASC+γCICkC(1rC)LC(g+μ)LC,CDαtIC=βCpCIASC+kC(1rC)LCγCIC(g+μ+dC)IC,CDαtSA=gSCβAIASAμSA,CDαtLA=(1pA)βAIASA+gLC+γAIAkA(1rA)LAμLA,CDαtIA=pAβAIASA+kA(1rA)LA+gIC(γA+μ+dA)IA, $ (4.1)

    where $ \alpha $ represents the fractional order and $ 0 < \alpha\leq 1 $. The initial values for the model variables in fractional order model (4.1) are given by,

    $ S_C(0) = S_{C0}, L_C(0) = L_{C0}, I_C(0) = I_{C0}, S_A(0) = S_{A0}, L_A(0) = L_{A0}, \, \, \mbox{and} \, \, I_A(0) = I_{A0}. $

    This section deals with the positivity of the model solution in the Caputo derivative. We assume that the initial condition of the model (4.1) is non-negative. Let us consider

    $ Ω2={x=(SC,LC,IC,SA,LA,IA)R6+:SC,LC,IC,SA,LA,IA0}. $

    Here, recalling the important concept given in [43] to prove our result.

    Lemma 4.1. (see [43]) Suppose that $ f(t) \in \mathrm{C}[a, b] $ and $ {}^CD^\alpha_t f(t) \in \mathrm{C}[a, b] $, for $ 0 < \alpha \leq 1 $, then we have

    $ f(t)=f(a)+1Γ(α)CDαtf(ξ)(ta)α $

    with $ a\leq \xi \leq t $, $ \forall t \in (a, b] $.

    Corollary 4.2. Consider that $ f(t) \in \mathrm{C}[a, b] $ and $ {}^CD^\alpha_t f(t) \in \mathrm{C}[a, b] $, for $ 0 < \alpha \leq 1 $. Then if

    (1) $ ^CD^\alpha_t f(t) \geq 0, \forall t \in (a, b) $, then $ f(t) $ is non-decreasing.

    (2) $ ^CD^\alpha_t f(t) \leq 0, \forall t \in (a, b) $, then $ f(t) $ is non-increasing.

    Now, we state the main theorem.

    Theorem 4.3. A unique solution exists for $ x(t) = (S_C, L_C, I_C, S_A, L_A, I_A)^T $ of the model (4.1) and the solution will be in $ \Omega_2 $. Additionally, the solution is non-negative.

    Proof. Using Theorem 3.1. and Remark 3.2. of [44], it is easily to prove the solution existence and also the uniqueness of the solution of the model (4.1) for all $ t > 0 $. Next, we will prove the positivity of the solution of the model (4.1). In order to do, we have to prove for every hyperplane bounding the nonnegative orthant, of the field points of the vector $ \Omega_2 $. It follows from the model given by (4.1), we have

    $ CDαtSCSC=0=Λ0,CDαtLCLC=0=βC(1pC)IASC+γCIC0,CDαtICIC=0=βCpCIASC+kC(1rC)LC0,CDαtSASA=0=gSC0,CDαtLALA=0=(1pA)βAIASA+gLC+γAIA0,CDαtIAIA=0=kA(1rA)LA+gIC0. $

    By using Corollary 1, the model solution remains in $ \Omega_2 $.

    Thus, it follows from the results described above the feasible given by $ \Omega_2 $ is positively invariant for model (4.1).

    We present here the possible fixed points of the fractional model given by (4.1) and then, we obtain at these possible equilibrium points the stability analysis of the model. For the given model (4.1), there exists two possible equilibrium points that is, the disease free and the endemic equilibrium. We can obtain these equisetum points by setting the time rate of change equal to zero of the model (4.1) and is given by:

    $ CDαtSCSC=0=0,CDαtLCLC=0=0,CDαtICIC=0=0,CDαtSASA=0=0,CDαtLALA=0=0,CDαtIAIA=0=0. $

    We have the following expression,

    $ ΛβCIASC(g+μ)SC=0,βC(1pC)IASC+γCICkC(1rC)LC(g+μ)LC=0,βCpCIASC+kC(1rC)LCγCIC(g+μ+dC)IC=0,gSCβAIASAμSA=0,(1pA)βAIASA+gLC+γAIAkA(1rA)LAμLA=0,pAβAIASA+kA(1rA)LA+gIC(γA+μ+dA)IA=0. $ (4.2)

    At the disease free equilibrium, denoted by $ E_{01} $, we have from (4.2),

    $ E01=(Λg+μ,0,0,gΛμ(g+μ),0,0). $

    The endemic equilibrium of the model (4.1) is given by $ E_{22} = (S_C^*, L_C^*, I_C^*, S_A^*, L_A^*, I_A^*) $ where

    $ SC=ΛIAβC+g+μLC=βC(1pC)IASC+γCICμ+g+kC(1rC)IC=βCpCIASC+kC(1rC)LCγC+g+μ+dCSA=gSCβAIA+μLA=(1pA)βAIASA+gLC+γAIAkA(1rA)+μIA=kA(1rA)LA+gICγA+μ+dAβApASA. $

    The endemic equilibrium $ E_{22} $ exists if $ \gamma_A + \mu + d_A > \beta_A p_A S_A^* $.

    In order to find the basic reproduction number $ \mathcal{R}_0 $, we consider the method in [45] and the matrices are given by

    $ F=(000P9000P10000P12000P13),V=(P2γC00P5P300g0P4rA0gP6P7). $ (4.3)

    The basic reproduction number is the spectral radius of $ \rho(FV^{-1}) $ and is given by

    $ R0=R1+R2+R3+R4, $ (4.4)

    where

    $ R1=P6P3(gP9+P2P12)(P4P7P6rA)(P2P3P5γC),R2=P4P2(gP10+P3P13)(P4P7P6rA)(P2P3P5γC),R3=P6γC(gP10P5P12)(P4P7P6rA)(P2P3P5γC),R4=P4P5(gP9P13γC)(P4P7P6rA)(P2P3P5γC), $ (4.5)

    where

    $ P1=g+μ,P2=kC(1rC)+g+μ,P3=γC+dC+g+μ,P4=kA(1rA)+μ,P5=kC(1rC),P6=kA(1rA),P7=γA+dA+μ,P8=βCS0C,P9=βC(1pC)S0c,P10=βCpCS0C,P11=βAS0A,P12=βA(1pA)S0A,P13=βApAS0A, $ (4.6)

    where $ S^0_C $ and $ S^0_A $ represent the disease-free equilibrium (DFE).

    Next, we show the stability of the system at the disease-free case, we follow the following theorem.

    Theorem 4.4. For any $ p_1, p_2\in \mathbb{Z}, $ such that $ gcd(p_1, p_2) = 1 $. Let $ \alpha = (\frac{p_1}{p_2}) $ and consider $ M = p_2 $, then the DFE of the system (4.1) is locally asymptotically stable $ (LAS) $ if $ |arg(\lambda)| > \frac{\pi}{2M} $, for all roots $ \lambda $ of the characteristic Eq. (4.7) of the matrix $ J_{E_{01}} $.

    $ det(diag[λp1λp1λp1λp1λp1λp1]JE01)=0. $ (4.7)

    Proof. At the disease free equilibrium $ E_{01} $, the Jacobian matrix is given by

    $ J(E01)=(P10000P80P2γC00P90P5P300P10g00μ0P110g00P4P12+γA00g0P6P13P7). $ (4.8)

    We obtain the characteristics equation associated to $ J(E_{01}) $, given by

    $ (λp1+μ)(λp1+μ+g)[λ4p1+b1λ3p1+b2λ2p1+b3λp1+b4]=0. $ (4.9)

    The arguments of the roots of the equation $ \lambda^{p_1}+\mu = 0 $, $ \lambda^{p_1}+\mu+g = 0 $ are as follow:

    $ arg(Πk)=πp1+k2πp1>πM>π2M,wherek=0,1,(p11). $ (4.10)

    In Eq. (4.9), the roots are negative, i.e., $ -\mu, -(\mu+g) $, while the rest are computed from

    $ Q(λ)=[λ4p1+b1λ3p1+b2λ2p1+b3λp1+b4], $ (4.11)

    where

    $ b1=γA+dA+kA(1rA)βApAS0A+γC+dC+kC(1rC)+2g+4μ,b2=(γC+dC+g+μ)(γA+dA+kA(1rA)+2μ)βApAS0AP2P4+(kA(1rA)+μ)(kC(1rC)+g+μ)+(dA+μ)(kA(1rA)+μ)+μγA+P7P2βAkA(1pA)(1rA)S0A+((dC+g+μ)(kC(1rC)+g+μ)+γC(g+μ))×(1βApAS0A(γC+dC+g+μ)+gβCpCS0C(dC+g+μ)(kC(1rC)+g+μ)+γC(g+μ)),b3=(P4+P7P13)(dC(kC(1rC)+g+μ)+(g+μ)(γC+kC(1rC)+g+μ))(P3+P2)(dA(kA(1rA)+μ)+kA(1rA)(μβAS0A)+μ(γAβApAS0A+μ))gβCS0C(kA(1rA)+pC(g+2μ)+kC(1rC)),b4=C1C2(1R0), $ (4.12)

    where $ C_1 = \left(d_A \left(k_A \left(1-r_A\right)+\mu \right)+\mu \left(\gamma _A+k_A \left(1-r_A\right)+\mu \right)\right) $,

    $ C_2 = \left(d_C \left(k_C \left(1-r_C\right)+g+\mu \right)+(g+\mu) \left(\gamma _C+k_C \left(1-r_C\right)+g+\mu \right)\right) $.

    The function $ Q(\lambda) $ will give eigenvalues with negative real part if $ b_i > 0 $ for $ i = 1, 2, 3, 4 $ and $ b_1b_2b_3 > b^2_1b_4+b^2_3 $. All $ b_i > 0 $ when $ \mathcal{R}_0 < 1 $ and the conditions $ b_1b_2b_3 > b^2_1b_4+b^2_3 $ ensure the stability of the disease free case when $ \mathcal{R}_0 < 1 $. If $ {\cal{R}}_{0} < 1, $ then the necessary condition fulfil for all the roots of characteristics equation i.e., $ |arg(\lambda)| > \frac{\pi}{2M} $. Thus the DFE is $ LAS $ for $ {\mathcal{R}}_{0} < 1 $.

    The following subsection explore the numerical simulation of the Caputo model.

    The aim of this section is to discuss a numerical simulation of the model (4.1). The simulation is done with several fractional order values to determine population dynamics in the model. The numerical results of the Caputo derivative are obtained by the Predictor-Corrector method [46,47]. Parameters values used in these simulations are set out in Table 2. We take the initial condition $ S_C(0) = 1500, L_C(0) = 135, I_C(0) = 75, S_A(0) = 1000, L_A(0) = 103 $ and $ I_A(0) = 60 $. Here, we use 50 years for the time horizon. The simulations are conducted with different values of the order of the fractional derivative $ \alpha = 1, 0.9, 0.8, 0.7, 0.6 $ and $ 0.5 $. We have the simulation results of the TB model (4.1) in Figure 2. In this case the value of $ R_{0} $ is $ R_{0} = 91.5021 > 1 $, which indicates the disease will persist in the population. We can observe in Figure 2 that as the values of $ \alpha $ decrease, the individuals infected with TB decreases whereas the population of susceptible individuals increases.

    Table 2.  Parameter values for simulations.
    Parameter Value Ref.
    $ \Lambda $ 1000 Assumed
    $ \beta_A $ 0.02 [48]
    $ g $ $ \frac{1}{14} $ [50]
    $ \gamma_A $ 0.5 Assumed
    $ p_A $ 0.3 Assumed
    $ k_A $ 0.005 [49]
    $ r_A $ 0.5 Assumed
    $ d_A $ 0.05751 [51]
    $ p $ 0.3 Assumed
    $ \gamma $ 0.5 Assumed
    $ r $ 0.5 Assumed
    $ \beta_C $ 0.01 [48]
    $ \mu $ 0.0143 [49]
    $ \gamma_C $ 0.5 Assumed
    $ p_C $ 0.4 Assumed
    $ k_C $ 0.005 [49]
    $ r_C $ 0.5 Assumed
    $ d_C $ 0.0575 [51]
    $ d $ 0.05751 [51]
    $ \beta $ 0.02 [48]
    $ k $ 0.005 [49]

     | Show Table
    DownLoad: CSV
    Figure 2.  Numerical results for Caputo model.

    Next, we will see the effect of chemoprophylaxis and treatment on the active TB populations in both children and adults. The numerical simulation is deployed by varying the effectiveness of chemoprophylaxis ($ r_C, r_A $) and treatment ($ \gamma_C, \gamma_A $). In Figures 3, 4, we display the dynamic of the active TB populations for different values of the efficacy of chemoprophylaxis and treatment. For $ \alpha = 0.9 $, it is shown that the population of the active TB both children and adults have decreased when the efficacy of chemoprophylaxis and treatment have increased. Conversely, when the efficacy of chemoprophylaxis and treatment falls, the population of the active TB both children and adults will rise. The likewise behavior is seen for $ \alpha = 0.7 $. This shows that chemoprophylaxis and treatment were given to patients with latent stage and active TB respectively can reduce the number of TB infection populations of both children and adults.

    Figure 3.  Numerical results for Caputo model with various $ r_C $ and $ r_A $.
    Figure 4.  Numerical results for Caputo model with various $ \gamma_C $ and $ \gamma_A $.

    Next, we express the model of TB in Atangana-Baleanu derivative where their kernel is non-singular and non-local which best describes the dynamics of real world problem.

    The newly derivative called the Atangana-Baleanu derivative where their kernel is non-local and non singular is considered here to apply on our model presented in (3.1). We follow the definition described above and have the following representation:

    $ ABC0DαtSC=ΛβCIASC(g+μ)SC,ABC0DαtLC=βC(1pC)IASC+γCICkC(1rC)LC(g+μ)LC,ABC0DαtIC=βCpCIASC+kC(1rC)LCγCIC(g+μ+dC)IC,ABC0DαtSA=gSCβAIASAμSA,ABC0DαtLA=(1pA)βAIASA+gLC+γAIAkA(1rA)LAμLA,ABC0DαtIA=pAβAIASA+kA(1rA)LA+gIC(γA+μ+dA)IA, $ (5.1)

    with some appropriate initial conditions. For the TB fractional model in Atangana-Baleanu form is studied further to obtain their existence and uniqueness. We have the following:

    Here, we display the uniqueness and existence results associated to the AB model (5.1). In order to show the results for the model we follow the results of the fixed-point theory. We first write the (5.1) in the form shown below,

    $ {ABC0Dαtu(t)=G(t,u(t))u(0)=u0,0<t<T<. $ (5.2)

    In system (5.2), $ u(t) = (S_C, L_C, I_C, S_A, L_A, I_A) $ is simply a vector having the state variable and $ G $ is therefore a continuous vector function given as

    $ G=(G1G2G3G4G5G6)=(ΛβCIASC(g+μ)SCβC(1pC)IASC+γCICkC(1rC)LC(g+μ)LCβCpCIASC+kC(1rC)LCγCIC(g+μ+dC)ICgSCβAIASAμSA(1pA)βAIASA+gLC+γAIAkA(1rA)LAμLApAβAIASA+kA(1rA)LA+gIC(γA+μ+dA)IA) $

    and $ u_0(t) = (S_C(0), L_C(0), I_C(0), S_A(0), L_A(0), I_A(0)) $ representing the state variables initial conditions in vector form. The above function namely, $ G $ satisfies the condition of Lipschitz continuity and can be described as below:

    $ G(t,u1(t))G(t,u2(t))Mu1(t)u2(t). $ (5.3)

    The following result is provided in order to show the model existence and their solution as well as uniqueness for the model (5.1).

    Theorem 5.1. (Existence and uniqueness) The model given by (5.2) has the unique solution provided that the following condition satisfy,

    $ (1α)ABC(α)M+αABC(α)Γ(α)TαmaxM<1. $ (5.4)

    Proof. To prove the above statement, we need to use the fractional integral associated to the Atangana-Baleanu model given by (2.4). The application of this integral on (5.2), leads to the following non-linear voltera integral equation:

    $ u(t)=u0+(1α)ABC(α)G(t,u(t))+αABC(α)Γ(α)t0(tε)α1G(ε,u(ε))dε. $ (5.5)

    We assure that $ J = (0, T) $ and take into consideration the operator $ \phi: \mathrm{C}\left(J, \mathbb{R}^6\right)\rightarrow \mathrm{C}\left(J, \mathbb{R}^6\right) $ defined by

    $ ϕ[u(t)]=u0+(1α)ABC(α)G(t,u(t))+αABC(α)Γ(α)t0(tε)α1G(ε,u(ε))dε. $ (5.6)

    Equation (5.5) turns to

    $ u(t)=ϕ[u(t)]. $ (5.7)

    The supremum norm on $ J $, $ \|\, .\, \|_J $ is $ \|u(t)\|_J = \sup_{t\in J}\| u(t) \|, \, u(t) \in \mathrm{C} $.

    Obviously, $ \mathrm{C}\left(J, \mathbb{R}^6\right) $ along the norm $ \|\, .\, \|_J $ present a Banach space. Additionally, we can demonstrate simply the following inequality

    $ t0D(t,ε)u(ε)dεTD(t,ε)Ju(t)J. $ (5.8)

    with $ u(t) \in \mathrm{C}\left(J, \mathbb{R}^6\right), \, D(t, \varepsilon) \in \mathrm{C}\left(J^2, \mathbb{R} \right) $.

    In a way that

    $ D(t,ε)J=supt,εJ|D(t,ε)|. $

    Applying the definition of $ \phi $ stated in (5.7), we derive

    $ ϕ[u1(t)]ϕ[u2(t)]J(1α)ABC(α)G(t,u1(t))G(t,u2(t))+αABC(α)T(α)×t0(tε)α1(G(ε,u1(ε))G(ε,u2(ε)))dε. $

    Furthermore, using the principles of triangular inequality and Lipschitz condition stated in (5.3) couple with the results in (5.8) we get the following after some algebraic simplification.

    $ ϕ[u1(t)]ϕ[u2(t)]J((1α)ABC(α)M+αABC(α)Γ(α)MTαmax)u1(t)u2(t)J. $

    Thus, we eventually have

    $ ϕ[u1(t)]ϕ[u2(t)]Jβu1(t)u2(t)J, $

    where

    $ β=(1α)ABC(α)M+αABC(α)Γ(α)MTαmax. $

    Therefore, the operator $ \phi $ will become a contraction if condition (5.4) holds on $ \mathrm{C}\left(J, \mathbb{R}^6\right) $. As a result of Banach fixed point theorem, system (5.2) possesses a unique solution.

    This section derive the numerical scheme of the TB model in the ABC form which given by Eq. (5.1) using the method in [52] by using Adams-Bashforth method. By using the same procedure in [52], we write (5.1) to the following

    $ ABC0DαtSC=G1(t,SC,LC,IC,SA,LA,IA)ABC0DαtLC=G2(t,SC,LC,IC,SA,LA,IA),ABC0DαtIC=G3(t,SC,LC,IC,SA,LA,IA),ABC0DαtSA=G4(t,SC,LC,IC,SA,LA,IA),ABC0DαtLA=G5(t,SC,LC,IC,SA,LA,IA),ABC0DαtIA=G6(t,SC,LC,IC,SA,LA,IA). $ (5.9)

    By utilizing the fundamental theorem of fractional calculus, we convert (5.9) to fractional

    $ SC(t)SC(0)=(1α)ABC(α)G1(t,SC)+αABC(α)Γ(α)t0(tε)α1G1(ε,SC)dε,LC(t)LC(0)=(1α)ABC(α)G2(t,LC)+αABC(α)Γ(α)t0(tε)α1G2(ε,LC)dε,IC(t)IC(0)=(1α)ABC(α)G3(t,IC)+αABC(α)Γ(α)t0(tε)α1G3(ε,IC)dε,SA(t)SA(0)=(1α)ABC(α)G4(t,SA)+αABC(α)Γ(α)t0(tε)α1G4(ε,SA)dε,LA(t)LA(0)=(1α)ABC(α)G5(t,LC)+αABC(α)Γ(α)t0(tε)α1G5(ε,LA)dε,IA(t)IA(0)=(1α)ABC(α)G6(t,IA)+αABC(α)Γ(α)t0(tε)α1G6(ε,IA)dε. $ (5.10)

    At $ t = t_{n+1}, \, n = 0, 1, 2, ..., $ we have

    $ SC(tn+1)SC(0)=(1α)ABC(α)G1(tn,SC)+αABC(α)Γ(α)nj=0tj+1tj(tn+1ε)α1G1(ε,SC)dε,LC(tn+1)LC(0)=(1α)ABC(α)G2(tn,LC)+αABC(α)Γ(α)nj=0tj+1tj(tn+1ε)α1G2(ε,LC)dε,IC(tn+1)IC(0)=(1α)ABC(α)G3(tn,IC)+αABC(α)Γ(α)nj=0tj+1tj(tn+1ε)α1G3(ε,IC)dε,SA(tn+1)SA(0)=(1α)ABC(α)G4(tn,SA)+αABC(α)Γ(α)nj=0tj+1tj(tn+1ε)α1G4(ε,SA)dε,LA(tn+1)LA(0)=(1α)ABC(α)G5(tn,LA)+αABC(α)Γ(α)nj=0tj+1tj(tn+1ε)α1G5(ε,LA)dε,IA(tn+1)IA(0)=(1α)ABC(α)G6(tn,IA)+αABC(α)Γ(α)nj=0tj+1tj(tn+1ε)α1G6(ε,IA)dε. $ (5.11)

    The integral in Eq. (5.11) is approximated through the two-point interpolation polynomial. Hence, we have the iterative scheme for the TB model (5.1). After some calculations, we finally obtain the approximation solution as

    $ SC(tn+1)=SC(0)+(1α)ABC(α)G1(tn,SC)+αABC(α)nj=0(hαG1(tj,SC)Γ(α+2)((n+1j)α(nj+2+α)(nj)α(nj+2+2α))hαG1(tj1,SC)Γ(α+2)((n+1j)α+1(nj)α(nj+1+α))), $
    $ LC(tn+1)=LC(0)+(1α)ABC(α)G2(tn,LC)+αABC(α)nj=0(hαG2(tj,LC)Γ(α+2)((n+1j)α(nj+2+α)(nj)α(nj+2+2α))hαG2(tj1,LC)Γ(α+2)((n+1j)α+1(nj)α(nj+1+α))), $
    $ IC(tn+1)=IC(0)+(1α)ABC(α)G3(tn,IC)+αABC(α)nj=0(hαG3(tj,IC)Γ(α+2)((n+1j)α(nj+2+α)(nj)α(nj+2+2α))hαG3(tj1,IC)Γ(α+2)((n+1j)α+1(nj)α(nj+1+α))), $
    $ SA(tn+1)=SA(0)+(1α)ABC(α)G4(tn,SA)+αABC(α)nj=0(hαG4(tj,SA)Γ(α+2)((n+1j)α(nj+2+α)(nj)α(nj+2+2α))hαG4(tj1,SA)Γ(α+2)((n+1j)α+1(nj)α(nj+1+α))), $
    $ LA(tn+1)=LA(0)+(1α)ABC(α)G5(tn,LA)+αABC(α)nj=0(hαG5(tj,LA)Γ(α+2)((n+1j)α(nj+2+α)(nj)α(nj+2+2α))hαG5(tj1,LA)Γ(α+2)((n+1j)α+1(nj)α(nj+1+α))), $
    $ IA(tn+1)=IA(0)+(1α)ABC(α)G6(tn,IA)+αABC(α)nj=0(hαG6(tj,IA)Γ(α+2)((n+1j)α(nj+2+α)(nj)α(nj+2+2α))hαG6(tj1,IA)Γ(α+2)((n+1j)α+1(nj)α(nj+1+α))). $

    Next, we present the simulation result of the TB model (5.1) using the numerical scheme.

    This section provides the simulation results of Atangana-Baleanu model (5.1) using the iterative scheme obtained in (5.12). The parameter values listed in Table 2 are for obtaining the numerical results 2. The simulation results are shown in Figure 5 by considering different values of $ \alpha = 1, 0.9, 0.8, 0.7 $ and $ 0.6 $. In Figure 5, we can see that by decreasing the values of $ \alpha $, the population of infected compartments decreases, while the susceptible population increase.

    Figure 5.  Numerical results for ABC model.

    In Figures 6 and 7, we present the effect of the efficacy of chemoprophylaxis ($ r_C $ and $ r_A $) and treatment ($ \gamma_C, \gamma_A $) on the TB transmission for different values of $ \alpha $. From Figure 6, it can be seen that as the chemoprophylaxis strategy increase, the infected TB in both children and adults population decrease. From Figure 7, it is shown that as the treatment strategy increase, the infected TB in both children and adults population decrease significantly.

    Figure 6.  Numerical results of infected TB with various $ r_C $ and $ r_A $, (a–b) for $ \alpha = 0.9 $; (c–d) for $ \alpha = 0.7 $.
    Figure 7.  Numerical results of infected TB with various $ \gamma_C $ and $ \gamma_A $, (a–b) for $ \alpha = 0.9 $; (c–d) for $ \alpha = 0.7 $.

    This present section demonstrates the comparison of the Caputo and Atangana-Baleanu operators graphically. The parameter values used in these simulations are given in Table 2. In order to have a comparison of these two operators we considered many values of $ \alpha = 1, 0.7, 0.5, 0.3 $ and the results were displayed Figures 811. It can be seen in Figures 811 that there exists a significant difference in the dynamical behavior of the TB infected population when the values of $ \alpha $ decrease within both fractional operators. From these figures, we see that Atangana-Baleanu derivative give faster decreases in the results compare to the Caputo derivative when the fractional order parameter decrease for the reduction of TB infection. This comparison section demonstrate the effectiveness of the Atangana-Baleanu derivative over the Caputo derivative.

    Figure 8.  Comparison results of Caputo and ABC derivative with $ \alpha = 1 $.
    Figure 9.  Comparison results of Caputo and ABC derivative with $ \alpha = 0.7 $.
    Figure 10.  Comparison results of Caputo and ABC derivative with $ \alpha = 0.5 $.
    Figure 11.  Comparison results of Caputo and ABC derivative with $ \alpha = 0.3 $.

    The findings reported here shed new light on the fractional-order model with Caputo and Atangana-Baleanu derivative to investigate the spread of TB with children and adults population. Brief mathematical results for the TB model are investigated. The basic reproduction number of the Caputo model and its equilibrium are obtained and presented the results. Each model is studied independently in the fractional operators of Caputo and Atangana-Baleanu. We then performed the numerical simulations of the Caputo model type for different values of the fractional-order using the predictor-corrector method. Then, we apply the fractional Atangana-Baleanu operator to the model and analyzed and obtained the associated results. We proved the uniqueness and existence of the Atangana-Baleanu model. The numerical simulation of the Atangana-Baleanu model was conducted using the Adams–Bashforth scheme. We further presented the graphical results of Atangana-Baleanu model for various fractional order parameters. A comparison of the proposed operators graphically presented. These graphical results for comparison show that the Atangana-Baleanu results are more appropriate for the better decrease in infection while the Caputo is less. We conclude from graphical results that increasing chemoprophylaxis and treatment rates then the TB infective both children and adult cases can be reduced. The graphical results show that a decrease in fractional order parameter causes a significant decrease in the infective TB population. Therefore, the present work is a novel analysis on the TB dynamics and will be more useful for the readers and public health authorities. In future work the TB age fractional model can be considered in the light of fractional impulse model and the results can be compared with non-impulse TB model, stated in [53,54,55]. This is important because the impulse effect is attracting the receiving considerable attention and eliciting widespread interest in epidemiological models.

    Part of this research is financially supported by Unversitas Airlangga 2018.

    All authors declare no conflict of interest.

    [1] Nature, 406 (2000), 378-382.
    [2] Pharmacy and Therapeutics, 36 (2011), 225-227.
    [3] Algorithmica, 40 (2004), 51-62.
    [4] Cambridge University Press, Cambridge, 2001.
    [5] Proc. Natl. Acad. Sci. USA, 109 (2012), 9209-9212.
    [6] Expert Opin. Drug Discov., 8 (2013), 7-20.
    [7] Pharmacol. Therapeut., 138 (2013), 333-408.
    [8] Symmetry, 2 (2010), 1683-1709, arXiv:1006.3923.
    [9] Nat. Rev. Drug Discov., 10 (2011), 563-564.
    [10] Nucleic Acid Res., 37 (2009), 1-13.
    [11] Nature Protocols, 4 (2009), 44-57, http://david.abcc.ncifcrf.gov/
    [12] John Wiley & Sons, Hoboken, NJ, 2008.
    [13] Nucleic Acid Res., 28 (2000), 23-30, http://www.genome.jp/kegg/.
    [14] Nucleic Acid Res., 32 (2004), D277-D280.
    [15] In A Voronkov, editor, The Alan Turing Centenary, pages 181-195. EasyChair, 2012,http://vlsicad.eecs.umich.edu/BK/SAUCY/.
    [16] Computer Science Review, 3 (2009), 199-243.
    [17] Landes Bioscience, Austin, TX, 2006.
    [18] Springer Verlag, Dordrecht, Heidelberg, New York, London, 2012.
    [19] Discr. Appl. Math., 156 (2008), 3525-3531.
    [20] http://seer.cancer.gov/.
    [21] Theor. Biol. Med. Model., 8 (2011), p21.
    [22] Genome Res., 13 (2003), 2498-2504. http://cytoscape.org.
    [23] BioSystems, 113 (2013), 149-154.
    [24] University of St Andrews, St Andrews, United Kingdom, 2013. http://www.gap-system.org.
    [25] BMC Syst. Biol., 7 (2013), p90.
    [26] Phys. Rev. E, 78 (2008), 046102, arXiv:0802.4318.
    [27] Bioinformatics, 25 (2009), 1470-1471, http://bioconductor.org.
  • This article has been cited by:

    1. Ylenia Russotto, Cristina Micali, Giovanni Francesco Pellicanò, Giuseppe Nunnari, Emmanuele Venanzi Rullo, HIV and Mediterranean Zoonoses: A Review of the Literature, 2022, 14, 2036-7449, 694, 10.3390/idr14050075
    2. Claire E. Depew, Stephen J. McSorley, The role of tissue resident memory CD4 T cells in Salmonella infection: Implications for future vaccines, 2023, 41, 0264410X, 6426, 10.1016/j.vaccine.2023.09.011
  • Reader Comments
  • © 2015 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(2916) PDF downloads(495) Cited by(10)

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog