Orthogonal polynomials in C^n

From MaRDI portal





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.




Cited in
(35)








This page was built for publication: Orthogonal polynomials in C^n

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3840643)