Polynomial automorphisms and hypercyclic operators on spaces of analytic functions

DOI10.1007/S00013-007-2043-4MaRDI QIDQ2642852zbMATH OpenOpenAlexFDO

Authors Zoryana Novosad, A. V. Zagorodnyuk

Publication date 6 September 2007

Published in Archiv der Mathematik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00013-007-2043-4

functional spaces hypercyclic operators polynomial automorphisms symmetric functions

Algebras of holomorphic functions of several complex variables (32A38) Topological linear spaces of continuous, differentiable or analytic functions (46E10) Spaces of differentiable or holomorphic functions on infinite-dimensional spaces (46E50) Infinite-dimensional holomorphy (46G20) Cyclic vectors, hypercyclic and chaotic operators (47A16) Linear operators on function spaces (general) (47B38)

Review text

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.

Recommendations

Cited in

(11)

This page was built for publication: Polynomial automorphisms and hypercyclic operators on spaces of analytic functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2642852)