No label defined (Q4363979)

Let \(E\) be a Borel set with closure \(\overline E\) contained in a bounded, hyperconvex domain \(\Omega\) in \(\mathbb{C}^N\). Let \(u^*_E (z)\) and \(V^*_E (z)\) be the relative and global extremal functions of \(E\), resp., and let \((dd^c u^*_E)^N\) and \((dd^c V_E^*)^N\) be the relative and global equilibrium measures for \(E\), resp. (For corresponding definitions and background, see \textit{M. Klimek} [`Pluripotential theory', Clarendon Press, Oxford (1991; Zbl 0742.31001)].) The authors prove two theorems. Theorem 1. Let \(E\) and \(F\) be Borel sets with \(\overline E\subset \Omega\) and \(F\subset E\). The following statements are equivalent. 1. \(C(E)= C(F)\), 2. \(u^*_E= u^*_F\), 3. \(V^*_E= V^*_F\). Here \(C(E)= -\int_\Omega u^*_E (dd^c u^*_E)^N\). Theorem 2. Let \(E\) be a nonpluripolar Borel set with \(\widehat {\overline E} \subset \Omega\), where \(\widehat A\) denotes the polynomially convex hull of \(A\). Then \[ \Bigl(\sup_{\partial \Omega} V_E\Bigr)^{-N} (dd^cV_E^*)^N \leq(dd^cu^*_E)^N \leq \Bigl( \inf_{\partial \Omega}V_E \Bigr)^{-N} (dd^c V^*_E)^N. \] These results extend known results of Bedford and Taylor, Levenberg and Bloom for \(E\) being a compact subset of \(\Omega\).