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

Yoshitaka Watanabe, Mitsuhiro T. Nakao

    研究成果: Contribution to journalArticle査読

    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

    • 計算数学
    • 応用数学

    フィンガープリント

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

    引用スタイル