Wasfi Shatanawi,Ali Raza,Muhammad Shoaib Arif,Kamaledin Abodayeh,Muhammad Rafiq and Mairaj Bibi

1Department of Mathematics and General Courses,Prince Sultan University Riyadh, Riyadh,Saudi Arabia

2Department of Medical Research, China Medical University Hospital, China Medical University, Taichung,40402,Taiwan

3Department of Mathematics, Hashemite University, Zarqa, Jordan

4Stochastic Analysis&Optimization Research Group,Department of Mathematics,Air University,PAF Complex E-9,Islamabad,44000,Pakistan

5Department of Mathematics, National College of Business Administration and Economics, Lahore, Pakistan

6Faculty of Engineering, University of Central Punjab, Lahore, 54500,Pakistan

7Department of Mathematics, Comsats University, Islamabad, Pakistan

Abstract: Nonlinear stochastic modeling plays a significant role in disciplines such as psychology, finance, physical sciences, engineering, econometrics, and biological sciences.Dynamical consistency, positivity, and boundedness are fundamental properties of stochastic modeling.A stochastic coronavirus model is studied with techniques of transition probabilities and parametric perturbation.Well-known explicit methods such as Euler Maruyama,stochastic Euler,and stochastic Runge-Kutta are investigated for the stochastic model.Regrettably, the above essential properties are not restored by existing methods.Hence, there is a need to construct essential properties preserving the computational method.The non-standard approach of finite difference is examined to maintain the above basic features of the stochastic model.The comparison of the results of deterministic and stochastic models is also presented.Our proposed efficient computational method well preserves the essential properties of the model.Comparison and convergence analyses of the method are presented.

Keywords: Coronavirus pandemic model; stochastic ordinary differential equations;numerical methods;convergence analysis

1 Introduction

Chen et al.[1]described the novel COVID-19 as a respiratory disease spread through droplets from the coughs, sneezes, or saliva of an infected person.The symptoms of this disease include fever, fatigue,suffocation, dry cough, and dyspnea.A human-made disease, xenophobia, spreads because of the violation of cohabitation law in Africa and other parts of the world.The concept of nationality has broken the unity of humanity and made people forget that this fractious world is a part of nature.Every mortal person is just a passenger.Lin et al.[2]stated that the concept had created inequalities,and racism had led to the false interaction of human beings,and ultimately the violation of natural law and the spread of fatal,sexually-transmitted diseases.Kucharski et al.[3]proposed that the environment does not grant permission for individuals to perform sexual activity with every person present, and neither does it allow them to eat whatever they want.Nature offers them some fruits, vegetables, and seafood; however, some items exist that are prohibited by nature, and likewise for human interactions with other beings.There are living beings that require no contact with humans.This mode of contact may be lethal and lead to the transmission of diseases like HIV, from chimpanzees to humans.HIV before the 1980s was a disease whose transmission was unknown, and whose symptoms were invisible [4].Ebola is an example of human interaction with a non-human primate, a fruit bat that threatens a signifciant loss of life.Shereen et al.[5] clarified that it is assumed that Lassa fever develops from a rat, another example of false human contact.Humans have developed techniques to eliminate the deleterious effects of false interactions, but also fail.The COVID-19 pandemic is a prominent example of this failure.This virus has taken the lives of many individuals around the world.It is often called Wuhan COVID-19 because it originated in this town, which is the capital of Hubei in China.Zhao et al.[6] said that this virus was first transmitted to humans through a non-human source, and then transmitted quickly between humans, proving deadly.Symptoms of this disease may include a dry cough along with fever, and it may affect the respiratory tract by destroying the lungs.Tahir et al.[7] described this virus as a causative agent of a new disease identified as COVID-19, comprised of pneumonia followed by severe respiratory disorders.Much laboratory research has been conducted in China since December 2019 to sequence this virus.The World Health Organization (WHO) first classified it as SARS-CoV-2, before naming it COVID-19.After February, the epidemic became a pandemic causing numerous deaths in countries such as Italy, France,Germany, the UK, the USA, and Iran, which could not withstand its toxic effects.This raised the question of the containment of this virus by quarantining civilians in their homes.Shim et al.[8]discussed the potential transmission of coronavirus in South Korea.Industrial buildings were shut down,and individuals were placed under forced quarantine.It is now a global emergency, with an urgent requirement for new antiviral remedies and related vaccines, based upon a possible functional model of this virus.We present a mathematical analysis of the spread of this disease and develop some predictions with real-world data.Raza et al.[9] used stochastic modeling to study the dynamics of HIV/AIDS.Abodayeh et al.[10] presented an efficient numerical method to model gonorrhea as impacted by alcohol consumption.Deivalakshmi et al.[11] studied the dynamics of stochastic resonance in a multiwavelet transformation.Wang et al.[12] presented a classical numerical method for value problems.We propose essential features preserving the numerical method, which is a stochastic non-standard fniite difference method (SNSFD) for the coronavirus model.The rest of the paper is organized as follows.We define the deterministic coronavirus pandemic model in Section 2.Section 3 explains the model’s construction and equilibria.Numerical methods and convergence are discussed in Section 4.Our conclusions and suggested future work are given in Section 5.

