arxiv: 2605.12892 · v1 · submitted 2026-05-13 · 🧮 math.AP · math.DS

Recognition: unknown

From Polynomial Stability to Periodic Well-posedness in Partially Dissipative Systems

Boris Muha, Giovanni P. Galdi, Justin T. Webster

Pith reviewed 2026-05-14 18:56 UTC · model grok-4.3

classification 🧮 math.AP math.DS

keywords polynomial stabilityperiodic well-posednessresolvent boundspartially dissipative systemsFourier decompositionheat-wave interactionsemigroup theorytime-periodic forcing

0 comments

The pith

Polynomial stability of the semigroup yields an explicit characterization of the dense forcing set on which periodic well-posedness holds via resolvent bounds that dictate required losses of time derivatives on the forcing.

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

The paper shows how polynomial stability of the solution semigroup in partially dissipative systems produces a concrete description of a dense collection of time-periodic forcings that admit well-posed solutions. Using Fourier decomposition in Hilbert space, the authors convert the polynomial decay rate directly into resolvent estimates that specify exactly how many time derivatives the forcing must lose. This fills the gap between uniform stability, which works for every mild forcing, and mere strong stability, which only guarantees a dense set without an explicit description. The result applies to models such as heat-wave interactions, thermoelastic systems, and weakly damped hyperbolic equations where polynomial decay is the typical behavior.

Core claim

Working with a Fourier decomposition in Hilbert space, polynomial stability of the semigroup yields an explicit characterization of the dense forcing set on which periodic well-posedness holds. More precisely, resolvent bounds translate directly into certain losses of time derivatives on the forcing required to ensure well-posedness. The result is motivated by partially dissipative models including the heat-wave interaction problem as well as some thermoelastic, viscoelastic, and weakly damped hyperbolic systems.

What carries the argument

Fourier decomposition in Hilbert space that converts polynomial decay rates of the semigroup into explicit resolvent bounds controlling the admissible forcing class.

If this is right

Periodic well-posedness holds for forcings whose time regularity is reduced by an amount determined by the degree of the polynomial stability.
The admissible forcing set is dense in the natural space and can be described explicitly rather than merely shown to exist.
The same resolvent-to-regularity translation applies to heat-wave, thermoelastic, viscoelastic, and weakly damped hyperbolic systems.
Resolvent estimates obtained from the stability rate give the precise link between decay and the derivative loss needed on the forcing.

Where Pith is reading between the lines

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

The explicit characterization could be used to select external loads that avoid resonance in engineering structures whose damping produces only polynomial decay.
The Fourier-resolvent method might adapt to other sub-exponential decay rates such as logarithmic stability by modifying the translation from bound to regularity.
Numerical tests on a discretized heat-wave model could confirm whether the predicted number of derivative losses is sharp in practice.

Load-bearing premise

The systems admit a Fourier decomposition in Hilbert space that converts polynomial decay rates into explicit resolvent bounds controlling the forcing class.

What would settle it

A concrete counterexample in a heat-wave system with known polynomial decay rate where a forcing losing fewer time derivatives than the resolvent bound predicts still produces a periodic solution, or where a forcing meeting the bound fails to be well-posed.

read the original abstract

The study of resonances (and well-posedness) for complex systems under time-periodic loading is of broad interest in application. The work of Galdi et al.~(2014) connects asymptotic stability of solutions to an unforced Cauchy problem to solvability of the time-periodic forced problem. Uniform stability of the solution semigroup gives periodic well-posedness for all forces in the natural mild forcing class, whereas strong stability yields only existence of a dense set of forcings for which resonance can be excluded. We address an intermediate regime for polynomial (also: rational or semiuniform) stability. Working with a Fourier decomposition in Hilbert space, we demonstrate that polynomial stability of the semigroup yields an explicit characterization of the dense forcing set on which periodic well-posedness holds. More precisely, resolvent bounds translate directly into certain losses of time derivatives on the forcing required to ensure well-posedness. Our result is motivated by partially dissipative models -- including the famous heat-wave interaction problem idealizing fluid-structure interactions, as well as some thermoelastic, viscoelastic, and weakly damped hyperbolic systems -- for which polynomial decay is the natural regime.

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 the 2014 stability-to-periodic-wellposedness link to polynomial decay via resolvent estimates on a Fourier decomposition, but the step from decay rates to sharp multiplier losses needs more care for the non-normal generators in the target applications.

