MG can be applied in combination with any of the common discretization techniques. In these cases, multigrid is among the fastest solution techniques known today. In contrast to other methods, multigrid is general in that it can treat arbitrary regions and boundary conditions. It does not depend on the separability of the equations or other special properties of the equation. MG is also directly applicable to more-complicated non-symmetric and nonlinear systems of equations, like the Lamé system of elasticity or the Navier-Stokes equations.
Other extensions of multigrid include techniques where no PDE and no geometrical problem background is used to construct the multilevel hierarchy. Such algebraic multigrid methods (AMG) construct their hierarchy of operators directly from the system matrix and thus become true black-box solvers for sparse matrices.
There are many variations of multigrid algorithms, but the common features are that a hierarchy of discretisations (grids) is considered. The important steps are:
Smoothing – reducing high frequency errors, for example using a few iterations of the Gauss–Seidel method.
Restriction – downsampling the residual error to a coarser grid.
Prolongation – interpolating a correction computed on a coarser grid into a finer grid.
Convergence rate
This approach has the advantage over other methods that it often scales linearly with the number of discrete nodes used. That is: It can solve these problems to a given accuracy in a number of operations that is proportional to the number of unknowns.
Assume that one has a differential equation which can be solved approximately (with a given accuracy) on a grid i with a given grid point density Ni. Assume furthermore that a solution on any grid Ni may be obtained with a given effort Wi = ρKNi from a solution on a coarser grid i + 1. Here, ρ = Nj + 1 / Nj < 1 is the ratio of grid points on "neighboring" grids and is assumed to be constant throughout the grid hierarchy, and K is some constant modeling the effort of computing the result for one grid point.
The following recurrence relation is then obtained for the effort of obtaining the solution on grid k:
Wk = Wk + 1 + ρKNk
And in particular, we find for the finest grid N1 that
W1 = W2 + ρKN1
Combining these two expressions (and using Nk = ρk − 1N1) gives