Conjectured parameter ranges for two Gaussian hypergeometric inequalities

From papers

Let a,b>0a,b>0 and r(0,1)r\in(0,1). Let Λ(a,r)\Lambda(a,r) and Λ2(a,b1,b2,r)\Lambda_2(a,b_1,b_2,r) denote the quantities defined earlier in the source by the inequalities referenced as

andand

, respectively. Parameter-range conjecture. The inequality

holds for every $r\in(0,1)$ and every $a>0$ if and only if

b\in\bigl(0,\sqrt{a(a+1)}\bigr],

andtheinequalityand the inequality

holds for every r(0,1)r\in(0,1) if and only if a[3/7,1)a\in[3/7,1). The conjecture gives sharp parameter ranges for the two inequalities posed in the paper; the source notes that the first inequality fails for sufficiently small rr when b1b2>a(a+1)b_1b_2>a(a+1) and presents the assertion as suggested by computation, with no proof supplied here.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary 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).

Solutions 0

No solutions have been posted yet.