Local boundary controllability in classes of differentiable functions for the wave equation

The well-known fact following from the Holmgren–John–Tataru uniqueness theorem is a local approximate boundary $L_2$-controllability of the dynamical system governed by the wave equation. Generalizing this result, we establish the controllability in certain classes of differentiable functions in the domains filled up with waves.