pith. sign in

arxiv: 2311.06821 · v1 · submitted 2023-11-12 · 🧮 math.DS · math.CA

Trajectories of vector fields asymptotic to formal invariant curves

Olivier Le Gal , Fernando Sanz S\'anchez This is my paper

Pith reviewed 2026-05-24 05:58 UTC · model grok-4.3

classification 🧮 math.DS math.CA
keywords formal invariant curvesasymptotic trajectoriessmooth vector fieldsC^0 invariant manifoldsdynamical systemsnon-oscillating trajectorieshorn neighborhoods
0
0 comments X

The pith

A formal curve invariant under a smooth vector field in R^m has a real trajectory asymptotic to it whenever the field's Taylor series is non-zero along the curve.

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

The paper shows that formal invariance of a curve under a C^∞ vector field implies the existence of an actual solution curve that approaches the formal one at infinity, as long as the vector field does not vanish to infinite order along it. This supplies a geometric meaning to formal invariants that had been questioned since the 1980s. The authors also produce a full C^0 invariant manifold consisting of all such asymptotic trajectories inside a horn-shaped neighborhood of the formal curve. When the vector field is analytic the trajectory can moreover be taken non-oscillatory relative to subanalytic sets.

Core claim

We prove that a formal curve Γ that is invariant by a C^∞ vector field ξ of R^m has a geometrical realization, as soon as the Taylor expansion of ξ is not identically zero along Γ. This means that there is a trajectory γ of ξ which is asymptotic to Γ. We also construct an invariant C^0 manifold S in some open horn around Γ which is composed entirely of trajectories asymptotic to Γ, and contains the germ of any such trajectory. If ξ is analytic, we prove that there exists a trajectory asymptotic to Γ which is, moreover, non-oscillating with respect to subanalytic sets.

What carries the argument

The geometrical realization of the formal invariant curve Γ as an asymptotic trajectory of ξ, realized inside an invariant C^0 manifold S filling an open horn neighborhood of Γ.

If this is right

  • There exists at least one actual integral curve of the vector field that is asymptotic to the given formal curve.
  • All trajectories asymptotic to the formal curve are contained inside a single C^0 invariant manifold that fills an open horn neighborhood.
  • When the vector field is real-analytic the asymptotic trajectory can be chosen so that it does not oscillate with respect to any subanalytic set.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The result indicates that formal power-series invariants in smooth dynamics frequently correspond to actual limiting behavior of orbits.
  • The horn manifold construction may serve as a template for locating asymptotic sets in other regularity classes such as Gevrey or quasi-analytic.
  • The non-oscillation statement in the analytic case links the existence result to the geometry of subanalytic and o-minimal structures.

Load-bearing premise

The curve must satisfy the formal invariance condition that the Lie derivative of the vector field vanishes in the ring of formal power series along the curve, and the vector field must have a non-vanishing Taylor expansion there.

What would settle it

An explicit C^∞ vector field on R^2 together with a formal power-series curve that is formally invariant under the field, with non-zero jet, yet every integral curve near the formal curve eventually leaves every neighborhood of it.

read the original abstract

We prove that a formal curve $\Gamma$ that is invariant by a $C^\infty$ vector field $\xi$ of $\mathbb{R}^m$ has a geometrical realization, as soon as the Taylor expansion of $\xi$ is not identically zero along $\Gamma$. This means that there is a trajectory $\gamma$ of $\xi$ which is asymptotic to $\Gamma$. This result solves a natural question proposed by Bonckaert nearly forty years ago. We also construct an invariant $C^0$ manifold $S$ in some open horn around $\Gamma$ which is composed entirely of trajectories asymptotic to $\Gamma$, and contains the germ of any such trajectory. If $\xi$ is analytic, we prove that there exists a trajectory asymptotic to $\Gamma$ which is, moreover, non-oscillating with respect to subanalytic sets.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper proves that a formal curve Γ formally invariant under a C^∞ vector field ξ on R^m admits a geometric realization by an actual trajectory γ asymptotic to Γ, provided the Taylor expansion of ξ along Γ is not identically zero. It further constructs a C^0 invariant manifold S in a horn neighborhood of Γ consisting entirely of such asymptotic trajectories (containing the germ of any such trajectory), and shows that when ξ is analytic there exists a non-oscillating asymptotic trajectory with respect to subanalytic sets. The result is presented as resolving a question posed by Bonckaert approximately forty years ago.

Significance. If the stated existence and manifold construction hold, the work supplies a general positive answer to a classical question in smooth dynamical systems concerning the realization of formal invariants. The additional C^0 manifold and the analytic non-oscillation statement strengthen the geometric content. The result is parameter-free and applies under explicitly stated formal invariance and non-vanishing conditions, which are standard in the field.

