1: \begin{abstract}

2:   We prove the convergence of a spectral discretization of the

3:   Vlasov-Poisson system.

4:   %% 

5:   The velocity term of the Vlasov equation is discretized using either

6:   Hermite functions on the infinite domain or Legendre polynomials on

7:   a bounded domain.

8:   %% 

9:   The spatial term of the Vlasov and Poisson equations is discretized

10:   using periodic Fourier expansions.

11:   %%

12:   Boundary conditions are treated in weak form through a penalty type

13:   term, that can be applied also in the Hermite case.

14:   %% 

15:   As a matter of fact, stability properties of the approximated scheme

16:   descend from this added term.

17:   %% 

18:   The convergence analysis is carried out in details for the $1D$-$1V$

19:   case, but results can be generalized to multidimensional domains,

20:   obtained as Cartesian product, in both space and velocity.

21:   %% 

22:   The error estimates show the spectral convergence, under suitable

23:   regularity assumptions on the exact solution.

24: \end{abstract}

25: