Baricz's conjecture on parameter monotonicity of Gaussian hypergeometric functions

Let F(a,b;c;r)=2F1(a,b;c;r)F(a,b;c;r)={}_2F_1(a,b;c;r) denote the Gaussian hypergeometric function, defined for the parameters under consideration by

F(a,b;c;r)=n=0(a)n(b)n(c)nn!rn.F(a,b;c;r)=\sum_{n=0}^{\infty}\frac{(a)_n(b)_n}{(c)_n n!}r^n.

For a>0a>0, b>0b>0, and r(0,1)r\in(0,1), consider the ratio of contiguous Gaussian hypergeometric functions. Baricz's conjecture. For each a>0a>0 and r(0,1)r\in(0,1), the function

bF(a+1,b+1;a+b+1;r)F(a,b;a+b;r)b\longmapsto \frac{F(a+1,b+1;a+b+1;r)}{F(a,b;a+b;r)}

has negative derivative. In particular, for all a,r(0,1)a,r\in(0,1),

F(a+1,2a;2;r)F(a,1a;1;r)>F(a+1,5/2a;5/2;r)F(a,3/2a;3/2;r).\frac{F(a+1,2-a;2;r)}{F(a,1-a;1;r)}>\frac{F(a+1,5/2-a;5/2;r)}{F(a,3/2-a;3/2;r)}.

The conjecture concerns Turán-type inequalities and parameter dependence for zero-balanced Gaussian hypergeometric functions, with generalized elliptic integrals as important special cases. The source attributes it to Baricz; no resolution is supplied here.

Sources & referencesView supporting material

Primary source

Song-Liang Qiu, Xiao-Yan Ma and Xue-Yan Xiang, “Turán-Type Inequalities for Gaussian Hypergeometric Functions, and Baricz's Conjecture”, arXiv:2408.15723 (2024).

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.