1: \begin{abstract} 

2: We consider the numerical approximation of linear damped wave systems by Galerkin approximations in space and appropriate time-stepping schemes.

3: %

4: Based on a dissipation estimate for a modified energy, we prove exponential decay of the physical energy on the continuous level provided that the damping is effective everywhere in the domain. 

5: %

6: The methods of proof allow us to analyze also a class of Galerkin approximations based on a mixed variational formulation of the problem. Uniform exponential stability can be guaranteed for these approximations under a general compatibility condition on the discretization spaces. 

7: %

8: As a particular example, we discuss the discretization by mixed finite element methods for which we obtain convergence and uniform error estimates under minimal regularity assumptions.

9: %

10: We also prove unconditional and uniform exponential stability for the time discretization by certain one-step methods.

11: %

12: The validity of the theoretical results as well as the necessity of some of the conditions required for our analysis are demonstrated in numerical tests.

13: \end{abstract}

14: