Next Article in Journal
Performance of a New Sixth-Order Class of Iterative Schemes for Solving Non-Linear Systems of Equations
Next Article in Special Issue
Weighted Hardy–Rellich Inequality for Dunkl Operators
Previous Article in Journal
Drivers of Realized Volatility for Emerging Countries with a Focus on South Africa: Fundamentals versus Sentiment
Previous Article in Special Issue
New Results Concerning Approximate Controllability of Conformable Fractional Noninstantaneous Impulsive Stochastic Evolution Equations via Poisson Jumps
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Some Remarks on Local Fractional Integral Inequalities Involving Mittag–Leffler Kernel Using Generalized (E, h)-Convexity

1
Department of Mathematics, Taibah University, Al-Medina 42353, Saudi Arabia
2
Department CPST, Ecole Nationale Supérieure de Technologie et d’Ingénierie, Annaba 23005, Algeria
3
Department of Mathematics, University of Hafr Al-Batin, Hafr Al-Batin 31991, Saudi Arabia
4
Department of Mathematics and Statistics, Universiti Putra Malaysia (UPM), Serdang 43400, Malaysia
*
Author to whom correspondence should be addressed.
Mathematics 2023, 11(6), 1373; https://doi.org/10.3390/math11061373
Submission received: 31 January 2023 / Revised: 21 February 2023 / Accepted: 10 March 2023 / Published: 12 March 2023

Abstract

:
In the present work, we introduce two new local fractional integral operators involving Mittag–Leffler kernel on Yang’s fractal sets. Then, we study the related generalized Hermite–Hadamard-type inequality using generalized ( E , h ) -convexity and obtain two identities pertaining to these operators, and the respective first- and second-order derivatives are given. In terms of applications, we provide some new generalized trapezoid-type inequalities for generalized ( E , h )-convex functions. Finally, some special cases are deduced for different values of δ , E, and h.

1. Introduction

Convexity is a significant concept in various fields of mathematics and related areas, such as economics, finance, and biology. It provides a powerful framework for exploring diverse topics in both pure and applied sciences. The idea of convexity is closely connected with the development of the theory of inequalities, which is an essential tool for analyzing particular aspects of solutions to differential equations and estimating the errors of quadrature formulas.
The most famous inequality related to convex functions is the so-called Hermite–Hadamard integral inequality, which can be stated as follows [1]:
g a + b 2 1 b a a b g ( x ) d x g ( a ) + g ( b ) 2
where g : I R R is a convex function on I = [ a , b ] , with a < b .
The class of convex functions has been extended to many more general classes, among which we can cite the class of h-convex functions introduced in [2] as follows:
Definition 1.
Let h : [ 0 , 1 ] ( 0 , ) be a positive function and U R be an interval; then, g : U R is called h-convex if g is non-negative and the following inequality holds:
g ( ϑ u 1 + ( 1 ϑ ) u 2 ) h ( ϑ ) g ( u 1 ) + h ( 1 ϑ ) g ( u 2 ) , u 1 , u 2 U , ϑ [ 0 , 1 ] .
The class of h-convex functions includes many types of convexity, such as classical convexity ( h ( ϑ ) = ϑ ), s-convexity ( h ( ϑ ) = ϑ s ), Godunova–Levin functions ( h ( ϑ ) = 1 ϑ ), and P-functions ( h ( ϑ ) = 1 ).
Modified h-convexity, generalized modified h-convexity, strong h-convexity, and generalized strongly modified h-convexity are studied in [3,4].
In [5], Sarikaya et al. provided the Hermite–Hadamard inequality related to h-convex functions.
Theorem 1.
([5]). Let g : U R be h-convex, and a , b U , with a < b and g L 1 [ a , b ] . Then,
1 h ( 1 2 ) g a + b 2 1 b a a b g ( x ) d x [ g ( a ) + g ( b ) ] 0 1 h ( x ) d x .
In [6], the author introduces the class of E-convex functions as follows:
Definition 2
([6]). A function g : [ ρ 1 , ρ 2 ] R R is said to be E-convex, where E : [ ρ 1 , ρ 2 ] [ ρ 1 , ρ 2 ] , if
g ( ϑ E ( μ 1 ) + ( 1 ϑ ) E ( μ 2 ) ) ϑ g ( E ( μ 1 ) ) + ( 1 ϑ ) g ( E ( μ 2 ) ) , μ 1 , μ 2 [ ρ 1 , ρ 2 ] , ϑ [ 0 , 1 ] .
The Hermite–Hadamard inequality related to E-convex functions is presented in [7].
Theorem 2.
([7]). Let us assume that E : I 1 R R is a continuous increasing function and a , b I 1 , with a < b . A function g : I 2 R R is said to be E-convex on [ a , b ] , if the following inequality holds:
g E ( a ) + E ( b ) 2 1 E ( b ) E ( a ) E ( a ) E ( b ) g ( E ( x ) ) d E ( x ) g ( E ( a ) ) + g ( E ( b ) ) 2
Fractal sets and fractal theory have garnered considerable interest from scientists and engineers. According to Mandelbrot, a fractal set is one in which the Hausdorff dimension is greater than the topological dimension [8,9]. Several techniques of fractional calculus have been developed to study the properties of functions acting on fractal sets, such as those presented in [10,11,12,13,14,15,16,17,18,19]. The investigation and advancement of local fractional functions in fractal sets, including local fractional calculus and function monotonicity, are extensively studied by Yang in [20].
Conforming to Gao-Yang-Kang’s notion [20], the real line number in fractal set R δ has the below properties.
If ι 1 δ , ι 2 δ , and ι 3 δ R δ , where 0 < δ 1 , then:
  • ι 1 δ + ι 2 δ R δ , ι 1 δ ι 2 δ R δ .
  • ι 1 δ + ι 2 δ = ι 2 δ + ι 1 δ = ι 1 + ι 2 δ = ι 2 + ι 1 δ .
  • ι 1 δ + ι 2 δ + ι 3 δ = ι 1 δ + ι 2 δ + ι 3 δ .
  • ι 1 δ ι 2 δ = ι 2 δ ι 1 δ = ι 1 ι 2 δ = ι 2 ι 1 δ .
  • ι 1 δ ι 2 δ ι 3 δ = ι 1 δ ι 2 δ ι 3 δ .
  • ι 1 δ ι 2 δ + ι 3 δ = ι 1 δ ι 2 δ + ι 1 δ ι 3 δ .
  • ι 1 δ + 0 δ = 0 δ + ι 1 δ = ι 1 δ and ι 1 δ · 1 δ = 1 δ · ι 1 δ = ι 1 δ .
