Ohlin's lemma and some inequalities of the Hermite-Hadamard type (Q2350287)

Inequalities of Hermite-Hadamard type are proved using the Ohlin lemma. Main results are given in the following theorems. Theorem 1. Inequality \[ af(\alpha x+(1-\alpha)y)+(1-a)f(\beta x+(1-\beta)y)\leq \frac{1}{y-x}\int_x^y f(t) dt \] with some \(\alpha, a, \beta \in [0,1]\), \(\alpha >\beta\) is satisfied for all \(x,y\in \mathbb{R}\) and all continuous and convex functions \(f:[x,y]\rightarrow \mathbb{R}\) if and only if \[ a\alpha +(1-a)\beta =\frac 12 \] and one of the following conditions holds true: (i) \(a+\alpha \leq 1\) (ii) \(a+\beta \geq 1\) (iii) \(a+\alpha >1\), \(a+\beta <1\) and \(a+2\alpha \leq 2\). Theorem 2. Numbers \(a,b,c,\alpha \in (0,1)\), such that \(a+b+c=1\) satisfy the inequality \[ af(x)+bf(\alpha x+(1-\alpha)y) +cf(y) \geq \frac{1}{y-x}\int_x^y f(t) dt \] for all \(x,y \in \mathbb{R}\) and all continuous and convex functions \(f:[x,y]\rightarrow \mathbb{R}\) if and only if \[ b(1-\alpha)+c=\frac 12 \] and one of the following conditions holds true: (i) \(a+\alpha \geq 1\) (ii) \(a+b+\alpha \leq 1\) (iii) \(a+\alpha <1\), \(a+b+\alpha >1\) and \(2a+\alpha \geq 1\).