Giaccardi inequality for generalized convex functions and related results

In this article, the famous Giaccardi inequality is generalized for modified (h,m)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$(h,m)$\end{document}-convex functions under the condition that h is a multiplicative positive function. The results are also discussed for different values of h and m. Also, Lagrange and Cauchy type mean value theorems for the functional due to Giaccardi’s inequality are obtained.


Introduction and preliminaries
Convex functions and their generalizations are essential tools in mathematical analysis, with a vast range of applications and useful properties.In recent years, a number of new classes of convex functions have been introduced and studied.A significant generalization of convex functions is the introduction of h-convex functions by Varošanec [22].She studied the basic properties and showed that h-convex functions include s-convex functions [6], P-functions [2], and Godunova-Levin functions [5] as its special cases.For further generalization related to convex functions, see [3,7,18,19].In recent years, a large number of academics and mathematicians have looked into modified h-convex and modified (h, m)-convex functions given by Noor et al. in [9].
Modified h-convex and (h, m)-convex functions are crucial developments in the field of convex analysis.These functions satisfy a combination of convexity and monotonicity conditions.They have numerous applications in areas such as optimization, control theory, and mathematical economics.In 2014, Noor et al. published a paper entitled "Hermite-Hadamard inequalities for modified h-convex functions" [9].In this paper, the authors study the properties of modified h-convex and (h, m)-convex functions and derive inequalities that relate to their convexity and monotonicity.The purpose of this research is to further explore and expand upon the concepts and results presented in Noor et al. 's paper in [9] and to investigate the potential applications of these functions in various fields.
In the literature, Giaccardi introduced a famous inequality known as the Giaccardi inequality [4].Let ϑ := (ϑ 1 , ϑ 2 , . . ., ϑ n ) be a non-negative n-tuple and let χ := (χ 1 , χ 2 , . . ., χ n ) be a positive n-tuple such that θn : Many scholars worked on improvement and generalization of the Giaccardi inequality.Its variant for convex-concave antisymmetric functions was proved in [13].Pečarić and Perić gave an improvement of this inequality and derived related mean value theorems (MVTs) by considering the non-negative difference of the newly introduced inequality in [11].This inequality was derived on coordinates by Rehman et al. in [16].Recently, Liu et al. [8] generalized this inequality for modified h-convex functions.For further information on the Giaccardi inequality, see [4,10,14].
Definition 1.2 [21] Let J be an interval containing [0, 1] and let h : Definition 1.3 [9] Let J be an interval containing [0, 1] and let h : J → R be a non-negative function.A function : Remark 1.4 For different values of h and m in (3), one has the following results: 1 Taking h(λ) = λ α , one gets the (α, m)-convex functions given in [21].
5 By taking m = 1, one gets the modified h-convex functions given in [21].
In [8], the authors derived Lagrange and Cauchy type MVTs for the following functional due to Giaccardi's inequality: where for λ = 1, . . ., n, and h is a multiplicative positive function.

Theorem 1.5 Consider ∈ C 1 ([a, b]) and let h and h be bounded. Then for the functional
defined in (4), there exists in the interior of [a, b] such that ) and let h and h be bounded.Then for the functional defined in (4), there exists in the interior of [a, b] such that provided that the denominators are non-zero.
The special case of the above functional for a certain class of convex functions has been considered in [17].
This paper is set up as follows.
In the second section, a Giaccardi inequality is derived for modified (h, m)-convex functions.Some previous known results are obtained for different values of h and m.
In the third section, a non-negative linear functional due to the Giaccardi inequality for modified (h, m)-convex functions is defined.With the help of that functional, Lagrange and Cauchy type MVTs are obtained for the Giaccardi inequality for modified (h, m)convex functions.Some special cases are discussed.

Main results
We assume that ϑ : , and h : (0, ∞) → R is a positive multiplicative function in the rest of the paper.
First we give an important lemma, which has an essential role in proving our main result.
Proof Since θn ≥ ϑ λ and it is given that (ϑ) h(ϑ-mϑ 0 ) is increasing for ϑ > mϑ 0 , we have As h is assumed to be a positive function, we have Multiplying the above inequality by χ λ and taking the sum from λ = 1, . . ., n, we have This is equivalent to (7).
In the following theorem a Giaccardi inequality for modified (h, m)-convex functions is given. where Proof First assume that For > ϑ > mϑ 0 such that ϑ = λ + m(1λ)ϑ 0 , where λ ∈ (0, 1), we have Using the fact that is a modified (h, m)-convex function, we have Since h is multiplicative, we have Replacing (ϑ) by (ϑ)m (ϑ 0 ) in Lemma 2.1, we have This gives This completes the proof.
For a modified (h, m)-convex function , the mapping ϒ( , m, h; ϑ) defined in ( 10) is increasing if and only if provided that the derivatives exist.This gives The result given by Pečarić et al. in [12, p. 09] for convex functions can be obtained by taking h as identity function and m = 1.Another result for m-convex functions has been obtained by Bakula et al. in [1], which can easily be obtained by taking h(ϑ) = ϑ in (11).Also, taking m = 1 in (11)   A Petrović inequality for modified (h, m)-convex functions is given in the following theorem.

Theorem 2.4 Let
Proof It is an easy consequence of Theorem 2.2.Taking ϑ 0 = 0 in inequality (8) gives the required result.

Mean value theorems
For the non-negative difference of inequality ( 8), we define the linear functional as follows in order to provide the MVTs.
For : [0, ∞) → R, we define a functional where A is defined in ( 9) and h is a multiplicative positive function.
The linear functional due to Giaccardi's inequality for (α, m)-convex functions can be obtained by taking h(ϑ) = ϑ α in (13), which is as follows: Taking ϑ 0 = 0 in (13) yields the linear functional for the Petrović inequality: In this section, we give MVTs for functionals defined in ( 13) and (15).First we introduce two modified (h, m)-convex functions using the fact that a function is modified (h, m)convex if and only if the corresponding function defined in (10) is increasing.
Proof First assume that Putting the value of Ω 1 in the above expression, we have Differentiating with respect to ϑ, we have From the right inequality in ( 16), we have As h is a positive function, one can divide the above inequality by h 2 (ϑmϑ 0 ) on both sides.This gives Hence, d dϑ G(Ω 1 , m, h; ϑ) ≥ 0. Similarly, one can show that d dϑ G(Ω 2 , m, h; ϑ) ≥ 0. This shows that G(Ω 1 , m, h; ϑ) and G(Ω 2 , m, h; ϑ) are increasing for ϑ > mϑ 0 .Hence, Ω 1 and Ω 2 are modified (h, m)-convex functions.
The Lagrange type MVT for the functional defined in (13) is given in the following theorem.(13).

If and
are bounded and continuous on [0, ∞), then there exists in the interior of [0, ∞) such that Proof By the given condition h and h are bounded and and are bounded and continuous on [0, ∞), so there exist real numbers m and M such that Let Ω 2 be a modified (h, m)-convex function defined in Lemma 3.1.Then (Ω 2 ; m, h, ϑ 0 ) ≥ 0, that is, (ϑ)mϑ 2 ; m, h, ϑ 0 ≥ 0. This implies By considering the function Ω 1 defined in Lemma 3.1, one can show that From inequalities ( 18) and ( 19), we have So there exists in the interior of [0, ∞) such that . This completes the proof.

Conclusion
In this article, we generalized the Giaccardi and Petrović inequalities.Also, Lagrange and Cauchy type MVTs related to the functional caused by these inequalities are obtained.It is shown that some previous results have been obtained for particular values of h and m.For example, for m = 1, one gets the result given in [8].Considering h to be an identity function gives the result given in [17].For h being an identity and m = 1, one gets the result given in [13].This is an interesting research topic for the future.The findings of this work may encourage additional research in a variety of fields of pure and applied sciences.

4 A
result obtained by taking h(ϑ) = ϑ can be considered as a Giaccardi inequality for m-convex functions.Bakula et al. have given a similar result in [1, Theorem 3.3].5 A case when m = 1 has been proved by Liu et al. in [8, Theorem 4].

Remark 2 . 5 1 .
Different values of h and m in Theorem 2.4 give results having significant importance in the literature. 1 One gets the Petrović inequality for (α, m)-convex functions when h(ϑ) = ϑ α . 2 One gets the result proved by Liu et al. in [8, Corollary 2] by taking h(ϑ) = ϑ α and m = It can be considered as the Petrović inequality for (α, 1)-convex functions.3 The result given by Petrović in [15] can be obtained by taking h(ϑ) = ϑ and m = 1. 4 The result obtained by taking h(ϑ) = ϑ can be considered as the Petrović inequality for m-convex functions.In [1, Corollary 3.4], Bakula et al. proved a similar result.5 A case when m = 1 has been proved by Liu et al. in [8, Corollary 14].

Remark 3 . 3 Theorem 3 . 4
Now we discuss the cases when h and m have different particular values in Theorem 3.2.1 Taking h(ϑ) = ϑ α , one gets the Lagrange type MVT for the functional defined in(14). 2 The result obtained by taking h(ϑ) = ϑ α and m = 1 has been proved by Liu et al. in [8, Corollary 18]. 3 By taking h(ϑ) = ϑ and m = 1, one gets the result given by Rehman et al. in [17, Corollary 2.2]. 4 A case when h(ϑ) = ϑ has been proved by Rehman et al. in [17, Theorem 2.2]. 5 The result given in Theorem 1.5 can be obtained by taking m = 1.The following theorem consists of a Lagrange type MVT relating to the functional caused by the Petrović inequality.Assume that h and h are bounded functions.If and are bounded and continuous on [0, ∞), then there exist in the interior of [0, ∞) such that P( ; m, h) = h( ) ( ) -( ( )m (0))h ( ) 2 h( ) -2 h ( ) P(F ; m, h), (