Discrete Ingham inequalities and applications

In this Note we prove a discrete version of the classical Ingham inequality for nonharmonic Fourier series whose exponents satisfy a gap condition. Time integrals are replaced by discrete sums on a discrete mesh. We prove that, as the mesh becomes finer and finer the limit of the discrete Ingham inequality is the classical continuous one. This analysis is partially motivated by control-theoretical applications. As an application we analyze the control/observation properties of numerical approximation schemes of the 1-d wave equation. The discrete Ingham inequality provides observability and controllability results which are uniform with respect to the mesh size in suitable classes of numerical solutions in which the high frequency components have been filtered. To cite this article: M. Negreanu, E. Zuazua, C. R. Acad. Sci. Paris, Ser. I 338 (2004).