Ahmed M A El-Sayed1, Anas Arafa2,3, Ahmed Hagag4. 1. Department of Mathematics, Faculty of Science Alexandria University Alexandria Egypt. 2. Department of Mathematics, College of Science and Arts Qassim University Al Mithnab Saudi Arabia. 3. Department of Mathematics and Computer Science, Faculty of Science Port Said University Port Said Egypt. 4. Department of Basic Science, Faculty of Engineering Sinai University Ismailia Egypt.
Abstract
Coronavirus infection (COVID-19) is a considerably dangerous disease with a high demise rate around the world. There is no known vaccination or medicine until our time because the unknown aspects of the virus are more significant than our theoretical and experimental knowledge. One of the most effective strategies for comprehending and controlling the spread of this epidemic is to model it using a powerful mathematical model. However, mathematical modeling with a fractional operator can provide explanations for the disease's possibility and severity. Accordingly, basic information will be provided to identify the kind of measure and intrusion that will be required to control the disease's progress. In this study, we propose using a fractional-order SEIARPQ model with the Caputo sense to model the coronavirus (COVID-19) pandemic, which has never been done before in the literature. The stability analysis, existence, uniqueness theorems, and numerical solutions of such a model are displayed. All results were numerically simulated using MATLAB programming. The current study supports the applicability and influence of fractional operators on real-world problems.
Coronavirus infection (COVID-19) is a considerably dangerous disease with a high demise rate around the world. There is no known vaccination or medicine until our time because the unknown aspects of the virus are more significant than our theoretical and experimental knowledge. One of the most effective strategies for comprehending and controlling the spread of this epidemic is to model it using a powerful mathematical model. However, mathematical modeling with a fractional operator can provide explanations for the disease's possibility and severity. Accordingly, basic information will be provided to identify the kind of measure and intrusion that will be required to control the disease's progress. In this study, we propose using a fractional-order SEIARPQ model with the Caputo sense to model the coronavirus (COVID-19) pandemic, which has never been done before in the literature. The stability analysis, existence, uniqueness theorems, and numerical solutions of such a model are displayed. All results were numerically simulated using MATLAB programming. The current study supports the applicability and influence of fractional operators on real-world problems.
Classical mathematical models for infectious diseases are a tool that can support state officials in undertaking the necessary measures to combat this disease [1, 2, 3, 4]. These models help us understand how this epidemic spread. Recently, the entire world is suffering from a new virus called coronavirus infection (COVID‐19), which is suspected to have appeared first in Wuhan, China, and then spread to different countries [5]. This type of disease poses a significant danger to individuals and a country's economy. This pandemic is distinguished by its quick spread and the absence of symptoms. Specifically, the incubation time is from 2 to 14 days, according to WHO [6]. In addition, there is no antiviral therapy or inoculation that has been authoritatively confirmed for the administration or prevention of this pandemic. To combat the pandemic, general health decision‐makers and overall policymakers should adopt and follow a strategic and medical patronage management approach. Adequate awareness of the severity of this disease and methods to combat it are key elements in minimizing the spread of this infection. Since the outbreak of COVID‐19, various statistical simulations have provided health officials with valuable insights into how to best prevent the disease's spread. They recommended a continual increase in the rate of diagnosis, a doubling of the quarantine rate due to increased touch tracing, and strict safety measures in hospitals.Fredj and Farouk investigated the COVID‐19 pandemic model using real data from Tunisia and reported that the entire population is divided into seven stages of illness [7]. Fractional calculus has emerged as a powerful mathematical tool for classifying the memory and inherited features of complex systems in recent decades [8, 9, 10, 11, 12, 13, 14, 15, 16, 17]. Moreover, the fractional calculus results are of a more generic type [18, 19, 20, 21, 22, 23, 24, 25, 26]. Therefore, several fractional models have been used to investigate the spread of the novel COVID‐19 (2019‐nCOV) [27, 28, 29, 30, 31, 32, 33]. They concluded that fractional models propagate faster than classical models and have useful scaling qualities that make them desirable for applications. The fractional model has a memory impact if its outlook status is based on the current status and the historical backdrop of the states. Further, the fractional operator has this memory impact advantage, making it ideal for showing the COVID‐19 diffusion model [34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45]. Some fractional calculus definitions include Riemann–Liouville, Caputo, Caputo–Fabrizio, Atangana Baleanu, and many more [8, 9, 10, 11, 12, 13, 14, 15, 16, 17].Currently, the dynamics of the novel COVID‐19 with fractional order take the following form:The initial conditions are , , , , , and , where S(t) represents the susceptible population, E(t) indicates the exposed population, I(t) represents the infected population, A(t) denotes the recovered–exposed population who are not counted by the government, R(t) indicates the recovered population, P(t) represents the deceased population, Q(t) represents the quarantined population, and . Each model parameters are positive values and have been evaluated in [7] using genuine data. The COVID‐19 (SEIARPQ model) parameters have the following genuine concept:σ denotes the fractional‐order operator.λ
1 denotes the rate of infection resulting from the contact between exposed and susceptible cases.λ
2 denotes the rate of infection resulting from the contact between infected and susceptible cases.λ
3 denotes the home quarantine rate of a susceptible case.α
1 signifies the incubation rate of the epidemic.α
2 signifies the recovered rate of an exposed case.β
1 signifies the recovered rate of an infected case.β
2 signifies the death rate.This paper is organized as follows: Section 2 provided some basic definitions and concepts. Section 3 investigates the stability and sensibility analyses of reproduction number , without model control. Section 4 presents the indicator corrector PECE technique for Adams–Bashforth–Moulton. Section 5 provides the numerical simulation and discussion of the 2019‐nCOV fractional model. Finally, some conclusions are provided.
BASIC DEFINITIONS AND CONCEPTS
Several concepts of fractional calculus have been recently proposed, including various definitions [8, 9, 10, 11].The fractional integral operator of order σ > 0, of a function S(t) ∈ C
, ι ≥ −1 is denoted by and defined as follows:We can write the definition of Caputo fractional derivative as follows [8]:
ANALYSIS OF THE SEIARPQ MODEL OF FRACTIONAL ORDER
Stability and sensibility analysis
To determine the disease‐free equilibrium state of the suggested model, equate the right‐hand side of the model (1) to zero.Finding equilibrium points and studying stability analysis are similar between classical and fractional systems. Therefore, we discover that the stability analysis of this system has been studied in a previous research [7]. The disease‐free equilibrium state is given as follows:The dimension of the suggested model is substantially higher; thus, it is difficult to examine the stability of the suggested model in connection with equilibrium states. Subsequently, we will investigate the stability analysis dependent on the essential propagation number in a later subsection. We can write the basic reproduction number as follows [7]:Because epidemiological system parameters are either predetermined or fitted, there is some skepticism about the values used to deduce the fundamental pestilence. Therefore, it is essential to evaluate the individual effects of each parameter on the dynamics of the pestilence and, thus, identify the parameters with the greatest impact on limiting or spreading the epidemic. In this subsection, we use a sensitivity indicator to perform a sensitivity analysis of the epidemical parameters included in the proposed SEIARPQ model. The sensitivity indicator strategy will help measure the most sensitive parameters for the basal reproductive number, . The standardized sensitivity indicator of with respect to the parameters used in the SEIARPQ model is given by the following equations, where, for example, , where Ω represents the assessment of the singular effects of each parameter on the dynamics of the epidemicEquation (5) shows that a portion of the sensitivity indicator is positive, such as λ
1 and λ
2 while others are negative, such as β
1, β
2, α
1, and α
2. Moreover, the greatest aspects of these indicators are the functions of the parameters of the SEIARPQ model. This implies that even a minor change in a parameter will alter the dynamics of the pestilence. The value shows that increasing (decreasing) α
2, for example, by 10%, decreases (increases) the basic reproductive number by about 10%. A slight alteration in a parameter may result in relatively enormous quantitative alterations, thus requiring knowledge of these sensitive parameters. From Equation (5) shows that the minimum and maximum sensitivity epidemical parameters, are the parameters α
2 (the recovered rate of an exposed case) and λ
1 (the rate of infection resulting from contact between an exposed case and a susceptible case), respectively.
Existence and uniqueness of solutions
Because summarizing the entire model (1) yields zero, the model is divided: as can be seen
this signifies that the overall population (the sum of all whole case variables) is constant. Let
be the state variables vector. Since the case variables connote the populace fractions, we can assume that , where 1 implies the overall population.We assume the following:Suppose that the following equation holds for a constantAt that point, we get the following:
where g
> 0 and 1 ≤ x, y ≤ 7. We deduce from the above that the condition of Lipschitz is true in every of the functions from ((9), (10), (11), (12), (13), (14), (15)).We will show the existence of solutions of the model (1) in the next segment. Let Θ = Λ(η) × (η) and Λ(η) be a Banach space of real valued continuous function on η with the norm , by using a Volterra type integral equation, we can transform Equation (1) asPresume for simplicitySolutions to model (1) are exists and unique forThe model (1) can be written as:
with a given initial data Y (0) where and indicates the right hand expressions. The conclusion is simple: using the existence and uniqueness theorem in [46], it is simple to prove that there is a unique solution for model (1) in the bounded region . This may be verified by ensuring that in the bounded region , each of the partial derivatives on the right side of the model (1) with regard to S, E, I, A, R, P, or Q are bounded in .According to the following theorem, the solutions of the model (1) are bounded from above and nonnegative with given initial conditions.With a nonnegative initial value, all model (1) solutions stay nonnegative for all t ≥ 0 andWe demonstrate that, in accordance with [47, 48], every solution to the model (1) is nonnegative. We demonstrate that the model's state variable S is positive for all t ≥ 0 using the proof by contradiction. We assume that at time t
1, a trajectory crosses the positive cone as follows:, , , , , , , for .Employing the first equation of (1), the initial presumption leads to
which goes against the first presumption that . Thus, remains positive for all t ≥ 0. We select t
1 in this case so that E(t
1) and I(t
1) are positive and our point is on the positive axis of . According to the second equation of model (1),
because cannot be negative for all t ≥ 0. By resolving this equation, we getIn accordance with this, we derive from the third equation of model (1)By solving this equation, we getThe final four equations of model (1), in a similar manner, lead to
because , , and are nonnegative for all t ≥ 0. By solving the above equations, we get
respectively. Thus, any solution of model (1) is nonnegative with nonnegative initial data for all t ≥ 0. Furthermore, adding the right‐hand sides of model (1) together, we obtain . It follows that , where C is any constant. Considering , we haveThus, the model (1) is bounded.The kernels Equation (23) Λ
, i = 1, 2, …, 7 satisfy Leipchitz's condition if the next inequality holds:We will begin the analysis with Λ1(t, S). Let S and S* be two functions, so thatLikewise, for the another kernels, we get
where andWe can write the kernels of the model (1) asConsider the next initial conditions and Iterative formula as
and S(0) > 0, E(0) ≥ 0, I(0) ≥ 0, A(0) ≥ 0, R(0) ≥ 0, P(0) ≥ 0, Q(0) ≥ 0. The difference between the consecutive components takes the form belowOne can see from the previous equations and calculations thatUtilizing the norm property on Equation (39), we find thatBecause in the kernels, the Lipschitz condition is fulfilled, we find that
then we haveLikewise for Equations ((40), (41), (42), (43), (44), (45)), we get the nextThe model (1) as unique solutions under the conditions that we can obtain t
max
such thatWe have proven the facts that the functions S(t), E(t), I(t), A(t), R(t), P(t), and Q(t) are bounded, and their kernels fulfilled the condition of the Lipshtz. In view of Equations ((49), (50), (51), (52), (53), (54), (55)) and by using the recursive technique, we extract the followingConsequently, Equation (46) are smooth functions and exist. Following, we offer that they are particular solutions of Equation (1). AssumeOur purpose is to illustrate that at infinity, , , , , , , and . So, we have to start with the first state, then
where When we recursively apply this process, we get
at t
max, we getBy taking the limit at , we find that . The proof is therefore confirmed. In the same manner, one enable prove that , , , , , and .The solution of system presented by model (1) is unique.We will obtain another solutions for the model (1), like , , , , , and , thenApplication of the norm on all sides of Equation (61), we find thatProvided the conclusions of Theorems 1 and 2, we haveThis givesThe proof is therefore confirmed.
NUMERICAL ALGORITHM WITH CAPUTO FRACTIONAL DERIVATIVE
Numerous physical and realistic applications developed using fractional PDEs cannot be solved precisely; nonetheless, in engineering and science, a numerical approximation to the solution is frequently sufficient to address the problem. The technique calculated here can be used to register a solution using the indicator corrector PECE technique for the Adams–Bashforth–Moulton method. In this section, we examine the 2019‐nCOV using data from Tunisia known as the SEIARPQ model with the Caputo fractional derivative to demonstrate the potentiality, commonness, and supremacy of our algorithm. MATLAB software package was used to complete all analytical and numerical computations during the calculation time.The following general fractional differential equation with blurring memory is considered using the Caputo fractional derivative:By stratifying the essential theorem of calculus, we transform Equation (66) to the following:
so that, at t = t
, n = 1, 2, …, we get
andBy subtracting (69) from (68), we obtain the following:This suggests the following:
where
andBy applying the Lagrange interpolation on the function , we getThen, we haveSubsequently,Similarly likewise, we obtainSubsequently,Thus the approximate solution is given asConsequently, the solution of the model (1) is
NUMERICAL SIMULATION AND DISCUSSION
In this section, we resolve the fractional operator SEIARPQ model mathematically using the indicator corrector PECE technique for the Adams–Bashforth–Moulton method [49, 50]. The approach can be used for both linear and nonlinear problems, and multiterm equations (involving more than one differential operator) can also be generalized.The properties of the parameters used for the mathematical simulation are evaluated from the Tunisian genuine life statistics [7] as follows:The total population is assumed to be 11 million people, and the initial estimates of the various population stages after normalization are N = 11E6, , , , . The results of the numerical simulation of the SEIARPQ model (without control) are shown next.Figure 1a shows the comparison between our fractional solutions, classical solution [7], and clinical data of the infected population, I(t) with different values of fractional order σ and constant, λ
3. The results obtained when σ = 1 using the proposed algorithm are consistent with the classical results [7]. The authors in [7] deduce from their classical numerical results that the modification of the parameter λ
3 generates a consequent variation in the rate of the infected population. They demonstrated that the simulation curve model of the infected population, I(t) is consistent with only the clinical data at λ
3 = 0.166. Our fractional results obtained for the confirmed infected population, I(t), are more consistent with the clinical data at λ
3 = 0.166 and σ = 0.85 than with the classical results [7]. More accurate solutions can be obtained by changing the value of the parameter, λ
3, and the fractional order, σ as shown in Figure 1b–d. Figure 2a shows the comparison between our fractional solutions, classical solution [7], and clinical data of the dead population, P(t), with different values of fractional order, a, and constant, λ
3. The results obtained when σ = 1 using the proposed algorithm are consistent with the classical results [7]. The authors in [7] conclude from their classical numerical results that the dead population, P(t), is consistent with only the clinical data at λ
3 = 0.166. Our fractional results show that the numerical solutions do not depend only on the value of λ
3 but also on the fractional order, σ as shown in Figure 2b–d.
FIGURE 1
Comparison of solution behavior between infected data and infected population with different fractional derivative order σ and constant λ
3
FIGURE 2
Comparison of solution behavior between dead data and dead population with different fractional derivative order σ and constant λ
3
Comparison of solution behavior between infected data and infected population with different fractional derivative order σ and constant λ
3Comparison of solution behavior between dead data and dead population with different fractional derivative order σ and constant λ
3Figures 3, 4, 5, 6 show the solution behavior with time history for S(t), E(t), I(t), A(t), R(t), P(t), and Q(t) obtained for different values of σ. The numerical solutions depend on the value of the fractional order, σ. Figure 7 shows the behavior of the solution when the average of parameters λ
1 and λ
2 is changed in all population stages at the fractional derivative order σ = 0.85. Figure 8 shows the behavior of the solution when the average of parameters β
1 and β
2 is changed in all population stages at the fractional derivative order σ = 0.85. Figure 9 shows the behavior of the solution when the average of parameters α
1 and α
2 is changed in all population stages at the fractional derivative order σ = 0.85. Figure 10 shows the behavior of the solution when the average of parameter λ
3 is changed in all population stages at the fractional derivative order σ = 0.85.
FIGURE 3
Solution behavior with time history of susceptible population and exposed population
FIGURE 4
Solution behavior with time history of infected population and recovered–exposed population
FIGURE 5
Solution behavior with time history of recovered population and deceased population
FIGURE 6
Solution behavior with time history of quarantine population
FIGURE 7
The impact of changing the average of parameter λ
1 and parameter λ
2 on all populace stages after some time where the fractional derivative order σ = 0.85
FIGURE 8
The impact of changing the average of parameter β
1 and parameter β
2 on all populace stages after some time where the fractional derivative order σ = 0.85
FIGURE 9
The impact of changing the average of parameter α
1 and parameter α
2 on all populace stages after some time where the fractional derivative order σ = 0.85
FIGURE 10
The impact of changing the home quarantine rate of (parameter λ
3) on all populace stages after some time where the fractional derivative order σ = 0.85
Solution behavior with time history of susceptible population and exposed populationSolution behavior with time history of infected population and recovered–exposed populationSolution behavior with time history of recovered population and deceased populationSolution behavior with time history of quarantine populationThe impact of changing the average of parameter λ
1 and parameter λ
2 on all populace stages after some time where the fractional derivative order σ = 0.85The impact of changing the average of parameter β
1 and parameter β
2 on all populace stages after some time where the fractional derivative order σ = 0.85The impact of changing the average of parameter α
1 and parameter α
2 on all populace stages after some time where the fractional derivative order σ = 0.85The impact of changing the home quarantine rate of (parameter λ
3) on all populace stages after some time where the fractional derivative order σ = 0.85
CONCLUSION
The SEIARPQ model with the Caputo fractional derivative was used in this study to show the COVID‐19 pandemic. The proposed fractional model is numerically solved using the indicator corrector PECE methodology for the Adams–Bashforth–Moulton method. The numerical results obtained do not only depend on the value of the SEIARPQ model parameters but also on that of the fractional order σ. This shows that the fractional‐order model is more consistent with the clinical data than with the integer‐order model. Consequently, the fractional‐order model offers solutions that rapidly converge to real problems.
Authors: Shumaila Azam; Jorge E Macías-Díaz; Nauman Ahmed; Ilyas Khan; Muhammad S Iqbal; Muhammad Rafiq; Kottakkaran S Nisar; Muhammad O Ahmad Journal: Comput Methods Programs Biomed Date: 2020-03-09 Impact factor: 5.428