Abstract
This study aims to construct some new Milne-type integral inequalities for functions whose modulus of the local fractional derivatives is convex on the fractal set. To that end, we develop a novel generalized integral identity involving first-order generalized derivatives. Finally, as applications, some error estimates for the Milne-type quadrature formula and new inequalities for the generalized arithmetic and p-Logarithmic means are derived. This paper’s findings represent a significant improvement over previously published results. The paper’s ideas and formidable tools may inspire and motivate further research in this worthy and fascinating field.
1. Introduction
Convexity plays a critical and important role in various disciplines, such as economics, finance, optimization, as well as the game theory. For sufficiently nice functions, one can easily determine convexity by looking at its second derivative. Due to its varies type of applications, this notion has been developed and generalized in numerous ways. The concept is intimately connected to the evolution of the theory of inequalities, which has several applications in differential and difference equations, as well as numerical analysis. See [1,2,3,4,5] and its cited sources for a list of articles on quadrature.
Fractional calculus(FC) is a significant part of mathematical analysis that arises from the classical definitions of integral and derivative operators of noninteger order. It is also an effective tool for describing the memory and inherited features of a wide variety of materials and processes. As a crucial instrument for scientists, fractional calculus is gaining prominence at present. It has been utilized successfully in a variety of scientific and engineering sectors, see [6,7].
Fractals have been observed in various scientific disciplines for approximately a century. However, they have only recently become a subject of mathematical study. Benoit Mandelbrot was the founder of the theory of fractals. Since then, lots of scholarly articles, surveys, popular papers, and books on fractals have been published. Mandelbrot, in [8], defined a fractal set which Hausdorff dimension stricly exceeds the topological dimension. In addition, Yang [9] established the numerical -sets, where is the fractal’s dimension. For additional information on fractal sets, see [9,10,11] and their citations.
The notion of fractal calculus (often known as local fractional calculus) has received a great deal of interest from researchers recently. This concept has advanced rapidly due to its diverse and extensive applications, not only in mathematics but also in other scientific disciplines. In [12], the fractional-wave equation on Cantor sets was studied. The Cantor sets’ heat conduction equation was presented in [13]. Ref. [14] provides the perturbation solution for the oscillator of free damped vibrations. Local fractional PDEs of elliptic, hyperbolic, and parabolic types were considered in [15].
In recent years, the relationship between fractal sets, integral inequalities, and convexity has attracted significant attention from researchers. Notably, a number of articles covering this context have been published. To see papers dealing inequalities in the fractal set, we refer readers to [16,17,18,19,20,21,22,23,24,25,26,27,28]. This work is focused on three-point Newton–Cotes formulas, examples of which are provided below.
In [29], the authors established the Simpson inequality via generalized quasi convexity as follows:
Theorem 1.
Consider the subset I of , ( represents the interior of I) where and for with . If is the generalized quasi convex function; then, the inequality holds:
Moreover, Sarikaya et al. [28] presented the following Simpson-type inequality via generalized convexity.
Theorem 2.
Consider the subset of , ( represents the interior of I) where and for with . If is the generalized convex function; then, the inequality holds:
This result has been extended for generalized -convex functions by Abdeljawad et al. [16].
Theorem 3.
Cosidering is a differentiable on where for with and . If is generalized -convex on I; then, we have
Furthermore, Meftah et al. [25] provided the following Maclaurin-type inequality for generalized convex functions.
Theorem 4.
Assume that is a differentiable on such that and with . If is a generalized convex on ; then, we have
More recently, the corrected Dual–Simpson–Type inequalities for generalized functions was establish by Lakhdari et al. in [23].
Theorem 5.
Assume that is a differentiable on such that and with . If is generalized convex on , then we have
Inspired by the preceding investigation, the present research paper purports to examine the Milne-type quadrature formula, which represents another type of three-point Newton–Cotes formulas involving a corrector term.
The Milne-type rule defined on the real line numbers can be stated as follows:
where
and denotes the associated error.
By using new generalized integral identities, one can establish some new estimates of the Milne quadrature property on fractal set for functions having noninteger derivatives of order that are generalized convex. later some examples as applications of our findings will be discussed.
The remainder of the paper is structured as follows: Recalling some definitions and concepts related to fractal calculus in Section 2. Section 3 begins by presenting a new identity for the Milne quadrature formula involving the first-order noninteger derivatives, followed by some related inequalities via generalized convexity. Finally, we provide some applications to support our findings, followed by a brief conclusion.
2. Preliminaries
In this part of work, we review and recall some concepts from fractal theory; for details, see [9], which will be applied in the development of the study. The following -type sets are defined for :
The -type set of integer is defined as
The definition of the -type set of rational is
The -type irrational set is defined as
The definition of the -type set of the real numbers is given by
Note that according to Yang’s definition of -type sets, the theory of operator algebras for the real line number on fractal sets is the theory of the real line number operations, and for all , and in , we have
- and are in the set .
- .
- .
- .
- .
- .
- and .
In [9,30], Gao-Yang-Kang introduced the local noninteger derivative and integrals as follows.
Definition 1
([9]). A non-differentiable function is called a local fractional continuous at , if
holds for , where and we denote as space of all locally fractional continuous functions on .
Definition 2
([9]). The local fractional derivative of of order γ at the point is defined as
where
If
exists ; then, for
Definition 3
([9]). Consider . The fractional integral is defined as
where and , for , and is partition of interval .
In this case, it is evident that
We designated by if exists, .
Lemma 1
([9]). Let ; hence,
Integration by parts for local fractional Considering and , we obtain
Lemma 2
([9]). For , we have
Lemma 3
([9]). Assuming , with ; then,
Lemma 4
(Generalized power mean inequality [9]). Let , ; then,
Definition 4
(Generalized convex function [9]). A function is said to be a generalized convex function on I if
holds, and .
Two straightforward examples of generalized convex functions are provided below:
- , with and .
- , where denotes the Mittag–Leffler function.
3. Main Results
To demonstrate our results, we require the following identity:
Lemma 5.
Let be a differentiable function on , with , and ; hence we get
Proof.
Let
and
Using LFI by parts for , we obtain
Similarly, we obtain for
Multiplying the above equality by , we achieve the intended outcome. □
Theorem 6.
Considering is a differentiable function on , with , where and . If is generalized convex on , then we have
Proof.
Based on Lemma 5, the generalized convexity of and the modulus properties, we have
We obtain the following by applying Lemma 2 to the above integrals:
and
Theorem 7.
Let be a differentiable function on , with , such that and . If is generalized convex on , where with , then we have
Proof.
From Lemma 5, properties of modulus, the generalized power mean inequality, and the generalized convexity of , we have
Using Lemma 2, (8) provides
□
Theorem 8.
Assuming is a differentiable function on , with , such that and . If is generalized convex on , where , then we have
4. Applications
Milne’s Quadrature Formula
Considering is the partition of the points of the interval and let
where
and represents the corresponding approximation error.
Proposition 1.
Assuming is a differentiable function on with and . If is genaralized convex function, we optain for
Proof.
Applying Theorem 6 on the subintervals of the partition , we obtain
The required result is produced by multiplying both sides of the inequality by , summing the resulting inequalities for , and then applying the triangular inequality. □
Special means
Let , then:
The generalized arithmetic mean is given by .
The generalized p-Logarithmic mean is given by:
Proposition 2.
Let with ; then, we have for
Proof.
The assertion arises from the application of Theorem 7 to the function defined by . □
5. Conclusions
For sufficiently nice functions, convexity is determined by looking at its second derivative. However, the case in the fractional form quite different and determined by using the inequalities. Thus, in this work, we discussed the fractal Milne-type quadrature formula. We began by introducing a novel generalized identity, which was used to prove some new fractal Milne-type inequalities via generalized convexity. In addition, our findings were demonstrated that relevant to the quadrature formula’s error estimates and to special means. The findings could lead to additional research on this intriguing topic and generalizations for other types of generalized convexity and for weighted formulas, and for upper dimensions.
Author Contributions
Methodology, A.L.; Validation, A.K., B.M; Investigation, W.S.; Writing—original draft, B.M.; Conceptualization, A.L., W.S., B.M. and A.K.; Writing—review & editing, A.K.; Supervision, A.K. All authors have read and agreed to the published version of the manuscript.
Funding
This research received no external funding.
Data Availability Statement
No underlying data was collected or produced in this study.
Acknowledgments
First of all, the authors would like to thank the editor as well as the reviewers for their very constructive and useful comments.
Conflicts of Interest
The authors declare no conflict of interest.
References
- Alomari, M.; Liu, Z. New error estimations for the Milne’s quadrature formula in terms of at most first derivatives. Konuralp J. Math. 2013, 1, 17–23. [Google Scholar]
- Kashuri, A.; Mohammed, P.O.; Abdeljawad, T.; Hamasalh, F.; Chu, Y. New Simpson-type integral inequalities for s-convex functions and their applications. Math. Probl. Eng. 2020, 2020, 8871988. [Google Scholar] [CrossRef]
- Lakhdari, A.; Meftah, B. Some fractional weighted trapezoid type inequalities for preinvex functions. Int. J. Nonlinear Anal. 2022, 1, 3567–3587. [Google Scholar]
- Pečarić, J.; Varošanec, S. A note on Simpson’s inequality for functions of bounded variation. Tamkang J. Math. 2000, 3, 239–242. [Google Scholar] [CrossRef]
- Sarikaya, M.Z.; Set, E.; Ozdemir, M.E. On new inequalities of Simpson’s type for s-convex functions. Comput. Math. Appl. 2010, 8, 2191–2199. [Google Scholar] [CrossRef]
- Gorenflo, R.; Mainardi, F. Fractional Calculus: Integral and Differential Equations of Fractional Order; Fractals and Fractional Calculus in Continuum Mechanics (Udine, 1996), CISM Courses and Lect., 378; Springer: Vienna, Austria, 1997; pp. 223–276. [Google Scholar]
- Kilbas, A.A.; Srivastava, H.M.; Trujillo, J.J. Theory and applications of fractional differential equations. In North-Holland Mathematics Studies; Elsevier Science B.V.: Amsterdam, The Netherlands, 2006; Volume 204. [Google Scholar]
- Mandelbrot, B.B. The Fractal Geometry of Nature; Macmillan: New York, NY, USA, 1983. [Google Scholar]
- Yang, X.-J. Advanced Local Fractional Calculus and Its Applications; World Science Publisher: New York, NY, USA, 2012. [Google Scholar]
- Yang, X.J. Local Fractional Functional Analysis and Its Applications; Asian Academic Publisher Limited: Hong Kong, China, 2011. [Google Scholar]
- Yang, X.J.; Baleanu, D.; Srivastava, H.M. Local Fractional Integral Transforms and Their Applications; Academic Press: Cambridge, MA, USA, 2015. [Google Scholar]
- Ahmad, J.; Mohyud-Din, S.T. Solving wave and diffusion equations on Cantor sets. Proc. Pakistan Acad. Sci. 2015, 1, 81–87. [Google Scholar]
- Yang, X.-J.; Srivastava, H.M.; He, J.-H.; Baleanu, D. Cantor-type cylindrical-coordinate method for differential equations with local fractional derivatives. Phys. Lett. A 2013, 377, 1696–1700. [Google Scholar] [CrossRef]
- Yang, X.-J.; Srivastava, H.M. An asymptotic perturbation solution for a linear oscillator of free damped vibrations in fractal medium described by local fractional derivatives. Commun. Nonlinear Sci. Numer. Simul. 2015, 29, 499–504. [Google Scholar] [CrossRef]
- Yang, X.-J.; Machado, J.A.T.; Nieto, J.J. A new family of the local fractional PDEs. Fund. Inform. 2017, 151, 63–75. [Google Scholar] [CrossRef]
- Abdeljawad, T.; Rashid, S.; Hammouch, Z.; Chu, Y.-M. Some new local fractional inequalities associated with generalized (s,m)-convex functions and applications. Adv. Difference Equ. 2020, 406, 27. [Google Scholar] [CrossRef]
- Akkurt, A.; Sarikaya, M.Z.; Budak, H.; Yildirim, H. Generalized Ostrowski type integral inequalities involving generalized moments via local fractional integrals. Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. RACSAM 2017, 111, 797–807. [Google Scholar] [CrossRef]
- Al Quarashi, M.; Rashid, S.; Khalid, A.; Karaca, Y.; Chu, Y.-M. New computations of Ostrowski type inequality pertaining to fractal style with applications. Fractals 2021, 29, 2140026. [Google Scholar] [CrossRef]
- Chen, G.-S. Generalizations of Hölder’s and some related integral inequalities on fractal space. J. Funct. Spaces Appl. 2013, 9, 198405. [Google Scholar] [CrossRef]
- Erden, S.; Sarikaya, M.Z. Generalized Pompeiu type inequalities for local fractional integrals and its applications. Appl. Math. Comput. 2016, 274, 282–291. [Google Scholar] [CrossRef]
- Iftikhar, S.; Kumam, P.; Erden, S. Newton’s-type integral inequalities via local fractional integrals. Fractals 2020, 3, 2050037. [Google Scholar] [CrossRef]
- Kiliçman, A.; Saleh, W. Notions of generalized s-convex functions on fractal sets. J. Inequal. Appl. 2015, 2015, 312. [Google Scholar] [CrossRef]
- Lakhdari, A.; Saleh, W.; Meftah, B.; Iqbal, A. Corrected Dual–Simpson–Type Inequalities for Differentiable Generalized Convex Functions on Fractal Set. Fractal. Fract. 2022, 6, 710. [Google Scholar] [CrossRef]
- Liu, Q.; Sun, W. A Hilbert-type fractal integral inequality and its applications. J. Inequal. Appl. 2017, 83, 8. [Google Scholar] [CrossRef]
- Meftah, B.; Souahi, A.; Merad, M. Some local fractional Maclaurin-type inequalities for generalized convex functions and their applications. Chaos Solitons Fractals 2022, 162, 112504. [Google Scholar] [CrossRef]
- Mo, H.; Sui, X. Hermite-Hadamard-type inequalities for generalized s-convex functions on real linear fractal set Rγ0<γ<1. Math. Sci. 2017, 3, 241–246. [Google Scholar]
- Sarikaya, M.Z.; Tunc, T.; Budak, H. On generalized some integral inequalities for local fractional integrals. Appl. Math. Comput. 2016, 276, 316–323. [Google Scholar] [CrossRef]
- Sarikaya, M.Z.; Budak, H.; Erden, S. On new inequalities of Simpson’s type for generalized convex functions. Korean J. Math. 2019, 27, 279–295. [Google Scholar]
- Set, E.; Sarikaya, M.Z.; Uygun, N. On new inequalities of Simpson’s type for generalized quasi-convex functions. Adv. Inequal. Appl. 2017, 3, 1–11. [Google Scholar]
- Yang, Y.-J.; Baleanu, D.; Yang, X.-J. Analysis of fractal wave equations by local fractional Fourier series method. Adv. Math. Phys. 2013, 2013, 632309. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content. |
© 2023 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).