Numerical verification of existence and inclusion of solutions for nonlinear operator equations

    Research output: Contribution to journalArticle

    12 Citations (Scopus)


    Nonlinear operator equations of the type f(u) ≡ Lu + Nu = 0, u ∈ D(L) are considered, where L is a closed linear operator from a Banach space X to another Banach space Y and N a nonlinear operator from X to Y. A method is presented for numerical verification and inclusion of solutions for the equations. As an example, the existence of a periodic solution is proved for the Duffing equation.

    Original languageEnglish
    Pages (from-to)171-185
    Number of pages15
    JournalJournal of Computational and Applied Mathematics
    Issue number1-2
    Publication statusPublished - 1995 Jun 20



    • Computer-assisted existence proof
    • Duffing's equation
    • Newton's method
    • Self-validating numerics
    • Urabe-Galerkin's method

    ASJC Scopus subject areas

    • Applied Mathematics
    • Computational Mathematics

    Cite this