Convergence of the multilevel full approximation scheme including the V- cycle (Q1098256)

The multilevel full approximation scheme (FAS ML) is a well-known solver for nonlinear boundary value problems. We prove local quantitative convergence statements for a class of FAS ML algorithms in a general Hilbert space setting. This setting clearly exhibits the structure of FAS ML. We prove local convergence of a nested iteration for a rather concrete class of FAS ML algorithms in which V-cycles and only one Jacobi-like pre- and post-smoothing on each level are used.