REVIEW 1 major objections 4 minor 1 cited by
Large KAM tori for quasi-linear perturbations of KdV
T0 review · 1 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read Multi-solitons of any size survive strong KdV perturbations.
desk verdict First arbitrary-size KAM theorem for quasi-linear KdV perturbations; proof is sound but leans heavily on a companion paper that must be treated as part of the manuscript. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The machinery centers on the canonical chart $\Psi_\nu$ of [19]: a symplectic diffeomorphism $(\theta,y,w)\mapsto q$ near a compact family of $S_+$-gap potentials for which $q(\theta,\nu+y,0)$ is the finite-gap potential, $w=0$ describes the torus, and expansions (3.5)-(3.6) express the chart and its transpose as $w+\sum_{k=1}^M a_{-k}\partial_x^{-k}w$ plus remainders of arbitrary negative order satisfying tame estimates in positive and negative Sobolev spaces. Using that chart, the paper derives a pseudo-differential expansion of the linearized Hamiltonian operator $L_\omega$, then reduces it in four stages: a quasi-periodic time reparametrization makes the top-order coefficient satisfy a normalization condition; the transport flow of a first-order vector field, together with a quantitative Egorov theorem, eliminates the $(\phi,x)$-dependence of the top coefficient; two further symplectic conjugations remove the $x$- and $\phi$-dependence of the first-order coefficient; and a KAM reducibility iteration diagonalizes the remaining order-zero part for most parameters. This almost-invertibility is then inserted into a Nash-Moser scheme to construct the torus embeddings.
What would settle it
Evaluate expansion (3.5) for a large-amplitude one- or two-gap KdV potential and check whether the equality $a^{\Psi\top}_{-1}=-a^\Psi_{-1}$ in (3.7) and the negative-Sobolev remainder bounds of Corollaries 3.3-3.4 hold; an explicit failure at this order would block the reduction. A numerical test of the top-order coefficient after the transport-flow conjugation, checking whether it becomes the constant $m_3=-1+O(\varepsilon)$ as claimed in Lemma 6.5, would likewise settle the reducibility mechanism.
Extended reading notes
Core claim
The paper's central claim is Theorem 1.1. For any $f\in C^\infty(\mathbb{T}^1\times\mathbb{R}\times\mathbb{R})$ and any finite set $S_+$ of excited modes, there is $\bar s> (|S_+|+1)/2$ and $\varepsilon_0>0$ such that for $0<\varepsilon<\varepsilon_0$ there is a measurable set $\Xi_\varepsilon\subset\Xi$ with $|\Xi\setminus\Xi_\varepsilon|\to 0$, and for each $\nu\in\Xi_\varepsilon$ a quasi-periodic solution $u_\varepsilon(\omega_\varepsilon(\nu)t,x;\nu)$ of $\partial_t u=\partial_x\nabla H_\varepsilon(u)$ whose Sobolev distance to the finite-gap solution $q(\cdot,\cdot;\nu)$ tends to zero as $\varepsilon\to 0$, with frequency vector $\omega_\varepsilon(\nu)\to -\omega^{\rm kdv}(\nu)$; the torus is linearly stable. The decisive point is that the size of the finite-gap torus is not assumed small and the perturbation is quasi-linear, meaning its Hamiltonian density may depend on $u_x$, so the perturbing vector field contains $\partial_x^3$ terms of the same order as the unperturbed one.
Load-bearing premise
The proof assumes from the companion paper [19] that the canonical coordinates near any compact family of $S_+$-gap potentials satisfy the pseudo-differential expansions and tame estimates of Theorem 3.2, Corollaries 3.3 and 3.4; if those expansions or their negative-Sobolev extensions fail, the reduction of the linearized operator and the Nash-Moser construction collapse.
Editorial extensions
If this is right
- For any finite set of excited modes and any smooth quasi-linear Hamiltonian perturbation that is small, the perturbed equation admits quasi-periodic invariant tori for a set of amplitude parameters whose complement has measure tending to zero with the perturbation size.
- These tori are linearly stable, so the finite-gap KdV solutions are not merely shadowed but persist in a linearly stable sense.
- The theorem supplies the first existence result for quasi-periodic solutions of arbitrary size under strongly nonlinear perturbations of an integrable PDE, removing the small-amplitude barrier that limited earlier KAM theorems.
- The authors expect the same method to extend to equations in the KdV hierarchy and to defocusing NLS and mKdV; if that expectation is borne out, large finite-gap tori persist in those models as well.
Reading between the lines
- Because the obstruction to the proof is concentrated in the imported normal-form chart, testing that chart numerically for one nontrivial large two-gap potential would give a cheap indicator of the theorem's reach; the KAM and Nash-Moser estimates themselves are self-contained here.
- A testable extension would be to repeat the reduction with nonzero mean $c$ or with only $C^{s_*}$ density $f$; the authors note the argument is written for $c=0$ and $f\in C^\infty$ just for simplicity, so the same proof should carry the theorem to those cases with only notational changes.
- If the companion normal-form chart is established for the defocusing NLS hierarchy, the same four-stage reduction may transfer, suggesting that the main structural requirement is a normal-form coordinate system with pseudo-differential expansion, not the specific KdV dispersion.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper proves Theorem 1.1: for any finite subset S+ of positive integers and any Hamiltonian perturbation of KdV of the form ∂t u = ∂x ∇Hε(u) with Hε = Hkdv + εP and P(u) = ∫ f(x,u,ux)dx, f ∈ C∞, there is, for sufficiently small ε, a set of parameters of asymptotically full measure on which the perturbed equation admits a quasi-periodic solution close to the corresponding S+-gap solution of KdV, with frequency close to -ωkdv, and with a linearly stable invariant torus. The proof combines the canonical coordinates of KdV with the pseudo-differential normal-form chart Ψν constructed in the companion paper [19], derives pseudo-differential expansions for the linearized Hamiltonian vector fields, reduces the linearized operator Lω to a constant-coefficient operator of order three up to order-zero remainders, and then applies a KAM reducibility scheme and a Nash-Moser iteration with measure estimates.
Significance. If correct, the theorem resolves a longstanding question: it gives KAM persistence of finite-gap solutions of arbitrary size under genuinely quasi-linear Hamiltonian perturbations, going substantially beyond the earlier semilinear and small-amplitude results. The paper is technically very substantial: it contains detailed tame estimates, a quantitative Egorov theorem for transport flows, a careful reduction of Lω through four changes of variables, a modulo-tame KAM reducibility scheme, and explicit measure estimates based on the non-degeneracy of KdV frequencies. The dependence on the companion paper [19] is stated transparently, and the results of Sections 3.2-8 are largely self-contained once Theorem 3.2 is granted.
major comments (1)
- [§3.1, Theorem 3.2] Theorem 3.2 is the load-bearing premise of the entire paper: the pseudo-differential expansions (3.5)-(3.6), the normal-form property (AE3), and the tame estimates (Est1)-(Est2) are imported from the companion paper [19]. Corollaries 3.3 and 3.4, Lemmas 3.5 and 3.7, and through them Lemma 6.3 and the whole reduction in Sections 6-7, all depend on this theorem. The manuscript proves consequences of Theorem 3.2 but not the theorem itself. Because [19] is published, this is a structural dependency rather than an internal inconsistency; nonetheless, the referee cannot verify the central claim from this manuscript alone. The authors should state explicitly which assertions of [19] are being used in exactly what form and confirm that no modification of the remainder orders or tame estimates of [19] is needed, since a change of even one derivative in (3.5)-(3.6) would alter the order of the leading pseudo-differential part of Lω and invalidate the reducibility argument.
minor comments (4)
- [§5, after (5.3)] The text contains several typos and small grammatical errors, for example 'noe' after (5.3), 'inveritibility' near (5.22), 'Correpondingly' in Section 2.1, and 'repsectively' in the introduction; these should be corrected.
- [§6.2, Eq. (6.20)] The operator Lω^(1) is called a Hamiltonian operator after conjugation by the time reparametrization Φ^(1) and scaling by 1/ρ. Since Φ^(1) is not a symplectic map of the phase space, the manuscript should explicitly justify why the conjugated and scaled operator remains Hamiltonian (for instance by noting that ρ is independent of x and that Φ^(1) commutes with ∂x), because the later KAM scheme uses the Hamiltonian structure to ensure real frequencies and the symmetry properties of the diagonal part.
- [§2.2, Lemma 2.6] The proof of Lemma 2.6 uses formal manipulations with the nonlocal operator ∂x^{-1}; the statement would be clearer if it noted that the expansion is an asymptotic pseudo-differential expansion, so that the computation of the leading coefficients is justified in the symbol calculus rather than by exact operator identities.
- [§6.1, Lemma 6.3] In the display (6.9), the term Op(r0^(0)) is said to have an expansion (6.11) in homogeneous components, but the remainder after the sum in (6.11) is not shown explicitly; adding the remainder term there would make the statement consistent with the later use of the expansion in the Egorov reductions.
Circularity Check
No circular reduction: the main theorem is not equivalent to its imported normal-form premise.
full rationale
The claimed derivation chain is not circular. Theorem 1.1 asserts the persistence of S+−gap tori for the quasi-linear Hamiltonian perturbation Hε = Hkdv + εP. The paper explicitly imports the normal-form coordinate theorem as Theorem 3.2 from the companion paper [19], stating: "The proof of Theorem 1.1 uses the canonical coordinates constructed in [19] near any given compact family of S+−gap potentials in MS+. These coordinates admit an expansion in terms of pseudo-differential operators up to a remainder of arbitrary negative order. Due to its length, this part of the proof of Theorem 1.1 has been published in a separate paper [19]." This is a load-bearing structural dependency, but not a circular one: Theorem 3.2 concerns the unperturbed KdV equation and gives a canonical chart with pseudo-differential expansions and a normal form for Hkdv; its assumptions (finite S+, bounded open Ξ, small δ) do not include the existence of quasi-periodic solutions of the perturbed equation, and its conclusion is not the target result. The subsequent steps are carried out in this manuscript: Corollaries 3.3–3.4 derive negative-Sobolev extensions from Theorem 3.2; Lemmas 3.5 and 3.7 expand the linearized Hamiltonian vector fields using those corollaries; Sections 6.1–6.5 reduce Lω via transport flows, Egorov theorems, and pseudo-differential calculus proved here (Lemmas 2.9–2.12, 2.25, Propositions 2.28 and 2.31); and Section 7 performs the KAM reducibility of the linearized operator. No parameter is fitted to data and then renamed a prediction, no uniqueness theorem is invoked to forbid alternatives, and no quantity used as an input is identical by construction to the claimed output. The frequency non-degeneracy used for measure estimates is imported from [20] and [11] with stated assumptions independent of Theorem 1.1. Under the rule that a published, parameter-free result with assumptions not containing the target result counts as independent support rather than circularity, the reliance on [19] does not raise the circularity score.
Assumptions & free parameters
assumptions (4)
- standard math Global analytic Birkhoff coordinates for KdV on the torus exist (Theorem 3.1, [20]).
- domain assumption Normal form coordinate chart Ψν with pseudo-differential expansions exists (Theorem 3.2, [19]).
- standard math Non-degeneracy of KdV frequencies: det(∂_{I_k} ω_j^{kdv}) does not vanish identically and Melnikov non-resonance functions are not identically zero (Lemma 3.9, [20], [11]).
- standard math KdV frequency asymptotics: ω_n^{kdv}(I,0) - (2πn)^3 = O(n^{-1}) and n ∂_{I_j} ω_n^{kdv}(I,0) = O(1), stated in (3.61).
Cite this review
Pith. "Pith review of Large KAM tori for quasi-linear perturbations of KdV." pith.science (2026). https://pith.science/paper/MVRS42XZ
@misc{pith2026190808768,
author = {Pith},
title = {Pith review of: Large KAM tori for quasi-linear perturbations of KdV},
year = {2026},
howpublished = {\url{https://pith.science/paper/MVRS42XZ}},
note = {Machine review of arXiv:1908.08768}
}
read the original abstract
In this paper we prove the persistence of space periodic multi-solitons of arbitrary size under any quasi-linear Hamiltonian perturbation, which is smooth and sufficiently small. This answers positively a longstanding question whether KAM techniques can be further developed to prove the existence of quasi-periodic solutions of arbitrary size of strongly nonlinear perturbations of integrable PDEs.
Forward citations
Cited by 1 Pith paper
-
A KAM theorem for the Hamiltonian with finite zero normal frequencies and its applications
For Hamiltonians with a finite number of zero normal frequencies, a KAM-type theorem states that for most frequencies the existence of invariant tori is decided by a single leftover constant, and this yields quasi-per...
Reference graph
Works this paper leans on
-
[19]
T. Kappeler, R. Montalto, Normal form coordinates for the KdV equation having expansi ons in terms of pseudo-differential operators , Comm. Math Phys. DOI: 10.1007/s00220-019-03498-1, 2019
- [1]
- [2]
- [3]
- [4]
-
[5]
D. Bambusi, B. Gr ´ ebert, A. Maspero, D. Robert , Growth of Sobolev norms for abstract linear Schr¨ odinger Equations. J. Eur. Math. Soc. (JEMS), in press 2017
work page 2017
- [6]
- [7]
Show all 30 references
-
[8]
Hamiltonian PDEs and Applications
M. Berti, P. Bolle, A Nash-Moser approach to KAM theory , Fields Institute Communications, special volume “Hamiltonian PDEs and Applications”, 255–284, 2015
2015
-
[9]
Berti, T
M. Berti, T. Kappeler, R. Montalto , Large KAM tori for perturbations of the defocusing NLS equation, Ast´ erisque 403, viii+148 pp., 2018
2018
-
[10]
Berti, R
M. Berti, R. Montalto , Quasi-periodic standing wave solutions of gravity capilla ry standing water waves, to appear in Memoirs of the Amer. Math. Society, MEMO 891, arXiv:1 602.02411, 2016
2016
-
[11]
Bikbaev, S
R. Bikbaev, S. Kuksin , On the parametrization of finite-gap solutions by frequency vector and wave number vectors and a theorem by I. Krichever , Lett. Math. Phys. 28, 115-122, 1993
1993
-
[12]
Dubrovin, I
B. Dubrovin, I. Krichever, S. Novikov, Integrable Systems I , in Dynamical Systems IV , Encyclo- pedia of Mathematical Sciences vol. 4, V. Arnold, S. Novikov (eds.), 173–280, Springer, 1990
1990
-
[13]
Eliasson, B
H. Eliasson, B. Gr ´ ebert, S. Kuksin, KAM for the nonlinear beam equation , Geom. Funct. Anal. Vol. 26, 1588–1715, 2016
2016
-
[14]
Eliasson, S
H. Eliasson, S. Kuksin, KAM for non-linear Schr¨ odinger equation, Annals of Math., 172, 371-435, 2010
2010
-
[15]
F addeev, L
L. F addeev, L. Takhtajan, Hamiltonian methods in the theory of solitons , Springer-Verlag, 1987
1987
-
[16]
Feola, M
R. Feola, M. Procesi , Quasi-periodic solutions for fully nonlinear forced rever sible Schr¨ odinger equa- tions, J. Diff. Eq., 259, no. 7, 3389–3447, 2015
2015
-
[17]
Gardner, J
C. Gardner, J. Greene, M. Kruskal, R. Miura, Korteweg-deVries equation and generalization. VI. Methods for exact solution , Comm. Pure Appl. Math. 27, 97–133, 1974
1974
-
[18]
Giuliani , Quasi-periodic solutions for quasi-linear generalized Kd V equations , J
F. Giuliani , Quasi-periodic solutions for quasi-linear generalized Kd V equations , J. Differential Equa- tions 262, 10, 5052–5132, 2017
2017
-
[20]
Kappeler, J
T. Kappeler, J. P ¨oschel, KdV & KAM , Springer-Verlag, 2003. 67
2003
-
[21]
Kappeler, B
T. Kappeler, B. Schaad, P. Topalov , Qualitative features of periodic solutions of KdV , Comm. Part. Diff. Eqs. 38, (9), 1626–1673, 2013
2013
-
[22]
Kappeler, B
T. Kappeler, B. Schaad, P. Topalov , Semi-linearity of the nonlinear Fourier transform of the defocusing NLS equation , Int. Math. Res. Notices, 7212–7229, 2016
2016
-
[23]
Kruskal, N
M. Kruskal, N. Zabusky, Interactions of ‘solitons” in a collisionless plasma and th e recurrence of initial states, Phys.Rev.Lett. 15, 240–243, 1965
1965
-
[24]
Kuksin , A KAM theorem for equations of the Korteweg-de Vries type , Rev
S. Kuksin , A KAM theorem for equations of the Korteweg-de Vries type , Rev. Math. Phys., 10, 3, 1–64, 1998
1998
-
[25]
Kuksin , Analysis of Hamiltonian PDEs , Oxford University Press, 2000
S. Kuksin , Analysis of Hamiltonian PDEs , Oxford University Press, 2000
2000
-
[26]
Kuksin, G
S. Kuksin, G. Perelman , Vey theorem in infinite dimensions and its application to KdV , Discrete Contin. Dyn. Syst. 27, no. 1, 1-24, 2010
2010
-
[27]
Lax, Integrals of nonlinear equations of evolution and solitary waves, Comm
P. Lax, Integrals of nonlinear equations of evolution and solitary waves, Comm. Pure Appl. Math. 21, 467–490, 1968
1968
-
[28]
J. Liu, X. Yuan , A KAM Theorem for Hamiltonian Partial Differential Equation s with Unbounded Perturbations, Comm. Math. Phys, 307 (3), 629–673, 2011
2011
-
[29]
Miura, C
R. Miura, C. Gardner, M. Kruskal, Korteweg-de Vries equation and generalizations. II. Exist ence of conservation laws and constants of motion , J. Mathematical Phys. 9, 1204–1209, 1968
1968
-
[30]
Zhang, M
J. Zhang, M. Gao, X. Yuan , KAM tori for reversible partial differential equations , Nonlinearity 24, 1189–1228, 2011. 68
2011
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.