Pith. sign in

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 →

arxiv 1908.08768 v2 pith:MVRS42XZ submitted 2019-08-23 math.AP math.DS

classification math.APmath.DS MSC 37K5535Q5337K10
keywords KdVequationKAMtheoryforPDEsquasi-linearperturbationsfinite-gapsolutionsperiodicmulti-solitonsBirkhoffcoordinatesNash-Moseriterationpseudo-differentialoperators
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper proves that the periodic multi-soliton solutions of the KdV equation $\partial_t u = -\partial_x^3 u + 6u\partial_x u$ -- solutions of arbitrary size -- survive as linearly stable quasi-periodic tori when the equation is perturbed by any smooth, sufficiently small, quasi-linear Hamiltonian term. Such perturbations are 'strongly nonlinear': they contain the same third-order derivative as the unperturbed equation, so earlier KAM methods that handled only semilinear perturbations did not apply. The result holds for almost every amplitude parameter in the finite-gap family, in the sense that the exceptional set has measure tending to zero with the perturbation strength. The proof combines a Nash-Moser iteration with a multi-step reduction of the linearized operator to a constant-coefficient operator of order three, using pseudo-differential calculus and canonical coordinates adapted to the unperturbed tori.

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.

Watch

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

Editorial extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

1 major / 4 minor

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)
  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)
  1. [§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.
  2. [§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.
  3. [§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.
  4. [§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

0 steps flagged · score 0.0 of 10

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 0 free parameters · 4 assumptions · 0 invented entities

No free parameters are fitted to data; proof constants are chosen by the argument. The axioms are prior theorems cited with attribution, including one companion paper. No invented entities are introduced.

assumptions (4)
  • standard math Global analytic Birkhoff coordinates for KdV on the torus exist (Theorem 3.1, [20]).
    Used to identify finite-gap solutions and action-angle coordinates; established in Kappeler-Pöschel, an accepted prior theorem.
  • domain assumption Normal form coordinate chart Ψν with pseudo-differential expansions exists (Theorem 3.2, [19]).
    Imported from the companion paper; supports expansion (3.5), transpose expansion (3.6), normal form (3.8), and estimates (Est1)-(Est2). If it fails, Sections 6 and 7 fail.
  • 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]).
    Used to pass from actions to frequency parameters and to control small divisors in the KAM reduction.
  • 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).
    Used to bound q_j in the diagonal operator and to derive the measure estimates in Section 8.2.

how reviews work

0 comments
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.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. A KAM theorem for the Hamiltonian with finite zero normal frequencies and its applications

    math.DS 2019-08 conditional novelty 7.0 of 10

    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

30 extracted references · 30 canonical work pages · cited by 1 Pith paper

  1. [19]

    Kappeler, R

    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

  2. [1]

    Baldi, M

    P. Baldi, M. Berti, E. Haus, R. Montalto , Time quasi-periodic gravity water waves in finite depth, Inventiones Math. 214 (2), 739–911, 2018

  3. [2]

    Baldi, M

    P. Baldi, M. Berti, R. Montalto , KAM for quasi-linear and fully nonlinear forced perturbati ons of Airy equation , Math. Annalen 359, 471–536, 2014

  4. [3]

    Baldi, M

    P. Baldi, M. Berti, R. Montalto , KAM for autonomous quasi-linear perturbations of KdV , Ann. Inst. H. Poincar´ e Analyse Non. Lin. 33, no. 6, 1589–1638, 2016

  5. [4]

    Baldi, M

    P. Baldi, M. Berti, R. Montalto , KAM for autonomous quasi-linear perturbations of mKdV , Bollettino Unione Matematica Italiana, 9, 143–188, 2016

  6. [5]

    Bambusi, B

    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

  7. [6]

    Berti, L

    M. Berti, L. Biasco, M. Procesi , KAM theory for the Hamiltonian DNL W , Ann. Sci. ´Ec. Norm. Sup´ er. (4), Vol. 46, fascicule 2, 301–373, 2013

  8. [7]

    Berti, L

    M. Berti, L. Biasco, M. Procesi , KAM theory for the reversible derivative wave equation , Arch. Rational Mech. Anal., 212, 905–955, 2014

Show all 30 references
  1. [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

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

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

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

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

  6. [13]

    Eliasson, B

    H. Eliasson, B. Gr ´ ebert, S. Kuksin, KAM for the nonlinear beam equation , Geom. Funct. Anal. Vol. 26, 1588–1715, 2016

  7. [14]

    Eliasson, S

    H. Eliasson, S. Kuksin, KAM for non-linear Schr¨ odinger equation, Annals of Math., 172, 371-435, 2010

  8. [15]

    F addeev, L

    L. F addeev, L. Takhtajan, Hamiltonian methods in the theory of solitons , Springer-Verlag, 1987

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

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

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

  12. [20]

    Kappeler, J

    T. Kappeler, J. P ¨oschel, KdV & KAM , Springer-Verlag, 2003. 67

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

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

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

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

  17. [25]

    Kuksin , Analysis of Hamiltonian PDEs , Oxford University Press, 2000

    S. Kuksin , Analysis of Hamiltonian PDEs , Oxford University Press, 2000

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

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

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

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

  22. [30]

    Zhang, M

    J. Zhang, M. Gao, X. Yuan , KAM tori for reversible partial differential equations , Nonlinearity 24, 1189–1228, 2011. 68

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.