Fractional optimal control in transmission dynamics of West Nile virus model with state and control time delay: a numerical approach

Abstract

In this paper, an optimal control for a novel fractional West Nile virus model with time delay is presented. The proposed model is governed by a system of fractional delay differential equations, where the fractional derivative is defined in the Grünwald–Letnikov sense. Stability analysis of fixed points is studied. Corresponding fractional optimal control problem, with time delays in both state and control variables, is formulated and studied. Two simple numerical methods are used to study the nonlinear fractional delay optimal control problem. The methods are standard finite difference method and nonstandard finite difference method. Comparative studies are implemented, it is found that the nonstandard finite difference method is better than the standard finite difference method.

1 Introduction

Time delays play an important role in the modeling of real-life phenomena in different fields of applications, for example, engineering, chemical, and biological systems that are modeled by differential equations. Many methodologies have been proposed to deal with the control and optimal control problems of systems with time delay [1,2,3,4,5,6,7,8,9]. In [10], an introduction to time-delay control problems is given. In [11], Kharatishvili established a maximum principle for optimal control problems with a constant state delay. Similar results for control problems with pure control delays are presented in [12]. In [13], Halanay proved a maximum principle for optimal control problems with multiple constant delays in state and control variables. Soliman and Ray obtained the similar results in [14]. A simple method for obtaining necessary conditions for control problems with a constant delay in the state variable is introduced in [15]. A maximum principle for control systems with a time-dependent delay in the state variable is derived in [16]. The theory of necessary conditions for optimization problems in functional spaces is applied on a unified approach to control problems with delays in the state variable in [17]. Optimal control for a time-delay multi-strain tuberculosis fractional model is introduced in [18]. Recently, many interesting studies were presented in nonlinear and time-delay optimal control problems, see [19,20,21].

Fractional calculus has been the focus of many studies due to its appearance in various sciences [22,23,24,25,26,27,28,29,30]. The paths of the control variables that maximize or minimize a function of the state and control variables are described by fractional optimal control problems (FOCP). The theory of FOCPs has been under development. The approximation and numerical techniques are used to solve the FOCPs [25, 31]. Since most of the fractional-order differential equations do not have exact analytic solutions, the approximation and numerical techniques must be used [26]. Delayed fractional differential equations (DEDEs) are also used to describe dynamical systems [32], for more details, see [33,34,35]. Recently, many papers have been devoted to DEDEs (see [36,37,38], and the references cited therein). Nonstandard finite difference method (NSFDM) was firstly developed in 1980s by Mickens and has been applied in many areas of science including biological and epidemic models [39,40,41]. It is important that the proposed numerical method can preserve the positivity of the solution [42].

In this paper, fractional time-delay optimal control in transmission dynamics of WNV model is presented as an extension of the WNV model given in [26]. Time delays in both state and control variables are formulated and studied. The aim of this paper is to study the fractional time-delay optimal control of this proposed model. We introduced NSFDM and standard finite difference method (SFDM) to study the behavior of this optimal control problem.

West Nile virus (WNV) is an arbovirus and single-standard RNA virus Flavivirus [43]. WNV is transmitted among mosquitoes, birds, humans, and other animals [44]. In 1937, the virus was first isolated in the West Nile district of Uganda [45]. It has spread in Africa, Europe, the Middle East, west and central Asia, Oceania (subtype Kunjin), and North America [46,47,48,49,50]. Owing to the absence of an effective diagnostic test therapeutic treatment against WNV, public health officials have focussed on the use of preventive measures in attempt to halt the spread of WNV in humans [43]. In 2001 [51], the first WNV model was presented by Thomas and Urena. In [52], a single season model with a system of differential equations for WNV transmission in the mosquito-bird population was presented by Wonham et al. They were using local stability results and simulations, showed that while mosquito control decreases WNV outbreak threshold, controlling birds increases it. In [53] Cruz-Pacheco et al. studied a mathematical model for the transmission of WNV infection between mosquito and avain populations, and by using experimental and field data as well as numerical simulations, they found the phenomenon of damped oscillations of the infected bird population. Also, the spatial spread of the virus was established by Lewis et al. in [54]. A comparative study of the discrete-time model in [51] and the continuous-time model in [55] was introduced by Lewis et al. in [56]. Kbenesh et al. determined the cost-effective strategies for combating the spread of WNV in a given population in [57]. Fractional optimal control of WNV model was introduced by using two numerical methods by Sweilam et al. in [26].

This paper is organized as follows. In Sect. 2, preliminaries and notations are presented. In Sect. 3, a mathematical model is formulated. Reproduction number $R_{0}$ and stability of the disease-free equilibrium and the endemic equilibrium are studied in Sect. 4 and Sect. 5, respectively. The optimal control problem is formulated in Sect. 6. In Sect. 7, NSFD method for fractional time-delay WNV model is presented. A numerical experiment is discussed in Sect. 8. Finally, in Sect. 9, conclusions are presented.

2 Preliminaries and notations

Definition 2.1

([58])

The left Caputo fractional derivative (LCFD) is defined as follows:

$$ {}^{c}_{a}D^{\alpha }_{t} \mathcal{V} (t)=\frac{1}{\varGamma (n-\alpha )} \int _{a}^{t}\frac{\mathcal{V}^{(n)} (\tau )}{(t-\tau )^{1-n+\alpha }}\,d\tau , $$

(1)

the right Caputo fractional derivative (RCFD) is defined as follows:

$$ {}^{c}_{t}D^{\alpha }_{b} \mathcal{V} (t)=\frac{(-1)^{n}}{\varGamma (n- \alpha )} \int _{t}^{b}\frac{\mathcal{V}^{(n)} (\tau )}{(t-\tau )^{1-n+ \alpha }}\,d\tau , $$

(2)

where Γ is the Euler gamma function.

Definition 2.2

([58])

The Grünwald–Letnikov approximation of the fractional derivative of order α of the function $\mathcal{V} (t)$ is defined as follows:

$$ D^{\alpha }\mathcal{V}(t)=\lim_{h\rightarrow 0} (h ) ^{-\alpha } \sum_{k=0}^{ [ \frac{t}{h} ] }\omega _{k}^{ \alpha } \mathcal{V}(t-kh), $$

(3)

where $[t ]$ is the integer part of t, h is the step size, and the Grünwald–Letnikov coefficients are given by

$$ \omega _{k}^{\alpha }= \biggl( 1-\frac{\alpha +1}{k} \biggr) \omega ^{\alpha }_{k-1}, \quad \text{and}\quad \omega _{0}^{\alpha }= ( h )^{-\alpha } ,\quad k>1. $$

(4)

Definition 2.3

([59])

The numerical scheme is called NSFD discretization if at least one of the following conditions is satisfied:

• (i) Nonlocal approximation is used [39, 59, 60].

• (ii) The discretization of derivative is not traditional and a nonnegative function $\varphi (\Delta {t})=\Delta {t}+O((\Delta {t})^{2})$, called a denominator function, is used [41].

The discretization is based on the approximations of temporal derivatives by a generalized forward scheme. If we have $\varphi (\Delta {t})=\Delta {t}$, then the scheme is defined as finite difference or SFDM. Hence, if $\mathcal{M}(t)\in C^{1}(\mathbb{R})$, the first derivative can be defined as follows:

$$ \frac{d\mathcal{M}(t)}{dt}=\frac{\mathcal{M}(t+\Delta {t})- \mathcal{M}(t)}{\varphi (\Delta {t})}. $$

(5)

3 Mathematical model

In this section, a new formulation for the transmission dynamics of WNV model given in [57] is presented. In the following, the transmission dynamics of WNV model is modified to be nonlinear time-delayed fractional differential equations. The WNV introduced in [57] consists of nine nonlinear ODEs which is described by the total mosquito population at time t, denoted by $N_{M}(t)$, split into the populations of susceptible $M_{s}(t)$ and infected $M_{i}(t)$ mosquitoes. Similarly, the total bird population at time t, denoted by $N_{B}(t)$, is sub-divided into susceptible $B_{s}(t)$ and infected $B_{i}(t)$ birds. Finally, the total human population at time t, denoted by $N_{H}(t)$, is split into susceptible $S(t)$, exposed $E(t)$, infectious $I(t)$, hospitalized $H(t)$, and recovered $R(t)$ humans. Thus, $N_{M}(t)=M_{s}(t)+M_{i}(t)$, $N_{B}(t)=B_{s}(t)+B _{i}(t)$ and $N_{H}(t)=S(t)+E(t)+I(t)+H(t)+R(t)$ as explained in Table 1. The population of susceptible humans is increased via recruitment of humans (by birth or immigration) into the community at a constant rate $\lambda _{H}$. It is decreased infection (acquired via contact with infected mosquitoes) and by natural death (at a rate $\lambda _{H}$), where $b_{2}$ is the per capita rate of biting of humans by mosquitoes and $\beta _{3}$ is the probability of WNV transmission from mosquitoes to humans. Here, it is assumed that new human infections are acquired at a rate that depends on the average number of mosquito bites per unit time and on the transmission probability normalized by total human population [43]. Let us introduce a discrete time delay in the state variables $M_{i}(t)$, $S(t)$, and $H(t)$, denoted by $\mathbf{d}_{\mathbf{d}}$, $\mathbf{d}_{\mathbf{d}}$, and $\mathbf{d} _{\mathbf{H}}$, respectively (where $\mathbf{d}_{\mathbf{d}}$ represents the time required for the WNV transmission from mosquitos to humans and $\mathbf{d}_{\mathbf{H}}$ represents the time required for diagnosis and commencement of treatment of the infection of WNV model). The time-delay system of WNV model of fractional-order derivatives is

$$ \begin{aligned} &{}^{c}_{a}D^{\alpha }_{t}M_{s}(t) =\lambda _{M}^{\alpha }-\frac{b_{1} ^{\alpha }\beta _{1}^{\alpha }M_{s}(t)B_{i}(t)}{N_{B}(t)}-\mu _{M}^{ \alpha }M_{s}(t) , \\ &{}^{c}_{a}D^{\alpha }_{t}M_{i}(t) =\frac{b_{1}^{\alpha }\beta _{1}^{ \alpha }M_{s}(t)B_{i}(t)}{N_{B}(t)}-\mu _{M}^{\alpha }M_{i}(t) , \\ &{}^{c}_{a}D^{\alpha }_{t}B_{s}(t) =\lambda _{B}^{\alpha }-\frac{b_{1} ^{\alpha }\beta _{2}^{\alpha }M_{i}(t)B_{s}(t)}{N_{B}(t)}- \bigl( \varPsi _{B}^{\alpha }+\mu _{B}^{\alpha } \bigr) B_{s}(t) , \\ &{}^{c}_{a}D^{\alpha }_{t}B_{i}(t) =\frac{b_{1}^{\alpha }\beta _{2}^{ \alpha }M_{i}(t)B_{s}(t)}{N_{B}(t)}- \bigl( d_{B}^{\alpha }+\varPsi _{B}^{\alpha }+\mu _{B}^{\alpha } \bigr) B_{i}(t) , \\ &{}^{c}_{a}D^{\alpha }_{t}S(t) =\lambda _{H}^{\alpha }-\frac{b_{2}^{ \alpha }\beta _{3}^{\alpha }M_{i}(t-\mathbf{d}_{\mathbf{d}})S(t- \mathbf{d}_{\mathbf{d}})}{N_{H}(t)}-\mu _{H}^{\alpha }S(t) , \\ &{}^{c}_{a}D^{\alpha }_{t}E(t) = \frac{b_{2}^{\alpha }\beta _{3}^{\alpha }M_{i}(t-\mathbf{d}_{\mathbf{d}})S(t-\mathbf{d}_{\mathbf{d}})}{N_{H}(t)}- \bigl( \alpha _{w}^{\alpha } +\mu _{H}^{\alpha } \bigr) E(t) , \\ &{}^{c}_{a}D^{\alpha }_{t}I(t) =\alpha _{w}^{\alpha } E(t)- \bigl( \gamma ^{\alpha } +d_{I}^{\alpha }+r^{\alpha }+\mu _{H}^{\alpha } \bigr) I(t) , \\ &{}^{c}_{a}D^{\alpha }_{t}H(t) =\gamma ^{\alpha } I(t)- \bigl( d_{H}^{ \alpha }+\mu _{H}^{\alpha } \bigr) H(t)-\tau ^{\alpha } H(t-\mathbf{d} _{\mathbf{H}}) , \\ &{}^{c}_{a}D^{\alpha }_{t}R(t) =\tau ^{\alpha } H(t-\mathbf{d}_{ \mathbf{H}})+r^{\alpha }I(t)-\mu _{H}^{\alpha }R(t), \end{aligned} $$

(6)

with the following initial conditions:

$$\begin{aligned}& M_{s}(\eta ) =\zeta _{1}(\eta ),\qquad M_{i}(\eta ) =\zeta _{2}(\eta ),\qquad B_{s}( \eta ) =\zeta _{3}(\eta ), \end{aligned}$$

(7)

$$\begin{aligned}& B_{i}(\eta ) =\zeta _{4}(\eta ),\qquad S(\eta ) =\zeta _{5}(\eta ), \qquad E(\eta ) =\zeta _{6}(\eta ), \\& I(\eta ) =\zeta _{7}(\eta ),\qquad H(\eta ) =\zeta _{8}( \eta ),\qquad R(\eta ) =\zeta _{9}(\eta ), \end{aligned}$$

(8)

where ${}^{c}_{a}D^{\alpha }_{t}$ is the Caputo fractional-order derivative. Let us consider that $\mathbf{d}_{\mathbf{d}}=\mathbf{d} _{\mathbf{H}}=\mathbf{d}$. Since $\zeta \in [ -\mathbf{d},0 ]$, where $\zeta = (\zeta _{1},\zeta _{2}, \ldots ,\zeta _{9} ) ^{T}\in \mathbb{C}$, and $\mathbb{C}$ is the Banach space $\mathbb{C} ( [0,\mathbf{d} ], \mathbb{R}^{9} )$. The variables in system (6) are defined in Table 1. The list of parameter values and their interpretation are introduced in Tables 2 and 3; for more details, see [57].

Table 1 All variables in system (6) and their definitions

Table 2 All parameters in system (6) and their interpretation

Table 3 Parameter values used in system (6)

4 Reproduction number $R_{0}$ and stability of the disease-free equilibrium

In this section, we compute the reproduction number $R_{0}$. The basic reproduction number is the expected number of secondary cases produced, in a completely susceptible population, by a typical infective individual [32]. Method in [32] is applied to derive $R_{0}$. The order of infected variables is

$$ \varsigma = ( M_{i},B_{i},E,I,H,R ) ^{\prime }. $$

(9)

The new infections into the infected classes ς are defined by the vector F, and the other flows within and out of the infected classes ς are defined by the vector V, where these vectors are given by

$$\mathbf{F}=\left(\begin{array}{c}\frac{b_1^{\alpha }{\beta }_1^{\alpha }{M}_s{B}_i}{N_B}\\ \frac{b_1^{\alpha }{\beta }_2^{\alpha }{M}_i{B}_s}{N_B}\\ \frac{b_2^{\alpha }{\beta }_3^{\alpha }{M}_{i}S}{N_B}\\ 0\\ 0\\ 0\end{array}\right),\mathbf{V}=\left(\begin{array}{c}-{\mu }_M^{\alpha }{M}_i\\ -(d_B^{\alpha }+{\Psi }_B^{\alpha }+{\mu }_B^{\alpha })B_i\\ -({\alpha }_w^{\alpha }+{\mu }_H^{\alpha })E\\ {\alpha }_w^{\alpha }E-({\gamma }^{\alpha }+d_I^{\alpha }+r^{\alpha }+{\mu }_H^{\alpha })I\\ {\gamma }^{\alpha }I-(d_H^{\alpha }+{\tau }^{\alpha }+{\mu }_H^{\alpha })H\\ {\tau }^{\alpha }H+r^{\alpha }I-{\mu }_H^{\alpha }R\end{array}\right).$$

Let us differentiate the above matrices F and V with respect to the infected variables ς and evaluate at the disease-free equilibrium

$$\mathbf{F}=\left(\begin{array}{cc}{f}_1& f_2\\ f_3& f_4\end{array}\right),\mathbf{V}=\left(\begin{array}{cc}{v}_1& v_2\\ v_3& v_4\end{array}\right),$$

where

$$\begin{array}{c}{f}_1=\left(\begin{array}{cc}0& \frac{b^{\alpha }{\beta }_1^{\alpha }{M}_s}{B_s+S}\\ \frac{b^{\alpha }{\beta }_2^{\alpha }{B}_s}{B_s+S}& 0\end{array}\right),f_2=\left(\begin{array}{cccc}0& 0& 0& 0\\ 0& 0& 0& 0\end{array}\right),\hfill \\ f_3={\left(\begin{array}{cccc}\frac{b^{\alpha }{\beta }_3^{\alpha }S}{B_s+S}& 0& 0& 0\\ 0& 0& 0& 0\end{array}\right)}^T,f_4=\left(\begin{array}{cccc}0& 0& 0& 0\\ 0& 0& 0& 0\\ 0& 0& 0& 0\\ 0& 0& 0& 0\end{array}\right),\hfill \\ v_1=\left(\begin{array}{cc}{\mu }_M^{\alpha }& 0\\ 0& {\mu }_B^{\alpha }+{\Psi }_B^{\alpha }+d_B^{\alpha }\end{array}\right),v_2=\left(\begin{array}{cccc}0& 0& 0& 0\\ 0& 0& 0& 0\end{array}\right),v_3={\left(\begin{array}{cccc}0& 0& 0& 0\\ 0& 0& 0& 0\end{array}\right)}^T,\hfill \\ v_4=\left(\begin{array}{cccc}{\mu }_H^{\alpha }+{\alpha }_{\omega }^{\alpha }& 0& 0& 0\\ -{\alpha }_{\omega }^{\alpha }& {\gamma }^{\alpha }+d_I^{\alpha }+r^{\alpha }+{\mu }_H^{\alpha }& 0& 0\\ 0& -{\gamma }^{\alpha }& {\tau }^{\alpha }+{\mu }_H^{\alpha }+d_H^{\alpha }& 0\\ 0& -r^{\alpha }& -{\tau }^{\alpha }& {\mu }_H^{\alpha }\end{array}\right),\hfill \end{array}$$

then the basic reproduction number $R_{0}$ for system (6) with spectral radius ρ is defined by

$$\begin{aligned} R_{0} &=\rho \bigl( \mathbf{F}\mathbf{V}^{-1} \bigr) \\ &= \frac{b^{\alpha }\sqrt{\mu _{M}^{\alpha }(\mu _{B}^{\alpha }+ \varPsi _{B}^{\alpha }+d_{B}^{\alpha })\beta _{1}^{\alpha }\beta _{2} ^{\alpha }\grave{M_{s}}\grave{B_{s}}}}{\mu _{M}^{\alpha }(\mu _{B}^{ \alpha }+\varPsi _{B}^{\alpha }+d_{B}^{\alpha })(\grave{B_{s}}+ \grave{S})}. \end{aligned}$$

(10)

Lemma 4.1

([61])

The disease-free equilibrium point $\varepsilon _{\mathrm{eq}}$ is locally asymptotically stable iff all eigenvalues $\lambda _{i}$ satisfy $|\operatorname{arg} {\lambda }_{i}|>\frac{ \alpha \pi }{2}$.

Proof

To analyze the stability of the disease-free equilibrium (DFE) point, let us have that [62]

$$\begin{aligned}& {}^{c}_{a}D^{\alpha }_{t}M_{s} =0, \qquad {}^{c}_{a}D^{\alpha }_{t}M_{i}=0, \qquad {}^{c}_{a}D^{\alpha }_{t}B_{s}=0, \\& {}^{c}_{a}D^{\alpha }_{t}B_{i} =0, \qquad {}^{c}_{a}D^{\alpha }_{t}S=0,\qquad {}^{c}_{a}D^{\alpha }_{t}E=0, \\& {}^{c}_{a}D^{\alpha }_{t}I =0,\qquad {}^{c}_{a}D^{\alpha }_{t}H=0,\qquad {}^{c}_{a}D^{\alpha }_{t}R=0. \end{aligned}$$

(11)

Let us consider the coordinate transformation $m_{s}(t)=M_{s}(t)- \check{\check{M_{s}}}$, $m_{i}(t)=M_{i}(t)-\check{\check{M_{i}}}$, $b_{s}(t)=B_{s}(t)-\check{\check{B_{s}}}$, $b_{i}(t)=B_{i}(t)- \check{\check{B_{i}}}$, $s(t)=S(t)-\check{\check{S}}$, $e(t)=E(t)- \check{\check{E}}$, $i(t)=I(t)-\check{\check{I}}$, $h(t)=H(t)- \check{\check{H}}$, $r(t)=R(t)-\check{\check{R}}$, where any equilibrium point is described by $(\check{\check{M_{s}}},\check{\check{M_{i}}}, \check{\check{B_{s}}},\check{\check{B_{i}}},\check{\check{S}}, \check{\check{E}},\check{\check{I}},\check{\check{H}}, \check{\check{R}})$. When $\check{\check{M_{i}}}=0$, $\check{\check{B_{i}}}=0$, and $\check{\check{I}}=0$, then the DFE point is $\varepsilon _{\mathrm{eq}}=(\frac{\lambda _{M}^{\alpha }}{\mu _{M}^{\alpha }},0,\frac{ \lambda _{B}^{\alpha }}{\varPsi _{B}^{\alpha }+\mu _{B}^{\alpha }},0,\frac{ \lambda _{H}^{\alpha }}{\mu _{H}^{\alpha }},0,0,0,0)$. The characteristic equation can be calculated at the DFE point. It can be written as follows:

$$\begin{array}{c}(J_{{\epsilon }_{\mathrm{eq}}}-\lambda \mathcal{I})\hfill \\ =\left(\begin{array}{ccccccccc}-{\mu }_M^{\alpha }-\lambda & 0& 0& 0& 0& 0& 0& 0& 0\\ 0& -{\mu }_M^{\alpha }-\lambda & 0& 0& 0& 0& 0& 0& 0\\ 0& -b_1^{\alpha }{\beta }_2^{\alpha }& -{\mathbf{c}}_1-\lambda & 0& 0& 0& 0& 0& 0\\ 0& b_1^{\alpha }{\beta }_2^{\alpha }& 0& -{\mathbf{c}}_2-\lambda & 0& 0& 0& 0& 0\\ 0& -b_2^{\alpha }{\beta }_3^{\alpha }{e}^{-\lambda \mathbf{d}}& 0& 0& -{\mu }_H^{\alpha }-\lambda & 0& 0& 0& 0\\ 0& b_2^{\alpha }{\beta }_3^{\alpha }{e}^{-\lambda \mathbf{d}}& 0& 0& 0& -{\mathbf{c}}_3-\lambda & 0& 0& 0\\ 0& 0& 0& 0& 0& {\alpha }_{\omega }^{\alpha }& -{\mathbf{c}}_4-\lambda & 0& 0\\ 0& 0& 0& 0& 0& 0& {\gamma }^{\alpha }& -{\mathbf{c}}_5-\lambda -{\tau }^{\alpha }{e}^{-\lambda \mathbf{d}}& 0\\ 0& 0& 0& 0& 0& 0& r^{\alpha }& {\tau }^{\alpha }{e}^{-\lambda \mathbf{d}}& -{\mu }_H^{\alpha }-\lambda \end{array}\right),\hfill \end{array}$$

where $\mathcal{I}$ is the unit matrix, $\mathbf{c}_{1}=(\varPsi _{B} ^{\alpha }+\mu _{B}^{\alpha })$, $\mathbf{c}_{2}=(d_{B}^{\alpha }+ \varPsi _{B}^{\alpha }+\mu _{B}^{\alpha })$, $\mathbf{c}_{3}=( \alpha _{\omega }^{\alpha }+\mu _{H}^{\alpha })$, $\mathbf{c}_{4}=( \gamma ^{\alpha }+d_{I}^{\alpha }+r^{\alpha }+\mu _{H}^{\alpha })$, and $\mathbf{c}_{5}=(d_{H}^{\alpha }+\mu _{H}^{\alpha })$. Thus the characteristic equation corresponding to the above matrix is [62]

$$ \begin{aligned} &|J_{\varepsilon _{\mathrm{eq}}}-{\lambda }\mathcal{I}|=0, \\ &\bigl({\lambda }+\mu _{H}^{\alpha }\bigr)^{2} \bigl({\lambda }+\mu _{M} ^{\alpha }\bigr)^{2} \bigl({\lambda }+\alpha _{\omega }^{\alpha }+\mu _{H} ^{\alpha }\bigr) \bigl({\lambda }+\varPsi _{B}^{\alpha }+ \mu _{B}^{\alpha }\bigr) \bigl( {\lambda }+d_{B}^{\alpha }+\varPsi _{B}^{\alpha }+\mu _{B}^{ \alpha }\bigr) \\ &\quad {}\times \bigl({\lambda }+d_{H}^{\alpha }+\mu _{H}^{\alpha }+\tau ^{\alpha }e ^{-{\lambda }\mathbf{d}}\bigr) \bigl( {\lambda }+d_{I}^{\alpha }+ \gamma ^{\alpha }+\mu _{H}^{\alpha }+r^{\alpha }\bigr)=0. \end{aligned} $$

(12)

If we have $\mathbf{d}=0$, then the eigenvalues of the Jacobian matrix $J_{\varepsilon _{0}}$ at the DFE point $\varepsilon _{0}$ are ${\lambda }_{1,2}=-\mu _{H}^{\alpha }$, ${\lambda }_{3,4}=- \mu _{M}^{\alpha }$, ${\lambda }_{5}=-(\alpha _{\omega }^{\alpha }+\mu _{H}^{\alpha })$, ${\lambda }_{6}=-(\varPsi _{B}^{\alpha }+ \mu _{B}^{\alpha })$, ${\lambda }_{7}=-(d_{B}^{\alpha }+\varPsi _{B}^{\alpha }+\mu _{B}^{\alpha })$, ${\lambda }_{8}=-(d_{H} ^{\alpha }+\mu _{H}^{\alpha }+\tau ^{\alpha })$, and ${\lambda } _{9}=-(d_{I}^{\alpha }+\gamma ^{\alpha }+\mu _{H}^{\alpha }+r^{\alpha })$. According to the Routh–Hurwitz theorem [35], these roots are negative or have negative real parts and the eigenvalues satisfy Matignon’s conditions [63] defined by $|\operatorname{arg} {\lambda }_{i}|>\frac{\alpha \pi }{2}$. Thus, the DFE point $\varepsilon _{\mathrm{eq}}$ is asymptotically stable. If we consider $\mathbf{d}>0$, then $({\lambda }+d_{H}^{\alpha }+\mu _{H}^{ \alpha }+\tau ^{\alpha }e^{-{\lambda }\mathbf{d}})$ has no pure imaginary roots for any value of the delay d. Hence, all roots of the characteristic equation have negative real parts, and the DFE point $\varepsilon _{\mathrm{eq}}$ is locally asymptotically stable according to Matignon’s conditions [63] defined by $|\operatorname{arg} {\lambda }_{i}|>\frac{\alpha \pi }{2}$. □

5 Stability analysis of the endemic equilibrium

In this section, the stability analysis of the endemic equilibrium point is introduced. If at least one of the infected variables is not zero, then system (6) has an endemic equilibrium. The endemic equilibrium point is $\varepsilon _{\mathrm{end}}=(0.5908,2398.7049,3.6028,36.7141,0.4071, 0.5679,573.7086, 10.2296,39.7060)$. The list of parameter values is introduced in Table 3. The basic reproduction number is $R_{0}>1$. According to the linearized system of (6), we have the following form:

$$ \frac{d}{dt}\boldsymbol{\varPhi }=\Delta _{1} \boldsymbol{\varPhi }+\Delta _{2} \boldsymbol{\varPhi }_{\mathbf{d}}, $$

(13)

where

$$\begin{array}{c}\mathit{\Phi }={(m_s(t),m_i(t),b_s(t),b_i(t),s(t),e(t),i(t),h(t),r(t))}^T,\hfill \\ {\mathit{\Phi }}_{\mathbf{d}}=(m_s(t-\mathbf{d}),m_i(t-\mathbf{d}),b_s(t-\mathbf{d}),b_i(t-\mathbf{d}),s(t-\mathbf{d}),e(t-\mathbf{d}),i(t-\mathbf{d}),\hfill \\ \phantom{{\mathit{\Phi }}_{\mathbf{d}}=}h(t-\mathbf{d}),r(t-\mathbf{d}){)}^T,\hfill \\ {\mathrm{\Delta }}_1=\left(\begin{array}{ccccccccc}-0.0823& 0& 0& -0.0011& 0& 0& 0& 0& 0\\ 0.0663& -0.0160& 0& 0.0011& 0& 0& 0& 0& 0\\ 0& -0.0016& -1.1343& 0& 0& 0& 0& 0& 0\\ 0& 0.0016& 1.0822& -0.1121& 0& 0& 0& 0& 0\\ 0& 0& 0& 0& -0.0050& 0& 0& 0& 0\\ 0& 0& 0& 0& 0& -0.1050& 0& 0& 0\\ 0& 0& 0& 0& 0& 0.1000& -0.0061& 0& 0\\ 0& 0& 0& 0& 0& 0& 0.0009& -0.0050& 0\\ 0& 0& 0& 0& 0& 0& 0.0002& 0& -0.0050\end{array}\right),\hfill \\ {\mathrm{\Delta }}_2=\left(\begin{array}{ccccccccc}0& 0& 0& 0& 0& 0& 0& 0& 0\\ 0& 0& 0& 0& 0& 0& 0& 0& 0\\ 0& 0& 0& 0& 0& 0& 0& 0& 0\\ 0& 0& 0& 0& 0& 0& 0& 0& 0\\ 0& -\frac{b_2^{\alpha }{\beta }_3^{\alpha }\check{\stackrel{ˇ}{S}}}{N_H}& 0& 0& -\frac{b_2^{\alpha }{\beta }_3^{\alpha }\check{\stackrel{ˇ}{M_i}}}{N_H}& 0& 0& 0& 0\\ 0& \frac{b_2^{\alpha }{\beta }_3^{\alpha }\check{\stackrel{ˇ}{S}}}{N_H}& 0& 0& \frac{b_2^{\alpha }{\beta }_3^{\alpha }\check{\stackrel{ˇ}{M_i}}}{N_H}& 0& 0& 0& 0\\ 0& 0& 0& 0& 0& 0& 0& 0& 0\\ 0& 0& 0& 0& 0& 0& 0& -{\tau }^{\alpha }& 0\\ 0& 0& 0& 0& 0& 0& 0& -{\tau }^{\alpha }& 0\end{array}\right).\hfill \end{array}$$

Corresponding to these matrices, the characteristic equation $|{\lambda }\mathcal{I}-\Delta _{1}-e^{-{\lambda } \mathbf{d}}\Delta _{2}|=0$ is written as follows:

$$\begin{aligned}& {\lambda }^{9} + \bigl( 1.4708+0.1582e^{-{\lambda } \mathbf{d}} \bigr) {\lambda }^{8}+ \bigl(0.4229+0.2139e^{- {\lambda }\mathbf{d}}+0.0054e^{-2{\lambda }\mathbf{d}} \bigr) {\lambda }^{7} \\& \quad {} + \bigl(0.0490+0.0658e^{-{\lambda }\mathbf{d}}+0.0079e^{-2 {\lambda }\mathbf{d}} \bigr) {\lambda }^{6} \\& \quad {} + \bigl( 0.0026+0.0074e^{-{\lambda }\mathbf{d}}+0.0022e^{-2 {\lambda }\mathbf{d}} \bigr) {\lambda }^{5} \\& \quad {} + \bigl( 5.9414\times 10^{-5}+3.6988\times 10^{-4}e^{- {\lambda }\mathbf{d}}+2.4288\times 10^{-4}e^{-2 {\lambda }\mathbf{d}} \bigr) {\lambda }^{4} \\& \quad {} + \bigl( 6.7012\times 10^{-7}+7.5511\times 10^{-6}e^{- {\lambda }\mathbf{d}}+1.1435\times 10^{-5}e^{-2 {\lambda }\mathbf{d}} \bigr){\lambda }^{3} \\& \quad {} + \bigl( 3.9229\times 10^{-9}+6.8272\times 10^{-8}e^{- {\lambda }\mathbf{d}}+2.0107\times 10^{-7}e^{-2 {\lambda }\mathbf{d}} \bigr) {\lambda }^{2} \\& \quad {} + \bigl( 1.1512\times 10^{-11}+2.7933\times 10^{-10}e^{- {\lambda }\mathbf{d}}+1.3295\times 10^{-9}e^{-2 {\lambda }\mathbf{d}} \bigr) {\lambda } \\& \quad {} + \bigl( 1.3423\times 10^{-14}+4.2476\times 10^{-13}e^{- {\lambda }\mathbf{d}}+2.9051\times 10^{-12}e^{-2 {\lambda }\mathbf{d}} \bigr)=0. \end{aligned}$$

(14)

If we have $\mathbf{d}=0$, then the characteristic equation is written in the following form:

$$\begin{aligned}& {\lambda }^{9} +1.6290{\lambda }^{8}+0.6602 {\lambda }^{7}+0.1227{\lambda }^{6}+0.0122 {\lambda }^{5}+6.7217\times 10^{-4}{\lambda }^{4} \\& \quad {} +1.9656\times 10^{-5}{\lambda }^{3}+2.7326 \times 10^{-7} {\lambda }^{2}+1.6203\times 10^{-9}{\lambda } \\& \quad {} +3.3433\times 10^{-12}=0. \end{aligned}$$

(15)

The roots of the above equation are ${\lambda }_{1}=-0.0160$, ${\lambda }_{2}=-0.1121$, ${\lambda }_{3}=-0.1132$, ${\lambda }_{4}=-0.1050$, ${\lambda }_{5}=-0.0823$, ${\lambda }_{6}=-1.1343$, ${\lambda }_{7}=-0.0050$, ${\lambda }_{8}=-0.0061$, ${\lambda }_{9}=-0.0550$. These roots are negative or have negative real parts and the eigenvalues satisfy Matignon’s conditions [63] defined by $|\operatorname{arg} {\lambda }_{i}|>\frac{\alpha \pi }{2}$. Thus, the endemic equilibrium point $\varepsilon _{\mathrm{end}}$ is asymptotically stable. If we consider $\mathbf{d}>0$, then these roots of the characteristic equation have no pure imaginary roots for any value of the delay d. Thus, all roots of the characteristic equation have negative real parts according to Matignon’s conditions [63] defined by $|\operatorname{arg} {\lambda }_{i}|>\frac{\alpha \pi }{2}$. Therefore, the endemic equilibrium is locally asymptotically stable.

6 The optimal control problem

In this section, we present the fractional optimal control in transmission dynamics of WNV model (6) with a time delay in the state variables $M_{i}(t)$, $S(t)$, and $H(t)$. Two control functions are considered $u_{1}$ and $u_{2}$. The control $u_{1}$ represents the level of larvacide and adulticide used for mosquito control administered at mosquito breeding sites. The control $u_{2}$ measures the level of successful prevention (personal protection) efforts. Hence, we introduce a time delay $\mathbf{d}_{ \mathbf{u}}$ in the control $u_{2}$ that represents the time required for the WNV prevention. The resulting model of WNV is given by the following system of nonlinear ordinary delay fractional-order differential equations:

$$\begin{aligned}& {}^{c}_{a}D^{\alpha }_{t}M_{s}(t) =\lambda _{M}^{\alpha }N_{M} \bigl(1-u _{1}(t) \bigr) -\frac{b_{1}^{\alpha }\beta _{1}^{\alpha }M_{s}(t)B _{i}(t)}{N_{B}(t)}-\mu _{M}^{\alpha }M_{s}(t)-r_{0}^{\alpha }u_{1}(t)M _{s}(t) , \\& {}^{c}_{a}D^{\alpha }_{t}M_{i}(t) =\frac{b_{1}^{\alpha }\beta _{1}^{ \alpha }M_{s}(t)B_{i}(t)}{N_{B}(t)}-\mu _{M}^{\alpha }M_{i}(t)-r_{0} ^{\alpha }u_{1}(t)M_{i}(t) , \\& {}^{c}_{a}D^{\alpha }_{t}B_{s}(t) =\lambda _{B}^{\alpha }+\rho ^{\alpha } N_{B}(t)- \frac{b_{1}^{\alpha }\beta _{2}^{\alpha }M_{i}(t)B_{s}(t)}{N _{B}(t)}- \bigl( \varPsi _{B}^{\alpha }+\mu _{B}^{\alpha } \bigr) B _{s}(t) , \\& {}^{c}_{a}D^{\alpha }_{t}B_{i}(t) =\frac{b_{1}^{\alpha }\beta _{2}^{ \alpha }M_{i}(t)B_{s}(t)}{N_{B}(t)}- \bigl( d_{B}^{\alpha }+\varPsi _{B}^{\alpha }+\mu _{B}^{\alpha } \bigr) B_{i}(t) , \\& {}^{c}_{a}D^{\alpha }_{t}S(t) =\lambda _{H}^{\alpha }+\gamma _{H}^{ \alpha }N_{H}(t)- \frac{b_{2}^{\alpha }\beta _{3}^{\alpha }M_{i}(t- \mathbf{d})S(t-\mathbf{d}) (1-u_{2}(t-\mathbf{d}_{\mathbf{u}}) )}{N _{H}(t)}-\mu _{H}^{\alpha }S(t) , \\& {}^{c}_{a}D^{\alpha }_{t}E(t) = \frac{b_{2}^{\alpha }\beta _{3}^{\alpha }M_{i}(t-\mathbf{d})S(t-\mathbf{d}) (1-u_{2}(t-\mathbf{d}_{ \mathbf{u}}) )}{N_{H}(t)}- \bigl( \alpha _{w}^{\alpha } +\mu _{H}^{\alpha } \bigr) E(t) , \\& {}^{c}_{a}D^{\alpha }_{t}I(t) =\alpha _{w}^{\alpha } E(t)- \bigl( \gamma ^{\alpha } +d_{I}^{\alpha }+r^{\alpha }+\mu _{H}^{\alpha } \bigr) I(t) , \\& {}^{c}_{a}D^{\alpha }_{t}H(t) =\gamma ^{\alpha } I(t)- \bigl( d_{H}^{ \alpha }+\mu _{H}^{\alpha } \bigr) H(t)-\tau ^{\alpha } H(t-\mathbf{d}) , \\& {}^{c}_{a}D^{\alpha }_{t}R(t) =\tau ^{\alpha } H(t-\mathbf{d})+r^{ \alpha }I(t)-\mu _{H}^{\alpha }R(t). \end{aligned}$$

(16)

We consider that $\mathbf{d}_{\mathbf{u}}=\mathbf{d}$. Let us denote the state and control variables of the control system (16) by $\mathfrak{X}=(M_{s},M_{i},B_{s},B_{i},S,E,I, H,R)\in \mathbb{R} ^{9}$ and $\mathfrak{U}=(u_{1},u_{2})\in \mathbb{R}^{2}$. We consider the following objective function which is quadratic in the control variable:

$$ J^{*}(\mathfrak{X},\mathfrak{U})= \int _{0}^{T_{f}} \bigl( A_{1}E(t)+A _{2}I(t)+A_{3}N_{M}(t)+B_{1}u_{1}^{2}(t)+B_{2}u_{2}^{2}(t) \bigr) \,dt. $$

(17)

The optimal control problem is defined by determining a control function $\mathfrak{U}=(u_{1},u_{2})\in \mathbb{R}^{2}$ that minimizes the cost functional $J^{*}(\mathfrak{X},\mathfrak{U})$ subject to the constraints (16). To get the necessary optimality conditions of the optimal control problem described by time delay in state and control variables, see [64]. To get the Hamiltonian for the delayed fractional optimal control problem, let us introduce the delayed state variables $\mathfrak{C}_{2}=\mathfrak{X}_{2}(t-\mathbf{d})=M_{i}(t- \mathbf{d})$, $\mathfrak{C}_{5}=\mathfrak{X}_{5}(t-\mathbf{d})=S(t- \mathbf{d})$, $\mathfrak{C}_{8}=\mathfrak{X}_{8}(t-\mathbf{d})=H(t- \mathbf{d})$ and the delayed control variable $\mathfrak{A}_{2}= \mathfrak{U}_{2}(t-\mathbf{d})=u_{2}(t-\mathbf{d})$. The Hamiltonian for the objective functional (17) and the control system (16) is given by

$$\begin{aligned} &\mathcal{H}^{*} \bigl(\mathfrak{X},\mathfrak{C}_{2}, \mathfrak{C}_{5}, \mathfrak{C}_{8},\lambda ^{*},u_{1},\mathfrak{A}_{2} \bigr) \\ &\quad =- \bigl( A_{1}E+A_{2}I+A_{3}N_{M}+B_{1}u_{1}^{2}+B_{2}u_{2}^{2} \bigr) \\ &\qquad {}+\lambda ^{*}_{1} \biggl[ \lambda _{M}^{\alpha }N_{M} (1-u_{1} ) - \frac{b_{1}^{\alpha }\beta _{1}^{\alpha }M_{s}B_{i}}{N_{B}}- \mu _{M}^{\alpha }M_{s}-r_{0}^{\alpha }u_{1}M_{s} \biggr] \\ &\qquad {}+\lambda ^{*}_{2} \biggl[\frac{b_{1}^{\alpha }\beta _{1}^{\alpha }M_{s}B _{i}}{N_{B}}-\mu _{M}^{\alpha }M_{i}-r_{0}^{\alpha }u_{1}M_{i} \biggr] \\ &\qquad {}+ \lambda ^{*}_{3} \biggl[ \lambda _{B}^{\alpha }+\rho ^{\alpha } N_{B}- \frac{b _{1}^{\alpha }\beta _{2}^{\alpha }M_{i}B_{s}}{N_{B}}- \bigl( \varPsi _{B}^{\alpha }+\mu _{B}^{\alpha } \bigr) B_{s} \biggr] \\ &\qquad {}+\lambda ^{*}_{4} \biggl[\frac{b_{1}^{\alpha }\beta _{2}^{\alpha }M_{i}B _{s}}{N_{B}}- \bigl( d_{B}^{\alpha }+\varPsi _{B}^{\alpha }+\mu _{B} ^{\alpha } \bigr) B_{i} \biggr] \\ &\qquad {}+\lambda ^{*}_{5} \biggl[\lambda _{H}^{\alpha }+\gamma _{H}^{\alpha }N _{H}-\frac{b_{2}^{\alpha }\beta _{3}^{\alpha }\mathfrak{C}_{2} \mathfrak{C}_{5} (1-\mathfrak{A}_{2} )}{N_{H}}-\mu _{H} ^{\alpha }S \biggr] \\ &\qquad {}+\lambda ^{*}_{6} \biggl[ \frac{b_{2}^{\alpha }\beta _{3}^{\alpha } \mathfrak{C}_{2}\mathfrak{C}_{5} (1-\mathfrak{A}_{2} )}{N _{H}}- \bigl( \alpha _{w}^{\alpha } +\mu _{H}^{\alpha } \bigr) E \biggr] \\ &\qquad {}+\lambda ^{*}_{7} \bigl[\alpha _{w}^{\alpha } E- \bigl( \gamma ^{\alpha } +d_{I}^{\alpha }+r^{\alpha }+\mu _{H}^{\alpha } \bigr) I \bigr] \\ &\qquad {}+\lambda ^{*}_{8} \bigl[ \gamma ^{\alpha } I- \bigl( d_{H}^{\alpha }+ \mu _{H}^{\alpha } \bigr) H-\tau ^{\alpha }\mathfrak{C}_{8} \bigr] \\ &\qquad {}+\lambda ^{*}_{9} \bigl[ \tau ^{\alpha } \mathfrak{C}_{8}+r^{\alpha }I- \mu _{H}^{\alpha }R \bigr], \end{aligned}$$

(18)

where the adjoint variable is $\lambda ^{*}= (\lambda ^{*}_{1}, \lambda ^{*}_{2},\lambda ^{*}_{3},\lambda ^{*}_{4},\lambda ^{*}_{5}, \lambda ^{*}_{6},\lambda ^{*}_{7},\lambda ^{*}_{8},\lambda ^{*}_{9} ) \in \mathbb{R}^{9}$. The adjoint equations are given by

$$\begin{aligned} &{}^{c}_{t}D^{\alpha }_{T_{f}} \lambda ^{*}_{1}(t) =-\frac{\partial \mathcal{H}^{*}(t)}{\partial M_{s}(t)}, \\ & {}^{c}_{t}D^{\alpha }_{T_{f}}\lambda ^{*}_{2}(t)=-\frac{\partial \mathcal{H}^{*}(t)}{\partial M_{i}(t)}+\chi _{[0,T_{f}-\mathbf{d}]} \frac{ \partial \mathcal{H}^{*}(t+\mathbf{d})}{\partial \mathfrak{C}_{2}}, \\ &{}^{c}_{t}D^{\alpha }_{T_{f}}\lambda ^{*}_{3}(t) =-\frac{\partial \mathcal{H}^{*}(t)}{\partial B_{s}(t)},\qquad {}^{c}_{t}D^{\alpha }_{T_{f}}\lambda ^{*}_{4}(t)=-\frac{\partial \mathcal{H}^{*}(t)}{\partial B_{i}(t)}, \\ &{}^{c}_{t}D^{\alpha }_{T_{f}}\lambda ^{*}_{5}(t) =-\frac{\partial \mathcal{H}^{*}(t)}{\partial S(t)}+\chi _{[0,T_{f}-\mathbf{d}]} \frac{ \partial \mathcal{H}^{*}(t+\mathbf{d})}{\partial \mathfrak{C}_{5}}, \\ &{}^{c}_{t}D^{\alpha }_{T_{f}}\lambda ^{*}_{6}(t) =-\frac{\partial \mathcal{H}^{*}(t)}{\partial E(t)},\qquad {}^{c}_{t}D^{\alpha }_{T_{f}}\lambda ^{*}_{7}(t)=-\frac{\partial \mathcal{H}^{*}(t)}{\partial I(t)}, \\ &{}^{c}_{t}D^{\alpha }_{T_{f}}\lambda ^{*}_{8}(t) =-\frac{\partial \mathcal{H}^{*}(t)}{\partial H(t)}+\chi _{[0,T_{f}-\mathbf{d}]} \frac{ \partial \mathcal{H}^{*}(t+\mathbf{d})}{\partial \mathfrak{C}_{8}}, \\ &{}^{c}_{t}D^{\alpha }_{T_{f}}\lambda ^{*}_{9}(t) =-\frac{\partial \mathcal{H}^{*}(t)}{\partial R(t)}, \end{aligned}$$

(19)

where

$$ \chi _{[0,T_{f}-\mathbf{d}]}= \textstyle\begin{cases} 1, & \mbox{if } t\in [0,T_{f}-\mathbf{d}], \\0, & \mbox{otherwise}. \end{cases} $$

The equations for $\lambda ^{*}_{2}(t)$, $\lambda ^{*}_{5}(t)$, and $\lambda ^{*}_{8}(t)$ contain the advanced time $t+\mathbf{d}$. Therefore, the Lagrange multipliers can be written as follows:

