pith. sign in

arxiv: 2605.18321 · v1 · pith:P7YNUHZUnew · submitted 2026-05-18 · 🧮 math.AP

Periodic solutions for weakly damped systems

Camille Laurent (CNRS , URCA) , Ivonne Rivas (Univalle) This is my paper

Pith reviewed 2026-05-20 08:53 UTC · model grok-4.3

classification 🧮 math.AP
keywords periodic solutionsdamped wave equationsnon-uniform decayresolvent growthresonancehyperbolic-parabolic systemsenergy decaytime-periodic forcing
0
0 comments X

The pith

The decay speed of the free damped system determines existence of periodic solutions under forcing.

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

The paper studies time-periodic solutions for damped evolutionary PDEs with periodic forcing, focusing on cases where the free equation has non-uniform energy decay. It links the speed of that decay directly to whether periodic solutions exist for the forced problem and characterizes how resolvent growth controls the associated loss of regularity. Examples cover linear and nonlinear damped wave equations plus coupled hyperbolic-parabolic systems, and a resonance counterexample shows that damping can still permit regular but unbounded solutions. Readers would care because many real systems lack uniform decay, so these links give a practical way to predict long-term forced behavior without assuming strong damping.

Core claim

We link the speed of decay and the existence of periodic solutions for the forced equation. Furthermore, we characterize the relationship between the resolvent growth and the associated loss of regularity. The setting is that of non-uniform energy decay for the free equation. The framework is illustrated through several examples, including linear and nonlinear damped wave equations and coupled hyperbolic-parabolic systems. A counterexample demonstrates resonance in which regular but unbounded solutions emerge despite damping.

What carries the argument

The link between non-uniform decay rates of the free system and the existence plus regularity of forced periodic solutions, via resolvent growth estimates.

If this is right

  • Faster decay rates guarantee existence of bounded periodic solutions under periodic forcing.
  • Slower decay produces greater loss of regularity in any periodic solutions that do exist.
  • Resolvent growth provides a precise measure of that regularity loss.
  • Damping alone does not rule out resonance that yields regular but unbounded solutions.

Where Pith is reading between the lines

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

  • The same decay-to-periodic-solution link could apply to other evolutionary systems whose free decay is known to be non-uniform.
  • In applications such as structural vibrations, free-decay measurements might be used to forecast risk of resonant growth under periodic loads.
  • Numerical simulations of specific damped waves could test the exact thresholds where existence switches.

Load-bearing premise

The energy decay of the corresponding free equation is non-uniform.

What would settle it

A specific damped wave equation whose free decay rate predicts absence of bounded periodic solutions, yet direct computation or analysis reveals such a solution exists.

read the original abstract

In this article, we investigate the existence and properties of time-periodic solutions for damped evolutionary partial differential equations subject to periodic forcing. Particular emphasis is placed on configurations where the energy decay of the corresponding free equation is non-uniform. We link the speed of decay and the existence of periodic solutions for the forced equation. Furthermore, we characterize the relationship between the resolvent growth and the associated loss of regularity. The theoretical framework is illustrated through several examples, including linear and nonlinear damped wave equations and coupled hyperbolic-parabolic systems. Finally, we provide a counterexample demonstrating the occurrence of resonance, in which regular but unbounded solutions emerge despite damping.

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

2 major / 2 minor

Summary. The manuscript investigates the existence and properties of time-periodic solutions for weakly damped evolutionary PDEs under periodic forcing, with emphasis on the non-uniform energy decay regime of the corresponding free evolution. It establishes links between the decay speed of the free system and the existence of periodic solutions for the forced equation, and characterizes the interplay between resolvent growth and associated loss of regularity. The abstract framework is illustrated via concrete examples in linear/nonlinear damped wave equations and hyperbolic-parabolic systems, together with a resonance counterexample in which regular but unbounded solutions appear despite the presence of damping.

Significance. If the central links hold, the work supplies a useful bridge between decay-rate analysis for free damped semigroups and the response to periodic forcing in infinite-dimensional systems. The frequency-domain and semigroup approach, together with the explicit treatment of non-uniform decay and the resonance counterexample, offers concrete tools that could inform control and long-time behavior studies for wave and coupled PDE models. The provision of both positive results and a sharpness counterexample is a strength.

major comments (2)
  1. [§3.2, Theorem 3.4] §3.2, Theorem 3.4: The claimed equivalence between non-uniform decay of the free evolution and the existence of periodic solutions for the forced problem rests on an estimate (3.12) that appears to require a uniform bound on the resolvent away from the imaginary axis; this bound is not verified for the general non-uniform case and may fail in the hyperbolic-parabolic example of §4.3.
  2. [§5, Counterexample 5.1] §5, Counterexample 5.1: The construction of the regular yet unbounded solution is presented at the level of formal Fourier series; the explicit verification that the damping operator produces the claimed resonance (i.e., that the denominator vanishes at a sequence of frequencies while the numerator remains bounded) is missing and is load-bearing for the claim that damping does not prevent resonance.
minor comments (2)
  1. [§2] The notation for the resolvent operator R(λ) is introduced in §2 but used with different normalizations in §3 and §4; a single consistent definition would improve readability.
  2. [Introduction] Several references to earlier works on uniform decay (e.g., in the introduction) are cited only by author names; full bibliographic details should be supplied.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address the major comments point by point below and will incorporate clarifications and verifications in the revised version to strengthen the presentation.

read point-by-point responses

  1. Referee: [§3.2, Theorem 3.4] §3.2, Theorem 3.4: The claimed equivalence between non-uniform decay of the free evolution and the existence of periodic solutions for the forced problem rests on an estimate (3.12) that appears to require a uniform bound on the resolvent away from the imaginary axis; this bound is not verified for the general non-uniform case and may fail in the hyperbolic-parabolic example of §4.3.

    Authors: We appreciate the referee highlighting this aspect of the proof. The estimate (3.12) is obtained by contour integration of the resolvent, where the path is shifted away from the imaginary axis by an amount controlled by the non-uniform decay rate; standard semigroup theory guarantees that the resolvent remains bounded for Re(s) bounded below by a positive constant independent of the imaginary part. No uniform bound in a full strip is required. Nevertheless, to eliminate any ambiguity and specifically address the hyperbolic-parabolic system, we will add a short verification in the revised §4.3 confirming that the resolvent satisfies the needed bounds away from iℝ in that example. revision: yes

  2. Referee: [§5, Counterexample 5.1] §5, Counterexample 5.1: The construction of the regular yet unbounded solution is presented at the level of formal Fourier series; the explicit verification that the damping operator produces the claimed resonance (i.e., that the denominator vanishes at a sequence of frequencies while the numerator remains bounded) is missing and is load-bearing for the claim that damping does not prevent resonance.

    Authors: We agree that an explicit verification is necessary to make the resonance claim fully rigorous. In the revised manuscript we will supply the missing calculation: we select a sequence of frequencies ω_n such that the symbol of the damping operator satisfies |damping symbol(ω_n)| → 0 while the forcing coefficient remains bounded away from zero; the resulting denominator in the Fourier-mode solution then tends to zero, producing coefficients that grow without bound in the energy norm. This explicit check will be inserted into §5. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained via standard semigroup and frequency-domain estimates

full rationale

The paper's central claims link non-uniform decay rates of the free evolution to existence of periodic solutions under forcing and to resolvent growth versus regularity loss. These are developed through abstract semigroup theory and frequency-domain arguments applied to damped wave and hyperbolic-parabolic systems, with explicit estimates for the non-uniform case and a resonance counterexample. No step reduces by construction to a fitted input, self-definition, or load-bearing self-citation chain; the derivations rest on well-posedness results and explicit estimates that are independent of the target periodic-solution statements. The abstract and described framework contain no quoted reductions of the form 'prediction equals input by definition.'

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard mathematical assumptions for evolutionary PDEs and the specific non-uniform decay property of the free systems; no free parameters or invented entities are indicated in the abstract.

axioms (2)
  • standard math The damped evolutionary PDEs are well-posed and admit solutions whose energy decay can be analyzed
    Invoked to study the free equation and its decay properties before adding forcing.
  • domain assumption The energy decay of the free damped equation is non-uniform
    Explicitly stated as the configuration of particular emphasis for linking to forced periodic solutions.

pith-pipeline@v0.9.0 · 5628 in / 1390 out tokens · 73657 ms · 2026-05-20T08:53:38.756357+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

51 extracted references · 51 canonical work pages

  1. [1]

    Entropy and the localization of ei genfunctions

    Nalini Anantharaman. Entropy and the localization of ei genfunctions. Ann. of Math , 168(2):435– 475, 2008

    work page 2008

  2. [2]

    Sharp polyn omial decay rates for the damped wave equation on the torus

    Nalini Anantharaman and Matthieu Léautaud. Sharp polyn omial decay rates for the damped wave equation on the torus. Anal. PDE , 7(1):159–214, 2014. With an appendix by Stéphane Nonnenmacher

    work page 2014

  3. [3]

    Wolfgang Arendt and Charles J. K. Batty. Tauberian theore ms and stability of one-parameter semigroups. Trans. Amer. Math. Soc. , 306(2):837–852, 1988

    work page 1988

  4. [4]

    Sharp suffi cient conditions for the observation, control and stabilization of waves from the boundary

    Claude Bardos, Gilles Lebeau, and Jeffrey Rauch. Sharp suffi cient conditions for the observation, control and stabilization of waves from the boundary. SIAM J. Control Optim. , 305:1024–1065, 1992

    work page 1992

  5. [5]

    Charles J. K. Batty. Tauberian theorems for the Laplace-S tieltjes transform. Trans. Amer. Math. Soc. , 322(2):783–804, 1990. 26 C. LAURENT AND I. RIV AS

    work page 1990

  6. [6]

    Charles J. K. Batty and Thomas Duyckaerts. Non-uniform st ability for bounded semi-groups on Banach spaces. J. Evol. Equ. , 8(4):765–780, 2008

    work page 2008

  7. [7]

    Time-periodic solutions of com- pletely resonant Klein-Gordon equations on S3

    Massimiliano Berti, Beatrice Langella, and Diego Silimba ni. Time-periodic solutions of com- pletely resonant Klein-Gordon equations on S3. Ann. Inst. H. Poincaré C Anal. Non Linéaire , 42(5):1247–1312, 2025

    work page 2025

  8. [8]

    Optimal polynomial decay of functions and operator semigroups

    Alexander Borichev and Yuri Tomilov. Optimal polynomial decay of functions and operator semigroups. Math. Ann. , 347(2):455–478, 2010

    work page 2010

  9. [9]

    Periodic solutions for evolution equations , volume 3 of Electronic Journal of Differential Equations

    Mihai Bostan. Periodic solutions for evolution equations , volume 3 of Electronic Journal of Differential Equations. Monograph . Southwest Texas State University, San Marcos, TX, 2002. A vailable electronically at http://ejde.math.swt.edu

    work page 2002

  10. [10]

    Fr ee vibrations for a nonlinear wave equation and a theorem of P

    Haïm Brézis, Jean-Michel Coron, and Louis Nirenberg. Fr ee vibrations for a nonlinear wave equation and a theorem of P. Rabinowitz. Comm. Pure Appl. Math. , 33(5):667–684, 1980

    work page 1980

  11. [11]

    Forced vibrations for a nonlinear wave equation

    Haïm Brézis and Louis Nirenberg. Forced vibrations for a nonlinear wave equation. Comm. Pure Appl. Math. , 31(1):1–30, 1978

    work page 1978

  12. [12]

    Contrôle de l’équation des plaques en prés ence d’obstacles strictement convexes

    Nicolas Burq. Contrôle de l’équation des plaques en prés ence d’obstacles strictement convexes. Mém. Soc. Math. France (N.S.) , (55):126, 1993

    work page 1993

  13. [13]

    Energy decay for damped wave equations on partially rectan- gular domains

    Nicolas Burq and Michael Hitrik. Energy decay for damped wave equations on partially rectan- gular domains. Math. Res. Lett. , 14(1):35–47, 2007

    work page 2007

  14. [14]

    Geometric control in th e presence of a black box

    Nicolas Burq and Maciej Zworski. Geometric control in th e presence of a black box. J. Amer. Math. Soc. , 17(2):443–471, 2004

    work page 2004

  15. [15]

    Nonli near periodic waves on the Einstein cylin- der

    Athanasios Chatzikaleas and Jacques Smulevici. Nonli near periodic waves on the Einstein cylin- der. Anal. PDE , 17(7):2311–2378, 2024

    work page 2024

  16. [16]

    Nonuniform stability of damped contraction semigroups

    Ralph Chill, Lassi Paunonen, David Seifert, Reinhard S tahn, and Yuri Tomilov. Nonuniform stability of damped contraction semigroups. Anal. PDE , 16(5):1089–1132, 2023

    work page 2023

  17. [17]

    From resolvent esti- mates to damped waves

    Hans Christianson, Emmanuel Schenck, András Vasy, and Jared Wunsch. From resolvent esti- mates to damped waves. J. Anal. Math. , 122:143–162, 2014

    work page 2014

  18. [18]

    Periodic solutions of a nonlinear w ave equation without assumption of monotonicity

    Jean-Michel Coron. Periodic solutions of a nonlinear w ave equation without assumption of monotonicity. Math. Ann. , 262(2):273–285, 1983

    work page 1983

  19. [19]

    Geo metry of wave damping on the torus

    Kiril Datchev, Perry Kleinhenz, and Antoine Prouff. Geo metry of wave damping on the torus. preprint, arXiv:2509.05239, 2025

    work page arXiv 2025

  20. [20]

    Optimal decay rates of the energy of a hyperbolic-parabolic system coupled by an interface

    Thomas Duyckaerts. Optimal decay rates of the energy of a hyperbolic-parabolic system coupled by an interface. Asymptot. Anal. , 51(1):17–45, 2007

    work page 2007

  21. [21]

    C ontrol of eigenfunctions on surfaces of variable curvature

    Semyon Dyatlov, Long Jin, and Stéphane Nonnenmacher. C ontrol of eigenfunctions on surfaces of variable curvature. J. Amer. Math. Soc. , 35(2):361–465, 2022

    work page 2022

  22. [22]

    A systematic meth od for building smooth controls for smooth data

    Sylvain Ervedoza and Enrique Zuazua. A systematic meth od for building smooth controls for smooth data. Discrete Contin. Dyn. Syst. Ser. B , 14(4):1375–1401, 2010

    work page 2010

  23. [23]

    Galdi and Mads Kyed

    Giovanni P. Galdi and Mads Kyed. Time-periodic solutio ns to the Navier-Stokes equations. In Handbook of mathematical analysis in mechanics of viscous fl uids, pages 509–578. Springer, Cham, 2018

    work page 2018

  24. [24]

    Galdi, Mahdi Mohebbi, Rana Zakerzadeh, and Paolo Zunino

    Giovanni P. Galdi, Mahdi Mohebbi, Rana Zakerzadeh, and Paolo Zunino. Hyperbolic- parabolic coupling and the occurrence of resonance in parti ally dissipative systems. In Fluid- structure interaction and biomedical applications , Adv. Math. Fluid Mech., pages 197–256. Birkhäuser/Springer, Basel, 2014

    work page 2014

  25. [25]

    Galdi and Hermann Sohr

    Giovanni P. Galdi and Hermann Sohr. Existence and uniqu eness of time-periodic physically reasonable Navier-Stokes flow past a body. Arch. Ration. Mech. Anal. , 172(3):363–406, 2004

    work page 2004

  26. [26]

    Nonlinear vibrations and the wave equation

    Alain Haraux. Nonlinear vibrations and the wave equation . SpringerBriefs in Mathematics. Springer, Cham, 2018. BCAM SpringerBriefs

    work page 2018

  27. [27]

    Damped wave equations on compact hyperbolic s urfaces

    Long Jin. Damped wave equations on compact hyperbolic s urfaces. Comm. Math. Phys. , 373(3):771–794, 2020

    work page 2020

  28. [28]

    Decay of semilinear da mped wave equations: cases without geometric control condition

    Romain Joly and Camille Laurent. Decay of semilinear da mped wave equations: cases without geometric control condition. Ann. H. Lebesgue , 3:1241–1289, 2020

    work page 2020

  29. [29]

    Fractional powers of operators

    Hikosaburo Komatsu. Fractional powers of operators. Pacific J. Math. , 19:285–346, 1966

    work page 1966

  30. [30]

    Fractional powers of operators

    Hikosaburo Komatsu. Fractional powers of operators. I I. Interpolation spaces. Pacific J. Math. , 21:89–111, 1967. PERIODIC SOLUTIONS FOR WEAKLY DAMPED SYSTEMS 27

    work page 1967

  31. [31]

    Logarithmic de cay for linear damped hypoelliptic wave and Schrödinger equations

    Camille Laurent and Matthieu Léautaud. Logarithmic de cay for linear damped hypoelliptic wave and Schrödinger equations. SIAM J. Control Optim. , 59(3):1881–1902, 2021

    work page 1902

  32. [32]

    Observability of the heat equation, geometric constants in control theory, and a conjecture of Luc Miller

    Camille Laurent and Matthieu Léautaud. Observability of the heat equation, geometric constants in control theory, and a conjecture of Luc Miller. Anal. PDE , 14(2):355–423, 2021

    work page 2021

  33. [33]

    Energy decay for a locally undamped wave equation

    Matthieu Léautaud and Nicolas Lerner. Energy decay for a locally undamped wave equation. Ann. Fac. Sci. Toulouse Math. (6) , 26(1):157–205, 2017

    work page 2017

  34. [34]

    Équation des ondes amorties

    Gilles Lebeau. Équation des ondes amorties. In Algebraic and geometric methods in mathematical physics (Kaciveli, 1993) , volume 19 of Math. Phys. Stud. , pages 73–109. Kluwer Acad. Publ., Dordrecht, 1996

    work page 1993

  35. [35]

    Sur une classe d’e spaces d’interpolation

    Jacques-Louis Lions and Jaak Peetre. Sur une classe d’e spaces d’interpolation. Inst. Hautes Études Sci. Publ. Math. , (19):5–68, 1964

    work page 1964

  36. [36]

    Bounded solutions of linear period ic abstract parabolic equations

    Alessandra Lunardi. Bounded solutions of linear period ic abstract parabolic equations. Proc. Roy. Soc. Edinburgh Sect. A , 110(1-2):135–159, 1988

    work page 1988

  37. [37]

    Long time energy averages and a lowe r resolvent estimate for damped waves

    Matthieu Léautaud. Long time energy averages and a lowe r resolvent estimate for damped waves. to appear in J. Eur. Math. Soc., arXiv/2309.12709 , 2023

    work page arXiv 2023

  38. [38]

    Melrose and Johannes Sjöstrand

    Richard B. Melrose and Johannes Sjöstrand. Singulariti es of boundary value problems. I. Comm. Pure Appl. Math. , 31(5):593–617, 1978

    work page 1978

  39. [39]

    Escape function conditions for the observa tion, control, and stabilization of the wave equation

    Luc Miller. Escape function conditions for the observa tion, control, and stabilization of the wave equation. SIAM J. Control Optim. , 41(5):1554–1566, 2002

    work page 2002

  40. [40]

    Stanislav Mosny, Boris Muha, Sebastian Schwarzacher, a nd Justin T. Webster. Time-periodic solutions for hyperbolic-parabolic systems. preprint, arXiv:2412.18801 , 2024

    work page arXiv 2024

  41. [41]

    Polynomial decay rate for the dissipati ve wave equation

    Kim Dang Phung. Polynomial decay rate for the dissipati ve wave equation. J. Differential Equations, 240(1):92–124, 2007

    work page 2007

  42. [42]

    On periodic solutions of adaptive systems in the presence of periodic forcing terms

    Jean-Baptiste Pomet, Jean-Michel Coron, and Laurent Pr aly. On periodic solutions of adaptive systems in the presence of periodic forcing terms. Math. Control Signals Systems , 3(4):373–399, 1990

    work page 1990

  43. [43]

    Rabinowitz

    Paul H. Rabinowitz. Free vibrations for a semilinear wa ve equation. Comm. Pure Appl. Math. , 31(1):31–68, 1978

    work page 1978

  44. [44]

    Energy decay for the damped wave equa tion under a pressure condition

    Emmanuel Schenck. Energy decay for the damped wave equa tion under a pressure condition. Comm. Math. Phys. , 300(2):375–410, 2010

    work page 2010

  45. [45]

    Exponential stabilization without geometric control

    Emmanuel Schenck. Exponential stabilization without geometric control. Math. Res. Lett. , 18(2):379–388, 2011

    work page 2011

  46. [46]

    Sharp decay rate for the damped wave equati on with convex-shaped damping

    Chenmin Sun. Sharp decay rate for the damped wave equati on with convex-shaped damping. Int. Math. Res. Not. , (7):5905–5973, 2023

    work page 2023

  47. [47]

    Observation and control for operator semigroups

    Marius Tucsnak and George Weiss. Observation and control for operator semigroups . Birkhäuser Advanced Texts: Basler Lehrbücher. [Birkhäuser Advanced Tex ts: Basel Textbooks]. Birkhäuser Verlag, Basel, 2009

    work page 2009

  48. [48]

    Ruoyu P. T. Wang. Sharp polynomial decay for waves dampe d from the boundary in cylindrical waveguides. Math. Res. Lett. , 30(4):1253–1298, 2023

    work page 2023

  49. [49]

    Abstract parabolic evolution equations and their applicat ions

    Atsushi Yagi. Abstract parabolic evolution equations and their applicat ions. Springer Monographs in Mathematics. Springer-Verlag, Berlin, 2010

    work page 2010

  50. [50]

    Long-time behavior of a cou pled heat-wave system arising in fluid-structure interaction

    Xu Zhang and Enrique Zuazua. Long-time behavior of a cou pled heat-wave system arising in fluid-structure interaction. Arch. Ration. Mech. Anal. , 184(1):49–120, 2007

    work page 2007

  51. [51]

    William P. Ziemer. Weakly differentiable functions, volume 120 of Graduate Texts in Mathemat- ics. Springer-Verlag, New York, 1989. Sobolev spaces and funct ions of bounded variation. CNRS UMR 9008, Université Reims-Champagne-Ardennes, Labo ra toire de Ma théma tiques de Reims (LMR), Moulin de la Housse-BP 1039, 51687 REIMS cedex 2, Fran ce Email address :...

    work page 1989