Error analysis of Galerkin's method for semilinear equations (Q1952818)

Summary: We establish a general existence result for Galerkin's approximate solutions of abstract semilinear equations and conduct an error analysis. Our results may be regarded as some extension of [\textit{M. H. Schultz}, J. Math. Anal. Appl. 27, 524--533 (1969; Zbl 0235.65065)]. The derivation of our results is, however, different from the discussion in his paper and is essentially based on the convergence theorem of Newton's method and some techniques for deriving it. Some of our results may be applicable for investigating the quality of numerical verification methods for solutions of ordinary and partial differential equations.