Next Article in Journal
Box-Counting Dimension Sequences of Level Sets in AI-Generated Fractals
Next Article in Special Issue
New Approaches to Fractal–Fractional Bullen’s Inequalities Through Generalized Convexity
Previous Article in Journal
Fractional Partial Differential Equation Modeling for Solar Cell Charge Dynamics
Previous Article in Special Issue
Significant Study of Fuzzy Fractional Inequalities with Generalized Operators and Applications
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

New Inequalities for GA–h Convex Functions via Generalized Fractional Integral Operators with Applications to Entropy and Mean Inequalities

1
School of Mathematical Sciences, Zhejiang Normal University, Jinhua 321004, China
2
Center for Advanced Studies in Pure and Applied Mathematics, Bahauddin Zakariya University, Multan 60800, Pakistan
3
Department of Information Science, College of Humanities and Sciences, Nihon University, Setagaya-ku, Tokyo 1540000, Japan
4
Department of Mathematics, Saveetha School of Engineering, SIMATS, Chennai 602105, India
5
Department of Mathematics, COMSATS University Islamabad, Lahore Campus, Lahore 54000, Pakistan
*
Author to whom correspondence should be addressed.
Fractal Fract. 2024, 8(12), 728; https://doi.org/10.3390/fractalfract8120728
Submission received: 15 October 2024 / Revised: 30 November 2024 / Accepted: 9 December 2024 / Published: 12 December 2024
(This article belongs to the Special Issue Fractional Integral Inequalities and Applications, 3rd Edition)

Abstract

We prove the inequalities of the weighted Hermite–Hadamard type the and Hermite–Hadamard–Mercer type for an extremely rich class of geometrically arithmetically-h-convex functions (GA-h-CFs) via generalized Hadamard–Fractional integral operators (HFIOs). The two generalized fractional integral operators (FIOs) are Hadamard proportional fractional integral operators (HPFIOs) and Hadamard k-fractional integral operators (HKFIOs). Moreover, we also present the results for subclasses of GA-h-CFs and show that the inequalities proved in this paper unify the results from the recent related literature. Furthermore, we compare the two generalizations in view of the fractional operator parameters that contribute to the generalizations of the results and assess the better approximation via graphical tools. Finally, we present applications of the new inequalities via HPFIOs and HKFIOs by establishing interpolation relations between arithmetic mean and geometric mean and by proving the new upper bounds for the Tsallis relative operator entropy.

1. Introduction

Fractional integral and differential operators expand classical calculus by moving from integer orders to fractional ones and have important applications in real-world problems. Fractional operators are highly applicable because they model events with great accuracy. For example, Section 1.3 of [1] highlights their importance in studying materials ranging from liquids to viscoelastic materials. Recently, its applications have expanded to include diverse fields such as science, medicine, and engineering [2,3]. In the class of fractional integral operators (FIOs), the Riemann–Liouville fractional integral operator (RLFIO) is foundational due to its natural generalization [1]. Another operator gaining recent attention in research [4], the Hadamard–Fractional integral operator (HFIO), exhibits isometric properties with the RLFIO [5]. HFIOs have been studied from various perspectives, including mathematical inequalities [6,7], generalized proportional Hadamard fractional integral operators [8], modifications and generalizations like the Caputo [9], and Hadamard k-fractional integrals [10], as well as their relationship with entropy [11].
Mathematical inequalities are one of the most extensively investigated topics in mathematics due to their wide applicability in analyzing key aspects of both classical and modern phenomena. Recently, these inequalities have been utilized to explore system reliability, prediction, and feedback control [12]. The well-known inequalities, including Jensen’s, Hölder’s, Grön-wall’s, and Bihari’s, are crucial for analyzing the controllability of differential equations [13], while Chebyshev’s inequality is used to find certain parameters in data points [14]. Thus, the broad applicability has led to the investigation of mathematical inequalities across diverse domains. Recently, several variants of classical inequalities have been established, including Jensen’s inequality (JI), Jensen–Mercer inequality (JMI), Ostrowski and Fejér-type inequalities [15,16], Hermite–Hadamard inequality (HHI) [17,18], and Young, Heinz and Polya-Szegő-type inequalities [19,20].
Among the numerous mathematical notions involved in investigations of well-known inequalities, the family of convex functions (CFs) [21] stand out as particularly significant. Properties like continuity, differentiability (almost everywhere), and the monotonicity of their derivatives make CFs an important mathematical notion, which has led to their extensive study over time. As a result, various types of CFs, including h-CFs and its subclasses such as s-CFs, P-CFs, Q-CFs, have been introduced and analyzed, with several inequalities developed for these classes. For more details on CFs, generalized CFs, their characteristics, and associated inequalities, see [6,22] and references therein. It is known that the class of h-CFs contains all the above-mentioned classes, thus attaining the most attention in investigations of inequalities [23,24]. In [25], Niculescu introduced the concept of hybrid convexity, referred to as GA-CFs. Similar to how convexity notions have been extended, GA-CFs have also been generalized and modified, leading to different variants of familiar inequalities for GA-CFs and their generalizations [6,7,26,27]. A recent generalization of GA-CFs, referred to as GA-Cr-h-CFs, has been introduced [28] and inequalities known for GA-CFs have been studied for this generalized family of interval-valued functions (IVFs). The recent related studies on Hermite–Hadamard-type, Fejer-type and Mercer-type inequalities for IVFs have also been presented in [16,29]. Several variants of HHI have been proved for different families of functions [30]. For CFs via fractional integrals [31], generalized harmonic CFs on fractal sets [32], the HHI, and related inequalities have been proven. HHI and Jensen-type inequalities have also been investigated in view of the operators, for example, for h-CFs on fractal sets and FIOs [33,34]. Certain inequalities involving variants of CFs, including HH-type inequalities, have been proven for generalized RLFIOs, including multiplicative RLFIOs [35,36]. In recent years, GA-CFs have also received special attention in the context of mathematical inequalities, particular HHI and related ones [6,7,26,28]. However, several inequalities have not yet been investigated for different FIOs and GA-h-CFs and related families, such as [6,28].
In this paper, we prove the inequalities from the [6,7,37,38] by means of two generalized HFIOs, including HPFIO and HKFIO. We prove inequalities involving these operators, which unify the results from [6,7,37,38]. Furthermore, we compare the two generalizations in view of the parameters that contribute to the generalization of the results and assess the approximation via graphical tools. Finally, we present applications of the new inequalities via HPFIOs and HKFIOs by establishing interpolation relations between the arithmetic mean and the geometric mean and by proving the new upper bounds for the Tsallis-relative operator entropy.

2. Basic Notions and Known Results

