Numerical verifications of solutions for nonlinear elliptic equations

Yoshitaka Watanabe, Mitsuhiro T. Nakao

    研究成果: Contribution to journalArticle査読

    26 被引用数 (Scopus)

    抄録

    A numerical technique which enables us to verify the existence of weak solutions for nonlinear elliptic boundary value problems is proposed. It is based on the infinite dimensional fixed point theorems using the Newton-like operator and the error estimates for finite element approximations. We also present an effective verification procedure which automatically generates the set including the exact solution in a computer. Some numerical examples are illustrated.

    本文言語英語
    ページ(範囲)165-178
    ページ数14
    ジャーナルJapan Journal of Industrial and Applied Mathematics
    10
    1
    DOI
    出版ステータス出版済み - 2 1 1993

    All Science Journal Classification (ASJC) codes

    • Engineering(all)
    • Applied Mathematics

    フィンガープリント 「Numerical verifications of solutions for nonlinear elliptic equations」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

    引用スタイル