Abstract
In this paper, we study the decay rate of the Cayley transform of the generator of a polynomially stable \(C_0\)-semigroup. To estimate the decay rate of the Cayley transform, we develop an integral condition on resolvents for polynomial stability. Using this integral condition, we relate polynomial stability to Lyapunov equations. We also study robustness of polynomial stability for a certain class of structured perturbations.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Consider a \(C_0\)-semigroup \((T(t))_{t\ge 0}\) on a Hilbert space with generator A, and suppose that \((T(t))_{t\ge 0}\) is polynomially stable with parameter \(\alpha >0\), that is, \((T(t))_{t\ge 0}\) is uniformly bounded, the spectrum of A is contained in the open left half plane, and there exists \(M>0\) such that for all \(t>0\),
We consider the following question: Is polynomial decay of \((T(t))_{t\ge 0}\) passed to the Cayley transform \(A_d := (I+A)(I-A)^{-1}\)? The quantitative behavior of the operator norm \(\Vert T(t)A^{-1}\Vert \) has been extensively studied; see, e.g., [2,3,4, 6, 20, 28]. A discrete analogue, the quantified Katznelson–Tzafriri theorem, has also been investigated in [7, 22, 29, 30]. However, to the author’s knowledge, it has not been well established whether and how polynomial decay of \((T(t))_{t\ge 0}\) in the continuous setting yields the decay of the corresponding Cayley transform in the discrete setting. The purpose of this paper is to show that polynomial decay of a \(C_0\)-semigroup is preserved under the Cayley transformation in a certain sense.
Applications of the Cayley transform of a semigroup generator arise in numerical analysis [26] and system theory [32, Section 12.3]. In the finite-dimensional case, a matrix and its Cayley transform share the same stability properties, but this does not hold in the infinite-dimensional case. In fact, in the Banach space setting, the Cayley transform of the generator of even an exponentially stable \(C_0\)-semigroup may not be power bounded [15, Lemma 2.1]. For the case of Hilbert spaces, it is still unknown whether the corresponding Cayley transform is power bounded for every generator of a uniformly bounded \(C_0\)-semigroup, as mentioned in Section 5.5 of [5]. However, some sufficient conditions for Cayley transforms to be power bounded have been obtained; see, e.g., [12, 14, 15, 17]. In particular, it is well known that A generates a \(C_0\)-semigroup of contractions on a Hilbert space if and only if the corresponding Cayley transform is a contraction [21, Theorem III.8.1]. We refer the reader to the survey [13] for more details.
In this paper, we prove that if \((T(t))_{t\ge 0}\) is a polynomially stable \(C_0\)-semigroup with parameter \(\alpha >0\) on a Hilbert space with generator A such that its Cayley transform \(A_d\) is power bounded, then there exists \(M_d>0\) such that for all \(n \in {\mathbb {N}}\),
We also show that in some cases, such as when A is normal, the logarithmic correction can be omitted. Moreover, we give a simple example of a normal operator A for which the decay rate \(1/n^{1/(\alpha +2)}\) cannot be improved.
To obtain the decay estimate of Cayley transforms, we extend the Lyapunov-based approach developed by Guo and Zwart [17]. In [17], uniform boundedness and strong stability of a \(C_0\)-semigroup have been characterized in terms of the solution of a certain Lyapunov equation. The integral conditions on resolvents obtained in [16, 31] for uniform boundedness and in [33] for strong stability play an important role in this Lyapunov-based approach. Therefore, we first obtain a similar integral condition for polynomial stability. By means of this integral condition, we next relate polynomial stability to the Lyapunov equation used in [17]. Finally, we estimate the decay rate of the Cayley transform, by using the solution of the Lyapunov equation.
As another application of the Lyapunov-based approach, we consider the following robustness analysis of polynomial stability: If A generates a polynomially stable semigroup, then does \(A+rA^{-1}\) also generate a polynomially stable semigroup for every \(r >0\)? Robustness of polynomial stability has been studied in [23,24,25, 27]. In these previous studies, perturbations are not structured, but the norms of the perturbations are assumed to be bounded in a certain sense. In contrast, the class of perturbations we consider is limited to \(\{rA^{-1}:r>0\}\), but we do not place any norm conditions for perturbations. We show that if A generates a polynomially stable semigroup with parameter \(\alpha >0\), then for every \(r>0\), \(A+rA^{-1}\) also generates a polynomially stable semigroup with the same parameter \(\alpha \) in the case \(\alpha >2\) and with parameter \(\alpha +\varepsilon \) for arbitrary small \(\varepsilon >0\) in the case \(\alpha < 2\). If \(\alpha = 2\), then a logarithmic factor appears in the rate of decay.
This paper is organized as follows. In Sect. 2, we collect some preliminary results on polynomial stability. In Sect. 3, we present an integral condition on resolvents for polynomial stability and then connect this stability to Lyapunov equations. In Sect. 4, we study the decay rate of the Cayley transform of the generator of a polynomially stable \(C_0\)-semigroup. Section 5 contains the robustness analysis of polynomial stability for the class of perturbations \(\{rA^{-1}:r>0 \}\).
Notation Let \({\mathbb {C}}_- := \{\lambda \in {\mathbb {C}}:\mathop {{\mathrm{Re}}}\nolimits \lambda < 0 \}\) and \(i{\mathbb {R}} := \{i \eta : \eta \in {\mathbb {R}}\}\). The closure of a subset \(\varOmega \) of \({\mathbb {C}}\) is denoted by \({\overline{\varOmega }}\). For real-valued functions f, g on \(J \subset {\mathbb {R}}\), we write \(f(t) = O(g(t))\) as \(t \rightarrow \infty \) if there exist \(M>0\) and \(t_0 \in J\) such that \(f(t) \le Mg(t)\) for every \(t \ge t_0\), and similarly, \(f(t) = o(g(t))\) as \(t \rightarrow \infty \) if for every \(\varepsilon >0\), there exists \(t_0 \in J\) such that \(f(t) \le \varepsilon g(t)\) for every \(t \ge t_0\). Let X be a Banach space. For a linear operator A on X, we denote by D(A) and \(\mathop {{\mathrm{ran}}}\nolimits (A)\) the domain and the range of A, respectively. The space of bounded linear operators on X is denoted by \({\mathcal {L}}(X)\). For a closed operator \(A:D(A) \subset X \rightarrow X\), we denote by \(\sigma (A)\) and \(\varrho (A)\) the spectrum and the resolvent set of A, respectively. Let \(\tilde{\sigma }(A)\) be the extended spectrum of A defined by
![](http://media.springernature.com/lw256/springer-static/image/art%3A10.1007%2Fs00028-021-00726-x/MediaObjects/28_2021_726_Equ134_HTML.png)
For \(\lambda \in \varrho (A)\), the resolvent operator is given by \(R(\lambda ,A) := (\lambda - A)^{-1}\). Let H be a Hilbert space. The inner product of H is denoted by \(\langle \cdot , \cdot \rangle \). The Hilbert space adjoint for a linear operator A with dense domain in H is denoted by \(A^*\).
2 Background on polynomially stable semigroups
In this section, we review the definition and some important properties of polynomially stable \(C_0\)-semigroups.
Definition 2.1
Let \(\alpha >0\). A \(C_0\)-semigroup \((T(t))_{t\ge 0}\) on a Banach space X generated by \(A:D(A) \subset X \rightarrow X\) is polynomially stable with parameter \(\alpha \) if \((T(t))_{t\ge 0}\) is uniformly bounded, \(i {\mathbb {R}} \subset \varrho (A)\), and
The spectrum of the generator of any uniformly bounded semigroup is contained in the closed left half plane \(\overline{{\mathbb {C}}_-}\). Therefore, if A generates a polynomially stable semigroup, then \(\sigma (A) \subset {\mathbb {C}}_-\).
Polynomial decay (2.1) of a \(C_0\)-semigroup \((T(t))_{t\ge 0}\) on a Hilbert space can be characterized by orbits as well; see [6, Theorem 2.4].
Theorem 2.2
Let \((T(t))_{t\ge 0}\) be a uniformly bounded \(C_0\)-semigroup on a Hilbert space H with generator A such that \(i {\mathbb {R}} \subset \varrho (A)\). For a fixed \(\alpha >0\), (2.1) holds if and only if
holds for every \(x \in H\).
For the generator A of a polynomially stable \(C_0\)-semigroup, \(-A\) is sectorial in the sense of [18, Chapter 2], and hence, the fractional powers \((-A)^{\alpha }\) are well defined for all \(\alpha \in \mathbb {R}\). Using the moment inequality (see, e.g., Proposition 6.6.4 of [18]), we can normalize the decay rate in (2.1). See [2, Proposition 3.1] for the proof.
Lemma 2.3
Let \(\alpha >0\) and \((T(t))_{t\ge 0}\) be a uniformly bounded \(C_0\)-semigroup on a Banach space with generator A such that \(0 \in \varrho (A)\). Then
if and only if
for some/all \(\gamma >0\).
A similar normalization result holds also for the case of orbits (2.2). The proof is essentially same as that of Lemma 2.3, i.e., it is a consequence of the moment inequality as stated in the proof of Theorem 2.4 of [6]. However, to make our presentation self-contained, we give a short argument.
Lemma 2.4
Let \(\alpha >0\) and \((T(t))_{t\ge 0}\) be a uniformly bounded \(C_0\)-semigroup on a Banach space X with generator A such that \(0 \in \varrho (A)\). Then
for all \(x \in X\) if and only if
for all \(x \in X\) and some/all \(\gamma >0\).
Proof
Suppose that (2.4) holds for all \(x \in X\) and some \(\gamma >0\). Define \(\delta := \alpha \gamma \). Since
for every \(x \in X\), it follows from the uniform boundedness principle that there exists \(C>0\) such that
Take \(x \in X\), \(\varepsilon >0\) and \(k \in {\mathbb {N}}\). Let
By (2.4), there exists \(t_0>0\) such that
For every \(t \ge kt_0\),
This implies that for every \(k \in {\mathbb {N}}\),
By the moment inequality, for every \(k \in {\mathbb {N}}\) and every \(\vartheta \in (0,1)\), there exists a constant \(L_1>0\) such that
for all \(t \ge 0\), where \(M := \sup _{t \ge 0} \Vert T(t)x\Vert \). This and (2.5) yield
Setting \(\vartheta = 1/(k\gamma )\) with \(k > 1/\gamma \), we obtain (2.3).
Suppose that (2.3) holds for all \(x \in X\). Take \(\tilde{\gamma }>0\) and \(x \in X\). Substituting \(\gamma =1\) into (2.5), we have that for every \(k \in {\mathbb {N}}\),
As in (2.6), we see that for every \(k \in {\mathbb {N}}\) and every \(\vartheta \in (0,1)\), there exists \(L_2 >0\) such that
where \(M := \sup _{t \ge 0} \Vert T(t)x\Vert \). Setting \(\vartheta = \tilde{\gamma }/k\) with \(k > \tilde{\gamma }\), we obtain (2.4) with \(\gamma = \tilde{\gamma }\). \(\square \)
In Lemma 2.4, we consider the global conditions on the decay of all orbits \(\{(T(t)x)_{t\ge 0} :x \in X\}\). For individual orbits, a partial result holds. Since it can be obtained from the moment inequality as in (2.6), we omit the proof.
Lemma 2.5
Let \(\alpha ,\beta >0\) and \((T(t))_{t\ge 0}\) be a uniformly bounded \(C_0\)-semigroup on a Banach space X with generator A such that \(0 \in \varrho (A)\). If \(x \in X\) satisfies
then
holds for all \(\gamma \in (0,1)\).
3 Polynomial stability and Lyapunov equation
In this section, we connect polynomial stability to a certain Lyapunov equation. To this end, we first develop an integral condition on resolvents for polynomial stability.
Proposition 3.1
Let \(Q(\xi ) \in {\mathcal {L}}(H)\) be a uniformly bounded \(C_0\)-semigroup on a Hilbert space H with generator A such that \(i {\mathbb {R}} \subset \varrho (A)\). The following three assertions hold for a fixed \(\alpha >0\):
-
(a)
\(\Vert T(t)(-A)^{-\alpha }\Vert = O(1/t)\) as \(t \rightarrow \infty \) if and only if
$$\begin{aligned} \lim _{\xi \rightarrow 0+} \xi ^{1-2\gamma } \int \nolimits _{-\infty }^{\infty } \Vert R(\xi +i\eta ,A)(-A)^{-\alpha \gamma }x\Vert ^2 d\eta = 0 \end{aligned}$$(3.1)for all \(x \in H\) and some/all \(\gamma \in (0,1/2)\).
-
(b)
If \(\Vert T(t)(-A)^{-\alpha }\Vert = O(1/t)\) as \(t \rightarrow \infty \), then
$$\begin{aligned} \lim _{\xi \rightarrow 0+} \frac{1}{\log (1/\xi )} \int \nolimits _{-\infty }^{\infty } \big \Vert R(\xi +i\eta ,A)(-A)^{-\alpha /2}x\big \Vert ^2 d\eta = 0 \end{aligned}$$(3.2)for all \(x \in H\).
-
(c)
If (3.2) holds for all \(x \in H\), then
$$\begin{aligned} \Vert T(t)(-A)^{-\alpha }\Vert = O \left( \frac{\log t}{t} \right) \qquad t\rightarrow \infty . \end{aligned}$$(3.3)
To prove Proposition 3.1, we study the decay rate of an individual orbit.
Lemma 3.2
Let \((T(t))_{t\ge 0}\) be a uniformly bounded \(C_0\)-semigroup on a Hilbert space H with generator A such that \(0 \in \varrho (A)\). The following two assertions hold for fixed \(\alpha >0\) and \(x \in H\):
-
(a)
If \(\Vert T(t)(-A)^{-\alpha } x\Vert = o(1/t)\) as \(t \rightarrow \infty \), then
$$\begin{aligned} \lim _{\xi \rightarrow 0+} \xi ^{1-2\gamma } \int \nolimits _{-\infty }^{\infty } \Vert R(\xi +i\eta ,A)(-A)^{-\alpha \gamma }x\Vert ^2 d\eta = 0 \end{aligned}$$(3.4)for all \(\gamma \in (0,1/2)\) and
$$\begin{aligned} \lim _{\xi \rightarrow 0+} \frac{1}{\log (1/\xi )} \int \nolimits _{-\infty }^{\infty } \big \Vert R(\xi +i\eta ,A)(-A)^{-\alpha /2}x\big \Vert ^2 d\eta = 0. \end{aligned}$$(3.5) -
(b)
If (3.4) holds for some \(\gamma \in (0,1/2)\), then
$$\begin{aligned} \Vert T(t)(-A)^{-\alpha \gamma } x\Vert = o\left( \frac{1}{t^\gamma } \right) \qquad t \rightarrow \infty . \end{aligned}$$(3.6)On the other hand, if (3.5) holds, then
$$\begin{aligned} \big \Vert T(t)(-A)^{-\alpha /2} x\big \Vert = o\left( \sqrt{\frac{\log t}{t}} \right) \qquad t \rightarrow \infty . \end{aligned}$$(3.7)
Proof
(a) Suppose that \(x \in H\) satisfies \(\Vert T(t)(-A)^{-\alpha } x\Vert = o(1/t)\) as \(t \rightarrow \infty \). Let \(\varepsilon >0\) and \(\gamma \in (0,1/2]\). By Lemma 2.5, there exists \(t_0 >0\) such that for all \(t \ge t_0\),
By the Plancherel theorem,
for all \(\xi >0\). Using (3.8), we obtain
for all \(\xi >0\), where \(M := \Vert (-A)^{-\alpha \gamma }\Vert \sup _{t \ge 0} \Vert T(t)\Vert \).
First we consider the case \(\gamma \in (0,1/2)\). We have that
for all \(\xi >0\), where \(\varGamma \) is the gamma function. Hence, (3.9) yields
Since \(\varepsilon >0\) was arbitrary, it follows that (3.4) holds.
Next we investigate the case \(\gamma = 1/2\). By the inequality (5) of [11], the exponential integral satisfies
for all \(\tau >0\). Hence,
for every \(\xi >0\). Applying this estimate to (3.9), we obtain
There exists \(0< \xi _0 < 1\) such that for all \(\xi \in (0,\xi _0)\),
Since \(\varepsilon >0\) was arbitrary, it follows from (3.10) that (3.5) holds.
b) By Theorem I.3.9 and Proposition I.3.10 of [9], we have that
for all \(x \in H\), \(\xi >0\) and \(t >0\). The Cauchy–Schwartz inequality gives
for all \(x,y \in H\), \(\xi >0\) and \(t >0\). Since \((T(t))_{t\ge 0}\) is uniformly bounded, it follows from the Plancherel theorem that
for every \(y \in H\), where \(M := \sup _{t\ge 0} \Vert T(t)\Vert = \sup _{t\ge 0} \Vert T(t)^*\Vert \). This and (3.11) establish
for all \(x \in H\), \(\xi >0\) and \(t >0\).
Suppose that \(x \in H\) satisfies (3.4) for some \(0< \gamma < 1/2\) or (3.5). In the latter case, we set \(\gamma = 1/2\). For \(\xi >0\), define
Taking \(\xi = 1/t\), we have from (3.12) that for every \(\varepsilon >0\), there exists \(t_0 >1\) such that for all \(t \ge t_0\),
By the definition (3.13) of \(h_\gamma \), we obtain (3.6) for \(0<\gamma <1/2\) and (3.7) for \(\gamma = 1/2\). \(\square \)
Proof of Proposition 3.1
We easily see that the assertions a) and b) hold, by combining Theorem 2.2 with Lemmas 2.3, 2.4 and 3.2 .
It remains to prove that (c) holds. By (b) of Lemma 3.2,
for every \(x \in H\). By the uniform boundedness principle, there exists \(C_1>0\) such that
Hence,
Thus, (3.3) holds. \(\square \)
Let \(\xi >0\) and A be the generator of a uniformly bounded \(C_0\)-semigroup \((T(t))_{t\ge 0}\) on a Hilbert space H. Consider the Lyapunov equation
for \(x_1,x_2 \in D(A)\). It has a unique self-adjoint solution \(Q(\xi ) \in {\mathcal {L}}(H)\) given by
see, e.g., Theorem 4.1.23 of [8].
We restate Proposition 3.1 by using the self-adjoint solution of the Lyapunov Eq. (3.14).
Lemma 3.3
Let \((T(t))_{t\ge 0}\) be a uniformly bounded \(C_0\)-semigroup on a Hilbert space H with generator A such that \(i {\mathbb {R}} \subset \varrho (A)\), and let \(Q(\xi ) \in {\mathcal {L}}(H)\) be the self-adjoint solution of the Lyapunov Eq. (3.14) for \(\xi >0\). The following three assertions hold for a fixed \(\alpha >0\):
-
(a)
\(\Vert T(t)(-A)^{-\alpha }\Vert = O(1/t)\) as \(t \rightarrow \infty \) if and only if \(Q(\xi )\) satisfies
$$\begin{aligned} \lim _{\xi \rightarrow 0+} \xi ^{1-2\gamma }\langle (-A)^{-\alpha \gamma } x, Q(\xi ) (-A)^{-\alpha \gamma }x\rangle = 0 \end{aligned}$$(3.16)for all \(x \in H\) and some/all \(\gamma \in (0,1/2)\).
-
(b)
If \(\Vert T(t)(-A)^{-\alpha }\Vert = O(1/t)\) as \(t \rightarrow \infty \), then \(Q(\xi )\) satisfies
$$\begin{aligned} \lim _{\xi \rightarrow 0+} \frac{\langle (-A)^{-\alpha /2} x, Q(\xi ) (-A)^{-\alpha /2}x\rangle }{\log (1/\xi )} = 0 \end{aligned}$$(3.17)for all \(x \in H\).
-
(c)
If \(Q(\xi )\) satisfies (3.17) for all \(x \in H\), then
$$\begin{aligned} \Vert T(t)(-A)^{-\alpha }\Vert = O \left( \frac{\log t}{t} \right) \qquad t\rightarrow \infty . \end{aligned}$$(3.18)
Proof
Let \(\xi >0\) and \(x \in H\). The Plancherel theorem shows that
By the definition (3.15) of \(Q(\xi )\), we obtain
Hence, the assertions (a)–(c) immediately follow from Proposition 3.1. \(\square \)
4 Decay rate of Cayley transform
In this section, we study the decay rate of the Cayley transform of the generator of a polynomially stable \(C_0\)-semigroup. We start by establishing the discrete version of the normalization results on polynomial decay rates developed in Lemmas 2.3–2.5.
Lemma 4.1
Let A be the generator of a uniformly bounded \(C_0\)-semigroup on a Banach space X such that \(0 \in \varrho (A)\). Suppose that \(B \in {\mathcal {L}}(X)\) is power bounded and commutes with \(A^{-1}\). Then the following assertions hold for constants \(\alpha ,\beta >0\) and a nondecreasing function \(f:{\mathbb {N}} \rightarrow (0,\infty )\).
-
(a)
The statements (i)-(ii) below are equivalent:
-
(i)
\(\Vert B^n (-A)^{-\alpha }\Vert = O \left( \dfrac{f(n)}{n}\right) \) as \(n \rightarrow \infty \).
-
(ii)
\(\Vert B^n (-A)^{-\alpha \gamma }\Vert = O \left( \dfrac{f(n)^{\gamma }}{n^{\gamma }} \right) \) as \(n \rightarrow \infty \) for some/all \(\gamma >0\).
-
(i)
-
(b)
The statements (i)–(ii) below are equivalent:
-
(i)
\(\Vert B^n (-A)^{-\alpha } x\Vert = o \left( \dfrac{f(n)}{n} \right) \) as \(n \rightarrow \infty \) for all \(x \in X\).
-
(ii)
\(\Vert B^n (-A)^{-\alpha \gamma }x\Vert = o \left( \dfrac{f(n)^{\gamma }}{n^{\gamma }} \right) \) as \(n \rightarrow \infty \) for all \(x \in X\) and some/all \(\gamma >0\).
-
(i)
-
(c)
If \(x \in X\) satisfies
$$\begin{aligned} \Vert B^n (-A)^{-\alpha } x\Vert = o \left( \dfrac{f(n)^\beta }{n^\beta } \right) \qquad n \rightarrow \infty , \end{aligned}$$then
$$\begin{aligned} \Vert B^n (-A)^{-\alpha \gamma } x\Vert = o \left( \dfrac{f(n)^{\beta \gamma }}{n^{\beta \gamma }} \right) \qquad n \rightarrow \infty \end{aligned}$$for every \(0<\gamma < 1\).
Proof
(a) (ii) \(\Rightarrow \) (i): Let \(\gamma >0\) and set \(\delta := \alpha \gamma \). By assumption, there exists a constant \(C >0\) such that
For every \(a >0\), B commutes with \((-A)^{-a}\) by Proposition 3.1.1.f) of [18], and hence, for every \(x \in D((-A)^a)\), \(Bx \in D((-A)^a)\) and \(B(-A)^{a}x = (-A)^a Bx\) by Proposition B.7 of [1]. Using (4.1), we obtain
From the moment inequality (see, e.g., Proposition 6.6.4 of [18]), it follows that for every \(k \in {\mathbb {N}}\) and every \(\vartheta \in (0,1)\), there exists a constant \(L_0 >0\) such that
for every \(x \in X\) and every \(n \in {\mathbb {N}}\). Hence, (4.2) yields
where \(M:= \sup _{n \in {\mathbb {N}}\cup \{0\}} \Vert B^n\Vert \). Choose a constant \(k \in {\mathbb {N}}\) satisfying \(k > 1/\gamma \) and set \(\vartheta = 1/(k\gamma )\). Then
for some \(L_1 >0\). Since
for every \(\ell =0,\dots ,k-1\) and every \(n\in {\mathbb {N}}\), it follows that
for every \(\ell =0,\dots ,k-1\) and every \(n\in {\mathbb {N}}\). Thus, (i) holds.
(i) \(\Rightarrow \) (ii): Take \(\tilde{\gamma }>0\). Substituting \(\gamma =1\) and \(\vartheta = \tilde{\gamma }/ k\) with \(k > \tilde{\gamma }\) into (4.4), we obtain
for some \(L_2 >0\). Hence, we obtain (ii) with \(\gamma = \tilde{\gamma }\) by similar arguments as above.
(b) Suppose that (ii) holds, and set \(\delta := \alpha \gamma \). Since
for all \(x \in X\), it follows from the uniform boundedness principle that there exists a constant \(C_1 >0\) such that
Let \(x \in X\). Then
This implies
The rest of the proof is the same as the proof of (a). We omit the details.
(c) This assertion directly follows from the application of the moment inequality as in (4.3). \(\square \)
Using the argument based on Lyapunov equations developed in Sect. 3, we estimate the decay rate of the Cayley transform. We use the following preliminary result obtained in the proof of [17, Theorem 4.3].
Lemma 4.2
Let A be the generator of a uniformly bounded \(C_0\)-semigroup on a Hilbert space H. Suppose that the Cayley transform \(A_d := (I+A) (I-A)^{-1}\) is power bounded. Let \(r \in (0,1)\) and
Then the self-adjoint solution \(Q(\xi ) \in {\mathcal {L}}(H)\) of the Lyapunov Eq. (3.14) satisfies
for every \(x,y \in H\) and every \(n \in {\mathbb {N}}\), where \(M := \sup _{n \in {\mathbb {N}} \cup \{0\}} \Vert A_d^n\Vert \).
Theorem 4.3
Let \((T(t))_{t\ge 0}\) be a uniformly bounded \(C_0\)-semigroup on a Hilbert space H with generator A such that \(i {\mathbb {R}} \subset \varrho (A)\). Suppose that the Cayley transform \(A_d := (I+A) (I-A)^{-1}\) is power bounded. If \(\Vert T(t)(-A)^{-\alpha }\Vert = O(1/t)\) as \(t\rightarrow \infty \) for some \(\alpha >0\), then \(A_d\) satisfies
for every \(x \in H\) and
Proof
Take \(r \in (0,1)\). Let \(Q(\xi ) \in {\mathcal {L}}(H)\) be given in (4.5) and \(Q(\xi )\) be the self-adjoint solution of the Lyapunov Eq. (3.14). By Lemma 4.2, \(Q(\xi )\) satisfies (4.6) for every \(x,y \in H\) and every \(n \in {\mathbb {N}}\).
Let \(\varepsilon >0\), \(y \in H\) and \(x \in D((-A)^{\alpha /2})\). Define \({\tilde{x}} := (I-A)^{-1}x\). By Lemma 3.3(b), there exists \(N_0 \in {\mathbb {N}}\) such that
for
with \(n \ge N_0\). For \(\xi \) given in (4.9),
satisfies (4.5) and
for some constant \(C_1 >0\). Therefore, (4.6) yields
This implies that
Since
we obtain
for every \(x \in H\). The first assertion (4.7) follows from Lemma 4.1. Applying the uniform boundedness principle to (4.7), we obtain (4.8). \(\square \)
Remark 4.4
In the Proof of Theorem 4.3, we employ (b) of Lemma 3.3. One can apply (a) of Lemma 3.3 in a similar way and consequently obtain
for every \(0<\gamma <1/2\). However, this result is less sharp than (4.8).
We do not know whether the logarithmic factor in Theorem 4.3 may be dropped in general. In some cases, however, we can omit the logarithmic correction, as in Propositions 4.1 and 4.2 in [2]. It is worth mentioning that we do not need the assumption on the power boundedness of the Cayley transform.
Proposition 4.5
Consider the following two cases:
-
(a)
Let \((T(t))_{t\ge 0}\) be a uniformly bounded \(C_0\)-semigroup on a Hilbert space with generator A such that \(i {\mathbb {R}} \subset \varrho (A)\) and A is normal.
-
(b)
Let \(\varOmega \) be a locally compact Hausdorff space and \(\mu \) be a \(\sigma \)-finite regular Borel measure on \(\varOmega \). Assume that either
-
(i)
\(X := L^p(\varOmega ,\mu )\) for \(1\le p < \infty \) and \(\phi :\varOmega \rightarrow {\mathbb {C}}\) is measureable with essential range in the open left half plane \({\mathbb {C}}_-\); or that
-
(ii)
\(X := C_0(\varOmega )\) and \(\phi :\varOmega \rightarrow {\mathbb {C}}\) is continuous with \(\overline{\phi (\varOmega )} \subset {\mathbb {C}}_-\).
Let A be the multiplication operator induced by \(\phi \) on X, i.e, \(Af =\phi f\) with domain \(D(A) := \{f \in X:\phi f \in X\}\) and \((T(t))_{t\ge 0}\) be the \(C_0\)-semigroup on X generated by A.
-
(i)
In both cases (a) and (b), if \(\Vert T(t)(-A)^{-\alpha } \Vert = O(1/t)\) as \(t\rightarrow \infty \) for some \(\alpha >0\), then the Cayley transform \(A_d := (I+A)(I-A)^{-1}\) satisfies
Proof
The proof is divided up into two steps. In the first step, we characterize the norm of \(A_d^n (-A)^{-\alpha }\) for \(n \in {\mathbb {N}}\) by the spectrum of A. In the second step, we obtain the decay estimate (4.10) from this characterization and the geometrical condition on \(\sigma (-A)\) for polynomial decay given in Propositions 4.1 and 4.2 of [2].
Step 1: First, we consider the case (a). Define
for \(\lambda \in {\mathbb {C}} \setminus (-\infty ,0]\) and \(n \in {\mathbb {N}}\). Then \(A_d^n (-A)^{-\alpha -2} = f_n(-A)\) by the product formula of functional calculi (see, e.g., Theorem 1.3.2.c) of [18]). The spectral mapping theorem (see, e.g., Theorem 2.7.8 of [18]) shows that
where \(f_n(\infty ) := \lim _{\lambda \rightarrow 0}f_n(1/\lambda ) = 0\). Since A is normal, we see that \(f_n(-A)\) is also normal, by using a multiplication operator unitarily equivalent to A obtained from the spectral theorem; see, for example, Theorem 4.1 of [19] for the multiplicator version of the spectral theorem for unbounded normal operators. Moreover, \(f_n(-A)\) is bounded. Hence, the spectral radius of \(f_n(-A)\) equals \(\Vert f_n(-A)\Vert \); see, e.g., Theorem 5.44 of [34]. This yields
A result similar to (4.12) is obtained in the case (b). Let \(h_{\text {ess}}(\varOmega )\) denote the essential range of a measurable function \(h:\varOmega \rightarrow {\mathbb {C}}\). Define the function \(f_n\) as in (4.11). In the \(L^p\)-case (i),
by Proposition I.4.10 of [10]. Moreover, one can obtain
Therefore,
In the \(C_0\)-case (ii), we also obtain (4.13), since
by Proposition I.4.2 of [10].
Step 2: Propositions 4.1 and 4.2 of [2] show that in both cases (a) and (b), \(\Vert T(t)(-A)^{-\alpha }\Vert = O(1/t)\) as \(t\rightarrow \infty \) if and only if there exist \(\delta ,C >0\) such that \(|\mathop {{\mathrm{Im}}}\nolimits \lambda | \ge C (\mathop {{\mathrm{Re}}}\nolimits \lambda )^{-1/\alpha }\) for every \(\lambda \in \sigma (-A)\) with \(\mathop {{\mathrm{Re}}}\nolimits \lambda \le \delta \). Define
In what follows, we estimate \(|n f_n(\lambda )|\) for \(\lambda \in \sigma (-A)\), by dividing the argument into two cases: \(\lambda \in \varOmega _1\) and \(\lambda \in \varOmega _2\). To this end, we use the identities
for \(\lambda \in \sigma (-A)\).
First, we consider the case \(\lambda \in \varOmega _1 \subset \{ s \in {\mathbb {C}}: |\mathop {{\mathrm{Im}}}\nolimits \lambda | \ge C (\mathop {{\mathrm{Re}}}\nolimits \lambda )^{-1/\alpha } \}\). Then
for some \(C_1 \ge 1\). Set \(C_2 := 4C^{\alpha }/C_1\). Then
for all \(n \in {\mathbb {N}}\). Define
for \(s \ge C_2\) and \(n \in {\mathbb {N}}\). Then
Hence, \(g_n\) takes the maximum value at \(s = s^* :=\frac{C_2(n+2)}{2}\) on \([C_2,\infty )\) and
This means that
Next we investigate the case \(\lambda \in \varOmega _2\). We have that
Set \(C_3 := 4\delta / (1+1/\delta )^2\). Then
Similarly to the case \(\lambda \in \varOmega _1\), we obtain
Combining (4.14) and (4.15), we have that
Thus, the desired conclusion (4.10) holds. \(\square \)
Example 4.6
There exists a normal operator A such that the norm estimate of Cayley transforms in Proposition 4.5 cannot be improved. Consider a diagonal operator \(A: D(A) \subset \ell ^2({\mathbb {C}}) \rightarrow \ell ^2({\mathbb {C}})\) defined by
with domain
where \((e_k)_{k \in {\mathbb {N}}}\) is the standard basis of \( \ell ^2({\mathbb {C}})\). The semigroup \((T(t))_{t\ge 0}\) generated by A satisfies \(\Vert T(t)A^{-1}\Vert = O(1/t)\) as \(t\rightarrow \infty \) by Proposition 4.1 of [2]. We see from Proposition 4.5 that
The Cayley transform \(A_d\) is given by
Since
for all \(k \in {\mathbb {N}}\), it follows that \(A_d\) is power bounded. By Lemma 4.1(a), the norm estimate (4.16) is equivalent to
Define \(\lambda _k := 1/k - ik \in \sigma (-A)\) for \(k \in {\mathbb {N}}\), and take \(m \in {\mathbb {N}}\). Then
for every \(n \in {\mathbb {N}}\). We have that
Since
it follows that
By (4.18) with \(m=1\), the norm estimate (4.16) is optimal in the sense that \(\limsup _{n \rightarrow \infty } n \Vert A_d^n A^{-3}\Vert >0\). The norm estimate (4.17) and the substitution of \(m=3\) into (4.18) imply that the optimal decay rate of \(\Vert A_d^n A^{-1}\Vert \) is \(1/n^{1/3}\).
5 Robustness analysis of polynomial stability
As another application of the argument based on Lyapunov equations established in Sect. 3, we here extend to the case of polynomial stability the following result (Lemma 2.6 of [17]) on the preservation of uniform boundedness.
Lemma 5.1
Let A be the generator of a uniformly bounded \(C_0\)-semigroup on a Hilbert space H. If \(0 \in \varrho (A)\), then \(A+rA^{-1}\) also generates a uniformly bounded \(C_0\)-semigroup semigroup on H for every \(r \ge 0\).
This robustness result can be extended to the case of strong stability and exponential stability; see p. 358 of [17].
It turns out that the class of perturbations \(\{rA^{-1}:r>0\}\) results in at most only arbitrarily small loss of decay rates.
Proposition 5.2
Let A be the generator of a uniformly bounded \(C_0\)-semigroup \((T(t))_{t\ge 0}\) on a Hilbert space H such that \(i {\mathbb {R}} \subset \varrho (A)\). If \(\Vert T(t)(-A)^{-\alpha }\Vert = O(1/t)\) as \(t\rightarrow \infty \) for some \(\alpha >0\), then the following assertions hold for every \(r \ge 0\):
-
(a)
\(A+rA^{-1}\) generates a uniformly bounded \(C_0\)-semigroup \((S_r(t))_{t\ge 0}\) on H;
-
(b)
\(i {\mathbb {R}} \subset \varrho (A+r A^{-1})\); and
-
(c)
for every \(\varepsilon \in (0,1)\),
$$\begin{aligned} \Vert S_r(t) (-A-rA^{-1})^{-\alpha }\Vert = {\left\{ \begin{array}{ll} O (1/t) &{} \hbox { if}\ \alpha >2 \\ O(\log t/ t) &{} \hbox { if}\ \alpha = 2 \\ O(1/t^{1-\varepsilon }) &{} \hbox { if}\ 0<\alpha <2 \end{array}\right. } \end{aligned}$$(5.1)as \(t\rightarrow \infty \).
We need three auxiliary results for the Proof of Proposition 5.2. First, we present a simple result on the resolvent set of \(A+A^{-1}\).
Lemma 5.3
Let \(A:D(A) \subset X \rightarrow X\) be a closed operator on a Banach space X. If \(i{\mathbb {R}} \subset \varrho (A)\), then \(i{\mathbb {R}} \subset \varrho (A + A^{-1})\).
Proof
Let \(\omega \in {\mathbb {R}}\). A routine calculation shows that
where
From \(i{\mathbb {R}} \subset \varrho (A)\), it follows that \(A- i\omega _1 I\) and \(A- i\omega _2 I\) are invertible in \({\mathcal {L}}(X)\). Hence,
Thus, \(i{\mathbb {R}} \subset \varrho (A + A^{-1})\). \(\square \)
Second, we present a result on the domain of fractional powers under bounded perturbations, which is used to prove (5.1) in the case \(0<\alpha <2\).
Lemma 5.4
Let X be a Banach space and \(B \in {\mathcal {L}}(X)\). Suppose that A and \(A+B\) generate \(C_0\)-semigroups on X with negative growth bounds. Then the inclusion \(D((-A)^\alpha ) \subset D((-A-B)^{\beta })\) holds for every \(\alpha ,\beta \in (0,1)\) with \(\beta < \alpha \).
Proof
For \(\alpha \in (0,1)\), define the abstract Hölder spaces of order \(\alpha \) by
Since A and \(A+B\) generate \(C_0\)-semigroups with negative growth bounds, it follows from Proposition II.5.33 of [10] that
for \(0<\beta< \alpha < 1\). It suffices to show that \(X_{\alpha } \subset X_{\alpha }^B\) for every \(\alpha \in (0,1)\). In fact, combining this inclusion with (5.2), we obtain
for \(0< \beta<\alpha <1\).
To obtain \(X_{\alpha } \subset X_{\alpha }^B\), we use the identity
This yields
for every \(\lambda >0\). There exists \(M>0\) such that
and hence,
Consequently,
for every \(\alpha \in (0,1)\). It follows from (5.3) that \(X_\alpha \subset X_{\alpha }^B\). \(\square \)
Third, Lyapunov equations for A are connected to those for \(A+A^{-1}\) by the following result obtained in the proof of [17, Lemma 2.6].
Lemma 5.5
Let A be the generator of a uniformly bounded \(C_0\)-semigroup on a Hilbert space H. Suppose that \(0 \in \varrho (A)\), and take \(\kappa > \Vert A^{-1}\Vert ^2\). For every \(\xi >0\), the self-adjoint solution \(Q(\xi ) \in {\mathcal {L}}(H)\) of the Lyapunov Eq. (3.14) satisfies
We are now ready to prove Proposition 5.2.
Proof of Proposition 5.2
Since
it suffices to prove the case \(r = 1\). By Lemma 5.1, \((S_1(t))_{t\ge 0}\) is uniformly bounded. We see from Lemma 5.3 that \(i{\mathbb {R}} \subset \varrho (A + A^{-1})\).
It remains to prove the norm estimate (5.1) for \(r=1\). For \(\xi >0\), let \(Q(\xi ) \in {\mathcal {L}}(H)\) be the self-adjoint solution of the Lyapunov Eq. (3.14). Take \(\kappa > \Vert A^{-1}\Vert ^2\) and define
By Lemma 5.5, \(Q_1(\xi )\) satisfies
for every \(\xi >0\). Therefore,
for every \(x \in H\) and every \(\xi >0\); see Remark 2.3 of [17]. For \(\gamma \in (0,1/2]\), define
Then (a) and (b) of Lemma 3.3 show that
for every \(x \in D((-A)^{\alpha \gamma })\).
First we consider the case \(\alpha \ge 2\). Define \(\gamma := 1/\alpha \). Then \(\gamma \in (0,1/2]\) and \(\alpha \gamma = 1\). Since \(D((-A)^{\alpha \gamma }) = D((-A-A^{-1})^{\alpha \gamma })\), it follows from (5.4) and (5.5) that
for every \(x \in D((-A-A^{-1})^{\alpha \gamma })\). Hence, (5.1) holds in the case \(\alpha \ge 2\) by Proposition 3.1 (a) and (c).
Next we investigate the case \(0<\alpha < 2\). Choose \(\gamma \in (0,1/2)\) and \(\delta \in (0,1-\alpha \gamma )\) arbitrarily. For every \(\alpha _1,\xi _1>0\),
by Proposition 3.1.9.a) of [18]. Since \(A-\xi _1I\) and \(A+A^{-1} - \xi _1I\) generate \(C_0\)-semigroups with negative growth bounds for every \(\xi _1 >0\), it follows from Lemma 5.4 that
Therefore, (5.4) and (5.5) lead to
for every \(x \in D((-A-A^{-1})^{\alpha \gamma + \delta })\). From Proposition 3.1(a), we have that
Since \(\gamma \in (0,1/2)\) and \(\delta \in (0,1-\alpha \gamma )\) were arbitrary, it follows from Lemma 2.3 that (5.1) holds in the case \(0<\alpha < 2\). \(\square \)
References
Arendt, W., Batty, C.J.K., Hieber, M., Neubrander, F.: Vector-valued Laplace Transforms and Cauchy Problems. Basel: Birkhäuser (2001)
Bátkai, A., Engel, K.J., Prüss, J., Schnaubelt, R.: Polynomial stability of operator semigroups. Math. Nachr. 279, 1425–1440 (2006)
Batty, C.J.K., Chill, R., Tomilov, Y.: Fine scales of decay of operator semigroups. J. Eur. Math. Soc 18, 853–929 (2016)
Batty, C.J.K., Duyckaerts, T.: Non-uniform stability for bounded semi-groups on Banach spaces. J. Evol. Equ. 8, 765–780 (2008)
Batty, C.J.K., Gomilko, A., Tomilov, Y.: A Besov algebra calculus for generators of operator semigroups and related norm-estimates. Math. Ann. 379, 23–93 (2021)
Borichev, A., Tomilov, Y.: Optimal polynomial decay of functions and operator semigroups. Math. Ann. 347, 455–478 (2010)
Cohen, G., Lin, M.: Remarks on rates of convergence of powers of contractions. J. Math. Anal. Appl. 436, 1196–1213 (2016)
Curtain, R.F., Zwart, H.J.: An Introduction to Infinite-Dimensional Linear Systems Theory. New York: Springer (1995)
Eisner, T.: Stability of Operators and Operator Semigroups. Basel: Birkhäuser (2010)
Engel, K.J., Nagel, R.: One-Parameter Semigroups for Linear Evolution Equations. New York: Springer (2000)
Gautschi, W.: Some elementary inequalities relating to the gamma and incomplete gamma function. J. Math. Phys. 38, 77–81 (1959)
Gomilko, A.: Cayley transform of the generator of a uniformly bounded \(C_0\)-semigroup of operators. Ukrainian Math. J. 56, 1212–1226 (2004)
Gomilko, A.: Inverses of semigroup generators: a survey and remarks. In: Études opératorielles, Banach Center Publ, pp. 107–142 (2017)
Gomilko, A., Zwart, H.: The Cayley transform of the generator of a bounded \(C_0\)-semigroup. Semigroup Forum 74, 140–148 (2007)
Gomilko, A., Zwart, H., Besseling, N.: Growth of semigroups in discrete and continuous time. Studia Math. 206, 273–292 (2011)
Gomilko, A.M.: Conditions on the generator of a uniformly bounded \(C_0\)-semigroup. Funct. Anal. Appl. 33, 294–296 (1999)
Guo, B.Z., Zwart, H.: On the relation between stability of continuous-and discrete-time evolution equations via the Cayley transform. Integr. equ. oper. theory 54, 349–383 (2006)
Haase, M.: The Functional Calculus for Sectorial Operators. Basel: Birkhäuser (2006)
Haase, M.: Lectures on Functional Calculus. 21st International Internet Seminar, Kiel Univ (2018). Retrieved May 27, 2021, from https://www.math.uni-kiel.de/isem21/en/course/phase1/isem21-lectures-on-functional-calculus
Liu, Z., Rao, B.: Characterization of polynomial decay rate for the solution of linear evolution equation. Angew. Math. Phys. 56, 630–644 (2005)
Nagy, B.S., Foiaş, C.: Harmonic Analysis of Operators on Hilbelt Space. North Holland Publishing Co. (1970)
Ng, A.C.S., Seifert, D.: Optimal rates of decay in the Katznelson-Tzafriri theorem for operators on Hilbert spaces. J. Funct. Anal. 279, Art. no. 108799 (2020)
Paunonen, L.: Perturbation of strongly and polynomially stable Riesz-spectral operators. Systems Control Lett. 60, 234–248 (2011)
Paunonen, L.: Robustness of strongly and polynomially stable semigroups. J. Funct. Anal. 263, 2555–2583 (2012)
Paunonen, L.: Robustness of polynomial stability with respect to unbounded perturbations. Systems Control Lett. 62, 331–337 (2013)
Piskarev, S., Zwart, H.: Crank-Nicolson scheme for abstract linear systems. Numer. Funct. Anal. Optim. 28, 717–736 (2007)
Rastogi, S., Srivastava, S.: Strong and polynomial stability for delay semigroups. J. Evol. Equ. 21, 441–472 (2021)
Rozendaal, J., Seifert, D., Stahn, R.: Optimal rates of decay for operator semigroups on Hilbert spaces. Adv. Math. 346, 359–388 (2019)
Seifert, D.: A quantified Tauberian theorem for sequences. Stud. Math. 227, 183–192 (2015)
Seifert, D.: Rates of decay in the classical Katznelson-Tzafriri theorem. J. Anal. Math. 130, 329–354 (2016)
Shi, D.H., Feng, D.X.: Characteristic conditions of the generation of \(C_0\) semigroups in a Hilbert space. J. Math. Anal. Appl. 247, 356–376 (2000)
Staffans, O.J.: Well-Posed Linear Systems. Cambridge, UK: Cambridge Univ. Press (2005)
Tomilov, Y.: A resolvent approach to stability of operator semigroups. J. Operator Theory 46, 63–98 (2001)
Weidmann, J.: Linear operators in Hilbert spaces. New York: Springer (1980)
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.
This work was supported by JSPS KAKENHI Grant Number JP20K14362.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Wakaiki, M. The Cayley transform of the generator of a polynomially stable \(C_0\)-semigroup. J. Evol. Equ. 21, 4575–4597 (2021). https://doi.org/10.1007/s00028-021-00726-x
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00028-021-00726-x