The following definitions related to the local fractional calculus on R δ are given in [20]:
Definition 3.
The local fractional derivative of g ( x ) of order δ at x = x 0 is given by
g δ ( x 0 ) = d δ g ( x ) d x δ x = x 0 = lim x x 0 Γ ( δ + 1 ) ( g ( x ) g ( x 0 ) ) ( x x o ) δ .
Definition 4.
Let g be a local fractional continuous on [ a , b ] . The local fractional of function g ( x ) of order δ is defined by
a I b ( δ ) g ( x ) = ( Γ ( 1 + δ ) ) 1 a b g ( τ ) ( d τ ) δ = ( Γ ( 1 + δ ) ) 1 lim τ 0 n = 0 m g ( τ n ) ( τ n ) δ
where τ n = τ n + 1 τ n and τ = max τ n : n = 1 , 2 , , m 1 , where [ τ n , τ n + 1 ] , n = 0 , 1 , , m 1 , a = τ 0 < τ 1 < < τ m 1 < τ m = b is a partition on [ a , b ] and Γ is the well-known Gamma function Γ ( χ ) = 0 ρ χ 1 e ρ d ρ .
The following defines the Mittag–Leffler function on fractal sets of order δ ( 0 < δ 1 ) (see [20,21]):
E δ ( x δ ) = n = 0 x n δ Γ ( 1 + n δ ) , x R .
Lemma 1.
The local fractional derivative and integral of the Mittag–Leffler function are given by
d δ d x δ E δ ( τ x δ ) = τ E δ ( τ x δ ) ,
a I b ( δ ) E δ ( x δ ) = E δ ( b δ ) E δ ( a δ ) ,
where τ is an arbitrary constant.
Two local fractional integral operators involving Mittag–Leffler kernel are described in [20,21].
Definition 5.
Let us assume that g : [ a , b ] R δ and g ( x ) I x ( δ ) [ a , b ] . The local fractional left- and right-side integral operators of order δ ( 0 , 1 ) are defined, respectively, by
a + δ g ( x ) = 1 δ δ Γ ( 1 + δ ) a x E δ ( 1 δ δ ( x s ) ) δ g ( s ) ( d s ) δ , a < x .
b δ g ( x ) = 1 δ δ Γ ( 1 + δ ) x b E δ ( 1 δ δ ( s x ) ) δ g ( s ) ( d s ) δ , x < b .
On Yang’s fractal sets, the generalized h-convex function is defined in [22] as
Definition 6.
Let us consider that h : [ 0 , 1 ] R + is a positive function; then, g : U R R δ is called generalized h-convex if g is non-negative and the following inequality holds:
g ( ϑ μ 1 + ( 1 ϑ ) μ 2 ) h δ ( ϑ ) g ( μ 1 ) + h δ ( 1 ϑ ) g ( μ 2 ) , μ 1 , μ 2 U , ϑ [ 0 , 1 ] .
Some Hermite–Hadamard-type integral inequalities for local fractional integral operators involving Mittag–Leffler kernel using generalized h-convexity are studied in [23].
On Yang’s fractal sets, the generalized E-convex function is defined in [24] as
Definition 7.
A function g : R R δ is called a generalized E-convex function on a set U R if there exists a map E : R R such that U is an E-convex set and
g ( ϑ E ( μ 1 ) + ( 1 ϑ ) E ( μ 2 ) ) ϑ δ g ( E ( μ 1 ) ) + ( 1 ϑ ) δ g ( E ( μ 2 ) ) ,
where μ 1 , μ 2 U , ϑ [ 0 , 1 ] , and δ 0 , 1 .
In this article, we focus on some local fractional integral inequalities involving Mittag–Leffler kernel using combined ( E , h )-convexity. First, we introduce two local fractional integral operators; then, we establish generalized Hermite–Hadamard-type inequalities related to these operators for the aforementioned class of functions. Finally, using two novel identities involving first-order and second-order local fractional derivatives, we establish some trapezium-type inequalities for the same class of functions.

2. Main Results

We begin this section with the following definitions:
Definition 8.
Let us consider that h : [ 0 , 1 ] R + is a positive function and E : R R ; then, g : U R R δ is called generalized ( E , h ) -convex if g is non-negative and the following inequality holds:
g ( ϑ E ( μ 1 ) + ( 1 ϑ ) E ( μ 2 ) ) h δ ( ϑ ) g ( E ( μ 1 ) ) + h δ ( 1 ϑ ) g ( E ( μ 2 ) ) , μ 1 , μ 2 U , ϑ [ 0 , 1 ] .
This type of convexity, which combines generalized h-convexity and E-convexity, defines a larger and more comprehensive class of functions. Essentially, for h = I , we obtain generalized E-convexity, and for E = I , we obtain generalized h-convexity. Therefore, both of these types of convexity imply generalized ( E , h ) -convexity, but the converse is false, as shown by the following example:
Example 1.
Let g : [ 0 , 2 ] R δ be a non negative function defined as follows:
g ( x ) = x δ 2 ; x [ 0 , 1 ] x 2 δ ; x [ 1 , 2 ]
Here, g is a generalized ( E , h ) -convex function with respect to E ( x ) = x + 2 x + 1 and h ( x ) = x 3 2 , but not a generalized h-convex function.
Example 2.
Let us assume that
g ( x ) = 1 δ ; x a + b 2 , ( 1 2 ) δ ; x = a + b 2 ,
where g : [ a , b ] R δ , h ( x ) = ( 1 x ) , x > 0 , and E : [ a , b ] 2 R such that E ( x , y ) = a + b 2 , x , y [ a , b ] . Consequently, g is a generalized ( E , h )-convex function but not a generalized h-convex function.
Definition 9.
Let us assume that g : [ a , b ] R δ and g ( x ) I x ( δ ) [ a , b ] . The left- and right-side local fractional integral operators of order δ ( 0 , 1 ) are defined, respectively, by
E ( a ) + δ g ( E ( x ) ) = 1 δ δ Γ ( 1 + δ ) E ( a ) E ( x ) E δ ( 1 δ δ ( E ( x ) E ( s ) ) ) δ g ( E ( s ) ) ( d E ( s ) ) δ , E ( a ) < E ( x ) .
E ( b ) δ g ( E ( x ) ) = 1 δ δ Γ ( 1 + δ ) E ( x ) E ( b ) E δ ( 1 δ δ ( E ( s ) E ( x ) ) ) δ g ( E ( s ) ) ( d E ( s ) ) δ , E ( x ) < E ( b ) .
Remark 1.
  • If E = I , then Definition 8 returns to Definition 2 in [23].
  • If δ = 1 , then
    lim δ 1 E ( a ) + δ g ( E ( x ) ) = E ( a ) E ( x ) g ( E ( s ) ) ( d E ( s ) ) , E ( x ) > E ( a ) .
    lim δ 1 E ( b ) δ g ( E ( x ) ) = E ( x ) E ( b ) g ( E ( s ) ) ( d E ( s ) ) , E ( b ) > E ( x ) .
In what follows, we set λ = 1 δ δ ( E ( b ) E ( a ) ) .
Theorem 3.
Let us assume that g : [ a , b ] R δ is a positive function, with 0 < a < b and g ( x ) I x ( δ ) [ a , b ] . If g is a generalized ( E , h )-convex function on [ a , b ] , then the following inequalities hold:
1 δ E δ ( λ ) δ λ δ h δ ( 1 2 ) g E ( a ) + E ( b ) 2 δ E ( b ) E ( a ) δ E ( a ) + δ g ( E ( b ) ) + E ( b ) δ g ( E ( a ) ) g ( E ( a ) ) + g ( E ( b ) ) 0 I 1 ( δ ) E δ ( λ ϑ ) δ [ h δ ( ϑ ) + h δ ( 1 ϑ ) ] .
Proof. 
Since g is a generalized ( E , h )-convex function on [ a , b ] , then
g E ( x ) + E ( y ) 2 h δ 1 2 g ( E ( x ) ) + h δ 1 2 g ( E ( y ) ) .
Let us put E ( x ) = ϑ E ( a ) + ( 1 ϑ ) E ( b ) and E ( y ) = ( 1 ϑ ) E ( a ) + ϑ E ( b ) ; then,
1 δ h δ 1 2 g E ( a ) + E ( b ) 2 g ( ϑ E ( a ) + ( 1 ϑ ) E ( b ) ) + g ( ( 1 ϑ ) E ( a ) + ϑ E ( b ) ) .
By multiplying E δ ( λ ϑ ) δ on both sides of inequality (16) and integrating the result into [ 0 , 1 ] , we get
1 δ h δ 1 2 g E ( a ) + E ( b ) 2 1 Γ ( 1 + δ ) 0 1 E δ ( λ ϑ ) δ ( d ϑ ) δ 1 Γ ( 1 + δ ) 0 1 E δ ( λ ϑ ) δ g ( ϑ E ( a ) + ( 1 ϑ ) E ( b ) ) ( d ϑ ) δ + 1 Γ ( 1 + δ ) 0 1 E δ ( λ ϑ ) δ g ( ( 1 ϑ ) E ( a ) + ϑ E ( b ) ) ( d ϑ ) δ .
Let us put, E ( s ) = ϑ E ( a ) + ( 1 ϑ ) E ( b ) and E ( r ) = ( 1 ϑ ) E ( a ) + ϑ E ( b ) ; then,
1 δ E δ ( λ ) δ λ δ h δ ( 1 2 ) g E ( a ) + E ( b ) 2 1 E ( b ) E ( a ) δ 1 Γ ( 1 + δ ) E ( a ) E ( b ) E δ λ ( E ( b ) E ( s ) E ( b ) E ( a ) ) δ g ( E ( s ) ) ( d E ( s ) ) δ + 1 Γ ( 1 + δ ) E ( a ) E ( b ) E δ λ ( E ( r ) E ( a ) E ( b ) E ( a ) ) δ g ( E ( r ) ) ( d E ( r ) ) δ = 1 E ( b ) E ( a ) δ 1 Γ ( 1 + δ ) E ( a ) E ( b ) E δ 1 δ δ δ ( E ( b ) E ( s ) ) δ g ( E ( s ) ) ( d E ( s ) ) δ + 1 Γ ( 1 + δ ) E ( a ) E ( b ) E δ 1 δ δ δ ( E ( r ) E ( a ) ) δ g ( E ( r ) ) ( d E ( r ) ) δ = δ E ( b ) E ( a ) δ E ( a ) + δ g ( E ( b ) ) + E ( b ) δ g ( E ( a ) ) .
Therefore, the first inequality of (15) holds.
Now, we prove the second inequality of (15). Since g is a generalized ( E , h )-convex function for t [ 0 , 1 ] , then
g ( ϑ E ( a ) + ( 1 ϑ ) E ( b ) ) h δ ( ϑ ) g ( E ( a ) ) + h δ ( 1 ϑ ) g ( E ( b ) ) .
g ( ( 1 ϑ ) E ( a ) + ϑ E ( b ) ) h δ ( 1 ϑ ) g ( E ( a ) ) + h δ ( ϑ ) g ( E ( b ) ) .
Adding the two sides of the above two inequalities gives
g ( ϑ E ( a ) + ( 1 ϑ ) E ( b ) ) + g ( ( 1 ϑ ) E ( a ) + ϑ E ( b ) ) [ h δ ( ϑ ) + h δ ( 1 ϑ ) ] [ g ( E ( a ) ) + g ( E ( b ) ) ] .
By multiplying E δ ( λ ϑ ) δ on both sides of inequality (19) and integrating the result into [ 0 , 1 ] , we obtain
1 Γ ( 1 + δ ) 0 1 E δ ( λ ϑ ) δ g ( ϑ E ( a ) + ( 1 ϑ ) E ( b ) ) ( d ϑ ) δ + 1 Γ ( 1 + δ ) 0 1 E δ ( λ ϑ ) δ g ( ( 1 ϑ ) E ( a ) + ϑ E ( b ) ) ( d ϑ ) δ [ g ( E ( a ) ) + g ( E ( b ) ) ] 1 Γ ( 1 + δ ) 0 1 E δ ( λ t ) δ [ h δ ( ϑ ) + h δ ( 1 ϑ ) ] ( d ϑ ) δ .
From (17) and (18), the above inequality becomes
δ E ( b ) E ( a ) δ [ E ( a ) + δ g ( E ( b ) ) + E ( b ) δ g ( E ( a ) ) ] [ g ( E ( a ) ) + g ( E ( b ) ) ] 1 Γ ( 1 + δ ) 0 1 E δ ( λ ϑ ) δ [ h δ ( ϑ ) + h δ ( 1 ϑ ) ] ( d ϑ ) δ = [ g ( E ( a ) ) + g ( E ( b ) ) ] 0 I 1 δ E δ ( λ ϑ ) δ [ h δ ( ϑ ) + h δ ( 1 ϑ ) ] .
Therefore, the second inequality of (15) holds. This completes the proof. □
Remark 2.
  • For δ 1 , in the above Theorem, we obtain the following inequalities:
    1 h 1 2 g E ( a ) + E ( b ) 2 2 E ( b ) E ( a ) E ( a ) E ( b ) g ( E ( s ) ) d s [ g ( E ( a ) ) + g ( E ( b ) ) ] 0 1 [ h ( ϑ ) + h ( 1 ϑ ) ] d ϑ .
  • Let E = I ; then, we obtain the local fractional integral inequalities (3.3) in [23].
Corollary 1.
If h δ ( ϑ ) = ϑ δ in Theorem 3, then we obtain
g E ( a ) + E ( b ) 2 ( 1 δ ) δ 2 δ [ 1 δ E δ ( λ ) δ ] [ E ( a ) + δ g ( E ( b ) ) + E ( b ) δ g ( E ( a ) ) ] g ( E ( a ) ) + g ( E ( b ) ) 2 δ .
Proof. 
If h δ ( ϑ ) = ϑ δ , by using E ( s ) δ + E ( r ) δ = ( E ( s ) + E ( r ) ) δ , we have
o I 1 ( δ ) E δ ( λ ϑ ) δ [ h δ ( ϑ ) + h δ ( 1 ϑ ) ] = 1 Γ ( 1 + δ ) 0 1 E δ ( λ ϑ ) δ ( ϑ δ + ( 1 ϑ ) δ ) ( d ϑ ) δ = 1 δ E δ ( λ ) δ λ δ .
Lemma 2.
Let us assume that g : [ a , b ] R δ is a local fractional differentiable function on [ a , b ] . If g δ ( x ) I x ( δ ) [ a , b ] , then we obtain
g ( E ( a ) ) + g ( E ( b ) ) 2 δ ( 1 δ ) δ 2 δ [ 1 δ E δ ( λ ) δ ] ( E ( a ) + δ g ( E ( b ) ) + E ( b ) δ g ( E ( a ) ) ) = ( E ( b ) E ( a ) ) δ 2 δ [ 1 δ E δ ( λ ) δ ] 1 Γ ( 1 + δ ) 0 1 E δ ( λ ϑ ) δ g ( δ ) ( ϑ E ( a ) + ( 1 ϑ ) E ( b ) ) ( d ϑ ) δ 1 Γ ( 1 + δ ) 0 1 E δ ( λ ( 1 ϑ ) ) δ g ( δ ) ( ϑ E ( a ) + ( 1 ϑ ) E ( b ) ) ( d ϑ ) δ .
Proof. 
Using local fractional integration by parts and putting E ( x ) = ϑ E ( a ) + ( 1 ϑ ) E ( b ) , we obtain
1 Γ ( 1 + δ ) 0 1 E δ ( λ ϑ ) δ g ( δ ) ( ϑ E ( a ) + ( 1 ϑ ) E ( b ) ) ( d ϑ ) δ = ( 1 E ( a ) E ( b ) ) δ E δ ( λ ϑ ) δ g ( ϑ E ( a ) + ( 1 ϑ ) E ( b ) ) | 0 1 1 Γ ( 1 + δ ) 0 1 g ( ϑ E ( a ) + ( 1 ϑ ) E ( b ) ) ( E δ ( λ ϑ ) δ ) δ ( d ϑ ) δ = 1 E ( a ) E ( b ) δ E δ ( λ ϑ ) δ g ( E ( a ) ) g ( E ( b ) ) ( λ ) δ 1 Γ ( 1 δ ) 0 1 g ( ϑ E ( a ) + ( 1 ϑ ) E ( b ) ) E δ ( λ ϑ ) δ ( d ϑ ) δ = E δ ( λ ϑ ) δ g ( E ( a ) ) g ( E ( b ) ) ( E ( a ) E ( b ) ) δ λ δ δ δ 1 E ( a ) E ( b ) 2 δ 1 δ δ Γ ( 1 + δ ) E ( a ) E ( b ) g ( E ( x ) ) E δ 1 δ δ ( E ( b ) E ( x ) ) δ ( d E ( x ) ) δ = E δ ( λ ϑ ) δ g ( E ( a ) ) g ( E ( b ) ) ( E ( a ) E ( b ) ) δ 1 δ E ( a ) E ( b ) δ E ( a ) + δ g ( E ( b ) ) .
Similarly, we obtain
1 Γ ( 1 + δ ) 0 1 E δ ( λ ( 1 ϑ ) ) δ g ( δ ) ( ϑ E ( a ) + ( 1 ϑ ) E ( b ) ) ( d ϑ ) δ = g ( E ( a ) ) E δ ( λ ϑ ) δ g ( E ( b ) ) ( E ( a ) E ( b ) ) δ + 1 δ E ( b ) E ( a ) δ E ( b ) δ g ( E ( a ) ) .
By subtracting (21) from (20), we obtain
1 Γ ( 1 + δ ) 0 1 E δ ( λ ϑ ) δ g ( δ ) ( ϑ E ( a ) + ( 1 ϑ ) E ( b ) ) ( d ϑ ) δ 1 Γ ( 1 + δ ) 0 1 E δ ( λ ( 1 ϑ ) ) δ g ( δ ) ( ϑ E ( a ) + ( 1 ϑ ) E ( b ) ) ( d ϑ ) δ = [ 1 δ E δ ( λ ϑ ) δ ] [ g ( E ( a ) ) + g ( E ( b ) ) ] ( E ( b ) E ( a ) ) δ 1 δ E ( b ) E ( a ) δ [ E ( a ) + δ g ( E ( b ) ) + E ( b ) δ g ( E ( a ) ) ] .
The proof is completed. □
Theorem 4.
Let g : [ a , b ] R δ be a local fractional differentiable function on [ a , b ] . If g ( δ ) ( x ) I x ( δ ) [ a , b ] and g ( δ ) is generalized ( E , h )-convex on [ a , b ] , then we obtain
g ( E ( a ) ) + g ( E ( b ) ) 2 δ ( 1 δ ) δ 2 δ [ 1 δ E δ ( λ ) δ ] ( E ( a ) + δ g ( E ( b ) ) + E ( b ) δ g ( E ( a ) ) ) ( E ( b ) E ( a ) ) δ ( | g ( δ ) ( E ( a ) ) | + | g ( δ ) ( E ( b ) ) | ) 2 δ [ 1 δ E δ ( λ ) δ ] × 1 Γ ( 1 + δ ) 0 1 2 ( E δ ( λ ϑ ) δ E δ ( λ ( 1 ϑ ) ) δ ) ( h δ ( ϑ ) + h δ ( 1 ϑ ) ) ( d ϑ ) δ .
Proof. 
Since h is a positive function and g ( δ ) is generalized ( E , h )-convex on [ a , b ] , then by using Lemma 2, we have
g ( E ( a ) ) + g ( E ( b ) ) 2 δ ( 1 δ ) δ 2 δ [ 1 δ E δ ( λ ) δ ] ( E ( a ) + δ g ( E ( b ) ) + E ( b ) δ g ( E ( a ) ) ) ( E ( b ) E ( a ) ) δ 2 δ [ 1 δ E δ ( λ ) δ ] 1 Γ ( 1 + δ ) × 0 1 | E δ ( λ ϑ ) δ E δ ( λ ( 1 ϑ ) ) δ | | g ( δ ) ( ϑ E ( a ) + ( 1 ϑ ) E ( b ) ) | ( d ϑ ) δ ( E ( b ) E ( a ) ) δ 2 δ [ 1 δ E δ ( λ ) δ ] × 1 Γ ( 1 + δ ) 0 1 2 E δ ( λ ϑ ) δ E δ ( λ ( 1 ϑ ) ) δ h δ ( ϑ ) | g ( δ ) ( E ( a ) ) | + h δ ( 1 ϑ ) | g ( δ ) ( E ( b ) ) | ( d ϑ ) δ + 1 Γ ( 1 + δ ) 1 2 1 E δ ( λ ( 1 ϑ ) ) δ E δ ( λ ϑ ) δ h δ ( ϑ ) | g ( δ ) ( E ( a ) ) | + h δ ( 1 ϑ ) | g ( δ ) ( E ( b ) ) | ( d ϑ ) δ = ( E ( b ) E ( a ) ) δ 2 δ [ 1 δ E δ ( λ ) δ ] 1 Γ ( 1 + δ ) × 0 1 2 E δ ( λ ϑ ) δ E δ ( λ ( 1 ϑ ) ) δ h δ ( ϑ ) + h δ ( 1 ϑ ) | g ( δ ) ( E ( a ) ) | + | g ( δ ) ( E ( b ) ) | ( d ϑ ) δ = ( E ( b ) E ( a ) ) δ | g ( δ ) ( E ( a ) ) | + | g ( δ ) ( E ( b ) ) | 2 δ [ 1 δ E δ ( λ ) δ ] × 1 Γ ( 1 + δ ) 0 1 2 E δ ( λ ϑ ) δ E δ ( λ ( 1 ϑ ) ) δ h δ ( ϑ ) + h δ ( 1 ϑ ) ( d ϑ ) δ
This completes the proof. □
Remark 3.
  • For δ 1 , we have
    g ( E ( a ) ) + g ( E ( b ) ) 2 1 E ( b ) E ( a ) E ( a ) E ( b ) g ( x ) d x ( E ( b ) E ( a ) ) ( | g ( E ( a ) ) | + | g ( E ( b ) ) | ) 2 0 1 2 ( 1 2 ϑ ) ( h ( ϑ ) + h ( 1 ϑ ) ) d ϑ .
  • If E = I , then inequality (23) returns to inequality (3.17) in [23].
