Discrete Dynamics in Nature and SocietyVolume 2011 (2011), Article ID 584510, 16 pagesdoi:10.1155/2011/584510

Research Article

The Asymptotic Behavior for Second-Order Neutral Stochastic Partial Differential Equations with Infinite Delay

Huabin Chen

Department of Mathematics, Nanchang University, Jiangxi, Nanchang 330031, China

Received 17 March 2011; Accepted 19 May 2011

Academic Editor: Her-Terng Yau

Copyright © 2011 Huabin Chen. 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.

Abstract.

By establishing two Lemmas, the exponential stability and the asymptotical stability for mild solution to the second-order neutral stochastic partial differential equations with infinite delay are obtained, respectively. Our results can generalize and improve some existing ones. Finally, an illustrative example is given to show the effectiveness of the obtained results.

1. Introduction

The neutral stochastic differential equations can play an important role in describing many sophisticated dynamical systems in physical, biological, medical, chemical engineering, aero-elasticity, and social sciences [1–3], and the qualitative dynamics such as the existence and uniqueness, stability, and controllability for first-order neutral stochastic partial differential equations with delays have been extensively studied by many authors; see, for example, the existence and uniqueness for neutral stochastic partial differential equations under the non-Lipschitz conditions was investigated by using the successive approximation [4–6]; in [7], Caraballo et al. have considered the exponential stability of neutral stochastic delay partial differential equations by the Lyapunov functional approach; in [8], Dauer and Mahmudov have analyzed the existence of mild solutions to semilinear neutral evolution equations with nonlocal conditions by using the fractional power of operators and Krasnoselski-Schaefer-type fixed point theorem; in [9], Hu and Ren have established the existence results for impulsive neutral stochastic functional integrodifferential equations with infinite delays by means of the Krasnoselskii-Schaefer-type fixed point theorem; some sufficient conditions ensuring the controllability for neutral stochastic functional differential inclusions with infinite delay in the abstract space with the help of the Leray-Schauder nonlinear alterative have been given by Balasubramaniam and Muthukumar in [10]; Luo and Taniguchi, in [11], have studied the asymptotic stability for neutral stochastic partial differential equations with infinite delay by using the fixed point theorem. Very recently, in [12], the author has discussed the exponential stability for mild solution to neutral stochastic partial differential equations with delays by establishing an integral inequality.

Although there are many valuable results about neutral stochastic partial differential equations, they are mainly concerned with the first-order case. In many cases, it is advantageous to treat the second-order stochastic differential equations directly rather than to convert them to first-order systems. The second-order stochastic differential equations are the right model in continuous time to account for integrated processes that can be made stationary. For instance, it is useful for engineers to model mechanical vibrations or charge on a capacitor or condenser subjected to white noise excitation through a second-order stochastic differential equations. The studies of the qualitative properties about abstract deterministic second-order evolution equation governed by the generator of a strongly continuous cosine family was proposed in [13–15]. Recently, Mahmudov and McKibben, in [16], have established the approximate controllability of second-order neutral stochastic evolution equations; the existence and uniqueness for mild solution to second-order neutral impulsive stochastic evolution equations with delay under the non-Lipschitz condition was considered by the successive approximation [17]; Balasubramaniam and Muthukumar in [10] have also discussed the approximate controllability of second-order neutral stochastic distributed implicit functional differential equations with infinite delay; Sakthivel et al. in [18] have studied the asymptotic stability of second-order neutral stochastic differential equations by the fixed point theorem.

However, the work done by Sakthivel et al. [18] is mainly in connection with no heredity case. Since many systems arising from realistic models heavily depend on histories [19] (i.e., there is the effect of infinite delay on state equations), there is a real need to proceed with studying the second-order neutral stochastic partial differential equations with infinite delay. Although Sakthivel et al. [18] have applied the fixed point theorem to discuss the asymptotic stability for mild solution to the second-order neutral stochastic partial differential equations, the method proposed by Sakthivel et al. [18] is not suitable for such equations with infinite delay. Obviously, the Lyapunov functional method utilized by Caraballo et al. [7] fails to deal with the asymptotic behavior for mild solution to the second-order neutral stochastic partial differential equations with infinite delay since the mild solutions do not have stochastic differentials. Besides, to the best of author’s knowledge, there is no paper which is involved with the exponential stability and the asymptotic stability for mild solution to second-order neutral stochastic partial differential equations with infinite delay. So, in this paper, we will make the first attempt to close this gap.

The format of this work is organized as follows. In Section 2, some necessary definitions, notations, and Lemmas used in this paper are introduced; in Section 3, the main results in this paper are given. Finally, an illustrative example is provided to demonstrate the effectiveness of our obtained results.

2. Preliminaries

Let and be two real, separable Hilbert spaces and the space of bounded linear operators from to . For the sake of convenience, we will use the same notation to denote the norms in and when no confusion possibly arises. 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. Let be the space of all bounded and continuous functions from to with the sup-norm , and the space present the family of all -measurable and -valued random variables.

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 finite trace tr. Then, the above -valued stochastic process is called a -Wiener process.

Definition 2.1 (see [20]). 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 [20].In this paper, we consider the following second-order neutral stochastic partial differential equations with infinite delay: where and is also an -measurable -valued random variable independent of the Wiener process . is the infinitesimal generator of a strongly continuous cosine family on ; , are three approximate mappings. In this sequel, the history , belongs to the space .At the end of this section, let us introduce the following Lemmas and definitions that are useful for the development of our results. The one parameter cosine family satisfying(i),(ii) is in continuous in on for all ,(iii) for all is called a strongly continuous cosine family.The corresponding strongly continuous sine family is defined by . The generator of is given by for all . It is well known that the infinitesimal generator is a closed, densely defined operator on . Such cosine and the corresponding sine families and their generators satisfy the following properties.

Lemma 2.2 (see [21]). Suppose that is the infinitesimal generator of a cosine family of operators . Then, the following holds: (i)there exists and such that and hence ,(ii) for all ,(iii)there exists such that for all .

Lemma 2.3 (see [20]). For any and for arbitrary -valued predictable process such that where .

Definition 2.4. An -value stochastic process is called a mild solution of the system (2.2) if(i) is adapted to and has càdlàg path on almost surely,(ii)for arbitrary , and almost surely where .

Definition 2.5. The solution of integral equation (2.4) is said to be exponentially stable in moment, if there exists a pair of positive constants and such that for any initial value .

Definition 2.6. The solution of integral equation (2.4) is said to be stable in moment, if for arbitrarily given , there exists a such that guarantees that

Definition 2.7. The solution of integral equation (2.4) is said to be asymptotically stable in moment, if it is stable in mean square and for any , a.s., we have

3. Main Results

In order to obtain our main results, we need the following assumptions. The cosine family of operators on and the corresponding sine family satisfy the conditions and , for some constants , and .The mappings satisfy the following conditions: there exist three positive constants and a function: with two important properties: and , such that for any and ..

Remark 3.1. Obviously, under the conditions: (H₁)-(H₂), the existence and uniqueness of mild solution to the system (2.2) can be shown by using the Picard iterative method, and the proof is very similar to that proposed in [4, 17]. Here, we omit it. In particular, the system (2.2) has one unique trivial mild solution when the initial value .

Lemma 3.2. For , there exist some 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 and letting Now, in order to show this Lemma, we only claim that (3.2) implies It is easily seen that (3.4) holds for any . Assume, for the sake of contradiction, that there exists a such that Then, it from (3.2) follows that From the definitions of and , we obtain Thus, (3.6) yields which contradicts (3.5), that is, (3.4) holds.As is arbitrarily small, in view of (3.4), it follows where , (. The proof of this Lemma is completed.

Lemma 3.3. For , there exist some positive constants: and a function . If , the following inequality: holds. Then, one has .

Proof. In order to show the conclusion of this Lemma, the proof is divided into two steps as follows.Step 1. We show that there exists a positive constant such that for any . Firstly, for for all , letting It is obviously seen that for any . Assumed that there exists a such that Then, it from (3.10) implies that From the definition of , we have Thus, (3.14) yields which contradicts (3.13), that is, (3.11) holds. As is arbitrarily small, in view of (3.11), it follows where .Step 2. We prove that . From the inequality (3.17), it has shown that is a bounded function defined on the interval . Thus, as , the upper limit (denoted by ) of exists, namely, the remaining work is to prove .Supposed that . From (3.18), there must exist arbitrary positive scalar and constant such that On the other hand, since , there must exist such that Letting , (3.19) and (3.20) hold for . Thus, it from (3.10) follows that By virtue of (3.18), we have From the arbitrary property of , it follows , that is,, which contradicts the condition: . Thus, . The proof of this Lemma is completed.

Theorem 3.4. Suppose that the conditions: (H₁)–(H₃) are satisfied and , then the mild solution to system (2.2) is exponentially stable in moment.

Proof. In view of (2.4) and the elementary inequality, we have From the condition (H₂), it from (3.23) concludes that From Lemma 2.3, we obtain Substituting (3.25) into (3.24), it follows And it is easily verified that there exists two positive number and such that , for any .By Lemma 3.2, we can derive that , where The proof of this Theorem is completed.

Theorem 3.5. Suppose that the conditions: (H₁)–(H₃) are satisfied, then the mild solution to system (2.2) is asymptotically stable in moment.

Proof. Similarly, we can obtain the conclusion as follows: and it is easily verified that there exists two positive number and such that , for any .By Lemma 3.3, we can derive that To obtain the asymptotical stability in -moment, we need to prove that mild solution of system (2.2) is stable in -moment. Let be given and choose such that where If is a mild solution of system (2.2) with , then is defined in (2.4). Now, we claim that for all . Notice that . If there exists such that and , for all , then it follows from (2.4) that which contradicts the definition of . This shows that the mild solution of system (2.2) is asymptotically stable in -moment. The proof of this Theorem is completed.

4. An Illustrative Example

In this section, we provide an example to illustrate the obtained results above. Let and with the norm . And let denote the completed orthonormal basis in . Let , where are one-dimensional standard Brownian motions mutually independent on a usual complete probability space . Define by with the domain are absolutely continuous, . Then, where , is also the orthonormal set of eigenvector of . It is well known that and .

Now, we consider the following second-order neutral stochastic partial differential equations with infinite delays:

Define for any .

It is easily verified that for any .

By virtue of Theorems 3.4 and 3.5, the exponential stability in -moment and the asymptotical stability in -moment for mild solution to system (4.2) are obtained, provided that the following inequality: holds.

Remark 4.1. Obviously, the result in [18] is ineffective in dealing with this example, and our results are more general than those proposed in [18]. Besides, our results can be easily extended to investigate two cases: (1) the exponential stability and the asymptotic stability for the second-order neutral stochastic partial differential equations with infinite delay and impulses and (2) the exponential stability for the second-order neutral stochastic partial differential equations with time-varying delays; the readers can refer to [12, 22]. Here, we omit them.

References

V. B. Kolmanovskii and A. Myshkis, Applied Theory of Functional-Differential Equations, Kluwer Academic, Norwell, Mass, USA, 1992.

R. Khasminskii, Stochastic Stability of Differential Equations, Sijthoff & Noordhoff, Amsterdam, The Netherlands, 1980.

C. C. Travis and G. F. Webb, “Cosine families and abstract nonlinear second order differential equations,” Acta Mathematica Academiae Scientiarum Hungaricae, vol. 32, no. 1-2, pp. 75–96, 1978.

H. Chen, “The existence and uniqueness for the solution of neutral stochastic functional differential equations with infinite delay,” Journal of Mathematical Research and Exposition, vol. 30, no. 4, pp. 589–598, 2010.

J. Luo and T. Taniguchi, “The existence and uniqueness for non-Lipschitz stochastic neutral delay evolution equations driven by Poisson jumps,” Stochastics and Dynamics, vol. 9, no. 1, pp. 135–152, 2009.

N. I. Mahmudov, “Existence and uniqueness results for neutral SDEs in Hilbert spaces,” Stochastic Analysis and Applications, vol. 24, no. 1, pp. 79–95, 2006.

T. Caraballo, J. Real, and T. Taniguchi, “The exponential stability of neutral stochastic delay partial differential equations,” Discrete and Continuous Dynamical Systems. Series A, vol. 18, no. 2-3, pp. 295–313, 2007.

J. P. Dauer and N. I. Mahmudov, “Integral inequalities and mild solutions of semilinear neutral evolution equations,” Journal of Mathematical Analysis and Applications, vol. 300, no. 1, pp. 189–202, 2004.

L. Hu and Y. Ren, “Existence results for impulsive neutral stochastic functional integro-differential equations with infinite delays,” Acta Applicandae Mathematicae, vol. 111, no. 3, pp. 303–317, 2010.

P. Balasubramaniam and P. Muthukumar, “Approximate controllability of second-order stochastic distributed implicit functional differential systems with infinite delay,” Journal of Optimization Theory and Applications, vol. 143, no. 2, pp. 225–244, 2009.

J. Luo and T. Taniguchi, “Fixed points and stability of stochastic neutral partial differential equations with infinite delays,” Stochastic Analysis and Applications, vol. 27, no. 6, pp. 1163–1173, 2009.

H. Chen, “Integral inequality and exponential stability for neutral stochastic partial differential equations,” Journal of Inequalities and Applications, vol. 2009, Article ID 297478, 15 pages, 2009.

K. Balachandran, D. Park, and S. Anthoni, “Existence of solutions of abstract-nonlinear second-order neutral functional integrodifferential equations,” Computers & Mathematics with Applications, vol. 46, no. 8-9, pp. 1313–1324, 2003.

K. Balachandran and S. Anthoni, “Controllability of second-order semilinear neutral functional differential systems in Banach spaces,” Computers & Mathematics with Applications, vol. 41, no. 10-11, pp. 1223–1235, 2001.

J. Park, Y. Kwun, and H. Lee, “Controllability of second-order neutral functional differential inclusions in Banach spaces,” Journal of Mathematical Analysis and Applications, vol. 285, no. 1, pp. 37–49, 2003.

N. I. Mahmudov and M. A. McKibben, “Approximate controllability of second-order neutral stochastic evolution equations,” Dynamics of Continuous, Discrete & Impulsive Systems. Series B, vol. 13, no. 5, pp. 619–634, 2006.

M. McKibben, “Second-order neutral stochastic evolution equations with heredity,” Journal of Applied Mathematics and Stochastic Analysis, no. 2, pp. 177–192, 2004.

R. Sakthivel, Y. Ren, and H. Kim, “Asymptotic stability of second-order neutral stochastic differential equations,” Journal of Mathematical Physics, vol. 51, no. 5, Article ID 052701, 9 pages, 2010.

J. Wu, Theory And Applications Of Partial Functional-Differential Equations, Springer, New York, NY, USA, 1996.

G. Da Prato and J. Zabczyk, Stochastic Equations in Infinite Dimensions, Cambridge University Press, Cambridge, UK, 1992.

H. O. Fattorini, Second Order Linear Differential Equations in Banach Spaces, North Holland Mathematics Studies Series No. 108 Elsevier Science, North-Holland, Amsterdam, The Netherlands, 1985.

H. Chen, “Impulsive-integral inequality and exponential stability for stochastic partial differential equations with delays,” Statistics & Probability Letters, vol. 80, no. 1, pp. 50–56, 2010.