Simultaneously maximal radial cluster sets (Q2567268): Difference between revisions

The radial cluster set \(C_\rho(F,t)\) of a complex-valued function \(F\) defined on the unit disk \(\mathbb{D}\) consists of those \(w\in \widehat{\mathbb{C}}\) such that \(F(z_n)\to w\) along some sequence \(\{z_n\}\subset \mathbb{D}\) that converges to \(t\in \mathbb{T}\), the unit circle, along a ray. It is known that there is a residual set (i.e. one whose complement has first category) of functions in \(H(\mathbb{D})\) -- the Fréchet space of functions holomorphic in \(\mathbb{D}\) with the topology of local uniform convergence -- such that \(C_\rho(F,t)\) is maximal, i.e., \(C_\rho(F,t)=\widehat{\mathbb{C}}\), for any \(t\) in some residual set of \(\mathbb{T}\) depending on \(f\). Here the authors address a question of stability of this property under certain operators. One says that \(T:H(\mathbb{D})\to H(\mathbb{D})\) is locally stable if, for each compact subset \(K\subset \mathbb{D}\) there is in turn a compact subset \(M\subset \mathbb{D}\) such that, for each compact set \(L\subset \mathbb{D}\setminus M\) having connected complement, for each \(f\in H(\mathbb{D})\), and each \(\varepsilon>0\) there is a compact \(L'\subset \mathbb{D}\setminus K\) with connected complement and \(\delta>0\) such that \(\| Tf-Tg\| _{L}<\varepsilon\) whenever \(\| f-g\| _{L'}<\delta\). One also says that \(T\) has locally dense range at constants if there is a compact \(S\subset \mathbb{D}\) such that if \(L\subset \mathbb{D}\setminus S\) has connected complement and \(\varepsilon>0\), there is an \(F\in H(\mathbb{D})\) such that \(\| TF -f\| _{L}<\varepsilon\). The authors prove that if \(T:H(\mathbb{D})\to H(\mathbb{D})\) is continuous, locally stable, and has locally dense range at constants, then there is a residual set of functions \(f\in H(\mathbb{D})\) such that \(C_\rho(Tf,t)=\widehat{\mathbb{C}}\) for all \(t\in \mathbb{T}\). For example, every non-zero infinite order differential operator \(\Phi(D)\) on \(H(\mathbb{D})\) induced by an entire \(\Phi\) of subexponential type has this property. Other examples are provided.