- Research
- Open Access
- Published:
Some new Simpson-type inequalities for generalized p-convex function on fractal sets with applications
Advances in Difference Equations volume 2020, Article number: 496 (2020)
Abstract
The present article addresses the concept of p-convex functions on fractal sets. We are able to prove a novel auxiliary result. In the application aspect, the fidelity of the local fractional is used to establish the generalization of Simpson-type inequalities for the class of functions whose local fractional derivatives in absolute values at certain powers are p-convex. The method we present is an alternative in showing the classical variants associated with generalized p-convex functions. Some parts of our results cover the classical convex functions and classical harmonically convex functions. Some novel applications in random variables, cumulative distribution functions and generalized bivariate means are obtained to ensure the correctness of the present results. The present approach is efficient, reliable, and it can be used as an alternative to establishing new solutions for different types of fractals in computer graphics.
1 Introduction
The following inequality is known in the literature as a Simpson-type inequality:
where the mapping \(\chi :[\varkappa _{1},\varkappa _{2}]\rightarrow \mathbb{R}\) is assumed to be four times continuously differentiable on the interval \((\varkappa _{1},\varkappa _{2})\) and \(\Vert \chi ^{(4)} \Vert _{\infty }=\sup_{\xi \in (\varkappa _{1}, \varkappa _{2})} \vert \chi ^{4}(\xi ) \vert <\infty \). The inequality (1.1) has gained considerable attention, as convex analysis and fractional calculus operators involving several classes of convex functions is an uphill task. Therefore many authors proposed different numerical techniques to find Simpson-type inequalities, arising in the substantial literature of numerical analysis and engineering, and many other fields of sciences [1–12]. Profusely novel versions of Simpson-type inequalities for the class of convex functions have been modified and generalized by numerous researchers [13–24]. Recently, many investigations about (1.1) can be found by Rashid et al. [25] for preinvex functions, Li and Du [26] for \((\dot{\alpha },m)\)-GA-convex functions, Xi and Qi [27] for logarithmically convex functions, Sarikaya et al. [28] for s-convex functions and İşcan et al. [29] for p-convex function.
With the development of the inequality theory, the inequalities for various kinds of convex functions have a rapid blossom in the area of pure and applied mathematics [30–42]. As mentioned above, many articles are all involved with Hermite–Hadamard type and trapezoid type, midpoint type inequalities [43–49]. However, to the best of our knowledge, Simpson-type inequalities for functions whose first local α̇-derivatives in absolute value are the class of generalized p-convex functions have not been reported. So we turn our attention to this new research.
One of the aspects which are nowadays particularly well known among researchers is the integral inequalities with applications. In this field, the majority of the authors are generalizing the standard results in the accessible literature by utilizing various sorts/definitions of the fractional integral operators [4, 25, 50, 51]. An enormous heft of fractional differential problems and partial differential equations can be converted into problems of comprehending some estimated integral equations.
The early research motivations in the area of the local fractional theory were for solving a bulk of initial and boundary value associated with differential equations [52, 53]. In [53], Yang introduced a contemporary study used to tackle nondifferentiable problems that incorporate in complex systems of real-world phenomena. The fractal sets in science have introduced some fascinating complex graphs and picture compressions to computer graphics. The expression “fractal” was first utilized by a young mathematician, Julia [54] when he was considering Cayley’s problem identified with the conduct of Newton’s method in a complex plane. The fractal is frequently utilized in real-world studies, involving fractal antennas, fractal transistors, and fractal heat exchangers. It has applications in the music industry, the creation of photography, soil mechanics, small-angle scattering theory, and many more fileds. It is to be emphasized that fractal theory assumes an essential job in the improvement of picturing of fractal sets. The utilizations of fractal sets in cryptography and other useful areas of research have increased the interest of researchers to broaden the utilization in mathematical inequalities. Fractals are particular arbitrary examples descriptions addressing the erratic developments of the disorderly world at work. The most significant utilization of fractals in software engineering is fractal picture compression. This sort of compression utilizes the way that this present reality is very well portrayed by fractal geometry [52, 55, 56]. Interestingly, the author of [53] investigated the local fractional functions on fractal space deliberately, which comprises of local fractional calculus and the monotonicity of functions. Numerous analysts contemplated the characteristics of functions on fractal space and built numerous sorts of fractional calculus by utilizing various strategies [57–59]. Additionally, integral inequalities in the context of local fractional calculus have a significant role in all fields of pure and applied mathematics. For example, Chen [60] derived a novel version of Hölder inequality on fractals. In [58], Mo et al. established the fractal version of Hermite–Hadamard inequality by the use of generalized convex functions. In [61], Du et al. contemplated the novel generalizations for Simpson’s, Hermite Hadamard and Hermite–Hadamard–Fejér type inequalities for generalized m-convex functions concerning to local fractional calculus. In addition to these results, Luo et al. [62], deduced several new Fejér–Hermite–Hadamard inequalities for a class of h-convex functions with applications. For some useful and recent studies on fractional calculus and its applications in different fields of mathematics [63–68].
Owing to the above phenomena, the key aim of this research is to introduce a new auxiliary result depending on local fractal sets are presented. With the aid of novel identity, we derived numerous novel generalizations of Simpson-type for mappings whose powers contain local fractional derivatives in modulus are generalized p-convex. The main impetus of this study to capture new estimates for generalized convex functions and generalized harmonically convex functions. In addition, the application of the proved results in a random variable, cumulative distribution functions, and the generalized bivariate mean formula is also presented. We hope that the new strategy formulated in the present paper is more invigorating than the accessible one.
2 Preliminaries
Now, we mention the preliminaries from the theory of local fractional calculus. These ideas and important consequences associated with the local fractional derivative and local fractional integral are mainly due to Yang et al. [53].
Let \(\varsigma _{1}^{\dot{\alpha }}\), \(\varsigma _{2}^{\dot{\alpha }}\) and \(\varsigma _{3}^{\dot{\alpha }}\) belong to the set \(\mathbb{R}^{\dot{\alpha }}\) (\(0<\dot{\alpha }\leq 1\)). Then
-
(1)
\(\varsigma _{1}^{\dot{\alpha }}+\varsigma _{2}^{\dot{\alpha }}\) and \(\varsigma _{1}^{\dot{\alpha }}\varsigma _{2}^{\dot{\alpha }}\) belong to the set \(\mathbb{R}^{\dot{\alpha }}\);
-
(2)
\(\varsigma _{1}^{\dot{\alpha }}+\varsigma _{2}^{\dot{\alpha }}= \varsigma _{2}^{\dot{\alpha }}+\varsigma _{1}^{\dot{\alpha }} =( \varsigma _{1}+\varsigma _{2})^{\dot{\alpha }}=(\varsigma _{2}+ \varsigma _{1})^{\dot{\alpha }}\);
-
(3)
\(\varsigma _{1}^{\dot{\alpha }}+(\varsigma _{2}^{\dot{\alpha }}+ \varsigma _{3}^{\dot{\alpha }}) =(\varsigma _{1}^{\dot{\alpha }}+ \varsigma _{2}^{\dot{\alpha }})+\varsigma _{3}^{\dot{\alpha }}\);
-
(4)
\(\varsigma _{1}^{\dot{\alpha }}\varsigma _{2}^{\dot{\alpha }}= \varsigma _{2}^{\dot{\alpha }}\varsigma _{1}^{\dot{\alpha }} =( \varsigma _{1}\varsigma _{2})^{\dot{\alpha }}=(\varsigma _{2} \varsigma _{1})^{\dot{\alpha }}\);
-
(5)
\(\varsigma _{1}^{\dot{\alpha }}(\varsigma _{2}^{\dot{\alpha }} \varsigma _{3}^{\dot{\alpha }}) =(\varsigma _{1}^{\dot{\alpha }} \varsigma _{2}^{\dot{\alpha }})\varsigma _{3}^{\dot{\alpha }}\);
-
(6)
\(\varsigma _{1}^{\dot{\alpha }}(\varsigma _{2}^{\dot{\alpha }}+ \varsigma _{3}^{\dot{\alpha }}) =\varsigma _{1}^{\dot{\alpha }} \varsigma _{2}^{\dot{\alpha }}+\varsigma _{1}^{\dot{\alpha }}\varsigma _{3}^{ \dot{\alpha }}\);
-
(7)
\(\varsigma _{1}^{\dot{\alpha }}+0^{\dot{\alpha }}=0^{\dot{\alpha }}+ \varsigma _{1}^{\dot{\alpha }} =\varsigma _{1}^{\dot{\alpha }}\) and \(\varsigma _{1}^{\dot{\alpha }}1^{\dot{\alpha }}=1^{\dot{\alpha }} \varsigma _{1}^{\dot{\alpha }}=\varsigma _{1}^{\dot{\alpha }}\).
Definition 2.1
A nondifferentiable mapping \(\chi :\mathbb{R}\rightarrow \mathbb{R}^{\dot{\alpha }}\), \(\theta \rightarrow \chi (\epsilon )\) is said to be local fractional continuous at \(\epsilon _{\circ }\), if, for any \(\epsilon >0\), there exists \(\xi >0\) such that
for \(\vert \epsilon -\epsilon _{\circ } \vert <\kappa \). If \(\chi (\epsilon )\) is local continuous on \((\varkappa _{1},\varkappa _{2})\), then we denote it by \(\chi (\epsilon )\in \mathbb{C}_{\dot{\alpha }}(\varkappa _{1}, \varkappa _{2})\).
Definition 2.2
The local fractional derivative of \(\chi (\epsilon )\) of order α̇ at \(\epsilon =\epsilon _{\circ }\) is defined by the expression
where \(\Delta ^{\dot{\alpha }}(\chi (\epsilon )-\chi (\epsilon _{\circ }))= \Gamma (\dot{\alpha }+1)(\chi (\epsilon )-\chi (\epsilon _{\circ }))\). Let \(\chi ^{(\dot{\alpha })}(\epsilon )=\mathcal{D}_{\epsilon }^{ \dot{\alpha }}\chi (\epsilon )\). If there exists \(\chi ^{(k+1)\dot{\alpha }}(\epsilon )= \overbrace{\mathcal{D}_{\epsilon }^{\dot{\alpha }}\ldots\mathcal{D}_{\epsilon }^{\dot{ \alpha }}}^{(k+1)\text{ times}}\chi (\epsilon )\) for any \(\epsilon \in \Omega \subseteq \mathbb{R}\), then it is denoted by \(\chi \in \mathcal{D}_{(k+1)\dot{\alpha }}(\mathcal{I})\), where \(k=0,1,2,\ldots\) .
Definition 2.3
Let \(\chi (\epsilon )\in \mathbb{C}_{\dot{\alpha }}[\varkappa _{1}, \varkappa _{2}]\) and \(\Delta =\{\xi _{0},\xi _{1},\ldots,\xi _{N}\} \) (\(N\in \mathbb{N}\)) be a partition of \([\varkappa _{1},\varkappa _{2}]\) with \(\varkappa _{1}=\xi _{0}<\xi _{1}<\cdots<\xi _{N}=\varkappa _{2}\). Then the local fractional integral of χ on \([\varkappa _{1},\varkappa _{2}]\) of order α̇ is defined by
where \(\delta \xi :=\max \{\Delta \xi _{1},\Delta \xi _{2},\ldots,\Delta \xi _{N-1} \}\) and \(\Delta \xi _{j}:=\xi _{j+1}-\xi _{j}\), \(j=0,\ldots,N-1\).
We clearly see that \({}_{\varkappa _{1}}\mathcal{I}_{\varkappa _{2}}^{(\dot{\alpha })}\chi ( \epsilon )=0\) if \(\varkappa _{1}=\varkappa _{2}\) and \({}_{\varkappa _{1}}\mathcal{I}_{\varkappa _{2}}^{(\dot{\alpha })}\chi ( \epsilon )= -{}_{\varkappa _{2}}\mathcal{I}_{\varkappa _{1}}^{( \dot{\alpha })}\chi (\epsilon )\) if \(\varkappa _{1}<\varkappa _{2}\). For any \(\epsilon \in [\varkappa _{1},\varkappa _{2}]\), if there exists \({}_{\varkappa _{1}}\mathcal{I}_{\varkappa _{2}}^{(\dot{\alpha })}\chi ( \epsilon )\), then it is denoted by \(\chi (\epsilon )\in \mathcal{I}_{\epsilon }^{\dot{\alpha }}[\varkappa _{1}, \varkappa _{2}]\).
Lemma 2.4
(See [53])
The following statements are true:
-
(1)
If \(\chi (u)=\mathcal{G}^{(\dot{\alpha })}(u)\in \mathbb{C}_{\dot{\alpha }}[ \varkappa _{1},\varkappa _{2}]\), then
$$\begin{aligned} _{\varkappa _{1}}\mathcal{I}_{\varkappa _{2}}^{(\dot{\alpha })}\chi (u)= \mathcal{G}( \varkappa _{2})-\mathcal{G}(\varkappa _{1}). \end{aligned}$$ -
(2)
If \(\chi (u), \mathcal{G}(u)\in \mathcal{D}_{\dot{\alpha }}[\varkappa _{1}, \varkappa _{2}]\), and \(\chi ^{(\dot{\alpha })}(u),\mathcal{G}^{(\dot{\alpha })}(u)\in \mathbb{C}_{\dot{\alpha }}[\varkappa _{1},\varkappa _{2}]\), then
$$\begin{aligned} _{\varkappa _{1}}\mathcal{I}_{\varkappa _{2}}^{(\dot{\alpha })}\chi (u) \mathcal{G}^{(\dot{\alpha })}(u) =\chi (u)\mathcal{G}(u)\big| _{ \varkappa _{1}}^{\varkappa _{2}}-{}_{\varkappa _{1}} \mathcal{I}_{ \varkappa _{2}}^{(\dot{\alpha })}\chi ^{(\dot{\alpha })}(u)\mathcal{G}(u). \end{aligned}$$
Lemma 2.5
(See [53])
The formulas
hold for \(k>0\).
Lemma 2.6
(Generalized Hölder inequality [60])
Let \(s,q>1\)with \(s^{-1}+q^{-1}=1\)and \(\chi ,\mathcal{G}\in \mathbb{C}_{\dot{\alpha }}[\varkappa _{1}, \varkappa _{2}]\). Then
3 Main results and discussions
In this section, we first inaugurate a local fractional integral identity for generalized p-convex functions, and then we utilize the said identity to establish certain Simpson-type variants in the context of the fractal domain. We now present the concept of generalized p-convex functions on fractal space as follows.
Definition 3.1
Let \(p\in \mathbb{R}\setminus \{0\}\). Then \(\chi :\Omega =[\varkappa _{1},\varkappa _{2}]\rightarrow \mathbb{R}^{ \dot{\alpha }}\) is said to be generalized p-convex if the inequality
holds for \(x,y\in \Omega \), and \(\xi \in [0,1]\). χ is said to be generalized p-concave if inequality (3.1) is reversed.
Remark 3.2
From Definition 3.1 we clearly see that:
-
(1)
If we take \(\dot{\alpha }=1\), then we get a definition given in [69].
-
(2)
If we take \(p=1\), then we get a definition given in [58].
-
(3)
If we take \(p=-1\), then we get a definition given in [66].
-
(4)
If we take \(p=1\) with \(\dot{\alpha }=1\), then we get the classical convex function.
-
(5)
If we take \(p=-1\) and \(\dot{\alpha }=1\), then we get a definition given in [70].
It is worth mentioning that generalized p-convex functions collapse to generalized convex, generalized harmonically convex functions, harmonically convex functions, and classical convex functions as special cases. This shows that outcomes derived in the present paper continue to hold for these classes of convex functions and their variant forms.
Example 3.3
Let \(\chi :\Omega =[\varkappa _{1},\varkappa _{2}]\rightarrow \mathbb{R}^{ \dot{\alpha }}\) with \(\chi _{1}(u)=u^{\dot{\alpha } p} \) (\(p\neq 0\)) and \(\chi _{2}:\Omega \rightarrow \mathbb{R}^{\dot{\alpha }}\) with \(\chi _{2}(u)=c^{\dot{\alpha }} \) (\(c^{\dot{\alpha }}\in \mathbb{R}^{ \dot{\alpha }}\)). Then \(\chi _{1}\) is generalized p-convex and \(\chi _{2}\) is generalized p-concave.
Lemma 3.4
Let \(p\in \mathbb{R}\setminus \{0\}\)and \(\chi :\Omega ^{\circ }\subset \mathbb{R}\rightarrow \mathbb{R}^{ \dot{\alpha }}\)such that \(\chi \in \mathcal{D}_{\dot{\alpha }}(\Omega ^{\circ })\) (\(\Omega ^{ \circ }\)is the interior of Ω) and \(\chi ^{(\dot{\alpha })}\in \mathcal{C}_{\dot{\alpha }}[\varkappa _{1}, \varkappa _{2}]\). Then the inequality
holds for all \(u\in [\varkappa _{1},\varkappa _{2}]\).
Proof
Firstly, let us calculate the following integrals:
Utilizing the local fractional integration by parts and the change of the variable technique for the integrals \(I_{1}\) and \(I_{2}\), we get
and
Adding (3.2) and (3.3) and then multiplying the obtained result by \(\frac{1}{2^{\dot{\alpha }}}\), we have
Equation (3.4) gives the desired result. □
Theorem 3.5
Let \(p\in \mathbb{R}\setminus \{0\}\), \(s, q>1\)with \(s^{-1}+q^{-1}=1\)and \(\chi :\Omega ^{\circ }\subset \mathbb{R}\rightarrow \mathbb{R}^{ \dot{\alpha }}\)such that \(\chi \in \mathcal{D}_{\dot{\alpha }}(\Omega ^{\circ })\) (\(\Omega ^{ \circ }\)is the interior of Ω), \(\chi ^{(\dot{\alpha })}\in \mathcal{C}_{\dot{\alpha }}[\varkappa _{1}, \varkappa _{2}]\)and \(\vert \chi ^{(\dot{\alpha })} \vert ^{q}\)is a generalized p-convex function on Ω. Then one has
where
and
Proof
It follows from Lemma 3.4 and the generalized power mean inequality that
Making use of the generalized p-convexity of \(\vert \chi ^{(\dot{\alpha })} \vert ^{q}\) on Ω, we have
We use Lemma 2.5 and the facts that
and
where we have used the identities
Substituting (3.14)–(3.16) in (3.12), we conclude the immediate consequence (3.5). This completes the proof. □
Remark 3.6
Theorem 3.5 leads to the following conclusions:
-
(1)
Let \(\dot{\alpha }=1\). Then we get Theorem 2.1 of [29].
-
(2)
Let \(\dot{\alpha }=p=1\). Then we get Corollary 10 of [71] if we choose \(s=1\), which also coincides with the first part of Corollary 2.1 of [29].
-
(3)
Let \(\dot{\alpha }=1\) and \(p=-1\). Then we get the second part of Corollary 2.1 of [29].
Theorem 3.7
Let \(p\in \mathbb{R}\setminus \{0\}\), \(s, q>1\)with \(s^{-1}+q^{-1}=1\)and \(\chi :\Omega ^{\circ }\subset \mathbb{R}\rightarrow \mathbb{R}^{ \dot{\alpha }}\)such that \(\chi \in \mathcal{D}_{\dot{\alpha }}(\Omega ^{\circ })\) (\(\Omega ^{ \circ }\)is the interior of Ω), \(\chi ^{(\dot{\alpha })}\in \mathcal{C}_{\dot{\alpha }}[\varkappa _{1}, \varkappa _{2}]\)and \(\vert \chi ^{(\dot{\alpha })} \vert ^{q}\)is generalized p-convex on Ω. Then
where
and \(\mathbb{A}=\frac{\varkappa _{1}+\varkappa _{2}}{2}\)denotes the arithmetic mean.
Proof
It follows from Lemma 3.4 and the generalized Hölder inequality that
From the generalized p-convexity of \(\vert \chi ^{(\dot{\alpha })} \vert ^{q}\) on Ω, we have
Making use of Lemma 2.5 and using the change of variable technique, we get
Now, choosing \(\frac{1}{u^{ps-s-2p}}=\vartheta \) and using \(\frac{(du)^{\dot{\alpha }}}{u^{ps-s-2p-1}}= \frac{(d\vartheta )^{\dot{\alpha }}}{p(2-s)+s}\), we obtain
and
Again, choosing \(\frac{1}{u^{ps-s-p}}=\vartheta \) and using \(\frac{(du)^{\dot{\alpha }}}{u^{ps-s-p+1}}= \frac{(d\vartheta )^{\dot{\alpha }}}{p(1-s)+s}\), we get
and
Substituting (3.22)–(3.25), in (3.21) we get
Analogously,
Putting the values of \(\Lambda _{7}^{(\dot{\alpha })} (\varkappa _{1}, ( \frac{\varkappa _{1}^{p}+\varkappa _{2}^{p}}{2} )^{{1}/{p}};s,p )\) and \(\Lambda _{8}^{(\dot{\alpha })} ( ( \frac{\varkappa _{1}^{p}+\varkappa _{2}^{p}}{2} )^{{1}/{p}}, \varkappa _{2};s,p )\) in (3.20), we get the desired inequality (3.17). This completes the proof. □
Remark 3.8
Theorem 3.7 leads to the following conclusions:
-
(1)
If \(\dot{\alpha }=1\), then we get Theorem 2.2 of [29].
-
(2)
If \(\dot{\alpha }=p=1\), then we get Theorem 8 of [28] when we choose \(s=1\), which coincides with the first part of Corollary 2.2 of [29].
-
(3)
If \(\dot{\alpha }=1\) and \(p=-1\), then we get the second part of Corollary 2.2 of [29].
Theorem 3.9
Let \(p\in \mathbb{R}\setminus \{0\}\), \(s, q>1\)with \(s^{-1}+q^{-1}=1\)and \(\chi :\Omega ^{\circ }\subset \mathbb{R}\rightarrow \mathbb{R}^{ \dot{\alpha }}\)be a function such that \(\chi \in \mathcal{D}_{\dot{\alpha }}(\Omega ^{\circ })\) (\(\Omega ^{ \circ }\)is the interior of Ω), \(\chi ^{(\dot{\alpha })}\in \mathcal{C}_{\dot{\alpha }}[\varkappa _{1}, \varkappa _{2}]\)and \(\vert \chi ^{(\dot{\alpha })} \vert ^{q}\)is a generalized p-convex function on Ω. Then
where
and
Proof
It follows from Lemma 3.4 and the generalized Hölder inequality that
By the generalized p-convexity of \(\vert \chi ^{(\dot{\alpha })} \vert ^{q}\) on Ω, we have
From Lemma 2.5 we clearly see that
Again, using Lemma 2.5 and the change of the variable technique, we have
Now, choosing \(\frac{1}{u^{pq-q-p}}=\vartheta \) and using \(\frac{(du)^{\dot{\alpha }}}{u^{pq-q-p+1}}= \frac{(d\vartheta )^{\dot{\alpha }}}{(p(1-q)+q)^{\dot{\alpha }}}\), we obtain
Again, choosing \(\frac{1}{u^{pq-q-2p}}=\vartheta \) and from \(\frac{(du)^{\dot{\alpha }}}{u^{pq-q-2p+1}}= \frac{(d\vartheta )^{\dot{\alpha }}}{(p(2-q)+q)^{\dot{\alpha }}}\), we obtain
After substituting (3.34) and (3.35) in (3.33), we get
where we have used the identities
Substituting (3.32)–(3.37) in (3.31), we get the desired inequality (3.26). This completes the proof. □
Remark 3.10
Theorem 3.9 leads to the following conclusions:
4 Applications
4.1 Probability density functions
Consider a random variable \(\mathcal{Z}\) whose generalized probability density function is \(\mathfrak{p}:[\varkappa _{1},\varkappa _{2}]\rightarrow [0^{ \dot{\alpha }},1^{\dot{\alpha }}]\), which is generalized convex with the cumulative distribution function \(\mathcal{F}_{\dot{\alpha }}\) defined by
Moreover, the generalized expectation can be expressed as
We clearly see that
The following two propositions can be obtained from our results obtained in Sect. 3 immediately.
Proposition 4.1
Let \(p\in \mathbb{R}\setminus \{0\}\). Then Theorem 3.5leads to
where \(\Lambda _{1}^{(\dot{\alpha })} ( \varkappa _{1}, ( \frac{\varkappa _{1}^{p}+\varkappa _{2}^{p}}{2} )^{{1}/{p}}, ;p )\), \(\Lambda _{2}^{(\dot{\alpha })} ( \varkappa _{1}, ( \frac{\varkappa _{1}^{p}+\varkappa _{2}^{p}}{2} )^{{1}/{p}}, \varkappa _{1};p )\), \(\Lambda _{3}^{(\dot{\alpha })} ( \varkappa _{1}, (\frac{\varkappa _{1}^{p}+\varkappa _{2}^{p}}{2} )^{{1}/{p}};p )\), \(\Lambda _{4}^{(\dot{\alpha })} ( ( \frac{\varkappa _{1}^{p}+\varkappa _{2}^{p}}{2} )^{{1}/{p}}, \varkappa _{2};p )\), \(\Lambda _{5}^{(\dot{\alpha })} ( ( \frac{\varkappa _{1}^{p}+\varkappa _{2}^{p}}{2} )^{{1}/{p}}, \varkappa _{2};p )\), and \(\Lambda _{6}^{(\dot{\alpha })} ( ( \frac{\varkappa _{1}^{p}+\varkappa _{2}^{p}}{2} )^{{1}/{p}}, \varkappa _{2};p )\)are given in (3.6)–(3.10), respectively.
Proposition 4.2
Let \(p\in \mathbb{R}\setminus \{0\}\). Then Theorem 3.7leads to the conclusion that
where \(\Lambda _{7}^{(\dot{\alpha })} (\varkappa _{1}, ( \frac{\varkappa _{1}^{p}+\varkappa _{2}^{p}}{2} )^{{1}/{p}};s,p )\)and \(\Lambda _{8}^{(\dot{\alpha })} ( ( \frac{\varkappa _{1}^{p}+\varkappa _{2}^{p}}{2} )^{{1}/{p}}, \varkappa _{2};s,p )\)are given in (3.18) and (3.19), respectively.
4.2 Generalized special means
For \(\varkappa _{1}< \varkappa _{2}\) and \(\varkappa _{1},\varkappa _{2}\in \mathbb{R}^{\dot{\alpha }}\), considering the following α̇-type special means [72–80].
I. The generalized arithmetic mean:
II. The generalized weighted arithmetic mean:
III. The generalized logarithmic mean:
Let \(\chi (u)=u^{n\dot{\alpha }}\) (\(u\in \mathbb{R}\): \(n\in \mathbb{Z}\), \(\vert n \vert \geq 2\)). Then Theorems 3.7 and 3.9 lead to Propositions 4.3 and 4.4 immediately.
Proposition 4.3
Let \(\varkappa _{1},\varkappa _{2}\in \mathbb{R}\)with \(\varkappa _{1}<\varkappa _{2}\), \(0\notin [\varkappa _{1},\varkappa _{2}]\), \(p\in \mathbb{R}\setminus \{0\}\), and \(n\in \mathbb{N}\setminus \{1\}\). Then
where \(\Lambda _{7}^{(\dot{\alpha })} (\varkappa _{1}, ( \frac{\varkappa _{1}^{p}+\varkappa _{2}^{p}}{2} )^{{1}/{p}};s,p )\)and \(\Lambda _{8}^{(\dot{\alpha })} ( ( \frac{\varkappa _{1}^{p}+\varkappa _{2}^{p}}{2} )^{{1}/{p}}, \varkappa _{2};s,p )\)are given in (3.18) and (3.19), respectively.
Proposition 4.4
Let \(\varkappa _{1},\varkappa _{2}\in \mathbb{R}\)with \(\varkappa _{1}<\varkappa _{2}\), \(0\notin [\varkappa _{1},\varkappa _{2}]\), \(p\in \mathbb{R}\setminus \{0\}\)and \(n\in \mathbb{N}\setminus \{1\}\). Then
where \(\Theta _{1}^{(\dot{\alpha })} (\varkappa _{1}, ( \frac{\varkappa _{1}^{p}+\varkappa _{2}^{p}}{2} )^{{1}/{p}};q,p )\), \(\Theta _{2}^{(\dot{\alpha })} (\varkappa _{1}, ( \frac{\varkappa _{1}^{p}+\varkappa _{2}^{p}}{2} )^{{1}/{p}};q,p )\), \(\Theta _{3}^{(\dot{\alpha })} ( ( \frac{\varkappa _{1}^{p}+\varkappa _{2}^{p}}{2} )^{{1}/{p}}, \varkappa _{2};q,p )\)and \(\Theta _{4}^{(\dot{\alpha })} ( ( \frac{\varkappa _{1}^{p}+\varkappa _{2}^{p}}{2} )^{{1}/{p}}, \varkappa _{2};q,p )\)are given in (3.27)–(3.30), respectively.
5 Conclusion
In this article, we have obtained several Simpson-type inequalities for the generalized p-convex functions via the local fractional calculus, our results include a large number of particular cases of the generalized convexity of segmental type and generalized harmonically convex functions. Our ideas and techniques used to obtain the main results in this paper may generate new results within other classes of generalized convexity, which are not included in generalized p-convexity type. These types of results are useful in all the pure and applied domains of science and technique when approximation schemes are involved. It is worth mentioning that many significant real-life problems are generally defined in fractal spaces. Therefore, it is of interest to extend our results to the inequality theory, fuzzy sets and systems and machine learning, which is more general than the current branch of mathematics.
References
Dragomir, S.S., Agarwal, R.P., Cerone, P.: On Simpson’s inequality and applications. J. Inequal. Appl. 5(6), 533–579 (2000)
Liu, Z.: An inequality of Simpson type. Proc. R. Soc. Lond., Ser. A, Math. Phys. Eng. Sci. 461(2059), 2155–2158 (2005)
Park, J.: Generalization of some Simpson-like type inequalities via differentiable s-convex mappings in the second sense. Int. J. Math. Math. Sci. 2011, Article ID 493531 (2011)
Set, E., Akdemir, A.O., Özdemir, M.E.: Simpson type integral inequalities for convex functions via Riemann–Liouville integrals. Filomat 31(14), 4415–4420 (2017)
Chu, Y.-M., Awan, M.U., Javad, M.Z., Khan, A.W.: Bounds for the remainder in Simpson’s inequality via n-polynomial convex functions of higher order using Katugampola fractional integrals. J. Math. 2020, Article ID 4189036 (2020)
Yan, P.-Y., Li, Q., Chu, Y.-M., Mukhtar, S., Waheed, S.: On some fractional integral inequalities for generalized strongly modified h-convex function. AIMS Math. 5(6), 6620–6638 (2020)
Rashid, S., İşcan, İ., Baleanu, D., Chu, Y.-M.: Generation of new fractional inequalities via n polynomials s-type convexity with applications. Adv. Differ. Equ. 2020, Article ID 264 (2020)
Adil Khan, M., Hanif, M., Khan, Z.A., Ahmad, K., Chu, Y.-M.: Association of Jensen’s inequality for s-convex function with Csiszár divergence. J. Inequal. Appl. 2019, Article ID 162 (2019)
Rashid, S., Ashraf, R., Noor, M.A., Noor, K.I., Chu, Y.-M.: New weighted generalizations for differentiable exponentially convex mapping with application. AIMS Math. 5(4), 3525–3546 (2020)
Khan, S., Adil Khan, M., Chu, Y.-M.: Converses of the Jensen inequality derived from the Green functions with applications in information theory. Math. Methods Appl. Sci. 43(5), 2577–2587 (2020)
Awan, M.U., Akhtar, N., Iftikhar, S., Noor, M.A., Chu, Y.-M.: New Hermite–Hadamard type inequalities for n-polynomial harmonically convex functions. J. Inequal. Appl. 2020, Article ID 125 (2020)
Kalsoom, H., Idrees, M., Baleanu, D., Chu, Y.-M.: New estimates of \(q_{1}q_{2}\)-Ostrowski-type inequalities within a class of n-polynomial prevexity of function. J. Funct. Spaces 2020, Article ID 3720798 (2020)
Du, T.-S., Li, Y.-J., Yang, Z.-Q.: A generalization of Simpson’s inequality via differentiable mapping using extended \((s,m)\)-convex functions. Appl. Math. Comput. 293, 358–369 (2017)
Hsu, K.-C., Hwang, S.-R., Tseng, K.-L.: Some extended Simpson-type inequalities and applications. Bull. Iranian Math. Soc. 43(2), 409–425 (2017)
Matłoka, M.: Weighted Simpson type inequalities for h-convex functions. J. Nonlinear Sci. Appl. 10(11), 5770–5780 (2017)
Shen, J.-M., Rashid, S., Noor, M.A., Ashraf, R., Chu, Y.-M.: Certain novel estimates within fractional calculus theory on time scales. AIMS Math. 5(6), 6073–6086 (2020)
Rashid, S., Jarad, F., Chu, Y.-M.: A note on reverse Minkowski inequality via generalized proportional fractional integral operator with respect to another function. Math. Probl. Eng. 2020, Article ID 7630260 (2020)
Rashid, S., Hammouch, Z., Jarad, F., Chu, Y.-M.: New estimates of integral inequalities via generalized proportional fractional integral operator with respect to another function. Fractals 28(8), Article ID 2040027 (2020)
Rashid, S., Khalid, A., Rahman, S., Nisar, K.S., Chu, Y.-M.: On new modifications governed by quantum Hahn’s integral operator pertaining to fractional calculus. J. Funct. Spaces 2020, Article ID 8262860 (2020)
Ge-JiLe, H., Rashid, S., Noor, M.A., Suhail, A., Chu, Y.-M.: Some unified bounds for exponentially \(tgs\)-convex functions governed by conformable fractional operators. AIMS Math. 5(6), 6108–6123 (2020)
Awan, M.U., Akhtar, N., Kashuri, A., Noor, M.A., Chu, Y.-M.: 2D approximately reciprocal ρ-convex functions and associated integral inequalities. AIMS Math. 5(5), 4662–4680 (2020)
Abbas Baloch, I., Mughal, A.A., Chu, Y.-M., Haq, A.U., De La Sen, M.: A variant of Jensen-type inequality and related results for harmonic convex functions. AIMS Math. 5(6), 6404–6418 (2020)
Awan, M.U., Talib, S., Noor, M.A., Chu, Y.-M., Noor, K.I.: Some trapezium-like inequalities involving functions having strongly n-polynomial preinvexity property of higher order. J. Funct. Spaces 2020, Article ID 9154139 (2020)
Zhou, S.-S., Rashid, S., Jarad, F., Kalsoom, H., Chu, Y.-M.: New estimates considering the generalized proportional Hadamard fractional integral operators. Adv. Differ. Equ. 2020, Article ID 275 (2020)
Rashid, S., Akdemir, A.O., Jarad, F., Noor, M.A., Noor, K.I.: Simpson’s type integral inequalities for κ-fractional integrals and their applications. AIMS Math. 4(4), 1087–1100 (2019)
Li, Y.-J., Du, T.: Some Simpson’s type integral inequalities for functions whose third derivatives are \((\dot{\alpha },m)\)-GA-convex function. J. Egypt. Math. Soc. 24, 175–180 (2016)
Xi, B.-Y., Qi, F.: Integral inequalities of Simpson type for logarithmically convex functions. Adv. Stud. Contemp. Math. 23(4), 559–566 (2013)
Sarikaya, M.Z., Set, E., Özdemir, M.: On new inequalities of Simpson’s type for s-convex functions. Comput. Math. Appl. 60(8), 2191–2199 (2010)
İşcan, İ., Konuk, N.K., Kadakal, M.: Some new Simpson type inequalities for the p-convex and p-concave functions. Commun. Fac. Sci. Univ. Ank. Sér. A1 Math. Stat. 67(2), 252–263 (2018)
Khurshid, Y., Adil Khan, M., Chu, Y.-M.: Conformable fractional integral inequalities for GG- and GA-convex functions. AIMS Math. 5(5), 5012–5030 (2020)
Xu, L., Chu, Y.-M., Rashid, S., El-Deeb, A.A., Nisar, K.S.: On new unified bounds for a family of functions with fractional q-calculus theory. J. Funct. Spaces 2020, Article ID 4984612 (2020)
Rashid, S., Hammouch, Z., Baleanu, D., Chu, Y.-M.: New generalizations in the sense of the weighted non-singular fractional integral operator. Fractals 28(7), Article ID 2040003 (2020)
Zhao, T.-H., He, Z.-Y., Chu, Y.-M.: On some refinements for inequalities involving zero-balanced hypergeometric function. AIMS Math. 5(6), 6479–6495 (2020)
Agarwal, P., Kadakal, M., İşcan, İ., Chu, Y.-M.: Better approaches for n-times differentiable convex functions. Mathematics 8, Article ID 950 (2020)
Wang, M.-K., Chu, H.-H., Li, Y.-M., Chu, Y.-M.: Answers to three conjectures on convexity of three functions involving complete elliptic integrals of the first kind. Appl. Anal. Discrete Math. 14(1), 255–271 (2020)
Shen, J.-M., Yang, Z.-H., Qian, W.-M., Zhang, W., Chu, Y.-M.: Sharp rational bounds for the gamma function. Math. Inequal. Appl. 23(3), 843–853 (2020)
Wang, M.-K., Chu, Y.-M., Li, Y.-M., Zhang, W.: Asymptotic expansion and bounds for complete elliptic integrals. Math. Inequal. Appl. 23(3), 821–841 (2020)
Hai, G.-J., Zhao, T.-H.: Monotonicity properties and bounds involving the two-parameter generalized Grötzsch ring function. J. Inequal. Appl. 2020, Article ID 66 (2020)
Sun, M.-B., Chu, Y.-M.: Inequalities for the generalized weighted mean values of g-convex functions with applications. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 114(4), Article ID 172 (2020)
Adil Khan, M., Pečarić, J., Chu, Y.-M.: Refinements of Jensen’s and McShane’s inequalities with applications. AIMS Math. 5(5), 4931–4945 (2020)
Zhao, T.-H., Wang, M.-K., Chu, Y.-M.: A sharp double inequality involving generalized complete elliptic integral of the first kind. AIMS Math. 5(5), 4512–4528 (2020)
Zhao, T.-H., He, Z.-Y., Chu, Y.-M.: On some refinements for inequalities involving zero-balanced hypergeometric function. AIMS Math. 5(6), 6479–6495 (2020)
Awan, M.U., Talib, S., Chu, Y.-M., Noor, M.A., Noor, K.I.: Some new refinements of Hermite–Hadamard-type inequalities involving \(\Psi _{k}\)-Riemann–Liouville fractional integrals and applications. Math. Probl. Eng. 2020, Article ID 3051920 (2020)
Yang, X.-Z., Farid, G., Nazeer, W., Chu, Y.-M., Dong, C.-F.: Fractional generalized Hadamard and Fejér–Hadamard inequalities for m-convex function. AIMS Math. 5(6), 6325–6340 (2020)
Guo, S.-Y., Chu, Y.-M., Farid, G., Mehmood, S., Nazeer, W.: Fractional Hadamard and Fejér–Hadamard inequaities associated with exponentially \((s, m)\)-convex functions. J. Funct. Spaces 2020, Article ID 2410385 (2020)
Iqbal, A., Adil Khan, M., Ullah, S., Chu, Y.-M.: Some new Hermite–Hadamard-type inequalities associated with conformable fractional integrals and their applications. J. Funct. Spaces 2020, Article ID 9845407 (2020)
Khurshid, Y., Adil Khan, M., Chu, Y.-M.: Conformable integral version of Hermite–Hadamard–Fejér inequalities via η-convex functions. AIMS Math. 5(5), 5106–5120 (2020)
Qi, H.-X., Yussouf, M., Mehmood, S., Chu, Y.-M., Farid, G.: Fractional integral versions of Hermite–Hadamard type inequality for generalized exponentially convexity. AIMS Math. 5(6), 6030–6042 (2020)
Iqbal, A., Adil Khan, M., Mohammad, N., Nwaeze, E.R., Chu, Y.-M.: Revisiting the Hermite–Hadamard integral inequality via a Green function. AIMS Math. 5(6), 6087–6107 (2020)
Rashid, S., Safdar, F., Akdemir, A.O., Noor, M.A., Noor, K.I.: Some new fractional integral inequalities for exponentially m-convex functions via extended generalized Mittag-Leffler function. J. Inequal. Appl. 2019, Article ID 299 (2019)
Rashid, S., Jarad, F., Noor, M.A., Kalsoom, H., Chu, Y.-M.: Inequalities by means of generalized proportional fractional integral operators with respect to another function. Mathematics 7(12), Article ID 1225 (2019)
Yang, Y.-J., Baleanu, D., Yang, X.-J.: Analysis of fractal wave equations by local fractional Fourier series method. Adv. Math. Phys. 2013, Article ID 632309 (2013)
Yang, X.-J., Baleanu, D., Srivastava, H.M.: Local Fractional Integral Transforms and Their Applications. Elsevier/Academic Press, Amsterdam (2016)
Julia, G.: Mémoire sur l’itération des fonctions rationnelles. J. Math. Pures Appl. 4, 47–245 (1918)
Kwun, Y.C., Shahid, A.A., Nazeer, W., Abbas, M., Kang, S.M.: Fractel generation via CR iteration scheme with s-convexity. IEEE Access 7, 69986–69997 (2019)
Kumari, S., Kumari, M., Chugh, R.: Generation of new fractals via SP orbit with s-convexity. Int. J. Eng. Technol. 9(3), 2491–2504 (2017)
Mo, H.-X., Sui, X.: Hermite–Hadamard-type inequalities for generalized s-convex functions on real linear fractal set \({\mathbb{R}}^{\alpha }\) (\(0<\alpha <1\)). Math. Sci. 11(3), 241–246 (2017)
Mo, H.-X., Sui, X., Yu, D.-Y.: Generalized convex functions on fractal sets and two related inequalities. Abstr. Appl. Anal. 2014, Article ID 636751 (2014)
Mo, H.-X.: Generalized Hermite–Hadamard type inequalities involving local fractional integrals. https://arxiv.org/ftp/arxiv/papers/1410/1410.1062.pdf. arXiv:1410.1062 [math.CA]
Chen, G.-S.: Generalizations of Hölder’s and some related integral inequalities on fractal space. J. Funct. Spaces Appl. 2013, Article ID 198405 (2013)
Du, T.-S., Wang, H., Adil Khan, M., Zhang, Y.: Certain integral inequalities considering generalized m-convexity on fractal sets and their applications. Fractals 27(7), Article ID 1950117 (2019)
Luo, C.-Y., Wang, H., Du, T.-S.: Fejér–Hermite–Hadamard type inequalities involving generalized h-convexity on fractal sets and their applications. Chaos Solitons Fractals 131, Article ID 109547 (2020)
Sarikaya, M.Z., Budak, H., Erden, S.: On new inequalities of Simpson’s type for generalized convex functions. Korean J. Math. 27(2), 279–295 (2019)
Vivas, M., Hernández, J., Merentes, N.: New Hermite–Hadamard and Jensen type inequalities for h-convex functions on fractal sets. Rev. Colomb. Mat. 50(2), 143–162 (2016)
Sarikaya, M.Z., Budak, H.: Generalized Ostrowski type inequalities for local fractional integrals. Proc. Am. Math. Soc. 145(4), 1527–1538 (2017)
Sun, W.-B.: On generalization of some inequalities for generalized harmonically convex functions via local fractional integrals. Quaest. Math. 42(9), 1159–1183 (2019)
Budak, H., Sarikaya, M.Z., Yildirim, H.: New inequalities for local fractional integrals. Iran. J. Sci. Technol. Trans. A, Sci. 41(4), 1039–1046 (2017)
Erden, S., Sarikaya, M.Z., Çelik, N.: Some generalized inequalities involving local fractional integrals and their applications for random variables and numerical integration. J. Appl. Math. Stat. Inform. 12(2), 49–65 (2016)
Zhang, K.-S., Wan, J.-P.: p-Convex functions and their properties. Pure Appl. Math. 23(1), 130–133 (2007)
İşcan, İ.: Hermite–Hadamard type inequalities for harmonically convex functions. Hacet. J. Math. Stat. 43(6), 935–942 (2014)
İşcan, İ.: New estimates on generalization of some integral inequalities for s-convex functions and their applications. https://arxiv.org/pdf/1207.7114.pdf. arXiv:1207.7114 [math.CA]
Pearce, C.E.M., Pečarić, J.: Inequalities for differentiable mappings with application to special means and quadrature formulae. Appl. Math. Lett. 13(2), 51–55 (2000)
Chu, Y.-M., Long, B.-Y.: Best possible inequalities between generalized logarithmic mean and classical means. Abstr. Appl. Anal. 2010, Article ID 303286 (2020)
Chu, Y.-M., Xia, W.-F.: Two optimal double inequalities between power mean and logarithmic mean. Comput. Math. Appl. 60(1), 83–89 (2010)
Zhang, X.-M., Chu, Y.-M.: Convexity of the integral arithmetic mean of a convex function. Rocky Mt. J. Math. 40(3), 1061–1068 (2010)
Wang, M.-K., Chu, Y.-M., Qiu, Y.-F., Qiu, S.-L.: An optimal power mean inequality for the complete elliptic integrals. Appl. Math. Lett. 24(6), 887–890 (2011)
Chu, Y.-M., Wang, M.-K., Qiu, S.-L.: Optimal combinations bounds of root-square and arithmetic means for Toader mean. Proc. Indian Acad. Sci. Math. Sci. 122(1), 41–51 (2012)
Chu, Y.-M., Wang, M.-K.: Optimal Lehmer mean bounds for the Toader mean. Results Math. 61(3–4), 223–229 (2012)
Qian, W.-M., Zhang, X.-H., Chu, Y.-M.: Sharp bounds for the Toader–Qi mean in terms of harmonic and geometric means. J. Math. Inequal. 11(1), 121–127 (2017)
Qian, W.-M., Chu, Y.-M.: Sharp bounds for a special quasi-arithmetic mean in terms of arithmetic and geometric means with two parameters. J. Inequal. Appl. 2017, Article ID 274 (2017)
Acknowledgements
The authors would like to express their sincere thanks to the support of National Natural Science Foundation of China.
Availability of data and materials
Not applicable.
Funding
This work was supported by the National Natural Science Foundation of China (Grant No. 61673169).
Author information
Authors and Affiliations
Contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Abdeljawad, T., Rashid, S., Hammouch, Z. et al. Some new Simpson-type inequalities for generalized p-convex function on fractal sets with applications. Adv Differ Equ 2020, 496 (2020). https://doi.org/10.1186/s13662-020-02955-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-020-02955-9
MSC
- 26D15
- 26D10
- 90C23
Keywords
- Generalized convex function
- Generalized s-convex function
- Hermite–Hadamard inequality
- Simpson’s-like type inequality
- Generalized m-convex functions
- Fractal sets