Dense linear manifolds of monsters (Q1867518)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Dense linear manifolds of monsters
scientific article

    Statements

    Dense linear manifolds of monsters (English)
    0 references
    2 April 2003
    0 references
    Let \(G\) be a domain of the complex plane \(\mathbb{C}\) with boundary \(\partial G\); for \(r> 0\), \(a\in\mathbb{C}\), let the ball \(\{z\in\mathbb{C}:|z-a|< r\}\) be denoted by \(B(a,r)\), and let the unit ball \(B(0,1)\) be denoted by \(D\). The set of holomorphic functions on \(G\) is denoted by \(H(G)\). The function \(f\in H(G)\) is said to be a holomorphic monster if for \(g\in H(D)\) and \(t\in\partial(G)\) there is a sequence \(\{\tau_j\}\) of affine linear transformations such that \(\tau_j(z)\to t\) uniformly in \(D\) (as \(j\to\infty\)), \(\tau_j(D)\subseteq G\), \(j= 1,2,\dots\); \(f(\tau_j(z))\to g(z)\) uniformly in \(D\) (as \(j\to\infty\)). If \(U^*(T,g,\varepsilon, r,\sigma)= \{f\in H(G)\): there is an integer \(j\) with \(\|T(f)\circ\tau_j- g\|_{r D}< \varepsilon\}\), where \(\sigma= \{\tau_j\}\in N(\partial G)\), so that there is at least one boundary point \(t\) of \(G\), and a sequence \(\{\tau_{n_j}\}\) such that \(\tau_{n_j}\to t\) uniformly on \(D\) (as \(j\to\infty\)), then the operator \(T\) is said to be totally omnipresent if \(U^*(T,g,\varepsilon, r,\sigma)\) is a dense subspace of \(H(G)\). A number of results of this paper provide conditions that some operators are totally omnipresent. In particular, it is shown that \(T\) is totally omnipresent if (i) \(T\) is \(\partial\)-hypercyclic and is locally stable near the boundary, (ii) \(T= C_\phi\) where \(C_\phi(f)= f\circ\phi\), and \(\phi\) is proper and locally one-to-one near the boundary or \(\phi\) is a polynomial of degree 1 or 2. In one of the main conclusions, it is shown that if \(\{S_j\}\) is a class of linear totally omnipresent operators on \(H(G)\), then there is a dense linear submanifold \(M\) of \(H(G)\) such that \(M\setminus\{0\}\subseteq \bigcap{\mathcal M}(S_j)\), where \({\mathcal M}(S)= \{f: S(f)\) is a holomorphic monster\}. There are references to the results of \textit{W. Luh} [J. Approximation Theory 53, 128-144 (1988; Zbl 0669.30020)], relating to holomorphic monsters.
    0 references
    0 references
    0 references
    0 references
    0 references
    holomorphic monster
    0 references
    \(T\)-monster
    0 references
    strongly omnipresent operator
    0 references
    totally omnipresent operator
    0 references
    dense linear manifold
    0 references
    hypercyclic sequence
    0 references
    composition operator
    0 references
    infinite order linear differential operator
    0 references
    integral operator
    0 references
    0 references