A numerical verification method for a system of FitzHugh-Nagumo type

Shuting Cai, Kaori Nagatou, Yoshitaka Watanabe

    Research output: Contribution to journalArticlepeer-review

    6 Citations (Scopus)

    Abstract

    We propose a numerical method to enclose a solution of the FitzHugh-Nagumo equation with Neumann boundary conditions. We construct, on a computer, a set which satisfies the hypothesis of Schauder's fixed point theorem for a compact map in a certain Sobolev space, which, therefore contains a solution. Several verified results are presented.

    Original languageEnglish
    Pages (from-to)1195-1220
    Number of pages26
    JournalNumerical Functional Analysis and Optimization
    Volume33
    Issue number10
    DOIs
    Publication statusPublished - Oct 1 2012

    All Science Journal Classification (ASJC) codes

    • Analysis
    • Signal Processing
    • Computer Science Applications
    • Control and Optimization

    Fingerprint Dive into the research topics of 'A numerical verification method for a system of FitzHugh-Nagumo type'. Together they form a unique fingerprint.

    Cite this