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

Yoshitaka Watanabe, Mitsuhiro T. Nakao

研究成果: ジャーナルへの寄稿記事

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.

元の言語英語
ページ(範囲)239-251
ページ数13
ジャーナルApplied Mathematics and Computation
276
DOI
出版物ステータス出版済み - 3 5 2016

    フィンガープリント

All Science Journal Classification (ASJC) codes

  • Computational Mathematics
  • Applied Mathematics

これを引用