Coherent pair of measures for orthogonal polynomials on lattices
We consider two sequences of orthogonal polynomials (Pn)n≥0 and (Qn)n≥0 with respect regular functionals u and v, respectively. We assume that ∑j=1Maj,nDxkPk+n−j(z)=∑j=1Nbj,nDxmQm+n−j(z), with k,m,M,N∈N, aj,n and bj,n are sequences of complex numbers, 2Sxf(x(s))=(△+2I)f(z), Dxf(x(s))=△x(s−1/2)△f(z), z=x(s−1/2), I is the identity operator, x defines a lattice, and △f(s)=f(s+1)−f(s). We show that under some natural conditions, the functionals u and v are connected by a rational factor whenever m=k, and for k>m, u and Sxk−mv are semiclassical functionals and in addition Sxu and Sxk−m+1v are connected by a rational factor. This leads to the notion of (M,N)-coherent pair of measures of order (m,k) extended to orthogonal polynomials on lattices.