Abstract. The notion of Compact Fourier Analysis (CFA) is discussed. The CFA allows description of multigrid (MG) in a nutshell and offers a clear overview on all MG components. The principal idea of CFA is to model the MG mechanisms by means of scalar generating functions and matrix functions (block symbols). The formalism of the CFA approach is presented by describing the symbols of the fine and coarse grid problems, the prolongation and restriction, the smoother, and the coarse grid correction, resp. smoothing corrections. CFA uses matrix functions and their features (e.g. product, inverse, adjoint, norm, spectral radius, eigenvectors, eigenvalues), and scalar functions and their roots. This leads to an elementary description and allows for an easy analysis of MG algorithms. A first application is to utilize the CFA for deriving MG as a direct solver, i.e. an MG cycle that will converge in just one iteration step. Necessary and sufficient conditions that have to be fulfilled by the MG components are given for obtaining MG functioning as a direct solver. Furthermore, new general and practical smoothers and transfer operators that lead to efficient MG methods are introduced. In addition, we study sparse approximations of the Galerkin coarse grid operator yielding efficient and practicable MG algorithms (approximately direct solvers). Numerical experiments demonstrate the theoretical results.Key words. multigrid, Fourier analysis, generating function, block symbol, Toeplitz matrices AMS subject classifications. 65N55, 65F10, 65F15, 65N12, 15A121. Introduction. A crucial point for the efficiency of a multigrid (MG) method is the appropriate choice of its components, which allows for an efficient interplay between smoother and coarse grid correction. In many cases, this coordination can be made by use of Local Fourier Analysis (LFA), which is an important quantitative tool for the development of powerful MG methods [3,24,23,13,4]. This approach has been generalized for structured matrices by employing generating functions expressing, e.g. the symbol of the smoother, of the projection or of the standard discrete Laplace operator in terms of trigonometric polynomials. It is based on the connection between Toeplitz, resp. circulant matrices, and trigonometric functions. It was analyzed by S. Serra Capizzano, R. Chan, T. Huckle, and coauthors in [10,11,5,14,18,15,20,21]. In this paper we complete this formal approach in order to represent a full two-grid step in terms of the block symbol, called also block generating (matrix) function. Furthermore, we show how to use the block symbol formalism for a multigrid Fourier analysis.We consider the notion of Compact Fourier Analysis (CFA), which can be seen as a reformulation and generalization of LFA based on matrix functions. Instead of discrete operators on a grid we consider analytic matrix functions (block symbols) of small order that capture the behavior of the full matrices [14]. This allows the use of matrix features, such as product and eigendecomposition, for descr...