 Research
 Open Access
 Published:
The controllability for the internally controlled 1D wave equation via a finite difference method
Advances in Difference Equations volume 2016, Article number: 301 (2016)
Abstract
In this paper, we study the controllability of the semidiscrete internally controlled 1D wave equation by using the finite difference method. In the discrete setting of the finite difference method, we derive the observability inequality and get the exact controllability for the semidiscrete internally controlled wave equation in the onedimensional case. Then we also analyze whether the uniform observability inequality holds for the adjoint system as \(h\rightarrow0\).
Introduction
In this paper, we discuss the topic related to the controllability for the space semidiscretizations of the internally controlled onedimensional wave equation. Let us first introduce certain notations and state the controlled system as studied in this paper. Let \(\omega=(a,b)\) be an open and nonempty subset of \((0,1)\), \(\chi_{\omega}\) represent the characteristic function of ω. The controlled wave equation is represented as follows:
where \(T>0\), the initial value \((y_{0},y_{1})\) belongs to \(H^{1}_{0}(0,1)\times L^{2}(0,1)\) and \(u(\cdot)\) is a control function taken from the space \(L^{2}(0,T;L^{2}(0,1))\).
Problem (1.1) is said to be exactly controllable from the initial value \((y_{0},y_{1})\in H^{1}_{0}(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}(0,1))\), such that the solution of (1.1) satisfies \((y(T),\partial_{t}y(T))=(0,0)\). The problem of the controllability of wave equations has also been the object of numerous studies. Extensive related references can be found in [1–3] and the rich work cited therein.
In this work, we shall mainly focus on the issue of how the controllability property can be achieved under the numerical approximation schemes. Now, we will introduce the numerical project by using the finite difference method. Given \(N\in\mathbb{N}\), we define \(h=\frac{1}{N+1}\). We consider the nodal points
which divides \([0,1]\) into \(N+1\) subintervals \(I_{j}=[x_{j},x_{j+1}]\), \(j=0,1,\ldots,N\). We suppose that the nodal points \(x_{k+1},\ldots,x_{k+p}\in\omega\), and \(x_{1},\ldots,x_{k},x_{k+p+1},\ldots,x_{N}\in(0,1)\setminus\omega\), for some \(k, p \in\mathbb{N}\) with \(k + p\leq N\).
Now, we consider the following finite difference semidiscretization of (1.1):
where
The conditions \(y_{0}(t)=y_{N+1}(t)=0\), \(t\in(0,T)\), are the Dirichlet boundary conditions in semidiscrete case. Next, we shall rewrite equation (1.2) by vectors. Let
and
Define the two \(N\times N\) matrices
and
where \(I_{p\times p}\) is a \(p\times p\) identity matrix, and \(p, k\in\mathbb{N}\), which are mentioned above (1.2). The system (1.2) can be rewritten as follows:
where ′ denotes derivation with respect to time. In fact, system (1.3) is in the form of linear ordinary differential equations for an unknown vector function \(\vec{y}(t)_{h}= (y_{1}(t),\ldots,y_{N}(t) )^{T}\), with the boundary conditions \({y}_{0}(t)={y}_{N+1}(t)=0\), and \(\vec{u}_{h}(t)\) plays the role of control function. The adjoint system for system (1.3) can be represented as
where the initial date \(\vec{\phi}_{0}^{h}=(\phi^{0}_{1},\ldots,\phi ^{0}_{N})^{T}\), and \(\vec{\phi}_{1}^{h}=(\phi^{1}_{1},\ldots,\phi^{1}_{N})^{T}\). It is easy to check that \(\phi^{0}_{0}=\phi^{0}_{N+1}=0\) and \(\phi^{1}_{0}=\phi^{1}_{N+1}=0\) are the compatibility conditions. Throughout the paper, we suppose that the compatibility conditions hold for any initial value.
Taking the boundary conditions \({\phi}_{0}(t)={\phi}_{N+1}(t)=0\), \(\forall t\in[0,T]\), for the solution of (1.4) we define the energy of the semidiscrete system (1.4) as
Since \(B_{h}\) is a symmetric matrix, the observability inequality of (1.4) can be formulated as: To find a constant \(C(T,h)\) such that (see [4–6])
where
Remark 1.1
The energy \(E_{h}(t)\) is conserved for the solution of (1.4). Namely, for any \(h>0\) and solution \(\vec{\phi}_{h}(t)\) of (1.4), we have (see [5])
In this paper, we will study whether the inequality (1.5) for adjoint system (1.4) holds. We are also interested in whether the constant \(C(T,h)\) is bounded as \(h\rightarrow0\). The main results of the paper are presented as follows.
Theorem 1.1
For any \(T>0\), the observability estimate (1.5) for the adjoint system (1.4) holds.
Remark 1.2
Theorem 1.1 shows that the semidiscrete system (1.2) or (1.3) is controllable for any time \(T>0\).
Theorem 1.2
For any \(T>0\), we have
To the best of our knowledge, Infante and Zuazua made the first study of this topic in [5]. They studied a controllability result for the semidiscrete 1D wave equation with boundary control. However, the uniform controllability for the semidiscrete systems in [5] cannot be derived as the discretization parameter \(h\rightarrow0\). The main differences between [5] and our paper are as follows. In [5], the authors focused on a onedimensional boundary controlled wave equation, and we mainly study the internally controlled 1D wave equation. In this case, the controller is more complicated than the case with controller on boundary. Regarding other works on this subject, we mention [4, 7, 8] and [6].
The paper is organized as follows: Section 2 briefly describes some preliminary results on the finite difference scheme. The proofs of Theorem 1.1 and Theorem 1.2 are provided in Section 3.
The finite difference scheme
In this section, we will discuss the numerical project by the finite difference method. We consider the numerical problem for (1.1) in the state space \(\mathbb{R}^{N}\) with the usual Euclidean norm and inner product denoted by \(\\cdot\ _{\mathbb{R}^{N}}\) and \(\langle\cdot,\cdot\rangle_{\mathbb{R}^{N}}\), respectively. To this end, we first introduce some properties for the eigenvalues and eigenvectors of the matrix \(A_{h}\). The spectrum for \(A_{h}\) can be explicitly computed in this case (see [9]). The eigenvalues \(\lambda_{i}(h)\) (\(i=1,\ldots, N\)) satisfy
and the corresponding unit eigenvectors in \(\mathbb{R}^{N}\) are
Clearly, the family of eigenvectors
Indeed, we can easily get the following properties for these eigenvectors.
Lemma 2.1

(i)
For any eigenvector \(w=(w_{1},w_{2},\ldots,w_{N})^{T}\) with eigenvalue \(\lambda(h)\) of matrix \(A_{h}\), the following identity holds:
$$\begin{aligned} \sum_{j=0}^{N}\biggl\frac{w_{j}w_{j+1}}{h}\biggr^{2}= \lambda(h)\sum_{j=1}^{N}w_{j}^{2}, \end{aligned}$$(2.4)where \(w_{0}=w_{N+1}=0\).

(ii)
If \(w_{k}=(w_{k,1},w_{k,2},\ldots,w_{k,N})^{T}\) and \(w_{l}=(w_{l,1},w_{l,2},\ldots,w_{l,N})^{T}\) are eigenvectors associated to eigenvalue \(\lambda_{k}\), \(\lambda_{l}\), and \(\lambda_{k}\neq\lambda_{l}\), then we have
$$\begin{aligned} \sum_{j=0}^{N}(w_{k,j}w_{k,j+1}) (w_{l,j}w_{l,j+1})=0, \end{aligned}$$(2.5)where \(w_{k,0}=w_{k,N+1}=0\), and \(w_{l,0}=w_{l,N+1}=0\).
This lemma is quoted from [5].
Lemma 2.2
Assume N is large enough so that ω contains at least two consecutive nodal points. Then
Proof
Since there are more than two consecutive nodal points in \(\omega=(a, b)\), we let \(l(h)\) denote the first natural number such that \(l(h)h\in(a,b)\), and \(m(h)\) denote the last natural number such that \(m(h)h\in(a,b)\). Then we have
Here,
and
could not be zero at the same time. Thus, we complete the proof of the lemma. □
Especially, we can get the following property for the eigenvectors for the matrix \(A_{h}\), which will play a key role in the proof of the main results.
Proposition 2.1
Assume N is large enough so that ω contains at least two consecutive nodal points. Then there exists a positive constant L which is independent on h such that
holds for the unit eigenvector \(\vec{w}_{i}^{h}\) (\(i=1,\ldots, N\)) of the matrix \(A_{h}\).
Proof
First of all, we claim that there exists a positive number M which is independent on r such that
To this end, we calculate the following integrations:
On the one hand, there exists a positive number \(N_{1}\) depending only on \(ba\), such that
On the other hand, there exists a positive number \(M_{1}\) depending only on \(N_{1}\), such that
Taking \(M=\min\{\frac{ba}{4}, M_{1}\}\), we see that the claim is correct.
After directly calculating, we obtain
Let \(l(h)\) denote the first natural number such that \(l(h)h\in(a,b)\), and \(m(h)\) denote the last natural number such that \(m(h)h\in(a,b)\). Obviously, we have
and
Note that
Hence, there exists a natural number \(I_{1}\) depending only on \(ba\), such that \(\frac{1}{i}<\frac{ba}{4}\), as \(i>I_{1}\). From the theory of classic analysis, we have
i.e.,
Combining the above inequality with (2.9), we see that
If \(0< i\leq I_{1}\), then
for \(i=1,2,\ldots,I_{1}\), as \(N\rightarrow\infty\), and
Thus, there exists a positive number \(N_{2}>I_{1}\) depending only on a, b and \(ba\), such that
and
for \(i=1,2,\ldots,I_{1}\), when \(N>N_{2}\).
Case I: \(N>N_{2}\), \(N\geq i>I_{1}\). From (2.8), (2.10), and (2.11), we can easily see that
Case II: \(N>N_{2}\), \(0< i\leq I_{1}\). According to (2.12), we can derive
Case III: \(N\leq N_{2}\). According to Lemma 2.2, there exists a positive constant \(L_{1}\), which is independent on h, such that
for any unit eigenvector \(\vec{w}_{i}^{h}\) (\(i=1,\ldots, N\)).
In summary, taking \(L=\min\{\frac{ba}{4}, \frac{M}{2}, L_{1}\}\), we can complete the proof of this conclusion. □
Remark 2.1
This theorem gives a fundamental property for the unit eigenvectors \(\vec{w}_{i}^{h}\) (\(i=1,\ldots,N\)) of the discrete Laplacian operator. It shows that the energy for these unit eigenvectors have an uniform lower boundary, which is positive and not dependent on h, in a nonempty and open subset \(\omega\subset(0,1)\).
Now, we need to introduce certain notations. Let \(X_{0}^{h}\) denote the space \(\mathbb{R}^{N}\) equipped with the norm \(\\cdot\_{0}\)
Let \(X_{1}^{h}\) denote the space \(\mathbb{R}^{N}\) equipped with the norm \(\\cdot\_{1}\),
where \(u_{0}=u_{N+1}=0\). According to the definitions of the discrete norms, the energy can be represented as \(E_{h}(t)=\frac{1}{2}(\\vec{\phi}'_{h}(t)\_{0}+\\vec {\phi}_{h}(t)\_{1})\), where \(\vec{\phi}_{h}(t)\) is the solution of equation (1.4).
Lemma 2.3
For any vector \(u=(u_{1},u_{2},\ldots,u_{N})^{T}\in\mathbb{R}^{N}\), we have the following inequality:
This lemma can easily be deduced from Lemma 2.1.
Remark 2.2

(i)
According to Lemma 2.3, it is easy to find that the spaces \(X_{0}^{h}\) and \(X_{1}^{h}\) are both Banach spaces. In fact, \(X_{0}^{h}\) and \(X_{1}^{h}\) can be regarded as the discrete version of the space \(L^{2}(0,1)\) and \(H_{0}^{1}(0,1)\), respectively. Thus, Lemma 2.3 can be regarded as the discrete version of Poincaré’s inequality.

(ii)
Since \(\mathbb{R}^{N}\times\mathbb{R}^{N}\) is a finite dimensional space, thus all norms of this space are equivalent. In particular, there exist positive numbers \(C_{1}\), \(C_{2}\), such that
$$\begin{aligned} C_{1}\bigl\ (z_{1},z_{2}) \bigr\ _{X_{0}^{h}\times X_{1}^{h}}\leq\bigl\ (z_{1},z_{2})\bigr\ _{\mathbb{R}^{N}\times\mathbb{R}^{N}}\leq C_{2}\bigl\ (z_{1},z_{2})\bigr\ _{X_{0}^{h}\times X_{1}^{h}} \end{aligned}$$(2.13)hold for any \((z_{1},z_{2})\in\mathbb{R}^{N}\times\mathbb{R}^{N}\).
The proof of Theorem 1.1 and Theorem 1.2
The proof of Theorem 1.1
Proof
First of all, we will prove that there exists a positive constant \(C(T,h)\) such that the inequality
holds, where \(\vec{\phi}_{h}(t)\) is the solution of (1.4) with initial data \((\vec{\phi}_{0}^{h},\vec{\phi}_{1}^{h})\).
Let \(T>0\). We first define a function \(F: \mathbb{R}^{N}\times\mathbb{R}^{N}\rightarrow\mathbb {R}\) as
where \(\vec{\phi}_{h}(t)\) is the solution of (1.4) with initial data \((\vec{\phi}_{0}^{h},\vec{\phi}_{1}^{h})\). Obviously, F is continuous. Now, we will prove that
holds for certain positive constant \(L(h,T)\) only depending on h and T.
Suppose that there exists an unit vector \((\vec{\varphi}_{0}^{h},\vec{\varphi}_{1}^{h})\) in \(\mathbb{R}^{N}\times \mathbb{R}^{N}\) such that \(F(\vec{\varphi}_{0}^{h},\vec{\varphi}_{1}^{h})=0\). Since \(\(\vec{\varphi}_{0}^{h},\vec{\varphi}_{1}^{h})\_{\mathbb{R}^{N}\times \mathbb{R}^{N}}=1\), \(\vec{\varphi}_{0}^{h}\) and \(\vec{\varphi}_{1}^{h}\) could not be zero at the same time. Without loss of generality, we assume that \(\vec{\varphi}_{0}^{h}\neq0\). According to (2.3), we have
and
where \(\sum_{j=1}^{N}\varphi_{0}^{j}^{2}=\\vec{\varphi}_{0}^{h}\_{\mathbb {R}^{N}}^{2}\neq0\). Solving (1.4), we can deduce that
where \(\beta_{j}(t)=\varphi_{0}^{j}\cos(\sqrt{\lambda_{j}(h)}t)+\frac {\varphi_{1}^{j}}{\sqrt{\lambda_{j}(h)}}\sin(\sqrt{\lambda_{j}(h)}t)\).
From the definition of the function F and the assumption that \(F(\vec{\varphi}_{0}^{h},\vec{\varphi}_{1}^{h})=0\), we have
Thus,
It follows from Lemma 2.1 or Proposition 2.1 that \(B_{h}\vec{w}_{j}^{h}\neq0\) for any \(j=1,2,\ldots,N\). It is obvious that the rank of subspace spanned by \(\{B_{h}\vec{w}_{1}^{h}, \ldots,B_{h}\vec{w}_{N}^{h}\}\) is less than N. Therefore, we can assume that \(B_{h}\vec{w}_{1}^{h}, \ldots,B_{h}\vec{w}_{\alpha}^{h}\), with \(1\leq\alpha< N\), are linear independent in \(\mathbb{R}^{N}\), and
Hence,
For any \(q=\alpha+1,\ldots,N\), there exists at least one scalar \(b_{qj(q)}\) (\(1\leq j(q)\leq\alpha\)) such that \({b_{qj(q)}\neq0}\). This, together with (3.4), indicates that
According to the linear independence of \(\{B_{h}\vec{w}_{j}^{h}\}_{j=1}^{\alpha}\), we can deduce that
Taking \(t=0\), we get
Differentiating (3.6) twice and taking \(t=0\), we have
By induction, we obtain
It follows from (2.1) that \(\{\lambda_{j}(h)\}_{j=1}^{N}\) are different from each other. Thus, we can deduce that
and
Taking \(j=j(q)\), we have
This, together with (3.8), leads to a contradiction to the assumption that \(\vec{\varphi}_{0}^{h}\neq0\). Thus, (3.2) holds. Note that (3.3) implies \(F(\mu\upsilon_{1}, \mu\upsilon _{2})=\mu^{2}F(\mu\upsilon_{1}, \mu\upsilon_{2})\) for every \((\upsilon_{1}, \upsilon_{2})\in{\mathbb{R}^{N}}\times{\mathbb {R}^{N}}\) and \(\mu\in\mathbb{R}\). Thus, it is obvious that inequality (3.2) leads to (3.1).
From (3.1) with (2.13), it is easy to obtain the observability inequality (1.5) of the semidiscrete system (1.4). This completes the proof of this theorem. □
The proof of Theorem 1.2
Proof
Given the initial data \(\vec{\phi}_{0}^{h}=\vec{w}_{N}^{h}\), and \(\vec{\phi}_{1}^{h}=0\), the solution of equation (1.4) can be represented as
By Lemma 2.1, one shows that
where \(w_{N,0}=w_{N,N+1}=0\). Then
It follows from (3.9) and (3.10) that
By (2.1), we derive that
This completes the proof of this theorem. □
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. 30, 10241065 (1992)
Coron, JM: Control and Nonlinearity. Mathematical Surveys and Monographs, vol. 136. American Mathematical Society, Providence (2007)
Zuazua, E: Controllability and observability of partial differential equations: some results and open problems. In: Handbook of Differential Equations: Evolutionary Equations, vol. 3, pp. 527621. Elsevier Science, Amsterdam (2006)
Castro, C, Micu, S: Boundary controllability of a linear semidiscrete 1D wave equation derived from a mixed finite element method. Numer. Math. 102, 413462 (2006)
Infante, JA, Zuazua, E: Boundary observability for the space semidiscretization of the 1D wave equation. ESAIM: Math. Model. Numer. Anal. 33, 407438 (1999)
Zuazua, E: Propagation, observation, control and numerical approximation of waves by finite difference method. SIAM Rev. 47, 197243 (2005)
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. 28, 186214 (2008)
Micu, S, Zuazua, E: An introduction to the controllability of partial differential equations. In: Sari, T (ed.) Collection Travaux en Cours Hermannin Quelques Questions de Théorie du Contrôle, pp. 67150 (2005)
Isaacson, E, Keller, HB: Analysis of Numerical Methods. Wiley, New York (1966)
Acknowledgements
The authors would like to thank the reviewers for their valuable comments and insightful suggestions. This work was partially supported by the National Natural Science Foundation of China (61203293, 61374079), Program for Science and Technology Innovation Talents in Universities of Henan Province (13HASTIT040), Program for Innovative Research Team (in Science and Technology) in University of Henan Province (14IRTSTHN023), Henan Higher School Funding Scheme for Young Teachers (2012GGJS063).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
JL provided the questions. YZ and GZ gave the proof for the main result together. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Li, J., Zheng, Y. & Zheng, G. The controllability for the internally controlled 1D wave equation via a finite difference method. Adv Differ Equ 2016, 301 (2016). https://doi.org/10.1186/s1366201610287
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366201610287
MSC
 49K20
 35J65
Keywords
 wave equation
 finite difference
 observability inequality