Mati Ur Rahman1, Muhammad Arfan2, Kamal Shah2, J F Gómez-Aguilar3. 1. Department of Mathematics, Shanghai Jiao Tong University, 800 Dongchuan Road, Shanghai P.R. China. 2. Department of Mathematics, University of Malakand, Chakdara Dir (Lower), Khyber Pakhtunkhawa, Pakistan. 3. CONACyT-Tecnológico Nacional de México/CENIDET, Interior Internado Palmira S/N, Col. Palmira, Cuernavaca Morelos, C.P. 62490, México.
Abstract
This paper is devoted to investigation of the fractional order fuzzy dynamical system, in our case, modeling the recent pandemic due to corona virus (COVID-19). The considered model is analyzed for exactness and uniqueness of solution by using fixed point theory approach. We have also provided the numerical solution of the nonlinear dynamical system with the help of some iterative method applying Caputo as well as Attangana-Baleanu and Caputo fractional type derivative. Also, random COVID-19 model described by a system of random differential equations was presented. At the end we have given some numerical approximation to illustrate the proposed method by applying different fractional values corresponding to uncertainty.
This paper is devoted to investigation of the fractional order fuzzy dynamical system, in our case, modeling the recent pandemic due to corona virus (COVID-19). The considered model is analyzed for exactness and uniqueness of solution by using fixed point theory approach. We have also provided the numerical solution of the nonlinear dynamical system with the help of some iterative method applying Caputo as well as Attangana-Baleanu and Caputo fractional type derivative. Also, random COVID-19 model described by a system of random differential equations was presented. At the end we have given some numerical approximation to illustrate the proposed method by applying different fractional values corresponding to uncertainty.
Here we discuss that in recent time a terrible outbreak, which has been originated from China is spreading throughout the world very rapidly. Thousands of people have been faced death due to this disease. The outbreak of a deadly and highly infected virus of the present era is a corona virus and it is identified in the Wuhan (Chinese city) on December 31, 2019 [1], [2]. Since then it has been killed over 0.5 million of people, while the infectedpeople are more than 13 millions in more than 180 countries. The history of this virus traced back to 1965, when Tyrrell and Bynoe have identified and they passaged a virus named B814 [3]. This virus is found in humanembryonic tracheal organ cultures acquired from the respiratory tract of an adult [4].Different researchers and policy makers are struggling to control the disease from further spreading. One big factor of spreading this disease is immigration of infectedpeople from place to place which effect more people and hence cause spreading this disease. Therefore on international level, many countries of the world have banned air traffic for some time and also they have announced lock-down in cities so that some precautionary measure should be taken to reduce maximum loss of human lives. Also each country in the globe try to reduced unnecessary traveling of people and to reduce the cases of infection in their country [5]. Since scientists and researchers are trying to investigate cure or vaccine for the aforesaid outbreak so that in future such like pandemic may be controlled.Understanding properly about the pandemic plays useful role in controlling of the disease in a society. Implementation of a suitable strategy against the disease transmission is another challenge. From medical engineering point of view, mathematical modeling approach is one of the key tool in order to handle these infectious diseases. Mathematical models have been established for different disease in history, for study, we refer [6], [7], [8], [9]. Similarly the mentioned outbreak has been reported in large numbers of articles, reports, monographs, etc, (for detail see [1], [2], [10], [11], [12], [13], [14], [15], [16], [17]).The mathematical models are mostly differential and integral equations of integer order (IDEs). However, for the last few decades, the non-integer order differential equations (FDEs) can be used to formulate real phenomena with greater degree of precision and accuracy. Further, their applications can be found in different areas of physical and medical science, like engineering, economics, control theory, finance and in epidemiology. Modern calculus is the generalization of classical integer-order calculus. The increasing interest of using FDEs in modeling of real world problems is due to its various properties which are not found in IDEs. In contrast of IDEs which are local in nature, the FDEs are non-local and possesses the memory effects which make it more superior then IDEs. It is also because, in many situations the future state of the model depends not only upon the current state but also on the previous history[18], [19], [20], [21]. These features enables FDEs to model the phenomena having not only the non-Gaussian but also for non-Markovian behavior. Further, the classical IDEs are unable to provide the information in between two different integer values. Various type of fractional-order operators were introduced in existing literature to over come such limitations of integer-order derivatives. The applications of these fractional operators can be found in various fields.The worm and interesting area of research in recent time is mostly devoted to investigate biological models of infectious diseases. Many investigation about the mathematical models are devoted to study stability theory, existence results and optimization, we refer few as [22], [23], [24], [25].Due to the current situations, many studies have been recorded on mathematical modeling of outbreak of COVID-19, we refer few as [26], [27], [28], [29]. Currently this area of mathematical models for the coronavirus infectious diseases is warm area of research. Therefore in [26] authors considered the following model of four compartment including healthy or susceptible population S(t), the exposed class E(t), the infected population I(t) and the removed class R(t) (death due to corona or natural) at time t asThe details of the parameters written in the model (1), with complete descriptions are given in Table 1
.
Table 1
Description of the parameters given in model (1).
Notation
Parameters description
a
The population whose tests are negative
d0
Natural death
b
The population whose tests are positive
μ
Death due to Corona
K
Proportionality constant
κ
Infected rate
α
Rate at which recovered individuals lose immunity
β
Recovered rete
Description of the parameters given in model (1).Differential equations and classical calculus have been extended to many field of applied and pure mathematics. Like classical calculus to modern and fuzzy calculus and differential equations to fractional order and fuzzy fractional order. In 1965, Zadeh [30] defined the fuzzy concepts about set theory. It is obvious that the ideas of fuzziness have been discussed in variety of subjects like fuzziness for fixed point theorey, fuzziness for topological, fuzziness for control system and fuzziness for automata and so on. In 1996 Chang and Zadeh [31] extend the notion of fuzzy set to fuzzy mapping and control. Many researcher globalized fuzzy mapping and control to define elementary fuzzy calculus. Dobius and Prada [32] defined the concept of fuzzy integral equations. therefore in data imprecision or vagueness is occurred, the fuzzy concept is better to described the parameters then instead of crisp model. hence in the last many year, fuzzy calculus of differentiation and integration plays central role in modeling process. Therefore we take model (1) under the fuzzy fractional Caputo derivative aswhere and 0 ≤ r ≤ 1.In eighteenth century Riemann and Liouville, Euler and Fourier provided useful results in basics of modern calculus. Because of their contribution the area of modern calculus was also established and some good research has been carried out later on. This is due to lots of applications of modern calculus in the filed of mathematical modeling, where several hereditary concepts and memory process have been explained clearly, while classical calculus failed to explain such type of properties. Fractional calculus is the globalization of classical calculus with greater degree of freedom in differential operator as compared to integer differential operator which is local in nature. The important applications of the said calculus may be traced out in [18], [19], [20], [21], [33], [34], [35], [36]. Therefore, researchers and scientists have given very much interest in discussion of arbitrary order of derivatives and integrals. In fact fractional derivative is a definite integral which geometrically interpret the accumulation of the whole function or the whole spectrum which globalize it. On the other hand ordinary derivative is a special case of the fractional order. For analysis of differential equations for qualitative, numerical and optimization of solutions, we refer few as [37], [38], [39], [40], [41], [42]. It is also remarkable that fractional differential operators have been defined by number of ways. It is well known fact that definit integral has no regular kernel, therefore both type of kernel have been involved in various definitions. One of the important definition which has very recently attracted the attention is the ABC derivative introduced by Atangana-Baleanu and Caputo [43] in 2016. The mentioned derivative exhibit the singular kernel by nonsingular kernel and therefore were greatly studied [44], [45], [46], [47], [48], [49], [50], [51], [52].
Basic definitions
Here, we recall some definition from [18], [19], [53].For a function say y(t) we define fractional integral corresponding to t assuch that antiderivative converges to some value.
[54]
Let we have a continuous fuzzy function on [0, b] ⊂ R, we define fuzzy fractional integral in Riemann-Liouville sense corresponding to t asFurther, if where C ∈ [0, b] is the space of fuzzy continuous functions and L ∈ [0, b] is a space of fuzzy Lebesgue integrable functions respectively, then fuzzy fractional integral is defined assuch thatConsider a mapping, say y(t), we define the Caputo arbitrary order derivative corresponding to t asIn some line for a function such that
p ∈ [0, 1] and t
0 ∈ (0, b), then the fuzzy Caputo fractional derivative is given aswhere,such that the integration on the right sides converges and . Since α ∈ (0, 1] so .The ABC fractional differentiation of a function y(t) having the condition is given byIn some line for a function such that
p ∈ [0, 1] and t
0 ∈ (0, b), then the fuzzy Atangana-Baleanu-Caputo (ABC) fractional derivative is given aswhere,such that the integration on the right sides converges and . Since α ∈ (0, 1] so .Let y(t) ∈ L[0, T], then the corresponding integral in ABC sense is given byLet we have a continuous fuzzy function on [0, b] ⊂ R, we define fuzzy fractional integral ABC sense corresponding to t asFurther, if where C ∈ [0, b] is the space of fuzzy continuous functions and L ∈ [0, b] is a space of fuzzy Lebesgue integrable functions respectively, then fuzzy fractional integral is defined assuch thatThe Laplace transform (LT) of the Caputo derivative for 0 < α ≤ 1 is given asA fuzzy number of mapping P: R → [0, 1] if it satisfies the following conditions:P is upper semi continuous;;There exist y
0 ∈ R such that
i, e P is normal;cl{y ∈ R, P(y) > 0} is compact.Here we denotes the set of all fuzzy numbers by E.[54] The parametric form of a fuzzy number can be written in the form of order pair assuch that 0 ≤ r ≤ 1, which has the given properties:k(r) is left continuous, bounded and increasing function over [0,1] and right continuous at 0;is right continuous, bounded decreasing function over [0,1] and right continuous at 0;r is called crisp number if .Let E denote the set of upper semi-continuous, convex and normal fuzzy numbers with bounded θlevel interval which yields that v ∈ E, then θlevel setwhich is bounded and closed interval represented byFor arbitrary fuzzy numberand for κ
1 ≥ 0, various operations are defined as followAddition: .Subtraction: .Scaler multiplication:Let be a mapping, and are any two fuzzy number in parametric form. Then the Hausdroff distance between (v, w) is measured asIn E, a metric D
1 as defined above have following properties;
then y
3 is said to be difference of y
1 and y
2 and denoted as .for all v, v, w ∈ E,for all κ
1 ∈ R, v, w ∈ Efor all v, w, μ, v ∈ E,(E, D
1) is a complete metric space.Suppose that y
1, y
2 ∈ E, if there exist y
3 ∈ E such that[55] Consider the fuzzy mapping h: R → E. then h is called a continuous for any fixed y
0 ∈ [β
1, β
2], if for every ϵ > 0, there exist δ > 0 such that if which implies thatA levelwise continuous mapping h: [β
1.β
2] ⊂ R → E is defined at a ∈ [β
1, β
2] if the set valued mapping is continuous at with respect to the metric D
1 for all θ ∈ [0, 1].Considerh(y) is a levelwise continuous function on
y
0 > 0;k(y, s) is a levelwise continuous function on
and D
1(v(y), h(y
0) < y
1
where y
1 > 0;For any (y, s, v(s)), (y, s, w(s)) ∈ Δ,we have
where the constant M > 0 is given and for any θ ∈ [0, 1]. Then the level wise continuous solution v(y) exist and unique and defined for
where
and
where keep in mid that
.
[57]
Let ϕ
1
and ϕ
2
be fuzzy valued functions of corresponding order c > 0, which are piecewise continuous on [0, ∞), then
where
represent the integral transform due to Laplace.Note: For the qualitative analysis, we define Banach spacewhere under the fuzzy norm
Positivity of solution
The solution of the model
(1)
is bounded in the feasible region given byAs than By adding all equation of (1), we haveSolving (9), we havewhen hence the required result is received. □
Global and local stability analysis
For stability, we have to find the equilibrium points for (1) asWe have is the disease free equilibrium point of (1). Next, we have to find the basic reproduction number asThe basic reproduction number for
(1)
is computed asLet we take and equation of (1) for finding reproduction number asortake
F is the non-linear term and V is the linear term given as underandtaking jacobian of F and V to obtain the next generation matrix as followsandso the next generation matrix isNow R
0 is equal to leading eigen value of the next generation matrix at disease free equilibrium point
So the reproduction number is given byHence the required result is proved. □(1)
is locally asymptotically stable if R
0 < 1 and unstable if R
0 > 1”.Let we denote the right hand side of (1) is by Φ1, Φ2, Φ3, Φ4, respectively then the “Jacobian matrix” for (1) can be computed asorNow the characteristics equation can be find asso the real parts of all the eigen values λ
1, λ
2, λ
3, λ
4 are negative, imply that λ
4 must be negative if R
0 < 1, hence proved. □
Iterative solution of (1)
Numerical solution of (1) by euler method in sense of caputo derivative
Now here we have to evaluate approximate solution of the model (1) and the numerical simulations will be achieved by the “Euler iterative method”. For this, we apply the arbitrary order Caputo derivative to establish a numerical procedure for the simulation of our considered model (1). To develop a numerical scheme, we go ahead with the model (1) asLet [0, θ] be set of points, on which we must have to evluate the series solution of the model (12). Actually, we cannot not evoluate the functions S(t), E(t), I(t), Rt which will be the solution the IVP (12). Instead of this, an interval (t(t)) is produced from which the points are used for our iterative procedure. For this, we further divide the set of points [0, θ] into j sub-intervals of equal difference only using the nodes for . Considere thatare continues on [0, T]. Applying the generalized Euler’s or Taylor’s method about to the considered model expressed in (12) and for each value t take value a, the expression for t
1, we haveLet the difference between two successive point is h will be chosen small enough, then we may ignore the higher-order term from involving h
2) and get the results from (13) asOn repeating the same fashion, a sequence of points that approximates the solution (S(t), E(t), I(t), R(t)) is formed. A general formula about iswhere .
Numerical solution of (1) by Adams-Bashforth method in sense of ABC derivative
The model (1) has been solved approximately by Adams-Bashforth method in zeeshan et al[58] as
So we can compare Caputo Euler method and Adams-bashforth method given as in Figs. 1
and 2
respectively. We have simulated the results corresponding to the given data in Table 2
and the parameters values are given in the Table 2 below as:
Fig. 1
Comparison of Caputo and ABC fractional order derivatives for susceptible and exposed class at different parameters given in table 1.
Fig. 2
Comparison of Caputo and ABC fractional order derivatives for infected and death class at different parameters given in table 1.
Table 2
Description of the parameters given in model (1).
Notation
Parameters description
values
a
The population whose test is negative
0.00250281 millions
d0
Natural death rate
0.0000004/million
b
The population whose test is positive
0.006656 millions
μ
Death due to Corona
0.0109
κ
The rate constant characterizing the infection
0.000024
α
Rate at which recovered individuals lose immunity
0.00009/million
β
Recovered rete
0.75
Comparison of Caputo and ABC fractional order derivatives for susceptible and exposed class at different parameters given in table 1.Comparison of Caputo and ABC fractional order derivatives for infected and death class at different parameters given in table 1.Description of the parameters given in model (1).We take the following initial values .in million.
Random COVID-19 disease model
In the nature, the coefficients of the model given by Eq. (1) are random numbers, in this section, we present the random COVID-19 disease model transforming the coefficients of system given by Eq. (1) to random variables [59]. Using normal distribution, we will obtain the new set of random coefficients
where ϖ, ϑ, m ∈ (1, 8), these parameters corresponds to the means and standard deviations of the normal distributions, respectively. These random variables are expected to be a sum of independent quantities often have a normal distribution, also the mean values of these distributions will be chosen according to the numerical values of the coefficients.The distributed random variable can be written as where Υ ~ Δ(0, 1) is the standard normally distributed random variable. These random variables can be rewritten involving the standard normally distributed random variable, following this idea, we haveThe initial conditions are
and . For the random variables Υ, m ∈ (1, 8), the distribution is Δ(0, 1). Setting the appropriate values of a, yieldsSubstituting the parameters described in Eq. (18) into the model given by Eq. (1), we getThe solution of the model (19) can be obtained applying the Adams-Bashforth method [60]. The Numerical scheme is given byThe numerical results given in Figs. 3
(a)-3(d), 4
(a)(-4(d), 5
(a)-5(d) and 6
(a)-6(d) shows numerical simulations of the random solution of our model.
Fig. 3
Random COVID-19 Disease model for .
Fig. 4
Random COVID-19 Disease model for .
Fig. 5
Random COVID-19 Disease model for .
Fig. 6
Random COVID-19 Disease model for .
Random COVID-19 Disease model for .Random COVID-19 Disease model for .Random COVID-19 Disease model for .Random COVID-19 Disease model for .From our figures obtained, we show that exposed and infected individuals show a sharp increase for all values of Δ due to the high transmissibility of COVID-19 virus [61]. In some countries the number of labs for sample testing is limited which leads to delay in confirmation of infected individual present a huge risk for susceptible population. If in these countries the response on lab confirmation of COVID-19 positive cases is more fast, we can isolate infected individual and break the chain of transmission on time. Several countries taking this pandemic seriously and implementing severe and extreme control measures like educating and following World Health Organization preventive measures. For this reason is very important implement control measures like social distancing, mitigation, containment and restrict gathering of people.
Iterative solution of (2)
Numerical solution of (2) by Adams-Bashforth method in caputo sense
In this section, we are giving approximate solutions of fractional order model (2) under the Caputo derivative by fractional Adams-Bashforth method. Then the numerical simulations are got via the suggested scheme. To this aim, we employ the fractional AB method to establish a numerical procedure for the simulation of our considered model (2). To produce a numerical scheme, we go ahead with the model (2) can be written for simplicity asTaking integration of the first equation of (21) in Caputo sense, we getSet for it follows thatNow, we approximate the function on the interval through the interpolation polynomial as followswhich implies thatNow we have to calculate the integrals and I
as
put we getandsubstituting (23) and (24) in (22), we have as followsSimilarly for the remaining three equations of (21) we can write the iterative method as
Numerical solution of (2) by fractional Adams-Bashforth method in sense of ABC derivative
In this section, we are giving approximate solutions of fractional order model (2) under the ABC derivative by fractional Adams-Bashforth method. Then the numerical simulations are got via the suggested scheme. To this aim, we employ the fractional AB method to establish a numerical procedure for the simulation of our considered model (2). To produce a numerical scheme, we go ahead with the model (21) can be written for simplicity astaking integration of the first equation of (25) in ABC sense, we getSet for it follows thatNow, we approximate the function on the interval through the interpolation polynomial as followswhich implies thatWe have calculated the integrals and I
in (23) and (24), so (25) becomeSimilarly for the remaining three equations of the model, we can write the iterative method as
So we can compare fuzzy Caputo iteration with fuzzy ABC iterative method as in figur 1 and 2. We take the following initial values . Susceptible about whom it was fear and they were tested. Since fuzzy logic is used as a vigorous technique for modeling in medical practice where uncertainty lies in data. Here corresponding to the fuzzy concept we have presented the fuzzy upper and lower approximate solutions for various compartments corresponding to different values of fraction order in tr space. We see under uncertainty the decrease in susceptibility means that more people are to be exposed to the infection. As a results infected class may be increased for which cause in increase in fatality rate and also more people are infected so more recovery may be possible hence this class also raise with different. The concerned fuzzy dynamics for the novel coronaries is presented in Fig. 7, Fig. 8, Fig. 9, Fig. 10
by using the parametric values of the Table 2.
Fig. 7
Graphical presentation of first three terms fuzzy solutions for different fractional order of susceptible class.
Fig. 8
Graphical presentation of first three terms fuzzy solutions for different fractional order of exposed class.
Fig. 9
Graphical presentation of first three terms fuzzy solutions for different fractional order of infected class.
Fig. 10
Graphical presentation of first three terms fuzzy solutions for different fractional order of recovered class.
Graphical presentation of first three terms fuzzy solutions for different fractional order of susceptible class.Graphical presentation of first three terms fuzzy solutions for different fractional order of exposed class.Graphical presentation of first three terms fuzzy solutions for different fractional order of infected class.Graphical presentation of first three terms fuzzy solutions for different fractional order of recovered class.Here in Figs. 11
–14
we plot the numerical results corresponding to different fractional orders.
Fig. 11
Dynamical behavior of COVID-19 considered model under ABC fractional order derivative for order 0.75.
Fig. 14
Dynamical behavior of COVID-19 considered model under ABC fractional order derivative for order 1.0.
Dynamical behavior of COVID-19 considered model under ABC fractional order derivative for order 0.75.Dynamical behavior of COVID-19 considered model under ABC fractional order derivative for order 0.85.Dynamical behavior of COVID-19 considered model under ABC fractional order derivative for order 0.95.Dynamical behavior of COVID-19 considered model under ABC fractional order derivative for order 1.0.From Fig. 11, Fig. 12, Fig. 13, Fig. 14, we see that as susceptibility is decreasing as a results the exposed class increases. Consequently the infection class also increase. If there is no precautionary measure then more fattily cases will occurs so recovered class also raise up. The concerned dynamics are more faster on small fractional order and as order enlarging the process become slightly slow.
Fig. 12
Dynamical behavior of COVID-19 considered model under ABC fractional order derivative for order 0.85.
Fig. 13
Dynamical behavior of COVID-19 considered model under ABC fractional order derivative for order 0.95.
Conclusion
A comprehensive study has been carried out in this article about a COVID-19 mathematical model of four compartments. The considered model has been investigated from qualitative aspect and proved that such model has at least one solution by using fixed point results. Further since uncertainty always lies in such of data so in this work a fuzzy and random approach have used to deal the considered novel COVID-19 model. Existence of such models has been proved via using fuzzy fixed point results. Considering a novel Laplace Adomian method we have presented some approximation results. The concerned results have presented through surfaces plots against uncertain and taking different fractional order. Also numerical solutions for the random model were obtained applying the Adams-Bashforth method. The graphical results demonstrate that random approach provides superior and more suitable results than the ordinary COVID-19 model. These results are consistent with real-time data trends of COVID-19 transmission to humans in many countries with limited action on disease control. The fuzzy and random concepts can also be used in practice problems where data are uncertain. Since recently the nonlocal derivatives of fractional order have got much attention. So we have also investigated the proposed model under ABC derivative by using fractional Adam Bashforth method for numerical simulation. In further research, we study the applicability of the proposed schemes in another epidemic models and some related problem such as stability and optimal control problems.
Authors: Qun Li; Xuhua Guan; Peng Wu; Xiaoye Wang; Lei Zhou; Yeqing Tong; Ruiqi Ren; Kathy S M Leung; Eric H Y Lau; Jessica Y Wong; Xuesen Xing; Nijuan Xiang; Yang Wu; Chao Li; Qi Chen; Dan Li; Tian Liu; Jing Zhao; Man Liu; Wenxiao Tu; Chuding Chen; Lianmei Jin; Rui Yang; Qi Wang; Suhua Zhou; Rui Wang; Hui Liu; Yinbo Luo; Yuan Liu; Ge Shao; Huan Li; Zhongfa Tao; Yang Yang; Zhiqiang Deng; Boxi Liu; Zhitao Ma; Yanping Zhang; Guoqing Shi; Tommy T Y Lam; Joseph T Wu; George F Gao; Benjamin J Cowling; Bo Yang; Gabriel M Leung; Zijian Feng Journal: N Engl J Med Date: 2020-01-29 Impact factor: 176.079
Authors: Muhammad Arfan; Hussam Alrabaiah; Mati Ur Rahman; Yu-Liang Sun; Ahmad Sobri Hashim; Bruno A Pansera; Ali Ahmadian; Soheil Salahshour Journal: Results Phys Date: 2021-03-22 Impact factor: 4.476