Large subspaces of compositionally universal functions with maximal cluster sets (Q765686)

Let \(G\subset\mathbb{C}\) be a domain such that \(\partial G\) is a homeomorphic image of \(\partial\mathbb{D}\), where \(\mathbb{D}=\big\{z\in\mathbb{C}:| z| <1\big\}\). If \(f:G\rightarrow \mathbb{C}\) is a function and \(A\) is a subset of \(G,\) then the cluster set of \(f\) along \(A\) is defined as the set \(C_A(f)\) of points \(w\in\mathbb{C}_{\infty}:=\mathbb{C}\cup\{\infty\}\) such that there exists a sequence \((z_n)\) in \(A\) tending to some point of \(\partial G\) satisfying \(f(z_n)\rightarrow w\). We denote by \( \Gamma (G)\) the family of all curves \(\gamma\) in \(G\) tending to the boundary of \(G\) and satisfying \((\partial G)\setminus \overline{\gamma}\neq\emptyset\). The paper deals with the combination of the phenomena of dense-lineability or spaceability with the maximality of cluster sets of holomorphic functions. To be more precise, we say that a subset of an infinite dimensional topological vector space \(X\) is dense-lineable (resp. spaceable) if it contains a dense (resp. closed infinite-dimensional) linear subspace of \(X\) apart from zero. So the main result states as follows: Let \((\varphi_n)\) be a sequence of holomorphics self-maps of \(G\) such that, for every compact subset \(K\) of \(G,\) there is some \(N\in\mathbb{N}\) such that \(\varphi_N(K)\cap K=\emptyset\) and the restriction \(\varphi_{N| K}\) is injective. Then the set \(MCS\big(\Gamma(G)\big)\cap HC(C_{\varphi_n})\) is dense lineable and spaceable in \(H(G)\), where - \(H(G)\) is the vector space of holomorphic functions endowed with the topology of uniform convergence on compact sets; - \(MCS\big(\Gamma(G)\big)\) stands for the set of functions \(f\in H(G)\) satisfying \(C_A(f)=\mathbb{C}_{\infty}\) for all \(A\in \Gamma (G)\); - \(HC(C_{\varphi_n})\) stands for the set of functions \(f\in H(G)\) whose orbit \(\big\{C_{\varphi_n}(f):=f\circ\varphi_n:n\in\mathbb{N}\big\}\) (i.e. the orbit under the sequence of composition operator \(C_{\varphi_n}:H(G)\rightarrow H(G)\), \(f\mapsto f\circ\varphi_n\)) is dense in \(H(G)\). At the end of the paper there is an interesting open question: Let \((T_n)\) be a hereditarily densely hypercyclic sequence of operators on \(H(G)\), and let \(HC(T_n)\) be the set of its universal elements. Is the set \(MCS\big(\Gamma(G)\big)\cap HC(T_n)\) dense-lineable or spaceable?