Volume 2022, Issue 1 8575563
Research Article
Open Access

Schur, Hermite-Hadamard, and Fejér Type Inequalities for the Class of Higher-Order Generalized Convex Functions

Yi Ma

Corresponding Author

Yi Ma

School of Mathematics and Information Engineering, Longyan University, Longyan 364012, China lyun.edu.cn

Search for more papers by this author
Muhammad Shoaib Saleem

Corresponding Author

Muhammad Shoaib Saleem

Department of Mathematics, University of Okara, Okara, Pakistan uo.edu.pk

Search for more papers by this author
Imran Bashir

Imran Bashir

Department of Mathematics, University of Okara, Okara, Pakistan uo.edu.pk

Search for more papers by this author
Yeliang Xiao

Yeliang Xiao

School of General Education, Dalian Neusoft University of Information, Dalian 116023, China neusoft.edu.cn

Search for more papers by this author
First published: 11 June 2022
Academic Editor: Muhammad Gulzar

Abstract

The study of convex functions is an interesting area of research due to its huge applications in pure and applied mathematics special in optimization theory. The aim of this paper is to introduce and study a more generalized class of convex functions. We established Schur (S), Hermite-Hadamard (HH), and Fejér (F) type inequalities for introduced class of convex functions. The results presented in this paper extend and generalize many existing results of the literature.

1. Introduction

The study of convexity is very simple and ordinary concept and very important due to its massive applications in industry and business; convexity has a great influence on our daily life. In the solution of many real-world problems, the concept of convexity is very decisive. Problems faced in constrained control and estimation are convex. Geometrically, “the convex function is a real-valued function if the line segment joining any two of its points lies on or above the graph of the function in Euclidean space” [1, 2].

The inequality theory is a best way to understand and apply convexity and the following HH inequality for a C-function g is most famous and most studied inequality in recent years;
(1)

There are many interesting generalizations for HH inequality, for example, see [3, 4]. Alp et al. [5] established q–HH inequalities and gave quantum estimates for midpoint type inequalities via convex and quasi–C-functions. Rahman et al. [6] presented certain fractional proportional integral inequalities via C-functions. Liu et al. [7] established the several HH type inequality via C-function for ψ–Riemann–Liouville fractional integrals. In [8], Farid et al. established certain inequalities for Riemann–Liouville fractional integrals in more general form via C-functions and proposed some applications of their established results. Tunc [9] studied h–C-functions and presented Ostrowski-type inequalities via h–C-functions. He also proposed applications of his established Ostrowski-type inequalities to special means. Set et al. [10] established the HH’s inequality for some C-functions via fractional integrals. They also presented some other resulted results in the setting of fractional integrals.

Moreover, Avci, Kavurmaci, and Özdemir in [11] established the HH type for the class of s–C-functions in 2nd sense which is more generalized convexity. The exponentially m–C-functions were investigated by Rashid et al., in [12]. Different kinds of inequalities for exponentially m–C-functions were also established in the same paper. In [13], Baloch and Chu investigated harmonic C-functions and established Petrovic-type inequalities. Sun and Chu [14] studied g–C-functions and established inequalities for the generalized weighted mean values. Ali, Khan, and Khurshidi [15] investigated η–C-functions and established HH inequality for fractional integrals. Chu et al. [16] generalized the HH type inequalities for MT–C-functions and a variant of Jensen-type inequality for harmonic C-functions was given in [17].

The strongly C-function is one of the important functions of convexity, see [4, 1821]. A function g : I is strongly C-function if
(2)
holds ∀a1, a2L, t ∈ [0, 1] and μ is modulus value.

Convexity is being generalized day by day using different methods, In this work, we discuss the convexity of higher order. For the generalization and different application of convexity, see for instance [2224].

Convex function g : I = [a1, a2] ⊂ in the classical sense is introduced as
(3)
where a1, a2I and t ∈ [0, 1].
A function g on close set L is said to be a higher-order strongly convex, if there exists a constant μ ≥ 0, such that
(4)
where a1, a2L, q ≥ 0, t ∈ [0, 1] and
(5)

If we put q = 2, then (4) becomes strongly C-function in classical sense with same ϕ(t) as defined in (5).

It is noticed that the function ϕ(.) in (5) is not modified. Characterizations of the higher-order strongly C-function discussed in [25] are not correct. Mohsen et al. [26] modify ϕ(.) for the higher-order strongly C-function. Noor and Noor [27] generalized the concept of higher-order strongly convex defined in [26] by higher-order strongly generalized C-functions. For more detailed survey, we refer the readers to [28] and references therein.

Saleem et al. [29] extended the concept of higher-order strongly generalized C-function by introducing generalized strongly p–C-functions of higher order. The generalized strongly modified (p, h)–C-functions of higher order are studied in this paper.

In this paper, we introduced the generalized strongly modified (p; h)–C-functions of higher order and establish some well-known inequalities. Motivation of this work is to improve and extend the existing results. As stated in the remarks of this paper, many existing results can be derived from our results.

This paper is organized as follows: Section 2 contains definitions, Section 3 contains some basic results, and Section 4 contains HH, F, and S type inequalities for the generalized strongly modified (p, h)–C-functions of higher order.

2. Definitions and Basic Results

The first part of this paper contains basic definitions of convexity.

Definition 1 (Additive). A function η is additive when η(x1, y1) + η(x2, y2) = η(x1 + x2, y1 + y2)∀x1, x2, y1, y2, see [30] for detail.

Definition 2 (Super multiplicative function) [31]. A mapping g : I ⊂ is super multiplicative function when

(6)

Definition 3. Non-negatively homogeneous. A function η is said to be non-negatively homogeneous if η(λa1, λa2) = λη(a1, a2)∀a1, a2 and λ ≥ 0.

The definition of h–C-function is given in [32], which was generalized by Noor et al. in [33] as modified h–C-function. Later on in [34], the class of generalized strongly modified h–C-function. The class of generalized strongly C-functions of higher order was introduced in [27] and generalized strongly p–C-functions of higher order were introduced in [29]. Motivated by these innovations, the extended version of higher order strongly convexity, which is generalized strongly modified (p, h)–C-functions of higher order, is introduced in this paper as follows:

Definition 4. Generalized strongly modified (p, h)–C-functions of higher order. A function g : I⟶ is said to be generalized strongly modified (p, h)– convex of higher order if

(7)
holds for all a1, a2I, μ ≥ 0, and t ∈ [0, 1].

The class of all generalized strongly modified (p, h)–C-functions of higher order is denoted by GSMPHCF.

Remark 5.

  • (1)

    By taking μ = 0, p = 1, and η(a, b) = ab in (7), we get the definition of modified h convex function

  • (2)

    By taking μ = 0, p = 1, η(a, b) = ab, and h(t) = t in (7), we get the definition of C-function

  • (3)

    By taking h(t) = t and p = 1 in (7), we get the definition of generalized strongly convex function

  • (4)

    By taking h(t) = t in (7), we get the definition of generalized strongly p convex function

Hence, in the light of the above remark, our definition is more generalized than all exiting notions.

Now, we establish some basic properties.

Proposition 6. Consider η is non-negatively homogeneous and additive and the functions g, h : I are in GSMPHCF, then a f +bga, b+ is also in GSMPHCF.

Proof. It is cleared that (a + b)μ is always greater than μ because a, b+ and μ ≥ 0 using this fact we can show that af+bg ∀a, b+ is in GSMPHCF.

Proposition 7. Consider the functions h1, h2 on L are non-negative and h2(t) ⩽ h1(t). If g is generalized strongly modified (p, h2)–C-function of higher order, then g is also generalized strongly modified (p, h1)–C-function of higher order.

Proof. The proof is straight forward.

Proposition 8. Suppose a class of functions gj : I be in GSMPHCF where λj+ for every j and η is non-negatively homogeneous and additive then their linear combination f : is also in GSMPHCF.

Proof. Let the linear combination

(8)

Set , so

(9)

In this proof, we have used a straight forward result that μ is always greater than μ when λj+ for every j.

3. Hermite-Hadamard (HH), Fejér (F), and Schur (S) Type Inequalities

In this section, we present Hermite-Hadamard, Fejér, and Schur type inequalities for the new notion of convexity introduced in this paper.

3.1. S Type Inequality

Firstly, we present Schur type inequality.

Theorem 9. Let g : I and h be the super multiplicative function, where η : N × NM be a bi-function for appropriate A, B. Then, for a1, a2, a3L, a1 < a2 < a3 such that a3a1, a3a2, a2a1L, the following inequality holds

(10)
if and only if g is in GSMPHCF.

