pith. sign in

arxiv: 2605.15679 · v1 · pith:6IQO4YTYnew · submitted 2026-05-15 · 🧮 math-ph · math.MP

Spectral separation of variables from equivalent Lagrangian systems

Mattia Scomparin This is my paper

Pith reviewed 2026-05-19 19:40 UTC · model grok-4.3

classification 🧮 math-ph math.MP
keywords quadratic LagrangiansEuler-Lagrange equationsspectral decompositionseparation of variablesintegrable systemsHénon-Heiles modelSawada-Kotera systemcompatibility condition
0
0 comments X

The pith

Requiring two quadratic Lagrangians to produce the same equations of motion imposes a commutation condition that spectrally decomposes the configuration space and decouples the dynamics.

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

The paper shows that dynamical equivalence of quadratic Lagrangians requires a compatibility condition linking the kinetic matrices to the potential. For constant symmetric kinetic matrices this condition simplifies to a commutation relation with the Hessian of the potential. The relation produces an orthogonal spectral decomposition of the configuration space. The resulting decomposition splits the equations of motion into independent subsystems, either in block form or completely when eigenvalues are distinct. This supplies a direct route from Lagrangian equivalence to separation of variables, recovering the integrable regimes of the Sawada-Kotera system and an n-dimensional Hénon-Heiles model.

Core claim

Requiring two quadratic Lagrangians to generate the same Euler-Lagrange equations imposes a compatibility condition between the kinetic matrices and the potential. For constant symmetric kinetic matrices, this condition reduces to a commutation relation with the Hessian of the potential, yielding an orthogonal spectral decomposition of the configuration space. The equations of motion then decouple into independent subsystems: generically in block-separated form, and completely when the spectrum is simple.

What carries the argument

The commutation relation between constant symmetric kinetic matrices and the Hessian of the potential, which yields an orthogonal spectral decomposition of the configuration space and subsequent decoupling of the equations of motion.

If this is right

  • The equations of motion decouple into independent subsystems, generically in block-separated form.
  • Complete decoupling into scalar equations occurs when the spectrum of the commuting matrices is simple.
  • The method recovers the known integrable parameter values for the Sawada-Kotera system.
  • It extends the Hénon-Heiles model to n dimensions while preserving the classical integrable regimes.

Where Pith is reading between the lines

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

  • The same equivalence condition may supply a systematic test for the existence of separated coordinates in other quadratic or near-quadratic systems.
  • Relaxing constancy of the kinetic matrices while preserving the compatibility structure could link the approach to time-dependent or curved-configuration-space problems.
  • The spectral decomposition offers an alternative starting point for constructing Lax pairs or other integrability indicators without presupposing the separated form.

Load-bearing premise

The kinetic matrices are constant and symmetric.

What would settle it

A pair of quadratic Lagrangians with constant symmetric kinetic matrices that share identical Euler-Lagrange equations yet fail to satisfy the commutation relation with the potential Hessian would falsify the claimed reduction.

Figures

Figures reproduced from arXiv: 2605.15679 by Mattia Scomparin.

Figure 1
Figure 1. Figure 1: Geometric mechanism behind the theorems: spectral decomposition of the constant symmetric matrix A induces an orthogonal splitting R n = L k Eλk , which forces block separation of the potentials and hence of the Euler–Lagrange equations. 4. Applications We now describe how the spectral separation can be used in practice to analyze the separability and integrability properties of a given Lagrangian system. … view at source ↗
read the original abstract

We investigate the dynamical equivalence of quadratic Lagrangians and its relation to separation of variables. We show that requiring two quadratic Lagrangians to generate the same Euler--Lagrange equations imposes a compatibility condition between the kinetic matrices and the potential. For constant symmetric kinetic matrices, this condition reduces to a commutation relation with the Hessian of the potential, yielding an orthogonal spectral decomposition of the configuration space. The equations of motion then decouple into independent subsystems: generically in block-separated form, and completely when the spectrum is simple. Applications include the Sawada--Kotera system and an $n$-dimensional extension of the H\'{e}non--Heiles model, where the classical integrable parameter regimes are recovered.

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

1 major / 2 minor

