Global attractiveness and exponential stability for impulsive fractional neutral stochastic evolution equations driven by fBm

Abstract

This paper is concerned with a class of fractional neutral stochastic integro-differential equations with impulses driven by fractional Brownian motion (fBm). First, by means of the resolvent operator technique and contraction mapping principle, we can directly show the existence and uniqueness result of mild solution for the aforementioned system. Then we develop a new impulsive-integral inequality to obtain the global attracting set and pth moment exponential stability for this type of equation. Worthy of note is that this powerful inequality after little modification is applicable to the case with delayed impulses. Moreover, sufficient conditions which guarantee the pth moment exponential stability for some pertinent systems are stated without proof. In the end, an example is worked out to illustrate the theoretical results.

1 Introduction

In recent two decades, fractional stochastic evolution equations have grabbed the attention of many researchers, owing to their applications in various fields, such as physics, chemistry, viscoelasticity, heat conduction, aerodynamics, electrodynamics of complex medium, electricity mechanics, and so forth (see, e.g., [1–4] and the references therein). Meanwhile, impulsive dynamical systems arise as a natural characterization of these real-world phenomena and processes which are frequently subject to instantaneous perturbations and experience abrupt changes (impulses). For details on theory and applications of such systems, we refer to the monographs [5, 6], the papers [7, 8] etc. and the references therein. Moreover, considering that the evolution of abundant dynamical systems depends not only on current state and past state but also upon the derivative of the history state, many authors have studied impulsive fractional neutral stochastic evolution equations (IFNSEEs). The accumulated results mainly focus on well-posedness, stability and controllability; for instance, see [9–11] and the references therein.

On the other hand, along with the research of stability (see, e.g., [7–9, 12, 13] and the references therein), there has been an increasing interest in study on global attracting sets of stochastic dynamical systems over the last few years, since attracting sets guarantee the solutions enter some sets and do not exist. Among others, motivated by Chen’s work [13], Long et al. [14] examined the global attractiveness and exponential stability of impulsive stochastic neutral evolution equations driven by Q-Wiener process. Li [15] discussed the global attracting set and quasi-invariant set of impulsive neutral stochastic functional partial differential equations driven by fractional Brownian motion (fBm), where the Hurst exponent $H\in (\frac{1}{2},1)$. Also, the global attracting set of the neutral stochastic partial differential equation with finite delay and additive α-stable process is given by Liu and Li [16]. Duan and ren [17] proved the attractiveness and quasi-invariant set of impulsive neutral stochastic integro-differential equation driven by fBm with Hurst parameter $\frac{1}{2}< H<1$. In view of the practicability of second-order stochastic differential equations (see, e.g., [18]), Xu et al. [19] showed global attracting sets of second-order neutral stochastic evolution equations driven by a fBm and an independent standard Wiener process, without considering impulsive effects. Here it is worth noting that Deng and Shu [20] established an impulsive-integral inequality to obtain the exponential stability of mild solution to impulsive neutral stochastic functional differential equations driven by fBm with noncompact semigroup. Different from the papers mentioned above, Xu and Luo [21] derived the global attracting set and exponential stability of neutral stochastic evolution equations driven by fBm with the Hurst exponent $H\in (0,\frac{1}{2})$. Nevertheless, the aforementioned papers cannot answer the question that if the first or the second-order derivative is replaced by a fractional-order derivative. That is to say, there is no study on global attracting sets and exponential stability of impulsive fractional neutral stochastic evolution equations driven by fBm in the existing literature. Moreover, in some real-world problems, the impulsive functions depend on former state variables [22], i.e., $\Delta x({t_{k}}) = {I _{k}}({x_{t_{k}^{-} }})$. All these facts push us to develop and explore techniques and methods for the global attractiveness and exponential stability of IFNSEEs, especially with delayed impulses.

Based on the above statement and analysis, this work will be devoted to deriving the global attracting set and exponential stability for IFNSEEs. We use the resolvent operator technique, inequality technique and stochastic analysis theory to attain this goal. In addition, we summarize and highlight the contributions of this paper as follows.

• The global attracting set and exponential stability of a class of fractional neutral stochastic integro-differential equations with impulses driven by fBm are obtained.

• We establish a new impulsive-integral inequality, and this key inequality is applicable to investigate the global attracting set and exponential stability for various types of neutral stochastic evolution equations with delayed impulses.

• By the established impulsive-integral inequality, we develop the pth moment exponential stable results of some pertinent systems without proof.

The rest of this paper is organized as follows. Section 2 introduces some preliminary notations, lemmas, hypotheses, definitions and the mathematical model. Section 3 focuses on proposing a new impulsive-integral inequality which is a key tool in proving the global attracting set and exponential stability of mild solutions for IFNSEEs. Some useful remarks are also discussed. In Sect. 4, the global attracting set of the considered system is proved and exponential stable results of the concerned system and relevant systems are presented. In Sect. 5, an example is provided to illustrate the obtained theoretical results. Finally, we give the conclusion of this paper in Sect. 6.

2 Preliminary

$(\varOmega , \mathcal{F}, \mathbb{P})$ stands for a complete probability space equipped with a normal filtration $\{\mathcal{F}_{t}\}_{t\geq 0}$ satisfying the usual conditions. Let $\mathbb{H}$, $\mathbb{K}$ be two real, separable Hilbert spaces and $L(\mathbb{K},\mathbb{H})$ represents the family of all bounded linear operators from $\mathbb{K}$ to $\mathbb{H}$. For simplicity, we use the same notation ${ \Vert \cdot \Vert }$ to express the norms in $\mathbb{H}$, $\mathbb{K}$ and $L(\mathbb{K},\mathbb{H})$. Let $\mathbb{K}_{0}=\mathcal{Q}^{ \frac{1}{2}}\mathbb{K}$, and $L_{2}^{0}=L_{2}(\mathbb{K}_{0}, \mathbb{H})$ be a separable Hilbert space of all Hilbert–Schmidt operators from $\mathcal{Q}^{\frac{1}{2}}\mathbb{K}$ to $\mathbb{H}$ with the norm ${ \Vert \cdot \Vert _{L_{2}^{0}}}. \mathcal{P} \mathcal{C}([ - r,0];\mathbb{H})$ indicates the space of all càdlàg functions ψ from $[-r,0]$ to $\mathbb{H}$, and for $\psi (t) \in \mathcal{P}\mathcal{C}$, $\Vert \psi \Vert _{ \mathcal{P}\mathcal{C}} = \sup_{ - r \le t \le 0} { \Vert {\psi (t)} \Vert }$.

$Q\in L(\mathbb{K}, \mathbb{K})$ denotes a non-negative self-adjoint operator and let $L_{Q}^{0}(\mathbb{K}, \mathbb{H})$ be the space of all $\xi \in L(\mathbb{K}, \mathbb{H})$ such that $\xi Q^{\frac{1}{2}}$ is a Hilbert–Schmidt operator endowed with the norm $\Vert \xi \Vert _{L_{Q}^{0}(\mathbb{K},\mathbb{H})}^{2} = \operatorname{tr}(\xi Q{\xi ^{*} })$. Consider the following series:

$$ B_{Q}^{H}(t) = \sum_{n = 1}^{\infty }{ \beta _{n}^{H}(t){Q^{ \frac{1}{2}}} {e_{n}}}, \quad t\geq 0, $$

where ${ \{ {\beta _{n}^{H}(t)} \} _{n \in \mathbb{N}}}$ is a sequence of two-sided one-dimensional standard fBm mutually independent on $(\varOmega , \mathcal{F}, \mathbb{P})$ and ${ \{ {{e_{n}}} \} _{n \in \mathbb{N}}}$ is a complete orthonormal basis in $\mathbb{K}$. This series converges in the space $\mathbb{K}$ when Q is a non-negative self-adjoint trace class operator, namely, $B_{Q}^{H}(t)\in {L^{2}}(\varOmega ,\mathbb{K})$. Then the above $B_{Q}^{H}(t)$ is called a $\mathbb{K}$-valued Q-cylindrical fBm with covariance operator Q. For example, if ${ \{ {{\lambda _{n}}} \} _{n \in \mathbb{N}}}$ is a bounded sequence of non-negative real numbers such that $Q{e_{n}} = {\lambda _{n}}{e_{n}}$, supposing that Q is a nuclear operator in $\mathbb{K}$ (that is, $\sum_{n = 1}^{\infty }{{\lambda _{n}}} < \infty$), then the $\mathbb{K}$-valued Q-cylindrical fBm

$$ B_{Q}^{H}(t) = \sum_{n = 1}^{\infty }{ \beta _{n}^{H}(t){Q^{ \frac{1}{2}}} {e_{n}}}=\sum _{n = 1}^{\infty }{\sqrt{{\lambda _{n}}} }\beta _{n}^{H}(t){e_{n}}, \quad t\geq 0, $$

is well-defined. For more details on fBm $B_{Q}^{H}(t)$ and the stochastic integral with respect to fBm $B_{Q}^{H}(t)$, one can refer to [23, 24].

In this paper, we discuss the impulsive fractional neutral stochastic integro-differential equation driven by fBm of the following form:

$$ \textstyle\begin{cases} {}^{c}D_{t}^{\alpha } [ {x(t) - g(t,{x_{t}})} ] = A [ {x(t) - g(t,{x_{t}})} ] + \mathbb{I}_{t}^{2 - \alpha } ( {f(t,{x_{t}})} ) \\ \hphantom{{}^{c}D_{t}^{\alpha } [ {x(t) - g(t,{x_{t}})} ]}\quad {} + h(t,{x_{t}})\frac{{dW(t)}}{{dt}}+\sigma (t)\frac{{d{B_{Q}^{H}}(t)}}{ {dt}}, \quad t\neq t_{k}, t\in J, \\ \Delta x({t_{k}}) ={I_{k}}({x(t_{k}^{-} )}),\quad\quad \Delta x'({t_{k}})= {G_{k}}({x(t_{k}^{-} )}), \quad t=t_{k}, k=1,2,\ldots, \\ {x}(t) = \psi (t) \in \mathcal{P}\mathcal{C}_{{\mathcal{F}_{0}}}^{b} ([ - r,0];\mathbb{H}),\quad t \in [-r,0], \\ \frac{d}{{dt}}{ [ {x(t) - g(t,{x_{t}})} ]_{t = 0}} = \varphi \in \mathbb{H}, \end{cases} $$

