(M, N)-coherent pairs of order (m, k) and Sobolev orthogonal polynomials

A pair of regular linear functionals (U, V) is said to be a (M, N)-coherent pair of order (m, k) if their corresponding sequences of monic orthogonal polynomials {P-n(x)}(n >= 0) and {Q(n)(x)}(n >= 0) satisfy a structure relation such as Sigma(M)(l=0) a(i,n)P(n+m-i)((m)) (x) = Sigma(N)(i=0) b(i,n)Q(n+k-l)((k)) (x), n >= 0, where a(i,n) and b(i,n) are complex numbers such that a(M,n) not equal 0 if n >= M, b(N,n) not equal 0 if n >= N, and a(i,n) = b(i,n) = 0 when i > n. In the first part of this work we focus our attention on the algebraic properties of an (M, N)-coherent pair of order (m, k). To be more precise, let us assume that m >= k. If m = k then U and V are related by a rational factor (in the distributional sense); if m > k then U and V are semiclassical and they are again related by a rational factor. In the second part of this work we deal with a Sobolev type inner product defined in the linear space of polynomials with real coefficients, P, as < p(x), q(x)>(lambda) = integral R p(x)q(x)d mu(0)(x) + lambda integral(R) p((m))(x)q((m)) (x)d(mu)1(x), p, q is an element of P, where lambda is a positive real number, m is a positive integer number and (mu(0), mu(1)) is a (M, N)-coherent pair of order m of positive Borel measures supported on an infinite subset of the real line, meaning that the sequences of monic orthogonal polynomials {P-n(x)}(n >= 0) and {Q(n)(x)}(n >= 0) with respect to mu(0) and mu(1), respectively, satisfy a structure relation as above with k = 0, a(i,n) and b(i,n) being real numbers fulfilling the above mentioned conditions. We generalize several recent results known in the literature in the framework of Sobolev orthogonal polynomials and their connections with coherent pairs (introduced in [A. Iserles, P.E. Koch, S.P. Norsett, J.M. Sanz-Serna, On polynomials orthogonal with respect to certain Sobolev inner products J. Approx. Theory 65 (2) (1991) 151-175]) and their extensions. In particular, we show how to compute the coefficients of the Fourier expansion of functions on an appropriate Sobolev space (defined by the above inner product) in terms of the sequence of Sobolev orthogonal polynomials {S-n(x; lambda)}(n >= 0). (C) 2013 Elsevier B.V. All rights reserved.