In this section, we include the necessary definitions and results. For notions not recalled here, we refer [39] to the readers. We use , 𝚥, L [ x , y ] and h to denote the set of real numbers, an interval in , a set of integrable functions on [ x , y ] , and a function h : [ 0 , 1 ] [ 0 , ) . We start by recalling the notion of different types of CFs.
Definition 1
([21]). A function f : 𝚥 is called a convex function (CF) if for all 0 τ 1 and x , y 𝚥 , the inequality
f τ x + ( 1 τ ) y τ f ( x ) + ( 1 τ ) f ( y )
holds.
Definition 2
([40]). Let function f : 𝚥 and h : [ 0 , 1 ] [ 0 , ) be two functions; we say that f is h-CF if
f τ x + ( 1 τ ) y h ( τ ) f ( x ) + h ( 1 τ ) f ( y ) ,
holds for all x , y 𝚥 and 0 τ 1 .
Definition 3
([25]). A function f : 𝚥 ( 0 , ) is called GA-CF if
f x τ y 1 τ τ f ( x ) + ( 1 τ ) f ( y )
holds for any 0 τ 1 and x , y 𝚥 .
Definition 4
([6]). A function f : 𝚥 ( 0 , ) [ 0 , ) is said to be
GA-s-CF if f x τ y 1 τ ( τ ) s f ( x ) + ( 1 τ ) s f ( y ) ,
GA-Q-CF if f x τ y 1 τ f ( x ) τ + f ( y ) 1 τ ,
GA-P-CF if f x τ y 1 τ f ( x ) + f ( y )
holds ∀ τ [ 0 , 1 ] ( τ 0 , 1 for GA-Q-CF), x , y 𝚥 and s ( 0 , 1 ] .
Definition 5
([6]). Let f : 𝚥 ( 0 , ) [ 0 , ) and h : [ 0 , 1 ] [ 0 , ) . The function f is known as GA-h-CF if
f ( x τ y 1 τ ) h ( τ ) f ( x ) + h ( 1 τ ) f ( y ) ,
holds for any 0 τ 1 and x , y 𝚥 .
Remark 1
([6]). If h ( τ ) = τ (1, τ s or 1 τ ), the inequality necessary for GA-CFs (GA-P-CF, GA-s-CF or GA-Q-CF) holds. Thus GA-h-CF contains all families, including GA-P-CFs, GA-s-CF, GA-P-CFs, and GA-Q-CFs.
Now, we recall the definition of HFIOs.
Definition 6
([5]). Let f L [ x , y ] be a integrable function, with x < y and x, y 0 . Then,
the left side HHIO of order τ > 0 is defined as
𝚥 y τ f ( t ) = 1 Γ ( τ ) t y ( ln z t ) τ 1 f ( z ) z d z . t < y .
The right side HFIO of order τ > 0 defined as
𝚥 x + τ f ( t ) = 1 Γ ( τ ) x t ( ln t z ) τ 1 f ( z ) z d z . x < t .
The generalization of HFI known as generalized Hadamard proportional fractional integral operator (GHPFIO) is
Definition 7
([8]). Let f L [ x , y ] be a integrable function, with x < y and x, y 0 also p ( 0 , 1 ] ; then
The left and right side HPFIO of the order τ > 0 are defined by
𝚥 y τ , p f ( t ) = 1 p τ Γ ( τ ) t y [ e p 1 p l n z t ] ( ln z t ) τ 1 f ( z ) z d z . t < y
and
𝚥 x + τ , p f ( t ) = 1 p τ Γ ( τ ) x t [ e p 1 p l n t z ] ( ln t z ) τ 1 f ( z ) z d z . x < t
Another generalization of HFIO, known as HKFIO, is defined as
Definition 8
([10]). Let f L [ x , y ] with x < y and x, y 0 and k > 0 .
The left and right side HKFIO of order τ > 0 are defined by
𝚥 y , k τ f ( t ) = 1 k Γ k ( τ ) t y ( ln z t ) τ k 1 f ( z ) z d z , t < y
and
𝚥 x + , k τ f ( t ) = 1 k Γ k ( τ ) x t ( ln t z ) τ k 1 f ( z ) z d z , x < t ,
where
Γ k ( τ ) : = 0 t τ 1 exp t k k d t , Re ( τ ) > 0 .
Note that, if p = k = 1 in HPFIO and HKFIO, then we obtain HFIO.
Now, we recall the main results involving HFIs from [6]. Throughout this manuscript, we assume that μ > 0 .
Theorem 1.
For a GA-h-CF f on [ μ , ν ] and an integrable function ϕ on [ μ , ν ] , the inequalities
1 2 h 1 2 f μ ν x y μ ν y μ ν x ϕ ( z ) z d z 1 2 μ ν y μ ν x f ( z ) ϕ ( z ) d z z + μ ν y μ ν x f ( z ) ϕ μ ν 2 x y z d z z 1 2 f ( μ ν x ) + f ( μ ν y ) μ ν y μ ν x h ln y z μ ν ln y x + h ln μ ν x z ln y x ϕ ( z ) d z z f ( μ ) + f ( ν ) μ ν y μ ν x h ln y z μ ν ln y x + h ln μ ν x z ln y x 2 ϕ ( z ) d z z f ( x ) + f ( y ) 2 μ ν y μ ν x h ln y z μ ν ln y x + h ln μ ν x z ln y x ϕ ( z ) d z z ,
hold for all x , y [ μ , ν ] , where h 1 2 0 .
Theorem 2.
For a GA-h-CF f on [ μ , ν ] and an integrable function ϕ on [ μ , ν ] , the inequalities
1 2 h ( 1 2 ) f μ ν x y μ ν y μ ν x ϕ ( z ) z d z 1 2 μ ν y μ ν x f ( z ) ϕ ( z ) d z z + μ ν y μ ν x f ( z ) ϕ μ ν 2 x y z d z z [ f ( μ ) + f ( ν ) ] x y h ln z y ln x y + h ln x z ln x y ϕ μ ν z d z z 1 2 x y f ( z ) ϕ μ ν z d z z + x y f ( z ) ϕ μ ν z x v d z z [ f ( μ ) + f ( ν ) ] x y h ln z y ln x y + h ln x z ln x y ϕ μ ν z d z z 1 2 h ( 1 2 ) f ( x y ) x y ϕ μ ν z d z z ,
hold for all x , y [ μ , ν ] and h 1 2 0 .

3. Results

In this section, we prove Hermite–Hadamard–Mercer and weighted Hermite– Hadamard-type inequalities for GA-h-CFs in terms of HPFIOs. We extract several consequences from the main results. Moreover, the inequalities involving HPFIOs for special cases GA-CFs, GA-s-CFs, GA-P-CFs and GA- Q P -CFs have also been obtained. In the end, by using the special cases for the HPFIO, we re-capture the main results of several recent contributions in the area of mathematical inequalities.
In order to prove the main results, we introduce the following: For any x , y [ μ , ν ] with μ > 0 and x < y , the functions f , ϕ L [ μ , ν ] and a function h : [ 0 , 1 ] [ 0 , ) , we define
H μ , x ν , y ( f , ϕ , h ) = 1 2 μ ν y μ ν x f ( z ) ϕ ( z ) d z z + μ ν y μ ν x f ( z ) ϕ μ ν 2 x y z d z z 1 2 h 1 2 f μ ν x y μ ν y μ ν x ϕ ( z ) z d z .
Under the assumption that if f is GA-h-CF f on [ μ , ν ] , then Theorem 1 implies that H μ , x ν , y ( f , ϕ , h ) 0 .
Now, we are ready to prove the following main result.
Theorem 3.
For a GA-h-CF f on [ μ , ν ] , p ( 0 , 1 ] and τ > 0 , the inequalities
1 2 h ( 1 2 ) f ( μ ν x y ) ln τ ( y x ) e p 1 p ln ( y x ) p 1 p μ ν y μ ν x ln τ ( μ ν z x ) e p 1 p ln ( μ ν z x ) d z z p τ Γ ( τ + 1 ) 1 2 𝚥 μ ν y + τ , p f μ ν x + 𝚥 μ ν x τ , p f μ ν y 1 2 f μ ν x + f μ ν y μ ν y μ ν x h ln y z μ ν ln y x + h ln μ ν x z ln y x e p 1 p ln ( μ ν z x ) ln τ 1 μ ν x z p τ Γ ( τ ) z d z
[ f ( μ ) + f ( ν ) ] μ ν y μ ν x h ln y z μ ν ln y x + h ln μ ν x z ln y x 2 e p 1 p ln ( μ ν z x ) ln τ 1 μ ν x z p τ Γ ( τ ) z d z 1 2 [ f ( x ) + f ( y ) ] μ ν y μ ν x h ln y z μ ν ln y x + h ln μ ν x z ln y x e p 1 p ln ( μ ν z x ) ln τ 1 μ ν x z p τ Γ ( τ ) z d z
hold for all x , y [ μ , ν ] , where h ( 1 2 ) 0 .
Proof. 
To prove the first inequality, we substitute ϕ ( z ) = 1 p τ Γ ( τ ) e p 1 p ln ( μ ν z x ) ln τ 1 μ ν z x in Equation (3); we have
H μ , x ν , y f , 1 p τ Γ ( τ ) e p 1 p ln ( μ ν z x ) ln τ 1 μ ν z x , h = 1 2 μ ν y μ ν x f ( z ) 1 p τ Γ ( τ ) e p 1 p ln ( μ ν z x ) ln τ 1 μ ν z x d z z + μ ν y μ ν x f ( z ) 1 p τ Γ ( τ ) e p 1 p ln ( y z μ ν ) ln τ 1 y z μ ν d z z 1 2 h 1 2 f μ ν x y μ ν y μ ν x 1 p τ Γ ( τ ) e p 1 p ln ( μ ν z x ) ln τ 1 ( μ ν z x ) d z z .
= 1 2 1 p τ Γ ( τ ) μ ν y μ ν x e p 1 p ln ( μ ν z x ) ln τ 1 μ ν z x f ( z ) d z z + 1 p τ Γ ( τ ) μ ν y μ ν x e p 1 p ln ( y z μ ν ) ln τ 1 y z μ ν f ( z ) d z z 1 2 h 1 2 f μ ν x y 1 p τ Γ ( τ ) μ ν y μ ν x ln τ 1 ( μ ν z x ) e p 1 p ln ( μ ν z x ) d z z .
H μ , x ν , y f , 1 p τ Γ ( τ ) e p 1 p ln ( μ ν z x ) ln τ 1 μ ν z x , h = 1 2 𝚥 μ ν y + τ , p f μ ν x + 𝚥 μ ν x τ , p f μ ν y 1 2 h ( 1 2 ) f ( μ ν x y ) ln τ ( y x ) e p 1 p ln ( y x ) p 1 p μ ν y μ ν x ln τ ( μ ν z x ) e p 1 p ln ( μ ν z x ) d z z p τ Γ ( τ + 1 ) .
Since f is GA-h-CF, H μ , u ν , v ( f , 1 p τ Γ ( τ ) e p 1 p ln ( μ ν z u ) ln τ 1 μ ν z x , h ) 0. So
0 1 2 𝚥 μ ν y + τ , p f μ ν x + 𝚥 μ ν x τ , p f μ ν y 1 2 h ( 1 2 ) f ( μ ν x y ) ln τ ( y x ) e p 1 p ln ( y x ) p 1 p μ ν y μ ν x ln τ ( μ ν z x ) e p 1 p ln ( μ ν z x ) d z z p τ Γ ( τ + 1 )
The above inequality produces the following inequality:
1 2 h ( 1 2 ) f ( μ ν x y ) ln τ ( y x ) e p 1 p ln ( y x ) p 1 p μ ν y μ ν x ln τ ( μ ν z x ) e p 1 p ln ( μ ν z x ) d z z p τ Γ ( τ + 1 ) 1 2 𝚥 μ ν y + τ , p f μ ν x + 𝚥 μ ν x τ , p f μ ν y
for all x , y [ μ , ν ] and h ( 1 2 ) 0 . Thus, we obtain the first inequality. The other inequalities directly follow by substituting ϕ ( z ) = 1 p τ Γ ( τ ) e p 1 p ln ( μ ν z x ) ln τ 1 μ ν z x in Theorem 1, which completes the proof. □
By replacing h ( λ ) = λ in Theorem 3, we obtain the following results:
Corollary 1.
for a GA-CF f on [ μ , ν ] , p ( 0 , 1 ] and τ > 0 , the inequalities
f μ ν x y p τ Γ ( τ + 1 ) 2 ln τ ( y x ) e p 1 p ln ( y x ) p 1 p μ ν y μ ν x ln τ ( μ ν z x ) e p 1 p ln ( μ ν z x ) d z z 𝚥 μ ν y + τ , p f μ ν x + 𝚥 μ ν x τ , p f μ ν y 1 2 f μ ν x + f μ ν y [ f ( μ ) + f ( ν ) ] f ( x ) + f ( y ) 2
for all x , y [ μ , ν ] .
By replacing x = μ and y = ν in Theorem 3, we obtain the following results:
Corollary 2.
For a GA-h-CF f on [ μ , ν ] , p ( 0 , 1 ] and τ > 0 , the inequalities
1 2 h ( 1 2 ) f ( μ ν ) ln τ ( ν μ ) e p 1 p ln ( ν μ ) p 1 p μ ν ln τ ( ν z ) e p 1 p ln ( ν z ) d z z p τ Γ ( τ + 1 ) 1 2 𝚥 μ + τ , p f ν + 𝚥 ν τ , p f μ 1 2 f ν + f μ μ ν h ln z μ ln ν μ + h ln ν z ln ν μ e p 1 p ln ( ν z ) ln τ 1 ν z p τ Γ ( τ ) z d z [ f ( μ ) + f ( ν ) ] μ ν h ln z μ ln ν μ + h ln ν z ln ν μ 2 e p 1 p ln ( ν z ) ln τ 1 ν z p τ Γ ( τ ) z d z 1 2 [ f ( μ ) + f ( ν ) ] μ ν h ln z μ ln ν μ + h ln ν z ln ν μ e p 1 p ln ( ν z ) ln τ 1 ν z p τ Γ ( τ ) z d z ,
hold, where h ( 1 2 ) 0 .
By replacing h ( λ ) = λ in Corollary 2, we obtain the following results
Corollary 3.
For a GA-CF f on [ μ , ν ] , p ( 0 , 1 ] and τ > 0 , the inequalities
f μ ν ln τ ν μ e p 1 p ln ν μ p 1 p μ ν ln τ ν z e p 1 p ln ν z d z z p τ Γ ( τ + 1 ) 1 2 𝚥 μ + τ , p f ( ν ) + 𝚥 ν τ , p f ( μ ) f ( ν ) + f ( μ ) 2 ln τ ν μ e p 1 p ln ν μ p 1 p μ ν ln τ ν z e p 1 p ln ν z d z z p τ Γ ( τ + 1 )
hold.
If we put ϕ ( z ) = 1 p τ Γ ( τ ) e p 1 p ln ( μ ν z x ) ln τ 1 μ ν z x or ϕ ( z ) = 1 p τ Γ ( τ ) e p 1 p ln ( y z μ ν ) ln τ 1 y z μ ν in Theorem 2, we obtain the following inequalities.
Theorem 4.
For a GA-h-CF f on [ μ , ν ] , p ( 0 , 1 ] and τ > 0 , the inequalities
1 2 h ( 1 2 ) f ( μ ν x y ) ln τ ( y x ) e p 1 p ln ( y x ) p 1 p μ ν y μ ν x ln τ ( μ ν z x ) e p 1 p ln ( μ ν z x ) d z z p τ Γ ( τ + 1 ) 1 2 { 𝚥 μ ν y + τ , p f μ ν x + 𝚥 μ ν x τ , p f μ ν y } [ f ( μ ) + f ( ν ) ] x y h ln z y ln x y + h ln x z ln x y e p 1 p ln ( z x ) ln τ 1 z x z p τ Γ ( τ ) d z 1 2 𝚥 y τ , p f ( u ) + 𝚥 x + τ , p f ( y ) [ f ( μ ) + f ( ν ) ] x y h ln z y ln x y + h ln x z ln x y e p 1 p ln ( z x ) ln τ 1 z x z p τ Γ ( τ ) d z 1 2 h ( 1 2 ) f ( x y ) ln τ ( y x ) e p 1 p ln ( y x ) p 1 p μ ν y μ ν x ln τ ( μ ν z x ) e p 1 p ln ( μ ν z x ) d z z p τ Γ ( τ + 1 ) ,
hold for all x , y [ μ , ν ] , where h ( 1 2 ) 0 .
By replacing h ( λ ) = λ in Theorem 4, we obtain the following result for GA-CFs through GHPFI.
Corollary 4.
For a GA-CF f on [ μ , ν ] , p ( 0 , 1 ] and τ > 0 , the inequalities
f μ ν x y 1 2 p τ Γ ( τ + 1 ) ln τ y x e p 1 p ln y x p 1 p μ ν y μ ν x ln τ μ ν z x e p 1 p ln μ ν z x d z z × 𝚥 μ ν y + τ , p f μ ν x + 𝚥 μ ν x τ , p f μ ν y f ( μ ) + f ( ν ) 1 2 p τ Γ ( τ + 1 ) ln τ y x e p 1 p ln y x p 1 p μ ν y μ ν x ln τ μ ν z x e p 1 p ln μ ν z x d z z × 𝚥 y τ , p f ( x ) + 𝚥 x + τ , p f ( y ) f ( μ ) + f ( ν ) f x y
hold for all x , y [ μ , ν ] and τ > 0 .
By replacing x = μ and y = ν in Theorem 4, we obtain the following result:
Corollary 5.
For a GA-h-CF f on [ μ , ν ] , p ( 0 , 1 ] and τ > 0 , the inequalities
1 2 h ( 1 2 ) f ( μ ν ) ln τ ( ν μ ) e p 1 p ln ( ν μ ) p 1 p μ ν ln τ ( ν z ) e p 1 p ln ( ν z ) d z z p τ Γ ( τ + 1 ) 1 2 𝚥 μ + τ , p f ν + 𝚥 ν τ , p f μ [ f ( μ ) + f ( ν ) ] μ ν h ln z ν ln μ ν + h ln μ z ln μ ν e p 1 p ln ( z μ ) ln τ 1 z μ z p τ Γ ( τ ) d z 1 2 𝚥 ν τ , p f ( μ ) + 𝚥 μ + τ , p f ( ν ) [ f ( μ ) + f ( ν ) ] μ ν h ln z ν ln μ ν + h ln μ z ln μ ν e p 1 p ln ( z μ ) ln τ 1 z μ z p τ Γ ( τ ) d z 1 2 h ( 1 2 ) f ( μ ν ) ln τ ( ν μ ) e p 1 p ln ( ν μ ) μ ν ln τ ( ν z ) e p 1 p ln ( ν z ) d z z p τ Γ ( τ + 1 )
hold, where h ( 1 2 ) 0 .
By replacing h ( λ ) = λ in Corollary 5, we obtain the result that coincides with the Corollary 3.
Now, we prove wHHMI for GA-h-CFs via GPHFIOs.
Theorem 5
(wHHMI for GA-h-CFs via GPHFIOs). For a GA-h-CF f and a non-negative function w on [ μ , ν ] , p ( 0 , 1 ] and τ > 0 , the wHHMI inequalities
1 2 h 1 2 f μ ν x y 𝚥 μ ν y + τ , p w ( μ ν x ) + 𝚥 μ ν x τ , p w ( μ ν y ) 𝚥 μ ν y + τ , p f w μ ν x + 𝚥 μ ν x τ , p f w μ ν y 1 2 f μ ν x + f μ ν y μ ν y μ ν x h ln y z μ ν ln y x + h ln μ ν x z ln y x e p 1 p ln ( μ ν z x ) ln τ 1 μ ν x z p τ Γ ( τ ) z + e p 1 p ln ( y z μ ν ) ln τ 1 y z μ ν p τ Γ ( τ ) z w ( z ) d z [ f ( μ ) + f ( ν ) ] μ ν y μ ν x h ln y z μ ν ln y x + h ln μ ν x z ln y x 2 e p 1 p ln ( μ ν z x ) ln τ 1 μ ν x z p τ Γ ( τ ) z + e p 1 p ln ( y z μ ν ) ln τ 1 y z μ ν p τ Γ ( τ ) z w ( z ) d z f ( x ) + f ( y ) 2 μ ν y μ ν x h ln y z μ ν ln y x + h ln μ ν x z ln y x e p 1 p ln ( μ ν z x ) ln τ 1 μ ν x z p τ Γ ( τ ) z + e p 1 p ln ( y z μ ν ) ln τ 1 y z μ ν p τ Γ ( τ ) z w ( z ) d z ,
hold for all x , y [ μ , ν ] with h ( 1 2 ) 0 .
Proof. 
By replacing ϕ ( z ) = 1 p τ Γ ( τ ) e p 1 p ln ( μ ν z x ) ln τ 1 μ ν z x w ( z ) and ϕ ( z ) = 1 p τ Γ ( τ ) e p 1 p ln ( y z μ ν )
ln τ 1 y z μ ν w ( z ) in Theorem 1, we obtain
1 2 h 1 2 f μ ν x y 𝚥 μ ν y + τ , p w ( μ ν x ) 1 2 𝚥 μ ν y + τ , p f w μ ν x + 𝚥 μ ν x τ , p f w μ ν y 1 2 f μ ν x + f μ ν y μ ν y μ ν x h ln y z μ ν ln y x + h ln μ ν x z ln y x e p 1 p ln ( μ ν z x ) ln τ 1 μ ν x z p τ Γ ( τ ) z w ( z ) d z [ f ( μ ) + f ( ν ) ] μ ν y μ ν x h ln y z μ ν ln y x + h ln μ ν x z ln y x 2 e p 1 p ln ( μ ν z x ) ln τ 1 μ ν x z p τ Γ ( τ ) z w ( z ) d z 1 2 [ f ( u ) + f ( v ) ] μ ν y μ ν x h ln y z μ ν ln y x + h ln μ ν x z ln y x e p 1 p ln ( μ ν z x ) ln τ 1 μ ν x z p τ Γ ( τ ) z w ( z ) d z ,
and
1 2 h 1 2 f μ ν x y 𝚥 μ ν y τ , p w ( μ ν x ) 1 2 𝚥 μ ν x + τ , p f w μ ν x + 𝚥 μ ν x τ , p f w μ ν y 1 2 f μ ν x + f μ ν y μ ν y μ ν x h ln y z μ ν ln y x + h ln μ ν x z ln y x e p 1 p ln ( y z μ ν ) ln τ 1 y z μ ν p τ Γ ( τ ) z w ( z ) d z [ f ( μ ) + f ( ν ) ] μ ν y μ ν x h ln y z μ ν ln y x + h ln μ ν x z ln y x 2 e p 1 p ln ( y z μ ν ) ln τ 1 y z μ ν p τ Γ ( τ ) z w ( z ) d z 1 2 [ f ( x ) + f ( y ) ] μ ν y μ ν x h ln y z μ ν ln y x + h ln μ ν x z ln y x e p 1 p ln ( y z μ ν ) ln τ 1 y z μ ν p τ Γ ( τ ) z w ( z ) d z ,
for all x , y [ μ , ν ] with τ > 0 , p ( 0 , 1 ] and h ( 1 2 ) 0 .
By adding inequalities (6) and (7), we obtain the required result. □
An immediate consequence of Theorem 5 is as follows; by replacing h ( τ ) = τ in (5), we have the inequality shown below.
Corollary 6.
For a GA-CF f and a non-negative function w on [ μ , ν ] , p ( 0 , 1 ] and τ > 0 , the inequalities
f μ ν x y 𝚥 μ ν y + τ , p w ( μ ν x ) + 𝚥 μ ν x τ , p w ( μ ν y ) 𝚥 μ ν y + τ , p f w μ ν x + 𝚥 μ ν x τ , p f w μ ν y 1 2 f μ ν x + f μ ν y 𝚥 μ ν y + τ , p w μ ν x + 𝚥 μ ν x τ , p w μ ν y f ( μ ) + f ( ν ) f ( x ) + f ( y ) 2 𝚥 μ ν y + τ , p w μ ν x + 𝚥 μ ν x τ , p w μ ν y
hold for all x , y [ μ , ν ] .
By replacing x = μ and y = ν in (5), we obtain the following results.
Corollary 7.
For a GA-h-CF f and a non-negative function w on [ μ , ν ] , p ( 0 , 1 ] and τ > 0 , the inequalities
1 2 h 1 2 f μ ν 𝚥 μ + τ , p w ( ν ) + 𝚥 ν τ , p w ( μ ) 𝚥 μ + τ , p w f ν + 𝚥 ν τ , p w f ( μ ) 1 2 f ( μ ) + f ( ν ) μ ν h ln z μ ln ν μ + h ln ν z ln ν μ e p 1 p ln ( ν z ) ln τ 1 ν z p τ Γ ( τ ) z + e p 1 p ln ( z μ ) ln τ 1 z μ p τ Γ ( τ ) z w ( z ) d z [ f ( μ ) + f ( ν ) ] μ ν h ln z μ ln ν μ + h ln ν z ln ν μ 2 e p 1 p ln ( ν z ) ln τ 1 ν z p τ Γ ( τ ) z + e p 1 p ln ( z μ ) ln τ 1 z μ p τ Γ ( τ ) z w ( z ) d z f ( μ ) + f ( ν ) 2 μ ν h ln z μ ln ν μ + h ln ν z ln ν μ e p 1 p ln ( ν z ) ln τ 1 ν z p τ Γ ( τ ) z + e p 1 p ln ( z μ ) ln τ 1 z μ p τ Γ ( τ ) z w ( z ) d z .
hold, where h ( 1 2 ) 0 .
By replacing h ( τ ) = τ in (9), the result is the inequality shown below,
Corollary 8.
For a GA-CF f and a non-negative function w on [ μ , ν ] , p ( 0 , 1 ] and τ > 0 , the inequalities
f μ ν 𝚥 μ + τ , p w ( ν ) + 𝚥 ν τ , p w ( μ ) 𝚥 μ + τ , p w f ν + 𝚥 ν τ , p w f ( μ ) f ( μ ) + f ( ν ) 2 𝚥 μ + τ , p w ( ν ) + 𝚥 ν τ , p w ( μ )
hold ∀ p ( 0 , 1 ] and τ > 0 .
Remark 2.
We further obtain special cases of the main results by replacing h ( τ ) = ( τ ) s ( h ( τ ) = 1 τ , h ( τ ) = 1 ) in Theorem 3 and Corollary 3 (as well as Theorem 4) to obtain corresponding inequalities for GA-s-CFs (GA-Q-CFs and GA-P-CFs). Similar implications can be obtained for the other results of this section and recapture the results from [6].
Remark 3.
  • For the special case when p = 1 in Theorem 3 (and Theorem 4), we obtain Theorem 13 in [6] (Theorem 14 in [6]).
  • If we take p = 1 in Corollary 1, we re-capture Corollary 2.2 of [7].
  • If we take p = 1 in Corollary 2, we obtain Corollary 12 from [6].
  • If we take p = 1 in Corollary 3, then we reproduce Theorem 2.1 from [37].
  • Similarly to the case when p = 1 in Remark 2, we obtain corresponding results for HFIO from [6].
  • On the other hand, the consequence of Corollary 5 for p = 1 yields the special case for HFIOs from [6].
  • By replacing p = 1 in (5), we obtain Theorem 15 in [6].
  • By replacing p = 1 in (8) and Corollary 8, we obtain Corollary 2.3 from [7] and Theorem 2.1 from [38], respectively.

