Result: A NUMERICAL VERIFICATION METHOD FOR A SYSTEM OF FITZHUGH-NAGUMO TYPE
Title:
A NUMERICAL VERIFICATION METHOD FOR A SYSTEM OF FITZHUGH-NAGUMO TYPE
Authors:
Source:
Numerical functional analysis and optimization. 33(10-12):1195-1220
Publisher Information:
Philadelphia, PA: Taylor & Francis, 2012.
Publication Year:
2012
Physical Description:
print, 18 ref
Original Material:
INIST-CNRS
Subject Terms:
Control theory, operational research, Automatique, recherche opérationnelle, Mathematics, Mathématiques, Sciences exactes et technologie, Exact sciences and technology, Sciences et techniques communes, Sciences and techniques of general use, Mathematiques, Mathematics, Analyse mathématique, Mathematical analysis, Analyse fonctionnelle, Functional analysis, Topologie. Variétés et complexes cellulaires. Analyse globale et analyse sur variétés, Topology. Manifolds and cell complexes. Global analysis and analysis on manifolds, Analyse globale, analyse sur des variétés, Global analysis, analysis on manifolds, Analyse numérique. Calcul scientifique, Numerical analysis. Scientific computation, Analyse numérique, Numerical analysis, Probabilités et statistiques numériques, Numerical methods in probability and statistics, Analyse numérique, Numerical analysis, Análisis numérico, Condition aux limites, Boundary condition, Condiciones límites, Espace Sobolev, Sobolev space, Espacio Sobolev, Méthode numérique, Numerical method, Método numérico, Méthode stochastique, Stochastic method, Método estocástico, Solution numérique, Numerical solution, Théorème point fixe, Fixed point theorem, Teorema punto fijo, 46E35, 58J20, 65C20, 65K15, 35J60, 65N99, FitzHugh-Nagumo type, Neumann boundary condition, Numerical verification
Document Type:
Academic journal
Article
File Description:
text
Language:
English
Author Affiliations:
Graduate School of Mathematics, Kyushu University, Fukuoka, Japan
Institute of Mathematics for Industry, Kyushu University, Fukuoka, Japan
Research Institute for Information Technology, Kyushu University, Fukuoka, Japan
Institute of Mathematics for Industry, Kyushu University, Fukuoka, Japan
Research Institute for Information Technology, Kyushu University, Fukuoka, Japan
ISSN:
0163-0563
Rights:
Copyright 2014 INIST-CNRS
CC BY 4.0
Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS
CC BY 4.0
Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS
Notes:
Mathematics
Accession Number:
edscal.26700859
Database:
PASCAL Archive
Further Information
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.