Universal matrix-overconvergence of noncontinuable holomorphic functions (Q2494440)

From MaRDI portal





scientific article; zbMATH DE number 5036260
Language Label Description Also known as
default for all languages
No label defined
    English
    Universal matrix-overconvergence of noncontinuable holomorphic functions
    scientific article; zbMATH DE number 5036260

      Statements

      Universal matrix-overconvergence of noncontinuable holomorphic functions (English)
      0 references
      0 references
      0 references
      27 June 2006
      0 references
      Let \(\mathbb D\) be the complex open unit disc in the complex plane and let \(G\subset\mathbb C\) be a domain . Denote by \(H_e(G)\) the subclass of holomorphic functions in \(G\) for which the boundary \(\delta G\) is a natural boundary for \(f\) (i.e the class \(H(G)\) is the class of functions that are ``exactly'' holomorphic on \(G\)). Also: if \(K\in \mathbb C\) is a compact set, then \(A(K)\) is the class of all functions, continuous on \(K\) and holomorphic in the interior \(K^0\) of \(K\), and, for the domain \(G\in \mathbb C\), \({\mathcal M}(G)\) is the class of all compact sets \(K\subset G^c\;(G^c=\mathbb {C}\backslash G)\) with connected complement \(K^c=\mathbb C\backslash K\). The purpose of the paper is to prove the following theorem and to give also some consequences: Theorem: Let \(G\) be a simply connected domain of the complex plane, so that \(\mathbb D\in G\) and \(\overline{{\mathbb D}}\not\subset G\), and a triangular matrix \(A=[a_{n\nu}]\) be given, such that: \[ \begin{aligned} \lim_{n\to\infty}a_{n\nu}& =0\quad \text{for all} \;\nu\in\mathbb{N}_{0},\\ \lim_{n\to\infty}\sum_{\nu=0}^{n}a_{n\nu}& =\alpha\in\mathbb C\backslash\{0\}, \quad \sup_{n}\sum_{\nu=0}^{n}|a_{n\nu}|\delta^{\nu}<\infty\quad \text{for some}\;\delta> 0.\end{aligned} \] Then, there exists a function \(\Phi\in H_e(G)\) with the following properties: \[ (1)\qquad \sigma(\zeta,z)=\sum_{\nu=0}^{n}a_{n\nu}s_{\nu}(\zeta,z),\quad \text{where} \;s_{\nu}(\zeta,z)=\sum_{\mu=0}^{\nu}\frac{\Phi^{(\mu)}(\zeta)}{\mu !}(z-\zeta)^{\mu} \] satisfy \[ \sigma_{r_{n}}(\zeta,z)@>>G>\alpha\Phi(z) \;\text{uniformly on compact subsets for all}\;\zeta\in G. \] (2) For any set \(K\in{\mathcal M}(G)\) and any function \(f\in A(K)\), there exists a sequence \(\{n_k\}\subset\mathbb N\) with: \[ \sigma_{r_{n_{k}}}(\zeta,z)@>>K> f(z)\;\text{uniformly for all} \;\zeta\in G. \]
      0 references
      holomorphic functions
      0 references

      Identifiers