Full Length ArticlePositivity of Turán determinants for orthogonal polynomials II
Introduction
Consider a symmetric probability measure such that . By the Gram–Schmidt orthogonalization procedure applied to the system of monomials , , we obtain a sequence of orthogonal polynomials , . Every polynomial is of exact degree . We may assume that its leading coefficient is positive. It is well known that the polynomials satisfy the three term recurrence relation of the form with convention . Due to orthogonality the polynomial has roots in the open interval . Therefore . Let The coefficients are positive for . In case the polynomials are orthonormal then the sequences of the coefficients are related by and the recurrence relation simplifies to We refer to [5], [16] for the basic theory concerning orthogonal polynomials.
We are interested in determining when The expression is called the Turán’s determinant. The problem has been studied for many classes of specific orthogonal polynomials (see [1], [2], [3], [4], [6], [7], [8], [10], [12], [13], [14], [15], [20], [21]). We refer to the introduction in [18] for a short account of known results.
Turán determinants can be used to determine the orthogonality measure in terms of orthonormal polynomials . Paul Nevai [11] observed if then the sequence of measures (perhaps signed) is weakly convergent to the measure Maté and Nevai [9] showed that if additionally sequence has bounded variation then the limit of Turán determinants exists. Moreover the orthogonality measure is absolutely continuous on the interval its density is given by where
It turns out that the way we normalize the polynomials is essential for the Turán inequality to hold. Indeed, assume satisfy (1) and , i.e. Assume Define new polynomials by , where is a sequence of positive coefficients. Then the condition is equivalent to (see Proposition [18]) This means if the Turán determinants are nonnegative, when the polynomials are normalized at , then they stay nonnegative for any other normalization provided that they are nonnegative at , as .
By Theorem 1 [18] if the polynomials are normalized at , i.e. , is increasing and , the Turán determinants are positive in the interval . This result can be applied to many classes of orthogonal polynomials, including for example the ultraspherical polynomials for which positivity has been obtained in [12], [13]
The result mentioned above can be applied provided that we are given the coefficients explicitly. For many classes of orthogonal polynomials in the interval we are given recurrence relations, but the values cannot be evaluated in the explicit form. Therefore we are unable to provide a recurrence relation for the polynomials , in the form for which we can inspect easily the assumptions of Theorem 1 [18]. This occurs when we study the associated polynomials. Indeed assume satisfy (1), (3). For a fixed natural number the associated polynomials of order are defined by These polynomials do not satisfy as
The obstacle described above has been partially overcome in Corollary 1 of [18], but it required additional assumptions, in particular . Unfortunately many examples including the associated polynomials violate that condition. The aim of this note is to provide a counterpart to Corollary 1 [18] by allowing . This is done in Theorem 1. As the assumptions in this theorem are complicated Corollary 1 provides a wide class of relatively simple recurrence relations for which Theorem 1 applies. General examples are provided at the end of the paper.
Section snippets
Results
Theorem 1 Assume the polynomials satisfy where . Assume the sequence is strictly increasing and , the sequence is positive and strictly decreasing , .
Assume also that there holds Then for we have
Proof Let By (5) we get Lemma 1 Under assumptions of Theorem 1 there holds Proof (5) gives . Assume
Acknowledgments
I am grateful to the referees. Their remarks improved the exposition substantially.
References (21)
- et al.
General Turán expressions for certain hypergeometric series
Port. Math.
(1957) Linearization of the product of orthogonal polynomials
- et al.
Turán inequalities for ultraspherical and continuous –ultraspherical polynomials
SIAM J. Math. Anal.
(1983) - et al.
Turán inequalities for symmetric orthogonal polynomials
Int. J. Math. Math. Sci.
(1997) An Introduction to Orthogonal Polynomials, Mathematics and its Applications, Vol. 13
(1978)On the extension of Turán’s inequality to Jacobi polynomials
Duke Math. J.
(1971)An inequality of Turán type for Jacobi polynomials
Proc. Amer. Math. Soc.
(1972)- et al.
On certain determinants whose elements are orthogonal polynomials
J. Anal. Math.
(1960) - et al.
Orthogonal polynomials and absolutely continuous measures
- et al.
On an inequality relating to Laguerre and Hermite polynomials
Math. Stud.
(1951)