pith. sign in

arxiv: 2502.09745 · v3 · pith:6UJUBZVVnew · submitted 2025-02-13 · 🧮 math.AP · math.SP

Sharp energy decay rates for the damped wave equation on the torus via non-polynomial derivative bound conditions

Perry Kleinhenz This is my paper

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

classification 🧮 math.AP math.SP
keywords damped wave equationenergy decay ratestorusnon-polynomial dampingresolvent estimatessemiclassical scalessemigroup theorygeometric control
0
0 comments X

The pith

Energy decay rates for the damped wave equation on the torus are determined by non-polynomial derivative bounds on the damping near its support boundary and by the geometry of that support.

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

The paper shows that energy decay rates for the damped wave equation on the torus can be obtained when the damping satisfies general non-polynomial derivative bound conditions and growth properties. These rates are sometimes sharp and also depend on the geometry of the damping support, especially when some geodesics avoid the positive set of the damping. The results apply to examples of damping that grow exponentially slowly, polynomial-logarithmically, or logarithmically, producing rates that interpolate between known sharp rates for purely polynomial damping. The proof proceeds by estimating solutions at fine non-polynomial semiclassical scales to obtain resolvent estimates, which semigroup theory converts into the claimed energy decay rates.

Core claim

For the damped wave equation on the torus, when damping satisfies more general non-polynomial derivative bounds and growth properties near the boundary of its support, resolvent estimates at non-polynomial semiclassical scales yield energy decay rates via semigroup theory. These rates are sometimes sharp and can depend on the geometry of the support, as demonstrated by explicit examples of exponentially slow, polynomial-logarithmic, and logarithmic damping that interpolate between the polynomial cases.

What carries the argument

Resolvent estimates obtained at very fine, non-polynomial semiclassical scales, which are then converted to energy decay rates via semigroup theory.

If this is right

  • Exponentially slow damping growth produces energy decay rates given by the general theorem.
  • Polynomial-logarithmic damping yields decay rates that sit between those of polynomial and slower-growth cases.
  • Logarithmic damping produces rates that connect continuously to the known polynomial decay rates.
  • Different geometries of the damping support can change the achievable decay rates when geodesics miss the support.

Where Pith is reading between the lines

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

  • The same non-polynomial scale analysis could be tested on damped waves on other compact Riemannian manifolds.
  • The approach may supply decay estimates for related damped hyperbolic systems such as the plate equation.
  • The dependence on support geometry suggests concrete criteria for placing damping to achieve target decay speeds.

Load-bearing premise

The damping must satisfy the stated non-polynomial derivative bound conditions and growth properties near the boundary of its support, together with the geometric assumptions on the support that allow the resolvent estimates to convert to the claimed decay rates via semigroup theory.

What would settle it

An explicit computation or numerical simulation for a specific logarithmically growing damping function on the torus whose energy decay rate fails to match the rate predicted from the corresponding resolvent estimate would falsify the result.

Figures

Figures reproduced from arXiv: 2502.09745 by Perry Kleinhenz.

Figure 1
Figure 1. Figure 1: The super-ellipse E n,m a,b for various values of n, m. As n increases it becomes more “rectangular” in the x variable and as m increases it be￾comes more “rectangular” in the y variable. Theorem 1.9. Assume that W ∈ D9, 1 4 (T 2 ). Assume further that {(x, y) ∈ T 2 ; W(x, y) > 0} = E n,m a,b and let d = dist((x, y), Σ(W)). (1) If there exists R0 ≥ 1, β > 0, and γ ∈ R, such that for (x, y) ∈ {W > 0} R −1 0… view at source ↗
Figure 2
Figure 2. Figure 2: W = exp(−(|x| − σ) −α + ). As α increases, W turns on more gradually. Then q(z) ≃ ln(z −1 ) − α+1 α , p(z) ≃ q 2 (z) and 𭟋(δz) ≃ ln(z −1 ) − 1 α . So taking U(z) = 𭟋(δz), Assumption 5 is satisfied. Then, using Lemma A.1 R2(z) ≃ z ln(z −1 ) −2(α+1) α , Re−1 2 (h) ≃ h ln(h −1 ) 2(α+1) α . Then M2(h) ≃ 1 h ln(h −1 ) 2α+1 α , m2(λ) ≃ λ ln(λ) 2α+1 α [PITH_FULL_IMAGE:figures/full_fig_p020_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: W = (|x| −σ) β + ln((|x| −σ) −1 ) −γ . As β and γ increase, W turns on more gradually. Then q(z) ≃ z 1 β ln(z −1 ) γ β , and we can take U(z) = 𭟋(δz) ≃ Cz 1 β ln(z −1 ) γ β . Then, using Lemma A.1 R1(z) ≃ z β+2 β ln(z −1 ) 2γ β , Re−1 1 (h) ≃ h β β+2 ln h −1 − 2γ β+2 . Then M1(h) ≃ h − β+3 β+2 ln(h −1 ) −γ β+2 , m1(λ) ≃ λ β+3 β+2 ln(λ) −γ β+2 . So M1(h) ≥ h −1−ε for some ε > 0, and m1(λ) is of positive in… view at source ↗
Figure 4
Figure 4. Figure 4: W = ln(|x| −1 ) −γ . As γ increases, W turns on more gradually. R(z) ≃ Rε(z) ≃ z 2 ln(z −1 ) −γ Re−1 (h) ≃ h 1 2 ln(h −1 ) γ 2 . V (Re−1 (h)) = ln(h −1 ) −γ ≃ h Re−1(h) 2 . So M(h) ≃ ln(h −1 ) γ and m(λ) ≃ ln(λ) γ . That is by Theorems 1.13 and 1.14, the sharp resolvent estimate is [PITH_FULL_IMAGE:figures/full_fig_p023_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: The original torus T 2 on the left with Λ = k |k| . The torus T 2 Λ (scaled down by √ 5 to fit) on the right. The purple (red) line indicates a single periodic orbit on T 2 parallel to k (resp. k ⊥) which has as pre￾images from πΛ, multiple periodic orbits with the same period on T 2 Λ . The yellow region indicates a specific location on T 2 , and the pre-image of those locations end on T 2 Λ . We can iden… view at source ↗
Figure 6
Figure 6. Figure 6: Note that for nearly vertical trajectories, {W > 0} geometrically controls ω0. Because of the continuity of the flow, {W > 0} also geometrically controls ω0 along nearly vertical trajectories. That is, there exist T0, ε0, c0 > 0 small enough, so that for any [PITH_FULL_IMAGE:figures/full_fig_p043_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: The torus with damping supported on the purple rectangle. Note that Av(W)(z) = 0 for z along the red line, Av(W)(z) is near 0 for z near to the green line. Av(W)(z) ≥ c0 > 0 for z near the yellow line. For both of our growth behavior cases, we have W(x, y) = 0 for x ≤ 0, y ≤ 0. Letting v = (−v1, v2) and v ⊥ = (v2, v1) for v1, v2 > 0, then sv⊥ + tv = (sv2 − tv1, tv2 + sv1), so [PITH_FULL_IMAGE:figures/full… view at source ↗
Figure 8
Figure 8. Figure 8: Lines parallel to v and tangent to ΣW in red. The points x0 must lie along these red lines. For the vi , we will focus on v1, since the argument for v2 is analogous. The vanishing behavior of Av1 (W)(x) is determined when x is close to ±a. We will focus on x ∈ (−a, −a+ ε) as the analysis for x near a is similar. For a small enough ε, we can parametrize Σ(W) at (−a, 0) by the function x = −a + |y| n2 . Let … view at source ↗
Figure 9
Figure 9. Figure 9: The curve x n = y [PITH_FULL_IMAGE:figures/full_fig_p071_9.png] view at source ↗
read the original abstract

For the damped wave equation on the torus, when some geodesics never meet the positive set of the damping, energy decay rates are known to depend on derivative bounds and growth properties of the damping near the boundary of its support, as well as the geometry of the support of the damping. In this paper we obtain, sometimes sharp, energy decay rates for damping which satisfy more general non-polynomial derivative bounds and growth properties. We also show how these rates can depend on the geometry of the support of the damping. We prove general results and apply them to examples of damping growing exponentially slowly, polynomial-logarithmically, or logarithmically. The decay rates found for these examples interpolate between known sharp rates for purely polynomial damping. The proof relies on estimating the solution at very fine, non-poynomial, semiclassical scales to obtain resolvent estimates, which are then converted to energy decay rates via semigroup theory.

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

0 major / 1 minor

Summary. The paper claims to obtain sharp energy decay rates for the damped wave equation on the torus when the damping satisfies general non-polynomial derivative bound conditions and growth properties near the boundary of its support. The rates are derived from resolvent estimates at fine non-polynomial semiclassical scales, converted to decay via semigroup theory, with dependence on the geometry of the support. General theorems are proved and applied to examples of exponentially slow, polynomial-logarithmic, and logarithmic growth, which interpolate known sharp rates for polynomial damping.

Significance. If the results hold, the work provides a valuable extension of stabilization theory for hyperbolic PDEs from polynomial to broader classes of damping via semiclassical analysis at non-polynomial scales. The general results, explicit interpolating examples, and geometric dependence constitute a clear advance, with the fine-scale resolvent method offering a reusable technical tool.

minor comments (1)
  1. [Abstract] Abstract: 'non-poynomial' is a typographical error and should read 'non-polynomial'.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. The report correctly identifies the main contributions: sharp decay rates for the damped wave equation on the torus under non-polynomial derivative bounds, obtained via fine-scale semiclassical resolvent estimates and converted through semigroup theory, with explicit interpolating examples and geometric dependence.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained via analysis

full rationale

The paper derives resolvent estimates from semiclassical analysis applied at non-polynomial scales to dampings satisfying explicit derivative bound and growth conditions near the support boundary, then converts those estimates to energy decay rates using standard semigroup theory under geometric assumptions on the support. This chain relies on external analytic tools and does not reduce any claimed rate to a fitted input, self-definition, or unverified self-citation; the results for exponential, poly-log, and log growth cases are obtained as consequences of the estimates rather than by construction from the input bounds themselves.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard background from semiclassical analysis and semigroup theory for wave equations on compact manifolds; no free parameters, new entities, or ad-hoc axioms are indicated in the abstract.

axioms (2)
  • standard math Standard properties of the flat torus as a compact Riemannian manifold and the applicability of semiclassical pseudodifferential calculus at non-polynomial scales.
    Invoked to obtain the resolvent estimates described in the abstract.
  • standard math Abstract semigroup theory converts resolvent bounds into energy decay rates for the damped wave equation.
    Used to translate the resolvent estimates into the claimed decay rates.

pith-pipeline@v0.9.0 · 5683 in / 1394 out tokens · 34999 ms · 2026-05-23T03:19:40.810580+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

12 extracted references · 12 canonical work pages

  1. [1]

    [Bur02] N. Burq. Semi-classical estimates for the resolvent in nontrapping geometries.International Mathematics Research Notices, 2002(5):221–241,

    work page 2002

  2. [2]

    [Bur20] N. Burq. Decays for kelvin–voigt damped wave equations i: The black box perturbative method. SIAM Journal on Control and Optimization, 58(4):1893–1905,

    work page 1905

  3. [3]

    Burq and C

    [BZ15] N. Burq and C. Zuily. Laplace eigenfunctions and damped wave equation on product manifolds. Applied Mathematics Research eXpress, 2015(2):296–310,

    work page 2015

  4. [4]

    [DLMF]NIST Digital Library of Mathematical Functions.https://dlmf.nist.gov/, Release 1.2.3 of 2024-12-15. F. W. J. Olver, A. B. Olde Daalhuis, D. W. Lozier, B. I. Schneider, R. F. Boisvert, C. W. Clark, B. R. Miller, B. V. Saunders, H. S. Cohl, and M. A. McClain, eds. [Hit02] M. Hitrik. Eigenfrequencies for damped wave equations on zoll manifolds.Asymptot...

    work page 2024

  5. [5]

    Kleinhenz

    [Kle22b] P. Kleinhenz. Energy decay for the time dependent damped wave equation.arXiv preprint arXiv:2207.06260,

    work page arXiv

  6. [6]

    Kleinhenz

    [Kle23] P. Kleinhenz. Necessary conditions for energy decay for the time dependent damped wave equa- tion.arXiv preprint arXiv:2309.15005,

    work page arXiv

  7. [7]

    Kleinhenz and R.P.T

    DECAY VIA NON-POLYNOMIAL DERIVATIVE BOUND CONDITION 76 [KW22] P. Kleinhenz and R.P.T. Wang. Polynomially singular damping gives polynomial decay on the torus.arXiv preprint arXiv:2210.15697,

    work page arXiv

  8. [8]

    Kleinhenz and R.P.T

    [KW23] P. Kleinhenz and R.P.T. Wang. Non-uniform stability for second order systems with unbounded damping.arXiv preprint arXiv:2310.19911,

    work page arXiv

  9. [9]

    [Leb96] G. Lebeau. Equation des ondes amorties. InAlgebraic and Geometric Methods in Mathematical Physics: Proceedings of the Kaciveli Summer School, Crimea, Ukraine, 1993, pages 73–109. Springer Netherlands, Dordrecht,

    work page 1993

  10. [10]

    Sj¨ ostrand

    [Sj¨ o95] J. Sj¨ ostrand. Wiener type algebras of pseudodifferential operators.S´ eminaire ´Equations aux d´ eriv´ ees partielles (Polytechnique) dit aussi ”S´ eminaire Goulaouic-Schwartz”, 1994-1995. talk:4. [Sj¨ o00] J. Sj¨ ostrand. Asymptotic distribution of eigenfrequencies for damped wave equations.Publica- tions of the Research Institute for Mathema...

    work page 1994

  11. [11]

    [Sun23] C. Sun. Sharp decay rate for the damped wave equation with convex-shaped damping.Inter- national Mathematics Research Notices, 2023(7):5905–5973,

    work page 2023

  12. [12]

    American Mathematical Soc., 2012

    work page 2012