Characterizations of the Crandall--Pazy Class of $C_0$-semigroups on Hilbert Spaces and Their Application to Decay Estimates
Masashi Wakaiki
TL;DR
This work analyzes the Crandall–Pazy class of $C_0$-semigroups on Hilbert spaces, providing two sharp characterizations that relate immediate differentiability to resolvent growth and integral resolvent bounds. Using the $\mathcal{B}$-calculus and Lyapunov-equation techniques, the authors derive precise decay rates for Crank–Nicolson schemes under exponential stability in the CP class, and they extend these results to inverse generators, clarifying how bounded $-A^{-1}$ improves rates. A central contribution is bridging decay rates for Cayley-transform products with time-domain decay, yielding optimal or near-optimal rates of $n^{-rac{\alpha}{2-\beta}}$ (and corresponding $t$-domain rates) depending on whether $-A^{-1}$ is bounded. The results provide a cohesive framework linking continuous-time semigroup decay, discrete-time approximations, and inverse-generator dynamics, with implications for stability and convergence analyses in semigroup-based discretizations. Overall, the paper advances understanding of decay transfer from semigroup properties to numerical schemes via sophisticated functional-calculus tools.
Abstract
We investigate immediately differentiable $C_0$-semigroups $(e^{-tA})_{t \geq 0}$ satisfying $\sup_{0 < t <1} t^{1/β}\|Ae^{-tA}\| < \infty$ for some $0 < β\leq 1$. Such $C_0$-semigroups are referred to as the Crandall--Pazy class of $C_0$-semigroups. In the Hilbert space setting, we present two characterizations of the Crandall--Pazy class. We then apply these characterizations to estimate decay rates for Crank--Nicolson schemes with smooth initial data when the associated abstract Cauchy problem is governed by an exponentially stable $C_0$-semigroup in the Crandall--Pazy class. The first approach is based on a functional calculus called the $\mathcal{B}$-calculus. The second approach builds upon estimates derived from Lyapunov equations and improves the decay estimate obtained in the first approach, under the additional assumption that $-A^{-1}$ generates a bounded $C_0$-semigroup.
