- Research Article
- Open Access
- Published:

# Integral Inequality and Exponential Stability for Neutral Stochastic Partial Differential Equations with Delays

*Journal of Inequalities and Applications*
**volume 2009**, Article number: 297478 (2010)

## Abstract

The aim of this paper is devoted to obtain some sufficient conditions for the exponential stability in -moment as well as almost surely exponential stability for mild solution of neutral stochastic partial differential equations with delays by establishing an integral-inequality. Some well-known results are generalized and improved. Finally, an example is given to show the effectiveness of our results.

## 1. Introduction

The investigation for stochastic partial differential equations with delays has attracted the considerable attention of researchers and many qualitative theories for the solutions of this kind have been derived. Many important results have been reported in [1–20]. For example, Caraballo, in [1], extended the results from Haussmann [7] to the delay equations of the same kind; Mao, in [15, 21], proved the exponential stability in mean-square sense about the strong solutions of linear stochastic differential equations with finite constant delay; by using the method in [7, 8], Caraballo and Real, in [4], considered the stability for the strong solutions of semilinear stochastic delay evolution equations; Govindan, in [5, 6], has studied the existence and stability of mild solutions for stochastic partial differential equations by the comparison theorem; Caraballo and Liu, in [2], discussed the exponential stability for mild solution of stochastic partial differential equations with delays by employing the well-known Gronwall inequality and stochastic analysis technique under the Lipschitz condition, but the requirement of the monotone decreasing behaviors of the delays should be imposed; Liu and Truman in [9] and Liu and Mao in [10] analyzed the exponential stability for mild solution of stochastic partial functional differential equations by establishing the corresponding Razuminkhin-type theorem.

In the case of delay differential equations, in the particular case when we are concerned with the mild solution of stochastic partial differential equations, Lyapunov's second method, although it is usually regarded as an important tool to study the stability and boundedness, is not suitable to consider such problem. A crucial problem is that mild solutions do not have stochastic differentials, so that the Itô formula fails to deal with this problem. Very recently, Burton has successfully utilized the fixed point theorem to investigate the stability for deterministic systems in [22]; Luo in [23] and Appleby in [22] have applied this valuable method into dealing with the stability for stochastic differential equations. Following the ideas of Burton in [22], Luo in [23], and Appleby in [24], by employing the contraction mapping principle and stochastic analysis, some sufficient conditions ensuring the trivial solution of exponential stability in -moment and almost sure exponential stability for mild solution of stochastic partial differential equations with delays were obtained in [13], which did not comprise the monotone decreasing behavior of the delays.

However, comparing with stochastic partial differential equations with delays, there are only a few results about neutral stochastic partial differential equations. Precisely, Liu [11] considered a linear neutral stochastic differential equations with constant delays and some stability properties of the mild solutions in a similar way as Datko [25] in the deterministic case. Caraballo et al., in [3], have studied the almost sure exponential stability and ultimate boundedness of the solutions to a class of neutral stochastic semilinear partial delay differential equations; Mahmudov, in [14], has discussed the existence and uniqueness for mild solution of neutral stochastic differential equations by constructing a new iterative scheme under the non-Lipschitz conditions.

It should be pointed out that there exist a number of difficulties encountered in the study of the stability for mild solution to neutral stochastic partial differential equations with delays since the neutral item is present. And many methods used frequently fail to consider the exponential stability of mild solution for neutral stochastic partial differential equations with delays, for example, the comparison theorem in [5, 6], the Gronwall inequality in [2], the analytic technique in [9], and the semigroup method in [16]. The methods proposed in [1, 3, 8, 10, 18, 20] are also ineffective in dealing with this problem since mild solutions do not have stochastic differentials. So, the technique and the method dealt with such problems are in need of being developed and explored. On the other hand, to the best of our knowledge, there is no paper which investigates the exponential stability in -moment and almost surely exponential stability for mild solution of such problems. Thus, we will make the first attempt to study such problem to close this gap in this paper.

The content of this paper is arranged as follows. In Section 2, some necessary definitions, notations, and lemmas used in this paper will be introduced. In Section 3, by establishing a lemma, some sufficient conditions about the exponential stability in -moment and almost sure exponential stability are derived. Finally, one example is provided to illustrate the obtained results.

## 2. Preliminaries

Let and be two real, separable Hilbert spaces and let be the space of bounded linear operators from to . For the sake of convenience, we shall use the same notation to denote the norms in and . Let be a complete probability space equipped with some filtration satisfying the usual conditions; that is, the filtration is right continuous and contains all -null sets.

In this paper, we consider the following neutral stochastic partial differential equations with delays:

where is -measurable and are bounded and continuous functions. Let be the space of all right-continuous functions with left-hand limit from to with the sup-norm and let be the family of all almost surely bounded, -measurable, and -valued random variables. is a closed, densely defined linear operator generating an analytic semigroup on the Hilbert space ; then it is possible under some circumstances (we refer the readers to [26] for a detailed presentations of the definition and relevant properties of ) to define the fractional power which is a closed linear operator with its domain , for . Let , and be three suitable measurable mappings, where is introduced in detail as follows.

Let be a sequence of real-valued one-dimensional standard Brownian motions mutually independent over . Set , where are nonnegative real numbers and is a complete orthonormal basis in . Let be an operator defined by with a finite trace tr. Then, the above -valued stochastic process is called a -Wiener process.

Definition 2.1.

Let and define

If , then is called a -Hilbert-Schmidt operator and let denote the space of all -Hilbert-Schmidt operators .

Now, for the definition of an -valued stochastic integral of an -valued and -adapted predictable process with respect to the -Wiener process , the readers can refer to [26].

Definition 2.2.

An-value stochastic process is called a mild solution of the system (2.1), if

(i) is a adapted process;

(ii) has a continuous paths on almost surely, and or arbitrary ,

where .

Definition 2.3.

The mild solution of system (2.1) is said to be exponentially stable in -moment, if there exists a pair of positive constants and , for any initial value such that

Definition 2.4.

The mild solution of (2.1) is said to be almost surely exponential stability if there exists a positive constant , for any initial value , such that

Lemma 2.5 (see [26]).

Suppose that is the infinitesimal generator of an analytic semigroup , on the separable Hilbert space . If, then one has the following.

(a)There exist a constant and a real number such that , for any .

(b)The fractional power satisfies that , for any , where , .

(c)

Let and . For any two real positive numbers , then

Lemma 2.7 (see [28]).

For any and for arbitrary -valued predictable process

where .

Lemma 2.8 (see [2]).

Let . For all let be a predictable, -adapted process such that for some integer and any . Then, there exists a constant such that for any fixed natural number ,

Lemma 2.9 (see [2]).

Let be the infinitesimal generator of a contraction semigroup. Let be a predictable -adapted process such that , for any . Then there exists a constant , independent of , such that for any fixed natural number ,

Furthermore, one imposes the following important assumptions.

The mappings and satisfy the uniformly Lipschitz condition: there exist two positive constants , for any and such that

The mapping also satisfies the uniformly Lipschitz condition: there exists one positive constant , for any such that

for and .

For , .

Remark 2.10.

Under the condition: ()–, the existence and uniqueness of mild solution to the neutral stochastic partial differential equations with delays (2.1) is easily shown by using the proposed method in [14] and the proof of this problem is very similar to the proof of [14, Theorem 6]. Here, we omit it. In particular, the system (2.1) obviously has a trivial mild solution when .

## 3. Main Results

In this section, in order to establish some sufficient conditions ensuring the exponential stability in -moment and almost sure exponential stability for mild solution of system (2.1), we are in need of establishing the following integral-inequality to overcome the difficulty when the neutral item is present.

Lemma 3.1.

For , there exist three positive constants: and a function . If , the following inequality

holds. Then one has: , where is a positive root of the algebra equation: and .

Proof.

Letting , we have holds. That is, there exists a positive constant , such that .

For any let

Now, in order to show this lemma, we only claim that (3.1) implies

Easily, for any , (3.3) holds. Assume, for the sake of contradiction, that there exists a such that

Then, (3.1) implies

From the definitions of and , we have

Thus, (3.5) yields

which contradicts (3.4); that is, (3.3) holds.

As is arbitrarily small, in view of (3.3), it follows

where . The proof of this lemma is completed.

Theorem 3.2.

Supposed that the conditions ()–() are satisfied, then the mild solutionto system (2.1) is exponential stability in -moment, if the following inequality

holds, where .

Proof.

By virtue of the inequality (3.9) and the condition (), we can always find a number small enough such that

Based on an elementary inequality, for any real numbers and , it follows

From (2.3), the condition (), and Lemma 2.6, we have

Then, Lemma 2.7 and (3.12) imply that

By Lemma 3.1, we can derive that . That is, the exponential stability in -moment for mild solution to system (2.1) is obtained. The proof is completed.

Theorem 3.3.

Suppose that all the conditions of Theorem 4.1 hold with, then the mild solution of system (2.1) is almost surely exponential stability, that is,

where is defined in Theorem 3.2.

Proof.

Let be a sufficiently large positive integer and for , then

For arbitrary fixed , we have

where

Thus, (3.16) implies

where

As is arbitrarily given real number, let , such that

Consequently, from the Borel-Cantelli Lemma, there exists a , for all , and we have

That is,

The proof is completed.

Corollary 3.4.

Suppose that the conditions ()–() hold with , then the mild solution of system (2.1) is exponential stability in mean square and almost surely exponential stability, if the following inequality

holds, where .

Remark 3.5.

When the neutral item is removed, system (2.1) is turned into the following stochastic partial differential equations with delays:

The mild solution of system (3.24) is the exponential stability in -moment and almost surely exponential stability provided that

holds, which was studied by the fixed point theorem in [13]. As the neutral item and the delays , , system (2.1) is considered as the stochastic evolution equations:

The mild solution to system (3.26) is guaranteed to be the exponential stability in -moment and almost surely exponential stability under the inequality (3.25) in [17]. Thus, we can generalize the results in [13, 17] which are regarded as two special cases in this paper.

Remark 3.6.

Caraballo and Liu, in [2], have considered the exponential stability in -moment and almost surely exponential stability for mild solution to system (3.24) by utilizing the Gronwall inequality. However, the monotone decreasing behaviors of the delays are imposed in [2], that is, for for all In particular, when and , the condition for the exponential stability in -moment and almost surely exponential stability for mild solution to system (3.24) in [2] is

In this sense, this paper can generalize and improve the results in [2].

## 4. Example

In this section, we provide an example to illustrate the obtained results above.

We consider the following neutral stochastic partial differential equations with delays:

where is a standard one-dimensional Wiener process and a.s., and . Take , . Define by with domain are absolutely continuous, . Then

where is orthonormal set of eigenvector of . It is well known that is the infinitesimal generator of an analytic semigroup in and is given (see pazy [26, page 70]) by

that satisfies , and hence is a contraction semigroup.

Define

It is easily seen that

from the definition of by

Thus, when , by virtue of Corollary 3.4, the mild solution of system (4.1) is exponential stability in mean square and almost sure exponential stability provided that the following inequality

holds.

## References

Caraballo T:

**Asymptotic exponential stability of stochastic partial differential equations with delay.***Stochastics and Stochastics Reports*1990,**33**(1–2):27–47.Caraballo T, Liu K:

**Exponential stability of mild solutions of stochastic partial differential equations with delays.***Stochastic Analysis and Applications*1999,**17**(5):743–763. 10.1080/07362999908809633Caraballo T, Real J, Taniguchi T:

**The exponential stability of neutral stochastic delay partial differential equations.***Discrete and Continuous Dynamical Systems. Series A*2007,**18**(2–3):295–313.Caraballo T, Real J:

**Partial differential equations with delayed random perturbations: existence, uniqueness, and stability of solutions.***Stochastic Analysis and Applications*1993,**11**(5):497–511. 10.1080/07362999308809330Govindan TE:

**Stability of mild solutions of stochastic evolution equations with variable delay.***Stochastic Analysis and Applications*2003,**21**(5):1059–1077. 10.1081/SAP-120022863Govindan TE:

**Existence and stability of solutions of stochastic semilinear functional differential equations.***Stochastic Analysis and Applications*2002,**20**(6):1257–1280. 10.1081/SAP-120015832Haussmann UG:

**Asymptotic stability of the linear Itô equation in infinite dimensions.***Journal of Mathematical Analysis and Applications*1978,**65**(1):219–235. 10.1016/0022-247X(78)90211-1Ichikawa A:

**Stability of semilinear stochastic evolution equations.***Journal of Mathematical Analysis and Applications*1982,**90**(1):12–44. 10.1016/0022-247X(82)90041-5Liu K, Truman A:

**A note on almost sure exponential stability for stochastic partial functional differential equations.***Statistics & Probability Letters*2000,**50**(3):273–278. 10.1016/S0167-7152(00)00103-6Liu K, Mao X:

**Exponential stability of non-linear stochastic evolution equations.***Stochastic Processes and Their Applications*1998,**78**(2):173–193. 10.1016/S0304-4149(98)00048-9Liu K:

*Stability of Infinite Dimensional Stochastic Differential Equations with Applications, Chapman & Hall/CRC Monographs and Surveys in Pure and Applied Mathematics*.*Volume 135*. Chapman & Hall/CRC, Boca Raton, Fla, USA; 2006:xii+298.Liu K, Shi Y:

**Razumikhin-type theorems of infinite dimensional stochastic functional differential equations.**In*Systems, Control, Modeling and Optimization, IFIP International Federation for Information Processing*.*Volume 202*. Springer, New York, NY, USA; 2006:237–247. 10.1007/0-387-33882-9_22Luo J:

**Fixed points and exponential stability of mild solutions of stochastic partial differential equations with delays.***Journal of Mathematical Analysis and Applications*2008,**342**(2):753–760. 10.1016/j.jmaa.2007.11.019Mahmudov NI:

**Existence and uniqueness results for neutral SDEs in Hilbert spaces.***Stochastic Analysis and Applications*2006,**24**(1):79–95. 10.1080/07362990500397582Mao X:

**Exponential stability for stochastic differential delay equations in Hilbert spaces.***The Quarterly Journal of Mathematics*1991,**42**(165):77–85.Taniguchi T, Liu K, Truman A:

**Existence, uniqueness, and asymptotic behavior of mild solutions to stochastic functional differential equations in Hilbert spaces.***Journal of Differential Equations*2002,**181**(1):72–91. 10.1006/jdeq.2001.4073Taniguchi T:

**Asymptotic stability theorems of semilinear stochastic evolution equations in Hilbert spaces.***Stochastics and Stochastics Reports*1995,**53**(1–2):41–52.Taniguchi T:

**The exponential stability for stochastic delay partial differential equations.***Journal of Mathematical Analysis and Applications*2007,**331**(1):191–205. 10.1016/j.jmaa.2006.08.055Taniguchi T:

**Almost sure exponential stability for stochastic partial functional-differential equations.***Stochastic Analysis and Applications*1998,**16**(5):965–975. 10.1080/07362999808809573Wan L, Duan J:

**Exponential stability of non-autonomous stochastic partial differential equations with finite memory.***Statistics & Probability Letters*2008,**78**(5):490–498. 10.1016/j.spl.2007.08.003Mao X:

*Stochastic Differential Equations and Applications*. Horwood, Chichester, UK; 1997.Burton TA:

*Stability by Fixed Point Theory for Functional Differential Equations*. Dover, Mineola, NY, USA; 2006:xiv+348.Luo J:

**Fixed points and stability of neutral stochastic delay differential equations.***Journal of Mathematical Analysis and Applications*2007,**334**(1):431–440. 10.1016/j.jmaa.2006.12.058Appleby JAD:

**Fixed points, stability and harmless stochastic perturbations.**preprint preprintDatko R:

**Linear autonomous neutral differential equations in a Banach space.***Journal of Differential Equations*1977,**25**(2):258–274. 10.1016/0022-0396(77)90204-2Pazy A:

*Semigroups of Linear Operators and Applications to Partial Differential Equations, Applied Mathematical Sciences*.*Volume 44*. Springer, New York, NY, USA; 1983:viii+279.Luo Q, Mao X, Shen Y:

**New criteria on exponential stability of neutral stochastic differential delay equations.***Systems & Control Letters*2006,**55**(10):826–834. 10.1016/j.sysconle.2006.04.005Da Prato G, Zabczyk J:

*Stochastic Equations in Infinite Dimensions, Encyclopedia of Mathematics and Its Applications*.*Volume 44*. Cambridge University Press, Cambridge, UK; 1992:xviii+454.

## Author information

### Authors and Affiliations

### Corresponding author

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

Chen, H. Integral Inequality and Exponential Stability for Neutral Stochastic Partial Differential Equations with Delays.
*J Inequal Appl* **2009**, 297478 (2010). https://doi.org/10.1155/2009/297478

Received:

Accepted:

Published:

DOI: https://doi.org/10.1155/2009/297478

### Keywords

- Fixed Point Theorem
- Exponential Stability
- Mild Solution
- Delay Differential Equation
- Infinitesimal Generator