An intergral of products of ultraspherical functions and a q-extension. (English) Zbl 0564.33008

If \(\{p_ n(x)\}\) are polynomials orthogonal with respect to a positive measure da(x) then \(\int^{\infty}_{-\infty}p_ n(x)p_ m(x)p_ k(x)d\alpha (x)=0\) if there is no triangle with sides k,m,n. When the polynomials are the continuous q-ultraspherical polynomials of L. J. Rogers, the integral can be evaluated as a product for all integer k,m,n. If \(d\alpha\) (x) has compact support, say [a,b], and the measure is absolutely continuous, \(d\alpha (x)=w(\alpha)dx\), then it is shown that \(\int^{b}_{a}q_ n(x)p_ m(x)p_ k(x)w(x)dx\) vanishes when there is a triangle with sides k,m,n. Here \[ q_ n(z)=\int^{b}_{a}p_ n(t)[z-t]^{-1}d\alpha (t),\quad x\not\in [a,b], \] and \(q_ n(x)=[q_ n(x+io)+q_ n(x-io)/2]\) is the usual function of the second kind. When the polynomials are the Rogers polynomials the above integral is evaluated as a product. Limiting cases are ultraspherical polynomials, Hermite polynomials, and Bessel functions.


33C45 Orthogonal polynomials and functions of hypergeometric type (Jacobi, Laguerre, Hermite, Askey scheme, etc.)
33C05 Classical hypergeometric functions, \({}_2F_1\)
42C10 Fourier series in special orthogonal functions (Legendre polynomials, Walsh functions, etc.)
Full Text: DOI