Pith. sign in

REVIEW 2 major objections 2 minor 46 references

Non-unique solutions to the periodic gKdV equation

T0 review · 2 major / 2 minor · reviewed 2026-06-27 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The k-gKdV equation on the torus admits non-unique weak solutions with zero initial data unless the nonlinearity lies in C^0_t L^1_x.

desk verdict Convex integration produces non-unique gKdV solutions from zero data below L^k via a new weak notion, but the iteration details with the initial condition are the part that still needs checking. read the letter →

arxiv 2606.06916 v1 pith:LWQCQMAC submitted 2026-06-05 math.AP math.CA

Nicholas Gismondi , Kunyi (Mark) Ma , Mandon Pathak , Alexandru F. Radu This is my paper
classification math.APmath.CA
keywords k-gKdVequationconvexintegrationnon-uniquenessweaksolutionsperiodictorusunconditionaluniqueness
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

The authors apply convex integration to build non-trivial weak solutions to the periodic k-generalized KdV equation. These solutions belong to the intersection over epsilon of C^0 in time with values in L to the k minus epsilon in space, and for k at least 3 they can also sit in a slightly subcritical Sobolev space. Because the solutions avoid C^0 L^k, the paper introduces a new notion of weak solution that strengthens the classical one when the nonlinearity is integrable. The construction shows that C^0_t L^1_x is a necessary condition for unconditional uniqueness. For the standard KdV case the same condition is also sufficient.

What carries the argument

Convex integration scheme adapted to produce solutions in the stated intersection spaces attaining identically zero initial data.

What would settle it

An analytical proof that every solution in the intersection spaces with zero initial data must be identically zero would falsify the existence of non-trivial solutions.

Watch

Extended reading notes

Core claim

Convex integration produces non-trivial weak solutions to the periodic k-gKdV equation that lie in the intersection over epsilon greater than zero of C^0_t L^{k-epsilon}_x on the time-space cylinder [0,1] times the circle, and additionally in the intersection over epsilon of C^0_t H^{1/2 - 1/k - epsilon}_x when k is at least 3, all with identically zero initial data. A new notion of weak solution is defined to make sense of these objects; it is stronger than the classical notion precisely when the nonlinearity is integrable. The result establishes that the nonlinearity must belong to C^0_t L^1_x for unconditional uniqueness to hold, and that this condition is sufficient when k equals 1.

Load-bearing premise

The convex integration scheme can be carried out to produce solutions lying in the stated intersection spaces while attaining identically zero initial data.

Editorial extensions

If this is right

  • Non-uniqueness of weak solutions holds for the k-gKdV equation in the almost L^k spaces.
  • The condition that the nonlinearity belongs to C^0_t L^1_x is necessary for unconditional uniqueness.
  • For the KdV equation the same condition is also sufficient for uniqueness.

Reading between the lines

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

  • The same convex integration technique could be tested on other dispersive equations to check whether the C^0 L^1 condition remains necessary.
  • The strengthened notion of weak solution may prove useful for studying low-regularity well-posedness in related nonlinear wave or Schrödinger equations.
  • Numerical schemes that preserve the new weak-solution definition could be used to observe the non-uniqueness directly.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 2 minor

Summary. The paper employs a convex integration scheme to construct non-trivial weak solutions to the periodic k-gKdV equation on [0,1]×T that attain identically zero initial data. These solutions belong to ∩_{ε>0} C^0_t L^{k-ε}_x (and additionally to ∩_{ε>0} C^0_t H^{1/2-1/k-ε}_x for k≥3) but not to C^0_t L^k_x. A new notion of weak solution is introduced that is stronger than the classical notion when the nonlinearity is integrable. The result establishes that membership of the nonlinearity in C^0_t L^1_x is necessary for unconditional uniqueness, and is also sufficient in the KdV case (k=1).

Significance. If the construction is valid, the result supplies a sharp integrability threshold on the nonlinearity for uniqueness in the gKdV family, complementing existing well-posedness theory. The explicit convex-integration examples with zero initial data and the strengthened weak-solution notion constitute a concrete advance; the sufficiency statement for KdV further sharpens the picture.

major comments (2)
  1. [main construction / proof of the existence theorem] The convex integration construction (main body, the iteration scheme used to prove the existence statement in the abstract): it is not shown in detail how the correctors and mollification parameters are chosen so that the limit satisfies u(0)≡0 while remaining non-trivial for t>0 and outside C^0_t L^k_x. Without an explicit verification that the scheme closes in the stated intersection spaces under this initial-condition constraint, the necessity claim does not follow.
  2. [§2] Definition of the new weak-solution notion (likely §2): the paper asserts it is stronger than the classical notion when the nonlinearity lies in C^0_t L^1_x, but the precise comparison (i.e., which test functions or integrability requirements are added) must be stated explicitly so that the non-uniqueness examples are seen to lie outside the classical class only when the nonlinearity fails the C^0_t L^1_x condition.
minor comments (2)
  1. [Introduction] The abstract states the result for the torus T; the precise periodicity and the range of k should be restated at the beginning of the introduction for clarity.
  2. [Abstract / §2] Notation for the new weak formulation should be introduced once and used consistently; currently the abstract refers to it without a displayed equation.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We appreciate the recognition of the significance of the results. We address the major comments below and will incorporate clarifications in the revised manuscript.

read point-by-point responses

  1. Referee: [main construction / proof of the existence theorem] The convex integration construction (main body, the iteration scheme used to prove the existence statement in the abstract): it is not shown in detail how the correctors and mollification parameters are chosen so that the limit satisfies u(0)≡0 while remaining non-trivial for t>0 and outside C^0_t L^k_x. Without an explicit verification that the scheme closes in the stated intersection spaces under this initial-condition constraint, the necessity claim does not follow.

    Authors: We agree that additional explicit verification is needed for how the correctors and mollification parameters are chosen to enforce u(0)≡0 while keeping the solution non-trivial for t>0 and outside C^0_t L^k_x. In the revised manuscript we will add a dedicated paragraph (or short subsection) in the main existence proof that spells out the initialization of the iteration (starting from the zero function at t=0), the inductive choice of the parameters, and the passage to the limit that closes the scheme in the stated intersection spaces. This will make the necessity claim fully rigorous. revision: yes

  2. Referee: [§2] Definition of the new weak-solution notion (likely §2): the paper asserts it is stronger than the classical notion when the nonlinearity lies in C^0_t L^1_x, but the precise comparison (i.e., which test functions or integrability requirements are added) must be stated explicitly so that the non-uniqueness examples are seen to lie outside the classical class only when the nonlinearity fails the C^0_t L^1_x condition.

    Authors: We will revise §2 to give an explicit side-by-side comparison. The new definition will be stated as requiring the integral identity to hold for a larger class of test functions (or under an additional integrability assumption on the nonlinearity) whenever the nonlinearity belongs to C^0_t L^1_x; the classical definition is recovered precisely when that integrability holds. This will make transparent that our examples satisfy the new notion but lie outside the classical class exactly when the nonlinearity fails to be in C^0_t L^1_x. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: explicit convex integration construction is independent of its conclusion

full rationale

The paper's load-bearing step is an explicit construction of non-trivial solutions via convex integration that attain zero initial data while lying in the stated intersection spaces but outside C_t^0 L_x^k, under a modified weak formulation. This construction is not equivalent to the necessity claim by definition or by fitting parameters to the target result; the scheme produces the solutions that then imply the necessity statement for unconditional uniqueness. No self-citations, uniqueness theorems, or ansatzes from prior author work are invoked to close the argument. The derivation is therefore self-contained as a direct existence proof rather than a reduction to its own inputs.

Assumptions & free parameters 0 free parameters · 1 assumptions · 0 invented entities

Only the abstract is supplied, so the ledger is necessarily incomplete; the main unverified premise is the successful execution of the convex integration scheme in the periodic setting.

assumptions (1)
  • domain assumption Convex integration can be adapted to the periodic k-gKdV equation to produce solutions in the intersection spaces with zero initial data.
    Invoked as the method that yields the non-unique solutions (abstract).

how reviews work

0 comments
Cite this review

Pith. "Pith review of Non-unique solutions to the periodic gKdV equation." pith.science (2026). https://pith.science/paper/LWQCQMAC

@misc{pith2026260606916,
  author       = {Pith},
  title        = {Pith review of: Non-unique solutions to the periodic gKdV equation},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LWQCQMAC}},
  note         = {Machine review of arXiv:2606.06916}
}
abstract

In this paper we utilize a convex integration scheme to construct non-trivial weak solutions to the $k$-generalized KdV equation which lie in $$ \bigcap_{\epsilon > 0} C_t^0 L_x^{k-\epsilon}([0,1] \times \mathbb{T}) $$ and, when $k \ge 3$, it may also be chosen in \[ \bigcap_{\epsilon >0} C_t^0 H_x^{\frac{1}{2} - \frac{1}{k} - \epsilon}([0,1] \times \mathbb{T}) \] attaining identically $0$ initial data. Since our solutions do not lie in $C_t^0 L_x^k$, this requires introducing a new notion of weak solution, which is in fact stronger than the classical notion of a weak solution when the nonlinearity is integrable. This result shows that a necessary condition for unconditional uniqueness for $k$-gKdV is that the nonlinearity lies in $C_t^0L^1_x$. In the case of KdV this is in fact also sufficient.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

46 extracted references · 9 canonical work pages

  1. [1]

    E.Ashkarian, A.Bhargava, N.Gismondi, M.Novack.Intermittentsingularsolutionsofthestationary2D Navier-Stokes equations in sharp Sobolev spaces.arXiv prepint https://arxiv.org/abs/2506.00841

    work page arXiv

  2. [2]

    A. V. Babin, A. A. Ilyin, and E. S. Titi. On the regularization mechanism for the periodic Korteweg-de Vries equation.Communications on Pure and Applied Mathematics, 64(5):591-648, 2011

    2011

  3. [3]

    Bahouri, J.-Y

    H. Bahouri, J.-Y. Chemin, R. Danchin. Fourier analysis and nonlinear partial differential equations. Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], volume 343. Springer, Heidelberg, 2011

    2011

  4. [4]

    Bao and Y

    J. Bao and Y. Wu. Global well-posedness for the periodic generalized Korteweg-de Vries equation. Indiana University Mathematics Journal, 66(5):1797-1825, 2017

    2017

  5. [5]

    Beekie, T Buckmaster, V

    R. Beekie, T Buckmaster, V. Vicol. Weak Solutions of Ideal MHD Which Do Not Conserve Magnetic Helicity.Annals of PDE, Volume 6, article 1, 2020

    2020

  6. [6]

    Bourgain

    J. Bourgain. Fourier transform restriction phenomena for certain lattice subsets and applications to nonlinear evolution equations. II. TheKdV equation. Geometric and Functional Analysis, 3(3):209-262, 1993

    1993

  7. [7]

    Buckmaster, M

    T. Buckmaster, M. Colombo, V. Vicol. Wild solutions of the Navier-Stokes equations whose singular sets in time have Hausdorff dimension strictly less than 1.Journal of the European Mathematical Society, 24, no. 9, pg. 3333-3378, 2021

    2021

  8. [8]

    Buckmaster, N

    T. Buckmaster, N. Masmoudi, M. Novack, V. Vicol. Intermittent Convex Integration for the 3D Euler Equations:(AMS-217). Annals of Mathematics Studies, Princeton University Press, 2023

    2023

Show all 46 references
  1. [9]

    Buckmaster, V

    T. Buckmaster, V. Vicol. Nonuniqueness of weak solutions to the Navier-Stokes equation.Annals of Math., 189(1):101-144, 2019

    2019

  2. [10]

    Buckmaster, V

    T. Buckmaster, V. Vicol. Convex integration and phenomenologies in turbulence. EMS Surveys in Mathematical Sciences., Volume 6, Pages 173-263, 2020. 46

    2020

  3. [11]

    Cheskidov, H

    A. Cheskidov, H. Hou On non-uniqueness of mild solutions and stationary singular solutions to the Navier-Stokes equations.arXiv prepint https://arxiv.org/abs/2603.03666

    arXiv

  4. [12]

    Cheskidov, X

    A. Cheskidov, X. Luo. Critical Nonuniqueness for the 2D Navier-Stokes Equations.Annals of PDE, 9:13, 2023

    2023

  5. [13]

    Inventiones Mathematicae, 229, pg

    A.Cheskidov, X.Luo.Sharpnon-uniquenessfortheNavier-Stokesequations. Inventiones Mathematicae, 229, pg. 987-1054, 2022

    2022

  6. [14]

    M. Christ. Nonuniqueness of weak solutions of the nonlinear Schrödinger equation. arXiv preprint https://arxiv.org/pdf/math/0503366

    arXiv

  7. [15]

    Christ, J

    M. Christ, J. Holmer, and D. Tataru. Low regularity a priori bounds for the modified Korteweg-de Vries equation. Libertas Mathematica. New Series, 32(1):51-75, 2012

    2012

  8. [16]

    J. E. Colliander, M. Keel, G. Staffilani, H. Takaoka, and T. Tao. Sharp global well-posedness for KdV and modified KdV on R and T. Journal of the American Mathematical Society, 16(3):705-749, 2003

    2003

  9. [17]

    J. E. Colliander, M. Keel, G. Staffilani, H. Takaoka, and T. Tao. Multilinear estimates for periodic KdV equations, and applications.Journal of Functional Analysis, 211(1):173-218, 2004

    2004

  10. [18]

    Daneri, L

    S. Daneri, L. Székelyhidi. Non-uniqueness and h-Principle for Hölder-Continuous Weak Solutions of the Euler Equations. Archive for Rational Mechanics and Analysis. Volume 224, Issue 2, Pages 471-514, 2017

    2017

  11. [19]

    De Lellis, L

    C. De Lellis, L. Székelyhidi, Jr. The Euler equations as a differential inclusion.Annals of Math., (2), 170, no. 3, 1417-1436, 2009

    2009

  12. [20]

    De Lellis, L

    C. De Lellis, L. Székelyhidi. Dissipative continuous Euler flows.Inventiones Mathematicae, 193(2):377- 407, 2013

    2013

  13. [21]

    Doronin, F.M

    G.G. Doronin, F.M. Natali. An example of non-decreasing solution for the KdV equation posed on a bounded interval.Un exemple de solution non décroissante de l’équation de KdV posée sur un intervalle borné. Comptes Rendus Mathematique, Volume 352, Issue 5, Pages 421-424, 2014

    2014

  14. [22]

    Faminskii, A.A

    A.V. Faminskii, A.A. Nikolaev. On stationary solutions of KdV and mKdV equations. In: Pinelas, S., Došlá, Z., Došlý, O., Kloeden, Differential and Difference Equations with Applications. ICDDEA 2015. Springer Proceedings in Mathematics & Statistics, Volume 164. Springer, Cham

    2015

  15. [23]

    V. Giri, H. Kwon, M. Novack. The L3-based strong Onsager theorem. arXiv preprint https://arxiv.org/abs/2305.18509

  16. [24]

    Gismondi

    N. Gismondi. Nontrivial integrable weak stationary solutions to active scalar equations with non-odd drift. arXiv prepint https://arxiv.org/abs/2601.14592

  17. [25]

    Gismondi, A

    N. Gismondi, A. Radu. Intermittent solutions of the stationary 2D surface quasi-geostrophic equation. arXiv prepint https://arxiv.org/abs/2510.16583

  18. [26]

    Grafakos

    L. Grafakos. Modern Fourier Analysis.Graduate Texts in Mathematics, Edition 2. Springer, New York, 2009

    2009

  19. [27]

    P. Isett. A proof of Onsager’s conjecture.Annals Of Mathematics. 188, 871-963 (2018)

    2018

  20. [28]

    Kappeler, P

    T. Kappeler, P. Topalov. Global wellposedness of KdV inH −1(T, R). Duke Math Journal. 135(2): 327- 360, 2006

    2006

  21. [29]

    H s-solutionsandunconditionalwell-posedness

    T.Kato.OnnonlinearSchrödingerequations, II. H s-solutionsandunconditionalwell-posedness. Journal d’Analyse Mathématique, Volume 67, pages 281–306, (1995)

    1995

  22. [30]

    T. Kato. On the Cauchy problem for the generalized Korteweg-de Vries equation.Studies in Applied Mathematics, 8:93-128, 1983

    1983

  23. [31]

    C. E. Kenig, G. Ponce, and L. Vega. Well-posedness of the initial value problem for the Korteweg-de Vries equation.Journal of the American Mathematical Society, 4(2):323-347, 1991

    1991

  24. [32]

    C. E. Kenig, G. Ponce, and L. Vega. Well-posedness and scattering results for the generalized Korteweg- de Vries equation via the contraction principle.Communications on Pure and Applied Mathematics, 46(4):527-620, 1993

    1993

  25. [33]

    Killip, M

    R. Killip, M. Vişan. KdV is well-posed inH −1. Ann. of Math. (2) 190 (1) 249 - 305, 2019

    2019

  26. [34]

    & De Vries, G

    Korteweg, D. & De Vries, G. XLI. On the change of form of long waves advancing in a rectangular canal, and on a new type of long stationary waves.The London, Edinburgh, And Dublin Philosophical Magazine And Journal Of Science. 39, 422-443 (1895)

  27. [35]

    P. G. Lemarie-Rieusset. Highly singular (frequentially sparse) steady solutions for the 2D Navier-Stokes equations on the torus.Journal of Funct. Anal.Volume 288, Issue 4, 2025. 47

    2025

  28. [36]

    X. Luo. Stationary solutions and nonuniqueness of weak solutions for the Navier-Stokes equations in high dimensions.Archive for Rational Mechanics and Analysis, 233(2):701-747, 2019

    2019

  29. [37]

    Modena, L

    S. Modena, L. Székelyhidi. Non-uniqueness for the Transport Equation with Sobolev Vector Fields. Annals of PDE 4, 18, 2018

    2018

  30. [38]

    L. Molinet. A note on ill posedness for the KdV equation.Differential Integral Equations. 24 (7/8) 759 - 765, 2011

    2011

  31. [39]

    L. Molinet. Sharp ill-posedness results for the KdV and mKdV equations on the torus.Advances in Mathematics. Volume 230, Issues 4-6, 2012

    2012

  32. [40]

    Molinet, T

    L. Molinet, T. Tanaka. Refined bilinear Strichartz estimates with application to the well-posedness of periodic generalized KdV type equations.Journal of Hyperbolic Differential Equations, 22(2):225-260,

  33. [41]

    DOI: 10.1142/S0219891625500080

    doi

  34. [42]

    Molinet and W

    L. Molinet and W. Zhu.L2(R)-unconditional well-posedness for low dispersion fractional KdV equations. arXiv:2604.20405, 2026

    2026 arXiv

  35. [43]

    Molinet, D

    L. Molinet, D. Pilod, and S. Vento. On unconditional well-posedness for the periodic modified Korteweg- de Vries equation.Journal of the Mathematical Society of Japan, 71(1):147-201, 2019

    2019

  36. [44]

    Novack, V

    M. Novack, V. Vicol. An Intermittent Onsager Theorem.Inventiones Mathematicae. Volume 233, Pages 223-323, 2023

    2023

  37. [45]

    M. Pathak. Nontrivial weak solutions of the stationary KdV equation in sharpLp spaces. arXiv prepint https://arxiv.org/abs/2603.12555

  38. [46]

    Q. Peng. Three dimensional stationary solutions of the Electron MHD equation.Nonlinear Analysis. Volume 262, 2026. Department of Mathematics, Purdue University, West Laf ayette, IN, USA. Email address: ngismond@purdue.edu. Email address: pathak30@purdue.edu. Department of Math...

    2026

Pith tools

Reviewed June 27, 2026 · model on record in the stance chip above.