Stochastic fractional perturbed control systems with fractional Brownian motion and Sobolev stochastic non local conditions

This paper investigates the approximate controllability for Sobolev type stochastic perturbed control systems of fractional order with fractional Brownian motion and Sobolev fractional stochastic nonlocal conditions in a Hilbert space, A new set of sufficient conditions are established by using semigroup theory, fractional calculus, stochastic integrals for fractional Brownian motion, Banach’s fixed point theorem. The results are obtained under the assumption that the associated linear system is approximately controllable. Finally, an example is also given to illustrate the obtained theory.

where the state x(·) takes values in a separable real Hilbert space X with inner product ·, · X and norm · X . Here 0 < q ≤ 1, C D , the Hilbert space of admissible control functions for a separable Hilbert space U and B is a bounded linear operator from U to X . f : J × X → X, g 1 : J → L 0 2 and g 2 : J → L 0 2 are appropriate Lipschitz type functions satisfying certain conditions to be specified later; x 0 is an F 0 -measurable random variable independent of B H 1 and B H 2 . The notion of controllability has played a central role throughout the history of modern control theory. Moreover, approximate controllable systems are more prevalent and fundamental concepts in deterministic and stochastic control theory. often approximate controllability is completely adequate in applications. Therefore, various approximate controllability problems for different kinds of nonlinear fractional dynamical systems in infinite dimensional spaces have been investigated in many publications; see [1,2] and references therein.
Stochastic differential equations are generalization of deterministic differential equations that incorporate a "noise term." These equations can be useful in many applications where we assume that there are deterministic changes combined with noisy fluctuations. Also, the study of stochastic differential equations has attracted great interest because of its applications in characterizing many problems in physics, biology,chemistry, mechanics, and so on. In finance and insurance, one has to deal with events such as corporate defaults, operational failures, or insured accidents, the theory and applications of stochastic differential equations in infinite-dimensional spaces have received much attention, (see [3][4][5][6][7] and the references therein).
On the other hand, some real world problems in science and engineering can be modeled by stochastic differential equations driven by fractional Brownian motion (fBm, for short). In particular, many types of stochastic differential equations driven by fBm in infinite dimension received much attention, for example, Maslowski and Nualart [8] studied nonlinear stochastic evolution equations in a Hilbert space driven by cylindrical fractional Brownian motion with Hurst parameter H > 1 2 and nuclear covariance operator using techniques of fractional calculus with semigroup estimates. Boufoussi and Hajji [9] proved the existence and uniqueness of mild solutions of a neutral stochastic differential equations with nite delay, driven by a fractional Brownian motion in a Hilbert space and established some conditions ensuring the exponential decay to zero in mean square for the mild solution.
Approximate controllability for fractional stochastic systems are well investigated, we refer to [10,11] and references therein.
Kerboua et al. [12] proved the approximate controllability of Sobolev type non-local fractional stochastic dynamic systems in Hilbert spaces by using fixed point technique, fractional calculus, stochastic analysis, and methods adopted directly from deterministic control problems. Kerboua et al. [13] introduced a new notion called fractional stochastic nonlocal condition for establishing approximate controllability of class of fractional stochastic nonlinear differential equations of Sobolev type in Hilbert spaces using Hölder's inequality, fixed point technique, fractional calculus, stochastic analysis and methods adopted directly from deterministic control problems.
Fěckan et al. [14] 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, the results are obtained by using Schauder fixed point theorem.
It should be mentioned that there is no work yet reported on the approximate controllability of Sobolev type perturbed control systems of fractional order. Motivated by this facts, our main objective is to study the approximate controllability for a class of Sobolev type nonlinear stochastic differential equations of fractional order (1.1). The result is obtained under the assumption that the associated linear system is approximately controllable. In particular, the controllability question is transformed to a fixed point problem for an appropriate nonlinear operator in a function space. For that we need to construct a suitable set of sufficient conditions.
A brief outline of this paper is given. In Sect. 2, we present ssome basic notations and preliminaries on the stochastic integrals with respect to fBm in Hilbert space. In Sect. 3, the approximate controllability results of stochastic perturbed system of fractional order (1.1) is investigated by means of fractional calculus, semigroup theory and control theory. The last section deal with an illustrative example and a discussion for possible future work in this direction.

Preliminaries
Throughout of this paper, we assume that H ∈ ( 1 2 , 1) unless otherwise specified. In this section, we briefly introduce some useful results about fBm and the corresponding stochastic integral taking values in a Hilbert space.

Fractional Brownian motion
We begin by recalling the definition of a fractional Brownian motion. Let ( , F , {F t } t≥0 , P) be a filtered complete probability space. A real-valued Gauss process [15]).
Let T > 0. It is known that fBm {β H (t), t ≥ 0} with H > 1 2 admits the Wiener integral representation of the following form β is a standard Brownian motion and the kernel K H (t, s) is given by and β(·, ·) denotes the Beta function.
For any deterministic function ψ ∈ L 2 ([0, T ]), the Wiener integral of ψ with respect to β H is defined by

Stochastic integral with respect to fBm
Let ( , F , {F t } t≥0 , P) be a filtered complete probability space and and F t = F where {β H 1,n , β H 2,n } n≥1 are sequences of independent fBms with the same Hurst parameter H ∈ ( 1 2 , 1), {e 1,n ; e 2,n } n≥1 are complete orthonormal basis in Y, {λ 1,n , λ 2,n } n≥1 are a bounded sequences of non-negative real numbers satisfying Qe 1,n = λ 1,n e 1,n , Qe 2,n = λ 2,n e 2,n and Q is non-negative self-adjoint trace class operator with TrQ Then the stochastic integral of ψ with respect to fBm B H is defined by and for u, v ∈ J with v > u, then is the Hilbert space of all square integrable and F t -adapted processes with values in X. Let C T denote the Banach space of all X -valued F t -adapted processes ζ(t, ω) : J × → X , which are continuous in t for a.e. fixed ω ∈ and satisfy Lemma 2.2 (see [16]) Let M be the infinitesimal generator of an analytic semigroup From (A3), we deduce that L −1 is bounded operators. Note (A3) also implies that L is closed since the fact: L −1 is closed and injective, then its inverse is also closed. It comes from (A1)-(A3) and the closed graph theorem, we obtain the boundedness of the linear we denote by C 0 = L −1 and C 1 = V −1 . Now, we recall the following known definitions on the fractional integral and derivative.
where is the gamma function. If a = 0, we can write and as usual, * denotes the convolution of functions. Moreover, lim α→0 g α (t) = δ(t), with δ the delta Dirac function.

Remark 2.1
The following properties hold. Let n − 1 < α < n, n ∈ N (ii) The Caputo derivative of a constant is equal to zero. (iii) The Riemann-Liouville derivative of a constant function is given by If f is an abstract function with values in X , then integrals which appear in Definitions 2.1-2.3 are taken in Bochner's sense. According to previous definitions, it is suitable to rewrite problem (1.1)-(1.2) as the equivalent integral equation where V x(0)| t=0 = x 0 . (d) The explicit and implicit integrals given in (2.1) exist (taken in Bochner's sense).

Definition 2.4 A stochastic process
x(t) ∈ X has cádlág paths on t ∈ J almost surely and for each t ∈ J , x(t) satisfies the integral equation Here,S(t) is a C 0 -semigroup generated by a linear operator (M + M)L −1 : X → X , h q is a probability density function defined on (0, ∞), that is h q (s) ≥ 0, s ∈ (0, ∞ ) and ∞ 0 h q (s)ds = 1.

For any fixed t ≥ 0,S q (t) andT q (t) are linear and bounded operators in X ,
i.e.for any x ∈ X α ,
We impose the following assumptions on the data of the problem (1.1)-(1.2).
(H 1) The functions f : J × X → X satisfy linear growth and Lipschitz conditions. Moreover, there exist positive constants N 1 , N 2 > 0 such that

t) is the adjoint ofT q (t). Observe that Sobolev type linear fractional deterministic control system
3) The following lemma is required to define the control function [23]. B H (s). Now for any λ > 0 and x T ∈ L 2 ( T , X ), we define the control function in the following form

Lemma 2.5
There exist positive real constantsM,N such that, for all x, y ∈ H 2 , we have Proof The proof of this lemma similar to the proof of the Lemma 2.4 (see [13]).

Approximate controllability
In this section, we formulate and prove conditions for the existence and approximate controllability results of the nonlocal fractional stochastic perturbed control system of Sobolev type (1.1)-(1.2) using the contraction mapping principle. Proof For any λ > 0, define the operator F λ : It will be shown that, for all λ > 0, the operator F λ has a fixed point. This fixed point is then a solution of Eqs. (1.1)-(1.2). To prove this result, we divide the subsequent proof into two steps.
Step 1 For arbitrary x ∈ H 2 , let us prove that t → F λ (x) (t) is continuous on the interval J in L 2 -sense. Let 0 < t < t + h < T , where t, t + h ∈ [0, T ], and let |h| be sufficiently small.
Then for any fixed x ∈ H 2 , it follows from Holder's inequality and the assumptions on the theorem that Hence using the strong continuity of the operators S q (t),T q (t) t≥0 and Lebesgue's dominated convergence theorem, we conclude that the right-hand side of the above inequalities tends to zero as h −→ 0.
Thus, we conclude F λ (x) (t) is continuous from the right of [0, T ). A similar argument shows that it is also continuous from the left of (0, T ].
Step 2 Now, we are going to show that F λ is a contraction mapping in H 2 .
Let x, y ∈ H 2 , we obtain for any fixed t ∈ [0, T ] Using assumptions (H1)-(H2), Lemma 2.5, and standard computations yield Hence, we obtain a positive real constant γ (λ) such that for all t ∈ J and all x, y ∈ H 2 . For any natural number n, it follows from successive iteration of above inequality (3.2) that, by taking the supremum over J , For any fixed λ > 0, for sufficiently large n, γ n (λ) n! < 1. It follows from (3.3) that F n λ is a contraction mapping, so that the contraction principle ensures that the operator F λ has a unique fixed point x λ in H 2 , which is a mild solution of (1.1)-(1.2). Proof Let x λ be a fixed point of F λ . By using the stochastic Fubini theorem, it can be easily seen that It follows from the assumption on f that there existsD > 0 such that for all (s, ω) ∈ J × . Then there is a subsequence still denoted by f (s, x λ (s)) which converges weakly to, say, to f (s) in X × L 0 2 .
From the above equation, we have On the other hand, by assumption (H3), for all 0 ≤ s < T the operator z(z I + T 0 ) −1 → 0 strongly as z → 0 + and moreover z(z I + T 0 ) −1 ≤ 1. Thus, by the Lebesgue dominated convergence theorem and the compactness of bothS q andT q implies that E x λ (T )−x λ 2 → 0 as z → 0 + . Hence, we conclude the approximate controllability of (1.1)-(1.2).

Example
In this section, we present an example to illustrate our main result. Let us consider the following Sobolev type fractional stochastic partial differential equation with control driven by a fractional Brownian motion: where 0 < q ≤ 1, 0 < t 1 < · · · < t m < T and c k are positive constants, k = 1, . . . , m; (1 + n 2 )(x, x n )x n , x ∈ D(L), where x n (z) = ( √ 2/π) sin nz, n = 1, 2, . . . is the orthogonal set of eigen functions of (M + M). Further, for any x ∈ X we have It is easy to see that L −1 is compact, bounded with L −1 ≤ 1 and (M + M) L −1 generates the above strongly continuous semigroupS(t) on X with S (t) ≤ e −t ≤ 1. Therefore, with the above choices, the system (4.1)-(4.3) can be written as an abstract formulation of (2.1)-(2.2) and thus Theorem 3.1 can be applied to guarantee the existence of mild solution of (4.1)-(4.3). Moreover, it can be easily seen that Sobolev type deterministic linear fractional control system corresponding to (4.1)-(4.3) is approximately controllable on J , which means that all conditions of Theorem 3.2 are satisfied. Thus, Sobolev type fractional stochastic partial differential equation with control driven by a fractional Brownian motion (4.1)-(4.3) is approximately controllable on J .

Conclusion
Sufficient conditions for the approximate controllability of a class of control systems described by Sobolev type nonlocal nonlinear fractional stochastic perturbed equations with fractional Brownian motion in Hilbert spaces are considered. Using fixed point technique, fractional calculations, stochastic integrals for fractional Brownian motion, and methods adopted directly from deterministic control problems. In particular, conditions are formulated and proved under the assumption that the approximate controllability of the fractional stochastic control nonlinear perturbed 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.
Our future work will be focused on investigating the approximate controllability for fractional stochastic dynamical systems of Sobolev type with Lévy process and impulsive effects. 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 Sobolev type nonlocal nonlinear fractional stochastic dynamical systems with Lé vy process and impulsive effects in Hilbert spaces.