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

DOI10.1080/01630563.2012.677918zbMath1259.35011OpenAlexW2121287462MaRDI QIDQ4899071

Yoshitaka Watanabe, Shuting Cai, Kaori Nagatou

Publication date: 4 January 2013

Published in: Numerical Functional Analysis and Optimization (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01630563.2012.677918

zbMATH Keywords

Schauder's fixed point theoremNeumann boundary conditioncomputer-assisted proof

Mathematics Subject Classification ID

Theoretical approximation in context of PDEs (35A35) Numerical methods for partial differential equations, boundary value problems (65N99) Semilinear elliptic equations (35J61) Boundary value problems for first-order elliptic systems (35J56)

Related Items (5)

Estimation of Sobolev embedding constant on a domain dividable into bounded convex domains ⋮ Stability and convergence analysis of Fourier pseudo-spectral method for FitzHugh-Nagumo model ⋮ Estimation of Sobolev-type embedding constant on domains with minimally smooth boundary using extension operator ⋮ Orbital stability investigations for travelling waves in a nonlinearly supported beam ⋮ A computer-assisted method for excluding eigenvalues of an elliptic operator linearized at a solution of a nonlinear problem

Cites Work

• A numerical verification method for two-coupled elliptic partial differential equations
• Numerical verification method for infinite dimensional eigenvalue problems
• Numerical verification of stationary solutions for Navier-Stokes problems
• On energy minimizers of the diblock copolymer problem
• On the bifurcation curve for an elliptic system of FitzHugh-Nagumo type
• A minimization problem associated with elliptic systems of FitzHugh--Nagumo type
• An efficient approach to the numerical verification for solutions of elliptic differential equations
• NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
• A numerical approach to the proof of existence of solutions for elliptic problems
• A boundary layer solution to a semilinear elliptic system of FitzHugh-Nagumo type
• Solutions with interior and boundary peaks for the Neumann problem of an elliptic system of FitzHugh-Nagumo type

This page was built for publication: A Numerical Verification Method for a System of FitzHugh-Nagumo Type