pith. sign in

arxiv: 2501.18556 · v3 · submitted 2025-01-30 · 🧮 math.AP · math.FA

Smoothing of operator semigroups under relatively bounded perturbations

Sahiba Arora , Jonathan Mui This is my paper

Pith reviewed 2026-05-23 04:25 UTC · model grok-4.3

classification 🧮 math.AP math.FA
keywords operator semigroupssmoothing propertiesrelatively bounded perturbationsspectral perturbationeventually positive semigroupsultracontractivityevolution equations
0
0 comments X

The pith

Smoothing properties of strongly continuous operator semigroups remain stable under certain relatively bounded perturbations of the generator.

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

The paper establishes that if a strongly continuous semigroup possesses a smoothing property similar to ultracontractivity, then this property persists when the generator undergoes certain relatively bounded perturbations. This stability produces a spectral perturbation theorem with direct consequences for the asymptotic behavior of solutions to evolution equations generated by elliptic operators of second and higher order. A new perturbation result for eventually positive semigroups follows as an application. The result matters because it lets known smoothing behaviors carry over to perturbed systems without separate verification of the property each time.

Core claim

A smoothing property for strongly continuous operator semigroups is stable under certain relatively bounded perturbations of the semigroup generator; the stability yields a spectral perturbation theorem with implications for long-term dynamics of evolution equations driven by elliptic operators of second and higher orders, and in particular produces a new perturbation theorem for eventually positive semigroups.

What carries the argument

The smoothing property (akin to ultracontractivity) of a strongly continuous operator semigroup, shown to be invariant under relatively bounded perturbations of the generator.

If this is right

  • Spectral perturbation theorems become available once the smoothing property is known to be stable.
  • Long-term dynamics of evolution equations driven by second- and higher-order elliptic operators can be analyzed via the perturbed semigroups.
  • Eventually positive semigroups admit a new perturbation theorem derived from the general stability result.

Where Pith is reading between the lines

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

  • The result may let smoothing estimates obtained for unperturbed elliptic operators transfer directly to models with lower-order or nonlocal terms.
  • Applications could include stability questions for numerical discretizations that act as relatively bounded perturbations.

Load-bearing premise

The perturbations must belong to a restricted class of relatively bounded operators satisfying precise relative bound, domain compatibility, and other technical conditions that make the stability hold.

What would settle it

An explicit example of a semigroup with the smoothing property, together with a relatively bounded perturbation of its generator, such that the perturbed semigroup loses the smoothing property.

read the original abstract

We investigate a smoothing property for strongly-continuous operator semigroups, akin to ultracontractivity in parabolic evolution equations. Specifically, we establish the stability of this property under certain relatively bounded perturbations of the semigroup generator. This result yields a spectral perturbation theorem, which has implications for the long-term dynamics of evolution equations driven by elliptic operators of second and higher orders. In particular, a new perturbation theorem for so-called eventually positive semigroups is derived as a consequence of the general results.

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 / 2 minor

Summary. The paper establishes the stability of a smoothing property (akin to ultracontractivity) for strongly continuous semigroups under certain relatively bounded perturbations of the generator. It derives a spectral perturbation theorem from this stability and obtains as a corollary a new perturbation result for eventually positive semigroups, with stated implications for long-term dynamics of evolution equations driven by second- and higher-order elliptic operators.

Significance. If the main stability result holds under the stated hypotheses, the work supplies a useful addition to perturbation theory for C0-semigroups by showing that smoothing properties are preserved under relatively bounded perturbations. The consequence for eventually positive semigroups is a concrete application that may be of interest to researchers working on positivity-preserving evolution equations.

minor comments (2)
  1. The abstract refers to 'certain relatively bounded perturbations' without indicating the precise relative bound or domain conditions; the introduction or statement of the main theorem should make these hypotheses explicit at the outset so that readers can immediately assess applicability.
  2. Notation for the smoothing property and the perturbed generator should be introduced with a dedicated preliminary section or subsection to avoid repeated forward references in the proofs.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript, the assessment of its significance, and the recommendation of minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper establishes stability of a smoothing property for C0-semigroups under relatively bounded perturbations of the generator, yielding spectral and eventually-positive corollaries. No load-bearing step reduces by construction to its inputs: the result is a conditional theorem under stated technical hypotheses on relative boundedness and domain compatibility, with no self-definitional loops, fitted inputs renamed as predictions, or self-citation chains that substitute for independent justification. The derivation is self-contained within standard semigroup perturbation theory and does not rely on the target claim to define its premises.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract only; no explicit free parameters, axioms, or invented entities are stated or identifiable.

pith-pipeline@v0.9.0 · 5596 in / 980 out tokens · 28753 ms · 2026-05-23T04:25:31.298351+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

48 extracted references · 48 canonical work pages

  1. [1]

    Adams and John J

    Robert A. Adams and John J. F. Fournier. Sobolev spaces , volume 140 of Pure and Ap- plied Mathematics (Amsterdam) . Elsevier/Academic Press, Amsterdam, second edition,

    work page

  2. [2]

    URL: https://www.sciencedirect.com/bookseries/pure-and-a pplied-mathematics/ vol/140/suppl/C

    work page

  3. [3]

    Estim ates near the boundary for solu- tions of elliptic partial differential equations satisfyin g general boundary conditions

    Shmuel Agmon, Avron Douglis, and Louis Nirenberg. Estim ates near the boundary for solu- tions of elliptic partial differential equations satisfyin g general boundary conditions. I. Com- mun. Pure Appl. Math. , 12:623–727, 1959. doi:10.1002/cpa.3160120405

    work page doi:10.1002/cpa.3160120405 1959

  4. [4]

    Semigroups and evolution equations: f unctional calculus, regularity and kernel estimates

    W olfgang Arendt. Semigroups and evolution equations: f unctional calculus, regularity and kernel estimates. In Handbook of differential equations: Evolutionary equation s. Vol. I , pages 1–85. North-Holland, Amsterdam: Elsevier, 2004. doi:10.1016/S1874-5717(04)80003-3

    work page doi:10.1016/s1874-5717(04)80003-3 2004

  5. [5]

    W olfgang Arendt, Charles J. K. Batty, Matthias Hieber, a nd Frank Neubran- der. Vector-valued Laplace transforms and Cauchy problems , volume 96 of Mono- graphs in Mathematics . Birkh¨ auser/Springer Basel AG, Basel, second edition, 20 11. doi:10.1007/978-3-0348-0087-7

    work page doi:10.1007/978-3-0348-0087-7

  6. [6]

    Diffus ion with nonlocal Robin bound- ary conditions

    W olfgang Arendt, Stefan Kunkel, and Markus Kunze. Diffus ion with nonlocal Robin bound- ary conditions. J. Math. Soc. Japan , 70(4):1523–1556, 2018. doi:10.2969/jmsj/76427642

    work page doi:10.2969/jmsj/76427642 2018

  7. [7]

    Nikol’ski ˘ ı

    W olfgang Arendt and Nikola ˘ ı K. Nikol’ski ˘ ı. Vector-valued holomorphic functions revisited. Math. Z. , 234(4):777–805, 2000. doi:10.1007/s002090050008

    work page doi:10.1007/s002090050008 2000

  8. [8]

    ter Elst

    W olfgang Arendt and Antonius F.M. ter Elst. Gaussian est imates for second order elliptic operators with boundary conditions. J. Operator Theory, 38(1):87–130, 1997. URL: https:// www.jstor.org/stable/24718832

    work page arXiv 1997

  9. [9]

    ter Elst

    W olfgang Arendt and Antonius F.M. ter Elst. The Dirichle t problem without the maximum principle. Ann. Inst. Fourier (Grenoble) , 69(2):763–782, 2019. doi:10.5802/aif.3257

    work page doi:10.5802/aif.3257 2019

  10. [10]

    A characterization of th e individual maxi- mum and anti-maximum principle

    Sahiba Arora and Jochen Gl¨ uck. A characterization of th e individual maxi- mum and anti-maximum principle. Math. Z. , 305(2):Paper No. 24, 17, 2023. doi:10.1007/s00209-023-03348-w

    work page doi:10.1007/s00209-023-03348-w 2023

  11. [11]

    Schwenninger

    Sahiba Arora, Jochen Gl¨ uck, Lassi Paunonen, and Felix L. Schwenninger. Limit-case admis- sibility for positive infinite-dimensional systems. 2024. Preprint. arXiv:2404.01275v3

    work page arXiv 2024

  12. [12]

    Schwenninger

    Sahiba Arora and Felix L. Schwenninger. Admissible ope rators for sun-dual semigroups. 2024. Preprint. arXiv:2408.02150v1

    work page arXiv 2024

  13. [13]

    Mixed local and non- local elliptic operators: regularity and maximum principl es

    Stefano Biagi, Serena Dipierro, Enrico Valdinoci, and Eugenio Vecchi. Mixed local and non- local elliptic operators: regularity and maximum principl es. Commun. Partial Differ. Equa- tions, 47(3):585–629, 2022. doi:10.1080/03605302.2021.1998908

    work page doi:10.1080/03605302.2021.1998908 2022

  14. [14]

    Functional analysis, Sobolev spaces and partial differenti al equations

    Haim Brezis. Functional analysis, Sobolev spaces and partial differenti al equations . Univer- sitext. Springer, New York, 2011

    work page 2011

  15. [15]

    Caffarelli and Pablo R

    Luis A. Caffarelli and Pablo R. Stinga. Fractional ellip tic equations, Caccioppoli esti- mates and regularity. Ann. Inst. Henri Poincar´ e, Anal. Non Lin´ eaire, 33(3):767–807, 2016. doi:10.1016/j.anihpc.2015.01.004. 26 SAHIBA ARORA AND JONATHAN MUI

    work page doi:10.1016/j.anihpc.2015.01.004 2016

  16. [16]

    Dimension at infinity of an analytic se migroup

    Thierry Coulhon. Dimension at infinity of an analytic se migroup. Bull. Sci. Math., II. S´ er., 114(4):485–500, 1990

    work page 1990

  17. [17]

    Inverse positivity for general Robin pr oblems on Lipschitz domains

    Daniel Daners. Inverse positivity for general Robin pr oblems on Lipschitz domains. Arch. Math. (Basel) , 92(1):57–69, 2009. doi:10.1007/s00013-008-2918-z

    work page doi:10.1007/s00013-008-2918-z 2009

  18. [18]

    Non-positivity of the semigroup genera ted by the Dirichlet-to-Neumann op- erator

    Daniel Daners. Non-positivity of the semigroup genera ted by the Dirichlet-to-Neumann op- erator. Positivity, 18(2):235–256, 2014. doi:10.1007/s11117-013-0243-7

    work page doi:10.1007/s11117-013-0243-7 2014

  19. [19]

    The role of domination and smoothing conditions in the theory of eventually positive semigroups

    Daniel Daners and Jochen Gl¨ uck. The role of domination and smoothing conditions in the theory of eventually positive semigroups. Bull. Aust. Math. Soc. , 96(2):286–298, 2017. doi:10.1017/S0004972717000260

    work page doi:10.1017/s0004972717000260 2017

  20. [20]

    A criterion for the uni form eventual positivity of operator semigroups

    Daniel Daners and Jochen Gl¨ uck. A criterion for the uni form eventual positivity of operator semigroups. Integral Equations Oper. Theory , 90(4):19, 2018. Id/No 46. doi:10.1007/s00020-018-2478-y

    work page doi:10.1007/s00020-018-2478-y 2018

  21. [21]

    Towards a perturbatio n theory for eventually positive semigroups

    Daniel Daners and Jochen Gl¨ uck. Towards a perturbatio n theory for eventually positive semigroups. J. Operator Theory , 79(2):345–372, 2018. URL: http://www.mathjournals.org/ jot/2018-079-002/2018-079-002-005.html

    work page 2018

  22. [22]

    Daniel Daners, Jochen Gl¨ uck, and James B. Kennedy. Eve ntually and asymptotically positive semigroups on Banach lattices. J. Differ. Equations , 261(5):2607–2649, 2016. doi:10.1016/j.jde.2016.05.007

    work page doi:10.1016/j.jde.2016.05.007 2016

  23. [23]

    Daniel Daners, Jochen Gl¨ uck, and James B. Kennedy. Eventually positive semigroups of linear operators. J. Math. Anal. Appl. , 433(2):1561–1593, 2016. doi:10.1016/j.jmaa.2015.08.050

    work page doi:10.1016/j.jmaa.2015.08.050 2016

  24. [24]

    Local u niform convergence and eventual positivity of solutions to biharmonic heat equations

    Daniel Daners, Jochen Gl¨ uck, and Jonathan Mui. Local u niform convergence and eventual positivity of solutions to biharmonic heat equations. Differential Integral Equations , 36(9- 10):727–756, 2023. doi:10.57262/die036-0910-727

    work page doi:10.57262/die036-0910-727 2023

  25. [25]

    Edward B. Davies. Perturbations of ultracontractive s emigroups. Q. J. Math., Oxf. II. Ser. , 37:167–176, 1986. doi:10.1093/qmath/37.2.167

    work page doi:10.1093/qmath/37.2.167 1986

  26. [26]

    Edward B. Davies. Heat kernels and spectral theory , volume 92 of Cambridge Tracts in Math- ematics. Cambridge University Press, Cambridge, 1990. doi:10.1017/CBO9780511566158

    work page doi:10.1017/cbo9780511566158 1990

  27. [27]

    The bi-Lapla cian with Wentzell boundary conditions on Lipschitz domains

    Robert Denk, Markus Kunze, and David Ploß. The bi-Lapla cian with Wentzell boundary conditions on Lipschitz domains. Integral Equations Operator Theory , 93(2):Paper No. 13, 26, 2021. doi:10.1007/s00020-021-02624-w

    work page doi:10.1007/s00020-021-02624-w 2021

  28. [28]

    One-parameter semigroups for linear evolution equa- tions, volume 194

    Klaus-Jochen Engel and Rainer Nagel. One-parameter semigroups for linear evolution equa- tions, volume 194. Berlin: Springer, 2000. doi:10.1007/b97696

    work page doi:10.1007/b97696 2000

  29. [29]

    Polyharmonic boundary value problems, volume 1991 of Lecture Notes in Mathematics

    Filippo Gazzola, Hans-Christoph Grunau, and Guido Swe ers. Polyharmonic boundary value problems, volume 1991 of Lecture Notes in Mathematics . Springer-Verlag, Berlin, 2010. Positivity preserving and nonlinear higher order elliptic equations in bounded domains. doi:10.1007/978-3-642-12245-3

    work page doi:10.1007/978-3-642-12245-3 1991

  30. [30]

    Nonlocal Robin Lapla cians and some remarks on a paper by Filonov on eigenvalue inequalities

    Fritz Gesztesy and Marius Mitrea. Nonlocal Robin Lapla cians and some remarks on a paper by Filonov on eigenvalue inequalities. J. Differential Equations , 247(10):2871–2896, 2009. doi:10.1016/j.jde.2009.07.007

    work page doi:10.1016/j.jde.2009.07.007 2009

  31. [31]

    Heat kernel bounds for elliptic partial dif- ferential operators in divergence form with Robin-type bou ndary conditions

    Fritz Gesztesy, Marius Mitrea, and Roger Nichols. Heat kernel bounds for elliptic partial dif- ferential operators in divergence form with Robin-type bou ndary conditions. J. Anal. Math. , 122:229–287, 2014. doi:10.1007/s11854-014-0008-7

    work page doi:10.1007/s11854-014-0008-7 2014

  32. [32]

    Evolution equations with eventually po sitive solutions

    Jochen Gl¨ uck. Evolution equations with eventually po sitive solutions. Eur. Math. Soc. Mag. , 123:4–11, 2022. doi:10.4171/MAG-65

    work page doi:10.4171/mag-65 2022

  33. [33]

    Non-positivity of the h eat equation with non-local Robin boundary conditions

    Jochen Gl¨ uck and Jonathan Mui. Non-positivity of the h eat equation with non-local Robin boundary conditions. 2024. Preprint. arXiv:2404.15114v1

    work page arXiv 2024

  34. [34]

    Volume I

    Tuomas Hyt¨ onen, Jan van Neerven, Mark Veraar, and Lutz W eis.Analysis in Banach spaces. Volume I. Martingales and Littlewood-Paley theory , volume 63 of Ergeb. Math. Grenzgeb.,

    work page

  35. [35]

    Cham: Springer, 2016

    Folge . Cham: Springer, 2016. doi:10.1007/978-3-319-48520-1

    work page doi:10.1007/978-3-319-48520-1 2016

  36. [36]

    Perturbation theory for linear operators

    Tosio Kato. Perturbation theory for linear operators . Berlin: Springer-Verlag, Reprint of the corrected printing of the 2nd edition, 1995. doi:10.1007/978-3-642-66282-9

    work page doi:10.1007/978-3-642-66282-9 1995

  37. [37]

    A first course in Sobolev spaces , volume 105 of Grad

    Giovanni Leoni. A first course in Sobolev spaces , volume 105 of Grad. Stud. Math. Providence, RI: American Mathematical Society (AMS), 2009. doi:10.1090/gsm/105

    work page doi:10.1090/gsm/105 2009

  38. [38]

    Interpolation theory , volume 16 of Appunti, Sc

    Alessandra Lunardi. Interpolation theory , volume 16 of Appunti, Sc. Norm. Super. Pisa (N.S.) . Pisa: Edizioni della Normale, 3rd edition edition, 2018. doi:10.1007/978-88-7642-638-4

    work page doi:10.1007/978-88-7642-638-4 2018

  39. [39]

    Banach lattices

    Peter Meyer-Nieberg. Banach lattices . Berlin, Heidelberg: Springer-Verlag, 1991. doi:10.1007/978-3-642-76724-1

    work page doi:10.1007/978-3-642-76724-1 1991

  40. [40]

    Regularity of solutions of linear second order elliptic and parabolic bound- ary value problems on Lipschitz domains

    Robin Nittka. Regularity of solutions of linear second order elliptic and parabolic bound- ary value problems on Lipschitz domains. J. Differential Equations , 251(4-5):860–880, 2011. doi:10.1016/j.jde.2011.05.019. SMOOTHING AND RELATIVELY BOUNDED PERTURBATIONS 27

    work page doi:10.1016/j.jde.2011.05.019 2011

  41. [41]

    Analysis of heat equations on domains , volume 31 of London Math- ematical Society Monographs Series

    El Maati Ouhabaz. Analysis of heat equations on domains , volume 31 of London Math- ematical Society Monographs Series . Princeton University Press, Princeton, NJ, 2005. doi:10.1515/9781400826483

    work page doi:10.1515/9781400826483 2005

  42. [42]

    Eventual p ositivity, perturbations and delay semigroups

    Pappu, Shard Rastogi, and Sachi Srivastava. Eventual p ositivity, perturbations and delay semigroups. Positivity, 29(12), 2025. doi:10.1007/s11117-024-01105-9

    work page doi:10.1007/s11117-024-01105-9 2025

  43. [43]

    Semigroups of linear operators and applications to partial differential equa- tions, volume 44 of Applied Mathematical Sciences

    Amnon Pazy. Semigroups of linear operators and applications to partial differential equa- tions, volume 44 of Applied Mathematical Sciences . Springer-Verlag, New York, 1983. doi:10.1007/978-1-4612-5561-1

    work page doi:10.1007/978-1-4612-5561-1 1983

  44. [44]

    Perturbation theory of eigenvalue problems

    Franz Rellich. Perturbation theory of eigenvalue problems . Gordon and Breach Science Pub- lishers, New York-London-Paris, 1969

    work page 1969

  45. [45]

    Functional analysis

    W alter Rudin. Functional analysis. New York, NY: McGraw-Hill, 2nd ed. edition, 1991

    work page 1991

  46. [46]

    Schaefer

    Helmut H. Schaefer. Banach lattices and positive operators . Die Grundlehren der math- ematischen Wissenschaften, Band 215. Springer-Verlag, Ne w York-Heidelberg, 1974. doi:10.1007/978-3-642-65970-6

    work page doi:10.1007/978-3-642-65970-6 1974

  47. [47]

    Functional analytic methods for partial differential equat ions, volume 204 of Pure Appl

    Hiroki Tanabe. Functional analytic methods for partial differential equat ions, volume 204 of Pure Appl. Math., Marcel Dekker . New York, NY: Marcel Dekker, 1997. doi:10.1201/9780203755419

    work page doi:10.1201/9780203755419 1997

  48. [48]

    Admissible observation operators for li near semigroups

    George W eiss. Admissible observation operators for li near semigroups. Israel Journal of Math- ematics, 65(1):17–43, 1989. doi:10.1007/BF02788172. (Sahiba Arora) Leibniz Universit ¨at Hannover, Institut f ¨ur Analysis, Welfengarten 1, 30167 Hannover, Germany Email address : sahiba.arora@math.uni-hannover.de (Jonathan Mui) University of Wuppertal, School ...

    work page doi:10.1007/bf02788172 1989