Search arXivSearch

arXiv · 2510.20371

Energy Decay in Measure Time: HUM Observability, Product-Exponential Envelopes, and GCC Calibration

Abstract

We prove that for impulsive exposure patterns there is no uniform exponential energy law in wall-clock time t, which explains why past t-based unifications of continuous damping with impulses fail. We therefore replace t by a measure-valued clock, sigma, that aggregates absolutely continuous exposure and atomic doses within a single Lyapunov ledger. On this ledger we prove an observability-dissipation principle in the sense of the Hilbert Uniqueness Method (HUM): there exists a structural constant c_sigma > 0 such that the energy decays at least at a product-exponential rate with respect to sigma. When sigma = t, the statement reduces to classical exponential stabilization with the same constant. For the damped wave under the Geometric Control Condition (GCC), the constant is calibrated by the usual observability and geometric factors. The framework yields a monotonicity principle ("more sigma-mass implies faster decay") and unifies intermittent regimes where quiescent intervals are punctuated by impulses. As robustness, secondary to the main contribution, the same decay law persists under structure-compatible discretizations and along compact variational limits; a stochastic extension supplies expectation and pathwise envelopes via the compensator. The contribution is a qualitative dynamics backbone: observability implies sigma-exponential decay with sharp constants.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Ben F. Tibola. 2025-10-23. Energy Decay in Measure Time: HUM Observability, Product-Exponential Envelopes, and GCC Calibration. https://arxiv.org/abs/2510.20371

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

A Proof of Liu's Conjecture on the Fundamental Triangle Inequality

Let $a,b,c$ be the side lengths of a triangle, and let $R$ and $r$ denote its circumradius and inradius, respectively. Liu proposed the conjecture \[ \sum_{\text{cyc}} \left(\frac{a(b+c-a)}{bc}\right)^k \ge 2+\left(\frac{2r}{R}\right)^k,\qquad k>1, \] with the reverse inequality for $k<1$. We prove this conjecture by reducing it to an algebraic inequality for three positive variables with prescribed sum and product. We also determine the equality cases.

math.GM

A quadratic critical-value conjecture for the fifth Bessel moment

We conjecture an explicit evaluation of the pure fifth Bessel moment $\int_0^\infty K_0(t)^5\,dt$ as a quadratic expression in the critical value $L(f,2)$ of the weight-three, level-60 newform $f$ (LMFDB orbit 60.3.b.a) identified in the twisted fifth-moment modularity theorem of Lim, Tu and Yu, with coefficients in $\mathbb{Q}(\sqrt{5})$ and the square taken before the real and imaginary parts. Directed interval computations, using no stored Bessel or $L$-values, bound the absolute discrepancy by $10^{-358}$. We prove three exact modular identities for $f$: the Petersson-norm formula $\langle f,f\rangle_{60} = \frac{3(5-\sqrt{5})}{2π^4}|L(f,2)|^2$, the coefficient-conjugation relation $L(f^σ,2) = κL(f,2)$ with explicit $κ\in \mathbb{Q}(\sqrt{5},i)$, and the twisted symmetric-square evaluation $L(χ_{-4}\mathrm{Sym}^2 f,2) = \sqrt{15}\,π^2 \langle f,f\rangle_{60}$, together with $L(χ_{-4}\mathrm{Sym}^2 f,3) = π^4\langle f,f\rangle_{60}/8$, in the full Euler-factor normalization of Lim, Tu and Yu. The last identity shows that the companion norm conjecture $D_{5,\mathrm{odd}} = \frac{3\sqrt{15}(5-\sqrt{5})}{2}|L(f,2)|^2$ is equivalent to the symmetric-square conjecture $D_{5,\mathrm{odd}} = π^2 L(χ_{-4}\mathrm{Sym}^2 f,2)$ of Lim, Tu and Yu, while the exact relation $D_{5,\mathrm{even}} = π^2 D_{5,\mathrm{odd}}/(2\sqrt{15})$ follows from Chuang's period formulas. Every Bessel-to-modular equality, including the individual-period formula, remains conjectural. Complete proofs, exact rational certificates and verification programs are included as ancillary files.

math.GM