2 Deterministic COVID-19 Pandemic Model

The dynamics of COVID-19 are considered as follows.For any arbitrary time t,we divide the population into five compartments.S( t) denotes healthy people,E(t) comprises healthy people with unverified symptoms),I(t) consists of unhealthy people with verifeid symptoms,Q(t) denotes people in quarantine, andR(t) denotes people who have recovered from the virus.The transmission parameters of the model are as follows.Λ is the rate of new individuals entering the healthy population, μ is the natural death rate, β1is the bilinear incidence rate of the healthy and unhealthy groups of people, β2is the bilinear incidence rate of the healthy and those who are healthy with unverified symptoms,q1is the rate of quarantine of the healthy with unverified symptoms,Kis the rate of recovery of healthy people with unverified symptoms due to natural immunity,α is the death rate of the healthy with unverified symptoms,ris the recovery rate of unhealthy people with verified symptoms,d1is the death rate of unhealthy people due to coronavirus,qis the recovery rate of quarantined people,andd2is the death rate of quarantined people due to COVID-19.The governing equations of the model are as follows:

2.1 Basic Properties

The above state variables exhibit the nonnegative solution for t ≥0 with nonnegative initial conditions.

Lemma 1:For any given nonnegative initial conditions,there exist unique solutionsS,E,I,Q,Rfor all t ≥0.Moreover, it satisfies the following inequality of boundedness:

Proof:The dynamics of Eqs.(1) to (5) are obtained by adding the five equations, resulting in the following change in the total population:

Thus solutions exist for given initial conditions that are eventually bounded on every finite time interval.

Lemma 2:The closed set

Proof:From Eqs.(6)and(7),it follows that as t →∞,the population is bounded by a positive number,N t( )≤

Therefore, the set Γ is positive invariant.

2.2 Steady States of COVID-19 Pandemic Model

There are three steady states of Eqs.(1)to(5),as follows:Trivial equilibrium(TE)=(0,0,0,0,0), corona-free equilibrium (CFE)=and corona-present equilibrium (CPE)whereS1=

Note thatROis the COVID-19 reproduction number [14].

3 Stochastic COVID-19 Pandemic Model

Let us consider the vector C=[S,E, I, Q, R]T, and the possible changes in the COVID-19 pandemic model,as shown in Tab.1.

Table 1:Transition probabilities

The expectation and variance of the stochastic COVID-19 pandemic model are defined as

The general form of SDEs is

with initial conditions C(0 )=Co= [0.5,0.2, 0.1,0.1,0.1]T, 0 ≤t ≤T,and Brownian motion W(t).

3.1 Euler-Murayama Method

Raza et al.[14]presented this idea,which can be applied to Eq.(8)as follows:

wherefCn,(t)=are considered in more detail in Section 3.Also,Δt is the time-step size, and ΔWnis normally distributed between stochastic drift and stochastic diffusion,i.e., ΔWn～N(0, 1).

4 Parametric Perturbation in COVID-19 Pandemic Model

Allen et al.[15] presented the following technique.We choose parameters from Eqs.(1) to (5) and change them to random parameters with small noise, β1dt=β1dt+σ1dW, β2dt=β2dt+σ2dW.So, the stochastic COVID-19 pandemic model of Eqs.(1)to (5)becomes

The Brownian motion is denoted by Wkt(), and σ1and σ2are the perturbations of Eqs.(10) to (14),which are non-integrable because of Brownian motion.We will use numerical methods to find their solution.

4.1 Stochastic Euler Method

This method can be applied to Eqs.(10)to (14),as follows:

where the time step is h, and ΔWn?N 0,1( ).s

4.2 Stochastic Runge-Kutta Method

This method can be applied to Eqs.(10)to (14),as follows:

Stage 1:

Stage 2:

Stage 3:

Stage 4:

Final stage:

where the time step is h, and ΔWn～N(0,1).

4.3 Stochastic Non-standard Finite Difference Method

This method can be applied to Eqs.(10)to (14),as follows:

where the time step is h, and ΔWn～N(0,1).

4.4 Convergence Analysis

For essential properties,we shall satisfy the following theorems for positivity,boundedness,consistency,and stability.

Theorem 1:For any given initial value(Sn(0), En(0), In(0),Qn(0),Rn(0))∈R5+,Eq.(21)to Eq.(25)have a unique positive solution(Sn, En, In, Qn, Rn)∈;R5+on n ≥0, almost surely.

Theorem 2:The regionfor all n ≥0, is a positive invariant feasible region for Eq.(21) to Eq.(25).

Proof:We rewrite Eqs.(21) to (25)as

Theorem 3:For anyn≥0, the discrete dynamical Eqs.(21) to (25) have the same equilibrium as the continuous dynamical Eqs.(10)to (14).

Proof:To solve Eqs.(21)to(25)by assuming the perturbation is zero in the discrete model,we obtain the following three states:

Trivial equilibrium:(T.E)=(Sn,En,In,Qn,Rn)= (0,0,0,0,0)

Corona-free equilibrium (CFE):

Corona-present equilibrium (CPE):

where

almost surely.

Theorem 4:For anyn≥0,the proposed numerical method is stable if the eigenvalues of Eqs.(21) to(25) lie in the unit circle [16,17].

Proof:We consider F,G,H,K,and L from Eqs.(21)to (25),as follows:

The Jacobian matrix is defined as

Now, we want to linearize the model about the steady-state of the model for corona-free equilibriumC1=andRo＜1.

The given Jacobian is The eigenvalues of the Jacobian matrix are

Lemma 3:For the quadratic equation λ2- P1λ + P2= = 0, ｜λi｜＜1, i = 1, 2, if and only if the following conditions are satisfied:

(i).1+P1+P2＞0

(ii).1-P1+P2＞0

(iii).P2＜1.

Proof:

are always satisfied ifRo＜1.

are always satisfied ifRo＜1.

h＞0 is always satisfied.

This guarantees that all eigenvalues of the Jacobian lie in the unit circle.So,Eqs.(21)to(25)are stable around C1.

For the present corona equilibrium,we plot the largest eigenvalue by using fitted values of parameters and MATLAB,as presented in Fig.1.

Figure 1:Spectral radius for corona-present equilibrium

Hence,the largest eigenvalue for corona-present equilibrium is less than one.The remaining eigenvalues will be less than one.

4.5 Numerical Results