Corollary 2.
If h δ ( ϑ ) = ϑ δ in the last Theorem, we obtain
g ( E ( a ) ) + g ( E ( b ) ) 2 δ ( 1 δ ) δ 2 δ [ 1 δ E δ ( λ ) δ ] ( E ( a ) + δ g ( E ( b ) ) + E ( b ) δ g ( E ( a ) ) ) ( E ( b ) E ( a ) ) δ | ( | g ( δ ) ( E ( a ) ) | + | g ( δ ) ( E ( b ) ) | ) 2 δ λ δ tanh δ λ a δ .
Proof. 
If h δ ( ϑ ) = ϑ δ , by using E ( r ) δ + E ( s ) δ = ( E ( r ) + E ( s ) ) δ ,
1 Γ ( 1 + δ ) 0 1 2 ( E δ ( λ ϑ ) δ E δ ( λ ( 1 ϑ ) ) δ ) ( h δ ( ϑ ) + h δ ( 1 ϑ ) ) ( d ϑ ) δ = 1 Γ ( 1 + δ ) 0 1 2 ( E δ ( λ ϑ ) δ E δ ( λ ( 1 ϑ ) ) δ ) ( d ϑ ) δ = 1 δ 2 δ E δ ( λ 2 ) δ + E δ ( λ ) δ λ δ = ( 1 δ E δ ( λ 2 ) δ ) 2 λ δ .
Hence,
g ( E ( a ) ) + g ( E ( b ) ) 2 δ ( 1 δ ) δ 2 δ [ 1 δ E δ ( λ ) δ ] ( E ( a ) + δ g ( E ( b ) ) + E ( b ) δ g ( E ( a ) ) ) ( E ( b ) E ( a ) ) δ ( | g ( δ ) ( E ( a ) ) | + | g ( δ ) ( E ( b ) ) | ) 2 δ [ 1 δ E δ ( λ 2 ) δ ] [ 1 δ E δ ( λ 2 ) δ ] ( 1 δ E δ ( λ 2 ) δ ) 2 λ δ = ( E ( b ) E ( a ) ) δ ( | g ( δ ) ( E ( a ) ) | + | g ( δ ) ( E ( b ) ) | ) 2 δ λ δ ( 1 δ E δ ( λ 2 ) δ ) 2 ( 1 δ + E δ ( λ 2 ) δ ) = ( E ( b ) E ( a ) ) δ ( | g ( δ ) ( E ( a ) ) | + | g ( δ ) ( E ( b ) ) | ) 2 δ λ δ tanh δ ( λ 4 ) δ .
The proof is completed. □
Lemma 3.
Let us assume that g : [ a , b ] R δ is a twice local fractional differentiable function on [ a , b ] . If g ( 2 δ ) ( x ) I x ( δ ) [ a , b ] , we obtain
g ( E ( a ) ) + g ( E ( b ) ) 2 δ ( 1 δ ) δ 2 δ [ 1 δ E δ ( λ ) δ ] ( E ( a ) + δ g ( E ( b ) ) + E ( b ) δ g ( E ( a ) ) ) = ( E ( b ) E ( a ) ) 2 δ 2 δ λ δ [ 1 δ E δ ( λ ) δ ] 1 Γ ( 1 + δ ) 0 1 E δ ( λ ) δ + 1 δ E δ ( λ ϑ ) δ E δ ( λ ( 1 ϑ ) ) δ g ( 2 δ ) ( ϑ E ( a ) + ( 1 ϑ ) E ( b ) ) ( d ϑ ) δ .
Proof. 
Using local fractional integration by parts, then
1 Γ ( 1 + δ ) 0 1 E δ ( λ ϑ ) δ g ( δ ) ( ϑ E ( a ) + ( 1 ϑ ) E ( b ) ) ( d ϑ ) δ = ( 1 λ ) δ g ( δ ) ( ϑ E ( a ) + ( 1 ϑ ) E ( b ) ) E δ ( λ ϑ ) δ | 0 1 ( E ( a ) E ( b ) ) δ Γ ( 1 + δ ) 0 1 E δ ( λ ϑ ) δ g ( 2 δ ) ( ϑ E ( a ) + ( 1 ϑ ) E ( b ) ) ( d ϑ ) δ = ( 1 λ ) δ g ( δ ) ( E ( a ) ) E δ ( λ ) δ g ( δ ) ( E ( b ) ) ( E ( a ) E ( b ) ) δ Γ ( 1 + δ ) 0 1 E δ ( λ ϑ ) δ g ( 2 δ ) ( ϑ E ( a ) + ( 1 ϑ ) E ( b ) ) ( d ϑ ) δ .
Similarly, we have
1 Γ ( 1 + δ ) 0 1 E δ ( λ ( 1 ϑ ) ) δ g ( δ ) ( ϑ E ( a ) + ( 1 ϑ ) E ( b ) ) ( d ϑ ) δ = ( 1 λ ) δ g ( δ ) ( ϑ E ( a ) + ( 1 ϑ ) E ( b ) ) E δ ( λ ( 1 ϑ ) ) δ | 0 1 ( E ( a ) E ( b ) ) δ Γ ( 1 + δ ) 0 1 E δ ( λ ( 1 ϑ ) ) δ g ( 2 δ ) ( ϑ E ( a ) + ( 1 ϑ ) E ( b ) ) ( d ϑ ) δ = ( 1 λ ) δ g ( δ ) ( E ( a ) ) g ( δ ) ( E ( b ) ) E δ ( λ ) δ ( E ( a ) E ( b ) ) δ Γ ( 1 + δ ) 0 1 E δ ( λ ( 1 ϑ ) ) δ g ( 2 δ ) ( ϑ E ( a ) + ( 1 ϑ ) E ( b ) ) ( d ϑ ) δ .
By substituting (25) and (26) in (22), we obtain
g ( E ( a ) ) + g ( E ( b ) ) 2 δ ( 1 δ ) δ 2 δ [ 1 δ E δ ( λ ) δ ] ( E ( a ) + δ g ( E ( b ) ) + E ( b ) 1 δ g ( E ( a ) ) ) = ( E ( b ) E ( a ) ) δ 2 δ λ δ [ 1 δ E δ ( λ ) δ ] ( E δ ( λ ) δ + 1 δ ) ( g ( δ ) ( E ( a ) ) g ( δ ) ( E ( b ) ) ) f r a c ( E ( b ) E ( a ) ) δ Γ ( 1 + δ ) 0 1 [ E δ ( λ ϑ ) δ + E δ ( λ ( 1 ϑ ) ) δ ] g ( 2 δ ) ( ϑ E ( a ) + ( 1 ϑ ) E ( b ) ) ( d ϑ ) δ = ( E ( b ) E ( a ) ) 2 δ 2 δ λ δ [ 1 δ E δ ( λ ) δ ] 1 Γ ( 1 + δ ) 0 1 E δ ( λ ) δ + 1 δ E δ ( λ ϑ ) δ E δ ( λ ( 1 ϑ ) ) δ g ( 2 δ ) ( ϑ E ( a ) + ( 1 ϑ ) E ( b ) ) ( d ϑ ) δ .
This completes the proof. □
Theorem 5.
Let g : [ a , b ] R δ be a twice local fractional differentiable function on [ a , b ] . If g ( 2 δ ) ( x ) I x ( δ ) [ a , b ] and g ( 2 δ ) is generalized ( E , h )-convex on [ a , b ] , then we obtain
g ( E ( a ) ) + g ( E ( b ) ) 2 δ ( 1 δ ) δ 2 δ [ 1 δ E δ ( λ ) δ ] E ( a ) + δ g ( E ( b ) ) + E ( b ) δ g ( E ( a ) ) ( E ( b ) E ( a ) ) 2 δ 2 δ λ δ [ 1 δ E δ ( λ ) δ ] 1 Γ ( 1 + δ ) E δ ( λ ) δ + 1 δ 2 E δ λ 2 δ × | g ( 2 δ ) ( E ( a ) ) | 0 1 h δ ( ϑ ) ( d ϑ ) δ + | g ( 2 δ ) ( E ( b ) ) | 0 1 h δ ( 1 ϑ ) ( d ϑ ) δ .
Proof. 
If we consider the function Λ ( ϑ ) = E δ ( λ ) δ + 1 δ E δ ( λ ϑ ) δ E δ ( λ ( 1 ϑ ) ) δ , then from [20], we have:
  • Λ is non-negative on [ 0 , 1 ] .
  • Λ is increasing on [ 0 , 1 2 ) .
  • Λ is decreasing on ( 1 2 , 1 ] .