$$\begin{aligned}& {}^{c}_{t}D^{\alpha }_{T_{f}}\lambda ^{\ast }_{1} =-A_{3}-\bigl(\lambda ^{ \ast }_{2}-\lambda ^{\ast }_{1}\bigr)b\beta _{1}B_{i}\xi -\lambda ^{\ast } _{1}\bigl[ \lambda _{M}(1-u_{1})-(\mu _{1}+\mu _{2}N_{M}) \\& \hphantom{{}^{c}_{t}D^{\alpha }_{T_{f}}\lambda ^{\ast }_{1} ={}}{} -\mu _{2}M_{s}-r_{0}u_{1} \bigr]+\lambda ^{\ast }_{2}\mu _{2}M_{i} , \\& {}^{c}_{t}D^{\alpha }_{T_{f}}\lambda ^{\ast }_{2} =-A_{3}-\lambda ^{ \ast }_{1} \bigl[\lambda _{M}(1-u_{1})-\mu _{2}M_{s} \bigr]+\lambda ^{\ast }_{2} [\mu _{1}+\mu _{2}N_{M}+\mu _{2}M_{i}+r_{0}u_{1} ] \\& \hphantom{{}^{c}_{t}D^{\alpha }_{T_{f}}\lambda ^{\ast }_{2} ={}}{} -\bigl(\lambda ^{\ast }_{4}-\lambda ^{\ast }_{3}\bigr)b\beta _{2}B_{s}\xi -b \beta _{3}S(1-u_{2})\xi \bigl(\lambda ^{\ast }_{6}- \lambda ^{\ast }_{5}\bigr) \\& \hphantom{{}^{c}_{t}D^{\alpha }_{T_{f}}\lambda ^{\ast }_{2} ={}}{} +\chi _{[0,T_{f}-\mathbf{d}]}\frac{b_{2}^{\alpha }\beta _{3}^{\alpha } \mathfrak{C}_{5} (1-\mathfrak{A}_{2} )}{N_{H}} \bigl(\lambda ^{ \ast }_{6}(t+\mathbf{d})-\lambda ^{\ast }_{5}(t+ \mathbf{d}) \bigr) , \\& {}^{c}_{t}D^{\alpha }_{T_{f}}\lambda ^{\ast }_{3} =\bigl(\lambda ^{\ast }_{2}- \lambda ^{\ast }_{1}\bigr)b\beta _{1}B_{i}M_{s} \xi ^{2}-\lambda ^{\ast }_{3} \bigl[\rho -b\beta _{2}M_{i}\bigl(\xi -B_{s}\xi ^{2} \bigr)-\varPsi _{B}-\mu _{B} \bigr] \\& \hphantom{{}^{c}_{t}D^{\alpha }_{T_{f}}\lambda ^{\ast }_{3} ={}}{} -\lambda ^{\ast }_{4}b\beta _{2}M_{i}\bigl(\xi -B_{s}\xi ^{2} \bigr)-\bigl(\lambda ^{ \ast }_{5}-\lambda ^{\ast }_{6} \bigr)b\beta _{3}M_{i}S(1-u_{2})\xi ^{2} , \\& {}^{c}_{t}D^{\alpha }_{T_{f}}\lambda ^{\ast }_{4} =-\bigl(\lambda ^{\ast } _{2}- \lambda ^{\ast }_{1}\bigr)b\beta _{1}M_{s} \bigl(\xi -B_{i}\xi ^{2}\bigr)- \lambda ^{\ast }_{3} \bigl[\rho +b\beta _{2}M_{i}B_{s}\xi ^{2}\bigr] \\& \hphantom{{}^{c}_{t}D^{\alpha }_{T_{f}}\lambda ^{\ast }_{4} ={}}{} +\lambda ^{\ast }_{4}\bigl[b\beta _{2}M_{i}B_{s}\xi ^{2}+(d_{B}+ \varPsi _{B}+ \mu _{B})\bigr]-\bigl(\lambda ^{\ast }_{5}-\lambda ^{\ast }_{6}\bigr)b\beta _{3}M_{i}S(1-u _{2})\xi ^{2} , \\& {}^{c}_{t}D^{\alpha }_{T_{f}}\lambda ^{\ast }_{5} =-\bigl(\lambda ^{\ast } _{1}- \lambda ^{\ast }_{2}\bigr)b\beta _{1}B_{i}M_{s} \xi ^{2}-\bigl(\lambda ^{\ast } _{3}-\lambda ^{\ast }_{4}\bigr)b\beta _{2}M_{i}B_{s} \xi ^{2} \\& \hphantom{{}^{c}_{t}D^{\alpha }_{T_{f}}\lambda ^{\ast }_{5} ={}}{} -\lambda ^{\ast }_{5}\bigl[\gamma _{H}-b\beta _{3}M_{i}(1-u_{2}) \bigl( \xi -S\xi ^{2}\bigr)-\mu _{4}S-(\mu _{3}+\mu _{4}N_{H})\bigr] \\& \hphantom{{}^{c}_{t}D^{\alpha }_{T_{f}}\lambda ^{\ast }_{5} ={}}{} -\lambda ^{\ast }_{6}\bigl[b\beta _{3}M_{i}(1-u_{2}) \bigl(\xi -S\xi ^{2}\bigr)-\mu _{4}E\bigr]+ \lambda ^{\ast }_{7} \mu _{4}I+\lambda ^{\ast }_{8}\mu _{4}H+ \lambda ^{ \ast }_{9}\mu _{4}R \\& \hphantom{{}^{c}_{t}D^{\alpha }_{T_{f}}\lambda ^{\ast }_{5} ={}}{} +\chi _{[0,T_{f}-\mathbf{d}]}\frac{b_{2}^{\alpha }\beta _{3}^{\alpha } \mathfrak{C}_{2} (1-\mathfrak{A}_{2} )}{N_{H}} \bigl(\lambda ^{ \ast }_{6}(t+\mathbf{d})-\lambda ^{\ast }_{5}(t+ \mathbf{d}) \bigr) , \\& {}^{c}_{t}D^{\alpha }_{T_{f}}\lambda ^{\ast }_{6} =-A_{1}-\bigl(\lambda ^{ \ast }_{1}-\lambda ^{\ast }_{2}\bigr)b\beta _{1}B_{i}M_{s}\xi ^{2}-\bigl( \lambda ^{\ast }_{3}-\lambda ^{\ast }_{4}\bigr)b\beta _{2}M_{i}B_{s}\xi ^{2} \\& \hphantom{{}^{c}_{t}D^{\alpha }_{T_{f}}\lambda ^{\ast }_{6} =}{} -\lambda ^{\ast }_{5}\bigl[\gamma _{H}+b\beta _{3}M_{i}B_{s}(1-u_{2}) \xi ^{2}- \mu _{4}S\bigr] \\& \hphantom{{}^{c}_{t}D^{\alpha }_{T_{f}}\lambda ^{\ast }_{6} =}{} +\lambda ^{\ast }_{6}\bigl[b\beta _{3}M_{i}S(1-u_{2})\xi ^{2}+\alpha _{w}+\mu _{4}E+\mu _{3}+\mu _{4}N_{H} \bigr] \\& \hphantom{{}^{c}_{t}D^{\alpha }_{T_{f}}\lambda ^{\ast }_{6} =}{} -\lambda ^{\ast }_{7}[\alpha _{w}-\mu _{4}I]+\lambda ^{\ast }_{8}\mu _{4}H+ \lambda ^{\ast }_{9}\mu _{4}R , \\& {}^{c}_{t}D^{\alpha }_{T_{f}}\lambda ^{\ast }_{7} =-A_{2}-\bigl(\lambda ^{ \ast }_{1}-\lambda ^{\ast }_{2}\bigr)b\beta _{1}B_{i}M_{s}\xi ^{2}-\bigl( \lambda ^{\ast }_{3}-\lambda ^{\ast }_{4}\bigr)b\beta _{2}M_{i}B_{s}\xi ^{2} \\& \hphantom{{}^{c}_{t}D^{\alpha }_{T_{f}}\lambda ^{\ast }_{7} ={}}{} -\lambda ^{\ast }_{5}\bigl[\gamma _{H}+b\beta _{3}M_{i}S(1-u_{2})\xi ^{2}-\mu _{4}S\bigr]+\lambda ^{\ast }_{6} \bigl[b\beta _{3}M_{i}S(1-u_{2})\xi ^{2}+\mu _{4}E\bigr] \\& \hphantom{{}^{c}_{t}D^{\alpha }_{T_{f}}\lambda ^{\ast }_{7} ={}}{} +\lambda ^{\ast }_{7}[\gamma +d_{I}+r+\mu _{4}I+\mu _{3}+\mu _{4}N_{H}]- \lambda ^{\ast }_{8}[\gamma - \mu _{4}H]-\lambda ^{\ast }_{9}[r-\mu _{4}R] , \\& {}^{c}_{t}D^{\alpha }_{T_{f}}\lambda ^{\ast }_{8} =-\bigl(\lambda ^{\ast } _{1}- \lambda ^{\ast }_{2}\bigr)b\beta _{1}M_{s}B_{i} \xi ^{2}-\bigl(\lambda ^{\ast } _{3}-\lambda ^{\ast }_{4}\bigr)b\beta _{2}M_{i}B_{s} \xi ^{2} \\& \hphantom{{}^{c}_{t}D^{\alpha }_{T_{f}}\lambda ^{\ast }_{8} ={}}{} -\lambda ^{\ast }_{5}\bigl[\gamma _{H}+b\beta _{3}M_{i}S(1-u_{2})\xi ^{2}-\mu _{4}S\bigr]+\lambda ^{\ast }_{6} \bigl[b\beta _{3}M_{i}S(1-u_{2})\xi ^{2}+\mu _{4}E\bigr] \\& \hphantom{{}^{c}_{t}D^{\alpha }_{T_{f}}\lambda ^{\ast }_{8} ={}}{} +\lambda ^{\ast }_{7}\mu _{4}I+ \lambda ^{\ast }_{8}[d_{H}+\tau +\mu _{4}N _{H}+\mu _{3}+\mu _{4}H]-\lambda ^{\ast }_{9}[\tau -\mu _{4}R] \\& \hphantom{{}^{c}_{t}D^{\alpha }_{T_{f}}\lambda ^{\ast }_{8} ={}}{} +\chi _{[0,T_{f}-\mathbf{d}]}\tau ^{\alpha } \bigl(\lambda ^{\ast }_{9}(t+ \mathbf{d})-\lambda ^{\ast }_{8}(t+ \mathbf{d}) \bigr) , \\& {}^{c}_{t}D^{\alpha }_{T_{f}}\lambda ^{\ast }_{9} =-\bigl(\lambda ^{\ast } _{1}- \lambda ^{\ast }_{2}\bigr)b\beta _{1}M_{s}B_{i} \xi ^{2}-\bigl(\lambda ^{\ast } _{3}-\lambda ^{\ast }_{4}\bigr)b\beta _{2}M_{i}B_{s} \xi ^{2} \\& \hphantom{{}^{c}_{t}D^{\alpha }_{T_{f}}\lambda ^{\ast }_{9} ={}}{} -\lambda ^{\ast }_{5}\bigl[\gamma _{H}+b\beta _{3}M_{i}S(1-u_{2})\xi ^{2}-\mu _{4}S\bigr]+\lambda ^{\ast }_{6} \bigl[b\beta _{3}M_{i}S(1-u_{2})\xi ^{2}+\mu _{4}E\bigr] \\& \hphantom{{}^{c}_{t}D^{\alpha }_{T_{f}}\lambda ^{\ast }_{9} ={}}{} +\lambda ^{\ast }_{7}\mu _{4}I+ \lambda ^{\ast }_{8}\mu _{4}H+\lambda ^{ \ast }_{9}[\mu _{4}R+\mu _{3}+\mu _{4}N_{H}]. \end{aligned}$$

(20)

Thus, the terminal state is free, the transversality conditions are

$$ \lambda ^{*}_{i}(T_{f})=0,\quad \forall i=1,2,\ldots ,9, $$

(21)

and the characterization of the control variable $u_{1}$ is

$$ \frac{\partial \mathcal{H}^{*}(t)}{\partial u_{1}(t)} =0. $$

(22)

To characterize the control variable $u_{2}$, we introduce the following switching function:

$$\begin{aligned} \eth _{2}(t) &=\frac{\partial \mathcal{H}^{*}(t)}{\partial u_{2}(t)}+ \chi _{[0,T_{f}-\mathbf{d}]} \frac{\partial \mathcal{H}^{*}(t+ \mathbf{d})}{\partial \mathfrak{A}_{2}} \\ &= \textstyle\begin{cases} \frac{1}{2}B_{2}u_{2}+\frac{b_{2}^{\alpha }\beta _{3}^{\alpha } \mathfrak{C}_{2}\mathfrak{C}_{5} (\lambda ^{*}_{5}-\lambda ^{*} _{6} ) }{N_{H}}, & \text{for } 0\leq t\leq T_{f}- \mathbf{d}, \\ \frac{1}{2}B_{2}u_{2}, & \text{for } T_{f}-\mathbf{d}\leq t\leq T_{f}. \end{cases}\displaystyle \end{aligned}$$

