Research Article | Open Access

Volume 2020 |Article ID 2515160 | https://doi.org/10.1155/2020/2515160

Hugo Leiva, Miguel Narvaez, Zoraida Sivoli, "Controllability of Impulsive Semilinear Stochastic Heat Equation with Delay", International Journal of Differential Equations, vol. 2020, Article ID 2515160, 10 pages, 2020. https://doi.org/10.1155/2020/2515160

Controllability of Impulsive Semilinear Stochastic Heat Equation with Delay

Revised09 Nov 2020
Accepted30 Nov 2020
Published17 Dec 2020

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. [35]. 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 byand 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 havewhere is the inner product in , is a complete orthonormal set of eigenvectors of , andSo, is a family of complete orthogonal projections in and .(ii) generates an analytic semigroup given byTherefore, 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 problemadmits only one mild solution given by

We also consider the deterministic system corresponding to (20), and for all and , the initial value problemadmits 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 verifieswhereIt 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 bysatisfy the following relation:The adjoint of these operators , are given byThe controllability operators are given by is defined byThe 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 havewhere
So, and the error of this approximation is given by the formula:and the family of linear operators , defined for byis an approximate inverse for the right of the operator , in the sense thatin 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 , wheresuch that the solutions of the initial value problemsatisfiesi.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 problemadmits only one mild solution given bywith .

Proposition 2 (see [37]). If , thenNow, 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) satisfiesConsider any process control and the corresponding solution of the initial value problem (39). For , we define the control aswhere 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 byor equivalentlySince is -measurable, and also is -measurable, it is measurable with respect to the smaller field . On the other hand, we have thatand subtracting (49) from (48), we getTaking conditional expectation with respect to and using the fact that the termis independent of , we haveTherefore, putting and applying Jensen’ inequality, we have thatIf we take and , then and . So, we obtain the following estimate:where .
Hence,or equivalently, by orthogonal projection property of conditional expectation, we have thatFrom equation (51), Lemma 1(d), and Proposition 2, we get thatThen, is dominated by an integrable random variable. Consequently, for every ,Therefore, for fixed , we can choose such thatThere exists such thatThen, there exists a sequence of controls such thatSince mean square convergence implies convergence in probability, we obtainThis 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:wherethe 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

1. H. Leiva, “Approximate controllability of semilinear impulsive evolution equations,” Abstract and Applied Analysis, vol. 2015, Article ID 797439, 7 pages, 2015. View at: Publisher Site | Google Scholar
2. H. Leiva, “Controllability of the semilinear heat equatin with impulses and delay on the state,” Nonautonomous Dynamical Systems, vol. 2, pp. 52–62, 2015. View at: Publisher Site | Google Scholar
3. 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. View at: Publisher Site | Google Scholar
4. A. E. Bashirov and N. Ghahramanlou, “On partial approximate controllability of semilinear systems,” Cogent Engineering, vol. 1, no. 1, 2014. View at: Publisher Site | Google Scholar
5. 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. View at: Publisher Site | Google Scholar
6. A. M. Samoilenko and N. A. Perestyuk, “Impulsive differential equations,” World Scientific Series on Nonlinear Science Series A, vol. 14, 1995. View at: Publisher Site | Google Scholar
7. 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. View at: Publisher Site | Google Scholar
8. 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. View at: Publisher Site | Google Scholar
9. V. Lakshmikantham, D. D. Bainov, and P. S. Simeonov, Theory of Impulsive Differential Equations, World Scientific, Singapore, Asia, 1989.
10. 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. View at: Publisher Site | Google Scholar
11. 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. View at: Publisher Site | Google Scholar
12. 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. View at: Publisher Site | Google Scholar
13. 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. View at: Google Scholar
14. 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. View at: Publisher Site | Google Scholar
15. 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. View at: Google Scholar
16. 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. View at: Publisher Site | Google Scholar
17. 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. View at: Google Scholar
18. H. Leiva and N. Merentes, “Approximate controllability of the impulsive semilinear heat equation,” Journal of Mathematics and Applications, vol. 38, pp. 85–104, 2015. View at: Publisher Site | Google Scholar
19. 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. View at: Google Scholar
20. 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. View at: Publisher Site | Google Scholar
21. J. Klamka, “Contrained controllability of the semilinear systems with delayed controls,” Nonlinear Dynamics, vol. 56, no. 1-2, pp. 169–177, 2009. View at: Publisher Site | Google Scholar
22. 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. View at: Google Scholar
23. 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. View at: Publisher Site | Google Scholar
24. 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. View at: Google Scholar
25. 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. View at: Publisher Site | Google Scholar
26. 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. View at: Publisher Site | Google Scholar
27. X. Mao, Stochastic Differential Equations and Applications, Elis Horwood, Chichester, England, 1997.
28. L. Shen, J. Shi, and J. Sun, “Complete controlability of impulsive stochastic integro-differential systems,” Automatica, vol. 46, no. 6, pp. 1068–1073, 2010. View at: Publisher Site | Google Scholar
29. 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. View at: Publisher Site | Google Scholar
30. 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. View at: Google Scholar
31. 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. View at: Publisher Site | Google Scholar
32. 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. View at: Publisher Site | Google Scholar
33. 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. View at: Publisher Site | Google Scholar
34. 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. View at: Publisher Site | Google Scholar
35. 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. View at: Google Scholar
36. 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. View at: Google Scholar
37. 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. View at: Publisher Site | Google Scholar

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.