Next Article in Journal
Analysis of Lower Facial Third and Dental Proportions to Predict Maxillary Anterior Teeth Width in the Pakistani Population
Next Article in Special Issue
Special Issue Editorial “Symmetry in the Mathematical Inequalities”
Previous Article in Journal
Gaia, Fundamental Physics, and Dark Matter
Previous Article in Special Issue
On Generalization of Different Integral Inequalities for Harmonically Convex Functions
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

New Generalized Class of Convex Functions and Some Related Integral Inequalities

by
Artion Kashuri
1,
Ravi P. Agarwal
2,
Pshtiwan Othman Mohammed
3,
Kamsing Nonlaopon
4,*,
Khadijah M. Abualnaja
5 and
Yasser S. Hamed
5
1
Department of Mathematics, Faculty of Technical Science, University “Ismail Qemali”, 9400 Vlora, Albania
2
Department of Mathematics, Texas A & M University-Kingsville, Kingsville, TX 78363, USA
3
Department of Mathematics, College of Education, University of Sulaimani, Sulaimani 46001, Kurdistan Region, Iraq
4
Department of Mathematics, Faculty of Science, Khon Kaen University, Khon Kaen 40002, Thailand
5
Department of Mathematics and Statistics, College of Science, Taif University, P.O. Box 11099, Taif 21944, Saudi Arabia
*
Author to whom correspondence should be addressed.
Symmetry 2022, 14(4), 722; https://doi.org/10.3390/sym14040722
Submission received: 12 March 2022 / Revised: 29 March 2022 / Accepted: 31 March 2022 / Published: 2 April 2022
(This article belongs to the Special Issue Symmetry in the Mathematical Inequalities)

Abstract

:
There is a strong correlation between convexity and symmetry concepts. In this study, we investigated the new generic class of functions called the ( n , m ) –generalized convex and studied its basic algebraic properties. The Hermite–Hadamard inequality for the ( n , m ) –generalized convex function, for the products of two functions and of this type, were proven. Moreover, this class of functions was applied to several known identities; midpoint-type inequalities of Ostrowski and Simpson were derived. Our results are extensions of many previous contributions related to integral inequalities via different convexities.
MSC:
26A33; 26A51; 26D07; 26D10; 26D15; 26D20

1. Introduction and Preliminaries

The twenty-first century began with the introduction and establishment of new tools used to solve linear and nonlinear differential and difference equations. In terms of the convexity theory, one important development involves defining a new class of convex functions, which is then tested on the well-known inequalities. “As it is known, inequalities aim to develop different mathematical methods. Nowadays, we need to seek accurate inequalities for proving the existence and uniqueness of the mathematical methods. In recent years, especially over the past two decades, several authors have been engaged in the study of inequalities, including various function classes (symmetric or asymmetric)”, see [1]. Moreover, the modern convexity theory has motivated researchers to propose a new generalized class of convex functions and to investigate their special models, which could effectively be used in different fields, in particular, agriculture, medicine, reliability engineering, demography, actuarial study, survival analysis, and others. Kasamsetty et al. in [2] defined a new class of convex functions used to delay modeling and established an application to the transistor sizing problem. Awan et al. in [3] obtained new classes of convex functions and inequalities. Hudzik and Maligranda in [4] investigated the class of s-convex functions. Eftekhari in [5] derived new results using ( s , m ) –convexity in the second sense. Kadakal and İşcan in [6] established related inequalities via the exponential type convexity. Agarwal and Choi in [7] used fractional operators and found their image formulas. Rekhviashvili et al. in [8] described damped vibrations via a fractional oscillator model.
In much of the literature, we can see various Hermite–Hadamard ( HH ) inequality types, in which one of the known classes of convex functions is utilized (e.g., [9,10,11]). Moreover, some generalizations of the HH integral inequalities, such as HH –Fejér, AB HH , midpoint HH , mid-end-point HH , conformable HH , and HH –Mercer integral inequalities are found (e.g., [12,13,14]). In addition, different integral inequalities using those convexities are investigated. Ujević in [15] obtained sharp inequalities for Simpson and Ostrowski types. Liu et al. in [16], using the M T –convexity class derived Ostrowski fractional inequalities. Kaijser et al. in [17] established Hardy-type inequalities via convexity. Rashid et al. in [18], using generalized k–fractional integrals, found Grüss inequalities. For more recent published papers on HH , see [19,20].
Let us review some fundamental and preliminary results on convexity and inequality.
Definition 1.
Function Θ : τ R R is called convex, if
Θ ( ϱ χ 1 + ( 1 ϱ ) χ 2 ) ϱ Θ ( χ 1 ) + ( 1 ϱ ) Θ ( χ 2 ) ,
holds for all χ 1 , χ 2 τ (τ is an interval with real numbers and R is the set of real numbers) and ϱ [ 0 , 1 ] . Moreover, Θ is concave if ( Θ ) is convex.
Definition 2
([4]). Let s ( 0 , 1 ] be a real number. A function Θ : τ R R is called s-convex (in the second sense), if
Θ ( ϱ χ 1 + ( 1 ϱ ) χ 2 ) ϱ s Θ ( χ 1 ) + ( 1 ϱ ) s Θ ( χ 2 ) ,
holds for all χ 1 , χ 2 τ , and ϱ [ 0 , 1 ] .
Definition 3
([21]). Let τ , J be intervals in R , ( 0 , 1 ) J and let h : J R be a nonnegative function, and h 0 . A nonnegative function Θ : τ R is called h-convex, if
Θ ( ϱ χ 1 + ( 1 ϱ ) χ 2 ) h ( ϱ ) Θ ( χ 1 ) + h ( 1 ϱ ) Θ ( χ 2 ) ,
holds for all χ 1 , χ 2 τ , ϱ ( 0 , 1 ) .
Toply et al. [22] introduced the following class of convex functions:
Definition 4.
Let n N . A function Θ : τ R is called n–polynomial convex, if
Θ ( ϱ χ 1 + ( 1 ϱ ) χ 2 ) 1 n 1 = 1 n 1 ( 1 ϱ ) 1 Θ ( χ 1 ) + 1 n 1 = 1 n 1 ϱ 1 Θ ( χ 2 ) ,
holds for every χ 1 , χ 2 τ , and ϱ [ 0 , 1 ] .
Recently, Rashid et al. [23] defined the following class of convex functions:
Definition 5
([23]). Assume that s [ 0 , 1 ] and n N . A function Θ : τ R is said to be n–polynomial s–type convex, if
Θ ( ϱ χ 1 + ( 1 ϱ ) χ 2 ) 1 n 1 = 1 n 1 ( s ( 1 ϱ ) ) 1 Θ ( χ 1 ) + 1 n 1 = 1 n 1 ( s ϱ ) 1 Θ ( χ 2 ) ,
holds for every χ 1 , χ 2 τ , and ϱ [ 0 , 1 ] .
The following double inequality, namely the HH inequality, is remarkable, and it played an important role in the analysis.
Theorem 1
( HH inequality [24]). Let Θ : τ R R be a convex function on τ for χ 1 , χ 2 τ and χ 1 < χ 2 , then
Θ χ 1 + χ 2 2 1 χ 2 χ 1 χ 1 χ 2 Θ ( ϱ ) d ϱ Θ ( χ 1 ) + Θ ( χ 2 ) 2 .
The following well-known inequality is called the Ostrowski inequality:
Theorem 2
(Ostrowski inequality [16]). Let Θ : τ R R a differentiable function in the interval τ and let χ 1 , χ 2 τ with χ 1 < χ 2 . If | Θ ( x ) | M for all x [ χ 1 , χ 2 ] , then
Θ ( x ) 1 χ 2 χ 1 χ 1 χ 2 Θ ( ϱ ) d ϱ M ( χ 2 χ 1 ) 1 4 + x χ 1 + χ 2 2 2 ( χ 2 χ 1 ) 2 .
Another type of inequality is obtained by Dragomir et al. [25], which is as follows:
Theorem 3
(Simpson inequality [25]). Assume that Θ : [ χ 1 , χ 2 ] R is a four-time continuous and differentiable function on ( χ 1 , χ 2 ) such that Θ ( 4 ) : = sup x ( χ 1 , χ 2 ) | Θ ( 4 ) ( x ) | < with χ 1 < χ 2 , then
1 6 Θ ( χ 1 ) + 4 Θ χ 1 + χ 2 2 + Θ ( χ 2 ) 1 χ 2 χ 1 χ 1 χ 2 Θ ( x ) d x 1 2880 ( χ 2 χ 1 ) 4 Θ ( 4 ) .
For brevity, we denote by D = { h 1 , h 2 , , h n , g 1 , g 2 , , g m } the convex set in the sequel.
Motivated by the above results, we introduce the following generic class of convex functions:
Definition 6.
Suppose that 1 n m , where n , m N , and assume that h 1 , g 2 : [ 0 , 1 ] [ 0 , + ) are continuous functions for all 1 = 1 , 2 , , n and 2 = 1 , 2 , , m . A function Θ : τ R , which is nonnegative, is said to be ( n , m ) –generalized convex with respect to D , if
Θ ( ϱ χ 1 + ( 1 ϱ ) χ 2 ) 1 n 1 = 1 n h 1 ( ϱ ) Θ ( χ 1 ) + 1 m 2 = 1 m g 2 ( ϱ ) Θ ( χ 2 ) ,
holds for every χ 1 , χ 2 τ and ϱ [ 0 , 1 ] .
Remark 1.
From Definition 6, we can observe that:
1.
If n = m = 1 , h 1 ( ϱ ) = 1 ( 1 ϱ ) 1 and g 2 ( ϱ ) = 1 ϱ 2 , then we have Definition 1.
2.
If n = m = 1 , h 1 ( ϱ ) = ϱ s and g 2 ( ϱ ) = ( 1 ϱ ) s , then we obtain Definition 2.
3.
If n = m = 1 , h 1 ( ϱ ) = h ( ϱ ) and g 2 ( ϱ ) = h ( 1 ϱ ) , then we obtain Definition 3.
4.
If n = m , h 1 ( ϱ ) = 1 ( 1 ϱ ) 1 and g 2 ( ϱ ) = 1 ϱ 2 , then we obtain Definition 4.
5.
If n = m , h 1 ( ϱ ) = 1 ( s ( 1 ϱ ) ) 1 and g 2 ( ϱ ) = 1 ( s ϱ ) 2 , then we obtain Definition 5.
Interested readers can derive many other known and unknown classes for suitable choices of the above functions h 1 and g 2 .
This article is divided into five sections: in Section 2, algebraic properties of the ( n , m ) –generalized convex function are presented. In Section 3, a new version of the HH inequality is presented; by using this definition, we will also derive the products of two functions of this type. In Section 4, we obtain general results by using the well-known identities of midpoint-type inequalities of Ostrowski and Simpson for our new defined convex functions; we obtain special cases from these. Section 5 concludes the article.

2. Algebraic Properties of the New Convex Function

