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

Yoshitaka Watanabe, Mitsuhiro T. Nakao

Research output: Contribution to journalArticle

3 Citations (Scopus)


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.

Original languageEnglish
Pages (from-to)239-251
Number of pages13
JournalApplied Mathematics and Computation
Publication statusPublished - 2016 Mar 5
Externally publishedYes



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

ASJC Scopus subject areas

  • Computational Mathematics
  • Applied Mathematics

Cite this