New Hermite–Hadamard type inequalities for n-polynomial harmonically convex functions

Abstract

In the article, we introduce a class of n-polynomial harmonically convex functions, establish their several new Hermite–Hadamard type inequalities which are the generalizations and variants of the previously known results for harmonically convex functions.

1 Introduction and preliminaries

Let $I\subseteq \mathbb{R}$ be an interval. Then a real-valued function $f: I\rightarrow \mathbb{R}$ is said to be convex (concave) if the inequality

$$ f\bigl(\lambda x+(1-\lambda )y\bigr)\leq (\geq )\lambda f(x)+(1-\lambda )f(y) $$

holds for all $x, y\in I$ and $\lambda \in [0, 1]$.

It is well known that the convexity (concavity) has wide applications in many branches of pure and applied mathematics [1–30], many inequalities can be derived via the convexity or concavity theory [31–56]. Recently, the generalizations, extensions, and variants for the convexity have attracted the attention of many researchers [57–65].

The classical Hermite–Hadamard inequality [66] is the most famous one in convex functions theory, which states that the double inequality

$$ f \biggl(\frac{x+y}{2} \biggr)\leq (\geq )\frac{1}{y-x} \int _{x}^{y}f(t)\,dt \leq (\geq )\frac{f(x)+f(y)}{2} $$

holds for all $x, y\in I$ with $x\neq y$ if $f: I\rightarrow \mathbb{R}$ is a convex (concave) function.

In the past few decades, many generalizations, improvements, refinements, and variants for the Hermite–Hadamard inequality have been made by several researchers, we recommend the literature [67–72] to interested readers.

Now, we recall the definition of harmonically convex function [73] as follows.

Definition 1.1

(see [73])

Let $H\subseteq (0, \infty )$ be an interval. Then a real-valued function $f: H\rightarrow \mathbb{R}$ is said to be harmonically convex if

$$ f \biggl(\frac{xy}{tx+(1-t)y} \biggr)\leq tf(y)+ (1-t)f(x) $$

for all $x,y \in H$ and $t\in [0,1]$.

İşcan [73] provided the Hermite–Hadamard type inequality for the harmonically convex function.

Theorem 1.2

(see [73])

Let$H\subseteq (0, \infty )$be an interval and$f:H\rightarrow \mathbb{R}$be a harmonically convex function. Then the Hermite–Hadamard type inequality

$$ f \biggl(\frac{2ab}{a+b} \biggr)\leq \frac{ab}{b-a} \int _{a}^{b} \frac{f(x)}{x^{2}}\,dx\leq \frac{f(a)+f(b)}{2} $$

(1.1)

holds for all$a, b\in H$with$a< b$if$f\in L[a, b]$.

Very recently, Toplu et al. [74] introduced and investigated a new class of n-polynomial convex functions and established several new Hermite–Hadamard type inequalities for this class of functions.

The main purpose of the article is to introduce the notion of n-polynomial harmonically convex functions, derive the variants of the classical Hermite–Hadamard inequality by use of the class of n-polynomial harmonically convex functions. We also discuss several new special cases for the obtained results which show that our obtained results are the generalizations and extensions of some previously known results.

2 Results and discussions

In this section, we first introduce the definition of n-polynomial harmonically convex function.

Definition 2.1

Let $n\in \mathbb{N}$ and $H\subseteq (0, \infty )$ be an interval. Then a nonnegative real-valued function $f: H\rightarrow [0, \infty )$ is said to be an n-polynomial harmonically convex function if

$$ f \biggl(\frac{xy}{tx+(1-t)y} \biggr)\leq \frac{1}{n}\sum _{s=1}^{n} \bigl(1-(1-t)^{s} \bigr)f(y) + \frac{1}{n}\sum_{s=1}^{n} \bigl(1-t^{s} \bigr)f(x) $$

for all $x, y\in H$ and $t\in [0, 1]$.

From Definitions 1.1 and 2.1, we clearly see that the class of n-polynomial harmonically convex functions reduces to the class of harmonically convex functions if $n=1$ and the 2-polynomial harmonically convex function f satisfies the inequality

$$ f \biggl(\frac{xy}{tx+(1-t)y} \biggr)\leq \frac{3t-t^{2}}{2}f(y)+ \frac{2-t-t^{2}}{2}f(x). $$

Theorem 2.2

Let$b>a>0$, $f_{\alpha }:[a,b]\rightarrow [0, \infty )$be a family ofn-polynomial harmonically convex functions and$f(u)=\sup_{\alpha }f_{\alpha }(u)$. Thenfis ann-polynomial harmonically convex function if$J=\{x\in [a,b]:f(x)<\infty \}$is an interval.

Proof

Let $t\in [0,1]$ and $x,y\in J$. Then we clearly see that

