Local Fourier analysis is a commonly used tool to assess the quality and aid in the construction of geometric multigrid methods for translationally invariant operators. In the first part of this thesis we automate the process of local Fourier analysis and present a framework that can be applied to arbitrary, including non-orthogonal, repetitive structures. To this end we introduce the notion of crystal structures and a suitable definition of corresponding wave functions, which allow for a natural representation of almost all translationally invariant operators that are encountered in applications, e.g., discretizations of systems of partial differential equations, tight-binding Hamiltonians of crystalline structures, colored domain decomposition approaches and last but not least two- or multigrid hierarchies. Based on this definition we are able to automate the process of local Fourier analysis both with respect to spatial manipulations of operators as well as the Fourier analysis back-end. This automation most notably simplifies the user input by removing the necessity for compatible representations of the involved operators. Each individual operator and its corresponding structure can be provided in any representation chosen by the user.
In the second part of this thesis we develop a geometric multigrid method for the tight-binding Hamiltonian of graphene. This tight-binding formulation leads to linear systems of equations which are maximally indefinite, i.e., with equal number of positive and negative eigenvalues and can be seen both as a discretization of a system of partial differential equations or a staggered discretization. We present a proof regarding the robustness and efficiency of the multigrid method via the previously developed framework.