About this Journal Submit a Manuscript Table of Contents
Abstract and Applied Analysis
Volume 2013 (2013), Article ID 483053, 6 pages
http://dx.doi.org/10.1155/2013/483053
Research Article

Boundary Controllability of a Pseudoparabolic Equation

1School of Mathematics and Computational Science, Sun Yat-Sen University, Guangzhou 510275, China
2School of Mathematics and Statistics, Northeast Normal University, Changchun 130024, China

Received 24 May 2013; Revised 29 July 2013; Accepted 30 July 2013

Academic Editor: Valery Y. Glizer

Copyright © 2013 Qiang Tao 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 deal with the controllability problem for the pseudoparabolic equation by means of boundary controls. Due to the unusual spectrum of this kind of equations, we prove that the null controllability property is false. Furthermore, by the explicit solution, we show that the approximate controllability holds.

1. Introduction

This paper is devoted to the study of controllability properties of the 1D pseudoparabolic equation: where is the state, is a control function acting on the boundary , and is a constant.

The pseudoparabolic equations are a kind of Sobolev-Galpern type equations. They have occurred in numerous physical applications among which include problems involving seepage of fluids through fissured rocks [1], unsteady flows of second-order fluids [2, 3], and the theory of thermodynamics involving two temperatures [4]. They can also be used as a regularization of ill-posed transport problems, especially as a quasicontinuous approximation to discrete models for population dynamics [5]. Furthermore, pseudoparabolic equations are closely related to the well-know BBM equations [6] which are advocated as a refinement of KdV equations.

In the last two decades, important progress has been made in the controllability analysis of parabolic equations. We refer to the works [713] and the references therein. It is well known that the null and approximate controllability hold for the classical parabolic equations. However, for some special models, there arise some new results. For example, in [14], the authors considered the heat equation with memory: By establishing that the observability inequality for the heat equation with memory is not true, they proved that there exists a set of initial conditions such that the null controllability property fails by means of boundary controls. Recently, Doubova and Fernández-Cara [15] studied the approximate distributed and boundary controllability of viscoelastic fluids of the Jeffreys kind, which can be equivalently rewritten as a parabolic equation with memory The main tool for proving the approximate controllability result is a unique continuation property for its adjoint system. The authors pointed out that this parabolic equation with memory transforms from a damped wave equation (see [15]): In recent years, there are more and more works addressing the controllability problems of damped wave equations (see e.g., [1619] and the references cited therein).

In this paper, we focus on another kind of parabolic equation with damped term , that is, so-called the pseudoparabolic equation. Inspired by the above works, whether the pseudoparabolic equation is controllable or not seems very interesting. Indeed, as the third-order term arises, some properties of (1) are quite different from those of the parabolic equations. One of the most essential differences is that, comparing with the fact that the eigenvalues of heat equations accumulate at , the eigenvalues of (1) have an accumulation real point (it will be shown in Section 2). A similar property was pointed in [20]. This difference causes that the controllability properties of (1) become deeply different from the ones for the parabolic equations. We will show that system (1) is not null controllable under the influence of such unusual spectrum. To this end, we turn the control problem into a moment problem. Thanks to the Paley-Wiener theorem, the result is got, and our approach avoids the proof of the observability inequalities which was used in [14]. On the other hand, we establish the approximate controllability of system (1) in some Fourier definition of Sobolev spaces . The proof is based on a duality method and the explicit solution of the adjoint system of (1), which we obtain by variable separations instead of the Laplace transform in [15]. The techniques we use to prove the approximate controllability contain some ideas of the unique continuation properties.

Throughout this paper, we will use the following notations. The th Fourier coefficient (with respect to the orthonormal basis of ) of any integrable function is defined as So, can be written in the form For any , let Endowed with the scalar product is a Hilbert space. Moreover, , , and (the dual space of with respect to the central space ) for any . Finally, for any and any , we have that where stands for the duality pairing between and .

The main aim of this paper is to analyze the controllability properties of (1). It will be said that (1) is approximate controllable by boundary control at time ; if for any , the set of reachable states is dense in . And it will be said that (1) is null controllable at time ; if for any given , there exist controls such that the associated solutions to (1) satisfy

For the sake of simplicity, we will take throughout this paper. All the results can be extended without difficulty to arbitrary.

The rest of this paper is organized as follows. In Section 2, we will show some elementary properties for (1) and their adjoint equation. Section 3 is devoted to studying the null and approximate controllability of (1), respectively. In Section 4, some open questions related to this work are provided.

2. Preliminaries

In this section, we first consider the existence and uniqueness of the solution to problem (1).

Let . We readily obtain that is a solution of the system The existence and uniqueness of the solution to the problem (12) are well known (see [21, 22]); that is, for every and , system (12) admits a unique solution . In turn, we see that if and , system (1) admits a unique solution .

In order to prove the controllability of system (1), let us consider the following homogeneous initial boundary value problem: We will give an explicit solution of the problem (13) by the method of separation of variables.

Proposition 1. If the initial condition is given by , then the solution to (13) is where and . Moreover, , is a monotone decreasing sequence, and as .

Proof. Let . From the first equality of (13), we have We can see that the identity is true if and only if both sides of it are equal to one constant. Let the constant be . Then we get Since the solution satisfies the boundary condition, is necessary. Thus, we obtain an eigenvalue problem By using a simple calculation, we have that and where is an arbitrary constant. Now, let us turn to the second equation of (16) It is easy to see that is the solution to (19), where and is an arbitrary constant. Combining the initial condition , we can write the solution of (13) as The expressions of imply that , is a monotone decreasing sequence, and as .

Remark 2. It is important to observe that the spectrum of (1) is quite different from that of heat equation. This will be essential when dealing with the controllability problem of (1).

As an easy consequence of the above representation formula, we have the following result.

Proposition 3. Let . If , then . In addition, if , then and .

Proof. If , we have . It holds that and hence, .
On the other hand, taking the derivative with respect to in (14), we obtain that Since we see that and , provided that .

Now, let us turn to the adjoint system to system (1) as follows: Based on the method in Proposition 1, we have that if is decomposed as the solution of (25) is given by which yields Corresponding to Proposition 3, we have the following result.

Proposition 4. Let . If , then . In addition, if , then and .

Proof. If , we have . It follows that Hence . On the other hand, we have by the Cauchy-Schwarz inequality that It is clear that , provided that .

3. The Main Results

This section is devoted to the study of the controllability of system (1). We first do some transformation by the duality principle.

Multiplying (formally) the first equation in (1) by which is the solution of (25) and integrating on , we have Integrating by parts, we get Noticing the first equation in (25), we obtain It is clear that (33) can be rewritten as Now, we are ready to show the controllability of system (1).

3.1. Null Controllability

Following some of the key ideas developed by Micu [23], we are able to show that the null controllability property fails.

Theorem 5. For , there exist initial conditions such that for any control function , the associated solution to system (1) is not identically equal zero at time .

Proof. It follows from (34) that the null controllability problem is equivalent to the existence of a control function such that Using (9), (27), and (28), we can transform the control problem into a moments problem. In other words, we need to find the control function such that To this end, we consider that any initial data with the sequence satisfies for . Suppose that for this kind of , there exists a such that (36) holds. Let By Paley-Wiener theorem, is an entire function and The fact that as implies that is zero on a set with a finite accumulation point. Therefore, . It follows that for each . Thus the proof of Theorem 5 is completed.

3.2. Approximate Controllability

Because of the lack of null controllability, the approximate controllability of system (1) becomes much more interesting. We will study the approximate controllability in this part. Without loss of generality, we assume that and by (34) we have

In order to show the approximate controllability, two lemmas are needed later. The first one is an equivalent condition for the approximate controllability.

Lemma 6. For system (25), if we assume that if and only if for any function , then system (1) is approximatively controllable in .

Proof. Recall that the approximate controllability of system (1) in is equivalent to that that is dense in . Therefore, in order to conclude the proof, we only need to show that is dense in . It follows from Hahn-Banach theorem that every continuous linear functional on which vanishes on , must vanish everywhere on .
Now, suppose that is not dense in . Then by Hahn-Banach theorem there exists with , such that for any , we have By (39), we get that But from the condition if and only if for any function , we have that is the only initial value for which the solution of (25) fulfills for any function . Therefore , and it is contrary to the choice of . This completes the proof of Lemma 6.