major comments (2)
  1. [Abstract / main theorem statement] The abstract and reader's summary indicate a conditional existence theorem, yet no proof outline, key lemmas, or verification of the non-vanishing Taylor condition appears in the supplied excerpt; without access to the argument in §3 or §4 the load-bearing step from formal invariance to actual asymptotic trajectory cannot be checked for correctness.
  2. [Manifold construction paragraph] The construction of the invariant C^0 manifold S is asserted to contain the germ of every asymptotic trajectory, but the excerpt supplies no indication of how the horn neighborhood is chosen or how the C^0 regularity is obtained; this is central to the stronger claim and requires explicit verification.
minor comments (2)
  1. [Abstract] The phrase 'Taylor expansion of ξ is not identically zero along Γ' should be accompanied by a precise reference to the formal power series ring or the order of vanishing to avoid ambiguity.
  2. [Introduction] Citation to Bonckaert's original question is mentioned but not given; adding the precise reference would improve traceability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their summary and for highlighting the need to verify the core arguments. The concerns appear to arise from the excerpt supplied to the referee; the complete manuscript on arXiv contains the full proofs, lemmas, and constructions in Sections 2--4. We address each major comment below.

read point-by-point responses

  1. Referee: [Abstract / main theorem statement] The abstract and reader's summary indicate a conditional existence theorem, yet no proof outline, key lemmas, or verification of the non-vanishing Taylor condition appears in the supplied excerpt; without access to the argument in §3 or §4 the load-bearing step from formal invariance to actual asymptotic trajectory cannot be checked for correctness.

    Authors: The full manuscript states the main result as Theorem 1.1, which explicitly includes the non-vanishing Taylor condition on ξ along Γ. Section 3 gives the proof outline: it reduces the problem via a suitable coordinate change to a normal form, applies a fixed-point argument on a space of curves with controlled asymptotics, and uses the non-vanishing hypothesis to obtain a non-trivial vector field component that forces the existence of a genuine trajectory γ asymptotic to Γ. Key lemmas in §3.2--3.4 establish the necessary a-priori estimates and the passage from formal to actual invariance. Section 4 then builds on this to construct the manifold. revision: no

  2. Referee: [Manifold construction paragraph] The construction of the invariant C^0 manifold S is asserted to contain the germ of every asymptotic trajectory, but the excerpt supplies no indication of how the horn neighborhood is chosen or how the C^0 regularity is obtained; this is central to the stronger claim and requires explicit verification.

    Authors: Section 2 defines the horn neighborhood explicitly as an open set of the form {x : dist(x,Γ) < ε(|x|)} with ε(r) = r^α for suitable α>1 chosen so that the formal invariance implies controlled contraction/expansion rates. Section 4 constructs S as the set of all points whose forward orbits remain inside the horn and approach Γ; C^0 regularity follows from uniform Lipschitz estimates on the flow inside the horn (obtained via Gronwall-type inequalities that exploit the non-vanishing condition). Invariance of S is immediate from the flow. The germ property is proved by showing that any asymptotic trajectory must eventually enter and remain in the horn, hence lies in S; this uses a comparison argument with the formal curve. revision: no

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper presents a mathematical existence proof: a formal invariant curve Γ (under the Lie derivative vanishing formally) has a geometric realization as an asymptotic trajectory of the C^∞ vector field ξ, provided the Taylor expansion of ξ is not identically zero along Γ. This is framed as solving an external question posed by Bonckaert. The provided abstract and context contain no equations, fitted parameters, self-citations, or ansatzes that reduce the claimed result to its inputs by construction. The derivation chain is a standard proof under explicitly stated hypotheses and does not exhibit any of the enumerated circularity patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Review performed on abstract only; no explicit free parameters, invented entities, or non-standard axioms are mentioned in the statement. The result rests on the standard framework of formal power series and C^∞ vector fields.

axioms (2)
  • domain assumption A formal curve is invariant under a vector field when the Lie derivative vanishes to all orders along the curve in the ring of formal power series.
    This is the precise meaning of 'invariant by' presupposed by the theorem statement.
  • standard math Standard local existence and uniqueness theory for solutions of C^∞ autonomous ODEs in R^m.
    Implicit background needed to speak of trajectories of the vector field.

pith-pipeline@v0.9.0 · 5669 in / 1505 out tokens · 64876 ms · 2026-05-24T05:58:47.346357+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

