Abstract

The understanding of inequalities in convexity is crucial for studying local fractional calculus efficiency in many applied sciences. In the present work, we propose a new class of harmonically convex functions, namely, generalized harmonically --convex functions based on fractal set technique for establishing inequalities of Hermite-Hadamard type and certain related variants with respect to the Raina’s function. With the aid of an auxiliary identity correlated with Raina’s function, by generalized Hölder inequality and generalized power mean, generalized midpoint type, Ostrowski type, and trapezoid type inequalities via local fractional integral for generalized harmonically --convex functions are apprehended. The proposed technique provides the results by giving some special values for the parameters or imposing restrictive assumptions and is completely feasible for recapturing the existing results in the relative literature. To determine the computational efficiency of offered scheme, some numerical applications are discussed. The results of the scheme show that the approach is straightforward to apply and computationally very user-friendly and accurate.

1. Introduction

Fractional calculus is a developing arena in mathematics with profound presentations in all connected areas such as wave liquids, thermodynamics, image processing, virology, biological population models, chaos, and signals processing, see [15]. It has been employed to model physical phenomena that are originated to be paramountly described by fractional differential equations. Nowadays, the local fractional calculus is trying to report the nondifferentiable problems, for example, heat conduction problem involving local derivatives of fractional order [6, 7], local fractional Tricomi equation [8], and fractal vehicular traffic flow [9].

Also, several noted variants via local fractional integral have been investigated by many researchers, for example, Mo et al. [10] propounded Hermite-Hadamard inequalities for generalized -convex functions. Abdeljawad et al. [11] introduced some local fractional variants for generalized -convex functions in the fractal style with applications. Also, Sun and Liu [12] reported new generalizations of Hermite-Hadamard inequalities for generalized harmonically convex functions. For further investigations concerning to local fractional integral inequalities, we recommend the readers to [1315] and the references therein.

It is well known that convexity theory has potential applications in many intriguing and captivating fields of research and furthermore played a remarkable role in numerous areas, such as coding theory, optimization, physics, information theory, engineering, and inequality theory. Several new classes of classical convexity have been proposed in the literature (see [1626]). Many researchers endeavored, attempted, and maintain their work on the concept of convex functions, generalize its variant forms in different ways using innovative ideas and fruitful techniques [2729]. In this regard, integral inequalities have played an important role in describing real world problems such as in elementary research conducted by Niculescu and Persson [30]. In this context, Hermite-Hadamard [31, 32] like type inequalities are very influential in convexity theory, which describes that if is convex function, then the double inequality holds for all with

Numerous approaches have been done by several researchers to inquire novel generalizations, speculations, and modifications for the Hermite-Hadamard inequality and its variant forms; we prescribe the related phenomena [3336] to interested readers.

Now, we evoke the concept of harmonically convex function [37] as follows.

Definition 1 ([37]). Let be an interval, and a real-valued function is said to be harmonically convex if the inequality holds for all and

In [37], can derived the Hermite-Hadamard inequality for harmonically convex function. holds for all with and (the set of Lebesgue integrable functions).

To make this collection more comprehensive, we introduce the notion of generalized harmonically --convex functions in the sense of Raina’s function on fractal set. By considering generalized harmonically --convex functions, certain refinements of Hermite-Hadamard type inequalities are derived that can be used to characterize some useful consequences of harmonically -convex functions with the appropriate assumption of , which are connected to Raina’s function. Remarkable special cases are captured, and new Ostrowski type results are proved for the aforesaid class of functions. Additionally, our findings for the new schemes are also constituted some better approaches in various directions for proposing variation in accordingly Remark 12. Application of the -type special mean and Mittag-Leffler functions are presented by mingling the suggested methodology and the theory of the special functions. We hope that the idea and results obtained herein will be a catalyst for further investigation.

2. Prelude

In what follows, we demonstrate a different notion of differentiation that merges the idea of fractional differentiation and fractal derivative; recently, one has established the accompanying sets [6].

For the sake of brevity, we mention (the set of natural numbers), (set of positive integers), (set of rational number), and (set of real numbers), respectively.

Also, whenever the -type set of real line numbers are included, the is supposed to be implicitly One has also characterized by two binary operations the addition “+” and the multiplication “.” (which is conventionally omitted) on the -type set of real line numbers as follows.

For two binary operations the addition “+” and the multiplication “.” are defined as and for

Then, we have the following asserations to show (1) is an abelian group: for (i)(ii)(iii)(iv) is the additive identity for (v) for any is the inverse element of for (2) is an abelian group: for (vi)(vii)(viii)(ix) is the multiplicative identity for (x) for any is the inverse element of for (3)Distributive law holds:

Proposition 2. The following asserations holds true: (i) is a field(ii)The additive identity and the multiplication identity are unique(iii)The additive inverse element and the multiplicative inverse element are unique(iv)For each , its inverse element may be written as but not as ; for each , its inverse element may be written as (v)If the order is defined on as follows: if and only if then is an ordered field like

In [6], Yang introduced the following notions for local fractional continuity and differentiability as follows:

Definition 3 ([6]). A nondifferentiable mapping is said to be local fractional continuous at if for any there exists , satisfying that holds for If is local continuous on then we symbolize it by .

Definition 4 ([6]). The local fractional derivative of of order at is defined by the expression where Let If there exists for any then it is denoted by where .

Definition 5. Let and let be a partition of which satisfies Then, the local fractional integral of on of order is defined as follows where and .
Here, it follows that if and if For any if there exists then it is denoted by

Lemma 6 ([6]). (1)Suppose that then (2)Suppose that and then

Lemma 7 ([6]).

An analog in the fractal set of the classical Hölder’s inequality has been established by [15], which is asserted by the following lemma.

Lemma 8 ([15]. Generalized Hölder’s inequality). For with and let then

In the work of Sun and Liu [13], we present the following concept related with the notion of generalized harmonically convexity.

Definition 9 ([13]). Let be an interval and let then is said to be generalized harmonically convex function if the inequality holds:

Recently, several noted consequences and motivating facts related to fractal theory have been appeared in the literature [5, 14, 15]. In [13], Sun explored the following analog of the Hermite-Hadamard inequality (3) for generalized harmonically convex functions.

Firstly, let be a bounded sequence of real numbers, and denotes the Raina’s function.

In [38], Raina explored a new class of functions stated as: where and is bounded sequence of positive real numbers. Notice that if we choose in (13), then where , and are parameters which can choose aribtrary real and complex values (provided that ,), and we have the notion by then the classical hypergeometric function stated as follows

Also, if with and restricting its domain to in (13), then we have the classical Mittag-Leffler function:

Next, we evoke a novel concept of harmonic set and mappings including Raina’s functions.

Definition 10. Let and be a bounded sequence of real numbers. A nonempty set is said to be generalized harmonically -convex set, if for all

Next, we introduce the notion of generalized harmonically --convex function as follows:

Definition 11. Let and be a bounded sequence of real numbers. If a mapping satisfies the following inequality: holds for all and

Remark 12. In view of Definition 11, we have that (i)Choosing then we acquire harmonically -convex function as follows: (ii)If we take and then we get Definition 3.1 in [13](iii)If we take along with then we get Definition in [37]

Recall the two special functions on Yang’s fractal sets. (1)Generalized beta function (2)Generalized hypergeometric function

3. Hermite-Hadamard Type Inequality

In this section, we derive a novel version of Hermite-Hadamard inequalities for generalized harmonically -convex functions, and this is the main motivation of this paper.

Theorem 13. For a bounded sequence of real numbers and be generalized harmonically --convex function where such that and Then, the following inequalities hold:

Proof. Since is generalized harmonically --convex function with then Let and in (25). Then, by local fractional integration over we have Also, using the fact that we have For the proof of other inequality in (73), noting that is a generalized harmonically --convex mapping, for we have Again, using local fractional integration for above inequality with respect to over yields Combining (28) and (30), we get the inequality (24). Hence, the proof is completed.

Certain noteworthy cases of Theorem 13 are established as follows: (i)Choosing then we attain a new consequence for harmonically --convex function

Corollary 14. For a bounded sequence of real numbers and be harmonically --convex function where such that Then, the following inequalities hold:

Remark 15. In view of Theorem 13, we have that (i)Letting and then we get Theorem 4.1 of [13].(ii)Letting and then we get Theorem 3 of [39].

Lemma 16. For a bounded sequence of real numbers and ( is the interior of )be a generalized harmonically -convex function, where such that and Then, the identity where holds for and

Proof. By local fractional integration by parts, we have Setting then Analogously, we have Adding and , we obtain the required result. This completes the proof of Lemma 16.

Theorem 17. Assume that the hypothesis of Lemma 16 are satisfied. If is a generalized harmonically --convex function on for Then, the following inequality for local fractional integrals holds where

Proof. By means of Lemma 16, the generalized power mean inequality and the generalized harmonically --convexity of we have Employing Lemma 7, we have that Setting , with the aid of Lemma 7 and simple computations yield In a similar way, we can find A combination of (41)–(44) with (39), we get the desired inequality (37). This gives the proof of Theorem 17.

From Theorem 17, we get the following corollaries immediately.

Corollary 18. Let Then, Theorem 17 leads to the following local fractional integral inequality of “Ostrowski type” where

Corollary 19. Let Then, Theorem 17 leads to the following local fractional integral inequality of “Ostrowski type” where

Corollary 20. By means of Corollary 18 and Corollary 19. Then, Theorem 17 leads to the following local fractional integral inequality of “trapezoid type” where , and are given in Corollary 18 and Corollary 19, respectively.

Corollary 21. Let Then, Theorem 17 leads to the following local fractional integral inequality of “midpoint type” where

Theorem 22. Assume that the hypothesis of Lemma 16 are satisfied. If is a generalized harmonically --convex function on for Then, the following inequality for local fractional integrals holds where

Proof. By means of Lemma 16 and utilizing the generalized Hölder inequality, we have Since is generalized harmonically --convex function, then we have Analogously, we have Setting , with the aid of Lemma 7 and simple computations yield In a similar way, we have A combination of (55)–(58) with (54), we get the desired inequality (52). Hence, the proof is completed.

From Theorem 22, we get the following corollaries immediately.

Corollary 23. Let Then, Theorem 17 leads to the following local fractional integral inequality of “Ostrowski type” where

Corollary 24. Let Then, Theorem 17 leads to the following local fractional integral inequality of “Ostrowski type” where

Corollary 25. By means of Corollary 23 and Corollary 24. Then, Theorem 22 leads to the following local fractional integral inequality of “trapezoid type”

Corollary 26. Let Then, Theorem 17 leads to the following local fractional integral inequality of “midpoint type” where

4. Applications to Special Means

In this section, we recall the following -type special means for two positive real numbers and where : (1)The arithmetic mean (2)The geometric mean (3)The harmonic mean (4)The -logarithmic mean

These means have huge applications in pure and applied analysis and different type of numerical approximations. However, the following simple relationships are known in the literature.

Assume the mapping and Then, is generalized harmonically -convex on Therefore, we can obtain the following results for

Proposition 27. For and with we have the following inequality where , and are given in Corollary 18 and Corollary 19, respectively.

Proof. Taking for in Corollary 20, then we get the immediate consequence.

Proposition 28. For and with we have the following inequality where and are defined in Corollary 26.

Proof. Taking for in Corollary 26, then we get the immediate consequence.

5. Applications to Mittag-Leffler Function

Taking with and then from Theorems 13 to 22, the following results hold.

Theorem 29. Let be a generalized harmonically --convex function where such that and Then, the following inequalities hold:

Theorem 30. For a bounded sequence of real numbers and ( is the interior of ), where such that and If is a generalized harmonically --convex function on for Then, the following inequality for local fractional integrals holds where

6. Conclusion

On the development of this work, we have introduced the notion of generalized harmonically -convex functions in fractal domain. Adopting this novel approach, we derived a new identity that has been correlated with some novel and well-known midpoint type, Ostrowski type, and trapezoid type inequalities in the relative literature have been introduced. For generalized harmonically --convex functions, we investigated bounds for Hermite-Hadamard type inequalities for local fractional differentiation in the frame of Raina’s function, which direct to several noted estimates computed by [40]. In addition to this, the findings and the techniques in this work are entirely new. This study demonstrates methods that can be utilized to examine the much to explore in the area of local fractional calculus, geometric aided design by proposing the variation in the fractal parameters. Hence, the proposed methodology is a powerful tool for solving local fractional linear equations of physical importance.

Data Availability

The data used to support the findings of this study are available from the corresponding author uponThe data used to support the findings of this study are available from the corresponding author upon request.

Conflicts of Interest

The authors declare that they have no competing interests.

Authors’ Contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

Acknowledgments

This work was supported by the National Natural Science Foundation of China (Grant No. 61673169).