4. Hermite–Hadamard-Mercer Inequalities for GA-h-CFs via Hadamard   k-Fractional Integrals

In this section, we utilize another generalization of the HFIO, known as the Hadamard k-Fractional Integral operator to prove a generalization of HHMIs and related results for the class of GA-h-CFs. Moreover, we present the special cases of the results from different perspectives and establish the significance of the proven results by demonstrating connections with the recent literature. We start by proving the following theorem.
Theorem 6.
For a GA-h-CF f on [ μ , ν ] and k , τ > 0 , the inequalities
1 2 h 1 2 f μ ν x y Γ k τ + 1 2 ln τ k y x 𝚥 μ ν y + , k τ f μ ν x + 𝚥 μ ν x , k τ f μ ν y Γ k ( τ + 1 ) 2 ln τ k y x f μ ν x + f μ ν y μ ν y μ ν x h ln y z μ ν ln y x + h ln μ ν x z ln y x ln τ k 1 μ ν x z k Γ k ( τ ) z d z Γ k ( τ + 1 ) ln τ k y x [ f ( μ ) + f ( ν ) ] μ ν y μ ν x h ln y z μ ν ln y x + h ln μ ν x z ln y x 2 ln τ k 1 μ ν x z k Γ k ( τ ) z d z Γ k ( τ + 1 ) 2 ln τ k y x [ f ( x ) + f ( y ) ] μ ν y μ ν x h ln y z μ ν ln y x + h ln μ ν x z ln y x ln τ k 1 μ ν x z k Γ k ( τ ) z d z
hold for all x , y [ μ , ν ] , where h ( 1 2 ) 0 .
Proof. 
To prove the first inequality, put ϕ ( z ) = 1 k Γ k ( τ ) ln τ k 1 μ ν z x in the Equation (3):
H μ , x ν , y ( f , 1 k Γ k ( τ ) ln τ k 1 μ ν z x , h ) = 1 2 μ ν y μ ν x f ( z ) 1 k Γ k ( τ ) ln τ k 1 μ ν z x d z z + μ ν y μ ν x f ( z ) 1 k Γ k ( τ ) ln τ k 1 y z μ ν d z z 1 2 h 1 2 f μ ν x y μ ν y μ ν x 1 k Γ k ( τ ) ln τ k 1 μ ν z x d z z
Now, let ln ( μ ν x z ) = t
H μ , x ν , y ( f , 1 k Γ k ( τ ) ln τ k 1 μ ν z x , h ) = 1 2 𝚥 μ ν y + , k τ f μ ν x + 𝚥 μ ν x , k τ f μ ν y 1 2 h ( 1 2 ) f μ ν x y 1 k Γ k ( τ ) 0 l n y x t τ k 1 d t = 1 2 𝚥 μ ν y + , k τ f μ ν x + 𝚥 μ ν x , k τ f μ ν y 1 2 h ( 1 2 ) f μ ν x y l n τ k ( y x ) Γ k ( τ + 1 ) ,
Since f is GA-h-CF therefore H μ , x ν , y ( f , 1 k Γ k ( τ ) ln τ k 1 μ ν z x , h ) 0. So,
0 1 2 𝚥 μ ν y + , k τ f μ ν x + 𝚥 μ ν x , k τ f μ ν y 1 2 h ( 1 2 ) f μ ν u v l n τ k ( y x ) Γ k ( τ + 1 ) 1 2 h ( 1 2 ) f μ ν x y l n τ k ( y x ) Γ k ( τ + 1 ) 1 2 𝚥 μ ν y + , k τ f μ ν x + 𝚥 μ ν x , k τ f μ ν y ,
which gives the first inequality. The other inequalities follow directly from Theorem 1 by replacing ϕ ( z ) = 1 k Γ k ( τ ) ln τ k 1 μ ν z x , which completes the proof. □
By taking h ( τ ) = τ in (10), we obtain the following HHI for GA-CF through HKFI.
Corollary 9.
For a GA-CF f on [ μ , ν ] and k , τ > 0 , the inequalities
f μ ν x y Γ k τ + 1 2 ln τ k y x 𝚥 μ ν y + , k τ f μ ν x + 𝚥 μ ν x , k τ f μ ν y 1 2 f μ ν x + f μ ν y [ f ( μ ) + f ( ν ) ] [ f ( x ) + f ( y ) ] 2 .
hold for all x , y [ μ , ν ] .
By replacing x = μ , y = ν in (10), we obtain
Corollary 10.
For a GA-h-CF f on [ μ , ν ] and k , τ > 0 , the inequalities
1 2 h 1 2 f μ ν Γ k τ + 1 2 ln τ k ν μ 𝚥 μ + , k τ f ν + 𝚥 ν , k τ f μ Γ k ( τ + 1 ) 2 ln τ k ν μ f μ + f ν μ ν h ln z μ ln ν μ + h ln ν z ln ν μ ln τ k 1 ν z k Γ k ( τ ) z d z Γ k ( τ + 1 ) ln τ k ν μ [ f ( μ ) + f ( ν ) ] μ ν h ln z μ ln ν μ + h ln ν z ln ν μ 2 ln τ k 1 ν z k Γ k ( τ ) z d z Γ k ( τ + 1 ) 2 ln τ k ν μ [ f ( μ ) + f ( ν ) ] μ ν h ln z μ ln ν μ + h ln ν z ln ν μ ln τ k 1 ν z k Γ k ( τ ) z d z
hold, where h ( 1 2 ) 0 .
By replacing h ( λ ) = λ in (11), we obtain
Corollary 11.
For a GA-CF f on [ μ , ν ] and k , τ > 0 , the inequalities
f μ ν Γ k τ + 1 2 ln τ k ν μ 𝚥 μ + , k τ f ν + 𝚥 ν , k τ f μ f μ + f ν 2
hold.
By replacing ϕ ( z ) = 1 k Γ ( τ ) ln τ k 1 μ ν z x or ϕ ( z ) = 1 k Γ ( τ ) ln τ k 1 y z μ ν in Theorem 2, we obtain the following result:
Theorem 7.
For a GA-h-CF f on [ μ , ν ] and k , τ > 0 , the inequalities
1 2 h ( 1 2 ) f μ ν x y Γ k τ + 1 2 ln τ k y x 𝚥 μ ν y + , k τ f μ ν x + 𝚥 μ ν x , k τ f μ ν y Γ k τ + 1 ln τ k y x [ f ( μ ) + f ( ν ) ] x y h ln z y ln x y + h ln x z ln x y ln τ k 1 z x z k Γ k ( τ ) d z Γ k τ + 1 2 ln τ k y x 𝚥 y , k τ f ( x ) + 𝚥 x + , k τ f ( y ) Γ k τ + 1 ln τ k y x [ f ( μ ) + f ( ν ) ] x y h ln z y ln x y + h ln x z ln x y ln τ k 1 z x z k Γ k ( τ ) d z 1 2 h ( 1 2 ) f ( x y ) ,
hold for all x , y [ μ , ν ] , where h ( 1 2 ) 0 .
By replacing h ( λ ) = λ in (12), then we obtain results for GA-CFs through HKFI as follows:
Corollary 12.
For a GA-CF f on [ μ , ν ] and k , τ > 0 , the inequalities
f μ ν x y Γ k τ + 1 2 ln τ k y x 𝚥 μ ν y + , k τ f μ ν x + 𝚥 μ ν x , k τ f μ ν y [ f ( μ ) + f ( ν ) ] Γ k τ + 1 2 ln τ k y x 𝚥 y , k τ f ( x ) + 𝚥 x + , k τ f ( y ) [ f ( μ ) + f ( ν ) ] f ( x y ) ,
hold for all x , y [ μ , ν ] .
By replacing x = μ , y = ν in (12), we obtain
Corollary 13.
For a GA-h-CF f on [ μ , ν ] and k , τ > 0 , the inequalities
1 2 h ( 1 2 ) f μ ν Γ k τ + 1 2 ln τ k ν μ 𝚥 μ + , k τ f ν + 𝚥 ν , k τ f μ Γ k τ + 1 ln τ k ν μ [ f ( μ ) + f ( ν ) ] μ ν h ln z ν ln μ ν + h ln μ z ln μ ν ln τ k 1 z μ z k Γ k ( τ ) d z Γ k τ + 1 2 ln τ k ν μ 𝚥 ν , k τ f ( μ ) + 𝚥 μ + , k τ f ( ν ) Γ k τ + 1 ln τ k ν μ [ f ( μ ) + f ( ν ) ] μ ν h ln z ν ln μ ν + h ln μ z ln μ ν ln τ k 1 z μ z k Γ k ( τ ) d z 1 2 h ( 1 2 ) f ( μ ν ) ,
hold, where h ( 1 2 ) 0 .
By replacing h ( λ ) = λ in Corollary 13, we obtain the results that coincides with Corollary 11.
Now, we prove wHHMI inequalities for GA-h-CFs via HKFIO.
Theorem 8
(wHHMI inequalities via HKFIO). For a GA-h-CF f and a non-negative function w on [ μ , ν ] and k , τ > 0 , the wHHMI inequalities
1 2 h 1 2 f μ ν x y 𝚥 μ ν y + , k τ w ( μ ν x ) + 𝚥 μ ν x , k τ w ( μ ν y ) 𝚥 μ ν y + , k τ f w μ ν x + 𝚥 μ ν x , k τ f w μ ν y 1 2 f μ ν x + f μ ν y μ ν y μ ν x h ln y z μ ν ln y x + h ln μ ν x z ln y x 1 k Γ ( τ ) ln τ k 1 μ ν z x + ln τ k 1 y z μ ν w ( z ) d z z [ f ( μ ) + f ( ν ) ] μ ν y μ ν x h ln y z μ ν ln y x + h ln μ ν x z ln y x 2 1 k Γ ( τ ) ln τ k 1 μ ν z x + ln τ k 1 y z μ ν w ( z ) d z z f ( x ) + f ( y ) 2 μ ν y μ ν x h ln y z μ ν ln y x + h ln μ ν x z ln y x 1 k Γ ( τ ) ln τ k 1 μ ν z x + ln τ k 1 y z μ ν w ( z ) d z z ,
hold for all x , y [ μ , ν ] , where h ( 1 2 ) 0 .
By substituting h ( τ ) = τ in (14), we obtain the following inequality for GA–convex function through HKFIO.
Corollary 14.
For a GA-CF f and a non-negative function w on [ μ , ν ] and k , τ > 0 , the wHHMI inequalities
f μ ν x y 𝚥 μ ν y + , k τ w ( μ ν x ) + 𝚥 μ ν x , k τ w ( μ ν y ) 𝚥 μ ν y + , k τ f w μ ν x + 𝚥 μ ν x , k τ f w μ ν y 1 2 f μ ν x + f μ ν y 𝚥 μ ν y + , k τ w μ ν x + 𝚥 μ ν x , k τ w μ ν y f ( μ ) + f ( ν ) f ( x ) + f ( y ) 2 𝚥 μ ν y + , k τ w μ ν x + 𝚥 μ ν x , k τ w μ ν y ,
hold for all x , y [ μ , ν ] .
By substituting x = μ and y = ν in (14), the following inequality is obtained:
Corollary 15.
For a GA-h-CF f and a non-negative function w on [ μ , ν ] and k , τ > 0 , the wHHMI inequalities
1 2 h 1 2 f μ ν 𝚥 μ + , k τ w ( ν ) + 𝚥 ν , k τ w ( μ ) 𝚥 μ + , k τ f w ν + 𝚥 ν , k τ f w μ 1 2 f ν + f μ μ ν h ln z μ ln ν μ + h ln ν z ln ν μ 1 k Γ ( τ ) ln τ k 1 ν z + ln τ k 1 z μ w ( z ) d z z [ f ( μ ) + f ( ν ) ] μ ν h ln z μ ln ν μ + h ln ν z ln ν μ 2 1 k Γ ( τ ) ln τ k 1 ν z + ln τ k 1 z μ w ( z ) d z z f ( μ ) + f ( ν ) 2 μ ν h ln z μ ln ν μ + h ln ν z ln ν μ 1 k Γ ( τ ) ln τ k 1 ν z + ln τ k 1 z μ w ( z ) d z z ,
hold, where h ( 1 2 ) 0 .
By substituting h ( λ ) = λ in Corollary (15), the following inequality is obtained for GA-convex function through HKFI.
Corollary 16.
For a GA-CF f and a non-negative function w on [ μ , ν ] and k , τ > 0 , the wHHMI inequalities
f μ ν 𝚥 μ + , k τ w ( ν ) + 𝚥 ν , k τ w ( μ ) 𝚥 μ + , k τ f w ν + 𝚥 ν , k τ f w μ f ν + f μ 2 𝚥 μ + , k τ f w ν + 𝚥 ν , k τ f w μ
hold.
Remark 4.
We further obtain special cases of the main results by replacing h ( τ ) = ( τ ) s ( h ( τ ) = 1 τ , h ( τ ) = 1 ) in Theorem 6 and Corollary 10 (as well as Theorem 12) to obtain corresponding inequalities for GA-s-CFs (GA-Q-CFs and GA-P-CFs). Similar implications can be obtained for the other results of this section and recapture the results from [6].
Remark 5.
  • For the special case when k = 1 in Theorem 6 (and Theorem 7), we obtain Theorem 13 (and Theorem 14) in [6].
  • If we replace k = 1 in Corollary 9, we reproduce Corollary 2.2 of [7].
  • If we take k = 1 in Corollary 10, we obtain Corollary 12 from [6].
  • If we take k = 1 in Corollary 11, then we reproduce Theorem 2.1 from [37].
  • Similarly to the case when k = 1 in Remark 4, we obtain corresponding results for HFIO from [6].
  • On the other hand, the consequence of Corollary 13 for k = 1 yields the special case for HFIOs from [6].
  • By replacing k = 1 in (14), we obtain Theorem 15 in [6].
  • By replacing k = 1 in Corollary 14 and Corollary 16, we obtain Corollary 2.3 from [7] and Theorem 2.1 from [38], respectively.

5. Comparison Between the Generalizations of Hermite–Hadamard–Mercer-Type Inequalities via GA-CFs via HPFIOs and HKFIOs

In this section, we compare two generalizations of the HHMI obtained via HPFIOs and HKFIOs. Note that the parameters contributing to generalizing the existing results are p and k in Section 3 and Section 4, respectively. So, in this section, we draw a comparison between generalizations by means of the obtained inequalities for different values of the parameter p and k. More specifically, we compare Corollary 3.4 and Corollary 4.4 by substituting a GA-CF and draw comparisons for p and k with 1 2 p , k 1 .
Example 1.
For any GA-CF f, = [ μ , ν ] = [ 1 , 2 ] , τ = 1 the inequalities corresponding to the parameter p and k, obtained from Corollary 3.4 and Corollary 4.4 are
f ( 2 ) p 2 l n ( 2 ) e p 1 p ln ( 2 ) p 1 p 1 2 ln ( 2 z ) e p 1 p ln ( 2 z ) d z z 𝚥 1 + 1 , p f 2 + 𝚥 2 1 , p f 1 f 2 + f 1 2
and
f ( 2 ) 1 2 ln 1 k 2 𝚥 1 + , k 1 f 2 + 𝚥 2 , k 1 f 1 f 2 + f 1 2
Now, if we take f ( z ) = z 2 , for z [ 1 , 2 ] . By page 156 of [25], the other meaning of GA convexity shows that a function f is GA-CF if z 2 f ( 2 ) + z f ( 1 ) 0 , the function f is GA-CF. Therefore, by using (16) and (17), we construct the graphical comparisons for f ( z ) = z 2 corresponding to 0.5 p , k 1 , as shown in Figure 1.
In addition, Figure 2 shows the difference between the expressions obtained via HPFIO and HKFIO. The result shows that the estimation obtained via HPFIOs is less than the HKFIOs.
Finally, both values coincide at p = k = 1 , as shown in Figure 3.

