1 Introduction and biological motivation

Chronic myelogenous leukaemia (CML) is a progressive, malignant disease characterized by a large number of abnormal blood cells in the bone marrow and peripheral blood [1, 2]. The schematic progression in time of myelogenous leukemia is shown in Figure 1.

Figure 1
figure 1

A scheme of myelogenous leukemia progression in time. Myelogenous leukemia progresses through four distinct phases. After an initial period of 3-5 years the abnormal cell counts rise to a relatively steady state, called the chronic phase. At this stage the disease can be diagnosed. Several years of the chronic phase where the abnormal cell count oscillates with a period of the order of months are followed by a phase characterized by oscillatory instability (the acceleration phase). Ultimately, this leads to the usually fatal acute phase with sharp increase in the abnormal cell count. This is known also as the blast crisis [15].

The benefit of the treatment of CML with imatinib (Gleevec (Novartis International AG, Basel, Switzerland)) was first indicated in 2000 [1, 3]. However, the loss of drug effectiveness was observed due to mutations of the target cancer cells, rendering the cells resistant to the drug [4, 5]. About 10 to 20% of patients do not respond to imatinib after prolonged therapy [6, 7].

One of the early mathematical models of CML was a model created by Fokas et al. (1991) [8] which includes hematopoietic process focused on the maturation and proliferation of the T cell precursors in the bone marrow. One of the models of anticancer CML therapy is Moore and Lee’s work [9] based on immune cell interactions with CML. Several recent mathematical models have been developed to study the dynamics of CML under imatinib treatment, including Komarova and Wodarz (2005) [10], Michor et al. (2005) [11], Nanda et al. (2007) [12], Kim et al. (2008) [13], and Paquin et al. (2011) [14]. In all of these studies, the authors conclude that imatinib does not completely eliminate the leukemia cell population and propose that imatinib therapy should be combined with an additional form of treatment.

In this paper, we present a model that combines imatinib with the interferon alfa-2α (IFN-α) immunotherapy. Including IFN-α treatment, we strengthen the immune response. We show that the immune response may play an important role in determining the length of time during treatment with imatinib for CML patients and would allow to keep the patient in the chronic stage for a longer period of time.

Recent data shows that IFN-α activation of immune cells (T killer cells, natural killer cells and others) contributes to the killing of cancer leukemic cells [16, 17]. Moreover, it is already proven that IFN-α may extend imatinib effect by activating immunological effector functions [18]. Therefore, we assume that the combination treatment of imatinib and IFN-α immunotherapy can be a good candidate to improve the current CML therapy.

The mathematical description of the above model is described in Section 2. In Section 3 we discuss the existence of a positive and unique equilibrium and prove local and global stability of this equilibrium. Section 4 validates the model results using published data taken from in vitro, mouse and human studies.

2 Model description

The dynamics of the interaction between the immune system (effector T cells) and CML cancer cells in the body can be described by the following system of two ordinary non-linear differential equations:

x ˙ ( t ) = β 1 x ( t ) ln K x ( t ) γ 1 x ( t ) y ( t ) ω γ 3 x ( h ( t ) ) , y ˙ ( t ) = β 2 x ( t ) η 1 + x ( t ) y ( t ) γ 2 x ( t ) y ( t ) + in α γ 4 y ( t ) η 2 + y ( t ) y ( t τ ) μ y y ( t ) ,
(1)

where x(t) is the CML cells population, y(t) is the number of effector T (CTL) cells and K>0, τ>0, β i >0, γ i >0, ω>0, in α >0, h(t)t is a continuous function such that th(t)θ, θ>0, lim t (th(t))=0.

We will analyze system (1) behavior under the following initial conditions:

x(t)=φ(t),y(t)=ψ(t),t0.
(2)

Here, we assume that φ(t), where θt0 and ψ(t), where τt0 are nonnegative continuous functions where x(0)=φ(0)>0, y(0)=ψ(0)>0, φ(t)φ(0), ψ(t)ψ(0).

