An expanded analysis of local fractional integral inequalities via generalized ( s , P ) -convexity

This research aims to scrutinize speciﬁc parametrized integral inequalities linked to 1, 2, 3, and 4-point Newton-Cotes rules applicable to local fractional diﬀerentiable generalized ( s , P )-convex functions. To accomplish this objective, we introduce a novel integral identity and deduce multiple integral inequalities tailored to mappings within the aforementioned function class. Furthermore, we present an illustrative example featuring graphical representations and potential practical applications.


Introduction
Convexity is a fundamental mathematical concept with many applications in various fields, including optimization, analysis, and geometry [24].Definition 1.1 If the subsequent inequality is satisfied, then the function ξ defined on I ⊆ R is said to be convex on I.
The most well-known and significant inequality related to the notion of convexity is the Hermite-Hadamard inequality, which states that for any convex function ξ defined on the interval [a, b], we have the following inequality [24].
Convexity has been generalized in multiple ways to include a broader class of mathematical objects beyond traditional convex sets or functions.For instance, one can define h-convex functions [23], which relax the condition of convexity and allow for certain types of nonconvex behavior.Other generalizations include log-convexity [28], which is the class of functions whose natural logarithm is convex, among others.These extensions of convexity have been widely applied in optimization, geometry, and other areas of mathematics [2,15,21].
One of the most important generalizations is the class of s-convexity, introduced in [3] as follows: Definition 1.2 For some fixed s ∈ (0, 1], a function ξ : I ⊂ [0, ∞) → R is said to be sconvex in the second sense if holds for all t 1 , t 2 ∈ I and κ ∈ [0, 1].Moreover, in [5], the authors introduced the class of P-convex functions as follows: Definition 1.3 A nonnegative function ξ : I ⊆ R → R is said to be P-convex on I if the inequality is satisfied for all t 1 , t 2 ∈ I and κ ∈ [0, 1].
The combination of the two previous classes leads to another class of functions known as (s, P)-convex functions, which were introduced by Numan et al. in [22] as follows: Definition 1. 4 The function ξ : I ⊂ R → R is said to be (s, P)-convex if the subsequent inequality is fulfilled for all t 1 , t 2 ∈ I and κ ∈ [0, 1] together with certain fixed s ∈ (0, 1].Proposition 1.5 [22] Every nonnegative s-convex function is (s, P)-convex.
Fractal sets have a wide range of applications in modeling natural and artificial phenomena such as coastlines, snowflakes, lightning, and ferns.They are also utilized in image and signal processing, computer graphics, and modeling complex systems.These sets are typically generated using recursive procedures that involve the repeated application of simple rules.The Mandelbrot set [17], Koch snowflake [9], and Sierpinski triangle [29] are some of the well-known examples of fractals.Recently, local fractional calculus has emerged as a new tool for studying fractal sets, providing insights into the intricate behavior of these complex systems exhibiting multiscale behavior [10,31].
Yang proposed the idea of generalized convexity on fractal sets in 2012 [32].This concept was introduced as a way to extend the classical notion of convexity to fractal geometry.

Definition 1.6 (Generalized convex function) Let
holds, then ξ is a generalized convex function on I.
Various researchers have attempted to expand the notion of generalized convexity to encompass a wider range of functions since its inception.Among these extensions, one can cite generalized s-convexity and generalized (s, P)-convexity which are defined as follows: holds, then ξ is a generalized s-convex function in the second sense on I. Definition 1.8 (Generalized (s, P)-convex function [34]) Let ξ : holds, then ξ is a generalized (s, P)-convex function on I. Proposition 1.9 [34] If a function ξ : I ⊆ R → R ς is nonnegative and generalized sconvex, then it is a generalized (s, P)-convex function.
Since the introduction of the notion of generalized convexity and its various variants, many researchers have been engaged in establishing error estimates for different quadrature formulas, see [1, 6, 8, 11, 12, 14, 16, 18, 19, 25-27, 30, 35].These works are of great importance in the development of integral inequalities in the framework of local fractional calculus, but the two landmark works in this context are those of Yu et al. [36] and Du et al. [7], in which the authors conducted a comprehensive analysis of integral inequalities on fractal sets by respectively studying a parametrized three-point Newton-Cotes formula and a biparametrized five-point formula, which allowed them to derive interesting results related to several famous rules.
Motivated by the works of [36] and [7], and with the aim of further expanding the study of Newton-Cotes formulas, this paper introduces a new identity pertaining to a 4-point biparametrized formula, encompassing a broader family of well-known formulas with 1, 2, 3, and 4 points.By utilizing this identity, we establish a wide range of inequalities for functions with generalized (s, P)-convex local fractional derivatives, including both new and previously established results.The study concludes with an example that incorporates 2D and 3D graphical representations, demonstrating the accuracy of the obtained results and providing some practical applications.Companion Ostrowski For ξ : [a, b] ⊂ R → R ς , let us consider the following biparametrized four-point Newton-Cotes formula: with x ∈ [a, a+b 2 ] and ρ ∈ [0, 1].It should be noted that by utilizing formula (2) and selecting specific values for the parameters x and ρ, we can obtain many well-known formulas, see Table 1.

Preliminaries
The present section takes another look at the manipulation of real numbers in a fractal set and makes use of the definition of the local fractional derivative and integral put forth by Yang in [32]. If Gao-Yang-Kang were the original proponents of the concept of local fractional derivative and local fractional integral, as described in [32,33].Definition 2.2 ([32]) The local fractional derivative of ξ (t) of order ς at t = t 0 is defined by We ( Lemma 2.5 ([32]) For ξ (t) = t mς , we have following equations: .

Lemma
where Q is defined as in (2). where and Using Lemma 2.4, I 1 gives Similarly, we get and Substituting ( 4)-( 7) in (3) and using (2), we get which is the desired result.
Proof From Lemma 3.1, properties of modulus, and the generalized (s, P)-convexity of |ξ (ς ) |, we have where we have used the facts that and The proof is completed.

Corollary 3.3
In Theorem 3.2, if we take x = 2a+b 3 , we obtain the following inequality: Corollary 3.4 In Corollary 3.3, if we take ρ = 3 8 , then we obtain the following inequality related to Simpson's second formula: Remark 3.5 Based on our primary finding, we may identify specific cases that correspond to previously established results.This not only showcases the generality of Theorem 3.2 but also consolidates the foundation laid by earlier studies: • By setting ρ = 39 80 , Corollary 3.3 will be reduced to Theorem 3 from [13].• If we set x = a+b 2 and ρ = 1 4 in Theorem 3.2, the outcomes align with Corollary 2.8 by Du et al. in [7], which pertains to the Bullen inequality.
Remark 3.6 Theorem 3.2 leads to a wealth of new discoveries since it allows for the deduction of many outcomes for generalized (s, P)-convex functions.Indeed, if we fix: 1/ ρ = 0, then we obtain the companion Ostrowski inequality.
2/ x = a, we then obtain the trapezium inequality.

Corollary 3.8
In Theorem 3.7, if we take x = 2a+b 3 , then we obtain the following inequality: Corollary 3.9 In Corollary 3.8, if we take ρ = 3 8 , then we obtain the following inequality related to Simpson's second formula: Remark 3.10 By setting ρ = 39 80 , Corollary 3.8 will be reduced to Theorem 4 from [13].
Corollary 3.12 In Theorem 3.11, if we take x = 2a+b 3 , we obtain the following inequality: . Corollary 3.13 In Corollary 3.12, if we take ρ = 3 8 , then we obtain the following inequality related to Simpson's second formula.
Remark 3.14 • By setting ρ = 39 80 , Corollary 3.12 will be reduced to Theorem 5 from [13].• Similar to Theorem 3.2, the outcomes related to Theorems 3.7 and 3.11 concerning the quadrature rules in Table 1 can be easily derived.

Example and applications
The purpose of this section is to confirm the precision and efficiency of the obtained results.To achieve this, we first present an example with a visual representation that supports the accuracy of our findings.Following that, we provide some practical uses for estimating the error of a specific quadrature formula and some inequalities that involve special means.

Example supporting study results
To further support and validate the results obtained in this study, we present an illustrative example consisting of multiple cases with 2D and 3D graphical representations that demonstrate the effectiveness and accuracy of our findings.It should be pointed out that the figures that follow were generated using MATLAB, with the color green representing the Right Hand Side and the color blue representing the Left Hand Side of their corresponding inequalities.
From Theorem 3.2, we obtain the following multiparametrized four-point Newton-Cotes-type inequalities related to the function under consideration. where If we set ς = 1, it becomes apparent that the outcome is reliant on three parameters.Our subsequent step is to fix one parameter at a time and graph the output as a function of the remaining two parameters.

Conclusion
In conclusion, this study makes significant contributions to the field of integral inequalities in local fractional calculus by examining particular parametrized integral inequalities for local fractional differentiable generalized (s, P)-convex functions.The introduction of a novel integral identity has allowed for the derivation of multiple integral inequalities for a broader family of well-known Newton-Cotes formulas with 1, 2, 3, and 4 points.These inequalities build upon previous works and include both new and previously established results, further enriching this area of research.The illustrative example, along with 2D and 3D graphical representations, provides strong evidence for the accuracy of the obtained results and highlights potential practical applications.Overall, this study expands the scope of understanding and paves the way for future research in the development of integral inequalities in the context of local fractional calculus.

Figure 2
Figure 2 Special cases

4. 2
Application to quadrature formulaLet be the partition of the pointsa = t 0 < t 1 < • • • < t k = b of the interval [a, b],and consider the quadrature formula 1

Table 1
Derived formulas denote the set of all local fractional differentiable functions on [a, b] by D ς [a, b].
. , k -1) of the partition , we get