Summary. The manuscript examines the dynamical equivalence of quadratic Lagrangians and its implications for separation of variables. It demonstrates that identical Euler-Lagrange equations for two quadratic Lagrangians L_i = 1/2 q̇^T M_i q̇ - V_i(q) impose a compatibility condition M1^{-1} ∇V1 = M2^{-1} ∇V2. For constant symmetric kinetic matrices M and shared potential V, differentiation yields the commutation relation [M, Hess V(q)] = 0, enabling an orthogonal spectral decomposition of the configuration space and decoupling of the equations of motion into independent subsystems on invariant subspaces. The paper applies this to the Sawada-Kotera system and an n-dimensional Hénon-Heiles model, recovering classical integrable parameter regimes.

Significance. If the derivations hold, this work provides a systematic algebraic approach to identifying separable or decoupled coordinates in Lagrangian systems via equivalence conditions. The connection to spectral decomposition is a standard linear algebra consequence but is applied here to recover integrability conditions in known systems, offering a unified view. The explicit recovery of integrable regimes in the applications adds concrete value.

major comments (1)
  1. [§3] §3, compatibility condition derivation: the step from M₁⁻¹ ∇V₁ = M₂⁻¹ ∇V₂ to the commutator [M, Hess V(q)] = 0 by differentiation should be written out explicitly, including the precise differentiation of the force term and confirmation that the result holds identically for all q when M is constant and symmetric.
minor comments (2)
  1. [Abstract] Abstract: the phrase 'generically in block-separated form' would benefit from a short parenthetical clarifying the meaning of 'generically' in the context of the spectrum of M.
  2. [§5] §5, Hénon-Heiles application: the recovered parameter regimes should be stated numerically alongside the classical literature values to make the match explicit.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the constructive comment. We agree that the derivation of the commutation relation can be presented more explicitly and will revise the text accordingly.

read point-by-point responses

  1. Referee: [§3] §3, compatibility condition derivation: the step from M₁⁻¹ ∇V₁ = M₂⁻¹ ∇V₂ to the commutator [M, Hess V(q)] = 0 by differentiation should be written out explicitly, including the precise differentiation of the force term and confirmation that the result holds identically for all q when M is constant and symmetric.

    Authors: We agree with the referee that the passage from the compatibility condition M₁^{-1} ∇V₁ = M₂^{-1} ∇V₂ to the commutator [M, Hess V(q)] = 0 should be expanded for clarity. In the revised manuscript we will insert an explicit differentiation of both sides with respect to the coordinates q. Starting from the vector equation M^{-1} ∇V(q) = constant (when M is the same for both Lagrangians), we differentiate component-wise, apply the product rule to the left-hand side, and use the symmetry of M together with the fact that the second derivatives commute. This yields the matrix identity M Hess V(q) = Hess V(q) M, which holds identically for all q. The revised paragraph will also note that the force term ∇V is differentiated to produce the Hessian and that constancy of M eliminates additional terms. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained linear algebra from EL equivalence

full rationale

The paper starts from the requirement that two quadratic Lagrangians L_i = ½ q̇ᵀ M_i q̇ − V_i(q) produce identical Euler-Lagrange equations, which directly yields the compatibility condition M₁⁻¹ ∇V₁ = M₂⁻¹ ∇V₂. For constant symmetric kinetic matrices and shared potential, differentiation produces the commutator [M, Hess V(q)] = 0. The orthogonal spectral decomposition then follows immediately from the fact that a symmetric matrix commutes with its Hessian only if the Hessian is block-diagonal in the fixed eigenbasis of M. This chain uses only the definition of the Euler-Lagrange operator, constancy of M, and elementary linear algebra on symmetric matrices; no step reduces to a fitted parameter renamed as prediction, a self-definitional loop, or a load-bearing self-citation. The result is externally verifiable by direct substitution into the equations of motion and is therefore scored as fully non-circular.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the standard assumption that the Lagrangians under consideration are quadratic in the velocities and that the kinetic matrices can be taken constant and symmetric.

axioms (1)
  • domain assumption Lagrangians are quadratic in velocities with constant symmetric kinetic matrices.
    Explicitly invoked when the compatibility condition is reduced to the commutation relation.

