Positive definite functions on the unit sphere and integrals of Jacobi polynomials

Abstract

It is shown that the integrals of the Jacobi polynomials \begin{equation*}%\label{eq:Fn^J} \int_0^t (t-θ)^δP_n^{(α-\frac12,β-\frac12)}(\cos θ) \left(\sin \tfracθ2\right)^{2 α} \left(\cos \tfracθ2\right)^{2 β} dθ> 0 \end{equation*} for all $t \in (0,π]$ and $n \in \mathbb{N}$ if $δ\ge α+ 1$ for $α,β\in \mathbb{N}_0$ and $\max\{α,β\} > 0$. This proves a conjecture on the integral of the Gegenbauer polynomials in \cite{BCX} that implies the strictly positive definiteness of the function $θ\mapsto (t - θ)_+^δ$ on the unit sphere $\mathbb{S}^{d-1}$ for $δ\ge \lceil \frac{d}{2}\rceil$ and the Polyà criterion for positive definite functions on the sphere for all dimensions. Moreover, the positive definiteness of the function $θ\mapsto (t - θ)_+^δ$ is also established on the compact two-point homogeneous spaces.