Analytic completion of an open set

From MaRDI portal





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].











This page was built for publication: Analytic completion of an open set

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2875955)