$$\begin{aligned} f \biggl(\frac{xy}{tx+(1-t)y} \biggr)&=\sup_{\alpha }f_{\alpha } \biggl( \frac{xy}{tx+(1-t)y} \biggr) \\ &\leq \frac{1}{n}\sum_{s=1}^{n} \bigl(1-(1-t)^{s} \bigr) \sup_{\alpha }f_{\alpha }(y) +\frac{1}{n}\sum_{s=1}^{n} \bigl(1-t^{s} \bigr)\sup_{\alpha }f_{\alpha }(x) \\ &=\frac{1}{n}\sum_{s=1}^{n} \bigl(1-(1-t)^{s}\bigr)f(y)+\frac{1}{n}\sum _{s=1}^{n}\bigl(1-t^{s}\bigr)f(x)< \infty, \end{aligned}$$

which completes the proof. □

Theorem 2.3

Let$f: [a,b]\subseteq (0,\infty )\rightarrow [0, \infty )$be ann-polynomial harmonically convex function. Then one has

$$ \frac{1}{2} \biggl(\frac{n}{n+2^{-n}-1} \biggr)f \biggl(\frac{2ab}{a+b} \biggr)\leq \frac{ab}{b-a} \int _{a}^{b}\frac{f(x)}{x^{2}}\,dx \leq \biggl( \frac{f(a)+f(b)}{n} \biggr)\sum_{s=1}^{n} \frac{s}{s+1} $$

if$f\in L[a,b]$.

Proof

It follows from the n-polynomial harmonic convexity of f that

$$ f \biggl(\frac{xy}{tx+(1-t)y} \biggr)\leq \frac{1}{n}\sum _{s=1}^{n}\bigl[1-(1-t)^{s}\bigr]f(y)+ \frac{1}{n}\sum_{s=1}^{n} \bigl(1-t^{s}\bigr)f(x), $$

which leads to

$$ f \biggl(\frac{2xy}{x+y} \biggr)\leq \frac{1}{n}\sum _{s=1}^{n} \biggl[1- \biggl(\frac{1}{2} \biggr)^{s} \biggr]f(y) +\frac{1}{n}\sum _{s=1}^{n} \biggl[1- \biggl(\frac{1}{2} \biggr)^{s} \biggr]f(x). $$

Using the change of variables, we have

$$ f \biggl(\frac{2ab}{a+b} \biggr)\leq \frac{1}{n}\sum _{s=1}^{n} \biggl[1- \biggl(\frac{1}{2} \biggr)^{s} \biggr] \biggl[f \biggl( \frac{ab}{ta+(1-t)b} \biggr) +f \biggl(\frac{ab}{tb+(1-t)a} \biggr) \biggr]. $$

Integrating both sides of the above inequality with respect to t on $[0,1]$, we get

$$ \frac{1}{2} \biggl(\frac{n}{n+2^{-n}-1} \biggr)f \biggl(\frac{2ab}{a+b} \biggr)\leq \frac{ab}{b-a} \int _{a}^{b}\frac{f(x)}{x^{2}}\,dx. $$

(2.1)

Note that

$$\begin{aligned} \frac{ab}{b-a} \int _{a}^{b}\frac{f(x)}{x^{2}}\,dx&= \int _{o}^{1}f \biggl(\frac{ab}{ta+(1-t)b} \biggr)\,dt \\ &\leq \int _{0}^{1} \Biggl[\frac{1}{n}\sum _{s=1}^{n} \bigl[1-(1-t)^{s} \bigr]f(b) + \frac{1}{n}\sum_{s=1}^{n} \bigl[1-t^{s} \bigr]f(a) \Biggr]\,dt \\ &=\frac{f(b)}{n}\sum_{s=1}^{n} \int _{0}^{1} \bigl[1-(1-t)^{s} \bigr]\,dt +\frac{f(a)}{n}\sum_{s=1}^{n} \int _{0}^{1} \bigl[1-t^{s} \bigr]\,dt \\ &= \biggl[\frac{f(a)+f(b)}{n} \biggr]\sum_{s=1}^{n} \frac{s}{s+1}. \end{aligned}$$

(2.2)

Therefore, Theorem 2.3 follows from (2.1) and (2.2). □

Remark 2.4

Let $n=1$. Then Theorem 2.3 leads to the Hermite–Hadamard inequality for harmonically convex functions of [73].

Lemma 2.5

Let$f:[a,b]\subseteq (0,\infty )\rightarrow \mathbb{R}$be a differentiable function. Then the identity

$$\begin{aligned} &\frac{\lambda f(a)+\mu f(b)}{2}+\frac{2-\lambda -\mu }{2}f \biggl( \frac{2ab}{a+b} \biggr) - \frac{ab}{b-a} \int _{a}^{b} \frac{f(x)}{x^{2}}\,dx \\ &\quad =\frac{ab(b-a)}{4} \int _{0}^{1} \biggl[ \frac{4(1-\lambda -t)}{((1-t)a+(1+t)b)^{2}}f' \biggl( \frac{2ab}{(1-t)a+(1+t)b} \biggr) \\ &\qquad{}+\frac{4(\mu -t)}{((2-t)a+tb)^{2}}f' \biggl( \frac{2ab}{(2-t)a+tb} \biggr) \biggr]\,dt \end{aligned}$$

