# Optimal Control Model of Tumor Treatment with Oncolytic Virus and MEK Inhibitor

Authors: Yongmei Su; Chen Jia; Ying Chen
Journal: BioMed Research International
 (2016)

---

## Abstract

Tumors are a serious threat to human health. The oncolytic virus is a kind of tumor killer virus which can infect and lyse cancer cells and spread through the tumor, while leaving normal cells largely unharmed. Mathematical models can help us to understand the tumor-virus dynamics and find better treatment strategies. This paper gives a new mathematical model of tumor therapy with oncolytic virus and MEK inhibitor. Stable analysis was given. Because mitogen-activated protein kinase (MEK) can not only lead to greater oncolytic virus infection into cancer cells, but also limit the replication of the virus, in order to provide the best dosage of MEK inhibitors and balance the positive and negative effect of the inhibitors, we put forward an optimal control problem of the inhibitor. The optimal strategies are given by theory and simulation.


---

## Body

## 1. Introduction

Tumors are a serious threat to human health, and chemotherapy and radiotherapy may not only kill cancer cells, but also damage human body normal cells at the same time [1]. The oncolytic virus is a kind of tumor killer virus which can infect and lyse cancer cells and spread through the tumor, while leaving normal cells largely unharmed [2]. When oncolytic viruses are inoculated into a cancer patient or directly injected into a tumor, these viruses will spread throughout the tumor and infect tumor cells. The viruses can be replicated in the infected tumor cells. When an infected tumor cell is lysed, it can burst out a mass of new oncolytic viruses. Then, these new viruses can infect much more neighboring tumor cells [3].Experiments using oncolytic viruses such as adenovirus, CN706 [4], and ONYX-15 [5] in animal tumors show that these viruses are nontoxic and infect tumor cells specifically. Now, treatment of cancer with oncolytic virus has been clinically tested [6–8]. This treatment of cancer with oncolytic viruses has been explored by clinicians [9–11].In recent years, in order to understand the cancer-virus dynamics and find better treatment strategies, some mathematical models have been set up [12–19]. Tian proposed a mathematical model to describe the development of a growing tumor and an oncolytic virus population as follows [18]:(1)
d
x
d
t
=
λ
x
1
-
x
+
y
K
-
β
x
v
,
d
y
d
t
=
β
x
v
-
δ
y
,
d
v
d
t
=
b
δ
y
-
β
x
v
-
γ
v
,where variables x
,
y
,
a
n
d
v stand for the population of uninfected cells, infected tumor cells, and oncolytic viruses, respectively. The coefficient β represents the infection of the virus. The tumor growth is modeled by logistic growth, and K is the maximal tumor size. λ is the per capita tumor growth rate. δ means the lysis rate of the infected tumor cells. b represents the burst size of new viruses coming out from the lysis of an infected tumor cell. γ represents the death rate of the virus.It was shown that when the thresholdb
<
1
+
γ
/
(
K
β
), the equilibrium solution (
K
,
0,0
) is globally asymptotically stable [18], indicating that the oncolytic virus therapy finally has no effect. Obviously, the smaller the value of K, the more easily b
<
1
+
γ
/
(
K
β
) holds. Since K represents the total number of tumor cells, smaller tumors may be more resistant to the treatment by oncolytic virus than large ones, which should be a contradiction. In [19], by replacing β
x
v with x
v
/
(
x
+
y
+
ε
), we proposed the model (2)
d
x
d
t
=
λ
x
1
-
x
+
y
K
-
β
x
v
x
+
y
+
ε
,
d
y
d
t
=
β
x
v
x
+
y
+
ε
-
δ
y
,
d
v
d
t
=
b
δ
y
-
β
x
v
x
+
y
+
ε
-
γ
v
.The meanings of variables x
,
y
,
a
n
d
v and parameters λ
,
β
,
δ
,
γ
,
b, and K are the same as those in model (1), and ε is positive and sufficiently small. The threshold obtained by our model is b
<
1
+
(
γ
/
β
)
1
+
ε
/
K, which is almost independent of K when ε is sufficiently small.On the other hand, all the above papers did not consider coxsackie-adenovirus receptor (CAR). In fact, CAR is a main receptor when oncolytic viruses enter into tumor cells [20–22]. The successful entry of viruses into cancer cells is related to the presence of CAR. When oncolytic viruses infect the tumor cells, firstly, they combine with the CAR and are absorbed into the cells.Mitogen-activated protein kinase (MEK) inhibitors have been shown to promote CAR expression and could increase oncolytic viruses infection into tumor cells. But MEK inhibitors may also limit the replication of viruses [23–25], which will affect the treatment by oncolytic virus. With the function of MEK, [25] gave a model:(3)
d
x
d
t
=
ρ
x
1
-
u
-
d
x
-
β
z
x
v
1
+
ε
v
,
d
y
d
t
=
β
z
x
v
1
+
ε
v
-
d
y
-
a
1
-
u
y
,
d
v
d
t
=
k
1
-
u
y
-
b
v
,
d
z
d
t
=
η
u
p
-
z
-
c
z
.The variables x
,
y, and v have the same meanings as those in model (2); z represents the average expression level of CAR on the surface of the cells. The intensity of MEK inhibitor application is captured in the parameter u
,
u
∈
0,1. If u
=
0, there is no MEK inhibitor application, and the CAR expression level will gradually decline. If u
=
1, the MEK inhibitor has the maximum possible effect. The model assumes that exponential growth can be slowed down by the inhibitor with expression 1
-
u. CAR grow at the rate of g
p
-
z and become extinct at the rate of c.Based on models (2) and (3), we establish the following mathematical model:(4)
d
x
d
t
=
1
-
u
r
x
1
-
x
+
y
K
-
β
x
v
z
x
+
y
+
ε
,
d
y
d
t
=
β
x
v
z
x
+
y
+
ε
-
1
-
u
δ
y
,
d
v
d
t
=
b
1
-
u
δ
y
-
β
x
v
z
x
+
y
+
ε
-
α
v
,
d
z
d
t
=
g
u
p
-
z
-
c
z
.The variables x
,
y
,
v, and z have the same meanings as those in model (3). The parameters λ
,
β
,
δ
,
γ
,
b, and K are the same as those of (1). The parameter u has the same meaning as that in model (3). All the parameters are strictly positive.Since the use of MEK inhibitors not only results in enhanced oncolytic virus entry into the tumor cells, but also renders infected cells temporarily unable to produce viruses, the maximum dosage of MEK use may not result in the best treatment effect, so the optimal control-based schedules of MEK inhibitor application should be studied. The optimal MEK inhibitor application strategy can increase the efficacy of this treatment in an economical fashion. So, first, in this paper, we let the control variableu be a constant; a stability analysis of our model is conducted, and then the optimal control strategy is discussed; we also compare the optimal control with constant control by simulation.


