Stability of a discrete-time general delayed viral model with antibody and cell-mediated immune responses

Abstract

We propose a discrete-time viral model with antibody and cell-mediated immune responses. Two types of infected cells are incorporated into the model, namely latently infected and actively infected. The incidence rate of infection as well as the production and removal rates of all compartments are modeled by general nonlinear functions. The model contains three types of intracellular time delays. We utilize nonstandard finite difference (NSFD) method to discretize the continuous-time model. We prove that NSFD preserves the positivity and boundedness of the solutions of the model. Based on four threshold parameters, the existence of the five equilibria of the model is established. We perform global stability of all equilibria of the model by using Lyapunov approach. Numerical simulations are carried out to illustrate our theoretical results. The impact of time delay on the viral dynamics is established.

1 Introduction

Mathematical modeling and analysis of within host human viral infections have provided useful insights into the understanding of interplay between three main compartments: viruses, target cells, and infected cells. Nowak and Bangham [1] have proposed the basic virus infection model in the form

$$ \textstyle\begin{cases} \dot{F} ( t ) =\delta -\beta F ( t ) -\kappa F ( t ) H ( t ) , \\ \dot{S} ( t ) =\kappa F(t)H ( t ) -aS ( t ) , \\ \dot{H} ( t ) =\theta S ( t ) -cH ( t ) , \end{cases} $$

(1)

where F, S, and H are the healthy (uninfected) target cells, actively infected cells, and free virus particles. δ and βF are the production and natural death rates of the healthy cells, respectively. The incidence rate is modeled by $\kappa FH$. The death rate of actively infected cells is given by aS. The free viruses are generated at rate θS and cleared at rate cH. The model has been developed to describe within host dynamics of different viruses such as human immunodeficiency virus (HIV) [2, 3], hepatitis C virus (HCV) [4, 5], hepatitis B virus (HBV) [6, 7], chikungunya virus (CHIKV) [8], and dengue virus [9].

The immune system works to defend the body against attacks by foreign invaders. B cells and CTL cells play a central role in the specific immune response. In general, B cells produce antibodies that neutralize the viruses, namely antibody immune response and CTL cells attack and kill virus-infected cells, namely cell-mediated immune response. The impact of cell-mediated immune response on the virus dynamics has been modeled [1] as follows:

$$ \textstyle\begin{cases} \dot{F} ( t ) =\delta -\beta F ( t ) -\kappa F ( t ) H ( t ) , \\ \dot{S} ( t ) =\kappa F(t)H ( t ) -aS ( t ) -\lambda S ( t ) Z ( t ) , \\ \dot{H} ( t ) =\theta S ( t ) -cH ( t ) , \\ \dot{Z} ( t ) =gS ( t ) Z ( t ) - \xi Z ( t ) , \end{cases} $$

(2)

where Z is the concentration of the CTL cells. The CTL cells are proliferated at rate $gSZ$, die at rate ξZ, and kill infected cells at rate $\lambda SZ$. Model (2) has been extended in several works (see, e.g., [10–13]). In other words, the basic model (1) has been modified to take into account the effect of antibody immune response in [14] as follows:

$$ \textstyle\begin{cases} \dot{F} ( t ) =\delta -\beta F ( t ) -\kappa F ( t ) H ( t ) , \\ \dot{S} ( t ) =\kappa F(t)H ( t ) -aS ( t ) , \\ \dot{H} ( t ) =\theta S ( t ) -cH ( t ) -dH ( t ) Y ( t ) , \\ \dot{Y} ( t ) =qH ( t ) Y ( t ) - \eta Y ( t ) , \end{cases} $$

(3)

where Y is the concentration of antibodies. The free viruses are removed by the antibodies at rate $dHY$. The antibodies are proliferated at rate $qHY$ and die at rate ηY. In the literature, the effect of antibody immune response has been incorporated into mathematical models of various virus infections (see, e.g., [15–17]).

In models (1)–(3) it has been assumed that once a healthy cell is contacted by a virus it becomes productive instantaneously. In fact, a number of intracellular processes is needed to produce new viruses. In case of HIV infection the intracellular processes take approximately 0.9 days [18]. Therefore, the intracellular time delay has a significant effect on the virus dynamics. Delayed viral infection models have been constructed and analyzed in several works (see, e.g., [19–32]). To incorporate both cell-mediated and antibody immune responses as well as the time delay into the virus dynamics, Wodarz [33] has proposed the following model:

$$ \textstyle\begin{cases} \dot{F} ( t ) =\delta -\beta F ( t ) -\kappa F ( t ) H ( t ) , \\ \dot{S} ( t ) =\kappa e^{-\mu \tau }F(t-\tau )H ( t- \tau ) -aS ( t ) -\lambda S ( t ) Z ( t ) , \\ \dot{H} ( t ) =\theta S ( t ) -cH ( t ) -dH ( t ) Y ( t ) , \\ \dot{Y} ( t ) =qH ( t ) Y ( t ) - \eta Y ( t ) , \\ \dot{Z} ( t ) =gS ( t ) Z ( t ) - \xi Z ( t ) , \end{cases} $$

(4)

where, $e^{-\mu \tau }$ represents the survival rate of infected cells after the interval τ, and μ is a positive constant. Model (4) has been extended in [34–36]. It has been reported in [37, 38] that in case of HIV infection, latent HIV reservoirs serve as a major obstruction in treating HIV infection. Latently infected cells have been incorporated into the virus dynamics model with both cell-mediated and antibody in [25] and [39]. The bilinear incidence rate associated with the mass action principle can be insufficient to describe infection process in detail. The most obvious reason for a nonlinear incidence rate is that the number of free pathogen particles can vary in a very wide range, from a few particles up to hundreds of millions of them in the case of virus. The bilinear interaction term, which may be considered as an approximation, is hardly able to adequately describe the process that runs over such a range of variables. For instance, if the number of free pathogen particles is very high, so that exposure of a susceptible host is virtually certain, then the incidence rate may respond more slowly than linear to the further increase in the number of the pathogen particles [40].

In all the above mentioned works the viral infection is modeled by a system of ordinary or delay differential equations. These models are nonlinear, and calculating the exact analytical solution is difficult or impossible. Therefore, only approximate discrete-time models can be obtained by using suitable numerical approximation methods. One of the discretization methods which has been widely used to discretize viral infection models is called nonstandard finite difference (NSFD) [41]. It has been established that NSFD has the advantage of preserving the essential qualitative features of these models such as equilibria, positivity, boundedness, and global behaviors of solutions independently of the chosen step-size [42–46]. The impact of cell-mediated immune response has been incorporated into the discrete-time virus dynamics models in [47, 48]. In very recent works, Elaiw and Alshaikh [49–51] have proposed and investigated a class of discrete-time virus infection models with antibody immune response. However, the impact of both antibody and cell-mediated immune responses on the discrete-time virus infection model has not been investigated before.

The aim of the present paper is to formulate and analyze a discrete-time viral infection model with both antibody and cell-mediated immune responses. The model considers both latently infected cells and actively infected cells. The incidence rate of infection as well as the production and removal rates of all compartments are modeled by general nonlinear functions. We discretize the continuous-time model by using NSFD method. We first show that the solutions of the discrete-time model are positive and bounded, then we prove the global stability of the equilibria by constructing Lyapunov functions. Moreover, we perform numerical simulations to support the global stability results.

The achievements in this present paper look ahead to research perspectives focused on pattern formation induced by the action of the external environments, for instance, by Keller Segel dynamics [52]. The present literature is focused simply on the original SIR model [52], while it appears interesting extending the qualitative and computational analysis to more advanced models such as the one treated in our paper.

2 The model

We introduce the following general viral infection model with three types of time delays and both antibody and cell-mediated immune responses:

$$\begin{aligned} &\dot{F} ( t ) =\varTheta \bigl( F ( t ) \bigr) -\varLambda \bigl( F ( t ) ,H ( t ) \bigr) , \end{aligned}$$

(5)

$$\begin{aligned} &\dot{K} ( t ) = ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}}\varLambda \bigl( F ( t-\tau _{1} ) ,H ( t- \tau _{1} ) \bigr) - ( \alpha +m ) \digamma _{1} \bigl( K ( t ) \bigr) , \end{aligned}$$

(6)

$$\begin{aligned} &\dot{S} ( t ) =\varepsilon e^{-\mu _{2}\tau _{2}}\varLambda \bigl( F ( t-\tau _{2} ) ,H ( t-\tau _{2} ) \bigr) +m\digamma _{1} \bigl( K ( t ) \bigr) -a\digamma _{2} \bigl( S ( t ) \bigr) \\ &\hphantom{\dot{S} ( t ) =}{}-\lambda \digamma _{2} \bigl( S ( t ) \bigr) \digamma _{5} \bigl( Z ( t ) \bigr) , \end{aligned}$$

(7)

$$\begin{aligned} &\dot{H} ( t ) =\theta e^{-\mu _{3}\tau _{3}}\digamma _{2} \bigl( S ( t- \tau _{3} ) \bigr) -c\digamma _{3} \bigl( H ( t ) \bigr) -d\digamma _{3} \bigl( H ( t ) \bigr) \digamma _{4} \bigl( Y ( t ) \bigr) , \end{aligned}$$

(8)

$$\begin{aligned} &\dot{Y} ( t ) =q\digamma _{3} \bigl( H ( t ) \bigr) \digamma _{4} \bigl( Y ( t ) \bigr) -\eta \digamma _{4} \bigl( Y ( t ) \bigr) , \end{aligned}$$

(9)

$$\begin{aligned} &\dot{Z} ( t ) =g\digamma _{2} \bigl( S ( t ) \bigr) \digamma _{5} \bigl( Z ( t ) \bigr) -\xi \digamma _{5} \bigl( Z ( t ) \bigr) , \end{aligned}$$

(10)

where K is the concentration of latently infected cells. The parameter ε, with $0<\varepsilon <1$, is a fraction of the healthy cells that become latently infected. The terms $\alpha \digamma _{1} ( K )$ and $m\digamma _{1} ( K )$ represent the death and activation rates of the latently infected cells. We suppose that the viruses contact the healthy cells at times $t-\tau _{1}$ and $t-\tau _{2}$, respectively, the cells become latently infected and actively infected at time t, where $\tau _{1}$ and $\tau _{2}$ are positive constants. The immature viruses at time $t-\tau _{3}$ are assumed to be mature at time t, where $\tau _{3}$ is a positive constant. $e^{-\mu _{j}\tau _{j}}$, $j=1,2,3$, is the probability of the cells and viruses survival during the delay periods, where $\mu _{1}$, $\mu _{2}$, and, $\mu _{3}$ are positive constants. Here Θ, Λ, and $\digamma _{i}$, $i=1,\ldots,5$, are general nonlinear functions satisfy the following conditions:

• C1

  • (i) There exists $F^{0}>0$ such that $\varTheta ( F ^{0} ) =0$, $\varTheta ( F ) >0$ for $F\in [ 0,F ^{0} )$;

  • (ii) $\varTheta ^{\prime } ( F ) <0$ for all $F>0$;

  • (iii) $\exists b,\overline{b}>0$ such that $\varTheta ( F ) \leq b-\overline{b}F$ for all $F\geq 0$.

Here, $F^{0}$ is the equilibrium susceptible cell concentration in the absence of viral infection. Condition C1 implies that $F(t)\rightarrow F^{0}$ as $t\rightarrow \infty$ in the absence of the infection.

• C2

  • (i) $\varLambda (F,H)>0$, and $\varLambda (0,H)=\varLambda (F,0)=0$ for all $F>0$, $H>0$;

  • (ii) $\frac{\partial \varLambda (F,H)}{\partial F}>0$, $\frac{\partial \varLambda (F,H)}{\partial H}>0$, $\frac{\partial \varLambda (F,0)}{\partial H}>0$ for all $F>0$, $H>0$;

  • (iii) $\frac{d}{dF} ( \frac{\partial \varLambda (F,0)}{\partial H} ) >0$ for all $F>0$.

Furthermore, C2(i) means there are no incidences if there are no susceptible cells or free virus particles. For C2(ii), the number of new cases monotonically grows with growth in the numbers of susceptible cells and free pathogen particles. Moreover, condition C2(iii) accounts that the infection rate starts growing even if the number of pathogens is very small.

• C3

  • (i) $\digamma _{j}(\rho )>0$ for $\rho >0$, $\digamma _{j}(0)=0$, $j=1,\ldots,5$;

  • (ii) $\digamma _{j}^{\prime }(\rho )>0$ for $\rho >0$, $j=1,2,4,5$ and $\digamma _{3}^{\prime }(\rho )>0$ for $\rho \geq 0$;

  • (iii) There are $\upsilon _{j}>0$, $j=1,\ldots,5$, such that $\digamma _{j}(\rho )\geq \upsilon _{j}\rho$ for $\rho \geq 0$.

Condition C3 indicates that the natural mortality rates of the infected cells, pathogens, CTL, and antibodies monotonically grow with growth in their populations.

• C4 $\frac{\partial }{\partial H} ( \frac{\varLambda (F,H)}{ \digamma _{3} ( H ) } ) \leq 0$ for all $H>0$.

The quantity $\frac{\varLambda (F,H)}{\digamma _{3} ( H ) }$ may be interpreted as the efficiency of the pathogen, that is, the ratio of its infectivity to its removal. Condition C4 mentions that the efficiency of the pathogen is nonincreasing with respect to the population of the pathogens [39].

Remark 1

There are several forms of the general functions which can satisfy C1–C4 such as:

• (i) Intrinsic growth rate function $\varTheta (F)$: linear form $\varTheta (F)=\delta -\beta F$ [1] and logistic growth form $\varTheta (F)=\delta -\beta F+rF ( 1-\frac{F}{F _{\max }} )$, where $r<\beta$ [53, 54].

• (ii) Incidence rate function $\varLambda (F,H)$: bilinear incidence $\kappa FH$ [55], saturated incidence $\frac{\kappa FH}{1+uH}$ [56], (iii) Holling-type II incidence $\frac{\kappa FH}{1+w F}$ [57], Beddington–DeAngelis incidence $\frac{ \kappa FH}{1+uH+w F}$ [58], Crowley–Martin incidence $\frac{\kappa FH}{(1+uH)(1+w F)}$ [59], Hill-type incidence $\frac{\kappa F^{\ell }H}{ \zeta ^{\ell }+F^{\ell }}$ [60], where κ, u, w, ζ, and ℓ are positive constants.

• (iii) Function $\digamma _{i}(\rho )$: linear $\digamma _{i}(\rho )=\upsilon _{i}\rho$ [1] and quadratic $\digamma _{i}(\rho )=\upsilon _{i}\rho +\overline{\upsilon }_{i}\rho ^{2}$ [15], where $\upsilon _{i}$ and $\overline{\upsilon }_{i}$ are positive constants.

We use the NSFD method [41] to discretize model (5)–(10). Let $t_{n}=nh$, where $h>0$ is the time step size and $n\in \mathbb{N}= \{ 0,1,2,\ldots \}$. Let $( F_{n},K_{n},S_{n},H_{n},Y_{n},Z_{n} )$ be the approximations of the solution $( F(t_{n}),K(t_{n}),S(t_{n}),H(t _{n}),Y ( t_{n} ) ,Z ( t_{n} ) )$ of system (5)–(10) at the discrete time points $t_{n}$. Assume that there exist integers $m_{i}\in \mathbb{N}$, $i=1,2,3$, with $\tau _{i}=hm_{i}$.

$$\begin{aligned} &\frac{F_{n+1}-F_{n}}{\phi ( h ) } =\varTheta ( F_{n+1} ) -\varLambda ( F_{n+1},H_{n} ) , \end{aligned}$$

(11)

$$\begin{aligned} &\frac{K_{n+1}-K_{n}}{\phi ( h ) } = ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}}\varLambda ( F_{n-m_{1}+1},H_{n-m_{1}} ) - ( \alpha +m ) \digamma _{1} ( K_{n+1} ) , \end{aligned}$$

(12)

$$\begin{aligned} &\frac{S_{n+1}-S_{n}}{\phi ( h ) } =\varepsilon e^{-\mu _{2}\tau _{2}}\varLambda ( F_{n-m_{2}+1},H_{n-m_{2}} ) +m \digamma _{1} ( K_{n+1} ) -a\digamma _{2} ( S_{n+1} ) \\ &\hphantom{\frac{S_{n+1}-S_{n}}{\phi ( h ) } =}{} -\lambda \digamma _{2} ( S_{n+1} ) \digamma _{5} ( Z_{n+1} ) , \end{aligned}$$

(13)

$$\begin{aligned} &\frac{H_{n+1}-H_{n}}{\phi ( h ) } =\theta e^{-\mu _{3} \tau _{3}}\digamma _{2} ( S_{n-m_{3}+1} ) -c\digamma _{3} ( H_{n+1} ) -d \digamma _{3} ( H_{n+1} ) \digamma _{4} ( Y_{n+1} ) , \end{aligned}$$

(14)

$$\begin{aligned} &\frac{Y_{n+1}-Y_{n}}{\phi ( h ) } =q\digamma _{3} ( H_{n+1} ) \digamma _{4} ( Y_{n+1} ) -\eta \digamma _{4} ( Y_{n+1} ) , \end{aligned}$$

(15)

$$\begin{aligned} &\frac{Z_{n+1}-Z_{n}}{\phi ( h ) } =g\digamma _{2} ( S_{n+1} ) \digamma _{5} ( Z_{n+1} ) -\xi \digamma _{5} ( Z_{n+1} ) . \end{aligned}$$

(16)

The function $\phi ( h )$ is a denominator function [61, 62] where $\phi ( h ) =h+O ( h^{2} )$.

The initial conditions of system (11)–(16) are

$$\begin{aligned} &F_{\omega } =\psi _{\omega }^{1}\geq 0,\qquad K_{\omega }=\psi _{ \omega }^{2}\geq 0,\qquad S_{\omega }=\psi _{\omega }^{3}\geq 0, \\ & H_{\omega }=\psi _{\omega }^{4}\geq 0,\qquad Y_{\omega }=\psi _{ \omega }^{5}\geq 0,\qquad Z_{\omega }=\psi _{\omega }^{6}\geq 0 \end{aligned}$$

for all $\omega =-\overline{m},-\overline{m}+1,\ldots,0$,

$$\begin{aligned} &\psi _{0}^{i} >0, \quad i=1,\ldots,6, \end{aligned}$$

(17)

where $\overline{m}=\max \{m_{1},m_{2},m_{3}\}$.

2.1 Preliminaries

We define a compact set

$$ \varGamma = \bigl\{ (F,K,S,H,Y,Z)\colon 0< F,K,S< \vartheta _{1},0< H< \vartheta _{3},0< Y< \vartheta _{4},0< Z< \vartheta _{2} \bigr\} , $$

where $\vartheta _{1}=\frac{b}{\sigma _{1}}$, $\vartheta _{2}=\frac{g \vartheta _{1}}{\lambda }$, $\vartheta _{3}=\frac{\theta \vartheta _{1}}{ \sigma _{2}}$, $\vartheta _{4}= \frac{q\theta \vartheta _{1}}{d\sigma _{2}}$, $\sigma _{1}=\min \{ \overline{b},\alpha \upsilon _{1},a,\xi \}$, and $\sigma _{2}= \min \{ c,\eta \}$.

Lemma 1

Suppose that Conditions C1–C3 are satisfied and $\digamma _{j}(\rho )=\rho$, $j=2,3,4,5$, then any solution $(F_{n},K_{n},S_{n},H_{n},Y_{n},Z_{n})$of model (11)–(16) with initial conditions (17) is positive and ultimately bounded.

Lemma 2

For system (11)–(16), let Conditions C1–C4 hold true, then there exist four threshold parameters $\mathcal{R}_{0}>0$, $\mathcal{R}_{1}^{Y}>0$, $\mathcal{R} _{1}^{Z}>0$, and $\mathcal{R}_{2}^{Z}>0$such that

• (i) if $\mathcal{R}_{0}\leq 1$, then the system has only one equilibrium $Q^{0}$.

• (ii) if $\mathcal{R}_{1}^{Y}\leq 1<\mathcal{R}_{0}$and $\mathcal{R} _{1}^{Z}\leq 1<\mathcal{R}_{0}$, then the system has two equilibria $Q^{0}$and $Q^{\ast }$.

• (iii) if $\mathcal{R}_{1}^{Y}>1$and $\mathcal{R}_{2}^{Z}\leq 1$, then the system has three equilibria $Q^{0}$, $Q^{\ast }$, andQ̅.

• (iv) if $\mathcal{R}_{1}^{Z}>1$and $\mathcal{R}_{1}^{Y}/\mathcal{R} _{2}^{Z}\leq 1$, then the system has three equilibria $Q^{0}$, $Q^{\ast }$, andQ̂.

• (v) if $\mathcal{R}_{1}^{Y}>\mathcal{R}_{2}^{Z}>1$, then the system has five equilibria $Q^{0}$, $Q^{\ast }$, Q̅, Q̂, andQ̃.

The proofs of Lemmas 1–2 are given in Appendix.

2.2 Global stability

We define the function

$$ G(\rho )=\rho -\ln \rho -1. $$

Clearly, $G(\rho )\geq 0$ and $G(1)=0$ for all $\rho >0$, therefore

$$ \ln \rho \leq \rho -1. $$

(18)

Theorem 1

Suppose that Conditions C1–C4 are satisfied and $\mathcal{R}_{0}\leq 1$, then $Q^{0}$of model (11)–(16) is G.A.S.

Remark 2

Conditions C2–C4 imply that

$$ \bigl( \varLambda (F,H)-\varLambda \bigl(F,H^{\ast }\bigr) \bigr) \biggl( \frac{ \varLambda (F,H)}{\digamma _{3}(H)}-\frac{\varLambda (F,H^{\ast })}{\digamma _{3} ( H^{\ast } ) } \biggr) \leq 0, $$

which yields

$$ \biggl( 1-\frac{\varLambda (F,H^{\ast })}{\varLambda (F,H)} \biggr) \biggl( \frac{\varLambda (F,H)}{\varLambda (F,H^{\ast })}- \frac{\digamma _{3} ( H ) }{\digamma _{3} ( H^{\ast } ) } \biggr) \leq 0. $$

(19)

Lemma 3

Suppose that Conditions C1–C4 are satisfied and $\mathcal{R}_{0}>1$, then

$$\begin{aligned} &(\mathrm{i})\quad \operatorname{sgn}\bigl( \overline{F}-F^{\ast } \bigr) =\operatorname{sgn}\bigl( H^{\ast }-\overline{H} \bigr) =\operatorname{sgn}\bigl( \mathcal{R}_{1} ^{Y}-1 \bigr), \\ &(\mathrm{ii})\quad \operatorname{sgn}\bigl( \widehat{F}-F^{\ast } \bigr) =\operatorname{sgn}\bigl( H^{\ast }-\widehat{H} \bigr) =\operatorname{sgn}\bigl( S^{\ast }- \widehat{S} \bigr) =\operatorname{sgn}\bigl( \mathcal{R}_{1}^{Z}-1 \bigr) . \end{aligned}$$

Theorem 2

Suppose that Conditions C1–C4 are satisfied, $\mathcal{R}_{1}^{Y}\leq 1<\mathcal{R}_{0}$and $\mathcal{R}_{1}^{Z}\leq 1<\mathcal{R}_{0}$, then $Q^{\ast }$of system (11)–(16) is G.A.S.

Theorem 3

If Conditions C1–C4 hold, $\mathcal{R} _{1}^{Y}>1$and $\mathcal{R}_{2}^{Z}\leq 1$, thenQ̅of system (11)–(16) is G.A.S.

Theorem 4

If Conditions C1–C4 are satisfied, $\mathcal{R}_{1}^{Z}>1$and $\mathcal{R}_{1}^{Y}/ \mathcal{R}_{2}^{Z}\leq 1$, thenQ̂of system (11)–(16) is G.A.S.

Theorem 5

If Conditions C1–C4 are satisfied and $\mathcal{R}_{1}^{Y}>\mathcal{R}_{2}^{Z}>1$, thenQ̃of system (11)–(16) is G.A.S.

The proofs of Theorems 1–5 and Lemma 3 are given in Appendix.

3 Numerical simulations

We perform our simulation by choosing

$$ \begin{aligned}&\varTheta (F)=\delta -\beta F+rF \biggl( 1-\frac{F}{F_{\max }} \biggr) ,\qquad \varLambda (F,H)=\frac{\kappa FH}{1+c_{1}H}, \\ & \digamma _{i}(\rho )=\rho ,\quad i=1,\ldots,5, \end{aligned} $$

(20)

where $r>0$ is the maximum proliferation rate of the healthy cells and $F_{\max }>0$ is the maximum level of healthy cells concentration in the body. If F reaches $F_{\max }$, it should decrease. Therefore, system (11)–(16) becomes

$$\begin{aligned} &\frac{F_{n+1}-F_{n}}{\phi ( h ) } =\delta -\beta F_{n+1}+rF _{n+1} \biggl( 1-\frac{F_{n+1}}{F_{\max }} \biggr) -\frac{\kappa F_{n+1}H _{n}}{1+c_{1}H_{n}}, \end{aligned}$$

(21)

$$\begin{aligned} &\frac{K_{n+1}-K_{n}}{\phi ( h ) } =\frac{ ( 1- \varepsilon ) e^{-\mu _{1}\tau _{1}}\kappa F_{n-m_{1}+1}H_{n-m _{1}}}{1+c_{1}H_{n-m_{1}}}- ( \alpha +m ) K_{n+1}, \end{aligned}$$

(22)

$$\begin{aligned} &\frac{S_{n+1}-S_{n}}{\phi ( h ) } =\frac{\varepsilon e ^{-\mu _{2}\tau _{2}}\kappa F_{n-m_{2}+1}H_{n-m_{2}}}{1+c_{1}H_{n-m_{2}}}+mK _{n+1}-aS_{n+1}- \lambda S_{n+1}Z_{n+1}, \end{aligned}$$

(23)

$$\begin{aligned} &\frac{H_{n+1}-H_{n}}{\phi ( h ) } =\theta e^{-\mu _{3} \tau _{3}}S_{n-m_{3}+1}-cH_{n+1}-dH_{n+1}Y_{n+1}, \end{aligned}$$

(24)

$$\begin{aligned} &\frac{Y_{n+1}-Y_{n}}{\phi ( h ) } =qH_{n+1}Y_{n+1}- \eta Y_{n+1}, \end{aligned}$$

(25)

$$\begin{aligned} &\frac{Z_{n+1}-Z_{n}}{\phi ( h ) } =gS_{n+1}Z_{n+1}- \xi Z_{n+1}. \end{aligned}$$

(26)

The denominator function $\phi ( h )$ can take the form [61, 62]

$$ \phi ( h ) =\frac{1-e^{-\beta h}}{\beta }. $$

We assume that $r<\beta$ [54]. Now we check the validity of Conditions C1–C4 for the functions given by (20). We have $\varTheta ( 0 ) =\delta >0$, $\varTheta ( F^{0} ) =0$, where

$$ F^{0}=\frac{F_{\max }}{2r} \biggl( r-\beta +\sqrt{ ( r-\beta ) ^{2}+\frac{4r\delta }{F_{\max }}} \biggr) . $$

Since $r<\beta$, then

$$ \varTheta ^{\prime } ( F ) =-\beta +r-\frac{2rF}{F_{\max }}< 0. $$

It follows that $\varTheta ( F ) >0$ for all $F\in [ 0,F ^{0} )$ and

$$ \varTheta ( F ) =\delta - ( \beta -r ) F-r\frac{F ^{2}}{F_{\max }}< \delta - ( \beta -r ) F. $$

Let $b=\delta >0$ and $\overline{b}=\beta -r>0$. Thus, C1 is satisfied. We have also

$$\begin{aligned} &\varLambda (F,H) =\frac{\kappa FH}{1+c_{1}H}>0\quad \text{and}\quad \varLambda (0,H)= \varLambda (F,0)=0\quad \text{for all }F>0,H>0, \\ &\frac{\partial \varLambda (F,H)}{\partial F} = \frac{\kappa H}{1+c_{1}H}>0\quad \text{for all }F>0\text{ and }H>0, \\ &\frac{\partial \varLambda (F,H)}{\partial H} =\frac{\kappa F}{ ( 1+c_{1}H ) ^{2}}>0\quad \text{for all }F>0\text{ and }H>0, \\ &\frac{\partial \varLambda (F,0)}{\partial H} =\kappa F>0\quad \text{for all }F>0, \\ &\frac{d}{dF} \biggl( \frac{\partial \varLambda (F,0)}{\partial H} \biggr) =\kappa >0\quad \text{for all }F>0. \end{aligned}$$

Therefore, Condition C2 is satisfied. We have $\digamma _{j} ( \rho ) =\rho >0$ for all $\rho >0$ and $\digamma _{j} ( 0 ) =0$, $j=1,\ldots,5$, and $\digamma _{j}^{\prime } ( \rho ) =1>0$, $j=1,\ldots,5$, for all $\rho \geq 0$. Then Condition C3 is satisfied, where $\upsilon _{j}=1$, $j=1,\ldots,5$. Finally, we have

$$ \frac{\partial }{\partial H} \biggl( \frac{\varLambda (F,H)}{\digamma _{3}(H)} \biggr) = \frac{-\kappa Fc_{1}}{ ( 1+c_{1}H ) ^{2}}< 0\quad \text{for all }F>0\text{ and }H>0. $$

Therefore, Condition C4 holds true and hence Theorems 1–5 are applicable.

For this system, the threshold parameters are given by

$$\begin{aligned} &\mathcal{R}_{0} =\frac{\theta \gamma \kappa F^{0}}{ac},\qquad \mathcal{R}_{1}^{Y}= \frac{\theta \gamma \kappa \overline{F}}{ac ( 1+c_{1}\overline{H} ) }, \\ &\mathcal{R}_{1}^{Z} =\frac{\theta \gamma \kappa \widehat{F}}{ac ( 1+c_{1}\widehat{H} ) },\qquad \mathcal{R}_{2}^{Z}=\frac{e^{\mu _{3}\tau _{3}}\gamma \kappa \widetilde{F}\widetilde{H}}{a ( 1+c_{1}\widetilde{H} ) \widetilde{S}}, \\ &\mathcal{R}_{1}^{Y}\backslash \mathcal{R}_{2}^{Z} =\frac{\theta e ^{-\mu _{3}\tau _{3}}\xi g}{cg\eta }, \end{aligned}$$

where

$$\begin{aligned} &\overline{F} =\frac{-\overline{B}+\sqrt{\overline{B}^{2}-4 \overline{A}\overline{C}}}{2\overline{A}}=\widetilde{F}, \\ &\overline{A} =r+c_{1}r\overline{H}, \\ &\overline{B} =-F_{\max } \bigl( r-\beta -\kappa \overline{H}+c_{1} \overline{H} ( r-\beta ) \bigr) , \\ &\overline{C} =-F_{\max }\delta ( 1+c_{1}\overline{H} ) , \\ &\overline{H} =\frac{\eta }{q}=\widetilde{H}, \end{aligned}$$

and

$$\begin{aligned} &\widehat{F} =\frac{-\widehat{B}+\sqrt{\widehat{B}^{2}-4 \widehat{A}\widehat{C}}}{2\widehat{A}}, \\ &\widehat{A} =r+c_{1}r\widehat{H}, \\ &\widehat{B} =-F_{\max } \bigl( r-\beta -\kappa \widehat{H}+c_{1} \widehat{H} ( r-\beta ) \bigr) , \\ &\widehat{C} =-F_{\max }\delta ( 1+c_{1}\widehat{H} ) , \\ &\widehat{H} =\frac{\theta e^{-\mu _{3}\tau _{3}}\xi }{cg},\qquad \widetilde{S}=\frac{\xi }{g}. \end{aligned}$$

Numerical simulations for system (21)–(26) are performed using the following values: $\delta =10$, $\beta =0.01$, $r=0.009$, $F_{\max }=1200$, $\varepsilon =0.3$, $\alpha =0.4$, $m=0.1$, $a=0.6$, $\lambda =0.1$, $\theta =1.2$, $c=4$, $\eta =0.1$, $\xi =0.03$, $d=0.8$, $h=0.1$, and $\mu _{i}=0.1$ ($i=1,2,3$). The other parameters will be chosen in what follows.

Let us consider the initial values:

• IV1: $\psi _{\omega }^{1}=800$, $\psi _{\omega }^{2}=8$, $\psi _{\omega }^{3}=1$, $\psi _{\omega }^{4}=0.5$, $\psi _{\omega }^{5}=1$, $\psi _{\omega }^{6}=0.5$,

• IV2: $\psi _{\omega }^{1}=600$, $\psi _{\omega }^{2}=10$, $\psi _{\omega }^{3}=3$, $\psi _{\omega }^{4}=1$, $\psi _{\omega }^{5}=3$, $\psi _{ \omega }^{6}=1$, and

• IV3: $\psi _{\omega }^{1}=400$, $\psi _{\omega }^{2}=12$, $\psi _{\omega }^{3}=5$, $\psi _{\omega }^{4}=2$, $\psi _{\omega }^{5}=5$, $\psi _{ \omega }^{6}=2$, $\omega =-\overline{m},-\overline{m}+1,\ldots,0$.

• Stability of equilibria

We choose $\tau _{1}=0.1$, $\tau _{2}=0.5$, $\tau _{3}=0.9$ and choose κ, η, and ξ are varied as follows.

Case (1) $\kappa =0.003$, $q=0.05$, and $g=0.002$. This yields $\mathcal{R}_{0}=0.634<1$. Figure 1 shows that the concentration of healthy cells increases and tends to the value $F^{0}=1089.96$. Moreover, the concentrations of infected cells, free viruses, antibodies, and CTL cells decay and reach zero for IV1–IV3. Consequently, there exists only one equilibrium that is $Q^{0}$ and it is G.A.S. This result supports the result of Theorem 1.

