Numerical Simulation for a Hybrid Variable-Order Multi-Vaccination COVID-19 Mathematical Model

Abstract

In this paper, a hybrid variable-order mathematical model for multi-vaccination COVID-19 is analyzed. The hybrid variable-order derivative is defined as a linear combination of the variable-order integral of Riemann–Liouville and the variable-order Caputo derivative. A symmetry parameter $\sigma$ is presented in order to be consistent with the physical model problem. The existence, uniqueness, boundedness and positivity of the proposed model are given. Moreover, the stability of the proposed model is discussed. The theta finite difference method with the discretization of the hybrid variable-order operator is developed for solving numerically the model problem. This method can be explicit or fully implicit with a large stability region depending on values of the factor $\Theta$. The convergence and stability analysis of the proposed method are proved. Moreover, the fourth order generalized Runge–Kutta method is also used to study the proposed model. Comparative studies and numerical examples are presented. We found that the proposed model is also more general than the model in the previous study; the results obtained by the proposed method are more stable than previous research in this area.

1. Introduction

Coronaviruses are a large family of viruses known to cause illnesses ranging from the common cold to more serious illnesses such as severe acute respiratory syndrome [1]. The World Health Organization has designated this variant as a variant of serious concern. The United States Centers for Disease Control and Prevention has granted Emergency Use Authorization to the following vaccines: Pfizer-BioNTech with $95\%$ efficacy against symptomatic COVID-19, Moderna vaccine with $94.5\%$ efficacy and Janssen vaccine manufactured by Johnson & Johnson, which has an efficacy rating of $67\%$, as well as many others [1,2]. SARS-CoV-2 vaccinations have been shown to be effective against infections, including both silent and symptomatic cases, of severe COVID-19 illness and deaths [2]. Mathematical modeling is a valuable tool to study disease spread and control very effectively. Several mathematical models have been proposed in the literature to study and understand the novel complex transmission pattern of the COVID-19 pandemic; see, for example, [3,4,5,6,7,8].

In the meantime, there are now extensive articles explaining the advantage of fractional order models for studying real mathematical models in various fields [9]. The variable-order fractional derivatives (VOFDs) can describe the effects of the long variable memory of a time-dependent system. In [10], Samko et al. proposed this interesting extension of the classical calculation of fractions. In the concept of fractional derivative with variable order, the order may vary either as a function of the independent differentiation variable $\left(t\right)$ or as a function of another (possibly spatial) variable $\left(x\right)$, or both. Therefore, the derivative models described using variable-order fractional derivatives are useful and appropriate for the epidemic models. We can obtain the results of fractional order and integer order as a special case from variable-order mathematical models [11,12,13,14,15,16,17,18].

In this article, we will present the theta finite different method with the discretization of new hybrid fractional operator. This operator is called the constant proportional Caputo variable-order fractional derivative (CPC-$\Theta$ FDM) and is used to study the proposed model numerically. In the literature, the theta finite differences method ($\Theta$FDM) method, also called the weighted average finite differences method (WAFDM), is one of the finite difference methods [19,20]. This method could be an explicit method or an implicit method (more stable and efficient), depending on the weight factor $\Theta \in [0,1]$. Using Caputo and Riesz–Feller derivatives, this method was developed for a nonstandard finite difference method [21,22].

The goal of this work is to present and analyze a hybrid variable-order fractional model of multi-vaccination for COVID-19. The new variable-order hybrid derivatives are defined as the linear combination of the variable-order Riemann–Liouville integral and the variable-order derivative of Caputo. This is one of the most effective and reliable of these operators; it is more general than the Caputo fractional operator. Positivity, boundedness and stability will be proved in the current model.

Moreover, one of the aims of this article is developing CPC-$\Theta$ FDM for solving the variable-order fractional differential equations numerically and we will compare the obtained results with the results obtained with the fourth order generalized Runge–Kutta method (GRK4M) [23] and the method in [24]. Moreover, we extended the method in [24] to variable order. The analysis of stability and convergence of the proposed method will be studied. Numerical simulations will be given to confirm the efficiency and wide applicability of the proposed method.

To our knowledge, no numerical investigations of a hybrid variable-order fractional for multi-vaccination for a COVID-19 mathematical model utilizing CPC-$\Theta$ FDM have been conducted.

This paper is organized as follows: Some notations and definitions of variable-order fractional derivatives are introduced in Section 2. In Section 3, the model with a hybrid variable order is presented; moreover, the positivity, boundedness, existence and uniqueness of the solutions and the stability of the present model are discussed. In Section 4, the numerical methods GRK4M and CPC-$\Theta$ SFDM are studied; moreover, stability analyses for these methods are proved. In Section 5, numerical simulations are presented. The conclusions are ultimately outlined in Section 6.

2. Notations and Preliminaries

In this section, we review several key definitions of variable-order calculus that will be utilized throughout the remainder of this article.

Definition 1. 

Caputo’s derivatives (right–left side variable-order fractional $\alpha \left(t\right)$) are defined, respectively, as follows [25]:

$$\begin{array}{cc}\hfill {(}^C{D}_{b-}^{\alpha \left(t\right)}f)\left(x\right)& ={(}_t^C{D}_b^{\alpha \left(t\right)}f)\left(t\right)=\frac{{(-1)}^n}{\Gamma (n-\alpha (t\left)\right)}{\int }_t^b\frac{f^{\left(n\right)}\left(s\right)}{{(s-t)}^{-n+\alpha \left(t\right)+1}}ds,b>t,\hfill \end{array}$$

(1)

$$\begin{array}{cc}\hfill {(}^C{D}_{a+}^{\alpha \left(t\right)}f)\left(t\right)& ={(}_a^C{D}_t^{\alpha \left(t\right)}f)\left(t\right)=\frac{1}{\Gamma (n-\alpha (t\left)\right)}{\int }_a^t\frac{f^{\left(n\right)}\left(s\right)}{{(t-\xi )}^{-n+\alpha \left(t\right)+1}}ds,t>a,\hfill \end{array}$$

(2)

$f\left(t\right)\in A{C}^n[a,b],$ $n=1+[\Re (\alpha \left(t\right)\left)\right]$, $\Re \left(\alpha \left(t\right)\right)\notin {\mathbb{N}}_0$.

Definition 2. 

Let $1>\alpha \left(t\right)>0,$ $-\infty <a<b<+\infty$; the right–left side variable-order fractional Riemann–Liouville’s integral and $f\left(t\right)\in A{C}^n[a,b]$ are given as follows [25]:

$$\begin{array}{c}\hfill {}_t{I}_b^{{}^{\alpha \left(t\right)}}f\left(t\right)=\left[{\int }_t^{b}f\left(s\right){(t-s)}^{\alpha \left(t\right)-1}ds\right]\frac{1}{\Gamma \left(\alpha \right(t\left)\right)},t<b,\end{array}$$

(3)

$$\begin{array}{c}\hfill {}_a{I}_t^{{}^{\alpha \left(t\right)}}f\left(t\right)=\left[{\int }_a^{t}f\left(s\right){(t-s)}^{\alpha \left(t\right)-1}ds\right]\frac{1}{\Gamma \left(\alpha \right(t\left)\right)},t>a.\end{array}$$

(4)

$\alpha \left(t\right)\in \mathbb{C}$.

Definition 3 

([26]). The variable-order fractional Caputo proportional operator (CP) is given as follows:

$$\begin{array}{cc}\hfill {}_0^{CP}{D}_t^{\alpha \left(t\right)}y\left(t\right)& ={\int }_0^t{(\Gamma (1-\alpha \left(t\right)))}^{-1}{(t-s)}^{-\alpha \left(t\right)}(y^{\prime }\left(s\right)K_0(s,\alpha \left(t\right))+y\left(s\right)K_1(s,\alpha \left(t\right)))ds,\hfill \\ \hfill & =\left(\frac{\Gamma {(1-\alpha \left(t\right))}^{-1}}{t^{\alpha \left(t\right)}}\right)(y^{\prime }\left(t\right)K_0(t,\alpha \left(t\right))+y\left(t\right)K_1(t,\alpha \left(t\right))).\hfill \end{array}$$

(5)

$K_1(\alpha \left(t\right),t)=(-\alpha \left(t\right)+1)t^{\alpha \left(t\right)}$, $K_0(\alpha \left(t\right),t)=t^{(1-\alpha (t\left)\right)}\alpha \left(t\right)$, $1>\alpha \left(t\right)>0$.

Alternatively, the constant proportional Caputo (CPC) variable-order fractional hybrid operator can be formulated as follows [26]:

$$\begin{array}{cc}\hfill {}_0^{CPC}{D}_t^{\alpha \left(t\right)}y\left(t\right)& =\left({\int }_0^t{(t-s)}^{-\alpha \left(t\right)}\frac{1}{\Gamma (1-\alpha (t\left)\right)}(K_1\left(\alpha \left(t\right)\right)y\left(s\right)+y^{\prime }\left(s\right)K_0\left(\alpha \left(t\right)\right))ds\right)\hfill \\ \hfill & =K_1{\left(\alpha \left(t\right)\right)}_0^{RL}{I}_t^{1-\alpha \left(t\right)}y\left(t\right)+K_0{\left(\alpha \left(t\right)\right)}_0^C{D}_t^{\alpha \left(t\right)}y\left(t\right),\hfill \end{array}$$

(6)

$K_0\left(\alpha \left(t\right)\right)=Q^{(-\alpha (t)+1)}\alpha \left(t\right)$, $K_1\left(\alpha \left(t\right)\right)=Q^{\alpha \left(t\right)}(-\alpha \left(t\right)+1)$, where Q is a constant.

Definition 4. 

Moreover, its inverse operator is [26]:

$$\begin{array}{cc}\hfill {}_0^{CPC}{I}_t^{\alpha \left(t\right)}y\left(t\right)& =\left({\int }_0^{t}exp\left[\frac{K_1\left(\alpha \left(t\right)\right)}{K_0\left(\alpha \left(t\right)\right)}(t-s)\right]{}_0^{RL}{D}_t^{1-\alpha \left(t\right)}y\left(s\right)ds\right)\frac{1}{K_0\left(\alpha \left(t\right)\right)}.\hfill \end{array}$$

(7)

3. A Hybrid Variable-Order Mathematical Model

A variable-order multiple vaccination model for COVID-19 is presented below; it is an extension of the model given in [24]. To satisfy the dimensional fit between the two sides of the resulting variable-order fraction equations, the variable-order operator is modified by an auxiliary parameter $\sigma$. As a result, the dimension of the left side is (day)${}^{-1}$ [27]. The following is the updated variable-order nonlinear fractional mathematical model:

$$\begin{array}{cc}\hfill \frac{1}{{\sigma }^{1-\alpha \left(t\right)}}{}_0^{CPC}{D}_t^{\alpha \left(t\right)}S=& \Lambda -{\nu }_{1}S-{\nu }_{2}S-{\nu }_{3}S-\lambda S-\mu S,\hfill \end{array}$$

$$\begin{array}{cc}\hfill \frac{1}{{\sigma }^{1-\alpha \left(t\right)}}{}_0^{CPC}{D}_t^{\alpha \left(t\right)}{V}_1=& {\nu }_{1}S-(1-{\xi }_1)\lambda V_1-\mu V_1,\hfill \\ \hfill \frac{1}{{\sigma }^{1-\alpha \left(t\right)}}{}_0^{CPC}{D}_t^{\alpha \left(t\right)}{V}_2=& {\nu }_{2}S-(1-{\xi }_2)\lambda V_2-\mu V_2,\hfill \\ \hfill \frac{1}{{\sigma }^{1-\alpha \left(t\right)}}{}_0^{CPC}{D}_t^{\alpha \left(t\right)}{V}_3=& {\nu }_{3}S-(1-{\xi }_3)\lambda V_3-\mu V_3,\hfill \\ \hfill \frac{1}{{\sigma }^{1-\alpha \left(t\right)}}{}_0^{CPC}{D}_t^{\alpha \left(t\right)}A=& f_3(1-{\xi }_3)\lambda V_3+f_2(1-{\xi }_2)\lambda V_2+f_1(1-{\xi }_1)\lambda V_1-({\gamma }_A+\mu )A+p\lambda S,\hfill \end{array}$$

$$\begin{array}{cc}\hfill \frac{1}{{\sigma }^{1-\alpha \left(t\right)}}{}_0^{CPC}{D}_t^{\alpha \left(t\right)}{I}_U=& (1-p)\lambda S-({\gamma }_{IU}+d_{IU}+{\alpha }_1\mu )I_U,\hfill \\ \hfill \frac{1}{{\sigma }^{1-\alpha \left(t\right)}}{}_0^{CPC}{D}_t^{\alpha \left(t\right)}{I}_V=& (1-f_2)(1-{\xi }_2)\lambda V_2+(1-f_3)(1-{\xi }_3)+(1-f_1)(1-{\xi }_1)\lambda V_1\lambda V_3\hfill \\ & -({\gamma }_{IV}+(1-\varphi )\alpha \mu +d_{IV})I_V,\hfill \end{array}$$

$$\begin{array}{cc}\hfill \frac{1}{{\sigma }^{1-\alpha \left(t\right)}}{}_0^{CPC}{D}_t^{\alpha \left(t\right)}{I}_S=& {\alpha }_1(1-\varphi )I_V-(d_{IS}+\mu +{\gamma }_{IS})I_S+{\alpha }_1{I}_U,\hfill \\ \hfill \frac{1}{{\sigma }^{1-\alpha \left(t\right)}}{}_0^{CPC}{D}_t^{\alpha \left(t\right)}R=& {\gamma }_{A}A+{\gamma }_{IU}{I}_U+{\gamma }_{IV}{I}_V+{\gamma }_{IS}{I}_S-\mu R.\hfill \end{array}$$

(8)

$$\lambda =\beta N_H^{-1}\left(I_U+\theta A+{\eta }_v{I}_v\right),$$

$$S+V_1+V_2+V_3+A+I_U+I_V+I_S+R=N_H\left(t\right),$$

with the initial conditions

$$\begin{gathered} \begin{array}{cc}\hfill S\left(0\right)& =s_0\ge 0,V_1\left(0\right)=v_{10}\ge 0,V_2=v_{20}\ge 0,V_3=v_{30}\ge 0,A=a_0\ge 0,I_U=i_{u0}\ge 0,\hfill \end{array} \\ \begin{array}{c}\hfill I_V=i_{v0}\ge 0,I_S=i_{s0},R\left(0\right)=r_0\ge 0.\end{array} \end{gathered}$$

(9)

Figure 1 shows the flowchart of the model (8). Table 1 shows the definitions of variables for system (8). The hypotheses of the model for the rate of each type of vaccination are the same as in [24], as follows:

1

$N_H\left(t\right)=S+V_1+V_2+V_3+A+I_u+I_v+I_s+R.$

2

Vaccination simulations of the proposed model in the strategy implementing only the Pfizer vaccine $(f_1\ne 0,{\xi }_1\ne 0,{\varphi }_1\ne 0,v_1\ne 0),$ where these parameters are defined as in Table 2.

3

Vaccination simulations of the proposed model in the strategy implementing only Moderna vaccine $({\xi }_2\ne 0,f_2\ne 0,v_2\ne 0,{\varphi }_2\ne 0).$

4

Vaccination simulations of the proposed model in the strategy implementing only Janssen vaccine $({\xi }_3\ne 0,f_3\ne 0,v_3\ne 0,{\varphi }_3\ne 0).$

We can verify the boundedness of the solution for the suggested model (8) as follows:

$$\frac{1}{{\sigma }^{1-\alpha \left(t\right)}}{(}_0^{CPC}{D}_t^{\alpha \left(t\right)}S{+}_0^{CPC}{D}_t^{\alpha \left(t\right)}R{+}_0^{CPC}{D}_t^{\alpha \left(t\right)}{V}_3{+}_0^{CPC}{D}_t^{\alpha \left(t\right)}{V}_2{+}_1^{CtV}+$$

$${}_0^{CPC}{D}_t^{\alpha \left(t\right)}A{+}_0^{CPC}{D}_t^{\alpha \left(t\right)}S{+}_0^{CPC}{D}_t^{\alpha \left(t\right)}{I}_s{+}_0^{CPC}{D}_t^{\alpha \left(t\right)}{I}_V{+}_0^{CPC}{D}_t^{\alpha \left(t\right)}{I}_U)={\sigma }^{-1+\alpha \left(t\right)}{}_0^{CPC}{D}_t^{\alpha \left(t\right)}{N}_H\left(t\right),$$

$$\begin{array}{cc}\hfill \frac{1}{{\sigma }^{1-\alpha \left(t\right)}}{}_0^{CPC}{D}_t^{\alpha \left(t\right)}{N}_H\left(t\right)& =\Lambda -\mu N_H\left(t\right)-[d_{IV}{I}_V+d_{IU}{I}_U+d_{IS}{I}_S],N_H\left(0\right)=A\ge 0,\hfill \end{array}$$

(10)

$$\Lambda -(\mu +3\delta )N_H\le \frac{d{N}_H}{dt}<\Lambda -\mu N_H,\delta =min\{d_{IV},d_{IU},d_{IS}\}.$$

Therefore, we have $N_H\left(t\right)\le \Lambda {\mu }^{-1},$ at $t⟶\infty .$ The feasible region

$$\Omega =\{S,A,I_U,I_V,I_S,R,V_3,V_1,V_2\in {\mathbb{R}}^9,N_H\left(t\right)\le \Lambda {\mu }^{-1}\}.$$

System (8) has a solution in $\Omega .$ This verifies the boundedness of the solution.

Table 1. Variables of system (8).

Variable	Interpretation
R	Humans who have recovered
S	Unvaccinated susceptible individuals
$V_3$	Vaccinated using vaccination number three (Oxford Johnson & Johnson)
$V_2$	Vaccinated using vaccination number two (Moderna)
$V_1$	Vaccinated using vaccination number one (Pfizer)
$I_S$	Individuals with severe sickness and hospitalization who are symptomatic
	(vaccinated and unvaccinated) (under complete isolation)
$I_V$	Symptomatic people who have been vaccinated
$I_U$	Symptomatic people who have not been immunized
A	Asymptomatic individuals (vaccinated and unvaccinated)

Table 1. Variables of system (8).

Variable	Interpretation
R	Humans who have recovered
S	Unvaccinated susceptible individuals
$V_3$	Vaccinated using vaccination number three (Oxford Johnson & Johnson)
$V_2$	Vaccinated using vaccination number two (Moderna)
$V_1$	Vaccinated using vaccination number one (Pfizer)
$I_S$	Individuals with severe sickness and hospitalization who are symptomatic
	(vaccinated and unvaccinated) (under complete isolation)
$I_V$	Symptomatic people who have been vaccinated
$I_U$	Symptomatic people who have not been immunized
A	Asymptomatic individuals (vaccinated and unvaccinated)

Figure 1. Flowchart for system (8).

Figure 1. Flowchart for system (8).

Theorem 1. 

Using (9), for $t\ge 0$ solutions of (8) are still nonnegative.

Proof. 

Using (9), we obtain [28]:

$$\begin{array}{cc}\hfill \frac{1}{{\sigma }^{1-\alpha \left(t\right)}}{}_0^{CPC}{D}_t^{\alpha \left(t\right)}S{\mid }_{S=0}=& \Lambda \ge 0,\hfill \\ \hfill \frac{1}{{\sigma }^{1-\alpha \left(t\right)}}{}_0^{CPC}{D}_t^{\alpha \left(t\right)}{V}_1{\mid }_{V_1=0}=& V_{1}S\ge 0,\hfill \\ \hfill \frac{1}{{\sigma }^{1-\alpha \left(t\right)}}{}_0^{CPC}{D}_t^{\alpha \left(t\right)}{V}_2{\mid }_{V_2=0}=& V_{2}S\ge 0,\hfill \\ \hfill \frac{1}{{\sigma }^{1-\alpha \left(t\right)}}{}_0^{CPC}{D}_t^{\alpha \left(t\right)}{V}_3{\mid }_{V_3=0}=& V_{3}S\ge 0,\hfill \\ \hfill \frac{1}{{\sigma }^{1-\alpha \left(t\right)}}{}_0^{CPC}{D}_t^{\alpha \left(t\right)}A{\mid }_{A=0}=& (1-{\xi }_2)f_2\lambda V_2+(1-{\xi }_3)f_3\lambda V_3+p\lambda S+(1-{\xi }_1)f_1\lambda V_1\ge 0,\hfill \\ \hfill \frac{1}{{\sigma }^{1-\alpha \left(t\right)}}{}_0^{CPC}{D}_t^{\alpha \left(t\right)}{I}_U{\mid }_{I_U=0}=& (1-p)\lambda S\ge 0,\hfill \\ \hfill \frac{1}{{\sigma }^{1-\alpha \left(t\right)}}{}_0^{CPC}{D}_t^{\alpha \left(t\right)}{I}_V{\mid }_{I_V=0}=& (1-{\xi }_2)\lambda (1-f_2)V_2+(1-{\xi }_3)\lambda V_3(1-f_3)+(1-{\xi }_1)\lambda V_1(1-f_1)\ge 0,\hfill \\ \hfill \frac{1}{{\sigma }^{1-\alpha \left(t\right)}}{}_0^{CPC}{D}_t^{\alpha \left(t\right)}{I}_S{\mid }_{I_S=0}=& {\alpha }_1{I}_U+(1-\varphi ){\alpha }_1{I}_V\ge 0,\hfill \\ \hfill \frac{1}{{\sigma }^{-\alpha \left(t\right)+1}}{}_0^{CPC}{D}_t^{\alpha \left(t\right)}R{\mid }_{R=0}=& {\gamma }_{A}A+{\gamma }_{IU}{I}_U+{\gamma }_{IV}{I}_V+{\gamma }_{IS}{I}_S\ge 0.\hfill \end{array}$$

(11)

□

3.1. Uniqueness and Existence

The existence and uniqueness of the solutions of the proposed model will be established using Banach fixed point theorem. Let system (8) be written as follows [4]:

$$\begin{array}{cc}\hfill {}_0^{CPC}{D}_t^{\alpha \left(t\right)}\epsilon \left(t\right)& =\varpi (\epsilon \left(t\right),t),\epsilon \left(0\right)={\epsilon }_0\ge 0,\hfill \end{array}$$

(12)

$\epsilon \left(t\right)={\left(S,A,I_U,I_V,I_S,R,V_3,V_1,V_2\right)}^T$ represents the variables of the proposed system (8) and $\varpi$ is a vector that represents the equations in the right of the system (8).

$$\left(\begin{array}{c}{\varpi }_1\\ {\varpi }_2\\ {\varpi }_3\\ {\varpi }_4\\ {\varpi }_5\\ {\varpi }_6\\ {\varpi }_7\\ {\varpi }_8\\ {\varpi }_9\end{array}\right)=\left(\begin{array}{c}{\sigma }^{1-\alpha \left(t\right)}(\Lambda -{\nu }_{1}S-{\nu }_{2}S-{\nu }_{3}S-\lambda S-\mu S)\\ {\sigma }^{1-\alpha \left(t\right)}({\nu }_{1}S-(1-{\xi }_1)\lambda V_1-\mu V_1)\\ {\sigma }^{1-\alpha \left(t\right)}({\nu }_{1}S-(1-{\xi }_2)\lambda V_2-\mu V_2)\\ {\sigma }^{1-\alpha \left(t\right)}({\nu }_{1}S-(1-{\xi }_3)\lambda V_3-\mu V_3)\\ {\sigma }^{1-\alpha \left(t\right)}((1-{\xi }_2)\lambda f_2{V}_2+(1-{\xi }_1)\lambda f_1{V}_1+(1-{\xi }_3)\lambda f_3{V}_3-({\gamma }_A+\mu )A)+p\lambda S\\ {\sigma }^{1-\alpha \left(t\right)}((1-p)\lambda S-({\gamma }_{IU}+d_{IU}+{\alpha }_1\mu )I_U)\\ {\sigma }^{1-\alpha \left(t\right)}((1-{\xi }_2)\lambda (1-f_2)V_2+(1-{\xi }_3)\lambda (1-f_3)V_3+(1-{\xi }_1)\lambda (1-f_1)V_1-(d_{IV}+\alpha (1-\varphi )\mu )I_V+{\gamma }_{IV})\\ {\sigma }^{1-\alpha \left(t\right)}({\alpha }_1{I}_U-(d_{IS}+\mu +{\gamma }_{IS})I_S)+{\alpha }_1(1-\varphi )I_V\\ {\sigma }^{1-\alpha \left(t\right)}({\gamma }_{IU}{I}_U+{\gamma }_{IV}{I}_V+{\gamma }_{IS}{I}_S-\mu R+{\gamma }_{A}A)\end{array}\right),$$

with an initial condition ${\epsilon }_0.$ Furthermore, Lipschitz requirements as in [4] are satisfied:

$$\begin{array}{cc}\hfill \parallel \varpi ({\epsilon }_1\left(t\right),t)-\varpi ({\epsilon }_2\left(t\right),t)\parallel & \le W^0\parallel {\epsilon }_1\left(t\right)-{\epsilon }_2\left(t\right)\parallel ,W^0\in \mathbb{R}.\hfill \end{array}$$

(13)

Theorem 2. 

If the following conditions are met:

$$\begin{array}{cc}\hfill \frac{W^0{ϝ}_{max}^{\alpha \left(t\right)}{X}_{max}^{\alpha \left(t\right)}}{\Gamma (\alpha \left(t\right)-1)K_0\left(\alpha \left(t\right)\right)}& <1,\hfill \end{array}$$

(14)

the hybrid variable-order fractional model (8) has a unique solution.

