Pith. sign in

REVIEW 3 major objections 4 minor 33 references

Direct approach to approximate conservation laws

T0 review · 3 major / 4 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 Direct multiplier method now finds approximate conservation laws for perturbed systems.

desk verdict Solid, useful extension of the direct method to approximate conservation laws, but the main theorem claims more than its proof delivers. read the letter →

arxiv 2505.23390 v1 pith:ZZSBTYMR submitted 2025-05-29 math-ph math.MP

M. Gorgone , G. Inferrera This is my paper
classification math-phmath.MP MSC 35A3035B2037K05 PACS 02.30.Jr02.30.Mv
keywords approximateconservationlawsmultipliersdirectmethodEuleroperatorperturbationanalysisnon-variationalsystemsCauchy-KovalevskayaformKdV-Burgersequation
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

This paper establishes a consistent way to extend the direct multiplier method—a standard algorithm that finds conservation laws of differential equations without using a Lagrangian—to systems containing small terms. The key move is to expand both the dependent variables and the Lagrange multipliers as power series in the small parameter, so that the perturbation analysis is coherent at every order. The main result, Theorem 3.3, characterizes approximate conservation laws by a single set of relations involving an approximate Euler operator per dependent variable. This matters because many physical models with small perturbations, such as perturbed nonlinear diffusion, KdV–Burgers, nonlinear Schrödinger, and Kaup–Newell equations, are not variational and previously lacked a consistent direct computational route to approximate conservation laws.

What carries the argument

The machinery is the approximate multiplier together with the approximate Euler operator (27). An approximate multiplier is a function $\Lambda^\nu(x,u^{(s)};\varepsilon)$ expanded as $\sum_k \varepsilon^k \tilde\Lambda^\nu_{(k)}(x,u^{(s)}_{(0)},\dots,u^{(s)}_{(k)})$, with the expansion generated by the linear recursion operator $R$ defined in (8)–(9); the approximate Euler operator $E_{u_{(0)\alpha}}$ is the usual Euler operator taken with respect to the zeroth-order dependent variables, with derivatives replaced by approximate total derivatives $D_i$. The theorem asserts that the conditions $E_{u_{(0)\alpha}}(\sum_k\varepsilon^k\sum_\ell \tilde\Lambda^\nu_{(\ell)}\tilde\Delta^\nu_{(k-\ell)})\approx0$ are necessary and sufficient for the multipliers to yield an approximate conservation law. These relations split at each order in $\varepsilon$ into an overdetermined linear system for the unknown multipliers, which is the computational engine of the method.

What would settle it

Compute all first-order approximate multipliers for the perturbed diffusion equation (37) using (26), then attempt to construct the fluxes explicitly by inverting the divergence operator; a single set of multipliers satisfying (26) whose product with the equations is not an approximate total divergence at order $\varepsilon$ would refute the sufficiency direction of Theorem 3.3. A symbolic computation at order $\varepsilon^2$ for any of the paper's examples would test the same point at higher order.

Watch

Extended reading notes

Core claim

The central claim is that a set of non-singular approximate multipliers $\Lambda^\nu(x,u^{(s)};\varepsilon)$ produces an approximate conservation law for the expanded system $\sum_k \varepsilon^k \tilde\Delta_{(k)}=0$ if and only if the approximate Euler operator relation (26) holds. The approximate multipliers are defined by expanding in $\varepsilon$ via the recursion operator of the consistent perturbation framework, and the proof derives the approximate Euler operator from a first-variation argument for a perturbed Lagrangian action. Applied to first order, the procedure gives linear determining equations whose solutions yield approximate multipliers and corresponding approximate fluxes; the examples show that the resulting fluxes are consistent expansions of the quantities obtained by the earlier non-expanded 'Approach A', while requiring only one Euler operator per dependent variable. The paper's own framing is that this is an extension of the direct method to the approximate context, coherent with perturbation analysis.

Load-bearing premise

The load-bearing premise is that, for systems in Cauchy–Kovalevskaya form, a set of multipliers satisfying the approximate Euler-operator condition (26) is automatically sufficient to write the product of multipliers and equations as an approximate total divergence; the paper proves necessity and derives the Euler-operator form from a variational argument, but does not prove this sufficiency.

Editorial extensions

If this is right

  • For any perturbed system in Cauchy–Kovalevskaya form, approximate conservation laws can be found by solving linear determining equations obtained from (26) at each order in $\varepsilon$.
  • The computational cost stays like the classical direct method: one approximate Euler operator per dependent variable, rather than one per dependent variable per perturbation order.
  • When the perturbed system is variational, the approximate direct method reproduces the approximate conservation laws obtained from the approximate Noether procedure.
  • At first order, the approximate fluxes produced are consistent expansions of the fluxes obtained by the earlier non-expanded approach, so all quantities are expanded coherently in $\varepsilon$.
  • Approximate multipliers whose zeroth-order part vanishes are trivial, so non-trivial approximate conservation laws require an exact multiplier of the unperturbed system that is stable under the perturbation.

Reading between the lines

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

  • The paper proves the necessity of (26) and argues sufficiency by analogy with the exact direct method; the sufficiency step is not demonstrated, so the 'if and only if' should be read as an asserted characterization pending a homotopy or integration-by-parts argument.
  • If the sufficiency holds, the method should extend to higher orders in $\varepsilon$ with the same recursive structure: the $k$-th order determining equation involves only multipliers up to order $k$, so one can compute order by order without redoing lower orders.
  • The comparison with the alternative expanded approach suggests that the choice of how to expand the multipliers is a kind of gauge choice; the form used here (including terms like $\partial\Lambda_{(0)}/\partial u_{(0)}\,u_{(1)}$) appears to be what makes the resulting fluxes match the naive expansion of the non-expanded results.
  • A natural test is to apply the method to systems where a zeroth-order multiplier is not stable under the perturbation (Remark 3.1); the method would predict either no approximate conservation law or only a trivial one, which could be checked against direct flux construction.
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

3 major / 4 minor

Summary. The paper proposes an approximate direct method for constructing conservation laws of non-variational systems containing a small parameter. It expands the dependent variables and the Lagrange multipliers consistently in powers of ε, using the recursion (7)–(9) from the authors' earlier work, and defines approximate multipliers in Definition 5. The central result is Theorem 3.3, which states that a set of non-singular approximate multipliers yields an approximate conservation law for the perturbed system if and only if the single approximate Euler operator condition (26) holds. The paper then applies the method to first order to a perturbed diffusion equation, the KdV–Burgers equation, a nonlinear wave equation, two nonlinear Schrödinger equations, and a generalized Kaup–Newell equation, in each case listing approximate multipliers and explicit approximate fluxes, and compares the results with two earlier approaches.

Significance. If Theorem 3.3 were proved, the method would be a valuable computational reduction: it would use only m Euler operators on the leading-order variables rather than the m(p+1) operators required by the fully expanded approach. The paper is clearly written, the examples are detailed and explicit, and the comparison with the Baikov–Gazizov–Ibragimov and Fushchich–Shtelen based approaches is informative. The main deficiency is that the proof of Theorem 3.3 does not establish the sufficiency direction of the claimed equivalence; the paper therefore does not currently make its central algorithmic claim rigorous, although the necessary condition and the worked examples are credible evidence that the approach can produce correct conservation laws in the cases tested.

major comments (3)
  1. [Section 3, Theorem 3.3 and its proof] The theorem is stated as an if-and-only-if, but the proof only derives the approximate Euler operator (27) from a first-variation calculation in which δu(k)=0 for k>0 (Eqs. (30)–(36)). This establishes at most that an approximate divergence is annihilated by E_{u(0)}, i.e., the necessity direction. The sufficiency direction—that condition (26) guarantees the existence of approximate fluxes Φ_j^(k) satisfying (24)–(25)—is not proved. The sentence 'Theorem 3.3 just extends...' is an assertion, not a proof, and the proof never invokes the Cauchy–Kovalevskaya hypothesis that is the standard ingredient in the sufficiency part of the exact direct method.
  2. [Section 3, Eq. (26)] The quantity F = Σ_k ε^k Σ_ℓ Λ_ℓ Δ_{k-ℓ} is a differential function of the p+1 sets of variables u(0),...,u(p) on the augmented jet. A total divergence with respect to the total derivatives D_i in (12) is annihilated by all Euler operators E_{u(k)α}, k=0,...,p. Condition (26) imposes only the k=0 operators. No lemma is stated or proved showing E_{u(k)}F = R^k(E_{u(0)}F), or any analogous compatibility relation, so the criterion may certify functions that are not total divergences on the augmented jet. The worked examples, which check only (26) and then exhibit a flux for each surviving multiplier, do not test for false positives and therefore do not fill this gap.
  3. [Section 3, Remark 3.4] Remark 3.4 states that 'it is not always possible to construct the approximate fluxes corresponding to a given set of approximate multipliers.' This sits uneasily with the sufficiency claim of Theorem 3.3, which asserts that conditions (26) suffice for an approximate conservation law. If flux construction can genuinely fail, the theorem's assertion is false or its hypotheses are incomplete; if the intended meaning is only that no explicit inversion algorithm is supplied, the theorem should be restated as an existence claim, and the examples should be described as verifications of individual cases rather than as a proof of the equivalence.
