The regularity of spaces of germs of Fréchet valued holomorphic functions and local Dirichlet representation of separately holomorphic functions (Q2569300)

Given Fréchet spaces \(E\) and \(F\), with \(K\) a compact subset of \(E\), \({\mathcal H}(K,F)\) denotes \[ \lim\text{ind}_{K\subset U}({\mathcal H}(U,F),\tau_\omega), \] the space of all holomorphic germs from \(K\) into \(F\). The space of germs \({\mathcal H}(K,F)\) is said to be regular if each bounded subset of \({\mathcal H}(K,F)\) is contained and bounded in \(({\mathcal H}(U,F),\tau_\omega)\) for some open neighbourhood \(U\) of \(K\). A Fréchet space \(E\) with fundamental system of seminorms \((\| \cdot\| _k)_k\) \(E\) is said to be a DN-space if for every positive integer \(p\) there is \(d>0\) such that for every positive integer \(q\) there is a positive integer \(k\) and \(C>0\) such that \[ \| x\| _q^{(1+d)}\leq C\| x\| _k\| x\| _{p}^d \] for all \(x\) in \(E\). Given a balanced convex bounded subset \(B\) of a Fréchet space \(E\) with fundamental system of seminorms \((\| \cdot\| _k)_k\), \(E\) said to have property \((\tilde\Omega_B)\) if for every positive integer \(p\) there is a positive integer \(q\) and \(d>0\) such that for any positive integer \(k\) there is \(C>0\) with \[ \| u\| _q^{*(1+d)}\leq C\| u\| _B^*\| u\| _{p}^* \] for all \(u\) in \(E'\). Given a subset \(D\) of a locally convex space \(E\), a function \(f: D\to {\mathbb C}\) is said to have a local Dirichlet representation on \(D\) if for every \(x_o\) in \(D\) there is a neighbourhood \(U\) of \(x_o\), sequences \((\xi_k)_k\) in \({\mathbb C}\) and \((u_k)_k\) in \(E'\) such that \[ f(z)=\sum_{k=1}^\infty \xi_k\exp(u_k(x)) \] for all \(x\in U\) with \(\sum_{k=1}^\infty | \xi_k| \exp(\| u_k(x)\| _K)<\infty\) for every compact subset \(K\) of \(U\). The author shows that if \(K\) is a balanced convex compact subset of a Fréchet nuclear space \(E\) with \((\tilde\Omega_K)\) and \(F\) is a reflexive Fréchet space, then the space of holomorphic germs \({\mathcal H}(K,F)\) is regular. In the second part of the paper, the author proceeds to show that given a balanced, convex, non-pluripolar compact subset \(K\) of a Fréchet nuclear space \(E\), a Fréchet nuclear space \(F\) is a (DN) space if and only if each separately holomorphic function on \(K\times F'\) is holomorphic (on some neighbourhood of \(K\times F'\)) if and only if each separately holomorphic function on \(K\times F'\) has a local Dirichlet representation.