1: \begin{abstract}

2: This is a survey on the theory of adaptive finite element methods

3: (AFEMs), which are fundamental in modern computational science and

4: engineering but whose mathematical assessment is a formidable challenge.

5: We present a self-contained and up-to-date discussion

6: of AFEMs for linear second order elliptic PDEs and dimension $d>1$, 

7: with emphasis on foundational issues. After a brief review of functional

8: analysis and basic finite element theory, including piecewise polynomial

9: approximation in graded meshes, we present the core material for coercive problems.

10: We start with a novel a posteriori error analysis applicable to rough data,

11: which delivers estimators fully equivalent to the solution error.

12: They are used in the design and study of three AFEMs depending on the structure

13: of data. We prove linear convergence

14: of these algorithms and rate-optimality provided the solution and data

15: belong to suitable approximation classes. We also address the relation between

16: approximation and regularity classes. We finally extend this theory to

17: discontinuous Galerkin methods as prototypes of non-conforming AFEMs

18: and beyond coercive problems to inf-sup stable AFEMs.

19: \end{abstract}

20: