*Article* **On Generalization of Different Integral Inequalities for Harmonically Convex Functions**

**Jiraporn Reunsumrit 1, Miguel J. Vivas-Cortez 2,\*, Muhammad Aamir Ali <sup>3</sup> and Thanin Sitthiwirattham <sup>4</sup>**


**Abstract:** In this study, we first prove a parameterized integral identity involving differentiable functions. Then, for differentiable harmonically convex functions, we use this result to establish some new inequalities of a midpoint type, trapezoidal type, and Simpson type. Analytic inequalities of this type, as well as the approaches for solving them, have applications in a variety of domains where symmetry is important. Finally, several particular cases of recently discovered results are discussed, as well as applications to the special means of real numbers.

**Keywords:** midpoint and trapezoidal inequality; Simpson's inequality; harmonically convex functions

**MSC:** 26D10; 26D15; 26A51

## **1. Introduction**

The Hermite–Hadamard inequality, which was independently found by C. Hermite and J. Hadamard (see, also [1], and [2] (p. 137)), is particularly important in the convex functions theory:

$$\mathcal{F}\left(\frac{\kappa\_1 + \kappa\_2}{2}\right) \le \frac{1}{\kappa\_2 - \kappa\_1} \int\_{\kappa\_1}^{\kappa\_2} \mathcal{F}(x) dx \le \frac{\mathcal{F}(\kappa\_1) + \mathcal{F}(\kappa\_2)}{2} \tag{1}$$

where <sup>F</sup> : *<sup>I</sup>* <sup>⊂</sup> <sup>R</sup> <sup>→</sup> <sup>R</sup> is a convex function over *<sup>I</sup>*, and *<sup>κ</sup>*1, *<sup>κ</sup>*<sup>2</sup> <sup>∈</sup> *<sup>I</sup>*, with *<sup>κ</sup>*<sup>1</sup> <sup>&</sup>lt; *<sup>κ</sup>*2. In the case of concave mappings, the above inequality is satisfied in reverse order.

Several researches have concentrated on obtaining trapezoid and midpoint-type inequalities that offer bounds for the right-hand side and left-hand side of the inequality (1), respectively, throughout the previous two decades. In [3,4], for example, authors first obtained trapezoid and midpoint-type inequalities for convex functions. In [5], Sarikaya et al. obtained the inequalities (1) for the Riemann–Liouville fractional integrals and the authors also proved some corresponding trapezoid-type inequalities for fractional integrals. Iqbal et al. presented some fractional midpoint-type inequalities for convex functions in [6]. On the other hand, ˙ I¸scan defined the harmonically convex functions and obtained Hermite–Hadamard-type inequalities for these kinds of functions in [7]. The author also established some trapezoid-type inequalities for harmonically convex functions in [7]. Furthermore, using the Riemann–Liouville fractional integrals, the authors proved Hermite– Hadamard-type inequalities for harmonically convex functions in [8]. They also proved some fractional trapezoid-type inequalities for mapping whose derivatives in absolute

225

**Citation:** Reunsumrit, J.; Vivas-Cortez, M.J.; Ali, M.A.; Sitthiwirattham, T. On Generalization of Different Integral Inequalities for Harmonically Convex Functions. *Symmetry* **2022**, *14*, 302. https:// doi.org/10.3390/sym14020302

Academic Editor: Nicusor Minculete

Received: 14 December 2021 Accepted: 11 January 2022 Published: 2 February 2022

**Publisher's Note:** MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

**Copyright:** © 2022 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https:// creativecommons.org/licenses/by/ 4.0/).

value are harmonically convex. In [9], ¸Sanlı proved several fractional midpoint-type inequalities utilizing differentiable convex functions. In [10], Butt et al. presented a new generalization of Hermite–Hadamard inequalities for harmonically convex functions using the notions of the Jensen–Mercer inequality and, in [11], Butt et al. gave a new definition of general harmonically convex functions and proved Hermite–Hadamard-type inequalities. In [12], the authors used fractional operators and proved some new inequalities for general harmonic convex functions. In [13], the authors established Hermite–Hadamard-type inequalities for harmonically convex functions on *n*-co-ordinates. Some generalizations of Hermite–Hadamard-type inequalities for harmonically convex functions on fractal sets are also given in [14]. Moreover, Liu and Xu extended this class of functions and defined a general harmonic convexity for interval-valued functions in [15]. In the literature, there are several papers on inequalities for harmonically convex functions. For some recent developments in integral inequalities and harmonical convexity, one can consult [16–26].

Inspired by these ongoing studies, we prove several Simpson's type generalized integral inequalities for differentiable convex functions. The key benefit of these inequalities is that they can be turned into midpoint and trapezoidal-type inequalities for differentiable convex functions without having to prove each one independently. These newly established inequalities are the generalizations of inequalities proved in [7,9].

The following is the structure of this paper: In Section 2, we present the definition of the harmonically convex functions and some related results. In Section 3, we prove several new results for harmonically convex functions depending on parameters. We also prove some new integral inequalities to highlight the relationship between the results reported here and related results in the literature. By specially choosing one of the parameters, we give some new results in Section 4. Some applications of newly established inequalities to special means of real numbers are given in Section 5. In Section 6, we give some recommendations for future studies.

## **2. Preliminaries**

In [7], ˙ I¸scan gave the concept of harmonically convex functions and proved associated Hermite–Hadamard inequalities as follows:

**Definition 1** ([7])**.** *If the mapping* <sup>F</sup> : *<sup>I</sup>* <sup>⊂</sup> <sup>R</sup>\{0} <sup>→</sup> <sup>R</sup> *satisfies the inequality*

$$\mathcal{F}\left(\frac{1}{\frac{\mathbb{Z}}{\kappa\_2} + \frac{1-\tau}{\mathbb{X}\_1}}\right) \le \tau \mathcal{F}(\kappa\_2) + (1-\tau)\mathcal{F}(\kappa\_1),\tag{2}$$

*for all x*, *y* ∈ *I and τ* ∈ [0, 1]*; then,* F *is called the harmonically convex function. In the case of harmonically concave mappings, the above inequality is satisfied in reverse order.*

**Theorem 1** ([7])**.** *For any harmonically convex mapping* <sup>F</sup> : *<sup>I</sup>* <sup>⊂</sup> <sup>R</sup>\{0} <sup>→</sup> <sup>R</sup> *and <sup>κ</sup>*1, *<sup>κ</sup>*<sup>2</sup> <sup>∈</sup> *I, with κ*<sup>1</sup> < *κ*2*, the following inequality holds:*

$$\mathcal{F}\left(\frac{2\kappa\_1\kappa\_2}{\kappa\_1+\kappa\_2}\right) \le \frac{\kappa\_1\kappa\_2}{\kappa\_2-\kappa\_1} \int\_{\kappa\_1}^{\kappa\_2} \frac{\mathcal{F}(\mathbf{x})}{\mathbf{x}^2} d\mathbf{x} \le \frac{\mathcal{F}(\kappa\_1) + \mathcal{F}(\kappa\_2)}{2}.\tag{3}$$

In [7], ˙ I¸scan established the following Lemma to prove trapezoidal-type inequalities for harmonically convex functions.

**Lemma 1.** *Consider a mapping* <sup>F</sup> : *<sup>I</sup>* <sup>⊂</sup> <sup>R</sup>\{0} <sup>→</sup> <sup>R</sup>*, which is differentiable mapping on <sup>I</sup>*◦ *(interior of I) and κ*1, *κ*<sup>2</sup> ∈ *I*◦ *with κ*<sup>1</sup> < *κ*2*. If* F *is integrable over* [*κ*1, *κ*2]*, then we would have the following equality:*

$$\frac{\mathcal{F}(\kappa\_1) + \mathcal{F}(\kappa\_2)}{2} - \frac{\kappa\_1 \kappa\_2}{\kappa\_2 - \kappa\_1} \int\_{\kappa\_1}^{\kappa\_2} \frac{\mathcal{F}(\mathbf{x})}{\mathbf{x}^2} d\mathbf{x} \tag{4}$$

$$= \frac{\kappa\_1 \kappa\_2 (\kappa\_2 - \kappa\_1)}{2} \int\_0^1 \frac{1 - 2\tau}{\left(\tau \kappa\_2 + (1 - \tau)\kappa\_1\right)^2} \mathcal{F}'\left(\frac{\kappa\_1 \kappa\_2}{\tau \kappa\_2 + (1 - \tau)\kappa\_1}\right) d\tau.$$

**Theorem 2.** *Consider a mapping* <sup>F</sup> : *<sup>I</sup>* <sup>⊂</sup> (0, <sup>∞</sup>) <sup>→</sup> <sup>R</sup>*, which is differentiable mapping on <sup>I</sup>*◦ *and κ*1, *κ*<sup>2</sup> ∈ *I*◦ *with κ*<sup>1</sup> < *κ*2*, and* F *is integrable over* [*κ*1, *κ*2]*. If* |F | *is harmonically convex on* [*κ*1, *κ*2]*, then the following inequality satisfies:*

$$\left|\frac{\mathcal{F}(\kappa\_1) + \mathcal{F}(\kappa\_2)}{2} - \frac{\kappa\_1 \kappa\_2}{\kappa\_2 - \kappa\_1} \int\_{\kappa\_1}^{\kappa\_2} \frac{\mathcal{F}(\mathbf{x})}{\mathbf{x}^2} d\mathbf{x} \right| \tag{5}$$

$$\leq \left|\frac{\kappa\_1 \kappa\_2 (\kappa\_2 - \kappa\_1)}{2} \theta\_1^{1 - \frac{1}{q}} \left(\theta\_2 |\mathcal{F}'(\kappa\_1)|^q + \theta\_3 |\mathcal{F}'(\kappa\_2)|^q \right)^{\frac{1}{q}}\right| $$

