1 Introduction

Mathematical modeling of dynamical systems is a useful tool to analyze a variety of infectious diseases, to understand their dynamical behavior, to predict their impact on different populations, and to study how different factors can impact the evolution of diseases. One preferred technique to model the behavior of communicable diseases in the population is using systems of ordinary differential equations, where the state variables represent different sub-populations. These systems could be autonomous or nonautonomous depending on the nature of the parameters of the equations. For some infectious diseases and for some particular situations, it makes sense to consider parameters varying over the time, and then, a nonautonomous system is obtained. For instance, there are many diseases that vary depending on the environment conditions. Thus, if we take into account that in many regions around the world, there are four seasons, it seems logical to include the variability of the environment (Shobugawa et al. 2017; Vega et al. 2017; Paiva et al. 2012; Ferrero et al. 2016; Noyola and Mandeville 2008; Traoré and Sangaré 2017; Corberán-Vallet et al. 2018). Moreover, several researchers have remarked and studied the effects of climate change on diseases and ecology (Donaldson 2006; Fagan et al. 2014; Sengupta and Das 2019; Sekerci and Petrovskii 2015; Hurtado et al. 2014; Okuneye et al. 2018; Posny and Wang 2014; Codeço 2001). Then, one approach to include the effect of the weather in the aforementioned mathematical models is to allow time varying parameters. For instance, one disease that shows seasonal behavior is the respiratory syncytial virus (RSV) (Shobugawa et al. 2017; Vega et al. 2017; Paiva et al. 2012; Ferrero et al. 2016; Noyola and Mandeville 2008; Arenas et al. 2009; Jornet-Sanz et al. 2017).

In this paper, we study the dynamics of a developed age-structured population mathematical model driven by a seasonal forcing function to take into account the variability of the climate. In particular, the proposed model is an SEIR (susceptible-exposed-infected-recovered) type, which is suitable to model the dynamics of several diseases such as influenza, cholera, dengue, RSV, and others (Brauer 2017; Hethcote and van den Driessche 1991). For instance in Hogan et al. (2016b), the authors used an SEIRS model, to explore how the birth rate, varying immunity and seasonality, influences the different dynamics of RSV. Moreover, some authors have pointed out the relation between weather and the current COVID-19 pandemic (Azuma et al. 2020; Bashir et al. 2020; Malki et al. 2020).

Another important aspect of using this type of mathematical models is that once time the model is constructed, it is possible to fit the mathematical model to real data related to infected individuals to estimate the values of the unknown parameters to study different future outcomes or to study the impact of some health policies. It has been argued that nonautonomous models are in some cases more suitable, since the coefficients of the system are varying with the time; for example, the coefficients could be changed with the seasonal factors (White et al. 2007; Arenas et al. 2009; Rogovchenko and Rogovchenko 2009; Rosa and Torres 2018; González-Parra et al. 2009; Bezruchko and Smirnov 2000).

After Kermack-McKendrick published a deterministic model to represent disease transmission, many papers have been published in the direction of generalizing the rate of infection. In Capasso and Serio (1978), a generalization of the Kermack model was proposed, introducing an interaction term in which the dependence on the number of infectious occurs through a nonlinear bounded function that takes into account the saturation phenomena for a large number of infectious. This approach is different than the classical mass action and standard incidence functions where the function is not bounded. Using an interaction term that tends to a saturation level is more realistic to model many diseases (Hethcote and van den Driessche 1991; Capasso and Serio 1978; Brauer 2017).

One way to see the interaction term is by means of the functional form Sg(I), where the function g(I) is the force of infection. There are many functions that can be used for the function g(I). For instance, \(g(I)=\beta I\) would give a mass action transmission, which implies that the transmission rate increases with the size of the population, due to an increase of contacts with crowding. However, for some cases like diseases related to sexual contact, this assumption seems not realistic. Another situation that needs to be considered is that when there is a dangerous epidemic the people would react to reduce the number of contacts or even go to a self-quarantine to decrease the probability of infection (Capasso and Serio 1978; Hethcote and van den Driessche 1991). Thus, in some cases, it makes sense to assume a function g(I) with a saturate level or even a function that decreases for large number of infectives due to an awareness in the population (Capasso and Serio 1978). Mathematical models have been published using different types of infection force (Hethcote and van den Driessche 1991)

In Guerrero-Flores et al. (2019), the authors present a family of epidemiological models of the SIRS form, which model the transmission of a fatal disease, which has seasonal variations and has a periodic contagion rate. In these models, the force of infection is given by a function \(\beta (t)f(I)\) where I represents the number of infectious people. Using Leray–Schauder degree theory, they showed that the solutions are periodic depending on the value of the threshold parameter \(R_0\). Other interesting works related to periodic solutions include seasonally forced SIR and SEIRS models with impact of media coverage are presented in Zu and Wang (2015), Ávila-Vales et al. (2017).

When an epidemic model includes an incidence function that is nonlinear, usually, it presents complex structures which somehow reflect the effects of saturation. A typical functional form is the one based on the Holling type (Safi and Garba 2012), which is given by:

$$\begin{aligned} f(I_u,I_e)=\beta \dfrac{I_u}{1+\alpha _1 I_u}+\beta \dfrac{\eta I_e}{1+\alpha _2 I_e}, \end{aligned}$$
(1)

where \(\beta \) includes the product of the contact rate and the probability of transmission given a contact. In addition, the parameter \(\eta \) represents the effect of reducing the transmission of the disease by educated individuals compared to the class of the uneducated infectives. Thus, a minimum value of \(\eta =0\) means that educated individuals would not be able to spread the disease, and a maximum value of \(\eta =1\) means that both types of infectives transmit the disease with the same rate. Along these lines, a type of infection force has been defined as \(g(S,I)=kS^{h}I/(S^h+\alpha I^h)\) (Ren and Zhang 2017; Ponciano and Capistran 2011).

For many diseases, there is an incubation period after the individual has an effective contact with an infected individual. That is, the action of the pathogen is not immediate, but after a period of time has elapsed. The symptoms of the disease appear after the incubation period, and then, latent individuals enter the infectious class.

One step further beside the introduction of the force of infection functions with saturation effect is the use of functions varying on time. For instance, in Mateus and Silva (2017), the authors presented a force of infection given by a function of the form \(\beta (t)\phi (S,N,I)\). The authors presented the existence and stability analysis of endemic periodic solutions for a family of SEIRS models. Similar interesting models with some variants are also presented in Derrick and Van den Driessche (1993), Gao et al. (2018).

The force of infection is an inherent characteristic of each model, it has been generalized through different studies. In Luca et al. (2018), the authors proposed a force of infection for a susceptible individual with an age i, and given by the following expression:

$$\begin{aligned} \lambda (i,p,t)= \beta \sum _{j}C_{ij}(t)\dfrac{I^{p}_j(t)}{N^{p}(t)}, \end{aligned}$$
(2)

where j runs on age classes, \(I^{p}_j(t)\) and \(N^{p}(t)\) count the total number of infectious individuals of age group j and the total population size of patch p at time t, respectively. Other interesting works along these lines can be seen in Korobeinikov (2009), Valle et al. (2013), Blackwood and Childs (2018) and Gölgeli and Atay (2020).

In this paper, we generalize different mathematical models presented previously and mentioned above. In particular, we study the existence and the analytical behavior of a \(S_i,E_i,I_i,R_i\) type model. This model is based on a deterministic ordinary differential equation system, where the force of infection is given by a function \(\beta _i(t)f(I_1(t),I_2(t))),\) which generalizes the models presented in Hogan et al. (2016b), White et al. (2005), White et al. (2007), Weber et al. (2001), Hogan et al. (2016a) and Hogan et al. (2017). We employ some interesting ideas used in related works in mathematical modeling in epidemiology (Luca et al. 2018; Capasso and Serio 1978; Guerrero-Flores et al. 2019; Mateus and Silva 2017; Valle et al. 2013; Blackwood and Childs 2018; Gölgeli and Atay 2020; Safi and Garba 2012; Jia and Zhang 2014). The generalized model that we propose is given by the following nonautonomous system:

$$\begin{aligned} \dot{S_1}(t)&=\mu -\beta _1(t) S_1(t) f(I_1(t),I_2(t))+\nu R_1(t)-\eta S_1(t),\nonumber \\ \dot{E_1}(t)&=\beta _1(t) S_1(t) f(I_1(t),I_2(t))-\delta E_1(t)-\eta E_1(t),\nonumber \\ \dot{I_1}(t)&=\delta E_1(t)-\gamma I_1(t)-\eta I_1(t),\nonumber \\ \dot{R_1}(t)&=\gamma I_1(t)-\nu R_1(t)-\eta R_1(t),\nonumber \\ \dot{S_2}(t)&=\eta S_1(t) -\beta _2(t) S_2(t)f(I_1(t),I_2(t))+\nu R_2(t)-\eta S_2(t),\nonumber \\ \dot{E_2}(t)&=\eta E_1(t)+\beta _2(t) S_2(t)f(I_1(t),I_2(t))-\delta E_2(t)-\eta E_2(t),\nonumber \\ \dot{I_2}(t)&=\eta I_1(t)+\delta E_2(t)-\gamma I_2(t)-\eta I_2(t),\nonumber \\ \dot{R_2}(t)&=\eta R_1(t)+\gamma I_2(t)-\nu R_2(t)-\eta R_2(t), \end{aligned}$$
(3)

where \(N_i(t)=S_i(t)+E_i(t)+I_i(t)+R_i(t)\) for \(i=1,2\) and total population is given by \(N(t)=N_1(t)+N_2(t)\). Moreover, the parameter \(\mu \) is the birth rate, \(\eta \) is the aging rate, \(\beta _1(t), \beta _2(t)\) are T-periodic functions related to the transmission of the disease, \(1/\delta \) is the mean value of the latent period, \(1/\gamma \) is the mean value of the infectious period, and \(1/\nu \) is the mean value of the immunity period. The seasonal force of infection is given in terms of \(\beta _1(t)f(I_1,I_2), \beta _2(t)f(I_1,I_2)\) where \(\beta _2(t)=\alpha \beta _1(t)\) with \(0<\alpha <1,\) and \(\alpha \) is a scale parameter for reduced susceptibility for the age class \(i=2\) (older class). This type of infection force was presented in previous works (Blackwood and Childs 2018; Valle et al. 2013; Gölgeli and Atay 2020).

One important problem related to population dynamics is the study of epidemiological models in a seasonal environment. Thus, in this paper, we are interested in the analysis of the existence and global stability of positive periodic solutions. These last characteristics play a similar role as the globally stable equilibrium does in the autonomous models. Therefore, it is of paramount importance to find out the necessary conditions under which the nonautonomous system underlying the proposed mathematical model would present a positive periodic solution and to show that this particular solution is globally asymptotically stable.

We will start with some preliminary steps that will help to find the aforementioned conditions. First, since the model (3) is nonhomogeneous of degree one, and for the sake of clarity, we make the following change of variable:

$$\begin{aligned} w_{1}(t)=S_1(t),\quad w_{2}(t)=E_{1}(t), \quad w_{3}(t)=I_{1}(t),\quad w_{4}(t)=R_1(t), \\ w_{5}(t)=S_2(t),\quad w_{6}(t)=E_{2}(t), \quad w_{7}(t)=I_{2}(t),\quad w_{8}(t)=R_2(t), \end{aligned}$$

which that (3) can be written as:

$$\begin{aligned} \dot{w_1}(t)&=\mu -\beta _1(t) w_1(t) f(w_3(t),w_7(t))+\nu w_4(t)-\eta w_1(t),\nonumber \\ \dot{w_2}(t)&=\beta _1(t) w_1(t)f(w_3(t),w_7(t))-\delta w_2(t)-\eta w_2(t),\nonumber \\ \dot{w_3}(t)&=\delta w_2(t)-\gamma w_3(t)-\eta w_3(t),\nonumber \\ \dot{w_4}(t)&=\gamma w_3(t)-\nu w_4(t)-\eta w_4(t),\nonumber \\ \dot{w_5}(t)&=\eta w_1(t) -\beta _2(t) w_5(t)f(w_3(t),w_7(t))+\nu w_8(t)-\eta w_5(t),\nonumber \\ \dot{w_6}(t)&=\eta w_2(t)+\beta _2(t) w_5(t) f(w_3(t),w_7(t))-\delta w_6(t)-\eta w_6(t),\nonumber \\ \dot{w_7}(t)&=\eta w_3(t)+\delta w_6(t)-\gamma w_7(t)-\eta w_7(t),\nonumber \\ \dot{w_8}(t)&=\eta w_4(t)+\gamma w_7(t)-\nu w_8(t)-\eta w_8(t). \end{aligned}$$
(4)

This paper is organized in the following form. In Sect. 2, we present some notation and preliminary results for the sake of clarity. In the next Sect. 3, we prove the positivity and boundedness of the solutions. Our main results are presented in the next Sect. 4; we prove the existence of periodic solutions in terms of the related parameters of the model in a common interval period. In Sect. 5, we provide sufficient conditions that assure the global attractivity of the positive periodic solution. In Sect. 6, we conduct numerical simulations that support the theoretical results obtained. Finally, in Sect. 7, we draw the conclusions.

2 Notation and preliminary results

In this section, we will define some mathematical concepts. In addition, we will show some assumptions and establish some preliminary results. We define the following conventions:

$$\begin{aligned} \overline{h}=\frac{1}{T}\int _{0}^{T}h(t)\mathrm{d}t,\,\, h^{u}=\max \limits _{t\in [0,T]}h(t),\,\, h^{l}=\min \limits _{t\in [0,T]}h(t), \end{aligned}$$

where h(t) is a continuous T-periodic function. Next, the following hypotheses are assumed:

  • \(\left[ \mathrm{H}_1\right] \)  The parameters: \(\mu , \eta , \alpha , \delta , \gamma , \nu \) belong to \((0,M_T],\) where \(M_T>0.\)

  • \(\left[ \mathrm{H}_2\right] \)  There is \(T>0\), such that \(\beta _1(t), \beta _2(t)\) are positive T-periodic continuous functions in [0, T] and there are positive numbers \(\beta _1^{u},\beta _1^{l}\) with \(\beta _1^{u}\ge \beta _1(t)\ge \beta _1^{l}\),   and    \(\beta _2^{u} \ge \beta _2(t)\ge \beta _2^{l}.\)

  • \(\left[ \mathrm{H}_3\right] \)  \( f :[0,\infty )\times [0,\infty )\rightarrow [0,\infty )\) is a differentiable function. \(f(0,0)=0\), and \(f(x,y)>0,\) for all \(x,y>0.\)    \(\dfrac{\partial f(x,y)}{\partial x},\dfrac{\partial f(x,y)}{\partial y}>0,\) for all \(x,y\ge 0.\)

  • \(\left[ \mathrm{H}_4\right] \)  \(x\dfrac{\partial f(x,y)}{\partial x}+y\dfrac{\partial f(x,y)}{\partial y}-f(x,y)\le 0,\) for all \(x,y>0.\)

  • \(\left[ \mathrm{H}_5\right] \)  There exists a \(\zeta _2>0,\) such that for all \(x,y>0\), it holds that: \(0<f(x,y)\le \zeta _2\).

From system (3), it can be seen that the hypothesis \(\left[ \mathrm{H}_1\right] \), is biologically correct, since these represent time lapses and contact rates. Moreover, the presumption for \(\beta _1(t)\) and \(\beta _2(t)\) in \(\left[ \mathrm{H}_2\right] \) is a natural way to introduce seasonality in these types of models (White et al. 2005; Hogan et al. 2016a; Arenas et al. 2008). Now, from condition \(\left[ \mathrm{H}_3\right] ,\) if there are no infectives, then there is no contact between susceptible and infectives, which is biologically natural for the this mathematical model (3).

After some calculations, it is verified that the class of functions \(f(w_3, w_7)\) that represent the incidence rate, and that satisfy the above assumptions, are given by: \(f(w_3, w_7) = aw_3 + bw_7, (a, b> 0)\), which is considered in Mitchell and Kribs (2019), Blackwood and Childs (2018), Arenas et al. (2008), Hogan et al. (2016a), Hogan et al. (2017), Gölgeli and Atay (2020), and in the same way those presented in Eq. (1) and in Eq. (2). Indeed, for the case equation (1), we have:

  1. 1.

    \(f(0,0)=0,\,f(I_{u},I_{e})>0,\, \text { for all } I_{u}>0,\,I_{e}>0,\)

  2. 2.

    \(\dfrac{\partial f}{\partial I_{u}}(I_{u},I_{e})=\dfrac{\beta }{\left( 1+\alpha _1I_{u}\right) ^{2} }>0,\,\dfrac{\partial f}{\partial I_{e}}(I_{u},I_{e})=\dfrac{\beta \eta }{\left( 1+\alpha _2I_{e}\right) ^{2} }>0,\,\text { for all } I_{u},I_{e}\ge 0,\)

  3. 3.

    \(\dfrac{I_{u}\beta }{\left( 1+\alpha _1I_{u}\right) ^{2} }+\dfrac{I_{e}\beta \eta }{\left( 1+\alpha _2I_{e}\right) ^{2} }-\dfrac{I_{u}\beta }{\left( 1+\alpha _1I_{u}\right) }-\dfrac{I_{e}\beta \eta }{\left( 1+\alpha _2I_{e}\right) }\le 0,\,\text { for all } I_{u},I_{e}\ge 0,\)

  4. 4.

    \(0<f(I_{u},I_{e})=\dfrac{\beta \alpha _1I_{u}}{\alpha _1\left( 1+\alpha _1I_{u}\right) }+\dfrac{\beta \eta \alpha _2I_{e}}{\alpha _2\left( 1+\alpha _2I_{e}\right) }<\dfrac{\beta }{\alpha _1}+\dfrac{\beta \eta }{\alpha _2}=\zeta _2,\,\text { for all } I_{u},I_{e}>0.\)

Another type of incidence functions less general than the bi-linear one that we use and present in Eq. (1) are functions of the form \(f(w_3)=\beta w_3/(1 + kw_3)\). These particular forms have been used to represent psychological or media effects for the infected population, and can be seen in Safi and Garba (2012), Guerrero-Flores et al. (2019).

3 Positivity and boundedness of the solutions

The model (4) must be consistent with the characteristics of a system of differential equations that represent a biologic population; in this case, the solution must be positive and bounded for all time. The following result shows these two characteristics.

Lemma 1

Assume \(w(t)=(w_1(t),\ldots ,w_8(t))\) is a solution of system (4), such that \(w_i(0)>0\) for all \(i=1,\ldots ,8\), and \(\left[ \mathrm{H}_1\right] -\left[ \mathrm{H}_4\right] \) hold. Then, \((w_1(t),\ldots ,w_8(t))\) is positive for all \(t>0\) and ultimately bounded.

Proof

Using the fact that the solution of system (4) is continuous, we can define:

$$\begin{aligned} \mathfrak {M}(t)=\min \limits _{t>0}\{w_1(t),\ldots ,w_8(t)\}, \end{aligned}$$

with \(\mathfrak {M}(0)>0\). Now, if there exists a \(t_1>0\), such that \(\mathfrak {M}(t_1)=0,\) \(\mathfrak {M}(t)>0\) for \(t\in [0,t_1)\), and we suppose that \(\mathfrak {M}(t_1)=w_1(t_1)=0\) and \(w_4(t)>0\) for \(t\in [0,t_1).\) From the first equation of system (4), one gets:

$$\begin{aligned} \dot{w_1}(t)> -\beta _1(t) w_1(t) f(w_3(t),w_7(t))-\eta w_1(t), \end{aligned}$$

for \(t\in [0,t_1].\) Therefore, applying the Comparison Principle in ordinary differential equation and using the continuity of \(w_1(t)\):

$$\begin{aligned} 0=w_1(t_1) \ge w_1(0)\exp \left( -\int _{0}^{t_1} (\beta _1(s) f(w_3(s),w_7(s))-\eta )\mathrm{d}s\right) >0, \end{aligned}$$

which is a contradiction. Considering the cases for \(\mathfrak {M}(t_1)=w_2(t_1)=\cdots =w_8(t_1),\) respectively, similar contradictions are deduced (Caraballo and Han 2017; Calatayud and Jornet 2020; Li et al. 2017). Thus, it follows that \(\mathfrak {M}(t)>0\) for all \(t>0\), i.e., \(x_i(t)>0\) for all \(t>0\) and \(i=1,\ldots ,8\).

Next, to prove boundedness of system (4), first, we define:

$$\begin{aligned} \mathscr {V}_1(w_1(t),\ldots ,w_8(t))=\sum \limits _{i=1}^{4}w_i(t)+\dfrac{1}{2}\sum \limits _{i=5}^{8}w_i(t). \end{aligned}$$
(5)

Then:

$$\begin{aligned} \dot{\mathscr {V}}_1(w_1(t),\ldots ,w_8(t))=\sum \limits _{i=1}^{4}\dot{w_i}(t)+\dfrac{1}{2}\sum \limits _{i=5}^{8}\dot{w_i}(t). \end{aligned}$$

Thus:

$$\begin{aligned} \dot{\mathscr {V}}_1<\mu -\dfrac{\eta }{2}\mathscr {V}_1. \end{aligned}$$

Second, using the following function

$$\begin{aligned} \mathscr {V}_2(w_1(t),\ldots ,w_8(t))=\sum \limits _{i=1}^{4}w_i(t)+\dfrac{1}{4}\sum \limits _{i=5}^{8}w_i(t), \end{aligned}$$
(6)

it follows that:

$$\begin{aligned} \dot{\mathscr {V}}_2>\mu -\eta \mathscr {V}_2. \end{aligned}$$

By the theorem of differential inequality (Garrett Birkhoff 1989), one gets that:

$$\begin{aligned} 0<B^{l}:=\dfrac{\mu }{\eta }\le \liminf \limits _{t \longrightarrow \infty }\mathscr {V}_2(w(t))<\limsup \limits _{t \longrightarrow \infty }\mathscr {V}_1(w(t))\le \dfrac{2\mu }{\eta }{\tiny }=:B^{u}, \end{aligned}$$
(7)

as \(t \longrightarrow \infty .\) Thus, all the solutions of system (4) are ultimately bounded. \(\square \)

Remark 1

Moreover, from a biologically realistic point of view for sub-populations, for any \(\epsilon >0\), there is \(t_\epsilon > 0\), such that for \(t\ge t_\epsilon ,\) the set

$$\begin{aligned} \mathscr {D}=\left\{ \bigl ( w_{1}(t),\ldots ,w_{8}(t)\bigr ) / 0< \dfrac{ \mu }{\eta }-\epsilon \le w_{i}(t)\le \dfrac{ 2 \mu }{\eta }+\epsilon \right\} \subset \mathbb {R}_{+}^{8} \end{aligned}$$

is a positively invariant set for system (4).

4 Existence of a positive periodic solutions

The following results will be used to show the periodicity of the solutions of the mathematical model (4).

Proposition 1

If \(\left[ \mathrm{H}_1\right] -\left[ \mathrm{H}_5\right] \) hold, then the system of algebraic equations:

$$\begin{aligned}&\mu e^{-\mathfrak {p_1}} -\overline{\beta _1}f(e^{\mathfrak {p_3}},e^{\mathfrak {p_7}})-\eta =0,\,\,\overline{\beta _1}e^{\mathfrak {p_1}-\mathfrak {p_2}}f(e^{\mathfrak {p_3}},e^{\mathfrak {p_7}})-\delta -\eta =0, \\&\delta e^{\mathfrak {p_2}-\mathfrak {p_3}}-\gamma -\eta =0,\,\,\gamma e^{\mathfrak {p_3}-\mathfrak {p_4}}-\nu -\eta =0,\,\, \eta e^{\mathfrak {p_1}-\mathfrak {p_5}}-\overline{\beta _2}f(e^{\mathfrak {p_3}},e^{\mathfrak {p_7}})-\eta =0,\\&\overline{\beta _2}e^{\mathfrak {p_5}-\mathfrak {p_6}}f(e^{\mathfrak {p_3}},e^{\mathfrak {p_7}})-\delta -\eta =0,\,\, \delta e^{\mathfrak {p_6}-\mathfrak {p_7}}-\gamma -\eta =0,\,\, \gamma e^{\mathfrak {p_7}-\mathfrak {p_8}}-\nu -\eta =0 \end{aligned}$$

has a unique solution \(e^{\mathfrak {p_1}}>0,e^{\mathfrak {p_2}}>0,\ldots ,e^{\mathfrak {p_8}}>0.\)

Proof

It can be seen that the solutions are given by:

$$\begin{aligned}&e^{\mathfrak {p_3}}=\dfrac{\delta \mu }{(\delta +\mu )(\gamma +\eta )}>0,\,\,e^{\mathfrak {p_4}}=\dfrac{\gamma \delta \mu }{(\delta +\mu )(\gamma +\eta )}>0,\\ {}&e^{\mathfrak {p_7}}=\dfrac{\eta \delta e^{\mathfrak {p_1}}}{(\delta +\eta )(\gamma +\eta )}>0,\,\,e^{\mathfrak {p_8}}=\dfrac{\gamma \eta \delta e^{\mathfrak {p_1}}}{(\delta +\eta )(\gamma +\eta )(\nu +\eta )}>0. \end{aligned}$$

For \(e^\mathfrak {p_1}\), the function \(g:[0,\frac{\mu }{\eta }]\longrightarrow R,\) given by:

$$\begin{aligned} g(t)=\mu -\overline{\beta _1}tf(\dfrac{\delta \mu }{(\delta +\mu )(\gamma +\eta )},\dfrac{\eta \delta t}{(\delta +\eta )(\gamma +\eta )})-\eta t \end{aligned}$$

is continuous and satisfies:

$$\begin{aligned} g(0)=\mu >0, \end{aligned}$$

and

$$\begin{aligned} g \left( \frac{\mu }{\eta }\right) =\mu -\overline{\beta _1}\frac{\mu }{\eta }f \left( \dfrac{\delta \mu }{(\delta +\mu )(\gamma +\eta )},\dfrac{\delta \mu }{(\delta +\eta )(\gamma +\eta )}\right) -\mu <0. \end{aligned}$$

By Bolzano’s theorem, there is \(\zeta \in ]0,\frac{\mu }{\eta }[\), such that \(g(\zeta )=0.\) Moreover:

$$\begin{aligned} g'(t)&= -\overline{\beta _1}f \left( \dfrac{\delta \mu }{(\delta +\mu )(\gamma +\eta )},\dfrac{\eta \delta t}{(\delta +\eta )(\gamma +\eta )}\right) \\ {}&\quad -\overline{\beta _1}t\frac{\partial }{\partial w_7} f\biggl (\dfrac{\delta \mu }{(\delta +\mu )(\gamma +\eta )},\dfrac{\eta \delta t}{(\delta +\eta )(\gamma +\eta )}\biggr )\dfrac{\eta \delta }{(\delta +\eta )(\gamma +\eta )}-\eta <0, \end{aligned}$$

for all \(t\in ]0,\frac{\mu }{\eta }[.\) Thus, \(\zeta \) is unique. Consequently, \(e^{\mathfrak {p_1}}\) exists and, therefore, satisfies the second equation that combining with the first equation yields that \(e^{\mathfrak {p_2}}=\dfrac{\mu -\eta e^{\mathfrak {p_1}} }{\delta +\eta }>0.\) Thus:

$$\begin{aligned} e^{\mathfrak {p_5}}=\dfrac{\eta e^{\mathfrak {p_1}}}{\overline{\beta _2}f(e^{\mathfrak {p_3}},e^{\mathfrak {p_7}})+\eta }>0,\,\, \,\, e^{\mathfrak {p_6}}=\dfrac{\eta e^{\mathfrak {p_1}}\overline{\beta _2}f(e^{\mathfrak {p_3}},e^{\mathfrak {p_7}})}{\left( \delta +\eta \right) \left( \overline{\beta _2}f(e^{\mathfrak {p_3}},e^{\mathfrak {p_7}})+\eta \right) }>0, \end{aligned}$$

where \(e^{\mathfrak {p_6}}\) results from combining equations five and six. \(\square \)

Lemma 2

Let f be a function, such that \(f(x)\ge 0\), integrable, and uniformly continuous on \([0,+\infty ]\), and then, \(\lim \nolimits _{x \longrightarrow \infty } f(x)=0\), see Samanta et al. (2015), Gopalsamy (2013).

One of the topological tools used as an alternative for the demonstration of the existence of periodic solutions is the well-known continuation theorem of Mawhin or degree of coincidence published by Jean Mawhin in the decade of the seventies.

In Mawhin (2005), it is shown how it was the origin of the degree of coincidence. The strength and usefulness of this theorem for seasonal epidemiological models is based on using the parameters of the model in a common periodical interval, which can be seen in the following references (Zhang et al. 2012; Gaines and Mawhin 2006; Jódar et al. 2008; Li et al. 2017; Wang 2015; Chen 2005; Li and Xiong 2010; Li and Qin 2018). On the other hand, using a novel similar continuation theorem of coincidence degree theory, some authors proved the existence of anti-periodic solutions (Li et al. 2019).

Consider \(\mathscr {X}\) and \(\mathscr {Z}\) two normed and real spaces of infinite dimension. The linear operator \(\mathscr {L}:Dom\mathscr {L}\subset \mathscr {X}\longrightarrow \mathscr {Z}\); it is said of Fredholm of index zero if:

  1. 1.

    Dimension of \(\mathrm {Ker} \mathscr {L}\) is finite, and

  2. 2.

    \(\mathrm {Im} \mathscr {L}\) is closed in \(\mathscr {Z}\) and has a finite co-dimension:

  3. 3.

    \(\mathrm {Index}\mathscr {L}=\mathrm {dim} \mathrm {Ker}\mathscr {L}- \mathrm {codim}\mathrm {Im}\mathscr {L}=0\).

This implies that there are continuous projectors \( \mathscr {P}: \mathscr {X}\longrightarrow \mathscr {X} \) and \( \mathscr {Q}: \mathscr {Z}\longrightarrow \mathscr {Z}\) with \(\mathrm {Im}\mathscr {P} = \mathrm {Ker}\mathscr {L}\), \(\mathrm {Im}\mathscr {L} = \mathrm {Ker}\mathscr {Q} = \mathrm {Im} (\mathscr {I}-\mathscr {Q})\). In addition, \(\mathscr {X} = \mathrm {Ker}\mathscr {L}\oplus \mathrm {Ker}\mathscr {P}\) and \(\mathscr {Z} = \mathrm {Im}\mathscr {L}\oplus \mathrm {Im}\mathscr {Q}\). Thus, the mapping \(\mathscr {O}=\mathscr {L}\mid _{Dom\mathscr {L} \bigcap \mathrm {Ker} \mathscr {P}}: (\mathscr {I}-\mathscr {P})\mathscr {X}\longrightarrow \mathrm {Im} \mathscr {L}\) is invertible. Let \(\mathscr {C}_{P}\) the inverse of \(\mathscr {O}\). Let \(\varOmega _0\subset \mathscr {X}\) an open and bounded, the mapping \(\mathscr {N}\) is called \(\mathscr {L}\)-compact on \(\varOmega _0\) if \(\mathscr {Q}\mathscr {N}(\varOmega _0)\) is bounded, and \(\mathscr {C}_P(1-\mathscr {Q})\mathscr {N} : \varOmega _0 \longrightarrow \mathscr {X}\) is compact.

Now, the following Mawhin’s theorem will allow us to find sufficient conditions to prove the existence of at least one periodic positive solution of the model (4).

Theorem 1

Let \(\varOmega _0 \subset \mathscr {X}\) be an open-bounded set. Let \(\mathscr {L}\) be a Fredholm mapping of index zero and \(\mathscr {N}\) be \(\mathscr {L}\)-compact on \(\bar{\varOmega }_0\). Then, the equation \(\mathscr {L}\mathrm {x}=\mathscr {N}\mathrm {x}\) has at least one solution in \(Dom \mathscr {L}\cap \bar{\varOmega }_0 \) if it holds:

  1. 1.

    \( \mathscr {L}\mathrm {x} \ne \lambda \mathscr {N}\mathrm {x},\) with \(\lambda \in (0,1)\), and \(\mathrm {x}\in \partial \varOmega _0 \cap Dom\mathscr { L}\),

  2. 2.

    \(\mathscr {Q}\mathscr {N}\mathrm {x}\ne 0,\) \(\mathrm {x}\in \partial \varOmega _0\cap \mathrm {Ker} \mathscr {L}\),

  3. 3.

    \(\mathrm {deg}\{\mathscr {\mathscr {J}}\mathscr {Q}\mathscr {N},\varOmega _0 \cap \mathrm {Ker} \mathscr {L},0\} \ne 0. \)

One of the important results in this paper is the following:

Theorem 2

Suppose that \(\left[ \mathrm{H}_1\right] {-}\left[ \mathrm{H}_5\right] \) hold, and then, there exists a positive T-periodic solution of model (4).

Proof

Let us use the following change of variables:

$$\begin{aligned} w_{i}(t)=e^{\mathfrak {u_i}(t)}, \,\,i=1,\ldots ,8. \end{aligned}$$

Thus, (4) is equivalent to:

$$\begin{aligned} \dot{\mathfrak {u_1}}(t)&=\mu e^{-\mathfrak {u_1}(t)} -\beta _1(t) f(e^{\mathfrak {u_3}(t)},e^{\mathfrak {u_7}(t)})+\nu e^{\mathfrak {u_4}(t)-\mathfrak {u_1}(t)}-\eta ,\nonumber \\ \dot{\mathfrak {u_2}}(t)&=\beta _1(t) e^{\mathfrak {u_1}(t)-\mathfrak {u_2}(t)}f(e^{\mathfrak {u_3}(t)},e^{\mathfrak {u_7}(t)})-\delta -\eta ,\nonumber \\ \dot{\mathfrak {u_3}}(t)&=\delta e^{\mathfrak {u_2}(t)-\mathfrak {u_3}(t)}-\gamma -\eta ,\nonumber \\ \dot{\mathfrak {u_4}}(t)&=\gamma e^{\mathfrak {u_3}(t)-\mathfrak {u_4}(t)}-\nu -\eta ,\nonumber \\ \dot{\mathfrak {u_5}}(t)&=\eta e^{\mathfrak {u_1}(t)-\mathfrak {u_5}(t)} -\beta _2(t) f(e^{\mathfrak {u_3}(t)},e^{\mathfrak {u_7}(t)})+\nu e^{\mathfrak {u_8}(t)-\mathfrak {u_5}(t)}-\eta ,\\ \dot{\mathfrak {u_6}}(t)&=\eta e^{\mathfrak {u_2}(t)-\mathfrak {u_6}(t)}+\beta _2(t) e^{\mathfrak {u_5}(t)-\mathfrak {u_6}(t)} f(e^{\mathfrak {u_3}(t)},e^{\mathfrak {u_7}(t)})-\delta -\eta ,\nonumber \\ \dot{\mathfrak {u_7}}(t)&=\eta e^{\mathfrak {u_3}(t)-\mathfrak {u_7}(t)}+\delta e^{\mathfrak {u_6}(t)-\mathfrak {u_7}(t)}-\gamma -\eta ,\nonumber \\ \dot{\mathfrak {u_8}}(t)&=\eta e^{\mathfrak {u_4}(t)-\mathfrak {u_8}(t)}+\gamma e^{\mathfrak {u_7}(t)-\mathfrak {u_8}(t)}-\nu -\eta .\nonumber \end{aligned}$$
(8)

Now, suppose that one solution \(\bigl (\mathfrak {u_1}^{*}(t),\ldots ,\mathfrak {u_8}^{*}(t)\bigr )^{T},\) of (8) is positive T-periodic, and then, \(\bigl (w_{1}^{*}(t),\ldots ,w_{8}^{*}(t)\bigr )^{T},\) is a positive T-periodic solution of the system (4). This implies that there exists one solution of system (3). Therefore, it is sufficient to show that the system (8) has at least one positive T-periodic solution. To verify the hypotheses of Theorem 1, we define the following spaces:

$$\begin{aligned} \mathscr {X}=\mathscr {Y}= \{\mathfrak {u}(t)=(\mathfrak {u_1}(t),\ldots ,\mathfrak {u_8}(t))^{T}\in C(\mathbb {R},\mathbb {R}^{8})/ \mathfrak {u}(T+t)=\mathfrak {u}(t) \} \end{aligned}$$

with norm

$$\begin{aligned} ||\mathfrak {u}||&=\sum _{i=1}^{8}\max _{t\in [0,T]}|\mathfrak {\mathfrak {u}_i}(t)|. \end{aligned}$$

It is easy to verify that \((\mathscr {X},||\cdot ||)\) is a Banach space, Ding and Zhao (2012), Rui et al. (2004).

We define \(\mathscr {L}:Dom \mathscr {L} \cap \mathscr {X}\longrightarrow \mathscr {X},\) by \(\mathscr {L}(\mathfrak {u}(t))=\dot{\mathfrak {u}}(t)=\frac{\mathrm{d}\mathfrak {u}(t)}{\mathrm{d}t},\) with:

$$\begin{aligned} Dom \mathscr {L}=\left\{ \mathfrak {u}(t)\in C^{1}(\mathbb {R},\mathbb {R}^{8})/ \mathfrak {u}(T+t)=\mathfrak {u}(t)\right\} \subseteq \mathscr {X}, \end{aligned}$$

and \(\mathscr {N}:\mathscr {X}\longrightarrow \mathscr {X}\) is:

$$\begin{aligned} \mathscr {N}\mathfrak {u}(t)= \left[ \begin{array}{l} \mu e^{-\mathfrak {u_1}(t)} -\beta _1(t) f(e^{\mathfrak {u_3}(t)},e^{\mathfrak {u_7}(t)})+\nu e^{\mathfrak {u_4}(t)-\mathfrak {u_1}(t)}-\eta \\ \beta _1(t) e^{\mathfrak {u_1}(t)-\mathfrak {u_2}(t)}f(e^{\mathfrak {u_3}(t)},e^{\mathfrak {u_7}(t)})-\delta -\eta \\ \delta e^{\mathfrak {u_2}(t)-\mathfrak {u_3}(t)}-\gamma -\eta \\ \gamma e^{\mathfrak {u_3}(t)-\mathfrak {u_4}(t)}-\nu -\eta \\ \eta e^{\mathfrak {u_1}(t)-\mathfrak {u_5}(t)} -\beta _2(t) f(e^{\mathfrak {u_3}(t)},e^{\mathfrak {u_7}(t)})+\nu e^{\mathfrak {u_8}(t)-\mathfrak {u_5}(t)}-\eta \\ \eta e^{\mathfrak {u_2}(t)-\mathfrak {u_6}(t)}+\beta _2(t) e^{\mathfrak {u_5}(t)-\mathfrak {u_6}(t)} f(e^{\mathfrak {u_3}(t)},e^{\mathfrak {u_7}(t)})-\delta -\eta \\ \eta e^{\mathfrak {u_3}(t)-\mathfrak {u_7}(t)}+\delta e^{\mathfrak {u_6}(t)-\mathfrak {u_7}(t)}-\gamma -\eta \\ \eta e^{\mathfrak {u_4}(t)-\mathfrak {u_8}(t)}+\gamma e^{\mathfrak {u_7}(t)-\mathfrak {u_8}(t)}-\nu -\eta \end{array}\right] . \end{aligned}$$

Put the projectors \(\mathscr {P}:\mathscr {X} \longrightarrow \mathscr {X}\) and \(\mathscr {Q}:\mathscr {Y}\longrightarrow \mathscr {Y}\) defined by:

$$\begin{aligned} \mathscr {P}\mathfrak {u}(t)=\mathscr {Q}\mathfrak {u}(t)=\frac{1}{T}\int _{0}^{T}\mathfrak {u}(t)\mathrm{d}t. \end{aligned}$$

It follows that \(\mathrm {Ker} \mathscr {L}=\mathbb {R}^{8} \), and:

$$\begin{aligned} \mathrm {Im} \mathscr {L} = \mathrm {Ker}\mathscr {Q} =\mathrm {Im} (\mathscr {I}-\mathscr {Q})= \left\{ \mathfrak {u} \in \mathscr {X}\ /\frac{1}{T}\int _{0}^{T}\mathfrak {u}(t)\mathrm{d}t = 0 \ \right\} \end{aligned}$$

is clearly closed in \(\mathscr {X}\). In addition, \(\mathrm {Index} \mathscr {L}=0\), since \(\mathrm {\mathrm {dim}}\mathrm {Ker}\mathscr {L}= \mathrm {\mathrm {codim}}\mathrm {Im}\mathscr {L} = 8\). Accordingly, \(\mathscr {L}\) is a Fredholm mapping of index zero.

Now, after some calculations, we can see that:

$$\begin{aligned} \mathscr {O}_{P}=\mathscr {L}|_{Dom \mathscr {L} \cap \mathrm {Ker} \mathscr {P}}:(\mathscr {I}-\mathscr {P})\mathscr {X}\longrightarrow \mathrm {Im} \mathscr {L} \end{aligned}$$

is invertible, and its inverse (to \(\mathscr {O}_P\)), \(\mathscr {C}_{P}: \mathrm {Im} \mathscr {L}\longrightarrow Dom \mathscr {L} \cap \mathrm {Ker} \mathscr {P}\), is given by:

$$\begin{aligned} \mathscr {C}_{P}(\mathfrak {u})=\int _{0}^{t}\mathfrak {u}(s)\mathrm{d}s-\frac{1}{T}\int _{0}^{T}\int _{0}^{t}\mathfrak {u}(s)\mathrm{d}s \mathrm{d}t,\quad t\in [0,T]. \end{aligned}$$

Thus, \(\mathscr {Q}\mathscr {N}:\mathscr {X}\longrightarrow \mathscr {X}\) is:

$$\begin{aligned} \mathscr {Q}\mathscr {N}\mathfrak {u}(t)&=\mathscr {Q}\begin{bmatrix} \mu e^{-\mathfrak {u_1}(t)} -\beta _1(t) f(e^{\mathfrak {u_3}(t)},e^{\mathfrak {u_7}(t)})+\nu e^{\mathfrak {u_4}(t)-\mathfrak {u_1}(t)}-\eta \\ \beta _2(t) e^{\mathfrak {u_1}(t)-\mathfrak {u_2}(t)}f(e^{\mathfrak {u_3}(t)},e^{\mathfrak {u_7}(t)})-\delta -\eta \\ \delta e^{\mathfrak {u_2}(t)-\mathfrak {u_3}(t)}-\gamma -\eta \\ \gamma e^{\mathfrak {u_3}(t)-\mathfrak {u_4}(t)}-\nu -\eta \\ \eta e^{\mathfrak {u_1}(t)-\mathfrak {u_5}(t)} -\beta _2(t) f(e^{\mathfrak {u_3}(t)},e^{\mathfrak {u_7}(t)})+\nu e^{\mathfrak {u_8}(t)-\mathfrak {u_5}(t)}-\eta \\ \eta e^{\mathfrak {u_2}(t)-\mathfrak {u_6}(t)}+\beta _2(t) e^{\mathfrak {u_5}(t)-\mathfrak {u_6}(t)} f(e^{\mathfrak {u_3}(t)},e^{\mathfrak {u_7}(t)})-\delta -\eta \\ \eta e^{\mathfrak {u_3}(t)-\mathfrak {u_7}(t)}+\delta e^{\mathfrak {u_6}(t)-\mathfrak {u_7}(t)}-\gamma -\eta \\ \eta e^{\mathfrak {u_4}(t)-\mathfrak {u_8}(t)}+\gamma e^{\mathfrak {u_7}(t)-\mathfrak {u_8}(t)}-\nu -\eta \end{bmatrix}\\&=\left[ \begin{array}{l} \frac{\mu }{T}\int _{0}^{T}e^{-\mathfrak {u_1}(t)}\mathrm{d}t -\frac{1}{T}\int _{0}^{T}\beta _1(t) f(e^{\mathfrak {u_3}(t)},e^{\mathfrak {u_7}(t)})\mathrm{d}t+ \frac{\nu }{T}\int _{0}^{T}e^{\mathfrak {u_4}(t)-\mathfrak {u_1}(t)}\mathrm{d}t-\eta \\ \frac{1}{T}\int _{0}^{T}\beta _1(t) e^{\mathfrak {u_1}(t)-\mathfrak {u_2}(t)}f(e^{\mathfrak {u_3}(t)},e^{\mathfrak {u_7}(t)})\mathrm{d}t-\delta -\eta \\ \frac{\delta }{T}\int _{0}^{T}e^{\mathfrak {u_2}(t)-\mathfrak {u_3}(t)}\mathrm{d}t-\gamma -\eta \\ \frac{\gamma }{T}\int _{0}^{T}e^{\mathfrak {u_3}(t)-\mathfrak {u_4}(t)}\mathrm{d}t-\nu -\eta \\ \frac{\eta }{T}\int _{0}^{T} e^{\mathfrak {u_1}(t)-\mathfrak {u_5}(t)}\mathrm{d}t -\frac{1}{T}\int _{0}^{T}\beta _1(t) f(e^{\mathfrak {u_3}(t)},e^{\mathfrak {u_7}(t)})\mathrm{d}t+ \frac{\nu }{T}\int _{0}^{T}e^{\mathfrak {u_8}(t)-\mathfrak {u_5}(t)}\mathrm{d}t-\eta \\ \frac{\eta }{T}\int _{0}^{T}e^{\mathfrak {u_2}(t)-\mathfrak {u_6}(t)}\mathrm{d}t+\frac{1}{T}\int _{0}^{T}\beta _2(t) e^{\mathfrak {u_5}(t)-\mathfrak {u_6}(t)} f(e^{\mathfrak {u_3}(t)},e^{\mathfrak {u_7}(t)})\mathrm{d}t-\delta -\eta \\ \frac{\eta }{T}\int _{0}^{T}e^{\mathfrak {u_3}(t)-\mathfrak {u_7}(t)}\mathrm{d}t+ \frac{\delta }{T}\int _{0}^{T}e^{\mathfrak {u_6}(t)-\mathfrak {u_7}(t)}\mathrm{d}t-\gamma -\eta \\ \frac{\eta }{T}\int _{0}^{T}e^{\mathfrak {u_4}(t)-\mathfrak {u_8}(t)}\mathrm{d}t+ \frac{\gamma }{T}\int _{0}^{T}e^{\mathfrak {u_7}(t)-\mathfrak {u_8}(t)}\mathrm{d}t-\nu -\eta \end{array} \right] . \end{aligned}$$

The mapping \(\mathscr {C}_{P}(\mathscr {I}-\mathscr {Q})\mathscr {N}:\mathscr {X}\longrightarrow \mathscr {X}\) has the form:

$$\begin{aligned} \mathscr {C}_{P}(\mathscr {I}-\mathscr {Q})\mathscr {N}\mathfrak {u}(t)=\int _{0}^{t}\mathscr {N}\mathfrak {u}(s)\mathrm{d}s-\frac{1}{T}\int _{0}^{T}\int _{0}^{t}\mathscr {N}\mathfrak {u}(s)\mathrm{d}s\,\mathrm{d}t -\left( \frac{t}{T}-\frac{1}{2}\right) \int _{0}^{T}\mathscr {N}\mathfrak {u}(s)\mathrm{d}s. \end{aligned}$$

Moreover, this mapping \(\mathscr {Q}\mathscr {N}\) and \(\mathscr {C}_{P}(\mathscr {I}-\mathscr {Q})\mathscr {N}\) are continuous by the Lebesgue’s convergence theorem, Chen (2005). If \(\varOmega _0 \subset \mathscr {X}\) is a open-bounded set by Arzela–Ascoli’s theorem, \(\overline{\mathscr {C}_{P}(\mathscr {I}-\mathscr {Q})\mathscr {N}(\overline{\varOmega _0})}\) are relatively compact. Moreover, \(\mathscr {Q}\mathscr {N}(\overline{\varOmega _0})\) is bounded. Thus, \(\mathscr {N}\) is \(\mathscr {L}-\)compact under \(\overline{\varOmega _0}\) with any open-bounded set \(\varOmega _0 \subset \mathscr {X}\). The isomorphism \(\mathscr {J}\) from \(\mathrm {Im} \mathscr {Q}\) under \(\mathrm {Ker} \mathscr {L}\) can be the identity mapping, since that \(\mathrm {Im} \mathscr {Q} = \mathrm {Ker} \mathscr {L}\).

To verify the hypothesis of Theorem 1, an open-bounded subset \(\varOmega _0\) must be constructed in the Banach \(\mathscr {X}\) space. Thus, for the operator equation, \(\mathscr {L}\mathfrak {u}=\lambda \mathscr {N}\mathfrak {u}\) with \(\lambda \in (0,1)\), we have:

$$\begin{aligned} \dot{\mathfrak {u_1}}(t)&=\lambda \left( \mu e^{-\mathfrak {u_1}(t)} -\beta _1(t) f(e^{\mathfrak {u_3}(t)},e^{\mathfrak {u_7}(t)})+\nu e^{\mathfrak {u_4}(t)-\mathfrak {u_1}(t)}-\eta \right) ,\nonumber \\ \dot{\mathfrak {u_2}}(t)&=\lambda \left( \beta _1(t) e^{\mathfrak {u_1}(t)-\mathfrak {u_2}(t)}f(e^{\mathfrak {u_3}(t)},e^{\mathfrak {u_7}(t)})-\delta -\eta \right) ,\nonumber \\ \dot{\mathfrak {u_3}}(t)&=\lambda \left( \delta e^{\mathfrak {u_2}(t)-\mathfrak {u_3}(t)}-\gamma -\eta \right) ,\nonumber \\ \dot{\mathfrak {u_4}}(t)&=\lambda \bigl (\gamma e^{\mathfrak {u_3}(t)-\mathfrak {u_4}(t)}-\nu -\eta \bigr ),\nonumber \\ \dot{\mathfrak {u_5}}(t)&=\lambda \bigl (\eta e^{\mathfrak {u_1}(t)-\mathfrak {u_5}(t)} -\beta _2(t)f(e^{\mathfrak {u_3}(t)},e^{\mathfrak {u_7}(t)})+\nu e^{\mathfrak {u_8}(t)-\mathfrak {u_5}(t)}-\eta \bigr ),\nonumber \\ \dot{\mathfrak {u_6}}(t)&=\lambda \bigl (\eta e^{\mathfrak {u_2}(t)-\mathfrak {u_6}(t)}+\beta _2(t) e^{\mathfrak {u_5}(t)-\mathfrak {u_6}(t)} f(e^{\mathfrak {u_3}(t)},e^{\mathfrak {u_7}(t)})-\delta -\eta \bigr ),\nonumber \\ \dot{\mathfrak {u_7}}(t)&=\lambda \bigl (\eta e^{\mathfrak {u_3}(t)-\mathfrak {u_7}(t)}+\delta e^{\mathfrak {u_6}(t)-\mathfrak {u_7}(t)}-\gamma -\eta \bigr ),\nonumber \\ \dot{\mathfrak {u_8}}(t)&=\lambda \bigl (\eta e^{\mathfrak {u_4}(t)-\mathfrak {u_8}(t)}+\gamma e^{\mathfrak {u_7}(t)-\mathfrak {u_8}(t)}-\nu -\eta \bigr ). \end{aligned}$$
(9)

Suppose that \(\mathfrak {u}(t)=(\mathfrak {u_1}(t),\ldots ,\mathfrak {u_8}(t))^{T}\in \mathscr {X}\) is any solution of system (9) for a certain \(\lambda \in (0,1)\). Integrating (9) over the interval [0, T] leads to:

$$\begin{aligned}&\mu \int _{0}^{T}e^{-\mathfrak {u_1}(t)}\mathrm{d}t +\nu \int _{0}^{T}e^{\mathfrak {u_4}(t)-\mathfrak {u_1}(t)}\mathrm{d}t=\int _{0}^{T}\beta _1(t) f(e^{\mathfrak {u_3}(t)},e^{\mathfrak {u_7}(t)})\mathrm{d}t+\eta T. \end{aligned}$$
(10)
$$\begin{aligned}&\int _{0}^{T}\beta _1(t) e^{\mathfrak {u_1}(t)-\mathfrak {u_2}(t)}f(e^{\mathfrak {u_3}(t)},e^{\mathfrak {u_7}(t)})\mathrm{d}t=(\delta +\eta ) T \end{aligned}$$
(11)
$$\begin{aligned}&\delta \int _{0}^{T}e^{\mathfrak {u_2}(t)-\mathfrak {u_3}(t)}\mathrm{d}t=(\gamma +\eta ) T. \end{aligned}$$
(12)
$$\begin{aligned}&\gamma \int _{0}^{T}e^{\mathfrak {u_3}(t)-\mathfrak {u_4}(t)}\mathrm{d}t=(\nu +\eta ) T. \end{aligned}$$
(13)
$$\begin{aligned}&\eta \int _{0}^{T}e^{\mathfrak {u_1}(t)-\mathfrak {u_5}(t)} +\nu \int _{0}^{T}e^{\mathfrak {u_8}(t)-\mathfrak {u_5}(t)}\mathrm{d}t=\int _{0}^{T}\beta _2(t) f(e^{\mathfrak {u_3}(t)},e^{\mathfrak {u_7}(t)})\mathrm{d}t+\eta T. \end{aligned}$$
(14)
$$\begin{aligned}&\eta \int _{0}^{T} e^{\mathfrak {u_2}(t)-\mathfrak {u_6}(t)}\mathrm{d}t+\int _{0}^{T}\beta _2(t) e^{\mathfrak {u_5}(t)-\mathfrak {u_6}(t)} f(e^{\mathfrak {u_3}(t)},e^{\mathfrak {u_7}(t)})\mathrm{d}t=(\delta +\eta )T. \end{aligned}$$
(15)
$$\begin{aligned}&\eta \int _{0}^{T}e^{\mathfrak {u_3}(t)-\mathfrak {u_7}(t)}\mathrm{d}t+\delta \int _{0}^{T}e^{\mathfrak {u_6}(t)-\mathfrak {u_7}(t)}\mathrm{d}t=(\gamma +\eta )T \end{aligned}$$
(16)
$$\begin{aligned}&\eta \int _{0}^{T}e^{\mathfrak {u_4}(t)-\mathfrak {u_8}(t)}\mathrm{d}t+\gamma \int _{0}^{T}e^{\mathfrak {u_7}(t)-\mathfrak {u_8}(t)}\mathrm{d}t=(\nu +\eta ). \end{aligned}$$
(17)

It follows from (10)–(17) that:

$$\begin{aligned} \int _{0}^{T}|\dot{\mathfrak {u_1}}(t)|\mathrm{d}t&\le \lambda \biggl (\mu \int _{0}^{T}e^{-\mathfrak {u_1}(t)}\mathrm{d}t+\int _{0}^{T}\beta _1(t) f(e^{\mathfrak {u_3}(t)},e^{\mathfrak {u_7}(t)})\mathrm{d}t\nonumber \\&\quad +\nu \int _{0}^{T}e^{\mathfrak {u_4}(t)-\mathfrak {u_1}(t)}\mathrm{d}t+\eta T\biggr ),\nonumber \\&<2\left( \int _{0}^{T}\beta _1(t) f(e^{\mathfrak {u_3}(t)},e^{\mathfrak {u_7}(t)})\mathrm{d}t+\eta T\right) \nonumber \\&< 2\left( \zeta _2 T\overline{\beta _1 }+\eta T\right) :=k_{1}. \end{aligned}$$
(18)
$$\begin{aligned} \int _{0}^{T}|\dot{\mathfrak {u_2}}(t)|\mathrm{d}t&\le \lambda \left( \int _{0}^{T}\beta _1(t) e^{\mathfrak {u_1}(t)-\mathfrak {u_2}(t)}f(e^{\mathfrak {u_3}(t)},e^{\mathfrak {u_7}(t)})\mathrm{d}t+(\delta +\eta )T\right) \nonumber \\&<2(\delta +\eta )T:=k_2. \end{aligned}$$
(19)
$$\begin{aligned} \int _{0}^{T}|\dot{\mathfrak {u_3}}(t)|\mathrm{d}t&\le \lambda \left( \delta \int _{0}^{T}e^{\mathfrak {u_2}(t)-\mathfrak {u_3}(t)}\mathrm{d}t+(\gamma +\eta )T\right) \nonumber \\&<2(\gamma +\eta )T:=k_3. \end{aligned}$$
(20)
$$\begin{aligned} \int _{0}^{T}|\dot{\mathfrak {u_4}}(t)|\mathrm{d}t&\le \lambda \biggl (\gamma \int _{0}^{T}e^{\mathfrak {u_3}(t)-\mathfrak {u_4}(t)}\mathrm{d}t+(\nu +\eta )T\biggr )\nonumber \\&<2(\nu +\eta )T:=k_4. \end{aligned}$$
(21)
$$\begin{aligned} \int _{0}^{T}|\dot{\mathfrak {u_5}}(t)|\mathrm{d}t&\le \lambda \biggl (\eta \int _{0}^{T}e^{\mathfrak {u_1}(t)-\mathfrak {u_5}(t)}\mathrm{d}t+\int _{0}^{T}\beta _2(t) f(e^{\mathfrak {u_3}(t)},e^{\mathfrak {u_7}(t)})\mathrm{d}t\nonumber \\&\quad +\nu \int _{0}^{T}e^{\mathfrak {u_8}(t)-\mathfrak {u_5}(t)}\mathrm{d}t+\eta T\biggr )\nonumber \\&<2\left( \int _{0}^{T}\beta _2(t) f(e^{\mathfrak {u_3}(t)},e^{\mathfrak {u_7}(t)})\mathrm{d}t+\eta T\right) \nonumber \\&<2\left( \zeta _2T\overline{\beta _2 }+\eta T\right) :=k_{5}. \end{aligned}$$
(22)
$$\begin{aligned} \int _{0}^{T}|\dot{\mathfrak {u_6}}(t)|\mathrm{d}t&\le \lambda \biggl (\int _{0}^{T}\beta _2(t) e^{\mathfrak {u_5}(t)-\mathfrak {u_6}(t)} f(e^{\mathfrak {u_3}(t)},e^{\mathfrak {u_7}(t)})\mathrm{d}t+(\delta +\eta )T\nonumber \\&\quad +\eta \int _{0}^{T}e^{\mathfrak {u_2}(t)-\mathfrak {u_6}(t)}\mathrm{d}t\biggr )<2(\delta +\eta )T:=k_6. \end{aligned}$$
(23)
$$\begin{aligned} \int _{0}^{T}|\dot{\mathfrak {u_7}}(t)|\mathrm{d}t&\le \lambda \biggl (\eta \int _{0}^{T}e^{\mathfrak {u_3}(t)-\mathfrak {u_7}(t)}\mathrm{d}t+\delta \int _{0}^{T}e^{\mathfrak {u_6}(t)-\mathfrak {u_7}(t)}\mathrm{d}t+(\gamma +\eta )T\biggr )\nonumber \\&<2(\gamma +\eta )T:=k_7. \end{aligned}$$
(24)
$$\begin{aligned} \int _{0}^{T}|\dot{\mathfrak {u_8}}(t)|\mathrm{d}t&\le \lambda \biggl (\eta \int _{0}^{T}e^{\mathfrak {u_4}(t)-\mathfrak {u_8}(t)}\mathrm{d}t+\gamma \int _{0}^{T}e^{\mathfrak {u_7}(t)-\mathfrak {u_8}(t)}\mathrm{d}t+(\nu +\eta )T\biggr )\nonumber \\&<2(\nu +\eta )T:=k_8. \end{aligned}$$
(25)

