About this Journal Submit a Manuscript Table of Contents
International Journal of Partial Differential Equations
Volume 2013 (2013), Article ID 424309, 7 pages
http://dx.doi.org/10.1155/2013/424309
Research Article

Approximate Controllability of a Semilinear Heat Equation

1Universidad de Los Andes, Facultad de Ciencias, Departamento de Matemática, Mérida 5101, Venezuela
2Universidad Central de Venezuela, Facultad de Ciencias, Departamento de Matemática, Caracas 1051, Venezuela

Received 8 April 2013; Accepted 11 September 2013

Academic Editor: Michael Grinfeld

Copyright © 2013 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

We apply Rothe’s type fixed point theorem to prove the interior approximate controllability of the following semilinear heat equation: in on , where is a bounded domain in , , is an open nonempty subset of , denotes the characteristic function of the set , the distributed control belongs to , and the nonlinear function is smooth enough, and there are , and such that for all Under this condition, we prove the following statement: for all open nonempty subset of , the system is approximately controllable on . Moreover, we could exhibit a sequence of controls steering the nonlinear system from an initial state to an neighborhood of the final state at time .

1. Introduction

In this paper, we prove the interior approximate controllability of the following semilinear heat equation: where is a bounded domain in , , is an open nonempty subset of , denotes the characteristic function of the set , the distributed control belong to , and the nonlinear function is smooth enough, and there are , and such that which implies that

Definition 1 (approximate controllability). The system (1) is said to be approximately controllable on if for every , , , there exists such that the solution of (1) corresponding to verifies see (Figure 1), where

424309.fig.001
Figure 1

Remark 2. It is clear that exact controllability of the system (1) implies approximate controllability, null controllability, and controllability to trajectories of the system. But it is well known (see [1]) that due to the diffusion effect or the compactness of the semigroup generated by , the heat equation can never be exactly controllable. We observe also that in the linear case, controllability to trajectories and null controllability are equivalent. Nevertheless, the approximate controllability and the null controllability are in general independent. Therefore, in this paper, we shall concentrate only on the study of the approximate controllability of the system (1).

Now, before proceeding with the introduction of this paper, we should mention the work of other authors and show that ours is different in relation with new perturbation and the technique used. The approximate controllability of the heat equation under nonlinear perturbations independents of and variable has been studied by several authors, particularly in [24], depending on conditions that impose to the nonlinear term . For instance, in [3, 4], the approximate controllability of the system (6) is proved if is sublinear at infinity, that is, Also, in the above reference, they mentioned that when is superlinear at the infinity, the approximate controllability of the system (6) fails.

Recently, the interior controllability of the semilinear heat equation (1) has been proved in [57] under the following condition: there are constants , with , such that where .

We note that the interior approximate controllability of the linear heat equation has been studied by several authors, particularly by [810]; and in a general fashion in [11].

Now, we shall describe the strategy of this work.

First, we prove that the linear system is approximately controllable.

After that, we write the system (1) as follows: where is a smooth enough functions satisfying the following conditions: there are , and such that Finally, the approximate controllability of the system (11) follows from the controllability of (10), the compactness of the semigroup generated by the Laplacian operator , the condition (12) satisfied by the nonlinear term , and the following results.

Proposition 3. Let be a measure space with and . Then, and

Proof. The proof of this proposition follows from Theorem I.V.6 from [12] by putting and considering the relation

Theorem 4 (Rothe’s theorem [13, page 129]). Let be a Hausdorff topological vector space. Let be a closed convex subset such that the zero of is contained in the interior of .
Let be a continuous mapping with relatively compact in and .
Then, there is a point such that .

The technique we use here to prove the approximate controllability of the linear part of (10) is based on the classical unique continuation for elliptic equations (see [14]) and the following lemma.

Lemma 5 (see Lemma 3.14 from [15, page 62]). Let and be two sequences of real numbers such that . Then, If and only if

2. Abstract Formulation of the Problem

In this section, we choose a Hilbert space where system (1) can be written as an abstract differential equation; to this end, we consider the following results appearing in [15, page 46], [16, page 335], and [17, page 147].

Let us consider the Hilbert space and the eigenvalues of with the Dirichlet homogeneous conditions, each one with finite multiplicity equal to the dimension of the corresponding eigenspace. Then, we have the following well-known properties.(i) There exists a complete orthonormal set of eigenvectors of .(ii) For all , we have where is the inner product in and So, is a family of complete orthogonal projections in and , .(iii) generates an analytic semigroup given by

Consequently, systems (1), (10), and (11) can be written, respectively, as an abstract differential equations in : where , , , is a bounded linear operator, is defined by , for all , and . On the other hand, from condition (12), we get the following estimate.

Proposition 6. Under condition (12), the function defined by , for all , satisfies for all :

Proof
Now, since , applying Proposition 3, we obtain that

3. Interior Controllability of the Linear Equation

In this section, we shall prove the interior approximate controllability of the linear system (21). To this end, we note that, for all and , the initial value problem

where the control function belongs to , admits only one mild solution given by

Definition 7. For system (21), we define the following concept: the controllability map (for ) is given by whose adjoint operator is given by

The following lemma holds in general for a linear bounded operator between Hilbert spaces and .

Lemma 8 (see [11, 15, 18]). Equation (21) is approximately controllable on if and only if one of the following statements holds.(a).(b).(c),   in .(d).(e), for  all . (f)For all  , we have , where
So, and the error of this approximation is given by

Remark 9. Lemma 8 implies that the family of linear operators , defined for by
is an approximate inverse for the right of the operator in the sense that

Proposition 10 (see [7]). If , then

Remark 11. The proof of the following theorem follows from foregoing characterization of dense range linear operators and the classical unique continuation for elliptic equations (see [14]), and it is similar to the one given in Theorem 4.1 in [6].

Theorem 12. System (21) is approximately controllable on . Moreover, a sequence of controls steering the system (21) from initial state to an neighborhood of the final state at time is given by and the error of this approximation is given by

4. Controllability of the Semilinear System

In this section, we shall prove the main result of this paper, the interior approximate controllability of the semilinear heat equation given by (1), which is equivalent to prove the approximate controllability of the system (22). To this end, for all and , the initial value problem admits only one mild solution given by

Definition 13. For the system (22), we define the following concept: the nonlinear controllability map (for ) is given by where is the nonlinear operator given by

The following lemma is trivial.

Lemma 14. Equation (22) is approximately controllable on if and only if .

Definition 15. The following equation shall be called the controllability equation associated with the nonlinear equation (22):

Now, we are ready to present and prove the main result of this paper, which is the interior approximate controllability of the semilinear heat equation (1)

Theorem 16. The system (22) is approximately controllable on . Moreover, a sequence of controls steering the system (22) from initial state to an -neighborhood of the final state at time is given by and the error of this approximation is given by

Proof. For each fixed, we shall consider the following family of nonlinear operators given by First, we shall prove that for all the operator has a fixed point . In fact, since is smooth and satisfies (12) and the semigroup given by (19) is compact (see [19, 20]), then using the result from [1], we obtain that the operator is compact, which implies that the operator is compact.
Moreover, In fact, putting and , we get from Proposition 6 that and from the definition of the operator , Proposition 3, and (19) we have, for , the following estimate: Now, since , applying Proposition 3, we obtain that Therefore, Consequently, Then, from condition (45), we obtain that, for a fixed , there exists big enough such that Hence, if we denote by the ball of center zero and radio , we get that . Since is compact and maps the sphere into the interior of the ball , we can apply Rothe's fixed point Theorem 4 to ensure the existence of a fixed point such that Claim. The family of fixed pint is bounded.
In fact, for the purpose of contradiction, let us assume the contrary. Then, there exists a subsequence such that On the other hand, we have that . So, Hence, which is evidently a contradiction. Then, the claim is true and there exists such that Therefore, without loss of generality, we can assume that the sequence converges to . So, if then Hence, To conclude the proof of this theorem, it is enough to prove that From Lemma 8 (d), we get that On the other hand, from Proposition 10, we get that Therefore, since converges to , we get that Consequently, So, by putting and using (38), we obtain the nice result:

5. Final Remark

Our technique is simple and can be applied to those systems involving compact semigroups like some control system governed by diffusion processes. For example, the Benjamin-Bona-Mahony equation, the strongly damped wave equations, beam equations, and so forth.

Example 17. The original Benjamin-Bona-Mahony equation is a nonlinear one in [21] the authors proved the approximate controllability of the linear part of this equation, which is the fundamental base for the study of the controllability of the nonlinear BBM equation. So, our next work is concerned on the controllability of nonlinear BBM equation: where and are constants, is a domain in , is an open nonempty subset of , denotes the characteristic function of the set , the distributed control , and is a nonlinear perturbation.

Example 18. We believe that this technique can be applied to prove the interior controllability of the strongly damped wave equation with Dirichlet boundary conditions: in the space , where is a bounded domain in , is an open nonempty subset of , denotes the characteristic function of the set , the distributed control , and , are positive numbers.

Example 19. Another example where this technique may be applied is partial differential equations modeling the structural damped vibrations of a string or a beam: where is a bounded domain in , is an open nonempty subset of , denotes the characteristic function of the set , the distributed control , and .

Moreover, our result can be formulated in a more general setting. Indeed, we can consider the following semilinear evolution equation in a general Hilbert space : where is an unbounded linear operator in with the following spectral decomposition: with the eigenvalues of having finite multiplicity equal to the dimension of the corresponding eigenspaces, and is a complete orthonormal set of eigenfunctions of . The operator generates a strongly continuous compact semigroup given by The control , with , is a linear and bounded operator (linear and continuous), and the function is smooth enough, and In this case, the characteristic function set is a particular operator , and the following theorem is a generalization of Theorem 16.

Theorem 20. If vectors are linearly independent in , then the system (69) is approximately controllable on .

Acknowledgments

This work has been supported by CDCHT-ULA-C-1796-12-05-AA and BCV.

References

  1. D. Barcenas, H. Leiva, and Z. Sivoli, “A broad class of evolution equations are approximately controllable, but never exactly controllable,” IMA Journal of Mathematical Control and Information, vol. 22, no. 3, pp. 310–320, 2005.
  2. J. I. Díaz, J. Henry, and A. M. Ramos, “On the approximate controllability of some semilinear parabolic boundary-value problems,” Applied Mathematics and Optimization, vol. 37, no. 1, pp. 71–97, 1998. View at Scopus
  3. E. Fernandez-Cara, “Remark on approximate and null controllability of semilinear parabolic equations,” vol. 4, pp. 73–81, Proceedings of the Controle et Equations aux Derivees Partielles (ESAIM '98), 1998.
  4. E. Fernández-Cara and E. Zuazua, “Controllability for blowing up semilinear parabolic equations,” Comptes Rendus de l'Academie des Sciences I, vol. 330, no. 3, pp. 199–204, 2000. View at Scopus
  5. H. Leiva, N. Merentes, and J. L. Sanchez, “Interior controllability of the nD semilinear heat equation,” African Diaspora Journal of Mathematics, vol. 12, no. 2, pp. 1–12, 2011, Special vol. in Honor of Profs. C. Corduneanu, A. Fink, and S. Zaidman.
  6. H. Leiva, N. Merentes, and J. Sanchez, “Approximate controllability of semilinear reaction diffusion,” Mathematical Control and Ralated Fields, vol. 2, no. 2, 2012.
  7. H. Leiva, N. Merentes, and J. Sanchez, “A characterization of semilinear dense range operators and applications,” Abstract and Applied Analysis, vol. 2013, Article ID 729093, 11 pages, 2013. View at Publisher · View at Google Scholar
  8. X. Zhang, “A remark on null exact controllability of the heat equation,” SIAM Journal on Control and Optimization, vol. 40, no. 1, pp. 39–53, 2002. View at Publisher · View at Google Scholar · View at Scopus
  9. E. Zuazua, “Controllability of a system of linear thermoelasticity,” Journal de Mathématiques Pures et Appliquées, vol. 74, pp. 291–315, 1995.
  10. E. Zuazua, “Controllability of partial differential equations and its semi-discrete approximations,” Discrete and Continuous Dynamical Systems, vol. 8, no. 2, pp. 469–513, 2002. View at Scopus
  11. H. Leiva and Y. Quintana, “Interior controllability of a broad class of reaction diffusion equations,” Mathematical Problems in Engineering, vol. 2009, Article ID 708516, 2009. View at Publisher · View at Google Scholar · View at Scopus
  12. H. Brezis, Analisis Funcional, Teoria y Applicaciones, Alianza Universitaria Textos, Masson, Paris, 1983; cast.: Alinza Editorial, S. A., Madrid, Spain, 1984.
  13. G. Isac, “On Rothe’s fixed point theorem in general topological vector space,” Analele Stiintifice ale Universitatii Ovidius Constanta, vol. 12, no. 2, pp. 127–134, 2004.
  14. M. H. Protter, “Unique continuation for elliptic equations,” Transaction of the American Mathematical Society, vol. 95, no. 1, 1960.
  15. R. F. Curtain and A. J. Pritchard, Infinite Dimensional Linear Systems, vol. 8 of Lecture Notes in Controland Information Sciences, Springer, Berlin, Germany, 1978.
  16. C. E. Lawrence, Partial Differential Equations, vol. 19 of Graduate Studies in Mathematics, American Mathematical Society, 1999.
  17. C. Kesavan, Topics in: Functional Analysis and Applications, John Wiley & Sons, 1989.
  18. R. F. Curtain and H. J. Zwart, An Introduction to Infinite Dimensional Linear Systems Theory, vol. 21 of Text in Applied Mathematics, Springer, New York, NY, USA, 1995.
  19. D. Bárcenas, H. Leiva, and W. Urbina, “Controllability of the Ornstein-Uhlenbeck equation,” IMA Journal of Mathematical Control and Information, vol. 23, no. 1, pp. 1–9, 2006. View at Publisher · View at Google Scholar · View at Scopus
  20. D. Barcenas, H. Leiva, Y. Quintana, and W. Urbina, “Controllability of Laguerre and Jacobi equations,” International Journal of Control, vol. 80, no. 8, pp. 1307–1315, 2007. View at Publisher · View at Google Scholar · View at Scopus
  21. H. Leiva, N. Merentes, and J. L. Sanchez, “Interior controllability of the Benjamin-Bona-Mahony equation,” Journal of Mathematis and Applications, no. 33, pp. 51–59, 2010.