Abstract
A new generalized integral identity involving first order differentiable functions is obtained. Using this identity as an auxiliary result, we then obtain some new refinements of Simpson type inequalities using a new class called as strongly (s, m)-convex functions of higher order of \(\sigma >0\). We also discuss some interesting applications of the obtained results in the theory of means. In last we present applications of the obtained results in obtaining Simpson-like quadrature formula.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and preliminaries
The following inequality is known as Simpson’s inequality.
Theorem 1.1
Let \({{\mathcal {F}}}:[{a_{1}},{a_{2}}]\rightarrow {\mathbb {R}}\) be a four times continuously differentiable function on \(({a_{1}},{a_{2}})\) and \(\Vert {{\mathcal {F}}}^{4}\Vert _{\infty }=\sup \limits _{x\in ({a_{1}}, {a_{2}})}|{{\mathcal {F}}}^{4}(x)|<\infty \), then
Simpson’s inequality plays a significant role in modern analysis [4]. In past it has been extended and generalized in different directions using novel and innovative approaches. For example, Dragomir et al. [4] obtained the following version of the Simpson’s inequality.
Theorem 1.2
Let \({{\mathcal {F}}}:[{a_{1}},{a_{2}}]\rightarrow {\mathbb {R}}\) be a differentiable function whose derivative is continuous on \(({a_{1}},{a_{2}})\) and \({{\mathcal {F}}}'\in L[{a_{1}},{a_{2}}]\), then
where \(\Vert {{\mathcal {F}}}'\Vert _{1}=\int \nolimits _{{a_{1}}}^ {{a_{2}}}|{{\mathcal {F}}}'(x)|\mathrm {d}x\).
Sarikaya et al. [13] obtained Simpson’s inequality using differentiable convex functions.
Theorem 1.3
Let \({{\mathcal {F}}}:[{a_{1}},{a_{2}}]\rightarrow {\mathbb {R}}\) be a differentiable function on \(({a_{1}},{a_{2}})\) such that \({{\mathcal {F}}}'\in L[{a_{1}},{a_{2}}]\). If \(|{{\mathcal {F}}}'|^{q}\) is convex, then
where \(\frac{1}{p}+\frac{1}{q}=1\).
Dragomir et al. [4] has written a very informative paper regarding the developments and applications of Simpson’s inequality.
Fractional calculus although is very old but in recent decades has received special attention. It has emerged as an interdisciplinary field of mathematics. Due to its great utility and applications mathematicians have shown their keen interest in it.
The classical Riemann-Liouville fractional integrals are defined as:
Definition 1.1
([7]) Let \({{\mathcal {F}}}\in L_{1}[{a_{1}},{a_{2}}]\). Then the Riemann-Liouville integrals \(J_{{a_{1}}^+}^{\alpha }{{\mathcal {F}}}\) and \(J_{{a_{2}}^-}^{\alpha }{{\mathcal {F}}}\) of order \(\alpha >0\) with \({a_{1}}\ge 0\) are defined by
and
where
is the well known Gamma function.
Diaz and Pariguan [3] introduced the notion of generalized \({\kappa }\)-gamma function. The integral form of \(\Gamma _{{\kappa }}\) is given by:
Note that
\({\kappa }\)-Beta function is defined as:
Obviously
Mubeen and Habibullah [9] were the first to extend the notion of classical Riemann-Liouville fractional integrals to \({\kappa }\)-Riemann-Liouville fractional integrals. Sarikaya et al. [12] independently extended the notion of Riemann-Liouville fractional integrals to \({\kappa }\)-Riemann-Liouville fractional integrals and discussed some of its interesting properties.
To be more precise let \({{\mathcal {F}}}\) be piecewise continuous on \(I^{*}=(0,\infty )\) and integrable on any finite subinterval of \(I=[0,\infty ]\). Then for \(v>0\), we consider \({\kappa }\)-Riemann-Liouville fractional integral of \({{\mathcal {F}}}\) of order \(\alpha \)
For some recent studies involving \({\kappa }\)-fractional calculus, see [1, 2, 5, 10, 11].
The main objective of this paper is to derive some new generalized variants of Simpson’s like inequalities for the functions belonging to Lebesgue \(L_{1}\), \(L_{q}\) and \(L_{\infty }\) spaces. We essentially derive our results using a new class of convexity called as strongly (s, m)-convex functions of higher order of \(\sigma >0\). We also discuss some special cases of the obtained results. In order to show the significance of the obtained results, we also discuss some interesting applications of the main results. We hope that the ideas and the techniques of this paper will inspire interested readers working in this filed.
2 Main results
2.1 New definition
We now define the class of strongly (s, m)-convex functions of higher order of \(\sigma >0\).
Definition 2.1
A function \({{\mathcal {F}}}:[0,\infty )\rightarrow {\mathbb {R}}\) is said to be strongly (s, m)-convex functions of higher order of \(\sigma >0\), for certain fixed \((s,m)\in (0,1]^{2}\), if
where \(\mu ,\sigma >0\) and \(\tau \in [0,1]\).
It is worth to point out here that, if \(\sigma =0\), then we have the class of (s, m)-convex functions introduced and studied by Eftkhari [6]. And if we take \(\sigma =2\), them the class of strongly (s, m)-convex functions of higher order of \(\sigma >0\) reduces to the class of strongly (s, m)-convex functions of order 2. To the best of our knowledge this is also new in the literature.
Definition 2.2
A function \({{\mathcal {F}}}:[0,\infty )\rightarrow {\mathbb {R}}\) is said to be strongly (s, m)-convex functions of order 2, for certain fixed \((s,m)\in (0,1]^{2}\), if
where \(\mu >0\) and \(\tau \in [0,1]\).
2.2 A key lemma
In this section, we derive a new integral identity which will be used as an auxiliary result in obtaining results of the subsequent sections.
Lemma 2.1
Let \(0<m\le 1\), \(\alpha >0\), \(n\in {\mathbb {N}}\), and \({{\mathcal {F}}}:J=[m{a_{1}},\frac{{a_{2}}}{m}]\rightarrow {\mathbb {R}}\) be a differentiable function with \({a_{1}}<{a_{2}}\). If \({{\mathcal {F}}}\in L_1[J]\), then
where
and \(w=(1-\beta )m{a_{1}}+\beta {a_{2}}, \beta \in [0,1].\)
Proof
Consider
Now
Similarly
Using the values of \(I_1\) and \(I_2\) in (2.1), we get the required result. \(\square \)
2.3 Simpson’s like inequalities
We now derive some new Simpson’s like inequalities using the class of strongly (s, m) convex functions of higher order \(\sigma >o\).
Theorem 2.2
Under all the assumption of Lemma 2.1, if \(|{{\mathcal {F}}}'|\) is bounded, that is \(\Vert {{\mathcal {F}}}'\Vert _{\infty }=\sup _{x\in [m{a_{1}},{a_{2}}]}\left| {{\mathcal {F}}}'(x)\right| <\infty \), then
Proof
Using Lemma 2.1, boundedness \(|{{\mathcal {F}}}'|\) and properties of absolute value, we have
where
This completes the proof. \(\square \)
Theorem 2.3
Under all the assumption of Lemma 2.1, if \({{\mathcal {F}}}'\in L_1[m{a_{1}},{a_{2}}]\), then
where \(\Vert {{\mathcal {F}}}'\Vert _1=\int _{m{a_{1}}}^{{a_{2}}}\left| {{\mathcal {F}}}'(x)\right| \mathrm {d}x.\)
Proof
Using Lemma 2.1, boundedness \(|{{\mathcal {F}}}'|\) and properties of absolute value, we have
where we have used the fact that \(\left| \frac{1}{n+4}-\frac{{\tau }^{\frac{\alpha }{{\kappa }}}}{n+1}\right| \le \frac{3}{(n+1)(n+4)}\), for \({\tau }\in [0,1]\) and \(\alpha >0\). This completes the proof. \(\square \)
Theorem 2.4
Under all the assumption of Lemma 2.1, if \({{\mathcal {F}}}'\in L_q[m{a_{1}},{a_{2}}]\) with \(1<q<\infty \), then
where
and \(\Vert {{\mathcal {F}}}'\Vert _q=\left( \int _{m{a_{1}}}^{{a_{2}}}\left| {{\mathcal {F}}}'(x)\right| ^q\mathrm {d}x\right) ^{\frac{1}{q}}<\infty \) with \(\frac{1}{p}+\frac{1}{q}=1\).
Proof
Using Lemma 2.1, boundedness \(|{{\mathcal {F}}}'|\) and properties of absolute value, we have
where
which follows from \(\left| A^\theta -B^\theta \right| \le \left| A-B\right| ^\theta \) for any \(A,B\ge 1\) and \(\theta \in (0,1].\) This completes the proof. \(\square \)
Theorem 2.5
Let \(\alpha >0\), \(\mu >0\), \(n\in {\mathbb {N}}\) and \({{\mathcal {F}}}:[m{a_{1}},\frac{{a_{2}}}{m}]\rightarrow {\mathbb {R}}\) be a differentiable function with \({a_{1}}<{a_{2}}\) such that \({{\mathcal {F}}}\in L_1[m{a_{1}},\frac{{a_{2}}}{m}]\). If \(\left| {{\mathcal {F}}}'\right| ^q\) is strongly (s, m)-convex function of higher order of \(\sigma >0\) with \((s,m)\in (0,1]^2\) for \(p,q>1\) with \(\frac{1}{p}+\frac{1}{q}=1\), then for \(w\in [m{a_{1}},{a_{2}}]\) and \(\alpha \in (0,1]\), we have
where T is defined in Theorem 2.4.
Proof
Using Lemma 2.1 and the fact that \(\left| {{\mathcal {F}}}'\right| ^q\) is strongly (s, m)-convex function of higher order of \(\sigma >0\), we have
To obtain our required result, we use the following:
and
\(\square \)
We now discuss some special cases.
Corollary 2.1
If \(w=m{a_{1}}\) and \(\mu =0\) in Theorem 2.5, we get
Corollary 2.2
If \(w={a_{2}}\) and \(\mu =0\) in Theorem 2.5, we get
Corollary 2.3
If \(w=\frac{m{a_{1}}+{a_{2}}}{n+1}\) and \(\mu =0\) in Theorem 2.5, we get
Corollary 2.4
Combining (2.4) and (2.5), we have
Corollary 2.5
By taking \(\alpha ={\kappa }=m=1\) in (2.6), we have
Theorem 2.6
Let \(\alpha >0\), \(n\in {\mathbb {N}}\) and \({{\mathcal {F}}}:[m{a_{1}},\frac{{a_{2}}}{m}]\rightarrow {\mathbb {R}}\) be a differentiable function with \({a_{1}}<{a_{2}}\) such that \({{\mathcal {F}}}\in L_1[m{a_{1}},\frac{{a_{2}}}{m}]\) . If \(\left| {{\mathcal {F}}}'\right| ^q\) is strongly (s, m)-convex function of higher order of \(\sigma >0\) with \((s,m)\in (0,1]^2\) for \(p,q>1\) with \(\frac{1}{p}+\frac{1}{q}=1\), then for \(w\in [m{a_{1}},{a_{2}}]\) and \(\alpha \in (0,1]\), we have
where T is defined in Theorem 2.4.
Proof
Using Lemma 2.1 and convexity of \(\left| {{\mathcal {F}}}'\right| ^q\) with \(p,q>1\), we have
By using these integrals in above expression, we obtain our required result
and
This completes the proof. \(\square \)
Corollary 2.6
If we put \(w=\frac{m{a_{1}}+{a_{2}}}{n+1}\) in Theorem 2.6, then
3 Applications
3.1 Applications to means
In this section, we give some applications to means. First of all we recall the definitions of some special means.
For \(0<{a_{1}}<{a_{2}}\) and \(n\in {\mathbb {N}}\), we have
-
1.
The arithmetic mean is defined as: \(A({a_{1}},{a_{2}})=\frac{{a_{1}}+{a_{2}}}{n+1},\)
-
2.
The \(\beta \)-logarithmic mean is defined as: \(L_{\beta }({a_{1}},{a_{2}})=\left[ \frac{{a_{2}}^{\beta +1} -{a_{1}}^{\beta +1}}{(\beta +1 )({a_{2}}-{a_{1}})}\right] ^{\frac{1}{\beta }}\) where \(\beta \in {\mathbb {Z}}- \{0,1\}\).
We now discuss main results of this section.
Proposition 3.1
Let \( 0<{a_{1}}<{a_{2}} \), \( 0<s<1 \) and \( \frac{1}{p}+\frac{1}{q}=1\) with \(q>1\), then
Proof
Using \(\alpha ={\kappa }=m=1\) and \({{\mathcal {F}}}(x)=\frac{x^{\frac{s}{q}+1}}{\frac{s}{q}+1}\) in Corollary 2.3 completes the proof. \(\square \)
Proposition 3.2
Let \( 0<{a_{1}}<{a_{2}} \), \( 0<s<1 \) and \( \frac{1}{p}+\frac{1}{q}=1\) with \(q>1\), then
Proof
Using \(\alpha ={\kappa }=m=1\) and \({{\mathcal {F}}}(x)=\frac{x^{\frac{s}{q}+1}}{\frac{s}{q}+1}\) in Corollary 2.6 completes the proof. \(\square \)
3.2 Simpson-like quadrature formula
Let P be the partition of the interval \([{a_{1}},{a_{2}}]\), that is \(P: {a_{1}}=x_o<x_1<x_2<...<x_{n-1}<x_n={a_{2}}\). Consider the quadrature formula
where
for Simpson-Like formula and \({_sR({{\mathcal {F}}},P)}\) denotes the relative approximation error of the integral \(\int _{a_{1}}^bf(x)\mathrm {d}x\).
Proposition 3.3
Suppose that all the assumptions of Theorem 2.5 are satisfied. then the Simpson-like error estimate exists
Proof
Considering the subintervals of \([{a_{1}},{a_{2}}]\), that is \([x_i,x_{i+1}]\subset [{a_{1}},{a_{2}}]\) and using in Corollary 2.5, we obtain
By taking sum over i from 0 to \(n-1\), we get
This completes the proof. \(\square \)
References
Awan, M. U., Talib, S., Y. M. Chu, M. A. Noor, and K. I. Noor. (2020) Some new refinements of Hermite–Hadamard–type inequalities involving \(\psi _{k}\)–Riemann–Liouville fractional integrals and applications, Math. Probl. Eng., 2020, Article ID 3051920.
Chu, Y.-M., M.U. Awan, S. Talib, M.A. Noor, and K.I. Noor. 2020. Generalizations of Hermite-Hadamard like inequalities involving \(\chi _{k}\)-Hilfer fractional integrals. Adv. Diff. Equ. 2020: 594.
Diaz, R., and E. Pariguan. 2007. On hypergeometric functions and Pochhammer \(k\)-symbol. Divulg. Math. 15: 179–192.
Dragomir, S.S., R.P. Agarwal, and P. Cerone. 2000. On Simpson’s inequality and applications. J. Ineqal. Appl. 5: 533–579.
Du, T. S., Awan, M. U., A. Kashuri, and S. S. Zhao, Some \(k\)-fractional extensions of the trapezium inequalities through generalized relative semi-\((m,h)\)-preinvexity, Appl. Anal., https://doi.org/10.1080/00036811.2019.1616083.
Eftekhari, N. 2014. Some remarks on \((s, m)\)-convexity in the second sense. J. Math. Inequal. 8 (3): 489–495.
Kilbas, A., H.M. Srivastava, and J.J. Trujillo. 2006. Theory and applications of fractional difierential equations. Amsterdam, Netherlands: Elsevier B.V.
Luo, C.Y., and T.-S. Du. 2020. Generalized Simspon-like inequalities invovling Riemann-Liouville fractional integrals and their applicatiions. Filomat 34 (3): 751–760.
Mubeen, S., and G.M. Habibullah. 2012. \(k\)-fractional integrals and application. Int. J. Contemp. Math. Sci. 7 (2): 89–94.
Rehman, G., and S. Mubeen. 2014. Some inequalities involving \(k\)-gamma and \(k\)-beta functions with applications-II. J. Inequal. Appl. 2014: 445.
Rahman, G., S. Mubeen, and K.S. Nisar. 2020. On generalized \(k\)-fractional derivative operator. AIMS Math. 5 (3): 1936–1945.
Sarikaya, M.Z., and A. Karaca. 2014. On the \(k\)-Riemann-Liouville fractional integral and applications. Int. J. Stat. Math. 1 (3): 33–43.
Sarikaya, M. Z., Set, E., and E. Ozdemir, On new inequalities of Simpson’s type for convex functions, RGMIA Research Report Collection, 13(2), article 2, (2010).
Funding
Open Access funding provided by Universität Zürich. Not applicable
Author information
Authors and Affiliations
Contributions
All the authors contributed equally for the preparation of the present paper.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they do not have any competing interests.
Conflicts of interest
All authors declare that they have no conflict of interest.
Ethical approval
This article does not contain any studies with human participants or animals performed by any of the authors.
Additional information
Communicated by Samy Ponnusamy.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Awan, M.U., Javed, M.Z., Rassias, M.T. et al. Simpson type inequalities and applications. J Anal 29, 1403–1419 (2021). https://doi.org/10.1007/s41478-021-00319-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s41478-021-00319-4