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

Recognition: 3 theorem links

· Lean Theorem

Smooth linearization of nonautonomous dynamics under general dichotomic behaviour

Davor Dragicevic, Lucas Backes, Wenmeng Zhang

Authors on Pith no claims yet

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 comments

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.

Desk Editor's Note private letter to a colleague

The paper extends smooth linearization conditions to general μ-dichotomies by reducing them to the exponential case via time reparametrization, which is a useful broadening if the regularity carries through.

read the letter

The paper gives conditions for smooth linearization of nonautonomous systems when the linear part satisfies a μ-dichotomy whose spectrum has a gap and suitable band separation. It reduces the μ-case to an exponential dichotomy by a time change whose speed is governed by μ, and then applies known linearization results in the new time scale. This covers polynomial and logarithmic dichotomies as special cases and moves beyond the exponential-dichotomy assumption that dominates most earlier work. That is the concrete advance on the page.

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)

[§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.
[§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)

[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.
[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

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
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)

Reference graph

Works this paper leans on

59 extracted references · 2 canonical work pages

[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

2001
[2]

Aulbach and T

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

2006
[3]

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

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

2025
[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

2021
[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

2023
[6]

Backes and D

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

2025
[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

2015
[8]

Barreira and C

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

2008
[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

2009
[10]

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

1973
[11]

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

2009
[12]

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

2012
[13]

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

2013
[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]

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

2023
[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

2015
[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

2024
[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

2012
[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

1995
[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

2013
[21]

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

2022
[22]

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

1978
[23]

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

2019
[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

1995
[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

2026
[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

2022
[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

2020
[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

2022
[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

2025
[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

2025
[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

2019
[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

2020
[33]

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

2005
[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

2025
[35]

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

1962
[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

2004
[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

1960
[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

2024
[39]

Jara and C

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

2025
[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]

Naulin and M

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

1995
[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

1968
[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

1973
[44]

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

1984
[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

2014
[46]

Perron,Die stabilit¨ atsfrage bei differentialgleichungen, Math

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

1930
[47]

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

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

2010
[48]

Pugh,On a theorem of P

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

1969
[49]

Rayskin,α-H¨ older linearization, J

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

1998
[50]

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

1978
[51]

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

2002
[52]

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

2021
[53]

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

2023
[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

1957
[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

1958
[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

1990
[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

2000
[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

2014
[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 ...

2016