Abstract
This paper consider the existence, uniqueness and exponential stability in the pth moment of mild solution for impulsive neutral stochastic integro-differential equations driven simultaneously by fractional Brownian motion and by standard Brownian motion. Based on semigroup theory, the sufficient conditions to ensure the existence and uniqueness of mild solutions are obtained in terms of fractional power of operators and Banach fixed point theorem. Moreover, the pth moment exponential stability conditions of the equation are obtained by means of an impulsive integral inequality. Finally, an example is presented to illustrate the effectiveness of the obtained results.
Similar content being viewed by others
1 Introduction
The differential equation is an important tool to describe the law of development and change of things, and random disturbance is inevitable, thus many practical problems can be modeled by stochastic differential equations. The existence, uniqueness and stability of solutions of stochastic differential equations have been studied by many researchers [1,2,3,4,5,6,7,8,9,10]. Besides, many dynamical systems include not only time delays but also derivatives with delays. Neutral differential equations, firstly introduced by Hale and Meyer [11], are used to describe this kind of systems. It worth pointing out that in many cases the time delay or derivative with delay is the source of instability in dynamical systems. So, many researchers have increased their interests in investigating the stability of neutral stochastic functional differential equations (NSFDEs) with delays, for instance, Chen [12] discussed the exponential stability in pth moment and almost surely exponential stability of mild solutions for NSFDEs. Boufoussi and Hajji [13] considered the existence and asymptotic behavior of mild solutions for NSFDEs in Hilbert space. Very recently, Zhang and Ruan [14] studied the existence, uniqueness and exponential stability in the pth moment of mild solution for NSFDEs driven by mixed fractional Brownian motion. However, the impulsive effects were not considered in [12, 13] and [14].
Impulsive phenomena have gained a lot of attention in the last decades due to their wide applications, Lakshmikantham [15] and Samoilenko [16] elaborated on the theory and application of impulsive differential equations in their monographs. In addition, the approximate controllability [17, 18], global attractiveness and quasi-invariant sets [19], existence and stability [20,21,22,23,24,25] of the impulsive stochastic differential equation were investigated. Furthermore, the concept “aftereffect” introduced in scientific and engineering disciplines is very important, it is well known that the integro-differential equation is an effective tool to model a system with aftereffect. Recently, Ma et al. [23] discussed the existence, uniqueness and mean-square exponential stability of a mild solution of impulsive neutral stochastic integro-differential equation. Ren et al. [26] proved the existence and uniqueness of mild solutions for impulsive neutral stochastic integro-differential equation under the assumptions of non-Lipschitz conditions.
As a Gaussian stochastic process, fractional Brownian motion heavily relies on the Hurst index \(H\in (0,1)\) introduced by Kolmogorov [27], it is an effective tool in modelling many stochastic systems since its stationary increments and long-range dependence properties. Such as financial market time series displays long-range dependence and momentum. Long-range dependence has an important feature, which explains the well-documented evidence of volatility persistence, especially when the Hurst index \(H\in (1/2,1)\), which is most frequently encountered in real financial data. Peters [28] pointed out the exchange rate of the dollar against the Japanese yen from January 1972 to December 1990 followed the fBm with Hurst index \(H=0.642\). One can study the option pricing problem when the option contract is driven by a geometric fBm. A fractional Brownian motion reduces to a standard Brownian motion when \(H = 1/2\). Due to the good nature and wide application of fBm, the differential equations driven by fBm have been studied by many scholars and have been reported in the literature [4, 5, 7, 9, 13, 14, 17,18,19,20,21,22,23,24,25,26]. Mixed fBm is a stochastic process that contains both standard Brownian motion and fractional Brownian motion, which has gained a lot of attention since Cheridito [29] had studied the statistical properties of it. It is an effective tool in different applications. For instance, we can use mixed fBm-driven stochastic differential equations to model systems that contain not only white random noise but also long memory random noise. In the field of finance, one can distinguish between microstructure and randomness coming from the economical situation. In recent years, there were many researchers who discussed the stochastic differential equations driven by mixed fBm; see [14, 30,31,32,33] and the references therein.
In recent years the NSFDEs with impulsive effects have received much attention since they have wide applications, but the corresponding theory has not been fully explored. To the best of our knowledge, there is no paper considering the exponential stability of impulsive neutral stochastic integro-differential equation driven by mixed fractional Brownian motion. Thus we consider the following impulsive neutral stochastic integro-differential equation driven by mixed fractional Brownian motion:
where A is the infinitesimal generator of an analytic semigroup \((T(t))_{t \geq 0}\) of bounded linear operators in a Hilbert space X, \(W(t)\) and \(\{B^{H}(t),H\in (\frac{1}{2},1)\}\) are for standard Brownian motion (also called Wiener process) and fractional Brownian motion, respectively, in this paper, they are mutually independent. The impulsive moments \(t_{k}\) satisfy \(0< t_{1}< t_{2}<\cdots<t_{k}<\cdots\) , and \(\lim_{k\rightarrow +\infty }t_{k}=\infty \). \(I_{k}:X\rightarrow X\), \(\Delta x(t_{k})=x(t_{k}^{+})-x(t_{k}^{-})\) represents the jump size in the state x at \(t_{k}\), where \(x(t_{k}^{+})\) and \(x(t_{k}^{-})\) are the right and left limits of \(x(t)\) at \(t_{k}\), respectively. The initial state \(\phi \in \mathcal{PC}([-r,0];X)\) (the space of all functions that are continuous everywhere except for a finite number of points from \([-r,0]\) to X) and \(\|\phi \|_{\mathcal{PC}}= \sup_{s\in [-r,0]}\|\phi (s)\|<+\infty \). For every continuous function \(x(t), t\in [0,+\infty )\), we denote by \(x_{t}\) the element of \(\mathcal{PC}\) defined by \(x_{t}(\theta )=x(t+\theta ), -r\leq \theta \leq 0\). The functions \(p:[0,+\infty )\times \mathcal{PC}\rightarrow X\), \(f:[0,+\infty )\times \mathcal{PC}\rightarrow X\), \(g:[0,+\infty ) \times \mathcal{PC}\rightarrow X\), \(h:[0,+\infty )\times [0,+\infty ) \times \mathcal{PC}\rightarrow X\), and \(\sigma:[0,+\infty )\rightarrow L_{B}^{0}(Y,X)\) are all Borel measurable, we will specify this later. Our purpose of this paper is to consider the existence, uniqueness and exponential stability in pth moment of mild solution of system (1).
The rest of this paper is organized as follows. In Sect. 2, we recall some basic concepts and lemmas needed in this paper. In Sect. 3, we get the sufficient conditions that ensure the existence and uniqueness of mild solution of system (1). In Sect. 4, we discuss the exponential stability in pth moment by an impulsive integral inequality. In Sect. 5, we give an example to illustrate the effectiveness of the obtained results. In Sect. 6, we present our conclusion.
2 Preliminaries
In this section, we introduce some notations and recall the basic concepts and lemmas as regards the Wiener process, fractional Brownian motion and the Wiener integral with respect to fractional Brownian motion. Furthermore, we state some basic properties of analytic semigroups and fractional powers of their infinitesimal generators.
Let \((\varOmega,\mathcal{F},\mathbb{P})\) be a complete probability space satisfying the normal assumptions, the mathematical expectation operator is denoted by \(E(\cdot )\). Denote \(W=\{W(t),t\in [0,+\infty )\},B=\{B ^{H}(t),t\in [0,+\infty )\}\) by the standard Brownian motion and fractional Brownian motion with Hurst parameter \(H\in (1/2,1)\), respectively. Let \(X,K_{i}\ (i=W,B)\) denote separable Hilbert spaces, and let \(L(K_{i},X)\) be two spaces of all bounded linear operators from \(K_{i}\) to X. We assume that \(\{e_{n}^{(i)}\}_{n\in N^{+}}\) are complete orthonormal bases in \(K_{i}\). Let \(Q^{(i)}\in L(K_{i},K_{i})\) be two non-negative self-adjoint operators defined by \(Q^{(i)}e_{n} ^{(i)}=\lambda _{n}^{(i)}e_{n}^{(i)}\) with finite trace \(\operatorname{tr}Q^{(i)}=\sum_{n=1}^{\infty }\lambda _{n}^{(i)}<\infty \), where \(\{\lambda _{n}^{(i)}\}_{n\in N^{+}}\) are non-negative real numbers. Let \(L_{i}^{0}(K_{i},X)\) be the spaces of all \(\xi ^{(i)} \in L(K_{i},X)\) such that \(\xi ^{(i)}\sqrt{Q^{(i)}}\) is a Hilbert–Schmidt operator with norm
such \(\xi ^{(i)}\) is called a \(Q^{(i)}\)-Hilbert–Schmidt operator, and the spaces \(L_{i}^{0}(K_{i},X)\) equipped with the inner product \(\langle \phi,\psi \rangle _{L_{i}^{0}}=\sum_{n=1}^{\infty }\langle \phi e_{n}^{(i)},\psi e_{n}^{(i)}\rangle \) are separable Hilbert spaces. Then there exist the real, independent standard Brownian motions sequences \(\{w_{n}^{t}\}_{n\in N^{+}}\) such that
The infinite dimensional cylindrical \(K_{B}\)-valued \(B^{H}(t)\) is defined by
where \(\{\beta _{n}^{H}(t)\}_{n\in N^{+}}\) are real, independent fractional Brownian motions, we know \(B^{H}(t)\) is a centered Gaussian process with covariance function
Furthermore, \(B^{H}(t)\) has the following Wiener integral:
where \(\{B(t),t\in [0,+\infty )\}\) is a standard Brownian motion, and \(K_{H}(t,s)\) is the kernel,
where \(c_{H}=\sqrt{\frac{H(2H-1)}{\mathcal{B}(2-2H,H-\frac{1}{2})}}\), \(\mathcal{B}(\cdot,\cdot )\) denotes the beta function.
The next lemmas are of prime importance to prove the existence and uniqueness of the mild solution of system (1). Lemma 2.1 and Lemma 2.3 give us a connection between stochastic integral and Riemann integral, and Lemma 2.2 is a bridge of pth moment and mean-square moment of centered Gaussian random variable.
Lemma 2.1
([34])
For any \(p>0\) and \(L_{W}^{0}\)-valued process \(\varphi (\cdot )\), there exists
Lemma 2.2
([35])
For arbitrary \(T>0\), \(\int _{0}^{T}\psi (s) \,{d}B^{H}(s)\) is a centered Gaussian random variable, for every \(p>0\), there exists a constant \(k(p)\) such that
Lemma 2.3
([36])
For any \(\psi:[0,+\infty )\rightarrow L_{B} ^{0}(Y,X)\) such that \(\sum_{n=1}^{\infty }\|\psi Q^{\frac{1}{2}}e_{n} \|_{L^{1/H}([0,+\infty );X)}<\infty \) holds and for any \(a,b\geq 0\),
moreover, if \(\sum_{n=1}^{\infty }\|\psi (t)Q^{\frac{1}{2}}e_{n}\| _{X}\) is uniformly convergent for \(t\in [0,+\infty )\), then
We end this section by the introduction of some basic concepts about analytic semigroups and fractional powers of operators, for a comprehensive understanding of analytic semigroup theory we refer to [37]. If the dynamical system’s present state is given by a point x in a Banach space X and the future state at time t is \(T(t)x\), then the operators \(\{T(t),t\geq 0\}\) in X defines a semigroup of linear operators, the term semigroup arises from the property \(T(t+s)x=T(t)T(s)x\), which means that the state at time \(t+s\) starting at x agrees with the state at time t starting at \(T(s)x\) (note that \(T(0)=I\)). Let \(A: D(A)\rightarrow X\) be the infinitesimal generator of an analytic semigroup of bounded linear operators \((T(t))_{t\geq 0}\) on X. We assume that \((T(t))_{t\geq 0}\) is a uniformly bounded and analytic semigroup such that \(0\in \rho (A)\), where \(\rho (A)\) is the resolvent set of A. Now we can define the fractional power \((-A)^{\alpha }\) for \(0<\alpha \leq 1\) as a closed linear operator on its domain \(D(-A)^{\alpha }\), which is dense in X and the equality \(\|\rho \|_{\alpha }=\|(-A)^{\alpha }\rho \|\) defines a norm in \(D(-A)^{\alpha }\). Also \(X_{\alpha }\) represents the space \(D(-A)^{\alpha }\) endowed with the norm \(\|\cdot \|_{\alpha }\).
Lemma 2.4
([37])
Suppose that the above conditions are satisfied.
-
(1)
If \(0<\alpha \leq 1\), then \(X_{\alpha }\) is a Banach space.
-
(2)
If \(0<\beta \leq \alpha \), then the injection \(X_{\alpha }\hookrightarrow X_{\beta }\) is continuous.
-
(3)
There exist \(M_{\alpha }>0\), \(\lambda >0\) such that
$$ \bigl\Vert (-A)^{\alpha }T(t) \bigr\Vert \leq \frac{M_{\alpha }}{t^{\alpha }}e^{-\lambda t},\quad t>0, $$for every \(0<\alpha \leq 1\).
Definition 2.1
([37])
A semigroup \(T(t),t\geq 0\) of bounded linear operators on X is strongly continuous if
for every \(x\in X\).
3 Existence and uniqueness of mild solution
In this section, we obtain some new sufficient conditions to ensure the existence and uniqueness of mild solutions of system (1) by means of the Banach fixed point theorem, before proceeding, let us give the definition of a mild solution.
Definition 3.1
A X-valued stochastic process \(x(t),t\in [-r,a]\) is called a mild solution of the Cauchy problem (1) if
-
(i)
\(x(t)=\phi (t)\), for \(t\in [-r,0]\).
-
(ii)
\(x(\cdot )\in \mathcal{PC}([-r,a],L^{p}(\varOmega,X))\) (the space of all functions that continuous everywhere except a finite number of points from \([-r,a]\) to \(L^{p}(\varOmega,X)\), provided with the supremum norm \(\|\xi \|^{p}=\sup_{s\in [-r,a]}(E\|\xi (s)\|^{p}),1< p<+\infty \).
-
(iii)
For \(t\in [0,+\infty )\), \(x(t)\) satisfies the following integral equation:
$$\begin{aligned} x(t)= {}&T(t)\bigl[\phi (0)-p(0,\phi ) \bigr]+p(t,x_{t})+ \int _{0}^{t}AT(t-s)p(s,x _{s}) \,{d}s \\ &{}+ \int _{0}^{t}T(t-s)f(s,x_{s})\,{d}s \\ &{}+ \int _{0} ^{t}T(t-s) \biggl( \int _{0}^{s}h(s,\eta,x_{\eta })\,{d} \eta \biggr)\,{d}s+ \int _{0}^{t}T(t-s)g(s,x_{s}) \,{d}W(s) \\ &{}+ \int _{0}^{t}T(t-s) \sigma (s) \,{d}B^{H}(s)+\sum_{0< t_{k}< t}T(t-t_{k})I_{k} \bigl(x\bigl(t_{k} ^{-}\bigr)\bigr) \quad\mathbb{P}\text{-a.s.} \end{aligned}$$(2)
To ensure the existence and the uniqueness of the above mild solution, we assume that the following hypotheses hold.
(H1) A is the infinitesimal generator of an analytic semigroup \((T(t))_{t\geq 0}\) of bounded linear operators on X and satisfies \(0\in \sigma (A)\), together with Lemma 2.4, there exist constants \(M,M_{1-\alpha }\) such that
(H2) For \(\phi, \psi \in \mathcal{PC}\) and \(t\in [0,a]\), there exist constants \(\frac{1}{2}<\alpha <1\) and \(L_{1}>0\) such that the mapping \(p:[0,+\infty )\times \mathcal{PC}\rightarrow X\) satisfies the condition
also, \((-A)^{\alpha }p\) is a continuous function in pth moment sense
(H3) For any \(\phi, \psi \in \mathcal{PC}\) and \(t\in [0,a]\), the mappings \(f,h,g,I_{k}\) satisfy the following Lipschitz conditions, namely, there exist some constants \(L_{2},L_{3},L_{4},q_{k}(\sum_{k=1} ^{\infty }q_{k}<\infty ) \) such that
for simplicity, we may take \(f(t,0)=h(t,s,0)=g(t,0)=I_{k}(0)=0\).
By employing the above hypotheses, we can establish the existence and uniqueness results for system (1).
Theorem 3.1
If Hypotheses (H1), (H2), (H3) hold and
where \(k=\|(-A)^{-\alpha }\|L_{1}\), \(1< p<\infty \), then system (1) has a unique mild solution.
Proof
Fix \(a>0\), we first introduce the set \(\varLambda _{a}=\{ \mathcal{PC}([-r,a],L^{p}(\varOmega,X))\}\), \(1< p<+\infty \), then define an operator π as follows:
and \((\pi x)(t)=\phi (t)\), \(t\in [-r,0]\). Now our problem changes into a Banach fixed point problem, we will show the operator π has a fixed point on interval \([-r,a]\). We divide our proof into two steps.
Step 1: It is obvious that the operator π is continuous on \([-r,0]\), now we will show it is continuous in pth moment on \([0,a]\). Let \(x\in {\varLambda }_{a}\), \(0< t< a\), and let \(r>0\) be sufficiently small, then using the \(C_{p}\) inequality: \(E\|\sum_{i=1} ^{n}x_{i}(t)\|^{p}\leq n^{p-1}\sum_{i=1}^{n}E\|x_{i}(t)\|^{p}\), where \(p>1\) and \(n>1\). we have
By virtue of the semigroup property and strong continuity of \(T(t)\), we have
by using Hypothesis (H1), we arrive at
hence in terms of Lebesgue dominated convergence theory, we obtain
Since the operator \((-A)^{-\alpha }\) is bounded and by Hypothesis (H2) we get
As for the third term, by using the \(C_{p}\) inequality, we have
It follows from Hypotheses (H1) and (H2) that
Thus, by Lebesgue dominated convergence theorem, we obtain
By Hypotheses (H1) and (H3), and using the same argument as in the proof of the third term, we can easily calculate that
and
Further, by using Lemma 2.1 and the \(C_{p}\) inequality we have
where \(C(p)=(p(p-1)/2)^{p/2}\).
By Hypotheses (H1) and (H3), the right hand side of the above inequality becomes
and
Applying Lebesgue dominated convergence theorem, we conclude that
Now we consider the seventh term, by using the \(C_{p}\) inequality, we have
By virtue of Lemma 2.2 and Lemma 2.3, respectively, together with Hypothesis (H1) we arrive at
this is because \(T(r)\sigma (s)\rightarrow \sigma (s)\) as \(r\rightarrow 0\) and \(\|T(r)\sigma (s)\|_{L_{B}^{0}}\leq M\|\sigma (s)\|_{L_{B}^{0}}\) for any \(s>0\).
Similarly, we have
Hence
As for the last term, by the \(C_{p}\) inequality, we have
By Hypothesis (H3) we get
Thus from the Lebesgue dominated convergence theorem, we have
The combination of all the estimations of \(E\|G_{i}(t+r)-G_{i}(t)\| ^{p},i=1,2,\ldots,8\), yields
Hence, we conclude that the mapping π is continuous in pth moment on \([-r,a]\).
Step 2: We show the mapping π is a contraction.
By using the \(C_{p}\) inequality and the elementary inequality \(|u+v|^{p}\leq \frac{|u|^{p}}{k^{p-1}}+\frac{|v|^{p}}{(1-k)^{p-1}}\) for \(u,v\in X\) and \(k\in (0,1)\), we get
From Hypothesis (H2), we obtain
By Hypotheses (H1) and (H2) and the Hölder inequality, we get
where \(1< p<\infty \), \(\frac{1}{p}+\frac{1}{q}=1\).
Using Hypotheses (H1) and (H3), we have
Similarly, by Hypotheses (H1), (H3) we have
As for the fifth term, by Lemma 2.1 and Hypothesis (H3) we can arrive at
where \(C(p)=(p(p-1)/2)^{p/2}\).
From Hypothesis (H1), (H3) and the Hölder inequality, we get
Substituting (6)–(11) into (5) yields
where
Thus, it follows from inequality(3) that
Then there exists \(0< a_{1}\leq a\) such that \(0<\rho (a_{1})<1\), so the operator π is a contraction on \({\varLambda }_{a_{1}}\) and thus it has a unique fixed point on \([-r,a_{1}]\), which is a mild solution of system (1). Obviously, this process can be repeated for the entire interval \([-r,a]\) in finitely many steps, this completes the proof. □
4 Exponential stability in the pth moment
In this section, we establish some sufficient conditions to ensure the exponential stability in pth moment of a mild solution for system (1). Before proceeding, let us introduce the following additional hypotheses and Definition 4.1.
(H4) We suppose that the semigroup \(T(t)\) is exponentially stable, i.e., there exist \(\lambda >0\) and \(M>0\) such that \(\|T(t)\|\leq Me^{- \lambda t}\), \(\forall t\geq 0\).
(H5) The mapping \(\sigma:[0,+\infty )\mapsto L_{B}^{0}(Y,X)\) satisfies
Definition 4.1
([14])
Let p be an integer \(p\geq 2\). The mild solution of system (1) is said to be exponentially stable in the pth moment if, for any initial value ϕ, there exist a pair of constants \(\alpha >0\) and \(C>0\) such that
In particular, if \(p=2\), then system (1) is said to be mean-square exponentially stable.
The next lemma is essential to the proof of exponential stability in pth moment of mild solution of system (1), for a brief proof we refer to [38].
Lemma 4.1
([38])
For any \(\mu >0\), suppose that there exist some positive constants \(\alpha _{i}\ (i=1,2,3), \beta _{k}\ (k-1,2,\ldots,m)\) and a function \(\phi:[-r,\infty )\mapsto [0,\infty )\) such that
If \(\alpha _{2}+\frac{\alpha _{3}}{\mu }+\sum_{k=1}^{m}\beta _{k}<1\), then there exist constants \(N>0\) and \(\mu >0\) such that \(\phi (t)\leq Ne ^{-\mu t}\) for \(t\geq -r\).
Now we state our results to the exponential stability of mild solution of system (1).
Theorem 4.1
Assume that Hypotheses (H1)–(H5) hold. Then the mild solution of system (1) is exponentially stable in the pth moment if
holds, where \(C(p)=(p(p-1)/2)^{p/2}\), \(k=\|(-A)^{-\alpha }\|L_{1}\).
Proof
From inequality (12), we can find a number \(\epsilon >0\) small enough and suppose that \(\mu =\lambda - \epsilon \) satisfies the following inequality:
From Eq. (2), by the \(C_{p}\) inequality and the inequality \(|u+v|^{p}\leq \frac{|u|^{p}}{k^{p-1}}+ \frac{|v|^{p}}{(1-k)^{p-1}}\), we get
It follows from Hypothesis (H2) that
By Hypotheses (H2) and (H4) we get
Combining Hypotheses (H2) and Lemma 2.4 with the Hölder inequality, noting that \((\int _{0}^{t}e^{-\lambda (t-s)} \,{d}s)^{\frac{p}{q}}\leq (\frac{1}{\lambda })^{p-1}\), we obtain
Similarly, from Hypotheses (H3) and (H4) and the Hölder inequality we have
By virtue of Lemma 2.1, Hypotheses (H3) and (H4) and the Hölder inequality, we get
As for the seventh term, using Lemma 2.2 and Lemma 2.3 successively, together with Hypothesis (H4) and the Hölder inequality, we obtain
and thanks to Hypothesis (H5) there exists a positive constant \(C_{2}>0\), for all \(t\geq 0\) such that
so we have
From Hypotheses (H3) and (H4) and the Hölder inequality, we obtain
Thus, by inequalities (15)–(22) we have
According to Lemma 4.1 and inequality (13), it follows that there exist constants \(N>0\) and \(\mu >0\) such that \(E\|x(t)\|^{p}\leq Ne^{-\mu t}\) for all \(t\geq -r\). Then the proof is completed. □
Corollary 4.1
Suppose that Hypotheses (H1)–(H5) hold with \(p=2\). Then the mild solution of system (1) is exponentially stable in mean square provided that
where \(k=\|(-A)^{-\alpha }\|L_{1}\).
Remark 4.1
In [26], Ren et al. considered the existence and uniqueness of the mild solution for a similar system, but they did not investigate the exponential stability.
Remark 4.2
When \(\int _{0}^{t}h(t,x,x_{s})\,{d}s=0\) and the impulsive items \(\Delta x(t_{k})=I_{k}(\cdot )=0,k=1,2,\ldots\) then the system (1) reduces to a NSFPDE driven by mixed fractional Brownian motion, which is studied by Zhang and Ruan [14]. By utilizing the same technique as in our paper, we can easily address the sufficient conditions to ensure the existence, uniqueness and exponential stability in pth moment of mild solution. In this sense, our work generalized the results in [14].
Remark 4.3
When \(p=2\) and the Brownian motion \(W(t)\) is absent, then the system (1) reduces to a NSFPDE driven by fractional Brownian motion with impulsive effects, in which the mean-square exponential stability of mild solution has been studied by Ma et al. [23]. Obviously, the given result in [23] can be seen as a special case of the result of this paper. In this sense, the exponential stability result in this paper is a generalization of the result in [23].
Remark 4.4
In [9], the authors considered the existence and uniqueness of delayed impulsive stochastic Volterra integro-differential equation driven by fBm in a Hilbert space, the impulses in [9] are linear and delayed impulses, which not only depend on the current states but also on historical states. But they did not consider the neutral term and the standard Brownian motion.
Remark 4.5
In [24], the authors studied the stability of delayed impulsive stochastic differential equations driven by a fBm with time-varying delay, the impulses are delayed impulses, we would like to mention that our method used in Theorem 4.1 is also valid in the case of delayed impulses, but the process is very tedious, here we omit the details.
Remark 4.6
The results obtained in this manuscript can be generalized to a class of impulsive stochastic neutral systems, for instance, we could add a distributed delay term to the left hand side of system (1), namely, system (1) extends to the following form
Here the function \(q:[0,+\infty )\times \mathcal{PC}\rightarrow X\) is integrable. By using the same method as in this manuscript, we could study the existence, uniqueness and exponential stability of a mild solution of system (23).
5 Example
In the present section, we give an example as an application of the obtained results. Let \(X=Y=L^{2}[0,\pi ]\) and \(A=\frac{\partial _{2}}{ \partial \tau ^{2}}\) with domain \(D(A)=H_{0}^{1}(0,\pi )\cap H^{2}(0, \pi )\). Then there exists a complete orthonormal set \({e_{n}}(n\in N)\) of eigenvectors of A with \(e_{n}(x)=\sqrt{2/\pi }\sin nx (n\in N)\), and
is the infinitesimal generator of the semigroup \(T(t)(t\geq 0)\) in X, \(T(t)\) is
We know that \(\|T(t)\|\leq e^{-\pi ^{2}t},t\geq 0\), the bounded linear operator \((-A)^{\frac{3}{4}}\) is defined by
with domain
Now we consider the following impulsive neutral stochastic integro-differential equation with delays:
where \(\zeta \in (-\infty,t]\) and \(\sigma:[0,+\infty )\rightarrow L _{B}^{0}(Y,X)\) is a continuous function satisfying Hypothesis (H5).
Let
where \(\tilde{\beta }_{i}>0\ (i=1,2,3,4)\) are all constants.
It is apparent that all the hypotheses are satisfied with
From the definition of a bounded linear operator \((-A)^{-\frac{3}{4}}\) (see [37]), we obtain
and \(\|(-A)^{\frac{3}{4}}\|=1\).
Consequently, by Theorem 3.1, we can deduce that if
then system (24) has a unique mild solution (here \(p=2\) and \(k=\|(-A)^{-\frac{3}{4}}\|\tilde{\beta }_{1}\)). Moreover, by virtue of Corollary 4.1, the mild solution of system (24) is exponentially stable in mean-square moment if the following inequality holds:
6 Conclusion
In this paper, we have studied the existence, uniqueness and exponential stability in the pth moment of mild solution of impulsive neutral stochastic integro-differential equations driven by fractional Brownian motion and standard Brownian motion. Firstly, we have got sufficient conditions ensuring the existence and uniqueness of a mild solution of system (1) by using the Banach fixed point theorem. Secondly, based on the impulsive integral inequality, we have investigated the exponential stability in the pth moment of mild solution of system (1), the results obtained in this paper can be generalized to a class of impulsive stochastic neutral systems, for instance, our results generalized and improved the results due to Zhou et al. [9, 24], Zhang and Ruan [14], Ma et al. [23] and Ren et al. [26].
In our future work, we mainly consider the following three problems. Firstly, we will consider dynamical systems that depend not only on past and present states, but also on derivative with delays and distributed delays, just like the case of Remark 4.6. Secondly, we will study another kind of stability of system (1), such as stochastic asymptotic stability, almost sure stability and probabilistic stability. Thirdly, inspired on our stability results of integer order impulsive NSFDEs in this paper, we will study the stability of impulsive NSFDEs in which the derivative is a fractional derivative.
References
Wan, L., Duan, J.: Exponential stability of non-autonomous stochastic partial differential equations with finite memory. Stat. Probab. Lett. 78, 490–498 (2008)
Chen, H.: Asymptotic behavior of stochastic two-dimensional Navier–Stokes equations with delays. Proc. Indian Acad. Sci. Math. Sci. 122, 283–295 (2012)
Jiang, J., Shen, Y.: A note on the existence and uniqueness of mild solutions to neutral stochastic partial functional differential equations with non-Lipschitz coefficients. Comput. Math. Appl. 61, 1590–1594 (2011)
Boufoussi, B., Hajji, S.: Functional differential equations driven by a fractional Brownian motion. Comput. Math. Appl. 62, 746–754 (2011)
Ren, Y., Cheng, X., Sakthivel, R.: On time-dependent stochastic evolution equations driven by fractional Brownian motion in a Hilbert space with finite delay. Math. Methods Appl. Sci. 37, 2177–2184 (2014)
Luo, Q., Mao, X., Shen, Y.: New criteria on exponential stability of neutral stochastic differential delay equations. Syst. Control Lett. 55, 826–834 (2006)
Duc, L.H., María, J.G., Neuenkirch, A.: Exponential stability of stochastic evolution equations driven by small fractional Brownian motion with Hurst parameter in (1/2, 1). J. Differ. Equ. (2017)
Ren, J., Zhu, H., Zhong, S., Zhou, X.: Robust stability of uncertain Markovian jump neural networks with mode-dependent time-varying delays and nonlinear perturbations. Adv. Differ. Equ. 2016, 327 (2016)
Zhou, X., Liu, X., Zhong, S.: Stochastic Volterra integro-differential equations driven by a fractional Brownian motion with delayed impulses. Filomat 31, 5965–5978 (2017)
Park, J.H., Shen, H., Chang, X.H., Lee, T.H.: Recent Advances in Control and Filtering of Dynamic Systems with Constrained Signals. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-96202-3
Hale, J.K., Meyer, K.R.: A class of functional equations of neutral type. Mem. Am. Math. Soc. 76, 1–65 (1967)
Chen, H.: Integral inequality and exponential stability for neutral stochastic partial differential equations with delays. J. Inequal. Appl. 2009, 297478 (2009)
Boufoussi, B., Hajji, S.: Neutral stochastic functional differential equations driven by a fractional Brownian motion in a Hilbert space. Stat. Probab. Lett. 82, 1549–1558 (2012)
Zhang, X., Ruan, D.: Exponential stability for neutral stochastic functional partial differential equations driven by Brownian motion and fractional Brownian motion. J. Inequal. Appl. 2018(1), 201 (2018)
Lakshmikantham, V., Bainov, D.D., Simeonov, P.S.: Theory of Impulsive Differential Equations. World Scientific, Singapore (1989)
Samoilenko, A.M., Perestyuk, N.A.: Impulsive Differential Equations. World Scientific, Singapore (1995)
Hamdy, M.A.: Approximate controllability of impulsive neutral stochastic differential equations with fractional Brownian motion in a Hilbert space. Adv. Differ. Equ. 2014, 113 (2014)
Arthi, G., Park, J.H.: On controllability of second-order impulsive neutral integrodifferential systems with infinite delay. IMA J. Math. Control Inf. 32, 639–657 (2015)
Li, Z.: Global attractiveness and quasi-invariant sets of impulsive neutral stochastic functional differential equations driven by fBm. Neurocomputing 177, 620–627 (2015)
Boudaoui, A., Caraballo, T., Ouahab, A.: Existence of mild solutions to stochastic delay evolution equations with a fractional Brownian motion and impulses. Stoch. Anal. Appl. 33, 244–258 (2015)
Li, D., Chen, G.: Exponential stability of a class of impulsive stochastic delay partial differential equations driven by a fractional Brownian motion. Int. J. Control. Autom. Syst. 15, 1561–1568 (2017)
Deng, S., Shu, X.B., Mao, J.: 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, 398–420 (2018)
Ma, Y.K., Arthi, G., Anthoni, S.M.: Exponential stability behavior of neutral stochastic integrodifferential equations with fractional Brownian motion and impulsive effects. Adv. Differ. Equ. 2018, 110 (2018)
Zhou, X., Liu, X., Zhong, S.: Stability of delayed impulsive stochastic differential equations driven by a fractional Brown motion with time-varying delay. Adv. Differ. Equ. 2016, 328 (2016)
Arthi, G., Park, J.H., Jung, H.Y.: Existence and exponential stability for neutral stochastic integrodifferential equations with impulses driven by a fractional Brownian motion. Commun. Nonlinear Sci. Numer. Simul. 32, 145–157 (2016)
Ren, Y., Cheng, X., Sakthivel, R.: Impulsive neutral stochastic functional integro-differential equations with infinite delay driven by fBm. Appl. Math. Comput. 247, 205–212 (2014)
Kolmogorov, A.N.: The Wiener spiral and some other interesting curves in Hilbert space. Dokl. Akad. Nauk SSSR 26, 115–118 (1940)
Peters, E.E.: Fractal Market Analysis. Wiley, New York (1994)
Cheridito, P.: Mixed fractional Brownian motion. Bernoulli 7, 913–934 (2001)
Buckdahn, K., Jing, S.: Peng’s maximum principle for a stochastic control problem driven by a fractional and a standard Brownian motion. Sci. China Math. 57, 2025–2042 (2014)
Guerra, J., Nualart, D.: Stochastic differential equations driven by fractional Brownian motion and standard Brownian motion. Stoch. Anal. Appl. 26, 1053–1075 (2008)
Mishura, Y.S., Posashkova, S.V.: Stochastic differential equations driven by a Wiener process and fractional Brownian motion: convergence in Besov space with respect to a parameter. Comput. Math. Appl. 62, 1166–1180 (2011)
Shevchenko, G., Shalaiko, T.: Malliavin regularity of solutions to mixed stochastic differential equations. Stat. Probab. Lett. 83, 2638–2646 (2013)
Da Prato, G., Zabczyk, J.: Stochastic Equations in Infinite Dimensions. Cambridge University Press, Cambridge (1992)
Mémin, J., Mishura, Y., Valkeila, E.: Inequalities for the moments of Wiener integrals with respect to a fractional Brownian motion. Stat. Probab. Lett. 51, 197–206 (2001)
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. 74, 3671–3684 (2011)
Pazy, A.: Semigroups of Linear Operators and Applications to Partial Differential Equations. Applied Mathematical Sciences, vol. 44 (1983) Springer, New York
Yang, H., Jiang, F.: Exponential stability of mild solutions to impulsive stochastic neutral partial differential equations with memory. Adv. Differ. Equ. 2013, 148 (2013)
Acknowledgements
Not applicable.
Availability of data and materials
Not applicable.
Funding
This work is supported by Guangxi Natural Science Foundation Project (No. 2017GXNSFBA198179), Basic Ability Promotion Project for Young and Middle-aged Teachers in Universities of Guangxi (No. 2018KY0214) and Guangxi Science and Technology Base and Specialized Talents (No. Guike AD18281026).
Author information
Authors and Affiliations
Contributions
All authors contributed to each part of this work equally and read 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 distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Zhou, X., Zhou, D. & Zhong, S. Existence and exponential stability in the pth moment for impulsive neutral stochastic integro-differential equations driven by mixed fractional Brownian motion. J Inequal Appl 2019, 262 (2019). https://doi.org/10.1186/s13660-019-2213-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-019-2213-5