Pith. sign in

REVIEW 4 major objections 5 minor 21 references

Normal Forms for Manifolds of Normally Hyperbolic Singularities and Asymptotic Properties of Nearby Transitions

T0 review · 4 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Manifolds of normally hyperbolic saddles have Dulac maps asymptotic to explicit compensator series.

desk verdict Normal-form half is a solid citable contribution; the Dulac-map half has a load-bearing gap in the transition from formal variation to asymptotic expansion, plus a prefactor typo in Theorem 3.11. read the letter →

arxiv 1908.05590 v2 pith:2NJ3KHMO submitted 2019-08-15 math.DS

Nathan Duignan This is my paper · ORCID
classification math.DS MSC 37D1037G0534C20
keywords normallyhyperbolicsingularitiesformalnormalformsC^kDulacmapEcalle-Roussariecompensatorasymptoticexpansiontransitionresonanceconditions
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper tries to establish that a manifold of normally hyperbolic singularities admits the same kind of normal-form and transition-map theory that was previously available only for a single saddle singularity. It proves formal and $C^k$ normal forms near such a manifold, with surviving nonlinear terms selected by resonance conditions, and then uses those normal forms to show that the Dulac map between transverse sections is asymptotic, as $x_0 \to 0^+$, to an explicit series whose coefficients are polynomials in the Ecalle-Roussarie compensator $\omega(\alpha_1,x_0)$. If the theorems are right, this is the first general asymptotic description of transitions near manifolds of normally hyperbolic saddles, and the coefficients can be computed order by order from linear equations.

What carries the argument

The machinery has two coupled pieces. The first is a normal-form theory built around a modified homological operator $\hat L_d=\tilde L_d\oplus X_0$ on the modules $\mathcal{C}\mathcal{H}_d$ of vector fields homogeneous in the normal variables $x$ with coefficients that are functions of the centre variables $u$; the cokernel of $\hat L_d$ identifies the resonant monomials that survive, and Weierstrass-Mather division chooses unique representatives. The second is the variation expansion (3.7)/(3.17) of the flow in the initial transverse coordinates $U_{y0}, U_{z0}$, whose coefficients satisfy linear variational equations and lie in the ring $\bar R_{\alpha_1,\beta_1}$ generated by $\Omega(\pm\alpha_1,t)$, $\Omega(\pm\beta_1,t)$, and $t$. Substituting $t=-\ln x_0$ turns this into the ring $\bar R^\omega_{\alpha_1,\beta_1}$ of polynomials in the Ecalle-Roussarie compensator $\omega(\alpha_1,x_0)=(x_0^{-\alpha_1}-1)/\alpha_1$, with $\omega(0,x_0)=-\ln x_0$, and it is exactly this object that carries the asymptotic structure of the Dulac map.

What would settle it

Take a specific vector field in one of the normal forms (3.6) or (3.16), compute the transition $D$ numerically for $x_0 = 10^{-2}, 10^{-3}, \ldots$, subtract the first two terms of the corresponding series (3.14) or (3.19), and test whether the residual divided by the first omitted monomial tends to zero; if it does not, the claimed asymptotic series is not asymptotic.

Watch

Extended reading notes

Core claim

The central discovery is Theorems 3.8 and 3.11: for a codimension-three manifold $N$ of normally hyperbolic saddle singularities whose stable or unstable normal direction is one-dimensional, the Dulac map $D$ between sections transverse to the centre-stable and centre-unstable manifolds is asymptotic to the series (3.14) or (3.19). Every coefficient is an element of the ring $\bar R^\omega_{\alpha_1,\beta_1}$, meaning a polynomial in $\omega(\pm\alpha_1,x_0)$, $\omega(\pm\beta_1,x_0)$, and $\ln x_0$ over functions smooth in the centre variable $u_0$ and rational in the eigenvalue deviations $\alpha_1,\beta_1$. In the resonant case $\alpha(0)/\beta(0)\in \mathbb{N}$ an extra leading term $\alpha_{-1,0}(u_0)\,z_0^m\,\omega(\gamma_1,x_0)$ appears, with $\gamma_1=\alpha-m\beta$. When $\alpha$ and $\beta$ are constant on $N$, every coefficient is a polynomial in $\ln x_0$. The coefficients are produced recursively from linear variational equations and are polynomial in the normal-form coefficients up to the same order.

Load-bearing premise

The asymptotic series rests on the unproved assertion that the formal variation expansion (3.7) of the flow is asymptotic to the true transition map uniformly as $x_0 \to 0^+$; if the Taylor remainder grows faster than the retained terms, the series fails.

Editorial extensions

If this is right

  • The Dulac map near a normally hyperbolic manifold of saddle singularities has the same asymptotic shape as the planar Dulac map, so quantitative questions about transitions can be approached with the same compensator calculus.
  • Order-by-order computation of the series reduces to solving linear ordinary differential equations for variation coefficients; no integration of the nonlinear flow is needed.
  • In the resonant case $\alpha(0)/\beta(0)\in\mathbb{N}$, the extra term $\alpha_{-1,0}(u_0)z_0^m\omega(\gamma_1,x_0)$ must be included, because omitting it changes even the leading asymptotics of the $y$-component.
  • When $\alpha$ and $\beta$ are constant on the manifold, every coefficient is a polynomial in $\ln x_0$, so the series can be evaluated after computing finitely many polynomial coefficients.
  • The $C^k$ normal-form corollary supplies a finite $K(k)$ such that any $C^\infty$ system is $C^k$-conjugate to the truncated normal form, allowing finite-order expansions with controlled smoothness.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • An immediate unseen consequence is that the same algebraic mechanism should produce Dulac-map asymptotics in higher codimensions, with the ring generated by $\omega(\alpha_i,x_0)$ for each normal eigenvalue; a direct test would be to compute the first two coefficients for a codimension-four normal form and compare with numerical integration.
  • The paper states that the Mourtada-type flatness of the higher-order terms should follow, but proving it would require explicit bounds on the remainders of the variation expansion, which are not supplied.
  • For applied systems, the theorem implies that near-manifold transitions in problems such as collision regularisation and min-time control should contain $x_0^{\alpha_1}$ and $\ln x_0$ terms rather than pure power laws, which is a checkable prediction in concrete models.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 5 minor

Summary. The paper develops normal form theory for manifolds of normally hyperbolic singularities and applies it to the transition map (Dulac map) between cross-sections transverse to the centre-stable and centre-unstable manifolds near a normally hyperbolic manifold of saddle singularities of codimension three. Section 2 gives a formal normal form theorem with explicit resonance conditions, a C^k normal form theorem via the Belitskii--Samovol theorem, and a discussion of analyticity. Section 3 specializes to saddles with one-dimensional stable or unstable manifold and claims two asymptotic theorems: Theorem 3.8 for the case α(0)/β(0) not an integer, and Theorem 3.11 for the resonant case α(0)/β(0) ∈ N. In both theorems, the Dulac map is asserted to be asymptotic to a series whose coefficients lie in the ring generated by the Ecalle--Roussarie compensator ω(α,x). The paper also proposes an explicit variational method for computing the coefficients.

Significance. If the main asymptotic theorems are correct, the paper would provide a useful general framework for transitions near manifolds of normally hyperbolic saddles, extending the planar Dulac-map theory of Roussarie and the three-dimensional results of Bonckaert--Naudot and Roussarie--Rousseau to a broader geometric setting. The normal-form part is a genuine contribution: the formal normal form with resonant monomials (Theorem 2.11) and the C^k conjugacy statement (Corollary 2.15) are plausible and give a clear algebraic mechanism. However, the central asymptotic results are not established as theorems because the key step, the passage from the formal variation expansion (3.7) to a genuine asymptotic expansion, is asserted without the necessary remainder estimates. The statement of Theorem 3.11 also contains an apparent inconsistency in the leading prefactors. These issues are load-bearing, so the significance of the paper remains contingent on a substantial revision.

major comments (4)
  1. [Section 3.1, eq. (3.7), proof of Theorem 3.8] The central step is the assertion that the formal variation expansion (3.7) is an asymptotic expansion of the true flow uniformly as t = -ln x0 tends to infinity. The proof of Theorem 3.8 simply says 'An asymptotic expansion for U_y is given by the variation of U_y in (3.7)' and then substitutes t = -ln x0. This is not justified. For fixed t, the flow is analytic in (U_y0,U_z0) near 0, but here the initial values scale like x0^{p_i/q_i} while t → ∞, so the radius of convergence in the initial data may shrink with t. The coefficients contain factors e^{(...)t} = x0^{-(...)} and polynomials in t, so no conclusion about remainders follows from the formal Taylor expansion. One must show that the N-th Taylor remainder of the flow map is smaller than the N-th retained term uniformly in u0 and x0 → 0. No Gronwall estimate, remainder bound, or appeal to normal hyperbolicity is supplied; notably, normal hyperbolicity is not available in the U-coordinates, where α1(0)=β1(0)=0. Without such an estimate, equations (3.14) and (3.19) are formal computations rather than proved asymptotic statements.
  2. [Section 3.2, Theorem 3.11, eq. (3.19)] The prefactors in the displayed asymptotic series are not consistent with the linearized computation. Since U_y = x^{mp/q} y and U_z = x^{p/q} z, the leading-order terms from (3.16) give y1 ∼ x0^{α(u0)} y0 and z1 ∼ x0^{β(u0)} z0, yet (3.19) states y1 ∼ x0^{β(u0)} y0 and z1 ∼ x0^{α(u0)} z0. The proof also writes U_y^{(-1,0)} = α_{-1,0} Ω(α1 - mβ1, t), which is missing the factor e^{-α1 t}; with that factor and the substitution U_{z0}^m = x0^{mp/q} z0^m, the α_{-1,0} term carries the prefactor x0^{α(u0)}. As stated, the theorem contradicts the very computation on which its proof relies.
  3. [Proposition 3.10 and proof of Theorem 3.11] The proof of Proposition 3.10 is omitted with the remark that it is 'almost identical' to Proposition 3.7. Since Proposition 3.7 itself rests on the unjustified asymptotic use of the formal expansion (3.7), the omitted proof is load-bearing: an induction can at best produce formal coefficients, not a genuine asymptotic expansion. The paper should either supply the omitted argument or state explicitly that Theorem 3.11 is conditional on the missing remainder estimates.
  4. [Section 3, transition from C^k to infinite normal form] The asymptotic theorems require the normal form (3.1) or (3.2) with K = ∞. Corollary 2.15 only gives finite K(k) conjugacy in general, and analyticity of the normal form is not proved. The sentence 'Finite K is easily recovered by truncating summations at the relevant order' does not address the need to control the remainder of the transition map after truncation. The theorems should either be stated for each fixed truncation order with an explicit remainder bound, or a proof of the infinite-order normal form should be supplied.
minor comments (5)
  1. [Proposition 3.1, case ii)] The definition 'U_z = z^{p/q} y' appears to be a typo for 'U_z = x^{p/q} z'; the later Section 3.2 uses the latter definition, and the two are not equivalent.
  2. [Section 3.1, Definition 3.4 and Lemma 3.5] The notation ar R^d_{α1,β1} in Lemma 3.5 is used before a degree d has been defined; the degree should be introduced explicitly in Definition 3.4.
  3. [Section 3, general framework] The paper never states precisely what 'D is asymptotic to the series' means, in particular whether the asymptotic is meant as x0 → 0+ for each fixed u0 or uniformly over a compact set of u0; this should be clarified.
  4. [Equation (3.19)] The exponents in terms such as (x0^{mp} y0^q)^{n1/q} involve fractional powers for n1 not divisible by q; this should be written with integer exponents and the domain of definition specified.
  5. [End of Section 3] The last paragraph says the Mourtada property 'should also be evident'; this is not proved and should be labelled as a conjecture or removed from the main claims.

Circularity Check

0 steps flagged · score 1.0 of 10

No circularity: the Dulac-map asymptotics are derived from the paper's own normal-form theorem plus explicit variational equations and external benchmarks; the formal-to-asymptotic leap in (3.7) is a rigor gap, not a circular reduction.

full rationale

The derivation chain is not circular. Section 2 builds a formal normal form (Theorems 2.4 and 2.11) from algebraic cohomological equations using standard external ingredients (Weierstrass/Mather division, Belitskii-Samovol via [IL98]); Section 3 then integrates the variational equations (3.9)-(3.10) for the coefficients of the expansion (3.7), and Propositions 3.7 and 3.10 establish membership in the ring \bar R_{alpha1,beta1} by induction. No parameter is fitted to data and no conclusion is equal to an input by construction: the series (3.14)/(3.19) is obtained by substituting the initial conditions U_{y0}=x_0^{p1/q1} y0, U_{z0}=x_0^{p2/q2} z0 and t=-ln x0 into these explicit coefficients. Self-citations [DD19, DD20, DMMY20] occur only as motivation, applications, or as supporting evidence for a conjecture; they are not load-bearing for Theorems 3.8 or 3.11. The real weakness, flagged in the proof of Theorem 3.8 ('An asymptotic expansion for U_y is given by the variation of U_y in (3.7)') and in the omitted proof of Proposition 3.10 ('The proof is omitted as it is almost identical to Proposition 3.7'), is that the formal expansion (3.7) is asserted to be asymptotic uniformly in t=-ln x0 without remainder estimates. That is a correctness and rigor gap, not a circularity: the claimed asymptotic series is not defined in terms of the conclusion, and the paper checks agreement with the external planar results of [Rou98] and with [BN01]. Hence the circularity score is low.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

No free parameters are fitted; the paper is a pure derivation. The central results depend on standard theorems (Belitskii-Samovol, Weierstrass-Mather division, Borel extension), on Wiggins' normal hyperbolicity straightening results, and on the explicitly stated assumption that the normal form is analytic so that K = infinity. No new physical entities are introduced.

assumptions (6)
  • standard math Belitskii-Samovol theorem on C^k conjugacy of vector fields with identical jets along a common centre manifold (Theorem 2.14, cited from [IL98]).
    Basis for Corollary 2.15, the C^k normal form truncation used throughout Section 3.
  • standard math Weierstrass/Mather Division Theorem (Theorem 2.8, cited from [GG73]).
    Used in Theorem 2.11 to choose unique representatives in the cokernel of the modified homological operator for formal and analytic classes.
  • standard math Borel extension lemma (from [GG73]).
    Used in Lemma 2.12 to convert formal transformations to smooth ones when a common domain exists.
  • domain assumption Normal hyperbolicity and the straightening and alignment theorem for normally hyperbolic invariant manifolds (from [Wig94]).
    Justifies the pre-normal form (2.1) with N = {x = 0} and the centre-stable and centre-unstable manifolds aligned with coordinate axes.
  • domain assumption The normal forms (3.1) and (3.2) are analytic, so K can be taken as infinity for the asymptotic series.
    Stated before Section 3.1: the paper treats the case when the normal forms can be considered analytic and takes K = infinity. The infinite asymptotic expansions in Theorems 3.8 and 3.11 require this; the paper only proves finite C^k normal forms in general and states analyticity as a conjecture.
  • domain assumption At each point of N the eigenvalues are real with at least one pair of opposite sign, and either the stable or unstable manifold is one-dimensional; N has co-dimension 3 in the detailed treatment.
    Defines the class of normally hyperbolic saddles studied in Section 3. The paper states this restriction and notes the methods extend naturally to higher co-dimension.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Normal Forms for Manifolds of Normally Hyperbolic Singularities and Asymptotic Properties of Nearby Transitions." pith.science (2026). https://pith.science/paper/2NJ3KHMO

@misc{pith2026190805590,
  author       = {Pith},
  title        = {Pith review of: Normal Forms for Manifolds of Normally Hyperbolic Singularities and Asymptotic Properties of Nearby Transitions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2NJ3KHMO}},
  note         = {Machine review of arXiv:1908.05590}
}
abstract

This paper contains theory on two related topics relevant to manifolds of normally hyperbolic singularities. First, theorems on the formal and $ C^k $ normal forms for these objects are proved. Then, the theorems are applied to give asymptotic properties of the transition map between sections transverse to the centre-stable and centre-unstable manifolds of some normally hyperbolic manifolds. A method is given for explicitly computing these so called Dulac maps. The Dulac map is revealed to have similar asymptotic structures as in the case of a saddle singularity in the plane.

Figures

Figures reproduced from arXiv: 1908.05590 by the authors.

Figure 3.1
Figure 3.1. Σy N Wsc(N ) Wuc(N ) Σx D [PITH_FULL_IMAGE:figures/full_fig_p010_3_1.png] view at source ↗
Figure 3.2
Figure 3.2. Diagram for when N is co-dimension 3 in R 3 . the plane. In this context D is referred to as the Dulac map. Before proceeding to the general case, it is worth mentioning some properties of the Dulac map in the planar case. As per Remark 3.3, the normal form for the planar case can be deduced from Proposition 3.1 by considering u a parameter and restricting to z = 0 in case i). Explicitly, the normal form is x˙ = x y… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

21 extracted references · 20 canonical work pages

  1. [1]

    write newline

    " write newline "" before.all 'output.state := FUNCTION fin.entry add.period write newline FUNCTION new.block output.state before.all = 'skip after.block 'output.state := if FUNCTION new.sentence output.state after.block = 'skip output.state before.all = 'skip after.sentence 'output.state := if if FUNCTION not #0 #1 if FUNCTION and 'skip pop #0 if FUNCTIO...

  2. [2]

    Belitskii

    Genrikh R. Belitskii. C^ -normal forms of local vector fields. Acta Applicandae Mathematicae , 70(1):23--41, 2002

    work page 2002

  3. [3]

    Asymptotic properties of the Dulac map near a hyperbolic saddle in dimension three

    Patrick Bonckaert and Vincent Naudot. Asymptotic properties of the Dulac map near a hyperbolic saddle in dimension three. Annales de la Facult \'e des Sciences de Toulouse. S \'e rie VI. Math \'e matiques , 10, January 2001

    work page 2001

  4. [4]

    Alexander D. Bruno. Local Methods in Nonlinear Differential Equations . Springer Series in Soviet Mathematics . Springer-Verlag, Berlin , 1989

    work page 1989

  5. [5]

    Singularities of min time affine control systems

    Jean-Baptiste Caillau, Jacques Fejoz, Micha \"e l Orieux, and Robert Roussarie. Singularities of min time affine control systems . preprint, February 2018

    work page 2018

  6. [6]

    Equivalence and Decomposition of Vector Fields About an Elementary Critical Point

    Kuo-Tsai Chen. Equivalence and Decomposition of Vector Fields About an Elementary Critical Point . American Journal of Mathematics , 85(4):693--722, 1963

    work page 1963

  7. [7]

    Nathan Duignan and Holger R. Dullin. On the c^ 8/3 -regularisation of simultaneous binary collisions in the collinear 4-body problem. to appear

    work page

  8. [8]

    Nathan Duignan and Holger R. Dullin. Regularisation for planar vector fields. Nonlinearity , 2019, arXiv:1901.08701. in press

    work page Pith review arXiv 2019

