Common universal restrictions of power series (Q633167)

Let \({\mathcal F}_N\), \(N \geq 1\), be the ring of formal power series \(\mathbb{C}[[\underline{z}]] = \mathbb{C}[[z_1,\dots,z_N]]\). For \(\overline{\gamma} = (\gamma_1,\dots,\gamma_N) \in \mathbb{C}^N\), we denote by \({\mathcal U}_{\overline{\gamma}}({\mathcal F}_N)\) the set of all power series \[ f(z_1,\dots,z_N) = \sum_{\substack{ J \in \mathbb{N}^N \\ J=(j_1,\dots,j_N)}} a^{}_{J} z_1^{j_1} \cdots z_N^{j_N} \quad\in {\mathcal F}_N \] with the following property: For every compact set \(K \subseteq \mathbb{C} \setminus \{ 0\}\) with connected complement, and for every function \(h : K \to \mathbb{C}\) continuous on \(K\) and holomorphic in the interior of \(K\), there exists an increasing sequence \((\lambda_n) \subseteq \mathbb{N}_0\) sucht that, uniformly on \(K\), \[ \sum_{j=0}^{\lambda_n} \Bigg(\sum_{|J|=j} a^{}_{J} \gamma_1^{j_1} \cdots \gamma_N^{j_N} \Bigg) z^j_{}\longrightarrow h(z) \quad\text{for}\quad n \to \infty, \] where \(|J| := j_1 + \dots + j_N\). The author shows that \({\mathcal U}_{\overline{\gamma}}({\mathcal F}_N)\) is \(G_{\delta}\) and dense, and that \[ \bigcap_{\overline{\gamma} \not= 0} {\mathcal U}_{\overline{\gamma}}({\mathcal F}_N) \] is residual in \({\mathcal F}_N\), with respect to the topology defined by the seminorms \[ |f|_m = \sum_{j=0}^m \sum_{|J|=j} |a_J|, \quad d(f,g) = \sum_{m=0}^{\infty} 2^{-m} \frac{|f-g|_m}{1 + |f-g|_m}. \] Both sets contain (apart from \(0\)) a dense vector subspace of \({\mathcal F}_N\). For \(N = 1\), these results go back to \textit{A. I. Seleznev} [Mat. Sb., N. Ser. 28(70), 453--460 (1951; Zbl 0043.29501)].