Then, function Λ reaches its maximum at ϑ = 1 2 .
Consequently, we get
g ( E ( a ) ) + g ( E ( b ) ) 2 δ ( 1 δ ) δ 2 δ [ 1 δ E δ ( λ ) δ ] ( E ( a ) + δ g ( E ( b ) ) + E ( b ) δ g ( E ( a ) ) ) ( E ( b ) E ( a ) ) 2 δ 2 δ λ δ [ 1 δ E δ ( λ ) δ ] 1 Γ ( 1 + δ ) × 0 1 E δ ( λ ) δ + 1 δ E δ ( λ ϑ ) δ E δ ( λ ( 1 ϑ ) ) δ g ( 2 δ ) ( ϑ E ( a ) + ( 1 ϑ ) E ( b ) ) ( d ϑ ) δ . ( E ( b ) E ( a ) ) 2 δ 2 δ λ δ [ 1 δ E δ ( λ ) δ ] 1 Γ ( 1 + δ ) × 0 1 E δ ( λ ) δ + 1 δ 2 E δ λ 2 δ g ( 2 δ ) ( ϑ E ( a ) + ( 1 ϑ ) E ( b ) ) ( d ϑ ) δ .
Now, since h is a positive function and g ( 2 δ ) is generalized ( E , h )-convex on [ a , b ] , then by using Lemma 3, we have
g ( E ( a ) ) + g ( E ( b ) ) 2 δ ( 1 δ ) δ 2 δ [ 1 δ E δ ( λ ) δ ] ( E ( a ) + δ g ( E ( b ) ) + E ( b ) δ g ( E ( a ) ) ) ( E ( b ) E ( a ) ) 2 δ 2 δ λ δ [ 1 δ E δ ( λ ) δ ] 1 Γ ( 1 + δ ) E δ ( λ ) δ + 1 δ 2 E δ λ 2 δ × 0 1 h δ ( ϑ ) | g ( 2 δ ) ( E ( a ) ) | + h δ ( 1 ϑ ) | g ( 2 δ ) ( E ( b ) ) | ( d ϑ ) δ . = ( E ( b ) E ( a ) ) 2 δ 2 δ λ δ [ 1 δ E δ ( λ ) δ ] 1 Γ ( 1 + δ ) E δ ( λ ) δ + 1 δ 2 E δ λ 2 δ × | g ( 2 δ ) ( E ( a ) ) | 0 1 h δ ( ϑ ) ( d ϑ ) δ + | g ( 2 δ ) ( E ( b ) ) | 0 1 h δ ( 1 ϑ ) ( d ϑ ) δ .
This completes the proof. □

3. Application Examples

In this section, we provide examples to illustrate the application of results in the previous section.
Example 3.
Let 0 < a < b ; we can obtain the following inequalities:
1 δ E δ ( λ ) δ 2 2 δ λ δ a + b 3 δ δ b a δ a + δ b 3 δ + b δ a 3 δ a 3 δ + b 3 δ 1 δ E δ ( λ ) δ λ δ .
Proof. 
By taking g ( x ) = x 3 δ , x ( 0 , ) , since g is a generalized ( E , h ) -convex function for E ( x ) = x and h ( x ) = x , and by applying Theorem 3, inequalities (27) are obtained. □
Example 4.
Let 0 < a < b ; we can obtain the following inequalities:
( λ + 1 ) ( a λ b a b λ ) + ( λ 1 ) ( b λ + 1 a λ + 1 ) ( λ + 1 ) ( b a ) λ ( b a ) a λ 1 + b λ 1 1 + 2 k k 2 k ( k + 1 ) ( k + 2 ) .
Proof. 
By taking g ( x ) = x λ , x 0 , λ R , h ( x ) = x k , k R and E = I , g is a classical h-convex function. So, according to the result in Remark 3, we obtain inequalities (28). □

4. Conclusions

In this paper, new generalized Hermite–Hadamard-type inequalities related to local fractional integral operators involving Mittag–Leffler kernel are established for the class of ( E , h ) -convex functions on fractal sets. Then, some new trapezium-type inequalities are derived from two new identities using local fractional integrals involving first-order and second-order derivatives.

Author Contributions

Methodology, W.S., A.L. and O.A.; Validation, A.K.; Investigation, W.S. and O.A.; Writing—original draft, W.S.; Writing—review and editing, A.L. and A.K.; Supervision, A.K. All authors have read and agreed to the published version of the manuscript.

Funding

The research was not supported by any external funding sources.

Data Availability Statement

This study did not involve the collection or production of any underlying data.

Acknowledgments

The authors express their gratitude to the editor and the reviewers for their valuable and constructive feedback on this work.

Conflicts of Interest

The authors state that they have no conflict of interest to declare.

