Normally Hyperbolic Limit Tori

• Normally hyperbolic limit tori are compact invariant tori whose transverse contraction or expansion dominates the dynamics on the torus.
• They are detected through methods such as averaging theory, Neimark–Sacker bifurcations, and polynomial constructions, ensuring perturbative persistence in extended phase spaces.
• These structures play a key role in understanding bifurcation phenomena, Hilbert-type counting problems, and the robustness of invariant manifolds in dynamical systems.

Searching arXiv for recent and foundational papers on normally hyperbolic limit tori. Normally hyperbolic limit tori are compact invariant tori for which the contraction or expansion in directions transverse to the torus dominates the dynamics tangent to the torus. In non-autonomous $T$-periodic differential equations, they are naturally regarded as invariant manifolds in the extended phase space obtained by adjoining $\dot t=1$, so that the time variable becomes an angular variable on $\mathbb S^1$ (Pereira et al., 2022). In three-dimensional polynomial vector fields, limit tori are treated as the higher-dimensional analogue of limit cycles, and the normally hyperbolic ones are distinguished by their perturbative persistence and robustness (Arakaki et al., 23 Jul 2025). Across recent work, the subject is organized around three closely related mechanisms: averaging criteria based on planar guiding systems, torus bifurcation via Neimark–Sacker or secondary Hopf theory, and degree-dependent constructions in polynomial dynamics.

1. Geometric definition and phase-space setting

The standard periodic-perturbation framework is the system

$$\dot x=\sum_{i=1}^N \varepsilon^i F_i(t,x)+\varepsilon^{N+1}\widetilde F(t,x,\varepsilon), \qquad (t,x)\in \mathbb S^1\times D\times[0,\varepsilon_0],$$

where $D\subset\mathbb R^2$ is open and bounded, each $F_i$ and $\widetilde F$ is $C^r$ with $r\ge 2$, and all are $T$-periodic in $\dot t=1$0 (Pereira et al., 2022). Because the system is periodic in time, the natural setting is the extended phase space obtained by adjoining $\dot t=1$1, so that $\dot t=1$2 becomes an angular variable on $\dot t=1$3. In that setting, invariant tori of the original non-autonomous system are genuine invariant manifolds (Pereira et al., 2022).

Normal hyperbolicity is expressed through a domination property between tangent and normal dynamics. In the diffeomorphism setting, a compact invariant submanifold $\dot t=1$4 with splitting

$\dot t=1$5

is normally hyperbolic if there exists $\dot t=1$6 such that

$\dot t=1$7

together with the domination inequalities

$\dot t=1$8

A strengthened $\dot t=1$9-normal hyperbolicity condition requires the analogous inequalities with tangential factors raised to powers $\mathbb S^1$0 (Berger et al., 2011). In the periodic-flow setting, the resulting torus is described as $\mathbb S^1$1-normally hyperbolic when normal contraction dominates tangent dynamics strongly enough to satisfy Fenichel’s criteria (Pereira et al., 2022).

The term “limit torus” is used in several related but not identical senses. In the polynomial literature it denotes an isolated invariant torus in $\mathbb S^1$2, directly paralleling the notion of a limit cycle (Arakaki et al., 18 Apr 2025). In periodic non-autonomous systems it is often the suspension of an invariant closed curve of a Poincaré or time-$\mathbb S^1$3 map, hence an invariant torus in the extended phase space (Cândido et al., 20 Jan 2026).

2. Averaging-theoretic detection via guiding systems

A central detection mechanism is an averaging criterion that upgrades the classical averaging theorem for isolated periodic orbits to the torus level. After a near-identity $\mathbb S^1$4-periodic change of variables

$\mathbb S^1$5

the periodic system is transformed into

$\mathbb S^1$6

where the $\mathbb S^1$7 are higher-order averaged functions (Pereira et al., 2022). They are defined recursively by

$\mathbb S^1$8

with

$\mathbb S^1$9

and, for $$\dot x=\sum_{i=1}^N \varepsilon^i F_i(t,x)+\varepsilon^{N+1}\widetilde F(t,x,\varepsilon), \qquad (t,x)\in \mathbb S^1\times D\times[0,\varepsilon_0],$$0,

$$\dot x=\sum_{i=1}^N \varepsilon^i F_i(t,x)+\varepsilon^{N+1}\widetilde F(t,x,\varepsilon), \qquad (t,x)\in \mathbb S^1\times D\times[0,\varepsilon_0],$$1

where $$\dot x=\sum_{i=1}^N \varepsilon^i F_i(t,x)+\varepsilon^{N+1}\widetilde F(t,x,\varepsilon), \qquad (t,x)\in \mathbb S^1\times D\times[0,\varepsilon_0],$$2 are the partial Bell polynomials (Pereira et al., 2022).

If $$\dot x=\sum_{i=1}^N \varepsilon^i F_i(t,x)+\varepsilon^{N+1}\widetilde F(t,x,\varepsilon), \qquad (t,x)\in \mathbb S^1\times D\times[0,\varepsilon_0],$$3 is the first index such that

$$\dot x=\sum_{i=1}^N \varepsilon^i F_i(t,x)+\varepsilon^{N+1}\widetilde F(t,x,\varepsilon), \qquad (t,x)\in \mathbb S^1\times D\times[0,\varepsilon_0],$$4

the reduced dynamics is governed by the guiding system

$$\dot x=\sum_{i=1}^N \varepsilon^i F_i(t,x)+\varepsilon^{N+1}\widetilde F(t,x,\varepsilon), \qquad (t,x)\in \mathbb S^1\times D\times[0,\varepsilon_0],$$5

The decisive point is that hyperbolic limit cycles of this planar guiding system play the role that simple zeros of averaged functions play in the classical theorem for periodic solutions (Pereira et al., 2022).

The main criterion states that if $$\dot x=\sum_{i=1}^N \varepsilon^i F_i(t,x)+\varepsilon^{N+1}\widetilde F(t,x,\varepsilon), \qquad (t,x)\in \mathbb S^1\times D\times[0,\varepsilon_0],$$6, $$\dot x=\sum_{i=1}^N \varepsilon^i F_i(t,x)+\varepsilon^{N+1}\widetilde F(t,x,\varepsilon), \qquad (t,x)\in \mathbb S^1\times D\times[0,\varepsilon_0],$$7, and the guiding system has an attracting hyperbolic limit cycle $$\dot x=\sum_{i=1}^N \varepsilon^i F_i(t,x)+\varepsilon^{N+1}\widetilde F(t,x,\varepsilon), \qquad (t,x)\in \mathbb S^1\times D\times[0,\varepsilon_0],$$8, then for all sufficiently small $$\dot x=\sum_{i=1}^N \varepsilon^i F_i(t,x)+\varepsilon^{N+1}\widetilde F(t,x,\varepsilon), \qquad (t,x)\in \mathbb S^1\times D\times[0,\varepsilon_0],$$9 the original $D\subset\mathbb R^2$0-periodic differential equation has a $D\subset\mathbb R^2$1-periodic solution inside the torus and a normally hyperbolic attracting invariant torus in the extended phase space, which surrounds that periodic solution and converges to $D\subset\mathbb R^2$2 as $D\subset\mathbb R^2$3 (Pereira et al., 2022). In transformed coordinates, the corresponding theorem states that the torus is the graph of a $D\subset\mathbb R^2$4 function of the angular variables and is $D\subset\mathbb R^2$5-normally hyperbolic (Pereira et al., 2022).

This mechanism is proved by a continuation argument combined with Fenichel theory: one continues an invariant graph from the unperturbed torus, shows the family is open and closed in the parameter, and then verifies normal hyperbolicity through estimates on tangential and normal variational dynamics (Pereira et al., 2022). Conceptually, the averaging principle is thereby upgraded from detecting one-dimensional periodic solutions to detecting two-dimensional limit tori in the extended flow.

3. Torus bifurcation through Neimark–Sacker and secondary Hopf theory

A second major route to normally hyperbolic limit tori proceeds through bifurcation of periodic orbits. For a one-parameter family

$D\subset\mathbb R^2$6

suppose that for $D\subset\mathbb R^2$7 there is a $D\subset\mathbb R^2$8-periodic orbit and associated Poincaré map $D\subset\mathbb R^2$9. In this setting, a secondary Hopf bifurcation means that the periodic orbit undergoes a Neimark–Sacker bifurcation in the Poincaré map: a pair of complex multipliers crosses the unit circle, an invariant closed curve $F_i$0 is created in the section, and its saturation

$F_i$1

is an invariant torus for the flow (Pereira et al., 14 Jul 2025).

Under Hypothesis (S), the derivative of the Poincaré map at the bifurcating fixed point has one complex conjugate pair on the unit circle at $F_i$2, while the remaining multipliers stay off the unit circle and the nonresonance conditions $F_i$3 for $F_i$4 hold, together with the crossing condition

$F_i$5

(Pereira et al., 14 Jul 2025). The principal result is that the torus produced by the Neimark–Sacker bifurcation is normally hyperbolic. More precisely, it has exactly $F_i$6 stable directions in the subcritical case and $F_i$7 stable directions in the supercritical case (Pereira et al., 14 Jul 2025). The proof combines Chaperon’s result on normal hyperbolicity of the invariant circle in the Poincaré map with Fenichel’s thin-surface-of-section theorem (Pereira et al., 14 Jul 2025).

