Optimality of the quantified Ingham-Karamata theorem for operator semigroups with general resolvent growth

TL;DR

This paper demonstrates the optimality of a generalized quantified Ingham-Karamata theorem for $C_0$-semigroups, showing that the bounds are sharp under mild resolvent growth conditions, extending previous results.

Contribution

It establishes the sharpness of the generalized Ingham-Karamata theorem for operator semigroups, including the optimality of the Batty-Duyckaerts theorem for bounded semigroups with subpolynomial resolvent growth.

Findings

The generalized Ingham-Karamata theorem is sharp under mild conditions.

The Batty-Duyckaerts theorem is optimal for certain semigroups.

The proof employs the open mapping theorem and a new technical lemma.

Abstract

We prove that a general version of the quantified Ingham-Karamata theorem for $C_0$-semigroups is sharp under mild conditions on the resolvent growth, thus generalising the results contained in a recent paper by the same authors. It follows in particular that the well-known Batty-Duyckaerts theorem is optimal even for bounded $C_0$-semigroups whose generator has subpolynomial resolvent growth. Our proof is based on an elegant application of the open mapping theorem, which we complement by a crucial technical lemma allowing us to strengthen our earlier results.

Equations

$${\Omega }_M=\left\{\lambda \in \mathbb{C}:\mathrm{Re}\lambda >-\frac{1}{M(|\mathrm{Im}\lambda |)}\right\}.$$

$$\underset{\lambda \in {\Omega }_{\delta M}}{\sup }\frac{\Vert R(\lambda ,A)\Vert }{K(|\mathrm{Im}\lambda |)}<\infty .$$

$$K(s)=O\big{(}\exp\big{(}\exp\big{(}(sM(s))^{1-\varepsilon}\big{)}\big{)}\big{)},\quad s\to\infty.$$

$$\|T(t)A^{-1}\|=O\big{(}M_{{K}}^{-1}(ct)^{-1}\big{)},\quad t\to\infty,$$

$$\widehat{f_k}(\lambda )={\int }_{\mathbb{R}}{e}^{-\lambda t}{f}_k(t)\mathrm{d}t,k\in \mathbb{N},\lambda \in i\mathbb{R},$$

$$S_{k,c}=\left\{\lambda \in \mathbb{C}:|\mathrm{Re}\lambda |<\frac{1}{c\log (k+1)}\right\},$$

$$\frac{k_{m(k)}}{k}<\frac{k_{m(k)}}{k_{m(k)-2}}=\frac{4m(k)}{m(k)-2}\le 5$$

$$f_m(t)=\frac{1}{2\pi }{\int }_{\mathbb{R}}{e}^{its}\frac{F(s)G_m(s)H_m(s)}{1+s^4}\mathrm{d}s,t\in \mathbb{R},$$

$$F(s)=\frac{(s^2-25^2{)}^4}{(1+s^2{)}^4},G_m(s)=\frac{s^m}{25^m+s^m},H_m(s)=\frac{s^{m{2}^m}}{(1+s^m{)}^{2^m}},s\in \mathbb{R}.$$

$$\widehat{f_m}(is)=\frac{F(s)G_m(s)H_m(s)}{1+s^4},s\in \mathbb{R}.$$

$$f_m^{\prime }(t)=\frac{1}{2\pi }{\int }_{\mathbb{R}}is{e}^{its}\frac{F(s)G_m(s)H_m(s)}{1+s^4}\mathrm{d}s,t\in \mathbb{R},$$

$$C_m=\sup \left\{\underset{0\le j_1+j_2+j_3\le 2}{\max }|F^{(j_1)}(s)||G_m^{(j_2)}(s)||H_m^{(j_3)}(s)|:s\in \mathbb{R}\right\}.$$

$$G_m^{\prime }(s)=\frac{m25^m{s}^{m-1}}{(25^m+s^m{)}^2},s\in \mathbb{R}.$$

$$|G_m^{\prime }(s)|\lesssim m{\left(1-\frac{1}{m^{1/2}}\right)}^m\lesssim m{\left(2e^{-1}\right)}^{m^{1/2}}\lesssim 1,$$

$$f_m(0)\gtrsim \frac{1}{2\pi }{\int }_{|s|\ge 25}\frac{F(s)}{1+s^4}\mathrm{d}s>0,$$

