Monotonicity inequalities sufficient for the Stolarsky bounds

About 26 years old · traced to

Let L(a,b)=b−aln⁡b−ln⁡aL(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.

References

Primary source

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

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.