Composition operators on Fock-type spaces (Q6157267)

Let \(\Psi : [0,\infty) \rightarrow [0, \infty)\) be a \(C^3\) function, such that \[ \Psi^\prime >0, \Psi^{\prime \prime} \geq 0,\text{ and }\Psi^{\prime \prime \prime} >0\tag{1} \] Assume additionally that there is a real number \(t < 1/2\) such that \[ \Phi^{\prime \prime}(x) = O(x^{-1/2}[\Phi^\prime(x)]^{1+t}), x \rightarrow \infty,\tag{2} \] where \(\Phi(x) = x\Psi^\prime(x)\). The Fock-type space \(F^2_\Psi\) consists of all functions \(f\) holomorphic in \(\mathbb{C}^n\) such that \[ \|f\| = \Big{(} \int \limits_{\mathbb{C}^n} |f(z) \exp{(-\frac{1}{2}\Psi(|z|^2))}|^2 dv(z) \Big{)}^{1/2} < \infty , \] where \(v\) is the standard volume on \(\mathbb{C}^n\). Let \(\varphi : \mathbb{C}^n \rightarrow \mathbb{C}^n\) be a holomorphic map and \(C_\varphi : F^2_\Psi \rightarrow F^2_\Psi\) be the composition operator \(C_\varphi(f) = f \circ \varphi\). For any \(n \in \mathbb{N}\) let \(M(n)\) be the set of all \(n \times n\) complex matrices. If \(A \in M(n)\), \(\|A\|\) is the norm of \(A\) as an operator on \(\mathbb{C}^n\). The author proves the following results. Theorem. Assume conditions (1) and (2). (A) The operator \(C_\varphi\) is bounded on \(F^2_\Psi\) if and only if \(\varphi(z) = Az +B\), where \(A \in M(n)\), \(\|A\| \leq 1\), \(B \in \mathbb{C}^n\), and \(\langle Az, B \rangle = 0\) whenever \(z \in \mathbb{C}^n\) and \(|Az| = |z|\). (B) Assume additionally that \(\Psi(x) \neq ax + b\), where \(a >0\). Then the operator \(C_\varphi\) is bounded on \(F^2_\Psi\) if and only if either \(\varphi(z) = Az +B\), where \(A \in M(n)\), \(\|A\| < 1\), or \(\varphi(z) = Az, \|A\| \leq 1\). (C) The operator \(C_\varphi\) is compact if and only if \(\varphi(z) = Az +B\), where \(A \in M(n)\), \(\|A\| < 1\). (D) For any \(p \in (0, infty)\) the operator \(C_\varphi\) belongs to the Schatten class \(S_p\) if and only \(C_\varphi\) is compact. (E) Assume that \(C_\varphi\) is bounded. Then \[ \sigma(C_\varphi) = cl\{\lambda_1^{\alpha_1} \ldots \lambda_n^{\alpha_n}\}, \] where \(\lambda_1, \ldots , \lambda_n\) are the eigehvalues of \(A\) and \((\alpha_1, \ldots , \alpha_n)\) is an arbitrary multi-index.