pith. sign in

arxiv: 2605.04184 · v1 · submitted 2026-05-05 · 🧮 math.DS · math.CA

Smooth linearization of nonautonomous dynamics under general dichotomic behaviour

Lucas Backes , Davor Dragicevic , Wenmeng Zhang This is my paper

Pith reviewed 2026-05-08 18:08 UTC · model grok-4.3

classification 🧮 math.DS math.CA
keywords smooth linearizationnonautonomous systemsmu-dichotomyspectral gaptime reparametrizationdynamical systemsexponential dichotomypolynomial dichotomy
0
0 comments X

The pith

Nonautonomous systems admit smooth linearization when their linear parts satisfy a general μ-dichotomy with appropriate spectral gaps and bands.

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

This paper establishes conditions for smoothly linearizing nonautonomous dynamical systems in both discrete and continuous time. It proves that if the linear part possesses a μ-dichotomy whose spectrum meets gap and band requirements, a smooth coordinate change reduces the system to its linear form. The μ-dichotomy concept covers exponential, polynomial, and logarithmic dichotomies as special cases by relating them through time reparametrization. This extends earlier results that relied exclusively on exponential dichotomies, opening linearization to systems whose growth or decay rates follow more varied patterns.

Core claim

The paper claims that smooth linearization holds for nonautonomous systems whenever the linear part admits a μ-dichotomy with suitable spectral gap and spectral band conditions in its μ-dichotomy spectrum. The proof proceeds by converting the given μ-dichotomy into an exponential dichotomy via a carefully chosen time reparametrization that preserves smoothness and the dichotomy property, then applying known linearization theorems for the exponential case.

What carries the argument

μ-dichotomy, a general dichotomy notion that includes exponential, polynomial, and logarithmic dichotomies as special cases, together with its associated spectrum and a time reparametrization that reduces it to exponential dichotomy.

If this is right

  • Linearization theorems now cover polynomial and logarithmic dichotomies in addition to exponential ones.
  • Both discrete-time and continuous-time nonautonomous systems fall under the new conditions.
  • The spectral conditions guarantee the existence of the smooth change of variables that straightens the nonlinear terms.
  • Time reparametrization transfers known exponential-dichotomy results to the broader μ-dichotomy setting without loss of smoothness.

Where Pith is reading between the lines

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

  • The same reparametrization technique might adapt to other growth-rate classes if analogous spectrum conditions can be identified.
  • Applications in control or ecology with slowly varying rates could now check linearizability directly via μ-spectrum computations.
  • Numerical verification on explicit examples with logarithmic decay would test whether the abstract conditions hold in practice.

Load-bearing premise

The μ-dichotomy spectrum must satisfy the stated spectral gap and spectral band conditions, and the chosen time reparametrization must preserve both smoothness and the dichotomy structure.

What would settle it

A concrete nonautonomous system whose linear part satisfies a μ-dichotomy with the required spectral gaps and bands, yet for which no smooth linearizing coordinate change exists, would falsify the result.

read the original abstract

The main purpose of this paper is to formulate new conditions for smooth linearization of nonautonomous systems with discrete and continuous time. Our results assume that the linear part admits a very general form of dichotomy known as $\mu$-dichotomy and that the associated $\mu$-dichotomy spectrum exhibits appropriate spectral gap and spectral band conditions. We observe that our notion of $\mu$-dichotomy encompasses the classical notions of exponential, polynomial and logarithmic dichotomies as very particular cases. In particular, our result is in sharp contrast to most of the previous results in the literature which assumed that the linear part admits an exponential dichotomy. Our techniques exploit the relationship between $\mu$-dichotomy and exponential dichotomy via a suitable reparametrization of time.

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 formulates new conditions for smooth linearization of nonautonomous systems (discrete and continuous time) under the assumption that the linear part admits a general μ-dichotomy whose associated spectrum satisfies spectral gap and band conditions. It reduces μ-dichotomy to exponential dichotomy via time reparametrization and claims this yields C^1 (or smoother) linearizing maps, generalizing prior results that required exponential dichotomy; the approach is said to cover polynomial and logarithmic dichotomies as special cases.

Significance. If the central claims hold, the results would meaningfully extend smooth linearization theory to systems with weaker, non-exponential dichotomy properties that arise in applications with polynomial or logarithmic growth. The unified μ-dichotomy framework and explicit reduction via reparametrization constitute a technical contribution, though the paper provides no machine-checked proofs or reproducible code.

major comments (2)
  1. [§4, Theorem 4.3] §4, Theorem 4.3: the estimates bound only the Hölder modulus of the time-reparametrization φ; they do not verify that Dφ remains bounded away from zero and infinity uniformly when the spectral band condition is merely an interval separation (rather than a uniform exponential gap). Consequently the pulled-back vector field may lose C^1 regularity if μ is merely continuous.
  2. [§3] §3 (spectral conditions): the manuscript asserts that the μ-dichotomy spectrum reduces to the classical exponential case under the stated gap and band hypotheses, but does not supply an explicit verification that the reparametrized linear system inherits a uniform exponential gap when the original μ-spectrum satisfies only the weaker band separation.
minor comments (2)
  1. [Abstract] The abstract states the main technique but omits any mention of the precise regularity class of the linearizing map or the precise form of the spectral band condition.
  2. [Introduction / Preliminaries] Notation for the μ-function and the reparametrization φ is introduced without a dedicated preliminary subsection; a short table comparing the classical dichotomies recovered as special cases would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments, which help clarify the technical details of our reduction from μ-dichotomy to exponential dichotomy. We address each major comment below and will incorporate clarifications and additional estimates into the revised manuscript.

read point-by-point responses

  1. Referee: [§4, Theorem 4.3] §4, Theorem 4.3: the estimates bound only the Hölder modulus of the time-reparametrization φ; they do not verify that Dφ remains bounded away from zero and infinity uniformly when the spectral band condition is merely an interval separation (rather than a uniform exponential gap). Consequently the pulled-back vector field may lose C^1 regularity if μ is merely continuous.

    Authors: We agree that the current proof of Theorem 4.3 focuses on the Hölder modulus of φ and should explicitly confirm uniform bounds on Dφ away from zero and infinity. Under the spectral band separation hypothesis, the reparametrization φ is constructed so that its derivative satisfies 1/C ≤ Dφ(t) ≤ C for a constant C depending only on the band widths and the μ-dichotomy constants; this follows from integrating the spectral gap over the reparametrized time scale. We will add a short lemma (new Lemma 4.4) deriving these bounds directly from the band condition and insert the corresponding estimate into the proof of Theorem 4.3. This will ensure the pulled-back vector field remains C^1 when μ is continuous. Revision will be made. revision: yes

  2. Referee: [§3] §3 (spectral conditions): the manuscript asserts that the μ-dichotomy spectrum reduces to the classical exponential case under the stated gap and band hypotheses, but does not supply an explicit verification that the reparametrized linear system inherits a uniform exponential gap when the original μ-spectrum satisfies only the weaker band separation.

    Authors: Section 3 already contains the reduction argument: the time reparametrization is chosen precisely so that the μ-spectrum interval separation becomes a uniform exponential gap for the transformed linear system. The band condition guarantees that the new time scale stretches the intervals into a fixed positive distance independent of t. Nevertheless, we acknowledge that the verification is somewhat implicit. In the revision we will insert an explicit computation (new Proposition 3.5) showing that the Lyapunov exponents of the reparametrized system differ from the original μ-spectrum by a factor controlled by the band widths, thereby confirming a uniform exponential gap. This addresses the weaker band-separation case directly. revision: partial

Circularity Check

0 steps flagged

No circularity: derivation reduces via explicit reparametrization to independent exponential-dichotomy results

full rationale

The paper defines μ-dichotomy as a generalization encompassing exponential, polynomial and logarithmic cases, then applies a time reparametrization t ↦ φ(t) whose properties are controlled by the given μ-function. This reduction is not self-definitional: the spectral gap and band conditions are stated as hypotheses, the reparametrization is constructed from the μ-dichotomy data rather than fitted to the target linearization, and the subsequent C^1 conjugacy is obtained by invoking known results for the exponential case after the change of time. No load-bearing self-citation chain, no parameter fitted on a subset and renamed as prediction, and no ansatz smuggled via prior work by the same authors appears in the derivation. The central claim therefore retains independent mathematical content once the stated assumptions are granted.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Review is based solely on the abstract; full text not available for detailed audit. The claim rests on standard domain assumptions about dichotomy spectra rather than new free parameters or invented entities.

axioms (2)
  • domain assumption The linear part admits a μ-dichotomy
    Core assumption stated in the abstract as the basis for the linearization result.
  • domain assumption The μ-dichotomy spectrum satisfies spectral gap and band conditions
    Explicitly required for the result to hold, as per the abstract.

pith-pipeline@v0.9.0 · 5429 in / 1279 out tokens · 34205 ms · 2026-05-08T18:08:20.545825+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

59 extracted references · 59 canonical work pages

  1. [1]

    Aulbach and S

    B. Aulbach and S. Siegmund,The dichotomy spectrum for noninvertible systems of linear difference equations, J. Differ. Equ. Appl.7(2001), 895–913

    work page 2001

  2. [2]

    Aulbach and T

    B. Aulbach and T. Wanner,Topological simplification of nonautonomous difference equations, J. Differ. Equ. Appl.12(2006), 283–296

    work page 2006

  3. [3]

    Backes,A(µ, ν)-dichotomy spectrum, J

    L. Backes,A(µ, ν)-dichotomy spectrum, J. Math. Anal. Appl. 549(2025), 129482

    work page 2025

  4. [4]

    Backes and D

    L. Backes and D. Dragiˇ cevi´ c,A general approach to nonautonomous shadowing for nonlinear dynamics, Bull. Sci. Math.170, (2021), 102996

    work page 2021

  5. [5]

    Backes and D

    L. Backes and D. Dragiˇ cevi´ c,Smooth linearization of nonautonomous coupled systems, Discrete and Contin- uous Dynamical Systems - Series B,28(2023), 4497–4518

    work page 2023

  6. [6]

    Backes and D

    L. Backes and D. Dragiˇ cevi´ c,A characterization of(µ, ν)-dichotomies via admissibility, Mathematische Nachrichten,298(2025), 2547–2569

    work page 2025

  7. [7]

    Barreira, D

    L. Barreira, D. Dragiˇ cevi´ c and C. Valls,From one-sided dichotomies to two-sided dichotomies, Discrete Contin. Dyn. Syst.35(2015), 2817–2844

    work page 2015

  8. [8]

    Barreira and C

    L. Barreira and C. Valls, Stability of nonautonomous differential equations1926, Berlin: Springer, 2008

    work page 2008

  9. [9]

    Barreira and C

    L. Barreira and C. Valls,A Grobman–Hartman theorem for general nonuniform exponential dichotomies, J. Funct. Anal.257(2009), 1976–1993

    work page 2009

  10. [10]

    G. R. Belitskii,Functional equations and the conjugacy of diffeomorphism of finite smoothness class, Funct. Anal. Appl.7(1973), 268–277

    work page 1973

  11. [11]

    A. J. Bento and C. Silva,Stable manifolds for nonuniform polynomial dichotomies, J. Funct. Anal.257 (2009), 122–148

    work page 2009

  12. [12]

    A. J. Bento and C. M. Silva,Nonuniform(µ, ν)-dichotomies and local dynamics of difference equations, Nonlinear Anal.75(2012), 78–90

    work page 2012

  13. [13]

    A. J. Bento and C. M. Silva,Generalized Nonuniform Dichotomies and Local Stable Manifolds, J. Dyn. Diff. Equat.25(2013), 1139–1158

    work page 2013

  14. [14]

    Casta˜ neda, I

    A. Casta˜ neda, I. Huerta and G. Robledo,Smoothness of linearization by mixing parameters of dichotomy, bounded growth and perturbation, preprint, arXiv:2409.19197

    work page arXiv

  15. [15]

    Casta˜ neda, P

    A. Casta˜ neda, P. Monzon and G. Robledo,Nonuniform contractions and converse stability results via a smooth topological equivalence, Dyn. Syst.38(2023), 179–196

    work page 2023

  16. [16]

    Casta˜ neda and G

    A. Casta˜ neda and G. Robledo,Differentiability of Palmer’s linearization theorem and converse result for density function, J. Differ. Equ.259(2015), 4634-4650

    work page 2015

  17. [17]

    Casta˜ neda and N

    A. Casta˜ neda and N. Jara,A note on the differentiability of Palmer’s topological equivalence for discrete systems, Proceedings of the Royal Society of Edinburgh Section A: Mathematics,154(2024), 600–628

    work page 2024

  18. [18]

    Chang, J

    X. Chang, J. Zhang and J. Qin,Robustness of nonuniform(µ, ν)-dichotomies in Banach spaces, J. Math. Anal. Appl.387(2012) 582–594

    work page 2012

  19. [19]

    S. N. Chow and H. Leiva,Existence and roughness of the exponential dichotomy for skew-product semiflow in Banach spaces, J. Differ. Equ.120(1995) 429–477

    work page 1995

  20. [20]

    Chu,Robustness of nonuniform behavior for discrete dynamics, Bull

    J. Chu,Robustness of nonuniform behavior for discrete dynamics, Bull. Sci. Math.137(2013) 1031-1047

    work page 2013

  21. [21]

    J. Chu, H. Zhu, S. Siegmund and Y. Xia,Nonuniform dichotomy spectrum for nonautonomous difference equations, Adv. Nonlinear Anal.11(2022), 369–384

    work page 2022

  22. [22]

    W. A. Coppel,Dichotomies in Stability Theory, Lecture Notes in Math.629, Springer, Berlin, 1978. SMOOTH LINEARIZATION OF NONAUTONOMOUS DYNAMICS 33

    work page 1978

  23. [23]

    L. V. Cuong, T. S. Doan and S. Siegmund, ASternberg theorem for nonautonomous differential equations, J. Dynam. Diff. Eq.,31(2019), 1279–1299

    work page 2019

  24. [24]

    de la Llave and C

    R. de la Llave and C. E. Wayne,On Irwin’s proof of the pseudostable manifold theorem. Math. Z.219(1995), 301–321

    work page 1995

  25. [25]

    Dragiˇ cevi´ c,h-dichotomies via noncritical uniformity and expansiveness for evolution families, Math

    D. Dragiˇ cevi´ c,h-dichotomies via noncritical uniformity and expansiveness for evolution families, Math. Ann. 395(2026), no. 1, 17

    work page 2026

  26. [26]

    Dragiˇ cevi´ c, A

    D. Dragiˇ cevi´ c, A. L. Sasu and B. Sasu,On polynomial dichotomies of discrete nonautonomous systems on the half-line, Carpathian J. Math.38(2022), 663–680

    work page 2022

  27. [27]

    Dragiˇ cevi´ c,Admissibility and nonuniform polynomial dichotomies, Math

    D. Dragiˇ cevi´ c,Admissibility and nonuniform polynomial dichotomies, Math. Nachr.293(2020), 226–243

    work page 2020

  28. [28]

    Dragiˇ cevi´ c,Global smooth linearization of nonautonomous contractions on Banach spaces, Electron

    D. Dragiˇ cevi´ c,Global smooth linearization of nonautonomous contractions on Banach spaces, Electron. J. Qual. Theory Differ. Equ. 12 (2022), 1–19

    work page 2022

  29. [29]

    Dragiˇ cevi´ c and C

    D. Dragiˇ cevi´ c and C. M. Silva,Generalized dichotomies via time rescaling, Discrete and Continuous Dynamical Systems - S,18(2025), 3917–3944

    work page 2025

  30. [30]

    Dragiˇ cevi´ c, C

    D. Dragiˇ cevi´ c, C. Silva and H. Vilarinho,Admissibility and generalized nonuniform dichotomies for nonau- tonomous random dynamical systems, J. Math. Anal. Appl.549(2025), 129441

    work page 2025

  31. [31]

    Dragiˇ cevi´ c, W

    D. Dragiˇ cevi´ c, W. Zhang and W. Zhang,Smooth linearization of nonautonomous difference equations with a nonuniform dichotomy, Math. Z.292(2019), 1175–1193

    work page 2019

  32. [32]

    Dragiˇ cevi´ c, W

    D. Dragiˇ cevi´ c, W. N. Zhang and W. M. Zhang,Smooth linearization of nonautonomous differential equations with a nonuniform dichotomy, Proc. London Math. Soc.121(2020), 32–50

    work page 2020

  33. [33]

    S. N. Elaydi,An Introduction to Difference Equations, 3rd ed., Springer, New York, 2005

    work page 2005

  34. [34]

    Elorreaga, J

    H. Elorreaga, J. F. Pe˜ na and G. Robledo,Noncritical uniformity and expansiveness for uniformh- dichotomies, Math. Ann.393(2025), 1769–1795

    work page 2025

  35. [35]

    D. M. Grobman,Topological classification of the neighborhood of a singular point inn-dimensional space, Mat. Sb.56(1962), 77–94

    work page 1962

  36. [36]

    Hale and W

    J.K. Hale and W. Zhang,On uniformity of exponential dichotomies for delay equations, J. Differ. Equ.204 (2004) 1–4

    work page 2004

  37. [37]

    Hartman,A lemma in the theory of structural stability of differential equations, Proc

    P. Hartman,A lemma in the theory of structural stability of differential equations, Proc. Amer. Math. Soc. 11(1960), 610–620

    work page 1960

  38. [38]

    Jara,Smoothness of classC 2 of nonautonomous linearization without spectral conditions, J

    N. Jara,Smoothness of classC 2 of nonautonomous linearization without spectral conditions, J. Dyn. Diff. Equat.36(2024), 1759–1776

    work page 2024

  39. [39]

    Jara and C

    N. Jara and C. A. Gallegos,Spectrum invariance dilemma for nonuniformly kinematically similar systems, Math. Ann.391(2025), 2255–2280

    work page 2025

  40. [40]

    Lu and Y

    W. Lu and Y. Xia,Pugh’s global linearization for nonautonomous systems withµ-dichotomy via Lyapunov theory, preprint, https://arxiv.org/pdf/2506.02855

    work page arXiv

  41. [41]

    Naulin and M

    R. Naulin and M. Pinto,Roughness of(h, k)-dichotomies, J. Differential Equations118(1995), 20–35

    work page 1995

  42. [42]

    Palis,On the local structure of hyperbolic points in Banach spaces, An

    J. Palis,On the local structure of hyperbolic points in Banach spaces, An. Acad. Brasil. Ciˆ enc.40(1968), 263-266

    work page 1968

  43. [43]

    Palmer,A generalization of Hartman’s linearization theorem, J

    K. Palmer,A generalization of Hartman’s linearization theorem, J. Math. Anal. Appl.41(1973), 753–758

    work page 1973

  44. [44]

    K. J. Palmer,Exponential dichotomies and transversal homoclinic points, J. Differ. Equ.55(1984) 225–256

    work page 1984

  45. [45]

    Pan,Parameter Dependence of Stable Invariant Manifolds for Delay Differential Equations under(µ, ν)- Dichotomies, Journal of Mathematics, 2014, art

    L. Pan,Parameter Dependence of Stable Invariant Manifolds for Delay Differential Equations under(µ, ν)- Dichotomies, Journal of Mathematics, 2014, art. no. 989526

    work page 2014

  46. [46]

    Perron,Die stabilit¨ atsfrage bei differentialgleichungen, Math

    O. Perron,Die stabilit¨ atsfrage bei differentialgleichungen, Math. Z.32(1930) 703–728

    work page 1930

  47. [47]

    P¨ otzsche, Geometric theory of discrete nonautonomous dynamical systems, Springer, 2010

    C. P¨ otzsche, Geometric theory of discrete nonautonomous dynamical systems, Springer, 2010

    work page 2010

  48. [48]

    Pugh,On a theorem of P

    C. Pugh,On a theorem of P. Hartman, Amer. J. Math.91(1969), 363-367

    work page 1969

  49. [49]

    Rayskin,α-H¨ older linearization, J

    V. Rayskin,α-H¨ older linearization, J. Differ. Equ.147(1998), 271–284

    work page 1998

  50. [50]

    R. J. Sacker and G. R. Sell,A spectral theory for linear differential systems, J. Differ. Equ.27(1978), 320–358

    work page 1978

  51. [51]

    G. R. Sell and Y. You, Dynamics of evolutionary equations143, New York: Springer, 2002

    work page 2002

  52. [52]

    C. M. Silva,Admissibility and generalized nonuniform dichotomies for discrete dynamics, Commun. Pure Appl. Anal.,20(2021), 3419-3443

    work page 2021

  53. [53]

    C. M. Silva,Nonuniformµ-dichotomy spectrum and kinematic similarity, Journal of Differential Equations, 375(2023), 618–652

    work page 2023

  54. [54]

    Sternberg,Local contractions and a theorem of Poincar´ e, Amer

    S. Sternberg,Local contractions and a theorem of Poincar´ e, Amer. J. Math.79(1957), 809–824

    work page 1957

  55. [55]

    Sternberg,On the structure of local homeomorphisms of Euclideann-space, Amer

    S. Sternberg,On the structure of local homeomorphisms of Euclideann-space, Amer. J. Math.80(1958), 623-631

    work page 1958

  56. [56]

    van Strien,Smooth linearization of hyperbolic fixed points without resonance conditions, J

    S. van Strien,Smooth linearization of hyperbolic fixed points without resonance conditions, J. Differ. Equ.85 (1990), 66–90

    work page 1990

  57. [57]

    Tan,σ-Holder continuous linearization near hyperbolic fixed points inR n, J

    B. Tan,σ-Holder continuous linearization near hyperbolic fixed points inR n, J. Differential Equations162 (2000), 251–269

    work page 2000

  58. [58]

    W. M. Zhang, W. N. Zhang and W. Jarczyk,Sharp regularity of linearization forC 1,1 hyperbolic diffeomor- phisms, Math. Ann.358(2014), 69–113

    work page 2014

  59. [59]

    Zhou and W

    L. Zhou and W. Zhang,Admissibility and roughness of nonuniform exponential dichotomies for difference equations, J. Funct. Anal.271(2016), 1087–1129. 34 LUCAS BACKES, DAVOR DRAGI ˇCEVI´C, AND WENMENG ZHANG (Lucas Backes)Department of Mathematics, Universidade Federal do Rio Grande do Sul, A v. Bento Goncalves 9500, CEP 91509-900, Porto Alegre, RS, Brazil ...

    work page 2016