Generalized fractal Jensen and Jensen–Mercer inequalities for harmonic convex function with applications

Abstract

In this paper, we present a generalized Jensen-type inequality for generalized harmonically convex function on the fractal sets, and a generalized Jensen–Mercer inequality involving local fractional integrals is obtained. Moreover, we establish some generalized Jensen–Mercer-type local fractional integral inequalities for harmonically convex function. Also, we obtain some generalized related results using these inequalities on the fractal space. Finally, we give applications of generalized means and probability density function.

Introduction

In different fields of pure and applied mathematics, the convexity of functions has been used. Several new classes of convex functions and convex sets have been introduced and studied. Many researchers have derived the variety of new inequalities associated with these new classes of convex functions [1–3]. The harmonic set was introduced by Shi et al. [4]. It must be noted that the weighted harmonic mean is used to give a concept of the harmonic set. It has applications in the theory of electrical circuits and other fields of sciences. Harmonic convex functions are defined by using the weighted harmonic means, which have appeared as a significant and major generalization of convex functions. Several properties of harmonic convex functions have been investigated by Íşcan [5], Dragomir [6], and Farid et al. in [7].

The definition of convex function is as follows.

Definition 1

A function $\mathrm{\Psi }:I\subset \mathbb{R}⟶\mathbb{R}$ is said to be convex function on I ($\Psi \in K(I)$) if

$$ \Psi \bigl(\vartheta \zeta _{1}+ (1-\vartheta )\zeta _{2} \bigr)\leq \vartheta \Psi (\zeta _{1})+(1-\vartheta ) \Psi (\zeta _{2}) $$

holds for all $\zeta _{1}, \zeta _{2} \in I$ and $\vartheta \in [0,1]$.

Jensen’s inequality (J. I) is the best-known result in the literature. The generalizations and improvements of Jensen’s inequality have been a topic of supreme interest for researchers during the last few decades as evident from a large number of publications on the topic (see [8–10]). This inequality has also been used in various areas of science and technology to solve several problems, such as engineering, mathematical statistics, financial economics, and computer science. For some recent results, see [11–13].

Theorem 1

([1])

If $\Psi \in K(I)$, then

$$ \Psi \Bigl(\underset{\imath =1}{\overset{s}{\sum }} \gamma _{ \imath } a_{\imath } \Bigr) \leq \underset{\imath =1}{\overset{s}{\sum }} \gamma _{\imath } \Psi ( a_{\imath } ) $$

for all $a_{\imath }\in I$ and $\gamma _{\imath }\in [0,1 ]$ ($\imath =1,2,\ldots ,s$) with $\underset{\imath =1}{\overset{s}{\sum }} \gamma _{\imath }=1$.

In [14], Mercer gave a new variant of (J. I) as follows.

Theorem 2

If $\Psi \in K(I)$ on the interval $[ \mathfrak{m}, \mathfrak{M} ]$, then

$$ \Psi \Bigl( \mathfrak{M} +\mathfrak{m}- \underset{\imath =1}{\overset{s}{\sum }} \gamma _{\imath } a_{\imath } \Bigr) \leq \Psi ( \mathfrak{M} ) +\Psi (\mathfrak{m} ) - \underset{\imath =1}{\overset{s}{\sum }} \gamma _{\imath } \Psi ( a_{\imath } ) $$

for all $a_{\imath }\in [ \mathfrak{m}, \mathfrak{M} ]$ and $\gamma _{\imath }\in [0,1 ]$ ($\imath =1,2,\ldots ,s$) with $\underset{\imath =1}{\overset{s}{\sum }} \gamma _{\imath }=1$.

In [5], Iscan gave the definition of harmonic convexity as follows.

Definition 2

A function $\mathrm{\Psi }:I\subset \mathbb{R}\setminus \{0\}⟶\mathbb{R}$ is said to be harmonically convex on I ($\Psi \in HK(I)$) if

$$ \Psi \biggl( \frac{\zeta _{1}\zeta _{2}}{\vartheta \zeta _{1}+ (1-\vartheta )\zeta _{2}} \biggr)\leq \vartheta \Psi (\zeta _{2})+(1-\vartheta ) \Psi (\zeta _{1}) $$

holds for all $\zeta _{1}, \zeta _{2} \in I$, $\zeta _{1}< \zeta _{2}$, and $\vartheta \in [0,1]$.

Dragomir established (J. I) for $\Psi \in HK(I)$ in [15] as follows.

Theorem 3

Let $I \subseteq (0,\infty )$ be an interval and $\Psi \in HK(I)$, then

$$ \Psi \biggl( \frac{1}{\underset{\imath =1}{\overset{s}{\sum }}\frac{ \gamma _{\imath }}{a_{\imath }}} \biggr) \leq \underset{\imath =1}{ \overset{s}{\sum }} \gamma _{\imath } \Psi ( a_{\imath } ) $$

(1)

for all $a_{\imath }\in I$ and $\gamma _{\imath }\in [0,1 ]$, ($\imath =1,2,\ldots ,s$) with $\underset{\imath =1}{\overset{s}{\sum }} \gamma _{\imath }=1$.

Very recently, Baloch et al. [16] presented a variant of (J. I) in the Mercer sense for $\Psi \in HK(I)$ as follows.

Theorem 4

If $\Psi \in HK(I)$ on the interval $I=[\mathfrak{m}, \mathfrak{M}] \subseteq (0,\infty )$, then the inequality

$$ \Psi \biggl( \frac{1}{\frac{1}{ \mathfrak{M}}+\frac{1}{\mathfrak{m}}-\underset{\imath =1}{\overset{s}{\sum }}\frac{\gamma _{\imath }}{a_{\imath }}} \biggr) \leq \Psi (\mathfrak{M})+\Psi ( \mathfrak{m})- \underset{\imath =1}{\overset{s}{\sum }} \gamma _{\imath } \Psi ( a_{\imath } ) $$

holds for all $a_{\imath }\in [\mathfrak{m}, \mathfrak{M}]$ and $\gamma _{\imath }\in [0,1 ]$, ($\imath =1,2,\ldots ,s$) with $\underset{\imath =1}{\overset{s}{\sum }} \gamma _{\imath }=1$.

Fractional calculus and local fractional calculus are very powerful tools in applied mathematics [17–21]. Yang [22] stated the definition of local fractional calculus. The local fractional calculus is used to deal with various non-differentiable problems that arise in a complex real-world phenomenon system. Local fractional functional analysis is a fully new area of mathematics and also a totally new view of the mathematical world. The theory of fractional calculus has played an important role in various fields of applied and pure sciences, for example, electricity, mechanics, biology, economics, chemistry, notably control theory, image processing, etc. The local fractional calculus is extremely practical and comprehensive in science and engineering for its real-world models (see [23]). Mandelbrot defined a fractal set as the one whose Hausdorff dimension strictly exceeds the topological dimension [24]. Many researchers contemplated the properties of a function on the fractal space and built numerous sorts of fractional calculus by utilizing distinctive approaches, see [25, 26]. Mo et al. [27] defined the generalized convex function on fractal sets ${\mathbb{R}}^{\varrho }$ ($0<\varrho \leq 1$) of real numbers and established generalized Jensen’s and Hermite–Hadamard’s inequalities for a generalized convex function in the concept of local fractional calculus. In (2017) Sun [28] introduced the concept of harmonic convex function on fractal sets ${\mathbb{R}}^{\varrho }$ ($0<\varrho \leq 1$) of real numbers and gave some Hermite–Hadamard inequalities for a generalized harmonic function ($\Psi \in GHK_{\varrho }(I)$). In 2018, authors [29] worked on fractal integral inequalities for $\Psi \in GHK(I)$. Sun [30] in 2019 worked on generalization of some inequalities for ($\Psi \in GHK_{ \varrho }(I)$) on the fractal space. Recently, in 2020, Iftikhar et al. [31] gave several new Newton-type inequalities in a local fractional calculus scheme. Some recent results for a generalized harmonic convex function can be seen in [32].

Preliminaries

Using the Gao–Yang–Kang concept, recall the set ${\mathbb{R}}^{\varrho }$ to classify the definitions of local fractional derivative, local fractional integral (see [22]), and so on.

The theory of Yang’s fractional sets [22] can be stated as follows.

For $0< \varrho \leq 1$, the ϱ-type set of element set is given below:

${\mathbb{Z}}^{\varrho }$::

The set defined as the ϱ-type set of integer is $\{ 0^{\varrho },\pm 1^{ \varrho }, \pm 2^{ \varrho },\ldots,\pm n^{ \varrho },\ldots \}$.

${\mathbb{Q}}^{\varrho }$::

The set defined as the ϱ-type set of rational numbers is $\{m^{\varrho }={(r/s)}^{\varrho }:r,s\in \mathbb{Z},s\ne 0\}$.

${\mathbb{J}}^{\varrho }$::

The set defined as the ϱ-type set of irrational numbers is $\{m^{\varrho }\ne {(r/s)}^{\varrho }:r,s\in \mathbb{Z},s\ne 0\}$.

${\mathbb{R}}^{\varrho }$::

The set defined as the ϱ-type set of real numbers is ${\mathbb{R}}^{\varrho }={\mathbb{Q}}^{\varrho }$ ∪ ${\mathbb{J}}^{\varrho }$.

The following operations hold for $r^{\varrho }$, $s^{\varrho }$, and $t^{\varrho }$ belonging to the set ${\mathbb{R}}^{\varrho }$ of real line numbers:

• (i) $r^{\varrho }+s^{\varrho }$ and $r^{\varrho }s^{\varrho }$ belong to the set ${\mathbb{R}}^{\varrho }$;

• (ii) $r^{\varrho }+s^{\varrho }=s^{\varrho }+r^{\varrho }=(r+s)^{\varrho }=(s+r)^{ \varrho }$;

• (iii) $r^{\varrho }+(s^{\varrho }+t^{\varrho })=(r+s)^{\varrho }+t^{ \varrho }$;

• (iv) $r^{\varrho }s^{\varrho }=s^{\varrho }r^{\varrho }=(rs)^{\varrho }=(sr)^{ \varrho }$;

• (v) $r^{\varrho }(s^{\varrho }t^{\varrho })=(r^{\varrho }s^{\varrho })t^{ \varrho }$;

• (vi) $r^{\varrho }(s^{\varrho }+t^{\varrho })=r^{\varrho }s^{\varrho }+r^{ \varrho }t^{\varrho }$;

• (vii) $r^{\varrho }+0^{\varrho }=0^{\varrho }+r^{\varrho }=r^{\varrho }$ and $r^{\varrho }1^{\varrho }=1^{\varrho }r^{\varrho }=r^{\varrho }$.

Let us recall some basics of local fractional calculus on ${\mathbb{R}}^{\varrho }$.

Definition 3

([22])

A non-differentiable function $\mathrm{\Psi }:\mathbb{R}⟶{\mathbb{R}}^{\varrho }$, $\zeta \longrightarrow \Psi (\zeta )$ at $\zeta _{0}$ is continuous in a local fractional sense if, for any $\epsilon >0$, there exists $\delta >0$ such that

$$\begin{aligned} \bigl\vert \Psi (\zeta )-\Psi (\zeta _{0}) \bigr\vert < \epsilon ^{\varrho } \end{aligned}$$

holds for $|\zeta -\zeta _{0}|< \delta$, for all ϵ, $\delta \in \mathbb{R}$. We denote $\Psi (\zeta ) \in C_{\varrho }( \mathfrak{m}, \mathfrak{M})$ if $\Psi (\zeta )$ is local fractional continuous on the interval $( \mathfrak{m}, \mathfrak{M})$.

Definition 4

([22])

The definition of local fractional derivative of $\Psi (\zeta )$ of order ϱ at $\zeta =\zeta _{0}$ is

$$\begin{aligned} \Psi ^{(\varrho )}(\zeta _{0})= \frac{d^{\varrho } \Psi (\zeta )}{d\zeta ^{\varrho }} \bigg\vert _{ \zeta =\zeta _{0}}=\lim_{\zeta \to \zeta _{0}} \frac{\Delta ^{\varrho }(\Psi (\zeta )-\Psi (\zeta _{0}))}{(\zeta -\zeta _{0})^{ \varrho }}, \end{aligned}$$

where $\Delta ^{\varrho }(\Psi (\zeta )-\Psi (\zeta _{0}))\cong \Gamma ( 1+\varrho )(\Psi (\zeta )-\Psi (\zeta _{0}))$.

If for any $\zeta \in I\subseteq \mathbb{R}$ there exists $\Psi ^{((p+1)\varrho )}(\zeta )= \overbrace{D_{\zeta }^{\varrho }\cdots D_{\zeta }^{\varrho }}^{p+1\text{ times}} \Psi (\zeta )$, then we say $\Psi \in D_{(p+1)\varrho }(I)$, where $p=0,1,2,\ldots$ .

Definition 5

([22])

If $\Psi \in C_{\varrho }[ \mathfrak{m}, \mathfrak{M}]$, then the local fractional integral of $\Psi (\zeta )$ of order ϱ is

$$\begin{aligned} {}_{ \mathfrak{m}} I^{(\varrho )}_{ \mathfrak{M}} \Psi (\zeta )&= \frac{1}{\Gamma ( 1+\varrho )} \int _{ \mathfrak{m}}^{ \mathfrak{M}} \Psi (w) (dw)^{\varrho } \\ & = \frac{1}{\Gamma ( 1+\varrho )} \lim_{\Delta w \to 0} \underset{s=0}{\overset{M-1}{\sum }} \Psi (w_{s}) (\Delta w_{s})^{ \varrho }, \end{aligned}$$

with $\Delta w_{s}=w_{s+1}-{w_{s}}$ and $\Delta w=$ max $\{ {\Delta w_{s}}|s=1,2,\ldots,M-1 \}$, where $[w_{s},w_{s+1}]$, $s=0,1,\ldots,M-1$, and $w_{0}= \mathfrak{m}< w_{1}<\cdots<w_{i}<\cdots<w_{M-1}<w_{M}= \mathfrak{M}$ is a partition of the interval $[ \mathfrak{m}, \mathfrak{M}]$.

Here, it implies that ${}_{ \mathfrak{m}} I^{(\varrho )}_{ \mathfrak{M}} \Psi (\zeta )=0$ if $\mathfrak{m}= \mathfrak{M}$ and ${}_{ \mathfrak{m}} I^{(\varrho )}_{ \mathfrak{M}} \Psi (\zeta )=- {}_{ \mathfrak{M}} I^{(\varrho )}_{ \mathfrak{m}} \Psi (\zeta )$ if $\mathfrak{m}< \mathfrak{M}$. If for any $\zeta \in [ \mathfrak{m}, \mathfrak{M}]$ there exists ${}_{ \mathfrak{m}} I^{(\varrho )}_{ \mathfrak{M}} \Psi (\zeta )$, then we denote $\Psi (\zeta ) \in I_{\zeta }^{(\varrho )}[ \mathfrak{m}, \mathfrak{M}]$.

Lemma 1

([22])

• (i) If $\Psi (\zeta )=\Upsilon ^{(\varrho )}(\zeta ) \in C_{\varrho }[ \mathfrak{m}, \mathfrak{M}]$, then we have

  $$\begin{aligned} {}_{ \mathfrak{m}} I^{\varrho }_{ \mathfrak{M}} \Psi (\zeta )= \Upsilon ( \mathfrak{M})-\Upsilon ( \mathfrak{m}). \end{aligned}$$

• (ii) If $\Psi (\zeta ),\Upsilon (\zeta ) \in D_{\varrho }[ \mathfrak{m}, \mathfrak{M}]$ and $\Psi ^{(\varrho )}(\zeta )$, $\Upsilon ^{(\varrho )}(\zeta ) \in C_{\varrho }[ \mathfrak{m}, \mathfrak{M}]$, then we have

  $$\begin{aligned} {}_{ \mathfrak{m}} I^{\varrho }_{ \mathfrak{M}} \Psi (\zeta ) \Upsilon ^{(\varrho )}(\zeta )=\Psi (\zeta )\Upsilon (\zeta )\rvert _{ \mathfrak{m}}^{ \mathfrak{M}}- {}_{ \mathfrak{m}} I^{\varrho }_{ \mathfrak{M}}\Psi ^{(\varrho )}(\zeta ) \Upsilon (\zeta ). \end{aligned}$$

Lemma 2

([22])

$$\begin{aligned} \frac{d^{\varrho } \zeta ^{\varsigma \varrho }}{d\zeta ^{\varrho }}= \frac{ \Gamma ( 1+\varsigma \varrho )}{\Gamma ( 1+(\varsigma -1)\varrho )} \zeta ^{(\varsigma -1)\varrho }; \end{aligned}$$

and

$$\begin{aligned} \frac{1}{\Gamma ( 1+\varrho )} \int _{ \mathfrak{m}}^{ \mathfrak{M}} \zeta ^{\varsigma \varrho }(d\zeta )^{\varrho }= \frac{ \Gamma ( 1+\varsigma \varrho )}{\Gamma ( 1+(\varsigma +1)\varrho )}\bigl( \mathfrak{M}^{(\varsigma +1)\varrho }- \mathfrak{m}^{(\varsigma +1) \varrho }\bigr), \end{aligned}$$

while $\varsigma \in \mathbb{R}$.

The definition of a generalized harmonically convex function on fractal sets is as follows.

Definition 6

([28])

A function $\mathrm{\Psi }:I\subseteq \mathbb{R}\setminus \{0\}⟶{\mathbb{R}}^{\varrho }$ is said to be a generalized harmonic convex function on I i.e. $\Psi \in GHK_{\varrho }(I)$ if

$$ \Psi \biggl( \frac{\zeta _{1}\zeta _{2}}{\vartheta \zeta _{1}+ (1-\vartheta )\zeta _{2}} \biggr)\leq (1-\vartheta )^{\varrho }\Psi (\zeta _{1})+\vartheta ^{ \varrho }\Psi (\zeta _{2}) $$

(2)

holds for all $\zeta _{1}, \zeta _{2} \in I$, $\zeta _{1}< \zeta _{2}$, and $\vartheta \in [0,1]$.

The main aim of this paper is to present the generalized Jensen inequality (G. J. I) and generalized Jensen–Mercer inequality (G. J. M. I) for the class of functions $GHK_{\varrho }(I)$ on the fractal space. Moreover, we establish an improvement and generalization of some Jensen–Mercer-type inequalities for harmonically convex function via local fractional integrals. Also, we obtain some generalized related results on a fractal space. Finally, we present some resulting applications to special means and probability density function.

Generalized Jensen’s and Jensen–Mercer inequalities for $GHK_{\varrho }(I)$ in the fractal sense

In this section, we first present the (G. J. I) and establish (G. J. M. I) for $\Psi \in GHK_{\varrho }(I)$ via fractional integrals. In order to prove (G. J. M. I), we need the main identity later in this section.

Theorem 5

(G. J. I) Let $I \subseteq (0,\infty )$ be an interval and $\Psi \in GHK_{\varrho }(I)$, then

$$ \Psi \biggl( \frac{1}{\underset{\imath =1}{\overset{s}{\sum }}\frac{ \gamma _{\imath }}{a_{\imath } }} \biggr) \leq \underset{\imath =1 }{\overset{s}{\sum }} \gamma _{\imath }^{\varrho } \Psi ( a_{\imath } ) $$

(3)

holds for all $a_{\imath } \in I$ and $\gamma _{\imath }\in [0,1 ]$, ($\imath =1 ,2,\ldots ,s$) with $\underset{\imath =1 }{\overset{s}{\sum }} \gamma _{\imath }=1$.

Proof

The inequality is clearly true for $s=2$. Suppose that for $s=k$ the inequality is also true. Then, for any $a_{1}, a_{2},\ldots,a_{k} \in I$ and $\omega _{\imath }>0$, $\imath =1 ,2,\ldots,k$ with $\underset{\imath =1 }{\overset{k}{\sum }} \omega _{\imath }=1$, we have

$$ \Psi \biggl( \frac{1}{\underset{\imath =1 }{\overset{k}{\sum }}\frac{ \omega _{\imath }}{a_{\imath } }} \biggr) \leq \underset{\imath =1 }{\overset{k}{\sum }} \omega _{\imath }^{\varrho } \Psi ( a_{\imath } ). $$

If $a_{1},a_{2},\ldots,a_{k},a_{(k+1)} \in I$ and $\gamma _{\imath }>0$ for $\imath =1 ,2,\ldots,k+1$ with $\underset{\imath =1 }{\overset{k+1}{\sum }} \gamma _{\imath }=1$, then one sets up

$$ \omega _{\imath }= \frac{\gamma _{\imath }}{1-\gamma _{k+1}} $$

for all $\imath =1 ,2,\ldots,k$. It is easy to see that $\underset{\imath =1 }{\overset{k}{\sum }} \omega _{\imath }=1$. Thus,

$$\begin{aligned} \Psi \biggl( \frac{1}{\underset{\imath =1 }{\overset{k+1}{\sum }} \frac{\gamma _{\imath }}{a_{\imath } }} \biggr)={}&\Psi \biggl( \frac{1}{ (1-\gamma _{k+1})\frac{\frac{\gamma _{1}}{a_{1}}+ \frac{\gamma _{2}}{a_{2}}+\cdots+\frac{\gamma _{k}}{a_{k}}}{1-\gamma _{k+1}}+\frac{\gamma _{k+1}}{a_{k+1}}} \biggr) \\ \leq {}&(1- \gamma _{k+1})^{ \varrho } \Psi \biggl( \frac{1- \gamma _{k+1}}{\frac{\gamma _{1}}{a_{1}}+ \frac{\gamma _{2}}{a_{2}}+\cdots+\frac{\gamma _{k}}{a_{k+1}}} \biggr)+ \gamma _{k+1}^{\varrho } \Psi (a_{k+1}) \\ ={}&(1- \gamma _{k+1})^{ \varrho } \Psi \biggl( \frac{1}{ \omega _{1} \frac{1}{a_{1}} +\omega _{2} \frac{1}{a_{2}}+\cdots+ \omega _{k} \frac{1}{a_{k}} } \biggr) + \gamma _{k+1}^{\varrho }\Psi (a_{k+1}) \\ \leq{}& (1- \gamma _{k+1})^{ \varrho } \bigl[ \omega _{1}^{\varrho } \Psi (a_{1})+\omega _{2}^{\varrho } \Psi (a_{2}) +\cdots+\omega _{k}^{ \varrho }\Psi (a_{k}) \bigr]+\gamma _{k+1}^{\varrho } \Psi (a_{k+1}) \\ ={}& (1- \gamma _{k+1})^{ \varrho } \biggl[ \biggl( \frac{\gamma _{1}}{1-\gamma _{k+1}} \biggr)^{\varrho }\Psi (a_{1}) +\cdots+ \biggl(\frac{\gamma _{k}}{1-\gamma _{k+1}} \biggr)^{\varrho }\Psi (a_{k}) \biggr] \\ &{}+\gamma _{k+1}^{\varrho } \Psi (a_{k+1}) \\ ={}&\underset{\imath =1 }{\overset{k+1}{\sum }} \gamma _{\imath }^{\varrho } \Psi ( a_{\imath } ). \end{aligned}$$

So, the mathematical induction gives the proof of Theorem 5. □

Remark 1

If we take $\varrho =1$ in Theorem 5, then it gives inequality (1) proved by Dragomir.

The main lemma for $\Psi \in GHK_{\varrho }(I)$ pertaining local fractional integrals is as follows.

Lemma 3

Let $I=[\mathfrak{m} , \mathfrak{M}] \subseteq (0,\infty )$ be an interval, $\{ a_{\imath } \} _{\imath =1 }^{s} \in I$ be a finite positive increasing sequence, and $\Psi \in GHK_{\varrho }(I)$ on the interval $[\mathfrak{m} ,\mathfrak{M}]$, then

$$\begin{aligned} \Psi \biggl( \frac{1}{\frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\frac{1}{a_{\imath } }} \biggr) \leq \Psi (\mathfrak{M})+ \Psi (\mathfrak{m} )-\Psi (a_{ \imath } ) \end{aligned}$$

(4)

holds for all $1 \leq \imath \leq s$.

Proof

Let $\frac{1}{b_{\imath }}= \frac{1}{\mathfrak{M}}+ \frac{1}{\mathfrak{m} }+\frac{1}{a_{\imath }}$. Then $\frac{1}{b_{\imath }}+\frac{1}{a_{\imath }}=\frac{1}{\mathfrak{m} }+ \frac{1}{\mathfrak{M}}$ so that the pairs $\mathfrak{m}$, $\mathfrak{M}$ and $a_{\imath }$, $b_{\imath }$ possess the same harmonic mean. Since that is the case, there exists ϑ such that

$$\begin{aligned} \begin{aligned} a_{\imath }= \frac{\mathfrak{m} \mathfrak{M}}{ \vartheta \mathfrak{m} +(1-\vartheta )\mathfrak{M}}, \\ b_{\imath }= \frac{\mathfrak{m} \mathfrak{M}}{(1-\vartheta ) \mathfrak{m} + \vartheta \mathfrak{M}}, \end{aligned} \end{aligned}$$

where $0 \leq \vartheta \leq 1$ and $1 \leq \imath \leq s$. Hence, applying generalized harmonic convexity of Ψ, we get

$$\begin{aligned} \Psi (b_{\imath })&=\Psi \biggl( \frac{\mathfrak{m} \mathfrak{M}}{ (1-\vartheta ) \mathfrak{m} + \vartheta \mathfrak{M}} \biggr) \\ & \leq \vartheta ^{\varrho } \Psi (\mathfrak{m} )+ (1-\vartheta )^{ \varrho } \Psi (\mathfrak{M}) \\ & = \Psi (\mathfrak{M})+\Psi (\mathfrak{m} )- \bigl[ (1-\vartheta )^{ \varrho } \Psi (\mathfrak{m} )+ \vartheta ^{\varrho } \Psi ( \mathfrak{M}) \bigr] \\ & \leq \Psi (\mathfrak{M})+\Psi (\mathfrak{m} )- \Psi \biggl( \frac{\mathfrak{m} \mathfrak{M}}{ \vartheta \mathfrak{m} +(1-\vartheta )\mathfrak{M}} \biggr) \\ &=\Psi (\mathfrak{M})+\Psi (\mathfrak{m} )-\Psi (a_{\imath } ) \end{aligned}$$

and $\frac{1}{b_{\imath }}= \frac{1}{\mathfrak{M}}+ \frac{1}{\mathfrak{m} }+\frac{1}{a_{\imath }}$, which concludes the proof of the lemma. □

By using the (G. J. I), (G. J. M. I) for $\Psi \in GHK_{\varrho }(I)$ can be represented in a local fractional integral as follows.

Theorem 6

((G. J. M. I))

Let $I=[\mathfrak{m} ,\mathfrak{M}] \subseteq (0, \infty )$ be an interval and $\Psi \in GHK_{\varrho }(I)$, then the inequality

$$\begin{aligned} \Psi \biggl( \frac{1}{\frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\underset{\imath =1 }{\overset{s}{\sum }} \frac{ \gamma _{\imath }}{a_{\imath } }} \biggr) \leq \Psi ( \mathfrak{M} ) +\Psi (\mathfrak{m} ) - \underset{\imath =1 }{\overset{s}{\sum }} \gamma _{\imath }^{\varrho } \Psi ( a_{\imath } ) \end{aligned}$$

(5)

holds for any finite positive sequence $\{ a_{\imath } \} _{\imath =1 }^{s} \in I$ and $\gamma _{\imath }\in [0,1 ]$ ($\imath =1 ,2,\ldots ,s$) with $\underset{\imath =1 }{\overset{s}{\sum }} \gamma _{\imath }=1$.

Proof

It follows from Theorem 5 and Lemma 3 together with the generalized harmonic convexity of Ψ on the interval $[\mathfrak{m} ,\mathfrak{M}]$ that

$$\begin{aligned} \Psi \biggl( \frac{1}{\frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\underset{\imath =1 }{\overset{s}{\sum }} \frac{ \gamma _{\imath }}{a_{\imath } }} \biggr)&= \Psi \biggl( \frac{1}{\underset{\imath =1 }{\overset{s}{\sum }} \gamma _{\imath }(\frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\frac{1}{a_{\imath } }) } \biggr) \\ & \leq \underset{\imath =1 }{\overset{s}{\sum }} \gamma _{\imath }^{ \varrho } \Psi \biggl( \frac{1}{ \frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\frac{1}{a_{\imath } } } \biggr) \\ & \leq \underset{\imath =1 }{\overset{s}{\sum }} \gamma _{\imath }^{ \varrho } \Psi (\mathfrak{M})+ \underset{\imath =1 }{ \overset{s}{\sum }} \gamma _{\imath }^{ \varrho } \Psi ( \mathfrak{m} )- \underset{\imath =1 }{\overset{s}{\sum }} \gamma _{\imath }^{ \varrho } \Psi (a_{\imath }) \\ &= \Psi (\mathfrak{M})+\Psi (\mathfrak{m} )- \underset{\imath =1 }{\overset{s}{\sum }} \gamma _{\imath }^{ \varrho } \Psi (a_{\imath }), \end{aligned}$$

and this concludes the proof. □

Remark 2

If we take $\varrho =1$ in Theorem 6, then it gives [[16], Theorem 2.4] and also see Theorem 4.

Improvement and generalization of some (G. J. M)-type inequalities for local fractional integrals

Based on Lemma 3, some (G. J. M)-type inequalities can be represented pertaining local fractional integral forms as follows.

Theorem 7

Assume that $\Psi \in GHK_{\varrho }(I)$ on the interval $I=[\mathfrak{m} , \mathfrak{M}] \subset (0, \infty )$, then the following inequality for local fractional integrals holds:

$$\begin{aligned} \Psi \biggl( \frac{1}{\frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }- \frac{ 1}{\bar{a}}} \biggr) & \leq \underset{\imath =1 }{\overset{s}{\sum }} \gamma _{ \imath } ^{\varrho } \Psi \biggl( \frac{1}{\frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }- ( \frac{1-\vartheta }{\bar{a}}+\frac{\vartheta }{a_{\imath } } )} \biggr) \\ & \leq \Psi (\mathfrak{M})+\Psi (\mathfrak{m} )- \underset{\imath =1 }{ \overset{s}{\sum }} \gamma _{\imath }^{\varrho }\Psi (a_{\imath }) \end{aligned}$$

(6)

for all $a_{\imath } \in [ \mathfrak{m} ,\mathfrak{M} ]$ and $\gamma _{\imath }\in [0,1 ]$ ($\imath =1 ,2,\ldots ,s$) with $\underset{\imath =1 }{\overset{s}{\sum }} \gamma _{\imath }=1$, where $\frac{1}{\bar{a}}=\underset{\imath =1 }{\overset{s}{\sum }} \gamma _{ \imath }\frac{1}{a_{\imath }}$.

Proof

Since $\Psi \in GHK_{\varrho }(I)$, we have

$$\begin{aligned} \underset{\imath =1 }{\overset{s}{\sum }} \gamma _{\imath } ^{\varrho } \Psi \biggl( \frac{1}{\frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }- ( \frac{1-\vartheta }{\bar{a}}+\frac{\vartheta }{a_{\imath } } )} \biggr)& \geq \Psi \biggl( \frac{1}{ \underset{\imath =1 }{\overset{s}{\sum }} \gamma _{\imath } ( \frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }- ( \frac{1-\vartheta }{\bar{a}}+\frac{\vartheta }{a_{\imath } } ) )} \biggr) \\ &= \Psi \biggl( \frac{1}{\frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }- \frac{1}{\bar{a}}+\frac{\vartheta }{\bar{a}}-\underset{\imath =1 }{\overset{s}{\sum }} \gamma _{\imath } \frac{\vartheta }{a_{\imath } }} \biggr) \\ & = \Psi \biggl( \frac{1}{\frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }- \frac{ 1}{\bar{a}}} \biggr). \end{aligned}$$

(7)

On the other hand,

$$\begin{aligned} &\underset{\imath =1 }{\overset{s}{\sum }} \gamma _{\imath } ^{\varrho } \Psi \biggl( \frac{1}{\frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }- ( \frac{1-\vartheta }{\bar{a}}+\frac{\vartheta }{a_{\imath } } )} \biggr) \\ &\quad = \underset{\imath =1 }{\overset{s}{\sum }} \gamma _{\imath } ^{\varrho } \Psi \biggl( \frac{1}{(1-\vartheta ) ( \frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\frac{1}{ \bar{a}} )+ \vartheta ( \frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\frac{1}{ a_{\imath }} )} \biggr) \\ &\quad \leq \underset{\imath =1 }{\overset{s}{\sum }} \gamma _{\imath } ^{ \varrho } \biggl[ (1-\vartheta )^{\varrho }\Psi \biggl( \frac{1}{ \frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\frac{1}{\bar{a}} } \biggr) +\vartheta ^{\varrho } \Psi \biggl( \frac{1}{ \frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\frac{1}{a_{\imath } } } \biggr) \biggr] \\ &\quad \leq \underset{\imath =1 }{\overset{s}{\sum }} \gamma _{\imath } ^{ \varrho } \Bigl[ (1-\vartheta )^{\varrho } \Bigl(\Psi ( \mathfrak{M})+ \Psi (\mathfrak{m} )- \underset{j=1}{\overset{s}{\sum }} \gamma _{j}^{ \varrho }\Psi (a_{j}) \Bigr) \\ &\qquad {} +\vartheta ^{\varrho } \bigl( \Psi (\mathfrak{M})+ \Psi (\mathfrak{m} )- \Psi (a_{\imath } ) \bigr) \Bigr] \\ &\quad = \Psi (\mathfrak{M})+\Psi (\mathfrak{m} )- \underset{\imath =1 }{\overset{s}{\sum }} \gamma _{\imath }^{\varrho } \Psi (a_{\imath }) . \end{aligned}$$

(8)

Combining inequalities (7) and (8), we get (6). □

Remark 3

If we take $\varrho =1$ in Theorem 7, then it gives [[33], Theorem 2.3].

Corollary 1

Let all assumptions of Theorem 7hold and $\Psi (x) \in I^{(\varrho )}_{x}[\mathfrak{m} ,\mathfrak{M}]$, then

$$\begin{aligned} \begin{aligned} \Psi \biggl( \frac{1}{\frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }- \frac{ 1}{\bar{a}}} \biggr) &\leq \underset{\imath =1 }{\overset{s}{\sum }} \frac{ \gamma _{\imath } ^{\varrho } \Gamma ( 1+\varrho )}{ (\frac{1}{a_{\imath }}-\frac{1}{\bar{a}} )^{\varrho }} {}_{ \frac{1}{ \frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\frac{1}{\bar{a}} } } I^{(\varrho )}_{ \frac{1}{ \frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\frac{1}{a_{\imath } } } }\frac{ \Psi (x)}{x^{2\varrho }} \\ & \leq \Psi (\mathfrak{M})+\Psi (\mathfrak{m} )- \underset{\imath =1 }{ \overset{s}{\sum }} \gamma _{\imath }^{\varrho } \Psi (a_{\imath }) . \end{aligned} \end{aligned}$$

(9)

Proof

Multiplying by $\frac{1}{\Gamma ( 1+\varrho )}$ on both sides of (6) and then integrating w.r.t ϑ over $[0,1]$, we get (9). Here, we used the fact

$$\begin{aligned} & \frac{1}{\Gamma ( 1+\varrho )} \int _{0}^{1} \Psi \biggl( \frac{1}{\frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }- ( \frac{1-\vartheta }{\bar{a}}+\frac{\vartheta }{a_{\imath } } )} \biggr) (d\vartheta )^{\varrho } \\ &\quad = \frac{1}{\Gamma ( 1+\varrho )} \int _{0}^{1} \Psi \biggl( \frac{1}{ (1-\vartheta )\Psi (\frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\frac{1}{\bar{a}} ) +\vartheta \Psi ( \frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\frac{1}{a_{\imath } } ) } \biggr) (d\vartheta )^{\varrho } \\ &\quad = \frac{1}{ (\frac{1}{a_{\imath }}-\frac{1}{\bar{a}} )^{\varrho }} \biggl[\frac{1}{\Gamma ( 1+\varrho )} \int _{ \frac{1}{ \frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\frac{1}{\bar{a}} }}^{ \frac{1}{ \frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\frac{1}{a_{\imath } } }} \frac{ \Psi (t)}{t^{2\varrho }}(dt)^{\varrho } \biggr] \\ &\quad = \frac{1}{ (\frac{1}{a_{\imath }}-\frac{1}{\bar{a}} )^{\varrho }} {}_{ \frac{1}{ \frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\frac{1}{\bar{a}} } } I^{(\varrho )}_{ \frac{1}{ \frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\frac{1}{a_{\imath } } } } \frac{ \Psi (x)}{x^{2\varrho }} . \end{aligned}$$

 □

Remark 4

If we take $\varrho =1$ in Corollary 1, then it gives [[33], Corollary 2.4] and if put $\varrho =1$, $s=2$, $\gamma _{1}=\gamma _{2}=\frac{1}{2}$, $a_{1}=a$, and $a_{2}=b$ in Corollary 1, then it gives [[33], Theorem 2.1].

Now, we present a more precise estimate in the following theorem.

Theorem 8

Assume that $\Psi \in GHK_{\varrho }(I)$ on the interval $I=[\mathfrak{m} , \mathfrak{M}] \subset (0, \infty )$, then the following inequality for local fractional integrals holds:

$$\begin{aligned} \begin{aligned} \Psi \biggl( \frac{1}{\frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }- \frac{ 1}{\bar{a}}} \biggr) & \leq \underset{\imath =1 }{\overset{s}{\sum }} \gamma _{ \imath } ^{\varrho } \Psi \biggl( \frac{1}{\frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\frac{1}{2} ( \frac{1}{\bar{a}}+\frac{1}{a_{\imath } } )} \biggr) \\ & \leq \underset{\imath =1 }{\overset{s}{\sum }} \frac{ \gamma _{\imath } ^{\varrho } \Gamma ( 1+\varrho )}{ (\frac{1}{a_{\imath }}-\frac{1}{\bar{a}} )^{\varrho }} {}_{ \frac{1}{ \frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\frac{1}{\bar{a}} } } I^{(\varrho )}_{ \frac{1}{ \frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\frac{1}{a_{\imath } } } }\frac{ \Psi (x)}{x^{2\varrho }} \\ & \leq \Psi (\mathfrak{M})+\Psi (\mathfrak{m} )- \underset{\imath =1 }{ \overset{s}{\sum }} \gamma _{\imath }^{\varrho }\Psi (a_{\imath }) \end{aligned} \end{aligned}$$

