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
外部発表はい

ASJC Scopus subject areas

  • 計算数学
  • 応用数学

フィンガープリント

「A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル