The Newton polyhedron and positivity of \(_2F_3\) hypergeometric functions (Q2243885)

As for the \({_2F_3}\) hypergeometric function of the form \[ {_2F_3}\Biggl[\begin{matrix} a_1,a_2\\ b_1,b_2, b_3\end{matrix}\Biggl\vert- x^2\Biggr]\qquad (x>0) ,\] where all of parameters are assumed to be positive, the authors give sufficient conditions on \((b_1,b_2,b_3)\) for its positivity in terms of Newton polyhedra with vertices consisting of permutations of \((a_2,a_1+ 1/2,2a_1)\) or \((a_1,a_2+ 1/2, 2a_2)\). As an application, they obtain an extensive validity region of \((\alpha,\lambda,\mu)\) for the inequality \[ \int^x_0 (x-t)^\lambda t^\mu J_\alpha(t)\,dt\ge 0\qquad (x>0). \]