1: \begin{abstract}

2: Gabor frames are a standard tool to decompose functions into

3: a discrete sum of ``coherent states'', which are

4: localised both in position and Fourier spaces. Such expansions are somehow

5: similar to Fourier expansions, but are more subtle, as Gabor frames do not

6: form orthonormal bases. In this work, we analyze decay properties

7: of the coefficients of functions in these frames in terms of the regularity of

8: the functions and their decay at infinity. These results are analogous to the

9: standard decay properties of Fourier coefficients, and permit to show that

10: a finite number of coherent states provide a good approximation to any smooth rapidly decaying function.

11: Specifically, we provide explicit convergence rates in Sobolev norms, as the number of

12: selected coherent states increases. Our results are especially useful in numerical analysis,

13: when Gabor wavelets are employed to discretize PDE problems.

14: 

15: \vspace{.5cm}

16: \noindent

17: {\sc Keywords:} Approximation theory, Gabor frames, Phase-space analysis

18: \end{abstract}

19: