pith. sign in

arxiv: 2604.16233 · v1 · submitted 2026-04-17 · 🧮 math.AP · math-ph· math.DG· math.MP· nlin.SI

Jet-Density of Finite-Gap Solutions for Classes of BKM Systems

Manuel Quaschner , Wijnand Steneker This is my paper

Pith reviewed 2026-05-10 07:35 UTC · model grok-4.3

classification 🧮 math.AP math-phmath.DGmath.MPnlin.SI
keywords BKM systemsfinite-gap solutionsjet surjectivityKdV equationCamassa-Holm equationStäckel systemsintegrable PDEsKaup-Boussinesq
0
0 comments X

The pith

Finite-gap solutions can approximate the jets of initial data to any order for classes of BKM integrable PDEs including KdV and Camassa-Holm.

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

The paper shows that jets of initial data for BKM systems of PDEs can be matched to arbitrary order by jets of finite-gap solutions obtained through an algebraic reduction. These systems include the Korteweg-de Vries, Kaup-Boussinesq, and Camassa-Holm equations, with the finite-gap solutions coming from a map that converts solutions of associated Stäckel systems into solutions of the target PDE. A reader would care because this establishes density of a family of explicit solutions in the space of local initial conditions, at least up to jets, which bears on how well special integrable solutions can stand in for general ones near a point.

Core claim

We show that jets of initial data can be approximated up to arbitrary order by finite-gap solutions for classes of BKM systems of PDEs introduced by Bolsinov-Konyaev-Matveev, which include classical PDEs such as KdV, Kaup-Boussinesq and Camassa-Holm. Finite-gap solutions are obtained via a finite-reduction map, defined algebraically, which sends solutions of a Stäckel system to solutions of the BKM PDE. For the classes containing KdV and Kaup-Boussinesq we obtain full jet-surjectivity via a triangular structure, whereas for the class containing Camassa-Holm we establish jet-surjectivity on an open set of initial data over R and a Zariski-open set over C.

What carries the argument

The finite-reduction map, defined algebraically, that sends solutions of a Stäckel system to solutions of the BKM PDE, together with the triangular structure of the jet map for the KdV and Kaup-Boussinesq classes.

If this is right

  • Every finite jet of initial data for the KdV and Kaup-Boussinesq classes arises exactly from some finite-gap solution.
  • For the Camassa-Holm class the finite-gap jets are dense in the space of real initial data and dense in the complex space outside a lower-dimensional algebraic set.
  • The approximation to arbitrary order implies that all derivatives of the initial data can be matched simultaneously by choosing suitable finite-gap data.
  • The construction applies uniformly to the entire classes of BKM systems without case-by-case restrictions on the data jets.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The density result suggests that finite-gap solutions could serve as a practical local approximation tool for simulating general initial-value problems in these PDEs.
  • The contrast between full triangular surjectivity and open-set density points to structural differences in the jet geometry of the different BKM classes that may be visible in other integrable hierarchies.
  • Because the reduction is algebraic, similar jet-density statements might hold for additional BKM systems once their Stäckel reductions are identified.

Load-bearing premise

The algebraic finite-reduction map from Stäckel systems produces solutions of the BKM PDEs and the induced map on jets is surjective or dense in the stated sense with no further restrictions required on the initial data.

What would settle it

An explicit jet of initial data for one of the covered BKM classes that cannot be approximated to arbitrarily high order by the jet of any finite-gap solution would falsify the surjectivity or density statement.

Figures

Figures reproduced from arXiv: 2604.16233 by Manuel Quaschner, Wijnand Steneker.

Figure 1
Figure 1. Figure 1: A sketch of the initial data x 7→ e −x 2 (blue) and the function solving the BKM system approximating it up to order 3 in x0 = 0 using solutions from an ODE solver (red). For higher orders, the picture looks similar [PITH_FULL_IMAGE:figures/full_fig_p030_1.png] view at source ↗
read the original abstract

We show that jets of initial data can be approximated up to arbitrary order by finite-gap solutions for classes of so-called BKM systems of PDEs introduced by Bolsinov--Konyaev--Matveev, which include classical PDEs such as KdV, Kaup--Boussinesq and Camassa--Holm. Finite-gap solutions are obtained via a finite-reduction map, defined algebraically, which sends solutions of a St\"ackel system to solutions of the BKM PDE. For the classes containing KdV and Kaup--Boussinesq we obtain full jet-surjectivity via a triangular structure, whereas for the class containing Camassa--Holm we establish jet-surjectivity on an open set of initial data over $\mathbb{R}$ and a Zariski-open (dense) set over $\mathbb{C}$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript shows that jets of initial data can be approximated to arbitrary order by finite-gap solutions for classes of BKM systems of PDEs (including KdV, Kaup-Boussinesq, and Camassa-Holm). Finite-gap solutions are constructed via an algebraically defined finite-reduction map sending solutions of Stäckel systems to solutions of the target BKM PDE. Full jet-surjectivity holds for the KdV and Kaup-Boussinesq classes by means of a triangular structure; for the Camassa-Holm class, jet-surjectivity is obtained on an open set of initial data over R and a Zariski-open set over C.

Significance. If the algebraic constructions and surjectivity statements hold, the work supplies a concrete mechanism for approximating arbitrary initial-data jets by integrable finite-gap solutions within these important families of nonlinear PDEs. The explicit distinction between full triangular surjectivity and open/Zariski-open density, together with the purely algebraic character of the reduction map, constitutes a clear technical contribution that could inform both theoretical analysis and numerical approximation schemes for these equations.

major comments (2)
  1. [Section detailing the triangular structure (likely §3 or §4)] The triangular structure invoked for full jet-surjectivity in the KdV/Kaup-Boussinesq classes must be shown to be free of order-by-order obstructions; the induction or recursion step that lifts the approximation from order k to k+1 should be verified explicitly against the algebraic definition of the finite-reduction map.
  2. [Camassa-Holm class discussion (likely §5)] For the Camassa-Holm class, the precise characterization of the open set over R and the Zariski-open set over C on which jet-surjectivity holds needs to be tied directly to the image of the finite-reduction map; it is not immediate that the map preserves the PDE on the complement of this set without additional restrictions.
minor comments (2)
  1. Notation for the BKM systems and the Stäckel systems should be introduced uniformly in the introduction to avoid later ambiguity.
  2. A short table or diagram illustrating the finite-reduction map for the three example classes would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive evaluation and the constructive major comments. We address each point below and will incorporate clarifications and explicit verifications in the revised manuscript.

read point-by-point responses

  1. Referee: [Section detailing the triangular structure (likely §3 or §4)] The triangular structure invoked for full jet-surjectivity in the KdV/Kaup-Boussinesq classes must be shown to be free of order-by-order obstructions; the induction or recursion step that lifts the approximation from order k to k+1 should be verified explicitly against the algebraic definition of the finite-reduction map.

    Authors: We agree that an explicit verification strengthens the argument. The triangular structure arises because the finite-reduction map is given by polynomial expressions in the Stäckel integrals whose leading terms form an upper-triangular matrix with nonzero diagonal (determined by the distinct spectral parameters). This guarantees that the jet-coefficient equations can be solved recursively at each order without obstruction. In the revision we will add a short subsection that computes the recursion explicitly for the first two orders and states the general inductive step, directly referencing the algebraic formulae of the reduction map. revision: yes

  2. Referee: [Camassa-Holm class discussion (likely §5)] For the Camassa-Holm class, the precise characterization of the open set over R and the Zariski-open set over C on which jet-surjectivity holds needs to be tied directly to the image of the finite-reduction map; it is not immediate that the map preserves the PDE on the complement of this set without additional restrictions.

    Authors: The open set over R and the Zariski-open set over C are exactly the images of the finite-reduction map applied to the corresponding open sets in the Stäckel phase space. By construction the map is a polynomial morphism that sends solutions of the Stäckel system to solutions of the BKM equation on its entire domain; PDE preservation therefore holds everywhere the map is defined, including the complement of the image sets. The restriction to open/Zariski-open sets appears only because surjectivity onto the full jet space fails outside those images. In the revision we will add a clarifying paragraph that states this characterization explicitly in terms of the image and notes the algebraic preservation property. revision: yes

Circularity Check

0 steps flagged

No significant circularity; algebraic map and triangular structure are independent of target jets

full rationale

The derivation begins with an algebraically defined finite-reduction map sending Stäckel solutions to BKM PDE solutions, then proves jet approximation via an explicit triangular structure (KdV/Kaup-Boussinesq classes) or open/Zariski-open density (Camassa-Holm class). These properties are shown to hold directly from the map's algebraic definition without any fitted parameters, self-referential definitions, or load-bearing self-citations that presuppose the surjectivity result. The distinction between full and open-set surjectivity is explicitly derived rather than assumed, rendering the chain self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on the algebraic definition of the finite-reduction map and standard properties of Stäckel systems and BKM equations; no free parameters or invented entities are mentioned.

