Reinhardt domains of holomorphy in Banach spaces (Q1186288): Difference between revisions

The main objects of consideration are holomorphic functions and multiple power series in Banach spaces. Let \(E\) be a complex Banach space with a normalized unconditional Schauder basis \((b_ j)^ \infty_{j=1}\). Then \(\forall z\in E\), \(z=\Sigma z_ jb_ j\), where \(z_ j\in\mathbb{C}\). The authors denoted by I the set of all sequences \(\{\alpha_ j\}^ \infty_{j=1}\), \(\alpha_ j\in\mathbb{N}\), having only finite number of non-zero terms. If \(z\in E\) and \(\alpha\in I\) then \(z^ \alpha=z_{j_ 1}^{\alpha_{j_ 1}}\centerdot\ldots\centerdot z_{j_ n}^{\alpha_{j_ n}}\), where \(\alpha_{j_ 1},\ldots,\alpha_{j_ n}\) are the non-zero terms of \(\alpha\). A multiple power series around a point \(a\in E\) is a series of the form \(\sum_{\alpha\in I}c_ \alpha(z-a)^ \alpha\), \(c_ \alpha\in\mathbb{C}\). The concepts of holomorphy, domain of convergence, Reinhardt domain are defined in a natural way. The main result of the article is the following: for the Reinhardt domain \(U\supset 0\) the following statements are equivalent: \(U\) is the domain of convergence of a multiple power series around 0; \(U\) is modularly decreasing and logarithmically convex; \(U\) is a domain of holomorphy. Some other equivalent statements were discussed.