Existence of periodic solutions of the Fitzhugh-Nagumo equations for an explicit range of the small parameter

DOI10.1137/15M1007707MaRDI QIDQ2819093zbMATH OpenFDO

Authors Aleksander Czechowski, Piotr Zgliczyński

Publication date 28 September 2016

Published in SIAM Journal on Applied Dynamical Systems (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1502.02451

zbMATH Keywords

continuationFitzHugh-Nagumo modelperiodic orbitslow-fast systemrigorous computationcovering relationsisolating segments

Mathematics Subject Classification ID

Neural biology (92C20) Topological structure of integral curves, singular points, limit cycles of ordinary differential equations (34C05) Periodic solutions to ordinary differential equations (34C25) Multiple scale methods for ordinary differential equations (34E13) Algorithms with automatic result verification (65G20)

Abstract: The FitzHugh-Nagumo model describing propagation of nerve impulses in axon is given by fast-slow reaction-diffusion equations, with dependence on a parameter $epsilon$ representing the ratio of time scales. It is well known that for all sufficiently small $epsilon>0$ the system possesses a periodic traveling wave. With aid of computer-assisted rigorous computations, we prove the existence of this periodic orbit in the traveling wave equation for an explicit range $epsilonin(0,0.0015]$. Our approach is based on a novel method of combination of topological techniques of covering relations and isolating segments, for which we provide a self-contained theory. We show that the range of existence is wide enough, so the upper bound can be reached by standard validated continuation procedures. In particular, for the range $epsilonin[1.5imes10^{-4},0.0015]$ we perform a rigorous continuation based on covering relations and not specifically tailored to the fast-slow setting. Moreover, we confirm that for $epsilon=0.0015$ the classical interval Newton-Moore method applied to a sequence of Poincar'e maps already succeeds. Techniques described in this paper can be adapted to other fast-slow systems of similar structure.

Recommendations

• Existence and stability of traveling pulse solutions of the FitzHugh-Nagumo equation
• The slow wave solution to the FitzHugh-Nagumo equations
• Stability of traveling pulses with oscillatory tails in the FitzHugh-Nagumo system
• A relaxation wave solution of the FitzHugh-Nagumo equations
• On the ``Traveling pulses of the limit of the FitzHugh-Nagumo equation when \(\varepsilon \to 0\)

Cites work

• scientific article; zbMATH DE number 4082018 (Why is no real title available?)
• scientific article; zbMATH DE number 66128 (Why is no real title available?)
• scientific article; zbMATH DE number 3494870 (Why is no real title available?)
• scientific article; zbMATH DE number 714513 (Why is no real title available?)
• scientific article; zbMATH DE number 799793 (Why is no real title available?)
• scientific article; zbMATH DE number 3281219 (Why is no real title available?)
• A geometric approach to singular perturbation problems with applications to nerve impulse equations
• A geometric method for detecting chaotic dynamics
• A homoclinic solution for excitation waves on a contractile substratum
• COUNTING LOW-PERIOD CYCLES FOR FLOWS
• Covering relations for multidimensional dynamical systems
• Existence and stability of periodic travelling wave solutions to Nagumo's nerve equation
• Existence and stability of traveling pulse solutions of the FitzHugh-Nagumo equation
• Geometric singular perturbation theory for ordinary differential equations
• Heteroclinic connections between periodic orbits in planar restricted circular three-body problem -- a computer-assisted proof
• Homoclinic orbits of the FitzHugh-Nagumo equation: the singular-limit
• Interval Methods for Systems of Equations
• Isolated Invariant Sets and Isolating Blocks
• Numerical study of coexisting attractors for the Hénon map
• ON THE EXISTENCE OF HOMOCLINIC AND PERIODIC ORBITS FOR THE FITZHUGH-NAGUMO EQUATIONS
• Period doubling in the Rössler system -- a computer assisted proof
• Recent advances about the uniqueness of the slowly oscillating periodic solutions of Wright's equation
• Recent advances in a rigorous computation of Poincaré maps
• Rigorous numerics for fast-slow systems with one-dimensional slow variable: topological shadowing approach
• Some Mathematical Problems from Neurobiology
• Stability of fast travelling pulse solutions of the FitzHugh-Nagumo equations
• Stability of the Travelling Wave Solution of the Fitzhugh-Nagumo System
• THE EXISTENCE OF PERIODIC SOLUTIONS TO NAGUMO'S EQUATION
• The Conley index for fast-slow systems. I: One-dimensional slow variable
• Validated Continuation for Equilibria of PDEs
• When Shil'nikov Meets Hopf in Excitable Systems
• C^1 Lohner algorithm.

Cited in

(5)

• Traveling wave solutions for the FPU chain: a constructive approach
• The slow wave solution to the FitzHugh-Nagumo equations
• Instability of small-amplitude periodic waves from fold-Hopf bifurcation
• Existence and stability of traveling pulse solutions of the FitzHugh-Nagumo equation
• Rigorous numerics for fast-slow systems

Describes a project that uses

Uses Software

• CAPD
• MATCONT

This page was built for publication: Existence of periodic solutions of the Fitzhugh-Nagumo equations for an explicit range of the small parameter

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2819093)