A Numerical Verification Method for a System of FitzHugh-Nagumo Type
Shuting Cai, Kaori Nagatou, Yoshitaka Watanabe · Numerical Functional Analysis and Optimization · 2012
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.