*where*

$$\begin{array}{rcl}\theta\_{1} &=& \frac{1}{\kappa\_{1}\kappa\_{2}} - \frac{2}{\left(\kappa\_{2} - \kappa\_{1}\right)^{2}} \ln\left(\frac{\left(\kappa\_{1} + \kappa\_{2}\right)^{2}}{4\kappa\_{1}\kappa\_{2}}\right),\\\theta\_{2} &=& \frac{1}{\kappa\_{2}\left(\kappa\_{1} - \kappa\_{2}\right)} + \frac{3\kappa\_{1} + \kappa\_{2}}{\left(\kappa\_{2} - \kappa\_{1}\right)^{3}} \ln\left(\frac{\left(\kappa\_{1} + \kappa\_{2}\right)^{2}}{4\kappa\_{1}\kappa\_{2}}\right),\\\theta\_{3} &=& \theta\_{1} - \theta\_{2}.\end{array}$$

Recently, ¸Sanli [9] proved the following Lemma to find the left estimates of the inequality (3).

**Lemma 2.** *Consider a mapping* <sup>F</sup> : *<sup>I</sup>* <sup>⊂</sup> <sup>R</sup>\{0} <sup>→</sup> <sup>R</sup>*, which is differentiable mapping on I*◦ *and κ*1, *κ*<sup>2</sup> ∈ *I*◦ *with κ*<sup>1</sup> < *κ*2*. If* F *is integrable over* [*κ*1, *κ*2]*, then we would have the following equality:*

$$\begin{split} \mathcal{F}\left(\frac{2\kappa\_{1}\kappa\_{2}}{\kappa\_{1}+\kappa\_{2}}\right) &- \frac{\kappa\_{1}\kappa\_{2}}{\kappa\_{2}-\kappa\_{1}} \int\_{\kappa\_{1}}^{\kappa\_{2}} \frac{\mathcal{F}(\mathbf{x})}{\mathbf{x}^{2}} d\mathbf{x} \\ &= \ & \kappa\_{1}\kappa\_{2}(\kappa\_{2}-\kappa\_{1}) \left[ \int\_{0}^{\frac{1}{2}} \frac{\tau}{\left(\tau\kappa\_{2}+(1-\tau)\kappa\_{1}\right)^{2}} \mathcal{F}'\left(\frac{\kappa\_{1}\kappa\_{2}}{\tau\kappa\_{2}+(1-\tau)\kappa\_{1}}\right) d\tau \right. \\ & \left. + \int\_{\frac{1}{2}}^{1} \frac{\tau-1}{\left(\tau\kappa\_{2}+(1-\tau)\kappa\_{1}\right)^{2}} \mathcal{F}'\left(\frac{\kappa\_{1}\kappa\_{2}}{\tau\kappa\_{2}+(1-\tau)\kappa\_{1}}\right) d\tau \right]. \end{split}$$

## **3. New Parameterized Inequalities for Harmonically Convex Function**

**Lemma 3.** *Consider a mapping* <sup>F</sup> : *<sup>I</sup>* <sup>⊂</sup> <sup>R</sup>\{0} <sup>→</sup> <sup>R</sup>*, which is differentiable mapping on <sup>I</sup>*◦ *and <sup>κ</sup>*1, *<sup>κ</sup>*<sup>2</sup> <sup>∈</sup> *<sup>I</sup>*◦ *with <sup>κ</sup>*<sup>1</sup> <sup>&</sup>lt; *<sup>κ</sup>*2*. If* <sup>F</sup> *is integrable over* [*κ*1, *<sup>κ</sup>*2]*, then for <sup>λ</sup>* <sup>∈</sup> <sup>R</sup> *we would have the following equality:*

$$
\lambda \left[ \mathcal{F}(\kappa\_1) + \mathcal{F}(\kappa\_2) \right] - (2\lambda - 1)\mathcal{F} \left( \frac{2\kappa\_1 \kappa\_2}{\kappa\_1 + \kappa\_2} \right) - \frac{\kappa\_1 \kappa\_2}{\kappa\_2 - \kappa\_1} \int\_{\kappa\_1}^{\kappa\_2} \frac{\mathcal{F}(x)}{x^2} dx \tag{7}
$$

$$
= -\kappa\_1 \kappa\_2 (\kappa\_2 - \kappa\_1) \int\_0^1 \frac{m(\tau)}{\left( \tau \kappa\_2 + (1 - \tau)\kappa\_1 \right)^2} \mathcal{F}' \left( \frac{\kappa\_1 \kappa\_2}{\tau \kappa\_2 + (1 - \tau)\kappa\_1} \right) d\tau,
$$

*where*

$$m(\boldsymbol{\pi}) = \begin{cases} \boldsymbol{\lambda} - \boldsymbol{\pi}, & \text{if } \boldsymbol{\pi} \in \left[0, \frac{1}{2}\right) \\\ 1 - \boldsymbol{\lambda} - \boldsymbol{\pi}, & \text{if } \boldsymbol{\pi} \in \left[\frac{1}{2}, 1\right] \end{cases}$$

**Proof.** From the fundamental concepts of integration, we had:

*κ*1*κ*2(*κ*<sup>2</sup> − *κ*1) 1 0 *m*(*τ*) (*τκ*<sup>2</sup> + (1 − *τ*)*κ*1) <sup>2</sup> F *κ*1*κ*<sup>2</sup> *τκ*<sup>2</sup> + (1 − *τ*)*κ*<sup>1</sup> *dτ* = *κ*1*κ*2(*κ*<sup>2</sup> − *κ*1) <sup>1</sup> 2 0 *λ* − *τ* (*τκ*<sup>2</sup> + (1 − *τ*)*κ*1) <sup>2</sup> F *κ*1*κ*<sup>2</sup> *τκ*<sup>2</sup> + (1 − *τ*)*κ*<sup>1</sup> *dτ* + 1 1 2 1 − *λ* − *τ* (*τκ*<sup>2</sup> + (1 − *τ*)*κ*1) <sup>2</sup> F *κ*1*κ*<sup>2</sup> *τκ*<sup>2</sup> + (1 − *τ*)*κ*<sup>1</sup> *dτ* = (*τ* − *λ*)F *κ*1*κ*<sup>2</sup> *τκ*<sup>2</sup> + (1 − *τ*)*κ*<sup>1</sup> 1 2 0 − <sup>1</sup> 2 0 F *κ*1*κ*<sup>2</sup> *τκ*<sup>2</sup> + (1 − *τ*)*κ*<sup>1</sup> *dτ* + (*τ* + *λ* − 1)F *κ*1*κ*<sup>2</sup> *τκ*<sup>2</sup> + (1 − *τ*)*κ*<sup>1</sup> 1 1 2 − 1 1 2 F *κ*1*κ*<sup>2</sup> *τκ*<sup>2</sup> + (1 − *τ*)*κ*<sup>1</sup> *dτ* = *λ*[F(*κ*1) + F(*κ*2)] − (2*λ* − 1)F - 2*κ*1*κ*<sup>2</sup> *κ*<sup>1</sup> + *κ*<sup>2</sup> <sup>−</sup> *<sup>κ</sup>*1*κ*<sup>2</sup> *κ*<sup>2</sup> − *κ*<sup>1</sup> *κ*<sup>2</sup> *κ*1 F(*x*) *<sup>x</sup>*<sup>2</sup> *dx*

and the proof was completed.

**Remark 1.** *In Lemma 3, if we set λ* = <sup>1</sup> <sup>2</sup> *, then we recaptured the identity (4).*

**Remark 2.** *In Lemma 3, if we assume λ* = 0*, then we recaptured the identity (6).*

**Theorem 3.** *Consider a mapping* <sup>F</sup> : *<sup>I</sup>* <sup>⊂</sup> (0, <sup>∞</sup>) <sup>→</sup> <sup>R</sup>*, which is differentiable mapping on <sup>I</sup>*◦ *and κ*1, *κ*<sup>2</sup> ∈ *I*◦ *with κ*<sup>1</sup> < *κ*2*, and* F *is integrable over* [*κ*1, *κ*2]*. If* |F | *is harmonically convex on* [*κ*1, *κ*2]*, then the following inequality satisfies:*

 *λ*[F(*κ*1) + F(*κ*2)] − (2*λ* − 1)F - 2*κ*1*κ*<sup>2</sup> *κ*<sup>1</sup> + *κ*<sup>2</sup> <sup>−</sup> *<sup>κ</sup>*1*κ*<sup>2</sup> *κ*<sup>2</sup> − *κ*<sup>1</sup> *κ*<sup>2</sup> *κ*1 F(*x*) *<sup>x</sup>*<sup>2</sup> *dx* ≤ *κ*1*κ*2(*κ*<sup>2</sup> − *κ*1) × ⎧ ⎪⎪⎪⎪⎪⎪⎨ ⎪⎪⎪⎪⎪⎪⎩ {[Δ1(*κ*1, *κ*2; *λ*) + Δ3(*κ*1, *κ*2; *λ*) + Δ5(*κ*1, *κ*2; *λ*) + Δ7(*κ*1, *κ*2; *λ*)]|F (*κ*1)| +[Δ2(*κ*1, *κ*2; *λ*) + Δ4(*κ*1, *κ*2; *λ*) + Δ6(*κ*1, *κ*2; *λ*) + Δ8(*κ*1, *κ*2; *λ*)]|F (*κ*2)|} *, if* <sup>0</sup> <sup>≤</sup> *<sup>λ</sup>* <sup>&</sup>lt; <sup>1</sup> 2 {[Δ9(*κ*1, *κ*2; *λ*) + Δ11(*κ*1, *κ*2; *λ*)]|F (*κ*1)| +[Δ10(*κ*1, *κ*2; *λ*) + Δ12(*κ*1, *κ*2; *λ*)]|F (*κ*2)|} *, if* <sup>1</sup> <sup>2</sup> ≤ *λ* ≤ 1

