
Mathematical concepts have been used in the last decades to predict the behavior of the spread of infectious diseases. Among them, the reproductive number concept has been used in several published papers to study the stability of the mathematical model used to predict the spread patterns. Some conditions were suggested to conclude if there would be either stability or instability. An analysis was also meant to determine conditions under which infectious classes will increase or die out. Some authors pointed out limitations of the reproductive number, as they presented its inability to help predict the spread patterns. The concept of strength number and analysis of second derivatives of the mathematical models were suggested as additional tools to help detect waves. This paper aims to apply these additional analyses in a simple model to predict the future.
Citation: Abdon Atangana, Seda İğret Araz. Advanced analysis in epidemiological modeling: detection of waves[J]. AIMS Mathematics, 2022, 7(10): 18010-18030. doi: 10.3934/math.2022992
[1] | Said Gounane, Jamal Bakkas, Mohamed Hanine, Gyu Sang Choi, Imran Ashraf . Generalized logistic model with time-varying parameters to analyze COVID-19 outbreak data. AIMS Mathematics, 2024, 9(7): 18589-18607. doi: 10.3934/math.2024905 |
[2] | I. H. K. Premarathna, H. M. Srivastava, Z. A. M. S. Juman, Ali AlArjani, Md Sharif Uddin, Shib Sankar Sana . Mathematical modeling approach to predict COVID-19 infected people in Sri Lanka. AIMS Mathematics, 2022, 7(3): 4672-4699. doi: 10.3934/math.2022260 |
[3] | Khalid Khan, Amir Ali, Muhammad Irfan, Zareen A. Khan . Solitary wave solutions in time-fractional Korteweg-de Vries equations with power law kernel. AIMS Mathematics, 2023, 8(1): 792-814. doi: 10.3934/math.2023039 |
[4] | Faeza Lafta Hasan, Mohamed A. Abdoon, Rania Saadeh, Ahmad Qazza, Dalal Khalid Almutairi . Exploring analytical results for (2+1) dimensional breaking soliton equation and stochastic fractional Broer-Kaup system. AIMS Mathematics, 2024, 9(5): 11622-11643. doi: 10.3934/math.2024570 |
[5] | Aly R. Seadawy, Bayan Alsaedi . Contraction of variational principle and optical soliton solutions for two models of nonlinear Schrödinger equation with polynomial law nonlinearity. AIMS Mathematics, 2024, 9(3): 6336-6367. doi: 10.3934/math.2024309 |
[6] | Ramsha Shafqat, Ateq Alsaadi . Artificial neural networks for stability analysis and simulation of delayed rabies spread models. AIMS Mathematics, 2024, 9(12): 33495-33531. doi: 10.3934/math.20241599 |
[7] | Ajmal Ali, Tayyaba Akram, Azhar Iqbal, Poom Kumam, Thana Sutthibutpong . A numerical approach for 2D time-fractional diffusion damped wave model. AIMS Mathematics, 2023, 8(4): 8249-8273. doi: 10.3934/math.2023416 |
[8] | Noha M. Kamel, Hamdy M. Ahmed, Wafaa B. Rabie . Solitons unveilings and modulation instability analysis for sixth-order coupled nonlinear Schrödinger equations in fiber bragg gratings. AIMS Mathematics, 2025, 10(3): 6952-6980. doi: 10.3934/math.2025318 |
[9] | Naseem Abbas, Amjad Hussain, Mohsen Bakouri, Thoraya N. Alharthi, Ilyas Khan . A study of dynamical features and novel soliton structures of complex-coupled Maccari's system. AIMS Mathematics, 2025, 10(2): 3025-3040. doi: 10.3934/math.2025141 |
[10] | Feifei Cheng, Ji Li, Qing Yu . The existence of solitary wave solutions for the neuron model with conductance-resistance symmetry. AIMS Mathematics, 2023, 8(2): 3322-3337. doi: 10.3934/math.2023171 |
Mathematical concepts have been used in the last decades to predict the behavior of the spread of infectious diseases. Among them, the reproductive number concept has been used in several published papers to study the stability of the mathematical model used to predict the spread patterns. Some conditions were suggested to conclude if there would be either stability or instability. An analysis was also meant to determine conditions under which infectious classes will increase or die out. Some authors pointed out limitations of the reproductive number, as they presented its inability to help predict the spread patterns. The concept of strength number and analysis of second derivatives of the mathematical models were suggested as additional tools to help detect waves. This paper aims to apply these additional analyses in a simple model to predict the future.
Mathematical models of the spread of disease have been used successfully with limitations to predict future behaviors of the spread. The main aim is to have an asymptotic idea of what the spread will look like early enough that measures can be taken to help control and eradicate the spread of the virus. Several mathematical concepts have been suggested to help better analyze these models. During the modeling process, mathematicians or modelers first translate the observed facts into mathematical equations using either ordinary or partial differential equations [1,2,3,4]. The obtained system of equations, either linear or non-linear, is further analyzed. The first analysis consists of obtaining equilibrium points (disease-free and endemic). This analysis is often followed by an analysis of stability that includes global and asymptotic global stability, conditions under which the infectious classes will decrease, increase, or stay constant. The reproductive number, which can be obtained differently, for instance, using the next generation of the matrix, is obtained to help predict whether the spread will be stable or not. Then, finally, the study of the sign of the first derivative of the Lyapunov function is associated with the system to give a clear idea of the stability. In thousands of papers published on this topic, similar analyses can be found; so far, no significant contribution has been made after the idea of reproductive number was suggested. However, while checking with great care predictions made using this analysis, one will quickly see that this analysis cannot help humans predict waves in a spread. For example, several mathematical models have been suggested to predict the spread of Covid-19, but no analysis helps to indicate the number of waves that humans will face by Covid-19 spread [5,6,7,8,9,10,11,12]. Some researchers showed that the reproductive number was insufficient to provide an apparent behavior of the spread. However, no attention was paid to such analysis; one will agree that suggested mathematical models and research done in the last decades have not helped to predict waves. Very recently, additional sets of analyses were presented: first, an evaluation of the equilibrium point of the second derivative of the model; an evaluation of conditions under which the second derivatives of infections classes are positive, negative or zero, and a calculation of strength number using the next-generation matrix and evaluation of the sign of the second derivative of the Lyapunov function associated with the model. Additionally, it was also suggested that the model should be derived with piecewise derivatives; in this paper, we will apply that analysis to a simple epidemiological model.
This study is organized as follows. In Section 2, we present a deep analysis, including positiveness and boundedness of the solutions of an SEIR(Suscepted-Exposed-Infected-Recovered) model, reproduction and strength number and the first and second derivatives of the Lyapunov function. Moreover, using the second derivative, we aim to determine under what conditions waves are possible. In Section 3, we present a numerical scheme based on Newton polynomials for an SEIR model with a piecewise derivative, where the first part is a classical derivative, and the second part is a stochastic Caputo-Fabrizio derivative, and the numerical simulation is depicted for such model. In Section 4, we present the numerical solution of an SEIR model with piecewise derivative where the first part is a classical derivative, and the second part is a stochastic Atangana-Baleanu derivative, and the numerical simulation is performed for such model. In Section 5, the numerical solution of an SEIR model with piecewise derivative is presented. Here, the model is constructed such that the first part is a classical derivative and the second part is a stochastic Caputo derivative. The numerical simulation is also depicted for such a model.
The SEIR model has been used and analyzed in many research works to predict the spread of some infectious diseases. This model has been used to calculate the so-called reproductive number; also, researchers have calculated its respective equilibrium points, including disease-free and endemic points. However, the model has not been used to check whether the model can predict waves or if the equilibrium points are local maximums or local minimums. In this section, an SEIR model will be subjected to a further analysis that may help determine if such a model is suitable for describing spread with waves.
dS(t)dt=μN−μS−βSINdE(t)dt=βSIN−(τ+μ)EdI(t)dt=τE−(γ+μ)IdR(t)dt=γI−μR | (2.1) |
where N=S+E+I+R. The SEIR model will be subjected to the following initial conditions:
S(0)=S0,E(0)=E0,I(0)=I0,R(0)=R0. | (2.2) |
Here S(t) is the class of the susceptible individuals. E(t) is the class of the exposed individuals. I(t) is the class of the infected individuals. R(t) is the class of the recovered individuals. μN is the death rate, β is the contact rate, τ is the rate of progression from exposed to infectious, and γ is the recovery rate of infectious individuals [13]. Note that
dNdt=μN−μN=0. | (2.3) |
We should point out that this model does not consider the number of deaths, and it is assumed that the total population is constant as a function of time.
We start with a primary analysis, at least to show that the solutions are positive, since they depict real-world problems with positive values. In this subsection, we examine the conditions under which the positivity of the solutions of the considered model is satisfied. Let us start with the class E(t) that verifies
E(t)≥E0e−(τ+μ)t, ∀t≥0. | (2.4) |
For the function I(t), we have the following inequalities:
I(t)≥I0e−(γ+μ)t, ∀t≥0, | (2.5) |
and
R(t)≥R0e−μt, ∀t≥0. | (2.6) |
We shall define the norm
‖λ‖∞=supt∈Dλ|λ(t)| | (2.7) |
where Dλ is the domain of λ. Using the above norm, we get the following inequality for the function S(t),
⋅S(t)=μN−μS−βSIN, ∀t≥0,≥−(μ+β|I||N|)S, ∀t≥0,≥−(μ+βsupt∈DI|I|supt∈DN|N|)S, ∀t≥0,≥−(μ+β‖I‖∞‖N‖∞)S, ∀t≥0. | (2.8) |
This yields
S(t)≥S0e−(μ+β‖I‖∞‖N‖∞)t, ∀t≥0. | (2.9) |
In this subsection, we give a detailed analysis about equilibrium points. The disease-free equilibrium for this model is
(N,0,0,0,0). | (2.10) |
To get the endemic equilibrium points, we need to solve the following system:
{μN−μS−βSIN=0βSIN−(τ+μ)E=0τE−(γ+μ)I=0γI−μR=0. | (2.11) |
Then, the endemic equilibrium points are
S∗=N(μ2+μτ+μγ+γτ)τβE∗=−(μ2+μτ+μγ−τβ+γτ)μNτβ(τ+μ)I∗=−Nμ(μ2+μτ+μγ−τβ+γτ)β(μ2+μτ+μγ+γτ)R∗=−Nγ(μ2+μτ+μγ−τβ+γτ)β(μ2+μτ+μγ+γτ). | (2.12) |
The above endemic equilibrium points are valid if the following inequality holds:
−μ2−μτ−μγ−γτ+τβ>0, | (2.13) |
namely,
1>μ2+μτ+μγ+γττβ. | (2.14) |
To proceed with our preliminary analysis, we shall present here the derivation of the so-called reproductive number. This is an essential value in the field of epidemiological modeling, as it helps to give an understanding of the stability conditions. It was documented that if this number is less than 1, we can expect stability; however, if this number is greater than 1, we could expect instability. Nonetheless, it was reported that the value is obtained in different ways. However, we will utilize the next generation matrix approach to determine the reproductive value in this case.
⋅E=βSIN−(τ+μ)E⋅I=τE−(γ+μ)I. | (2.15) |
Using the next generation matrix approach [14], we calculate the matrices F and V−1 as
F=[00βSN0],V−1=[1τ+μ0τ(τ+μ)(γ+μ)1γ+μ]. | (2.16) |
Then, the reproduction number is obtained as
R0=β(γ+μ). | (2.17) |
The reproductive number has been used in thousands of research papers in epidemiological modeling with some success and significant limitations, but this concept has been employed to determine whether the spread will be severe, some researchers have pointed out some significant weaknesses. For example, they sadly realized that such value is not unique, as it can be obtained via different methods. Another issue raised was that this number should have been a function of time, not a constant value. It was also noticed that a reproductive number could not be used to indicate whether a model will predict waves or not. Very recently, an alternative number was suggested and was called the strength number; of course, this number will be subjected to several tests to see whether it can be used to help detect some complexities in the spread, or at least if this number can help detect waves in a spread [4,13]. The value was derived using the next-generation matrix by taking the second derivative of the infectious classes. This section will present the strength number associated with the SEIR model.
∂2∂I2(βSIN)=βS∂∂I((N−.NI)N2)=−βSN2. | (2.18) |
In this case, we can have the following:
FA=[00−βSN20]. | (2.19) |
Then,
det(FAV−1−λI)=0 | (2.20) |
yields
A0=−SβτN2(τ+μ)(γ+μ)<0. | (2.21) |
Having the strength number be less than zero will lead us to a conclusion that will further be confirmed using a different analysis in finding the local minimum, local maximum, and inflection points. Thus, having a negative strength number is an indication that the SEIR model will have a single magnitude, either a maximum point with two inflection points, indicating a single wave, or an infection that will decrease rapidly from the disease-free equilibrium. With the renewal process, the infection will rise after a minimum point and then be stabilized or stopped later on. This will be confirmed while studying the sign of the second derivative of infectious classes.
For the endemic equilibrium point (S∗,E∗,I∗,R∗), the associated Lyapunov function is analyzed below.
Theorem 1. When the reproductive number R0>1, the endemic equilibrium points E∗ of the SEIR model are globally asymptotically stable.
Proof. For proof, the Lyapunov function can be written as
L(S∗,E∗,I∗,R∗)=(S−S∗−S∗logS∗S)+(E−E∗−E∗logE∗E)+(I−I∗−I∗logI∗I)+(R−R∗−R∗logR∗R). | (2.22) |
Therefore, applying the derivative with respect to t on both sides yields
dLdt=⋅L=(S−S∗S)⋅S+(E−E∗E)⋅E+(I−I∗I)⋅I+(R−R∗R)⋅R. | (2.23) |
Now, we can write their values for derivatives as follows:
dLdt=(S−S∗S)(μN−μS−βSIN)+(E−E∗E)(βSIN−(τ+μ)E)+(I−I∗I)(τE−(γ+μ)I)+(R−R∗R)(γI−μR). | (2.24) |
Putting S=S−S∗, E=E−E∗, I=I−I∗, R=R−R∗ leads to
dLdt=(S−S∗S)(μN−μ(S−S∗)−β(S−S∗)(I−I∗)N)+(E−E∗E)(β(S−S∗)(I−I∗)N−(τ+μ)(E−E∗))+(I−I∗I)(τ(E−E∗)−(γ+μ)(I−I∗))+(R−R∗R)(γ(I−I∗)−μ(R−R∗)). | (2.25) |
We can organize the above as follows:
dLdt=μN−μNS∗S−(S−S∗)2Sμ−(S−S∗)2SβIN+(S−S∗)2SβI∗N−E∗EβNSI+E∗EβNSI∗+E∗EβNS∗I−E∗EβNS∗I∗−(E−E∗)2E(τ+μ)−(I−I∗)2I(γ+μ)+τE−τE∗−I∗IτE+I∗IτE∗+γI−γI∗−R∗RγI+R∗RγI∗−(R−R∗)2Rμ. | (2.26) |
To avoid the complexity, the above can be written as
dLdt=Σ−Ω | (2.27) |
where
Σ=μN+(S−S∗)2SβI∗N+E∗EβNSI∗+E∗EβNS∗I+τE+I∗IτE∗+γI+R∗RγI∗ | (2.28) |
and
Ω=μNS∗S+(S−S∗)2Sμ+(S−S∗)2SβIN+E∗EβNSI+E∗EβNS∗I∗+(E−E∗)2E(τ+μ)+(I−I∗)2I(γ+μ)+τE∗+I∗IτE+γI∗+R∗RγI+(R−R∗)2Rμ. | (2.29) |
It is concluded that if Σ<Ω, this yields dLdt<0; however, when S=S∗,E=E∗,I=I∗,R=R∗
0=Σ−Ω ⇒ dLdt=0. | (2.30) |
We can see that the largest compact invariant space(Γ) for the suggested model in
{(S∗,E∗,I∗,R∗)∈Γ:dLdt=0} | (2.31) |
is the point {E∗} the endemic equilibrium of the considered model. By the help of LaSalle's invariance principle[15], it follows that E∗ is globally asymptotically stable in Γ if Σ<Ω.
While the sign of the first derivative of a Lyapunov function helps to describe the stability, one should note that the analysis of the first derivative of a given function could not fully help one to understand the variabilities of the function under study; for example, one will need the second derivative analysis to find inflection points, local maximums, and minimums. Further research is required on all the particularities of the variations. We thus present an analysis of the second derivative of the associated Lyapunov function of our model.
d⋅Ldt=ddt{(1−S∗S)⋅S+(1−E∗E)⋅E+(1−I∗I)⋅I+(1−R∗R)⋅R}=(⋅SS)2S∗+(⋅EE)2E∗+(⋅II)2I∗+(⋅RR)2R∗+(1−S∗S)⋅⋅S+(1−E∗E)⋅⋅E+(1−I∗I)⋅⋅I+(1−R∗R)⋅⋅R. | (2.32) |
Here, considering ⋅N=0, we have
⋅⋅S=μ⋅N−μ⋅S−β((⋅SI+⋅IS)N)⋅⋅E=β((⋅SI+⋅IS)N)−(τ+μ)⋅E⋅⋅I=τ⋅E−(γ+μ)⋅I⋅⋅R=γ⋅I−μ⋅R. | (2.33) |
Then, we have
d⋅Ldt=(⋅SS)2S∗+(⋅EE)2E∗+(⋅II)2I∗+(⋅RR)2R∗+(1−S∗S)(−μ⋅S−β((⋅SI+⋅IS)N))+(1−E∗E)(β((⋅SI+⋅IS)N)−(τ+μ)⋅E)+(1−I∗I)(τ⋅E−(γ+μ)⋅I)+(1−R∗R)(γ⋅I−μ⋅R) | (2.34) |
and
d2Ldt2=⋅Π(S,E,I,R)−μ(1−S∗S)⋅S−β(1−S∗S)((⋅SI+⋅IS)N)+(1−E∗E)β((⋅SI+⋅IS)N)−(1−E∗E)(τ+μ)⋅E+(1−I∗I)τ⋅E−(γ+μ)(1−I∗I)⋅I+(1−R∗R)γ⋅I−(1−R∗R)μ⋅R. | (2.35) |
After replacing ⋅S(t),⋅E(t),⋅I(t) and ⋅R(t) by their formulas from the considered model and putting it all together, we can get
d2Ldt2=⋅Π(S,E,I,R)−μ(1−S∗S)(μN−μS−βSIN)−β(1−S∗S)(((μN−μS−βSIN)I+(τE−(γ+μ)I)S)N)+(1−E∗E)β(((μN−μS−βSIN)I+(τE−(γ+μ)I)S)N)−(1−E∗E)(τ+μ)(βSIN−(τ+μ)E)+(1−I∗I)τ(βSIN−(τ+μ)E)−(γ+μ)(1−I∗I)(τE−(γ+μ)I)+(1−R∗R)γ(τE−(γ+μ)I)−(1−R∗R)μ(γI−μR). | (2.36) |
For simplicity, we can write
d2Ldt2=Ω1−Ω2 | (2.37) |
where
Ω1=⋅Π(S,E,I,R)+μ2S+μβSIN+μ2S∗SN+βS∗SμI+βS∗SτESN+β2SI2N2+βμSI+(γ+μ)ISN+βμI+βτESN+E∗Eβ2SI2N2+βE∗E(μSI+(γ+μ)IS)N+E∗E(τ+μ)βSIN+(τ+μ)2E+τβSIN+I∗Iτ(τ+μ)E+(γ+μ)2I+(γ+μ)I∗IτE+γτE+R∗Rγ(γ+μ)I+R∗RγIμ+μ2R | (2.38) |
and
Ω2=μ2N+μ2S∗+μS∗βIN+βμI+βτESN+βS∗S(βSI2N2+μSI+(γ+μ)ISN)+(β2SI2N2+βμSI+(γ+μ)ISN)+E∗Eβ(μI+τESN)+(τ+μ)βSIN+E∗E(τ+μ)βSIN+τ(τ+μ)E+I∗IτβSIN+(γ+μ)τE+I∗I(γ+μ)2I+(γ(γ+μ)I)+R∗RγτE+μγI+R∗Rμ2R. | (2.39) |
It can be seen that
If Ω1>Ω2 then d2Ldt2>0,If Ω1<Ω2 then d2Ldt2<0,If Ω1=Ω2 then d2Ldt2=0. | (2.40) |
Since the equilibrium points also help one to get information on curvatures, in this subsection, we aim to find the equilibrium points of the second-order derivative of our solutions. Thus, we write
⋅⋅S=−μ2N+μ2S−βμI+2βμSIN+β2S(IN)2−βτSEN+(γ+μ)βSIN⋅⋅E=βμI−βμSIN−β2S(IN)2+βSNτE−βSN(γ+μ)I−(τ+μ)βSIN+(τ+μ)2E⋅⋅I=τβSIN−τ(τ+μ)E−(γ+μ)τE+(γ+μ)2I⋅⋅R=γτE−γ(γ+μ)I−μγI+μ2R. | (2.41) |
The disease-free equilibrium point of the second order derivative of the model is
E∗∘=(N,0,0,0). | (2.42) |
The endemic equilibrium points of the second order derivative of the model are
S∗∘=N(μ2+μτ+μγ+γτ)τβE∗∘=−(μ2+μτ+μγ−τβ+γτ)μNτβ(τ+μ)I∗∘=−Nμ(μ2+μτ+μγ−τβ+γτ)β(μ2+μτ+μγ+γτ)R∗∘=−Nγ(μ2+μτ+μγ−τβ+γτ)β(μ2+μτ+μγ+γτ). | (2.43) |
For the classes I(t),E(t) to increase, we need
.E(t)=βSIN−(τ+μ)E.I(t)=τE−(γ+μ)I. | (2.44) |
Indeed, for the endemic process, we can consider the following:
{.E(t)>0⇒βSIN>(τ+μ)E.I(t)>0⇒τE>(γ+μ)I, | (2.45) |
and since SN<1,
{βI>(τ+μ)Eτγ+μ>IE. | (2.46) |
Thus,
{IE>(τ+μ)βτγ+μ>IE⇒(τ+μ)β<IE<τγ+μ. | (2.47) |
The E(t) and I(t) classes will increase if the following conditions hold:
(τ+μ)β<IE<τγ+μ. | (2.48) |
We are now checking local maximum, local minimum, or inflection points. We have two equilibrium points, including the disease-free and endemic. To achieve this, we consider the second derivative of the infectious classes
..E(t)=β[.SIN+.ISN−.NSIN2]−(τ+μ).E..I(t)=τ.E−(γ+μ).I. | (2.49) |
At E0, we have that
..E(t)=0..I(t)=0 | (2.50) |
which can be considered as an inflection point of the spread. This means that, at this point, we could see any increase in the number of infectious classes. Also, at E0∗, endemic equilibrium .S(t)=.E(t)=.I(t)=0. Thus, ..E(t)=..I(t)=0 also. The model predicts two inflection points; therefore, it is expected to have a maximum and a minimum point.
We shall evaluate the sign of the ..E and ..I functions.
β[.SIN+.ISN−.NSIN2]−(τ+μ).E>0τ.E−(γ+μ).I>0. | (2.51) |
β[(μN−μS−βSIN)I+(τE−(γ+μ)I)SN]>(τ+μ)βSIN−(τ+μ)EτβSIN−(γ+μ)2I>(γ+2μ+τ)τE. | (2.52) |
βμI−βμSI−β2SI2N2+βSτEN−β(γ+μ)ISN>(τ+μ)βSIN−(τ+μ)2E(βτ+(γ+μ)2)I>(γ+2μ+τ)τE, | (2.53) |
and
βμI+βSτEN+(τ+μ)2E>(τ+μ)βSIN+βμSI+β2SI2N2+β(γ+μ)ISN(βτ+(γ+μ)2)I>(γ+2μ+τ)τE. | (2.54) |
Since SN<1, we can write
{βμI+βτE+(τ+μ)2E>βSN[μI+βI2N+(γ+μ)I+(τ+μ)I](βτ+(γ+μ)2)I>(γ+2μ+τ)τE, | (2.55) |
{βμIE+βτ+(τ+μ)2>βSN[μIE+βI2NE+(γ+μ)IE+(τ+μ)IE]IE>(γ+2μ+τ)τ(βτ+(γ+μ)2), | (2.56) |
{βτ+(τ+μ)2>βSINE[γ+3μ+τ]−βμIEIE>(γ+2μ+τ)τ(βτ+(γ+μ)2), | (2.57) |
{βτ+(τ+μ)2>IE[βSN(γ+3μ+τ)−βμ]IE>(γ+2μ+τ)τ(βτ+(γ+μ)2). | (2.58) |
{βτ+(τ+μ)2βSN(γ+3μ+τ)−βμ>IEIE>(γ+2μ+τ)τ(βτ+(γ+μ)2) | (2.59) |
with SN>μ(γ+3μ+τ). Thus we have the following condition
(γ+2μ+τ)τ(βτ+(γ+μ)2)<IE<βτ+(τ+μ)2βSN(γ+3μ+τ)−βμ. | (2.60) |
On the other hand, we write the following:
..E(t)<0..I(t)<0. | (2.61) |
βμI+(τ+μ)2E<(τ+μ)βI+βμI+β2I2+β(γ+μ)I(γ+μ)2I<(γ+2μ+τ)τE, | (2.62) |
and
{(τ+μ)2(β2N+β(γ+μ))<IEIE<(γ+2μ+τ)τ(γ+μ)2. | (2.63) |
Therefore,
{..E(t)<0..I(t)<0⇒(τ+μ)2(β2N+β(γ+μ))<IE<(γ+2μ+τ)τ(γ+μ)2. | (2.64) |
This section presents a numerical scheme based on the Newton polynomial for the numerical solution of the considered model with piecewise differential and integral operators [16]. While the Caputo Fabrizio differential operator helps to capture processes exhibiting fading memory behaviors, the stochastic, on the other hand, helps capture processes with randomness. There are processes in nature that exhibit both fading memory and randomness. It is worth noting that such methods cannot be accurately modelled either with Caputo-Fabrizio differential operator or with the random, and thus a combination of both is needed. Indeed this comparison is not at all a new calculus or theory but a mathematical tool to replicate this scenario. This behavior has been observed in data collected for different infectious diseases; therefore, in this section, we provide a mathematical tool to capture such behaviors. We start with the piecewise SEIR model with the classical and stochastic Caputo-Fabrizio case, which is given by
{X′=F(t,X), if 0≤t≤T1Xi(0)=xi,0,CFT1DαtX=F(t,X)dt+σiXiBi′(t),if T1≤t≤T2Xi(T1)=xi,0,0<α≤1 | (3.1) |
where σi and Bi(t) indicate the stochastic constant and Brownian function, respectively. Also, some notation is presented as below.
X=[SEIR],F(t,X)=[f1(t,X)f2(t,X)f3(t,X)f4(t,X)]=[μN−μS−βSINβSIN−(τ+μ)EτE−(γ+μ)IγI−μR]. | (3.2) |
Applying the associated integral, we can have
{X=Xi(0)+∫t0F(τ,X)dτ, if 0≤t≤T1Xi(0)=xi,0,X={Xi(T1)+1−αM(a)F(t,X)+αM(a)∫t0F(τ,X)dτ+1−αM(a)σiXiBi′(t)+αM(a)∫t0σiXiBi′(τ)dτif T1≤t≤T2Xi(T1)=xi,0,i=1,..,4,0<α≤1. | (3.3) |
We divide [0,T] in two:
0≤t0≤t1≤...≤tn1=T1≤tn1+1≤tn1+2≤...≤tn2=T2. | (3.4) |
Interpolating fi(t,Xi) using the Newton polynomial within [tn,tn+1] yields
{Xn1i=Xi(0)+∑n1j1=2[2312F(tj1,Xj1)−43F(tj1−1,Xj1−1)+512F(tj1−2,Xj1−2)]Δt,0≤t≤T1Xn2i=Xi(T1)+(1−α)M(α)F(tn2,Xn2)+αΔtM(α)∑n2j2=n1+3[2312f(tj1,Xj1)+σiXj1(Bi(tj1+1)−Bi(tj1))−43f(tj1−1,Xj1−1)+σiXj1(Bi(tj1)−Bi(tj1−1))+512f(tj1−2,Xj1−2)+σiXj1(Bi(tj1−1)−Bi(tj1−2))],T1≤t≤T2. | (3.5) |
The parameters and initial conditions are given as
X1(0)=1000,X2(0)=1,X3(0)=0,X4(0)=0,X1(T1)=999.2,X2(T2)=0.4924,X1(T3)=0.1847,X1(T4)=0.1109, | (3.6) |
and
N=1000,T1=50,β=64/30,μ=0.5,τ=0.3,γ=0.3,σ1=0.2,σ2=0.12,σ3=0.2,σ4=0.24. | (3.7) |
The simulation of the numerical solution of the model is depicted in Figure 1.
In this example, some parameters of the model are chosen such that τβ(γ+μ)(τ+μ)=1, which can be observed from Eq (2.48).
In this section, we adopt the numerical scheme for the model where the first part is classical, and the second part is the fractional derivative with the generalized Mittag-Leffler kernel [17]. It is important to note that a model with the generalized Mittag-Leffler kernel helps capture processes, with a passage from stretched exponential to power-law with no steady-state.
{X′=F(t,X), if 0≤t≤T1Xi(0)=xi,0,ABCT1DαtX=F(t,X)dt+σiXiBi′(t),if T1≤t≤T2Xi(T1)=xi,0,0<α≤1. | (4.1) |
Applying the Atangana-Baleanu integral, we obtain the following equality:
{X=Xi(0)+∫t0F(τ,X)dτ, if 0≤t≤T1Xi(0)=xi,0,X={Xi(T1)+1−αAB(a)F(t,X)+αAB(a)Γ(a)∫t0F(τ,X)(t−τ)α−1dτ+1−αAB(a)σiXiBi′(t)+αAB(a)Γ(a)∫t0σiXiBi′(τ)(t−τ)α−1dτ,if T1≤t≤T2Xi(T1)=xi,0,0<α≤1. | (4.2) |
We divide [0,T] in three:
0≤t0≤t1≤...≤tn1=T1≤tn1+1≤tn1+2≤...≤tn2=T2. | (4.3) |
Replacing the functions fi(t,Xi) by their Newton polynomials within [tn,tn+1], the following numerical scheme is obtained:
{Xn1i=Xi(0)+∑n1j1=2[2312F(tj1,Xj1)−43F(tj1−1,Xj1−1)+512F(tj1−2,Xj1−2)]Δt,if 0≤t≤T1xn2=x(T1)+(1−α)ΔtAB(α)f(tn2,Xn2)+αΔtAB(α)Γ(α+1)∑n2j2=n1+3F(tj2−2,Xj2−2)Λ1+αΔtAB(α)Γ(α+2)∑n2j2=n1+3[F(tj2−1,Xj2−1)−F(tj2−2,Xj2−2)]Λ2+αΔt2AB(α)Γ(α+3)∑n2j2=n1+3[F(tj2,Xj2)−2F(tj2−1,Xj2−1)+F(tj2−2,Xj2−2)]Λ3 | (4.4) |
{+αΔtAB(α)Γ(α+1)∑n2j2=n1+3σiXj1(Bi(tj1−1)−Bi(tj1−2))Λ1+αΔtAB(α)Γ(α+2)∑n2j2=n1+3[σiXj2−1(Bi(tj1)−Bi(tj1−1))−σiXj2−2(Bi(tj1−1)−Bi(tj1−2))]Λ2+αΔt2AB(α)Γ(α+3)∑n2j2=n1+3[σiXj2(Bi(tj1+1)−Bi(tj1))−2σiXj2−1(Bi(tj1)−Bi(tj1−1))+σiXj2−2(Bi(tj1−1)−Bi(tj1−2))]Λ3, if T1≤t≤T2 | (4.5) |
where
Λ1=(n2−j2+1)α−(n2−j2)αΛ2={(n2−j2+1)α(n2−j2+3+2α)−(n2−j2)α(n2−j2+3+3α)},Λ3={(n2−j2+1)α[2(n2−j2)2+(3α+10)(n2−j2)+2α2+9α+12]−(n2−j2)α[2(n2−j2)2+(5α+10)(n2−j2)+6α2+18α+12]}. | (4.6) |
For this model, the parameters and initial conditions are considered as follows:
X1(0)=1000,X2(0)=1,X3(0)=0,X4(0)=0,X1(T1)=1000,X2(T1)=4.642×10−5,X1(T1)=2.315×10−5,X1(T1)=0.0069 | (4.7) |
and
N=1000,T1=50,β=0.001,μ=0.1,τ=0.1,γ=0.3,σ1=0.0000025,σ2=0.011,σ3=0.0091,σ4=0.017. | (4.8) |
The simulation of the numerical solution of the model is shown in Figure 2.
In this example, the parameters of the model are chosen such that τβ(γ+μ)(τ+μ)<1, which is seen from Eq (2.48).
In this section, we consider the following model:
{X′=F(t,X), if 0≤t≤T1Xi(0)=xi,0,CT1DαtX=F(t,X)dt+σiXiBi′(t),if T1≤t≤T2Xi(T1)=xi,0,0<α≤1 | (5.1) |
where the first part is classical, and second part is the fractional derivative with the generalized Mittag-Leffler kernel. Applying the associated integral, we obtain the following equality:
{X=Xi(0)+∫t0F(τ,X)dτ, if 0≤t≤T1Xi(0)=xi,0,X={Xi(T1)+1Γ(a)∫t0F(τ,X)(t−τ)α−1dτ+1Γ(a)∫t0σiXiBi′(τ)(t−τ)α−1dτ,if T1≤t≤T2Xi(T1)=xi,0,0<α≤1. | (5.2) |
We divide [0,T] in three:
0≤t0≤t1≤...≤tn1=T1≤tn1+1≤tn1+2≤...≤tn2=T2. | (5.3) |
Replacing the functions fi(t,Xi) by their Newton polynomials within [tn,tn+1], the associated model can be solved by the following algorithm:
{Xn1i=Xi(0)+∑n1j1=2[2312F(tj1,Xj1)−43F(tj1−1,Xj1−1)+512F(tj1−2,Xj1−2)]Δt,if 0≤t≤T1Xn2i=Xi(T1)+ΔtΓ(α+1)∑n2j2=n1+3F(tj2−2,Xj2−2)Λ1+ΔtΓ(α+2)∑n2j2=n1+3[F(tj2−1,Xj2−1)−F(tj2−2,Xj2−2)]Λ2+Δt2Γ(α+3)∑n2j2=n1+3[F(tj2,Xj2)−2F(tj2−1,Xj2−1)+F(tj2−2,Xj2−2)]Λ3 | (5.4) |
{+ΔtΓ(α+1)∑n2j2=n1+3σiXj2(Bi(tj1−1)−Bi(tj1−2))Λ1+ΔtΓ(α+2)∑n2j2=n1+3[σiXj2−1(Bi(tj1)−Bi(tj1−1))−σiXj2−2(Bi(tj1−1)−Bi(tj1−2))]Λ2+Δt2Γ(α+3)∑n2j2=n1+3[σiXj2(Bi(tj1+1)−Bi(tj1))−2σiXj2−1(Bi(tj1)−Bi(tj1−1))+σiXj2−2(Bi(tj1−1)−Bi(tj1−2))]Λ3, if T1≤t≤T2. | (5.5) |
The parameters and initial conditions are given as
X1(0)=1000,X2(0)=1,X3(0)=X4(0)=0,X1(T1)=28.03,X2(T1)=78.01,X3(T1)=593.1,X4(T1)=301.4, | (5.6) |
and
N=1000,T1=50,β=0.6,μ=0.01,τ=0.2,γ=0.03,σ1=0.000005,σ2=0.008,σ3=0.0071,σ4=0.017. | (5.7) |
The simulation of the numerical solution of the model is presented in Figure 3.
In this example, the parameters of the model are chosen such that τβ(γ+μ)(τ+μ)>1, which is seen from Eq (2.48).
In classical calculus, analysis of the first derivative of a given function helps one to understand the change in such a function. In addition, this formula calculates the velocity of a moving object. However, analysis using the first derivative does not always a priori provide a clear indication of the variation of a function. Therefore, an analysis of the second derivative is required. The study of the second derivative includes information on inflection points, local maximums, and minimums. These elementary analyses can better show spread patterns in epidemiological modeling. A new concept was recently introduced and named strength number, which is obtained by considering the second derivative of the non-linear part of a given infectious disease model. Then, the next-generation matrix methodology is used to obtain the strength number. It was argued that such numbers could help detect waves or instability in a model. This work applies such a concept, together with a second derivative analysis, in a simple SEIR problem. The obtained strength number was negative, with one equilibrium point for the model with second derivatives, indicating that such a model could have only one wave and then die out. We have used piecewise differential operators to add stochastic behavior to the model.
The authors declare no conflict of interest.
[1] |
A. Atangana, D. Baleanu, New fractional derivatives with non-local and non-singular kernel: Theory and application to heat transfer model, Therm. Sci., 20 (2016), 763–769. https://doi.org/10.2298/TSCI160111018A doi: 10.2298/TSCI160111018A
![]() |
[2] |
M. Caputo, M. Fabrizio, A new definition of fractional derivative without singular kernel, Progress in Fractional Differentiation and Applications, 1 (2015), 73–85. https://doi.org/10.12785/pfda/010201 doi: 10.12785/pfda/010201
![]() |
[3] |
M. Caputo, Linear model of dissipation whose Q is almost frequency independent-Ⅱ, Geophys. J. Int., 13 (1967), 529–539. https://doi.org/10.1111/j.1365-246X.1967.tb02303.x doi: 10.1111/j.1365-246X.1967.tb02303.x
![]() |
[4] |
A. Atangana, Mathematical model of survival of fractional calculus, critics and their impact: How singular is our world?, Adv. Differ. Equ., 2021 (2021), 403. https://doi.org/10.1186/s13662-021-03494-7 doi: 10.1186/s13662-021-03494-7
![]() |
[5] |
C. Ji, D. Jiang, N. Shi, The behavior of an SIR epidemic model with stochastic perturbation, Stoch. Anal. Appl., 30 (2012), 755–773. https://doi.org/10.1080/07362994.2012.684319 doi: 10.1080/07362994.2012.684319
![]() |
[6] |
Y. Zhao, D. Jiang, The threshold of a stochastic SIRS epidemic model with saturated incidence, Appl. Math. Lett., 34 (2014), 90–93. https://doi.org/10.1016/j.aml.2013.11.002 doi: 10.1016/j.aml.2013.11.002
![]() |
[7] |
M. Bachar, M. A. Khamsi, M. Bounkhel, A mathematical model for the spread of Covid-19 and control mechanisms in Saudi Arabia, Adv. Differ. Equ., 2021 (2021), 253. https://doi.org/10.1186/s13662-021-03410-z doi: 10.1186/s13662-021-03410-z
![]() |
[8] |
Z. B. Dieudonné, Mathematical model for the mitigation of the economic effects of the Covid-19 in the Democratic Republic of the Congo, PLoS ONE, 16 (2021), e0250775. https://doi.org/10.1371/journal.pone.0250775 doi: 10.1371/journal.pone.0250775
![]() |
[9] |
M. Tomochi, M. Kono, A mathematical model for COVID-19 pandemic-SIIR model: Effects of asymptomatic individuals, J. Gen. Fam. Med., 22 (2020), 5–14. https://doi.org/10.1002/jgf2.382 doi: 10.1002/jgf2.382
![]() |
[10] |
P. Sahoo, H. S. Mondal, Z. Hammouch, T. Abdeljawad, D. Mishra, M. Reza, On the necessity of proper quarantine without lock down for 2019-nCoV in the absence of vaccine, Results Phys., 25 (2021), 104063. https://doi.org/10.1016/j.rinp.2021.104063 doi: 10.1016/j.rinp.2021.104063
![]() |
[11] |
A. Babaei, H. Jafari, S. Banihashemi, M. Ahmadi, Mathematical analysis of a stochastic model for spread of Coronavirus, Chaos Soliton. Fract., 145 (2021), 110788. https://doi.org/10.1016/j.chaos.2021.110788 doi: 10.1016/j.chaos.2021.110788
![]() |
[12] |
I. Ahmed, E. F. D. Goufo, A. Yusuf, P. Kumam, P. Chaipanya, K. Nonlaopon, An epidemic prediction from analysis of a combined HIV-COVID-19 co-infection model via ABC-fractional operator, Alex. Eng. J., 60 (2021), 2979–2995. https://doi.org/10.1016/j.aej.2021.01.041 doi: 10.1016/j.aej.2021.01.041
![]() |
[13] |
J. M. Carcione, J. E. Santos, C. Bagaini, J. Ba, A simulation of a COVID-19 epidemic based on a deterministic SEIR model, Front. Public Health, 8 (2020), 230. https://doi.org/10.3389/fpubh.2020.00230 doi: 10.3389/fpubh.2020.00230
![]() |
[14] |
P. van den Driessche, J. Watmough, Reproduction numbers and sub-threshold endemic equilibria for compartmental models of disease transmission, Math. Biosci., 180 (2002), 29–48. https://doi.org/10.1016/S0025-5564(02)00108-6 doi: 10.1016/S0025-5564(02)00108-6
![]() |
[15] | J. P. La Salle, The stability of dynamical systems, SIAM Press, 1976. https://doi.org/10.1137/1.9781611970432 |
[16] | A. Atangana, S. İğret Araz, New numerical scheme with Newton polynomial: theory, methods and applications, Academic Press, 2021. https://doi.org/10.1016/B978-0-12-775850-3.50017-0 |
[17] |
A. Atangana, S. İğret Araz, New concept in calculus: Piecewise differential and integral operators, Chaos Soliton. Fract., 145 (2021), 110638. https://doi.org/10.1016/j.chaos.2020.110638 doi: 10.1016/j.chaos.2020.110638
![]() |
1. | Victoria May P. Mendoza, Renier Mendoza, Youngsuk Ko, Jongmin Lee, Eunok Jung, Managing bed capacity and timing of interventions: a COVID-19 model considering behavior and underreporting, 2022, 8, 2473-6988, 2201, 10.3934/math.2023114 | |
2. | Mehmet Akif Cetin, Seda Igret Araz, Prediction of COVID-19 spread with models in different patterns: A case study of Russia, 2024, 22, 2391-5471, 10.1515/phys-2024-0009 | |
3. | Muhammad Umer Saleem, Muhammad Farman, Rabia Sarwar, Parvaiz Ahmad Naik, Perwasha Abbass, Evren Hincal, Zhengxin Huang, Modeling and analysis of a carbon capturing system in forest plantations engineering with Mittag–Leffler positive invariant and global Mittag–Leffler properties, 2025, 11, 2363-6203, 10.1007/s40808-024-02181-2 | |
4. | Muhammad Farman, Rabia Sarwar, Evren Hincal, Dumitru Baleanu, Kottakkaran Sooppy Nisar, Aceng Sambas, Muhammad Manan Akram, Dynamical Evaluation of the Mittag-Leffler Properties-Based Marine Ecosystem Model, 2025, 2509-9426, 10.1007/s41748-025-00617-y |