Next Article in Journal
Bicomplex k-Mittag-Leffler Functions with Two Parameters: Theory and Applications to Fractional Kinetic Equations
Next Article in Special Issue
Fuzzy Convexity Under cr-Order with Control Operator and Fractional Inequalities
Previous Article in Journal
Dissipativity Constraints in Zener-Type Time Dispersive Electromagnetic Materials of the Fractional Type
Previous Article in Special Issue
New Approaches to Fractal–Fractional Bullen’s Inequalities Through Generalized Convexity
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

New Results on Majorized Discrete Jensen–Mercer Inequality for Raina Fractional Operators

by
Çetin Yildiz
1,*,
Tevfik İşleyen
1 and
Luminiţa-Ioana Cotîrlă
2
1
Department of Mathematics, K.K. Education Faculty, Atatürk University, 25240 Erzurum, Turkey
2
Department of Mathematics, Technical University of Cluj-Napoca, 400020 Cluj-Napoca, Romania
*
Author to whom correspondence should be addressed.
Fractal Fract. 2025, 9(6), 343; https://doi.org/10.3390/fractalfract9060343
Submission received: 18 April 2025 / Revised: 8 May 2025 / Accepted: 22 May 2025 / Published: 26 May 2025
(This article belongs to the Special Issue Fractional Integral Inequalities and Applications, 3rd Edition)

Abstract

As the most important inequality, the Hermite–Hadamard–Mercer inequality has attracted the interest of numerous additional mathematicians. Numerous findings on this inequality have been developed in recent years. So, in this paper, we demonstrate novel Hermite–Hadamard–Mercer inequalities using Raina fractional operators and the majorization concept. Furthermore, additional identities are discovered, and two new lemmas of this type are proved. A summary of several known results is also provided, along with a thorough derivation of some exceptional cases. We also note that some of the outcomes in this study are more acceptable than others under certain exceptional instances, such as setting n = 2 , w = 0 , σ ( 0 ) = 1 , and λ = 1 or λ = α . Lastly, the method described in this publication is thought to stimulate further research in this area.

1. Introduction

Convex analysis benefits greatly from the use of mathematical identities and inequalities, which have had beneficial effects on many fields of science and engineering. Specifically, convex functions are distinct from other function classes in that they are used in a wide range of mathematical fields (particularly theory of inequality), optimization theory, applied sciences, and statistics, and their formulation has a geometric interpretation. Furthermore, it is a fundamental component of inequality theory and has evolved into the primary driver of some disparities. Although there are many uses for convex functions in statistical and mathematical analysis (e.g., different important inequalities [1,2], various convexities [3,4], fractional operators [5,6], and coordinates [7]), the inequality theory has shown that this is the most significant use. Thus, several classical and analytical inequalities have been demonstrated, including Hermite–Hadamard ( H H ), Fejér, Mercer, Hermite–Hadamard–Mercer ( H H M ), Ostrowski, Ostrowski–Mercer ( O M ), Simpson, Chebyshev, O pial, M ilne, H ardy, Jenser–Mercer ( J M ), and Jensen-type inequalities.
The convex function is one of the primary mappings in mathematical analysis, especially in the theory of inequalities. This is defined as follows:
Definition 1.
The mapping f : I R , is said to be a convex function if the following inequality holds:
f τ δ 1 + ( 1 τ ) δ 2 τ f δ 1 + ( 1 τ ) f δ 2
For all δ 1 , δ 2 I and τ 0 , 1 . If f is convex, then f is said to be concave.
In recent decades, convex functions have attracted attention, and the original idea has been expanded and developed in a number of ways. These functions are crucial to many branches of geometry and analysis, and their characteristics have been thoroughly examined. Readers who are interested about the developments mentioned above may consult a number of studies on this topic in the relevant literature. A selection of these studies can be found in references [8,9,10].
The best studied inequality relating to the convexity property of functions is the H H inequality. It creates a necessary and sufficient condition for the convexity of a function. Hermite was the first to prove this inequality in 1883, but his contributions to the mathematical literature were not well acknowledged. Ten years later, Hadamard rediscovered the disparity, according to famous historian Beckenbach. It was Mitrinović at Mathesis who later found Hermite’s note. As a result, this inequality is now often known as the H H inequality. This inequality gives an approximation of the integral mean of a convex function and ensures that the function is integrable. The H H inequality is expressed formally as follows:
Let f : I = δ 1 , δ 2 R R be a convex function on a closed interval δ 1 , δ 2 , then
f δ 1 + δ 2 2 1 δ 2 δ 1 δ 1 δ 2 f u d u f δ 1 + f δ 2 2
The inequality in (1) will hold in the other direction if f is a concave function.
Since 1998, considerable research has been conducted on this inequality. For instance, Dragomir and Agarwal in [11] and Pearce and Pečarić in [12] created a mathematical identity using Lemma 2.1 that connects to the right side of the H H inequality. In [13,14], the authors proved new results with respect to the left-hand side of the H H inequality. Recent developments related to this significant inequality have attracted heightened attention and have yielded substantial results (see [15,16,17,18,19,20,21]). A researcher can find many studies in the literature on this important and still researchable inequality.
Jensen’s inequality holds a distinct place among the many attractive inequalities for convex functions that are found in the mathematical literature. The following is a presentation of Jensen’s inequality:
Let 0 ϰ 1 ϰ 2 ϰ ξ , and let ϖ = ( ϖ 1 , ϖ 2 , , ϖ ξ ) be non-negative weights such that ϱ = 1 ξ ϖ ϱ = 1 . If f is a convex function on an interval containing ϰ i , for all i { 1 , 2 , ξ } , then
f ϱ = 1 ξ ϖ ϱ ϰ ϱ ϱ = 1 ξ ϖ ϱ f ( ϰ ϱ ) .
When ξ = 2 , Jensen’s inequality provides the idea of a convex function. In this discipline, Jensen’s inequality has several important applications. Moreover, in information theory, it is very helpful in predicting the estimations of the limits of distance functions [22,23].
According to [24], the Jenser–Mercer ( J M ) inequality is as follows:
f δ 1 + δ 2 ϱ = 1 ξ ϖ ϱ ϰ ϱ f ( δ 1 ) + f ( δ 2 ) ϱ = 1 ξ ϖ ϱ f ( ϰ ϱ ) ,
where ϰ i [ δ 1 , δ 2 ] and ϖ i [ 0 , 1 ] . Moreover, f is a convex function on [ δ 1 , δ 2 ] .
The results and applications of Mercer’s inequality are numerous and varied. The first research on this inequality in [25] is the H H M inequality. Furthermore, the researchers presented new J M inequality variants related to specific positive tuples [26], some novel generalizations for convex functions in a various manner [27], a novel identity connected to functions that are twice differentiable [28], and operator versions of the Jensen and J M -type inequalities for certain classes of operator h-convex functions [29].
Fractional calculus is a helpful tool for analyzing ordinary events as well as natural occurrences. The most often used fractional integral operator is the Riemann–Liouville ( R L ) integral, which defines non-integer orders of derivatives of functions and is a generalized version of integral calculus. Numerous studies in inequality theory are based on the H H inequality, which frequently takes on new forms. In [6], Sarıkaya et al. were the first to use the fractional integral operator to create an iteration of the H H inequality. Since then, classical inequalities with various fractional operators have been obtained by using techniques from convexity and fractional integral calculus. The R L fractional integral operator is defined as follows:
Definition 2.
Let f L [ δ 1 , δ 2 ] . The R L integrals J δ 1 + α f and J δ 2 α f of order α > 0 with δ 1 0 are defined by
J δ 1 + α f ( φ ) = 1 Γ ( α ) δ 1 φ φ u α 1 f u d u , φ > δ 1 ,
and
J δ 2 α f ( φ ) = 1 Γ ( α ) φ δ 2 u φ α 1 f u d u , φ < δ 2 ,
respectively. Γ ( . ) is the Gamma function.
Definition 3
([30] Gamma function). The Gamma function represented by Γ is defined as
Γ ( α ) = 0 e u u α 1 d u , α > 0 .
Corollary 1.
Gamma function provides the following properties:
1. 
Γ ( 1 ) = 1 ;
2. 
Γ 1 2 = π ;
3. 
Γ ( α + 1 ) = α ! ;
4. 
Γ ( α + 1 ) = α Γ ( α ) ;
5. 
Γ is convex on ( 0 , ) .
A significant amount of research has recently been conducted on the J M inequality, especially when fractional integral operators are used. In the literature, researchers have demonstrated novel forms of H H M inequalities for a variety of operators, including Riemann–Liouville operators [31], k-Riemann–Liouville operators [32], generalized k fractional operators [33], Caputo–Fabrizio fractional operators [34], Raina fractional operators [35], and Atangana–Baleanu fractional operators [36]. Additionally, they have presented novel results employing diverse types of convexities [37,38] and Bullen–Mercer-type inequalities [39].
This article is categorized into six sections. The first section consists of a historical background to convex functions and related inequalities such as the H H inequality and the M ercer inequality. The second section presents the definition of the Raina function and its associated operators. Furthermore, the definition of majorization and the results related to this important definition are also presented. In the third part, the main results prove some general inequalities that are related to the left-hand and right-hand sides of the H H inequality via majorization. The relationship of these inequalities with the literature is also mentioned. Two lemmas (Lemmas 1 and 2) are obtained, and novel generalizations of this identity are established with the help of the Raina operator in the fourth section. Section 5 discusses intriguing applications pertaining to majorization and specialized means. Finally, in Section 6, the conclusions and some future extensions are presented.

2. Preliminaries

Several functions, such as the Mittag–Leffler functions and the hyper-geometric functions, have been used in the theory of inequalities to produce new generalizations, identities, and findings. One of these is the Raina function, which is associated with fractional operators and is described below.
In 2005, Raina [40] introduced a class of mappings defined formally by
F , ϕ ( ζ ) = F , ϕ ( 0 ) , ϕ ( 1 ) ( ζ ) = k = 0 ϕ ( k ) Γ ( k + ) ζ k , , > 0 , ζ < R
where the coefficient ϕ ( k ) , where k N 0 = N 0 , is a bounded sequence of positive real numbers and R is the real number. For specific values of ,   , and ϕ , this identity can be converted to hyper-geometric and Mittag–Leffler functions. With the help of (4), Raina, in [41], defined the following left-sided and right-sided fractional integral operators, respectively:
J , , ϖ 1 + ; w ϕ f ( ζ ) = ϖ 1 ζ ζ u , 1 F , ϕ β ( ζ u ) f u d u , ζ > ϖ 1
and
J , , ϖ 2 ; w ϕ f ( ζ ) = ζ ϖ 2 u ζ 1 F , ϕ β ( u ζ ) f u d u , ζ < ϖ 2
where , > 0 , β R and f u is such that the integrals on the right side exists. By assigning = α , ϕ ( 0 ) = 1 and β = 0 in Formulas (5) and (6), the identities in (2) and (3) may be derived as Riemann–Liouville operators.
The Raina fractional operators have been utilized with notable regularity in recent years. This is mostly due to its association with fractional operators. Subsequent to the formulation of the fractional operators in (5) and (6), this specialized function was utilized in several important inequalities, leading to the emergence of new conclusions, definitions, generalizations, and innovative operators. Researchers who are interested in further investigating this function are invited to explore the studies [42,43,44,45,46].
Since 1932, researchers have also been interested in the notion of majorization because of its significant structure and characteristics. This approach has been investigated by several researchers, and the notion is the focus of numerous results. In the following definition, the concept of majorization is introduced, which is central to the subsequent presentation of the results.
Definition 4
([47,48]). Let ϰ = ϰ 1 , ϰ 2 , , ϰ ξ and = ( 1 , 2 , , ξ ) be two n-tuples of real numbers such that ϰ ξ ϰ ξ 1 ϰ 1 , ξ ξ 1 1 , namely in decreasing order, and then ϰ is said to be majorized ℏ (or ℏ is said to be majorized by ϰ , symbolically ℏ ϰ ), if
ϱ = 1 ϑ ϱ ϱ = 1 ϑ ϰ ϱ f o r ϑ = 1 , 2 , , ξ 1
and
ϱ = 1 ξ ϱ = ϱ = 1 ξ ϰ ϱ .
A significant amount of papers and books has lately been conducted on majorization, especially when fractional integral operators are used. In the literature, numerous authors have explored various identities for the difference of majorization inequality by employing Abel–Gontscharoff interpolating polynomials and Green functions [49], the Taylor theorem with a mean-value form of the remainder [50], the Jensen integral inequality [51], Simpson inequality [52], and the H H M inequality [53]. Furthermore, they have shown novel results for different fractional operators, such as Riemann–Liouville operators [54,55], Caputo fractional derivative operators [56], k Caputo fractional derivative operators [57], generalized conformable fractional operators [58], and Atangana–Baleanu fractional operators [59].
Mathematical identities and inequalities represent pivotal concepts in the domain of convex analysis. A substantial volume of research has been dedicated to this field, utilizing these concepts. A pivotal concept in these studies is the method. By modifying the methodological approach, it becomes feasible to attain novel outcomes as well as those that have been previously documented. The following concept is a salient example of this.
Niezgoda expanded the J M inequality in [60] by using the concept of majorization, as follows.
Theorem 1.
(Majorized discrete J M inequality) Let f be a function that is defined to be convex on the interval I of real numbers, and let ( ϰ i ϱ ) be an ε × ξ real matrix such that ϰ i ϱ I for all i = 1 , 2 , , ε , ϱ 1 , 2 , ξ . Furthermore, let δ = ( δ 1 , δ 2 , δ ξ ) be a tuple with δ ϱ I and κ i 0 for i = 1 , 2 , , ε with i = 1 ε κ i = 1 . If δ majorizes every row of ( ϰ i ϱ ) , then
f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 i = 1 ε κ i ϰ i ϱ ϱ = 1 ξ f ( δ ϱ ) ϱ = 1 ξ 1 i = 1 ε κ i f ( ϰ i ϱ ) .
The present work aims to suggest new extensions of the H H M type based on Raina fractional operators by means of majorization. Furthermore, the application of Theorem 1 is utilized to establish novel identities and to illustrate two new lemmas of this type. This paper also displays exceptional values, incorporating both recent and previous findings from the literature. A few graphical representations that emphasize the main conclusions of our investigation are then displayed.

3. Main Results

In this section, we give the H H M -type inequalities for the Raina function by using the majorization concept.
Theorem 2.
Let δ = ( δ 1 , δ 2 , , δ ξ ) ,   ϰ = ( ϰ 1 , ϰ 2 , , ϰ ξ ) , and ℏ = ( 1 , 2 , , ξ ) be three n-tuples such that δ ϱ , ϰ ϱ , ϱ I , for all ϱ 1 , 2 , , ξ , ϰ ξ > ξ , , > 0 and f : I R be a convex function. Also, if ϰ δ and δ , then we have following main inequalities:
  f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + ϱ 2 1 2 ϱ = 1 ξ 1 ϱ ϰ ϱ F , + 1 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ   × J , , ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ + ; β ϕ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ   + J , , ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ ; β ϕ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ 2 ϱ = 1 ξ f ( δ ϱ ) ϱ = 1 ξ 1 f ( ϰ ϱ ) + ϱ = 1 ξ 1 f ( ϱ ) 2 .
Proof. 
Firstly, it can be written as
  f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + ϱ 2 = f 1 2 ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ = f 1 2 τ ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + ( 1 τ ) ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ   + τ ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ + ( 1 τ ) ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ
for τ [ 0 , 1 ] . In (8), utilizing the convexity of f, we obtain
  f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + ϱ 2 1 2 f τ ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + ( 1 τ ) ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ   + f τ ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ + ( 1 τ ) ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ .
Multiplying both sides of (9) by
τ 1 F , ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ τ
and integrating with respect to τ over [ 0 , 1 ] , we obtain
  0 1 τ 1 F , ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ τ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + ϱ 2 d τ 1 2 0 1 τ 1 F , ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ τ   ×   f τ ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + ( 1 τ ) ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ d τ   + 1 2 0 1 τ 1 F , ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ τ   × f   τ ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ + ( 1 τ ) ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ d τ .
The following inequality is derived from the properties of the Gamma and the Raina functions in the above identity, as well as a straightforward analytical calculation (namely, change in variable):
  F , + 1 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + ϱ 2 1 2 ϱ = 1 ξ 1 ϱ ϰ ϱ   × ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ u ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ 1   × F , ϕ β u ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ f ( u ) d u   + ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ u 1   × F , ϕ β ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ u f ( u ) d u .
In order to apply the definition of the fractional integral operator for the Raina function in (10), it is first necessary to demonstrate that
ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ < ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ .
Since
ϰ ξ > ξ ϰ ξ ξ > 0 .
By the definition of majorization and the hypotheses, we have ϰ δ and δ ; therefore,
ϱ = 1 ξ ϰ ϱ = ϱ = 1 ξ δ ϱ and ϱ = 1 ξ ϱ = ϱ = 1 ξ δ ϱ
ϱ = 1 ξ 1 ϰ ϱ + ϰ ξ = ϱ = 1 ξ 1 ϱ + ξ ϰ ξ ξ = ϱ = 1 ξ 1 ϱ ϱ = 1 ξ 1 ϰ ϱ .
By substituting (11) in (12) and adding ϱ = 1 ξ δ ϱ to both sides, we have
ϱ = 1 ξ 1 ϱ ϱ = 1 ξ 1 ϰ ϱ > 0 ϱ = 1 ξ 1 ϱ < ϱ = 1 ξ 1 ϰ ϱ ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ < ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ .
Subsequently, the Raina fractional operators are employed in (10), yielding
f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + ϱ 2 1 2 ϱ = 1 ξ 1 ϱ ϰ ϱ F , + 1 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ     × J , , ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ + ; β ϕ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ     + J , , ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ ; β ϕ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ .
Consequently, we have derived the first part of (7). The convexity of f is then utilized to derive the second part of the inequality (7), as demonstrated below:
  f τ ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + ( 1 τ ) ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ τ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + ( 1 τ ) f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ
and
  f τ ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ + ( 1 τ ) ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ τ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ + ( 1 τ ) f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ .
Adding (14) and (15), then using Theorem 1 for ε = 1 and κ 1 = 1 , we have
  f τ ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + ( 1 τ ) ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ   + f τ ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ + ( 1 τ ) ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ 2 ϱ = 1 ξ f ( δ ϱ ) ϱ = 1 ξ 1 f ( ϰ ϱ ) + ϱ = 1 ξ 1 f ( ϱ ) .
By multiplying the aforementioned identity with
τ 1 F , ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ τ
and then integrating the acquired inequality with respect to τ over [ 0 , 1 ] , we obtain the remaining part of (7). □
Remark 1.
A significant proportion of results found in the existing literature can be obtained by employing the definition of majorization. In this regard, under the conditions of Theorem 2, the following apply:
1. 
If we choose = α , ϕ ( 0 ) = 1 , and β = 0 , then we have the inequality of Theorem 2 ( R L fractional integral type), and also, if we take α = 1 , we obtain the classical inequality of Remark 1 in [55].
2. 
If we take ξ = 2 , the inequality (7) reduces to inequality (8) ( H H M -type inequality for Raina function) given in [42].
3. 
If we take ξ = 2 and = α , ϕ ( 0 ) = 1 , β = 0 , then we obtain the well-known H H inequality for R L integral operators (Theorem 2.1) in [31].
4. 
If we choose ξ = 2 and = 1 , ϕ ( 0 ) = 1 , and β = 0 , we have another important result obtained (namely Theorem 2.1) by Kian and Moslehian in [25].
5. 
If we choose ξ = 2 and = 1 , ϕ ( 0 ) = 1 , β = 0 , and also, δ 1 = ϰ 1 , δ 2 = 1 , then we obtain the well-known H H inequality.
We present a different form (namely, midpoint versions of H H M -type inequalities via majorization) of this finding in a manner analogous to that employed in the previously mentioned theorem, employing identical methodology.
Theorem 3.
If the conditions stated in Theorem 2 hold true, then
  f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + ϱ 2 2 1 ϱ = 1 ξ 1 ϱ ϰ ϱ F , + 1 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ 2   × J , , ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + ϱ 2 + ; β ϕ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ   + J , , ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + ϱ 2 ; β ϕ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ ϱ = 1 ξ f ( δ ϱ ) ϱ = 1 ξ 1 f ( ϰ ϱ ) + ϱ = 1 ξ 1 f ( ϱ ) 2 .
Proof. 
The above can be written as
  f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + ϱ 2 = f 1 2 ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ = f 1 2 ϱ = 1 ξ δ ϱ τ 2 ϱ = 1 ξ 1 ϰ ϱ + 2 τ 2 ϱ = 1 ξ 1 ϱ   + ϱ = 1 ξ δ ϱ τ 2 ϱ = 1 ξ 1 ϱ + 2 τ 2 ϱ = 1 ξ 1 ϰ ϱ
for τ [ 0 , 1 ] . Utilizing the definition of convex function in (17), we have
  f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + ϱ 2 1 2 f ϱ = 1 ξ δ ϱ τ 2 ϱ = 1 ξ 1 ϰ ϱ + 2 τ 2 ϱ = 1 ξ 1 ϱ   + f ϱ = 1 ξ δ ϱ τ 2 ϱ = 1 ξ 1 ϱ + 2 τ 2 ϱ = 1 ξ 1 ϰ ϱ .
Multiplying both sides of (18) by
τ 1 F , ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ 2 τ
and taking integration with respect to τ over [ 0 , 1 ] , we obtain
  0 1 τ 1 F , ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ 2 τ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + ϱ 2 d τ 1 2 0 1 τ 1 F , ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ 2 τ f ϱ = 1 ξ δ ϱ τ 2 ϱ = 1 ξ 1 ϰ ϱ + 2 τ 2 ϱ = 1 ξ 1 ϱ d τ   + 1 2 0 1 τ 1 F , ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ 2 τ f ϱ = 1 ξ δ ϱ τ 2 ϱ = 1 ξ 1 ϱ + 2 τ 2 ϱ = 1 ξ 1 ϰ ϱ d τ .
In (19), it can be concluded from the properties of the Gamma and the Raina function, in addition to a straightforward calculation (namely, a change in variable), that
  F , + 1 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ 2 f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + ϱ 2 1 2 ϱ = 1 ξ 1 ϱ ϰ ϱ 2   × ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + ϱ 2 u ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ 1 F , ϕ β u ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ f ( u ) d u   + ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + ϱ 2 ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ u 1 F , ϕ β ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ u f ( u ) d u .
Now, we have to show that
ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ < ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + ϱ 2
and
ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + ϱ 2 < ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ .
From identities (11) and (12) in Theorem 2, we can write
ϱ = 1 ξ 1 ϱ ϱ = 1 ξ 1 ϰ ϱ > 0 ϱ = 1 ξ 1 ϱ < ϱ = 1 ξ 1 ϰ ϱ .
For the first identity, adding ϱ = 1 ξ 1 ϱ to both sides in (21), we have
2 ϱ = 1 ξ 1 ϱ < ϱ = 1 ξ 1 ϰ ϱ ϱ = 1 ξ 1 ϱ ϱ = 1 ξ 1 ϱ < ϱ = 1 ξ 1 ϰ ϱ + ϱ 2 .
Adding ϱ = 1 ξ δ ϱ to both sides in (22), we have the required result. Similarly, for the second identity, adding ϱ = 1 ξ 1 ϰ ϱ and ϱ = 1 ξ δ ϱ to both sides in (21), we obtain
ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + ϱ 2 < ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ .
Then, utilizing the definition of Raina fractional operators in (20), we get
f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + ϱ 2 2 1 ϱ = 1 ξ 1 ϱ ϰ ϱ F , + 1 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ 2     × J , , ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + ϱ 2 + ; β ϕ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ     + J , , ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + ϱ 2 ; β ϕ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ .
Consequently, we have derived the first part of (16). To demonstrate the second inequality of (16), we use Theorem 1 for the values ε = 2 , κ 1 = τ 2 , and κ 2 = 2 τ 2 as follows:
  f ϱ = 1 ξ δ ϱ τ 2 ϱ = 1 ξ 1 ϰ ϱ + 2 τ 2 ϱ = 1 ξ 1 ϱ ϱ = 1 ξ f ( δ ϱ ) τ 2 ϱ = 1 ξ 1 f ( ϰ ϱ ) + 2 τ 2 ϱ = 1 ξ 1 f ( ϱ )
and
  f ϱ = 1 ξ δ ϱ τ 2 ϱ = 1 ξ 1 ϱ + 2 τ 2 ϱ = 1 ξ 1 ϰ ϱ ϱ = 1 ξ f ( δ ϱ ) τ 2 ϱ = 1 ξ 1 f ( ϱ ) + 2 τ 2 ϱ = 1 ξ 1 f ( ϰ ϱ ) .
By adding (23) and (24), we obtain
  f ϱ = 1 ξ δ ϱ τ 2 ϱ = 1 ξ 1 ϰ ϱ + 2 τ 2 ϱ = 1 ξ 1 ϱ   + f ϱ = 1 ξ δ ϱ τ 2 ϱ = 1 ξ 1 ϱ + 2 τ 2 ϱ = 1 ξ 1 ϰ ϱ 2 ϱ = 1 ξ f ( δ ϱ ) ϱ = 1 ξ 1 f ( ϰ ϱ ) + ϱ = 1 ξ 1 f ( ϱ ) .
In order to determine the second part of (16), we multiply the previously given identity by
τ 1 F , ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ 2 τ
and then integrate the acquired inequality with regard to τ over [ 0 , 1 ] . Hence, the proof is complete. □
Remark 2.
In Theorem 3, the following apply:
1. 
If we choose = α , ϕ ( 0 ) = 1 , and β = 0 , then we have the inequality of Theorem 3 ( R L fractional integral type) in [55].
2. 
If we take ξ = 2 , inequality (16) reduces to inequality (17) ( H H M -type inequality for the Raina function) given in [42].
3. 
If we take ξ = 2 and = α , ϕ ( 0 ) = 1 , β = 0 , then we obtain another form of H H inequality for R L integral operators (Teorem 2.3) in [31].
4. 
If we choose ξ = 2 and = 1 , ϕ ( 0 ) = 1 , β = 0 , then we have another important result obtained by Kian and Moslehian in [25].
5. 
If we choose ξ = 2 and = 1 , ϕ ( 0 ) = 1 , β = 0 , and also, δ 1 = ϰ 1 , δ 2 = 1 , then we obtain the well-known H H inequality.

4. Integral Identities Associated with the Main Results

Integral identities have been shown to facilitate the establishment of more powerful inequalities when combined with certain assumptions. In this regard, in this section, we first derive two new identities associated with differentiable functions. Utilizing these identities, new inequalities for functions whose first- and second-order derivatives are convex are subsequently proven. This study was primarily motivated by the dearth of research on twice differentiable functions in the existing literature for the majorization theory.
Lemma 1.
Let δ = ( δ 1 , δ 2 , , δ ξ ) ,   ϰ = ( ϰ 1 , ϰ 2 , , ϰ ξ ) , and ℏ = ( 1 , 2 , , ξ ) be three n-tuples, where ϰ ξ > ξ , δ ϱ , ϰ ϱ , ϱ I , for all ϱ 1 , 2 , , ξ and , > 0 . Also, let f : I R be a differentiable function such that f L ( I ) ; then, we have the following first main identity:
  f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ 2   1 2 ϱ = 1 ξ 1 ϱ ϰ ϱ F , + 1 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ   × J , , ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ + ; β ϕ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + J , , ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ ; β ϕ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ = ϱ = 1 ξ 1 ϱ ϰ ϱ 2 F , + 1 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ   × 0 1 τ F , + 1 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ τ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ( τ ϰ ϱ + ( 1 τ ) ϱ ) d τ   0 1 ( 1 τ ) F , + 1 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ ( 1 τ ) f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ( τ ϰ ϱ + ( 1 τ ) ϱ ) d τ
where τ [ 0 , 1 ] .
Proof. 
In order to demonstrate the desired result, it is necessary to take into consideration that
  Ψ = 0 1 τ F , + 1 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ τ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ( τ ϰ ϱ + ( 1 τ ) ϱ ) d τ   0 1 ( 1 τ ) F , + 1 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ ( 1 τ ) f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ( τ ϰ ϱ + ( 1 τ ) ϱ ) d τ = Ψ 1 Ψ 2 .
Utilizing the definition of the Raina function, we can write
  Ψ 1 = 0 1 τ F , + 1 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ τ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ( τ ϰ ϱ + ( 1 τ ) ϱ ) d τ = k = 1 ϕ ( k ) β k ϱ = 1 ξ 1 ϱ ϰ ϱ k Γ k + + 1 0 1 τ + k f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ( τ ϰ ϱ + ( 1 τ ) ϱ ) d τ
From identity (13) and using the integration-by-parts formula, we obtain
  Ψ 1 = k = 1 ϕ ( k ) β k ϱ = 1 ξ 1 ϱ ϰ ϱ k Γ k + + 1   × τ + k f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ( τ ϰ ϱ + ( 1 τ ) ϱ ) ϱ = 1 ξ 1 ϱ ϰ ϱ 0 1   + k ϱ = 1 ξ 1 ϱ ϰ ϱ 0 1 τ + k 1 f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ( τ ϰ ϱ + ( 1 τ ) ϱ ) d τ = f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ ϱ = 1 ξ 1 ϱ ϰ ϱ F , + 1 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ   1 ϱ = 1 ξ 1 ϱ ϰ ϱ 0 1 τ 1 F , ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ( τ ϰ ϱ + ( 1 τ ) ϱ ) d τ .
As a consequence, from the change in variable, we then obtain following result:
  Ψ 1 = f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ ϱ = 1 ξ 1 ϱ ϰ ϱ F , + 1 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ   1 ϱ = 1 ξ 1 ϱ ϰ ϱ + 1 J , , ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ ; β ϕ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ
and similarly,
  Ψ 2 = 0 1 ( 1 τ ) F , + 1 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ ( 1 τ ) f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ( τ ϰ ϱ + ( 1 τ ) ϱ ) d τ = k = 1 ϕ ( k ) β k ϱ = 1 ξ 1 ϱ ϰ ϱ k Γ k + + 1 0 1 ( 1 τ ) + k f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ( τ ϰ ϱ + ( 1 τ ) ϱ ) d τ = k = 1 ϕ ( k ) β k ϱ = 1 ξ 1 ϱ ϰ ϱ k Γ k + + 1 ( 1 τ ) + k f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ( τ ϰ ϱ + ( 1 τ ) ϱ ) ϱ = 1 ξ 1 ϱ ϰ ϱ 0 1   + + k ϱ = 1 ξ 1 ϱ ϰ ϱ 0 1 ( 1 τ ) + k 1 f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ( τ ϰ ϱ + ( 1 τ ) ϱ ) d τ = f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ ϱ = 1 ξ 1 ϱ ϰ ϱ F , + 1 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ   + 1 ϱ = 1 ξ 1 ϱ ϰ ϱ + 1 J , , ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ + ; β ϕ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ .
So,
  Ψ = F , + 1 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ ϱ = 1 ξ 1 ϱ ϰ ϱ   1 ϱ = 1 ξ 1 ϱ ϰ ϱ + 1 ϱ , , ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ ; β ϕ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ   + ϱ , , ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ + ; β ϕ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ .
Multiplying the aforementioned identity of both sides with
ϱ = 1 ξ 1 ϱ ϰ ϱ 2 F , + 1 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ ,
we obtain the required equality. □
Corollary 2.
Under the conditions of Lemma 1, if we take ξ = 2 , then we obtain
  f δ 1 + δ 2 ϰ 1 + f δ 1 + δ 2 1 2 1 2 1 ϰ 1 F , + 1 ϕ β 1 ϰ 1   × J , , δ 1 + δ 2 1 + ; β ϕ f δ 1 + δ 2 ϰ 1 + J , , δ 1 + δ 2 ϰ 1 ; β ϕ f δ 1 + δ 2 1 = 1 ϰ 1 2 F , + 1 ϕ β 1 ϰ 1   × 0 1 τ F , + 1 ϕ β 1 ϰ 1 τ f δ 1 + δ 2 ( τ ϰ 1 + ( 1 τ ) 1 d τ   0 1 ( 1 τ ) F , + 1 ϕ β 1 ϰ 1 ( 1 τ ) f δ 1 + δ 2 ( τ ϰ 1 + ( 1 τ ) 1 d τ .
Remark 3.
By taking = α , ϕ ( 0 ) = 1 , and β = 0 in Lemma 1, we have the equality (33) in [55].
Now, we present the following theorem, which is of H H M type for majorization based on Lemma 1.
Theorem 4.
Assuming that all conditions specified in Lemma 1 are satisfied. If δ majorizes ϰ ,ℏ ( ϰ δ and ℏ δ ) and f is convex mapping on I, then
  f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ 2   1 2 ϱ = 1 ξ 1 ϱ ϰ ϱ F , + 1 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ   × J , , ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ + ; β ϕ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + J , , ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ ; β ϕ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ ϱ = 1 ξ 1 ϱ ϰ ϱ F , + 2 ϕ 1 β ϱ = 1 ξ 1 ϱ ϰ ϱ F , + 1 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ ϱ = 1 ξ f ( δ ϱ ) ϱ = 1 ξ 1 f ( ϰ ϱ ) + ϱ = 1 ξ 1 f ( ϱ ) 2
where
ϕ 1 = ϕ ( k ) 1 1 2 + k .
Proof. 
Utilizing Lemma 1 and the property of absolute value, we obtain
  Ξ δ , ϰ , , F = f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ 2   1 2 ϱ = 1 ξ 1 ϱ ϰ ϱ F , + 1 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ   × J , , ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ + ; β ϕ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + J , , ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ ; β ϕ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ ϱ = 1 ξ 1 ϱ ϰ ϱ 2 F , + 1 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ   × 0 1 τ F , + 1 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ τ ( 1 τ ) F , + 1 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ ( 1 τ )   × f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ( τ ϰ ϱ + ( 1 τ ) ϱ ) d τ .
From the definition of the Raina fractional operator, we can write
  Ξ δ , ϰ , , F ϱ = 1 ξ 1 ϱ ϰ ϱ 2 F , + 1 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ k = 1 ϕ ( k ) β k ϱ = 1 ξ 1 ϱ ϰ ϱ k Γ k + + 1   × 0 1 τ + k ( 1 τ ) + k f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ( τ ϰ ϱ + ( 1 τ ) ϱ ) d τ = ϱ = 1 ξ 1 ϱ ϰ ϱ 2 F , + 1 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ k = 1 ϕ ( k ) β k ϱ = 1 ξ 1 ϱ ϰ ϱ k Γ k + + 1   × 0 1 2 ( 1 τ ) + k τ + k f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ( τ ϰ ϱ + ( 1 τ ) ϱ ) d τ   + 1 2 1 τ + k ( 1 τ ) + k f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ( τ ϰ ϱ + ( 1 τ ) ϱ ) d τ .
Utilizing Theorem 1 for ε = 2 , κ 1 = τ , and κ 2 = 1 τ in the above identity, as a consequence of the convexity of f , we have
  Ξ δ , ϰ , , F ϱ = 1 ξ 1 ϱ ϰ ϱ 2 F , + 1 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ k = 1 ϕ ( k ) β k ϱ = 1 ξ 1 ϱ ϰ ϱ k Γ k + + 1   × 0 1 2 ( 1 τ ) + k τ + k ϱ = 1 ξ f ( δ ϱ ) τ ϱ = 1 ξ 1 f ( ϰ ϱ ) + ( 1 τ ) ϱ = 1 ξ 1 f ( ϱ ) d τ   + 1 2 1 τ + k ( 1 τ ) + k ϱ = 1 ξ f ( δ ϱ ) τ ϱ = 1 ξ 1 f ( ϰ ϱ ) + ( 1 τ ) ϱ = 1 ξ 1 f ( ϱ ) d τ
= ϱ = 1 ξ 1 ϱ ϰ ϱ 2 F , + 1 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ k = 1 ϕ ( k ) β k ϱ = 1 ξ 1 ϱ ϰ ϱ k Γ k + + 1   × ϱ = 1 ξ f ( δ ϱ ) 0 1 2 ( 1 τ ) + k τ + k d τ   ϱ = 1 ξ 1 f ( ϰ ϱ ) 0 1 2 τ ( 1 τ ) + k τ + k + 1 d τ   + ϱ = 1 ξ 1 f ( ϱ ) 0 1 2 ( 1 τ ) + k + 1 ( 1 τ ) τ + k d τ   + ϱ = 1 ξ f ( δ ϱ ) 1 2 1 τ + k ( 1 τ ) + k d τ   ϱ = 1 ξ 1 f ( ϰ ϱ ) 1 2 1 τ + k + 1 τ ( 1 τ ) + k d τ   + ϱ = 1 ξ 1 f ( ϱ ) 1 2 1 ( 1 τ ) τ + k ( 1 τ ) + k + 1 d τ .
After elementary calculations and using the Raina function, we obtain the required result. □
Corollary 3.
Under the conditions of Theorem 4, if we take ξ = 2 , then we obtain a new form of the Raina function as follows:
  f δ 1 + δ 2 ϰ 1 + f δ 1 + δ 2 1 2 1 2 1 ϰ 1 F , + 1 ϕ β 1 ϰ 1   × J , , δ 1 + δ 2 1 + ; β ϕ f δ 1 + δ 2 ϰ 1 + J , , δ 1 + δ 2 ϰ 1 ; β ϕ f δ 1 + δ 2 1 1 ϰ 1 F , + 2 ϕ 1 β 1 ϰ 1 F , + 1 ϕ β 1 ϰ 1 f δ 1 + f δ 2 f ϰ 1 + f 1 2 .
Remark 4.
For = α , ϕ ( 0 ) = 1 , and β = 0 , the identity in Theorem 4 transforms to the inequality (36) given in [55].
In order to obtain additional results, it is necessary to establish another lemma for twice differentiable functions, as follows:
Lemma 2.
Let δ = ( δ 1 , δ 2 , , δ ξ ) , ϰ = ( ϰ 1 , ϰ 2 , , ϰ ξ ) , and ℏ = ( 1 , 2 , , ξ ) be three n-tuples where ϰ ξ > ξ , δ ϱ , ϰ ϱ , ϱ I , for all ϱ 1 , 2 , , ξ and , > 0 . Also, let f : I R be a differentiable function such that f L ( I ) , and subsequently, the following secondary main identity is obtained:
  f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ 2   1 2 ϱ = 1 ξ 1 ϱ ϰ ϱ F , + 1 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ   × J , , ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ + ; β ϕ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + J , , ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ ; β ϕ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ = ϱ = 1 ξ 1 ϱ ϰ ϱ 2 2 F , + 1 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ   × 0 1 τ F , + 2 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ τ + 1 F , + 2 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ τ   × f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ( τ ϰ ϱ + ( 1 τ ) ϱ ) + f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ( τ ϱ + ( 1 τ ) ϰ ϱ ) d τ
where τ [ 0 , 1 ] .
Proof. 
Firstly, we can write
  = 0 1 τ F , + 2 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ τ + 1 F , + 2 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ τ   × f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ( τ ϰ ϱ + ( 1 τ ) ϱ ) + f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ( τ ϱ + ( 1 τ ) ϰ ϱ ) d τ = 0 1 τ F , + 2 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ( τ ϰ ϱ + ( 1 τ ) ϱ ) d τ   + 0 1 τ F , + 2 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ( τ ϱ + ( 1 τ ) ϰ ϱ ) d τ   0 1 τ + 1 F , + 2 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ τ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ( τ ϰ ϱ + ( 1 τ ) ϱ ) d τ   0 1 τ + 1 F , + 2 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ τ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ( τ ϱ + ( 1 τ ) ϰ ϱ ) d τ = 1 + 2 3 4 .
The application of integration by parts in 1 , 2 , 3 , and 4 has yielded the following result.
  1 = F , + 2 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ 0 1 τ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ( τ ϰ ϱ + ( 1 τ ) ϱ ) d τ = F , + 2 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ   × τ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ( τ ϰ ϱ + ( 1 τ ) ϱ ) ϱ = 1 ξ 1 ϱ ϰ ϱ 0 1 0 1 f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ( τ ϰ ϱ + ( 1 τ ) ϱ ) ϱ = 1 ξ 1 ϱ ϰ ϱ d τ = F , + 2 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ   × f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ ϱ = 1 ξ 1 ϱ ϰ ϱ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ ϱ = 1 ξ 1 ϱ ϰ ϱ 2 ,
and similarly
  2 = F , + 2 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ 0 1 τ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ( τ ϱ + ( 1 τ ) ϰ ϱ ) d τ = F , + 2 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ   × f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ ϱ = 1 ξ 1 ϱ ϰ ϱ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ ϱ = 1 ξ 1 ϱ ϰ ϱ 2 .
Utilizing identity (13), the definition of Raina fractional operators, and the integration-by-parts formula, we obtain
  3 = 0 1 τ + 1 F , + 2 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ τ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ( τ ϰ ϱ + ( 1 τ ) ϱ ) d τ = k = 1 ϕ ( k ) β k ϱ = 1 ξ 1 ϱ ϰ ϱ k Γ k + + 2 0 1 τ + k + 1 f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ( τ ϰ ϱ + ( 1 τ ) ϱ ) d τ = k = 1 ϕ ( k ) β k ϱ = 1 ξ 1 ϱ ϰ ϱ k Γ k + + 2 τ + k + 1 f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ( τ ϰ ϱ + ( 1 τ ) ϱ ) ϱ = 1 ξ 1 ϱ ϰ ϱ 0 1   + k + 1 ϱ = 1 ξ 1 ϱ ϰ ϱ 0 1 τ + k f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ( τ ϰ ϱ + ( 1 τ ) ϱ ) d τ
Again, using the integration-by-parts formula, we can write
3 = F , + 2 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ ϱ = 1 ξ 1 ϱ ϰ ϱ     + F , + 1 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ ϱ = 1 ξ 1 ϱ ϰ ϱ 2     1 ϱ = 1 ξ 1 ϱ ϰ ϱ + 2 J , , ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ ; β ϕ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ ,
and finally, if we make the same calculations as above for the identity, we get
  4 = 0 1 τ + 1 F , + 2 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ τ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ( τ ϱ + ( 1 τ ) ϰ ϱ ) d τ = F , + 2 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ ϱ = 1 ξ 1 ϱ ϰ ϱ   + F , + 1 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ ϱ = 1 ξ 1 ϱ ϰ ϱ 2   1 ϱ = 1 ξ 1 ϱ ϰ ϱ + 2 J , , ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ + ; β ϕ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ .
Substituting 1 , 2 , 3 , and 4 into , and multiplying the aforementioned identity of both sides with
ϱ = 1 ξ 1 ϱ ϰ ϱ 2 2 F , + 1 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ ,
we obtain Lemma 2. □
Corollary 4.
By taking = α , ϕ ( 0 ) = 1 , and β = 0 in Lemma 2, we have a new form for majorization, as follows:
  f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ 2 Γ ( α + 1 ) 2 ϱ = 1 ξ 1 ϱ ϰ ϱ α   × J ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ + α f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + J ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ α f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ = ϱ = 1 ξ 1 ϱ ϰ ϱ 2 2 α + 1   × 0 1 τ τ + 1   × f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ( τ ϰ ϱ + ( 1 τ ) ϱ ) + f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ( τ ϱ + ( 1 τ ) ϰ ϱ ) d τ .
Corollary 5.
Under the conditions of Lemma 2, if we take ξ = 2 , then we obtain
  f δ 1 + δ 2 ϰ 1 + f δ 1 + δ 2 1 2 1 2 1 ϰ 1 F , + 1 ϕ β 1 ϰ 1   × J , , δ 1 + δ 2 1 + ; β ϕ f δ 1 + δ 2 ϰ 1 + J , , δ 1 + δ 2 ϰ 1 ; β ϕ f δ 1 + δ 2 1 = 1 ϰ 1 2 2 F , + 1 ϕ β 1 ϰ 1   × 0 1 τ F , + 2 ϕ β 1 ϰ 1 τ + 1 F , + 2 ϕ β 1 ϰ 1 τ   × f δ 1 + δ 2 ( τ ϰ 1 + ( 1 τ ) 1 + f δ 1 + δ 2 ( τ 1 + ( 1 τ ) ϰ 1 d τ
and also, by inserting δ 1 = ϰ 1 , δ 2 = 1 in the above identity, we have Lemma 2.1 in [61].
Now, we will present a novel result concerning the H H M -type inequality, which is based on Lemma 2.
Theorem 5.
Let all conditions in the hypothesis of Lemma 2 be satisfied. If δ majorizes ϰ ,ℏ ( ϰ δ and ℏ δ ) and f is convex mapping on I, then we obtain the following result:
  f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ 2   1 2 ϱ = 1 ξ 1 ϱ ϰ ϱ F , + 1 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ   × J , , ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ + ; β ϕ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + J , , ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ ; β ϕ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ ϱ = 1 ξ 1 ϱ ϰ ϱ 2 2 F , + 3 ϕ 2 β ϱ = 1 ξ 1 ϱ ϰ ϱ F , + 1 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ ϱ = 1 ξ f ( δ ϱ )   F , + 3 ϕ 3 β ϱ = 1 ξ 1 ϱ ϰ ϱ F , + 1 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ ϱ = 1 ξ 1 f ( ϰ ϱ ) + ϱ = 1 ξ 1 f ( ϱ )
where
ϕ 2 = ϕ ( k ) + k and ϕ 3 = ϕ ( k ) + k 2 .
Proof. 
From Lemma 2 and the property of absolute value, we can write
  Ξ δ , ϰ , , F = f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ 2   1 2 ϱ = 1 ξ 1 ϱ ϰ ϱ F , + 1 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ   × J , , ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ + ; β ϕ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + J , , ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ ; β ϕ f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ ϱ = 1 ξ 1 ϱ ϰ ϱ 2 2 F , + 1 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ   × 0 1 τ F , + 2 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ τ τ + 1 F , + 2 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ τ   × f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ( τ ϰ ϱ + ( 1 τ ) ϱ ) + f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ( τ ϱ + ( 1 τ ) ϰ ϱ ) d τ .
Utilizing the Raina fractional operator, we obtain
  Ξ δ , ϰ , , F ϱ = 1 ξ 1 ϱ ϰ ϱ 2 2 F , + 1 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ k = 1 ϕ ( k ) β k ϱ = 1 ξ 1 ϱ ϰ ϱ k Γ k + + 2   × 0 1 τ τ + k + 1   × f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ( τ ϰ ϱ + ( 1 τ ) ϱ ) + f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ( τ ϱ + ( 1 τ ) ϰ ϱ ) d τ .
Utilizing Theorem 1 for ε = 2 , κ 1 = τ , and κ 2 = 1 τ in the above identity, as a consequence of the convexity of f , we obtain
  Ξ δ , ϰ , , F ϱ = 1 ξ 1 ϱ ϰ ϱ 2 2 F , + 1 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ k = 1 ϕ ( k ) β k ϱ = 1 ξ 1 ϱ ϰ ϱ k Γ k + + 2   × 0 1 τ τ + k + 1 ϱ = 1 ξ f ( δ ϱ ) τ ϱ = 1 ξ 1 f ( ϰ ϱ ) + ( 1 τ ) ϱ = 1 ξ 1 f ( ϱ ) d τ   + 0 1 τ τ + k + 1 ϱ = 1 ξ f ( δ ϱ ) τ ϱ = 1 ξ 1 f ( ϱ ) + ( 1 τ ) ϱ = 1 ξ 1 f ( ϰ ϱ ) d τ = ϱ = 1 ξ 1 ϱ ϰ ϱ 2 2 F , + 1 ϕ β ϱ = 1 ξ 1 ϱ ϰ ϱ F , + 3 ϕ 2 β ϱ = 1 ξ 1 ϱ ϰ ϱ ϱ = 1 ξ f ( δ ϱ )   F , + 3 ϕ 3 β ϱ = 1 ξ 1 ϱ ϰ ϱ ϱ = 1 ξ 1 f ( ϰ ϱ ) + ϱ = 1 ξ 1 f ( ϱ ) .
Subsequent to elementary calculations and utilizing the Raina function, the inequality in Theorem 5 is obtained. □
Corollary 6.
By taking = α , ϕ ( 0 ) = 1 , and β = 0 in Theorem 5, we obtain a new inequality for twice differentiable functions via majorization, as follows:
  f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ 2 Γ ( α + 1 ) 2 ϱ = 1 ξ 1 ϱ ϰ ϱ α   × J ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ + α f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ + J ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϰ ϱ α f ϱ = 1 ξ δ ϱ ϱ = 1 ξ 1 ϱ α ϱ = 1 ξ 1 ϱ ϰ ϱ 2 2 α + 1 α + 2 ϱ = 1 ξ f ( δ ϱ ) ϱ = 1 ξ 1 f ( ϰ ϱ ) + ϱ = 1 ξ 1 f ( ϱ ) 2 .
Corollary 7.
Under the conditions of Theorem 5, if we take ξ = 2 , then we obtain the H H M -type inequality for the Raina function, as follows:
  f δ 1 + δ 2 ϰ 1 + f δ 1 + δ 2 1 2 1 2 1 ϰ 1 F , + 1 ϕ β 1 ϰ 1   × J , , δ 1 + δ 2 1 + ; β ϕ f δ 1 + δ 2 ϰ 1 + J , , δ 1 + δ 2 ϰ 1 ; β ϕ f δ 1 + δ 2 1 1 ϰ 1 2 2 F , + 1 ϕ 2 β 1 ϰ 1 F , + 1 ϕ β 1 ϰ 1 f ( δ 1 ) + f ( δ 2 )   F , + 3 ϕ 3 β 1 ϰ 1 F , + 1 ϕ β 1 ϰ 1 f ( ϰ 1 ) + f ( 1 ) ,
and also, inserting δ 1 = ϰ 1 , δ 2 = 1 in the above identity, we then have a new inequality of H H type:
  f ϰ 1 + f 1 2 1 2 1 ϰ 1 F , + 1 ϕ β 1 ϰ 1   × J , , ϰ 1 + ; β ϕ f 1 + J , , 1 ; β ϕ f ϰ 1 1 ϰ 1 2 2 F , + 1 ϕ 2 β 1 ϰ 1 F , + 3 ϕ 3 β 1 ϰ 1 F , + 1 ϕ β 1 ϰ 1   × f ( ϰ 1 ) + f ( 1 ) .

5. Examples and Illustrations

Example 1.
Under the conditions of Theorem 4, if we take ξ = 2 , = α , ϕ ( 0 ) = 1 , and β = 0 , then we have
  f δ 1 + δ 2 ϰ 1 + f δ 1 + δ 2 1 2 α 2 1 ϰ 1 α   × δ 1 + δ 2 1 δ 1 + δ 2 ϰ 1 δ 1 + δ 2 ϰ 1 u α 1 + u δ 1 + δ 2 1 α 1 f u d u 1 ϰ 1 α + 1 1 1 2 α f δ 1 + f δ 2 f ϰ 1 + f 1 2 .
In addition, δ 1 = 1 , δ 2 = 4 , ϰ 1 = 3 , 1 = 2 , and f ( ϰ ) = ϰ 3 3 , f ( ϰ ) = ϰ 2 . Then, it can be seen that
35 6 35 α 3 + 195 α 2 + 340 α + 210 6 ( α + 1 ) ( α + 2 ) ( α + 3 ) 21 2 1 α + 1 1 1 2 α .
The following graph (Figure 1) illustrates the comparison between the left and right sides of Theorem 4.
Example 2.
Under the conditions of Theorem 5, if we choose ξ = 2 , = α , ϕ ( 0 ) = 1 , and β = 0 , then we have
  f δ 1 + δ 2 ϰ 1 + f δ 1 + δ 2 1 2 α 2 1 ϰ 1 α   × δ 1 + δ 2 1 δ 1 + δ 2 ϰ 1 δ 1 + δ 2 ϰ 1 u α 1 + u δ 1 + δ 2 1 α 1 f u d u α 1 ϰ 1 2 2 f δ 1 + f δ 2 1 2 ( α + 1 ) ( α + 2 ) f ϰ 1 + f 1 .
In addition, δ 1 = 1 , δ 2 = 4 , ϰ 1 = 3 , 1 = 2 , and f ( ϰ ) = ϰ 4 4 , f ( ϰ ) = 3 ϰ 2 . Then, it can be seen that
97 8 97 α 4 + 894 α 3 + 2867 α 2 + 3942 α + 2328 8 ( α + 1 ) ( α + 2 ) ( α + 3 ) ( α + 4 ) α 2 51 39 2 ( α + 1 ) ( α + 2 ) .
The following graph (Figure 2) illustrates the comparison between the left and right sides of Theorem 5.

6. Conclusions

The Raina function has been subjected to substantial examination and advancement by several mathematicians since its association with the fractional integral operator was identified. A variety of beneficial fractional integral operators can be obtained by selecting particular values for the coefficient ϕ ( k ) . Researchers in this field are currently carrying out extensive studies of the popular H H inequality. In numerical integration, this inequality serves as a tool for error estimates. It provides estimates for the integral mean of the convex function and ensures that the convex function is integrable. Furthermore, it has been established for many convex functions, with special attention on s-type convex, exponential convex, composite convex, coordinate convex, etc. Another significant inequality associated with convex functions is the Mercer inequality. This inequality has recently been the focus of much attention, resulting in numerous generalizations and conclusions. In this paper, the concept of majorization is employed to derive the combined H H and Mercer inequalities within the framework of fractional calculus. Firstly, we have obtained two generalized H H M inequalities using majorization. Additionally, novel and existing results in the literature were achieved by giving special values of ξ , ,   ϕ , and β to the results obtained. Secondly, we have developed two new identities (namely Lemmas 1 and 2). A significant finding of the present paper is that novel results concerning functions for which the second derivative is convex have been established. Researchers interested in this area can utilize different methods (such as Hölder, power-mean and Young inequalities, especially corollaries), different convex functions or concave functions, and new operators to obtain more general results (for examples, see Lemma 2.5 and Lemma 2.9 in [53]). In this regard, the presented consequences and methods in this paper may explore further investigation in this area by mathematicians.

Author Contributions

Conceptualization, Ç.Y. and T.İ.; Methodology, Ç.Y. and T.İ; Validation, Ç.Y.; Formal analysis, Ç.Y.; Investigation, Ç.Y.; Resources, Ç.Y. and T.İ.;Writing—original draft, Ç.Y. and T.İ.; Writing—review and editing, Ç.Y., T.İ., L.-I.C.; Visualization, Ç.Y. and L.-I.C.; Supervision, Ç.Y.; Project administration, Ç.Y. and T.İ.; Funding acquisition, L.-I.C. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

Data are contained within the article.

Conflicts of Interest

No conflicts of interest are disclosed by the authors.

References

  1. Tseng, K.L.; Hwang, S.R.; Dragomir, S.S. Fejér-type inequalities (II). Math. Slovaca 2017, 67, 109–120. [Google Scholar] [CrossRef]
  2. Alomari, M.; Darus, M.; Dragomir, S.S.; Cerone, P. Ostrowski type inequalities for functions whose derivatives are s-convex in the second sense. App. Math. Lett. 2010, 23, 1071–1076. [Google Scholar] [CrossRef]
  3. Bai, R.F.; Qi, F.; Xi, B.Y. Hermite-Hadamard type inequalities for the m-and (α, m)-logarithmically convex functions. Filomat 2013, 27, 1–7. [Google Scholar] [CrossRef]
  4. Butt, S.I.; Nadeem, M.; Tariq, M.; Aslam, A. New integral type inequalities via Raina-convex functions and its applications. Com. Fac. Sci. Uni. Ankara Ser. A1 Math. Stat. 2021, 70, 1011–1035. [Google Scholar] [CrossRef]
  5. Butt, S.I.; Umar, M.; Khan, D.; Seol, Y.; Tipurić-Spužević, S. Hermite-Hadamard-Type Inequalities for Harmonically Convex Functions via Proportional Caputo-Hybrid Operators with Applications. Fractal Fract. 2025, 9, 77. [Google Scholar] [CrossRef]
  6. Sarikaya, M.Z.; Set, E.; Yaldiz, H.; Başak, N. Hermite-Hadamard’s inequalities for fractional integrals and related fractional inequalities. Math. Comp. Model. 2013, 57, 2403–2407. [Google Scholar] [CrossRef]
  7. Özdemir, M.E.; Kavurmaci, H.; Akdemir, A.O.; Avci, M. Inequalities for convex and s-convex functions on Δ = [a, b] × [c, d]. J. Ineq. App. 2012, 20, 1–19. [Google Scholar] [CrossRef]
  8. Özdemir, M.E.; Yıldız, Ç.; Akdemir, A.O.; Set, E. On some inequalities for s-convex functions and applications. J. Ineq. App. 2013, 111, 333. [Google Scholar] [CrossRef]
  9. Yıldız, Ç.; Rahman, G.; Cotîrlă, L.-I. On Further Inequalities for Convex Functions via Generalized Weighted-Type Fractional Operators. Fractal Fract. 2023, 7, 513. [Google Scholar] [CrossRef]
  10. İşcan, İ. Hermite-Hadamard type inequalities for harmonically convex functions. Hacet. J. Math. Stat. 2014, 43, 935–942. [Google Scholar] [CrossRef]
  11. Dragomir, S.S.; Agarwal, R. Two inequalities for differentiable mappings and applications to special means of real numbers and to trapezoidal formula. App. Math. Lett. 1998, 11, 91–95. [Google Scholar] [CrossRef]
  12. Pearce, C.E.; Pečarić, J. Inequalities for differentiable mappings with application to special means and quadrature formulae. App. Math. Lett. 2000, 13, 51–55. [Google Scholar] [CrossRef]
  13. Sarikaya, M.Z.; Saglam, A.; Yıldırım, H. New inequalities of Hermite-Hadamard type for functions whose second derivatives absolute values are convex and quasi-convex. Inter. J. Open Probl. Com. Sci. Math. 2012, 5, 3. [Google Scholar] [CrossRef]
  14. Sarikaya, M.Z.; Kiris, M.E. Some new inequalities of Hermite-Hadamard type for s-convex functions. Miskolc Math. Notes 2015, 16, 491–501. [Google Scholar] [CrossRef]
  15. Yildiz, Ç.; Özdemir, M.E. On generalized inequalities of Hermite-Hadamard type for convex functions. Inter. J. Anal. Appl. 2017, 14, 52–63. [Google Scholar]
  16. Kadakal, M.; İşcan, İ.; Agarwal, P.; Jleli, M. Exponential trigonometric convex functions and Hermite-Hadamard type inequalities. Math. Slovaca 2021, 71, 43–56. [Google Scholar] [CrossRef]
  17. Khan, M.A.; Chu, Y.; Khan, T.U.; Khan, J. Some new inequalities of Hermite-Hadamard type for s-convex functions with applications. Open Math. 2017, 15, 1414–1430. [Google Scholar] [CrossRef]
  18. Khan, M.B.; Macías-Díaz, J.E.; Treanţă, S.; Soliman, M.S.; Zaini, H.G. Hermite-Hadamard Inequalities in Fractional Calculus for Left and Right Harmonically Convex Functions via Interval-Valued Settings. Fractal Fract. 2022, 6, 178. [Google Scholar] [CrossRef]
  19. Mohammed, P.O.; Brevik, I. A New Version of the Hermite-Hadamard Inequality for Riemann-Liouville Fractional Integrals. Symmetry 2020, 12, 610. [Google Scholar] [CrossRef]
  20. Peng, Y.; Özcan, S.; Du, T. Symmetrical Hermite-Hadamard type inequalities stemming from multiplicative fractional integrals. Chaos Solitons Fractals 2024, 183, 114960. [Google Scholar] [CrossRef]
  21. Mohammed, P.O.; Abdeljawad, T.; Zeng, S.; Kashuri, A. Fractional Hermite-Hadamard Integral Inequalities for a New Class of Convex Functions. Symmetry 2020, 12, 1485. [Google Scholar] [CrossRef]
  22. Moradi, H.R.; Omidvar, M.E.; Adil, K.M.; Nikodem, K. Around Jensen’s inequality for strongly convex functions. Aequationes Math. 2018, 92, 25–37. [Google Scholar] [CrossRef]
  23. Khan, S.; Khan, M.A.; Chu, Y.M. New converses of Jensen inequality via Green functions with applications. Rev. Real Academia Cienc. Exactas Fis. Nat. Ser. A Mat. 2020, 114, 114. [Google Scholar] [CrossRef]
  24. Mercer, A.M. A variant of Jensen’s inequality. J. Inequal. Pure Appl. Math. 2003, 4, 73. [Google Scholar]
  25. Kian, M.; Moslehian, M.S. Refinements of the operator Jensen-Mercer inequality. Electron. J. Linear Algebra 2013, 26, 742–753. [Google Scholar] [CrossRef]
  26. Khan, M.A.; Pecaric, J. New refinements of the Jensen-Mercer inequality associated to positive n-tuples. Armen. J. Math. 2020, 12, 1–12. [Google Scholar] [CrossRef]
  27. Moradi, H.R.; Furuichi, S. Improvement and generalization of some Jensen-Mercer-type inequalities. J. Math. Inequal. 2020, 14, 377–383. [Google Scholar] [CrossRef]
  28. Ali, M.A.; Sitthiwirattham, T.; Köbis, E.; Hanif, A. Hermite-Hadamard-Mercer Inequalities Associated with Twice-Differentiable Functions with Applications. Axioms 2024, 13, 114. [Google Scholar] [CrossRef]
  29. Abbasi, M.; Morassaei, A.; Mirzapour, F. Jensen-Mercer Type Inequalities for Operator h-Convex Functions. Bull. The Iranian Math. Soc. 2022, 48, 2441–2462. [Google Scholar] [CrossRef]
  30. Dragomir, S.S.; Agarwal, R.P.; Barnett, N.S. Inequalities for beta and gamma functions via some classical and new integral inequalities. RGMIA Res. Rep. Collect. 1999, 2, 3. [Google Scholar] [CrossRef]
  31. Öğulmüş, H.; Sarıkaya, M.Z. Hermite-Hadamard-Mercer type inequalities for fractional integrals. Filomat 2021, 35, 2425–2436. [Google Scholar] [CrossRef]
  32. Ali, M.A.; Hussain, T.; Iqbal, M.Z.; Ejaz, F. Inequalities of Hermite-Hadamard-Mercer type for convex functions via k-fracttional integrals. Inter. J. Math. Mod. Comp. 2020, 10, 227–238. [Google Scholar]
  33. Vivas-Cortez, M.; Awan, M.U.; Javed, M.Z.; Kashuri, A.; Noor, M.A.; Noor, K.I.; Vlora, A. Some new generalized k-fractional Hermite-Hadamard-Mercer type integral inequalities and their applications. AIMS Math. 2022, 7, 3203–3220. [Google Scholar] [CrossRef]
  34. Sahoo, S.K.; Hamed, Y.S.; Mohammed, P.O.; Kodamasingh, B.; Nonlaopon, K. New midpoint type Hermite-Hadamard-Mercer inequalities pertaining to Caputo-Fabrizio fractional operators. Alex. Eng. J. 2023, 65, 689–698. [Google Scholar] [CrossRef]
  35. Çiftci, Z.; Coşkun, M.; Yildiz, Ç.; Cotîrlă, L.-I.; Breaz, D. On New Generalized Hermite-Hadamard-Mercer-Type Inequalities for Raina Functions. Fractal Fract. 2024, 8, 472. [Google Scholar] [CrossRef]
  36. Liu, J.B.; Butt, S.I.; Nasir, J.; Aslam, A.; Fahad, A.; Soontharanon, J. Jensen-Mercer variant of Hermite-Hadamard type inequalities via Atangana-Baleanu fractional operator. AIMS Math. 2022, 7, 2123–2141. [Google Scholar] [CrossRef]
  37. Butt, S.I.; Nasir, J.; Qaisar, S.; Abualnaja, K.M. k-Fractional variants of Hermite-Mercer-type inequalities via s-convexity with applications. J. Func. Spac. 2021, 1–5. [Google Scholar] [CrossRef]
  38. Sitthiwirattham, T.; Vivas-Cortez, M.; Ali, M.A.; Budak, H.; Avcı, I. A study of fractional Hermite-Hadamard-Mercer inequalities for differentiable functions. Fractals 2024, 32, 2440016. [Google Scholar] [CrossRef]
  39. Vivas-Cortez, M.; Javed, M.Z.; Awan, M.U.; Noor, M.A.; Dragomir, S.S. Bullen-Mercer type inequalities with applications in numerical analysis. Alex. Engin. J. 2024, 96, 15–33. [Google Scholar] [CrossRef]
  40. Raina, R.K. On generalized Wright’s hypergeometric functions and fractional calculus operators. East Asian Math. J. 2005, 21, 191–203. [Google Scholar]
  41. Agarwal, R.P.; Luo, M.J.; Raina, R.K. On Ostrowski Type Inequalities. Fasc. Math. 2016, 56, 5–27. [Google Scholar] [CrossRef]
  42. Set, E.; Çelik, B.; Özdemir, M.E.; Aslan, M. Some New Results on Hermite-Hadamard-Mercer-Type Inequalities Using a General Family of Fractional Integral Operators. Fractal Fract. 2021, 5, 68. [Google Scholar] [CrossRef]
  43. Budak, H.; Usta, F.; Sarikaya, M.Z.; Özdemir, M.E. On generalization of midpoint type inequalities with generalized fractional integral operators. Rev. Real Acad. Cienc. Exactas Fisicas Nat. Ser. Mat. 2019, 113, 769–790. [Google Scholar] [CrossRef]
  44. Coşkun, M.; Yildiz, Ç.; Cotîrlă, L.-I. Novel Estimations of Hadamard-Type Integral Inequalities for Raina’s Fractional Operators. Fractal Fract. 2024, 8, 302. [Google Scholar] [CrossRef]
  45. Srivastava, H.M. A Survey of Some Recent Developments on Higher Transcendental Functions of Analytic Number Theory and Applied Mathematics. Symmetry 2021, 13, 2294. [Google Scholar] [CrossRef]
  46. Yaldiz, H.; Sarikaya, M.Z. On the Hermite-Hadamard type inequalities for fractional integral operator. Kragujevac J. Math. 2020, 44, 369–378. [Google Scholar] [CrossRef]
  47. Wang, B.-Y. Foundations of Majorization Inequalities; Beijing Normal University Press: Beijing, China, 1990. [Google Scholar]
  48. Marshall, A.W.; Olkin, I.; Arnold, B.C. Inequalities: Theory of Majorization and Its Applications, 2nd ed.; Springer Series in Statistics; Springer: London, UK, 2009. [Google Scholar]
  49. Khan, M.A.; Latif, N.; Pečarić, P. Generalization of majorization theorem. Nonlinear Func. Anal. App. 2015, 20, 301–327. [Google Scholar] [CrossRef]
  50. Wu, S.; Khan, M.A.; Haleemzai, H.U. Refinements of Majorization Inequality Involving Convex Functions via Taylor’s Theorem with Mean Value form of the Remainder. Mathematics 2019, 7, 663. [Google Scholar] [CrossRef]
  51. Saeed, T.; Khan, M.A.; Ullah, H. Refinements of Jensen’s inequality and applications. Aims Math. 2022, 7, 5328–5346. [Google Scholar] [CrossRef]
  52. Butt, S.I.; Javed, I.; Agarwal, P.; Nieto, J.J. Newton-Simpson-type inequalities via majorization. J. Ineq. Appl. 2023, 2023, 16. [Google Scholar] [CrossRef]
  53. Faisal, S.; Khan, M.A.; Iqbal, S. Generalized Hermite-Hadamard-Mercer type inequalities via majorization. Filomat 2022, 36, 469–483. [Google Scholar] [CrossRef]
  54. Ding, X.; Zuo, X.; Butt, S.I.; Farooq, R.; Tipurić-Spužević, S. New majorized fractional Simpson estimates. Axioms 2023, 12, 965. [Google Scholar] [CrossRef]
  55. Faisal, S.; Adil Khan, M.; Khan, T.U.; Saeed, T.; Alshehri, A.M.; Nwaeze, E.R. New “Conticrete” Hermite-Hadamard-Jensen-Mercer Fractional Inequalities. Symmetry 2022, 14, 294. [Google Scholar] [CrossRef]
  56. Faisal, S.; Khan, M.A.; Khan, T.U.; Saeed, T.; Mohammad Mahdi Sayed, Z.M. Unifications of continuous and discrete fractional inequalities of the Hermite-Hadamard-Jensen-Mercer type via majorization. J. Func. Spaces 2022, 1, 6964087. [Google Scholar] [CrossRef]
  57. Khan, M.A.; Faisal, S. Derivation of conticrete Hermite-Hadamard-Jensen-Mercer inequalities through k-Caputo fractional derivatives and majorization. Filomat 2024, 38, 3389–3413. [Google Scholar] [CrossRef]
  58. Saeed, T.; Khan, M.A.; Faisal, S.; Alsulami, H.H.; Alhodaly, M.S. New conticrete inequalities of the Hermite-Hadamard-Jensen-Mercer type in terms of generalized conformable fractional operators via majorization. Demonstr. Math. 2023, 56, 20220225. [Google Scholar] [CrossRef]
  59. Wu, S.; Khan, M.A.; Faisal, S.; Saeed, T.; Nwaeze, E.R. Derivation of Hermite-Hadamard-Jensen-Mercer conticrete inequalities for Atangana-Baleanu fractional integrals by means of majorization. Demonstr. Math. 2024, 57, 20240024. [Google Scholar] [CrossRef]
  60. Niezgoda, M. A generalization of Mercer’s result on convex functions. Nonlinear Anal. 2009, 71, 2771–2779. [Google Scholar] [CrossRef]
  61. Set, E.; Dragomir, S.S.; Gözpınar, A. Some generalized Hermite-Hadamard type inequalities involving fractional integral operator for functions whose second derivatives in absolute value are s-convex. Acta Math. Univ. Comen. 2019, 88, 87–100. [Google Scholar]
Figure 1. The graph of Theorem 4 for the choice of order α [ 1 , 20 ] is presented in Figure 1.
Figure 1. The graph of Theorem 4 for the choice of order α [ 1 , 20 ] is presented in Figure 1.
Fractalfract 09 00343 g001
Figure 2. The graph of Theorem 5 for the choice of order α [ 0 , 1 ] is presented in Figure 1.
Figure 2. The graph of Theorem 5 for the choice of order α [ 0 , 1 ] is presented in Figure 1.
Fractalfract 09 00343 g002
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

Yildiz, Ç.; İşleyen, T.; Cotîrlă, L.-I. New Results on Majorized Discrete Jensen–Mercer Inequality for Raina Fractional Operators. Fractal Fract. 2025, 9, 343. https://doi.org/10.3390/fractalfract9060343

AMA Style

Yildiz Ç, İşleyen T, Cotîrlă L-I. New Results on Majorized Discrete Jensen–Mercer Inequality for Raina Fractional Operators. Fractal and Fractional. 2025; 9(6):343. https://doi.org/10.3390/fractalfract9060343

Chicago/Turabian Style

Yildiz, Çetin, Tevfik İşleyen, and Luminiţa-Ioana Cotîrlă. 2025. "New Results on Majorized Discrete Jensen–Mercer Inequality for Raina Fractional Operators" Fractal and Fractional 9, no. 6: 343. https://doi.org/10.3390/fractalfract9060343

APA Style

Yildiz, Ç., İşleyen, T., & Cotîrlă, L.-I. (2025). New Results on Majorized Discrete Jensen–Mercer Inequality for Raina Fractional Operators. Fractal and Fractional, 9(6), 343. https://doi.org/10.3390/fractalfract9060343

Article Metrics

Back to TopTop