REVIEW 3 major objections 4 minor 33 references
Bifurcations and canards in the FitzHugh-Nagumo system: a tutorial in fast-slow dynamics
T0 review · 3 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read This paper aims to prove that the fast-slow FitzHugh-Nagumo system combines relaxation oscillations, Hopf-induced periodic solutions, homoclinic orbits, and canards, with explicit formulas for the oscillation period and the canard…
desk verdict Useful tutorial with a real sign error in the canard-location formula and an unsupported claim about rigorous homoclinic verification. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central objects are the cubic critical manifold $C_0 = \{(x,y): y = 4x - x^3\}$, the explicit slow flow in the fast variable $x$ given by $\dot x = (b x^3 + (1-4b)x + c)/(4-3x^2)$, and the canard normal form (27) around a regular singular fold. A regular singular fold is a fold point of the critical manifold that is simultaneously an equilibrium of the slow flow, with both the $x$-dependence and the parameter-dependence of the slow equation nonzero there. The normal form expresses the system near such a point as $x' = -y l_1 + x^2 l_2 + \varepsilon l_3$ and $y' = \varepsilon(\pm x l_4 - \lambda l_5 + y l_6)$, and its coefficients $l_1,\dots,l_6$ determine the constants $A$ and $B$ that give the Hopf value $\lambda_H = -B\varepsilon$ and the canard value $\lambda_c = -(B+A)\varepsilon$. The paper's computations fix these coefficients in both parameter slices, obtaining $A=-3/8$ in Example 6.1 and $A<0$ in Example 6.2, which is what fixes the direction of the Hopf bifurcation and the location of the canard explosion.
What would settle it
For $\varepsilon=0.5$, the paper's own numerical figure places rapid canard-length growth near $c \approx 1.150077$, whereas the formula $\bar c_c = -3\varepsilon/8$ with $\bar c = 2/\sqrt{3} - c$ puts the canard at $c \approx 1.342$; continuing the periodic orbits of system (23) numerically and locating the actual headless-canard value of $c$ would settle which prediction is correct.
Extended reading notes
Core claim
The central claim is that the FitzHugh-Nagumo fast-slow system (5), with fast equation $x' = -y + 4x - x^3$ and slow equation $y' = \varepsilon(x - by - c)$, is a fully worked case study of geometric singular perturbation theory. In the singular limit $\varepsilon = 0$, the paper proves the existence of a relaxation cycle whose period is estimated by $T_{\gamma_0} \approx 2\int_{4/\sqrt{3}}^{2/\sqrt{3}} \frac{4-3x^2}{bx^3+(1-4b)x+c}\,dx$. For $0<\varepsilon\ll1$, it argues that the regular system retains this cycle with $O(\varepsilon)$ period error. In the parameter slice $b=0$, it identifies a subcritical Hopf bifurcation at $c_H = 2/\sqrt{3}$ and, via the canard normal form, derives the canard location $\bar c_c = -3\varepsilon/8$ in the translated coordinate $\bar c = c_H - c$. In the slice $c=0$, it finds a pitchfork at $b=1/4$, a Hopf point at $b_H^\varepsilon = (-4+\sqrt{16+3\varepsilon})/\varepsilon$, and a homoclinic bifurcation that destroys the unstable periodic orbit; numerically, for $\varepsilon=0.5$, this occurs at $b \approx 0.36932$.
Load-bearing premise
The canard-location formula rests on the assumption that a single translation of coordinates and parameter puts the system into the exact normal form whose canard expansion is known, with no additional rescaling; if that identification is off by a scaling or a sign, the formula $\bar c_c = -3\varepsilon/8$ does not apply to the original parameter $c$.
Editorial extensions
If this is right
- For $0<\varepsilon\ll1$, the regular relaxation cycle persists with period $T_{\gamma_0} + O(\varepsilon)$, so formula (14) gives a quantitative prediction for the spike interval in the nerve-impulse model.
- In the slice $b=0$, the subcritical Hopf bifurcation sits exactly at $c_H = 2/\sqrt{3}$, and stable small-amplitude cycles exist for $c$ just below this value, with the canard value indicating where the cycle expands into a large relaxation loop.
- In the slice $c=0$, the pitchfork at $b=1/4$, the supercritical Hopf at $b_H^\varepsilon$, and the homoclinic bifurcation at $b \approx 0.36932$ for $\varepsilon=0.5$ organize the birth, growth, and destruction of the unstable periodic orbit.
- The normal-form coefficient $A=-3/8$ in Example 6.1 fixes the bifurcation as supercritical in the translated parameter and subcritical in the original parameter $c$, confirming the shape of the numerically observed branch of periodic solutions.
- Since all conditions of the persistence theorem and the canard normal form are checked explicitly, the paper positions the FitzHugh-Nagumo system as a template in which every step from singular limit to canard explosion is made explicit.
Reading between the lines
- The paper leaves implicit that its quoted $\bar c_c = -3\varepsilon/8$ conflicts in sign with the normal-form formula $\lambda_c = -(B+A)\varepsilon$ when $B=0$ and $A=-3/8$; resolving this sign or rescaling issue would change the quantitative canard prediction.
- The same normal-form computation could be applied to the two coupled FitzHugh-Nagumo systems mentioned in Section 7, potentially predicting which coupling strengths produce mixed-mode oscillations without full numerical simulation.
- The period integral (14) can be evaluated in closed form for other $(b,c)$ parameter pairs, turning the singular limit into testable frequency-amplitude relations for excitable cells.
- A natural continuation is to track the homoclinic value $b_{\rm Hom}^\varepsilon$ as $\varepsilon \to 0$ and check whether it approaches $3/8$ with a scaling consistent with canard explosion theory.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper is a tutorial-style study of the two-dimensional FitzHugh-Nagumo fast-slow system (5). It develops the critical-manifold geometry and slow flow, proves the existence of a relaxation-type periodic orbit in the singular limit, estimates its period in Eq. (14), applies Fenichel theory to obtain a first-order slow-manifold expansion, computes Hopf and pitchfork bifurcations in the two parameter cases b=0 and c=0, and uses the Krupa-Szmolyan normal form to identify canard and singular Hopf bifurcations. All theoretical statements are accompanied by numerical simulations. The paper advertises an analytic proof of relaxation oscillations, Hopf-induced periodic solutions, and a rigorous check of the conditions for homoclinic orbits and canards in the FH-N system.
Significance. The paper is a useful pedagogical resource: the critical-manifold analysis, the period integral (14), and the linearized Hopf/pitchfork computations are explicit, parameter-free, and independently checkable. The numerical illustrations are extensive and well matched to the qualitative geometric picture. However, the quantitative canard-location formula in Example 6.1 is affected by a sign error in the normal-form identification, and the claimed equivalence in Example 6.2 is not exact; both issues concern the advertised rigorous check of canard conditions. The underlying geometric singular-perturbation narrative appears sound, and the errors are local and fixable.
major comments (3)
- [Section 6, Example 6.1, Eq. (28) and Theorem 4] The text sets l1=1, l2=-2*sqrt(3)-x, l3=0, l4=1, l5=-1, l6=0 and lambda=cbar. In the normal form (27), y'=epsilon(+/-x l4 - lambda l5 + y l6); substituting l5=-1 gives y'=epsilon(x+lambda), so lambda must equal cbar. Then A=(-0+3(-1)-0+0)/8=-3/8 and B=0, and Theorem 4 gives lambda_c=-(B+A)epsilon=+3/8 epsilon+O(epsilon^{3/2}). The printed value -3/8 epsilon has the wrong sign. It cannot be repaired by setting lambda=-cbar without changing l5 to +1. Moreover, Figure 10 reports canard explosion near c=1.150077 for epsilon=0.5 and c=1.153794 for epsilon=0.1, both below c_H=2/sqrt(3), so cbar>0 there; this is consistent with +3/8 epsilon, not -3/8 epsilon. Since this is the paper's headline quantitative canard prediction, the sign error must be corrected.
- [Section 6, Example 6.2, Eq. (29)] The stated change of variables (xbar,ybar,lambda)=(x-x+, y-8x+/3, b-3/8) does not transform system (24) into the printed system (29). Direct substitution gives xbar'=-ybar-xbar^3-3x+ xbar^2 and ybar'=epsilon[xbar-lambda(ybar+8x+/3)-3/8 ybar]; the term -epsilon lambda(8x+/3) is omitted in (29). The system identified in the normal form is therefore not equivalent to the original system. The omission is consequential: with the printed l6=-3/8, Theorem 4 gives lambda_H=-B epsilon=+3/16 epsilon, whereas the exact Hopf value in Section 5, b_H=(-4+sqrt(16+3epsilon))/epsilon, expands as b_H=3/8-9epsilon/512+O(epsilon^2), so lambda_H=-9epsilon/512+O(epsilon^2). The two asymptotics have opposite signs. The application of Theorem 4 in Example 6.2 needs to be redone with the correct transformed system and an appropriately rescaled parameter.
- [Section 5(ii) and Example 6.2] The statement that a supercritical Hopf bifurcation at E+ 'generates an unstable periodic solution' is internally contradictory under the standard terminology used in the same section for the c-Hopf case. A supercritical Hopf bifurcation produces a stable periodic orbit, while an unstable periodic orbit corresponds to a subcritical bifurcation. The text and Figure 8 locate the unstable periodic solutions for b>b_H, where the equilibrium is stable; this description should be reconciled with the normal-form application in Example 6.2.
minor comments (4)
- [Example 6.2] The value x+=4/3 is incorrect: for b=3/8, x+=sqrt(4-1/b)=sqrt(4-8/3)=2/sqrt(3). The correct value also gives l2=-2sqrt(3)-xbar rather than l2=-4-xbar.
- [Abstract and Introduction] There is a recurring typo 'Hodgin-Huxley' where 'Hodgkin-Huxley' is intended; this occurs in the abstract and in Section 1.
- [Figure 10 caption] The caption contains a typo: 'with §epsilon = 0.1' should read 'with epsilon = 0.1'.
- [Theorem 4 and Example 6.1] The sign convention for lambda and l5 in the normal form (27) deserves an explicit remark, since the confusion between lambda=cbar and lambda=-cbar is at the root of the sign error in Example 6.1.
Circularity Check
No significant circularity: the central claims are derived from explicit calculations and external standard theorems, not from fitted inputs or self-citations.
full rationale
The derivation chain is self-contained in the relevant sense. The relaxation-oscillation period estimate (14) is obtained by direct integration of the singular slow flow (11), which is itself derived from the defining equations f(x,y,0)=0 and ẏ=x−by−c; no fitted parameter is used and the integral is not assumed from the conclusion. The Hopf-bifurcation statements in Section 5 follow from explicit Jacobian eigenvalue computations and the standard Hopf theorem. The canard-location claims in Examples 6.1 and 6.2 are applications of the external Krupa–Szmolyan normal-form theorem (Theorem 4), with the coefficients l1,...,l6 read off from the translated systems (28) and (29); the numerical simulations in Figure 10 are illustrative and are not inputs to the analytic identification. The only self-citation, ref. [13], appears in the future-work discussion of coupled FH-N systems and is not load-bearing for any theorem or prediction in this paper. The sign inconsistency in Example 6.1—where the stated values λ=c̄ and l5=-1, together with Theorem 4, point to c̄_c=+3/8ε rather than the printed −3/8ε—is a correctness or consistency issue, not a circularity: the canard value is not obtained by fitting the answer or by assuming the conclusion. Similarly, the homoclinic orbit is supported numerically rather than analytically, which concerns rigor or completeness, not circularity. No step reduces to its own input by construction.
Assumptions & free parameters
assumptions (5)
- standard math Fenichel's theorem: for a compact normally hyperbolic critical manifold, there is an O(ε)-close slow manifold Sε with the same stability.
- standard math Hopf bifurcation theorem (Theorem 3): eigenvalues crossing the imaginary axis with nonzero speed yield a limit cycle.
- standard math Krupa-Szmolyan theorem (Theorem 4) for singular folds and canard explosion, including the formula λc = -(B+A)ε.
- domain assumption The vector fields f and g are C^2 polynomials, and the critical manifold is a cubic; this is a domain assumption from the FH-N model.
- ad hoc to paper The change of coordinates in Example 6.1 puts (23) exactly into the normal form (27) with λ = c̄ and l5 = -1, without additional parameter rescaling.
Cite this review
Pith. "Pith review of Bifurcations and canards in the FitzHugh-Nagumo system: a tutorial in fast-slow dynamics." pith.science (2026). https://pith.science/paper/SEDL5U73
@misc{pith2026241111209,
author = {Pith},
title = {Pith review of: Bifurcations and canards in the FitzHugh-Nagumo system: a tutorial in fast-slow dynamics},
year = {2026},
howpublished = {\url{https://pith.science/paper/SEDL5U73}},
note = {Machine review of arXiv:2411.11209}
}
abstract
In this article, we study the FitzHugh-Nagumo $(1,1)$--fast-slow system where the vector fields associated to the slow/fast equations come from the reduction of the Hodgin-Huxley model for the nerve impulse. After deriving dynamical properties of the singular and regular cases, we perform a bifurcation analysis and we investigate how the parameters (of the affine slow equation) impact the dynamics of the system. The study of codimension one bifurcations and the numerical locus of canards concludes this case-study. All theoretical results are numerically illustrated.
Figures
Figures from the paper (7 more)
Reference graph
Works this paper leans on
-
[13]
B.F.F. Gon¸ calves, I.S. Labouriau, and A.A.P. Rodrigues, Bifurcation and canards in two coupled FitzHugh-Nagumo equations, arXiv:2503.12596v1 (2025)
arXiv 2025
-
[1]
M.-S. Abdelouahab, R. Lozi and G. Chen, Complex canard explosion in a fractional-order FitzHugh–Nagumo model, International Journal of Bifurcation and Chaos 29 1950111 (2019)
work page 2019
-
[2]
D. Cebri´ an-Lacasa, P. Parra-Rivas, D. Ruiz-Reyn´ es, and L. Gelens, Six decades of the FitzHugh-Nagumo model: A guide through its spatio-temporal dynamics and influence across disciplines (2024)
work page 2024
-
[3]
S.–N. Chow, C. Li and D. Wang, Normal Forms and Bifurcation of Planar Vector Fields , Cambridge University Press (1994)
work page 1994
-
[4]
M. Desroches, J. Guckenheimer, B. Krauskopf, C. Kuehn, H.M. Osinga and M. Wechselberger, Mixed-mode oscillations with multiple time scales , SIAM Review 54 211–288 (2012)
work page 2012
-
[5]
X. Dong and C. Wang, Identification of the FitzHugh–Nagumo model dynamics via deter- ministic learning, International Journal of Bifurcation and Chaos 25, 1550159 (2015)
work page 2015
-
[6]
C. Doss-Bachelet, J.-P. Fran¸ coise, and C. Piquet, Bursting oscillations in two coupled FitzHugh-Nagumo systems , ComPlexUs 1 (2003), no. 3, 101–111
work page 2003
-
[7]
N. Fenichel, Geometric singular perturbation theory for ordinary differential equations, Jour- nal of Differential Equations 31 (1979), no. 1, 53–98
work page 1979
Show all 33 references
-
[8]
FitzHugh, Thresholds and plateaus in the Hodgkin–Huxley nerve equations , Journal of General Physiology 43 , no
R. FitzHugh, Thresholds and plateaus in the Hodgkin–Huxley nerve equations , Journal of General Physiology 43 , no. 5, 867–896 (1960)
1960
-
[9]
FitzHugh, Impulses and physiological states in theoretical models of nerve membrane , Biophysical journal 1 (1961), no
R. FitzHugh, Impulses and physiological states in theoretical models of nerve membrane , Biophysical journal 1 (1961), no. 6, 445–466
1961
-
[10]
Georgescu, C
A. Georgescu, C. Roc¸ soreanu and N. Giurgit ¸eanu,Global Bifurcations in FitzHugh-Nagumo Model in Bifurcation, symmetry and patterns , Birkh¨ auser Basel, Basel 197–202 (2003)
2003
-
[11]
Ginoux and J
J.-M. Ginoux and J. Llibre, Canards existence in FitzHugh-Nagumo and Hodgkin-Huxley neuronal models, Mathematical Problems in Engineering (2015)
2015
-
[12]
Golubitsky and D.G
M. Golubitsky and D.G. Schaeffer, Singularities and groups in bifurcation theory , Vol. 1, Springer–Verlag (1985). 24 B.F.F. GONC ¸ AL VES, I.S. LABOURIAU, AND A.A.P. RODRIGUES
1985
-
[14]
Govaerts, Yu
W. Govaerts, Yu. A. Kuznetsov, H. G. E. Meijer, B. Al-Hdaibat, V. De Witte, A. Dhooge, W. Mestrom, N. Neirynck, A. M. Riet and B. Sautois, Matcont: Continuation toolbox for odes in matlab , 2019
2019
-
[15]
Guckenheimer and P
J. Guckenheimer and P. Holmes, Nonlinear oscillations, dynamical systems, and bifurcations of vector fields , Springer–Verlag, 1983
1983
-
[16]
Guckenheimer, M
J. Guckenheimer, M. Wechselberger and L.-S. Young, Chaotic attractors of relaxation oscil- lators, Nonlinearity 19 (2006), no. 3, 701
2006
-
[17]
Hartman, Ordinary differential equations , 2nd ed., Classics in applied mathematics 38, Society for Industrial and Applied Mathematics, 1982
P. Hartman, Ordinary differential equations , 2nd ed., Classics in applied mathematics 38, Society for Industrial and Applied Mathematics, 1982
1982
-
[18]
A. L. Hodgkin and A. F. Huxley, A quantitative description of membrane current and its application to conduction and excitation in nerve , Journal of Physiology 117 (1952), no. 4, 500–544
1952
-
[19]
Hopf, Abzweigung einer periodischen Losung von einer stationaren Losung eines Differ- entialsystems, Ber
E. Hopf, Abzweigung einer periodischen Losung von einer stationaren Losung eines Differ- entialsystems, Ber. Math-Phys. Sachsischen Akademie der Wissenschaften Leipzig 94 (1942), 3–22
1942
-
[20]
Keener and J
J. Keener and J. Sneyd, Mathematical physiology, Springer–Verlag, 1998
1998
-
[21]
K. U. Kristiansen and M. G. Pedersen, Mixed-mode oscillations in coupled FitzHugh-Nagumo oscillators: Blow-up analysis of cusped singularities , SIAM Journal on Applied Dynamical Systems 22 (2023), no. 2, 1383–1422
2023
-
[22]
Krupa and P
M. Krupa and P. Szmolyan, Extending geometric singular perturbation theory to nonhy- perbolic points—fold and canard points in two dimensions , SIAM Journal on Mathematical Analysis 33 (2001), no. 2, 286–314
2001
-
[23]
Krupa and P
M. Krupa and P. Szmolyan, Relaxation oscillation and canard explosion , Journal of Differ- ential Equations 174 (2001), no. 2, 312–368
2001
-
[24]
Krupa, M., A
M. Krupa, M., A. Vidal, M. Desroches and F. Cl´ ement,Mixed-mode oscillations in a multiple time scale phantom bursting system , SIAM Journal on Applied Dynamical Systems 11, 1458– 1498 (2012)
2012
-
[25]
Kuehn, Multiple time scale dynamics , Springer–Verlag, 2015.l
C. Kuehn, Multiple time scale dynamics , Springer–Verlag, 2015.l
2015
-
[26]
Llibre and C
J. Llibre and C. Vidal, Periodic solutions of a periodic FitzHugh-Nagumo system Interna- tional Journal of Bifurcation and Chaos 25 (2015)
2015
-
[27]
J. E. Marsden and M. McCracken, The Hopf bifurcation and its applications, Springer-Verlag, 1976
1976
-
[28]
Nagumo, S
J. Nagumo, S. Arimoto, and S. Yoshizawa, An active pulse transmission line simulating nerve axon, Proceedings of the IRE 50 (1962), no. 10, 2061–2070
1962
-
[29]
Phillipson and P
P.E. Phillipson and P. Schuster, A comparative study of the Hodgkin–Huxley and FitzHugh– Nagumo models of neuron pulse propagation , International Journal of Bifurcation and Chaos 15, 3851–3866 (2005)
2005
-
[30]
S. H. Strogatz, Nonlinear dynamics and chaos , CRC Press, 2015
2015
-
[31]
Tsuji, T
S. Tsuji, T. Ueta, H. Kawakami, and K. Aihara, A design method of bursting using two- parameter bifurcation diagrams in FitzHugh–Nagumo model , International Journal of Bifur- cation and Chaos 14 2241–2252 (2004)
2004
-
[32]
Wang, Dynamical behavior of the almost-periodic discrete FitzHugh–Nagumo systems , International Journal of Bifurcation and Chaos 17 1673–1685 (2007)
B. Wang, Dynamical behavior of the almost-periodic discrete FitzHugh–Nagumo systems , International Journal of Bifurcation and Chaos 17 1673–1685 (2007)
2007
-
[33]
Wang and L.-S
Q. Wang and L.-S. Young, Toward a theory of rank one attractors , Annals of Mathematics 167 (2008), no. 2, 349–480. B.F.F. Gonc ¸alves — Centro de Matem´atica da Universidade do Porto, Rua do Campo Alegre 687, Porto 4169-007, Portugal Email address : brunoffg9@gmail.com I.S. L...
2008
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.