A Pólya integral positivity conjecture for Gegenbauer polynomials

At least 14 years old · documented by

Let b4>0b4>0, bb>0bb>0, and n∈N0n\in\mathbb{N}_0. For 0<t<π0<t<\pi, define

Fnλ,δ(t)=∫0t(t−θ)δCnλ(cos⁡θ)(sin⁡θ)2λ dθ.F_n^{\lambda,\delta}(t)=\int_0^t (t-\theta)^\delta C_n^\lambda(\cos\theta)(\sin\theta)^{2\lambda}\,d\theta.

Integral positivity conjecture. The inequality Fnλ,δ(t)>0F_n^{\lambda,\delta}(t)>0 holds for every n∈N0n\in\mathbb{N}_0 and every t∈(0,π]t\in(0,\pi] if and only if δ≥λ+1\delta\geq\lambda+1.

This non-negativity statement is the key ingredient in extending the stated Pólya-type criterion for positive definite and strictly positive definite zonal functions from dimensions 3≤d≤83\leq d\leq 8 to all dimensions d>2d>2.

References

Primary source

R. K. Beatson, W. zu Castell and Y. Xu, “A Pólya criterion for (strict) positive definiteness on the sphere”, arXiv:1110.2437 (2011).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.