Holomorphic mappings of uniformly bounded type and the linear topological invariants \((H_{ub})\), \((LB^\infty)\) and \((DN)\) (Q1888638)

Given locally convex spaces \(E\) and \(F\), \({\mathcal H}(E,F)\) denotes the space of all holomorphic functions from \(E\) into \(F\). Certain subspaces of \({\mathcal H}(E,F)\) arise naturally. Among these are \({\mathcal H}_b(E,F)\), the space of \(f\) in \({\mathcal H}(E,F)\) which are bounded on bounded subsets of \(E\), and \({\mathcal H}_{ub}(E,F)\), the space of all \(f\) in \({\mathcal H}(E,F)\) which are bounded on all multiples of some neighbourhood of \(0\). In general, \({\mathcal H}_{ub}(E,F)\subseteq {\mathcal H}_b(E,F)\subseteq {\mathcal H}(E,F)\). A locally convex space \(E\) is said to belong to \((H_{ub})\) if \({\mathcal H}(E,{\mathbb C})={\mathcal H}_{ub}(E,{\mathbb C})\). A Fréchet space \(E\) with fundamental system of seminorms \((\| \cdot\| _k)_k\) \(E\) is said to be a DN-space if there is a seminorm \(\| \cdot\| \) on \(E\) such that for any positive integer \(k\) there is a positive integer \(n\) and \(C>0\) such that \[ \| x\| _k\leq r\| x\| +\tfrac Cr\| x\| _{k+n} \] for all \(r>0\) and all \(x\in E\). A Fréchet space \(E\) is said to have property \((LB^\infty)\) if there is a sequence of positive real numbers \(\{\rho_n\}\) increasing to \(\infty\) such that for every positive integer \(p\) there is a positive integer \(q\) such that for all \(n_o\) in \({\mathbb N}\) there is \(N_o\geq n_o\) and \(C>0\) such that for all \(u\) in \(E'\) there is a positive integer \(k\) with \(n_o\leq k\leq N_o\) such that \[ \| u\| _q^{*1+\rho_k}\leq C\| u\| _k^*\| u\| _p^{*\rho_k}. \] This paper is concerned with obtaining necessary and sufficient conditions to ensure \({\mathcal H}_b(E,F)={\mathcal H}_{ub}(E,F)\) in terms of the linear invariants \(({\mathcal H}_{ub})\), \((DN)\) and \((LB^\infty)\). The main result of the paper is that a Fréchet space \(F\) has \((DN)\) if and only if \({\mathcal H}_b(E,F) ={\mathcal H}_{ub}(E,F)\) for every Fréchet Schwartz space \(E\) with \(({\mathcal H}_{ub})\). The authors also obtain results for DF-spaces. They show that given Fréchet spaces \(E\) and \(F\), \(E\) has \((DN)\) if and only if \({\mathcal H}_b(E'_b,F'_b)={\mathcal H}_{ub}(E'_b,F'_b)\) for every Fréchet space \(F\) with \((LB^\infty)\) while \(E\) has \((LB^\infty)\) if and only if \({\mathcal H}_b(F'_b,E'_b)={\mathcal H}_{ub}(F'_b,E'_b)\) for every Fréchet space \(F\) with \((DN)\). In the course of proving the main theorem, the authors show that the class of Fréchet Schwartz spaces with \(({\mathcal H}_{ub})\) is closed under finite products.