$$|\theta |\le \frac{\pi |\sin \theta |}{2}\le \frac{\pi }{3m}.$$

$$|f(t)|=O\big{(}r(t)^{-1}\big{)},\quad t\to\infty,$$

$$\underset{\lambda \in {\Omega }_M}{\sup }\frac{|\lambda \hat{f}(\lambda )|}{K(|\mathrm{Im}\lambda |)}<\infty .$$

$$|g(t)|=O\big{(}r(|t|)^{-1}\big{)},\quad|t|\to\infty,$$

$${\Omega }_M^{\prime }=\left\{\lambda \in \mathbb{C}:|\mathrm{Re}\lambda |<\frac{1}{M(|\mathrm{Im}\lambda |)}\right\}$$

$$\underset{\lambda \in {\Omega }_M^{\prime }}{\sup }\frac{|\lambda \hat{g}(\lambda )|}{K(|\mathrm{Im}\lambda |)}<\infty .$$

$$|f(t)|=O\big{(}r(t)^{-1}\big{)},\quad t\to\infty,$$

$$r(t)=O\big{(}M_{{K}}^{-1}(t)\big{)},\quad t\to\infty.$$

$$\Vert g{\Vert }_X=\Vert g{\Vert }_{W^{1,1}}+\Vert g{\Vert }_{W^{1,\infty }}+\underset{\lambda \in {\Omega }_M^{\prime }}{\sup }\frac{|\lambda \hat{g}(\lambda )|}{K(|\mathrm{Im}\lambda |)},g\in X.$$

$$\Vert g{\Vert }_Y=\Vert g{\Vert }_X+\underset{t\in \mathbb{R}}{\sup }|g(t)|r(|t|),g\in Y.$$

$$\underset{t\in \mathbb{R}}{\sup }|g(t)|r(|t|)\lesssim \Vert g{\Vert }_X,g\in X.$$

$$\widehat{g_{k,R,t}}(\lambda )=\frac{e^{-t\lambda }}{R}\widehat{f_k}\left(\frac{\lambda }{R}\right),\lambda \in i\mathbb{R},$$

$$R\ge \frac{c\log (k+1)}{M(0)}$$

$$r(t)\lesssim \underset{s\in \mathbb{R}}{\sup }|g_{k,R,t}(s)|r(|s|)\lesssim R+R^{-1}\underset{\lambda \in {\Omega }_M^{\prime }}{\sup }\left|\frac{\lambda e^{-t\lambda }}{K(|\mathrm{Im}\lambda |)}\widehat{f_k}\left(\frac{\lambda }{R}\right)\right|.$$

$$\left|\frac{\lambda e^{-t\lambda }}{K(|\mathrm{Im}\lambda |)}\widehat{f_k}\left(\frac{\lambda }{R}\right)\right|\lesssim \frac{R}{K(\epsilon R)}\exp \left(\frac{t}{M(\epsilon R)}\right)$$

Full text

G.D., Postdoctoral Fellow of the Research-Council Flanders, gratefully acknowledges support by the FWO through the grant number 12X9719N

1. Introduction

Quantified Tauberian theorems have many important applications in areas ranging from number theory to partial differential equations, but they are also of considerable intrinsic interest. Over the past decade there has accordingly been a great deal of work exploring quantified Tauberian theorems, their applications and their optimality. Of particular interest in many cases, especially those dealing with or at least motivated by applications to energy decay in damped wave equations, are quantified Tauberian theorems for operator semigroups; see for instance [2, 3, 4, 5, 6, 14]. The following result, which is proved in [14], is a quantified version of the classical Ingham-Karamata theorem [10, 11] for $C_{0}$-semigroups; we refer the reader to [12, Chapter III] for a historical overview of the Ingham-Karamata theorem and to [8, 9] for some important recent contributions on the unquantified version of the result. Throughout this paper, given a continuous non-decreasing function $M\colon\mathbb{R}_{+}\to(0,\infty)$ we define the region $\Omega_{M}$ by

[TABLE]

Theorem 1.1**.**

Let $X$ be a complex Banach space and let $A$ be the generator of a bounded $C_{0}$-semigroup $(T(t))_{t\geq 0}$ on $X$. Suppose that $M,K\colon\mathbb{R}_{+}\to(0,\infty)$ are continuous non-decreasing functions such that for some $\delta>1$ the region $\Omega_{\delta M}$ is contained in the resolvent set of $A$ and

[TABLE]

Suppose further that there exists $\varepsilon\in(0,1)$ such that

[TABLE]

Then there exists a constant $c\in(0,1)$ such that

[TABLE]

where $M_{{K}}\colon\mathbb{R}_{+}\to(0,\infty)$ is the function defined by $M_{{K}}(s)=M(s)(\log(1+s)+\log(1+K(s)))$, $s\geq 0$.

In the important special case where $M=K$ the result was first proved in [4]. Note that in this case it suffices to assume that $\sigma(A)\cap i\mathbb{R}=\emptyset$ and that $\|R(is,A)\|=O(M(|s|))$ as $|s|\to\infty$, since this already implies, by a standard Neumann series argument, that $\Omega_{\delta M}$ is contained in the resolvent set $\rho(A)$ of $A$ for all $\delta>1$ and that the appropriate version of (1.2) holds. Moreover, the estimate (1.3) is trivially satisfied in this case. If we assume that $\|R(is,A)\|\leq M(|s|)$, $s\in\mathbb{R}$, then the appropriate version of (1.4) with $K=M$ in fact holds for all $c\in(0,1)$, as is shown in [14]. What this discussion of the case $M=K$ shows is that the added generality of Theorem 1.1 is of value only when $K(s)\geq M(s)$, $s\geq 0$. Remaining for the moment in the case where $M=K$, it is clear that the sharpest rate in (1.4) is then obtained by choosing $M(s)=\smash{\sup_{|r|\leq s}}\|R(ir,A)\|,$ $s\geq 0,$ and for this choice it is shown in [4] that one always has the lower bound $\|T(t)A^{-1}\|\geq CM^{-1}(ct)^{-1}$ for some constants $C,c>0$ and all sufficiently large $t>0$; see also [1, Section 4.4]. Here $M^{-1}$ denotes any right-inverse of the function $M$. This raises the question whether the upper bound in (1.4) is sharp. We remark that if $M_{K}$ grows at least polynomially then the precise value of $c$ in (1.4) is insignificant as the constant $c$ can then generally be absorbed in the $O$-constant. However, this is no longer the case when $M_{K}$ is of subpolynomial growth, in which case the precise value of the constant $c$ can be crucial. If $M=K$ and both functions have fairly rapid growth, for instance if both are exponential functions, then $M^{-1}$ and $\smash{M_{{K}}^{-1}}$ have the same asymptotic behaviour. Hence at least in this important special case the optimality question is of limited interest and we will incur no great loss of generality by assuming, as we do in our main results later on, that $M_{K}$ grows at most exponentially. On the other hand, it was shown in [5] that if $M(s)=K(s)=\smash{s^{\alpha}}$, $s\geq 1$, for some $\alpha>0$ and if $X$ is a Hilbert space then (1.4) may be replaced by the optimal estimate $\smash{\|T(t)A^{-1}\|=O(t^{-1/\alpha})}$, $t\to\infty$. This Hilbert space result has subsequently been extended, first in [3] and then rather substantially in [13]. On the other hand, it was also shown in [5] that in the above polynomial case the upper bound in (1.4) is sharp if we impose no restrictions on the Banach space $X$; see also [2, 14]. These arguments show optimality of the quantified Ingham-Karamata theorem both for operator semigroups and for the more general case of functions whose Laplace transforms satisfy suitable conditions. At the heart of these proofs lies an extremely delicate construction of a certain complex measure. In our recent paper [7] we presented a significantly simpler optimality proof based on a striking application of the open mapping theorem. The results in [7] go beyond the polynomial case discussed above, and this generalisation had already been achieved in [14] by extending the existing more complicated technique. However, in the semigroup case both the results in [7] and those in [14] essentially require the functions $M$ and $K$ to grow at least polynomially, and it was left open whether Theorem 1.1 is optimal for more slowly growing functions.

The aim of this paper, which can be viewed as a follow-up contribution to [7], is to prove a more general optimality result in the semigroup setting which in particular imposes no lower bound whatsoever on the functions $M$ and $K$ appearing in Theorem 1.1. Furthermore, we improve on the value of the constant $c$ appearing in our earlier optimality results [7, Theorems 2.2 and 2.4], which is significant now that $M_{K}$ is allowed to have subpolynomial growth. In fact, we shall obtain the value $c=1$, which is best possible in view of the fact that (1.4) holds for all $c\in(0,1)$ when $M=K$. We achieve our results by refining the technique used in [7]. In particular, we first construct, in Lemma 2.1 below, a sequence of functions with certain properties, which we then use to prove an important preliminary result, Theorem 2.3, which can be viewed as proving optimality of a particular variant of the quantified Ingham-Karamata theorem for scalar-valued functions and is of considerable intrinsic interest. These preliminary results are presented in Section 2. Then in Section 3 we return to a construction originally given in [5] which allows us to prove, in Theorem 3.1, that the upper bound in (1.4) is sharp even for slowly growing functions $M$ and $K$.

We use standard notation throughout. In particular, we let $\mathbb{R}_{+}=[0,\infty)$ and $\mathbb{N}=\{1,2,3,\dots\}$. For real-valued quantities $x,y$ we write $x\lesssim y$ if there exists a constant $C>0$ such that $x\leq Cy$, and we furthermore make use of standard asymptotic notation, such as ‘big O’ and ‘little o’. For background material on the theory of $C_{0}$-semigroups we refer the reader to [1].

2. Preliminary results

We begin with a technical lemma which is central to this paper.

Lemma 2.1**.**

There exist complex-valued functions $f_{k}\in W^{1,\infty}(\mathbb{R})\cap W^{1,1}(\mathbb{R})$, $k\in\mathbb{N}$, such that $f_{k}^{\prime}$ is uniformly continuous for each $k\in\mathbb{N}$ and the following properties hold:

2. (a)

The functions $f_{k}$, $k\in\mathbb{N}$, are uniformly bounded in $W^{1,\infty}(\mathbb{R})$ and in $W^{1,1}(\mathbb{R})$. 2. (b)

We have $\inf_{k\in\mathbb{N}}|f_{k}(0)|>0$. 2. 2.

1. (a)

There exist constants $\varepsilon_{0}\in(0,1)$ and $C>0$ such that the functions

[TABLE]

extend analytically to $\{\lambda\in\mathbb{C}:|\lambda|<\varepsilon_{0}\}$ and satisfy $|\widehat{f_{k}}(\lambda)|\leq C|\lambda|^{k},$ for all $k\in\mathbb{N}$ and $|\lambda|<\varepsilon_{0}.$ 2. (b)

There exists a constant $c>0$ such that for each $k\in\mathbb{N}$ the function $\widehat{f_{k}}$ defined in (2.1) extends analytically to the strip

[TABLE]

and moreover $\sup_{k\in\mathbb{N}}\sup_{\lambda\in S_{k,c}}|\lambda\widehat{f_{k}}(\lambda)|<\infty.$

Furthermore, the constant $c>0$ in 2.(b) can be chosen arbitrarily small.

Proof.

Note first that by considering a shifted sequence it suffices to define the functions $f_{k}\colon\mathbb{R}\to\mathbb{C}$ only for $k\geq k_{0}$ where $k_{0}\in\mathbb{N}$ may be large. In fact, we shall initially define $f_{k}$ only for integers $k\in\mathbb{N}$ which are sufficiently large and of a rather particular form. More specifically, with each even integer $m\in\mathbb{N}$ we associate the natural number $k_{m}=m2^{m}$, and we shall construct a suitable function $f_{k_{m}}$ for all sufficiently large $m$. To obtain the full sequence, we may then take $f_{k}$ to be the function $\smash{f_{k_{m(k)}}}$, where $m(k)$ is the unique even integer such that $k_{m(k)-2}<k\leq k_{m(k)}$ when $k$ is sufficiently large. Note that

[TABLE]

when $k\in\mathbb{N}$ is sufficiently large, and hence $k\leq\smash{k_{m(k)}}\leq 5k$. In particular, it suffices to construct the subsequence $f_{k_{m}}$ with the desired properties, as the induced sequence $f_{k}$ will inherit them. For simplicity of notation we shall write $f_{m}$ instead of $f_{k_{m}}$ in what follows. Given an even integer $m\in\mathbb{N}$ let

[TABLE]

where

[TABLE]

Thus $f_{m}$ is defined in terms of its Fourier transform, and it follows that

[TABLE]

It is immediately clear that $f_{m}\in W^{1,\infty}(\mathbb{R})\cap W^{1,1}(\mathbb{R})$ and that $f_{m}^{\prime}$ is uniformly continuous for each $m$. We verify the remaining properties in turn.

In order to verify condition 1.(a) we show explicitly that the sequence $f_{m}$ is uniformly bounded in $L^{\infty}(\mathbb{R})$ and in $L^{1}(\mathbb{R})$. Once this has been established, the same argument applied to the derivatives

[TABLE]

will yield the result. In fact, it is straightforward to see from the definitions of $F,\ G_{m}$ and $H_{m}$ that the functions $f_{m}$ are uniformly bounded in $L^{\infty}(\mathbb{R})$, so we focus on the $L^{1}$-estimates. Since the function $s\mapsto(1+s^{4})^{-1}$ is an element of $W^{2,1}(\mathbb{R})$, integration by parts shows that $f_{m}(t)\lesssim C_{m}(1+t^{2})^{-1}$, $t\in\mathbb{R}$, where

[TABLE]

The result will follow once we have proved that the numbers $C_{m}$ are uniformly bounded for all sufficiently large even integers $m$. In order to estimate the supremum we split the real line into several subintervals. First, for $|s|\leq 5$ simple calculations show that $|\smash{G_{m}^{(j)}(s)}|\lesssim m^{j}5^{-m}$ and $\smash{|H_{m}^{(j)}(s)|}\lesssim(m2^{m})^{j}$, where $0\leq j\leq 2$. Since $F\in W^{2,\infty}(\mathbb{R})$ it follows easily that the supremum over $|s|\leq 5$ is bounded uniformly in $m$, as required. For $|s|\geq 5$, we have $|\smash{H_{m}^{(j)}(s)}|\lesssim 1$ for $0\leq j\leq 2$, so we may concentrate on the estimates for $G_{m}$ when $|s|\geq 5$. Note that

[TABLE]

Thus for $5\leq|s|\leq 25(1-m^{-1/2})$ we have

[TABLE]

uniformly in $m$. Similarly, $|G_{m}^{\prime}(s)|\lesssim 1$ for $|s|\geq 25(1+m^{-1/2})$, and an analogous argument shows that $|G_{m}^{\prime\prime}(s)|\lesssim 1$ in both ranges, with implicit constants which are independent of $m$. It remains to consider the range $25(1-m^{-1/2})\leq|s|\leq 25(1+m^{-1/2})$. Straightforward estimates show that $\|\smash{G_{m}^{(j)}}\|_{L^{\infty}}\lesssim m^{j}$ for $0\leq j\leq 2$, and we also observe that $|F(s)|\lesssim m^{-2}$ and $|F^{\prime}(s)|\lesssim\smash{m^{-3/2}}$ over the range in question. Together with the fact that $F\in W^{2,\infty}(\mathbb{R})$ the above estimates show that in (2.4) the supremum over the range $|s|\geq 5$ is also uniformly bounded in $m$, so property 1.(a) holds.

In order to verify property 1.(b) we begin by observing that for $s\in\mathbb{R}$ with $|s|>2$ we have $H_{m}(s)\to 1$ as $m\to\infty$. Moreover, the function $H_{m}$ is even and increasing on the positive half-axis. It follows in particular that $H_{m}(s)\gtrsim 1$ uniformly in $m$ and $s$ for $|s|\geq 25$. Since $G_{m}(s)\geq 1/2$ for $|s|\geq 25$, we deduce from (2.2) that

[TABLE]

where the implicit constant is independent of $m$. Hence property 1.(b) holds.

We now turn to property 2.(a) and set $\varepsilon_{0}=1/3$. By (2.3) the functions $\smash{\widehat{f_{m}}}$ extend analytically to $\{\lambda\in\mathbb{C}:|\lambda|<\varepsilon_{0}\}$, and crude estimates yield $|\smash{\widehat{f_{m}}(\lambda)}|\lesssim|\lambda|^{m2^{m}}$ for $|\lambda|<\varepsilon_{0}$. Recalling that $k_{m}=m2^{m}$ it follows that 2.(a) is satisfied.

In order to verify property 2.(b) we begin by observing that the function $\lambda\mapsto\lambda F(\lambda)(1+\lambda^{4})^{-1}$ is bounded on the (rotated) strip $\{\lambda\in\mathbb{C}:|{\operatorname*{Im}\lambda}|<1/2\}$, so by (2.3) and the fact that $\log(k_{m}+1)\gtrsim m$ it suffices to show that the functions $G_{m}$ and $H_{m}$ are uniformly bounded in the strips $S_{m}=\{\lambda\in\mathbb{C}:|{\operatorname*{Im}\lambda}|<1/2m\}$. In fact, it is enough to show that the functions $Q_{m}(\lambda)=\lambda^{m}(1+\lambda^{m})^{-1}$, $\lambda\in\mathbb{C}$, satisfy $\sup_{\lambda\in S_{m}}|Q_{m}(\lambda)|\leq 1$ for all sufficiently large even integers $m$. Indeed, the corresponding claim for the functions $H_{m}$ then follows immediately, and for $G_{m}$ it is a consequence of the fact that $G_{m}(\lambda)=Q_{m}(\lambda/25)$, $\lambda\in\mathbb{C}$. It is straightforward to see that if $|\lambda|<3/4$ then $|Q_{m}(\lambda)|\leq 1$ for all sufficiently large $m$. Suppose therefore that $\lambda\in S_{m}$ satisfies $|\lambda|\geq 3/4$ and suppose for the moment that $\operatorname*{Re}\lambda>0$. We write $\lambda=re^{i\theta}$ where $r\geq 3/4$ and $|\theta|\leq\pi/2$. Since $|{\operatorname*{Im}\lambda}|<1/2m$ we have

[TABLE]

Hence the argument of $\lambda^{m}$ lies between $-\pi/3$ and $\pi/3$ and, in particular, $\operatorname*{Re}\lambda^{m}>0$. Thus $|\lambda^{m}|\leq|1+\lambda^{m}|$, as required. A similar argument using the fact that $m$ is even applies if $\operatorname*{Re}\lambda<0$, so we obtain property 2.(b).

Finally, if we suppose that the functions $f_{k}$, $k\in\mathbb{N}$, have all the required properties and satisfy condition 2.(b) for the value $c=c_{0}>0$ then for any $\alpha\geq 1$ the functions $t\mapsto f_{k}(\alpha t)$, $t\in\mathbb{R}$, $k\in\mathbb{N}$, also have the required properties and satisfy 2.(b) for the value $c=c_{0}/\alpha$. ∎

We shall also require the following technical result; see [7, Lemma 2.1].

Lemma 2.2**.**

Let $M,K,r\colon\mathbb{R}_{+}\to(0,\infty)$ and assume that $M$ and $K$ are non-decreasing and continuous. Suppose that

[TABLE]

for every bounded Lipschitz continuous function $f\colon\mathbb{R}_{+}\to\mathbb{C}$ such that $f^{\prime}$ is uniformly continuous and the Laplace transform of $f$ extends analytically to the region $\Omega_{M}$ defined in (1.1) and satisfies the bound

[TABLE]

Then also

[TABLE]

for every bounded Lipschitz continuous function $g\in W^{1,1}(\mathbb{R})$ such that $g^{\prime}$ is uniformly continuous and the function $\widehat{g}$ defined as in (2.1) extends analytically to the region

[TABLE]

and satisfies

[TABLE]

The following result is a strengthened version of the second part of [7, Theorem 2.2], where a similar result is proved when $M=K$ but with the additional assumption that $M$ grows at least polynomially. The result is ancillary in nature for the purposes of the present paper, but in fact it shows optimality of a certain quantified Tauberian theorem for scalar-valued functions, as discussed in [7].

Theorem 2.3**.**

Let $M,K,r\colon\mathbb{R}_{+}\to(0,\infty)$ be non-decreasing functions and assume that $M$ and $K$ are continuous. Suppose further that the function $M_{{K}}\colon\mathbb{R}_{+}\to(0,\infty)$ defined as in Theorem 1.1, satisfies $M_{{K}}(s)=O(e^{\alpha s})$ as $s\to\infty$ for some $\alpha>0$. If

[TABLE]

for every bounded Lipschitz continuous function $f\colon\mathbb{R}_{+}\to\mathbb{C}$ such that $f^{\prime}$ is uniformly continuous and the Laplace transform of $f$ extends analytically to the region $\Omega_{M}$ defined in (1.1) and satisfies the bound (2.5), then

[TABLE]

Proof.

The proof is similar to that of [7, Theorem 2.2], except that we use the sequence constructed in Lemma 2.1 at a crucial stage. Let $X$ be the vector space of all bounded functions $g\in W^{1,\infty}(\mathbb{R})\cap W^{1,1}(\mathbb{R})$ such that $g^{\prime}$ is uniformly continuous and the function $\widehat{g}$ defined in (2.1) extends analytically to the region $\Omega^{\prime}_{M}$ defined in (2.6) and satisfies the bound (2.7). We endow $X$ with the complete norm

[TABLE]

Let $Y$ be the set of all functions $g\in X$ such that $|g(t)|=O(r(|t|)^{-1})$ as $|t|\to\infty$, endowed with the complete norm

[TABLE]

It follows from the definitions that $Y$ is continuously embedded in $X$, and by our assumptions and Lemma 2.2 we also have $X\subseteq Y$. By the open mapping theorem the embedding of $Y$ into $X$ is an open map, and hence $\|g\|_{Y}\lesssim\|g\|_{X}$, $g\in X$, and in particular

[TABLE]

We now consider specifically chosen functions $g\in X$. Indeed, consider the functions $g_{k,R,t}$ defined for $k\in\mathbb{N}$, $R>0$ and $t\in\mathbb{R}$ by $g_{k,R,t}(s)=f_{k}(R(s-t))$, $s\in\mathbb{R}$, where the functions $f_{k}\in W^{1,\infty}(\mathbb{R})\cap W^{1,1}(\mathbb{R})$, $k\in\mathbb{N}$, are as in Lemma 2.1. In particular, $f_{k}^{\prime}$ is uniformly continuous and

[TABLE]

so provided that

[TABLE]

we have $g_{k,R,t}\in X$ by property 2.(b) of Lemma 2.1. By properties 1.(a) and 1.(b) of Lemma 2.1 we obtain

[TABLE]

Here the implicit constants are independent of $k,R$ and $t$. We shall choose $R$ and $k$ depending on $t$ so as to obtain a particularly sharp upper bound in (2.13). To estimate the supremum suppose first that $|{\operatorname*{Im}\lambda}|>\varepsilon R$, where the value of $\varepsilon\in(0,1)$ is sufficiently small in a sense to be made precise below. Since $M$ and $K$ are non-decreasing we see using (2.12) and property 2.(b) of Lemma 2.1 that

[TABLE]

for all $\lambda\in\Omega_{M}^{\prime}$ such that $|{\operatorname*{Im}\lambda}|>\varepsilon R$. Now let $\lambda\in\Omega_{M}^{\prime}$ with $|{\operatorname*{Im}\lambda}|\leq\varepsilon R$. By property 2.(a) of Lemma 2.1, if $R\geq(\varepsilon M(0))^{-1}$ and $\varepsilon\in(0,\varepsilon_{0}/2)$ then

[TABLE]

We now choose $k=\lfloor t\rfloor$ for $t\geq 1$ and assume in addition that $2\varepsilon\leq\exp(-M(0)^{-1})$. Then (2.15) becomes

[TABLE]

We now set $R=\varepsilon^{-1}\smash{M_{{K}}^{-1}(t)}$ for $t\geq 1$ sufficiently large. Let $C>0$ be such that $M_{{K}}(s)\leq Ce^{\alpha s}$, $s\geq 0$, and observe that for sufficiently large values of $t$ we have

[TABLE]

so that (2.12) holds provided the constant $c>0$ appearing in 2.(b) of Lemma 2.1 satisfies $c\leq\alpha^{-1}M(0)$, as we may assume it does by the final statement in Lemma 2.1. It follows from (2.13), (2.14) and (2.16) that $r(t)=O(M_{{K}}^{-1}(t))$ as $t\to\infty$, so the proof is complete. ∎

3. Optimal decay for operator semigroups

We now come to our main result, which proves that Theorem 1.1 is optimal in a strong sense. Our proof closely follows that of [7, Theorem 3.1], which in turn is based on [2, Theorem 7.1], [5, Theorem 4.1] and [14, Theorem 4.10]. We shall say that a function $M\colon\mathbb{R}_{+}\to(0,\infty)$ is regularly growing if it is non-decreasing and continuous and there exists $c\in(0,1)$ such that

[TABLE]

As discussed in [7] this is a very mild regularity condition, and in particular the condition is significantly milder than those required in [14, Section 4]. Note also that if a function $M$ is regularly growing then (3.1) is necessarily satisfied for all sufficiently small $c\in(0,1)$. We emphasise, however, that unlike in [7] our definition of regular growth no longer includes any growth conditions. We shall still require an upper bound in our main result below, although as discussed in Section 1 at least in the special case where $M=K$ this entails no significant loss of generality. Crucially, though, we no longer impose any lower bounds on the functions $M$ and $K$.

Theorem 3.1**.**

Let $M,K\colon\mathbb{R}_{+}\to(0,\infty)$ be regularly growing functions and suppose that the function $M_{{K}}\colon\mathbb{R}_{+}\to(0,\infty)$ defined in Theorem 1.1 satisfies $M_{{K}}(s)=O(e^{\alpha s})$ as $s\to\infty$ for some $\alpha>0$. Then there exists a complex Banach space $X$ and a bounded $C_{0}$-semigroup $(T(t))_{t\geq 0}$ on $X$ with generator $A$ such that $\Omega_{\delta M}\subset\rho(A)$ and (1.2) holds for some $\delta>1$, and moreover

[TABLE]

Proof.

Let $X$ be the vector space of all bounded uniformly continuous functions $f\colon\mathbb{R}_{+}\to\mathbb{C}$ whose Laplace transform extends to the region $\Omega=\{\lambda\in\mathbb{C}:\operatorname*{Re}\lambda>-M(|\operatorname*{Im}\lambda|)^{-1}\mbox{ and }|{\operatorname*{Re}\lambda}|<1\}$ and satisfies

[TABLE]

endowed with the complete norm

[TABLE]

Arguing as in the proof of [2, Theorem 7.1] and [5, Theorem 4.1] we see that the left-shift semigroup $(T(t))_{t\geq 0}$ is a well-defined bounded $C_{0}$-semigroup on $X$ whose generator $A$, the differentiation operator on an appropriate domain, has all the required properties. Note that condition (3.1) is chosen precisely in such a way that all the arguments extend without major adjustments to our more general setting. Suppose for the sake of contradiction that $\|T(t)A^{-1}\|=o(\smash{M_{{K}}^{-1}}(t)^{-1})$ as $t\to\infty$. Then we may find a non-decreasing function $r\colon\mathbb{R}_{+}\to(0,\infty)$ such that $\|T(t)A^{-1}\|=O(r(t)^{-1})$ and $\smash{M_{{K}}^{-1}(t)}=o(r(t))$ as $t\to\infty.$ If $f\colon\mathbb{R}_{+}\to\mathbb{C}$ is a bounded Lipschitz continuous function such that $f^{\prime}$ is uniformly continuous and the Laplace transform of $f$ extends analytically to the region $\Omega_{M}$ defined in (1.1) and satisfies the bound (2.5), then $f,f^{\prime}\in X$ and $f=A^{-1}f^{\prime}$. Hence

[TABLE]

Hence $r(t)=O(\smash{M_{{K}}^{-1}(t))}$ as $t\to\infty$ by Theorem 2.3, a contradiction. ∎

Remark 3.2**.**

It is possible to weaken the regularity conditions in Theorem 3.1 slightly. For instance, instead of requiring that $M$ is regularly growing it would be sufficient to assume that

[TABLE]

for some, and hence all sufficiently small, $c\in(0,1)$. This assumption is marginally weaker since both $M$ and $K$ are non-decreasing and $K(s)\geq M(s),$ $s\geq 0$. Moreover, by looking carefully at the details of the proofs of [2, Theorem 7.1] and [5, Theorem 4.1] one sees that the semigroup $(T(t))_{t\geq 0}$ in Theorem 3.1 actually satisfies the conditions of the statement for many or indeed all values of $\delta>1$ provided that $M(s)$ has no sudden growth spurts for sufficiently large values of $s\geq 0$.