Next Article in Journal
The Axioms in My Understanding from Many Years of Experience
Next Article in Special Issue
The Approximate and Analytic Solutions of the Time-Fractional Intermediate Diffusion Wave Equation Associated with the Fokker–Planck Operator and Applications
Previous Article in Journal / Special Issue
Sequential Riemann–Liouville and Hadamard–Caputo Fractional Differential Systems with Nonlocal Coupled Fractional Integral Boundary Conditions
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Some New Fractional Estimates of Inequalities for LR-p-Convex Interval-Valued Functions by Means of Pseudo Order Relation

by
Muhammad Bilal Khan
1,
Pshtiwan Othman Mohammed
2,*,
Muhammad Aslam Noor
1,
Dumitru Baleanu
3,4,5,* and
Juan Luis García Guirao
6,7
1
Department of Mathematics, COMSATS University Islamabad, Islamabad 44000, Pakistan
2
Department of Mathematics, College of Education, University of Sulaimani, Sulaimani 46001, Kurdistan Region, Iraq
3
Department of Mathematics, Faculty of Arts and Sciences, Cankaya University, 06530 Ankara, Turkey
4
Department of Medical Research, China Medical University Hospital, China Medical University, Taichung 40402, Taiwan
5
Institute of Space Sciences, P.O. Box MG-23, R 76900 Magurele-Bucharest, Romania
6
Departamento de Matemática Aplicada y Estadística, Campus de la Muralla, Universidad Politécnica de Cartagena, 30203 Cartagena, Murcia, Spain
7
Nonlinear Analysis and Applied Mathematics (NAAM)-Research Group, Department of Mathematics, Faculty of Science, King Abdulaziz University, P.O. Box 80203, Jeddah 21589, Saudi Arabia
*
Authors to whom correspondence should be addressed.
Axioms 2021, 10(3), 175; https://doi.org/10.3390/axioms10030175
Submission received: 28 June 2021 / Revised: 18 July 2021 / Accepted: 23 July 2021 / Published: 31 July 2021
(This article belongs to the Special Issue Fractional Calculus - Theory and Applications)

Abstract

:
It is a familiar fact that interval analysis provides tools to deal with data uncertainty. In general, interval analysis is typically used to deal with the models whose data are composed of inaccuracies that may occur from certain kinds of measurements. In interval analysis, both the inclusion relation ( ) and pseudo order relation ( p ) are two different concepts. In this article, by using pseudo order relation, we introduce the new class of nonconvex functions known as LR- p -convex interval-valued functions (LR- p -convex-IVFs). With the help of this relation, we establish a strong relationship between LR- p -convex-IVFs and Hermite-Hadamard type inequalities (HH-type inequalities) via Katugampola fractional integral operator. Moreover, we have shown that our results include a wide class of new and known inequalities for LR- p -convex-IVFs and their variant forms as special cases. Useful examples that demonstrate the applicability of the theory proposed in this study are given. The concepts and techniques of this paper may be a starting point for further research in this area.

1. Introduction

Hermite [1] and Hadamard [2] derived the familiar inequality known as Hermite-Hadamard inequality (HH inequality). This inequality establishes a strong relationship with a convex function such that:
Let f : I be a convex function defined on an interval I and u , ν I such that ν > u . Then
f ( u + ν 2 ) 1 ν u u ν f ( x ) d x f ( u ) + f ( ν ) 2
If f is a concave function, then both inequalities are reversed. We note that HH-inequality may be regarded as a refinement of the concept of convexity and it follows easily from Jensen’s inequality. In the last few decades, HH-inequality has attracted many authors to devote themselves to this field. Therefore, many authors have proposed different varieties of convexities to introduce HH-type inequalities such as harmonic convexity [3], quasi convexity [4], Schur convexity [5,6], strong convexity [7,8], h-convexity [9], p-convexity [10], fuzzy convexity [11,12], fuzzy pre-invexity [13] and generalized convexity [14], P-convexity [15], etc. Fejér [16] considered the major generalization of HH-inequality which is known as HH-Fejér inequality. It can be expressed as follows:
Let f : [ u ,   ν ] be a convex function on an interval [ u ,   ν ] with u   ν   , and let W : [ u ,   ν ] with W 0 be an integrable and symmetric function with respect to u + ν 2 . Then, we have the following inequality:
f ( u + ν 2 ) u ν W ( x ) d x   u ν f ( x ) W ( x ) d x f ( u ) + f ( ν ) 2 u ν W ( x ) d x
If f is concave, then the double inequality (2) is reversed. If W ( x ) = 1 , then we obtain (1) from (2). With the assistance of inequality (2), several classical inequalities can be obtained through special convex functions. In addition, these inequalities have a very significant role for convex functions in both pure and applied mathematics. We urge the readers for a further analysis of the literature on the applications and properties of generalized convex functions and HH-integral inequalities, see [17,18,19] and the references therein.
On the other hand, it is a well-known fact that the interval-valued analysis was introduced as an attempt to overcome interval uncertainty, which occurs in the computer or mathematical models of some deterministic real-word phenomena. A classic example of an interval closure is Archimedes’ technique, which is associated with the computation of the circumference of a circle. In 1966, Moore [20] gave the concept of interval analysis in his book and discussed its applications in computational Mathematics.
After that, several authors have developed a strong relationship between inequalities and IVFs by means of inclusion relation via different integral operators, as one can see by Costa [21], Costa and Roman-Flores [22], Roman-Flores et al. [23,24], and Chalco-Cano et al. [25,26], but also to more general set-valued maps by Nikodem et al. [27], and Matkowski and Nikodem [28]. In particular, Zhang et al. [29] derived the new version of Jensen’s inequalities for set-valued and fuzzy set-valued functions by means of a pseudo order relation and proved that these Jensen’s inequalities generalized a form of Costa Jensen’s inequalities [21].
In the last two decades, in the development of pure and applied mathematics, fractional calculus has played a key role. Yet, it attains magnificent deliberation in the ongoing research work, which is due to its application in various directions such as image processing, signal processing, physics, biology, control theory, computer networking, and fluid dynamics [30,31,32,33].
As a further extension, several authors have introduced the refinements of classical inequalities through fractional integrals and discussed their applications, such as Budak et al. [34], who established a strong relationship between fractional interval HH-inequality and convex-IVF.
Through Katugampola fractional integral [35], Toplu et al. [36] established the following HH-inequality for p-convex functions:
Let f be a real-valued Lebesgue integrable function and p , α > 0 . If f S X ( [ u ,   ν ] ,   + ,   p ) , then
f ( [ u p + ν p 2 ] 1 p ) p α Γ ( α + 1 ) 2 ( ν p u p ) α [ u + p , α   f ( ν ) + ν p , α   f ( u ) ]   f ( u ) + f ( ν ) 2 .
Due to the vast applications of convexity and fractional HH-inequality in mathematical analysis and optimization, many authors have discussed the applications, refinements, generalizations, and extensions, see [37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56] and the references therein.
Inspired by the ongoing research work, we generalize the class of p-convex function known as LR- p -convex-IVF, and establish the relationship between HH-type inequalities and LR- p -convex-IVF via Katugampola fractional integral.

2. Preliminaries

Let be the set of real numbers and I be the collection of all closed and bounded intervals of that is I = { [ ξ _ ,   ξ ¯ ] : ξ _ ,   ξ ¯   and   ξ _   ξ ¯ } . If ξ _ 0 , then [ ξ _ ,   ξ ¯ ] is called positive interval. The set of all positive intervals is denoted by I + and defined as
I + = { [ ξ _ ,   ξ ¯ ] : [ ξ _ ,   ξ ¯ ] I   and   ξ _ 0 } .
Let ϱ and ϱ ξ be defined as
ϱ ξ = { [ ϱ ξ _ , ϱ ξ ¯ ] ,   ϱ > 0 , { 0 } ,   ϱ = 0 , [ ϱ ξ ¯ , ϱ ξ _ ] ,   ϱ < 0 .  
Then, the addition ξ 1 + ξ 2 and Minkowski difference ξ 1 ξ 2 for ξ 1 , ξ 2 I are defined by
ξ 1 + ξ 2 = [   ξ _   1 ,   ξ ¯ 1 ] + [   ξ _   2 ,   ξ ¯ 2 ] = [   ξ _   1 + ξ _   2   , ξ ¯ 1 + ξ ¯ 2   ]
and
ξ 1 ξ 2 = [   ξ _   1 ,   ξ ¯ 1 ] [   ξ _   2 ,   ξ ¯ 2 ] = [   ξ _   1 ξ ¯ 2   , ξ ¯ 1 ξ _   2   ]
respectively.
The inclusion relation “ ” means that
ξ 2 ξ 1     [   ξ _   2 , ξ ¯ 2 ] [   ξ _   1 ,   ξ ¯ 1 ]     [   ξ _   1   ξ _   2   , ξ ¯ 2 ξ ¯ 1   ]
Remark 1. 
([29]). (i) The relation p defined on I by
[ ξ _ ,   ξ ¯ ] p [ ζ _ ,   ζ ¯ ]   if   and   only   if   ξ _ ζ _ ,   ξ ¯ ζ ¯ ,
for all [ ξ _ ,   ξ ¯ ] ,   [ ζ _ ,   ζ ¯ ] I is a pseudo order relation. In the interval analysis case, both the pseudo order relation ( p ) and partial order relation ( ) behave alike, thus the relation [ ξ _ ,   ξ ¯ ] p [ ζ _ ,   ζ ¯ ] is coincident to [ ξ _ ,   ξ ¯ ] [ ζ _ ,   ζ ¯ ] on I , for more details see, [21,29].
(ii) It can be easily seen that p looks similar to “left and right” on the real line , so we call p is “left and right” (or “LR” order, in short).
The concept of Riemann integral for IVF first introduced by Moore [20] is defined as follows:
Theorem 1. 
([20]). Let f : [ u , ν ] I is an IVF such that f ( x ) = [ f _ ( x ) ,   f ¯ ( x ) ] . Then, f is Riemann integrable over [ u , ν ] if and only if, f _ and f ¯ both are Riemann integrable over [ u , ν ] such that
( I R ) u ν f ( x ) d x = [ ( R ) u ν f _ ( x ) d x ,   ( R ) u ν f ¯ ( x ) d x ]
Now, we discuss the concept of Katugampola fractional integral operator for IVF.
Let q 1 ,   c and x c q ( u , ν ) be the set of all complex-valued Lebesgue integrable IVFs f on [ u , ν ] for which the norm f X c q is defined by
f X c q = ( u ν | ϱ c f ( x ) | q d ϱ ϱ ) 1 q <
For 1 q < and
f X c = e s s sup u ϱ ν ϱ c | f ( ϱ ) |
Katugampola [35] presented a new fractional integral to generalize the Riemann Liouville and Hadamard fractional integrals under certain conditions.
Let p , α > 0 and f [ u , ν ] be the collection of all complex-valued Lebesgue integrable IVFs on [ u , ν ] . Then, the interval left and right Katugampola fractional integrals of f   [ u , ν ] with order are defined by
u + p , α   f ( x ) = p 1 α Γ ( α ) u x ( x p ζ p ) α 1 ζ p 1 f ( ζ ) d ( ζ )   ( x > u ) ,
and
ν p , α   f ( x ) = p 1 α Γ ( α ) x ν ( ζ p x p ) α 1 ζ p 1 f ( ζ ) d ( ζ )   ( x < ν )
respectively, where Γ ( x ) = 0 ζ x 1 u ζ d ( ζ ) is the Euler gamma function.
The concept of p -convex functions were established by Zhang and Wang [10], and a number of properties of the functions were introduced.
Definition 1. 
([54]). Let p with p 0 . Then, the interval I is said to be p -convex if
[ ϱ x p + ( 1 ϱ ) y p ] 1 p I ,
for all x ,   y I ,   ϱ [ 0 ,   1 ] , where p = 2 n + 1 and n N or p is an odd number.
Definition 2. 
([10]). Let p with p 0 and I = [ u ,   ν ] . Then, the function f : [ u ,   ν ] + is said to be p -convex function if
f ( [ ϱ x p + ( 1 ϱ ) y p ] 1 p ) ϱ f ( x ) + ( 1 ϱ ) f ( y ) ,
for all   x ,   y [ u ,   ν ] ,   ϱ [ 0 ,   1 ] . If the inequality (13) is reversed, then f is called p -concave function. The set of all p -convex (LR- p -concave, LR- p -affine) functions is denoted by
S X ( [ u ,   ν ] ,   + ,   p ) ( S V ( [ u ,   ν ] ,   + ,   p ) , ) .
Firstly, we introduce the new class of LR- p -convex-IVF.

3. LR- p -Convex Interval-Valued Functions

Now, we introduce LR- p -convex interval-valued functions.
Definition 3. 
The IVF f : [ u ,   ν ] I + is said to be LR- p -convex-IVF if for all x ,   y [ u ,   ν ] and ϱ [ 0 ,   1 ] we have
f ( [ ϱ x p + ( 1 ϱ ) y p ] 1 p   ) p ϱ f ( x ) + ( 1 ϱ ) f ( y ) .
If inequality (14) is reversed, then f is said to be LR- p -concave on [ u ,   ν ] . The set of all LR- p -convex (LR- p -concave) IVFs is denoted by
L R S X ( [ u ,   ν ] ,   I + ,   p ) ( L R S V ( [ u ,   ν ] ,   I + ,   p ) , ) .
Remark 2. 
If p = 1 , then LR- p -convex-IVF reduces to LR-convex-IVF, see [24].
If p = 1 , then we obtain the class of harmonically convex functions, which is also a new one.
The next Theorem 2 establishes the relationship between Definition 3 and end point functions of IVFs.
Theorem 2. 
Let f : [ u ,   ν ] I + be an IVF defined by f ( x ) = [ f _ ( x ) ,   f ¯ ( x ) ] , for all x [ u ,   ν ] . Then, f L R S X ( [ u ,   ν ] ,   I + ,   p ) if and only if, f _ ,   f ¯ S X ( [ u ,   ν ] ,   + ,   p ) .
Proof. 
Assume that f _ ,   f ¯ S X ( [ u ,   ν ] ,   + ,   p ) . Then, for all x , y [ u ,   ν ] ,   ϱ [ 0 ,   1 ] , we have
f _ ( [ ϱ x p + ( 1 ϱ ) y p ] 1 p )   ϱ f _ ( x ) + ( 1 ϱ ) f _ ( y )
and
f ¯ ( [ ϱ x p + ( 1 ϱ ) y p ] 1 p ) ϱ f ¯ ( x ) + ( 1 ϱ ) f ¯ ( y )
From Definition 3 and order relation p , we have
[ f _ ( [ ϱ x p + ( 1 ϱ ) y p ] 1 p ) ,   f ¯ ( [ ϱ x p + ( 1 ϱ ) y p ] 1 p ) ] p [ ϱ f _ ( x ) + ( 1 ϱ ) f _ ( y ) ,   ϱ f ¯ ( x ) + ( 1 ϱ ) f ¯ ( y ) ] = ϱ [ f _ ( x ) ,   f ¯ ( x ) ] + ( 1 ϱ ) [ f _ ( y ) ,   f ¯ ( y ) ]
That is
f ( [ ϱ x p + ( 1 ϱ ) y p ] 1 p ) p ϱ f ( x ) + ( 1 ϱ ) f ( y ) ,   x , y [ u ,   ν ] ,   ϱ [ 0 ,   1 ] .
Hence, f L R S X ( [ u ,   ν ] ,   I + ,   p ) .
Conversely, let f L R S X ( [ u ,   ν ] ,   I + ,   p ) . Then, for all x , y [ u ,   ν ] and ϱ [ 0 ,   1 ] , we have
f ( [ ϱ x p + ( 1 ϱ ) y p ] 1 p ) p ϱ f ( x ) + ( 1 ϱ ) f ( y ) .
That is
[ f _ ( [ ϱ x p + ( 1 ϱ ) y p ] 1 p ) ,   f ¯ ( [ ϱ x p + ( 1 ϱ ) y p ] 1 p ) ] p ϱ [ f _ ( x ) ,   f ¯ ( x ) ] + ( 1 ϱ ) [ f _ ( y ) ,   f ¯ ( y ) ] = [ ϱ f _ ( x ) + ( 1 ϱ ) f _ ( y ) ,   ϱ f ¯ ( x ) + ( 1 ϱ ) f ¯ ( y ) ]
It follows that
f _ ( [ ϱ x p + ( 1 ϱ ) y p ] 1 p ) ϱ f _ ( x ) + ( 1 ϱ ) f _ ( y ) ,
and
f ¯ ( [ ϱ x p + ( 1 ϱ ) y p ] 1 p ) ϱ f ¯ ( x ) + ( 1 ϱ ) f ¯ ( y ) ,
Hence, the result follows. □
Remark 3. 
If f _ ( x ) = f ¯ ( x ) , then p -convex-IVF reduces to the classical p -convex function, see [10].
If f _ ( x ) = f ¯ ( x ) with γ = 1 and p = 1 , then p -convex-IVF reduces to the classical convex function.
Example 1. 
Let p be an odd number, α = 1 2 ,   x [ 2 , 3 ] and f ( x ) = [ x p 2 , 2 x p 2 ] . Then, we clearly see that both end point functions f _ ( x ) = x p 2 and f ¯ ( x ) = 2 x p 2 are p -convex functions. Hence, f L R S X ( [ u ,   ν ] ,   I + ,   p ) .

Fractional Hermite-Hadamard Type Inequalities

In this section, we will prove some new Hermite-Hadamard type inequalities for LR- p -convex-IVFs by means of the pseudo order relation via Katugampola fractional integral operator.
Theorem 3. 
Let p ,   α > 0 , u , ν I such that ν > u ,   f ( [ u , ν ] ) . If f L R S X ( [ u ,   ν ] ,   I + ,   p ) , then
f ( [ u p + ν p 2 ] 1 p ) p p α Γ ( α + 1 ) 2 ( ν p u p ) α [ u + p , α   f ( ν ) + ν p , α   f ( u ) ] p   f ( u ) + f ( ν ) 2 .
If f L R S V ( [ u ,   ν ] ,   I + ,   p ) ( [ u ,   ν ] ,   I + ,   p ) , then
f ( [ u p + ν p 2 ] 1 p ) p p α Γ ( α + 1 ) 2 ( ν p u p ) α [ u + p , α   f ( ν ) + ν p , α   f ( u ) ] p   f ( u ) + f ( ν ) 2 .
Proof. 
Let f L R S X ( [ u ,   ν ] ,   I + ,   p ) . Then, by hypothesis, we have
2 f ( [ u p + ν p 2 ] 1 p ) p f ( [ ϱ u p + ( 1 ϱ ) ν p ] 1 p ) + f ( [ ( 1 ϱ ) u p + ϱ ν p ] 1 p )
Multiplying both sides (17) by ϱ α 1 and integrating the obtained result with respect to ϱ over ( 0 , 1 ) , we have
2 0 1 ϱ α 1   f ( [ u p + ν p 2 ] 1 p ) d ϱ p 0 1 ϱ α 1 [ f ( [ ϱ u p + ( 1 ϱ ) ν p ] 1 p ) + f ( [ ( 1 ϱ ) u p + ϱ ν p ] 1 p ) ]   d ϱ
From (18), we get
2 0 1 ϱ α 1   f ( [ u p + ν p 2 ] 1 p ) d ϱ = 2 [ 0 1 ϱ α 1 f _ ( [ u p + ν p 2 ] 1 p ) d ϱ , 0 1 ϱ α 1 f ¯ ( [ u p + ν p 2 ] 1 p ) d ϱ ] = 2 [ 1 α f _ ( [ u p + ν p 2 ] 1 p ) , 1 α f ¯ ( [ u p + ν p 2 ] 1 p ) ] = 2 1 α   f ( [ u p + ν p 2 ] 1 p ) .
and
0 1 ϱ α 1 [ f ( [ ϱ u p + ( 1 ϱ ) ν p ] 1 p ) + f ( [ ( 1 ϱ ) u p + ϱ ν p ] 1 p ) ]   d ϱ = 0 1 ϱ α 1 [ f _ ( [ ϱ u p + ( 1 ϱ ) ν p ] 1 p ) ,   f _ ( [ ϱ u p + ( 1 ϱ ) ν p ] 1 p ) ] d ϱ + 0 1 ϱ α 1 [ f _ ( [ ( 1 ϱ ) u p + ϱ ν p ] 1 p ) ,   f _ ( [ ( 1 ϱ ) u p + ϱ ν p ] 1 p ) ] d ϱ
Let ϱ [ 0 , 1 ] , x p = ϱ u p + ( 1 ϱ ) ν p and y p = ( 1 ϱ ) u p + ϱ ν p . Then, we have
= p ( ν p u p ) α [ u ν ( ν p y p ) α 1 f _ ( y ) y 1 p d y , u ν ( ν p y p ) α 1 f ¯ ( y ) y 1 p d y ] + p ( ν p u p ) α [ u ν ( x p u p ) α 1 f _ ( x ) x 1 p d x , u ν ( x p u p ) α 1 f ¯ ( x ) x 1 p d x ] ,   = p ( ν p u p ) α [ u ν ( ν p u p ) α 1 f ( y ) y 1 p d y , u ν ( x p u p ) α 1 f ( x ) x 1 p d x ] ,   p p α Γ ( α ) ( ν p u p ) α [ u + p , α   f ( ν ) + ν p , α   f ( u ) ] .
Since f L R S X ( [ u ,   ν ] ,   I + ,   p ) , we obtain
f ( [ ϱ u p + ( 1 ϱ ) ν p ] 1 p ) p ϱ f ( u ) + ( 1 ϱ ) f ( ν )
and
f ( [ ϱ ν p + ( 1 ϱ ) u p ] 1 p ) p ϱ f ( ν ) + ( 1 ϱ ) f ( u )
Adding (21) and (22), we get
f ( [ ϱ u p + ( 1 ϱ ) ν p ] 1 p ) + f ( [ ϱ ν p + ( 1 ϱ ) u p ] 1 p ) p f ( u ) + f ( ν )
Multiplying both sides (23) by ϱ α 1 and integrating both sides of the obtained result with respect to ϱ over (0, 1), we get
p α Γ ( α ) ( ν p u p ) α [ u + p , α   f ( ν ) + ν p , α   f ( u ) ] p f ( u ) + f ( ν ) α
From (20) and (24), (19) becomes
f ( [ u p + ν p 2 ] 1 p ) p p α Γ ( α + 1 ) 2 ( ν p u p ) α [ u + p , α   f ( ν ) + ν p , α   f ( u ) ] p   f ( u ) + f ( ν ) 2 ,
and the theorem has been proved. □
Remark 4. 
Let p = 1 . Then, Theorem 3 reduces to the result for LR-convex-IVF, which is also a new one:
f ( u + ν 2 ) p Γ ( α + 1 ) 2 ( ν u ) α   [ u + α   f ( ν ) + ν α   f ( u ) ] p   f ( u ) + f ( ν ) 2 .
If α = 1 , then Theorem 3 reduces to the result for LR- p -convex-IVF, which is also a new one:
  f ( [ u p + ν p 2 ] 1 p ) p p ν p u p   ( I R ) u ν x p 1 f ( x ) d x p f ( u ) + f ( ν ) 2
Let p = α = 1 . Then, Theorem 3 reduces to the result for LR- p -convex-IVF, which is also a new one:
f ( u + ν 2 ) p 1 ν u   ( I R ) u ν f ( x ) d x p f ( u ) + f ( ν ) 2
If f _ = f ¯ , then we get inequality (13) from Theorem 3.
If p = 1 and f _ = f ¯ , then from Theorem 3, we obtain fractional HH-inequality for convex function, see [41]:
f ( u + ν 2 ) Γ ( α + 1 ) 2 ( ν u ) α [ u + α   f ( ν ) + ν α   f ( u ) ] f ( u ) + f ( ν ) 2 .
If α = 1 , and f _ = f ¯ , then Theorem 3 reduces to the result for LR- p -convex-IVF, see [10]:
  f ( [ u p + ν p 2 ] 1 p ) p ν p u p   u ν x p 1 f ( x ) d x f ( u ) + f ( ν ) 2
If α = p = 1 and f _ = f ¯ , then we obtain the classical inequality (1) from Theorem 3.
Example 2. 
Let p be an odd number, α = 1 2 ,   x [ 2 , 3 ] and f ( x ) = [ 2 x p 2 , 2 ( 2 x p 2 ) ] . Then, we clearly see that f ( [ u , ν ] ) and f L R S X ( [ u ,   ν ] ,   I + ,   p ) . Since f _ ( x ) = 2 x p 2 and f ¯ ( x ) = 2 ( 2 x p 2 ) . Now, we compute the following:
f _ ( [ u p + ν p 2 ] 1 p ) = f _ ( 5 2 ) = 4 10 2
f _ ( [ u p + ν p 2 ] 1 p ) = f _ ( 5 2 ) = 4 10 ,
f ¯ ( u ) + f ¯ ( ν ) 2 = 2 2 3 2 ,
f ¯ ( u ) + f ¯ ( ν ) 2 = 4 2 3 .
Note that
p α Γ ( α + 1 ) 2 ( ν p u p ) α [ u + p , α   f _ ( ν ) + ν p , α   f _ ( u ) ] = Γ ( 3 2 ) 2 1 π 2 3 ( 3 p x p ) 1 2   x p 1   [ 2 x p 2 , 2 ( 2 x p 2 ) ] d x
+ Γ ( 3 2 ) 2 1 π 2 3 ( x p 2 p ) 1 2   x p 1   [ 2 x p 2 , 2 ( 2 x p 2 ) ] d x = 1 4 [ 7393 5000 + 9501 5000 ] = 8447 10 , 000
and
p α Γ ( α ) ( ν p u p ) α [ u + p , α   f ¯ ( ν ) + ν p , α   f ¯ ( u ) ] = Γ ( 3 2 ) 2 1 π 2 3 ( 3 p x p ) 1 2   x p 1   ( 2 x p 2 ) d x + Γ ( 3 2 ) 2 1 π 2 3 ( x p 2 p ) 1 2   x p 1   ( 2 x p 2 ) d x = 1 4 [ 7393 10 , 000 + 9501 10 , 000 ] = 8447 20 , 000 .
Therefore, we have
4 10 2 8447 20 , 000 2 2 + 3 2
4 10 8447 10 , 000 4 2 3
and Theorem 3 is verified.
The next Theorem 4 gives the HH-Fejér type inequality for LR- p -convex-IVFs.
Theorem 4. 
Let p , α > 0 ,   u , ν I with ν > u ,   f ( [ u , ν ] )   a n d   W ( x ) = W ( [ u p + ν p x p ] 1 p ) 0 for x I . If f L R S X ( [ u ,   ν ] ,   I + ,   p ) , then we have the HH-Fejér type inequality as follows:
f ( [ u p + ν p 2 ] 1 p ) [ u + p , α   W ( ν ) + ν p , α   W ( u ) ]   p   [ u + p , α   f W ( ν ) + ν p , α   f W ( u ) ] p f ( u ) + f ( ν ) 2 [ u + p , α   W ( ν ) + ν p , α   W ( u ) ] .
If f L R S V ( [ u ,   ν ] ,   I + ,   p ) , then
f ( [ u p + ν p 2 ] 1 p ) [ u + p , α   W ( ν ) + ν p , α   W ( u ) ]   p   [ u + p , α   f W ( ν ) + ν p , α   f W ( u ) ]
p f ( u ) + f ( ν ) 2 [ u + p , α   W ( ν ) + ν p , α   W ( u ) ] .
Proof. 
Since f L R S X ( [ u ,   ν ] ,   I + ,   p ) , then for ϱ [ 0 , 1 ] , we have
f ( [ u p + ν p 2 ] 1 p ) p 1 2 ( f ( [ ϱ u p + ( 1 ϱ ) ν p ] 1 p ) + f ( [ ( 1 ϱ ) u p + ϱ ν p ] 1 p ) ) .
Since W ( [ ϱ u p + ( 1 ϱ ) ν p ] 1 p ) = W ( [ ϱ ν p + ( 1 ϱ ) u p ] 1 p ) , then multiplying both sides of (27) by ϱ α 1 W ( [ ( 1 ϱ ) u p + ϱ ν p ] 1 p ) , and integrating it with respect to ϱ over [ 0 ,   1 ] , we have
2 0 1 ϱ α 1 f ( [ u p + ν p 2 ] 1 p ) W ( [ ( 1 ϱ ) u p + ϱ ν p ] 1 p ) d ϱ   p 0 1 ϱ α 1 f ( [ ϱ u p + ( 1 ϱ ) ν p ] 1 p ) W ( [ ( 1 ϱ ) u p + ϱ ν p ] 1 p ) d ϱ   + 0 1 ϱ α 1 f ( [ ( 1 ϱ ) u p + ϱ ν p ] 1 p ) W ( [ ( 1 ϱ ) u p + ϱ ν p ] 1 p ) d ϱ = 0 1 ϱ α 1 [ f _ ( [ ϱ u p + ( 1 ϱ ) ν p ] 1 p ) , f ¯ ( [ ( 1 ϱ ) u p + ϱ ν p ] 1 p ) ] × W ( [ ( 1 ϱ ) u p + ϱ ν p ] 1 p ) d ϱ + 0 1 ϱ α 1 [ f _ ( [ ( 1 ϱ ) u p + ϱ ν p ] 1 p ) , f ¯ ( [ ( 1 ϱ ) u p + ϱ ν p ] 1 p ) ] × W ( [ ( 1 ϱ ) u p + ϱ ν p ] 1 p ) d ϱ .
Let x p = ϱ ν p + ( 1 ϱ ) u p . Then, we have
2 p ( ν p u p ) α   f ( [ u p + ν p 2 ] 1 p ) u ν ( x p u p ) α 1   W ( x ) d x   p p ( ν p u p ) α u ν ( x p u p ) α 1 [ f _   ( [ u p ν p x p ] 1 p ) , f ¯   ( [ u p + ν p x p ] 1 p ) ] W ( x ) x p 1 d x   + u ν ( x p u p ) α 1 [ f _   ( x ) , f ¯ ( x ) ] W ( x ) x p 1 d x , = p ( ν p u p ) α u ν ( x p u p ) α 1 [ f _   ( x ) , f ¯   ( x ) ] W ( [ u p ν p x p ] 1 p ) x p 1 d x + u ν ( x p u p ) α 1 [ f _   ( x ) , f ¯ ( x ) ] W ( x ) x p 1 d x , = p ( ν p u p ) α u ν ( x p u p ) α 1 [ f _   ( x ) , f ¯   ( x ) ] W ( x ) x p 1 d x + u ν ( x p u p ) α 1 [ f _   ( x ) , f ¯ ( x ) ] W ( x ) x p 1 d x , = p ( ν p u p ) α [ u ν ( ν p x p ) α 1 f ( x ) W ( x ) x p 1 d x + u ν ( x p u p ) α 1 f ( x ) W ( x ) x p 1 d x ] .
Therefore, we have
p α Γ ( α ) ( ν p u p ) α f ( [ u p + ν p 2 ] 1 p ) [ u + p , α   W ( ν ) + ν p , α   W ( u ) ]
p p α Γ ( α ) ( ν p u p ) α [ u + p , α   f W ( ν ) + ν p , α   f W ( u ) ] .
Now taking the multiplication of (23) by ϱ α 1 W ( [ ϱ ν p + ( 1 ϱ ) u p ] 1 p ) , and integrating it with respect to ϱ over [ 0 ,   1 ] , we get
0 1 ϱ α 1 W ( [ ϱ ν p + ( 1 ϱ ) u p ] 1 p ) f ( [ ϱ u p + ( 1 ϱ ) ν p ] 1 p ) d ϱ + 0 1 ϱ α 1 W ( [ ϱ ν p + ( 1 ϱ ) u p ] 1 p ) f ( [ ϱ ν p + ( 1 ϱ ) u p ] 1 p ) d ϱ p   [ f ( u ) + f ( ν ) ] 0 1 ϱ α 1 W ( [ ϱ ν p + ( 1 ϱ ) u p ] 1 p )   d ϱ .
Therefore, we have
p α Γ ( α ) ( ν p u p ) α [ u + p , α   f W ( ν ) + ˜ ν p , α   f W ( u ) ] p p α Γ ( α ) ( ν p u p ) α . ( u ) + ˜ ( ν ) 2 [ u + p , α   W ( ν ) + ν p , α   W ( u ) ] .
Combining (20) and (21), we get
f ( [ u p + ν p 2 ] 1 p ) [ u + p , α   W ( ν ) + ν p , α   W ( u ) ] p   [ u + p , α   f W ( ν ) + ν p , α   f W ( u ) ] p f ( u ) + f ( ν ) 2 [ u + p , α   W ( ν ) + ν p , α   W ( u ) ]
and the theorem has been proved. □
Remark 5. 
Let p = 1 . Then, Theorem 4 reduces to the result for LR-convex-IVF, which is also a new one:
f ( u + ν 2 ) [ u + α   W ( ν ) + ν α   W ( u ) ] p   [ u + α   f W ( ν ) + ν α   f W ( u ) ] p f ( u ) + f ( ν ) 2 [ u + α   W ( ν ) + ν α   W ( u ) ] .
Let α = 1 . Then, Theorem 4 reduces to the result for LR- p -convex-IVF, which is also a new one:
f ( [ u p + ν p 2 ] 1 p ) p 1 u ν x p 1 W ( x ) d x   u ν x p 1 f ( x ) W ( x ) d x p f ( u ) + f ( ν ) 2
Let p = α = 1 . Then, Theorem 4 reduces to the result for LR-convex-IVF, which is also a new one:
f ( u + ν 2 ) p 1 u ν W ( x ) d x   u ν f ( x ) W ( x ) d x p f ( u ) + f ( ν ) 2
If f _ = f ¯ and α = 1 , then from Theorem 4, we get Theorem 5 of [39].
If f _ = f ¯ and   α = 1 , then from Theorem 4, we obtain the classical HH-Fejér type inequality (2).
If f _ = f ¯ and W ( x ) = p = α = 1 , then from Theorem 4, we get the classical HH-inequality (1).
If W ( x ) = 1 , then from Theorem 4, we get Theorem 3.
Theorem 5. 
Let p , α > 0 , u , ν I with ν > u and f , g ( [ u , ν ] ) . If f , g L R S X ( [ u ,   ν ] ,   I + ,   p ) , then we have
p α Γ ( α ) 2 ( ν p u p ) α [ u + p , α   f ( ν ) g ( ν ) + ν p , α   f ( u ) f ( u ) ] p ( 1 2 α ( α + 1 ) ( α + 2 ) ) M ( u , ν ) + ( α ( α + 1 ) ( α + 2 ) ) N ( u , ν ) .  
If f , g L R S V ( [ u ,   ν ] ,   I + ,   p ) , then
p α Γ ( α ) 2 ( ν p u p ) α [ u + p , α   f ( ν ) f ( ν ) + ν p , α   f ( u ) f ( u ) ] p ( 1 2 α ( α + 1 ) ( α + 2 ) ) M ( u , ν ) + ( α ( α + 1 ) ( α + 2 ) ) N ( u , ν )
where
M ( u , ν ) = [ f ( u ) g ( u ) + f ( ν ) g ( ν ) ]
and
N ( u , ν ) = [ f ( u ) g ( ν ) + f ( ν ) g ( u ) ] .
Proof. 
Since f , g L R S X ( [ u ,   ν ] ,   I + ,   p ) , then for ϱ [ 0 ,   1 ] we have
f ( [ ϱ u p + ( 1 ϱ ) ν p ] 1 p ) p ϱ f ( u ) + ( 1 ϱ ) f ( ν ) ,
and
g ( [ ϱ u p + ( 1 ϱ ) ν p ] 1 p ) p ϱ g ( u ) + ( 1 ϱ ) g ( ν ) .
From the definition of p -convex-IVFs, it follows that 0 p f ( x ) and 0 p g ( x ) , then we have
f ( [ ϱ u p + ( 1 ϱ ) ν p ] 1 p ) g ( [ ϱ u p + ( 1 ϱ ) ν p ] 1 p ) p ϱ 2 f ( u ) g ( u ) + ( 1 ϱ ) 2 f ( ν ) g ( ν ) + ϱ ( 1 ϱ ) [ f ( ν ) g ( u ) + f ( u ) g ( ν ) ]
Similarly, we have
f ( [ ( 1 ϱ ) u p + ϱ ν p ] 1 p ) g ( [ ( 1 ϱ ) u p + ϱ ν p ] 1 p ) p ( 1 ϱ ) 2 g ( u ) f ( u ) + ϱ 2 f ( ν ) g ( ν ) + ϱ ( 1 ϱ ) [ g ( ν ) f ( u ) + g ( u ) f ( ν ) ]
Adding (32) and (33), we get
f ( [ ϱ u p + ( 1 ϱ ) ν p ] 1 p ) g ( [ ϱ u p + ( 1 ϱ ) ν p ] 1 p ) + f ( [ ( 1 ϱ ) u p + ϱ ν p ] 1 p ) g ( [ ( 1 ϱ ) u p + ϱ ν p ] 1 p ) p [ ϱ 2 + ( 1 ϱ ) 2 ] [ f ( u ) g ( u ) + f ( ν ) g ( ν ) ] + 2 ϱ ( 1 ϱ ) [ f ( ν ) g ( u ) + f ( u ) g ( ν ) ]
Multiplying both sides of (34) by ϱ α 1 and integrating the obtained result with respect to ϱ over (0,1), we have
0 1 ϱ α 1 f ( [ ϱ u p + ( 1 ϱ ) ν p ] 1 p ) g ( [ ϱ u p + ( 1 ϱ ) ν p ] 1 p ) d ϱ + 0 1 ϱ α 1 f ( [ ( 1 ϱ ) u p + ϱ ν p ] 1 p ) g ( [ ( 1 ϱ ) u p + ϱ ν p ] 1 p ) d ϱ p M ( u , ν ) 0 1 ϱ α 1 [ ϱ 2 + ( 1 ϱ ) 2 ] + 2 N ( u , ν ) 0 1 ϱ α 1 ϱ ( 1 ϱ )   d ϱ .
Form (35), we have
0 1 ϱ α 1 f ( [ ϱ u p + ( 1 ϱ ) ν p ] 1 p ) g ( [ ϱ u p + ( 1 ϱ ) ν p ] 1 p ) d ϱ + 0 1 ϱ α 1 f ( [ ( 1 ϱ ) u p + ϱ ν p ] 1 p ) g ( [ ( 1 ϱ ) u p + ϱ ν p ] 1 p ) d ϱ = p α Γ ( α ) ( ν p u p ) α [ u + p , α   f ( ν ) g ( ν ) + ν p , α   f ( u ) g ( u ) ] .
and
M ( u , ν ) 0 1 ϱ α 1 [ ϱ 2 + ( 1 ϱ ) 2 ] + 2 N ( u , ν ) 0 1 ϱ α 1 ϱ ( 1 ϱ ) d ϱ = 2 α ( 1 2 α ( α + 1 ) ( α + 2 ) ) M ( u , ν ) + 2 α ( α ( α + 1 ) ( α + 2 ) ) N ( u , ν ) .
From (36) and (37), we have
p α Γ ( α ) 2 ( ν p u p ) α [ u + p , α   f ( ν ) g ( ν ) + ν p , α   f ( u ) f ( u ) ] p ( 1 2 α ( α + 1 ) ( α + 2 ) ) M ( u , ν ) + ( α ( α + 1 ) ( α + 2 ) ) N ( u , ν )
and the required result has been obtained. □
Example 3. 
Let p be an odd number, [ u , ν ] = [ 0 , 2 ] , α = 1 2 ,   f ( x ) = [ e x p 4 , 2 x p ] , and g ( x ) = [ x p 3 , 2 x p ] . Then, f g ( [ u , ν ] ) and
p α Γ ( 1 + α ) 2 ( ν p u p ) α [ u + p , α   f ( ν ) g ( ν ) + ν p , α   f ( u ) g ( u ) ] = Γ ( 3 2 ) 2 2 1 π 0 2 ( 2 p x p ) 1 2   x p 1   [ ( 4 e x p ) ( 3 x p ) , 4 x 2 p ] d x + Γ ( 3 2 ) 2 2 1 π 0 2 ( x p ) 1 2   x p 1 [ ( 4 e x p ) ( 3 x p ) , 4 x 2 p ] d x [ 2.6446 , 5.8664 ] .  
Note that
M ( u , ν ) = [ f ( u ) g ( u ) + f ( ν ) g ( ν ) ] = [ 13 e 2 , 16 ]
N ( u , ν ) = [ f ( u ) g ( ν ) + f ( ν ) g ( u ) ] = [ 15 3 e 2 , 0 ] .
Therefore, we have
( 1 2 α ( α + 1 ) ( α + 2 ) ) M ( u , ν ) + ( α ( α + 1 ) ( α + 2 ) ) N ( u , ν ) = 11 15 [ 13 e 2 , 16 ] + 2 15 [ 15 3 e 2 , 0 ] [ 3.1591 , 11.7333 ] .
It follows that
[ 2.6446 , 5.8664 ] p [ 3.1591 , 11.7333 ] ,
and Theorem 5 has been illustrated.
Theorem 6. 
Let p , α > 0 , u , ν I with   ν > u and   f , g ( [ u , ν ] ) . If f , g L R S X ( [ u ,   ν ] ,   I + ,   p ) , then we have
2 f ( [ u p + ν p 2 ] 1 p ) g ( [ u p + ν p 2 ] 1 p ) p p α Γ ( α + 1 ) 2 ( ν p u p ) α [ u + p , α   f ( ν ) g ( ν ) + ν p , α   f ( u ) g ( u ) ] + ( 1 2 α ( α + 1 ) ( α + 2 ) ) N ( u , ν ) + ( α ( α + 1 ) ( α + 2 ) ) M ( u , ν ) .
If f , g L R S V ( [ u ,   ν ] ,   I + ,   p ) , then
f ( [ u p + ν p 2 ] 1 p ) g ( [ u p + ν p 2 ] 1 p ) p p α Γ ( α + 1 ) 4 ( ν p u p ) α [ u + p , α   f ( ν ) g ( ν ) + ν p , α   f ( u ) g ( u ) ] + 1 2 ( 1 2 α ( α + 1 ) ( α + 2 ) ) N ( u , ν ) + 1 2 ( α ( α + 1 ) ( α + 2 ) ) M ( u , ν )
where M ( u , ν )   and N ( u , ν ) are given in Theorem 5.
Proof. 
Since f , g L R S X ( [ u ,   ν ] ,   I + ,   p ) , then by hypothesis, for ϱ [ 0 , 1 ] we have
f ( [ u p + ν p 2 ] 1 p ) g ( [ u p + ν p 2 ] 1 p ) = f [ [ ( 1 ϱ ) u p + ϱ ν p ] 1 p 2 + [ ϱ u p + ( 1 ϱ ) ν p ] 1 p 2 ] × g [ [ ( 1 ϱ ) u p + ϱ ν p ] 1 p 2 + [ ϱ u p + ( 1 ϱ ) ν p ] 1 p 2 ] p 1 4 [ f ( [ ϱ u p + ( 1 ϱ ) ν p ] 1 p ) + f ( [ ( 1 ϱ ) u p + ϱ ν p ] 1 p ) ] × [ g ( [ ϱ u p + ( 1 ϱ ) ν p ] 1 p ) + g ( [ ( 1 ϱ ) u p + ϱ ν p ] 1 p ) ] = 1 4 [ f ( [ ϱ u p + ( 1 ϱ ) ν p ] 1 p ) g ( [ ϱ u p + ( 1 ϱ ) ν p ] 1 p ) ] + [ f ( [ ( 1 ϱ ) u p + ϱ ν p ] 1 p ) g ( [ ( 1 ϱ ) u p + ϱ ν p ] 1 p ) ] + [ g ( [ ( 1 ϱ ) u p + ϱ ν p ] 1 p ) f ( [ ϱ u p + ( 1 ϱ ) ν p ] 1 p ) ] + [ f ( [ ( 1 ϱ ) u p + ϱ ν p ] 1 p ) g ( [ ϱ u p + ( 1 ϱ ) ν p ] 1 p ) ] p 1 4 [ f ( [ ϱ u p + ( 1 ϱ ) ν p ] 1 p ) + g ( [ ϱ u p + ( 1 ϱ ) ν p ] 1 p ) + f ( [ ( 1 ϱ ) u p + ϱ ν p ] 1 p ) g ( [ ( 1 ϱ ) u p + ϱ ν p ] 1 p ) ] + 1 4 ( 2 ϱ 2 2 ϱ + 1 ) N ( u , ν ) + 1 2 ϱ ( 1 ϱ ) M ( u , ν ) .
Taking both multiplications of (40) with ϱ α 1 and integrating the result with respect to over (0,1), we have
0 1 ϱ α 1 f ( [ u p + ν p 2 ] 1 p ) g ( [ u p + ν p 2 ] 1 p ) d ϱ p 1 4 [ 0 1 ϱ α 1 f ( [ ϱ u p + ( 1 ϱ ) ν p ] 1 p ) g ( [ ϱ u p + ( 1 ϱ ) ν p ] 1 p ) d ϱ   + 0 1 ϱ α 1 f ( [ ( 1 ϱ ) u p + ϱ ν p ] 1 p ) g ( [ ( 1 ϱ ) u p + ϱ ν p ] 1 p ) d ϱ ] + 1 4 0 1 ϱ α 1 ( 2 ϱ 2 2 ϱ + 1 ) N ( u , ν ) + 1 2 0 1 ϱ α 1 ϱ ( 1 ϱ ) M ( u , ν ) d ϱ .
From (41), we get
0 1 ϱ α 1 f ( [ u p + ν p 2 ] 1 p ) g ( [ u p + ν p 2 ] 1 p ) d ϱ = [ 0 1 ϱ α 1 f _ ( [ u p + ν p 2 ] 1 p ) g _ ( [ u p + ν p 2 ] 1 p ) d ϱ , 0 1 ϱ α 1   f ¯ ( [ u p + ν p 2 ] 1 p ) g ¯ ( [ u p + ν p 2 ] 1 p ) d ϱ ] = [ 1 α f _ ( [ u p + ν p 2 ] 1 p ) g _ ( [ u p + ν p 2 ] 1 p ) , 1 α f ¯ ( [ u p + ν p 2 ] 1 p ) g ¯ ( [ u p + ν p 2 ] 1 p ) ] = 1 α f ( [ u p + ν p 2 ] 1 p ) g ( [ u p + ν p 2 ] 1 p ) .
On the other hand, from (42) and taking ϱ x p = ϱ u p + ( 1 ϱ ) ν p and y p = ( 1 ϱ ) u p + ϱ ν p , we get
1 4 [ 0 1 ϱ α 1 f ( [ ϱ u p + ( 1 ϱ ) ν p ] 1 p ) g ( [ ϱ u p + ( 1 ϱ ) ν p ] 1 p ) d ϱ + 0 1 ϱ α 1 f ( [ ( 1 ϱ ) u p + ϱ ν p ] 1 p ) g ( [ ( 1 ϱ ) u p + ϱ ν p ] 1 p ) d ϱ ] + 1 4 0 1 ϱ α 1 ( 2 ϱ 2 2 ϱ + 1 ) N ( u , ν ) d ϱ + 1 2 0 1 ϱ α 1 ϱ ( 1 ϱ ) M ( u , ν ) d ϱ = p 4 ( ν p u p ) α [ u ν ( ν p x p ) α 1 f _ ( x ) g _ ( x ) x p 1 d x + u ν ( y p u p ) α 1 f _ ( y ) g _ ( y ) y p 1 d y ,     0 1 ( ν p x p ) α 1 f ¯ ( x ) g ¯ ( x ) x p 1 d x + u ν ( y p u p ) α 1 f ¯ ( y ) g ¯ ( y ) y p 1 d y ] + 1 2 α ( 1 2 α ( α + 1 ) ( α + 2 ) ) N ( u , ν ) + 1 2 α ( α ( α + 1 ) ( α + 2 ) ) M ( u , ν ) = p α Γ ( α + 1 ) 4 ( ν p u p ) α [ u + p , α   f ( ν ) g ( ν ) + ν p , α   f ( u ) g ( u ) ] + 1 2 α ( 1 2 α ( α + 1 ) ( α + 2 ) ) N ( u , ν ) + 1 2 α ( α ( α + 1 ) ( α + 2 ) ) M ( u , ν ) .
From (42) and (43), (41) becomes
2 f ( [ u p + ν p 2 ] 1 p ) g ( [ u p + ν p 2 ] 1 p ) p p α Γ ( α + 1 ) 2 ( ν p u p ) α [ u + p , α   f ( ν ) g ( ν ) + ν p , α   f ( u ) g ( u ) ] + ( 1 2 α ( α + 1 ) ( α + 2 ) ) N ( u , ν ) + ( α ( α + 1 ) ( α + 2 ) ) M ( u , ν )
Hence, Theorem 6 has been proved. □
Example 4. 
Let p be an odd number and α = 1 for ϱ [ 0 ,   1 ] , and the LR- p -convex f : [ u ,   ϑ ] = [ 2 , 3 ] I + and LR- p -convex IVFs g : [ u ,   ϑ ] = [ 2 , 3 ] I + are respectively defined by f ( x ) = [ 2 x p 2 , 2 ( 2 x p 2 ) ]  and g ( x ) = [ x p , 2 x p ] . Since f * ( x ) = 2 x p 2 , f * ( x ) = 2 ( 2 x p 2 )  and g * ( x ) = x p , g * ( x ) = 2 x p , then we compute the following
2   f * ( [ u p + ϑ p 2 ] 1 p ) × g * ( [ u p + ϑ p 2 ] 1 p ) = 20 5 10 2   2   f * ( [ u p + ϑ p 2 ] 1 p ) × g * ( [ u p + ϑ p 2 ] 1 p ) = 40 10 10 , p α Γ ( α + 1 ) 2 ( ν p u p ) α [ u + p , α   f * ( ν ) × g * ( ν ) + ν p , α   f * ( u ) × g * ( u ) ] = 1   p α Γ ( α + 1 ) 2 ( ν p u p ) α [ u + p , α   f * ( ν ) × g * ( ν ) + ν p , α   f * ( u ) × g * ( u ) ] = 4 , ( α ( α + 1 ) ( α + 2 ) ) * ( u , ϑ ) = 1 6 ( 10 2 2 3 3 )   ( α ( α + 1 ) ( α + 2 ) ) * ( u , ϑ ) = 4 6 ( 10 2 2 3 3 ) , 1 2 α ( α + 1 ) ( α + 2 ) N * ( u , ϑ ) = 1 3 ( 10 3 2 2 3 )   1 2 α ( α + 1 ) ( α + 2 ) N * ( u , ϑ ) = 4 3 ( 10 3 2 2 3 ) ,
that means
20 5 10 2 ( 1 + 30 8 2 7 3 6 )   , 40 10 10   ( 4 + 60 16 2 14 3 3 ) ,
hence, Theorem 6 has been illustrated.

4. Conclusions

In this work, we introduced the new class of LR- p -convex interval-valued functions and established some new Hermite-Hadamard inequalities by means of the pseudo order relation via Katugampola fractional integral operator. Useful examples that verify the applicability of the theory developed in this study are presented. We intend to use various types of LR-convex interval-valued functions to construct interval inequalities of interval-valued functions. In the future, we will try to explore this concept for fuzzy-interval-valued functions by means of the fuzzy pseudo order relation.

Author Contributions

Conceptualization, M.B.K. and M.A.N.; validation, P.O.M., D.B. and J.L.G.G.; formal analysis, D.B. and J.L.G.G.; investigation, M.B.K., M.A.N. and D.B.; resources, M.B.K. and M.A.N.; writing—original draft, M.B.K. and M.A.N.; writing—review and editing, M.B.K., P.O.M. and D.B.; visualization, M.A.N., P.O.M. and D.B.; supervision, M.A.N. and P.O.M.; project administration, M.A.N. and J.L.G.G. All authors have read and agreed to the published version of the manuscript.

Data Availability Statement

No data were used to support this study.

Acknowledgments

The authors would like to thank the Rector, COMSATS University Islamabad, Islamabad, Pakistan, for providing excellent research and academic environments. This work has been partially supported by Ministerio de Ciencia, Innovaci ón y Universidades, grant number PGC2018-097198-B-I00 and by Fundaci ón Séneca of Región de Murcia, grant number 20783/PI/18.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Hermite, C. Sur deux limites d’une intégrale définie. Mathesis 1883, 3, 82–97. [Google Scholar]
  2. Hadamard, J. Étude sur les propriétés des fonctions entières et en particulier d’une fonction considérée par Riemann. J. Mathématiques Pures Appliquées 1893, 7, 171–215. [Google Scholar]
  3. Awan, M.U.; Akhtar, N.; Iftikhar, S.; Noor, M.A.; Chu, Y.-M. New Hermite–Hadamard type inequalities for n-polynomial harmonically convex functions. J. Inequal. Appl. 2020, 2020, 125. [Google Scholar] [CrossRef]
  4. Latif, M.A.; Rashid, S.; Dragomir, S.S.; Chu, Y.-M. Hermite–Hadamard type inequalities for co-ordinated convex and quasi-convex functions and their applications. J. Inequal. Appl. 2019, 2019, 317. [Google Scholar] [CrossRef] [Green Version]
  5. Chu, Y.-M.; Wang, G.-D.; Zhang, X.-H. The Schur multiplicative and harmonic convexities of the complete symmetric function. Math. Nachr. 2011, 284, 653–663. [Google Scholar] [CrossRef]
  6. Chu, Y.M.; Xia, W.-F.; Zhang, X.-H. The Schur concavity, Schur multiplicative and harmonic convexities of the second dual form of the Hamy symmetric function with applications. J. Multivar. Anal. 2012, 105, 412–442. [Google Scholar] [CrossRef] [Green Version]
  7. Zaheer Ullah, S.; Adil Khan, M.; Khan, Z.A.; Chu, Y.-M. Integral majorization type inequalities for the functions in the sense of strong convexity. J. Funct. Spaces 2019, 2019, 9487823. [Google Scholar] [CrossRef]
  8. Zaheer Ullah, S.; Adil Khan, M.; Chu, Y.-M. Majorization theorems for strongly convex functions. J. Inequal. Appl. 2019, 2019, 58. [Google Scholar] [CrossRef] [Green Version]
  9. Varošanec, S. On h-convexity. J. Math. Anal. Appl. 2007, 326, 303–311. [Google Scholar] [CrossRef] [Green Version]
  10. Zhang, K.-S.; Wan, J.-P. p-convex functions and their properties. Pure Appl. Math. 2007, 23, 130–133. [Google Scholar]
  11. Chang, S.S.; Zhu, Y.G. On variational inequalities for fuzzy mappings. Fuzzy Sets Syst. 1989, 32, 359–367. [Google Scholar] [CrossRef]
  12. Nanda, S.; Kar, K. Convex fuzzy mappings. Fuzzy Sets Syst. 1992, 48, 129–132. [Google Scholar] [CrossRef]
  13. Noor, M.A. Fuzzy preinvex functions. Fuzzy Sets Syst. 1994, 64, 95–104. [Google Scholar] [CrossRef]
  14. Zaheer Ullah, S.; Adil Khan, M.; Chu, Y.-M. A note on generalized convex functions. J. Inequal. Appl. 2019, 2019, 15. [Google Scholar] [CrossRef]
  15. Liu, W. New integral inequalities involving beta function via P-convexity. Miskolc. Math. Notes 2014, 15, 585–591. [Google Scholar] [CrossRef]
  16. Fej’er, L. Uberdie Fourierreihen II. Math. Naturwise. Anz. Ungar. Akad. Wiss. 1906, 24, 369–390. [Google Scholar]
  17. Breckner, W.W. Stetigkeitsaussagen für eine Klasse verallgemeinerter konvexer funktionen in topologischen linearen Räumen. Pupl. Inst. Math. 1978, 23, 13–20. [Google Scholar]
  18. Hudzik, H.; Maligranda, L. Some remarks on s-convex functions. Aequat. Math. 1994, 48, 100–111. [Google Scholar] [CrossRef]
  19. Iscan, I. Hermite–Hadamard type inequalities for p-convex functions. Int. J. Anal Appl. 2016, 11, 137–145. [Google Scholar]
  20. Moore, R.E. Interval Analysis; Prentice Hall: Englewood Cliffs, NJ, USA, 1966. [Google Scholar]
  21. Costa, T.M. Jensen’s inequality type integral for fuzzy-interval-valued functions. Fuzzy Sets Syst. 2017, 327, 31–47. [Google Scholar] [CrossRef]
  22. Costa, T.M.; Roman-Flores, H. Some integral inequalities for fuzzy-interval-valued functions. Inform. Sci. 2017, 420, 110–125. [Google Scholar] [CrossRef]
  23. Román-Flores, H.; Chalco-Cano, Y.; Lodwick, W.A. Some integral inequalities for interval-valued functions. Comput. Appl. Math. 2018, 37, 1306–1318. [Google Scholar] [CrossRef]
  24. Roman-Flores, H.; Chalco-Cano, Y.; Silva, G.N. A note on Gronwall type inequality for interval-valued functions. In Proceedings of the IEEE IFSA World Congress and NAFIPS Annual Meeting, Edmonton, AB, Canada, 24–28 June 2013; Volume 35, pp. 1455–1458. [Google Scholar]
  25. Chalco-Cano, Y.; Flores-Franulič, A.; Román-Flores, H. Ostrowski type inequalities for interval-valued functions using generalized Hukuhara derivative. Comput. Appl. Math. 2012, 31, 457–472. [Google Scholar]
  26. Chalco-Cano, Y.; Lodwick, W.A.; Condori-Equice, W. Ostrowski type inequalities and applications in numerical integration for interval-valued functions. Soft Comput. 2015, 19, 3293–3300. [Google Scholar] [CrossRef]
  27. Nikodem, K.; Snchez, J.L.; Snchez, L. Jensen and Hermite–Hadamard inequalities for strongly convex set-valued maps. Math. Aterna 2014, 4, 979–987. [Google Scholar]
  28. Matkowski, J.; Nikodem, K. An integral Jensen inequality for convex multifunctions. Results Math. 1994, 26, 348–353. [Google Scholar] [CrossRef]
  29. Zhang, D.; Guo, C.; Chen, D.; Wang, G. Jensen’s inequalities for set-valued and fuzzy set-valued functions. Fuzzy Sets Syst. 2020, 2020, 1–27. [Google Scholar] [CrossRef]
  30. Abdeljawad, T.; Baleanu, D. Monotonicity results for fractional difference operators with discrete exponential kernels. Adv. Differ. Equ. 2017, 2017, 78. [Google Scholar] [CrossRef] [Green Version]
  31. Agarwal, R.; Purohit, S.D.; Kritika. A mathematical fractional model with nonsingular kernel for thrombin receptor activation in calcium signaling. Math. Methods Appl. Sci. 2019, 42, 7160–7171. [Google Scholar] [CrossRef]
  32. Agarwal, R.; Yadav, M.P.; Baleanu, D.; Purohit, S.D. Existence and uniqueness of miscible flow equation through porous media with a non-singular fractional derivative. AIMS Math. 2019, 5, 1062–1073. [Google Scholar] [CrossRef]
  33. Kumar, D.; Singh, J.; Purohit, S.D.; Swroop, R. A hybrid analytical algorithm for nonlinear fractional wave-like equations. Math. Model. Nat. Phenom. 2019, 14, 304. [Google Scholar] [CrossRef] [Green Version]
  34. Budak, H.; Tunç, T.; Sarikaya, M.Z. Fractional Hermite–Hadamard type inequalities for interval-valued functions. Proc. Am. Math. Soc. 2019, 148, 705–718. [Google Scholar] [CrossRef] [Green Version]
  35. Katugampola, U.N. A new approach to generalized fractional derivatives. Bull. Math. Anal. Appl. 2014, 6, 1–15. [Google Scholar]
  36. Toplu, T.; Set, E.; İşcan, İ.; Maden, S. Hermite–Hadamard type inequalities for p-convex functions via Katugampola fractional integrals. Facta Univ. Ser. Math. Inform. 2019, 34, 149–164. [Google Scholar]
  37. Adil Khan, M.; Begum, S.; Khurshid, Y.; Chu, Y.-M. Ostrowski type inequalities involving conformable fractional integrals. J. Inequal. Appl. 2018, 2018, 70. [Google Scholar] [CrossRef]
  38. Fang, Z.B.; Shi, R. On the (p, h)-convex function and some integral inequalities. J. Inequal. Appl. 2014, 2014, 45. [Google Scholar] [CrossRef] [Green Version]
  39. Kunt, M.; İşcan, İ. Hermite–Hadamard–Fejér type inequalities for p-convex functions. Arab J. Math. Sci. 2017, 23, 215–230. [Google Scholar] [CrossRef] [Green Version]
  40. Liu, X.-L.; Ye, G.-J.; Zhao, D.-F.; Liu, W. Fractional Hermite–Hadamard type inequalities for interval-valued functions. J. Inequal. Appl. 2019, 2019, 26. [Google Scholar] [CrossRef] [Green Version]
  41. Sarikaya, M.Z.; Set, E.; Yaldiz, H.; Başak, N. Hermite–Hadamard’s inequalities for fractional integrals and related fractional inequalities. Math. Comput. Model. 2013, 57, 2403–2407. [Google Scholar] [CrossRef]
  42. Zhao, T.-H.; Chu, Y.-M.; Wang, H. Logarithmically complete monotonicity properties relating to the gamma function. Abstr. Appl. Anal. 2011, 2011, 896483. [Google Scholar] [CrossRef]
  43. Precup, R.E.; Teban, T.A.; Albu, A.; Borlea, A.B.; Zamfirache, I.A.; Petriu, E.M. Evolving fuzzy models for prosthetic hand myoelectric-based control. IEEE Trans. Instrum. Meas. 2020, 69, 4625–4636. [Google Scholar] [CrossRef]
  44. Khan, M.B.; Noor, M.A.; Noor, K.I.; Chu, Y.-M. New Hermite-Hadamard Type Inequalities for (h1, h2)-Convex Fuzzy-Interval-Valued Functions. Adv. Differ. Equ. 2021, 2021, 6–20. [Google Scholar] [CrossRef]
  45. Liu, P.; Khan, M.B.; Noor, M.A.; Noor, K.I. New Hermite–Hadamard and Jensen inequalities for log-s-convex fuzzy-interval-valued functions in the second sense. Complex Intell. Syst. 2021, 2021, 1–15. [Google Scholar]
  46. Khan, M.B.; Noor, M.A.; Abdullah, L.; Chu, Y.M. Some New Classes of Preinvex Fuzzy-Interval-Valued Functions and Inequalities. Int. J. Comput. Intell. Syst. 2021, 14, 1403–1418. [Google Scholar] [CrossRef]
  47. Khan, M.B.; Mohammed, P.O.; Noor, M.A.; Hamed, Y.S. New Hermite–Hadamard inequalities in fuzzy-interval fractional calculus and related inequalities. Symmetry 2021, 13, 673. [Google Scholar] [CrossRef]
  48. Liu, P.; Khan, M.B.; Noor, M.A.; Noor, K.I. On Strongly Generalized Preinvex Fuzzy Mappings. J. Math. 2021, 2021, 6657602. [Google Scholar] [CrossRef]
  49. Khan, M.B.; Noor, M.A.; Noor, K.I.; Ab Ghani, A.T.; Abdullah, L. Extended perturbed mixed variational-like inequalities for fuzzy mappings. J. Math. 2021, 2021, 6652930. [Google Scholar] [CrossRef]
  50. Khan, M.B.; Noor, M.A.; Noor, K.I.; Almusawa, H.; Nisar, K.S. Exponentially Preinvex Fuzzy Mappings and Fuzzy Exponentially Mixed Variational-Like Inequalities. Int. J. Anal. Appl. 2021, 19, 518–541. [Google Scholar]
  51. Khan, M.B.; Noor, M.A.; Al-Bayatti, H.M.; Noor, K.I. Some New Inequalities for LR-Log-h-Convex Interval-Valued Functions by Means of Pseudo Order Relation. Appl. Math. 2021, 15, 459–470. [Google Scholar]
  52. Sana, G.; Khan, M.B.; Noor, M.A.; Mohammed, P.O.; Chu, Y.M. Harmonically Convex Fuzzy-Interval-Valued Functions and Fuzzy-Interval Riemann–Liouville Fractional Integral Inequalities. Int. J. Comput. Intell. Syst. 2021, 14, 1809–1822. [Google Scholar] [CrossRef]
  53. Khan, M.B.; Noor, M.A.; Noor, K.I.; Chu, Y.M. Higher-Order Strongly Preinvex Fuzzy Mappings and Fuzzy Mixed Variational-Like Inequalities. Int. J. Comput. Intell. Syst. 2021, 14, 1856–1870. [Google Scholar] [CrossRef]
  54. Khan, M.B.; Noor, M.A.; Noor, K.I. On Some Characterization of Preinvex Fuzzy Mappings. Earth. J. Math. Sci. 2021, 5, 17–42. [Google Scholar]
  55. Khan, M.B.; Noor, M.A.; Noor, K.I. On Fuzzy Quasi-Invex Sets. Int. J. Algeb. Stat. 2021, 9, 11–26. [Google Scholar]
  56. Mohammed, P.O. New generalized Riemann-Liouville fractional integral inequalities for convex functions. J. Math. Inequal. 2021, 15, 511–519. [Google Scholar] [CrossRef]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Khan, M.B.; Mohammed, P.O.; Noor, M.A.; Baleanu, D.; Guirao, J.L.G. Some New Fractional Estimates of Inequalities for LR-p-Convex Interval-Valued Functions by Means of Pseudo Order Relation. Axioms 2021, 10, 175. https://doi.org/10.3390/axioms10030175

AMA Style

Khan MB, Mohammed PO, Noor MA, Baleanu D, Guirao JLG. Some New Fractional Estimates of Inequalities for LR-p-Convex Interval-Valued Functions by Means of Pseudo Order Relation. Axioms. 2021; 10(3):175. https://doi.org/10.3390/axioms10030175

Chicago/Turabian Style

Khan, Muhammad Bilal, Pshtiwan Othman Mohammed, Muhammad Aslam Noor, Dumitru Baleanu, and Juan Luis García Guirao. 2021. "Some New Fractional Estimates of Inequalities for LR-p-Convex Interval-Valued Functions by Means of Pseudo Order Relation" Axioms 10, no. 3: 175. https://doi.org/10.3390/axioms10030175

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