Multigrid Methods for Variational Problems: General Theory for the V-Cycle | Synapse