English

Christoffel formula for kernel polynomials on the unit circle

Classical Analysis and ODEs 2018-07-02 v1

Abstract

Given a nontrivial positive measure μ\mu on the unit circle, the associated Christoffel-Darboux kernels are Kn(z,w;μ)=k=0nφk(w;μ)φk(z;μ)K_n(z, w;\mu) = \sum_{k=0}^{n}\overline{\varphi_{k}(w;\mu)}\,\varphi_{k}(z;\mu), n0n \geq 0, where φk(;μ)\varphi_{k}(\cdot; \mu) are the orthonormal polynomials with respect to the measure μ\mu. Let the positive measure ν\nu on the unit circle be given by dν(z)=G2m(z)dμ(z)d \nu(z) = |G_{2m}(z)|\, d \mu(z), where G2mG_{2m} is a conjugate reciprocal polynomial of exact degree 2m2m. We establish a determinantal formula expressing {Kn(z,w;ν)}n0\{K_n(z,w;\nu)\}_{n \geq 0} directly in terms of {Kn(z,w;μ)}n0\{K_n(z,w;\mu)\}_{n \geq 0}. Furthermore, we consider the special case of w=1w=1; it is known that appropriately normalized polynomials Kn(z,1;μ)K_n(z,1;\mu) satisfy a recurrence relation whose coefficients are given in terms of two sets of real parameters {cn(μ)}n=1 \{c_n(\mu)\}_{n=1}^{\infty} and {gn(μ)}n=1 \{g_{n}(\mu)\}_{n=1}^{\infty}, with 0<gn<10<g_n<1 for n1n\geq 1. The double sequence {(cn(μ),gn(μ))}n=1\{(c_n(\mu), g_{n}(\mu))\}_{n=1}^{\infty} characterizes the measure μ\mu. A natural question about the relation between the parameters cn(μ)c_n(\mu), gn(μ)g_n(\mu), associated with μ\mu, and the sequences cn(ν)c_n(\nu), gn(ν)g_n(\nu), corresponding to ν\nu, is also addressed. Finally, examples are considered, such as the Geronimus weight (a measure supported on an arc of the unit circle), a class of measures given by basic hypergeometric functions, and a class of measures with hypergeometric orthogonal polynomials.

Keywords

Cite

@article{arxiv.1701.04995,
  title  = {Christoffel formula for kernel polynomials on the unit circle},
  author = {Cleonice F. Bracciali and Andrei Martínez-Finkelshtein and A. Sri Ranga and Daniel O. Veronese},
  journal= {arXiv preprint arXiv:1701.04995},
  year   = {2018}
}
R2 v1 2026-06-22T17:52:59.097Z