pith-pipeline@v0.9.0 · 5637 in / 1148 out tokens · 46364 ms · 2026-05-19T19:40:42.607134+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages

  1. [1]

    12, 6578–6602

    Sergio Benenti , Intrinsic characterization of the variable separation in t he Hamilton–Jacobi equation , Journal of Mathematical Physics 38 (1997), no. 12, 6578–6602

    work page 1997

  2. [2]

    5, 2065–2091

    Sergio Benenti, Claudia Chanu, and Giovanni Rastelli , Variable sepa- ration for natural hamiltonians with scalar and vector pote ntials on riemannian manifolds, Journal of Mathematical Physics 42 (2001), no. 5, 2065–2091

    work page 2001

  3. [3]

    Sergio Benenti, Claudia Chanu, and Giovanni Rastelli , Variable- separation theory for the null Hamilton–Jacobi equation , Journal of Mathemati- cal Physics 46 (2005), 042901

    work page 2005

  4. [4]

    B/suppress laszak and S

    M. B/suppress laszak and S. Rauch-Wojciechowski, A generalized h´ enon–heiles sys- tem and related integrable newton equations , Journal of Mathematical Physics 35 (1994), 1693–1709

    work page 1994

  5. [5]

    C. M. Cosgrove and G. Scoufis , Painlev´ e classification of a class of dif- ferential equations of the second order and second degree , Studies in Applied Mathematics 88 (1993), no. 1, 25–87

    work page 1993

  6. [6]

    2, 284–305

    Luther Pfahler Eisenhart , Separable systems of St¨ ackel, Annals of Mathe- matics 35 (1934), no. 2, 284–305

    work page 1934

  7. [7]

    A. P. Fordy, B. Dorizzi, and B. Grammaticos , Painlev´ e problem for coupled ordinary differential equations , Physical Review Letters 50 (1983), no. 6, 374– 377. 22 MATTIA SCOMPARIN

    work page 1983

  8. [8]

    3, 358–363

    Benno Fuchssteiner and W alter Oevel , The bi-hamiltonian structure of some nonlinear fifth- and seventh-order differential equatio ns and recursion for- mulas for their symmetries and conserved covariants , Journal of Mathematical Physics 23 (1982), no. 3, 358–363

    work page 1982

  9. [9]

    3, 499–505

    Gianluca Gorni, Mattia Scomparin, and Gaetano Zampieri , A new class of separable lagrangian systems generalizing the sawada–k otera system , Dynam- ics 4 (2024), no. 3, 499–505

    work page 2024

  10. [10]

    H ´enon and C

    M. H ´enon and C. Heiles , The applicability of the third integral of motion , Astronomical Journal 69 (1964), 73–79

    work page 1964

  11. [11]

    E. G. Kalnins and Willard Miller , Killing tensors and variable separation for Hamilton–Jacobi and Helmholtz equations , SIAM Journal on Mathematical Analysis 11 (1980), 1011–1026

    work page 1980

  12. [12]

    Tullio Levi-Civita , Sulla integrazione della equazione di Hamilton–Jacobi per separazione di variabili , Mathematische Annalen 59 (1904), 383–397

    work page 1904

  13. [13]

    G. E. Prince, Willy Sarlet, and G. Thompson , The inverse problem of the calculus of variations: The use of geometrical calculus in douglas’s analysis , Transactions of the American Mathematical Society 354 (2002), no. 7, 2897– 2919

    work page 2002

  14. [14]

    Willy Sarlet and Ant ´onio Ramos , Adjoint symmetries, separability, and volume forms , Journal of Mathematical Physics 41 (2000), 2877–2888

    work page 2000

  15. [15]

    Saw ada and T

    K. Saw ada and T. Kotera , A method for finding n-soliton solutions of the kdv equation and kdv-like equation , Progress of Theoretical Physics 51 (1974), 1355–1367

    work page 1974

  16. [16]

    P aul St¨ackel, ¨Uber die bewegung eines punktes in einer n-fachen mannig- faltigkeit, Mathematische Annalen 42 (1893), 537–563

    work page

  17. [17]

    Matveev , Geodesic equivalence via inte- grability, Geometriae Dedicata 96 (2003), 91–115

    Peter Topalov and Vladimir S. Matveev , Geodesic equivalence via inte- grability, Geometriae Dedicata 96 (2003), 91–115

    work page 2003

  18. [18]

    N. M. J. Woodhouse , Killing tensors and the separation of the Hamilton– Jacobi equation, Communications in Mathematical Physics 44 (1975), 9–38

    work page 1975

  19. [19]

    4, Springer, New York, 2005

    Fuzhen Zhang, The schur complement and its applications , Numerical Methods and Algorithms, vol. 4, Springer, New York, 2005

    work page 2005