# Exponential stability of mild solutions to impulsive stochastic neutral partial differential equations with memory

- Hua Yang
^{1}Email author and - Feng Jiang
^{2}Email author

**2013**:148

**DOI: **10.1186/1687-1847-2013-148

© Yang and Jiang; licensee Springer 2013

**Received: **20 March 2013

**Accepted: **7 May 2013

**Published: **23 May 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 well-known 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 non-delay 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 right-continuous while ${\mathcal{F}}_{0}$ contains all *P*-null 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 *Y*-valued 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, self-adjoint, trace class operator on *Y*. In particular, we denote by $w(t)$ a *Y*-valued *Q*-Wiener 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 Hilbert-Schmidt 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 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 left-hand 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(t-s)u(s,x(s-\rho (s)))\phantom{\rule{0.2em}{0ex}}ds\\ +{\int}_{0}^{t}S(t-s)f(s,x(s-\tau (s)))\phantom{\rule{0.2em}{0ex}}ds+{\int}_{0}^{t}S(t-s)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 mean-square 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}_{+}$.

*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

(H4) There exists a constant ${q}_{k}$ such that $|{I}_{k}(x)-{I}_{k}(y)|\le {q}_{k}|x-y|$, $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 *p*-moment ($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$.

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(p-1)/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

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

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 mean*-

*square 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.

## Declarations

### 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.

## Authors’ Affiliations

## References

- Chow PL:
*Stochastic Partial Differential Equations*. Chapman & Hall/CRC Press, Boca Raton; 2007.Google Scholar - Da Prato G, Zabczyk J:
*Stochastic Equations in Infinite Dimensions*. Cambridge University Press, Cambridge; 1992.View ArticleGoogle Scholar - Mahmudov NI: Existence and uniqueness results for neutral SDEs in Hilbert spaces.
*Stoch. Anal. Appl.*2006, 24: 79-95. 10.1080/07362990500397582MathSciNetView ArticleGoogle Scholar - Bao J, Hou Z: Existence of mild solutions to stochastic neutral partial functional differential equations with non-Lipschitz coefficients.
*Comput. Math. Appl.*2010, 59: 207-214. 10.1016/j.camwa.2009.08.035MathSciNetView ArticleGoogle Scholar - Chen H: Integral inequality and exponential stability for neutral stochastic partial differential equations with delays.
*J. Inequal. Appl.*2009., 2009: Article ID 297478Google Scholar - Caraballo T, Liu K: Exponential stability of mild solutions of stochastic partial differential equations with delays.
*Stoch. Anal. Appl.*1999, 17: 743-763. 10.1080/07362999908809633MathSciNetView ArticleGoogle Scholar - Wan L, Duan J: Exponential stability of non-autonomous stochastic partial differential equations with finite memory.
*Stat. Probab. Lett.*2008, 78: 490-498. 10.1016/j.spl.2007.08.003MathSciNetView ArticleGoogle Scholar - 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: 2111-2134. 10.1098/rspa.2008.0486MathSciNetView ArticleGoogle Scholar - Chen H: Impulsive-integral inequality and exponential stability for stochastic partial differential equations with delays.
*Stat. Probab. Lett.*2010, 80: 50-56. 10.1016/j.spl.2009.09.011View ArticleGoogle Scholar - Chen H: The asymptotic behavior for second-order neutral stochastic partial differential equations with infinite delay.
*Discrete Dyn. Nat. Soc.*2011, 2011: 1-15.Google Scholar - Chen H: Asymptotic behavior of stochastic two-dimensional Navier-Stokes equations with delays.
*Proc. Indian Acad. Sci. Math. Sci.*2012, 122: 283-295. 10.1007/s12044-012-0071-xMathSciNetView ArticleGoogle Scholar - 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.*2011, 61: 1590-1594. 10.1016/j.camwa.2011.01.027MathSciNetView ArticleGoogle Scholar - Mao X:
*Stochastic Differential Equations and Applications*. Horwood, Chichestic; 1997.Google Scholar - Liu L:
*Stability of Infinite Dimensional Stochastic Differential Equations with Applications*. Chapman & Hall/CRC Press, London; 2004.Google Scholar - Li C, Sun J: Stability analysis of nonlinear stochastic differential delay systems under impulsive control.
*Phys. Lett. A*2010, 374: 1154-1158. 10.1016/j.physleta.2009.12.065MathSciNetView ArticleGoogle Scholar - Luo J: Fixed points and stability of neutral stochastic delay differential equations.
*J. Math. Anal. Appl.*2007, 334: 431-440. 10.1016/j.jmaa.2006.12.058MathSciNetView ArticleGoogle Scholar - Luo J: Fixed points and exponential stability of mild solutions of stochastic partial differential equations with delays.
*J. Math. Anal. Appl.*2008, 342: 753-760. 10.1016/j.jmaa.2007.11.019MathSciNetView ArticleGoogle Scholar - Lakshmikantham V, Bainov D, Simeonov P:
*Theory of Impulsive Differential Equations*. World Scientific, Singapore; 1989.View ArticleGoogle Scholar - 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: 4194-4201. 10.1016/j.nonrwa.2010.05.006MathSciNetView ArticleGoogle Scholar - Cheng P, Deng F, Peng Y: Robust exponential stability and delayed-state-feedback stabilization of uncertain impulsive stochastic systems with time-varying delay.
*Commun. Nonlinear Sci. Numer. Simul.*2012, 17: 4740-4752. 10.1016/j.cnsns.2012.03.038MathSciNetView ArticleGoogle Scholar - Yang Z, Xu D: Mean square exponential stability of impulsive stochastic difference equations.
*Appl. Math. Lett.*2007, 20: 938-945. 10.1016/j.aml.2006.09.006MathSciNetView ArticleGoogle Scholar - Bao J, Hou Z, Wang F: Exponential stability in mean square of impulsive stochastic difference equations with continuous time.
*Appl. Math. Lett.*2009, 22: 749-753. 10.1016/j.aml.2008.08.013MathSciNetView ArticleGoogle Scholar - Jiang F, Shen Y: Stability of impulsive stochastic neutral partial differential equations with infinite delays.
*Asian J. Control*2012, 14: 1706-1709. 10.1002/asjc.491MathSciNetView ArticleGoogle Scholar - Pazy A:
*Semigroups of Linear Operators and Applications to Partial Differential Equations*. Springer, New York; 1992.Google Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.