Proof. Let a1, a2, a3L, such that (a3a2)/(a3a1) ∈ (0, 1)⊆L, (a2a1)/(a3a1) ∈ (0, 1)⊆L, and ((a3a2)/(a3a1)) + ((a2a1)/(a3a1)) = 1, then

(11)
as h is super multiplicative.

Suppose , by definition of g, we have

(12)

Inserting , x = a1, and y = a3 in inequality (12), we obtain,

(13)

Multiplying (13) by and using the fact that h is super multiplicative, we get

(14)

For conversely insert a1 = x, , a3 = y, and in inequality (10) and using the fact that h is super multiplicative function such that h(t(ypxp)) ≥ h(ypxp)h(t), we get

(15)
implies
(16)

The prove is completed.

Remark 10.

  • (1)

    For h(t) = t, (10) reduced to S type inequality for function defined in [29].

  • (2)

    For μ = 0, p = 1, and η(a, b) = ab, (10) reduced to S type inequality for modified h–C-function, see [33].

3.2. HH Type Inequality

Here we present Hermite–Hadamard type inequality.

Theorem 11. Let g : I in GSMPHCF defined on [a1, a2] with a1 < a2, then

(17)

Proof. Choose and , then

(18)

Implies

(19)

Integrating with respect to t on [0,1], we get

(20)

Implies

(21)

Putting x = (1 − t)a1 + ta2, we get

(22)

Implies

(23)

Now,

(24)

Taking we get

(25)

Similarly,

(26)

From inequalities (25) and (26), we have

(27)

This implies

(28)

Implies

(29)

Inequalities (23) and (29) assure to proof.

Remark 12.

  • (1)

    For p = 1, μ = 0, and η(a, b) = ab, (17) reduced to HH type inequality for modified h–C-function, see [33].

  • (2)

    For h(t) = t, (17) reduced to HH type inequality for function defined in [29].

  • (3)

    For μ = 0, p = 1, η(a, b) = ab, and h(t) = t,(17) reduced to HH type inequality for C-function in classical sense

3.3. F Type Inequality

This subsection contains Fejér type inequality.

Lemma 13. Consider g be in GSMPHCF and η(x, y) = −η(y, x), then

(30)
where and t ∈ [0, 1].

Proof. Let g : I be in GSMPHCF then for , we get

(31)

Theorem 14. Let g : [a1, a2]⟶ be in GSMPHCF and w : [a1, a2]⟶ be integrable and symmetric w.r.t a1 + a2/2, where w ≥ 0, then we have

(32)
where Mη = [η(g(a1), g(a2)) + η(g(a2), g(a1))]/2.

Proof. Let g be a generalized strongly modified (p, h)–C-function of higher order where and , then

(33)
where , so
(34)

Now, if , then

(35)

So,

(36)

Similarly, if then

(37)

Adding inequalities (36) and (37), where w is symmetric, then

(38)

Now, for , we have

(39)

Inequalities (34) and (39) assure to proof.

Remark 15.

  • (1)

    For h(t) = t, this F type inequality reduced to F type inequality for the function defined in [29].

  • (2)

    For μ = 0, p = 1, and η(a, b) = ab, this F Type inequality reduced to F type inequality for the function defined in [33].

  • (3)

    For μ = 0, p = 1, η(a, b) = ab, and h(t) = t, this F type inequality reduced to F type inequality for C-function in classical sense

4. Conclusions

In this paper, we introduced the notion of generalized strongly modified (p; h)–C-functions of higher order and established HH, F, and S type inequalities. Many existing results can be derived from our results. Our results are applicable in pure and applied mathematics especially in optimization theory. For applications point, we refer to the readers [3538].

5. Future Directions

It will be interesting to introduce a new and more generalized version of the convexity. The inequalities established in this paper can be further extended for different versions of fractional integral operators.

Conflicts of Interest

We do not have any competing interests.

Authors’ Contributions

Y.M. wrote the final version of the paper and verified the results and arranged the funding for this paper. M.S.S. proposed the problem and supervised this work. I.B. proved the main results of the paper and Y.X. wrote the first version of the paper.

Acknowledgments

This research is funded by the School of General Education, Dalian Neusoft University of Information, Dalian 116023, China. This research is supported by Department of Mathematics, Univeristy of Okara, Okara Pakistan.

    Data Availability

    All data required for this paper is included within this paper.

      The full text of this article hosted at iucr.org is unavailable due to technical difficulties.