A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration

作者：Watanabe Yoshitaka^*; Nakao Mitsuhiro T

来源：Applied Mathematics and Computation, 2016, 276: 239-251.

DOI：10.1016/j.amc.2015.12.021

• Functional equation
• Differential equation
• Residual form
• Newton-like iteration

This paper describes a numerical verification of solutions for infinite-dimensional functional equations based on residual forms and Newton-like iteration. The method is based upon a verification method previously developed by the authors. Several computer-assisted proofs for differential equations, including nonlinear partial differential equations, are presented.

• 出版日期2016-3-5