- Research
- Open access
- Published:

# Exact controllability for a one-dimensional wave equation with the fixed endpoint control

*Boundary Value Problems*
**volumeÂ 2015**, ArticleÂ number:Â 208 (2015)

## Abstract

This paper is devoted to the study of the exact controllability for a one-dimensional wave equation in domains with moving boundary. This equation characterizes the motion of a string with a fixed endpoint and the other a moving one. The control is put on the fixed endpoint. When the speed of the moving endpoint is less than the characteristic speed, by the Hilbert uniqueness method (HUM), exact controllability of this equation is established.

## 1 Introduction

Given \(T>0\). Let us consider a non-cylindrical domain \(\widehat{Q}_{T}^{k}\), defined by

where

Consider the following controlled wave equation in the non-cylindrical domain \(\widehat{Q}_{T}^{k} \):

where *u* is the state variable, *v* is the control variable and \((u^{0}, u^{1} )\in L^{2}(0, 1)\times H^{-1}(0, 1)\) is any given initial value. Equation (1.2) may describe the motion of a string with a fixed endpoint and a moving one. The constant *k* is called the speed of the moving endpoint. By [1], for \(0< k<1\), any \((u^{0}, u^{1} )\in L^{2}(0,1)\times H^{-1}(0,1)\) and \(v\in L^{2}(0,T)\), (1.2) admits a unique solution in the sense of transposition. The main purpose of this paper is to study the exact controllability of (1.2). In practical situations, many processes evolve in domains whose boundary has moving parts. A simple model is, *e.g.*, the interface of an ice-water mixture when the temperature rises. To study the controllability problem of wave equations with moving boundary or free boundary is very significant. We first consider a one-dimensional wave equation with moving boundary when the moving endpoint moves along a line. In addition, for \(0< k<1\), (1.2) admits a unique solution in the sense of transposition. But for \(k>1\) (1.2) admits a unique solution only when more boundary conditions are described. Now the controllability problem of this system is worth considering.

As is well known, there exists a variety of literature on the controllability and stabilization problems of wave equations in a cylindrical domain. However, there are only a few works of wave equations defined in non-cylindrical domains. We refer to [1â€“9] for some known results in this respect. Cavalcanti *et al.* [9] consider existence, uniqueness, and asymptotic behavior of global regular solutions of the mixed problem of the Kirchhoff nonlinear model for the hyperbolic-parabolic equation in non-cylindrical domains. The controllability problem of this system in [9] is open and is worth considering. In [2], the exact controllability of a multi-dimensional wave equation with constant coefficients in a non-cylindrical domain was established, while a control entered the system through the whole non-cylindrical domain. In [1â€“3], some controllability results for wave equations with Dirichlet boundary conditions in suitable non-cylindrical domains were investigated, respectively. But some additional conditions on the moving boundary were required, which render the method used in [1] and [3] inapplicable to the controllability problems of (1.2). In [1] and [3] in the one-dimensional case, the following condition seems necessary:

It is easy to check that this condition is not satisfied for the moving boundary in (1.2). In [7], instead of transforming the problem from a non-cylindrical domain into a cylindrical domain, Sun *et al.* studied the controllability problem directly in a non-cylindrical domain, when the control is put on the moving endpoint. But the method in [7] cannot be applied to the controllability problem in this paper. The control system of this paper is the same as that of [5] and [6]. But motivated by [2] and [7], we extend the result in [5] and [6], and the controllability result is obtained when \(k\in(0,1)\). The key point is to define directly the energy function of a wave equation in the non-cylindrical domain and use the multiplier method to overcome these difficulties.

The rest of this paper is organized as follows. In SectionÂ 2, we give some preliminaries and main results. In SectionÂ 3, using the multiplier method, we give a growth estimate of the energy function and obtain two important inequalities used in SectionÂ 4. In SectionÂ 4, we prove that HUM works very well for (1.2).

## 2 Preliminaries and main results

The goal of this paper is to study the exact controllability of (1.2) in the following sense.

### Definition 2.1

Equation (1.2) is called exactly controllable at the time *T*, if, for any initial value \((u^{0}, u^{1} )\in L^{2}(0,1)\times H^{-1}(0,1)\) and any target \((u_{d}^{0}, u_{d}^{1} )\in L^{2}(0,\alpha_{k}(T))\times H^{-1}(0,\alpha_{k}(T))\), one can always find a control \(v\in L^{2}(0,T)\) such that the corresponding solution *u* of (1.2) in the sense of a transposition satisfies

For \(k\in(0,1)\), denote \(T^{*}_{k}=\frac{ {e^{\frac {2k(1+k)}{(1-k)^{3}}}}-1}{k}\) for the controllability time. The main result of this paper is stated as follows.

### Theorem 2.1

*Suppose that*
\(0< k<1\). *For any given*
\(T>T^{*}_{k}\), (1.2) *is exactly controllable at time*
*T*
*in the sense of DefinitionÂ *
2.1.

### Remark 2.1

We can obtain the same result as that of this paper for a more general function \(\alpha_{k}(t)\), as long as it meets the condition \(0<\alpha'_{k}(t)<1\).

### Remark 2.2

In fact, if initial value \((u^{0}, u^{1} )\in H^{\frac {1}{2}}(0,1)\times H^{-\frac{1}{2}}(0,1)\), by extending \(\widehat{Q}_{T}^{k}\) to a cylindrical domain, we can obtain the same controllability result when \(\alpha_{k}(t)\in C[0.T]\). The control is the trace on the fixed endpoint of the solution defined in the cylindrical domain. The extension method also applies to the moving endpoint control in non-cylindrical domain. But by the extension method, the controllability time is greater.

The key to the proof of TheoremÂ 2.1 is in two important inequalities for the following homogeneous wave equation in the non-cylindrical domain:

where \(k\in(0, 1)\), \((z^{0}, z^{1})\in H_{0}^{1}(0, 1)\times L^{2}(0, 1)\) is any given initial value. By [1], we see that (2.1) has a unique weak solution:

In the sequel, we denote by *C* a positive constant depending only on *T* and *k*, which may be different from one place to another.

We have the following two important inequalities. The proofs of the two important inequalities are given in SectionÂ 3.

### Theorem 2.2

*Let*
\(T>T^{*}_{k}\). *For any*
\((z^{0}, z^{1})\in H_{0}^{1}(0, 1)\times L^{2}(0, 1)\), *there exists a constant*
\(C>0\)
*such that the corresponding solution*
*z*
*of* (2.1) *satisfies*

## 3 Observation: proof of Theorem 2.2

In this section, in order to prove TheoremÂ 2.2, we need the following lemmas.

Define the following weighted energy for (2.1):

where *z* is the solution of (2.1). It follows that

### Lemma 3.1

*For any*
\((z^{0}, z^{1})\in H_{0}^{1}(0, 1)\times L^{2}(0, 1)\)
*and*
\(t\in[0, T]\), *the corresponding solution*
*z*
*of* (2.1) *satisfies*

### Proof

Multiplying the first equation of (2.1) by \(z_{t}\) and integrating on \((0,\alpha_{k}(s))\times(0,t)\), for any \(0< t\leq T\), we get

In the following, we calculate the above two integrals \(I_{i}\) (\(i=1, 2\)). It is easy to check that

By the definition of \(\alpha_{k}\) and \(z(\alpha_{k}(s),s)=0\), we have

Therefore, it follows that

Further, by \(z(0, s)=z(\alpha_{k}(s),s)=0\) on \((0,t)\), we have

Therefore, by (3.3) and (3.4) and the definition of \(E(t)\), we obtain

â€ƒâ–¡

### Lemma 3.2

*For any*
\((z^{0}, z^{1})\in H_{0}^{1}(0, 1)\times L^{2}(0, 1)\)
*and*
\(t\in[0, T]\), *the corresponding solution*
*z*
*of* (2.1) *holds*,

### Proof

Multiplying the first equation of (2.1) by \(2xz_{x}\) and integrating on \((0,\alpha_{k}(s))\times(0,t)\), for any \(0< t\leq T\), from (3.2), we have

From this one concludes that

Similarly, multiplying the first equation of (2.1) by \(2tz_{t}\) and integrating on \((0,\alpha_{k}(s))\times(0,t)\), for any \(0< t\leq T\), we obtain

From this we get

Therefore, (3.5) follows by (3.6) and (3.7).â€ƒâ–¡

By the above two lemmas, we obtain the following lemma concerning a growth estimate of the energy function.

### Lemma 3.3

*For any*
\((z^{0}, z^{1})\in H^{1}_{0}(0, 1)\times L^{2}(0, 1)\)
*and*
\(t\in[0, T]\), *from the corresponding solution*
*z*
*of* (2.1) *follows*

### Proof

From (3.1) and (3.5), it is easy to check that

By this equality, we get

On the other hand, for each \(t\in(0,T)\) and \(k\in(0,1)\), we obtain the estimate

From (3.9) and (3.10), we derive that

By this (3.8) follows.â€ƒâ–¡

### Remark 3.1

LemmaÂ 3.3 implies that

In the following, we give the proof of TheoremÂ 2.2.

### Proof of TheoremÂ 2.2

*Step* 1. Multiplying the first equation of (2.1) by \([x-\alpha_{k}(t)]z_{x}\) and integrating on \((0,\alpha_{k}(t))\times(0,T)\), it follows that

In the following, we calculate the above two integrals \(J_{i}\) (\(i=1, 2\)). By \(z(0, t)=0\) on \((0,T)\), it is easy to check that

Further, it follows that

Therefore, by (3.12) and (3.13), we obtain

Next, we estimate every term in the right side of (3.14).

For each \(t\in[0, T]\), we have

This inequality implies that

Further,

*Step* 2. In the following, we give the proof of the first inequality in (2.2).

From (3.8), (3.11), and (3.14)-(3.16), it follows that

If \(T>T^{*}_{k}\), we have \(\frac{(1-k)^{2}}{(1+k)k}\ln(1+kT)-\frac {1+k}{1-k}-1>0\). Also,

*Step* 3. In the following, we prove the second inequality in (2.2).

From (3.8), (3.11), and (3.14)-(3.16), one concludes that

â€ƒâ–¡

### Remark 3.2

TheoremÂ 2.2 implies that, for any \((z_{0}, z_{1})\in H^{1}_{0}(0, 1)\times L^{2}(0, 1)\), the corresponding solution *z* of (2.1) satisfies \(z_{x}(0, \cdot)\in L^{2}(0, T)\).

### Remark 3.3

It is easy to check that

It is well known that the wave equation (1.2) in the cylindrical domain is null controllable at any time \(T>T_{0}^{*}\).

### Remark 3.4

By a similar method, we obtain the following.

Let \(T>\frac{e^{\frac{2k(1+k)}{(1-k)^{2}}}-1}{k}\). For any \((z^{0}, z^{1})\in H_{0}^{1}(0, 1)\times L^{2}(0, 1)\), there exists a constant \(C>0\) such that the corresponding solution *z* of (2.1) satisfies

Therefore, we get the controllability of (1.2) when the control is put on the moving endpoint. But the controllability time is larger than that of [7].

## 4 Controllability: proof of Theorem 2.1

In this section, we prove the exact controllability for the wave equation (1.2) (TheoremÂ 2.1) by the Hilbert uniqueness method.

### Proof of TheoremÂ 2.1

We divide the proof of TheoremÂ 2.1 into two parts.

*Step* 1. First, we define a linear operator \(\Lambda: H_{0}^{1}(0, 1)\times L^{2}(0, 1)\rightarrow H^{-1}(0, 1)\times L^{2}(0, 1)\).

For any \((z^{0}, z^{1})\in H^{1}_{0}(0, 1)\times L^{2}(0, 1)\), denote by *z* the corresponding solution of (2.1). Consider the following wave equation:

Then it is well known that (4.1) admits a unique solution in the sense of a transposition,

Moreover, by TheoremÂ 2.2 in SectionÂ 2, there exists a constant *C* such that

Define a linear operator Î›:

where we use *z* to denote the solution of (2.1) associated to \(z^{0}\) and \(z^{1}\), and *u* denotes the solution of (4.1) associated to *z*.

*Step* 2. That Î› is an isomorphism is equivalent to the exact controllability of (1.2).

In fact, multiplying the first equation of (4.1) by *z* and integrating on \(\widehat{Q}_{T}^{k}\), we obtain

Write \(F=H_{0}^{1}(0, 1)\times L^{2}(0, 1)\) and denote by \(F'\) its conjugate space. Hence, we get

By TheoremÂ 2.2, we see that Î› is bounded and coercive. Therefore, by the Lax-Milgram theorem, it follows that Î› is an isomorphism.

Since Î› is an isomorphism, for any \((u^{0}, u^{1})\in L^{2}(0, 1)\times H^{-1}(0, 1)\), there exists \((z^{0}, z^{1})\in H_{0}^{1}(0, 1)\times L^{2}(0, 1)\) such that

By the uniqueness of (4.1), *u* is the solution of (1.2) associated to \(v=z_{x}(0, \cdot)\). Furthermore, \((u(0), u_{t}(0))=(u^{0}, u^{1})\) and \((u(T), u_{t}(T))=(0, 0)\). Therefore, we get the exact controllability of (1.2).â€ƒâ–¡

## References

Milla Miranda, M: Exact controllability for the wave equation in domains with variable boundary. Rev. Mat. Univ. Complut. Madr.

**9**, 435-457 (1996)Bardos, C, Chen, G: Control and stabilization for the wave equation, part III: domain with moving boundary. SIAM J. Control Optim.

**19**, 123-138 (1981)Araruna, FD, Antunes, GO, Medeiros, LA: Exact controllability for the semilinear string equation in the non cylindrical domains. Control Cybern.

**33**, 237-257 (2004)Cui, L, Liu, X, Gao, H: Exact controllability for a one-dimensional wave equation in non-cylindrical domains. J. Math. Anal. Appl.

**402**, 612-625 (2013)Cui, L, Song, L: Exact controllability for a wave equation with fixed boundary control. Bound. Value Probl.

**2014**, 47 (2014)Cui, L, Song, L: Controllability for a wave equation with moving boundary. J. Appl. Math.

**2014**, Article ID 827698 (2014)Sun, H, Li, H, Lu, L: Exact controllability for a string equation in domains with moving boundary in one dimension. Electron. J. Differ. Equ.

**2015**, 98 (2015)Benabidallah, R, Ferreira, J: On a hyperbolic-parabolic equations with nonlinearity of Kirchhoff-Carrier type in domains with moving boundary. Nonlinear Anal., Theory Methods Appl.

**37**, 269-287 (1999)Cavalcanti, MM, Domingos Cavalcanti, VN, Ferreira, J, Benabidallah, R: On global solvability and asymptotic behaviour of a mixed problem for a nonlinear degenerate Kirchhoff model in moving domains. Bull. Belg. Math. Soc. Simon Stevin

**10**, 179-196 (2003)

## Acknowledgements

This work is supported by the National Science Foundation of China 11171060, 11371084 and 11426157. Moreover, the authors are grateful to the anonymous referees for their constructive comments and suggestions, which led to an improvement of the original manuscript.

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authorsâ€™ contributions

All results belong to LC, YJ, and YW. 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

Cui, L., Jiang, Y. & Wang, Y. Exact controllability for a one-dimensional wave equation with the fixed endpoint control.
*Bound Value Probl* **2015**, 208 (2015). https://doi.org/10.1186/s13661-015-0476-4

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/s13661-015-0476-4