Some Ostrowski type integral inequalities via generalized harmonic convex functions

1. Introduction

Currently the theory of convexity is a hot filed of research due to its applications in optimization theory. This theory also provides the solution to many problems which arise in applied and pure mathematics. This theory plays a remarkable role in the study of linear and non-linear programming problems. In past years, this theory attracts many mathematicians, see [1,2,3].

In mathematics, the idea of convexity is based on the theory of inequalities. The current perspective on the term inequalities require a robust and interconnection between geometry and analysis, which makes the reader shear a sense of exhilaration and exultation. For the applications interested readers can see [4,5].

In 1938, A. Ostrowski established an inequality namely Ostrowski inequality. Mathematically Ostrowski inequality [6] is given by, let \(\Psi:\mathbb{A}\subseteq\mathbb{R}\rightarrow \mathbb{R}\) is an differential function on \(\mathbb{A}^{\circ}\) and \(\wp_{1},\wp_{2}\in \mathbb{A}^{\circ}\) with \(\wp_{1}< \wp_{2}\). If \(|\Psi^{'}(x)|\leq M, \;\forall x\in[\wp_{1},\wp_{2}]\), then we attain the following inequality \[\bigg\vert \Psi(x)-\frac{1}{\wp_{2}-\wp_{1}}\int_{\wp_{1}}^{\wp_{2}}\Psi(u) du \bigg\vert\leq M(\wp_{2}-\wp_{1})\bigg[\frac{1}{4}-\frac{x-(\frac{\wp_{1}+\wp_{2}}{2})^{2}}{(\wp_{2}-\wp_{1})^{2}}\bigg],\;\;\; \forall x\in (\wp_{1},\wp_{2}).\]

This inequality has a great contribution and various applications in probability, numerical integration, and mathematical analysis. The \(1^{st}\) time extension and multivariate of this inequality was investigated by Milovanovic and Peçaric in [7] and Milovanovic in [8] respectively. The Dragomir and Wang [9] explored an inequality of Ostrowski-Grüss type. From the last few decades, due to the effectiveness and applications, many authors generalized the Ostrowski's inequality, see [10,11,12].

In this paper, the refinements of Ostrowski type inequalities for \(s\)-type convex functions are investigated, which are the generalized and extended variants of the previously known results.

2. Preliminaries

A function \(\Psi: \mathbb{A}\rightarrow\mathbb{R}\) is called convex [13], if the following inequality holds for all \(\wp_{1},\wp_{2}\in \mathbb{A}\) and \(\kappa\in[0,1].\)

Harmonic means balance the weights of each data point which is the most relevant and pertinent measure for rates and ratios. The harmonic convex set is always defined by harmonic mean which was introduced by Shi and Zhang [14]. Iscan [15] defined the harmonic convex function.

Definition 1. [15] A function \(\Psi: \mathbb{A}\subseteq(0,+\infty)\rightarrow\mathbb{R}\) is called harmonic convex, if

holds for all \(\wp_{1},\wp_{2}\in \mathbb{A}\) and \(\kappa\in[0,1]\).

Theorem 1. [15] Let \(\Psi: \mathbb{A}\subseteq(0,+\infty)\rightarrow\mathbb{R}\) be a harmonically convex function. If \(\Psi\in L[\wp_{1},\wp_{2}]\) for all \(\wp_{1},\wp_{2}\in \mathbb{A}\) with \(\wp_{1}< \wp_{2},\) then

Recently Rashid et al., [16] introduced \(s\)-type convex function as follows:

Definition 2. [16] A function \(\Psi:\mathbb{A}\rightarrow \mathbb{R}\) is said to be \(s\)-type convex function, if

holds \(\forall\) \(\wp_{1}, \wp_{2}\in \mathbb{A}\), \(\kappa\in [0,1]\) and \(s\in [0,1]\).

The term "hypergeometric function" sometimes refers to the generalized hypergeometric function. In 1949, Arnold Sommerfeld [17] introduced the hypergeometric function by the differential equation. In 1960, Kratzer and Franz determined the hypergeometric function in the support of hypergeometric series. In 1963, Lebedev investigated the hypergeometric function through the \(\Gamma\)-function and its logarithmic derivative. In 2006, Françoise et al., [18] introduced the Gaüss hypergeometric function defined for \(|z|< 1\) by the hypergeometric series. This function is often represented by \(F\left( a,b;c;z\right)\). Mathematically hypergeometric function is given as [19]:

\begin{equation*} _{2}F_{1}\left( a,b;c;z\right) =\frac{1}{\beta \left( b,c-b\right) }\int_{0}^{1}\kappa ^{b-1}\ \left( 1-\kappa \right) ^{c-b-1}\left( 1-z\kappa \right) ^{-a}\ d\kappa ,\ c>b>0,\ \left\vert z\right\vert < 1. \end{equation*} This functions have a wide range of applications in partitions, combinatorial identities, cylinder and spherical problems, finite vector spaces, number theory, and physics.

Motivated by ongoing research activities in this direction, first of all in Section 3, we will explore the concept of harmonic \(s\)-type convex function. In addition, some examples in the manner of this newly introduced definition are elaborated. Furthermore, in Section 4, we investigate some refinements of the Ostrowski type inequality. Finally, we will give a conclusion.

3. Generalized harmonic convex function and its properties

The principal objective of this section is to define the new class of convex functions which are called harmonic \(s\)-type convex functions.

Definition 3. A function \(\Psi: \mathbb{A}\subseteq(0,+\infty)\rightarrow [0,+\infty)\) is called harmonic \(s\)-type convex, if

holds for every \(\wp_{1},\wp_{2}\in \mathbb{A},\) \(\kappa\in [0,1]\) and \(s\in[0,1]\).

Remark 1. Taking \(s=1\) in Definition 3, we attain the definition of harmonically convex function which is defined by Iscan [15].

Lemma 1. The inequalities \([1-s(1-\kappa)]\geq \kappa\) and \([1-s\kappa]\geq (1-\kappa)\) hold \(\forall\) \(s\in[0,1]\) and \(\kappa\in [0,1]\).

Proposition 1. Every harmonic convex function on \(\mathbb{A}\subset(0, +\infty)\) is harmonic \(s\)-type convex function.

Proof. From \(\kappa\leq [1-s(1-\kappa)]\) and \((1-\kappa)\leq [1-s\kappa]\) for all \(\kappa\in [0,1]\) and \(s\in[0,1]\) and applying the property of harmonic convex function, we have \begin{equation*} \Psi\bigg[\frac{\wp_{1}\wp_{2}}{\kappa \wp_{2}+\left( 1-\kappa\right) \wp_{1}}\bigg] \leq \kappa \Psi\left( \wp_{1}\right) + (1-\kappa) \Psi\left( \wp_{2}\right) \leq [1-s(1-\kappa)] \Psi\left( \wp_{1}\right) +[1-s\kappa] \Psi\left(\wp_{2}\right). \end{equation*}

Proposition 2. Every harmonic \(s\)-type convex function is harmonic \(h\)-convex function with \(h(\kappa)=[1-s(1-\kappa)]\).

Proof. Applying the property of harmonic \(s\)-type convex function and using the condition \(h(\kappa)=[1-s(1-\kappa)]\), we have \begin{align*} \Psi\bigg[\frac{\wp_{1}\wp_{2}}{\kappa \wp_{2} +\left( 1-\kappa\right) \wp_{1}}\bigg] &\leq [ 1-s(1-\kappa)] \Psi\left( \wp_{1}\right) + [1-s\kappa] \Psi\left( \wp_{2}\right)\\ &\leq h(\kappa)\Psi(\wp_{1})+ h(1-\kappa)\Psi(\wp_{2}). \end{align*}

Now we give some examples.

Example 1. As \(\Psi(\varsigma)=e^{\varsigma}\) is an increasing convex function so it is harmonically convex function (see [20]). By using Proposition 1, it is a harmonic \(s\)-type convex function.

Example 2. As \(\Psi(\varsigma)=\ln \varsigma\) is an increasing convex function so it is harmonically convex function (see [20]). By using Proposition 1, it is a harmonic \(s\)-type convex function.

4. Refinements of Ostrowski type inequality via harmonic \(s\)-type convex functions

In this section, we are going to attain some refinements of Ostrowski type inequality by the way of harmonic \(s\)-type convex function. Throughout this section, diff mapp means differentiable mapping. In order to obtain the results, we need the following lemma:

Lemma 2. [21] Let \(\Psi:\mathbb{A}\subseteq \mathbb{R}\setminus\{0\}\rightarrow \mathbb{R}\) be a diff mapp on \(\mathbb{A}^o,\) where \(\wp_{1},\wp_{2}\in \mathbb{A}\) with \(\wp_{1}< \wp_{2}.\) If \(\Psi^{\prime }\in L[\wp_1,\wp_2],\) then \begin{align*} \Psi\left( x\right) -\frac{\wp_{1}\wp_{2}}{\wp_{2}-\wp_{1}}\int_{\wp_{1}}^{\wp_{2}}\frac{\Psi\left( u\right)}{u^{2}} du =& \frac{\wp_{1}\wp_{2}}{\wp_{2}-\wp_{1}}\bigg\{(x-\wp_{1})^{2}\int_{0}^{1}\frac{\kappa}{(\kappa\wp_{1}+(1-\kappa)x)^{2}}\Psi^{'}\bigg(\frac{\wp_{1}x}{(\kappa\wp_{1}+(1-\kappa)x)}\bigg)d\kappa\\ &- (\wp_{2}-x)^{2}\int_{0}^{1}\frac{\kappa}{(\kappa\wp_{2}+(1-\kappa)x)^{2}}\Psi^{'}\bigg(\frac{\wp_{2}x}{(\kappa\wp_{2}+(1-\kappa)x)}\bigg)d\kappa\bigg\} \end{align*} for each \(x \in [\wp_{1},\wp_{2}].\)

Theorem 2. Let \(\Psi:\mathbb{A}=[\wp_{1},\wp_{2}]\subseteq(0,+\infty)\rightarrow \mathbb{R}\) be a diff mapp on \(\mathbb{A}^o,\) where \(\wp_{1},\wp_{2}\in \mathbb{A}\) with \(\wp_{1}< \wp_{2}\) and \(\Psi'\in L[\wp_{1},\wp_{2}]\). If the mapping \(\vert \Psi'\vert^{l}\) is harmonic \(s\)-type convex for \(l\geq1\) and \(s \in [0,1]\) , then \begin{align*} \bigg\vert\Psi\left( x\right) &-\frac{\wp_{1}\wp_{2}}{\wp_{2}-\wp_{1}}\int_{\wp_{1}}^{\wp_{2}}\frac{\Psi\left( u\right)}{u^{2}} du\bigg\vert\\ &\leq \frac{\wp_{1}\wp_{2}}{\wp_{2}-\wp_{1}} \bigg\{(x-\wp_{1})^{2}\bigg(\Lambda_{1}\vert\Psi^{'}\left(x\right)\vert^{l} + \Lambda_{2}\vert\Psi^{'}\left( \wp_{1}\right)\vert^{l}\bigg)^{\frac{1}{l}} + (\wp_{2}-x)^{2}\bigg(\Lambda_{3} \vert\Psi^{'}\left(x\right)\vert^{l} + \Lambda_{4}\vert\Psi^{'}\left( \wp_{2}\right)\vert^{l}\bigg)^{\frac{1}{l}}\bigg\}, \end{align*} where \begin{equation*} \Lambda_{1}=\frac{\beta\left(l+1,1\right)}{x^{2l}}\,_{2}F_{1}\left(2l,l+1;l+2;1-\frac{\wp_{1}}{x}\right)-s\frac{\beta\left(l+1,2\right)}{x^{2l}}\,_{2}F_{1}\left(2l,l+1;l+2;1-\frac{\wp_{1}}{x}\right), \end{equation*} \begin{equation*} \Lambda_{2}=\frac{\beta\left(l+1,1\right)}{x^{2l}}\,_{2}F_{1}\left(2l,l+1;l+2;1-\frac{\wp_{1}}{x}\right)-s\frac{\beta\left(l+2,1\right)}{x^{2l}}\,_{2}F_{1}\left(2l,l+2;l+3;1-\frac{\wp_{1}}{x}\right), \end{equation*} \begin{equation*} \Lambda_{3}=\frac{\beta\left(l+1,1\right)}{x^{2l}}\,_{2}F_{1}\left(2l,l+1;l+2;1-\frac{\wp_{2}}{x}\right)-s\frac{\beta\left(l+1,2\right)}{x^{2l}}\,_{2}F_{1}\left(2l,l+1;l+3;1-\frac{\wp_{2}}{x}\right), \end{equation*} and \begin{equation*} \Lambda_{4}=\frac{\beta\left(l+1,1\right)}{x^{2l}}\,_{2}F_{1}\left(2l,l+1;l+2;1-\frac{\wp_{2}}{x}\right)-s\frac{\beta\left(l+2,1\right)}{x^{2l}}\,_{2}F_{1}\left(2l,l+2;l+3;1-\frac{\wp_{2}}{x}\right). \end{equation*}

Proof. Applying Lemma 2, properties of modulus, power mean inequality and the property of harmonic \(s\)-type convex function of \(\vert \Psi'\vert^{l}\), we have \begin{align*} \bigg\vert \Psi\left( x\right) &-\frac{\wp_{1}\wp_{2}}{\wp_{2}-\wp_{1}}\int_{\wp_{1}}^{\wp_{2}}\Psi\left( u\right) du\bigg\vert \\ \leq& \frac{\wp_{1}\wp_{2}}{\wp_{2}-\wp_{1}}\bigg\{(x-\wp_{1})^{2}\int_{0}^{1}\frac{\kappa}{(\kappa\wp_{1}+(1-\kappa)x)^{2}}\bigg\vert \Psi^{'}\bigg(\frac{\wp_{1}x}{(\kappa\wp_{1}+(1-\kappa)x)}\bigg)\bigg\vert d\kappa\\ &+ (\wp_{2}-x)^{2}\int_{0}^{1}\frac{\kappa}{(\kappa\wp_{2}+(1-\kappa)x)^{2}}\bigg\vert \Psi^{'}\bigg(\frac{\wp_{2}x}{(\kappa\wp_{2}+(1-\kappa)x)}\bigg)\bigg\vert d\kappa\bigg\} \\ \leq& \frac{\wp_{1}\wp_{2}(x-\wp_{1})^{2}}{\wp_{2}-\wp_{1}}\bigg(\int_{0}^{1}1d\kappa\bigg)^{1-\frac{1}{l}}\bigg(\int_{0}^{1}\frac{\kappa^{l}}{(\kappa\wp_{1}+(1-\kappa)x)^{2l}}\bigg\vert \Psi^{'}\bigg(\frac{\wp_{1}x}{(\kappa\wp_{1}+(1-\kappa)x)}\bigg)\bigg\vert^{l} d\kappa\bigg)^{\frac{1}{l}}\\ &+ \frac{\wp_{1}\wp_{2}(\wp_{2}-x)^{2}}{\wp_{2}-\wp_{1}}\bigg(\int_{0}^{1}1d\kappa\bigg)^{1-\frac{1}{l}}\bigg(\int_{0}^{1}\frac{\kappa^{l}}{(\kappa\wp_{2}+(1-\kappa)x)^{2l}}\bigg\vert \Psi^{'}\bigg(\frac{\wp_{2}x}{(\kappa\wp_{2}+(1-\kappa)x)}\bigg)\bigg\vert^{l} d\kappa\bigg)^{\frac{1}{l}} \\ \leq& \frac{\wp_{1}\wp_{2}(x-\wp_{1})^{2}}{\wp_{2}-\wp_{1}}\bigg(\int_{0}^{1}\frac{\kappa^{l}\big[[1-s(1-\kappa)] \vert\Psi^{'}\left(x\right)\vert^{l} + [1-s\kappa]\vert\Psi^{'}\left( \wp_{1}\right)\vert^{l}\big]}{(\kappa\wp_{1}+(1-\kappa)x)^{2l}}d\kappa\bigg)^{\frac{1}{l}} \\& + \frac{\wp_{1}\wp_{2}(\wp_{2}-x)^{2}}{\wp_{2}-\wp_{1}}\bigg(\int_{0}^{1}\frac{\kappa^{l}\big[[1-s(1-\kappa)] \vert\Psi^{'}\left(x\right)\vert^{l} + [1-s\kappa]\vert\Psi^{'}\left( \wp_{2}\right)\vert^{l}\big]}{(\kappa\wp_{2}+(1-\kappa)x)^{2l}}d\kappa\bigg)^{\frac{1}{l}} \\ \leq& \frac{\wp_{1}\wp_{2}(x-\wp_{1})^{2}}{\wp_{2}-\wp_{1}}\bigg(\int_{0}^{1}\frac{\kappa^{l}[1-s(1-\kappa)]}{(\kappa\wp_{1}+(1-\kappa)x)^{2l}}d\kappa\vert\Psi^{'}\left(x\right)\vert^{l} + \int_{0}^{1}\frac{\kappa^{l}[1-(s\kappa))]}{(\kappa\wp_{1}+(1-\kappa)x)^{2l}}d\kappa\vert\Psi^{'}\left( \wp_{1}\right)\vert^{l}\bigg)^{\frac{1}{l}} \\& + \frac{\wp_{1}\wp_{2}(\wp_{2}-x)^{2}}{\wp_{2}-\wp_{1}}\bigg(\int_{0}^{1}\frac{\kappa^{l}[1-s(1-\kappa)]}{(\kappa\wp_{2}+(1-\kappa)x)^{2l}}d\kappa \vert\Psi^{'}\left(x\right)\vert^{l} + \int_{0}^{1}\frac{\kappa^{l}[1-(s\kappa))]}{(\kappa\wp_{2}+(1-\kappa)x)^{2l}}d\kappa\vert\Psi^{'}\left( \wp_{2}\right)\vert^{l}\bigg)^{\frac{1}{l}} \\ \leq& \frac{\wp_{1}\wp_{2}}{\wp_{2}-\wp_{1}}\bigg\{(x-\wp_{1})^{2}\bigg(\Lambda_{1}\vert\Psi^{'}\left(x\right)\vert^{l} + \Lambda_{2}\vert\Psi^{'}\left( \wp_{1}\right)\vert^{l}\bigg)^{\frac{1}{l}} + (\wp_{2}-x)^{2}\bigg(\Lambda_{3} \vert\Psi^{'}\left(x\right)\vert^{l} + \Lambda_{4}\vert\Psi^{'}\left( \wp_{2}\right)\vert^{l}\bigg)^{\frac{1}{l}}\bigg\}. \end{align*} The proof is complete.

Corollary 1. In Theorem 2, taking \(\vert \Psi'(x)\vert\leq M, \;\forall\; x\in[\wp_{1},\wp_{2}] \), we attain the following inequality \begin{align*} \bigg\vert\Psi\left( x\right) -\frac{\wp_{1}\wp_{2}}{\wp_{2}-\wp_{1}}\int_{\wp_{1}}^{\wp_{2}}\frac{\Psi\left( u\right)}{u^{2}} du\bigg\vert \leq \frac{\wp_{1}\wp_{2}}{\wp_{2}-\wp_{1}}M \bigg\{(x-\wp_{1})^{2}\bigg(\Lambda_{1} + \Lambda_{2}\bigg)^{\frac{1}{l}} + (\wp_{2}-x)^{2}\bigg(\Lambda_{3} + \Lambda_{4}\bigg)^{\frac{1}{l}}\bigg\}. \end{align*}

Theorem 3. Let \(\Psi:\mathbb{A}=[\wp_{1},\wp_{2}]\subseteq(0,+\infty)\rightarrow \mathbb{R}\) be a diff map on \(\mathbb{A}^o,\) where \(\wp_{1},\wp_{2}\in \mathbb{A}\) with \(\wp_{1}< \wp_{2}\) and \(\Psi'\in L[\wp_{1},\wp_{2}]\). If the mapping \(\vert \Psi'\vert^{l}\) is harmonic \(s\)-type convex for \(l\geq1\) and \(s \in [0,1]\) then for all \(x \in [\wp_{1},\wp_{2}]\), one has \begin{align*} \bigg\vert\Psi\left( x\right) &-\frac{\wp_{1}\wp_{2}}{\wp_{2}-\wp_{1}}\int_{\wp_{1}}^{\wp_{2}}\frac{\Psi\left( u\right)}{u^{2}} du\bigg\vert\\ &\leq \frac{\wp_{1}\wp_{2}}{\wp_{2}-\wp_{1}}\bigg(\frac{1}{2}\bigg)^{1-\frac{1}{l}} \bigg\{(x-\wp_{1})^{2}\bigg(\Lambda_{5}\vert\Psi^{'}\left(x\right)\vert^{l} + \Lambda_{6}\vert\Psi^{'}\left( \wp_{1}\right)\vert^{l}\bigg)^{\frac{1}{l}} + (\wp_{2}-x)^{2}\bigg(\Lambda_{7} \vert\Psi^{'}\left(x\right)\vert^{l} + \Lambda_{8}\vert\Psi^{'}\left( \wp_{2}\right)\vert^{l}\bigg)^{\frac{1}{l}}\bigg\}, \end{align*} where \begin{equation*} \Lambda_{5}=\frac{\beta\left(2,1\right)}{x^{2l}}\,_{2}F_{1}\left(2l,2;3;1-\frac{\wp_{1}}{x}\right)-s\frac{\beta\left(2,2\right)}{x^{2l}}\,_{2}F_{1}\left(2l,2;2;1-\frac{\wp_{1}}{x}\right), \end{equation*} \begin{equation*} \Lambda_{6}=\frac{\beta\left(2,1\right)}{x^{2l}}\,_{2}F_{1}\left(2l,2;3;1-\frac{\wp_{1}}{x}\right)-s\frac{\beta\left(3,1\right)}{x^{2l}}\,_{2}F_{1}\left(2l,3;4;1-\frac{\wp_{1}}{x}\right), \end{equation*} \begin{equation*} \Lambda_{7}=\frac{\beta\left(2,1\right)}{x^{2l}}\,_{2}F_{1}\left(2l,2;3;1-\frac{\wp_{2}}{x}\right)-s\frac{\beta\left(2,2\right)}{x^{2l}}\,_{2}F_{1}\left(2l,2;2;1-\frac{\wp_{2}}{x}\right), \end{equation*} and \begin{equation*} \Lambda_{8}=\frac{\beta\left(2,1\right)}{x^{2l}}\,_{2}F_{1}\left(2l,2;3;1-\frac{\wp_{2}}{x}\right)-s\frac{\beta\left(3,1\right)}{x^{2l}}\,_{2}F_{1}\left(2l,3;4;1-\frac{\wp_{2}}{x}\right). \end{equation*}

Proof. Applying Lemma 2, properties of modulus, power mean inequality and the property of harmonic \(s\)-type convex function of \(\vert \Psi'\vert^{l}\), we have \begin{align*} \bigg\vert \Psi\left( x\right) &-\frac{\wp_{1}\wp_{2}}{\wp_{2}-\wp_{1}}\int_{\wp_{1}}^{\wp_{2}}\Psi\left( u\right) du\bigg\vert \\ \leq& \frac{\wp_{1}\wp_{2}}{\wp_{2}-\wp_{1}}\bigg\{(x-\wp_{1})^{2}\int_{0}^{1}\frac{\kappa}{(\kappa\wp_{1}+(1-\kappa)x)^{2}}\bigg\vert \Psi^{'}\bigg(\frac{\wp_{1}x}{(\kappa\wp_{1}+(1-\kappa)x)}\bigg)\bigg\vert d\kappa\\ &+ (\wp_{2}-x)^{2}\int_{0}^{1}\frac{\kappa}{(\kappa\wp_{2}+(1-\kappa)x)^{2}}\bigg\vert \Psi^{'}\bigg(\frac{\wp_{2}x}{(\kappa\wp_{2}+(1-\kappa)x)}\bigg)\bigg\vert d\kappa\bigg\} \\ \leq& \frac{\wp_{1}\wp_{2}(x-\wp_{1})^{2}}{\wp_{2}-\wp_{1}}\bigg(\int_{0}^{1}\kappa d\kappa\bigg)^{1-\frac{1}{q}}\bigg(\int_{0}^{1}\frac{\kappa}{(\kappa\wp_{1}+(1-\kappa)x)^{2q}}\bigg\vert \Psi^{'}\bigg(\frac{\wp_{1}x}{(\kappa\wp_{1}+(1-\kappa)x)}\bigg)\bigg\vert^{l} d\kappa\bigg)^{\frac{1}{l}}\\ &+ \frac{\wp_{1}\wp_{2}(\wp_{2}-x)^{2}}{\wp_{2}-\wp_{1}}\bigg(\int_{0}^{1}\kappa d\kappa\bigg)^{1-\frac{1}{l}}\bigg(\int_{0}^{1}\frac{\kappa}{(\kappa \wp_{2}+(1-\kappa)x)^{2l}}\bigg\vert \Psi^{'}\bigg(\frac{\wp_{2}x}{(\kappa\wp_{2}+(1-\kappa)x)}\bigg)\bigg\vert^{l} d\kappa\bigg)^{\frac{1}{l}} \\ \leq& \frac{\wp_{1}\wp_{2}(x-\wp_{1})^{2}}{\wp_{2}-\wp_{1}}\bigg(\frac{1}{2}\bigg)^{1-\frac{1}{l}}\bigg(\int_{0}^{1}\frac{\kappa\big[[1-s(1-\kappa)] \vert\Psi^{'}\left(x\right)\vert^{l} + [1-s\kappa]\vert\Psi^{'}\left( \wp_{1}\right)\vert^{l}\big]}{(\kappa\wp_{1}+(1-\kappa)x)^{2l}}d\kappa\bigg)^{\frac{1}{l}} \\& + \frac{\wp_{1}\wp_{2}(\wp_{2}-x)^{2}}{\wp_{2}-\wp_{1}}\bigg(\frac{1}{2}\bigg)^{1-\frac{1}{l}}\bigg(\int_{0}^{1}\frac{\kappa\big[[1-s(1-\kappa)] \vert\Psi^{'}\left(x\right)\vert^{l} + [1-s\kappa]\vert\Psi^{'}\left( \wp_{2}\right)\vert^{l}\big]}{(\kappa\wp_{2}+(1-\kappa)x)^{2l}}d\kappa\bigg)^{\frac{1}{l}} \\ \leq& \frac{\wp_{1}\wp_{2}}{\wp_{2}-\wp_{1}}\bigg(\frac{1}{2}\bigg)^{1-\frac{1}{l}}\bigg\{(x-\wp_{1})^{2}\bigg(\int_{0}^{1}\frac{\kappa[1-s(1-\kappa)]}{(\kappa\wp_{1}+(1-\kappa)x)^{2q}}d\kappa\vert\Psi^{'}\left(x\right)\vert^{q} + \int_{0}^{1}\frac{\kappa[1-(s\kappa))]}{(\kappa \wp_{1}+(1-\kappa)x)^{2l}}d\kappa\vert\Psi^{'}\left( \wp_{1}\right)\vert^{l}\bigg)^{\frac{1}{l}} \\&+ (\wp_{2}-x)^{2}\bigg(\int_{0}^{1}\frac{\kappa[1-s(1-\kappa)]}{(\kappa\wp_{2}+(1-\kappa)x)^{2l}}d\kappa \vert\Psi^{'}\left(x\right)\vert^{l} + \int_{0}^{1}\frac{\kappa[1-(s\kappa))]}{(\kappa\wp_{2}+(1-\kappa)x)^{2l}}d\kappa\vert\Psi^{'}\left( \wp_{2}\right)\vert^{l}\bigg)^{\frac{1}{l}}\bigg\} \\ \leq& \frac{\wp_{1}\wp_{2}}{\wp_{2}-\wp_{1}}\bigg(\frac{1}{2}\bigg)^{1-\frac{1}{l}}\bigg\{(x-\wp_{1})^{2} \bigg(\Lambda_{5}\vert\Psi^{'}\left(x\right)\vert^{l} + \Lambda_{6}\vert\Psi^{'}\left( \wp_{1}\right)\vert^{l}\bigg)^{\frac{1}{l}} + (\wp_{2}-x)^{2}\bigg(\Lambda_{7} \vert\Psi^{'}\left(x\right)\vert^{l} + \Lambda_{8}\vert\Psi^{'}\left( \wp_{2}\right)\vert^{l}\bigg)^{\frac{1}{l}}\bigg\}. \end{align*} The proof is complete.

Corollary 2. In Theorem 2, taking \(\vert \Psi'(x)\vert\leq \mathbb{M}, \;\forall\; x\in[\wp_{1},\wp_{2}] \), we attain the following inequality \begin{align*} \bigg\vert\Psi\left( x\right) -\frac{\wp_{1}\wp_{2}}{\wp_{2}-\wp_{1}}\int_{\wp_{1}}^{\wp_{2}}\frac{\Psi\left( u\right)}{u^{2}} du\bigg\vert \leq \frac{\wp_{1}\wp_{2}}{\wp_{2}-\wp_{1}}\mathbb{M} \bigg(\frac{1}{2}\bigg)^{1-\frac{1}{l}} \bigg\{(x-\wp_{1})^{2}\big(\Lambda_{5} + \Lambda_{6}\big)^{\frac{1}{l}} + (\wp_{2}-x)^{2}\big(\Lambda_{7} + \Lambda_{8}\big)^{\frac{1}{l}}\bigg\}. \end{align*}

Theorem 4. Let \(\Psi:\mathbb{A}=[\wp_{1},\wp_{2}]\subseteq(0,+\infty)\rightarrow \mathbb{R}\) be a diff mapp on \(\mathbb{A}^o,\) where \(\wp_{1},\wp_{2}\in \mathbb{A}\) with \(\wp_{1}< \wp_{2}\) and \(\Psi'\in L[\wp_{1},\wp_{2}]\). If the mapping \(\vert \Psi'\vert^{l}\) is harmonic \(s\)-type convex for \(l\geq1\) and \(s \in [0,1]\) then for all \(x \in [\wp_{1},\wp_{2}]\), one has \begin{align*} \bigg\vert\Psi\left( x\right)& -\frac{\wp_{1}\wp_{2}}{\wp_{2}-\wp_{1}}\int_{\wp_{1}}^{\wp_{2}}\frac{\Psi\left( u\right)}{u^{2}} du\bigg\vert\\ \leq& \frac{\wp_{1}\wp_{2}}{\wp_{2}-\wp_{1}}\bigg\{ \bigg((x-\wp_{1})\bigg\{\frac{1}{\wp_{1}}-\frac{\ln x- \ln \wp_{1}}{x-\wp_{1}}\bigg\}\bigg)^{1-\frac{1}{l}} \bigg(\Lambda_{9} \vert\Psi^{'}\left(x\right)\vert^{l} +\Lambda_{10}\vert\Psi^{'}\left( \wp_{1}\right)\vert^{l}\bigg)^{\frac{1}{l}} \\& + \bigg((\wp_{2}-x)\bigg\{\frac{\ln x- \ln \wp_{1}}{x-\wp_{1}}-\frac{1}{\wp_{2}}\bigg\}\bigg)^{1-\frac{1}{l}} \bigg(\Lambda_{11} \vert\Psi^{'}\left(x\right)\vert^{l} + \Lambda_{12}\vert\Psi^{'}\left( \wp_{2}\right)\vert^{l}\bigg)^{\frac{1}{l}}\bigg\}, \end{align*} where \begin{equation*} \Lambda_{9}=\frac{\beta\left(1,1\right)}{x^{2l}}\,_{2}F_{1}\left(2l,1;2;1-\frac{\wp_{1}}{x}\right)-s\frac{\beta\left(1,3\right)}{x^{2l}}\,_{2}F_{1}\left(2l,1;3;1-\frac{\wp_{1}}{x}\right), \end{equation*} \begin{equation*} \Lambda_{10}=\frac{\beta\left(1,1\right)}{x^{2l}}\,_{2}F_{1}\left(2l,1;2;1-\frac{\wp_{1}}{x}\right)-s\frac{\beta\left(2,1\right)}{x^{2l}}\,_{2}F_{1}\left(2l,2;3;1-\frac{\wp_{1}}{x}\right), \end{equation*} \begin{equation*} \Lambda_{11}=\frac{\beta\left(1,1\right)}{x^{2l}}\,_{2}F_{1}\left(2l,2;3;1-\frac{\wp_{2}}{x}\right)-s\frac{\beta\left(1,3\right)}{x^{2l}}\,_{2}F_{1}\left(2l,1;3;1-\frac{\wp_{2}}{x}\right), \end{equation*} and \begin{equation*} \Lambda_{12}=\frac{\beta\left(1,1\right)}{x^{2l}}\,_{2}F_{1}\left(2l,2;3;1-\frac{\wp_{2}}{x}\right)-s\frac{\beta\left(2,1\right)}{x^{2l}}\,_{2}F_{1}\left(2l,2;3;1-\frac{\wp_{2}}{x}\right). \end{equation*}

Proof. Applying Lemma 2, properties of modulus, power mean inequality and the property of harmonic \(s\)-type convex function of \(\vert \Psi'\vert^{l}\), we have \begin{align*} \bigg\vert \Psi\left( x\right) &-\frac{\wp_{1}\wp_{2}}{\wp_{2}-\wp_{1}}\int_{\wp_{1}}^{\wp_{2}}\Psi\left( u\right) du\bigg\vert \\ \leq& \frac{\wp_{1}\wp_{2}}{\wp_{2}-\wp_{1}}\bigg\{(x-\wp_{1})^{2}\int_{0}^{1}\frac{\kappa}{(\kappa\wp_{1}+(1-\kappa)x)^{2}}\bigg\vert \Psi^{'}\bigg(\frac{\wp_{1}x}{(\kappa\wp_{1}+(1-\kappa)x)}\bigg)\bigg\vert d\kappa\\ &+ (\wp_{2}-x)^{2}\int_{0}^{1}\frac{\kappa}{(\kappa\wp_{2}+(1-\kappa)x)^{2}}\bigg\vert \Psi^{'}\bigg(\frac{\wp_{2}x}{(\kappa\wp_{2}+(1-\kappa)x)}\bigg)\bigg\vert d\kappa\bigg\} \\ \leq& \frac{\wp_{1}\wp_{2}(x-\wp_{1})^{2}}{\wp_{2}-\wp_{1}} \bigg(\int_{0}^{1}\frac{\kappa}{(\kappa\wp_{1}+(1-\kappa)x)^{2}}d\kappa\bigg)^{1-\frac{1}{l}}\\&\times\bigg(\int_{0}^{1}\frac{1}{(\kappa\wp_{1}+(1-\kappa)x)^{2l}}\bigg\vert \Psi^{'}\bigg(\frac{\wp_{1}x}{(\kappa\wp_{1}+(1-\kappa)x)}\bigg)\bigg\vert^{l} d\kappa\bigg)^{\frac{1}{l}}\\ &+ \frac{\wp_{1}\wp_{2}(\wp_{2}-x)^{2}}{\wp_{2}-\wp_{1}} \bigg(\int_{0}^{1}\frac{\kappa}{(\kappa\wp_{2}+(1-\kappa)x)^{2}}d\kappa\bigg)^{1-\frac{1}{l}}\\&\times\bigg(\int_{0}^{1}\frac{1}{(\kappa\wp_{2}+(1-\kappa)x)^{2l}}\bigg\vert \Psi^{'}\bigg(\frac{\wp_{2}x}{(\kappa\wp_{2}+(1-\kappa)x)}\bigg)\bigg\vert^{l} d\kappa\bigg)^{\frac{1}{l}}\\ \leq& \frac{\wp_{1}\wp_{2}(x-\wp_{1})^{2}}{\wp_{2}-\wp_{1}}\bigg(\frac{1}{x-\wp_{1}}\bigg\{\frac{1}{\wp_{1}}-\frac{\ln x- \ln \wp_{1}}{x-\wp_{1}}\bigg\}\bigg)^{1-\frac{1}{l}} \\& \times\bigg(\int_{0}^{1}\frac{\big[[1-s(1-\kappa)] \vert\Psi^{'}\left(x\right)\vert^{l} + [1-s\kappa]\vert\Psi^{'}\left( \wp_{1}\right)\vert^{l}\big]}{(\kappa\wp_{1}+(1-\kappa)x)^{2l}}d\kappa\bigg)^{\frac{1}{l}} \\& + \frac{\wp_{1}\wp_{2}(\wp_{2}-x)^{2}}{\wp_{2}-\wp_{1}}\bigg(\frac{1}{\wp_{2}-x}\bigg\{\frac{\ln x- \ln \wp_{1}}{x-\wp_{1}}-\frac{1}{\wp_{2}}\bigg\}\bigg)^{1-\frac{1}{l}} \\& \times\bigg(\int_{0}^{1}\frac{\big[[1-s(1-\kappa)] \vert\Psi^{'}\left(x\right)\vert^{l} + [1-s\kappa]\vert\Psi^{'}\left( \wp_{2}\right)\vert^{l}\big]}{(\kappa\wp_{2}+(1-\kappa)x)^{2l}}d\kappa\bigg)^{\frac{1}{l}} \\ \leq& \frac{\wp_{1}\wp_{2}(x-\wp_{1})^{2}}{\wp_{2}-\wp_{1}} \bigg(\frac{1}{x-\wp_{1}}\bigg\{\frac{1}{\wp_{1}}-\frac{\ln x- \ln \wp_{1}}{x-\wp_{1}}\bigg\}\bigg)^{1-\frac{1}{l}} \\& \times\bigg(\int_{0}^{1}\frac{[1-s(1-\kappa)]}{(\kappa\wp_{1}+(1-\kappa)x)^{2l}}d\kappa \vert\Psi^{'}\left(x\right)\vert^{l} +\int_{0}^{1}\frac{[1-(s\kappa))]}{(\kappa\wp_{1}+(1-\kappa)x)^{2l}}d\kappa\vert\Psi^{'}\left( \wp_{1}\right)\vert^{l}\bigg)^{\frac{1}{l}} \\& + \frac{\wp_{1}\wp_{2}(\wp_{2}-x)^{2}}{\wp_{2}-\wp_{1}}\bigg(\frac{1}{\wp_{2}-x}\bigg\{\frac{\ln x- \ln \wp_{1}}{x-\wp_{1}}-\frac{1}{\wp_{2}}\bigg\}\bigg)^{1-\frac{1}{l}} \\& \times\bigg(\int_{0}^{1}\frac{[1-s(1-\kappa)]}{(\kappa\wp_{2}+(1-\kappa)x)^{2l}}d\kappa \vert\Psi^{'}\left(x\right)\vert^{l} + \int_{0}^{1}\frac{[1-(s\kappa))]}{(\kappa\wp_{2}+(1-\kappa)x)^{2l}}d\kappa\vert\Psi^{'}\left( \wp_{2}\right)\vert^{l}\bigg)^{\frac{1}{l}} \\ \leq& \frac{\wp_{1}\wp_{2}}{\wp_{2}-\wp_{1}}\bigg\{ \bigg((x-\wp_{1})\bigg\{\frac{1}{\wp_{1}}-\frac{\ln x- \ln \wp_{1}}{x-\wp_{1}}\bigg\}\bigg)^{1-\frac{1}{l}} \bigg(\Lambda_{9} \vert\Psi^{'}\left(x\right)\vert^{l} +\Lambda_{10}\vert\Psi^{'}\left( \wp_{1}\right)\vert^{l}\bigg)^{\frac{1}{l}} \\& + \bigg((\wp_{2}-x)\bigg\{\frac{\ln x- \ln \wp_{1}}{x-\wp_{1}}-\frac{1}{\wp_{2}}\bigg\}\bigg)^{1-\frac{1}{l}} \bigg(\Lambda_{11} \vert\Psi^{'}\left(x\right)\vert^{l} + \Lambda_{12}\vert\Psi^{'}\left( \wp_{2}\right)\vert^{l}\bigg)^{\frac{1}{l}}\bigg\}. \end{align*} The proof is complete.

Corollary 3. In Theorem 4, taking \(\vert \Psi'(x)\vert\leq \mathbb{M}, \;\forall\; x\in[\wp_{1},\wp_{2}] \), we attain the following inequality \begin{align*} \bigg\vert\Psi\left( x\right) -&\frac{\wp_{1}\wp_{2}}{\wp_{2}-\wp_{1}}\int_{\wp_{1}}^{\wp_{2}}\frac{\Psi\left( u\right)}{u^{2}} du\bigg\vert \\ \leq& \frac{\wp_{1}\wp_{2}}{\wp_{2}-\wp_{1}}\mathbb{M}\bigg\{ \bigg((x-\wp_{1})\bigg\{\frac{1}{\wp_{1}}-\frac{\ln x- \ln \wp_{1}}{x-\wp_{1}}\bigg\}\bigg)^{1-\frac{1}{l}} \bigg(\Lambda_{9} +\Lambda_{10}\bigg)^{\frac{1}{l}} \\& + \bigg((\wp_{2}-x)\bigg\{\frac{\ln x- \ln \wp_{1}}{x-\wp_{1}}-\frac{1}{\wp_{2}}\bigg\}\bigg)^{1-\frac{1}{l}} \bigg(\Lambda_{11} + \Lambda_{12}\bigg)^{\frac{1}{l}}\bigg\}. \end{align*}

Theorem 5. Let \(\Psi:\mathbb{A}=[\wp_{1},\wp_{2}]\subseteq(0,+\infty)\rightarrow \mathbb{R}\) be a diff mapp on \(\mathbb{A}^o,\) where \(\wp_{1},\wp_{2}\in \mathbb{A}\) with \(\wp_{1}< \wp_{2}\) and \(\Psi'\in L[\wp_{1},\wp_{2}]\). If the mapping \(\vert \Psi'\vert^{l}\) is harmonic \(s\)-type convex for \(q>1\), \(\frac{1}{m}+\frac{1}{l}=1\) and \(s \in [0,1]\) , then \begin{align*} \bigg\vert\Psi\left( x\right) -\frac{\wp_{1}\wp_{2}}{\wp_{2}-\wp_{1}}\int_{\wp_{1}}^{\wp_{2}}\frac{\Psi\left( u\right)}{u^{2}} du\bigg\vert \leq& \frac{\wp_{1}\wp_{2}}{\wp_{2}-\wp_{1}}\bigg(\frac{1}{m+1}\bigg)^{\frac{1}{m}} \bigg\{(x-\wp_{1})^{2}\bigg(\Lambda_{9}\vert\Psi^{'}\left(x\right)\vert^{l} + \Lambda_{10}\vert\Psi^{'}\left( \wp_{1}\right)\vert^{l}\bigg)^{\frac{1}{l}} \\&+ (\wp_{2}-x)^{2}\bigg(\Lambda_{11} \vert\Psi^{'}\left(x\right)\vert^{l} + \Lambda_{12}\vert\Psi^{'}\left( \wp_{2}\right)\vert^{l}\bigg)^{\frac{1}{l}}\bigg\}, \end{align*} where \(\Lambda_{9},\;\;\Lambda_{10},\;\;\Lambda_{11}\) and \(\Lambda_{12}\) are defined in Theorem 4.

Proof. Applying Lemma 2, properties of modulus, Hölder’s inequality and the property of harmonic \(s\)-type convex function of \(\vert \Psi'\vert^{l}\), we have \begin{align*} \bigg\vert \Psi\left( x\right)& -\frac{\wp_{1}\wp_{2}}{\wp_{2}-\wp_{1}}\int_{\wp_{1}}^{\wp_{2}}\Psi\left( u\right) du\bigg\vert\\ \leq& \frac{\wp_{1}\wp_{2}}{\wp_{2}-\wp_{1}} \bigg\{(x-\wp_{1})^{2}\int_{0}^{1}\frac{\kappa}{(\kappa\wp_{1}+(1-\kappa)x)^{2}}\bigg\vert \Psi^{'}\bigg(\frac{\wp_{1}x}{(\kappa\wp_{1}+(1-\kappa)x)}\bigg)\bigg\vert d\kappa\\ &+ (\wp_{2}-x)^{2}\int_{0}^{1}\frac{\kappa}{(\kappa\wp_{2}+(1-\kappa)x)^{2}}\bigg\vert \Psi^{'}\bigg(\frac{\wp_{2}x}{(\kappa\wp_{2}+(1-\kappa)x)}\bigg)\bigg\vert d\kappa\bigg\} \\ \leq& \frac{\wp_{1}\wp_{2}(x-\wp_{1})^{2}}{\wp_{2}-\wp_{1}}\bigg(\int_{0}^{1}\kappa d\kappa\bigg)^{\frac{1}{m}}\bigg(\int_{0}^{1}\frac{1}{(\kappa \wp_{1}+(1-\kappa)x)^{2l}}\bigg\vert \Psi^{'}\bigg(\frac{\wp_{1}x}{(\kappa \wp_{1}+(1-\kappa)x)}\bigg)\bigg\vert^{l} d\kappa\bigg)^{\frac{1}{l}}\\ &+ \frac{\wp_{1}\wp_{2}(\wp_{2}-x)^{2}}{\wp_{2}-\wp_{1}}\bigg(\int_{0}^{1}\kappa d\kappa\bigg)^{\frac{1}{m}}\bigg(\int_{0}^{1}\frac{1}{(\kappa \wp_{2}+(1-\kappa)x)^{2l}}\bigg\vert \Psi^{'}\bigg(\frac{\wp_{2}x}{(\kappa\wp_{2}+(1-\kappa)x)}\bigg)\bigg\vert^{l} d\kappa\bigg)^{\frac{1}{l}} \\ \leq& \frac{\wp_{1}\wp_{2}(x-\wp_{1})^{2}}{\wp_{2}-\wp_{1}}\bigg(\frac{1}{m+1}\bigg)^{\frac{1}{m}}\bigg(\int_{0}^{1}\frac{\big[[1-s(1-\kappa)] \vert\Psi^{'}\left(x\right)\vert^{l} + [1-s\kappa]\vert\Psi^{'}( \wp_{1})\vert^{l}\big]}{(\kappa\wp_{1}+(1-\kappa)x)^{2l}}d\kappa\bigg)^{\frac{1}{l}} \\& + \frac{\wp_{1}\wp_{2}(\wp_{2}-x)^{2}}{\wp_{2}-\wp_{1}}\bigg(\frac{1}{m+1}\bigg)^{\frac{1}{m}}\bigg(\int_{0}^{1}\frac{\big[[1-s(1-\kappa)] \vert\Psi^{'}\left(x\right)\vert^{l} + [1-s\kappa]\vert\Psi^{'}\left( \wp_{2}\right)\vert^{l}\big]}{(\kappa \wp_{2}+(1-\kappa)x)^{2l}}d\kappa\bigg)^{\frac{1}{l}} \\ \leq& \frac{\wp_{1}\wp_{2}}{\wp_{2}-\wp_{1}}\bigg(\frac{1}{m+1}\bigg)^{\frac{1}{m}} \bigg\{(x-\wp_{1})^{2}\bigg(\Lambda_{9}\vert\Psi^{'}\left(x\right)\vert^{l} + \Lambda_{10}\vert\Psi^{'}\left( \wp_{1}\right)\vert^{l}\bigg)^{\frac{1}{l}} \\&+ (\wp_{2}-x)^{2}\bigg(\Lambda_{11} \vert\Psi^{'}\left(x\right)\vert^{l} + \Lambda_{12}\vert\Psi^{'}\left( \wp_{2}\right)\vert^{l}\bigg)^{\frac{1}{l}}\bigg\}. \end{align*} The proof is complete.

Corollary 4. In Theorem 5, taking \(\vert \Psi'(x)\vert\leq \mathbb{M}, \;\forall\; x\in[\wp_{1},\wp_{2}] \), we attain the following inequality \begin{align*} &\bigg\vert\Psi\left( x\right) -\frac{\wp_{1}\wp_{2}}{\wp_{2}-\wp_{1}}\int_{\wp_{1}}^{\wp_{2}}\frac{\Psi\left( u\right)}{u^{2}} du\bigg\vert \leq \frac{\wp_{1}\wp_{2}}{\wp_{2}-\wp_{1}}\mathbb{M}\bigg(\frac{1}{m+1}\bigg)^{\frac{1}{m}} \bigg\{(x-\wp_{1})^{2}\bigg(\Lambda_{9} + \Lambda_{10}\bigg)^{\frac{1}{l}} + (\wp_{2}-x)^{2}\bigg(\Lambda_{11} + \Lambda_{12}\bigg)^{\frac{1}{l}}\bigg\}. \end{align*}

Theorem 6. Let \(\Psi:\mathbb{A}=[\wp_{1},\wp_{2}]\subseteq(0,+\infty)\rightarrow \mathbb{R}\) be a diff mapp on \(\mathbb{A}^o,\) where \(\wp_{1},\wp_{2}\in \mathbb{A}\) with \(\wp_{1}< \wp_{2}\) and \(\Psi'\in L[\wp_{1},\wp_{2}]\). If the mapping \(\vert \Psi'\vert^{l}\) is harmonic \(s\)-type convex for \(l>1\), \(\frac{1}{m}+\frac{1}{l}=1\) and \(s \in [0,1]\) , then \begin{align*} \bigg\vert\Psi\left( x\right)& -\frac{\wp_{1}\wp_{2}}{\wp_{2}-\wp_{1}}\int_{\wp_{1}}^{\wp_{2}}\frac{\Psi\left( u\right)}{u^{2}} du\bigg\vert\\ \leq& \frac{\wp_{1}\wp_{2}}{\wp_{2}-\wp_{1}}\bigg(\bigg[\frac{2-s}{2}\bigg]\bigg)^{\frac{1}{l}} \bigg\{(x-\wp_{1})^{2}\bigg(\frac{\beta(m+1,1)}{x^{2m}}\,_{2}F_{1}(2m,m+1,m+2,1-\frac{\wp_{1}}{x})\bigg) \bigg(\bigg\{{\vert\Psi^{'}\left(x\right)\vert^{l} +\vert\Psi^{'}\left( \wp_{1}\right)\vert^{l}}\bigg\} \bigg)^{\frac{1}{l}} \\&+ (\wp_{2}-x)^{2}\bigg(\frac{\beta(1,1+m)}{\wp_{2}^{2m}}\,_{2}F_{1}(2m,1;m+2,1-\frac{x}{\wp_{2}})\bigg) \bigg(\bigg\{{\vert\Psi^{'}\left(x\right)\vert^{l} +\vert\Psi^{'}\left( \wp_{2}\right)\vert^{l}}\bigg\}\bigg)^{\frac{1}{l}}\bigg\}. \end{align*}

Proof. Applying Lemma 2, properties of modulus, Hölder’s inequality and the property of harmonic \(s\)-type convex function of \(\vert \Psi'\vert^{l}\), we have \begin{align*} \bigg\vert \Psi\left( x\right)& -\frac{\wp_{1}\wp_{2}}{\wp_{2}-\wp_{1}}\int_{\wp_{1}}^{\wp_{2}}\Psi\left( u\right) du\bigg\vert \\\leq& \frac{\wp_{1}\wp_{2}}{\wp_{2}-\wp_{1}}\bigg\{(x-\wp_{1})^{2}\int_{0}^{1}\frac{\kappa}{(\kappa\wp_{1}+(1-\kappa)x)^{2}}\bigg\vert \Psi^{'}\bigg(\frac{\wp_{1}x}{(\kappa\wp_{1}+(1-\kappa)x)}\bigg)\bigg\vert d\kappa\\ &+ (\wp_{2}-x)^{2}\int_{0}^{1}\frac{\kappa}{(\kappa\wp_{2}+(1-\kappa)x)^{2}}\bigg\vert \Psi^{'}\bigg(\frac{\wp_{2}x}{(\kappa\wp_{2}+(1-\kappa)x)}\bigg)\bigg\vert d\kappa\bigg\} \\ \leq& \frac{\wp_{1}\wp_{2}(x-\wp_{1})^{2}}{\wp_{2}-\wp_{1}}\bigg(\int_{0}^{1}\frac{\kappa^{m}}{(\kappa \wp_{1}+(1-\kappa)x)^{2}}d\kappa\bigg)^{\frac{1}{m}}\bigg(\int_{0}^{1}\bigg\vert \Psi^{'}\bigg(\frac{\wp_{1}x}{(\kappa a+(1-\kappa)x)}\bigg)\bigg\vert^{l} d\kappa\bigg)^{\frac{1}{l}}\\ &+ \frac{\wp_{1}\wp_{2}(\wp_{2}-x)^{2}}{\wp_{2}-\wp_{1}}\bigg(\int_{0}^{1}\frac{\kappa^{m}}{(\kappa\wp_{2}+(1-\kappa)x)^{2}}d\kappa\bigg)^{\frac{1}{m}}\bigg(\int_{0}^{1}\bigg\vert \Psi^{'}\bigg(\frac{\wp_{2}x}{(\kappa\wp_{2}+(1-\kappa)x)}\bigg)\bigg\vert^{l} d\kappa\bigg)^{\frac{1}{l}} \\ \leq& \frac{\wp_{1}\wp_{2}(x-\wp_{1})^{2}}{\wp_{2}-\wp_{1}}\bigg(\frac{\beta(m+1,1)}{x^{2m}}\,_{2}F_{1}(2m,m+1,m+2,1-\frac{\wp_{1}}{x})\bigg) \\& \times\bigg(\int_{0}^{1}\big[[1-s(1-\kappa)] \vert\Psi^{'}\left(x\right)\vert^{l} + [1-s\kappa]\vert\Psi^{'}\left( \wp_{1}\right)\vert^{l}\big]d\kappa\bigg)^{\frac{1}{l}} \\& + \frac{\wp_{1}\wp_{2}(\wp_{2}-x)^{2}}{\wp_{2}-\wp_{1}}\bigg(\frac{\beta(1,1+m)}{\wp_{2}^{2m}}\,_{2}F_{1}(2m,1;m+2,1-\frac{x}{\wp_{2}})\bigg) \\& \times\bigg(\int_{0}^{1}\big[[1-s(1-\kappa)] \vert\Psi^{'}\left(x\right)\vert^{l} + [1-s\kappa]\vert\Psi^{'}\left( \wp_{2}\right)\vert^{l}\big]dk\bigg)^{\frac{1}{l}} \\ \leq& \frac{\wp_{1}\wp_{2}(x-\wp_{1})^{2}}{\wp_{2}-\wp_{1}} \bigg(\frac{\beta(m+1,1)}{x^{2m}}\,_{2}F_{1}(2m,m+1,m+2,1-\frac{\wp_{1}}{x})\bigg) \bigg(\bigg[\frac{2-s}{2}\bigg]\bigg\{\vert\Psi^{'}\left(x\right)\vert^{l} +\vert\Psi^{'}\left( \wp_{1}\right)\vert^{l}\bigg\} \bigg)^{\frac{1}{l}} \\& + \frac{\wp_{1}\wp_{2}(\wp_{2}-x)^{2}}{\wp_{2}-\wp_{1}}\bigg(\frac{\beta(1,1+m)}{\wp_{2}^{2m}}\,_{2}F_{1}(2m,1;m+2,1-\frac{x}{\wp_{2}})\bigg) \bigg(\bigg[\frac{2-s}{2}\bigg]\bigg\{\vert\Psi^{'}\left(x\right)\vert^{l} +\vert\Psi^{'}\left( \wp_{2}\right)\vert^{l}\bigg\} \bigg)^{\frac{1}{l}} \\ \leq& \frac{\wp_{1}\wp_{2}}{\wp_{2}-\wp_{1}}\bigg(\bigg[\frac{2-s}{2}\bigg]\bigg)^{\frac{1}{l}} \bigg\{(x-\wp_{1})^{2}\bigg(\frac{\beta(m+1,1)}{x^{2m}}\,_{2}F_{1}(2m,m+1,m+2,1-\frac{\wp_{1}}{x})\bigg) \bigg(\bigg\{{\vert\Psi^{'}\left(x\right)\vert^{l} +\vert\Psi^{'}\left( \wp_{1}\right)\vert^{l}}\bigg\} \bigg)^{\frac{1}{l}} \\&+ (\wp_{2}-x)^{2}\bigg(\frac{\beta(1,1+m)}{\wp_{2}^{2m}}\,_{2}F_{1}(2m,1;m+2,1-\frac{x}{\wp_{2}})\bigg) \bigg(\bigg\{{\vert\Psi^{'}\left(x\right)\vert^{l} +\vert\Psi^{'}\left( \wp_{2}\right)\vert^{l}}\bigg\} \bigg)^{\frac{1}{l}}\bigg\}. \end{align*} The proof is complete.

Corollary 5. In Theorem 6, taking \(\vert \Psi'(x)\vert\leq \mathbb{M}, \;\forall\; x\in[\wp_{1},\wp_{2}] \), we attain the following inequality \begin{align*} \bigg\vert\Psi\left( x\right) &-\frac{\wp_{1}\wp_{2}}{\wp_{2}-\wp_{1}}\int_{\wp_{1}}^{\wp_{2}}\frac{\Psi\left( u\right)}{u^{2}} du\bigg\vert\\ \leq& \frac{\wp_{1}\wp_{2}}{\wp_{2}-\wp_{1}}2\mathbb{M}\bigg(\bigg[\frac{2-s}{2}\bigg]\bigg)^{\frac{1}{l}} \bigg\{(x-\wp_{1})^{2}\bigg(\frac{\beta(m+1,1)}{x^{2m}}\,_{2}F_{1}\left(2m,m+1,m+2,1-\frac{\wp_{1}}{x}\right)\bigg) \\&+ (\wp_{2}-x)^{2}\bigg(\frac{\beta(1,1+m)}{\wp_{2}^{2m}}\,_{2}F_{1}\left(2m,1;m+2,1-\frac{x}{\wp_{2}}\right)\bigg) \bigg\}. \end{align*}

Remark 2. In the previous inequalities, by taking \(x=\frac{\wp_{1}+\wp_{2}}{2}\), we attain multiple midpoint type inequalities.

5. Conclusion

In this work, we defined harmonic \(s\)-type convex functions and obtained the refinements of Ostrowski type inequality. The intriguing procedure and amusing ideas of this work can be extended on the coordinates and strongly harmonic \(s\)-type convex functions along with fractional integral calculus.

Acknowledgments

Authors are thankful to the anonymous referee for his constructive comments and feedback.

Author Contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

Conflicts of Interest

The authors declare no conflict of interest.