Figure 1

The simulation of trajectories of system (21)–(26) for Case $\mathcal{R}_{0}\leq 1$

Case (2) $\kappa =0.01$, $q=0.05$, and $g=0.002$. With these values we obtain $\mathcal{R}_{1}^{Y}=0.799<1<\mathcal{R}_{0}=2.112$ and $\mathcal{R}_{1}^{Z}=0.440<1<\mathcal{R}_{0}=2.112$. Figure 2 displays that for all the three initial values IV1–IV3, the solutions of the system reach the equilibrium $Q^{\ast }= ( 523.57,10.285,5.244,1.438,0,0 )$. Consequently, $Q^{\ast }$ exists and it is G.A.S. This agrees with the result of Theorem 2.

Figure 2

The simulation of trajectories of system (21)–(26) for Case $\mathcal{R}_{1}^{Y}\leq 1<\mathcal{R}_{0}$ and $\mathcal{R}_{1}^{Z}\leq 1<\mathcal{R}_{0}$

Case (3) $\kappa =0.01$, $q=0.2$, and $g=0.002$ and then $\mathcal{R}_{0}=2.112>1$, $\mathcal{R}_{1}^{Y}=1.587>1$, and $\mathcal{R}_{1}^{Z}=0.440<1$. Figure 3 displays that the solutions of the system reach the equilibrium $\overline{Q}= ( 823.137,5.676,2.894,0.5,2.934,0 )$ for all the initial values IV1–IV3. Thus Q̅ exists and it is G.A.S. This result is consistent with the result of Theorem 3.

Figure 3

The simulation of trajectories of system (21)–(26) for Case $\mathcal{R}_{1}^{Y}>1$ and $\mathcal{R}_{1}^{Z}\leq 1$

Case (4) $\kappa =0.01$, $q=0.005$, and $g=0.01$ and then $\mathcal{R}_{0}=2.112>1$, $\mathcal{R}_{1}^{Z}=1.337>1$, and $\mathcal{R}_{1}^{Y}/\mathcal{R}_{2}^{Z}=0.041<1$. From Fig. 4 we can see that, for all the initial values IV1–IV3, the solutions of the system tend to the equilibrium $\widehat{Q}= ( 695.628,7.866,3,0.823,0,2.020 )$. This result shows that Q̂ exists and it is G.A.S, and this agrees with the result of Theorem 4.

Figure 4

The simulation of trajectories of system (21)–(26) for Case $\mathcal{R}_{1}^{Z}>1$ and $\mathcal{R}_{1}^{Y}/\mathcal{R}_{2}^{Z}\leq 1$

Case (5) $\kappa =0.01$, $q=0.3$, and $g=0.02$ and then $\mathcal{R}_{0}=2.112>1$, $\mathcal{R}_{1}^{Y}=1.742>1$, and $\mathcal{R}_{2}^{Z}=1.412>1$. From Fig. 5 we observe that the solutions of the system reach the equilibrium $\widetilde{Q}= ( 901.96,4.153,1.5,0.333,1.169,2.469 )$. This yields that Q̃ exists and it is G.A.S. This illustrates the result of Theorem 5.

• Impact of time delay on the viral dynamics

Figure 5

The simulation of trajectories of system (21)–(26) for Case $\mathcal{R}_{1}^{Y}>\mathcal{R}_{2}^{Z}>1$

Without loss of generality we let $\tau =\tau _{1}=\tau _{2}=\tau _{3}$. We fix the values $\kappa =0.01$, $q=0.3$, and $g=0.02$ and select different values of τ. We solve the system with initial IV2. Figure 6 shows the influence of the time delay parameter τ on the stability of the equilibria. One can see that as τ is increased, the concentration of healthy cells is increased, while the concentrations of infected cells, free viruses, CTL cells, and antibodies are decreased. Let us write $\mathcal{R}_{0}$ as follows:

$$ \mathcal{R}_{0}(\tau )=F^{0} \biggl( \frac{m ( 1-\varepsilon ) e^{-(\mu _{1}+\mu _{3})\tau }}{\alpha +m}+\varepsilon e^{-(\mu _{2}+\mu _{3})\tau } \biggr) \biggl( \frac{\kappa \theta }{ac} \biggr) . $$

Since $\mathcal{R}_{0}$ is a decreasing function of τ, then the time delay can change the stability properties of equilibria. Using the values of the parameters and from Fig. 6 we can see that if $\tau \geq 4.373$, then $Q^{0}$ is G.A.S. Biologically, the time delays play a similar role of antiviral treatment in eliminating the viruses from the body.

Figure 6

The simulation of trajectories of system (21)–(26) with different values of τ

4 Conclusion

In this paper, we formulated and analyzed a discrete-time viral infection model with both antibody and cell-mediated immune responses. We incorporated two categories of infected cells, namely latently infected cells (such cells contain the virus but are not producing) and actively infected cells (such cells produce new viruses). The production and removal rates of the cells and viruses as well as the incidence rate were modeled by general nonlinear functions which satisfy a set of conditions. These general functions encompass several specific forms commonly used in the virus dynamics literature. We incorporated three types of time delays, in which the first and second delays describe the times between a virus contacts a susceptible cell and the cell becomes latently infected and actively infected cell, respectively. The third delay is the time from death of an infected cell until the virus is active. We used nonstandard finite difference scheme to discretize the continuous-time model. We showed that the solutions of the discrete-time model with given initial states are positive and bounded. We derived four threshold parameters which fully determine the existence and stability of the five equilibria of the model. Then, we proved the global stability of the equilibria by constructing Lyapunov functions. Moreover, we performed numerical simulations to support the global stability results. We studied the effect of time delay on the virus dynamics. Since $Q^{0}$ is the desired equilibrium to be stabilized, we determined the critical time delay parameter $\tau ^{\mathrm{critical}}$ by solving the equation $\mathcal{R}_{0}(\tau ^{\mathrm{critical}})=1$ and showed that $Q^{0}$ is globally asymptotically stable when $\tau \geq \tau ^{\mathrm{critical}}$. This shows that the time delay can have a similar effect as the antiviral drugs. This gives some impression to develop a new class of treatment to increase the delay period and then suppress the viral replication. It is worth emphasizing that the role of the delay term does not only take into account the delay in the dynamical response of the interacting entities, but also their heterogeneity. This can be accounted for by modeling interactions as shown in [63]. Recently, many authors have argued that the virus moves freely in body and follows the Fickian diffusion (see, e.g., [64–66]). Therefore, it is more reasonable to study reaction-diffusion versions of our model. We leave these points as possible future works.

Appendix

Proof of Lemma 1

First we put $n=0$ and show that there exists positive and unique $(F_{1},K_{1},S_{1},H_{1},Y_{1},Z_{1})$. From Eq. (11) we have

$$ F_{1}-F_{0}-\phi ( h ) \varTheta ( F_{1} ) + \phi ( h ) \varLambda (F_{1},H_{0})=0. $$

We define a function $\chi _{1}(F)$ as follows:

$$ \chi _{1}(F)=F-F_{0}-\phi ( h ) \varTheta ( F ) + \phi ( h ) \varLambda (F,H_{0})=0. $$

According to Conditions C1–C2 we have $\chi _{1}$ is a strictly increasing function in F and

$$\begin{aligned} &\chi _{1}(0) =-F_{0}-\phi ( h ) \varTheta ( 0 ) < 0, \\ &\lim_{F\rightarrow \infty }\chi _{1}(F) =\infty . \end{aligned}$$

Hence, there exists unique $F_{1}>0$ such that $\chi _{1}(F_{1})=0$.

From Eq. (12) we have

$$ K_{1}-K_{0}-\phi ( h ) ( 1-\varepsilon ) e ^{-\mu _{1}\tau _{1}}\varLambda (F_{-m_{1}+1},H_{-m_{1}})+\phi ( h ) ( \alpha +m ) \digamma _{1} ( K_{1} ) =0. $$

Define a function $\chi _{2}(K)$ as follows:

$$ \chi _{2}(K)=K-K_{0}-\phi ( h ) ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}}\varLambda (F_{-m_{1}+1},H _{-m_{1}})+\phi ( h ) ( \alpha +m ) \digamma _{1} ( K ) =0. $$

Conditions C2–C3 imply that $\chi _{2}$ is a strictly increasing function in K. In addition,

$$\begin{aligned} &\chi _{2}(0) =-K_{0}-\phi ( h ) ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}}\varLambda (F_{-m_{1}+1},H _{-m_{1}})< 0, \\ &\lim_{K\rightarrow \infty }\chi _{2}(K) =\infty . \end{aligned}$$

It follows that there exists unique $K_{1}\in (0,\infty )$ such that $\chi _{2}(K_{1})=0$.

Since $\digamma _{2} ( S_{1} ) =S_{1}$, $\digamma _{3} ( H_{1} ) =H_{1}$, $\digamma _{4} ( Y_{1} ) =Y_{1}$, and $\digamma _{5} ( Z_{1} ) =Z_{1}$, then from Eqs. (13) and (16) we get

$$\begin{aligned} Z_{1} =&Z_{0}+\frac{\phi ( h ) g [ S_{0}+\phi ( h ) \varepsilon e^{-\mu _{2}\tau _{2}}\varLambda ( F_{-m_{2}+1},H _{-m_{2}} ) +\phi ( h ) m\digamma _{1} ( K_{1} ) ] }{1+\phi ( h ) ( a+\lambda Z _{1} ) }Z_{1} \\ &{}-\phi ( h ) \xi Z_{1}. \end{aligned}$$

Then

$$ A_{1}Z_{1}^{2}+B_{1}Z_{1}+C_{1}=0, $$

(27)

where

$$\begin{aligned} &A_{1} = \bigl( 1+\phi ( h ) \xi \bigr) \phi ( h ) \lambda , \\ &B_{1} = \bigl( 1+\phi ( h ) \xi \bigr) \bigl( 1+ \phi ( h ) a \bigr) -\phi ( h ) \lambda Z _{0} \\ &\hphantom{B_{1} =}{} -\phi ( h ) g \bigl[ S_{0}+\phi ( h ) e ^{-\mu _{2}\tau _{2}}\varLambda ( F_{-m_{2}+1},H_{-m_{2}} ) + \phi ( h ) m\digamma _{1} ( K_{1} ) \bigr] , \\ &C_{1} =- \bigl( 1+\phi ( h ) a \bigr) Z_{0}. \end{aligned}$$

Since $A_{1}>0$, $C_{1}<0$, then $B_{1}^{2}-4A_{1}C_{1}>0$, and hence there exists a unique positive root of Eq. (27) $Z_{1}>0$. It follows from Eq. (13)

$$ S_{1}=\frac{S_{0}+\phi ( h ) \varepsilon e^{-\mu _{2}\tau _{2}}\varLambda ( F_{-m_{2}+1},H_{-m_{2}} ) +\phi ( h ) m\digamma _{1} ( K_{1} ) }{1+\phi ( h ) ( a+\lambda Z_{1} ) }>0. $$

Then we have $S_{1}>0$.

Now we show that $Y_{1}>0$. From Eqs. (14)–(15) we get

$$ Y_{1}=Y_{0}+\frac{\phi ( h ) q ( H_{0}+\phi ( h ) \theta e^{-\mu _{3}\tau _{3}}S_{-m_{3}+1} ) }{1+\phi ( h ) ( c+dY_{1} ) }Y_{1}- \phi ( h ) \eta Y_{1}. $$

Then we get

$$ A_{2}Y_{1}^{2}+B_{2}Y_{1}+C_{2}=0, $$

(28)

where

$$\begin{aligned} &A_{2} = \bigl( 1+\phi ( h ) \eta \bigr) \phi ( h ) d, \\ &B_{2} = \bigl( 1+\phi ( h ) \eta \bigr) \bigl( 1+ \phi ( h ) c \bigr) -\phi ( h )\,dY_{0}- \phi ( h ) q \bigl[ H_{0}+\phi ( h ) \theta e ^{-\mu _{3}\tau _{3}}\digamma _{2} ( S_{-m_{3}+1} ) \bigr] , \\ &C_{2} =- \bigl( 1+\phi ( h ) c \bigr) Y_{0}. \end{aligned}$$

Since $A_{2}>0$, $C_{2}<0$, then $B_{2}^{2}-4A_{2}C_{2}>0$, and hence there exists a unique positive root of Eq. (28) $Y_{1}>0$.

From Eq. (14) we get

$$ H_{1}=\frac{H_{0}+\phi ( h ) \theta e^{-\mu _{3}\tau _{3}}S _{-m_{3}+1}}{1+\phi ( h ) ( c+dY_{1} ) }>0. $$

Therefore, the solution $(F_{1},K_{1},S_{1},H_{1},Y_{1},Z_{1})$ exists uniquely and is positive.

Repeating the above process for $n=1$, we can prove that $(F_{2},K _{2},S_{2},H_{2},Y_{2},Z_{2})$ exists uniquely and is positive. Therefore, mathematical induction yields that, for all $n\in \mathbb{N}$, $(F_{n},K_{n},S_{n},H_{n},Y_{n},Z_{n})$ exists uniquely and is positive.

By induction, we obtain $F_{n}>0$, $K_{n}>0$, $S_{n}>0$, $H_{n}>0$, $Y_{n}>0$, and $Z_{n}>0$ $\forall n\geq 0$. To investigate the boundedness of solution, from Eq. (11) we have

$$ \frac{F_{n+1}-F_{n}}{\phi ( h ) }\leq \varTheta ( F _{n+1} ) \leq b- \overline{b}F_{n+1}. $$

Hence

$$ F_{n+1}\leq \frac{F_{n}}{1+\phi ( h ) \overline{b}}+\frac{ \phi ( h ) b}{1+\phi ( h ) \overline{b}}. $$

By Lemma 2.2 in [67] we have

$$ F_{n}\leq \biggl( \frac{1}{1+\phi ( h ) \overline{b}} \biggr) ^{n}F_{0}+\frac{b}{\overline{b}} \biggl[ 1- \biggl( \frac{1}{1+\phi ( h ) \overline{b}} \biggr) ^{n} \biggr] , $$

which implies that $\lim_{n\rightarrow \infty }\sup F_{n} \leq b/\overline{b}\leq \vartheta _{1}$. Define

$$ \varOmega _{n}= ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}}F_{n-m _{1}}+ \varepsilon e^{-\mu _{2}\tau _{2}}F_{n-m_{2}}+K_{n}+S_{n}+ \frac{ \lambda }{g}Z_{n}. $$

Then

$$\begin{aligned} \varOmega _{n+1}-\varOmega _{n} ={}& ( 1-\varepsilon ) e^{-\mu _{1} \tau _{1}} ( F_{n-m_{1}+1}-F_{n-m_{1}} ) +\varepsilon e^{- \mu _{2}\tau _{2}} ( F_{n-m_{2}+1}-F_{n-m_{2}} ) \\ &{} +K_{n+1}-K_{n}+S_{n+1}-S_{n}+ \frac{\lambda }{g} ( Z_{n+1}-Z _{n} ) \\ ={}& ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}}\phi ( h ) \bigl[ \varTheta ( F_{n-m_{1}+1} ) -\varLambda ( F_{n-m_{1}+1},H_{n-m_{1}} ) \bigr] \\ &{} +\varepsilon e^{-\mu _{2}\tau _{2}}\phi ( h ) \bigl[ \varTheta ( F_{n-m_{2}+1} ) -\varLambda ( F_{n-m_{2}+1},H _{n-m_{2}} ) \bigr] \\ &{} +\phi ( h ) \bigl[ (1-\varepsilon )e^{-\mu _{1}\tau _{1}}\varLambda ( F_{n-m_{1}+1},H_{n-m_{1}} ) -(\alpha +m) \digamma _{1} ( K_{n+1} ) \bigr] \\ &{} +\phi ( h ) \bigl[ \varepsilon e^{-\mu _{2}\tau _{2}} \varLambda ( F_{n-m_{2}+1},H_{n-m_{2}} ) +m\digamma _{1} ( K_{n+1} ) -a\digamma _{2} ( S_{n+1} ) \\ &{} -\lambda \digamma _{2} ( S_{n+1} ) \digamma _{5} ( Z_{n+1} ) \bigr] \\ & {}+\phi ( h ) \frac{\lambda }{g} \bigl[ g\digamma _{2} ( S_{n+1} ) \digamma _{5} ( Z_{n+1} ) -\xi \digamma _{5} ( Z_{n+1} ) \bigr] \\ ={}&\phi ( h ) \biggl[ ( 1-\varepsilon ) e ^{-\mu _{1}\tau _{1}}\varTheta ( F_{n-m_{1}+1} ) +\varepsilon e^{-\mu _{2}\tau _{2}}\varTheta ( F_{n-m_{2}+1} ) -\alpha \digamma _{1} ( K_{n+1} ) \\ & {}-aS_{n+1}-\frac{\lambda \xi }{g}Z_{n+1} \biggr] . \end{aligned}$$

According to Conditions C1 and C3, we have

$$\begin{aligned} \varOmega _{n+1}-\varOmega _{n} \leq{}& \phi ( h ) \biggl[ (1- \varepsilon )e^{-\mu _{1}\tau _{1}} ( b-\overline{b}F_{n-m_{1}+1} ) + \varepsilon e^{-\mu _{2}\tau _{2}} ( b-\overline{b}F_{n-m_{2}+1} ) -\alpha \upsilon _{1}K_{n+1} \\ & {} -aS_{n+1}-\frac{\lambda \xi }{g}Z_{n+1} \biggr] . \end{aligned}$$

We have

$$ ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}}b+\varepsilon e ^{-\mu _{2}\tau _{2}}b\leq b ( 1- \varepsilon ) +b\varepsilon =b. $$

Then

$$\begin{aligned} &\varOmega _{n+1}-\varOmega _{n} \\ &\quad \leq \phi ( h ) b-\phi ( h ) \sigma _{1} \biggl[ ( 1- \varepsilon ) e^{-\mu _{1}\tau _{1}}F_{n-m_{1}+1}+\varepsilon e^{-\mu _{2}\tau _{2}}F_{n-m_{2}+1}+K _{n+1}+S_{n+1}+\frac{\lambda }{g}Z_{n+1} \biggr] \\ &\quad =\phi ( h ) b-\phi ( h ) \sigma _{1}\varOmega _{n+1}. \end{aligned}$$

Hence

$$ \varOmega _{n+1}\leq \frac{\varOmega _{n}}{1+\phi ( h ) \sigma _{1}}+\frac{\phi ( h ) b}{1+\phi ( h ) \sigma _{1}}. $$

Consequently, we get $\lim_{n\rightarrow \infty }\sup \varOmega _{n}\leq \vartheta _{1}$, $\lim_{n\rightarrow \infty }\sup K_{n}\leq \vartheta _{1}$, $\lim_{n\rightarrow \infty }\sup S_{n}\leq \vartheta _{1}$, and $\lim_{n\rightarrow \infty }\sup Z_{n}\leq \vartheta _{2}$. Thus, for any $\varpi >0$, there exists an integer $\varrho _{\varpi }>0$ such that $S_{n}\leq \vartheta _{1}+\varpi$ for $n\geq \varrho _{\varpi }$. We define

$$ \varPsi _{n}=H_{n}+\frac{d}{q}Y_{n}. $$

Then

$$\begin{aligned} \varPsi _{n+1}-\varPsi _{n} ={}&H_{n+1}-H_{n}+ \frac{d}{q} ( Y_{n+1}-Y_{n} ) \\ ={}&\phi ( h ) \biggl( \theta e^{-\mu _{3}\tau _{3}}S_{n-m _{3}+1}-cH_{n+1}- \frac{d\eta }{q}Y_{n+1} \biggr) \\ \leq{}& \phi ( h ) \biggl( \theta e^{-\mu _{3}\tau _{3}} ( \vartheta _{1}+\varpi ) -cH_{n+1}-\frac{d\eta }{q}Y_{n+1} \biggr) \\ \leq{}& \phi ( h ) \bigl( \theta e^{-\mu _{3}\tau _{3}} ( \vartheta _{1}+\varpi ) -\sigma _{2}\varPsi _{n+1} \bigr) \quad \text{for }n\geq \varrho _{\varpi }+m_{3}. \end{aligned}$$

Then $\lim_{n\rightarrow \infty }\sup \varPsi _{n}\leq \frac{ \theta e^{-\mu _{3}\tau _{3}} ( \vartheta _{1}+\varpi ) }{ \sigma _{2}}\leq \frac{\theta ( \vartheta _{1}+\varpi ) }{ \sigma _{2}}$. The arbitrariness of ϖ yields that $\lim_{n \rightarrow \infty }\sup \varPsi _{n}\leq \frac{\theta \vartheta _{1}}{\sigma _{2}}=\vartheta _{3}$. Hence, $\lim_{n\rightarrow \infty }\sup H_{n}\leq \vartheta _{3}$ and $\lim_{n\rightarrow \infty }\sup Y_{n}\leq \vartheta _{4}$. Therefore, the solution $(F_{n},K_{n},S_{n},H_{n},Y_{n},Z_{n})$ converges to Γ as $n\rightarrow \infty$. □

Proof of Lemma 2

The equilibria of system (11)–(16) satisfy:

$$\begin{aligned} &\varTheta ( F ) -\varLambda ( F,H ) =0, \end{aligned}$$

(29)

$$\begin{aligned} & ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}}\varLambda ( F,H ) - ( \alpha +m ) \digamma _{1} ( K ) =0, \end{aligned}$$

(30)

$$\begin{aligned} &\varepsilon e^{-\mu _{2}\tau _{2}}\varLambda ( F,H ) +m \digamma _{1} ( K ) -a\digamma _{2} ( S ) -\lambda \digamma _{2} ( S ) \digamma _{5} ( Z ) =0, \end{aligned}$$

(31)

$$\begin{aligned} &\theta e^{-\mu _{3}\tau _{3}}\digamma _{2} ( S ) -c\digamma _{3} ( H ) -d\digamma _{3} ( H ) \digamma _{4} ( Y ) =0, \end{aligned}$$

(32)

$$\begin{aligned} &q\digamma _{3} ( H ) \digamma _{4} ( Y ) -\eta \digamma _{4} ( Y ) =0, \end{aligned}$$

(33)

$$\begin{aligned} &g\lambda \digamma _{2} ( S ) \digamma _{5} ( Z ) -\xi \digamma _{5} ( Z ) =0. \end{aligned}$$

(34)

From Eq. (33), either $\digamma _{4} ( Y ) =0$ or $\digamma _{4} ( Y ) \neq 0$ $( \digamma _{3} ( H ) =\frac{\eta }{q} )$. By solving Eq. (34), we get $\digamma _{5} ( Z ) =0$ or $\digamma _{5} ( Z ) \neq 0$ $( \digamma _{2} ( S ) =\frac{\xi }{g} )$. If Condition C3 $\digamma _{4} ( Y ) =0$ and $\digamma _{5} ( Z ) =0$ imply that $Y=0$ and $Z=0$, thus we have the following possibilities:

1. $Y=Z=0$, then Condition C3 implies that $\digamma _{i}^{-1}$, $i=1,\ldots,5$, exist and they are strictly increasing functions. From Eqs. (29)–(32) we get

$$\begin{aligned} &K =\digamma _{1}^{-1} \biggl( \frac{ ( 1-\varepsilon ) e ^{-\mu _{1}\tau _{1}}\varTheta ( F ) }{\alpha +m} \biggr) =\pi _{1} ( F ) , \end{aligned}$$

(35)

$$\begin{aligned} &S =\digamma _{2}^{-1} \biggl( \frac{\gamma e^{\mu _{3}\tau _{3}}\varTheta ( F ) }{a} \biggr) =\pi _{2} ( F ) , \end{aligned}$$

(36)

$$\begin{aligned} &H =\digamma _{3}^{-1} \biggl( \frac{\theta \gamma \varTheta ( F ) }{ac} \biggr) =\pi _{3} ( F ) , \end{aligned}$$

(37)

where

$$ \gamma =\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3}\tau _{3}}}{\alpha +m}+\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}. $$

(38)

Obviously, $\pi _{i} ( 0 ) >0$ and $\pi _{i} ( F^{0} ) =0$, $i=1,2,3$. Substituting Eq. (37) into Eq. (32), we obtain

$$ \frac{\theta \gamma }{a}\varLambda \bigl( F,\pi _{3} ( F ) \bigr) -c \digamma _{3} \bigl( \pi _{3} ( F ) \bigr) =0. $$

(39)

Equation (39) admits a solution $F=F^{0}$, which gives $K=S=H=0$ and leads to the pathogen-free equilibrium $Q^{0}=(F^{0},0,0,0,0,0)$. Let

$$ \psi _{1} ( F ) =\frac{\theta \gamma }{a}\varLambda \bigl( F, \pi _{3} ( F ) \bigr) -c\digamma _{3} \bigl( \pi _{3} ( F ) \bigr) =0. $$

Then from Conditions C1–C3 we have

$$\begin{aligned} &\psi _{1} ( 0 ) =-c\digamma _{3} \bigl( \pi _{3} ( 0 ) \bigr) < 0, \\ &\psi _{1} \bigl( F^{0} \bigr) =0. \end{aligned}$$

Moreover,

$$\begin{aligned} &\psi _{1}^{\prime } ( F ) =\frac{\theta \gamma }{a} \biggl[ \frac{\partial \varLambda }{\partial F}+\pi _{3}^{\prime } ( F ) \frac{\partial \varLambda }{\partial H} \biggr] -c\pi _{3}^{\prime } ( F ) \digamma _{3}^{\prime } \bigl( \pi _{3} ( F ) \bigr) , \\ &\psi _{1}^{\prime } \bigl( F^{0} \bigr) = \frac{\theta \gamma }{a} \biggl[ \frac{\partial \varLambda ( F^{0},0 ) }{\partial F}+ \pi _{3}^{\prime } \bigl( F^{0} \bigr) \frac{\partial \varLambda ( F^{0},0 ) }{\partial H} \biggr] -c\pi _{3}^{\prime } \bigl( F ^{0} \bigr) \digamma _{3}^{\prime } ( 0 ) . \end{aligned}$$

Condition C2 implies that $\frac{\partial \varLambda ( F ^{0},0 ) }{\partial F}=0$. Also, from Condition C3, we have $\digamma _{3}^{\prime } ( 0 ) >0$, then

$$\begin{aligned} \psi _{1}^{\prime } \bigl( F^{0} \bigr) & =c\pi _{3}^{\prime } \bigl( F ^{0} \bigr) \digamma _{3}^{\prime } ( 0 ) \biggl( \frac{ \theta \gamma }{ac\digamma _{3}^{\prime } ( 0 ) } \frac{ \partial \varLambda ( F^{0},0 ) }{\partial H}-1 \biggr) \\ & =\frac{\theta \gamma \varTheta ^{\prime } ( F^{0} ) }{a} \biggl( \frac{\theta \gamma }{ac\digamma _{3}^{\prime } ( 0 ) }\frac{\partial \varLambda ( F^{0},0 ) }{\partial H}-1 \biggr) . \end{aligned}$$

From Condition C1, we have $\varTheta ^{\prime } ( F^{0} ) <0$. Therefore, if

$$ \frac{\theta \gamma }{ac\digamma _{3}^{\prime } ( 0 ) }\frac{ \partial \varLambda ( F^{0},0 ) }{\partial H}>1, $$

hence $\psi _{1}^{\prime } ( F^{0} ) <0$ and there exists $F^{\ast }\in ( 0,F^{0} )$ such that $\psi _{1} ( F ^{\ast } ) =0$. From Eqs. (35)–(37) we obtain $K^{\ast }=\pi _{1} ( F^{\ast } ) >0$, $S^{\ast }=\pi _{2} ( F^{\ast } ) >0$, and $H^{\ast }=\pi _{3} ( F^{ \ast } ) >0$. Therefore, a persistent infection equilibrium without immune response $Q^{\ast } ( F^{\ast },K^{\ast },H^{ \ast },S^{\ast },0,0 )$ exists when $\frac{\theta \gamma }{ac \digamma _{3}^{\prime } ( 0 ) }\frac{\partial \varLambda ( F^{0},0 ) }{\partial H}>1$. Let us define

$$ \mathcal{R}_{0}=\frac{\theta \gamma }{ac\digamma _{3}^{\prime } ( 0 ) }\frac{\partial \varLambda ( F^{0},0 ) }{\partial H}. $$

2. $Y\neq 0$ and $Z=0$, we have $\overline{H}=\digamma _{3} ^{-1} ( \frac{\eta }{q} ) >0$. Let $H=\overline{H}$ in Eq. (29) and define $\psi _{2}$ as follows:

$$ \psi _{2} ( F ) =\varTheta ( F ) -\varLambda ( F, \overline{H} ) =0. $$

According to Conditions C1 and C2, we have

$$ \psi _{2} ( 0 ) =\varTheta ( 0 ) >0\quad \text{and}\quad \psi _{2} \bigl( F^{0} \bigr) =-\varLambda \bigl( F^{0},\overline{H} \bigr) < 0. $$

Since $\psi _{2} ( F )$ is a strictly decreasing function of F, then there exists unique $\overline{F}\in ( 0,F^{0} )$ such that $\psi _{2} ( \overline{F} ) =0$. Now from Eqs. (32), (35), and (36) we obtain

$$ \overline{K}=\pi _{1} ( \overline{F} ) ,\qquad \overline{S}=\pi _{2} ( \overline{F} ) ,\qquad \overline{Y}=\digamma _{4}^{-1} \biggl( \frac{c}{d} \biggl( \frac{\theta \gamma \varLambda ( \overline{F},\overline{H} ) }{ac\digamma _{3} ( \overline{H} ) }-1 \biggr) \biggr) . $$

Clearly, $\overline{K}>0$ and $\overline{S}>0$; moreover, $\overline{Y}>0$ when $\frac{\theta \gamma \varLambda ( \overline{F},\overline{H} ) }{ac\digamma _{3} ( \overline{H} ) }>1$. Now we define

$$ \mathcal{R}_{1}^{Y}=\frac{\theta \gamma \varLambda ( \overline{F}, \overline{H} ) }{ac\digamma _{3} ( \overline{H} ) }. $$

Hence, Y̅ can be rewritten as $\overline{Y}=\digamma _{4} ^{-1} ( \frac{c}{d} ( \mathcal{R}_{1}^{Y}-1 ) )$. It follows that there exists a persistent infection equilibrium with only humoral immune response $\overline{Q} ( \overline{F}, \overline{K},\overline{S},\overline{H},\overline{Y},0 )$ if $\mathcal{R}_{1}^{Y}>1$.

3. $Z\neq 0$ and $Y=0$, we have $\widehat{S}=\digamma _{2} ^{-1} ( \frac{\xi }{g} ) >0$. Let $S=\widehat{S}$ in Eq. (32), then we have

$$ \widehat{H}=\digamma _{3}^{-1} \biggl( \frac{\theta e^{-\mu _{3}\tau _{3}} \xi }{cg} \biggr) >0. $$

Let $H=\widehat{H}$ in Eq. (29) and define $\psi _{3}$ as follows:

$$ \psi _{3} ( F ) =\varTheta ( F ) -\varLambda ( F, \widehat{H} ) =0. $$

Clearly,

$$ \psi _{3} ( 0 ) =\varTheta ( 0 ) >0\quad \text{and}\quad \psi _{3} \bigl( F^{0} \bigr) =-\varLambda \bigl( F^{0},\widehat{H} \bigr) < 0. $$

According to Conditions C1 and C2, there exists unique $\widehat{F}\in ( 0,F^{0} )$ such that $\psi _{3} ( \widehat{F} ) =0$. From Eq. (35) we conclude that $\widehat{K}=\pi _{1} ( \widehat{F} ) >0$. Now from Eqs. (30)–(32) we have $\widehat{Z}=\digamma _{5}^{-1} ( \frac{a}{ \lambda } ( \mathcal{R}_{1}^{Z}-1 ) )$, where

$$ \mathcal{R}_{1}^{Z}=\frac{\theta \gamma \varLambda ( \widehat{F}, \widehat{H} ) }{ac\digamma _{3} ( \widehat{H} ) }. $$

Consequently, there exists a persistent infection equilibrium with only CTL immune response $\widehat{Q} ( \widehat{F},\widehat{K}, \widehat{S},\widehat{H},0,\widehat{Z} )$ if $\mathcal{R}_{1} ^{Z}>1$.

4. $Z\neq 0$ and $Y\neq 0$, we have $\widetilde{H}= \overline{H}=\digamma _{3}^{-1} ( \frac{\eta }{q} ) >0$ and $\widetilde{S}=\widehat{S}=\digamma _{2}^{-1} ( \frac{\xi }{g} ) >0$. Let $H=\widetilde{H}$ in Eq. (29) and define $\psi _{4}$ as follows:

$$ \psi _{4} ( F ) =\varTheta ( F ) -\varLambda ( F, \widetilde{H} ) =0. $$

Clearly,

$$ \psi _{4} ( 0 ) =\varTheta ( 0 ) >0\quad \text{and}\quad \psi _{4} \bigl( F^{0} \bigr) =-\varLambda \bigl( F^{0},\widetilde{H} \bigr) < 0. $$

According to C1 and C2, there exists unique $\widetilde{F}\in ( 0,F^{0} )$ such that $\psi _{4} ( \widetilde{F} ) =0$. Thus, we conclude from Eq. (35) that $\widetilde{K}=\pi _{1} ( \widetilde{F} ) >0$. Now from Eqs. (30)–(32) we have

$$ \widetilde{Z}=\digamma _{5}^{-1} \biggl( \frac{a}{\lambda } \bigl( \mathcal{R}_{2}^{Z}-1 \bigr) \biggr)\quad \text{and}\quad \widetilde{Y}=\digamma _{4}^{-1} \biggl( \frac{c}{d} \bigl( \bigl( \mathcal{R}_{1}^{Y}/\mathcal{R}_{2}^{Z} \bigr) -1 \bigr) \biggr) >0, $$

where

$$ \mathcal{R}_{2}^{Z}=\frac{e^{\mu _{3}\tau _{3}}\gamma \varLambda ( \widetilde{F},\widetilde{H} ) }{a\digamma _{2} ( \widetilde{S} ) }\quad \text{and}\quad \mathcal{R}_{1}^{Y}/ \mathcal{R}_{2}^{Z}=\frac{\theta \digamma _{2} ( \widetilde{S} ) \varLambda ( \overline{F}, \overline{H} ) }{c\digamma _{3} ( \widetilde{H} ) \varLambda ( \widetilde{F},\widetilde{H} ) }= \frac{\theta e ^{-\mu _{3}\tau _{3}}\xi q}{cg\eta }. $$

It follows that there exists a persistent infection equilibrium with both humoral and CTL immune responses $\widetilde{Q} ( \widetilde{F},\widetilde{K},\widetilde{S},\widetilde{H},\widetilde{Y}, \widetilde{Z} )$ if $\mathcal{R}_{1}^{Y}>\mathcal{R}_{2}^{Z}>1$. □

Proof of Theorem 1

Define

$$\begin{aligned} \mathcal{L}_{n} ={}&\frac{1}{\phi ( h ) } \biggl[ \gamma \biggl( F_{n}-F^{0}- \int _{F^{0}}^{F_{n}}\lim_{H\rightarrow 0^{+}} \frac{ \varLambda ( F^{0},H ) }{\varLambda ( \varsigma ,H ) }\,d\varsigma \biggr) +\frac{me^{-\mu _{3}\tau _{3}}}{\alpha +m}K_{n}+e ^{-\mu _{3}\tau _{3}}S_{n}+\frac{a}{\theta }H_{n} \\ & {} +\frac{ad}{\theta q}Y_{n}+\frac{\lambda e^{-\mu _{3}\tau _{3}}}{g}Z_{n} \biggr] +\frac{ac}{\theta }\digamma _{3} ( H_{n} ) + \frac{ad\eta }{\theta q}\digamma _{4} ( Y_{n} ) + \frac{\lambda \xi e^{-\mu _{3}\tau _{3}}}{g}\digamma _{5} ( Z_{n} ) \\ &{} +\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3} \tau _{3}}}{\alpha +m}\sum_{j=n-m_{1}}^{n-1} \varLambda ( F_{j+1},H _{j} ) +\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}} \sum_{j=n-m_{2}}^{n-1} \varLambda ( F_{j+1},H_{j} ) \\ &{} +ae^{-\mu _{3}\tau _{3}}\sum_{j=n-m_{3}}^{n-1} \digamma _{2} ( S _{j+1} ) , \end{aligned}$$

where γ is defined by Eq. (38). Hence, $\mathcal{L} _{n}>0$ for all $F_{n},K_{n},S_{n},H_{n},Y_{n},Z_{n}>0$, and $\mathcal{L}_{n}=0$ if and only if $F_{n}=F^{0}$, $K_{n}=0$, $S_{n}=0$, $H_{n}=0$, $Y_{n}=0$, and $Z_{n}=0$. We compute the difference $\Delta \mathcal{L}_{n}=\mathcal{L}_{n+1}-\mathcal{L}_{n}$ as follows:

$$\begin{aligned} &\Delta \mathcal{L}_{n} =\frac{1}{\phi ( h ) } \biggl[ \gamma \biggl( F_{n+1}-F^{0}- \int _{F^{0}}^{F_{n+1}} \lim_{H\rightarrow 0^{+}} \frac{\varLambda ( F^{0},H ) }{ \varLambda ( \varsigma ,H ) }\,d\varsigma \biggr) \\ &\hphantom{\Delta \mathcal{L}_{n} =}{} +\frac{me ^{-\mu _{3}\tau _{3}}}{\alpha +m}K_{n+1}+e^{-\mu _{3}\tau _{3}}S_{n+1}+ \frac{a}{ \theta }H_{n+1} \\ &\hphantom{\Delta \mathcal{L}_{n} =}{} +\frac{ad}{\theta q}Y_{n+1}+ \frac{\lambda e^{-\mu _{3}\tau _{3}}}{g}Z_{n+1} \biggr] +\frac{ac}{\theta }\digamma _{3} ( H_{n+1} ) +\frac{ad\eta }{\theta q}\digamma _{4} ( Y_{n+1} ) \\ &\hphantom{\Delta \mathcal{L}_{n} =}{}+\frac{\lambda \xi e^{-\mu _{3}\tau _{3}}}{g}\digamma _{5} ( Z_{n+1} ) \\ &\hphantom{\Delta \mathcal{L}_{n} =}{} +\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3} \tau _{3}}}{\alpha +m}\sum_{j=n-m_{1}+1}^{n} \varLambda ( F_{j+1},H _{j} ) \\ &\hphantom{\Delta \mathcal{L}_{n} =}{} +\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\sum _{j=n-m_{2}+1} ^{n}\varLambda ( F_{j+1},H_{j} ) +ae^{-\mu _{3}\tau _{3}} \sum_{j=n-m_{3}+1}^{n} \digamma _{2} ( S_{j+1} ) \\ &\hphantom{\Delta \mathcal{L}_{n} =}{} -\frac{1}{\phi ( h ) } \biggl[ \gamma \biggl( F_{n}-F ^{0}- \int _{F^{0}}^{F_{n}}\lim_{H\rightarrow 0^{+}} \frac{\varLambda ( F^{0},H ) }{\varLambda ( \varsigma ,H ) }\,d\varsigma \biggr) +\frac{me^{-\mu _{3}\tau _{3}}}{\alpha +m}K_{n} \\ &\hphantom{\Delta \mathcal{L}_{n} =}{}+e ^{-\mu _{3}\tau _{3}}S_{n}+\frac{a}{\theta }H_{n}+ \frac{ad}{\theta q}Y _{n} \\ &\hphantom{\Delta \mathcal{L}_{n} =}{} +\frac{\lambda e^{-\mu _{3}\tau _{3}}}{g}Z_{n} \biggr] - \frac{ac}{ \theta }\digamma _{3} ( H_{n} ) - \frac{ad\eta }{\theta q} \digamma _{4} ( Y_{n} ) - \frac{\lambda \xi e^{-\mu _{3}\tau _{3}}}{g}\digamma _{5} ( Z_{n} ) \\ &\hphantom{\Delta \mathcal{L}_{n} =}{} -\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3} \tau _{3}}}{\alpha +m}\sum_{j=n-m_{1}}^{n-1} \varLambda ( F_{j+1},H _{j} ) \\ &\hphantom{\Delta \mathcal{L}_{n} =}{} -\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\sum _{j=n-m_{2}} ^{n-1}\varLambda ( F_{j+1},H_{j} ) -ae^{-\mu _{3}\tau _{3}} \sum_{j=n-m_{3}}^{n-1} \digamma _{2} ( S_{j+1} ), \\ &\Delta \mathcal{L}_{n} =\frac{1}{\phi ( h ) } \biggl[ \gamma \biggl( F_{n+1}-F_{n}- \int _{F_{n}}^{F_{n+1}} \lim_{H\rightarrow 0^{+}} \frac{\varLambda ( F^{0},H ) }{ \varLambda ( \varsigma ,H ) }\,d\varsigma \biggr) +\frac{me ^{-\mu _{3}\tau _{3}}}{\alpha +m} ( K_{n+1}-K_{n} ) \\ &\hphantom{\Delta \mathcal{L}_{n} =}{} +e^{-\mu _{3}\tau _{3}} ( S_{n+1}-S_{n} ) +\frac{a}{ \theta } ( H_{n+1}-H_{n} ) + \frac{ad}{\theta q} ( Y _{n+1}-Y_{n} ) \\ &\hphantom{\Delta \mathcal{L}_{n} =}{} + \frac{\lambda e^{-\mu _{3}\tau _{3}}}{g} ( Z _{n+1}-Z_{n} ) \biggr] \\ &\hphantom{\Delta \mathcal{L}_{n} =}{} +\frac{ac}{\theta } \bigl[ \digamma _{3} ( H_{n+1} ) - \digamma _{3} ( H_{n} ) \bigr] + \frac{ad\eta }{\theta q} \bigl[ \digamma _{4} ( Y_{n+1} ) - \digamma _{4} ( Y _{n} ) \bigr] \\ &\hphantom{\Delta \mathcal{L}_{n} =}{} +\frac{\lambda \xi e^{-\mu _{3}\tau _{3}}}{g} \bigl[ \digamma _{5} ( Z_{n+1} ) -\digamma _{5} ( Z_{n} ) \bigr] \\ &\hphantom{\Delta \mathcal{L}_{n} =}{} +\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3} \tau _{3}}}{\alpha +m} \Biggl( \sum _{j=n-m_{1}+1}^{n}\varLambda ( F _{j+1},H_{j} ) -\sum_{j=n-m_{1}}^{n-1}\varLambda ( F_{j+1},H _{j} ) \Biggr) \\ &\hphantom{\Delta \mathcal{L}_{n} =}{} +\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}} \Biggl( \sum _{j=n-m_{2}+1}^{n}\varLambda ( F_{j+1},H_{j} ) - \sum_{j=n-m_{2}}^{n-1}\varLambda ( F_{j+1},H_{j} ) \Biggr) \\ &\hphantom{\Delta \mathcal{L}_{n} =}{} +ae^{-\mu _{3}\tau _{3}} \Biggl( \sum _{j=n-m_{3}+1}^{n}\digamma _{2} ( S_{j+1} ) -\sum_{j=n-m_{3}}^{n-1} \digamma _{2} ( S _{j+1} ) \Biggr) . \end{aligned}$$

Using Lemma 3.1 [68], we get

$$\begin{aligned} \lim_{H\rightarrow 0^{+}} \frac{\varLambda (F^{0},H)}{\varLambda (F_{n+1},H)} ( F_{n+1}-F_{n} ) \leq& \int _{F_{n}}^{F_{n+1}}\lim_{H\rightarrow 0^{+}} \frac{ \varLambda (F^{0},H)}{\varLambda (\varsigma ,H)}\,d\varsigma \\ \leq& \lim_{H\rightarrow 0^{+}}\frac{\varLambda (F^{0},H)}{\varLambda (F_{n},H)} ( F_{n+1}-F_{n} ) . \end{aligned}$$

Hence

$$\begin{aligned} \Delta \mathcal{L}_{n} \leq{}& \frac{1}{\phi ( h ) } \biggl[ \gamma \biggl( 1-\lim_{H\rightarrow 0^{+}}\frac{\varLambda (F^{0},H)}{ \varLambda (F_{n+1},H)} \biggr) ( F_{n+1}-F_{n} ) \\ &{}+\frac{me ^{-\mu _{3}\tau _{3}}}{\alpha +m} ( K_{n+1}-K_{n} ) +e^{-\mu _{3}\tau _{3}} ( S_{n+1}-S_{n} ) \\ & {}+\frac{a}{\theta } ( H_{n+1}-H_{n} ) + \frac{ad}{ \theta q} ( Y_{n+1}-Y_{n} ) + \frac{\lambda e^{-\mu _{3}\tau _{3}}}{g} ( Z_{n+1}-Z_{n} ) \biggr] \\ &{}+ \frac{ac}{\theta } \bigl[ \digamma _{3} ( H_{n+1} ) - \digamma _{3} ( H _{n} ) \bigr] \\ & {}+\frac{ad\eta }{\theta q} \bigl[ \digamma _{4} ( Y_{n+1} ) -\digamma _{4} ( Y_{n} ) \bigr] + \frac{\lambda \xi e^{-\mu _{3}\tau _{3}}}{g} \bigl[ \digamma _{5} ( Z_{n+1} ) - \digamma _{5} ( Z_{n} ) \bigr] \\ &{} +\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3} \tau _{3}}}{\alpha +m} \bigl[ \varLambda ( F_{n+1},H_{n} ) - \varLambda ( F_{n-m_{1}+1},H_{n-m_{1}} ) \bigr] \\ &{} +\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}} \bigl[ \varLambda ( F_{n+1},H_{n} ) -\varLambda ( F_{n-m_{2}+1},H_{n-m _{2}} ) \bigr] \\ &{} +ae^{-\mu _{3}\tau _{3}} \bigl[ \digamma _{2} ( S_{n+1} ) - \digamma _{2} ( S_{n-m_{3}+1} ) \bigr] . \end{aligned}$$

From Eqs. (11)–(16) we have

$$\begin{aligned} \Delta \mathcal{L}_{n} \leq{}& \gamma \biggl( 1-\lim _{H\rightarrow 0^{+}}\frac{ \varLambda (F^{0},H)}{\varLambda (F_{n+1},H)} \biggr) \bigl(\varTheta ( F_{n+1} ) -\varLambda ( F_{n+1},H_{n} ) \bigr) \\ &{} +\frac{me^{-\mu _{3}\tau _{3}}}{\alpha +m} \bigl[ ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}}\varLambda ( F_{n-m_{1}+1},H_{n-m_{1}} ) - ( \alpha +m ) \digamma _{1} ( K_{n+1} ) \bigr] \\ &{} +e^{-\mu _{3}\tau _{3}} \bigl[ \varepsilon e^{-\mu _{2}\tau _{2}} \varLambda ( F_{n-m_{2}+1},H_{n-m_{2}} ) +m\digamma _{1} ( K_{n+1} ) -a\digamma _{2} ( S_{n+1} ) \\ &{} -\lambda \digamma _{2} ( S_{n+1} ) \digamma _{5} ( Z_{n+1} ) \bigr] \\ &{} +\frac{a}{\theta } \bigl[ \theta e^{-\mu _{3}\tau _{3}}\digamma _{2} ( S_{n-m_{3}+1} ) -c\digamma _{3} ( H_{n+1} ) -d \digamma _{3} ( H_{n+1} ) \digamma _{4} ( Y_{n+1} ) \bigr] \\ &{} +\frac{ad}{\theta q} \bigl[ q\digamma _{3} ( H_{n+1} ) \digamma _{4} ( Y_{n+1} ) -\eta \digamma _{4} ( Y_{n+1} ) \bigr] \\ &{} +\frac{\lambda e^{-\mu _{3}\tau _{3}}}{g} \bigl[ g \digamma _{2} ( S_{n+1} ) \digamma _{5} ( Z_{n+1} ) -\xi \digamma _{5} ( Z_{n+1} ) \bigr] \\ &{} +\frac{ac}{\theta } \bigl[ \digamma _{3} ( H_{n+1} ) - \digamma _{3} ( H_{n} ) \bigr] + \frac{ad\eta }{\theta q} \bigl[ \digamma _{4} ( Y_{n+1} ) - \digamma _{4} ( Y _{n} ) \bigr] \\ &{} +\frac{\lambda \xi e^{-\mu _{3}\tau _{3}}}{g} \bigl[ \digamma _{5} ( Z_{n+1} ) -\digamma _{5} ( Z _{n} ) \bigr] \\ &{} +\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3} \tau _{3}}}{\alpha +m} \bigl[ \varLambda ( F_{n+1},H_{n} ) - \varLambda ( F_{n-m_{1}+1},H_{n-m_{1}} ) \bigr] \\ &{} +\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}} \bigl[ \varLambda ( F_{n+1},H_{n} ) -\varLambda ( F_{n-m_{2}+1},H_{n-m _{2}} ) \bigr] \\ & {}+ae^{-\mu _{3}\tau _{3}} \bigl[ \digamma _{2} ( S_{n+1} ) - \digamma _{2} ( S_{n-m_{3}+1} ) \bigr] \\ ={}&\gamma \biggl( 1-\lim_{H\rightarrow 0^{+}}\frac{\varLambda (F^{0},H)}{ \varLambda (F_{n+1},H)} \biggr) \varTheta ( F_{n+1} ) +\gamma \lim_{H\rightarrow 0^{+}} \frac{\varLambda (F^{0},H)}{\varLambda (F_{n+1},H)}\varLambda ( F_{n+1},H _{n} ) \\ &{} -\frac{ac}{\theta }\digamma _{3} ( H_{n} ) - \frac{ad \eta }{\theta q}\digamma _{4} ( Y_{n} ) - \frac{\lambda \xi e^{-\mu _{3}\tau _{3}}}{g}\digamma _{5} ( Z_{n} ) . \end{aligned}$$

Using $\varTheta ( F^{0} ) =0$, we obtain

$$\begin{aligned} \Delta \mathcal{L}_{n} \leq{}& \gamma \biggl( 1- \frac{\partial \varLambda (F^{0},0)/\partial H}{\partial \varLambda (F_{n+1},0)/\partial H} \biggr) \bigl( \varTheta ( F_{n+1} ) -\varTheta \bigl( F^{0} \bigr) \bigr) +\gamma \frac{\partial \varLambda (F^{0},0)/\partial H}{\partial \varLambda (F_{n+1},0)/\partial H}\varLambda ( F_{n+1},H_{n} ) \\ &{} -\frac{ac}{\theta }\digamma _{3} ( H_{n} ) - \frac{ad \eta }{\theta q}\digamma _{4} ( Y_{n} ) - \frac{\lambda \xi e^{-\mu _{3}\tau _{3}}}{g}\digamma _{5} ( Z_{n} ) \\ ={}&\gamma \biggl( 1-\frac{\partial \varLambda (F^{0},0)/\partial H}{ \partial \varLambda (F_{n+1},0)/\partial H} \biggr) \bigl( \varTheta ( F_{n+1} ) -\varTheta \bigl( F^{0} \bigr) \bigr) \\ & {}+\frac{ac}{\theta } \biggl( \frac{\gamma \theta }{ac}\frac{\partial \varLambda (F^{0},0)/\partial H}{\partial \varLambda (F_{n+1},0)/\partial H} \frac{ \varLambda ( F_{n+1},H_{n} ) }{\digamma _{3} ( H_{n} ) }-1 \biggr) \digamma _{3} ( H_{n} ) \\ &{} -\frac{ad\eta }{\theta q}\digamma _{4} ( Y_{n} ) - \frac{ \lambda \xi e^{-\mu _{3}\tau _{3}}}{g}\digamma _{5} ( Z_{n} ) . \end{aligned}$$

From Condition C4 we have

$$ \frac{\varLambda (F_{n+1},H_{n})}{\digamma _{3} ( H_{n} ) } \leq \lim_{H\rightarrow 0^{+}}\frac{\varLambda (F_{n+1},H)}{\digamma _{3} ( H ) }= \frac{\partial \varLambda (F_{n+1},0)/\partial H}{ \digamma _{3}^{\prime } ( 0 ) }. $$

Then we get

$$\begin{aligned} \Delta \mathcal{L}_{n} \leq {}&\gamma \biggl( 1- \frac{\partial \varLambda (F^{0},0)/\partial H}{\partial \varLambda (F_{n+1},0)/\partial H} \biggr) \bigl( \varTheta ( F_{n+1} ) -\varTheta \bigl( F^{0} \bigr) \bigr) \\ &{} +\frac{ac}{\theta } \biggl( \frac{\gamma \theta }{ac}\frac{ \partial \varLambda (F^{0},0)/\partial H}{\digamma _{3}^{\prime } ( 0 ) }-1 \biggr) \digamma _{3} ( H_{n} ) \\ & {}-\frac{ad\eta }{\theta q}\digamma _{4} ( Y_{n} ) - \frac{ \lambda \xi e^{-\mu _{3}\tau _{3}}}{g}\digamma _{5} ( Z_{n} ) \\ ={}&\gamma \biggl( 1-\frac{\partial \varLambda (F^{0},0)/\partial H}{ \partial \varLambda (F_{n+1},0)/\partial H} \biggr) \bigl( \varTheta ( F_{n+1} ) -\varTheta \bigl( F^{0} \bigr) \bigr) + \frac{ac}{ \theta } ( \mathcal{R}_{0}-1 ) \digamma _{3} ( H_{n} ) \\ &{}-\frac{ad\eta }{\theta q}\digamma _{4} ( Y_{n} ) -\frac{\lambda \xi e^{-\mu _{3}\tau _{3}}}{g}\digamma _{5} ( Z _{n} ) . \end{aligned}$$

Conditions C1 and C2 imply that

$$ \biggl( 1-\frac{\partial \varLambda (F^{0},0)/\partial H}{\partial \varLambda (F_{n+1},0)/\partial H} \biggr) \bigl( \varTheta ( F_{n+1} ) -\varTheta \bigl( F^{0} \bigr) \bigr) \leq 0. $$

Hence, if $\mathcal{R}_{0}\leq 1$, then we have $\Delta \mathcal{L} _{n}\leq 0$ for all $n\geq 0$. Obviously, $\lim_{n\rightarrow \infty }\Delta \mathcal{L}_{n}=0$ if $\lim_{n\rightarrow \infty }F_{n}=F^{0}$, $\lim_{n\rightarrow \infty }( \mathcal{R}_{0}-1)\digamma _{3} ( H_{n} ) =0$, $\lim_{n \rightarrow \infty }\digamma _{4} ( Y_{n} ) =0$, and $\lim_{n\rightarrow \infty }\digamma _{5} ( Z_{n} ) =0$. We have two cases:

• If $\mathcal{R}_{0}<1$, then $\lim_{n\rightarrow \infty }\digamma _{3} ( H_{n} ) =0$, $\lim_{n \rightarrow \infty }\digamma _{4} ( Y_{n} ) =0$, $\lim_{n\rightarrow \infty }\digamma _{5} ( Z_{n} ) =0$, and from Condition C3 we get $\lim_{n\rightarrow \infty }H_{n}=0$, $\lim_{n\rightarrow \infty }Y_{n}=0$, and $\lim_{n \rightarrow \infty }Z_{n}=0$, then we get from Eqs. (13)–(14) $\lim_{n\rightarrow \infty }K_{n}=0$ and $\lim_{n\rightarrow \infty }S_{n}=0$.

• If $\mathcal{R}_{0}=1$, then $\lim_{n\rightarrow \infty }\Delta K_{n}=0$ when $\lim_{n\rightarrow \infty }Y_{n}=0$, ${\lim_{n\rightarrow \infty }Z_{n}}=0$, and $\lim_{n\rightarrow \infty } F_{n}=F^{0}$, and from Eq. (11) we obtain $\lim_{n \rightarrow \infty }\varLambda (F^{0},H_{n})=0$, then $\lim_{n \rightarrow \infty }H_{n}=0$. Moreover, from Eqs. (13)–(14) we get $\lim_{n\rightarrow \infty }K_{n}=0$, $\lim_{n\rightarrow \infty }S_{n}=0$. Hence $Q^{0}$ is G.A.S.

 □

Proof of Lemma 3

From Conditions C1 and C2, for $F^{\ast },\overline{F},\widehat{F},S^{\ast }, \widehat{S},H^{\ast },\overline{H},\widehat{H}>0$, we have

$$\begin{aligned} &\bigl( F^{\ast }-\overline{F} \bigr) \bigl( \varTheta ( \overline{F} ) -\varTheta \bigl( F^{\ast } \bigr) \bigr) >0, \end{aligned}$$

(40)

$$\begin{aligned} &\bigl( \overline{F}-F^{\ast } \bigr) \bigl( \varLambda ( \overline{F}, \overline{H} ) -\varLambda \bigl( F^{\ast }, \overline{H} \bigr) \bigr) >0, \end{aligned}$$

(41)

$$\begin{aligned} &\bigl( \overline{H}-H^{\ast } \bigr) \bigl( \varLambda \bigl( F^{ \ast },\overline{H} \bigr) -\varLambda \bigl( F^{\ast },H^{\ast } \bigr) \bigr) >0, \end{aligned}$$

(42)

$$\begin{aligned} &\bigl( \overline{H}-H^{\ast } \bigr) \bigl( \varLambda ( \overline{F}, \overline{H} ) -\varLambda \bigl( \overline{F},H^{ \ast } \bigr) \bigr) >0. \end{aligned}$$

(43)

Using Condition C4, we get

$$ \bigl( H^{\ast }-\overline{H} \bigr) \biggl( \frac{\varLambda ( F ^{\ast },\overline{H} ) }{\digamma _{3} ( \overline{H} ) }- \frac{\varLambda ( F^{\ast },H^{\ast } ) }{\digamma _{3} ( H^{\ast } ) } \biggr) >0. $$

(44)

Suppose that $\operatorname{sgn} ( \overline{F}-F^{\ast } ) =\operatorname{sgn} ( \overline{H}-H^{\ast } )$. For the equilibria $Q^{\ast }$ and Q̅, we have

$$\begin{aligned} \varTheta ( \overline{F} ) -\varTheta \bigl( F^{\ast } \bigr) & = \varLambda ( \overline{F},\overline{H} ) -\varLambda \bigl( F^{\ast },H^{\ast } \bigr) \\ & = \bigl( \varLambda ( \overline{F},\overline{H} ) -\varLambda \bigl( F^{\ast },\overline{H} \bigr) \bigr) + \bigl( \varLambda \bigl( F^{\ast },\overline{H} \bigr) -\varLambda \bigl( F^{\ast },H ^{\ast } \bigr) \bigr) . \end{aligned}$$

Therefore, from inequalities (40)–(43) we get

$$ \operatorname{sgn} \bigl( F^{\ast }-\overline{F} \bigr) = \operatorname{sgn} \bigl( \overline{F}-F^{\ast } \bigr) , $$

which leads to a contradiction. Thus, $\operatorname{sgn} ( \overline{F}-F^{\ast } ) =\operatorname{sgn} ( H^{\ast }- \overline{H} )$. Using the equilibrium conditions for $Q^{\ast }$, we have $\frac{\theta \gamma \varLambda ( F^{\ast },H ^{\ast } ) }{ac\digamma _{3} ( H^{\ast } ) }=1$, then

$$\begin{aligned} \mathcal{R}_{1}^{Y}-1 & =\frac{\theta \gamma \varLambda ( \overline{F},\overline{H} ) }{ac\digamma _{3} ( \overline{H} ) }- \frac{\theta \gamma \varLambda ( F^{\ast },H ^{\ast } ) }{ac\digamma _{3} ( H^{\ast } ) } \\ & =\frac{\theta \gamma }{ac} \biggl[ \frac{\varLambda ( \overline{F},\overline{H} ) }{\digamma _{3} ( \overline{H} ) }-\frac{\varLambda ( F^{\ast },H^{\ast } ) }{\digamma _{3} ( H^{\ast } ) } \biggr] \\ & =\frac{\theta \gamma }{ac} \biggl[ \frac{1}{\digamma _{3} ( \overline{H} ) } \bigl( \varLambda ( \overline{F}, \overline{H} ) -\varLambda \bigl( F^{\ast },\overline{H} \bigr) \bigr) +\frac{\varLambda ( F^{\ast },\overline{H} ) }{ \digamma _{3} ( \overline{H} ) }-\frac{\varLambda ( F ^{\ast },H^{\ast } ) }{\digamma _{3} ( H^{\ast } ) } \biggr] . \end{aligned}$$

Thus, from inequalities (41)–(44) we get $\operatorname{sgn} ( \mathcal{R}_{1}^{Y}-1 ) = \operatorname{sgn} ( H^{\ast }-\overline{H} )$. Similarly, one can show that $\operatorname{sgn} ( \widehat{F}-F^{\ast } ) =\operatorname{sgn} ( H^{\ast }- \widehat{H} ) =\operatorname{sgn} ( \mathcal{R}_{1}^{Z}-1 )$. Moreover, we have

$$ \digamma _{2} \bigl( S^{\ast } \bigr) -\digamma _{2} ( \widehat{S} ) =\frac{ce^{\mu _{3}\tau _{3}}}{\theta } \bigl( \digamma _{3} \bigl( H^{\ast } \bigr) -\digamma _{3} ( \widehat{H} ) \bigr) , $$

which gives us $\operatorname{sgn} ( H^{\ast }-\widehat{H} ) =\operatorname{sgn} ( S^{\ast }-\widehat{S} )$. □

Proof of Theorem 2

Consider a function $\mathcal{U}_{n}(F _{n},K_{n},S_{n},H_{n},Y_{n},Z_{n})$ as follows:

$$\begin{aligned} \mathcal{U}_{n} ={}&\frac{1}{\phi ( h ) } \biggl[ \gamma \biggl( F_{n}-F^{\ast }- \int _{F^{\ast }}^{F_{n}}\frac{\varLambda (F^{ \ast },H^{\ast })}{\varLambda (\varsigma ,H^{\ast })}\,d\varsigma \biggr) +\frac{me^{-\mu _{3}\tau _{3}}}{\alpha +m} \biggl( K_{n}-K^{\ast }- \int _{K^{\ast }}^{K_{n}}\frac{\digamma _{1}(K^{\ast })}{\digamma _{1}( \varsigma )}\,d\varsigma \biggr) \\ &{} +e^{-\mu _{3}\tau _{3}} \biggl( S_{n}-S^{\ast }- \int _{S^{ \ast }}^{S_{n}}\frac{\digamma _{2}(S^{\ast })}{\digamma _{2}(\varsigma )}\,d\varsigma \biggr) \\ &{}+\frac{a}{\theta } \biggl( H_{n}-H^{\ast }- \int _{H^{\ast }}^{H_{n}}\frac{\digamma _{3}(H^{\ast })}{\digamma _{3}( \varsigma )}\,d\varsigma \biggr) +\frac{ad}{\theta q}Y_{n}+\frac{ \lambda e^{-\mu _{3}\tau _{3}}}{g}Z_{n} \biggr] \\ &{} +\frac{ac}{\theta }\digamma _{3} \bigl( H^{\ast } \bigr) G \biggl( \frac{ \digamma _{3} ( H_{n} ) }{\digamma _{3}(H^{\ast })} \biggr) \\ &{}+\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3}\tau _{3}}}{ \alpha +m}\varLambda \bigl(F^{\ast },H^{\ast }\bigr)\sum _{j=n-m_{1}}^{n-1}G \biggl( \frac{\varLambda ( F_{j+1},H_{j} ) }{\varLambda (F^{\ast },H ^{\ast })} \biggr) \\ &{} +\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda \bigl(F^{ \ast },H^{\ast } \bigr)\sum_{j=n-m_{2}}^{n-1}G \biggl( \frac{\varLambda ( F_{j+1},H_{j} ) }{\varLambda (F^{\ast },H^{\ast })} \biggr) \\ &{} +ae ^{-\mu _{3}\tau _{3}}\digamma _{2} \bigl( S^{\ast } \bigr) \sum_{j=n-m _{3}}^{n-1}G \biggl( \frac{\digamma _{2} ( S_{j+1} ) }{ \digamma _{2} ( S^{\ast } ) } \biggr) . \end{aligned}$$

We have $\mathcal{U}_{n}(F_{n},K_{n},S_{n},H_{n},Y_{n},Z_{n})>0$ for all $F_{n},K_{n},S_{n},H_{n},Y_{n},Z_{n}>0$; moreover, $\mathcal{U}_{n}(F ^{\ast },K^{\ast }, S^{\ast },H^{\ast },0,0)=0$. We compute $\Delta \mathcal{U}_{n}=\mathcal{U}_{n+1}-\mathcal{U}_{n}$ as follows:

$$\begin{aligned} &\triangle \mathcal{U}_{n} =\frac{1}{\phi ( h ) } \biggl[ \gamma \biggl( F_{n+1}-F^{\ast }- \int _{F^{\ast }}^{F_{n+1}}\frac{ \varLambda (F^{\ast },H^{\ast })}{\varLambda (\varsigma ,H^{\ast })}\,d\varsigma \biggr) \\ &\hphantom{\triangle \mathcal{U}_{n} =}{} +\frac{me^{-\mu _{3}\tau _{3}}}{\alpha +m} \biggl( K_{n+1}-K ^{\ast }- \int _{K^{\ast }}^{K_{n+1}}\frac{\digamma _{1}(K^{\ast })}{ \digamma _{1}(\varsigma )}\,d\varsigma \biggr) \\ &\hphantom{\triangle \mathcal{U}_{n} =}{} +e^{-\mu _{3}\tau _{3}} \biggl( S_{n+1}-S^{\ast }- \int _{S^{\ast }} ^{S_{n+1}}\frac{\digamma _{2}(S^{\ast })}{\digamma _{2}(\varsigma )}\,d \varsigma \biggr) +\frac{a}{\theta } \biggl( H_{n+1}-H^{\ast }- \int _{H^{\ast }}^{H_{n+1}}\frac{\digamma _{3}(H^{\ast })}{\digamma _{3}( \varsigma )}\,d\varsigma \biggr) \\ &\hphantom{\triangle \mathcal{U}_{n} =}{} +\frac{ad}{\theta q}Y_{n+1}+\frac{\lambda e^{-\mu _{3}\tau _{3}}}{g}Z_{n+1} \biggr] +\frac{ac}{\theta }\digamma _{3} \bigl( H^{ \ast } \bigr) G \biggl( \frac{\digamma _{3} ( H_{n+1} ) }{ \digamma _{3}(H^{\ast })} \biggr) \\ &\hphantom{\triangle \mathcal{U}_{n} =}{} +\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3} \tau _{3}}}{\alpha +m}\varLambda \bigl(F^{\ast },H^{\ast } \bigr)\sum_{j=n-m_{1}+1} ^{n}G \biggl( \frac{\varLambda ( F_{j+1},H_{j} ) }{\varLambda (F ^{\ast },H^{\ast })} \biggr) \\ &\hphantom{\triangle \mathcal{U}_{n} =}{} +\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda \bigl(F^{ \ast },H^{\ast } \bigr)\sum_{j=n-m_{2}+1}^{n}G \biggl( \frac{\varLambda ( F_{j+1},H_{j} ) }{\varLambda (F^{\ast },H^{\ast })} \biggr) \\ &\hphantom{\triangle \mathcal{U}_{n} =}{}+ae ^{-\mu _{3}\tau _{3}}\digamma _{2} \bigl( S^{\ast } \bigr) \sum_{j=n-m_{3}+1}^{n}G \biggl( \frac{\digamma _{2} ( S_{j+1} ) }{\digamma _{2} ( S^{\ast } ) } \biggr) \\ &\hphantom{\triangle \mathcal{U}_{n} =}{} -\frac{1}{\phi ( h ) } \biggl[ \gamma \biggl( F_{n}-F ^{\ast }- \int _{F^{\ast }}^{F_{n}}\frac{\varLambda (F^{\ast },H^{\ast })}{ \varLambda (\varsigma ,H^{\ast })}\,d\varsigma \biggr) \\ &\hphantom{\triangle \mathcal{U}_{n} =}{} +\frac{me^{-\mu _{3}\tau _{3}}}{\alpha +m} \biggl( K_{n}-K^{\ast }- \int _{K^{\ast }}^{K _{n}}\frac{\digamma _{1}(K^{\ast })}{\digamma _{1}(\varsigma )}\,d\varsigma \biggr) \\ &\hphantom{\triangle \mathcal{U}_{n} =}{} +e^{-\mu _{3}\tau _{3}} \biggl( S_{n}-S^{\ast }- \int _{S^{ \ast }}^{S_{n}}\frac{\digamma _{2}(S^{\ast })}{\digamma _{2}(\varsigma )}\,d\varsigma \biggr) \\ &\hphantom{\triangle \mathcal{U}_{n} =}{}+\frac{a}{\theta } \biggl( H_{n}-H^{\ast }- \int _{H^{\ast }}^{H_{n}}\frac{\digamma _{3}(H^{\ast })}{\digamma _{3}( \varsigma )}\,d\varsigma \biggr) +\frac{ad}{\theta q}Y_{n}+\frac{ \lambda e^{-\mu _{3}\tau _{3}}}{g}Z_{n} \biggr] \\ &\hphantom{\triangle \mathcal{U}_{n} =}{} -\frac{ac}{\theta }\digamma _{3} \bigl( H^{\ast } \bigr) G \biggl( \frac{ \digamma _{3} ( H_{n} ) }{\digamma _{3}(H^{\ast })} \biggr) \\ &\hphantom{\triangle \mathcal{U}_{n} =}{} -\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3}\tau _{3}}}{ \alpha +m}\varLambda \bigl(F^{\ast },H^{\ast }\bigr)\sum _{j=n-m_{1}}^{n-1}G \biggl( \frac{\varLambda ( F_{j+1},H_{j} ) }{\varLambda (F^{\ast },H ^{\ast })} \biggr) \\ &\hphantom{\triangle \mathcal{U}_{n} =}{} -\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda \bigl(F^{ \ast },H^{\ast } \bigr)\sum_{j=n-m_{2}}^{n-1}G \biggl( \frac{\varLambda ( F_{j+1},H_{j} ) }{\varLambda (F^{\ast },H^{\ast })} \biggr) \\ &\hphantom{\triangle \mathcal{U}_{n} =}{} -ae ^{-\mu _{3}\tau _{3}}\digamma _{2} \bigl( S^{\ast } \bigr) \sum_{j=n-m _{3}}^{n-1}G \biggl( \frac{\digamma _{2} ( S_{j+1} ) }{ \digamma _{2} ( S^{\ast } ) } \biggr), \\ &\triangle \mathcal{U}_{n} =\frac{1}{\phi ( h ) } \biggl[ \gamma \biggl( F_{n+1}-F_{n}- \int _{F_{n}}^{F_{n+1}}\frac{\varLambda (F ^{\ast },H^{\ast })}{\varLambda (\varsigma ,H^{\ast })}\,d\varsigma \biggr) \\ &\hphantom{\triangle \mathcal{U}_{n} =}{} +\frac{me^{-\mu _{3}\tau _{3}}}{\alpha +m} \biggl( K_{n+1}-K_{n}- \int _{K_{n}}^{K_{n+1}}\frac{\digamma _{1}(K^{\ast })}{\digamma _{1}(\varsigma )}\,d\varsigma \biggr) \\ &\hphantom{\triangle \mathcal{U}_{n} =}{} +e^{-\mu _{3}\tau _{3}} \biggl( S_{n+1}-S_{n}- \int _{S_{n}}^{S_{n+1}}\frac{ \digamma _{2}(S^{\ast })}{\digamma _{2}(\varsigma )}\,d\varsigma \biggr) +\frac{a}{\theta } \biggl( H_{n+1}-H_{n}- \int _{H_{n}}^{H_{n+1}}\frac{ \digamma _{3}(H^{\ast })}{\digamma _{3}(\varsigma )}\,d\varsigma \biggr) \\ &\hphantom{\triangle \mathcal{U}_{n} =}{} +\frac{ad}{\theta q} ( Y_{n+1}-Y_{n} ) + \frac{ \lambda e^{-\mu _{3}\tau _{3}}}{g} ( Z_{n+1}-Z_{n} ) \biggr] \\ &\hphantom{\triangle \mathcal{U}_{n} =}{} + \frac{ac}{\theta }\digamma _{3} \bigl( H^{\ast } \bigr) \biggl[ G \biggl( \frac{\digamma _{3} ( H_{n+1} ) }{\digamma _{3}(H ^{\ast })} \biggr) -G \biggl( \frac{\digamma _{3} ( H_{n} ) }{ \digamma _{3}(H^{\ast })} \biggr) \biggr] \\ &\hphantom{\triangle \mathcal{U}_{n} =}{} +\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3} \tau _{3}}}{\alpha +m}\varLambda \bigl(F^{\ast },H^{\ast } \bigr) \biggl[ G \biggl( \frac{ \varLambda ( F_{n+1},H_{n} ) }{\varLambda (F^{\ast },H^{\ast })} \biggr) \\ &\hphantom{\triangle \mathcal{U}_{n} =}{} -G \biggl( \frac{\varLambda ( F_{n-m_{1}+1},H_{n-m_{1}} ) }{\varLambda (F^{\ast },H^{ \ast })} \biggr) \biggr] \\ &\hphantom{\triangle \mathcal{U}_{n} =}{} +\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda \bigl(F^{ \ast },H^{\ast } \bigr) \biggl[ G \biggl( \frac{\varLambda ( F_{n+1},H_{n} ) }{\varLambda (F^{\ast },H^{\ast })} \biggr) -G \biggl( \frac{\varLambda ( F_{n-m_{2}+1},H_{n-m_{2}} ) }{ \varLambda (F^{\ast },H^{\ast })} \biggr) \biggr] \\ &\hphantom{\triangle \mathcal{U}_{n} =}{} +ae^{-\mu _{3}\tau _{3}}\digamma _{2} \bigl( S^{\ast } \bigr) \biggl[ G \biggl( \frac{\digamma _{2} ( S_{n+1} ) }{\digamma _{2} ( S^{\ast } ) } \biggr) -G \biggl( \frac{\digamma _{2} ( S_{n-m_{3}+1} ) }{\digamma _{2} ( S^{\ast } ) } \biggr) \biggr] . \end{aligned}$$

We have

$$\begin{aligned} &\biggl( 1-\frac{\varLambda (F^{\ast },H^{\ast })}{\varLambda (F_{n},H^{ \ast })} \biggr) ( F_{n+1}-F_{n} ) \leq F_{n+1}-F_{n}- \int _{F_{n}}^{F_{n+1}}\frac{\varLambda (F^{\ast },H^{\ast })}{\varLambda ( \varsigma ,H^{\ast })}\,d\varsigma \\ &\hphantom{\biggl( 1-\frac{\varLambda (F^{\ast },H^{\ast })}{\varLambda (F_{n},H^{ \ast })} \biggr) ( F_{n+1}-F_{n} )} \leq \biggl( 1-\frac{\varLambda (F^{\ast },H^{\ast })}{\varLambda (F_{n+1},H ^{\ast })} \biggr) ( F_{n+1}-F_{n} ) , \end{aligned}$$

(45)

$$\begin{aligned} &\biggl( 1-\frac{\digamma _{i}(\rho ^{\ast })}{\digamma _{i}(\rho _{n})} \biggr) ( \rho _{n+1}-\rho _{n} ) \leq \rho _{n+1}-\rho _{n}- \int _{\rho _{n}}^{\rho _{n+1}}\frac{\digamma _{i}(\rho ^{\ast })}{\digamma _{i}(\varsigma )}\,d\varsigma \\ &\hphantom{\biggl( 1-\frac{\digamma _{i}(\rho ^{\ast })}{\digamma _{i}(\rho _{n})} \biggr) ( \rho _{n+1}-\rho _{n} )} \leq \biggl( 1-\frac{\digamma _{i}(\rho ^{\ast })}{\digamma _{i}( \rho _{n+1})} \biggr) ( \rho _{n+1}-\rho _{n} ) , \end{aligned}$$

(46)

$i=1,\ldots,5$, $\rho ^{\ast }\in \{ K^{\ast },S^{\ast },H^{\ast } \}$.

Then

$$\begin{aligned} \Delta \mathcal{U}_{n} \leq {}&\frac{1}{\phi ( h ) } \biggl[ \gamma \biggl( 1-\frac{\varLambda (F^{\ast },H^{\ast })}{\varLambda (F_{n+1},H ^{\ast })} \biggr) ( F_{n+1}-F_{n} ) +\frac{me^{-\mu _{3} \tau _{3}}}{\alpha +m} \biggl( 1-\frac{\digamma _{1}(K^{\ast })}{\digamma _{1}(K_{n+1})} \biggr) ( K_{n+1}-K_{n} ) \\ &{} +e^{-\mu _{3}\tau _{3}} \biggl( 1-\frac{\digamma _{2}(S^{\ast })}{ \digamma _{2}(S_{n+1})} \biggr) ( S_{n+1}-S_{n} ) +\frac{a}{ \theta } \biggl( 1- \frac{\digamma _{3}(H^{\ast })}{\digamma _{3}(H_{n+1})} \biggr) ( H_{n+1}-H_{n} ) \\ &{} + \frac{ad}{\theta q} ( Y_{n+1}-Y_{n} ) \\ &{} +\frac{\lambda e^{-\mu _{3}\tau _{3}}}{g} ( Z_{n+1}-Z _{n} ) \biggr] + \frac{ac}{\theta }\digamma _{3} \bigl( H^{ \ast } \bigr) \biggl[ \frac{\digamma _{3} ( H_{n+1} ) }{ \digamma _{3}(H^{\ast })}-\frac{\digamma _{3} ( H_{n} ) }{ \digamma _{3}(H^{\ast })}+\ln \biggl( \frac{\digamma _{3} ( H_{n} ) }{\digamma _{3} ( H_{n+1} ) } \biggr) \biggr] \\ &{} +\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3} \tau _{3}}}{\alpha +m}\varLambda \bigl(F^{\ast },H^{\ast } \bigr) \biggl[ \frac{ \varLambda ( F_{n+1},H_{n} ) }{\varLambda (F^{\ast },H^{\ast })}-\frac{ \varLambda ( F_{n-m_{1}+1},H_{n-m_{1}} ) }{\varLambda (F^{ \ast },H^{\ast })} \\ &{} +\ln \biggl( \frac{\varLambda ( F_{n-m_{1}+1},H_{n-m _{1}} ) }{\varLambda ( F_{n+1},H_{n} ) } \biggr) \biggr] \\ & {}+\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda \bigl(F^{ \ast },H^{\ast } \bigr) \biggl[ \frac{\varLambda ( F_{n+1},H_{n} ) }{ \varLambda (F^{\ast },H^{\ast })}-\frac{\varLambda ( F_{n-m_{2}+1},H _{n-m_{2}} ) }{\varLambda (F^{\ast },H^{\ast })} \\ &{}+\ln \biggl( \frac{ \varLambda ( F_{n-m_{2}+1},H_{n-m_{2}} ) }{\varLambda ( F _{n+1},H_{n} ) } \biggr) \biggr] \\ &{} +ae^{-\mu _{3}\tau _{3}}\digamma _{2} \bigl( S^{\ast } \bigr) \biggl[ \frac{\digamma _{2} ( S_{n+1} ) }{\digamma _{2} ( S^{ \ast } ) }-\frac{\digamma _{2} ( S_{n-m_{3}+1} ) }{ \digamma _{2} ( S^{\ast } ) }+\ln \biggl( \frac{\digamma _{2} ( S_{n-m_{3}+1} ) }{\digamma _{2} ( S_{n+1} ) } \biggr) \biggr] . \end{aligned}$$

From Eqs. (11)–(16) we have

$$\begin{aligned} \Delta \mathcal{U}_{n} \leq{}& \gamma \biggl( 1- \frac{\varLambda (F^{ \ast },H^{\ast })}{\varLambda (F_{n+1},H^{\ast })} \biggr) \bigl( \varTheta ( F_{n+1} ) -\varLambda ( F_{n+1},H_{n} ) \bigr) \\ &{} +\frac{me^{-\mu _{3}\tau _{3}}}{\alpha +m} \biggl( 1-\frac{\digamma _{1}(K^{\ast })}{\digamma _{1}(K_{n+1})} \biggr) \bigl[ ( 1- \varepsilon ) e^{-\mu _{1}\tau _{1}}\varLambda ( F_{n-m_{1}+1},H _{n-m_{1}} ) \\ &{}- ( \alpha +m ) \digamma _{1} ( K _{n+1} ) \bigr] \\ &{} +e^{-\mu _{3}\tau _{3}} \biggl( 1-\frac{\digamma _{2}(S^{\ast })}{ \digamma _{2}(S_{n+1})} \biggr) \bigl[ \varepsilon e^{-\mu _{2}\tau _{2}}\varLambda ( F_{n-m_{2}+1},H_{n-m_{2}} ) +m\digamma _{1} ( K_{n+1} ) -a\digamma _{2} ( S_{n+1} ) \\ & {}-\lambda \digamma _{2} ( S_{n+1} ) \digamma _{5} ( Z_{n+1} ) \bigr] \\ & {}+\frac{a}{\theta } \biggl( 1-\frac{\digamma _{3}(H^{\ast })}{\digamma _{3}(H _{n+1})} \biggr) \bigl[ \theta e^{-\mu _{3}\tau _{3}}\digamma _{2} ( S_{n-m_{3}+1} ) -c\digamma _{3} ( H_{n+1} ) -d\digamma _{3} ( H_{n+1} ) \digamma _{4} ( Y_{n+1} ) \bigr] \\ &{} +\frac{ad}{\theta q} \bigl[ q\digamma _{3} ( H_{n+1} ) \digamma _{4} ( Y_{n+1} ) -\eta \digamma _{4} ( Y_{n+1} ) \bigr] \\ &{}+\frac{\lambda e^{-\mu _{3}\tau _{3}}}{g} \bigl[ g \digamma _{2} ( S_{n+1} ) \digamma _{5} ( Z_{n+1} ) -\xi \digamma _{5} ( Z_{n+1} ) \bigr] \\ &{} +\frac{ac}{\theta }\digamma _{3} \bigl( H^{\ast } \bigr) \biggl[ \frac{ \digamma _{3} ( H_{n+1} ) }{\digamma _{3}(H^{\ast })}-\frac{ \digamma _{3} ( H_{n} ) }{\digamma _{3}(H^{\ast })}+\ln \biggl( \frac{\digamma _{3} ( H_{n} ) }{\digamma _{3} ( H_{n+1} ) } \biggr) \biggr] \\ &{} +\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3} \tau _{3}}}{\alpha +m}\varLambda \bigl(F^{\ast },H^{\ast } \bigr) \biggl[ \frac{ \varLambda ( F_{n+1},H_{n} ) }{\varLambda (F^{\ast },H^{\ast })}-\frac{ \varLambda ( F_{n-m_{1}+1},H_{n-m_{1}} ) }{\varLambda (F^{ \ast },H^{\ast })} \\ & {}+\ln \biggl( \frac{\varLambda ( F_{n-m_{1}+1},H_{n-m _{1}} ) }{\varLambda ( F_{n+1},H_{n} ) } \biggr) \biggr] \\ &{} +\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda \bigl(F^{ \ast },H^{\ast } \bigr) \biggl[ \frac{\varLambda ( F_{n+1},H_{n} ) }{ \varLambda (F^{\ast },H^{\ast })}-\frac{\varLambda ( F_{n-m_{2}+1},H _{n-m_{2}} ) }{\varLambda (F^{\ast },H^{\ast })} \\ &{}+\ln \biggl( \frac{ \varLambda ( F_{n-m_{2}+1},H_{n-m_{2}} ) }{\varLambda ( F _{n+1},H_{n} ) } \biggr) \biggr] \\ & {}+ae^{-\mu _{3}\tau _{3}}\digamma _{2} \bigl( S^{\ast } \bigr) \biggl[ \frac{\digamma _{2} ( S_{n+1} ) }{\digamma _{2} ( S^{ \ast } ) }-\frac{\digamma _{2} ( S_{n-m_{3}+1} ) }{ \digamma _{2} ( S^{\ast } ) }+\ln \biggl( \frac{\digamma _{2} ( S_{n-m_{3}+1} ) }{\digamma _{2} ( S_{n+1} ) } \biggr) \biggr] . \end{aligned}$$

(47)

Collecting terms of Eq. (47), we get

$$\begin{aligned} \Delta \mathcal{U}_{n} \leq{}& \gamma \biggl( 1- \frac{\varLambda (F^{ \ast },H^{\ast })}{\varLambda (F_{n+1},H^{\ast })} \biggr) \bigl( \varTheta ( F_{n+1} ) -\varTheta \bigl( F^{\ast } \bigr) \bigr) +\gamma \varTheta \bigl( F^{\ast } \bigr) \biggl( 1-\frac{ \varLambda (F^{\ast },H^{\ast })}{\varLambda (F_{n+1},H^{\ast })} \biggr) \\ &{} +\gamma \frac{\varLambda (F^{\ast },H^{\ast })}{\varLambda (F_{n+1},H ^{\ast })}\varLambda ( F_{n+1},H_{n} ) -\frac{m ( 1- \varepsilon ) }{\alpha +m}e^{-\mu _{1}\tau _{1}-\mu _{3}\tau _{3}} \varLambda ( F_{n-m_{1}+1},H_{n-m_{1}} ) \frac{\digamma _{1}(K ^{\ast })}{\digamma _{1}(K_{n+1})} \\ &{} +me^{-\mu _{3}\tau _{3}}\digamma _{1}\bigl(K^{\ast }\bigr)- \varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda ( F_{n-m_{2}+1},H_{n-m_{2}} ) \frac{\digamma _{2}(S^{\ast })}{ \digamma _{2}(S_{n+1})} \\ &{}-me^{-\mu _{3}\tau _{3}}\digamma _{1} ( K_{n+1} ) \frac{\digamma _{2}(S^{\ast })}{\digamma _{2}(S_{n+1})} \\ &{} +ae^{-\mu _{3}\tau _{3}}\digamma _{2}\bigl(S^{\ast }\bigr)+ \lambda e^{-\mu _{3} \tau _{3}}\digamma _{2}\bigl(S^{\ast }\bigr) \digamma _{5} ( Z_{n+1} ) -ae ^{-\mu _{3}\tau _{3}}\digamma _{2} ( S_{n-m_{3}+1} ) \frac{ \digamma _{3}(H^{\ast })}{\digamma _{3}(H_{n+1})} \\ &{}+ \frac{ac}{\theta } \digamma _{3} \bigl( H^{\ast } \bigr) \\ &{} +\frac{ad}{\theta }\digamma _{3} \bigl( H^{\ast } \bigr) \digamma _{4} ( Y_{n+1} ) -\frac{ad\eta }{\theta q} \digamma _{4} ( Y_{n+1} )-\frac{\lambda \xi e^{-\mu _{3}\tau _{3}}}{g} \digamma _{5} ( Z_{n+1} ) -\frac{ac}{\theta }\digamma _{3} ( H_{n} )\\ &{} +\frac{ac}{\theta }\digamma _{3} \bigl( H^{\ast } \bigr) \ln \biggl( \frac{\digamma _{3} ( H_{n} ) }{\digamma _{3} ( H_{n+1} ) } \biggr) \\ &{} +\frac{m ( 1-\varepsilon ) e ^{-\mu _{1}\tau _{1}-\mu _{3}\tau _{3}}}{\alpha +m}\varLambda \bigl(F^{\ast },H ^{\ast }\bigr)\ln \biggl( \frac{\varLambda ( F_{n-m_{1}+1},H_{n-m_{1}} ) }{\varLambda ( F_{n+1},H_{n} ) } \biggr) \\ &{} +\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda \bigl(F^{ \ast },H^{\ast } \bigr)\ln \biggl( \frac{\varLambda ( F_{n-m_{2}+1},H _{n-m_{2}} ) }{\varLambda ( F_{n+1},H_{n} ) } \biggr) \\ &{} +ae ^{-\mu _{3}\tau _{3}}\digamma _{2} \bigl( S^{\ast } \bigr) \ln \biggl( \frac{ \digamma _{2} ( S_{n-m_{3}+1} ) }{\digamma _{2} ( S_{n+1} ) } \biggr) . \end{aligned}$$

Using the conditions of $Q^{\ast }$

$$ \textstyle\begin{cases} \varTheta ( F^{\ast } ) =\varLambda ( F^{\ast },H^{\ast } ) , \\ ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}}\varLambda ( F ^{\ast },H^{\ast } ) = ( \alpha +m ) \digamma _{1} ( K^{\ast } ) , \\ \varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda ( F^{ \ast },H^{\ast } ) +me^{-\mu _{3}\tau _{3}}\digamma _{1} ( K ^{\ast } ) =\gamma \varLambda ( F^{\ast },H^{\ast } ) =ae ^{-\mu _{3}\tau _{3}}\digamma _{2} ( S^{\ast } ) , \\ \theta e^{-\mu _{3}\tau _{3}}\digamma _{2} ( S^{\ast } ) =c \digamma _{3} ( H^{\ast } ) , \end{cases} $$

(48)

we get

$$\begin{aligned} \Delta \mathcal{U}_{n} \leq{}& \gamma \biggl( 1- \frac{\varLambda (F^{ \ast },H^{\ast })}{\varLambda (F_{n+1},H^{\ast })} \biggr) \bigl(\varTheta ( F_{n+1} ) -\varTheta \bigl( F^{\ast } \bigr) \bigr) \\ & {}+\gamma \varLambda \bigl(F ^{\ast },H^{\ast }\bigr) \biggl( 1-\frac{\varLambda (F^{\ast },H^{\ast })}{ \varLambda (F_{n+1},H^{\ast })} \biggr) \\ & {}+\gamma \varLambda \bigl(F^{\ast },H^{\ast }\bigr) \frac{\varLambda (F_{n+1},H_{n})}{ \varLambda (F_{n+1},H^{\ast })} \\ &{}-\frac{m ( 1-\varepsilon ) }{ \alpha +m}e^{-\mu _{1}\tau _{1}-\mu _{3}\tau _{3}}\varLambda \bigl(F^{\ast },H ^{\ast }\bigr)\frac{\digamma _{1}(K^{\ast })\varLambda ( F_{n-m_{1}+1},H _{n-m_{1}} ) }{\digamma _{1}(K_{n+1})\varLambda (F^{\ast },H^{ \ast })} \\ &{} +\frac{m ( 1-\varepsilon ) }{\alpha +m}e^{-\mu _{1}\tau _{1}-\mu _{3}\tau _{3}}\varLambda \bigl(F^{\ast },H^{\ast } \bigr) \\ &{}-\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda \bigl(F^{\ast },H^{\ast } \bigr)\frac{ \digamma _{2}(S^{\ast })\varLambda ( F_{n-m_{2}+1},H_{n-m_{2}} ) }{\digamma _{2}(S_{n+1})\varLambda (F^{\ast },H^{\ast })} \\ &{} -\frac{m ( 1-\varepsilon ) }{\alpha +m}e^{-\mu _{1}\tau _{1}-\mu _{3}\tau _{3}}\varLambda \bigl(F^{\ast },H^{\ast } \bigr)\frac{\digamma _{2}(S ^{\ast })\digamma _{1} ( K_{n+1} ) }{\digamma _{2}(S_{n+1}) \digamma _{1}(K^{\ast })}+\gamma \varLambda \bigl(F^{\ast },H^{\ast } \bigr) \\ &{} -\gamma \varLambda \bigl(F^{\ast },H^{\ast }\bigr) \frac{\digamma _{3}(H^{\ast }) \digamma _{2} ( S_{n-m_{3}+1} ) }{\digamma _{3}(H_{n+1}) \digamma _{2}(S^{\ast })}+\gamma \varLambda \bigl(F^{\ast },H^{\ast } \bigr) \\ &{}+\frac{ad}{ \theta } \biggl( \digamma _{3} \bigl(H^{\ast }\bigr)-\frac{\eta }{q} \biggr) \digamma _{4} ( Y_{n+1} ) \\ &{} +\lambda e^{-\mu _{3}\tau _{3}} \biggl( \digamma _{2} \bigl(S^{\ast }\bigr)-\frac{ \xi }{g} \biggr) \digamma _{5} ( Z_{n+1} ) -\gamma \varLambda \bigl(F^{\ast },H^{\ast } \bigr)\frac{\digamma _{3}(H_{n})}{\digamma _{3}(H^{ \ast })} \\ &{}+\gamma \varLambda \bigl(F^{\ast },H^{\ast } \bigr)\ln \biggl( \frac{ \digamma _{3} ( H_{n} ) }{\digamma _{3} ( H_{n+1} ) } \biggr) \\ &{} +\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3} \tau _{3}}}{\alpha +m}\varLambda \bigl(F^{\ast },H^{\ast } \bigr)\ln \biggl( \frac{ \varLambda ( F_{n-m_{1}+1},H_{n-m_{1}} ) }{\varLambda ( F _{n+1},H_{n} ) } \biggr) \\ &{} +\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda \bigl(F^{ \ast },H^{\ast } \bigr)\ln \biggl( \frac{\varLambda ( F_{n-m_{2}+1},H _{n-m_{2}} ) }{\varLambda ( F_{n+1},H_{n} ) } \biggr) \\ &{} + \gamma \varLambda \bigl(F^{\ast },H^{\ast }\bigr)\ln \biggl( \frac{\digamma _{2} ( S_{n-m_{3}+1} ) }{\digamma _{2} ( S_{n+1} ) } \biggr) . \end{aligned}$$

It follows that

$$\begin{aligned} \Delta \mathcal{U}_{n} \leq{}& \gamma \biggl( 1- \frac{\varLambda (F^{ \ast },H^{\ast })}{\varLambda (F_{n+1},H^{\ast })} \biggr) \bigl(\varTheta ( F_{n+1} ) -\varTheta \bigl( F^{\ast } \bigr) \bigr) \\ & {}+\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3} \tau _{3}}}{\alpha +m}\varLambda \bigl(F^{\ast },H^{\ast } \bigr) \\ &{}\times \biggl[ 5-\frac{ \varLambda (F^{\ast },H^{\ast })}{\varLambda (F_{n+1},H^{\ast })}-\frac{ \digamma _{1}(K^{\ast })\varLambda ( F_{n-m_{1}+1},H_{n-m_{1}} ) }{\digamma _{1}(K_{n+1})\varLambda (F^{\ast },H^{\ast })} \\ &{} -\frac{\digamma _{2}(S^{\ast })\digamma _{1} ( K_{n+1} ) }{ \digamma _{2}(S_{n+1})\digamma _{1}(K^{\ast })}-\frac{\digamma _{3}(H ^{\ast })\digamma _{2} ( S_{n-m_{3}+1} ) }{\digamma _{3}(H _{n+1})\digamma _{2}(S^{\ast })}-\frac{\varLambda ( F_{n+1},H^{ \ast } ) \digamma _{3}(H_{n})}{\varLambda ( F_{n+1},H_{n} ) \digamma _{3}(H^{\ast })} \\ &{} +\ln \biggl( \frac{\digamma _{3} ( H_{n} ) \varLambda ( F_{n-m_{1}+1},H_{n-m_{1}} ) \digamma _{2} ( S_{n-m_{3}+1} ) }{\digamma _{3} ( H_{n+1} ) \varLambda ( F_{n+1},H_{n} ) \digamma _{2} ( S_{n+1} ) } \biggr) \biggr] \\ &{} +\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda \bigl(F^{ \ast },H^{\ast } \bigr) \biggl[ 4-\frac{\varLambda (F^{\ast },H^{\ast })}{ \varLambda (F_{n+1},H^{\ast })}-\frac{\digamma _{2}(S^{\ast })\varLambda ( F_{n-m_{2}+1},H_{n-m_{2}} ) }{\digamma _{2}(S_{n+1}) \varLambda (F^{\ast },H^{\ast })} \\ &{} -\frac{\digamma _{3}(H^{\ast })\digamma _{2} ( S_{n-m_{3}+1} ) }{\digamma _{3}(H_{n+1})\digamma _{2}(S^{\ast })}-\frac{ \varLambda ( F_{n+1},H^{\ast } ) \digamma _{3}(H_{n})}{\varLambda ( F_{n+1},H_{n} ) \digamma _{3}(H^{\ast })} \\ &{} +\ln \biggl( \frac{\digamma _{3} ( H_{n} ) \varLambda ( F_{n-m_{2}+1},H_{n-m_{2}} ) \digamma _{2} ( S_{n-m_{3}+1} ) }{\digamma _{3} ( H_{n+1} ) \varLambda ( F_{n+1},H_{n} ) \digamma _{2} ( S_{n+1} ) } \biggr) \biggr] \\ & {}+\frac{ad}{\theta } \bigl( \digamma _{3}\bigl(H^{\ast } \bigr)-\digamma _{3}( \overline{H}) \bigr) \digamma _{4} ( Y_{n+1} ) +\lambda e ^{-\mu _{3}\tau _{3}} \bigl( \digamma _{2}\bigl(S^{\ast }\bigr)-\digamma _{2}( \widehat{S}) \bigr) \digamma _{5} ( S_{n+1} ) \\ &{} +\gamma \varLambda \bigl(F^{\ast },H^{\ast }\bigr) \biggl[ -1+\frac{\varLambda ( F_{n+1},H^{\ast } ) \digamma _{3}(H_{n})}{\varLambda ( F_{n+1},H_{n} ) \digamma _{3}(H^{\ast })}+\frac{\varLambda (F_{n+1},H _{n})}{\varLambda (F_{n+1},H^{\ast })}-\frac{\digamma _{3} ( H_{n} ) }{\digamma _{3}(H^{\ast })} \biggr] \\ ={}&\gamma \biggl( 1-\frac{\varLambda (F^{\ast },H^{\ast })}{\varLambda (F _{n+1},H^{\ast })} \biggr) \bigl(\varTheta ( F_{n+1} ) -\varTheta \bigl( F^{\ast } \bigr) \bigr) \\ &{} -\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3} \tau _{3}}}{\alpha +m}\varLambda \bigl(F^{\ast },H^{\ast } \bigr) \biggl[ G \biggl( \frac{ \varLambda (F^{\ast },H^{\ast })}{\varLambda (F_{n+1},H^{\ast })} \biggr) \\ &{} +G \biggl( \frac{\digamma _{1}(K^{\ast })\varLambda ( F_{n-m_{1}+1},H _{n-m_{1}} ) }{\digamma _{1}(K_{n+1})\varLambda (F^{\ast },H^{ \ast })} \biggr) \\ &{} +G \biggl( \frac{\digamma _{2}(S^{\ast })\digamma _{1} ( K_{n+1} ) }{\digamma _{2}(S_{n+1})\digamma _{1}(K^{\ast })} \biggr) +G \biggl( \frac{\digamma _{3}(H^{\ast })\digamma _{2} ( S_{n-m_{3}+1} ) }{\digamma _{3}(H_{n+1})\digamma _{2}(S^{\ast })} \biggr) \\ &{} +G \biggl( \frac{ \varLambda ( F_{n+1},H^{\ast } ) \digamma _{3}(H_{n})}{\varLambda ( F_{n+1},H_{n} ) \digamma _{3}(H^{\ast })} \biggr) \biggr] \\ &{} -\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda \bigl(F^{ \ast },H^{\ast } \bigr) \biggl[ G \biggl( \frac{\varLambda (F^{\ast },H^{\ast })}{ \varLambda (F_{n+1},H^{\ast })} \biggr) \\ &{} +G \biggl( \frac{\digamma _{2}(S ^{\ast })\varLambda ( F_{n-m_{2}+1},H_{n-m_{2}} ) }{\digamma _{2}(S_{n+1})\varLambda (F^{\ast },H^{\ast })} \biggr) \\ &{} +G \biggl( \frac{\digamma _{3}(H^{\ast })\digamma _{2} ( S_{n-m_{3}+1} ) }{\digamma _{3}(H_{n+1})\digamma _{2}(S^{\ast })} \biggr) +G \biggl( \frac{ \varLambda ( F_{n+1},H^{\ast } ) \digamma _{3}(H_{n})}{\varLambda ( F_{n+1},H_{n} ) \digamma _{3}(H^{\ast })} \biggr) \biggr] \\ &{} +\frac{ad}{\theta } \bigl( \digamma _{3}\bigl(H^{\ast } \bigr)-\digamma _{3}( \overline{H}) \bigr) \digamma _{4} ( Y_{n+1} ) +\lambda e ^{-\mu _{3}\tau _{3}} \bigl( \digamma _{2}\bigl(S^{\ast }\bigr)-\digamma _{2}( \widehat{S}) \bigr) \digamma _{5} ( Z_{n+1} ) \\ &{} +\gamma \varLambda \bigl(F^{\ast },H^{\ast }\bigr) \biggl( 1-\frac{\varLambda (F _{n+1},H^{\ast })}{\varLambda (F_{n+1},H_{n})} \biggr) \biggl( \frac{ \varLambda (F_{n+1},H_{n})}{\varLambda (F_{n+1},H^{\ast })}- \frac{\digamma _{3} ( H_{n} ) }{\digamma _{3} ( H^{\ast } ) } \biggr) . \end{aligned}$$

(49)

Conditions C1–C4 imply that the first and last terms of Eq. (49) are less than or equal to zero. If $\mathcal{R}_{1} ^{Y}\leq 1$, then from Lemma 3 we have $H^{\ast }\leq \overline{H}$ and from Condition C3 we get $\digamma _{3} ( H^{\ast } ) \leq \digamma _{3} ( \overline{H} )$. Moreover, if $\mathcal{R}_{1}^{Z}\leq 1$, then $\digamma _{2}(S^{\ast })\leq \digamma _{2}(\widehat{S})$. Therefore, $\Delta \mathcal{U}_{n}\leq 0$, and thus $\mathcal{U}_{n}$ is a monotone decreasing sequence. Since $\mathcal{U}_{n}\geq 0$, then there is a limit $\lim_{n\rightarrow \infty }\mathcal{U}_{n}\geq 0$. Therefore, $\lim_{n\rightarrow \infty }\Delta \mathcal{U}_{n}=0$, which implies that $\lim_{n\rightarrow \infty }F_{n}=F^{\ast }$, $\lim_{n \rightarrow \infty }K_{n}=K^{\ast }$, $\lim_{n\rightarrow \infty }S_{n}=S^{\ast }$, $\lim_{n\rightarrow \infty }H_{n}=H^{\ast }$, $\lim_{n\rightarrow \infty }Y_{n}=0$, and $\lim_{n\rightarrow \infty }Z_{n}=0$. We have four cases as follows:

• $\mathcal{R}_{1}^{Y}=1$, $\mathcal{R}_{1}^{Z}=1$, then from Eq. (13)

  $$\begin{aligned} 0 =&\varepsilon e^{-\mu _{2}\tau _{2}}\varLambda \bigl( F^{\ast },H^{\ast } \bigr) +m\digamma _{1} \bigl( K^{\ast } \bigr) -a \digamma _{2} \bigl( S^{\ast } \bigr) \\ &{} -\lambda \digamma _{2} \bigl( S ^{\ast } \bigr) \lim_{n\rightarrow \infty } \digamma _{5} ( Z_{n+1} ) . \end{aligned}$$

  (50)

  Using equilibrium condition (48), we get $\lim_{n\rightarrow \infty }Z_{n}=0$. Moreover, from Eq. (14) we have

  $$ 0=\theta e^{-\mu _{3}\tau _{3}}\digamma _{2} \bigl( S^{\ast } \bigr) -c \digamma _{3} \bigl( H^{\ast } \bigr) -d\digamma _{3} \bigl( H^{\ast } \bigr) \lim_{n\rightarrow \infty } \digamma _{4} ( Y_{n+1} ) . $$

  (51)

  From Eq. (48) we get $\lim_{n\rightarrow \infty }Y _{n}=0$.

• $\mathcal{R}_{1}^{Y}=1$, $\mathcal{R}_{1}^{Z}<1$, and $\lim_{n\rightarrow \infty }Z_{n}=0$. From Eq. (51) we get $\lim_{n\rightarrow \infty }Y_{n}=0$.

• $\mathcal{R}_{1}^{Y}<1$, $\mathcal{R}_{1}^{Z}=1$, $\lim_{n\rightarrow \infty }Y_{n}=0$. From Eq. (50) we get $\lim_{n\rightarrow \infty }Z_{n}=0$.

• $\mathcal{R}_{1}^{Y}<1$, $\mathcal{R}_{1}^{Z}<1$, $\lim_{n\rightarrow \infty }Y_{n}=0$, and $\lim_{n \rightarrow \infty }Z_{n}=0$. It follows that if $\mathcal{R} _{1}^{Z}\leq 1$ and $\mathcal{R}_{1}^{Y}\leq 1$, then $\lim_{n \rightarrow \infty }F_{n}=F^{\ast }$, $\lim_{n\rightarrow \infty }K_{n}=K^{\ast }$, $\lim_{n\rightarrow \infty }S_{n}=S^{\ast }$, $\lim_{n\rightarrow \infty }H_{n}=H ^{\ast }$, $\lim_{n\rightarrow \infty }Y_{n}=0$, and $\lim_{n\rightarrow \infty }Z_{n}=0$. Then $Q^{\ast }$ is G.A.S.

 □

Proof of Theorem 3

Define $\mathcal{W}_{n}(F_{n},K_{n},S _{n},H_{n},Y_{n},Z_{n})$

$$\begin{aligned} \mathcal{W}_{n} ={}&\frac{1}{\phi ( h ) } \biggl[ \gamma \biggl( F_{n}-\overline{F}- \int _{\overline{F}}^{F_{n}}\frac{\varLambda ( \overline{F},\overline{H})}{\varLambda (\varsigma ,\overline{H})}\,d\varsigma \biggr) +\frac{me^{-\mu _{3}\tau _{3}}}{\alpha +m} \biggl( K_{n}- \overline{K}- \int _{\overline{K}}^{K_{n}}\frac{\digamma _{1}( \overline{K})}{\digamma _{1}(\varsigma )}\,d\varsigma \biggr) \\ &{} +e^{-\mu _{3}\tau _{3}} \biggl( S_{n}-\overline{S}- \int _{\overline{S}} ^{S_{n}}\frac{\digamma _{2}(\overline{S})}{\digamma _{2}(\varsigma )}\,d \varsigma \biggr) +\frac{a}{\theta } \biggl( H_{n}-\overline{H}- \int _{\overline{H}}^{H_{n}}\frac{\digamma _{3}(\overline{H})}{\digamma _{3}(\varsigma )}\,d\varsigma \biggr) \\ &{} +\frac{ad}{\theta q} \biggl( Y_{n}-\overline{Y}- \int _{\overline{Y}}^{Y_{n}}\frac{\digamma _{4}(\overline{Y})}{\digamma _{4}(\varsigma )}\,d\varsigma \biggr) +\frac{\lambda e^{-\mu _{3}\tau _{3}}}{g}Z_{n} \biggr] \\ &{} +\frac{a}{\theta } \bigl( c+d\digamma _{4}( \overline{Y}) \bigr) \digamma _{3} ( \overline{H} ) G \biggl( \frac{\digamma _{3} ( H_{n} ) }{\digamma _{3}(\overline{H})} \biggr) \\ &{} +\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3} \tau _{3}}}{\alpha +m}\varLambda (\overline{F},\overline{H})\sum _{j=n-m _{1}}^{n-1}G \biggl( \frac{\varLambda ( F_{j+1},H_{j} ) }{ \varLambda (\overline{F},\overline{H})} \biggr) \\ &{} +\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda ( \overline{F},\overline{H})\sum _{j=n-m_{2}}^{n-1}G \biggl( \frac{\varLambda ( F_{j+1},H_{j} ) }{\varLambda (\overline{F},\overline{H})} \biggr) \\ &{} +ae^{-\mu _{3}\tau _{3}} \digamma _{2} ( \overline{S} ) \sum_{j=n-m_{3}}^{n-1}G \biggl( \frac{\digamma _{2} ( S_{j+1} ) }{\digamma _{2} ( \overline{S} ) } \biggr) . \end{aligned}$$

Clearly, $\mathcal{W}_{n}(F_{n},K_{n},S_{n},H_{n},Y_{n},Z_{n})>0$ for all $F_{n},K_{n},S_{n},H_{n},Y_{n},Z_{n}>0$ and $\mathcal{W}_{n}( \overline{F},\overline{K},\overline{S}, \overline{H},\overline{Y},0)=0$. We compute $\Delta \mathcal{W}_{n}=\mathcal{W}_{n+1}-\mathcal{W}_{n}$ as follows:

$$\begin{aligned} &\triangle \mathcal{W}_{n} =\frac{1}{\phi ( h ) } \biggl[ \gamma \biggl( F_{n+1}-\overline{F}- \int _{\overline{F}}^{F_{n+1}}\frac{ \varLambda (\overline{F},\overline{H})}{\varLambda (\varsigma ,\overline{H})}\,d\varsigma \biggr) \\ &\hphantom{\triangle \mathcal{W}_{n} =}{} +\frac{me^{-\mu _{3}\tau _{3}}}{\alpha +m} \biggl( K _{n+1}-\overline{K}- \int _{\overline{K}}^{K_{n+1}}\frac{\digamma _{1}( \overline{K})}{\digamma _{1}(\varsigma )}\,d\varsigma \biggr) \\ &\hphantom{\triangle \mathcal{W}_{n} =}{} +e^{-\mu _{3}\tau _{3}} \biggl( S_{n+1}-\overline{S}- \int _{ \overline{S}}^{S_{n+1}}\frac{\digamma _{2}(\overline{S})}{\digamma _{2}( \varsigma )}\,d\varsigma \biggr) +\frac{a}{\theta } \biggl( H_{n+1}- \overline{H}- \int _{\overline{H}}^{H_{n+1}}\frac{\digamma _{3}( \overline{H})}{\digamma _{3}(\varsigma )}\,d\varsigma \biggr) \\ &\hphantom{\triangle \mathcal{W}_{n} =}{} +\frac{ad}{\theta q} \biggl( Y_{n+1}-\overline{Y}- \int _{\overline{Y}}^{Y_{n+1}}\frac{\digamma _{4}(\overline{Y})}{ \digamma _{4}(\varsigma )}\,d\varsigma \biggr) +\frac{\lambda e^{-\mu _{3}\tau _{3}}}{g}Z_{n+1} \biggr] \\ &\hphantom{\triangle \mathcal{W}_{n} =}{} +\frac{a}{\theta } \bigl( c+d\digamma _{4}(\overline{Y}) \bigr) \digamma _{3} ( \overline{H} ) G \biggl( \frac{\digamma _{3} ( H_{n+1} ) }{\digamma _{3}( \overline{H})} \biggr) \\ &\hphantom{\triangle \mathcal{W}_{n} =}{} +\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3} \tau _{3}}}{\alpha +m}\varLambda (\overline{F},\overline{H})\sum _{j=n-m _{1}+1}^{n}G \biggl( \frac{\varLambda ( F_{j+1},H_{j} ) }{ \varLambda (\overline{F},\overline{H})} \biggr) \\ &\hphantom{\triangle \mathcal{W}_{n} =}{} +\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda ( \overline{F},\overline{H})\sum _{j=n-m_{2}+1}^{n}G \biggl( \frac{\varLambda ( F_{j+1},H_{j} ) }{\varLambda (\overline{F},\overline{H})} \biggr) \\ &\hphantom{\triangle \mathcal{W}_{n} =}{} +ae^{-\mu _{3}\tau _{3}} \digamma _{2} ( \overline{S} ) \sum_{j=n-m_{3}+1}^{n}G \biggl( \frac{\digamma _{2} ( S_{j+1} ) }{\digamma _{2} ( \overline{S} ) } \biggr) \\ &\hphantom{\triangle \mathcal{W}_{n} =}{} -\frac{1}{\phi ( h ) } \biggl[ \gamma \biggl( F_{n}- \overline{F}- \int _{\overline{F}}^{F_{n}}\frac{\varLambda (\overline{F}, \overline{H})}{\varLambda (\varsigma ,\overline{H})}\,d\varsigma \biggr) +\frac{me ^{-\mu _{3}\tau _{3}}}{\alpha +m} \biggl( K_{n}-\overline{K}- \int _{\overline{K}}^{K_{n}}\frac{\digamma _{1}(\overline{K})}{\digamma _{1}(\varsigma )}\,d\varsigma \biggr) \\ &\hphantom{\triangle \mathcal{W}_{n} =}{} +e^{-\mu _{3}\tau _{3}} \biggl( S_{n}-\overline{S}- \int _{\overline{S}} ^{S_{n}}\frac{\digamma _{2}(\overline{S})}{\digamma _{2}(\varsigma )}\,d \varsigma \biggr) +\frac{a}{\theta } \biggl( H_{n}-\overline{H}- \int _{\overline{H}}^{H_{n}}\frac{\digamma _{3}(\overline{H})}{\digamma _{3}(\varsigma )}\,d\varsigma \biggr) \\ &\hphantom{\triangle \mathcal{W}_{n} =}{} +\frac{ad}{\theta q} \biggl( Y_{n}-\overline{Y}- \int _{\overline{Y}}^{Y_{n}}\frac{\digamma _{4}(\overline{Y})}{\digamma _{4}(\varsigma )}\,d\varsigma \biggr) +\frac{\lambda e^{-\mu _{3}\tau _{3}}}{g}Z_{n} \biggr] \\ &\hphantom{\triangle \mathcal{W}_{n} =}{}-\frac{a}{\theta } \bigl( c+d\digamma _{4}( \overline{Y}) \bigr) \digamma _{3} ( \overline{H} ) G \biggl( \frac{\digamma _{3} ( H_{n} ) }{\digamma _{3}(\overline{H})} \biggr) \\ &\hphantom{\triangle \mathcal{W}_{n} =}{} -\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3} \tau _{3}}}{\alpha +m}\varLambda (\overline{F},\overline{H})\sum _{j=n-m _{1}}^{n-1}G \biggl( \frac{\varLambda ( F_{j+1},H_{j} ) }{ \varLambda (\overline{F},\overline{H})} \biggr) \\ &\hphantom{\triangle \mathcal{W}_{n} =}{} -\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda ( \overline{F},\overline{H})\sum _{j=n-m_{2}}^{n-1}G \biggl( \frac{\varLambda ( F_{j+1},H_{j} ) }{\varLambda (\overline{F},\overline{H})} \biggr) \\ &\hphantom{\triangle \mathcal{W}_{n} =}{} -ae^{-\mu _{3}\tau _{3}} \digamma _{2} ( \overline{S} ) \sum_{j=n-m_{3}}^{n-1}G \biggl( \frac{\digamma _{2} ( S_{j+1} ) }{\digamma _{2} ( \overline{S} ) } \biggr) , \\ &\triangle \mathcal{W}_{n} =\frac{1}{\phi ( h ) } \biggl[ \gamma \biggl( F_{n+1}-F_{n}- \int _{F_{n}}^{F_{n+1}}\frac{\varLambda ( \overline{F},\overline{H})}{\varLambda (\varsigma ,\overline{H})}\,d\varsigma \biggr) \\ &\hphantom{\triangle \mathcal{W}_{n} =}{} +\frac{me^{-\mu _{3}\tau _{3}}}{\alpha +m} \biggl( K_{n+1}-K _{n}- \int _{K_{n}}^{K_{n+1}}\frac{\digamma _{1}(\overline{K})}{\digamma _{1}(\varsigma )}\,d\varsigma \biggr) \\ &\hphantom{\triangle \mathcal{W}_{n} =}{} +e^{-\mu _{3}\tau _{3}} \biggl( S_{n+1}-S_{n}- \int _{S_{n}}^{S_{n+1}}\frac{ \digamma _{2}(\overline{S})}{\digamma _{2}(\varsigma )}\,d\varsigma \biggr) +\frac{a}{\theta } \biggl( H_{n+1}-H_{n}- \int _{H_{n}}^{H_{n}+1}\frac{ \digamma _{3}(\overline{H})}{\digamma _{3}(\varsigma )}\,d\varsigma \biggr) \\ &\hphantom{\triangle \mathcal{W}_{n} =}{} +\frac{ad}{\theta q} \biggl( Y_{n+1}-Y_{n}- \int _{Y_{n}}^{Y _{n+1}}\frac{\digamma _{4}(\overline{Y})}{\digamma _{4}(\varsigma )}\,d\varsigma \biggr) +\frac{\lambda e^{-\mu _{3}\tau _{3}}}{g} ( Z _{n+1}-Z_{n} ) \biggr] \\ &\hphantom{\triangle \mathcal{W}_{n} =}{} +\frac{a}{\theta } \bigl( c+d\digamma _{4}(\overline{Y}) \bigr) \digamma _{3} ( \overline{H} ) \biggl[ G \biggl( \frac{ \digamma _{3} ( H_{n+1} ) }{\digamma _{3}(\overline{H})} \biggr) -G \biggl( \frac{\digamma _{3} ( H_{n} ) }{\digamma _{3}(\overline{H})} \biggr) \biggr] \\ &\hphantom{\triangle \mathcal{W}_{n} =}{} +\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3} \tau _{3}}}{\alpha +m}\varLambda (\overline{F},\overline{H}) \Biggl( \sum _{j=n-m_{1}+1}^{n}G \biggl( \frac{\varLambda ( F_{j+1},H_{j} ) }{\varLambda (\overline{F},\overline{H})} \biggr) \\ &\hphantom{\triangle \mathcal{W}_{n} =}{} - \sum_{j=n-m_{1}}^{n-1}G \biggl( \frac{\varLambda ( F_{j+1},H_{j} ) }{\varLambda (\overline{F},\overline{H})} \biggr) \Biggr) \\ & \hphantom{\triangle \mathcal{W}_{n} =}{}+\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda ( \overline{F},\overline{H}) \Biggl( \sum_{j=n-m_{2}+1}^{n}G \biggl( \frac{ \varLambda ( F_{j+1},H_{j} ) }{\varLambda (\overline{F}, \overline{H})} \biggr) -\sum_{j=n-m_{2}}^{n-1}G \biggl( \frac{\varLambda ( F_{j+1},H_{j} ) }{\varLambda (\overline{F},\overline{H})} \biggr) \Biggr) \\ &\hphantom{\triangle \mathcal{W}_{n} =}{} +ae^{-\mu _{3}\tau _{3}}\digamma _{2} ( \overline{S} ) \Biggl( \sum _{j=n-m_{3}+1}^{n}G \biggl( \frac{\digamma _{2} ( S _{j+1} ) }{\digamma _{2} ( \overline{S} ) } \biggr) - \sum_{j=n-m_{3}}^{n-1}G \biggl( \frac{\digamma _{2} ( S_{j+1} ) }{\digamma _{2} ( \overline{S} ) } \biggr) \Biggr) . \end{aligned}$$

Using inequalities (45) and (46) by replacing $F^{\ast }$, $H^{\ast }$, $\rho ^{\ast }$ with F̅, H̅, ρ̅, we obtain

$$\begin{aligned} \Delta \mathcal{W}_{n} \leq{}& \frac{1}{\phi ( h ) } \biggl[ \gamma \biggl( 1-\frac{\varLambda (\overline{F},\overline{H})}{\varLambda (F _{n+1},\overline{H})} \biggr) ( F_{n+1}-F_{n} ) +\frac{me ^{-\mu _{3}\tau _{3}}}{\alpha +m} \biggl( 1-\frac{\digamma _{1}( \overline{K})}{\digamma _{1}(K_{n+1})} \biggr) ( K_{n+1}-K_{n} ) \\ &{} +e^{-\mu _{3}\tau _{3}} \biggl( 1-\frac{\digamma _{2}(\overline{S})}{ \digamma _{2}(S_{n+1})} \biggr) ( S_{n+1}-S_{n} ) +\frac{a}{ \theta } \biggl( 1- \frac{\digamma _{3}(\overline{H})}{\digamma _{3}(H _{n+1})} \biggr) ( H_{n+1}-H_{n} ) \\ &{} +\frac{ad}{\theta q} \biggl( 1-\frac{\digamma _{4}( \overline{Y})}{\digamma _{4}(Y_{n+1})} \biggr) ( Y_{n+1}-Y_{n} ) +\frac{\lambda e^{-\mu _{3}\tau _{3}}}{g} ( Z _{n+1}-Z_{n} ) \biggr] \\ & {}+\frac{a}{\theta } \bigl( c+d\digamma _{4}(\overline{Y}) \bigr) \digamma _{3} ( \overline{H} ) \biggl[ \frac{\digamma _{3} ( H_{n+1} ) }{\digamma _{3}(\overline{H})}- \frac{\digamma _{3} ( H_{n} ) }{\digamma _{3}(\overline{H})}+\ln \biggl( \frac{ \digamma _{3} ( H_{n} ) }{\digamma _{3} ( H_{n+1} ) } \biggr) \biggr] \\ &{} +\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3} \tau _{3}}}{\alpha +m}\varLambda (\overline{F},\overline{H}) \biggl( \frac{ \varLambda ( F_{n+1},H_{n} ) }{\varLambda (\overline{F}, \overline{H})}-\frac{\varLambda ( F_{n-m_{1}+1},H_{n-m_{1}} ) }{\varLambda (\overline{F},\overline{H})} \\ & {}+\ln \biggl( \frac{\varLambda ( F_{n-m_{1}+1},H_{n-m _{1}} ) }{\varLambda ( F_{n+1},H_{n} ) } \biggr) \biggr) \\ &{} +\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda ( \overline{F},\overline{H}) \biggl( \frac{\varLambda ( F_{n+1},H_{n} ) }{\varLambda (\overline{F},\overline{H})}-\frac{ \varLambda ( F_{n-m_{2}+1},H_{n-m_{2}} ) }{\varLambda ( \overline{F},\overline{H})} \\ &{}+\ln \biggl( \frac{\varLambda ( F_{n-m _{2}+1},H_{n-m_{2}} ) }{\varLambda ( F_{n+1},H_{n} ) } \biggr) \biggr) \\ &{} +ae^{-\mu _{3}\tau _{3}}\digamma _{2} ( \overline{S} ) \biggl( \frac{\digamma _{2} ( S_{n+1} ) }{\digamma _{2} ( \overline{S} ) }-\frac{\digamma _{2} ( S_{n-m_{3}+1} ) }{\digamma _{2} ( \overline{S} ) }+\ln \biggl( \frac{ \digamma _{2} ( S_{n-m_{3}+1} ) }{\digamma _{2} ( S_{n+1} ) } \biggr) \biggr) . \end{aligned}$$

From Eqs. (11)–(16) we have

$$\begin{aligned} \Delta \mathcal{W}_{n} \leq {}&\gamma \biggl( 1- \frac{\varLambda ( \overline{F},\overline{H})}{\varLambda (F_{n+1},\overline{H})} \biggr) \bigl[ \varTheta ( F_{n+1} ) -\varLambda ( F_{n+1},H_{n} ) \bigr] \\ & {}+\frac{me^{-\mu _{3}\tau _{3}}}{\alpha +m} \biggl( 1-\frac{\digamma _{1}( \overline{K})}{\digamma _{1}(K_{n+1})} \biggr) \bigl[ ( 1- \varepsilon ) e^{-\mu _{1}\tau _{1}}\varLambda ( F_{n-m_{1}+1},H _{n-m_{1}} ) \\ & {} - ( \alpha +m ) \digamma _{1} ( K _{n+1} ) \bigr] \\ & {}+e^{-\mu _{3}\tau _{3}} \biggl( 1-\frac{\digamma _{2}(\overline{S})}{ \digamma _{2}(S_{n+1})} \biggr) \bigl[ \varepsilon e^{-\mu _{2}\tau _{2}}\varLambda ( F_{n-m_{2}+1},H_{n-m_{2}} ) +m\digamma _{1} ( K_{n+1} ) -a\digamma _{2} ( S_{n+1} ) \\ &{} -\lambda \digamma _{2} ( S_{n+1} ) \digamma _{5} ( Z_{n+1} ) \bigr] \\ &{} +\frac{a}{\theta } \biggl( 1-\frac{\digamma _{3}(\overline{H})}{ \digamma _{3}(H_{n+1})} \biggr) \bigl[ \theta e^{-\mu _{3}\tau _{3}} \digamma _{2} ( S_{n-m_{3}+1} ) -c\digamma _{3} ( H_{n+1} ) -d\digamma _{3} ( H_{n+1} ) \digamma _{4} ( Y_{n+1} ) \bigr] \\ &{} +\frac{ad}{\theta q} \biggl( 1-\frac{\digamma _{4}(\overline{Y})}{ \digamma _{4}(Y_{n+1})} \biggr) \bigl[ q \digamma _{3} ( H_{n+1} ) \digamma _{4} ( Y_{n+1} ) -\eta \digamma _{4} ( Y_{n+1} ) \bigr] \\ &{} +\frac{\lambda e^{-\mu _{3}\tau _{3}}}{g} \bigl[ g\digamma _{2} ( S_{n+1} ) \digamma _{5} ( Z_{n+1} ) -\xi \digamma _{5} ( Z_{n+1} ) \bigr] \\ & {}+\frac{a}{\theta } \bigl( c+d\digamma _{4}(\overline{Y}) \bigr) \digamma _{3} ( \overline{H} ) \biggl[ \frac{\digamma _{3} ( H_{n+1} ) }{\digamma _{3}(\overline{H})}- \frac{\digamma _{3} ( H_{n} ) }{\digamma _{3}(\overline{H})}+\ln \biggl( \frac{ \digamma _{3} ( H_{n} ) }{\digamma _{3} ( H_{n+1} ) } \biggr) \biggr] \\ &{} +\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3} \tau _{3}}}{\alpha +m}\varLambda (\overline{F},\overline{H}) \biggl( \frac{ \varLambda ( F_{n+1},H_{n} ) }{\varLambda (\overline{F}, \overline{H})}-\frac{\varLambda ( F_{n-m_{1}+1},H_{n-m_{1}} ) }{\varLambda (\overline{F},\overline{H})} \\ &{} +\ln \biggl( \frac{\varLambda ( F_{n-m_{1}+1},H_{n-m _{1}} ) }{\varLambda ( F_{n+1},H_{n} ) } \biggr) \biggr) \\ &{} +\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda ( \overline{F},\overline{H}) \biggl( \frac{\varLambda ( F_{n+1},H_{n} ) }{\varLambda (\overline{F},\overline{H})}-\frac{ \varLambda ( F_{n-m_{2}+1},H_{n-m_{2}} ) }{\varLambda ( \overline{F},\overline{H})} \\ & {}+\ln \biggl( \frac{\varLambda ( F_{n-m _{2}+1},H_{n-m_{2}} ) }{\varLambda ( F_{n+1},H_{n} ) } \biggr) \biggr) \\ &{} +ae^{-\mu _{3}\tau _{3}}\digamma _{2} ( \overline{S} ) \biggl( \frac{\digamma _{2} ( S_{n+1} ) }{\digamma _{2} ( \overline{S} ) }-\frac{\digamma _{2} ( S_{n-m_{3}+1} ) }{\digamma _{2} ( \overline{S} ) }+\ln \biggl( \frac{ \digamma _{2} ( S_{n-m_{3}+1} ) }{\digamma _{2} ( S_{n+1} ) } \biggr) \biggr) \\ ={}&\gamma \biggl( 1-\frac{\varLambda (\overline{F},\overline{H})}{ \varLambda (F_{n+1},\overline{H})} \biggr) \bigl( \varTheta ( F_{n+1} ) -\varTheta ( \overline{F} ) \bigr) +\gamma \varTheta ( \overline{F} ) \biggl( 1-\frac{\varLambda ( \overline{F},\overline{H})}{\varLambda (F_{n+1},\overline{H})} \biggr) \\ &{} +\gamma \frac{\varLambda (\overline{F},\overline{H})}{\varLambda (F_{n+1}, \overline{H})}\varLambda ( F_{n+1},H_{n} ) -\frac{m ( 1- \varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3}\tau _{3}}}{\alpha +m} \varLambda ( F_{n-m_{1}+1},H_{n-m_{1}} ) \frac{\digamma _{1}( \overline{K})}{\digamma _{1}(K_{n+1})} \\ &{} +me^{-\mu _{3}\tau _{3}}\digamma _{1}(\overline{K})-\varepsilon e^{- \mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda ( F_{n-m_{2}+1},H_{n-m _{2}} ) \frac{\digamma _{2}(\overline{S})}{\digamma _{2}(S_{n+1})} \\ & {}-me^{-\mu _{3} \tau _{3}}\digamma _{1} ( K_{n+1} ) \frac{\digamma _{2}( \overline{S})}{\digamma _{2}(S_{n+1})} \\ &{} +ae^{-\mu _{3}\tau _{3}}\digamma _{2}(\overline{S})+\lambda e^{-\mu _{3}\tau _{3}}\digamma _{2} ( \overline{S} ) \digamma _{5} ( Z_{n+1} ) -ae^{-\mu _{3}\tau _{3}}\digamma _{2}(S_{n-m_{3}+1})\frac{ \digamma _{3}(\overline{H})}{\digamma _{3}(H_{n+1})} \\ & {}+\frac{ac}{\theta } \digamma _{3} ( \overline{H} ) \\ &{} +\frac{ad}{\theta }\digamma _{3} ( \overline{H} ) \digamma _{4} ( Y_{n+1} ) -\frac{ad\eta }{\theta q}\digamma _{4} ( Y_{n+1} ) +\frac{ad\eta }{\theta q}\digamma _{4}( \overline{Y})-\frac{\lambda e^{-\mu _{3}\tau _{3}}\xi }{g}\digamma _{5} ( Z_{n+1} ) \\ & {}-\frac{a}{\theta } \bigl( c+d\digamma _{4}(\overline{Y}) \bigr) \digamma _{3} ( H_{n} ) +\frac{a}{\theta } \bigl( c+d \digamma _{4}(\overline{Y}) \bigr) \digamma _{3} ( \overline{H} ) \ln \biggl( \frac{\digamma _{3} ( H_{n} ) }{\digamma _{3} ( H_{n+1} ) } \biggr) \\ &{} +\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3} \tau _{3}}}{\alpha +m}\varLambda (\overline{F},\overline{H})\ln \biggl( \frac{ \varLambda ( F_{n-m_{1}+1},H_{n-m_{1}} ) }{\varLambda ( F _{n+1},H_{n} ) } \biggr) \\ &{} +\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda ( \overline{F},\overline{H})\ln \biggl( \frac{\varLambda ( F_{n-m _{2}+1},H_{n-m_{2}} ) }{\varLambda ( F_{n+1},H_{n} ) } \biggr) \\ & {}+ae^{-\mu _{3}\tau _{3}}\digamma _{2} ( \overline{S} ) \ln \biggl( \frac{\digamma _{2} ( S_{n-m_{3}+1} ) }{\digamma _{2} ( S_{n+1} ) } \biggr) . \end{aligned}$$

Using the conditions of Q̅

$$\begin{aligned} &\varTheta ( \overline{F} ) =\varLambda ( \overline{F}, \overline{H} ) , \\ &( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}}\varLambda ( \overline{F},\overline{H} ) = ( \alpha +m ) \digamma _{1} ( \overline{K} ) , \\ &\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda ( \overline{F},\overline{H} ) +me^{-\mu _{3}\tau _{3}}\digamma _{1} ( \overline{K} ) =\gamma \varLambda ( \overline{F}, \overline{H} ) =ae^{-\mu _{3}\tau _{3}}\digamma _{2} ( \overline{S} ) , \\ &\theta e^{-\mu _{3}\tau _{3}}\digamma _{2} ( \overline{S} ) = \bigl( c+d\digamma _{4}(\overline{Y}) \bigr) \digamma _{3} ( \overline{H} ) , \\ &\eta =q\digamma _{3} ( \overline{H} ) , \end{aligned}$$

we get

$$\begin{aligned} &\Delta \mathcal{W}_{n} \leq \gamma \biggl( 1- \frac{\varLambda ( \overline{F},\overline{H})}{\varLambda (F_{n+1},\overline{H})} \biggr) \bigl( \varTheta ( F_{n+1} ) -\varTheta ( \overline{F} ) \bigr)+ \gamma \varLambda (\overline{F},\overline{H}) \biggl( 1- \frac{\varLambda ( \overline{F},\overline{H})}{\varLambda (F_{n+1},\overline{H})} \biggr) \\ &\hphantom{\Delta \mathcal{W}_{n} \leq}{} +\gamma \varLambda (\overline{F},\overline{H})\frac{\varLambda (F_{n+1},H _{n})}{\varLambda (F_{n+1},\overline{H})} \\ &\hphantom{\Delta \mathcal{W}_{n} \leq}{}- \frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3}\tau _{3}}}{\alpha +m} \varLambda (\overline{F},\overline{H})\frac{\varLambda ( F_{n-m_{1}+1},H _{n-m_{1}} ) \digamma _{1}(\overline{K})}{\varLambda (\overline{F}, \overline{H})\digamma _{1}(K_{n+1})} \\ &\hphantom{\Delta \mathcal{W}_{n} \leq}{} +\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3} \tau _{3}}}{\alpha +m}\varLambda (\overline{F},\overline{H}) \\ &\hphantom{\Delta \mathcal{W}_{n} \leq}{}-\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda (\overline{F}, \overline{H})\frac{\varLambda ( F_{n-m_{2}+1},H_{n-m_{2}} ) \digamma _{2}(\overline{S})}{\varLambda (\overline{F},\overline{H}) \digamma _{2}(S_{n+1})} \\ &\hphantom{\Delta \mathcal{W}_{n} \leq}{} -\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3} \tau _{3}}}{\alpha +m}\varLambda (\overline{F},\overline{H}) \frac{\digamma _{1}(K_{n+1})\digamma _{2}(\overline{S})}{\digamma _{1}(\overline{K}) \digamma _{2}(S_{n+1})}+\gamma \varLambda (\overline{F},\overline{H}) \\ &\hphantom{\Delta \mathcal{W}_{n} \leq}{}- \gamma \varLambda (\overline{F},\overline{H})\frac{\digamma _{3}( \overline{H})\digamma _{2} ( S_{n-m_{3}+1} ) }{\digamma _{3}(H _{n+1})\digamma _{2}(\overline{S})} \\ &\hphantom{\Delta \mathcal{W}_{n} \leq}{} +\gamma \varLambda (\overline{F},\overline{H})-\gamma \varLambda ( \overline{F},\overline{H})\frac{\digamma _{3}(H_{n})}{\digamma _{3}( \overline{H})}+\lambda e^{-\mu _{3}\tau _{3}} \biggl( \digamma _{2} ( \overline{S} ) -\frac{\xi }{g} \biggr) \digamma _{5} ( Z _{n+1} ) \\ &\hphantom{\Delta \mathcal{W}_{n} \leq}{} +\gamma \varLambda (\overline{F},\overline{H})\ln \biggl( \frac{ \digamma _{3} ( H_{n} ) }{\digamma _{3} ( H_{n+1} ) } \biggr) \\ &\hphantom{\Delta \mathcal{W}_{n} \leq}{}+\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}- \mu _{3}\tau _{3}}}{\alpha +m}\varLambda (\overline{F}, \overline{H})\ln \biggl( \frac{\varLambda ( F_{n-m_{1}+1},H_{n-m_{1}} ) }{ \varLambda ( F_{n+1},H_{n} ) } \biggr) \\ &\hphantom{\Delta \mathcal{W}_{n} \leq}{} +\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda ( \overline{F},\overline{H})\ln \biggl( \frac{\varLambda ( F_{n-m _{2}+1},H_{n-m_{2}} ) }{\varLambda ( F_{n+1},H_{n} ) } \biggr) \\ &\hphantom{\Delta \mathcal{W}_{n} \leq}{} +\gamma \varLambda (\overline{F}, \overline{H})\ln \biggl( \frac{ \digamma _{2} ( S_{n-m_{3}+1} ) }{\digamma _{2} ( S_{n+1} ) } \biggr) \\ &\hphantom{\Delta \mathcal{W}_{n} } =\gamma \biggl( 1-\frac{\varLambda (\overline{F},\overline{H})}{ \varLambda (F_{n+1},\overline{H})} \biggr) \bigl(\varTheta ( F_{n+1} ) -\varTheta ( \overline{F} ) \bigr) \\ &\hphantom{\Delta \mathcal{W}_{n} \leq}{}+\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3}\tau _{3}}}{\alpha +m} \varLambda (\overline{F},\overline{H}) \biggl[ 5-\frac{\varLambda ( \overline{F},\overline{H})}{\varLambda (F_{n+1},\overline{H})} \\ &\hphantom{\Delta \mathcal{W}_{n} \leq}{} -\frac{\varLambda ( F_{n-m_{1}+1},H_{n-m_{1}} ) \digamma _{1}( \overline{K})}{\varLambda (\overline{F},\overline{H})\digamma _{1}(K_{n+1})} \\ &\hphantom{\Delta \mathcal{W}_{n} \leq}{}-\frac{ \digamma _{1}(K_{n+1})\digamma _{2}(\overline{S})}{\digamma _{1}( \overline{K})\digamma _{2}(S_{n+1})}-\frac{\digamma _{3}(\overline{H}) \digamma _{2} ( S_{n-m_{3}+1} ) }{\digamma _{3}(H_{n+1}) \digamma _{2}(\overline{S})}- \frac{\varLambda ( F_{n+1}, \overline{H} ) \digamma _{3}(H_{n})}{\varLambda ( F_{n+1},H _{n} ) \digamma _{3}(\overline{H})} \\ &\hphantom{\Delta \mathcal{W}_{n} \leq}{} +\ln \biggl( \frac{\varLambda ( F_{n-m_{1}+1},H_{n-m _{1}} ) \digamma _{2} ( S_{n-m_{3}+1} ) \digamma _{3} ( H_{n} ) }{\varLambda ( F_{n+1},H_{n} ) \digamma _{2}(S_{n+1})\digamma _{3} ( H_{n+1} ) } \biggr) \biggr] \\ &\hphantom{\Delta \mathcal{W}_{n} \leq}{} +\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda ( \overline{F},\overline{H}) \biggl[ 4-\frac{\varLambda (\overline{F}, \overline{H})}{\varLambda (F_{n+1},\overline{H})} \\ &\hphantom{\Delta \mathcal{W}_{n} \leq}{}-\frac{\varLambda ( F _{n-m_{2}+1},H_{n-m_{2}} ) \digamma _{2}(\overline{S})}{\varLambda (\overline{F},\overline{H})\digamma _{2}(S_{n+1})}-\frac{\digamma _{3}( \overline{H})\digamma _{2} ( S_{n-m_{3}+1} ) }{\digamma _{3}(H _{n+1})\digamma _{2}(\overline{S})} \\ & \hphantom{\Delta \mathcal{W}_{n} \leq}{} -\frac{\varLambda ( F_{n+1},\overline{H} ) \digamma _{3}(H_{n})}{\varLambda ( F_{n+1},H_{n} ) \digamma _{3}(\overline{H})}+\ln \biggl( \frac{\varLambda ( F_{n-m_{2}+1},H _{n-m_{2}} ) \digamma _{2} ( S_{n-m_{3}+1} ) \digamma _{3} ( H_{n} ) }{\varLambda ( F_{n+1},H_{n} ) \digamma _{2}(S_{n+1})\digamma _{3} ( H_{n+1} ) } \biggr) \biggr] \\ &\hphantom{\Delta \mathcal{W}_{n} \leq}{} +\lambda e^{-\mu _{3}\tau _{3}} \bigl( \digamma _{2} ( \overline{S} ) -\digamma _{2} ( \widetilde{S} ) \bigr) \digamma _{5} ( Z_{n+1} ) \\ & \hphantom{\Delta \mathcal{W}_{n} \leq}{} +\gamma \varLambda (\overline{F},\overline{H}) \biggl[ -1+ \frac{\varLambda ( F_{n+1},\overline{H} ) \digamma _{3}(H_{n})}{\varLambda ( F_{n+1},H_{n} ) \digamma _{3}(\overline{H})}+\frac{ \varLambda (F_{n+1},H_{n})}{\varLambda (F_{n+1},\overline{H})}-\frac{ \digamma _{3} ( H_{n} ) }{\digamma _{3}(\overline{H})} \biggr], \\ &\Delta \mathcal{W}_{n} \leq \gamma \biggl( 1- \frac{\varLambda ( \overline{F},\overline{H})}{\varLambda (F_{n+1},\overline{H})} \biggr) \bigl( \varTheta ( F_{n+1} ) -\varTheta ( \overline{F} ) \bigr) \\ &\hphantom{\Delta \mathcal{W}_{n} \leq}{}-\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3}\tau _{3}}}{ \alpha +m}\varLambda (\overline{F},\overline{H}) \biggl[ G \biggl( \frac{ \varLambda (\overline{F},\overline{H})}{\varLambda (F_{n+1},\overline{H})} \biggr) \\ &\hphantom{\Delta \mathcal{W}_{n} \leq}{} +G \biggl( \frac{\varLambda ( F_{n-m_{1}+1},H_{n-m_{1}} ) \digamma _{1}(\overline{K})}{\varLambda (\overline{F},\overline{H}) \digamma _{1}(K_{n+1})} \biggr) \\ &\hphantom{\Delta \mathcal{W}_{n} \leq}{}+G \biggl( \frac{\digamma _{1}(K_{n+1}) \digamma _{2}(\overline{S})}{\digamma _{1}(\overline{K})\digamma _{2}(S _{n+1})} \biggr) +G \biggl( \frac{\digamma _{3}(\overline{H})\digamma _{2} ( S_{n-m_{3}+1} ) }{\digamma _{3}(H_{n+1})\digamma _{2}( \overline{S})} \biggr) \\ &\hphantom{\Delta \mathcal{W}_{n} \leq}{} +G \biggl( \frac{\varLambda ( F_{n+1},\overline{H} ) \digamma _{3}(H_{n})}{\varLambda ( F_{n+1},H_{n} ) \digamma _{3}( \overline{H})} \biggr) \biggr] -\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3} \tau _{3}}\varLambda (\overline{F},\overline{H}) \biggl[ G \biggl( \frac{ \varLambda (\overline{F},\overline{H})}{\varLambda (F_{n+1},\overline{H})} \biggr) \\ &\hphantom{\Delta \mathcal{W}_{n} \leq}{} +G \biggl( \frac{\varLambda ( F_{n-m_{2}+1},H_{n-m_{2}} ) \digamma _{2}(\overline{S})}{\varLambda (\overline{F},\overline{H})\digamma _{2}(S_{n+1})} \biggr) +G \biggl( \frac{ \digamma _{3}(\overline{H})\digamma _{2} ( S_{n-m_{3}+1} ) }{ \digamma _{3}(H_{n+1})\digamma _{2}(\overline{S})} \biggr) \\ &\hphantom{\Delta \mathcal{W}_{n} \leq}{} +G \biggl( \frac{ \varLambda ( F_{n+1},\overline{H} ) \digamma _{3}(H_{n})}{ \varLambda ( F_{n+1},H_{n} ) \digamma _{3}(\overline{H})} \biggr) \biggr] \\ &\hphantom{\Delta \mathcal{W}_{n} \leq}{} +\lambda e^{-\mu _{3}\tau _{3}}\digamma _{2} ( \widetilde{S} ) \bigl( \mathcal{R}_{2}^{Z}-1 \bigr) \digamma _{5} ( Z_{n+1} ) \\ & \hphantom{\Delta \mathcal{W}_{n} \leq}{} +\gamma \varLambda (\overline{F},\overline{H}) \biggl( 1-\frac{\varLambda (F_{n+1},\overline{H})}{\varLambda (F_{n+1},H_{n})} \biggr) \biggl( \frac{ \varLambda (F_{n+1},H_{n})}{\varLambda (F_{n+1},\overline{H})}-\frac{ \digamma _{3} ( H_{n} ) }{\digamma _{3} ( \overline{H} ) } \biggr) . \end{aligned}$$

(52)

Using Conditions C1–C4, we get that the first and last terms of Eq. (52) are less than or equal to zero. Moreover, if $\mathcal{R}_{2}^{Z}\leq 1$, we get $\Delta \mathcal{W}_{n}\leq 0$, and thus $\mathcal{W}_{n}$ is a monotone decreasing sequence. Since $\mathcal{W}_{n}\geq 0$, then there is a limit $\lim_{n\rightarrow \infty }\mathcal{W}_{n}\geq 0$. Therefore, $\lim_{n\rightarrow \infty }\Delta \mathcal{W}_{n}=0$, which implies that $\lim_{n\rightarrow \infty }F_{n}=\overline{F}$, $\lim_{n\rightarrow \infty }K_{n}=\overline{K}$, $\lim_{n\rightarrow \infty }S_{n}=\overline{S}$, $\lim_{n\rightarrow \infty }H_{n}=\overline{H}$, and $\lim_{n\rightarrow \infty } ( \mathcal{R}_{2}^{Z}-1 ) \digamma _{5} ( Z_{n+1} ) =0$ We have two cases:

• $\mathcal{R}_{2}^{Z}=1$, then from Eq. (13)

  $$ 0=\varepsilon e^{-\mu _{2}\tau _{2}}\varLambda ( \overline{F,} \overline{H} ) +m \digamma _{1} ( \overline{K} ) -a \digamma _{2} ( \overline{S} ) -\lambda \digamma _{2} ( \overline{S} ) \lim _{n\rightarrow \infty }\digamma _{5} ( Z_{n+1} ) , $$

  (53)

  we get $\lim_{n\rightarrow \infty }Z_{n}=0$. From Eq. (14) we get

  $$ 0=\theta e^{-\mu _{3}\tau _{3}}\digamma _{2} ( \overline{S} ) -c\digamma _{3} ( \overline{H} ) -d\digamma _{3} ( \overline{H} ) \lim_{n\rightarrow \infty }\digamma _{4} ( Y_{n+1} ) . $$

  (54)

  This gives $\lim_{n\rightarrow \infty }Y_{n}=\overline{Y}$.

• $\mathcal{R}_{2}^{Z}<1$, $\lim_{n\rightarrow \infty }\digamma _{5} ( Z_{n} ) =0$. From Eq. (54) we get $\lim_{n\rightarrow \infty }Y_{n}=\overline{Y}$. Hence, Q̅ is G.A.S.

 □

Proof of Theorem 4

Define $\mathcal{M}_{n}(F_{n},K_{n},S _{n},H_{n},Y_{n},Z_{n})$:

$$\begin{aligned} \mathcal{M}_{n} = {}&\frac{1}{\phi ( h ) } \biggl[ \gamma \biggl( F_{n}-\widehat{F}- \int _{\widehat{F}}^{F_{n}}\frac{\varLambda ( \widehat{F},\widehat{H})}{\varLambda (\varsigma ,\widehat{H})}\,d\varsigma \biggr) +\frac{me^{-\mu _{3}\tau _{3}}}{\alpha +m} \biggl( K_{n}- \widehat{K}- \int _{\widehat{K}}^{K_{n}}\frac{\digamma _{1}(\widehat{K})}{ \digamma _{1}(\varsigma )}\,d\varsigma \biggr) \\ & {}+e^{-\mu _{3}\tau _{3}} \biggl( S_{n}-\widehat{S}- \int _{\widehat{S}} ^{S_{n}}\frac{\digamma _{2}(\widehat{S})}{\digamma _{2}(\varsigma )}\,d \varsigma \biggr) +\frac{ ( a+\lambda \digamma _{5}(\widehat{Z}) ) }{\theta } \biggl( H_{n}- \widehat{H}- \int _{\widehat{H}}^{H_{n}}\frac{\digamma _{3}(\widehat{H})}{ \digamma _{3}(\varsigma )}\,d\varsigma \biggr) \\ &{} +\frac{d ( a+\lambda \digamma _{5}(\widehat{Z}) ) }{q\theta }Y_{n}+\frac{\lambda e^{-\mu _{3}\tau _{3}}}{g} \biggl( Z_{n}- \widehat{Z}- \int _{\widehat{Z}}^{Z_{n}}\frac{\digamma _{5}(\widehat{Z})}{ \digamma _{5}(\varsigma )}\,d\varsigma \biggr) \biggr] \\ &{} +\frac{c}{\theta } \bigl( a+\lambda \digamma _{5}( \widehat{Z}) \bigr) \digamma _{3} ( \widehat{H} ) G \biggl( \frac{\digamma _{3} ( H_{n} ) }{\digamma _{3}(\widehat{H})} \biggr) \\ &{}+\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3}\tau _{3}}}{ \alpha +m}\varLambda (\widehat{F}, \widehat{H})\sum_{j=n-m_{1}}^{n-1}G \biggl( \frac{\varLambda ( F_{j+1},H_{j} ) }{\varLambda ( \widehat{F},\widehat{H})} \biggr) \\ &{} +\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda ( \widehat{F},\widehat{H})\sum _{j=n-m_{2}}^{n-1}G \biggl( \frac{\varLambda ( F_{j+1},H_{j} ) }{\varLambda (\widehat{F},\widehat{H})} \biggr) +\gamma \varLambda ( \widehat{F},\widehat{H} ) \sum _{j=n-m_{3}}^{n-1}G \biggl( \frac{ \digamma _{2} ( S_{j+1} ) }{\digamma _{2} ( \widehat{S} ) } \biggr) . \end{aligned}$$

Clearly, $\mathcal{M}_{n}(F_{n},K_{n},S_{n},H_{n},Y_{n},Z_{n})>0$ for all $F_{n},K_{n},S_{n},H_{n},Y_{n},Z_{n}>0$ and $\mathcal{M}_{n}( \widehat{F},\widehat{K},\widehat{S},\widehat{H}, 0,\widehat{Z})=0$. We compute $\Delta \mathcal{M}_{n}=\mathcal{M}_{n}-\mathcal{M}_{n}$ as follows:

$$\begin{aligned} &\triangle \mathcal{M}_{n} =\frac{1}{\phi ( h ) } \biggl[ \gamma \biggl( F_{n+1}-\widehat{F}- \int _{\widehat{F}}^{F_{n+1}}\frac{ \varLambda (\widehat{F},\widehat{H})}{\varLambda (\varsigma ,\widehat{H})}\,d\varsigma \biggr) \\ &\hphantom{\triangle \mathcal{M}_{n} =}{} +\frac{me^{-\mu _{3}\tau _{3}}}{\alpha +m} \biggl( K _{n+1}-\widehat{K}- \int _{\widehat{K}}^{K_{n+1}}\frac{\digamma _{1}( \widehat{K})}{\digamma _{1}(\varsigma )}\,d\varsigma \biggr) \\ &\hphantom{\triangle \mathcal{M}_{n} =}{} +e^{-\mu _{3}\tau _{3}} \biggl( S_{n+1}-\widehat{S}- \int _{\widehat{S}} ^{S_{n+1}}\frac{\digamma _{2}(\widehat{S})}{\digamma _{2}(\varsigma )}\,d \varsigma \biggr) \\ &\hphantom{\triangle \mathcal{M}_{n} =}{} +\frac{ ( a+\lambda \digamma _{5}(\widehat{Z}) ) }{\theta } \biggl( H_{n+1}- \widehat{H}- \int _{\widehat{H}}^{H_{n+1}}\frac{\digamma _{3}( \widehat{H})}{\digamma _{3}(\varsigma )}\,d\varsigma \biggr) \\ &\hphantom{\triangle \mathcal{M}_{n} =}{} +\frac{d ( a+\lambda \digamma _{5}(\widehat{Z}) ) }{q\theta }Y_{n+1}+\frac{\lambda e^{-\mu _{3}\tau _{3}}}{g} \biggl( Z _{n+1}-\widehat{Z}- \int _{\widehat{Z}}^{Z_{n+1}}\frac{\digamma _{5}( \widehat{Z})}{\digamma _{5}(\varsigma )}\,d\varsigma \biggr) \biggr] \\ & \hphantom{\triangle \mathcal{M}_{n} =}{}+\frac{c}{\theta } \bigl( a+\lambda \digamma _{5}( \widehat{Z}) \bigr) \digamma _{3} ( \widehat{H} ) G \biggl( \frac{\digamma _{3} ( H_{n+1} ) }{\digamma _{3}(\widehat{H})} \biggr) \\ &\hphantom{\triangle \mathcal{M}_{n} =}{} +\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3} \tau _{3}}}{\alpha +m}\varLambda (\widehat{F},\widehat{H})\sum _{j=n-m_{1}+1} ^{n}G \biggl( \frac{\varLambda ( F_{j+1},H_{j} ) }{\varLambda ( \widehat{F},\widehat{H})} \biggr) \\ &\hphantom{\triangle \mathcal{M}_{n} =}{} +\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda ( \widehat{F},\widehat{H})\sum _{j=n-m_{2}+1}^{n}G \biggl( \frac{\varLambda ( F_{j+1},H_{j} ) }{\varLambda (\widehat{F},\widehat{H})} \biggr) \\ &\hphantom{\triangle \mathcal{M}_{n} =}{} +\gamma \varLambda ( \widehat{F},\widehat{H} ) \sum _{j=n-m_{3}+1}^{n}G \biggl( \frac{ \digamma _{2} ( S_{j+1} ) }{\digamma _{2} ( \widehat{S} ) } \biggr) \\ &\hphantom{\triangle \mathcal{M}_{n} =}{} -\frac{1}{\phi ( h ) } \biggl[ \gamma \biggl( F_{n}- \widehat{F}- \int _{\widehat{F}}^{F_{n}}\frac{\varLambda (\widehat{F}, \widehat{H})}{\varLambda (\varsigma ,\widehat{H})}\,d\varsigma \biggr) \\ &\hphantom{\triangle \mathcal{M}_{n} =}{} +\frac{me ^{-\mu _{3}\tau _{3}}}{\alpha +m} \biggl( K_{n}-\widehat{K}- \int _{\widehat{K}}^{K_{n}}\frac{\digamma _{1}(\widehat{K})}{\digamma _{1}(\varsigma )}\,d\varsigma \biggr) \\ &\hphantom{\triangle \mathcal{M}_{n} =}{} +e^{-\mu _{3}\tau _{3}} \biggl( S_{n}-\widehat{S}- \int _{\widehat{S}} ^{S_{n}}\frac{\digamma _{2}(\widehat{S})}{\digamma _{2}(\varsigma )}\,d \varsigma \biggr) \\ &\hphantom{\triangle \mathcal{M}_{n} =}{} +\frac{ ( a+\lambda \digamma _{5}(\widehat{Z}) ) }{\theta } \biggl( H_{n}- \widehat{H}- \int _{\widehat{H}}^{H_{n}}\frac{\digamma _{3}(\widehat{H})}{ \digamma _{3}(\varsigma )}\,d\varsigma \biggr) \\ &\hphantom{\triangle \mathcal{M}_{n} =}{} +\frac{d ( a+\lambda \digamma _{5}(\widehat{Z}) ) }{q\theta }Y_{n}+\frac{\lambda e^{-\mu _{3}\tau _{3}}}{g} \biggl( Z_{n}- \widehat{Z}- \int _{\widehat{Z}}^{Z_{n}}\frac{\digamma _{5}(\widehat{Z})}{ \digamma _{5}(\varsigma )}\,d\varsigma \biggr) \biggr] \\ & \hphantom{\triangle \mathcal{M}_{n} =}{}-\frac{c}{\theta } \bigl( a+\lambda \digamma _{5}( \widehat{Z}) \bigr) \digamma _{3} ( \widehat{H} ) G \biggl( \frac{\digamma _{3} ( H_{n} ) }{\digamma _{3}(\widehat{H})} \biggr) \\ &\hphantom{\triangle \mathcal{M}_{n} =}{} -\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3} \tau _{3}}}{\alpha +m}\varLambda (\widehat{F},\widehat{H})\sum _{j=n-m_{1}} ^{n-1}G \biggl( \frac{\varLambda ( F_{j+1},H_{j} ) }{\varLambda (\widehat{F},\widehat{H})} \biggr) \\ & \hphantom{\triangle \mathcal{M}_{n} =}{}-\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda ( \widehat{F},\widehat{H})\sum _{j=n-m_{2}}^{n-1}G \biggl( \frac{\varLambda ( F_{j+1},H_{j} ) }{\varLambda (\widehat{F},\widehat{H})} \biggr) \\ &\hphantom{\triangle \mathcal{M}_{n} =}{} -\gamma \varLambda ( \widehat{F},\widehat{H} ) \sum _{j=n-m_{3}}^{n-1}G \biggl( \frac{ \digamma _{2} ( S_{j+1} ) }{\digamma _{2} ( \widehat{S} ) } \biggr) , \\ &\triangle \mathcal{M}_{n} =\frac{1}{\phi ( h ) } \biggl[ \gamma \biggl( F_{n+1}-F_{n}- \int _{F_{n}}^{F_{n+1}}\frac{\varLambda ( \widehat{F},\widehat{H})}{\varLambda (\varsigma ,\widehat{H})}\,d\varsigma \biggr) \\ &\hphantom{\triangle \mathcal{M}_{n} =}{} +\frac{me^{-\mu _{3}\tau _{3}}}{\alpha +m} \biggl( K_{n+1}-K _{n}- \int _{K_{n}}^{K_{n+1}}\frac{\digamma _{1}(\widehat{K})}{\digamma _{1}(\varsigma )}\,d\varsigma \biggr) \\ &\hphantom{\triangle \mathcal{M}_{n} =}{} +e^{-\mu _{3}\tau _{3}} \biggl( S_{n+1}-S_{n}- \int _{S_{n}}^{S_{n+1}}\frac{ \digamma _{2}(\widehat{S})}{\digamma _{2}(\varsigma )}\,d\varsigma \biggr) \\ &\hphantom{\triangle \mathcal{M}_{n} =}{} +\frac{ ( a+\lambda \digamma _{5}(\widehat{Z}) ) }{\theta } \biggl( H_{n+1}-H_{n}- \int _{H_{n}}^{H_{n}+1}\frac{\digamma _{3}( \widehat{H})}{\digamma _{3}(\varsigma )}\,d\varsigma \biggr) \\ & \hphantom{\triangle \mathcal{M}_{n} =}{}+\frac{d ( a+\lambda \digamma _{5}(\widehat{Z}) ) }{q\theta } ( Y_{n+1}-Y_{n} ) + \frac{\lambda e^{-\mu _{3} \tau _{3}}}{g} \biggl( Z_{n+1}-Z_{n}- \int _{Z_{n}}^{Z_{n+1}}\frac{ \digamma _{5}(\widehat{Z})}{\digamma _{5}(\varsigma )}\,d\varsigma \biggr) \biggr] \\ &\hphantom{\triangle \mathcal{M}_{n} =}{} +\frac{c}{\theta } \bigl( a+\lambda \digamma _{5}( \widehat{Z}) \bigr) \digamma _{3} ( \widehat{H} ) \biggl[ G \biggl( \frac{ \digamma _{3} ( H_{n+1} ) }{\digamma _{3}(\widehat{H})} \biggr) -G \biggl( \frac{\digamma _{3} ( H_{n} ) }{\digamma _{3}( \widehat{H})} \biggr) \biggr] \\ &\hphantom{\triangle \mathcal{M}_{n} =}{} +\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3} \tau _{3}}}{\alpha +m}\varLambda (\widehat{F},\widehat{H}) \Biggl( \sum _{j=n-m_{1}+1}^{n}G \biggl( \frac{\varLambda ( F_{j+1},H_{j} ) }{\varLambda (\widehat{F},\widehat{H})} \biggr) \\ &\hphantom{\triangle \mathcal{M}_{n} =}{} - \sum_{j=n-m_{1}}^{n-1}G \biggl( \frac{\varLambda ( F_{j+1},H_{j} ) }{\varLambda (\widehat{F},\widehat{H})} \biggr) \Biggr) \\ &\hphantom{\triangle \mathcal{M}_{n} =}{} +\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda ( \widehat{F},\widehat{H}) \Biggl( \sum_{j=n-m_{2}+1}^{n}G \biggl( \frac{ \varLambda ( F_{j+1},H_{j} ) }{\varLambda (\widehat{F}, \widehat{H})} \biggr) -\sum_{j=n-m_{2}}^{n-1}G \biggl( \frac{\varLambda ( F_{j+1},H_{j} ) }{\varLambda (\widehat{F},\widehat{H})} \biggr) \Biggr) \\ &\hphantom{\triangle \mathcal{M}_{n} =}{} +\gamma \varLambda ( \widehat{F},\widehat{H} ) \Biggl( \sum _{j=n-m_{3}+1}^{n}G \biggl( \frac{\digamma _{2} ( S_{j+1} ) }{\digamma _{2} ( \widehat{S} ) } \biggr) -\sum_{j=n-m_{3}} ^{n-1}G \biggl( \frac{\digamma _{2} ( S_{j+1} ) }{\digamma _{2} ( \widehat{S} ) } \biggr) \Biggr) . \end{aligned}$$

Using inequalities (45) and (46) by replacing $F^{\ast }$, $H^{\ast }$, $\rho ^{\ast }$ with F̂, Ĥ, ρ̂, we get

$$\begin{aligned} \Delta \mathcal{M}_{n} \leq{}& \frac{1}{\phi ( h ) } \biggl[ \gamma \biggl( 1-\frac{\varLambda (\widehat{F},\widehat{H})}{\varLambda (F _{n+1},\widehat{H})} \biggr) ( F_{n+1}-F_{n} ) \\ &{}+\frac{me ^{-\mu _{3}\tau _{3}}}{\alpha +m} \biggl( 1-\frac{\digamma _{1}( \widehat{K})}{\digamma _{1}(K_{n+1})} \biggr) ( K_{n+1}-K_{n} ) \\ &{} +e^{-\mu _{3}\tau _{3}} \biggl( 1-\frac{\digamma _{2}(\widehat{S})}{ \digamma _{2}(S_{n+1})} \biggr) ( S_{n+1}-S_{n} ) \\ &{} +\frac{ ( a+\lambda \digamma _{5}(\widehat{Z}) ) }{\theta } \biggl( 1- \frac{\digamma _{3}(\widehat{H})}{\digamma _{3}(H_{n+1})} \biggr) ( H_{n+1}-H_{n} ) \\ &{} +\frac{d ( a+\lambda \digamma _{5}(\widehat{Z}) ) }{q\theta } ( Y_{n+1}-Y_{n} ) + \frac{\lambda e^{-\mu _{3} \tau _{3}}}{g} \biggl( 1-\frac{\digamma _{5}(\widehat{Z})}{\digamma _{5}(Z _{n+1})} \biggr) ( Z_{n+1}-Z_{n} ) \biggr] \\ &{} +\frac{c}{\theta } \bigl( a+\lambda \digamma _{5}( \widehat{Z}) \bigr) \digamma _{3} ( \widehat{H} ) \biggl[ \frac{\digamma _{3} ( H_{n+1} ) }{\digamma _{3}(\widehat{H})}-\frac{\digamma _{3} ( H_{n} ) }{\digamma _{3}(\widehat{H})}+\ln \biggl( \frac{ \digamma _{3} ( H_{n} ) }{\digamma _{3} ( H_{n+1} ) } \biggr) \biggr] \\ &{} +\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3} \tau _{3}}}{\alpha +m}\varLambda (\widehat{F},\widehat{H}) \biggl[ \frac{ \varLambda ( F_{n+1},H_{n} ) }{\varLambda (\widehat{F}, \widehat{H})}-\frac{\varLambda ( F_{n-m_{1}+1},H_{n-m_{1}} ) }{\varLambda (\widehat{F},\widehat{H})} \\ &{} +\ln \biggl( \frac{\varLambda ( F_{n-m_{1}+1},H_{n-m _{1}} ) }{\varLambda ( F_{n+1},H_{n} ) } \biggr) \biggr] \\ & {}+\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda ( \widehat{F},\widehat{H}) \biggl[ \frac{\varLambda ( F_{n+1},H_{n} ) }{\varLambda (\widehat{F},\widehat{H})}-\frac{ \varLambda ( F_{n-m_{2}+1},H_{n-m_{2}} ) }{\varLambda ( \widehat{F},\widehat{H})} \\ &{} +\ln \biggl( \frac{\varLambda ( F_{n-m _{2}+1},H_{n-m_{2}} ) }{\varLambda ( F_{n+1},H_{n} ) } \biggr) \biggr] \\ & {}+\gamma \varLambda ( \widehat{F},\widehat{H} ) \biggl[ \frac{ \digamma _{2} ( S_{n+1} ) }{\digamma _{2} ( \widehat{S} ) }- \frac{\digamma _{2} ( S_{n-m_{3}+1} ) }{\digamma _{2} ( \widehat{S} ) }+\ln \biggl( \frac{\digamma _{2} ( S_{n-m_{3}+1} ) }{\digamma _{2} ( S_{n+1} ) } \biggr) \biggr] . \end{aligned}$$

From Eqs. (11)–(16) we have

$$\begin{aligned} \Delta \mathcal{M}_{n} \leq{}& \gamma \biggl( 1- \frac{\varLambda ( \widehat{F},\widehat{H})}{\varLambda (F_{n+1},\widehat{H})} \biggr) \bigl( \varTheta ( F_{n+1} ) -\varLambda ( F_{n+1},H_{n} ) \bigr) \\ &{} +\frac{me^{-\mu _{3}\tau _{3}}}{\alpha +m} \biggl( 1-\frac{\digamma _{1}( \widehat{K})}{\digamma _{1}(K_{n+1})} \biggr) \bigl[ ( 1- \varepsilon ) e^{-\mu _{1}\tau _{1}}\varLambda ( F_{n-m_{1}+1},H_{n-m_{1}} ) \\ &{} - ( \alpha +m ) \digamma _{1} ( K_{n+1} ) \bigr] \\ &{} +e^{-\mu _{3}\tau _{3}} \biggl( 1-\frac{\digamma _{2}(\widehat{S})}{ \digamma _{2}(S_{n+1})} \biggr) \bigl[ \varepsilon e^{-\mu _{2}\tau _{2}}\varLambda ( F_{n-m_{2}+1},H_{n-m_{2}} ) +m\digamma _{1} ( K_{n+1} ) \\ &{}-a\digamma _{2} ( S_{n+1} ) -\lambda \digamma _{2} ( S_{n+1} ) \digamma _{5} ( Z_{n+1} ) \bigr] \\ & {}+\frac{ ( a+\lambda \digamma _{5}(\widehat{Z}) ) }{ \theta } \biggl( 1- \frac{\digamma _{3}(\widehat{H})}{\digamma _{3}(H_{n+1})} \biggr) \bigl[ \theta e^{-\mu _{3}\tau _{3}}\digamma _{2} ( S_{n-m_{3}+1} ) -c \digamma _{3} ( H_{n+1} ) \\ &{} -d\digamma _{3} ( H_{n+1} ) \digamma _{4} ( Y_{n+1} ) \bigr] \\ &{} +\frac{d ( a+\lambda \digamma _{5}(\widehat{Z}) ) }{q \theta } \bigl[ q\digamma _{3} ( H_{n+1} ) \digamma _{4} ( Y_{n+1} ) -\eta \digamma _{4} ( Y_{n+1} ) \bigr] \\ &{} +\frac{\lambda e^{-\mu _{3}\tau _{3}}}{g} \biggl( 1-\frac{\digamma _{5}( \widehat{Z})}{\digamma _{5}(Z_{n+1})} \biggr) \bigl[ g \digamma _{2} ( S_{n+1} ) \digamma _{5} ( Z_{n+1} ) -\xi \digamma _{5} ( Z_{n+1} ) \bigr] \\ &{} +\frac{c}{\theta } \bigl( a+\lambda \digamma _{5}( \widehat{Z}) \bigr) \digamma _{3} ( \widehat{H} ) \biggl[ \frac{\digamma _{3} ( H_{n+1} ) }{\digamma _{3}(\widehat{H})}-\frac{\digamma _{3} ( H_{n} ) }{\digamma _{3}(\widehat{H})}+\ln \biggl( \frac{ \digamma _{3} ( H_{n} ) }{\digamma _{3} ( H_{n+1} ) } \biggr) \biggr] \\ &{} +\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3} \tau _{3}}}{\alpha +m}\varLambda (\widehat{F},\widehat{H}) \biggl[ \frac{ \varLambda ( F_{n+1},H_{n} ) }{\varLambda (\widehat{F}, \widehat{H})}-\frac{\varLambda ( F_{n-m_{1}+1},H_{n-m_{1}} ) }{\varLambda (\widehat{F},\widehat{H})} \\ &{} +\ln \biggl( \frac{\varLambda ( F_{n-m_{1}+1},H_{n-m _{1}} ) }{\varLambda ( F_{n+1},H_{n} ) } \biggr) \biggr] \\ & +\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda ( \widehat{F},\widehat{H}) \biggl[ \frac{\varLambda ( F_{n+1},H_{n} ) }{\varLambda (\widehat{F},\widehat{H})}-\frac{ \varLambda ( F_{n-m_{2}+1},H_{n-m_{2}} ) }{\varLambda ( \widehat{F},\widehat{H})} \\ &{}+\ln \biggl( \frac{\varLambda ( F_{n-m _{2}+1},H_{n-m_{2}} ) }{\varLambda ( F_{n+1},H_{n} ) } \biggr) \biggr] \\ &{} +\gamma \varLambda ( \widehat{F},\widehat{H} ) \biggl[ \frac{ \digamma _{2} ( S_{n+1} ) }{\digamma _{2} ( \widehat{S} ) }- \frac{\digamma _{2} ( S_{n-m_{3}+1} ) }{\digamma _{2} ( \widehat{S} ) }+\ln \biggl( \frac{\digamma _{2} ( S_{n-m_{3}+1} ) }{\digamma _{2} ( S_{n+1} ) } \biggr) \biggr] . \end{aligned}$$

