On approximation by special analytic polyhedral pairs (Q4484543)

In the present paper the author gives a positive answer to the problem for Reinhardt pairs in \(\mathbb{C}^n\) of simultaneous approximation of pluriregular pair ``open set -- compact set'' \(D\supset K\) by a pair of special analytic polyhedra, generated by the same mapping \(f : D\to\mathbb{C}^n\). Let \(D_0\), \(D_1\) be a pair of bounded logarithmically convex complete Reinhardt (= \(n\)-circular) domains such that \(\overline{D}_0\subset D_1\), and \(\omega(z)=\sup\{\gamma(\theta,z):\theta\in\Sigma\), \(z\in\overline{D}_1 \setminus D_0\}\), where \(\Sigma:=\{\theta=(\theta_1,\dots, \theta_n)\in\overline{\mathbb{R}}^n_+:\sum_{k=1}^n\theta_k=1\}\), \[ \gamma(\theta, z):=\frac{\sum_{\nu=1}^n\theta_\nu\ln|z_\nu|-h_{D_0}(\theta)} {h_{D_1}(\theta) - h_{D_0}(\theta)}, \] \(h_D(\theta)\) is characteristic function of \(D\). Then there exist a sequence of polynomial mappings \(f^{(\nu)}=(f^{(\nu)}_j): \mathbb{C}^n\to\mathbb{C}^n\), a sequence \(\alpha_\nu>0\), and a sequence of open sets \(G^{(\nu)}\Uparrow D_1\) such that \[ \omega(z)=\lim_{\nu\to\infty} \alpha_\nu\max\{\ln|f^{(\nu)}_j(z)|:j=1,\dots,n\} \] uniformly on any compact subset of \(D_1\setminus\overline{D}_0\), and a sequence of special polynomial polyhedral pairs \((M^{(\nu)},H^{(\nu)})\) determined by the normalized equilateral frames approximates the pair \((\overline{D}_0,D_1)\) so that \(H_\nu\Uparrow D_1\) and \(M_\nu\Downarrow\overline{D}_0\).