holds for$\lambda, \mu \in [0,1]$if$f^{\prime }\in L[a,b]$.

Proof

Integrating by parts and changing variable of the definite integral give

$$\begin{aligned} I_{1}={}& \int _{0}^{1} \biggl[ \frac{4(1-\lambda -t)}{((1-t)a+(1+t)b)^{2}}f^{\prime } \biggl( \frac{2ab}{(1-t)a+(1+t)b} \biggr) \biggr]\,dt \\ ={}&{-}\frac{2}{ab(b-a)} \biggl[(1-\lambda -t)f \biggl( \frac{2ab}{(1-t)a+(1+t)b} \biggr)\bigg|_{0}^{1} \\ &{}+ \int _{0}^{1}f \biggl(\frac{2ab}{(1-t)a+(1+t)b} \biggr)\,dt \biggr] \\ ={}&\frac{2}{ab(b-a)} \biggl[\lambda f(a)+(1-\lambda )f \biggl( \frac{2ab}{a+b} \biggr) \biggr] -\frac{4}{(b-a)^{2}} \int _{a}^{ \frac{2ab}{b-a}}\frac{f(x)}{x^{2}}\,dx. \end{aligned}$$

Similarly, we have

$$\begin{aligned} I_{2}&= \int _{0}^{1}\frac{4(\mu -t)}{((2-t)a+tb)^{2}}f' \biggl( \frac{2ab}{(2-t)a+tb)} \biggr)\,dt \\ &=-\frac{2}{ab(b-a)} \biggl[(\mu -t)f \biggl(\frac{2ab}{(2-t)a+tb} \biggr)\bigg|_{0}^{1} + \int _{0}^{1}f \biggl( \frac{2ab}{(2-t)a+tb} \biggr) \,dt \biggr] \\ &=\frac{2}{ab(b-a)} \biggl[(1-\mu )f \biggl(\frac{2ab}{a+b} \biggr)+\mu f(b) \biggr] -\frac{4}{(b-a)^{2}} \int _{\frac{2ab}{a+b}}^{b} \frac{f(x)}{x^{2}}\,dx. \end{aligned}$$

Multiplying $I_{1}$ and $I_{2}$ by $\frac{ab(b-a)}{4}$ and combining both equalities, we get the desired result. □

For the sake of simplicity, in what follows we denote

$$ A_{a}=\bigl((1-t)a+(1+t)b\bigr) $$

and

$$ A_{b}=\bigl((2-t)a+tb\bigr). $$

Before we give our next result, let us recall the definitions of the gamma function $\varGamma (\cdot )$, beta function $B(\cdot,\cdot )$, and hypergeometric function $_{2}F_{1}(\cdot,\cdot;\cdot;\cdot )$ as follows:

$$\begin{aligned} &\varGamma (x)= \int _{0}^{\infty }e^{-t}t^{x-1}\,dt, \\ &B(x,y)= \int _{0}^{1}t^{x-1}(1-t)^{y-1} \,dt, \\ &B(x,y)=\frac{\varGamma (x)\varGamma (y)}{\varGamma (x+y)}, \\ &{}_{2}F_{1}(x,y;c;z)=\frac{1}{\mathrm{B}(y,c-y)} \int _{0}^{1}t^{y-1}(1-t)^{c-y-1}(1-zt)^{-x} \,dt. \end{aligned}$$

Theorem 2.6

Let$p, q>1$with$1/p+1/q=1$, $\lambda, \mu \in [0, 1]$, and$f:[a,b]\subseteq (0,\infty )\rightarrow \mathbb{R}$be a differentiable function such that$f^{\prime }\in L[a,b]$and$|f^{\prime }|^{q}$is ann-polynomial harmonically convex function. Then we have

$$\begin{aligned} &\biggl\vert \frac{\lambda f(a)+\mu f(b) }{2}+\frac{2-\lambda -\mu }{2}f \biggl(\frac{2ab}{a+b} \biggr) -\frac{ab}{b-a} \int _{a}^{b} \frac{f(x)}{x^{2}}\,dx \biggr\vert \\ &\quad \leq \frac{ab(b-a)}{4} \bigl[ \bigl\{ \psi _{1}^{\frac{1}{p}} \bigl(C_{1} \bigl\vert f'(a) \bigr\vert ^{q} +C_{2} \bigl\vert f'(b) \bigr\vert ^{q} \bigr)^{\frac{1}{q}} \bigr\} \\ &\qquad{}+ \bigl\{ \psi _{2}^{\frac{1}{p}} \bigl(C_{3} \bigl\vert f'(a) \bigr\vert ^{q} +C_{4} \bigl\vert f'(b) \bigr\vert ^{q} \bigr)^{\frac{1}{q}} \bigr\} \bigr], \end{aligned}$$

where