Show all 21 references
  1. [9]

    Smooth Normal Linearization of Vector Fields Near Lines of Singularities

    Freddy Dumortier and Robert Roussarie. Smooth Normal Linearization of Vector Fields Near Lines of Singularities . Qualitative Theory of Dynamical Systems , 9(1):39--87, November 2010

    2010

  2. [10]

    Elphick, E

    C. Elphick, E. Tirapegui, M. E. Brachet, P. Coullet, and G. Iooss. A simple global characterization for normal forms of singular vector fields. Physica D: Nonlinear Phenomena , 29(1):95--127, November 1987

    1987

  3. [11]

    Stable Mappings and Their Singularities

    Marty Golubitsky and Victor Guillemin. Stable Mappings and Their Singularities . Graduate Texts in Mathematics . Springer-Verlag , New York , 1973

    1973

  4. [12]

    Nonlocal Bifurcations , volume 66 of Mathematical Surveys and Monographs

    Yulij Ilyashenko and Weigu Li. Nonlocal Bifurcations , volume 66 of Mathematical Surveys and Monographs . American Mathematical Society , Providence, Rhode Island , October 1998

    1998

  5. [13]

    Normal forms of analytic perturbations of quasihomogeneous vector fields: Rigidity , invariant analytic sets and exponentially small approximation

    Eric Lombardi and Laurent Stolovitch. Normal forms of analytic perturbations of quasihomogeneous vector fields: Rigidity , invariant analytic sets and exponentially small approximation. Annales Scientifiques de l' \'E cole Normale Sup \'e rieure , pages 659--718, 2010

    2010

  6. [14]

    Cyclicite finie des polycycles hyperboliques de champs de vecteurs du plan mise sous forme normale

    A Mourtada. Cyclicite finie des polycycles hyperboliques de champs de vecteurs du plan mise sous forme normale. Bifurcations of Planar Vector Fields , pages 272--314, 1990

    1990

  7. [15]

    Normal Forms and Unfoldings for Local Dynamical Systems

    James Murdock. Normal Forms and Unfoldings for Local Dynamical Systems . Springer , 2006

    2006

  8. [16]

    Bifurcation of Planar Vector Fields and Hilbert 's Sixteenth Problem , volume 164 of Progress in Mathematics

    Robert Roussarie. Bifurcation of Planar Vector Fields and Hilbert 's Sixteenth Problem , volume 164 of Progress in Mathematics . Birkh \"a user Verlag, Basel , 1998

    1998

  9. [17]

    Almost Planar Homoclinic Loops in R3

    Robert Roussarie and Christiane Rousseau. Almost Planar Homoclinic Loops in R3 . Journal of Differential Equations , 126(1):1--47, March 1996

    1996

  10. [18]

    Lectures on Celestial Mechanics : Reprint of the 1971 Edition

    Carl L Siegel and J \"u rgen K Moser. Lectures on Celestial Mechanics : Reprint of the 1971 Edition . Springer , 2012

    1971

  11. [19]

    On the Structure of Local Homeomorphisms of Euclidean n- Space , II

    Shlomo Sternberg. On the Structure of Local Homeomorphisms of Euclidean n- Space , II . American Journal of Mathematics , 80(3):623--631, 1958

    1958

  12. [20]

    Symmetries and convergence of normal form transformations

    Sebastian Walcher. Symmetries and convergence of normal form transformations. Monograf \'i as de la Real Academia de Ciencias Exactas, F \'i sicas, Qu \'i micas y Naturales de Zaragoza , 25, January 2004

    2004

  13. [21]

    Normally Hyperbolic Invariant Manifolds in Dynamical Systems

    Stephen Wiggins. Normally Hyperbolic Invariant Manifolds in Dynamical Systems . Applied Mathematical Sciences . Springer-Verlag , New York , 1994

    1994

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.