Skip to content

Advertisement

  • Research
  • Open Access

The wave equation with internal control in non-cylindrical domains

Advances in Difference Equations20172017:267

https://doi.org/10.1186/s13662-017-1284-1

  • Received: 23 April 2017
  • Accepted: 18 July 2017
  • Published:

Abstract

In this paper, we shall be concerned with interior controllability for a one-dimensional wave equation in a domain with moving boundary. When the speed of the moving endpoint is less than a certain constant which is less than the characteristic speed, we obtain exact controllability for this equation.

Keywords

  • interior controllability
  • wave equation
  • non-cylindrical domains

1 Introduction and main results

Given \(T>0\). For any \(0< k<1\), set
$$ \alpha_{k}(t)=1+kt, \quad\mbox{for }t\in[0, T]. $$
(1.1)
Also, define the following non-cylindrical domains:
$$\widehat{Q}_{T}^{k}= \bigl\{ (y,t)\in\mathbb{R}^{2};0< y< \alpha_{k}(t),t\in [0,T] \bigr\} , $$
and for any \(0< m< m^{\prime}< n^{\prime}< n<1\),
$$\begin{aligned} &\widehat{Q_{1}}= \bigl\{ (y,t)\in\mathbb{R}^{2};m \alpha_{k}(t)< y< n\alpha _{k}(t),t\in[0,T] \bigr\} , \\ &\widehat{Q_{2}}= \bigl\{ (y,t)\in\mathbb{R}^{2};m^{\prime} \alpha_{k}(t)< y< n^{\prime}\alpha_{k}(t),t\in[0,T] \bigr\} . \end{aligned}$$
Consider the following controlled wave equation:
$$ \textstyle\begin{cases} u_{tt}-u_{yy}=\widehat{B}v, & (y,t)\in\widehat{Q}_{T}^{k},\\ u(0,t)=0,\qquad u(\alpha_{k}(t),t)=0,&t\in(0,T), \\ u(y,0)=u^{0}(y),\qquad u_{t}(y,0)=u^{1}(y),&y\in(0,1), \end{cases} $$
(1.2)
where \(v\in[H^{1}(\widehat{Q_{1}})]^{\prime}\) is control variable, u is state variable, \((u^{0}, u^{1} )\in L^{2}(0, 1)\times H^{-1}(0, 1)\) is any given initial value and \(\widehat{B}\in C_{0}^{\infty}(\widehat{Q}_{T}^{k})\),
$$ \widehat{B}(y,t)\textstyle\begin{cases} =0, & (y,t)\in\widehat{Q}_{T}^{k} \setminus\widehat{Q_{1}},\\ =1,& (y,t)\in\widehat{Q_{2}},\\ \in(0,1),& (y,t)\in\widehat{Q_{1}}\setminus\widehat{Q_{2}}. \end{cases} $$
By [1], it is easy to check that (1.2) has a unique weak solution u:
$$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 main purpose of this paper is to study exact controllability of (1.2) in the following sense.

Definition 1.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[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}. $$

The main result of this paper is stated as follows.

Theorem 1.1

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

Remark 1.1

and \(T^{*}_{k}\) will be defined during proof of this theorem.

There is a variety of literature on interior and boundary controllability problems of wave equations in a cylindrical domain (see e.g. [26]). However, there is only little work of wave equations defined in non-cylindrical domains. We refer to [714] for some known results in this respect. In practical situations, many processes evolve in domains whose boundary has moving parts. A simple model, e.g., is the interface of ice water mixture when temperature increases. To study the controllability problem of wave equations with moving boundary or free boundary is very meaningful. In [713], boundary controllability for wave equations with a moving boundary has been obtained. In [7], some controllability results for wave equations with Dirichlet boundary conditions in suitable non-cylindrical domains were investigated. In [7], in the one-dimensional case, the following condition seems necessary:
$$\int_{0}^{\infty} \bigl\vert \alpha_{k}^{\prime}(t) \bigr\vert \,dt< \infty. $$
In [813], the above condition is removed. In [14], 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. Now we consider interior controllability for a one-dimensional wave equation with moving boundary when the moving endpoint moves along a line. Meanwhile, in our paper, we consider locally distributed control of a one-dimensional wave equation in a certain non-cylindrical domain. In order to overcome this difficulty, we transform (1.2) into an equivalent wave equation with variable coefficients in the cylindrical domain and establish exact interior controllability of this equation. In [6], a one-dimensional wave equation with variable coefficients with locally distributed control in cylindrical domains was proved. The variable coefficients are dependent of the space variable x, not dependent of the time variable t. Moreover, in the published work, variable coefficients are only dependent of space variable x in most cases. Meanwhile, in our paper, the variable coefficients are dependent of space variable x and time variable t. To solve this, motivated by [6], the key point is to construct a suitable multiplier different from that in [6].

The rest of this paper is organized as follows. In Section 2, we reduce the controllability problem of (1.2) to that of a wave equation with variable coefficients in a cylindrical domain. Section 3 is devoted to proving an observability inequality of a wave equation with variable coefficients in a cylindrical domain.

2 Reduction to controllability problems in a cylindrical domain

When \(0< k<1\), in order to prove Theorem 1.1, we first transform (1.2) into a wave equation with variable coefficients in a cylindrical domain in this section. Set
$$Q=(0,1)\times(0,T),\qquad Q_{1}=(m,n)\times(0,T),\qquad Q_{2}= \bigl(m^{\prime},n^{\prime} \bigr)\times(0,T). $$
To this aim, set
$$x= \frac{y}{\alpha_{k}(t)} \quad\mbox{and}\quad w(x,t)=u(y,t)=u \bigl(\alpha_{k}(t)x,t \bigr), \quad\mbox{for }(y, t)\in\widehat{Q}^{k}_{T}. $$
Then it is easy to check that \((x, t)\) varies in Q. Also, (1.2) is transformed into the following equivalent wave equation in Q:
$$ \textstyle\begin{cases} w_{tt}- [ \frac{\beta_{k}(x,t)}{\alpha_{k}(t)}w_{x} ]_{x} + \frac{\gamma_{k}(x)}{\alpha_{k}(t)}w_{tx}=B\overline{v}(x,t), &(x,t)\in Q,\\ w(0,t)=0,\qquad w(1,t)=0,&t\in(0,T),\\ w(x,0)=w^{0},\qquad w_{t}(x,0)=w^{1},&x\in(0,1), \end{cases} $$
(2.1)
where
$$ \begin{aligned} &\overline{v}(x,t)=v \bigl( \alpha_{k}(t)x,t \bigr)=v(y,t),\qquad \beta_{k}(x,t)= \frac {1-k^{2}x^{2}}{\alpha_{k}(t)}, \\ & \gamma_{k}(x)=-2kx,\qquad w^{0}=u^{0},\qquad w^{1}=u^{1}+kxu^{0}_{x}, \\ &B(x,t)\textstyle\begin{cases} =0, & (x,t)\in Q\setminus Q_{1},\\ =1,& (x,t)\in Q_{2},\\ \in(0,1),& (x,t)\in Q_{1}\setminus Q_{2}. \end{cases}\displaystyle \end{aligned} $$
(2.2)
For any given initial value \((w^{0}, w^{1})\in L^{2}(0,1)\times H^{-1}(0,1)\) and any control \(\overline{v}\in[H^{1}(Q_{1})]^{\prime}\), (2.1) admits a unique weak solution
$$w\in C \bigl([0,T];L^{2}(0,1) \bigr)\cap C^{1} \bigl([0,T];H^{-1}(0,1) \bigr). $$

Therefore, exact controllability of (1.2) (Theorem 1.1) is reduced to the above interior controllability result for (2.1).

To prove this, we first solve the following system.
$$ \textstyle\begin{cases} \xi_{tt}- [ \frac{\beta_{k}(x,t)}{\alpha_{k}(t)}\xi_{x} ]_{x} + \frac{\gamma_{k}(x)}{\alpha_{k}(t)}\xi_{tx}=0, &(x,t)\in Q,\\ \xi(0,t)=0,\qquad \xi(1,t)=0,&t\in(0,T),\\ \xi(x,0)=w^{0},\qquad \xi_{t}(x,0)=w^{1},&x\in(0,1). \end{cases} $$
(2.3)
For any given \((w^{0}, w^{1})\in L^{2}(0,1)\times H^{-1}(0,1)\), this system has a unique weak solution
$$\xi\in C \bigl([0,T];L^{2}(0,1) \bigr)\cap C^{1} \bigl([0,T];H^{-1}(0,1) \bigr). $$
Then in order to obtain interior controllability of (2.1), we only prove interior controllability result for the following wave equation:
$$ \textstyle\begin{cases} \eta_{tt}- [ \frac{\beta_{k}(x,t)}{\alpha_{k}(t)}\eta_{x} ]_{x} + \frac{\gamma_{k}(x)}{\alpha_{k}(t)}\eta_{tx}=B\overline{v}(x,t), &(x,t)\in Q,\\ \eta(0,t)=\eta(1,t)=0,&t\in(0,T),\\ \eta(x,0)=\eta_{t}(x,0)=0,&x\in(0,1). \end{cases} $$
(2.4)

Theorem 2.1

Let \(T>T^{*}_{k}\). Then, for any target \((w_{d}^{0}, w_{d}^{1})\in L^{2}(0,1)\times H^{-1}(0,1)\), there exists a control \(\overline{v}\in[H^{1}(Q_{1})]^{\prime}\) such that corresponding weak solution η of (2.4) satisfies
$$\eta(T)=w_{d}^{0},\qquad \eta_{t}(T)=w_{d}^{1}. $$
Write \(H=[H^{1}(Q_{1})]^{\prime}\), \(F=L^{2}(0,1)\times H^{-1}(0,1)\) and \(F'=H_{0}^{1}(0, 1)\times L^{2}(0, 1)\). Define a linear operator A:
$$ \begin{aligned} &A: H\rightarrow F, \\ &Ag= \bigl(\alpha_{k}(T)\eta_{t}(x, T)-k\eta(x,T)+ \gamma_{k}(x)\eta_{x}(x,T),\alpha_{k}(T)\eta(x, T) \bigr), \quad \forall g\in H. \end{aligned} $$
Then A is surjective is equivalent to interior controllability of the wave equation (2.4). And A is surjective is derived from an observability inequality of the form
$$ \bigl\vert A^{\prime} \bigl(z^{0},z^{1} \bigr) \bigr\vert ^{2}_{H^{\prime}}\geq C \bigl\vert \bigl(z^{0},z^{1} \bigr) \bigr\vert ^{2}_{F^{\prime}},\quad \forall \bigl(z^{0},z^{1} \bigr)\in{F^{\prime}} (C>0), $$
(2.5)
for the dual operator \(A^{\prime}: F^{\prime}\rightarrow H^{\prime}\) for \(T>T^{*}_{k}\).

3 Observability inequality of wave equations with variable coefficients

First, we define \(A^{\prime}\). \(A^{\prime}\) is described by the following homogeneous wave equation:
$$ \textstyle\begin{cases} \alpha_{k}(t) z_{tt}- [\beta_{k}(x,t)z_{x} ]_{x}+\gamma_{k}(x)z_{tx}=0, &\mbox{in }Q,\\ z(0,t)=0,\qquad z(1,t)=0, &\mbox{on }(0,T),\\ z(0)=z^{0},\qquad z_{t}(0)=z^{1}, &\mbox{in }(0,1), \end{cases} $$
(3.1)
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, and \(\alpha_{k}\), \(\beta_{k}\) and \(\gamma_{k}\) are given in (2.2). Equation (3.1) has a unique weak solution,
$$ z\in C \bigl([0,T];H_{0}^{1}(0, 1) \bigr)\cap C^{1} \bigl([0,T];L^{2}(0, 1) \bigr). $$
Set \(B^{\prime}\) the adjoint of the extension operator B in (1.2), and if \(\overline{v}\in[H^{1}(Q_{1})]^{\prime}\), then \(B^{\prime}: H^{1}(Q)\rightarrow H^{1}(Q_{1})\). Hence \(A^{\prime}\) is defined as follows:
$$A^{\prime} \bigl(z^{0},z^{1} \bigr)=B^{\prime} \bigl( \alpha_{k}(t)z \bigr)=\alpha_{k}(t)z(x,t), \quad (x,t)\in Q_{1}, \forall \bigl(z^{0},z^{1} \bigr) \in{F^{\prime}}, $$
where z is the solution of (3.1). Therefore, (2.5) is equivalent to the following inequality:
$$ \bigl\vert \alpha_{k}(t)z \bigr\vert _{H^{1}(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}}. $$
(3.2)
In the following, we shall give a proof of (3.2) by the multiplier method.
Define the following weighted energy for (3.1):
$$ E(t)=\frac{1}{2} \int_{0}^{1} \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]\,dx \quad \mbox{for }t\geq0, $$
It follows that
$$ E_{0}\triangleq E(0)=\frac{1}{2} \int_{0}^{1} \bigl[ \bigl\vert z^{1}(x) \bigr\vert ^{2}+ \beta _{k}(x,0) \bigl\vert z^{0}_{x}(x) \bigr\vert ^{2} \bigr]\,dx. $$
We obtain the following lemma (see the detailed proof in [8]).

Lemma 3.1

For any \((z^{0}, z^{1})\in H^{1}_{0}(0, 1)\times L^{2}(0, 1)\) and \(t\in[0, T]\), any solution z of (3.1) satisfies the following estimate:
$$ E(t)=\frac{1}{\alpha_{k}(t)}E_{0}. $$
(3.3)
Equation (3.2) is derived with a special multiplier. Set
$$ F(x,k)= \frac{\beta_{k,x}(x,t)}{\beta_{k}(x,t)}= \frac {-2k^{2}x}{1-k^{2}x^{2}}\leq0,\quad (x,k)\in[0,1]\times(0,1). $$
It is easy to check \(F_{x}(x,k)<0,(x,k)\in[0,1]\times(0,1)\). We have
$$F(1,k)=\frac{-2k^{2}}{1-k^{2}}\leq F(x,k),\quad (x,k)\in[0,1]\times(0,1). $$
We see \(F_{k}(1,k)= \frac{-4k}{(1-k^{2})^{2}}<0, k\in(0,1)\). Therefore, we obtain, for any \(\eta>0\),
$$F_{0}\triangleq F(1,1-\eta) =\frac{-2(1-\eta)^{2}}{1-(1-\eta)^{2}}\leq F(1,k),\quad k\in(0,1- \eta]. $$
Hence, we derive
$$ F_{0}\leq F(1,k) \leq F(x,k)\leq0,\quad (x,k)\in[0,1] \times(0,1-\eta]. $$
(3.4)
Assume that \(\lambda\in(0,1)\) and a point \(x_{0}\in(m,n)\) to be unknown for now. We require the multiplier to satisfy the following lemma.

Lemma 3.2

Assume that \(p(x)\) be a solution of first-order linear differential equation
$$ p^{\prime}(x)=\textstyle\begin{cases} \lambda-1, &x\in(0,m),\\ \lambda,&x\in(m,x_{0}),\\ \lambda+F_{0}p(x), &x\in(x_{0},n),\\ \lambda-1+F_{0}p(x),&x\in(n,1), \end{cases} $$
(3.5)
then there exist a unique \(\lambda\in(0,1)\) and a unique \(x_{0}\in(m,n)\) such that \(p(x)\) belongs to \(C[0,1]\) and satisfies
$$ p(0)=p(1)=p(x_{0})=0. $$
(3.6)

Proof

By (3.5), (3.6) and the constant variation method, it follows that
$$ p(x)=\textstyle\begin{cases} (\lambda-1)x\leq0,&x\in(0,m),\\ (x-x_{0})\lambda\leq0,&x\in(m,x_{0}),\\ \frac{\lambda}{F_{0}}[e^{F_{0}(x-x_{0})}-1]\geq0,&x\in(x_{0},n),\\ \frac{(\lambda-1)}{F_{0}}[e^{F_{0}(x-1)}-1]\geq0,&x\in(n,1). \end{cases} $$
Note that \(p(x)\in C[0,1]\), we have
$$p(m-0)=p(m+0),\qquad p(n-0)=p(n+0). $$
From this, we obtain
$$\begin{aligned} & \lambda\triangleq\lambda_{-}= \frac{m}{x_{0}},\quad x_{0}\in(m,n), \end{aligned}$$
(3.7)
$$\begin{aligned} & \lambda\triangleq\lambda_{+}= \frac{e^{F_{0}(n-1)}-1}{ e^{F_{0}(n-1)}-e^{F_{0}(n-x_{0})}},\quad x_{0}\in(m,n). \end{aligned}$$
(3.8)
By (3.7) and (3.8), we have \(\lambda_{-}\) and \(\lambda_{+}\) are monotone decreasing and increasing with respect to \(x_{0}\) and satisfy
$$\lambda_{-},\lambda_{+}\in(0,1);\qquad \lambda_{-}(m)> \lambda_{+}(m);\qquad \lambda _{-}(n)< \lambda_{+}(n). $$
Hence there exists a unique \(x_{0}\in(m,n)\) of the equation \(\lambda_{-}=\lambda_{+}\), the corresponding value
$$\lambda=\lambda_{-}=\lambda_{+}\in(0,1). $$
 □

Remark 3.1

It is easy to verify that
$$M\triangleq\max_{0\leq x\leq1} \bigl\vert p(x) \bigr\vert =\max \bigl\{ \bigl\vert p(m) \bigr\vert ,p(n) \bigr\} . $$
In the following, we prove (3.2) by the above multiplier \(p(x)\). Multiplying the first equation of (3.1) by \(qz_{x}\) and integrating on Q, we have
$$ \begin{aligned} 0={}& \int_{0}^{T} \int_{0}^{1} \alpha_{k}(t)z_{tt}(x,t)p(x)z_{x}(x,t)\,dx\,dt - \int_{0}^{T} \int_{0}^{1} \bigl[\beta_{k}(x,t)z_{x}(x,t) \bigr]_{x}p(x)z_{x}(x,t)\,dx\,dt \\ &{}+ \int_{0}^{T} \int_{0}^{1}\gamma_{k}(x)z_{tx}(x,t)p(x)z_{x}(x,t)\,dx\,dt \\ \triangleq{}& D_{1}+D_{2}+D_{3}. \end{aligned} $$
In the following, we calculate the above three integrals \(D_{i}\ (i=1, 2, 3)\), respectively. It is easy to check that
$$\begin{aligned} D_{1}={}& \int_{0}^{1} \alpha_{k}(t)p(x)z_{t}(x,t)z_{x}(x,t)\,dx \Big| _{0}^{T} \\ &{} - \int_{0}^{T} \int_{0}^{1} \bigl[ \alpha_{k, t}(t)p(x)z_{t}(x,t)z_{x}(x,t) + \alpha_{k}(t)p(x)z_{t}(x,t)z_{tx}(x,t) \bigr]\,dx\,dt \\ ={}& \int_{0}^{1} \alpha_{k}(t)p(x)z_{t}(x,t)z_{x}(x,t)\,dx \Big| _{0}^{T} \\ & {}- \int_{0}^{T} \int_{0}^{1} \alpha_{k, t}(t)p(x)z_{t}(x,t)z_{x}(x,t)\,dx\,dt \\ &{}+\frac{1}{2} \int_{0}^{T} \int_{0}^{1} \alpha_{k}(t)p_{x}(x) \bigl\vert z_{t}(x,t) \bigr\vert ^{2}\,dx\,dt, \end{aligned}$$
(3.9)
$$\begin{aligned} D_{2}={}& {-} \int_{0}^{T} \beta_{k}(x,t)p(x) \bigl\vert z_{x}(x,t) \bigr\vert ^{2}\,dt\Big| _{0}^{1} \\ & {}+ \int_{0}^{T} \int_{0}^{1} \bigl[\beta_{k}(x,t)p_{x}(x) \bigl\vert z_{x}(x,t) \bigr\vert ^{2} + \beta_{k}(x,t)p(x)z_{x}(x,t)z_{xx}(x,t) \bigr]\,dx\,dt \\ ={}& - \int_{0}^{T} \beta_{k}(x,t)p(x) \bigl\vert z_{x}(x,t) \bigr\vert ^{2}\,dt \Big| _{0}^{1} \\ &{}+ \int_{0}^{T} \int_{0}^{1} \beta_{k}(x,t)p_{x}(x) \bigl\vert z_{x}(x,t) \bigr\vert ^{2}\,dx\,dt \\ &{} +\frac{1}{2} \int_{0}^{T}\beta_{k}(x,t)p(x) \bigl\vert z_{x}(x,t) \bigr\vert ^{2}\,dt \Big| _{0}^{1} \\ &{}-\frac{1}{2} \int_{0}^{T} \int_{0}^{1} \bigl[\beta_{k}(x,t)p(x) \bigr]_{x} \bigl\vert z_{x}(x,t) \bigr\vert ^{2}\,dx\,dt \\ ={}& \frac{1}{2} \int_{0}^{T} \int_{0}^{1} \bigl[\beta_{k}(x,t)p_{x}(x) \bigl\vert z_{x}(x,t) \bigr\vert ^{2} - \beta_{k, x}(x,t)p(x) \bigl\vert z_{x}(x,t) \bigr\vert ^{2} \bigr]\,dx\,dt \\ ={}&\frac{1}{2} \int_{0}^{T} \int_{0}^{1} \biggl[\frac{p(x)}{\beta_{k}(x,t)} \biggr]_{x} \bigl[\beta_{k}(x,t) \bigr]^{2} \bigl\vert z_{x}(x,t) \bigr\vert ^{2}\,dx\,dt \end{aligned}$$
(3.10)
and
$$ \begin{aligned} D_{3}= \frac{1}{2} \int_{0}^{1} \gamma_{k}(x)p(x) \bigl\vert z_{x}(x,t) \bigr\vert ^{2}\,dx \Big|_{0}^{T}. \end{aligned} $$
(3.11)
Write
$$ \begin{aligned} i(t)\triangleq \int_{0}^{1} \biggl[\alpha_{k}(t)p(x)z_{t}(x,t)z_{x}(x,t)+ \frac{1}{2} \gamma_{k}(x)p(x) \bigl\vert z_{x}(x,t) \bigr\vert ^{2} \biggr]\,dx. \end{aligned} $$
(3.12)
By (3.9)-(3.12), we obtain
$$\begin{aligned} &\frac{1}{2} \int_{0}^{T} \int_{0}^{1} \biggl[\alpha_{k}(t)p_{x}(x) \bigl\vert z_{t}(x,t) \bigr\vert ^{2} + \biggl[ \frac{p(x)}{\beta_{k}(x,t)} \biggr]_{x} \bigl[\beta_{k}(x,t) \bigr]^{2} \bigl\vert z_{x}(x,t) \bigr\vert ^{2} \biggr]\,dx\,dt \\ &\quad = \int_{0}^{T} \int_{0}^{1}\alpha_{k, t}(t)p(x)z_{t}(x,t)z_{x}(x,t)\,dx\,dt+ i(0)-i(T). \end{aligned}$$
(3.13)
By Lemma 3.2, it follows that
$$p_{x}(x)=\lambda-1,\quad x\in[0,m] $$
and
$$p(x)\leq0,\quad x\in[0,m]. $$
Then we have
$$ F(x,k)p(x)= \frac{\beta_{k,x}(x,t)}{\beta_{k}(x,t)}p(x)\geq0,\quad (x,t)\in [0,m]\times[0,T] $$
and
$$ p_{x}(x)\leq \frac{\beta_{k,x}(x,t)}{\beta_{k}(x,t)}p(x)+\lambda-1,\quad (x,t)\in[0,m] \times[0,T]. $$
From this, we have
$$ p_{x}(x)\beta_{k}(x,t)-\beta_{k,x}(x,t)p(x) \leq(\lambda-1)\beta_{k}(x,t),\quad (x,t)\in[0,m]\times[0,T]. $$
(3.14)
Similarly, we obtain
$$ p_{x}(x)\beta_{k}(x,t)-\beta_{k,x}(x,t)p(x) \leq\lambda\beta _{k}(x,t), \quad (x,t)\in[m,x_{0}]\times[0,T]; $$
(3.15)
for any \(\eta>0\), \(k\in(0,1-\eta]\),
$$ p_{x}(x)\beta_{k}(x,t)-\beta_{k,x}(x,t)p(x) \leq\lambda\beta _{k}(x,t),\quad (x,t)\in[x_{0},n]\times[0,T], $$
(3.16)
and
$$ p_{x}(x)\beta_{k}(x,t)-\beta_{k,x}(x,t)p(x) \leq(\lambda-1)\beta _{k}(x,t),\quad (x,t)\in[n,1]\times[0,T]. $$
(3.17)
By (3.13)-(3.17), it follows that for any \(\eta>0\), \(k\in(0,1-\eta]\),
$$\begin{aligned} &\frac{\lambda}{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]\,dx\,dt \\ &\qquad{} +\frac{\lambda-1}{2} \int_{0}^{T} \int_{(0,1)\backslash(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]\,dx\,dt \\ &\quad\geq \int_{0}^{T} \int_{0}^{1}\alpha_{k, t}(t)p(x)z_{t}(x,t)z_{x}(x,t)\,dx\,dt+ i(0)-i(T). \end{aligned}$$
Therefore, we have, for any \(\eta>0\), \(k\in(0,1-\eta]\),
$$\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]\,dx\,dt \\ &\quad\geq\frac{1-\lambda}{2} \int_{0}^{T} \int_{0}^{1} \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]\,dx\,dt \\ &\qquad{}+ \int_{0}^{T} \int_{0}^{1}kp(x)z_{t}(x,t)z_{x}(x,t)\,dx\,dt+ i(0)-i(T). \end{aligned}$$
(3.18)
For each \(t\in[0, T]\) and \(\varepsilon>0\), we have
$$\begin{aligned} \bigl\vert i(t) \bigr\vert ={}& \biggl\vert \int_{0}^{1} \biggl[\alpha_{k}(t)q(x)z_{t}(x,t)z_{x}(x,t) +\frac{1}{2} \gamma_{k}(x)q(x) \bigl\vert z_{x}(x,t) \bigr\vert ^{2} \biggr]\,dx \biggr\vert \\ \leq{}& \biggl\vert \int_{0}^{1}\alpha_{k}(t)q(x)z_{t}(x,t)z_{x}(x,t)\,dx \biggr\vert + k \biggl\vert \int_{0}^{1}xq(x) \bigl\vert z_{x}(x,t) \bigr\vert ^{2}\,dx \biggr\vert \\ \leq{}& \sqrt{1+kt} \biggl[\frac{1}{2\varepsilon} \int^{1}_{0} \alpha_{k}(t) \bigl\vert z_{t}(x, t) \bigr\vert ^{2}\,dx +\frac{\varepsilon}{2} \int^{1}_{0} q^{2}(x) \bigl\vert z_{x}(x, t) \bigr\vert ^{2}\,dx \biggr]\\ &{}+kM \int^{1}_{0} \bigl\vert z_{x}(x, t) \bigr\vert ^{2}\,dx \\ \leq{}&\frac{\sqrt{1+kt}}{2\varepsilon} \int^{1}_{0} \alpha_{k}(t) \bigl\vert z_{t}(x, t) \bigr\vert ^{2}\,dx+\frac{\sqrt{1+kt}\varepsilon M^{2}+2kM}{2} \int^{1}_{0} \bigl\vert z_{x}(x, t) \bigr\vert ^{2}\,dx \\ \leq{}&\frac{\sqrt{1+kt}}{\varepsilon}\frac{1}{2} \int^{1}_{0} \alpha _{k}(t) \bigl\vert z_{t}(x, t) \bigr\vert ^{2}\,dx \\ &{} +\frac{(\sqrt{1+kt}\varepsilon M^{2}+2kM)(1+kt)}{1-k^{2}}\frac{1}{2} \int ^{1}_{0} \beta_{k}(x, t) \bigl\vert z_{x}(x, t) \bigr\vert ^{2}\,dx. \end{aligned}$$
Take \(\varepsilon= \frac{1-k}{\sqrt{1+kt}M}\), then it is easy to check that
$$\varepsilon>0 \quad\mbox{and}\quad \frac{\sqrt{1+kt}}{\varepsilon}=\frac{(\sqrt {1+kt}\varepsilon M^{2}+2kM)(1+kt)}{1-k^{2}} = \frac{M(1+kt)}{1-k}. $$
This implies that, for any \(t\in[0, T]\),
$$\bigl\vert i(t) \bigr\vert \leq\frac{M(1+kt)}{1-k} E(t)=\frac{M}{1-k}E_{0}. $$
It follows that
$$ \biggl\vert \int_{0}^{1} \biggl[\alpha_{k}(t)q(x)z_{t}(x,t)z_{x}(x,t) +\frac{1}{2} \gamma_{k}(x)q(x) \bigl\vert z_{x}(x,t) \bigr\vert ^{2} \biggr]\,dx \Big| ^{T}_{0} \biggr\vert \leq \frac {2M}{1-k} E_{0}. $$
(3.19)
For each \(\varepsilon\in (0, 1-\lambda )\), we have
$$\begin{aligned} & \biggl\vert \int_{0}^{T} \int_{0}^{1}kp(x)z_{t}(x,t)z_{x}(x,t)\,dx\,dt \biggr\vert \\ &\quad= \biggl\vert \int_{0}^{T} \int_{0}^{1} \sqrt{1+kt}z_{t}(x,t) \frac{\sqrt{1-k^{2}x^{2}}}{\sqrt {1+kt}}z_{x}(x,t)\frac{kp(x)}{\sqrt{1-k^{2}x^{2}}}\,dx\,dt \biggr\vert \\ &\quad\leq \frac{\varepsilon}{2} \int_{0}^{T} \int^{1}_{0} \alpha_{k}(t) \bigl\vert z_{t}(x, t) \bigr\vert ^{2}\,dx\,dt \\ &\qquad{}+\frac{1}{2\varepsilon} \int_{0}^{T} \int^{1}_{0} \beta_{k}(x, t) \bigl\vert z_{x}(x, t) \bigr\vert ^{2}\frac{k^{2}p^{2}(x)}{1-k^{2}x^{2}}\,dx\,dt. \end{aligned}$$
(3.20)
Define
$$G(x)=\frac{k^{2}p^{2}(x)}{1-k^{2}x^{2}},\quad x\in[0,1]. $$
We see
$$M_{1}=\max_{x\in[0,1]} G(x)=\max \bigl\{ G(m),G(n) \bigr\} = \max \biggl\{ \frac {k^{2}p^{2}(m)}{1-k^{2}m^{2}},\frac{k^{2}p^{2}(n)}{1-k^{2}n^{2}} \biggr\} . $$
By (3.20), we obtain, for each \(\varepsilon\in (0, 1-\lambda )\),
$$\begin{aligned} & \biggl\vert \int_{0}^{T} \int_{0}^{1}kp(x)z_{t}(x,t)z_{x}(x,t)\,dx\,dt \biggr\vert \\ &\quad \leq \frac{\varepsilon}{2} \int_{0}^{T} \int^{1}_{0} \alpha_{k}(t) \bigl\vert z_{t}(x, t) \bigr\vert ^{2}\,dx\,dt +\frac{M_{1}}{2\varepsilon} \int_{0}^{T} \int^{1}_{0} \beta_{k}(x, t) \bigl\vert z_{x}(x, t) \bigr\vert ^{2}\,dx\,dt. \end{aligned}$$
(3.21)
Take \(\varepsilon= \sqrt{M_{1}}<1-\lambda\), then it is easy to check that
$$\varepsilon=\frac{M_{1}}{\varepsilon}=\sqrt{M_{1}}< 1-\lambda, $$
i.e.,
$$\max \biggl\{ \frac{k^{2}p^{2}(m)}{1-k^{2}m^{2}},\frac{k^{2}p^{2}(n)}{1-k^{2}n^{2}} \biggr\} < (1- \lambda)^{2}. $$
From the above inequality, it follows that
$$k\in \biggl(0,\min \biggl\{ \frac{1-\lambda}{\sqrt{p^{2}(m)+(1-\lambda)^{2}m^{2}}},\frac {1-\lambda}{\sqrt{p^{2}(n)+(1-\lambda)^{2}n^{2}}} \biggr\} \biggr). $$
From (3.21), we get
$$ \begin{aligned} &k\in \biggl(0,\min \biggl\{ \frac{1-\lambda}{\sqrt{p^{2}(m)+(1-\lambda)^{2}m^{2}}},\frac {1-\lambda}{\sqrt{p^{2}(n)+(1-\lambda)^{2}n^{2}}} \biggr\} \biggr), \\ & \biggl\vert \int_{0}^{T} \int_{0}^{1}kp(x)z_{t}(x,t)z_{x}(x,t)\,dx\,dt \biggr\vert \leq\sqrt{M_{1}} \int_{0}^{T}E(t)\,dt. \end{aligned} $$
(3.22)
Write
$$ \tilde{k}=\min \biggl\{ \frac{1-\lambda}{\sqrt{p^{2}(m)+(1-\lambda)^{2}m^{2}}},\frac {1-\lambda}{\sqrt{p^{2}(n)+(1-\lambda)^{2}n^{2}}},1- \eta \biggr\} . $$
By (3.3), (3.18), (3.20) and (3.22), we derive, for each \(k\in(0,\tilde{k})\),
$$\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(1-\lambda-\sqrt{M_{1}}) \int_{0}^{T}E(t)\,dt -\frac{2M}{1-k} E_{0} \\ &\quad = \biggl[\frac{1-\lambda-\sqrt{M_{1}}}{k}\ln(1+kT)-\frac{2M}{1-k} \biggr] E_{0}. \end{aligned}$$
(3.23)
Set
$$ T^{*}_{k}= \frac{e^{\frac{2kM}{(1-\lambda-\sqrt{M_{1}})(1-k)}}-1}{k}. $$
If \(T>T^{*}_{k}\), we have \(\frac{1-\lambda-\sqrt{M_{1}}}{k}\ln(1+kT)- \frac{2M}{1-k}>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{1-\lambda-\sqrt{M_{1}}}{k}\ln(1+kT)- \frac {2M}{1-k} \biggr] E_{0} \\ &\quad\geq C \biggl[ \frac{1-\lambda-\sqrt{M_{1}}}{k}\ln(1+kT)- \frac {2M}{1-k} \biggr] \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.24)
Equation (3.2) is deduced by (3.24).

Remark 3.2

We can finally check that
$$T^{0}\triangleq\lim_{k\rightarrow0}T^{*}_{k} =2\max\{m,1-n\}. $$
It is well known that (1.2) in the cylindrical domain is interiorly controllable at any time \(T>T^{0}\). However, we do not know whether \(T^{*}_{k}\) is sharp.

4 Conclusions

In this paper, we consider interior controllability for a one-dimensional wave equation in a domain with moving boundary. When the speed of the moving endpoint is less than a certain constant which is less than the characteristic speed, we obtain exact controllability for this equation. In the future, we hope that we may consider controllability problem of wave equations with free boundary.

Declarations

Acknowledgements

The authors are deeply grateful to the anonymous referee and the editor for their careful reading, valuable comments and correcting some errors, which have greatly improved the quality of the paper. This work is partially supported by the NSF of China under grants 11171060, 11371084.

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’ Affiliations

(1)
College of Applied Mathematics, Jilin University of Finance and Economics, Changchun, 130117, China

References

  1. Lasiecka, I, Lions, JL, Triggiani, R: Non homogeneous boundary value problems for second order hyperbolic operators. J. Math. Pures Appl. 65, 149-192 (1986) MathSciNetMATHGoogle Scholar
  2. Lions, JL: Exact controllability, stabilizability and perturbation for distributed systems. SIAM Rev. 30, 1-68 (1988) MathSciNetView ArticleMATHGoogle Scholar
  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) MathSciNetView ArticleMATHGoogle Scholar
  4. Yao, P: On the observability inequalities for exact controllability of wave equations with variable coefficients. SIAM J. Control Optim. 37, 1568-1599 (1999) MathSciNetView ArticleMATHGoogle Scholar
  5. Fu, X, Yong, J, Zhang, X: Exact controllability for multidimensional semilinear hyperbolic equations. SIAM J. Control Optim. 46, 1578-1614 (2007) MathSciNetView ArticleMATHGoogle Scholar
  6. Ho, LF: Exact controllability for the one-dimension wave equation with locally distributed control. SIAM J. Control Optim. 28, 733-748 (1990) MathSciNetView ArticleMATHGoogle Scholar
  7. Miranda, MM: Exact controllability for the wave equation in domains with variable boundary. Rev. Mat. Univ. Complut. Madr. 9, 435-457 (1996) MathSciNetMATHGoogle Scholar
  8. 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) MathSciNetView ArticleMATHGoogle Scholar
  9. Cui, L, Song, L: Exact controllability for a wave equation with fixed boundary control. Bound. Value Probl. 2014, 47 (2014) MathSciNetView ArticleMATHGoogle Scholar
  10. Cui, L, Gao, H: Exact controllability for a wave equation with mixed boundary conditions in a non-cylindrical domain. Electron. J. Differ. Equ. 2014, 101 (2014) MathSciNetView ArticleMATHGoogle Scholar
  11. Cui, L, Song, L: Controllability for a wave equation with moving boundary. J. Appl. Math. 2014, 827698 (2014) MathSciNetGoogle Scholar
  12. Cui, L, Jiang, Y, Wang, Y: Exact controllability for a string equation in domains with moving boundary in one dimension. Bound. Value Probl. 2015, 208 (2015) View ArticleGoogle Scholar
  13. Sun, H, Li, H, Lu, L: Exact controllability for a one-dimensional wave equation with the fixed endpoint control. Electron. J. Differ. Equ. 2015, 98 (2015) View ArticleGoogle Scholar
  14. 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) MathSciNetView ArticleMATHGoogle Scholar
  15. Debbouche, A, Baleanu, D: Exact null controllability for fractional nonlocal integrodifferential equations via implicit evolution system. J. Appl. Math. 2012, Article ID 931975 (2012) MathSciNetView ArticleMATHGoogle Scholar
  16. Kerboua, M, Debbouche, A, Baleanu, D: Approximate controllability of Sobolev type nonlocal fractional stochastic dynamic systems in Hilbert spaces. Abstr. Appl. Anal. 2013, Article ID 262191 (2013) MathSciNetView ArticleMATHGoogle Scholar
  17. Kerboua, M, Debbouche, A, Baleanu, D: Approximate controllability of Sobolev type fractional stochastic nonlocal nonlinear differential equations in Hilbert spaces. Electron. J. Qual. Theory Differ. Equ. 2014, 58 (2014) MathSciNetView ArticleMATHGoogle Scholar

Copyright

© The Author(s) 2017

Advertisement