Abstract
Humans are always exposed to the threat of infectious diseases. It has been proven that there is a direct link between the strength or weakness of the immune system and the spread of infectious diseases such as tuberculosis, hepatitis, AIDS, and Covid-19 as soon as the immune system has no the power to fight infections and infectious diseases. Moreover, it has been proven that mathematical modeling is a great tool to accurately describe complex biological phenomena. In the recent literature, we can easily find that these effective tools provide important contributions to our understanding and analysis of such problems such as tumor growth. This is indeed one of the main reasons for the need to study computational models of how the immune system interacts with other factors involved. To this end, in this paper, we present some new approximate solutions to a computational formulation that models the interaction between tumor growth and the immune system with several fractional and fractal operators. The operators used in this model are the Liouville–Caputo, Caputo–Fabrizio, and Atangana–Baleanu–Caputo in both fractional and fractal-fractional senses. The existence and uniqueness of the solution in each of these cases is also verified. To complete our analysis, we include numerous numerical simulations to show the behavior of tumors. These diagrams help us explain mathematical results and better describe related biological concepts. In many cases the approximate results obtained have a chaotic structure, which justifies the complexity of unpredictable and uncontrollable behavior of cancerous tumors. As a result, the newly implemented operators certainly open new research windows in further computational models arising in the modeling of different diseases. It is confirmed that similar problems in the field can be also be modeled by the approaches employed in this paper.
Similar content being viewed by others
1 Introduction
The immune system is a real masterpiece that does extraordinary things every day while we do not realize such numerous activities. The job of the immune system is protecting our bodies against invading factors such as bacteria and viruses. Many factors such as low nutrient intake, lack of sleep, and high stress weaken a person’s immune system. On the other hand, people with cancer are also at risk for infectious diseases since they usually undergo special chemotherapy treatments using special drugs that weaken their immune system. The main purpose of these special drugs is destroying diseased cells without damaging adjacent tissues. Unfortunately, some healthy cells and tissues in the body may also be affected during this treatment.
Nowadays, with the pandemic outbreak of the dangerous infectious disease COVID-19 all over the world, infectious disease specialists and epidemiologists constantly emphasize the strengthening of the immune system as one of the most important ways to prevent this deadly disease.
In this paper, we provide some novel approximate solutions to a computational model that formulates the interaction between tumor growth and the immune system, including several fractional and fractal operators. The model consists of three state variables, each representing the number of specific cells in the problem. The interaction between these variables is presented by Itik and Banks [26] through following nonlinear differential equation system:
subject to initial conditions \((\mathsf{T}(0),\mathsf{H}(0),\mathsf{E}(0) )= ( \mathsf{T}_{0},\mathsf{H}_{0},\mathsf{E}_{0} )\geq 0\).
In this model, \(\mathsf{T}(\tau )\) is used to count the number of tumor cells at time τ, \(\mathsf{H}(\tau )\) represents the number of healthy host cells, and \(\mathsf{E}(\tau )\) refers to the number of effector immune cells in the single tumor-site compartment. Moreover, τ represents the rate of change in the population of the tumor cells, \(k_{1}'\) describes the growth of the tumor cells, and \(s_{1}'\) is their maximum carrying capacity. The first term of Eq. (1) expresses to the logistic growth of the tumor cells in the absence of any effect from other cell populations. The competition between the host cells \(\mathsf{H}(\tau )\) and the tumor cells \(\mathsf{T}(\tau )\), which results in the loss of the tumor cell population, is given by the term \(\beta '_{12}\mathsf{T(\tau )H(\tau )}\). Moreover, \(\beta '_{12}\) refers to the tumor cell killing rate by the effector cells \(\mathsf{E}(\tau )\). In the second equation of system (1) the healthy tissue cells also grow logistically with the growth rate \(k'_{2}\) and maximum carrying capacity \(s'_{2}\). We assume that the cancer cells proliferate faster than the healthy cells, and thus \(k_{1}' > k_{2}'\). The tumor cells also inactivate the healthy cells at the rate \(\beta '_{21}\). Also, the third equation of system (1) illustrates the stimulation of the immune system by the tumor cells with tumor specific antigens. One of the other assumptions considered in the model is that the immune system depends directly on the number of tumor cells a the rate of positive constants \(k'_{3}\) and \(s'_{3}\). Finally, \(\beta '_{31}\) is the rate of change corresponding to the inactivated effector cells by the tumor cells, and \(c_{3}'\) is their rate of natural death. All parameters in the model are positive constants.
For simplicity of analysis, we first nondimensionalize system (1) by employing the definitions
In addition, we use the following new parameters:
By involving the introduced changes in equations (2) and (3), we obtain a new dimensionless form for the problem [26]:
Due to the great importance of model (4), many researchers have shown interest in examining various technical and computational aspects of this model. The authors explain the biological relevance of model (7). In [41] the authors have utilized the localization of compact invariant sets (LCIS) method and Lyapunov stability theory to investigate the global dynamics of model (4). In [28] the authors have focused on the mathematical points of view, such as the existence of Hopf bifurcations corresponding to the model. In [24] the authors considered the model using the Caputo–Fabrizio–Caputo and new fractional derivative with Mittag-Leffler kernel in the Liouville–Caputo sense. Starko and Coria [40] provided sufficient conditions on model parameters and treatment parameters under which all trajectories in the positive orthant tend to the tumor-free equilibrium point. The authors in [32] have developed an efficient methodology of partial control and applied it to avoid the extinction of the healthy tissue. In [42], taking impulsive differential equations into account, the authors have presented a mathematical formulation of tumor–immune interaction with periodically pulsed immunotherapy. In [3], model (4) was modified to include three delay parameters in the problem.
Fractional calculus has a relatively long history almost as long as a integer-order differential account. However, in recent decades, the implementations of these concepts was neglected compared to standard calculus. This trend seems to have changed in the past years in general. A defining sign of this change is the increasing use of these tools in the literature. Thanks to the researchers’ efforts, many differentiated and integral operators based on different approaches were proposed and then successfully implemented in the past few years [1, 4, 5, 10, 13, 23, 25, 30]. From the perspective of numerical aspects, a wide range of new mathematical methods was successfully applied in various branches of science [6, 13, 16–19, 27, 29, 35, 37, 39]. For example, in [9] the authors have developed an efficient numerical treatment for ordinary fractional and fractal-fractional differential differential equations, which is based on Newton polynomials. In [8], Atangana and his collaborator have successfully applied a new numerical algorithm to approximate a modified version of the Chua attractor model with both fractional and fractal-fractional operators. An efficient numerical technique, the Atangana–Seda numerical scheme, based on Newton polynomials, is utilized in [7] to handle a chaotic problem with fractional operators, which include the exponential decay, power law, and Mittag-Leffler kernel. In [23] the author has employed some novel differential and integral operators of fractional order and fractal dimension using he uville–Caputo and Atangana–Baleanu definitions to obtain multiple attractors and periodicity on the Vallis model for El Niño/La Niña-Southern oscillation model. A new fractional-order compartmental SEIRS model with Caputo-type fractional-order derivative was also studied in [25]. Chaotic systems are almost one of the most important and applicable types of nonlinear equations [12, 21, 34, 36, 38]. Therefore in many cases the exact solution is not available for such equations. On the other hand, the use of new derivative operators in structures of chaotic systems has made significant development in this field [2, 22]. In some cases the researchers have obtained desirable attractors, which were not achievable by common integer-order operators. This fact highlights the importance of new derivative operators in other real-world models. Motivated by these achievements, especially following the work [24], we intend to investigate the model presented in equation (4) using some new efficient fractional and fractional-fractional operators.
To reach this goal, the subsequent parts of the paper are structured as follows. The analysis of model equilibrium points is presented in Sect. 2. This model is examined in the next section via the Liouville–Caputo fractional-order derivative. This section also confirms that under appropriate assumptions, the model always possesses a unique solution. Then a numerical method corresponding to this structure is designed and then utilized. Besides, detailed numerical simulations are presented. Similar processes will be followed in Sects. 4 and 5 of the paper, with the Caputo–Fabrizio–Caputo and Atangana–Baleanu–Caputo fractional derivative operators, respectively. In Sect. 6, we examine the model via several fractal-fractional operators. This section also presents the numerical methods corresponding to each of these operators. To investigate the dynamic behavior of the results, we added several numerical simulations. Finally, in Sect. 7, we present a summary of the results and achievements of the paper.
2 Investigation of stability of equilibrium points of models
In this section, we analyze the equilibrium points of the considered model (4). These points are in fact the roots of the nonlinear algebraic system that is contracted on the right-hand side of the model. By solving this system, we determine six possible equilibrium points for the model [28].
Point 1: the no “living cell” singular point \(\mathcal{P}_{1}=(0,0,0)\).
Point 2: The tumor-free fixed point \(\mathcal{P}_{2}=(0,1,0)\).
Point 3: The fixed point \(\mathcal{P}_{3}=( 1,0,0)\), which implies the existence of tumor cells in the model.
Point 4: The fixed point \(\mathcal{P}_{4}=( {\mathcal{T}^{*}},0, \frac{1-{\mathcal{T}^{*}}}{\beta _{13}})\). The first coordinate \({\mathcal{T}^{*}}\) is determined by finding the nonnegative root(s) of the characteristic equation
This equation has the acceptable root
Necessary conditions for the existence of this equilibrium point are
Point 5: The singular point \(\mathcal{P}_{5}=( { \frac{{ k2} ( \beta _{12}-1 ) }{\beta 12 \beta 21-{ k2}}}, { \frac{\beta 21-{ k2}}{\beta _{12} \beta _{21}-{ k2}}}, 0 )\), which implies the coexistence of cancer and host cells. The necessary conditions for the existence of this equilibrium point are
It should also be noted that for \(\beta _{12}=1\), this equilibrium point becomes the equilibrium point \(\mathcal{P}_{2}\).
Point 6: The interior fixed point \(\mathcal{P}_{6}=( {\mathcal{T}^{*}}, \frac{k_{2}-\beta _{21}{\mathcal{T}^{*}}}{k_{2}}, \frac{k_{2}(1-\beta _{12})+{\mathcal{T}^{*}} (\beta _{21}\beta _{12}-k_{2} )}{k_{2}\beta _{13}})\), where \({\mathcal{T}^{*}}\) is a positive root of \(\beta _{13}{\mathcal{T}^{*}}^{2}+{\mathcal{T}^{*}} (c_{3}+s_{3} \beta _{31}-k_{3} )+s_{3} c_{3}=0\), as mentioned earlier. In this case, all three cell populations are present in the problem. The necessary conditions for the existence of this equilibrium point are
Moreover, the Jacobi matrix corresponding to this system is
3 The model via the Liouville–Caputo fractional derivative
In this section, we consider model (4) with the Liouville–Caputo (LC) fractional derivative,
where the LC fractional derivative is defined as [14]
Utilizing the Laplace transform on the LC derivative (8), we get
Taking (9) into account and then utilizing the inverse Laplace transform on Eq. (7), we get
From (10) we suggest the following iterative schemes:
where
The desired approximate solutions can be obtained by computing the limits
3.1 Existence and uniqueness
Let us assume that a Banach space like Ω has a closed convex bounded subset Ξ that contains a fixed point of Ω. Moreover, let \(\omega : \Xi \rightarrow \Xi \) be a condensing map. Moreover, let us assume that there exists \(\Delta \in (0,\xi )\) such that . The exist functions
such that
,
, and
. Then we have:
-
1.
,
, and
are Lipschitz and bounded.
-
2.
,
, and
are compact and bounded.
-
3.
\(|R(t,m)-R(t,z)|\leq L_{1}(t)\|m-z\|\).
With the help of the Riemann–Liouville integral, Eq. (7) is written as
![](http://media.springernature.com/lw553/springer-static/image/art%3A10.1186%2Fs13662-020-03040-x/MediaObjects/13662_2020_3040_Equ14_HTML.png)
Theorem 1
As soon as
then under two properties 1 and 2, the existence of a solution to the problem is guaranteed.
Proof
Let us take χ such that \(\tau (0)+\frac{1}{\Gamma (\rho )}\upsilon (\|H_{1}\|_{1/ \triangledown }+\|H_{2}\|_{1/\triangledown })T^{M}\leq \chi \), and let \(\Xi _{\mu }=\{m:\|m\|\leq \chi \}\) be a closed set in the Banach space \(([0,T],\Omega )\) equipped with the norm of \(\sup \|\cdot \|\).
Then, by the definition \(m:\Xi _{\chi }\rightarrow ([0,T],\Omega )\), , we have
![](http://media.springernature.com/lw346/springer-static/image/art%3A10.1186%2Fs13662-020-03040-x/MediaObjects/13662_2020_3040_Equ16_HTML.png)
Hence we obtain that ,
,
, and
are condensing, and the fixed points of
,
,
, and
are verified.
I) Let us show that . For \(m \in \Xi _{\chi }\), we have
![](http://media.springernature.com/lw435/springer-static/image/art%3A10.1186%2Fs13662-020-03040-x/MediaObjects/13662_2020_3040_Equ17_HTML.png)
Similarly, we have
![](http://media.springernature.com/lw343/springer-static/image/art%3A10.1186%2Fs13662-020-03040-x/MediaObjects/13662_2020_3040_Eque_HTML.png)
and
![](http://media.springernature.com/lw319/springer-static/image/art%3A10.1186%2Fs13662-020-03040-x/MediaObjects/13662_2020_3040_Equ18_HTML.png)
and therefore .
II) Let us show that ,
, and
are contractions. For \(m,z \in \Xi _{\chi }\), we conclude
![](http://media.springernature.com/lw455/springer-static/image/art%3A10.1186%2Fs13662-020-03040-x/MediaObjects/13662_2020_3040_Equf_HTML.png)
where
These statements confirm that ,
, and
are contractions.
III) Let us show that ,
, and
are compact. For \(0\leq j_{1} \leq j_{2} \leq T\), we have
![](http://media.springernature.com/lw514/springer-static/image/art%3A10.1186%2Fs13662-020-03040-x/MediaObjects/13662_2020_3040_Equ20_HTML.png)
Similarly, we get
![](http://media.springernature.com/lw418/springer-static/image/art%3A10.1186%2Fs13662-020-03040-x/MediaObjects/13662_2020_3040_Equ21_HTML.png)
Finally, we have
![](http://media.springernature.com/lw537/springer-static/image/art%3A10.1186%2Fs13662-020-03040-x/MediaObjects/13662_2020_3040_Equg_HTML.png)
for \(\sigma _{i}, 1\leq i \leq 3\).
Now by the Arzelà–Ascoli theorem [15] ,
, and
are relatively compact. So
,
, and
are compact.
Since ,
,
, and
are contractions and
,
and
are compact and therefore continuous, the maps
,
, and
are condensing on \(\Xi _{\xi }\). Hence the existence of a fixed point for each point
,
, and
is proved.
IV) We will show that the problem has a unique solution. To this end, let us define the map H as follows:
![](http://media.springernature.com/lw333/springer-static/image/art%3A10.1186%2Fs13662-020-03040-x/MediaObjects/13662_2020_3040_Equ22_HTML.png)
For ,
,
,
,
,
, we obtain
![](http://media.springernature.com/lw466/springer-static/image/art%3A10.1186%2Fs13662-020-03040-x/MediaObjects/13662_2020_3040_Equ23_HTML.png)
Besides, we have
![](http://media.springernature.com/lw346/springer-static/image/art%3A10.1186%2Fs13662-020-03040-x/MediaObjects/13662_2020_3040_Equh_HTML.png)
and
![](http://media.springernature.com/lw334/springer-static/image/art%3A10.1186%2Fs13662-020-03040-x/MediaObjects/13662_2020_3040_Equi_HTML.png)
These results indicate that model (7) will always has a unique solution. □
3.2 The numerical method
In this section, we use the Adams–Bashforth–Moulton (ABM) numerical method. Here we follow the steps to apply this method in solving the following fractional-order problem:
Now taking the Liouville–Caputo fractional integration on (24) yields
The following predictor–corrector form determines an approximate solution to the problem [31]:
where
Utilizing the numerical algorithm presented in (26), we determine an approximate solution to the fractional problem (7) from the formulae
3.3 Numerical simulations
Figures 1–3 demonstrate the variation of state variables in model (7) when the scheme (26) is utilized for different values of \(\alpha \in (0,1]\). In this simulations, we have considered the following values in the model: \(\beta _{12}=1\), \(\beta _{13}=2.5\), \(k_{2}=0.6\), \(\beta _{21}=1.5\), \(k_{3}=4.5\), \(s_{3}=1\), \(a_{31}=0.2\), and \(d_{3}=0.5\). In our performed numerical simulations, we take \(t_{\mathrm{final}}= 500\) and \(\hbar = 0.001\). In Fig. 1, we take \((\mathcal{T}(t), \mathcal{H}(t), \mathcal{E}(t) )|_{t=0}= (0.1, 0.1, 0.1 )\). In this case the model exhibits chaotic attractor behavior. Also, by taking into consideration \((\mathcal{T}(t), \mathcal{H}(t), \mathcal{E}(t) )|_{t=0}= (0.3, 0.3, 0.3 )\), and \(\beta _{12} = 0.745 \) the model shows the limit cycle behavior in Fig. 2, whereas for \(\mathcal{T}(0)=0.3517\), \(\mathcal{H}(0)=0.1115\), \(\mathcal{E}(0)=0.4951\), and \(\beta _{12} = 0.920\), we get periodic orbit trajectories in the solutions as depicted in Fig. 3.
4 The model via Caputo–Fabrizio–Caputo fractional derivative
In this section, we study the following model:
The fractional derivative operator \({}_{0}^{\mathsf{CFC}}\mathcal{D}_{t}^{{\boldsymbol{\alpha }}}\) in this model is Caputo–Fabrizio–Caputo (CFC) given by [13]
where
The CFC fractional integral is also defined by [33]
4.1 Existence of the coupled solutions
Applying the CFC integral definition (29), we obtain the following relationships:
Now we consider the following kernels:
Theorem 2
The initial value problem and the kernels \(\mathcal{K}_{1} ({\mathcal{T}}(t),{\mathcal{H}}(t),{ \mathcal{E}}(t) )\), \(\mathcal{K}_{2} ({\mathcal{T}}(t),{\mathcal{H}}(t), { \mathcal{E}}(t) )\), and \(\mathcal{K}_{3} ({\mathcal{T}}(t),{\mathcal{H}}(t),{ \mathcal{E}}(t) )\) satisfy the Lipschitz condition.
Proof
See [24]. □
Theorem 3
The fractional nonlinear system (29) admits at least one solution.
Proof
See [24]. □
Theorem 4
The fractional nonlinear system (29) always admits a unique solution.
Proof
See [24]. □
4.2 Numerical method
Now let us focus on determining an approximate solution to the following CFC fractional Cauchy problem:
Using the corresponding fractional integral operator yields
Taking \(t = t_{n+1}\) in (36), we have
and
Inserting Eq. (38) into Eq. (37), we get
where
So we have
As a result, the following recursive relations are determined to approximate the CFC problem (29) as in [22]:
where \(\Xi _{1}= \mathcal{T} (t) (1-\mathcal{T}(t) )-\beta _{12} \mathcal{T}(t)\mathcal{H}(t)-\beta _{13} \mathcal{T}(t)\mathcal{E}(t)\), \(\Xi _{2}=k_{2} \mathcal{H} (t) (1-\mathcal{H}(t) )- \beta _{21} \mathcal{T}(t)\mathcal{H}(t)\), and \(\Xi _{3}= \frac{k_{3} \mathcal{T}(t)\mathcal{E}(t)}{\mathcal{T}(t)+s_{3}}-a_{31} \mathcal{T}(t)\mathcal{E}(t)-c_{3} \mathcal{E}(t)\).
4.3 Numerical simulations
Figures 4–6 are plotted to demonstrate the variation of state variables in model (29) when the scheme (42) is employed for different values of \(\alpha \in (0,1]\). In these simulations, we considered the following values in the model: \(\beta _{12}=1\), \(\beta _{13}=2.5\), \(k_{2}=0.6\), \(\beta _{21}=1.5\), \(k_{3}=4.5\), \(s_{3}=1\), \(a_{31}=0.2\), and \(d_{3}=0.5\). In our performed numerical simulations, we considered \(t_{\mathrm{final}}= 500\) and \(\hbar = 0.001\). In Fig. 4, we use \((\mathcal{T}(t), \mathcal{H}(t), \mathcal{E}(t) )|_{t=0}= (0.1, 0.1, 0.1 )\). In this case the model exhibits chaotic attractor behavior. Also, starting from \((\mathcal{T}(t), \mathcal{H}(t), \mathcal{E}(t) )|_{t=0}= (0.3, 0.3, 0.3 )\) and \(\beta _{12} = 0.745 \), the model shows the limit cycle behavior in Fig. 5. Further, by taking \(\mathcal{T}(0)=0.3517\), \(\mathcal{H}(0)=0.1115\), \(\mathcal{E}(0)=0.4951\), and \(\beta _{12} = 0.920\), we get periodic orbit trajectories in the solutions as depicted in Fig. 6.
5 The model via Atangana–Baleanu–Caputo fractional derivative
Now let us consider the model via the Atangana–Baleanu–Caputo fractional derivative as
where the Atangana–Baleanu fractional integral of order α of a function \(\phi (t)\) is defined as [10]
where \(\mathsf{B}({\boldsymbol{\alpha }})=1-\alpha +\frac{\alpha }{\Gamma (\alpha )}\) is a normalization function.
The Atangana–Baleanu fractional integral of order α of a function \(\phi (t)\) is also defined as [10]
Taking the definition of the Atangana–Baleanu fractional integral (45) on both sides of equations in system (43), we get the Volterra integral system
and the following iterative formulas:
where
As \(n \rightarrow \infty \), Eq. (47) suggests the exact solution for the model.
Theorem 5
The initial value problem given by Eq. (43) possesses at least one solution in the interval \([0, T]\).
Proof
First, we define
where \(\mathcal{E}_{1}(t,\mathcal{T}(t))\), \(\mathcal{E}_{2}(t,\mathcal{H}(t))\), and \(\mathcal{E}_{3}(t,\mathcal{E}(t))\) are contractions respect to \(\mathcal{T}(t)\), \(\mathcal{H}(t)\), and \(\mathcal{E}(t)\), respectively.
Moreover, we set
where
Considering the Picard operator, we have
defined as follows
where \(\Omega (t) = ({\mathcal{T}(t), \mathcal{H}(t), \mathcal{E}(t) } )\), \(\Omega _{0}(t) = ({\mathcal{T}(0), \mathcal{H}(0), \mathcal{E}(0)} )\), and \(\Delta (t, \Omega (t)) = \mathcal{E}_{1}(t,\mathcal{T}(t)), \mathcal{E}_{2}(t,\mathcal{H}(t)),\mathcal{E}_{3}(t,\mathcal{E}(t)) \).
Now we assume that all the solutions are bounded within a period of time:
provided that
The fixed point theorem of a Banach space together with the metric suggests that
Since Ω is a contraction along with \({\eta } < 1\), we must have \(\omega {\eta } < 1\). Therefore we conclude that Θ is a contraction operator. Finally, it is proved that (43) always possesses a unique solution. □
5.1 Numerical method
Consider the following fractional initial value problem:
Employing the product integration rule, Ghanbari and Kumar [20] have developed an efficient scheme to obtain the approximate solution of (56), given by
where
Using this numerical approximation, we get the following iterative scheme:
5.2 Numerical simulations
Figures 7–9 are plotted to demonstrate the variation of state variables in model (43) when the scheme (59) is used for different values of \(\alpha \in (0,1]\). In this simulations, we have considered the following values in the model: \(\beta _{12}=1\), \(\beta _{13}=2.5\), \(k_{2}=0.6\), \(\beta _{21}=1.5\), \(k_{3}=4.5\), \(s_{3}=1\), \(a_{31}=0.2\), and \(d_{3}=0.5\). In our performed numerical simulations, \(t_{\mathrm{final}}= 500\) and \(\hbar = 0.001\). In Fig. 7, we take \((\mathcal{T}(t), \mathcal{H}(t), \mathcal{E}(t) )|_{t=0}= (0.1, 0.1, 0.1 )\). In this case the model exhibits chaotic attractor behavior. Also, taking the initial conditions \((\mathcal{T}(t), \mathcal{H}(t), \mathcal{E}(t) )|_{t=0}= (0.3, 0.3, 0.3 )\) and \(\beta _{12} = 0.745 \) the model shows the limit cycle behavior in Fig. 8. Moreover, for \(\mathcal{T}(0)=0.3517\), \(\mathcal{H}(0)=0.1115\), \(\mathcal{E}(0)=0.4951\), and \(\beta _{12} = 0.920\), we get periodic orbit trajectories in the solutions as depicted in Fig. 9.
6 The model via fractal-fractional derivative involving different laws
In this section, we will use several well-known fractal-fractional derivatives in model (4).
6.1 Power-law fractal-fractional derivative
In this subsection, we replace the derivative in (4) by the fractal-fractional derivative with power-law:
where the fractal-fractional derivative with power-law of function \(\phi (t)\) is defined as [11]
and
By employing the corresponding inverse operator in Eq. (60) and then placing \(t= t_{n+1}\) in the resultant we obtain the following recursive form:
Now let us define the functions
These functions can be interpolated in \([t_{\zeta }, t_{\zeta +1}]\) as
Thus we obtain
where \(\mathcal{K}_{j}\), \(\zeta =1, 2, 3\), are given in (63).
6.2 Numerical simulations
Figures 10–12 demonstrate the variation of state variables in model (60) while applying scheme (65) for different values of \(\tau \in (0,1]\), and \(\alpha =0.95\). In this simulations, we considered the following values in the model: \(\beta _{12}=1\), \(\beta _{13}=2.5\), \(k_{2}=0.6\), \(\beta _{21}=1.5\), \(k_{3}=4.5\), \(s_{3}=1\), \(a_{31}=0.2\), and \(d_{3}=0.5\). In our numerical simulations, \(t_{\mathrm{final}}= 500\) and \(\hbar = 0.001\). In Fig. 10, we put \((\mathcal{T}(t), \mathcal{H}(t), \mathcal{E}(t) )|_{t=0}= (0.1, 0.1, 0.1 )\). In this case the model exhibits chaotic attractor behavior. Also, by imposing the initial conditions \((\mathcal{T}(t), \mathcal{H}(t), \mathcal{E}(t) )|_{t=0}= (0.3, 0.3, 0.3 )\) and \(\beta _{12} = 0.745 \) the model shows the limit cycle behavior in Fig. 11. Further, for \(\mathcal{T}(0)=0.3517\), \(\mathcal{H}(0)=0.1115\), \(\mathcal{E}(0)=0.4951\), and \(\beta _{12} = 0.920\), Fig. 12 confirms the periodic orbit trajectories in the solutions.
6.3 Exponential decay-law fractal-fractional derivative
In this part, we replace the derivative in (4) by the fractal-fractional derivative with exponential decay-law:
where the fractal-fractional derivative with exponential decay law of a function \({\phi }(t)\) is defined as [11]
and \(\frac{d}{d t^{\psi }} \phi (u)\) is introduced in (62).
Applying the Caputo–Fabrizio integral to Eq. (69), we obtain
Setting \(t=t_{n+1}\) in (71), based on the proposed scheme in [11], we get
Taking the difference between \({\mathcal{T}_{n+1}} \) and \({\mathcal{T}_{n }} \) yields
Therefore the approximate solution to the problem can be determined using the following iterative procedures:
where \(\mathcal{F}_{j}\), \(\zeta =1, 2, 3\), are given in (63).
6.4 Numerical simulations
Figures 13–15 demonstrate the variation of state variables in model (69) when scheme (74) is applied for different values of \(\tau \in (0,1]\) and \(\alpha =0.95\). In this simulations, we considered the following values in the model: \(\beta _{12}=1\), \(\beta _{13}=2.5\), \(k_{2}=0.6\), \(\beta _{21}=1.5\), \(k_{3}=4.5\), \(s_{3}=1\), \(a_{31}=0.2\), and \(d_{3}=0.5\). In our numerical simulations, \(t_{\mathrm{final}}= 500\) and \(\hbar = 0.001\). In Fig. 13, we take \((\mathcal{T}(t), \mathcal{H}(t), \mathcal{E}(t) )|_{t=0}= (0.1, 0.1, 0.1 )\). In this case the model exhibits chaotic attractor behavior. Further, for \((\mathcal{T}(t), \mathcal{H}(t), \mathcal{E}(t) )|_{t=0}= (0.3, 0.3, 0.3 )\) and \(\beta _{12} = 0.745 \), the model shows the limit cycle behavior in Fig. 14. Also, letting \(\mathcal{T}(0)=0.3517\), \(\mathcal{H}(0)=0.1115\), \(\mathcal{E}(0)=0.4951\), and \(\beta _{12} = 0.920\), Fig. 15 confirms the periodic orbit trajectories in the solutions.
6.5 Mittag-Leffler-law fractal-fractional derivative
In this subsection, we use the fractal-fractional derivative with Mittag-Leffler law in (4). So, we achieve
where the fractal-fractional derivative with Mittag-Leffler law of a unction \({\phi }(t)\) is defined as [11]
and \(\frac{d}{d t^{\psi }} \phi (u)\) is introduced in (62).
Applying the Atangana–Baleanu integral to (75), we obtain
Based on the scheme proposed in [11], we get
Now using the Lagrange polynomial piecewise interpolation given by Eq. (64), we obtain
where
6.6 Numerical simulations
Figures 16–18 demonstrate the variation of state variables in model (75) when scheme (79) is utilized for different values of \(\tau \in (0,1]\) and \(\alpha =0.95\). In this simulations, we considered the following values in the model: \(\beta _{12}=1\), \(\beta _{13}=2.5\), \(k_{2}=0.6\), \(\beta _{21}=1.5\), \(k_{3}=4.5\), \(s_{3}=1\), \(a_{31}=0.2\), and \(d_{3}=0.5\). In our numerical simulations, \(t_{\mathrm{final}}= 500\) and \(\hbar = 0.001\). In Fig. 16, we take \((\mathcal{T}(t), \mathcal{H}(t), \mathcal{E}(t) )|_{t=0}= (0.1, 0.1, 0.1 )\). In this case the model exhibits chaotic attractor behavior. Also, by taking into consideration \((\mathcal{T}(t), \mathcal{H}(t), \mathcal{E}(t) )|_{t=0}= (0.3, 0.3, 0.3 )\) and \(\beta _{12} = 0.745 \) the model shows the limit cycle behavior in Fig. 17, whereast for \(\mathcal{T}(0)=0.3517\), \(\mathcal{H}(0)=0.1115\), \(\mathcal{E}(0)=0.4951\), and \(\beta _{12} = 0.920\), we get periodic orbit trajectories in the solutions as depicted in Fig. 18.
In Figs. 19 and 20, we also investigate the sensitivity of the state variables when two parameters \(\beta _{12}\) and \(c_{3}\) change, respectively. In these two figures, we can see that changes in each of these parameters cause changes that are somewhat meaningful and constructive in the behavior of variables. As a biological conclusion, we can point to the fact that the stability in the model can only be achieved when the recruitment rate of effector cells is greater than the rate of inactivation by cancer cells. In other words, if the immune system is unable to detect and attack cancer cells, then effective treatment must be used to control the tumor growth.
7 Conclusion
Recent advances in the presentation of efficient numerical methods in fractional differential calculus are a great help to researchers in modeling real phenomena. It has also been proven that differential calculus of integer order in some cases is incapable of describing the behavior of some phenomena or faces fundamental problems. In this paper, we study the dynamics of a tumor-immune model due to the unpredictable growth of tumor cells described by an attractive form of nonlinear differential equations. The importance of this model has led to many different approaches of studying the problem. Our study in the paper makes it clear how tumor cells interact with the immune system. The main difference of this paper from other papers on this system is that we have used new fractional and fractal-fractional definitions for the derivative in the system structure. Some of these new concepts of differentiation were introduced in 2017 by Atangana and his collaborators. They combine the idea of fractal derivative and fractional differentiation, which takes into account the memory, fractal effect, and nonlocality. The model considers processes like power-law, fading memory, and crossover. It is important to note that the numerical methods and analysis used in this paper are quite different from those presented in [24]. In fact, this work can be considered as a complement to the content presented in this paper. The basis of these mathematical algorithms is applying some fundamental axioms of fractional derivative and the first-order interpolation. The existence and uniqueness of the model solutions were also investigated. The interesting attractors obtained in this paper imply that these new fractional and fractal-fractional operators can describe newer aspects of the behavior of these systems than fractional derivatives. Some of these features cannot be described by conventional integer-order operators. Through numerical simulations, we have confirmed the chaotic dynamics of the model by taking certain parameters in the model and suitable initial conditions. These results indicate that the values considered for the fractional-order derivatives significantly influence the dynamic behavior of the problem. The fractal-fractional operators allow us to describe self-similar problems with power-law, fading memory, and crossover behavior. In addition, the chaotic behavior seen in the results is entirely consistent with the inherent nature of the problem. These systems are recognized as complex real-world problems that cannot be represented with classical or fractional differential operators. Numerical simulations confirm that a change in fractional order exhibits memory properties and very strange complex dynamical behaviors. The results of this paper show that other similar problems in this field can be described and investigated using the numerical methods used in this paper.
Availability of data and materials
Not applicable.
References
Agrawal, O.P.: Fractional variational calculus in terms of Riesz fractional derivatives. J. Phys. A, Math. Theor. 40(24), 6287 (2007)
Alkahtani, B.S.T.: Chua’s circuit model with Atangana–Baleanu derivative with fractional order. Chaos Solitons Fractals 89, 547–551 (2016)
Aqeel, M., Ahmad, S.: Analytical and numerical study of Hopf bifurcation scenario for a three-dimensional chaotic system. Nonlinear Dyn. 84(2), 755–765 (2016)
Atangana, A.: Fractal-fractional differentiation and integration: connecting fractal calculus and fractional calculus to predict complex system. Chaos Solitons Fractals 102, 396–406 (2017)
Atangana, A.: Non validity of index law in fractional calculus: a fractional differential operator with Markovian and non-Markovian properties. Phys. A, Stat. Mech. Appl. 505, 688–706 (2018)
Atangana, A., Akgül, A.: Can transfer function and Bode diagram be obtained from Sumudu transform. Alex. Eng. J. 59(4), 1971–1984 (2020)
Atangana, A., Araz, S.I.: Atangana–Seda numerical scheme for labyrinth attractor with new differ. Geophys. J. Int. 13(5), 529–539 (2020)
Atangana, A., Araz, S.İ.: New numerical approximation for Chua attractor with fractional and fractal-fractional operators. Alex. Eng. J. 59(5), 3275–3296 (2020)
Atangana, A., Araz, S.İ.: New numerical method for ordinary differential equations: Newton polynomial. J. Comput. Appl. Math. 372, 112622 (2020)
Atangana, A., Baleanu, D.: New fractional derivatives with nonlocal and non-singular kernel: theory and application to heat transfer model (2016). arXiv:1602.03408. arXiv preprint
Atangana, A., Qureshi, S.: Modeling attractors of chaotic dynamical systems with fractal–fractional operators. Chaos Solitons Fractals 123, 320–337 (2019)
Baker, G.L., Baker, G.L., Gollub, J.P.: Chaotic Dynamics: An Introduction. Cambridge University Press, Cambridge (1996)
Caputo, M., Fabrizio, M.: A new definition of fractional derivative without singular kernel. Prog. Fract. Differ. Appl. 1(2), 1–13 (2015)
Caputo, M., Mainardi, F.: A new dissipation model based on memory mechanism. Pure Appl. Geophys. 91(1), 134–147 (1971)
Diethelm, K.: The Analysis of Fractional Differential Equations: An Application-Oriented Exposition Using Differential Operators of Caputo Type. Springer, Berlin (2010)
Gao, W., Veeresha, P., Prakasha, D., Baskonus, H.M., Yel, G.: New approach for the model describing the deathly disease in pregnant women using Mittag-Leffler function. Chaos Solitons Fractals 134, 109696 (2020)
Ghanbari, B., Atangana, A.: A new application of fractional Atangana–Baleanu derivatives: designing ABC-fractional masks in image processing. Phys. A, Stat. Mech. Appl. 542, 123516 (2020)
Ghanbari, B., Atangana, A.: Some new edge detecting techniques based on fractional derivatives with non-local and non-singular kernels. Adv. Differ. Equ. 2020(1), 1 (2020)
Ghanbari, B., Cattani, C.: On fractional predator and prey models with mutualistic predation including non-local and nonsingular kernels. Chaos Solitons Fractals 136, 109823 (2020)
Ghanbari, B., Kumar, D.: Numerical solution of predator–prey model with Beddington–DeAngelis functional response and fractional derivatives with Mittag-Leffler kernel. Chaos, Interdiscip. J. Nonlinear Sci. 29(6), 063103 (2019)
Ghanbari, B., Nisar, K.S.: Some effective numerical techniques for chaotic systems involving fractal-fractional derivatives with different laws. Front. Phys. 8, 192 (2020) https://www.frontiersin.org/article/10.3389/fphy.2020.00192. https://doi.org/10.3389/fphy.2020.00192
Gómez-Aguilar, J.: Chaos and multiple attractors in a fractal–fractional Shinriki’s oscillator model. Phys. A, Stat. Mech. Appl. 539, 122918 (2020)
Gómez-Aguilar, J.: Multiple attractors and periodicity on the Vallis model for El Niño/La Niña-Southern oscillation model. J. Atmos. Sol.-Terr. Phys. 197, 105172 (2020)
Gómez-Aguilar, J.F., López-López, M.G., Alvarado-Martínez, V.M., Baleanu, D., Khan, H.: Chaos in a cancer model via fractional derivatives with exponential decay and Mittag-Leffler law. Entropy 19(12), 681 (2017)
Hoan, L.V.C., Akinlar, M.A., Inc, M., Gómez-Aguilar, J., Chu, Y.M., Almohsen, B.: A new fractional-order compartmental disease model. Alex. Eng. J. 59(5), 3187–3196 (2020)
Itik, M., Banks, S.P.: Chaos in a three-dimensional cancer model. Int. J. Bifurc. Chaos 20(1), 71–79 (2010)
Jajarmi, A., Ghanbari, B., Baleanu, D.: A new and efficient numerical method for the fractional modeling and optimal control of diabetes and tuberculosis co-existence. Chaos, Interdiscip. J. Nonlinear Sci. 29(9), 093111 (2019)
Khajanchi, S., Perc, M., Ghosh, D.: The influence of time delay in a chaotic cancer model. Chaos, Interdiscip. J. Nonlinear Sci. 28(10), 103101 (2018)
Khan, A., Abdeljawad, T., Gómez-Aguilar, J., Khan, H.: Dynamical study of fractional order mutualism parasitism food web module. Chaos Solitons Fractals 134, 109685 (2020)
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations, vol. 204. Elsevier, Amsterdam (2006)
Li, C., Tao, C.: On the fractional Adams method. Comput. Math. Appl. 58(8), 1573–1588 (2009)
López, Á.G., Sabuco, J., Seoane, J.M., Duarte, J., Januário, C., Sanjuán, M.A.: Avoiding healthy cells extinction in a cancer model. J. Theor. Biol. 349, 74–81 (2014)
Losada, J., Nieto, J.J.: Properties of a new fractional derivative without singular kernel. Prog. Fract. Differ. Appl. 1(2), 87–92 (2015)
Medio, A., Gallo, G., et al.: Chaotic Dynamics. Cambridge Books (1995)
Naik, P.A., Zu, J., Owolabi, K.M.: Global dynamics of a fractional order model for the transmission of HIV epidemic with optimal control. Chaos Solitons Fractals 138, 109826 (2020)
Parker, T.S., Chua, L.: Practical Numerical Algorithms for Chaotic Systems. Springer, Berlin (2012)
Qureshi, S., Atangana, A.: Fractal-fractional differentiation for the modeling and mathematical analysis of nonlinear diarrhea transmission dynamics under the use of real data. Chaos Solitons Fractals 136, 109812 (2020)
Rasband, S.N.: Chaotic Dynamics of Nonlinear Systems. Courier Dover Publications (2015)
Sene, N.: Sir epidemic model with Mittag-Leffler fractional derivative. Chaos Solitons Fractals 137, 109833 (2020)
Starkov, K.E., Coria, L.N.: Global dynamics of the Kirschner–Panetta model for the tumor immunotherapy. Nonlinear Anal., Real World Appl. 14(3), 1425–1433 (2013)
Valle, P.A., Coria, L.N., Gamboa, D., Plata, C.: Bounding the dynamics of a chaotic-cancer mathematical model. Math. Probl. Eng. 2018, Article ID 9787015 (2018)
Wei, H.C., Lin, J.T.: Periodically pulsed immunotherapy in a mathematical model of tumor-immune interaction. Int. J. Bifurc. Chaos 23(4), 1350068 (2013)
Acknowledgements
Not applicable.
Funding
This research work is not supported by any funding agencies.
Author information
Authors and Affiliations
Contributions
All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The author declares that he has no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Ghanbari, B. On the modeling of the interaction between tumor growth and the immune system using some new fractional and fractional-fractal operators. Adv Differ Equ 2020, 585 (2020). https://doi.org/10.1186/s13662-020-03040-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-020-03040-x