Orthogonal polynomials in weighted Bergman spaces (Q6084825)

The authors considers a weight \(w\) on the unit disk \(\mathbb{D}=\{z\in\mathbb{C}\,|\,|z|<1\}\) of the form \[w(z)=|v(z)|^2\prod_{k=1}^{s}\,\left|\frac{z-a_k}{1-z\overline{a}_k}\right|^{m_k},\ m_k>-2,\ |a_k|<1,\] where \(v\) is analytic and free of zeros in \(\overline{\mathbb{D}}\) (\(w(z)\geq 0\) is a \textit{weight} on the disk if \(0<\int_{\mathbb{D}}\,wd\sigma <\infty\) and for every disk \(D(z_0,\epsilon)\) centered at a point \(z_0\in\mathbb{T}=\delta(\mathbb{D})\) of radius \(\epsilon>0\) one has \(\int_{D(z_0,\epsilon}\,w(z)d\sigma(z)>0\)). The letter \(\sigma\) denotes the area measure divided by \(\pi\), i.e. \(\sigma(\mathbb{D})=1\). The weighted Bergman space \(A_w^2\) is the subspace of squared integrabe functions of the linear space \(\mathcal{H}(\mathbb{D})\) of holomorphic funtions in \(\mathbb{D}\); it is endowed with the inner roduct \[\langle f,g\rangle_w = \int_{\mathbb{D}}\,f(z)\overline{g(z)}w(z)d\sigma(z),\] and the Gram-Scmidt orthogonlization process applied to the powers \((z^n)_{n=0}^{\infty}\) produces a unique sequence of polynomials \((p_n)_{n=0}^{\infty}\), with \(p-n\) of degree \(n\) and positive leading coefficent and \[\langle p_n,p_m\rangle_{w}=\delta_{n,m},\ n,m\geq 0.\] These polynomials are referred to as \textbf{Bergman polynomials}. The main result is now: {Theorem 2.1.} There exsts a sequence \((H_n)_{n=0}^{infty}\) of anaytic functions in \(\mathbb{D}\), all of them vanishing at the origin, such that \begin{itemize} \item[(i)] \(H_(z)=O(1/n)\) uniformly as \(n\rightarrow\infty\) on compact subsets of \(\mathbb{D}\); \item[(ii)] For every \(r\) and \(z\) zuch that \(\rho_w<r<1\) and \(|z|<r\): \[v(0)\gamma_np_n(z)=\frac{1}{2\pi i v(z)}\int_{|\zeta|=r}\,(vv^{*})(\zeta)L((z,\zeta)\zeta^{n+1}(1+H_n(\zeta))d\zeta.\] \end{itemize} Here the following notations are used: \(q(z)=\prod_{k=1}^s (z-a_k),\ q^{*}(z)=\prod_{k=1}^s (1-\overline{a}_kz),\ \rho_w\geq 0\) the smallest number such that \(1/\{v(z)q^{*}(z)\}\) can be analytically continued to the disk \(|z|<1/\rho_w\). By the assumption on \(w\), this is the case if \(\rho_w<1\). The layout of the paper is as follows: {\S1. Introduction} (\(3\) pages) {\S2. Statement of results} (\(2\) pages) {\S3. Examples} (\(4\) pages) For the cases \(s=0\) and \(s\geq 1\). {\S4. Reproducing kernel} (\(3\) pages) {\S5. Preliminary results} (\(4\frac{1}{2}\) pages) Estimates for Faber polynomials, behavior of \(\gamma_n\) and related quantities. {\S6. Proof of Theorem 2.1} (\(5\frac{1}{2}\) pages) {References} (\(15\) items)