Strict Lyapunov function for the one-dimensional linear wave equation with a locally distributed damping

We construct an explicit strict Lyapunov function for the one-dimensional linear wave equation with a locally distributed damping and Dirichlet boundary conditions.