Functional analysis and Galerkin's method.