Pith. sign in

REVIEW 2 major objections 5 minor 24 references

Nonlocal invariance of the multipotentialisations of the Kupershmidt equation and its higher-order hierarchies

T0 review · 2 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read The Kupershmidt equation and its five potential equations are linked by nonlocal invariance maps that turn any solution into new solutions, and the same maps persist on the higher-order hierarchies.

desk verdict Solid fifth-order results, but Section 4's hierarchy claim needs proof before the paper can be fully trusted. read the letter →

arxiv 2506.07780 v1 pith:MFWHOOP2 submitted 2025-06-09 nlin.SI math-phmath.MP

Marianna Euler , Norbert Euler This is my paper
classification nlin.SImath-phmath.MP MSC 35Q5337K1037K35
keywords KupershmidtequationmultipotentialisationnonlocalinvariancetransformationsrecursionoperatorsSawada-KoteraMiurahigher-orderhierarchiessolutioniterationformulas
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 paper shows that the fifth-order Kupershmidt equation can be potentialised five times in a row, producing a chain of equations (U, u, v, w, q) that are all integrable and connected by explicit substitutions. The central discovery is that several of these equations admit two different potentialisations into the same neighbouring equation, and composing them yields nonlocal invariance transformations: maps that send any solution of an equation to another solution of the same equation. These transformations serve as iteration formulas, so one seed solution can be expanded into a family of explicit solutions for the Kupershmidt equation, all five potential equations, the Sawada-Kotera equation, and the k-equation. The paper further claims that the same invariance transformations hold for all higher-order members of the hierarchies generated by the explicitly listed recursion operators, and it writes out the seventh-order equations of each hierarchy. A sympathetic reader should care because the result turns a structural observation about conserved currents into a practical solution-generating engine for a family of integrable equations.

What carries the argument

The central object is the multipotentialisation chain of the Kupershmidt equation, a finite sequence of equations linked by potentialising substitutions: $U_x = K$, then $u_x = -\tfrac12 e^{2U}$, then $v_x = u^{-1/2}$ (or $v_x = u\,u^{-1/2}$), then $w_x = -\tfrac{\beta}{6} v^2 v_x^{-2}$, then $q_x = -\tfrac43 w^{-1/2}$. Each substitution is a potentialisation in the sense that the new variable's $x$-derivative is a conserved current of the previous equation, obtained from an integrating factor. The load-bearing device is the double potentialisation: some equations admit two distinct conserved currents that lead to the same neighbouring equation (for instance both $v_x = u^{-1/2}$ and $v_x = u u^{-1/2}$ take the second potential equation to the third), and composing the two branches produces the nonlocal invariance maps of Propositions 2, 3, and 4. The recursion operators listed in Appendix A, of integro-differential form, generate the higher-order hierarchies and carry the same potential variables along.

What would settle it

Directly verify the Proposition 4 formulas on the explicit seventh-order equations (4.2)-(4.9): choose a seed solution, build the corresponding potential variable by integration, apply the stated transformation, and check by differentiation whether the transformed quantity satisfies the seventh-order equation; a single mismatch would falsify the Section 4 hierarchy claim.

Watch

Extended reading notes

Core claim

On the paper's own terms, the discovery is Proposition 4: the Kupershmidt equation, the five potential equations in its multipotentialisation chain, the Sawada-Kotera equation, and the k-equation are each invariant under nonlocal transformations built from two different routes through the chain. For the Kupershmidt equation itself the statement is $\bar K = K + 2[\ln v]_x$ with $K = -[\ln v_x]_x$, where $v$ is any solution of the third potential equation; for the Sawada-Kotera equation it is $\bar S = S + 6[\ln v]_{xx}$ with $S = -v_{xxx}/v_x$. The transformations for the potential variables $U, u, v, w, q$ are given in parts (b)-(f) of the proposition and involve integrals of the seed solutions plus free functions of $t$ that are fixed by substitution. Section 4 extends these same invariance relations to the hierarchies obtained by acting with the sixth-order recursion operators of Appendix A; the seventh-order members of all eight hierarchies are written out explicitly.

Load-bearing premise

The load-bearing premise is that the substitutions connecting the five potential equations—for instance $v_x = u^{-1/2}$ and $w_x = -\frac{\beta}{6} v^2 v_x^{-2}$—still work when each equation is replaced by the higher-order members of its hierarchy, so the same invariance formulas hold at every order.

Editorial extensions

If this is right

  • A single solution of the third potential equation $v$ seeds new solutions of the Kupershmidt equation, the first, second, fourth, and fifth potential equations, the Sawada-Kotera equation, and the k-equation through the formulas in Proposition 4.
  • Iterating the maps of Propositions 2 and 3 builds families of exact solutions; the paper demonstrates this starting from $u_1 = -1/x$ and $v_1 = 1/x^2$, producing rational solutions with free constants.
  • If the Section 4 assertion is correct, the same transformations generate solutions of every member of the eight hierarchies, beginning with the explicit seventh-order equations (4.2)-(4.9).
  • The Miura maps $S = K_x - K^2$ and $k = -K_x - \tfrac12 K^2$ connect the hierarchies, so solution-generating information flows between the Kupershmidt tower, the Sawada-Kotera tower, and the k-equation tower.
  • The explicit recursion operators in Appendix A make higher-order members concrete and computable, allowing the claimed invariance to be tested at any order.

Reading between the lines

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

  • The authors state rather than prove the higher-order persistence of the invariance transformations; a natural test is to verify the formulas on the seventh-order equations, and if they pass, a recursion-operator proof of the general claim probably exists.
  • The nonlocal invariance maps have the flavour of discrete symmetries or auto-Bäcklund transformations; classifying the group they generate by composing the elementary maps in Propositions 2 and 3 is a natural next step that the paper does not take.
  • The technique is not universal—Appendix B exhibits a symmetry-integrable Krichever-Novikov equation that cannot be potentialised—so the same chain construction could serve as a classification tool for which integrable fifth-order equations admit multipotentialisations.
  • Because the transformations contain free functions of $t$ that are fixed by substitution, repeated iteration appears capable of producing solution families with many free parameters; an explicit count of the parameters generated after $n$ iterations is a testable extension.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 5 minor

Summary. The paper studies the multipotentialisation of the fifth-order Kupershmidt equation $K_t=K_{5x}-5K_xK_{xxx}-5K_{xx}^2-5K^2K_{xxx}-20KK_xK_{xx}-5K_x^3+5K^4K_x$. It constructs a chain of potential equations $K\to U\to u\to v\to w\to q$ via the differential substitutions (2.2), (2.4), (2.7), (2.10), and (2.12), together with Miura maps (2.13) and (2.15) to the Sawada-Kotera and $k$-equations. Propositions 2-4 state nonlocal invariance transformations for the equations in this chain, with representative formulas $\bar K=K+2[\ln v]_x$, $K=-[\ln v_x]_x$, and the paper gives worked examples that iterate solutions. Section 4 then asserts that the same potential variables and the same invariance transformations hold for all member equations of the hierarchies generated by the recursion operators listed in Appendix A, and it explicitly lists the seven seventh-order equations (4.2)-(4.9). The paper is a corrected reprint of a 2018 book chapter.

Significance. The fifth-order results are concrete and largely checkable: the invariance transformations in Propositions 2-4 are derived from explicit differential substitutions and conserved-current relations, and they are illustrated on non-trivial worked examples. The explicit listing of the recursion operators in Appendix A and of the seventh-order representatives (4.2)-(4.9) is a useful data resource, provided the recursion-operator identities are verified. The main claimed novelty--survival of the invariance transformations for the full higher-order hierarchies--would be significant if established, because it would give nonlocal iteration formulas for infinitely many equations. At present, however, the hierarchy part rests on an unproved intertwining assumption, so the significance of the paper as a whole is conditional on that gap being filled.

major comments (2)
  1. [Section 4 (after Diagram 10)] The assertion that 'the same potential variables' can be introduced for all corresponding hierarchies and that 'the same invariance transformations as given in Proposition 2, Proposition 3 and Proposition 4 now also hold for the respective higher-order hierarchies' is not proved. For instance, Proposition 4(a) establishes the substitution $K=-[\ln(v_x)]_x$ only for the fifth-order flows (2.1) and (2.6). To justify the claimed seventh-order statement one must show that if $v$ solves $v_{\tau_1}=R_v v_x$ in (4.5), then $K$ defined by that substitution solves $K_{\tau_1}=R_K K_x$ in (4.2). This is a nontrivial intertwining condition between $R_K$ and $R_v$; it does not follow from the fifth-order potentialisation, and no argument or computational check is given. The same gap occurs for every link in Diagram 10 and for the Miura maps to the Sawada-Kotera and $k$-equations. Because the hierarchy extension is the paper's central new claim, this missing compatibility proof is load-bearing.
  2. [Appendix A] The recursion operators in Appendix A are listed without any verification of condition (1.7), the defining condition for a recursion operator of an equation of the form (1.1). Section 4 relies on these operators to define the hierarchies and states that the corresponding flows commute. The explicit seventh-order equations (4.2)-(4.9) could in principle be checked as symmetries of the respective fifth-order equations, but the paper does not report such a check, nor does it verify (1.7) for the new operators $R_u,R_v,R_w,R_q,R_k$. A short computational verification, or a clear statement that the verification was performed and where the details can be found, should be added before the hierarchy claims can be considered established.
minor comments (5)
  1. [Section 4, paragraph before (4.6)] The text says that $R_w$ is the recursion operator of the 4th Potential Kupershmidt equation (2.6); it should refer to (2.9), which is the equation in the variable $w$.
  2. [Section 2, first paragraph] The sentence 'in Section 1 we perform a multipotentialisation of the Kupershmidt equation' is a misstatement: the construction is carried out in Section 2.
  3. [Equation (1.6)] The index $m$ in the recursion-operator Ansatz (1.6) is not defined, and the dependence of the functions $I_i(u_x,u_t)$ on the particular flow is left implicit; this should be clarified once, especially because the Appendix A operators use this notation.
  4. [Proposition 4(f)] The formula (3.6a) contains a square root with the condition $\beta<0$ stated only in the sentence below the display; it would be helpful to state explicitly whether $\beta$ is assumed real and negative throughout (2.9)-(2.11) or whether the expressions are to be understood formally/complexified.
  5. [Appendix B] The conclusion that (B.1) cannot be potentialised is supported by the zero- and second-order integrating-factor calculation, but the statement that 'the same is true for higher-order integrating factors' is asserted without detail. One or two sentences describing the obstruction for higher orders would make the non-potentialisability claim checkable.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the nonlocal invariance transformations are derived from explicit differential substitutions and conserved currents, not from assuming the claimed invariance.

full rationale

The core derivation chain is self-contained. Proposition 4 is obtained by composing the explicit potentialisation substitutions collected in Diagram 6 and integrating the resulting relations, as shown in the proof: for example, (3.1) follows from U2 = U1 + ln(v^2), U1 = ln(sqrt(2)) - ln(v_x), and then differentiating U_x = K. The functions f_i(t) are not fitted inputs; they are determined by substituting the proposed transformed variable back into the equation and imposing that it indeed satisfies that equation, as demonstrated in the worked examples. Propositions 2 and 3 are cited from the authors' earlier work but are also restated with proofs in the present paper, so the dependency is not a bare self-citation. The recursion operators in Appendix A are stated explicitly, and the 7th-order hierarchy members are written out from them. The one genuine gap is in Section 4, where it is asserted without proof that the same potential variables and the same invariance transformations hold for all higher-order hierarchy flows, i.e. that the potentialisation substitutions commute with the recursion-operator flows. That is an unproven compatibility claim and a correctness risk, but it is not circular: the fifth-order invariance results do not use the hierarchy claim as an input, and the hierarchy claim is not a renaming or a fitted parameter. No step of the derivation reduces by construction to its own conclusion.

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

The central new content rests on two unproved computational premises: the recursion operators in Appendix A satisfy (1.7), and the potentialisation chain is compatible with all hierarchy flows. No new physical entities are introduced. Beta is an arbitrary parameter in the equations, not a fitted constant.

free parameters (1)
  • beta = arbitrary nonzero constant; beta < 0 for the q-equation case
    Introduced by hand in the potentialisation w_x = -beta/6 v^2 v_x^{-2} (2.10); it parameterizes the 4th and 5th potential equations (2.9) and (2.11). It is not fitted to data, but it is a chosen constant that affects the formulas and the reality condition in Proposition 4(f).
assumptions (5)
  • standard math The standard conservation-law potentialisation procedure: if Phi^t is a conserved current of u_t = F, then setting v_x = Phi^t and v_t = -Phi^x yields a potential equation.
    Used throughout Section 2 to construct the chain in Diagram 6 from conserved currents computed via (1.10) and (1.16).
  • standard math The recursion operator condition [L_E[u], R_u] = D_t R_u (equation 1.7) characterizes recursion operators that generate commuting symmetries through (1.8).
    This is the framework in which the operators in Appendix A are claimed to generate the hierarchies of Section 4.
  • domain assumption The operators R_U, R_u, R_v, R_w, R_q, R_k listed in Appendix A satisfy (1.7) and therefore define hierarchies.
    The paper states these operators exist and lists them, but does not show the computation verifying (1.7).
  • ad hoc to paper The potentialisation and Miura substitutions of Diagram 6 remain valid on every flow of the corresponding recursion-operator hierarchies.
    Section 4 asserts the same potential variables and invariance transformations hold for all higher-order equations without proving compatibility of the substitutions with the hierarchy flows.
  • standard math The Schwarzian derivative and Miura transformations (2.13) and (2.15) map solutions of the Kupershmidt equation to solutions of Sawada-Kotera and the k-equation.
    Used in Proposition 4(g,h); these are classical results from reference [12].

how reviews work

0 comments
Cite this review

Pith. "Pith review of Nonlocal invariance of the multipotentialisations of the Kupershmidt equation and its higher-order hierarchies." pith.science (2026). https://pith.science/paper/MFWHOOP2

@misc{pith2026250607780,
  author       = {Pith},
  title        = {Pith review of: Nonlocal invariance of the multipotentialisations of the Kupershmidt equation and its higher-order hierarchies},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/MFWHOOP2}},
  note         = {Machine review of arXiv:2506.07780}
}
abstract

The term multipotentialisation of evolution equations in $1+1$ dimensions refers to the process of potentialising a given evolution equation, followed by at least one further potentialisation of the resulting potential equation. For certain equations this process can be applied several times to result in a finite chain of potential equations, where each equation in the chain is a potential equation of the previous equation. By a potentialisation of an equation with dependent variable $u$ to an equation with dependent variable $v$, we mean a differential substitution $v_x=\Phi^t$, where $\Phi^t$ is a conserved current of the equation in $u$. The process of multipotentialisation may lead to interesting nonlocal transformations between the equations. Remarkably, this can, in some cases, result in nonlocal invariance transformations for the equations, which then serve as iteration formulas by which solutions can be generated for all the equations in the chain. In the current paper we give a comprehensive introduction to this subject and report new nonlocal invariance transformations that result from the multipotentialisation of the Kupershmidt equation and its higher-order hierarchies. The recursion operators that define the hierarchies are given explicitly.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

24 extracted references · 24 canonical work pages

  1. [1]

    Anco C S and Bluman G W, Direct construction method for con servation laws of partial differential equations Part II: General treatment, Euro. Jnl. of Applied Math- ematics 13, 567–585, 2002. CRC Press (2018): Nonlinear Systems and Their Remarkable Mathematical Struc tures 353

    work page 2018

  2. [2]

    Caudrey P J, Dodd R K and Gibbon J D, A new hierarchy of Korte weg-de Vries equation, Proc. Roy. Soc. London Ser. A 351, 407–422, 1976

    work page 1976

  3. [3]

    Conte R (Ed), The Painlev´ e Property One Century Later, Springer, New York, 1999

    work page 1999

  4. [4]

    Nonlinear Math

    Euler M and Euler N, Second-order recursion operators of third-order evolution equa- tions with fourth-order integrating factors, J. Nonlinear Math. Phys. 14, 321–323, 2007

    work page 2007

  5. [5]

    Nonlinear Math

    Euler M and Euler N, A class of semilinear fifth-order evol ution equations: Recursion operators and multipotentialisations, J. Nonlinear Math. Phys. 18 Suppl. 1, 61–75, 2011

    work page 2011

  6. [6]

    Nonlinear Math

    Euler M and Euler N, Invariance of the Kaup-Kupershmidt e quation and triangular auto-B¨ acklund transformations,J. Nonlinear Math. Phys 19, 1220001-1-7, 2012

    work page 2012

  7. [7]

    Nonlinear Math

    Euler M, Euler N and Reyes E G, Multipotentialisation and nonlocal symmetries: Kupershmidt, Kaup-Kupershmidt and Sawada-Kotera equatio ns, J. Nonlinear Math. Phys. 24, 303–314, 2017

    work page 2017

  8. [8]

    Nonlinear Math

    Euler N and Euler M, On nonlocal symmetries, nonlocal con servation laws and nonlo- cal transformations of evolution equations: Two linearisa ble hierarchies, J. Nonlinear Math. Phys. 16, 489–504, 2009

    work page 2009

