Resolvent estimates in controllability theory and applications to the discrete wave equation

We briefly present the difficulties arising when dealing with the controllability of the discrete wave equation, which are, roughly speaking, created by high-frequency spurious waves which do not travel. It is by now wellunderstood that such spurious waves can be dealt with by applying some convenient filtering technique. However, the scale of frequency in which we can guarantee that none of these non-traveling waves appears is still unknown in general. Though, using Hautus tests, which read the controllability of a given system in terms of resolvent estimates, we are able to prove that these spurious waves do not appear before some frequency scale. This document is based on the articles [12, 13, 14].