Abstract

Translate

The aim of this research article is to use the extended fractional operators involving the multivariate Mittag–Leffler (M-M-L) function, we provide the generalization of the Hermite–Hadamard–Fejer (H-H-F) inequalities. We relate these inequalities to previously published disparities in the literature by making appropriate substitutions. In the last section, we analyze several inequalities related to the H-H-F inequalities, focusing on generalized h-convexity associated with extended fractional operators involving the M-M-L function. To achieve this, we derive two identities for locally differentiable functions, which allows us to provide specific estimates for the differences between the left, middle, and right terms in the H-H-F inequalities. Also, we have constructed specific inequalities and visualized them through graphical representations to facilitate their applications in analysis. The research bridges theoretical advancements with practical applications, providing high-accuracy bounds for complex systems involving fractional calculus.

Full text

Turn on search term navigation

Translate

1. Introduction

The study of fractional calculus and its diverse applications has received more attention in recent times. Chronologically ordering the development of this theory, we find that fractional calculus was first applied when Abel solved the Tautocrone problem [1]. Scholars have written their own books [2,3] to advance the field of fractional calculus, these books are essential to the advancement of applications of fractional calculus in mathematical modeling and applied analysis. The well-known caputo sense derivative without non-singular kernel was developed by Caputo et al. in [4], although there are still many gaps in the theory that the researchers have discovered. In order to overcome these gaps, several researchers have developed their own fractional operators with non-singular kernels [5,6,7,8]. Furthermore, the symmetric properties as well as the non-linear and non-singular extensions of fractional operators were illustrated by Wu et al. in [9]. In [10], Samraiz et al. developed the fractional derivative with non-linear and non-singular kernel, also discussed its applications in applied analysis. Consequently, fractional operators were developed in [11,12] using different kinds of Mittag–Leffle (M-L) functions as a kernel. We direct readers to explore [13,14,15,16,17,18] for additional developments and applications on fractional calculus. Roman et al. described the fractional derivatives and their applications in time series with long-time memory and random walks in [19]. In [20], Moreles at al. introduced modeling for the mathematical study of circuit components with fractional orders, they also discussed applications of bioimpedance. In [21] the authors explore the integration of harmonic univalent functions with the generalized $(p, q)$ -Poisson distribution, presenting a novel theoretical contribution to complex analysis and fractional calculus. It extends the classical understanding of harmonic functions by incorporating this distribution, offering new results on their univalence and injectivity properties. The study uses standard mathematical analysis techniques, providing explicit examples and graphical representations to support the theoretical claims. While the theoretical framework is solid, the article could benefit from a clearer explanation of the practical applications and real-world implications of these results. Although it makes a significant contribution to the field, a more detailed discussion on how these findings could be applied to practical problems in mathematics, physics, and engineering would strengthen the work. Using fractional calculus to simulate dielectric relaxation events in polymeric materials was demonstrated by Melo et al. in [22]. You can find a presentation of fractional integral in conjunction with wave theory in [23]. The theory of inequalities in [24,25] is closely related to convex functions (Cf) and their expansions $s -$ Cf.

Definition 1.

The function $f : [α, β] \mapsto ℜ$ (Set of real numbers) is said to be Cf, if

$\begin{matrix} f (ℓ_{1} x_{1} + (1 - ℓ_{1}) x_{2}) \leq ℓ_{1} f (x_{1}) + (1 - ℓ_{1}) f (x_{2}), \end{matrix}$

$\forall x_{1}, x_{2} \in [α, β]$ and $ℓ_{1} \in (0, 1]$ .

In [25], Brechner gave the definition of s-Cf, stated by the following definition.

Definition 2.

A function $f : (0, \infty) \mapsto ℜ$ is called second sense $s -$ Cf for some fixed $k ϵ (0, 1)$ , is given by

$\begin{matrix} f (ℓ_{1} x_{1} + ℓ_{2} x_{2}) \leq ℓ_{1}^{s} f (x_{1}) + ℓ_{2}^{s} f (x_{2}), \end{matrix}$

$\forall x_{1}, x_{2} \in (0, \infty), 0 \leq ℓ_{1}, ℓ_{2} \leq 1,$ where $ℓ_{1} + ℓ_{2} = 1$ . This class of function is denoted as $K_{s}^{2}$ .

In [26,27], authors discussed novel fractional operators and class of inequalities involving novel fractional operators. Hakiki et al. described H-H-F inequalities involving second kind of $s -$ Cf via Riemann–Liouville (RL) FI and novel inequalities of H-H-F kind inequalities for Cf via FI in [28,29].

Furthermore, matching nonsingular kernels and new fractional operators, like the M-L function, have also been introduced [30,31]. Diverse historical applications of fractional operators were illustrated by the researchers. The scientists have currently designed a large number of physical models [32,33]. Several of these models solve particular differential equations of fractional order using the M-L non-singular kernel [34,35]. The $(k, s)$ -fractional calculus of the generalized M-L function was discussed by Nisar et al. [36]. For more details and applications of fractional operators, we suggest readers to [37,38]. Readers are referred to [35,39,40,41] for additional information and applications on fractional operators. In 1903, Gosta [42] proposed the classical M-L function. Several approaches have been taken to generalize it, such as adding two or three parameters [43].

Definition 3

([11]). The generalized multivariate Mittag–Leffler (M-M-L) function is defined by

$\begin{matrix} ξ_{k, μ, (β_{i})}^{(δ_{i})} (τ_{1}, τ_{2}, \dots, τ_{n}) = Σ_{κ_{1}, \dots, κ_{n} = 0}^{\infty} \frac{Π_{i = 1}^{n} {(δ_{i})}_{κ_{i}, k}}{Γ_{k} (μ + Σ_{i = 1}^{n} (β_{i} κ_{i})) (κ_{1})! \dots (κ_{n})!} {(τ_{1})}^{κ_{1}} {(τ_{2})}^{κ_{2}} \dots {(τ_{n})}^{κ_{n}}, \end{matrix}$

where $k > 0$ , $β_{i}, δ_{i} \in C$ with $R e (β_{i}) > 0$ for all $i = 1, 2, 3, \dots, n .$ Furthermore, If we substitute $k = 1$ then we obtain M-M-L function defined by Sexana et al. in [44].

Let $f : ℜ \to ℜ$ be Cf, $ℓ_{1}, ℓ_{2} \in I \subseteq ℜ$ such that $ℓ_{1} < ℓ_{2}$ , and $w : [ℓ_{1}, ℓ_{2}] \to ℜ$ be a non-negative integrable and symmetric with respect to $\frac{ℓ_{1} + ℓ_{2}}{2}$ , then the H-H-F inequality can be found in [45] by

$\begin{matrix} f (\frac{ℓ_{1} + ℓ_{2}}{2}) \int_{ℓ_{1}}^{ℓ_{2}} w (x) d x \leq \frac{1}{ℓ_{2} - ℓ_{1}} \int_{ℓ_{1}}^{ℓ_{2}} f (x) w (x) d x \leq \frac{f (ℓ_{1}) + f (ℓ_{2})}{2} \int_{ℓ_{1}}^{ℓ_{2}} w (x) d x . \end{matrix}$

The classical H-H inequality (see also [46]) is given by the following:

$\begin{matrix} f (\frac{ℓ_{1} + ℓ_{2}}{2}) \leq \frac{1}{ℓ_{2} - ℓ_{1}} \int_{ℓ_{1}}^{ℓ_{2}} f (x) d x \leq \frac{f (ℓ_{1}) + f (ℓ_{2})}{2} . \end{matrix}$

Because of the lot of applications of said inequalities, some researchers prolonged their research via functions of several classes, as an illustration [47] for Cf and [48,49] for h-Cf. In 2007, Varošanec [50] presented the concept of h-Cf, in the second sense which was a generalization of s-convexity, non-negative convexity, P-convexity and Godunova–Levin mappings. Chen et al. [51] presented H-H and H-H-F inequalities for generalized FI. In [52], Khan et al. generalized the conformable fractional operators and a new class of fractional operators. For details applications of fractional operators we refer readers [53,54]. Here, we have some more fundamental definitions which are indispensable for explaining the key findings in the coming results.

Definition 4

([51]). The incomplete beta function $B_{b} (ℓ_{1}, ℓ_{2})$ is defined by

$\begin{matrix} B_{b} (ℓ_{1}, ℓ_{2}) = \int_{0}^{b} z^{ℓ_{1} - 1} {(1 - z)}^{ℓ_{2} - 1} d z, \end{matrix}$

where, $0 < b < 1, ℓ_{1}, ℓ_{2} > 0$ .

Definition 5

([55]). Let $p, q \in ℜ$ with $p, q > 1$ and $\frac{1}{p} + \frac{1}{q} = 1$ , then the integral form of Hölder inequality is presented as

$\begin{matrix} \int_{e_{1}}^{e_{2}} | H (ı) I (ı) | d ı \leq {(\int_{e_{1}}^{e_{2}} {| H (ı) |}^{p} d ı)}^{\frac{1}{p}} {(\int_{e_{1}}^{e_{2}} {| I (ı) |}^{q} d ı)}^{\frac{1}{q}}, \end{matrix}$

with $H, I \in C^{1} [e_{1}, e_{2}]$ .

Definition 6.

The left and right-sided RLFI $I_{ℓ_{1}^{+}}^{ϱ} (f)$ and $I_{ℓ_{2}^{-}}^{ϱ} (f)$ , of order $ϱ > 0$ on $[ℓ_{1}, ℓ_{2}]$ are defined as

$\begin{matrix} I_{ℓ_{1}^{+}}^{ϱ} f (p_{1}) = \frac{1}{Γ (ϱ)} \int_{ℓ_{1}}^{p_{1}} {(p_{1} - ν)}^{ϱ - 1} f (ν) d ν, p_{1} > ℓ_{1}, \end{matrix}$

and

$\begin{matrix} I_{ℓ_{2}^{-}}^{ϱ} f (p_{1}) = \frac{1}{Γ (ϱ)} \int_{p_{1}}^{ℓ_{2}} {(ν - p_{1})}^{ϱ - 1} f (ν) d ν, p_{1} < ℓ_{2}, \end{matrix}$

respectively. Here Γ represents the Gamma function and its integral representation is given below.

$\begin{matrix} Γ (p_{1}) = \int_{0}^{\infty} ν^{p_{1} - 1} e^{- ν} d ν, R e (p_{1}) > 0 . \end{matrix}$

Now, we present the definition of the $(k, s)$ -RLFI, which is defined in [56].

Definition 7.

If a function f is continuous on $[a, b]$ , then the $(k, s)$ -RLFI for order $δ > 0$ can be defined as

(1) $\begin{matrix} {}_{k}^{s}J_{a^{+}}^{δ} f (t_{1}) = \frac{{(s + 1)}^{1 - \frac{δ}{k}}}{k Γ_{k} (δ)} \int_{a^{+}}^{t_{1}} {(t_{1}^{s + 1} - ν^{s + 1})}^{\frac{δ}{k} - 1} ν^{s} f (ν) d ν . \end{matrix}$

The following is the definition of the fractional integral operator in its generalized form with M-M-L function as part of its kernel is defined in [11].

Definition 8.

If a function f is continuous on $[a, b]$ , for $k >$ 0, $m \in ℜ / {- 1}$ , let the parameters $R e (μ) > 0$ , $τ_{i}$ , $β_{i}$ be complex numbers with $R e (β_{i}) > 0, \forall i = 1, 2, \dots, n;$ and Θ be the strictly increasing function and differentiable then the generalized fractional integral operators for $δ_{i} > 0, \forall i = 1, 2, \dots, n;$ can be defined as

$\begin{matrix} (_{Θ}^{k, m} J_{a; μ, β_{i}}^{δ_{i}, τ_{i}} f) (t_{1}) = \frac{{(m + 1)}^{1 - \frac{μ}{k}}}{k} \int_{a}^{t_{1}} {(Θ^{m + 1} (t_{1}) - Θ^{m + 1} (ν))}^{\frac{μ}{k} - 1} \\ \times ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} {(Θ^{m + 1} (t_{1}) - Θ^{m + 1} (ν))}^{\frac{β_{1}}{k}}, τ_{2} {(Θ^{m + 1} (t_{1}) - Θ^{m + 1} (ν))}^{\frac{β_{2}}{k}}, \dots, \\ τ_{n} {(Θ^{m + 1} (t_{1}) - Θ^{m + 1} (ν))}^{\frac{β_{n}}{k}}) Θ^{m} (ν) Θ^{'} (ν) f (ν) d ν \\ = \frac{{(m + 1)}^{1 - \frac{μ}{k}}}{k} Σ_{κ_{1}, \dots, κ_{n} = 0}^{\infty} \frac{Π_{i = 1}^{n} {(δ_{i})}_{κ_{i}, k} {(τ_{i})}^{κ_{i}}}{Γ_{k} (μ + Σ_{i = 1}^{n} (β_{i} κ_{i})) (κ_{1})! \dots (κ_{n})!} \\ \times \int_{a}^{t_{1}} {(Θ^{m + 1} (t_{1}) - Θ^{m + 1} (ν))}^{\frac{μ + Σ_{i = 1}^{n} β_{i} κ_{i}}{k} - 1} Θ^{m} (ν) Θ^{'} (ν) f (ν) d ν . \end{matrix}$

Definition 9.

If a function f is continuous on $[a, b]$ , for $k >$ 0, $m \in ℜ / {- 1}$ , let the parameters $R e (μ) > 0$ , $τ_{i}$ , $β_{i}$ be complex numbers with $R e (β_{i}) > 0, \forall i = 1, 2, \dots, n;$ and Θ be the strictly increasing function and differentiable then the left and right sided generalized fractional integral operators for $δ_{i} > 0, \forall i = 1, 2, \dots, n;$ can be defined as

$\begin{matrix} (_{Θ}^{k, m} J_{a^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} f) (t_{1}) = \frac{{(m + 1)}^{1 - \frac{μ}{k}}}{k} \int_{a^{+}}^{t_{1}} {(Θ^{m + 1} (t_{1}) - Θ^{m + 1} (ν))}^{\frac{μ}{k} - 1} \\ \times ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} {(Θ^{m + 1} (t_{1}) - Θ^{m + 1} (ν))}^{\frac{β_{1}}{k}}, τ_{2} {(Θ^{m + 1} (t_{1}) - Θ^{m + 1} (ν))}^{\frac{β_{2}}{k}}, \dots, \\ τ_{n} {(Θ^{m + 1} (t_{1}) - Θ^{m + 1} (ν))}^{\frac{β_{n}}{k}}) Θ^{m} (ν) Θ^{'} (ν) f (ν) d ν \\ = \frac{{(m + 1)}^{1 - \frac{μ}{k}}}{k} Σ_{κ_{1}, \dots, κ_{n} = 0}^{\infty} \frac{Π_{i = 1}^{n} {(δ_{i})}_{κ_{i}, k} {(τ_{i})}^{κ_{i}}}{Γ_{k} (μ + Σ_{i = 1}^{n} (β_{i} κ_{i})) (κ_{1})! \dots (κ_{n})!} \\ \times \int_{a^{+}}^{t_{1}} {(Θ^{m + 1} (t_{1}) - Θ^{m + 1} (ν))}^{\frac{μ + Σ_{i = 1}^{n} β_{i} κ_{i}}{k} - 1} Θ^{m} (ν) Θ^{'} (ν) f (ν) d ν, t_{1} > a^{+}, \end{matrix}$

and

$\begin{matrix} (_{Θ}^{k, m} J_{ζ^{-}; μ, β_{i}}^{δ_{i}, τ_{i}} f) (t_{1}) = \frac{{(m + 1)}^{1 - \frac{μ}{k}}}{k} \int_{ζ^{-}}^{t_{1}} {(Θ^{m + 1} (ν) - Θ^{m + 1} (t_{1}))}^{\frac{μ}{k} - 1} \\ \times ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} {(Θ^{m + 1} (ν) - Θ^{m + 1} (t_{1}))}^{\frac{β_{1}}{k}}, τ_{2} {(Θ^{m + 1} (ν) - Θ^{m + 1} (t_{1}))}^{\frac{β_{2}}{k}}, \dots, \\ τ_{n} {(Θ^{m + 1} (ν) - Θ^{m + 1} (t_{1}))}^{\frac{β_{n}}{k}}) Θ^{m} (ν) Θ^{'} (ν) f (ν) d ν \\ = \frac{{(m + 1)}^{1 - \frac{μ}{k}}}{k} Σ_{κ_{1}, \dots, κ_{n} = 0}^{\infty} \frac{Π_{i = 1}^{n} {(δ_{i})}_{κ_{i}, k} {(τ_{i})}^{κ_{i}}}{Γ_{k} (μ + Σ_{i = 1}^{n} (β_{i} κ_{i})) (κ_{1})! \dots (κ_{n})!} \\ \times \int_{ζ -}^{t_{1}} {(Θ^{m + 1} (ν) - Θ^{m + 1} (t_{1}))}^{\frac{μ + Σ_{i = 1}^{n} β_{i} κ_{i}}{k} - 1} Θ^{m} (ν) Θ^{'} (ν) f (ν) d ν, t_{1} < ζ . \end{matrix}$

2. A Class of Some Results

In this section we have developed H-H-F type inequalities for generalized extended fractional operator encompassing the M-M-L function.

Lemma 1.

For $k >$ 0, $m \in ℜ / {- 1}$ , and $R e (μ) > 0, R e (τ) > 0, R e (δ) > 0, R e (β) > 0$ are complex parameters, Θ be an increasing function and Υ be a differentiable on $(ℓ_{1}, ℓ_{2})$ with $ℓ_{1} < ℓ_{2}$ and $χ : [ℓ_{1}, ℓ_{2}] \mapsto ℜ$ be bounded. If $Υ^{'}, χ \in L [ℓ_{1}, ℓ_{2}],$ then the below expression holds.

$\begin{matrix} Υ (\frac{ℓ_{1} + ℓ_{2}}{2}) [{}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} χ (ℓ_{2}) + {}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{-}; μ, β_{i}}^{δ_{i}, τ_{i}} χ (ℓ_{1})] \\ - [{}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} χ Υ (ℓ_{2}) + {}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{-}; μ, β_{i}}^{δ_{i}, τ_{i}} χ Υ (ℓ_{1})] \\ = \frac{k}{{(m + 1)}^{1 - \frac{μ}{k}}} \int_{ℓ_{1}}^{ℓ_{2}} κ (ν) Υ^{'} (ν) d ν, \end{matrix}$

where

$κ (t_{1}) = \{\begin{matrix} \int_{ℓ_{1}}^{t_{1}} \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} {(Θ^{m + 1} (t_{1}) - Θ^{m + 1} (ν))}^{\frac{β_{1}}{k}}, \dots, τ_{n} {(Θ^{m + 1} (t_{1}) - Θ^{m + 1} (ν))}^{\frac{β_{n}}{k}}) Θ^{m} (ν) Θ^{'} (ν) f (ν) d ν}{{(Θ^{m + 1} (t_{1}) - Θ^{m + 1} (ν))}^{\frac{μ}{k} - 1}}, \\ t_{1} \in [ℓ_{1}, \frac{ℓ_{1} + ℓ_{2}}{2}], \\ \int_{ℓ_{2}}^{t_{1}} \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} {(Θ^{m + 1} (t_{1}) - Θ^{m + 1} (ν))}^{\frac{β_{1}}{k}}, \dots, τ_{n} {(Θ^{m + 1} (ν) - Θ^{m + 1} (t_{1}))}^{\frac{β_{n}}{k}}) Θ^{m} (ν) Θ^{'} (ν) f (ν) d ν}{{(Θ^{m + 1} (ν) - Θ^{m + 1} (t_{1}))}^{\frac{μ}{k} - 1}} \\ t_{1} \in [\frac{ℓ_{1} + ℓ_{2}}{2}, ℓ_{2}] . \end{matrix}$

Proof.

Consider

$\begin{matrix} I = \int_{ℓ_{1}}^{ℓ_{2}} κ (ν) Υ^{'} (ν) d ν \\ = \int_{ℓ_{1}}^{\frac{ℓ_{1} + ℓ_{2}}{2}} κ (ν) Υ^{'} (ν) d ν + \int_{\frac{ℓ_{1} + ℓ_{2}}{2}}^{ℓ_{2}} κ (ν) Υ^{'} (ν) d ν \\ = I_{1} + I_{2} . \end{matrix}$

Now, taking

I_{1}

and after employing the integration by parts

(2) $\begin{matrix} I_{1} = \int_{ℓ_{1}}^{\frac{ℓ_{1} + ℓ_{2}}{2}} κ (ν) Υ^{'} (ν) d ν \\ = κ (\frac{ℓ_{1} + ℓ_{2}}{2}) Υ (\frac{ℓ_{1} + ℓ_{2}}{2}) \\ - \int_{ℓ_{1}}^{\frac{ℓ_{1} + ℓ_{2}}{2}} \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} {(Θ^{m + 1} (\frac{ℓ_{1} + ℓ_{2}}{2}) - Θ^{m + 1} (ν))}^{\frac{β_{1}}{k}}, \dots, τ_{n} {(Θ^{m + 1} (\frac{ℓ_{1} + ℓ_{2}}{2}) - Θ^{m + 1} (ν))}^{\frac{β_{n}}{k}})}{{(Θ^{m + 1} (\frac{ℓ_{1} + ℓ_{2}}{2}) - Θ^{m + 1} (ν))}^{\frac{μ}{k} - 1}} \\ \times Θ^{m} (ν) Θ^{'} (ν) χ (ν) d ν \\ = Υ (\frac{ℓ_{1} + ℓ_{2}}{2}) \\ \times \int_{ℓ_{1}}^{\frac{ℓ_{1} + ℓ_{2}}{2}} \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} {(Θ^{m + 1} (\frac{ℓ_{1} + ℓ_{2}}{2}) - Θ^{m + 1} (ν))}^{\frac{β_{1}}{k}}, \dots, τ_{n} {(Θ^{m + 1} (\frac{ℓ_{1} + ℓ_{2}}{2}) - Θ^{m + 1} (ν))}^{\frac{β_{n}}{k}})}{{(Θ^{m + 1} (\frac{ℓ_{1} + ℓ_{2}}{2}) - Θ^{m + 1} (ν))}^{\frac{μ}{k} - 1}} \\ \times Θ^{m} (ν) Θ^{'} (ν) χ (ν) d ν \\ - \int_{ℓ_{1}}^{\frac{ℓ_{1} + ℓ_{2}}{2}} \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} {(Θ^{m + 1} (\frac{ℓ_{1} + ℓ_{2}}{2}) - Θ^{m + 1} (ν))}^{\frac{β_{1}}{k}}, \dots, τ_{n} {(Θ^{m + 1} (\frac{ℓ_{1} + ℓ_{2}}{2}) - Θ^{m + 1} (ν))}^{\frac{β_{n}}{k}})}{{(Θ^{m + 1} (\frac{ℓ_{1} + ℓ_{2}}{2}) - Θ^{m + 1} (ν))}^{\frac{μ}{k} - 1}} \\ \times Θ^{m} (ν) Θ^{'} (ν) χ (ν) Υ (ν) d ν \\ = Υ (\frac{ℓ_{1} + ℓ_{2}}{2}) \frac{{(m + 1)}^{1 - \frac{μ}{k}}}{k} Σ_{κ_{1}, \dots, κ_{n} = 0}^{\infty} \frac{Π_{i = 1}^{n} {(δ_{i})}_{κ_{i}, k} {(τ_{i})}^{κ_{i}}}{Γ_{k} (μ + Σ_{i = 1}^{n} (β_{i} κ_{i})) (κ_{1})! \dots (κ_{n})!} \\ \times \int_{a^{+}}^{t_{1}} {(Θ^{m + 1} (t_{1}) - Θ^{m + 1} (ν))}^{\frac{μ + Σ_{i = 1}^{n} β_{i} κ_{i}}{k} - 1} Θ^{m} (ν) Θ^{'} (ν) χ (ν) d ν \\ - \frac{{(m + 1)}^{1 - \frac{μ}{k}}}{k} Σ_{κ_{1}, \dots, κ_{n} = 0}^{\infty} \frac{Π_{i = 1}^{n} {(δ_{i})}_{κ_{i}, k} {(τ_{i})}^{κ_{i}}}{Γ_{k} (μ + Σ_{i = 1}^{n} (β_{i} κ_{i})) (κ_{1})! \dots (κ_{n})!} \\ \times \int_{a^{+}}^{t_{1}} {(Θ^{m + 1} (t_{1}) - Θ^{m + 1} (ν))}^{\frac{μ + Σ_{i = 1}^{n} β_{i} κ_{i}}{k} - 1} Θ^{m} (ν) Θ^{'} (ν) χ (ν) Υ (ν) d ν \\ = \frac{{(m + 1)}^{1 - \frac{μ}{k}}}{k} [Υ (\frac{ℓ_{1} + ℓ_{2}}{2}) {}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{-}; μ, β_{i}}^{δ_{i}, τ_{i}} χ (ℓ_{1}) - {}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{-}; μ, β_{i}}^{δ_{i}, τ_{i}} χ Υ (ℓ_{1})] . \end{matrix}$

By similar arguments, it can be verified that

(3) $\begin{matrix} I_{2} = \frac{{(m + 1)}^{1 - \frac{μ}{k}}}{k} [Υ (\frac{ℓ_{1} + ℓ_{2}}{2}) {}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} χ (ℓ_{2}) - {}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} χ Υ (ℓ_{2})] . \end{matrix}$

Hence, by adding (2) and (3) we obtain,

$\begin{matrix} \frac{k}{{(m + 1)}^{1 - \frac{μ}{k}}} \int_{ℓ_{1}}^{ℓ_{2}} κ (ν) Υ^{'} (ν) d ν \\ = Υ (\frac{ℓ_{1} + ℓ_{2}}{2}) [{}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} χ (ℓ_{2}) + {}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{-}; μ, β_{i}}^{δ_{i}, τ_{i}} χ (ℓ_{1})] \\ - [{}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} χ Υ (ℓ_{2}) + {}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{-}; μ, β_{i}}^{δ_{i}, τ_{i}} χ Υ (ℓ_{1})] . \end{matrix}$

Hence the required result is proved. □

Corollary 1.

If we replace $Θ (u) = u, m = 0, δ_{i} = 0$ , $κ_{i} = 0, \forall i$ and $k = 1$ in Lemma 1 then we have ([28], Lemma 4),

$\begin{matrix} Υ (\frac{ℓ_{1} + ℓ_{2}}{2}) [J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}}^{μ} χ (ℓ_{2}) + J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{-}}^{μ} χ (ℓ_{1})] \\ - [J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}}^{μ} χ Υ (ℓ_{2}) + J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{-}}^{μ} χ Υ (ℓ_{1})] \\ = \frac{1}{Γ (μ)} \int_{ℓ_{1}}^{ℓ_{2}} κ (ν) Υ^{'} (ν) d ν, \end{matrix}$

where

$κ (t_{1}) = \{\begin{matrix} \int_{ℓ_{1}}^{t_{1}} \frac{χ (u) d u}{{(u - ℓ_{1})}^{1 - μ}}, t_{1} \in [ℓ_{1}, \frac{ℓ_{1} + ℓ_{2}}{2}], \\ \int_{ℓ_{2}}^{t_{1}} \frac{χ (u) d u}{{(ℓ_{2} - u)}^{1 - μ}}, t_{1} \in [\frac{ℓ_{1} + ℓ_{2}}{2}, ℓ_{2}] . \end{matrix}$

Theorem 1.

For $k >$ 0, $m \in ℜ / {- 1}$ , and $R e (μ) > 0, R e (τ) > 0, R e (δ) > 0, R e (β) > 0$ are complex parameters, Θ be an increasing function and Υ be a differentiable on $(ℓ_{1}, ℓ_{2})$ with $ℓ < ℓ_{2}$ and $χ : [ℓ_{1}, ℓ_{2}] \mapsto ℜ$ be bounded. If $Υ^{'}, χ \in L [ℓ_{1}, ℓ_{2}],$ then the below expression holds.

(4) $\begin{matrix} ϝ (\frac{ℓ_{1} + ℓ_{2}}{2}) [{}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} χ (ℓ_{2}) + {}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{-}; μ, β_{i}}^{δ_{i}, τ_{i}} χ (ℓ_{1})] \\ \leq Υ (\frac{ℓ_{1} + ℓ_{2}}{2}) [{}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} χ ϝ (ℓ_{2}) + {}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{-}; μ, β_{i}}^{δ_{i}, τ_{i}} χ ϝ (ℓ_{1})] \\ \leq \frac{ϝ (ℓ_{1}) + ϝ (ℓ_{2})}{2} [{}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} χ (ℓ_{2}) + {}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{-}; μ, β_{i}}^{δ_{i}, τ_{i}} χ (ℓ_{1})], \end{matrix}$

where $ϝ (ν) = Υ (ν) + \tilde{Υ} (ν)$ , and $\tilde{Υ} (ν) = Υ (ℓ_{1} + ℓ_{2} - ν) .$

Proof.

As we know that $Υ$ is Cf for all $x_{1}, y_{1} \in [ℓ_{1}, ℓ_{2}],$ that is

$\begin{matrix} Υ (\frac{x_{1} + y_{1}}{2}) \leq \frac{Υ (x_{1}) + Υ (y_{1})}{2}, \end{matrix}$

which implies, for

ν \in [0, 1]

and substituting

x_{1} = \frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}, y_{1} = \frac{ν}{2} ℓ_{2} + \frac{2 - ν}{2} ℓ_{1}

$\begin{matrix} 2 Υ (\frac{ℓ_{1} + ℓ_{2}}{2}) \leq Υ (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}) + Υ (\frac{ν}{2} ℓ_{2} + \frac{2 - ν}{2} ℓ_{1}) . \end{matrix}$

By multiplying

$\begin{matrix} \frac{{(m + 1)}^{\frac{μ}{k} - 1} (ℓ_{2} - ℓ_{1})}{2 k} \\ \times \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}))}^{\frac{β_{1}}{k}}, \dots, τ_{n} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}))}^{\frac{β_{n}}{k}})}{{(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}))}^{\frac{μ}{k} - 1}} \\ \times Θ^{m} (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}) Θ^{'} (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}) χ (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}), \end{matrix}$

and after simplifying and taking integration on

[0, 1]

with respect to

ν

, we can have

$\begin{matrix} \frac{{(m + 1)}^{\frac{μ}{k} - 1} (ℓ_{2} - ℓ_{1})}{2 k} ϝ (\frac{ℓ_{1} + ℓ_{2}}{2}) \\ \times \int_{0}^{1} \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}))}^{\frac{β_{1}}{k}}, \dots, τ_{n} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}))}^{\frac{β_{n}}{k}})}{{(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}))}^{\frac{μ}{k} - 1}} \\ \times Θ^{m} (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}) Θ^{'} (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}) χ (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}) d ν \\ \leq \frac{{(m + 1)}^{\frac{μ}{k} - 1} (ℓ_{2} - ℓ_{1})}{2 k} \\ \times \int_{0}^{1} \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}))}^{\frac{β_{1}}{k}}, \dots, τ_{n} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}))}^{\frac{β_{n}}{k}})}{{(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}))}^{\frac{μ}{k} - 1}} \\ \times Θ^{m} (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}) Θ^{'} (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}) χ (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}) Υ (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}) d ν \\ + \frac{{(m + 1)}^{\frac{μ}{k} - 1} (ℓ_{2} - ℓ_{1})}{2 k} \\ \times \int_{0}^{1} \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}))}^{\frac{β_{1}}{k}}, \dots, τ_{n} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}))}^{\frac{β_{n}}{k}})}{{(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}))}^{\frac{μ}{k} - 1}} \\ \times Θ^{m} (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}) Θ^{'} (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}) χ (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}) Υ (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}) d ν . \end{matrix}$

By replacing

u = \frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}

, we arrive at

$\begin{matrix} ϝ (\frac{ℓ_{1} + ℓ_{2}}{2}) [{}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} χ (ℓ_{2})] \\ \leq Υ (\frac{ℓ_{1} + ℓ_{2}}{2}) [{}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} χ Υ (ℓ_{2}) + {}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} χ \tilde{Υ} (ℓ_{2})], \end{matrix}$

that is

(5) $\begin{matrix} ϝ (\frac{ℓ_{1} + ℓ_{2}}{2}) [{}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} χ (ℓ_{2})] \leq Υ (\frac{ℓ_{1} + ℓ_{2}}{2}) [{}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} χ ϝ (ℓ_{2})] . \end{matrix}$

Continuing in the same way if we multiply the below term on both sides

$\begin{matrix} \frac{{(m + 1)}^{\frac{μ}{k} - 1} (ℓ_{2} - ℓ_{1})}{2 k} \\ \times \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} {(Θ^{m + 1} (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}) - Θ^{m + 1} (ℓ_{1}))}^{\frac{β_{1}}{k}}, \dots, τ_{n} {(Θ^{m + 1} (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}) - Θ^{m + 1} (ℓ_{1}))}^{\frac{β_{n}}{k}})}{{(Θ^{m + 1} (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}) - Θ^{m + 1} (ℓ_{1}))}^{\frac{μ}{k} - 1}} \\ \times Θ^{m} (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}) Θ^{'} (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}) χ (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}), \end{matrix}$

then after simplifying and taking integration on

[0, 1]

with respect to

ν

, we arrive at

(6) $\begin{matrix} ϝ (\frac{ℓ_{1} + ℓ_{2}}{2}) [{}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{-}; μ, β_{i}}^{δ_{i}, τ_{i}} χ (ℓ_{1})] \leq Υ (\frac{ℓ_{1} + ℓ_{2}}{2}) [{}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{-}; μ, β_{i}}^{δ_{i}, τ_{i}} χ ϝ (ℓ_{1})] . \end{matrix}$

Adding (5) and (6), we arrive at

(7) $\begin{matrix} ϝ (\frac{ℓ_{1} + ℓ_{2}}{2}) [{}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} χ (ℓ_{2}) + {}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{-}; μ, β_{i}}^{δ_{i}, τ_{i}} χ (ℓ_{1})] \\ \leq Υ (\frac{ℓ_{1} + ℓ_{2}}{2}) [{}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} χ ϝ (ℓ_{2}) + {}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{-}; μ, β_{i}}^{δ_{i}, τ_{i}} χ ϝ (ℓ_{1})] . \end{matrix}$

This shows the first half of required inequality. Now we are going to prove second half of inequality. Since, we know that

Υ

is Cf on

[ℓ_{1}, ℓ_{2}]

, after implementation, we reach

$\begin{matrix} Υ (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}) + Υ (\frac{2 - ν}{2} τ_{1} + \frac{ν}{2} τ_{2}) \leq Υ (τ_{1}) + Υ (τ_{2}) . \end{matrix}$

Continuing in the same way if we multiply the below term on both sides as in first part of inequality

then after simplifying and integrating over

[0, 1]

with respect to

ν

, we arrive at

$\begin{matrix} \frac{{(m + 1)}^{\frac{μ}{k} - 1} (ℓ_{2} - ℓ_{1})}{2 k} ϝ (\frac{ℓ_{1} + ℓ_{2}}{2}) \\ \times \int_{0}^{1} \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}))}^{\frac{β_{1}}{k}}, \dots, τ_{n} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}))}^{\frac{β_{n}}{k}})}{{(Θ^{m + 1} (+ ℓ_{2}) - Θ^{m + 1} (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}))}^{\frac{μ}{k} - 1}} \\ \times Θ^{m} (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}) Θ^{'} (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}) χ (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}) d ν \\ \leq \frac{{(m + 1)}^{\frac{μ}{k} - 1} (ℓ_{2} - ℓ_{1})}{2 k} \\ \times \int_{0}^{1} \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}))}^{\frac{β_{1}}{k}}, \dots, τ_{n} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}))}^{\frac{β_{n}}{k}})}{{(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}))}^{\frac{μ}{k} - 1}} \\ \times Θ^{m} (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}) Θ^{'} (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}) χ (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}) Υ (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}) d ν \\ + \frac{{(m + 1)}^{\frac{μ}{k} - 1} (ℓ_{2} - ℓ_{1})}{2 k} \\ \times \int_{0}^{1} \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}))}^{\frac{β_{1}}{k}}, \dots, τ_{n} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}))}^{\frac{β_{n}}{k}})}{{(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}))}^{\frac{μ}{k} - 1}} \\ \times Θ^{m} (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}) Θ^{'} (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}) χ (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}) Υ (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}) d ν . \end{matrix}$

By replacing

u = \frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}

, we obtain

$\begin{matrix} Υ (\frac{ℓ_{1} + ℓ_{2}}{2}) [{}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} χ Υ (ℓ_{2}) + {}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} χ \tilde{Υ} (ℓ_{2})] \\ \leq [Υ (ℓ_{1}) + Υ (ℓ_{2})] Υ (\frac{ℓ_{1} + ℓ_{2}}{2}) [{}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} χ (ℓ_{2})] . \end{matrix}$

This implies

(8) $\begin{matrix} Υ (\frac{ℓ_{1} + ℓ_{2}}{2}) [{}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} χ ϝ (ℓ_{2})] \leq \frac{ϝ (ℓ_{1}) + ϝ (ℓ_{2})}{2} [{}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} χ (ℓ_{2})] . \end{matrix}$

Now, by multiplying on both sides of the first half of the inequality

$\begin{matrix} \frac{{(m + 1)}^{\frac{μ}{k} - 1} (ℓ_{2} - ℓ_{1})}{2 k} \\ \times \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} {(Θ^{m + 1} (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}) - Θ^{m + 1} (τ_{1}))}^{\frac{β_{1}}{k}}, \dots, τ_{n} {(Θ^{m + 1} (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}) - Θ^{m + 1} (τ_{1}))}^{\frac{β_{n}}{k}})}{{(Θ^{m + 1} (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}) - Θ^{m + 1} (τ_{1}))}^{\frac{μ}{k} - 1}} \\ \times Θ^{m} (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}) Θ^{'} (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}) χ (\frac{ν}{2} ℓ_{1} + \frac{2 - ν}{2} ℓ_{2}), \end{matrix}$

then, after simplifying and integrating over

[0, 1]

with respect to

ν

, we obtain

(9) $\begin{matrix} Υ (\frac{ℓ_{1} + ℓ_{2}}{2}) [{}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{-}; μ, β_{i}}^{δ_{i}, τ_{i}} χ ϝ (ℓ_{1})] \leq \frac{ϝ (ℓ_{1}) + ϝ (ℓ_{2})}{2} [{}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{-}; μ, β_{i}}^{δ_{i}, τ_{i}} χ (ℓ_{1})] . \end{matrix}$

Adding (8) and (9), we obtain

(10) $\begin{matrix} Υ (\frac{ℓ_{1} + ℓ_{2}}{2}) [{}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} χ ϝ (ℓ_{2}) + {}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{-}; μ, β_{i}}^{δ_{i}, τ_{i}} χ ϝ (ℓ_{1})] \\ \leq \frac{ϝ (ℓ_{1}) + ϝ (ℓ_{2})}{2} [{}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} χ (ℓ_{2}) +_{{}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{-}; μ, β_{i}}^{δ_{i}, τ_{i}}} χ (ℓ_{1})] . \end{matrix}$

Hence, by adding (7) and (10), we get our desired inequality. □

Example 1.

Assume that $χ (x) = {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (x))}^{\frac{η}{k}},$ then the left side of above inequality (4) becomes

(11) $\begin{matrix} ({}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}}) ({(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (x))}^{\frac{η}{k}}) \\ = \frac{{(m + 1)}^{\frac{μ}{k} - 1}}{k} Σ_{n = 0}^{\infty} \frac{{(δ_{i})}_{κ_{i}, k} {(τ_{i})}^{κ_{i}}}{Γ_{k} (μ + Σ_{i = 1}^{n} (β_{i} κ_{i}))} \\ \times \int_{\frac{ℓ_{1} + ℓ_{2}}{2}}^{ℓ_{2}} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (x))}^{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i}) + η}{k} - 1} Θ^{m} (x) Θ^{'} (x) d x \\ = \frac{{(m + 1)}^{- \frac{μ}{k}}}{k} Σ_{n = 0}^{\infty} \frac{{(δ_{i})}_{κ_{i}, k} {(τ_{i})}^{κ_{i}}}{Γ_{k} (μ + Σ_{i = 1}^{n} (β_{i} κ_{i}))} \\ \times \int_{\frac{ℓ_{1} + ℓ_{2}}{2}}^{ℓ_{2}} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (x))}^{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i}) + η}{k} - 1} Θ^{m} (x) Θ^{'} (x) d x \\ = \frac{{(m + 1)}^{- \frac{μ}{k}}}{k} Σ_{n = 0}^{\infty} \frac{{(δ_{i})}_{κ_{i}, k} {(τ_{i})}^{κ_{i}}}{Γ_{k} (μ + Σ_{i = 1}^{n} (β_{i} κ_{i}))} \frac{{(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (\frac{ℓ_{1} + ℓ_{2}}{2}))}^{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i}) + η}{k}}}{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i}) + η}{k}} . \end{matrix}$

Similarly, we have

(12) $\begin{matrix} ({}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{-}; μ, β_{i}}^{δ_{i}, τ_{i}}) (Θ^{m + 1} (x) - Θ^{m + 1} (ℓ_{1}))^{\frac{η}{k}}) \\ = \frac{{(m + 1)}^{- \frac{μ}{k}}}{k} Σ_{n = 0}^{\infty} \frac{{(δ_{i})}_{κ_{i}, k} {(τ_{i})}^{κ_{i}}}{Γ_{k} (μ + Σ_{i = 1}^{n} (β_{i} κ_{i})} \frac{{(Θ^{m + 1} (\frac{ℓ_{1} + ℓ_{2}}{2}) - Θ^{m + 1} (ℓ_{1}))}^{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i}) + η}{k}}}{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i}) + η}{k}} . \end{matrix}$

If we choose $χ (x) = {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (x))}^{\frac{η}{k}}$ and $ϝ (x) = 2 Θ^{m + 1} (x)$ then the middle term of above inequality is

(13) $\begin{matrix} ({}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}}) 2 ({(Θ^{m + 1} (x) - Θ^{m + 1} (ℓ_{1}))}^{\frac{η}{k}}) Θ^{m + 1} (x) \\ = \frac{2 {(m + 1)}^{\frac{μ}{k} - 1}}{k} Σ_{n = 0}^{\infty} \frac{{(δ_{i})}_{κ_{i}, k} {(τ_{i})}^{κ_{i}}}{Γ_{k} (μ + Σ_{i = 1}^{n} (β_{i} κ_{i}))} \\ \times \int_{\frac{ℓ_{1} + ℓ_{2}}{2}}^{ℓ_{2}} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (x))}^{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i}) + η}{k} - 1} Θ^{m + 1} (x) Θ^{m} (x) Θ^{'} (x) d x \\ = \frac{2 {(m + 1)}^{\frac{μ}{k} - 1}}{k} Σ_{n = 0}^{\infty} \frac{{(δ_{i})}_{κ_{i}, k} {(τ_{i})}^{κ_{i}}}{Γ_{k} (μ + Σ_{i = 1}^{n} (β_{i} κ_{i}))} \\ \times (\frac{{(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (\frac{ℓ_{1} + ℓ_{2}}{2}))}^{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i}) + η}{k}}}{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i}) + η}{k}} \\ - \frac{m + 1}{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i}) + η}{k}} \frac{{(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (\frac{ℓ_{1} + ℓ_{2}}{2}))}^{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i}) + η}{k} + 1}}{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i}) + η}{k} + 1}) \end{matrix}$

Also

(14) $\begin{matrix} ({}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{-}; μ, β_{i}}^{δ_{i}, τ_{i}}) 2 ({(Θ^{m + 1} (x) - Θ^{m + 1} (ℓ_{1}))}^{\frac{η}{k}}) Θ^{m + 1} (x) \\ = \frac{2 {(m + 1)}^{\frac{μ}{k} - 1}}{k} Σ_{n = 0}^{\infty} \frac{{(δ_{i})}_{κ_{i}, k} {(τ_{i})}^{κ_{i}}}{Γ_{k} (μ + Σ_{i = 1}^{n} (β_{i} κ_{i}))} \\ \times (\frac{{(Θ^{m + 1} (\frac{ℓ_{1} + ℓ_{2}}{2}) - Θ^{m + 1} (ℓ_{1}))}^{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i}) + η}{k}}}{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i}) + η}{k}} \\ - \frac{m + 1}{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i}) + η}{k}} \frac{{(Θ^{m + 1} (\frac{ℓ_{1} + ℓ_{2}}{2}) - Θ^{m + 1} (ℓ_{1}))}^{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i}) + η}{k} + 1}}{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i}) + η}{k} + 1}) \end{matrix}$

So we have

(15) $\begin{matrix} 2 Θ^{m + 1} (\frac{ℓ_{1} + ℓ_{2}}{2}) [\frac{{(m + 1)}^{- \frac{μ}{k}}}{k} Σ_{n = 0}^{\infty} \frac{{(δ_{i})}_{κ_{i}, k} {(τ_{i})}^{κ_{i}}}{Γ_{k} (μ + Σ_{i = 1}^{n} (β_{i} κ_{i}))} \frac{{(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (\frac{ℓ_{1} + ℓ_{2}}{2}))}^{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i}) + η}{k}}}{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i}) + η}{k}} \\ + \frac{{(m + 1)}^{- \frac{μ}{k}}}{k} Σ_{n = 0}^{\infty} \frac{{(δ_{i})}_{κ_{i}, k} {(τ_{i})}^{κ_{i}}}{Γ_{k} (μ + Σ_{i = 1}^{n} (β_{i} κ_{i}))} \frac{{(Θ^{m + 1} (\frac{ℓ_{1} + ℓ_{2}}{2}) - Θ^{m + 1} (ℓ_{1}))}^{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i}) + η}{k}}}{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i}) + η}{k}}] \\ \leq Θ^{m + 1} (\frac{ℓ_{1} + ℓ_{2}}{2}) [\frac{2 {(m + 1)}^{\frac{μ}{k} - 1}}{k} Σ_{n = 0}^{\infty} \frac{{(δ_{i})}_{κ_{i}, k} {(τ_{i})}^{κ_{i}}}{Γ_{k} (μ + Σ_{i = 1}^{n} (β_{i} κ_{i}))} \\ \times (\frac{{(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (\frac{ℓ_{1} + ℓ_{2}}{2}))}^{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i}) + η}{k}}}{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i}) + η}{k}} \\ - \frac{m + 1}{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i}) + η}{k}} \frac{{(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (\frac{ℓ_{1} + ℓ_{2}}{2}))}^{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i}) + η}{k} + 1}}{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i}) + η}{k} + 1}) \\ + \frac{2 {(m + 1)}^{\frac{μ}{k} - 1}}{k} Σ_{n = 0}^{\infty} \frac{{(δ_{i})}_{κ_{i}, k} {(τ_{i})}^{κ_{i}}}{Γ_{k} (μ + Σ_{i = 1}^{n} (β_{i} κ_{i}))} \\ \times Θ^{m + 1} (\frac{ℓ_{1} + ℓ_{2}}{2}) (\frac{{(Θ^{m + 1} (\frac{ℓ_{1} + ℓ_{2}}{2}) - Θ^{m + 1} (ℓ_{1}))}^{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i}) + η}{k}}}{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i}) + η}{k}} \\ - \frac{m + 1}{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i}) + η}{k}} \frac{{(Θ^{m + 1} (\frac{ℓ_{1} + ℓ_{2}}{2}) - Θ^{m + 1} (ℓ_{1}))}^{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i}) + η}{k} + 1}}{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i}) + η}{k} + 1})] \\ \leq [Θ^{m + 1} (ℓ_{1}) + Θ^{m + 1} (ℓ_{2})] [\frac{{(m + 1)}^{- \frac{μ}{k}}}{k} Σ_{n = 0}^{\infty} \frac{{(δ_{i})}_{κ_{i}, k} {(τ_{i})}^{κ_{i}}}{Γ_{k} (μ + Σ_{i = 1}^{n} (β_{i} κ_{i}))} \frac{{(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (\frac{ℓ_{1} + ℓ_{2}}{2}))}^{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i}) + η}{k}}}{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i}) + η}{k}} \\ + \frac{{(m + 1)}^{- \frac{μ}{k}}}{k} Σ_{n = 0}^{\infty} \frac{{(δ_{i})}_{κ_{i}, k} {(τ_{i})}^{κ_{i}}}{Γ_{k} (μ + Σ_{i = 1}^{n} (β_{i} κ_{i}))} \frac{{(Θ^{m + 1} (\frac{ℓ_{1} + ℓ_{2}}{2}) - Θ^{m + 1} (ℓ_{1}))}^{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i}) + η}{k}}}{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i}) + η}{k}}] \end{matrix}$

The computational values of (15), are shown in Table 1, and Table 2 corresponding to the choice of parameters $m = 3$ , $k = 1$ , $Θ (x) = x^{2}, η = 0.5$ , $τ_{i} = 1$ , $κ_{i} = 1$ , $β_{i} = 1$ , $δ = 0.5$ and for some fixed values of $ℓ_{1}$ and $ℓ_{2}$ . Figure 1, shows the graphical representation of (15), corresponding to the choice of parameters $0 < ℓ_{1} < 2 < ℓ_{2} < 4 .$

For tabular values

Table 1

Tabular form presents the computational values of (15) corresponding to choice $μ = 0.5$ .

$ℓ_{1}$ / $ℓ_{2}$	$2.10$	$2.30$
$0.10$	(4.25 × $10^{00}$ , 1.23 × $10^{01}$ , 2.19 × $10^{01}$ )	(5.56 × $10^{01}$ , 1.39 × $10^{02}$ , 3.72 × $10^{01}$ )
$0.50$	(6.51 × $10^{00}$ , 2.14 × $10^{01}$ , 2.87 × $10^{01}$ )	(7.83 × $10^{01}$ , 2.26 × $10^{02}$ , 4.91 × $10^{01}$ )

Table 2

Tabular form presents the computational values of (15) corresponding to choice $μ = 0.5$ .

$ℓ_{1}$ / $ℓ_{2}$	$2.50$	$2.70$
$0.10$	(7.48 × $10^{01}$ , 1.68 × $10^{02}$ , 4.51 × $10^{01}$ )	(8.74 × $10^{01}$ , 1.95 × $10^{02}$ , 5.63 × $10^{01}$ )
$0.50$	(9.66 × $10^{01}$ , 2.72 × $10^{02}$ , 5.74 × $10^{01}$ )	(1.12 × $10^{02}$ , 3.06 × $10^{02}$ , 6.85 × $10^{01}$ )

Corollary 2.

If we replace $Θ (u) = u, m = 0, δ_{i} = 0$ , $κ_{i} = 0, \forall i$ and $k = 1$ in Theorem 1, choose χ is symmetric about $\frac{ℓ_{1} + ℓ_{2}}{2},$ then we have

$\begin{matrix} ϝ (\frac{ℓ_{1} + ℓ_{2}}{2}) [J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}}^{μ} χ (ℓ_{2}) + J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{-}}^{μ} χ (ℓ_{1})] \\ \leq Υ (\frac{ℓ_{1} + ℓ_{2}}{2}) [J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}}^{μ} χ ϝ (ℓ_{2}) + J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{-}}^{μ} χ ϝ (ℓ_{1})] \\ \leq \frac{ϝ (ℓ_{1}) + ϝ (ℓ_{2})}{2} [J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}}^{μ} χ (ℓ_{2}) + J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{-}}^{μ} χ (ℓ_{1})] . \end{matrix}$

Theorem 2.

For $k >$ 0, $m \in ℜ / {- 1}$ , and $R e (μ) > 0, R e (τ) > 0, R e (δ) > 0, R e (β) > 0$ are complex parameters, Θ be an increasing function and Υ be a differentiable on $(ℓ_{1}, ℓ_{2})$ with $ℓ < ℓ_{2}$ and $χ : [ℓ_{1}, ℓ_{2}] \mapsto ℜ$ be bounded. If $Υ^{'}, χ \in L [ℓ_{1}, ℓ_{2}]$ and $| Υ^{'} | \in K_{s}^{2}$ on $[ℓ_{1}, ℓ_{2}]$ for any fixed $s \in (0, 1]$ , then the H-H-F kind inequality for generalized RLFI holds.

where ϝ fulfilled the condition as in Theorem 1.

Proof.

By using defined s-convexity of second kind, we can write

$\begin{matrix} | ϝ^{'} (ν) | = | Υ^{'} (ν) - Υ^{'} (ℓ_{1} + ℓ_{2} - ν) | \leq | Υ^{'} (ν) | + | Υ^{'} (ℓ_{1} + ℓ_{2} - ν) | \\ = | Υ^{'} (\frac{ℓ_{2} - ν}{ℓ_{2} - ℓ_{1}} ℓ_{1} + \frac{ν - ℓ_{1}}{ℓ_{2} - ℓ_{1}} ℓ_{2}) | + | Υ^{'} (\frac{ν - ℓ_{1}}{ℓ_{2} - ℓ_{1}} ℓ_{1} + \frac{ℓ_{2} - ν}{ℓ_{2} - ℓ_{1}} ℓ_{2}) | \\ \leq {(\frac{ℓ_{2} - ν}{ℓ_{2} - ℓ_{1}})}^{s} | Υ^{'} (ℓ_{1}) | \\ + {(\frac{ν - ℓ_{1}}{ℓ_{2} - ℓ_{1}})}^{s} | Υ^{'} (ℓ_{2}) | + {(\frac{ν - ℓ_{1}}{ℓ_{2} - ℓ_{1}})}^{s} | Υ^{'} (ℓ_{1}) | + {(\frac{ℓ_{2} - ν}{ℓ_{2} - ℓ_{1}})}^{s} | Υ^{'} (ℓ_{2}) | \\ = ({(\frac{ℓ_{2} - ν}{ℓ_{2} - ℓ_{1}})}^{s} + {(\frac{ν - ℓ_{1}}{ℓ_{2} - ℓ_{1}})}^{s}) (| Υ^{'} (ℓ_{1}) | + | Υ^{'} (ℓ_{2}) |) . \end{matrix}$

Using Theorem 1, we reach

$\begin{matrix} | ϝ (\frac{ℓ_{1} + ℓ_{2}}{2}) [{}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} χ (ℓ_{2}) + {}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{-}; μ, β_{i}}^{δ_{i}, τ_{i}} χ (ℓ_{1})] | \\ - | [{}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} χ ϝ (ℓ_{2}) + {}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{-}; μ, β_{i}}^{δ_{i}, τ_{i}} χ ϝ (ℓ_{1})] | \\ \leq \frac{{(m + 1)}^{\frac{μ}{k} - 1}}{k} \int_{ℓ_{1}}^{ℓ_{2}} | κ (ν) | | ϝ^{'} (ν) | d ν \\ \leq \frac{{(m + 1)}^{\frac{μ}{k} - 1}}{k} \\ \times (\int_{ℓ_{1}}^{\frac{ℓ_{1} + ℓ_{2}}{2}} | \int_{ℓ_{1}}^{ν} \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} {(Θ^{m + 1} (u) - Θ^{m + 1} (ℓ_{1}))}^{\frac{β_{1}}{k}}, \dots, τ_{n} {(Θ^{m + 1} (u) - Θ^{m + 1} (ℓ_{1}))}^{\frac{β_{n}}{k}})}{{(Θ^{m + 1} (u) - Θ^{m + 1} (ℓ_{1}))}^{\frac{μ}{k} - 1}} \\ \times Θ^{m} (u) Θ^{'} (u) χ (u) d u | \\ \times \int_{\frac{ℓ_{1} + ℓ_{2}}{2}}^{ℓ_{2}} | \int_{ℓ_{2}}^{ν} \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (u))}^{\frac{β_{1}}{k}}, \dots, τ_{n} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (u))}^{\frac{β_{n}}{k}})}{{(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (u))}^{\frac{μ}{k} - 1}} \\ \times Θ^{m} (u) Θ^{'} (u) χ (u) d u |) ϝ^{'} (ν) d ν \\ \leq \frac{{(m + 1)}^{\frac{μ}{k} - 1}}{k} \\ \times (\int_{ℓ_{1}}^{\frac{ℓ_{1} + ℓ_{2}}{2}} | \int_{ℓ_{1}}^{ν} \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (ℓ_{1} {(Θ^{m + 1} (u) - Θ^{m + 1} (ℓ_{1}))}^{\frac{β_{1}}{k}}, \dots, τ_{n} {(Θ^{m + 1} (u) - Θ^{m + 1} (ℓ_{1}))}^{\frac{β_{n}}{k}})}{{(Θ^{m + 1} (u) - Θ^{m + 1} (ℓ_{1}))}^{\frac{μ}{k} - 1}} \\ \times Θ^{m} (u) Θ^{'} (u) χ (u) d u | \\ + \int_{\frac{ℓ_{1} + ℓ_{2}}{2}}^{ℓ_{2}} | \int_{ℓ_{2}}^{ν} \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (u))}^{\frac{β_{1}}{k}}, \dots, τ_{n} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (u))}^{\frac{β_{n}}{k}})}{{(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (u))}^{\frac{μ}{k} - 1}} \\ \times Θ^{m} (u) Θ^{'} (u) χ (u) d u |) ϝ^{'} (ν) d ν \\ \leq \frac{{(m + 1)}^{\frac{μ}{k} - 2} {| | χ | |}_{\infty}}{k} Σ_{n = 0}^{\infty} \frac{{(δ_{i})}_{κ_{i}, k} {(τ_{i})}^{κ_{i}}}{Γ_{k} (μ + Σ_{i = 1}^{n} (β_{i} κ_{i}))} \\ \times [(\int_{ℓ_{1}}^{\frac{ℓ_{1} + ℓ_{2}}{2}} \frac{{[Θ^{m + 1} (ν) - Θ^{m + 1} (ℓ_{1})]}^{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i})}{k}}}{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i})}{k}} + \int_{\frac{ℓ_{1} + ℓ_{2}}{2}}^{ℓ_{2}} \frac{{[Θ^{m + 1} (ℓ_{2}) - ν^{s +}]}^{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i})}{k}}}{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i})}{k}}) \\ \times ({(\frac{ℓ_{2} - ν}{ℓ_{2} - ℓ_{1}})}^{s} + {(\frac{ν - ℓ_{1}}{ℓ_{2} - ℓ_{1}})}^{s}) (| Υ^{'} (ℓ_{1}) | + | Υ^{'} (ℓ_{2}) | d ν)] \\ \leq \frac{{(m + 1)}^{\frac{μ}{k} - 2} {| | χ | |}_{\infty}}{{(ℓ_{2} - ℓ_{1})}^{s} (μ + Σ_{i = 1}^{n} (β_{i} κ_{i}))} Σ_{n = 0}^{\infty} \frac{{(δ_{i})}_{κ_{i}, k} {(τ_{i})}^{κ_{i}}}{Γ_{k} (μ + Σ_{i = 1}^{n} (β_{i} κ_{i}))} (| Υ^{'} (ℓ_{1}) | + | Υ^{'} (ℓ_{2}) |) \\ \times [(\int_{ℓ_{1}}^{\frac{ℓ_{1} + ℓ_{2}}{2}} {(Θ^{m + 1} (ν) - Θ^{m + 1} (ℓ_{1}))}^{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i})}{k}} + \int_{\frac{ℓ_{1} + ℓ_{2}}{2}}^{ℓ_{2}} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (ν))}^{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i})}{k}}) \\ \times ({(ℓ_{2} - ν)}^{s} + {(ν - ℓ_{1})}^{s}) d ν] . \end{matrix}$

We reach at desired outcome. □

Corollary 3.

If we replace $Θ (u) = u, m = 0, δ_{i} = 0$ , $κ_{i} = 0, \forall i$ and $p = k = 1$ in Theorem 2 and χ is symmetric about $\frac{ℓ_{1} + ℓ_{2}}{2},$ then we have

$\begin{matrix} | ϝ (\frac{ℓ_{1} + ℓ_{2}}{2}) [J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}}^{μ} χ (ℓ_{2}) + J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{-}}^{μ} χ (ℓ_{1})] | - | [J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}}^{μ} χ ϝ (ℓ_{2}) + J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{-}}^{μ} χ ϝ (ℓ_{1})] | \\ \leq \frac{{(m + 1)}^{1 - μ} (ℓ_{2} - ℓ_{1})}{(ℓ_{2} - ℓ_{1}) Γ_{k} (μ)} {| | χ | |}_{\infty} \\ \times (| Υ^{'} (ℓ_{1}) | + | Υ^{'} (ℓ_{2}) |) [(\int_{ℓ_{1}}^{\frac{ℓ_{1} + ℓ_{2}}{2}} {(ν - ℓ_{1})}^{s} d ν + \int_{\frac{ℓ_{1} + ℓ_{2}}{2}}^{ℓ_{2}} {(ℓ_{2} - ν)}^{s}) d ν] \\ = \frac{{(m + 1)}^{1 - μ} {(ℓ_{2} - ℓ_{1})}^{μ + 1}}{(μ + 1) Γ (μ + 1) 2^{μ + 1}} {| | χ | |}_{\infty} (| Υ^{'} (ℓ_{1}) | + | Υ^{'} (ℓ_{2}) |) . \end{matrix}$

Proposition 1.

Furthermore, If we replace $Θ (u) = u, m = 0, δ_{i} = 0$ , $κ_{i} = 0, \forall i$ and $χ = k = 1$ in Corollary 3, so we obtain the below mid point inequality

$\begin{matrix} | (ℓ_{2} - ℓ_{1}) Υ (\frac{ℓ_{1} + ℓ_{2}}{2}) - \int_{ℓ_{1}}^{ℓ_{2}} Υ (ν) d ν | \leq \frac{{(ℓ_{2} - ℓ_{1})}^{2}}{8} (| Υ^{'} (ℓ_{1}) | + | Υ^{'} (ℓ_{2}) |) . \end{matrix}$

Theorem 3.

For $k >$ 0, $m \in ℜ / {- 1}$ , and $R e (μ) > 0, R e (τ) > 0, R e (δ) > 0, R e (β) > 0$ are complex parameters, Θ be an increasing function and Υ be a differentiable on $(ℓ_{1}, ℓ_{2})$ with $ℓ < ℓ_{2}$ and $χ : [ℓ_{1}, ℓ_{2}] \mapsto ℜ$ be bounded. If $Υ^{'}, χ \in L [ℓ_{1}, ℓ_{2}],$ then the below expression holds.

Proof.

By using Theorem 1, we can write

$\begin{matrix} | ϝ (\frac{ℓ_{1} + ℓ_{2}}{2}) [{}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} χ (ℓ_{2}) + {}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{-}; μ, β_{i}}^{δ_{i}, τ_{i}} χ (ℓ_{1})] | \\ - | [{}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} χ ϝ (ℓ_{2}) + {}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{-}; μ, β_{i}}^{δ_{i}, τ_{i}} χ ϝ (ℓ_{1})] | \\ \leq \frac{{(m + 1)}^{\frac{μ}{k} - 1}}{k} \int_{ℓ_{1}}^{ℓ_{2}} | κ (ν) | | ϝ^{'} (ν) | d ν \\ \leq \frac{{(m + 1)}^{\frac{μ}{k} - 1}}{k} {(\int_{ℓ_{1}}^{ℓ_{2}} | κ (ν) | d ν)}^{1 - \frac{1}{q}} {(\int_{ℓ_{1}}^{ℓ_{2}} | κ (ν) | | ϝ^{'} {(ν) |}^{q} d ν)}^{\frac{1}{q}} \\ \leq \frac{{(m + 1)}^{\frac{μ}{k} - 1}}{k} \\ \times (\int_{ℓ_{1}}^{\frac{ℓ_{1} + ℓ_{2}}{2}} | \int_{ℓ_{1}}^{ν} \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} {(Θ^{m + 1} (u) - Θ^{m + 1} (ℓ_{1}))}^{\frac{β_{1}}{k}}, \dots, τ_{n} {(Θ^{m + 1} (u) - Θ^{m + 1} (ℓ_{1}))}^{\frac{β_{n}}{k}})}{{(Θ^{m + 1} (u) - Θ^{m + 1} (ℓ_{1}))}^{\frac{μ}{k} - 1}} \\ \times Θ^{m} (u) Θ^{'} (u) χ (u) d u | d ν)^{1 - \frac{1}{q}} \\ \times (\int_{ℓ_{1}}^{\frac{ℓ_{1} + ℓ_{2}}{2}} | \int_{ℓ_{1}}^{ν} \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} {(Θ^{m + 1} (u) - Θ^{m + 1} (ℓ_{1}))}^{\frac{β_{1}}{k}}, \dots, τ_{n} {(Θ^{m + 1} (u) - Θ^{m + 1} (ℓ_{1}))}^{\frac{β_{n}}{k}})}{{(Θ^{m + 1} (u) - Θ^{m + 1} (ℓ_{1}))}^{\frac{μ}{k} - 1}} \\ \times Θ^{m} (u) Θ^{'} (u) χ (u) d u |) ({(\frac{ℓ_{2} - ν}{ℓ_{2} - ℓ_{1}})}^{s} (| Υ^{'} (ℓ_{1}) |^{q} + {(\frac{ν - ℓ_{1}}{ℓ_{2} - ℓ_{1}})}^{s}) {| Υ^{'} (ℓ_{2}) |}^{q} d ν)^{\frac{1}{q}} \\ + \frac{{(m + 1)}^{\frac{μ}{k} - 1}}{k} \\ \times (\int_{\frac{ℓ_{1} + ℓ_{2}}{2}}^{ℓ_{2}} | \int_{ℓ_{2}}^{ν} \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (u))}^{\frac{β_{1}}{k}}, \dots, τ_{n} (Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (u)))^{\frac{β_{n}}{k}})}{{(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (u))}^{\frac{μ}{k} - 1}} \\ \times Θ^{m} (u) Θ^{'} (u) χ (u) d u | d ν)^{1 - \frac{1}{q}} \\ \times (\int_{\frac{ℓ_{1} + ℓ_{2}}{2}}^{ℓ_{2}} | \int_{ℓ_{2}}^{ν} \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (ℓ_{1} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (u))}^{\frac{β_{1}}{k}}, \dots, τ_{n} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (u))}^{\frac{β_{n}}{k}})}{{(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (u))}^{\frac{μ}{k} - 1}} \\ \times Θ^{m} (u) Θ^{'} (u) χ (u) d u |) ({(\frac{ℓ_{2} - ν}{ℓ_{2} - ℓ_{1}})}^{s} (| Υ^{'} (ℓ_{1}) |^{q} + {(\frac{ν - ℓ_{1}}{ℓ_{2} - ℓ_{1}})}^{s}) {| Υ^{'} (ℓ_{2}) |}^{q} d ν)^{\frac{1}{q}} \\ = \frac{{(m + 1)}^{- \frac{μ}{k}} {| | χ | |}_{\infty}}{(μ + Σ_{i = 1}^{n} (β_{i} κ_{i}))} Σ_{n = 0}^{\infty} \frac{{(δ_{i})}_{κ_{i}, k} {(τ_{i})}^{κ_{i}}}{Γ_{k} (μ + Σ_{i = 1}^{n} (β_{i} κ_{i}))} \\ \times (\int_{ℓ_{1}}^{\frac{ℓ_{1} + ℓ_{2}}{2}} {(| {(Θ^{m + 1} (ν) - Θ^{m + 1} (ℓ_{1}))}^{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i})}{k}} | d ν)}^{1 - \frac{1}{q}} (\int_{ℓ_{1}}^{\frac{ℓ_{1} + ℓ_{2}}{2}} | {(Θ^{m + 1} (ν) - Θ^{m + 1} (ℓ_{1}))}^{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i})}{k}} | \\ {\times {(\frac{ℓ_{2} - ν}{ℓ_{2} - ℓ_{1}})}^{s} (| Υ^{'} (ℓ_{1}) |^{q} + {(\frac{ν - ℓ_{1}}{ℓ_{2} - ℓ_{1}})}^{s}) {| Υ^{'} (ℓ_{2}) |}^{q} d ν))}^{\frac{1}{q}} \\ + \frac{{(m + 1)}^{- \frac{μ}{k}} {| χ | |}_{\infty}}{(μ + Σ_{i = 1}^{n} (β_{i} κ_{i}))} Σ_{n = 0}^{\infty} \frac{{(δ_{i})}_{κ_{i}, k} {(τ_{i})}^{κ_{i}}}{Γ_{k} (μ + Σ_{i = 1}^{n} (β_{i} κ_{i}))} \\ \times (\int_{\frac{ℓ_{1} + ℓ_{2}}{2}}^{ℓ_{2}} {(| {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (ν))}^{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i})}{k}} | d ν)}^{1 - \frac{1}{q}} (\int_{\frac{ℓ_{1} + ℓ_{2}}{2}}^{ℓ_{2}} | {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (ν))}^{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i})}{k}} | \\ {\times {(\frac{ℓ_{2} - ν}{ℓ_{2} - ℓ_{1}})}^{s} (| Υ^{'} (ℓ_{1}) |^{q} + {(\frac{ν - ℓ_{1}}{ℓ_{2} - ℓ_{1}})}^{s}) {| Υ^{'} (ℓ_{2}) |}^{q} d ν))}^{\frac{1}{q}} . \end{matrix}$

This is our desired result. □

Remark 1.

For the choice of $s = 1$ , $Θ (u) = u, m = 0, δ_{i} = 0$ , $κ_{i} = 0, \forall i$ and $k = 1$ in the Theorem 3, then we obtain ([27], Theorem 7).

$\begin{matrix} | ϝ (\frac{ℓ_{1} + ℓ_{2}}{2}) [J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}}^{ϱ} χ (ℓ_{2}) + J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{-}}^{ϱ} χ (τ_{1})] | \\ - | [J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}}^{ϱ} χ ϝ (ℓ_{2}) + J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{-}}^{ϱ} χ ϝ (τ_{1})] | \\ \leq \frac{{| χ | |}_{\infty, [τ_{1}, ℓ_{2}]} {(ℓ_{2} - τ_{1})}^{ϱ + 1}}{2^{ϱ + 1 + \frac{1}{q}} (ϱ + 1) {(ϱ + 2)}^{\frac{1}{q}} k Γ_{k} (ϱ + 1)} [{((ϱ + 3) | Υ^{'} (τ_{1}) |^{q} + (ϱ + 1) {| Υ^{'} (ℓ_{2}) |}^{q})}^{\frac{1}{q}} \\ + {((ϱ + 1) | Υ^{'} (τ_{1}) |^{q} + (ϱ + 3) {| Υ^{'} (ℓ_{2}) |}^{q})}^{\frac{1}{q}}] . \end{matrix}$

Remark 2.

For the choice of $Θ (u) = u, m = 0, δ_{i} = 0$ , $κ_{i} = 0, \forall i$ and $k = 1$ in the Theorem 3, then we obtain ([57], Theorem 5).

$\begin{matrix} | ϝ (\frac{ℓ_{1} + ℓ_{2}}{2}) [J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}}^{ϱ} χ (ℓ_{2}) + J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{-}, Θ}^{ϱ} χ (τ_{1})] | \\ - | [J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}}^{ϱ} χ ϝ (ℓ_{2}) + J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{-}}^{ϱ} χ ϝ (τ_{1})] | \\ \leq \frac{{| χ | |}_{\infty, [τ_{1}, ℓ_{2}]} {(ℓ_{2} - τ_{1})}^{ϱ + 1}}{2^{ϱ + 1 + \frac{1}{q}} (ϱ + 1) {(ϱ + s + 1)}^{\frac{1}{q}} k Γ_{k} (ϱ + 1)} [(2^{ϱ + 1} (ϱ + 1) (ϱ + s + 1) B_{\frac{1}{2}} (ϱ + 1, s + 1) {| Υ^{'} (τ_{1}) |}^{q} \\ + 2^{1 - s} (ϱ + 1) {| Υ^{'} (ℓ_{2}) |}^{q})^{\frac{1}{q}} \\ {(2^{ϱ + 1} (ϱ + 1) (ϱ + s + 1) B_{\frac{1}{2}} (ϱ + 1, s + 1) | Υ^{'} (ℓ_{2}) |^{q} + 2^{1 - s} (ϱ + 1) {| Υ^{'} (τ_{1}) |}^{q})}^{\frac{1}{q}}] . \end{matrix}$

Corollary 4.

For the choice of $s = 1, Θ (u) = u, m = 0, δ_{i} = 0$ , $κ_{i} = 0, \forall i$ and $k = 1$ in the Theorem 3, then we arrive at the following mid-point inequality

$\begin{matrix} | Υ (\frac{ℓ_{1} + ℓ_{2}}{2}) \int_{ℓ_{1}}^{ℓ_{2}} χ (ν) d ν - \int_{ℓ_{1}}^{ℓ_{2}} (Υ χ) (ν) d ν | \\ \leq \frac{| | χ | | {(ℓ_{2} - ℓ_{1})}^{2}}{{(3)}^{\frac{1}{q}} 8} [{(2 | Υ^{'} (ℓ_{1}) |^{q} + {| Υ^{'} (ℓ_{2}) |}^{q})}^{\frac{1}{q}} + {(| Υ^{'} (ℓ_{1}) |^{q} + 2 {| Υ^{'} (ℓ_{2}) |}^{q})}^{\frac{1}{q}}] . \end{matrix}$

Theorem 4.

For $k >$ 0, $m \in ℜ / {- 1}$ , and $R e (μ) > 0, R e (τ) > 0, R e (δ) > 0, R e (β) > 0$ are complex parameters, Θ be an increasing function and Υ be a differentiable on $(ℓ_{1}, ℓ_{2})$ with $ℓ < ℓ_{2}$ and $χ : [ℓ_{1}, ℓ_{2}] \mapsto ℜ$ be bounded. If $Υ^{'}, χ \in L [ℓ_{1}, ℓ_{2}],$ then the below expression holds.

Proof.

Using Hölder’s inequality, we have

$\begin{matrix} | ϝ (\frac{ℓ_{1} + ℓ_{2}}{2}) [{}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} χ (ℓ_{2}) + {}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{-}; μ, β_{i}}^{δ_{i}, τ_{i}} χ (ℓ_{1})] | \\ - | [{}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} χ ϝ (ℓ_{2}) + {}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{-}; μ, β_{i}}^{δ_{i}, τ_{i}} χ ϝ (ℓ_{1})] | \\ \leq \frac{{(m + 1)}^{\frac{μ}{k} - 1}}{k} \int_{ℓ_{1}}^{ℓ_{2}} | ϝ^{'} (ν) | d ν \\ \leq \frac{{(m + 1)}^{\frac{μ}{k} - 1}}{k} {(\int_{ℓ_{1}}^{ℓ_{2}} {| κ (ν) |}^{p} d ν)}^{\frac{1}{p}} {(\int_{ℓ_{1}}^{ℓ_{2}} {| ϝ^{'} (ν) |}^{q} d ν)}^{\frac{1}{q}} \\ \leq \frac{{(m + 1)}^{\frac{μ}{k} - 1}}{k} \\ \times (\int_{ℓ_{1}}^{\frac{ℓ_{1} + ℓ_{2}}{2}} (| \int_{ℓ_{1}}^{ν} \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} {(Θ^{m + 1} (u) - Θ^{m + 1} (ℓ_{1}))}^{\frac{β_{1}}{k}}, \dots, τ_{n} {(Θ^{m + 1} (u) - Θ^{m + 1} (ℓ_{1}))}^{\frac{β_{n}}{k}})}{{(Θ^{m + 1} (u) - Θ^{m + 1} (ℓ_{1}))}^{\frac{μ}{k} - 1}} \\ \times Θ^{m} (u) Θ^{'} (u) χ (u) d u |)^{p} d ν)^{\frac{1}{p}} {(\int_{ℓ_{1}}^{ν} {(\frac{ℓ_{2} - ν}{ℓ_{2} - ℓ_{1}})}^{s} (| Υ^{'} (ℓ_{1}) |^{q} + {(\frac{ν - ℓ_{1}}{ℓ_{2} - ℓ_{1}})}^{s} {| Υ^{'} (ℓ_{2}) |}^{q} d ν)}^{\frac{1}{q}} \\ + (\int_{\frac{ℓ_{1} + ℓ_{2}}{2}}^{ℓ_{2}} (| \int_{ℓ_{2}}^{ν} \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (u))}^{\frac{β_{1}}{k}}, \dots, τ_{n} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (u))}^{\frac{β_{n}}{k}})}{{(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (u))}^{\frac{μ}{k} - 1}} \\ \times Θ^{m} (u) Θ^{'} (u) χ (u) d u |)^{p} d ν)^{\frac{1}{p}} {(\int_{ν}^{ℓ_{2}} {(\frac{ℓ_{2} - ν}{ℓ_{2} - ℓ_{1}})}^{s} (| Υ^{'} (ℓ_{1}) |^{q} + {(\frac{ν - ℓ_{1}}{ℓ_{2} - ℓ_{1}})}^{s} {| Υ^{'} (ℓ_{2}) |}^{q} d ν)}^{\frac{1}{q}} \\ = \frac{{(m + 1)}^{\frac{μ}{k}} {| | χ | |}_{\infty}}{(μ + Σ_{i = 1}^{n} (β_{i} κ_{i}))} Σ_{n = 0}^{\infty} \frac{{(δ_{i})}_{κ_{i}, k} {(τ_{i})}^{κ_{i}}}{Γ_{k} (μ + Σ_{i = 1}^{n} (β_{i} κ_{i}))} \\ \times ({(\int_{ℓ_{1}}^{\frac{ℓ_{1} + ℓ_{2}}{2}} | {(Θ^{m + 1} (ν) - Θ^{m + 1} (ℓ_{1}))}^{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i})}{k}} |^{p} d ν)}^{\frac{1}{p}} \\ \times (\int_{ℓ_{1}}^{ν} {(\frac{ℓ_{2} - ν}{ℓ_{2} - ℓ_{1}})}^{s} (| Υ^{'} (ℓ_{1}) |^{q} + {(\frac{ν - ℓ_{1}}{ℓ_{2} - ℓ_{1}})}^{s}) {| Υ^{'} (ℓ_{2}) |}^{q} d ν)^{\frac{1}{q}} \\ + {(\int_{\frac{ℓ_{1} + ℓ_{2}}{2}}^{ℓ_{2}} | {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (ν))}^{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i})}{k}} |^{p} d ν)}^{\frac{1}{p}} \\ \times (\int_{ν}^{ℓ_{2}} {(\frac{ℓ_{2} - ν}{ℓ_{2} - ℓ_{1}})}^{s} (| Υ^{'} (ℓ_{1}) |^{q} + {(\frac{ν - ℓ_{1}}{ℓ_{2} - ℓ_{1}})}^{s}) {| Υ^{'} (ℓ_{2}) |}^{q} d ν)^{\frac{1}{q}}) \\ = \frac{{(m + 1)}^{- \frac{μ}{k}} {| | χ | |}_{\infty}}{{(ℓ_{2} - ℓ_{1})}^{\frac{s}{q}} (μ + Σ_{i = 1}^{n} (β_{i} κ_{i}))} Σ_{n = 0}^{\infty} \frac{{(δ_{i})}_{κ_{i}, k} {(τ_{i})}^{κ_{i}}}{Γ_{k} (μ + Σ_{i = 1}^{n} (β_{i} κ_{i}))} \\ \times {\int_{ℓ_{1}}^{\frac{ℓ_{1} + ℓ_{2}}{2}} {(| {(Θ^{m + 1} (ν) - Θ^{m + 1} (ℓ_{1}))}^{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i})}{k}} |^{p} d ν)}^{\frac{1}{p}} \\ \times {(\frac{{(ℓ_{2} - ℓ_{1})}^{m + 1} (2^{m + 1} - 1)}{2^{m + 1} (s + 1)} (| Υ^{'} (ℓ_{1})) |^{q} + \frac{{(ℓ_{2} - ℓ_{1})}^{m + 1}}{2^{m + 1} (s + 1)} {| Υ^{'} (ℓ_{2}) |}^{q})}^{\frac{1}{q}} \\ + \int_{\frac{ℓ_{1} + ℓ_{2}}{2}}^{ℓ_{2}} {(| {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (ν))}^{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i})}{k}} |^{p} d ν)}^{\frac{1}{p}} \\ \times \frac{{(ℓ_{2} - ℓ_{1})}^{m + 1}}{2^{m + 1} (s + 1)} (| Υ^{'} (ℓ_{1}) {|)}^{q} + {(\frac{{(ℓ_{2} - ℓ_{1})}^{m + 1} (2^{m + 1} - 1)}{2^{m + 1} (s + 1)} {| Υ^{'} (ℓ_{2}) |}^{q})}^{\frac{1}{q}}} \\ \leq \frac{{(m + 1)}^{- \frac{μ}{k}} {| | χ | |}_{\infty} {(ℓ_{2} - ℓ_{1})}^{\frac{1}{q}}}{2^{\frac{s}{q} + \frac{1}{q}} {(s + 1)}^{\frac{1}{q}} (μ + Σ_{i = 1}^{n} (β_{i} κ_{i}))} Σ_{n = 0}^{\infty} \frac{{(δ_{i})}_{κ_{i}, k} {(τ_{i})}^{κ_{i}}}{Γ_{k} (μ + Σ_{i = 1}^{n} (β_{i} κ_{i}))} \\ \times {\int_{ℓ_{1}}^{\frac{ℓ_{1} + ℓ_{2}}{2}} {(| {(Θ^{m + 1} (ν) - Θ^{m + 1} (ℓ_{1}))}^{\frac{p (μ + Σ_{i = 1}^{n} (β_{i} κ_{i}))}{k}} | d ν)}^{\frac{1}{p}} \times {((2^{m + 1} - 1) (| Υ^{'} (ℓ_{1})) |^{q} + {| Υ^{'} (ℓ_{2}) |}^{q})}^{\frac{1}{q}} \\ + \int_{\frac{ℓ_{1} + ℓ_{2}}{2}}^{ℓ_{2}} {(| {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (ν))}^{\frac{p (μ + Σ_{i = 1}^{n} (β_{i} κ_{i}))}{k}} | d ν)}^{\frac{1}{p}} \times (| Υ^{'} (ℓ_{1}) {|)}^{q} + {((2^{m + 1} - 1) {| Υ^{'} (ℓ_{2}) |}^{q})}^{\frac{1}{q}}} \end{matrix}$

Which is our desired result. □

Corollary 5.

If we replace $Θ (u) = u, m = 0, δ_{i} = 0$ , $κ_{i} = 0, \forall i$ and $s = k = 1$ then we obtain ([28], Theorem 8).

$\begin{matrix} | ϝ (\frac{ℓ_{1} + ℓ_{2}}{2}) [J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}}^{μ} χ (ℓ_{2}) + J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{-}}^{μ} χ (ℓ_{1})] | - | [J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}}^{μ} χ ϝ (ℓ_{2}) + J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{-}}^{μ} χ ϝ (ℓ_{1})] | \\ \leq \frac{{| | χ | |}_{\infty} {(ℓ_{2} - ℓ_{1})}^{\frac{1}{q}}}{2^{\frac{3}{q}} Γ_{(} μ + 1)} (\int_{ℓ_{1}}^{\frac{ℓ_{1} + ℓ_{2}}{2}} {(| {(ν - ℓ_{1})}^{p μ} | d ν)}^{\frac{1}{p}} \\ \times {(3 (| Υ^{'} (ℓ_{1})) |^{q} + {| Υ^{'} (ℓ_{2}) |}^{q})}^{\frac{1}{q}} + \int_{\frac{ℓ_{1} + ℓ_{2}}{2}}^{ℓ_{2}} {(| {(ℓ_{2} - ν)}^{p μ} | d ν)}^{\frac{1}{p}} {(| Υ^{'} (ℓ_{1}) |)}^{q} + {(3 | Υ^{'} (ℓ_{2}) |^{q})}^{\frac{1}{q}}) . \end{matrix}$

Proposition 2.

If we replace $Θ (u) = u, m = 0, δ_{i} = 0$ , $κ_{i} = 0, \forall i$ and $s = k = 1$ we obtain the following

$\begin{matrix} | Υ (\frac{ℓ_{1} + ℓ_{2}}{2}) \int_{ℓ_{1}}^{ℓ_{2}} χ (ν) d ν - \int_{ℓ_{1}}^{ℓ_{2}} (Υ χ) (ν) d ν | \\ \leq \frac{| | χ | | {(ℓ_{2} - ℓ_{1})}^{2}}{{(m + 1)}^{\frac{1}{p}} 2^{\frac{4 p - 2}{p}}} [{(3 | Υ^{'} (ℓ_{1}) |^{q} + {| Υ^{'} (ℓ_{2}) |}^{q})}^{\frac{1}{q}} + {(| Υ^{'} (ℓ_{1}) |^{q} + 3 {| Υ^{'} (ℓ_{2}) |}^{q})}^{\frac{1}{q}}] . \end{matrix}$

3. Generalized H-H-F Type Inequalities Involving h-Convexity Associated with an Extended Fractional Operator and M-M-L Function

This section’s first result reveals the M-M-L function for a generalized h-Cf and the generalized H-H-F inequality related with an extended fractional operator. In order to achieve this, the generalized supermultiplicative (s-m) mappings are necessary.

Definition 10.

Let us consider $ℵ, ℑ \in ℜ$ be invertals, $ℑ \geq (0, 1)$ and $h \neq 0 : ℑ \to ℜ$ be a positive. Also, a non-negative function $f : ℵ \to ℜ$ is known as h-Cf if the inequality given below

$\begin{matrix} f (t x + (1 - t) y) \leq h (t) f (x) + h (1 - t) f (y) \end{matrix}$

holds for all $x, y \in ℵ, t \in (0, 1) .$

Definition 11.

A mapping $h : ℑ \subseteq ℜ \to ℜ$ is known as generalized s-m if

$\begin{matrix} h (x y) \geq h (x) h (y) \end{matrix}$

holds for all $x, y \in ℑ$ .

Theorem 5.

For $k >$ 0, $m \in ℜ / {- 1}$ , and $R e (μ) > 0, R e (τ) > 0, R e (δ) > 0, R e (β) > 0$ are complex parameters, and Θ be an increasing function on $(ℓ_{1}, ℓ_{2})$ with $ℓ < ℓ_{2}$ , also $f : [ℓ_{1}, ℓ_{2}] \to ℜ$ be the geneeralized h-Cf and $w : [ℓ_{1}, ℓ_{2}] \to ℜ$ , $w \geq 0$ be symmetric pertaining to $\frac{ℓ_{1} + ℓ_{2}}{2}$ . If $f (x), w (x) \in ({}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}}) [ℓ_{1}, ℓ_{2}]$ , then we have

(16) $\begin{matrix} ({}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}}) f (y) w (y) \\ \leq \frac{f (ℓ_{1}) + f (ℓ_{2})}{2} (({}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} h (\frac{x - ℓ_{2}}{ℓ_{1} - ℓ_{2}}) w (x) (y) + ({}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{-}; μ, β_{i}}^{δ_{i}, τ_{i}} h (1 - \frac{x - ℓ_{2}}{ℓ_{1} - ℓ_{2}}) w (x) (y)) . \end{matrix}$

Proof.

Let $ℓ_{1} < x < \frac{ℓ_{1} + ℓ_{2}}{2} < y < ℓ_{2}$ exists $ν \in (0, 1)$ such that

$\begin{matrix} x = ν ℓ_{1} + (1 - ν) ℓ_{2} \\ y = ν ℓ_{2} + (1 - ν) ℓ_{1} . \end{matrix}$

As we know that f is generalized h-Cf, we have

(17) $\begin{matrix} f (ν ℓ_{1} + (1 - ν) ℓ_{2}) w (ν ℓ_{1} + (1 - ν) ℓ_{2}) \\ \leq h (ν) f (ℓ_{1}) + h (1 - ν) f (ℓ_{2})) w (ν ℓ_{1} + (1 - ν) ℓ_{2}), \end{matrix}$

and

(18) $\begin{matrix} f ((1 - ν) ℓ_{1} + ν ℓ_{2}) w ((1 - ν) ℓ_{1} + ν ℓ_{2}) \\ \leq h (1 - ν) f (ℓ_{1}) + h (ν) f (ℓ_{2})) w ((1 - ν) ℓ_{1} + ν ℓ_{2}) . \end{matrix}$

By multiplying on both sides of (17),

$\begin{matrix} \frac{{(m + 1)}^{\frac{μ}{k} - 1} (ℓ_{2} - ℓ_{1})}{k} \\ \times \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (ν ℓ_{1} + (1 - ν) ℓ_{2}))}^{\frac{β_{1}}{k}}, \dots, τ_{n} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (ν ℓ_{1} + (1 - ν) ℓ_{2}))}^{\frac{β_{n}}{k}})}{{(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (ν ℓ_{1} + (1 - ν) ℓ_{2}))}^{\frac{μ}{k} - 1}} \\ \times Θ^{m} (ν ℓ_{1} + (1 - ν) ℓ_{2}) Θ^{'} (ν ℓ_{1} + (1 - ν) ℓ_{2}), \end{matrix}$

and after simplifying and taking integration on

[0, 1]

with respect to

ν

, we can have

$\begin{matrix} \frac{{(m + 1)}^{\frac{μ}{k} - 1} (ℓ_{2} - ℓ_{1})}{k} \\ \times \int_{0}^{1} \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (ν ℓ_{1} + (1 - ν) ℓ_{2}))}^{\frac{β_{1}}{k}}, \dots, τ_{n} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (ν ℓ_{1} + (1 - ν) ℓ_{2}))}^{\frac{β_{n}}{k}})}{{(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (ν ℓ_{1} + (1 - ν) ℓ_{2}))}^{\frac{μ}{k} - 1}} \\ \times Θ^{m} (ν ℓ_{1} + (1 - ν) ℓ_{2}) Θ^{'} (ν ℓ_{1} + (1 - ν) ℓ_{2}) f (ν ℓ_{1} + (1 - ν) ℓ_{2}) w (ν ℓ_{1} + (1 - ν) ℓ_{2}) d ν \\ \leq \frac{{(m + 1)}^{\frac{μ}{k} - 1} (ℓ_{2} - ℓ_{1})}{k} \\ \times \int_{0}^{1} \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (ν ℓ_{1} + (1 - ν) ℓ_{2}))}^{\frac{β_{1}}{k}}, \dots, τ_{n} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (ν ℓ_{1} + (1 - ν) ℓ_{2}))}^{\frac{β_{n}}{k}})}{{(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (ν ℓ_{1} + (1 - ν) ℓ_{2}))}^{\frac{μ}{k} - 1}} \\ \times Θ^{m} (ν ℓ_{1} + (1 - ν) ℓ_{2}) Θ^{'} (ν ℓ_{1} + (1 - ν) ℓ_{2}) ((h (ν) f (ℓ_{1}) + h (1 - ν) f (ℓ_{2})) w (ν ℓ_{1} + (1 - ν) ℓ_{2}) d ν . \end{matrix}$

By replacing

x = (ν ℓ_{1} + (1 - ν) ℓ_{2}),

we have

(19) $\begin{matrix} ({}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}}) f (y) w (y) \\ \leq f (ℓ_{1}) ({}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} h (\frac{x - ℓ_{2}}{ℓ_{1} - ℓ_{2}}) w (x)) (y) + f (ℓ_{2}) ({}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} h (1 - \frac{x - ℓ_{2}}{ℓ_{1} - ℓ_{2}}) w (x)) (y) . \end{matrix}$

Continuing in the same way if we multiply the below term on both sides of (18)

$\begin{matrix} \frac{{(m + 1)}^{\frac{μ}{k} - 1} (ℓ_{2} - ℓ_{1})}{k} \\ \times \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (ν ℓ_{2} + (1 - ν) ℓ_{1}))}^{\frac{β_{1}}{k}}, \dots, τ_{n} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (ν ℓ_{2} + (1 - ν) ℓ_{1}))}^{\frac{β_{n}}{k}})}{{(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (ν ℓ_{2} + (1 - ν) ℓ_{1}))}^{\frac{μ}{k} - 1}} \\ \times Θ^{m} (ν ℓ_{2} + (1 - ν) ℓ_{1}) Θ^{'} (ν ℓ_{2} + (1 - ν) ℓ_{1}), \end{matrix}$

then after simplifying and taking integration on

[0, 1]

with respect to

ν

, we arrive at

(20) $\begin{matrix} ({}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} f (y) w (y) \\ \leq f (ℓ_{2}) ({}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} h (\frac{x - ℓ_{2}}{ℓ_{1} - ℓ_{2}}) w (x)) (y) + f (ℓ_{1}) ({}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} h (1 - \frac{x - ℓ_{2}}{ℓ_{1} - ℓ_{2}}) w (x)) (y) . \end{matrix}$

By adding (19) and (20), we obtain (16). □

Theorem 6.

For $k >$ 0, $m \in ℜ / {- 1}$ , and $R e (μ) > 0, R e (τ) > 0, R e (δ) > 0, R e (β) > 0$ are complex parameters, and Θ be an increasing function on $(ℓ_{1}, ℓ_{2})$ with $ℓ_{1} < ℓ_{2}$ , also $f : [ℓ_{1}, ℓ_{2}] \to ℜ$ be the geneeralized h-Cf with h define on $[0, m a x (1, ℓ_{2} - ℓ_{1})]$ and $w : [ℓ_{1}, ℓ_{2}] \to ℜ$ , $w \geq 0$ be symmetric pertaining to $\frac{ℓ_{1} + ℓ_{2}}{2}$ and $({}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}}) w > 0$ . $[i]$ Then we have

(21) $\begin{matrix} f (\frac{ℓ_{1} + ℓ_{2}}{2}) ({}_{Θ}^{k, m}J_{a^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} (w (x) + w (ℓ_{1} + ℓ_{2} - x))) (ℓ_{2}) \\ \leq 2 h (\frac{1}{2}) ({}_{Θ}^{k, m}J_{a^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} (w (x) f (x) + w (ℓ_{1} + ℓ_{2} - x) f (ℓ_{1} + ℓ_{2} - x))) (ℓ_{2}) . \end{matrix}$

$[i i]$ Furthemore, if $h,$ is generalized s-m and f is non-negative and

(22) $\begin{matrix} \frac{{(m + 1)}^{\frac{μ}{k} - 1}}{k} \\ \int_{\frac{ℓ_{1} + ℓ_{2}}{2}}^{ℓ_{2}} \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} ((1 - ν) ℓ_{1} + (ν) ℓ_{2}))}^{\frac{β_{1}}{k}}, \dots, τ_{n} (Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} ((1 - ν) ℓ_{1} + (ν) ℓ_{2})) {))}^{\frac{β_{n}}{k}})}{(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (1 - ν) ℓ_{1} + (ν) ℓ_{2}))^{\frac{μ}{k} - 1}} \\ \times Θ^{m} (1 - ν) ℓ_{1} + (ν) ℓ_{2}) Θ^{'} (1 - ν) ℓ_{1} + (ν) ℓ_{2}) \\ \times (\frac{{(m + 1)}^{\frac{μ}{k} - 1}}{k} \\ \int_{ℓ_{2}}^{\frac{ℓ_{1} + ℓ_{2}}{2}} \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (ν ℓ_{1} + (1 - ν) ℓ_{2}))}^{\frac{β_{1}}{k}}, \dots, τ_{n} (Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} {((ν ℓ_{1} + (1 - ν) ℓ_{2}))}^{\frac{β_{n}}{k}})}{{(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (ν ℓ_{1} + (1 - ν) ℓ_{2}))}^{\frac{μ}{k} - 1}} \\ \times Θ^{m} (ν ℓ_{1} + (1 - ν) ℓ_{2}) Θ^{'} (ν ℓ_{1} + (1 - ν) ℓ_{2}) h (y - x) w (x) d x) w (y) d y \neq 0, h (x) > 0, \end{matrix}$

then, we have

(23) $\begin{matrix} f (\frac{ℓ_{1} + ℓ_{2}}{2}) \frac{{(m + 1)}^{\frac{μ}{k} - 1}}{k} \\ \int_{\frac{ℓ_{1} + ℓ_{2}}{2}}^{ℓ_{2}} \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} ((1 - ν) ℓ_{1} + (ν) ℓ_{2}))}^{\frac{β_{1}}{k}}, \dots, τ_{n} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} ((1 - ν) ℓ_{1} + (ν) ℓ_{2}))}^{\frac{β_{n}}{k}})}{(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (1 - ν) ℓ_{1} + (ν) ℓ_{2}))^{\frac{μ}{k} - 1}} \\ \times Θ^{m} (1 - ν) ℓ_{1} + (ν) ℓ_{2}) Θ^{'} (1 - ν) ℓ_{1} + (ν) ℓ_{2}) \\ \times (\frac{{(m + 1)}^{\frac{μ}{k} - 1}}{k} \\ \int_{ℓ_{2}}^{\frac{ℓ_{1} + ℓ_{2}}{2}} \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (ν ℓ_{1} + (1 - ν) ℓ_{2}))}^{\frac{β_{1}}{k}}, \dots, τ_{n} (Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} {((ν ℓ_{1} + (1 - ν) ℓ_{2}))}^{\frac{β_{n}}{k}}}{{(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (ν ℓ_{1} + (1 - ν) ℓ_{2}))}^{\frac{μ}{k} - 1}} \\ \times Θ^{m} (ν ℓ_{1} + (1 - ν) ℓ_{2}) Θ^{'} (ν ℓ_{1} + (1 - ν) ℓ_{2}) h (y - x) w (x) d x) w (y) d y \end{matrix}$

(24) $\begin{matrix} \leq ({}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} h (y - \frac{ℓ_{1} + ℓ_{2}}{2})) (ℓ_{2}) ({}_{Θ}^{k, m}J_{τ_{1}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} f (x) w (x)) (ℓ_{2}) \\ + ({}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} f (y) w (y)) (ℓ_{2}) ({}_{Θ}^{k, m}J_{τ_{1}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} h (\frac{ℓ_{1} + ℓ_{2}}{2} - x)) (ℓ_{2}) . \end{matrix}$

Proof.

(i) Using the h-Cf if $ν = \frac{1}{2}$ , $x = ν ℓ_{1} + (1 - ν) ℓ_{2}$ and $y = (1 - ν) ℓ_{1} + (ν) ℓ_{2}$ , then we have that

(25) $\begin{matrix} f (\frac{ℓ_{1} + ℓ_{2}}{2}) \leq h (\frac{1}{2}) [f (ν ℓ_{1} + (1 - ν) ℓ_{2}) + f (1 - ν) ℓ_{1} + (ν) ℓ_{2})] \\ \Leftrightarrow w (ν ℓ_{1} + (1 - ν) ℓ_{2}) f (\frac{ℓ_{1} + ℓ_{2}}{2}) + w (1 - ν) ℓ_{1} + (ν) ℓ_{2}) f (\frac{ℓ_{1} + ℓ_{2}}{2}) \\ \leq 2 h (\frac{1}{2}) [w (ν ℓ_{1} + (1 - ν) ℓ_{2}) f (ν ℓ_{1} + (1 - ν) ℓ_{2}) \\ + w (1 - ν) ℓ_{1} + (ν) ℓ_{2}) f (1 - ν) ℓ_{1} + (ν) ℓ_{2})] . \end{matrix}$

By multiplying on both sides of (25),

$\begin{matrix} \frac{{(m + 1)}^{\frac{μ}{k} - 1} (ℓ_{2} - ℓ_{1})}{k} \\ \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (ν ℓ_{1} + (1 - ν) ℓ_{2}))}^{\frac{β_{1}}{k}}, \dots, τ_{n} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (ν ℓ_{1} + (1 - ν) ℓ_{2}))}^{\frac{β_{n}}{k}})}{{(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (ν ℓ_{1} + (1 - ν) ℓ_{2}))}^{\frac{μ}{k} - 1}} \\ \times Θ^{m} (ν ℓ_{1} + (1 - ν) ℓ_{2}) Θ^{'} (ν ℓ_{1} + ((1 - ν) ℓ_{2}), \end{matrix}$

and after simplifying and taking integration on

[0, 1]

with respect to

ν

, we have

$\begin{matrix} \frac{{(m + 1)}^{\frac{μ}{k} - 1} (ℓ_{2} - ℓ_{1})}{k} \\ \times \int_{0}^{1} \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (ν ℓ_{1} + (1 - ν) ℓ_{2}))}^{\frac{β_{1}}{k}}, \dots, τ_{n} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (ν ℓ_{1} + (1 - ν) ℓ_{2}))}^{\frac{β_{n}}{k}})}{{(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (ν ℓ_{1} + (1 - ν) ℓ_{2}))}^{\frac{μ}{k} - 1}} \\ \times Θ^{m} (ν ℓ_{1} + (1 - ν) ℓ_{2}) Θ^{'} (ν ℓ_{1} + ((1 - ν) ℓ_{2}) \\ (w (ν ℓ_{1} + (1 - ν) ℓ_{2}) f (\frac{ℓ_{1} + ℓ_{2}}{2}) + w (1 - ν) ℓ_{1} + ν ℓ_{2}) f (\frac{ℓ_{1} + ℓ_{2}}{2})) d ν \\ \leq 2 h (\frac{1}{2}) \frac{{(m + 1)}^{\frac{μ}{k} - 1} (ℓ_{2} - ℓ_{1})}{k} \\ \times \int_{0}^{1} \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (ν ℓ_{1} + (1 - ν) ℓ_{2}))}^{\frac{β_{1}}{k}}, \dots, τ_{n} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (ν ℓ_{1} + (1 - ν) ℓ_{2}))}^{\frac{β_{n}}{k}})}{{(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (ν ℓ_{1} + (1 - ν) ℓ_{2}))}^{\frac{μ}{k} - 1}} \\ \times Θ^{m} (ν ℓ_{1} + (1 - ν) ℓ_{2}) Θ^{'} (ν ℓ_{1} + ((1 - ν) ℓ_{2}) \\ \times [w (ν ℓ_{1} + (1 - ν) ℓ_{2}) f (ν ℓ_{1} + (1 - ν) ℓ_{2}) + w ((1 - ν) ℓ_{1} + (ν) ℓ_{2}) f ((1 - ν) ℓ_{1} + (ν) ℓ_{2})] d ν . \end{matrix}$

By replacing

x = ν ℓ_{1} + (1 - ν) ℓ_{2},

so we have

$\begin{matrix} f (\frac{ℓ_{1} + ℓ_{2}}{2}) ({}_{Θ}^{k, m}J_{a^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} (w (x) + w (ℓ_{1} + ℓ_{2} - x))) (ℓ_{2}) \\ \leq 2 h (\frac{1}{2}) ({}_{Θ}^{k, m}J_{a^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} (w (x) f (x) + w (ℓ_{1} + ℓ_{2} - x) f (ℓ_{1} + ℓ_{2} - x))) (ℓ_{2}) . \end{matrix}$

(ii) Let h be generalized s-m and

h (ν) > 0

for

ν \in [0, m a x (1, ℓ_{2} - ℓ_{1})]

. For any

x, y \in [ℓ_{1}, ℓ_{2}]

such that

ℓ_{1} < x < \frac{ℓ_{1} + ℓ_{2}}{2} < y \leq ℓ_{2}

, we have

(26) $\begin{matrix} \frac{ℓ_{1} + ℓ_{2}}{2} = (\frac{y - \frac{ℓ_{1} + ℓ_{2}}{2}}{y - x}) x + (\frac{\frac{ℓ_{1} + ℓ_{2}}{2} - x}{y - x}) y \Rightarrow f (\frac{ℓ_{1} + ℓ_{2}}{2}) \\ \leq h (\frac{y - \frac{ℓ_{1} + ℓ_{2}}{2}}{y - x}) f (x) + h (\frac{\frac{ℓ_{1} + ℓ_{2}}{2} - x}{y - x}) f (y) . \end{matrix}$

Since h is s-m

(27) $\begin{matrix} h (\frac{y - \frac{ℓ_{1} + ℓ_{2}}{2}}{y - x}) \leq \frac{h (y - \frac{ℓ_{1} + ℓ_{2}}{2})}{h (y - x)} \end{matrix}$

and

(28) $\begin{matrix} h (\frac{\frac{ℓ_{1} + ℓ_{2}}{2} - x}{y - x}) \leq \frac{h (\frac{ℓ_{1} + ℓ_{2}}{2} - x)}{h (y - x)} . \end{matrix}$

When

f (x) \geq 0

we have

(29) $\begin{matrix} h (y - x) f (\frac{ℓ_{1} + ℓ_{2}}{2}) \leq h (y - \frac{ℓ_{1} + ℓ_{2}}{2}) f (x) + h (\frac{ℓ_{1} + ℓ_{2}}{2} - x) f (y) . \end{matrix}$

By multiplying weighted iterated integrals on both sides of (29),

$\begin{matrix} \frac{{(m + 1)}^{\frac{μ}{k} - 1} (ℓ_{2} - ℓ_{1})}{k} \\ \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (ν τ_{1} + (1 - ν) ℓ_{2}))}^{\frac{β_{1}}{k}}, \dots, τ_{n} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (ν ℓ_{1} + (1 - ν) ℓ_{2}))}^{\frac{β_{n}}{k}})}{{(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (ν ℓ_{1} + (1 - ν) ℓ_{2}))}^{\frac{μ}{k} - 1}} \\ \times Θ^{m} (ν ℓ_{1} + (1 - ν) ℓ_{2}) Θ^{'} (ν ℓ_{1} + ((1 - ν) ℓ_{2}) w (y), \end{matrix}$

and after simplifying and taking integration of

w (x)

and

w (y)

[0, \frac{1}{2}]

and

[\frac{1}{2}, 1]

, respectively, we have

$\begin{matrix} f (\frac{ℓ_{1} + ℓ_{2}}{2}) \frac{{(m + 1)}^{\frac{μ}{k} - 1} (ℓ_{2} - ℓ_{1})}{k} \\ \times \int_{\frac{1}{2}}^{1} \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (1 - ν) ℓ_{1} + ν ℓ_{2})}^{\frac{β_{1}}{k}}, \dots, τ_{n} (Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (1 - ν) ℓ_{1} + ν ℓ_{2}))^{\frac{β_{n}}{k}})}{(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (1 - ν) ℓ_{1} + ν ℓ_{2}))^{\frac{μ}{k} - 1}} \\ \times Θ^{m} (1 - ν) ℓ_{1} + ν ℓ_{2}) Θ^{'} (1 - ν) ℓ_{1} + ν ℓ_{2}) \\ \times (\frac{{(m + 1)}^{\frac{μ}{k} - 1} (ℓ_{2} - ℓ_{1})}{k} \\ \times \int_{0}^{\frac{1}{2}} \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (ν ℓ_{1} + (1 - ν) ℓ_{2}))}^{\frac{β_{1}}{k}}, \dots, τ_{n} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (ν ℓ_{1} + (1 - ν) ℓ_{2}))}^{\frac{β_{n}}{k}})}{{(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (ν ℓ_{1} + (1 - ν) ℓ_{2}))}^{1 - \frac{δ}{k}}} \\ \times Θ^{m} (ν ℓ_{1} + (1 - ν) ℓ_{2}) Θ^{'} (ν ℓ_{1} + (1 - ν) ℓ_{2}) h (y - x) w (x) d x) w (y) d y \\ \leq \frac{{(m + 1)}^{\frac{μ}{k} - 1} (ℓ_{2} - ℓ_{1})}{k} \\ \times \int_{\frac{1}{2}}^{1} \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (1 - ν) ℓ_{1} + ν ℓ_{2})}^{\frac{β_{1}}{k}}, \dots, τ_{n} (Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (1 - ν) ℓ_{1} + ν ℓ_{2}))^{\frac{β_{n}}{k}})}{(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (1 - ν) ℓ_{1} + ν ℓ_{2}))^{\frac{μ}{k} - 1}} \\ \times Θ^{m} (1 - ν) ℓ_{1} + ν ℓ_{2}) Θ^{'} (1 - ν) ℓ_{1} + ν ℓ_{2}) h (y - \frac{ℓ_{1} + ℓ_{2}}{2}) d y \\ \times \frac{{(m + 1)}^{\frac{μ}{k} - 1} (ℓ_{2} - ℓ_{1})}{k} \\ \times \int_{0}^{\frac{1}{2}} \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (ν ℓ_{1} + (1 - ν) ℓ_{2}))}^{\frac{β_{1}}{k}}, \dots, τ_{n} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (ν ℓ_{1} + (1 - ν) ℓ_{2}))}^{\frac{β_{n}}{k}})}{{(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (ν ℓ_{1} + (1 - ν) ℓ_{2}))}^{1 - \frac{δ}{k}}} \\ \times Θ^{m} (ν ℓ_{1} + (1 - ν) ℓ_{2}) Θ^{'} (ν ℓ_{1} + (1 - ν) ℓ_{2}) f (x) w (x) d x \\ + \frac{{(m + 1)}^{\frac{μ}{k} - 1} (ℓ_{2} - ℓ_{1})}{k} \\ \times \int_{\frac{1}{2}}^{1} \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (1 - ν) ℓ_{1} + ν ℓ_{2})}^{\frac{β_{1}}{k}}, \dots, τ_{n} (Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (1 - ν) ℓ_{1} + ν ℓ_{2}))^{\frac{β_{n}}{k}})}{(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (1 - ν) ℓ_{1} + ν ℓ_{2}))^{\frac{μ}{k} - 1}} \\ \times Θ^{m} (1 - ν) ℓ_{1} + ν ℓ_{2}) Θ^{'} (1 - ν) ℓ_{1} + ν ℓ_{2}) f (y) w (y) d y \\ \times \frac{{(m + 1)}^{\frac{μ}{k} - 1} (ℓ_{2} - ℓ_{1})}{k} \\ \times \int_{0}^{\frac{1}{2}} \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (ν ℓ_{1} + (1 - ν) ℓ_{2}))}^{\frac{β_{1}}{k}}, \dots, τ_{n} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (ν ℓ_{1} + (1 - ν) ℓ_{2}))}^{\frac{β_{n}}{k}})}{{(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (ν ℓ_{1} + (1 - ν) ℓ_{2}))}^{1 - \frac{δ}{k}}} \\ \times Θ^{m} (ν ℓ_{1} + (1 - ν) ℓ_{2}) Θ^{'} (ν ℓ_{1} + (1 - ν) ℓ_{2}) h (\frac{ℓ_{1} + ℓ_{2}}{2} - x) d x . \end{matrix}$

By replacing

x = ν ℓ_{1} + (1 - ν) ℓ_{2})

and

y = (1 - ν) ℓ_{1} + (ν) ℓ_{2}),

then we have

$\begin{matrix} f (\frac{ℓ_{1} + ℓ_{2}}{2}) \frac{{(m + 1)}^{\frac{μ}{k} - 1}}{k} \\ \times \int_{\frac{ℓ_{1} + ℓ_{2}}{2}}^{ℓ_{2}} \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} (Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} {(y)}^{\frac{β_{1}}{k}}, \dots, τ_{n} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (y))}^{\frac{β_{n}}{k}})}{(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} {(y)}^{\frac{μ}{k} - 1}} Θ^{m} (y) Θ^{'} (y) \\ \times (\frac{{(m + 1)}^{\frac{μ}{k} - 1}}{k} \int_{ℓ_{1}}^{\frac{ℓ_{1} + ℓ_{2}}{2}} \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} (Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} {(x)}^{\frac{β_{1}}{k}}, \dots, τ_{n} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (x))}^{\frac{β_{n}}{k}})}{(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} {(x)}^{\frac{μ}{k} - 1}} \\ \times Θ^{m} (x) Θ^{'} (x) h (y - x) w (x) d x) w (y) d y \\ \leq \frac{{(m + 1)}^{\frac{μ}{k} - 1}}{k} \int_{\frac{ℓ_{1} + ℓ_{2}}{2}}^{ℓ_{2}} \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} (Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} {(y)}^{\frac{β_{1}}{k}}, \dots, τ_{n} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (y))}^{\frac{β_{n}}{k}})}{(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} {(y)}^{\frac{μ}{k} - 1}} \\ \times Θ^{m} (y) Θ^{'} (y) h (y - \frac{ℓ_{1} + ℓ_{2}}{2}) d y \\ \times \frac{{(m + 1)}^{\frac{μ}{k} - 1}}{k} \int_{ℓ_{1}}^{\frac{ℓ_{1} + ℓ_{2}}{2}} \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} (Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} {(x)}^{\frac{β_{1}}{k}}, \dots, τ_{n} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (x))}^{\frac{β_{n}}{k}})}{(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} {(x)}^{\frac{μ}{k} - 1}} \\ \times Θ^{m} (x) Θ^{'} (x) f (x) w (x) d x \\ + \frac{{(m + 1)}^{\frac{μ}{k} - 1}}{k} \int_{\frac{ℓ_{1} + ℓ_{2}}{2}}^{ℓ_{2}} \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} (Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} {(y)}^{\frac{β_{1}}{k}}, \dots, τ_{n} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (y))}^{\frac{β_{n}}{k}})}{(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} {(y)}^{\frac{μ}{k} - 1}} \\ \times Θ^{m} (y) Θ^{'} (y) f (y) w (y) d y \\ \times \frac{{(m + 1)}^{\frac{μ}{k} - 1}}{k} \int_{ℓ_{1}}^{\frac{ℓ_{1} + ℓ_{2}}{2}} \frac{ξ_{k, μ, β_{i}}^{δ_{i}} (τ_{1} (Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} {(x)}^{\frac{β_{1}}{k}}, \dots, τ_{n} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (x))}^{\frac{β_{n}}{k}})}{(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} {(x)}^{\frac{μ}{k} - 1}} \\ \times Θ^{m} (x) Θ^{'} (x) h (\frac{ℓ_{1} + ℓ_{2}}{2} - x) d x \\ = ({}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} h (y - \frac{ℓ_{1} + ℓ_{2}}{2})) (ℓ_{2}) ({}_{Θ}^{k, m}J_{τ_{1}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} f (x) w (x)) (ℓ_{2}) \\ + ({}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} f (y) w (y)) (ℓ_{2}) ({}_{Θ}^{k, m}J_{τ_{1}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} h (\frac{ℓ_{1} + ℓ_{2}}{2} - x)) (ℓ_{2}) . \end{matrix}$

□

Lemma 2.

If $f : [ℓ_{1}, ℓ_{2}] \to ℜ$ is generalized h-Cf, then identity given below

(30) $\begin{matrix} f (ℓ_{1} + ℓ_{2} - x) \leq (h (ν) + h (1 - ν)) [f (ℓ_{1}) + f (ℓ_{2})] - f (x), \end{matrix}$

hold for all $x \in [ℓ_{1}, ℓ_{2}]$ and $ν \in [0, 1]$ .

Proof.

We skip the proof of Lemma 2 here, because essentially it is very identical with that of (Lemma 1, [58]). □

Theorem 7.

For $k >$ 0, $m \in ℜ / {- 1}$ , and $R e (μ) > 0, R e (τ) > 0, R e (δ) > 0, R e (β) > 0$ are complex parameters, and Θ be an increasing function on $(ℓ_{1}, ℓ_{2})$ with $ℓ < ℓ_{2}$ , also the geneeralized h-Cf $f : [ℓ_{1}, ℓ_{2}] \to ℜ$ and $w : [ℓ_{1}, ℓ_{2}] \to ℜ$ , $w \geq 0$ both are symmetric pertaining to $\frac{ℓ_{1} + ℓ_{2}}{2}$ , then we have

$\begin{matrix} f (\frac{ℓ_{1} + ℓ_{2}}{2}) ({}_{Θ}^{k, m}J_{({(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} w (x)) (ℓ_{2}) \\ \leq 2 h (\frac{1}{2}) ({}_{Θ}^{k, m}J_{({(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} (w (x) f (x) + ((h (ν) + h (1 - ν)) (f (ℓ_{1}) + f (ℓ_{2})) - f (x)) w (x))) (ℓ_{2}) . \end{matrix}$

Proof.

We have

$\begin{matrix} f (\frac{ℓ_{1} + ℓ_{2}}{2}) ({}_{Θ}^{k, m}J_{({(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} (w (x) + w (ℓ_{1} + ℓ_{2} - x))) (ℓ_{2}) \\ \leq h (\frac{1}{2}) ({}_{Θ}^{k, m}J_{({(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} (w (x) f (x) + w (ℓ_{1} + ℓ_{2} - x) f (ℓ_{1} + ℓ_{2} - x))) . \end{matrix}$

Since w is symmetric

$\begin{matrix} f (\frac{ℓ_{1} + ℓ_{2}}{2}) ({}_{Θ}^{k, m}J_{({(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} w (x)) (ℓ_{2}) \\ \leq 2 h (\frac{1}{2}) ({}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} (w (x) f (x) + ((h (ν) + h (1 - ν)) (f (ℓ_{1}) + f (ℓ_{2})) - f (x)) w (x))) (ℓ_{2}) . \end{matrix}$

□

Example 2.

If we choose $w (x) = 1, f (x) = Θ^{m + 1} (x)$ and $h (x) = 1$ , we have

$\begin{matrix} f (\frac{ℓ_{1} + ℓ_{2}}{2}) ({}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} w (x)) (ℓ_{2}) \\ = (\frac{{(m + 1)}^{- \frac{μ}{k}}}{k} \sum_{n = 0}^{\infty} \frac{{(δ_{i})}_{κ_{i}, k} {(τ_{i})}^{κ_{i}}}{Γ_{k} (μ + Σ_{i = 1}^{n} (β_{i} κ_{i})) (\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i})}{k})} {((Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (\frac{ℓ_{1} + ℓ_{2}}{2}))}^{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i})}{k}}, \end{matrix}$

and

$\begin{matrix} 2 h (\frac{1}{2}) ({}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} (w (x) f (x) + ((h (ν) + h (1 - ν)) (f (τ_{1}) + f (ℓ_{2})) - f (x)) w (x))) (ℓ_{2}) \\ = 4 (\frac{{(m + 1)}^{- \frac{μ}{k}}}{k} \sum_{n = 0}^{\infty} \frac{{(δ_{i})}_{κ_{i}, k} {(τ_{i})}^{κ_{i}}}{Γ_{k} (μ + Σ_{i = 1}^{n} (β_{i} κ_{i}) (\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i})}{k})} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (\frac{ℓ_{1} + ℓ_{2}}{2}))}^{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i})}{k}} . \end{matrix}$

By comparing above results we have

(31) $\begin{matrix} \frac{{(m + 1)}^{- \frac{μ}{k}}}{k} \sum_{n = 0}^{\infty} \frac{{(δ_{i})}_{κ_{i}, k} {(τ_{i})}^{κ_{i}}}{Γ_{k} (μ + Σ_{i = 1}^{n} (β_{i} κ_{i}) (\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i})}{k})} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (\frac{ℓ_{1} + ℓ_{2}}{2}))}^{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i})}{k}} \\ \leq 4 (\frac{{(m + 1)}^{- \frac{μ}{k}}}{k} \sum_{n = 0}^{\infty} \frac{{(δ_{i})}_{κ_{i}, k} {(τ_{i})}^{κ_{i}}}{Γ_{k} (μ + Σ_{i = 1}^{n} (β_{i} κ_{i}) (\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i})}{k})} {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (\frac{ℓ_{1} + ℓ_{2}}{2}))}^{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i})}{k}} . \end{matrix}$

The computational values of (31), are shown in Table 3 and Table 4 corresponding to the choice of parameters $m = 2$ , $k = 1$ , $Θ (x) = x^{2}$ , $μ = 2$ , $τ_{i} = 1$ , $β_{i} = 0.5$ , $κ_{i} = 0.5$ , $μ = 0.5$ for some fixed values of $ℓ_{1}$ and $ℓ_{2}$ . Figure 2, shows the graphical representation of (31), corresponding to the choice of parameters $0 < ℓ_{1} = 1 < ℓ_{2} = 4$ .

Theorem 8.

For $k >$ 0, $m \in ℜ / {- 1}$ , and $R e (η) > 0, R e (ϱ) > 0, R e (λ) > 0, R e (γ) > 0$ are complex parameters, and Θ be an increasing function on $(ℓ_{1}, ℓ_{2})$ with $ℓ_{1} < ℓ_{2}$ , also $f : [ℓ_{1}, ℓ_{2}] \to ℜ$ be the geneeralized h-Cf, $h : ℜ \to ℜ$ be non-negative function and $w : [ℓ_{1}, ℓ_{2}] \to ℜ$ , $w \geq 0$ be symmetric pertaining to $\frac{ℓ_{1} + ℓ_{2}}{2}$ and $f (x), w (x) \in ({}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}}) [ℓ_{1}, ℓ_{2}]$ . Then the subsequent the inequality

(32) $\begin{matrix} ({}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}}) f (x) w (x) \\ \leq \frac{f (ℓ_{1}) + f (ℓ_{2})}{2} ({}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} (h (\frac{ℓ_{2} - x}{ℓ_{2} - ℓ_{1}}) + h (\frac{x - ℓ_{1}}{ℓ_{2} - ℓ_{1}})) w (x)) (ℓ_{2}), \end{matrix}$

holds for all $ν \in (0, 1) .$

Proof.

Using Lemma 2 and the symmetricalness of the weight w, we have

$\begin{matrix} \frac{f (\frac{ℓ_{1} + ℓ_{2}}{2}) ({}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}}) w (x)}{2 h (\frac{1}{2})} = \frac{({}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}}) f (\frac{ℓ_{1} + ℓ_{2} - x + x}{2}) w (x)}{2 h (\frac{1}{2})} \\ \leq \frac{({}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}}) h (\frac{1}{2}) [f (ℓ_{1} + ℓ_{2} - x) + f (x)] w (x)}{2 h (\frac{1}{2})} \\ = (\frac{1}{2}) ({}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}}) [f (ℓ_{1} + ℓ_{2} - x) w (ℓ_{1} + ℓ_{2} - x) + f (x) w (x)] \\ = ({}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}}) f (x) w (x) . \end{matrix}$

Which is the left part of the inequality. Alternatively, we have

$\begin{matrix} ({}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} f (x) w (x)) (ℓ_{2}) \\ = \frac{1}{2} ({}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}}) [f (x) w (x) + f (ℓ_{1} + ℓ_{2} - x) w (ℓ_{1} + ℓ_{2} - x)] \\ = \frac{1}{2} ({}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} (f (x) + f (ℓ_{1} + ℓ_{2} - x)) w (x)) (ℓ_{2}) \\ = \frac{1}{2} ({}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} (f (\frac{ℓ_{2} - x}{ℓ_{2} - ℓ_{1}} ℓ_{1} + \frac{x - ℓ_{1}}{ℓ_{2} - ℓ_{1}} ℓ_{2}) \\ + f (\frac{x - ℓ_{1}}{ℓ_{2} - ℓ_{1}} ℓ_{1} + \frac{ℓ_{2} - x}{ℓ_{2} - ℓ_{1}} ℓ_{2})) w (x)) (ℓ_{2}) \\ \leq \frac{1}{2} ({}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} (h (\frac{ℓ_{2} - x}{ℓ_{2} - ℓ_{1}}) f (ℓ_{1}) + h (\frac{x - ℓ_{1}}{ℓ_{2} - ℓ_{1}}) f (ℓ_{2}) \\ + h (\frac{x - ℓ_{1}}{ℓ_{2} - ℓ_{1}}) f (ℓ_{1}) + h (\frac{ℓ_{2} - x}{ℓ_{2} - ℓ_{1}}) f (ℓ_{2})) w (x)) (ℓ_{2}) \\ = \frac{f (ℓ_{1}) + f (ℓ_{2})}{2} ({}_{Θ}^{k, m}J_{{(\frac{ℓ_{1} + ℓ_{2}}{2})}^{+}; μ, β_{i}}^{δ_{i}, τ_{i}} (h (\frac{ℓ_{2} - x}{ℓ_{2} - ℓ_{1}}) + h (\frac{x - ℓ_{1}}{ℓ_{2} - ℓ_{1}})) w (x)) (ℓ_{2}) . \end{matrix}$

□

Example 3.

For graphical representation we choose $f (x) = Θ^{m + 1} (x)$ , $w (x) = x$ and $h (x) = x$ in (32), we have

(33) $\begin{matrix} \frac{{(m + 1)}^{\frac{μ}{k} - 1}}{k} Σ_{n = 0}^{\infty} \frac{{(δ_{i})}_{κ_{i}, k} {(τ_{i})}^{κ_{i}}}{Γ_{k} (μ + Σ_{i = 1}^{n} (β_{i} κ_{i}))} \\ \times (\frac{{(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (\frac{ℓ_{1} + ℓ_{2}}{2}))}^{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i}) + η}{k}}}{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i}) + η}{k}} \\ - \frac{m + 1}{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i})}{k}} \frac{{(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (\frac{ℓ_{1} + ℓ_{2}}{2}))}^{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i})}{k} + 1}}{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i})}{k} + 1}) \\ \leq [Θ^{m + 1} (ℓ_{2}) + Θ^{m + 1} (ℓ_{1})] (\frac{{(m + 1)}^{- \frac{μ}{k}}}{k} \sum_{n = 0}^{\infty} \frac{{(δ_{i})}_{κ_{i}, k} {(τ_{i})}^{κ_{i}}}{Γ_{k} (μ + Σ_{i = 1}^{n} (β_{i} κ_{i}) (\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i})}{k})} \\ \times {(Θ^{m + 1} (ℓ_{2}) - Θ^{m + 1} (\frac{ℓ_{1} + ℓ_{2}}{2}))}^{\frac{μ + Σ_{i = 1}^{n} (β_{i} κ_{i})}{k}}) . \end{matrix}$

The computational values of (33), are shown in Table 5 and Table 6 corresponding to the choice of parameters $m = 2$ , $k = 1$ , $Θ (x) = x^{2}$ , $μ = 2, τ_{i} = 1$ , $β_{i} = 0.5$ , $κ_{i} = 0.5$ , and for some fixed values of $ℓ_{1}$ and $ℓ_{2}$ . The Figure 3, shows the two-dimensional graphical representation of (33), corresponding to the choice of parameters $0 < ℓ_{1} = 1 < ℓ_{2} = 4$ . The Figure 4 shows the three-dimensional graphical representation of (33) corresponding to the choice of parameters $0 < μ < 1$ .

For tabular values

Table 5

The computational values of (33) corresponding to choice $μ = 0.5$ .

$ℓ_{1}$ / $ℓ_{2}$	$2.10$	$2.30$	$2.50$
0.10	(4.12 × $10^{01}$ , 3.14 × $10^{01}$ )	(5.23 × $10^{01}$ , 4.16 × $10^{01}$ )	(6.98 × $10^{01}$ , 5.69 × $10^{01}$ )
0.30	(5.29 × $10^{01}$ , 4.21 × $10^{01}$ )	(6.43 × $10^{01}$ , 5.25 × $10^{01}$ )	(8.44 × $10^{01}$ , 7.07 × $10^{01}$ )
0.50	(6.47 × $10^{01}$ , 5.29 × $10^{01}$ )	(7.62 × $10^{01}$ , 6.34 × $10^{01}$ )	(9.89 × $10^{01}$ , 8.08 × $10^{01}$ )
0.70	(7.65 × $10^{01}$ , 6.36 × $10^{01}$ )	(8.82 × $10^{01}$ , 7.42 × $10^{01}$ )	(1.10 × $10^{02}$ , 9.09 × $10^{01}$ )
0.90	(8.83 × $10^{01}$ , 7.43 × $10^{01}$ )	(1.00 × $10^{02}$ , 8.51 × $10^{01}$ )	(1.24 × $10^{02}$ , 1.04 × $10^{02}$ )
1.00	(1.00 × $10^{02}$ , 8.57 × $10^{01}$ )	(1.13 × $10^{02}$ , 9.45 × $10^{01}$ )	(1.39 × $10^{02}$ , 1.17 × $10^{02}$ )

Table 6

The computational values of (33) corresponding to choice $μ = 0.5$ .

$ℓ_{1}$ / $ℓ_{2}$	$2.70$	$2.90$	$3.00$
0.10	(8.72 × $10^{01}$ , 7.22 × $10^{01}$ )	(1.04 × $10^{02}$ , 8.75 × $10^{01}$ )	(1.16 × $10^{02}$ , 9.87 × $10^{01}$ )
0.30	(1.03 × $10^{02}$ , 8.78 × $10^{01}$ )	(1.21 × $10^{02}$ , 1.05 × $10^{02}$ )	(1.34 × $10^{02}$ , 1.17 × $10^{02}$ )
0.50	(1.20 × $10^{02}$ , 9.89 × $10^{01}$ )	(1.40 × $10^{02}$ , 1.16 × $10^{02}$ )	(1.55 × $10^{02}$ , 1.30 × $10^{02}$ )
0.70	(1.32 × $10^{02}$ , 1.10 × $10^{02}$ )	(1.53 × $10^{02}$ , 1.29 × $10^{02}$ )	(1.69 × $10^{02}$ , 1.43 × $10^{02}$ )
0.90	(1.48 × $10^{02}$ , 1.27 × $10^{02}$ )	(1.72 × $10^{02}$ , 1.49 × $10^{02}$ )	(1.88 × $10^{02}$ , 1.64 × $10^{02}$ )
1.00	(1.64 × $10^{02}$ , 1.38 × $10^{02}$ )	(1.90 × $10^{02}$ , 1.58 × $10^{02}$ )	(2.06 × $10^{02}$ , 1.72 × $10^{02}$ )

4. Discussion

In the first table, the comparison of the LHS, Middle Term, and RHS in the graphs and tables reveals that the RHS is generally larger than both the LHS and Middle Term, with the values increasing as $ℓ_{1}$ and $ℓ_{2}$ increase. The Middle Term tends to be closer to the LHS in magnitude, suggesting its role as a balancing factor between the two sides. As $ℓ_{2}$ increases, the RHS grows more rapidly compared to the LHS and Middle Term, indicating that the RHS is more sensitive to changes in $ℓ_{2}$ . The inequality appears to hold in the form $L H S \leq M i d d l e T e r m \leq R H S$ across the tested values, with the LHS being consistently smaller than or equal to the Middle Term, and the Middle Term smaller than or equal to the RHS. This confirms the validity of the inequality and suggests that while the terms grow with $ℓ_{1}$ and $ℓ_{2}$ , the RHS exhibits the fastest growth. These observations highlight that the inequality holds true in the given range, with the terms influenced differently by $ℓ_{1}$ and $ℓ_{2}$ , and the RHS proving to be the dominant term in terms of magnitude. In the remaining graphs and tables demonstrate that for all combinations of $ℓ_{1}$ and $ℓ_{2}$ , the RHS values are consistently greater than the corresponding LHS values, indicating that the inequality is satisfied in all cases. This suggests that the inequality becomes more pronounced for larger $ℓ_{1}$ and $ℓ_{2}$ , with the RHS serving as a more accurate upper bound, confirming the robustness of the inequality in these conditions.

5. Conclusions

In recent times, mathematical fractional inequalities have found their way into various domains such as the material sciences, heat conduction, viscoelasticity, time series analysis, circuits, human body modeling, and shear waves. While inequalities, itself may not directly take note of issues of educational access, high-quality research, and mathematical advancement—topics such as inequality contribute to the larger objective of improving educational through the dissemination of knowledge, the development of critical thinking abilities, and the encouragement of mathematical literacy among researchers. In this work, we extended the well-known H-H-F inequalities by introducing generalized fractional operators involving the M-M-L function. Through the derivation of two key identities for locally differentiable functions, we were able to provide more accurate estimates of the differences between the left, middle, and right terms in the H-H-F inequalities. These generalized inequalities offer valuable insights into generalized convexity and the behavior of fractional operators in various mathematical contexts. The practical applications of these inequalities are significant, particularly in fields such as optimization, fractional calculus, and applied analysis. For instance, the improved inequalities can aid in more precise bounding of functions and contribute to solving complex problems in areas such as signal processing, system modeling, and the study of fractional differential equations. The graphical representations included in this study serve to visualize these inequalities, providing a useful tool for researchers and practitioners. Overall, the results presented in this paper lay a foundation for further exploration of fractional inequalities and their applications in real-world problems. Future research could extend these methods to higher-dimensional settings and explore their potential in new areas such as financial modeling and the modeling of physical systems in plasma physics. Researchers can apply our defined operator to generalized Opial-type, Chebyshev-type, and composite Cf inequality problems, among other types of inequalities. These inequalities play a vital role in computing the special means. Specifically, we have looked into some of the well-known H-H-F inequality’s relations to generalized h-convexity and extended fractional operators. In order to achieve this goal, two identities for local differentiable mappings are created. From these identities, we may derive estimates for the difference between the center and right parts of the H-H-F inequality as well as the difference between the left and central inequality.

Author Contributions

All authors contributed equally and significantly in writing this article. All authors have read and agreed to the published version of the manuscript.

Data Availability Statement

The data used to support the findings of this study are available from the corresponding author upon request.

Acknowledgments

The authors S. Haque, A. Aloqaily and Nabil Mlaiki would like to thank Prince Sultan University for the funding support and for the support through the TAS research lab.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Footnotes

Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Figures and Tables

Figure 1. The graphical representation of (15) corresponding to choice [Forumla omitted. See PDF.].

Figure 2. The graphical representation of (31) corresponding to choice [Forumla omitted. See PDF.].

Figure 3. The two-dimensional graphical representation of (33) corresponding to choice [Forumla omitted. See PDF.].

Figure 4. The three-dimensional graphical representation of (33) corresponding to choice [Forumla omitted. See PDF.].

Table 3

The computational values of (31) corresponding to choice $μ = 0.5$ are as follows.

$ℓ_{1}$ / $ℓ 2$	$2.00$	$2.40$	$2.80$
1.00	(6.93 × $10^{00}$ , 2.77 × $10^{01}$ )	(2.37 × $10^{01}$ , 9.49 × $10^{01}$ )	(9.60 × $10^{01}$ , 3.84 × $10^{02}$ )
1.20	(4.76 × $10^{00}$ , 1.91 × $10^{01}$ )	(1.64 × $10^{01}$ , 6.55 × $10^{01}$ )	(6.46 × $10^{01}$ , 2.58 × $10^{02}$ )
1.40	(3.08 × $10^{00}$ , 1.23 × $10^{01}$ )	(1.09 × $10^{01}$ , 4.37 × $10^{01}$ )	(4.25 × $10^{01}$ , 1.70 × $10^{02}$ )
1.60	(1.81 × $10^{00}$ , 7.23 × $10^{00}$ )	(7.02 × $10^{00}$ , 2.81 × $10^{01}$ )	(2.72 × $10^{01}$ , 1.09 × $10^{02}$ )
1.80	(8.48 × $10^{- 01}$ , 3.39 × $10^{00}$ )	(4.25 × $10^{00}$ , 1.70 × $10^{01}$ )	(1.69 × $10^{01}$ , 6.76 × $10^{01}$ )
2.00	(0.00 × $10^{00}$ , 0.00 × $10^{00}$ )	(2.34 × $10^{00}$ , 9.35 × $10^{00}$ )	(1.01 × $10^{01}$ , 4.05 × $10^{01}$ )

Table 4

The computational values of (31) corresponding to choice $μ = 0.5$ .

$ℓ_{1}$ / $ℓ 2$	$3.20$	$3.60$	$4.00$
1.00	(4.80 × $10^{02}$ , 1.92 × $10^{03}$ )	(3.03 × $10^{03}$ , 1.21 × $10^{04}$ )	(2.43 × $10^{04}$ , 9.70 × $10^{04}$ )
1.20	(3.12 × $10^{02}$ , 1.25 × $10^{03}$ )	(1.89 × $10^{03}$ , 7.57 × $10^{03}$ )	(1.46 × $10^{04}$ , 5.83 × $10^{04}$ )
1.40	(1.98 × $10^{02}$ , 7.94 × $10^{02}$ )	(1.16 × $10^{03}$ , 4.64 × $10^{03}$ )	(8.57 × $10^{03}$ , 3.43 × $10^{04}$ )
1.60	(1.24 × $10^{02}$ , 4.94 × $10^{02}$ )	(6.96 × $10^{02}$ , 2.78 × $10^{03}$ )	(4.95 × $10^{03}$ , 1.98 × $10^{04}$ )
1.80	(7.52 × $10^{01}$ , 3.01 × $10^{02}$ )	(4.09 × $10^{02}$ , 1.64 × $10^{03}$ )	(2.80 × $10^{03}$ , 1.12 × $10^{04}$ )
2.00	(4.47 × $10^{01}$ , 1.79 × $10^{02}$ )	(2.35 × $10^{02}$ , 9.42 × $10^{02}$ )	(1.55 × $10^{03}$ , 6.20 × $10^{03}$ )

References

1. Abel, N. Solution de quelques problemes l’aide d’integrales definies. Mag. Naturv.; 1823; pp. 55-63.

2. Kilbas, A.A.; Srivastava, H.H.; Trujillo, J.J. Theory and Applications of Fractional Differential Equations; Elsevier B.V.: Amsterdam, The Netherlands, 2006.

3. Oldham, K.B.; Spanier, J. The Fractional Calculus; Academic Press: New York, NY, USA, 1974.

4. Caputo, M.; Fabrizio, M. A new definition of fractional derivative without singular kernel. Prog. Frac. Differ. Appl.; 2015; 2, pp. 73-85.

5. Losada, J.; Nieto, J.J. Properties of a new fractional derivative without singular kernel. Prog. Fract. Differ. Appl.; 2015; 1, pp. 87-92.

6. Yang, X.J.; Srivastava, H.M.; Machado, J.A.T. A new fractional derivative without a singular kernel: Application to the moddeling of the steady heat flow. Therm. Sci.; 2016; 20, pp. 753-756. [DOI: https://dx.doi.org/10.2298/TSCI151224222Y]

7. Fernandez, A.; Ozarslan, M.A.; Baleanu, D. On fractional calculus with general analytic kernels. Appl. Math. Comput.; 2019; 354, pp. 248-265. [DOI: https://dx.doi.org/10.1016/j.amc.2019.02.045]

8. Teodoro, G.S.; Machado, J.A.T.; de Oliveira, E.C. A review of definitions of fractional derivatives and other operators. J. Comput. Phys.; 2019; 388, pp. 195-208. [DOI: https://dx.doi.org/10.1016/j.jcp.2019.03.008]

9. Wu, S.; Samraiz, M.; Mehmood, A.; Jarad, J.; Naheed, S. Some symmetric propertise and applications of weighted fractional integral operator. Fractals; 2023; 31, 2340011. [DOI: https://dx.doi.org/10.1142/S0218348X2340011X]

10. Samraiz, M.; Mehmood, A.; Iqbal, S.; Naheed, S.; Rehman, G.; Chu, Y.M. Generalized fractional operator with applications in mathematical physics. Chaos Solition Fractals; 2022; 16, 112830. [DOI: https://dx.doi.org/10.1016/j.chaos.2022.112830]

11. Samraiz, M.; Mehmood, A.; Naheed, S.; Rehman, G.; Kashuri, A.; Nonlaopon, K. On novel fractional Operators involving the multivariate M-L function. Mathematics; 2022; 10, 3991. [DOI: https://dx.doi.org/10.3390/math10213991]

12. Huang, W.H.; Samraiz, M.; Mehmood, A.; Baleanu, D.; Rehman, G.; Naheed, S. Modified Atangana- Baleanu Fractional operators Involving generalized Mittag-Leffler function. Alexanderia Eng. J.; 2023; 75, pp. 639-648. [DOI: https://dx.doi.org/10.1016/j.aej.2023.05.037]

13. Cho, Y.; Kim, I.; Sheen, D. A fractional-order model for MINMOD Millennium. Math. Biosci.; 2015; 262, pp. 36-45. [DOI: https://dx.doi.org/10.1016/j.mbs.2014.11.008] [PubMed: https://www.ncbi.nlm.nih.gov/pubmed/25645181]

14. Magin, R.L.; Ovadia, M. Modeling the cardiac tissue electrode interface using fractional calculus. J. Vib. Control; 2008; 1, pp. 1431-1442. [DOI: https://dx.doi.org/10.1177/1077546307087439]

15. Chen, W.; Pang, G. A new definition of fractional Laplacian with application to modeling three-dimensional nonlocal heat conduction. J. Comput. Phys.; 2016; 309, pp. 350-367. [DOI: https://dx.doi.org/10.1016/j.jcp.2016.01.003]

16. Grahovac, N.M.; Zigic, M.M. Modelling of the hamstring muscle group by use of fractional derivatives. Comput. Math. Appl.; 2010; 59, pp. 1695-1700. [DOI: https://dx.doi.org/10.1016/j.camwa.2009.08.011]

17. Rossikhin, Y.A.; Shitikova, M.Y. Analysis of two colliding fractionally damped spherical shells in modelling blunt human head impacts. Cent. Eur. J. Phys.; 2013; 11, pp. 760-778. [DOI: https://dx.doi.org/10.2478/s11534-013-0194-4]

18. Balci, M.A. Fractional virus epidemic model on financial networks. Open Math.; 2016; 14, pp. 1074-1086. [DOI: https://dx.doi.org/10.1515/math-2016-0098]

19. Roman, H.E.; Porto, M. Fractional derivatives of random walks: Time series with long-time memory. Phys. Rev. E; 2008; 78, 031127. [DOI: https://dx.doi.org/10.1103/PhysRevE.78.031127]

20. Moreles, M.A.; Lainez, R. Mathematical modelling of fractional order circuit elements and bioimpedance applications. Commun. Nonlinear Sci. Numer. Simul.; 2017; 46, pp. 81-88. [DOI: https://dx.doi.org/10.1016/j.cnsns.2016.10.020]

21. Yalçın, S.; Bayram, H. On harmonic univalent functions involving q-Poisson distribution series. MJPS; 2021; 8, pp. 105-111.

22. Reyes-Melo, E.; Martinez-Vega, J.; Guerrero-Salazar, C.; Ortiz-Mendez, U. Application of fractional calculus to the modeling of dielectric relaxation phenomena in polymeric materials. J. Appl. Polym. Sci.; 2005; 98, pp. 923-935. [DOI: https://dx.doi.org/10.1002/app.22057]

23. Carcione, J.M. Theory and modeling of constant-QP- and S -waves using fractional time derivatives. Geophysics; 2009; 74, pp. 1-11. [DOI: https://dx.doi.org/10.1190/1.3008548]

24. Jensen, J.L.W.V. Sur les fonctions convexes et les inegalites entre les valeurs moyennes. Acta Math.; 1905; 30, pp. 175-193. [DOI: https://dx.doi.org/10.1007/BF02418571]

25. Breckner, W.W. Stetigkeitsaussagen fur eine Klasse verallgemein konvexer Funktionen in topologischen linearen Raumen. Publ. Inst. Math.; 1978; 23, pp. 13-20.

26. Jarad, F.; Ugurlu, E.; Abdeljawad, T.; Baleanu, D. On a new class of fractional operators. Adv. Differ. Equ.; 2017; 2017, 247. [DOI: https://dx.doi.org/10.1186/s13662-017-1306-z]

27. Set, E.; Iscan, I.; Sarikaya, M.Z.; Ozdemir, M.E. On new inequalities of Hermite-Hadamard-Fejer’ type for convex functions via fractional integrals. Appl. Math. Comput.; 2015; 259, pp. 875-881. [DOI: https://dx.doi.org/10.1016/j.amc.2015.03.030]

28. Gradshteyn, I.S.; Ryzhik, I.M. Table of Integrals Series and Products, 7 Eds.; Academic Press: San Diego, CA, USA, 1980.

29. Sarikaya, M.Z.; Dahmani, Z.; Kiris, M.E.; Ahmad, F. (k, s)-Riemann-Liouville fractional integral and applications. Hacet. J. Math. Stat.; 2016; 45, pp. 77-89. [DOI: https://dx.doi.org/10.15672/HJMS.20164512484]

30. Gorenflo, R.; Kilbas, A.A.; Mainardi, F.; Rogosin, S.V. Mittag-Leffler Functions, Related Topics and Applications; Springer Monographs in Mathematics Springer: New York, NY, USA, 2014.

31. Akgül, E.K.; Akgül, A.; Yavuz, M. New illustrative application of integral transform to financial models with different fractional derivatives. Chaos Solitions Fractals; 2021; 146, 110877. [DOI: https://dx.doi.org/10.1016/j.chaos.2021.110877]

32. Yavuz, M.; Sene, N. Approximation solution of the model describing fluid flow using generalized laplace transform method and heat balance integral method. Axioms; 2020; 9, 123. [DOI: https://dx.doi.org/10.3390/axioms9040123]

33. Yavuz, M.; Abdeljawad, T. Nonlinear regularized long-wave with a new integral transformation applied to the fractional derivative with power and Mittag-Leffler kernel. Adv. Differ. Equ.; 2020; 2020, 367. [DOI: https://dx.doi.org/10.1186/s13662-020-02828-1]

34. Yavuz, M.; Ozdemir, N. Comparison the new fractional derivative operators involving exponential and Mittag-Leffler kernal. Discrete Contin. Dyn. Syst. Ser. S.; 2020; 13, pp. 995-1006.

35. Podlubny, I. Fractional Differential Equations; Academic Press: San Diego, CA, USA, 1999.

36. Nisar, K.S.; Rahman, G.; Baleanu, D.; Mubeen, S.; Arshad, M. The (k, s)-fractional calculus of k Mittag-Leffler function. Adv. Differ. Equ.; 2017; 2017, 118. [DOI: https://dx.doi.org/10.1186/s13662-017-1176-4]

37. Baleanu, D.; Diethelm, K.; Scalas, E.; Trujillo, J.J. Fractional Calculus: Models and Numerical Methods, Series on Complexity, Nonlinearity and Chaos; World Scientific: Singapore, 2012.

38. Mainardi, F. Fractional Calculus and Waves in Linear Viscoelasticity: An Introduction to Mathematical Models; World Scientific Publishing Company: Singapore, Hackensack, NJ, USA, London, UK, 2010.

39. Zhao, D.; Luo, M. Representations of acting processes and memory effects: General fractional derivative and its application to theory of heat conduction with finite wave speeds. Appl. Math. Comput.; 2019; 49, pp. 531-544. [DOI: https://dx.doi.org/10.1016/j.amc.2018.10.037]

40. Chen, S.B.; Rashid, S.; Noor, M.A.; Ashraf, R.; Chu, Y.M. A new approach on fractional calculus and probability density function. AIMS Math.; 2020; 5, pp. 7041-7054. [DOI: https://dx.doi.org/10.3934/math.2020451]

41. Samraiz, M.; Umer, M.; Abduljawad, T.; Naheed, S.; Rahman, G.; Shah, K. On Riemann-type weighted fractional operator and solution to cauchy problems. Comput. Model. Eng. Sci.; 2022; 136, pp. 901-917. [DOI: https://dx.doi.org/10.32604/cmes.2023.024029]

42. Mittag-Leffler, M.G. Sur la nouvelle fonction E(x). C. R. Acad. Sci.; 1903; 137, 5548.

43. Garg, M.; Manohar, P.; Kalla, S.L. A Mittag-Leffler-type function of two variables. Int. Transf. Spec. Funct.; 2013; 24, 9344. [DOI: https://dx.doi.org/10.1080/10652469.2013.789872]

44. Saxena, R.K.; Kalla, S.L.; Saxena, R. Multivariate analogue of generalised Mittag-Leffler function. Int. Transf. Spec. Funct.; 2011; 22, pp. 533-548. [DOI: https://dx.doi.org/10.1080/10652469.2010.533474]

45. Fej, L. Über die Fourierreihen. II. Math. Naturwiss Anz. Ungar. Akad. Wiss.; 1906; 24, pp. 369-390.

46. Hadamard, J. Étude sur les propriétés des fonctions entières et en particulier d’une fonction considérée par Riemann. J. Mathématiques Pures Appliquées; 1893; 9, pp. 171-215.

47. Tseng, K.L.; Yang, G.S.; Hsu, K.C. Some inequalities for differentiable mappings and applications to Fejér inequality and weighted trapezoidal formula. Taiwan J. Math.; 2011; 15, pp. 1737-1747. [DOI: https://dx.doi.org/10.11650/twjm/1500406376]

48. Delavar, M.R.; Dargomir, S.S. Trapezoidal type inequalities related to h-convex functions with applications. Rev. R. Acad. Cienc Exactas Fís Nat. Ser.-A Math.; 2019; 113, pp. 1487-1498. [DOI: https://dx.doi.org/10.1007/s13398-018-0563-3]

49. Matloka, M. Weighted Simpson type inequalities for h-convex functions. J. Non-Linear Sci. Appl.; 2017; 10, pp. 5770-5780. [DOI: https://dx.doi.org/10.22436/jnsa.010.11.15]

50. Varošanec, S. On h-convexity. J. Math. Anal. Appl.; 2007; 326, pp. 303-311. [DOI: https://dx.doi.org/10.1016/j.jmaa.2006.02.086]

51. Chen, H.; Katugampola, U.N. Hermite-Hadamard and Hermite-Hadamard-Fejer type inequalities for generalized fractional integrals. J. Math. Anal. Appl.; 2017; 446, pp. 1274-1291. [DOI: https://dx.doi.org/10.1016/j.jmaa.2016.09.018]

52. Khan, T.U.; Khan, M.A. Generalized conformable fractional operators. J. Comput. Appl. Math.; 2019; 346, pp. 378-389. [DOI: https://dx.doi.org/10.1016/j.cam.2018.07.018]

53. Samko, S.G.; Kilbas, A.A.; Marichev, O.I. Fractional Integrals and Derivatives, Theory and Applications; Gordon and Breach: Montreux, Switzerland, 1993.

54. Agarwal, P.; Nieto, J.J. Some fractional integral formulas for the Mittag-Leffler type function with four parameters. Open Math.; 2015; 13, pp. 537-546. [DOI: https://dx.doi.org/10.1515/math-2015-0051]

55. Hölder, O.L. Nachrichten von der Königl Gesel Schaft der Wissenschaften und der Georg-August-Universität zu Göttingen; Dieterichsche Verlags-Buchhandlung: Gottingen, Germany, 1889; pp. 38-47.

56. Alqudah, M.A.; Mohammed, P.O.; Abdeljawad, T. Solution of Singular integral equation via Riemann-Liouville fractional integral. Math. Prob. Eng.; 2020; 1, 1250970. [DOI: https://dx.doi.org/10.1155/2020/1250970]

57. Hakiki, M.T.; Wibowo, A. Hermite-Hadamard-Fejer type inequalities for s-convex functions in the second sense via Riemann-Liouville fractional integral. J. Phys. Conf. Ser.; 2020; 1442, 012039. [DOI: https://dx.doi.org/10.1088/1742-6596/1442/1/012039]

58. Sarikaya, M.Z.; Set, E.; Özdemir, M.E. On some new inequalities of Hadamard type involving h-convex functions. Acta Math. Univ. Comeniane; 2010; 79, pp. 265-272.

© 2025 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/). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.

Computational Representation of Fractional Inequalities Through 2D and 3D Graphs with Applications

Content area

Abstract

Full text

2. A Class of Some Results

3. Generalized H-H-F Type Inequalities Involving h-Convexity Associated with an Extended Fractional Operator and M-M-L Function