The numerical solution is in good agreement with the dynamical behavior of the model using different values of the parameters.Khan et al.[18]assumed the following parameter values:

Λ=0.5, β1=1.05, β2=0.05, α=0.0854302,r=0.09871,q=0.1243,K=0.00398, μ=0.5,q1=0.001,d1=0.0047876,d2=0.000001231, σ1=0.001, σ2=0.2, forRo＜1.ForRo＞1, Λ=0.5,β1=1.05, β2=0.05, α=0.0854302,r=0.09871,q=0.1243,K=0.00398, μ=0.5,q1=0.001,d1=0.0047876,d2=0.000001231, σ1=0.001, σ2=0.2, using different nonnegative initial conditions,S0( )=0.5,E0( )=0.2,I0( )=0.1,Q0( )=0.1,R0( )=0.1.We plot each compartment of the model for corona-free equilibrium in Fig.2.

We plot each compartment of the model for corona-present equilibrium in Fig.3.

5 Results and Discussion

We plot the solution of Eq.(7)for specific time step sizes in Figs.2a and 2b.We observe in Fig.2a that the Euler-Maruyama method converges to corona-free equilibrium.However,in Fig.2b,the method fails to converge to the true equilibrium of the model.This can be observed in Fig.3a and Fig.3b for corona-present equilibrium.The proposed method still converges to the true equilibrium of the model.We plot the solution of Eqs.(13)to(17)for specific time-step sizes in Figs.2c and 2d.We observe in Fig.2c that the stochastic Euler method converges to corona-free equilibrium.But in Fig.2d,the method fails to converge to the true equilibrium of the model.This can be observed in Figs.3c and 3d for corona-present equilibrium.We plot the solution of Eq.(18)for specific time-step sizes in Figs.2e and 2f.We observe that in Fig.2e,the stochastic Runge-Kutta method converges to corona-free equilibrium.But in Fig.2f, the stochastic Runge-Kutta method fails to converge to the true equilibrium of the model.This can be observed in Figs.3e and 3f for corona-present equilibrium.So, current numerical methods are time-dependent and violate the essential properties of the model.Thus the proposed method is reliable for finding the solution of epidemiological models,and it always preserves the essential properties of the model.

Figure 2:Time plots for different parameters as Λ=0.5, β1 =1.05, β2 =0.05,α=0.0854302,r=0.09871,q=0.1243, K =0.00398, μ=0.5, q1 =0.001, d1 =0.0047876,d2 =0.000001231,σ1 =0.001,σ2 =0.2,using initial conditions and R0 =0.1702 ＜1

Figure 3:Time plots for different parameters as Λ=0.5, β1 =1.05, β2 =1.05,α=0.0854302,r=0.09871,q=0.1243, K =0.00398, μ=0.5, q1 =0.001, d1 =0.0047876,d2 =0.000001231,σ1 =0.001,σ2 =0.2,using the initial conditions and R0 =1.0222 ＞1

6 Conclusion and Future Directions

In comparison to the model’s,we have to say stochastic analysis of the most practical and actual model.The explicit numerical methods are conditionally convergent and depend on the time-step size.The stochastic NSFD method is independent of the time-step size.This method is unconditionally convergent as compared to other explicit numerical methods.This method preserves all essential properties of stochastic models, such as consistency, stability, positivity, and boundedness [19].We will extend our research in all fields of stochastic calculus in the future, and we will extend this concept to stochastic spatiotemporal and stochastic artificial intelligence models[20].

Acknowledgement:We always warmly, thanks to anonymous referees.We are also grateful to Vice-Chancellor, Air University, Islamabad, for providing an excellent research environment and facilities.The first and fourth author also thanks Prince Sultan University for funding this work through the COVID-19 Emergency Research Program.

Funding Statement:This research project is funded by the Research and initiative center COVID-19-DES-2020-65,Prince Sultan University.

Conflicts of Interest:The authors declare that they have no conflicts of interest to report regarding the present study.