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.
Similar content being viewed by others
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:
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
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:
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
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
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
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
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:
is given as
Note that the operators\(\mathcal{S}_{\alpha }(t)\), \(\mathcal{K}_{ \alpha }(t)\), \(\mathcal{T}_{\alpha }(t)\)are determined by
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.,
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
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
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]\),
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:
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
then we have
where\(\gamma \in (0,{\gamma ^{*}})\), \({\gamma ^{*}} = \min \{ {{\gamma _{1}},{\gamma _{2}},{\gamma _{3}}} \} \), \(K \ge {{{ \Vert \psi \Vert }_{\mathcal{P}\mathcal{C}}}} \)and
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
and
In view of (2) and (6), we derive
owing to Eqs. (3) and (4), it follows that
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
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
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
then we have
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
where\(p\geq 2\), \(1< q\leq 2\)with\(\frac{1}{p} + \frac{1}{q} = 1\), and
Proof
It follows from Definition 2.6 that
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
By the aid of \((H3)\) and Hölder’s inequality, one can easily obtain
To proceed, the Hypothesis \((H3)\) and Lemma 2.9 lead to
Thanks to Lemma 4.1, we directly obtain
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
repeating the above computing for the term \(F_{8}\), we deduce that
Putting (12)–(17) together into (11), we have
Let \(\widehat{{a_{3}}}=\delta \), and
The inequality (10) implies that
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
with \(\gamma \in ( {0,\gamma *} )\), \({\gamma ^{*}} = \min \{ {{\gamma _{1}},{\gamma _{2}},{\gamma _{3}}} \} \). Then it follows from Lemma 3.1 that
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\),
and
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:
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\),
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:
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
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:
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:
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:
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:
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
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
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
Let \(p=2\), then we have
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.
References
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)
Sakthivel, R., Suganya, S., Anthoni, S.M.: Approximate controllability of fractional stochastic evolution equations. Comput. Math. Appl. 63(3), 660–668 (2012)
Sakthivel, R., Revathi, P., Ren, Y.: Existence of solutions for nonlinear fractional stochastic differential equations. Nonlinear Anal. 81, 70–86 (2013)
Wang, J.R.: Approximate mild solutions of fractional stochastic evolution equations in Hilbert spaces. Appl. Math. Comput. 256, 315–323 (2011)
Lakshmikantham, V., Bainov, V.D., Simeonov, P.S.: Theory of Impulsive Differential Equations. World Scientific, Singapore (1989)
Benchohra, M., Henderson, J., Ntouyas, S.: Impulsive Differential Equations and Inclusions. Hindawi Publishing Corporation, New York (2006)
Ren, Y., Jia, X.J., Sakthivel, R.: The p-th moment stability of solutions to impulsive stochastic differential equations driven by G-Brownian motion. Appl. Anal. 96(6), 988–1003 (2017)
Ren, Y., He, Q., Gu, Y.F., Sakthivel, R.: Mean-square stability of delayed stochastic neural networks with impulsive effects driven by G-Brownian motion. Stat. Probab. Lett. 143, 56–66 (2018)
Yan, Z., Zhang, H.: Asymptotic stability of fractional impulsive neutral stochastic partial integro-differential equations with state-dependent delay. Electron. J. Differ. Equ. 2013, 206 (2013)
Zang, Y., Li, J.: Approximate controllability of fractional impulsive neutral stochastic differential equations with nonlocal conditions. Bound. Value Probl. 2013(1), 193 (2013)
Chadha, A., Pandey, D.N.: Existence results for an impulsive neutral stochastic fractional integro-differential equation with infinite delay. Nonlinear Anal. 128, 149–175 (2015)
Ren, Y., Yin, W.S., Sakthivel, R.: Stabilization of stochastic differential equations driven by G-Brownian motion with feedback control based on discrete-time state observation. Automatica 95, 146–151 (2018)
Chen, H.: Impulsive-integral inequality and exponential stability for stochastic partial differential equations with delays. Stat. Probab. Lett. 80(1), 50–56 (2010)
Long, S., Teng, L., Xu, D.: Global attracting set and stability of stochastic neutral partial functional differential equations with impulses. Stat. Probab. Lett. 82(9), 1699–1709 (2012)
Li, Z.: Global attracting and quasi-invariant sets of impulses neutral stochastic functional differential equations driven by fBm. Neurocomputing 117, 620–627 (2016)
Liu, K., Li, Z.: Global attracting set, exponential decay and stability in distribution of neutral SPDEs driven by additive α-stable processes. Discrete Contin. Dyn. Syst., Ser. B 21(10), 3551–3573 (2016)
Duan, P., Ren, Y.: Attracting and quasi-invariant sets of neutral stochastic integro-differential equations with impulses driven by fractional Brownian motion. Adv. Differ. Equ. 2017(1), 361 (2017)
Sakthivel, R., Revathi, P., Ren, Y., Shen, G.J.: Retarded stochastic differential equations with infinite delay driven by Rosenblatt process. Stoch. Anal. Appl. 36(2), 304–323 (2018)
Xu, L., Li, Z., Luo, J.: Global attracting set and exponential decay of second-order neutral stochastic functional differential equations driven by fBm. Adv. Differ. Equ. 2017(1), 134 (2017)
Deng, S.F., Shu, X.B., Mao, J.Z.: Existence and exponential stability for impulsive neutral stochastic functional differential equations driven by fBm with noncompact semigroup via Mönch fixed point. J. Math. Anal. Appl. 467(1), 398–420 (2018)
Xu, L., Luo, J.: Global attractiveness and exponential decay of neutral stochastic functional differential equations driven by fBm with Hurst parameter less than \({1/2}\). Front. Math. China 13(6), 1469–1487 (2018)
Cheng, P., Deng, F., Yao, F.: Exponential stability analysis of impulsive stochastic functional differential systems with delayed impulses. Commun. Nonlinear Sci. Numer. Simul. 19(6), 2104–2114 (2014)
Biagini, F., Hu, Y., Øksendal, B., Zhang, T.: Stochastic Calculus for Fractional Brownian Motion and Applications. Springer, Berlin (2008)
Caraballo, T., Garrido-Atienza, M.J., Taniguchi, T.: The existence and exponential behavior of solutions to stochastic delay evolution equations with a fractional Brownian motion. Nonlinear Anal., Theory Methods Appl. 74(11), 3671–3684 (2011)
Shu, X., Wang, Q.: The existence and uniqueness of mild solutions for fractional differential equations with nonlocal conditions of order \(1< \alpha <2\). Comput. Math. Appl. 64(6), 2100–2110 (2012)
Shu, X., Shi, Y.: A study on the mild solution of impulsive fractional evolution equations. Appl. Math. Comput. 273, 465–476 (2016)
Chadha, A., Bora, S.N.: Existence and exponential stability for neutral stochastic fractional differential equations with impulses driven by Poisson jumps. Stochastics 90(5), 663–681 (2018)
Da Prato, G., Zabczyk, J.: Stochastic Equations in Infinite Dimensions. Cambridge University Press, Cambridge (2014)
Pazy, A.: Semigroups of Linear Operators and Applications to Partial Differential Equations. Springer, Berlin (2012)
Acknowledgements
The authors gratefully acknowledge the helpful comments of the editors and the anonymous reviewers.
Availability of data and materials
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
Funding
We thank the support of the National Natural Science Foundation of China (Grant Nos. 11872305, 11532011) for our work.
Author information
Authors and Affiliations
Contributions
All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Liu, J., Xu, W. & Guo, Q. Global attractiveness and exponential stability for impulsive fractional neutral stochastic evolution equations driven by fBm. Adv Differ Equ 2020, 63 (2020). https://doi.org/10.1186/s13662-020-2520-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-020-2520-7