A Numerical Verification Method for a System of FitzHugh-Nagumo Type

摘要

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.View full textDownload full textKeywordsFitzHugh-Nagumo type, Neumann boundary condition, Numerical verification2000 Mathematics Subject Classification35J60, 65N99Related var addthis_config = { ui_cobrand: "Taylor & Francis Online", services_compact: "citeulike,netvibes,twitter,technorati,delicious,linkedin,facebook,stumbleupon,digg,google,more", pubid: "ra-4dff56cd6bb1830b" }; Add to shortlist Link Permalink http://dx.doi.org/10.1080/01630563.2012.677918