Abstract
For each analytic map \(\psi\) on the complex plane \(\mathbb {C}\), we study the Ritt’s resolvent growth condition for the composition operator \(C_{\psi} :f \rightarrow f\circ \psi\) on the Fock space \({\mathcal {F}}_2\). We show that \(C_{\psi}\) satisfies such a condition if and only if it is either compact or reduces to the identity operator. As a consequence, it is shown that the Ritt’s resolvent condition and the unconditional Ritt’s condition for \(C_{\psi}\) are equivalent.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
During the last decades there has been huge interest in the study of composition operators on Banach spaces of holomorphic functions. Relying on rich theory of analytic function, it has been possible to develop and characterize several structures of the operators. The interest to study the operators originates partly from its connection to the famous invariant subspace problem for Hilbert spaces. Namely that, the invariant subspace problem for separable Hilbert spaces can be reduced to the study of the invariant subspace structure of certain composition operators [14]. The theory of composition operators lies at the interface of analytic function theory and operator theory, and provides relevant connection among other areas of mathematics; this is another reason making it continue as an active area of research. There is an extensive literature about the operator \(C_{\psi}\) on various settings. We list some of them on Fock spaces which are related to our work here; on booundedness and compactness properties [2, 9], on spectrum [10], on power boundedness and mean ergodicity [16], and on various forms of cyclicity [11].
Though several basic properties of \(C_{\psi }\) on various settings are well understood, there are still lots of questions that require further investigations. In this note we take the study further and answer another basic question, namely that when a composition operator satisfies the Ritt’s resolvent growth condition on the Fock space \({\mathcal {F}}_2\). We recall that the space \({\mathcal {F}}_2\) consists of all entire functions f for which \(\Vert f\Vert =\sqrt{\langle f, f\rangle } < \infty\) where the inner product is defined by
and dA denotes the Lebesgue area measure on the complex plane \({\mathbb {C}}\). The space is a reproducing kernel Hilbert space with kernel function \(K_w(z)= e^{\overline{w}z}\).
We also note in passing that for any bounded operator T on a Banach space \({\mathcal {X}}\), identifying the relation between the size of the resolvent operator \((T-\lambda I)^{-1}\) when \(\lambda\) close to the spectrum of the operator, and the asymptotic properties of \(T^n x: x\in {\mathcal {X}}\) has been one of the classical problems in operator related function theory. Here \(T^n\) denotes the notion that the operator T is composed to itself n times, and \(T^0\) is the identity map I.
Our result shows that the composition operator \(C_{\psi}\) satisfies the Ritt’s resolvent growth condition if and only if when it is compact or reduces to the identity operator on the space. As a result, it turns out that the operator satisfies in fact the stronger unconditional Ritt’s condition as well.
2 The Ritt’s resolvent condition for \(C_{\psi}\)
As noted above the power bounded and mean ergodic properties of \(C_{\psi}\) on Fock spaces have been identified recently in [16]. The notion of the resolvent growth conditions is another dynamical structure closely related to power boundedness. We recall that the resolvent set \(\varrho (T)\) for a bounded operator T on a Banach space \({\mathcal {X}}\) is the complement of the spectrum \(\sigma (T)\) and hence open. For each \(\lambda \in \varrho (T)\), the resolvent function \(R(\lambda , T)= (\lambda I- T)^{-1}, \ \lambda \in \varrho (T)\) is operator valued and analytic. Thus, for each \(|\lambda |> \sup \{|w|; w\in \sigma (T)\}\), it has the expansion
If the operator T is power bounded, that is there is a positive constant M for which \(\Vert T^n\Vert \le M,\) for all \(n\in {\mathbb {N}}\), then (1) immediately implies
for all \(|\lambda |>1\). This shows that every power bounded operator satisfies the so called Kreiss’s resolvent condition. Conversely, by the Kreiss Matrix Theorem, this condition implies power boundedness only when the space \({\mathcal {X}}\) is finite dimensional. For the infinite dimensional case, the condition only gives that \(\Vert T^n\Vert =O(n)\) as \(n\rightarrow \infty\); see for example [17].
On the other hand, by differentiating the resolvent function \(n-1\) times we observe that power boundedness of T implies the following stronger iterated resolvent condition:
This condition does not conversely ensure power boundedness either as it only implies \(\Vert T^n\Vert =O(\sqrt{n})\) as \(n\rightarrow \infty\) [6].
In this note, we are interested in a more stronger condition that requires an extremal decay rate from the asymptotic behaviours of the iterates of the operator, namely, the Ritt’s resolvent condition. An operator T satisfies such a condition, which is also called Tadmor–Ritt resolvent condition, if there exists a positive constant M such that
for all \(\lambda \in {\mathbb {C}}\) with \(|\lambda |>1.\) Conditions of this type, (2) and power boundedness play important roll in numerical analysis specially in the study of numerical stability of difference of equations. For more details see [1, 13] and the references therein. Operators which satisfy (3) are simply discrete-time analogues of the generators of bounded holomorphic semigroups. In particular, they are known to generate bounded discrete-time semigroups \((T^n)\), and the resolvent condition in this case plays vital roll in the study of the stability of such semigroups.
We now stat the main result.
Theorem 1
Let the composition operator \(C_{\psi}\)be bounded on \({\mathcal {F}}_2\). Then \(C_{\psi}\)satisfies the Ritt’s resolvent condition on \({\mathcal {F}}_2\)if and only if it is either compact or reduces to the identity operator.
Except in the trivial case where \(\psi (z)=z\), the main result asserts that the Ritt’s resolvent condition for \(C_{\psi}\) is in fact equivalent to its compactness. It is interesting now to put into context our result by comparing and contrasting it with some other recently obtained results on the dynamical properties of the operators on Fock spaces. By [16, Theorem 2], all bounded composition operators are power bounded but fail to satisfy Ritt’s resolvent growth condition. The symbol \(\psi (z)= iz\) induces a counter example here. From the same result, it also follows that every composition operator satisfying the Ritt’s resolvent condition is uniformly mean ergodic, that is the sequence of the operators
converges in the operator norm. But the converse fails to hold again with \(\psi (z)= iz\) still being a counter example.
2.1 Proof of Theorem 1
We now give the proof of the main result. It is known that the operator \(C_{\psi}\) is bounded on \({\mathcal {F}}_2\) if and only if \(\psi (z)= az+b, \ |a|\le 1\) and \(b=0\) whenever \(|a|=1\). Compactness is described by the strict inequality \(|a|<1\); see [2, 9] for more details. Now, if \(|a|=1\), then the sufficiency of the condition follows easily as the identity map satisfies the Ritt’s resolvent condition. Thus, let us verify the necessity of the condition in this case. By [10, Theorem 2.6], the spectrum of the operator \(C_{\psi}\) is given by
Furthermore, from [7] and [13, Theorem 4.5.4] if \(C_{\psi}\) satisfies the Ritt’s condition, then its spectrum is contained in a stolz type domain \(\overline{\beta _\theta }\) where \(\beta _\theta\) is the interior of convex hull of the set \(\{1 \}\) and the disc \(\{z\in {\mathbb {D}}: |z|\le \sin \theta \}\) and \(\theta = \arccos \frac{1}{M}\) where M is the best possible constant in (3) and \(\theta \in [0,\frac{\pi }{2}).\) In particular, we have that \(\sigma (C_{\psi} )\cap \mathbb {T} \subset \{1\}\) where \(\mathbb {T}\) denotes the unit circle.
Thus, if \(|a|=1,\) and \(a \ne 1\), then it is easy to see from (4) that the set \(\sigma (C_{\psi} )\cap \mathbb {T}\) contains more than one element, and hence we must have \(a=1\).
Assume now that \(|a|<1\). Nagy and Zemanek [12] proved that a bounded operator T in a complex Banach space satisfies the Ritt’s resolvent condition if and only if it is power bounded and the difference of the consecutive powers satisfy the decaying behaviour
Note that condition (5) alone does not imply power boundedness of the operator T in general [4]. But by [16, Theorem 1.2], all bounded composition operators on Fock spaces are power bounded. Thus, our task will be to show that condition (5) is equivalent to the Ritt’s resolvent condition for \(C_{\psi}\). First observe that for each \(n\in {\mathbb {N}}\), the operator \(C_{\psi} ^{n}\) itself is a composition operator induced by the symbol \(\psi ^n\) and hence \(C_{\psi }^n= C_{\psi ^n}\). It might be of interest to point that for \(\psi (z)= az, \ |a|<1\), the conclusion follows easily since for each integer \(n\ge 0\), the operator is \(C_{\psi ^{n+1}}-C_{\psi ^n}\) is diagonal with respect to the standard basis of monomials \(\{e_k(z)= z^k/\sqrt{k!}: k\ge 0\}\). The eigenvalue corresponding to \(e_k\) is \(a^{k(n+1)}-{a^{nk}}\). Consequently
It follows that
which is the required condition (5).
Since b can be nonzero, we give the following general argument. Let \(\delta _n\) be a positive number such that \(a^{n+1}z+\frac{b(1-a^{n+1})}{1-a}\in D\left( a^nz+ \frac{b(1-a^n)}{1-a}, \delta _n\right)\) where by \(D(\tau , r)\) we denote a disc of radius r and center \(\tau\). An explicit expression for \(\delta _n\) will be given latter. Then for any \(f\in {\mathcal {F}}_2\), by the Mean Value Theorem
for some \(\beta _n<\delta _n\).
Using the reproducing property,
and hence
By triangle inequality
and hence
where \(\Gamma\) refers to the gamma function. Therefore,
On the other hand, since \(w\in D\left( a^nz+ \frac{b(1-a^n)}{1-a}, \beta _n\right)\) we have
Now taking all these estimates in (6)
where
Next, we show that the integral above is uniformly bounded by a positive number independent of \(n\in {\mathbb {N}}\). To this end, observe that since \(a^{n+1}z+\frac{b(1-a^{n+1})}{1-a}\in D \left( a^nz+ \frac{b(1-a^n)}{1-a}, \delta _n\right)\) and hence
\(\delta _n\) can be taken to be \(|a|^n |a-1||z|+|a|^n|b|\). Thus, \(\beta _n\) can also be chosen in such away that \(\beta _n=\alpha _n |z|+|a|^n|b|\) for some \(0<\alpha _n< |a|^n |a-1|\) whenever \(z\ne 0\). Then
Given the estimate in (8) and the exponential integrating weight in (7), we claim that
for all n. Setting \(a= |a|e^{i\theta }\) we write
Thus, it is enough to show that \(|a|^{2}(2|a|+1)^2-1 \le 0\). But this obviously holds since \(r=|a|<1\) and the values of the function \(g(r)= r^2(2r+1)^2-1\) lies in the interval \([-1,0]\). Now, integrating with polar coordinates shows that the integral in (7) is uniformly bounded by positive number C independent of n. Therefore,
from which and since \(|a|<1\), the relation in (5) holds, and completes the proof.
2.2 The unconditional Ritt’s condition
Once we have completely identified the composition operators which satisfy the Ritt’s resolvent condition, we may proceed to identify further those operators which satisfy the unconditional Ritt’s condition. We recall that an operator T on a Banach space \({\mathcal {X}}\) satisfies the unconditional Ritt’s condition if there exists a nonnegative constant K such that
for any finite sequence \((a_k)\) of complex numbers. We note that the notion of the unconditional Ritt’s condition is the discrete analogue of the \(H^\infty\) calculus for sectorial operators [8]. The condition plays a roll in identifying operators which have \(\ell _1\)-maximal regularity property: see [3] for more details.
Kalton and Portal [3] proved that the unconditional Ritt’s condition implies the Ritt’s resolvent condition in general, but not conversely. However, for the composition operator on the Fock space, it turns out that these two conditions are evidently equivalent.
Corollary 1
Let the composition operator \(C_{\psi}\)be bounded on \({\mathcal {F}}_2\). Then \(C_{\psi}\)satisfies the Ritt’s resolvent condition on \({\mathcal {F}}_2\)if and only if it satisfies the unconditional Ritt’s condition.
Proof
We only need to prove one side of the implication. The other side has already been disclosed above. As in the proof above, set \(\psi (z)= az+b\) and assume that \(C_{\psi}\) satisfy condition (3). We need to show that (11) holds too. Then by Theorem 1, either \(a= 1\) or \(|a|<1\). For the first where \(C_{\psi}\) reduces to the identity map, the required conclusion follows trivially. Thus, assume that \(\psi (z)= az+b\) with \(|a|<1\). In this case by (10), for any finite sequence \((a_k)\) of complex numbers
We finish this note with the following observation on functional calculus of the composition operators. Once the operators which satisfy the Ritt’s condition are identified, the next natural question is to study their polynomial calculus. In [5], Le Merdy proved that any operator T satisfying the Ritt’s condition on a Hilbert space is polynomially bounded, that is
if and only if it is similar to a contraction. We note in passing that there exists operator on Hilbert spaces which satisfy the Ritt’s condition but not polynomially bounded; see [5] for counter examples. \(\square\)
References
Borovykh, N., Drissi, D., Spijker, M.N.: A note about Ritt’s condition, related resolvent conditions and power bounded operators. Numer. Funct. Anal. Optim. 21, 425–438 (2000)
Carswell, B.J., MacCluer, B.D., Schuster, A.: Composition operators on the Fock space. Acta Sci. Math. (Szeged) 69, 871–887 (2003)
Kalton, N.J., Portal, P.: Remarks on \(\ell _1\) and \(\ell _\infty\)-maximal regularity for power bounded operators. J. Aust. Math. Soc. 84, 345–365 (2008)
Kalton, N., Montgomery-Smith, S., Oleszkiewicz, K., Tomilov, Y.: Powerbounded operators and related norm estimates. J. Lond. Math. Soc. 70, 463–478 (2004)
Le Merdy, C.: The similarity problem for bounded analytic semigroups on Hilbert space. Semigroup Forum 56(2), 205–224 (1998)
Lubich, C., Nevanlinna, O.: On resolvent conditions and stability estimates. ibid 31, 293–313 (1991)
Lyubich, Yu.: Spectral localization, power boundedness and invariant subspaces under Ritt’s type condition. Stud. Math. 143(2), 153–167 (1999)
McIntosh, A.: Operators which have an \(H_{infty}\) functional calculus. In: Miniconference on operator theory and partial differential equations, 210–231, Centre for Mathematics and its Applications, Mathematical Sciences Institute, The Australian National University, Canberra AUS, (1986)
Mengestie, T.: Carleson type measures for Fock-Sobolev spaces. Complex Anal. Oper. Theory. 8, 1225–1256 (2014)
Mengestie, T., Seyoum, W.: Spectral properties of composition operators on Fock-type spaces. Quaest. Math. (2019). https://doi.org/10.2989/16073606.2019.1692092
Mengestie, T., Seyoum, W.: Topological and dynamical properties of composition operators. Complex Anal. Oper. Theory 14, 1 (2020)
Nagy, B., Zemanek, J.A.: A resolvent condition implying power boundedness. Stud. Math. 134, 143–151 (1999)
Nevanlinna, O.: Convergence of iterations for linear equations, Lecture Notes in Mathematics, ETH Zürich, Birkhäuser, Basel, (1993)
Nordgren, E., Rosenthal, F.P.: Wintrobe, invertible composition operators on Hp. J. Funct. Anal. 73, 324–344 (1987)
Ritt, R.K.: A condition that \({\rm lim}_{n\rightarrow \infty } n^{-1}T^{n}n =0\). Proc. Am. Math. Soc. 4, 898–899 (1953)
Seyoum, W., Mengestie, T., Bonet, J.: Mean ergodic composition operators on generalized Fock spaces. Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. RACSAM 114, 1 (2020)
Shields, A.L.: On Möbius bounded operators. Acta Sci. Math. (Szeged) 40, 371–374 (1978)
Acknowledgements
Open Access funding provided by Western Norway University Of Applied Sciences.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Patrick Dowling.
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
Mengestie, T. Resolvent growth condition for composition operators on the Fock space. Ann. Funct. Anal. 11, 947–955 (2020). https://doi.org/10.1007/s43034-020-00059-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s43034-020-00059-9
Keywords
- Fock space
- Composition operators
- Ritt’s resolvent condition
- Spectrum
- Bounded
- Compact
- Unconditional Ritt’s condition