*where*

<sup>Δ</sup>1(*κ*1, *<sup>κ</sup>*2; *<sup>λ</sup>*) <sup>=</sup> *<sup>λ</sup>* (*κ*<sup>2</sup> − *κ*1) <sup>2</sup> ln(*κ*1.(*λκ*<sup>2</sup> + (1 − *λ*)*κ*1)) <sup>−</sup> <sup>2</sup>*<sup>λ</sup>* (*κ*<sup>2</sup> − *κ*1) <sup>2</sup> + 2*κ*<sup>1</sup> (*κ*<sup>2</sup> − *κ*1) <sup>3</sup> ln*λκ*<sup>2</sup> + (1 − *λ*)*κ*<sup>1</sup> *κ*1 , <sup>Δ</sup>2(*κ*1, *<sup>κ</sup>*2; *<sup>λ</sup>*) <sup>=</sup> *<sup>λ</sup> <sup>κ</sup>*1(*κ*<sup>2</sup> <sup>−</sup> *<sup>κ</sup>*1) <sup>+</sup> 1 (*κ*<sup>2</sup> − *κ*1) <sup>2</sup> ln *κ*<sup>1</sup> *λκ*<sup>2</sup> + (1 − *λ*)*κ*<sup>1</sup> − Δ1(*κ*1, *κ*2; *λ*), <sup>Δ</sup>3(*κ*1, *<sup>κ</sup>*2; *<sup>λ</sup>*) <sup>=</sup> <sup>2</sup>*<sup>λ</sup>* <sup>−</sup> <sup>1</sup> 2 *κ*2 <sup>2</sup> − *<sup>κ</sup>*<sup>2</sup> 1 <sup>+</sup> *λ* (*κ*<sup>2</sup> − *κ*1) <sup>2</sup> ln-(*κ*<sup>1</sup> + *κ*2)(*λκ*<sup>2</sup> + (1 − *λ*)*κ*1) 2 + 1 − 2*λ* (*κ*<sup>2</sup> − *κ*1) <sup>2</sup> + 2*κ*<sup>1</sup> (*κ*<sup>2</sup> − *κ*1) <sup>3</sup> ln-2(*λκ*<sup>2</sup> + (1 − *λκ*1)) *κ*<sup>1</sup> + *κ*<sup>2</sup> , <sup>Δ</sup>4(*κ*1, *<sup>κ</sup>*2; *<sup>λ</sup>*) <sup>=</sup> <sup>2</sup>*<sup>λ</sup>* <sup>−</sup> <sup>1</sup> *κ*2 <sup>2</sup> − *<sup>κ</sup>*<sup>2</sup> 1 + 1 (*κ*<sup>2</sup> − *κ*1) <sup>2</sup> ln *κ*<sup>1</sup> + *κ*<sup>2</sup> <sup>2</sup>(*λκ*<sup>2</sup> <sup>+</sup> (<sup>1</sup> <sup>−</sup> *λκ*1)) − Δ3(*κ*1, *κ*2; *λ*), <sup>Δ</sup>5(*κ*1, *<sup>κ</sup>*2; *<sup>λ</sup>*) <sup>=</sup> <sup>2</sup>*<sup>λ</sup>* <sup>−</sup> <sup>1</sup> 2 *κ*2 <sup>2</sup> − *<sup>κ</sup>*<sup>2</sup> 1 <sup>+</sup> *<sup>κ</sup>*<sup>1</sup> <sup>+</sup> *<sup>κ</sup>*<sup>2</sup> (*κ*<sup>2</sup> − *κ*1) <sup>3</sup> ln*κ*<sup>1</sup> + *κ*<sup>2</sup> 2 + 1 − 2*λ* (*κ*<sup>2</sup> − *κ*1) <sup>2</sup> (1 + ln(*λκ*<sup>1</sup> + (1 − *λ*)*κ*2)) <sup>−</sup> <sup>2</sup> (*κ*<sup>2</sup> − *κ*1) <sup>3</sup> (*λκ*<sup>1</sup> + (1 − *λ*)*κ*2)ln(*λκ*<sup>1</sup> + (1 − *λ*)*κ*2), <sup>Δ</sup>6(*κ*1, *<sup>κ</sup>*2; *<sup>λ</sup>*) <sup>=</sup> <sup>2</sup>*<sup>λ</sup>* <sup>−</sup> <sup>1</sup> *κ*2 <sup>2</sup> − *<sup>κ</sup>*<sup>2</sup> 1 + 1 (*κ*<sup>2</sup> − *κ*1) <sup>2</sup> ln-2(*λκ*<sup>1</sup> + (1 − *λ*)*κ*2) *κ*<sup>1</sup> + *κ*<sup>2</sup> − Δ5(*κ*1, *κ*2; *λ*), <sup>Δ</sup>7(*κ*1, *<sup>κ</sup>*2; *<sup>λ</sup>*) <sup>=</sup> <sup>1</sup> <sup>−</sup> <sup>2</sup>*<sup>λ</sup>* (*κ*<sup>2</sup> − *κ*1) <sup>2</sup> ln(*λκ*<sup>1</sup> + (1 − *λ*)*κ*2) <sup>−</sup> <sup>2</sup> (*κ*<sup>2</sup> − *κ*1) <sup>3</sup> (*λκ*<sup>1</sup> + (1 − *λ*)*κ*2)ln(*λκ*<sup>1</sup> + (1 − *λ*)*κ*2) + *λ <sup>κ</sup>*2(*κ*<sup>2</sup> <sup>−</sup> *<sup>κ</sup>*1) <sup>−</sup> <sup>2</sup>*<sup>λ</sup>* (*κ*<sup>2</sup> − *κ*1) <sup>2</sup> <sup>+</sup> *<sup>κ</sup>*<sup>1</sup> <sup>+</sup> *<sup>κ</sup>*<sup>2</sup> *κ*<sup>2</sup> − *κ*<sup>1</sup> ln(*κ*2), <sup>Δ</sup>8(*κ*1, *<sup>κ</sup>*2; *<sup>λ</sup>*) <sup>=</sup> <sup>1</sup> (*κ*<sup>2</sup> − *κ*1) <sup>2</sup> ln*λκ*<sup>1</sup> + (1 − *λ*)*κ*<sup>2</sup> *κ*2 + *λ <sup>κ</sup>*2(*κ*<sup>2</sup> <sup>−</sup> *<sup>κ</sup>*1) <sup>−</sup> <sup>Δ</sup>7(*κ*1, *<sup>κ</sup>*2; *<sup>λ</sup>*), <sup>Δ</sup>9(*κ*1, *<sup>κ</sup>*2; *<sup>λ</sup>*) <sup>=</sup> <sup>1</sup> <sup>−</sup> <sup>2</sup>*<sup>λ</sup>* 2 *κ*2 <sup>2</sup> − *<sup>κ</sup>*<sup>2</sup> 1 <sup>+</sup> *<sup>κ</sup>*<sup>1</sup> <sup>+</sup> *<sup>κ</sup>*<sup>2</sup> (*κ*<sup>2</sup> − *κ*1) <sup>3</sup> ln*κ*<sup>1</sup> + *κ*<sup>2</sup> 2 <sup>−</sup> <sup>1</sup> (*κ*<sup>2</sup> − *κ*1) <sup>2</sup> <sup>−</sup> *<sup>λ</sup>* (*κ*<sup>2</sup> − *κ*1) <sup>2</sup> ln(*κ*1) <sup>−</sup> <sup>2</sup> (*κ*<sup>2</sup> − *κ*1) <sup>3</sup> *κ*<sup>1</sup> ln(*κ*1), <sup>Δ</sup>10(*κ*1, *<sup>κ</sup>*2; *<sup>λ</sup>*) <sup>=</sup> <sup>1</sup> <sup>−</sup> <sup>2</sup>*<sup>λ</sup> κ*2 <sup>2</sup> − *<sup>κ</sup>*<sup>2</sup> 1 <sup>+</sup> *<sup>κ</sup>*<sup>1</sup> <sup>+</sup> *<sup>κ</sup>*<sup>2</sup> 2(*κ*<sup>2</sup> − *κ*1) <sup>2</sup> ln*κ*<sup>1</sup> + *κ*<sup>2</sup> 2 −*κ*<sup>2</sup> <sup>−</sup> *<sup>κ</sup>*<sup>1</sup> <sup>2</sup> <sup>+</sup> *λ <sup>κ</sup>*1(*κ*<sup>2</sup> <sup>−</sup> *<sup>κ</sup>*1) <sup>−</sup> <sup>1</sup> (*κ*<sup>2</sup> − *κ*1) <sup>2</sup> *κ*<sup>1</sup> ln(*κ*1) − Δ9(*κ*1, *κ*2; *λ*), <sup>Δ</sup>11(*κ*1, *<sup>κ</sup>*2; *<sup>λ</sup>*) <sup>=</sup> *<sup>λ</sup> <sup>κ</sup>*2(*κ*<sup>1</sup> <sup>−</sup> *<sup>κ</sup>*2) <sup>+</sup> ln (1 + *λ*)(*κ*<sup>2</sup> − *κ*1) + 2*κ*<sup>2</sup> (*κ*<sup>2</sup> − *κ*1) 3 <sup>−</sup> <sup>1</sup> (*κ*<sup>2</sup> − *κ*1) <sup>2</sup> + 2*λ* − 1 2 *κ*2 <sup>2</sup> − *<sup>κ</sup>*<sup>2</sup> 1 <sup>+</sup> ln *λ*(*κ*<sup>2</sup> − *κ*1) + *κ*<sup>1</sup> + *κ*<sup>2</sup> (*κ*<sup>2</sup> − *κ*1) 3 , <sup>Δ</sup>12(*κ*1, *<sup>κ</sup>*2; *<sup>λ</sup>*) <sup>=</sup> *<sup>λ</sup> <sup>κ</sup>*2(*κ*<sup>1</sup> <sup>−</sup> *<sup>κ</sup>*2) <sup>+</sup> 1 (*κ*<sup>2</sup> − *κ*1) <sup>2</sup> *κ*<sup>2</sup> ln(*κ*2) <sup>−</sup> <sup>1</sup> <sup>2</sup>(*κ*<sup>2</sup> <sup>−</sup> *<sup>κ</sup>*1) <sup>+</sup> 2*λ* − 1 *κ*2 <sup>2</sup> − *<sup>κ</sup>*<sup>2</sup> 1 <sup>−</sup> *<sup>κ</sup>*<sup>1</sup> <sup>+</sup> *<sup>κ</sup>*<sup>2</sup> 2(*κ*<sup>2</sup> − *κ*1) <sup>2</sup> ln*κ*<sup>1</sup> + *κ*<sup>2</sup> 2 .

