On families of polynomials which approximate the pluricomplex Green function (Q4545153)

The pluricomplex Green function \(V_K\) with pole at infinity of a compact subset \(K\) of \(\mathbb C^n\) is defined as the supremum over the class \({\mathcal L}_K\) of all plurisubharmonic functions \(u\) on \(\mathbb C^n\) satisfying \(u\leq \log^+| \cdot| +C\) for some positive constant \(C\) (depending on \(u\)) and \(u\leq 0\) on \(K\). If \(p\) is a polynomial of degree \(\geq 1\) and \(\| \cdot\| _K\) denotes the sup-norm on \(K\), then the function \((\deg p)^{-1}\log(| p| /\| p\| _K)\) is in the class \({\mathcal L}_K\), so it is a natural problem to find sequences of polynomials such that \(V_K\) can be expressed as an upper limit of the corresponding sequence of plurisubharmonic functions in \({\mathcal L}_K\). Before we can state the main theorem we need to introduce some notation. For any multi-index \(\alpha\) let \(P(\alpha)\) denote the set of all polynomials of the form \(p(z)=z^\alpha+\sum_{\alpha<\beta}c_\beta z^\beta\), where \(c_\beta\in \mathbb C\) and \(<\) denotes the lexicographic ordering of the multi-indices. Let \(t_{\alpha,K}\) denote a Chebyshev polynomial for \(K\) corresponding to \(P(\alpha)\), i.e., a polynomial in \(P(\alpha)\) with minimal sup-norm on \(K\). Let \(\Sigma\) denote the standard \((n-1)\) dimensional simplex in \(\mathbb R^n\) consisting of all \(\vartheta\) with \(\vartheta_j\geq 0\) and \(\sum\vartheta_j=1\), and \(\Sigma_0\) denote its relative interior. The directional Chebyshev constant of a compact \(K\) in the direction of \(\vartheta\in \Sigma_0\) is defined by \(\tau(K,\vartheta)=\lim_{\alpha/| \alpha| \to \vartheta}\| t_{\alpha,K}\| _K^{1/| \alpha| }\). (The existence of this limit was proved by Zakharyjuta.) For \(\vartheta\in \Sigma_0\) a sequence \(Q_j\) of polynomials is said to be \(\vartheta\)-asymptotically Chebyshev if for each \(j\) there is a multi-index \(\alpha_j\) such that \(Q_j\in P(\alpha_j)\), \(\lim_{j\to \infty}| \alpha_j| =+\infty\), \(\lim_{j\to\infty}\alpha_j/| \alpha_j| =\vartheta\), and \(\lim_{j\to \infty}\| Q_j\| _K^{1/| \alpha_j| }=\tau(K,\vartheta)\). The main result of the paper is the following: Let \(K\) be a pluri-regular compact subset of \(\mathbb C^n\). Let \((p_j)\) be a countable family of polynomials such that for every \(\vartheta\in \Sigma_0\) there is a subsequence of \((p_j)\) which is \(\vartheta\) asymptotically Chebyshev for \(K\). Then \[ V_K(z)=\varlimsup_{\zeta\to z}\varlimsup_{j\to \infty} \dfrac 1{\text{deg\,} p_j}\log\bigg(\dfrac{| p_j(\zeta)| }{\| p_j\| _K}\bigg),\qquad z\in \mathbb C^n\setminus \widehat K, \] where \(\widehat K\) is the polynomial hull of \(K\). The author proves that the Chebyshev polynomials \((t_{\alpha,K})_{\alpha\in \mathbb N^n}\) satisfy the conditions in the theorem, as well as the family \((q_\alpha)_{\alpha\in \mathbb N^n}\) of polynomials \(q_\alpha\) in \(P(\alpha)\) of minimal \(L^r({\mu})\) norm with respect to a measure \({\mu}\) satisfying the Bernstein-Markov inequality, and Leja polynomials.