The Hessenberg matrix and the Riemann mapping function (Q380991)

The main object under consideration in the paper is a Borel probability measure \(\mu\) in the complex plane with a compact support \(\Gamma=\text{supp}(\mu)\) containing infinitely many points, and the corresponding system of orthonormal polynomials \(\{p_n\}_{n\geq0}\). The authors focus on the case when \(\Gamma\) is a finite union of disjoint Jordan arcs. So, the complement \(\mathbb{C}\backslash\Gamma\) is a simply connected set of the Riemann sphere, and the Riemann mapping function \(\phi(\Gamma)\) which maps conformally the exterior of the unit disk onto the exterior of \(\Gamma\) arises naturally. There is a clear operator theoretic setting within the theory of orthogonal polynomials based on the multiplication operator \(D\) in the space \(P^2(\mu)\), the closure of polynomials in \(L^2_\mu(\Gamma)\). Its matrix in the basis \(\{p_n\}_{n\geq0}\) is known to be an infinite upper Hessenberg matrix \(D(\mu)\). A bounded linear operator \(A\) in \(\ell^2\) is called uniformly asymptotically Toeplitz if \(A=T+K\) with Toeplitz \(T\) and compact \(K\). Both terms are obviously uniquely determined, and \(T\) is called a limiting operator for \(A\). The authors show that, if in the above assumptions the measure \(\mu\) is regular, \(D\) is uniformly asymptotically Toeplitz, and the limiting operator \(T\) has a continuous symbol, then the latter agrees with the restriction to the unit circle of the corresponding Riemann mapping function \(\phi(\Gamma)\).