Polynomial automorphisms and hypercyclic operators on spaces of analytic functions (Q2642852)

Let \((e_j)_{j=1}^{\infty}\) be the canonical basis of \(\ell_1\). A complex function \(g\) on \(\ell_1\) is called symmetric if for every \(x=\sum_{j=1}^{\infty}x_je_j \in \ell_1\), \(g(x)=g(\sum_{j=1}^{\infty}x_je_j )=g(\sum_{j=1}^{\infty}x_je_{\sigma(j)})\) whenever \(\sigma\) is a permutation of the set \(\{1,\dots,m\}\), \(m\in \mathbb N\). A sequence of homogeneous polynomials \((P_j)_{j=1}^{\infty}\) with deg\(P_k=k\) is called a \textit{homogeneous algebraic basis} for the algebra of symmetric polynomials if, for every symmetric polynomial \(P\) of degree \(n\) on \(\ell_1\), there exists a polynomial \(q\) on \(\mathbb C^n\) such that \(P(x)=q(P_1(x),\dots,P_n(x))\). An algebraic basis used in this paper is \(F_k(x)=\sum_{j=1}^{\infty}x_j^k\). The algebra of symmetric complex functions on \(\ell_1\) which is the completion of the algebraic span of the polynomials \(F_1,\dots, F_n\) in the uniform topology on the bounded subsets of \(\ell_1\) is denoted by \(H_n^s(\ell_1)\). The authors' first result is as follows. Let \(\Phi=(\Phi_1,\dots,\Phi_n)\) be a polynomial map from \(\mathbb C^n\) into \(\mathbb C^n\) and let \({\mathbf P}=(P_1,\dots,P_n)\) be an algebraic basis for \(H_n^s(\ell_1)\). Then \(\Phi\) is a polynomial automorphism if and only if \((\Phi_1({\mathbf P}),\dots,\Phi_n({\mathbf P})\) is an algebraic basis for \(H_n^s(\ell_1)\). Among other results, the authors prove that, whenever \({\mathbf P}=(P_k)_{k=1}^n\) is an algebraic basis for \(H_n^s(\ell_1)\), then the map \(\mathcal F^{\mathbf P}_n:f(t_1,\dots,t_n)\mapsto f(P_1(x),\dots,P_n(x))\) is a topological isomorphism from \(H(\mathbb C^n)\) onto \(H_n^s(\ell_1)\). When \(P_i=F_i\), this was shown by \textit{R.\,Alencar, R.\,Aron, P.\,Galindo} and \textit{A.\,Zagorodnyuk} [Bull.\ Lond.\ Math.\ Soc.\ 35, No.\,1, 55--64 (2003; Zbl 1026.46035)]. This fact is very important, since many results known for operators on \(H(\mathbb C^n)\) can be interpreted in the new situation. In particular, the symmetric translation operator \(\mathcal T_y\), defined by \(\mathcal T_y(f)(x):=f(x\bullet y)\), where \(x\bullet y:=\sum_{j=1}^{\infty}x_je_{2j-1}+\sum_{j=1}^{\infty}y_je_{2j}\) for \(x,y\in\ell_1\), is shown to be hypercyclic if \((F_1(y),\dots,F_n(y))\) is a nonzero vector in \(\mathbb C^n\). The authors finish the paper by proving that, for any \(y\neq 0\), the operator \(\mathcal T_y\) is hypercyclic on the algebra of symmetric entire functions on \(\ell_1\) which are bounded on bounded sets.