# The controllability for the semi-discrete wave equation with a finite element method

- Guojie Zheng
^{1, 2}and - Xin Yu
^{3}Email author

**2013**:160

https://doi.org/10.1186/1687-1847-2013-160

© Zheng and Yu; licensee Springer 2013

**Received: **22 February 2013

**Accepted: **22 May 2013

**Published: **7 June 2013

## Abstract

In this paper, we study the controllability problem of the semi-discrete internally controlled one-dimensional wave equation with the finite element method. We derive the observability inequality and prove the exact controllability for the semi-discrete internally controlled wave equation, with the controls taken from a finite dimensional space.

**MSC:**49K20, 35J65.

## Keywords

## 1 Introduction

*ω*be an open and nonempty subset of $(0,1)$. Define an operator $E:{L}^{2}(\omega )\to {L}^{2}(0,1)$ by

where the initial value $({y}_{0},{y}_{1})$ belongs to ${H}_{0}^{1}(0,1)\times {L}^{2}(0,1)$ and $u(\cdot )$ is a control function taken from the space ${L}^{2}(0,T;{L}^{2}(\omega ))$.

System (1.1) is said to be exactly controllable from the initial value $({y}_{0},{y}_{1})\in {H}_{0}^{1}(0,1)\times {L}^{2}(0,1)$ in time *T* if there exists a control function $u(\cdot )\in {L}^{2}(0,T;{L}^{2}(\omega ))$ such that the solution of (1.1) matches that $(y(T),{\partial}_{t}y(T))=(0,0)$. We have already known that the controllability property for the above continuous one-dimensional wave equation holds for any given $T>2$ (see [1]).

*h*be a small enough positive number. Corresponding to each given

*h*, we take nodal points ${x}_{i}$, with $i=0,1,\dots ,{N}_{h}$, over the interval $[0,1]$ such that

Throughout this paper, ${\chi}_{\omega}$ will be treated as an operator from ${L}^{2}(0,1)$ to ${L}^{2}(\omega )$, by setting ${\chi}_{\omega}(f)=f{|}_{\omega}$ for all $f\in {L}^{2}(0,1)$. Clearly, ${\tilde{V}}^{h}$ is a subspace of ${H}^{1}(\omega )$.

*E*over ${\tilde{V}}^{h}$, and project equation (1.1) into the following controlled ordinary differential equations:

In this paper, we mainly deal with the controllability for semi-discrete system (1.4). The main result of the paper is presented as follows.

**Theorem 1.1** *For each* $T>0$, *controlled system* (1.4) *is exactly controllable in time* *T*. *Namely*, *there exists a control function* ${v}_{h}(\cdot )\in {L}^{2}(0,+\mathrm{\infty};{\tilde{V}}^{h})$ *such that the solution of* (1.4) *satisfies* $({y}_{h}(T),{y}_{h}^{\prime}(T))=(0,0)$.

**Remark 1.2** In this paper, our main purpose is to discuss whether or not the semi-discrete internally controlled systems have the exactly controllable property which the original controlled systems have. This is a very valuable problem in control theory. In [2], the authors established such a controllability result for the semi-discrete one-dimensional boundary controlled wave equation by the numerical approximation method. The authors also got that the semi-discrete systems are not uniformly controllable as the discretization parameter *h* goes to zero. The main differences between [2] and our paper are as follows. In [2], the authors focused on a one-dimensional boundary controlled wave equation and they obtained the controllability for the semi-discrete wave system, with the controls taken from an infinite dimensional space. In our paper, we discuss an internally controlled one-dimensional wave equation. In this case, we obtain the exact controllability of the semi-discrete wave equation, with the controls taken from a finite dimensional space. Regarding other works related to this problem, we would like to mention [3, 4], and [5].

The rest of the paper is structured as follows. In Section 2, we give a sufficient condition for controllability. By making use of this sufficient condition presented in Section 2, we provide the proof of Theorem 1.1 in Section 3.

## 2 The controllability and observability property

where the initial data $({y}_{0}^{h},{y}_{1}^{h})\in {V}_{0}^{h}\times {V}_{0}^{h}$. Clearly, it is a controlled system governed by ordinary differential equations. However, the control functions for this system are taken from the infinite dimensional space ${L}^{2}(0,T;{L}^{2}(\omega ))$.

In this section, we discuss some controllability result for system (2.1). More concisely, a sufficient condition for the exact controllability property of (2.1) will be presented. The proofs of the following Lemmas 2.1, 2.2 and 2.4 can be found in [6].

**Lemma 2.1**

*The control*$u\in {L}^{2}(0,T;{L}^{2}(\omega ))$

*drives the initial data*$({y}_{0}^{h},{y}_{1}^{h})$

*of controlled system*(2.1)

*to zero in time*

*T*

*if and only if*

*for all* $({\phi}_{0}^{h},{\phi}_{1}^{h})\in {V}_{0}^{h}\times {V}_{0}^{h}$, *where* ${\phi}_{h}$ *is the corresponding solution of equation* (2.2).

where ${\phi}_{h}$ is the solution of (2.2) with initial data $({\phi}_{0}^{h},{\phi}_{1}^{h})\in {V}_{0}^{h}\times {V}_{0}^{h}$.

We have the following result.

**Lemma 2.2**

*Suppose that*$({\stackrel{\u02c6}{\phi}}_{0}^{h},{\stackrel{\u02c6}{\phi}}_{1}^{h})\in {V}_{0}^{h}\times {V}_{0}^{h}$

*is a minimizer of*$\mathcal{J}$.

*If*${\stackrel{\u02c6}{\phi}}_{h}$

*is the corresponding solution of equation*(2.2)

*with initial*$({\stackrel{\u02c6}{\phi}}_{0}^{h},{\stackrel{\u02c6}{\phi}}_{1}^{h})$,

*then*

*is a control which drives the initial data* $({y}_{0}^{h},{y}_{1}^{h})$ *of controlled system* (2.1) *to zero in time* *T*.

To get the sufficient condition that ensures the existence of a minimizer for $\mathcal{J}$, we need to give the following definition.

**Definition 2.3**Equation (2.2) is observable in time

*T*if there exists a positive constant

*L*such that the following inequality holds:

for any $({\phi}_{0}^{h},{\phi}_{1}^{h})\in {V}_{0}^{h}\times {V}_{0}^{h}$, where ${\phi}_{h}$ is the solution of (2.2) with initial data $({\phi}_{0}^{h},{\phi}_{1}^{h})$.

Inequality (2.6) is called observability inequality. The following conclusion shows that observability inequality (2.6) is the sufficient condition for the exact controllability of system (2.1).

**Lemma 2.4** *Suppose equation* (2.2) *is observable in time* *T*. *Then the functional* $\mathcal{J}$ *defined by* (2.4) *has a unique minimizer* $({\stackrel{\u02c6}{\phi}}_{0}^{h},{\stackrel{\u02c6}{\phi}}_{1}^{h})\in {V}_{0}^{h}\times {V}_{0}^{h}$.

## 3 The proof of Theorem 1.1

forms an orthogonal basis of ${V}_{0}^{h}$. The following two results are quoted from [7]. They will be used later.

**Lemma 3.1** *For any non*-*zero vector* ${\xi}_{h}$ *in the space* ${V}_{0}^{h}$, *we have* ${\xi}_{h}={\sum}_{s=1}^{q}{r}_{s}{f}_{s}^{h}$, *where* ${f}_{s}^{h}$, $s\in \{1,2,\dots ,q\}$, *is a normalized eigenfunction in the eigenspace* ${W}_{s}^{h}$, *and* ${r}_{1},{r}_{2},\dots ,{r}_{q}$ *are real numbers satisfying* ${\sum}_{s=1}^{q}{r}_{s}^{2}={\parallel {\xi}_{h}\parallel}^{2}$, *where* $\parallel \cdot \parallel $ *denotes the usual norm of* ${L}^{2}(0,1)$.

**Theorem 3.2** *Suppose that* ${X}^{h}$ *is an eigenfunction to the operator* $-{\mathrm{\u25b3}}_{h}$, *and* *ω* *is an open and nonempty subset of* $(0,1)$. *Then* ${\chi}_{\omega}{X}^{h}\ne 0$.

Now, we will prove the controllability for system (2.1).

**Theorem 3.3**

*For each*$T>0$,

*the solution of semi*-

*discrete system*(2.2)

*satisfies the following inequality*:

**Remark 3.4** Since ${V}_{0}^{h}\times {V}_{0}^{h}$ is a finite dimensional space, thus all norms of this space are equivalent, and then we can get that inequality (3.1) implies observability of semi-discrete system (2.2).

*Proof*For any given $T>0$, consider the following function $F:{V}_{0}^{h}\times {V}_{0}^{h}\to \mathbb{R}$ defined by

*F*is continuous. To prove inequality (3.1), it suffices to show that we can find a positive constant $L(h,T)$, where $L(h,T)$ only depends on

*h*and

*T*, such that

Now, noting that ${V}_{h}^{0}$ is an ${N}_{h}-1$ dimensional space, we can choose ${f}_{q+1}^{h},\dots ,{f}_{{N}_{h}-1}^{h}$ which are normalized eigenfunctions of $-{\mathrm{\u25b3}}_{h}$ such that ${f}_{1}^{h},\dots ,{f}_{q}^{h},{f}_{q+1}^{h},\dots ,{f}_{{N}_{h}-1}^{h}$ constitute a complete standard orthogonal basis of ${V}_{h}^{0}$. Let ${\lambda}_{1}^{h},\dots ,{\lambda}_{{N}_{h}-1}^{h}$ be ${N}_{h}-1$ corresponding eigenvalues to eigenfunctions ${f}_{1}^{h},\dots ,{f}_{q}^{h},{f}_{q+1}^{h},\dots ,{f}_{{N}_{h}-1}^{h}$.

*F*and the assumption that $F({w}_{0}^{h},{w}_{1}^{h})=0$, indicates that

which leads to a contradiction to the assumption that ${w}_{0}^{h}\ne 0$, and then we can complete the proof of (3.2).

where $r=0,1,2,\dots $ .

*α*, there are only two possibilities: it either is equal to

*q*or is less than

*q*. If $\alpha =q$, (3.5) follows immediately from (3.6). If $\alpha <q$, we have the following presentation:

In the above second identity, corresponding to each $j\in \{\alpha +1,\dots ,q\}$, we can take *s* as the number $s(j)$ given in (3.8). Then it follows that ${\xi}_{j}=0$ for all $j\in \{\alpha +1,\dots ,q\}$. Hence, we prove (3.5) and finish the proof for this theorem. □

*Proof of Theorem 1.1*According to Lemma 2.2, Lemma 2.4, and Theorem 3.3, we have that system (2.1) is controllable in time

*T*. Suppose that $({\stackrel{\u02c6}{\phi}}_{0}^{h},{\stackrel{\u02c6}{\phi}}_{1}^{h})\in {V}_{0}^{h}\times {V}_{0}^{h}$ is a minimizer of $\mathcal{J}$. If ${\stackrel{\u02c6}{\phi}}_{h}$ is the corresponding solution of equation (2.2) with initial data $({\stackrel{\u02c6}{\phi}}_{0}^{h},{\stackrel{\u02c6}{\phi}}_{1}^{h})$, then

is a control which drives the initial data $({y}_{0}^{h},{y}_{1}^{h})$ of controlled system (2.1) to zero in time *T*. It is easy to see that ${\chi}_{\omega}{\stackrel{\u02c6}{\phi}}_{h}\in {L}^{2}(0,+\mathrm{\infty};{\tilde{V}}^{h})$. This completes the proof of this theorem. □

## Declarations

### Acknowledgements

The authors would like to thank professor Gengsheng Wang for his valuable suggestions on this paper. This work was partially supported by the National Natural Science Foundation of China (U1204105, 61203293), the Natural Science Foundation of Zhejiang (Y6110751), the Natural Science Foundation of Ningbo (2010A610096), the Key Foundation of Henan Educational Committee (13A120524, 12B120006), and the Fundamental and Frontier Technology Research Projects of Henan Province (132300410285).

## Authors’ Affiliations

## References

- Bardos C, Lebeau G, Rauch J: Sharp sufficient conditions for the observation, control and stabilization of waves from the boundary.
*SIAM J. Control Optim.*1992, 30: 1024-1065. 10.1137/0330055MathSciNetView ArticleMATHGoogle Scholar - Infante JA, Zuazua E: Boundary observability for the space semi-discretization of the 1-D wave equation.
*ESAIM Math. Model. Numer. Anal.*1999, 33: 407-438. 10.1051/m2an:1999123MathSciNetView ArticleMATHGoogle Scholar - Castro C, Micu S: Boundary controllability of a linear semi-discrete 1-D wave equation derived from a mixed finite element method.
*Numer. Math.*2006, 102: 413-462. 10.1007/s00211-005-0651-0MathSciNetView ArticleMATHGoogle Scholar - Castro C, Micu S: Numerical approximation of the boundary control for the wave equation with mixed finite elements in a square.
*IMA J. Numer. Anal.*2008, 28: 186-214.MathSciNetView ArticleMATHGoogle Scholar - Zuazua E: Propagation, observation, control and numerical approximation of waves by finite difference method.
*SIAM Rev.*2005, 47: 197-243. 10.1137/S0036144503432862MathSciNetView ArticleMATHGoogle Scholar - Micu S, Zuazua E: An introduction to the controllability of partial differential equations. In
*Collection Travaux en Cours Hermannin Quelques Questions de Théorie du Contrôle*Edited by: Sari T. 2005, 69-157.Google Scholar - Wang G, Zheng G: An approach to the optimal time for a time optimal control problem of an internally controlled heat equation.
*SIAM J. Control Optim.*2012, 50: 601-628. 10.1137/100793645MathSciNetView ArticleMATHGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.