This section deals with algebraic properties of our new definition.
Theorem 4.
Suppose that 1 n m , where n , m N , and assume that h 1 , g 2 : [ 0 , 1 ] [ 0 , + ) are continuous functions for all 1 = 1 , 2 , , n and 2 = 1 , 2 , , m , and Θ , Θ 1 , Θ 2 : τ R . If Θ , Θ 1 , and Θ 2 are three nonnegative ( n , m ) –generalized convex functions with respect to D , then
 1.
Θ 1 + Θ 2 is the ( n , m ) –generalized convex with respect to D ;
 2.
c Θ is the ( n , m ) –generalized convex with respect to D for any nonnegative real number c.
Proof. 
The proof is evident, so we omit it. □
Theorem 5.
Suppose that 1 n m , where n , m N , and assume that h 1 , g 2 : [ 0 , 1 ] [ 0 , + ) are continuous functions for all 1 = 1 , 2 , , n and 2 = 1 , 2 , , m . Let Θ 1 : τ R be a convex function and Θ 2 : R R is a non-decreasing and nonnegative ( n , m ) –generalized convex function with respect to D . Then the function Θ 2 Θ 1 : τ R is an ( n , m ) –generalized convex with respect to D .
Proof. 
For all χ 1 , χ 2 τ and ϱ [ 0 , 1 ] , we have
Θ 2 Θ 1 ( ϱ χ 1 + ( 1 ϱ ) χ 2 ) = Θ 2 Θ 1 ( ϱ χ 1 + ( 1 ϱ ) χ 2 ) Θ 2 ϱ Θ 1 χ 1 + 1 ϱ Θ 1 χ 2 1 n 1 = 1 n h 1 ( ϱ ) Θ 2 ( Θ 1 ( χ 1 ) ) + 1 m 2 = 1 m g 2 ( ϱ ) Θ 2 ( Θ 1 ( χ 2 ) ) = 1 n 1 = 1 n h 1 ( ϱ ) ( Θ 2 Θ 1 ) ( χ 1 ) + 1 m 2 = 1 m g 2 ( ϱ ) ( Θ 2 Θ 1 ) ( χ 2 ) ,
which ends our proof. □
Theorem 6.
Suppose that 1 n m , where n , m N , and assume that h 1 , g 2 : [ 0 , 1 ] [ 0 , + ) are continuous functions for all 1 = 1 , 2 , , n and 2 = 1 , 2 , , m . Let Θ k : [ χ 1 , χ 2 ] R be a family of nonnegative ( n , m ) –generalized convex functions with respect to D and Θ ( χ ) = sup k Θ k ( χ ) . Then Θ is an ( n , m ) –generalized convex function with respect to D and U = { χ [ χ 1 , χ 2 ] : Θ ( χ ) < + } is an interval.
Proof. 
Let χ 1 , χ 2 U and ϱ [ 0 , 1 ] , then
Θ ( ϱ χ 1 + ( 1 ϱ ) χ 2 ) = sup k Θ k ( ϱ χ 1 + ( 1 ϱ ) χ 2 ) 1 n 1 = 1 n h 1 ( ϱ ) sup k Θ k ( χ 1 ) + 1 m 2 = 1 m g 2 ( ϱ ) sup k Θ k ( χ 2 ) = 1 n 1 = 1 n h 1 ( ϱ ) Θ ( χ 1 ) + 1 m 2 = 1 m g 2 ( ϱ ) Θ ( χ 2 ) < + ,
which ends our proof. □
Theorem 7.
Suppose that 1 n m , where n , m N , and assume that h 1 , g 2 : [ 0 , 1 ] [ 0 , + ) are continuous functions for all 1 = 1 , 2 , , n and 2 = 1 , 2 , , m . If Θ : [ χ 1 , χ 2 ] R is a nonnegative ( n , m ) –generalized convex function with respect to D , then Θ is bounded on [ χ 1 , χ 2 ] .
Proof. 
Let K = max { Θ ( χ 1 ) , Θ ( χ 2 ) } and x [ χ 1 , χ 2 ] . Then, there exists ϱ [ 0 , 1 ] , such that x = ϱ χ 1 + ( 1 ϱ ) χ 2 . Moreover, since h 1 , g 2 are continuous functions on [ 0 , 1 ] for all 1 = 1 , 2 , , n and 2 = 1 , 2 , , m , then we denote, respectively, L 1 = max { h 1 , h 2 , , h n } and L 2 = max { g 1 , g 2 , , g m } . Hence,
Θ ( x ) = Θ ( ϱ χ 1 + ( 1 ϱ ) χ 2 ) 1 n 1 = 1 n h 1 ( ϱ ) Θ ( χ 1 ) + 1 m 2 = 1 m g 2 ( ϱ ) Θ ( χ 2 ) K 1 n 1 = 1 n h 1 ( ϱ ) + 1 m 2 = 1 m g 2 ( ϱ ) K 1 n 1 = 1 n L 1 + 1 m 2 = 1 m L 2 = K L 1 + L 2 = M .
Moreover, for all x [ χ 1 , χ 2 ] , there exists ξ 0 , χ 2 χ 1 2 , such that x = χ 1 + χ 2 2 + ξ or x = χ 1 + χ 2 2 ξ . Let us suppose that x = χ 1 + χ 2 2 + ξ without loss of generality. So, we have
Θ χ 1 + χ 2 2 = Θ 1 2 χ 1 + χ 2 2 + ξ + 1 2 χ 1 + χ 2 2 ξ 1 n 1 = 1 n h 1 1 2 Θ ( x ) + 1 m 2 = 1 m g 2 1 2 Θ χ 1 + χ 2 2 ξ L 1 Θ ( x ) + L 2 Θ χ 1 + χ 2 2 ξ .
By making use of M as the upper bound, we can deduce
Θ ( x ) 1 L 1 Θ χ 1 + χ 2 2 M = m ,
which ends our proof. □

3. The HH Inequality for the New Convex Function

In this section, we will establish some integral inequalities of the HH -type pertaining to the ( n , m ) –generalized convex functions.
Theorem 8.
Assume that 1 n m , where n , m N , and assume that h 1 , g 2 : [ 0 , 1 ] [ 0 , + ) are continuous functions for all 1 = 1 , 2 , , n and 2 = 1 , 2 , , m . If Θ : [ χ 1 , χ 2 ] R is a nonnegative ( n , m ) –generalized convex function with respect to D , then we have
1 1 n 1 = 1 n h 1 1 2 + 1 m 2 = 1 m g 2 1 2 Θ χ 1 + χ 2 2 1 χ 2 χ 1 χ 1 χ 2 Θ ( x ) d x Θ ( χ 1 ) + Θ ( χ 2 ) 2 1 n 1 = 1 n H 1 + 1 m 2 = 1 m G 2 ,
where
H 1 : = 0 1 h 1 ( ϱ ) d ϱ , 1 = 1 , 2 , , n and G 2 : = 0 1 g 2 ( ϱ ) d ϱ , 2 = 1 , 2 , , m .
Proof. 
Let w 1 , w 2 [ χ 1 , χ 2 ] . Applying the ( n , m ) –generalized convexity with respect to D of Θ on [ χ 1 , χ 2 ] , we have
Θ w 1 + w 2 2 1 n 1 = 1 n h 1 1 2 Θ ( w 1 ) + 1 m 2 = 1 m g 2 1 2 Θ ( w 2 ) .
Let us denote, respectively, w 1 = ϱ χ 2 + ( 1 ϱ ) χ 1 and w 2 = ϱ χ 1 + ( 1 ϱ ) χ 2 . From inequality (11), we obtain
Θ χ 1 + χ 2 2 1 n 1 = 1 n h 1 1 2 Θ ( ϱ χ 2 + ( 1 ϱ ) χ 1 ) + 1 m 2 = 1 m g 2 1 2 Θ ( ϱ χ 1 + ( 1 ϱ ) χ 2 ) .
Integrating on both sides (12), with respect to ϱ from 0 to 1 , we obtain
Θ χ 1 + χ 2 2 1 n 1 = 1 n h 1 1 2 0 1 Θ ( ϱ χ 2 + ( 1 ϱ ) χ 1 ) d ϱ + 1 m 2 = 1 m g 2 1 2 0 1 Θ ( ϱ χ 1 + ( 1 ϱ ) χ 2 ) d ϱ   = 1 n 1 = 1 n h 1 1 2 + 1 m 2 = 1 m g 2 1 2 1 χ 2 χ 1 χ 1 χ 2 Θ ( x ) d x ,
which gives the proof of the left hand side of (10). For the right hand side of (10), we use the definition of ( n , m ) –generalized convexity with respect to D of Θ , where ϱ [ 0 , 1 ] . Hence,
Θ ( ϱ χ 1 + ( 1 ϱ ) χ 2 ) 1 n 1 = 1 n h 1 ( ϱ ) Θ ( χ 1 ) + 1 m 2 = 1 m g 2 ( ϱ ) Θ ( χ 2 ) ,
and
Θ ( ϱ χ 2 + ( 1 ϱ ) χ 1 ) 1 n 1 = 1 n h 1 ( ϱ ) Θ ( χ 2 ) + 1 m 2 = 1 m g 2 ( ϱ ) Θ ( χ 1 ) .
Adding both of them, we have
Θ ( ϱ χ 1 + ( 1 ϱ ) χ 2 ) + Θ ( ϱ χ 2 + ( 1 ϱ ) χ 1 ) 1 n 1 = 1 n h 1 ( ϱ ) Θ ( χ 1 ) + 1 m 2 = 1 m g 2 ( ϱ ) Θ ( χ 2 ) + 1 n 1 = 1 n h 1 ( ϱ ) Θ ( χ 2 ) + 1 m 2 = 1 m g 2 ( ϱ ) Θ ( χ 1 ) .
Integrating on both sides (13) with respect to ϱ from 0 to 1 , we obtain
  0 1 Θ ( ϱ χ 1 + ( 1 ϱ ) χ 2 ) d ϱ + 0 1 Θ ( ϱ χ 2 + ( 1 ϱ ) χ 1 ) d ϱ         0 1 1 n 1 = 1 n h 1 ( ϱ ) Θ ( χ 1 ) + 1 m 2 = 1 m g 2 ( ϱ ) Θ ( χ 2 ) d ϱ + 0 1 1 n 1 = 1 n h 1 ( ϱ ) Θ ( χ 2 ) + 1 m 2 = 1 m g 2 ( ϱ ) Θ ( χ 1 ) d ϱ ,
which leads to
1 χ 2 χ 1 χ 1 χ 2 Θ ( x ) d x Θ ( χ 1 ) + Θ ( χ 2 ) 2 1 n 1 = 1 n H 1 + 1 m 2 = 1 m G 2 ,
which ends our proof. □
Remark 2.
We have particular cases from Theorem 8:
  • If h 1 ( ϱ ) = ϱ and g 2 ( ϱ ) = ϱ for all 1 = 1 , 2 , , n and 2 = 1 , 2 , , m , we have Theorem 1.
  • If n = m , h 1 ( ϱ ) = 1 ( s ( 1 ϱ ) ) 1 and g 2 ( ϱ ) = 1 ( s ϱ ) 2 for s [ 0 , 1 ] , 1 = 1 , 2 , , n and 2 = 1 , 2 , , m , we obtain ([23], Theorem 2.1).
  • If n = m , h 1 ( ϱ ) = 1 ( 1 ϱ ) 1 and g 2 ( ϱ ) = 1 ϱ 2 for all 1 = 1 , 2 , , n and 2 = 1 , 2 , , m , we obtain ([22], Theorem 4).
Theorem 9.
Let 1 n 1 m 1 and 1 n 2 m 2 where n 1 , n 2 , m 1 , m 2 N . Assume that h 1 ( 1 ) , g 2 ( 1 ) , h k ( 2 ) , g l ( 2 ) : [ 0 , 1 ] [ 0 , + ) are continuous functions for all 1 = 1 , , n 1 , 2 = 1 , , m 1 , k = 1 , , n 2 and l = 1 , , m 2 . If Θ , ψ : [ χ 1 , χ 2 ] R are nonnegative ( n 1 , m 1 ) and ( n 2 , m 2 ) –generalized convex functions with respect to
D ( 1 ) = h 1 ( 1 ) , h 2 ( 1 ) , , h n 1 ( 1 ) , g 1 ( 1 ) , g 2 ( 1 ) , , g m 1 ( 1 ) , and
D ( 2 ) = h 1 ( 2 ) , h 2 ( 2 ) , , h n 2 ( 2 ) , g 1 ( 2 ) , g 2 ( 2 ) , , g m 2 ( 2 ) , respectively, then we have
1 χ 2 χ 1 χ 1 χ 2 Θ ( x ) ψ ( x ) d x 1 n 1 n 2 1 = 1 n 1 k = 1 n 2 A 1 , k Θ ( χ 1 ) ψ ( χ 1 ) + 1 n 1 m 2 1 = 1 n 1 l = 1 m 2 B 1 , l Θ ( χ 1 ) ψ ( χ 2 ) + 1 n 2 m 1 k = 1 n 2 2 = 1 m 1 C k , 2 Θ ( χ 2 ) ψ ( χ 1 ) + 1 m 1 m 2 2 = 1 m 1 l = 1 m 2 D 2 , l Θ ( χ 2 ) ψ ( χ 2 ) ,
where
A 1 , k : = 0 1 h 1 ( 1 ) ( ϱ ) h k ( 2 ) ( ϱ ) d ϱ , 1 = 1 , 2 , , n 1 , k = 1 , 2 , , n 2 ,
B 1 , l : = 0 1 h 1 ( 1 ) ( ϱ ) g l ( 2 ) ( ϱ ) d ϱ , 1 = 1 , 2 , , n 1 , l = 1 , 2 , , m 2 ,
C k , 2 : = 0 1 h k ( 2 ) ( ϱ ) g 2 ( 1 ) ( ϱ ) d ϱ , k = 1 , 2 , , n 2 , 2 = 1 , 2 , , m 1 ,
and
D 2 , l : = 0 1 g 2 ( 1 ) ( ϱ ) g l ( 2 ) ( ϱ ) d ϱ , 2 = 1 , 2 , , m 1 , l = 1 , 2 , , m 2 .
Proof. 
Applying ( n 1 , m 1 ) and ( n 2 , m 2 ) –generalized convexity with respect to D ( 1 ) and D ( 2 ) of Θ , ψ on [ χ 1 , χ 2 ] , respectively, we have
Θ ( ϱ χ 1 + ( 1 ϱ ) χ 2 ) 1 n 1 1 = 1 n 1 h 1 ( 1 ) ( ϱ ) Θ ( χ 1 ) + 1 m 1 2 = 1 m 1 g 2 ( 1 ) ( ϱ ) Θ ( χ 2 )
and
ψ ( ϱ χ 1 + ( 1 ϱ ) χ 2 ) 1 n 2 k = 1 n 2 h k ( 2 ) ( ϱ ) ψ ( χ 1 ) + 1 m 2 l = 1 m 2 g l ( 2 ) ( ϱ ) ψ ( χ 2 ) .
Multiplying inequalities (15) and (16) on both sides, we obtain
Θ ( ϱ χ 1 + ( 1 ϱ ) χ 2 ) ψ ( ϱ χ 1 + ( 1 ϱ ) χ 2 ) 1 n 1 1 = 1 n 1 h 1 ( 1 ) ( ϱ ) 1 n 2 k = 1 n 2 h k ( 2 ) ( ϱ ) Θ ( χ 1 ) ψ ( χ 1 ) + 1 n 1 1 = 1 n 1 h 1 ( 1 ) ( ϱ ) 1 m 2 l = 1 m 2 g l ( 2 ) ( ϱ ) Θ ( χ 1 ) ψ ( χ 2 ) + 1 n 2 k = 1 n 2 h k ( 2 ) ( ϱ ) 1 m 1 2 = 1 m 1 g 2 ( 1 ) ( ϱ ) Θ ( χ 2 ) ψ ( χ 1 ) + 1 m 1 2 = 1 m 1 g 2 ( 1 ) ( ϱ ) 1 m 2 l = 1 m 2 g l ( 2 ) ( ϱ ) Θ ( χ 2 ) ψ ( χ 2 ) .
Integrating inequality (17) with respect to ϱ from 0 to 1 on both sides, we obtain
0 1 Θ ( ϱ χ 1 + ( 1 ϱ ) χ 2 ) ψ ( ϱ χ 1 + ( 1 ϱ ) χ 2 ) d ϱ = 1 χ 2 χ 1 χ 1 χ 2 Θ ( x ) ψ ( x ) d x
1 n 1 n 2 1 = 1 n 1 k = 1 n 2 0 1 h 1 ( 1 ) ( ϱ ) h k ( 2 ) ( ϱ ) d ϱ Θ ( χ 1 ) ψ ( χ 1 )
+ 1 n 1 m 2 1 = 1 n 1 l = 1 m 2 0 1 h 1 ( 1 ) ( ϱ ) g l ( 2 ) ( ϱ ) d ϱ Θ ( χ 1 ) ψ ( χ 2 )
+ 1 n 2 m 1 k = 1 n 2 2 = 1 m 1 0 1 h k ( 2 ) ( ϱ ) g 2 ( 1 ) ( ϱ ) d ϱ Θ ( χ 2 ) ψ ( χ 1 )
+ 1 m 1 m 2 2 = 1 m 1 l = 1 m 2 0 1 g 2 ( 1 ) ( ϱ ) g l ( 2 ) ( ϱ ) d ϱ Θ ( χ 2 ) ψ ( χ 2 ) .
= 1 n 1 n 2 1 = 1 n 1 k = 1 n 2 A 1 , k Θ ( χ 1 ) ψ ( χ 1 ) + 1 n 1 m 2 1 = 1 n 1 l = 1 m 2 B 1 , l Θ ( χ 1 ) ψ ( χ 2 )
+ 1 n 2 m 1 k = 1 n 2 2 = 1 m 1 C k , 2 Θ ( χ 2 ) ψ ( χ 1 ) + 1 m 1 m 2 2 = 1 m 1 l = 1 m 2 D 2 , l Θ ( χ 2 ) ψ ( χ 2 ) ,
which ends our proof. □

4. Further Results

We denote by L [ χ 1 , χ 2 ] the set of all integrable functions on [ χ 1 , χ 2 ] . Let us recall the following lemmas in order to establish our following results.
Lemma 1
(Midpoint identity [26]). Let Θ : τ R R be a differentiable function on τ and χ 1 , χ 2 τ with χ 1 < χ 2 . If Θ L [ χ 1 , χ 2 ] , then
T ( Θ ; χ 1 , χ 2 ) : = 1 χ 2 χ 1 χ 1 χ 2 Θ ( ϱ ) d ϱ Θ χ 1 + χ 2 2 = ( χ 2 χ 1 ) 4 0 1 ϱ Θ ϱ 2 χ 1 + 2 ϱ 2 χ 2 d ϱ 0 1 ϱ Θ ϱ 2 χ 2 + 2 ϱ 2 χ 1 d ϱ .
Lemma 2
(Ostrowski identity [27]). Let Θ : τ R R be a differentiable function on τ and χ 1 , χ 2 τ with χ 1 < χ 2 . If Θ L [ χ 1 , χ 2 ] , then
T 1 ( Θ ; x , χ 1 , χ 2 ) : = Θ ( x ) 1 χ 2 χ 1 χ 1 χ 2 Θ ( ϱ ) d ϱ = ( x χ 1 ) 2 χ 2 χ 1 0 1 ϱ Θ ϱ x + ( 1 ϱ ) χ 1 d ϱ ( χ 2 x ) 2 χ 2 χ 1 0 1 ϱ Θ ϱ x + ( 1 ϱ ) χ 2 d ϱ .
Lemma 3
(Simpson identity [28]). Let Θ : τ R R be a differentiable function on τ and χ 1 , χ 2 τ with χ 1 < χ 2 . If Θ L [ χ 1 , χ 2 ] , then
T 2 ( Θ ; χ 1 , χ 2 ) : = 1 6 Θ ( χ 1 ) + 4 Θ χ 1 + χ 2 2 + Θ ( χ 2 ) 1 χ 2 χ 1 χ 1 χ 2 Θ ( ϱ ) d ϱ = ( χ 2 χ 1 ) 0 1 2 ϱ 1 6 Θ ϱ χ 2 + ( 1 ϱ ) χ 1 d ϱ + 1 2 1 ϱ 5 6 Θ ϱ χ 2 + ( 1 ϱ ) χ 1 d ϱ .
Theorem 10.
Suppose that 1 n m , where n , m N , and assume that h 1 , g 2 : [ 0 , 1 ] [ 0 , + ) are continuous functions for all 1 = 1 , 2 , , n and 2 = 1 , 2 , , m , and Θ : [ χ 1 , χ 2 ] R be a differentiable function on ( χ 1 , χ 2 ) such that Θ L [ χ 1 , χ 2 ] . If | Θ | is an ( n , m ) –generalized convex function with respect to D on [ χ 1 , χ 2 ] , then we have
T ( Θ ; χ 1 , χ 2 ) ( χ 2 χ 1 ) 4 | Θ ( χ 1 ) | + | Θ ( χ 2 ) | 1 n 1 = 1 n U 1 + 1 m 2 = 1 m V 2 ,
where
U 1 : = 0 1 ϱ h 1 ϱ 2 d ϱ , 1 = 1 , 2 , , n and V 2 : = 0 1 ϱ g 2 ϱ 2 d ϱ , 2 = 1 , 2 , , m .
Proof. 
By using Lemma 1 and the ( n , m ) –generalized convexity of | Θ | with respect to D , we have
T ( Θ ; χ 1 , χ 2 ) ( χ 2 χ 1 ) 4 0 1 ϱ Θ ϱ 2 χ 1 + ( 2 ϱ ) 2 χ 2 d ϱ + 0 1 ϱ Θ ϱ 2 χ 2 + ( 2 ϱ ) 2 χ 1 d ϱ
( χ 2 χ 1 ) 4 { 0 1 ϱ 1 n 1 = 1 n h 1 ϱ 2 | Θ ( χ 1 ) | + 1 m 2 = 1 m g 2 ϱ 2 | Θ ( χ 2 ) | d ϱ
+ 0 1 ϱ 1 n 1 = 1 n h 1 ϱ 2 | Θ ( χ 2 ) | + 1 m 2 = 1 m g 2 ϱ 2 | Θ ( χ 1 ) | d ϱ }
= ( χ 2 χ 1 ) 4 | Θ ( χ 1 ) | + | Θ ( χ 2 ) | 1 n 1 = 1 n U 1 + 1 m 2 = 1 m V 2 ,
which ends our proof. □
Corollary 1.
We have particular cases from Theorem 10:
  • If h 1 ( ϱ ) = ϱ and g 2 ( ϱ ) = 1 ϱ for all 1 = 1 , 2 , , n , and 2 = 1 , 2 , , m , we obtain
    T ( Θ ; χ 1 , χ 2 ) ( χ 2 χ 1 ) 8 | Θ ( χ 1 ) | + | Θ ( χ 2 ) | .
  • If h 1 ( ϱ ) = ϱ 1 and g 2 ( ϱ ) = ( 1 ϱ ) 2 for all 1 = 1 , 2 , , n , and 2 = 1 , 2 , , m , we obtain
    T ( Θ ; χ 1 , χ 2 ) ( χ 2 χ 1 ) 4 | Θ ( χ 1 ) | + | Θ ( χ 2 ) | × 1 n 1 = 1 n 1 2 1 ( 1 + 2 ) + 1 m 2 = 1 m 1 2 2 2 2 + 1 2 2 + 1 1 1 2 + 2 2 2 + 2 1 .
  • If h 1 ( ϱ ) = ϱ s and g 2 ( ϱ ) = ( 1 ϱ ) s for all 1 = 1 , , n , 2 = 1 , , m , and s ( 0 , 1 ] , we obtain
    T ( Θ ; χ 1 , χ 2 ) ( χ 2 χ 1 ) 4 | Θ ( χ 1 ) | + | Θ ( χ 2 ) | × 1 2 s ( s + 2 ) + 1 2 s 2 s + 1 2 s + 1 1 1 s + 2 2 s + 2 1 .
Theorem 11.
Suppose that 1 n m , where n , m N , and assume that h 1 , g 2 : [ 0 , 1 ] [ 0 , + ) are continuous functions for all 1 = 1 , 2 , , n and 2 = 1 , 2 , , m , and Θ : [ χ 1 , χ 2 ] R be a differentiable function on ( χ 1 , χ 2 ) , such that Θ L [ χ 1 , χ 2 ] . If | Θ | q is an ( n , m ) –generalized convex function with respect to D on [ χ 1 , χ 2 ] , then for q > 1 and 1 p + 1 q = 1 , we have
T ( Θ ; χ 1 , χ 2 ) ( χ 2 χ 1 ) 4 1 p + 1 1 p { 1 n 1 = 1 n M 1 | Θ ( χ 1 ) | q + 1 m 2 = 1 m N 2 | Θ ( χ 2 ) | q 1 q + 1 n 1 = 1 n M 1 | Θ ( χ 2 ) | q + 1 m 2 = 1 m N 2 | Θ ( χ 1 ) | q 1 q } ,
where
M 1 : = 0 1 h 1 ϱ 2 d ϱ , 1 = 1 , 2 , , n and N 2 : = 0 1 g 2 ϱ 2 d ϱ , 2 = 1 , 2 , , m .
Proof. 
By using Lemma 1, Hölder’s inequality and the ( n , m ) –generalized convexity of | Θ | q with respect to D , we have
T ( Θ ; χ 1 , χ 2 ) ( χ 2 χ 1 ) 4 0 1 ϱ Θ ϱ 2 χ 1 + ( 2 ϱ ) 2 χ 2 d ϱ + 0 1 ϱ Θ ϱ 2 χ 2 + ( 2 ϱ ) 2 χ 1 d ϱ
( χ 2 χ 1 ) 4 0 1 ϱ p d ϱ 1 p
× 0 1 Θ ϱ 2 χ 1 + ( 2 ϱ ) 2 χ 2 q d ϱ 1 q + 0 1 Θ ϱ 2 χ 2 + ( 2 ϱ ) 2 χ 1 q d ϱ 1 q
( χ 2 χ 1 ) 4 1 p + 1 1 p
× { 0 1 1 n 1 = 1 n h 1 ϱ 2 | Θ ( χ 1 ) | q + 1 m 2 = 1 m g 2 ϱ 2 | Θ ( χ 2 ) | q d ϱ 1 q
+ 0 1 1 n 1 = 1 n h 1 ϱ 2 | Θ ( χ 2 ) | q + 1 m 2 = 1 m g 2 ϱ 2 | Θ ( χ 1 ) | q d ϱ 1 q }
= ( χ 2 χ 1 ) 4 1 p + 1 1 p { 1 n 1 = 1 n M 1 | Θ ( χ 1 ) | q + 1 m 2 = 1 m N 2 | Θ ( χ 2 ) | q 1 q
+ 1 n 1 = 1 n M 1 | Θ ( χ 2 ) | q + 1 m 2 = 1 m N 2 | Θ ( χ 1 ) | q 1 q } ,
which ends our proof. □
Corollary 2.
We have particular cases from Theorem 11:
  • If h 1 ( ϱ ) = ϱ and g 2 ( ϱ ) = 1 ϱ for all 1 = 1 , 2 , , n , and 2 = 1 , 2 , , m , we have
    T ( Θ ; χ 1 , χ 2 ) ( χ 2 χ 1 ) 4 4 q 1 p + 1 1 p | Θ ( χ 1 ) | q + 3 | Θ ( χ 2 ) | q 1 q + 3 | Θ ( χ 1 ) | q + | Θ ( χ 2 ) | q 1 q .
  • If h 1 ( ϱ ) = ϱ 1 and g 2 ( ϱ ) = ( 1 ϱ ) 2 for all 1 = 1 , 2 , , n , and 2 = 1 , 2 , , m , we obtain
    T ( Θ ; χ 1 , χ 2 ) ( χ 2 χ 1 ) 4 1 p + 1 1 p × { 1 n 1 = 1 n 1 2 1 ( 1 + 1 ) | Θ ( χ 1 ) | q + 1 m 2 = 1 m 2 2 + 1 1 2 2 ( 2 + 1 ) | Θ ( χ 2 ) | q 1 q + 1 n 1 = 1 n 1 2 1 ( 1 + 1 ) | Θ ( χ 2 ) | q + 1 m 2 = 1 m 2 2 + 1 1 2 2 ( 2 + 1 ) | Θ ( χ 1 ) | q 1 q } .
  • If h 1 ( ϱ ) = ϱ s and g 2 ( ϱ ) = ( 1 ϱ ) s for all 1 = 1 , , n , 2 = 1 , , m , and s ( 0 , 1 ] , we obtain
    T ( Θ ; χ 1 , χ 2 ) ( χ 2 χ 1 ) 4 2 s ( s + 1 ) q 1 p + 1 1 p × | Θ ( χ 1 ) | q + ( 2 s + 1 1 ) | Θ ( χ 2 ) | q 1 q + ( 2 s + 1 1 ) | Θ ( χ 1 ) | q + | Θ ( χ 2 ) | q 1 q .
Theorem 12.
Suppose that 1 n m , where n , m N , and assume that h 1 , g 2 : [ 0 , 1 ] [ 0 , + ) are continuous functions for all 1 = 1 , 2 , , n and 2 = 1 , 2 , , m , and Θ : [ χ 1 , χ 2 ] R be a differentiable function on ( χ 1 , χ 2 ) , such that Θ L [ χ 1 , χ 2 ] . If | Θ | q is an ( n , m ) –generalized convex function with respect to D on [ χ 1 , χ 2 ] , then for q > 1 , we have
T ( Θ ; χ 1 , χ 2 ) ( χ 2 χ 1 ) 4 1 2 1 1 q { 1 n 1 = 1 n U 1 | Θ ( χ 1 ) | q + 1 m 2 = 1 m V 2 | Θ ( χ 2 ) | q 1 q + 1 n 1 = 1 n U 1 | Θ ( χ 2 ) | q + 1 m 2 = 1 m V 2 | Θ ( χ 1 ) | q 1 q } ,
where U 1 and V 2 are defined as in Theorem 10.
Proof. 
By using Lemma 1, the well-known power mean inequality and the ( n , m ) –generalized convexity of | Θ | q with respect to D , we have
T ( Θ ; χ 1 , χ 2 ) ( χ 2 χ 1 ) 4 0 1 ϱ Θ ϱ 2 χ 1 + ( 2 ϱ ) 2 χ 2 d ϱ + 0 1 ϱ Θ ϱ 2 χ 2 + ( 2 ϱ ) 2 χ 1 d ϱ
( χ 2 χ 1 ) 4 0 1 ϱ d ϱ 1 1 q
× 0 1 ϱ Θ ϱ 2 χ 1 + ( 2 ϱ ) 2 χ 2 q d ϱ 1 q + 0 1 ϱ Θ ϱ 2 χ 2 + ( 2 ϱ ) 2 χ 1 q d ϱ 1 q
( χ 2 χ 1 ) 4 1 2 1 1 q
× { 0 1 ϱ 1 n 1 = 1 n h 1 ϱ 2 | Θ ( χ 1 ) | q + 1 m 2 = 1 m g 2 ϱ 2 | Θ ( χ 2 ) | q d ϱ 1 q
+ 0 1 ϱ 1 n 1 = 1 n h 1 ϱ 2 | Θ ( χ 2 ) | q + 1 m 2 = 1 m g 2 ϱ 2 | Θ ( χ 1 ) | q d ϱ 1 q }
= ( χ 2 χ 1 ) 4 1 2 1 1 q { 1 n 1 = 1 n U 1 | Θ ( χ 1 ) | q + 1 m 2 = 1 m V 2 | Θ ( χ 2 ) | q 1 q
+ 1 n 1 = 1 n U 1 | Θ ( χ 2 ) | q + 1 m 2 = 1 m V 2 | Θ ( χ 1 ) | q 1 q } ,
which ends our proof. □
Corollary 3.
We have particular cases from Theorem 12:
  • If h 1 ( ϱ ) = ϱ and g 2 ( ϱ ) = 1 ϱ for all 1 = 1 , 2 , , n , and 2 = 1 , 2 , , m , we obtain
    T ( Θ ; χ 1 , χ 2 ) ( χ 2 χ 1 ) 8 3 q | Θ ( χ 1 ) | q + 2 | Θ ( χ 2 ) | q 1 q + 2 | Θ ( χ 1 ) | q + | Θ ( χ 2 ) | q 1 q .
  • If h 1 ( ϱ ) = ϱ 1 and g 2 ( ϱ ) = ( 1 ϱ ) 2 for all 1 = 1 , 2 , , n , and 2 = 1 , 2 , , m , we obtain
    T ( Θ ; χ 1 , χ 2 ) ( χ 2 χ 1 ) 4 1 2 1 1 q × { [ 1 n 1 = 1 n 1 2 1 ( 1 + 2 ) | Θ ( χ 1 ) | q + 1 m 2 = 1 m 1 2 2 2 2 + 1 2 2 + 1 1 1 2 + 2 2 2 + 2 1 | Θ ( χ 2 ) | q ] 1 q + [ 1 n 1 = 1 n 1 2 1 ( 1 + 2 ) | Θ ( χ 2 ) | q + 1 m 2 = 1 m 1 2 2 2 2 + 1 2 2 + 1 1 1 2 + 2 2 2 + 2 1 | Θ ( χ 1 ) | q ] 1 q } .
  • If h 1 ( ϱ ) = ϱ s and g 2 ( ϱ ) = ( 1 ϱ ) s for all 1 = 1 , , n , 2 = 1 , , m , and s ( 0 , 1 ] , we obtain
    T ( Θ ; χ 1 , χ 2 ) ( χ 2 χ 1 ) 4 1 2 1 1 q × { 1 2 s ( s + 2 ) | Θ ( χ 1 ) | q + 1 2 s 2 s + 1 2 s + 1 1 1 s + 2 2 s + 2 1 | Θ ( χ 2 ) | q 1 q + 1 2 s ( s + 2 ) | Θ ( χ 2 ) | q + 1 2 s 2 s + 1 2 s + 1 1 1 s + 2 2 s + 2 1 | Θ ( χ 1 ) | q 1 q } .
Theorem 13.
Suppose that 1 n m , where n , m N , and assume that h 1 , g 2 : [ 0 , 1 ] [ 0 , + ) are continuous functions for all 1 = 1 , 2 , , n and 2 = 1 , 2 , , m , and Θ : [ χ 1 , χ 2 ] R be a differentiable function on ( χ 1 , χ 2 ) , such that Θ L [ χ 1 , χ 2 ] . If | Θ | is an ( n , m ) –generalized convex function with respect to D on [ χ 1 , χ 2 ] , then we have
T 1 ( Θ ; x , χ 1 , χ 2 ) ( x χ 1 ) 2 χ 2 χ 1 1 n 1 = 1 n E 1 | Θ ( x ) | + 1 m 2 = 1 m F 2 | Θ ( χ 1 ) | + ( χ 2 x ) 2 χ 2 χ 1 1 n 1 = 1 n E 1 | Θ ( x ) | + 1 m 2 = 1 m F 2 | Θ ( χ 2 ) | ,
where
E 1 : = 0 1 ϱ h 1 ϱ d ϱ , 1 = 1 , 2 , , n and F 2 : = 0 1 ϱ g 2 ϱ d ϱ , 2 = 1 , 2 , , m .
Proof. 
By using Lemma 2 and the ( n , m ) –generalized convexity of | Θ | with respect to D , we have
T 1 ( Θ ; x , χ 1 , χ 2 ) ( x χ 1 ) 2 χ 2 χ 1 0 1 ϱ Θ ϱ x + ( 1 ϱ ) χ 1 d ϱ
+ ( χ 2 x ) 2 χ 2 χ 1 0 1 ϱ Θ ϱ x + ( 1 ϱ ) χ 2 d ϱ
( x χ 1 ) 2 χ 2 χ 1 0 1 ϱ 1 n 1 = 1 n h 1 ϱ | Θ ( x ) | + 1 m 2 = 1 m g 2 ϱ | Θ ( χ 1 ) | d ϱ
+ ( χ 2 x ) 2 χ 2 χ 1 0 1 ϱ 1 n 1 = 1 n h 1 ϱ | Θ ( x ) | + 1 m 2 = 1 m g 2 ϱ | Θ ( χ 2 ) | d ϱ
= ( x χ 1 ) 2 χ 2 χ 1 1 n 1 = 1 n E 1 | Θ ( x ) | + 1 m 2 = 1 m F 2 | Θ ( χ 1 ) |
+ ( χ 2 x ) 2 χ 2 χ 1 1 n 1 = 1 n E 1 | Θ ( x ) | + 1 m 2 = 1 m F 2 | Θ ( χ 2 ) | ,
which ends our proof. □
Corollary 4.
We have particular cases from Theorem 13:
  • If h 1 ( ϱ ) = ϱ and g 2 ( ϱ ) = 1 ϱ for all 1 = 1 , 2 , , n , and 2 = 1 , 2 , , m , we obtain
    T 1 ( Θ ; x , χ 1 , χ 2 ) ( x χ 1 ) 2 6 ( χ 2 χ 1 ) 2 | Θ ( x ) | + | Θ ( χ 1 ) | + ( χ 2 x ) 2 6 ( χ 2 χ 1 ) 2 | Θ ( x ) | + | Θ ( χ 2 ) | .
  • If h 1 ( ϱ ) = ϱ 1 and g 2 ( ϱ ) = ( 1 ϱ ) 2 for all 1 = 1 , 2 , , n , and 2 = 1 , 2 , , m , we obtain
    T 1 ( Θ ; x , χ 1 , χ 2 ) ( x χ 1 ) 2 χ 2 χ 1 1 n 1 = 1 n 1 1 + 2 | Θ ( x ) | + 1 m 2 = 1 m 1 ( 2 + 1 ) ( 2 + 2 ) | Θ ( χ 1 ) | + ( χ 2 x ) 2 χ 2 χ 1 1 n 1 = 1 n 1 1 + 2 | Θ ( x ) | + 1 m 2 = 1 m 1 ( 2 + 1 ) ( 2 + 2 ) | Θ ( χ 2 ) | .
  • If h 1 ( ϱ ) = ϱ s and g 2 ( ϱ ) = ( 1 ϱ ) s for all 1 = 1 , , n , 2 = 1 , , m , and s ( 0 , 1 ] , we obtain
    T 1 ( Θ ; x , χ 1 , χ 2 ) 1 ( s + 1 ) ( s + 2 ) × ( x χ 1 ) 2 χ 2 χ 1 ( s + 1 ) | Θ ( x ) | + | Θ ( χ 1 ) | + ( χ 2 x ) 2 χ 2 χ 1 ( s + 1 ) | Θ ( x ) | + | Θ ( χ 2 ) | .
Theorem 14.
Suppose that 1 n m , where n , m N , and assume that h 1 , g 2 : [ 0 , 1 ] [ 0 , + ) are continuous functions for all 1 = 1 , 2 , , n and 2 = 1 , 2 , , m , and Θ : [ χ 1 , χ 2 ] R be a differentiable function on ( χ 1 , χ 2 ) such that Θ L [ χ 1 , χ 2 ] . If | Θ | q is ( n , m ) –generalized convex function with respect to D on [ χ 1 , χ 2 ] , then for q > 1 and 1 p + 1 q = 1 , we obtain
T 1 ( Θ ; x , χ 1 , χ 2 ) 1 p + 1 1 p × { ( x χ 1 ) 2 χ 2 χ 1 1 n 1 = 1 n H 1 | Θ ( x ) | q + 1 m 2 = 1 m G 2 | Θ ( χ 1 ) | q 1 q + ( χ 2 x ) 2 χ 2 χ 1 1 n 1 = 1 n H 1 | Θ ( x ) | q + 1 m 2 = 1 m G 2 | Θ ( χ 2 ) | q 1 q } ,
where H 1 and G 2 are defined as in Theorem 8.
Proof. 
By using Lemma 2, Hölder’s inequality and the ( n , m ) –generalized convexity of | Θ | q with respect to D , we obtain
T 1 ( Θ ; x , χ 1 , χ 2 ) ( x χ 1 ) 2 χ 2 χ 1 0 1 ϱ Θ ϱ x + ( 1 ϱ ) χ 1 d ϱ
+ ( χ 2 x ) 2 χ 2 χ 1 0 1 ϱ Θ ϱ x + ( 1 ϱ ) χ 2 d ϱ
( x χ 1 ) 2 χ 2 χ 1 0 1 ϱ p d ϱ 1 p 0 1 Θ ϱ x + ( 1 ϱ ) χ 1 q d ϱ 1 q
+ ( χ 2 x ) 2 χ 2 χ 1 0 1 ϱ p d ϱ 1 p 0 1 Θ ϱ x + ( 1 ϱ ) χ 2 q d ϱ 1 q
1 p + 1 1 p { ( x χ 1 ) 2 χ 2 χ 1 0 1 1 n 1 = 1 n h 1 ϱ | Θ ( x ) | q + 1 m 2 = 1 m g 2 ϱ | Θ ( χ 1 ) | q d ϱ 1 q
+ ( χ 2 x ) 2 χ 2 χ 1 0 1 1 n 1 = 1 n h 1 ϱ | Θ ( x ) | q + 1 m 2 = 1 m g 2 ϱ | Θ ( χ 2 ) | q d ϱ 1 q }
= 1 p + 1 1 p { ( x χ 1 ) 2 χ 2 χ 1 1 n 1 = 1 n H 1 | Θ ( x ) | q + 1 m 2 = 1 m G 2 | Θ ( χ 1 ) | q 1 q
+ ( χ 2 x ) 2 χ 2 χ 1 1 n 1 = 1 n H 1 | Θ ( x ) | q + 1 m 2 = 1 m G 2 | Θ ( χ 2 ) | q 1 q } ,
which ends our proof. □
Corollary 5.
We have particular cases from Theorem 14:
  • If h 1 ( ϱ ) = ϱ and g 2 ( ϱ ) = 1 ϱ for all 1 = 1 , 2 , , n , and 2 = 1 , 2 , , m , we obtain
    T 1 ( Θ ; x , χ 1 , χ 2 ) 1 2 1 q 1 p + 1 1 p × ( x χ 1 ) 2 χ 2 χ 1 | Θ ( x ) | q + | Θ ( χ 1 ) | q 1 q + ( χ 2 x ) 2 χ 2 χ 1 | Θ ( x ) | q + | Θ ( χ 2 ) | q 1 q .
  • If h 1 ( ϱ ) = ϱ 1 and g 2 ( ϱ ) = ( 1 ϱ ) 2 for all 1 = 1 , 2 , , n , and 2 = 1 , 2 , , m , we obtain
    T 1 ( Θ ; x , χ 1 , χ 2 ) 1 p + 1 1 p × { ( x χ 1 ) 2 χ 2 χ 1 1 n 1 = 1 n 1 1 + 1 | Θ ( x ) | q + 1 m 2 = 1 m 1 2 + 1 | Θ ( χ 1 ) | q 1 q + ( χ 2 x ) 2 χ 2 χ 1 1 n 1 = 1 n 1 1 + 1 | Θ ( x ) | q + 1 m 2 = 1 m 1 2 + 1 | Θ ( χ 2 ) | q 1 q } .
  • If h 1 ( ϱ ) = ϱ s and g 2 ( ϱ ) = ( 1 ϱ ) s for all 1 = 1 , , n , 2 = 1 , , m , and s ( 0 , 1 ] , we obtain
    T 1 ( Θ ; x , χ 1 , χ 2 ) 1 s + 1 1 q 1 p + 1 1 p × ( x χ 1 ) 2 χ 2 χ 1 | Θ ( x ) | q + | Θ ( χ 1 ) | q 1 q + ( χ 2 x ) 2 χ 2 χ 1 | Θ ( x ) | q + | Θ ( χ 2 ) | q 1 q .
