Next Article in Journal
Application on Similarity Relation and Pretopology
Next Article in Special Issue
On Ostrowski–Mercer’s Type Fractional Inequalities for Convex Functions and Applications
Previous Article in Journal
Digital-Twin-Based Real-Time Optimization for a Fractional Order Controller for Industrial Robots
Previous Article in Special Issue
Corrected Dual-Simpson-Type Inequalities for Differentiable Generalized Convex Functions on Fractal Set
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Some New Fractal Milne-Type Integral Inequalities via Generalized Convexity with Applications

1
Department of Mathematics, 8 May 1945 University, Guelma 24000, Algeria
2
Department CPST, Ecole Nationale Supérieure de Technologie et d’Ingénierie, Annaba 23005, Algeria
3
Department of Mathematics, Taibah University, Al-Medina 42353, Saudi Arabia
4
Department of Mathematics and Statistics, Universiti Putra Malaysia, Serdang 43400, Malaysia
*
Author to whom correspondence should be addressed.
Fractal Fract. 2023, 7(2), 166; https://doi.org/10.3390/fractalfract7020166
Submission received: 7 January 2023 / Revised: 30 January 2023 / Accepted: 3 February 2023 / Published: 7 February 2023
(This article belongs to the Special Issue Fractional Integral Inequalities and Applications)

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 R , Φ : I R R γ ( I represents the interior of I) where Φ D γ ( I ) and Φ γ C γ κ , τ for κ , τ I with κ < τ . If Φ γ is the generalized quasi convex function; then, the inequality holds:
1 6 γ Φ κ + 4 γ Φ κ + τ 2 + Φ τ Γ γ + 1 τ κ γ κ I τ γ Φ χ τ κ γ 5 18 γ Γ γ + 1 Γ 2 γ + 1 sup Φ γ κ , Φ γ τ .
Moreover, Sarikaya et al. [28] presented the following Simpson-type inequality via generalized convexity.
Theorem 2. 
Consider the subset I of R , Φ : I R R γ ( I represents the interior of I) where Φ D γ ( I ) and Φ γ C γ κ , τ for κ , τ I with κ < τ . If Φ γ is the generalized convex function; then, the inequality holds:
1 6 γ Φ κ + 4 γ Φ κ + τ 2 + Φ τ Γ γ + 1 τ κ γ κ I τ γ Φ χ τ κ γ 12 γ Γ γ + 1 Γ 2 γ + 1 + Γ 2 γ + 1 Γ 3 γ + 1 Φ γ κ + Φ γ τ .
This result has been extended for generalized ( s , m ) -convex functions by Abdeljawad et al. [16].
Theorem 3. 
Cosidering Φ : I R γ is a differentiable on I where Φ γ C γ κ , m τ for κ , τ I with κ < τ and s , m ( 0 , 1 ] . If Φ γ is generalized ( s , m ) -convex on I; then, we have
1 6 γ Φ κ + 4 γ Φ κ + m τ 2 + Φ m τ Γ γ + 1 m τ κ γ κ I m τ γ Φ χ m τ κ γ 2 γ 5 s + 2 γ 3 s + 1 γ 5 γ 6 s + 1 γ + 3 s + 1 γ 6 s + 2 γ × Γ 1 + s γ Γ 1 + s + 1 γ + Γ 1 + s + 1 γ Γ 1 + s + 2 γ Φ γ κ + m Φ γ τ .
Furthermore, Meftah et al. [25] provided the following Maclaurin-type inequality for generalized convex functions.
Theorem 4. 
Assume that Φ : κ , τ R γ is a differentiable on κ , τ such that Φ D γ κ , τ and Φ γ C γ κ , τ with 0 κ < τ . If Φ γ is a generalized convex on κ , τ ; then, we have
1 8 γ 3 γ Φ 5 κ + τ 6 + 2 γ Φ κ + τ 2 + 3 γ Φ κ + 5 τ 6 Γ γ + 1 τ κ γ κ I τ γ Φ χ τ κ γ 36 γ Γ γ + 1 Γ 1 + 2 γ Γ 2 γ + 1 Γ 3 γ + 1 Φ γ κ + 171 64 γ Γ 1 + γ Γ 2 γ + 1 67 64 γ Γ 2 γ + 1 Γ 3 γ + 1 Φ γ 5 κ + τ 6 + 131 32 γ Γ 1 + 2 γ Γ 3 γ + 1 35 32 γ Γ γ + 1 Γ γ + 1 Φ γ κ + τ 2 + 171 64 γ Γ 1 + γ Γ 2 γ + 1 67 64 γ Γ 2 γ + 1 Γ 3 γ + 1 Φ γ κ + 5 τ 6 + Γ γ + 1 Γ 1 + 2 γ Γ 2 γ + 1 Γ 3 γ + 1 Φ γ τ .
More recently, the corrected Dual–Simpson–Type inequalities for generalized functions was establish by Lakhdari et al. in [23].
Theorem 5. 
Assume that Φ : κ , τ R γ is a differentiable on κ , τ such that Φ D γ κ , τ and Φ γ C γ κ , τ with 0 κ < τ . If Φ γ is generalized convex on κ , τ , then we have
1 15 γ 8 γ Φ 3 κ + τ 4 Φ κ + τ 2 + 8 γ Φ κ + 3 τ 4 Γ γ + 1 τ κ γ κ I τ γ Φ χ τ κ γ 16 γ Γ γ + 1 Γ 2 γ + 1 Γ 2 γ + 1 Γ 3 γ + 1 Φ γ κ + Φ γ τ + 2 15 γ Γ γ + 1 Γ 2 γ + 1 + 2 γ Γ 2 γ + 1 Γ 3 γ + 1 Φ γ 3 κ + τ 4 + Φ γ κ + 3 τ 4 + 34 15 γ Γ 1 + γ Γ 2 γ + 1 2 γ Γ 2 γ + 1 Γ 3 γ + 1 Φ γ κ + τ 2 .
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:
τ κ Φ ( x ) d x = M Φ + R Φ ,
where
M Φ = ( τ κ ) 3 2 Φ κ Φ κ + τ 2 + 2 Φ τ
and R Φ 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 0 < γ 1 :
The γ -type set of integer is defined as
Z γ : = 0 γ , ± 1 γ , ± 2 γ , , ± n γ , , .
The definition of the γ -type set of rational is
Q γ : = c γ = τ κ γ : τ , κ Z and κ 0 .
The γ -type irrational set is defined as
J γ : = c γ : c J : = c γ τ κ γ : τ , κ Z and κ 0 .
The definition of the γ -type set of the real numbers is given by
R γ : = Q γ J γ .
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 c γ , d γ , and e γ in R γ , we have
  • c γ + d γ and c γ d γ are in the set R γ .
  • c γ + d γ = d γ + c γ = c + d γ = d + c γ .
  • c γ + d γ + e γ = c + d γ + e γ .
  • c γ d γ = d γ c γ = c d γ = d c γ .
  • c γ d γ e γ = c γ d γ e γ .
  • c γ d γ + e γ = c γ d γ + c γ e γ .
  • c γ + 0 γ = 0 γ + c γ = c γ and c γ 1 γ = 1 γ c γ = c γ .
In [9,30], Gao-Yang-Kang introduced the local noninteger derivative and integrals as follows.
Definition 1 
([9]). A non-differentiable function Φ : R R γ is called a local fractional continuous at χ 0 , if
ϵ > 0 , δ > 0 : Φ χ Φ χ 0 < ϵ γ
holds for | χ χ 0 | < δ , where ϵ , δ R and we denote C γ ( κ , τ ) as space of all locally fractional continuous functions on ( κ , τ ) .
Definition 2 
([9]). The local fractional derivative of Φ ( χ ) of order γ at the point χ = χ 0 is defined as
Φ γ χ 0 = d γ Φ χ d χ γ x = χ 0 = lim χ χ 0 Δ γ Φ χ Φ χ 0 χ χ 0 γ ,
where
Δ γ Φ χ Φ χ 0 Γ γ + 1 Φ χ Φ χ 0 .
If
Φ ( k + 1 ) γ ( χ ) = D γ D γ D γ ( k + 1 ) times Φ ( χ )
exists χ I R ; then, Φ D ( k + 1 ) γ ( I ) for k = 0 , 1 , 2 , 3 ,
Definition 3 
([9]). Consider Φ ( χ ) C γ [ κ , τ ] . The fractional integral is defined as
κ I τ γ Φ χ = 1 Γ γ + 1 τ κ Φ χ d χ γ = 1 Γ γ + 1 lim Δ χ 0 j = 0 N 1 Φ χ j Δ χ j γ ,
where Δ χ j = χ j + 1 χ j and Δ x = max Δ χ j , for j = 0 , 1 , , N 1 , and κ = χ 0 < χ 1 < < χ N = τ is partition of interval κ , τ .
In this case, it is evident that
κ I τ γ Φ χ = 0 if κ = τ and κ I τ γ Φ χ = τ I κ γ Φ χ if κ < τ .
We designated by Φ χ I x γ κ , τ if κ I τ γ Φ χ exists, χ [ κ , τ ] .
Lemma 1 
([9]). Let Φ χ = Ψ γ χ C γ κ , τ ; hence,
κ I τ γ Φ χ = Ψ τ Ψ κ .
Integration by parts for local fractional Considering Φ , Ψ D γ κ , τ and Φ γ χ , Ψ γ χ C γ κ , τ , we obtain
κ I τ γ Φ χ Ψ γ χ = Φ χ Ψ χ κ τ κ I τ γ Φ γ χ Ψ χ .
Lemma 2 
([9]). For Φ ( χ ) = χ k γ , we have
d γ Φ ( χ ) d χ γ = Γ 1 + k γ Γ 1 + k 1 γ χ k 1 γ , k R , 1 Γ 1 + γ τ κ Φ ( χ ) d χ γ = Γ 1 + k γ Γ 1 + k + 1 γ τ k + 1 γ κ k + 1 γ .
Lemma 3 
([9]). Assuming Φ , Ψ C γ [ κ , τ ] , p , q > 1 with 1 p + 1 q = 1 ; then,
1 Γ 1 + γ τ κ Φ χ Ψ χ d χ γ 1 Γ 1 + γ τ κ Φ χ p d χ γ 1 p 1 Γ 1 + γ τ κ Ψ χ q d χ γ 1 q .
Lemma 4 
(Generalized power mean inequality [9]). Let Φ , Ψ C γ [ κ , τ ] , q > 1 ; then,
1 Γ 1 + γ τ κ Φ χ Ψ χ d χ γ 1 Γ 1 + γ τ κ Φ χ d χ γ 1 1 q 1 Γ 1 + γ τ κ Φ χ Ψ χ q d χ γ 1 q .
Definition 4 
(Generalized convex function [9]). A function Φ : I R R γ is said to be a generalized convex function on I if
Φ λ χ 1 + 1 λ χ 2 λ γ Φ χ 1 + 1 λ γ Φ χ 2
holds, χ 1 , χ 2 I and λ [ 0 , 1 ] .
Two straightforward examples of generalized convex functions are provided below:
  • Φ χ = χ γ p , with p > 1 and χ 0 .
  • Φ χ = E γ χ γ , χ R where E γ χ γ = q = 0 χ γ q Γ 1 + q γ denotes the Mittag–Leffler function.

3. Main Results

To demonstrate our results, we require the following identity:
Lemma 5. 
Let Φ : I R γ be a differentiable function on I , κ , τ I with κ < τ , and Φ γ C γ κ , τ ; hence we get
1 3 γ 2 γ Φ κ Φ κ + τ 2 + 2 γ Φ τ Γ γ + 1 τ κ γ κ I τ γ Φ χ = τ κ γ 4 γ 1 Γ γ + 1 1 0 u 4 3 γ Φ γ 1 u κ + u κ + τ 2 d u γ + 1 Γ γ + 1 1 0 u + 1 3 γ Φ γ 1 u κ + τ 2 + u τ d u γ .
Proof. 
Let
I 1 = 1 Γ γ + 1 1 0 u 4 3 γ Φ γ 1 u κ + u κ + τ 2 d u γ
and
I 2 = 1 Γ γ + 1 1 0 u + 1 3 γ Φ γ 1 u κ + τ 2 + u τ d u γ .
Using LFI by parts for I 1 , we obtain
I 1 = 2 γ τ κ γ u 4 3 γ Φ 1 u κ + u κ + τ 2 u = 0 u = 1 2 γ τ κ γ 1 0 Φ 1 u κ + u κ + τ 2 d u γ = 2 γ 3 γ τ κ γ Φ κ + τ 2 8 γ 3 γ τ κ γ Φ κ 2 γ τ κ γ 1 0 Φ 1 u κ + u κ + τ 2 d u γ = 8 γ 3 γ τ κ γ Φ κ 2 γ 3 γ τ κ γ Φ κ + τ 2 4 γ τ κ 2 γ κ + τ 2 κ Φ χ d χ γ .
Similarly, we obtain for I 2
I 2 = 2 γ τ κ γ u + 1 3 γ Φ 1 u κ + τ 2 + u τ u = 0 u = 1 2 γ τ κ γ 1 0 Φ 1 u κ + τ 2 + u τ d u γ = 8 γ 3 γ τ κ γ Φ τ 2 γ 3 γ τ κ γ Φ κ + τ 2 2 γ τ κ γ 1 0 Φ 1 u κ + τ 2 + u τ d u γ = 8 γ 3 γ τ κ γ Φ τ 2 γ 3 γ τ κ γ Φ κ + τ 2 4 γ τ κ 2 γ τ κ + τ 2 Φ χ d χ γ .
Summing (1) and (2), we obtain
I 1 + I 2 = 8 γ 3 γ τ κ γ Φ κ 4 γ 3 γ τ κ γ Φ κ + τ 2 + 8 γ 3 γ τ κ γ Φ τ 4 γ τ κ 2 γ κ + τ 2 κ Φ χ d χ γ + τ κ + τ 2 Φ χ d χ γ = 4 γ 3 γ τ κ γ 2 γ Φ κ Φ κ + τ 2 + 2 γ Φ τ 4 γ τ κ 2 γ τ κ Φ χ d χ γ .
Multiplying the above equality by τ κ γ 4 γ , we achieve the intended outcome. □
Theorem 6. 
Considering Φ : I R γ is a differentiable function on I , κ , τ I with κ < τ , where Φ D γ κ , τ and Φ γ C γ κ , τ . If Φ γ is generalized convex on κ , τ , then we have
1 3 γ 2 γ Φ κ Φ κ + τ 2 + 2 γ Φ τ Γ γ + 1 τ κ γ κ I τ γ Φ χ τ κ γ 4 γ 1 3 γ Γ 1 + γ Γ 2 γ + 1 + Γ 2 γ + 1 Γ 3 γ + 1 Φ γ κ + 2 γ 4 3 γ Γ 1 + γ Γ 1 + 2 γ Γ 1 + 2 γ Γ 3 γ + 1 Φ γ κ + τ 2 + Γ 1 + 2 γ Γ 3 γ + 1 + 1 3 γ Γ 1 + γ Γ 1 + 2 γ Φ γ τ .
Proof. 
Based on Lemma 5, the generalized convexity of Φ γ and the modulus properties, we have
1 3 γ 2 γ Φ κ Φ κ + τ 2 + 2 γ Φ τ Γ γ + 1 τ κ γ κ I τ γ Φ χ τ κ γ 4 γ 1 Γ γ + 1 1 0 4 3 χ γ Φ γ 1 χ κ + χ κ + τ 2 d χ γ + 1 Γ γ + 1 1 0 χ + 1 3 γ Φ γ 1 χ κ + τ 2 + χ τ d χ γ τ κ γ 4 γ 1 Γ γ + 1 1 0 4 3 χ γ 1 χ γ Φ γ κ + χ γ Φ γ κ + τ 2 d χ γ + 1 Γ γ + 1 1 0 χ + 1 3 γ 1 χ γ Φ γ κ + τ 2 + χ γ Φ γ τ d χ γ = τ κ γ 4 γ Φ γ κ 1 Γ γ + 1 1 0 4 3 χ γ 1 χ γ d χ γ + Φ γ κ + τ 2 × 1 Γ γ + 1 1 0 4 3 χ γ χ γ d χ γ + 1 Γ γ + 1 1 0 χ + 1 3 γ 1 χ γ d χ γ + Φ γ τ 1 Γ γ + 1 1 0 χ + 1 3 γ χ γ d χ γ .
We obtain the following by applying Lemma 2 to the above integrals:
1 Γ γ + 1 1 0 4 3 χ γ 1 χ γ d χ γ = 1 3 γ Γ 1 + γ Γ 1 + 2 γ + Γ 1 + 2 γ Γ 3 γ + 1 ,
1 Γ γ + 1 1 0 4 3 χ γ χ γ d χ γ = 4 3 γ Γ 1 + γ Γ 1 + 2 γ Γ 1 + 2 γ Γ 3 γ + 1 ,
1 Γ γ + 1 1 0 χ + 1 3 γ 1 χ γ d χ γ = 4 3 γ Γ 1 + γ Γ 1 + 2 γ Γ 1 + 2 γ Γ 3 γ + 1
and
1 Γ γ + 1 1 0 χ + 1 3 γ χ γ d χ γ = Γ 1 + 2 γ Γ 3 γ + 1 + 1 3 γ Γ 1 + γ Γ 1 + 2 γ .
Combining (3)–(7), we obtain the desired outcome. □
Theorem 7. 
Let Φ : I R γ be a differentiable function on I , κ , τ I with κ < τ , such that Φ D γ κ , τ and Φ γ C γ κ , τ . If Φ γ q is generalized convex on κ , τ , where q > 1 with 1 p + 1 q = 1 , then we have
1 3 γ 2 γ Φ κ Φ κ + τ 2 + 2 γ Φ τ Γ γ + 1 τ κ γ κ I τ γ Φ χ τ κ γ 4 γ Γ 1 + p γ Γ 1 + p + 1 γ 4 3 p + 1 γ 1 3 p + 1 γ 1 p Γ 1 + γ Γ 1 + 2 γ 1 q × Φ γ κ q + Φ γ κ + τ 2 q 1 q + Φ γ κ + τ 2 q + Φ γ τ q 1 q .
Proof. 
From Lemma 5, properties of modulus, the generalized power mean inequality, and the generalized convexity of Φ γ q , we have
1 3 γ 2 γ Φ κ Φ κ + τ 2 + 2 γ Φ τ Γ γ + 1 τ κ γ κ I τ γ Φ χ τ κ γ 4 γ 1 Γ γ + 1 1 0 4 3 χ p γ d χ γ 1 p × 1 Γ γ + 1 1 0 Φ γ 1 χ κ + χ κ + τ 2 q d χ γ 1 q + 1 Γ γ + 1 1 0 χ + 1 3 p γ d χ γ 1 p × 1 Γ γ + 1 1 0 Φ γ 1 χ κ + τ 2 + χ τ q d χ γ 1 q τ κ γ 4 γ 1 Γ γ + 1 4 3 1 3 u p γ d u γ 1 p × 1 Γ γ + 1 1 0 1 χ γ Φ γ κ q + χ γ Φ γ κ + τ 2 q d χ γ 1 q + 1 Γ γ + 1 4 3 1 3 u p γ d u γ 1 p × 1 Γ γ + 1 1 0 1 χ γ Φ γ κ + τ 2 q + χ γ Φ γ τ q d χ γ 1 q .
Using Lemma 2, (8) provides
1 3 γ 2 γ Φ κ Φ κ + τ 2 + 2 γ Φ τ Γ γ + 1 τ κ γ κ I τ γ Φ χ τ κ γ 4 γ Γ 1 + p γ Γ 1 + p + 1 γ 4 3 p + 1 γ 1 3 p + 1 γ 1 p × Γ 1 + γ Γ 1 + 2 γ Φ γ κ q + Γ 1 + γ Γ 1 + 2 γ Φ γ κ + τ 2 q 1 q + Γ 1 + p γ Γ 1 + p + 1 γ 4 3 p + 1 γ 1 3 p + 1 γ 1 p × Γ 1 + γ Γ 1 + 2 γ Φ γ κ + τ 2 q + Γ 1 + γ Γ 1 + 2 γ Φ γ τ q 1 q = τ κ γ 4 γ Γ 1 + p γ Γ 1 + p + 1 γ 4 3 p + 1 1 3 p + 1 γ 1 p Γ 1 + γ Γ 1 + 2 γ 1 q × Φ γ κ q + Φ γ κ + τ 2 q 1 q + Φ γ κ + τ 2 q + Φ γ τ q 1 q .
Theorem 8. 
Assuming Φ : I R γ is a differentiable function on I , κ , τ I with κ < τ , such that Φ D γ κ , τ and Φ γ C γ κ , τ . If Φ γ q is generalized convex on κ , τ , where q 1 , then we have
1 3 γ 2 γ Φ κ Φ κ + τ 2 + 2 γ Φ τ Γ γ + 1 τ κ γ κ I τ γ Φ χ τ κ γ 4 γ Γ 1 + γ Γ 1 + 2 γ 4 3 2 γ 1 3 2 γ 1 1 q × 1 3 γ Γ 1 + γ Γ 1 + 2 γ + Γ 1 + 2 γ Γ 3 γ + 1 Φ γ κ q + 4 3 γ Γ 1 + γ Γ 1 + 2 γ Γ 1 + 2 γ Γ 3 γ + 1 Φ γ κ + τ 2 q 1 q + 4 3 γ Γ 1 + γ Γ 1 + 2 γ Γ 1 + 2 γ Γ 3 γ + 1 Φ γ κ + τ 2 q + Γ 1 + 2 γ Γ 3 γ + 1 + 1 3 γ Γ 1 + γ Γ 1 + 2 γ Φ γ τ q 1 q .
Proof. 
Based on Lemma 5, the generalized convexity of Φ γ q , the generalized Hölder’s inequality, and the modulus properties, we have
1 3 γ 2 γ Φ κ Φ κ + τ 2 + 2 γ Φ τ Γ γ + 1 τ κ γ κ I τ γ Φ χ τ κ γ 4 γ 1 Γ γ + 1 1 0 4 3 χ γ d χ γ 1 1 q × 1 Γ γ + 1 1 0 4 3 χ γ Φ γ 1 χ κ + χ κ + τ 2 q d χ γ 1 q + 1 Γ γ + 1 1 0 χ + 1 3 γ d χ γ 1 1 q × 1 Γ γ + 1 1 0 χ + 1 3 γ Φ γ 1 χ κ + τ 2 + χ τ q d χ γ 1 q τ κ γ 4 γ 1 Γ γ + 1 4 3 1 3 u γ d u γ 1 1 q × 1 Γ γ + 1 1 0 4 3 χ γ 1 χ γ Φ γ κ q + χ γ Φ γ κ + τ 2 q d χ γ 1 q + 1 Γ γ + 1 4 3 1 3 u γ d u γ 1 1 q × 1 Γ γ + 1 1 0 χ + 1 3 γ 1 χ γ Φ γ κ + τ 2 q + χ γ Φ γ τ q d χ γ 1 q = τ κ γ 4 γ 1 Γ γ + 1 4 3 1 3 u γ d u γ 1 1 q × Φ γ κ q 1 Γ γ + 1 1 0 4 3 χ γ 1 χ γ d χ γ + Φ γ κ + τ 2 q 1 Γ γ + 1 1 0 4 3 χ γ χ γ d χ γ 1 q + 1 Γ γ + 1 4 3 1 3 u γ d u γ 1 1 q × Φ γ κ + τ 2 q 1 Γ γ + 1 1 0 χ + 1 3 γ 1 χ γ d χ γ
+ Φ γ τ q 1 Γ γ + 1 1 0 χ + 1 3 γ χ γ d χ γ 1 q = τ κ γ 4 γ Γ 1 + γ Γ 1 + 2 γ 4 3 2 γ 1 3 2 γ 1 1 q × 1 3 γ Γ 1 + γ Γ 1 + 2 γ + Γ 1 + 2 γ Γ 3 γ + 1 Φ γ κ q + 4 3 γ Γ 1 + γ Γ 1 + 2 γ Γ 1 + 2 γ Γ 3 γ + 1 Φ γ κ + τ 2 q 1 q + 4 3 γ Γ 1 + γ Γ 1 + 2 γ Γ 1 + 2 γ Γ 3 γ + 1 Φ γ κ + τ 2 q + Γ 1 + 2 γ Γ 3 γ + 1 + 1 3 γ Γ 1 + γ Γ 1 + 2 γ Φ γ τ q 1 q ,
where we have used Lemma 2 and (4)–(7). The proof is completed. □

4. Applications

Milne’s Quadrature Formula
Considering Υ is the partition of the points κ = χ 0 < χ 1 < < χ n = τ of the interval κ , τ and let
1 Γ γ + 1 τ κ Φ χ d χ γ = λ Φ , Υ + R Φ , Υ ,
where
λ Φ , Υ = 1 Γ γ + 1 n 1 i = 0 χ i + 1 χ i γ 3 γ 2 γ Φ χ i Φ χ i + χ i + 1 2 + 2 γ Φ χ i + 1
and R Φ , Υ represents the corresponding approximation error.
Proposition 1. 
Assuming Φ : κ , τ R γ is a differentiable function on κ , τ with 0 κ < τ and Φ γ C γ κ , τ . If Φ γ is genaralized convex function, we optain for n N
R Φ , Υ 1 Γ 1 + γ n 1 i = 0 χ i + 1 χ i 2 γ 4 γ Γ 1 + 2 γ Γ 3 γ + 1 + 1 3 γ Γ 1 + γ Γ 1 + 2 γ Φ γ χ i + Φ γ χ i + 1 + 2 γ 4 3 γ Γ 1 + γ Γ 1 + 2 γ Γ 1 + 2 γ Γ 3 γ + 1 Φ γ χ i + χ i + 1 2 .
Proof. 
Applying Theorem 6 on the subintervals χ i , χ i + 1 i = 0 , 1 , , n 1 of the partition Υ , we obtain
1 3 γ 2 γ Φ χ i Φ χ i + χ i + 1 2 + 2 γ Φ χ i + 1 Γ γ + 1 χ i + 1 χ i γ . χ i I χ i + 1 γ Φ t χ i + 1 χ i γ 4 γ Γ 1 + 2 γ Γ 3 γ + 1 + 1 3 γ Γ 1 + γ Γ 1 + 2 γ Φ γ χ i + 2 γ 4 3 γ Γ 1 + γ Γ 1 + 2 γ Γ 1 + 2 γ Γ 3 γ + 1 Φ γ χ i + χ i + 1 2 + Γ 1 + 2 γ Γ 3 γ + 1 + 1 3 γ Γ 1 + γ Γ 1 + 2 γ Φ γ χ i + 1 .
The required result is produced by multiplying both sides of the inequality by 1 Γ 1 + γ χ i + 1 χ i γ , summing the resulting inequalities for i = 0 , 1 , , n 1 , and then applying the triangular inequality. □
Special means
Let κ , τ R , then:
The generalized arithmetic mean is given by A κ , τ = κ γ + τ γ 2 γ .
The generalized p-Logarithmic mean is given by:
L p κ , τ = Γ 1 + p γ Γ 1 + p + 1 γ τ p + 1 γ κ p + 1 γ τ κ γ 1 p , p Z 0 , 1 , and κ τ .
Proposition 2. 
Let κ , τ R with 0 < κ < τ ; then, we have for n 2
4 γ A κ n , τ n A n κ , τ 3 γ Γ γ + 1 L n n κ , τ 3 γ τ κ γ 4 γ Γ 1 + p γ Γ 1 + p + 1 γ 4 p + 1 1 3 p + 1 γ 1 p Γ 1 + γ Γ 1 + 2 γ 1 q × Γ 1 + n γ Γ 1 + n 1 γ 1 q × κ n 1 γ q + κ + τ 2 n 1 γ q 1 q + κ + τ 2 n 1 γ q + τ n 1 γ q 1 q .
Proof. 
The assertion arises from the application of Theorem 7 to the function Φ : 0 , + R γ defined by Φ χ = χ n γ . □

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

  1. 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]
  2. 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]
  3. Lakhdari, A.; Meftah, B. Some fractional weighted trapezoid type inequalities for preinvex functions. Int. J. Nonlinear Anal. 2022, 1, 3567–3587. [Google Scholar]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. Mandelbrot, B.B. The Fractal Geometry of Nature; Macmillan: New York, NY, USA, 1983. [Google Scholar]
  9. Yang, X.-J. Advanced Local Fractional Calculus and Its Applications; World Science Publisher: New York, NY, USA, 2012. [Google Scholar]
  10. Yang, X.J. Local Fractional Functional Analysis and Its Applications; Asian Academic Publisher Limited: Hong Kong, China, 2011. [Google Scholar]
  11. Yang, X.J.; Baleanu, D.; Srivastava, H.M. Local Fractional Integral Transforms and Their Applications; Academic Press: Cambridge, MA, USA, 2015. [Google Scholar]
  12. Ahmad, J.; Mohyud-Din, S.T. Solving wave and diffusion equations on Cantor sets. Proc. Pakistan Acad. Sci. 2015, 1, 81–87. [Google Scholar]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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] [Green Version]
  20. 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]
  21. Iftikhar, S.; Kumam, P.; Erden, S. Newton’s-type integral inequalities via local fractional integrals. Fractals 2020, 3, 2050037. [Google Scholar] [CrossRef]
  22. Kiliçman, A.; Saleh, W. Notions of generalized s-convex functions on fractal sets. J. Inequal. Appl. 2015, 2015, 312. [Google Scholar] [CrossRef]
  23. 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]
  24. Liu, Q.; Sun, W. A Hilbert-type fractal integral inequality and its applications. J. Inequal. Appl. 2017, 83, 8. [Google Scholar] [CrossRef]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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] [Green Version]
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.

Share and Cite

MDPI and ACS Style

Meftah, B.; Lakhdari, A.; Saleh, W.; Kiliçman, A. Some New Fractal Milne-Type Integral Inequalities via Generalized Convexity with Applications. Fractal Fract. 2023, 7, 166. https://doi.org/10.3390/fractalfract7020166

AMA Style

Meftah B, Lakhdari A, Saleh W, Kiliçman A. Some New Fractal Milne-Type Integral Inequalities via Generalized Convexity with Applications. Fractal and Fractional. 2023; 7(2):166. https://doi.org/10.3390/fractalfract7020166

Chicago/Turabian Style

Meftah, Badreddine, Abdelghani Lakhdari, Wedad Saleh, and Adem Kiliçman. 2023. "Some New Fractal Milne-Type Integral Inequalities via Generalized Convexity with Applications" Fractal and Fractional 7, no. 2: 166. https://doi.org/10.3390/fractalfract7020166

APA Style

Meftah, B., Lakhdari, A., Saleh, W., & Kiliçman, A. (2023). Some New Fractal Milne-Type Integral Inequalities via Generalized Convexity with Applications. Fractal and Fractional, 7(2), 166. https://doi.org/10.3390/fractalfract7020166

Article Metrics

Back to TopTop