Orthogonal polynomials in C^n (Q3840643)

In this important and well written paper, the author studies the asymptotic behaviour of orthonormal polynomials associated with a finite positive Borel measure \(\mu\) on a compact subset \(K\) of \(\mathbb{C}^n\). He defines the concept of \(\mu\) having regular asymptotic behaviour, thereby generalizing the univariate concept, which has been studied by many researchers, and which culminated in the book of \textit{H. Stahl} and \textit{V. Totik}, ``General orthogonal polynomials'' (1992; Zbl 0791.33009). For each \(n\)-multi-index \(\alpha= (\alpha_1,\alpha_2,\dots, \alpha_n)\) of nonnegative integers, one may obtain an orthonormal polynomial \(p_\alpha(z,\mu)\), satisfying \[ \int_K p_\alpha(z, \mu) \overline{p_\beta(z,\mu)} d\mu(z)= \delta_{\alpha \beta}, \] by applying the Gram-Schmidt orthogonalization process to the monomials ordered lexicographically. Let \(\widehat K\) denote the convex hull of \(K\). The author proves that for \(z\in\mathbb{C}^n\setminus\widehat K\), \[ V_K(z)\leq \limsup_{|\alpha|\to \infty} {1\over |\alpha|} \log|p_\alpha(z, \mu)|\leq V_\mu(z), \] where \(V_\mu(z)\) is the minimal carrier Green function of the measure \(\mu\) and \(V_K(z)\) is the pluricomplex Green function for \(K\) with pole at \(\infty\). Moreover, \(|\alpha|\) is the sum of its components. He then goes on to define \({\mathbf R}{\mathbf e}{\mathbf g}\) in the multivariate setting: let the superscript \(*\) denote upper semicontinuous regularization. We say that \(\mu\in{\mathbf R}{\mathbf e}{\mathbf g}\) if \[ \Biggl(\limsup_{|\alpha|\to \infty}{1\over |\alpha|}\log |p_\alpha(z, \mu)|\Biggr)^*\leq V^*_K(z)\quad\text{for all }z\in \mathbb{C}^n. \] One of the author's main results is that if \(K\) is a regular set, that is \(V_K\) is everywhere continuous, then the following are equivalent: (I) \(\mu\in{\mathbf R}{\mathbf e}{\mathbf g}\); (II) \(\limsup_{|\alpha|\to \infty}{1\over |\alpha|}\log \|p_\alpha(z, \mu)\|_{L^\infty(K)}\leq 0\); (III) For any sequence of non-zero polynomials \(\{P_j\}\), \[ \limsup_{j\to\infty} (\|P_j\|_{L^\infty(K)}/\|P_j\|_{L_2(\mu)})^{1/\deg(P_j)}\leq 1; \] (IV) For every \(\varepsilon>0\), there exists \(C= C(\varepsilon)> 0\) such that for all polynomials \(P\), \[ \|P\|_{L_\infty(K)}\leq C(1+ \varepsilon)^{\deg(P)}\|P\|_{L_2(\mu)}. \] A more general result is presented as well as examples illustrating various features. The main elements of the proofs involve multivariate potential theory.