Existence and stability of traveling pulse solutions of the FitzHugh-Nagumo equation

DOI10.1016/J.NA.2014.09.023zbMath1304.35181OpenAlexW2042795808MaRDI QIDQ478282

Hans Koch, Gianni Arioli

Publication date: 3 December 2014

Published in: Nonlinear Analysis. Theory, Methods \& Applications. Series A: Theory and Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.na.2014.09.023

zbMATH Keywords

periodic solutionhomoclinic solutioncomputer assisted proof

Mathematics Subject Classification ID

Singular perturbations in context of PDEs (35B25) Reaction-diffusion equations (35K57) Neural biology (92C20) Traveling wave solutions (35C07)

Related Items (42)

An explicit nonstandard finite difference scheme for the FitzHugh–Nagumo equations ⋮ Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds ⋮ A gradient discretisation method for anisotropic reaction-diffusion models with applications to the dynamics of brain tumors ⋮ Validated Spectral Stability via Conjugate Points ⋮ The Asymptotic Frequency of Stochastic Oscillators ⋮ Some reversing orbits for a rattleback model ⋮ Parameterization of unstable manifolds for DDEs: formal series solutions and validated error bounds ⋮ Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation ⋮ A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions ⋮ Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra ⋮ A posteriori error bounds for two point boundary value problems: a Green's function approach ⋮ Phase transition of oscillators and travelling waves in a class of relaxation systems ⋮ A computable criterion for the existence of connecting orbits in autonomous dynamics ⋮ Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence ⋮ Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits ⋮ A constructive proof of the Cauchy-Kovalevskaya theorem for ordinary differential equations ⋮ Computer assisted proof of homoclinic chaos in the spatial equilateral restricted four-body problem ⋮ A functional analytic approach to validated numerics for eigenvalues of delay equations ⋮ Stability and convergence analysis of Fourier pseudo-spectral method for FitzHugh-Nagumo model ⋮ Validated numerical approximation of stable manifolds for parabolic partial differential equations ⋮ Validated numerical solutions for a semilinear elliptic equation on some topological annuli in the plane ⋮ Traveling wave solutions for the FPU chain: a constructive approach ⋮ Computation of maximal local (un)stable manifold patches by the parameterization method ⋮ Resonant tori, transport barriers, and chaos in a vector field with a Neimark-Sacker bifurcation ⋮ Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds ⋮ Computer assisted proofs of two-dimensional attracting invariant tori for ODEs ⋮ Rigorous numerics for ODEs using Chebyshev series and domain decomposition ⋮ Pulses in FitzHugh--Nagumo Systems with Rapidly Oscillating Coefficients ⋮ Computer assisted proof of the existence of the Lorenz attractor in the Shimizu–Morioka system ⋮ Complexity in a Hybrid van der Pol System ⋮ Spectral stability for the wave equation with periodic forcing ⋮ Dynamics of the FitzHugh-Nagumo system having invariant algebraic surfaces ⋮ Invariant algebraic surfaces of the FitzHugh-Nagumo system ⋮ Near-pulse solutions of the FitzHugh-Nagumo equations on cylindrical surfaces ⋮ Reduced models of cardiomyocytes excitability: comparing Karma and FitzHugh-Nagumo ⋮ Parameterization Method for Unstable Manifolds of Standing Waves on the Line ⋮ On the global dynamics of the Newell–Whitehead system ⋮ Validated computations for connecting orbits in polynomial vector fields ⋮ Existence of Periodic Solutions of the FitzHugh--Nagumo Equations for an Explicit Range of the Small Parameter ⋮ Golden mean renormalization for the almost Mathieu operator and related skew products ⋮ Rigorous validation of stochastic transition paths ⋮ Multiscale analysis for traveling-pulse solutions to the stochastic FitzHugh-Nagumo equations

Uses Software

• Ada95
• MPFR

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Non-symmetric low-index solutions for a symmetric boundary value problem
• Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
• Homoclinic orbits of the FitzHugh-Nagumo equation: the singular-limit
• Stability of fast travelling pulse solutions of the FitzHugh-Nagumo equations
• Perturbation theory for linear operators.
• Turning points and traveling waves in Fitzhugh--Nagumo type equations
• Note on product formulas for operator semigroups
• A Homoclinic Orbit in a Planar Singular ODE---A Computer Assisted Proof
• Electromechanical Coupling in Cardiac Dynamics: The Active Strain Approach
• Stability Analysis for the Slow Travelling Pulse of the FitzHugh–Nagumo System
• On the Product of Semi-Groups of Operators
• Double Impulse Solutions in Nerve Axon Equations
• Stability of the Travelling Wave Solution of the Fitzhugh-Nagumo System
• Existence and Stability of Multiple Impulse Solutions of a Nerve Equation
• ON THE EXISTENCE OF HOMOCLINIC AND PERIODIC ORBITS FOR THE FITZHUGH-NAGUMO EQUATIONS
• Single and Multiple Pulse Waves for the FitzHugh–Nagumo
• A Homoclinic Solution for Excitation Waves on a Contractile Substratum

This page was built for publication: Existence and stability of traveling pulse solutions of the FitzHugh-Nagumo equation