The first term on the right-hand side of the first equation of system (1) describes the growth of CML cancer cells population in the form of the Gompertz law with the growth rate β 1 . The Gompertz curve provides a significantly better fit for leukemic cancer data than logistic, exponential or polynomial curves [9]. The constant K in the first term represents the maximum carrying capacity of CML cells compartment [19, 20]. The second term of the first equation of system (1) accounts for the loss of CML cancer cells due to their interaction with CTL cells. The third term of this equation describes inhibition of cancer cells by imatinib, where ω is a dose of imatinib given every day and h(t) is the time-varying function accounting for the delay of the impact of imatinib treatment on the number of cancer cells in the blood. The presence of such a time lag was shown by Volpe [6], who demonstrated that reduction in the number of cancer cells does not occur immediately after the start of imatinib administration but rather after a certain time period. The maximum delay time (θ) is about three weeks. The influence of drugs tends to zero over time, so a natural candidate for the delay function is h(t)=tθ e λ t . Hence, this function satisfies the condition that lim t (th(t))=0 in the formulation of the model (1).

The second equation describes the dynamic balance between stimulatory and inhibitory effects of CTL cells. The first term represents the growth of the population of the effector CTL cells y(t) due to the influence of CML antigen in the lymph nodes, where β 2 is the rate of this growth and η 1 is the standard half-saturation concentration in the Michaelis-Menten kinetics. The second term describes the loss of CTL cells due to the interaction between CTL and CML cancer cells with a rate γ 2 . CTL cells survive many hits by the target CML cells until they are inactivated and die [21]. The third term describes the stimulatory augmentation of the CTL cells due to IFN-α immunotherapy, where in α is the dose of IFN-α. Interferon-α leads to increased expression of other cytokines, such as interferon-γ that creates the pro-inflammatory environment with delay τ of about seven days [22]. In this term, η 2 is the standard half-saturation concentration of CTL immune within the Michaelis-Menten kinetics. Finally, the last term in the second equation describes the loss of CML cells due their natural death at a rate μ y .

It is well known from the medical practice that the value of x(t) of the population of CML cells cannot be reduced to zero by treatment of any type, so the therapy can be called successful if the value of x(t) does not increase over time. Imatinib has a marked inhibitory effect on the value of x(t), while IFN-α add-on has an additional effect due to the stimulation of CML cell production. From mathematical standpoint, the role of the variable y(t) is to decrease the value of x(t).

We used the model developed by Moore and Li [9] to explore treatment combinations. The difference between our model and the model by Moore and Li [9] is that we simplified the model describing the dynamics of their system by removing the third equation accounting for the behavior of the naive effector cells. Also, we added in the first equation the term accounting for the reduction in the number of cancer cells due to drug administration, while in the second equation we added the term describing the rate of increase in the number of immune cells that results from the treatment.

In our mathematical analysis of the above system, we aspire to stabilize the value of x(t) in such a way that x(t) does not exceed the limit of cancer CML cells in blood, which is characteristic of a chronic phase. The summary of values of the parameters used in the model is presented in Table 1.

Table 1 Parameter values

3 The local and global stability of combined model for tumor immunotherapy

3.1 Positivity and uniqueness of solution system (1)-(2)

In this section we discuss the positivity and uniqueness of the solution (x(t),y(t)) of system (1)-(2).

Lemma 1 [28]

Consider the initial value problem for a scalar linear delay equation

u ˙ (t)=a(t)u ( h ( t ) ) ,t0,u(t)=φ(t),t<0,u(0)= u 0 .

If

a(t)0,th(t)δ,δsupa(t) 1 e ,0φ(t) u 0 , u 0 >0,

then u(t)>0, t>0 and for the solution of the inequality

v ˙ (t)a(t)v ( h ( t ) ) ,t0,v(t)=u(t),t0,

one has v(t)u(t).

Theorem 1 Suppose that x(0)K, ω γ 3 θ 1 e . Then system (1)-(2) has the unique global solution (x,y) such that

0<x(t)K,0<y(t)y(0) e ( | β 2 μ y | + in α γ 4 ) t ,t>0.
(3)

Proof System (1) can be presented in the following form:

x ˙ (t)=f ( x ( t ) , y ( t ) , x ( h ( t ) ) ) , y ˙ (t)=g ( x ( t ) , y ( t ) , y ( t τ ) ) ,

where f(u,v,w), g(u,v,w) are continuous Lipschitz functions on the domain a u u b u , a v v b v , a w w b w for any positive constants a u , b u , a v , b v , a w , b w . Using Theorem 2.2.1 from [29], we can state that there is a unique local solution of system (1)-(2). Since x(0)>0, y(0)>0, this local solution is positive.

Denote by [0,c) the maximum existence interval of the system’s solution. For y(0)>0 we have from the second equation of system (1)

y(t)=y(0) e 0 t ( β 2 x ( s ) η 1 + x ( s ) γ 2 x ( s ) + in α γ 4 1 η 2 + y ( s ) y ( s τ ) μ y ) d s .
(4)

Hence y(t)>0, t[0,c).

Suppose x(0)<K, which means that 0<x(t)<K, t[0,c) or there is a t 1 >0 such that x( t 1 )=K. Then x ˙ ( t 1 )<0 so x(t)<K, t> t 1 or there is a t 2 > t 1 such that x(t)<K, t 1 <t< t 2 and x( t 2 )=K. It is clear that x ˙ ( t 2 )<0, which allows us to obtain that x(t)K for t t 1 . Repeating the process of our reasoning, we prove that x(t)K, t t 1 .

The case x(0)=K is same as the case (2) if we replace the point t 1 =0.

Now, let us estimate y(t) behavior.

Having

y ˙ (t)| β 2 μ y |y(t)+ in α γ 4 y(tτ),

we can state that

y ( t ) y ( 0 ) + 0 t ( | β 2 μ y | y ( s ) + in α γ 4 y ( s τ ) ) d s y ( 0 ) + 0 t ( | β 2 μ y | + in α γ 4 ) max τ ξ s y ( ξ ) d s .

Denote z(t)= max τ ξ t y(ξ). Then

z(t)y(0)+ 0 t ( | β 2 μ y | + in α γ 4 ) z(s)ds.

From the well-known Gronwall-Bellman inequality, we have

0<y(t)z(t)y(0) e ( | β 2 μ y | + in α γ 4 ) t .

Hence, the inequalities in (3) hold for t[0,c).

Suppose that c<. Then there are only two possibilities:

  1. (a)

    lim t c x(t)=+ or lim t c y(t)=+;

  2. (b)

    lim t c x(t)=0 or lim t c y(t)=0.

By inequalities (3), x(t) and y(t) are bounded on any final interval. Then (a) is impossible.

By (4) relation lim t c y(t)=0 is also impossible.

Suppose now that lim t c x(t)=0. There exists C>0 such that 0<y(t)<C, t[0,c). Hence, the first equation in (1) implies

x ˙ (t) γ 1 Cx(t)ω γ 3 x ( h ( t ) ) .

Consider the following initial value problem:

w ˙ (t)= γ 1 Cw(t)ω γ 3 w ( h ( t ) ) ,w(t)=x(t),t0.
(5)

After substitution w(t)= e γ 1 C t u(t), equation (5) has a form

u ˙ (t)=ω γ 3 e γ 1 C ( t h ( t ) ) u ( h ( t ) ) .
(6)

We have 0th(t)θ. Hence

ω γ 3 e γ 1 C ( t h ( t ) ) θω γ 3 θ 1 e ,t[0,c].

Lemma 1 and the inequality u(t)<u(0), t<0 imply that u(t)>0, t[0,c], then also w(t)>0, t[0,c]. Hence, there exists δ>0 such that w(t)>δ, t[0,c]. By Lemma 1 we have x(t)w(t)δ>0, t[0,c). This is a contradiction to the assumption lim t c x(t)=0.

Hence, c= and the theorem is proven. □

Theorem 2 If

μ y > β 2 + in α γ 4 ,
(7)

there is the unique equilibrium ( X ,0) of system (1) where X =K e ω γ 3 β 1 .

Proof It is obvious that ( X ,0) is an equilibrium of system (1). We have to prove the uniqueness only of this equilibrium or, in another words, we have to prove there is no other equilibrium ( X 0 , Y 0 ), where X 0 >0, Y 0 >0.

Suppose that ( X 0 , Y 0 ), where X 0 >0, Y 0 >0 is the equilibrium of system (1). Then, from the second equation in (1), we have

β 2 X 0 η 1 + X 0 γ 2 X 0 + in α γ 4 Y 0 η 2 + Y 0 μ y =0.

Hence,

Y 0 = η 2 [ μ y + γ 2 X 0 β 2 X 0 η 1 + X 0 ] in α γ 4 μ y γ 2 X 0 + β 2 X 0 η 1 + X 0 .

Thus, we have

μ y + γ 2 X 0 β 2 X 0 η 1 + X 0 μ y β 2 > 0 , in α γ 4 μ y γ 2 X 0 + β 2 X 0 η 1 + X 0 in α γ 4 μ y + β 2 < 0 .

Then Y 0 <0 contradicts our assumption and, therefore, system (1) has only one equilibrium ( X ,0). □

In the rest of the paper we assume that the conditions of Theorems 1 and 2 hold.

3.2 Local stability of the equilibrium ( X ,0)

To analyze local stability of the equilibrium ( X ,0) for system (1), we will use the lemma defined below. Consider the scalar linear equation

x ˙ (t)+ k = 1 m a k x ( h k ( t ) ) =f(t),
(8)

where a k >0, lim t h k (t)=.

Lemma 2 [30]

If lim sup t > 0 k = 1 m a k (t h k (t))< 3 2 , lim t f(t)=0, then for any solution x of (8), lim t x(t)=0.

Theorem 3 If

ω γ 3 < β 1 , γ 2 X + μ y > β 2 X η 1 + X ,
(9)

then the equilibrium ( X ,0) is locally asymptotically stable.

Proof After substitution of x(t)=u(t)+ X , y(t)=v(t), system (1) can be rewritten in the following form:

u ˙ ( t ) = β 1 ( u ( t ) + X ) ln K u ( t ) + X u ˙ ( t ) = γ 1 ( u ( t ) + X ) v ( t ) ω γ 3 ( u ( h ( t ) ) + X ) , v ˙ ( t ) = β 2 u ( t ) + X η 1 + u ( t ) + X v ( t ) γ 2 ( u ( t ) + X ) v ( t ) v ˙ ( t ) = + in α γ 4 v ( t ) η 2 + v ( t ) v ( t τ ) μ y v ( t ) .
(10)

The linearized system (10) has a form of

u ˙ ( t ) = ( β 1 ω γ 3 ) u ( t ) γ 1 X v ( t ) ω γ 3 u ( h ( t ) ) , v ˙ ( t ) = ( γ 2 X + μ y β 2 X η 1 + X ) v ( t ) .
(11)

The second inequality (9) implies that the second equation of (11) is exponentially stable. Hence lim t v(t)=0.

The first equation can be rewritten in the form (8), where m=2, a 1 = β 1 ω γ 3 >0, a 2 =ω γ 3 >0, h 1 (t)=t, h 2 (t)=h(t), f(t)= γ 1 X v(t). Since t h 1 (t)=0 and lim t (t h 2 (t))=0, then

lim sup t > 0 k = 1 2 a k ( t h k ( t ) ) =0< 3 2 .

By Lemma 2 lim t u(t)=0. The theorem is proven. □

3.3 Global stability of the equilibrium ( X ,0)

To analyze the global stability of the equilibrium ( X ,0) for system (1), we will use the following lemmas.

Lemma 3 [29]

Consider the scalar linear delay differential equation

x ˙ (t)=a(t)x(t)+b(t)x ( h ( t ) ) ,

where a, b are continuous bounded on [0,) functions, h, k=1,,m are continuous functions, lim t h(t)=.

If a(t) a 0 >0, |b(t)|qa(t), 0<q<1, then the solution of the above equation is asymptotically stable.

Lemma 4 [31]

Consider the following equation and inequalities:

(12)
(13)
(14)

where a, a k , k=1,,m are continuous bounded on [0,) functions, a k (t)0, h k , k=1,,m are continuous functions, lim t h k (t)=.

Denote by X(t,s) the fundamental function of equation (12). Then X(t,s)>0, 0st. Moreover, for any t 0 , the equality x(t)=y(t)=z(t), t t 0 , implies y(t)x(t)z(t), t> t 0 , where x, y, z are the solutions of (12), (13), (14) respectively.

Let us formulate one of the classical results by Chaplygin [32] (see also [33]).

Lemma 5 Consider the ODE and corresponding differential inequalities:

x ˙ ( t ) = f ( t , x ( t ) ) , t t 0 , y ˙ ( t ) f ( t , y ( t ) ) , t t 0 , z ˙ ( t ) f ( t , z ( t ) ) , t t 0 ,

where f(t,u) is a continuous function. If y( t 0 )x( t 0 )z( t 0 ), then y(t)x(t)z(t), t> t 0 .

Theorem 4 If condition (7) holds, then for any solution (x,y) of system (1), we have lim t x(t)= X , lim t y(t)=0, which means that ( X ,0) is a global attractor for all solutions of system (1)-(2).

Proof Suppose (x,y) is an arbitrary solution of (1). From the second equation (1) we have

y ˙ (t)( μ y β 2 )y(t)+ in α γ 4 y(tτ).

By Lemma 3 we have 0<y(t)u(t), where u is the solution of the equation

u ˙ (t)=( μ y β 2 )u(t)+ in α γ 4 u(tτ),

where u(t)=y(t), t0. Lemma 4 implies that lim t u(t)=0. Hence lim t y(t)=0. The second part of the theorem is proven.

In order to prove that lim t x(t)= X , at first we will show that x ˙ is a bounded function. From the first equation (1), we have

x ˙ (t) β 1 x(t)ln K x ( t ) .

Since

lim x 0 xln K x =0, lim x + xln K x =,

then for some M 1 >0, x ˙ (t) M 1 .

Since lim t y(t)=0, then 0<y(t)< M y for some M y >0. Thus

x ˙ (t) ( β 1 ln K max { x ( 0 ) , K } γ 1 M y ω γ 3 ) max { x ( 0 ) , K } = M 2

and | x ˙ (t)|C for some C>0.

Using all the above, we can rewrite the following:

x ˙ ( t ) β 1 x ( t ) ln K x ( t ) ω γ 3 x ( h ( t ) ) β 1 x ( t ) ln K x ( t ) ω γ 3 x ( t ) + ω γ 3 h ( t ) t | x ˙ ( s ) | d s β 1 x ( t ) ln K x ( t ) ω γ 3 x ( t ) + ω γ 3 C ( t h ( t ) ) .

Since lim t (th(t))=0, then for any ϵ>0, there exists t 1 such that ω γ 3 C(th(t))<ϵ, t t 1 .

And therefore,

x ˙ (t) β 1 x(t)ln K x ( t ) ω γ 3 x(t)+ϵ,t t 1 .

Consider now an ODE associated with the previous differential inequality

u ˙ (t)= β 1 u(t)ln K u ( t ) ω γ 3 u(t)+ϵ,t t 1 ,
(15)

where u( t 1 )=x( t 1 ), and a functional equation F(p,ϵ)=0, where

F(p,ϵ)= β 1 pln K p ω γ 3 p+ϵ.

We have F( X ,0)=0, F p ( X ,0)= β 1 0. By the implicit function theorem, for small ϵ>0, there exists the unique solution p=p(ϵ) of the equation F(p,ϵ)=0 such that lim ϵ 0 p(ϵ)= X . It is obvious that p(ϵ) is a positive equilibrium of ODE (15).

For the solution of equation (15), we have u ˙ (t)>0, t> t 1 if u( t 1 )<p(ϵ) and u ˙ (t)<0, t> t 1 if u( t 1 )>p(ϵ). Hence, for any solution of this equation, we have lim t u(t)=p(ϵ). By Lemma 5 we have x(t)u(t), t t 1 .

We also have

x ˙ (t) β 1 x(t)ln K x ( t ) γ 1 x(t)y(t)ω γ 3 x(t)ω γ 3 C ( t h ( t ) ) .

Since

lim t y(t)=0, lim t ( t h ( t ) ) =0,

then for any ϵ>0, there exists t 2 such that

x ˙ (t) β 1 x(t)ln K x ( t ) ϵx(t)ω γ 3 x(t)ϵ,t t 2 .

Consider an ODE

v ˙ (t)= β 1 v(t)ln K v ( t ) ϵv(t)ω γ 3 v(t)ϵ,t t 2 .
(16)

Performing the same calculations as for equation (15), we can show that for small ϵ>0, equation (16) has the unique equilibrium q(ϵ) such that lim ϵ 0 q(ϵ)= X . Hence, for any solution of equation (16), we have lim t v(t)=q(ϵ). By Lemma 5 we obtain x(t)v(t), t t 2 .

Thus, for t 0 =max{ t 1 , t 2 }, we have v(t)x(t)u(t), t t 0 . Hence

q(ϵ) lim t x(t)p(ϵ).

But

lim ϵ 0 p(ϵ)= lim ϵ 0 q(ϵ)= X .

Hence

lim t x(t)= X .

The theorem is proven. □

By definition, local stability and global attractivity imply global stability. Hence, we have the following result.

Theorem 5 Suppose conditions (7) and (9) hold. Then the equilibrium ( X ,0) is globally asymptotically stable.

4 Simulation results

In order to verify the mathematical model of the biological system, it is widely accepted to estimate the conditions defined in the presented theorems based on the parameters set taken from the biological and medical literature (these parameters are taken from Table 1).

System (1) has an equilibrium ( X ,0) where X =K e ω γ 3 β 1 . Substituting the relevant parameters from Table 1, we get that X =1.5× 10 5 exp( 400 × 0.00014 0.03 )=23,196, which means that the cancer cells number will not exceed the 23,196 cells at a constant daily dose of 400 mg imatinib.

With increasing the daily dose of imatinib to 600 mg, the amount of cancer cells decreases to almost 10,000. These numerical results are consistent with the data given in [12].

In order to check the local and global stability conditions, we substitute parameters to the expression in α × γ 4 + β 2 < μ y . The following numerical inequality is received: 13×0.005+4.1× 10 4 <0.05. The obtained result supports that the model (1)-(2) has a positive stable local and global equilibrium if condition (4) is satisfied.

5 Conclusion

In this work we have proposed a mathematical model for the combination treatment of chronic myelogenous leukemia with imatinib and IFN-α to overcome immune suppressive side effects of imatinib, prolonging the chronic phase of the disease. Our model consists of a system of two non-linear delay differential equations with logarithmic and rational nonlinearities.

In order to describe the influence of two types of the treatment component (imatinib and IFN-α) on the model compartments, we introduced delays and explained a biological motivation for it. The proposed two-compartment model allows to evaluate directly the expected steady states of the system.

In our work we investigate the contribution of IFN-α (immunotherapy) in eliciting strong killer cells (CTL) responses against cancer (CML) cells in addition to imatinib therapy by examination of CTL and CML cells populations only. The dose of IFN-α has an inhibitory effect on the value of x(t), as seen from the formula (4). As a result of calculations shown in Section 4, we observe that y(t) inhibits x(t), destroying itself to 0 in spite of constant addition of IFN-α.

The existence of unique global solutions for CML model was defined. Explicit local and global stability conditions for the unique non-trivial equilibrium were obtained by applying the method of delays in differential inequalities and linear stability theory of non-linear delay differential equations. The numerical results show that our model replicates the averaged behavior of the combined treatment.

In the future, in order to avoid resistance to imatinib, it looks reasonable to change the IFN-α to another type of the treatment in combination with imatinib [34]. The best form of combination therapy that leads to improved survival in patients remains to be seen in future by mathematical models and clinical trials.