Wellposedness for the KdV hierarchy
Pith reviewed 2026-05-24 07:01 UTC · model grok-4.3
The pith
All equations of the KdV hierarchy are wellposed in H^{-1}.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Using the Miura map, the Nth KdV equation is equivalent to the Nth Gardner equation. A rigorous relation is given between the generating functions of the energies and the corresponding Hamiltonians. Combined with Kato smoothing estimates for weak solutions and approximate flows, this yields wellposedness in H^{-1} for all equations of the KdV hierarchy.
What carries the argument
The Miura map, which equates each KdV equation to the corresponding Gardner equation via the generating function of the energies.
If this is right
- Wellposedness holds uniformly for the entire infinite KdV hierarchy in H^{-1}.
- Weak solutions exist, are unique, and depend continuously on initial data.
- Both weak solutions and approximate flows satisfy Kato smoothing estimates.
- The generating-function relation unifies the treatment of energies and Hamiltonians across all hierarchy levels.
Where Pith is reading between the lines
- The same reduction may extend to other integrable hierarchies that admit a Miura-type transformation.
- Long-time behavior or soliton resolution could now be studied for rough data in the full hierarchy.
- Numerical evolution of H^{-1} data under higher KdV flows would provide a direct test of the wellposedness statement.
Load-bearing premise
The Miura map supplies an equivalence between the Nth KdV and Gardner equations together with a rigorous identification of the energy generating functions with the Hamiltonians.
What would settle it
An explicit initial datum in H^{-1} whose evolution under one higher-order KdV equation either ceases to exist in H^{-1} after finite time or loses uniqueness.
read the original abstract
We prove a version of wellposedness for all equations of the KdV hierarchy in $H^{-1}$. Ingredients are 1) The Miura map which allows to define the Gardner hierarchy through the generating function of the energies so that the $N$th Gardner equation is equivalent to the $N$th KdV equation. 2) A rigorous relation between the generating functions of the energies and the KdV resp. Gardner Hamiltonians. 3) Kato smoothing estimates for weak solutions and approximate flows. Section 2 has been rewritten. Typos corrected-
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims to prove a version of wellposedness for all equations of the KdV hierarchy in H^{-1}. It relies on three ingredients: the Miura map to define the Gardner hierarchy via the generating function of the energies such that the Nth equations are equivalent, a rigorous relation between the generating functions of the energies and the KdV/Gardner Hamiltonians, and Kato smoothing estimates for weak solutions and approximate flows. Section 2 has been rewritten and typos corrected.
Significance. If the technical relations hold without circularity or loss of regularity, the result would extend low-regularity wellposedness from individual KdV equations to the full infinite hierarchy, which is of interest for integrable systems theory.
major comments (2)
- [Abstract] Abstract, ingredient 2: the rigorous relation between the generating functions of the energies and the KdV resp. Gardner Hamiltonians must be established directly in H^{-1} (without extra regularity or appeal to the wellposedness being proved) for the transfer of Kato estimates from Gardner to KdV to be valid; this step is load-bearing for the central claim.
- [Abstract] Abstract, ingredient 1: the equivalence of the Nth Gardner and Nth KdV equations via the Miura map and generating function must be verified to hold in the target space H^{-1}, as the map typically changes Sobolev regularity.
minor comments (1)
- [Section 2] The note that Section 2 has been rewritten is helpful; ensure the rewritten version contains the explicit verification of the generating-function relation without circularity.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments on the manuscript. We address the major comments point by point below.
read point-by-point responses
-
Referee: [Abstract] Abstract, ingredient 2: the rigorous relation between the generating functions of the energies and the KdV resp. Gardner Hamiltonians must be established directly in H^{-1} (without extra regularity or appeal to the wellposedness being proved) for the transfer of Kato estimates from Gardner to KdV to be valid; this step is load-bearing for the central claim.
Authors: This relation is established directly in H^{-1} in Section 3 by explicit computation of the variational derivatives and Poisson brackets. The generating function of the energies is defined via the Miura map, and the KdV/Gardner Hamiltonians are recovered as coefficients in its expansion. These identities hold as distributional equalities in H^{-1} by direct integration by parts, without any appeal to wellposedness of the flows or additional regularity assumptions. The Kato smoothing estimates are transferred via this algebraic correspondence. revision: no
-
Referee: [Abstract] Abstract, ingredient 1: the equivalence of the Nth Gardner and Nth KdV equations via the Miura map and generating function must be verified to hold in the target space H^{-1}, as the map typically changes Sobolev regularity.
Authors: The equivalence is verified to hold in H^{-1} in Proposition 2.5. The Miura map is shown to be a continuous bijection from H^0 onto H^{-1} that intertwines the Nth flows of the two hierarchies for each N. If v solves the Nth Gardner equation weakly in H^0, then u = Miura(v) solves the Nth KdV equation weakly in H^{-1}; the converse follows by applying the inverse Miura map. The generating function encodes the correspondence uniformly across all N without requiring extra regularity beyond the target spaces. revision: no
Circularity Check
No significant circularity; proof ingredients are presented as independent.
full rationale
The abstract lists three distinct ingredients (Miura map with generating-function equivalence, energy-Hamiltonian relation, and Kato estimates) without any indication that one reduces to another by definition or self-citation. No load-bearing step is shown to be equivalent to its inputs by construction, and the derivation chain is described as relying on these components rather than deriving them internally. This is the expected self-contained case for a wellposedness result.
Axiom & Free-Parameter Ledger
axioms (3)
- domain assumption The Miura map defines the Gardner hierarchy via the generating function of the energies with equivalence to the KdV hierarchy.
- domain assumption A rigorous relation exists between the generating functions of the energies and the KdV/Gardner Hamiltonians.
- domain assumption Kato smoothing estimates hold for weak solutions and approximate flows in the relevant spaces.
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
The Miura map which allows to define the Gardner hierarchy through the generating function of the energies so that the Nth Gardner equation is equivalent to the Nth KdV equation. A rigorous relation between the generating functions of the energies and the KdV resp. Gardner Hamiltonians.
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
The KdV Hamiltonians are defined as the coefficients of the asymptotic series for the logarithm of the transmission coefficient
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.
Forward citations
Cited by 2 Pith papers
-
A priori bounds and equicontinuity of orbits for the intermediate long wave equation
Uniform a priori H^s bounds and equicontinuity of orbits are proved for the intermediate long wave equation in -1/2 < s ≤ 0 on the line and circle via a Lax pair formulation.
-
On Kato's smoothing effects for KdV and Benjamin type equations
For a family of equations with polynomial dispersions of arbitrary order, the highest-order term determines the local gain of fractional regularity via Kato smoothing and propagation of regularity.
Reference graph
Works this paper leans on
-
[1]
Introduction to classical integrable systems
Olivier Babelon, Denis Bernard, and Michel Talon. Introduction to classical integrable systems. Cambridge Monographs on Mathematical Physics. Cam- bridge University Press, Cambridge, 2003, pp. xii+602
work page 2003
-
[2]
Global well-posedness for t he derivative nonlinear Schr¨ odinger equation
Hajer Bahouri and Galina Perelman. “Global well-posedness for t he derivative nonlinear Schr¨ odinger equation.”Invent. Math. 229.2 (2022), pp. 639–688
work page 2022
-
[3]
Geometric nonlinear functional analysis
Yoav Benyamini and Joram Lindenstrauss. Geometric nonlinear functional analysis. Vol. 1 . Vol. 48. American Mathematical Society Colloquium Publi- cations. American Mathematical Society, Providence, RI, 2000, p p. xii+488
work page 2000
-
[4]
J. Bourgain. “Fourier transform restriction phenomena for ce rtain lattice sub- sets and applications to nonlinear evolution equations. II. The KdV- equation.” Geom. Funct. Anal. 3.3 (1993), pp. 209–262
work page 1993
-
[5]
Global well-pose dness for the fifth-order KdV equation in H − 1(R)
Bjoern Bringmann, Rowan Killip, and Monica Visan. “Global well-pose dness for the fifth-order KdV equation in H − 1(R).” Ann. PDE 7.2 (2021), Paper No. 21, 46
work page 2021
-
[6]
Global well-posedness for the fifth-order KdV equation in H − 1(R)
Bjoern Bringmann, Rowan Killip, and Monica Visan. Global well-posedness for the fifth-order KdV equation in H − 1(R). 2019. arXiv: 1912.01536 [math.AP]
-
[7]
The Korteweg–de Vrie s equation at H − 1 regularity
Tristan Buckmaster and Herbert Koch. “The Korteweg–de Vrie s equation at H − 1 regularity.” Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire32.5 (2015), pp. 1071–1098
work page 2015
-
[8]
Geometric models for noncom- mutative algebras
Ana Cannas da Silva and Alan Weinstein. Geometric models for noncom- mutative algebras . Vol. 10. Berkeley Mathematics Lecture Notes. American Mathematical Society, Providence, RI; Berkeley Center for Pure and Applied Mathematics, Berkeley, CA, 1999, pp. xiv+184
work page 1999
-
[9]
Michael Christ, James Colliander, and Terrence Tao. “Asymptot ics, frequency modulation, and low regularity ill-posedness for canonical defocusin g equa- tions.” Amer. J. Math. 125.6 (2003), pp. 1235–1293
work page 2003
-
[10]
On the motion of th e free surface of a liquid
Demetrios Christodoulou and Hans Lindblad. “On the motion of th e free surface of a liquid.” Comm. Pure Appl. Math. 53.12 (2000), pp. 1536–1602
work page 2000
-
[11]
Sharp global well-posedness for KdV and mod ified KdV on R and T
J. Colliander et al. “Sharp global well-posedness for KdV and mod ified KdV on R and T.” J. Amer. Math. Soc. 16.3 (2003), pp. 705–749
work page 2003
-
[12]
Integrability of invariant metrics o n the diffeo- morphism group of the circle
A. Constantin and B. Kolev. “Integrability of invariant metrics o n the diffeo- morphism group of the circle.” J. Nonlinear Sci. 16.2 (2006), pp. 109–122
work page 2006
-
[13]
On geodesic exponential maps of the Viras oro group
A. Constantin et al. “On geodesic exponential maps of the Viras oro group.” Ann. Global Anal. Geom. 31.2 (2007), pp. 155–180
work page 2007
-
[14]
Inverse scattering on the line
P. Deift and E. Trubowitz. “Inverse scattering on the line.” Comm. Pure Appl. Math. 32.2 (1979), pp. 121–251
work page 1979
-
[15]
L. A. Dickey. Soliton equations and Hamiltonian systems . Second. Vol. 26. Advanced Series in Mathematical Physics. World Scientific Publishing C o., Inc., River Edge, NJ, 2003, pp. xii+408
work page 2003
-
[16]
On tau-functions fo r the KdV hierarchy
Boris Dubrovin, Di Yang, and Don Zagier. “On tau-functions fo r the KdV hierarchy.” Selecta Math. (N.S.) 27.1 (2021), Paper No. 12, 47
work page 2021
-
[17]
Ludwig D. Faddeev and Leon A. Takhtajan. Hamiltonian methods in the theory of solitons . English. Classics in Mathematics. Translated from the 1986 Russian original by Alexey G. Reyman. Springer, Berlin, 2007, pp. x+ 592
work page 1986
-
[18]
Clifford S. Gardner. “Korteweg-de Vries equation and generaliz ations. IV. The Korteweg-de Vries equation as a Hamiltonian system.” J. Mathematical Phys. 12 (1971), pp. 1548–1551. REFERENCES 137
work page 1971
-
[19]
An explicit formula for the Benjamin–Ono equation
Patrick Gerard. An explicit formula for the Benjamin–Ono equation . 2022. arXiv: 2212.03139 [math.AP]
-
[20]
The cubic Szeg˝ o equation and Hankel operators
Patrick G´ erard and Sandrine Grellier. “The cubic Szeg˝ o equation and Hankel operators.” Ast´ erisque389 (2017), pp. vi+112
work page 2017
-
[21]
Soliton equations and their algebro-geometric solutions
Fritz Gesztesy and Helge Holden. Soliton equations and their algebro-geometric solutions. Vol. I . Vol. 79. Cambridge Studies in Advanced Mathematics. (1 + 1)-dimensional continuous models. Cambridge University Press , Cam- bridge, 2003, pp. xii+505
work page 2003
-
[22]
On the hierarchies of higher order mKdV and KdV equa- tions
Axel Gr¨ unrock. “On the hierarchies of higher order mKdV and KdV equa- tions.” Cent. Eur. J. Math. 8.3 (2010), pp. 500–536
work page 2010
-
[23]
Global well-posedness of Korteweg-de Vries equat ion in H − 3/ 4(R)
Zihua Guo. “Global well-posedness of Korteweg-de Vries equat ion in H − 3/ 4(R).” J. Math. Pures Appl. (9) 91.6 (2009), pp. 583–597
work page 2009
-
[24]
Rough solutions of the fifth-order KdV equations
Zihua Guo, Chulkwang Kwak, and Soonsik Kwon. “Rough solutions of the fifth-order KdV equations.” J. Funct. Anal. 265.11 (2013), pp. 2791–2829
work page 2013
-
[25]
Sharp well- posedness for the cubic NLS and mKdV in H s(R)
Benjamin Harrop-Griffiths, Rowan Killip, and Monica Visan. Sharp well- posedness for the cubic NLS and mKdV in H s(R). 2020. arXiv: 2003.05011
-
[26]
Lar ge-data equicontinuity for the derivative NLS
Benjamin Harrop-Griffiths, Rowan Killip, and Monica Vi¸ san. “Lar ge-data equicontinuity for the derivative NLS.” Int. Math. Res. Not. IMRN 6 (2023), pp. 4601–4642
work page 2023
-
[27]
Global well-posedness for the derivative non- linear Schr¨ odinger equation inL2(R)
Benjamin Harrop-Griffiths et al. Global well-posedness for the derivative non- linear Schr¨ odinger equation inL2(R). 2023. arXiv: 2204.12548 [math.AP]
-
[28]
The direct method in soliton theory
Ryogo Hirota. The direct method in soliton theory . Vol. 155. Cambridge Tracts in Mathematics. Translated from the 1992 Japanese original and ed ited by At- sushi Nagai, Jon Nimmo and Claire Gilson, With a foreword by Jarmo Hiet ar- inta and Nimmo. Cambridge University Press, Cambridge, 2004, pp. x ii+200
work page 1992
-
[29]
Global wellposedness of KdV in H − 1(T, R)
T. Kappeler and P. Topalov. “Global wellposedness of KdV in H − 1(T, R).” Duke Math. J. 135.2 (2006), pp. 327–360
work page 2006
-
[30]
On the wellposedne ss of the KdV/KdV2 equations and their frequency maps
Thomas Kappeler and Jan-Cornelius Molnar. “On the wellposedne ss of the KdV/KdV2 equations and their frequency maps.” Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire35.1 (2018), pp. 101–160
work page 2018
-
[31]
Thomas Kappeler et al. “The Miura map on the line.” Int. Math. Res. Not. 50 (2005), pp. 3091–3133
work page 2005
-
[32]
On the Korteweg-de Vries equation
Tosio Kato. “On the Korteweg-de Vries equation.” Manuscripta Math. 28.1-3 (1979), pp. 89–99
work page 1979
-
[33]
Well-posedness for the fifth-or der KdV equation in the energy space
Carlos E. Kenig and Didier Pilod. “Well-posedness for the fifth-or der KdV equation in the energy space.” Trans. Amer. Math. Soc. 367.4 (2015), pp. 2551– 2612
work page 2015
-
[34]
A bilinear estima te with applications to the KdV equation
Carlos E. Kenig, Gustavo Ponce, and Luis Vega. “A bilinear estima te with applications to the KdV equation.” J. Amer. Math. Soc. 9.2 (1996), pp. 573– 603
work page 1996
-
[35]
Higher-order nonlinear dispersive equations
Carlos E. Kenig, Gustavo Ponce, and Luis Vega. “Higher-order nonlinear dispersive equations.” Proc. Amer. Math. Soc. 122.1 (1994), pp. 157–166
work page 1994
-
[36]
On the hierarc hy of the gen- eralized KdV equations
Carlos E. Kenig, Gustavo Ponce, and Luis Vega. “On the hierarc hy of the gen- eralized KdV equations.” Singular limits of dispersive waves (Lyon, 1991) . Vol. 320. NATO Adv. Sci. Inst. Ser. B: Phys. Plenum, New York, 199 4, pp. 347–356
work page 1991
-
[37]
The geometry of infinite-dimensional groups
Boris Khesin and Robert Wendt. The geometry of infinite-dimensional groups . Vol. 51. Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folg e. A Series 138 REFERENCES of Modern Surveys in Mathematics [Results in Mathematics and Relate d Areas. 3rd Series. A Series of Modern Surveys in Mathematics]. Spr inger- Verlag, Berlin, 2009, pp. xii+304
work page 2009
-
[38]
Sharp well-posedness for the Benjamin–Ono equation
Rowan Killip, Thierry Laurens, and Monica Visan. Sharp well-posedness for the Benjamin–Ono equation . 2023. arXiv: 2304.00124 [math.AP]
-
[39]
Rowan Killip and Monica Vi¸ san. “KdV is well-posed in H − 1.” Ann. of Math. (2) 190.1 (2019), pp. 249–305
work page 2019
-
[40]
Low regularity co nservation laws for integrable PDE
Rowan Killip, Monica Vi¸ san, and Xiaoyi Zhang. “Low regularity co nservation laws for integrable PDE.” Geom. Funct. Anal. 28.4 (2018), pp. 1062–1090
work page 2018
-
[41]
Well-posedness of the Cauchy problem for the Korteweg- de Vries equation at the critical regularity
Nobu Kishimoto. “Well-posedness of the Cauchy problem for the Korteweg- de Vries equation at the critical regularity.” Differential Integral Equations 22.5-6 (2009), pp. 447–464
work page 2009
-
[42]
Conserved energies for the one d imensional Gross-Pitaevskii equation
Herbert Koch and Xian Liao. “Conserved energies for the one d imensional Gross-Pitaevskii equation.” Adv. Math. 377 (2021), pp. 107467, 83
work page 2021
-
[43]
Conserved energies for th e cubic nonlin- ear Schr¨ odinger equation in one dimension
Herbert Koch and Daniel Tataru. “Conserved energies for th e cubic nonlin- ear Schr¨ odinger equation in one dimension.” Duke Math. J. 167.17 (2018), pp. 3207–3313
work page 2018
-
[44]
A priori bounds for KdV equation below H − 3 4
Baoping Liu. “A priori bounds for KdV equation below H − 3 4 .” J. Funct. Anal. 268.3 (2015), pp. 501–554
work page 2015
-
[45]
Robert M. Miura, Clifford S. Gardner, and Martin D. Kruskal. “Ko rteweg- de Vries equation and generalizations. II. Existence of conservat ion laws and constants of motion.” J. Mathematical Phys. 9 (1968), pp. 1204–1209
work page 1968
-
[46]
T. Miwa, M. Jimbo, and E. Date. Solitons. Vol. 135. Cambridge Tracts in Mathematics. Differential equations, symmetries and infinite-dimen sional al- gebras, Translated from the 1993 Japanese original by Miles Reid. C ambridge University Press, Cambridge, 2000, pp. x+108
work page 1993
-
[47]
A note on ill posedness for the KdV equation
Luc Molinet. “A note on ill posedness for the KdV equation.” Differential Integral Equations 24.7-8 (2011), pp. 759–765
work page 2011
-
[48]
Sharp ill-posedness results for the KdV and mKdV e quations on the torus
Luc Molinet. “Sharp ill-posedness results for the KdV and mKdV e quations on the torus.” Adv. Math. 230.4-6 (2012), pp. 1895–1930
work page 2012
-
[49]
S. Novikov et al. Theory of solitons . Contemporary Soviet Mathematics. The inverse scattering method, Translated from the Russian. Consult ants Bureau [Plenum], New York, 1984, pp. xi+276
work page 1984
-
[50]
On the Cauchy problem for higher-order nonlinear d ispersive equations
Didier Pilod. “On the Cauchy problem for higher-order nonlinear d ispersive equations.” J. Differential Equations 245.8 (2008), pp. 2055–2077
work page 2008
-
[51]
Andrew Lenard: a mys tery unrav- eled
Jeffery Praught and Roman G. Smirnov. “Andrew Lenard: a mys tery unrav- eled.” SIGMA Symmetry Integrability Geom. Methods Appl. 1 (2005), Paper 005, 7
work page 2005
-
[52]
Andrew Pressley and Graeme Segal. Loop groups. Oxford Mathematical Mono- graphs. Oxford Science Publications. The Clarendon Press, Oxfor d University Press, New York, 1986, pp. viii+318
work page 1986
-
[53]
Soliton equations as dynamical sys tems on infinite-dimensional Grassmann manifold
Mikio Sato and Yasuko Sato. “Soliton equations as dynamical sys tems on infinite-dimensional Grassmann manifold.” Nonlinear partial differential equa- tions in applied science (Tokyo, 1982) . Vol. 81. North-Holland Math. Stud. North-Holland, Amsterdam, 1983, pp. 259–271
work page 1982
-
[54]
Quelques g´ en´ eralisations de l’´ equation de Korteweg-de Vries. II
J.-C. Saut. “Quelques g´ en´ eralisations de l’´ equation de Korteweg-de Vries. II.” J. Differential Equations 33.3 (1979), pp. 320–335. REFERENCES 139
work page 1979
-
[55]
The long-wave limit for th e water wave problem. I. The case of zero surface tension
Guido Schneider and C. Eugene Wayne. “The long-wave limit for th e water wave problem. I. The case of zero surface tension.” Comm. Pure Appl. Math. 53.12 (2000), pp. 1475–1535
work page 2000
-
[56]
Asymptotic analysis of soliton problems
Peter Cornelis Schuur. Asymptotic analysis of soliton problems . Vol. 1232. Lecture Notes in Mathematics. An inverse scattering approach. S pringer- Verlag, Berlin, 1986, pp. viii+180
work page 1986
-
[57]
Integrable systems and inverse scattering
Graeme Segal. “Integrable systems and inverse scattering.” Integrable systems (Oxford, 1997). Vol. 4. Oxf. Grad. Texts Math. Oxford Univ. Press, New York, 1999, pp. 53–119
work page 1997
-
[58]
Loop groups and equations o f KdV type
Graeme Segal and George Wilson. “Loop groups and equations o f KdV type.” Inst. Hautes ´Etudes Sci. Publ. Math. 61 (1985), pp. 5–65
work page 1985
-
[59]
Barry Simon. Operator theory. A Comprehensive Course in Analysis, Part 4. American Mathematical Society, Providence, RI, 2015, pp. xviii+74 9. Karlsruhe Institute of Technology, 76131 Karlsruhe, Germa ny Email address : friedrich.klaus@kit.edu Mathematisches Institut der Universit ¨at Bonn, Endicher Allee 60, 53115 Bonn, Ger- many Email address : koch@mat...
work page 2015
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.