Journal of Function Spaces
Volume 2015 (2015), Article ID 925209, 26 pages
http://dx.doi.org/10.1155/2015/925209

Research Article

On Approximate Controllability of Second-Order Neutral Partial Stochastic Functional Integrodifferential Inclusions with Infinite Delay and Impulsive Effects

Zuomao Yan

Department of Mathematics, Hexi University, Zhangye, Gansu 734000, China

Received 20 January 2015; Revised 16 April 2015; Accepted 19 April 2015

Academic Editor: Mark A. McKibben

Copyright © 2015 Zuomao Yan. 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.

We discuss the approximate controllability of second-order impulsive neutral partial stochastic functional integrodifferential inclusions with infinite delay under the assumptions that the corresponding linear system is approximately controllable. Using the fixed point strategy, stochastic analysis, and properties of the cosine family of bounded linear operators combined with approximation techniques, a new set of sufficient conditions for approximate controllability of the second-order impulsive partial stochastic integrodifferential systems are formulated and proved. The results in this paper are generalization and continuation of the recent results on this issue. An example is provided to show the application of our result.

1. Introduction

Impulsive effects exist widely in many evolution processes in which states are changed abruptly at certain moments of time, involving fields such as physics, chemical technology, population dynamics, biotechnology, and economics; see [1–4] and the references therein. However, in addition to impulsive effects, stochastic effects likewise exist in real systems. A lot of dynamical systems have variable structures subject to stochastic abrupt changes, which may result from abrupt phenomena such as stochastic failures and repairs of the components, changes in the interconnections of subsystems, sudden environment changes, and other areas of science. Therefore, it is necessary and important to consider the impulsive stochastic dynamical systems. Particularly, the authors in [5–7] studied the existence of mild solutions for a class of abstract impulsive neutral stochastic functional differential and integrodifferential equations with infinite delay in Hilbert spaces.

The concept of controllability leads to some very important conclusions regarding the behavior of linear and nonlinear dynamical systems. In the case of infinite-dimensional systems, two basic concepts of controllability can be distinguished. There are exact and approximate controllability. However, the concept of exact controllability is usually too strong [8]. Therefore, approximate controllability problems for deterministic and stochastic dynamical systems in infinite dimensional spaces are well developed using different kind of approaches (see [9, 10]). Stochastic control theory is a stochastic generalization of classic control theory. So significant progress has been made in the approximate controllability of linear and nonlinear stochastic systems in Banach spaces (see, e.g., [9–12]). Several papers [13–16] have appeared on the approximate controllability of nonlinear impulsive stochastic differential systems in Hilbert spaces.

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. Recently, based on the fixed point theory, the existence and approximate controllability of mild solutions for various second-order stochastic partial differential equations and impulsive stochastic partial differential equations have been extensively studied. For example, Ren and Sun [17], Cui and Yan [18], and Mahmudov and McKibben [19] proved the approximate controllability of second-order neutral stochastic evolution differential equations. Muthukumar and Balasubramaniam [20] established sufficient conditions for the approximate controllability of a class of second-order nonlinear stochastic functional differential equations of McKean-Vlasov type. Balasubramaniam and Muthukumar in [21] discussed the approximate controllability of second-order neutral stochastic distributed implicit functional differential equations with infinite delay. Sakthivel et al. in [22] studied the approximate controllability of second-order impulsive stochastic differential equations. On the other hand, many systems arising from realistic models can be described as partial stochastic differential or integrodifferential inclusions (see [23–27] and references therein), so it is natural to extend the concept controllability of mild solution for second-order impulsive stochastic evolution equations to second-order impulsive systems represented by stochastic partial differential or integrodifferential inclusions. In this paper, we consider the approximate controllability of the following second-order impulsive neutral partial stochastic functional integrodifferential inclusions with infinite delay in Hilbert spaces of the form

where the state takes values in a separable real Hilbert space with inner product and norm The operator is the infinitesimal generator of a strongly continuous cosine family on . The control function , a Hilbert space of admissible control functions, is an integer, and is a bounded linear operator from a Banach space to Let be another separable Hilbert space with inner product and norm Suppose that is a given -valued Wiener process with a covariance operator defined on a complete probability space equipped with a normal filtration , which is generated by the Wiener process . The time history given by belongs to some abstract phase space defined axiomatically; , , , , are given functions to be specified later. Moreover, let be prefixed points and the symbol , where and represent the right and left limits of at , respectively. The initial data is an -adapted, -valued random variable independent of the Wiener process with finite second moment.

To the best of the author’s knowledge, there are no results about the existence and approximate controllability of mild solutions for second-order impulsive second-order neutral partial stochastic functional integrodifferential inclusions with infinite delay, which is expressed in the form of (1). In order to fill this gap, this paper studies this interesting problem. We derive the sufficient conditions for the approximate controllability of system (1) by using the fixed point theorem for multivalued mapping due to Dhage [28] with stochastic analysis and properties of the cosine family of bounded linear operators combined with approximation techniques. The obtained result can be seen as a contribution to this emerging field. Moreover, the operators , are continuous but without imposing completely continuous and Lipschitz condition. The results shown are also new for deterministic second-order systems with impulsive effects.

The rest of this paper is organized as follows. In Section 2, we introduce some notations and necessary preliminaries. Section 3 verifies the existence of solutions for impulsive stochastic control system (1). In Section 4 we establish the approximate controllability of impulsive stochastic control system (1). Finally in Section 5, an example is given to illustrate our results.

2. Preliminaries

Let be a complete probability space equipped with a normal filtration Let and be the separable Hilbert spaces and let be a -Weiner process on with the covariance operator such that We assume that there exists a complete orthonormal system in , a bounded sequence of nonnegative real numbers such that , and a sequence of independent Brownian motions such that

and , where is the -algebra generated by Let be the space of all Hilbert-Schmidt operators from to with the inner product Let be the Banach space of all -measurable th power integrable random variables with values in the Hilbert space . Let be the Banach space of continuous maps from into satisfying the condition

We use the notations that is the family of all subsets of Let us introduce the following notations:

Consider given by

where and Then is a metric space and is a generalized metric space.

In what follows, we briefly introduce some facts on multivalued analysis. For more details, one can see [29, 30].

A multivalued map is convex (closed) valued if is convex (closed) for all . is bounded on bounded sets if is bounded in for any bounded set of ; that is, .

is called upper semicontinuous (u.s.c., in short) on , if, for any , the set is a nonempty, closed subset of and if, for each open set of containing , there exists an open neighborhood of such that .

is said to be completely continuous if is relatively compact for every bounded subset of If the multivalued map is completely continuous with nonempty compact values, then is u.s.c. if and only if has a closed graph; that is, , , and imply .

is said to be completely continuous if is relatively compact, for every bounded subset .

A multivalued map is said to be measurable if, for each , the function defined by is measurable.

In this paper, is the infinitesimal generator of a strongly continuous cosine function of bounded linear operators on . 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 As usual we denote by the domain of operator endowed with the graph norm Moreover, the notation stands for the space formed by the vectors for which is of class on It was proved by Kisyński [31] that endowed with the norm , , is a Banach space. Such cosine and corresponding sine families and their generators satisfy that the following properties.

Lemma 1 (see [32]). Suppose that is the infinitesimal generator of a cosine family of operators . Then, the following hold:

(a)There exist and such that and hence (b)Consider for all (c)There exists such that for all

The existence of solutions of the second-order linear abstract Cauchy problem

where is an integrable function, has been discussed in [33]. Similarly, the existence of solutions for semilinear second-order abstract Cauchy problem has been treated in [32]. We only mention here that the function given by

is called a mild solution of (5) and if , the function is continuously differentiable and

A function is said to be normalized piecewise continuous function on if is piecewise continuous and left continuous on . We denote by the space formed by the normalized piecewise continuous, -adapted measurable processes from into . In particular, we introduce the space formed by all -adapted measurable, -valued stochastic processes such that is continuous at and exists for Similarly, formed by all -adapted measurable, -valued stochastic processes such that is continuous at , , and exists for In this paper, we always assume that is endowed with the norm Then is a Banach space. Next, for , we represent by the right derivative at and by the right derivative at zero. It is easy to see that is provided with the norm being a Banach space.

In this paper, we assume that the phase space is a seminormed linear space of -measurable functions mapping into and satisfying the following fundamental axioms due to Hale and Kato (see, e.g., [34]).

(A)If , such that and , then for every the following conditions hold:

(i) is in ;(ii);(iii), where is a constant; is continuous and is locally bounded, and , , and are independent of

(B)For the function in (A), the function is continuous from into (C)The space is complete.

Example 2. The phase space . Let , and let be a nonnegative measurable function which satisfies conditions (h-5) and (h-6) in the terminology of Hino et al. [35]. Briefly, this means that is locally integrable and there is a nonnegative, locally bounded function on such that for all and , where is a set whose Lebesgue measure is zero. We denote by the set consisting of all classes of functions such that is Lebesgue measurable on , and is Lebesgue integrable on The seminorm is given by

The space satisfies axioms (A)–(C). Moreover, when and , we can take , , and , for (see [35, Theorem ] for details).

Remark 3 (see [4]). In retarded functional differential equations without impulses, the axioms of the abstract phase space include the continuity of the function Due to the impulsive effect, this property is not satisfied in impulsive delay systems and, for this reason, has been eliminated in our abstract description of

Remark 4. In the rest of this paper and are the constants defined by and

For , we denote by , , the unique continuous function such that

Moreover, for we denote by , , the set The notation stands for the closed ball with center at and radius in

Lemma 5. A set is relatively compact in if and only if the set is relatively compact in , for every

Furthermore, we need the following result.

Lemma 6 (see [36]). Let be an integrable function such that Then the function belongs to , the function is integrable on , and , .

Let be the state value of system (1) at terminal time corresponding to the control and the initial value Introduce the set

which is called the reachable set of system (1) at terminal time , and its closure in is denoted by

Now we give the definitions of mild solutions and approximate controllability for system (1).

Definition 7. An -adapted stochastic process is called a mild solution of system (1) if , , and the impulsive conditions and , are satisfied and

(i) is adapted to .(ii) has càdlàg paths on a.s. and, for each , satisfies the integral equation

where

Definition 8. System (1) is said to be approximately controllable on the interval if

It is convenient at this point to define operators

where denotes the adjoint of and is the adjoint of It is straightforward that the operator is a linear bounded operator:

(S1), as in the strong operator topology.

Lemma 9. Assumption (S1) holds if and only if , as in the strong operator topology.

The proof of this lemma is a straightforward adaptation of the proof of [9, Theorem ].

Lemma 10 (see [10]). For any there exists such that .

Now for any and we define the control function

where

The next result is a consequence of the phase space axioms.

Lemma 11. Let be an -adapted measurable process such that -adapted process and ; then

Lemma 12 (see [37]). For any and for arbitrary -valued predictable process ,

The consideration of this paper is based on the following fixed point theorem due to Dhage [28].

Lemma 13. Let be a Hilbert space, and let and be two multivalued operators satisfying that

(a) is a contraction(b) is completely continuous.

Then either

(i)the operator inclusion has a solution or(ii)the set is unbounded for

3. Existence of Solutions for Impulsive Stochastic Control System

In this section, we prove the existence of solutions for impulsive stochastic control system (1). We make the following hypotheses:

(H1) is the infinitesimal generator of a strongly continuous cosine family on and the corresponding sine family satisfies the conditions , , and , for some constants , , , and (H2), is compact.(H3)The function is continuous and there exist such that

 for all , and

 with (H4)The function satisfies the following conditions:

(i)For each the function is continuous and, for each , the function is strongly measurable.(ii)There exists a continuous function , such that

 for a.e. , where is a continuous nondecreasing function.

(H5)The multivalued map satisfies the following conditions:

(i)For each , the function is u.s.c. and, for each , the function is measurable and the set

 is nonempty.(ii)There exist a continuous function and a continuous nondecreasing function such that

 a.e. , with

 where

(H6)The functions are continuous and there are constants , , , such that

 for every

Lemma 14 (see [38]). Let be a compact interval and let be a Hilbert space. Let be a multivalued map satisfying (H5) (i) and let be a linear continuous operator from to Then the operator is a closed graph in

Remark 15. In what follows, we set , , and

Theorem 16. If assumptions (H1)–(H6) are satisfied, further, suppose that, for all , system (1) has at least one mild solution on , provided that

Proof. Let endowed with the norm of Thus is Banach space. Now we can define the multivalued map by the set of such that

where

and , and is such that and on In what follows, we aim to show that the operator has a fixed point, which is a solution of problem (1).
Let be a decreasing sequence in such that To prove the above theorem, we consider the following problem:

We will show that the problem has at least one mild solution
For fixed , set the multivalued map by the set of such that

where

and It is easy to see that the fixed point of is a mild solution of the Cauchy problem (27).
Let be the extension of such that on Now, we consider the following multivalued operators and defined by

It is clear that The problem of finding mild solutions of (27) is reduced to find the solutions of the operator inclusion In what follows, we show that operators and satisfy the conditions of Lemma 13.
Step 1. is a contraction on
Let and From (H3) and Lemma 11, we have

By Lemma 6, we have

Similarly, for any , we have

Taking supremum over , it follows that

where Hence, is a contraction on .
Step 2. has compact, convex values and it is completely continuous.
is convex for each .
In fact, if , belong to , then there exist such that

Let For each we have

Since is convex (because has convex values) we have .
maps bounded sets into bounded sets in
Indeed, it is enough to show that there exists a positive constant such that, for each , one has . If , then there exists such that, for each ,

However, on the other hand, from the condition (H6), we conclude that there exist positive constants such that, for all ,

Let

Therefore

If , from Lemma 11, it follows that

By (H1)–(H5) and (40)-(41), from (37) we have for

where , By Lemma 6, we have

Similarly, for any , we have

Take Then for each , we have .
is a compact multivalued map.
To this end, we decompose by , where the map is defined by and the set such that

and the map is defined by , and the set such that

First, is a compact multivalued map. We begin by showing that is equicontinuous. Let Then, we have, for each ,

where

The fact of the compactness of for implies the continuity in the uniform operator topology. So as , with being sufficiently small, the right-hand side of the above inequality is independent of and tends to zero. The equicontinuities for the cases or are very simple. Thus the set is equicontinuous.
We now prove that is relatively compact for every Let be fixed and let be a real number satisfying For , we define

where Using the compactness of for , we deduce that the set is relatively compact in for every , Moreover, for every we have

There are relatively compact sets arbitrarily close to the set , and is a relatively compact in Hence, the Arzelá-Ascoli theorem shows that is a compact multivalued map.
Secondly, is a compact multivalued map. We begin by showing that is equicontinuous. For each , is fixed, , and , such that

Next, for , , we have, using the property of compact operator,

As , the right-hand side of the above inequality tends to zero independently of due to the sets which are relatively compact in and the strong continuity of So , are equicontinuous.
Now we prove that , is relatively compact for every
From the following relations

we conclude that , , is relatively compact for every By Lemma 5, we infer that is relatively compact. Moreover, using the continuity of the operators ,, for all , we conclude that operator is also a compact multivalued map.
has a closed graph.
Let , , , and From axiom (A), it is easy to see that uniformly for as We prove that Now means that there exists such that, for each ,

where

We must prove that there exists such that, for each ,

where

Since , , , , are continuous, we obtain that

Consider the linear continuous operator ,

From Lemma 14, it follows that is a closed graph operator. Also, from the definition of , we have that, for every ,

Since , for some it follows that, for every , we have

Therefore, is a completely continuous multivalued map, u.s.c. with convex closed, compact values.
Step 3. We will show that the set is bounded on .
Let , and then there exists such that we have

It also follows from Lemma 6 that

This implies by (H1)–(H5) and (41) that for each we have

Similarly, for any , we have

By Lemma 11, it follows that

Consider the function defined by

where

For each , we have

Since , it follows that

where

Since , we obtain

Denoting by the right-hand side of the above inequality, we have

, and

Let ; then , and for each we have

where

This implies that

This inequality shows that there is a constant such that , , and hence , where depends only on , , , , , and and on the functions , , and This indicates that is bounded on Consequently, by Lemma 13, we deduce that has a fixed point , which is a mild solution of problem (27). Then, we have

for , and some
Next we will show that the set is relatively compact in . We consider the decomposition , where

for some , and

Step 4. is relatively compact in .
is equicontinuous on
For , , there exists a constant such that, for all and with , we have

Using the compact operator property, we can choose such that

By (83) one has

Therefore, is equicontinuous for Clearly is equicontinuous.
is relatively compact in
Let , , ; there exists such that

where

for some By the compactness of , for , we see that the set is relatively compact in Combining the above inequality, one has which is relatively compact in .
Step 5. is relatively compact in .
is equicontinuous on
For any , Since , are compact operators, we find that the sets and are relatively compact in From the strong continuity of , for , we can choose such that

when . For each , is fixed and , such that

As and is sufficiently small, the right-hand side of the above inequality tends to zero independently of , so , , are equicontinuous.
is relatively compact in .
For , and , we have that there exists such that

where is a closed ball of radius . One has , which is relatively compact for every , and is relatively compact in .
These facts imply the relatively compact of in . Therefore, without loss of generality, we may suppose that

Obviously, ; taking limits in (79) one has

for , and some , which implies that is a mild solution of the problem (1) and the proof of Theorem 16 is complete.

4. Approximate Controllability of Impulsive Stochastic Control System

In this section, we present our main result on approximate controllability of system (1). To do this, we also need the following assumptions:

(B1)The function is continuous and there exists a constant such that

 for .(B2)There exists a constant such that

 for , where

Theorem 17. Assume that assumptions of Theorem 16 hold and, in addition, hypotheses (S1), (B1), and (B2) are satisfied. Then system (1) is approximately controllable on .

Proof. Let be a fixed point of in . By Theorem 16, any fixed point of is a mild solution of system (1). This means that there is ; that is, there is such that

where

and by using the stochastic Fubini theorem, it is easy to see that

By conditions (B1) and (B2), we get that the sequences and are uniformly bounded on Thus there are subsequences, still denoted by and that converge weakly to, say, in and in , respectively. The compactness of , , implies that , . On the other hand, by Lemma 9, for all , strongly as and Therefore, by the Lebesque dominated convergence theorem it follows that

So holds, which shows that system (1) is approximately controllable and the proof is complete.

5. Example

Consider the following impulsive partial stochastic neutral differential inclusions of the form

where is a strictly increasing sequence of positive numbers and is a real function of bounded variation on . denotes a standard cylindrical Wiener process in defined on a stochastic space .

Let with the norm and define the operator by with the domain

It is well known that is the infinitesimal generator of a strongly continuous cosine family in and is given by

where is the orthogonal set of eigenvalues of The associated sine family , , is compact and is given by

Additionally, we will assume the following:

(i)The functions , , are continuous, and .(ii)The functions , , are continuous and there exist continuous functions , , such that

 with , .(iii)The functions , , are continuous.(iv)The functions , , are continuous, , and for every .

Take which is the space introduced in Example 2. Set , defining the maps , by

Using these definitions, we can represent system (99) in the abstract form (1). Moreover, it is easy to see that , , and are continuous, and , , , and are bounded linear operators with , , , , and , where , , , and . Further, we can impose some suitable conditions on the above-defined functions to verify the assumptions on Theorem 16. Therefore, assumptions (H1)–(H6), (B1), and (B2) all hold, and the associated linear system of (99) is not exactly controllable but it is approximately controllable. Hence by Theorems 16 and 17, system (99) is approximately controllable on .

Conflict of Interests

The author declares that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

The author thanks the referees for their valuable comments and suggestions which improved their paper. This work is supported by the National Natural Science Foundation of China (Grant no. 11461019) and is supported by the President Found of Scientific Research Innovation and Application of Hexi University (Grant no. xz2013-10).

References

M. Benchohra, J. Henderson, and S. K. Ntouyas, Impulsive Differential Equations and Inclusions, vol. 2 of Contemporary Mathematics and Its Applications, Hindawi Publishing Corporation, New York, New York, NY, USA, 2006.

V. Lakshmikanthan, D. D. Bainov, and P. S. Simeonov, Theory of Impulsive Differential Equations, World Scientific Publishers, Singapore, 1989.

W. M. Haddad, V. Chellaboina, and S. G. Nersesov, Impulsive and Hybrid Dynamical Systems: Stability, Dissipativity, and Control, Princeton Series in Applied Mathematics, Princeton University Press, Princeton, NJ, USA, 2006.

E. Hernández, M. Pierri, and G. Goncalves, “Existence results for an impulsive abstract partial differential equation with state-dependent delay,” Computers & Mathematics with Applications, vol. 52, no. 3-4, pp. 411–420, 2006.

A. Anguraj and A. Vinodkumar, “Existence, uniqueness and stability results of impulsive stochastic semilinear neutral functional differential equations with infinite delays,” Electronic Journal of Qualitative Theory of Differential Equations, vol. 67, pp. 1–13, 2009.

A. Lin, Y. Ren, and N. Xia, “On neutral impulsive stochastic integro-differential equations with infinite delays via fractional operators,” Mathematical and Computer Modelling, vol. 51, no. 5-6, pp. 413–424, 2010.

Z. Yan and X. Yan, “Existence of solutions for impulsive partial stochastic neutral integrodifferential equations with state-dependent delay,” Collectanea Mathematica, vol. 64, no. 2, pp. 235–250, 2013.

R. Triggiani, “A note on the lack of exact controllability for mild solutions in Banach spaces,” SIAM Journal on Control and Optimization, vol. 15, no. 3, pp. 407–411, 1977.

N. I. Mahmudov and A. Denker, “On controllability of linear stochastic systems,” International Journal of Control, vol. 73, no. 2, pp. 144–151, 2000.

J. P. Dauer and N. I. Mahmudov, “Controllability of stochastic semilinear functional differential equations in Hilbert spaces,” Journal of Mathematical Analysis and Applications, vol. 290, no. 2, pp. 373–394, 2004.

N. I. Mahmudov, “Controllability of linear stochastic systems,” IEEE Transactions on Automatic Control, vol. 46, no. 5, pp. 724–731, 2001.

P. Balasubramaniam, J. Y. Park, and P. Muthukumar, “Approximate controllability of neutral stochastic functional differential systems with infinite delay,” Stochastic Analysis and Applications, vol. 28, no. 2, pp. 389–400, 2010.

R. Sakthivel, J. J. Nieto, and N. I. Mahmudov, “Approximate controllability of nonlinear deterministic and stochastic systems with unbounded delay,” Taiwanese Journal of Mathematics, vol. 14, no. 5, pp. 1777–1797, 2010.

R. Subalakshmi and K. Balachandran, “Approximate controllability of nonlinear stochastic impulsive integrodifferential systems in Hilbert spaces,” Chaos, Solitons & Fractals, vol. 42, no. 4, pp. 2035–2046, 2009.

L. Shen and J. Sun, “Approximate controllability of stochastic impulsive functional systems with infinite delay,” Automatica, vol. 48, no. 10, pp. 2705–2709, 2012.

Y. Zang and J. Li, “Approximate controllability of fractional impulsive neutral stochastic differential equations with nonlocal conditions,” Boundary Value Problems, vol. 2013, article 193, 14 pages, 2013.

Y. Ren and D. Sun, “Second-order neutral impulsive stochastic evolution equations with delay,” Journal of Mathematical Physics, vol. 50, Article ID 102709, 2009.

J. Cui and L. Yan, “Existence results for impulsive neutral second-order stochastic evolution equations with nonlocal conditions,” Mathematical and Computer Modelling, vol. 57, no. 9-10, pp. 2378–2387, 2013.

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

P. Muthukumar and P. Balasubramaniam, “Approximate controllability of second-order damped McKean-Vlasov stochastic evolution equations,” Computers & Mathematics with Applications, vol. 60, no. 10, pp. 2788–2796, 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.

R. Sakthivel, Y. Ren, and N. I. Mahmudov, “Approximate controllability of second-order stochastic differential equations with impulsive effects,” Modern Physics Letters B: Condensed Matter Physics, Statistical Physics, Applied Physics, vol. 24, no. 14, pp. 1559–1572, 2010.

R. Pettersson, “Existence theorem and Wong-Zakai approximations for multivalued stochastic differential equations,” Probability and Mathematical Statistics, vol. 17, pp. 29–45, 1997.

N. U. Ahmed, “Nonlinear stochastic differential inclusions on Banach space,” Stochastic Analysis and Applications, vol. 12, no. 1, pp. 1–10, 1994.

P. Balasubramaniam and S. K. Ntouyas, “Controllability for neutral stochastic functional differential inclusions with infinite delay in abstract space,” Journal of Mathematical Analysis and Applications, vol. 324, no. 1, pp. 161–176, 2006.

Z. Yan and X. Yan, “Existence of solutions for a impulsive nonlocal stochastic functional integrodifferential inclusion in Hilbert spaces,” Zeitschrift für Angewandte Mathematik und Physik, vol. 64, no. 3, pp. 573–590, 2013.

Z. Yan and H. Zhang, “Existence of impulsive fractional partial neutral stochastic integro-differential inclusions with state-dependent delay in Hilbert spaces,” Electronic Journal of Differential Equations, vol. 2013, pp. 1–21, 2013.

B. C. Dhage, “Fixed-point theorems for discontinuous multivalued operators on ordered spaces with applications,” Computers & Mathematics with Applications, vol. 51, no. 3-4, pp. 589–604, 2006.

K. Deimling, Multi-Valued Differential Equations, De Gruyter, Berlin, Germany, 1992.

S. Hu and N. Papageorgiou, Handbook of Multivalued Analysis, Kluwer Academic Publishers, Dordrecht, The Netherlands, 1997.

J. Kisyński, “On cosine operator functions and one parameter group of operators,” Studia Mathematica, vol. 49, pp. 93–105, 1972.

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.

C. C. Travis and G. F. Webb, “Compactness, regularity, and uniform continuity properties of strongly continuous cosine families,” Houston Journal of Mathematics, vol. 3, no. 4, pp. 555–567, 1977.

J. K. Hale and J. Kato, “Phase space for retarded equations with infinite delay,” Funkcialaj Ekvacioj. Serio Internacia, vol. 21, no. 1, pp. 11–41, 1978.

Y. Hino, S. Murakami, and T. Naito, Functional-Differential Equations with Infinite Delay, vol. 1473 of Lecture Notes in Mathematics, Springer, Berlin, Germany, 1991.

H. R. Henrĺquez and C. H. Vásquez, “Differentiability of solutions of second-order functional differential equations with unbounded delay,” Journal of Mathematical Analysis and Applications, vol. 280, no. 2, pp. 284–312, 2003.

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

A. Lasota and Z. Opial, “An application of the Kakutani-Ky-Fan theorem in the theory of ordinary differential equations,” Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques et Physiques, vol. 13, pp. 781–786, 1965.