Theorem 15.
Suppose that 1 n m , where n , m N , and assume that h 1 , g 2 : [ 0 , 1 ] [ 0 , + ) are continuous functions for all 1 = 1 , 2 , , n and 2 = 1 , 2 , , m , and Θ : [ χ 1 , χ 2 ] R be a differentiable function on ( χ 1 , χ 2 ) , such that Θ L [ χ 1 , χ 2 ] . If | Θ | q is the ( n , m ) –generalized convex function with respect to D on [ χ 1 , χ 2 ] , then for q > 1 , we have
T 1 ( Θ ; x , χ 1 , χ 2 ) 1 2 1 1 q { ( x χ 1 ) 2 χ 2 χ 1 1 n 1 = 1 n E 1 | Θ ( x ) | q + 1 m 2 = 1 m F 2 | Θ ( χ 1 ) | q 1 q + ( χ 2 x ) 2 χ 2 χ 1 1 n 1 = 1 n E 1 | Θ ( x ) | q + 1 m 2 = 1 m F 2 | Θ ( χ 2 ) | q 1 q } ,
where E 1 and F 2 are defined as in Theorem 13.
Proof. 
By using Lemma 2, the well-known power mean inequality and the ( n , m ) –generalized convexity of | Θ | q with respect to D , we have
T 1 ( Θ ; x , χ 1 , χ 2 ) ( x χ 1 ) 2 χ 2 χ 1 0 1 ϱ Θ ϱ x + ( 1 ϱ ) χ 1 d ϱ
+ ( χ 2 x ) 2 χ 2 χ 1 0 1 ϱ Θ ϱ x + ( 1 ϱ ) χ 2 d ϱ
( x χ 1 ) 2 χ 2 χ 1 0 1 ϱ d ϱ 1 1 q 0 1 ϱ Θ ϱ x + ( 1 ϱ ) χ 1 q d ϱ 1 q
+ ( χ 2 x ) 2 χ 2 χ 1 0 1 ϱ d ϱ 1 1 q 0 1 ϱ Θ ϱ x + ( 1 ϱ ) χ 2 q d ϱ 1 q
1 2 1 1 q { ( x χ 1 ) 2 χ 2 χ 1 0 1 ϱ 1 n 1 = 1 n h 1 ϱ | Θ ( x ) | q + 1 m 2 = 1 m g 2 ϱ | Θ ( χ 1 ) | q d ϱ 1 q
+ ( χ 2 x ) 2 χ 2 χ 1 0 1 ϱ 1 n 1 = 1 n h 1 ϱ | Θ ( x ) | q + 1 m 2 = 1 m g 2 ϱ | Θ ( χ 2 ) | q d ϱ 1 q }
= 1 2 1 1 q { ( x χ 1 ) 2 χ 2 χ 1 1 n 1 = 1 n E 1 | Θ ( x ) | q + 1 m 2 = 1 m F 2 | Θ ( χ 1 ) | q 1 q
+ ( χ 2 x ) 2 χ 2 χ 1 1 n 1 = 1 n E 1 | Θ ( x ) | q + 1 m 2 = 1 m F 2 | Θ ( χ 2 ) | q 1 q } ,
which ends our proof. □
Corollary 6.
We have particular cases from Theorem 15:
  • If h 1 ( ϱ ) = ϱ and g 2 ( ϱ ) = 1 ϱ for all 1 = 1 , 2 , , n , and 2 = 1 , 2 , , m , we obtain
    T 1 ( Θ ; x , χ 1 , χ 2 ) 1 2 3 q
    × ( x χ 1 ) 2 χ 2 χ 1 2 | Θ ( x ) | q + | Θ ( χ 1 ) | q 1 q + ( χ 2 x ) 2 χ 2 χ 1 2 | Θ ( x ) | q + | Θ ( χ 2 ) | q 1 q .
  • If h 1 ( ϱ ) = ϱ 1 and g 2 ( ϱ ) = ( 1 ϱ ) 2 for all 1 = 1 , 2 , , n , and 2 = 1 , 2 , , m , we obtain
    T 1 ( Θ ; x , χ 1 , χ 2 ) 1 2 1 1 q × { ( x χ 1 ) 2 χ 2 χ 1 1 n 1 = 1 n 1 1 + 2 | Θ ( x ) | q + 1 m 2 = 1 m 1 ( 2 + 1 ) ( 2 + 2 ) | Θ ( χ 1 ) | q 1 q + ( χ 2 x ) 2 χ 2 χ 1 1 n 1 = 1 n 1 1 + 2 | Θ ( x ) | q + 1 m 2 = 1 m 1 ( 2 + 1 ) ( 2 + 2 ) | Θ ( χ 2 ) | q 1 q } .
  • If h 1 ( ϱ ) = ϱ s and g 2 ( ϱ ) = ( 1 ϱ ) s for all 1 = 1 , , n , 2 = 1 , , m , and s ( 0 , 1 ] , we obtain
    T 1 ( Θ ; x , χ 1 , χ 2 ) 1 2 1 1 q 1 ( s + 1 ) ( s + 2 ) 1 q × ( x χ 1 ) 2 χ 2 χ 1 ( s + 1 ) | Θ ( x ) | q + | Θ ( χ 1 ) | q 1 q + ( χ 2 x ) 2 χ 2 χ 1 ( s + 1 ) | Θ ( x ) | q + | Θ ( χ 2 ) | q 1 q .
Theorem 16.
Suppose that 1 n m , where n , m N , and assume that h 1 , g 2 : [ 0 , 1 ] [ 0 , + ) are continuous functions for all 1 = 1 , 2 , , n and 2 = 1 , 2 , , m , and Θ : [ χ 1 , χ 2 ] R be a differentiable function on ( χ 1 , χ 2 ) , such that Θ L [ χ 1 , χ 2 ] . If | Θ | is the ( n , m ) –generalized convex function with respect to D on [ χ 1 , χ 2 ] , then we have
T 2 ( Θ ; χ 1 , χ 2 ) ( χ 2 χ 1 ) × { 1 n 1 = 1 n A 1 ( 1 ) + A 1 ( 3 ) A 1 ( 2 ) + A 1 ( 4 ) + B 1 ( 2 ) + B 1 ( 4 ) B 1 ( 1 ) + B 1 ( 3 ) | Θ ( χ 1 ) | + 1 m 2 = 1 m C 2 ( 1 ) + C 2 ( 3 ) C 2 ( 2 ) + C 2 ( 4 ) + D 2 ( 2 ) + D 2 ( 4 ) D 2 ( 1 ) + D 2 ( 3 ) | Θ ( χ 2 ) | } ,
where
A 1 ( 1 ) : = 0 1 6 h 1 ϱ d ϱ , A 1 ( 2 ) : = 1 6 1 2 h 1 ϱ d ϱ ,
A 1 ( 3 ) : = 1 2 5 6 h 1 ϱ d ϱ , A 1 ( 4 ) : = 5 6 1 h 1 ϱ d ϱ ,
B 1 ( 1 ) : = 0 1 6 ϱ h 1 ϱ d ϱ , B 1 ( 2 ) : = 1 6 1 2 ϱ h 1 ϱ d ϱ ,
B 1 ( 3 ) : = 1 2 5 6 ϱ h 1 ϱ d ϱ , B 1 ( 4 ) : = 5 6 1 ϱ h 1 ϱ d ϱ ,
and
C 2 ( 1 ) : = 0 1 6 g 2 ϱ d ϱ , C 2 ( 2 ) : = 1 6 1 2 g 2 ϱ d ϱ ,
C 2 ( 3 ) : = 1 2 5 6 g 2 ϱ d ϱ , C 2 ( 4 ) : = 5 6 1 g 2 ϱ d ϱ ,
D 2 ( 1 ) : = 0 1 6 ϱ g 2 ϱ d ϱ , D 2 ( 2 ) : = 1 6 1 2 ϱ g 2 ϱ d ϱ ,
D 2 ( 3 ) : = 1 2 5 6 ϱ g 2 ϱ d ϱ , D 2 ( 4 ) : = 5 6 1 ϱ g 2 ϱ d ϱ ,
for all 1 = 1 , 2 , , n and 2 = 1 , 2 , , m .
Proof. 
By using Lemma 3 and the ( n , m ) –generalized convexity of | Θ | with respect to D , we have
T 2 ( Θ ; χ 1 , χ 2 ) ( χ 2 χ 1 ) { 0 1 2 ϱ 1 6 Θ ϱ χ 2 + ( 1 ϱ ) χ 1 d ϱ + 1 2 1 ϱ 5 6 Θ ϱ χ 2 + ( 1 ϱ ) χ 1 d ϱ }
( χ 2 χ 1 ) { 0 1 2 ϱ 1 6 1 n 1 = 1 n h 1 ϱ | Θ ( χ 2 ) | + 1 m 2 = 1 m g 2 ϱ | Θ ( χ 1 ) | d ϱ
+ 1 2 1 ϱ 5 6 1 n 1 = 1 n h 1 ϱ | Θ ( χ 2 ) | + 1 m 2 = 1 m g 2 ϱ | Θ ( χ 1 ) | d ϱ }
= ( χ 2 χ 1 ) { 1 n 1 = 1 n A 1 ( 1 ) + A 1 ( 3 ) A 1 ( 2 ) + A 1 ( 4 ) + B 1 ( 2 ) + B 1 ( 4 ) B 1 ( 1 ) + B 1 ( 3 ) | Θ ( χ 1 ) |
+ 1 m 2 = 1 m C 2 ( 1 ) + C 2 ( 3 ) C 2 ( 2 ) + C 2 ( 4 ) + D 2 ( 2 ) + D 2 ( 4 ) D 2 ( 1 ) + D 2 ( 3 ) | Θ ( χ 2 ) | } ,
which ends our proof. □
Corollary 7.
If we take h 1 ( ϱ ) = ϱ 1 , 1 = 1 , , n and g 2 ( ϱ ) = ( 1 ϱ ) 2 , 2 = 1 , , m in Theorem 16, we obtain
T 2 ( Θ ; χ 1 , χ 2 ) ( χ 2 χ 1 ) × { 1 n 1 = 1 n U 1 ( 1 ) + U 1 ( 3 ) U 1 ( 2 ) + U 1 ( 4 ) + V 1 ( 2 ) + V 1 ( 4 ) V 1 ( 1 ) + V 1 ( 3 ) | Θ ( χ 1 ) | + 1 m 2 = 1 m P 2 ( 1 ) + P 2 ( 3 ) P 2 ( 2 ) + P 2 ( 4 ) + Q 2 ( 2 ) + Q 2 ( 4 ) Q 2 ( 1 ) + Q 2 ( 3 ) | Θ ( χ 2 ) | } ,
where
U 1 ( 1 ) : = 1 6 1 + 1 ( 1 + 1 ) , U 1 ( 2 ) : = 1 1 + 1 1 2 1 + 1 1 6 1 + 1 ,
U 1 ( 3 ) : = 1 1 + 1 5 6 1 + 1 1 2 1 + 1 , U 1 ( 4 ) : = 1 1 + 1 1 5 6 1 + 1 ,
V 1 ( 1 ) : = 1 6 1 + 2 ( 1 + 2 ) , V 1 ( 2 ) : = 1 1 + 2 1 2 1 + 2 1 6 1 + 2 ,
V 1 ( 3 ) : = 1 1 + 2 5 6 1 + 2 1 2 1 + 2 , V 1 ( 4 ) : = 1 1 + 2 1 5 6 1 + 2 ,
P 2 ( 1 ) : = 1 2 + 1 1 5 6 2 + 1 , P 2 ( 2 ) : = 1 2 + 1 5 6 2 + 1 1 2 2 + 1 ,
P 2 ( 3 ) : = 1 2 + 1 1 2 2 + 1 1 6 2 + 1 , P 2 ( 4 ) : = 1 6 2 + 1 ( 2 + 1 ) ,
and
Q 2 ( 1 ) : = 1 ( 2 + 1 ) ( 2 + 2 ) 1 2 + 1 5 6 2 + 1 1 2 + 2 5 6 2 + 2 ,
Q 2 ( 2 ) : = 1 2 + 1 5 6 2 + 1 1 2 + 2 5 6 2 + 2 1 2 + 1 1 2 2 + 1 1 2 + 2 1 2 2 + 2 ,
Q 2 ( 3 ) : = 1 2 + 1 1 2 2 + 1 1 2 + 2 1 2 2 + 2 1 2 + 1 1 6 2 + 1 1 2 + 2 1 6 2 + 2 ,
Q 2 ( 4 ) : = 1 2 + 1 1 6 2 + 1 1 2 + 2 1 6 2 + 2 .
Theorem 17.
Suppose that 1 n m , where n , m N , and assume that h 1 , g 2 : [ 0 , 1 ] [ 0 , + ) are continuous functions for all 1 = 1 , 2 , , n and 2 = 1 , 2 , , m , and Θ : [ χ 1 , χ 2 ] R be a differentiable function on ( χ 1 , χ 2 ) such that Θ L [ χ 1 , χ 2 ] . If | Θ | q is the ( n , m ) –generalized convex function with respect to D on [ χ 1 , χ 2 ] , then for q > 1 and 1 p + 1 q = 1 , we have
T 2 ( Θ ; χ 1 , χ 2 ) ( χ 2 χ 1 ) 2 p + 1 2 p + 1 + 1 6 p + 1 1 p × 1 n 1 = 1 n H 1 | Θ ( χ 2 ) | q + 1 m 2 = 1 m G 2 | Θ ( χ 1 ) | q 1 q ,
where H 1 and G 2 are as defined in Theorem 8.
Proof. 
By using Lemma 3, Hölder’s inequality and the ( n , m ) –generalized convexity of | Θ | q with respect to D , we have
T 2 ( Θ ; χ 1 , χ 2 ) ( χ 2 χ 1 ) { 0 1 2 ϱ 1 6 Θ ϱ χ 2 + ( 1 ϱ ) χ 1 d ϱ + 1 2 1 ϱ 5 6 Θ ϱ χ 2 + ( 1 ϱ ) χ 1 d ϱ }
( χ 2 χ 1 ) 0 1 2 ϱ 1 6 p d ϱ 1 p + 1 2 1 ϱ 5 6 p d ϱ 1 p 0 1 Θ ϱ χ 2 + ( 1 ϱ ) χ 1 q d ϱ 1 q
( χ 2 χ 1 ) 0 1 2 ϱ 1 6 p d ϱ 1 p + 1 2 1 ϱ 5 6 p d ϱ 1 p
× 0 1 1 n 1 = 1 n h 1 ϱ | Θ ( χ 2 ) | q + 1 m 2 = 1 m g 2 ϱ | Θ ( χ 1 ) | q d ϱ 1 q
= ( χ 2 χ 1 ) 2 p + 1 2 p + 1 + 1 6 p + 1 1 p 1 n 1 = 1 n H 1 | Θ ( χ 2 ) | q + 1 m 2 = 1 m G 2 | Θ ( χ 1 ) | q 1 q ,
which ends our proof. □
Corollary 8.
We have particular cases from Theorem 17:
  • If h 1 ( ϱ ) = ϱ and g 2 ( ϱ ) = 1 ϱ for all 1 = 1 , 2 , , n , and 2 = 1 , 2 , , m , we obtain
    T 2 ( Θ ; χ 1 , χ 2 ) ( χ 2 χ 1 ) 2 p + 1 2 p + 1 + 1 6 p + 1 1 p | Θ ( χ 1 ) | q + | Θ ( χ 2 ) | q 2 1 q .
  • If h 1 ( ϱ ) = ϱ 1 and g 2 ( ϱ ) = ( 1 ϱ ) 2 for all 1 = 1 , 2 , , n , and 2 = 1 , 2 , , m , we obtain
    T 2 ( Θ ; χ 1 , χ 2 ) ( χ 2 χ 1 ) 2 p + 1 2 p + 1 + 1 6 p + 1 1 p × 1 n 1 = 1 n 1 1 + 1 | Θ ( χ 2 ) | q + 1 m 2 = 1 m 1 2 + 1 | Θ ( χ 1 ) | q 1 q .
  • If h 1 ( ϱ ) = ϱ s and g 2 ( ϱ ) = ( 1 ϱ ) s for all 1 = 1 , , n , 2 = 1 , , m , and s ( 0 , 1 ] , we obtain
    T 2 ( Θ ; χ 1 , χ 2 ) ( χ 2 χ 1 ) 2 p + 1 2 p + 1 + 1 6 p + 1 1 p | Θ ( χ 1 ) | q + | Θ ( χ 2 ) | q s + 1 1 q .
Theorem 18.
Suppose that 1 n m , where n , m N , and assume that h 1 , g 2 : [ 0 , 1 ] [ 0 , + ) are continuous functions for all 1 = 1 , 2 , , n and 2 = 1 , 2 , , m , and Θ : [ χ 1 , χ 2 ] R be a differentiable function on ( χ 1 , χ 2 ) , such that Θ L [ χ 1 , χ 2 ] . If | Θ | q is the ( n , m ) –generalized convex function with respect to D on [ χ 1 , χ 2 ] , then for q > 1 , we have
T 2 ( Θ ; χ 1 , χ 2 ) ( χ 2 χ 1 ) 5 36 1 1 q
× { 1 n 1 = 1 n A 1 ( 1 ) 6 B 1 ( 1 ) | Θ ( χ 2 ) | q + 1 m 2 = 1 m C 2 ( 1 ) 6 D 2 ( 1 ) | Θ ( χ 1 ) | q 1 q
+ 1 n 1 = 1 n B 1 ( 2 ) A 1 ( 2 ) 6 | Θ ( χ 2 ) | q + 1 m 2 = 1 m D 2 ( 2 ) C 2 ( 2 ) 6 | Θ ( χ 1 ) | q 1 q
+ 1 n 1 = 1 n 5 A 1 ( 3 ) 6 B 1 ( 3 ) | Θ ( χ 2 ) | q + 1 m 2 = 1 m 5 C 2 ( 3 ) 6 D 2 ( 3 ) | Θ ( χ 1 ) | q 1 q
+ 1 n 1 = 1 n B 1 ( 4 ) 5 A 1 ( 4 ) 6 | Θ ( χ 2 ) | q + 1 m 2 = 1 m D 2 ( 4 ) 5 C 2 ( 4 ) 6 | Θ ( χ 1 ) | q 1 q } ,
where A 1 ( k ) , B 1 ( k ) , C 2 ( k ) , and D 2 ( k ) for all k = 1 , 2 , 3 , 4 are defined as in Theorem 16.
Proof. 
By using Lemma 3, the well-known power mean inequality and ( n , m ) –generalized convexity | Θ | q with respect to D , we have
T 2 ( Θ ; χ 1 , χ 2 ) ( χ 2 χ 1 ) { 0 1 2 ϱ 1 6 Θ ϱ χ 2 + ( 1 ϱ ) χ 1 d ϱ + 1 2 1 ϱ 5 6 Θ ϱ χ 2 + ( 1 ϱ ) χ 1 d ϱ }
( χ 2 χ 1 ) 0 1 2 ϱ 1 6 d ϱ 1 1 q + 1 2 1 ϱ 5 6 d ϱ 1 1 q
× 0 1 2 ϱ 1 6 Θ ϱ χ 2 + ( 1 ϱ ) χ 1 q d ϱ 1 q + 1 2 1 ϱ 5 6 Θ ϱ χ 2 + ( 1 ϱ ) χ 1 q d ϱ 1 q
( χ 2 χ 1 ) 0 1 2 ϱ 1 6 d ϱ 1 1 q + 1 2 1 ϱ 5 6 d ϱ 1 1 q
× { 0 1 2 ϱ 1 6 1 n 1 = 1 n h 1 ϱ | Θ ( χ 2 ) | q + 1 m 2 = 1 m g 2 ϱ | Θ ( χ 1 ) | q d ϱ 1 q
+ 1 2 1 ϱ 5 6 1 n 1 = 1 n h 1 ϱ | Θ ( χ 2 ) | q + 1 m 2 = 1 m g 2 ϱ | Θ ( χ 1 ) | q d ϱ 1 q }
= ( χ 2 χ 1 ) 5 36 1 1 q
× { 1 n 1 = 1 n A 1 ( 1 ) 6 B 1 ( 1 ) | Θ ( χ 2 ) | q + 1 m 2 = 1 m C 2 ( 1 ) 6 D 2 ( 1 ) | Θ ( χ 1 ) | q 1 q
+ 1 n 1 = 1 n B 1 ( 2 ) A 1 ( 2 ) 6 | Θ ( χ 2 ) | q + 1 m 2 = 1 m D 2 ( 2 ) C 2 ( 2 ) 6 | Θ ( χ 1 ) | q 1 q
+ 1 n 1 = 1 n 5 A 1 ( 3 ) 6 B 1 ( 3 ) | Θ ( χ 2 ) | q + 1 m 2 = 1 m 5 C 2 ( 3 ) 6 D 2 ( 3 ) | Θ ( χ 1 ) | q 1 q
+ 1 n 1 = 1 n B 1 ( 4 ) 5 A 1 ( 4 ) 6 | Θ ( χ 2 ) | q + 1 m 2 = 1 m D 2 ( 4 ) 5 C 2 ( 4 ) 6 | Θ ( χ 1 ) | q 1 q } ,
which ends our proof. □
Corollary 9.
If we take h 1 ( ϱ ) = ϱ 1 and g 2 ( ϱ ) = ( 1 ϱ ) 2 in Theorem 18 for all 1 = 1 , 2 , , n and 2 = 1 , 2 , , m , we obtain
T 2 ( Θ ; χ 1 , χ 2 ) ( χ 2 χ 1 ) 5 36 1 1 q × { 1 n 1 = 1 n U 1 ( 1 ) 6 V 1 ( 1 ) | Θ ( χ 2 ) | q + 1 m 2 = 1 m P 2 ( 1 ) 6 Q 2 ( 1 ) | Θ ( χ 1 ) | q 1 q + 1 n 1 = 1 n V 1 ( 2 ) U 1 ( 2 ) 6 | Θ ( χ 2 ) | q + 1 m 2 = 1 m Q 2 ( 2 ) P 2 ( 2 ) 6 | Θ ( χ 1 ) | q 1 q + 1 n 1 = 1 n 5 U 1 ( 3 ) 6 V 1 ( 3 ) | Θ ( χ 2 ) | q + 1 m 2 = 1 m 5 P 2 ( 3 ) 6 Q 2 ( 3 ) | Θ ( χ 1 ) | q 1 q + 1 n 1 = 1 n V 1 ( 4 ) 5 U 1 ( 4 ) 6 | Θ ( χ 2 ) | q + 1 m 2 = 1 m Q 2 ( 4 ) 5 P 2 ( 4 ) 6 | Θ ( χ 1 ) | q 1 q } ,
where U 1 ( k ) , V 1 ( k ) , P 2 ( k ) and Q 2 ( k ) for all k = 1 , 2 , 3 , 4 are as defined in Corollary 7.

5. Conclusions

In this article, we studied algebraic properties of a new generic class of functions called the ( n , m ) –generalized convex function; based on this, we proposed HH inequalities. Moreover, we obtained new midpoint-type inequalities of Ostrowski and Simpson based on our new definition, using well-known integral identities. Finally, we observed that the new, defined convex function is a powerful type of function used to investigate various inequalities in the real analysis field.

Author Contributions

Conceptualization, A.K. and P.O.M.; methodology, A.K., R.P.A. and P.O.M.; software, K.N.; K.M.A. and Y.S.H.; validation, A.K., P.O.M. and Y.S.H.; formal analysis, R.P.A., P.O.M., K.N. and K.M.A.; investigation, A.K., P.O.M. and Y.S.H.; resources, P.O.M., K.N. and K.M.A.; data curation, K.N. and Y.S.H.; writing—original draft preparation, A.K., P.O.M. and R.P.A.; writing—review and editing, A.K., P.O.M., K.M.A. and Y.S.H.; visualisation, A.K., R.P.A. and P.O.M.; supervision, R.P.A., P.O.M., K.N. and Y.S.H.; project administration, P.O.M. and K.N.; funding acquisition, K.N. All authors have read and agreed to the published version of the manuscript.

Funding

Not applicable.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Acknowledgments

This Research was supported by Taif University Researchers Supporting Project Number (TURSP2020/217), Taif University, Taif, Saudi Arabia, and the National Science, Research, and Innovation Fund (NSRF), Thailand.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Kashuri, A.; Meftah, B.; Mohammed, P.O.; Lupaş, A.A.; Abdalla, B.; Hamed, Y.S.; Abdeljawad, T. Fractional weighted Ostrowski-type inequalities and their applications. Symmetry 2021, 13, 968. [Google Scholar] [CrossRef]
  2. Kasamsetty, K.; Ketkar, M.; Sapatnekar, S.S. A new class of convex functions for delay modeling and its application to the transistor sizing problem [CMOS gates]. IEEE Trans.-Comput.-Aided Des. Integr. Circuits Syst. 2020, 19, 779–788. [Google Scholar] [CrossRef]
  3. Awan, M.U.; Noor, M.A.; Noor, K.I.; Khan, A.G. Some new classes of convex functions and inequalities. Miskolc Math. Notes 2018, 19, 77–94. [Google Scholar] [CrossRef]
  4. Hudzik, H.; Maligranda, L. Some remarks on s–convex functions. Aequationes Math. 1994, 48, 100–111. [Google Scholar] [CrossRef]
  5. Eftekhari, N. Some remarks on (s,m)–convexity in the second sense. J. Math. Inequal. 2014, 8, 489–495. [Google Scholar] [CrossRef] [Green Version]
  6. Kadakal, M.; İşcan, İ. Exponential type convexity and some related inequalities. J. Inequal. Appl. 2020, 1, 82. [Google Scholar] [CrossRef]
  7. Agarwal, P.; Choi, J. Fractional calculus operators and their image formulas. J. Korean Math. Soc. 2016, 53, 1183–1210. [Google Scholar] [CrossRef] [Green Version]
  8. Rekhviashvili, S.; Pskhu, A.; Agarwal, P.; Jain, S. Application of the fractional oscillator model to describe damped vibrations. Turk. J. Phys. 2019, 43, 236–242. [Google Scholar] [CrossRef]
  9. Dragomir, S.S.; Fitzpatrik, S. The Hadamard’s inequality for s–convex functions in the second sense. Demonstr. Math. 1999, 32, 687–696. [Google Scholar]
  10. Han, J.; Mohammed, P.O.; Zeng, H. Generalized fractional integral inequalities of Hermite–Hadamard-type for a convex function. Open Math. 2020, 18, 794–806. [Google Scholar] [CrossRef]
  11. Rashid, S.; Noor, M.A.; Noor, K.I.; Akdemir, A.O. Some new generalizations for exponentially s–convex functions and inequalities via fractional operators. Int. J. Sci. Innov. Tech. 2014, 1, 1–12. [Google Scholar] [CrossRef] [Green Version]
  12. İşcan, İ. Hermite–Hadamard–Fejér type inequalities for convex functions via fractional integrals. Stud. Univ. Babeş-Bolyai Math. 2015, 60, 355–366. [Google Scholar]
  13. Abdeljawad, T.; Mohammed, P.O.; Kashuri, A. New modified conformable fractional integral inequalities of Hermite–Hadamard type with applications. J. Funct. Spaces 2020, 2020, 4352357. [Google Scholar] [CrossRef]
  14. Fernandez, A.; Mohammed, P.O. Hermite–Hadamard inequalities in fractional calculus defined using Mittag–Leffler kernels. Math. Meth. Appl. Sci. 2020, 44, 8414–8431. [Google Scholar] [CrossRef]
  15. Ujević, N. Sharp inequalities of Simpson type and Ostrowski type. Comput. Math. Appl. 2004, 48, 145–151. [Google Scholar] [CrossRef] [Green Version]
  16. Liu, W.; Wen, W.; Park, J. Ostrowski type fractional integral inequalities for MT–convex functions. Miskolc Math. Notes 2015, 16, 249–256. [Google Scholar] [CrossRef]
  17. Kaijser, S.; Nikolova, L.; Persson, L.E.; Wedestig, A. Hardy type inequalities via convexity. Math. Inequal. Appl. 2005, 8, 403–417. [Google Scholar] [CrossRef] [Green Version]
  18. Rashid, S.; Jarad, F.; Noor, M.A.; Noor, K.I.; Baleanu, D.; Liu, J.B. On Grüss inequalities within generalized k–fractional integrals. Adv. Differ. Equ. 2020, 2020, 203. [Google Scholar] [CrossRef]
  19. Mohammed, P.O.; Sarikaya, M.Z.; Baleanu, D. On the generalized Hermite–Hadamard Inequalities via the tempered fractional integrals. Symmetry 2020, 12, 595. [Google Scholar] [CrossRef] [Green Version]
  20. Kalsoom, H.; Rashid, S.; Idrees, M.; Safdar, F.; Akram, S.; Baleanu, D.; Chu, Y.M. Post quantum integral inequalities of Hermite–Hadamard-type associated with co-ordinated higher-order generalized strongly pre-invex and quasi-pre-invex mappings. Symmetry 2020, 12, 443. [Google Scholar] [CrossRef] [Green Version]
  21. Bombardelli, M.; Varošanec, S. Properties of h–convex functions related to the Hermite–Hadamard–Fejér inequalities. Comput. Math. Appl. 2009, 58, 1869–1877. [Google Scholar] [CrossRef] [Green Version]
  22. Toply, T.; Kadakal, M.; İşcan, İ. On n–polynomial convexity and some related inequalities. AIMS Math. 2020, 5, 1304–1318. [Google Scholar] [CrossRef]
  23. Rashid, S.; İşcan, İ.; Baleanu, D.; Chu, Y.M. Generation of new fractional inequalities via n–polynomials s–type convexity with applications. Adv. Differ. Equ. 2020, 2020, 264. [Google Scholar] [CrossRef]
  24. Hadamard, J. Étude sur les propriétés des fonctions entières en particulier d’une fonction considérée par Riemann. J. Math. Pures Appl. 1893, 58, 171–215. [Google Scholar]
  25. Dragomir, S.S.; Agarwal, R.P.; Cerone, P. On Simpson’s inequality and applications. J. Inequal. Appl. 2000, 5, 533–579. [Google Scholar] [CrossRef] [Green Version]
  26. Sarikaya, M.Z.; Yildirim, H. On Hermite–Hadamard type inequalities for Riemann–Liouville fractional integrals. Miskolc Math. Notes 2017, 17, 1049–1059. [Google Scholar] [CrossRef]
  27. Alomari, M.; Darus, M.; Dragomir, S.S.; Cerone, P. Ostrowski type inequalities for functions whose derivatives are s–convex in the second sense. Appl. Math. Lett. 2010, 23, 1071–1076. [Google Scholar] [CrossRef]
  28. Qaisar, S.; He, C.; Hussain, S. A generalizations of Simpson’s type inequality for differentiable functions using (α,m)–convex functions and applications. J. Inequal. Appl. 2013, 2013, 158. [Google Scholar] [CrossRef] [Green Version]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Kashuri, A.; Agarwal, R.P.; Mohammed, P.O.; Nonlaopon, K.; Abualnaja, K.M.; Hamed, Y.S. New Generalized Class of Convex Functions and Some Related Integral Inequalities. Symmetry 2022, 14, 722. https://doi.org/10.3390/sym14040722

AMA Style

Kashuri A, Agarwal RP, Mohammed PO, Nonlaopon K, Abualnaja KM, Hamed YS. New Generalized Class of Convex Functions and Some Related Integral Inequalities. Symmetry. 2022; 14(4):722. https://doi.org/10.3390/sym14040722

Chicago/Turabian Style

Kashuri, Artion, Ravi P. Agarwal, Pshtiwan Othman Mohammed, Kamsing Nonlaopon, Khadijah M. Abualnaja, and Yasser S. Hamed. 2022. "New Generalized Class of Convex Functions and Some Related Integral Inequalities" Symmetry 14, no. 4: 722. https://doi.org/10.3390/sym14040722

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