Lemma 6 implies that, in order to prove the approximate controllability of system (1) with boundary control, we only need to check the condition about the solution of the dual problem (25) in Lemma 6.

The following elementary lemma can be found in [24, 25].

Lemma 7. Let and be two sequences of complex numbers such that and for each and some number . Assume that the s are pairwise distinct and that for a.e. . Then for all .

We are now in a position to present the proof of the approximate controllability of (1) with boundary control.

Theorem 8. Let . System (1) is approximately controllable in with at time .

Proof. First, we prove that there is a control function such that is dense in with . Now, take with decomposed as in (26).
Set and denote Then it follows that when ranges over and ranges over .
Assume that, for any , By Lemma 6, we only need to prove that or equivalently that for each (see (26)). Noticing that for any Span , We have Span Span . Therefore, from (28), there exists a constant such that for a.e. . If taking , , and , we obtain for a.e. .
On the other hand, since with and by Proposition 4, we have that Then by Lemma 7, we obtain that for each . It implies that . The proof of Theorem 8 is completed.

4. Concluding Remark

In this paper, the controllability of the pseudoparabolic equation is studied. With a boundary control, it is proved that the system is not null controllable, but that an approximate controllability result is obtained in some appropriate functional spaces. Below is a list of unsolved and interesting questions related to our work.(1)It has been got that the approximate controllability holds in with . The question whether the approximate controllability holds for remains open. The method in this paper does not work for that case.(2)It seems natural to expect that the controllability for multidimensional pseudoparabolic equations through a boundary controller or a locally distributed one. We will consider these problems in the forthcoming papers.(3)It would be quite interesting to study the controllability properties of (1) for the case variable coefficient (i.e., ). However, it seems very difficult, and many classical methods such as moment problem and strongly continuous semigroups may be false. Indeed, controllability of equation with variable coefficients always bring us much more difficult than that with constant coefficient. One needs a highly innovative way to obtain the observability inequalities or unique continuation properties. An example was presented in [26] to establish some controllability results for wave equations with variable coefficients by a Riemannian geometry method.

Acknowledgment

The authors would like to thank the anonymous reviewer for their valuable comments, which significantly contributed to improving the quality of the paper. This work was supported by the NSF of China under Grants 11171060, 11271381, 11301345, and 11071036, National Basic Research Program of China (973 Program) (no. 2011CB808002).

