pith. sign in

arxiv: 1907.03113 · v1 · pith:QGQ72NQSnew · submitted 2019-07-06 · 🧮 math.FA

Gamma-boundedness of C₀-semigroups and their H^infty-functional calculi

Loris Arnold This is my paper

Pith reviewed 2026-05-25 01:49 UTC · model grok-4.3

classification 🧮 math.FA
keywords gamma-boundednessC0-semigroupsH-infinity functional calculusK-convex spacesGearhart-Pruss theoremBanach space semigroupsresolvent estimates
0
0 comments X

The pith

A characterization of γ-bounded C0-semigroup generation holds in K-convex Banach spaces and produces a version of the Gearhart-Prüss theorem.

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

The paper links several notions of bounded functional calculi for operators, specifically the γ-H∞-bounded calculus, its strong m-version on the half-plane, and the weak-γ-Gomilko-Shi-Feng condition. It then states a characterization that identifies precisely when a C0-semigroup is γ-bounded, but only when the underlying space is K-convex. This characterization directly supplies an analogue of the Gearhart-Prüss theorem adapted to γ-boundedness. A reader would care because the result supplies a resolvent-based test for a form of boundedness that controls semigroup behavior in many non-Hilbert Banach spaces.

Core claim

In K-convex Banach spaces, generation of a γ-bounded C0-semigroup is characterized by the existence of a γ-H∞-bounded calculus (or equivalently by the weak-γ-Gomilko-Shi-Feng condition), and this characterization yields a corresponding version of the Gearhart-Prüss theorem on those spaces.

What carries the argument

The γ-H∞-bounded calculus on the half-plane, which supplies the link between resolvent bounds and γ-boundedness of the generated semigroup.

If this is right

  • The Gearhart-Prüss theorem extends to γ-bounded semigroups precisely when the space is K-convex.
  • Existence of a γ-H∞-bounded calculus is equivalent to the weak-γ-Gomilko-Shi-Feng condition for the generator.
  • Strong γ-m-H∞-bounded calculi on the half-plane are connected to the same generation criterion.
  • Resolvent estimates on the imaginary axis become sufficient for γ-boundedness under the K-convexity assumption.

Where Pith is reading between the lines

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

  • The result applies directly to L^p spaces for 1 < p < ∞, which are K-convex.
  • It suggests that similar characterizations may exist for R-bounded semigroups by replacing γ-boundedness with the corresponding notion.
  • Concrete examples such as heat semigroups on domains in R^d could be checked against the new criterion to verify sharpness.
  • The functional-calculus conditions might yield quantitative bounds on the γ-norm of the semigroup.

Load-bearing premise

The underlying Banach space must satisfy the K-convexity property.

What would settle it

An explicit C0-semigroup on a non-K-convex space for which the weak-γ-Gomilko-Shi-Feng condition holds yet the semigroup fails to be γ-bounded.

read the original abstract

We discuss the notion of $\gamma$-$H^{\infty}$-bounded calculus, strong $\gamma$-$m$-$H^{\infty}$-bounded calculus on half-plane and weak-$\gamma$-Gomilko-Shi-Feng condition and give a connection between them. Then we state a characterization of generation of $\gamma$-bounded $C_0$-semigroup in $K$-convex space, which leads to a version of Gearhart-Pr\"uss on $K$-convex space.

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 manuscript discusses the notions of γ-H^∞-bounded calculus, strong γ-m-H^∞-bounded calculus on the half-plane, and the weak-γ-Gomilko-Shi-Feng condition for C₀-semigroups. It establishes connections between these concepts and states a characterization of generators of γ-bounded C₀-semigroups on K-convex Banach spaces, from which a version of the Gearhart-Prüss theorem is derived.

Significance. If the stated equivalences and characterization hold, the work provides a concrete extension of functional-calculus and generation results to the γ-bounded setting in K-convex spaces, a setting where standard Hilbert-space techniques do not apply directly. The explicit restriction to K-convexity is correctly identified as necessary for the equivalences.

minor comments (1)
  1. [Abstract] Abstract: the statement that the characterization 'leads to a version of Gearhart-Prüss' would be clearer if the precise form of the resulting theorem (e.g., the resolvent condition that is shown to be equivalent) were indicated.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary and recommendation of minor revision. No specific major comments were provided in the report, so there are no individual points requiring point-by-point response. We will incorporate any minor editorial suggestions in the revised version.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained on K-convex spaces

full rationale