(55)

Collecting terms of Eq. (55), we get

$$\begin{aligned} \Delta \mathcal{M}_{n} \leq {}&\gamma \biggl( 1- \frac{\varLambda ( \widehat{F},\widehat{H})}{\varLambda (F_{n+1},\widehat{H})} \biggr) \bigl( \varTheta ( F_{n+1} ) -\varTheta ( \widehat{F} ) \bigr) +\gamma \varTheta ( \widehat{F} ) \biggl( 1- \frac{\varLambda (\widehat{F},\widehat{H})}{\varLambda (F_{n+1}, \widehat{H})} \biggr) \\ &{} +\gamma \frac{\varLambda (\widehat{F},\widehat{H})}{\varLambda (F_{n+1}, \widehat{H})}\varLambda ( F_{n+1},H_{n} ) \\ &{} -\frac{m ( 1- \varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3}\tau _{3}}}{\alpha +m} \varLambda ( F_{n-m_{1}+1},H_{n-m_{1}} ) \frac{\digamma _{1}( \widehat{K})}{\digamma _{1}(K_{n+1})} \\ &{} +me^{-\mu _{3}\tau _{3}}\digamma _{1}(\widehat{K})-\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda ( F_{n-m_{2}+1},H_{n-m_{2}} ) \frac{\digamma _{2}(\widehat{S})}{ \digamma _{2}(S_{n+1})} \\ &{} -me^{-\mu _{3}\tau _{3}}\digamma _{1} ( K_{n+1} ) \frac{\digamma _{2}(\widehat{S})}{\digamma _{2}(S_{n+1})} \\ &{} -ae^{-\mu _{3}\tau _{3}}\digamma _{2} ( S_{n+1} ) +\lambda e^{-\mu _{3}\tau _{3}}\digamma _{2}(\widehat{S})\digamma _{5} ( Z _{n+1} ) +ae^{-\mu _{3}\tau _{3}}\digamma _{2}(\widehat{S}) \\ & {}+ \bigl( a+\lambda \digamma _{5}(\widehat{Z}) \bigr) e^{-\mu _{3} \tau _{3}}\digamma _{2}(S_{n-m_{3}+1}) \\ &{} - \bigl( a+ \lambda \digamma _{5}( \widehat{Z}) \bigr) e^{-\mu _{3}\tau _{3}}\digamma _{2}(S_{n-m_{3}+1})\frac{ \digamma _{3}(\widehat{H})}{\digamma _{3}(H_{n+1})} \\ &{} +\frac{c ( a+\lambda \digamma _{5}(\widehat{Z}) ) }{ \theta }\digamma _{3} ( \widehat{H} ) + \frac{d ( a+ \lambda \digamma _{5}(\widehat{Z}) ) }{\theta }\digamma _{3} ( \widehat{H} ) \digamma _{4} ( Y_{n+1} ) \\ &{} -\frac{d ( a+\lambda \digamma _{5}(\widehat{Z}) ) \eta }{q\theta }\digamma _{4} ( Y_{n+1} ) \\ & {}-\lambda e^{-\mu _{3}\tau _{3}}\digamma _{5} ( \widehat{Z} ) \digamma _{2} ( S_{n+1} ) -\frac{\lambda e^{-\mu _{3}\tau _{3}}\xi }{g}\digamma _{5} ( Z_{n+1} ) +\frac{\lambda e^{- \mu _{3}\tau _{3}}\xi }{g}\digamma _{5} ( \widehat{Z} ) \\ &{} -\frac{c}{\theta } \bigl( a+\lambda \digamma _{5}( \widehat{Z}) \bigr) \digamma _{3} ( H_{n} ) + \frac{c}{\theta } \bigl( a+\lambda \digamma _{5}(\widehat{Z}) \bigr) \digamma _{3} ( \widehat{H} ) \ln \biggl( \frac{\digamma _{3} ( H_{n} ) }{\digamma _{3} ( H_{n+1} ) } \biggr) \\ &{} +\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3} \tau _{3}}}{\alpha +m}\varLambda (\widehat{F},\widehat{H})\ln \biggl( \frac{ \varLambda ( F_{n-m_{1}+1},H_{n-m_{1}} ) }{\varLambda ( F _{n+1},H_{n} ) } \biggr) \\ &{} +\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda ( \widehat{F},\widehat{H})\ln \biggl( \frac{\varLambda ( F_{n-m_{2}+1},H _{n-m_{2}} ) }{\varLambda ( F_{n+1},H_{n} ) } \biggr) \\ & {}+\gamma \varLambda ( \widehat{F},\widehat{H} ) \biggl( \frac{ \digamma _{2} ( S_{n+1} ) }{\digamma _{2} ( \widehat{S} ) }- \frac{\digamma _{2} ( S_{n-m_{3}+1} ) }{\digamma _{2} ( \widehat{S} ) }+\ln \frac{\digamma _{2} ( S_{n-m_{3}+1} ) }{\digamma _{2} ( S_{n+1} ) } \biggr) . \end{aligned}$$

Using the conditions of Q̂

$$\begin{aligned} &\varTheta ( \widehat{F} ) =\varLambda ( \widehat{F}, \widehat{H} ) , \\ &( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}}\varLambda ( \widehat{F},\widehat{H} ) = ( \alpha +m ) \digamma _{1} ( \widehat{K} ) , \\ &\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda ( \widehat{F},\widehat{H} ) +me^{-\mu _{3}\tau _{3}}\digamma _{1} ( \widehat{K} ) =\gamma \varLambda ( \widehat{F}, \widehat{H} ) = \bigl( a+\lambda \digamma _{5} ( \widehat{Z} ) \bigr) e^{-\mu _{3}\tau _{3}}\digamma _{2} ( \widehat{S} ) , \\ &\theta e^{-\mu _{3}\tau _{3}}\digamma _{2} ( \widehat{S} ) =c\digamma _{3} ( \widehat{H} ) , \\ &\digamma _{2} ( \widehat{S} ) =\frac{\xi }{g}, \end{aligned}$$

we get

$$\begin{aligned} &\Delta \mathcal{M}_{n} \leq \gamma \biggl( 1- \frac{\varLambda ( \widehat{F},\widehat{H})}{\varLambda (F_{n+1},\widehat{H})} \biggr) \bigl( \varTheta ( F_{n+1} ) -\varTheta ( \widehat{F} ) \bigr)+ \gamma \varLambda (\widehat{F},\widehat{H}) \biggl( 1- \frac{\varLambda ( \widehat{F},\widehat{H})}{\varLambda (F_{n+1},\widehat{H})} \biggr) \\ &\hphantom{\Delta \mathcal{M}_{n} \leq}{} +\gamma \varLambda (\widehat{F},\widehat{H})\frac{\varLambda (F_{n+1},H _{n})}{\varLambda (F_{n+1},\widehat{H})} \\ &\hphantom{\Delta \mathcal{M}_{n} \leq}{}- \frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3}\tau _{3}}}{\alpha +m} \varLambda (\widehat{F},\widehat{H})\frac{\varLambda ( F_{n-m_{1}+1},H _{n-m_{1}} ) \digamma _{1}(\widehat{K})}{\varLambda (\widehat{F}, \widehat{H})\digamma _{1}(K_{n+1})} \\ &\hphantom{\Delta \mathcal{M}_{n} \leq}{} +\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3} \tau _{3}}}{\alpha +m}\varLambda (\widehat{F},\widehat{H}) \\ &\hphantom{\Delta \mathcal{M}_{n} \leq}{}-\varepsilon e ^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda (\widehat{F},\widehat{H})\frac{ \varLambda ( F_{n-m_{2}+1},H_{n-m_{2}} ) \digamma _{2}( \widehat{S})}{\varLambda (\widehat{F},\widehat{H})\digamma _{2}(S_{n+1})} \\ &\hphantom{\Delta \mathcal{M}_{n} \leq}{} -\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3} \tau _{3}}}{\alpha +m}\varLambda (\widehat{F},\widehat{H}) \frac{\digamma _{1}(K_{n+1})\digamma _{2}(\widehat{S})}{\digamma _{1}(\widehat{K}) \digamma _{2}(S_{n+1})}+\gamma \varLambda (\widehat{F},\widehat{H}) \\ &\hphantom{\Delta \mathcal{M}_{n} \leq}{}- \gamma \varLambda (\widehat{F},\widehat{H})\frac{\digamma _{3}( \widehat{H})\digamma _{2} ( S_{n-m_{3}+1} ) }{\digamma _{3}(H _{n+1})\digamma _{2}(\widehat{S})} \\ &\hphantom{\Delta \mathcal{M}_{n} \leq}{} +\gamma \varLambda (\widehat{F},\widehat{H})-\gamma \varLambda ( \widehat{F}, \widehat{H})\frac{\digamma _{3}(H_{n})}{\digamma _{3}( \widehat{H})}+\frac{d ( a+\lambda \digamma _{5}(\widehat{Z}) ) }{\theta } \biggl( \digamma _{3} ( \widehat{H} ) -\frac{ \eta }{q} \biggr) \digamma _{4} ( Y_{n+1} ) \\ &\hphantom{\Delta \mathcal{M}_{n} \leq}{} +\gamma \varLambda (\widehat{F},\widehat{H})\ln \biggl( \frac{\digamma _{3} ( H_{n} ) }{\digamma _{3} ( H_{n+1} ) } \biggr) \\ &\hphantom{\Delta \mathcal{M}_{n} \leq}{}+\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}- \mu _{3}\tau _{3}}}{\alpha +m}\varLambda (\widehat{F},\widehat{H})\ln \biggl( \frac{\varLambda ( F_{n-m_{1}+1},H_{n-m_{1}} ) }{ \varLambda ( F_{n+1},H_{n} ) } \biggr) \\ &\hphantom{\Delta \mathcal{M}_{n} \leq}{} +\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda ( \widehat{F},\widehat{H})\ln \biggl( \frac{\varLambda ( F_{n-m_{2}+1},H _{n-m_{2}} ) }{\varLambda ( F_{n+1},H_{n} ) } \biggr) \\ &\hphantom{\Delta \mathcal{M}_{n} \leq}{} + \gamma \varLambda (\widehat{F}, \widehat{H})\ln \biggl( \frac{\digamma _{2} ( S_{n-m_{3}+1} ) }{\digamma _{2} ( S_{n+1} ) } \biggr) \\ &\hphantom{\Delta \mathcal{M}_{n} }{} =\gamma \biggl( 1-\frac{\varLambda (\widehat{F},\widehat{H})}{\varLambda (F_{n+1},\widehat{H})} \biggr) \bigl(\varTheta ( F_{n+1} ) - \varTheta ( \widehat{F} ) \bigr) \\ &\hphantom{\Delta \mathcal{M}_{n} \leq}{}+\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3}\tau _{3}}}{\alpha +m} \varLambda (\widehat{F},\widehat{H}) \biggl[ 5-\frac{\varLambda (\widehat{F}, \widehat{H})}{\varLambda (F_{n+1},\widehat{H})} \\ &\hphantom{\Delta \mathcal{M}_{n} \leq}{} -\frac{\varLambda ( F_{n-m_{1}+1},H_{n-m_{1}} ) \digamma _{1}( \widehat{K})}{\varLambda (\widehat{F},\widehat{H})\digamma _{1}(K_{n+1})}-\frac{ \digamma _{1}(K_{n+1})\digamma _{2}(\widehat{S})}{\digamma _{1}( \widehat{K})\digamma _{2}(S_{n+1})} \\ &\hphantom{\Delta \mathcal{M}_{n} \leq}{}-\frac{\digamma _{3}(\widehat{H}) \digamma _{2} ( S_{n-m_{3}+1} ) }{\digamma _{3}(H_{n+1}) \digamma _{2}(\widehat{S})}- \frac{\varLambda ( F_{n+1},\widehat{H} ) \digamma _{3}(H_{n})}{\varLambda ( F _{n+1},H_{n} ) \digamma _{3}(\widehat{H})} \\ &\hphantom{\Delta \mathcal{M}_{n} \leq}{} +\ln \biggl( \frac{\varLambda ( F_{n-m_{1}+1},H_{n-m _{1}} ) \digamma _{2} ( S_{n-m_{3}+1} ) \digamma _{3} ( H_{n} ) }{\varLambda ( F_{n+1},H_{n} ) \digamma _{2}(S_{n+1})\digamma _{3} ( H_{n+1} ) } \biggr) \biggr] \\ & \hphantom{\Delta \mathcal{M}_{n} \leq}{}+\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda ( \widehat{F},\widehat{H}) \biggl[ 4-\frac{\varLambda (\widehat{F}, \widehat{H})}{\varLambda (F_{n+1},\widehat{H})}-\frac{\varLambda ( F _{n-m_{2}+1},H_{n-m_{2}} ) \digamma _{2}(\widehat{S})}{\varLambda ( \widehat{F},\widehat{H})\digamma _{2}(S_{n+1})} \\ &\hphantom{\Delta \mathcal{M}_{n} \leq}{}-\frac{\digamma _{3}( \widehat{H})\digamma _{2} ( S_{n-m_{3}+1} ) }{\digamma _{3}(H _{n+1})\digamma _{2}(\widehat{S})} \\ &\hphantom{\Delta \mathcal{M}_{n} \leq}{} -\frac{\varLambda ( F_{n+1},\widehat{H} ) \digamma _{3}(H _{n})}{\varLambda ( F_{n+1},H_{n} ) \digamma _{3}(\widehat{H})}+ \ln \biggl( \frac{\varLambda ( F_{n-m_{2}+1},H_{n-m_{2}} ) \digamma _{2} ( S_{n-m_{3}+1} ) \digamma _{3} ( H_{n} ) }{\varLambda ( F_{n+1},H_{n} ) \digamma _{2}(S _{n+1})\digamma _{3} ( H_{n+1} ) } \biggr) \biggr] \\ &\hphantom{\Delta \mathcal{M}_{n} \leq}{} +\frac{d ( a+\lambda \digamma _{5}(\widehat{Z}) ) }{ \theta } \bigl( \digamma _{3} ( \widehat{H} ) - \digamma _{3} ( \widetilde{H} ) \bigr) \digamma _{4} ( Y_{n+1} ) \\ &\hphantom{\Delta \mathcal{M}_{n} \leq}{} +\gamma \varLambda (\widehat{F},\widehat{H}) \biggl[ -1+\frac{\varLambda ( F_{n+1},\widehat{H} ) \digamma _{3}(H_{n})}{\varLambda ( F_{n+1},H_{n} ) \digamma _{3}(\widehat{H})}+ \frac{\varLambda (F_{n+1},H_{n})}{\varLambda (F_{n+1},\widehat{H})}-\frac{\digamma _{3} ( H_{n} ) }{\digamma _{3}(\widehat{H})} \biggr] , \\ &\Delta \mathcal{M}_{n} \leq \gamma \biggl( 1- \frac{\varLambda ( \widehat{F},\widehat{H})}{\varLambda (F_{n+1},\widehat{H})} \biggr) \bigl( \varTheta ( F_{n+1} ) -\varTheta ( \widehat{F} ) \bigr) \\ &\hphantom{\Delta \mathcal{M}_{n} \leq}{}-\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3}\tau _{3}}}{ \alpha +m}\varLambda (\widehat{F},\widehat{H}) \biggl[ G \biggl( \frac{ \varLambda (\widehat{F},\widehat{H})}{\varLambda (F_{n+1},\widehat{H})} \biggr) \\ &\hphantom{\Delta \mathcal{M}_{n} \leq}{} +G \biggl( \frac{\varLambda ( F_{n-m_{1}+1},H_{n-m_{1}} ) \digamma _{1}(\widehat{K})}{\varLambda (\widehat{F},\widehat{H})\digamma _{1}(K _{n+1})} \biggr) +G \biggl( \frac{\digamma _{1}(K_{n+1})\digamma _{2}( \widehat{S})}{\digamma _{1}(\widehat{K})\digamma _{2}(S_{n+1})} \biggr) \\ &\hphantom{\Delta \mathcal{M}_{n} \leq}{} +G \biggl( \frac{\digamma _{3}(\widehat{H})\digamma _{2} ( S_{n-m _{3}+1} ) }{\digamma _{3}(H_{n+1})\digamma _{2}(\widehat{S})} \biggr) \\ & \hphantom{\Delta \mathcal{M}_{n} \leq}{}+G \biggl( \frac{\varLambda ( F_{n+1},\widehat{H} ) \digamma _{3}(H_{n})}{\varLambda ( F_{n+1},H_{n} ) \digamma _{3}( \widehat{H})} \biggr) \biggr] -\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3} \tau _{3}}\varLambda (\widehat{F},\widehat{H}) \biggl[ G \biggl( \frac{ \varLambda (\widehat{F},\widehat{H})}{\varLambda (F_{n+1},\widehat{H})} \biggr) \\ &\hphantom{\Delta \mathcal{M}_{n} \leq}{} +G \biggl( \frac{\varLambda ( F_{n-m_{2}+1},H_{n-m_{2}} ) \digamma _{2}(\widehat{S})}{\varLambda (\widehat{F},\widehat{H})\digamma _{2}(S_{n+1})} \biggr) +G \biggl( \frac{ \digamma _{3}(\widehat{H})\digamma _{2} ( S_{n-m_{3}+1} ) }{ \digamma _{3}(H_{n+1})\digamma _{2}(\widehat{S})} \biggr) \\ &\hphantom{\Delta \mathcal{M}_{n} \leq}{} +G \biggl( \frac{ \varLambda ( F_{n+1},\widehat{H} ) \digamma _{3}(H_{n})}{ \varLambda ( F_{n+1},H_{n} ) \digamma _{3}(\widehat{H})} \biggr) \biggr] \\ &\hphantom{\Delta \mathcal{M}_{n} \leq}{} +\frac{d ( a+\lambda \digamma _{5}(\widehat{Z}) ) }{ \theta }\digamma _{3} ( \widetilde{H} ) \bigl( \mathcal{R} _{1}^{Y}/\mathcal{R}_{2}^{Z}-1 \bigr) \digamma _{4} ( Y_{n+1} ) \\ &\hphantom{\Delta \mathcal{M}_{n} \leq}{} +\gamma \varLambda (\widehat{F},\widehat{H}) \biggl( 1-\frac{\varLambda (F _{n+1},\widehat{H})}{\varLambda (F_{n+1},H_{n})} \biggr) \biggl( \frac{ \varLambda (F_{n+1},H_{n})}{\varLambda (F_{n+1},\widehat{H})}-\frac{\digamma _{3} ( H_{n} ) }{\digamma _{3} ( \widehat{H} ) } \biggr) . \end{aligned}$$

(56)

Using Conditions C1–C4, we get that the first and last terms of Eq. (56) are less than or equal to zero. Moreover, if $\mathcal{R}_{1}^{Y}/\mathcal{R}_{2}^{Z}\leq 1$, we get $\Delta \mathcal{M}_{n}\leq 0$, and thus $\mathcal{M}_{n}$ is a monotone decreasing sequence. Since $\mathcal{M}_{n}\geq 0$, then there is a limit $\lim_{n\rightarrow \infty }\mathcal{M}_{n}\geq 0$. Therefore, $\lim_{n\rightarrow \infty }\Delta \mathcal{M} _{n}=0$, which implies that $\lim_{n\rightarrow \infty }F _{n}=\widehat{F}$, $\lim_{n\rightarrow \infty }K_{n}= \widehat{K}$, $\lim_{n\rightarrow \infty }S_{n}= \widehat{S}$, $\lim_{n\rightarrow \infty }H_{n}= \widehat{H}$, and $\lim_{n\rightarrow \infty } ( \mathcal{R}_{1}^{Y}/\mathcal{R}_{2}^{Z}-1 ) Y_{n+1}=0$. We have two cases as follows:

• $\mathcal{R}_{1}^{Y}/\mathcal{R}_{2}^{Z}=1$, from Eq. (13)

  $$ 0=\varepsilon e^{-\mu _{2}\tau _{2}}\varLambda ( \widehat{F}, \widehat{H} ) +m \digamma _{1} ( \widehat{K} ) -a \digamma _{2} ( \widehat{S} ) -\lambda \digamma _{2} ( \widehat{S} ) \lim _{n\rightarrow \infty }\digamma _{5} ( Z_{n+1} ), $$

  (57)

  and this gives $\lim_{n\rightarrow \infty }Z_{n}= \widehat{Z}$. Moreover, from Eq. (14) we have

  $$ 0=\theta e^{-\mu _{3}\tau _{3}}\digamma _{2} ( \widehat{S} ) -c \digamma _{3} ( \widehat{H} ) -d\digamma _{3} ( \widehat{H} ) \lim_{n\rightarrow \infty }\digamma _{4} ( Y_{n+1} ) , $$

  (58)

  then we get $\lim_{n\rightarrow \infty }Y_{n}=0$.

• $\mathcal{R}_{1}^{Y}/\mathcal{R}_{2}^{Z}<1$, $\lim_{n \rightarrow \infty }Y_{n}=0$. From Eq. (57) we get $\lim_{n\rightarrow \infty }Z_{n}=\widehat{Z}$. Then we get that Q̂ is G.A.S.

 □

Proof of Theorem 5

Define $\mathcal{V}_{n}(F_{n},K_{n},S _{n},H_{n},Y_{n},Z_{n})$:

$$\begin{aligned} \mathcal{V}_{n} ={}&\frac{1}{\phi ( h ) } \biggl[ \gamma \biggl( F_{n}-\widetilde{F}- \int _{\widetilde{F}}^{F_{n}}\frac{\varLambda (\widetilde{F},\widetilde{H})}{\varLambda (\varsigma ,\widetilde{H})}\,d\varsigma \biggr) +\frac{me^{-\mu _{3}\tau _{3}}}{\alpha +m} \biggl( K _{n}-\widetilde{K}- \int _{\widetilde{K}}^{K_{n}}\frac{\digamma _{1}( \widetilde{K})}{\digamma _{1}(\varsigma )}\,d\varsigma \biggr) \\ &{} +e^{-\mu _{3}\tau _{3}} \biggl( S_{n}-\widetilde{S}- \int _{ \widetilde{S}}^{S_{n}}\frac{\digamma _{2}(\widetilde{S})}{\digamma _{2}( \varsigma )}\,d\varsigma \biggr) \\ &{} +\frac{ ( a+\lambda \digamma _{5}( \widetilde{Z}) ) }{\theta } \biggl( H_{n}-\widetilde{H}- \int _{\widetilde{H}}^{H_{n}}\frac{\digamma _{3}(\widetilde{H})}{ \digamma _{3}(\varsigma )}\,d\varsigma \biggr) \\ &{} +\frac{d ( a+\lambda \digamma _{5}(\widetilde{Z}) ) }{q\theta } \biggl( Y_{n}-\widetilde{Y}- \int _{\widetilde{Y}}^{Y_{n}}\frac{ \digamma _{4}(\widetilde{Y})}{\digamma _{4}(\varsigma )}\,d\varsigma \biggr) \\ &{} +\frac{\lambda e^{-\mu _{3}\tau _{3}}}{g} \biggl( Z_{n}-\widetilde{Z}- \int _{ \widetilde{Z}}^{Z_{n}}\frac{\digamma _{5}(\widetilde{Z})}{\digamma _{5}( \varsigma )}\,d\varsigma \biggr) \biggr] \\ &{} +\frac{ ( c+d\digamma _{4}(\widetilde{Y}) ) }{\theta } \bigl( a+\lambda \digamma _{5}( \widetilde{Z}) \bigr) \digamma _{3} ( \widetilde{H} ) G \biggl( \frac{\digamma _{3} ( H _{n} ) }{\digamma _{3}(\widetilde{H})} \biggr) \\ &{} +\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3} \tau _{3}}}{\alpha +m}\varLambda (\widetilde{F},\widetilde{H})\sum _{j=n-m _{1}}^{n-1}G \biggl( \frac{\varLambda ( F_{j+1},H_{j} ) }{ \varLambda (\widetilde{F},\widetilde{H})} \biggr) \\ &{} +\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda ( \widetilde{F},\widetilde{H})\sum _{j=n-m_{2}}^{n-1}G \biggl( \frac{ \varLambda ( F_{j+1},H_{j} ) }{\varLambda (\widetilde{F}, \widetilde{H})} \biggr) +\gamma \varLambda ( \widetilde{F}, \widetilde{H} ) \sum_{j=n-m_{3}}^{n-1}G \biggl( \frac{\digamma _{2} ( S_{j+1} ) }{\digamma _{2} ( \widetilde{S} ) } \biggr) . \end{aligned}$$

Clearly, $\mathcal{V}_{n}(F_{n},K_{n},S_{n},H_{n},Y_{n},Z_{n})>0$ for all $F_{n},K_{n},S_{n},H_{n},Y_{n},Z_{n}>0$ and $\mathcal{V}_{n}( \widetilde{F},\widetilde{K},\widetilde{S},\widetilde{H},\widetilde{Y}, \widetilde{Z})=0$. We compute $\Delta \mathcal{V}_{n}=\mathcal{V}_{n+1}- \mathcal{V}_{n}$ as follows:

$$\begin{aligned} &\triangle \mathcal{V}_{n} =\frac{1}{\phi ( h ) } \biggl[ \gamma \biggl( F_{n+1}-\widetilde{F}- \int _{\widetilde{F}}^{F_{n+1}}\frac{ \varLambda (\widetilde{F},\widetilde{H})}{\varLambda (\varsigma , \widetilde{H})}\,d\varsigma \biggr) \\ &\hphantom{\triangle \mathcal{V}_{n} =}{}+\frac{me^{-\mu _{3}\tau _{3}}}{ \alpha +m} \biggl( K_{n+1}-\widetilde{K}- \int _{\widetilde{K}}^{K_{n+1}}\frac{ \digamma _{1}(\widetilde{K})}{\digamma _{1}(\varsigma )}\,d\varsigma \biggr) \\ &\hphantom{\triangle \mathcal{V}_{n} =}{} +e^{-\mu _{3}\tau _{3}} \biggl( S_{n+1}-\widetilde{S}- \int _{ \widetilde{S}}^{S_{n+1}}\frac{\digamma _{2}(\widetilde{S})}{\digamma _{2}(\varsigma )}\,d\varsigma \biggr) \\ &\hphantom{\triangle \mathcal{V}_{n} =}{}+\frac{ ( a+\lambda \digamma _{5}(\widetilde{Z}) ) }{\theta } \biggl( H_{n+1}-\widetilde{H}- \int _{\widetilde{H}}^{H_{n+1}}\frac{\digamma _{3}(\widetilde{H})}{ \digamma _{3}(\varsigma )}\,d\varsigma \biggr) \\ &\hphantom{\triangle \mathcal{V}_{n} =}{} +\frac{d ( a+\lambda \digamma _{5}(\widetilde{Z}) ) }{q\theta } \biggl( Y_{n+1}-\widetilde{Y}- \int _{\widetilde{Y}}^{Y_{n+1}}\frac{ \digamma _{4}(\widetilde{Y})}{\digamma _{4}(\varsigma )}\,d\varsigma \biggr) \\ &\hphantom{\triangle \mathcal{V}_{n} =}{} +\frac{\lambda e^{-\mu _{3}\tau _{3}}}{g} \biggl( Z_{n+1}-\widetilde{Z}- \int _{ \widetilde{Z}}^{Z_{n+1}}\frac{\digamma _{5}(\widetilde{Z})}{\digamma _{5}( \varsigma )}\,d\varsigma \biggr) \biggr] \\ &\hphantom{\triangle \mathcal{V}_{n} =}{} +\frac{ ( c+d\digamma _{4}(\widetilde{Y}) ) }{\theta } \bigl( a+\lambda \digamma _{5}( \widetilde{Z}) \bigr) \digamma _{3} ( \widetilde{H} ) G \biggl( \frac{\digamma _{3} ( H _{n+1} ) }{\digamma _{3}(\widetilde{H})} \biggr) \\ &\hphantom{\triangle \mathcal{V}_{n} =}{} +\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3} \tau _{3}}}{\alpha +m}\varLambda (\widetilde{F},\widetilde{H}) \sum _{j=n-m_{1}+1}^{n}G \biggl( \frac{\varLambda ( F_{j+1},H_{j} ) }{\varLambda (\widetilde{F},\widetilde{H})} \biggr) \\ &\hphantom{\triangle \mathcal{V}_{n} =}{} +\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda ( \widetilde{F},\widetilde{H})\sum _{j=n-m_{2}+1}^{n}G \biggl( \frac{ \varLambda ( F_{j+1},H_{j} ) }{\varLambda (\widetilde{F}, \widetilde{H})} \biggr) \\ &\hphantom{\triangle \mathcal{V}_{n} =}{}+\gamma \varLambda ( \widetilde{F}, \widetilde{H} ) \sum_{j=n-m_{3}+1}^{n}G \biggl( \frac{\digamma _{2} ( S_{j+1} ) }{\digamma _{2} ( \widetilde{S} ) } \biggr) \\ &\hphantom{\triangle \mathcal{V}_{n} =}{} -\frac{1}{\phi ( h ) } \biggl[ \gamma \biggl( F_{n}- \widetilde{F}- \int _{\widetilde{F}}^{F_{n}}\frac{\varLambda ( \widetilde{F},\widetilde{H})}{\varLambda (\varsigma ,\widetilde{H})}\,d\varsigma \biggr) +\frac{me^{-\mu _{3}\tau _{3}}}{\alpha +m} \biggl( K _{n}-\widetilde{K}- \int _{\widetilde{K}}^{K_{n}}\frac{\digamma _{1}( \widetilde{K})}{\digamma _{1}(\varsigma )}\,d\varsigma \biggr) \\ &\hphantom{\triangle \mathcal{V}_{n} =}{} +e^{-\mu _{3}\tau _{3}} \biggl( S_{n}-\widetilde{S}- \int _{ \widetilde{S}}^{S_{n}}\frac{\digamma _{2}(\widetilde{S})}{\digamma _{2}( \varsigma )}\,d\varsigma \biggr) +\frac{ ( a+\lambda \digamma _{5}( \widetilde{Z}) ) }{\theta } \biggl( H_{n}-\widetilde{H}- \int _{\widetilde{H}}^{H_{n}}\frac{\digamma _{3}(\widetilde{H})}{ \digamma _{3}(\varsigma )}\,d\varsigma \biggr) \\ &\hphantom{\triangle \mathcal{V}_{n} =}{} +\frac{d ( a+\lambda \digamma _{5}(\widetilde{Z}) ) }{q\theta } \biggl( Y_{n}-\widetilde{Y}- \int _{\widetilde{Y}}^{Y_{n}}\frac{ \digamma _{4}(\widetilde{Y})}{\digamma _{4}(\varsigma )}\,d\varsigma \biggr) \\ &\hphantom{\triangle \mathcal{V}_{n} =}{}+\frac{\lambda e^{-\mu _{3}\tau _{3}}}{g} \biggl( Z_{n}-\widetilde{Z}- \int _{ \widetilde{Z}}^{Z_{n}}\frac{\digamma _{5}(\widetilde{Z})}{\digamma _{5}( \varsigma )}\,d\varsigma \biggr) \biggr] \\ &\hphantom{\triangle \mathcal{V}_{n} =}{} -\frac{ ( c+d\digamma _{4}(\widetilde{Y}) ) }{\theta } \bigl( a+\lambda \digamma _{5}( \widetilde{Z}) \bigr) \digamma _{3} ( \widetilde{H} ) G \biggl( \frac{\digamma _{3} ( H _{n} ) }{\digamma _{3}(\widetilde{H})} \biggr) \\ &\hphantom{\triangle \mathcal{V}_{n} =}{} -\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3} \tau _{3}}}{\alpha +m}\varLambda (\widetilde{F},\widetilde{H})\sum _{j=n-m _{1}}^{n-1}G \biggl( \frac{\varLambda ( F_{j+1},H_{j} ) }{ \varLambda (\widetilde{F},\widetilde{H})} \biggr) \\ &\hphantom{\triangle \mathcal{V}_{n} =}{} -\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda ( \widetilde{F},\widetilde{H})\sum _{j=n-m_{2}}^{n-1}G \biggl( \frac{ \varLambda ( F_{j+1},H_{j} ) }{\varLambda (\widetilde{F}, \widetilde{H})} \biggr) -\gamma \varLambda ( \widetilde{F}, \widetilde{H} ) \sum_{j=n-m_{3}}^{n-1}G \biggl( \frac{\digamma _{2} ( S_{j+1} ) }{\digamma _{2} ( \widetilde{S} ) } \biggr) , \\ &\Delta \mathcal{V}_{n} =\frac{1}{\phi ( h ) } \biggl[ \gamma \biggl( F_{n+1}-F_{n}- \int _{F_{n}}^{F_{n+1}}\frac{\varLambda ( \widetilde{F},\widetilde{H})}{\varLambda (\varsigma ,\widetilde{H})}\,d\varsigma \biggr) \\ &\hphantom{\triangle \mathcal{V}_{n} =}{} +\frac{me^{-\mu _{3}\tau _{3}}}{\alpha +m} \biggl( K _{n+1}-K_{n}- \int _{K_{n}}^{K_{n+1}}\frac{\digamma _{1}(\widetilde{K})}{ \digamma _{1}(\varsigma )}\,d\varsigma \biggr) \\ &\hphantom{\triangle \mathcal{V}_{n} =}{} +e^{-\mu _{3}\tau _{3}} \biggl( S_{n+1}-S_{n}- \int _{S_{n}}^{S_{n+1}}\frac{ \digamma _{2}(\widetilde{S})}{\digamma _{2}(\varsigma )}\,d\varsigma \biggr) \\ &\hphantom{\triangle \mathcal{V}_{n} =}{} +\frac{ ( a+\lambda \digamma _{5}(\widetilde{Z}) ) }{\theta } \biggl( H_{n+1}-H_{n}- \int _{H_{n}}^{H_{n}+1}\frac{\digamma _{3}(\widetilde{H})}{\digamma _{3}( \varsigma )}\,d\varsigma \biggr) \\ &\hphantom{\triangle \mathcal{V}_{n} =}{} +\frac{d ( a+\lambda \digamma _{5}(\widetilde{Z}) ) }{q\theta } \biggl( Y_{n+1}-Y_{n}- \int _{Y_{n}}^{Y_{n+1}}\frac{\digamma _{4}( \widetilde{Y})}{\digamma _{4}(\varsigma )}\,d\varsigma \biggr) \\ &\hphantom{\triangle \mathcal{V}_{n} =}{} +\frac{ \lambda e^{-\mu _{3}\tau _{3}}}{g} \biggl( Z_{n+1}-Z_{n}- \int _{Z_{n}} ^{Z_{n+1}} \frac{\digamma _{5}(\widetilde{Z})}{\digamma _{5}(\varsigma )}\,d \varsigma \biggr) \biggr] \\ &\hphantom{\triangle \mathcal{V}_{n} =}{} +\frac{ ( c+d\digamma _{4}(\widetilde{Y}) ) }{\theta } \bigl( a+\lambda \digamma _{5}( \widetilde{Z}) \bigr) \digamma _{3} ( \widetilde{H} ) \biggl[ G \biggl( \frac{\digamma _{3} ( H_{n+1} ) }{\digamma _{3}(\widetilde{H})} \biggr) -G \biggl( \frac{\digamma _{3} ( H_{n} ) }{\digamma _{3}( \widetilde{H})} \biggr) \biggr] \\ &\hphantom{\triangle \mathcal{V}_{n} =}{} +\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3} \tau _{3}}}{\alpha +m}\varLambda (\widetilde{F},\widetilde{H}) \Biggl( \sum _{j=n-m_{1}+1}^{n}G \biggl( \frac{\varLambda ( F_{j+1},H_{j} ) }{\varLambda (\widetilde{F},\widetilde{H})} \biggr) \\ &\hphantom{\triangle \mathcal{V}_{n} =}{} -\sum_{j=n-m_{1}}^{n-1}G \biggl( \frac{\varLambda ( F_{j+1},H_{j} ) }{\varLambda (\widetilde{F},\widetilde{H})} \biggr) \Biggr) \\ &\hphantom{\triangle \mathcal{V}_{n} =}{} +\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda ( \widetilde{F},\widetilde{H}) \Biggl( \sum_{j=n-m_{2}+1}^{n}G \biggl( \frac{ \varLambda ( F_{j+1},H_{j} ) }{\varLambda (\widetilde{F}, \widetilde{H})} \biggr) -\sum_{j=n-m_{2}}^{n-1}G \biggl( \frac{\varLambda ( F_{j+1},H_{j} ) }{\varLambda (\widetilde{F},\widetilde{H})} \biggr) \Biggr) \\ &\hphantom{\triangle \mathcal{V}_{n} =}{} +\gamma \varLambda ( \widetilde{F},\widetilde{H} ) \Biggl( \sum _{j=n-m_{3}+1}^{n}G \biggl( \frac{\digamma _{2} ( S_{j+1} ) }{\digamma _{2} ( \widetilde{S} ) } \biggr) -\sum_{j=n-m _{3}}^{n-1}G \biggl( \frac{\digamma _{2} ( S_{j+1} ) }{ \digamma _{2} ( \widetilde{S} ) } \biggr) \Biggr) . \end{aligned}$$

Using inequalities (45) and (46) by replacing $F^{\ast }$, $H^{\ast }$, $\rho ^{\ast }$ with F̃, H̃, ρ̃, we obtain

$$\begin{aligned} \Delta \mathcal{V}_{n} \leq{}& \frac{1}{\phi ( h ) } \biggl[ \gamma \biggl( 1-\frac{\varLambda (\widetilde{F},\widetilde{H})}{\varLambda (F_{n+1},\widetilde{H})} \biggr) ( F_{n+1}-F_{n} ) +\frac{me ^{-\mu _{3}\tau _{3}}}{\alpha +m} \biggl( 1-\frac{\digamma _{1}( \widetilde{K})}{\digamma _{1}(K_{n+1})} \biggr) ( K_{n+1}-K_{n} ) \\ &{} +e^{-\mu _{3}\tau _{3}} \biggl( 1-\frac{\digamma _{2}(\widetilde{S})}{ \digamma _{2}(S_{n+1})} \biggr) ( S_{n+1}-S_{n} ) \\ &{} +\frac{ ( a+\lambda \digamma _{5}(\widetilde{Z}) ) }{\theta } \biggl( 1- \frac{\digamma _{3}(\widetilde{H})}{\digamma _{3}(H_{n+1})} \biggr) ( H_{n+1}-H_{n} ) \\ &{} +\frac{d ( a+\lambda \digamma _{5}(\widetilde{Z}) ) }{q\theta } \biggl( 1-\frac{\digamma _{4}(\widetilde{Y})}{\digamma _{4}(Y _{n+1})} \biggr) ( Y_{n+1}-Y_{n} ) \\ &{} +\frac{\lambda e^{-\mu _{3}\tau _{3}}}{g} \biggl( 1- \frac{\digamma _{5}(\widetilde{Z})}{\digamma _{5}(Z_{n+1})} \biggr) ( Z_{n+1}-Z_{n} ) \biggr] \\ &{} +\frac{ ( c+d\digamma _{4}(\widetilde{Y}) ) }{\theta } \bigl( a+\lambda \digamma _{5}( \widetilde{Z}) \bigr) \digamma _{3} ( \widetilde{H} ) \biggl[ \frac{\digamma _{3} ( H_{n+1} ) }{\digamma _{3}(\widetilde{H})}-\frac{\digamma _{3} ( H_{n} ) }{\digamma _{3}(\widetilde{H})}+\ln \biggl( \frac{ \digamma _{3} ( H_{n} ) }{\digamma _{3} ( H_{n+1} ) } \biggr) \biggr] \\ & {}+\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3} \tau _{3}}}{\alpha +m}\varLambda (\widetilde{F},\widetilde{H}) \biggl[ \frac{ \varLambda ( F_{n+1},H_{n} ) }{\varLambda (\widetilde{F}, \widetilde{H})}-\frac{\varLambda ( F_{n-m_{1}+1},H_{n-m_{1}} ) }{\varLambda (\widetilde{F},\widetilde{H})} \\ &{} +\ln \biggl( \frac{\varLambda ( F_{n-m_{1}+1},H_{n-m _{1}} ) }{\varLambda ( F_{n+1},H_{n} ) } \biggr) \biggr] \\ & {}+\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda ( \widetilde{F},\widetilde{H}) \biggl[ \frac{\varLambda ( F_{n+1},H _{n} ) }{\varLambda (\widetilde{F},\widetilde{H})}-\frac{\varLambda ( F_{n-m_{2}+1},H_{n-m_{2}} ) }{\varLambda (\widetilde{F}, \widetilde{H})} \\ &{} +\ln \biggl( \frac{\varLambda ( F_{n-m_{2}+1},H_{n-m _{2}} ) }{\varLambda ( F_{n+1},H_{n} ) } \biggr) \biggr] \\ &{} +\gamma \varLambda ( \widetilde{F},\widetilde{H} ) \biggl[ \frac{\digamma _{2} ( S_{n+1} ) }{\digamma _{2} ( \widetilde{S} ) }-\frac{\digamma _{2} ( S_{n-m_{3}+1} ) }{\digamma _{2} ( \widetilde{S} ) }+\ln \biggl( \frac{ \digamma _{2} ( S_{n-m_{3}+1} ) }{\digamma _{2} ( S_{n+1} ) } \biggr) \biggr] . \end{aligned}$$

From Eqs. (11)–(16) we have

$$\begin{aligned} &\Delta \mathcal{V}_{n} \leq \gamma \biggl( 1- \frac{\varLambda ( \widetilde{F},\widetilde{H})}{\varLambda (F_{n+1},\widetilde{H})} \biggr) \bigl( \varTheta ( F_{n+1} ) -\varLambda ( F_{n+1},H_{n} ) \bigr) \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{} +\frac{me^{-\mu _{3}\tau _{3}}}{\alpha +m} \biggl( 1-\frac{\digamma _{1}( \widetilde{K})}{\digamma _{1}(K_{n+1})} \biggr) \bigl[ ( 1- \varepsilon ) e^{-\mu _{1}\tau _{1}}\varLambda ( F_{n-m_{1}+1},H _{n-m_{1}} ) \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{} - ( \alpha +m ) \digamma _{1} ( K _{n+1} ) \bigr] \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{} +e^{-\mu _{3}\tau _{3}} \biggl( 1-\frac{\digamma _{2}(\widetilde{S})}{ \digamma _{2}(S_{n+1})} \biggr) \bigl[ \varepsilon e^{-\mu _{2}\tau _{2}}\varLambda ( F_{n-m_{2}+1},H_{n-m_{2}} ) +m\digamma _{1} ( K_{n+1} ) -a\digamma _{2} ( S_{n+1} ) \\ & \hphantom{\Delta \mathcal{V}_{n} \leq}{}-\lambda \digamma _{2} ( S_{n+1} ) \digamma _{5} ( Z_{n+1} ) \bigr] \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{} +\frac{ ( a+\lambda \digamma _{5}(\widetilde{Z}) ) }{ \theta } \biggl( 1-\frac{\digamma _{3}(\widetilde{H})}{\digamma _{3}(H _{n+1})} \biggr) \bigl[ \theta e^{-\mu _{3}\tau _{3}}\digamma _{2} ( S_{n-m_{3}+1} ) -c\digamma _{3} ( H_{n+1} ) \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{} -d\digamma _{3} ( H_{n+1} ) \digamma _{4} ( Y_{n+1} ) \bigr] \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{} +\frac{d ( a+\lambda \digamma _{5}(\widetilde{Z}) ) }{q \theta } \biggl( 1-\frac{\digamma _{4}(\widetilde{Y})}{\digamma _{4}(Y _{n+1})} \biggr) \bigl[ q \digamma _{3} ( H_{n+1} ) \digamma _{4} ( Y_{n+1} ) -\eta \digamma _{4} ( Y_{n+1} ) \bigr] \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{} +\frac{\lambda e^{-\mu _{3}\tau _{3}}}{g} \biggl( 1-\frac{\digamma _{5}( \widetilde{Z})}{\digamma _{5}(Z_{n+1})} \biggr) \bigl[ g \digamma _{2} ( S_{n+1} ) \digamma _{5} ( Z_{n+1} ) -\xi \digamma _{5} ( Z_{n+1} ) \bigr] \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{} +\frac{ ( c+d\digamma _{4}(\widetilde{Y}) ) }{\theta } \bigl( a+\lambda \digamma _{5}( \widetilde{Z}) \bigr) \digamma _{3} ( \widetilde{H} ) \biggl[ \frac{\digamma _{3} ( H_{n+1} ) }{\digamma _{3}(\widetilde{H})}-\frac{\digamma _{3} ( H_{n} ) }{\digamma _{3}(\widetilde{H})}+\ln \biggl( \frac{ \digamma _{3} ( H_{n} ) }{\digamma _{3} ( H_{n+1} ) } \biggr) \biggr] \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{} +\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3} \tau _{3}}}{\alpha +m}\varLambda (\widetilde{F},\widetilde{H}) \biggl[ \frac{ \varLambda ( F_{n+1},H_{n} ) }{\varLambda (\widetilde{F}, \widetilde{H})}-\frac{\varLambda ( F_{n-m_{1}+1},H_{n-m_{1}} ) }{\varLambda (\widetilde{F},\widetilde{H})} \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{} +\ln \biggl( \frac{\varLambda ( F_{n-m_{1}+1},H_{n-m _{1}} ) }{\varLambda ( F_{n+1},H_{n} ) } \biggr) \biggr] \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{} +\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda ( \widetilde{F},\widetilde{H}) \biggl[ \frac{\varLambda ( F_{n+1},H _{n} ) }{\varLambda (\widetilde{F},\widetilde{H})}-\frac{\varLambda ( F_{n-m_{2}+1},H_{n-m_{2}} ) }{\varLambda (\widetilde{F}, \widetilde{H})} \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{}+\ln \biggl( \frac{\varLambda ( F_{n-m_{2}+1},H_{n-m _{2}} ) }{\varLambda ( F_{n+1},H_{n} ) } \biggr) \biggr] \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{} +\gamma \varLambda ( \widetilde{F},\widetilde{H} ) \biggl[ \frac{\digamma _{2} ( S_{n+1} ) }{\digamma _{2} ( \widetilde{S} ) }-\frac{\digamma _{2} ( S_{n-m_{3}+1} ) }{\digamma _{2} ( \widetilde{S} ) }+\ln \biggl( \frac{ \digamma _{2} ( S_{n-m_{3}+1} ) }{\digamma _{2} ( S_{n+1} ) } \biggr) \biggr], \\ &\Delta \mathcal{V}_{n} \leq \gamma \biggl( 1- \frac{\varLambda ( \widetilde{F},\widetilde{H})}{\varLambda (F_{n+1},\widetilde{H})} \biggr) \bigl( \varTheta ( F_{n+1} ) -\varTheta ( \widetilde{F} ) \bigr) +\gamma \varTheta ( \widetilde{F} ) \biggl( 1- \frac{\varLambda (\widetilde{F}, \widetilde{H})}{\varLambda (F_{n+1},\widetilde{H})} \biggr) \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{} +\gamma \frac{\varLambda (\widetilde{F},\widetilde{H})}{\varLambda (F _{n+1},\widetilde{H})}\varLambda ( F_{n+1},H_{n} ) -\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3}\tau _{3}}}{ \alpha +m}\varLambda ( F_{n-m_{1}+1},H_{n-m_{1}} ) \frac{ \digamma _{1}(\widetilde{K})}{\digamma _{1}(K_{n+1})} \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{} +me^{-\mu _{3}\tau _{3}}\digamma _{1}(\widetilde{K})-\varepsilon e ^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda ( F_{n-m_{2}+1},H _{n-m_{2}} ) \frac{\digamma _{2}(\widetilde{S})}{\digamma _{2}(S _{n+1})} \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{}-me^{-\mu _{3}\tau _{3}}\digamma _{1} ( K_{n+1} ) \frac{ \digamma _{2}(\widetilde{S})}{\digamma _{2}(S_{n+1})} \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{} -ae^{-\mu _{3}\tau _{3}}\digamma _{2} ( S_{n+1} ) +\lambda e^{-\mu _{3}\tau _{3}}\digamma _{2}(\widetilde{S})\digamma _{5} ( Z _{n+1} ) +ae^{-\mu _{3}\tau _{3}}\digamma _{2}(\widetilde{S}) \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{}+ \bigl( a+\lambda \digamma _{5}( \widetilde{Z}) \bigr) e^{-\mu _{3}\tau _{3}}\digamma _{2}(S_{n-m_{3}+1}) \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{} - \bigl( a+\lambda \digamma _{5}(\widetilde{Z}) \bigr) e^{-\mu _{3} \tau _{3}}\digamma _{2}(S_{n-m_{3}+1}) \frac{\digamma _{3}(\widetilde{H})}{ \digamma _{3}(H_{n+1})}+\frac{ ( a+\lambda \digamma _{5}( \widetilde{Z}) ) c}{\theta }\digamma _{3} ( \widetilde{H} ) \\ & \hphantom{\Delta \mathcal{V}_{n} \leq}{}+\frac{d ( a+\lambda \digamma _{5}(\widetilde{Z}) ) }{q \theta }\digamma _{3} ( \widetilde{H} ) \digamma _{4} ( Y_{n+1} ) -\frac{d ( a+\lambda \digamma _{5}(\widetilde{Z}) ) \eta }{q\theta }\digamma _{4} ( Y_{n+1} ) \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{} +\frac{d ( a+\lambda \digamma _{5}(\widetilde{Z}) ) \eta }{q\theta }\digamma _{4}(\widetilde{Y})-\lambda e^{-\mu _{3}\tau _{3}}\digamma _{5} ( \widetilde{Z} ) \digamma _{2} ( S _{n+1} ) -\frac{\lambda e^{-\mu _{3}\tau _{3}}\xi }{g}\digamma _{5} ( Z_{n+1} ) \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{} + \frac{\lambda e^{-\mu _{3}\tau _{3}}\xi }{g}\digamma _{5} ( \widetilde{Z} ) \\ & \hphantom{\Delta \mathcal{V}_{n} \leq}{}-\frac{ ( c+d\digamma _{4}(\widetilde{Y}) ) }{\theta } \bigl( a+\lambda \digamma _{5}( \widetilde{Z}) \bigr) \digamma _{3} ( H_{n} ) \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{} + \frac{ ( c+d\digamma _{4}(\widetilde{Y}) ) }{\theta } \bigl( a+\lambda \digamma _{5}(\widetilde{Z}) \bigr) \digamma _{3} ( \widetilde{H} ) \ln \biggl( \frac{\digamma _{3} ( H_{n} ) }{\digamma _{3} ( H_{n+1} ) } \biggr) \\ & \hphantom{\Delta \mathcal{V}_{n} \leq}{}+\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3} \tau _{3}}}{\alpha +m}\varLambda (\widetilde{F},\widetilde{H})\ln \biggl( \frac{\varLambda ( F_{n-m_{1}+1},H_{n-m_{1}} ) }{\varLambda ( F_{n+1},H_{n} ) } \biggr) \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{} +\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda ( \widetilde{F},\widetilde{H})\ln \biggl( \frac{\varLambda ( F_{n-m _{2}+1},H_{n-m_{2}} ) }{\varLambda ( F_{n+1},H_{n} ) } \biggr) \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{} +\gamma \varLambda ( \widetilde{F},\widetilde{H} ) \biggl( \frac{\digamma _{2} ( S_{n+1} ) }{\digamma _{2} ( \widetilde{S} ) }-\frac{\digamma _{2} ( S_{n-m_{3}+1} ) }{\digamma _{2} ( \widetilde{S} ) }+\ln \biggl( \frac{ \digamma _{2} ( S_{n-m_{3}+1} ) }{\digamma _{2} ( S_{n+1} ) } \biggr) \biggr) . \end{aligned}$$

Using the conditions of Q̃

$$\begin{aligned} &\varTheta ( \widetilde{F} ) =\varLambda ( \widetilde{F}, \widetilde{H} ) , \\ &( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}}\varLambda ( \widetilde{F},\widetilde{H} ) = ( \alpha +m ) \digamma _{1} ( \widetilde{K} ) , \\ &\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda ( \widetilde{F},\widetilde{H} ) +me^{-\mu _{3}\tau _{3}}\digamma _{1} ( \widetilde{K} ) =\gamma \varLambda ( \widetilde{F},\widetilde{H} ) = \bigl( a+\lambda \digamma _{5} ( \widetilde{Z} ) \bigr) e^{-\mu _{3}\tau _{3}}\digamma _{2} ( \widetilde{S} ) , \\ &\theta e^{-\mu _{3}\tau _{3}}\digamma _{2} ( \widetilde{S} ) = \bigl( c+d\digamma _{4}(\widetilde{Y}) \bigr) \digamma _{3} ( \widetilde{H} ) , \\ &\digamma _{2} ( \widetilde{S} ) =\frac{\xi }{g},\qquad \digamma _{3} ( \widetilde{H} ) =\frac{\eta }{q}, \end{aligned}$$

we get

$$\begin{aligned} &\Delta \mathcal{V}_{n} \leq \gamma \biggl( 1- \frac{\varLambda ( \widetilde{F},\widetilde{H})}{\varLambda (F_{n+1},\widetilde{H})} \biggr) \bigl( \varTheta ( F_{n+1} ) -\varTheta ( \widetilde{F} ) \bigr) +\gamma \varLambda (\widetilde{F}, \widetilde{H}) \biggl( 1-\frac{\varLambda (\widetilde{F},\widetilde{H})}{ \varLambda (F_{n+1},\widetilde{H})} \biggr) \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{} +\gamma \varLambda (\widetilde{F},\widetilde{H})\frac{\varLambda (F_{n+1},H _{n})}{\varLambda (F_{n+1},\widetilde{H})} \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{}- \frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3}\tau _{3}}}{\alpha +m}\varLambda ( \widetilde{F},\widetilde{H}) \frac{\varLambda ( F_{n-m_{1}+1},H_{n-m _{1}} ) \digamma _{1}(\widetilde{K})}{\varLambda (\widetilde{F}, \widetilde{H})\digamma _{1}(K_{n+1})} \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{} +\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3} \tau _{3}}}{\alpha +m}\varLambda (\widetilde{F},\widetilde{H}) \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{}-\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda (\widetilde{F}, \widetilde{H})\frac{\varLambda ( F_{n-m_{2}+1},H_{n-m_{2}} ) \digamma _{2}(\widetilde{S})}{\varLambda (\widetilde{F},\widetilde{H}) \digamma _{2}(S_{n+1})} \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{} -\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3} \tau _{3}}}{\alpha +m}\varLambda (\widetilde{F},\widetilde{H}) \frac{ \digamma _{1}(K_{n+1})\digamma _{2}(\widetilde{S})}{\digamma _{1}( \widetilde{K})\digamma _{2}(S_{n+1})}+\gamma \varLambda (\widetilde{F}, \widetilde{H}) \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{}-\gamma \varLambda (\widetilde{F},\widetilde{H})\frac{ \digamma _{3}(\widetilde{H})\digamma _{2} ( S_{n-m_{3}+1} ) }{ \digamma _{3}(H_{n+1})\digamma _{2}(\widetilde{S})} \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{} +\gamma \varLambda (\widetilde{F},\widetilde{H})-\gamma \varLambda ( \widetilde{F},\widetilde{H})\frac{\digamma _{3}(H_{n})}{\digamma _{3}( \widetilde{H})} \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{}+\gamma \varLambda ( \widetilde{F},\widetilde{H})\ln \biggl( \frac{\digamma _{3} ( H_{n} ) }{\digamma _{3} ( H_{n+1} ) } \biggr) \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{} +\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3} \tau _{3}}}{\alpha +m}\varLambda (\widetilde{F},\widetilde{H})\ln \biggl( \frac{\varLambda ( F_{n-m_{1}+1},H_{n-m_{1}} ) }{\varLambda ( F_{n+1},H_{n} ) } \biggr) \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{} +\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda ( \widetilde{F},\widetilde{H})\ln \biggl( \frac{\varLambda ( F_{n-m _{2}+1},H_{n-m_{2}} ) }{\varLambda ( F_{n+1},H_{n} ) } \biggr) \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{}+\gamma \varLambda (\widetilde{F}, \widetilde{H})\ln \biggl( \frac{ \digamma _{2} ( S_{n-m_{3}+1} ) }{\digamma _{2} ( S_{n+1} ) } \biggr) \\ &\hphantom{\Delta \mathcal{V}_{n} }{} =\gamma \biggl( 1-\frac{\varLambda (\widetilde{F},\widetilde{H})}{ \varLambda (F_{n+1},\widetilde{H})} \biggr) \bigl( \varTheta ( F_{n+1} ) -\varTheta ( \widetilde{F} ) \bigr) \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{} +\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3}\tau _{3}}}{ \alpha +m} \varLambda (\widetilde{F},\widetilde{H}) \biggl[ 5-\frac{\varLambda (\widetilde{F},\widetilde{H})}{\varLambda (F_{n+1},\widetilde{H})} \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{} -\frac{\varLambda ( F_{n-m_{1}+1},H_{n-m_{1}} ) \digamma _{1}( \widetilde{K})}{\varLambda (\widetilde{F},\widetilde{H})\digamma _{1}(K _{n+1})}-\frac{\digamma _{1}(K_{n+1})\digamma _{2}(\widetilde{S})}{ \digamma _{1}(\widetilde{K})\digamma _{2}(S_{n+1})} \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{}-\frac{\digamma _{3}( \widetilde{H})\digamma _{2} ( S_{n-m_{3}+1} ) }{\digamma _{3}(H _{n+1})\digamma _{2}(\widetilde{S})}- \frac{\varLambda ( F_{n+1}, \widetilde{H} ) \digamma _{3}(H_{n})}{\varLambda ( F_{n+1},H _{n} ) \digamma _{3}(\widetilde{H})} \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{} +\ln \biggl( \frac{\varLambda ( F_{n-m_{1}+1},H_{n-m _{1}} ) \digamma _{2} ( S_{n-m_{3}+1} ) \digamma _{3} ( H_{n} ) }{\varLambda ( F_{n+1},H_{n} ) \digamma _{2}(S_{n+1})\digamma _{3} ( H_{n+1} ) } \biggr) \biggr] \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{} +\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3}\tau _{3}}\varLambda ( \widetilde{F},\widetilde{H}) \biggl[ 4-\frac{\varLambda (\widetilde{F}, \widetilde{H})}{\varLambda (F_{n+1},\widetilde{H})}-\frac{\varLambda ( F_{n-m_{2}+1},H_{n-m_{2}} ) \digamma _{2}(\widetilde{S})}{\varLambda (\widetilde{F},\widetilde{H})\digamma _{2}(S_{n+1})} \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{}-\frac{\digamma _{3}(\widetilde{H})\digamma _{2} ( S_{n-m_{3}+1} ) }{ \digamma _{3}(H_{n+1})\digamma _{2}(\widetilde{S})} \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{} -\frac{\varLambda ( F_{n+1},\widetilde{H} ) \digamma _{3}(H_{n})}{\varLambda ( F_{n+1},H_{n} ) \digamma _{3}(\widetilde{H})}+\ln \biggl( \frac{\varLambda ( F_{n-m_{2}+1},H _{n-m_{2}} ) \digamma _{2} ( S_{n-m_{3}+1} ) \digamma _{3} ( H_{n} ) }{\varLambda ( F_{n+1},H_{n} ) \digamma _{2}(S_{n+1})\digamma _{3} ( H_{n+1} ) } \biggr) \biggr] \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{} +\gamma \varLambda (\widetilde{F},\widetilde{H}) \biggl[ -1+ \frac{ \varLambda ( F_{n+1},\widetilde{H} ) \digamma _{3}(H_{n})}{ \varLambda ( F_{n+1},H_{n} ) \digamma _{3}(\widetilde{H})}+\frac{ \varLambda (F_{n+1},H_{n})}{\varLambda (F_{n+1},\widetilde{H})}-\frac{ \digamma _{3} ( H_{n} ) }{\digamma _{3}(\widetilde{H})} \biggr] , \\ &\Delta \mathcal{V}_{n} \leq \gamma \biggl( 1- \frac{\varLambda ( \widetilde{F},\widetilde{H})}{\varLambda (F_{n+1},\widetilde{H})} \biggr) \bigl( \varTheta ( F_{n+1} ) -\varTheta ( \widetilde{F} ) \bigr) \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{}-\frac{m ( 1-\varepsilon ) e^{-\mu _{1}\tau _{1}-\mu _{3}\tau _{3}}}{\alpha +m}\varLambda ( \widetilde{F}, \widetilde{H}) \biggl[ G \biggl( \frac{\varLambda ( \widetilde{F},\widetilde{H})}{\varLambda (F_{n+1},\widetilde{H})} \biggr) \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{} +G \biggl( \frac{\varLambda ( F_{n-m_{1}+1},H_{n-m_{1}} ) \digamma _{1}(\widetilde{K})}{\varLambda (\widetilde{F},\widetilde{H}) \digamma _{1}(K_{n+1})} \biggr) +G \biggl( \frac{\digamma _{1}(K_{n+1}) \digamma _{2}(\widetilde{S})}{\digamma _{1}(\widetilde{K})\digamma _{2}(S _{n+1})} \biggr) \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{} +G \biggl( \frac{\digamma _{3}(\widetilde{H})\digamma _{2} ( S_{n-m_{3}+1} ) }{\digamma _{3}(H_{n+1})\digamma _{2}( \widetilde{S})} \biggr) \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{} +G \biggl( \frac{\varLambda ( F_{n+1},\widetilde{H} ) \digamma _{3}(H_{n})}{\varLambda ( F_{n+1},H_{n} ) \digamma _{3}( \widetilde{H})} \biggr) \biggr] -\varepsilon e^{-\mu _{2}\tau _{2}-\mu _{3} \tau _{3}}\varLambda (\widetilde{F},\widetilde{H}) \biggl[ G \biggl( \frac{ \varLambda (\widetilde{F},\widetilde{H})}{\varLambda (F_{n+1},\widetilde{H})} \biggr) \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{} +G \biggl( \frac{\varLambda ( F_{n-m_{2}+1},H_{n-m_{2}} ) \digamma _{2}(\widetilde{S})}{\varLambda (\widetilde{F},\widetilde{H})\digamma _{2}(S_{n+1})} \biggr) +G \biggl( \frac{\digamma _{3}(\widetilde{H})\digamma _{2} ( S_{n-m_{3}+1} ) }{\digamma _{3}(H_{n+1})\digamma _{2}( \widetilde{S})} \biggr) \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{}+G \biggl( \frac{\varLambda ( F_{n+1}, \widetilde{H} ) \digamma _{3}(H_{n})}{\varLambda ( F_{n+1},H _{n} ) \digamma _{3}(\widetilde{H})} \biggr) \biggr] \\ &\hphantom{\Delta \mathcal{V}_{n} \leq}{} +\gamma \varLambda (\widetilde{F},\widetilde{H}) \biggl( 1- \frac{ \varLambda (F_{n+1},\widetilde{H})}{\varLambda (F_{n+1},H_{n})} \biggr) \biggl( \frac{\varLambda (F_{n+1},H_{n})}{\varLambda (F_{n+1},\widetilde{H})}-\frac{ \digamma _{3} ( H_{n} ) }{\digamma _{3} ( \widetilde{H} ) } \biggr) . \end{aligned}$$

(59)

Using Conditions C1–C4, we get that the first and last terms of Eq. (59) are less than or equal to zero. Thus, $\mathcal{V}_{n}$ is a monotone decreasing sequence. Since $\mathcal{V}_{n}\geq 0$, then there is a limit $\lim_{n\rightarrow \infty }\mathcal{V}_{n}\geq 0$. Therefore, $\lim_{n\rightarrow \infty }\Delta \mathcal{V}_{n}=0$, which implies that $\lim_{n\rightarrow \infty }F_{n}=\widetilde{F}$, $\lim_{n\rightarrow \infty }K_{n}=\widetilde{K}$, $\lim_{n\rightarrow \infty }S_{n}=\widetilde{S}$, $\lim_{n\rightarrow \infty }H_{n}=\widetilde{H}$. From Eqs. (13) and (14) we have

$$\begin{aligned} &0 =\varepsilon e^{-\mu _{2}\tau _{2}}\varLambda ( \widetilde{F}, \widetilde{H} ) +m \digamma _{1} ( \widetilde{K} ) -a \digamma _{2} ( \widetilde{S} ) -\lambda \digamma _{2} ( \widetilde{S} ) \lim _{n\rightarrow \infty }\digamma _{5} ( Z_{n+1} ) , \\ &0 =\theta e^{-\mu _{3}\tau _{3}}\digamma _{2} ( \widetilde{S} ) -c \digamma _{3} ( \widetilde{H} ) -d \digamma _{2} ( \widetilde{H} ) \lim_{n\rightarrow \infty }\digamma _{4} ( Y_{n+1} ) , \end{aligned}$$

then $\lim_{n\rightarrow \infty }Y_{n}=\widetilde{Y}$ and $\lim_{n\rightarrow \infty }Z_{n}=\widetilde{Z}$. Then we get Q̃ is G.A.S. □