6. Applications

In this section, we present applications of the HHIs for GA-CFs obtained via HPFIOs and HKFIOs by establishing interpolation relations between the arithmetic mean and the geometric mean (AM-GM). Furthermore, we give a brief review of operator entropies and, by using Corollary 3.4 and Corollary 4.4 , obtain upper bounds for the Tsallis relative operator entropy.
We use the notation for the generalized logarithmic function ln q ( x ) : = x 1 q 1 1 q , ( q 1 , x > 0 ) , which uniformly converges to the usual logarithmic function log x as q 1 . In the following theorem, we present applications of Corollary 3.4 proved by using HPFIOs with the parameter p ( 0 , 1 ] .
Theorem 9.
Let p ( 0 , 1 ] and μ , ν > 0 .
(i) 
If p 1 2 , then
μ ν 1 p 2 ν μ 1 p ν 1 1 p 1 μ 1 p 1 ν 1 1 p + μ μ 1 + 1 p ν 2 1 p ( 1 2 p ) 1 μ 1 p 1 ν 1 1 p μ + ν 2 .
(ii) 
μ ν 1 2 μ + ν 2 + μ ν log ν log μ ν μ μ + ν 2 .
Proof. 
From Corollary 3.4 with τ = 1 , we obtain
f ( μ ν ) ln 1 / p ν μ 1 2 μ ν z μ 1 1 p + ν z 1 1 p f ( z ) z d z f ( μ ) + f ( ν ) 2 ln 1 / p ν μ
for a GA–CF function and ν > μ > 0 . Since
1 2 μ ν z μ 1 1 p + ν z 1 1 p log z z d z = log ( μ ν ) ν μ 1 1 p 1 1 1 p = log ( μ ν ) ln 1 / p ν μ
we confirm the equalities in the above inequalities when f ( z ) : = log z .
If we take f ( z ) : = z , then
1 2 μ ν z μ 1 1 p + ν z 1 1 p f ( z ) z d z = p 2 ν 1 ν μ 1 / p + μ 2 ν 2 ν μ 1 / p μ ( 1 2 p )
so that we obtain from (19) the relation (18). It is easy to see that
m 1 ( μ , ν ) : = ν μ 1 p ν 1 1 p 1 μ 1 p 1 ν 1 1 p and m 2 ( μ , ν ) : = μ μ 1 + 1 p ν 2 1 p 1 μ 1 p 1 ν 1 1 p
are symmetric by the simple calculations m 1 ( ν , μ ) = m 1 ( μ , ν ) and m 2 ( ν , μ ) = m 2 ( μ , ν ) . Thus the relation (18) holds for all μ , ν > 0 .
Finally, we have (ii) by taking p : = 1 2 with the limit lim p 1 2 μ μ 1 + 1 p ν 2 1 p 1 2 p = 2 μ log μ ν .
Remark 6.
(i) 
The inequalities (18) give the improved inequality for the arithmetic–geometric mean inequality. Letting p 1 above, we also obtain the known relation among the arithmetic mean, the geometric mean, and the logarithmic mean:
G ( μ , ν ) L ( μ , ν ) A ( μ , ν ) ,
where the arithmetic mean A ( μ , ν ) : = μ + ν 2 , the geometric mean G ( μ , ν ) : = μ and the logarithmic mean L ( μ , ν ) : = ν μ log ν log μ , ( μ ν ) with L ( μ , μ ) : = μ , since we have lim p 1 1 p 1 μ 1 p 1 ν 1 1 p = 1 log ν log μ . Thus, the inequalities (18) give the new interpolation relation between the arithmetic mean and the geometric mean.
(ii) 
We easily find that
μ ν log ν log μ ν μ = log ν 1 log μ 1 ν 1 μ 1 = L ( μ 1 , ν 1 ) 1 .
It is known that
A ( μ 1 , ν 1 ) 1 L ( μ 1 , ν 1 ) 1 G ( μ , ν ) L ( μ , ν ) A ( μ , ν ) ,
where H ( μ , ν ) : = A ( μ 1 , ν 1 ) 1 is called the harmonic mean and G ( μ 1 , ν 1 ) 1 = G ( μ , ν ) . Then, ( i i ) in Theorem 9 shows
2 G ( μ , ν ) A ( μ , ν ) L ( μ 1 , ν 1 ) 1 A ( μ , ν ) .
Although the second inequality is trivial, the first inequality is not trivial.
We give a brief review of relative operator entropies. A self–adjoint operator A acting on a Hilbert space H is called positive, and it is denoted by A 0 if A x , x 0 for any vector x H . A self-adjoint operator A is called strictly positive and it is denoted by A > 0 if A is positive and invertible. The order A B for two self–adjoint operators A , B means A B 0 . For two positive operators A , B , we denote
A q B : = A 1 / 2 A 1 / 2 B A 1 / 2 q A 1 / 2 , q R .
If q [ 0 , 1 ] , then A q B is called the operator geometric mean. For two positive operators A , B , the relative operator entropy S ( A | B ) [41] and the Tsallis relative operator entropy T q ( A | B ) [42] are defined by
S ( A | B ) : = A 1 / 2 log A 1 / 2 B A 1 / 2 A 1 / 2 T q ( A | B ) : = A 1 / 2 ln q A 1 / 2 B A 1 / 2 A 1 / 2 = A 1 q B A 1 q , ( q 1 ) .
Note that lim q 1 T q ( A | B ) = S ( A | B ) by lim q 1 ln q ( x ) = log x . See Section 7.3 of [43] and the references therein for recent results on the relative operator entropies. Applying the inequalities (19), we give upper bounds for the Tsallis relative operator entropy.
Theorem 10.
Let p ( 0 , 1 ] , and let A , B be positive operators such that A B . Then,
(i) 
If p 1 2 , then
T 1 p ( A | B ) p 2 A 1 2 B A 1 2 1 p B + 1 1 2 p A 1 2 B A 3 2 1 p B A 1 2 B + A 1 2 B 2 A 1 T 1 p ( A | B ) .
(ii) 
T 2 ( A | B ) 1 4 A 1 2 B A 3 2 B + 1 2 S ( A | B ) A 1 2 B + A 1 2 B 2 A 1 T 2 ( A | B ) .
Proof. 
Putting f ( z ) : = z and μ : = 1 in the inequalities (19), we obtain
ν ln 1 p ν p 2 ν ν 1 1 p + 1 ν 2 1 p 1 2 p ν + 1 2 ln 1 p ν , ν 1 , p 1 2
which implies
ln 1 p ν p 2 ν 1 2 ν 1 2 1 p + ν 1 2 ν 3 2 1 p 1 2 p ν 1 2 + ν 1 2 2 ln 1 p ν , p 1 2 .
Putting ν : = A 1 / 2 B A 1 / 2 1 with the standard functional calculus and multiplying A 1 / 2 from both sides, we obtain (i).
If we take the limit p 1 2 in (21), we have
ln 2 ν 1 4 ν 1 2 ν 3 2 + 1 2 log ν ν 1 2 + ν 1 2 2 ln 2 ν
since lim p 1 2 1 ν 2 1 p 1 2 p = 2 log ν . Thus, we obtain (ii) in a similar way to the above. □
If we take p : = 1 in Theorem 10, then we have the upper bound of the relative operator entropy
S ( A | B ) A 1 2 B A 1 2 B A 1 2 B + A 1 2 B 2 A 1 S ( A | B )
for 0 A B .
Now, we present the applications of Corollary 4.4 obtained via HKFIOs with the parameter k > 0 . If we take f ( z ) : = z and τ : = 1 in Corollary 4.4 , then for ν > μ > 0 ,
μ ν Γ k ( 2 ) 2 k Γ k ( 1 ) log ν log μ 1 / k μ ν log ν z 1 k 1 + log z μ 1 k 1 d z μ + ν 2 ,
which also gives a new interpolational relation on the generalized logarithmic mean between the arithmetic mean and the geometric mean. We easily find that the above relation recovers (20) when k : = 1 . Here, the Gamma k-function Γ k ( α ) [10] for k > 0 is defined as
Γ k ( α ) : = 0 t α 1 exp t k k d t , Re ( α ) > 0 .
However the calculations of the integrals in (22) are quite complicated. By using the computer software Mathematica version 8 [44], we obtain
μ ν log ν z 1 k 1 + log z μ 1 k 1 d z = ( 1 ) 1 k μ + ν Γ 1 k ν Γ 1 k   , log ν μ μ E 1 1 k log ν μ log ν log μ 1 / k ,
where
Γ ( a , z ) : = z t a 1 e t d t , E n ( z ) : = 1 t n e z t d t .
We take τ = k in Corollary 4.4. Then,
f μ ν Γ k ( k + 1 ) 2 k Γ k ( k ) log ν log μ μ ν 2 f ( z ) z d z f ( μ ) + f ( ν ) 2 ,
which gives
μ ν Γ k ( 1 ) ( ν μ ) k ( log ν log μ ) μ + ν 2 , ( k > 0 , ν > μ > 0 )
when f ( z ) : = z since Γ k ( k ) = 1 and Γ k ( k + 1 ) = Γ k ( 1 ) . (See [10].) Since Γ k ( 1 ) = k 1 k Γ 1 + 1 k = k 1 k × 1 k Γ 1 k , the above relation is rewritten as
μ ν k 1 k 2 Γ ( k 1 ) ν μ log ν log μ μ + ν 2 , ( k > 0 , ν > μ > 0 ) .
However, the above inequalities do not hold in general since lim k k 1 k 2 Γ ( k 1 ) = 0 .

7. Conclusions

Motivated by the applicability of fractional calculus, mathematical inequalities, derived families of convex functions, and information sciences, we have investigated these topics together. The findings of this paper cover (i) generalizations in terms of multiple aspects and the unification of main results from [6,7,37,38], (ii) the comparison between new generalizations, and (iii), most importantly, applications to information sciences and interpolating means. Unlike the common development in mathematical inequalities, the current results not only cover the theoretical aspects but also provide comparisons between inequalities and applications. The applications of newly proved HHIs for GA-CFs obtained via HPFIOs and HKFIOs in determining interpolation relations between AM-GM and upper bounds for the Tsallis relative operator entropy is a distinct feature of this study.

Author Contributions

Conceptualization, Y.W. and A.F.; methodology, A.F., Z.A. and S.F.; software, Z.A.; validation, S.I.B., Y.W., A. and A.F.; investigation, A.F. and Z.A.; writing—original A.F., Z.A. and S.F.; draft preparation, A.F.; writing—review and editing, Y.W. and S.I.B.; supervision, Y.W.; project administration, Y.W.; funding acquisition, Y.W. All authors have read and agreed to the published version of the manuscript.

Funding

This work was partially supported by the National Natural Science Foundation of China under Grant 12171435, and the Postdoctoral Fellowship at Zhejiang Normal University, China, Grant No. YS304023966.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

No new data were created or analyzed in this study. Data sharing is not applicable to this article.

Acknowledgments

All the authors are thankful to their respective institutes.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Kai, D. The analysis of fractional differential equations: An application-oriented exposition using differential operators of Caputo type. In Lecture Notes in Mathematics; Springer: Berlin/Heidelberg, Germany, 2004. [Google Scholar]
  2. Alshammari, S.; Alshammari, M.; Alabedalhadi, M.; Al-Sawalha, M.M.; Al-Smadi, M. Numerical investigation of a fractional model of a tumor-immune surveillance via Caputo operator. Alex. Eng. J. 2024, 86, 525–536. [Google Scholar] [CrossRef]
  3. Ferrari, A.L.; Gomes, M.C.S.; Aranha, A.C.R.; Paschoal, S.M.; de Souza, M.G.; de Matos, J.L.M.; Defendi, R.O. Mathematical modeling by fractional calculus applied to separation processes. Sep. Purif. Technol. 2024, 337, 126310. [Google Scholar] [CrossRef]
  4. Set, E.; Kashuri, A.; Mumcu, I. Chebyshev type inequalities by using generalized proportional Hadamard fractional integrals via Polya–Szegö inequality with applications. Chaos Solitons Fractals 2021, 146, 110860. [Google Scholar] [CrossRef]
  5. Kilbas, A.A.; Srivastava, H.M.; Trujillo, J.J. Theory and Applications of Fractional Differential Equations; Elsevier: Amsterdam, The Netherlands, 2006; Volume 204. [Google Scholar]
  6. Fahad, A.; Ayesha; Wang, Y.; Butt, S.I. Jensen–Mercer and Hermite–Hadamard–Mercer Type Inequalities for GA-h-Convex Functions and Its Subclasses with Applications. Mathematics 2023, 11, 278. [Google Scholar] [CrossRef]
  7. Iscan, I. Jensen—Mercer inequality for GA-convex functions and some related inequalities. J. Inequalities Appl. 2020, 212, 212. [Google Scholar] [CrossRef]
  8. Rahman, G.; Abdeljawad, T.; Jarad, F.; Khan, A.; Nisar, K.S. Certain inequalities via generalized proportional Hadamard fractional integral operators. Adv. Differ. Equ. 2019, 2019, 454. [Google Scholar] [CrossRef]
  9. Gambo, Y.Y.; Jarad, F.; Baleanu, D.; Abdeljawad, T. On Caputo modification of the Hadamard fractional derivatives. Adv. Differ. Equ. 2014, 2014, 10. [Google Scholar] [CrossRef]
  10. Iqbal, S.; Mubeen, S.; Tomar, M. On Hadamard k-fractional integrals. J. Fract. Calc. Appl. 2018, 9, 255–267. [Google Scholar]
  11. Tarasov, V.E. Entropy interpretation of Hadamard type fractional operators: Fractional cumulative entropy. Entropy 2022, 24, 1852. [Google Scholar] [CrossRef]
  12. Todinov, M. Reverse Engineering of Algebraic Inequalities for System Reliability Predictions and Enhancing Processes in Engineering. IEEE Trans. Reliab. 2023, 73, 902–911. [Google Scholar] [CrossRef]
  13. Huang, J.; Luo, D. Relatively exact controllability for higher-order fractional stochastic delay differential equations. Inf. Sci. 2023, 648, 119631. [Google Scholar] [CrossRef]
  14. Aydin, F. Boundary-aware local Density-based outlier detection. Inf. Sci. 2023, 647, 119520. [Google Scholar] [CrossRef]
  15. Akhtar, N.; Awan, M.U.; Javed, M.Z.; Rassias, M.T.; Mihai, M.V.; Noor, M.A.; Noor, K.I. Ostrowski type inequalities involving harmonically convex functions and applications. Symmetry 2021, 13, 201. [Google Scholar] [CrossRef]
  16. Khan, Z.A.; Afzal, W.; Nazeer, W.; Asamoah, J.K.K. Some New Variants of Hermite–Hadamard and Fejér-Type Inequalities for Godunova–Levin Preinvex Class of Interval-Valued Functions. J. Math. 2024, 2024, 8814585. [Google Scholar] [CrossRef]
  17. Mohammed, P.O.; Abdeljawad, T.; Alqudah, M.A.; Jarad, F. New discrete inequalities of Hermite–Hadamard type for convex functions. Adv. Differ. Equ. 2021, 2021, 122. [Google Scholar] [CrossRef]
  18. Srivastava, H.M.; Sahoo, S.K.; Mohammed, P.O.; Baleanu, D.; Kodamasingh, B. Hermite–Hadamard type inequalities for interval-valued preinvex functions via fractional integral operators. Int. J. Comput. Intell. Syst. 2022, 15, 8. [Google Scholar] [CrossRef]
  19. Huy, D.Q.; Van, D.T.T. Some inequalities for convex functions and applications to operator inequalities. Asian-Eur. J. Math. 2023, 16, 2350216. [Google Scholar] [CrossRef]
  20. Yang, W. Certain new weighted Young and Polya Szego-type inequalities for unified fractional inegral operators via an extended generalized Mittag-Leffler function with applications. Fractals 2022, 30, 2250106. [Google Scholar] [CrossRef]
  21. Beckenbach, E.F. Convex functions. Bull. Am. Math. Soc. 1948, 54, 439–460. [Google Scholar] [CrossRef]
  22. Noor, M.A.; Noor, K.I.; Rassias, M.T. Characterizations of higher order strongly generalized convex functions. Nonlinear Anal. Differ. Equ. Appl. 2021, 341–364. [Google Scholar]
  23. Luo, C.; Wang, H.; Du, T. Fejér—Hermite—Hadamard type inequalities involving generalized h-convexity on fractal sets and their applications. Chaos Solitons Fractals 2020, 131, 109547. [Google Scholar] [CrossRef]
  24. Mihai, M.V.; Noor, M.A.; Noor, K.I.; Awan, M.U. Some integral inequalities for harmonic h-convex functions involving hypergeometric functions. Appl. Math. Comput. 2015, 252, 257–262. [Google Scholar] [CrossRef]
  25. Niculescu, C.P. Convexity according to the geometric mean. Math. Inequal. Appl. 2000, 3, 155–167. [Google Scholar] [CrossRef]
  26. Latif, M.A.; Dragomir, S.S.; Momoniat, E. Some Fejér type integral inequalities for geometrically-arithmetically-convex functions with applications. Filomat 2018, 32, 2193–2206. [Google Scholar] [CrossRef]
  27. Noor, M.A.; Noor, K.I.; Awan, M.U. Some inequalities for geometricallyarithmetically h-convex functions. Creat. Math. Inform 2014, 23, 91–98. [Google Scholar] [CrossRef]
  28. Fahad, A.; Wang, Y.; Ali, Z.; Hussain, R.; Furuichi, S. Exploring properties and inequalities for geometrically arithmetically-Cr-convex functions with Cr-order relative entropy. Inf. Sci. 2024, 662, 120219. [Google Scholar] [CrossRef]
  29. Fahad, A.; Ali, Z.; Furuichi, S.; Wang, Y. Novel fractional integral inequalities for GA-Cr-convex functions and connections with information systems. Alex. Eng. J. 2025, 113, 509–515. [Google Scholar] [CrossRef]
  30. Dragomir, S.S.; Pearce, C. Selected Topics on Hermite–Hadamard Inequalities and Applications. Science Direct Working Paper No S1574-0358(04)70845-X. Available online: https://ssrn.com/abstract=3158351 (accessed on 14 October 2024).
  31. Ozdemir, M.E.; Ragomir, S.S.; Yildiz, C. The Hadamard inequality for convex function via fractional integrals. Acta Math. Sci. 2013, 33, 1293–1299. [Google Scholar] [CrossRef]
  32. Sun, W.; Liu, Q. Hadamard type local fractional integral inequalities for generalized harmonically convex functions and applications. Math. Methods Appl. Sci. 2020, 43, 5776–5787. [Google Scholar] [CrossRef]
  33. Sun, W. Some new inequalities for generalized h-convex functions involving local fractional integral operators with Mittag-Leffler kernel. Math. Methods Appl. Sci. 2021, 44, 4985–4998. [Google Scholar] [CrossRef]
  34. Vivas, M.; Hernández, J.; Merentes, N. New Hermite–Hadamard and Jensen type inequalities for h-convex functions on fractal sets. Rev. Colomb. MatemáTicas 2016, 50, 145–164. [Google Scholar] [CrossRef]
  35. Chen, J.; Luo, C. Certain generalized Riemann–Liouville fractional integrals inequalities based on exponentially (h, m)-preinvexity. J. Math. Anal. Appl. 2024, 530, 127731. [Google Scholar] [CrossRef]
  36. Du, T.; Peng, Y. Hermite–Hadamard type inequalities for multiplicative Riemann–Liouville fractional integrals. J. Comput. Appl. Math. 2024, 440, 115582. [Google Scholar] [CrossRef]
  37. Iscan, I. New general integral inequalities for quasi-geometrically convex functions via fractional integrals. J. Inequal. Appl. 2013, 491. [Google Scholar] [CrossRef]
  38. Kunt, M.; Iscan, I. Fractional Hermite–Hadamard–Fejér type inequalities for GA-convex functions. Turk. J. Inequal. 2018, 2, 1–20. [Google Scholar]
  39. Pachpatte, B.G. Integral and Finite Difference Inequalities and Applications; Elsevier: Amsterdam, The Netherlands, 2006. [Google Scholar]
  40. Varosanec, S. On h-convexity. J. Math. Anal. Appl. 2007, 326, 303–311. [Google Scholar] [CrossRef]
  41. Fujii, J.I. Relative operator entropy in noncommutative information theory. Math. Jpn. 1990, 35, 387–396. [Google Scholar]
  42. Yanagi, K.; Kuriyama, K.; Furuichi, S. Generalized Shannon inequalities based on Tsallis relative operator entropy. Linear Algebra Its Appl. 2005, 394, 109–118. [Google Scholar] [CrossRef]
  43. Furuichi, S. Advances in Mathematical Inequalities; Walter de Gruyter GmbH Co KG: Berlin, Germany, 2020. [Google Scholar]
  44. A Scientific and Technical Computing System Developed by Wolfram Research. Available online: https://www.wolfram.com/mathematica (accessed on 14 October 2024).
Figure 1. HHI for f ( z ) = z 2 bounded below by 2 and above by 2.5 with respect to the parameters p and k.
Figure 1. HHI for f ( z ) = z 2 bounded below by 2 and above by 2.5 with respect to the parameters p and k.
Fractalfract 08 00728 g001
Figure 2. Difference between the HHI obtained via HPFIOs and HKFIOs.
Figure 2. Difference between the HHI obtained via HPFIOs and HKFIOs.
Fractalfract 08 00728 g002
Figure 3. HPFIOs and HKFIOs coincide.
Figure 3. HPFIOs and HKFIOs coincide.
Fractalfract 08 00728 g003
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.

Share and Cite

MDPI and ACS Style

Fahad, A.; Ali, Z.; Furuichi, S.; Butt, S.I.; Ayesha; Wang, Y. New Inequalities for GA–h Convex Functions via Generalized Fractional Integral Operators with Applications to Entropy and Mean Inequalities. Fractal Fract. 2024, 8, 728. https://doi.org/10.3390/fractalfract8120728

AMA Style

Fahad A, Ali Z, Furuichi S, Butt SI, Ayesha, Wang Y. New Inequalities for GA–h Convex Functions via Generalized Fractional Integral Operators with Applications to Entropy and Mean Inequalities. Fractal and Fractional. 2024; 8(12):728. https://doi.org/10.3390/fractalfract8120728

Chicago/Turabian Style

Fahad, Asfand, Zammad Ali, Shigeru Furuichi, Saad Ihsan Butt, Ayesha, and Yuanheng Wang. 2024. "New Inequalities for GA–h Convex Functions via Generalized Fractional Integral Operators with Applications to Entropy and Mean Inequalities" Fractal and Fractional 8, no. 12: 728. https://doi.org/10.3390/fractalfract8120728

APA Style

Fahad, A., Ali, Z., Furuichi, S., Butt, S. I., Ayesha, & Wang, Y. (2024). New Inequalities for GA–h Convex Functions via Generalized Fractional Integral Operators with Applications to Entropy and Mean Inequalities. Fractal and Fractional, 8(12), 728. https://doi.org/10.3390/fractalfract8120728

Article Metrics

Back to TopTop