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

Yoshitaka Watanabe, Mitsuhiro T. Nakao

研究成果: Article

4 引用 (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.

元の言語English
ページ(範囲)239-251
ページ数13
ジャーナルApplied Mathematics and Computation
276
DOI
出版物ステータスPublished - 2016 3 5
外部発表Yes

ASJC Scopus subject areas

  • Computational Mathematics
  • Applied Mathematics

フィンガープリント A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration' の研究トピックを掘り下げます。これらはともに一意のフィンガープリントを構成します。

  • これを引用