×

Asymptotic monotonicity of the relative extrema of Jacobi polynomials. (English) Zbl 0819.33004

Let \(P_ n^{(\alpha, \beta)} (x)\) denote the \(n\)-th Jacobi polynomial and let \(y_{k,n}^{(\alpha, \beta)}\) be the abscissas of the relative extrema of \(P_ n^{(\alpha, \beta)} (x)/ P_ n^{(\alpha, \beta)} (1)\) ordered by \(-1= y_{n,n}^{(\alpha, \beta)}< y_{n-1, n}^{(\alpha, \beta)}< \cdots< y_{1,n}^{(\alpha, \beta)}< y_{0,n}^{(\alpha, \beta)}\). Set \[ \mu_{k,n} (\alpha, \beta)= {{P_ n^{(\alpha, \beta)} (x)} \over {P_ n^{(\alpha, \beta)} (1)}}, \qquad k=1,\dots, n-1. \] A remarkable result obtained in the paper is the asymptotic representation, as \(n\to \infty\) and for each fixed \(k=1, 2,\dots\), \[ \mu_{k,n} (\alpha, \beta)= \Gamma(\alpha+ 1) \Biggl( {2\over {j_{\alpha+ 1,k}}} \Biggr)^ \alpha\;J_ \alpha (j_{\alpha+ 1,k}) \Biggl[ 1+ {{\alpha+ 3\beta+2} \over{24}} {{j^ 2_{\alpha+ 1,k}} \over {N^ 2}}+ O(N^{-4}) \Biggr], \] where \(N=n+ {1\over 2} (\alpha+ \beta+1)\) and \(j_{\alpha+ 1,k}\) is the \(k\)-th positive zero of the Bessel function \(J_{\alpha+1} (x)\). This representation, which corrects an earlier result of R. Cooper [Proc. Cambridge Phil. Soc. 46, 549- 554 (1950; Zbl 0038.223)], is not sufficient to prove a monotonicity property of the extrema \(\mu_{k,n} (\alpha, \beta)\) conjectured by Askey, i.e. that for \(\alpha> \beta> -1/2\), \[ | \mu_{k, n+1} (\alpha, \beta)|< | \mu_{k,n} (\alpha, \beta)|, \qquad k=1,\dots, n \quad \text{and} \quad n=1,2,\dots\;. \] The authors are able to overcome this difficulty and show that Askey’s conjecture is true at least in the asymptotic sense. This is done by using another more powerful representation of \(\mu_{k,n} (\alpha, \beta)\), derived from a uniform asymptotic approximation of the Jacobi polynomial.

MSC:

33C45 Orthogonal polynomials and functions of hypergeometric type (Jacobi, Laguerre, Hermite, Askey scheme, etc.)
41A60 Asymptotic approximations, asymptotic expansions (steepest descent, etc.)

Citations:

Zbl 0038.223
PDFBibTeX XMLCite
Full Text: DOI