Exact Null Controllability of a Wave Equation with Dirichlet–Neumann Boundary in a Non-Cylindrical Domain

: In this paper, by applying the Hilbert Uniqueness Method in a non-cylindrical domain, we prove the exact null controllability of one wave equation with a moving boundary. The moving endpoint of this wave equation has a Neumann-type boundary condition, while the ﬁ xed endpoint has a Dirichlet boundary condition. We derived the exact null controllability and obtained an exact controllability time of the wave equation.


Notations:
The exact controllability of partial differential equations is a classical problem in cybernetics, and in particular the exact controllability of wave equations has been a very active area of research. A large number of research results have been achieved in cylindrical domains. Furthermore, applications of such equations in non-cylindrical domains are also very extensive. In the physical sense, many processes take place in domains with moving boundaries. A typical example is the interface of an ice-water mixture when the temperature rises. Therefore, it is necessary to study problems of the exact controllability of wave equations, which have moving or free boundaries.
where v is the control variable and u is the state variable.
× is any given initial value. The constant k is called the speed of the moving endpoint. Using a similar method to that in [1,2], in the sense of a transposition, system (2) has a unique weak solution. .
Control problems can be seen everywhere in science, technology, and engineering practice. The theory of controllability of distributed parameter systems has become an important branch of modern mathematics. Control is categorized in different ways. According to the location of control in the system, control is categorized as boundary control and internal control; according to the relationship between the isochronous region and target, control is categorized as exact control, approximate control, and null control. In this paper, we mainly considered exact controllability and exact null controllability, which are equivalent in wave equations.
The controllability problem of wave equations in cylindrical domains has already been studied by different authors. However, in non-cylindrical domains, little work has been undertaken on wave equations (see [1][2][3][4][5][6][7][8][9][10]). The research in [1][2][3] dealt with the wave equation with Dirichlet boundary conditions. In [4], a globally distributed control was obtained through the stabilization of the wave equation. In [5,6], the wave equation was studied as follows:  [6] improved the exact controllability time of [5]. In [5], the exact controllability of system (2) was obtained by transforming the non-cylindrical domain into a cylindrical domain. In [9,10], I studied the internal exact controllability of wave equations in one dimension. In [11,12], null controllability of heat equations were discussed. In this article, we took a direct calculation in a non-cylindrical domain to obtain the exact null controllability of (2) when But the exact controllability of (2) when still an open problem, and we shall try to address it in the future.
We know the essence of the Hilbert Uniqueness Method: the exact controllability of the original system is equivalent to the observability of a certain dual system (for details, see [2]). This article is organized as follows: in Section 2, we introduce definitions of exact controllability and exact null controllability, and also show the main conclusion of this article. In Section 3, we obtain Lemmas 1 and 2 by using the multiplier method, and by combining the above two lemmas we prove Theorem 2 (observability). In Section 4, with the conclusion of observability of the dual system, we obtain the exact null controllability of the original system according to the Hilbert Uniqueness Method.

Preliminary Work and Main Results
First, we will give definitions of exact null controllability and exact controllability, as follows: T if for any given initial T such that the corresponding solution u of (2) in the sense of a transposition satisfies (2) is named exactly controllable at the time , T if for any given initial and any target function such that the corresponding solution u of (2) in the sense of a transposition satisfies Throughout this paper, we shall write for the controllability time. The specific proof will be given later in this paper.
The following Theorem 1 is the focus of our proof in this paper. (2) is exactly null controllable at time T in the sense of Definition 1. From calculations, we know that the dual system of (2) is as follows:

Theorem 1. For any given
is any given initial value. We learn that system (4) has a unique weak solution from [1].
The key to proving Theorem 1 lies in proving the observability of system (4), which is described as follows: , there exists a constant 0 C > , such that the corresponding solution z of (4) satisfies

Remark 1. It is easy to verify
The time 0 2 T = is in accord with the controllability time obtained in [2].

Remark 2.
In fact, for a more general function , we can obtain the same results as in this paper.

Remark 3.
We define C to be a positive constant related only to T and k . C may not be the same in different places. The weighted energy function for (4) can be defined: where z is the solution of (4). It is obvious that

Proof of Theorem 2 (Observability)
To prove the observability of system (4), we would first take the multiplier method in the non-cylindrical domain (0, ( )) (0, ) k s t α × for any [0, ] t T ∈ to obtain the following Lemmas 1 and 2. Then, combining the above Lemmas, we can obtain two important observability inequalities for system (4), which proves the observability of system (4). The specific proof process is as follows:

Lemma 1. For any
, the corresponding solution z of (4) satisfies Proof. By multiplying the first equation in (4) by Considering the definition of ( ), (0) E t E and (10), it follows from (9) that It is obvious that  (7), it is not difficult to verify We can find that ( ) E t is a monotonically decreasing function, and Lemma 2. For any , the corresponding solution z of (4) satisfies Proof. By multiplying the first equation of (4) by 2 ( , ) x xz x s while integrating on ˆk T Q , we can find the following equation: Combining Lemmas 1 and 2, we can prove Theorem 2. The proof process is divided into two steps. □

Proof of Theorem 2
Step 1. We complete the proof of the first inequality of (5). From the Cauchy inequality, it is easy to deduce that: Combining (14) From (7), we can deduce that Step 2. We shall prove the second inequality of (5). From (14) Combining (25) and (27), we can conclude that

Proof of Theorem 1 (Controllability)
From the proof of Section 3, we can obtain the observability of system (4). Based on the Hilbert Uniqueness Method, we can learn that the controllability of system (2) is equivalent to the observability of system (4).
In fact, Theorem 1 is equivalent to showing that, given the initial data such that the solution of system (2) satisfies ( ) 0 ( ) 0.

t u T and u T = =
Proof of Theorem 1. We can complete the proof in the following three steps.
We can therefore complete the proof of Remark 5.

Conclusions
According to the essence of the Hilbert Uniqueness Method, in order to obtain the exact null controllability of the original system, we need to obtain the observability of a certain dual system. Thus, the main points of this article are as follows: Step 1. We proved the observability of the dual system by proving two key inequalities in Section 3. Step 2. The controllability of the original system was obtained based on the Hilbert Uniqueness Method in Section 4. In the future, we will consider controllability problems of wave equations with more complex conditions.