Open Access
This article is

- freely available
- re-usable

*Mathematics*
**2019**,
*7*(11),
1025;
https://doi.org/10.3390/math7111025

Article

Impulsive Delayed Lasota–Wazewska Fractional Models: Global Stability of Integral Manifolds

^{1}

Department of Mathematics, Technical University of Sofia, 8800 Sliven, Bulgaria

^{2}

Department of Mathematics, University of Texas at San Antonio, San Antonio, TX 78249, USA

*

Correspondence: [email protected]

^{†}

Current address: Affiliation 2.

Received: 9 October 2019 / Accepted: 26 October 2019 / Published: 31 October 2019

## Abstract

**:**

In this paper we deal with the problems of existence, boundedness and global stability of integral manifolds for impulsive Lasota–Wazewska equations of fractional order with time-varying delays and variable impulsive perturbations. The main results are obtained by employing the fractional Lyapunov method and comparison principle for impulsive fractional differential equations. With this research we generalize and improve some existing results on fractional-order models of cell production systems. These models and applied technique can be used in the investigation of integral manifolds in a wide range of biological and chemical processes.

Keywords:

global stability; integral manifolds; impulsive Lasota–Wazewska models; functional derivatives; variable impulsive perturbations; time-varying delaysMSC:

34K60; 34K20; 34K37; 34K45## 1. Introduction

The intensive investigation of blood cell dynamics in numerous articles in the past 50 years leads to a huge forward movement in the growth of mathematical methods and models, numerical results, schemes to estimate parameters and prognosticate optimal treatments to particular diseases. The paper [1] offers a very completed overview of the main mathematical models related to blood formation, disorders and treatments.

A turning point in the establishment of new models and methods was the publication of the paper authored by Wazewska–Czyzewska and Lasota in 1976 [2]. In order to describe the survival of red blood cells in animals, Wazewska–Czyzewska and Lasota proposed in [2] the following delayed equation
where $x\left(t\right)$ represents the number of red blood cells at time t, $\gamma >0$ is the death probability for a red blood cell, $\alpha $ and $\beta $ are positive constants related to the production of red blood cells per unit time and $\tau $ is the time delay between the production of immature red blood cells and their maturation for release in circulating blood stream.

$$\dot{x}\left(t\right)=-\gamma x\left(t\right)+\beta {e}^{-\alpha x(t-\tau )},$$

The well known Lasota–Wazewska model seen in Equation (1) was extended and generalized by many authors, see, for example, refs. [3,4,5,6,7,8], including some recent publications on the topic [9,10,11,12,13]. This model can be also considered as one of the motivations to the development of the theory of delay differential equations, since delays are often considered in the hematopoiesis processes.

One of the directions in which the Lasota–Wazewska models have been extended and generalized is related to considering impulsive effects in the cells dynamic. Indeed, momentary (impulsive) changes at certain instants exists and can often affect the behavior of a real-world process. That is why the impulsive mathematical models has attracted a large amount of research interest and has become an emerging trend [14,15,16,17,18,19,20]. For some excellent results on impulsive Lasota–Wazewska models, we refer the reader to [21,22,23,24,25]. However, in all of the existing results, the authors considered fixed moments of impulsive effects. The aim of our research is to study some qualitative properties of a generalized impulsive Lasota–Wazewska model with variable impulsive perturbations. Indeed, considering impulsive effects at variable times is more general and close to reality [26,27,28].

On the other hand, fractional-order models are found to provide more advantages in describing memory effects and chaos [29,30]. The last two decades witnessed the rise of the development of the theory of fractional-order models and equations involved in fractional-order modeling. See, for example some recent publications [31,32,33,34,35] and the references therein. Some researchers used classical fractional-order models while new fractional differential systems, including impulsive fractional models started to be explored [36,37,38,39,40].

In addition, in relation to mathematical simulations in biology, chemistry and medicine, fractional calculus has been incorporated into some population dynamics models [41,42,43]. Since the survival of red blood cells is a deeply composite process, different methods have been developed throughout the years to get the most appropriate answers to some particular practice problems. To better reflect the dependence of Lasota–Wazewska-type models on their past history, an impulsive Lasota–Wazewska model of fractional order with time-varying delays has been introduced in [44] and some results related to existence and stability of almost periodic solutions of the model have been established. To the best of our knowledge no work on fractional Lasota–Wazewska systems was developed besides the one found in [44]. However, the paper [44] considered only fixed moments of impulsive perturbations.

Our aim in this paper is to extend the results in [44], and to consider variable impulsive perturbations. Furthermore, we will investigate the global stability behavior of an integral manifold related to the model. Indeed, the concept of integral manifolds is more general and includes, as particular cases, the global stability of zero solutions, equilibrium states, almost periodic solutions and etc. [45,46,47,48]. Despite the high importance of the concept of global stability of integral manifolds, the theory is not yet developed for fractional-order biological systems and this is another aim of the proposed research.

In the present paper, motivated by the above considerations, we focus on an impulsive Lasota–Wazewska model of fractional order with time-varying delays and variable impulsive perturbations. The remainder of this paper is organized as follows. In Section 2, we introduce the fractional Lasota–Wazewska model under consideration. Some notations and preliminaries are also given. In Section 3 first existence and boundedness results are proposed. Also, we obtain conditions for an integral manifold to be a global attractor of the survival model of red blood cells proposed by Wazewska and Lasota. The conditions are used in our global asymptotic stability analysis. In addition, the notion of global Mittag–Lerffler stability is defined and criteria for global Mittag–Leffler stability of integral manifolds with respect to the model are also proved. An example is presented in Section 4, to show the validity and efficiency of the obtained results. Finally, some ending remarks are stressed in Section 5.

## 2. Preliminaries

Let $\mathbb{R}=(-\infty ,\infty )$, ${\mathbb{R}}_{+}=[0,\infty )$, ${t}_{0}\in {\mathbb{R}}_{+}$ and let $h=const>0$. Here and in what follows we will use the Caputo fractional derivative of order q, $0<q<1$ with the lower limit ${t}_{0}$ for a function $l\in {C}^{1}[[{t}_{0},b],\mathbb{R}],\phantom{\rule{4pt}{0ex}}b>{t}_{0}$,
where $\mathsf{\Gamma}$ as usually means the Gamma function.

$${{}_{{t}_{0}}^{C}D}_{t}^{q}l\left(t\right)=\frac{1}{\mathsf{\Gamma}(1-q)}{\int}_{{t}_{0}}^{t}\frac{{l}^{\prime}\left(\sigma \right)}{{(t-\sigma )}^{q}}d\sigma ,$$

Using the above fractional derivative, to consider long range memory in the survival of red blood cells, we introduce the following impulsive fractional-order Lasota–Wazewska model with time-varying delays and variable impulsive perturbations
where:

$$\left\{\begin{array}{c}{\displaystyle {{}_{{t}_{0}}^{C}D}_{t}^{q}x\left(t\right)=-\gamma \left(t\right)x\left(t\right)+\sum _{j=1}^{m}{\beta}_{j}\left(t\right){e}^{-{\alpha}_{j}\left(t\right)x(t-{s}_{j}\left(t\right))},\phantom{\rule{4pt}{0ex}}t\ne {\tau}_{k}\left(x\left(t\right)\right),}\hfill \\ \mathsf{\Delta}x\left(t\right)={\alpha}_{k}x\left(t\right)+{\nu}_{k},\phantom{\rule{4pt}{0ex}}t={\tau}_{k}\left(x\left(t\right)\right),\phantom{\rule{4pt}{0ex}}k=1,2,\dots ,\phantom{\rule{4pt}{0ex}}\hfill \end{array}\right.$$

(i) the model’s parameters ${\alpha}_{j}\left(t\right),\phantom{\rule{4pt}{0ex}}{\beta}_{j}\left(t\right),\phantom{\rule{4pt}{0ex}}\gamma \left(t\right),\phantom{\rule{4pt}{0ex}}{s}_{j}\left(t\right)\in C[{\mathbb{R}}_{+},{\mathbb{R}}_{+}],$ $0\le {s}_{j}\left(t\right)\le h,$ $j=1,2,\dots ,m,$ $h=const>0,$ ${\tau}_{k}:{\mathbb{R}}_{+}\to ({t}_{0},\infty ),\phantom{\rule{4pt}{0ex}}\phantom{\rule{4pt}{0ex}}k=1,2,\dots $;

(ii) $\mathsf{\Delta}x\left(t\right)=x\left({t}^{+}\right)-x\left(t\right),\phantom{\rule{4pt}{0ex}}{\alpha}_{k},\phantom{\rule{4pt}{0ex}}{\nu}_{k}\in \mathbb{R},\phantom{\rule{4pt}{0ex}}k=1,2,\dots $

The second equation of the impulsive system in Equation (2) is considered as a control or jump condition. The parameters ${\alpha}_{k}$ and ${\nu}_{k}$, determine the controlled outputs $x\left({t}^{+}\right)$. In an impulsive control system of type seen in Equation (2), the functions $\mathsf{\Delta}x\left(t\right)$ are considered as control forces at the variable times for $t={\tau}_{k}\left(x\left(t\right)\right)$, $k=1,2,\dots $ For the basic concepts and theorems of such systems, we refer the reader to [14,20,21,22,23,24,25].

The model in Equation (2) is a generalization of many existing integer-order Lasota–Wazewska models with time-varying delays and impulsive perturbations. The consideration of time-varying delays ${s}_{j}\left(t\right)$ is motivated by the fact that “a long time delay will increase the length of time a population will spend in the neighborhood of an unstable steady state …” examined in [49]. The studies in [13,23,25] and some of the references therein also support the viewpoint that equations with time-varying delays provide a more realistic description for blood flow models.

Also, the fractional-order approach will better model the long-term memory phenomena and provides with a conceptually straightforward mathematical representation of rather complex processes. Indeed, a large number of empirical studies have investigated the long-term dependence of red blood cells and cell production systems in general. We refer the reader to [50,51,52] for some studies on long-range feedback effects in such systems. The very comprehensive analysis made in [44] shows that the population size of the red blood cells in an erythropoietic system has a very long memory. Therefore, the formulated fractional-order model in [44] of blood flow phenomenon is more realistic and takes into account the long-range hereditary properties of red blood cells populations. In addition, we consider variable impulsive perturbations in our research which are more useful and applicable in biological systems. Thus, our results will improve and generalize some known results obtained in [2,3,5,20,21,22,23,24,25,44]. For equations with non-fixed moments of impulsive perturbations, a number of difficulties related to the phenomena of ‘beating’ of the solutions, bifurcation, loss of the property of autonomy, etc. appeared. But the wide application of this type of equation requires their study.

The solutions $x\left(t\right)$ of impulsive models with variable impulsive perturbations of the type in Equation (2) are piecewise continuous functions [14,20,26,28] that have first kind points of discontinuity at which they are continuous from the left, i.e., at the moments ${t}_{{l}_{k}}$ when the integral curve of a solution $x\left(t\right)$ meets the hypersurfaces
where it is continuous from the left, the following relations are satisfied:

$${\sigma}_{k}=\left\{(t,x)\in [{t}_{0},\infty )\times \mathsf{\Omega}:\phantom{\rule{4pt}{0ex}}t={\tau}_{k}\left(x\right)\right\},$$

$$x({t}_{{l}_{k}}^{-})=x\left({t}_{{l}_{k}}\right),\phantom{\rule{4pt}{0ex}}x({t}_{{l}_{k}}^{+})=x\left({t}_{{l}_{k}}\right)+{I}_{{l}_{k}}\left(x\left({t}_{{l}_{k}}\right)\right).$$

The points ${t}_{{l}_{1}},\phantom{\rule{4pt}{0ex}}{t}_{{l}_{2}},\dots $ (${t}_{0}<{t}_{{l}_{1}}<{t}_{{l}_{2}}<\dots $) are the impulsive control instants. Let us note that, in general, $k\ne {l}_{k}$.

Let $J\subset {\mathbb{R}}_{+}$ be an interval. Define the following classes of piecewise continuous functions:

$PC[J,{\mathbb{R}}^{n}]=\left\{\sigma :J\to {\mathbb{R}}^{n}:\phantom{\rule{4pt}{0ex}}\sigma \left(t\right)\right.$ is continuous everywhere except at some points ${t}_{{l}_{k}}\in J$ at which $\sigma \left({t}_{{l}_{k}}^{-}\right)$ and $\sigma \left({t}_{{l}_{k}}^{+}\right)$ exist and $\sigma \left({t}_{{l}_{k}}^{-}\right)=\sigma \left({t}_{{l}_{k}}\right)\}$;

$\mathcal{P}C=PC[[-h,0],{\mathbb{R}}_{+}]$;

$PCB[J,{\mathbb{R}}_{+}]=\{\sigma \in PC[J,{\mathbb{R}}_{+}]:\sigma \left(t\right)$ is bounded on $J\}$.

Let ${\phi}_{0}\in PCB[[-h,0],{\mathbb{R}}_{+}]$. Denote by $x\left(t\right)=x(t;{t}_{0},{\phi}_{0}),\phantom{\rule{4pt}{0ex}}x\in {\mathbb{R}}_{+}$ the solution of the system in Equation (2) that satisfies the initial conditions:

$$\left\{\begin{array}{c}x(t;{t}_{0},{\phi}_{0})={\phi}_{0}(t-{t}_{0}),\phantom{\rule{4pt}{0ex}}{t}_{0}-h\phantom{\rule{4pt}{0ex}}\le \phantom{\rule{4pt}{0ex}}t\le \phantom{\rule{4pt}{0ex}}{t}_{0},\hfill \\ x({t}_{0}^{+};{t}_{0},{\phi}_{0})={\phi}_{0}\left(0\right).\hfill \end{array}\right.$$

In this paper, we will investigate such trajectories of solutions $x\left(t\right)$ the motion along with which must be ensured by an appropriate choice of impulsive forces. To guarantee the existence, uniqueness and continuability of the solution $x\left(t\right)=x(t;{t}_{0},{\phi}_{0})$ of the initial value problem (IVP) in Equation (2), Equation (3) on the interval $[{t}_{0},\infty )$ for ${\phi}_{0}\in PCB[[-h,0],{\mathbb{R}}_{+}]$ and ${t}_{0}\in {\mathbb{R}}_{+}$, as well as, the absence of the phenomenon ’beating’, we assume that:

1. ${\tau}_{0}\left(x\right)\equiv {t}_{0}$ for $x\in {\mathbb{R}}_{+}$, the functions ${\tau}_{k}\left(x\right)$ are continuous and the following relations hold
uniformly on $x\in {\mathbb{R}}_{+}$.

$$\phantom{\rule{4pt}{0ex}}{t}_{0}<{\tau}_{1}\left(x\right)<{\tau}_{2}\left(x\right)<\dots ,\phantom{\rule{4pt}{0ex}}{\tau}_{k}\left(x\right)\to \infty \phantom{\rule{4pt}{0ex}}\mathrm{as}\phantom{\rule{4pt}{0ex}}k\to \infty $$

2. The functions $\alpha \left(t\right),\phantom{\rule{4pt}{0ex}}{\beta}_{j}\left(t\right),\phantom{\rule{4pt}{0ex}}{\gamma}_{j}\left(t\right),\phantom{\rule{4pt}{0ex}}{s}_{j}\left(t\right)$ and ${\tau}_{k}$ are continuous on ${\mathbb{R}}_{+}$.

For $\phi \in \mathcal{P}C$, we define ${|.|}_{h}$ as ${\left|\phi \right|}_{h}={sup}_{-h\le \xi \le 0}\left|\phi \left(\xi \right)\right|.$ In the case $h=\infty $ we have ${\left|\phi \right|}_{h}={\left|\phi \right|}_{\infty}={sup}_{\xi \in (-\infty ,0]}\left|\phi \left(\xi \right)\right|$.

**Definition**

**1.**

An arbitrary manifold M in the extended phase space $[{t}_{0}-h,\infty )\times {\mathbb{R}}_{+}$ of (3) is called an $\mathit{integral}\phantom{\rule{4pt}{0ex}}\mathit{manifold}$, if for any solution $x\left(t\right)=x(t;{t}_{0},{\phi}_{0})$, $(t,{\phi}_{0}(t-{t}_{0}))\in M$, $t\in [{t}_{0}-h,{t}_{0}]$ implies $(t,x(t\left)\right)\in M$, $t\ge {t}_{0}$.

For a manifold $M\subset [{t}_{0}-h,\infty )\times {\mathbb{R}}_{+}$ we introduce the following sets and distances:

$M\left(t\right)$ is the set of all $x\in {\mathbb{R}}_{+}$ such that $(t,x)\in M$ for $t\in [{t}_{0},\infty )$;

${M}_{0}\left(t\right)$ is the set of all $x\in {\mathbb{R}}_{+}$ such that $(t,x)\in M$ for $t\in [{t}_{0}-h,{t}_{0}]$;

$d(x,M\left(t\right))=\underset{y\in M\left(t\right)}{inf}|x-y|$ is the distance between $x\in {\mathbb{R}}_{+}$ and $M\left(t\right)$;

$M(t,\epsilon )=\{x\in {\mathbb{R}}_{+}:\phantom{\rule{4pt}{0ex}}d(x,M\left(t\right))<\epsilon \}\phantom{\rule{4pt}{0ex}}(\epsilon >0)$ is an $\epsilon $-neighborhood of $M\left(t\right)$;

${d}_{0}(\phi ,{M}_{0}\left(t\right))={sup}_{t\in [{t}_{0}-h,{t}_{0}]}d(\phi (t-{t}_{0}),{M}_{0}\left(t\right))$ is the distance between a function $\phi \in PC[[-h,0],{\mathbb{R}}_{+}]$ and ${M}_{0}\left(t\right)$;

${M}_{0}(t,\epsilon )=\{\phi \in PC[[-h,0],{\mathbb{R}}_{+}]:\phantom{\rule{4pt}{0ex}}{d}_{0}(\phi ,{M}_{0}\left(t\right))<\epsilon \}$ is an $\epsilon $-neighborhood of ${M}_{0}\left(t\right)$;

$\overline{{S}_{a}}\left(P{C}_{0}\right)={\{\phi \in \mathcal{P}C:\phantom{\rule{4pt}{0ex}}|\phi |}_{h}\le a,\phantom{\rule{4pt}{0ex}}a=const>0\}$.

In order to realize our investigations we will need the following assumptions:

A1. The set $M\left(t\right)$ is nonempty for $t\in [{t}_{0},\infty )$.

A2. The set ${M}_{0}\left(t\right)$ is nonempty for $t\in [{t}_{0}-h,{t}_{0}]$.

A3. The distance $d(x,M(t\left)\right)$ is Lipschitz with respect to t on any compact subset F of $[{t}_{0},\infty )\times {\mathbb{R}}_{+}$.

We also will use the following definitions.

**Definition**

**2.**

The integral manifold M of system in Equation (2) is said to be:

(a) equi-bounded, if for any initial point ${t}_{0}\in {\mathbb{R}}_{+}$ and any positive constants $\eta >0$ and $a>0$ there exists a positive number $b=b({t}_{0},\eta ,a)>0$ such that for any initial function $\phi \in \overline{{S}_{a}}\left(P{C}_{0}\right)\cap {M}_{0}(t,\eta )$ the solution $x(t;{t}_{0},\phi )\in M(t,b)$ for all $t\ge {t}_{0}$;

(b) t (or a)- uniformly bounded, if the number b from (a) is independent of ${t}_{0}\phantom{\rule{4pt}{0ex}}\left(or\phantom{\rule{4pt}{0ex}}of\phantom{\rule{4pt}{0ex}}a\right)$;

(c) uniformly bounded, if the number b from (a) depends only on η.

**Definition**

**3.**

The integral manifold M is said to be:

(a) stable with respect to the system in Equation (2), if for any initial point ${t}_{0}\in {\mathbb{R}}_{+}$ and any positive constants $a>0$ and $\epsilon >0$ there exists a positive $\delta =\delta ({t}_{0},a,\epsilon )>0$ such that for any initial function such that $\phi \in \overline{{S}_{a}}\left(P{C}_{0}\right)\cap {M}_{0}(t,\delta )$ the solution $x(t;{t}_{0},\phi )\in M(t,\epsilon )$ for all $t\ge {t}_{0}$;

(b) uniformly stable with respect to the system in Equation (2) if the number δ from (a) depends only on ε;

(c) uniformly globally attractive with respect to the system in Equation (2), if for any $\eta >0$ and $\epsilon >0$ there exists a positive number $T=T(\eta ,\epsilon )>0$ such that for any initial point ${t}_{0}\in {\mathbb{R}}_{+}$, any constant $a>0$ and any initial function such that $\phi \in \overline{{S}_{a}}\left(P{C}_{0}\right)\cap {M}_{0}(t,\eta )$ the solution $x(t;{t}_{0},\phi )\in M(t,\epsilon )$ for all $t\ge {t}_{0}+T$;

**Remark**

**1.**

Point (d) of Definition 3 can be reduced to the following specific stability notions:

1. Lyapunov uniform global asymptotic stability of the zero solution of Equation (2), if

$$M=[{t}_{0}-h,\infty )\times \{x\equiv 0\}.$$

2. Lyapunov uniform global asymptotic stability of a non-zero equilibrium state ${x}^{*}={x}^{*}\left(t\right)$ of Equation (2), if

$$M=[{t}_{0}-h,\infty )\times \{x\in {\mathbb{R}}_{+}:x\equiv {x}^{*}\}.$$

3. Uniform global asymptotic stability of conditionally integral manifold B with respect to a integral manifold A, where $A\subset B\subset {\mathbb{R}}_{+}$, if $M\left(t\right)=B$ for $t\ge {t}_{0}$ and ${M}_{0}\left(t\right)=A$ for $t\in [{t}_{0}-h,{t}_{0}]$.

Next, motivated by [38,53], for an integral manifold M with respect to Equation (2) we will define a generalization of the global exponential stability notion to the fractional-order case, called global Mittag–Leffler stability. To this end we will need the Mittag–Leffler function [29,30] defined as

$${E}_{q}\left(z\right)=\sum _{\kappa =0}^{\infty}\frac{{z}^{\kappa}}{\mathsf{\Gamma}(q\kappa +1)},\phantom{\rule{4pt}{0ex}}q>0.$$

**Definition**

**4.**

The integral manifold M is said to be globally Mittag–Leffler stable with respect to Equation (2), if there exist constants $\mu >0$ and $\tilde{d}>0$ such that
where ${E}_{q}$ is the corresponding Mittag–Leffler function, ${\phi}_{0}\in PCB[[-h,0],{\mathbb{R}}_{+}]$, $m\left(0\right)=0$, $m\left(\phi \right)\ge 0$ and $m\left(\phi \right)$ is Lipschitz with respect to $\phi \in PCB[[-h,0],{\mathbb{R}}_{+}]$.

$$x(t;{t}_{0},{\phi}_{0})\in M\left(t,{\left\{m\left[{\phi}_{0}\right]{E}_{q}(-\mu {(t-{t}_{0})}^{q})\right\}}^{\tilde{d}}\right),\phantom{\rule{4pt}{0ex}}t\ge {t}_{0},$$

Let ${\tau}_{0}\left(x\right)={t}_{0}$, $x\in {\mathbb{R}}_{+}$. Next, we need the following sets
and in the future considerations, we will adopt the Lyapunov–Razumikhin approach. That is why in the proofs of our main results we will use the class of piecewise continuous auxiliary functions given as:
V is locally Lipschitz with respect to its second argument on each of the sets ${G}_{k}$; $V(t,x)=0$ for $(t,x)\in M,\phantom{\rule{4pt}{0ex}}t\ge {t}_{0}$, $V(t,x)>0$ for $(t,x)\in [{t}_{0},\infty )\times {\mathbb{R}}_{+}\backslash M$, for $({t}_{0}^{*},{x}_{0}^{*})\in {\sigma}_{k}$, $V({t}_{0}^{*-},{x}_{0}^{*})$ and $V({t}_{0}^{*+},{x}_{0}^{*})$ exist and $V({t}_{0}^{*-},{x}_{0}^{*})=V({t}_{0}^{*},{x}_{0}^{*})\}$.

$${\mathcal{G}}_{k}=\left\{(t,x)\in [{t}_{0},\infty )\times {\mathbb{R}}_{+}:\phantom{\rule{4pt}{0ex}}{\tau}_{k-1}\left(x\right)<t<{\tau}_{k}\left(x\right)\right\},\phantom{\rule{4pt}{0ex}}k=1,2,\dots ,\phantom{\rule{4pt}{0ex}}\phantom{\rule{4pt}{0ex}}\mathcal{G}=\bigcup _{k=1}^{\infty}{\mathcal{G}}_{k}$$

$${V}_{M}=\{V:[{t}_{0},\infty )\times {\mathbb{R}}_{+}\to {\mathbb{R}}_{+}:V\in C[G,{\mathbb{R}}_{+}],\phantom{\rule{4pt}{0ex}}t\in [{t}_{0},\infty ),$$

Lets, for simplicity, denote

$$X(t,x)=-\gamma \left(t\right)x\left(t\right)+\sum _{j=1}^{m}{\beta}_{j}\left(t\right){e}^{-{\alpha}_{j}\left(t\right)x(t-{s}_{j}\left(t\right))},\phantom{\rule{4pt}{0ex}}t\ne {\tau}_{k}\left(x\right),\phantom{\rule{4pt}{0ex}}x\in {\mathbb{R}}_{+}.$$

Using the above notation, for a function $V\in {V}_{M}$ we define the following fractional-order derivative.

**Definition**

**5.**

Let $t\in ({\tau}_{k-1}\left(x\right),{\tau}_{k}\left(x\right)),\phantom{\rule{4pt}{0ex}}k=1,2,\dots $, $x\in {\mathbb{R}}_{+}$ and $\phi \in \mathcal{PC}$. For $V\in {V}_{M}$ the upper right-hand derivative of V in Caputo’s sense of order q, $0<q<1$ with respect to the system in Equation (2) is defined by

$${}^{C}{D}_{+}^{q}V(t,\phi \left(0\right))=\underset{\chi \to {0}^{+}}{lim}sup\frac{1}{{\chi}^{q}}\left[V(t,\phi \left(0\right))-V(t-\chi ,\phi \left(0\right)-{\chi}^{q}X(t,\phi ))\right].$$

The following class of weight functions will also be useful in the proofs of our main theorems:

$\mathcal{K}=\{w\in C[{\mathbb{R}}_{+},{\mathbb{R}}_{+}]:\phantom{\rule{4pt}{0ex}}w\left(r\right)$ is strictly increasing and $w\left(0\right)=0,\phantom{\rule{4pt}{0ex}}w\left(r\right)\to \infty ,\phantom{\rule{4pt}{0ex}}r\to \infty \}$.

Let ${t}_{1},\phantom{\rule{0.222222em}{0ex}}{t}_{2}\phantom{\rule{0.222222em}{0ex}},\dots $$({t}_{0}<{t}_{1}<{t}_{2}<\dots )$ be the impulsive control instants at which the integral curve $(t,x(t;{t}_{0},{\phi}_{0}))$ of the IVP Equation (2), Equation (3) meets the hypersurfaces ${\sigma}_{k}$, $k=1,2,\dots $, i.e., each of the points ${t}_{k}$ is a solution of some of the equations $t={\tau}_{k}\left(x\left(t\right)\right)$, $k=1,2,\dots $

In the next section we shall use the following Lemma from [38]. Similar comparison results can be found in [44] and the references therein.

**Lemma**

**1.**

Assume that the function $V\in {V}_{M}$ is such that for $t\in [{t}_{0},\infty )$, $\phi \in \mathcal{PC}$,
and for a continuous function $\lambda :[{t}_{0},\infty )\to \mathbb{R}$ the inequality
is valid whenever $V(t+\xi ,\phi (\xi \left)\right)\le V(t,\phi (0\left)\right)$ for $-h\le \xi \le 0$.

$$V({t}^{+},\phi \left(0\right)+\mathsf{\Delta}\phi )\le V(t,\phi \left(0\right)),\phantom{\rule{4pt}{0ex}}\phantom{\rule{4pt}{0ex}}t={t}_{k},$$

$${}^{C}{D}_{+}^{q}V(t,\phi \left(0\right))\le \lambda \left(t\right)V(t,\phi \left(0\right)),\phantom{\rule{4pt}{0ex}}t\ne {t}_{k},\phantom{\rule{4pt}{0ex}}k=1,2,\dots $$

Then $su{p}_{-h\le \xi \le 0}V({t}_{0}+\xi ,{\phi}_{0}\left(\xi \right))\le V(t,\phi \left(0\right))$ implies

$$V(t,x(t;{t}_{0},{\phi}_{0}))\le su{p}_{-h\le \xi \le 0}V({t}_{0}^{+},{\phi}_{0}\left(\xi \right)){E}_{q}\left(\lambda \left(t\right){(t-{t}_{0})}^{q}\right),\phantom{\rule{0.222222em}{0ex}}t\in [{t}_{0},\infty ).$$

In the case when $\lambda \left(t\right)=0$ for $t\in [{t}_{0},\infty )$ the following corollary follows directly from Lemma 1.

**Corollary**

**1.**

Assume that the function $V\in {V}_{M}$ is such that for $t\in [{t}_{0},\infty )$, $\phi \in \mathcal{PC}$,
$$V({t}^{+},\phi \left(0\right)+\mathsf{\Delta}\phi )\le V(t,\phi \left(0\right)),\phantom{\rule{4pt}{0ex}}\phantom{\rule{4pt}{0ex}}t={t}_{k},$$
and the inequality
is valid whenever $V(t+\xi ,\phi (\xi \left)\right)\le V(t,\phi (0\left)\right)$ for $-h\le \xi \le 0$.

$${}^{C}{D}_{+}^{q}V(t,\phi \left(0\right))\le 0,\phantom{\rule{4pt}{0ex}}t\ne {t}_{k},\phantom{\rule{4pt}{0ex}}k=1,2,\dots $$

Then

$$V(t,x(t;{t}_{0},{\phi}_{0}))\le su{p}_{-h\le \xi \le 0}V({t}_{0}^{+},{\phi}_{0}\left(\xi \right)),\phantom{\rule{0.222222em}{0ex}}t\in [{t}_{0},\infty ).$$

## 3. Main Results

In this section, for a bounded continuous function f defined on ${\mathbb{R}}_{+}$, we set

$$\overline{f}=\underset{t\in {\mathbb{R}}_{+}}{sup}f\left(t\right),\phantom{\rule{4pt}{0ex}}\underline{f}=\underset{t\in {\mathbb{R}}_{+}}{inf}f\left(t\right).$$

#### 3.1. Existence and Boundedness Results

**Theorem**

**1.**

Assume that:

1. Assumptions A1–A3 are satisfied.

2. M is a manifold in the extended phase space of the system in Equation (2).

3. The functions ${\alpha}_{j}\left(t\right),\phantom{\rule{4pt}{0ex}}{\beta}_{j}\left(t\right)$, $\gamma \left(t\right)$, ${s}_{j}\left(t\right)$ are bounded on ${\mathbb{R}}_{+}$, ${s}_{j}\left(t\right)<min\{t,h\}$, $j=1,2,\dots ,m,$ $t\in [{t}_{0},\infty )$.

4. The sequences of constants $\left\{{\alpha}_{k}\right\}$ are such that

$$-1<{\alpha}_{k}\le 0,\phantom{\rule{4pt}{0ex}}k=1,2,\cdots .$$

5. The model’s parameters are such that for $t\ne {\tau}_{k}\left(x\right)$, $k=1,2,\dots $, $x\in {\mathbb{R}}_{+}$

$$\frac{{\sum}_{j=1}^{m}\overline{{\beta}_{j}{\alpha}_{j}}}{\underline{\gamma}}<1.$$

Then M is an integral manifold of Equation (2).

**Proof.**

Let ${t}_{0}\in {\mathbb{R}}_{+}$, ${\phi}_{0}\in \mathcal{P}C$. Let $x(t;{t}_{0},{\phi}_{0})$ be the solution of the IVP Equation (2), Equation (3) and $(t,{\phi}_{0}(t-{t}_{0}))\in M$ for $t\in [{t}_{0}-h,{t}_{0}]$. We will prove that M is an integral manifold of Equation (2). If we suppose that this is not true, then there exists a ${t}^{\prime},\phantom{\rule{4pt}{0ex}}{t}^{\prime}>{t}_{0}$ such that $(t,x(t;{t}_{0},{\phi}_{0}))\in M$ for ${t}_{0}<t\le {t}^{\prime}$ and $(t,x(t;{t}_{0},{\phi}_{0}))\notin M$ for $t>{t}^{\prime}$.

Consider the Lyapunov function $V\in {V}_{M}$ defined as
where $t\in [{t}_{0}-h,\infty )$.

$$V(t,x)=d(x,M(t\left)\right),$$

It is easy to see that there exists ${t}^{\u2033},\phantom{\rule{4pt}{0ex}}{t}^{\u2033}>{t}^{\prime}$ such that $({t}^{\u2033},x({t}^{\u2033};{t}_{0},{\phi}_{0}))\notin M$ and $V({t}^{\u2033},x({t}^{\u2033};{t}_{0},{\phi}_{0}))>0$.

In the case when $t={\tau}_{k}\left(x\right)$, $x\in {\mathbb{R}}_{+}$, by condition 4, we get

$$V({t}^{+},\phi \left(0\right)+\mathsf{\Delta}\phi )=d(\phi \left(0\right)+\mathsf{\Delta}\phi ,M\left({t}^{+}\right))$$

$$\underset{{\phi}_{1}\left(0\right)\in M\left(t\right)}{inf}|\phi \left(0\right)+\mathsf{\Delta}\phi -{\phi}_{1}\left(0\right)-\mathsf{\Delta}{\phi}_{1}\left(0\right)|=\underset{{\phi}_{1}\left(0\right)\in M\left(t\right)}{inf}|\phi \left(0\right)+{\alpha}_{k}\phi \left(0\right)-{\phi}_{1}\left(0\right)-{\alpha}_{k}{\phi}_{1}\left(0\right)|$$

$$\le (1+{\alpha}_{k})\underset{{\phi}_{1}\left(0\right)\in M\left(t\right)}{inf}|\phi \left(0\right)-{\phi}_{1}\left(0\right)|\le V(t,\phi \left(0\right)).$$

Let $t\ge {t}_{0}$, $t\ne {\tau}_{k}\left(x\right)$, $x\in {\mathbb{R}}_{+}$. We can see that

$${{}_{{t}_{0}}^{C}D}_{t}^{q}|x\left(t\right)-{x}^{*}\left(t\right)|=sign(x\left(t\right)-{x}^{*}\left(t\right)){{}_{{t}_{0}}^{C}D}_{t}^{q}(x\left(t\right)-{x}^{*}\left(t\right)).$$

Then for $t\ge {t}_{0}$ and $t\in ({\tau}_{k-1}\left(x\right),{\tau}_{k}\left(x\right))$ and for the derivative ${}^{C}{D}_{+}^{q}V(t,\phi \left(0\right))$ along the solutions of the system in Equation (2) we have

$${}^{C}{D}_{+}^{q}V(t,\phi \left(0\right))\le -\gamma \left(t\right)|\phi \left(0\right)-{\phi}_{1}\left(0\right)|+\sum _{j=1}^{m}{\beta}_{j}\left(t\right)|{e}^{-{\alpha}_{j}\left(t\right)\phi (-{s}_{j}\left(0\right))}-{e}^{-{\alpha}_{j}\left(t\right){\phi}_{1}(-{s}_{j}\left(0\right))}|$$

$$\le -\gamma \left(t\right)|\phi \left(0\right)-{\phi}_{1}\left(0\right)|+\sum _{j=1}^{m}{\beta}_{j}\left(t\right){\alpha}_{j}\left(t\right)|\phi (-{s}_{j}\left(0\right))-{\phi}_{1}(-{s}_{j}\left(0\right))|,\phantom{\rule{4pt}{0ex}}{\phi}_{1}\left(0\right)\in M\left(t\right).$$

From the above estimate, we have
and for any solution $x\left(t\right)$ that satisfies the Razumikhin condition
by virtue of condition 5 of Theorem 1, it follows that

$${}^{C}{D}_{+}^{q}V(t,\phi \left(0\right))\le -\underline{\gamma}V(t,\phi \left(0\right))+\sum _{j=1}^{m}\overline{{\beta}_{j}{\alpha}_{j}}\underset{-h\le \xi \le 0}{sup}V(t+\xi ,\phi \left(\xi \right))$$

$$V(t+\xi ,\phi (\xi \left)\right)\le V(t,\phi (0\left)\right),-h\le \xi \le 0$$

$${}^{C}{D}_{+}^{q}V(t,\phi \left(0\right))\le 0,\phantom{\rule{4pt}{0ex}}\phantom{\rule{4pt}{0ex}}t\ne {\tau}_{k}\left(x\right),\phantom{\rule{4pt}{0ex}}t>{t}_{0}.$$

Then using Equations (5) and (6) and Corollary 1, we get

$$V(t,x\left(t\right))\le \underset{-h\le \xi \le 0}{sup}V({t}_{0}^{+},{\phi}_{0}\left(\xi \right)),\phantom{\rule{4pt}{0ex}}t\in [{t}_{0},\infty ).$$

From the last inequality we get $V({t}^{\u2033},x({t}^{\u2033};{t}_{0},{\phi}_{0}))\le {sup}_{-h\le \xi \le 0}V({t}_{0}^{+},{\phi}_{0}\left(\xi \right))=0,\phantom{\rule{4pt}{0ex}}t\in [{t}_{0},\infty )$ which contradicts the fact that $V({t}^{\u2033},x({t}^{\u2033};{t}_{0},{\phi}_{0}))>0$ and therefore, it shows that M is an integral manifold of Equation (2).

The proof of Theorem 1 is complete. □

Now, we will proof some boundedness results.

**Theorem**

**2.**

Let conditions of Theorem 1 are satisfied. Then the integral manifold M of Equation (2) is uniformly bounded.

**Proof.**

Let $a>0,\phantom{\rule{4pt}{0ex}}\eta >0$ and ${t}_{0}\in {\mathbb{R}}_{+}$. Consider again the Lyapunov function seen in Equation (4). It follows from the choice of the function V that there exist functions ${w}_{1},{w}_{2}\in \mathcal{K}$ that satisfy

$${w}_{1}\left(d(x,M\left(t\right))\right)\le V(t,x)\le {w}_{2}\left(d(x,M\left(t\right))\right),\phantom{\rule{4pt}{0ex}}\phantom{\rule{4pt}{0ex}}(t,x)\in [{t}_{0},\infty )\times {\mathbb{R}}_{+}.$$

Now, we suppose that $x\left(t\right)=x(t;{t}_{0},{\phi}_{0})$ is a solution of problem Equations (2) and (3). From the definition of the weight functions ${w}_{1},{w}_{2}\in \mathcal{K}$, it follows that we can choose the number $b=b\left(\eta \right)>0$ so that ${w}_{2}\left(\eta \right)<{w}_{1}\left(b\right)$.

Let ${\phi}_{0}\in \overline{{S}_{a}}\left(P{C}_{0}\right)\cap {M}_{0}(t,\eta )$. Since all conditions of Theorem 1 are satisfied, we get Equations (5) and (7). Then by Equations (5), (7) and (8), we have

$${w}_{1}\left(d(x\left(t\right),M\left(t\right))\right)\le V(t,x\left(t\right))\le su{p}_{-h\le \xi \le 0}V({t}_{0}^{+},{\phi}_{0}\left(\xi \right))$$

$$\le {w}_{2}\left({d}_{0}({\phi}_{0},{M}_{0}\left(t\right))\right)\le {w}_{2}\left(\eta \right)<{w}_{1}\left(b\right),\phantom{\rule{4pt}{0ex}}t\ge {t}_{0}.$$

Therefore, $x(t;{t}_{0},{\phi}_{0})\in M(t,b)$ for $t\in [{t}_{0},\infty )$ and the theorem is proved. □

The proofs of the next two theorems is analogous to the proof of Theorem 2. They present sufficient conditions for t (respectively for a)-uniform boundedness of the integral manifold M with respect to Equation (2).

**Theorem**

**3.**

Let the conditions of Theorem 2 hold and for the Lyapunov function in Equation (4) there exists ${w}_{2}(.,s)\in \mathcal{K}$ such that for each fixed $s\ge 0$

$$V(t,x)\le {w}_{2}(d(x,M\left(t\right)),x)\phantom{\rule{4pt}{0ex}}for\phantom{\rule{4pt}{0ex}}(t,x)\in [{t}_{0},\infty )\times {\mathbb{R}}_{+}.$$

Then the integral manifold M of Equation (2) is t-uniformly bounded.

**Theorem**

**4.**

Let the conditions of Theorem 2 hold and for the Lyapunov function in Equation (4) there exists ${w}_{2}(t,.)\in \mathcal{K}$ such that for each $t\in [{t}_{0},\infty )$

$$V(t,x)\le {w}_{2}(t,d(x,M\left(t\right)))\phantom{\rule{4pt}{0ex}}for\phantom{\rule{4pt}{0ex}}(t,x)\in [{t}_{0},\infty )\times {\mathbb{R}}_{+}.$$

Then the integral manifold M of Equation (2) is α- uniformly bounded.

**Remark**

**2.**

Theorems 1–4 offer efficient criteria for existence and boundedness of integral manifolds related to the fractional-order Lasota–Wazewska model in Equation (2). It is well known that boundedness is an important property that plays a significant role in the existence of permanent, periodic and almost-periodic solutions of different systems [20,38,54,55,56,57]. Since integral manifolds are sets of solutions of the system (see, [45,46,47,48]), our results generalize and complement the existing qualitative results for separate solutions of Equation (2), biological models [4,10,11,12,19,20,21,22,23,24,25,38,44].

#### 3.2. Global Asymptotic Stability

In this section, we shall use the measurable function $\lambda :[{t}_{0},\infty )\to {\mathbb{R}}_{+}$. It is integrally positive if
whenever $\hat{J}=\bigcup _{k=1}^{\infty}[{a}_{k},{b}_{k}]$, ${a}_{k}<{b}_{k}<{a}_{k+1}$ and ${b}_{k}-{a}_{k}\ge \theta >0,\phantom{\rule{4pt}{0ex}}k=1,2,\dots $

$${\int}_{\hat{J}}\lambda \left(t\right)dt=\infty $$

**Theorem**

**5.**

Assume that:

1. Conditions 1–4 of Theorem 1 are satisfied.

2. There exists an integrally positive function $\lambda =\lambda \left(t\right):{\mathbb{R}}_{+}\to {\mathbb{R}}_{+}$ such that for $t\ne {\tau}_{k}\left(x\right)$, $k=1,2,\dots $, $x\in {\mathbb{R}}_{+}$

$$\underline{\gamma}-\sum _{j=1}^{m}\overline{{\beta}_{j}{\alpha}_{j}}>\lambda \left(t\right)>0.$$

3. $\frac{\eta}{\mathsf{\Gamma}\left(q\right)}{\int}_{0}^{\infty}{(t-s)}^{q-1}\lambda \left(s\right)ds=\infty$ for sufficiently small values of $\eta >0$.

Then the integral manifold M is uniformly globally asymptotically stable with respect to Equation (2).

**Proof.**

Let ${t}_{0}\in {\mathbb{R}}_{+}$. The fact that M is a uniformly bounded integral manifold of Equation (2) follows from Theorem 2.

Consider the Lyapunov function $V\in {V}_{M}$ defined by Equation (4).

We will first prove the uniform stability of the integral manifold M with respect to Equation (2). Let $\epsilon >0$ and take $\delta =\delta \left(\epsilon \right)>0$ so that $\delta <\epsilon $.

Let $a>0$ be arbitrary, ${\phi}_{0}\in \overline{{S}_{a}}\left(P{C}_{0}\right)\cap {M}_{0}(t,\delta )$ and $x\left(t\right)=x(t;{t}_{0},{\phi}_{0})$ be the solution of Equation (2) through $({t}_{0},{\phi}_{0})$.

By condition 2 of Theorem 5, using similar arguments as in the proof of Theorem 1, for the case $t\ge {t}_{0}$, $t\ne {\tau}_{k}\left(x\right)$, $x\in {\mathbb{R}}_{+}$, we have

$${}^{C}{D}_{+}^{q}V(t,\phi \left(0\right))\le -\lambda \left(t\right)V(t,\phi \left(0\right)),\phantom{\rule{4pt}{0ex}}\phantom{\rule{4pt}{0ex}}t\ne {\tau}_{k}\left(x\right),\phantom{\rule{4pt}{0ex}}t>{t}_{0}.$$

From Equations (5) and (9) and Corollary 1, we get
hence the integral manifold M is uniformly stable with respect to Equation (2).

$$d(x(t;{t}_{0},{\phi}_{0}),M\left(t\right))=V(t,x\left(t\right))\le su{p}_{-h\le \xi \le 0}V({t}_{0}^{+},{\phi}_{0}\left(\xi \right))$$

$$=su{p}_{-h\le \xi \le 0}d({\phi}_{0}\left(\xi \right),{M}_{0}\left({t}_{0}^{+}\right))\le {d}_{0}({\phi}_{0},{M}_{0}\left(t\right))<\delta <\epsilon ,\phantom{\rule{4pt}{0ex}}t\ge {t}_{0},$$

Next, for the given $\epsilon >0$ and $\eta <\epsilon $, in view of condition 3 of Theorem 5, we can choose the number $T=T(\eta ,\epsilon )>0$ so that

$$\frac{\epsilon}{\mathsf{\Gamma}\left(q\right)}{\int}_{{t}_{0}}^{{t}_{0}+T}{({t}_{0}+T-s)}^{q-1}\lambda \left(s\right)ds>\eta .$$

Let $a>0$ be arbitrary, ${\phi}_{0}\in \overline{{S}_{a}}\left(P{C}_{0}\right)\cap {M}_{0}(t,\eta )$ and if we assume that for any $t\in [{t}_{0},{t}_{0}+T]$ we have
then by Equations (5), (9) and (11) it follows that

$$d(x(t;{t}_{0},{\phi}_{0}),M\left(t\right))\ge \epsilon $$

$$V(t,x(t;{t}_{0},{\phi}_{0}))\le V({t}_{0}^{+},{\phi}_{0})$$

$$-\frac{1}{\mathsf{\Gamma}\left(q\right)}{\int}_{{t}_{0}}^{{t}_{0}+T}{({t}_{0}+T-s)}^{q-1}\lambda \left(s\right)d(x(s;{t}_{0},{\phi}_{0}),M\left(s\right))ds$$

$$\le V({t}_{0}^{+},{\phi}_{0})-\frac{\epsilon}{\mathsf{\Gamma}\left(q\right)}{\int}_{{t}_{0}}^{{t}_{0}+T}{({t}_{0}+T-s)}^{q-1}\lambda \left(s\right)ds,\phantom{\rule{4pt}{0ex}}t\in [{t}_{0},{t}_{0}+\mu ].$$

From the above estimate, Equations (5) and (10) for $t={t}_{0}+T$ we obtain
which contradicts the fact that $V\in {V}_{M}$. Hence, there exists a ${t}^{*}\in [{t}_{0},{t}_{0}+T]$, such that

$$V({t}_{0}+T,x({t}_{0}+T;{t}_{0},{\phi}_{0}))\le \eta -\frac{\epsilon}{\mathsf{\Gamma}\left(q\right)}{\int}_{{t}_{0}}^{{t}_{0}+T}{({t}_{0}+T-s)}^{q-1}\lambda \left(s\right)ds<0,$$

$$d(x({t}^{*};{t}_{0},{\phi}_{0}),M\left({t}^{*}\right))<\epsilon .$$

From the lack of increase of the function V along the solution $x\left(t\right)=x(t;{t}_{0},\phi )$ it follows that for $t\ge {t}^{*}$ (hence for any $t\ge {t}_{0}+T$ as well) we have

$$d(x(t;{t}_{0},{\phi}_{0}),M\left(t\right)))=V(t,x(t;{t}_{0},{\phi}_{0}))\le su{p}_{{t}^{*}-h\le t\le {t}^{*}}V({t}^{{*}^{+}},x(t-{t}^{*}))$$

$$=su{p}_{{t}^{*}-h\le t\le {t}^{*}}d(x(t-{t}^{*}),M(t-{t}^{*}))<\eta <\epsilon .$$

Therefore, $x\left(t\right)\in M(t,\u03f5)$ for $t\ge {t}_{0}+T$. Hence, the integral manifold M is uniformly globally attractive with respect to Equation (2).

The proof is complete. □

The proof of the next theorem is similar to the proof of Theorem 5 and we will omit it here.

**Theorem**

**6.**

Let the conditions 1 and 2 of Theorem 5 hold and for the Lyapunov function in Equation (4) there exists a function $w\in \mathcal{K}$ and integrally positive functions $\zeta ,\lambda :[{t}_{0},\infty )\to {\mathbb{R}}_{+}$ such that
for $t\in [{t}_{0},\infty )$.

$$\zeta \left(t\right)w\left(d(x\left(t\right),M\left(t\right))\right){\lambda}^{-1}\left(t\right)\le V(t,x),\phantom{\rule{4pt}{0ex}}t\ne {\tau}_{k}\left(x\right),\phantom{\rule{4pt}{0ex}}k=1,2,\dots $$

Then the integral manifold M is uniformly globally asymptotically stable with respect to Equation (2).

**Remark**

**3.**

Theorems 5 and 6 offer new sufficient conditions on the model’s parameters of the impulsive fractional Lasota–Wazewska Equation (2) that yield the global asymptotic stability of an integral manifold of states. Also, the obtained results extend the existing global attractivity and stability results for impulsive Lasota–Wazewska models [21,22,23,24,25] to the fractional-order case which better reflects the multiple history dependent phenomena in the red blood cells dynamics. In fact, stability properties are the most investigated qualitative properties of biological systems concerned with the study of their behavior over a finite or infinite interval of time. Stability is also a very essential and crucial issue in control systems (such as impulsive control systems [20]). Hence, formulating rigorous stability results is a research problem of theoretical and practical significance.

**Remark**

**4.**

With this research we generalize the results in [44], considering variable impulsive perturbations and integral manifolds. For example, if $M=[{t}_{0}-h,\infty )\times \{x\in {\mathbb{R}}_{+}:x\equiv {x}^{*}\}$, then two solutions $x\left(t\right)$ and ${x}^{*}\left(t\right)\in M\left(t\right)$ may have different impulsive moments ${t}_{k}$ and ${t}_{k}^{*}$ which is more general than the case of fixed moments of impulsive perturbations, considered in [44]. Since taking into account variable impulsive perturbations in impulsive control systems is more natural and realistic, our results have great opportunities for applications. If the impulses are realized at fixed times, and the integral manifold $M=[{t}_{0}-h,\infty )\times \{x\in {\mathbb{R}}_{+}:x\equiv w\}$, where w is the unique almost periodic solution of the Lasota–Wazewska model, then the results in [44] follow as corollaries of our results.

#### 3.3. Global Mittag–Leffler Stability

In this Section we will present our Mittag–Leffler stability results for the integral manifold M.

**Theorem**

**7.**

Assume that conditions 1 and 2 of Theorem 5 are met.

Then the integral manifold M is globally Mittag–Leffler stable with respect to Equation (2).

**Proof.**

Let ${t}_{0}\in {\mathbb{R}}_{+}$ and ${\phi}_{0}\in PCB[[-h,0],{\mathbb{R}}_{+}]$ and $x\left(t\right)=x(t;{t}_{0},{\phi}_{0})$ be the solution of the IVP Equations (2) and (3). From conditions 1 and 2 of Theorem 5 we get Equations (5) and (9).

Consider again the Lyapunov function Equation (4). For it there exists a constant $\nu >0$ such that

$$V(t,x)<\nu \left|x\right|,\phantom{\rule{4pt}{0ex}}t\in [{t}_{0},\infty ),\phantom{\rule{4pt}{0ex}}x\in {\mathbb{R}}_{+}.$$

Then from the above estimate, Equations (5) and (9), using Lemma 1, we obtain

$$\begin{array}{c}\hfill d(x(t;{t}_{0},{\phi}_{0}),M\left(t\right))=V(t,x\left(t\right))\le \underset{-h\le \xi \le 0}{sup}V({t}_{0}^{+},{\phi}_{0}\left(\xi \right)){E}_{q}(-\lambda \left(t\right){(t-{t}_{0})}^{q})\\ \hfill <\nu |{\phi}_{0}{|}_{h}{E}_{q}(-\lambda \left(t\right){(t-{t}_{0})}^{q}),\phantom{\rule{4pt}{0ex}}\phantom{\rule{4pt}{0ex}}\phantom{\rule{4pt}{0ex}}t\ge {t}_{0}.\end{array}$$

Let $m\left[{\phi}_{0}\right]=\nu {\left|{\phi}_{0}\right|}_{h}$. Then

$$d(x(t;{t}_{0},{\phi}_{0}),M\left(t\right))<m\left[{\phi}_{0}\right]{E}_{q}(-\lambda \left(t\right){(t-{t}_{0})}^{q}),\phantom{\rule{4pt}{0ex}}\phantom{\rule{4pt}{0ex}}\phantom{\rule{4pt}{0ex}}t\ge {t}_{0}.$$

Since in the above estimate $m\ge 0$ and $m=0$ is true only if ${\phi}_{0}=0$, this proves that the integral manifold M is globally Mittag–Leffler stable with respect to Equation (2). □

**Remark**

**5.**

If in Theorem 7 we consider $q=1$, then we will have
which implies the global exponential stability of the integral manifold M with respect to Equation (2). This shows that the notion of Mittag–Leffler stability for fractional-order differential equations is an extension of the notion of exponential stability for integer-order systems [20,53]. Therefore, with this research we generalize and improve the existing global exponential stability results for survival of red blood cells models [3,5,8,10,13,20,21,25] to the fractional-order case. It is also well known that the exponential stability guarantees the fast convergence rate which is preferable and desirable for mathematical models in biology, chemistry and medicine [20,24].

$$d(x(t;{t}_{0},{\phi}_{0}),M\left(t\right))\le \nu {\left|{\phi}_{0}\right|}_{h}exp(-\lambda \left(t\right)(t-{t}_{0})),\phantom{\rule{4pt}{0ex}}\phantom{\rule{4pt}{0ex}}\phantom{\rule{4pt}{0ex}}t\ge {t}_{0},$$

## 4. An Example

In this section, we present an example to illustrate the obtained results.

Consider the following impulsive Lasota–Wazewska fractional-order model with time-varying delays and variable impulsive perturbations:
where $m=2$, $t\ge 0$, $0<q<1$, $\gamma \left(t\right)=11+sint$, ${\beta}_{1}\left(t\right)=3.5+0.4sint$, ${\beta}_{2}\left(t\right)=3.1+0.2cost$, ${\alpha}_{1}\left(t\right)=0.6+0.4cost$, ${\alpha}_{2}\left(t\right)=0.3+0.2sint$, ${s}_{1}\left(t\right)=2+cost$, ${s}_{2}\left(t\right)=2+sint$, ${\nu}_{k}\in \mathbb{R}$, ${\tau}_{k}\left(x\right)=\left|x\right|+k$, $k=1,2,\dots $

$$\left\{\begin{array}{c}{{}_{0}^{C}D}_{t}^{q}x\left(t\right)=-(11+sint)x\left(t\right)\hfill \\ {\displaystyle \phantom{\rule{56.9055pt}{0ex}}+(3.5+0.4sint){e}^{-(0.6+0.4cost)x(t-2-cost)}}\hfill \\ {\displaystyle \phantom{\rule{56.9055pt}{0ex}}+(3.1+0.2cost){e}^{-(0.3+0.2sint)x(t-2-sint)},\phantom{\rule{4pt}{0ex}}t\ne {\tau}_{k}\left(x\right),}\hfill \\ {\displaystyle x\left({t}^{+}\right)=\frac{1}{k}x\left(t\right)+{\nu}_{k},\phantom{\rule{4pt}{0ex}}t={\tau}_{k}\left(x\right),\phantom{\rule{4pt}{0ex}}k=1,2,\dots ,}\hfill \end{array}\right.$$

First, we have that the functions ${\tau}_{k}\left(x\right)$ are continuous on ${\mathbb{R}}_{+}$ and satisfy

$${\tau}_{1}\left(x\right)<{\tau}_{2}\left(x\right)<\dots ,\phantom{\rule{4pt}{0ex}}{\tau}_{k}\left(x\right)\to \infty \phantom{\rule{4pt}{0ex}}\mathrm{as}\phantom{\rule{4pt}{0ex}}k\to \infty .$$

Consider the manifold
where $\underline{M}$, $\overline{M}\in {\mathbb{R}}_{+}$ are two constant solutions of Equation (12).

$$M=[-3,\infty )\times \{x\in {\mathbb{R}}_{+}:\underline{M}\le x\le \overline{M}\},$$

It is easy to check that for the manifold Equation (13) assumptions A1–A3 are satisfied.

Now, we have that ${\overline{\alpha}}_{1}=1$, ${\overline{\alpha}}_{2}=0.5$, ${\overline{\beta}}_{1}=3.9$, ${\overline{\beta}}_{2}=3.3$, $\underline{\gamma}=10$, and
i.e., condition 5 of Theorem 1 is satisfied.

$$\frac{{\sum}_{j=1}^{m}\overline{{\beta}_{j}{\alpha}_{j}}}{\underline{\gamma}}=\frac{5.55}{10}<1.$$

Moreover,
for $k=1,2,\dots $

$$-1<{\alpha}_{k}=\frac{1-k}{k}\le 0,$$

Therefore, according to Theorem 1, M is an integral manifold for Equation (12), and according to Theorem 2, M is uniformly bounded.

Also, if there exists an integrally positive function $\lambda =\lambda \left(t\right):{\mathbb{R}}_{+}\to {\mathbb{R}}_{+}$ such that for $t\ne {\tau}_{k}\left(x\right)$, $k=1,2,\dots $, $x\in {\mathbb{R}}_{+}$
then according to Theorem 7 the integral manifold M is globally Mittag–Leffler stable with respect to Equation (12).

$$\underline{\gamma}-\sum _{j=1}^{m}\overline{{\beta}_{j}{\alpha}_{j}}=4.45>\lambda \left(t\right)>0,$$

In addition, if the function $\lambda $ is such that $\frac{\eta}{\mathsf{\Gamma}\left(q\right)}{\int}_{0}^{\infty}{(t-s)}^{q-1}\lambda \left(s\right)ds=\infty$ for each sufficiently small value of $\eta >0$, the according to Theorem 5 the integral manifold M is uniformly globally asymptotically stable with respect to Equation (12).

**Remark**

**6.**

With our example we illustrated the established theoretical results. Since the notion of stability of manifolds includes as particular cases stability of zero solutions, equilibrium states, almost periodic solutions, etc., our results have universal applicability and can be easily expanded in the study of many other fractional biochemical reactions processes.

## 5. Conclusions

A large number of empirical studies have investigated the long-term dependence of red blood cells and cell production systems in general. To better model the long-term memory phenomena in the survival of red blood cells models, in this paper we extend the existing impulsive Lasota–Wazewska models with time-varying delays to the fractional-order case. In addition, we consider variable impulsive perturbations and integral manifolds in our analysis. Existence, boundedness, uniform global asymptotic stability and global Mittag–Leffler stability results are established. Since the notion of stability of integral manifolds is much more general than that of trivial solutions, equilibrium points, periodic and almost-periodic solutions, etc., our results generalized many existing boundedness and stability criteria. The generalized concept and the results obtained can be applied to study other types of impulsive control fractional biochemical systems.

## Author Contributions

Conceptualization, G.S. and I.S.; methodology, G.S. and I.S.; formal analysis, G.S. and I.S.; investigation, G.S. and I.S.; writing—original draft preparation, I.S.

## Funding

This research was funded in part by the European Regional Development Fund through the Operational Programme “Science and Education for Smart Growth” under contract UNITe No. BG05M2OP001–1.001–0004 (2018–2023).

## Conflicts of Interest

The authors declare no conflict of interest.

## References

- Pujo-Menjouet, L. Blood cell dynamics: Half of a century of modelling. Math. Model. Nat. Phenom.
**2016**, 11, 92–115. [Google Scholar] [CrossRef] - Wazewska–Czyzewska, M.; Lasota, A. Mathematical problems of the dynamics of red blood cell population. Math. Stos.
**1976**, 6, 23–40. (In Polish) [Google Scholar] - Gyori, I.; Ladas, G. Oscillation Theory of Delay Differential Equations. With Applications, 1st ed.; Oxford University Press: London, UK, 1991; ISBN 0750301422, 9780750301428. [Google Scholar]
- Kiskinov, H.; Zahariev, A.; Zlatev, S. Permanence of the positive solutions of the generalised haematopoiesis Mackey-Glass model. C. R. Acad. Bulgare Sci.
**2014**, 67, 745–752. [Google Scholar] - Kulenovic, M.R.S.; Ladas, G.; Sficas, Y.G. Global attractivity in population dynamics. Comput. Math. Appl.
**1989**, 18, 925–928. [Google Scholar] [CrossRef] - Lasota, A.; Loskot, K.; Mackey, M.C. Stability properties of proliferatively coupled cell replication models. Acta Biotheor.
**1991**, 39, 1–14. [Google Scholar] [CrossRef] - Lasota, A.; Mackey, M.C. Cell division and the stability of cellular replication. J. Math. Biol.
**1999**, 38, 241–261. [Google Scholar] [CrossRef] - Liu, G.; Zhao, A.; Yan, J. Existence and global attractivity of unique positive periodic solution for a Lasota–Wazewska model. Nonlinear Anal.
**2006**, 64, 1737–1746. [Google Scholar] [CrossRef] - Chérif, F.; Miraoui, M. New results for a Lasota–Wazewska model. Int. J. Biomath.
**2019**, 12, 1950019. [Google Scholar] [CrossRef] - Duan, L.; Huang, L.; Chen, Y. Global exponential stability of periodic solutions to a delay Lasota–Wazewska model with discontinuous harvesting. Proc. Am. Math. Soc.
**2016**, 144, 561–573. [Google Scholar] [CrossRef] - Rihani, S.; Kessab, A.; Chérif, F. Pseudo-almost periodic solutions for a Lasota–Wazewska model. Electron. J. Differ. Equ.
**2016**, 2016, 1–17. [Google Scholar] - Shao, J. Pseudo-almost periodic solutions for a Lasota–Wazewska model with anoscillating death rate. Appl. Math. Lett.
**2015**, 43, 90–95. [Google Scholar] [CrossRef] - Xiao, S. Delay effect in the Lasota–Wazewska modelwith multiple time-varying delays. Int. J. Biomath.
**2018**, 11, 1850013. [Google Scholar] [CrossRef] - Benchohra, M.; Henderson, J.; Ntouyas, S. Impulsive Differential Equations and Inclusions; Hindawi Publishing Corporation: New York, NY, USA, 2006. [Google Scholar]
- Kiskinov, H.; Zahariev, A. Nonlinear impulsive differential equations with weighted exponential or ordinary dichotomous linear part in a Banach space. Int. J. Differ. Equ.
**2015**, 748607. [Google Scholar] [CrossRef] - Li, X.; Bohner, M. An impulsive delay differential inequality and applications. Comput. Math. Appl.
**2012**, 64, 1875–1881. [Google Scholar] [CrossRef] - Li, X.; Bohner, M.; Wang, C.K. Impulsive differential equations: Periodic solutions and applications. Autom. J. IFAC
**2015**, 52, 173–178. [Google Scholar] [CrossRef] - Li, X.; Ho, D.W.C.; Cao, J. Finite-time stability and settling-time estimation of nonlinear impulsive systems. Automatica
**2019**, 99, 361–368. [Google Scholar] [CrossRef] - Li, X.; Yang, X.; Huang, T. Persistence of delayed cooperative models: Impulsive control method. Appl. Math. Comput.
**2019**, 342, 130–146. [Google Scholar] [CrossRef] - Stamova, I.M.; Stamov, G.T. Applied Impulsive Mathematical Models, 1st ed.; Springer: Cham, Switzerland, 2016; ISBN 978-3-319-28060-8, 978-3-319-28061-5. [Google Scholar]
- Liu, X.; Takeuchi, Y. Periodicity and global dynamics of an impulsive delay Lasota–Wazewska model. J. Math. Anal. Appl.
**2007**, 327, 326–341. [Google Scholar] [CrossRef] - Stamov, G.T. On the existence of almost periodic solutions for the impulsive Lasota–Wazewska model. Appl. Math. Lett.
**2009**, 22, 516–520. [Google Scholar] [CrossRef] - Wang, L.; Yu, M.; Niu, P. Periodic solution and almost periodic solution of impulsive Lasota–Wazewska model with multiple time-varying delays. Comput. Math. Appl.
**2012**, 64, 2383–2394. [Google Scholar] [CrossRef] - Yan, J. Existence and global attractivity of positive periodic solution for an impulsive Lasota–Wazewska model. J. Math. Anal. Appl.
**2003**, 279, 111–120. [Google Scholar] [CrossRef] - Yao, Z. Uniqueness and exponential stability of almost periodic positive solution for Lasota–Wazewska model with impulse and infinite delay. Math. Methods Appl. Sci.
**2015**, 38, 677–684. [Google Scholar] [CrossRef] - Benchohra, M.; Henderson, J.; Ntouyas, S.K.; Ouahab, A. Impulsive functional differential equations with variable times. Comput. Math. Appl.
**2004**, 47, 1659–1665. [Google Scholar] [CrossRef] - Graef, J.R.; Ouahab, A. Global existence and uniqueness results for impulsive functional differential equations with variable times and multiple delays. Dyn. Contin. Discret. Impuls. Syst. Ser. A Math. Anal.
**2009**, 16, 27–40. [Google Scholar] - Song, Q.; Yang, X.; Li, C.; Huang, T.; Chen, X. Stability analysis of nonlinear fractional-order systems with variable-time impulses. J. Franklin Inst.
**2017**, 354, 2959–2978. [Google Scholar] [CrossRef] - Kilbas, A.A.; Srivastava, H.M.; Trujillo, J.J. Theory and Applications of Fractional Differential Equations, 1st ed.; Elsevier Science B.V.: Amsterdam, The Netherlands, 2006; ISBN 0444518320, 9780444518323. [Google Scholar]
- Podlubny, I. Fractional Differential Equations, Mathematics in Science and Engineering, 1st ed.; Academic Press: San Diego, CA, USA, 1999; ISBN 9780125588409, 9780080531984. [Google Scholar]
- Baleanu, D.; Diethelm, K.; Scalas, E.; Trujillo, J.J. Fractional Calculus. Models and Numerical Methods, 2nd ed.; World Scientific: Hackensack, NJ, USA, 2016; ISBN 9813140038, 978-9813140035. [Google Scholar]
- Bohner, M.; Rahman, G.; Mubeen, S.; Nisar, K.S. A further extension of the extended Riemann-Liouville fractional derivative operator. Turk. J. Math.
**2018**, 42, 2631–2642. [Google Scholar] [CrossRef] - Boyadzhiev, D.; Kiskinov, H.; Zahariev, A. Integral representation of solutions of fractional system with distributed delays. Integral Transforms Spec. Funct.
**2018**, 29, 725–744. [Google Scholar] [CrossRef] - Skovranek, T.; Podlubny, I.; Petráš, I. Modeling of the national economics instate-space: A fractional calculus approach. Econ. Model.
**2012**, 29, 1322–1327. [Google Scholar] [CrossRef] - Veselinova, M.; Kiskinov, H.; Zahariev, A. Stability analysis of neutral linear fractional system with distributed delays. Filomat
**2016**, 30, 841–851. [Google Scholar] [CrossRef] - Stamov, G.; Stamova, I. Impulsive fractional-order neural networks with time-varying delays: Almost periodic solutions. Neural Comput. Appl.
**2017**, 28, 3307–3316. [Google Scholar] [CrossRef] - Stamova, I.; Stamov, G. Mittag–Leffler synchronization of fractional neural networks with time-varying delays and reaction-diffusion terms using impulsive and linear controllers. Neural Netw.
**2017**, 96, 22–32. [Google Scholar] [CrossRef] [PubMed] - Stamova, I.M.; Stamov, G.T. Functional and Impulsive Differential Equations of Fractional Order: Qualitative Analysis and Applications, 1st ed.; CRC Press: Boca Raton, FL, USA, 2017; ISBN 9781498764834. [Google Scholar]
- Wang, J.R.; Fečkan, M.; Zhou, Y. On the new concept of solutions and existence results for impulsive fractional evolution equations. Dyn. Partial Differ. Equ.
**2011**, 8, 345–361. [Google Scholar] - Zhang, X.; Niu, P.; Ma, Y.; Wei, Y.; Li, G. Global Mittag–Leffler stability analysis of fractional-order impulsive neural networks with one-side Lipschitz condition. Neural Netw.
**2017**, 94, 67–75. [Google Scholar] [CrossRef] - Abbas, S.; Banerjee, M.; Momani, S. Dynamical analysis of fractional-order modified logistic model. Comput. Math. Appl.
**2011**, 62, 1098–1104. [Google Scholar] [CrossRef] - Das, S.; Gupta, P.K. A mathematical model on fractional Lotka-Volterra equations. J. Theor. Biol.
**2011**, 277, 1–6. [Google Scholar] [CrossRef] - El-Sayed, A.M.A.; El-Mesiry, A.E.M.; El-Saka, H.A.A. On the fractional-order logistic equation. Appl. Math. Lett.
**2007**, 20, 817–823. [Google Scholar] [CrossRef] - Stamov, G.; Stamova, I. Modelling and almost periodic processes in impulsive Lasota–Wazewska equations of fractional order with time-varying delays. Quaest. Math.
**2017**, 40, 1041–1057. [Google Scholar] [CrossRef] - Akhmet, M.U. Integral manifolds of differential equations with piecewise constant argument of generalized type. Nonlinear Anal.
**2007**, 66, 367–383. [Google Scholar] [CrossRef] - Bernfeld, S.R.; Corduneanu, C.; Ignatyev, A.O. On the stability of invariant sets of functional differential equations. Nonlinear Anal.
**2003**, 55, 641–656. [Google Scholar] [CrossRef] - Smale, S. Stable manifolds for differential equations and diffeomorphisms. Ann. Scuola Norm. Super. Pisa
**1963**, 3, 97–116. [Google Scholar] - Stamov, G. Lyapunov’s functions and existence of integral manifolds for impulsive differential systems with time-varying delay. Methods Appl. Anal.
**2009**, 16, 291–298. [Google Scholar] - Blythe, S.P.; Nisbet, R.M.; Gurney, W.S.C. Instability and complex dynamic behaviour in population models with long time delays. Theor. Popul. Biol.
**1982**, 22, 147–176. [Google Scholar] [CrossRef] - Arino, O.; Kimmel, M. Stability analysis of models of cell production systems. Mathematical models in medicine: Diseases and epidemics. Part 2. Math. Model.
**1986**, 7, 1269–1300. [Google Scholar] [CrossRef] - Johnston, L. Non-Hodgkin’s Lymphomas: Making Sense of Diagnosis, Treatment, and Options, 1st ed.; O’Reilly & Associates, Inc.: Boston, MA, USA, 1999; ISBN 9781565924444. [Google Scholar]
- Pujo-Menjouet, L.; Bernard, S.; Mackey, M.C. Long period oscillations in a G
_{0}model of hematopoietic stem cells. SIAM J. Appl. Dyn. Syst.**2005**, 4, 312–332. [Google Scholar] [CrossRef] - Li, Y.; Chen, Y.Q.; Podlubny, I. Stability of fractional-order nonlinear dynamic systems: Lyapunov direct method and generalized Mittag–Leffler stability. Comput. Math. Appl.
**2010**, 59, 1810–1821. [Google Scholar] [CrossRef] - Liu, X.; Ballinger, G. Boundedness for impulsive delay differential equations and applications to population growth models. Nonlinear Anal.
**2003**, 53, 1041–1062. [Google Scholar] [CrossRef] - Luo, Z.; Shen, J. Stability and boundedness for impulsive functional differential equations with infinite delays. Nonlinear Anal.
**2001**, 46, 475–493. [Google Scholar] [CrossRef] - Stamova, I.M. Boundedness of impulsive functional differential equations with variable impulsive perturbations. Bull. Aust. Math. Soc.
**2008**, 77, 331–345. [Google Scholar] [CrossRef] - Zhang, Y.; Sun, J. Boundedness of the solutions of impulsive differential systems with time-varying delay. Appl. Math. Comput.
**2004**, 154, 279–288. [Google Scholar] [CrossRef]

© 2019 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).