Sharp power-mean comparisons for Gauss hypergeometric functions

Qintao Deng; Haoran Peng; Jiatong Zou

In the authors' words

We determine the sharp weighted power-mean comparisons for the family ${H_{a} (r)}_{r \in (0, 1)}$ with the logarithmic interpretation at $a = 0$ . In the parameter ranges considered by Barnard, Richards and Tiedeman, we give a complete characterization of all orders $λ, μ \in R$ for which $A_{λ} (w; 1, 1 - r) \leq H_{a} (r) \leq A_{μ} (w; 1, 1 - r)$ holds for every $r \in (0, 1)$ . In particular, our results settle completely their two power-mean conjectures. The two sharp orders are determined by the second-order expansion at $r = 0$ and the endpoint matching as $r \to 1$ . A weighted Wronskian identity and a sign analysis of its residual establish the global inequalities.

Main resultThe abstract does not state a limitation.

Sharp power-mean comparisons for Gauss hypergeometric functions

In the authors' words

More on Analysis & PDEs that day

Asymptotic Balance and Structural Rigidity in the Riemann Zeta Function

Functional dynamic mode decomposition: Learning infinite-dimensional systems from data

Global well-posedness and scattering for the three-dimensional focusing energy-critical NLS

Learning Operators of Geometry with an Interface Autoencoder

Bounded-orbit wandering domains do not exist