Abstract and Applied Analysis
Volume 2013, Issue 1 783098
Research Article
Open Access

Complete Controllability of Impulsive Stochastic Integrodifferential Systems in Hilbert Space

Xisheng Dai, 

Corresponding Author

Xisheng Dai

School of Electrical and Information Engineering, Guangxi University of Science and Technology, Liuzhou 545006, China

School of Information and Electrical Engineering, Shandong University of Science and Technology, Qingdao 266510, China sdust.edu.cn

Search for more papers by this author
Feng Yang, 

Feng Yang

School of Electrical and Information Engineering, Guangxi University of Science and Technology, Liuzhou 545006, China

Search for more papers by this author
First published: 25 July 2013
https://doi.org/10.1155/2013/783098
Citations: 3
Academic Editor: G. M. N′Guérékata

Abstract

This paper concerns the complete controllability of the impulsive stochastic integrodifferential systems in Hilbert space. Based on the semigroup theory and Burkholder-Davis-Gundy′s inequality, sufficient conditions of the complete controllability for impulsive stochastic integro-differential systems are established by using the Banach fixed point theorem. An example for the stochastic wave equation with impulsive effects is presented to illustrate the utility of the proposed result.

1. Introduction

It is well known that controllability is one of the fundamental concepts and plays an important role in control theory and engineering. The problem which is about controllability of linear and nonlinear stochastic systems represented by SODE (stochastic ordinary differential equation) in finite dimensional space has been extensively studied (e.g., [1–4] and references therein). The controllability for infinite dimensional stochastic systems represented by SPDE (stochastic partial differential equation) is natural generalization of stochastic systems in finite dimensional space [5]. According to the literature, at least three types of infinite dimensional stochastic systems have been studied, that is, approximate, complete, and S-controllability [6], so the controllability research of the infinite dimensional stochastic systems is usually more complicated than that of the finite dimensional. For linear stochastic system, the controllability problem has been studied by some authors [6, 7], which is shown as the following SPDE:
()
where x0 is ℱ0-measurable, H is separable Hilbert space, A is the infinitesimal generator of a strongly continuous semigroup S(t) on H, B ∈ ℒ(U, H), u(t) is feedback control, W(t) is Q-Wiener process, andΣ ∈ ℒ2(Q1/2E, H). For nonlinear stochastic systems in infinite dimensional space, there are also many results on the controllability theory (see [8–13]).

On the other hand, the impulsive effects exist widely in many evolution processes in which the states are changed abruptly at certain moments of time, involving fields such as finance, economics, mechanics, electronics, and telecommunications (see [14] and references of therein). Impulsive differential systems have emerged as an important area investigation in applied sciences, and many papers have been published about the controllability of impulsive differential systems both in finite and infinite dimensional space. Sakthivel et al. [15] established the sufficient conditions for approximate controllability of nonlinear impulsive differential systems by Schauder’s fixed point theorem; Li et al. [16] investigated the complete controllability of the first-order impulsive functional differential systems in Banach space using Schaefer’s fixed point theorem; Chang [17] studied the complete controllability of impulsive functional differential systems with infinite delay; Sakthivel et al. [18] discussed complete controllability of second-order nonlinear impulsive differential systems. However, the complete controllability problem of impulsive stochastic integro-differential systems has not been investigated in infinite dimensional space yet, to the best of our knowledge, although [19–22], respectively, investigated the controllability of impulsive stochastic control systems in finite dimensional space by using contraction mapping principle; and Subalakshmi and Balachandran [23] studied the approximate controllability of nonlinear stochastic impulsive systems in Hilbert spaces by using Nussbaum’s fixed point theorem. Based on Banach fixed point theorem, the proposed work in this paper on the complete controllability of the integro-differential stochastic systems with impulsive effects in Hilbert spaces is new in the literature.

In this paper, our main purpose is to show the complete controllability of following impulsive stochastic integro-differential systems in Hilbert space,
()
where F : [0, T] × H × H → H, G : [0, T] × H × H → ℒ2(Q1/2E, H), f, g : [0, T × [0, T] × H → H are measurable mappings. ,  t = tk,  k = 1,2, …, ρ, where and denote the right and left limits of x(t) at t = tk, respectively. Also represents the jump in the state x at time tk with Ik determining the size of the jump. For systems (2), if Ik = 0, the controllability problem was studied by Subalakshmi et al. [11]. If Ik ≠ 0 and G = 0,  f = 0, [15] discussed the approximate controllability problem. When A, B are matrices with appropriate dimensions, F, G are vectors (in fact, matrix is aspecial form of operator), and f = g = 0, Karthikeyan et al. [19] obtained the controllability results, so system (2) is of the more general form and has great diversity.

The outline of this paper is as follows: Section 2 contains basic notations, lemmas, and preliminary facts. The controllability results are given in Section 3 by fixed point methods. In Section 4, we provide an example to demonstrate the effectiveness of our method. Finally, conclusions are given in Section 5.

2. Preliminaries

Let (Ω, ℱ, ℙ) be a complete probability space with a filtration {ℱt} t⩾0 satisfying the usual conditions (i.e., it is right continuous and ℱ0 contains all ℙ-null sets). We consider three Hilbert spaces E,  H, and U, and a Q-Wiener process on (Ω, ℱ, ℙ) with the covariance operator Q ∈ ℒ(E) such that tr Q < ∞. Let 〈·〉 and ∥·∥ denote inner product and norm of H, respectively. ℒ(X, Y) is the space of all linear bounded operator from a Hilbert space X to a Hilbert space Y. We also employ the same notation ∥·∥ for the norm of ℒ(X, Y). We assume that there exists a complete orthonormal {ek} in E, a bounded sequence of nonnegative real numbers λk such that Qek = λkek,  k = 1,2, …, and a sequence {βk} of independent Brownian motions such that
()
and , where is the σ-algebra generated by {β(s) : 0 ⩽ s ⩽ t}. Let be the space of all Hilbert-Schmidt operator from Q1/2E to H with the inner product and the norm . L2(ℱT, H) is the Hilbert space of all ℱT-measurable square integrable random variables with values in Hilbert space H. is the Hilbert space of square integrable and ℱT-adapted processes with values in H.

Let PC([0, T], L2(Ω, ℱ, ℙ; H)) = {ϕ : ϕ is a function from [0, T] into L2(Ω, ℱ, ℙ; H) such that ϕ(t) is continuous at t ≠ tk, left continuous at t = tk, and the right limit exists for k = 1,2, …, ρ}. ℋ2(U2) is the closed subspace of PC([0, T], L2(Ω, ℱ, ℙ; H)) consisting of measurable and ℱt-adapted H-valued(U-valued) process ϕ(·) ∈ PC([0, T], L2(Ω, ℱ, ℙ; H))(ϕ(·) ∈ PC([0, T], L2(Ω, ℱ, ℙ; U))) endowed with the norm .

By a solution of system (2), we mean a mild solution of the following nonlinear integral equation:
()
where u ∈ Uad∶ = U2, S(t) t⩾0 denotes the strongly continuous semigroup generated by the operator A.
Now let us introduce the controllability operator associated with (4) (see[8]),
()
which belongs to ℒ(H, H); B* is the adjoint operator of B.

Definition 1. System (2) is completely controllable on [0, T] if

()
That is, all the points in can be reached from the point x0 at time T, where .

Lemma 2 (Burkholder-Davis-Gundy’s inequality [23]). For any r⩾1 and for arbitrary -valued predictable process Ψ(t),  t ∈ [0, T], one has

()
where
()

Lemma 3 (Mahmudov [6]). The following linear system

()
is completely controllable if and only if , where γ is constant and I is unit operator.

Lemma 4. Assume that the operator is invertible. Then for arbitrary target xT ∈ L2(ℱT, H), the control

()
transfers the systems (4) from x0 to xT at time T, where , .

Proof. Substituting (10) into (4), we can obtain that

()
The proof is completed by letting t = T in (11).

3. Main Results

In this section, by using contraction mapping principle in Banach space we discuss the complete controllability criteria of semilinear impulsive stochastic systems (2). For the proof of the main result we impose the following assumptions on data of the problem.

Assumption A. The functions F, G, and I are continuous and satisfy the usual linear growth condition; that is, there exist positive real constants L1, αk for arbitrary x ∈ H, and 0 ⩽ t ⩽ T such that

()

Assumption B. The functions F, G, and I satisfy the following Lipschitz condition and for every t⩾0 and x, y ∈ H there exist positive real constants L2, βk, k2 such that

()

Assumption C. The linear system (9) is completely controllable. By Lemma 3, for some γ > 0, , for all z ∈ L2(ℱT, H). Consequently, .

Assumption D. Let be such that 0 ⩽ p < 1.

Now for convenience, let us introduce the following notations:
()

Theorem 5. Suppose that assumptions A, B, C, and D are satisfied. Then system (4) is completely controllable on [0, T].

Proof. For arbitrary initial data x0 ∈ ℋ2, we can define a nonlinear operator Φ from H2 to H2 as the following:

()
where u(t) is defined by (10).

By Lemma 4, the control (10) transfers system (4) from the initial state x0 to the final state xT provided that the operators Φ has a fixed point in ℋ2. So, if the operator Φ has a fixed point then system (2) is completely controllable. As mentioned before, to prove the complete controllability of the system (2), it is enough to show that Φ has a fixed point in ℋ2. To do this, we can employ the contraction mapping principle. In the following, we will divide the proof into two steps.

Firstly, we show that ℋ2 maps ℋ2 into itself. From (15) we have

()

Using Holder inequality, B-D-G inequality (here C1 = 4), and Assumption C, we have the following estimates:

()
Meanwhile by control function (15), we have
()
So similar as in (17), we get
()
From (17)–(19), we have
()
for all t ∈ [0, T], where C is constant. This implies that Φ maps ℋ2 into itself.

Secondly, we prove that Φ is a contraction mapping on ℋ2, for any x, y ∈ ℋ2,

()
Using Lipschitz condition, similiar to A1–A5, we have the following estimates:
()
()
()
()
()
()
together with inequalities (22)–(27):
()

Theorefore, Φ is a contraction mapping from ℋ2 to ℋ2, and hence Φ has a unique fixed point. Thus the system (4) is completely controllability on [0, T].

4. Example

Consider the impulsive stochastic integrao-differential wave equation with control u(t, z) ∈ L2[0,1],
()
where ∂w/∂t is white noise and initial and boundary conditions are
()
Let H = L2[0,1]; then A : H → H, Az = z′′. Domain of operator A is
()
Let
()
()
Then the system (29) is
()
where
()
and 𝒜 is the infinitesimal generator of a strongly continuous semigroup h(t),  t⩾0, on X = D(A1/2) ⊕ H, for x × y ∈ X:
()
,  θ ∈ [0,1]. Write h(t) is
()
where
()
The mild solution of system (29) is
()
by [7]; the stochastic linear system of (29) is complete controllable. Then from Theorem 5 one can easily prove system (29) is completely controllable, if the functions F, G, f, g, , satisfy Lipschitz condition and linear growth condition.

5. Conclusions

The complete controllability of impulsive stochastic integro-differential systems in Hilbert space has been investigated in this paper. Sufficient conditions of complete controllability for impulsive stochastic integro-differential systems are established by using the Banach fixed point theorem. An example illustrates the efficiency of proposed results.

Acknowledgments

This work is supported by National Natural Science Foundation of China under Grant nos. 61273126 and 61174078, PhD Start-up Fundation of Guangxi University of Science and Technology (no. 03081520), and Guangxi Higher Education Science Research Projection (no. 201203YB125).

      The full text of this article hosted at iucr.org is unavailable due to technical difficulties.