Next Article in Journal
Research on Nonlinear Dynamic Characteristics of Fractional Order Resonant DC-DC Converter Based on Sigmoid Function
Previous Article in Journal
A New Result Regarding Positive Solutions for Semipositone Boundary Value Problems of Fractional Differential Equations
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On Quantum Hermite-Hadamard-Fejer Type Integral Inequalities via Uniformly Convex Functions

1
Department of Mathematics, Faculty of Science, University of Jiroft, Jiroft P.O. Box 78671-61167, Iran
2
Department of Mathematics, University of Hormozgan, Bandar Abbas P.O. Box 3995, Iran
3
Department of Mathematics, Sirjan University of Technology, Sirjan P.O. Box 11155-9415, Iran
4
Department of Mathematics, Politehnica University of Timisoara, 300006 Timisoara, Romania
*
Authors to whom correspondence should be addressed.
Fractal Fract. 2025, 9(2), 108; https://doi.org/10.3390/fractalfract9020108
Submission received: 19 December 2024 / Revised: 3 February 2025 / Accepted: 6 February 2025 / Published: 12 February 2025

Abstract

The main goal of this study is to provide new q-Fejer and q-Hermite-Hadamard type integral inequalities for uniformly convex functions and functions whose second quantum derivatives in absolute values are uniformly convex. Two basic inequalities as power mean inequality and Holder’s inequality are used in demonstrations. Some particular functions are chosen to illustrate the investigated results by two examples analyzed and the result obtained have been graphically visualized.

1. Introduction and Preliminaries

Convex functions theory is useful in numerous fields as information theory, optimization and especially inequalities theory. The theory of inequalities contains important applications in applied analysis and in fractional calculus. Inequalities are one of the branches of mathematics that have seen many applications in various researches such as statistics, information theory, approximation of averages.
Integral inequalities, as a main part of mathematical inequalities, can be useful for investigating the qualitative and also quantitative features of integrals. Integral inequalities have applications in fractional calculus being an important tool to predict upper and lower bounds in various sciences like probability theory, interpolation spaces and in information theory.
In numerical integration, new formulas have been developed, and new error bounds have been founded by researchers in mathematical inequalities, especially in the realm of fractional calculus and quantum calculus.
The power of existing fractional integrals and derivatives can not describe specific physical phenomena so new types of fractional operators are introduced to offer new insights into fractional variational problems, and for modeling complex systems.
One of the most important inequality is the Hermite-Hadamard inequality. This inequality, which is one of the convex analysis inequalities, was first introduced and proved by C. Hermite and J. Hadamard [1]. Other important and well-known inequality is the Fejer inequality [2]. This inequality has been obtained in the last decade [3] for various functions [4,5,6] such as M-convex, strongly convex, uniformly convex, etc., and many applications of it have been presented (refer to [7,8]).
Hermite-Hadamard inequality and Fejer inequality are two of the most studied integral inequalities if we consider the property of the convexity of functions.
In the tventielh century, the q-derivative or Jackson derivative was defined by Jackson in the field of combinatorics and q-calculus [9]. In 1966, Al-Salam [10] introduced a q-analogue of the q-fractional integral and q-Riemann-Liouville fractional. In q-calculus, the classical derivative is replaced by the q-difference operator in order to deal with non-differentiable functions (see Almeida [11] and Torres and Cresson al [12]). In 1996 the q-Coulomb problem and q-hydrogen atom were investigated in [13,14,15].
Applications of quantum calculus play significant roles in many branches of mathematics and physics in combinatorics, fractals, special functions, cryptography, computer science, mechanics, therefore the q-calculus can be viewed as a bridge between mathematics and physics. Due to the importance and application of Hermite-Hadamard inequality [16], recently this inequality [17,18,19] has been investigated [20,21,22] in the quantum concept [23,24] for convex functions see [25,26,27]. Hermite-Hadamard type inequalities and Fejer type inequalities have been obtained for Riemann-Liouville fractional integrals [28], for q-calculus [19,24,29,30] for example, and for (p,q)-calculus in [31,32,33] for example. q-estimates of Hermite-Hadamard type of inequalities for twice q-differentiable convex functions were given in [32].
The q-calculus was used for fractional integrals recently. In [34] some trapezoid and midpoint type inequalities have been obtained via fractional ( p , q ) -calculus. In addition, for coordinated convex functions some q-Hermite-Hadamard like inequalities have been obtained in [35,36]. In [37] it was obtained some results on Hermite-Hadamard-Fejer type inequalities for fractional integrals. Further results involving these two inequalities and their applications to fractional integral can be found in [38,39,40,41]. Then in 2017 in [42] have been presented a new Hermite-Hadamard and Hermite-Hadamard-Fejer type inequalities by using the Katugampola fractional integrals. In 2020 in [43] several local fractional integral inequalities which give the bounds for the well-known Hermite-Hadamard-Fejer inequality have been analyzed.
In [44], in 2023, the authors obtained some fractional quantum analogue of Hermite-Hadamard inequalities and in [45], recently several fractional quantum estimates of trapezoid type inequalities by using the preinvexity properties of the functions.
New variants of Hermite-Hadamard inequalities for preinvex interval-valued functions (preinvex FVFS) and Hermite-Hadamard-Fejer type inequalities for generalized interval-valued convex functions were given in [46]. In [19] Alp et al. presented for convex functions a version of q-Hermite-Hadamard type inequality by using the left q-integrals. A similar result was given in [20] for the right q-integrals, which is a version of q-Hermite-Hadamard type inequality for convex functions by using the right q-integrals.
In this article, due to the fact that uniformly convex functions are important functions of convex analysis, Hermite-Hadamard inequality is presented in the quantum concept along with its applications in approximation of averages. Motivated by the research from [16,19,47,48] our goal was to study what would become the Hermite-Hadamard-Fejer and Hermite-Hadamard type inequalities in the case of uniformly convex functions.
The paper has been structured in four sections. In Section 1, it will be briefly resume the notions used here, definitions of different types of convexities, Hermite-Hadamard integral and Fejer inequality and then the basic properties regarding q-calculus. In Section 2, we obtain q-Hermite-Hadamard for uniformly convex functions. In Section 3 we formulate and demonstrate the main results in Theorem 4, Theorem 5, Theorem 6, and Theorem 7. In these theorems are given new q-Fejer and q-H-H type integral inequalities for functions whose the second left and right q-derivatives in absolute value are uniformly convex with modulus ϕ . The main advantage of the newly established inequalities arises from the fact that the concept of uniform convexity it is more general than the concept of convexity or strong convexity, therefore we can regain Hermite-Hadamard and Hermite-Hadamard-Fejer type inequalities given for convex or strongly convex functions. The second advantage is that Theorem 1 can have various refinements for q-calculus and fractional integrals and their combinations. It can be seen that in Theorem 3 in our case appears in left member and also in right member terms that contain the modulus ϕ which doesn’t appear in the corresponding theorem from [19] because there the function is only convex. Two examples are presented for checking the validity of our results.In fact, it was investigated the validity of inequality (3) from Theorem 5 in the particular case of Example 1 and Example 2 when the domain of the function is [ 0 ,   1 ] and [ 1 , 2 ] respectively and the modulus is ϕ ( x ) = c x 2 . It can be seen that the graphic of the right member(magenta) is above the graphic of the left member(green) for Example 2. We used for Figure 1 the Matlab R2023b software version in the given examples. Then several applications to fractional calculus for Fejer inequality from Theorem 1, Section 1 are presented and an application to arithmetic mean as a special mean it is formulated. In addition, interesting applications to special means of real numbers can be formulated. Section 4 is dedicated to discussion and conclusions.

1.1. Convex Functions and Hermite-Hadamard’s Inequality

We recall here three different types of convexities which will be used below in this paper. First, we begin with the definition of the classical convexity, which say that a function f : I R R is convex if
f ( t x 1 + ( 1 t ) x 2 ) t f ( x 1 ) + ( 1 t ) f ( x 2 ) ,
for all x 1 , x 2 I and t [ 0 ,   1 ] .
Definition 1
([4]). “A function f : I R R is called strongly convex with modulus c > 0 if
f ( τ m + ( 1 τ ) M ) τ f ( m ) + ( 1 τ ) f ( M ) c τ ( 1 τ ) ( m M ) 2 ,
holds for all m , M I and τ [ 0 ,   1 ] .
The definition of uniformly convex functions with modulus Φ , can be found in [49].
Definition 2
([49]). “Let f : [ a , b ] R be a function. The function f is called uniformly convex with modulus Φ : R 0 [ 0 , ) if Φ is increasing, vanishes only at 0, and
f ( α x + ( 1 α ) y ) + α ( 1 α ) Φ ( | x y | ) α f ( x ) + ( 1 α ) f ( y ) ,
holds for every α [ 0 ,   1 ] , and x , y [ a , b ] .”
The well-known Hermite-Hadamard’s inequality can be stated as “if f : [ a , b ] R is a convex function, then the following inequality holds:
f a + b 2 1 b a a b f ( x ) d x f ( a ) + f ( b ) 2 ,
and when f is a concave function, then previous inequality holds but in the opposite direction” [1]. This inequality is known also as trapezium inequality. A new Fejer type inequality and some new classes of uniformly convex functions given in [48], are two important tools for the results obtained in Section 3 and will be recalled below.
Theorem 1
(Fejer type inequality [48]). “Let f be a uniformly convex function with modulus Φ on [ a , b ] . Then we have
f a + b 2 a b g ( x ) d x + 1 4 a b Φ ( | a + b 2 x | ) g ( x ) d x a b f ( x ) g ( x ) d x f ( a ) + f ( b ) 2 a b g ( x ) d x Φ ( b a ) ( b a ) 2 a b ( b x ) ( x a ) g ( x ) d x
where g : [ a , b ] R 0 is integrable function and symmetric with respect to x = a + b 2 .
Remark 1.
If we set g 1 in Theorem 1, we get the classical inequality of Hermite-Hadamard for uniformly convex functions as follows:
f a + b 2 + 1 4 ( b a ) a b Φ ( | a + b 2 x | ) d x 1 b a a b f ( x ) d x f ( a ) + f ( b ) 2 Φ ( b a ) 6 .
Lemma 1
([48]). Suppose that f : [ a , b ] R is defined by f ( x ) = x n .
(a) If n is an even natural number and b < 0 , then f ( x ) = x n is uniformly convex with modulus Φ ( r ) = n ( n 1 ) 2 b n 2 r 2 .
(b) If a > 0 then f ( x ) = x n is uniformly convex with modulus Φ ( r ) = n ( n 1 ) 2 a n 2 r 2 .

1.2. Preliminaries on q-Calculus

Let [ a , b ] be a real interval, a < b and 0 < q < 1 . The q-number is defined for any number n, [ n ] q = 1 q n 1 q = 1 + q + . . . + q n 2 + q n 1 , n N .
Several basic definitions, remarks and lemmas of the q-calculus will be presented because they will be used in next section of this paper. We start with definition of right q-derivative of a function.
Definition 3
([20,23]). “The right or q b -derivative of f : [ a , b ] R at x [ a , b ] is expressed as:
D q b f ( x ) = f ( q x + ( 1 q ) b ) f ( x ) ( 1 q ) ( b x ) , x b .
Noe we restate the definition of the left q-derivative of a function [23].
Definition 4
([18,23]). “The left or q a -derivative of f : [ a , b ] R at x [ a , b ] is expressed as:
D q a f ( x ) = f ( x ) f ( q x + ( 1 q ) a ) ( 1 q ) ( x a ) , x a .
Definition 5
([20,23]). “The right or q b -integral of f : [ a , b ] R at x [ a , b ] is defined as:
x b f ( t ) d q b t = ( 1 q ) ( b x ) n = 0 q n f ( q n x + ( 1 q n ) b ) = ( b a ) 0 1 f ( t b + ( 1 t ) x ) d q t .
Definition 6
([23,25]). “The left or q a -integral of f : [ a , b ] R at x [ a , b ] is defined as:
a x f ( t ) d q a t = ( 1 q ) ( x a ) n = 0 q n f ( q n x + ( 1 q n ) a ) = ( b a ) 0 1 f ( t x + ( 1 t ) a ) d q t .
Definition 7
([23]). “We have the equality for q a - integrals
a b ( x a ) α d q a x = ( b a ) α + 1 [ α + 1 ] q ,
for α R { 1 } .
For the fundamental properties of these q-derivatives and q-integrals, see for example, [18,26,27]. Recently, new refinements and generalizations of q-Hermite-Hadamard integral inequalities for q-differentiable functions [19,20,21] were given in papers like [22,23,24].
The following two results from ( p , q ) -calculus will be used in calculus of q-left and q-right integrals in Section 3 when p = 1 .
Definition 8
([16]). “We have the following equalities
π 1 π 2 ( π 2 x ) α d p , q π 2 x = ( π 2 π 1 ) α + 1 [ α + 1 ] p , q
π 1 π 2 ( x π 1 ) α d p , q π 1 x = ( π 2 π 1 ) α + 1 [ α + 1 ] p , q
for α R { 1 } .
Lemma 2
([16]). “Consider a mapping f : I = [ π 1 , π 2 ] R , which is twice ( p , q ) -differentiable and d p , q 2 π 2 f is a continuous and integrable on I. Then the following equality holds:
p f ( p π 1 + ( 1 p ) π 2 ) + q f ( π 2 ) [ 2 ] p , q 1 π 2 π 1 p 2 π 1 + ( 1 p 2 ) π 2 π 2 f ( x ) d p , q π 2 x
= q 2 ( π 2 π 1 ) 2 [ 2 ] p , q 0 1 p τ ( 1 q τ ) D p , q 2 π 2 ( τ π 1 + ( 1 τ ) π 2 ) d p , q τ ,
where 0 < q < p 1 .
We say that a function f defined on I has support at x 0 I with modulus ϕ if there exists an affine function
A ( x ) = f ( x 0 ) + m ( x x 0 )
such that A ( x ) f ( x ) ϕ ( | x x 0 | ) , for every x I . The graph of the support function f is called a line of support for f at x 0 .
Theorem 2
([49]). “Let f : ( a , b ) R be a function.
  • If f : ( a , b ) R is uniformly convex with modulus ϕ on [ a , b ] , then there is at least one line of support with modulus ϕ for f at each x 0 ( a , b ) .
  • If there is at least one line of support with modulus ϕ for f at each x 0 ( a , b ) , and λ ϕ ( | x y | ) + ( 1 λ ) ϕ ( | y z | ) λ ( 1 λ ) ϕ ( | x y | ) , for every x , y , z I and λ [ 0 ,   1 ] , then f is uniformly convex with modulus ϕ on [ a , b ] .”

2. Main Result

In this section we give Hermite-Hadamard inequality for uniformly convex functions for q-calculus.

2.1. q-Hermite-Hadamard Inequality for Uniformly Convex Function

Theorem 3.
Let f : [ a , b ] R be a uniformly convex function with modulus ϕ on [ a , b ] and q ( 0 , 1 ) . Then we have
f a q + b [ 2 ] q + 1 b a a b ϕ a q + b ( q + 1 ) x [ 2 ] q d q a x 1 b a a b f ( x ) a d q x q f ( a ) + f ( b ) [ 2 ] q ϕ ( b a ) q 2 [ 2 ] q [ 3 ] q .
Proof. 
Since f is uniformly convex with modulus of ϕ , then we have
f ( ( 1 t ) a + t b ) ( 1 t ) f ( a ) + t f ( b ) t ( 1 t ) ϕ ( b a )
for every t [ 0 ,   1 ] . By q-integrating on ( 0 , 1 ) with respect t we obtain
0 1 f ( ( 1 t ) a + t b ) 0 d q t 0 1 f ( a ) 0 d q t + 0 1 t ( f ( b ) f ( a ) ) 0 d q t 0 1 t ( 1 t ) ϕ ( b a ) 0 d q t = f ( a ) ( 1 q ) k = 0 q k + ( f ( b ) f ( a ) ) ( 1 q ) k = 0 q k × q k ϕ ( b a ) ( 1 q ) k = 0 q k ( q k q 2 k ) = f ( a ) ( 1 q ) 1 1 q + ( f ( b ) f ( a ) ) ( 1 q ) 1 1 q 2 ϕ ( b a ) ( 1 q ) 1 1 q 2 1 1 q 3 = f ( a ) + f ( b ) f ( a ) q + 1 ϕ ( b a ) 1 q + 1 1 1 + q + q 2 = f ( a ) + f ( b ) f ( a ) q + 1 ϕ ( b a ) q 2 ( q + 1 ) ( 1 + q + q 2 ) .
Hence,
0 1 f ( ( 1 t ) a + t b ) 0 d q t f ( a ) + f ( b ) f ( a ) q + 1 ϕ ( b a ) q 2 ( q + 1 ) ( 1 + q + q 2 ) .
Now, by using Definition 6 we have
( 1 q ) k = 0 q k f ( ( 1 q k ) a + q k b ) f ( a ) + f ( b ) f ( a ) q + 1 ϕ ( b a ) q 2 ( q + 1 ) ( 1 + q + q 2 )
Also, we obtain
( 1 q ) ( b a ) b a k = 0 q k f ( ( 1 q k ) a + q k b ) f ( a ) + f ( b ) f ( a ) q + 1 ϕ ( b a ) q 2 ( q + 1 ) ( 1 + q + q 2 ) .
Finally, by using Definition 6 we get
1 b a a b f ( t ) a d q t q f ( a ) + f ( b ) q + 1 ϕ ( b a ) q 2 ( 1 + q ) ( 1 + q + q 2 ) .
Proof of other inequality: Since f is uniformly convex, by using Theorem 2 with x 0 = a q + b q + 1 , we have
f ( x ) m x a q + b q + 1 + f a q + b q + 1 + ϕ x a q + b q + 1 .
By q-integrate on [ a , b ] we conclude that
a b f ( x ) a d q x a b m x a q + b q + 1 d q a x + a b f a q + b q + 1 d q a x + a b ϕ x a q + b q + 1 d q a x .
Thus
a b f ( x ) a d q x m a b x a d q x m a q + b q + 1 a b d q a x + f a q + b q + 1 a b d q a x + a b ϕ ( | x a q + b q + 1 ) | ) a d q x = m ( 1 q ) ( b a ) k = 0 q k ( q k b + ( 1 q k ) a ) m a q + b q + 1 ( 1 q ) ( b a ) k = 0 q k + f a q + b q + 1 ( 1 q ) ( b a ) k = 0 q k + a b ϕ x a q + b q + 1 ) d q a x = m ( 1 q ) ( b a ) b 1 q 2 + a 1 q a 1 q 2 m a q + b q + 1 ( b a ) + f a q + b q + 1 ( b a ) + a b ϕ x a q + b q + 1 ) d q a x = m ( 1 q ) ( b a ) b + a q 1 q 2 m a q + b q + 1 ( b a ) + f a q + b q + 1 ( b a ) + a b ϕ x a q + b q + 1 ) d q a x = f a q + b q + 1 ( b a ) + a b ϕ x a q + b q + 1 ) d q a x .
So, we have
a b f ( x ) a d q x f a q + b q + 1 ( b a ) + a b ϕ x a q + b q + 1 d q a x ,
hence
1 b a a b f ( x ) a d q x f a q + b q + 1 + 1 b a a b ϕ x a q + b q + 1 d q a x .
Remark 2.
If we set q 1 in Theorem 3, we get right of the classical inequality of Hermite-Hadamard as follows:
1 b a a b f ( x ) d x f ( a ) + f ( b ) 2 ϕ ( b a ) 6 .
Proposition 1
([50]). Let f : H ( , + ] be proper and convex, with exact modulus of convexity ϕ. Then ϕ ( 0 ) = 0 , α ( 1 , + ) , α 2 ϕ ( t ) ϕ ( α t ) and ϕ is increasing.
Remark 3.
In Proposition 1, with 0 < α < 1 we have α 2 ϕ ( t ) ϕ ( α t ) .
Remark 4.
In view of Remark 3, if we set q 1 in Theorem 3, we get left of the classical inequality of Hermite-Hadamard as follows:
f a + b 2 + 1 b a a b ϕ a + b 2 x d q a x f a + b 2 + 1 b a a b 1 4 ϕ ( | a + b 2 x | ) a d q x .
Note that this lower bound for uniformly convex functions is better than lower bound in [5].

2.2. q-Fejer Inequality for Uniformly Convex Function

A new Fejer-type q-inequality for uniformly convex functions is presented in this section and then some new q-Hermite-Hadamard type integral inequalities for twice q-differentiable uniformly convex functions, having as a starting point the results formulated in [16,48] are given. In addition, two examples are presented in order to check the established results.
Theorem 4.
Let f : [ a , b ] R be a uniformly convex function with modulus Φ on [ a , b ] . If f , g , ϕ are q-integrable functions with g : [ a , b ] R 0 symmetric with respect to x = a + b 2 then we have,
f a + b 2 · a b g ( x ) d q b x + 1 4 ( b a ) [ a a + b 2 Φ ( a + b 2 x ) g ( x ) d q a x + a + b 2 b Φ ( 2 x ( a + b ) ) g ( x ) d q a + b 2 x ] a b f ( x ) g ( x ) d q b x + a b f ( x ) g ( x ) d q a x 2 f ( a ) + f ( b ) 2 a b g ( x ) d q b x Φ ( b a ) ( b a ) 2 a b ( b x ) ( x a ) g ( x ) d q b x .
Proof. 
We take α = 1 2 in Definition 2 relation (1) and then as in [48], replacing x by t a + ( 1 t ) b and y by t b + ( 1 t ) a we obtain:
f a + b 2 + 1 4 Φ ( ( b a ) | 2 t 1 | ) f ( t a + ( 1 t ) b ) + f ( t b + ( 1 t ) a ) 2
f ( a ) + f ( b ) 2 t ( 1 t ) Φ ( b a ) .
Now multiplying previous inequalities by g ( t a + ( 1 t ) b ) and q-integrating the obtained inequality with respect to t over [ 0 ,   1 ] , we find,
f a + b 2 0 1 g ( t a + ( 1 t ) b ) d q t + 1 4 0 1 Φ ( ( b a ) | 2 t 1 | ) g ( t a + ( 1 t ) b ) d q t
0 1 f ( t a + ( 1 t ) b ) g ( t a + ( 1 t ) b ) d q t + 0 1 f ( t b + ( 1 t ) a ) g ( t a + ( 1 t ) b ) d q t 2
f ( a ) + f ( b ) 2 0 1 g ( t a + ( 1 t ) b ) d q t Φ ( b a ) 0 1 t ( 1 t ) g ( t a + ( 1 t ) b ) d q t .
By Definition 5 we can see that
0 1 g ( t a + ( 1 t ) b ) d q t = ( 1 q ) n = 0 q n g ( q n a + ( 1 q n ) b ) = 1 b a a b g ( x ) d q b x
and
0 1 f ( t a + ( 1 t ) b ) g ( t a + ( 1 t ) b ) d q t = ( 1 q ) n = 0 q n f ( q n a + ( 1 q n ) b ) g ( q n a + ( 1 q n ) b ) =
= 1 b a a b f ( x ) g ( x ) d q b x .
For 0 1 f ( t b + ( 1 t ) a ) g ( t a + ( 1 t ) b ) d q t we see that x + y = a + b and using that g is symmetric with respect to x = a + b 2 we have by Definition 6
0 1 f ( t b + ( 1 t ) a ) g ( t a + ( 1 t ) b ) d q t = 0 1 f ( t b + ( 1 t ) a ) g ( t b + ( 1 t ) a ) d q t =
= ( 1 q ) n = 0 q n f ( q n b + ( 1 q n ) a ) g ( q n b + ( 1 q n ) a ) = 1 b a a b f ( x ) g ( x ) d q a x .
Taking into account that t ( 1 t ) = ( b x ) ( x a ) ( b a ) 2 we can write
0 1 t ( 1 t ) g ( t a + ( 1 t ) b ) d q t = 1 ( b a ) 2 [ ( a + b ) 0 1 ( t a + ( 1 t ) b ) g ( t a + ( 1 t ) b ) d q t
a b 0 1 g ( t a + ( 1 t ) b ) d q t 0 1 ( t a + ( 1 t ) b ) 2 g ( t a + ( 1 t ) b ) d q t ] =
= 1 ( b a ) 3 a b ( b x ) ( x a ) g ( x ) d q b x .
Last integral, 0 1 Φ ( ( b a ) | 2 t 1 | ) g ( t a + ( 1 t ) b ) d q t will be,
0 1 Φ ( ( b a ) | 2 t 1 | ) g ( t a + ( 1 t ) b ) d q t = 0 1 2 Φ ( ( b a ) ( 1 2 t ) ) g ( t a + ( 1 t ) b ) d q t +
+ 1 2 1 Φ ( ( b a ) ( 2 t 1 ) ) g ( t a + ( 1 t ) b ) d q t = I 1 + I 2 .
First we compute I 1 thus:
I 1 = 0 1 2 Φ ( a + b 2 ( t b + a ( 1 t ) ) ) g ( t b + ( 1 t ) a ) d q t = 1 q 2 n = 0 q n Φ ( a + b 2 ( q n 2 b + ( 1 q n 2 a ) ) g ( q n 2 b + ( 1 q n 2 a ) ) = 1 b a a a + b 2 Φ ( a + b 2 x ) g ( x ) d q a x
and then I 2 is
I 2 = 1 2 1 Φ ( ( b a ) ( 2 t 1 ) ) g ( t b + ( 1 t ) a ) d q t = 1 2 1 Φ ( 2 ( t b + a ( 1 t ) ) ( a + b ) ) g ( t b + ( 1 t ) a ) d q t = 1 q 2 n = 0 q n Φ ( 2 ( 1 + q n 2 b + ( 1 1 + q n 2 a ) ( a + b ) ) g ( 1 + q n 2 b + ( 1 1 + q n 2 a ) ) = 1 b a a + b 2 b Φ ( 2 x ( a + b ) ) g ( x ) d q a + b 2 x .
Theorem 5.
If g : [ θ 1 , θ 2 ] R R is a twice q θ 2 - differentiable function on ( θ 1 , θ 2 ) so that D q 2 θ 2 g C ( [ θ 1 , θ 2 ] ) and integrable on [ θ 1 , θ 2 ] , and if | D q 2 θ 2 g | is uniformly convex with modulus Φ : R 0 [ 0 , ) on [ θ 1 , θ 2 ] then we have,
g ( θ 1 ) + q g ( θ 2 ) [ 2 ] q 1 θ 2 θ 1 θ 1 θ 2 g ( x ) d q θ 2 x q 2 ( θ 2 θ 1 ) 2 [ 2 ] q [ 3 ] q [ 4 ] q | D q 2 θ 2 g ( θ 1 ) | + q 2 | D q 2 θ 2 g ( θ 2 ) | Φ ( θ 2 θ 1 ) q 3 [ 2 ] q [ 5 ] q .
Proof. 
By using modulus on Lemma 2 [16], and then the definition of uniform convexity with modulus for | D q 2 θ 2 g | it will be obtained:
g ( θ 1 ) + q g ( θ 2 ) [ 2 ] q 1 θ 2 θ 1 θ 1 θ 2 g ( x ) d q θ 2 x q 2 ( θ 2 θ 1 ) 2 [ 2 ] q 0 1 | x ( 1 q x ) | | ˙ D q 2 θ 2 g ( x θ 1 + ( 1 x ) θ 2 ) | d q x q 2 ( θ 2 θ 1 ) 2 [ 2 ] q 0 1 x ( 1 q x ) [ x | D q 2 θ 2 g ( θ 1 ) | + ( 1 x ) | D q 2 θ 2 g ( θ 2 ) | x ( 1 x ) Φ ( θ 2 θ 1 ) ] d q x = q 2 ( θ 2 θ 1 ) 2 [ 2 ] q [ D q 2 θ 2 g ( θ 1 ) 1 [ 3 ] q q [ 4 ] q + | D q 2 θ 2 g ( θ 2 ) | 1 [ 2 ] q 1 [ 3 ] q q [ 3 ] q + q [ 4 ] q Φ ( θ 2 θ 1 ) 1 [ 3 ] q [ 2 ] q [ 4 ] q + q [ 5 ] q ] f
By calculus we get the desired inequality. □
Example 1.
For the function g : [ 0 , 1 ] R defined by g ( x ) = ( 1 x ) 4 [ 3 ] q [ 4 ] q it can be seen that | D q 2 1 g ( x ) | = ( 1 x ) 2 , x [ 0 ,   1 ] is strongly convex with modulus c [ 0 , 1 ] , (i.e. Φ ( x ) = c x 2 ), see Example 2.2 from [7]. Thus the hypothesys of Theorem 5 are satisfied and the inequality (3) holds. For the calculus of D q 2 1 g ( x ) it was used Definition 3.
Then we get,
M s = g ( 0 ) + q g ( 1 ) [ 2 ] q 0 1 g ( x ) d q 1 x | = | 1 [ 2 ] q [ 3 ] q [ 4 ] q 0 1 ( 1 x ) 4 [ 3 ] q [ 4 ] q d q x
= 1 [ 3 ] q [ 4 ] q 1 [ 2 ] q 1 [ 5 ] q .
The right member becomes
M d = q 2 [ 2 ] q [ 3 ] q [ 4 ] q | D q 2 1 g ( 0 ) | + q 2 | D q 2 1 g ( 1 ) | c q 3 [ 2 ] q [ 5 ] q = q 2 [ 3 ] q [ 4 ] q 1 [ 2 ] q c q 3 [ 5 ] q .
That means we need to check that
[ 5 ] q [ 2 ] q q 2 ( [ 5 ] q c q 3 [ 2 ] q )
or equivalent,
[ 5 ] q ( 1 q 2 ) [ 2 ] q ( 1 c q 5 )
which is obvious because 0 c 1 .
Example 2.
We consider the function g : [ 1 , 2 ] R defined by g ( x ) = 8 ( 2 x ) + 8 ( 2 x ) 2 [ 2 ] q 12 ( 2 x ) 3 [ 2 ] q [ 3 ] q + 6 ( 2 x ) 4 [ 3 ] q [ 4 ] q ( 2 x ) 5 [ 4 ] q [ 5 ] q . By calculus, using the Definition 3 we obtain D q 2 2 g ( x ) = x 3 . Now using the Lemma 1, (b) we obtain Φ ( r ) = 3 r 2 . Thus g is uniformly convex function with modulus Φ, a = 1 , b = 2 and then the conditions of Theorem 5 are satisfied. The inequality (3) becomes:
g ( 1 ) + q g ( 2 ) [ 2 ] q 1 2 g ( x ) d q 2 x q 2 [ 2 ] q [ 3 ] q [ 4 ] q | D q 2 2 g ( 1 ) | + q 2 | D q 2 2 g ( 2 ) | Ψ ( 1 ) q 3 [ 2 ] q [ 5 ] q .
Again the right member becomes,
M d = q 2 [ 2 ] q [ 3 ] q [ 4 ] q 1 + 8 q 2 3 q 3 [ 2 ] q [ 5 ] q .
For the left member we first compute,
1 2 g ( x ) d q 2 x = 8 [ 2 ] q + 8 [ 2 ] q [ 3 ] q 12 [ 2 ] q [ 3 ] q [ 4 ] q + 6 [ 3 ] q [ 4 ] q [ 5 ] q 1 [ 4 ] q [ 5 ] q [ 6 ] q
and then we get,
M s = | 1 [ 2 ] q ( 8 + 8 [ 2 ] q 12 [ 2 ] q [ 3 ] q + 6 [ 3 ] q [ 4 ] q 1 [ 4 ] q [ 5 ] q ) ( 8 [ 2 ] q + 8 [ 2 ] q [ 3 ] q 12 [ 2 ] q [ 3 ] q [ 4 ] q + 6 [ 3 ] q [ 4 ] q [ 5 ] q 1 [ 4 ] q [ 5 ] q [ 6 ] q ) | .
The magenta line in Figure 1 represents the function of the right member of inequality (3) and the green line represents the function of the left member of inequality (3).
Theorem 6.
If g : [ θ 1 , θ 2 ] R R is a twice q θ 2 -differentiable function on ( θ 1 , θ 2 ) so that D q 2 θ 2 g C ( [ θ 1 , θ 2 ] ) and integrable on [ θ 1 , θ 2 ] , and if | D q 2 θ 2 g | p 1 , p 1 1 is uniformly convex with modulus Φ : R 0 [ 0 , ) on [ θ 1 , θ 2 ] then we have,
g ( θ 1 ) + q g ( θ 2 ) [ 2 ] q 1 θ 2 θ 1 θ 1 θ 2 g ( x ) d q θ 2 x q 2 ( θ 2 θ 1 ) 2 [ 3 ] q [ 4 ] q 1 p 1 1 [ 2 ] q 2 1 p 1 | D q 2 θ 2 g ( θ 1 ) | p 1 + q 2 | D q 2 θ 2 g ( θ 2 ) | p 1 Φ ( θ 2 θ 1 ) q 3 [ 2 ] q [ 5 ] q 1 p 1 .
Proof. 
By using the modulus properties in Lemma 2 [16], and the q-power mean inequality, we have,
g ( θ 1 ) + q g ( θ 2 ) [ 2 ] q 1 θ 2 θ 1 θ 1 θ 2 g ( x ) d q θ 2 x q 2 ( θ 2 θ 1 ) 2 [ 2 ] q 0 1 x ( 1 q x ) | ˙ D q 2 θ 2 g ( x θ 1 + ( 1 x ) θ 2 ) | d q x q 2 ( θ 2 θ 1 ) 2 [ 2 ] q 0 1 x ( 1 q x ) d q x 1 1 p 1 0 1 x ( 1 q x ) | D q 2 θ 2 g ( x θ 1 + ( 1 x ) θ 2 ) | p 1 d q x 1 p 1 .
Then by definition of uniform convexity with modulus ϕ for the function | D q 2 θ 2 g | p 1 , we find
g ( θ 1 ) + q g ( θ 2 ) [ 2 ] q 1 θ 2 θ 1 θ 1 θ 2 g ( x ) d q θ 2 x q 2 ( θ 2 θ 1 ) 2 [ 2 ] q 1 [ 2 ] q q [ 3 ] q 1 1 p 1 × ( 0 1 [ x 2 ( 1 q x ) | D q 2 θ 2 g ( θ 1 ) | p 1 + x ( 1 q x ) ( 1 x ) | D q 2 θ 2 g ( θ 2 ) | p 1 x 2 ( 1 q x ) ( 1 x ) Φ ( θ 2 θ 1 ) ] d q x ) 1 p 1 = q 2 ( θ 2 θ 1 ) 2 [ 2 ] q 1 [ 2 ] q [ 3 ] q 1 1 p 1 [ | D q 2 θ 2 g ( θ 1 ) | p 1 1 [ 3 ] q q [ 4 ] q + | D q 2 θ 2 g ( θ 2 ) | p 1 1 [ 2 ] q [ 2 ] q [ 3 ] q + q [ 4 ] q ) Φ ( θ 2 θ 1 ) ( 1 [ 3 ] q [ 2 ] q [ 4 ] q + q [ 5 ] q ] 1 p 1 .
Theorem 7.
Let g : [ θ 1 , θ 2 ] R R be a twice q θ 2 - differentiable function on ( θ 1 , θ 2 ) so that D q 2 θ 2 g C ( [ θ 1 , θ 2 ] ) and integrable on [ θ 1 , θ 2 ] . If | D q 2 θ 2 g | p 1 is uniformly convex with modulus Φ : R 0 [ 0 , ) on [ θ 1 , θ 2 ] , for some p 1 > 1 and 1 p 1 + 1 p 2 = 1 then the following inequality holds:
g ( θ 1 ) + q g ( θ 2 ) [ 2 ] q 1 θ 2 θ 1 θ 1 θ 2 g ( x ) d q θ 2 x q 2 ( θ 2 θ 1 ) 2 [ 2 ] q u 1 1 p 2 [ 2 ] q 1 p 1 | D q 2 θ 2 g ( θ 1 ) | p 1 + q | D q 2 θ 2 g ( θ 2 ) | p 1 Φ ( θ 2 θ 1 ) q 2 [ 3 ] q 1 p 1 ,
where u 1 = 0 1 ( x ( 1 q x ) ) p 2 d q x = ( 1 q ) n = 0 ( q n ) p 2 + 1 ( 1 q n + 1 ) p 2 .
Proof. 
By using the modulus properties in Lemma 2 [16], and the well-known q-Holder’s inequality we have,
g ( θ 1 ) + q g ( θ 2 ) [ 2 ] q 1 θ 2 θ 1 θ 1 θ 2 g ( x ) d q θ 2 x q 2 ( θ 2 θ 1 ) 2 [ 2 ] q 0 1 x ( 1 q x ) | ˙ D q 2 θ 2 g ( x θ 1 + ( 1 x ) θ 2 ) | d q x q 2 ( θ 2 θ 1 ) 2 [ 2 ] q 0 1 [ x ( 1 q x ) ] p 2 d q x 1 p 2 0 1 | D q 2 θ 2 g ( x θ 1 + ( 1 x ) θ 2 ) | p 1 d q x 1 p 1 .
By using the hypothesis that | D q 2 θ 2 g | p 1 is uniformly convex with modulus Φ : R 0 [ 0 , ) on [ θ 1 , θ 2 ] it will be obtained
g ( θ 1 ) + q g ( θ 2 ) [ 2 ] q 1 θ 2 θ 1 θ 1 θ 2 g ( x ) d q θ 2 x q 2 ( θ 2 θ 1 ) 2 [ 2 ] q u 1 1 p 2 ( | D q 2 θ 2 g ( θ 1 ) | p 1 0 1 x d q x + | D q 2 θ 2 g ( θ 2 ) | p 1 0 1 ( 1 x ) d q x Φ ( θ 2 θ 1 ) 0 1 x ( 1 x ) d q x ) 1 p 1 = q 2 ( θ 2 θ 1 ) 2 [ 2 ] q u 1 1 p 2 [ | D q 2 θ 2 g ( θ 1 ) | p 1 1 [ 2 ] q + | D q 2 θ 2 g ( θ 2 ) | p 1 1 1 [ 2 ] q Φ ( θ 2 θ 1 ) 1 [ 2 ] q 1 [ 3 ] q ] 1 p 1 ,
which leads to desired results. □

3. Applications to Fractional Calculus

In this section, an application to the fractional calculus of the Fejer inequality given in [48] is presented. First, it is necessary to recall the definition of the classical Riemann–Liouville fractional integrals.
Definition 9.
“Let f L 1 [ a , b ] . The Riemann–Liouville fractional integrals J a + α f and J b α f of order α > 0 , with a 0 , are defined as follows:
J a + α f ( x ) = 1 Γ ( α ) a x ( x t ) α 1 f ( t ) d t , x > a ,
and
J b α f ( x ) = 1 Γ ( α ) x b ( t x ) α 1 f ( t ) d t , x < b ,
respectively, where Γ is the well-known gamma function.”
Theorem 8.
Let f , g L 1 ( [ a , b ] ) and f be a uniformly convex function with modulus Φ on [ a , b ] . Then we have,
f ( a + b 2 ) J a + α g ( b ) + 1 4 [ J ( a + b 2 ) α Φ ( b a ) g ( a ) + 1 Γ ( α ) a + b 2 b ( y a ) α 1 Φ ( 2 y ( a + b ) ) g ( y ) d y ]
1 2 [ J a + α f ( b ) g ( b ) + J b α f ( a ) g ( a ) ]
f ( a ) + f ( b ) 2 J a + α g ( b ) α Φ ( b a ) b a [ J a + α + 1 g ( b ) α + 1 b a J a + α + 2 g ( b ) ] ,
where g : [ a , b ] R 0 is symmetric function with respect to x = a + b 2 .
Proof. 
We use the same method as in the demonstration of Theorem 1. We take α = 1 2 in Definition 2 relation (1) and then replacing x by t a + ( 1 t ) b and y by t b + ( 1 t ) a we get:
f a + b 2 + 1 4 Φ ( ( b a ) | 2 t 1 | ) f ( t a + ( 1 t ) b ) + f ( t b + ( 1 t ) a ) 2
f ( a ) + f ( b ) 2 t ( 1 t ) Φ ( b a ) .
Now multiplying previous inequalities by t α 1 g ( t a + ( 1 t ) b ) and integrating the obtained inequality with respect to t over [ 0 ,   1 ] , we find,
f a + b 2 0 1 t α 1 g ( t a + ( 1 t ) b ) d t + 1 4 0 1 t α 1 Φ ( ( b a ) | 2 t 1 | ) g ( t a + ( 1 t ) b ) d t
1 2 [ 0 1 t α 1 f ( t a + ( 1 t ) b ) g ( t a + ( 1 t ) b ) d t + 0 1 t α 1 f ( t b + ( 1 t ) a ) g ( t a + ( 1 t ) b ) d t ]
f ( a ) + f ( b ) 2 0 1 t α 1 g ( t a + ( 1 t ) b ) d t Φ ( b a ) 0 1 ( 1 t ) t α g ( t a + ( 1 t ) b ) d t .
By calculus, we have
A = 0 1 t α 1 g ( t a + ( 1 t ) b ) d t = 1 ( b a ) α a b ( b x ) α 1 g ( x ) d x = Γ ( α ) ( b a ) α J a + α g ( b ) ,
where x = t a + ( 1 t ) b , and
B = 0 1 t α 1 f ( t a + ( 1 t ) b ) g ( t a + ( 1 t ) b ) d t = Γ ( α ) ( b a ) α J a + α f ( b ) g ( b ) .
For next integral, C = 0 1 t α 1 f ( t b + ( 1 t ) a ) g ( t a + ( 1 t ) b ) d t , it will be used the symmetry of g with respect to x = a + b 2 and that y = t b + ( 1 t ) a , obtaining
C = Γ ( α ) ( b a ) α J b α f ( a ) g ( a ) .
Using again that x = t a + ( 1 t ) b , in E = 0 1 ( 1 t ) t α g ( t a + ( 1 t ) b ) d t , we have,
E = 1 ( b a ) α + 2 a b ( b x ) α ( x a ) g ( x ) d x
= 1 ( b a ) α + 2 [ ( b a ) a b ( b x ) α g ( x ) d x a b ( b x ) α + 1 g ( x ) d x ]
= Γ ( α + 1 ) ( b a ) α + 1 J a + α + 1 g ( b ) Γ ( α + 2 ) ( b a ) α + 2 J a + α + 2 g ( b ) .
The integral, G is the expression, 0 1 t α 1 Φ ( ( b a ) | 2 t 1 | ) g ( t a + ( 1 t ) b ) d t which will be written: G = G 1 + G 2 where
G 1 = 0 1 2 t α 1 Φ ( ( b a ) ( 1 2 t ) ) g ( t a + ( 1 t ) b ) d t
= 1 ( b a ) α a a + b 2 ( y a ) α 1 Φ ( a + b 2 y ) g ( y ) d y
= Γ ( α ) ( b a ) α J ( a + b 2 ) α Φ ( b a ) g ( a )
when y = t b + ( 1 t ) a and
G 2 = 1 2 1 t α 1 Φ ( ( b a ) ( 2 t 1 ) ) g ( t a + ( 1 t ) b ) d t
= 1 ( b a ) α a + b 2 b ( y a ) α 1 Φ ( a + b 2 y ) g ( y ) d y ,
when y = t b + ( 1 t ) a . □
Theorem 9.
Let f , g L 1 ( [ a , b ] ) and f be a uniformly convex function with modulus Φ on [ a , b ] . Then we have,
f ( a + b 2 ) J b α g ( a ) + 1 4 [ J ( a + b 2 ) α Φ ( b a ) g ( a ) + 1 Γ ( α ) a + b 2 b ( y a ) α 1 Φ ( 2 y ( a + b ) ) g ( y ) d y ]
1 2 [ J a + α f ( b ) g ( b ) + J b α f ( a ) g ( a ) ]
f ( a ) + f ( b ) 2 J b α g ( a ) α Φ ( b a ) b a [ J b α + 1 g ( a ) α + 1 b a J b α + 2 g ( a ) ] ,
where g : [ a , b ] R 0 is symmetric function with respect to x = a + b 2 .
Proof. 
We use the same method as in the demonstration of Theorem 1. □
Combining the inequalities from Theorem 8 and Theorem 9, we find the following companion like inequality:
Remark 5.
Let f , g L 1 ( [ a , b ] ) , f be a uniformly convex function with modulus Φ on [ a , b ] and g : [ a , b ] R 0 is a symmetric function with respect to x = a + b 2 .
Then the following inequality holds:
f a + b 2 [ J a + α g ( b ) + J b α g ( a ) ] + 1 2 [ J ( a + b 2 ) Φ ( b a ) g ( a )
+ 1 Γ ( α ) a + b 2 b ( y a ) α 1 Φ ( 2 y ( a + b ) ) g ( y ) d y ]
J a + α f ( b ) g ( b ) + J b α f ( a ) g ( a )
f ( a ) + f ( b ) 2 [ J a + α g ( b ) + J b α g ( a ) ]
α Φ ( b a ) b a [ J a + α + 1 g ( b ) + J b α + 1 g ( a ) α + 1 b a ( J a + α + 2 g ( b ) + J b α + 2 g ( a ) ) ]
Proof. 
It will be used last two inequalities from Theorem 8 and Theorem 9. □
Remark 6.
If we take ω = a and μ = b in equality from Lemma 2, [47] then this inequality can be rewritten as follows:
α ( α + 3 ) 2 α 3 ( b a ) 3 f ( a + b 2 ) + f ( a ) + f ( b ) 2 α 3 ( b a ) 3 4 Γ ( α + 3 ) ( b a ) α + 3 [ J ( a + b 2 ) + α f ( b ) + J ( a + b 2 ) α f ( a ) ]
= 1 2 α + 1 [ 0 1 θ 2 ( θ α 1 ) f ( 1 θ 2 ) a + θ 2 b d θ + 0 1 θ 2 ( 1 θ α ) f ( 1 θ 2 ) b + θ 2 a d θ ] .
Theorem 10.
If the hypothesis of previous remark take place and | f | is uniformly convex with modulus Φ, then the following inequality holds:
| α ( α + 3 ) 2 α 3 ( b a ) 3 f ( a + b 2 ) + f ( a ) + f ( b ) 2 α 3 ( b a ) 3 4 Γ ( α + 3 ) ( b a ) α + 3 [ J ( a + b 2 ) + α f ( b ) + J ( a + b 2 ) α f ( a ) ] |
1 2 α + 1 [ 3 α + 1 8 ( α + 3 ) ( | f ( a ) | + | f ( b ) | ) Φ ( b a ) 2 ( 3 10 1 ( α + 4 ) ( α + 5 ) ) ] .
Proof. 
The modulus property in the identity from Lemma 2 is used, and we get
| α ( α + 3 ) 2 α 3 ( b a ) 3 f ( a + b 2 ) + f ( a ) + f ( b ) 2 α 3 ( b a ) 3 4 Γ ( α + 3 ) ( b a ) α + 3 [ J ( a + b 2 ) + α f ( b ) + J ( a + b 2 ) α f ( a ) ] | 1 2 α + 1 [ 0 1 θ 2 ( 1 θ α ) | f ( ( 1 θ 2 ) a + θ 2 b ) | d θ + 1 2 α + 1 [ 0 1 θ 2 ( 1 θ α ) | f ( ( 1 θ 2 ) b + θ 2 a ) | d θ ] 1 2 α + 1 { 0 1 θ 2 ( 1 θ α ) [ θ 2 | f ( b ) | + ( 1 θ 2 ) | f ( a ) | θ 2 ( 1 θ 2 ) Φ ( b a ) ] d θ + 0 1 θ 2 ( 1 θ α ) [ θ 2 | f ( a ) | + ( 1 θ 2 ) | f ( b ) | θ 2 ( 1 θ 2 ) Φ ( b a ) ] d θ } 1 2 α + 1 { [ | f ( b ) | 0 1 θ 3 2 ( 1 θ α ) d θ + | f ( a ) | 0 1 θ 2 ( 1 θ 2 ) ( 1 θ α ) d θ Φ ( b a ) 0 1 θ 3 2 ( 1 θ 2 ) ( 1 θ α ) d θ ] + [ | f ( a ) | 0 1 θ 3 2 ( 1 θ α ) d θ + | f ( b ) | 0 1 θ 2 ( 1 θ 2 ) ( 1 θ α ) d θ Φ ( b a ) 0 1 θ 3 2 ( 1 θ 2 ) ( 1 θ α ) d θ ] }
and by calculus, we obtain the desired inequality. □
As application to special means, in fact an application to arithmetic mean, it will be presented below, rewriting Theorem 10.
Remark 7.
If the hypothesis of previous remark take place and | f | is uniformly convex with modulus Φ, then next inequality is true:
| α ( α + 3 ) 2 α 3 ( b a ) 3 f ( A ( a , b ) ) + A ( f ( a ) , f ( b ) ) 2 α 4 ( b a ) 3 8 Γ ( α + 3 ) ( b a ) α + 3 [ J ( A ( a , b ) ) + α f ( b ) + J ( A ( a , b ) ) α f ( a ) ] |
1 2 α + 1 [ 3 α + 1 8 ( α + 3 ) A ( | f ( a ) | , | f ( b ) | ) Φ ( b a ) 2 ( 3 10 1 ( α + 4 ) ( α + 5 ) ) ] ,
where A ( a , b ) = a + b 2 is the arithmetic mean of the real numbers a and b.
If, in addition, we particularize the function f from previous remark, then new means inequalities could be also obtained.

4. Discussion and Conclusions

The main findings of this paper are designed to give new refinements of q-Hermite-Hadamard-Fejer inequality and of q-Hermite-Hadamard-type integral inequalities for functions whose second left and right q-derivatives are uniformly convex. Basic inequalities such as q-Holder’s integral inequality and q-power mean inequality have been used to establish the new estimated bounds. We used the Matlab R2023b software version for Figure 1 and for some calculus in the given examples. The examples presented illustrate the validity of the given results. Applications of the Fejer inequality from Theorem 1 are given for uniformly convex functions with modulus ϕ on [ a , b ] in the case of Riemann-Liouville fractional integrals. Many interesting consequences and applications to special means can be formulated. An application to arithmetic mean as a special mean of real numbers it is presented.There are two important advantages of the newly established results derived from the fact that we used uniformly convex functions which are more general than convex or strongly convex functions, and the second advantage is that the Theorem 1 supports various kind of generalizations for q-calculus, parametrized quantum integral calculus, ( p , q ) -calculus, fractional calculus and q-fractional calculus.
Therefore, it is interesting to extend such findings to other new kinds of convexities, ( p , q ) -calculus, q-fractional inequalities. We hope that these results will enrich the literature in the field.

Author Contributions

Conceptualization, H.B., S.M., Y.S. and L.C.; methodology, H.B., S.M., Y.S. and L.C.; software, H.B., S.M., Y.S. and L.C.; validation, H.B. and L.C.; formal analysis, S.M., Y.S. and L.C.; investigation, H.B.; resources, L.C.; data curation, H.B.; writing—original draft preparation, H.B. and L.C.; writing—review and editing, H.B. and L.C.; visualization, H.B., S.M., Y.S. and L.C.; supervision, H.B., S.M., Y.S. and L.C.; project administration, H.B. and L.C.; funding acquisition, L.C. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Data are contained within the article.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Hadamard, J. Etude sur les proprietes des fonctions entieres en particulier d’une fonction consideree par Riemann. J. Math. Pures Appl. 1893, 58, 171–215. [Google Scholar]
  2. Fejer, L. Uber die Fourierreihen, II. Math. Naturwiss. Anz. Ungar. Akad. Wiss. 1906, 24, 369–390. (In Hungarian) [Google Scholar]
  3. Barsam, H.; Sayyari, Y. On some inequalities of differentable uniformly convex mapping with applications. Numer. Funct. Anal. Optim. 2023, 44, 368–381. [Google Scholar] [CrossRef]
  4. Khan, M.A.; Anwar, S.; Khalid, S.; Sayed, Z.M.M.M. Inequalities of the type Hermite-Hadamard-Jensen-Mercer for strong convexity. Math. Probl. Eng. 2021, 2021, 5386488. [Google Scholar]
  5. Niezgoda, M. Fejer and Hermite-Hadamard type results for H-invex functions with applications. Positivity 2019, 23, 531–543. [Google Scholar] [CrossRef]
  6. Sayyari, Y. New Entropy Bounds Via Uniformly Convex Functions. Chaos Solitons Fractals 2020, 141, 110360. [Google Scholar] [CrossRef]
  7. Sayyari, Y.; Barsam, H.; Ciurdariu, L. A new refinement of Jensen-Type inequality with respect to uniformly convex functions with applications in information theory. J. Math. Inequal. 2023, 17, 1311–1322. [Google Scholar] [CrossRef]
  8. Sayyari, Y.; Barsam, H. New inequalities related to entropy and relative entropy with respect to Hermite-Hadamard inequality. Filomat 2024, 38, 1265–1277. [Google Scholar] [CrossRef]
  9. Jackson, F.H. On a q-definite integrals. Q. J. Pure Appl. Math. 1910, 41, 193–203. [Google Scholar]
  10. Al-Salam, W. Some fractional q-integrals and q-derivatives. Proc. Edinb. Math. Soc. 1966, 15, 135–140. [Google Scholar] [CrossRef]
  11. Almeida, R.; Torres, D.F.M. Non-differentiable variational principles in terms of a quantum operator. Math. Methods Appl. Sci. 2011, 34, 2231–2241. [Google Scholar]
  12. Cresson, J.; Frederico, G.S.F.; Torres, D.F.M. Constants of motion for non-differentiable quantum variational problems. Topol. Methods Nonlinear Anal. 2019, 37, 217–231. [Google Scholar] [CrossRef]
  13. Chen, F.L.; Finkelstein, R.J. q-deformation of the Coulomb problem. J. Math. Phys. 1994, 35, 3273–3284. [Google Scholar] [CrossRef]
  14. Cadavid, A.C.; Finkelstein, R.J. The q-Coulomb problem in configuration space. J. Math. Phys. 1996, 37, 3675–3683. [Google Scholar] [CrossRef]
  15. Finkelstein, R.J. The q-Coulomb problem. J. Math. Phys. 1996, 37, 2628–2636. [Google Scholar] [CrossRef]
  16. Sitthiwirattham, T.; Murtaza, G.; Ali, M.A.; Ntouyas, S.K.; Adeel, M.; Soontharanon, J. On some new trapezoidal type inequalities for twice (p,q) differentiable convex functions in post quantum calculus. Symmetry 2021, 13, 1605. [Google Scholar] [CrossRef]
  17. Tariboon, J.; Ntouyas, S.K. Quantum calculus on finite intervals and aplications to impulsive difference equations. Adv. Differ. Equ. 2013, 2013, 282. [Google Scholar] [CrossRef]
  18. Tariboon, J.; Ntouyas, S.K. Quantum integral inequalities on finite intervals. J. Inequal. Appl. 2014, 13, 121. [Google Scholar] [CrossRef]
  19. Alp, N.; Sarikaya, M.Z.; Kunt, M.; Iscan, I. q2-Hermite-Hadamard inequalities and quantum estimates for midpoint type inequalities via convex and quasi-convex functions. J. King Saud Univ. Sci. 2018, 30, 193–203. [Google Scholar] [CrossRef]
  20. Bermudo, S.; Korus, P.; Valdes, J.N. On q-Hermite-Hadamard inequalities for general convex functions. Acta Math. Hungar. 2020, 162, 364–374. [Google Scholar] [CrossRef]
  21. Kara, H.; Budak, H.; Alp, N.; Kalsoom, H.; Sarikaya, M.Z. On new generalized quantum integrals and related Hermite-Hadamard inequalities. J. Inequal. Appl. 2021, 2021, 180. [Google Scholar] [CrossRef]
  22. Jhanthanam, S.; Tariboon, J.; Ntouyas, S.K.; Nonlaopon, K. On q-Hermite-Hadamard inequalities for differentiable convex functions. Mathematics 2019, 7, 632. [Google Scholar] [CrossRef]
  23. Alp, N.; Budak, H.; Sarikaya, M.Z.; Ali, M.A. On new refinements and generalizations of q-Hermite-Hadamard inequalities for convex functions. Rocky Mt. J. Math. 2023, 54, 361–374. [Google Scholar] [CrossRef]
  24. Zhao, D.; Ali, M.A.; Luangboon, W.; Budak, H.; Nonlaopon, K. Some Generalizations of Different Types of Quantum Integral Inequalities for Differentiable Convex Functions with Applications. Fractal Fract. 2022, 6, 129. [Google Scholar] [CrossRef]
  25. Rajkovic, P.M.; Stankovic, M.S.; Marinkovic, S.D. The zeros of polynomials orthogonal with respect to q-integral on several intervals in the complex plane. In Proceedings of the Fifth International Conference of Geometry Integrability and Quantization, Varna, Bulgaria, 5–12 June 2003; pp. 178–188. [Google Scholar]
  26. Ernst, T.A. Comprehensive Treatment of q-Calculus; Springer: Basel, Switzerland, 2012. [Google Scholar]
  27. Kac, V.; Cheung, P. Quantum Calculus; Springer: New York, NY, USA, 2003; p. 652. [Google Scholar]
  28. Kang, Q.; Butt, S.I.; Nazeer, W.; Nadeem, M.; Nasir, J.; Yang, H. New variant of Hermite-Hadamard-Mercer inequalities via Riemann-Liouville fractional integral operators. J. Math. 2020, 2020, 4303727. [Google Scholar] [CrossRef]
  29. Kunt, M.; Iscan, I.; Alp, N.; Sarikaya, M.Z. (p,q)-Hermite-Hadamard inequalities and (p,q)-estimations for midpoint type inequalities via convex and quasi-convex functions. Rev. R. Acad. Cienc. Exactas Fis. Nat. Ser. A Mat. 2018, 112, 969–992. [Google Scholar] [CrossRef]
  30. Vivas-Cortez, M.; Awan, M.U.; Talib, S.; Kashuri, A.; Noor, M.A. Some new post-quantum integral inequalities involving twice (p,q)-differentiable ϕ-preinvex functions and applications. Axioms 2021, 10, 283. [Google Scholar] [CrossRef]
  31. Noor, M.; Noor, K.; Awan, M. Quantum Ostrowski inequalities for q-differentiable convex functions. J. Math. Inequal. 2016, 10, 1013–1018. [Google Scholar] [CrossRef]
  32. Liu, W.; Zhuang, H. Some quantum estimates of Hermite-Hadamard inequalities for convex functions. J. Appl. Anal. Comput. 2016, 7, 501–522. [Google Scholar]
  33. Vivas-Cortez, M.; Kashuri, A.; Liko, R.; Hernadez, J.E. Quantum trapezium-type inequalities using generalized Φ-convex functions. Axioms 2020, 9, 12. [Google Scholar] [CrossRef]
  34. Neang, P.; Nanlaopon, K.; Tariboon, J.; Ntouyas, S.K.; Aagarwal, P. Some trapezoid and midpoint type inequalities via fractional (p,q)-calculus. Adv. Differ. Equ. 2021, 2021, 333. [Google Scholar] [CrossRef]
  35. Budak, H.; Ali, M.A.; Tarhanaci, M. Some new quantum Hermite-Hadamard-like inequalities for coordinated convex functions. J. Optim. Theory Appl. 2020, 186, 899–910. [Google Scholar] [CrossRef]
  36. Kunt, M.; Latif, M.A.; Iscan, I.; Dragomir, S.S. Quantum Hermite-Hadamard type inequality and some estimates of quantum midpoint type inequalities for double integrals. Sigma J. Eng. Nat. Sci. 2019, 37, 207–223. [Google Scholar]
  37. Iscan, I. Hermite-Hadamard-Fejertype inequalities for convex functions via fractional integrals. arXiv 2014, arXiv:1404.7722. [Google Scholar]
  38. Chen, F. Extensions of the Hermite-Hadamard inequality for harmonically convex functions via fractional integrals. Appl. Math. Comput. 2015, 268, 121–128. [Google Scholar] [CrossRef]
  39. Iscan, I.; Wu, S. Hermite-Hadamard type inequalities for harmonically convex functions via fractional integrals. Appl. Math. Comput. 2014, 238, 237–244. [Google Scholar]
  40. Set, E.; Iscan, I.; Sarikaja, M.Z.; Ozdemir, M.E. On new inequalities of Hermite-Hadamad-Fejer type for convex functions via fractional integrals. Appl. Math. Comput. 2015, 259, 875–881. [Google Scholar]
  41. Almeida, R.; Bastos, N. An approximation formula for the Katugampola integral. J. Math. Anal. 2016, 7, 23–30. [Google Scholar]
  42. Chen, H.; Katugampola, U.N. Hermite-Hadamard and Hermite-Hadamard-Fejer type inequalities for generalized fractional integrals. J. Math. Anal. Appl. 2017, 446, 1274–1291. [Google Scholar] [CrossRef]
  43. Luo, C.; Wang, H.; Du, T. Fejer-Hermite-Hadamard type inequalities involving generalized h-convexity on fractal sets and their applications. Chaos Solitons Fractals 2020, 131, 109547. [Google Scholar] [CrossRef]
  44. Kunt, M.; Aljasem, M. Fractional quantum Hermite-Hadamard type inequalities. Konuralp J. Math. 2020, 8, 122–136. [Google Scholar]
  45. Chu, Y.M.; Awan, M.U.; Talib, S.; Noor, M.A.; Noor, K.I. Fractional quantum analogues of trapezoid like inequalities. J. Math. Inequal. 2023, 17, 31–47. [Google Scholar] [CrossRef]
  46. Khan, M.B.; Marcias-Dias, J.E.; Treanta, S.; Soliman, M.S. Some Fejer type inequalities for Generalized Interval-Valued Convex functions. Mathematics 2022, 10, 385. [Google Scholar] [CrossRef]
  47. Ciurdariu, L.; Grecu, E. Hermite-Hadamard-Mercer-Type Inequalities for Three-Times Differentiable Functions. Axioms 2024, 13, 413. [Google Scholar] [CrossRef]
  48. Barsam, H.; Sayyari, Y. Fejer type inequality and some inequalities of Hermite-Hadamard type via uniformly convex function. submitted.
  49. Zalinescu, C. On uniformly convex functions. J. Math. Anal. Appl. 1983, 95, 344–374. [Google Scholar] [CrossRef]
  50. Bauschke, H.H.; Combettes, P.L. Convex Analysis and Monotone Operator Theory in Hilbert Spaces; Springer: Berlin/Heidelberg, Germany, 2011. [Google Scholar]
Figure 1. An example for the inequality (3) from Theorem 5 for function g with uniformly convex right q-derivative of order two, D q 2 2 g ( x ) = x 3 and a = 1 , b = 2 , with modulus Φ , when Φ is as in Lemma 1 (b). The magenta line in graphic represents the function of the right member of inequality (3) and the green line represents the function of the left member of inequality (3).
Figure 1. An example for the inequality (3) from Theorem 5 for function g with uniformly convex right q-derivative of order two, D q 2 2 g ( x ) = x 3 and a = 1 , b = 2 , with modulus Φ , when Φ is as in Lemma 1 (b). The magenta line in graphic represents the function of the right member of inequality (3) and the green line represents the function of the left member of inequality (3).
Fractalfract 09 00108 g001
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

Barsam, H.; Mirzadeh, S.; Sayyari, Y.; Ciurdariu, L. On Quantum Hermite-Hadamard-Fejer Type Integral Inequalities via Uniformly Convex Functions. Fractal Fract. 2025, 9, 108. https://doi.org/10.3390/fractalfract9020108

AMA Style

Barsam H, Mirzadeh S, Sayyari Y, Ciurdariu L. On Quantum Hermite-Hadamard-Fejer Type Integral Inequalities via Uniformly Convex Functions. Fractal and Fractional. 2025; 9(2):108. https://doi.org/10.3390/fractalfract9020108

Chicago/Turabian Style

Barsam, Hasan, Somayeh Mirzadeh, Yamin Sayyari, and Loredana Ciurdariu. 2025. "On Quantum Hermite-Hadamard-Fejer Type Integral Inequalities via Uniformly Convex Functions" Fractal and Fractional 9, no. 2: 108. https://doi.org/10.3390/fractalfract9020108

APA Style

Barsam, H., Mirzadeh, S., Sayyari, Y., & Ciurdariu, L. (2025). On Quantum Hermite-Hadamard-Fejer Type Integral Inequalities via Uniformly Convex Functions. Fractal and Fractional, 9(2), 108. https://doi.org/10.3390/fractalfract9020108

Article Metrics

Back to TopTop