Advertisement

Boundary Value Problems

, 2019:72 | Cite as

The wave equation with locally distributed control in non-cylindrical domain

  • Lizhi CuiEmail author
Open Access
Research
  • 93 Downloads

Abstract

This paper is concerned with exact internal controllability for a one-dimensional wave equation in a non-cylindrical domain. This equation characterizes the motion of a string with a fixed endpoint and the other moving one. When the speed of the moving endpoint is less than wave speed, exact internal controllability of this equation is established.

Keywords

Locally distributed control Wave equation Non-cylindrical domain 

1 Introduction

Given \(T>0\). For any \(0< k<1\), set
$$ \alpha _{k}(t)=1+kt\quad \text{for } t\in [0, T]. $$
(1.1)
Also, define the following non-cylindrical domains:
$$ \widehat{Q}_{T}^{k}= \bigl\{ (x,t)\in \mathbb{R}^{2}; 0< x< \alpha _{k}(t), t\in [0,T] \bigr\} $$
and for any \(0< m^{\prime }< m<\frac{n}{2}<n<n^{\prime }<1\),
$$\begin{aligned} &\widehat{Q_{1}}= \bigl\{ (x,t)\in \mathbb{R}^{2}; m\alpha _{k}(t)< x< n \alpha _{k}(t), t\in [0,T] \bigr\} , \\ &\widehat{Q_{2}}= \bigl\{ (x,t)\in \mathbb{R}^{2}; m^{\prime }\alpha _{k}(t)< x< n^{\prime }\alpha _{k}(t), t\in [0,T] \bigr\} . \end{aligned}$$
Let
$$ H^{1}(\widehat{Q_{1}})=\biggl\{ f\in L^{2}( \widehat{Q_{1}}) \Big| \frac{\partial f}{\partial x},\frac{\partial f}{\partial t} \in L^{2}( \widehat{Q_{1}})\biggr\} , $$
and we denote by \([H^{1}(\widehat{Q_{1}})]^{\prime }\) the dual space to \(H^{1}(\widehat{Q_{1}})\), i.e., \([H^{1}(\widehat{Q_{1}})]^{\prime }=\{g:H^{1}( \widehat{Q_{1}})\rightarrow R; g \text{ is bounded linear}\}\).
In this paper, we consider the following control problem associated with the one-dimensional wave equation:
$$ \textstyle\begin{cases} u_{tt}-u_{xx}=Bv &\text{in } \widehat{Q}_{T}^{k}, \\ u(0,t)=u(\alpha _{k}(t),t)=0 &\text{on } (0,T), \\ u(x,0)=u^{0}, \qquad u_{t}(x,0)=u^{1} &\text{in } (0,1), \end{cases} $$
(1.2)
where u is the state variable, \((u^{0}, u^{1} )\in L ^{2}(0, 1)\times H^{-1}(0, 1)\) is any given initial value, \(v\in [H ^{1}(\widehat{Q_{1}})]^{\prime }\) is the control variable, the constant k is called speed of the moving endpoint and \(B\in C^{\infty }(\widehat{Q}_{T}^{k})\),
$$ B(x,t)\textstyle\begin{cases} =0, & (x,t)\in \widehat{Q}_{T}^{k} \setminus \widehat{Q_{2}}, \\ =1,& (x,t)\in \widehat{Q_{1}}, \\ \in (0,1),& (x,t)\in \widehat{Q_{2}}\setminus \widehat{Q_{1}}. \end{cases} $$
(1.3)
By [1], it is easy to check that (1.2) has a unique weak solution
$$ u\in C\bigl([0,T];L^{2}\bigl(0,\alpha _{k}(t)\bigr)\bigr) \cap C^{1}\bigl([0,T];H^{-1}\bigl(0, \alpha _{k}(t) \bigr)\bigr). $$
The problem of exact controllability for (1.2) is formulated as follows.

Definition 1.1

(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 [H^{1}(\widehat{Q_{1}})]^{\prime }\) such that the corresponding weak solution u of (1.2) satisfies
$$ u(T)=u_{d}^{0},\qquad u_{t}(T)=u_{d}^{1}. $$
(1.4)

The main goal of this article is to obtain the exact controllability of (1.2). In practical situations, many processes evolve in domains whose boundaries have moving parts. A simple model, e.g., is interface of ice water mixture when the temperature rises. To study controllability problem of wave equations with moving boundary or free boundary is very meaningful. As we all know, there exist numerous literature works on the controllability problems of wave equations in a cylindrical domain, see e.g. [2, 3, 4, 5, 6, 7]. However, there are only a few works on the exact controllability for wave equations defined in non-cylindrical domains. We refer to [8, 9, 10, 11, 12, 13, 14, 15, 16] for some known results in this respect. In [8, 9, 10, 11, 12, 13], boundary controllability for wave equations with moving boundary was obtained. In [15], distributed controllability of a wave equation with constant coefficients in a non-cylindrical domain was established, when a control entered the system through the whole non-cylindrical domain. While in [16], locally distributed control of a one-dimensional wave equation in a non-cylindrical domain was obtained when \(k \in (0,\tilde{k}),0<\tilde{k}<1\). Motivated by [13, 14, 15, 16], we extend the result in [16], and locally distributed control 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.

Our paper is divided into three sections. In Sect. 2, we state the principal result. In Sect. 3, using the multiplier method, we consider the homogeneous wave equation and establish observability inequality.

2 Preliminaries and main results

Lemma 2.1

LetXbe a Banach space, and let\(A: X\rightarrow Y\)be a bounded linear operator. Then the following properties are equivalent: (a) \(R(A)=Y\), (b) \(A^{\prime }\)has a continuous inverse operator.

Set \(T^{*}_{k}>0 \) for the controllability time. The main result of this paper is stated as follows.

Theorem 2.1

Let\(0< k<1\)and\(T>T^{*}_{k}\), (1.2) is exactly controllable at timeTin the sense of Definition1.1.

Remark 2.1

\(T^{*}_{k}\) will be defined during the course of the later proof.

Remark 2.2

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

Remark 2.3

We expect to obtain the same result in the forthcoming paper, when the control variable \(v\in L^{2}(0,T;\omega (t)), \omega (t)\subseteq (0, \alpha _{k}(t))\).

To prove this, let \(u=\xi +\eta \), where ξ and η satisfy the following systems:
$$\begin{aligned} & \textstyle\begin{cases} \xi _{tt}-\xi _{xx}=0, &(x,t)\in \widehat{Q}_{T}^{k}, \\ \xi (0,t)=\xi (\alpha _{k}(t),t)=0,&t\in (0,T), \\ \xi (x,0)=u^{0},\qquad \xi _{t}(x,0)=u^{1},&x\in (0,1), \end{cases}\displaystyle \end{aligned}$$
(2.1)
$$\begin{aligned} &\textstyle\begin{cases} \eta _{tt}-\eta _{xx}=Bv, &(x,t)\in \widehat{Q}_{T}^{k}, \\ \eta (0,t)=\eta (\alpha _{k}(t),t)=0,&t\in (0,T), \\ \eta (x,0)=\eta _{t}(x,0)=0,&x\in (0,1). \end{cases}\displaystyle \end{aligned}$$
(2.2)
Therefore, we only need to obtain internal controllability of (2.2).

Theorem 2.2

Let\(T>T^{*}_{k}\). Then, for any target\((u_{d}^{0}, u_{d}^{1})\in L ^{2}(0,\alpha _{k}(T))\times H^{-1}(0,\alpha _{k}(T))\), there exists a control\(v\in [H^{1}(\widehat{Q_{1}})]^{\prime }\)such that the corresponding weak solutionηof (2.2) satisfies
$$ \eta (T)=u_{d}^{0},\qquad \eta _{t}(T)=u_{d}^{1}. $$

Remark 2.4

If Theorem 2.2 holds, then Theorem 2.1 holds. In fact, for any \((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))\), \((u_{d}^{0}-\xi (T),u_{d}^{1}-\xi _{t}(T))\) belongs to \(L^{2}(0,\alpha _{k}(T))\times H^{-1}(0,\alpha _{k}(T))\), where ξ is the solution of (2.1) associated to \((u^{0}, u^{1} )\). By Theorem 2.2, we choose \(v\in [H^{1}( \widehat{Q_{1}})]^{\prime }\), then η satisfies
$$ \eta (T)=u_{d}^{0}-\xi (T),\qquad \eta _{t}(T)=u_{d}^{1}- \xi _{t}(T). $$
This implies that \(u=\xi +\eta \) satisfies (1.2) and (1.4).
In the following, we prove Theorem 2.2. Let us introduce some notations. Write \(U=[H^{1}(\widehat{Q_{1}})]^{\prime }\), \(F=L^{2}(0, \alpha _{k}(T))\times H^{-1}(0,\alpha _{k}(T))\) and \(F'=H_{0}^{1}(0, \alpha _{k}(T))\times L^{2}(0, \alpha _{k}(T))\). Then we define the scalar products between F and \(F'\):
$$\begin{aligned} & \bigl\langle \bigl(w(x,T),w_{t}(x,T)\bigr), \bigl(z(x,T),z_{t}(x,T)\bigr)\bigr\rangle _{F,F'} \\ &\quad = \int _{0}^{\alpha _{k}(T)}w_{t}(x,T)z(x,T)\,dx- \int _{0}^{\alpha _{k}(T)}w(x,T)z _{t}(x,T)\,dx, \end{aligned}$$
where for any \((w(x,T),w_{t}(x,T))\in F\) and any \((z(x,T),z_{t}(x,T)) \in F'\).
Define a linear operator A:
$$ \begin{aligned} &A: U\rightarrow F, \\ &Av= \bigl(\eta (x, T), \eta _{t}(x, T) \bigr)\quad \forall v\in U, \end{aligned} $$
where we use η to denote the solution of (2.2) associated to v. Then A is surjective equivalent to internal controllability of the wave equation (2.2). By Lemma 2.1, we only prove that \(A^{\prime }\) has a continuous inverse operator. Now we define \(A^{\prime }\). \(A^{\prime }\) is associated with the following homogeneous wave equation:
$$ \textstyle\begin{cases} z_{tt}-z_{xx}=0, &(x,t)\in \widehat{Q}_{T}^{k}, \\ z(0,t)=z(\alpha _{k}(t),t)=0,&t\in (0,T), \\ z(x,T)=z^{0},\qquad z_{t}(x,T)=z^{1},&x\in (0,\alpha _{k}(T)), \end{cases} $$
(2.3)
where \((z^{0}, z^{1})\in H_{0}^{1}(0, \alpha _{k}(T))\times L^{2}(0, \alpha _{k}(T))\) is any given initial value. (2.3) has a unique weak solution
$$ z\in C\bigl([0,T];H_{0}^{1}\bigl(0, \alpha _{k}(t) \bigr)\bigr)\cap C^{1}\bigl([0,T];L^{2}\bigl(0, \alpha _{k}(t)\bigr)\bigr). $$
Multiplying the first equation of (2.2) by z and integrating on \(\widehat{Q}_{T}^{k}\), we have
$$\begin{aligned} \langle Bv,z\rangle&= \int _{0}^{\alpha _{k}(T)}\eta _{t}(x,T)z^{0} \,dx- \int _{0}^{\alpha _{k}(T)}\eta (x,T)z^{1}\,dx \\ & =\bigl\langle \bigl(\eta (x,T),\eta _{t}(x,T)\bigr), \bigl(z^{0},z^{1}\bigr)\bigr\rangle \\ & = \bigl\langle Av,\bigl(z^{0},z^{1}\bigr)\bigr\rangle . \end{aligned}$$
Let \(B^{\prime }\) be the adjoint operator of B in (1.3) and if \(v \in [H^{1}(\widehat{Q_{1}})]^{\prime }\), then
$$ B^{\prime }:H^{1}\bigl(\widehat{Q}_{T}^{k} \bigr) \rightarrow H^{1}(\widehat{Q_{1}}), $$
from which we have
$$ \bigl\langle v,B^{\prime }z \bigr\rangle =\bigl\langle v,A^{\prime } \bigl(z^{0},z^{1}\bigr)\bigr\rangle . $$
Hence \(A^{\prime }\) is defined as follows:
$$ A^{\prime }\bigl(z^{0},z^{1}\bigr)=B^{\prime }z(x,t)=z(x,t),\quad (x,t)\in \widehat{Q_{1}}, \forall \bigl(z^{0},z^{1} \bigr)\in {F^{\prime }}, $$
where z is the solution of (2.3). Therefore internal controllability of the wave equation (2.2) is equivalent to the following inequality:
$$ \vert z \vert _{H^{1}(\widehat{Q_{1}})}\geq C \bigl\vert \bigl(z^{0},z^{1}\bigr) \bigr\vert _{F^{\prime }}\quad \forall \bigl(z^{0},z^{1}\bigr)\in {F^{\prime }}. $$
(2.4)
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.

3 Observability inequality of wave equations

In the following, we shall give proof of (2.4) by the multiplier method. The energy function of system of (2.3) is defined as follows:
$$ E(t)=\frac{1}{2} \int _{0}^{\alpha _{k}(t)} \bigl[ \bigl\vert z_{t}(x,t) \bigr\vert ^{2} + \bigl\vert z _{x}(x,t) \bigr\vert ^{2} \bigr]\,dx \quad\text{for }t\geq 0, $$
where z is the solution of (2.3). In particular,
$$ E_{T}=\frac{1}{2} \int _{0}^{\alpha _{k}(T)} \bigl[ \bigl\vert z^{1}(x) \bigr\vert ^{2}+ \bigl\vert z ^{0}_{x}(x) \bigr\vert ^{2} \bigr]\,dx. $$
By similar method, we obtain the following lemma about a growth estimate of the energy function (see the detailed proof in [13]).

Lemma 3.1

For any\((z^{0}, z^{1})\in H_{0}^{1}(0, \alpha _{k}(T))\times L^{2}(0, \alpha _{k}(T))\)and\(t\in [0, T]\), the corresponding solutionzof (2.3) follows:
$$ \frac{(1-k)\alpha _{k}(T)}{(1+k)\alpha _{k}(t)}E_{T}\leq E(t)\leq \frac{(1+k) \alpha _{k}(T)}{(1-k)\alpha _{k}(t)}E_{T}. $$
(3.1)

Remark 3.1

From Lemma 3.1, we obtain that
$$ \frac{(1-k)}{(1+k)\alpha _{k}(t)}E_{T}\leq E(t) \leq \frac{(1+k)}{(1-k)}\alpha _{k}(T)E_{T} $$
and
$$ \frac{(1-k)\alpha _{k}(T)}{(1+k)}E_{T}\leq E(0) \leq \frac{(1+k)\alpha _{k}(T)}{(1-k)}E_{T}. $$
For any \(0 \leq t \leq T\), let \(p\in \operatorname{Lip} [0,\alpha _{k}(t)]\) and
$$ p(x,t)=\textstyle\begin{cases} -(n-m)x, &x\in [0,m\alpha _{k}(t)], \\ [1-(n-m)]x-m\alpha _{k}(t), &x\in [m\alpha _{k}(t),n\alpha _{k}(t)], \\ (n-m)[\alpha _{k}(t)-x],&x\in [n\alpha _{k}(t),\alpha _{k}(t)]. \end{cases} $$
(3.2)
Write
$$ M\triangleq \max_{(x,t)\in \widehat{Q}_{T}^{k}} \bigl\vert p(x,t) \bigr\vert . $$

In the following, we prove (2.4) by the multiplier p.

Multiplying the first equation of (2.3) by \(pz_{x}\) and integrating on \((0,\alpha _{k}(t))\times (0,T)\), we obtain
$$ 0= \int _{0}^{T} \int _{0}^{\alpha _{k}(t)} \{z_{tt}pz_{x} - z_{xx}pz _{x} \}\,dx\,dt \triangleq J_{1}+J_{2}. $$
We calculate the above two integrals \(J_{i}\)\((i=1, 2)\). By \(p(0, t)=p(\alpha _{k}(t), t)=0\) on \((0,T)\), we find the expression
$$\begin{aligned} J_{1}={}& \int _{0}^{T} \int _{0}^{\alpha _{k}(t)}z_{tt}pz_{x}\,dx \,dt \\ ={}& \int _{0}^{T} \int _{0}^{\alpha _{k}(t)}\biggl\{ \frac{\partial }{ \partial t}[pz_{x}z_{t}] -p_{t}z_{x}z_{t}-pz_{xt}z_{t} \biggr\} \,dx\,dt \\ ={}& \int _{0}^{\alpha _{k}(t)}[pz_{x}z_{t}] \,dx\Big|^{T} _{0} - \int _{0}^{T} \int _{0}^{\alpha _{k}(t)}p_{t}z_{x}z_{t} \,dx\,dt \\ &{} + \int _{0}^{T} \int _{0}^{\alpha _{k}(t)}p_{x}\frac{1}{2}z_{t}^{2} \,dx\,dt. \end{aligned}$$
(3.3)
Further, we have
$$\begin{aligned} J_{2}&= - \int _{0}^{T} \int _{0}^{\alpha _{k}(t)}z_{xx}pz_{x}\,dx \,dt \\ & =- \int _{0}^{T} \int _{0}^{\alpha _{k}(t)} \biggl\{ p\frac{\partial }{ \partial x}\biggl[ \frac{1}{2}z_{x}^{2}\biggr] \biggr\} \,dx\,dt \\ & =- \int _{0}^{T}p\frac{1}{2}z_{x}^{2}|^{\alpha _{k}(t)}_{0} \,dt + \int _{0}^{T} \int _{0}^{\alpha _{k}(t)}\frac{1}{2}p_{x}z _{x}^{2}\,dx\,dt \\ & = \int _{0}^{T} \int _{0}^{\alpha _{k}(t)}\frac{1}{2}p_{x}z_{x} ^{2}\,dx\,dt. \end{aligned}$$
(3.4)
Therefore, by (3.3) and (3.4), it follows that
$$ \int _{0}^{T} \int _{0}^{\alpha _{k}(t)}\frac{1}{2}p_{x} \bigl(z_{t}^{2}+z _{x}^{2}\bigr)\,dx\,dt = \int _{0}^{T} \int _{0}^{\alpha _{k}(t)}p_{t}z_{x}z_{t} \,dx\,dt - \biggl[ \int _{0}^{\alpha _{k}(t)}pz_{x}z_{t}\,dx \biggr]\Big| ^{T}_{0}. $$
(3.5)
By the definition of p, we deduce
$$\begin{aligned} &\frac{[1-(n-m)]}{2} \int _{0}^{T} \int _{m\alpha _{k}(t)}^{n\alpha _{k}(t)} \bigl[ \bigl\vert z_{t}(x,t) \bigr\vert ^{2}+ \bigl\vert z_{x}(x,t) \bigr\vert ^{2}\bigr]\,dx\,dt \\ &\qquad{} -\frac{n-m}{2} \int _{0}^{T} \int _{(0,\alpha _{k}(t))\backslash (m\alpha _{k}(t),n\alpha _{k}(t))} \bigl[ \bigl\vert z_{t}(x,t) \bigr\vert ^{2}+ \bigl\vert z_{x}(x,t) \bigr\vert ^{2}\bigr]\,dx\,dt \\ &\quad= \int _{0}^{T} \int _{0}^{\alpha _{k}(t)}p_{t}z_{x}z_{t} \,dx\,dt - \biggl[ \int _{0}^{\alpha _{k}(t)}pz_{x}z_{t}\,dx \biggr]\Big|^{T}_{0}, \end{aligned}$$
from which we obtain that
$$\begin{aligned} &\frac{1}{2} \int _{0}^{T} \int _{m\alpha _{k}(t)}^{n\alpha _{k}(t)} \bigl[ \bigl\vert z _{t}(x,t) \bigr\vert ^{2}+ \bigl\vert z_{x}(x,t) \bigr\vert ^{2}\bigr]\,dx\,dt \\ &\quad=\frac{n-m}{2} \int _{0}^{T} \int _{0}^{\alpha _{k}(t)} \bigl[ \bigl\vert z_{t}(x,t) \bigr\vert ^{2}+ \bigl\vert z_{x}(x,t) \bigr\vert ^{2}\bigr]\,dx\,dt \\ &\qquad{}+ \int _{0}^{T} \int _{0}^{\alpha _{k}(t)}p_{t}z_{x}z_{t} \,dx\,dt - \biggl[ \int _{0}^{\alpha _{k}(t)}pz_{x}z_{t}\,dx \biggr]\Big|^{T}_{0}. \end{aligned}$$
(3.6)
Next, we estimate every term in the right-hand side of (3.6).
By (3.1) and (3.2), we have that
$$\begin{aligned} & \frac{n-m}{2} \int _{0}^{T} \int _{0}^{\alpha _{k}(t)} \bigl[ \bigl\vert z_{t}(x,t) \bigr\vert ^{2}+ \bigl\vert z_{x}(x,t) \bigr\vert ^{2}\bigr]\,dx\,dt \\ &\quad =(n-m) \int _{0}^{T}E(t)\,dt, \end{aligned}$$
(3.7)
$$\begin{aligned} & \biggl\vert \int _{0}^{T} \int _{0}^{\alpha _{k}(t)}p_{t}z_{x}z_{t} \,dx\,dt \biggr\vert \\ &\quad\leq \max \bigl\{ mk,(n-m)k\bigr\} \int _{0}^{T}E(t)\,dt \\ &\quad\leq (n-m)k \int _{0}^{T}E(t)\,dt. \end{aligned}$$
(3.8)
Note that, for any t,
$$\begin{aligned} & \biggl\vert \int _{0}^{\alpha _{k}(t)}pz_{x}z_{t}\,dx \biggr\vert \\ &\quad\leq ME(t) \\ &\quad \leq M\frac{(1+k)\alpha _{k}(T)}{(1-k)\alpha _{k}(t)}E_{T} \\ & \quad\leq \frac{M(1+k)\alpha _{k}(T)}{1-k}E_{T}. \end{aligned}$$
It follows that
$$ \biggl\vert \int _{0}^{\alpha _{k}(t)} [pz_{x}z_{t} \,dx]\Big|^{T} _{0} \biggr\vert \leq \frac{2M(1+k)\alpha _{k}(T)}{1-k}E_{T}. $$
(3.9)
By (3.1), (3.6), (3.7), (3.8), and (3.9), we derive that
$$\begin{aligned} &\frac{1}{2} \int _{0}^{T} \int _{m\alpha _{k}(t)}^{n\alpha _{k}(t)} \bigl[ \bigl\vert z _{t}(x,t) \bigr\vert ^{2}+ \bigl\vert z_{x}(x,t) \bigr\vert ^{2}\bigr]\,dx\,dt \\ &\quad\geq (n-m) (1-k) \int _{0}^{T}E(t)\,dt -\frac{2M(1+k)\alpha _{k}(T)}{1-k}E _{T} \\ &\quad\geq \biggl[\frac{(n-m)(1-k)^{2}}{k(1+k)}\ln (1+kT) - \frac{2M(1+k)}{1-k} \biggr]\alpha _{k}(T)E_{T}. \end{aligned}$$
(3.10)
If \(T>T^{*}_{k}= \frac{e^{\frac{2kM(1+k)^{2}}{(n-m)(1-k)^{3}}}-1}{k}\), it holds that \([\frac{(n-m)(1-k)^{2}}{k(1+k)}\ln (1+kT) -\frac{2M(1+k)}{1-k} ] \alpha _{k}(T)>0\). Also,
$$\begin{aligned} &\frac{1}{2} \int _{0}^{T} \int _{m}^{n}\bigl[\alpha _{k}(t) \bigl\vert z_{t}(x,t) \bigr\vert ^{2}+ \beta _{k}(x,t) \bigl\vert z_{x}(x,t) \bigr\vert ^{2}\bigr] \\ &\quad\geq \biggl[\frac{(n-m)(1-k)^{2}}{k(1+k)}\ln (1+kT) - \frac{2M(1+k)}{1-k} \biggr]\alpha _{k}(T) E_{T} \\ &\quad\geq C \biggl[\frac{(n-m)(1-k)^{2}}{k(1+k)}\ln (1+kT) - \frac{2M(1+k)}{1-k} \biggr]\alpha _{k}(T) \bigl( \bigl\vert z^{0} \bigr\vert ^{2}_{H^{1}_{0}(0, 1)}+ \bigl\vert z ^{1} \bigr\vert ^{2}_{L^{2}(0, 1)}\bigr). \end{aligned}$$
(3.11)
Therefore (2.4) is proved.

Remark 3.2

It is easy to check that
$$ T^{0}\triangleq \lim_{k\rightarrow 0}T^{*}_{k} =2\max \{m,1-n\}. $$
It is well known that (1.2) in the cylindrical domain is internally controllable at any time \(T>T^{0}\). However, \(T^{*}_{k}\) is not sharp.

Notes

Acknowledgements

The author wants to thank the editors and reviewers sincerely.

Availability of data and materials

Not applicable.

Authors’ information

The author comes from Jilin University of Finance and Economics of China.

Authors’ contributions

The author read and approved the final manuscript.

Funding

The author is supported financially by the National Natural Science Foundation of China (11371084) and the School Project of Jilin University of Finance and Economics (08181934).

Competing interests

The author declares that they have no competing interests.

References

  1. 1.
    Lasiecka, I., Lions, J.L., Triggiani, R.: Non homogeneous boundary value problems for second order hyperbolic operators. J. Math. Pures Appl. 65, 149–192 (1986) MathSciNetzbMATHGoogle Scholar
  2. 2.
    Lions, J.L.: Exact controllability, stabilizability and perturbation for distributed systems. SIAM Rev. 30, 1–68 (1988) MathSciNetCrossRefGoogle Scholar
  3. 3.
    Zuazua, E.: Exact controllability for semilinear wave equation in one space dimension. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 10, 109–129 (1993) MathSciNetCrossRefGoogle Scholar
  4. 4.
    Yao, P.: On the observability inequalities for exact controllability of wave equations with variable coefficients. SIAM J. Control Optim. 37, 1568–1599 (1999) MathSciNetCrossRefGoogle Scholar
  5. 5.
    Zhang, X.: Explicit observability estimate for the wave equation with potential and its application. Proc. R. Soc. Lond. A 456, 1101–1115 (2000) MathSciNetCrossRefGoogle Scholar
  6. 6.
    Fu, X., Yong, J., Zhang, X.: Exact controllability for multidimensional semilinear hyperbolic equations. SIAM J. Control Optim. 46, 1578–1614 (2007) MathSciNetCrossRefGoogle Scholar
  7. 7.
    Ho, L.F.: Exact controllability for the one-dimension wave equation with locally distributed control. SIAM J. Control Optim. 28, 733–748 (1990) MathSciNetCrossRefGoogle Scholar
  8. 8.
    Milla Miranda, M.: Exact controllability for the wave equation in domains with variable boundary. Rev. Mat. Univ. Complut. Madr. 9, 435–457 (1996) MathSciNetzbMATHGoogle Scholar
  9. 9.
    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) MathSciNetCrossRefGoogle Scholar
  10. 10.
    Cui, L., Song, L.: Exact controllability for a wave equation with fixed boundary control. Bound. Value Probl. 2014, 47 (2014) MathSciNetCrossRefGoogle Scholar
  11. 11.
    Cui, L., Gao, H.: Exact controllability for a wave equation with mixed boundary conditions in a non-cylindrical domain. Electron. J. Differ. Equ. 101, 1 (2014) MathSciNetzbMATHGoogle Scholar
  12. 12.
    Cui, L., Song, L.: Controllability for a wave equation with moving boundary. J. Appl. Math. 2014, 827698 (2014) MathSciNetzbMATHGoogle Scholar
  13. 13.
    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) MathSciNetCrossRefGoogle Scholar
  14. 14.
    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) MathSciNetCrossRefGoogle Scholar
  15. 15.
    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) MathSciNetCrossRefGoogle Scholar
  16. 16.
    Cui, L.: The wave equation with internal control in non-cylindrical domains. Adv. Differ. Equ. 2017, 267 (2017) MathSciNetCrossRefGoogle Scholar

Copyright information

© The Author(s) 2019

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.

Authors and Affiliations

  1. 1.College of Applied MathematicsJilin University of Finance and EconomicsChangchunChina

Personalised recommendations