Boundary Controllability of the Linear Wave Equation

In this chapter we prove the exact boundary controllability for the wave equation, considering first the constant coefficients case, and then a more general class of space-dependent variable coefficients. The proof is based on the HUM method, that transforms the problem into an observability one, and the multiplier method, which allows to derive the equivalent observability inequalities.