We are considering the solution \(\mathfrak {u}(t)\in \mathscr {X}\) in the interval [0, T]. Then, there exist \(\xi _{i}, \eta _{i}\in [0,T]\) for \(i=1,\ldots ,8\), such that:

$$\begin{aligned} \mathfrak {u_i}(\xi _{i})=\min _{t\in [0,T]}\mathfrak {u_i}(t), \qquad \mathfrak {u_i}(\eta _{i})=\max _{t\in [0,T]}\mathfrak {u_i}(t). \end{aligned}$$

To obtain upper and lower bounds of \(\mathfrak {u_1}(t),\ldots , \mathfrak {u_8}(t)\), we multiply by \(e^{\mathfrak {u_i}(t)}\) the ith equation of system (9) (for \(i=1,\ldots ,8)\) and integrate over [0, T]. Thus:

$$\begin{aligned}&\mu T+\nu \int _{0}^{T}e^{\mathfrak {u_4}(t)}\mathrm{d}t+\int _{0}^{T}\beta _1(t)e^{\mathfrak {u_1}(t)} f(e^{\mathfrak {u_3}(t)},e^{\mathfrak {u_7}(t)})\mathrm{d}t=\eta \int _{0}^{T}e^{\mathfrak {u_1}(t)} \mathrm{d}t, \end{aligned}$$
(26a)
$$\begin{aligned}&\int _{0}^{T}\beta _1(t) e^{\mathfrak {u_1}(t)}f(e^{\mathfrak {u_3}(t)},e^{\mathfrak {u_7}(t)})\mathrm{d}t=(\delta +\eta )\int _{0}^{T}e^{\mathfrak {u_2}(t)}\mathrm{d}t , \end{aligned}$$
(26b)
$$\begin{aligned}&\delta \int _{0}^{T}e^{\mathfrak {u_2}(t)}\mathrm{d}t=(\gamma +\eta )\int _{0}^{T}e^{\mathfrak {u_3}(t)} \mathrm{d}t, \end{aligned}$$
(26c)
$$\begin{aligned}&\gamma \int _{0}^{T}e^{\mathfrak {u_3}(t)}\mathrm{d}t=(\nu +\eta )\int _{0}^{T}e^{\mathfrak {u_4}(t)}\mathrm{d}t, \end{aligned}$$
(26d)
$$\begin{aligned}&\eta \int _{0}^{T}e^{\mathfrak {u_1}(t)}\mathrm{d}t+\nu \int _{0}^{T} e^{\mathfrak {u_8}(t)}\mathrm{d}t=\int _{0}^{T}\beta _2(t)e^{\mathfrak {u_5}(t)} f(e^{\mathfrak {u_3}(t)},e^{\mathfrak {u_7}(t)})\mathrm{d}t\nonumber \\&\quad +\eta \int _{0}^{T}e^{\mathfrak {u_5}(t)}\mathrm{d}t, \end{aligned}$$
(26e)
$$\begin{aligned}&\eta \int _{0}^{T}e^{\mathfrak {u_2}(t)}\mathrm{d}t+\int _{0}^{T}\beta _2(t) e^{\mathfrak {u_5}(t)} f(e^{\mathfrak {u_3}(t)},e^{\mathfrak {u_7}(t)})\mathrm{d}t=(\delta +\eta )\int _{0}^{T}e^{\mathfrak {u_6}(t)}\mathrm{d}t, \end{aligned}$$
(26f)
$$\begin{aligned}&\eta \int _{0}^{T}e^{\mathfrak {u_3}(t)}\mathrm{d}t+\delta \int _{0}^{T}e^{\mathfrak {u_6}(t)}\mathrm{d}t=(\gamma +\eta )\int _{0}^{T}e^{\mathfrak {u_7}(t)}\mathrm{d}t, \end{aligned}$$
(26g)
$$\begin{aligned}&\eta \int _{0}^{T}e^{\mathfrak {u_4}(t)}\mathrm{d}t+\gamma \int _{0}^{T}e^{\mathfrak {u_7}(t)}\mathrm{d}t=(\nu +\eta )\int _{0}^{T}e^{\mathfrak {u_8}(t)}\mathrm{d}t. \end{aligned}$$
(26h)

Then, from Eq. (26a), we have that:

$$\begin{aligned}&\mu T<(\eta +\mu )\int _{0}^{T}e^{\mathfrak {u_1}(t)}\mathrm{d}t\le e^{\mathfrak {u_1}(\eta _{1})}(\eta +\mu )T. \end{aligned}$$

Therefore:

$$\begin{aligned}&e^{\mathfrak {u_1}(\eta _{1})}>\frac{\mu }{\mu +\eta }:=B_1. \end{aligned}$$
(27)

Now, from Eq. (26b), there is \(\theta _1^{*}\in [0,T]\), such that:

$$\begin{aligned} TM&:=T\overline{\beta _1} e^{\mathfrak {u_1}(\theta _1^{*})}f(e^{\mathfrak {u_3}(\theta _1^{*})},e^{\mathfrak {u_7}(\theta _1^{*})})=\dfrac{1}{T}\int _{0}^{T}\beta _1(t) e^{\mathfrak {u_1}(t)}f(e^{\mathfrak {u_3}(t)},e^{\mathfrak {u_7}(t)})\mathrm{d}t\\&=(\delta +\eta )\int _{0}^{T}e^{\mathfrak {u_2}(t)}\mathrm{d}t<(\delta +\eta +M)e^{\mathfrak {u_2}(\eta _2)}T. \end{aligned}$$

Thus:

$$\begin{aligned}&e^{\mathfrak {u_2}(\eta _{2})}>\frac{M}{\delta +\eta +M}:=B_2. \end{aligned}$$
(28)

From (26c), there exists \(\theta _{2}^{*}\in [0,T]\), such that:

$$\begin{aligned} \delta Te^{\mathfrak {u_2}(\theta _2^{*})}&=\delta \int _{0}^{T}e^{\mathfrak {u_2}(t)}\mathrm{d}t\\&=(\gamma +\eta ) \int _{0}^{T}e^{\mathfrak {u_3}(t)}\mathrm{d}t<(e^{\mathfrak {u_2}(\theta _2^{*})}\delta +\gamma +\eta ) e^{\mathfrak {u_3}(\eta _3)}T. \end{aligned}$$

In this way:

$$\begin{aligned}&e^{\mathfrak {u_3}(\eta _{3})}>\frac{\delta e^{\mathfrak {u_2}(\theta _2^{*})}}{\delta e^{\mathfrak {u_2}(\theta _2^{*})}+\gamma +\eta }:=B_3. \end{aligned}$$
(29)

Next, there exists a \(\theta _{3}^{*}\in [0,T]\) in the Eq. (26d), such that:

$$\begin{aligned}&T\gamma e^{\mathfrak {u_3}(\theta _{3}^{*})}=\gamma \int _{0}^{T}e^{\mathfrak {u_3}(t)}\mathrm{d}t=(\nu +\eta )\int _{0}^{T}e^{\mathfrak {u_4}(t)}\mathrm{d}t<(\nu +\eta +\gamma e^{\mathfrak {u_4}(\theta _{3}^{*})})e^{\mathfrak {u_4}(\eta _4)}T.\nonumber \end{aligned}$$

Then:

$$\begin{aligned}&e^{\mathfrak {u_4}(\eta _{4})}>\frac{\gamma e^{\mathfrak {u_3}(\theta _{3}^{*})}}{\nu +\eta +\gamma e^{\mathfrak {u_4}(\theta _{3}^{*})}}:=B_{4}. \end{aligned}$$
(30)

Now, from Eq. (26e), there exists \(\theta _{1}^{\circ }\in [0,T]\), such that:

$$\begin{aligned} T\eta e^{\mathfrak {u_1}(\theta _{1}^{\circ })}&\le \int _{0}^{T}\biggl (\beta _2(t)f(e^{\mathfrak {u_3}(t)},e^{\mathfrak {u_7}(t)})+\eta \biggr )e^{\mathfrak {u_5}(t)}\mathrm{d}t\nonumber \\&<T\biggl [\zeta _2 \overline{\beta _B}+\eta +\eta e^{\mathfrak {u_1}(\theta _{1}^{\circ })}\biggr ]e^{\mathfrak {u_5}(\eta _5)}. \end{aligned}$$

Therefore, one gets:

$$\begin{aligned}&e^{\mathfrak {u_5}(\eta _{5})}>\frac{\eta e^{\mathfrak {u_1}(\theta _{1}^{\circ })}}{\zeta _2\overline{\beta _B}+\eta +\eta e^{\mathfrak {u_1}(\theta _{1}^{\circ })}}:=B_{5}. \end{aligned}$$
(31)

In Eq. (26f), there exists \(\theta _{2}^{\circ }\in [0,T]\), such that:

$$\begin{aligned} T\eta e^{\mathfrak {u_2}(\theta _{2}^{\circ })}&=\eta \int _{0}^{T}e^{\mathfrak {u_2}(t)}\mathrm{d}t<(\delta +\eta +\eta e^{\mathfrak {u_2}(\theta _{2}^{\circ })})\int _{0}^{T}e^{\mathfrak {u_6}(t)}\mathrm{d}t\\&<(\delta +\eta +\eta e^{\mathfrak {u_2}(\theta _{2}^{\circ })})e^{\mathfrak {u_6}(\eta _6)}T. \end{aligned}$$

It follows that:

$$\begin{aligned}&e^{\mathfrak {u_6}(\eta _{6})}>\frac{\eta e^{\mathfrak {u_2}(\theta _{2}^{\circ })}}{\delta +\eta +\eta e^{\mathfrak {u_2}(\theta _{2}^{\circ })}}:=B_{6}. \end{aligned}$$
(32)

From Eq. (26g), one gets:

$$\begin{aligned} \eta Te^{\mathfrak {u_3}(\theta _3^{*})}&=\eta \int _{0}^{T}e^{\mathfrak {u_3}(t)}\mathrm{d}t\\&\le (\gamma +\eta ) \int _{0}^{T}e^{\mathfrak {u_7}(t)}\mathrm{d}t<(e^{\mathfrak {u_3}(\theta _3^{*})}\eta +\gamma +\eta ) e^{\mathfrak {u_7}(\eta _7)}T. \end{aligned}$$

It deduces that:

$$\begin{aligned}&e^{\mathfrak {u_7}(\eta _{7})}>\frac{\eta e^{\mathfrak {u_3}(\theta _3^{*})}}{\eta e^{\mathfrak {u_3}(\theta _3^{*})}+\gamma +\eta }:=B_7. \end{aligned}$$
(33)

And finally from Eq. (26h), there exists \(\theta _{4}^{*}\in [0,T]\), such that:

$$\begin{aligned} \eta Te^{\mathfrak {u_4}(\theta _4^{*})}&=\eta \int _{0}^{T}e^{\mathfrak {u_4}(t)}\mathrm{d}t\\&\le (\nu +\eta ) \int _{0}^{T}e^{\mathfrak {u_8}(t)}\mathrm{d}t<(e^{\mathfrak {u_4}(\theta _4^{*})}\eta +\nu +\eta ) e^{\mathfrak {u_8}(\eta _8)}T. \end{aligned}$$

It follows that:

$$\begin{aligned}&e^{\mathfrak {u_8}(\eta _{8})}>\frac{\eta e^{\mathfrak {u_4}(\theta _4^{*})}}{\eta e^{\mathfrak {u_4}(\theta _4^{*})}+\nu +\eta }:=B_8. \end{aligned}$$
(34)

Now, from (26a)–(26d), it can been seen:

$$\begin{aligned} \eta \int _{0}^{T}e^{\mathfrak {u_1}(t)}\mathrm{d}t+\eta \int _{0}^{T}e^{\mathfrak {u_2}(t)}\mathrm{d}t+\eta \int _{0}^{T}e^{\mathfrak {u_3}(t)}\mathrm{d}t+\int _{0}^{T}e^{\mathfrak {u_4}(t)}\mathrm{d}t=\mu T, \end{aligned}$$
(35)

and from (26e) to (26f), it follows that:

$$\begin{aligned} \eta \int _{0}^{T}e^{\mathfrak {u_5}(t)}\mathrm{d}t+\eta \int _{0}^{T}e^{\mathfrak {u_6}(t)}\mathrm{d}t+\eta \int _{0}^{T}e^{\mathfrak {u_7}(t)}\mathrm{d}t+\int _{0}^{T}e^{\mathfrak {u_8}(t)}\mathrm{d}t=\mu T. \end{aligned}$$
(36)

Adding (35) and (36), it follows that:

$$\begin{aligned} \sum _{i=1}^{8}\int _{0}^{T}e^{\mathfrak {u_i}(t)}\mathrm{d}t=\dfrac{2\mu T}{\eta }. \end{aligned}$$

Thus, we can derive:

$$\begin{aligned} e^{\mathfrak {u_i}(\xi _{i})}\le \dfrac{2\mu }{\eta },\,\, \text { for }i=1,\ldots ,8. \end{aligned}$$
(37)

Therefore, for \(t\in [0,T]\), from (18) to (25),(27) to (34), and (37), one gets:

$$\begin{aligned} \mathfrak {u_i}(t)&\le \mathfrak {u_i}(\xi _{1})+\int _{\xi _{1}}^{T}|\dot{\mathfrak {u_i}}(t)|\mathrm{d}t\le \mathfrak {u_1}(\xi _{i})+\int _{0}^{T}|\dot{\mathfrak {u_i}}(t)|\mathrm{d}t<\ln (\dfrac{2\mu }{\eta })+k_{i}=\mathbf {H_i},\nonumber \\ \mathfrak {u_i}(t)&\ge \mathfrak {u_i}(\eta _{1})-\int _{0}^{T}|\dot{\mathfrak {u_i}}(t)|\mathrm{d}t>\ln (B_i)-k_{i}=\mathbf {L_i},\, i=1,\ldots ,8. \end{aligned}$$
(38)

From (38), it deduces that:

$$\begin{aligned} \max _{t\in [0,T]}| \mathfrak {u_i}(t)| < \max \left\{ |\mathbf {H_i}|,|\mathbf {L_i}|\right\} :=\mathscr {R}_{i}, \text { where } i=1,\ldots ,8. \end{aligned}$$
(39)

Clearly, each \(\mathscr {R}_{i}\) \((i=1,\ldots ,8)\) does not depend on \(\lambda \). Let \(0\le \mu _0\le 1,\) and the algebraic equations:

$$\begin{aligned}&\mu e^{-\mathfrak {u_1}} -\overline{\beta _1}f(e^{\mathfrak {u_3}},e^{\mathfrak {u_7}})+\mu _0\nu e^{\mathfrak {u_4}-\mathfrak {u_1}}-\eta =0, \end{aligned}$$
(40a)
$$\begin{aligned}&\overline{\beta _1}e^{\mathfrak {u_1}-\mathfrak {u_2}}f(e^{\mathfrak {u_3}},e^{\mathfrak {u_7}})-\delta -\eta =0, \end{aligned}$$
(40b)
$$\begin{aligned}&\delta e^{\mathfrak {u_2}-\mathfrak {u_3}}-\gamma -\eta =0, \end{aligned}$$
(40c)
$$\begin{aligned}&\gamma e^{\mathfrak {u_3}-\mathfrak {u_4}}-\nu -\eta =0, \end{aligned}$$
(40d)
$$\begin{aligned}&\eta e^{\mathfrak {u_1}-\mathfrak {u_5}} -\overline{\beta _2}f(e^{\mathfrak {u_3}},e^{\mathfrak {u_7}})+\mu _0\nu e^{\mathfrak {u_8}-\mathfrak {u_5}}-\eta =0, \end{aligned}$$
(40e)
$$\begin{aligned}&\mu _0\eta e^{\mathfrak {u_2}-\mathfrak {u_6}}+\overline{\beta _2}e^{\mathfrak {u_5}-\mathfrak {u_6}}f(e^{\mathfrak {u_3}},e^{\mathfrak {u_7}})-\delta -\eta =0, \end{aligned}$$
(40f)
$$\begin{aligned}&\mu _0\eta e^{\mathfrak {u_3}-\mathfrak {u_7}}+\delta e^{\mathfrak {u_6}-\mathfrak {u_7}}-\gamma -\eta =0, \end{aligned}$$
(40g)
$$\begin{aligned}&\mu _0\eta e^{\mathfrak {u_4}-\mathfrak {u_8}}+\gamma e^{\mathfrak {u_7}-\mathfrak {u_8}}-\nu -\eta =0, \end{aligned}$$
(40h)

where \((\mathfrak {u_1},\ldots ,\mathfrak {u_8})^{T}\) in \(\mathbb {R}^{8}\). Now, from (40a) to (40h), we can deduce:

$$\begin{aligned}&\mu + \nu e^{\mathfrak {u_4}}\ge (\delta +\eta )e^{\mathfrak {u_2}}, \end{aligned}$$
(41a)
$$\begin{aligned}&\delta e^{\mathfrak {u_2}}=(\gamma +\eta )e^{\mathfrak {u_3}}, \end{aligned}$$
(41b)
$$\begin{aligned}&\gamma e^{\mathfrak {u_3}}=(\nu +\eta )e^{\mathfrak {u_4}}, \end{aligned}$$
(41c)
$$\begin{aligned}&\eta e^{\mathfrak {u_1}}+\eta e^{\mathfrak {u_2}}+\nu e^{\mathfrak {u_8}}\ge (\delta +\eta )e^{\mathfrak {u_6}}, \end{aligned}$$
(41d)
$$\begin{aligned}&\eta e^{\mathfrak {u_3}}+\delta e^{\mathfrak {u_6}}\ge (\gamma +\eta )e^{\mathfrak {u_7}}, \end{aligned}$$
(41e)
$$\begin{aligned}&\eta e^{\mathfrak {u_4}}+\gamma e^{\mathfrak {u_7}}\ge (\nu +\eta )e^{\mathfrak {u_8}}. \end{aligned}$$
(41f)

Thus, summing from (41a) to (41c), one gets that:

$$\begin{aligned} \sum \limits _{i=2}^{4}e^{\mathfrak {u_i}}< \dfrac{\mu }{\eta }. \end{aligned}$$
(42)

Moreover, from Eq. (40a), it follows that:

$$\begin{aligned}&\mu + \nu e^{\mathfrak {u_4}}>\left( \overline{\beta _1}f(e^{\mathfrak {u_3}},e^{\mathfrak {u_3}})+\eta \right) e^{\mathfrak {u_1}}>\eta e^{\mathfrak {u_1}}, \end{aligned}$$

and using (42), we obtain:

$$\begin{aligned}&\dfrac{\mu (\nu +\eta )}{\eta ^2}>e^{\mathfrak {u_1}}. \end{aligned}$$
(43)

Choosing,

$$\begin{aligned}&C_1:=\dfrac{\mu (\nu +\eta )}{\eta ^2}, \end{aligned}$$
(44)

we can see that:

$$\begin{aligned} \sum \limits _{i=1}^{4}e^{\mathfrak {u_i}}< \dfrac{\mu }{\eta }+C_1:=M_0. \end{aligned}$$
(45)

Now, from (41d) to (41f), one gets that:

$$\begin{aligned} \sum \limits _{i=6}^{8}e^{\mathfrak {u_i}}\le M_0. \end{aligned}$$
(46)

Using Eqs. (40e) and (43), we obtain that:

$$\begin{aligned} e^{u_5}<\dfrac{\mu (\nu +\eta )+\nu \eta M_0}{\eta ^2}:=C_2. \end{aligned}$$
(47)

Therefore, \(e^{u_i}<2M_0+C_2:=M_M\), for \(i=1,\ldots ,8.\) Next, Eq. (40a) implies that:

$$\begin{aligned} \mu <\overline{\beta _1} e^{\mathfrak {u_1}}f(e^{\mathfrak {u_3}},e^{\mathfrak {u_3}})+\eta e^{\mathfrak {u_1}}, \text { thus } e^{\mathfrak {u_1}}> \dfrac{\mu }{\eta +\overline{\beta _1} \zeta _2+\mu }:=m_1, \end{aligned}$$
(48)

and using (48), we derive that:

$$\begin{aligned} \mu +\nu e^{\mathfrak {u_4}}\ge \mu +\mu _{0}\nu e^{\mathfrak {u_4}}>\eta e^{\mathfrak {u_1}}+\overline{\beta _1} e^{\mathfrak {u_1}}f(e^{\mathfrak {u_3}},e^{\mathfrak {u_3}})>\eta e^{\mathfrak {u_1}}>\dfrac{\eta \mu }{\eta +\overline{\beta _1} \zeta _2+\mu }. \end{aligned}$$

Thus:

$$\begin{aligned} \mu +\nu e^{\mathfrak {u_4}}>\dfrac{\eta \mu }{\eta +\overline{\beta _1} \zeta _2+\mu }. \end{aligned}$$
(49)

Choosing

$$\begin{aligned} e^{\mathfrak {u_4}}>\dfrac{\eta \mu }{\nu \eta +\nu \overline{\beta _1} \zeta _2+\nu \mu }:=m_4, \end{aligned}$$
(50)

we can see that (49) is holds. Now, from (41c) and (41b), it follows that:

$$\begin{aligned} e^{\mathfrak {u_3}}>\dfrac{(\nu +\eta )m_4}{\gamma }:=m_3, \end{aligned}$$
(51)

and

$$\begin{aligned} e^{\mathfrak {u_2}}>\frac{(\gamma +\eta )m_3}{\delta }:=m_2 . \end{aligned}$$
(52)

Next, from (40e) and (40f):

$$\begin{aligned} \eta m_1<\eta e^{\mathfrak {u_1}}\le \eta e^{\mathfrak {u_1}}+\mu _0 \nu e^{\mathfrak {u_8}}&=(\eta +\overline{\beta _2}f(e^{\mathfrak {u_3}},e^{\mathfrak {u_3}}))e^{\mathfrak {u_5}}; \end{aligned}$$

that is:

$$\begin{aligned} e^{\mathfrak {u_5}}>\dfrac{ \eta m_1}{\eta m_1+\overline{\beta _2}\zeta _2+\eta }:=m_5, \end{aligned}$$
(53)

and

$$\begin{aligned} \eta m_1<(\delta +\eta )e^{\mathfrak {u_6}}+\eta e^{\mathfrak {u_5}}. \end{aligned}$$
(54)

We can see that \(e^{\mathfrak {u_6}}>\dfrac{m_1\eta }{(\delta +\eta )}:=m_6,\) holds with (54). Finally, from (40g) and (40h), one gets that:

$$\begin{aligned} e^{\mathfrak {u_7}}>&\frac{\delta e^{\mathfrak {u_6}}}{\gamma +\eta }>\frac{\delta m_6}{\gamma +\eta +\delta m_6}:=m_7,\text { and } \end{aligned}$$
(55)
$$\begin{aligned} e^{\mathfrak {u_8}}>&\frac{\gamma e^{\mathfrak {u_7}}}{\nu +\eta }>\frac{\gamma m_7}{\nu +\eta +\gamma m_7}:=m_8. \end{aligned}$$
(56)

If we select \(\mathscr {R}=\max \limits _{i\in \{1,\ldots ,8\}}\left\{ |\ln (M_M)|,|\ln (m_{i})| \right\} \), then:

$$\begin{aligned} \sum _{i=1}^{8}|\mathfrak {u_i}|<8\mathscr {R}:=\mathscr {R}_{0}. \end{aligned}$$
(57)

Thus, with \(\mathscr {R}_{T}=\sum \limits _{i=0}^{8}\mathscr {R}_{i}+\mathscr {R}_{0},\) we define:

$$\begin{aligned} \varOmega _0 = \left\{ \mathfrak {u}(t)\in \mathscr {\mathscr {X}} : \Vert \mathfrak {u}\Vert <\mathscr {R}_{T} \right\} . \end{aligned}$$
(58)

Therefore, \( \mathscr {L}\mathfrak {u} \ne \lambda \mathscr {N}\mathfrak {u},\) with \(\lambda \in (0,1)\), and \(\mathfrak {u}\in \partial \varOmega _0 \cap Dom\mathscr {L}\), and thus, \(\varOmega _0\) holds condition (1) of Theorem 1.

For \(\mathfrak {u}=(\mathfrak {u_1},\ldots ,\mathfrak {u_8})^{T}\in \partial \varOmega _0 \cap \mathrm {Ker} \mathscr {L}=\partial \varOmega _0 \cap \mathbb {R}^{8}\), \(\mathfrak {u}\) is a constant vector in \(\mathbb {R}^{8}\) with \(\Vert \mathfrak {u}\Vert =\mathscr {R}_{T}\). If \(\mathscr {Q}\mathscr {N}\mathfrak {u}=0\), then \((\mathfrak {u_1},\ldots ,\mathfrak {u_8})^{T}\) is a constant solution of system (40a40h) with \(\mu _{0}=1\). From (57), we have that \(\Vert \mathfrak {u}\Vert <\mathscr {R}_{0}\) which is contradictory to \(\Vert \mathfrak {u}\Vert =\mathscr {R}_{T}\). It follows that for each \(\mathfrak {u}\in \partial \varOmega _0 \cap \mathrm {Ker} \mathscr {L}\), \(\mathscr {Q}\mathscr {N}\mathfrak {u}\ne 0\). This shows that condition (2) of Theorem 1 is satisfied.

To verify the condition (3) of the Continuation Theorem, we define

\(\phi : Dom\mathscr {L}\cap \mathrm {Ker} \mathscr {L}\times [0,1]\longrightarrow \mathscr {X}\) by:

$$\begin{aligned} \phi (\mathfrak {u_1},\ldots ,\mathfrak {u_8},\mu _{0})&= \left[ \begin{array}{l} \mu e^{-\mathfrak {u_1}} -\overline{\beta _1}f(e^{\mathfrak {u_3}},e^{\mathfrak {u_7}})-\eta \\ e^{\mathfrak {u_1}-\mathfrak {u_2}}\overline{\beta _1}f(e^{\mathfrak {u_3}},e^{\mathfrak {u_7}})-\delta -\eta \\ \delta e^{\mathfrak {u_2}-\mathfrak {u_3}}-\gamma -\eta \\ \gamma e^{\mathfrak {u_3}-\mathfrak {u_4}}-\nu -\eta \\ \eta e^{\mathfrak {u_1}-\mathfrak {u_5}}-\overline{\beta _2}f(e^{\mathfrak {u_3}},e^{\mathfrak {u_7}})\\ \overline{\beta _2}e^{\mathfrak {u_5}-\mathfrak {u_6}}f(e^{\mathfrak {u_3}},e^{\mathfrak {u_7}})-\delta -\eta \\ \delta e^{\mathfrak {u_6}-\mathfrak {u_7}}-\gamma -\eta \\ \gamma e^{\mathfrak {u_7}-\mathfrak {u_8}}-\nu -\eta \\ \end{array}\right] + \mu _{0}\left[ \begin{array}{c} \nu e^{\mathfrak {u_4}-\mathfrak {u_1}}\\ 0\\ 0\\ 0\\ \nu e^{\mathfrak {u_8}-\mathfrak {u_5}}+\eta \\ \eta e^{\mathfrak {u_2}-\mathfrak {u_6}}\\ \eta e^{\mathfrak {u_3}-\mathfrak {u_7}}\\ \eta e^{\mathfrak {u_4}-\mathfrak {u_8}} \end{array}\right] , \end{aligned}$$

where \(\mu _{0} \in [0,1]\). If \(\mathfrak {u}=(\mathfrak {u_1},\ldots ,\mathfrak {u_8})^{T}\in \partial \varOmega _0 \cap \mathrm {Ker} \mathscr {L}=\partial \varOmega _0 \cap \mathbb {R}^{8}\), then \(\mathfrak {u}\) is constant, such that \(\mathfrak {u}\in \mathbb {R}^{8}\), \(\Vert \mathfrak {u}\Vert =\mathscr {R}_{T}\) and \(\phi (\mathfrak {u_1},\ldots ,\mathfrak {u_8},\mu _{0})\ne 0\). Therefore:

$$\begin{aligned}&\mathrm {deg}\left( \mathscr {\mathscr {J}}\mathscr {Q}\mathscr {N}((\mathfrak {u_1},\ldots ,\mathfrak {u_8})^{T}),\partial \varOmega _0 \cap \mathrm {Ker} \mathscr {L}, (0,0,0,0,0,0,0,0)^{T}\right) \\&\quad = \, \mathrm {deg}\left( \phi (\mathfrak {u_1},\ldots ,\mathfrak {u_8},1),\varOmega _0 \cap \mathrm {Ker} \mathscr {L},(0,0,0,0,0,0,0,0)^{T} \right) \\&\quad = \, \mathrm {deg}\left( \phi (\mathfrak {u_1},\ldots ,\mathfrak {u_8},0),\varOmega _0 \cap \mathrm {Ker} \mathscr {L},(0,0,0,0,0,0,0,0)^{T} \right) \\&\quad = \, \mathrm {deg}\Biggl \{\Bigl (\mu e^{-\mathfrak {u_1}} -\overline{\beta _1}f(e^{\mathfrak {u_3}},e^{\mathfrak {u_7}})-\eta , \,e^{\mathfrak {u_1}-\mathfrak {u_2}}\overline{\beta _1}f(e^{\mathfrak {u_3}},e^{\mathfrak {u_7}})\\&\qquad -\delta -\eta , \delta e^{\mathfrak {u_2}-\mathfrak {u_3}}-\gamma -\eta ,\\&\qquad \,\gamma e^{\mathfrak {u_3}-\mathfrak {u_4}}-\nu -\eta ,\eta e^{\mathfrak {u_1}-\mathfrak {u_5}}-\overline{\beta _2}f(e^{\mathfrak {u_3}},e^{\mathfrak {u_7}}),\,\,\overline{\beta _2}e^{\mathfrak {u_5}-\mathfrak {u_6}}f(e^{\mathfrak {u_3}},e^{\mathfrak {u_3}})-\delta -\eta ,\\&\qquad \delta e^{\mathfrak {u_6}-\mathfrak {u_7}}-\gamma -\eta , \gamma e^{\mathfrak {u_7}-\mathfrak {u_8}}-\nu -\eta \Bigl )^{T},\varOmega _0 \cap \mathrm {Ker} \mathscr {L},(0,0,0,0,0,0,0,0)^{T} \Biggr \}. \end{aligned}$$

Using Proposition (1), we obtain that:

$$\begin{aligned}&\mathrm {deg} \left( \mathscr {J}\mathscr {Q}\mathscr {N}((\mathfrak {u_1},\ldots ,\mathfrak {u_8})^{T}),\partial \varOmega _0 \cap \mathrm {Ker} \mathscr {L}, (0,0,0,0,0,0,0,0)^{T}\right) \\&\quad = \mathrm{{sign}} {\left| \begin{array}{cccccccc} -\mu e^{-\mathfrak {u_{1}^{*}}}&{} 0 &{} -\overline{\beta _1}\dfrac{\partial f}{\partial w_3}e^{\mathfrak {u_3^{*}}} &{} 0&{}0&{}0&{}-\overline{\beta _1}\dfrac{\partial f}{\partial w_7}e^{\mathfrak {u_7^{*}}}&{}0 \\ \\ \dfrac{\overline{\beta _1} e^{\mathfrak {u_1^{*}}}f}{e^{\mathfrak {u_2^{*}}}} &{} \dfrac{\overline{\beta _1}e^{\mathfrak {u_1^{*}}}f}{-e^{\mathfrak {u_2^{*}}}} &{} \dfrac{\overline{\beta _1}e^{\mathfrak {u_1^{*}}}}{e^{\mathfrak {u_2^{*}}}}\dfrac{\partial f}{\partial w_3}e^{\mathfrak {u_3^{*}}} &{} 0&{}0&{}0&{}\dfrac{\overline{\beta _1} e^{\mathfrak {u_1^{*}}}}{e^{\mathfrak {u_2^{*}}}}\dfrac{\partial f}{\partial w_7}e^{\mathfrak {u_7^{*}}}&{}0 \\ \\ 0 &{} \delta e^{\mathfrak {u_2^{*}}-\mathfrak {u_3^{*}}} &{}- \delta e^{\mathfrak {u_2^{*}}-\mathfrak {u_3^{*}}} &{} 0&{}0&{}0&{}0&{}0 \\ \\ 0 &{} 0 &{} \gamma e^{\mathfrak {u_3^{*}}-\mathfrak {u_4^{*}}} &{} \dfrac{\gamma e^{\mathfrak {u_3^{*}}}}{-e^{\mathfrak {u_4^{*}}}}&{}0&{}0&{}0&{}0 \\ \\ \dfrac{ \eta e^{\mathfrak {u_1^{*}}}}{e^{\mathfrak {u_5^{*}}}}&{}0&{} -\overline{\beta _2}\dfrac{\partial f}{\partial w_3}e^{\mathfrak {u_3^{*}}}&{}0&{}-\eta e^{\mathfrak {u_1^{*}}-\mathfrak {u_5^{*}}}&{}0&{}-\overline{\beta _2}\dfrac{\partial f}{\partial w_7}e^{\mathfrak {u_7^{*}}}&{}0\\ \\ 0&{}0&{}\dfrac{\overline{\beta _2}e^{\mathfrak {u_5^{*}}}}{e^{\mathfrak {u_6^{*}}}}\dfrac{\partial f}{\partial w_3}e^{\mathfrak {u_3^{*}}}&{}0&{}\dfrac{\overline{\beta _2}e^{\mathfrak {u_5^{*}}}}{e^{\mathfrak {u_6^{*}}}}f&{}-\dfrac{\overline{\beta _2}e^{\mathfrak {u_5^{*}}}}{e^{\mathfrak {u_6^{*}}}}f&{}\dfrac{\overline{\beta _2}e^{\mathfrak {u_5^{*}}}}{e^{\mathfrak {u_6^{*}}}}\dfrac{\partial f}{\partial w_7}e^{\mathfrak {u_7^{*}}}&{}0\\ \\ 0&{}0&{}0&{}0&{}0&{}\dfrac{\delta e^{\mathfrak {u_6^{*}}}}{e^{\mathfrak {u_7^{*}}}}&{}\dfrac{\delta e^{\mathfrak {u_6^{*}}}}{-e^{\mathfrak {u_7^{*}}}}&{}0\\ \\ 0&{}0&{}0&{}0&{}0&{}0&{}\dfrac{\gamma e^{\mathfrak {u_7^{*}}}}{e^{\mathfrak {u_8^{*}}}}&{}\dfrac{\gamma e^{\mathfrak {u_7^{*}}}}{-e^{\mathfrak {u_8^{*}}}}\\ \\ \end{array}\right| }\\&\quad = \mathrm{{sign}} \Biggl ( \overline{\beta _2 }\overline{\beta _1}\gamma ^2 \delta ^2 e^{\mathfrak {8u_1^{*}}}\biggl \{ e^{-\mathfrak {u_1^{*}}}f\left[ \eta \overline{\beta _1}\frac{\partial f}{\partial w_3}e^{\mathfrak {u_3^{*}}}+\eta \overline{\beta _1}\frac{\partial f}{\partial w_7}e^{\mathfrak {u_7^{*}}}+\mu \overline{\beta _2}\frac{\partial f}{\partial w_7}e^{\mathfrak {u_7^{*}}}\right] \\&\qquad -\mu \eta \left[ \frac{\partial f}{\partial w_3}e^{\mathfrak {u_3^{*}}}+\frac{\partial f}{\partial w_7}e^{\mathfrak {u_7^{*}}}-f\right] \biggr \}\Biggr ) \ne 0. \end{aligned}$$

Consequently, by Theorem 1, the system (4) has at least one periodic solution in \(Dom \mathscr {L}\cap \overline{\varOmega _0}\). \(\square \)

Remark 2

\(f:=f(e^{\mathfrak {u_3^{*}}},e^{\mathfrak {u_7^{*}}})\) and \(\frac{\partial f}{\partial w_3}:=\frac{\partial f(e^{\mathfrak {u_3^{*}}},e^{\mathfrak {u_7^{*}}})}{\partial w_3},\,\,\frac{\partial f}{\partial w_7}:=\frac{\partial f(e^{\mathfrak {u_3^{*}}},e^{\mathfrak {u_7^{*}}})}{\partial w_7},\) and \(e^{\mathfrak {u_i^{*}}}\) are the solutions of system given in Proposition 1.

5 Global attractivity

Next, we analyze the conditions for which the solution of system (4) is globally attractive.

Definition 1

System (4) is said to be globally attractive if there exists a positive T-periodic solution \((w_1(t),\ldots ,w_8(t))\), such that for any \((y_1(t),\ldots ,y_8(t))\) arbitrary positive solution of system (4), it holds:

$$\begin{aligned} \lim \limits _{t \longrightarrow \infty }\sum \limits _{i=1}^{8}|w_i(t)-y_i(t)\arrowvert = 0, \end{aligned}$$

and the solution \((w_1(t),\ldots ,w_8(t))\) is called globally attractive, see (Guo and Chen 2011; Yan and Sugie 2020; Zhu and Wang 2011).

Without loss of generality, we will use the following space:

$$\begin{aligned} \mathscr {X}=\left\{ w(t)=(w_1(t),\ldots ,w_8(t))^{T}\in C(\mathbb {R},\mathbb {R}^{8})/ w(T+t)=w(t)\right\} \end{aligned}$$

with norm

$$\begin{aligned} ||w(t)||&=\sum _{i=1}^{8}\dfrac{|w_i(t)|}{d_i}. \end{aligned}$$

From now on, we use the notation:

$$\begin{aligned} -p:=&\eta \left[ \dfrac{d_1}{d_5}+\dfrac{d_2}{d_6}+\dfrac{d_3}{d_7}+\dfrac{d_4}{d_8}\right] +\nu \left[ \dfrac{d_4}{d_1}+\dfrac{d_8}{d_5}\right] +\delta \left[ \dfrac{d_2}{d_3}+\dfrac{d_6}{d_7}\right] +\gamma \left[ \dfrac{d_3}{d_4}+\dfrac{d_7}{d_8}\right] -\eta ,\\ q:=&\beta _1^u K \left[ \left( 1+\alpha +\dfrac{d_1}{d_2}+\alpha \dfrac{d_5}{d_6}\right) \left( d_3+d_7\right) \right] , \end{aligned}$$

with \(K=\max \limits _{t\in [0,T]}\left\{ \dfrac{\partial f(w_3,w_7)}{\partial w_3}, \dfrac{\partial f(w_3,w_7)}{\partial w_7}\right\} ,\) and we also assume that:

  • \(\left[ \mathrm{H}_6\right] \)  \(I_1=\dfrac{p+\sqrt{ p^2-4q\frac{\mu }{d_1}}}{2q}>0, \)

  • \(\left[ \mathrm{H}_7\right] \)  \(I_2=\dfrac{p-\sqrt{ p^2-4q\frac{\mu }{d_1}}}{2q}, \) where \(p^2-4q\frac{\mu }{d_1}>0.\)

Theorem 3

If conditions \(\left[ \mathrm{H}_1\right] -\left[ \mathrm{H}_7\right] \) hold, then there exists a positive constant \(\mathfrak {B} \in [I_1,I_2],\) such that for all w(t) solution of (4), it holds:

$$\begin{aligned} ||w(t)||<\mathfrak {B} \text { for all }\,t\ge 0. \end{aligned}$$
(59)

Proof

If (59) is not true, then there exists \(t_0>0,\) such that:

$$\begin{aligned} ||w(t_0)||=\mathfrak {B} \text { and } ||w(t)||<\mathfrak {B},\, t\in [0,t_0). \end{aligned}$$
(60)

Now, for \(0\le t<t_0\) and from (4), we have that:

$$\begin{aligned} ||w(t_0)||&\le ||w(0)||e^{-\eta t_0}\\&\quad +\int _{0}^{t_0}e^{-\eta (t_0-s)}\left\{ \dfrac{\mu }{d_1}+\beta _1^{u}K\mathfrak {B}^2\left( d_3+d_7\right) +\dfrac{\nu d_4 \mathfrak {B}}{d_1} \right\} \mathrm{d}s\\&\quad +\int _{0}^{t_0}e^{-(\delta +\eta )(t_0-s)}\left\{ \beta _1^{u}\dfrac{d_1}{d_2}\zeta _2 \mathfrak {B}\right\} \mathrm{d}s+\int _{0}^{t_0}e^{-(\gamma +\eta )(t_0-s)}\left\{ \delta d_3^{-1}d_2 \mathfrak {B}\right\} \mathrm{d}s\\&\quad +\int _{0}^{t_0}e^{-(\nu +\eta )(t_0-s)}\left\{ \gamma d_3 d_4^{-1} \mathfrak {B}\right\} \mathrm{d}s\\&\quad +\int _{0}^{t_0}e^{-\eta (t_0-s)}\left\{ \left( \dfrac{\eta d_1}{d_5}+\dfrac{\nu d_8}{d_5}\right) \mathfrak {B}+ \beta _1^{u}\alpha K\mathfrak {B}^2\left( d_3+d_7\right) \right\} \mathrm{d}s\\&\quad +\int _{0}^{t_0}e^{-\left( \delta +\eta \right) (t_0-s)}\left\{ \dfrac{\eta d_2}{d_6}\mathfrak {B}+ \beta _1^{u}\alpha K\mathfrak {B}^2\left( d_3+d_7\right) \dfrac{d_5}{d_6} \right\} \mathrm{d}s\\&\quad +\int _{0}^{t_0}e^{-(\gamma +\eta )(t_0-s)}\left\{ \left( \dfrac{\eta d_3}{d_7}+\dfrac{\delta d_6}{d_7}\right) \mathfrak {B} \right\} \mathrm{d}s\\&\quad +\int _{0}^{t_0}e^{-(\nu +\eta )(t_0-s)}\left\{ \left( \dfrac{\eta d_4}{d_8}+\dfrac{\gamma d_7}{d_8}\right) \mathfrak {B} \right\} \mathrm{d}s.\nonumber \end{aligned}$$

Thus:

$$\begin{aligned} \mathfrak {B}&=||w(t_0)||< \mathfrak {B}e^{-\eta t_0}+\dfrac{\beta _1^{u}K\mathfrak {B}^2}{\eta }\left[ \left( 1+\alpha +\dfrac{d_1}{d_2}+\alpha \dfrac{d_5}{d_6}\right) \left( d_3+d_7\right) \right] \nonumber \\&\quad +\dfrac{\mathfrak {B}}{\eta }\Bigg [\eta \left[ \dfrac{d_1}{d_5}+\dfrac{d_2}{d_6}+\dfrac{d_3}{d_7}+\dfrac{d_4}{d_8}\right] +\nu \left[ \dfrac{d_4}{d_1}+\dfrac{d_8}{d_5}\right] +\delta \left[ \dfrac{d_2}{d_3}+\dfrac{d_6}{d_7}\right] \nonumber \\&\quad +\gamma \left[ \dfrac{d_3}{d_4}+\dfrac{d_7}{d_8}\right] +\beta _1^u\dfrac{d_1}{d_2}\zeta _2\Bigg ]\left( 1-e^{-\eta t_0}\right) +\dfrac{\mu }{\eta d_1}. \end{aligned}$$
(61)

Therefore:

$$\begin{aligned} 0&<\dfrac{\beta _1^{u}K\mathfrak {B}^2}{\eta }\left[ \left( 1+\alpha +\dfrac{d_1}{d_2}+\alpha \dfrac{d_5}{d_6}\right) \left( d_3+d_7\right) \right] +\dfrac{\mu }{\eta d_1}\\&\quad +\dfrac{\mathfrak {B}}{\eta }\Bigg [\eta \left[ \dfrac{d_1}{d_5}+\dfrac{d_2}{d_6}+\dfrac{d_3}{d_7}+\dfrac{d_4}{d_8}\right] +\nu \left[ \dfrac{d_4}{d_1}+\dfrac{d_8}{d_5}\right] +\delta \left[ \dfrac{d_2}{d_3}+\dfrac{d_6}{d_7}\right] +\gamma \left[ \dfrac{d_3}{d_4}+\dfrac{d_7}{d_8}\right] \Bigg ]. \end{aligned}$$

Accordingly:

$$\begin{aligned} \Bigg \{\left[ \dfrac{d_1}{d_5}+\dfrac{d_2}{d_6}+\dfrac{d_3}{d_7}+\dfrac{d_4}{d_8}\right] +\nu \left[ \dfrac{d_4}{d_1}+\dfrac{d_8}{d_5}\right] +\delta \left[ \dfrac{d_2}{d_3}+\dfrac{d_6}{d_7}\right] +\gamma \left[ \dfrac{d_3}{d_4}+\dfrac{d_7}{d_8}\right] \Bigg \}^2<\dfrac{4\mu q}{d_1}, \end{aligned}$$

which contradicts \(\mathrm{H}_7.\) Thus, the proof is completed. \(\square \)

Now, let \((w_1(t),\ldots ,w_8(t))\) and \((y_1(t),\ldots ,y_8(t))\) be two positive T-periodic solutions of system (4), and define:

$$\begin{aligned} z_i(t)=(w_i(t)-y_i(t)); \end{aligned}$$

then, system (4) is written as:

$$\begin{aligned}&\dot{z_1}(t)+\left( \eta +\beta _1(t)f(w_3(t),w_7(t))\right) z_1(t) =-\beta _1(t) y_1(t) f(w_3(t),w_7(t))\nonumber \\&\quad +\beta _1(t) y_1(t)f(y_3(t),y_7(t))+\nu z_4(t),\nonumber \\&\dot{z_2}(t)+(\delta +\eta ) z_2(t)=\beta _1(t) z_1(t)f(w_3(t),w_7(t))\nonumber \\&\quad +\beta _1(t)y_1(t)f(w_3(t),w_7(t))-\beta _1(t) y_1(t) f(y_3(t),y_7(t)),\nonumber \\&\dot{z_3}(t)+(\gamma +\eta ) z_3(t)=\delta z_2(t),\nonumber \\&\dot{z_4}(t)+(\nu +\eta )z_4(t)=\gamma z_3(t),\nonumber \\&\dot{z_5}(t)+\left( \eta +\beta _2(t)f(w_3(t),w_7(t))\right) z_5(t) =-\beta _2(t) y_5(t)f(w_3(t),w_7(t))\nonumber \\&\quad +\beta _2(t) y_5(t)f(y_3(t),y_7(t))+\nu z_8(t)+\eta z_1(t),\nonumber \\&\dot{z_6}(t)+(\delta +\eta ) z_6(t)=\beta _2(t) y_5(t)f(w_3(t),w_7(t))\nonumber \\&\quad -\beta _2(t) y_5(t)f(y_3(t),y_7(t))+\eta z_2(t),\nonumber \\&\dot{z_7}(t)+(\gamma +\eta ) z_7(t)=\eta z_3(t)+\delta z_6(t),\nonumber \\&\dot{z_8}(t)+(\nu +\eta ) z_8(t)=\eta z_4(t)+\gamma z_7(t). \end{aligned}$$
(62)

Thus, the solution \((w_1(t),\ldots ,w_8(t))\) is globally attractive to the system (4) if and only if the zero solution of system (62) is globally attractive.

Theorem 4

If \(\left[ \mathrm{H}_1\right] {-}\left[ \mathrm{H}_7\right] \) hold, then the solution \((0_1(t),\ldots ,0_8(t))\) to the system (62) is global attractive.

Proof

From Theorem 3, we can see that there exists a non-negative constant \(\rho \), such that:

$$\begin{aligned} \limsup \limits _{t \longrightarrow \infty }||z(t)||=\rho . \end{aligned}$$
(63)

Thus, for \(\epsilon >0\) small enough, there is a \(t_1>0\), such that:

$$\begin{aligned} ||z(t)||=(1+\epsilon )\rho ,\,\text { for } t\ge t_1. \end{aligned}$$
(64)

From system (62), when \(t\ge t_1\), one gets:

$$\begin{aligned}&\dot{z_1}(t)+\left( \eta +\beta _1(t)f(w_3(t),w_7(t))\right) z_1(t) \le \beta _1^u y_1(t) |z_3(t)|K+ \beta _1^u y_1(t) |z_7(t)|K\nonumber \\&\quad +\nu |z_4(t)|,\nonumber \\&\dot{z_2}(t)+(\delta +\eta ) z_2(t)\le \beta _1^u |z_1(t)|\zeta _2+\beta _1^u y_1(t) |z_3(t)|K+\beta _1^u y_1(t) |z_7(t)|K,\nonumber \\&\dot{z_3}(t)+(\gamma +\eta ) z_3(t)\le \delta |z_2(t)|,\nonumber \\&\dot{z_4}(t)+(\nu +\eta )z_4(t)\le \gamma |z_3(t)|,\nonumber \\&\dot{z_5}(t)+\left( \eta +\beta _2(t)f(w_3(t),w_7(t))\right) z_5(t) \le \beta _2^u y_5(t)|z_3(t)|K+\beta _2^u y_5(t)|z_7(t)|K\nonumber \\&\quad +\nu |z_8(t)|+\eta |z_1(t)|,\nonumber \\&\dot{z_6}(t)+(\delta +\eta ) z_6(t)\le \beta _2^u y_5(t)K |z_3(t)|+\beta _2^u y_5(t)K|z_7(t)|+\eta |z_2(t)|,\nonumber \\&\dot{z_7}(t)+(\gamma +\eta ) z_7(t)\le \eta |z_3(t)|+\delta |z_6(t)|,\nonumber \\&\dot{z_8}(t)+(\nu +\eta ) z_8(t)\le \eta |z_4(t)|+\gamma |z_7(t)|. \end{aligned}$$
(65)

Solving the system (65), one obtains that:

$$\begin{aligned} ||z(t)||&\le ||z(0)||e^{-\eta t}+\int _{0}^{t_0}e^{-\eta (t-s)}\left\{ q\mathfrak {B}+\left( \eta +\beta _1^u\dfrac{d_1}{d_2}\zeta _2-p\right) \right\} \dfrac{(1+\epsilon )\rho }{\eta } \mathrm{d}s\\&= ||z(0)||e^{-\eta t}+\left\{ q\mathfrak {B}+\left( \eta +\beta _1^u\dfrac{d_1}{d_2}\zeta _2-p\right) \right\} \dfrac{(1+\epsilon )\rho }{\eta } \left( 1-e^{-\eta t}\right) . \end{aligned}$$

When \(t \longrightarrow \infty \) and \( \epsilon \longrightarrow 0,\) it follows that:

$$\begin{aligned} \rho \le \left\{ q\mathfrak {B}+\left( \eta +\beta _1^u\dfrac{d_1}{d_2}\zeta _2-p\right) \right\} \dfrac{\rho }{\eta }. \end{aligned}$$

Now, if \(\rho \ne 0,\) then:

$$\begin{aligned} \eta \le \left\{ q\mathfrak {B}+\left( \eta +\beta _1^u\dfrac{d_1}{d_2}\zeta _2-p\right) \right\} , \end{aligned}$$

which means that:

$$\begin{aligned} 0\le q\mathfrak {B}^2+\left( \beta _1^u\dfrac{d_1}{d_2}\zeta _2-p\right) \mathfrak {B}. \end{aligned}$$
(66)

On the other hand, from Theorem 3 for all \(t>0\), we have that:

$$\begin{aligned} ||z(t)||&< \mathfrak {B}e^{-\eta t}+\dfrac{\mathfrak {B}^2}{\eta }q+\dfrac{\mathfrak {B}}{\eta }\left( -p+\eta +\beta _1^u\dfrac{d_1}{d_2}\zeta _2\right) \left( 1-e^{-\eta t}\right) +\dfrac{\mu }{\eta d_1}\nonumber \\&< \mathfrak {B}e^{-\eta t}+\dfrac{\mathfrak {B}^2}{\eta }q+\dfrac{\mathfrak {B}}{\eta }\left( -p+\eta +\beta _1^u\dfrac{d_1}{d_2}\zeta _2\right) +\dfrac{\mu }{\eta d_1}<\mathfrak {B}. \end{aligned}$$
(67)

Thus:

$$\begin{aligned} q\mathfrak {B}^2+\mathfrak {B}\left( -p+\beta _1^u\dfrac{d_1}{d_2}\zeta _2\right) +\dfrac{\mu }{d_1}<0. \end{aligned}$$
(68)

Therefore, \(\rho =0.\) This implies that \( \limsup \nolimits _{t \longrightarrow \infty }||z(t)||=0.\) Then, \( \lim \nolimits _{t \longrightarrow \infty }|w_i(t)-y_i(t)|=0,\) for \(i=1,\ldots ,8.\) This completes the proof of Theorem 4, which implies that system (4) is globally attractive. \(\square \)

6 Numerical simulations

To exemplify the behavior of the analytical solution of system (4) and corroborate the previous theoretical results, we perform numerical simulations using the Matlab routine ode45 for solving systems of differential equations. We use a particular set of biologically feasible parameter values for the RSV transmission for children. These values are given in Table 1, and were taken from Hogan et al. (2016b). Parameters \(\mu \), \(b_{0}\), \(b_{1}\), \(\phi \) correspond, respectively, to the birth (death) rate, average of the transmission rate, and amplitude of the seasonal fluctuation, and \(0\le \varphi \le 1 \) is the phase angle normalized. The parameters \(\gamma \) and \(\nu \) are the rates of immunity lost and recover of the transmission of virus RSV, respectively.

Table 1 The values \(\frac{1}{\mu }\), \(\frac{1}{\nu }\), \(\frac{1}{\gamma }\), are expressed in rates per days

We use a canonical periodic positive solution [see Coleman et al. (1979)] to compare with solutions of the system (3), and thus corroborate the previous theoretical results obtained in the previous sections. We use two different initial conditions to generate two solutions that approach to the aforementioned canonical periodic solution. The initial conditions for the canonical and the other two solutions are presented in Table 2.

Table 2 The initial conditions for the numerical simulations

In Fig. 1, it can be observed three numerical solutions of the system (4), where the canonical periodic positive solution is the reference to compare the attractive behavior that it produces on the two other positive solutions with different initial conditions. Moreover, all the numerical solutions are positive and have a periodic behavior (using Definition 1). This numerical result has a good agreement with our previous theoretical results. Furthermore, in Fig. 1, it can be observed the numerical solution of the proportion of susceptible children group 1 (\(S_1\)), exposed children group 1 (\(E_1\)), infected children group 1 (\(I_1\)), recovered children group 1 (\(R_1\)), susceptible children group 2 (\(S_2\)), exposed children group 2 (\(E_2\)), infected children group 2 (\(I_2\)), and recovered children group 2 (\(R_2\)), for the system (4) using parameter values corresponding to Australia. As it can be seen, all the numerical solutions are positive and have a periodic behavior, and these results have a good agreement with our theoretical results. From a biological point of view, the two age groups can be applied to different diseases, where the individuals in each age group have different characteristics in regard to the disease.

Fig. 1
figure 1

Globally attractive behaviors of numerical solutions of system (4), using parameter values related to RSV in Australia. The canonical solution (blue) and two different solutions (red and black) corresponding to two initial conditions (color figure online)

7 Conclusions

In this article, we studied the dynamics of a proposed age-structured population mathematical model driven by a seasonal forcing function. We proposed a generalized force of infection function to study different potential epidemic outcomes. We established sufficient criteria for the existence of positive periodic solutions in an age-structured ordinary differential equation SEIR model with a force of infection \(\beta _i(t)f(I_1(t),I_2(t)).\) We defined a convenient norm function, to provide sufficient conditions that assure the global attractivity of the positive periodic solution.

The proposed model includes two age groups that can be used for different diseases. We included two age groups, since there are many diseases that can be described using two age groups. This situation happens due to different conditions in each age group that would be unrealistic to average them to use only one age group. For instance, critical infections are usually presented in children, but not in adults. Thus, the infection outcomes are different for these two age groups.

We presented numerical simulations to illustrate and corroborate the theoretical results obtained in this research work. In particular, we used as an example for the generalized force of infection the following form \(f(I_1(t),I_2(t))=\beta (t)\left( I_1(t)+ I_2(t)\right) \), where \(\beta (t)\) is a continuous T-periodic function. In regard to specific parameter values, we used reported RSV data from Australia, and performed numerical simulations where it can be seen the periodic behavior of the solution. Future directions of research include the introduction of noise in the harmonic seasonal forcing function to take into account uncertainty. In addition, modeling control policies such as treatment or vaccines are interesting topics and much more under climate variability. This type of studies can provide efficient public policies to reduce the prevalence of different diseases around the globe.