Abstract and Applied Analysis

Volume 2013 (2013), Article ID 262191, 10 pages

http://dx.doi.org/10.1155/2013/262191

Research Article

Approximate Controllability of Sobolev Type Nonlocal Fractional Stochastic Dynamic Systems in Hilbert Spaces

Mourad Kerboua,¹ Amar Debbouche,¹ and Dumitru Baleanu2,3,4

¹Department of Mathematics, Guelma University, 24000 Guelma, Algeria

²Department of Chemical and Materials Engineering, Faculty of Engineering, King Abdulaziz University, P.O. Box 80204, Jeddah 21589, Saudi Arabia

³Department of Mathematics and Computer Sciences, Cankaya University, 06530 Ankara, Turkey

⁴Institute of Space Sciences, Magurele, Bucharest, Romania

Received 19 July 2013; Accepted 27 September 2013

Academic Editor: Bashir Ahmad

Copyright © 2013 Mourad Kerboua et al. 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 study a class of fractional stochastic dynamic control systems of Sobolev type in Hilbert spaces. We use fixed point technique, fractional calculus, stochastic analysis, and methods adopted directly from deterministic control problems for the main results. A new set of sufficient conditions for approximate controllability is formulated and proved. An example is also given to provide the obtained theory.

1. Introduction

We are concerned with the following nonlocal fractional stochastic system of Sobolev type:

where is the Caputo fractional derivative of order , , and . Let and be two Hilbert spaces, and the state takes its values in . We assume that the operators and are defined on domains contained in and ranges contained in , the control function belongs to the space , a Hilbert space of admissible control functions with as a Hilbert space, and is a bounded linear operator from into . It is also assumed that , and are appropriate functions; is measurable -valued random variables independent of . Here , , , and will be specified later.

The field of fractional differential equations and its applications has gained a lot of importance during the past three decades, mainly because it has become a powerful tool in modeling several complex phenomena in numerous seemingly diverse and widespread fields of science and engineering [1–8] Recently, there has been a significant development in the existence and uniqueness of solutions of initial and boundary value problem for fractional evolution systems [9].

Controllability is one of the important fundamental concepts in mathematical control theory and plays a vital role in both deterministic and stochastic control systems. Since the controllability notion has extensive industrial and biological applications, in the literature, there are many different notions of controllability, both for linear and nonlinear dynamical systems. Controllability of the deterministic and stochastic dynamical control systems in infinite dimensional spaces is well developed using different kinds of approaches. It should be mentioned that the theory of controllability for nonlinear fractional dynamical systems is still in the initial stage. There are few works in controllability problems for different kinds of systems described by fractional differential equations [10, 11].

The exact controllability for semilinear fractional order system, when the nonlinear term is independent of the control function, is proved by many authors [12–15]. In these papers, the authors have proved the exact controllability by assuming that the controllability operator has an induced inverse on a quotient space. However, if the semigroup associated with the system is compact, then the controllability operator is also compact and hence the induced inverse does not exist because the state space is infinite dimensional [16]. Thus, the concept of exact controllability is too strong and has limited applicability, and the approximate controllability is a weaker concept than complete controllability and it is completely adequate in applications for these control systems.

In [17, 18] the approximate controllability of first order delay control systems has been proved when nonlinear term is a function of both state function and control function by assuming that the corresponding linear system is approximately controllable. To prove the approximate controllability of first order system, with or without delay, a relation between the reachable set of a semilinear system and that of the corresponding linear system is proved in [19–23]. There are several papers devoted to the approximate controllability for semilinear control systems, when the nonlinear term is independent of control function [24–27].

Stochastic differential equations have attracted great interest due to their applications in various fields of science and engineering. There are many interesting results on the theory and applications of stochastic differential equations (see [12, 28–32] and the references therein). To build more realistic models in economics, social sciences, chemistry, finance, physics, and other areas, stochastic effects need to be taken into account. Therefore, many real world problems can be modeled by stochastic differential equations. The deterministic models often fluctuate due to noise, so we must move from deterministic control to stochastic control problems.

In the present literature there are only a limited number of papers that deal with the approximate controllability of fractional stochastic systems [33], as well as with the existence and controllability results of fractional evolution equations of Sobolev type [34].

Sakthivel et al. [35] studied the approximate controllability of a class of dynamic control systems described by nonlinear fractional stochastic differential equations in Hilbert spaces. More recent works can be found in [10, 11]. Debbouche et al. [4] established a class of fractional nonlocal nonlinear integrodifferential equations of Sobolev type using new solution operators. Fečkan et al. [36] presented the controllability results corresponding to two admissible control sets for fractional functional evolution equations of Sobolev type in Banach spaces with the help of two new characteristic solution operators and their properties, such as boundedness and compactness.

It should be mentioned that there is no work yet reported on the approximate controllability of Sobolev type fractional deterministic stochastic control systems. Motivated by the above facts, in this paper we establish the approximate controllability for a class of fractional stochastic dynamic systems of Sobolev Type with nonlocal conditions in Hilbert spaces.

The paper is organized as follows: in Section 2, we present some essential facts in fractional calculus, semigroup theory, stochastic analysis, and control theory that will be used to obtain our main results. In Section 3, we state and prove existence and approximate controllability results for Sobolev type fractional stochastic system (1). The last sections deal with an illustrative example and a discussion for possible future work in this direction.

2. Preliminaries

In this section we give some basic definitions, notations, properties, and lemmas, which will be used throughout the work. In particular, we state main properties of fractional calculus [37–40], well-known facts in semigroup theory [41–43], and elementary principles of stochastic analysis [31, 44].

Definition 1. The fractional integral of order of a function is given by

where is the gamma function. If , we can write , where

and as usual, denotes the convolution of functions. Moreover, , with the delta Dirac function.

Definition 2. The Riemann-Liouville derivative of order , , for a function is given by

Definition 3. The Caputo derivative of order , , for a function is given by

Remark 4. The following properties hold (see, e.g., [45]).

(i)If , then

(ii)The Caputo derivative of a constant is equal to zero.(iii)If is an abstract function with values in , then the integrals which appear in Definitions 1–3 are taken in Bochner’s sense.

We introduce the following assumptions on the operators and .

) and are linear operators, and is closed.() and is bijective.() is a linear compact operator.

Remark 5. From (), we deduce that is a bounded operator; for short, we denote . Note () also implies that is closed since is closed and injective; then its inverse is also closed. It comes from ()–() and the closed graph theorem; we obtain the boundedness of the linear operator . Consequently, generates a semigroup . We suppose that . According to previous definitions, it is suitable to rewrite problem (1) as the equivalent integral equation

provided the integral in (7) exists. Before formulating the definition of mild solution of (1), we first give the following definitions, corollaries, lemmas, and notations.

Let be a complete probability space equipped with a normal filtration , satisfying the usual conditions (i.e., right continuous and containing all -null sets). We consider four real separable spaces , , , and and -Wiener process on with the linear bounded 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 sigma 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 square integrable random variables with values in the Hilbert space . Let denote the expectation with respect to the measure . Let be the Hilbert space of continuous maps from into satisfying . Let be a closed subspace of consisting of measurable and -adapted -valued process endowed with the norm . For details, we refer the reader to [35, 44] and references therein.

The following results will be used through out this paper.

Lemma 6 (see [33]). Let be a strongly measurable mapping such that . Then

for all and , where is the constant involving and .

Now, we present the mild solution of the problem (1).

Definition 7 (compare with [46, 47] and [36, 45]). A stochastic process is a mild solution of (1) if, for each control , it satisfies the following integral equation:

where and are characteristic operators given by

Here, is a -semigroup generated by the linear operator ; is a probability density function defined on ; that is, , and .

Lemma 8 (see [45, 48, 49]). The operators and are strongly continuous; that is, for and , one has and as .

We impose the following conditions on data of the problem.

(i)For any fixed , and are bounded linear operators; that is, for any ,

(ii)The functions , and satisfy linear growth and Lipschitz conditions. Moreover, there exist positive constants ,  , and such that

(iii)The linear stochastic system is approximately controllable on .

For each , the operator in the strong operator topology as , where is the controllability Gramian. Here denotes the adjoint of , and is the adjoint of .

Observe that Sobolev type nonlocal linear fractional deterministic control system

corresponding to (1) is approximately controllable on iff the operator strongly as . The approximate controllability for linear fractional deterministic control system (14) is a natural generalization of approximate controllability of linear first order control system (, , and is the identity) [50].

Definition 9. The system (1) is approximately controllable on if , where

Here is the closed subspace of , consisting of all -adapted, -valued stochastic processes.

The following lemma is required to define the control function [35].

Lemma 10. For any , there exists such that .

Now for any and , one defines the control function in the following form:

Lemma 11. There exist positive real constants , such that, for all , one has

Proof. We start to prove (17). Let ; from Hölder’s inequality, Lemma 6, and the assumption on the data, we obtain

where . The proof of the inequality (18) can be established in a similar way to that of (17).

3. Approximate Controllability

In this section, we formulate and prove conditions for the existence and approximate controllability results of the nonlocal fractional stochastic dynamic control system of Sobolev type (1) using the contraction mapping principle. For any , define the operator by

We state and prove the following lemma, which will be used for the main results.

Lemma 12. For any , is continuous on in -sense.

Proof. Let . Then for any fixed , from (20), we have

We begin with the first term and get

The strong continuity of implies that the right-hand side of the last inequality tends to zero as .

Next, it follows from Hölder’s inequality and assumptions on the data that

Also, we have

Furthermore, we use Lemma 6 and previous assumptions; we obtain

Hence using the strong continuity of and Lebesgue’s dominated convergence theorem, we conclude that the right-hand side of the previous inequalities tends to zero as . Thus, we conclude is continuous from the right of . A similar argument shows that it is also continuous from the left of .

Theorem 13. Assume hypotheses (i) and (ii) are satisfied. Then the system (1) has a mild solution on .

Proof. We prove the existence of a fixed point of the operator by using the contraction mapping principle. First, we show that . Let . From (20), we obtain

Using assumptions (i)-(ii), Lemma 11, and standard computations yields

Hence (26)–(28) imply that . By Lemma 12, . Thus for each , the operator maps into itself. Next, we use the Banach fixed point theorem to prove that has a unique fixed point in . We claim that there exists a natural such that is a contraction on . Indeed, let ; we have

Hence, we obtain a positive real constant such that

for all and all . For any natural number , it follows from the successive iteration of the previous inequality (30) that, by taking the supremum over ,

For any fixed , for sufficiently large . It follows from (31) that is a contraction mapping, so that the contraction principle ensures that the operator has a unique fixed point in , which is a mild solution of (1).

Theorem 14. Assume that the assumptions (i)–(iii) hold. Further, if the functions and are uniformly bounded and is compact, then the system (1) is approximately controllable on .

Proof. Let be a fixed point of . By using the stochastic Fubini theorem, it can be easily seen that

It follows from the assumption on , , and that there exists such that

for all . Then there is a subsequence still denoted by which converges weakly to some in .

From the previous equation, we have

On the other hand, by assumption (iii), for all , the operator strongly as and moreover . Thus, by the Lebesgue dominated convergence theorem and the compactness of both and it is implied that as . Hence, we conclude the approximate controllability of (1).

In order to illustrate the abstract results of this work, we give the following example.

4. Example

Consider the fractional stochastic system with nonlocal condition of Sobolev type

where , and are positive constants, ; the functions , , , and . The bounded linear operator is defined by , , ; is a two-sided and standard one-dimensional Brownian motion defined on the filtered probability space .

Let ; define the operators and by and , where domains and are given by

Then and can be written, respectively, as

where , is the orthogonal set of eigen functions of . Further, for any we have

It is easy to see that is compact and bounded with and generates the above strongly continuous semigroup on with . Therefore, with the above choices, the system (35) can be written as an abstract formulation of (1) and thus Theorem 13 can be applied to guarantee the existence of mild solution of (35). Moreover, it can be easily seen that Sobolev type deterministic linear fractional control system corresponding to (35) is approximately controllable on , which means that all conditions of Theorem 14 are satisfied. Thus, fractional stochastic control system of Sobolev type (35) is approximately controllable on .

5. Conclusion

Sufficient conditions for the approximate controllability of a class of dynamic control systems described by Sobolev type nonlocal fractional stochastic differential equations in Hilbert spaces are considered. Using fixed point technique, fractional calculations, stochastic analysis, and methods adopted directly from deterministic control problems. In particular, conditions are formulated and proved under the assumption that the approximate controllability of the stochastic control nonlinear dynamical system is implied by the approximate controllability of its corresponding linear part. More precisely, the controllability problem is transformed into a fixed point problem for an appropriate nonlinear operator in a function space. The main used tools are the above required conditions, we guarantee the existence of a fixed point of this operator and study controllability of the considered systems.

Degenerate stochastic differential equations model the phenomenon of convection-diffusion of ideal fluids and therefore arise in a wide variety of important applications, including, for instance, two or three phase flows in porous media or sedimentation-consolidation processes. However, to the best of our knowledge, no results yet exist on approximate controllability for fractional stochastic degenerate systems. Upon making some appropriate assumptions, by employing the ideas and techniques as in this paper, one can establish the approximate controllability results for a class of fractional stochastic degenerate differential equations.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

References

D. Baleanu, K. Diethelm, E. Scalas, and J. J. Trujillo, Fractional Calculus Models and Numerical Methods, vol. 3 of Complexity, Nonlinearity and Chaos, World Scientific, 2012.

M. Bragdi, A. Debbouche, and D. Baleanu, “Existence of solutions for fractional differential inclusions with separated boundary conditions in Banach space,” Advances in Mathematical Physics, vol. 2013, Article ID 426061, 5 pages, 2013.

A. Debbouche, “Fractional nonlocal impulsive quasilinear multi-delay integro-differential systems,” Advances in Difference Equations, vol. 2011, article 5, 2011.

A. Debbouche, D. Baleanu, and R. P. Agarwal, “Nonlocal Nonlinear Integro-Differential Equations of Fractional Orders,” Boundary Value Problems, no. 2012, article 78, 2012.

A. M. A. El-Sayed, “Fractional-order diffusion-wave equation,” International Journal of Theoretical Physics, vol. 35, no. 2, pp. 311–322, 1996.

F. Mainardi, “Fractional calculus: some basic problems in continuum and statistical mechanics,” in Fractals and Fractional Calculus in Continuum Mechanics, vol. 378, pp. 291–348, Springer, New York, NY, USA, 1997.

A. B. Malinowska and D. F. M. Torres, Introduction to the Fractional Calculus of Variations, Imperial College Press, London, UK, 2012.

N. Nyamoradi, D. Baleanu, and T. Bashiri, “Positive solutions to fractional boundary value problems with nonlinear boundary conditions,” Abstract and Applied Analysis, vol. 2013, Article ID 579740, 20 pages, 2013.

B. Ahmad and S. K. Ntouyas, “A note on fractional differential equations with fractional separated boundary conditions,” Abstract and Applied Analysis, vol. 2012, Article ID 818703, 11 pages, 2012.

R. Sakthivel, R. Ganesh, and S. Suganya, “Approximate controllability of fractional neutral stochastic system with infinite delay,” Reports on Mathematical Physics, vol. 70, no. 3, pp. 291–311, 2012.

R. Sakthivel, R. Ganesh, Y. Ren, and S. M. Anthoni, “Approximate controllability of nonlinear fractional dynamical systems,” Communications in Nonlinear Science and Numerical Simulation, vol. 18, no. 12, pp. 3498–3508, 2013.

A. E. Bashirov and N. I. Mahmudov, “On concepts of controllability for deterministic and stochastic systems,” SIAM Journal on Control and Optimization, vol. 37, no. 6, pp. 1808–1821, 1999.

A. Debbouche and D. Baleanu, “Controllability of fractional evolution nonlocal impulsive quasilinear delay integro-differential systems,” Computers & Mathematics with Applications, vol. 62, no. 3, pp. 1442–1450, 2011.

A. Debbouche and D. Baleanu, “Exact null controllability for fractional nonlocal integrodifferential equations via implicit evolution system,” Journal of Applied Mathematics, vol. 2012, Article ID 931975, 17 pages, 2012.

R. Sakthivel, N. I. Mahmudov, and J. J. Nieto, “Controllability for a class of fractional-order neutral evolution control systems,” Applied Mathematics and Computation, vol. 218, no. 20, pp. 10334–10340, 2012.

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.

J. P. Dauer and N. I. Mahmudov, “Approximate controllability of semilinear functional equations in Hilbert spaces,” Journal of Mathematical Analysis and Applications, vol. 273, no. 2, pp. 310–327, 2002.

N. Sukavanam and N. K. Tomar, “Approximate controllability of semilinear delay control systems,” Nonlinear Functional Analysis and Applications, vol. 12, no. 1, pp. 53–59, 2007.

W. Bian, “Approximate controllability for semilinear systems,” Acta Mathematica Hungarica, vol. 81, no. 1-2, pp. 41–57, 1998.

E. N. Chukwu and S. M. Lenhart, “Controllability questions for nonlinear systems in abstract spaces,” Journal of Optimization Theory and Applications, vol. 68, no. 3, pp. 437–462, 1991.

J.-M. Jeong, J.-R. Kim, and H.-H. Roh, “Controllability for semilinear retarded control systems in Hilbert spaces,” Journal of Dynamical and Control Systems, vol. 13, no. 4, pp. 577–591, 2007.

J.-M. Jeong and H.-G. Kim, “Controllability for semilinear functional integrodifferential equations,” Bulletin of the Korean Mathematical Society, vol. 46, no. 3, pp. 463–475, 2009.

N. Sukavanam and Divya, “Approximate controllability of abstract semilinear deterministic control system,” Bulletin of the Calcutta Mathematical Society, vol. 96, no. 3, pp. 195–202, 2004.

S. Kumar and N. Sukavanam, “Approximate controllability of fractional order semilinear systems with bounded delay,” Journal of Differential Equations, vol. 252, no. 11, pp. 6163–6174, 2012.

S. Rathinasamy and R. Yong, “Approximate controllability of fractional differential equations with state-dependent delay,” Results in Mathematics, vol. 63, no. 3-4, pp. 949–963, 2013.

R. Sakthivel, Y. Ren, and N. I. Mahmudov, “On the approximate controllability of semilinear fractional differential systems,” Computers & Mathematics with Applications, vol. 62, no. 3, pp. 1451–1459, 2011.

N. Sukavanam and S. Kumar, “Approximate controllability of fractional order semilinear delay systems,” Journal of Optimization Theory and Applications, vol. 151, no. 2, pp. 373–384, 2011.

J. Cao, Q. Yang, Z. Huang, and Q. Liu, “Asymptotically almost periodic solutions of stochastic functional differential equations,” Applied Mathematics and Computation, vol. 218, no. 5, pp. 1499–1511, 2011.

J. Cao, Q. Yang, and Z. Huang, “On almost periodic mild solutions for stochastic functional differential equations,” Nonlinear Analysis. Real World Applications, vol. 13, no. 1, pp. 275–286, 2012.

Y.-K. Chang, Z.-H. Zhao, G. M. N'Guérékata, and R. Ma, “Stepanov-like almost automorphy for stochastic processes and applications to stochastic differential equations,” Nonlinear Analysis. Real World Applications, vol. 12, no. 2, pp. 1130–1139, 2011.

X. Mao, Stochastic Differential Equations and Applications, Ellis Horwood, Chichester, UK, 1997.

R. Sakthivel, P. Revathi, and Y. Ren, “Existence of solutions for nonlinear fractional stochastic differential equations,” Nonlinear Analysis. Theory, Methods & Applications, vol. 81, pp. 70–86, 2013.

N. I. Mahmudov, “Approximate controllability of semilinear deterministic and stochastic evolution equations in abstract spaces,” SIAM Journal on Control and Optimization, vol. 42, no. 5, pp. 1604–1622, 2003.

F. Li, J. Liang, and H. K. Xu, “Existence of mild solutions for fractional integrodifferential equations of Sobolev type with nonlocal conditions,” Journal of Mathematical Analysis and Applications., vol. 391, pp. 510–525, 2012.

R. Sakthivel, S. Suganya, and S. M. Anthoni, “Approximate controllability of fractional stochastic evolution equations,” Computers & Mathematics with Applications, vol. 63, no. 3, pp. 660–668, 2012.

M. Fečkan, J. Wang, and Y. Zhou, “Controllability of fractional functional evolution equations of Sobolev type via characteristic solution operators,” Journal of Optimization Theory and Applications, vol. 156, no. 1, pp. 79–95, 2013.

R. Hilfer, Applications of Fractional Calculus in Physics, World Scientific, Singapore, 2000.

A. A. Kilbas, H. M. Srivastava, and J. J. Trujillo, Theory and Applications of Fractional Differential Equations, vol. 204 of North-Holland Mathematics Studies, Elsevier Science, Amsterdam, The Netherlands, 2006.

K. S. Miller and B. Ross, An Introduction to the Fractional Calculus and Fractional Differential Equations, John Wiley & Sons, New York, NY, USA, 1993.

I. Podlubny, Fractional Differential Equations, vol. 198 of Mathematics in Science and Engineering, Technical University of Kosice, Kosice, Slovak Republic, 1999.

E. Hille and R. S. Phillips, Functional Analysis and Semi-Groups, vol. 31 of American Mathematical Society Colloquium Publications, American Mathematical Society, Providence, RI, USA, 1957.

A. Pazy, Semigroups of Linear Operators and Applications to Partial Differential Equations, Springer, New York, NY, USA, 1983.

S. D. Zaidman, Abstract Differential Equations, Pitman Advanced Publishing Program, San Francisco, Calif, USA, 1979.

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

Y. Zhou and F. Jiao, “Existence of mild solutions for fractional neutral evolution equations,” Computers & Mathematics with Applications, vol. 59, no. 3, pp. 1063–1077, 2010.

A. Debbouche and M. M. El-Borai, “Weak almost periodic and optimal mild solutions of fractional evolution equations,” Electronic Journal of Differential Equations, no. 46, pp. 1–8, 2009.

M. M. El-Borai, “Some probability densities and fundamental solutions of fractional evolution equations,” Chaos, Solitons and Fractals, vol. 14, no. 3, pp. 433–440, 2002.

Z. Yan, “Approximate controllability of partial neutral functional differential systems of fractional order with state-dependent delay,” International Journal of Control, vol. 85, no. 8, pp. 1051–1062, 2012.

Z. Yan, “Approximate controllability of fractional neutral integro-differental inclusions with state-dependent delay in Hilbert spaces,” IMA Journal of Mathematical Control and Information, 2012.

A. Debbouche and D. F. M. Torres, “Approximate controllability of fractional nonlocal delay semilinear systems in Hilbert spaces,” International Journal of Control, vol. 86, no. 9, pp. 1577–1585, 2013.