On algebras of holomorphic functions of a given type (Q764923)

The author introduces a modification of Nachbin's familiar concept of holomorphic functions of bounded types which applies to Riemann domains spread over a Banach space as follows. A sequence \({\mathcal A}= \big( {\mathcal A}_k \big)_{k=1}^\infty\) of Banach ideals \({\mathcal A}_k\) of \(k\)-homogeneous polynomials in the sense of \textit{K. Floret} [Result. Math. 39, No. 3--4, 201--217 (2001; Zbl 1017.46030)] is a holomorphy type if for each \(\ell<k\) there exists \(c_{k,\ell}>0\) such that for every Banach space \(E\), \(a\in E\) and any \(k\)-homogeneouous polynomial \(P(x)=\check{P}(x^k)\) with \(P \in {\mathcal A}_k(E) = {\mathcal A}_k \cap {\mathcal P}^k(E)\) we have \(P_{a^\ell} = \check{P}(a^\ell,x^{k-\ell}) \in {\mathcal A}_{k-\ell}(E)\) and \(\| P_{a^\ell} \|_{{\mathcal A}_{k-\ell}(E)} \leq \| P\|_{{\mathcal A}_k(E)} \| a\|^\ell\). Let \((X,q)\) be a Riemann domain spread over a Banach space \(E\) where the base projection \(q:X\to E\) is invertible locally around the \(X\)-balls \(B_{s(x)}=\{ y\in X:\;\| q(y)-q(x)\|<s(x)\}\) \((x\in X)\). A holomorphic function \(f:X\to\mathbb C\) is of type \({\mathcal A}\) with \({\mathcal A}\)-radius of convergence \(r\) around a point \(x\in X\) if \[ d^k f(z)= d^k[f \circ (q| B_{s(z)})^{-1}(q(z)] \in {\mathcal A}_k(E)\,(k=0,1,\dots;\;z\in X) \] and \[ r=\limsup_{k\to\infty} \| d^k f(x)/k! \|_{{\mathcal A}_k(E)}^{-1/k} >0. \] Accordingly, \(f\) is of \({\mathcal A}\)-bounded type on \((X,q)\) if for every point \(x\in X\) the power series of \(f\circ (q| U)^{-1}\) around \(x\) converges locally uniformly on any \(X\)-ball \(U\) of local invertibility of \(q\) with center \(x\) and for each open \(X\)-bounded set \(A\), \(p_A(f) = \sup \{ p_s^x(f): \;B_s(x)\subset A \} <\infty\) with the seminorms \(p_s^x(f)=\sum_{k=1}^\infty s^k \| k!^{-1} d^k f(x)\|_{{\mathcal A}_k(E)}\). The first main result concerns multiplicative holomorphy types: \({\mathcal A}=({\mathcal A}_k)_{k=0}^\infty\) is multiplicative at \(E\) if there exists a family \((c_{k\ell})_{k,\ell=0}^\infty\) of constants such that for each \(P\in{\mathcal A}_k(E)\) and \(Q\in{\mathcal A}_\ell(E)\) we have \(PQ\in{\mathcal A}_{k+\ell}(E)\) with \(\| PQ\|_{{\mathcal A}_{k+\ell}(E)} \leq \| P\|_{{\mathcal A}_k(E)} \| Q\|_{{\mathcal A}_\ell(E)}\). If \(c_{k\ell} \leq [(k+\ell)^{k+\ell}/(k^k \ell^\ell)][(k+\ell)!/(k!\ell!)]\) (\(k,\ell=0,1,\dots\)), which is the case for most commonly used polynomial ideals, then the space \(H_{b{\mathcal A}}(X,q)\) of holomormorphic functions of \({\mathcal A}\)-bounded type is a locally \(m\)-convex Fréchet algebra. If, additionally, \({\mathcal A}\) is regular at \(E\) and closed for the Aron-Berner extension [\textit{R. M. Aron} and \textit{P. D. Berner}, Bull. Soc. Math. Fr. 106, 3--24 (1978; Zbl 0378.46043)] then the spectrum of \(H_{b{\mathcal A}(E)}(X)\) is a Riemann domain over \(E^{\prime\prime}\) in a natural canonical manner. The paper ends with an exhaustive study of holomorphic extensions by means of \({\mathcal A}\)-type functions which includes a Cartan-Thullen type theorem and is illustrated by several examples.