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

DOI10.1080/01630563.2012.677918zbMath1259.35011MaRDI 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 theorem; Neumann boundary condition; computer-assisted proof

Mathematics Subject Classification ID

35A35: Theoretical approximation in context of PDEs

65N99: Numerical methods for partial differential equations, boundary value problems

35J61: Semilinear elliptic equations

35J56: Boundary value problems for first-order elliptic systems

Related Items

Estimation of Sobolev-type embedding constant on domains with minimally smooth boundary using extension operator, 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, 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