The same logic enters periodic perturbation problems through the stroboscopic map in extended phase space. For

$F_i$8

with each $F_i$9 and $\widetilde F$0 $\widetilde F$1-periodic in $\widetilde F$2, the Poincaré map on $\widetilde F$3 has the expansion

$\widetilde F$4

where $\widetilde F$5 are averaged functions (Pereira et al., 14 Jul 2025). If the first nonvanishing averaged function $\widetilde F$6 has a Hopf point, if the crossing condition $\widetilde F$7 holds, and if the Lyapunov coefficient expansion

$\widetilde F$8

has a first nonzero coefficient $\widetilde F$9, then there is either a periodic orbit with no invariant torus or a periodic orbit together with a unique invariant torus surrounding it, according to the sign of $C^r$0 (Pereira et al., 14 Jul 2025). The strengthened conclusion is that this torus is normally hyperbolic, repelling if $C^r$1, and attracting if $C^r$2 (Pereira et al., 14 Jul 2025).

4. Polynomial vector fields and Hilbert-type counting problems

The three-dimensional analogue of Hilbert’s 16th problem asks for the maximal number of isolated invariant tori in polynomial vector fields of degree $C^r$3. One formulation introduces

$C^r$4

and the normally hyperbolic refinement

$C^r$5

where $C^r$6 counts normally hyperbolic limit tori (Novaes et al., 2022). The fundamental constructive mechanism starts with a planar system

$C^r$7

having $C^r$8 hyperbolic limit cycles and embeds it into the three-dimensional polynomial system

$C^r$9

For sufficiently small perturbation parameter $r\ge 2$0 in the averaging framework, each planar hyperbolic limit cycle $r\ge 2$1 generates a torus

$r\ge 2$2

and there is a nearby normally hyperbolic invariant torus $r\ge 2$3 with the same stability type as $r\ge 2$4 (Novaes et al., 2022). If $r\ge 2$5 are polynomials of degree $r\ge 2$6, the resulting three-dimensional system is polynomial of degree $r\ge 2$7 (Novaes et al., 2022).

This yields the lower bound

$r\ge 2$8

where $r\ge 2$9 is any known lower bound for the maximal number of hyperbolic limit cycles of planar polynomial vector fields of degree $T$0 (Novaes et al., 2022). Using a methodology due to Christopher & Lloyd, the same work obtains

$T$1

so $T$2, and therefore $T$3, grows at least on the order of $T$4 (Novaes et al., 2022).

Subsequent work sharpened the low-degree picture near monodromic singularities. For three-dimensional polynomial vector fields of degree $T$5, improved lower bounds were obtained through Hopf-zero and nilpotent-zero constructions:

Degree $T$6	Lower bound for $T$7
2	3
3	5
4	7
5	13

These are stated as the best available lower bounds in that work (Arakaki et al., 23 Jul 2025). The same paper emphasizes that nilpotent-zero singularities often yield better lower bounds for limit tori than Hopf-zero ones because the averaged guiding system can have larger degree even when the original degree is fixed (Arakaki et al., 23 Jul 2025).

A separate monotonicity result shows that, if $T$8, then

$T$9

The proof preserves $\dot t=1$00 existing normally hyperbolic limit tori by Fenichel persistence and creates one additional torus through a torus bifurcation near a Hopf-zero equilibrium (Arakaki et al., 18 Apr 2025). This provides a strict increase property for $\dot t=1$01 analogous to the strict increase of the planar Hilbert number established by Santana and Gasull (Arakaki et al., 18 Apr 2025).

5. Representative constructions and explicit families

The averaging criterion has been implemented in several explicit families. In a family of jerk differential equations

$\dot t=1$02

a change to variables $\dot t=1$03 produces a $\dot t=1$04-periodic planar system in standard form. Under hypotheses $\dot t=1$05 and $\dot t=1$06, the guiding system is

$\dot t=1$07

After a change of variables, this guiding system has the attracting hyperbolic limit cycle $\dot t=1$08, so the averaging theorem yields a normally hyperbolic attracting invariant torus in $\dot t=1$09-space (Pereira et al., 2022). In the explicit example, the limiting torus is

$\dot t=1$10

and the choice $\dot t=1$11 satisfies the hypotheses as well (Pereira et al., 2022).

Near monodromic singular lines, the perturbative family

$\dot t=1$12

is studied after the generalized polar change

$\dot t=1$13

where $\dot t=1$14 and $\dot t=1$15 solve

$\dot t=1$16

The first nonzero averaged function defines a planar guiding system

$\dot t=1$17

and each hyperbolic limit cycle of that guiding system lifts to a normally hyperbolic limit torus in the original three-dimensional flow (Arakaki et al., 23 Jul 2025). This construction is used to produce multiple nested normally hyperbolic limit tori near Hopf-zero and nilpotent-zero singularities (Arakaki et al., 23 Jul 2025).

An analytically different example appears in non-smooth dynamics. For non-autonomous $\dot t=1$18-periodic piecewise smooth systems, the time-$\dot t=1$19 map is expanded as a smooth near-identity map

$\dot t=1$20

and a Neimark–Sacker bifurcation of this map produces a normally hyperbolic invariant closed curve, hence a limit torus in the suspension flow (Cândido et al., 20 Jan 2026). In the three-dimensional piecewise linear family treated there, the first nonzero Lyapunov coefficient term is

$\dot t=1$21

so $\dot t=1$22 gives an attracting torus and $\dot t=1$23 gives a repelling torus (Cândido et al., 20 Jan 2026). The same work states that these tori persist under small perturbations (Cândido et al., 20 Jan 2026).

6. Persistence theory, broader frameworks, and common distinctions

The persistence of normally hyperbolic limit tori is part of the general persistence theory of normally hyperbolic invariant manifolds. For a $\dot t=1$24-diffeomorphism $\dot t=1$25 leaving invariant a closed $\dot t=1$26-submanifold $\dot t=1$27, if $\dot t=1$28 is normally hyperbolic at $\dot t=1$29, then there exists a $\dot t=1$30-neighborhood $\dot t=1$31 of $\dot t=1$32 such that every $\dot t=1$33 leaves invariant and is normally hyperbolic at a $\dot t=1$34-submanifold $\dot t=1$35, diffeomorphic and $\dot t=1$36-close to $\dot t=1$37; moreover, $\dot t=1$38 is unique and uniformly locally maximal (Berger et al., 2011). If $\dot t=1$39 is $\dot t=1$40 and $\dot t=1$41 is $\dot t=1$42-normally hyperbolic, the persisting manifold inherits $\dot t=1$43 regularity (Berger et al., 2011). This is the structural reason normally hyperbolic limit tori are treated as robust dynamical objects.

Beyond finite-dimensional smooth flows, invariant-manifold theory has been extended to partially normally hyperbolic invariant manifolds for generalized dynamics in Banach spaces, including correspondences that may be non-smooth, non-Lipschitz, or non-mapping. In that framework, whiskered tori are modeled by embeddings $\dot t=1$44 with trichotomy

$\dot t=1$45

and the torus is fully normally hyperbolic when $\dot t=1$46 (Chen, 2019). The theory yields local center-stable, center-unstable, and center manifolds near the torus, together with higher regularity under appropriate spectral gap conditions (Chen, 2019).

A distinct but related context is semiclassical normally hyperbolic trapping. There the trapped set $\dot t=1$47 is assumed to be a smooth symplectic submanifold of $\dot t=1$48 with invariant transverse bundles $\dot t=1$49 satisfying

$\dot t=1$50

This framework is broad enough to include torus-like trapped sets if they are smooth, symplectic, and transversely hyperbolic, but it is not a torus-specific theorem (Nonnenmacher et al., 2013). Its emphasis is on resonance-free strips and exponential decay of correlations rather than torus detection (Nonnenmacher et al., 2013).

A recurrent distinction in the literature concerns invariant tori that are robust for reasons other than normal hyperbolicity. In Beltrami fields, one can prescribe invariant tori, including knotted or linked ones, and obtain almost full-measure sets of invariant tori together with many hyperbolic periodic orbits inside each solid torus. However, that work explicitly does not claim normal hyperbolicity of the invariant tori themselves in the strong dynamical-systems sense; the relevant mechanism is KAM-type persistence for most invariant tori together with a Melnikov argument for hyperbolic periodic orbits (Enciso et al., 2019). The contrast is instructive: quasiperiodic or structural robustness of invariant tori does not by itself imply normal hyperbolicity.

Taken together, these developments show that normally hyperbolic limit tori occupy a precise intersection of averaging theory, bifurcation theory, persistence theory, and polynomial dynamics. The subject has moved from existence criteria for a single torus in extended phase space to explicit low-degree multiplicity results, strict monotonicity statements for $\dot t=1$51, and analytic detection in non-smooth systems, while retaining a common organizing principle: a hyperbolic object in a reduced or transverse dynamics is lifted to a robust invariant torus of the full system (Pereira et al., 2022).