## 2. Materials and Methods

### 2.1. Stability Analysis

System (4) always has two equilibrium points:(5)
E
0
=
0,0
,
0
,
g
u
p
g
u
+
c
,
E
1
=
K
,
0,0
,
g
u
p
g
u
+
c
.If ε is sufficiently small, when b
>
1
+
α
K
+
ε
/
β
K
g
u
+
c
/
g
u
p, the third steady state E
2
=
x
2
,
y
2
,
v
2
,
z
2 exists in which(6)
x
2
=
Δ
+
Δ
2
+
4
b
-
1
K
α
β
z
2
r
1
-
u
2
δ
ε
2
b
-
1
β
z
2
r
1
-
u
,
y
2
=
b
-
1
β
z
2
α
-
1
x
2
-
ε
,
v
2
=
b
-
1
1
-
u
δ
α
y
2
,
z
2
=
g
u
p
g
u
+
c
.Here, (7)
Δ
=
1
-
u
r
α
K
+
ε
-
K
b
-
1
1
-
u
δ
β
z
2
+
K
α
1
-
u
δ
.It should be noted that b
>
1
+
α
K
+
ε
/
β
K
(
g
u
+
c
)
/
g
u
p is equivalent to b
-
1
β
z
2
/
α
-
1
>
0 to ensure that y
2
>
0 when ε is sufficiently small.The Jacobi matrix at pointE
0 is(8)
J
E
0
=
r
1
-
u
0
0
0
0
-
1
-
u
δ
0
0
0
b
δ
-
α
0
0
0
0
-
g
u
-
c
.Obviously, μ
1
=
r
1
-
u
>
0 is one eigenvalue of J
E
0 which means E
0 is unstable. The unstable result of E
0 seems consistent with the biological meaning that, without viruses and infected tumor cells, the tumor will grow from an initial small value around E
0.As for equilibrium pointE
1, we have the following theorem.Theorem 1.
Whenb
<
1
+
α
K
+
ε
/
β
K
·
g
u
+
c
/
g
u
p, E
1 is locally asymptotically stable. When b
>
1
+
α
K
+
ε
/
β
K
g
u
+
c
/
g
u
p, E
1 is unstable.Proof.
At the equilibrium pointE
1, the Jacobi matrix is(9)
J
E
1
=
-
1
-
u
r
-
1
-
u
r
-
H
0
0
-
1
-
u
δ
H
0
0
b
1
-
u
δ
-
α
-
H
0
0
0
0
-
g
u
-
c
,where H
=
β
K
g
u
p
/
K
+
ε
g
u
+
c. The eigenvalues of J
E
1 are μ
1
=
-
1
-
u
r
,
μ
2
=
-
g
u
-
c,(10)
μ
3
,
4
=
-
1
-
u
δ
+
α
+
Δ
2
±
G
2
.Here, G
=
δ
1
-
u
-
α
-
Δ
2
2
+
4
Δ
2
b
δ
1
-
u in which Δ
2
=
β
K
u
g
p
/
K
+
ε
g
u
+
c.
Whenb
<
1
+
α
K
+
ε
/
β
K
g
u
+
c
/
g
u
p, we have(11)
G
=
1
-
u
δ
-
α
-
Δ
2
2
+
4
Δ
2
b
1
-
u
δ
<
1
-
u
δ
+
α
+
Δ
2
2
,which ensure that μ
3 and μ
4 are negative, so E
1 is locally asymptotically stable.
Similarly, whenb
>
1
+
α
K
+
ε
g
u
+
c
/
β
K
g
u
p, μ
3 is positive, and E
1 is unstable.
Actually, we can prove that the equilibrium solutionE
1 is globally asymptotically stable when b
<
1
+
α
K
+
ε
g
u
+
c
/
β
K
g
u
p. But we need to show the boundness of system (4). From the first two equations, we obtain(12)
d
x
t
+
y
t
d
t
=
1
-
u
r
x
t
1
-
x
t
+
y
t
K
-
1
-
u
δ
y
t
≤
r
x
t
+
y
t
1
-
x
t
+
y
t
K
.By the comparison principle, we can obtain lim
t
→
∞
⁡
sup
⁡
x
t
+
y
t
≤
K.
From the third equation of (4), we can have (13)
d
v
d
t
≤
1
-
u
b
δ
K
-
β
x
v
z
x
+
y
+
ε
-
α
v
≤
1
-
u
b
δ
K
-
α
v
.It is easily shown that v
t
≤
1
-
u
b
δ
K
/
α.
Similarly, from(14)
d
z
d
t
=
g
u
p
-
z
-
c
z
=
g
u
p
1
-
g
u
+
c
g
u
p
z
,we can get that z
t
≤
g
u
p
/
(
g
u
+
c
) holds.Theorem 2.
Whenb
<
1
+
α
K
+
ε
/
β
K
·
g
u
+
c
/
g
u
p, E
1 is globally asymptotically stable.Proof.
Consider the Lyapunov functionV
=
y
+
(
1
/
b
)
v; the derivative along a solution is given by (15)
V
.
=
y
.
+
1
b
v
.
=
β
x
v
z
x
+
y
+
ε
-
1
-
u
δ
y
+
1
b
b
1
-
u
δ
y
-
β
x
v
z
x
+
y
+
ε
-
α
v
=
1
-
1
b
β
x
v
z
x
+
y
+
ε
-
α
b
v
.Since 0
<
x
≤
K
,
0
<
x
+
y
≤
K, we have x
K
+
x
ε
≤
x
K
+
K
ε
+
K
y, which implies (16)
x
x
+
y
+
ε
≤
K
K
+
ε
,and because z
≤
g
u
p
/
(
g
u
+
c
), therefore, (17)
V
.
=
1
-
1
b
β
x
v
z
x
+
y
+
ε
-
α
b
v
≤
1
-
1
b
β
K
v
K
+
ε
g
u
p
g
u
+
c
-
α
b
v
=
β
b
-
1
K
g
p
-
α
K
+
ε
g
u
+
c
b
K
+
ε
u
g
+
c
v
.When b
<
1
+
α
K
+
ε
/
β
K
·
(
g
u
+
c
)
/
g
u
p, we can have V
.
≤
0.
LetE
=
x
,
y
,
v
,
z
∣
V
.
=
0; it is clear that E
⊂
x
,
y
,
v
,
z
∣
v
=
0. Let M be the largest positively invariant subset of the set E; by the third equation of system (4), we can know that y
(
t
)
=
0, so M
=
(
x
,
y
,
v
)
∣
y
=
0
,
v
=
0
. By LaSalle invariance principal [26], we know(18)
lim
t
→
∞
⁡
y
t
=
0
,
lim
t
→
∞
⁡
v
t
=
0
.So, the limit equation of system (4) is (19)
d
x
d
t
=
1
-
u
r
x
1
-
x
K
,
d
z
d
t
=
g
u
p
-
z
-
c
z
.Therefore, x
t
→
K
,
z
→
g
u
p
/
(
g
u
+
c
) when t
→
∞. So, E
1 is globally attractive; note that b
<
1
+
(
α
K
+
ε
/
β
K
)
·
(
g
u
+
c
/
g
u
p
) can also ensure the local asymptotical stability of E
1, so we can know that E
1 of system (4) is globally asymptotically stable when b
<
1
+
(
α
K
+
ε
/
β
K
)
·
(
g
u
+
c
/
g
u
p
).
Although we can prove the global asymptotical stability ofE
1, we would not want this to happen, because the global asymptotical stability means the therapy does not have any effect. When b
>
1
+
(
α
K
+
ε
/
β
K
)
(
g
u
+
c
/
g
u
p
) holds, the coexistent steady state E
2
=
x
2
,
y
2
,
v
2
,
z
2 exists, but it is difficult to give the stable analysis ofE
2, so we just give some simulations about it.
We chooseβ
=
0.2
d
a
y
-
1, ε
=
0.009, δ
=
0.5
d
a
y
-
1, r
=
6
c
e
l
l
s
d
a
y
-
1, α
=
0.5
d
a
y
-
1, p
=
10, g
=
0.1
d
a
y
-
1, c
=
0.5
d
a
y
-
1, and K
=
9
×
1
0
8
c
e
l
l
s.
The initial condition isx
0
=
6
×
1
0
7
,
0
,
5
×
1
0
4
,
4
×
1
0
2, where the unit of each is cells.
We chooseb
=
10
c
e
l
l
-
1
d
a
y
-
1
,
b
=
14
c
e
l
l
-
1
d
a
y
-
1, respectively, and b
>
1
+
(
α
K
+
ε
/
β
K
)
(
g
u
+
c
/
g
u
p
)
=
2.6389 all hold; the simulation results are shown in Figures 1 and 2.
The simulation results show that oncolytic virus therapy may keep the tumor stable at some level as shown in Figure1 or keep oscillating at a certain range as shown in Figure 2. Since the cured equilibrium is always unstable, just from our model, we could not give the condition that ensures the tumor can be cured by oncolytic virus therapy, but if we choose appropriateu which satisfies(20)
b
>
1
+
α
K
+
ε
β
K
g
u
+
c
g
u
p
,the simulation shows that oncolytic virus therapy can prevent the tumor from getting worse and worse. Some other therapy methods should be combined to cure the tumor.Figure 1
State dynamics for uninfected and infected tumor cells whenb
=
10.Figure 2
State dynamics for uninfected and infected tumor cells whenb
=
14.


### 2.2. The Optimal Control of MEK

In the simulation of Figures1 and 2, we choose the control u as constant. Since the use of MEK inhibitors not only results in enhanced oncolytic virus entry into the cells, but also renders infected cells temporarily unable to produce viruses, how to use the MEK inhibitors optimally should be studied. In model (4), the function of MEK inhibitors was embodied by parameter u; we use it as the control variable. The control goal is not only to formulate an objective functional which lowers the levels of tumor cells during and at the end of therapy, but also to minimize the cost of MEK, so the objective function is defined as follows:(21)
J
u
=
1
2
a
11
x
2
+
1
2
a
22
y
2
+
1
2
∫
t
0
t
f
b
11
x
2
+
b
22
y
2
+
b
33
v
2
+
c
11
u
2
d
t
,where t
0 represents the beginning time of the treatment and t
f represents the terminal time of the treatment. a
11
,
a
22
,
b
11
,
b
22
,
b
33
,
a
n
d
c
11 represent the cost coefficients for the variables, respectively.For convenience, we define the state vectorX
=
x
,
y
,
v
,
z
T; system (4) can be written as(22)
X
.
=
f
X
T
,
u
t
,
t
,
X
t
0
=
X
0
.And the corresponding cost function is defined as follows:(23)
J
=
1
2
X
T
A
X
+
1
2
∫
t
0
t
f
X
T
B
X
+
C
u
2
d
t
.Here,(24)
A
=
a
11
0
0
0
0
a
22
0
0
0
0
0
0
0
0
0
0
,
A
=
b
11
0
0
0
0
b
22
0
0
0
0
b
33
0
0
0
0
0
,
C
=
c
11
.Based on the dynamic constraintf
X
T
,
u
t
,
t and the Lagrangian L
X
t
,
u
t
,
t, the Hamiltonian is as follows:(25)
H
X
t
,
u
t
,
t
=
L
X
t
,
u
t
,
t
+
λ
T
f
X
t
,
u
t
,
twhere L
X
t
,
u
t
,
t
=
(
1
/
2
)
X
T
B
X
+
c
11
u
2.Using Pontryagin’s minimum principle, the necessary conditions are given as follows:(10)
(26)
X
˙
=
f
X
t
,
u
t
,
t
=
d
x
d
t
=
1
-
u
r
x
1
-
x
+
y
k
-
β
x
v
z
x
+
y
+
ε
d
x
d
t
=
β
x
v
z
x
+
y
+
ε
-
1
-
u
δ
y
d
v
d
t
=
b
1
-
u
δ
y
-
β
x
v
z
x
+
y
+
ε
-
α
v
d
z
d
t
=
g
u
p
-
z
-
c
z
,
(20)
(27)
X
t
0
=
X
0
,
(30)
(28)
λ
˙
=
-
∂
H
∂
X
=
-
λ
1
·
p
f
11
+
λ
2
·
p
f
21
+
λ
3
·
p
f
31
+
λ
4
·
p
f
41
+
b
11
x
λ
1
·
p
f
12
+
λ
2
·
p
f
22
+
λ
3
·
p
f
32
+
λ
4
·
p
f
42
+
b
22
y
λ
1
·
p
f
13
+
λ
2
·
p
f
23
+
λ
3
·
p
f
33
+
λ
4
·
p
f
43
+
b
33
v
λ
1
·
p
f
14
+
λ
2
·
p
f
24
+
λ
3
·
p
f
34
+
λ
4
·
p
f
44
,where(29)
p
f
11
=
r
1
-
u
1
-
2
x
+
y
K
-
β
y
+
ε
v
z
x
+
y
+
ε
2
,
p
f
12
=
β
x
v
z
x
+
y
+
ε
2
-
1
-
u
r
K
x
,
p
f
13
=
-
β
x
z
x
+
y
+
ε
,
p
f
14
=
-
β
x
v
x
+
y
+
ε
,
p
f
21
=
β
y
+
ε
v
z
x
+
y
+
ε
2
,
p
f
22
=
-
1
-
u
δ
-
β
x
v
z
x
+
y
+
ε
2
,
p
f
23
=
β
x
z
x
+
y
+
ε
,
p
f
24
=
β
x
v
x
+
y
+
ε
,
p
f
31
=
-
β
y
+
ε
v
z
x
+
y
+
ε
2
,
p
f
32
=
b
1
-
u
δ
+
β
x
v
z
x
+
y
+
ε
2
,
p
f
33
=
-
β
x
z
x
+
y
+
ε
-
α
,
p
f
34
=
-
β
x
v
x
+
y
+
ε
,
p
f
41
=
0
,
p
f
42
=
0
,
p
f
43
=
0
,
p
f
44
=
-
g
u
-
c
,
(40)
(30)
λ
t
f
=
A
X
t
f
=
a
11
0
0
0
0
a
22
0
0
0
0
0
0
0
0
0
0
x
t
f
y
t
f
v
t
f
z
t
f
,
(50)
(31)
∂
H
∂
u
=
c
11
u
-
λ
1
r
x
1
-
x
+
y
K
+
λ
2
δ
y
-
λ
3
b
δ
y
+
λ
4
g
z
-
p
.


## 2.1. Stability Analysis

System (4) always has two equilibrium points:(5)
E
0
=
0,0
,
0
,
g
u
p
g
u
+
c
,
E
1
=
K
,
0,0
,
g
u
p
g
u
+
c
.If ε is sufficiently small, when b
>
1
+
α
K
+
ε
/
β
K
g
u
+
c
/
g
u
p, the third steady state E
2
=
x
2
,
y
2
,
v
2
,
z
2 exists in which(6)
x
2
=
Δ
+
Δ
2
+
4
b
-
1
K
α
β
z
2
r
1
-
u
2
δ
ε
2
b
-
1
β
z
2
r
1
-
u
,
y
2
=
b
-
1
β
z
2
α
-
1
x
2
-
ε
,
v
2
=
b
-
1
1
-
u
δ
α
y
2
,
z
2
=
g
u
p
g
u
+
c
.Here, (7)
Δ
=
1
-
u
r
α
K
+
ε
-
K
b
-
1
1
-
u
δ
β
z
2
+
K
α
1
-
u
δ
.It should be noted that b
>
1
+
α
K
+
ε
/
β
K
(
g
u
+
c
)
/
g
u
p is equivalent to b
-
1
β
z
2
/
α
-
1
>
0 to ensure that y
2
>
0 when ε is sufficiently small.The Jacobi matrix at pointE
0 is(8)
J
E
0
=
r
1
-
u
0
0
0
0
-
1
-
u
δ
0
0
0
b
δ
-
α
0
0
0
0
-
g
u
-
c
.Obviously, μ
1
=
r
1
-
u
>
0 is one eigenvalue of J
E
0 which means E
0 is unstable. The unstable result of E
0 seems consistent with the biological meaning that, without viruses and infected tumor cells, the tumor will grow from an initial small value around E
0.As for equilibrium pointE
1, we have the following theorem.Theorem 1.
Whenb
<
1
+
α
K
+
ε
/
β
K
·
g
u
+
c
/
g
u
p, E
1 is locally asymptotically stable. When b
>
1
+
α
K
+
ε
/
β
K
g
u
+
c
/
g
u
p, E
1 is unstable.Proof.
At the equilibrium pointE
1, the Jacobi matrix is(9)
J
E
1
=
-
1
-
u
r
-
1
-
u
r
-
H
0
0
-
1
-
u
δ
H
0
0
b
1
-
u
δ
-
α
-
H
0
0
0
0
-
g
u
-
c
,where H
=
β
K
g
u
p
/
K
+
ε
g
u
+
c. The eigenvalues of J
E
1 are μ
1
=
-
1
-
u
r
,
μ
2
=
-
g
u
-
c,(10)
μ
3
,
4
=
-
1
-
u
δ
+
α
+
Δ
2
±
G
2
.Here, G
=
δ
1
-
u
-
α
-
Δ
2
2
+
4
Δ
2
b
δ
1
-
u in which Δ
2
=
β
K
u
g
p
/
K
+
ε
g
u
+
c.
Whenb
<
1
+
α
K
+
ε
/
β
K
g
u
+
c
/
g
u
p, we have(11)
G
=
1
-
u
δ
-
α
-
Δ
2
2
+
4
Δ
2
b
1
-
u
δ
<
1
-
u
δ
+
α
+
Δ
2
2
,which ensure that μ
3 and μ
4 are negative, so E
1 is locally asymptotically stable.
Similarly, whenb
>
1
+
α
K
+
ε
g
u
+
c
/
β
K
g
u
p, μ
3 is positive, and E
1 is unstable.
Actually, we can prove that the equilibrium solutionE
1 is globally asymptotically stable when b
<
1
+
α
K
+
ε
g
u
+
c
/
β
K
g
u
p. But we need to show the boundness of system (4). From the first two equations, we obtain(12)
d
x
t
+
y
t
d
t
=
1
-
u
r
x
t
1
-
x
t
+
y
t
K
-
1
-
u
δ
y
t
≤
r
x
t
+
y
t
1
-
x
t
+
y
t
K
.By the comparison principle, we can obtain lim
t
→
∞
⁡
sup
⁡
x
t
+
y
t
≤
K.
From the third equation of (4), we can have (13)
d
v
d
t
≤
1
-
u
b
δ
K
-
β
x
v
z
x
+
y
+
ε
-
α
v
≤
1
-
u
b
δ
K
-
α
v
.It is easily shown that v
t
≤
1
-
u
b
δ
K
/
α.
Similarly, from(14)
d
z
d
t
=
g
u
p
-
z
-
c
z
=
g
u
p
1
-
g
u
+
c
g
u
p
z
,we can get that z
t
≤
g
u
p
/
(
g
u
+
c
) holds.Theorem 2.
Whenb
<
1
+
α
K
+
ε
/
β
K
·
g
u
+
c
/
g
u
p, E
1 is globally asymptotically stable.Proof.
Consider the Lyapunov functionV
=
y
+
(
1
/
b
)
v; the derivative along a solution is given by (15)
V
.
=
y
.
+
1
b
v
.
=
β
x
v
z
x
+
y
+
ε
-
1
-
u
δ
y
+
1
b
b
1
-
u
δ
y
-
β
x
v
z
x
+
y
+
ε
-
α
v
=
1
-
1
b
β
x
v
z
x
+
y
+
ε
-
α
b
v
.Since 0
<
x
≤
K
,
0
<
x
+
y
≤
K, we have x
K
+
x
ε
≤
x
K
+
K
ε
+
K
y, which implies (16)
x
x
+
y
+
ε
≤
K
K
+
ε
,and because z
≤
g
u
p
/
(
g
u
+
c
), therefore, (17)
V
.
=
1
-
1
b
β
x
v
z
x
+
y
+
ε
-
α
b
v
≤
1
-
1
b
β
K
v
K
+
ε
g
u
p
g
u
+
c
-
α
b
v
=
β
b
-
1
K
g
p
-
α
K
+
ε
g
u
+
c
b
K
+
ε
u
g
+
c
v
.When b
<
1
+
α
K
+
ε
/
β
K
·
(
g
u
+
c
)
/
g
u
p, we can have V
.
≤
0.
LetE
=
x
,
y
,
v
,
z
∣
V
.
=
0; it is clear that E
⊂
x
,
y
,
v
,
z
∣
v
=
0. Let M be the largest positively invariant subset of the set E; by the third equation of system (4), we can know that y
(
t
)
=
0, so M
=
(
x
,
y
,
v
)
∣
y
=
0
,
v
=
0
. By LaSalle invariance principal [26], we know(18)
lim
t
→
∞
⁡
y
t
=
0
,
lim
t
→
∞
⁡
v
t
=
0
.So, the limit equation of system (4) is (19)
d
x
d
t
=
1
-
u
r
x
1
-
x
K
,
d
z
d
t
=
g
u
p
-
z
-
c
z
.Therefore, x
t
→
K
,
z
→
g
u
p
/
(
g
u
+
c
) when t
→
∞. So, E
1 is globally attractive; note that b
<
1
+
(
α
K
+
ε
/
β
K
)
·
(
g
u
+
c
/
g
u
p
) can also ensure the local asymptotical stability of E
1, so we can know that E
1 of system (4) is globally asymptotically stable when b
<
1
+
(
α
K
+
ε
/
β
K
)
·
(
g
u
+
c
/
g
u
p
).
Although we can prove the global asymptotical stability ofE
1, we would not want this to happen, because the global asymptotical stability means the therapy does not have any effect. When b
>
1
+
(
α
K
+
ε
/
β
K
)
(
g
u
+
c
/
g
u
p
) holds, the coexistent steady state E
2
=
x
2
,
y
2
,
v
2
,
z
2 exists, but it is difficult to give the stable analysis ofE
2, so we just give some simulations about it.
We chooseβ
=
0.2
d
a
y
-
1, ε
=
0.009, δ
=
0.5
d
a
y
-
1, r
=
6
c
e
l
l
s
d
a
y
-
1, α
=
0.5
d
a
y
-
1, p
=
10, g
=
0.1
d
a
y
-
1, c
=
0.5
d
a
y
-
1, and K
=
9
×
1
0
8
c
e
l
l
s.
The initial condition isx
0
=
6
×
1
0
7
,
0
,
5
×
1
0
4
,
4
×
1
0
2, where the unit of each is cells.
We chooseb
=
10
c
e
l
l
-
1
d
a
y
-
1
,
b
=
14
c
e
l
l
-
1
d
a
y
-
1, respectively, and b
>
1
+
(
α
K
+
ε
/
β
K
)
(
g
u
+
c
/
g
u
p
)
=
2.6389 all hold; the simulation results are shown in Figures 1 and 2.
The simulation results show that oncolytic virus therapy may keep the tumor stable at some level as shown in Figure1 or keep oscillating at a certain range as shown in Figure 2. Since the cured equilibrium is always unstable, just from our model, we could not give the condition that ensures the tumor can be cured by oncolytic virus therapy, but if we choose appropriateu which satisfies(20)
b
>
1
+
α
K
+
ε
β
K
g
u
+
c
g
u
p
,the simulation shows that oncolytic virus therapy can prevent the tumor from getting worse and worse. Some other therapy methods should be combined to cure the tumor.Figure 1
State dynamics for uninfected and infected tumor cells whenb
=
10.Figure 2
State dynamics for uninfected and infected tumor cells whenb
=
14.


## 2.2. The Optimal Control of MEK

In the simulation of Figures1 and 2, we choose the control u as constant. Since the use of MEK inhibitors not only results in enhanced oncolytic virus entry into the cells, but also renders infected cells temporarily unable to produce viruses, how to use the MEK inhibitors optimally should be studied. In model (4), the function of MEK inhibitors was embodied by parameter u; we use it as the control variable. The control goal is not only to formulate an objective functional which lowers the levels of tumor cells during and at the end of therapy, but also to minimize the cost of MEK, so the objective function is defined as follows:(21)
J
u
=
1
2
a
11
x
2
+
1
2
a
22
y
2
+
1
2
∫
t
0
t
f
b
11
x
2
+
b
22
y
2
+
b
33
v
2
+
c
11
u
2
d
t
,where t
0 represents the beginning time of the treatment and t
f represents the terminal time of the treatment. a
11
,
a
22
,
b
11
,
b
22
,
b
33
,
a
n
d
c
11 represent the cost coefficients for the variables, respectively.For convenience, we define the state vectorX
=
x
,
y
,
v
,
z
T; system (4) can be written as(22)
X
.
=
f
X
T
,
u
t
,
t
,
X
t
0
=
X
0
.And the corresponding cost function is defined as follows:(23)
J
=
1
2
X
T
A
X
+
1
2
∫
t
0
t
f
X
T
B
X
+
C
u
2
d
t
.Here,(24)
A
=
a
11
0
0
0
0
a
22
0
0
0
0
0
0
0
0
0
0
,
A
=
b
11
0
0
0
0
b
22
0
0
0
0
b
33
0
0
0
0
0
,
C
=
c
11
.Based on the dynamic constraintf
X
T
,
u
t
,
t and the Lagrangian L
X
t
,
u
t
,
t, the Hamiltonian is as follows:(25)
H
X
t
,
u
t
,
t
=
L
X
t
,
u
t
,
t
+
λ
T
f
X
t
,
u
t
,
twhere L
X
t
,
u
t
,
t
=
(
1
/
2
)
X
T
B
X
+
c
11
u
2.Using Pontryagin’s minimum principle, the necessary conditions are given as follows:(10)
(26)
X
˙
=
f
X
t
,
u
t
,
t
=
d
x
d
t
=
1
-
u
r
x
1
-
x
+
y
k
-
β
x
v
z
x
+
y
+
ε
d
x
d
t
=
β
x
v
z
x
+
y
+
ε
-
1
-
u
δ
y
d
v
d
t
=
b
1
-
u
δ
y
-
β
x
v
z
x
+
y
+
ε
-
α
v
d
z
d
t
=
g
u
p
-
z
-
c
z
,
(20)
(27)
X
t
0
=
X
0
,
(30)
(28)
λ
˙
=
-
∂
H
∂
X
=
-
λ
1
·
p
f
11
+
λ
2
·
p
f
21
+
λ
3
·
p
f
31
+
λ
4
·
p
f
41
+
b
11
x
λ
1
·
p
f
12
+
λ
2
·
p
f
22
+
λ
3
·
p
f
32
+
λ
4
·
p
f
42
+
b
22
y
λ
1
·
p
f
13
+
λ
2
·
p
f
23
+
λ
3
·
p
f
33
+
λ
4
·
p
f
43
+
b
33
v
λ
1
·
p
f
14
+
λ
2
·
p
f
24
+
λ
3
·
p
f
34
+
λ
4
·
p
f
44
,where(29)
p
f
11
=
r
1
-
u
1
-
2
x
+
y
K
-
β
y
+
ε
v
z
x
+
y
+
ε
2
,
p
f
12
=
β
x
v
z
x
+
y
+
ε
2
-
1
-
u
r
K
x
,
p
f
13
=
-
β
x
z
x
+
y
+
ε
,
p
f
14
=
-
β
x
v
x
+
y
+
ε
,
p
f
21
=
β
y
+
ε
v
z
x
+
y
+
ε
2
,
p
f
22
=
-
1
-
u
δ
-
β
x
v
z
x
+
y
+
ε
2
,
p
f
23
=
β
x
z
x
+
y
+
ε
,
p
f
24
=
β
x
v
x
+
y
+
ε
,
p
f
31
=
-
β
y
+
ε
v
z
x
+
y
+
ε
2
,
p
f
32
=
b
1
-
u
δ
+
β
x
v
z
x
+
y
+
ε
2
,
p
f
33
=
-
β
x
z
x
+
y
+
ε
-
α
,
p
f
34
=
-
β
x
v
x
+
y
+
ε
,
p
f
41
=
0
,
p
f
42
=
0
,
p
f
43
=
0
,
p
f
44
=
-
g
u
-
c
,
(40)
(30)
λ
t
f
=
A
X
t
f
=
a
11
0
0
0
0
a
22
0
0
0
0
0
0
0
0
0
0
x
t
f
y
t
f
v
t
f
z
t
f
,
(50)
(31)
∂
H
∂
u
=
c
11
u
-
λ
1
r
x
1
-
x
+
y
K
+
λ
2
δ
y
-
λ
3
b
δ
y
+
λ
4
g
z
-
p
.


## 3. Results and Discussion

In this part, based on the minimum principle, we will give the simulation of optimal strategy by using the Runge–Kutta fourth-order scheme and the steepest gradient method [27].We choose 100 days as the control time. The efficacyu can theoretically lie between 0 and 1, where 0 corresponds to no effectiveness of the MEK and 1 corresponds to full effectiveness of the MEK. However, the perfect efficacy of MEK is unlikely to be achieved totally, so we suppose that the maximum effect is 0.98.It is difficult to choose the parameters exactly based on biological meaning without experiment data, since the global stability ofE
1 means the therapy has no effect when(32)
b
<
1
+
α
K
+
ε
β
K
·
g
u
+
c
g
u
p
.We choose β
=
0.2 day−1, ε
=
0.009, δ
=
0.5 day−1, r
=
6 cells day−1, α
=
0.5
d
a
y
-
1, p
=
10, g
=
0.1
d
a
y
-
1, c
=
0.5
d
a
y
-
1, K
=
9
×
1
0
8
c
e
l
l
s, b
=
4
c
e
l
l
-
1
d
a
y
-
1, a
11
=
a
22
=
1, b
11
=
b
22
=
b
33
=
1
0
-
5, and c
11
=
8000.Even if we use the maximum constantu = 0.98, b
>
1
+
α
K
+
ε
/
β
K
(
g
u
+
c
)
/
g
u
p
=
2.5255 also holds.We give and compare two control strategies with the same initial conditions:(33)
x
0
=
6
×
1
0
7
,
0
,
5
×
1
0
4
,
4
×
1
0
2
.The optimal control simulation results are shown in Figure 3. The corresponding state dynamics for uninfected and infected tumor cells under the optimal control are shown in Figure 4 with solid line.Figure 3
The optimal control of MEK.Figure 4
State dynamics for uninfected and infected tumor cells with different control strategies.We choose constant controlu = 0.98 to compare with the optimal control effect; the state dynamics for uninfected and infected tumor cells under the constant control are shown in Figure 4 with dotted line.From the simulation, we can see that even if we use the maximum constantu = 0.98, the tumor cells still increase at the former stage and then keep stable at some level. But if we use the optimal control strategy as shown in Figure 3, that is to say, we need not use the maximum dosage of MEK all the time, though the tumor cells increase quickly with the lower dosage of MEK at the beginning stage, about 5 days later, it will begin to decrease and keep lower than that of constant control. As for the infected tumor, it is apparent that more tumor cells are infected with the optimal strategy; this in turn can help tumor cells keep at a contrarily lower level.


## 4. Conclusion

This paper introduces a new mathematical model of tumor therapy with oncolytic virus and MEK inhibitor. The stability of the equilibrium points is analyzed. Because inhibitors (MEK) can not only lead to greater oncolytic virus infection into cancer cells, but also cause cell cycle to stop, from theoretical analysis and numerical simulations, we compare optimal control strategy about the dosage of MEK inhibitor and constant control strategy with the same initial conditions. Simulations show that the optimal control has better control effect than constant control. But it should be pointed out that our model has no cure equilibrium point, so, just from our model, we could not say that the tumor can be cured only by oncolytic virus therapy. But the optimal control strategy can help to prevent the tumor from getting worse and worse. Some other therapy methods should be combined to cure the tumor.As we cannot get the exact parameters based on biological meaning, more work should be done about the modeling and simulations.



---

*Source: 5621313-2016-12-21.xml*