(23)

Thus, the maximum condition for the control variable $u_{2}(t)$ is equivalent to the maximization $\eth _{2}(t)u_{2}(t)= \max_{0\leq u_{2}\leq 1}\eth _{2}(t)u_{2}(t)$.

7 NSFD for fractional time-delay West Nile virus model

In this section, the discretization of fractional delay WNV model is presented. We apply the NSFD method with Grünwald–Letnikov definition, so the discretization can be written as follows:

$$\begin{aligned}& \sum_{\iota =0}^{n+1}\omega _{\iota }^{\alpha } M_{s}^{n+1-\iota } = \lambda _{M}^{\alpha }N_{M}^{n} \bigl(1-u_{1}^{n}\bigr)-\frac{b_{1}^{\alpha }\beta _{1}^{\alpha }M_{s}^{n}B_{i}^{n}}{N_{B}^{n}}-\mu _{M}^{\alpha }M_{s} ^{n}-r_{0}^{\alpha }u_{1}^{n}M_{s}^{n} , \\& \sum_{\iota =0}^{n+1}\omega _{\iota }^{\alpha } M_{i}^{n+1-\iota } =\frac{b _{1}^{\alpha }\beta _{1}^{\alpha }M_{s}^{n}B_{i}^{n}}{N_{B}^{n}}-\mu _{M}^{\alpha }M_{i}^{n}-r_{0}^{\alpha }u_{1}^{n}M_{i}^{n} , \\& \sum_{\iota =0}^{n+1}\omega _{\iota }^{\alpha } B_{s}^{n+1-\iota } = \lambda _{B}^{\alpha }+\rho ^{\alpha } N_{B}^{n}-\frac{b_{1}^{\alpha } \beta _{2}^{\alpha }M_{i}^{n}B_{s}^{n}}{N_{B}^{n}}- \bigl( \varPsi _{B} ^{\alpha }+\mu _{B}^{\alpha } \bigr) B_{s}^{n} , \\& \sum_{\iota =0}^{n+1}\omega _{\iota }^{\alpha } B_{i}^{n+1-\iota } =\frac{b _{1}^{\alpha }\beta _{2}^{\alpha }M_{i}^{n}B_{s}^{n}}{N_{B}^{n}}- \bigl( d_{B}^{\alpha }+ \varPsi _{B}^{\alpha }+\mu _{B}^{\alpha } \bigr) B_{i} ^{n} , \\& \sum_{\iota =0}^{n+1}\omega _{\iota }^{\alpha } S^{n+1-\iota } = \lambda _{H}^{\alpha }+\gamma _{H}^{\alpha }N_{H}^{n}-\frac{b_{2}^{ \alpha }\beta _{3}^{\alpha }M_{i}^{n-\varrho }S^{n-\varrho }(1-u_{2} ^{n-\varrho })}{N_{H}^{n}}- \mu _{H}^{\alpha }S^{n} , \\& \sum_{\iota =0}^{n+1}\omega _{\iota }^{\alpha } E^{n+1-\iota } =\frac{b _{2}^{\alpha }\beta _{3}^{\alpha }M_{i}^{n-\varrho }S^{n-\varrho }(1-u _{2}^{n-\varrho })}{N_{H}^{n}}- \bigl( \alpha _{w}^{\alpha }+ \mu _{H} ^{\alpha } \bigr) E^{n} , \\& \sum_{\iota =0}^{n+1}\omega _{\iota }^{\alpha } I^{n+1-\iota } =\alpha _{w}^{\alpha } E^{n}- \bigl( \gamma ^{\alpha } +d_{I}^{\alpha }+r^{ \alpha }+\mu _{H}^{\alpha } \bigr) I^{n} , \\& \sum_{\iota =0}^{n+1}\omega _{\iota }^{\alpha } H^{n+1-\iota } = \gamma ^{\alpha } I^{n}- \bigl( d_{H}^{\alpha }+\mu _{H}^{\alpha } \bigr) H^{n}-\tau ^{\alpha } H^{n-\varrho } , \\& \sum_{\iota =0}^{n+1}\omega _{\iota }^{\alpha } R^{n+1-\iota } = \tau ^{\alpha } H^{n-\varrho }+r^{\alpha }I^{n}- \mu _{H}^{\alpha }R^{n}, \end{aligned}$$

(24)

where $\omega _{0}^{\alpha }= (\varphi (\Delta t) )^{- \alpha }$, $n=-\varrho ,-\varrho +1,\ldots ,0,1$, and the local approximations are used for the nonlinear terms. We use the denominator function of the form $\varphi (\Delta t)=1-e^{-\Delta {t}}$. Thus, the discretized system (24) can be written as follows:

$$\begin{aligned}& M_{s}^{n+1} =\frac{\lambda _{M}^{\alpha }N_{M}^{n}(1-u_{1}^{n})-\frac{b _{1}^{\alpha }\beta _{1}^{\alpha }M_{s}^{n}B_{i}^{n}}{N_{B}^{n}}-\mu _{M}^{\alpha }M_{s}^{n}-r_{0}^{\alpha }u_{1}^{n}M_{s}^{n}-\sum_{ \iota =1}^{n+1}\omega _{\iota }^{\alpha } M_{s}^{n+1-\iota }}{\omega _{0}^{\alpha }} , \\& M_{i}^{n+1} =\frac{\frac{b_{1}^{\alpha }\beta _{1}^{\alpha }M_{s}^{n}B _{i}^{n}}{N_{B}^{n}}-\mu _{M}^{\alpha }M_{i}^{n}-r_{0}^{\alpha }u_{1} ^{n}M_{i}^{n}-\sum_{\iota =1}^{n+1}\omega _{\iota }^{\alpha } M_{i} ^{n+1-\iota }}{\omega _{0}^{\alpha }} , \\& B_{s}^{n+1} =\frac{\lambda _{B}^{\alpha }+\rho ^{\alpha } N_{B}^{n}-\frac{b _{1}^{\alpha }\beta _{2}^{\alpha }M_{i}^{n}B_{s}^{n}}{N_{B}^{n}}- ( \varPsi _{B}^{\alpha }+\mu _{B}^{\alpha } ) B_{s}^{n}-\sum_{ \iota =1}^{n+1}\omega _{\iota }^{\alpha } B_{s}^{n+1-\iota }}{\omega _{0}^{\alpha }} , \\& B_{i}^{n+1} =\frac{\frac{b_{1}^{\alpha }\beta _{2}^{\alpha }M_{i}^{n}B _{s}^{n}}{N_{B}^{n}}- ( d_{B}^{\alpha }+\varPsi _{B}^{\alpha }+\mu _{B}^{\alpha } ) B_{i}^{n}-\sum_{\iota =1}^{n+1}\omega _{\iota } ^{\alpha } B_{i}^{n+1-\iota }}{\omega _{0}^{\alpha }} , \\& S^{n+1} =\frac{\lambda _{H}^{\alpha }+\gamma _{H}^{\alpha }N_{H}^{n}-\frac{b _{2}^{\alpha }\beta _{3}^{\alpha }M_{i}^{n-\varrho }S^{n-\varrho }(1-u _{2}^{n-\varrho })}{N_{H}^{n}}-\mu _{H}^{\alpha }S^{n}-\sum_{\iota =1} ^{n+1}\omega _{\iota }^{\alpha } S^{n+1-\iota }}{\omega _{0}^{\alpha }} , \\& E^{n+1} =\frac{\frac{b_{2}^{\alpha }\beta _{3}^{\alpha }M_{i}^{n- \varrho }S^{n-\varrho }(1-u_{2}^{n-\varrho })}{N_{H}^{n}}- ( \alpha _{w}^{\alpha }+\mu _{H}^{\alpha } )E^{n}-\sum_{\iota =1} ^{n+1}\omega _{\iota }^{\alpha } E^{n+1-\iota }}{\omega _{0}^{\alpha }} , \\& I^{n+1} =\frac{\alpha _{w}^{\alpha } E^{n}- ( \gamma ^{\alpha }+d _{I}^{\alpha }+r^{\alpha }+\mu _{H}^{\alpha } ) I^{n}-\sum_{ \iota =1}^{n+1}\omega _{\iota }^{\alpha } I^{n+1-\iota }}{\omega _{0} ^{\alpha }} , \\& H^{n+1} =\frac{\gamma ^{\alpha } I^{n}- ( d_{H}^{\alpha }+\mu _{H}^{\alpha } )H^{n}-\tau ^{\alpha }H^{n-\varrho }-\sum_{\iota =1}^{n+1}\omega _{\iota }^{\alpha } H^{n+1-\iota }}{\omega _{0}^{\alpha }} , \\& R^{n+1} =\frac{\tau ^{\alpha } H^{n-\varrho }+r^{\alpha }I^{n}-\mu _{H}^{\alpha }R^{n}-\sum_{\iota =1}^{n+1}\omega _{\iota }^{\alpha } R ^{n+1-\iota }}{\omega _{0}^{\alpha }}, \end{aligned}$$

(25)

where

$$\begin{aligned}& N_{M}^{n} =M_{s}^{n}+M_{i}^{n} , \\& N_{B}^{n} =B_{s}^{n}+B_{i}^{n} , \\& N_{H}^{n} =S^{n}+E^{n}+I^{n}+H^{n}+R^{n}. \end{aligned}$$

(26)

8 Numerical experiment