axioms (2)
  • domain assumption The finite-reduction map is algebraically well-defined and sends Stäckel solutions to BKM PDE solutions.
    Invoked in the abstract as the source of finite-gap solutions.
  • domain assumption A triangular structure exists for the KdV and Kaup-Boussinesq classes that yields full jet-surjectivity.
    Stated as the reason for full surjectivity in those classes.

pith-pipeline@v0.9.0 · 5452 in / 1496 out tokens · 44998 ms · 2026-05-10T07:35:54.174419+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

15 extracted references · 15 canonical work pages

  1. [1]

    Bernatska

    J. Bernatska. Reality conditions for the KdV equation and exact quasi-periodic solutions in finite phase spaces.Journal of Geometry and Physics, 206:105322, 2024

    work page 2024

  2. [2]

    B laszak, B.M

    M. B laszak, B.M. Szablikowski, and K. Marciniak. St¨ ackel representations of stationary KdV systems. Reports on Mathematical Physics, 92(3):323–346, 2023

    work page 2023

  3. [3]

    Bolsinov, A.Yu

    A.V. Bolsinov, A.Yu. Konyaev, and V.S. Matveev. Applications of Nijenhuis Geometry IV: multicom- ponent KdV and Camassa–Holm equations.arXiv preprint arXiv:2206.12942, 2022

    work page arXiv 2022

  4. [4]

    Bolsinov, A.Yu

    A.V. Bolsinov, A.Yu. Konyaev, and V.S. Matveev. Applications of Nijenhuis Geometry V: Geodesic Equivalence and Finite-Dimensional Reductions of Integrable Quasilinear Systems.Journal of Nonlinear Science, 34(2):33, 2024

    work page 2024

  5. [5]

    Bolsinov, A.Yu

    A.V. Bolsinov, A.Yu. Konyaev, and V.S. Matveev. Finite-Dimensional Reductions and Finite-Gap-Type Solutions of Multicomponent Integrable PDEs.Studies in Applied Mathematics, 155(2):e70100, 2025

    work page 2025

  6. [6]

    Dubrovin

    B.A. Dubrovin. The inverse scattering problem for periodic finite-zone potentials.Functional Analysis and Its Applications, 9:61–62, 1975

    work page 1975

  7. [7]

    Dubrovin, V.B

    B.A. Dubrovin, V.B. Matveev, and S.P. Novikov. Non-linear equations of Korteweg-de Vries type, finite-zone linear operators, and abelian varieties.Russian mathematical surveys, 31(1):59–146, 1976

    work page 1976

  8. [8]

    Its and V.B

    A.R. Its and V.B. Matveev. Hill’s operator with finitely many gaps.Functional Analysis and Its Applications, 9(1):65–66, 1975

    work page 1975

  9. [9]

    Konyaev and V.S

    A.Yu. Konyaev and V.S. Matveev. Lax pairs for BKM hierarchy.arXiv preprint arXiv:2512.22064, 2025

    work page arXiv 2025

  10. [10]

    Korteweg and G

    D.J. Korteweg and G. De Vries. 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(240):422–443, 1895

    work page

  11. [11]

    Krichever

    I.M. Krichever. Methods of algebraic geometry in the theory of non-linear equations.Russian Mathe- matical Surveys, 32(6):185–213, 1977

    work page 1977

  12. [12]

    Marchenko

    V.A. Marchenko. Periodic problem of Korteweg-de Vries equation.Matem. Sbornik, 95:331–356, 1974

    work page 1974

  13. [13]

    McKean and P

    H.P. McKean and P. van Moerbeke. The spectrum of Hill’s equation.Inventiones mathematicae, 30 (3):217–274, 1975

    work page 1975

  14. [14]

    S.P. Novikov. The periodic problem for the Korteweg-de Vries equation.Functional analysis and its applications, 8(3):236–246, 1974

    work page 1974

  15. [15]

    reduced tangent numbers

    B.M. Szablikowski, M. B laszak, and K. Marciniak. Stationary coupled KdV systems and their St¨ ackel representations.Studies in Applied Mathematics, 153(1):e12698, 2024. 32 AppendixA.Solutions of some recursion relations In this section, we give some useful recursion relations used in the paper. Lemma 12(Recursions for the reduced tangent numbers).The seq...

    work page 2024