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
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.
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
- 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.
Referee Report
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)
- [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.
- [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)
- [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.
- [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
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
-
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
-
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
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
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem 1.4 (Main Theorem I): Any element in ^L2_{τ+1,b}(T^n) must possess classical derivatives up to order [τ−n/2]+1; however, it can admit unbounded weak derivatives from order [τ−n/2]+2 to [τ]+1.
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Definition 1.3 and Theorem 1.6: Diophantine frequencies with exponent τ ≥ n−1 and KAM conjugacy for P ∈ ^L2_{n,b}(T^n)
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
-
[1]
T. Alazard, C. Shao, KAM via standard fixed point theorems. Preprint, 2023. https://doi.org/10.48550/arXiv.2312.13971
-
[2]
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]
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
work page 1963
-
[4]
\' 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]
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]
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]
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]
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]
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]
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
work page 1982
-
[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
work page 1982
-
[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]
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]
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
work page 1979
-
[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
work page 1983
-
[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
work page 1986
-
[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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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
work page 1954
-
[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
work page 1973
-
[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]
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]
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]
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]
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]
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]
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]
-
[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]
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]
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
work page 1962
-
[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
work page 1969
-
[41]
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
work page 1980
-
[42]
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]
J. P\"oschel, KAM below C^n . Preprint, 2021. https://doi.org/10.48550/arXiv.2104.01866
-
[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]
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
work page 1975
-
[46]
Salamon, The Kolmogorov-Arnold-Moser theorem
D. Salamon, The Kolmogorov-Arnold-Moser theorem. Math. Phys. Electron. J. 10 (2004), Paper 3, pp. 37
work page 2004
-
[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]
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]
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]
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]
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
work page 1970
-
[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
work page 1971
-
[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]
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]
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]
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]
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]
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]
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]
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
work page 2002
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.