minor comments (4)
  1. [Throughout] There are several typographical errors, including 'Acknoledgments' for 'Acknowledgments', 'relie' for 'rely', 'pertubation' for 'perturbation', and a missing space in 'inε' before Eq. (26)-related discussion.
  2. [Section 3, Definition 5 and Theorem 3.3] The notion of 'non-singular' approximate multiplier is used in the theorem but is not defined in the approximate setting; the definition should state precisely what non-singularity means for the expanded multipliers Λ_ℓ.
  3. [Section 5.3 and 5.4] For the two-component Schrödinger systems, conditions (97) use E_{u(0)} and E_{v(0)}; it would be clearer to state explicitly that this is the m=2 case of Theorem 3.3 and that no E_{u(1)}, E_{v(1)} conditions are imposed by the proposed method.
  4. [Section 4] The comparison of the three approaches would be more informative if the approximate conservation laws were compared up to the equivalence relation of Definition 3, so that the reader can see which listed fluxes are genuinely new rather than equivalent reformulations.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the approximate direct method is an independent extension of the external Anco–Bluman theorem; self-citations supply framework but not the load-bearing proof.

full rationale

The paper's central claim, Theorem 3.3, is an approximate analogue of the external Anco–Bluman direct method, not a consequence of its own definitions by construction. Approximate multipliers are defined in Definition 5 via the existence of suitable fluxes (Eq. 24), and Theorem 3.3 then asserts an equivalence between that property and the Euler-operator condition (26). This mirrors the exact direct-method theorem and is not circular: condition (26) is not used as the definition of an approximate multiplier, and the proof derives the approximate Euler operator from a variational calculation rather than assuming the theorem's conclusion. The authors' prior work on consistent expansions ([20], [25]) supplies the formal framework, but the relevant definitions are reproduced in the paper, and the method is benchmarked against external results, including Jamal's Approach A and B, the ReLie/REDUCE computations, and exact Anco–Bluman multiplier theory. No fitted parameter is renamed as a prediction, no target conservation law is baked into the input, and no uniqueness theorem is imported solely from self-citations. The serious weakness identified by the skeptical reading is a correctness/completeness gap, not circularity: the sufficiency direction of Theorem 3.3 is asserted rather than proved, and Remark 3.4 concedes that constructing approximate fluxes is 'not always possible'; condition (26) alone may be insufficient on the augmented jet. A false or incomplete theorem would be a correctness defect, but it does not make the derivation circular. The self-citations to the authors' consistent-perturbation framework are present but not load-bearing in a circular sense, so the circularity score is 1.

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

The central claim rests on the exact direct method's theorem (external), the Cauchy-Kovalevskaya form assumption, the smoothness of perturbations, and the standard property that Euler operators annihilate total divergences. No free parameters or invented entities are introduced.

assumptions (4)
  • standard math The exact direct method theorem: for a non-degenerate system, multipliers correspond to conservation laws iff E_u(Lambda Delta)=0.
    Invoked in Theorem 3.3 without proof; the extension to the approximate setting is asserted.
  • domain assumption The system (10) is solvable for the leading derivatives (Cauchy-Kovalevskaya form).
    Stated as necessary before Theorem 3.3.
  • domain assumption The dependent variables and multipliers admit Taylor expansions in epsilon to order p.
    Required by Definition 1 and Definition 5.
  • standard math The approximate Euler operator Eu(0) annihilates approximate total divergences.
    Used implicitly in the 'only if' direction of Theorem 3.3; follows from the standard Euler operator identity on the full jet.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Direct approach to approximate conservation laws." pith.science (2026). https://pith.science/paper/ZZSBTYMR

@misc{pith2026250523390,
  author       = {Pith},
  title        = {Pith review of: Direct approach to approximate conservation laws},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ZZSBTYMR}},
  note         = {Machine review of arXiv:2505.23390}
}
read the original abstract

In this paper, non-variational systems of differential equations containing small terms are considered, and a consistent approach for deriving approximate conservation laws through the introduction of approximate Lagrange multipliers is developed. The proposed formulation of the approximate direct method starts by assuming the Lagrange multipliers to be dependent on the small parameter; then, by expanding the dependent variables in power series of the small parameter, we consider the consistent expansion of all the involved quantities (equations and Lagrange multipliers) in such a way the basic principles of perturbation analysis are not violated. Consequently, a theorem leading to the determination of approximate multipliers whence approximate conservation laws arise is proved, and the role of approximate Euler operators emphasized. Some applications of the procedure are presented.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

33 extracted references · 33 canonical work pages

  1. [1]

    Bressan, Hyperbolic systems of conservation laws (Oxford University Press, Oxford, 2000)

    A. Bressan, Hyperbolic systems of conservation laws (Oxford University Press, Oxford, 2000)

    work page 2000

  2. [2]

    Dafermos, Hyperbolic conservation laws in continuum physics (Springer–Verlag, Berlin, 2010)

    C.M. Dafermos, Hyperbolic conservation laws in continuum physics (Springer–Verlag, Berlin, 2010)

    work page 2010

  3. [3]

    Lax, Hyperbolic systems of conservation laws, II

    P.D. Lax, Hyperbolic systems of conservation laws, II. Comm. Pure Appl. Math. 10, 537–566 (1957)

    work page 1957

  4. [4]

    LeVeque, Numerical methods for conservation laws (Birkh¨ auser, Basel, 1992)

    R.J. LeVeque, Numerical methods for conservation laws (Birkh¨ auser, Basel, 1992)

    work page 1992

  5. [5]

    Hairer, C

    E. Hairer, C. Lubich, G. Wanner, Geometric numerical integration (Springer, New York, 2002) 40

    work page 2002

  6. [6]

    Iserles, H.Z

    A. Iserles, H.Z. Munthe-Kaas, S.P. Nørsett, A. Zanna, Lie–group meth- ods. Acta Numer. 9, 215–365 (2000)

    work page 2000

  7. [7]

    N.H. Ibragimov, Editor, CRC Handbook of Lie group analysis of dif- ferential equations: symmetries, exact solutions and conservation laws (three volumes) (CRC Press, Boca Raton, 1994, 1995, 1996)

    work page 1994

  8. [8]

    Bluman, A.F

    G.W. Bluman, A.F. Cheviakov, S.C. Anco, Applications of symmetry methods to partial differential equations (Springer, New York, 2009)

    work page 2009

Show all 33 references
  1. [9]

    Olver, Applications of Lie groups to differential equations (Springer, New York, 1986)

    P.J. Olver, Applications of Lie groups to differential equations (Springer, New York, 1986)

    1986

  2. [10]

    Oliveri, Lie symmetries of differential equations: classical results and recent contributions

    F. Oliveri, Lie symmetries of differential equations: classical results and recent contributions. Symmetry 2, 658–706 (2010)

    2010

  3. [11]

    Gorgone, F

    M. Gorgone, F. Oliveri, M.P. Speciale, Reduction of balance laws in (3+ 1)–dimensions to autonomous conservation laws by means of equivalence transformations. Acta Applicandae Mathematicae 132, 333–345 (2014)

    2014

  4. [12]

    E. Noether, Invariante variationsprobleme, in: Nachrichten von der Gesellschaft der Wissenschaften zu G¨ ottingen, Mathematisch- Physikalische Klasse; Weidmannsche Buchhandlung: Berlin, Germany, pp. 235–257 (1918); English Translation in Transp. Theory Stat. Phys. 1, 186–207 (1971)

    1918

  5. [13]

    Boyer, Continuous symmetries and conserved currents

    T.H. Boyer, Continuous symmetries and conserved currents. Ann. Phys. 42, 445–466 (1967)

    1967

  6. [14]

    Anderson, T.E

    I.M. Anderson, T.E. Duchamp, Variational principles for second–order quasi–linear scalar equations. J. Diff. Equations 51, 1–47 (1984)

    1984

  7. [15]

    Ibragimov, A new conservation theorem

    N.H. Ibragimov, A new conservation theorem. J. Math. Anal. Appl. 333, 311–328 (2007)

    2007

  8. [16]

    S.C. Anco, G. Bluman, Direct construction method for conservation laws of partial differential equations. Part I: Examples of conservation law classifications. Eur. J. Appl. Math. 13, 545–566 (2002)

    2002

  9. [17]

    S.C. Anco, G. Bluman, Direct construction method for conservation laws of partial differential equations. Part II: General treatment. Eur. J. Appl. Math. 13, 567–585 (2002) 41

    2002

  10. [18]

    Baikov, R.I

    V.A. Baikov, R.I. Gazizov, N.Kh. Ibragimov, Approximate symmetries. Mat. Sb. 136, 435–450 (1988); English Transl. in Math. USSR Sb. 64, 427–441 (1989)

    1988

  11. [19]

    Fushchich, W.H

    W.I. Fushchich, W.H. Shtelen, On approximate symmetry and approxi- mate solutions of the non-linear wave equation with a small parameter. J. Phys. A: Math. Gen. 22, 887–890 (1989)

    1989

  12. [20]

    Di Salvo, M

    R. Di Salvo, M. Gorgone, F. Oliveri, A consistent approach to approxi- mate Lie symmetries of differential equations. Nonlinear Dyn. 91, 371– 386 (2018)

    2018

  13. [21]

    Nayfeh, Introduction to perturbation techniques (Wiley, New York, 1981)

    A.H. Nayfeh, Introduction to perturbation techniques (Wiley, New York, 1981)

    1981

  14. [22]

    Gorgone, Approximately invariant solutions of creeping flow equa- tions

    M. Gorgone, Approximately invariant solutions of creeping flow equa- tions. Int. J. Non-Linear Mech. 105, 212–220 (2018)

    2018

  15. [23]

    Gorgone, F

    M. Gorgone, F. Oliveri, Approximate Q-conditional symmetries of par- tial differential equations. Electron. J. Differential Equations 25, 133– 147 (2018)

    2018

  16. [24]

    Gorgone, F

    M. Gorgone, F. Oliveri, Consistent approximate Q-conditional symme- tries of PDEs: application to a hyperbolic reaction–diffusion–convection equation. Z. Angew. Math. Phys. 72, 119 (2021)

    2021

  17. [25]

    Gorgone, F

    M. Gorgone, F. Oliveri, Approximate Noether symmetries of perturbed Lagrangians and approximate conservation laws. Mathematics 9, 2900 (2021)

    2021

  18. [26]

    Jamal, Approximate conservation laws of nonvariational differential equations

    S. Jamal, Approximate conservation laws of nonvariational differential equations. Mathematics 7, 574 (2019)

    2019

  19. [27]

    Tarayrah, Exact and approximate symmetries and approximate conservation laws of differential equations with a small parameter

    M.R.M. Tarayrah, Exact and approximate symmetries and approximate conservation laws of differential equations with a small parameter. PhD thesis, Available online: https://harvest.usask.ca/handle/10388/ 13945 (2022)

    2022

  20. [28]

    Oliveri, ReLie: A Reduce package for Lie group analysis of differential equations

    F. Oliveri, ReLie: A Reduce package for Lie group analysis of differential equations. Symmetry 13, 1826 (2021) 42

    2021

  21. [29]

    Hearn, R

    A.C. Hearn, R. Sch¨ opf, Reduce User’s Manual. Free Version. Available online: https://reduce-algebra.sourceforge.io (2022)

    2022

  22. [30]

    Yang, W.X

    J.Y. Yang, W.X. Ma, Conservation laws of a perturbed Kaup–Newell equation. Modern Physics Letters B 30, 1650381 (2016)

    2016

  23. [31]

    Abdullahi, I

    Y. Abdullahi, I. Mustafa, B. Mustafa, Stability analysis and conserva- tion laws via multiplier approach for the perturbed Kaup–Newell equa- tion. Journal of Advanced Physics 7, 451–453 (2018)

    2018

  24. [32]

    Kara, F.M

    A.H. Kara, F.M. Mahomed, Noether–type symmetries and conservation laws via partial Lagrangians. Nonlinear Dyn. 45, 367–383 (2006)

    2006

  25. [33]

    Rosenhaus, R

    V. Rosenhaus, R. Shankar, Quasi–Noether systems and quasi– Lagrangians. Symmetry 11, 1008 (2019) 43

    2019

Pith tools

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