Throughout this section for simulations, we use NSFDM and SFDM. These simulations are performed with initial conditions $(M_{s_{0}},M_{i _{0}},B_{s_{0}},B_{i_{0}},S_{0},E_{0},I_{0},R_{0},H_{0}) = (10\text{,}000,1000, 1000,0,1000,0,0,0,0)$ and transversality conditions $\lambda _{i}(T_{f})=0$, $\forall i=1,2, \ldots ,9$. For Figs. 1–9, the weights $A_{1}=A_{2}=1$, $A_{3}=10^{-4}$ in the cost functional (17), (i.e., the minimization of the number of exposed and infected humans is given more importance than the reduction of the total number of mosquitoes). Respectively, we use the upper bound of 0.8 and 0.5 on $u_{1}$ and $u_{2}$. All parameters are collected and given in Table 3. In Table 4, the sum of numerical values of the state variables $E(T_{f})+I(T_{f})$ at $T_{f}=100$ and the objective function $J^{*}(\mathfrak{X},\mathfrak{U})$ in two cases, with and without control at different values of time delay d and different values of α with $\Delta t=0.1$, obtained by NSFD method, are given. According to comparisons that are presented in Table 4, it can be observed that, for example, the cost functional $J^{*}( \mathfrak{X},\mathfrak{U})$ with control is $44\text{,}507$, $56\text{,}867$ at $\mathbf{d}=1$ and $\mathbf{d}=7$, respectively, in case of integer order and $J^{*}(\mathfrak{X},\mathfrak{U})$ without control is $68\text{,}771$, $71\text{,}011$ at the same values of d. But in case of fractional order $J^{*}(\mathfrak{X},\mathfrak{U})$ with control is $38\text{,}732$, $49\text{,}617$ and $J^{*}(\mathfrak{X},\mathfrak{U})$ without control is $59\text{,}450$, $61\text{,}304$ for $\alpha =0.98$ and $21\text{,}901$, $28\text{,}350$ in control case but in case of without control $32\text{,}911$, $34\text{,}564$ for $\alpha =0.90$ at $\mathbf{d}=1$ and $\mathbf{d}=7$, respectively.

Figure 1

The approximate solutions of the fractional delay optimal control problem by using NSFDM and SFDM. When $0 \leq u_{1}\leq 0.8$, $0 \leq u_{2}\leq 0.5$, with $\mathbf{d}=5$ and $\alpha =0.90$, and $\Delta t=0.5$

Table 4 Comparisons between the value of objective function $J^{*}(\mathfrak{X},\mathfrak{U})$ with and without control cases and $E(T_{f})+I(T_{f})$ when $0 \leq u_{1}\leq 0.8$, $0 \leq u_{2}\leq 0.5$, at different time delay d and different α with $\Delta t=0.1$, $T_{f}=100$ by using NSFDM

The main goal in this study is to reduce the infected and exposed human populations from the increase due to delay in treatment. Through the results obtained in Table 4, it can be noted that, if the time delay d is increased, the infected and exposed human populations are increased at different values of α. For example, in case of non-delay optimal control problem at $\mathbf{d}=0$, it can be seen that the infected and exposed human populations are increased if the value of α is increased, and the better results occur at $\alpha =0.70$. While in the case of delay optimal control problem, it can be noted that at $\mathbf{d}=1$, the lowest value of the infected and exposed human populations occurs at $\alpha =0.70$, similarly for $\mathbf{d}=3,5,7$.

In Table 5, comparisons between NSFDM and SFDM at different values of time delay d and different values of α with $\Delta t=1$ at $T_{f}=100$ are presented. It can be seen that the values of the cost function $J^{*}(\mathfrak{X},\mathfrak{U})$ are $44\text{,}560$, $62\text{,}325$ at $\mathbf{d}=3$ and $\mathbf{d}=10$, respectively, using NSFDM, in case of integer order. But it takes the values $45\text{,}647$, $62\text{,}325$ at the same time delay d using SFDM. In case of fractional order, the values of $J^{*}(\mathfrak{X},\mathfrak{U})$ are $40\text{,}721$, $27\text{,}976$ using NSFDM and $56\text{,}813$, $38\text{,}610$ using SFDM for $\alpha =0.98$, $\alpha =0.90$ at the same time delay d. Thus, the objective function $J^{*}(\mathfrak{X},\mathfrak{U})$ obtained using NSFDM is better than that obtained using SFDM. It can be concluded that the numerical treatments for the effectiveness of nonstandard finite difference technique for the fractional time-delay optimal control problem are better than the numerical treatments for the time-delay optimal control.

Table 5 Comparisons between the value of objective function $J^{*}(\mathfrak{X},\mathfrak{U})$ using NSFDM and SFDM when $0 \leq u_{1}\leq 0.8$, $0 \leq u_{2}\leq 0.5$, at different time delay d and different α with $\Delta t=1$, $T_{f}=100$

Also, from Table 5 we see that NSFDM helps us to achieve the goal of this research and to obtain the lowest value of the infected and exposed human populations better than SFDM, where the lowest value of these populations occurs at $\alpha =0.90$ and $\mathbf{d}=3,5,7$.

The numerical simulations of the optimal control problem (16) and (17) using two numerical methods, NSFDM and SFDM, are shown in Figs. 1 and 2. Figure 1 presents the comparison between these proposed methods at $\mathbf{d}=10$ and $\alpha =1$, and $\Delta t=1$. It can be observed that the infected human population $I(t)$ is about 280 and 320 for NSFDM and SFDM, respectively. It is clear that SFDM is divergent at $\Delta t=5$, but NSFDM is convergent as explained in Figs. 2 and 3, respectively. The approximate solutions of the proposed optimal control problem are described by Figs. 3–9 at different time delay d and α. In Fig. 4, the approximate solutions of the fractional delay WNV model (6) without control (i.e., $u_{1}=u_{2}=0$) with $\mathbf{d}=1$ at different α, and $\Delta t=1$ by using NSFDM are shown. It can be seen that the infected human population $I(t)$ is about 750, 650, and 400 for $\alpha =1$, $\alpha =0.98$, and $\alpha =0.90$, respectively. Numerical comparisons between the approximate solutions of the fractional delay optimal control problem (16) and (17) with and without control (i.e., $u_{1}=u_{2}=0$) with $\mathbf{d}=1$ at $\alpha =0.90$, and $\Delta t=1$ by using NSFDM, are introduced in Fig. 5. It can be shown that the infected human population $I(t)$ is about 250 and 450 in two cases with and without control, respectively. The behavior of the approximate solutions of the fractional delay optimal control problem (16) and (17) at different time delay d and different α at $\Delta t=0.1$ is included in Fig. 6. We notice that the delayed infected human population $I(t-\mathbf{d})$ is about 589.0570, 507.9876, and 278.5177 for $\alpha =1$, $\alpha =0.98$, and $\alpha =0.90$, respectively, when $\mathbf{d}=5$. Figure 7 shows numerical comparisons between the approximate solutions of the optimal control problem (16) and (17) in two cases, the fractional delay optimal control problem at $\mathbf{d}=5$, and the fraction non-delay optimal control problem at $\mathbf{d}=0$ when $\alpha =0.98$. The infected human population $I(t)$ is about 650 and 400 in two cases with and without delay, respectively. Figure 8 shows the relationship between state variables $M_{i}(t- \mathbf{d})$ and $M_{i}(t)$, $S(t-\mathbf{d})$ and $S(t)$, $H(t- \mathbf{d})$ and $H(t)$, and the control variable $u_{2}(t- \mathbf{d})$ and $u_{2}(t)$ when $\mathbf{d}=1$ for $\alpha =0.98$. Figure 9 describes the approximate solutions of the fractional delay optimal control problem at the same time delay $\mathbf{d}=1$, $\mathbf{d}=5$, and $\mathbf{d}=10$ in case of fractional order at $\alpha =0.98$. The infected human population $I(t)$ is about 400, 500, and 650 for $\mathbf{d}=1$, $\mathbf{d}=5$, and $\mathbf{d}=10$, respectively.

Figure 2

The approximate solutions of the fractional delay optimal control problem by using SFDM. When $0 \leq u_{1}\leq 0.8$, $0 \leq u_{2}\leq 0.5$, with $\mathbf{d}=10$ and $\alpha =1$, and $\Delta t=5$

Figure 3

The approximate solutions of the fractional delay optimal control problem by using NSFDM. When $0 \leq u_{1}\leq 0.8$, $0 \leq u_{2}\leq 0.5$, with $\mathbf{d}=10$ and $\alpha =1$, and $\Delta t=5$

Figure 4

The approximate solutions of the fractional delay WNV model without control (i.e., $u_{1}=u_{2}=0$) by using NSFDM. With $\mathbf{d}=1$ at different α, and $\Delta t=1$

Figure 5

The approximate solutions of the fractional delay optimal control problem by using NSFDM. When $0 \leq u_{1}\leq 0.8$, $0 \leq u_{2}\leq 0.5$, and without control (i.e., $u_{1}=u_{2}=0$) with $\mathbf{d}=1$ at $\alpha =0.90$, and $\Delta t=1$

Figure 6

The approximate solutions of the fractional delay optimal control problem by using NSFDM. When $0 \leq u_{1}\leq 0.8$, $0 \leq u_{2}\leq 0.5$, with $\mathbf{d}=5$ and different α, and $\Delta t=0.1$

Figure 7

Numerical comparisons of the approximate solutions at $\mathbf{d}=10$ and $\mathbf{d}=0$ by using NSFDM. The approximate solutions of the fractional delay optimal control problem at $\mathbf{d}=10$ and the fraction non-delay optimal control problem at $\mathbf{d}=0$ when $\alpha =0.98$, and $\Delta t=0.1$

Figure 8

The relationship between the delayed variables and the non-delayed variables by using NSFDM. The delayed variables $M_{i}(t-\mathbf{d})$, $S(t-\mathbf{d})$, $H(t- \mathbf{d})$, $u_{2}(t-\mathbf{d})$ and the non-delayed variables $M_{i}(t)$, $S(t)$, $H(t)$, $u_{2}(t)$, respectively, with $\mathbf{d}=5$ and different α, $\Delta t=1$

Figure 9

The approximate solutions of the fractional delay optimal control problem by using NSFDM. When $\alpha =0.98$ and different d, and $\Delta t=0.1$

9 Conclusions

In this paper, fractional time-delay optimal control in transmission dynamics of WNV model is presented. Time delays in both state and control variables are formulated and studied. NSFDM and SFDM are introduced to study the behavior of the proposed model. According to the results implemented in this paper, it can be observed that the numerical solutions of the proposed model are different when d and α take different values. From the comparisons included in Tables 4 and 5, it is found that the values of the objective functional obtained by NSFDM are better than the results obtained by SFDM, it can be applied simply and effectively to solve optimal control of fractional delay.