 Research
 Open Access
 Published:
Exponential stability of mild solutions to impulsive stochastic neutral partial differential equations with memory
Advances in Difference Equations volume 2013, Article number: 148 (2013)
Abstract
In this paper, we study the exponential stability in the p th moment of mild solutions to impulsive stochastic neutral partial differential equations with memory. Sufficient conditions ensuring the stability of the impulsive stochastic system are obtained by establishing a new integral inequality. The results obtained here generalize and improve some wellknown results.
1 Introduction
At present, the study of stochastic partial different equations in a separable Hilbert space has become an important area of investigation in the past two decades because of their applications to various problems arising in physics, biology, engineering etc. [1, 2]. The existence, uniqueness and stability of solutions of stochastic partial differential equations have been considered by many authors [2–12]. The stability of strong solutions of stochastic differential equations also have been discussed extensively [13–15]. However, there are a number of difficulties encountered in the study of stability by the Lyapunov second method. By the Banach fixed point theory, [16] studied a linear scalar neutral stochastic differential equation with variable delays and gave conditions to ensure that the zero solution is asymptotically mean square stable. Further [17] considered the stability of stochastic partial differential equations with delays by using the Banach fixed point theory.
On the other hand, the impulsive effects exist in many evolution processes, in which states are changed abruptly at certain moments of time, involved in such fields as medicine and biology, economics, mechanics, electronics [18, 19]. In recent years, the investigation of impulsive stochastic differential equations attracts great attention, especially as regards stability. For example, [20] discussed the stability of impulsive stochastic systems. [21, 22] discussed the exponential stability in mean square of impulsive stochastic difference equations by establishing difference inequalities. Jiang and Shen [23] discussed the asymptotic stability of impulsive stochastic neutral partial differential equations with infinite delays.
As known, although the Lyapunov second method is a powerful technique in proving the stability theorems, it is not so suitable in the nondelay case. A difficulty is that mild solutions do not have stochastic differentials, so that one cannot apply the Itô formula to them. Meanwhile, the difficulty of the method of the fixed point theory comes from finding an appropriate fixed point theorem. Therefore, the techniques and the methods for the stability of mild solutions should be developed and explored. In this present work, motivated by [21–23], we study the exponential stability of impulsive stochastic neutral partial differential equations with memory by establishing a new integral inequality. The results obtained here generalize the main results from [3, 6, 17] to cover a class of more general impulsive stochastic neutral systems.
The rest of this paper is organized as follows. In Section 2, we introduce some preliminaries. In Section 3 sufficient conditions ensuring the stability of the impulsive stochastic system are obtained by establishing a new integral inequality.
2 Preliminaries
Throughout this paper, let $(\mathrm{\Omega},\mathcal{F},{\{{\mathcal{F}}_{t}\}}_{t\ge 0},P)$ be a complete probability space with a normal filtration ${\{{\mathcal{F}}_{t}\}}_{t\ge 0}$ satisfying the usual conditions (i.e., it is increasing and rightcontinuous while ${\mathcal{F}}_{0}$ contains all Pnull sets). Moreover, let X, Y be two real separable Hilbert spaces and let $L(Y,X)$ denote the space of all bounded linear operators from Y into X.
For simplicity, we use the notation $\cdot $ to denote the norm in X, Y and $\parallel \cdot \parallel $ to denote the operator norm in $L(X,X)$ and $L(Y,X)$. Let ${\u3008\cdot \u3009}_{X}$, ${\u3008\cdot \u3009}_{Y}$ denote the inner products of X, Y, respectively. Let $\{w(t):t\ge 0\}$ denote a Yvalued Wiener process defined on the probability space $(\mathrm{\Omega},\mathcal{F},{\{{\mathcal{F}}_{t}\}}_{t\ge 0},P)$ with a covariance operator Q, that is, $E{\u3008w(t),x\u3009}_{Y}E{\u3008w(s),y\u3009}_{X}=(t\wedge s){\u3008Qx,y\u3009}_{Y}$, for all $x,y\in Y$, where Q is a positive, selfadjoint, trace class operator on Y. In particular, we denote by $w(t)$ a Yvalued QWiener process with respect to ${\{{\mathcal{F}}_{t}\}}_{t\ge 0}$. We assume that there exists a complete orthonormal system $\{{e}_{i}\}$ in Y, a bounded sequence of nonnegative real numbers ${\lambda}_{i}$ such that $Q{e}_{i}={\lambda}_{i}{e}_{i}$, $i=1,2,\dots $ , and a sequence ${\{{\beta}_{i}\}}_{i\ge 1}$ of independent Brownian motions such that $\u3008w(t),e\u3009={\sum}_{i=1}^{\mathrm{\infty}}\sqrt{{\lambda}_{i}}\u3008{e}_{i},e\u3009{\beta}_{i}(t)$, $e\in Y$, and ${\mathcal{F}}_{t}={\mathcal{F}}_{t}^{w}$, where ${\mathcal{F}}_{t}^{w}$ is the σalgebra generated by $\{w(s):0\le s\le t\}$. Let ${L}_{2}^{0}={L}_{2}({Q}^{1/2}Y;X)$ be the space of all HilbertSchmidt operators from ${Q}^{1/2}Y$ to X with the inner product ${\u3008u,\xi \u3009}_{{L}_{2}^{0}}=tr[uQ\xi ]$; see, for example, [2].
Suppose that $\{S(t),t\ge 0\}$ is an analytic semigroup with its infinitesimal generator A; for literature relating to semigroup theory, we suggest Pazy [24]. We suppose $0\in \rho (A)$, the resolvent set of −A. For any $\alpha \in [0,1]$, it is possible to define the fractional power ${(A)}^{\alpha}$ which is a closed linear operator with its domain $\mathcal{D}({(A)}^{\alpha})$.
In this paper, we consider the following impulsive stochastic neutral partial differential equations with memory:
in a real separable Hilbert space X, where $u:{R}_{+}\times C([\tau ,0],X)\to X$, $f:{R}_{+}\times C([\tau ,0],X)\to X$, $g:{R}_{+}\times C([\tau ,0],X)\to L(Y,X)$ are all Borel measurable; $\rho :{R}_{+}\to [0,\tau ]$, $\tau :{R}_{+}\to [0,\tau ]$, $\delta :{R}_{+}\to [0,\tau ]$ are continuous; A is the infinitesimal generator of a semigroup of bounded linear operators $S(t)$, $t\ge 0$, in X; ${I}_{k}:X\to X$. Furthermore, the fixed moments of time ${t}_{k}$ satisfy $0<{t}_{1}<\cdots <{t}_{m}<{lim}_{k\to \mathrm{\infty}}{t}_{k}=\mathrm{\infty}$, $x({t}_{k}^{+})$ and $x({t}_{k}^{})$ represent the right and left limits of $x(t)$ at $t={t}_{k}$, respectively. Also, $\mathrm{\u25b3}x({t}_{k})=x({t}_{k}^{+})x({t}_{k}^{})$, represents the jump in the state x at time ${t}_{k}$ with ${I}_{k}$ determining the size of the jump. Let $\tau >0$ and $C=C([\tau ,0];X)$ denote the family of all right continuous functions with lefthand limits η from $[\tau ,0]$ to X. The space C is assumed to be equipped with the norm ${\parallel \eta \parallel}_{C}={sup}_{\theta \in [\tau ,0]}\eta (\theta )$. Here ${C}_{{\mathcal{F}}_{0}}^{b}([\tau ,0],X)$ is the family of all almost surely bounded, ${\mathcal{F}}_{0}$measurable, continuous random variables from $[\tau ,0]$ to X.
Definition 2.1 A process $\{x(t),t\in [0,T]\}$, $0\le T<\mathrm{\infty}$, is called a mild solution of Eq. (1) if

(i)
$x(t)$ is adapted to ${\mathcal{F}}_{t}$, $t\ge 0$ with ${\int}_{0}^{T}{x(t)}^{p}\phantom{\rule{0.2em}{0ex}}dt<\mathrm{\infty}$ a.s.;

(ii)
$x(t)\in X$ has càdlàg paths on $t\in [0,T]$ a.s. and for each $t\in [0,T]$, $x(t)$ satisfies the integral equation
$$\begin{array}{rcl}x(t)& =& S(t)[\phi (0)u(0,x(\rho (0)))]+u(t,x(t\rho (t)))\\ +{\int}_{0}^{t}AS(ts)u(s,x(s\rho (s)))\phantom{\rule{0.2em}{0ex}}ds\\ +{\int}_{0}^{t}S(ts)f(s,x(s\tau (s)))\phantom{\rule{0.2em}{0ex}}ds+{\int}_{0}^{t}S(ts)g(s,x(s\delta (s)))\phantom{\rule{0.2em}{0ex}}dw(s)\\ +\sum _{0<{t}_{k}<t}S(t{t}_{k}){I}_{k}\left(x\left({t}_{k}^{}\right)\right)\end{array}$$(2)
and ${x}_{0}(\cdot )=\phi \in {C}_{{\mathcal{F}}_{0}}^{b}([\tau ,0],X)$.
Definition 2.2 Let $p\ge 2$ be an integer. Equation (1) is said to be exponentially stable in the p th mean if for any initial value φ, there exists a pair of positive constants λ and ${K}_{0}$ such that
In particular, if $p=2$, then Eq. (1) is said to be meansquare exponentially stable.
To establish the exponential stability of the mild solution of Eq. (1), we employ the following assumptions.
(H1) A is the infinitesimal generator of a semigroup of bounded linear operators $S(t)$, $t\ge 0$, in X satisfying $S(t)\le M{e}^{at}$, $t\ge 0$, for some constants $M\ge 1$ and $0<a\in {R}_{+}$.
(H2) The mappings f and g satisfy the following Lipschitz condition: there exists a constant K for any $x,y\in X$ and $t\ge 0$ such that
(H3) The mapping $u(t,x)$ satisfies that there exists a number $\alpha \in [0,1]$ and a positive constant $\overline{K}$ such that for any $x,y\in X$ and $t\ge 0$, $u(t,x)\in \mathcal{D}({(A)}^{\alpha})$ and
(H4) There exists a constant ${q}_{k}$ such that ${I}_{k}(x){I}_{k}(y)\le {q}_{k}xy$, $k=1,\dots ,m$, for each $x,y\in X$.
Moreover, for the purposes of stability, we always assume that $u(t,0)=0$, $f(t,0)=0$, $g(t,0)=0$, ${I}_{k}(0)=0$ ($k=1,2,\dots ,m$). Hence Eq. (1) has a trivial solution when $\phi =0$.
Lemma 2.1 [24]
If (H1) holds, then for any $\beta \in (0,1]$:

(i)
For each $x\in \mathcal{D}({(A)}^{\beta})$, $S(t){(A)}^{\beta}x={(A)}^{\beta}S(t)x$;

(ii)
There exist positive constants ${M}_{\beta}>0$ and $a\in {R}_{+}$ such that $\parallel {(A)}^{\beta}S(t)\parallel \le {M}_{\beta}{t}^{\beta}{e}^{at}$, $t>0$.
3 Stability of mild solutions
In this section, to establish sufficient conditions ensuring the exponential stability in pmoment ($p\ge 2$) for a mild solution to Eq. (1), we firstly establish a new integral inequality to overcome the difficulty when the neutral term and impulsive effects are present.
Lemma 3.1 For any $\gamma >0$, assume that there exist some positive constants ${\alpha}_{i}$ ($i=1,2,3$), ${\beta}_{k}$ ($k=1,2,\dots ,m$) and a function $\psi :[\tau ,\mathrm{\infty})\to [0,\mathrm{\infty})$ such that
and
for each $t\ge 0$. If
then
where $\lambda >0$ is the unique solution to the equation: ${\alpha}_{2}{e}^{\lambda \tau}+{\alpha}_{3}{e}^{\lambda \tau}/(\gamma \lambda )+{\sum}_{k=1}^{m}{\beta}_{k}=1$ and ${M}_{0}=max\{{\alpha}_{1},\frac{{\alpha}_{1}(\gamma \lambda )}{{\alpha}_{3}{e}^{\lambda \tau}}\}>0$.
Proof Let $\mathrm{\Phi}(\nu )={\alpha}_{2}{e}^{\nu \tau}+{\alpha}_{3}{e}^{\nu \tau}/(\gamma \nu )+{\sum}_{k=1}^{m}{\beta}_{k}1$, then by (6) and the existence theorem of the root, there exists a positive constant $\lambda \in (0,\gamma )$ such that $\mathrm{\Phi}(\lambda )=0$.
For any $\epsilon >0$, let
To now prove the result, we only claim that (4) and (5) imply
Clearly, for any $t\in [\tau ,0]$, (9) holds. By the contradiction, assume that there is a positive constant ${t}_{1}$ such that
This, together with (5), yields (note that $0<\lambda <\gamma $)
By (8), we have
Hence, by (11), we obtain $\psi ({t}_{1})<{M}_{\epsilon}{e}^{\lambda {t}_{1}}$, which contradicts (10). Therefore (9) holds.
Since ε is arbitrarily small, so (7) holds. This completes the proof. □
We can now state our main result of this paper.
Theorem 3.1 If (H1)(H4) hold for some $\alpha \in (1/p,1]$, $p\ge 2$, then the mild solution of Eq. (1) is exponentially stable in the pth moment, provided
where ${c}_{p}={(p(p1)/2)}^{p/2}$, $\kappa =\overline{K}{(A)}^{\alpha}$ and ${M}_{1\alpha}$ is defined in Lemma 3.1.
Proof From the condition (13), we can always find a number $\u03f5>0$ small enough such that
On the other hand, recall the inequalities ${uv}^{p}\le {u}^{p}/{\u03f5}^{p1}+{v}^{p}/{(1\u03f5)}^{p1}$ and ${u+v}^{p}\le {(1+\u03f5)}^{p1}{u}^{p}+{(1+1/\u03f5)}^{p1}{v}^{p}$ for $u,v\in X$, $\u03f5>0$. Then, for any ${x}_{1},\dots ,{x}_{6}$,
From (2) and (14),
Now we compute the righthand terms of (15). Firstly, by (H1) and (H3), we can easily obtain
and
By (H4) and the Hölder inequality, for $p\ge 2$, $1<q\le 2$, $1/p+1/q=1$, we have
By (H3), Lemma 3.1 and the Hölder inequality,
Similar to (20), by (H2) and the Hölder inequality, we have
By Da Prato and Zabczyk [[2], Lemma 7.7, p.194], similar to (20), (H2) and the Hölder inequality, we have
where ${c}_{p}={(p(p1)/2)}^{p/2}$.
Substituting (16)(22) into (15) yields
This, together with Lemma 3.1 and (13), gives that there exist two positive constants ${M}_{0}$ and $\lambda \in (0,a)$ such that $E{x(t)}^{p}\le {M}_{0}{e}^{\lambda t}$ for any $t\ge \tau $. This completes the proof. □
If $p=2$, then we get the following corollary from Theorem 3.1.
Corollary 3.1 If (H1)(H4) hold for some $\alpha \in (1/2,1]$, then the mild solution of Eq. (1) is meansquare exponentially stable, provided
Remark 3.1 Unlike earlier studies, ours does not make use of general methods such as Lyapunov methods, fixed point theory and so forth. As we know, in general, it is impossible to construct a suitable Lyapunov function (functional) and to find an appropriate fixed point theorem for stochastic partial differential equations with memory, even for constant delays, to deal with stability. In this work, we use the new impulsive integral inequality to derive the sufficient conditions for stability.
Remark 3.2 Without delay and impulsive effect, Eq. (1) becomes stochastic neutral partial differential equations, which is investigated in [3]. Without the neutral term and impulsive effect, Eq. (1) reduces to stochastic partial differential delay equations, which is studied in [6, 17]. Therefore, we generalize by the integral inequality the results to cover a class of more general impulsive stochastic neutral partial differential equations with memory. Moreover, unlike [6], we need not require the functions $\rho (t)$, $\tau (t)$, $\delta (t)$ to be differentiable.
Remark 3.3 In Eq. (1), provided $\mathrm{\u25b3}x({t}_{k})=0$, Eq. (1) becomes stochastic neutral partial differential equations without impulsive effects, that is to say, our Theorem 3.1 is effective for it.
4 Conclusion
In this paper, we discuss the exponential stability in the p th moment of mild solutions to impulsive stochastic neutral partial differential equations with memory. By establishing a new integral inequality, we obtain sufficient conditions ensuring the stability of the impulsive stochastic system. The results generalize and improve earlier publications.
References
 1.
Chow PL: Stochastic Partial Differential Equations. Chapman & Hall/CRC Press, Boca Raton; 2007.
 2.
Da Prato G, Zabczyk J: Stochastic Equations in Infinite Dimensions. Cambridge University Press, Cambridge; 1992.
 3.
Mahmudov NI: Existence and uniqueness results for neutral SDEs in Hilbert spaces. Stoch. Anal. Appl. 2006, 24: 7995. 10.1080/07362990500397582
 4.
Bao J, Hou Z: Existence of mild solutions to stochastic neutral partial functional differential equations with nonLipschitz coefficients. Comput. Math. Appl. 2010, 59: 207214. 10.1016/j.camwa.2009.08.035
 5.
Chen H: Integral inequality and exponential stability for neutral stochastic partial differential equations with delays. J. Inequal. Appl. 2009., 2009: Article ID 297478
 6.
Caraballo T, Liu K: Exponential stability of mild solutions of stochastic partial differential equations with delays. Stoch. Anal. Appl. 1999, 17: 743763. 10.1080/07362999908809633
 7.
Wan L, Duan J: Exponential stability of nonautonomous stochastic partial differential equations with finite memory. Stat. Probab. Lett. 2008, 78: 490498. 10.1016/j.spl.2007.08.003
 8.
Bao J, Truman A, Yuan C: Stability in distribution of mild solutions to stochastic partial differential delay equations with jumps. Proc. R. Soc. Lond. A 2009, 465: 21112134. 10.1098/rspa.2008.0486
 9.
Chen H: Impulsiveintegral inequality and exponential stability for stochastic partial differential equations with delays. Stat. Probab. Lett. 2010, 80: 5056. 10.1016/j.spl.2009.09.011
 10.
Chen H: The asymptotic behavior for secondorder neutral stochastic partial differential equations with infinite delay. Discrete Dyn. Nat. Soc. 2011, 2011: 115.
 11.
Chen H: Asymptotic behavior of stochastic twodimensional NavierStokes equations with delays. Proc. Indian Acad. Sci. Math. Sci. 2012, 122: 283295. 10.1007/s120440120071x
 12.
Jiang J, Shen Y: A note on the existence and uniqueness of mild solutions to neutral stochastic partial functional differential equations with nonLipschitz coefficients. Comput. Math. Appl. 2011, 61: 15901594. 10.1016/j.camwa.2011.01.027
 13.
Mao X: Stochastic Differential Equations and Applications. Horwood, Chichestic; 1997.
 14.
Liu L: Stability of Infinite Dimensional Stochastic Differential Equations with Applications. Chapman & Hall/CRC Press, London; 2004.
 15.
Li C, Sun J: Stability analysis of nonlinear stochastic differential delay systems under impulsive control. Phys. Lett. A 2010, 374: 11541158. 10.1016/j.physleta.2009.12.065
 16.
Luo J: Fixed points and stability of neutral stochastic delay differential equations. J. Math. Anal. Appl. 2007, 334: 431440. 10.1016/j.jmaa.2006.12.058
 17.
Luo J: Fixed points and exponential stability of mild solutions of stochastic partial differential equations with delays. J. Math. Anal. Appl. 2008, 342: 753760. 10.1016/j.jmaa.2007.11.019
 18.
Lakshmikantham V, Bainov D, Simeonov P: Theory of Impulsive Differential Equations. World Scientific, Singapore; 1989.
 19.
Li X: New results on global exponential stabilization of impulsive functional differential equations with infinite delays or finite delays. Nonlinear Anal., Real World Appl. 2010, 11: 41944201. 10.1016/j.nonrwa.2010.05.006
 20.
Cheng P, Deng F, Peng Y: Robust exponential stability and delayedstatefeedback stabilization of uncertain impulsive stochastic systems with timevarying delay. Commun. Nonlinear Sci. Numer. Simul. 2012, 17: 47404752. 10.1016/j.cnsns.2012.03.038
 21.
Yang Z, Xu D: Mean square exponential stability of impulsive stochastic difference equations. Appl. Math. Lett. 2007, 20: 938945. 10.1016/j.aml.2006.09.006
 22.
Bao J, Hou Z, Wang F: Exponential stability in mean square of impulsive stochastic difference equations with continuous time. Appl. Math. Lett. 2009, 22: 749753. 10.1016/j.aml.2008.08.013
 23.
Jiang F, Shen Y: Stability of impulsive stochastic neutral partial differential equations with infinite delays. Asian J. Control 2012, 14: 17061709. 10.1002/asjc.491
 24.
Pazy A: Semigroups of Linear Operators and Applications to Partial Differential Equations. Springer, New York; 1992.
Acknowledgements
The work is supported by the Research Funds of Wuhan Polytechnic University under Grant 2012Y16, the Fundamental Research Funds for the Central Universities under Grant 2722013JC080, China Postdoctoral Science Foundation funded project under Grant 2012M511615 and the Natural Science Foundation of Hubei Province of China.
Author information
Affiliations
Corresponding authors
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
HY gave the proof of the main result and drafted the manuscript. FJ established the new integral inequality and participated in the study of the main result of the paper. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Yang, H., Jiang, F. Exponential stability of mild solutions to impulsive stochastic neutral partial differential equations with memory. Adv Differ Equ 2013, 148 (2013). https://doi.org/10.1186/168718472013148
Received:
Accepted:
Published:
Keywords
 Stochastic Differential Equation
 Exponential Stability
 Mild Solution
 Fixed Point Theory
 Integral Inequality