Loading [MathJax]/jax/output/SVG/jax.js
Research article

Biomechanical responses of the cornea after small incision lenticule extraction (SMILE) refractive surgery based on a finite element model of the human eye


  • Purpose 

    To investigate the biomechanical responses of the human cornea after small incision lenticule extraction (SMILE) procedures, especially their effects of SMILE surgery on stress and strain.

    Methods 

    Based on finite element analysis, a three-dimensional (3D) model of the human eye was established to simulate SMILE refractive surgery procedures. Stress and strain values were calculated by inputting the intraocular pressure (IOP).

    Results 

    After SMILE refractive surgery procedures, the stress and strain of the anterior and posterior corneal surfaces were significantly increased. The equivalent stress and strain on the anterior and posterior corneal surfaces increased with increasing diopter and were concentrated in the central area, whereas the values of stress and strain at the incision site on the anterior surface of the cornea were approximately 0. Compared with the anterior corneal surface, the stress and strain of the posterior surface were larger. Increasing IOP caused an approximately linear change in stress and a nonlinear increase in corneal strain. In addition, we found that the incision sizes and direction had less of an influence on stress and strain. In summary, SMILE surgery increased the equivalent stress and strain on the human cornea.

    Conclusions 

    The equivalent stress and strain of the anterior and posterior human corneal surfaces increased after SMILE refractive surgery; these increases were particularly noticeable on the posterior surface of the cornea.

    Citation: Yinyu Song, Lihua Fang, Qinyue Zhu, Ruirui Du, Binhui Guo, Jiahui Gong, Jixia Huang. Biomechanical responses of the cornea after small incision lenticule extraction (SMILE) refractive surgery based on a finite element model of the human eye[J]. Mathematical Biosciences and Engineering, 2021, 18(4): 4212-4225. doi: 10.3934/mbe.2021211

    Related Papers:

    [1] Mustafa Gürbüz, Yakup Taşdan, Erhan Set . Ostrowski type inequalities via the Katugampola fractional integrals. AIMS Mathematics, 2020, 5(1): 42-53. doi: 10.3934/math.2020004
    [2] Shuang-Shuang Zhou, Saima Rashid, Muhammad Aslam Noor, Khalida Inayat Noor, Farhat Safdar, Yu-Ming Chu . New Hermite-Hadamard type inequalities for exponentially convex functions and applications. AIMS Mathematics, 2020, 5(6): 6874-6901. doi: 10.3934/math.2020441
    [3] Hong Yang, Shahid Qaisar, Arslan Munir, Muhammad Naeem . New inequalities via Caputo-Fabrizio integral operator with applications. AIMS Mathematics, 2023, 8(8): 19391-19412. doi: 10.3934/math.2023989
    [4] Dazhao Chen . Weighted boundedness for Toeplitz type operator related to singular integral transform with variable Calderón-Zygmund kernel. AIMS Mathematics, 2021, 6(1): 688-697. doi: 10.3934/math.2021041
    [5] Haoliang Fu, Muhammad Shoaib Saleem, Waqas Nazeer, Mamoona Ghafoor, Peigen Li . On Hermite-Hadamard type inequalities for n-polynomial convex stochastic processes. AIMS Mathematics, 2021, 6(6): 6322-6339. doi: 10.3934/math.2021371
    [6] Tekin Toplu, Mahir Kadakal, İmdat İşcan . On n-Polynomial convexity and some related inequalities. AIMS Mathematics, 2020, 5(2): 1304-1318. doi: 10.3934/math.2020089
    [7] Muhammad Imran Asjad, Waqas Ali Faridi, Mohammed M. Al-Shomrani, Abdullahi Yusuf . The generalization of Hermite-Hadamard type Inequality with exp-convexity involving non-singular fractional operator. AIMS Mathematics, 2022, 7(4): 7040-7055. doi: 10.3934/math.2022392
    [8] Gültekin Tınaztepe, Sevda Sezer, Zeynep Eken, Sinem Sezer Evcan . The Ostrowski inequality for s-convex functions in the third sense. AIMS Mathematics, 2022, 7(4): 5605-5615. doi: 10.3934/math.2022310
    [9] Suriyakamol Thongjob, Kamsing Nonlaopon, Sortiris K. Ntouyas . Some (p, q)-Hardy type inequalities for (p, q)-integrable functions. AIMS Mathematics, 2021, 6(1): 77-89. doi: 10.3934/math.2021006
    [10] Chunyan Luo, Yuping Yu, Tingsong Du . Estimates of bounds on the weighted Simpson type inequality and their applications. AIMS Mathematics, 2020, 5(5): 4644-4661. doi: 10.3934/math.2020298
  • Purpose 

    To investigate the biomechanical responses of the human cornea after small incision lenticule extraction (SMILE) procedures, especially their effects of SMILE surgery on stress and strain.

    Methods 

    Based on finite element analysis, a three-dimensional (3D) model of the human eye was established to simulate SMILE refractive surgery procedures. Stress and strain values were calculated by inputting the intraocular pressure (IOP).

    Results 

    After SMILE refractive surgery procedures, the stress and strain of the anterior and posterior corneal surfaces were significantly increased. The equivalent stress and strain on the anterior and posterior corneal surfaces increased with increasing diopter and were concentrated in the central area, whereas the values of stress and strain at the incision site on the anterior surface of the cornea were approximately 0. Compared with the anterior corneal surface, the stress and strain of the posterior surface were larger. Increasing IOP caused an approximately linear change in stress and a nonlinear increase in corneal strain. In addition, we found that the incision sizes and direction had less of an influence on stress and strain. In summary, SMILE surgery increased the equivalent stress and strain on the human cornea.

    Conclusions 

    The equivalent stress and strain of the anterior and posterior human corneal surfaces increased after SMILE refractive surgery; these increases were particularly noticeable on the posterior surface of the cornea.



    The term "infectious diseases" refers to illnesses caused by living organisms, usually parasites and microorganisms, that spread from one host to another either directly or indirectly. Infectious diseases have been a significant concern in our society. These illnesses can sometimes pose severe threats and lead to epidemics. Medical research has rapidly advanced in identifying and controlling three primary characteristics: Infectivity, epidemic potential, and uncertainty, which have helped reduce the burden of such diseases. Infectious diseases are modelled mathematically as a dynamic transmission cycle involving interactions between susceptible and diseased hosts. These interactions are usually expressed as a coupled ordinary differential equation. The SIR model takes into account several variables while examining infectious disease systems. Several models that examine significant aspects in the research of infectious diseases include SIS, SIRV, SEIR, SVEIRS, SIQR, SEIRV, SEIQS, and others [1,2,3,4,5,6,7]. Understanding disease dynamics is complex due to factors like environmental fluctuations, making it challenging to collect precise data. For example, temperature variations can significantly impact the reproduction rate of disease-spreading bacteria, influencing the disease's dynamics. As a result, it's essential to consider how uncertainty in biological parameters affects disease behavior. If incorrect parameter values are used, model outputs may be biased, so sensitivity analysis is necessary for understanding how model outputs change in response to parameter variations. When studying the transmission of infectious diseases, sensitivity analysis is often used to develop strategies for slowing infection spread by targeting key model parameters, such as the primary reproduction number R0. The literature provides information on dynamic parameter sensitivities in infectious spread for traditional SIR and SEIR models to maximize the usefulness of observed data, with the primary source of uncertainty being the random variability of the included parameters.

    Interactions between species can impact the quality of life for all involved. These interactions are crucial for an organism's survival since its primary objective is to stay alive. Without these relationships, life as we know it would be impossible. It's remarkable how fascinating organism interactions can be and can be studied using mathematical models, an exciting field within ecology research [5,7]. Different factors, such as environmental conditions, impact the growth and balance of living populations, and modeling can be an invaluable tool for understanding their dynamics. Organisms, typically proto-microorganisms and parasites can cause infectious illnesses through direct or indirect transmission from one host to another. Due to their reason to periodically spread like epidemics and cause serious problems, infectious diseases have recently become a significant worry in our culture. The three major components that lessen the severity of these disorders are infectivity, epidemic potential, and uncertainty. The medical community has made great strides in recognising and managing these components. The dynamic transmission cycle is a mathematical model of an infectious illness that involves interactions between susceptible and infected hosts. Typically, these interactions are expressed as a linked set of ordinary differential equations.

    Fractional calculus is a mathematical analysis that extends beyond differentiation and integration conventions. Fractional calculus concerns derivatives and integrals of non-integer orders, such as fractions or decimals, while classical calculus concentrates on the powers of integers. The Caputo operator is a valuable tool for problem-solving and is commonly used to handle real-world challenges. The main difference between the Riemann-Liouville operator and other fractional operators is the singularity quality of the kernels. They are applied in roughly related ways to observe different model dynamics. It follows that using these operations would inevitably result in better outcomes. Researchers attempting to understand better a model's dynamics advise using fractional operators with non-singular kernels. Establishing the C-F derivative has addressed certain standard limits on fractional derivatives [8]. The C-F derivative outperforms the most commonly used techniques for assessing human knowledge [9]. The operator's performance and its benefits were validated using various approaches. Studies on numerous scientific, engineering, and mathematical models have proved their usefulness. However, experts from real-world cases are a more meaningful example [10,11]. Atangana and Baleanu introduced a derivative operator with a non-singular kernel. It utilizes the Mittag-Leffer function and is in a convenient area for modellers of real-world situations because of its non-local and non-singular kernel. Over the past few decades, the Atangana-Baleanu variant has obtained strong research value and applicability in diverse fields, particularly in biological models [12]. This fractional derivative introduced non-local and complex dynamic behavior and numerous natural results. In addition, since biological models are expected to have a memory effect and hereditary features, which can be defined more precisely using fractional calculus, the solution of the fractional order system is expected to obtain how to control epidemic diseases [13]. The authors of this study investigated the sensitivity of the model solution in delay differential systems using variational and direct methods [14]. Corruption and terrorism have become significant issues in many nations worldwide. However, more needs to be written about the relationship between the two. To address this, the author has developed a novel fractional-order mathematical model to explore the coexistence of terrorism and corruption [15]. This article examines the authors' mathematical model of COVID-19, which incorporates a fractional-order system and considers the effectiveness of vaccination [16].

    Fractional-order models have become increasingly popular in control engineering, physics, neural networks, and medicine. They can predict the condition of a system at any future moment by considering its current state and all of its past states. Due to its practicality, researchers are interested in fractional-order calculus. The concept of fractional-order differentiation and integration was first introduced by two prominent figures in mathematics history, Riemann and Liouville. The R-L and Caputo fractional derivatives are examples of fractional differential operators that use a power law kernel. These operators have precise definitions and have been widely researched and applied across various disciplines [17]. However, their limited applicability and inability to represent other natural and artificial systems have hindered their development. To overcome these limitations, novel C-F fractional-order derivatives have been developed based on the exponential kernel, successfully describing various real-world events [18]. Several mathematical models with C-F fractional order have been discussed in the literature.

    Numerous numerical techniques have been developed to solve biological models and fractional-order differential equations [19]. The Newton interpolation formula, the Toufik-Atangana approach, the Adam-Bashforth method, the predictor-corrector method, and the Runge-Kutta technique are a few of the numerous numerical algorithms that have been the subject of extensive literature [17,18,19,20,21,22,23]. To solve non-linear systems numerically, the Toufik-Atangana approach is widely used [24,25]. Recently, a novel numerical system called the Toufik-Atangana numerical system has emerged as a potential solution to the problems with the Adams-Bashforth approach [26,27]. Combining the fundamental theorem of fractional calculus with the two-step Lagrange polynomial, this new methodology develops a novel and very efficient numerical method [26]. Using this approach, problems can be resolved quickly and accurately. A biological model has been subjected to many fractional operators using the Toufik-Atangana numerical framework to get the required findings. Stability analysis is an essential method in numerical analysis that yields effective results. When expressed mathematically, stability is necessary for spectrum analysis of real-world problems [28]. Hyers expounded on Ulam's 1940 introduction of the U-H stability hypothesis in 1941. As previously stated, the optimal approximation or exact solution to the issue is the basis for computing the stability. Furthermore, it is simple to implement and evaluate the recommended stability ideas [28,29].

    The following subjects in this work: The definitions and basic ideas of fractional calculus are covered in Section 2. We examine a non-integer C-F model for infectious diseases in Section 3. The positivity and sensitivity analysis of the model under discussion is covered in detail in Section 4. In Section 5, we focuses on the proposed model solution's existence, uniqueness, and stability in the U-H. In Section 6, we present the numerical method for the C-F operator Adams-Bashforth scheme. Section 7 features numerical findings and a graphic analysis. Finally, in Section 8, we discuss the findings of the investigation.

    The essential definitions and theorems relevant to the C-F have been provided in this section.

    Definition 2.1. [18,30] Suppose that ϑ H1(q1,q2), q1<q2, and ς(0,1), so the C-F fractional differential operator. Then, we have

    CFq1Dςk[ϑ(k)]=B(ς)1ςkq1ϑ(z)exp[ςkz1ς]dz, (2.1)

    where B(ς) is the normalization function with B(0)=B(1)=1.

    However, if ϑ H1(q1,q2), then we have

    CFq1Dςk[ϑ(k)]=B(ς)1ςkq1(ϑ(k)ϑ(z))exp[ςkz1ς]dz. (2.2)

    Definition 2.2. [18,31] Suppose that ϑ H1(q1,q2), q1<q2, and ς(0,1), so the C-F fractional differential operator. Then, we have

    CFq1Dςk[ϑ(k)]=(2ς)B(ς)2(1ς)kq1ϑ(z)exp[ςkz1ς]dz. (2.3)

    Definition 2.3. [18,32] Suppose that ς is the order of integral in the C-F integral operator. Then, we have

    CFIςk[ϑ(k)]=2(1ς)(2ς)B(ς)ϑ(k)+2ς(2ς)B(ς)kq1ϑ(z)dz. (2.4)

    This section presents the generalized form of the infectious spread transmission dynamics with specific parameter values for a given population. In this paper, we build upon the fundamental SEIR contagious disease model by expanding it to the SEQIRDV model [33], which considers different disease stages and traits. There are seven subpopulations within the overall population N: susceptible (S), infected (I), exposed (E), recovered (R), quarantined (Q), dead (D), and vaccinated (V). Realistically, the natural death rate caused for each subpopulation is represented by a value μ. A second parameter, Π, indicates the recruitment of susceptible individuals in any infected population at any time k. At the disease transmission rate β, susceptible people can be exposed and become members of the diseased class. We assume that specific individuals receive vaccinations for a particular infectious disease at a rate of ν. The rate at which people contract the disease is β, and they move on to the affected group after a latent period of γ. Based on the vaccination's efficiency measure σ, the interaction of those who have had vaccinations falls into this category. With a predetermined period until death ρ, the infected population is confined for a proposed average length of δ, either entering the dead population with a disease mortality rate of τ or the recovered class with a recovery rate of ω. Depending on the availability of vaccines for the particular condition, the class "vaccinated" is added. The flowchart of the infectious dynamical disease system (3.1) is represented by Figure 1. After accounting for these variables, the dynamical system that results is as follows [33]:

    dSdk=ΠβSIυSμS,dEdk=βSIγE+σβVIμE,dIdk=γEδIμI,dQdk=δI(1τ)ωQτρQμQ,dRdk=(1τ)ωQμR,dDdk=τρQ,dVdk=υSσβVIμV, (3.1)
    Figure 1.  A diagrammatic graph that illustrates the transmission of the disease.

    with initial conditions S(0)0, E(0)0, I(0)0, Q(0)0, R(0)0, D(0)0 and V(0)0.

    Fractional derivatives in mathematical biology offer a versatile framework for modeling various biological phenomena, including vaccination processes and recovery dynamics. By extending beyond traditional epidemic and noninfectious disease models, researchers gain a deeper understanding of the complex behaviors exhibited by biological systems. This enables them to develop innovative solutions to critical vaccination research and healthcare issues by incorporating fractional calculus into their mathematical models. Initially, we transformed the model with integer order into one with fractional order. We apply the C-F derivative in the system (3.1), and then we get

    CF0DςkS=ΠβSIυSμS,CF0DςkE=βSIγE+σβVIμE,CF0DςkI=γEδIμI,CF0DςkQ=δI(1τ)ωQτρQμQ,CF0DςkR=(1τ)ωQμR,CF0DςkD=τρQ,CF0DςkV=υSσβVIμV. (3.2)

    In fractional order modeling of biological systems, the population remains positive and bounded over time to represent biological constraints accurately. Positivity and boundedness are essential in fractional order models to ensure stability, realistic behavior, and relevance to real-world situations. These features are necessary due to the complex dynamics introduced by fractional calculus. Positive states play a crucial role in maintaining a system's stability and meaningful behavior. In contrast, positive outputs are vital for applying and understanding the model's results in practical applications. Boundedness ensures that the system does not exhibit unlimited growth, which is essential for stability and control. Furthermore, boundedness guarantees that the behavior of a system remains predictable and controllable, thus facilitating the analysis of system performance and reaction. The proposed model has a built-in feature where its solutions are always positive and bounded. We ensure that all state variables have non-negative values for any time k>0. This [34] means a trajectory starting with a positive initial condition will stay favorable for k>0. Therefore, system (3.2) provides that

    CF0DςkS|S=0=Π0,CF0DςkE|E=0=σβVI0,CF0DςkI|I=0=γE0,CF0DςkQ|Q=0=δI0,CF0DςkR|R=0=(1τ)ωQ0,CF0DςkD|D=0=τρQ0,CF0DςkV|V=0=υS0. (4.1)

    Since N(t)=S(k)+I(k)+E(k)+Q(k)+D(k)+R(k)+V(k) is total population, we have

    CF0DςkN(k)=ΠμSμEμIμQμRμVΠμS,

    then one has

    N(k)(N(0)Πμ)Eς(μk)+Πμ.

    Therefore, we have

    Ω={(S(k),I(k),E(k),Q(k),D(k),R(k),V(k))7+:0N(k)Πμ},

    which provides the feasible region for the infectious diseases model, and Ω is positively invariant. Thus, the proposed model (3.2) is well-posed mathematically.

    This study gives us insights into each parameter's importance in the disease's spread. This information is crucial not only for planning experiments but also for integrating data and simplifying complex models. Sensitivity analysis is often used to assess the resilience of model predictions to changes in parameter values, as there are sometimes errors in data collection and assumed parameter values. This tool helps identify the characteristics that significantly impact the threshold R0 and should be the focus of intervention strategies. Sensitivity indices provide a way to measure the proportional change in a variable resulting from a change in the parameter. We use a variable's normalized forward sensitivity index concerning a specific parameter to achieve this objective. This index is defined as the ratio of the relative change in the variable to the relative change in the parameter. The sensitivity index can be determined using partial derivatives if a variable is differentiable concerning the parameter. We conducted a sensitivity study in this section to determine the impact of each parameter on the R0. A sensitivity analysis can also determine the critical parameters vital to illness management. This method ascertains the relative contribution of each parameter value to the R0. Therefore, we have

    R0=γβΠ(μ+σν)μ(ν+μ)(δ+μ)(γ+μ).

    The system's qualitative characteristics are being considered while organising the relevant parameters based on their impact on the value of R0, which is quite beneficial. The results of this investigation will help identify the most crucial disease control factors. We can utilize sensitivity indices to determine the effect of a parameter change on the state variable. These indices are calculated using the definition provided in the paper [34,35]. To estimate the sensitivity index, we use partial derivatives, as shown below:

    ΛR0⨿=R0⨿×⨿R0. (4.2)

    The sensitivity indices for different parameters are present in Table 1. These indices have been calculate using the starting values, except for σ. Figure 2 shows the sensitivity indices of R0 for the considered parameters of interest. The results indicate that Π, β, δ, and μ are highly significant characteristics, as seen in Table 1 and Figure 2. Based on the sensitivity analysis results, it was found that the R0 values increase or decrease in direct proportion to changes in the values of Π, β, σ, δ, μ, ν and γ. The reproduction number within the defined limits has been analyzed, considering the following factors. After reviewing the analyses and graphs, it is evident that precautionary measures should be taken to prevent the spread of the disease by improving adverse conditions and reducing factors that contribute to increased reproduction numbers. Figure 3(a) is the plot of R0 versus the β and Π. Figure 3(b) is the plot of R0 versus the γ and δ. Figure 3(c) is the plot of R0 versus the Π and μ. Figure 3(d) is the plot of R0 versus the σ and ν. Notably, we have observed that μ is quite sensitive, and raising this parameter could result in a notable drop in the R0 value. Consequently, limiting these factors can aid in the prevention of the spread of illness. The variables are considered when examining the relevant reproduction number within the specified limits. Based on the evaluations and visual representations, it is concluded that appropriate measures should be implemented to prevent the spread of the disease. This can be achieved by decreasing the factors that contribute to the positive growth rate of reproduction numbers and raising the factors that have a detrimental effect on it. Hence, it can be concluded that increasing awareness about quarantine and vaccination among affected individuals can significantly reduce the spread of infection within the population.

    Table 1.  Sensitivity indices.
    Parameters Sensitivity index
    Π 1
    β 1
    σ 0.1429
    δ 0.9444
    μ 1.2506
    γ 0.0556
    ν 0.1395

     | Show Table
    DownLoad: CSV
    Figure 2.  Sensitivity plot for the basic reproduction number R0.
    Figure 3.  Sensitivity analysis of R0 according to the model parameters for (a) β and Π, (b) γ and δ (c) Π and μ, (d) σ and ν.

    Here, we examine the uniqueness and existence of solutions using the fixed point theorem, which is essential for the proposed model [31,36]. The C-F fractional integral operator, when applied to system (3.2), yields

    S(k)S(0)=2(1ς)(2ς)B(ς)[ΠβSIυSμS]+2ς(2ς)B(ς)k0[ΠβS(Y)I(Y)υS(Y)μS(Y)]d(Y),E(k)E(0)=2(1ς)(2ς)B(ς)[βSIγE+σβVIμE]+2ς(2ς)B(ς)k0[βS(Y)I(Y)γE(Y)+σβV(Y)I(Y)μE(Y)]d(Y),I(k)I(0)=2(1ς)(2ς)B(ς)[γEδIμI]+2ς(2ς)B(ς)k0[γE(Y)δI(Y)μI(Y)]d(Y),Q(k)Q(0)=2(1ς)(2ς)B(ς)[δI(1τ)ωQτρQμQ]+2ς(2ς)B(ς)k0[δI(Y)(1τ)ωQ(Y)τρQ(Y)μQ(Y)]d(Y),R(k)R(0)=2(1ς)(2ς)B(ς)[γEδIμI]+2ς(2ς)B(ς)k0[γE(Y)δI(Y)μI(Y)]d(Y),D(k)D(0)=2(1ς)(2ς)B(ς)[τρQ]+2ς(2ς)B(ς)k0[τρQ(Y)]d(Y),V(k)V(0)=2(1ς)(2ς)B(ς)[υSσβVIμV]+2ς(2ς)B(ς)k0[υS(Y)σβV(Y)I(Y)μV(Y)]d(Y). (5.1)

    Define the following kernels:

    M1(k,S)=ΠβSIυSμS,M2(k,E)=βSIγE+σβVIμE,M3(k,I)=γEδIμI,M4(k,Q)=δI(1τ)ωQτρQμQ,M5(k,R)=(1τ)ωQμR,M6(k,D)=τρQ,M7(k,V)=υSσβVIμV, (5.2)

    then we have

    S(k)S(0)=2(1ς)(2ς)B(ς)[M1(k,S)]+2ς(2ς)B(ς)k0[M1(Y,S)]dY,E(k)E(0)=2(1ς)(2ς)B(ς)[M2(k,E)]+2ς(2ς)B(ς)k0[M2(Y,E)]dY,I(k)I(0)=2(1ς)(2ς)B(ς)[M3(k,I)]+2ς(2ς)B(ς)k0[M3(Y,I)]dY,Q(k)Q(0)=2(1ς)(2ς)B(ς)[M4(k,Q)]+2ς(2ς)B(ς)k0[M4(Y,Q)]dY,R(k)R(0)=2(1ς)(2ς)B(ς)[M5(k,R)]+2ς(2ς)B(ς)k0[M5(Y,R)]dY,D(k)D(0)=2(1ς)(2ς)B(ς)[M6(k,D)]+2ς(2ς)B(ς)k0[M6(Y,D)]dY,V(k)V(0)=2(1ς)(2ς)B(ς)[M7(k,V)]+2ς(2ς)B(ς)k0[M7(Y,V)]dY. (5.3)

    Theorem 5.1. If the dissimilarity listed below holds:

    0βϖ2+υ+μ<1.

    Afterwards, the contraction mapping and Lipschitz condition are convinced by the kernel M1.

    Proof. Assume that S and S1 are any two functions, then we get

    M1(k,S)M1(k,S1)=(ΠβS(k)I(k)υS(k)μS(k))(ΠβS1(k)I(k)υS1(k)μS1(k))(βϖ2+υ+μ)S(k)S1(k)Υ1S(k)S1(k).

    Let Υ1=βϖ2+υ+μ, we do suppose that S,E,I,Q,R,D and V is bounded functions, i.e., S(k)ϖ1, E(k)ϖ2, I(k)ϖ3, Q(k)ϖ4, R(k)ϖ5, D(k)ϖ6 and V(k)ϖ7.

    M1(k,S)M1(k,S1)Υ1S(k)S1(k). (5.4)

    Hence, kernel M1 satisfies the Lipschitz condition and since

    0βϖ2+υ+μ<1,

    then it is also a contraction for M1.

    Similarly, kernels M2, M3, M4, M5, M6, and M7 satisfy the Lipschitz condition, respectively, as follows:

    M2(k,E)M2(k,E1)Υ2E(k)E1(k),M3(k,I)M3(k,I1)Υ3I(k)I1(k),M4(k,Q)M4(k,Q1)Υ4Q(k)Q1(k),M5(k,R)M5(k,R1)Υ5R(k)R1(k),M6(k,D)M6(k,D1)Υ6D(k)D1(k),M7(k,V)M7(k,V1)Υ7V(k)V1(k). (5.5)

    Equations (5.4) and (5.5) are used to apply the previously described kernels, which transform system (5.1) into

    S(k)=S(0)+2(1ς)(2ς)B(ς)M1(k,S)+2(1ς)(2ς)B(ς)k0M1(Y,S)dY,E(k)=E(0)+2(1ς)(2ς)B(ς)M2(k,E)+2(1ς)(2ς)B(ς)k0M2(Y,E)dY,I(k)=I(0)+2(1ς)(2ς)B(ς)M3(k,I)+2(1ς)(2ς)B(ς)k0M3(Y,I)dY,Q(k)=Q(0)+2(1ς)(2ς)B(ς)M4(k,S)+2(1ς)(2ς)B(ς)k0M4(Y,Q)dY,R(k)=R(0)+2(1ς)(2ς)B(ς)M5(k,R)+2(1ς)(2ς)B(ς)k0M5(Y,R)dY,D(k)=D(0)+2(1ς)(2ς)B(ς)M6(k,D)+2(1ς)(2ς)B(ς)k0M6(Y,D)dY,V(k)=V(0)+2(1ς)(2ς)B(ς)M7(k,V)+2(1ς)(2ς)B(ς)k0M7(Y,V)dY. (5.6)

    We now introduce the following recursive formulas:

    Sr(k)=2(1ς)(2ς)B(ς)M1(k,Sr1)+2ς(2ς)B(ς)k0M1(Y,Sr1)dY,Er(k)=2(1ς)(2ς)B(ς)M2(k,Er1)+2ς(2ς)B(ς)k0M2(Y,Er1)dY,Ir(k)=2(1ς)(2ς)B(ς)M3(k,Ir1)+2ς(2ς)B(ς)k0M3(Y,Ir1)dY,Qr(k)=2(1ς)(2ς)B(ς)M4(k,Qr1)+2ς(2ς)B(ς)k0M4(Y,Qr1)dY,Rr(k)=2(1ς)(2ς)B(ς)M5(k,Rr1)+2ς(2ς)B(ς)k0M5(Y,Rr1)dY,Dr(k)=2(1ς)(2ς)B(ς)M6(k,Dr1)+2ς(2ς)B(ς)k0M6(Y,Dr1)dY,Vr(k)=2(1ς)(2ς)B(ς)M7(k,Vr1)+2ς(2ς)B(ς)k0M7(Y,Vr1)dY, (5.7)

    where the initial condition are

    S0(k)=S(0),E0(k)=E(0),I0(k)=I(0),Q0(k)=Q(0),R0(k)=R(0),D0(k)=D(0),V0(k)=V(0).

    With regard to the recursive formulas, the differences between successive terms can be represented as

    χ1,r(k)=Sr(k)Sr1(k)=2(1ς)(2ς)B(ς)[M1(k,Sr1)M1(k,Sr2)]+2ς(2ς)B(ς)k0[M1(Y,Sr1)M1(Y,Sr2)]dY,
    χ2,r(k)=Er(k)Er1(k)=2(1ς)(2ς)B(ς)[M2(k,Er1)M2(k,Er2)]+2ς(2ς)B(ς)k0[M2(Y,Er1)M2(Y,Er2)]dY,
    χ3,r(k)=Ir(k)Ir1(k)=2(1ς)(2ς)B(ς)[M3(k,Ir1)M3(k,Ir2)]+2ς(2ς)B(ς)k0[M3(Y,Ir1)M3(Y,Ir2)]dY,
    χ4,r(k)=Qr(k)Qr1(k)=2(1ς)(2ς)B(ς)[M4(k,Qr1)M4(k,Qr2)]+2ς(2ς)B(ς)k0[M4(Y,Qr1)M4(Y,Qr2)]dY, (5.8)
    χ5,r(k)=Rr(k)Rr1(k)=2(1ς)(2ς)B(ς)[M5(k,Rr1)M5(k,Rr2)]+2ς(2ς)B(ς)k0[M5(Y,Rr1)M5(Y,Rr2)]dY,
    χ6,r(k)=Dr(k)Dr1(k)=2(1ς)(2ς)B(ς)[M6(k,Dr1)M6(k,Dr2)]+2ς(2ς)B(ς)k0[M6(Y,Dr1)M6(Y,Dr2)]dY,
    χ7,r(k)=Vr(k)Vr1(k)=2(1ς)(2ς)B(ς)[M7(k,Vr1)M7(k,Vr2)]+2ς(2ς)B(ς)k0[M7(Y,Vr1)M7(Y,Vr2)]dY.

    Note that

    Sr(k)=rj=1χ1,j,Er(k)=rj=1χ2,j,Ir(k)=rj=1χ3,j,Qr(k)=rj=1χ4,j,Rr(k)=rj=1χ5,j,Dr(k)=rj=1χ6,j,Vr(k)=rj=1χ7,j. (5.9)

    After solving system (5.8), we apply the usual supremum norm to both sides of the first equation of system (5.8), then we obtain

    χ1,r(k)=Sr(k)Sr1(k)=2(1ς)(2ς)B(ς)[M1(k,Sr1)M1(k,Sr2)]+2ς(2ς)B(ς)k0[M1(Y,Sr1)M1(Y,Sr2)]dY. (5.10)

    Using Eq (5.10) and the triangle inequality, we get

    Sr(k)Sr1(k)2(1ς)(2ς)B(ς)[M1(k,Sr1)M1(k,Sr2)]+2ς(2ς)B(ς)k0[M1(Y,Sr1)M1(Y,Sr2)]dω. (5.11)

    Thus, using the Lipschitz constant Υ1 to propitiate the Lipschitz condition, the kernel M1 enables us to determine

    Sr(k)Sr1(k)2(1ς)(2ς)B(ς)Υ1Sr1Sr2+2ς(2ς)B(ς)Υ1k0Sr1Sr2dY. (5.12)

    Thus, we obtain

    χ1,r(k)2(1ς)(2ς)B(ς)Υ1χ1,r1(k)+2ς(2ς)B(ς)Υ1k0χ1,r1(Y)dY. (5.13)

    In a similar manner, we get

    χ2,r(k)2(1ς)(2ς)B(ς)Υ2χ2,r1(k)+2ς(2ς)B(ς)Υ2k0χ2,r1(Y)dY,χ3,r(k)2(1ς)(2ς)B(ς)Υ3χ3,r1(k)+2ς(2ς)B(ς)Υ3k0χ3,r1(Y)dY,χ4,r(k)2(1ς)(2ς)B(ς)Υ4χ4,r1(k)+2ς(2ς)B(ς)Υ4k0χ4,r1(Y)dY,χ5,r(k)2(1ς)(2ς)B(ς)Υ5χ5,r1(k)+2ς(2ς)B(ς)Υ5k0χ5,r1(Y)dY,χ6,r(k)2(1ς)(2ς)B(ς)Υ6χ6,r1(k)+2ς(2ς)B(ς)Υ6k0χ6,r1(Y)dY,χ7,r(k)2(1ς)(2ς)B(ς)Υ7χ7,r1(k)+2ς(2ς)B(ς)Υ7k0χ7,r1(Y)dY. (5.14)

    Theorem 5.2. If there a time k0>0, then the ensuing disparities are valid:

    2(1ς)(2ς)B(ς)Υ1+2ς(2ς)B(ς)Υ1k0<1, (5.15)

    solutions exist for the infectious disease system.

    Proof. Let S(k), E(k), I(k), Q(k), R(t), D(k), and V(k) be bounded functions and use the Lipschitz condition. Now, in Eqs (5.13) and (5.14), using the recursive method, we obtain

    χ1,r(k)Sr(0)[2(1ς)(2ς)B(ς)Υ1+2ς(2ς)B(ς)Υ1k]r,χ2,r(k)Er(0)[2(1ς)(2ς)B(ς)Υ2+2ς(2ς)B(ς)Υ2k]r,χ3,r(k)Ir(0)[2(1ς)(2ς)B(ς)Υ3+2ς(2ς)B(ς)Υ3k]r,χ4,r(k)Qr(0)[2(1ς)(2ς)B(ς)Υ4+2ς(2ς)B(ς)Υ4k]r,χ5,r(k)Rr(0)[2(1ς)(2ς)B(ς)Υ5+2ς(2ς)B(ς)Υ5k]r,χ6,r(k)Dr(0)[2(1ς)(2ς)B(ς)Υ6+2ς(2ς)B(ς)Υ6k]r,χ7,r(k)Vr(0)[2(1ς)(2ς)B(ς)Υ7+2ς(2ς)B(ς)Υ7k]r. (5.16)

    Thus, it is proven that the aforementioned solutions exist and continue to exist. To demonstrate the function is a solution of system (3.2), we make the following assumptions:

    S(k)S(0)=Sr(k)A1,r(k),E(k)E(0)=Er(k)A2,r(k),I(k)I(0)=Ir(k)A3,r(k),Q(k)Q(0)=Qr(k)A4,r(k),R(k)R(0)=Rr(k)A5,r(k),D(k)D(0)=Dr(k)A6,r(k),V(k)V(0)=Vr(k)A7,r(k). (5.17)

    Then, we have

    A1,r(k)=2(1ς)(2ς)B(ς)[M1(k,S)M1(k,Sr1)]+2ς(2ς)B(ς)k0[M1(Y,S)M1(Y,Sr1)]dY2(1ς)(2ς)B(ς)M1(k,S)M1(k,Sr1)+2ς(2ς)B(ς)k0M1(Y,S)M1(Y,Sr1)dY2(1ς)(2ς)B(ς)Υ1SSr1+2ς(2ς)B(ς)Υ1SSr1k. (5.18)

    Repeating this process recursively, it becomes

    A1,r(k)[2(1ς)(2ς)B(ς)+2ς(2ς)B(ς)k]r+1Υr+11a. (5.19)

    At the point k0, we get

    A1,r(k)[2(1ς)(2ς)B(ς)+2ς(2ς)B(ς)k0]r+1Υr+11a. (5.20)

    As r in Eq (5.20), then we get

    A1,r(k)0.

    Similarly, we get

    A2,r(k)0,A3,r(k)0,A4,r(k)0,A5,r(k)0,A6,r(k)0,A7,r(k)0.

    We establish that a system of system (3.2) solutions is unique. Consider the possibility that there is another set of model (3.2) to determine the uniqueness of the solution. We have S1(k), E1(k), I1(k), Q1(k), R1(k), D1(k), and V1(k); then

    S(k)S1(k)=2(1ς)(2ς)B(ς)[M1(k,S)M1(k,S1)]+2ς(2ς)B(ς)k0[M1(Y,S)M1(Y,S1)]dY. (5.21)

    When we apply the norm to Eq (5.21), we obtain

    S(k)S1(k)2(1ς)(2ς)B(ς)[M1(k,S)M1(k,S1)]+2ς(2ς)B(ς)k0M1(Y,S)M1(Y,S1)dY. (5.22)

    Using the kernel's Lipschitz condition, one can achieve

    S(k)S1(k)2(1ς)(2ς)B(ς)Υ1S(k)S1(k)+2ς(2ς)B(ς)Υ1kS(k)S1(k). (5.23)

    By reducing the complexity of Eq (5.23), we get

    S(k)S1(k)[12(1ς)(2ς)B(ς)Υ12ς(2ς)B(ς)Υ1k]0. (5.24)

    Theorem 5.3. The proposed model has a unique solution if the following conditions are hold:

    S(k)S1(k)[12(1ς)(2ς)B(ς)Υ12ς(2ς)B(ς)Υ1k]>0. (5.25)

    Proof. Using Eq (5.24), we have

    S(k)S1(k)[12(1ς)(2ς)B(ς)Υ12ς(2ς)B(ς)Υ1k]0. (5.26)

    Implying that

    S(k)S1(k)=0, (5.27)

    we obtain

    S(k)=S1(k). (5.28)

    Continuing in the same manner, we have

    E(k)=E1(k),I(k)=I1(k),Q(k)=Q1(k),R(k)=R1(k),D(k)=D1(k),V(k)=V1(k). (5.29)

    As a result, we proved that system (3.2)'s system of solutions is unique.

    Stability analysis

    We employ nonlinear functional analysis to investigate the Ulam-Hyers (U-H) stability [28,37] of the proposed fractional model (3.2). Eighty-four years have passed since Professor Ulam presented the stability problem to the University of Wisconsin Mathematics Club. Ulam asked whether a proposition remains valid or approximately valid when the hypothesis is slightly modified [28,38]. This subject is intriguing and significant in multiple scientific disciplines, motivating numerous individuals to pursue its investigation. The current name for this topic is the U-H stability problem. Initially, the focus was on the stability of group homomorphisms. One year later, Hyers resolved the inquiry of the additive mappings across Banach spaces using the "contraction mapping theorem". After this significant advancement, numerous investigations were conducted on Ulam's challenge using diverse approaches and variations. Rassias extended the findings of Hyers [39]. Instead of using a positive constant, he employed a dominating function to regulate the estimate. This problem is commonly referred to as the Ulam-Hyers-Rassias stability problem or the generalized U-H stability problem.

    In recent decades, numerous research articles have been published on U-H stability, focusing on ordinary differential equations (ODEs) [40,41]. ODEs result in productive outcomes, encompassing both linear and nonlinear equations [42,43]. Many recent studies have focused on the U-H stability concerning fractional systems [44]. The concepts of existence, uniqueness, and U-H stability have been established in various functional systems. U-H stability measures the difference in solutions of differential equations with fractional order. This stability ensures that controlled systems remain stable and perform predictably, even with slight variations in the system dynamics. When modeling physical processes with fractional-order dynamics, U-H stability guarantees that the model stays accurate even when minor changes or approximations are made to the governing equations. U-H stability is used to analyze the sensitivity of solutions to small changes in boundary data for fractional differential equations with boundary conditions. This analysis ensures the reliability of the solutions in practical applications. The concept of U-H stability is beneficial for analyzing and implementing fractional-order systems. It provides a framework to ensure that solutions remain stable even when subjected to minor disturbances, which is essential in numerous practical situations. For simplicity, we consider the proposed model (3.2) to be as follows:

    CF0DςkU(k)=V(k,U(k)),U(0)=U00, (5.30)

    where

    U(k)=(S(k),E(k),I(k),Q(k),R(k),D(k),V(k))T,V(k,U(k))=(M1,M2,M3,M4,M5,M6,M7)T.

    Applying the fractional integral on (5.30), we obtain

    U(k)U(0)=2(1ς)(2ς)B(ς)V(k,U(k))+2ς(2ς)B(ς)k0V(Y,U(Y))dY. (5.31)

    Definition 5.1. The proposed model (3.2) is UH stable if there exists ς>0 and along with the condition for any ϵ>0 and ˉUB, if

    |CF0DςkU(k)V(k,U(k))|ϵ, (5.32)

    then UB, and B in the model (3.2),

    U(0)=ˉU(0)=¯U0,

    such that

    ˉUUςϵ,

    where

    {ˉU(k)=(ˉS(k),ˉE(k),ˉI(k),ˉQ(k),ˉR(k),ˉD(k),ˉV(k))T,V(k,ˉU(k))=(¯M1,¯M2,¯M3,¯M4,¯M5,¯M6,¯M7)T,ϵ=max(ϵi)T;i=1,2,...,7,ς=max(ςi)T;i=1,2,...,7.

    Remark 5.1. Let a small perturbation κC[0,T], such that κ(0)=0 with the following condition: κ(k)ˉϵ, for k[0,T] and ˉϵ>0.

    Lemma 5.1. Let the solution ˉUκ(k) of the perturbed system

    CF0DςkˉU(k)=V(k,ˉU(k))+κ(k),ˉU(0)=ˉU0 (5.33)

    hold the condition

    ˉUκ(k)ˉU(k)Φˉϵ,

    where

    Φ=2(1ς)(2ς)B(ς)+2ς(2ς)B(ς)T,κ(k)=(κ1(k),κ2(k),κ3(k),κ4(k),κ5(k),κ6(k),κ7(k))T.

    Proof. Applying the fractional integral in Eq (5.33), we obtain

    ˉUκ(k)ˉU(0)=2(1ς)(2ς)B(ς)V(k,ˉU(k))+2ς(2ς)B(ς)k0V(Y,ˉU(Y))dY+2(1ς)(2ς)B(ς)κ(k)+2ς(2ς)B(ς)k0κ(Y)dY. (5.34)

    Also,

    ˉU(k)=ˉU(0)+2(1ς)(2ς)B(ς)V(k,ˉU(k))+2ς(2ς)B(ς)k0V(Y,ˉU(Y))dY. (5.35)

    Using Remark 5.1, we obtain

    ˉUκ(k)ˉU(k)2(1ς)(2ς)B(ς)|κ(k)|+2ς(2ς)B(ς)k0|κ(Y)|dY(2(1ς)(2ς)B(ς)+2ς(2ς)B(ς)T)ˉϵΦˉϵ.

    This completes the proof.

    Theorem 5.4. The proposed model (3.2) is UM stable if

    ˉU(k)U(k)¯ςϵ.

    Proof. Let ˉU be the solution of Eq (5.32) and with help of uniqueness, U be a unique solution of the system (5.30), then we have

    ˉU(k)U(k)Φˉϵ+2(1ς)(2ς)B(ς)V(k,ˉU(k))V(k,U(k))+2ς(2ς)B(ς)k0V(Y,ˉU(Y))V(Y,U(Y))dY+Φˉϵ2Φˉϵ+ΦˉδˉU(k)U(k).

    Simplifying the above equation, we obtain

    ˉU(k)U(k)2Φˉϵ1Φˉδ=¯ςϵ,

    where

    ς=2Φ1Φˉδ.

    Hence, the proposed model (3.2) is UM stable.

    We present a numerical solution for the model (3.2) using the Adams-Bashforth (A-B) technique. Owolabi and Atangana et al. [45] introduced a three-step A-B technique with the C-F fractional derivative, which we used to determine the numerical scheme for the fractional-order system (3.2). Take into consideration the C-F derivative of the fractional differential equation

    CF0DςkE(k)=F(k,E(k)). (6.1)

    By utilising the C-F fractional integral on both sides of Eq (6.1), we obtain

    E(k)E(0)=(1ς)B(ς)F(k,E(k))+ςB(ς)k0F(Y,E(Y))dY. (6.2)

    We have divided the time interval into smaller intervals with steps of h, then we get ke+1=ke+h, k0=0, e=0,1,2,...,e1. We put k=ke+1 and k=ke in Eq (6.2). We have found the difference in the resulting equations by performing a computation, then we get

    E(ke+1)E(ke)=(1ς)B(ς)[F(ke+1,E(ke+1))F(ke,E(ke))]+ςB(ς)ke+1keF(Y,E(Y))dY. (6.3)

    We are estimated the integral ke+1keF(Y,E(Y))dY with the approximation of ke+1keQ2(Y)dY, where Q2(Y) is the Lagrange polynomial of points (ke2,F(ke2,E(ke2))), (ke1,F(ke1,E(ke1))) and (ke,F(ke,E(ke))). Thus,

    Q2(Y)=j=2j=0F(kej,E(kej))Lj(Y), (6.4)

    where Lj(Y) is the Lagrange basis polynomials on the point ke,ke1,ke2.

    Let Ee=E(ke), and v=ke+1Yh, after replacing the Lagrange basis polynomials and performing integration, we obtain the following result:

    ke+1keF(Y,E(Y))dY=h10(F(ke,Ee)(v2)(v3)(12)(13)+F(ke1,Ee1)(v1)(v3)(21)(23)+F(ke2,Ee2)(v2)(v1)(32)(31))dv=23h12F(ke,Ee)16h12F(ke1,Ee1)+5h12F(ke2,Ee2). (6.5)

    Using Eq (6.5) in Eq (6.3), we have

    E(ke+1)E(ke)=((1ς)B(ς)+23hς12B(ς))F(ke,E(ke))((1ς)B(ς)+16hς12B(ς))F(ke1,E(ke1))+(5hς12B(ς))F(ke2,E(ke2)). (6.6)

    The error with this technique is

    Rςe(k)=ςB(ς)ke+1ke3h38F4(s)ds=3ςh38B(ς)F3(xe,E(xe)),xe(ke,ke+1). (6.7)

    The proposed model's numerical simulations are generated using the three-step A-B approach for the C-F fractional derivative in Eq (6.6).

    Let the vectors

    E(k)=[S(k),E(k),I(k)Q(k),R(k),D(k),V(k)],

    and

    F(k,E(k))=[F1(k,E(k)),F2(k,E(k)),F3(k,E(k)),F4(k,E(k)),F5(k,E(k)),F6(k,E(k)),F7(k,E(k))],

    where the following are the functions specified by system (3.2), we have

    {F1(k,E(k))=ΠβSIυSμS,F2(k,E(k))=βSIγE+σβVIμE,F3(k,E(k))=γEδIμI,F4(k,E(k))=δI(1τ)ωQτρQμQ,F5(k,E(k))=(1τ)ωQμR,F6(k,E(k))=τρQ,F7(k,E(k))=υSσβVIμV. (6.8)

    We can express model (3.2) in vector form as shown below:

    CF0DςkE(k)=F(k,E(k)). (6.9)

    Equation (6.6) is utilized to obtain the solution of model (3.2), which is expressed through the iterative formula given below:

    E(ke+1)=E(ke)+((1ς)B(ς)+23hς12B(ς))F(ke,Ee)((1ς)B(ς)+16hς12B(ς))F(ke1,Ee1)+(5hς12B(ς))F(ke2,Ee2). (6.10)

    Let E0=E(k0)=[S(k0),E(k0),I(k0),Q(k0),R(k0),D(k0),V(k0)]T, Ee2=E(ke2), Ee1=E(ke1), Ee=E(ke) and Ee+1=E(ke+1), then

    Ee+1=Ee+((1ς)B(ς)+23hς12B(ς))F(ke,Ee)((1ς)B(ς)+16hς12B(ς))F(ke1,Ee1)+(5hς12B(ς))F(ke2,Ee2). (6.11)

    We have obtained the iterative formula:

    Se+1=Se+((1ς)B(ς)+23hς12B(ς))F1(Se,Ee,Ie,Qe,Re,De,Ve)((1ς)B(ς)+16hς12B(ς))F1(Se1,Ee1,Ie1,Qe1,Re1,De1,Ve1)+(5hς12B(ς))F1(Se2,Ee2,Ie2,Qe2,Re2,De2,Ve2),
    Ee+1=Ee+((1ς)B(ς)+23hς12B(ς))F2(Se,Ee,Ie,Qe,Re,De,Ve)((1ς)B(ς)+16hς12B(ς))F2(Se1,Ee1,Ie1,Qe1,Re1,De1,Ve1)+(5hς12B(ς))F2(Se2,Ee2,Ie2,Qe2,Re2,De2,Ve2),
    Ie+1=Ie+((1ς)B(ς)+23hς12B(ς))F3(Se,Ee,Ie,Qe,Re,De,Ve)((1ς)B(ς)+16hς12B(ς))F3(Se1,Ee1,Ie1,Qe1,Re1,De1,Ve1)+(5hς12B(ς))F3(Se2,Ee2,Ie2,Qe2,Re2,De2,Ve2),
    Qe+1=Qe+((1ς)B(ς)+23hς12B(ς))F4(Se,Ee,Ie,Qe,Re,De,Ve)((1ς)B(ς)+16hς12B(ς))F4(Se1,Ee1,Ie1,Qe1,Re1,De1,Ve1)+(5hς12B(ς))F4(Se2,Ee2,Ie2,Qe2,Re2,De2,Ve2), (6.12)
    Re+1=Re+((1ς)B(ς)+23hς12B(ς))F5(Se,Ee,Ie,Qe,Re,De,Ve)((1ς)B(ς)+16hς12B(ς))F5(Se1,Ee1,Ie1,Qe1,Re1,De1,Ve1)+(5hς12B(ς))F5(Se2,Ee2,Ie2,Qe2,Re2,De2,Ve2),
    De+1=De+((1ς)B(ς)+23hς12B(ς))F6(Se,Ee,Ie,Qe,Re,De,Ve)((1ς)B(ς)+16hς12B(ς))F6(Se1,Ee1,Ie1,Qe1,Re1,De1,Ve1)+(5hς12B(ς))F6(Se2,Ee2,Ie2,Qe2,Re2,De2,Ve2),
    Ve+1=Ve+((1ς)B(ς)+23hς12B(ς))F7(Se,Ee,Ie,Qe,Re,De,Ve)((1ς)B(ς)+16hς12B(ς))F7(Se1,Ee1,Ie1,Qe1,Re1,De1,Ve1)+(5hς12B(ς))F7(Se2,Ee2,Ie2,Qe2,Re2,De2,Ve2).

    Stability analysis of numerical scheme

    Here, we are analysing the stability of the fractional A-B scheme

    CF0DςkE(k)=F(k,E(k)). (6.13)

    Now, rewrite Eq (6.11), then we have

    Ee+1=Ee+((1ς)B(ς)+23hς12B(ς))F(ke,Ee)((1ς)B(ς)+16hς12B(ς))F(ke1,Ee1)+(5hς12B(ς))F(ke2,Ee2)=Ee+AF(ke,Ee)BF(ke1,Ee1)+CF(ke2,Ee2). (6.14)

    Using Eq (5.30), we have

    Ee+1=(1+A)EeBEe1+CEe2. (6.15)

    Afterward, we apply the Von-Neumann stability analysis for the terms in the aforementioned equation.

    Ee+1=¯Ee+1e(e+1)iΔk,Ee=¯Eee(e)iΔk,Ee1=¯Ee1e(e1)iΔk,Ee2=¯Ee2e(e2)iΔk. (6.16)

    So that

    ¯Ee+1e(e+1)iΔk=(1+A)¯EeeeiΔkB¯Ee1e(e1)iΔk+C¯Ee2e(e2)iΔk, (6.17)

    which reduces to

    ¯Ee+1eiΔk=(1+A)¯EeB¯Ee1eiΔk+C¯Ee2e2iΔk. (6.18)

    A recursive formula is applied, when e=0, we have

    ¯E1eiΔk=(1+A)¯E0. (6.19)

    Simplifying the previous equation (6.15), we have

    ¯E1eiΔk=(1+A)¯E0,¯E1=(1+A)¯E0.

    If

    h0.55andς>111.9167h,

    then, we suppose that

    e¯Ee<¯E0,

    we have

    |¯Ee+1|(1+A)|¯Ee||eiΔk|B|¯Ee1||e2iΔk|+C|¯Ee2||e3iΔk|<(1+A)|¯Ee|B|¯Ee1|+C|¯Ee2|. (6.20)

    Simplifying the previous equation (6.15), we have

    |¯Ee+1|<(1+A)|¯E0|B|¯E0|+C|¯E0|<(1+AB+C)|¯E0|<(1+AB+C)<1. (6.21)

    Hence, when applied to Eq (5.30), the three-step A-B method with the C-F derivative is conditionally stable.

    In this section, we simulate the non-linear fractional proposed model using a novel numerical technique that uses the C-F non-integer operator. We displayed graphical findings for various fractional orders and infection rates during the simulation. To comprehend the system's behavior and operation, tracking and controlling the infection rate is imperative. Utilizing the numerical approach outlined in Section 6, we followed the instructions and finished the simulation results. We examined numerical findings for various fractional orders and time intervals using MATLAB R2016a. As such, we can see how adjusting the parameters and starting conditions affects the model's predictions through the simulations and improves our grasp of the dynamics of the model. The fractional order analysis's graphical results have been more illuminating and broadly applicable than other related efforts. The following parameter values have been applied to the simulation: S(0)=100, E(0)=50, I(0)=30, Q(0)=20, R(0)=18, D(0)=2, V(0)=60, Π=20, β=2×104, ν=1×103, μ=0.3, γ=5.1, σ=0.05, δ=5.1, τ=0.04, ω=0.03 and ρ=15. For this study, we have chosen specific orders to represent the complex nature of the system under examination, as arbitrary order derivatives offer greater degrees of freedom and provide a wide range of geometries. Figure 4 depicts the state variable plots of time graphically in the suggested model using the ABM method for different orders (ς): 0.99,0.96,0.93 and 0.90. The fractional suggested model (3.2) for various values of ς has been numerically simulated and shown in Figures 5 and 6.

    Figure 4.  Solution trajectories for the proposed model (3.2) when the derivative order varies.
    Figure 5.  The plots for the proposed model (3.2) when varies values of ς.
    Figure 6.  The plots for the proposed model (3.2) when varies values of ς.

    When we place a classical order, the infected population is higher, but when we place an order with ς=0.85, the infected population is smaller, as illustrated in Figure 5. When placing a classical order, the recovered and quarantined population is smaller. However, when placing an order with ς=0.85, the recovered and quarantined population is more significant.

    We consider a small order, leading to a more significant impact on the dead population than a more substantial higher order. Figure 7 depicts the 3D phase trajectory of the system (3.2) as the order of derivative = 1 and μ varies. Figure 8 depicts the time series graph of the system (3.2) when the order of derivative (ς)=0.99 and μ varies. When we place the value of μ=0.45, the susceptible, quarantined, and vaccinated population is smaller. However, when we set μ=0.30, the susceptible, quarantined, and vaccinated population is more significant, as shown in Figure 8. If we choose the smaller value for μ, we have large populations of these populations. The dead population becomes more extensive if we choose the smaller value for μ. Figure 9 depicts the time series graph of the system (3.2) when the order of derivative (ς)=0.99, δ varies and ν varies. The infected and quarantined populations are sensitive to parameter δ increasing order. The exposed and infected populations are sensitive to parameter ν. Figure 10 depicts the 3D phase trajectory of the system (3.2) as the order of derivative = 1 and β varies. Figure 11 depicts the time series graph of the system (3.2) when the order of derivative (ς)=0.99 and β varies. When we place the value of β is small, we get the susceptible, infected, and recovered population is more significant compared to the more considerable value of β. The dead population becomes more extensive if we choose the smaller value for β. Figure 12 depicts the 3D phase trajectory of the system (3.2) as the order of derivative = 1 and τ varies. Figure 13 depicts the time series graph of the system (3.2) when the order of derivative (ς)=0.99 and τ varies. The exposed and recovered populations are not very sensitive to parameter τ. We consider a small value for τ, leading to a more significant impact on the quarantined population than a more substantial value of τ.

    Figure 7.  Three-dimensional numerical results for proposed model (3.2) when μ varies and ς=1.
    Figure 8.  The plots for the proposed model (3.2) when μ varies and ς=0.99.
    Figure 9.  The plots for the proposed model (3.2) when δ and ν are varies and ς=0.99.
    Figure 10.  Three-dimensional numerical results for proposed model (3.2) when β varies and ς=1.
    Figure 11.  The plots for the proposed model (3.2) when β varies and ς=0.99.
    Figure 12.  Three-dimensional numerical results for proposed model (3.2) when τ varies and ς=1.
    Figure 13.  The plots for the proposed model (3.2) when τ varies and ς=0.99.

    The numerical simulation suggests we gain more reliable insights into behavior within specific ranges with more precise parameter information. We can explore the model's behavior under different input parameter values. Therefore, this study highlights the advantages of using numerical techniques in real-world disease models.

    In this paper, we discuss the SEIQRDV model, which focuses on the spread of infectious diseases and considers positivity, boundedness, and sensitivity. We have created a fractional order model based on a described integer order contagious disease model. Using fixed-point theory, we have proven the uniqueness and existence of solutions to this model under specific circumstances. We have also used a novel numerical technique supported by the A-B scheme to find the numerical solution. By plotting the model's output at different fractional orders and parameter values, we have observed how the population curves respond to these variations. However, it is important to note that the uncertainty resulting from random fluctuations in the model parameters cannot be eliminated. Additionally, determining which parameters are essential in the model can be challenging, causing sensitivity analysis for such a model to be difficult. The sensitivity analysis of the basic reproduction number has shown that the model's parameters have a significant impact. The results indicate that the recruitment and transmission rates are the most influential factors contributing to a substantial increase in the R0. These findings provide valuable insights into the mechanisms that affect the dynamics of infectious disease transmission and offer strategies for reducing disease transmission.

    We observe that even slight changes in parameters such as β, δ, μ, ν, and τ result in different population dynamics. These efforts will enhance our understanding of this paradigm and enable us to obtain more information successfully. Moreover, the results indicate that as the number of infectious individuals in the community decreases, the number of recovered individuals in the system increases. This suggests a correlation between the decrease in the number of sick individuals and the increase in the number of those who have effectively recuperated from the illness. The proposed model provides valuable insights into disease transmission dynamics using fractional-order derivatives. The results of our investigation are crucial for improving the accuracy of the infectious disease model and formulating successful strategies. Furthermore, our investigation indicated that meaningful parameters can be found and examined even in uncertainty. These research results suggest expanding this work to encompass control theory and other fractional operators.

    Parveen Kumar: Formal analysis, Writing–original draft, Methodology, Software, Validation; Sunil Kumar: Supervision, Conceptualization, Investigation, Writing–review and editing; Badr Saad T Alkahtani: Validation, Writing–review and editing, Conceptualization, Visualization; Sara S Alzaid: Investigation, Formal analysis, Visualization, Writing–original draft. All authors have read and agreed to the published version of the manuscript.

    This research was funded by Researchers Supporting Project number (RSPD2024R526), King Saud University, Riyadh, Saudi Arabia.

    This research was funded by Researchers Supporting Project number (RSPD2024R526), King Saud University, Riyadh, Saudi Arabia.

    All authors declare no conflicts of interest.



    [1] J. Wang, X. Xun, D. O. Ophthalmology, S. G. Hospital, Environmental risk factors for myopia and advances in its control and prevention, Shanghai Med. Pharm. J., 38 (2017), 3-7.
    [2] M. Kohlhaas, Corneal sensation after cataract and refractive surgery, J. Cataract Refract. Surg., 24 (1998), 1399-1409. doi: 10.1016/S0886-3350(98)80237-X
    [3] D. Z. Reinstein, T. J. Archer, M. Gobbe, The Key characteristics of corneal refractive surgery: biomechanics, spherical aberration, and corneal sensitivity after SMILE, in Small Incision Lenticule Extraction (SMILE), Springer, Cham, (2015), 123-142.
    [4] A. Gyldenkerne, A. Ivarsen, J. Hjortdal, Comparison of corneal shape changes and aberrations induced By FS-LASIK and SMILE for myopia, J. Refractive Surg., 31 (2015), 223-229. doi: 10.3928/1081597X-20150303-01
    [5] P. Wei, G. P. Cheng, J. Zhang, A.L. Ng, Y. Wang, Changes in corneal volume at different areas and its correlation with corneal biomechanics after SMILE and FS-LASIK surgery, J. Ophthalmol., 2020 (2020), 1-7.
    [6] G. Scarcelli, S. H. Yun, Brillouin scanning microscopy in keratoconus, in Keratoconus: Recent Advances in Diagnosis and Treatment, Springer International Publishing, (2017), 167-173.
    [7] N. Cartwright, J. R. Tyrer, P. D. Jaycock, J. Marshall, Effects of variation in depth and side cut angulations in LASIK and thin-flap LASIK using a femtosecond laser: a biomechanical study, J. Refractive Surg., 28 (2012), 419-425. doi: 10.3928/1081597X-20120518-07
    [8] D. V. Franus, Change in the stress-strain state of the cornea after refractive surgery, in 2015 International Conference on Mechanics-Seventh Polyakhov's Reading, IEEE, (2015), 1-4.
    [9] J. C. He, J. Gwiazda, F. Thorn, R. Held, Wave-front aberrations in the anterior corneal surface and the whole eye, J. Opt. Soc. Am. A, 20 (2003), 1155-1163. doi: 10.1364/JOSAA.20.001155
    [10] A. S. Roy, W. J. Dupps, Effects of altered corneal stiffness on native and postoperative LASIK corneal biomechanical behavior: a whole-eye finite element analysis, J. Refractive Surge., 25 (2009), 875-887. doi: 10.3928/1081597X-20090917-09
    [11] K. J. Bathe, D. Chapelle, Computational Fluid And Solid Mechanics: the Finite Element Analysis of Shells- Fundamentals, Springer, 2003.
    [12] M. Á. Ariza-Gracia, J. F. Zurita, D. P. Pinero, J. F. Rodriguez, Coupled biomechanical response of the cornea assessed by non-contact tonometry, a simulation study, PLOS ONE, 10 (2015), e0121486.
    [13] M. Kaliske, A formulation of elasticity and viscoelasticity for fibre reinforced material at small and finite strains, Comput. Methods Appl. Mech. Eng., 185 (2000), 225-243. doi: 10.1016/S0045-7825(99)00261-3
    [14] K. Anderson, A. El-Sheikh, T. Newson, Application of structural analysis to the mechanical behaviour of the cornea, J. R. Soc. Interface, 1 (2004), 1742-5662.
    [15] P. M. Pinsky, D. V. Datye, A microstructurally-based finite element model of the incised human cornea, J. Biomech., 24 (1991), 907-922. doi: 10.1016/0021-9290(91)90169-N
    [16] R. Shah, S. Shah, S. Sengupta, Results of small incision lenticule extraction: all-in-one femtosecond laser refractive surgery, J. Cataract Refractive Surg., 37 (2011), 127-137. doi: 10.1016/j.jcrs.2010.07.033
    [17] J. B. Randleman, B. Russell, M. A. Ward, K. P. Thompson, R. D. Stulting, Risk factors and prognosis for corneal ectasia after LASIK, Ophthalmology, 110 (2003), 267-275. doi: 10.1016/S0161-6420(02)01727-X
    [18] K. A. John, Comparison of corneal biomechanics after myopic small-incision lenticule extraction compared to LASIK: an ex vivo study, Clin. Ophthalmol., 12 (2018), 237-245. doi: 10.2147/OPTH.S153509
    [19] I. M. Osman, H. A. Helaly, M. Abdalla, M. A. Shousha, Corneal biomechanical changes in eyes with small incision lenticule extraction and laser assisted in situ keratomileusis, BMC Ophthalmol., 16 (2016), 123. doi: 10.1186/s12886-016-0304-3
    [20] T. F. Peinado, D. P. Piñ ero, I. A. López, J. L. Alio, Correlation of both corneal surfaces in corneal ectasia after myopic LASIK, Optom. Vision Sci., 88 (2011), E539-E542.
    [21] R. Grytz, K. Krishnan, R. Whitley, V. Libertiaux, J. C. Downs, A mesh-free approach to incorporate complex anisotropic and heterogeneous material properties into eye-specific finite element models, Comput. Methods Applied Mech. Eng., 358 (2020), 112654. doi: 10.1016/j.cma.2019.112654
    [22] J. G. Yu, F. J. Bao, Y. F. Feng, C. Whitford, A. Elsheikh, Assessment of corneal biomechanical behavior under posterior and anterior pressure, J. Refractive Surg., 29 (2013), 64-70. doi: 10.3928/1081597X-20121228-05
    [23] L. Fang, The influence of the aspheric profiles for transition zone on optical performance of human eye after conventional ablation, J. Eur. Opt. Soc. Rapid Publ., 9 (1990).
    [24] C. J. Roberts, W. J. Dupps, Biomechanics of corneal ectasia and biomechanical treatments, J. Cataract Refractive Surg., 40 (2014), 991-998. doi: 10.1016/j.jcrs.2014.04.013
    [25] M. Girard, W. J. Dupps, M. Baskaran, G. Scarcelli, S. H. Yun, H. A. Quigley, et al., Translating ocular biomechanics into clinical practice: current state and future prospects, Curr. Eye Res., 40 (2015), 1-18. doi: 10.3109/02713683.2014.914543
    [26] S. Ganesh, S. Brar, R. R. Arra, Refractive lenticule extraction small incision lenticule extraction: a new refractive surgery paradigm, Indian J. Ophthalmol., 66 (2018), 10-19. doi: 10.4103/ijo.IJO_761_17
    [27] W. Di, Y. Wang, L. Zhang, S. Wei, T. Xin, Corneal biomechanical effects: Small-incision lenticule extraction versus femtosecond laser-assisted laser in situ keratomileusis, J. Cataract Refractive Surg., 40 (2014), 954-962. doi: 10.1016/j.jcrs.2013.07.056
    [28] M. Balidis, Biomechanical profile of refractive surgery procedures, Acta Ophthalmol., 97 (2019).
    [29] P. J. Shih, I. J. Wang, W. F. Cai, J. Y. Yen, Biomechanical simulation of stress concentration and intraocular pressure in corneas subjected to myopic refractive surgical procedures, Sci. Rep., 7 (2017), 13906. doi: 10.1038/s41598-017-14293-0
    [30] M. I. Cordero-Mendieta, E. Pinos-Vélez, R. Coronel-Berrezueta, Study of corneal biomechanics and modeling of Young's module in healthy and pathological corneas, in International Conference on Applied Human Factors and Ergonomics, Springer, Cham, (2020), 99-105.
    [31] N. T. Mohammad, F. Craig, G. Dipika, Finite element modelling of cornea mechanics: a review, Arq. Bras. Oftalmol., 77 (2014), 60-65.
  • Reader Comments
  • © 2021 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(3424) PDF downloads(179) Cited by(5)

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog