Approximate Controllability of Semilinear Stochastic Integrodifferential System with Nonlocal Conditions

The objective of this paper is to analyze the approximate controllability of a semilinear stochastic integrodifferential system with nonlocal conditions in Hilbert spaces. The nonlocal initial condition is a generalization of the classical initial condition and is motivated by physical phenomena. The results are obtained by using Sadovskii’s fixed point theorem. At the end, an example is given to show the effectiveness of the result.


Introduction
Controllability is one of the essential concepts in mathematical control theory and plays a crucial role in each deterministic and stochastic control system.It has been properly documented that the controllability of deterministic systems is widely employed in many fields of science and technology.Any control system can be defined as controllable only if every state regarding that process is affected or controlled in the corresponding time by some control signals.In several projective systems, it is possible to guide or control the dynamical system from an imperiousinitial state to a peremptoryfinal state with the help of the set of admissible controls.
Kalman [1] introduced the idea of the controllability for finite-dimensional deterministic linear control systems.The fundamental ideas of control theory in finite and infinite-dimensional spaces were introduced in [2] and [3], respectively.However, in several cases, some reasonable randomness can appear in the problem, so that the system should be modeled by a stochastic form.Only a few authors have researched the extension of deterministic controllability ideas to stochastic control systems.Dauer and Mahmudov [4] studied the controllability of a semilinear stochastic system by using the Banach fixed point technique.In [5][6][7][8][9], Mahmudov et al. established results for the controllability of linear and semilinear stochastic systems in Hilbert space.On behalf of this, Sakthivel, Balachandran, and Dauer et al. deliberated on the approximate controllability of nonlinear stochastic systems in [4,[10][11][12].Sakthivel et al. studied the existence results for fractional stochastic differential equations; see [13][14][15][16][17][18][19][20] and the references therein.
On the other hand, only a few authors have investigated the controllability of neutral functional integrodifferential systems in Banach spaces by using semigroup theory.Recently, in [21][22][23], Balachendran and Karthikeyan et al. studied the controllability of stochastic integrodifferential systems in finite dimension spaces.
To date, from our simplest data, there are no results on the approximate controllability of semilinear stochastic integrodifferential systems with nonlocal conditions using Sadovskii's fixed point theorem within the literature.Therefore, this paper is dedicated to the estimation of the approximate controllability of semilinear stochastic integrodifferential control systems with nonlocal conditions using Sadovskii's fixed point theorem.
In this work, we shall study the approximate controllability of the following semilinear stochastic integrodifferential system: (1) where are nonlinear suitable functions.x 0 is the 0 measurable H-valued random variable independent of w; g is a continuous function from C(J, H) → H.For simplicity, we generally assume that the set of admissible controls is U a d = L 2 (J, U).

Preliminaries
Let (Ω, , P) be a complete space with a normal filtration t , t ∈ J = [0, b].Let H, U, and E be the separable Hilbert spaces and W be a Q-Wiener process on (Ω, b , P) with the covariance operator Q such that trQ < ∞.We assume that there exists a complete orthonormal system e n in E, a bounded sequence of nonnegative real numbers λ n such that Qe n = λ n e n , n = 1, 2, 3 • • • , and a sequence β n of independent Brownian motions such that:  H)) endowed with the norm: Let us introduce the succeeding operators and sets [24] L b ∈ L(L 2 (J × Ω, U), L 2 (Ω, b , H)) defined by: where L(X, Y) denotes the set of bounded linear operators from X to Y.Then, its adjoint operator ) is given by: The set of all states reachable in time b from initial state y(0) = y 0 ∈ L 2 (Ω, 0 , X) using admissible controls is defined as: Let us introduce the linear controllability operator The corresponding controllability operator for the deterministic model is: , consisting of all t -adapted, U-valued stochastic processes.
ds for all t ∈ J and p ≥ 2, where L σ is the constant involving p and b.
Lemma 2. (Sadovskii's fixed point theorem) Suppose that N is a nonempty, closed, bounded, and convex subset of a Banach space H and B : N ⊆ H → H is a condensing operator.Then, the operator B has a fixed point in N.

Main Result
To prove our main results, we list the following hypotheses: Hypothesis 1 (H1).A is the infinitesimal generator of a compact semigroup {T(t) : t ≥ 0} on H.

Hypothesis 5 (H5).
The function h is a continuous function, and there exists some positive constants M g such that: for all y 1 , y 2 ∈ C(J, H).
Hypothesis 6 (H6).For each 0 ≤ t ≤ b, the operator α(αI + Γ b t ) −1 → 0 in the strong operator topology as α → 0 + , where: Observe that the linear deterministic system corresponding to (1)-(2): is approximately controllable on [t, b] iff the operator α(αI + Γ b t ) −1 → 0 strongly as α → 0 + .For simplicity, let us take: Two lemmas, as far as approximate controllability is concerned, will be utilized in the result.The accompanying lemma is needed to define the control function.Lemma 3. [7] For any y b ∈ L 2 (Ω, b , H), there exists φ ∈ L 2 (J, L 0 2 ) such that: Now, for any α > 0 and y b ∈ L 2 (Ω, b , H), we define the control function in the form below: There exists a positive constant M u such that for all y 1 , y 2 ∈ H 2 , we have: Proof.Let y 1 , y 2 ∈ H 2 .From Holder's inequality, Lemma 1, and the presumption on the data, we obtain: where When u α (t, y 2 ) = 0, the second inequality can be proven in the same approach.
For any y ∈ H 2 , Φ α (y)(t) is continuous on J in the L p -sense.Let 0 ≤ t 1 ≤ t 2 ≤ b.Then, for any fixed y ∈ H 2 , it follows from Holder's inequality, Lemma 1, and presume for the theorem that: Thus, utilizing LDCT, we infer that the right-hand side of the above inequality tends to zero as t 2 − t 1 → 0. Accordingly, we conclude that Φ α (y)(t) is continuous from the right in [0, b).A comparative contention demonstrates that it is likewise continuous from the left in (0, b].Consequently, Φ α (y)(t) is continuous on J in the L p -sense.
For each positive integer q, let B q = y ∈ H 2 : E y(t) 2 H ≤ q , then the set B q is clearly a bounded, closed, and convex set in H 2 : From Lemma 1, Holder's inequality, and the assumption (H1), we have: which deduces that T(t − s) f (s, y(s)) is integrable on J, and by Bochner's theorem, Φ α is well defined on B q .Next, from the assumption (H4), it follows that, Similarly from the assumption (H2) and Lemma 1, we have: Now, we claim that there exists a positive number q such that Φ α (B q ) ⊆ B q .If this is not true, then for each positive number q, there is a function y q (•) ∈ B q , but Φ α y q does not belong to B q , that is E Φ α y q (t) 2 H > q for some t ∈ J. On the other hand, from the assumptions (H2), (H3), and Lemma 4, we have: Dividing both sides by q and taking the limit as q → ∞, we get: This contradicts with Condition (5).Hence, for some positive number q, Φ α B q ⊆ B q .
Step 3. Define the operators Φ α 1 and Φ α 2 as: Now, we will prove that Φ α 1 is completely continuous, while Φ α 2 is a contraction operator.It is clear that Φ α 1 is completely continuous by the assumption (H3).To prove Φ α 2 is a contraction, let us take y 1 , y 2 ∈ B q .Then, from the assumptions (H2), (H3), and for each t ∈ J, we have: Therefore, where: Thus, Φ α 2 is a contraction mapping.Now, we have that Φ α = Φ α 1 + Φ α 1 is a condensing map on B q , so Sadovskii's fixed point theorem is satisfied.Hence, we conclude that there exists a fixed point y(•) for Φ α on B q , which is the mild solution of (1)-(2).Theorem 2. IF the assumptions (H1)-(H6) are fulfilled and if f , σ, and g are uniformly bounded, then the system (1)-( 2) is approximately controllable on [0, b].
Proof.Let y α be a fixed point of Φ α in H 2 .By using the stochastic Fubini theorem, it is easy to see that: By the assumption that f , σ, and g are uniformly bounded, there exists C > 0 such that: Then, there is a subsequence denoted by: f (s, y α (s)), σ(s, y α (s)), s 0 g(s, r, y α (s))dr weakly converging to say { f (s, ω), σ(s, ω)} in H × L 0 2 and s 0 g(s, r, y α ) in H × H × L 0 2 .The compactness of S(t) implies that: On the other hand, by the assumption (H6), for all 0 ≤ s ≤ b, the operator: and moreover: Hence, by the Lebesgue dominated convergence theorem, we obtain: This results in the approximate controllability.

Example
Consider the stochastic control system: Here, B is a bounded linear operator from a Hilbert space U into X, and f : J × X → X, σ : J × X → L 0 2 , and q : J × J × X → X are all continuous and uniformly bounded; u(t) is a feedback control; and w is a Q-Wiener process.Let A : X → X be an operator defined by: Ay = y θθ with domain: The function s : C(J, X) → X, With this option of A, B, f , σ, g, and s, (1)-( 2) is the abstract formulation of ( 7)- (9), such that the conditions in (H1) and (H2) are fulfilled.Then: e −n 2 t (y, e n )e n (θ), y ∈ X.   ⇒ z n = 0, n = 1, 2, 3, ...

Conclusions
In this paper, we study the approximate controllability of a semilinear stochastic integrodifferential system with nonlocal conditions in Hilbert spaces.The nonlocal initial condition is a generalization of the classical initial condition and is motivated by physical phenomena.The results are obtained by using Sadovskii's fixed point theorem.
In future work, we intend to extend these results to a new class of stochastic differential equations driven by fractional Brownian motion.