Proof. 

Applying (6) in (12), we have:

$$\begin{array}{cc}\hfill \epsilon \left(t\right)& =\epsilon \left(t_0\right)+\frac{1}{K_0\left(\alpha \left(t\right)\right)}{\int }_0^{t}exp{(-\frac{K_1\left(\alpha \left(t\right)\right)}{K_0\left(\alpha \left(t\right)\right)}(t-s))}_0^{RL}{D}_t^{1-\alpha \left(t\right)}\varpi (\epsilon \left(s\right),s)ds.\hfill \end{array}$$

(15)

Let $B:C(K,{\mathbb{R}}^9)⟶C(K,{\mathbb{R}}^9)$ and $K=(0,T)$; then:

$$\begin{array}{cc}\hfill B\left[\epsilon \right(t\left)\right]& =\epsilon \left(t_0\right)+\frac{1}{K_0\left(\alpha \left(t\right)\right)}{\int }_0^{t}exp{(-\frac{K_1\left(\alpha \left(t\right)\right)}{K_0\left(\alpha \left(t\right)\right)}(t-s))}_0^{RL}{D}_t^{1-\alpha \left(t\right)}\varpi (\epsilon \left(s\right),s)ds.\hfill \end{array}$$

(16)

We have:

$$B\left[\epsilon \right(t\left)\right]=\epsilon \left(t\right).$$

The supremum norm on K is represented by ${\parallel .\parallel }_K$. Thus

$${\parallel \epsilon \left(t\right)\parallel }_K=\underset{t\in K}{sup}\parallel \epsilon \left(t\right)\parallel ,\epsilon \left(t\right)\in C(K,{\mathbb{R}}^9).$$

So, ${\parallel .\parallel }_K$ with $C(K,{\mathbb{R}}^9)$ is a Banach space. Then, the following relation holds:

$${\Lambda \parallel \phi (s,t)\parallel }_K{\parallel \epsilon \left(s\right)\parallel }_K\ge \parallel {\int }_0^t\phi (s,t)\epsilon \left(s\right)ds\parallel ,0<t<\Lambda <\infty$$

with $\phi (s,t)\in C(K^2,{\mathbb{R}}^9)$ $\epsilon \left(t\right)\in C(K,{\mathbb{R}}^9)$, then ${sup}_{t,s\in K}\left|\phi (s,t)\right|={\parallel \phi (s,t)\parallel }_K.$

Relation (16) can be written as:

$$\begin{array}{cc}\parallel B\left[{\epsilon }_1\left(t\right)\right]-B\left[{\epsilon }_2\left(t\right)\right]{\parallel }_K\hfill & \le \parallel \frac{1}{K_0\left(\alpha \left(t\right)\right)}{\int }_0^{t}exp(-\frac{K_1\left(\alpha \left(t\right)\right)}{K_0\left(\alpha \left(t\right)\right)}(t-s)){(}_0^{RL}{D}_t^{1-\alpha \left(t\right)}\varpi ({\epsilon }_1\left(s\right),s)\hfill \\ \hfill & {-}_0^{RL}{D}_t^{1-\alpha \left(t\right)}\varpi ({\epsilon }_2\left(s\right),s){)ds\parallel }_K.\hfill \\ \hfill & \le \frac{{ϝ}_{max}^{\alpha \left(t\right)}}{K_0\left(\alpha \left(t\right)\right)\Gamma (\alpha \left(t\right)-1)}{\parallel {\int }_0^t{(t-s)}^{\alpha \left(t\right)-2}(\varpi ({\epsilon }_1\left(s\right),s)-\varpi ({\epsilon }_2\left(s\right),s))ds\parallel }_K,\hfill \\ \hfill & \le \frac{{ϝ}_{max}^{\alpha \left(t\right)}{X}_{max}^{\alpha \left(t\right)}}{K_0\left(\alpha \left(t\right)\right)\Gamma (\alpha \left(t\right)-1)}{\parallel \varpi ({\epsilon }_1\left(t\right),t)-\varpi ({\epsilon }_2\left(t\right),t)\parallel }_K,\hfill \\ \hfill & \le \frac{W^0{ϝ}_{max}^{\alpha \left(t\right)}{X}_{max}^{\alpha \left(t\right)}}{K_0\left(\alpha \left(t\right)\right)\Gamma (\alpha \left(t\right)-1)}{\parallel {\epsilon }_1\left(t\right)-{\epsilon }_2\left(t\right)\parallel }_K.\hfill \end{array}$$

(17)

Then

$$\begin{array}{c}\hfill \parallel B\left[{\epsilon }_1\left(t\right)\right]-B\left[{\epsilon }_2\left(t\right)\right]{\parallel }_K\le L{\parallel {\epsilon }_1\left(t\right)-{\epsilon }_2\left(t\right)\parallel }_K,\end{array}$$

(18)

where

$$L=\frac{W^0{ϝ}_{max}^{\alpha \left(t\right)}{X}_{max}^{\alpha \left(t\right)}}{K_0\left(\alpha \left(t\right)\right)\Gamma (\alpha \left(t\right)-1)}.$$

B is a contraction operator if $1>L.$ So (8) has a unique solution. □

Table 2. The definition of all parameters of system (8).

Parameter	Interpretation	Baseline Value (per day−1)	Reference
$\Lambda$	Recruitment rate	$\frac{29,200,000}{75\times 365}$ day${}^{-1}$	[29]
$\beta$	Rate of effective transmission	0.00016708	[24]
$\mu$	Natural death rate	$\frac{1}{75\times 365}$ day${}^{-1}$	[29]
${\xi }_3$	Efficacy of the Janssen vaccine	$0.67$	[1]
${\xi }_2$	Efficacy of the Moderena vaccine	$0.945$	[30]
${\xi }_1$	Efficacy of the Pfizer vaccine	$0.95$	[31]
${\nu }_3$	Rate of Janssen vaccination	$0.00053$ day${}^{-1}$	[24]
${\nu }_2$	Rate of Moderena vaccination	$0.0042$ day${}^{-1}$	[24]
${\nu }_1$	Rate of Pfizer vaccination	$0.0059$ day${}^{-1}$	[24]
p	Unvaccinated susceptibles who move to the asymptomatic stage are a small percentage of the total	$0.5$	[24]
$\theta$	A parameter was changed to limit the transmissibility of asymptomatic people	$0.7$	[32]
$\varphi$	Vaccine effectiveness against severe COVID-19 sickness	$0.8$	[2]
$f_i$	The percentage of susceptibles who received the vaccine and went on to develop subclinical disease	$0.5$	[24]
${\gamma }_A,{\gamma }_{IU},{\gamma }_{IV},{\gamma }_{IS}$	Individuals in $A,I_U,I_V$ and $I_S$ classes, respectively; the programme has a high rate of recovery	$0.13978$ day${}^{-1}$	[24]
$d_{IU},d_{IV},d_{IS}$	Death rates from disease for people in the $I_U$, $I_V$ and $I_S$ groups, respectively	$0.015$	[32]
${\alpha }_1$	The rate at which severe COVID-19 sickness develops	$0.3$	[32]

Table 2. The definition of all parameters of system (8).

Parameter	Interpretation	Baseline Value (per day−1)	Reference
$\Lambda$	Recruitment rate	$\frac{29,200,000}{75\times 365}$ day${}^{-1}$	[29]
$\beta$	Rate of effective transmission	0.00016708	[24]
$\mu$	Natural death rate	$\frac{1}{75\times 365}$ day${}^{-1}$	[29]
${\xi }_3$	Efficacy of the Janssen vaccine	$0.67$	[1]
${\xi }_2$	Efficacy of the Moderena vaccine	$0.945$	[30]
${\xi }_1$	Efficacy of the Pfizer vaccine	$0.95$	[31]
${\nu }_3$	Rate of Janssen vaccination	$0.00053$ day${}^{-1}$	[24]
${\nu }_2$	Rate of Moderena vaccination	$0.0042$ day${}^{-1}$	[24]
${\nu }_1$	Rate of Pfizer vaccination	$0.0059$ day${}^{-1}$	[24]
p	Unvaccinated susceptibles who move to the asymptomatic stage are a small percentage of the total	$0.5$	[24]
$\theta$	A parameter was changed to limit the transmissibility of asymptomatic people	$0.7$	[32]
$\varphi$	Vaccine effectiveness against severe COVID-19 sickness	$0.8$	[2]
$f_i$	The percentage of susceptibles who received the vaccine and went on to develop subclinical disease	$0.5$	[24]
${\gamma }_A,{\gamma }_{IU},{\gamma }_{IV},{\gamma }_{IS}$	Individuals in $A,I_U,I_V$ and $I_S$ classes, respectively; the programme has a high rate of recovery	$0.13978$ day${}^{-1}$	[24]
$d_{IU},d_{IV},d_{IS}$	Death rates from disease for people in the $I_U$, $I_V$ and $I_S$ groups, respectively	$0.015$	[32]
${\alpha }_1$	The rate at which severe COVID-19 sickness develops	$0.3$	[32]

3.2. Local Stability

The basic reproduction number is calculated in this section. The next generation operator method is used to investigate the local stability of the disease-free equilibrium (DFE), which is given by solving $\frac{1}{{\sigma }^{1-\alpha \left(t\right)}}{}_0^{CPC}{D}_t^{\alpha \left(t\right)}(.)=0$ of model (8) and considering $I_U=I_V=I_S=0.$ Then, we obtained $D_0$, where $D_0$ is the DFE and is given by [33]:

$$D_0=(\tilde{S},{\tilde{V}}_3,{\tilde{V}}_2,{\tilde{V}}_1,\tilde{A},{\tilde{I}}_V,{\tilde{I}}_S,{\tilde{I}}_U,\tilde{R})=$$

$$(\frac{\Lambda }{({\nu }_3+{\nu }_2+{\nu }_1+\mu )},\frac{{\nu }_3\Lambda }{({\nu }_3+{\nu }_2+{\nu }_1+\mu )},\frac{{\nu }_2\Lambda }{({\nu }_3+{\nu }_2+{\nu }_1+\mu )},\frac{{\nu }_1\Lambda }{({\nu }_1+{\nu }_2+{\nu }_3+\mu )},$$

$$\frac{\Lambda }{({\nu }_1+{\nu }_{\lambda }2+{\nu }_3+\mu )},0,0,0,0).$$

As a result, the matrix V of the transfer of individuals between compartments and the matrix F of new infection terms are provided by

$$F={\sigma }^{1-\alpha \left(t\right)}\left(\begin{array}{cccc}\frac{\beta \theta \tilde{Q}}{{\tilde{N}}_H}& \frac{\beta \tilde{Q}}{{\tilde{N}}_H}& \frac{\beta {\eta }_V\tilde{Q}}{{\tilde{N}}_H}& 0\\ (1-p)\frac{\beta \theta \tilde{S}}{{\tilde{N}}_H}& (1-p)\frac{\beta \tilde{S}}{{\tilde{N}}_H}& (1-p)\frac{\beta {\eta }_V\tilde{S}}{{\tilde{N}}_H}& 0\\ \frac{\beta \theta \tilde{\nu }}{{\tilde{N}}_H}& \frac{\beta \tilde{\nu }}{{\tilde{N}}_H}& \frac{\beta {\eta }_V\tilde{\nu }}{{\tilde{N}}_H}& 0\\ 0& 0& 0& 0\end{array}\right),$$

with $\tilde{\nu }=(1-{\xi }_3)(1-f_3){\tilde{V}}_3+(1-{\xi }_2)(1-f_2){\tilde{V}}_2+(1-{\xi }_1)(1-f_1){\tilde{V}}_1,$

$\tilde{Q}=(1-{\xi }_3)f_3{\tilde{V}}_3+(1-{\xi }_1)f_1{\tilde{V}}_1+(1-{\xi }_2)f_2{\tilde{V}}_2+p\tilde{S}.$

$V={\sigma }^{1-\alpha \left(t\right)}\left(\begin{array}{cccc}\mu +{\gamma }_A& 0& 0& 0\\ 0& {\gamma }_{IU}+d_{IU}+{\alpha }_1+\mu & 0& 0\\ 0& 0& {\gamma }_{IV}+d_{IV}+(1-\varphi ){\alpha }_1+\mu & 0\\ 0& -{\alpha }_1& -(1-\varphi ){\alpha }_1& {\gamma }_{IU}+d_{IU}+\mu \end{array}\right).$

The model’s basic reproduction number, denoted by $R_0,$ is given by [34,35]:

$$\begin{array}{cc}\hfill \rho \left(F{V}^{-1}\right)=R_0& ={\sigma }^{1-\alpha \left(t\right)}\beta \left(\frac{(1-p)E_1{E}_3\mu +E_1{E}_2{\eta }_V{Y}_1+E_2{E}_3{\eta }_A\theta Y_2}{\mu ({\nu }_1+{\nu }_2+{\nu }_3)E_1{E}_2{E}_3}\right).\hfill \end{array}$$

(19)

with $E_1=({\gamma }_A+\mu ),$

$E_2=({\gamma }_{IU}+d_{IU}+{\alpha }_1+\mu ),$

$E_3=({\alpha }_1(1-\varphi )+d_{IV}+\mu +{\gamma }_{IV}),$

$Y_1=(1-{\xi }_3)(1-f_3){\nu }_3+(1-{\xi }_1)(1-f_1){\nu }_1+(1-{\xi }_2)(1-f_2){\nu }_2,$

$Y_2=(1-{\xi }_3)f_3{\nu }_3+(1-{\xi }_2)f_2{\nu }_2+\mu p(1-{\xi }_1)f_1{\nu }_1.$

Theorem 3. 

The disease-free equilibrium point $D_0$ of model (8) is locally asymptotically stable (LAS) if $R_0<1$ and unstable if $R_0>1$.

Proof. 

The Jacobian matrix of the system (8) at the DFE is used to investigate the local stability of model (8) [33,36].

$$J\left({\mathit{D}}_0\right)={\sigma }^{1-\alpha \left(t\right)}\left(\begin{array}{ccccccccc}X& 0& 0& 0& A_1& A_2& A_3& 0& 0\\ {\nu }_1& -\mu & 0& 0& B_1& B_2& B_3& 0& 0\\ {\nu }_2& 0& -\mu & 0& F_1& F_2& F_3& 0& 0\\ {\nu }_3& 0& 0& -\mu & G_1& G_2& G_3& 0& 0\\ 0& 0& 0& 0& M_1& M_2& M_3& 0& 0\\ 0& 0& 0& 0& N_1& N_2& N_3& 0& 0\\ 0& 0& 0& 0& Z_1& Z_2& Z_3& 0& 0\\ 0& 0& 0& 0& 0& {\alpha }_1& (1-\varphi ){\alpha }_1& -E_4& 0\\ 0& 0& 0& 0& {\gamma }_A& {\gamma }_{IU}& {\gamma }_{IV}& {\gamma }_{IS}& -\mu \end{array}\right),$$

where $X=-({\nu }_1+{\nu }_2+{\nu }_3+\mu ),$ $A_1=-\frac{\beta \theta {\tilde{S}}_H}{{\tilde{N}}_H},$ $A_2=-\frac{\beta {\tilde{S}}_H}{{\tilde{N}}_H},$ $A_3=-\frac{\beta {\eta }_V{\tilde{S}}_H}{{\tilde{N}}_H},$

$B_1=-(1-{\xi }_1)\frac{\beta \theta {\tilde{V}}_1}{{\tilde{N}}_H},$$B_2=-(1-{\xi }_1)\frac{\beta {\tilde{V}}_1}{{\tilde{N}}_H},$$B_3=-(1-{\xi }_1)\frac{\beta {\eta }_V{\tilde{V}}_1}{{\tilde{N}}_H},$

$F_1=-(1-{\xi }_2)\frac{\beta \theta {\tilde{V}}_2}{{\tilde{N}}_H},$$F_2=-(1-{\xi }_2)\frac{\beta {\tilde{V}}_2}{{\tilde{N}}_H},$$F_3=-(1-{\xi }_2)\frac{\beta {\eta }_V{\tilde{V}}_2}{{\tilde{N}}_H},$

$G_1=-(1-{\xi }_3)\frac{\beta \theta {\tilde{V}}_3}{{\tilde{N}}_H},$$G_2=-(1-{\xi }_3)\frac{\beta {\tilde{V}}_3}{{\tilde{N}}_H},$$G_3=-(1-{\xi }_3)\frac{\beta {\eta }_V{\tilde{V}}_3}{{\tilde{N}}_H},$

$M_1=\frac{\beta \theta \tilde{Q}}{{\tilde{N}}_H}-E_1,$$M_2=\frac{\beta \tilde{Q}}{{\tilde{N}}_H},$$M_3=\frac{\beta {\eta }_V\tilde{Q}}{{\tilde{N}}_H},$

$N_1=\frac{\beta \theta (1-p){\tilde{S}}_H}{{\tilde{N}}_H},$$N_2=\frac{\beta (1-p){\tilde{S}}_H}{{\tilde{N}}_H}-E_2,$$N_3=\frac{\beta (1-p){\eta }_V{\tilde{S}}_H}{{\tilde{N}}_H},$

$Z_1=\frac{\beta \theta \tilde{\nu }}{{\tilde{N}}_H},$$Z_2=\frac{\beta \tilde{\nu }}{{\tilde{N}}_H},$$Z_3=\frac{\beta {\eta }_V\tilde{\nu }}{{\tilde{N}}_H}-E_3,$

$E_4=({\gamma }_{IS}+d_{IS}+\mu ).$

The characteristic equation:

$$\begin{gathered} ({\nu }_3+{\nu }_1+{\nu }_2+\mu +\lambda )({\lambda }^3+(E_1+E_2+E_3-\frac{(1-p)\tilde{S}+{\eta }_V\tilde{\nu }+{\eta }_V\theta \tilde{Q}}{\widetilde{N_H}}\beta ){\lambda }^2 \\ +(E_1{E}_2+E_1{E}_3+E_2{E}_3-\beta [(E_1+E_3)(1-p)\tilde{S}+(E_1+E_2){\eta }_V\tilde{\nu } \\ +(E_2+E_3){\eta }_A\theta \tilde{Q}])\lambda +E_1{E}_2{E}_3(1-R_0)){(\mu +\lambda )}^4(\lambda +E_4)=0. \end{gathered}$$

Then, we have

$(\lambda +\mu )=0,(\lambda +E_4)=0,(\lambda +{\nu }_1+{\nu }_2+{\nu }_3+\mu )=0;$ the arguments are $arg\left({\lambda }_k\right)>\frac{\pi }{a}>k\frac{2\pi }{a}>\frac{\pi }{M}>\frac{\pi }{2M},$ where $k=0,1,2,3,\dots ,a-1.$

$$\begin{gathered} ({\lambda }^3+(E_1+E_2+E_3-\beta \frac{(1-p)\tilde{S}+{\eta }_V\tilde{\nu }+{\eta }_V\theta \tilde{Q}}{\tilde{N}}){\lambda }^2+(E_1{E}_2+E_1{E}_3+E_2{E}_3- \\ \beta [(E_1+E_3)(1-p)\tilde{S}+(E_1+E_2){\eta }_V\tilde{\nu }+(E_2+E_3){\eta }_A\theta \tilde{Q}])\lambda +E_1{E}_2{E}_3(1-R_0))=0. \end{gathered}$$

We can rewrite the above equation as:

$$\begin{array}{cc}\hfill & {\lambda }^3+a{\lambda }^2+b\lambda +c=0,\hfill \end{array}$$

(20)

where

$$a=(E_1+E_2+E_3-\beta \frac{(1-p)\tilde{S}+{\eta }_V\tilde{\nu }+{\eta }_V\theta \tilde{Q}}{\tilde{N}}),$$

$$b=(E_1{E}_2+E_1{E}_3+E_2{E}_3-\beta [(E_1+E_3)(1-p)\tilde{S}+(E_1+E_2){\eta }_V\tilde{\nu }+(E_2+E_3){\eta }_A\theta \tilde{Q}]),$$

$$c=E_1{E}_2{E}_3(1-R_0).$$

$$\begin{array}{cc}\hfill & {\lambda }^3+a{\lambda }^2+b\lambda +c=0,\hfill \end{array}$$

(21)

We obtain

$$\begin{array}{cc}\hfill & {\lambda }^3+a{\lambda }^2+b\lambda +c=(\lambda -{\zeta }_{11})({\lambda }^2-\tau \lambda +{\zeta }_{11}),\hfill \end{array}$$

(22)

$$\begin{array}{cc}\hfill & \tau =-(a+{\zeta }_{11}),\hfill \end{array}$$

(23)

$$\begin{array}{cc}\hfill & {\zeta }_{11}=b+{\zeta }_{11}(a+{\zeta }_{11}),\hfill \end{array}$$

(24)

$$\begin{array}{cc}\hfill & c=-{\zeta }_{11}{\delta }_{11},\hfill \end{array}$$

(25)

Hence, the other two roots are given by

$$\begin{array}{cc}\hfill & {\zeta }_{11,2,3}=\frac{1}{2}(\tau \pm \sqrt{▵}),\hfill \end{array}$$

(26)

$$\begin{array}{c}\hfill ▵={\tau }^2-4{\delta }_{11}=a^2-2a{\zeta }_{11}-(3{\zeta }_{11}^2+4b).\end{array}$$

(27)

These two roots are complex conjugate when $▵<0$, real and distinct when $▵>0$, and real and conincident when $▵=0$.

Considering that $▵=0$ occurs $a={\zeta }_{11}\pm 2\sqrt{{\zeta }_{11}^2+b},$ we have that if ${\zeta }_{11}^2+b<0,$ then $▵>0$ and two distinct real roots given by

$${\zeta }_{11,2,3}=\frac{1}{2}(\tau \pm \sqrt{▵}).$$

If ${\zeta }_{11}^2+b=0$ then $▵={(a-{\zeta }_{11})}^2$ and two distinct real roots exist given by

$${\zeta }_{11,2,3}=\frac{1}{2}(\tau \pm |a-{\zeta }_{11}\left|\right).$$

So that ${\zeta }_{11,2}=-{\zeta }_{11,1}$ and ${\zeta }_{11,3}=-a,$ if ${\zeta }_{11,1}^2+b>0$ and $({\zeta }_{11}-2\sqrt{{\zeta }_{11}^2+b})<a<({\zeta }_{11}+2\sqrt{{\zeta }_{11}^2+b}),$ then $▵<0$ and two complex conjugate roots exist, given by ${\zeta }_{11,2,3}={\alpha }_{11}\pm i{B}_{11}$ where ${\alpha }_{22}=\frac{\tau }{2},$ $B_{11}=\frac{\sqrt{4{\delta }_{11}-{\tau }_2}}{2}=\sqrt{{\delta }_{11}-{\alpha }_{11}^2}.$ $a=({\zeta }_{11}-2\sqrt{\left({\zeta }_{11}^2\right)+b})$ or $a=({\zeta }_{11}-2\sqrt{\left({\zeta }_{11}^2\right)+a_2})$, then $(▵=0)$ and two concident real roots exist given by ${\zeta }_{11,2}={\zeta }_{11,3}=\frac{\tau }{2}=\frac{a+{\zeta }_{11}}{2}$ $a<({\zeta }_{11}-2\sqrt{\left({\zeta }_{11}^2\right)+a_2})$ or $a_1>({\zeta }_{11}-2\sqrt{\left({\zeta }_{11}^2\right)+b}).$ Then, $▵=0$ and two distinct real roots exists given by

$${\zeta }_{11,2,3}=\frac{1}{2}(\tau \pm \sqrt{▵}).$$

Applying the Routh–Hurwitz criterion [37], Equation (27) has roots with negative real parts if and only if $R_0<1.$ Thus, the DFE is locally asymptotically stable. □

4. Numerical Methods for Solving the Proposed Model

4.1. GRK4M

Consider the fractional derivatives with variable order given by the following equation:

$$\begin{gathered} {}_0^C{D}_t^{\alpha \left(t\right)}\epsilon \left(t\right)=f(t,\epsilon \left(t\right)),T_f\ge t>0,1\ge \alpha \left(t\right)>0, \\ \epsilon \left(0\right)={\epsilon }_o \end{gathered}$$

(28)

.

Using GRK4M [23], the approximate solution of (28) is:

$${\epsilon }_{n+1}={\epsilon }_n+{\displaystyle \frac{1}{6}}(K_1+2K_2+2K_3+K_4),$$

(29)

$$K_1={\rm Y}f(t_n,{\epsilon }_n),$$

$$K_2={\rm Y}f(t_n+\frac{1}{2}{\rm Y},{\epsilon }_n+\frac{1}{2}{K}_1),$$

$$K_3={\rm Y}f(t_n+\frac{1}{2}{\rm Y},{\epsilon }_n+\frac{1}{2}{K}_2),$$

$$K_4={\rm Y}f(t_n+{\rm Y},{\epsilon }_n+K_3),$$

where ${\rm Y}={\displaystyle \frac{{\tau }^{\alpha \left(t_n\right)}}{\Gamma (\alpha \left(t_n\right)+1)}}$.

4.2. Stability of GRK4M

To investigate the stability of GRK4M, we shall utilize the following test problem of variable-order linear differential equation for simplicity:

$$\begin{gathered} {}_0^C{D}_t^{\alpha \left(t\right)}\epsilon \left(t\right)=\epsilon \left(t\right)\upsilon ,T_f\ge t>0,\upsilon <0,1\ge \alpha \left(t\right)>0, \\ \epsilon \left(0\right)={\epsilon }_o. \end{gathered}$$

(30)

As in [23], Equation (30) is written as follows:

$$\epsilon \left(t_{i+1}\right)=\epsilon \left(t_i\right)+{\displaystyle \frac{1}{6}}{\displaystyle \frac{\upsilon {\tau }^{\alpha \left(t_i\right)}}{\Gamma (1+\alpha \left(t_i\right))}}\epsilon \left(t_i\right),i=0,1,\cdots ,n-1.$$

(31)

Then, we have the following equation [38]:

$$\epsilon \left(t_{i+1}\right)={(1+{\displaystyle \frac{1}{6}}{\displaystyle \frac{{\tau }^{\alpha \left(t_i\right)}\upsilon }{\Gamma (1+\alpha \left(t_i\right))}})}^i{\epsilon }_0.$$

(32)

The condition of stability [38]:

$$-1<({\displaystyle \frac{1}{6}}{\displaystyle \frac{{\tau }^{\alpha \left(t_i\right)}\upsilon }{\Gamma (1+\alpha \left(t_i\right))}}+1)<1.$$

4.3. CPC-$\Theta$FDM

Consider:

$$\begin{array}{cc}\hfill {}_0^{CPC}{D}_t^{\alpha \left(t\right)}\epsilon \left(t\right)& =\xi (t,\epsilon \left(t\right)),\epsilon \left(0\right)={\epsilon }_0,1\ge \alpha \left(t\right)>0.\hfill \end{array}$$

(33)

Relationship (6) can be expressed as follows:

$$\begin{array}{cc}\hfill {}_0^{CPC}{D}_t^{\alpha \left(t\right)}\epsilon \left(t\right)& =\frac{1}{\Gamma (1-\alpha (t\left)\right)}{\int }_0^t{(t-s)}^{-\alpha \left(t\right)}(K_1\left(\alpha \left(t\right)\right)\epsilon \left(s\right)+K_0\left(\alpha \left(t\right)\right){\epsilon }^{\prime }\left(s\right))ds,\hfill \\ \hfill & =K_1{\left(\alpha \right)}_0^{RL}{I}_t^{1-\alpha \left(t\right)}\epsilon \left(t\right)+K_0{\left(\alpha \left(t\right)\right)}_0^C{D}_t^{\alpha \left(t\right)}\epsilon \left(t\right),\hfill \\ \hfill & =K_1{\left(\alpha \right)}_0^{RL}{D}_t^{\alpha \left(t\right)-1}\epsilon \left(t\right)+K_0{\left(\alpha \left(t\right)\right)}_0^C{D}_t^{\alpha \left(t\right)}\epsilon \left(t\right),\hfill \end{array}$$

(34)

Using $\Theta$FDM and GL-approximation, we can discretize (34) as shown below:

$$\begin{array}{cc}\hfill {}_0^{CPC}{D}_t^{\alpha \left(t\right)}{\epsilon \left(t\right)|}_{t=t^n}& =\frac{K_1\left(\alpha \left(t_n\right)\right)}{{\tau }^{\alpha \left(t_n\right)-1}}\left({\epsilon }_{n+1}+\sum _{i=1}^{n+1}{\omega }_i{\epsilon }_{n+1-i}\right)\hfill \end{array}$$

$$\begin{array}{c}\hfill +\frac{K_0\left(\alpha \left(t_n\right)\right)}{{\tau }^{{\alpha }_n}}\left({\epsilon }_{n+1}-\sum _{i=1}^{n+1}{\varrho }_i{\epsilon }_{n+1-i}-{\varsigma }_{n+1}{\epsilon }_0\right),\end{array}$$

(35)

$$\begin{array}{cc}\hfill & \frac{K_1\left(\alpha \left(t_n\right)\right)}{{\tau }^{\alpha \left(t_n\right)-1}}\left({\epsilon }_{n+1}+\sum _{i=1}^{n+1}{\omega }_i{\epsilon }_{n+1-i}\right)+\frac{K_0\left(\alpha \left(t_n\right)\right)}{{\tau }^{\alpha \left(t_n\right)}}\left({\epsilon }_{n+1}-\sum _{i=1}^{n+1}{\varrho }_i{\epsilon }_{n+1-i}-{\varsigma }_{n+1}{\epsilon }_0\right)\hfill \end{array}$$

$$\begin{array}{c}\hfill =(\Theta )\xi (\epsilon \left(t_n\right),t_n)+(1-\Theta )\xi (\epsilon \left(t_{n+1}\right),t_{n+1}),\end{array}$$

(36)

where, ${\omega }_0=1,$ ${\omega }_i=(1-\frac{\alpha \left(t_n\right)}{i}){\omega }_{i-1},$ $t^n=n\tau ,\tau =\frac{T_f}{N},$ N is a natural number, ${\varrho }_i={(-1)}^{i-1}\left({}_i^{\alpha \left(t_n\right)}\right),$ ${\varrho }_1=\alpha \left(t_n\right),$ ${\varsigma }_i=\frac{i^{\alpha \left(t_n\right)}}{\Gamma (1-\alpha \left(t_n\right))}$. Moreover, consider that [39]:

$$0<{\varrho }_{i+1}<{\varrho }_i<...<{\varrho }_1=\alpha \left(t_n\right)<1,$$

$$0<{\varsigma }_{i+1}<{\varsigma }_i<...<{\varsigma }_1=\frac{1}{\Gamma (-\alpha \left(t_n\right)+1)},i=1,2,\dots ,n+1.$$

Remark 1. 

If $K_1\left(\alpha \left(t\right)\right)=0$ and $K_0\left(\alpha \left(t\right)\right)=1$ in (36), we can obtain the discretization of Caputo operator with theta finite difference technique (C-Θ FDM).

4.4. CPC-$\Theta$FDM Stability Analysis

The stability of method (36) will be considered here. We shall utilize the test problem of variable-order linear differential equation, for simplicity:

$$\begin{array}{c}\hfill {(}_0^{CPC}{D}_t^{\alpha \left(t\right)})\epsilon \left(t\right)=A\epsilon \left(t\right),t>0,A<0,0<\alpha \left(t\right)\le 1.\end{array}$$

(37)

By (34) and GL-approximation, we can discretize (37) as shown below:

$$\begin{array}{c}\frac{K_1\left(\alpha \left(t_n\right)\right)}{{\tau }^{\alpha \left(t_n\right)-1}}\left({\epsilon }_{n+1}+\sum _{i=1}^{n+1}{\omega }_i{\epsilon }_{n+1-i}\right)+\frac{K_0\left(\alpha \left(t_n\right)\right)}{{\tau }^{\alpha \left(t_n\right)}}\left({\epsilon }_{n+1}-\sum _{i=1}^{n+1}{\varrho }_i{\epsilon }_{n+1-i}-{\varsigma }_{n+1}{\epsilon }_0\right)\hfill \\ =\Theta A{\epsilon }_n+(1-\Theta )A{\epsilon }_{n+1};\hfill \end{array}$$

(38)

put $C=\frac{K_1\left(\alpha \left(t_n\right)\right)}{{\tau }^{\alpha \left(t_n\right)-1}},$ $B=\frac{K_0\left(\alpha \left(t_n\right)\right)}{{\tau }^{\alpha \left(t_n\right)}}.$ Then, from boundness theorem [40], we have:

$$\begin{array}{c}\hfill {\epsilon }_{n+1}=\frac{1}{C+B}\left(A{\epsilon }_n-C\sum _{i=1}^{n+1}{\omega }_i{\epsilon }_{n+1-i}+B\left(\sum _{i=1}^{n+1}{\varrho }_i{\epsilon }_{n+1-i}+{\varsigma }_{n+1}{\epsilon }_0\right)\right)\le {\epsilon }_n,\end{array}$$

(39)

This means ${\epsilon }_0\ge {\epsilon }_1\ge ...\ge {\epsilon }_{n-1}\ge {\epsilon }_n\ge {\epsilon }_{n+1}.$ Then, method (36) is stable.

4.5. Convergence of the Method

Equation (34) can be discretized as shown below:

$$\begin{array}{cc}{}_0^{CPC}{D}_t^{\alpha \left(t\right)}{\epsilon \left(t\right)|}_{t=t^n}\hfill & =\frac{K_1\left(\alpha \left(t_n\right)\right)}{{\tau }^{\alpha \left(t_n\right)-1}}\left({\epsilon }_{n+1}+\sum _{i=1}^{n+1}{\omega }_i{\epsilon }_{n+1-i}\right)\hfill \\ & +\frac{K_0\left(\alpha \left(t_n\right)\right)}{{\tau }^{{\alpha }_n}}\left({\epsilon }_{n+1}-\sum _{i=1}^{n+1}{\varrho }_i{\epsilon }_{n+1-i}-{\varsigma }_{n+1}{\epsilon }_0\right),\hfill \end{array}$$

