On the adiabatic invariance of the action of a trapped wave

Ekaterina V. Shishkina; Serge N. Gavrilov

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

On the adiabatic invariance of the action of a trapped wave

Ekaterina V. Shishkina , Serge N. Gavrilov This is my paper

Pith reviewed 2026-05-21 11:56 UTC · model grok-4.3

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

keywords adiabatic invarianttrapped wavelocalized modediscrete-continuous systemHamiltonian systemenergy over frequency

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.

In linear solid discrete-continuous systems with slowly time-varying parameters, the amplitude of a strongly localized trapped wave depends only on the current parameter values. This history independence lets the authors define an adiabatic invariant as a quantity that stays approximately constant under slow changes. They show that this invariant equals the trapped wave's total energy divided by its frequency. The result simplifies analysis of localized oscillations in continuous systems with discrete inclusions and generalizes the adiabatic-invariant idea familiar from Hamiltonian mechanics. The authors also construct an effective Hamiltonian system that shares the same invariant.

Core claim

Defined via the history-independent amplitude of the strongly localized mode, the adiabatic invariant equals the ratio of the trapped wave's total energy to its frequency. This follows from the prior result that the mode amplitude is determined solely by the instantaneous parameter values in slowly varying linear discrete-continuous systems.

What carries the argument

History-independent amplitude of the strongly localized mode, which permits the adiabatic invariant to be identified with energy divided by frequency.

If this is right

The ratio supplies a simplified method for computing amplitude evolution in problems of localized oscillation of continuous systems containing discrete inclusions.
The construction generalizes the adiabatic invariant known for Hamiltonian systems to this broader class of linear solid systems.
An effective Hamiltonian system can be defined that possesses exactly the same adiabatic invariant as the trapped wave.

Where Pith is reading between the lines

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

The same energy-frequency ratio might serve as an approximate invariant in other wave systems whose localized modes are parameter-dependent but history-independent.
The effective Hamiltonian could be tested to see whether it reproduces dynamics beyond the leading adiabatic approximation.

Load-bearing premise

The amplitude of the strongly localized mode depends only on current parameter values and is independent of the history of parameter changes.

What would settle it

A numerical simulation or physical experiment in which parameters are varied slowly along different paths but the resulting wave amplitude changes would falsify the claim that the invariant is always energy over frequency.

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 a 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 concept known to Hamiltonian systems. Finally, we introduce an effective Hamiltonian system, which is characterized by the same adiabatic invariant as the trapped wave. This yields another highly straightforward approach to deriving the amplitude evolution law, although further investigation is required.

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

This extends a 2024 result to define the adiabatic invariant for trapped waves as E over frequency, but the noted ambiguity in energy leaves the claim thinner than it first appears.

read the letter

The main thing to know is that the authors use their earlier finding on history-independent amplitude in linear discrete-continuous systems to define an adiabatic invariant simply as total energy divided by frequency. They then sketch an effective Hamiltonian system that carries the same invariant, which they say simplifies amplitude calculations for localized modes under slow parameter changes. This is a direct application rather than a fresh framework, and it generalizes the usual Hamiltonian case in a straightforward way. The practical angle is real: for problems with strongly localized oscillations and discrete inclusions, the ratio could cut down on tracking history-dependent effects. They are upfront that wave energy itself can be defined ambiguously here, which is the main soft spot. Different ways of handling the continuous-field contributions or boundary terms could shift the value of E and therefore whether the ratio stays constant. The derivation rests on the 2024 amplitude result, so the new work is more of an extension than an independent check. I would want to see the explicit steps that confirm invariance under slow variation, not just the abstract statement. This is aimed at researchers who already work on mixed discrete-continuous wave systems or adiabatic invariants in non-standard setups. A reader hunting for analytical shortcuts on localized oscillations would get some value, though the scope stays narrow. The ideas connect to existing literature and offer usable simplifications, so it deserves a serious referee even if the energy ambiguity needs tightening in revision. I would send it out for review.

Referee Report

2 major / 1 minor

Summary. The paper builds on a 2024 result (Gavrilov et al.) establishing that the amplitude of a strongly localized trapped wave in a linear solid discrete-continuous system with slowly varying parameters depends only on instantaneous parameter values and is history-independent. From this, the authors define an adiabatic invariant as the ratio of the total energy E of the trapped wave to its frequency ω, which remains approximately constant under slow parameter changes. They present this as a generalization of the adiabatic invariant for Hamiltonian systems, note that the definition of wave energy can be ambiguous, and introduce an effective Hamiltonian system sharing the same invariant.

Significance. If the central claim is established with a clear derivation, the result would provide a simplified approach to analyzing localized oscillations in continuous systems with discrete inclusions under slow parameter variation. It generalizes a standard concept from Hamiltonian mechanics and could streamline certain classes of problems in wave mechanics and nonlinear dynamics, though the acknowledged ambiguity in energy definition limits immediate applicability without further clarification.

major comments (2)

Abstract: The central claim that the adiabatic invariant equals the ratio of total energy to frequency is asserted, yet the abstract supplies no derivation steps, supporting equations, or verification against the system's equations of motion. The full manuscript must contain an explicit derivation showing how the history-independent amplitude (from the 2024 citation) directly implies conservation of E/ω under slow variation; without this, the claim cannot be checked against the paper's own mathematics.
Abstract: The manuscript states that 'the definition of the wave energy can be ambiguous.' In a linear discrete-continuous system the energy of a strongly localized mode involves integration over the continuous field; different choices for boundary terms, weighting functions, or cutoffs can produce inequivalent expressions for E. Because the 2024 result supplies only the amplitude, any non-uniqueness in E propagates directly into non-uniqueness of the proposed invariant E/ω and into whether that ratio is conserved. This ambiguity is load-bearing for the central claim and requires explicit resolution or a demonstration that the ratio remains invariant under alternative energy definitions.

minor comments (1)

The construction of the effective Hamiltonian system is introduced only briefly; a dedicated subsection with explicit equations showing how it reproduces the same adiabatic invariant would improve clarity.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment point by point below, proposing revisions to strengthen the clarity and rigor of the presentation while remaining faithful to the existing derivations.

read point-by-point responses

Referee: Abstract: The central claim that the adiabatic invariant equals the ratio of total energy to frequency is asserted, yet the abstract supplies no derivation steps, supporting equations, or verification against the system's equations of motion. The full manuscript must contain an explicit derivation showing how the history-independent amplitude (from the 2024 citation) directly implies conservation of E/ω under slow variation; without this, the claim cannot be checked against the paper's own mathematics.

Authors: We agree that an explicit derivation is necessary to allow direct verification of the claim against the system's mathematics. The full manuscript derives the result from the history-independent amplitude established in Gavrilov et al. (2024), showing that the amplitude is a function solely of instantaneous parameter values; the total energy E is then obtained by integrating the quadratic energy density associated with this amplitude, yielding E proportional to a parameter-dependent factor, while the frequency ω is likewise determined by the instantaneous parameters. Their ratio E/ω is therefore invariant under slow variation. We will revise the main text to present this implication as a clear, step-by-step derivation with supporting equations, making the connection to the equations of motion explicit. revision: yes
Referee: Abstract: The manuscript states that 'the definition of the wave energy can be ambiguous.' In a linear discrete-continuous system the energy of a strongly localized mode involves integration over the continuous field; different choices for boundary terms, weighting functions, or cutoffs can produce inequivalent expressions for E. Because the 2024 result supplies only the amplitude, any non-uniqueness in E propagates directly into non-uniqueness of the proposed invariant E/ω and into whether that ratio is conserved. This ambiguity is load-bearing for the central claim and requires explicit resolution or a demonstration that the ratio remains invariant under alternative energy definitions.

Authors: We acknowledge that energy definitions in continuous systems can involve choices of integration limits and weighting. Our work adopts the standard total energy obtained from the system's Lagrangian, integrated over the full domain using the displacement field of the localized mode. Given the history-independent amplitude, this yields a definite E for each instantaneous parameter set, so that E/ω remains constant under slow changes. We will revise the manuscript to state this energy definition explicitly and to verify that the invariance of E/ω holds under small variations in boundary handling and weighting that preserve the quadratic structure and localization. A exhaustive check against every conceivable alternative definition lies beyond the present scope, but the chosen definition is physically consistent and sufficient for the claimed generalization. revision: partial

Circularity Check

1 steps flagged

Adiabatic invariant as E/ω relies on self-cited history-independent amplitude from 2024 overlapping-author 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 history-independence of the amplitude (the property that lets the invariant be introduced and shown equal to E/ω) is justified only by citation to a 2024 paper whose authors overlap with the present work. The new claim that the invariant equals the energy-to-frequency ratio therefore reduces directly to that prior self-cited finding rather than being derived from independent external benchmarks or from equations internal to this manuscript.

full rationale

The paper's central derivation begins by invoking the 2024 result that amplitude depends only on instantaneous parameters (history-independent). This property is used to define the adiabatic invariant per the general slow-variation definition and then to establish that the invariant equals total energy over frequency. The load-bearing step is therefore the self-citation; without the prior result the claimed constancy and the E/ω identification do not follow from the equations presented here. The paper contains additional discussion of an effective Hamiltonian and acknowledges energy-definition ambiguity, so the reduction is substantial but not total. No other patterns (self-definition, fitted-input prediction, ansatz smuggling, or renaming) are exhibited by the quoted text.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the history-independence property taken from prior work and on the standard definition of an adiabatic invariant; no new free parameters or invented entities are introduced in the abstract.

axioms (1)

domain assumption Amplitude of a strongly localized mode depends only on current values of slowly varying parameters and is independent of their history.
This property, stated as recently shown in Gavrilov et al. (Nonlinear Dyn, 112, 2024), is the premise that permits defining the adiabatic invariant.

pith-pipeline@v0.9.0 · 5744 in / 1323 out tokens · 53780 ms · 2026-05-21T11:56:25.794825+00:00 · methodology

Review history (2 revisions) →

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/Foundation/ArithmeticFromLogic.lean logicNat_initial / realization_initial echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

we introduce an effective Hamiltonian system, which is characterized by the same adiabatic invariant as the trapped wave
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel / Jcost echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

the action of the trapped wave J def= E{ū}/Ω₀ … is a function of the adiabatic invariant I … J = I²/2

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.