Analytic completion of an open set (Q2875955)

Let \(E\) be a dense vector subspace of a (real or complex) Banach space \(\widetilde E\). Consider a nonempty open subset \(U\subseteq E\) and let \(\widetilde U\) denote the biggest open subset of \(\widetilde E\) such that \(\widetilde U \cap E = U\).NEWLINENEWLINEThe article under review discusses the question whether an analytic function on \(U\) can be extended to an analytic function on \(\widetilde U\), generalizing ideas of Hirschowitz, Noverraz and Dineen who studied extensions of analytic functions defined on the whole space \(E\) instead of an open subset.NEWLINENEWLINEThe main results can be summarized as follows:NEWLINENEWLINE\(\bullet\) Every analytic function \(f\) on \(U\) can be extended to some open set \(\Omega_f\subseteq \widetilde U\) which may depend on \(f\) (Proposition 2.2 for the complex case and Proposition 4.4 for the real case).NEWLINENEWLINE\(\bullet\) Furthermore, the open sets \(U\subseteq E\) for which every analytic function \(f\) can be extended to \(\widetilde U\) are characterized using bounding sequences (Theorem 3.3 for the complex case and Theorem 4.3 for the real case).NEWLINENEWLINEThe results are established in the complex case using the Cauchy inequalities (Section 2 and 3) and then used to show the corresponding statements in the real case (Section 4). In Section 5, the authors give interesting examples where the extension process is possible and others where it is not. The paper is well written and the arguments are easy to follow.NEWLINENEWLINEFor the entire collection see [Zbl 1287.00022].