$$\begin{aligned} \psi _{1}={}&4 \int _{0}^{1} \vert 1-\lambda -t \vert ^{p}\,dt =4 \biggl(\frac{(1-\lambda )^{p+1}+(\lambda )^{p+1}}{p+1} \biggr), \end{aligned}$$

(2.3)

$$\begin{aligned} \psi _{2}={}&4 \int _{0}^{1} \vert \mu -t \vert ^{p} \,dt =4 \biggl( \frac{(1-\mu )^{p+1}+(\mu )^{p+1}}{p+1} \biggr), \end{aligned}$$

(2.4)

$$\begin{aligned} C_{1}={}&\frac{1}{2n}\sum_{s=1}^{n} \biggl(2(a+b)^{-2q}{}_{2}F_{1} \biggl(2q,1;2; \frac{a-b}{a+b} \biggr) \\ &{}-\frac{(a+b)^{-2q}}{s+1}{}_{2}F_{1} \biggl(2q,1;s+2; \frac{a-b}{a+b} \biggr) \biggr), \end{aligned}$$

(2.5)

$$\begin{aligned} C_{2}={}&\frac{1}{2n}\sum_{s=1}^{n} \biggl((a+b)^{-2q}{}_{2}F_{1} \biggl(2q,1;2; \frac{a-b}{a+b} \biggr) \\ &{}-\frac{(a+b)^{-2q}}{s+1}{}_{2}F_{1} \biggl(2q,s+1;s+2; \frac{a-b}{a+b} \biggr) \biggr), \end{aligned}$$

(2.6)

$$\begin{aligned} C_{3}={}&\frac{1}{2n}\sum_{s=1}^{n} \biggl((2a)^{-2q}{}_{2}F_{1} \biggl(2q,1;2; \frac{a-b}{2a} \biggr) \\ &{}-\frac{(2a)^{-2q}}{s+1}{}_{2}F_{1} \biggl(2q,1;s+2; \frac{a-b}{2a} \biggr) \biggr), \end{aligned}$$

(2.7)

$$\begin{aligned} C_{4}={}&\frac{1}{2n}\sum_{s=1}^{n} \biggl(2(2a)^{-2q}{}_{2}F_{1} \biggl(2q,1;2; \frac{a-b}{2a} \biggr) \\ &{}-\frac{(2a)^{-2q}}{s+1}{}_{2}F_{1} \biggl(2q,s+1;s+2; \frac{a-b}{2a} \biggr) \biggr). \end{aligned}$$

(2.8)

Proof

It follows from Lemma 2.5 and Hölder’s integral inequality together with the n-polynomial harmonic convexity of $|f^{\prime }|^{q}$ that

$$\begin{aligned} &\biggl\vert \frac{\lambda f(a)+\mu f(b)}{2}+\frac{(2-\lambda -\mu )}{2}f \biggl(\frac{2ab}{a+b} \biggr) -\frac{ab}{b-a} \int _{a}^{b} \frac{f(x)}{x^{2}}\,dx \biggr\vert \\ &\quad \leq \frac{ab(b-a)}{4} \biggl[ \int _{0}^{1} \biggl\vert \frac{4(1-\lambda -t)}{((1-t)a+(1+t)b)^{2}} \biggr\vert \biggl\vert f' \biggl( \frac{2ab}{((1-t)a+(1+t)b)} \biggr) \biggr\vert \,dt \\ &\qquad{}+ \int _{0}^{1} \biggl\vert \frac{4(\mu -t)}{((2-t)a+tb)^{2}} \biggr\vert \biggl\vert f' \biggl(\frac{2ab}{(2-t)a+tb)} \biggr) \biggr\vert \,dt \biggr] \\ &\quad \leq \frac{ab(b-a)}{4} \Biggl\{ \biggl( \int _{0}^{1}4(1- \lambda -t)^{p}\,dt \biggr)^{\frac{1}{p}} \\ &\qquad{}\times \Biggl[ \int _{0}^{1}\frac{1}{A_{a}^{2q}} \Biggl( \frac{1}{2n}\sum_{s=1}^{n} \bigl[2-(1-t)^{s}\bigr] \bigl\vert f'(a) \bigr\vert ^{q} + \frac{1}{2n}\sum_{s=1}^{n} \bigl[1-t^{s}\bigr] \bigl\vert f'(b) \bigr\vert ^{q} \Biggr)\,dt \Biggr]^{\frac{1}{q}} \\ &\qquad{}+ \biggl( \int _{0}^{1}4(\mu -t)^{p}\mathrm{d}t \biggr)^{ \frac{1}{p}} \\ &\qquad{}\times \Biggl[ \int _{0}^{1}\frac{1}{A_{b}^{2q}} \Biggl( \frac{1}{2n}\sum_{s=1}^{n} \bigl[1-(1-t)^{s}\bigr] \bigl\vert f'(a) \bigr\vert ^{q} + \frac{1}{2n}\sum_{s=1}^{n} \bigl[2-t^{s}\bigr] \bigl\vert f'(b) \bigr\vert ^{q} \Biggr) \mathrm{d}t \Biggr]^{\frac{1}{q}} \Biggr\} \\ &\quad =\frac{ab(b-a)}{4} \bigl\{ \bigl(\psi _{1}^{\frac{1}{p}} \bigl(C_{1} \bigl\vert f'(a) \bigr\vert ^{q}+C_{2} \bigl\vert f'(b) \bigr\vert \bigr)^{\frac{1}{q}} \bigr) \\ &\qquad{}+ \bigl(\psi _{2}^{\frac{1}{p}} \bigl(C_{3} \bigl\vert f'(a) \bigr\vert ^{q}+C_{4} \bigl\vert f'(b) \bigr\vert ^{q} \bigr)^{\frac{1}{q}} \bigr) \bigr\} . \end{aligned}$$

This completes the proof. □

From Theorem 2.6 we get the following Corollaries 2.7 and 2.8 immediately.

Corollary 2.7

Let$\lambda =\mu$. Then Theorem 2.6leads to the conclusion that

$$\begin{aligned} &\biggl\vert \frac{\lambda f(a)+\lambda f(b) }{2}+(1-\lambda )f \biggl( \frac{2ab}{a+b} \biggr) -\frac{ab}{b-a} \int _{a}^{b} \frac{f(x)}{x^{2}}\,dx \biggr\vert \\ &\quad \leq \frac{ab(b-a)}{4}\psi _{1}^{\frac{1}{p}} \bigl[ \bigl\{ C_{1} \bigl\vert f'(a) \bigr\vert ^{q} +C_{2} \bigl\vert f'(b) \bigr\vert ^{q} \bigr\} ^{\frac{1}{q}}+ \bigl\{ C_{3} \bigl\vert f'(a) \bigr\vert ^{q}+C_{4} \bigl\vert f'(b) \bigr\vert ^{q} \bigr\} ^{\frac{1}{q}} \bigr], \end{aligned}$$

where$\psi _{1}$, $C_{1}$, $C_{2}$, $C_{3}$, and$C_{4}$are given by (2.3), (2.5), (2.6), (2.7), and (2.8), respectively.

Corollary 2.8

Let$\lambda =\mu =1/2$and$\lambda =\mu =1/3$. Then Theorem 2.6leads to

$$\begin{aligned} &\biggl\vert \frac{(f(a)+f(b)}{4}+\frac{1}{2}f \biggl(\frac{2ab}{a+b} \biggr) - \frac{ab}{b-a} \int _{a}^{b}\frac{f(x)}{x^{2}}\,dx \biggr\vert \\ &\quad \leq \frac{ab(b-a)}{4} \biggl( \frac{8^{\frac{1}{p}}}{2^{1+\frac{1}{p}}(p+1)^{\frac{1}{p}}} \biggr) \bigl[ \bigl\{ C_{1} \bigl\vert f'(a) \bigr\vert ^{q}+C_{2} \bigl\vert f'(b) \bigr\vert ^{q} \bigr\} ^{ \frac{1}{q}} \\ &\qquad{}+ \bigl\{ C_{3} \bigl\vert f'(a) \bigr\vert ^{q}+C_{4} \bigl\vert f'(b) \bigr\vert ^{q} \bigr\} ^{ \frac{1}{q}} \bigr] \end{aligned}$$

and

$$\begin{aligned} &\biggl\vert \frac{(f(a)+f(b)}{6}+\frac{2}{3}f \biggl(\frac{2ab}{a+b} \biggr) - \frac{ab}{b-a} \int _{a}^{b}\frac{f(x)}{x^{2}}\,dx \biggr\vert \\ &\quad \leq \frac{ab(b-a)}{4} \biggl(4 \biggl( \frac{(\frac{2}{3})^{p+1}+(\frac{1}{3})^{p+1}}{(p+1)} \biggr) \biggr)^{ \frac{1}{p}} \bigl[ \bigl\{ C_{1} \bigl\vert f'(a) \bigr\vert ^{q}+C_{2} \bigl\vert f'(b) \bigr\vert ^{q} \bigr\} ^{\frac{1}{q}} \\ &\qquad{}+ \bigl\{ C_{3} \bigl\vert f'(a) \bigr\vert ^{q}+C_{4} \bigl\vert f'(b) \bigr\vert ^{q} \bigr\} ^{ \frac{1}{q}} \bigr], \end{aligned}$$

where$C_{1}$, $C_{2}$, $C_{3}$, and$C_{4}$are given by (2.5), (2.6), (2.7), and (2.8), respectively.

Theorem 2.9

Let$p, q>1$with$1/p+1/q=1$, $\lambda, \mu \in [0, 1]$, and$f:[a,b]\subseteq (0,\infty )\rightarrow \mathbb{R}$be a differentiable function such that$f^{\prime }\in L[a,b]$and$|f^{\prime }|^{q}$is ann-polynomial harmonically convex function. Then

$$\begin{aligned} &\biggl\vert \frac{\lambda f(a)+\mu f(b)}{2}+\frac{2-\lambda -\mu }{2}f \biggl(\frac{2ab}{a+b} \biggr) -\frac{ab}{b-a} \int _{a}^{b} \frac{f(x)}{x^{2}}\,dx \biggr\vert \\ &\quad \leq \frac{ab(b-a)}{4} \biggl[\frac{4}{(a+b)^{2}} \biggl({}_{2}F_{1} \biggl(2p,1;2;\frac{a-b}{a+b} \biggr) \biggr)^{\frac{1}{p}} \bigl(C_{5} \bigl\vert f'(a) \bigr\vert ^{q}+C_{6} \bigl\vert f'(b) \bigr\vert ^{q} \bigr)^{\frac{1}{q}} \\ &\qquad{}+\frac{1}{a^{2}} \biggl({}_{2}F_{1} \biggl(2p,1;2; \frac{a-b}{2a} \biggr) \biggr)^{\frac{1}{p}} \bigl(C_{7} \bigl\vert f'(a) \bigr\vert ^{q}+C_{8} \bigl\vert f'(b) \bigr\vert ^{q} \bigr)^{\frac{1}{q}} \biggr], \end{aligned}$$

(2.9)

where

$$\begin{aligned} &C_{5}=\frac{1}{2n}\sum_{s=1}^{n} \biggl(2 \frac{(1-\lambda )^{q+1}+\lambda ^{q+1}}{q+1} - \int _{0}^{1} \vert 1-\lambda -t \vert ^{q}(1-t)^{s}\,dt \biggr), \\ &C_{6}=\frac{1}{2n}\sum_{s=1}^{n} \biggl( \frac{(1-\lambda )^{q+1}+\lambda ^{q+1}}{q+1} - \int _{0}^{1} \vert 1-\lambda -t \vert ^{q}t^{s}\,dt \biggr), \\ &C_{7}=\frac{1}{2n}\sum_{s=1}^{n} \biggl( \frac{(1-\mu )^{q+1}+\mu ^{q+1}}{q+1} - \int _{0}^{1} \vert \mu -t \vert ^{q}(1-t)^{s}\,dt \biggr), \\ &C_{8}=\frac{1}{2n}\sum_{s=1}^{n} \biggl(2 \frac{(1-\mu )^{q+1} +\mu ^{q+1}}{q+1}- \int _{0}^{1} \vert \mu -t \vert ^{q}t^{s}\,dt \biggr). \end{aligned}$$

Proof

Using Lemma 2.5, Hölder’s integral inequality, and the n-polynomial harmonic convexity of $|f'|^{q}$, we have

$$\begin{aligned} &\biggl\vert \frac{\lambda f(a)+\mu f(b)}{2}+\frac{(2-\lambda -\mu )}{2}f \biggl(\frac{2ab}{a+b} \biggr) -\frac{ab}{b-a} \int _{a}^{b} \frac{f(x)}{x^{2}}\,dx \biggr\vert \\ &\quad \leq \frac{ab(b-a)}{4} \biggl[ \int _{0}^{1} \biggl\vert \frac{4(1-\lambda -t)}{((1-t)a+(1+t)b)^{2}} \biggr\vert \biggl\vert f' \biggl( \frac{2ab}{((1-t)a+(1+t)b)} \biggr) \biggr\vert \,dt \\ &\qquad{}+ \int _{0}^{1} \biggl\vert \frac{4(\mu -t)}{((2-t)a+tb)^{2}} \biggr\vert \biggl\vert f' \biggl(\frac{2ab}{(2-t)a+tb)} \biggr) \biggr\vert \,dt \biggr] \\ &\quad \leq \frac{ab(b-a)}{4} \Biggl\{ 4 \biggl( \int _{0}^{1} \frac{1}{A_{a}^{2p}}\,dt \biggr)^{\frac{1}{p}} \\ &\qquad{}\times \Biggl[ \int _{0}^{1} \vert 1-\lambda -t \vert ^{q} \Biggl( \frac{1}{2n}\sum_{s=1}^{n} \bigl[2-(1-t)^{s}\bigr] \bigl\vert f'(a) \bigr\vert ^{q} + \frac{1}{2n}\sum_{s=1}^{n} \bigl[1-t^{s}\bigr] \bigl\vert f'(b) \bigr\vert ^{q} \Biggr)\,dt \Biggr]^{\frac{1}{q}} \\ &\qquad{}+4 \biggl( \int _{0}^{1}\frac{1}{A_{b}^{2p}}\,dt \biggr)^{ \frac{1}{p}} \\ &\qquad{}\times \Biggl[ \int _{0}^{1} \vert \mu -t \vert ^{q} \mathrm{d}t \Biggl(\frac{1}{2n}\sum_{s=1}^{n} \bigl[1-(1-t)^{s}\bigr] \bigl\vert f'(a) \bigr\vert ^{q} + \frac{1}{2n}\sum_{s=1}^{n} \bigl[2-t^{s}\bigr] \bigl\vert f'(b) \bigr\vert ^{q} \Biggr) \Biggr]^{\frac{1}{q}} \Biggr\} \\ &\quad =\frac{ab(b-a)}{4} \biggl[\frac{4}{(a+b)^{2}} \biggl({}_{2}F_{1} \biggl(2p,1;2; \frac{a-b}{a+b} \biggr) \biggr)^{\frac{1}{p}} \bigl(C_{5} \bigl\vert f'(a) \bigr\vert ^{q}+C_{6} \bigl\vert f'(b) \bigr\vert ^{q} \bigr)^{\frac{1}{q}} \\ &\qquad{}+\frac{1}{a^{2}} \biggl({}_{2}F_{1} \biggl(2p,1;2; \frac{a-b}{2a} \biggr) \biggr)^{\frac{1}{p}} \bigl(C_{7} \bigl\vert f'(a) \bigr\vert ^{q}+C_{8} \bigl\vert f'(b) \bigr\vert ^{q} \bigr)^{\frac{1}{q}} \biggr]. \end{aligned}$$

This completes the proof. □

Remark 2.10

Let $n=1$. Then inequality (2.9) reduces to the following inequality for harmonically convex function:

$$\begin{aligned} &\biggl\vert \frac{\lambda f(a)+\mu f(b) }{2}+\frac{2-\lambda -\mu }{2}f \biggl(\frac{2ab}{a+b} \biggr) -\frac{ab}{b-a} \int _{a}^{b} \frac{f(x)}{x^{2}}\,dx \biggr\vert \\ &\quad \leq \frac{ab(b-a)}{4} \biggl[\frac{4}{(a+b)^{2}} \biggl({}_{2}F_{1} \biggl(2p,1;2;\frac{a-b}{a+b} \biggr) \biggr)^{\frac{1}{p}} \bigl(C_{5}^{ \ast } \bigl\vert f'(a) \bigr\vert ^{q}+C_{6}^{\ast } \bigl\vert f'(b) \bigr\vert ^{q} \bigr)^{\frac{1}{q}} \\ &\qquad{}+\frac{1}{a^{2}} \biggl({}_{2}F_{1} \biggl(2p,1;2; \frac{a-b}{2a} \biggr) \biggr)^{\frac{1}{p}} \bigl(C_{7}^{\ast } \bigl\vert f'(a) \bigr\vert ^{q}+C_{8}^{ \ast } \bigl\vert f'(b) \bigr\vert ^{q} \bigr)^{\frac{1}{q}} \biggr], \end{aligned}$$

where

$$\begin{aligned} C_{5}^{\ast }={}&\frac{1}{2} \int _{0}^{1} \vert 1-\lambda -t \vert ^{q}(1+t)\,dt \\ ={}&\frac{1}{2} \biggl(\frac{(1-\lambda )^{q+1}+(\lambda )^{q+1}}{q+1}+ \frac{(1-\lambda )^{q+2}+(q+2-\lambda )(\lambda )^{q+1}}{(q+1)(q+2)} \biggr) \\ ={}&\frac{1}{2(q+1)(q+2)} \bigl((q+3-\lambda ) (1-\lambda )^{q+1}+(2q+4- \lambda )\lambda ^{q+1} \bigr), \\ C_{6}^{\ast }={}&\frac{1}{2} \int _{0}^{1} \vert 1-\lambda -t \vert ^{q}(1-t)\,dt \\ ={}&\frac{1}{2} \biggl(\frac{(1-\lambda )^{q+1}+(\lambda )^{q+1}}{q+1} - \frac{(1-\lambda )^{q+2}+(q+2-\lambda )(\lambda )^{q+1}}{(q+1)(q+2)} \biggr) \\ ={}&\frac{1}{2(q+1)(q+2)} \bigl((q+1+\lambda ) (1-\lambda )^{q+1}+ \lambda ^{q+2} \bigr), \\ C_{7}^{\ast }={}&\frac{1}{2}\sum _{s=1}^{n} \int _{0}^{1} \vert \mu -t \vert ^{q}tdt =\frac{1}{2(q+1)(q+2)} \bigl((\mu )^{q+2}+(q+1+ \mu ) (1-\mu )^{q+1} \bigr), \\ C_{8}^{\ast }={}&\frac{1}{2}\sum _{s=1}^{n} \int _{0}^{1} \vert \mu -t \vert ^{q}(2-t)\,dt \\ ={}&\frac{1}{2} \biggl(2 \biggl(\frac{(\mu )^{q+1}+(1-\mu )^{q+1}}{q+1} \biggr)- \frac{(\mu )^{q+2}+(q+1+\mu )(1-\mu )^{q+1}}{(q+1)(q+2)} \biggr) \\ ={}&\frac{1}{2(q+1)(q+2)} \bigl((q+3-\mu ) (1-\mu )^{q+1}+(2q+4-\mu )\mu ^{q+1} \bigr). \end{aligned}$$

Remark 2.11

If $q=1$ and $n=1$, then Theorem 2.9 reduces to

$$\begin{aligned} &\biggl\vert \frac{\lambda f(a)+\mu f(b) }{2}+\frac{2-\lambda -\mu }{2}f \biggl(\frac{2ab}{a+b} \biggr) -\frac{ab}{b-a} \int _{a}^{b} \frac{f(x)}{x^{2}}\,dx \biggr\vert \\ &\quad \leq \frac{ab(b-a)}{4} \biggl[\frac{4}{(a+b)^{2}} \biggl({}_{2}F_{1} \biggl(2p,1;2;\frac{a-b}{a+b} \biggr) \biggr)^{\frac{1}{p}} \bigl( C_{5}^{ \ast \ast } \bigl\vert f'(a) \bigr\vert +C_{6}^{\ast \ast } \bigl\vert f'(b) \bigr\vert \bigr) \\ &\qquad{}+\frac{1}{a^{2}} \biggl({}_{2}F_{1} \biggl(2p,1;2; \frac{a-b}{2a} \biggr) \biggr)^{\frac{1}{p}} \bigl(C_{7}^{\ast \ast } \bigl\vert f'(a) \bigr\vert +C_{8}^{ \ast \ast } \bigl\vert f'(b) \bigr\vert \bigr) \biggr], \end{aligned}$$

where

$$\begin{aligned} &C_{5}^{\ast \ast }=\frac{1}{12} \bigl[(4-\lambda ) (1-\lambda )^{2}+(6- \lambda )\lambda ^{2} \bigr], \\ &C_{6}^{\ast \ast }=\frac{1}{12} \bigl[(2+\lambda ) (1-\lambda )^{2}+ \lambda ^{3} \bigr], \\ &C_{7}^{\ast \ast }=\frac{1}{12} \bigl[(2+\mu ) (1-\mu )^{2}+\mu ^{3} \bigr], \\ &C_{8}^{\ast \ast }=\frac{1}{12} \bigl[(4-\mu ) (1-\mu )^{2}+(6-\mu ) \mu ^{2} \bigr]. \end{aligned}$$

Remark 2.12

If $q=1$, $n=1$, and $\lambda =\mu$, then inequality (2.9) becomes

$$\begin{aligned} &\biggl\vert \frac{\lambda f(a)+\lambda f(b)}{2}+(1-\lambda )f \biggl( \frac{2ab}{a+b} \biggr) -\frac{ab}{b-a} \int _{a}^{b} \frac{f(x)}{x^{2}}\,dx \biggr\vert \\ &\quad \leq \frac{ab(b-a)}{4} \biggl[\frac{4}{(a+b)^{2}} \biggl({}_{2}F_{1} \biggl(2p,1;2;\frac{a-b}{a+b} \biggr) \biggr)^{\frac{1}{p}} \bigl( C_{5}^{ \ast \ast } \bigl\vert f'(a) \bigr\vert +C_{6}^{\ast \ast } \bigl\vert f'(b) \bigr\vert \bigr) \\ &\qquad{}+\frac{1}{a^{2}} \biggl({}_{2}F_{1} \biggl(2p,1;2; \frac{a-b}{2a} \biggr) \biggr)^{\frac{1}{p}} \bigl(C_{6}^{\ast \ast } \bigl\vert f'(a) \bigr\vert +C_{5}^{ \ast \ast } \bigl\vert f'(b) \bigr\vert \bigr) \biggr]. \end{aligned}$$

Remark 2.13

Let $q=1$, $n=1$, and $\lambda =\mu =1/2$. Then Theorem 2.9 leads to the conclusion that

$$\begin{aligned} &\biggl\vert \frac{f(a)+f(b) }{4}+\frac{1}{2}f \biggl(\frac{2ab}{a+b} \biggr)- \frac{ab}{b-a} \int _{a}^{b}\frac{f(x)}{x^{2}}\,dx \biggr\vert \\ &\quad \leq \frac{ab(b-a)}{384} \biggl[\frac{4}{(a+b)^{2}} \biggl({}_{2}F_{1} \biggl(2p,1;2;\frac{a-b}{a+b} \biggr) \biggr)^{\frac{1}{p}} \bigl( 18 \bigl\vert f'(a) \bigr\vert +6 \bigl\vert f'(b) \bigr\vert \bigr) \\ &\qquad{}+\frac{1}{a^{2}} \biggl({}_{2}F_{1} \biggl(2p,1;2; \frac{a-b}{2a} \biggr) \biggr)^{\frac{1}{p}} \bigl(6 \bigl\vert f'(a) \bigr\vert +18 \bigl\vert f'(b) \bigr\vert \bigr) \biggr]. \end{aligned}$$

3 Conclusion

In this paper, we have introduced a new class of harmonically convex functions, which are called n-polynomial harmonically convex functions, derived several new versions of the Hermite–Hadamard inequality using the class of n-polynomial harmonically convex functions and a new integral identity for the differentiable function. We have also discussed some special cases of the obtained results which show that our results are the generalizations and extensions of some previously known results for the harmonically convex functions. Our ideas and approach may lead to a lot of follow-up research.