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

Shuting Cai, Kaori Nagatou, Yoshitaka Watanabe

研究成果: ジャーナルへの寄稿記事

5 引用 (Scopus)

抄録

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.

元の言語英語
ページ(範囲)1195-1220
ページ数26
ジャーナルNumerical Functional Analysis and Optimization
33
発行部数10
DOI
出版物ステータス出版済み - 10 1 2012

Fingerprint

FitzHugh-Nagumo Equations
Numerical Verification
Sobolev spaces
FitzHugh-Nagumo
Schauder Fixed Point Theorem
Neumann Boundary Conditions
Sobolev Spaces
Numerical methods
Numerical Methods
Boundary conditions

All Science Journal Classification (ASJC) codes

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

これを引用

A numerical verification method for a system of FitzHugh-Nagumo type. / Cai, Shuting; Nagatou, Kaori; Watanabe, Yoshitaka.

:: Numerical Functional Analysis and Optimization, 巻 33, 番号 10, 01.10.2012, p. 1195-1220.

研究成果: ジャーナルへの寄稿記事

@article{469098bf1ee3423dae8b27afae7fb178,
title = "A numerical verification method for a system of FitzHugh-Nagumo type",
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.",
author = "Shuting Cai and Kaori Nagatou and Yoshitaka Watanabe",
year = "2012",
month = "10",
day = "1",
doi = "10.1080/01630563.2012.677918",
language = "English",
volume = "33",
pages = "1195--1220",
journal = "Numerical Functional Analysis and Optimization",
issn = "0163-0563",
publisher = "Taylor and Francis Ltd.",
number = "10",

}

TY - JOUR

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

AU - Cai, Shuting

AU - Nagatou, Kaori

AU - Watanabe, Yoshitaka

PY - 2012/10/1

Y1 - 2012/10/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84864699254&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84864699254&partnerID=8YFLogxK

U2 - 10.1080/01630563.2012.677918

DO - 10.1080/01630563.2012.677918

M3 - Article

AN - SCOPUS:84864699254

VL - 33

SP - 1195

EP - 1220

JO - Numerical Functional Analysis and Optimization

JF - Numerical Functional Analysis and Optimization

SN - 0163-0563

IS - 10

ER -