**Proof.** Taking modulus in (7), we had:

$$\begin{split} & \left| \lambda \left[ \mathcal{F}(\kappa\_{1}) + \mathcal{F}(\kappa\_{2}) \right] - (2\lambda - 1) \mathcal{F} \left( \frac{2\kappa\_{1}\kappa\_{2}}{\kappa\_{1} + \kappa\_{2}} \right) - \frac{\kappa\_{1}\kappa\_{2}}{\kappa\_{2} - \kappa\_{1}} \int\_{\kappa\_{1}}^{\kappa\_{2}} \frac{\mathcal{F}(\tau)}{\mathbf{x}^{2}} d\tau \right| \\ & \leq \quad \kappa\_{1}\kappa\_{2} (\kappa\_{2} - \kappa\_{1}) \left[ \int\_{0}^{\frac{1}{2}} \frac{|\lambda - \tau|}{\left( \tau\kappa\_{2} + (1 - \tau)\kappa\_{1} \right)^{2}} \left| \mathcal{F}' \left( \frac{\kappa\_{1}\kappa\_{2}}{\tau\kappa\_{2} + (1 - \tau)\kappa\_{1}} \right) \right| d\tau \right] \\ & \quad \quad + \int\_{\frac{1}{2}}^{1} \frac{|1 - \lambda - \tau|}{\left( \tau\kappa\_{2} + (1 - \tau)\kappa\_{1} \right)^{2}} \left| \mathcal{F}' \left( \frac{\kappa\_{1}\kappa\_{2}}{\tau\kappa\_{2} + (1 - \tau)\kappa\_{1}} \right) \right| d\tau \right] \\ &= \quad \kappa\_{1}\kappa\_{2} (\kappa\_{2} - \kappa\_{1}) [S\_{1} + S\_{2}]. \end{split}$$

From the convexity of |F <sup>|</sup> and for 0 <sup>≤</sup> *<sup>λ</sup>* <sup>≤</sup> <sup>1</sup> <sup>2</sup> , we have:

*S*<sup>1</sup> ≤ <sup>1</sup> 2 0 |*λ* − *τ*| (*τκ*<sup>2</sup> + (1 − *τ*)*κ*1) 2 + *τ* F (*κ*1) + (1 − *τ*) F (*κ*1) , *dτ* = *λ* 0 (*λ* − *τ*) (*τκ*<sup>2</sup> + (1 − *τ*)*κ*1) 2 + *τ* F (*κ*1) + (1 − *τ*) F (*κ*1) , *dτ* + <sup>1</sup> 2 *λ* (*τ* − *λ*) (*τκ*<sup>2</sup> + (1 − *τ*)*κ*1) 2 + *τ* F (*κ*1) + (1 − *τ*) F (*κ*1) , *dτ* = *<sup>λ</sup>* 0 *τ*(*λ* − *τ*) (*τκ*<sup>2</sup> + (1 − *τ*)*κ*1) <sup>2</sup> *dτ* + <sup>1</sup> 2 *λ τ*(*τ* − *λ*) (*τκ*<sup>2</sup> + (1 − *τ*)*κ*1) <sup>2</sup> *dτ* F (*κ*1) + *<sup>λ</sup>* 0 (1 − *τ*)(*λ* − *τ*) (*τκ*<sup>2</sup> + (1 − *τ*)*κ*1) <sup>2</sup> *dτ* + <sup>1</sup> 2 *λ* (1 − *τ*)(*τ* − *λ*) (*τκ*<sup>2</sup> + (1 − *τ*)*κ*1) <sup>2</sup> *dτ* F (*κ*2) = [Δ1(*κ*1, *κ*2; *λ*) + Δ3(*κ*1, *κ*2; *λ*)] F (*κ*1) + [Δ2(*κ*1, *κ*2; *λ*) + Δ4(*κ*1, *κ*2; *λ*)] F (*κ*2) .

Similarly, we have:

*S*<sup>2</sup> ≤ 1 1 2 |1 − *λ* − *τ*| (*τκ*<sup>2</sup> + (1 − *τ*)*κ*1) 2 + *τ* F (*κ*1) + (1 − *τ*) F (*κ*1) , *dτ* = 1−*λ* 1 2 (1 − *λ* − *τ*) (*τκ*<sup>2</sup> + (1 − *τ*)*κ*1) 2 + *τ* F (*κ*1) + (1 − *τ*) F (*κ*1) , *dτ* + 1 1−*λ* (*τ* + *λ* − 1) (*τκ*<sup>2</sup> + (1 − *τ*)*κ*1) 2 + *τ* F (*κ*1) + (1 − *τ*) F (*κ*1) , *dτ* = <sup>1</sup>−*<sup>λ</sup>* 1 2 *τ*(1 − *λ* − *τ*) (*τκ*<sup>2</sup> + (1 − *τ*)*κ*1) <sup>2</sup> *dτ* + 1 1−*λ τ*(*τ* + *λ* − 1) (*τκ*<sup>2</sup> + (1 − *τ*)*κ*1) <sup>2</sup> *dτ* F (*κ*1) + <sup>1</sup>−*<sup>λ</sup>* 1 2 (1 − *τ*)(1 − *λ* − *τ*) (*τκ*<sup>2</sup> + (1 − *τ*)*κ*1) <sup>2</sup> *dτ* + 1 1−*λ* (1 − *τ*)(*τ* + *λ* − 1) (*τκ*<sup>2</sup> + (1 − *τ*)*κ*1) <sup>2</sup> *dτ* F (*κ*2) = [Δ5(*κ*1, *κ*2; *λ*) + Δ7(*κ*1, *κ*2; *λ*)] F (*κ*1) + [Δ6(*κ*1, *κ*2; *λ*) + Δ8(*κ*1, *κ*2; *λ*)] F (*κ*2) .

Now, from the convexity of |F <sup>|</sup> and for <sup>1</sup> <sup>2</sup> ≤ *λ* ≤ 1, we have:

$$\begin{split} S\_{1} &\leq \quad \int\_{0}^{\frac{1}{2}} \frac{|\lambda-\tau|}{\left(\tau\kappa\_{2}+(1-\tau)\kappa\_{1}\right)^{2}} \Big[\pi\Big|\mathcal{F}'(\kappa\_{1})\Big|+(1-\tau)\Big|\mathcal{F}'(\kappa\_{1})\Big|\Big]d\tau \\ &= \quad \int\_{0}^{\frac{1}{2}} \frac{\left(\lambda-\tau\right)}{\left(\tau\kappa\_{2}+(1-\tau)\kappa\_{1}\right)^{2}} \Big[\pi\Big|\mathcal{F}'(\kappa\_{1})\Big|+(1-\tau)\Big|\mathcal{F}'(\kappa\_{1})\Big|\Big]d\tau \\ &= \quad \left|\mathcal{F}'(\kappa\_{1})\right| \int\_{0}^{\frac{1}{2}} \frac{\tau(\lambda-\tau)}{\left(\tau\kappa\_{2}+(1-\tau)\kappa\_{1}\right)^{2}}d\tau+\left|\mathcal{F}'(\kappa\_{2})\right| \int\_{0}^{\frac{1}{2}} \frac{(1-\tau)(\lambda-\tau)}{\left(\tau\kappa\_{2}+(1-\tau)\kappa\_{1}\right)^{2}}d\tau\right| \\ &= \quad \Delta\_{\theta}(\kappa\_{1},\kappa\_{2};\lambda) \left|\mathcal{F}'(\kappa\_{1})\right| + \Delta\_{10}(\kappa\_{1},\kappa\_{2};\lambda) \left|\mathcal{F}'(\kappa\_{2})\right| \end{split}$$

and

