Abstract
In this paper, we propose a mathematical model on the oncolytic virotherapy incorporating virus-specific cytotoxic T lymphocyte (CTL) response, which contribute to killing infected tumor cells. In order to improve the understanding of the dynamic interactions between tumor cells and virus-specific CTLs, stochastic differential equation models are constructed. We obtain sufficient conditions for existence, persistence and extinction of the stochastic system. In relation to the therapy control, we also analyze the stochasticity role of equilibrium point stabilities. The Monte Carlo algorithm is used to estimate the mean extinction time and the extinction probability of cancer cells or viruses-specific CTLs. Our simulations highlighted the switch of the system leaving the attractor basin of the three species co-existence equilibrium toward that of cancer cell extinction or that of virus-specific CTLs depletion. This allowed us to characterize the spaces of cancer control parameters. Finally, we determine the model solution robustness by analyzing the sensitivity of the model characteristic parameters. Our results demonstrate the high dependence of the virotherapy success or failure on the combination of stochastic diffusion parameters with the maximum per capita growth rate of uninfected tumor cells, the transmission rate, the viral cytotoxicity and the strength of the CTL response.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
1 Introduction
The search for new effective treatments with fewer side effects has led oncology to develop a targeted strategy based on oncolytic virotherapy. In fact, oncolytic viruses (OVs) represent a promising immunotherapeutic approach for the treatment of cancer due to their ability to create a microenvironment favorable to the action of the immune system against unique determinants of cancer cells [20, 43]. However, the antiviral immunity elicited against the viral antigens of the resulting infection is considered to be detrimental to OVs as activation of the immune system against the virus itself is expected to restrict viral replication and spread, leading to decreased therapeutic efficacy [31, 36]. It is important for cancer control to find a balance between anti-tumor and anti-viral immunity. So much effort has been devoted to mathematical studies on oncolytic virotherapy [4, 7, 12, 24, 43].
Mathematical models formulated in terms of ordinary differential equations (ODEs) have been proposed by Wodarz [44, 45] to understand spreading dynamics of oncolytic viruses through tumors by including an immune response to the virus. Komarova and Wodarz [24] formulated a general computational framework depending on types of virus spread slow and fast spread. To understand how immune system reacts to the emergence of tumors and their growth, Khajanchi et al. [21] investigated a tumor–immune interaction model that consists of three nonlinear differential equations with a single time-delayed interaction.
In [7], Camara et al. extended the work of Zurakowski et al. [47] to study the consequences for the spatial structure of the tumor by analyzing a mathematical model that describes interaction between two types of tumor cells: the cells that are infected by the virus and the cells that are not infected but are susceptible to the virus.
But the process of the onset and then development of cancer is well known to be complex and stochastic [3, 5, 38]. Indeed, the acquisition of mutation somatic properties and metastatic capacity by cells involve stochastic events [32, 35]. Moreover, in real-life situations, cell population systems are always affected by various sources of noise in which the functional roles in biological processes can vary greatly [14, 39]. Thus, various mathematical models have been developed to integrate this stochastic dimension of the appearance and development of cancer cells [11, 17, 22, 25, 26]. Recently, Phan and Tian [33] proposed a stochastic model to represent interaction among tumor cells, infected tumor cells and oncolytic viruses. But in [33] the infection term does not satisfy the assumption of the fast virus spreading given in [24].
Therefore, there is a considerable need to understand the cancer cell extinction dynamics induced by oncolytic virus.
In the present article, we propose to examine the effects of the stochastic process solution of the mathematical model investigated by Choudhury and Nasipuri [8]. In their paper [8], they presented an ordinary differential equation to study the efficacy of cancer therapy using oncolytic viruses in the presence of immune response. The immune response triggered by the infection is a complex set of pathways consisting of the innate and the adaptive immune response. In our case, only do we focus on the clearing of infected cells by cytotoxic T lymphocytes (CTLs).
To provide a quantitative study of the relapse or failure of cancer control, we analyze the persistence or extinction conditions of the stochastic oncolytic virus and cancer cell system. The stability analysis of our stochastic model equilibria is also treated in terms of the first- and second-order moments. The cancer cell extinction or virus-specific CTL disappearance will be studied by estimating the First Passage Time (FPT) [9, 16, 37]. Therefore, we will use the Monte Carlo algorithm to determine the mean extinction time and the associate extinction probabilities in cases of oncolytic therapy success or failure. Finally, we will determine the model solution robustness by analyzing the sensitivity of the model characteristic parameters. We have also characterized the spaces of the cancer control parameters taking into account the system stochasticity. The sensitivity analysis results will allow us to correlate the effects of the control parameter variations on the values of the mean extinction times or the extinction probabilities.
2 Mathematical model
2.1 Formulation of models
In this paper, a stochastic term is added to the ODE model introduced by Choudhury and Nasipuri [8] in the context of fast-spreading virus [24]. The deterministic part of which the stability study and the modeling assumptions have been declined in [8] is described as follows:
where \( x = x(t)\) stands for the uninfected tumor cell population, \(y = y(t)\) represents the infected tumor cell population and \(z = z(t)\) is the population of the virus-specific CTLs, with initial populations \(x(0) \ge 0\), \(y(0) \ge 0\) and \(z(0) \ge 0\).
All parameters involved with model (1) are fixed positive constants, and their interpretations are presented in Table 1.
The tumor cells are assumed to grow logistically with intrinsic growth rate r. The maximum size of space which the tumor is allowed to occupy is given by its carrying capacity k. The viruses spread to tumor cells at a rate \(\beta \). The deaths of virus infected cells occur at a rate \(\delta y\), \(\delta \) is called the viral cytotoxicity. Infected cells are destroyed by the CTL response at a rate pyz, corresponding to lytic effector mechanisms of CTL response, where the coefficient p represents the strength of the lytic component. In the absence of antigenic stimulation [2], virus-specific CTLs decay at rate q. \(\gamma y z\) describes the rate of immune response due to virus activation, where \(\gamma \) stands for the strength of the CTL response.
In [8], the authors mainly focused on the total tumor load by analyzing each equilibrium of model (1). In the absence of the virus-specific CTL response, they found
-
A trivial equilibrium state \(E_1 = (0,0,0)\),
-
An equilibrium state corresponding to only healthy tumor cells \(E_2 = (k,0,0)\),
-
A coexistence equilibrium with both infected and uninfected tumor cells \(E_3:= (E_{3_1}, E_{3_2}, 0)\), with
$$\begin{aligned}&E_{3_1} = \frac{(k+ \alpha ) \delta r - (\beta - \delta ) \delta k + \delta \sqrt{M} }{2 \beta r}, \end{aligned}$$$$\begin{aligned}&E_{3_2} = \frac{(\beta {-} \delta ) (k r {+} \delta k {-} \beta k ){-} (\beta {+} \delta ) \alpha r {+} (\beta {-} \delta ) \sqrt{M} }{2 \beta r},\\&M = \Big ( (k+ \alpha ) r - (\beta - \delta ) k \Big )^2 +4 \alpha \beta k r . \end{aligned}$$
In the presence of the virus-specific CTL response, they found a coexistence equilibrium with both infected and uninfected cells \(E_4:= (E_{4_1}, E_{4_2}, E_{4_3})\),
To take into account the influence of environmental fluctuations, the deterministic model system (1) can be extended to a stochastic model system by introducing multiplicative noise terms into the intrinsic growth rate parameters for three populations. In this study, we have chosen an Itô formulation of the stochastic model (2). Thus, the resulting stochastic process has the very practical mathematical property of martingale. This mathematical property of martingale is very useful when computing the conditional expectation of an Itô process, or in general, for analyzing and proving theorems on the Itô integral, [6].
The resulting stochastic model is as follows:
where \( \sigma _i > 0, \, (i = 1,2,3) \) are the intensities of environmental driving forces, and \(B_i(t), \, (i = 1,2,3)\) are three standard one-dimensional independent Wiener processes defined over the complete probability space \((\Omega , \mathcal {F}_t, P)\) having a filtration \(\mathcal {F}_0\) which satisfy the usual condition (i.e., it is right continuous and \( \mathcal {F}_0\) contains all P-null sets) [29]. The solution of (2) subjected to the positive initial condition is an Ito process.
2.2 Preliminaries
In this section, we introduce the following definitions and lemmas as in [28, 40], which will be used in the following sections.
Definition 2.1
The system is said to be strongly persistent in the mean if \(\langle x(t) \rangle _{*} > 0\), where \(\langle x(t) \rangle _{*}:= \varliminf _{t \rightarrow +\infty } \frac{1}{t} \int _{0}^{t}x(s)\mathrm{d}s\) and \(\langle x(t) \rangle ^{*}\) is defined by \(\langle x(t) \rangle ^{*}:= \varlimsup _{t \rightarrow +\infty } \frac{1}{t} \int _{0}^{t}x(s)\mathrm{d}s\).
In aforementioned definition, \(\langle x(t) \rangle \) stands for the time average of x(t) and is defined by \(\langle x(t) \rangle _{*}:= \frac{1}{t} \int _{0}^{t}x(s)\mathrm{d}s\)
To prove the persistence of populations, we need the following Lemma (2.1).
Lemma 2.1
Suppose that \(x(t) \in \mathcal {C}[\Omega \times \mathbb {R}_{+}, \mathbb {R}_{+}^{0}]\), where \(\mathbb {R}_{+}^{0} = \{ a | a > 0, \;\; a \in \mathbb {R} \}\).
-
(i)
If there exist positive constants \(\mu , T, \text{ and } \lambda \ge 0\) such that
$$\begin{aligned} \ln x(t) \le \lambda t - \mu \int _{0}^{t}x(s)\mathrm{d}s + \sum _{i=1}^{n}\beta _{i}B_{i}(t) \end{aligned}$$for \(t \ge T\), where \(\beta _{i}\)’s are constants, \(1 \le i \le n\), then \(\langle x(t) \rangle ^{*} \le \frac{\lambda }{\mu }\), a.s.
-
(ii)
If there exist positive constants \(\mu , T, \text{ and } \lambda \ge 0\) such that
$$\begin{aligned} \ln x(t) \ge \lambda t - \mu \int _{0}^{t}x(s)\mathrm{d}s + \sum _{i=1}^{n}\beta _{i}B_{i}(t) \end{aligned}$$for \(t \ge T\), where \(\beta _{i}\)’s are constants, \(1 \le i \le n\), then \(\langle x(t) \rangle _{*} \ge \frac{\lambda }{\mu }\), a.s.
The following lemma will be used to demonstrate the solution existence.
Lemma 2.2
Consider one-dimensional stochastic differential equation
where parameters \(\alpha \), \(\beta \) and \(\sigma \) are positive, B(t) is a standard Brownian motion.
Suppose \(\alpha > \frac{\sigma ^2}{2}\), and X(t) is the solution of equation (3) with any initial value \(X_0>0\), then we have:
and
almost surely (a.s.).
Consider the following stochastic differential equation.
Then, we have:
Lemma 2.3
Let \( S(u)=\int _{0}^{t} e^{-\int _{0}^{s}\frac{2\mu (v)}{\sigma ^2(v)}dv}\mathrm{d}t\) and assume that X(t) is the solution of (4). If \( S(-\infty ) > - \infty \) and \( S(+\infty ) = + \infty \), then
Lemma 2.4
Consider the system of stochastic differential equations (2). Given an arbitrarily large but finite time T, there exists a constant C dependent only on T and the initial data, such that the following estimates hold uniformly for \( t \le T\)
Lemma 2.5
Let \(\left( B_{t}\right) _{t\ge o}\) a Brownian motion, then we have:
3 Main results
3.1 Existence and uniqueness of positive global solution
As the coefficient of equations (2) does not satisfy the local Lipschitz condition and linear growth condition, the solution of the system (2) may explode at finite time. So, we prove first the local existence of the positive solution of system (2), and then global solution by using the comparison theorem of stochastic equations.
Theorem 3.1
Given positive initial value \((x_0, y_0, z_0)\), system (2) has a unique positive global solution (x(t), y(t), z(t)) on \(t\ge 0\).
Proof
Let us introduce new variables \(u(t) = \ln (x(t))\), \(v(t) = \ln (y(t))\) and \(w(t) = \ln (z(t))\) in the system (2). By applying the Itô’s formula [1], we obtain the following system:
It is obvious that the coefficients of system (6) satisfy the local Lipschitz condition, then there is a unique local solution (u(t), v(t), w(t)) on \(t \in [0, \tau ), \, \tau \in \mathbb {R}^0_+\), with initial value \( u_0=\ln x(0) \), \(v_0= \ln y(0) \) and \(w_0=\ln z(0)\) [28, 46]. Thus, we conclude that \((x(t) = e^{u(t)}, y(t) = e^{v(t)}, z(t) = e^{w(t)})\) is the unique positive local solution of system (6) with positive initial conditions.
Now, in order to show that the unique positive solution is not only local solutions but also global solution, we need to prove that \(\tau = \infty \).
Consider the following set of equations of stochastic system
with positive initial conditions \(X_2(0)= x_0, \, Y_2(0)=y_0, \, Z_2(0)=z_0\).
As x(t) and y(t) are always positive, we can write from the first equation of model (6):
By applying the comparison theorem of stochastic differential equations, we obtain \(x(t) \le X_2(t), \, \forall t \in [0, \tau )\), with
Let \(X_1 (t)\) be the solution of the following equation
As \(\displaystyle \frac{\beta y(t) }{x(t)+ y(t)+\alpha }\le \beta \), we can write from the first equation of model (6):
Therefore, we have \(x(t) \ge X_1(t), \, \forall t \in [0, \tau )\), where
Thus, we obtain
We are going now to construct an upper bound of the dynamics of infected cancer cells y(t).
We have
By applying the comparison theorem of stochastic differential equations, we obtain \(y(t) \le Y_2(t), \, \forall t \in [0, \tau )\), with
As \( y(t)\le Y_2(t)\), we can deduce that
So, by applying again the comparison theorem of stochastic differential equations, we obtain \(z(t) \le Z_2(t), \, \forall t \in [0, \tau )\), with
We are going now to construct a lower bound of the infected cancer cell dynamics y(t). We have
From the inequality (11) and using Lemma 2.1, we get \( \displaystyle \langle y(t) \rangle ^{*} \le \frac{\beta -\delta - \frac{\sigma _2^2}{2}}{\beta } (k+\alpha )\).
On the other hand, we have,
By Lemma 2.1, from the previous inequality we deduce this estimate of x(t)
Using the inequality (15) below in inequality (14), we obtain:
Denote by \(Y_1 (t)\) the solution of the equation below, with \(Y_1 (0) = y_0\),
So, by applying again the comparison theorem of stochastic differential equations, we get \(y(t)\ge Y_1(t), \forall t \in [0, \tau )\), with
Thus, we obtain
Let \(Z_1(t)\) be the solution of stochastic differential equation
Using similar arguments as earlier, we obtain \(z(t) \ge Z_1(t), \, \forall t \in [0, \tau ),\) with
Thus, we obtain
As the functions \(X_1\), \(X_2\), \(Y_1\), \(Y_2\), \(Z_1\) and \(Z_2\) are well defined for all \(t \in [0, \tau )\), for an arbitrarily large magnitude of \(\tau \), this implies that \(\tau = \infty \). \(\square \)
3.2 Persistence and extinction
In this section, we will establish the persistent conditions for system (2) under certain parametric restrictions. Later, we will investigate the conditions for which system (2) goes to be extinct.
Theorem 3.2
-
1.
1. If
$$\begin{aligned} \beta <\frac{-\left( r\alpha +\frac{\sigma _1^2}{2}k \right) +\sqrt{\left( r\alpha +\frac{\sigma _1^2}{2}k\right) ^2+4r k \left( k+\alpha \right) \left( \delta +\frac{\sigma _2^2}{2}\right) }}{2k}, \end{aligned}$$then x(t) is strongly persistent in mean.
-
2.
If
$$\begin{aligned} \beta > \frac{-\left( k\left( r-q-\frac{\sigma _3^2}{2} \right) +\alpha r \right) +\sqrt{\left( k\left( r-q-\frac{\sigma _3^2}{2}\right) +\alpha r \right) ^2+4rk\left( \delta +\frac{\sigma _2^2}{2} \right) }}{2k} \end{aligned}$$and \( \gamma < \displaystyle \frac{r}{k}+\frac{2\beta }{\alpha }, \) then y(t) is strongly persistent in mean.
-
3.
If
$$\begin{aligned} \beta > \frac{ k\left( \delta +\frac{\sigma _2^2}{2} \right) + \sqrt{\left( k\left( \delta +\frac{\sigma _2^2}{2}\right) \right) ^2+4rk \left( \delta +\frac{\sigma _2^2}{2} \right) \left( k+\alpha \right) }}{2k} \end{aligned}$$and
$$\begin{aligned} \frac{\left( q+\frac{\sigma _3^2}{2} \right) \left( \frac{r}{k}+\frac{2\beta }{\alpha } \right) }{rk(k+\alpha )}< \gamma < \frac{r}{k}+\frac{2\beta }{\alpha } \end{aligned}$$and \( q <r\left( r+\alpha \right) - \frac{\sigma _3^2}{2}, \) then z(t) is strongly persistent in mean.
Proof
By using the previous equation (15),
and by reformulating \(x_{inf}\), we have
So \(x_{inf}\) is a quadratic equation in \(\beta \). Thus, \(x_{inf}>0\) whenever \(\beta \) satisfy
As \(\displaystyle \langle x(t) \rangle _{*}\ge x_{inf}>0 \), then x(t) is strongly persistent in mean.
Applying Itô’s formula and integrating both sides from 0 to t on the following expression
Using the following equality,
we get
According to Lemma 2.5, we obtain
According to Lemma 2.2 and equations (8), (11) and (12), we have
By using Itô’s formula to \(\mathrm{d}y\) in system (2), we get
From equation (21), we have
Using the inequalities (21) and (26) with the properties (22) and (23), we obtain
Thus, y(t) is strongly persistent in mean if
We deduce from the equation (21) that
and by applying Itô’s formula to \(\mathrm{d}z\) in system (2), we have
Let us use the inequality (28) in equation (29), then multiply the resulting inequality by \(\frac{1}{t}\) and let us tend t toward \(+ \infty \), then we get:
Therefore, z(t) is strongly persistent in mean if
\(\square \)
Theorem 3.3
If \(r-\frac{\sigma ^{2}_{1}}{2} < 0\) and \( \beta -\delta -\frac{\sigma ^{2}_{2}}{2} <0\) and \( \gamma \frac{\left( k+\alpha \right) \left( \beta -\delta - \frac{\sigma ^{2}_{2}}{2} \right) }{\beta }-q-\frac{\sigma ^{2}_{3}}{2} < 0\) Then, for any initial condition \((x_{0}, y_{0},\, z_{0}) \ge 0\), the stochastic model system (2) goes to extinction exponentially with probability one.
Proof
From Itô’s formula, it follows that
and
According to Lemmas 2.2 and 2.5, we note that
According to Lemma 2.3, we have
Therefore, the stochastic model system goes to extinction exponentially. \(\square \)
3.3 Stochastic effects on model equilibrium stability
In this section, we will establish the condition of local asymptotic stability of the equilibria \(E_1 = (0,0,0)\), \(E_2 =(k,0,0)\), \(E_3= (E_{3_1}, E_{3_2}, 0)\) and \( E_4 = (E_{4_1}, E_{4_2}, E_{4_3})\), for stochastic system (2). We note that in [8], the authors provide the local stability of equilibria mentioned above:
-
\(E_1\) is always unstable for system (1),
-
\(E_2\) is locally asymptotically stable for system (1) if \(\displaystyle \frac{\beta k}{\delta \left( k+ \alpha \right) }<1\),
-
\(E_3\) is locally asymptotically unstable for system (1) if
$$\begin{aligned} \displaystyle \gamma \left( \frac{k\left( \beta -\delta \right) \left( r +\delta -\beta \right) -\left( \beta +\delta \right) \alpha r+\left( \beta - \delta \right) MM}{2\beta r } \right) >q, \end{aligned}$$where \( MM\!=\! \sqrt{\left( r\left( k+\alpha \right) \!-\!\left( \beta \!-\!\delta \right) k \right) ^2+4\alpha \beta k r }, \)
-
\(E_4\) is locally asymptotically stable for system (1) if
$$\begin{aligned} \displaystyle r\gamma \left( k+\alpha \sqrt{\left( k+\alpha \right) ^2 - \frac{4\beta q}{r\gamma }} \right) ^2 > 4 \beta k q. \end{aligned}$$
Therefore, we will highlight the consequence of introducing multiplicative noise in a loss of regularity in the cancer cells population and virus-specific CTL dynamics. We will show how a stable equilibrium for system (1) becomes unstable for system (2). We introduce small perturbations in the vicinity of these equilibria; then, we study the dynamic stability of the first- and second-order moments which result from them.
Let \((x_*,y_*,z_*)\) denote the equilibrium point of the deterministic system (1) whose components are given explicitly in earlier section. The change of variables consists of setting:
where \(|x_{1}(t)|,|y_{1}(t)|,|z_{1}(t)| \ll 1\).
Substituting this transformation in the stochastic model (2), we obtain the following linearized version by neglecting the second- and higher order terms of small quantities:
where \(a_{ij} = \displaystyle \left. \frac{\partial F_i}{\partial X_j} \right| _{(x_*,y_*,z_*)}\), \(i,j=1,2,3\) and \( F(X)=(F_1(X),F_2(X), F_3(X))\), \(X =(x_1,x_2,x_3)\). The expressions of \(a_{ij}\) and \(F_i\) are given in the “Appendix A”.
By integrating both sides of the equations (32) to (34) from 0 to t, and by using the mean zero property of Ito’s integral [1, 28], we can write the system of ordinary differential equations for first-order moments as follows:
Once we have the equations of the first-order moments, we use Ito’s formula to obtain:
Integrating the aforementioned equations from 0 to t, then taking mathematical expectation of both sides with the help of Fubini’s theorem as explained in [19, 23, 28, 41], and finally differentiating with respect to t, we obtain the system of differential equations for second-order moments as follows:
Steady-states of the first- and second-order moments are obtained by solving following system of equations:
For notational convenience, we assume that the steady-state for the first- and second-order moments is denoted by \(\mathbb {E}[x_{1}]_{*}\), \(\mathbb {E}[y_{1}]_{*}\), \(\mathbb {E}[z_{1}]_{*}\), \(\mathbb {E}[x_{1}^{2}]_{*}\), \(\mathbb {E}[y_{1}^{2}]_{*}\), \(\mathbb {E} [z_{1}^{2}]_{*}\), \(\mathbb {E}[x_{1}y_{1}]_{*}\), \(\mathbb {E}[y_{1} z_{1}]_{*}\), \(\mathbb {E}[x_{1}z_{1}]_{*}\).
Thus, the stability of these steady states depends upon the sign of real parts of the eigenvalues of the matrix M defined by
Applying the Routh–Hurwitz criteria, one can find the conditions for the negative real parts of all eigenvalues of the matrix M, but the obtained conditions cannot be put into explicit conditions. So all details of stochastical stability analysis are given in “Appendix (A1)–(A2A3A4A5A6)”.
Theorem 3.4
-
1.
The trivial equilibrium \(E_1\!=\!(0,0,0)\) is unstable in terms of first- and second-order moments.
-
2.
The first- and second-order moments associated with the cancer infected cells dynamics around zero are stable if \( \delta \ge \frac{\sigma _2^2}{2}\).
-
3.
The first- and second-order moments associated with the virus-specific CTL dynamics around zero are stable if \( q \ge \frac{\sigma _3^2}{2} \) and \(q \ge r\).
Proof
Around the trivial equilibrium point \(E_1=(0,0,0)\), the eigenvalues of the matrix M associated with the first- and second-order moments are given as follows
-
1.
Note that the first-order moment \(\lambda _{1}= r\) and the second-order moment \(\lambda _{4}= 2r+ \sigma _1^2 \) are always positive. Thus, the cancer uninfected cells dynamics around 0 are unstable and therefore, \(E_1\) is also unstable.
-
2.
In the vicinity of 0, the cancer infected cells dynamics are stable if the first-order moment \(\lambda _2= -\delta \) and the second-order moments \(\lambda _{5}= -2\delta +\sigma _2^2\) and \(\lambda _8= - (\delta +q)\)) are negative.
-
3.
In the vicinity of 0, the dynamics of virus-specific CTLs are stable if the first-order moment \(\lambda _3= -q\) and the second-order moments \(\lambda _{6}= -2q + \sigma _3^2\) and \(\lambda _9= r-q\) are negative.\(\square \)
Theorem 3.5
Under the Assumption 1, the stochastic model around the interior equilibrium point \(E_3\) is stable in terms of second-order moments.
Proof
According to the calculations made in the “Appendix (A1)–(A2A3A4A5A6)” on miners using the Routh–Hurwitz theorem, we have from (A10):
Assumption 1: All terms \((\Delta _{i})_{i=1, \ldots , 6}\) must be positive. \(\square \)
Theorem 3.6
Under Assumption 3, the stochastic model around the interior equilibrium point \(E_4\) is unstable in terms of first- and second-order moments.
Proof
According to the calculations made in the “Appendix (A1)–(A2A3A4A5A6)”, it is shown from (A9) that
So two possible cases arise:
Assumption 2: \(\Delta _{1}<0\) if \(a_{11} + a_{22} + a_{33} \ge 0\).
Assumption 3: \(\Delta _{1}>0\) if \( \Big ( a_{11} + a_{22} + a_{33}<0 \,\, \text{ and } \,\, 4(a_{11} + a_{22} + a_{33}) \le \sigma _{1}^{2} + \sigma _{2}^{2}+ \sigma _{3}^{2} \Big ).\) \(\square \)
3.4 Numerical simulations of population dynamics, probabilities of extinction and mean extinction time
This section will thus illustrate the mathematical results obtained in the previous section. We use Milstein’s Higher Order Method to obtain the system (59) which is a discretization transformation of system (2). Milstein’s numerical scheme is a first-order method which can be weakly or strongly convergent [18]. Due to the Lipschitzian characteristics of the deterministic and stochastic parts of our model, we have here a strong convergence of the Milstein scheme [27]. The convergence of this numerical method has been validated in for many models having an explicit expression of their exact solution, [15, 18, 34].
where the time increment \(\Delta t > 0\). For a fixed observation period \(\left[ 0, \ T\right] \), n is estimated as follows \(n=1+round \left( \frac{T}{\Delta t}\right) \) and the time discretization is \(t_j =j \Delta t, \,\, \text{ for } \,\, j = 1, \ldots , n. \) \(\sigma _i > 0, \,\, \text{ for } \,\, i=1, 2, 3,\) are the noise intensities. \(B_{1, j}\), \(B_{1, j}\) and \(B_{3, j}\) denote independent Gaussian random variables which follow the normal distribution N(0, 1) for \(j = 1, \dots , n\).
We also use the Monte Carlo algorithm to estimate the extinction probabilities (\(P_{x,j}\), \(P_{y,j}\), \(P_{z,j}\)) as well as the mean extinction times (\(E_{x,j}\), \(E_{y,j}\), \(E_{z,j}\)) associated with the extinction of each of the populations. This algorithm works as follows: for each discretization interval (\(t_j, t_{j+1}\)), we perform RN simulation runs whose outcome is to increment by one unit the counting variable (\(L_{x,j}\), \(L_{y,j}\), \(L_{z,j}\)), when \(x_{j+1}\le 0\) or \(y_{j+1}\le 0\) or \(z_{j+1}\le 0\). The extinction probabilities (\(P_{x,j}\), \(P_{y,j}\), \(P_{z,j}\)) are approximated by the relative frequencies \(\left( \frac{ L_{x,j}}{RN} \, \ \frac{ L_{y,j}}{RN} \, \ \frac{ L_{z,j}}{RN}\right) \). The complexity and convergence of this estimation algorithm for extinction probabilities and mean extinction times have been studied in [13]. The detailed code of this algorithm is presented in “Appendix B”.
Numerical simulations will be able to show how the combination of the effects of the parameters of the deterministic model (1) with the stochastic diffusion parameters affects the stochastic population dynamics of cancer cells and viruses given by system (2). For example, we will show how a stable equilibrium for system (1) becomes unstable for system (2), thus leading to the extinction of one or all of the populations. Finally, with this first passage estimation algorithm, we analyzed the parameter variation effects of model (2) on the mean first passage time, in the case of species extinction.
3.4.1 Simulations of cancer cells and virus-specific CTLs stochastic dynamics
This section is devoted to demonstrating our main analytical results in previous subsections. During the numerical resolution of stochastic system (2), the initial density of the populations of cancer cells and virus-specific CTLs is close to the equilibrium \(E_4\) of coexistence of the three populations:
To investigate the dynamical behavior of cancer cells and virus-specific CTLs, we choose a set of parameter values:
Figure 1A corresponds to the parameter values of stochastic system (2) given in equation (60a), while Fig. 1B results from the parameter values set in equation (60b), where the intensity of stochastic noise was increased for the three populations. Notice that in equations (60a) and (60b), the parameters (\(r,\ k,\ \alpha ,\ \beta ,\ \gamma ,\ \delta ,\ p,\ q\)) have been fixed so that for deterministic system (1), the equilibrium \(E_4\) is locally stable and the equilibrium \(E_1\) is unstable. The population of cancer cells and virus-specific CTLs gradually decrease and fluctuating in the neighborhood of \(E_4\) in Fig. 1A, it indicates weak persistence. Thus, the diffusion and mutation of cancer cells can be controlled by varying the strength of noise. Further, Fig. 1B indicates that fluctuation of the same population tends to zero after 100 days. This implies that the increase in noise intensity leads the stochastic system (2) from population coexistence dynamics to an extinction of the three populations. Figure 1C and D corresponds to the outputs of stochastic system (2) with the parameter values, respectively, given in equations (60c) and (60d). Note that in (60d), the stochastic noise intensity is greater than that in (60c), for only the virus-specific CTLs and the parameters (\(r,\ k,\ \alpha ,\ \beta ,\ \gamma ,\ \delta ,\ p,\ q\)) have been fixed so that the equilibrium \(E_4\) is locally stable and the equilibrium \(E_3\) is unstable for system (2). Figure 1C shows weak persistence of the three populations in the neighborhood of \(E_4\). However, we show in Fig. 1D the virus-specific CTL depletion induced by the increase in the noise intensity \(\sigma _3\). The stochastic system is therefore switched from endemic equilibrium \(E_4\) to the equilibrium \(E_3\). It is an evidence that the parameter value combination and the intensity of environmental noise play pivotal role in determining the success of virotherapy.
3.4.2 Estimation of species extinction probabilities and mean extinction time
In our numerical resolutions based on the Monte Carlo algorithm, we set the increment time at \(\Delta t = 0.001\) and the repetition number RN of the simulations at \(RN = 6000\), with the fixed parameter values in (60b) and (60d). The graphs in Fig. 2 represent the distribution of all first pass times over \(RN = 6000\) simulations. Figure 2A corresponds to the extinction time frequencies for the three populations, whereas Fig. 2B corresponds to the extinction time frequencies for only virus population. This algorithm estimates the frequencies and the mean time of extinctions. It also computes the associate probability of extinction of the three species in the case of therapy success (extinction of cancer cells and viruses-specific CTLs) as well as in the case of failure (depletion of the virus-specific CTLs only). In the event of successful virotherapy, the extinction probabilities are \( \frac{lx}{RN}=0.891\) for extinction of uninfected cells, \( \frac{ly}{RN}=0.797\) for extinction of infected cells and \(\frac{lz}{RN}=0.876\) for virus-specific CTLs. In this success therapy situation, the mean extinction times are 171.5032, 207.2255 and 195.8487 days for, respectively, uninfected cells, infected cells and virus specific CTLs (see Fig. 2A). However, under the conditions of failure (given parameter values in 60d), the probability of extinction and the mean extinction time for the virus-specific CTLs were estimated to \( \frac{lz}{RN}=0.897\) and 142.9962 days, respectively (see Fig. 2B).
3.4.3 Model parameter sensibility on extinction probabilities and mean extinction time
In this part of the analysis, we went further to determine the effects of parameter variations on the model outputs. Therefore, we determined the spaces of parameter values leading to the success or failure of the virotherapy. We also determined the associated mean extinction times and probabilities of extinction.
To determine the parameter sensitivities and the robustness of the therapy success characterized by the extinction of cancer cells and the disappearance of virus-specific CTLs, we vary the parameters \(\beta \) (\(\beta \in \left[ 0.14\, \ 0.45\right] \)) and \(\delta \) (\(\delta \in \left[ 0.01\, \ 0.35 \right] \)). For the rest of the stochastic model parameters, the values are fixed as in equation (60b). The estimation robustness of the mean extinction times and extinction probabilities as well as the parameter sensitivities of the stochastic model are presented in Fig. 3. For cancer cells as well as for virus-specific CTLs, the high extinction probabilities correspond to the low mean extinction times. Due to the model nonlinearity, the extinction estimation, when \(\beta \) and \(\delta \) vary, show the existence of a portion of a parabolic curve separating two zones. Above this portion of the parabolic curve, the uninfected cancer cells persist (Fig. 3A, B). However, below this portion of the parabolic curve, there is an extinction of uninfected cancer cells. In this situation, the extinction probabilities (Fig. 3B) of uninfected cancer cells increase with the simultaneous variations of \(\beta \) and \(\delta \) (increase in \(\beta \) and decrease in \(\delta \)). The extinction of infected cancer cells is observed for the parameter values on either side of this nonlinear separation (Fig. 3C, D). The highest probabilities of extinctions are observed for high values of \(\delta \) with \(\delta > 0.2\) (Fig. 3D), part above the separation or for high values of \( \beta \) with \(\beta > 0.4\) (Fig. 3D), part below the separation. The mean disappearance times of virus-specific CTLs are also separated into two parts by a portion of a parabolic curve (Fig. 3E). Above this curve, the mean disappearance time is lower than above it. Conversely, the probabilities of disappearance of virus-specific CTLs are higher above this portion of curve than below (Fig. 3F). Under the depletion condition of virus-specific CTLs without extinction of the cancer cells, the sensitivity analysis was carried out by varying the parameters \(r \in \left[ 0.264\, \ 0.2934\right] \) and \(\gamma \in \left[ 0.087\, \ 0.133\right] \). The rest of the other model parameters are fixed as in (60d). The simulations in Fig. 4 show that the low \(\gamma \) values (\(\gamma <0.1\)) lead to a high extinction probability, greater than 0.9 (Fig. 4B) with low mean extinction times, less than 120 days (Fig. 4A). If \(\gamma \) is in \(\left[ 0.10\, \ 0.12\right] \), the disappearance probability of virus specific CTLs will decrease around 0.7 and 0.8, while the mean disappearance time of virus-specific CTLs increases to be around 130 and 140 days. Then, for large values of r (\(r> 0.275\)) and \(\gamma \) (\(\gamma > 0.12\)), the disappearance probability of virus-specific CTLs decreases below 0.6.
4 Conclusion
In this paper, a stochastic mathematical model is analyzed in order to improve the cancer oncolytic virotherapy incorporating virus-specific CTL responses. We established the conditions of the model solution existence, persistence and extinction. In relation to the success or failure of the therapy, we investigated the equilibrium point stabilities by calculating the first- and second-order moments of the associated linearized system. Using Monte Carlo algorithm, we estimated the mean first extinction time and the probability of extinction, under the conditions of success of therapy (corresponding to the extinction of cancer cells and viruses) or failure of therapy (depletion of the virus-specific CTLs without cancer cell extinction). Furthermore, by using this algorithm, we were able to establish the robustness of estimations and also the sensibility effects or our parameter variations on the extinction probabilities or the mean extinction times. This analytical process allows to estimate, on the one hand, the probability of the therapy success and the necessary remission duration necessary. Our results also allow to determine the therapy failure probability and so to adjust the control parameters before the disappearance period of the virus-specific CTLs. Our numerical simulations allow us to characterize the spaces of the
cancer control parameters in this stochastic dynamical system. In both success or failure therapy, the population fluctuated for a long period around the attractor of the co-existence equilibrium \(E_4\) before switching to the attractor of the equilibrium \(E_1\) (success) or \(E_3\) (failure). Finally, our simulations highlighted the decisive effects of the combination of the stochastic diffusion parameters with the viral replication rate, \( \beta \), the viral cytotoxicity, \(\delta \), the strength of CTL responses, \(\gamma \) and the maximum per capita growth rate of uninfected tumors cells, r, on the success or failure of virotherapy.
Data Availability Statement
The data from simulations that support the findings of this study are available on request from the corresponding author, B.I. Camara
References
Allen, E.: Modeling with Itô Stochastic differential equations. In: Harte, D. (ed.) Mathematical Modelling: Theory and Applications. Springer, Berlin (2007)
Andrew, M.E., Churilla, A.M., Malek, T.R., Braciale, V.L., Braciale, T.J.: Activation of virus specific CTL clones: antigen—dependent regulation of interleukin 2 receptor expression. J. Immunol. 134(2), 920–5 (1985). (PMID: 3917480)
Aoki, K., Kumagai, Y., Sakurai, A., Komatsu, N., Fujita, Y., Shionyu, C., Matsuda, M.: Stochastic ERK activation induced by noise and cell-to-cell propagation regulates cell density-dependent proliferation. Mol. Cell (2013). https://doi.org/10.1016/j.molcel.2013.09.015
Bajzer, Z., Carr, T., Josić, K., Russell, S.J., Dingli, D.: Modeling of cancer virotherapy with recombinant measles viruses. J. Theor. Biol. (2008). https://doi.org/10.1016/j.jtbi.2008.01.016
Bjerkvig, R., Johansson, M., Miletic, H., Niclou, S. P.: Cancer stem cells and angiogenesis. In: Seminars in Cancer Biology, vol. 19, pp. 279–284. Academic Press, Cambridge (2009)
Braumann, Carlos A.: Itô versus Stratonovich calculus in random population growth. Math. Biosci. 206(1), 81–107 (2007). https://doi.org/10.1016/j.mbs.2004.09.002
Camara, B.I., Mokrani, H., Afenya, E.K.: Mathematical modeling of glioma therapy using oncolytic viruses. Math. Biosci. Eng. (2013). https://doi.org/10.3934/mbe.2013.10.565
Choudhury, B.S., Nasipuri, B.: Efficient virotherapy of cancer in the presence of immune response. Int. J. Dynam. Control (2014). https://doi.org/10.1007/s40435-013-0035-8
Crandall, S.H.: First-crossing probabilities of the linear oscillator. J. Sound Vibr. (1970). https://doi.org/10.1016/0022-460X(70)90073-8
de Rioja, V.L., Isern, N., Fort, J.: A mathematical approach to virus therapy of glioblastomas. Biol. Direct (2016). https://doi.org/10.1186/s13062-015-0100-7
Dingli, D., Traulsen, A., Pacheco, J.M.: Stochastic dynamics of hematopoietic tumor stem cells. Cell Cycle (2007). https://doi.org/10.4161/cc.6.4.3853
Diouf, A., Mokrani, H., Afenya, E., Camara, B.I.: Computation of the conditions for anti-angiogenesis and gene therapy synergistic effects: sensitivity analysis and robustness of target solutions. J. Theor. Biol. 528, 110850 (2021). https://doi.org/10.1016/j.jtbi.2021.110850
Giraudo, M.T., Sacerdote, L., Zucca, C.: A Monte Carlo method for the simulation of first passage times of diffusion processes. Methodol. Comput. Appl. Probab. (2001). https://doi.org/10.1023/A:1012261328124
Gonze, D., Gérard, C., Wacquier, B., Woller, A., Tosenberger, A., Goldbeter, A., Dupont, G.: Modeling-based investigation of the effect of noise in cellular systems. Front. Mol. Biosci. (2018). https://doi.org/10.3389/fmolb.2018.00034
Gräwe, U.: Implementation of high-order particle-tracking schemes in a water column model. Ocean Model. 36(1–2), 80–89 (2011). https://doi.org/10.1016/j.ocemod.2010.10.002
Han, Q., Xu, W., Hu, B., Huang, D., Sun, J.Q.: Extinction time of a stochastic predator–prey model by the generalized cell mapping method. Physica A: Stat. Mech. Appl. (2018). https://doi.org/10.1016/j.physa.2017.12.012
Heng, H.H., Stevens, J.B., Liu, G., Bremer, S.W., Ye, K.J., Reddy, P.V., Wu, G.S., Wang, Y.A., Tainsky, M.A., Ye, C.J.: Stochastic cancer progression driven by non-clonal chromosome aberrations. J. Cell. Physiol. (2006). https://doi.org/10.1002/jcp.20685
Higham, D.J.: An algorithmic introduction to numerical simulation of stochastic differential equations. SIAM Rev. (2001). https://doi.org/10.1137/S0036144500378302
Hutson, V., Pym, J., Cloud, M.: Applications of Functional Analysis And Operator Theory. Mathematics in Science and Engineering, vol. 200, 2nd edn. Elsevier, Amsterdam (2005)
Kelly, E., Russell, S.J.: History of oncolytic viruses: genesis to genetic engineering. Mol. Therapy (2007). https://doi.org/10.1038/sj.mt.6300108
Khajanchi, S., Perc, M., Ghosh, D.: The influence of time delay in a chaotic cancer model. Chaos (2018). https://doi.org/10.1063/1.5052496
Kim, K.S., Kim, S., Jung, I.H.: Dynamics of tumor virotherapy: a deterministic and stochastic model approach. Stoch. Anal. Appl. (2016). https://doi.org/10.1080/07362994.2016.1150187
Kolmogorov, A.N., Fomin, S.V.: Introductory Real Analysis. Courier Corporation, North Chelmsford (1975)
Komarova, N.L., Wodarz, D.: ODE models for oncolytic virus dynamics. J. Theor. Biol. (2010). https://doi.org/10.1016/j.jtbi.2010.01.009
Komarova, N.L.: Spatial stochastic models for cancer initiation and progression. Bull. Math. Biol. (2006). https://doi.org/10.1007/s11538-005-9046-8
Leenders, G.B., Tuszynski, J.A.: Stochastic and deterministic models of cellular p53 regulation. Front. Oncol. (2013). https://doi.org/10.3389/fonc.2013.00064
Liu, W., Mao, X.: Strong convergence of the stopped Euler–Maruyama method for nonlinear stochastic differential equations. Appl. Math. Comput. 223, 389–400 (2013). https://doi.org/10.1016/j.amc.2013.08.023
Mandal, P.S., Banerjee, M.: Stochastic persistence and stability analysis of a modified Holling–Tanner model. Math. Methods Appl. Sci. (2013). https://doi.org/10.1002/mma.2680
Mao, X., Marion, G., Renshaw, E.: Environmental Brownian noise suppresses explosions in population dynamics. Stoch. Process Appl. (2002). https://doi.org/10.1016/S0304-4149(01)00126-0
McCallum, H., Barlow, N., Hone, J.: How should pathogen transmission be modelled? Trends Ecol. Evol. (2001). https://doi.org/10.1016/s0169-5347(01)02144-9
Molinier-Frenkel, V., Gahery-Segard, H., Mehtali, M., Le Boulaire, C., Ribault, S., Boulanger, P., Tursz, T., Guillet, J.G., Farace, F.: Immune response to recombinant adenovirus in humans: capsid components from viral input are targets for vector-specific cytotoxic T lymphocytes. J. Virol. (2000). https://doi.org/10.1128/jvi.74.16.7678-7682.2000
Odoux, C., Fohrer, H., Hoppo, T., Guzik, L., Stolz, D.B., Lewis, D.W., Gollin, S.M., Gamblin, T.C., Geller, D.A., Lagasse, E.: A stochastic model for cancer stem cell origin in metastatic colon cancer. Cancer Res. (2008). https://doi.org/10.1158/0008-5472.CAN-07-5779
Phan, T.A., Tian, J.P.: Basic stochastic model for tumor virotherapy. Math. Biosci. Eng. (2020). https://doi.org/10.3934/mbe.2020236
Schmitz Abe, K., Shaw, W.T.: Measure order of convergence without an exact solution, Euler vs Milstein scheme. Int. J. Pure Appl. Math. 24(3), 365–381 (2005)
Song, Y., Wang, Y., Tong, C., Xi, H., Zhao, X., Wang, Y., Chen, L.: A unified model of the hierarchical and stochastic theories of gastric cancer. Br. J. Cancer (2017). https://doi.org/10.1038/bjc.2017.54
Sumida, S.M., Truitt, D.M., Kishko, M.G., Arthur, J.C., Jackson, S.S., Gorgone, D.A., Lifton, M.A., Koudstaal, W., Pau, M.G., Kostense, S., Havenga, M.J., Goudsmit, J., Letvin, N.L., Barouch, D.H.: Neutralizing antibodies and CD8+ T lymphocytes both contribute to immunity to adenovirus serotype 5 vaccine vectors. J. Virol. (2004). https://doi.org/10.1128/jvi.78.6.2666-2673.2004
Roberts, J.B.: An approach to the first-passage problem in random vibration. J. Sound Vibr. (1968). https://doi.org/10.1016/0022-460X(68)90235-6
Rodriguez-Brenes, I.A., Hofacre, A., Fan, H., Wodarz, D.: Complex dynamics of virus spread from low infection multiplicities: implications for the spread of oncolytic viruses. PLoS Comput. Biol. (2017). https://doi.org/10.1371/journal.pcbi.1005241
Tsimring, L.S.: Noise in biology. Rep. Prog. Phys. (2014). https://doi.org/10.1088/0034-4885/77/2/026601
Upadhyay, R.K., Banerjee, M., Parshad, R., Raw, S.N.: Deterministic chaos versus stochastic oscillation in a prey–predator-top predator model. Math. Model. Anal. (2011). https://doi.org/10.3846/13926292.2011.601767
Gard, T.C.: Introduction to Stochastic Differential Equations. Marcel Dekker Inc., New York (1989). https://doi.org/10.1002/zamm.19890690808
Wein, L.M., Wu, J.T., Kirn, D.H.: Validation and analysis of a mathematical model of a replication-competent oncolytic virus for cancer treatment: implications for virus design and delivery. Cancer Res. 63(6), 1317–1324 (2003)
Wing, A., Fajardo, C.A., Posey, A.D., Jr., Shaw, C., Da, T., Young, R.M., Alemany, R., June, C.H., Guedan, S.: Improving CART-cell therapy of solid tumors with oncolytic virus-driven production of a bispecific T-cell engager. Cancer Immunol. Res. (2018). https://doi.org/10.1158/2326-6066.CIR-17-0314
Wodarz, D.: Viruses as antitumor weapons: defining conditions for tumor remission. Can. Res. 61(8), 3501–3507 (2001)
Wodarz, D.: Gene therapy for killing p53-negative cancer cells: use of replicating versus nonreplicating agents. Hum. Gene Therapy (2003). https://doi.org/10.1089/104303403321070847
Yang, Y., Zhang, T.: Dynamic analysis of a modified stochastic predator-prey system with general ratio-dependent functional response. Bull. Korean Math. Soc. (2016). https://doi.org/10.4134/BKMS.2016.53.1.103
Zurakowski, R., Wodarz, D.: Model-driven approaches for in vitro combination therapy using ONYX-015 replicating oncolytic adenovirus. J. Theor. Biol. (2007). https://doi.org/10.1016/j.jtbi.2006.09.029
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix A: Stability conditions analysis
1.1 1. Stability analysis around \(E_4\)
To find the eigenvalues of the matrix M, it is necessary to solve the auxiliary equation \(\text{ det }(M' - \lambda I ) = 0\), where \(M'\) is the square matrix defined by retaining only the second-order moments. Let
Since,
then,
with
In order to calculate \(D_1,\) let \(F_1= \beta _2 \left| \begin{array}{ccc} \beta _4 &{} 0 &{} a_{23} \\ 0 &{} \beta _5 &{} a_{21} \\ a_{32} &{} a_{12} &{} \beta _6 \end{array}\right| - 2a_{21} \left| \begin{array}{ccc} a_{12} &{} 0 &{} a_{23} \\ a_{32} &{} \beta _5 &{} a_{21} \\ 0 &{} a_{12} &{} \beta _6 \end{array}\right| + 2 a_{23} \left| \begin{array}{ccc} a_{12} &{} \beta _4 &{} a_{23} \\ a_{32} &{} 0 &{} a_{21} \\ 0 &{} a_{32} &{} \beta _6 \end{array}\right| \),
and \(F_2 = \beta _2 \left| \begin{array}{ccc} 0 &{} \beta _4 &{} a_{23} \\ a_{23} &{} 0 &{} a_{21} \\ 0 &{} a_{32} &{} \beta _6 \end{array}\right| + 2 a_{21} \left| \begin{array}{ccc} a_{12} &{} 0 &{} a_{23} \\ a_{32} &{} a_{23} &{} a_{21} \\ 0 &{} 0 &{} \beta _6 \end{array}\right| \)
So,
Then,
We set
From (A7), we have
Then,
We set
So,
with,
We will have
where
with
Sign of \(\Delta _1=a_1\):
\(\Delta _{1}=a_{1}=\rho _{6}=-(m_{1}+m_{4})\), with \(m_1=N_{1}+N_{2}+N_{3}, \,\, m_4=N_{4}+N_{5}+N_{6},\)
Then,
Therefore, two possible case arise:
-
\(\Delta _{1}<0 \) if \(Tr(J)>0\),
-
\(\Delta _{1}<0 \) if \(Tr(J)<0\) and \(4Tr(J) < \sigma _{1}^{2} + \sigma _{2}^{2}+ \sigma _{3}^{2}\).
1.2 2. Stability analysis around \(E_3\)
The characteristic polynomial of a matrix \(M'\) evaluated at the equilibrium point \(E_3\) is written as
where
\(\tau _1 = - 2 a_{12}a_{21}\),
\(\tau _2 = 2 a_{12}a_{21} (N_2 + N_3 + N_5 + N_6)\),
,
\(\tau _4 = 2 a_{12}a_{21} (N_2N_3N_5 + N_2N_3N_6 + N_2N_5N_6 + N_3N_5N_6) + 2 a_{12}^2 a_{23}^2 a_{21} - 2 a_{12}^2 a_{21}^2 (N_2 + N_3)\) ,
\(\quad - 2 a_{12}a_{21} N_2 N_3 N_5 N_6 - 2 a_{12}^2 a_{23}^2 a_{21} N_2\),
\(\tau _6 = - (m_1 + m_4)\),
,
,
,
,
\(\tau _{11} = m_3 m_6 - 2 a_{12}a_{21} N_1 N_3 N_5 N_6 - 2 a_{12}^2 a_{21}^2 N_1 N_3\).
The minor of matrix is written as follows:
Sign of \(\Delta _2=a_2 \Delta _1\):
\( a_2 = - 5 a_{12} a_{21} + m_5 + m_1 m_4 + m_2 \)
\( a_2 = 3 Tr(J)^2 - 2( \sigma _1^2 + \sigma _2^2 + \sigma _3^2) Tr(J) + K \),
with \(K = a_{11}a_{22} + a_{11}a_{33} + a_{22}a_{33} - 5 a_{12}a_{21} + (a_{11}+ \sigma _1^2)(a_{22}+\sigma _2^2)\).
The discriminant of \(3 Tr(J)^2 - 2( \sigma _1^2 + \sigma _2^2 + \sigma _3^2) Tr(J) + K = 0\) is given by \(\Delta ' = ( \sigma _1^2 + \sigma _2^2 + \sigma _3^2)^2 - 3 K\).
If \(\Delta '=0\), then \(Tr(J)^*=\frac{1}{3}( \sigma _1^2 + \sigma _2^2 + \sigma _3^2)\). So,
If \(\Delta '>0\), then \((Tr(J))_1=\frac{1}{3}( \sigma _1^2 + \sigma _2^2 + \sigma _3^2 -\sqrt{\Delta '})\) and \((Tr(J))_2=\frac{1}{3}(\sigma _1^2 + \sigma _2^2 + \sigma _3^2 + \sqrt{\Delta '})\).
Therefore,
Sign of \(\Delta _3=a_3 \Delta _2\):
We have \(a_{3}= \tau _{2}+\tau _{8} \), with
\(\tau _{2}= 2a_{12}a_{21}(N_{2}+N_{3}+N_{5}+N_{6})\) and \(\tau _{8}= \mu _{3}+ \mu _{10}+\mu _{18}\),
\(\mu _{3}= m_{1}m_{6}+ m_{2}m_{5}+ m_{3}m_{4}\),
\(\mu _{10}=2a_{12}a_{21}(N_{1}+N_{3}+N_{5}+N_{6})\),
\(\mu _{18}=a_{12}a_{21}(N_{4}+m_{1})\),
\(m_1=N_{1}+N_{2}+N_{3}\), \(m_4=N_{4}+N_{5}+N_{6}\),
\(m_2=N_{1}N_{2}+N_{1}N_{3}+N_{2}N_{3}\), \(m_5=N_{4}N_{5}+N_{4}N_{6}+N_{5} N_{6}\),
\(m_3=N_{1}N_{2}N_{3}\), \(m_6=N_{4}N_{5}N_{6}\),
\(m_1m_6= N_1N_4N_5N_6 + N_2N_4N_5N_6 + N_3N_4N_5N_6\),
\(m_2m_5= N_1N_2N_4N_5 + N_1N_2N_4N_6 + N_1N_2N_5N_6 + N_1N_3N_4N_5 + N_1N_3N_4N_6 + N_1N_3N_5N_6 \quad + N_2N_3N_4N_5+ N_2N_3N_4N_6 + N_2N_3N_5N_6\),
\(m_3m_4= N_1N_2N_3N_4 + N_1N_2N_3N_4 + N_1N_2N_3N_6\),
\(N_1N_4N_5N_6 = a_{33}N_1 Tr^2(J)+(a_{11}a_{22}N_1-a_{33}^2N_1)Tr(J)-a_{11} a_{22}a_{33}N_1\),
\(N_2N_4N_5N_6 = a_{33}N_2 Tr^2(J)+(a_{11}a_{22}N_2-a_{33}^2N_2)Tr(J)-a_{11} a_{22}a_{33}N_2\),
\(N_3N_4N_5N_6 = a_{33}N_3 Tr^2(J)+(a_{11}a_{22}N_3-a_{33}^2N_3)Tr(J)-a_{11} a_{22}a_{33}N_3\),
\(N_1N_2N_4N_5 = N_1N_2 (a_{22}Tr(J)+ a_{11}a_{33})\),
\(N_1N_2N_4N_6 = N_1N_2 (a_{11}Tr(J)+ a_{22}a_{33})\),
\(N_1N_2N_5N_6 = N_1N_2 (a_{33}Tr(J)+ a_{11}a_{22})\),
\(N_1N_3N_4N_5 = N_1N_3 (a_{22}Tr(J)+ a_{11}a_{33})\),
\(N_1N_3N_4N_6 = N_1N_3 (a_{11}Tr(J)+ a_{22}a_{33})\),
\(N_1N_3N_5N_6 = N_1N_3 (a_{33}Tr(J)+ a_{11}a_{22})\),
\(N_2N_3N_4N_5 = N_2N_3 (a_{22}Tr(J)+ a_{11}a_{33})\),
\(N_2N_3N_4N_6 = N_2N_3 (a_{11}Tr(J)+ a_{22}a_{33})\),
\(N_2N_3N_5N_6 = N_2N_3 (a_{33}Tr(J)+ a_{11}a_{22})\),
\(N_1N_2N_3N_4 = N_1N_2N_3(Tr(J)-a_{33})\),
\(N_1N_2N_3N_5 = N_1N_2N_3(Tr(J)-a_{11})\),
\(N_1N_2N_3N_6 = N_1N_2N_3(Tr(J)-a_{22})\). So
We pose \(A=(N_1+N_2+N_3)a_{33}\),
\(B= \Big (9a_{12}a_{21} + a_{11}a_{22}N_1-a_{33}^2N_1 + a_{11}a_{22}N_2-a_{33}^2N_2 + a_{11}a_{22}N_3-a_{33}^2N_3 + N_1N_2 a_{22} + N_1N_2 a_{11} + N_1N_2 a_{33} + N_1N_3 a_{22} + N_1N_3 a_{11} + N_1N_3 a_{33} + N_2N_3 a_{22} + N_2N_3 a_{11} + N_2N_3 a_{33} + 3N_1N_2N_3 \Big )\),
and \( C= a_{12}a_{21} (2a_{11}+2a_{22}+9a_{33}+3\sigma _1^2+3\sigma _2^2+5\sigma _3^2)- a_{11}a_{22} a_{33}(N_1+N_2+N_3) + N_1N_2(a_{11}a_{33}+a_{22}a_{33}+a_{11}a_{22}) + N_1N_3 (a_{11}a_{33}+a_{22}a_{33}+a_{11}a_{22}) + N_2N_3 (a_{11}a_{33} +a_{22}a_{33}+a_{11}a_{22})\).
So we can rewrite \(a_3\) as \(a_3 = A Tr(J)^{2}+BTr(J)+C\).
The discriminant of the equation \(a_3 = 0\) is \(\Delta =B^{2}-4AC\).
If \(\Delta =0\), then \(Tr(J)^*=-\frac{B}{2A}\). Therefore,
If \(\Delta >0\), then \(Tr_1(J)=(\frac{-B -\sqrt{\Delta }}{2A}) \text{ and } Tr_2(J)=(\frac{-B +\sqrt{\Delta }}{2A})\). So
Sign of \(\Delta _4=a_4 \Delta _3\):
We have \(a_4 = \tau _3+\tau _9\), with
\(\tau _3 = 2 a_{12}^2a_{21}^2 - 2a_{12}a_{21} (N_2N_3+N_2N_5+N_2N_6+N_3N_5+N_3N_6+N_5N_6)\),
,
\(\mu _3 = m_1m_6+m_2m_5+m_3m_4\),
\(\mu _{11} = 2a_{12}a_{21}(N_1N_6+N_3N_6+N_5N_6+N_1N_3+N_1N_5+N_3N_5)\),
\(\mu _{19} = a_{12}a_{21}(m_2+m_1N_4)\),
\(\mu _{27} = 2a_{12}^2 a_{21}^2\)
So we can rewrite \(a_3\) as
with
\(N_1 N_4 = N_1(Tr(J)-a_{33})\); \(N_1N_5=N_1(Tr(J)-a_{11})\); \(N_1N_6=N_1(Tr(J)- a_{22})\), \(N_2N_4=N_2(Tr(J)-a_{33})\); \(N_2N_5=N_2(Tr(J)-a_{11})\); \(N_2N_6=N_2(Tr(J)- a_{22})\), \(N_3N_4=N_3(Tr(J)-a_{33})\), \(N_3N_5=N_3(Tr(J)-a_{11})\); \(N_3N_6=N_3(Tr(J)-a_{22})\); \(N_5N_6= a_{33}Tr(J) + a_{11}a_{22}\); \(m_1m_6= N_1N_4N_5N_6 + N_2N_4N_5N_6 + N_3N_4N_5N_6\)
\(m_2m_5= N_1N_2N_4N_5 + N_1N_2N_4N_6 + N_1N_2N_5N_6 + N_1N_3N_4N_5 + N_1N_3N_4N_6 + N_1N_3N_5N_6 + N_2N_3N_4N_5+ N_2N_3N_4N_6 + N_2N_3N_5N_6\)
\(m_3m_4= N_1N_2N_3N_4 + N_1N_2N_3N_4 + N_1N_2N_3N_6\)
\(N_1N_4N_5N_6 = a_{33}N_1 Tr^2(J)+(a_{11}a_{22}N_1-a_{33}^2N_1)Tr(J)-a_{11} a_{22}a_{33}N_1\)
\(N_2N_4N_5N_6 = a_{33}N_2 Tr^2(J)+(a_{11}a_{22}N_2-a_{33}^2N_2)Tr(J)-a_{11} a_{22}a_{33}N_2\)
\(N_3N_4N_5N_6 = a_{33}N_3 Tr^2(J)+(a_{11}a_{22}N_3-a_{33}^2N_3)Tr(J)-a_{11} a_{22}a_{33}N_3\)
\(N_1N_2N_4N_5 = N_1N_2 (a_{22}Tr(J)+ a_{11}a_{33})\)
\(N_1N_2N_4N_6 = N_1N_2 (a_{11}Tr(J)+ a_{22}a_{33})\)
\(N_1N_2N_5N_6 = N_1N_2 (a_{33}Tr(J)+ a_{11}a_{22})\)
\(N_1N_3N_4N_5 = N_1N_3 (a_{22}Tr(J)+ a_{11}a_{33})\)
\(N_1N_3N_4N_6 = N_1N_3 (a_{11}Tr(J)+ a_{22}a_{33})\)
\(N_1N_3N_5N_6 = N_1N_3 (a_{33}Tr(J)+ a_{11}a_{22})\)
\(N_2N_3N_4N_5 = N_2N_3 (a_{22}Tr(J)+ a_{11}a_{33})\)
\(N_2N_3N_4N_6 = N_2N_3 (a_{11}Tr(J)+ a_{22}a_{33})\)
\(N_2N_3N_5N_6 = N_2N_3 (a_{33}Tr(J)+ a_{11}a_{22})\)
\(N_1N_2N_3N_4 = N_1N_2N_3(Tr(J)-a_{33})\)
\(N_1N_2N_3N_5 = N_1N_2N_3(Tr(J)-a_{11})\)
\(N_1N_2N_3N_6 = N_1N_2N_3(Tr(J)-a_{22})\) From where, we have:
\(a_4 = - a_{12}a_{21} \Big [2 N_2N_3 + 2 (N_2(Tr(J)-a_{11})) + 2 (N_2(Tr(J)- a_{22}))\) \(+ 4 (N_3(Tr(J)-a_{11})+a_{33}Tr(J)+a_{11}a_{22}+N_3(Tr(J)-a_{22}))\) \(+2 N_1(Tr(J)-a_{22}) + 2 N_1N_3 + 2 N_1(Tr(J)-a_{11}) + m_2 + m_1N_4 \Big ] + m_1m_6 + m_2m_5 + m_3m_4\),
\(a_4 = (N_1+N_2+N_3)a_{33}Tr^2(J)+ (3N_1N_2N_3 +a_{11}N_1N_2+a_{22} N_1N_2\) \(+a_{33}N_1N_2+a_{22}N_1N_3+a_{11}N_1N_3\) \(+a_{33}N_1N_3+a_{22} N_2N_3+a_{11} N_2N_3+a_{33}N_2N_3 - 5a_{12}a_{21}N_2 -\) \(9a_{12}a_{21}N_3 - 5a_{12}a_{21}N_1 - 4a_{12}a_{21}a_{33} + a_{11}a_{22}N_1-a_{33}^2N_1+\) \(a_{11}a_{22}N_2-a_{33}^2N_2+\) \(a_{11}a_{22} N_3 - a_{33}^2N_3) Tr(J) +a_{11}a_{33}N_1N_2 + a_{22}a_{33}N_1N_2 +a_{11} a_{22}\) \(N_1N_2+a_{11}a_{33}N_1N_3 + a_{22}a_{33}N_1N_3 +a_{11}a_{22}N_1 N_3 + a_{11}a_{33}N_2N_3 + a_{22}a_{33}N_2N_3\) \(+a_{11}a_{22}N_2N_3 - a_{11}a_{22} a_{33}(N_1+N_2+N_3)-(a_{11}+a_{22}+a_{33})N_1N_2N_3\) \(- a_{12}a_{21} (2N_2N_3-2a_{11}N_2-2a_{22}N_2-4a_{11}N_3+4a_{11}a_{22}-4a_{22}N_3-2a_{22} N_1+\) \( 2N_1N_3-2a_{11}N_1+N_1N_2+N_1N_3+N_2N_3-a_{33}N_1-a_{33}N_2-a_{33}N_3)\).
By setting new changes to variables, we have:
\(A= (N_1+N_2+N_3)a_{33}\),
\(B=(3N_1N_2N_3 +a_{11}N_1N_2+a_{22}N_1N_2+a_{33}N_1N_2+a_{22}N_1N_3\) \(+a_{11} N_1N_3+a_{33}N_1N_3\) \(+a_{22}N_2N_3+a_{11}N_2N_3+a_{33}N_2N_3 - 5a_{12}a_{21}N_2 - 9a_{12}a_{21}N_3\) \(- 5a_{12}a_{21}N_1 - 4a_{12}a_{21}a_{33} +a_{11}a_{22}N_1-a_{33}^2N_1+a_{11}a_{22}N_2\) \(-a_{33}^2N_2+a_{11}a_{22}N_3- a_{33}^2N_3)\),
\(C = a_{11}a_{33}N_1N_2 + a_{22}a_{33}N_1N_2 +a_{11}a_{22}N_1N_2+a_{11}a_{33} N_1N_3 + a_{22}a_{33}N_1N_3\) \(+a_{11}a_{22}N_1N_3 + a_{11}a_{33}N_2N_3 + a_{22}a_{33}N_2N_3\) \(+a_{11}a_{22}N_2N_3 - a_{11}a_{22} a_{33}(N_1+N_2+N_3)-(a_{11}+a_{22}+a_{33})N_1N_2N_3\) \(- a_{12}a_{21} (2N_2N_3-2a_{11}N_2-2a_{22}N_2-4a_{11}N_3+4a_{11}a_{22}\) \(- 4a_{22}N_3-2a_{22}N_1+2N_1N_3-2a_{11}N_1+N_1N_2+N_1N_3+N_2N_3-a_{33}N_1- a_{33}N_2-a_{33}N_3)\).
As \(a_4 = A Tr^2(J) + B Tr(J) + C\), the associate discriminant is given by \(\Delta = B^2 - 4 A \times C\). So,
If \(\Delta =0\), then \(Tr(J)^*=-\frac{B}{2A}\). Therefore,
If \(\Delta \!>\!0\), then \((Tr(J))_1=(\frac{-B -\sqrt{\Delta }}{2A}) \,\, \text{ and } \,\, (Tr(J))_2 =(\frac{-B +\sqrt{\Delta }}{2A})\). Therefore,
Sign of \(\Delta _5=a_5 \Delta _4\):
We will now study the sign of the coefficient \(a_{5}\). To do this, we transform \(a_{5}\) in the form of a quadratic equation. We have \(a_{5}=\tau _{10}+\tau _{4}\), with
Therefore, we have
After using (A11), we have
Finally, we get
We transformed \(\mu _{12}\) as follows
Taking into account (A13) and (A12), we have
Finaly we get from (A19), (A18), (A15) and (A14),
The associate discriminant is given by \(\Delta =B^{2}-4AC\). So,
If \(\Delta =0\), then \(Tr(J)^*=-\frac{B}{2A}\). Thus,
If \(\Delta \!>\!0\), then \((Tr(J))_1=(\frac{-B -\sqrt{\Delta }}{2A}) \,\, \text{ and } \,\, (Tr(J))_2 = (\frac{-B +\sqrt{\Delta }}{2A})\). Thus,
Sign of \(\Delta _6=a_6 \Delta _5\):
We have \(a_{6}= \tau _{5}+\tau _{11} \), with
On other hand, we have \(m_3= N_{1}N_{2}N_{3}\) and \(m_6=N_{4}N_{5}N_{6}\). So, \(N_{2}N_{3}N_{5}N_{6} = N_{2}N_{3}(a_{33}Tr(J)+a_{11}a_{22}) \)
\(m_6 = N_{4}N_{5}N_{6} = (a_{11}+a_{22})(a_{22}+a_{33})(a_{11}+a_{33})=a_{22} Tr(J)^{2}+(a_{11}a_{33}-a_{22}^{2})Tr(J)-a_{11}a_{22}a_{33}\) So,
or \(m_{3}m_{6} = a_{22}m_{3}Tr(J)^{2}+(a_{11}a_{33}- a_{22}^{2})m_{3}Tr(J) - a_{11}a_{22}a_{33}m_{3}\),
Moreover,
We pose \(A = a_{22}m_3\), \(B = a_{11}a_{33}m_3-a_{22}^{2}m_3-2a_{11}a_{21} a_{33}N_{1}N_{3}-2a_{12}a_{21}a_{33}N_{2}N_{3}\), and \(C = - a_{11}a_{22}a_{33}m_3 - 2a_{12}a_{21}a_{11}a_{22}N_{1}N_{3} -2a_{12}^{2}a_{21}^{2}N_{1}N_{3}+2a_{12}^{2}a_{21}^{2}N_{2}N_{3}-2a_{12}^{2} a_{23}^{2}N_{2}-2a_{11}a_{12}a_{22}a_{21}N_{2}N_{2}N_{3}\).
So, \(a_6 = A Tr(J)^{2}+BTr(J)+C\). Then, the associate discriminant \(\Delta = B^{2}-4AC\).
If \(\Delta =0\), then \(Tr(J)^*=-\frac{B}{2A}\). So,
If \(\Delta >0\), then \((Tr(J))_1 =(\frac{-B -\sqrt{\Delta }}{2A})\) and \( (Tr(J))_2=(\frac{-B +\sqrt{\Delta }}{2A})\). Thus,
Appendix B: Algorithm for estimation of extinction probabilities and mean extinction times
Rights and permissions
About this article
Cite this article
Camara, B.I., Mokrani, H., Diouf, A. et al. Stochastic model analysis of cancer oncolytic virus therapy: estimation of the extinction mean times and their probabilities. Nonlinear Dyn 107, 2819–2846 (2022). https://doi.org/10.1007/s11071-021-07074-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11071-021-07074-y