 Research
 Open Access
 Published:
On the optimal control of coronavirus (2019nCov) mathematical model; a numerical approach
Advances in Difference Equations volume 2020, Article number: 528 (2020)
Abstract
In this paper, a novel coronavirus (2019nCov) mathematical model with modified parameters is presented. This model consists of six nonlinear fractional order differential equations. Optimal control of the suggested model is the main objective of this work. Two control variables are presented in this model to minimize the population number of infected and asymptotically infected people. Necessary optimality conditions are derived. The Grünwald–Letnikov nonstandard weighted average finite difference method is constructed for simulating the proposed optimal control system. The stability of the proposed method is proved. In order to validate the theoretical results, numerical simulations and comparative studies are given.
1 Introduction
The wellknown coronavirus disease (COVID19) pandemic can be consider as one of the serious pandemic diseases all over the world, for more details, see [1, 2]. The spread of this disease has serious impact on human society and health. The modeling study of infectious diseases is very useful in making strategies to control this disease. Recently, many interesting papers on modeling the coronavirus have appeared, see for example [3–7].
In general, mathematical models involving the known ordinary differentiation could be used to capture dynamical systems of infectious disease, when only initial conditions are used to predict future behaviors of the spread. However, when the situation is unpredictable, which is the case of COVID19, due to uncertainties associated with the pandemic, ordinal derivatives and their associated integral operators show deficiency. The fractional order differential equation (FODE) models seem more consistent with the real phenomena than the integer order models [8–13].
Moreover, one of the new topics in mathematics is the fractional optimal control (FOC). FOC can be defined using a variety of fractional derivative definitions. Riemann–Liouville and Caputo fractional derivatives [14–18] can be considered the most important fractional derivative definitions. Sweilam and AlMekhlafi introduced some numerical studies for FOC, for more details, see [19–21].
The main contribution of this work is to develop a numerical scheme to provide approximate solutions for the fractional optimal control problems (FOCPs). We consider the mathematical model in [4] with modified parameters. The fractional order derivatives are defined here in the Caputo sense. Moreover, we introduce two control variables, \(u_{p} ( t )\) and \(u_{ap} ( t )\), in order to minimize the number of the infected and the asymptotically infected. The Grünwald–Letnikov nonstandard weighted average finite difference method (GLNWAFDM) is established to simulate the obtained fractional order system.
To the best of our knowledge, the fractional optimal control for coronavirus (2019nCoV) mathematical model with GLNWAFDM has never been explored.
This paper is organized as follows: The basic mathematical formulas are introduced in Sect. 2. The proposed model with FO and two controls is presented in Sect. 3. In Sect. 4, the formulation of the optimal control problem and the necessary optimality conditions are derived. In Sect. 5, the new numerical method GLNWAFDM and the stability analysis are introduced. Numerical simulations are discussed in Sect. 6. Finally, the conclusions are presented in Sect. 7.
2 Preliminaries and notations
In this section, we recall some important definitions of fractional calculus used throughout the remaining sections of this paper. The fractional order derivative in the Caputo sense can be defined as follows [22]:
where Γ is the Euler gamma function and \(0< \alpha <1\).
The discretization fractional derivative is given by the Grünwald–Letnikov approach [23]:
where \(N_{n}\) is a natural number and the coordinate of each mesh point is \(t^{n} = n \triangle t \), \(n =1,2,\ldots, N_{n}\), \(\triangle t = \frac{T_{f}}{N_{n}}\), {\mu}_{i}={(1)}^{i1}\left(\begin{array}{c}\alpha \\ i\end{array}\right), \(\mu _{1} = \alpha \), \(q_{i} = \frac{i^{\alpha }}{\Gamma (1 \alpha )}\), and \(i =1,2,\ldots, n+ 1\). Additionally, let us assume that [24]
3 Fractional order model of coronavirus with control
Herein, we consider the new mathematical model of coronavirus given in [4] with modified parameters. Two controls, \(u_{p}\), \(u_{ap}\), are added to health care such as isolating patients in private health rooms and providing respirators and giving them treatments soothing regularly. This model consists of six nonlinear ordinary differential equations. Moreover, Table 1 describes the state variables and Table 2 describes the parameters. It is important to notice that the parameters depend on the fractional order α. To make the system consistent in the physical sense and more consistent with the reality, we must make sure that the righthand sides of these equations have the same dimensions, for more details, see [15]. Let us assume that \(N_{p}\) is a constant. The modified model is then represented by a system of fractional order differential equations:
The existence and uniqueness of the solutions of (2) follow from the results given in [25]. The feasible region for model (2) is given by
The basic reproduction number of the proposed model (2) is given as follows [4]:
where
The endemic threshold is given at \(R_{0} =1\), the disease will die out when \(R_{0} <1\), and the endemic case when \(R_{0} <1\), for more details, see [26]. In this work we consider \(R_{0} >1\).
4 The FOCPs
Consider system (2) in \(\mathbb{R}^{6}\), let
be the admissible control set. We define the objective functional as follows:
Now, the goal is to evaluate \(u_{p}\), \(u_{ap}\) such that the following functional
is minimum, subject to the constraints
where
and satisfying the initial conditions
We use a kind of Pontryagin maximum principle in the fractional order case, this idea in fraction is given by Agrawal in [18].
Consider a modified cost functional as follows [19]:
The Hamiltonian is defined as follows:
From (7) and (8), we have the FOPC necessary conditions:
where
Moreover,
Remark 1
Under some additional assumptions on the objective functional J and the righthand side of equation (6) must be added, for example, the convexity of J and the linearity of ξ in \(\Psi _{j}\) and \(u_{p}\), \(u_{ap}\), then the necessary conditions of optimality are also sufficient, for more details, see [27].
Theorem 4.1
There exist optimal control variables \(u_{p}^{*}\), \(u_{ap}^{*}\)with the corresponding solutions \(S_{p}^{*}\), \(E_{p}^{*}\), \(I_{p}^{*}\), \(A_{p}^{*}\), \(R_{p}^{*}\), \(M^{*}\)that minimize \(J( u_{p}, u_{ap} )\)over Ω. Furthermore, there exist adjoint variables \(\lambda _{i}\), \(i=1,2,3,\ldots,6\), satisfy the following:

(i)
Adjoint equations:
$$\begin{aligned}& {}_{t}^{C} D_{t_{f}}^{\alpha } \lambda _{1} =\biggl(  \mu _{p}^{\alpha }  \frac{\eta _{p}^{\alpha } I_{p}^{*}}{N_{p}}  \eta _{w}^{\alpha } M \biggr) \lambda _{1} + \biggl( \frac{\eta _{p}^{\alpha } I_{p}^{*}}{N_{p}} + \eta _{w}^{\alpha } M^{*} \biggr) \lambda _{2}, \\& {}_{t}^{C} D_{t_{f}}^{\alpha } \lambda _{2} =  \bigl(\bigl(1  \theta _{p}^{\alpha } \bigr) w_{p}^{\alpha } + \theta _{p}^{\alpha } \rho _{p}^{\alpha }  \mu _{p}^{\alpha } \bigr) \lambda _{2} + \bigl(\bigl(1  \theta _{p}^{\alpha } \bigr) w_{p}^{\alpha } \bigr) \lambda _{3} + \theta _{p}^{\alpha } \rho _{p}^{\alpha } \lambda _{4}, \\& {}_{t}^{C} D_{t_{f}}^{\alpha } \lambda _{3} =1  \frac{\eta _{p}^{\alpha } S_{p}^{*}}{N_{p}} \lambda _{1} + \lambda _{2} \frac{\eta _{p}^{\alpha } S_{p}^{*}}{N_{p}}  \lambda _{3} \bigl( \tau _{p}^{\alpha } + \mu _{p}^{\alpha } + \epsilon _{1} u_{p}^{*} \bigr) + \lambda _{5} \bigl( \tau _{p}^{\alpha } + \epsilon _{1} u_{p}^{*} \bigr) + \lambda _{6} \varrho _{p}^{\alpha }, \\& {}_{t}^{C} D_{t_{f}}^{\alpha } \lambda _{4} =1  \frac{\eta _{p} \psi ^{\alpha } S_{p}^{*}}{N_{p}} \lambda _{2}  \lambda _{4} \bigl( \tau _{p}^{\alpha } + \mu _{p}^{\alpha } + \epsilon _{2} u_{ap}^{*} \bigr) + \lambda _{5} \bigl( \tau _{ap}^{\alpha } + \epsilon _{2} u_{ap}^{*} \bigr) + \lambda _{6} \varrho _{p}^{\alpha }, \\& {}_{t}^{C} D_{t_{f}}^{\alpha } \lambda _{5} =  \mu _{p}^{\alpha } R^{*} \lambda _{5}, \\& {}_{t}^{C} D_{t_{f}}^{\alpha } \lambda _{6} =  \eta _{w}^{\alpha } S_{p}^{*} \lambda _{1} + \lambda _{2 \eta _{w}^{\alpha } S_{p}^{*}}  \pi ^{\alpha } \lambda _{6}. \end{aligned}$$(13) 
(ii)
The transversality conditions:
$$ \lambda _{\iota } ( T_{f} ) =0,\quad \iota =1,2, \ldots,6. $$(14) 
(iii)
Optimality conditions:
$$\begin{aligned}& H ( S_{p}, E_{p}, I_{p}, A_{p}, R_{p}, M, u_{p}, u_{ap}, \lambda , t ) \\& \quad =\min_{0 \leq u_{p}, u_{ap} \leq 1} H ( S_{p}, E_{p}, I_{p}, A_{p}, R_{p}, M, u_{p}, u_{ap}, \lambda , t ). \end{aligned}$$(15)
Moreover,
Proof
Equations (13) can be obtained from (9), where
is the Hamiltonian. The transversality conditions \(\lambda _{\kappa } ( T_{f} )=0\), \(\kappa =1,\ldots,6\), hold. Using (15), we can claim Equations (16)–(17).
Now, the state system can be claimed:
□
5 Numerical methods for solving FOCPs
5.1 GLNWAFDM
In this section, we construct a novel numerical method called GLNWAFDM as an extension to the method given in [24, 28]. This method can be an explicit method (easy for coding) or an implicit method (more stable and efficient), depending on the weight factor \(\Theta \in [0,1]\). To approximate the solutions of system (19) using GLNWAFDM, we first discretize the Caputo fractional operator (1) with replacing \(\triangle ( t )\) by \(\varphi ( \triangle t )\), where
Then the discretization for system (19), where \(n =0,1,2,3,\ldots, N\), using GLNWAFDM can be written as follows:
This system is a nonlinear algebraic system of \((6 N+ 6)\) equation of \((6 N+ 6)\) unknown \(( S_{p}^{*}, E_{p}^{*}, I_{p}^{*}, A_{p}^{*}, R_{p}^{*}, M^{*} )\), that can be solved using an appropriate iterative method depending on the supposed initial conditions. We notice that this scheme is explicit for \(\Theta =0\), partially implicit for \(0<\Theta <1\), and fully implicit when \(\Theta =1\).
5.2 Stability of GLNWAFDM
In the following we show that the GLNWAFDM in case \(0<\Theta \leq 1\) (implicit case) is unconditionally stable. In order to investigate the stability of the proposed method when \((\Theta \neq 0)\), consider the model test problem of linear fractional differential equation
Let \(f ( t_{n} )= f_{n} = \zeta _{n}\) be the approximate solution of this equation, then using GLNWAFDM with (1) we rewrite equation (21) in the following form:
Then we have
we have \(\frac{1}{(1 \varphi (\triangle t )^{\alpha } \Theta A )} <1\), hence
So the proposed implicit scheme is stable.
6 Numerical simulations
In this section, numerical simulations of the proposed model (19) and (13) with and without optimal control are presented. GlNWAFDM is given to obtain the numerical results of the state equations (19) with the following initial conditions [4]: \(S_{p} (0)=8{,}065{,}518\), \(E_{p} (0)=200{,}000\), \(I_{p} (0)=282\), \(A_{p} (0)=200\), \(R_{p} (0)=0\), \(M (0)=50{,}000\), and we consider \(N_{p} =8{,}266{,}000\). Then, by using the implicit finite difference method [21], we solve (13) with (14) by using different values of \(0< \alpha \leq 1\) with \(B_{1} = B_{2} =500\), \(\epsilon _{1} = \epsilon _{2} =10\), and \(0<\Theta \leq 1\). In the numerical simulations the time level is chosen in days, it is up to \(10{,}000\). The graphical results obtained through these figures demonstrate that in the case without control, the number of the infected and the asymptotically infected population is increasing, while the number of the population is decreasing in the controlled case as we can see in Fig. 1. This figure demonstrates the effectiveness of two control cases for the proposed model. Moreover, Table 3 reports the values of the objective functional obtained by the proposed method with and without controls and \(\Theta =1,0.5\). We note that the results obtained in the case of fully implicit at (\(\Theta =1\)) are better than the results in the case \(\Theta =0.5\). Also, the best result of the control case is given at \(\alpha =0.8\). Figure 2 shows how the behavior of the solutions in the control case is changing by using different values of α and \(T_{f} =150\). Figure 3 shows the evolution of the approximate solutions for the control variables using different α. It is noted that the range of the solution remains between zero and one. The approximate solutions for \(S_{p}\) and M with control case and different values of α are given in Fig. 4. Figure 5 illustrates the behavior of the approximate solutions of \(E_{p}\), \(I_{p}\), \(A_{p}\), \(R_{p}\) at different values of α at big time, and it is demonstrated that the proposed method is unconditionally stable at \(\Theta =1\). The results are given by using MATLAB (R2015a).
7 Conclusions
In the present work, the optimal control of coronavirus model with fractional operator is presented. Also, the combination of fractional order derivative and optimal control in the model improves the dynamics and increases the complexity of the model. Two control variables, \(u_{p} ( t )\) and \(u_{ap} ( t )\), are added to health care such as isolating patients in private health rooms and providing respirators and giving them treatments soothing regularly. These have been implemented to minimize the number of the infected and the asymptotically infected as we can see in Fig. 1. Necessary optimality conditions are derived. GLNWAFDM is constructed to study the behavior of the proposed problem. This method depends on the values of the factor Θ. It can be explicit or implicit with large stability regions as we can see in our results. Moreover, the stability analysis of the proposed method is studied. It was shown that this method has good stability properties in the implicit case. Some simulations are presented to support our theoretical findings. It is concluded that GLNWAFDM can be applied to solve such fractional optimality systems simply and effectively.
References
Wuhan, China Population 19502020. https://www.macrotrends.net/cities/20712/wuhan/population
China virus death toll rises to 41, more than 1300 infected worldwide. CNBC. (24 January 2020) Archived from the original on 26 January 2020. Retrieved 26 January 2020. Retrieved 30 January 2020
Ndäırou, F., Area, I., Nieto, J.J., Torres, D.F.M.: Mathematical modeling of COVID19 transmission dynamics with a case study of Wuhan. Chaos Solitons Fractals (2020). https://doi.org/10.1016/j.chaos.2020.109846
Khan, M.A., Atangana, A.: Modeling the dynamics of novel coronavirus (2019nCov) with fractional derivative. Alex. Eng. J. (2020). https://doi.org/10.1016/j.aej.2020.02.033
Tenreiro Machado, J.A., Lope, A.M.: Rare and extreme events: the case of COVID19 pandemic. Nonlinear Dyn. 16, 1–20 (2020)
Chen, T.M., Rui, J., Wang, Q.P., Zhao, Z.Y., Cui, J.A., Yin, L.: A mathematical model for simulating the phasebased transmissibility of a novel coronavirus. Infect. Dis. Poverty 9, 24 (2020). https://doi.org/10.1186/s40249020006403
Ivorra, B., Ferrández, M.R., VelaPérez, M., Ramos, A.M.: Mathematical modeling of the spread of the corona virus disease 2019 (COVID19) taking into account the undetected infections. The case of China. Commun. Nonlinear Sci. Numer. Simul. 88, 105303 (2020) http://www.doi.org/10.13140/RG.2.2.21543.29604
Carvalho, A.R.M., Pinto, C.M.A.: Noninteger order analysis of the impact of diabetes and resistant strains in a model for TB infection. Commun. Nonlinear Sci. Numer. Simul. 61, 104–126 (2018)
Sweilam, N.H., AlMekhlafi, S.M., Hassan, A.N.: Numerical treatment for solving the fractional twogroup influenza model. Prog. Fract. Differ. Appl. 4, 1–15 (2018)
Kumar, S., Ghosh, S., Lotayif, M.S.M., Samet, B.: A model for describing the velocity of a particle in Brownian motion by Robotnov function based fractional operator. Alex. Eng. J. (2020). https://doi.org/10.1016/j.aej.2020.04.019
Rihan, F.A., Baleanu, D., Lakshmanan, S., Rakkiyappan, R.: On fractional SIRC model with Salmonella bacterial infection. Abstr. Appl. Anal. 2014, Article ID 136263 (2014)
Machado, J.A.T.: Fractionalorder derivative approximations in discretetime control systems. Syst. Anal. Model. Simul. 34, 419–434 (1999)
Atangana, A.: Fractional discretization: the African’s tortoise walk. Chaos Solitons Fractals 130, 109399 (2020)
Rihan, F.A., Lakshmanan, S., Maurer, H.: Optimal control of tumourimmune model with timedelay and immunochemotherapy. Appl. Math. Comput. 353(7), 147–165 (2019)
Sweilam, N.H., Rihan, F.A., AlMekhlafi, S.M.: A fractionalorder delay differential model with optimal control for cancer treatment based on synergy between antiangiogenic and immune cell therapies. Discrete Contin. Dyn. Syst., Ser. S 13(9), 2403–2424 (2020)
Zaky, M.A., Tenreiro Machado, J.: On the formulation and numerical simulation of distributedorder fractional optimal control problems. Commun. Nonlinear Sci. Numer. Simul. 52, 177–189 (2017)
Agrawal, O.P.: A formulation and numerical scheme for fractional optimal control problems. IFAC Proc. Vol. 39, 68–72 (2006)
Agrawal, O.P., Defterli, O., Baleanu, D.: Fractional optimal control problems with several state and control variables. J. Vib. Control 16, 1967–1976 (2010)
Sweilam, N.H., AlMekhlafi, S.M., Baleanu, D.: Optimal control for a fractional tuberculosis infection model including the impact of diabetes and resistant strains. J. Adv. Res. 17, 125–137 (2019)
Sweilam, N.H., AlMekhlafi, S.M., Alshomrani, A.S., Baleanu, D.: Comparative study for optimal control nonlinear variableorder fractional tumor model. Chaos Solitons Fractals 136, 109810 (2020). https://doi.org/10.1016/j.chaos.2020.109810
Sweilam, N.H., AlMekhlafi, S.M.: Optimal control for a time delay multistrain tuberculosis fractional model: a numerical approach. IMA J. Math. Control Inf. 36, 317–340 (2019)
Podlubny, I.: Fractional Differential Equations. Academic Press, New York (1999)
Arenas, A.J., GonzàlezParra, G., ChenCharpentierc, B.M.: Construction of nonstandard finite difference schemes for the SI and SIR epidemic models of fractional order. Math. Comput. Simul. 121, 48–63 (2016)
Scherer, R., Kalla, S., Tang, Y., Huang, J.: The Grünwald–Letnikov method for fractional differential equations. Comput. Math. Appl. 62, 902–917 (2011)
Lin, W.: Global existence theory and chaos control of fractional differential equations. J. Math. Anal. Appl. 332, 709–726 (2007)
Van den Driessche, P., Watmough, J.: Reproduction numbers and subthreshold endemic equilibria for compartmental models of disease transmission. Math. Biosci. 180, 29–48 (2002)
Sweilam, N.H., AlAjami, T.M., Hoppe, R.H.W.: Numerical solution of some types of fractional optimal control problems. Sci. World J. 2013, 306237 (2013)
Iqbal, Z., Ahmed, N., Baleanu, D., Adel, W., Rafiq, M., Rehman, M.A., Alshomrani, A.S.: Positivity and boundedness preserving numerical algorithm for the solution of fractional nonlinear epidemic model of HIV/AIDS transmission. Chaos Solitons Fractals 134, 109706 (2020)
Acknowledgements
The authors would like to thank the anonymous reviewers very much for their positive comments, careful reading, and useful suggestions on improving this article.
Availability of data and materials
Please contact the corresponding author for data requests.
Funding
This research received no specific grant from any funding agency in the public, commercial, or notforprofit sectors.
Author information
Authors and Affiliations
Contributions
The authors contributed equally to this paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have 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
Sweilam, N.H., AlMekhlafi, S.M., Albalawi, A.O. et al. On the optimal control of coronavirus (2019nCov) mathematical model; a numerical approach. Adv Differ Equ 2020, 528 (2020). https://doi.org/10.1186/s13662020029826
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662020029826
Keywords
 Coronavirus diseases
 Fractional order optimal control problems
 Grünwald–Letnikov nonstandard weighted average finite difference method