(10)

for all $a_{\imath } \in [ \mathfrak{m} ,\mathfrak{M} ]$ and $\gamma _{\imath }\in [0,1 ]$ ($\imath =1 ,2,\ldots ,s$) with $\underset{\imath =1 }{\overset{s}{\sum }} \gamma _{\imath }=1$, where $\frac{1}{\bar{a}}=\underset{\imath =1 }{\overset{s}{\sum }} \gamma _{ \imath }\frac{1}{a_{\imath }}$.

Proof

As $\Psi \in GHK_{\varrho }(I)$, then for any $a_{1},b_{1} \in [\mathfrak{m} ,\mathfrak{M}]$ and $\vartheta \in [0,1]$, we have

$$\begin{aligned} \Psi \biggl( \frac{2a_{1}b_{1}}{a_{1}+b_{1}} \biggr)&=\Psi \biggl( \frac{1}{\frac{1}{2}(\frac{\vartheta }{a_{1}}+\frac{1-\vartheta }{b_{1}}+\frac{1-\vartheta }{a_{1}}+\frac{\vartheta }{b_{1}})} \biggr) \\ & \leq \frac{1}{2^{\varrho }} \biggl[ \Psi \biggl( \frac{1}{\frac{\vartheta }{a_{1}}+\frac{1-\vartheta }{b_{1}}} \biggr) + \Psi \biggl( \frac{1}{\frac{1-\vartheta }{a_{1}}+\frac{\vartheta }{b_{1}}} \biggr) \biggr] \\ & \leq \frac{\Psi (a_{1})+\Psi (b_{1})}{2^{\varrho }}. \end{aligned}$$

Writing $a_{1}= \frac{1}{\frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }- \frac{ 1}{a}}$ and $b_{1}= \frac{1}{\frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }- \frac{ 1}{b}}$ for $a,b \in [\mathfrak{m} ,\mathfrak{M}]$, we get

$$\begin{aligned} \Psi \biggl( \frac{1}{\frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\frac{a+b}{2ab}} \biggr)& \leq \frac{1}{2^{\varrho }} \biggl[ \Psi \biggl( \frac{1}{\frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-(\frac{\vartheta }{a}+\frac{1-\vartheta }{b}) } \biggr)+ \Psi \biggl( \frac{1}{\frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-(\frac{1-\vartheta }{a}+\frac{\vartheta }{b})} \biggr) \biggr] \\ & \leq \frac{1}{2^{\varrho }} \biggl[ \Psi \biggl( \frac{1}{\frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\frac{1}{a}} \biggr)+ \Psi \biggl( \frac{1}{\frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\frac{1}{b}} \biggr) \biggr]. \end{aligned}$$

Multiplying by $\frac{1}{\Gamma ( 1+\varrho )}$ on both sides of the above equation, then integrating w.r.t ϑ over $[0,1]$ and using fact that

$$\begin{aligned} &\frac{1}{\Gamma ( 1+\varrho )} \int _{0}^{1} \Psi \biggl( \frac{1}{\frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-(\frac{\vartheta }{a}+\frac{1-\vartheta }{b}) } \biggr) (d\vartheta )^{\varrho } \\ &\quad = \frac{1}{\Gamma ( 1+\varrho )} \int _{0}^{1} \Psi \biggl( \frac{1}{\frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-(\frac{1-\vartheta }{a}+\frac{\vartheta }{b})} \biggr) (d\vartheta )^{\varrho }, \end{aligned}$$

we infer that

$$\begin{aligned} \frac{1}{\Gamma ( 1+\varrho )} \Psi \biggl( \frac{1}{\frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\frac{a+b}{2ab}} \biggr)& \leq \frac{1}{\Gamma ( 1+\varrho )} \int _{0}^{1} \Psi \biggl( \frac{1}{\frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-(\frac{\vartheta }{a}+\frac{1-\vartheta }{b}) } \biggr) (d\vartheta )^{\varrho } \\ & \leq \frac{1}{2^{\varrho }\Gamma ( 1+\varrho )} \biggl[ \Psi \biggl( \frac{1}{\frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\frac{1}{a}} \biggr)+ \Psi \biggl( \frac{1}{\frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\frac{1}{b}} \biggr) \biggr]. \end{aligned}$$

Since $\frac{1}{a_{\imath }}$, $\frac{1}{\bar{a}} \in [\mathfrak{m} ,\mathfrak{M}]$, we can write

$$\begin{aligned} \Psi \biggl( \frac{1}{\frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\frac{1}{2} ( \frac{1}{\bar{a}}+\frac{1}{a_{\imath } } )} \biggr) & \leq \frac{ \Gamma ( 1+\varrho )}{ (\frac{1}{a_{\imath }}-\frac{1}{\bar{a}} )^{\varrho }} {}_{ \frac{1}{ \frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\frac{1}{\bar{a}} } } I^{(\varrho )}_{ \frac{1}{ \frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\frac{1}{a_{\imath } } } }\frac{ \Psi (x)}{x^{2\varrho }} \\ & \leq \frac{1}{2^{\varrho }} \biggl[ \Psi \biggl( \frac{1}{\frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\frac{1}{\bar{a}}} \biggr)+ \Psi \biggl( \frac{1}{\frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\frac{1}{a_{\imath }}} \biggr) \biggr], \end{aligned}$$

due to

$$\begin{aligned} \frac{1}{\Gamma ( 1+\varrho )} \int _{0}^{1} \Psi \biggl( \frac{1}{\frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-(\frac{\vartheta }{\bar{a}}+\frac{1-\vartheta }{a_{\imath }}) } \biggr) (d\vartheta )^{\varrho }= \frac{ 1}{ (\frac{1}{a_{\imath }}-\frac{1}{\bar{a}} )^{\varrho }} {}_{ \frac{1}{ \frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\frac{1}{\bar{a}} } } I^{(\varrho )}_{ \frac{1}{ \frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\frac{1}{a_{\imath } } } }\frac{ \Psi (x)}{x^{2\varrho }}. \end{aligned}$$

Multiplying by $\gamma _{\imath }^{\varrho }>0$ ($\imath =1 ,\ldots, s$) and summing over ı from 1 to s, we may deduce

$$\begin{aligned} \begin{aligned} &\underset{\imath =1 }{\overset{s}{ \sum }} \gamma _{\imath } ^{\varrho } \Psi \biggl( \frac{1}{\frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\frac{1}{2} ( \frac{1}{\bar{a}}+\frac{1}{a_{\imath } } )} \biggr) \\ &\quad \leq \underset{\imath =1 }{\overset{s}{\sum }} \frac{\gamma _{\imath } ^{\varrho } \Gamma ( 1+\varrho )}{ (\frac{1}{a_{\imath }}-\frac{1}{\bar{a}} )^{\varrho }} {}_{ \frac{1}{ \frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\frac{1}{\bar{a}} } } I^{(\varrho )}_{ \frac{1}{ \frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\frac{1}{a_{\imath } } } }\frac{ \Psi (x)}{x^{2\varrho }} \\ &\quad \leq \frac{1}{2^{\varrho }} \biggl[ \Psi \biggl( \frac{1}{\frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\frac{1}{\bar{a}}} \biggr)+ \underset{\imath =1 }{\overset{s}{\sum }} \gamma _{\imath } ^{ \varrho } \Psi \biggl( \frac{1}{\frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\frac{1}{a_{\imath }}} \biggr) \biggr]. \end{aligned} \end{aligned}$$

(11)

On the other hand, by (G. J. I) for $\Psi \in GHK_{\varrho }(I)$

$$\begin{aligned} \begin{aligned} \Psi \biggl( \frac{1}{ \frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\frac{1}{\bar{a}} } \biggr)&= \Psi \biggl( \frac{1}{\underset{\imath =1 }{\overset{s}{\sum }} \gamma _{\imath } (\frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\frac{1}{2} ( \frac{1}{\bar{a}}+\frac{1}{a_{\imath } } ) )} \biggr) \\ & \leq \underset{\imath =1 }{\overset{s}{\sum }} \gamma _{\imath } ^{ \varrho } \Psi \biggl( \frac{1}{\frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\frac{1}{2} ( \frac{1}{\bar{a}}+\frac{1}{a_{\imath } } )} \biggr) , \end{aligned} \end{aligned}$$

(12)

and by Lemma 3 and (G. J. M. I) for $\Psi \in GHK_{\varrho }(I)$

$$\begin{aligned} \begin{aligned} & \frac{1}{2^{\varrho }} \biggl[ \Psi \biggl( \frac{1}{\frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\frac{1}{\bar{a}}} \biggr)+\underset{\imath =1 }{\overset{s}{\sum }} \gamma _{\imath } ^{ \varrho } \Psi \biggl( \frac{1}{\frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\frac{1}{a_{\imath }}} \biggr) \biggr] \\ &\quad \leq \frac{1}{2^{\varrho }} \Bigl[ \Psi (\mathfrak{M})+\Psi ( \mathfrak{m} )- \underset{j=1}{\overset{s}{\sum }} \gamma _{j}^{ \varrho } \Psi (a_{j})+\Psi (\mathfrak{M})+\Psi (\mathfrak{m} )- \underset{\imath =1 }{\overset{s}{\sum }} \gamma _{\imath } ^{\varrho } \Psi (a_{\imath }) \Bigr] \\ &\quad = \Psi (\mathfrak{M})+\Psi (\mathfrak{m} )- \underset{\imath =1 }{\overset{s}{\sum }} \gamma _{\imath }^{\varrho }\Psi (a_{\imath }) . \end{aligned} \end{aligned}$$

