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

DOI10.1137/15M1007707zbMATH Open1360.34069arXiv1502.02451MaRDI QIDQ2819093FDOQ2819093

Authors: Aleksander Czechowski, Piotr Zgliczyński 

Publication date: 28 September 2016

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

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.

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

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\)

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)

Cites Work

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

Cited In (5)

• 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
• Traveling wave solutions for the FPU chain: a constructive approach

Uses Software

• MATCONT
• CAPD

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)