Monotonicity inequalities sufficient for the Stolarsky bounds

From papers

Let L(a,b)=balnblnaL(a,b)=\dfrac{b-a}{\ln b-\ln a} be the logarithmic mean, and let U0U_{0} and U1U_{1} be the three-variable means defined in the source. For positive a,b,ca,b,c, form the three logarithmic means L(a,c)L(a,c), L(a,b)L(a,b), and L(c,b)L(c,b).

Sufficient inequalities for Stolarsky's bounds. The inequalities

U0(L(a,c),L(a,b),L(c,b))U0(a,b,c)U_{0}(L(a,c),L(a,b),L(c,b))\geq U_{0}(a,b,c)

and

U1(L(a,c),L(a,b),L(c,b))U1(a,b,c)U_{1}(L(a,c),L(a,b),L(c,b))\leq U_{1}(a,b,c)

for all (a,b,c)R+3(a,b,c)\in R_{+}^{3} would suffice to prove the bounds conjectured for L3L_{3}.

This is presented as a sufficient route to proving the preceding bounds, rather than as an independently named conjecture; the source does not state whether these inequalities are known or open.

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

Alan Horwitz, “Invariant Means”, arXiv:math/0007095 (2000).

Solutions 0

No solutions have been posted yet.