arxiv: 2602.18815 · v3 · submitted 2026-02-21 · 🧮 math-ph · math.MP· physics.class-ph

Recognition: 2 theorem links

· Lean Theorem

On the adiabatic invariance of the action of a trapped wave

Ekaterina V. Shishkina , Serge N. Gavrilov

Authors on Pith no claims yet

Pith reviewed 2026-05-15 20:35 UTC · model grok-4.3

classification 🧮 math-ph math.MPphysics.class-ph

keywords adiabatic invarianttrapped wavediscrete-continuous systemHamiltonian systemlocalized oscillationslowly varying parameterswave energy

0 comments

The pith

The adiabatic invariant of a trapped wave equals the ratio of its total energy to its frequency.

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

The paper shows that in linear discrete-continuous systems with slowly varying parameters, the amplitude of a trapped wave depends only on the current parameter values. From this history-independent property the authors define an adiabatic invariant that stays nearly constant during slow changes. They demonstrate that this invariant equals the total energy of the wave divided by its frequency. The result simplifies analysis of localized oscillations while generalizing the classical adiabatic invariant from Hamiltonian mechanics. An effective Hamiltonian system is constructed that carries the same invariant.

Core claim

Defined as a quantity that remains approximately constant under slow parameter variation, the adiabatic invariant for a strongly localized mode equals the ratio of the total energy of the trapped wave to its frequency. This relation follows directly from the history-independent amplitude established in prior work and yields a simplified method for problems of localized oscillation in continuous systems containing discrete inclusions. The authors further introduce an effective Hamiltonian system that possesses the identical adiabatic invariant.

What carries the argument

The adiabatic invariant, defined as total energy divided by frequency for the trapped wave, which remains constant because the wave amplitude depends only on instantaneous parameter values.

If this is right

Localized oscillation problems in continuous systems with discrete inclusions become solvable by tracking only the energy-frequency ratio.
The adiabatic invariant extends the classical notion known for Hamiltonian systems to linear solid discrete-continuous models.
An effective Hamiltonian system can be introduced that carries exactly the same invariant as the trapped wave.
Calculations of wave behavior under slow parameter drift no longer require integration over the full history of the parameter path.

Where Pith is reading between the lines

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

The same ratio may serve as a practical conserved quantity when modeling wave trapping in engineered materials whose stiffness or density varies gradually.
Direct numerical checks of energy-to-frequency constancy in simple discrete-continuous lattices would provide an immediate test of the result.
The construction suggests a route to effective reduced-order models for hybrid mechanical systems whose full dynamics are otherwise high-dimensional.

Load-bearing premise

The total energy of the trapped wave remains well-defined and unambiguous even though its precise value can be ambiguous in the linear discrete-continuous system.

What would settle it

A numerical simulation or physical experiment in which parameters change slowly yet the measured energy-to-frequency ratio changes by more than a small fraction would falsify the claimed constancy.

read the original abstract

Recently, it has been shown (Gavrilov et al., Nonlinear Dyn, 112, 2024) that in a linear solid discrete-continuous system with several slowly time-varying parameters, the amplitude of a strongly localized mode (a trapped wave) can be calculated as a function of current parameter values and does not depend on the history of the parameter change. This result allows us to introduce the adiabatic invariant for such a system according to the general definition as a quantity that remains approximately constant if the parameters vary slowly. In this paper, we show that, defined in this manner, the adiabatic invariant can be calculated as the ratio of the total energy of the trapped wave to its frequency. This yields an significantly simplified approach to solving a class of problems concerning localized oscillation of continuous systems with discrete inclusions, although the definition of the wave energy can be ambiguous. Thus, we can consider the newly introduced adiabatic invariant as a straightforward generalization of the notion known to Hamiltonian systems. Finally, we introduce an effective Hamiltonian system, which is characterized by the same adiabatic invariant as the trapped wave.

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.

Desk Editor's Note private letter to a colleague

The paper pins the adiabatic invariant for trapped waves to E/ω using their 2024 amplitude result, which simplifies calculations but runs into the energy-definition ambiguity they already flag.

read the letter

The central move is straightforward: once amplitude depends only on the current parameters, the adiabatic invariant for a trapped wave is just its total energy divided by frequency. That follows directly from the earlier work and gives a history-free quantity you can track as parameters change slowly. They also set up an effective Hamiltonian system that carries the same invariant, which connects the discrete-continuous case back to standard adiabatic theory in a clean way. That part is useful for anyone who needs quick estimates of localized oscillations without integrating the full time-dependent system. The approach is incremental rather than revolutionary, but it does deliver the promised simplification for this class of problems. The main limitation is the one the authors themselves note: wave energy is not unambiguously defined in these mixed linear systems. Different choices for what counts as the total energy (discrete parts only, or including weighted continuous contributions) can shift the numerical value, so the invariant is only as well-defined as the energy functional you pick. That makes practical application a bit more case-by-case than the headline claim suggests. The paper stays tightly focused on the math and does not overclaim generality. Readers working on vibrations or waves in systems with discrete inclusions will find the effective Hamiltonian construction worth looking at; others can skip it. The logic is internally consistent once the prior result is granted, so it deserves a serious referee to check the details and see whether the energy ambiguity can be tightened in applications.

Referee Report

2 major / 1 minor

Summary. The paper claims that, building on the 2024 result that the amplitude of a strongly localized trapped wave in a linear discrete-continuous system depends only on the instantaneous values of slowly varying parameters (and is independent of their history), an adiabatic invariant can be defined in the standard sense and equals the ratio of the total energy E of the trapped wave to its frequency ω. This yields a simplified method for solving problems on localized oscillations, generalizes the adiabatic invariant concept from Hamiltonian systems, and permits construction of an effective Hamiltonian system sharing the same invariant. The abstract explicitly notes that the definition of wave energy can be ambiguous in this setting.

Significance. If the central identification of the invariant as E/ω holds unambiguously, the result would provide a practical simplification for analyzing trapped waves under slow parameter variation and a direct generalization of adiabatic invariants beyond purely Hamiltonian systems. The work credits the enabling history-independent amplitude property to the authors' prior 2024 paper but supplies no independent machine-checked proofs, reproducible code, or external numerical benchmarks to confirm the ratio remains constant under slow changes.

major comments (2)

[Abstract] Abstract and the paragraph introducing the adiabatic invariant: the central claim equates the invariant to E/ω, yet the manuscript acknowledges that 'the definition of the wave energy can be ambiguous' in the linear discrete-continuous system. Different plausible energy functionals (e.g., discrete kinetic-plus-potential versus inclusion of continuous-field contributions or alternative inner-product weightings) can produce distinct numerical values of E for identical mode shape and amplitude; this renders the ratio non-unique and undermines the assertion that E/ω is a single, well-defined adiabatic invariant independent of the precise energy choice.
[Derivation of the invariant] The derivation of the invariant (likely §2 or §3): the history-independent amplitude property is imported directly from Gavrilov et al. (Nonlinear Dyn, 112, 2024) without re-derivation or explicit verification that the resulting E/ω remains constant when parameters vary slowly. Because the energy ambiguity is load-bearing for uniqueness, the manuscript must either fix a canonical energy functional or demonstrate that all reasonable choices yield ratios differing only by a constant factor that does not affect adiabatic invariance.

minor comments (1)

[Effective Hamiltonian system] Ensure that the effective Hamiltonian system introduced in the final section is defined with explicit equations so that readers can verify it shares exactly the same E/ω invariant.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying the need to clarify the energy definition and its implications for uniqueness of the adiabatic invariant. We address both major comments below and will revise the manuscript to strengthen the presentation while preserving the core results.

read point-by-point responses

Referee: [Abstract] Abstract and the paragraph introducing the adiabatic invariant: the central claim equates the invariant to E/ω, yet the manuscript acknowledges that 'the definition of the wave energy can be ambiguous' in the linear discrete-continuous system. Different plausible energy functionals (e.g., discrete kinetic-plus-potential versus inclusion of continuous-field contributions or alternative inner-product weightings) can produce distinct numerical values of E for identical mode shape and amplitude; this renders the ratio non-unique and undermines the assertion that E/ω is a single, well-defined adiabatic invariant independent of the precise energy choice.

Authors: We acknowledge the referee's concern and will revise the abstract and introduction to explicitly adopt a canonical energy functional: the total energy E obtained from the quadratic form associated with the system's Lagrangian, integrating kinetic and potential contributions over both discrete inclusions and the continuous field. This choice is consistent with the variational formulation in our 2024 paper. We will further demonstrate that, for the strongly localized trapped-wave modes, any reasonable alternative energy definition (e.g., omitting or reweighting continuous-field terms) differs from this canonical E by a multiplicative factor that is independent of the slow parameters. Consequently, the ratio E/ω remains an adiabatic invariant up to an inessential constant, so the invariance property itself is unambiguous. revision: partial
Referee: [Derivation of the invariant] The derivation of the invariant (likely §2 or §3): the history-independent amplitude property is imported directly from Gavrilov et al. (Nonlinear Dyn, 112, 2024) without re-derivation or explicit verification that the resulting E/ω remains constant when parameters vary slowly. Because the energy ambiguity is load-bearing for uniqueness, the manuscript must either fix a canonical energy functional or demonstrate that all reasonable choices yield ratios differing only by a constant factor that does not affect adiabatic invariance.

Authors: The history-independent amplitude result is a theorem established in the cited 2024 work; re-deriving it here would duplicate that paper. In the present manuscript we start from that theorem and show that the quantity formed with the canonical energy (now to be fixed per the preceding response) is conserved under slow parameter variation by the standard definition of an adiabatic invariant. We will add a short explicit calculation in §2 or §3 verifying that d(E/ω)/dt = O(ε) when parameters vary on the slow time scale 1/ε, using the mode-shape dependence on instantaneous parameters alone. This verification, together with the canonical energy choice, removes the ambiguity objection. revision: partial

Circularity Check

1 steps flagged

Adiabatic invariant defined and equated to E/ω via self-cited history-independent amplitude from 2024 paper

specific steps

self citation load bearing [Abstract]
"Recently, it has been shown (Gavrilov et al., Nonlinear Dyn, 112, 2024) that in a linear solid discrete-continuous system with several slowly time-varying parameters, the amplitude of a strongly localized mode (a trapped wave) can be calculated as a function of current parameter values and does not depend on the history of the parameter change. This result allows us to introduce the adiabatic invariant for such a system according to the general definition as a quantity that remains approximately constant if the parameters vary slowly. In this paper, we show that, defined in this manner, the ad"

The enabling property (history-independent amplitude allowing a constant adiabatic invariant) is justified solely by citation to prior work by overlapping authors. The new claim that this invariant equals the ratio of total energy to frequency is then a re-expression built on that self-cited foundation, without independent derivation of the constancy property within the present paper.

full rationale

The paper's chain begins by invoking the 2024 Gavrilov et al. result (same authors) that trapped-wave amplitude depends only on current parameters and is history-independent. This property is used to introduce the adiabatic invariant per the general definition of a slowly-varying constant. The paper then shows this invariant equals total energy divided by frequency. While the E/ω identification involves new steps in this manuscript, the load-bearing premise of constancy under slow variation reduces directly to the self-citation. The abstract acknowledges ambiguity in energy definition but does not resolve it via external benchmarks or machine-checked proofs. This yields moderate circularity: the central claim retains independent content in the equivalence derivation once the prior amplitude result is granted, but the overall structure is not fully self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the 2024 result that amplitude is independent of parameter history and on standard assumptions of slow variation and linearity; no free parameters or new entities are introduced.

axioms (2)

domain assumption Parameters vary slowly enough for the adiabatic approximation to hold
Invoked to ensure the invariant remains approximately constant and amplitude depends only on current values.
domain assumption The system is linear with a strongly localized trapped mode
Required for the mode to be treated as a discrete-continuous trapped wave whose energy and frequency can be defined.

pith-pipeline@v0.9.0 · 5494 in / 1441 out tokens · 107454 ms · 2026-05-15T20:35:43.238175+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

the adiabatic invariant can be calculated as the ratio of the total energy of the trapped wave to its frequency... J = E{ū}/Ω₀ |_{C=C} = I²/2 = f(I)
IndisputableMonolith/Foundation/ArithmeticFromLogic.lean absolute_floor_iff_bare_distinguishability unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

we can consider the newly introduced adiabatic invariant as a straightforward generalization of the notion known to Hamiltonian systems

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.