read the letter

The core contribution is a direct translation from polynomial semigroup decay to an explicit dense set of forcings that admit periodic solutions. Resolvent bounds on the generator are turned into precise losses of time derivatives on the forcing term, which is the natural intermediate regime between the uniform-stability case (all mild forcings work) and the strong-stability case (only a dense set works, without rate information). For the heat-wave and thermoelastic systems that motivate the work, this gives a usable criterion rather than an abstract existence statement. The argument stays within standard Hilbert-space semigroup theory and avoids introducing new parameters or fitted quantities, so the logical chain is straightforward once the decomposition is granted. Credit is due for making the resolvent-to-derivative-loss dictionary explicit; that step is not routine when the decay is only polynomial. The paper is therefore a genuine, if incremental, extension of the 2014 dichotomy. The main soft spot is the reliance on a Fourier decomposition that converts polynomial decay into clean resolvent bounds. Many of the motivating operators are non-normal, and polynomial stability does not automatically deliver the exact multiplier estimates without additional spectral gap or completeness assumptions. The abstract does not indicate how the decomposition handles possible continuous spectrum or non-diagonalizable structure, so the claimed generality may shrink once the details are checked. If those extra conditions are hidden or only hold for special cases, the characterization of the forcing set becomes less explicit than advertised. Readers working on fluid-structure or thermoelastic problems will find the result immediately relevant and will want to see the decomposition justified for their specific generators. The work is technically grounded enough to deserve referee time; a careful review can clarify the spectral hypotheses without undermining the overall direction. I would send it to peer review.

Referee Report

2 major / 2 minor

Summary. The paper claims that polynomial stability of a semigroup on a Hilbert space, via Fourier decomposition, yields an explicit characterization of a dense set of time-periodic forcings for which the forced problem is well-posed; resolvent bounds induced by the polynomial decay rate translate directly into precise losses of time derivatives on the forcing.

Significance. If the central derivation holds, the result fills the gap between uniform stability (well-posedness for all mild forcings) and strong stability (dense set only), supplying concrete regularity conditions on the forcing that are directly readable from the resolvent growth. This is potentially useful for the motivating class of partially dissipative systems (heat-wave, thermoelastic, weakly damped hyperbolic) where polynomial decay is the typical rate.

major comments (2)

[Abstract and §2] The abstract and introduction assert that a Fourier decomposition converts polynomial decay directly into resolvent bounds controlling the forcing class, yet the motivating examples (heat-wave interaction, thermoelastic systems) have non-normal generators with possible continuous spectrum. The manuscript must specify, in the setup of the decomposition (likely §2), how the argument recovers the exact polynomial rate without additional spectral-gap or basis-completeness hypotheses.
[Main Theorem] The claimed translation from resolvent bounds to 'losses of time derivatives' on the forcing is load-bearing for the explicit characterization of the dense set. The main theorem (presumably Theorem 1.1 or equivalent) should include a precise statement of the Sobolev regularity required on the forcing, together with at least one explicit calculation for a model system such as the heat-wave equation.

minor comments (2)

The citation to Galdi et al. (2014) is used to contrast uniform versus strong stability; a brief one-sentence recap of those two endpoint results would improve readability for readers unfamiliar with the reference.
Notation for the polynomial decay rate (e.g., the exponent in the resolvent bound) should be fixed consistently between the abstract, the statement of the main result, and any subsequent estimates.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive suggestions. The comments highlight important points on the generality of the setup and the need for explicit statements and examples, which we will address in the revision.

read point-by-point responses

Referee: [Abstract and §2] The abstract and introduction assert that a Fourier decomposition converts polynomial decay directly into resolvent bounds controlling the forcing class, yet the motivating examples (heat-wave interaction, thermoelastic systems) have non-normal generators with possible continuous spectrum. The manuscript must specify, in the setup of the decomposition (likely §2), how the argument recovers the exact polynomial rate without additional spectral-gap or basis-completeness hypotheses.

Authors: We agree that the setup in §2 should be clarified for non-normal generators. The Fourier decomposition is performed solely in the time variable on the periodic forcing (Fourier series in t), reducing each mode to an equation of the form (i k ω I - A) u_k = f_k. The solution operator is then bounded by the resolvent norm ||R(i k ω, A)||, which is controlled by the polynomial stability assumption via standard equivalences that hold for general (possibly non-normal) generators on Hilbert space. No spectral gap, eigenbasis completeness, or normality is used, because the argument never invokes an eigenfunction expansion of A itself. In the revised manuscript we will insert a short paragraph in §2 making this explicit and confirming applicability to systems with continuous spectrum. revision: yes
Referee: [Main Theorem] The claimed translation from resolvent bounds to 'losses of time derivatives' on the forcing is load-bearing for the explicit characterization of the dense set. The main theorem (presumably Theorem 1.1 or equivalent) should include a precise statement of the Sobolev regularity required on the forcing, together with at least one explicit calculation for a model system such as the heat-wave equation.

Authors: We accept that the main theorem statement should be made fully explicit and illustrated by a concrete example. In the revision we will restate the theorem with the precise Sobolev regularity: if the resolvent satisfies ||R(iλ, A)|| ≤ C(1+|λ|)^α on the imaginary axis, then the forcing must lie in a space requiring a loss of roughly α + 1/2 time derivatives (the exact index will be written out from the proof). We will also add a dedicated subsection containing an explicit calculation for the heat-wave system, deriving the resolvent growth from the known polynomial decay rate and verifying the resulting regularity condition on the forcing. revision: yes

Circularity Check

0 steps flagged

Minor self-citation in background; central derivation independent

full rationale

The derivation proceeds from polynomial semigroup stability via Fourier decomposition in Hilbert space to explicit resolvent bounds and corresponding derivative losses on the forcing class. The abstract references Galdi et al. (2014) only for the uniform/strong stability cases as motivation, while the polynomial case is developed directly from resolvent estimates without any fitted parameters, self-definitional loops, or load-bearing uniqueness theorems imported from the authors' prior work. No equation or step reduces by construction to its own inputs, and the central claim remains a standard functional-analytic translation rather than a renaming or ansatz smuggling.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on standard Hilbert-space semigroup theory and the existence of a Fourier decomposition that converts polynomial decay into resolvent bounds; no new free parameters, ad-hoc axioms, or invented entities are introduced in the abstract.

axioms (1)

domain assumption The underlying operator generates a C0-semigroup on a Hilbert space that admits a Fourier-mode decomposition compatible with the time-periodic forcing.
Invoked to translate polynomial stability into explicit resolvent estimates on each mode.

pith-pipeline@v0.9.0 · 5503 in / 1309 out tokens · 30181 ms · 2026-05-14T18:56:04.138560+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

22 extracted references · 1 canonical work pages

[1]

G. P. Galdi, M. Mohebbi, R. Zakerzadeh, P. Zunino, Hyperbolic–parabolic coupling and the occurrence of resonance in partially dissipative systems, in: Fluid-Structure Interaction and Biomedical Applications, Birkh¨ auser/Springer, Basel, 2014, pp. 197–256

2014
[2]

Straˇ skraba, O

I. Straˇ skraba, O. Vejvoda, Periodic solutions to abstract differential equations, Czechoslovak Math. J. 23 (1973) 635–669

1973
[3]

Haraux, Non-resonance for a strongly dissipative wave equation in higher dimensions, Manuscripta Math

A. Haraux, Non-resonance for a strongly dissipative wave equation in higher dimensions, Manuscripta Math. 53 (1985) 145–166

1985
[4]

Borichev, Y

A. Borichev, Y. Tomilov, Optimal polynomial decay of functions and operator semigroups, Math. Ann. 347 (2010) 455–478

2010
[5]

Pr¨ uss, On the spectrum ofC 0-semigroups, Trans

J. Pr¨ uss, On the spectrum ofC 0-semigroups, Trans. Amer. Math. Soc. 284 (1984) 847–857

1984
[6]

Alabau, P

F. Alabau, P. Cannarsa, V. Komornik, Indirect internal stabilization of weakly coupled evolution equations, J. Evol. Equ. 2 (2002) 127–150

2002
[7]

J. E. Mu˜ noz Rivera, Y. Qin, Polynomial decay for the energy with an acoustic boundary condition, Appl. Math. Lett. 16 (2003) 249–256

2003
[8]

Wehbe, Rational energy decay rate for a wave equation with dynamical control, Appl

A. Wehbe, Rational energy decay rate for a wave equation with dynamical control, Appl. Math. Lett. 16 (2003) 357–364

2003
[9]

L. H. Fatori, R. N. Monteiro, The optimal decay rate for a weak dissipative Bresse system, Appl. Math. Lett. 25 (2012) 600–604

2012
[10]

Li, Z.-J

Y.-F. Li, Z.-J. Han, G.-Q. Xu, Explicit decay rate for coupled string-beam system with localized frictional damping, Appl. Math. Lett. 78 (2018) 51–58

2018
[11]

J. Cui, S. Chai, Non-exponential stability to a Timoshenko system with heat conduction and Kelvin–Voigt damping, Appl. Math. Lett. 140 (2023) 108592

2023
[12]

Zhang, E

X. Zhang, E. Zuazua, Control, observation and polynomial decay for a coupled heat–wave system, C. R. Math. Acad. Sci. Paris 336 (2003) 823–828

2003
[13]

Rauch, X

J. Rauch, X. Zhang, E. Zuazua, Polynomial decay for a hyperbolic–parabolic coupled system, J. Math. Pures Appl. 84 (2005) 407–470

2005
[14]

Avalos, I

G. Avalos, I. Lasiecka, R. Triggiani, Heat–wave interaction in 2–3 dimensions: optimal rational decay rate, J. Math. Anal. Appl. 437 (2016) 782–815

2016
[15]

Avalos, R

G. Avalos, R. Triggiani, Rational decay rates for a PDE heat–structure interaction: a frequency domain approach, Evol. Equ. Control Theory 2 (2013) 233–253

2013
[16]

M. C. Leseduarte, R. Quintanilla, Non-exponential decay in generalized thermoelasticity, Appl. Math. Comput. 308 (2017) 1–12

2017
[17]

Avalos, R

G. Avalos, R. Triggiani, Coupled parabolic–hyperbolic Stokes–Lam´ e PDE system: limit behavior of the resolvent operator on the imaginary axis, Appl. Anal. 88 (2009) 1357–1396

2009
[18]

Avalos, F

G. Avalos, F. Bucci, Rational rates of uniform decay for strong solutions to a fluid-structure PDE system, J. Differential Equations 258 (2015) 4398–4423

2015
[19]

Dell’Oro, V

F. Dell’Oro, V. Pata, Second order linear evolution equations with general dissipation, Appl. Math. Optim. 83 (2021) 185–213

2021
[20]

Dell’Oro, I

F. Dell’Oro, I. Lasiecka, V. Pata, The Moore–Gibson–Thompson equation with memory in the critical case, J. Differential Equations 261 (2016) 4188–4222

2016
[21]

Pata, Stability and exponential stability in linear viscoelasticity, Milan J

V. Pata, Stability and exponential stability in linear viscoelasticity, Milan J. Math. 77 (2009) 333–360

2009
[22]

Mosn´ y, B

S. Mosn´ y, B. Muha, S. Schwarzacher, J. T. Webster, Time-periodic solutions for hyperbolic–parabolic systems, preprint, arXiv:2412.18801, 2024. 8

work page arXiv 2024