33 extracted references · 33 canonical work pages

  1. [1]

    Asymptotic differential algebra and model theory of transseries

    Aschenbrenner, M.; van den Dries, L.; van der Hoeven, J. Asymptotic differential algebra and model theory of transseries . Ann. of Math. Stud., 195 Princeton University Press, Princeton, NJ, 2017, xxi+849 pp

    work page 2017

  2. [2]

    Formal Power Series and Linear Systems of Meromorphic Ordin ary Differential Equations

    Balser, W. Formal Power Series and Linear Systems of Meromorphic Ordin ary Differential Equations. Universitext (2000), Springer-Verlag, New York

    work page 2000

  3. [3]

    A.; Sanz S ´anchez, F

    Barkatou, M.; Carnicero, F. A.; Sanz S ´anchez, F. Turrittin’s Theorem revisited. The real case. ArXiv 2305.08211, 2023. To appear in Electron. J. Differ. Equ

    work page arXiv 2023

  4. [4]

    Bierstone, E.; Milman, P. D. A simple constructive proof of canonical resolution of sing u- larities. Effective methods in algebraic geometry (Castiglioncello, 1990), 11 –30. Progr. Math.,

    work page 1990

  5. [5]

    Birkh¨ auser Boston, Inc., Boston, MA, 1991

    work page 1991

  6. [6]

    Smooth invariant curves of singularities of vector fields in R3

    Bonckaert, P. Smooth invariant curves of singularities of vector fields in R3. Annales de l’IHP, 3, n. 2 (1986), 111-183. TRAJECTORIES ASYMPTOTIC TO FORMAL CUR VES 33

    work page 1986

  7. [7]

    Smooth invariant curves for germs of vector fields in R3 whose linear part generates rotations

    Bonckaert, P.; Dumortier, F. Smooth invariant curves for germs of vector fields in R3 whose linear part generates rotations . Jour. Diff. Eq., 62 (1986), 95-116

    work page 1986

  8. [8]

    Multisummability of Formal Power Series Solutions of Nonli near Mero- morphic Differential Equations

    Braaksma, B.J.L. Multisummability of Formal Power Series Solutions of Nonli near Mero- morphic Differential Equations . Ann. Inst. Fourier, 42 (1992), 517–540

    work page 1992

  9. [9]

    Oscillation, spiralement, tourbillonnement

    Cano, F.; Moussu, R.; Sanz, F. Oscillation, spiralement, tourbillonnement . Comm. Math. Helv., 75 (2000), 284-318

    work page 2000

  10. [10]

    Pinceaux de courbes int´ egrales d’un champ de vecteurs analytique

    Cano, F.; Moussu, R.; Sanz, F. Pinceaux de courbes int´ egrales d’un champ de vecteurs analytique. Ast´ erisque, 297 (2004), 1-34

    work page 2004

  11. [11]

    Applications of the Center Manifolds Theory

    Carr, J. Applications of the Center Manifolds Theory . Springer-Verlag, New York- Heidelberg-Berlin

    work page

  12. [12]

    Singularities of Plane Curves

    Casas-Alvero, E. Singularities of Plane Curves . London Math. Soc. Lecture Notes Series,

    work page

  13. [13]

    Press, 2000

    Cambridge Univ. Press, 2000

    work page 2000

  14. [14]

    Introduction aux fonctions analysables et preuve construc tive de la conjecture de Dulac

    Ecalle, J. Introduction aux fonctions analysables et preuve construc tive de la conjecture de Dulac. Actualit´ es Math.[Current Mathematical Topics] Hermann, Paris, 1992, ii+340 pp

    work page 1992

  15. [15]

    Well-behaved convolution averages and the non-accumulati on the- orem for limit-cycles

    Ecalle, J.; Menous, F. Well-behaved convolution averages and the non-accumulati on the- orem for limit-cycles . World Scientific Publishing Co., Inc., River Edge, NJ, 1996, 71–101

    work page 1996

  16. [16]

    L. Tonelli

    Hironaka, H. Introduction to real-analytic sets and real-analytic maps . Quaderni dei Gruppi di Ricerca Matematica del Consiglio Nazionale delle Ricerche. Institut o Matematico “L. Tonelli”, Pisa, 1973

    work page 1973

  17. [17]

    Invariant Manifolds

    Hirsch, M.; Pugh, C.; Shub, M. Invariant Manifolds . LNM, vol. 583, Springer-Verlag, 1977

    work page 1977

  18. [18]

    Transserial Hardy fields

    van der Hoeven, J. Transserial Hardy fields . Ast´ erisque, no.323 (2009), 453–487

    work page 2009

  19. [19]

    The sable, center-stable, center, center-unstable and uns table manifolds

    Kelley, A. The sable, center-stable, center, center-unstable and uns table manifolds . J. Diff. Eq., 3 (1967), 546-570

    work page 1967

  20. [20]

    Solitary trajectories of analytic vector fields

    Le Gal, O. Solitary trajectories of analytic vector fields . Rev. R. Acad. Cienc. Exactas F ´ ıs. Nat. Ser. A Mat. RACSAM, 113 (2019), no. 4, 3967–3976

    work page 2019

  21. [21]

    Solutions of definable ODEs with regular separation and dichotomy interlacement versus Hardy

    Le Gal, O.; Matusinski, M.; Sanz S ´anchez, F. Solutions of definable ODEs with regular separation and dichotomy interlacement versus Hardy . Rev. Mat. Iberoam. 38 (2022), no. 5, 1501–1527

    work page 2022

  22. [22]

    Non-interlaced solutions of 2-dimensional systems of linear ordinary differential equations

    Le Gal, O.; Sanz, F.; Speissegger, P. Non-interlaced solutions of 2-dimensional systems of linear ordinary differential equations . Proc. Amer. Math. Soc. 141 (2013), no. 7, 2429–2438

    work page 2013

  23. [23]

    Trajectories in interlaced integral pencils of 3- dimensional analytic vector fields are o-minimal

    Le Gal, O.; Sanz, F.; Speissegger, P. Trajectories in interlaced integral pencils of 3- dimensional analytic vector fields are o-minimal . Trans. Amer. Math. Soc. 370 (2018), no. 3, 2211–2229

    work page 2018

  24. [24]

    Stable manifolds of biholo- morphisms in Cn asymptotic to formal curves

    L´opez-Hern´anz, L.; Rib ´on, J.; Sanz S ´anchez, F.; Vivas, L. Stable manifolds of biholo- morphisms in Cn asymptotic to formal curves . Proc. LMS 125, n. 2 (2022), 277–317

    work page 2022

  25. [25]

    Sommation des s´ eries divergentes

    Malgrange, B. Sommation des s´ eries divergentes. Expo. Math., 13 (1995), 163–222

    work page 1995

  26. [26]

    Expansions of o-minimal structures on the real field by traje ctories of linear vector fields

    Miller, C. Expansions of o-minimal structures on the real field by traje ctories of linear vector fields. Proc. Amer. Math. Soc., 139(1) (2011), 319–330

    work page 2011

  27. [27]

    Les s´ eries k-sommables et leur applications

    Ramis, J.-P. Les s´ eries k-sommables et leur applications. Springer Lecture Notes in Physics, No. 126, 1980

    work page 1980

  28. [28]

    A new proof of multisummability of formal solutions of nonli near meromorphic differential equations

    Ramis, J.-P.; Sibuya, Y. A new proof of multisummability of formal solutions of nonli near meromorphic differential equations . Ann. Inst. Fourier (Grenoble) 44 (1994), no. 3, 811–848

    work page 1994

  29. [29]

    Quasi-analytic solutions of analytic ordinary dif- ferential equations and o-minimal structures

    Rolin, J.-P.; Sanz, F.; Sch ¨afke, R. Quasi-analytic solutions of analytic ordinary dif- ferential equations and o-minimal structures . Proc. Lond. Math. Soc. (3) 95 (2007), no. 2, 413–442

    work page 2007

  30. [30]

    van Strien, S. J. Center manifolds are not C∞. Math. Z. 166 (1979), no.2, 143–145. 34 O. LEGAL AND F. SANZ S ´ANCHEZ

    work page 1979

  31. [31]

    Converging solutions of ordinary homogeneous differential equations in the neighborhood of a singular point

    Turrittin, H.L. Converging solutions of ordinary homogeneous differential equations in the neighborhood of a singular point . Acta Mathematica, 93 (1955), 27–66

    work page 1955

  32. [32]

    W alker, R. J. Algebraic Curves. Dover Publications, Inc., 1950

    work page 1950

  33. [33]

    Asymptotic Expansions for Ordinary Differential Equations

    W asow, W. Asymptotic Expansions for Ordinary Differential Equations . Intersciencie, New York, 1965 (re-edited Dover Publications Inc. 1987). Universit´ e Savoie Mont Blanc. Laboratoire de Math ´ ematiques, LAMA. B ˆatiment Le Chablais, Campus Scientifique, 73376 Le Bourget du Lac, F rance. Email address : Olivier.Le-Gal@univ-smb.fr Universidad de V allad...

    work page 1965