REVIEW 3 major objections 5 minor 1 cited by
Solvability of the Korteweg-de Vries equation under meromorphic initial conditions by quadrature
T0 review · 3 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read Reflectionless meromorphic potentials are exactly the ones for which the KdV Schrödinger equation is solvable by quadrature.
desk verdict Extends a known Galois-theoretic criterion for reflectionless KdV potentials to meromorphic data, but the abstract overclaims an iff and a key finiteness claim in Proposition 2.1(iv) is unproved. 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 carrier is the pair of scattering coefficients a(k) and b(k) attached to the Schrödinger equation through the Jost solutions, the two solutions tending to $e^{{-ikx}}$ and $e^{{ikx}}$ at minus and plus infinity; the potential is reflectionless when b(k)=0 on the real axis. In the forward direction, b(k)=0 plus a zero of a(k) in C+ turns the inverse-scattering integral equation into residue sums at finitely many zeros k_j, so the Jost solution and the potential are built from rational functions of x and $e^{{ik_j x}}$. In the converse, the paper rewrites the equation near infinity, reads off the formal monodromy, exponential torus and Stokes matrices, and uses the classification of algebraic subgroups of SL(2,C) to force the Stokes matrices to be triangular, which by Lemma 4.1 kills b(k). The rational-potential theorem uses Kovacic's algorithm, whose pole data at infinity must be independent of k.
What would settle it
Take the potential (3.9) from Example 3.2 and numerically solve (1.5) at a real k away from the pole; if the solution does not match the closed form (3.8) up to numerical precision, Theorem 1.3 fails for that case. A sharper test would be to find any meromorphic potential satisfying (A1) with b(k)=0 and a zero of a(k) in C+ whose Jost solution is not a rational function of x and finitely many exponentials, or to find a rational potential with m2-m1=1 for which Kovacic's algorithm produces a Liouvillian solution on an open interval of k.
Extended reading notes
Core claim
On the paper's own terms, the discovery is a differential-Galois characterization of when the inverse scattering transform for KdV runs on closed-form functions. Theorem 1.3 says that if a meromorphic potential satisfying the decay condition (A1) has scattering coefficient a(k) with a zero in C+ and the reflection coefficient b(k) vanishes on the real axis, then the Schrödinger equation (1.5) is solvable by quadrature for every nonzero k. Theorem 1.4 supplies the converse direction under the extra assumption that the potential is analytic at infinity: if (1.5) is solvable by quadrature for all nonzero k, then b(k) vanishes identically. Theorem 1.6 completes the picture for rational potentials that decay like 1/x, showing they are not quadrature-solvable on an open set of real k. The paper also exhibits a negaton-type potential whose Jost solution is an explicit rational-exponential function.
Load-bearing premise
The load-bearing assumption is that the scattering coefficients a(k) and b(k), defined initially on the real axis, can be analytically continued along a contour in the upper half-plane that avoids the poles of u, and that the Wronskian identities still identify these continuations with the real-axis scattering data.
Editorial extensions
If this is right
- For any reflectionless meromorphic potential satisfying (A1) with a zero of a(k) in C+, the KdV solution is an explicit combination of exponentials and rational functions of x, so it can be written down without solving differential equations.
- The Adler-Moser rational potentials fall outside Theorem 1.3 because their scattering coefficient is a(k)=1 with no zero in C+, even though they are known to be quadrature-solvable; the theorem is not an exhaustive test.
- Rational potentials with denominator degree one greater than numerator degree cannot be solved by quadrature for all real k, so the inverse scattering route fails for them despite their simple form.
- If the converse direction holds, quadrature solvability itself becomes a spectral test: a closed-form Schrödinger solution for all k forces the potential to be reflectionless.
Reading between the lines
- Inference: The zero-of-a(k) condition in Theorem 1.3 may be removable; the paper's Remark 1.5(i) shows a whole family of reflectionless potentials with a(k)=1, so a unified proof would need a different mechanism, possibly Darboux transformations, for the no-zero case.
- Inference: The same Stokes-matrix argument should extend to other integrable PDEs in the Zakharov-Shabat class, and the companion paper cited as [30] is the natural place to look; if the meromorphic analogue holds there, quadrature solvability would again be equivalent to reflectionlessness under analyticity at infinity.
- Inference: A concrete testable extension is to compute a(k) for positon-type potentials with more than one pole; Theorem 1.3 predicts an explicit formula for the Jost solution whenever a zero exists in C+, and the formula should match direct numerical integration of (1.5).
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies solvability by quadrature of the Schrödinger equation (1.5) in the Lax pair for the KdV equation when the potential is meromorphic and satisfies the L¹-tail condition (A1). It proves three results: Theorem 1.3, if the potential is reflectionless and a(k) has a zero in the upper half-plane, then (1.5) is solvable by quadrature; Theorem 1.4, if u is analytic at infinity and (1.5) is solvable by quadrature for all k∈C*, then u is reflectionless; and Theorem 1.6, rational potentials whose denominator degree exceeds the numerator degree by one are not solvable by quadrature for some k∈R*. The abstract states a general if-and-only-if characterization under (A1). The paper extends the author's previous analytic-potential work [29] and uses inverse scattering, local differential Galois theory, and Kovacic's algorithm.
Significance. If the stated results were fully established, they would provide a Galois-theoretic marker for closed-form KdV evolution under meromorphic initial data, going beyond the analytic potentials of [29] and connecting inverse scattering with differential Galois theory. The paper contains useful concrete material: Example 3.2 gives an explicit two-soliton-type potential with a confirmed scattering picture, and Remark 3.1 corrects a sign error in formula (4.12) of [29]. The use of Ramis's local Galois group theorem and Kovacic's algorithm is appropriate. The significance is, however, reduced by the fact that the abstract's unrestricted claim is not what the theorems prove, and by unresolved technical gaps in the analytic continuation of the scattering data and in the finiteness of bound states.
major comments (3)
- [Abstract; Theorems 1.3, 1.4; Remark 1.5(i)] The abstract claims that, under condition (A1), Eq. (1.5) is solvable by quadrature if and only if the meromorphic potential is reflectionless. This is stronger than anything proved in the paper. Theorem 1.3 assumes a(k) has a zero in C+, and Theorem 1.4 assumes u is analytic at infinity. Remark 1.5(i) explicitly concedes that reflectionless potentials satisfying (A1) with a(k)=1, such as the Adler-Moser potentials, are not covered by Theorem 1.3. The abstract's characterization therefore does not follow from the theorems and should be weakened or proved separately.
- [Proposition 2.1(iv); proof of Theorem 1.3] The proof of Proposition 2.1(iv) asserts that if b(k)=0 on R*, then 'by its analyticity a(k) has no zero near k=0 in C+.' This inference is invalid: k=0 is a boundary point of the domain C+, and the identity theorem does not prevent zeros of a bounded analytic function from accumulating at a boundary point. Condition (A1), which only gives L¹ decay on the real tails, does not by itself rule out infinitely many bound states with eigenvalues accumulating at zero; standard inverse scattering admits reflectionless potentials with infinite discrete eigenvalues accumulating at 0. If a(k) has infinitely many zeros in C+ accumulating at 0, the finite sum in (3.5) and the subsequent linear-algebraic representation of N^r_j(x) do not apply. Thus Proposition 2.1(iv) must either be proved under (A1) plus reflectionlessness or replaced by an explicit finite-bound-state hypothesis in Theorem 1.3.
- [Proposition 2.1(i)-(iii); Sections 3 and 4] The paper does not justify the complex-analytic continuation of b(k) that the main proofs require. Proposition 2.1 only states analyticity of b on R*, yet the proof of Theorem 1.3 evaluates b(k) and its derivatives at the complex zeros k_j of a(k) in equations (3.4) and (3.5), and the proof of Theorem 1.4 uses the identity theorem for b on a neighborhood of R*. For general L¹ potentials, b is defined on the real axis and need not be holomorphic in a complex neighborhood of R*. The curve Γ introduced in the proof of Proposition 2.1 does not show that the Wronskians computed on Γ agree with the scattering data defined by the real-axis asymptotics (1.4), because no connection from Γ to R avoiding the poles of u is established. These continuation issues are load-bearing for the proofs of both Theorems 1.3 and 1.4 and must be addressed.
minor comments (5)
- [Section 5, after equations (5.3)-(5.4)] The text says 'This means that m2−m1 = −4', but from u(x)=Cq(x)^{-4} one gets m2−m1 = 4deg(q), not −4. The contradiction with m2−m1=1 still works because deg(q)≥1, so the sign should be corrected.
- [Lemma 4.1 proof] The displayed formulas for the formal fundamental matrix are typeset incorrectly, for example 'V(y) = ( * * Φ(y;k) (0 c− ) )' and the corresponding line for Ψ, which makes the argument difficult to follow; these displays should be rewritten with explicit matrix entries.
- [Proof of Theorem 1.4] There is a duplicated word in 'we have have α− or α+ = 0'; it should read 'we have α− or α+ = 0'.
- [Appendix B.1] The word 'triangulariable' in Proposition B.1 should be 'triangularizable', matching the usage in Proposition B.2.
- [Abstract and Proposition 2.1 proof] There is a typo 'meromporphic' in the abstract, and in the proof of Proposition 2.1 the inference to part (iii) from the identity theorem is too terse: analyticity in C+ alone does not give discreteness of zeros in C+∪R unless the function is known to be analytic across the real axis.
Circularity Check
No significant circularity: the central theorems are proved by self-contained constructions and do not reduce to their inputs by definition.
full rationale
The paper's main claims are The Theorems 1.3, 1.4 and 1.6. Theorem 1.3 takes b(k)=0 on R* and a zero of a(k) in C+ as hypotheses and constructs the Jost solution as a rational function of x and exponentials e^{ik_j x} via the projection formula (3.5); this is a direct quadrature construction, not a restatement of the hypothesis. Theorem 1.4 uses local differential Galois data (formal monodromy, exponential torus, Stokes matrices) and Kovacic's classification to conclude b(k)=0, again without assuming the conclusion. Theorem 1.6 is an independent Kovacic-based non-integrability argument. The author's prior work [29] is cited as background and for the previously proved restricted Theorem 1.1, but the proofs of the new theorems do not invoke Theorem 1.1 as a premise; [30] is mentioned only in a remark. Thus the self-citations are not load-bearing. The abstract's unconditional 'if and only if' is stronger than what Theorems 1.3-1.4 establish (Theorem 1.3 requires a zero of a(k), Theorem 1.4 requires analyticity at infinity), and Proposition 2.1(iv) contains a likely unjustified assertion that a(k) has no zero near k=0 in C+ merely 'by its analyticity'; zeros can accumulate at a boundary point. These are correctness and support gaps, not circularity, and do not make the derivation equivalent to its inputs.
Assumptions & free parameters
assumptions (7)
- standard math Existence of Jost solutions satisfying the asymptotics (1.4) for k in C* under condition (A1)
- standard math Differential Galois group of (1.5) is an algebraic subgroup of SL(2,C) with one of the six types in Proposition 2.3
- standard math Ramis's Theorem A.2 on local differential Galois groups near irregular singularities
- standard math Kovacic's algorithm and necessary conditions in Propositions B.1 and B.2
- standard math Identity theorem for analytic functions
- domain assumption Condition (A1): u is meromorphic in a neighborhood of R and absolutely integrable on R outside (-R0,R0)
- domain assumption There exists a curve Gamma in C+ avoiding the poles of u along which Jost solutions stay bounded and analytic in k
Cite this review
Pith. "Pith review of Solvability of the Korteweg-de Vries equation under meromorphic initial conditions by quadrature." pith.science (2026). https://pith.science/paper/PVRCMDMD
@misc{pith2026250608046,
author = {Pith},
title = {Pith review of: Solvability of the Korteweg-de Vries equation under meromorphic initial conditions by quadrature},
year = {2026},
howpublished = {\url{https://pith.science/paper/PVRCMDMD}},
note = {Machine review of arXiv:2506.08046}
}
abstract
We study the solvability of the Korteweg-de Vries equation under meromorphic initial conditions by quadrature when the inverse scattering transform (IST) is applied. It is a key to solve the Schr\"odinger equation appearing in the Lax pair in application of the IST. We show that the Schr\"odinger equation is always integrable in the sense of differential Galois theory, i.e., solvable by quadrature, if and only if the meromporphic potential is reflectionless, under the condition that the potential is absolutely integrable on $\mathbb{R}\setminus(-R_0,R_0)$ for some $R_0>0$.This statement was previously proved to be true by the author for a limited class of potentials. We also show that the Schr\"odinger equation is not integrable in this sense for rational potentials that decay at infinity but do not satisfy the weak condition.
Figures
Forward citations
Cited by 1 Pith paper
-
Solvability of the Zakharov-Shabat systems with meromorphic potentials by quadrature
For meromorphic potentials integrable at infinity, Zakharov-Shabat systems are solvable by quadrature if and only if the potentials are reflectionless, subject to extra analyticity and spectral-zero assumptions.
Reference graph
Works this paper leans on
-
[29]
Yagasaki, Integrability of the Zakharov-Shabat sys tems by quadrature, Comm
K. Yagasaki, Integrability of the Zakharov-Shabat sys tems by quadrature, Comm. Math. Phys., 400 (2023), 315–340
2023
-
[1]
Ablowitz, Nonlinear Dispersive Waves: Asymptotic Analysis and Solit ons, Cambridge University Press, Cambridge, 2011
M.J. Ablowitz, Nonlinear Dispersive Waves: Asymptotic Analysis and Solit ons, Cambridge University Press, Cambridge, 2011
2011
-
[2]
Ablowitz and A.S
M.J. Ablowitz and A.S. Fokas, Complex Variables: Introduction and Applications , 2nd ed., Cambridge University Press, Cambridge, 2003
2003
-
[3]
P.B. Acosta-Hum´ anez, J.J. Morales-Ruiz and J.-A. W eil, Galoisian approach to integrability of Schr¨ odinger equation,Rep. Math. Phys. , 67 (2011), 305–374
work page 2011
-
[4]
M. Adler and J. Moser, On a class of polynomials connected with the Korteweg-de Vries equation, Comm. Math. Phys. , 61 (1978), 1–30
work page 1978
-
[5]
H. Airault, H.P. McKean and J. Moser, Rational and ellipt ic solutions of the Korteweg-De Vries equation and a related many-body problem, Comm. Pure Appl. Math. , 30 (1977), 95–148
work page 1977
-
[6]
Balser, Formal Power Series and Linear Systems of Meromorphic Ordin ary Differential Equations Springer, New York, 2000
W. Balser, Formal Power Series and Linear Systems of Meromorphic Ordin ary Differential Equations Springer, New York, 2000
2000
-
[7]
D. Bl´ azquez-Sanz and K. Yagasaki, Galoisian approach f or a Sturm-Liouville problem on the infinite interval, Methods Appl. Anal. , 19 (2012), 267–288
work page 2012
Show all 30 references
-
[8]
Clarkson, Special polynomials associated with rat ional solutions of the Painlev´ e equa- tions and applications to soliton equations, Comput
P.A. Clarkson, Special polynomials associated with rat ional solutions of the Painlev´ e equa- tions and applications to soliton equations, Comput. Methods Funct. Theory , 6 (2006), 329– 401
2006
-
[9]
Coddington and N
E.A. Coddington and N. Levinson, Theory of Ordinary Differential Equations , McGraw-Hill, New York, 1955
1955
-
[10]
Crespo and Z
T. Crespo and Z. Hajto, Algebraic Groups and Differential Galois Theory , American Math- ematical Society, Providence, RI, 2011
2011
-
[11]
Jim´ enez, J.J
S. Jim´ enez, J.J. Morales-Ruiz, R. S´ anchez-Cauce andM.-A. Zurro, Rational KdV potentials and differential Galois theory, SIGMA, 15 (2019), 047
2019
-
[12]
Kaplansky, Introduction to Differential Algebra, 2n d ed., Hermann, Paris, 1976
I. Kaplansky, Introduction to Differential Algebra, 2n d ed., Hermann, Paris, 1976
1976
-
[13]
Kovacic, An algorithm for solving second order lin ear homogeneous differential equations, J
J.J. Kovacic, An algorithm for solving second order lin ear homogeneous differential equations, J. Symbolic Comput. , 2 (1986), 3–43. SOL V ABILITY OF THE KDV EQUATION BY QUADRATURE 19
1986
-
[14]
Kurasov and K
P. Kurasov and K. Packal´ en, Inverse scattering transf ormation for positons, J. Phys. A , 32 (1999), 1269–1278
1999
-
[15]
Loday-Richaud, Stokes phenomenon, multisummabili ty and differential Galois groups, Ann
M. Loday-Richaud, Stokes phenomenon, multisummabili ty and differential Galois groups, Ann. Inst. Fourier (Grenoble) , 44 (1994), 849–906
1994
-
[16]
Loday-Richaud, Rank reduction, normal forms and Sto kes matrices, Expo
M. Loday-Richaud, Rank reduction, normal forms and Sto kes matrices, Expo. Math. , 19 (2001), 229–250
2001
-
[17]
Ma, Complexiton solutions to the Korteweg–de Vri es equation, Phys
W.-X. Ma, Complexiton solutions to the Korteweg–de Vri es equation, Phys. Lett. A , 301 (2002), 35–44
2002
-
[18]
Ma and Y
W.-X. Ma and Y. You, Solving the Korteweg-de Vries equat ion by its bilinear form: W ron- skian solutions, Trans. Amer. Math. Soc. , 357 (2004), 1753–1778
2004
-
[19]
Matveev, Positon: Slowly decreasing analogues of solitons, Theoret
V.B. Matveev, Positon: Slowly decreasing analogues of solitons, Theoret. and Math. Phys. , 131 (2002), 483–497
2002
-
[20]
Matveev and M.A
V.B. Matveev and M.A. Salle, Darboux Transformations and Solitons , Springer, Berlin, 1991
1991
-
[21]
Mitschi and D
C. Mitschi and D. Sauzin, Divergent Series, Summability and Resurgence I. Monodromy and Resurgence, Lecture Notes in Math., 2153, Springer, Cham, 2016
2016
-
[22]
Morales-Ruiz, Differential Galois Theory and Non-Integrability of Hamilt onian Systems Birkh¨ auser, Basel,1999
J.J. Morales-Ruiz, Differential Galois Theory and Non-Integrability of Hamilt onian Systems Birkh¨ auser, Basel,1999
1999
-
[23]
van der Put and M.F
M. van der Put and M.F. Singer, Galois Theory of Linear Differential Equations , Springer, New York, 2003
2003
-
[24]
Ramis, Ph´ enom` ene de Stokes et filtration Gevrey sur le groupe de Picard-Vessiot, C
J.-P. Ramis, Ph´ enom` ene de Stokes et filtration Gevrey sur le groupe de Picard-Vessiot, C. R. Acad. Sci. Paris S´ er. I Math. , 301 (1985), 165–167
1985
-
[25]
Ramis, Filtration Gevrey sur le groupe de Picard- Vessiot d’une ´ equation diff´ erentielle irr´ eguli` ere, in P
J.-P. Ramis, Filtration Gevrey sur le groupe de Picard- Vessiot d’une ´ equation diff´ erentielle irr´ eguli` ere, in P. Deligne, B. Malgrange and J.-P. Ramis, Singularit´ es irr´ eguli` eres, Corre- spondance et documents, Doc. Math. (Paris), 5, Soci´ et´ e Math´ ematique de F...
-
[26]
Ramis and J
J.-P. Ramis and J. Martinet, Th´ eorie de Galois diff´ erentielle et resommation, in E. Tournier (ed.), Computer Algebra and Differential Equations , Academic Press, London, 1990, pp. 117– 214
1990
-
[27]
Rasinariu, U
C. Rasinariu, U. Sukhatme and A. Khare, Negaton and posi ton solutions of the KdV and mKdV hierarchy, J. Phys. A , 29 (1996), 1803–1823
1996
-
[28]
Singer, Introduction to the Galois theory of linear d ifferential equations, in Algebraic Theory of Differential Equations , M.A.H
M. Singer, Introduction to the Galois theory of linear d ifferential equations, in Algebraic Theory of Differential Equations , M.A.H. MacCallum and A.V. Mikhailov (eds.), Cambridge University Press, Cambridge, 2009, pp. 1–82
2009
-
[30]
Yagasaki, Solvability of the Zakharov-Shabat syste ms with meromorphic potentials by quadrature, Trans
K. Yagasaki, Solvability of the Zakharov-Shabat syste ms with meromorphic potentials by quadrature, Trans. Amer. Math. Soc. , to appear. [arXiv:2506.07246] Department of Applied Mathematics and Physics, Graduate Sch ool of Informatics, Kyoto University, Yoshida-Honmachi, Sakyo...
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.