International Journal of Differential Equations
Volume 2020 (2020), Article ID 2515160, 10 pages
https://doi.org/10.1155/2020/2515160

Research Article

Controllability of Impulsive Semilinear Stochastic Heat Equation with Delay

Hugo Leiva,¹ Miguel Narvaez,² and Zoraida Sivoli2,3

¹Yachay Tech, School of Mathematical Sciences and Information Technology, Department of Mathematics, San Miguel De Urcuqui 100119, Imbabura, Ecuador
²Universidad De Los Andes, Facultad De Ciencias, Departamento De Matemática, Mérida 5101, Venezuela
³Escuela Superior Politécnica De Chimborazo, Facultad De Ciencias, Escuela De Física Y Matematica, Riobamba, Ecuador

Correspondence should be addressed to Hugo Leiva; hleiva@yachaytech.edu.ec

Received 3 June 2020; Revised 9 November 2020; Accepted 30 November 2020; Published 17 December 2020

Academic Editor: Sining Zheng

Copyright © 2020 Hugo Leiva 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.

LaSalle wrote the following: “it is never possible to start the system exactly in its equilibrium state, and the system is always subject to outside forces not taken into account by the differential equations. The system is disturbed and is displaced slightly from its equilibrium state. What happens? Does it remain near the equilibrium state? This is stability. Does it remain near the equilibrium state and in addition tend to return to the equilibrium? This is asymptotic stability.” Continuing with what LaSalle said, we conjecture that real-life systems are always under the influence of impulses, delays, memory, nonlocal conditions, and noises, which are intrinsic phenomena no taken into account by the mathematical model that is representing by a differential equation. For many control systems in real life, delays, impulses, and noises are natural properties that do not change their behavior. So, we conjecture that, under certain conditions, the abrupt changes, delays, and noises as perturbations of a system do not modify certain properties such as controllability. In this regard, we prove the interior -controllability of the semilinear stochastic heat equation with impulses and delay on the state variable, and this is done by using new techniques avoiding fixed point theorems employed by Bashirov et al.

1. Introduction

In this paper, we prove the interior approximate -controllability of the semilinear stochastic heat equation with multiplicative noise, impulses, and delay on the state variable. This is done by using the result from Leiva [1]; Acosta Leiva [2]; and new techniques avoiding fixed point theorems employed by Bashirov et al. [3–5]. In this regard, we will prove the interior approximate -controllability of the semilinear stochastic heat equation with multiplicative noise, impulses, and delay:

where is a bounded domain in , denotes its boundary, is an open nonempty subset of , denotes the characteristic function of the set , is a control processes -valued, the noise is a colored noise valued on with spatial correlation given by

and is a -valued -measurable random variable with respect to filtration , where . The nonlinear terms are smooth enough such that system (1) admits unique mild solutions for each control and satisfies the following property:

The term white-noise is denoted by , where is a Gaussian process with zero mean and covariance given by (2). The noise behaves as a Brownian motion with respect to the time variable, and it has a correlated spatial covariance.

There are many practical examples of impulsive control systems which are modeled by impulsive differential equations (for more information, see the monographs: Samoilenko and Perestyuk [6]; Franco and Nieto [7]; Sun and Zhang [8]; Lakshmikanthan, Bainov and Simeonov [9]; He and Yu [10]; Luo and Shen [11]). The controllability of impulsive evolution equations has been studied recently for several authors, but most them study the exact controllability only (to mention, Radhakrishnan and Balachandran [12]; Chalishajar [13]; Selvi and Mallika [14]). To our knowledge, there are a few works on approximate controllability of impulsive semilinear evolution equations (to mention, Chen and Li [15] and Sakthivel and Anandhi [16]). Recently, in the study of Carrasco, Leiva, Sanchez, and Tineo [17]; Leiva [1]; Leiva and Merentes [18], the approximate controllability of semilinear evolution equations with impulses has been studied applying Rothe’s fixed point theorem. Contrained controllability of finite-dimensional semilinear systems with delayed controls has been studied by Klamka [19, 20] where the author gives sufficient conditions for contrained local relative controllability applying a generalized open mapping theorem. Also, Klamka [21] gave necessary and sufficient conditions for different kinds of stochastic relative controllability in a given time interval which are proved for stochastic finite-dimensional linear systems with multiple delays in control.

The existence of solutions for impulsive evolution equations with delays has been studied by Hernandez, Sakthivel, and Tamaka [22]; Abada, Benchohra, and Hammouche [23]; Shikharchan and Baburao [24] and Chang [25, 26]. Besides, impulsive and stochastic effects appear in real-life systems. Moreover, a lot of dynamical systems have structure variables subject to stochastic abrupt changes, which may result from sudden phenomena such as stochastic failures and repair of components, quick environmental changes, and changes in the interconnections of subsystems (see Mao [27]). In the stochastic context, we can mention some papers related to impulsive and delay stochastic systems: Lijuan, Junping, and Jitao [28]; Sakthivel [16]; Sukavanam and Kumar [29]; Parthasarathy and Sathya [30].

The exact and approximate controllability is known for determinist systems; but the exact controllability was introduced as a concept for linear finite-dimensional systems by Kalman in the 50s. Nevertheless, the extension of this concept to infinite dimensional systems is too strong. Therefore, the approximate controllability was introduced as a weakened version of the exact controllability. However, the exact and approximate controllability cannot be a property of stochastic systems, and this needs to be a weaker concept than the approximate controllability concepts in order to extend them to the stochastic systems. Then, the concept of the -controllability is introduced. A control system is -controllable, if given an arbitrary , it is possible to steer from the point to within a distance from all points in the state space at time with probability close to one. The approximate controllability and -controllability concepts are equivalent for the linear system but are different for nonlinear stochastic systems. This concept and generalization are defined in Bashirov et al. [5, 31]. In this context, we used the -controllability which is a weaker version of -controllability.

The main objective of this article is to prove the interior -controllability of the semilinear stochastic heat equation with impulses, delay, and multiplicative noises (1) simultaneously, under appropriate conditions presented above. For this, we apply the new technique presented in Bashirov et al. [3, 4, 31, 32]. In the literature, -controllability for such systems, only a few works such as Bashirov and an article by Sukavanam and Kumar [29], has been reported.

2. Preliminaries

In this section, we introduce notations, definitions, and preliminaries which are used to write (1) as an abstract differential equation.

Let , , and be separable Hilbert spaces and be a complete probability space with a probability measure on . Let be a Wiener processes with values in and covariance nonnegative operator ( is the space of bounded linear operators on ). If the control system is stochastic, we denote by the smallest -field generated by . We assume that there exists a complete orthonormal set in and a bounded sequence of nonnegative real numbers such that with . Let be a sequence of real-valued one-dimensional standard Brownian motions mutually independent over such that .

Denoted by , the space of all -Hilbert-Schmidt operators from to with norm defined by

denotes the expectation of a random variable and denotes the conditional expectation of . Let denote the Hilbert space of all -measurable square-integrable random variables with values in . Moreover, let denote the Hilbert space of all square-integrable and -measurable processes with values in with topology given by the norm:

The control , where is the family -valued measurable and -adapted processes with norm topology given by

We consider the function defined by with being the delay. Therefore, the initial condition can be written as .

We shall denote by the set consisting of all -measurable bounded random processes with value in :

satisfying

When the control system is stochastic and completely observable, then is a natural filtration of . In this case, (see Bashirov et al. [5]). So, we shall consider the following notation:

where

Definition 1. A stochastic control system is said to be -controllable if

Definition 2. (see [5]). The stochastic semilinear control system (1) is -controllable if and only if, for every initial state , and , there is a sequence in such that

3. Abstract Formulation of the Problem

This section is devoted to set system (1) as an abstract control system in a suitable Hilbert space. To this end, we recall that the operator with Dirichlet boundary condition in has the following spectral decomposition , where denotes the eigenvalues of , each one with finite multiplicity equal to the dimension of the corresponding eigenspace. Therefore, the following properties for hold:

(i)For all , we have

 where is the inner product in , is a complete orthonormal set of eigenvectors of , and

 So, is a family of complete orthogonal projections in and .(ii) generates an analytic semigroup given by

 Therefore, system (1) can be written as abstract functional differential equations with impulses and noses (see Acosta-Leiva [33].

 where , , , is a bounded linear operator, and is defined by , , and the operators , , are defined by

Proposition 1. Under condition (3) the function and satisfies

4. Approximate Controllability of the Linear Heat Equation

Since the associated linear stochastic heat equation is approximately controllable in any interval of the form , with , we shall recall some properties and characterizations of the approximate controllability of linear deterministic evolution equations and linear stochastic evolution equations. In this regard, we consider the corresponding linear stochastic heat equation:

Note that, for all random variable -measurable and , the initial value problem

admits only one mild solution given by

We also consider the deterministic system corresponding to (20), and for all and , the initial value problem

admits only one mild solution given by

Definition 3. The stochastic linear system (20) is said to be approximately controllable on if for every initial state and final state and any there exists a control , , such that the mild solution of (20) corresponding to verifies

where

It is known that approximately controllability of the stochastic linear system (20) and deterministic linear system (22) for linear infinite dimensional systems are equivalent (see Mahmudov [34]). Now, we define the following operator.

Definition 4. (see [33]). For system (22), we define the following concept: the controllability maps , defined by

satisfy the following relation:

The adjoint of these operators , are given by

The controllability operators are given by

is defined by

The following lemma holds in general for a linear-bounded operator between Hilbert spaces and (see Bashirov et al. [5]; Curtain and Pritchard [35]; Curtain and Zwart [36] and Leiva et al. [37]).

Lemma 1. The following statements are equivalent to the approximate controllability of the linear system (20) on .

(a)(b)(c), in (d)

Remark 1. Lemma 1 implies that, for all , we have

where
So, and the error of this approximation is given by the formula:

and the family of linear operators , defined for by

is an approximate inverse for the right of the operator , in the sense that

in the strong topology.

Lemma 2. if and only if linear system (22) is approximately controllable on . Moreover, given an initial state and a final state , we can find a sequence of controls , where

such that the solutions of the initial value problem

satisfies

i.e.,

5. -Controllability of the Semilinear Stochastic System

In this section, we shall prove the main result of this paper, the interior -controllability of the heat equation with impulses, delay, and multiplicative noise (1), which is equivalent to prove the -controllability of system (16). To this end, for all and , the initial value problem

admits only one mild solution given by

with .

Proposition 2 (see [37]). If , then

Now, we are ready to present and prove the main result of this paper, the -controllability of the semilinear heat equation with impulses, delay, and multiplicative noise.

Theorem 1. Under condition (3), the semilinear heat equations with impulses, delays, and multiplicative noise (1) is -controllable on .

Proof. Given , a final state , and , we want to find a sequence of control steering the system from to an -neighborhood of on time in probability. Precisely, for , there exists control such that the corresponding solution of (39) satisfies

Consider any process control and the corresponding solution of the initial value problem (39). For , we define the control as

where

since is -measurable and .
Now, since , the corresponding solution of the initial value problem (39) at time can be written as follows:

Therefore,

Hence,

Thus,

Also, the corresponding mild solution of the initial value problem of linear solution (22) at time is given by

or equivalently

Since is -measurable, and also is -measurable, it is measurable with respect to the smaller field . On the other hand, we have that

and subtracting (49) from (48), we get

Taking conditional expectation with respect to and using the fact that the term

is independent of , we have

Therefore, putting and applying Jensen’ inequality, we have that

If we take and , then and . So, we obtain the following estimate:

where .
Hence,

or equivalently, by orthogonal projection property of conditional expectation, we have that

From equation (51), Lemma 1(d), and Proposition 2, we get that

Then, is dominated by an integrable random variable. Consequently, for every ,

Therefore, for fixed , we can choose such that

There exists such that

Then, there exists a sequence of controls such that

Since mean square convergence implies convergence in probability, we obtain

This completes the proof of the theorem.

6. Conclusions

In this article the approximate -controllability was proved for the stochastic semilinear heat equation with impulse, delay, and multiplicative noise. For this, we avoid the method of fixed point theorems by applying a new alternative method due to Bashirov et al. This technique can be used to prove the -controllability of the stochastic Benjamin Bona Mohany equation with impulses and delays, for the stochastic strongly damped wave equation under influence of impulses and delays and stochastic partial differential equations modelling the structural damped vibrations of a string or beam under the influence of impulses and delays.

Considering Theorem 1, there are many systems that do not satisfy the sufficient condition (3) and still controllable. In fact, if we change condition (3) by the following condition:

where

the system is still -controllable by using ideas from Leiva et al. [1, 2, 37].

Moreover, if we observe carefully the proof of Theorem 1, it can be concluded that condition (3) could be replaced by the following more general one:

where is a continuous function. In particular, .

Data Availability

The data used in the research to support the findings of this study are purely Bibliographic and from scientific publications, which are included in the article with their respective citations.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

References

H. Leiva, “Approximate controllability of semilinear impulsive evolution equations,” Abstract and Applied Analysis, vol. 2015, Article ID 797439, 7 pages, 2015.

H. Leiva, “Controllability of the semilinear heat equatin with impulses and delay on the state,” Nonautonomous Dynamical Systems, vol. 2, pp. 52–62, 2015.

A. E. Bashirov and N. Ghahramanlou, “On partial complete controllability of semilinear systems,” Abstract and Applied Analysis, vol. 2013, Article ID 52105, 8 pages, 2013.

A. E. Bashirov and N. Ghahramanlou, “On partial approximate controllability of semilinear systems,” Cogent Engineering, vol. 1, no. 1, 2014.

A. E. Bashirov, N. Mahmudov, N. Semi, and H. Etikan, “On partial controllability concepts,” Inernational Journal of Control, vol. 80, no. 1, pp. 1–7, 2007.

A. M. Samoilenko and N. A. Perestyuk, “Impulsive differential equations,” World Scientific Series on Nonlinear Science Series A, vol. 14, 1995.

D. Franco and J. J. Nieto, “Maximum principles for periodic impulsive first order problems,” Journal of Computational and Applied Mathematics, vol. 88, no. 1, pp. 149–159, 1998.

J. Sun and Y. Zhang, “Impulsive control of a nuclear spin generator,” Journal of Computational and Applied Mathematics, vol. 157, no. 1, pp. 235–242, 2003.

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

Z. He and J. Yu, “Periodic boundary value problem for first-order impulsive functional differential equations,” Journal of Computational and Applied Mathematics, vol. 138, no. 2, pp. 205–217, 2002.

Z. Luo and J. Shen, “Stability results for impulsive functional differential equations with infinite delays,” Journal of Computational and Applied Mathematics, vol. 131, no. 1-2, pp. 55–64, 2001.

B. Radhakrishnan and K. Balachandran, “Controllability results for semilinear impulsive integro differential evolution systems with nonlocal conditions,” Journal of Control Theory and Applications, vol. 10, no. 1, pp. 28–34, 2012.

D. N. Chalishajar, “Controllability of impulsive partial neutral funcional differential equation with infinite delay,” International Journal of Mathematical Analysis, vol. 5, no. 5, pp. 369–380, 2011.

S. Selvi and M. M. Arjunan, “Controllability results for impulsive differential systems with finite delay,” Journal of Nonlinear Sciences and Applications, vol. 5, no. 3, pp. 206–219, 2012.

L. Chen and G. Li, “Approximate controllability of impulsive differential equations with nonlocal conditions,” International Journal of Nonlinear Science, vol. 10, no. 4, pp. 438–446, 2010.

R. Sakthivel, “Controllability of nonlinear impulsive Ito type stochastic systems,” International Journal of Applied Mathematics and Computer Science, vol. 19, no. 4, pp. 589–595, 2009.

A. Carrasco, H. Leiva, J. L. Sanchez, and M. A. Tineo, “Approximate controllability of the semilinear impulsive beam equation with impulses,” Transaction on IoT and Cloud Computing, vol. 2, no. 3, pp. 70–88, 2014.

H. Leiva and N. Merentes, “Approximate controllability of the impulsive semilinear heat equation,” Journal of Mathematics and Applications, vol. 38, pp. 85–104, 2015.

J. Klamka, “Contrained controllability of the semilinear systems with delay in control,” Bulletin of the Polish Academy of Sciences: Technical Sciences, vol. 56, no. 4, pp. 333–337, 2008.

J. Klamka, “Stochastic controllability and minimum energy control of systems with multiple delays in control,” Applied Mathematics and Computation, vol. 206, no. 2, pp. 704–715, 2008.

J. Klamka, “Contrained controllability of the semilinear systems with delayed controls,” Nonlinear Dynamics, vol. 56, no. 1-2, pp. 169–177, 2009.

E. Hernandez, R. Sakthivel, and S. M. Tanaka Aki, “Existence results for impulsive evolution differential equations with state-dependent delay,” Electronic Journal of Differential Equations, vol. 2008, no. 28, p. 11, 2008.

N. Abada, M. Benchohra, and H. Hammouche, “Existence results for semilinear differential evolution equations with impulses and delay,” CUBO A Mathematical Journal, vol. 12, no. 2, pp. 1–17, 2010.

R. Jain and M. B. Dhakne, “On mild solutions of nonlocal semilinear impulsive functional integro-differential equations,” Applied Mathematics E-Notes, vol. 13, pp. 109–119, 2014.

Y.-K. Chang, “Controllability of impulsive functional differential systems with infinite delay in Banach spaces,” Chaos, Solitons & Fractals, vol. 33, no. 5, pp. 1601–1609, 2007.

Y.-K. Chang, A. Anguraj, and M. Mallika Arjunan, “Controllability of impulsive neutral functional differential inclusions with infinite delay in Banach spaces,” Chaos, Solitons & Fractals, vol. 39, no. 4, pp. 1864–1876, 2009.

X. Mao, Stochastic Differential Equations and Applications, Elis Horwood, Chichester, England, 1997.

L. Shen, J. Shi, and J. Sun, “Complete controlability of impulsive stochastic integro-differential systems,” Automatica, vol. 46, no. 6, pp. 1068–1073, 2010.

N. Sukavanam and M. Kumar, “S-controllability of an abstract first order semilinear control system,” Numerical Functional Analysis and Optimization, vol. 31, no. 9, pp. 1023–1034, 2010.

K. Balachandran and R. Sathya, “Controllability of nonlocal impulsive stochastic quasi-linear integro differential systems,” Electronic Journal of Qualitative Theory of Differential Equations, vol. 2011, no. 50, pp. 1–16, 2011.

A. E. Bashirov and K. R. Kerimov, “On controllability conception for stochastic systems,” SIAM Journal on Control and Optimization, vol. 35, no. 2, pp. 384–398, 1997.

A. E. Bashirov and N. Ghahramanlou, “On partial S-controllability of semilinear partially observable systems,” Inernational Journal of Control, vol. 88, no. 5, pp. 969–982, 2014.

A. Acosta and H. Leiva, “Robustness of the controllability for the heat equation under the influence of multiple impulses and delays,” Quaestiones Mathematicae, vol. 41, no. 6, pp. 761–772, 2018.

N. I. Mahmudov, “Controllability of linear stochastic systems in Hilbert spaces,” Journal of Mathematical Analysis and Applications, vol. 259, no. 1, pp. 64–82, 2001.

R. F. Curtain and A. J. Pritchard, “Infinite dimensional linear systems,” in Lecture Notes in Control and Information Sciences, vol. 8, Springer-Verlag, Berlin, Germany, 1978.

R. F. Curtain and H. J. Zwart, “An introduction to infinite dimensional linear systems theory,” in Text in Applied Mathematics, vol. 21, Springer-Verlag, New York, NY, USA, 1995.

H. Leiva, N. Merentes, and J. Sanchez, “Characterization of semilinear dense range operators and applications,” Abstract and Applied Analysis, vol. 2013, Article ID 729093, 11 pages, 2013.