(40)

$$\begin{array}{c}\frac{K_1\left(\alpha \left(t_n\right)\right)}{{\tau }^{\alpha \left(t_n\right)-1}}\left({\epsilon }_{n+1}+\sum _{i=1}^{n+1}{\omega }_i{\epsilon }_{n+1-i}\right)+\frac{K_0\left(\alpha \left(t_n\right)\right)}{{\tau }^{\alpha \left(t_n\right)}}\left({\epsilon }_{n+1}-\sum _{i=1}^{n+1}{\varrho }_i{\epsilon }_{n+1-i}-{\varsigma }_{n+1}{\epsilon }_0\right)\hfill \\ -\Theta \xi (\epsilon \left(t_n\right),t_n)-(1-\Theta )\xi (\epsilon \left(t_{n+1}\right),t_{n+1})=T_{Rn},\hfill \end{array}$$

(41)

where

$$\parallel T_{Rn}{\parallel }_{\infty }<W,W=C\underset{0\le i\le n+1}{max}\left|{\epsilon }_{i+1}\right|,$$

$$C=({\tau }^{\alpha \left(t_i\right)-1}+{\tau }^{\alpha \left(t_i\right)}).$$

The proposed method is convergent because it is stable and consistent [41], then (41) is convergent.

5. Numerical Results

In the following, we solved (8) numerically using GRK4M (29) and CPC-$\Theta$FDM (36). Using CPC-$\Theta$ FDM for solving (8), we obtained $(9N+9)$ of the nonlinear algebraic system with $(9N+9)$ unknown.

$$\left(S,V_1,V_2,V_3,A,I_U,I_V,I_S,R\right)$$

can be solved using an appropriate iterative method based on the assumed beginning conditions. For the real data, we use [24]; the authors in this reference used the literature to obtain some parameter values and the remaining values were fitted to the data for the state of Texas, USA. They fitted the data of (8) solutions with the data for the state of Texas from 13 March to 29 June 2021 [29,42]. The model was fitted with three datasets, Moderna, Janssen, and Pfizer, with immunization data for Texas state. The three vaccination rates ${\upsilon }_1,{\upsilon }_2$ and ${\upsilon }_3$ corresponding to each vaccine as well as the effective contact rate for COVID-19 transmission, $\beta$, are estimated. According to publicly available data, the total population of the state of Texas, USA, for the year 2021 was $29,200,000$ [1]. Let $R\left(0\right)=5000,$ $V_2\left(0\right)=4,016,005$, $A\left(0\right)=50,000$, $V_3\left(0\right)=129,859$, $S\left(0\right)=24,000,000$, $I_U\left(0\right)=17,000$, $I_V\left(0\right)=15,000$, $V_1\left(0\right)=4,115,127$ and $I_S\left(0\right)=10,000.$ The parameter values are given in Table 2. To show that the proposed scheme is efficient, we compare the results that we obtained in this paper with the results that were found in reference [24], which are given in Figure 2 in constant fractional order. Figure 3 shows the behavior of the approximate solution of (8) (using the method in [24]) with different values of $\alpha \left(t\right).$ As can be seen from this figure, when the value of the fractional derivative changes over time, the results are different and this can dramatically affect the behavior of the model. This confirms the generality of the variable-order derivatives. Unfortunately, this method gives us unstable solutions, as in Figure 4a, when the value of the step size equals one. Moreover, we obtained the stable solutions using the proposed method CPC-$\Theta$FDM and $\Theta =0,$ in the fully implicit case given in this paper. This confirms that the method in [24] is stable only when the step size is very small, while our used method is stable regardless of the value of the step size. Figure 5 shows the behavior of the approximate solution of (8) (using CPC-$\Theta$FDM and $\Theta =0.5,Q=0.00025$) with different values of $\alpha \left(t\right).$ The approximate solution behavior of (8) is shown in Figure 6 ($\Theta =1$ and using CPC-$\Theta$FDM) with different values of $\alpha \left(t\right),$ $Q=0.00025.$ The approximate solution behavior of (8) (using GRK4M with different values of $\alpha \left(t\right)$) is shown in Figure 7. Figure 8 shows the behavior of the approximate solution of (8) (using CPC-$\Theta$ FDM when $K_0\left(\alpha \left(t\right)\right)=1,K_1\left(\alpha \left(t\right)\right)=0$ and $\Theta =0$) with different values of $\alpha \left(t\right)$. We noted that by comparing our results with different variable orders and constant orders as given in [24] and Figure 5, the result in the case of constant order is agreement. Moreover, by compering the results given in Figure 7 and Figure 8, the result given using CPC-$\Theta$FDM (fully implicit case) is convergent, better than the results given using GRK4 when we use nonlinear $\alpha \left(t\right)$. Figure 9 shows the relation between R and $I_v,I_u,I_s,A$ using CPC-$\Theta$FDM (fully implicit case) and nonlinear $\alpha \left(t\right).$ Furthermore, we found that the variable-order derivative order model is a more general model than the fractional order model given in [24] and integer order; a new behavior of the solution appears by using different values of $\alpha \left(t\right)$. Moreover, we can obtain the fractional Caputo operator as a special case from the CPC operator when $K_0\left(\alpha \left(t\right)\right)=1,K_1\left(\alpha \left(t\right)\right)=0.$ Moreover, we can obtain the fractional Caputo operator as a special case from the CPC operator if $K_0\left(\alpha \left(t\right)\right)=1,K_1\left(\alpha \left(t\right)\right)=0.$ The solutions obtained using the new method CPC-$\Theta$FDM can be explicit ($\Theta =1$) or implicit ($0\le \Theta \le 1,$) and fully implicit with accurate solution when ($\Theta =0$).

Figure 2. Real data [24] versus fitting model (8).

Figure 2. Real data [24] versus fitting model (8).

Figure 3. The solution behavior using the method in [24] with different values of $\alpha \left(t\right)$.

Figure 3. The solution behavior using the method in [24] with different values of $\alpha \left(t\right)$.

Figure 4. The solution behavior using the method [24] in (a) and using CPC-$\Theta$FDM and $\Theta =0,$ in (b).

Figure 4. The solution behavior using the method [24] in (a) and using CPC-$\Theta$FDM and $\Theta =0,$ in (b).

Figure 5. The solution behavior acquired via CPC-$\Theta$FDM and $\Theta =0.5,$ of (8).

Figure 5. The solution behavior acquired via CPC-$\Theta$FDM and $\Theta =0.5,$ of (8).

Figure 6. The solution behavior acquired via CPC-$\Theta$FDM and $\Theta =1$ of (8).

Figure 6. The solution behavior acquired via CPC-$\Theta$FDM and $\Theta =1$ of (8).

Figure 7. The solution behavior acquired via GRK4M of (8).

Figure 7. The solution behavior acquired via GRK4M of (8).

Figure 8. The solution behavior acquired via CPC-$\Theta$FDM and $\Theta =0$ of (8).

Figure 8. The solution behavior acquired via CPC-$\Theta$FDM and $\Theta =0$ of (8).

Figure 9. The relation between the variables concerning nonlinear $\alpha \left(t\right)$ using CPC-$\Theta$FDM and $\Theta =0$.

Figure 9. The relation between the variables concerning nonlinear $\alpha \left(t\right)$ using CPC-$\Theta$FDM and $\Theta =0$.

6. Conclusions

A novel hybrid variable-order fractional multi-vaccination model for COVID-19 is presented in this paper in order to further explore the spread of COVID-19. The main advantage of the hybrid variable-order fractional operator is that it can be defined as a linear combination of the variable-order integral of Riemann–Liouville and the variable-order Caputo derivative; it is one of the most effective and reliable operators and it is more general than the Caputo fractional operator. The proposed model’s dynamics are improved and its complexity is increased by employing variable-order fractional derivatives. Furthermore, the variable-order fractional Caputo operator can be derived as a special case from the CPC operator. Existence, boundedness, uniqueness, positivity and stability of the proposed model are established for the model. To be compatible with the physical model, a new parameter $\sigma$ is added. The proposed model is numerically studied using CPC-$\Theta$FDM and GRK4M. CPC-$\Theta$FDM depends on the values of the factor $\Theta$. It can be explicit ($\Theta$ = 1) or fully implicit ($\Theta$ = 0) with a large stability region. We compared our results with the real data from the state of Texas in the United States. Moreover, the results obtained from the CPC-$\Theta$FDM are more stable than the results obtained from the proposed method in [24]. As a result, some graphs are provided for various linear and non-linear variable-order derivatives. In the future, the presented study can be extended to optimal control and to examine the impact of multiple vaccination strategies on the dynamics of COVID-19 in a population.