(13)

Combining (11), (12), and (13), we get (10). □

Remark 5

If we take $\varrho =1$ in Theorem 8, then it gives [[33], Theorem 2.6].

Remark 6

Let all the assumptions of Theorem 8 hold, then

$$\begin{aligned} \Psi \biggl( \frac{1}{\underset{\imath =1 }{\overset{s}{\sum }} \frac{\gamma _{\imath }}{a_{\imath }}} \biggr) & \leq \underset{\imath =1 }{ \overset{s}{\sum }} \gamma _{ \imath } ^{\varrho } \Psi \biggl( \frac{2}{ \underset{\imath =1 }{\overset{s}{\sum }} \frac{\gamma _{\imath }}{a_{\imath }}+\frac{1}{a_{\imath } }} \biggr) \\ & \leq \underset{\imath =1 }{\overset{s}{\sum }} \frac{ \gamma _{\imath } ^{\varrho } \Gamma ( 1+\varrho )}{ (\underset{\imath =1 }{\overset{s}{\sum }} \frac{\gamma _{\imath }}{a_{\imath }}-\frac{1}{a_{\imath }} )^{\varrho }} {}_{ \frac{1}{\underset{\imath =1 }{\overset{s}{\sum }} \frac{\gamma _{\imath }}{a_{\imath }}} } I^{(\varrho )}_{a_{\imath } }\frac{ \Psi (x)}{x^{2\varrho }} \\ & \leq \underset{\imath =1 }{\overset{s}{\sum }} \gamma _{\imath }^{\varrho }\Psi (a_{\imath }) . \end{aligned}$$

Related results

In this section, we present the following related results for local fractional integrals.

Theorem 9

If $\mathrm{\Psi }:[c,d]\subseteq (0,\mathrm{\infty })⟶{\mathbb{R}}^{\varrho }$ such that $\Psi \in GHK_{\varrho }(I)$ and $a_{1},a_{2},\ldots,a_{s} \in [c,d]$, then

$$\begin{aligned} \begin{aligned} & \Psi \biggl(\frac{2a_{1} a_{2}}{a_{1}+a_{2}} \biggr)+\cdots+ \Psi \biggl(\frac{2a_{s-1}a_{s}}{a_{s-1}+a_{s}} \biggr)+ \Psi \biggl( \frac{2a_{s} a_{1}}{a_{s}+a_{1}} \biggr) \\ &\quad \leq \Psi (a_{1})+\Psi (a_{s})+\frac{(s-1)^{\varrho }}{s^{\varrho }} \underset{\imath =1 }{\overset{s}{\sum }} \Psi (a_{\imath })-\Psi \biggl( \frac{1}{\frac{1}{a_{1}}+\frac{1}{a_{s}}-\underset{\imath =1 }{\overset{s}{\sum }} \frac{\frac{1}{s} }{a_{\imath } }} \biggr). \end{aligned} \end{aligned}$$

(14)

Proof

From the generalized harmonic convexity of Ψ, we get

$$\begin{aligned} & \Psi \biggl(\frac{2a_{1} a_{2}}{a_{1}+a_{2}} \biggr)+\cdots+ \Psi \biggl( \frac{2a_{s-1}a_{s}}{a_{s-1}+a_{s}} \biggr)+ \Psi \biggl( \frac{2a_{s} a_{1}}{a_{s}+a_{1}} \biggr) \\ &\quad \leq \frac{\Psi (a_{1})+\Psi (a_{2})}{2^{\varrho }}+\cdots+ \frac{\Psi (a_{s-1})+\Psi (a_{s})}{2^{\varrho }}+ \frac{\Psi (a_{s})+\Psi (a_{1})}{2^{\varrho }} \\ &\quad = \Psi (a_{1})+\cdots+\Psi (a_{s}) \\ &\quad =\underset{\imath =1 }{\overset{s}{\sum }} \Psi (a_{\imath }). \end{aligned}$$

(15)

It is obvious that

$$\begin{aligned} \underset{\imath =1 }{\overset{s}{\sum }} \Psi (a_{\imath })={}& \frac{(s-1)^{\varrho }}{s^{\varrho }} \underset{\imath =1 }{\overset{s}{\sum }} \Psi (a_{\imath })+ \frac{1}{s^{\varrho }}\underset{\imath =1 }{ \overset{s}{\sum }} \Psi (a_{ \imath }) \\ ={}&\Psi (a_{1})+\Psi (a_{s})+\frac{(s-1)^{\varrho }}{s^{\varrho }} \underset{ \imath =1 }{\overset{s}{\sum }} \Psi (a_{\imath })- \biggl[ \Psi (a_{1})+\Psi (a_{s}) \\ &{}- \underset{\imath =1 }{\overset{s}{ \sum }} \biggl(\frac{1}{s} \biggr)^{\varrho } \Psi (a_{\imath }) \biggr] \\ \leq{}& \Psi (a_{1})+\Psi (a_{s})+\frac{(s-1)^{\varrho }}{s^{\varrho }} \underset{\imath =1 }{\overset{s}{\sum }} \Psi (a_{\imath })- \Psi \biggl( \frac{1}{\frac{1}{a_{1}}+\frac{1}{a_{s}}-\underset{\imath =1 }{\overset{s}{\sum }} \frac{\frac{1}{s} }{a_{\imath } }} \biggr). \end{aligned}$$

(16)

Combining (15) and (16), we get (14). □

Remark 7

If we take $\varrho =1$ in Theorem 9, then it reduces to Theorem 3.3 (see [16]).

Theorem 10

If $\mathrm{\Psi }:[c,d]\subseteq (0,\mathrm{\infty })⟶{\mathbb{R}}^{\varrho }$ such that $\Psi \in GHK_{\varrho }(I)$ and $a_{1},a_{2},\ldots,a_{s} \in [c,d]$, then

$$\begin{aligned} \underset{\imath =1 }{\overset{s}{\sum }} \Psi (b_{\imath }) \leq \Psi (a_{1})+\Psi (a_{s})+ \frac{(s-1)^{\varrho }}{s^{\varrho }} \underset{\imath =1 }{\overset{s}{\sum }} \Psi (a_{\imath })- \Psi \biggl( \frac{1}{\frac{1}{a_{1}}+\frac{1}{a_{s}}-\underset{\imath =1 }{\overset{s}{\sum }} \frac{\frac{1}{s} }{a_{\imath } }} \biggr), \end{aligned}$$

(17)

where $b_{\imath}= \frac{1}{\frac{s-1}{s}\frac{1}{\varrho }+\frac{1}{s}\frac{1}{a_{\imath }}}$ and $\varrho = \frac{1}{\frac{1}{s}\underset{\imath =1 }{\overset{s}{\sum }}\frac{1}{a_{\imath }}}$.

Proof

Using (G. J. I) for $\Psi \in GHK_{\varrho }(I)$, we have

$$\begin{aligned} \underset{\imath =1 }{\overset{s}{\sum }} \Psi (b_{\imath })&=\Psi (b_{1})+\cdots+ \Psi (b_{n}) \\ & =\Psi \biggl( \frac{1}{\frac{s-1}{s}\frac{1}{\varrho }+\frac{1}{s}\frac{1}{a_{1}}} \biggr)+\cdots+\Psi \biggl( \frac{1}{\frac{s-1}{s}\frac{1}{\varrho }+\frac{1}{s}\frac{1}{a_{s}}} \biggr) \\ & \leq \biggl[ \biggl(\frac{1}{s} \biggr)^{\varrho } \Psi (\varrho )+ \biggl( \frac{s-1}{s} \biggr)^{\varrho } \Psi (a_{1}) \biggr]+ \cdots+ \biggl[ \biggl(\frac{1}{s} \biggr)^{\varrho } \Psi (\varrho )+ \biggl( \frac{s-1}{s} \biggr)^{\varrho } \Psi (a_{s}) \biggr] \\ & =\Psi (\varrho )+ \biggl( \frac{s-1}{s} \biggr)^{\varrho } \underset{ \imath =1 }{\overset{s}{\sum }} \Psi (a_{\imath }) \\ &= \Psi \biggl( \frac{1}{\frac{1}{s}\underset{\imath =1 }{\overset{s}{\sum }}\frac{1}{a_{\imath }}} \biggr)+ \biggl( \frac{s-1}{s} \biggr)^{\varrho } \underset{\imath =1 }{\overset{s}{\sum }} \Psi (a_{\imath }) \\ & \leq \biggl(\frac{1}{s} \biggr)^{\varrho } \underset{\imath =1 }{ \overset{s}{\sum }} \Psi (a_{\imath })+ \biggl( \frac{s-1}{s} \biggr)^{\varrho } \underset{\imath =1 }{\overset{s}{\sum }} \Psi (a_{\imath }). \end{aligned}$$

(18)

Combining (16) and (18), we get (17). □

Remark 8

If we take $\varrho =1$ in Theorem 10, then it reduces to Theorem 3.4 (see [16]).

Theorem 11

Let $I=[\mathfrak{m} ,\mathfrak{M}] \subseteq (0, \infty )$ be an interval. If $\Psi \in GHK_{\varrho }(I)$ on the interval I with $\mathfrak{m} <\mathfrak{M}$ and for all $\zeta _{1}, \zeta _{2} \in [\mathfrak{m} ,\mathfrak{M}]$. If $\Psi (x)\in I^{(\varrho )}_{x}[\mathfrak{m} ,\mathfrak{M}]$, then

$$\begin{aligned} \Psi \biggl( \frac{1}{\frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\frac{\zeta _{1}+\zeta _{2}}{2\zeta _{1}\zeta _{2}}} \biggr)& \leq \Psi ( \mathfrak{M})+\Psi (\mathfrak{m} )- \frac{\zeta _{1}^{\varrho }\zeta _{2}^{\varrho }}{(\zeta _{2}-\zeta _{1})^{\varrho }} \Gamma ( 1+\varrho ) {}_{ \zeta _{1}} I^{(\varrho )}_{ \zeta _{2}}\frac{ \Psi (x)}{x^{2\varrho }} \\ & \leq \Psi (\mathfrak{M})+\Psi (\mathfrak{m} )-\Psi \biggl( \frac{2\zeta _{1}\zeta _{2}}{\zeta _{1}+\zeta _{2}} \biggr). \end{aligned}$$

(19)

Proof

Since $\Psi \in GHK_{\varrho }(I)$ on the interval $I=[\mathfrak{m} ,\mathfrak{M}]$, setting $\vartheta =\frac{1}{2}$ in inequality (2), we have

$$ \Psi \biggl( \frac{1}{\frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\frac{\bar{\zeta _{1}}+\bar{\zeta _{2}}}{2\bar{\zeta _{1}}\bar{\zeta _{2}}}} \biggr) \leq \Psi (\mathfrak{M})+\Psi ( \mathfrak{m} )- \frac{\Psi (\bar{\zeta _{1}})+\Psi (\bar{\zeta _{2}})}{2^{ \varrho }} $$

for all $\bar{\zeta _{1}}, \bar{\zeta _{2}} \in [\mathfrak{m} ,\mathfrak{M}]$. Choosing $\bar{\zeta _{1}}= \frac{\zeta _{1}\zeta _{2}}{\vartheta \zeta _{2}+(1-\vartheta )\zeta _{1}}$, $\bar{\zeta _{2}}= \frac{\zeta _{1}\zeta _{2}}{\vartheta \zeta _{1}+(1-\vartheta )\zeta _{2}}$ for all $\zeta _{1}, \zeta _{2} \in [\mathfrak{m} ,\mathfrak{M}]$ and $\vartheta \in [0,1]$, we obtain

$$ \Psi \biggl( \frac{1}{\frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\frac{\zeta _{1}+\zeta _{2}}{2\zeta _{1}\zeta _{2}}} \biggr) \leq \Psi (\mathfrak{M})+\Psi ( \mathfrak{m} )- \frac{\Psi (\frac{\zeta _{1}\zeta _{2}}{\vartheta \zeta _{2}+(1-\vartheta )\zeta _{1}})+\Psi (\frac{\zeta _{1}\zeta _{2}}{\vartheta \zeta _{1}+(1-\vartheta )\zeta _{2}})}{2^{ \varrho }}. $$

Multiplying by $\frac{1}{\Gamma ( 1+\varrho )}$ on both sides of the above equation and then integrating w.r.t ϑ over $[0,1]$, we have

$$\begin{aligned} & \frac{1}{\Gamma ( 1+\varrho )} \Psi \biggl( \frac{1}{\frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\frac{\zeta _{1}+\zeta _{2}}{2\zeta _{1}\zeta _{2}}} \biggr) \\ &\quad \leq \frac{1}{\Gamma ( 1+\varrho )}\bigl[\Psi (\mathfrak{M})+ \Psi (\mathfrak{m} )\bigr] - \frac{1}{2^{\varrho }} \biggl[ \frac{1}{\Gamma ( 1+\varrho )} \int _{0}^{1} \Psi \biggl( \frac{\zeta _{1}\zeta _{2}}{\vartheta \zeta _{2}+(1-\vartheta )\zeta _{1}} \biggr) (d\vartheta )^{\varrho } \\ &\qquad {} +\frac{1}{\Gamma ( 1+\varrho )} \int _{0}^{1} \Psi \biggl( \frac{\zeta _{1}\zeta _{2}}{\vartheta \zeta _{1}+(1-\vartheta )\zeta _{2}} \biggr) (d\vartheta )^{\varrho } \biggr] \\ &\quad = \frac{1}{\Gamma ( 1+\varrho )}\bigl[\Psi (\mathfrak{M})+ \Psi (\mathfrak{m} )\bigr]- \frac{1}{2^{\varrho }} \biggl( \frac{\zeta _{1}\zeta _{2}}{\zeta _{2}-\zeta _{1}} \biggr)^{\varrho } \biggl[ \frac{1}{\Gamma ( 1+\varrho )} \int _{\zeta _{1}}^{ \zeta _{2}}\frac{ \Psi (x)}{x^{2\varrho }} (dx)^{\varrho } \\ &\qquad {} +\frac{1}{\Gamma ( 1+\varrho )} \int _{ \zeta _{1}}^{\zeta _{2}}\frac{ \Psi (y)}{y^{2\varrho }} (dy)^{\varrho } \biggr] \\ & \quad = \frac{1}{\Gamma ( 1+\varrho )}\bigl[\Psi (\mathfrak{M})+ \Psi (\mathfrak{m} )\bigr]- \frac{\zeta _{1}^{\varrho }\zeta _{2}^{\varrho }}{(\zeta _{2}-\zeta _{1})^{\varrho }}{}_{ \zeta _{1}} I^{(\varrho )}_{\zeta _{2}} \frac{ \Psi (x)}{x^{2\varrho }}, \end{aligned}$$

that is,

$$\begin{aligned} \Psi \biggl( \frac{1}{\frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\frac{\zeta _{1}+\zeta _{2}}{2\zeta _{1}\zeta _{2}}} \biggr)& \leq \Psi ( \mathfrak{M})+\Psi (\mathfrak{m} )- \frac{\zeta _{1}^{\varrho }\zeta _{2}^{\varrho }}{(\zeta _{2}-\zeta _{1})^{\varrho }} \Gamma ( 1+\varrho ) {}_{ \zeta _{1}} I^{(\varrho )}_{ \zeta _{2}}\frac{ \Psi (x)}{x^{2\varrho }}, \end{aligned}$$

(20)

and so the first inequality of (19) is proved. If $\Psi \in GHK_{\varrho }(I)$, then for $\vartheta \in [0,1]$ we have

$$\begin{aligned} \Psi \biggl( \frac{2\zeta _{1}\zeta _{2}}{\zeta _{1}+\zeta _{2}} \biggr)&=\Psi \biggl( \frac{1}{\frac{1}{2}(\frac{\vartheta }{\zeta _{1}}+\frac{(1-\vartheta )}{\zeta _{2}}+\frac{(1-\vartheta )}{\zeta _{1}}+\frac{\vartheta }{\zeta _{2}})} \biggr) \\ & \leq \frac{1}{2^{\varrho }} \biggl[ \Psi \biggl( \frac{\zeta _{1}\zeta _{2}}{\vartheta \zeta _{2}+(1-\vartheta )\zeta _{1}} \biggr) +\Psi \biggl( \frac{\zeta _{1}\zeta _{2}}{\vartheta \zeta _{1}+(1-\vartheta )\zeta _{2}} \biggr) \biggr]. \end{aligned}$$

Multiplying by $\frac{1}{\Gamma ( 1+\varrho )}$ on both sides of the above equation and then integrating w.r.t ϑ over $[0,1]$, we get

$$\begin{aligned} \Psi \biggl( \frac{2\zeta _{1}\zeta _{2}}{\zeta _{1}+\zeta _{2}} \biggr) & \leq \frac{\zeta _{1}^{\varrho }\zeta _{2}^{\varrho }}{(\zeta _{2}-\zeta _{1})^{\varrho }} \Gamma ( 1+ \varrho ) {}_{ \zeta _{1}} I^{(\varrho )}_{ \zeta _{2}}\frac{ \Psi (x)}{x^{2\varrho }}, \end{aligned}$$

and then

$$\begin{aligned} - \Psi \biggl( \frac{2\zeta _{1}\zeta _{2}}{\zeta _{1}+\zeta _{2}} \biggr) & \geq - \frac{\zeta _{1}^{\varrho }\zeta _{2}^{\varrho }}{(\zeta _{2}-\zeta _{1})^{\varrho }} \Gamma ( 1+\varrho ) {}_{ \zeta _{1}} I^{(\varrho )}_{ \zeta _{2}}\frac{ \Psi (x)}{x^{2\varrho }} . \end{aligned}$$

Adding $\Psi (\mathfrak{M})+\Psi (\mathfrak{m} )$ to both sides of the above equation, we have

$$\begin{aligned} \Psi (\mathfrak{M})+\Psi (\mathfrak{m} )- \Psi \biggl( \frac{2\zeta _{1}\zeta _{2}}{\zeta _{1}+\zeta _{2}} \biggr) & \geq \Psi (\mathfrak{M})+\Psi (\mathfrak{m} ) - \frac{\zeta _{1}^{\varrho }\zeta _{2}^{\varrho }}{(\zeta _{2}-\zeta _{1})^{\varrho }} \Gamma ( 1+\varrho ) {}_{ \zeta _{1}} I^{(\varrho )}_{ \zeta _{2}} \frac{ \Psi (x)}{x^{2\varrho }}. \end{aligned}$$

(21)

Combining (20) and (21), we get the second inequality of (19). □

Remark 9

If we take $\varrho =1$ in Theorem 11, then it gives [[16], Theorem 3.5].

Application to special means

Let $\zeta _{1} < \zeta _{2}$ and ${\zeta }_1,{\zeta }_2\in {\mathbb{R}}^{\varrho }$ considering the following ϱ-type special means.

(1) The generalized arithmetic mean:

$$\begin{aligned} A_{\varrho }(\zeta _{1},\zeta _{2})= \frac{\zeta _{1}^{\varrho }+\zeta _{2}^{\varrho }}{2^{\varrho }}. \end{aligned}$$

