English

Zeros of Jacobi and Ultraspherical polynomials

Classical Analysis and ODEs 2024-02-05 v1

Abstract

Suppose {Pn(α,β)(x)}n=0\{P_{n}^{(\alpha, \beta)}(x)\}_{n=0}^\infty is a sequence of Jacobi polynomials with α,β>1. \alpha, \beta >-1. We discuss special cases of a question raised by Alan Sokal at OPSFA in 2019, namely, whether the zeros of Pn(α,β)(x) P_{n}^{(\alpha,\beta)}(x) and Pn+k(α+t,β+s)(x) P_{n+k}^{(\alpha + t, \beta + s )}(x) are interlacing if s,t>0s,t >0 and kN. k \in \mathbb{N}. We consider two cases of this question for Jacobi polynomials of consecutive degree and prove that the zeros of Pn(α,β)(x) P_{n}^{(\alpha,\beta)}(x) and Pn+1(α,β+1)(x), P_{n+1}^{(\alpha, \beta + 1 )}(x), α>1,β>0, \alpha > -1, \beta > 0, nN, n \in \mathbb{N}, are partially, but in general not fully, interlacing depending on the values of α,β\alpha, \beta and n.n. A similar result holds for the extent to which interlacing holds between the zeros of Pn(α,β)(x) P_{n}^{(\alpha,\beta)}(x) and Pn+1(α+1,β+1)(x), P_{n+1}^{(\alpha + 1, \beta + 1 )}(x), α>1,β>1. \alpha >-1, \beta > -1. It is known that the zeros of the equal degree Jacobi polynomials Pn(α,β)(x) P_{n}^{(\alpha,\beta)}(x) and Pn(αt,β+s)(x) P_{n}^{(\alpha - t, \beta + s )}(x) are interlacing for αt>1,β>1, \alpha -t > -1, \beta > -1, 0t,s2.0 \leq t,s \leq 2. We prove that partial, but in general not full, interlacing of zeros holds between the zeros of Pn(α,β)(x) P_{n}^{(\alpha,\beta)}(x) and Pn(α+1,β+1)(x), P_{n}^{(\alpha + 1, \beta + 1 )}(x), when α>1,β>1. \alpha > -1, \beta > -1. We provide numerical examples that confirm that the results we prove cannot be strengthened in general. The symmetric case α=β=λ1/2\alpha = \beta = \lambda -1/2 of the Jacobi polynomials is also considered. We prove that the zeros of the ultraspherical polynomials Cn(λ)(x) C_{n}^{(\lambda)}(x) and Cn+1(λ+1)(x), C_{n + 1}^{(\lambda +1)}(x), λ>1/2 \lambda > -1/2 are partially, but in general not fully, interlacing. The interlacing of the zeros of the equal degree ultraspherical polynomials Cn(λ)(x) C_{n}^{(\lambda)}(x) and Cn(λ+3)(x), C_{n}^{(\lambda +3)}(x), λ>1/2, \lambda > -1/2, is also discussed.

Keywords

Cite

@article{arxiv.2009.10196,
  title  = {Zeros of Jacobi and Ultraspherical polynomials},
  author = {J. Arvesú and K. Driver and L. Littlejohn},
  journal= {arXiv preprint arXiv:2009.10196},
  year   = {2024}
}