(1)

where ${}^{c}D_{t}^{\alpha }$ is the fractional derivative of order $\alpha \in (1, 2)$ in the sense of Caputo, $A: \mathcal{D}(A)\subseteq \mathbb{H} \rightarrow \mathbb{H}$ is a densely defined closed linear operator, $\mathbb{I}_{t}^{\alpha }$ denotes the αth order fractional integral, the functions $g, f:J \times \mathcal{P} \mathcal{C}\rightarrow \mathbb{H}$, $h:J\times \mathcal{P}\mathcal{C} \rightarrow L_{2}^{0}$, $\sigma :J\rightarrow L_{Q}^{0}(\mathbb{K}, \mathbb{H})$, $I_{k}, G_{k}:\mathcal{P}\mathcal{C}\rightarrow \mathbb{H}$ are appropriate continuous functions, the history process $x_{t}=x(t+\tau )$, $-r\leq \tau \leq 0$ is $\mathcal{P}\mathcal{C}$-valued, ${B_{Q}^{H}}(t)$ denotes a fractional Brownian motion with Hurst exponent $H \in (\frac{1}{2}, 1)$, $W(t)$ symbolizes a standard Wiener process independent of ${B_{Q}^{H}}(t)$. $\mathcal{P}\mathcal{C}_{{\mathcal{F}_{0}}}^{b}([ - r,0];\mathbb{H})$ represents the family of all almost surely bounded, $\mathcal{F}_{0}$-measurable, $\mathcal{P}\mathcal{C}$-valued random variables. Moreover, $\Delta x({t_{k}})= x(t_{k}^{+} )-x(t_{k}^{-} )$, $\Delta x'({t_{k}})= x'(t_{k}^{+} )-x'(t_{k}^{-} )$, $x(t_{k}^{+} )$ and $x(t_{k}^{-} )$ stand for the right and left limits of $x(t)$ at $t_{k}$, $x'(t_{k}^{+} )$ and $x'(t_{k}^{-} )$ indicate the right and left limits of $x'(t)$ at $t_{k}$, and the fixed impulsive sequence $t_{k}$ satisfies $0< t_{1}<\cdots <t_{k}<t_{k+1}<\cdots$ with $\lim_{k \to \infty } {t_{k}} = \infty$.

Before starting the analyses, we state some basic definitions and introduce the required lemmas.

Definition 2.1

([1])

For the function $f\in {L^{1}} ( {(0,T),H} )$, $0< T<\infty$, the Riemann–Liouville fractional integral of f of order $\alpha >0$ is given as

$$ {}^{\mathrm{RL}}\mathbb{I}_{t}^{\alpha }f(t) = \frac{1}{{\varGamma ( \alpha )}} \int _{0}^{t} {{{(t - s)}^{\alpha - 1}}f(s)\,ds}. $$

Definition 2.2

([1])

For the function $f\in {L^{1}} ( {(0,T),\mathbb{H}} )$, the fractional derivative of f of order α in the Riemann–Liouville sense is given by

$$ {}^{\mathrm{RL}}D_{t}^{\alpha }f(t) = \frac{{{d^{m}}}}{{d{t^{m}}}} \mathbb{I}_{t}^{m - \alpha }f(t), \quad m - 1 < \alpha < m, m \in \mathbb{N}^{+}, $$

where ${}^{\mathrm{RL}}\mathbb{I}_{t}^{m-\alpha } f \in {{\mathrm{Z}} ^{m,1}} ( {(0,T),\mathbb{H}} )$. ${{\mathrm{Z}}^{m,1}} ( {(0,T),\mathbb{H}} )$ is the Sobolev space defined by

$$ \begin{aligned} {{\mathrm{Z}}^{m,1}} \bigl( {(0,T),\mathbb{H}} \bigr) = {}&\Biggl\{ {x \in \mathbb{H},\exists w \in {L^{1}} \bigl( {(0,T),\mathbb{H}} \bigr):x(t) = \sum_{k = 0}^{m - 1} {{e_{k}}\frac{{{t^{k}}}}{ {k!}}} } \\ &{}+ {\frac{{{t^{m - 1}}}}{{(m - 1)!}}*w(t)} \Biggr\} , \end{aligned} $$

where $w(t) = {x^{m}}(t)$, ${e_{k}} = {x^{k}}(0)$.

Definition 2.3

([1])

For the function $f\in {C^{m - 1}} ( {(0,T),\mathbb{H}} ) \cap {L^{1}} ( {(0,T),\mathbb{H}} )$, the fractional derivative of f of order α in the Caputo sense is defined by

$$ {}^{c}D_{t}^{\alpha }f(t)= \frac{1}{{\varGamma (m - \alpha )}} \int _{0} ^{t} {{{(t - s)}^{m - \alpha - 1}} {f^{m}}(s)\,ds} ,\quad m - 1 < \alpha < m. $$

Definition 2.4

([25])

Let $A: \mathcal{D}(A) \subseteq \mathbb{H} \rightarrow \mathbb{H}$ be a closed linear operator. Then A is called a $( {M,\theta ,\alpha ,\mu } )$-type sectorial operator if there exist three constants $\mu \in \mathbb{R}$, $\theta \in ( {0,\frac{\pi }{2}} )$ and $M>0$ such that

• (a) The α-resolvent of A exists an exterior of the sector

  $$ \mu + {S_{\theta }} = \bigl\{ {\mu + {\lambda ^{\alpha }}:\lambda \in \mathbb{C}, \bigl\vert {\operatorname{Arg} \bigl( { - {\lambda ^{ \alpha }}} \bigr)} \bigr\vert < \theta } \bigr\} , $$

• (b) $\Vert {R ( {{\lambda ^{\alpha }},A} )} \Vert = \Vert {{{ ( {{\lambda ^{\alpha }}I - A} )}^{ - 1}}} \Vert \le \frac{M}{{ \vert {{\lambda ^{\alpha }} - \mu } \vert }}$, ${\lambda ^{\alpha }} \notin \mu + {S_{\theta }}$.

Lemma 2.5

([26])

Assume thatAis a$( {M,\theta ,\alpha ,\mu } )$-type sectorial operator, andffulfills the uniform Hölder condition with index$\gamma \in (0,1]$, then the unique solution of the following Cauchy problem:

$$ \textstyle\begin{cases} {}^{c}D_{t}^{\alpha }x(t)=Ax(t)+f(t),\quad 1< \alpha < 2, t\in [0,T], \\ x(0)=x_{0} \in \mathbb{H}, \quad\quad x'(0) = {x_{1}} \in \mathbb{H}, \end{cases} $$

is given as

$$ x(t) = {\mathcal{S}_{\alpha }}(t){x_{0}} + {\mathcal{K}_{\alpha }}(t) {x_{1}} + \int _{0}^{t} {{\mathcal{T}_{\alpha }}(t - s)f(s)\,ds}. $$

Note that the operators$\mathcal{S}_{\alpha }(t)$, $\mathcal{K}_{ \alpha }(t)$, $\mathcal{T}_{\alpha }(t)$are determined by

$$\begin{aligned}& {\mathcal{S}_{\alpha }}(t)= \frac{1}{{2\pi i}} \int _{C} {{e^{\lambda t}} {\lambda ^{\alpha - 1}}R \bigl({\lambda ^{\alpha }},A\bigr)\,d\lambda }, \\& {\mathcal{K}_{\alpha }}(t)= \frac{1}{{2\pi i}} \int _{C} {{e^{\lambda t}} {\lambda ^{\alpha - 2}}R \bigl({\lambda ^{\alpha }},A\bigr)\,d\lambda }, \\& {\mathcal{T}_{\alpha }}(t)= \frac{1}{{2\pi i}} \int _{C} {{e^{\lambda t}}R\bigl( {\lambda ^{\alpha }},A\bigr)\,d\lambda }, \end{aligned}$$

whereCis a suitable path with${\lambda ^{\alpha }} \notin \mu + {S_{\theta }}$, $\lambda \in \mathbb{C}$.

Then, following Theorem 4.3 in Ref. [26] and Lemma 2.1, Definition 3.1 in Ref. [27], we introduce the definition of mild solution to the considered system (1).

Definition 2.6

An $\mathbb{H}$-valued stochastic process $x(t)$ is said to be a mild solution to Eq. (1), if

• (a) $x(t)$ is $\mathcal{F}_{t}$-adapted for each $t \in [0,T]$, with $\mathbb{P} \{ {\omega :\int _{0}^{T} {{{ \Vert {x(t)} \Vert }^{2}}\,dt} < \infty } \} = 1$ almost surely;

• (b) $x(t) \in \mathbb{H}$, $0 \le t \le T$ has càdlàg paths a.s., and for arbitrary $t\in [0,T]$, $x(t)$ satisfies the integral equation as follows:

  $$\begin{aligned}& \begin{aligned} x(t)={}& \mathcal{S}_{\alpha }(t) \bigl[ {\psi (0) - g(0,\psi )} \bigr]+ \mathcal{K}_{\alpha }(t)\varphi +g(t,x_{t})+ \int _{0}^{t} {\mathcal{K} _{\alpha }(t-s)f(s,{x_{s}}) \,ds} \\ & {} + \int _{0}^{t} {\mathcal{T}_{\alpha }(t-s)h(s,{x_{s}}) \,dW(s)} + \int _{0}^{t} {\mathcal{T}_{\alpha }(t-s)\sigma (s)\,d{B_{Q}^{H}}(s)} \\ & {} + \sum_{0 < {t_{k}} < t} {\mathcal{S}_{\alpha }(t-t_{k}) {I_{k}}\bigl({x\bigl(t_{k}^{-} \bigr)}\bigr)} + \sum_{0 < {t_{k}} < t} {\mathcal{K} _{\alpha }(t-t_{k}){G_{k}} \bigl({x\bigl(t_{k}^{-} \bigr)}\bigr)}, \end{aligned} \\& {x}(t) = \psi (t) \in \mathcal{P}\mathcal{C}_{{\mathcal{F}_{0}}} ^{b} \bigl([ - r,0];\mathbb{H}\bigr), \quad t \in [-r,0]. \end{aligned}$$

Definition 2.7

([14])

The set $\mathbb{S} \subset \mathbb{H}$ is called a global attracting set for Eq. (1), if for any initial data $\psi \in \mathcal{P}\mathcal{C}_{{\mathcal{F} _{0}}}^{b}$, the solution ${x_{t}}(0,\psi )$ converges to $\mathbb{S}$ as $t \to + \infty$ i.e.,

$$ \operatorname{dist} \bigl( {{x_{t}}(0,\psi ),\mathbb{S}} \bigr) \to 0 \quad \text{as }t \to + \infty , $$

where $\operatorname{dist} ( {x,\mathbb{S}} ) = {\inf_{y \in S}}\mathbb{E} ( { \Vert {x - y} \Vert } )$.

Definition 2.8

([14])

The mild solution $x(t)$ for system (1) with initial condition $\psi \in \mathcal{P} \mathcal{C}_{{\mathcal{F}_{0}}}^{b}$ is said to be pth moment exponentially stable if there exist a pair of constants $\mathbb{M} \geq 1$ and $\eta >0$ such that

$$ \mathbb{E} { \bigl\Vert {x(t)} \bigr\Vert ^{p}} \le \mathbb{M} {e^{ - \eta t}}, \quad t \ge 0, p \ge 2. $$

Lemma 2.9

([28])

Suppose that$\varPsi (t)$, $t \ge 0$is a$L_{2}^{0}$-valued predictable process, then, for any arbitrary$p \geq 2$, there exists a constant$C_{p}>0$such that

$$ \sup_{t \in [0,T]} \mathbb{E} { \biggl\Vert { \int _{0} ^{t} {\varPsi (s)\,dW(s)} } \biggr\Vert ^{p}} \le {C_{p}} { \biggl( { \int _{0} ^{T} {{{ \bigl( {\mathbb{E} \bigl\Vert { \varPsi (s)} \bigr\Vert _{L_{2} ^{0}}^{p}} \bigr)}^{{2 / p}}} \,ds} } \biggr)^{{p / 2}}}, $$

where$C_{p} = { ( {p{{(p - 1)} / 2}} )^{{p / 2}}}$.

Lemma 2.10

([28])

Let$p \geq 2$and$x, y \in \mathbb{H}$, then, for any$\delta \in (0,1]$,

$$\begin{aligned}& { \Vert {x + y} \Vert ^{p}} \le {(1 + \delta )^{p - 1}} { \Vert x \Vert ^{p}} + {(1 + {1 / \delta })^{p - 1}} { \Vert y \Vert ^{p}}, \\& { \Vert {x + y} \Vert ^{p}} \le {{{{ \Vert x \Vert } ^{p}}} / {{\delta ^{p - 1}}}} + {{{{{ \Vert y \Vert }^{p}}} / {(1 - \delta )}}^{p - 1}}. \end{aligned}$$

So as to achieve the desired goals, we impose the following hypotheses for the concerned system (1).

$(H1)$:

The α-resolvent family ${\mathcal{S}_{\alpha }}(t)$, ${\mathcal{K} _{\alpha }}(t)$, ${\mathcal{T}_{\alpha }}(t)$ generated by the sectorial operator A is compact on $\overline{\mathcal{D}(A)}$, and for all $t \geq 0$, there exist four constants $\widetilde{M} \geq 1$ and $\gamma _{1}, \gamma _{2}, \gamma _{3} >0$ such that

$$ \bigl\Vert {{\mathcal{S}_{\alpha }}(t)} \bigr\Vert \le \widetilde{M} {e^{ - {\gamma _{1}}t}}, \quad\quad \bigl\Vert {{\mathcal{K}_{\alpha }}(t)} \bigr\Vert \le \widetilde{M} {e^{ - {\gamma _{2}}t}}, \quad\quad \bigl\Vert {{ \mathcal{T} _{\alpha }}(t)} \bigr\Vert \le \widetilde{M} {e^{ - {\gamma _{3}}t}}. $$

$(H2)$:

(a) The function $g(t,\cdot ) \in \mathcal{D}((-A)^{\beta })$ for $\beta \in (0, 1]$ and the mapping ${ ( { - A} )^{\beta }}g(t, \cdot )$ is globally Lipschitz continuous, i.e., for $\forall \xi , \eta \in \mathcal{P}\mathcal{C}$, $t \geq 0$, there exists a positive constant $k_{0}$ such that

$$ \bigl\Vert {{{( - A)}^{\beta }}g(t,\xi ) - {{( - A)}^{\beta }}g(t, \eta )} \bigr\Vert \le {k_{0}} { \Vert {\xi - \eta } \Vert _{\mathcal{P}\mathcal{C}}}, $$

and $g(t,0)=0$, the inequality $\delta = \Vert {{{( - A)}^{ - \beta }}} \Vert {k_{0}} < 1$ holds.

(b) The operator ${\mathrm{P}}:\mathcal{P}\mathcal{C}([-r,T], \mathbb{H})\rightarrow \mathcal{P}\mathcal{C}([0,T],\mathbb{H})$ is a completely continuous operator defined by ${\mathrm{P}}{x_{t}} = \frac{d}{ {dt}} ( {g(t,{x_{t}})} )$ such that the set $\{ {\mathrm{P}}{x_{t}}:x_{t} \in \mathcal{P}\mathcal{C}([-r,T], \mathbb{H}), t\in [0,T] \}$ is precompact in $\mathbb{H}$.

$(H3)$:

The coefficient functions $f(t,\cdot )$, $h(t,\cdot )$ are globally Lipschitz continuous, that is, for $\forall \xi , \eta \in \mathcal{P}\mathcal{C}$, there exist positive constants $C_{f}$, $C_{h}$, $l_{f}$, $l_{h}$ such that

$$ \begin{aligned} & \bigl\Vert {f(t,\xi ) - f(t,\eta )} \bigr\Vert \le {C_{f}} \Vert {\xi - \eta } \Vert _{\mathcal{P}\mathcal{C}}, \quad\quad \bigl\Vert {f(t,0)} \bigr\Vert \le {l_{f}}, \\ & \bigl\Vert {h (t,\xi ) - h (t,\eta )} \bigr\Vert _{L_{2}^{0}} \le {C_{h}} \Vert {\xi - \eta } \Vert _{\mathcal{P}\mathcal{C}}, \quad\quad { \bigl\Vert {h(t,0)} \bigr\Vert _{L_{2}^{0}}} \le {l_{h}}, \end{aligned} $$

for all $t \geq 0$.

$(H4)$:

The function $\sigma :[0, + \infty ) \to L_{Q}^{0}(\mathbb{K}, \mathbb{H})$ satisfies for the complete orthonormal basis ${ \{ {{e_{n}}} \} _{n \in {N^{+} }}} \in \mathbb{K}$, the condition that

$$ \begin{aligned} &\sum_{n = 1}^{\infty }{{{ \bigl\Vert {\sigma (t){Q^{\frac{1}{2}}} {e_{n}}} \bigr\Vert }_{{L^{2}} ( {[0,T];\mathbb{H}} )}}} < \infty , \\ &\sum_{n = 1}^{\infty }{{{ \bigl\Vert {\sigma (t){Q^{ \frac{1}{2}}} {e_{n}}} \bigr\Vert }}} \text{ is uniformly convergent}\quad \text{for } t\in [0,T]. \end{aligned} $$

$(H5)$:

For every $k=1,2,\ldots$ , there exist positive constants $c_{k}$, $d_{k}$ for all $x, y \in \mathbb{H}$ such that

$$ \begin{aligned} & \bigl\Vert {I_{k}(x) - I_{k}(y)} \bigr\Vert \le {c_{k}} \Vert {x - y} \Vert , \quad\quad \bigl\Vert {{I_{k}}(0)} \bigr\Vert = 0, \\ & \bigl\Vert {G_{k}(x) - G_{k}(y)} \bigr\Vert \le {d_{k}} \Vert {x - y} \Vert , \quad\quad \bigl\Vert {{G_{k}}(0)} \bigr\Vert = 0, \end{aligned} $$

and $\sum_{k = 1}^{\infty }{{c_{k}}} ,\sum_{k = 1}^{ \infty }{{d_{k}}} < + \infty$.

Remark 2.11

According to the estimates on $\Vert {{\mathcal{S}_{\alpha }}(t)} \Vert$, $\Vert {{\mathcal{K}_{ \alpha }}(t)} \Vert$, $\Vert {{\mathcal{T}_{\alpha }}(t)} \Vert$ in Ref. [25], we know they are not only bounded, but tend to zero as $t\rightarrow \infty$ when $\mu <0$ and given $\phi \in (0,\pi )$. So combining with the work of Ref. [27], Hypothesis $(H1)$ is justified.

Under assumptions $(H1)$–$(H5)$, by virtue of inequality techniques and the Banach fixed point theorem, one can obtain the existence and uniqueness of mild solution for system (1) on $[-r,T]$, $0< T< \infty$ without difficulty.

3 Impulsive-integral inequality

In this part, we prove the following impulsive-integral inequality which will be used to obtain the global attracting set and pth moment exponential stability of system (1).

Lemma 3.1

Assume that$y(t):[ - r, + \infty ) \to {\mathbb{R} ^{+} }$is a solution of the delay integral inequality:

$$ y(t) \le \textstyle\begin{cases} {a_{1}}{e^{ - {\gamma _{1}}t}} + {a_{2}}{e^{ - {\gamma _{2}}t}} + {a _{3}}{ \Vert {{y_{t}}} \Vert _{\mathcal{P}\mathcal{C}}}+ {a_{4}}\int _{0}^{t} {{e^{ - {\gamma _{2}}(t - s)}}{{ \Vert {{y_{s}}} \Vert }_{\mathcal{P}\mathcal{C}}}\,ds} \\ \quad {} + {a_{5}}\int _{0}^{t} {{e^{ - {\gamma _{3}}(t - s)}}{{ \Vert {{y _{s}}} \Vert }_{\mathcal{P}\mathcal{C}}}\,ds} + \sum_{0 < {t_{k}} < t} {{c_{k}}{e^{ - {\gamma _{1}}(t - {t_{k}})}} {y(t_{k}^{-} )}} \\ \quad {} + \sum_{0 < {t_{k}} < t} {{d_{k}}{e^{ - {\gamma _{2}}(t - {t _{k}})}}{y(t_{k}^{-} )}} + {a_{6}}, & t \ge 0, \\ \psi (t), & t \in [ { - r,0} ], \end{cases} $$

(2)

where$\psi (t) \in \mathcal{P}\mathcal{C} ( {[ - r,0];{\mathbb{R} ^{+} }} )$, ${\gamma _{1}},{\gamma _{2}},{\gamma _{3}}>0$and${a_{i}}$ ($i = 1,2,\ldots,6$), ${c_{k}}$, ${d_{k}}$ ($k= 1,2,\ldots$) are non-negative constants. If

$$ {a_{3}} + \frac{{{a_{4}}}}{{{\gamma _{2}}}} + \frac{{{a_{5}}}}{{{\gamma _{3}}}} + \sum_{k = 1}^{\infty }{{c_{k}}} + \sum _{k = 1} ^{\infty }{{d_{k}}} \stackrel{{ \Delta }}{=} \kappa < 1, $$

(3)

then we have

$$ y(t) \le K{e^{ - \gamma t}} + \frac{{{a_{6}}}}{{1 - \kappa }},\quad \forall t \ge 0, $$

where$\gamma \in (0,{\gamma ^{*}})$, ${\gamma ^{*}} = \min \{ {{\gamma _{1}},{\gamma _{2}},{\gamma _{3}}} \}$, $K \ge {{{ \Vert \psi \Vert }_{\mathcal{P}\mathcal{C}}}}$and

$$ \frac{{{a_{1}} + {a_{2}}}}{K}+{a_{3}} {e^{\gamma r}} + \frac{{{a_{4}} {e^{\gamma r}}}}{{{\gamma _{2}} - \gamma }} + \frac{{{a_{5}}{e^{\gamma r}}}}{{{\gamma _{3}} - \gamma }} + \sum_{k = 1}^{\infty }{{c _{k}}} + \sum_{k = 1}^{\infty }{{d_{k}}} < 1. $$

(4)

Proof

First we remark that once the inequality (3), i.e., $\kappa <1$ is determined, there exist constants $\gamma \in (0,{\gamma ^{*}})$, $K \ge {{{ \Vert \psi \Vert }_{\mathcal{P}\mathcal{C}}}}$ such that Eq. (4) is workable. Next, we prove the statement by contradiction. If the assertion of Lemma 3.1 was false, there must be a $\widehat{t} > 0$ such that

$$ y(\widehat{t}) \ge K{e^{ - \gamma \widehat{t}}} + \frac{{{a_{6}}}}{ {1 - \kappa }} $$

(5)

and

$$ y(t) < K{e^{ - \gamma t}} + \frac{{{a_{6}}}}{{1 - \kappa }}, \quad t \in [-r, \widehat{t}]. $$

(6)

In view of (2) and (6), we derive

$$ \begin{aligned}[b] y(\widehat{t}) \le{}& {a_{1}} {e^{ - {\gamma _{1}}\widehat{t}}} + {a_{2}} {e^{ - {\gamma _{2}}\widehat{t}}} + {a_{3}} { \Vert {{y_{\widehat{t}}}} \Vert _{\mathcal{P}\mathcal{C}}} + {a_{4}} \int _{0}^{\widehat{t}} {{e^{ - {\gamma _{2}}(\widehat{t} - s)}} {{ \Vert {{y_{s}}} \Vert }_{\mathcal{P}\mathcal{C}}}\,ds} \\ & {} + {a_{5}} \int _{0}^{\widehat{t}} {{e^{ - {\gamma _{3}}(\widehat{t} - s)}} {{ \Vert {{y_{s}}} \Vert }_{\mathcal{P}\mathcal{C}}}\,ds}+ \sum _{0 < t < \widehat{t}} {{c_{k}} {e^{ - {\gamma _{1}}( \widehat{t} - {t_{k}})}}y \bigl(t_{k}^{-} \bigr)} \\ & {} +\sum_{0 < t < \widehat{t}} {{d_{k}} {e^{ - {\gamma _{1}}( \widehat{t} - {t_{k}})}}y\bigl(t_{k}^{-} \bigr)}+a_{6} \\ \le{}& {a_{1}} {e^{ - {\gamma _{1}}\widehat{t}}} + {a_{2}} {e^{ - {\gamma _{2}}\widehat{t}}}+ {a_{3}} \biggl[ {K{e^{ - \gamma {\widehat{t}}}} {e^{\gamma r}} + \frac{{{a_{6}}}}{{1 - \kappa }}} \biggr] \\ & {} +{a_{4}} \int _{0}^{\widehat{t}} {{e^{ - {\gamma _{2}}(\widehat{t} - s)}} { \biggl[ {K{e^{ - \gamma s}} {e^{\gamma r}} + \frac{{{a_{6}}}}{{1 - \kappa }}} \biggr]}\,ds} \\ & {} +{a_{5}} \int _{0}^{\widehat{t}} {{e^{ - {\gamma _{3}}(\widehat{t} - s)}} { \biggl[ {K{e^{ - \gamma s}} {e^{\gamma r}} + \frac{{{a_{6}}}}{{1 - \kappa }}} \biggr]}\,ds} \\ & {} +\sum_{0 < {t_{k}} < \widehat{t}} {{c_{k}} {e^{ - {\gamma _{1}}( \widehat{t} - {t_{k}})}} \biggl[ {K{e^{ - \gamma t_{k}^{-} }} + \frac{ {{a_{6}}}}{{1 - \kappa }}} \biggr]} \\ & {} +\sum_{0 < {t_{k}} < \widehat{t}} {{d_{k}} {e^{ - {\gamma _{2}}( \widehat{t} - {t_{k}})}} \biggl[ {K{e^{ - \gamma t_{k}^{-} }} + \frac{ {{a_{6}}}}{{1 - \kappa }}} \biggr]} \\ \le{}& \Biggl( {\frac{{{a_{1}} + {a_{2}}}}{K} + {a_{3}} {e^{\gamma r}} + \frac{{{a_{4}}{e^{\gamma r}}}}{{{\gamma _{2}} - \gamma }} + \frac{ {{a_{5}}{e^{\gamma r}}}}{{{\gamma _{3}} - \gamma }} + \sum_{k = 1}^{\infty }{{c_{k}}} + \sum_{k = 1}^{\infty }{{d_{k}}} } \Biggr)K {e^{ - {\gamma }\widehat{t}}} \\ & {} + \Biggl( {{a_{3}} + \frac{{{a_{4}}}}{{{\gamma _{2}}}} + \frac{{{a _{5}}}}{{{\gamma _{3}}}} + \sum_{k = 1}^{\infty }{{c_{k}}} + \sum _{k = 1}^{\infty }{{d_{k}}} } \Biggr) \frac{{{a_{6}}}}{ {1 - \kappa }} + {a_{6}}, \end{aligned} $$

(7)

owing to Eqs. (3) and (4), it follows that

$$ y(\widehat{t}) < K{e^{ - \gamma \widehat{t}}}+\frac{{{a_{6}}}}{{1 - \kappa }}, $$

(8)

this contradicts the inequality (5). Hence the conclusion in Lemma 3.1 is proved. □

Remark 3.2

It should be pointed out that when the $y(t_{k}^{-} )$ of (2) changes to ${y_{t_{k}^{-} }}$, we only need to modify (4) to

$$ \frac{{{a_{1}} + {a_{2}}}}{K}+{e^{\gamma r}} \Biggl({a_{3}} + \frac{ {{a_{4}}}}{{{\gamma _{2}} - \gamma }} + \frac{{{a_{5}}}}{{{\gamma _{3}} - \gamma }} + \sum_{k = 1}^{\infty }{{c_{k}}} + \sum_{k = 1}^{\infty }{{d_{k}}} \Biggr) < 1, $$

(9)

Lemma 3.1 still holds.

Remark 3.3

Incidentally, Lemma 3.1 contains and improves some recent results, e.g., Lemma 3.1 in [14], Lemma 3.3 in [17] and Lemma 3.1 in [19]. In other words, Lemma 3.1 expands the application scope of impulsive-integral inequalities to study the global attracting set and exponential stability.

4 Global attracting set and pth moment exponential stability

Before proceeding any further, we state two needed lemmas. Thanks to assumptions on ${\mathcal{T}_{\alpha }}(t)$, together with the techniques shown in Ref. [15], the proofs of the following two lemmas are straightforward and so will not be given.

Lemma 4.1

For any$\sigma :[0,+\infty ] \to L_{Q}^{0} ( {\mathbb{K},\mathbb{H}} )$that satisfies condition$(H4)$and$\sup_{t \geq 0} { \Vert {\sigma (t)} \Vert _{L_{Q}^{0}}} < \infty$, there exists a constant$C>0$depending onM̃, H, ${\gamma _{3}}$andpsuch that

$$ \mathbb{E} { \biggl\Vert { \int _{0}^{t} {{\mathcal{T}_{\alpha }}(t - s) \sigma (s)\,dB_{Q}^{H}(s)} } \biggr\Vert ^{p}} \le C\sup_{t \geq 0} \bigl\Vert {\sigma (t)} \bigr\Vert _{L_{Q}^{0}}^{p}, $$

for any$p\geq 2$and$t \geq 0$.

Lemma 4.2

If$\sigma :[0,+\infty ] \to L_{Q}^{0} ( {\mathbb{K},\mathbb{H}} )$satisfies Hypothesis$(H4)$with

$$ \int _{0}^{{{ + }}\infty } {{e^{{\gamma _{3}}s}} \bigl\Vert { \sigma (s)} \bigr\Vert _{L_{Q}^{0}}^{2}\,ds} < \infty , $$

then we have

$$ \mathbb{E} { \biggl\Vert { \int _{0}^{t} {{\mathcal{T}_{\alpha }}(t - s) \sigma (s)\,dB_{Q}^{H}(s)} } \biggr\Vert ^{p}} \le C e^{-\gamma _{3} t}, $$

for any$p\geq 2$and$t \geq 0$, where the constant$C>0$depends onM̃, H, p, ${\gamma _{3}}$.

Then we will show and prove our main results in the next section.

Theorem 4.3

Let Hypotheses$(H1)$–$(H5)$and$\sup_{t \geq 0} { \Vert {\sigma (t)} \Vert _{L_{Q}^{0}}} < \infty$hold, then$\mathbb{S} = \{ x(t) \in \mathbb{H}\mid \mathbb{E}{ \Vert {x(t)} \Vert ^{p}} \le { ( {1 - \widehat{\kappa }} )^{ - 1}}\widehat{{a_{6}}} \}$is the global attracting set of system (1) provided that

$$ \begin{aligned}[b] \widehat{\kappa }={}& \delta + \frac{{{{14}^{p - 1}}{{\widetilde{M}} ^{p}}\gamma _{2}^{ - p}C_{f}^{p}}}{{{{(1 - \delta )}^{p - 1}}}} + \frac{ {{{14}^{p - 1}}{{\widetilde{M}}^{p}}\gamma _{3}^{ - \frac{p}{2}}C_{h} ^{p}{{ ( {\frac{{p(p - 1)}}{2}} )}^{\frac{p}{2}}}{{ ( {\frac{{p - 2}}{{2p - 2}}} )}^{\frac{p}{2} - 1}}}}{{{{(1 - \delta )}^{p - 1}}}} \\ & {} +\frac{{{7^{p - 1}}{{\widetilde{M}}^{p}} ( {{{ ( {\sum_{k = 1}^{\infty }{{c_{k}}} } )}^{\frac{p}{q} + 1}} + {{ ( {\sum_{k = 1}^{\infty }{{d_{k}}} } )}^{ \frac{p}{q} + 1}}} )}}{{{{(1 - \delta )}^{p - 1}}}}< 1, \end{aligned} $$

(10)

where$p\geq 2$, $1< q\leq 2$with$\frac{1}{p} + \frac{1}{q} = 1$, and

$$ \begin{aligned} \widehat{{a_{6}}}={}&\frac{{{{14}^{p - 1}}{{\widetilde{M}}^{p}}\gamma _{2}^{ - p}l_{f}^{p} + {{14}^{p - 1}}{{\widetilde{M}}^{p}}\gamma _{3} ^{ - \frac{p}{2}}l_{h}^{p}{{ ( {\frac{{p(p - 1)}}{2}} )} ^{\frac{p}{2}}}{{ ( {\frac{{p - 2}}{{2p - 2}}} )}^{ \frac{p}{2} - 1}}}}{{{{ ( {1 - \delta } )}^{p - 1}}}} \\ & {} +\frac{{{7^{p - 1}}C\sup_{t \ge 0} \Vert {\sigma (t)} \Vert _{L_{Q}^{0}}^{p}}}{{{{ ( {1 - \delta } )} ^{p - 1}}}}. \end{aligned} $$

Proof

It follows from Definition 2.6 that

$$ \begin{aligned}[b] \mathbb{E} { \bigl\Vert {x(t)} \bigr\Vert ^{p}} \le{}& \frac{1}{{{\delta ^{p - 1}}}}\mathbb{E} { \bigl\Vert {g(t,{x_{t}})} \bigr\Vert ^{p}} + \frac{1}{{{{(1 - \delta )}^{p - 1}}}} \mathbb{E} { \bigl\Vert {x(t) - g(t,{x_{t}})} \bigr\Vert ^{p}} \\ \le{}& \frac{1}{{{\delta ^{p - 1}}}}\mathbb{E} { \bigl\Vert {g(t,{x_{t}})} \bigr\Vert ^{p}}+\frac{1}{{{{(1 - \delta )}^{p - 1}}}} \biggl\{ {{{14} ^{p - 1}} \mathbb{E} {{ \bigl\Vert {{\mathcal{S}_{\alpha }}(t)\psi (0)} \bigr\Vert }^{p}}} \\ & {} +{{{14}^{p - 1}}\mathbb{E} {{ \bigl\Vert {{\mathcal{S}_{\alpha }}(t)g(0, \psi )} \bigr\Vert }^{p}} + {7^{p - 1}} {{ \bigl\Vert {{ \mathcal{K}_{ \alpha }}(t)\varphi } \bigr\Vert }^{p}}} \\ & {} +{7^{p - 1}}\mathbb{E} { \biggl\Vert { \int _{0}^{t} {{\mathcal{K}_{ \alpha }}(t - s)f(s,{x_{s}})\,ds} } \biggr\Vert ^{p}} \\ & {} + {7^{p - 1}}\mathbb{E} { \biggl\Vert { \int _{0}^{t} {{\mathcal{T}_{ \alpha }}(t - s)h(s,{x_{s}})\,dW(s)} } \biggr\Vert ^{p}} \\ & {} + {7^{p - 1}}\mathbb{E} { \biggl\Vert { \int _{0}^{t} {{\mathcal{T}_{ \alpha }}(t - s) \sigma (s)\,d{B_{Q}^{H}}(s)} } \biggr\Vert ^{p}} \\ & {} +{7^{p - 1}}\mathbb{E} { \biggl\Vert {\sum _{0 < {t_{k}} < t} {{\mathcal{S}_{\alpha }}(t - {t_{k}}){I_{k}} \bigl({x\bigl(t_{k}^{-} \bigr)}\bigr)} } \biggr\Vert ^{p}} \\ & {} +{7^{p - 1}}\mathbb{E} { \biggl\Vert {\sum _{0 < {t_{k}} < t} {{\mathcal{K}_{\alpha }}(t - {t_{k}}){G_{k}} \bigl({x\bigl(t_{k}^{-} \bigr)}\bigr)} } \biggr\Vert ^{p}} \biggr\} \\ \le{}& \delta \mathbb{E} \Vert {{x_{t}}} \Vert _{\mathcal{P} \mathcal{C}}^{p}+\frac{{{{14}^{p - 1}}}}{{{{(1 - \delta )}^{p - 1}}}} ( {{F_{1}} + {F_{2}}} ) + \frac{{{7^{p - 1}}}}{{{{(1 - \delta )}^{p - 1}}}}\sum_{j = 3}^{8} {{F_{j}}}. \end{aligned} $$

(11)

Now, we estimate each term on the right-hand side of the above formula one by one. In terms of Hypotheses $(H1)$ and $(H2)$, we get

$$ \begin{gathered} \begin{aligned} {F_{1}} + {F_{2}} \le{}& {\widetilde{M}}^{p}{e^{ - p{\gamma _{1}}t}} \mathbb{E} { \bigl\Vert {\psi (0)} \bigr\Vert ^{p}} + { \widetilde{M}^{p}} {e^{ - p{\gamma _{1}}t}} {\delta ^{p}} \mathbb{E} \Vert \psi \Vert _{\mathcal{P}\mathcal{C}}^{p} \\ \le{}& {\widetilde{M}^{p}} \bigl( {1 + {\delta ^{p}}} \bigr) \mathbb{E} \Vert \psi \Vert _{\mathcal{P}\mathcal{C}}^{p} {e^{ - {\gamma _{1}}t}}, \end{aligned} \\ {F_{3}} \le {\widetilde{M}^{p}}\mathbb{E} { \Vert \varphi \Vert ^{p}} {e^{ - {\gamma _{2}}t}}. \end{gathered} $$

(12)

By the aid of $(H3)$ and Hölder’s inequality, one can easily obtain

$$ \begin{aligned}[b] {F_{4}} \le{}& \mathbb{E} { \biggl( { \int _{0}^{t} {\widetilde{M} {e^{ - {\gamma _{2}}(t - s)}} \bigl( {{C_{f}} {{ \Vert {{x_{s}}} \Vert }_{\mathcal{P}\mathcal{C}}} + \bigl\Vert {f(s,0)} \bigr\Vert } \bigr)\,ds} } \biggr)^{p}} \\ \le{}& {2^{p - 1}} {\widetilde{M}^{p}} {\gamma _{2}}^{1 - p}C_{f}^{p} \int _{0}^{t} {{e^{ - {\gamma _{2}}(t - s)}}\mathbb{E} \Vert {{x_{s}}} \Vert _{\mathcal{P}\mathcal{C}}^{p}\,ds} + {2^{p - 1}} {\widetilde{M} ^{p}} {\gamma _{2}}^{ - p}l_{f}^{p}. \end{aligned} $$

(13)

To proceed, the Hypothesis $(H3)$ and Lemma 2.9 lead to

$$\begin{aligned} {F_{5}} \le{}& { \widetilde{M}^{p}} { \biggl( {\frac{{p(p - 1)}}{2}} \biggr) ^{{p / 2}}} { \biggl( { \int _{0}^{t} {{{ \bigl( {{e^{ - p{\gamma _{3}}(t - s)}} \mathbb{E} \bigl\Vert {h(s,{x_{s}})} \bigr\Vert _{L_{2}^{0}}^{p}} \bigr)}^{{2 / p}}}\,ds} } \biggr)^{{p / 2}}} \\ ={}& {\widetilde{M}^{p}} { \biggl( {\frac{{p(p - 1)}}{2}} \biggr)^{ \frac{p}{2}}} { \biggl( { \int _{0}^{t} {{e^{ - \frac{{2{\gamma _{3}}(p - 1)(t - s)}}{{p - 2}}}}\,ds} } \biggr)^{\frac{p}{2} - 1}} \int _{0} ^{t} {{e^{ - {\gamma _{3}}(t - s)}}\mathbb{E} \bigl\Vert {h(s,{x_{s}})} \bigr\Vert _{L_{2}^{0}}^{p} \,ds} \\ \le{}& {2^{p - 1}} {\widetilde{M}^{p}}C_{h}^{p}{ \biggl( {\frac{{p(p - 1)}}{2}} \biggr)^{\frac{p}{2}}} { \biggl( { \frac{{p - 2}}{{2{\gamma _{3}}(p - 1)}}} \biggr)^{\frac{p}{2} - 1}} \int _{0}^{t} {{e^{ - {\gamma _{3}}(t - s)}}\mathbb{E} \Vert {{x_{s}}} \Vert _{ \mathcal{P}\mathcal{C}}^{p}\,ds} \\ & {} + {2^{p - 1}} {\widetilde{M}^{p}} { \biggl( { \frac{{p(p - 1)}}{2}} \biggr) ^{\frac{p}{2}}} { \biggl( {\frac{{p - 2}}{{2(p - 1)}}} \biggr)^{ \frac{p}{2} - 1}}\gamma _{3}^{ - \frac{p}{2}}l_{h}^{p}. \end{aligned}$$

(14)

Thanks to Lemma 4.1, we directly obtain

$$ \begin{aligned} {F_{6}} \le C\sup _{t \geq 0} \bigl\Vert {\sigma (t)} \bigr\Vert _{L_{Q}^{0}}^{p}. \end{aligned} $$

(15)

For $1 < q \le 2$ with $\frac{1}{p} + \frac{1}{q} = 1$, by utilizing condition $(H5)$ and Hölder’s inequality, we arrive at

$$ \begin{aligned}[b] {F_{7}} \le{}& \mathbb{E} { \biggl( {\sum_{0 < {t_{k}}} { \bigl\Vert {{ \mathcal{S}_{\alpha }}(t - {t_{k}})} \bigr\Vert \bigl\Vert {{I_{k}}\bigl( {x\bigl(t_{k}^{-} \bigr)}\bigr)} \bigr\Vert } } \biggr)^{p}} \\ \le{}& {\widetilde{M}^{p}}\mathbb{E} { \biggl( {\sum _{0 < {t_{k}} < t} {{c_{k}} {e^{ - {\gamma _{1}}(t - {t_{k}})}} {{ \bigl\Vert {{x\bigl(t_{k}^{-} \bigr)}} \bigr\Vert }}} } \biggr)^{p}} \\ \le{}& {\widetilde{M}^{p}} { \Biggl( {\sum _{k = 1}^{\infty } {{c_{k}}} } \Biggr)^{\frac{p}{q}}}\sum_{0 < {t_{k}} < t} {{c_{k}} {e^{ - {\gamma _{1}}(t - {t_{k}})}}\mathbb{E} \bigl\Vert {{x\bigl(t _{k}^{-} \bigr)}} \bigr\Vert ^{p}}, \end{aligned} $$

(16)

repeating the above computing for the term $F_{8}$, we deduce that

$$ \begin{aligned}[b] {F_{8}} \le{}& \mathbb{E} { \biggl( {\sum_{0 < {t_{k}}} { \bigl\Vert {{ \mathcal{K}_{\alpha }}(t - {t_{k}})} \bigr\Vert \bigl\Vert {{G_{k}}\bigl( {x\bigl(t_{k}^{-} \bigr)}\bigr)} \bigr\Vert } } \biggr)^{p}} \\ \le{}& {\widetilde{M}^{p}} { \Biggl( {\sum _{k = 1}^{\infty } {{d_{k}}} } \Biggr)^{\frac{p}{q}}}\sum_{0 < {t_{k}} < t} {{d_{k}} {e^{ - {\gamma _{2}}(t - {t_{k}})}}\mathbb{E} \bigl\Vert {{x\bigl(t _{k}^{-} \bigr)}} \bigr\Vert ^{p}}. \end{aligned} $$

(17)

Putting (12)–(17) together into (11), we have

$$ \begin{aligned}[b] \mathbb{E} { \bigl\Vert {x(t)} \bigr\Vert ^{p}} &\le \delta \mathbb{E} \Vert {{x_{t}}} \Vert _{\mathcal{P}\mathcal{C}}^{p}+\frac{ {{{14}^{p - 1}}}}{{{{(1 - \delta )}^{p - 1}}}} \bigl( {\widetilde{M} ^{p}} \bigl( {1 + {\delta ^{p}}} \bigr)\mathbb{E} \Vert \psi \Vert _{\mathcal{P}\mathcal{C}}^{p}{e^{ - {\gamma _{1}}t}} \bigr) \\ &\quad{} +\frac{{{7^{p - 1}}}}{{{{(1 - \delta )}^{p - 1}}}} \Biggl\{ {\widetilde{M} ^{p}}\mathbb{E} { \Vert \varphi \Vert ^{p}} {e^{ - {\gamma _{2}}t}} + {2^{p - 1}} {\widetilde{M}^{p}} {\gamma _{2}}^{ - p}l_{f}^{p} \\ &\quad{}+{2^{p - 1}} {\widetilde{M}^{p}} {\gamma _{2}}^{1 - p}C_{f}^{p} \int _{0}^{t} {{e^{ - {\gamma _{2}}(t - s)}}\mathbb{E} \Vert {{x_{s}}} \Vert _{\mathcal{P}\mathcal{C}}^{p}\,ds} \\ &\quad{}+ {2^{p - 1}} {\widetilde{M}^{p}}C_{h}^{p}{ \biggl( {\frac{{p(p - 1)}}{2}} \biggr)^{\frac{p}{2}}} { \biggl( { \frac{{p - 2}}{{2{\gamma _{3}}(p - 1)}}} \biggr)^{\frac{p}{2} - 1}} \\ & \quad{}\times \int _{0}^{t} {{e^{ - {\gamma _{3}}(t - s)}}\mathbb{E} \Vert {{x_{s}}} \Vert _{\mathcal{P}\mathcal{C}}^{p}\,ds} \\ &\quad{}+ {2^{p - 1}} {\widetilde{M}^{p}} { \biggl( { \frac{{p(p - 1)}}{2}} \biggr) ^{\frac{p}{2}}} { \biggl( {\frac{{p - 2}}{{2(p - 1)}}} \biggr)^{ \frac{p}{2} - 1}}\gamma _{3}^{ - \frac{p}{2}}l_{h}^{p} \\ &\quad{}+ C\sup_{t \geq 0} \bigl\Vert {\sigma (t)} \bigr\Vert _{L_{Q}^{0}}^{p} + {\widetilde{M}^{p}} { \Biggl( {\sum _{k = 1} ^{\infty }{{c_{k}}} } \Biggr)^{\frac{p}{q}}}\sum_{0 < {t_{k}} < t} {{c_{k}} {e^{ - {\gamma _{1}}(t - {t_{k}})}}\mathbb{E} \bigl\Vert {{x\bigl(t_{k}^{-} \bigr)}} \bigr\Vert ^{p}} \\ &\quad{}+ {\widetilde{M}^{p}} { \Biggl( {\sum _{k = 1}^{\infty }{{d _{k}}} } \Biggr)^{\frac{p}{q}}}\sum_{0 < {t_{k}} < t} {{d_{k}} {e^{ - {\gamma _{2}}(t - {t_{k}})}}\mathbb{E} \bigl\Vert {{x\bigl(t_{k}^{-} \bigr)}} \bigr\Vert ^{p}} \Biggr\} . \end{aligned} $$

(18)

Let $\widehat{{a_{3}}}=\delta$, and

$$\begin{aligned}& \begin{aligned} \widehat{{a_{1}}}= \frac{{{{14}^{p - 1}}}}{{{{(1 - \delta )}^{p - 1}}}}{ \widetilde{M} ^{p}} \bigl( {1 + {\delta ^{p}}} \bigr) \mathbb{E} \Vert \psi \Vert _{\mathcal{P}\mathcal{C}}^{p}, \end{aligned} \\& \begin{aligned} \widehat{{a_{2}}}= \frac{{{7^{p - 1}}}}{{{{(1 - \delta )}^{p - 1}}}} { \widetilde{M}^{p}}\mathbb{E} { \Vert \varphi \Vert ^{p}}, \end{aligned} \\& \begin{aligned} \widehat{{a_{4}}}= \frac{{{14^{p - 1}}}}{{{{(1 - \delta )}^{p - 1}}}} { \widetilde{M}^{p}} {\gamma _{2}}^{1 - p}C_{f}^{p}, \end{aligned} \\& \begin{aligned} \widehat{{a_{5}}}= \frac{{{14^{p - 1}}}}{{{{(1 - \delta )}^{p - 1}}}} { \widetilde{M}^{p}}C_{h}^{p}{ \biggl( { \frac{{p(p - 1)}}{2}} \biggr) ^{\frac{p}{2}}} { \biggl( {\frac{{p - 2}}{{2{\gamma _{3}}(p - 1)}}} \biggr) ^{\frac{p}{2} - 1}}, \end{aligned} \\& \begin{aligned} \widehat{{a_{6}}}={}&\frac{{{{14}^{p - 1}}{{\widetilde{M}}^{p}}\gamma _{2}^{ - p}l_{f}^{p} + {{14}^{p - 1}}{{\widetilde{M}}^{p}}\gamma _{3} ^{ - \frac{p}{2}}l_{h}^{p}{{ ( {\frac{{p(p - 1)}}{2}} )} ^{\frac{p}{2}}}{{ ( {\frac{{p - 2}}{{2p - 2}}} )}^{ \frac{p}{2} - 1}}}}{{{{ ( {1 - \delta } )}^{p - 1}}}} \\ & {} +\frac{{{7^{p - 1}}C\sup_{t \ge 0} \Vert {\sigma (t)} \Vert _{L_{Q}^{0}}^{p}}}{{{{ ( {1 - \delta } )} ^{p - 1}}}}, \end{aligned} \\& \widehat{{c_{k}}} = \frac{{{7^{p - 1}}{{\widetilde{M}}^{p}}{{ ( {\sum_{k = 1}^{\infty }{{c_{k}}} } )}^{\frac{p}{q}}} {c_{k}}}}{{{{(1 - \delta )}^{p - 1}}}}, \qquad \widehat{{d_{k}}} = \frac{{{7^{p - 1}}{{\widetilde{M}}^{p}}{{ ( {\sum_{k = 1}^{\infty }{{d_{k}}} } )}^{\frac{p}{q}}} {d_{k}}}}{{{{(1 - \delta )}^{p - 1}}}}. \end{aligned}$$

The inequality (10) implies that

$$ \widehat{{a_{3}}} + \frac{{\widehat{{a_{4}}}}}{{{\gamma _{2}}}} + \frac{ {\widehat{{a_{5}}}}}{{{\gamma _{3}}}} + \sum _{k = 1}^{\infty } {\widehat{{c_{k}}}} + \sum_{k = 1}^{\infty }{\widehat{{d_{k}}}} \stackrel{{\Delta }}{=} \widehat{\kappa }< 1. $$

Since $\psi \in \mathcal{P}\mathcal{C}_{{\mathcal{F}_{0}}}^{b}([ - r,0]; \mathbb{H})$, there exists $\widehat{K} \ge {{{ \Vert \psi \Vert }_{\mathcal{P}\mathcal{C}}}}$ such that

$$ \frac{{\widehat{{a_{1}}} + \widehat{{a_{2}}}}}{{\widehat{K}}} + \widehat{{a_{3}}} {e^{\gamma r}} + \frac{{\widehat{{a_{4}}}{e^{\gamma r}}}}{{{\gamma _{2}} - \gamma }} + \frac{{\widehat{{a_{5}}}{e^{\gamma r}}}}{{{\gamma _{3}} - \gamma }} + \sum_{k = 1}^{\infty }{ \widehat{{c_{k}}}} + \sum_{k = 1}^{\infty }{ \widehat{{c_{k}}}} < 1, $$

with $\gamma \in ( {0,\gamma *} )$, ${\gamma ^{*}} = \min \{ {{\gamma _{1}},{\gamma _{2}},{\gamma _{3}}} \}$. Then it follows from Lemma 3.1 that

$$ \mathbb{E} { \bigl\Vert {x(t)} \bigr\Vert ^{p}} \le \widehat{K} {e^{ - \gamma t}}+ { ( {1 - \widehat{\kappa }} )^{ - 1}} \widehat{{a_{6}}}. $$

Therefore, in view of Definition 2.7, we complete the proof of Theorem 4.3. □

Theorem 4.4

Suppose that the hypotheses of Theorem 4.3are satisfied with$l_{f} =l_{g}=0$,

$$ \int _{0}^{{{ + }}\infty } {{e^{{\gamma _{3}}s}} \bigl\Vert { \sigma (s)} \bigr\Vert _{L_{Q}^{0}}^{2}\,ds} < \infty , $$

(19)

and

$$ \begin{aligned} \widehat{\kappa }={}& \delta + \frac{{{{14}^{p - 1}}{{\widetilde{M}} ^{p}}\gamma _{2}^{ - p}C_{f}^{p}}}{{{{(1 - \delta )}^{p - 1}}}} + \frac{ {{{14}^{p - 1}}{{\widetilde{M}}^{p}}\gamma _{3}^{ - \frac{p}{2}}C_{h} ^{p}{{ ( {\frac{{p(p - 1)}}{2}} )}^{\frac{p}{2}}}{{ ( {\frac{{p - 2}}{{2p - 2}}} )}^{\frac{p}{2} - 1}}}}{{{{(1 - \delta )}^{p - 1}}}} \\ & {} +\frac{{{7^{p - 1}}{{\widetilde{M}}^{p}} ( {{{ ( {\sum_{k = 1}^{\infty }{{c_{k}}} } )}^{\frac{p}{q} + 1}} + {{ ( {\sum_{k = 1}^{\infty }{{d_{k}}} } )}^{ \frac{p}{q} + 1}}} )}}{{{{(1 - \delta )}^{p - 1}}}}< 1. \end{aligned} $$

Then the mild solution of system (1) is pth moment exponentially stable.

Proceeding as in the proof of Theorem 4.3, by virtue of Lemmas 4.2 and 3.1, one can verify Theorem 4.4 holds. We omit details of the proof here.

At the end of this part, some pertinent results are stated without proof.

If the neutral term $g(t,\cdot )=0$, the system (1) reduces to the following impulsive fractional stochastic partial functional integro-differential equation:

$$ \textstyle\begin{cases} {}^{c}D_{t}^{\alpha }{x(t)} = A {x(t)} + \mathbb{I}_{t}^{2 - \alpha } ( {f(t,{x_{t}})} )+ h(t,{x_{t}})\frac{{dW(t)}}{{dt}} \\\hphantom{{}^{c}D_{t}^{\alpha }{x(t)}}\quad {} +\sigma (t)\frac{{d{B_{Q}^{H}}(t)}}{{dt}}, \quad t\neq t_{k}, t\in J, \\ \Delta x({t_{k}}) ={I_{k}}({x(t_{k}^{-} )}),\quad\quad \Delta x'({t_{k}})= {G_{k}}({x(t_{k}^{-} )}), \quad t=t_{k}, k=1,2,\ldots, \\ {x}(t) = \psi (t) \in \mathcal{P}\mathcal{C}_{{\mathcal{F}_{0}}}^{b} ([- r,0];\mathbb{H}),\quad t \in [-r,0], \\ x'(0)= \varphi \in \mathbb{H}. \end{cases} $$

(20)

Corollary 4.5

Assume that Hypotheses$(H1)$, $(H3)$–$(H5)$with$l_{f} =l_{g}=0$and$\int _{0}^{{{ + }}\infty } {e^{{\gamma _{3}}s}} \Vert {\sigma (s)} \Vert _{L_{Q}^{0}}^{2}\,ds < \infty$are satisfied. If for any$p\geq 2$, $1< q\leq 2$with$\frac{1}{p} + \frac{1}{q} = 1$,

$$ \begin{aligned} \widehat{\kappa }={}&{{{7}^{p - 1}} {{ \widetilde{M}}^{p}}\gamma _{2}^{ - p}C _{f}^{p}}+{{{7}^{p - 1}} {{\widetilde{M}}^{p}} \gamma _{3}^{ - \frac{p}{2}}C_{h}^{p}{{ \biggl( { \frac{{p(p - 1)}}{2}} \biggr)}^{ \frac{p}{2}}} {{ \biggl( {\frac{{p - 2}}{{2p - 2}}} \biggr)}^{ \frac{p}{2} - 1}}} \\ & {} +{7}^{p - 1}{ \Biggl( {\sum_{k = 1}^{\infty }{{c_{k}}} } \Biggr)} ^{\frac{p}{q} + 1}+{7}^{p - 1}{ \Biggl( {\sum _{k = 1}^{\infty } {{d_{k}}} } \Biggr)}^{\frac{p}{q} + 1}< 1, \end{aligned} $$

then the mild solution to system (20) is exponentially stable inpth moment.

When $\Delta x({t_{k}}), \Delta x'({t_{k}})=0$, $k=1,2,\ldots$ , the system (1) degenerates to fractional neutral stochastic partial functional integro-differential equation without impulses as follows:

$$ \textstyle\begin{cases} {}^{c}D_{t}^{\alpha } [ {x(t) - g(t,{x_{t}})} ] = A [ {x(t) - g(t,{x_{t}})} ] + \mathbb{I}_{t}^{2 - \alpha } ( {f(t,{x_{t}})} ) \\ \hphantom{{}^{c}D_{t}^{\alpha } [ {x(t) - g(t,{x_{t}})} ]}\quad {} + h(t,{x_{t}})\frac{{dW(t)}}{{dt}}+\sigma (t)\frac{{d{B_{Q}^{H}}(t)}}{ {dt}},\quad t\in J, \\ {x}(t) = \psi (t) \in \mathcal{P}\mathcal{C}_{{\mathcal{F}_{0}}}^{b} ([- r,0];\mathbb{H}),\quad t \in [-r,0], \\ \frac{d}{{dt}}{ [ {x(t) - g(t,{x_{t}})} ]_{t = 0}} =\varphi \in \mathbb{H}. \end{cases} $$

(21)

Corollary 4.6

Suppose that assumptions$(H1)$, (a) of$(H2)$, $(H3)$and$(H4)$with$l_{f} =l_{g}=0$, $\int _{0}^{{{ + }} \infty } {{e^{{\gamma _{3}}s}} \Vert {\sigma (s)} \Vert _{L _{Q}^{0}}^{2}\,ds} < \infty$and the inequality

$$ \begin{aligned} {10^{p - 1}} \biggl( {{{\widetilde{M}}^{p}} \gamma _{2}^{ - p}C_{f}^{p}}+ {{{ \widetilde{M}}^{p}}\gamma _{3}^{ - \frac{p}{2}}C_{h}^{p}{{ \biggl( {\frac{{p(p - 1)}}{2}} \biggr)}^{\frac{p}{2}}} {{ \biggl( { \frac{{p - 2}}{ {2p - 2}}} \biggr)}^{\frac{p}{2} - 1}}} \biggr)< { ( {1 - \delta } )^{p}} \end{aligned} $$

hold, then the mild solution of system (21) ispth moment exponentially stable.

If the neutral term $g(t,\cdot )=0$ and $\Delta x({t_{k}}), \Delta x'( {t_{k}})=0$, $k=1,2,\ldots$ , the system (1) degrades to fractional stochastic partial functional integro-differential equation:

$$ \textstyle\begin{cases} {}^{c}D_{t}^{\alpha }{x(t)} = A {x(t)} + \mathbb{I}_{t}^{2 - \alpha } ( {f(t,{x_{t}})} )+ h(t,{x_{t}})\frac{{dW(t)}}{{dt}} \\\hphantom{{}^{c}D_{t}^{\alpha }{x(t)} }\quad {} +\sigma (t)\frac{{d{B_{Q}^{H}}(t)}}{{dt}},\quad t\in J, \\ {x}(t) = \psi (t) \in \mathcal{P}\mathcal{C}_{{\mathcal{F}_{0}}}^{b} ([- r,0];\mathbb{H}),\quad t \in [-r,0], \\ x'(0)= \varphi \in \mathbb{H}. \end{cases} $$

(22)

Corollary 4.7

Let us assume that conditions$(H1)$, $(H3)$, $(H4)$with$l_{f} =l_{g}=0$, $\int _{0}^{{{ + }}\infty } {e ^{{\gamma _{3}}s}} \Vert {\sigma (s)} \Vert _{L_{Q}^{0}}^{2}\,ds < \infty$and the following inequality:

$$ \begin{aligned} {5^{p - 1}} {{\widetilde{M}}^{p}} \biggl( {\gamma _{2}^{ - p}C_{f}^{p}}+ { \gamma _{3}^{ - \frac{p}{2}}C_{h}^{p}{{ \biggl( { \frac{{p(p - 1)}}{2}} \biggr)}^{\frac{p}{2}}} {{ \biggl( {\frac{{p - 2}}{{2p - 2}}} \biggr)} ^{\frac{p}{2} - 1}}} \biggr)< 1, \end{aligned} $$

hold, then the mild solution for system (22) ispth moment exponentially stable. In particular, when$\gamma _{2}^{2} > 5{\widetilde{M} ^{2}}C_{f}^{2}$, the mild solution of system (22) is exponentially stable in mean square.

Remark 4.8

Thanks to Remark 3.2, our approach in this paper is applicable for FNSEEs involving delayed impulses:

$$ \textstyle\begin{cases} {}^{c}D_{t}^{\alpha } [ {x(t) - g(t,{x_{t}})} ] = A [ {x(t) - g(t,{x_{t}})} ] + \mathbb{I}_{t}^{2 - \alpha } ( {f(t,{x_{t}})} ) \\ \hphantom{{}^{c}D_{t}^{\alpha } [ {x(t) - g(t,{x_{t}})} ]}\quad {} + h(t,{x_{t}})\frac{{dW(t)}}{{dt}}+\sigma (t)\frac{{d{B_{Q}^{H}}(t)}}{ {dt}}, \quad t\neq t_{k}, t\in J, \\ \Delta x({t_{k}}) ={I_{k}}({x_{t_{k}^{-} }}), \quad\quad \Delta x'({t_{k}})= {G_{k}}({x_{t_{k}^{-} }}),\quad t=t_{k}, k=1,2,\ldots, \\ {x}(t) = \psi (t) \in \mathcal{P}\mathcal{C}_{{\mathcal{F}_{0}}}^{b} ([- r,0];\mathbb{H}),\quad t \in [-r,0], \\ \frac{d}{{dt}}{ [ {x(t) - g(t,{x_{t}})} ]_{t = 0}} =\varphi \in \mathbb{H}, \end{cases} $$

(23)

i.e., our results can be easily extended to FNSEEs with delayed impulses.

5 Example

Example 5.1

We consider the following impulsive fractional neutral stochastic integro-differential equation:

$$ \textstyle\begin{cases} \frac{{{\partial ^{\alpha } [ {x(t) - {\beta _{1}}{x_{t}}} ]}}}{ {\partial {t^{\alpha }}}} = \frac{{{\partial ^{2}}}}{{\partial {z^{2}}}} [ {x(t) - {\beta _{1}} {x_{t}}} ] + \mathbb{I}_{t}^{2 - \alpha } ( {{\beta _{2}} {x_{t}}+{\chi _{2}}} ) + ({\beta _{3}}{x_{t}}+{\chi _{2}})\frac{ {dW(t)}}{{dt}} \\\hphantom{\frac{{{\partial ^{\alpha } [ {x(t) - {\beta _{1}}{x_{t}}} ]}}}{ {\partial {t^{\alpha }}}}}\quad {} +\sigma (t)\frac{{d{B_{Q}^{H}}(t)}}{{dt}}, \quad t\geq 0, t\neq t_{k}, 0 \le z \le \pi , \\ \Delta x({t_{k}}) = \frac{{{\beta _{4}}}}{{{k^{2}}}}x(t_{k}^{-} ), \quad\quad \Delta x'({t_{k}})=\frac{{{\beta _{5}}}}{{{k^{2}}}}x(t_{k}^{-} ), \quad t=t _{k}, k=1,2,\ldots, \\ x(t,0) = x(t,\pi ) = 0, \\ {x}(t) = \psi (t) \in \mathcal{P}\mathcal{C}_{{\mathcal{F}_{0}}}^{b} ([- r,0]; {L^{2}}[0, \pi ]),\quad t \in [-r,0], \\ \frac{d}{{dt}}{ [ {x(t) - {\beta _{1}}{x_{t}}} ]_{t = 0}} = \varphi \in {L^{2}}[0, \pi ], \end{cases} $$

(24)

where ${\beta _{i}}$, $i=1,2,\ldots,5$, ${\chi _{j}}$, $j=1,2$ are positive constants, $W(t)$ is a Wiener process, $\sigma (t)$ is a continuous function satisfying Hypothesis $(H4)$ with $\sup_{t \geq 0} { \Vert {\sigma (t)} \Vert _{L_{Q}^{0}}} < \infty$, and ${B_{Q}^{H}}(t)$ is a fractional Brownian motion. Define $\mathbb{H}={L^{2}}[0, \pi ]$, $A= \frac{{{\partial ^{2}}}}{{\partial {z^{2}}}}$ and $\mathcal{D}(A)= \mathbb{H}_{0}^{1}(0,\pi ) \cap {\mathbb{H} ^{2}}(0,\pi )$. Then

$$ Aw = - \sum_{n = 1}^{\infty }{n^{2} \bigl\langle {w,{e_{n}}(z)} \bigr\rangle {e_{n}}(z)}, \quad w\in \mathcal{D}(A), $$

where $e_{n}(z)=\sqrt{\frac{2}{\pi }} \sin (nz)$, $0\leq z\leq \pi$, $n \in \mathbb{N}$. It is well known that A is the infinitesimal generator of a strongly continuous semigroup of bounded linear operators $T(t):\mathbb{H}\rightarrow \mathbb{H}$ and it is given by

$$ {T(t)}w = \sum_{n = 1}^{\infty }{{e^{ - n^{2} t}} \bigl\langle {w, {e_{n}}(z)} \bigr\rangle {e_{n}}(z)}, \quad w \in \mathbb{H} \quad \text{and} \quad \bigl\Vert {{T(t)}} \bigr\Vert \le {e^{ - {\pi ^{2}}t}}. $$

Based on Ref. [26], then we can define the solution operators ${\mathcal{S}_{\alpha }}(t)$, ${\mathcal{K}_{\alpha }}(t)$, ${\mathcal{T}_{\alpha }}(t)$ such that $\Vert {{\mathcal{S}_{ \alpha }}(t)} \Vert \le {e^{ - {\gamma _{1}}t}}$, $\Vert {{\mathcal{K} _{\alpha }}(t)} \Vert \le {e^{ - {\gamma _{2}}t}}$, $\Vert {{\mathcal{T}_{\alpha }}(t)} \Vert \le {e^{ - {\gamma _{3}}t}}$ with $\widetilde{M}=1$, where ${\gamma _{1}}, {\gamma _{2}}, {\gamma _{3}} < \pi ^{2}$.

Fix $\beta = {3 / 4}$, from the definition of ${{{( - A)} ^{{{ - 3} / 4}}}}$ [29], we have $\Vert {{{( - A)}^{{{ - 3} / 4}}}} \Vert \le \frac{1}{{{\pi ^{{3 / 2}}}}}$ and $\Vert {{{( - A)}^{{3 / 4}}}} \Vert = 1$.

Let $g(t, x_{t})= {\beta _{1}}{x_{t}}$, $f(t, x_{t})= {\beta _{2}}{x_{t}}+ {\chi _{1}}$, $h(t, x_{t})= {\beta _{3}}{x_{t}}+{\chi _{2}}$.

Then Hypotheses $(H2)$, $(H3)$ and $(H5)$ are satisfied with

$$ \begin{aligned} &\delta = \bigl\Vert {{{( - A)}^{ - \beta }}} \bigr\Vert {\beta _{1}} = \frac{ {{\beta _{1}}}}{{{\pi ^{{3 / 2}}}}}, \quad\quad C_{f} = {\beta _{2}}, \quad\quad C_{h} ={\beta _{3}}, \\ &l_{f} = {\chi _{1}}, \quad\quad l_{h}= {\chi _{2}}, \quad\quad {c_{k}} = \frac{{{\beta _{4}}}}{{{k^{2}}}}, \quad\quad {d_{k}} = \frac{{{\beta _{5}}}}{{{k^{2}}}}. \end{aligned} $$

Let $p=2$, then we have

$$\begin{aligned}& \begin{aligned} \widehat{\kappa }={}& \delta + \frac{{14\gamma _{2}^{ - 2}\beta _{2}^{2}}}{ {1 - \delta }} + \frac{{14\gamma _{3}^{ - 1}\beta _{3}^{2}}}{{1 - \delta }}+ \frac{{7 ( {{{ ( {\sum_{k = 1}^{\infty }{\frac{ {{\beta _{4}}}}{{{k^{2}}}}} } )}^{2}} + {{ ( {\sum_{k = 1}^{\infty }{\frac{{{\beta _{5}}}}{{{k^{2}}}}} } )} ^{2}}} )}}{{1 - \delta }} \\ ={}& \frac{{{\beta _{1}}}}{{{\pi ^{{3 / 2}}}}} + \frac{{14\gamma _{2}^{ - 2}\beta _{2}^{2}}}{{1 - \frac{{{\beta _{1}}}}{{{\pi ^{{3 / 2}}}}}}} +\frac{{14\gamma _{3}^{ - 1}\beta _{3}^{2}}}{{1 - \frac{{{\beta _{1}}}}{{{\pi ^{{3 / 2}}}}}}}+ \frac{{7{\pi ^{4}} ( {\beta _{4}^{2} + \beta _{5}^{2}} )}}{{36 ( {1 - \frac{{{\beta _{1}}}}{{{\pi ^{{3 / 2}}}}}} )}}=:\widehat{\kappa }_{0}, \end{aligned} \\& \begin{aligned} \widehat{{a_{6}}}= \frac{{14\gamma _{2}^{ - 2}\chi _{1}^{2} + 14\gamma _{3}^{ - 1}\chi _{2}^{2} + 7C\sup_{t \ge 0} \Vert {\sigma (t)} \Vert _{L_{Q}^{0}}^{2}}}{{1 - \frac{{{\beta _{1}}}}{ {{\pi ^{{3 / 2}}}}}}}. \end{aligned} \end{aligned}$$

From Theorem 4.3, we conclude that $\mathbb{S} = \{ {x(t) \in \mathbb{H}\mid \mathbb{E}{ \Vert {x(t)} \Vert ^{2}} \le { ( {1 - \widehat{\kappa }_{0} } )^{ - 1}}\widehat{{a_{6}}}} \}$ is the global attracting set of system (24) provided that $\widehat{\kappa }_{0} <1$. In particular, when $\chi _{1} = \chi _{2} =0$ and $\widehat{\kappa }_{0} <1$, by Theorem 4.4, the mild solution of system (24) is exponentially stable in mean square.

6 Conclusion

In this paper, by establishing a new impulsive-integral inequality, we obtain the global attracting sets and some sufficient conditions which guarantee the pth moment exponential stability of mild solutions for impulsive fractional neutral stochastic integro-differential equations driven by fBm and standard Bm. And by a suitable modification to our proposed inequality, we show that it is applicable for neutral stochastic differential equations with delayed impulses. In our future work, we will consider the following three issues. Firstly, we will discuss the existence, uniqueness, exponential stability and approximate controllability of the system (1) with non-instantaneous impulses. Secondly, we will explore the global attracting sets and exponential stability for another kind of fractional neutral stochastic integro-differential equations driven by fBm, like the system in Ref. [9]. Thirdly, in view of the research development of infinite dimension G-Brownian motion and infinite dimension stochastic calculus in G-framework, we will investigate the global attracting sets and exponential stability of impulsive neutral stochastic partial functional integro-differential equations driven by G-Brownian motion.