(2) The generalized ξ-logarithmic mean:

$$\begin{aligned} L_{\xi \varrho } (\zeta _{1},\zeta _{2})= \biggl[ \frac{ \Gamma ( 1+\xi \varrho )}{\Gamma ( 1+(\xi +1)\varrho )} \frac{ \zeta _{2}^{(\xi +1)\varrho }-\zeta _{1}^{(\xi +1)\varrho }}{(\zeta _{2} -\zeta _{1})^{\varrho }} \biggr]^{1/\xi }, \end{aligned}$$

where $\xi \in \mathbb{Z}\setminus \{-1,0\}$, ${\zeta }_1,{\zeta }_2\in \mathbb{R}$, $\zeta _{1}\neq \zeta _{2}$.

(3) The generalized geometric mean:

$$\begin{aligned} G_{\varrho }(\zeta _{1},\zeta _{2})=\bigl(\zeta _{1}^{\varrho }\zeta _{2}^{\varrho } \bigr)^{\frac{1}{2}}. \end{aligned}$$

(4) The generalized harmonic mean:

$$\begin{aligned} H_{\varrho }(\zeta _{1},\zeta _{2})= \frac{(2\zeta _{1}\zeta _{2})^{\varrho }}{\zeta _{1}^{\varrho }+\zeta _{2}^{\varrho }}. \end{aligned}$$

Consider the mapping $\mathrm{\Psi }:(0,\mathrm{\infty })\to {\mathbb{R}}^{\varrho }$, $\Psi (x)=\frac{\Gamma (1+k\varrho )}{\Gamma (1+(k+1)\varrho }x^{(k+1) \varrho }$, $x>0$, $k\geq 1$. Then $| \Psi ^{\varrho }(x)| ^{q}=x^{kq\varrho }$, where $q\geq 1$ is a generalized harmonic convex function on $(0,\infty )$.

Proposition 1

For $\mathfrak{m},\mathfrak{M},{\zeta }_1,{\zeta }_2\in \mathbb{R}$, $\zeta _{1},\zeta _{2} \in [\mathfrak{m}, \mathfrak{M}]$, $0<\mathfrak{m}<\mathfrak{M}$, and $k >1$, we have

$$\begin{aligned} \biggl[ \frac{1}{2^{\varrho }A_{\varrho }(\mathfrak{m}^{-1}, \mathfrak{M}^{-1})-H^{-1}_{\varrho }(\zeta _{1}, \zeta _{2})} \biggr]^{k+1} \leq 2^{\varrho }A_{\varrho }\bigl(\mathfrak{m}^{k+1}, \mathfrak{M}^{k+1}\bigr)-A_{\varrho }\bigl(\zeta _{1}^{k+1}, \zeta _{2}^{k+1}\bigr); \end{aligned}$$

(22)

and

$$\begin{aligned} \begin{aligned} & \biggl( \frac{1}{2^{\varrho }A_{\varrho }(\mathfrak{m}^{-1}, \mathfrak{M}^{-1})-H^{-1}_{\varrho }(\zeta _{1}, \zeta _{2})} \biggr)^{k+1} \\ &\quad \leq \Gamma (1+\varrho ) L_{-(k+1)\varrho }^{-(k+1)} \bigl(2A\bigl( \mathfrak{m}^{-1}, \mathfrak{M}^{-1}\bigr)-\zeta _{1}^{-1},2A\bigl(\mathfrak{m}^{-1}, \mathfrak{M}^{-1}\bigr)-\zeta _{2}^{-1} \bigr) \\ & \quad \leq 2^{\varrho }A_{\varrho }\bigl(\mathfrak{m}^{k+1}, \mathfrak{M}^{k+1}\bigr)-A_{ \varrho }\bigl(\zeta _{1}^{k+1}, \zeta _{2}^{k+1}\bigr). \end{aligned} \end{aligned}$$

(23)

Proof

Let $s=2$, $\gamma _{1}=\gamma _{2}=\frac{1}{2}$, $a_{1}=\zeta _{1}$, $a_{2}=\zeta _{2}$, and $\Psi (x)=\frac{\Gamma (1+k\varrho )}{\Gamma (1+(k+1)\varrho }x^{(k+1) \varrho }$, where $x>0$, $k >1$ in Theorem 6 and Corollary 1 lead to the desired inequality (22) and (23) immediately respectively. □

Applications to probability density functions (P.D.F)

Consider a random variable χ with generalized P.D.F $\tau :[ \mathfrak{m}, \mathfrak{M}] \longrightarrow [0^{\varrho }, 1^{\varrho }]$ i.e. $\tau \in GHK_{\varrho }([ \mathfrak{m}, \mathfrak{M}])$ possessing the cumulative distribution function

$$\begin{aligned} P_{\varrho }(\chi \leq z)=F_{\varrho }(z)= \frac{1}{\Gamma ( 1+\varrho )} \int _{ \mathfrak{m}}^{z} \tau (\varsigma ) (d\varsigma )^{\varrho }. \end{aligned}$$

The generalized expectation

$$\begin{aligned} E_{\varrho }=\frac{1}{\Gamma ( 1+\varrho )} \int _{ \mathfrak{m}}^{ \mathfrak{M}}\varsigma ^{\varrho } \tau ( \varsigma ) (d\varsigma )^{\varrho }. \end{aligned}$$

It is easy to see that

$$\begin{aligned} E_{\varrho }(\chi )= \mathfrak{M}^{\varrho }- \frac{1}{\Gamma ( 1+\varrho )} \int _{ \mathfrak{m}}^{ \mathfrak{M}}F_{\varrho }(\varsigma ) (d\varsigma )^{\varrho }. \end{aligned}$$

The generalized expectation $E_{p\varrho }$ is a p-moment, $p\in \mathbb{R}\setminus \{-1,0\}$ is

$$\begin{aligned} E_{p\varrho }=\frac{1}{\Gamma ( 1+\varrho )} \int _{ \mathfrak{m}}^{ \mathfrak{M}}\varsigma ^{p\varrho } \tau ( \varsigma ) (d\varsigma )^{\varrho }. \end{aligned}$$

Define the generalized $(-\varrho )$-moment by

$$\begin{aligned} E_{-\varrho }=\frac{1}{\Gamma ( 1+\varrho )} \int _{ \mathfrak{m}}^{ \mathfrak{M}}\frac{1}{\varsigma ^{\varrho }} \tau ( \varsigma ) (d\varsigma )^{\varrho }. \end{aligned}$$

For more details, see [34, 35].

The following two propositions can be obtained by using the cumulative distribution function and generalized $(-\varrho )$-moment of the random variable χ from our results associated with Sects. 3 and 4.

Proposition 2

Let $s=2$, $\gamma _{1}=\gamma _{2}=\frac{1}{2}$, $a_{1}=\zeta _{1}$, and $a_{2}=\zeta _{2}$ in Theorem 6, we have

$$\begin{aligned} P_{\varrho } \biggl(\chi \leq \frac{1}{\frac{1}{\mathfrak{M}}+\frac{1}{\mathfrak{m} }-\frac{\zeta _{1}+\zeta _{2}}{2\zeta _{1}\zeta _{2}}} \biggr)\leq P_{\varrho }( \chi \leq \mathfrak{M})+P_{\varrho }(\chi \leq \mathfrak{m})- \frac{P_{\varrho }(\chi \leq \zeta _{1})+P_{\varrho }(\chi \leq \zeta _{2})}{2^{\varrho }}. \end{aligned}$$

Proposition 3

Let $s=2$, $\gamma _{1}=\gamma _{2}=\frac{1}{2}$, $a_{1}=\mathfrak{m}$, and $a_{2}=\mathfrak{M}$ in Corollary 1, we have

$$\begin{aligned} P_{\varrho } \biggl(\chi \leq \frac{2\mathfrak{m} \mathfrak{M}}{\mathfrak{m}+\mathfrak{M}} \biggr) & \leq \frac{\mathfrak{m}^{\varrho }\mathfrak{M}^{\varrho }}{(\mathfrak{M}-\mathfrak{m})^{\varrho }} \frac{\Gamma ( 1+\varrho )\Gamma ( 1-2\varrho )}{\Gamma ( 1-\varrho )} \biggl[ \biggl(\frac{1}{\mathfrak{M}} \biggr)^{\varrho }- E_{-\varrho } ( \chi ) \biggr] \\ & \leq \frac{P_{\varrho }(\chi \leq \mathfrak{M})+P_{\varrho }(\chi \leq \mathfrak{m})}{2^{\varrho }}. \end{aligned}$$

Conclusion

In this paper, for the first time, we introduce Jensen’s inequality for harmonic convex functions by using local fractional calculus. As a result we also introduce a variant of generalized Jensen–Mercer inequality in the fractal sense. Then we present the main lemma involving local fractional integrals. By using this main lemma, we establish generalized Jensen–Mercer-type inequalities on fractal sets ${\mathbb{R}}^{\varrho }$ ($0< \varrho \leq 1$). Moreover, an improvement and generalization of some results related to the class of generalized harmonically convex function via local fractional integrals are established. Using these inequalities, we obtain some generalized related results on the fractal space. Lastly, some applications to some special means of real numbers and probability density function are established. It is quite open to investigate Jensen and Jensen-type inequalities for other classes of generalized convex functions in the fractal sense. Since there is a massive body of literature about refinements, converses, and reverses of such Jensen and Jensen-type inequalities, so their generalized variants using local fractional calculus can be revealed also. One of the important directions is to give fractal Jensen–Mercer–Ostrowski type inequalities and give applications to continuous random variables and improve quadrature rules. Since local fractional calculus is quite effective from an application point of view, a bridge between inequality theory and their applications can be established, which may eventually generate optimal solutions.