1: \begin{abstract}

2: \noindent As a first step towards a mathematically rigorous understanding of

3: \rnew{adaptive spectral/$hp$} discretizations of elliptic boundary-value

4: problems, we study the performance of adaptive Legendre-Galerkin methods

5: in one space dimension. These methods offer unlimited approximation power

6: only restricted by solution and data regularity. Our investigation is

7: inspired by a similar study that we recently \rnew{carried out} for

8: Fourier-Galerkin methods in a periodic box. We first consider an ``ideal''

9: algorithm, which we prove to be convergent at a fixed rate. Next we

10: enhance its performance, \rnew{consistently} with the expected fast error decay of

11: high-order methods, by activating a larger set of degrees of freedom at

12: each iteration. We guarantee optimality (in the non-linear approximation

13: sense) by incorporating a coarsening step. Optimality is measured in terms

14: of certain sparsity classes of the Gevrey type, which describe a

15: (sub-)exponential decay of the best approximation error.

16: 

17: \textbf{Keywords:} Spectral methods, adaptivity, convergence, optimal cardinality.

18: \end{abstract}

19: