Abstract

The aim of this work is to propose and analyze a new mathematical model formulated by fractional differential equations (FDEs) that describes the dynamics of oncolytic M1 virotherapy. The well-posedness of the proposed model is proved through existence, uniqueness, nonnegativity, and boundedness of solutions. Furthermore, we study all equilibrium points and conditions needed for their existence. We also analyze the global stability of these equilibrium points and investigate their instability conditions. Finally, we state some numerical simulations in order to exemplify our theoretical results.

1. Introduction

Cancer is a collection of related diseases where some of the body’s cells divide continuously and spread into surrounding tissues. Cancer is caused by certain changes to genes. It can start almost anywhere in the human body. Old or damaged cells survive when they should die; new cells form when the body does not need them. These extra cells can divide continuously and may form tumors. A tumor becomes dangerous when it begins to form extensions to neighboring areas (metastasis) [1]. This is why it is important to detect cancer as early as possible in order to avoid this migration. Cancer treatment is adapted according to each situation. There are different cancer treatments used alone or in combination, such as surgery, radiotherapy, chemotherapy, hormone therapy, immunotherapy, and virotherapy. Virotherapy is one of the new therapies; it consists in using a virus after having reprogrammed it. This virus is called oncolytic virus. Oncolytic viruses infect and destroy cancer cells; they use the cell’s genetic machinery to make copies of themselves and subsequently spread to surrounding uninfected cells [2].

According to a medical experiment, in vitro, in vivo, and ex vivo studies showed potent oncolytic efficacy and high tumor tropism of alphavirus M1, which is a naturally occurring and a selective oncolytic virus targeting zinc-finger antiviral protein (ZAP) deficient cancer cells [3]. To model the role of the M1 virus in oncolytic virotherapy, Wang et al. [4] proposed a nonlinear system governed by ordinary differential equations (ODEs) that describe the growth of normal cells, tumor cells, and the M1 virus with limited nutrients. Elaiw et al. [5] extended the model presented in [4] by including spatial effects and anti-tumor immune response mediated by cytotoxic T lymphocyte (CTL) cells. The results in [5] indicated that the immune response has a negative impact on oncolytic M1 virotherapy, and it reduced its efficiency.

On the other hand, all the above mathematical models neglected the memory effect by considering only integer-order derivatives. However, fractional-order derivative provides an excellent tool for describing memory and hereditary properties which exist in most biological systems. For instance, Cole [6] proved that the membranes of cells of the biological organism have fractional-order electrical conductance since the memory means that the system’s response is dependent not only on the current state but on its complete history. Therefore, the classical integer-order derivative does not reflect this memory effect because it is a local operator, unlike the fractional derivative.

The main purpose of this study is to develop a mathematical model governed by fractional-order differential equations (FDEs) to study the effect of memory on the dynamics of oncolytic M1 virotherapy. So, the rest of the paper is outlined as follows: the next section is devoted to the formulation of the model, including the well-posedness and the existence of equilibria. Section 3 focuses on stability analysis. Section 4 deals with numerical simulations in order to illustrate our main analytical results. Finally, a brief conclusion is given in Section 5.

2. Model Formulation and Preliminaries

In this section, we propose the following FDE model:where , , , and are the concentrations of nutrient, normal cells, tumor cells, and virus at time , respectively. The parameters and are the recruitment rates of nutrient and virus, respectively. Also, represents the minimum effective dosage of medication. The normal and tumor cells consume the nutrient at rates and , respectively. The growth rate of normal cells as a result of consuming the nutrient is given by , while the growth rate of tumor cells is given by . The virus infects and kills tumor cells at rate , and it replicates at rate . The parameter is the washout constant rate of nutrient and bacteria. The parameters , , and are the natural death rates of normal cells, tumor cells, and virus, respectively. The operator denotes the Caputo fractional derivative with that describes the memory effect.

It is important to note that the ODE mathematical model verifying potent oncolytic efficacy of M1 virus [4] is a special case of our model presented by system (1), and it suffices to take . Furthermore, to prove that our model is biologically well-posed, we assume that the initial conditions of (1) satisfy:

Theorem 1. If the initial conditions (2) are given, then there exists a unique solution of system (1) defined on . Moreover, this solution remains nonnegative and bounded for all .

Proof. It is not hard to show that the vector function of system (1) satisfies the first condition of Lemma 4 in [7]. It remains to prove the second condition. LetThenwhereThus,This implies that the second condition of Lemma 4 in [7] is satisfied. Then system (1) has a unique solution on .
On the other hand and according to (1), we haveBy Lemmas 5 and 6 in [7], we deduce that the solution of (1) is nonnegative.
It remains to prove the boundedness of solutions. Then we consider the following function:Hence,ThenSince , we havewhich implies that , , , and V are bounded. This completes the proof.
Now, we establish the equilibrium points of our model. It is obvious that any equilibrium point of system (1) satisfies the following algebraic equations:From (13), we have or . Similarly, equation (14) leads to or :(i)For and , we have and . Then system (1) has an equilibrium point of the form , where and .(ii)For and , we have , and , whereThis number reflects the ability of absorbing nutrients by normal cells. It is called absorbing number [4]. When , system (1) has another equilibrium , where , , and .(iii)For and , we have , , andwhereSince and , we have . Thus equation (17) has two roots given byClearly, and . As , we have .It is obvious that . However, implies that , whereThis number reflects the ability of absorbing nutrients by tumor cells. It can be called the absorbing number of nutrients by tumor cells. Hence, system (1) has another equilibrium point when . This equilibrium point is denoted by , where(iv)For and , we have and as implies that . From (15), we get . Similarly, leads to . Substituting and in (12), we obtainFurthermore, implies thatThus, system (1) has another equilibrium point when :This equilibrium point is denoted by , whereAll the above cases are summerized in the following result.

Theorem 2. Let and be defined by (16) and (20). Then(i)System (1) always has a competition-free equilibrium .(ii)System (1) has a tumor-free equilibrium when .(iii)System (1) has a treatment failure equilibrium when .(iv)System (1) has a partial success equilibrium when

3. Stability Analysis

In this section, we focus on the stability analysis of the equilibria , , , and .

Theorem 3. The competition-free equilibrium is globally asymptotically stable for and , and it is unstable if or .

Proof. In order to show the first part of this theorem, we consider the following Lyapunov functional:where for .
Based on the property of fractional derivatives given in [8], we getBy and , we obtainThen when and . Clearly, if and only if , , , and . Then the largest invariant set contained in is the singleton . By LaSalle’s invariance principale [9], we deduce that is globally asymptotically stable for and .
It remains to investigate the dynamical property of in case when or . For this purpose, we compute the characteristic equation at that is given bywhereWe have , , if , and if . Consequently, is unstable if or .

Theorem 4. Suppose that . Then the tumor-free equilibrium is globally asymptotically stable ifand it is unstable if

Proof. Consider the following Lyapunov functional:ThenBy and , we obtainThen whenObviously, if and only if , , , and . Then the largest invariant set contained in is the singleton . By LaSalle’s invariance principle, we deduce that is globally asymptotically stable forOn the contrary, the characteristic equation at is given bywhere .
One of the eigenvalues of (39) isWe observe that ifThus, is unstable when

Theorem 5. Suppose that and . Then the treatment failure equilibrium is globally asymptotically stable ifand becomes unstable if

Proof. Consider the following Lyapunov functional:ThenBy computation, we findThus, implies thatConsequently, whenClearly, if and only if , , , and . Then the largest invariant set contained in is the singleton . By LaSalle’s invariance principle, we deduce that is globally asymptotically stable forOn the other side, the characteristic equation at is given bywhereOne of the eigenvalues of (51) isWe can observe from the proof of part (a) that ifThus, is unstable when

Theorem 6. The partial success equilibrium is globally asymptotically stable if

Proof. Consider the following Lyapunov functionalThenBy , , , and , we getTherefore , with equality if and only if and . By a simple computation, we show that if and only if , , and . It follows from LaSalle’s invariance principale that is globally asymptotically stable under the conditions that this point exists. ■

4. Numerical Simulations

In this section, we give some numerical simulations to illustrate and validate our theoretical results, and we present some biological interpretations. We choose the time interval from to with a step size . We take , , , , and . The parameters , , , , , , and of model (1) are taken as free parameters.

First, we take , , , , , , and . These values give , , and . Thus, and . According to Theorem 1, the equilibrium is globally asymptotically stable which consists with our numerical simulation in Figure 1. This may reflect an extreme competition between normal and tumor cells, leading to the extinction of normal cells and eradicating tumor cells by the M1 virus, giving rise to patient death.

Next, we take , , , , , , and . For this case, we obtain

Thus we get

In agreement with Theorem 4, the tumor-free equilibrium is globally asymptotically stable as exhibited in Figure 2. In this situation, we notice that the M1 virotherapy successfully eliminates tumor cells, and then normal cells have been restored. Consequently, the patient’s health will be improved.

In Figure 3, we assume that , , , , , , and . Thus,

We can see that the equilibrium is globally asymptotically stable that agrees with our result in Theorem 5. Biologically, our treatment fails in eliminating the tumor cells as that normal cells are lost. Hence, the patient’s health is in danger.

Finally, we choose , , , , , , and . We get

In agreement with Theorem 6, the equilibrium is globally asymptotically stable as shown in Figure 4. Here, our treatment partially reduces tumor cells and increases normal cells’ levels. However, the treatment cannot wholly eliminate tumor cells, but it can prolong the patient’s life.

5. Conclusion

In this paper, we have studied the dynamics of an oncolytic M1 virotherapy model, considering the memory effect denoted by the Caputo fractional derivative. The well-posedness of the proposed model was proved through nonnegativity and boundedness of solutions. We found that the model has four possible equilibrium points, namely, the competition-free equilibrium , the tumor-free equilibrium , the treatment failure equilibrium , and the partial success equilibrium . By constructing suitable Lyapunov functionals, the global stability of is determined by two threshold parameters that are the absorbing number of nutrients by normal cells and the absorbing number of nutrients by tumor cells , when and , is globally asymptotically stable, and these conditions determine when normal and tumor cells are lost, which may not be useful to test the viability of treatment. The tumor-free equilibrium exists and is globally asymptotically stable if andand these conditions show that the M1 virus succeeds to eliminate the tumor, which is helpful in improving virotherapy. The treatment failure equilibrium exists and is globally asymptotically stable ifand these conditions refer to the failure of the treatment, as indicated by his name. The partial success equilibrium exists and is globally asymptotically stable if

These results indicate the partial success of M1 virus in decreasing tumor cells and increasing normal cells, which can reduce the tumor’s size and stabilize the disease progression.

From the above analytical results, we remark that the Caputo fractional derivative’s memory does not affect the stability analysis of equilibria. Based on the numerical simulations, we observe that the fractional order affects the speed of convergence and the time for arriving to equilibria (Figures 14).

The results obtained in this study are based on the fractional derivative in sense of Caputo with singular kernel. It will be more interesting to model the dynamics of oncolytic M1 virotherapy by using the new generalized fractional derivative with nonsingular kernel [10]. Moreover, we will extend our model presented in (1) by taking into account other biological factors such as diffusion [11, 12] and immunity [13, 14].

Data Availability

The data used to support the findings of this study are available from the corresponding author upon request.

Conflicts of Interest

The authors declare that they have no conflicts of interest.