$$\begin{split} S\_{2} &\leq \quad \int\_{\frac{1}{2}}^{1} \frac{|1-\lambda-\tau|}{\left(\tau\kappa\_{2}+(1-\tau)\kappa\_{1}\right)^{2}} \Big[\tau\big|\mathcal{F}'(\kappa\_{1})\big|+(1-\tau)\big|\mathcal{F}'(\kappa\_{1})\big|\, \Big|\, \delta\tau \\ &= \quad \int\_{\frac{1}{2}}^{1} \frac{\left(\tau+\lambda-1\right)}{\left(\tau\kappa\_{2}+(1-\tau)\kappa\_{1}\right)^{2}} \Big[\tau\big|\mathcal{F}'(\kappa\_{1})\big|+(1-\tau)\big|\mathcal{F}'(\kappa\_{1})\big|\, \Big|\, \delta\tau \\ &= \quad \left|\mathcal{F}'(\kappa\_{1})\right| \int\_{\frac{1}{2}}^{1} \frac{\tau(\tau+\lambda-1)}{\left(\tau\kappa\_{2}+(1-\tau)\kappa\_{1}\right)^{2}} d\tau+\left|\mathcal{F}'(\kappa\_{2})\right| \int\_{\frac{1}{2}}^{1} \frac{(1-\tau)(\tau+\lambda-1)}{\left(\tau\kappa\_{2}+(1-\tau)\kappa\_{1}\right)^{2}} d\tau \\ &= \quad \Delta\_{11}(\kappa\_{1},\kappa\_{2};\lambda) \big|\mathcal{F}'(\kappa\_{1})\big|+\Delta\_{12}(\kappa\_{1},\kappa\_{2};\lambda) \big|\mathcal{F}'(\kappa\_{2})\big|. \end{split}$$

Thus, the proof is completed.

**Remark 3.** *In Theorem 3, if we set λ* = <sup>1</sup> <sup>2</sup> *, then we recaptured the inequality (5) for q* = 1.

**Remark 4.** *In Theorem 3, if we set λ* = 0*, then Theorem 3 reduced to [9] (Theorem 3.1 for q* = 1*).* **Corollary 1.** *In Theorem 3, if we set λ* = <sup>1</sup> <sup>6</sup> *, then we had the following inequality of Simpson's type:*

$$\begin{split} & \left| \frac{1}{6} \left[ \mathcal{F}(\kappa\_{1}) + 4 \mathcal{F} \left( \frac{2 \kappa\_{1} \kappa\_{2}}{\kappa\_{1} + \kappa\_{2}} \right) + \mathcal{F}(\kappa\_{2}) \right] - \frac{\kappa\_{1} \kappa\_{2}}{\kappa\_{2} - \kappa\_{1}} \int\_{\kappa\_{1}}^{\kappa\_{2}} \frac{\mathcal{F}(\mathbf{x})}{\mathbf{x}^{2}} d\mathbf{x} \right| \\ & \leq \quad \kappa\_{1} \kappa\_{2} (\kappa\_{2} - \kappa\_{1}) \\ & \quad \times \left\{ \left[ \Delta\_{1} \left( \kappa\_{1}, \kappa\_{2}; \frac{1}{6} \right) + \Delta\_{3} \left( \kappa\_{1}, \kappa\_{2}; \frac{1}{6} \right) + \Delta\_{5} \left( \kappa\_{1}, \kappa\_{2}; \frac{1}{6} \right) + \Delta\_{7} \left( \kappa\_{1}, \kappa\_{2}; \frac{1}{6} \right) \right] \left| \mathcal{F}'(\kappa\_{1}) \right| \\ & \quad + \left[ \Delta\_{2} \left( \kappa\_{1}, \kappa\_{2}; \frac{1}{6} \right) + \Delta\_{4} \left( \kappa\_{1}, \kappa\_{2}; \frac{1}{6} \right) + \Delta\_{6} \left( \kappa\_{1}, \kappa\_{2}; \frac{1}{6} \right) + \Delta\_{8} \left( \kappa\_{1}, \kappa\_{2}; \frac{1}{6} \right) \right] |\mathcal{F}'(\kappa\_{2})| \right\}. \end{split}$$

**Theorem 4.** *Consider a mapping* <sup>F</sup> : *<sup>I</sup>* <sup>⊂</sup> (0, <sup>∞</sup>) <sup>→</sup> <sup>R</sup>*, which is differentiable mapping on <sup>I</sup>*◦ *and κ*1, *κ*<sup>2</sup> ∈ *I*◦ *with κ*<sup>1</sup> < *κ*2*, and* F *is integrable over* [*κ*1, *κ*2]*. If* |F | *q , q* ≥ 1 *is harmonically convex on* [*κ*1, *κ*2]*, then the following inequality satisfies:*

 *λ*(F(*κ*1) + F(*κ*2)) − (2*λ* − 1)F - 2*κ*1*κ*<sup>2</sup> *κ*<sup>1</sup> + *κ*<sup>2</sup> <sup>−</sup> *<sup>κ</sup>*1*κ*<sup>2</sup> *κ*<sup>2</sup> − *κ*<sup>1</sup> *κ*<sup>2</sup> *κ*1 F(*x*) *<sup>x</sup>*<sup>2</sup> *dx* = *κ*1*κ*2(*κ*<sup>2</sup> − *κ*1) × ⎧ ⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎨ ⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎩ (Δ1(*κ*1, *<sup>κ</sup>*2; *<sup>λ</sup>*) <sup>+</sup> <sup>Δ</sup>2(*κ*1, *<sup>κ</sup>*2; *<sup>λ</sup>*))1<sup>−</sup> <sup>1</sup> *q* × [Δ1(*κ*1, *κ*2; *λ*) + Δ3(*κ*1, *κ*2; *λ*)]|F (*κ*1)| *q* +[Δ2(*κ*1, *κ*2; *λ*) + Δ4(*κ*1, *κ*2; *λ*)]|F (*κ*2)| *<sup>q</sup>* <sup>1</sup> *q* +(Δ5(*κ*1, *<sup>κ</sup>*2; *<sup>λ</sup>*) <sup>+</sup> <sup>Δ</sup>6(*κ*1, *<sup>κ</sup>*2; *<sup>λ</sup>*))1<sup>−</sup> <sup>1</sup> *q* [Δ5(*κ*1, *κ*2; *λ*) + Δ7(*κ*1, *κ*2; *λ*)]|F (*κ*1)| *q* +[Δ6(*κ*1, *κ*2; *λ*) + Δ8(*κ*1, *κ*2; *λ*)]|F (*κ*2)| *<sup>q</sup>* <sup>1</sup> *q* , *if* <sup>0</sup> <sup>≤</sup> *<sup>λ</sup>* <sup>≤</sup> <sup>1</sup> 2 (Δ9(*κ*1, *<sup>κ</sup>*2; *<sup>λ</sup>*) <sup>+</sup> <sup>Δ</sup>10(*κ*1, *<sup>κ</sup>*2; *<sup>λ</sup>*))1<sup>−</sup> <sup>1</sup> *q* × Δ9(*κ*1, *κ*2; *λ*)|F (*κ*1)| *<sup>q</sup>* <sup>+</sup> <sup>Δ</sup>10(*κ*1, *<sup>κ</sup>*2; *<sup>λ</sup>*)|F (*κ*2)| *<sup>q</sup>* <sup>1</sup> *q* +(Δ11(*κ*1, *<sup>κ</sup>*2; *<sup>λ</sup>*) <sup>+</sup> <sup>Δ</sup>12(*κ*1, *<sup>κ</sup>*2; *<sup>λ</sup>*))1<sup>−</sup> <sup>1</sup> *q* Δ11(*κ*1, *κ*2; *λ*)|F (*κ*1)| *<sup>q</sup>* <sup>+</sup> <sup>Δ</sup>12(*κ*1, *<sup>κ</sup>*2; *<sup>λ</sup>*)|F (*κ*2)| *<sup>q</sup>* <sup>1</sup> *q , if* <sup>1</sup> <sup>2</sup> ≤ *λ* ≤ 1

*where* Δ1(*κ*1, *κ*2; *λ*) − Δ12(*κ*1, *κ*2; *λ*) *are defined as in Theorem 3.*

**Proof.** Taking modulus in (7) and applying the power mean inequality, we had:

 *λ*[F(*κ*1) + F(*κ*2)] − (2*λ* − 1)F - 2*κ*1*κ*<sup>2</sup> *κ*<sup>1</sup> + *κ*<sup>2</sup> <sup>−</sup> *<sup>κ</sup>*1*κ*<sup>2</sup> *κ*<sup>2</sup> − *κ*<sup>1</sup> *κ*<sup>2</sup> *κ*1 F(*x*) *<sup>x</sup>*<sup>2</sup> *dx* ≤ *κ*1*κ*2(*κ*<sup>2</sup> − *κ*1) <sup>1</sup> 2 0 |*λ* − *τ*| (*τκ*<sup>2</sup> + (1 − *τ*)*κ*1) 2 F *κ*1*κ*<sup>2</sup> *τκ*<sup>2</sup> + (1 − *τ*)*κ*<sup>1</sup> *dτ* + 1 1 2 |1 − *λ* − *τ*| (*τκ*<sup>2</sup> + (1 − *τ*)*κ*1) 2 F *κ*1*κ*<sup>2</sup> *τκ*<sup>2</sup> + (1 − *τ*)*κ*<sup>1</sup> *dτ* . ≤ *κ*1*κ*2(*κ*<sup>2</sup> − *κ*1) ⎡ ⎣ <sup>1</sup> 2 0 |*λ* − *τ*| (*τκ*<sup>2</sup> + (1 − *τ*)*κ*1) <sup>2</sup> *dτ* 1<sup>−</sup> <sup>1</sup> *q* <sup>1</sup> 2 0 |*λ* − *τ*| (*τκ*<sup>2</sup> + (1 − *τ*)*κ*1) 2 F *κ*1*κ*<sup>2</sup> *τκ*<sup>2</sup> + (1 − *τ*)*κ*<sup>1</sup> *q dτ* 1 *q* + <sup>1</sup> 1 2 |1 − *λ* − *τ*| (*τκ*<sup>2</sup> + (1 − *τ*)*κ*1) <sup>2</sup> *dτ* 1<sup>−</sup> <sup>1</sup> *q* <sup>1</sup> 1 2 |1 − *λ* − *τ*| (*τκ*<sup>2</sup> + (1 − *τ*)*κ*1) 2 F *κ*1*κ*<sup>2</sup> *τκ*<sup>2</sup> + (1 − *τ*)*κ*<sup>1</sup> *q dτ* 1 *q* ⎤ ⎦.

From the convexity of |F | *<sup>q</sup>* and 0 <sup>≤</sup> *<sup>λ</sup>* <sup>&</sup>lt; <sup>1</sup> <sup>2</sup> , we have:

 *λ*[F(*κ*1) + F(*κ*2)] − (2*λ* − 1)F - 2*κ*1*κ*<sup>2</sup> *κ*<sup>1</sup> + *κ*<sup>2</sup> <sup>−</sup> *<sup>κ</sup>*1*κ*<sup>2</sup> *κ*<sup>2</sup> − *κ*<sup>1</sup> *κ*<sup>2</sup> *κ*1 F(*x*) *<sup>x</sup>*<sup>2</sup> *dx* ≤ *κ*1*κ*2(*κ*<sup>2</sup> − *κ*1) (Δ1(*κ*1, *<sup>κ</sup>*2; *<sup>λ</sup>*) <sup>+</sup> <sup>Δ</sup>2(*κ*1, *<sup>κ</sup>*2; *<sup>λ</sup>*))1<sup>−</sup> <sup>1</sup> *q* × [Δ1(*κ*1, *κ*2; *λ*) + Δ3(*κ*1, *κ*2; *λ*)] F (*κ*1) *<sup>q</sup>* <sup>+</sup> [Δ2(*κ*1, *<sup>κ</sup>*2; *<sup>λ</sup>*) <sup>+</sup> <sup>Δ</sup>4(*κ*1, *<sup>κ</sup>*2; *<sup>λ</sup>*)] F (*κ*2) *q* 1 *q* +(Δ5(*κ*1, *<sup>κ</sup>*2; *<sup>λ</sup>*) <sup>+</sup> <sup>Δ</sup>6(*κ*1, *<sup>κ</sup>*2; *<sup>λ</sup>*))1<sup>−</sup> <sup>1</sup> *q* × [Δ5(*κ*1, *κ*2; *λ*) + Δ7(*κ*1, *κ*2; *λ*)] F (*κ*1) *<sup>q</sup>* <sup>+</sup> [Δ6(*κ*1, *<sup>κ</sup>*2; *<sup>λ</sup>*) <sup>+</sup> <sup>Δ</sup>8(*κ*1, *<sup>κ</sup>*2; *<sup>λ</sup>*)] F (*κ*2) *q* 1 *q* .

Now, from the convexity of |F | *<sup>q</sup>* and <sup>1</sup> <sup>2</sup> < *λ* ≤ 1, we have:

$$\begin{split} & \left| \lambda \left[ \mathcal{F}(\kappa\_{1}) + \mathcal{F}(\kappa\_{2}) \right] - (2\lambda - 1) \mathcal{F} \left( \frac{2\kappa\_{1}\kappa\_{2}}{\kappa\_{1} + \kappa\_{2}} \right) - \frac{\kappa\_{1}\kappa\_{2}}{\kappa\_{2} - \kappa\_{1}} \int\_{\kappa\_{1}}^{\kappa\_{2}} \frac{\mathcal{F}(\kappa)}{\mathbf{x}^{2}} d\mathbf{x} \right|^{\frac{1}{\delta}} \\ \leq & \left. \kappa\_{1}\kappa\_{2} (\kappa\_{2} - \kappa\_{1}) \left[ \left( \Delta\_{\theta}(\kappa\_{1}, \kappa\_{2}; \lambda) + \Delta\_{10}(\kappa\_{1}, \kappa\_{2}; \lambda) \right)^{1 - \frac{1}{\delta}} \right. \\ & \left. \times \left( \Delta\_{\theta}(\kappa\_{1}, \kappa\_{2}; \lambda) \left| \mathcal{F}'(\kappa\_{1}) \right|^{q} + \Delta\_{10}(\kappa\_{1}, \kappa\_{2}; \lambda) \left| \mathcal{F}'(\kappa\_{2}) \right|^{q} \right)^{\frac{1}{q}} \right. \\ & \left. + (\Delta\_{11}(\kappa\_{1}, \kappa\_{2}; \lambda) + \Delta\_{12}(\kappa\_{1}, \kappa\_{2}; \lambda) \right)^{1 - \frac{1}{\delta}} \\ \quad \times \left( \Delta\_{11}(\kappa\_{1}, \kappa\_{2}; \lambda) \left| \mathcal{F}'(\kappa\_{1}) \right|^{q} + \Delta\_{12}(\kappa\_{1}, \kappa\_{2}; \lambda) \left| \mathcal{F}'(\kappa\_{2}) \right|^{q} \right)^{\frac{1}{q}} \right] \end{split}$$

and the proof was completed.

**Remark 5.** *In Theorem 4, if we set λ* = <sup>1</sup> <sup>2</sup> *, then we recaptured the inequality (5)*. **Remark 6.** *In Theorem 4, if we set λ* = 0*, then Theorem 4 reduced to [9] (Theorem 3.1).* **Corollary 2.** *In Theorem 4, if we set λ* = <sup>1</sup> <sup>6</sup> *, then we obtain the following Simpson's type inequality:*

> 

 1 6 F(*κ*1) + 4F - 2*κ*1*κ*<sup>2</sup> *κ*<sup>1</sup> + *κ*<sup>2</sup> + F(*κ*2) <sup>−</sup> *<sup>κ</sup>*1*κ*<sup>2</sup> *κ*<sup>2</sup> − *κ*<sup>1</sup> *κ*<sup>2</sup> *κ*1 F(*x*) *<sup>x</sup>*<sup>2</sup> *dx* ≤ *κ*1*κ*2(*κ*<sup>2</sup> − *κ*1) - Δ1 - *κ*1, *κ*2; 1 6 + Δ<sup>2</sup> - *κ*1, *κ*2; 1 6 1<sup>−</sup> <sup>1</sup> *q* × -Δ1 - *κ*1, *κ*2; 1 6 + Δ<sup>3</sup> - *κ*1, *κ*2; 1 6 F (*κ*1) *q* + Δ2 - *κ*1, *κ*2; 1 6 + Δ<sup>4</sup> - *κ*1, *κ*2; 1 6 F (*κ*2) *q* 1 *q* + - Δ5 - *κ*1, *κ*2; 1 6 + Δ<sup>6</sup> - *κ*1, *κ*2; 1 6 1<sup>−</sup> <sup>1</sup> *q* × -Δ5 - *κ*1, *κ*2; 1 6 + Δ<sup>7</sup> - *κ*1, *κ*2; 1 6 F (*κ*1) *q* ×+ Δ6 - *κ*1, *κ*2; 1 6 + Δ<sup>8</sup> - *κ*1, *κ*2; 1 6 F (*κ*2) *q* 1 *q* .

## **4. Some Special Cases of Main Results**

In this section, we gave some new inequalities as special cases of the newly established results.

**Corollary 3.** *Under the assumptions of Theorem 3 with λ* = 1*, the following inequality held:*

$$\begin{split} & \left| \mathcal{F}(\kappa\_{1}) + \mathcal{F}(\kappa\_{2}) - \mathcal{F} \left( \frac{2\kappa\_{1}\kappa\_{2}}{\kappa\_{1} + \kappa\_{2}} \right) - \frac{\kappa\_{1}\kappa\_{2}}{\kappa\_{2} - \kappa\_{1}} \int\_{\kappa\_{1}}^{\kappa\_{2}} \frac{\mathcal{F}(\mathbf{x})}{\mathbf{x}^{2}} d\mathbf{x} \right| \\ \leq & \left\{ \kappa\_{1}\kappa\_{2} (\kappa\_{2} - \kappa\_{1}) \\ & \quad \times \left\{ \left[ \Delta\phi(\kappa\_{1}, \kappa\_{2}; 1) + \Delta\_{11}(\kappa\_{1}, \kappa\_{2}; 1) \right] \right| \mathcal{F}'(\kappa\_{1}) \right\} + \left[ \Delta\_{10}(\kappa\_{1}, \kappa\_{2}; 1) + \Delta\_{12}(\kappa\_{1}, \kappa\_{2}; 1) \right] \left| \mathcal{F}'(\kappa\_{2}) \right| \right\}. \end{split}$$

**Corollary 4.** *Under the assumptions of Theorem 3 with λ* = <sup>1</sup> <sup>3</sup> *, the following inequality held:*

$$\begin{split} & \left| \frac{1}{3} \left[ \mathcal{F}(\kappa\_{1}) + \mathcal{F}\left(\frac{2\kappa\_{1}\kappa\_{2}}{\kappa\_{1} + \kappa\_{2}}\right) + \mathcal{F}(\kappa\_{2}) \right] - \frac{\kappa\_{1}\kappa\_{2}}{\kappa\_{2} - \kappa\_{1}} \int\_{\kappa\_{1}}^{\kappa\_{2}} \frac{\mathcal{F}(\mathbf{x})}{\mathbf{x}^{2}} d\mathbf{x} \right| \\ & \leq \quad \kappa\_{1}\kappa\_{2}(\kappa\_{2} - \kappa\_{1}) \\ & \quad \times \left\{ \left[ \Delta\_{1}\left(\kappa\_{1}, \kappa\_{2}; \frac{1}{3}\right) + \Delta\_{3}\left(\kappa\_{1}, \kappa\_{2}; \frac{1}{3}\right) + \Delta\_{5}\left(\kappa\_{1}, \kappa\_{2}; \frac{1}{3}\right) + \Delta\_{7}\left(\kappa\_{1}, \kappa\_{2}; \frac{1}{3}\right) \right] |\mathcal{F}'(\kappa\_{1})| \\ & \quad + \left[ \Delta\_{2}\left(\kappa\_{1}, \kappa\_{2}; \frac{1}{3}\right) + \Delta\_{4}\left(\kappa\_{1}, \kappa\_{2}; \frac{1}{3}\right) + \Delta\_{6}\left(\kappa\_{1}, \kappa\_{2}; \frac{1}{3}\right) + \Delta\_{8}\left(\kappa\_{1}, \kappa\_{2}; \frac{1}{3}\right) \right] |\mathcal{F}'(\kappa\_{2})| \right\}. \end{split}$$

**Corollary 5.** *Under the assumptions of Theorem 3 with λ* = <sup>1</sup> <sup>4</sup> *, the following inequality held:*

$$\begin{split} & \left| \frac{1}{2} \left[ \frac{\mathcal{F}(\kappa\_{1}) + \mathcal{F}(\kappa\_{1})}{2} + \mathcal{F} \left( \frac{2\kappa\_{1}\kappa\_{2}}{\kappa\_{1} + \kappa\_{2}} \right) \right] - \frac{\kappa\_{1}\kappa\_{2}}{\kappa\_{2} - \kappa\_{1}} \int\_{\kappa\_{1}}^{\kappa\_{2}} \frac{\mathcal{F}(\mathbf{x})}{\mathbf{x}^{2}} d\mathbf{x} \right| \\ & \leq \quad \kappa\_{1}\kappa\_{2}(\kappa\_{2} - \kappa\_{1}) \\ & \quad \times \left\{ \left[ \Delta\_{1} \left( \kappa\_{1}, \kappa\_{2}; \frac{1}{4} \right) + \Delta\_{3} \left( \kappa\_{1}, \kappa\_{2}; \frac{1}{4} \right) + \Delta\_{5} \left( \kappa\_{1}, \kappa\_{2}; \frac{1}{4} \right) + \Delta\_{7} \left( \kappa\_{1}, \kappa\_{2}; \frac{1}{4} \right) \right] \left| \mathcal{F}'(\kappa\_{1}) \right| \\ & \quad + \left[ \Delta\_{2} \left( \kappa\_{1}, \kappa\_{2}; \frac{1}{4} \right) + \Delta\_{4} \left( \kappa\_{1}, \kappa\_{2}; \frac{1}{4} \right) + \Delta\_{6} \left( \kappa\_{1}, \kappa\_{2}; \frac{1}{4} \right) + \Delta\_{8} \left( \kappa\_{1}, \kappa\_{2}; \frac{1}{4} \right) \right] \left| \mathcal{F}'(\kappa\_{2}) \right| \end{split}$$

**Corollary 6.** *Under the assumptions of Theorem 4 with λ* = 1*, the following inequality held:*

$$\begin{split} & \left| 2\frac{\mathcal{F}(\kappa\_{1}) + \mathcal{F}(\kappa\_{2})}{2} - \mathcal{F}\left(\frac{2\kappa\_{1}\kappa\_{2}}{\kappa\_{1} + \kappa\_{2}}\right) - \frac{\kappa\_{1}\kappa\_{2}}{\kappa\_{2} - \kappa\_{1}} \int\_{\kappa\_{1}}^{\kappa\_{2}} \frac{\mathcal{F}(x)}{x^{2}} dx \right| \\ & \leq \quad \kappa\_{1}\kappa\_{2}(\kappa\_{2} - \kappa\_{1}) \\ & \quad \times \left\{ \left(\Delta\_{\theta}(\kappa\_{1}, \kappa\_{2}; 1) + \Delta\_{10}(\kappa\_{1}, \kappa\_{2}; 1)\right)^{1 - \frac{1}{\theta}} \left(\Delta\_{\theta}(\kappa\_{1}, \kappa\_{2}; 1) \left|\mathcal{F}'(\kappa\_{1})\right|^{q} + \Delta\_{10}(\kappa\_{1}, \kappa\_{2}; 1) \left|\mathcal{F}'(\kappa\_{2})\right|^{q}\right)^{\frac{1}{\theta}} \right. \\ & \left. + \left(\Delta\_{11}(\kappa\_{1}, \kappa\_{2}; 1) + \Delta\_{12}(\kappa\_{1}, \kappa\_{2}; 1)\right)^{1 - \frac{1}{\theta}} \left(\Delta\_{11}(\kappa\_{1}, \kappa\_{2}; 1) \left|\mathcal{F}'(\kappa\_{1})\right|^{q} + \Delta\_{12}(\kappa\_{1}, \kappa\_{2}; 1) \left|\mathcal{F}'(\kappa\_{2})\right|^{q}\right)^{\frac{1}{\theta}}\right\}. \end{split}$$

**Corollary 7.** *Under the assumptions of Theorem 4 with λ* = <sup>1</sup> <sup>3</sup> *, the following inequality held:*

 1 3 F(*κ*1) + F - 2*κ*1*κ*<sup>2</sup> *κ*<sup>1</sup> + *κ*<sup>2</sup> + F(*κ*2) <sup>−</sup> *<sup>κ</sup>*1*κ*<sup>2</sup> *κ*<sup>2</sup> − *κ*<sup>1</sup> *κ*<sup>2</sup> *κ*1 F(*x*) *<sup>x</sup>*<sup>2</sup> *dx* ≤ *κ*1*κ*2(*κ*<sup>2</sup> − *κ*1) - Δ1 - *κ*1, *κ*2; 1 3 + Δ<sup>2</sup> - *κ*1, *κ*2; 1 3 1<sup>−</sup> <sup>1</sup> *q* × -Δ1 - *κ*1, *κ*2; 1 3 + Δ<sup>3</sup> - *κ*1, *κ*2; 1 3 F (*κ*1) *<sup>q</sup>* + Δ2 - *κ*1, *κ*2; 1 3 + Δ<sup>4</sup> - *κ*1, *κ*2; 1 3 F (*κ*2) *q* 1 *q* + - Δ5 - *κ*1, *κ*2; 1 3 + Δ<sup>6</sup> - *κ*1, *κ*2; 1 3 1<sup>−</sup> <sup>1</sup> *q* × -Δ5 - *κ*1, *κ*2; 1 3 + Δ<sup>7</sup> - *κ*1, *κ*2; 1 3 F (*κ*1) *<sup>q</sup>* + Δ6 - *κ*1, *κ*2; 1 3 + Δ<sup>8</sup> - *κ*1, *κ*2; 1 3 F (*κ*2) *q* 1 *q* 

**Corollary 8.** *Under the assumptions of Theorem 4 with λ* = <sup>1</sup> <sup>4</sup> *, the following inequality held:*

.

 1 2 F(*κ*1) + F(*κ*1) <sup>2</sup> <sup>+</sup> <sup>F</sup> - 2*κ*1*κ*<sup>2</sup> *κ*<sup>1</sup> + *κ*<sup>2</sup> <sup>−</sup> *<sup>κ</sup>*1*κ*<sup>2</sup> *κ*<sup>2</sup> − *κ*<sup>1</sup> *κ*<sup>2</sup> *κ*1 F(*x*) *<sup>x</sup>*<sup>2</sup> *dx* ≤ *κ*1*κ*2(*κ*<sup>2</sup> − *κ*1) - Δ1 - *κ*1, *κ*2; 1 4 + Δ<sup>2</sup> - *κ*1, *κ*2; 1 4 1<sup>−</sup> <sup>1</sup> *q* × -Δ1 - *κ*1, *κ*2; 1 4 + Δ<sup>3</sup> - *κ*1, *κ*2; 1 4 F (*κ*1) *<sup>q</sup>* + Δ2 - *κ*1, *κ*2; 1 4 + Δ<sup>4</sup> - *κ*1, *κ*2; 1 4 F (*κ*2) *q* 1 *q* + - Δ5 - *κ*1, *κ*2; 1 4 + Δ<sup>6</sup> - *κ*1, *κ*2; 1 4 1<sup>−</sup> <sup>1</sup> *q* × -Δ5 - *κ*1, *κ*2; 1 4 + Δ<sup>7</sup> - *κ*1, *κ*2; 1 4 F (*κ*1) *<sup>q</sup>* + Δ6 - *κ*1, *κ*2; 1 4 + Δ<sup>8</sup> - *κ*1, *κ*2; 1 4 F (*κ*2) *q* 1 *q* .

#### **5. Application to Special Means**

For arbitrary positive numbers *κ*1, *κ*<sup>2</sup> (*κ*<sup>1</sup> = *κ*2), we considered the means as follows:

1. The arithmetic mean;

$$\mathcal{A} = \mathcal{A}(\kappa\_1, \kappa\_2) = \frac{\kappa\_1 + \kappa\_2}{2}.$$

2. The geometric mean;

$$\mathcal{G} = \mathcal{G}(\kappa\_1, \kappa\_2) = \sqrt{\kappa\_1 \kappa\_2}.$$

3. The harmonic mean;

$$\mathcal{H} = \mathcal{H}(\kappa\_1, \kappa\_2) = \frac{2\kappa\_1 \kappa\_2}{\kappa\_1 + \kappa\_2}.$$

4. The logarithmic mean;

$$
\mathcal{L} = \mathcal{L}(\kappa\_1, \kappa\_2) = \frac{\kappa\_2 - \kappa\_1}{\ln \kappa\_2 - \ln \kappa\_1}.
$$

5. The generalize logarithmic mean;

$$
\mathcal{L}\_p = \mathcal{L}\_p(\kappa\_1, \kappa\_2) = \left[ \frac{\kappa\_2^{p+1} - \kappa\_1^{p+1}}{(\kappa\_2 - \kappa\_1)(p+1)} \right]^{\frac{1}{p}}, p \in \mathbb{R} \backslash \{-1, 0\}.
$$

6. The identric mean.

$$\mathcal{I} = \mathcal{I}(\kappa\_1, \kappa\_2) = \begin{cases} \frac{1}{\varepsilon} \left( \frac{\kappa\_2^{\kappa\_2}}{\kappa\_1^{\kappa\_1}} \right)^{\frac{1}{\kappa\_2 - \kappa\_1}}, & \text{if } \kappa\_1 \neq \kappa\_2, \\\ \kappa\_1, & \text{if } \kappa\_1 = \kappa\_2. \end{cases} \text{  $\kappa\_1 \ \kappa\_2 > 0$ .}$$

These means are often employed in numerical approximations and other fields. However, the following straightforward relationship has been stated in the literature.

$$\mathcal{H} \le \mathcal{G} \le \mathcal{L} \le \mathcal{T} \le \mathcal{A}.$$

**Proposition 1.** *For κ*1, *κ*<sup>2</sup> ∈ (0, ∞) *with κ*<sup>1</sup> < *κ*2*, the following inequality was true:*

$$\begin{split} & \left| 2\lambda \mathcal{A}(\kappa\_{1},\kappa\_{2}) - (2\lambda - 1)\mathcal{H}(\kappa\_{1},\kappa\_{2}) - \frac{\mathcal{G}^{2}(\kappa\_{1},\kappa\_{2})}{\mathcal{L}(\kappa\_{1},\kappa\_{2})} \right| \\ & \leq \quad \kappa\_{1}\kappa\_{2}(\kappa\_{2} - \kappa\_{1}) \\ & \quad \times \left\{ \begin{array}{c} \{ [\Delta\_{1}(\kappa\_{1},\kappa\_{2};\lambda) + \Delta\_{3}(\kappa\_{1},\kappa\_{2};\lambda) + \Delta\_{5}(\kappa\_{1},\kappa\_{2};\lambda) + \Delta\_{7}(\kappa\_{1},\kappa\_{2};\lambda) \} \\ \\ & \quad + [\Delta\_{2}(\kappa\_{1},\kappa\_{2};\lambda) + \Delta\_{4}(\kappa\_{1},\kappa\_{2};\lambda) + \Delta\_{6}(\kappa\_{1},\kappa\_{2};\lambda) + \Delta\_{8}(\kappa\_{1},\kappa\_{2};\lambda)] \kappa\_{2}^{p+1} \right\} \end{array} \right\} \quad \forall \ 0 \leq \lambda < \frac{1}{2} \\ & \quad \left\{ [\Delta\_{9}(\kappa\_{1},\kappa\_{2};\lambda) + \Delta\_{11}(\kappa\_{1},\kappa\_{2};\lambda)] + [\Delta\_{10}(\kappa\_{1},\kappa\_{2};\lambda) + \Delta\_{12}(\kappa\_{1},\kappa\_{2};\lambda)] \right\} \end{split}$$

**Proof.** The inequality in Theorem <sup>3</sup> for mapping <sup>F</sup> : (0, <sup>∞</sup>) <sup>→</sup> <sup>R</sup>, <sup>F</sup>(*x*) <sup>=</sup> *<sup>x</sup>* leads to this conclusion.

**Proposition 2.** *For κ*1, *κ*<sup>2</sup> ∈ (0, ∞) *with κ*<sup>1</sup> < *κ*2*, the following inequality was true:*

$$\leq \begin{cases} \left| 2\lambda\mathcal{A}\left(\kappa\_{1}^{p+2},\kappa\_{2}^{p+2}\right) - (2\lambda-1)\mathcal{H}^{p+2}(\kappa\_{1},\kappa\_{2}) - \mathcal{G}^{2}(\kappa\_{1},\kappa\_{2})\mathcal{L}\_{p}^{p}(\kappa\_{1},\kappa\_{2}) \right| \\ \leq \quad \kappa\_{1}\kappa\_{2}(\kappa\_{2}-\kappa\_{1})(p+2) \\\\ \quad \quad \left\{ \begin{aligned} &\left[\left[\Delta\_{1}(\kappa\_{1},\kappa\_{2};\lambda)+\Delta\_{3}(\kappa\_{1},\kappa\_{2};\lambda)+\Delta\_{5}(\kappa\_{1},\kappa\_{2};\lambda)+\Delta\_{7}(\kappa\_{1},\kappa\_{2};\lambda)\right]\kappa\_{1}^{p+1} \\ &+\left[\Delta\_{2}(\kappa\_{1},\kappa\_{2};\lambda)+\Delta\_{4}(\kappa\_{1},\kappa\_{2};\lambda)+\Delta\_{6}(\kappa\_{1},\kappa\_{2};\lambda)+\Delta\_{8}(\kappa\_{1},\kappa\_{2};\lambda)\right]\kappa\_{2}^{p+1} \end{aligned} \right\}^{p+1}, & \quad \begin{aligned} \text{if } 0\leq\lambda<\frac{1}{2}. \end{cases} \\ \quad \times \left\{ \begin{aligned} &\left[\Delta\_{0}(\kappa\_{1},\kappa\_{2};\lambda)+\Delta\_{11}(\kappa\_{1},\kappa\_{2};\lambda)\right]\kappa\_{1}^{p+1} \\ &+\left[\Delta\_{10}(\kappa\_{1},\kappa\_{2};\lambda)+\Delta\_{12}(\kappa\_{1},\kappa\_{2};\lambda)\right]\kappa\_{2}^{p+1} \end{aligned} \right\}^{p+1}, & \quad \text{if } \frac{1}{2}\leq\lambda\leq1. \end{cases}$$

**Proof.** The inequality in Theorem <sup>3</sup> for mapping <sup>F</sup> : (0, <sup>∞</sup>) <sup>→</sup> <sup>R</sup>, <sup>F</sup>(*x*) <sup>=</sup> *<sup>x</sup>p*<sup>+</sup>2, *<sup>p</sup>* <sup>∈</sup> (−1, ∞){0} leads to this conclusion.

**Proposition 3.** *For κ*1, *κ*<sup>2</sup> ∈ (0, ∞) *with κ*<sup>1</sup> < *κ*2*, the following inequality was true:*

 2*λ*A *κ*2 <sup>1</sup> ln *<sup>κ</sup>*1, *<sup>κ</sup>*<sup>2</sup> <sup>2</sup> ln *κ*<sup>2</sup> <sup>−</sup> (2*<sup>λ</sup>* <sup>−</sup> <sup>1</sup>)H2(*κ*1, *<sup>κ</sup>*2)ln(H(*κ*1, *<sup>κ</sup>*2)) − G2(*κ*1, *<sup>κ</sup>*2)ln(I(*κ*1, *<sup>κ</sup>*2)) ≤ *κ*1*κ*2(*κ*<sup>2</sup> − *κ*1) × ⎧ ⎪⎪⎪⎪⎪⎪⎪⎪⎨ ⎪⎪⎪⎪⎪⎪⎪⎪⎩ {[Δ1(*κ*1, *κ*2; *λ*) + Δ3(*κ*1, *κ*2; *λ*) +Δ5(*κ*1, *κ*2; *λ*) + Δ7(*κ*1, *κ*2; *λ*)]*κ*1(*κ*<sup>1</sup> + 2 ln *κ*1) +[Δ2(*κ*1, *κ*2; *λ*) + Δ4(*κ*1, *κ*2; *λ*) +Δ6(*κ*1, *κ*2; *λ*) + Δ8(*κ*1, *κ*2; *λ*)]*κ*2(*κ*<sup>2</sup> + 2 ln *κ*2)} , *if* <sup>0</sup> <sup>≤</sup> *<sup>λ</sup>* <sup>&</sup>lt; <sup>1</sup> 2 {[Δ9(*κ*1, *κ*2; *λ*) + Δ11(*κ*1, *κ*2; *λ*)]*κ*1(*κ*<sup>1</sup> + 2 ln *κ*1) +[Δ10(*κ*1, *<sup>κ</sup>*2; *<sup>λ</sup>*) <sup>+</sup> <sup>Δ</sup>12(*κ*1, *<sup>κ</sup>*2; *<sup>λ</sup>*)]*κ*2(*κ*<sup>2</sup> <sup>+</sup> 2 ln *<sup>κ</sup>*2)} *, if* <sup>1</sup> <sup>2</sup> ≤ *λ* ≤ 1.

**Proof.** The inequality in Theorem <sup>3</sup> for mapping <sup>F</sup> : (0, <sup>∞</sup>) <sup>→</sup> <sup>R</sup>, <sup>F</sup>(*x*) <sup>=</sup> *<sup>x</sup>*<sup>2</sup> ln *<sup>x</sup>* leads to this conclusion.

#### **6. Conclusions**

In this research, we proved some new inequalities of a midpoint type, trapezoidal type, and Simpson type for differentiable harmonically convex functions. We also showed that the results proved in this research were the refinements of some existing results in [7,9]. The findings of this study can be utilized in symmetry. The results for the case of symmetric harmonically convex functions can be obtained in future studies. It is an interesting and new problem that upcoming researchers can develop similar inequalities for in their future work, with regards to differentiable coordinated harmonically convex functions.

**Author Contributions:** Funding acquisition, J.R., M.J.V.-C. and T.S.; Investigation, J.R., M.J.V.-C., M.A.A. and T.S.; Methodology, J.R., M.J.V.-C., M.A.A. and T.S.; Supervision, M.J.V.-C., M.A.A. and T.S.; Writing—original draft, J.R., M.J.V.-C., M.A.A. and T.S.; Writing—review & editing, J.R., M.J.V.-C., M.A.A. and T.S. All authors have read and agreed to the published version of the manuscript.

**Funding:** This research was funded by the King Mongkut's University of Technology, North Bangkok. Contract no.KMUTNB-62-KNOW-26.

**Institutional Review Board Statement:** Not applicable.

**Informed Consent Statement:** Not applicable.

**Data Availability Statement:** Not applicable.

**Acknowledgments:** We want to give thanks to the Dirección de investigación from Pontificia Universidad Católica del Ecuador for technical support to our research project entitled: "Algunas desigualdades integrales para funciones convexas generalizadas y aplicaciones". All the authors want to thank those appointed to review this article and the editorial team of *Symmetry*.

**Conflicts of Interest:** The authors declare no conflict of interest.

## **References**