Show all 24 references
  1. [9]

    Nonlinear Math

    Euler N and Euler M, Multipotentialisation and iteratin g-solution formulae: The Krichever-Novikov equation, J. Nonlinear Math. Phys. 16 Suppl. 1 , 93–106, 2009

    2009

  2. [10]

    Nonlinear Math

    Euler N and Euler M, The converse problem for the multipo tentialisation of evolution equations and systems J. Nonlinear Math. Phys. 18 Suppl. 1 , 77–105, 2011

    2011

  3. [11]

    Nuovo Cimento 28, 299–303, 1980

    Fokas A S and Fuchssteiner B, On the structure of symplec tic operators and hereditary symmetries, Lett. Nuovo Cimento 28, 299–303, 1980

    1980

  4. [12]

    Fordy A P and Gibbons J, Some remarkable nonlinear trans formations, Physics Letters 75A (5), 325, 1980

    1980

  5. [13]

    Fuchssteiner B and Oevel W, The bi-Hamiltonian structu re of some nonlinear fifth- and seventh-order differential equations and recursion form ulas for their symmetries and conserved covariants, J. Math. Phys. 23 (3), 358–363, 1982

    1982

  6. [14]

    Symbolic Computation 24, 591–622, 1997

    G¨ okta¸ s¨U and Hereman W, Symbolic computation of conserved densitie s for systems of nonlinear evolution equations, J. Symbolic Computation 24, 591–622, 1997

    1997

  7. [15]

    Ito M, An extension of nonlinear evolution equations of the K-dV (mmK-dV) type to higher orders, J. Phys. Soc. Jpn. 49 771–778, 1980. 354 M Euler and N Euler

    1980

  8. [16]

    Krichever I M and Novikov S P, Holomorphic bundles over a lgebraic curves, and nonlinear equations, Russ. Math. Surv. 35, 53–80, 1980

    1980

  9. [17]

    Mikhailov A V, Shabat A B and Sokolov V V, The symmetry app roach to classification of integrable equations, in What is Integrability?, Zhakarov E V (Ed), Springer, Berlin, 115–184, 1991

    1991

  10. [18]

    Petersson N, Euler N, and Euler M, Recursion Operators f or a Class of Integrable Third-Order Evolution Equations, Stud. Appl. Math. 112, 201–225, 2004

    2004

  11. [19]

    Reyes E G, Nonlocal symmetries and the Kaup-Kupershmid t equation, J Math. Phys. 46, 073507, 19 pp, 2005

    2005

  12. [20]

    Sanders J A and Wang J P, On the integrability of homogene ous scalar evolution equations, J. Diff. Eqs. 147, 410–434, 1998

    1998

  13. [21]

    Sanders J A and Wang J P, Integrable systems and their rec ursion operators, Nonlinear Analysis 47, 5213–5240, 2001

    2001

  14. [22]

    Sawada K and Kotera T, A method of finding N -soliton solutions of the KdV and KdV-like equation, Progr. Theoret. Phys. 51, 1355–1367, 1974

    1974

  15. [23]

    Steeb W-H and Euler N, Nonlinear Evolution Equations and Painlev´ e Test , World Scientific, Singapore, 1988

    1988

  16. [24]

    II: B¨ acklund trans- formation, Lax pairs, and the Schwarzian derivative, J

    Weiss J, The Painlev´ e property for partial differential equations. II: B¨ acklund trans- formation, Lax pairs, and the Schwarzian derivative, J. Math. Phys. 24, 1405–1413, 1983

    1983

Pith tools

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