The abstract and skeptic analysis indicate the paper states equivalences between γ-H∞-bounded calculus, strong γ-m-H∞-bounded calculus, and weak-γ-Gomilko-Shi-Feng condition on K-convex spaces, then derives a characterization of γ-bounded semigroup generation and a Gearhart-Prüss variant. K-convexity is an explicit external hypothesis, not smuggled in. No self-citation chains, fitted parameters renamed as predictions, or self-definitional reductions are present in the given text; the central claims rest on independent operator-theoretic arguments rather than reducing to inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard axioms of C0-semigroup theory and functional calculus in Banach spaces, plus the domain assumption of K-convexity; no free parameters or invented entities are mentioned.

axioms (2)
  • domain assumption K-convexity of the underlying Banach space
    The characterization is explicitly restricted to K-convex spaces.
  • standard math Standard properties of C0-semigroups and H^infty functional calculi
    The discussed notions build directly on established theory in functional analysis.

pith-pipeline@v0.9.0 · 5605 in / 1219 out tokens · 25858 ms · 2026-05-25T01:49:52.979071+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

18 extracted references

  1. [1]

    Arendt, C

    A. Arendt, C. Batty, M. Hierber, and F. Neubrander. Vector-valued Laplace Transforms and Cauchy Problems : Second Edition . Monograph in Mathematics 96, Springer Basel AG, 2011

    2011

  2. [2]

    Arnold and C

    L. Arnold and C. Le Merdy. New counterexamples on Ritt operators, sectorial operators and R- boundedness. Bull. Australian Math. Soc., to appear , 2018

    2018

  3. [3]

    Baillon and P

    J.B. Baillon and P. Clement. Examples of unbounded imagi nary powers of operators. Journal of Functional Analysis, 100:419–432, 1991

    1991

  4. [4]

    Batty, M

    C. Batty, M. Haase, and J. Mubeen. The holomorphic functi onal calculus approach to operator semigroups. Acta Sci. Math. (Szeged), 79 : 289-323 , 2013

    2013

  5. [5]

    A.M. Gomilko. Conditions on the generator of a uniformly bounded C0-semigroup. Funct. anal. Appl. 33 , pages 294–296, 1999

    1999

  6. [6]

    M. Haase. The Functional Calculus for Sectorial Operators . No. 169 in Operator Theory: Advances and Application, 2006. 24 L. ARNOLD

    2006

  7. [7]

    M. Haase. Semigroup theory via functional calculus. 200 6

  8. [8]

    Haase and J

    M. Haase and J. Rozendaal. Functional calculus for semig roup generators via transference. Journal of Functional Analysis, 265, 2013

    2013

  9. [9]

    Kalton, and

    N Hoffman, N.J. Kalton, and . T. Kucherenko. R-bounded approximating sequences and applications to semigroups,. J. Math. Anal. Appl. 294 (2) , pages 373–386, 2004

    2004

  10. [10]

    van Neerven, M

    T Hytönen, J. van Neerven, M. Veraar, and L. Weis. Analysis in Banach Spaces. Volume II: Probabilistic Methods and Operator Theory , volume 2. Springer, 2018

    2018

  11. [11]

    Kalton and L

    N. Kalton and L. Weis. The H∞-calculus and sums of closed operatos. Math. Ann. 321(2) , pages 319–345, 2001

    2001

  12. [12]

    Kalton and L

    N. Kalton and L. Weis. The H∞-functional calculus and square function estimates. In Nig el J.Kalton Selecta, volume 1. Springer-Verlag, 2016

    2016

  13. [13]

    Le Merdy

    C. Le Merdy. γ-bounded representations of amenable groups. Advances in Mathematics 224 , pages 1641– 1671, 2010

    2010

  14. [14]

    B. Maurey. Type, cotype and K-convexity. In Handbook of the geometry of Banach spaces, Vol.2 , pages 1299–1332. North Holland, Amsterdam, 2003

    2003

  15. [15]

    McIntosh and A

    A. McIntosh and A. Yagi. Operators of type ω without a bounded H∞functional calculus. Proc. Centre Math. Anal. Austral. Nat. Univ. , 24, 1990

    1990

  16. [16]

    J.M.A.M. van. Neerven. The adjoint of a semigroup of linear operators , volume 1529 of Lecture Notes in Mathematics. Springer-Verlag, 1992

    1992

  17. [17]

    A. Pazy. Semigroups of Linear Operators and Applications to PDEs . Springer, 1992

    1992

  18. [18]

    Shi and Feng D.X

    D.-H. Shi and Feng D.X. Characteristic conditions of th e generation of C0-semigroups in a Hilbert space. J. Math. Anal. Appl. 247 : 356-376 , 2000. LABORATOIRE DE MATHÉMATIQUES DE BESANÇON, UMR 6623, CNRS, UNI VERSITÉ DE FRANCHE-COMTÉ, 25030 BESANÇON CEDEX, FRANCE E-mail address : loris.arnold@univ-fcomte.fr

    2000