Topological and dynamical properties of composition operators (Q2299283)

The composition operator induced by an entire function \(\psi\) is defined as \(C_{\psi} f = f \circ \psi\), for each holomorphic function \(f\) defined on the complex plane \(\mathbb{C}\). Consider a twice continuously differentiable function \(\varphi :[ 0 , \infty ) \rightarrow [ 0 , \infty ) \) and extend it to the whole complex plane by \(\varphi (z) = \varphi ( |z| )\). Let \(0 < p < \infty\). Under some growth and smoothness conditions on \(\psi\), the generalized Fock space \(\mathcal{F}^p _{\varphi}\) consists of all entire functions \(f\) for which \[ \| f \|_p^p := \int_{\mathbb{C}} |f(z)|^p e^{-p \varphi(z)} dA(z) < \infty; \] here, \(dA\) denotes the Lebesgue area measure on \(\mathbb{C}\). The paper is devoted to some topological and dynamical properties of composition operators on generalized Fock spaces. Let \(\psi\) be a nonconstant entire function and \(0 < p, q < \infty\). The main results that are presented in this paper are as follows. 1.~The boundedness and compactness of \(C_{\psi} : \mathcal{F}^p _{\varphi} \rightarrow \mathcal{F}^q _{\varphi}\) are discussed. Specifically, these concepts are equivalent when \(p \neq q\); in this case, the inducing map \(\psi\) is of the form \( \psi (z) = az+b\) for some scalars \(a\) and \(b\) with \(| a | < 1\). If \(p = q\), the inducing map \(\psi\) for a bounded operator or a compact operator \(C _{\psi}\) is again linear. More precisely, if we let \( \psi (z) = az+b\), the boundedness of \(C _{\psi}\) is equivalent to the fact that \(|a| \leq 1\), and \(b = 0\) whenever \(|a| = 1\); also, the compactness of \(C _{\psi}\) is equivalent to \(|a| < 1\). 2.~If \(C _{\psi}\) is a bounded noncompact operator on \(\mathcal{F}^p _{\varphi}\) where \(p \geq 1\), then its essential norm and its operator norm are comparable. This means that each of which is less than or equal to a scalar multiple of the other. For the Hilbert space case, both the essential norm and the operator norm of \(C _{\psi}\) equal \(1\). 3.~Each compact operator \(C _{\psi}\) on \(\mathcal{F}^2 _{\varphi}\) belongs to the Schatten \(S_p (\mathcal{F}^2 _{\varphi} ) \) class for all \(0 < p < \infty\). 4.~Unitary and hyponormal composition operators on \(\mathcal{F}^2 _{\varphi}\) are characterized. Indeed, a bounded composition operator \(C _{\psi}\) on \(\mathcal{F}^2 _{\varphi}\) is unitary iff \(\psi (z) = az\) with \(|a| = 1\). Moreover, it is shown that a hyponormal composition operator is normal. 5.~Dynamical properties of \(C _{\psi}\) are also discussed in the paper. Recall that a bounded linear operator \(T\) on a (separable) Banach space \(X\) is supercyclic if there is a vector \(x \in X\), called a supercyclic vector, such that \( \{ \alpha T^nx : \alpha \in \mathbb{C},\, n= 0, 1, 2, \dots \}\) is dense in \(X\). Furthermore, \(T\) is a cyclic operator if the linear span of \(\{ T^nx : n= 0, 1, 2, \dots \}\) is dense in \(X\) for some \(x \in X\); in this case, \(x\) is called a cyclic vector for \(T\). The authors have proved that \(C _{\psi}\) is not supercyclic on \(\mathcal{F}^p _{\varphi}\) for \(1 \leq p < \infty\). Nevertheless, it can be cyclic. Indeed, \(C _{\psi}\) is cyclic iff \(a^n \neq a\) for all \(n > 1\). In this case, cyclic vectors are completely determined. 6.~At last, some topological structures of the space of bounded composition operators \(C_{\psi} : \mathcal{F}^p _{\varphi} \rightarrow \mathcal{F}^q _{\varphi}\), equipped with the operator norm topology, are presented. This space is denoted by \(C( \mathcal{F}^p , \mathcal{F}^q )\). It is connected when \(p \neq q\). But for the case \(p = q\), noncompact composition operators are isolated points and compact composition operators form a connected component of \(C( \mathcal{F}^p , \mathcal{F}^p )\). Besides, it is shown that the compactness of two composition operators with different inducing maps is equivalent to the compactness of their difference.