References

  1. G. I. Barenblatt, I. P. Zheltov, and I. N. Kochina, “Basic concepts in the theory of seepage of homogeneous liquids in fissured rocks,” Journal of Applied Mathematics and Mechanics, vol. 24, pp. 1286–1303, 1960.
  2. B. D. Coleman, R. J. Duffin, and V. J. Mizel, “Instability, uniqueness and nonexistence theorems for the equation ut=uxx-uxtx on a strip,” Archive for Rational Mechanics and Analysis, vol. 19, pp. 100–116, 1965. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  3. T. W. Ting, “Certain non-steady flows of second-order fluids,” Archive for Rational Mechanics and Analysis, vol. 14, pp. 1–26, 1963. View at Zentralblatt MATH · View at MathSciNet
  4. P. J. Chen and M. E. Gurtin, “On a theory of heat conduction involving two temperatures,” Zeitschrift für Angewandte Mathematik und Physik, vol. 19, pp. 614–627, 1968.
  5. V. Padrón, “Effect of aggregation on population revovery modeled by a forward-backward pseudoparabolic equation,” Transactions of the American Mathematical Society, vol. 356, no. 7, pp. 2739–2756, 2004. View at Publisher · View at Google Scholar · View at MathSciNet
  6. T. B. Benjamin, J. L. Bona, and J. J. Mahony, “Model equations for long waves in nonlinear dispersive systems,” Philosophical Transactions of the Royal Society of London A, vol. 272, no. 1220, pp. 47–78, 1972. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  7. V. Barbu, “Controllability of parabolic and Navier-Stokes equations,” Scientiae Mathematicae Japonicae, vol. 56, no. 1, pp. 143–211, 2002. View at Zentralblatt MATH · View at MathSciNet
  8. A. Doubova, E. Fernández-Cara, M. González-Burgos, and E. Zuazua, “On the controllability of parabolic systems with a nonlinear term involving the state and the gradient,” SIAM Journal on Control and Optimization, vol. 41, no. 3, pp. 798–819, 2002. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  9. E. Fernández-Cara and E. Zuazua, “Null and approximate controllability for weakly blowing up semilinear heat equations,” Annales de l'Institut Henri Poincaré. Analyse Non Linéaire, vol. 17, no. 5, pp. 583–616, 2000. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  10. C. Fabre, J.-P. Puel, and E. Zuazua, “Approximate controllability of the semilinear heat equation,” Proceedings of the Royal Society of Edinburgh A, vol. 125, no. 1, pp. 31–61, 1995. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  11. A. V. Fursikov and O. Yu. Imanuvilov, Controllability of Evolution Equations, Seoul University, Seoul, Republic of Korea, 1996. View at MathSciNet
  12. 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, 2001. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  13. G. Wang, “L-null controllability for the heat equation and its consequences for the time optimal control problem,” SIAM Journal on Control and Optimization, vol. 47, no. 4, pp. 1701–1720, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  14. S. Guerrero and O. Y. Imanuvilov, “Remarks on non controllability of the heat equation with memory,” ESAIM. Control, Optimisation and Calculus of Variations, vol. 19, no. 1, pp. 288–300, 2013. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  15. A. Doubova and E. Fernández-Cara, “On the control of viscoelastic Jeffreys fluids,” Systems & Control Letters, vol. 61, no. 4, pp. 573–579, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  16. J. L. Boldrini, A. Doubova, E. Fernández-Cara, and M. González-Burgos, “Some controllability results for linear viscoelastic fluids,” SIAM Journal on Control and Optimization, vol. 50, no. 2, pp. 900–924, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  17. M. A. Shubov, “Exact boundary and distributed controllability of radial damped wave equation,” Journal de Mathématiques Pures et Appliquées, vol. 77, no. 5, pp. 415–437, 1998. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  18. A. López, X. Zhang, and E. Zuazua, “Null controllability of the heat equation as singular limit of the exact controllability of dissipative wave equations,” Journal de Mathématiques Pures et Appliquées. Neuvième Série, vol. 79, no. 8, pp. 741–808, 2000. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  19. F. W. Chaves-Silva, L. Rosier, and E. Zuazua, “Null controllability of a system of viscoelasticity with a moving control,” Journal de Mathématiques Pures et Appliquées, 2013. View at Publisher · View at Google Scholar
  20. A. Münch and E. Zuazua, “Numerical approximation of null controls for the heat equation: Ill-posedness and remedies,” Inverse Problems, vol. 26, no. 8, Article ID 085018, 39 pages, 2010.
  21. R. E. Showalter, “Partial differential equations of Sobolev-Galpern type,” Pacific Journal of Mathematics, vol. 31, pp. 787–793, 1969. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  22. R. E. Showalter and T. W. Ting, “Pseudoparabolic partial differential equations,” SIAM Journal on Mathematical Analysis, vol. 1, pp. 1–26, 1970. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  23. S. Micu, “On the controllability of the linearized Benjamin-Bona-Mahony equation,” SIAM Journal on Control and Optimization, vol. 39, no. 6, pp. 1677–1696, 2001. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  24. Q. Tao, H. Gao, and B. Zhang, “Approximate controllability of a parabolic equation with memory,” Nonlinear Analysis. Hybrid Systems, vol. 6, no. 2, pp. 839–845, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  25. L. Rosier and P. Rouchon, “On the controllability of a wave equation with structural damping,” International Journal of Tomography & Statistics, vol. 5, pp. 79–84, 2007. View at MathSciNet
  26. P.-F. Yao, “On the observability inequalities for exact controllability of wave equations with variable coefficients,” SIAM Journal on Control and Optimization, vol. 37, no. 5, pp. 1568–1599, 1999. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet