pith. sign in

arxiv: 2604.04665 · v2 · submitted 2026-04-06 · 🧮 math.DS

Sharp regularity of a weighted Sobolev space over mathbb{T}^n and its relation to finitely differentiable KAM theory

Pith reviewed 2026-05-10 20:00 UTC · model grok-4.3

classification 🧮 math.DS MSC 37J4035Q55
keywords weighted Sobolev spaceKAM theoryfinite differentiabilitytorusvector fieldsregularity conjectureweak derivativesinvariant tori
0
0 comments X

The pith

A weighted Sobolev space on the torus lets KAM theory apply to almost all vector fields whose perturbations have only classical derivatives up to order floor of n over 2.

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

The paper defines and analyzes the sharp regularity of a weighted Sobolev space over the n-torus. It then uses this space to prove that the KAM theorem holds for almost all n-dimensional vector fields when the perturbation is classically differentiable only up to order floor of n over 2. Higher-order weak derivatives may be unbounded. This setup closes the KAM iteration estimates without demanding more classical smoothness. The result advances the long-standing question of the minimal regularity needed for persistence of invariant tori.

Core claim

The weighted Sobolev space on the n-torus possesses regularity properties that suffice to run the KAM iteration for almost all vector fields. In this setting the perturbation is required to be C to the power floor of n over 2, yet its weak derivatives of orders from floor of n over 2 plus 1 to n may remain unbounded. The construction thereby establishes KAM theory in a finitely differentiable category that classical statements had excluded.

What carries the argument

The weighted Sobolev space on the n-torus, whose norm weights higher Fourier modes so that the resulting estimates close the KAM iteration without extra classical derivatives.

If this is right

  • KAM theory applies to a strictly larger class of perturbations than those with infinite differentiability.
  • The minimal classical smoothness required drops to floor of n over 2.
  • Weak derivatives beyond that order may grow without bound while the torus persists.
  • Historical counterexamples to lower regularity are re-examined in light of the new space.

Where Pith is reading between the lines

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

  • The same weighted space might be tested on other compact manifolds where Fourier analysis is available.
  • Numerical schemes for low-regularity KAM problems could be validated against the new threshold.
  • The measure-theoretic notion of almost all fields suggests analogous statements for other infinite-dimensional families of dynamical systems.

Load-bearing premise

The vector fields belong to a full-measure set in a suitable measure on the space of all possible fields, and the weighted space supplies estimates that close the KAM iteration at exactly the stated regularity.

What would settle it

An explicit n-dimensional vector field outside the full-measure set, or inside it, for which a perturbation with classical derivatives only up to floor of n over 2 makes the KAM iteration diverge.

read the original abstract

In this paper, we investigate the sharp regularity properties of a special weighted Sobolev space defined on the $ n $-dimensional torus, which is of independent interest. As a key application, we show that for almost all $ n $-dimensional vector fields, the Kolmogorov-Arnold-Moser (KAM) theory holds via this regularity, and in this case, the perturbation must have classical derivatives up to order $ \left[ {n/2} \right] $, yet it can admit unbounded weak derivatives from order $ \left[ {n/2} \right]+1 $ to $ n$. This result may appear surprising within the classical framework of KAM theory. We also provide further discussion of historical KAM theorems and relevant counterexamples. These findings constitute a new step in the long-standing KAM regularity conjecture.

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 manuscript defines a weighted Sobolev space on the n-torus whose weights are chosen to yield a sharp embedding into C^{[n/2]} while permitting unbounded weak derivatives of orders [n/2]+1 through n. It then asserts that this space supplies the necessary estimates to close a KAM iteration for almost all n-dimensional vector fields, thereby establishing persistence of invariant tori for perturbations that are classically only C^{[n/2]} but lie in the weighted space.

Significance. If the estimates are correct, the result would lower the classical regularity threshold in KAM theory to roughly half the dimension and supply a concrete counterweight to the classical C^{2n+1} or C^{n+1} requirements. The measure-theoretic statement for almost-all frequencies and the explicit construction of a space that is strictly larger than C^{[n/2]} in the weak sense are potentially valuable contributions to the KAM regularity conjecture.

major comments (2)
  1. [KAM application] KAM iteration section: the claim that the weighted norm absorbs the derivative loss incurred when solving the homological equation (typically a loss of order equal to the Diophantine exponent plus dimension-dependent factors) while keeping the classical C^{[n/2]} norm bounded after each Newton step is load-bearing. The sharp embedding H^{s,w} ↪ C^{[n/2]} does not automatically guarantee that the solution remains inside the space once the small-divisor estimates are applied; explicit bounds showing that the classical derivatives up to [n/2] do not blow up after one or two iterations are required.
  2. [Definition and regularity properties] Definition of the weighted space (likely §2–3): the weights are asserted to be optimal for allowing unbounded weak derivatives above order [n/2], yet the manuscript must verify that these weights still produce a Banach algebra or tame estimate compatible with the KAM quadratic convergence; without a precise statement of the tame constants or the precise loss in the homological solver, it is unclear whether the iteration closes for the stated class of perturbations.
minor comments (2)
  1. [Introduction] The abstract and introduction refer to 'almost all' vector fields without specifying the precise measure on the space of vector fields; a short paragraph clarifying the measure (e.g., product of C^{[n/2]} topology and Lebesgue on frequencies) would improve readability.
  2. [Historical remarks] Historical discussion of KAM theorems would benefit from explicit page or theorem numbers when citing counterexamples that require C^{n+1} or higher regularity.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the thorough and constructive report. The two major comments identify key points where additional explicit estimates and clarifications are needed to make the KAM application fully rigorous. We address each comment below and will revise the manuscript to incorporate the requested details.

read point-by-point responses
  1. Referee: [KAM application] KAM iteration section: the claim that the weighted norm absorbs the derivative loss incurred when solving the homological equation (typically a loss of order equal to the Diophantine exponent plus dimension-dependent factors) while keeping the classical C^{[n/2]} norm bounded after each Newton step is load-bearing. The sharp embedding H^{s,w} ↪ C^{[n/2]} does not automatically guarantee that the solution remains inside the space once the small-divisor estimates are applied; explicit bounds showing that the classical derivatives up to [n/2] do not blow up after one or two iterations are required.

    Authors: We agree that the embedding property alone is insufficient and that explicit control on the C^{[n/2]} norm after applying the small-divisor estimates is required for the iteration to close. The manuscript uses the weighted norm to absorb the loss in the homological equation (Section 4), with the embedding then guaranteeing the classical bound. However, the current presentation does not include fully explicit bounds for one or two Newton steps. We will add a new lemma in the KAM section that derives these bounds directly from the weight choice and the Diophantine condition, confirming that the C^{[n/2]} norm remains controlled. revision: yes

  2. Referee: [Definition and regularity properties] Definition of the weighted space (likely §2–3): the weights are asserted to be optimal for allowing unbounded weak derivatives above order [n/2], yet the manuscript must verify that these weights still produce a Banach algebra or tame estimate compatible with the KAM quadratic convergence; without a precise statement of the tame constants or the precise loss in the homological solver, it is unclear whether the iteration closes for the stated class of perturbations.

    Authors: The weights are constructed in Section 2 to achieve the sharp embedding while permitting unbounded weak derivatives of orders [n/2]+1 to n, with optimality verified by the counterexamples in Section 3. The space does satisfy the necessary tame estimates for quadratic convergence because the weights are of polynomial type and the space forms a Banach algebra under pointwise multiplication at the relevant orders. We concur that the tame constants and the precise loss (Diophantine exponent plus dimension-dependent factors) in the homological solver must be stated explicitly. We will insert a new subsection after the definition that records these constants and the loss function, thereby confirming that the iteration closes for the stated perturbations. revision: yes

Circularity Check

0 steps flagged

No significant circularity; weighted Sobolev regularity established independently before KAM application

full rationale

The paper presents the sharp regularity properties of the weighted Sobolev space as a standalone mathematical result of independent interest on the torus. This regularity is then applied as an input to obtain the KAM statement for almost-all vector fields, with the classical differentiability threshold [n/2] and allowance for unbounded weak derivatives above that order. No equation or step in the provided abstract reduces the KAM conclusion to a redefinition, fitted parameter, or self-citation chain that presupposes the target result; the derivation chain remains self-contained with the Sobolev estimates supplying the necessary control.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The abstract provides no explicit free parameters, axioms, or invented entities; the central construction is the weighted Sobolev space itself, whose precise definition and properties are not supplied.

pith-pipeline@v0.9.0 · 5445 in / 1141 out tokens · 71269 ms · 2026-05-10T20:00:39.430468+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

60 extracted references · 60 canonical work pages

  1. [1]

    Alazard and C

    T. Alazard, C. Shao, KAM via standard fixed point theorems. Preprint, 2023. https://doi.org/10.48550/arXiv.2312.13971

  2. [2]

    Albrecht, On the existence of invariant tori in nearly-integrable Hamiltonian systems with finitely differentiable perturbations

    J. Albrecht, On the existence of invariant tori in nearly-integrable Hamiltonian systems with finitely differentiable perturbations. Regul. Chaotic Dyn., 12 (2007), pp. 281--320. https://doi.org/10.1134/S1560354707030033

  3. [3]

    Arnold, Proof of a theorem of A

    V. Arnold, Proof of a theorem of A . N . K olmogorov on the preservation of conditionally periodic motions under a small perturbation of the H amiltonian. Uspehi Mat. Nauk, 18 (1963), pp. 13--40

  4. [4]

    B\' e nyi, T

    \' A . B\' e nyi, T. Oh, The Sobolev inequality on the torus revisited. Publ. Math. Debrecen 83 (2013), pp. 359--374. https://doi.org/10.5486/PMD.2013.5529

  5. [5]

    Duke Math

    L. Biasco, J. Massetti, M. Procesi, Small amplitude weak almost periodic solutions for the 1D NLS. Duke Math. J. 172 (2023), pp. 2643--2714. https://doi.org/10.1215/00127094-2022-0089

  6. [6]

    Bounemoura, Positive measure of KAM tori for finitely differentiable H amiltonians

    A. Bounemoura, Positive measure of KAM tori for finitely differentiable H amiltonians. J. \' E c. polytech. Math., 7 (2020), pp. 1113--1132. https://doi.org/10.5802/jep.137

  7. [7]

    Cheng, L

    C. Cheng, L. Wang, Destruction of Lagrangian torus for positive definite Hamiltonian systems. Geom. Funct. Anal. 23 (2013), pp. 848--866. https://doi.org/10.1007/s00039-013-0213-z

  8. [8]

    Chierchia, D

    L. Chierchia, D. Qian, Moser's theorem for lower dimensional tori. J. Differential Equations 206 (2004), pp. 55--93. https://doi.org/10.1016/j.jde.2004.06.014

  9. [9]

    J. Dou, M. Zhu, Reversed Hardy-Littewood-Sobolev inequality. Int. Math. Res. Not. IMRN 2015, pp. 9696--9726. https://doi.org/10.1093/imrn/rnu241

  10. [10]

    Douady, Une d\' e monstration directe de l'\' e quivalence des th\' e or\`emes de tores invariants pour diff\' e omorphismes et champs de vecteurs

    R. Douady, Une d\' e monstration directe de l'\' e quivalence des th\' e or\`emes de tores invariants pour diff\' e omorphismes et champs de vecteurs. C. R. Acad. Sci. Paris S\'er. I Math. 295 (1982), pp. 201--204

  11. [11]

    Douady, Applications du th\'eor\`eme des tores invariantes, Thesis, Universit\'e Paris VII, 1982

    R. Douady, Applications du th\'eor\`eme des tores invariantes, Thesis, Universit\'e Paris VII, 1982

  12. [12]

    A. Fan, Y. Meyer, Trigonometric multiplicative chaos and applications to random distributions. Sci. China Math. 66 (2023), pp. 3--36. https://doi.org/10.1007/s11425-021-1969-3

  13. [13]

    Duignan, J

    N. Duignan, J. Meiss, Nonexistence of invariant tori transverse to foliations: an application of converse KAM theory. Chaos 31 (2021), Paper No. 013124, pp. 19. https://doi.org/10.1063/5.0035175

  14. [14]

    Herman, Sur la conjugaison diff\' e rentiable des diff\' e omorphismes du cercle \`a des rotations

    M.-R. Herman, Sur la conjugaison diff\' e rentiable des diff\' e omorphismes du cercle \`a des rotations. Inst. Hautes \' E tudes Sci. Publ. Math. No. 49 (1979), pp. 5--233. http://www.numdam.org/item?id=PMIHES_1979__49__5_0

  15. [15]

    Herman, Sur les courbes invariantes par les diff\' e omorphismes de l'anneau

    M.-R. Herman, Sur les courbes invariantes par les diff\' e omorphismes de l'anneau. V ol. 1. Ast\' e risque, 103 (1983), pp. i+221

  16. [16]

    Herman, Sur les courbes invariantes par les diff\' e omorphismes de l'anneau

    M.-R. Herman, Sur les courbes invariantes par les diff\' e omorphismes de l'anneau. Vol. 2. Ast\' e risque, 144 (1986), pp. 248

  17. [17]

    Herman, Some open problems in dynamical systems

    M.-R. Herman, Some open problems in dynamical systems. Proceedings of the International Congress of Mathematicians, Vol. II (Berlin, 1998). Doc. Math. 1998, Extra Vol. II, pp. 797--808. https://doi.org/10.4171/DMS/1-2/76

  18. [18]

    Y. Han, Y. Li, Y. Yi, Invariant tori in Hamiltonian systems with high order proper degeneracy. Ann. Henri Poincar\' e 10 (2010), pp. 1419--1436. https://doi.org/10.1007/s00023-010-0026-7

  19. [19]

    Hu, Quasi-periodic solutions for Schr\"odinger equation with finite smooth quasi-periodic forcing

    S. Hu, Quasi-periodic solutions for Schr\"odinger equation with finite smooth quasi-periodic forcing. SIAM J. Appl. Dyn. Syst. 22 (2023), pp. 1945--1982. https://doi.org/10.1137/22M1523649

  20. [20]

    S. Hu, J. Zhang, Response solutions for finite smooth harmonic oscillators with quasi-periodic forcing. Discrete Contin. Dyn. Syst. 44 (2024), pp. 1267--1286. https://doi.org/10.3934/dcds.2023144

  21. [21]

    Huang, X

    P. Huang, X. Li, B. Liu, Invariant curves of smooth quasi-periodic mappings. Discrete Contin. Dyn. Syst. 38 (2018), pp. 131--154. https://doi.org/10.3934/dcds.2018006

  22. [22]

    Katznelson, D

    Y. Katznelson, D. Ornstein, The absolute continuity of the conjugation of certain diffeomorphisms of the circle. Ergodic Theory Dynam. Systems 9 (1989), pp. 681--690. https://doi.org/10.1017/S0143385700005289

  23. [23]

    Khesin, S

    B. Khesin, S. Kuksin, D. Peralta-Salas, KAM theory and the 3D Euler equation. Adv. Math. 267 (2014), pp. 498--522. https://doi.org/10.1016/j.aim.2014.09.009 https://doi.org/10.1016/j.aim.2014.09.009

  24. [24]

    Kuksin, J

    S. Kuksin, J. P\"oschel, On the inclusion of analytic symplectic maps in analytic Hamiltonian flows and its applications. Seminar on Dynamical Systems (St. Petersburg, 1991), pp. 96--116, Progr. Nonlinear Differential Equations Appl., 12, Birkh\"auser, Basel, 1994. https://doi.org/10.1007/978-3-0348-7515-8_8

  25. [25]

    Koch, Attracting invariant tori and analytic conjugacies

    H. Koch, Attracting invariant tori and analytic conjugacies. J. Differential Equations 398 (2024), pp. 395--415. https://doi.org/10.1016/j.jde.2024.04.008

  26. [26]

    Koudjinan, A KAM theorem for finitely differentiable H amiltonian systems

    C. Koudjinan, A KAM theorem for finitely differentiable H amiltonian systems. J. Differential Equations, 269 (2020), pp. 4720--4750. https://doi.org/10.1016/j.jde.2020.03.044

  27. [27]

    Kolmogorov, On conservation of conditionally periodic motions for a small change in Hamilton's function

    A. Kolmogorov, On conservation of conditionally periodic motions for a small change in Hamilton's function. Dokl. Akad. Nauk SSSR (N.S.) 98, (1954), pp. 527--530

  28. [28]

    Lazutkin, Existence of caustics for the billiard problem in a convex domain

    V. Lazutkin, Existence of caustics for the billiard problem in a convex domain. Izv. Akad. Nauk SSSR Ser. Mat. 37 (1973), pp. 186--216

  29. [29]

    J. Li, J. Qi, X. Yuan, KAM theorem for reversible mapping of low smoothness with application. Discrete Contin. Dyn. Syst. 43 (2023), pp. 3563--3581. https://doi.org/10.3934/dcds.2023058

  30. [30]

    X. Li, Z. Shang, On the existence of invariant tori in non-conservative dynamical systems with degeneracy and finite differentiability. Discrete Contin. Dyn. Syst. 39 (2019), pp. 4225--4257. https://doi.org/10.3934/dcds.2019171

  31. [31]

    Y. Li, Y. Yi, A quasi-periodic Poincar\' e 's theorem. Math. Ann. 326 (2003), pp. 649--690. https://doi.org/10.1007/s00208-002-0399-0

  32. [32]

    Y. Li, Y. Yi, Persistence of lower dimensional tori of general types in Hamiltonian systems. Trans. Amer. Math. Soc. 357 (2005), pp. 1565--1600. https://doi.org/10.1090/S0002-9947-04-03564-0

  33. [33]

    MacKay, A criterion for nonexistence of invariant tori for Hamiltonian systems

    R. MacKay, A criterion for nonexistence of invariant tori for Hamiltonian systems. Phys. D 36 (1989), pp. 64--82. https://doi.org/10.1016/0167-2789(89)90248-0

  34. [34]

    MacKay, Finding the complement of the invariant manifolds transverse to a given foliation for a 3D flow

    R. MacKay, Finding the complement of the invariant manifolds transverse to a given foliation for a 3D flow. Regul. Chaotic Dyn. 23 (2018), pp. 797--802. https://doi.org/10.1134/S1560354718060126

  35. [35]

    Converse KAM Theory for Symplectic Twist Maps

    R. MacKay, J. Meiss, J. Stark, Converse KAM theory for symplectic twist maps. Nonlinearity 2 (1989), pp. 555--570. https://doi.org/10.1088/0951-7715/2/4/004

  36. [36]

    MacKay, I

    R. MacKay, I. Percival, Converse KAM: theory and practice. Comm. Math. Phys. 98 (1985), pp. 469--512. http://projecteuclid.org/euclid.cmp/1103942538

  37. [37]

    Mather, Nonexistence of invariant circles

    J. Mather, Nonexistence of invariant circles. Ergodic Theory Dynam. Systems, 4 (1984), pp. 301--309. https://doi.org/10.1017/S0143385700002455

  38. [38]

    Meiss, The destruction of tori in volume-preserving maps

    J. Meiss, The destruction of tori in volume-preserving maps. Commun. Nonlinear Sci. Numer. Simul. 17 (2012), pp. 2108--2121. https://doi.org/10.1016/j.cnsns.2011.04.014

  39. [39]

    Moser, On invariant curves of area-preserving mappings of an annulus

    J. Moser, On invariant curves of area-preserving mappings of an annulus. Nachr. Akad. Wiss. G\"ottingen Math.-Phys. Kl. II 1962 (1962), pp. 1--20

  40. [40]

    Moser, On the construction of almost periodic solutions for ordinary differential equations

    J. Moser, On the construction of almost periodic solutions for ordinary differential equations. Proc. Internat. Conf. on Functional Analysis and Related Topics (Tokyo, 1969), pp. 60--67, Univ. Tokyo Press, Tokyo, 1970

  41. [41]

    o schel, \

    J. P\" o schel, \" U ber invariante T ori in differenzierbaren H amiltonschen S ystemen. Bonn. Math. Schr., 120, Univ. Bonn, Mathematisches Institut, 1980, pp. 103

  42. [42]

    , TITLE =

    J. P\" o schel, Integrability of H amiltonian systems on C antor sets. Comm. Pure Appl. Math., 35 (1982), pp. 653--696. https://doi.org/10.1002/cpa.3160350504

  43. [43]

    P\"oschel, KAM below C^n

    J. P\"oschel, KAM below C^n . Preprint, 2021. https://doi.org/10.48550/arXiv.2104.01866

  44. [44]

    W. Qian, Y. Li, X. Yang, Quasiperiodic Poincar\' e persistence at high degeneracy. Adv. Math. 436 (2024), Paper No. 109399, pp. 48. https://doi.org/10.1016/j.aim.2023.109399

  45. [45]

    R\"ussmann, On optimal estimates for the solutions of linear partial differential equations of first order with constant coefficients on the torus

    H. R\"ussmann, On optimal estimates for the solutions of linear partial differential equations of first order with constant coefficients on the torus. Dynamical systems, theory and applications, J. Moser (ed.), Lecture Notes in Physics 38, Springer, 1975, pp. 598--624

  46. [46]

    Salamon, The Kolmogorov-Arnold-Moser theorem

    D. Salamon, The Kolmogorov-Arnold-Moser theorem. Math. Phys. Electron. J. 10 (2004), Paper 3, pp. 37

  47. [47]

    Sevryuk, Partial preservation of frequencies in KAM theory

    M. Sevryuk, Partial preservation of frequencies in KAM theory. Nonlinearity 19 (2006), pp. 1099--1140. https://doi.org/10.1088/0951-7715/19/5/005

  48. [48]

    Sevryuk, KAM tori: persistence and smoothness

    M. Sevryuk, KAM tori: persistence and smoothness. Nonlinearity 21 (2008), pp. T177--T185. https://doi.org/10.1088/0951-7715/21/10/T01

  49. [49]

    Sevryuk, Herman's approach to quasi-periodic perturbations in the reversible KAM context 2

    M. Sevryuk, Herman's approach to quasi-periodic perturbations in the reversible KAM context 2. Mosc. Math. J. 17 (2017), pp. 803--823. https://doi.org/10.17323/1609-4514-2016-16-4-803-823

  50. [50]

    Sorrentino, L

    A. Sorrentino, L. Wang, On the destruction of invariant lagrangian graphs for conformal symplectic twist maps. Calc. Var. Partial Differential Equations 65 (2026), Paper No. 153., pp. 21. https://doi.org/10.1007/s00526-026-03330-4

  51. [51]

    Stein, Singular integrals and differentiability properties of functions

    E. Stein, Singular integrals and differentiability properties of functions. Princeton Mathematical Series, No. 30. Princeton University Press, Princeton, NJ, 1970. pp. xiv+290

  52. [52]

    Takens, A C^1 counterexample to Moser's twist theorem

    F. Takens, A C^1 counterexample to Moser's twist theorem. Nederl. Akad. Wetensch. Proc. Ser. A 74. Indag. Math. 33 (1971), pp. 378--386

  53. [53]

    Treshch\" e v, A mechanism for the destruction of resonance tori in Hamiltonian systems

    D. Treshch\" e v, A mechanism for the destruction of resonance tori in Hamiltonian systems. Mat. Sb. 180 (1989), pp. 1325--1346, 1439; translation in Math. USSR-Sb. 68 (1991), pp. 181--203. https://doi.org/10.1070/SM1991v068n01ABEH001371

  54. [54]

    Z. Tong, Y. Li, Towards sharp regularity: Full dimensional tori in C^ vector fields over T ^ . Preprint, 2023. https://doi.org/10.48550/arXiv.2306.08211

  55. [55]

    Z. Tong, Y. Li, Towards continuity: Universal frequency-preserving KAM persistence and remaining regularity in nearly non-integrable Hamiltonian systems. Commun. Contemp. Math. 27 (2025), pp. 42. https://doi.org/10.1142/S021919972450038X

  56. [56]

    Wagener, A parametrised version of Moser's modifying terms theorem

    F. Wagener, A parametrised version of Moser's modifying terms theorem. Discrete Contin. Dyn. Syst. Ser. S 3 (2010), pp. 719--768. https://doi.org/10.3934/dcdss.2010.3.719

  57. [57]

    Wang, Total destruction of Lagrangian tori

    L. Wang, Total destruction of Lagrangian tori. J. Math. Anal. Appl. 410 (2014), pp. 827--836. https://doi.org/10.1016/j.jmaa.2013.09.018

  58. [58]

    Wang, Quantitative destruction of invariant circles

    L. Wang, Quantitative destruction of invariant circles. Discrete Contin. Dyn. Syst. 42 (2022), pp. 1569--1583. https://doi.org/10.3934/dcds.2021164

  59. [59]

    Wang, Quantitative destruction and persistence of Lagrangian torus in Hamiltonian systems

    L. Wang, Quantitative destruction and persistence of Lagrangian torus in Hamiltonian systems. Preprint, 2023. https://doi.org/10.48550/arXiv.2312.01695

  60. [60]

    Zygmund, Trigonometric series

    A. Zygmund, Trigonometric series. Vol. I, II. Third edition. Cambridge Mathematical Library. Cambridge University Press, Cambridge, 2002. xii; Vol. I: pp. xiv+383; Vol. II: pp. viii+364