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.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
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:{\mathbb {R}}_+\rightarrow (0,\infty )\), we define the region \(\Omega _M\) by
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\ge 0}\) on X. Suppose that \(M,K:{\mathbb {R}}_+\rightarrow (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
Suppose further that there exists \(\varepsilon \in (0,1)\) such that
Then there exists a constant \(c\in (0,1)\) such that
where \(M_{{K}}:{\mathbb {R}}_+\rightarrow (0,\infty )\) is the function defined by \(M_{{K}}(s)=M(s)(\log (1+s)+\log (1+K(s)))\), \(s\ge 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 \(\Vert R(is,A)\Vert =O(M(|s|))\) as \(|s|\rightarrow \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 \(\Vert R(is,A)\Vert \le 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)\ge M(s)\), \(s\ge 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|\le s}}\Vert R(ir,A)\Vert ,\)\(s\ge 0,\) and for this choice it is shown in [4] that one always has the lower bound \(\Vert T(t)A^{-1}\Vert \ge 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\ge 1\), for some \(\alpha >0\) and if X is a Hilbert space, then (1.4) may be replaced by the optimal estimate \(\smash {\Vert T(t)A^{-1}\Vert =O(t^{-1/\alpha })}\), \(t\rightarrow \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\le 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'\) is uniformly continuous for each \(k\in {\mathbb {N}}\) and the following properties hold:
- 1.
- (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}})\).
- (b)
We have \(\inf _{k\in {\mathbb {N}}}|f_k(0)|>0\).
- (a)
- 2.
- (a)
There exist constants \(\varepsilon _0\in (0,1)\) and \(C>0\) such that the functions
$$\begin{aligned} \widehat{f_k}(\lambda )=\int _{\mathbb {R}}e^{-\lambda t}f_k(t)\,\mathrm {d}t,\quad k\in {\mathbb {N}},\ \lambda \in i{\mathbb {R}}, \end{aligned}$$(2.1)extend analytically to \(\{\lambda \in {\mathbb {C}}:|\lambda |<\varepsilon _0\}\) and satisfy \(|\widehat{f_k}(\lambda )|\le C|\lambda |^k\) for all \(k\in {\mathbb {N}}\) and \(|\lambda |<\varepsilon _0.\)
- (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
$$\begin{aligned} S_{k,c}=\left\{ \lambda \in {\mathbb {C}}:|{{\mathrm{Re}}\lambda }|< \frac{1}{c\log (k+1)}\right\} , \end{aligned}$$and moreover \(\sup _{k\in {\mathbb {N}}}\sup _{\lambda \in S_{k,c}}|\lambda \widehat{f_k}(\lambda )|<\infty .\)
- (a)
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:{\mathbb {R}}\rightarrow {\mathbb {C}}\) only for \(k\ge 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 \le k_{m(k)}\) when k is sufficiently large. Note that
when \(k\in {\mathbb {N}}\) is sufficiently large, and hence \(k\le \smash {k_{m(k)}}\le 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
where
Thus \(f_m\) is defined in terms of its Fourier transform, and it follows that
It is immediately clear that \(f_m\in W^{1,\infty }({\mathbb {R}})\cap W^{1,1}({\mathbb {R}})\) and that \(f_m'\) 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
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
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| \le 5\) simple calculations show that \(|\smash {G_m^{(j)}(s)}|\lesssim m^j5^{-m}\) and \(\smash {|H_m^{(j)}(s)|}\lesssim (m2^m)^j\), where \(0\le j\le 2\). Since \(F\in W^{2,\infty }({\mathbb {R}})\), it follows easily that the supremum over \(|s|\le 5\) is bounded uniformly in m, as required. For \(|s| \ge 5\) we have \(|\smash {H_m^{(j)}(s)}|\lesssim 1\) for \(0\le j\le 2\), so we may concentrate on the estimates for \(G_m\) when \(|s| \ge 5\). Note that
Thus for \(5\le |s|\le 25(1-m^{-1/2})\) we have
uniformly in m. Similarly, \(|G_m'(s)|\lesssim 1\) for \(|s|\ge 25(1+m^{-1/2})\), and an analogous argument shows that \(|G_m''(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})\le |s|\le 25(1+m^{-1/2})\). Straightforward estimates show that \(\Vert \smash {G_m^{(j)}}\Vert _{L^\infty }\lesssim m^j\) for \(0\le j\le 2\), and we also observe that \(|F(s)|\lesssim m^{-2}\) and \(|F'(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|\ge 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)\rightarrow 1\) as \(m\rightarrow \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|\ge 25\). Since \(G_m(s)\ge 1/2\) for \(|s|\ge 25\), we deduce from (2.2) that
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}}: |{{\mathrm{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}}: |{{\mathrm{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 )|\le 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 )|\le 1\) for all sufficiently large m. Suppose therefore that \(\lambda \in S_m\) satisfies \(|\lambda |\ge 3/4\) and suppose for the moment that \({\mathrm{Re}}\lambda >0\). We write \(\lambda =re^{i\theta }\) where \(r\ge 3/4\) and \(|\theta |\le \pi /2\). Since \(|{{\mathrm{Im}}\lambda }|<1/2m\), we have
Hence the argument of \(\lambda ^{m}\) lies between \(-\pi /3\) and \(\pi /3\) and, in particular, \({\mathrm{Re}}\lambda ^m>0\). Thus \(|\lambda ^{m}| \le |1+\lambda ^{m}|\), as required. A similar argument using the fact that m is even applies if \({\mathrm{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 \ge 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 \). \(\square \)
We shall also require the following technical result; see [7, Lemma 2.1].
Lemma 2.2
Let \(M,K, r:{\mathbb {R}}_+\rightarrow (0,\infty )\) and assume that M and K are non-decreasing and continuous. Suppose that
for every bounded Lipschitz continuous function \(f:{\mathbb {R}}_+\rightarrow {\mathbb {C}}\) such that \(f'\) is uniformly continuous and the Laplace transform of f extends analytically to the region \(\Omega _M\) defined in (1.1) and satisfies the bound
Then also
for every bounded Lipschitz continuous function \(g\in W^{1,1}({\mathbb {R}})\) such that \(g'\) is uniformly continuous and the function \({\widehat{g}}\) defined as in (2.1) extends analytically to the region
and satisfies
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:{\mathbb {R}}_+\rightarrow (0,\infty )\) be non-decreasing functions and assume that M and K are continuous. Suppose further that the function \(M_{{K}}:{\mathbb {R}}_+\rightarrow (0,\infty )\), defined as in Theorem 1.1, satisfies \(M_{{K}}(s) =O( e^{\alpha s})\) as \(s\rightarrow \infty \) for some \(\alpha >0\). If
for every bounded Lipschitz continuous function \(f:{\mathbb {R}}_+\rightarrow {\mathbb {C}}\) such that \(f'\) 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
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'\) is uniformly continuous and the function \({\widehat{g}}\) defined in (2.1) extends analytically to the region \(\Omega '_M\) defined in (2.6) and satisfies the bound (2.7). We endow X with the complete norm
Let Y be the set of all functions \(g\in X\) such that \(|g(t)|=O(r(|t|)^{-1})\) as \(|t|\rightarrow \infty \), endowed with the complete norm
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 \(\Vert g\Vert _Y\lesssim \Vert g\Vert _X\), \(g\in X\), and in particular
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'\) is uniformly continuous and
so provided that
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
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 \(|{{\mathrm{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
for all \(\lambda \in \Omega _M'\) such that \(|{{\mathrm{Im}}\lambda }| > \varepsilon R\). Now let \(\lambda \in \Omega _M'\) with \(|{{\mathrm{Im}}\lambda }| \le \varepsilon R\). By property 2.(a) of Lemma 2.1, if \(R\ge (\varepsilon M(0))^{-1}\) and \(\varepsilon \in (0,\varepsilon _0/2)\), then
We now choose \(k=\lfloor t\rfloor \) for \(t\ge 1\) and assume that \(2\varepsilon \le \exp (-M(0)^{-1})\). Then (2.15) becomes
We now set \(R=\varepsilon ^{-1}\smash {M_{{K}}^{-1}(t)}\) for \(t\ge 1\) sufficiently large. Let \(C>0\) be such that \(M_{{K}}(s)\le Ce^{\alpha s}\), \(s\ge 0\), and observe that for sufficiently large values of t we have
so that (2.12) holds provided the constant \(c>0\) appearing in 2.(b) of Lemma 2.1 satisfies \(c\le \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\rightarrow \infty \), so the proof is complete. \(\square \)
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:{\mathbb {R}}_+\rightarrow (0,\infty )\) is regularly growing if it is non-decreasing and continuous and there exists \(c\in (0,1)\) such that
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:{\mathbb {R}}_+\rightarrow (0,\infty )\) be regularly growing functions and suppose that the function \(M_{{K}}:{\mathbb {R}}_+\rightarrow (0,\infty )\) defined in Theorem 1.1 satisfies \(M_{{K}}(s)=O(e^{\alpha s})\) as \(s\rightarrow \infty \) for some \(\alpha >0\). Then there exist a complex Banach space X and a bounded \(C_0\)-semigroup \((T(t))_{t\ge 0}\) on X with generator A such that \(\Omega _{\delta M}\subset \rho (A)\) and (1.2) holds for some \(\delta >1\), and moreover
Proof
Let X be the vector space of all bounded uniformly continuous functions \(f:{\mathbb {R}}_+\rightarrow {\mathbb {C}}\) whose Laplace transform extends to the region \(\Omega =\{\lambda \in {\mathbb {C}}:{\mathrm{Re}}\lambda >-M(|{\mathrm{Im}}\lambda |)^{-1} \text{ and } |{{\mathrm{Re}}\lambda }|<1\}\) and satisfies
endowed with the complete norm
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\ge 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 \(\Vert T(t)A^{-1}\Vert =o(\smash {M_{{K}}^{-1}}(t)^{-1})\) as \(t\rightarrow \infty \). Then we may find a non-decreasing function \(r:{\mathbb {R}}_+\rightarrow (0,\infty )\) such that \(\Vert T(t)A^{-1}\Vert =O(r(t)^{-1})\) and \(\smash {M_{{K}}^{-1}(t)}=o(r(t))\) as \(t\rightarrow \infty .\) If \(f:{\mathbb {R}}_+\rightarrow {\mathbb {C}}\) is a bounded Lipschitz continuous function such that \(f'\) 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'\in X\) and \(f=A^{-1}f'\). Hence
Hence \(r(t)=O(\smash {M_{{K}}^{-1}(t))}\) as \(t\rightarrow \infty \) by Theorem 2.3, a contradiction. \(\square \)
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
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)\ge M(s)\), \(s\ge 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\ge 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\ge 0\).
References
Arendt, W., Batty, C.J.K., Hieber, M., Neubrander, F.: Vector-Valued Laplace Transforms and Cauchy Problems, 2nd edn. Birkhäuser, Basel (2011)
Batty, C.J.K., Borichev, A., Tomilov, Y.: \(L^p\)-tauberian theorems and \(L^p\)-rates for energy decay. J. Funct. Anal. 270, 1153–1201 (2016)
Batty, C.J.K., Chill, R., Tomilov, Y.: Fine scales of decay of operator semigroups. J. Eur. Math. Soc. 18(4), 853–929 (2016)
Batty, C.J.K., Duyckaerts, T.: Non-uniform stability for bounded semi-groups in Banach spaces. J. Evol. Equ. 8, 765–780 (2008)
Borichev, A., Tomilov, Y.: Optimal polynomial decay of functions and operator semigroups. Math. Ann. 347, 455–478 (2010)
Chill, R., Seifert, D.: Quantified versions of Ingham’s theorem. Bull. Lond. Math. Soc. 48(3), 519–532 (2016)
Debruyne, G., Seifert, D.: An abstract approach to optimal decay of functions and operator semigroups. Isreal J. Math. (2019). https://doi.org/10.1007/s11856-019-1918-y
Debruyne, G., Vindas, J.: Complex Tauberian theorems for Laplace transforms with local pseudofunction boundary behavior. J. Anal. Math. 138(2), 799–833 (2019)
Debruyne, G., Vindas, J.: Optimal Tauberian constant in Ingham’s theorem for Laplace transforms. Israel J. Math. 228(2), 557–586 (2018)
Ingham, A.E.: On Wiener’s method in Tauberian theorems. Proc. Lond. Math. Soc. S2–38(1), 458–480 (1933)
Karamata, J.: Weiterführung der N. Wienerschen Methode. Math. Z. 38, 701–708 (1934)
Korevaar, J.: Tauberian Theory. A Century of Developments. Grundlehren der Mathematische Wissenschaften, vol. 329. Springer, Berlin (2004)
Rozendaal, J., Seifert, D., Stahn, R.: Optimal rates of decay for operator semigroups on Hilbert spaces. Adv. Math. 346, 359–388 (2019)
Stahn, R.: Decay of \(C_0\)-semigroups and local decay of waves on even (and odd) dimensional exterior domains. J. Evol. Equ. 18, 1633–1674 (2018)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Gregory Debruyne, Postdoctoral Fellow of the Research-Council Flanders, gratefully acknowledges support by the FWO through the Grant Number 12X9719N.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Debruyne, G., Seifert, D. Optimality of the quantified Ingham–Karamata theorem for operator semigroups with general resolvent growth. Arch. Math. 113, 617–627 (2019). https://doi.org/10.1007/s00013-019-01380-z
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00013-019-01380-z