Density of polynomials in classes of functions on products of planar domains (Q497747)

Let \(\Omega = \prod_i \{ \Omega_i \mid i \in I\}\) be a product of bounded domains \(\Omega_i \subset \mathbb C\), each having the property that \({\overline {\Omega_i}}^o = \Omega_i,\) \({\overline{\Omega_i}}^c\) is connected, and for each \(i\), there exists \(M_i < \infty\) such that any two points in \(\Omega_i\) can be joined by a path in \(\Omega_i\) of length at most \(M_i\). We say that a function \(f:\overline{\Omega} \to \mathbb C\) belongs to \(\mathcal A(\Omega)\) if \(f\) is continuous on \(\overline{\Omega}\) (endowed with the product topology) and separately holomorphic on \(\Omega\). By a polynomial on \(\prod_i\{\mathbb C_i \mid i \in I\}\), where \(\mathbb C_i = \mathbb C\) for all \(i\), is meant a finite sum of monomials. Further, \(\mathcal A^\infty(\Omega)\) consists of all \(f \in \mathcal A(\Omega)\) such that for any differential operator \(D = \frac{\partial^{\alpha_1 + \cdots + \alpha_n}} {\partial z_{i_1}^{\alpha_1} \cdots \partial z_{i_n}^{\alpha_n}}\), \(Df \in \mathcal A(\Omega)\). The space \(\mathcal A^\infty(\Omega)\) is endowed with the topology of uniform convergence over all such operators \(D\). Among other things, the authors prove that under the above assumptions, the polynomials are dense in \(\mathcal A^\infty(\Omega)\). In addition, they characterize the uniform limits, with respect to the chordal metric, of polynomials on \(\prod_i\{\Omega_i \mid i \in I\}\). In the case when \(\Omega_i = \{z \in \mathbb C \mid |z| < 1\}\) and \(I = \mathbb N\), the authors' polydisc algebra \(\mathcal A(\Omega)\) is closely related to \(\mathcal A_u(B_{c_0})\), the algebra of uniformly continuous holomorphic functions on the open ball of \(c_0\). (See, e.g., the reviewer et al. [Math. Ann. 353, No. 2, 293--303 (2012; Zbl 1254.46057)].)