Convergence of a two-grid algorithm for the control of the wave equation (Q1012483)

Summary: We analyze the problem of boundary observability of the finite-difference space semi-discretizations of the 2-d wave equation in the square. We prove the uniform (with respect to the mesh-size) boundary observability for the solutions obtained by the two-grid preconditioner introduced by \textit{R. Glowinski} [J. Comput. Phys. 103, No.~2, 189--221 (1992; Zbl 0763.76042)]. Our method uses previously known uniform observability inequalities for low frequency solutions and a dyadic spectral time decomposition. As a consequence we prove the convergence of the two-grid algorithm for computing the boundary controls for the wave equation. The method can be applied in any space dimension, for more general domains and other discretization schemes.