References

  1. Hadamard, J. Etude sur les propriétés des fonctions entières et en particulier d’une fonction considérée par Riemann. J. Math Pures Appl. 1893, 58, 171–215. [Google Scholar]
  2. VaroŠanec, S. On h-convexity. J. Math. Anal. Appl. 2007, 326, 303–311. [Google Scholar] [CrossRef]
  3. Angulo, H.; Gimenez, J.; Moros, A.M.; Nikodem, K. On strongly h-convex functions. Ann. Funct. Anal. 2011, 2, 85–91. [Google Scholar] [CrossRef]
  4. Zhao, T.; Saleem, M.S.; Nazeer, W.; Bashir, I.; Hussain, I. On generalized strongly modified h-convex functions. J. Inequalities Appl. 2020, 1, 1–12. [Google Scholar] [CrossRef]
  5. Sarikaya, M.Z.; Saglam, A.; Yildirim, H. On Some Hadamard-Type Inequalities for h-Convex Functions. J. Math. Inequalities 2008, 2, 335–341. [Google Scholar] [CrossRef]
  6. Youness, E.A. E-convex sets, E-convex functions, and E-convex programming. J. Optim. Theory Appl. 1999, 102, 439–450. [Google Scholar] [CrossRef]
  7. Latif, A.; Hussain, R. New Hadamard-type inequalities for E-convex functions involving generalized fractional integrals. J. Inequalities Appl. 2022, 1, 1–18. [Google Scholar] [CrossRef]
  8. Edgar, G.A. Integral, Probability, and Fractal Measures; Springer: New York, NY, USA, 1988. [Google Scholar]
  9. Kolwankar, K.M.; Gangal, A.D. Local fractional calculus: A calculus for fractal space-time. In Fractals; Springer: London, UK, 1999; pp. 171–181. [Google Scholar]
  10. Meftah, B.; Lakhdari, A.; Saleh, W.; Kiliçman, A. Some New Fractal Milne-Type Integral Inequalities via Generalized Convexity with Applications. Fractal. Fract. 2023, 7, 166. [Google Scholar] [CrossRef]
  11. Lakhdari, A.; Saleh, W.; Meftah, B.; Iqbal, A. Corrected Dual-Simpson-Type Inequalities for Differentiable Generalized Convex Functions on Fractal Set. Fractal Fract. 2022, 6, 710. [Google Scholar] [CrossRef]
  12. Almutairi, O.; Kılıçman, A. Generalized Fejer-Hermite-Hadamard type via generalized (hm)-convexity on fractal sets and applications. Chaos Solitons Fractals 2021, 147, 110938. [Google Scholar] [CrossRef]
  13. Baleanu, D.; Srivastava, H.M.; Yang, X.J. Local fractional variational iteration algorithms for the parabolic FokkerPlanck equation defined on Cantor sets. Prog. Fract. Differ. Appl. 2015, 1, 1–11. [Google Scholar]
  14. Bernstein, F.; Doetsch, G. Zur Theorie der Konvexen Funktionen. Math. Ann. 1915, 76, 514–526. [Google Scholar] [CrossRef]
  15. Du, T.S.; Wang, H.; Khan, M.A.; Zhang, Y. Certain Integral Inequalities Considering Generalized m-Convexity on Fractal Sets and Their Applications. Fractals 2019, 27, 1950117. [Google Scholar] [CrossRef]
  16. Fernandez, A.; Pshtiwan, M. Hermite-Hadamard inequalities in fractional calculus defined using Mittag-Leffler kernels. Math. Methods Appl. Sci. 2021, 44, 8414–8431. [Google Scholar] [CrossRef]
  17. Hudzik, H.; Maligranda, L. Some Remarks on s-convex functions. Aequ. Math. 1994, 48, 100–111. [Google Scholar] [CrossRef]
  18. Sarikaya, M.Z.; Tuba, T.; Budak, H. On generalized some integral inequalities for local fractional integrals. Appl. Math. Comput. 2016, 276, 316–323. [Google Scholar] [CrossRef]
  19. Yang, X.J.; Baleanu, D.; Srivastava, H.M. Local fractional similarity solution for the diffusion equation defined on Cantor sets. Appl. Math. Lett. 2015, 47, 54–60. [Google Scholar] [CrossRef]
  20. Yang, X.-J. Advanced Local Fractional Calculus and Its Applications; World Science Publisher: New York, NY, USA, 2012. [Google Scholar]
  21. Yang, X.J.; Baleanu, D.; Srivastava, H.M. Local Fractional Integral Transforms and Their Applications; Elsevier Science Publishers: Amsterdam, The Netherlands, 2016. [Google Scholar]
  22. Sun, W. Generalized h-convexity on fractal sets and some generalized Hadamard type inequalities. Fractals 2020, 28, 205002. [Google Scholar] [CrossRef]
  23. Sun, W. Some new inequalities for generalized h-convex functions involving local fractional integral operators with Mittag-Leffler kernel. Math. Methods Appl. Sci. 2021, 44, 4985–4998. [Google Scholar] [CrossRef]
  24. Kilicman, A.; Saleh, W. Generalized convex functions and their applications. In Mathematical Analysis and Applications; Springer: Berlin, Germany, 2018; pp. 77–99. [Google Scholar]
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

Saleh, W.; Lakhdari, A.; Almutairi, O.; Kiliçman, A. Some Remarks on Local Fractional Integral Inequalities Involving Mittag–Leffler Kernel Using Generalized (E, h)-Convexity. Mathematics 2023, 11, 1373. https://doi.org/10.3390/math11061373

AMA Style

Saleh W, Lakhdari A, Almutairi O, Kiliçman A. Some Remarks on Local Fractional Integral Inequalities Involving Mittag–Leffler Kernel Using Generalized (E, h)-Convexity. Mathematics. 2023; 11(6):1373. https://doi.org/10.3390/math11061373

Chicago/Turabian Style

Saleh, Wedad, Abdelghani Lakhdari, Ohud Almutairi, and Adem Kiliçman. 2023. "Some Remarks on Local Fractional Integral Inequalities Involving Mittag–Leffler Kernel Using Generalized (E, h)-Convexity" Mathematics 11, no. 6: 1373. https://doi.org/10.3390/math11061373

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop