Open Access

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

Journal of Inequalities and Applications20102009:297478

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

Received: 20 September 2009

Accepted: 21 November 2009

Published: 3 January 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 [120]. 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:

(2.1)

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
(2.2)

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 ,

(2.3)

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
(2.4)

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
(2.5)

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)

Lemma 2.6 (see [21, 27]).

Let and . For any two real positive numbers , then
(2.6)

Lemma 2.7 (see [28]).

For any and for arbitrary -valued predictable process
(2.7)

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 ,
(2.8)

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 ,
(2.9)

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

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

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
(3.1)

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

(3.2)

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

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

Then, (3.1) implies

(3.5)
From the definitions of and , we have
(3.6)

Thus, (3.5) yields

(3.7)

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

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

(3.8)

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
(3.9)

holds, where .

Proof.

By virtue of the inequality (3.9) and the condition ( ), we can always find a number small enough such that
(3.10)
Based on an elementary inequality, for any real numbers and , it follows
(3.11)
From (2.3), the condition ( ), and Lemma 2.6, we have
(3.12)
Then, Lemma 2.7 and (3.12) imply that
(3.13)

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,
(3.14)

where is defined in Theorem 3.2.

Proof.

Let be a sufficiently large positive integer and for , then
(3.15)
For arbitrary fixed , we have
(3.16)
where
(3.17)
Thus, (3.16) implies
(3.18)
where
(3.19)
As is arbitrarily given real number, let , such that
(3.20)
Consequently, from the Borel-Cantelli Lemma, there exists a , for all , and we have
(3.21)
That is,
(3.22)

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
(3.23)

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:
(3.24)
The mild solution of system (3.24) is the exponential stability in -moment and almost surely exponential stability provided that
(3.25)
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:
(3.26)

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
(3.27)

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:

(4.1)

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

(4.2)

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

(4.3)

that satisfies , and hence is a contraction semigroup.

Define

(4.4)

It is easily seen that

(4.5)

from the definition of by

(4.6)

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

(4.7)

holds.

Authors’ Affiliations

(1)
Department of Mathematics, School of Science, Nanchang University

References

  1. Caraballo T: Asymptotic exponential stability of stochastic partial differential equations with delay. Stochastics and Stochastics Reports 1990,33(1–2):27–47.MATHMathSciNetView ArticleGoogle Scholar
  2. 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/07362999908809633MATHMathSciNetView ArticleGoogle Scholar
  3. Caraballo 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.MathSciNetMATHGoogle Scholar
  4. 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/07362999308809330MATHMathSciNetView ArticleGoogle Scholar
  5. Govindan TE: Stability of mild solutions of stochastic evolution equations with variable delay. Stochastic Analysis and Applications 2003,21(5):1059–1077. 10.1081/SAP-120022863MATHMathSciNetView ArticleGoogle Scholar
  6. Govindan TE: Existence and stability of solutions of stochastic semilinear functional differential equations. Stochastic Analysis and Applications 2002,20(6):1257–1280. 10.1081/SAP-120015832MATHMathSciNetView ArticleGoogle Scholar
  7. Haussmann 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-1MATHMathSciNetView ArticleGoogle Scholar
  8. Ichikawa A: Stability of semilinear stochastic evolution equations. Journal of Mathematical Analysis and Applications 1982,90(1):12–44. 10.1016/0022-247X(82)90041-5MATHMathSciNetView ArticleGoogle Scholar
  9. Liu 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-6MATHMathSciNetView ArticleGoogle Scholar
  10. Liu 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-9MATHMathSciNetView ArticleGoogle Scholar
  11. Liu 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.Google Scholar
  12. 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_22Google Scholar
  13. Luo 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.019MATHMathSciNetView ArticleGoogle Scholar
  14. Mahmudov NI: Existence and uniqueness results for neutral SDEs in Hilbert spaces. Stochastic Analysis and Applications 2006,24(1):79–95. 10.1080/07362990500397582MATHMathSciNetView ArticleGoogle Scholar
  15. Mao X: Exponential stability for stochastic differential delay equations in Hilbert spaces. The Quarterly Journal of Mathematics 1991,42(165):77–85.MATHMathSciNetView ArticleGoogle Scholar
  16. 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.4073MATHMathSciNetView ArticleGoogle Scholar
  17. Taniguchi T: Asymptotic stability theorems of semilinear stochastic evolution equations in Hilbert spaces. Stochastics and Stochastics Reports 1995,53(1–2):41–52.MATHMathSciNetView ArticleGoogle Scholar
  18. 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.055MATHMathSciNetView ArticleGoogle Scholar
  19. Taniguchi T: Almost sure exponential stability for stochastic partial functional-differential equations. Stochastic Analysis and Applications 1998,16(5):965–975. 10.1080/07362999808809573MATHMathSciNetView ArticleGoogle Scholar
  20. Wan 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.003MATHMathSciNetView ArticleGoogle Scholar
  21. Mao X: Stochastic Differential Equations and Applications. Horwood, Chichester, UK; 1997.MATHGoogle Scholar
  22. Burton TA: Stability by Fixed Point Theory for Functional Differential Equations. Dover, Mineola, NY, USA; 2006:xiv+348.MATHGoogle Scholar
  23. 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.058MATHMathSciNetView ArticleGoogle Scholar
  24. Appleby JAD: Fixed points, stability and harmless stochastic perturbations. preprint preprintGoogle Scholar
  25. Datko 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-2MATHMathSciNetView ArticleGoogle Scholar
  26. Pazy A: Semigroups of Linear Operators and Applications to Partial Differential Equations, Applied Mathematical Sciences. Volume 44. Springer, New York, NY, USA; 1983:viii+279.View ArticleGoogle Scholar
  27. 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.005MATHMathSciNetView ArticleGoogle Scholar
  28. Da 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.View ArticleMATHGoogle Scholar

Copyright

© Huabin Chen. 2009

This article is published under license to BioMed Central Ltd. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.