A NUMERICAL VERIFICATION METHOD FOR A SYSTEM OF FITZHUGH-NAGUMO TYPE

作者:Cai Shuting*; Nagatou Kaori; Watanabe Yoshitaka
来源:Numerical Functional Analysis and Optimization, 2012, 33(10): 1195-1220.
DOI:10.1080/01630563.2012.677918

摘要

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%26apos;s fixed point theorem for a compact map in a certain Sobolev space, which, therefore contains a solution. Several verified results are presented.

  • 出版日期2012