Spectra of weighted composition operators on analytic function spaces (Q2295442)

For a complex Banach space \(E\) of arbitrary dimension, the open unit ball \(B_E=\{x \in E : ||x|| < 1\}\), the Banach space \(X(B_E)\) of analytic functions on \(B_E\), the pair \((\varphi,u)\), where \(\varphi : B_E \rightarrow B_E\) analytic and \(u \in H(B_E)\), induces a weighted composition operator (WCO) \(uC_{\varphi} : X(B_E) \rightarrow X(B_E)\) given by \(uC_{\varphi}(f) = u(f\circ\varphi)\) which preserves \(H(B_E)\). The paper under review investigates the WCO \(uC_{\varphi} : X(B_E) \rightarrow X(B_E)\), specifically its spectrum \(\sigma(uC_{\varphi})\). To obtain interesting results, the paper enforces certain unavoidable assumptions that the space \(X(B_E)\) needs to satisfy (Assumptions I--IV, Section 2). These assumptions are fullfilled by very natural and common Banach spaces of analytic functions such as the weighted Bergman spaces \(A_{\alpha}^p(\mathbb{B_{\mathbb{N}}})\), the Hardy spaces \(H^p(\mathbb{B}_{\mathbb{N}})\) (\(1 \le p < \infty\), \( \alpha > -1\)), and the weighted spaces of \(H_{\nu}^{\infty}(B_E)\) of analytic functions. For \(uC_{\varphi} : X(B_E) \rightarrow X(B_E)\), \(\varphi : B_E \rightarrow B_E\) satisfying the following core conditions: \(\varphi(0)=0\), \(||\varphi'(o)|| < 1\) and \(\varphi(B_E)\) is a relatively compact subset of \(E\), the main result of the paper asserts that, if there exists \(W \subseteq B_E\) with \(\varphi(W) \subseteq W\) such that a certain Julia-type estimate holds for some \( \epsilon > 0\), \(\delta > 0\), then \(\sigma(uC_{\varphi})\) contains a disc centered at \(0\) and all finite products of eigenvalues of the derivative map \(\varphi'(0) \in {\mathcal{L}}(E)\), the Banach algebra of all bounded operators on \(E\). Several important corollaries specialize the main result on \(A_{\alpha}^p(\mathbb{B_{\mathbb{N}}}), H^p(\mathbb{B}_{\mathbb{N}})\) (\(p \ge 1 \), \( \alpha > -1\)) and \(H_{\nu}^{\infty}(B_E)\), recovering results in [\textit{E. A. Gallardo-Gutiérrez} and \textit{R. Schroderus}, J. Funct. Anal. 271, No. 3, 720--745 (2016; Zbl 1344.47020); \textit{P. Galindo} and \textit{A. Miralles}, Integral Equations Oper. Theory 65, No. 2, 211--222 (2009; Zbl 1181.47021); \textit{C. Yuan} and \textit{Z.-H. Zhou}, Czech. Math. J. 61, No. 2, 371--381 (2011; Zbl 1245.47014); \textit{C. C. Cowen} and \textit{B. D. MacCluer}, J. Funct. Anal. 125, No. 1, 223--251 (1994; Zbl 0814.47040)].