- Research
- Open access
- Published:
New discrete inequalities of Hermite–Hadamard type for convex functions
Advances in Difference Equations volume 2021, Article number: 122 (2021)
Abstract
We introduce new time scales on \(\mathbb{Z}\). Based on this, we investigate the discrete inequality of Hermite–Hadamard type for discrete convex functions. Finally, we improve our result to investigate the discrete fractional inequality of Hermite–Hadamard type for the discrete convex functions involving the left nabla and right delta fractional sums.
1 Introduction
The integral inequality of Hermite–Hadamard type (or briefly HH-type) is a very interesting topic of mathematical analysis, this challenging topic has been developing very rapidly in the last three decades; see e.g. [1–5].
In the literature, there are two well-known types of HH-type inequalities which were obtained by Sarikaya et al. in [6] and [7], respectively. Their results are, respectively,
and
These results are valid for any \(\varepsilon >0\) and any \(L^{1}\) convex function \(\Upsilon :[\kappa _{1},\kappa _{2}]\to \mathbb{R}\). The difference between (1.1) and (1.2) is that in (1.1) is that we are considering fractional integration from the two respective ends of the interval \([\kappa _{1},\kappa _{2}]\) instead of from the center of the interval \([\kappa _{1},\kappa _{2}]\) as used in (1.2).
In the last ten years, the study of inequalities on time scales has received a lot of attention in the literature and has become important in both the fields of pure and of applied mathematics; see e.g. [8–13].
In 2016, Atici and Yildiz [10] obtained the discrete Hermite–Hadamard inequalities corresponding to (1.1) on the time scale \(\top _{[\kappa _{1},\kappa _{2}]}:= \{ h; h= \frac{\kappa _{2}-\mathsf{c} }{\kappa _{2}-\kappa _{1}} \text{ for } \mathsf{c}\in [\kappa _{1},\kappa _{2} ]_{\mathbb{Z}} \} \), their results are as follows.
Theorem 1.1
Let \(\Upsilon :\mathbb{Z}\to \mathbb{R}\) be a convex function on \([\kappa _{1},\kappa _{2}]_{\mathbb{Z}}\) and \(\kappa _{1},\kappa _{2}\in \mathbb{Z}\) with \(\kappa _{1}<\kappa _{2}\). If \(\kappa _{1}+\kappa _{2}\) is an even number, then, for \(\mathsf{c}\in \top _{[\kappa _{1},\kappa _{2}]}\setminus \{0,1\}\), we have
Theorem 1.2
Let \(\Upsilon :\mathbb{Z}\to \mathbb{R}\) be a convex function on \([\kappa _{1},\kappa _{2}]_{\mathbb{Z}}\) and \(\kappa _{1},\kappa _{2}\in \mathbb{Z}\) with \(\kappa _{1}<\kappa _{2}\). If \(\kappa _{1}+\kappa _{2}\) is an even number, then, for \(\varepsilon >0\) and \(\mathsf{c}\in \top _{[\kappa _{1},\kappa _{2}]}\setminus \{0,1\}\), we have
where
In the literature, the inequalities of HH-type are often connected with further integral inequalities which are called trapezoidal type (where the ends a, b of the interval are used) or midpoint type (where the midpoint \(\frac{\kappa _{1}+\kappa _{2}}{2}\) of the interval is used). Many inequalities of such a type have been obtained by many researchers; see e.g. [14–23].
In the present study, we obtain the new discrete inequalities of HH-type corresponding to (1.2) on the new time scales \(\top _{ [\frac{\kappa _{1}+\kappa _{2}}{2},\kappa _{2} ]}\), where
where \([\kappa _{1},\kappa _{2}]_{\mathbb{Z}}=[\kappa _{1},\kappa _{2}] \cap \mathbb{Z}\). We can observe that \(\top _{ [\frac{\kappa _{1}+\kappa _{2}}{2},\kappa _{2} ]}\) is a finite subset of the interval \([0,1]\).
2 Discrete inequality of HH-type
At first, we need to recall the following preliminary definitions and theorems of discrete time scales.
Definition 2.1
([10])
Let \(z_{1}\), \(z_{2}\) be two elements of a time scale ⊤ with \({{z_{1}< z_{2}}}\). A function \(\Upsilon :\top \to \mathbb{R}\) is said to be convex on ⊤, if
holds for each \(\mathsf{c}\in \top _{[z_{1},z_{2}]}\).
In the following theorem, we recall the time scale substitution rule.
Theorem 2.1
([24])
Let \({w}:\mathbb{Z}\to \mathbb{R}\) be strictly increasing and \(\hat{\top }:= {w}(\top )\) be a time scale. If \(\Upsilon :\mathbb{Z}\to \mathbb{R}\) is an rd-continuous function and w is differentiable with rd-continuous derivative, then for \(\kappa _{1},\kappa _{2}\in \top _{[\kappa _{1},\kappa _{2}]}\) we have
or
Remark 2.1
Note that
Theorem 2.2
(Dual time scale substitution rule [24])
Let ⊤ be a time scale and \(\hat{\top }:= \{s\in \mathbb{R}; -s\in \top \}\). Let \({w}:\mathbb{Z}\to \mathbb{R}\) be strictly increasing and \(\hat{\top }:= {w}(\top )\) be a time scale. If \(\Upsilon :\mathbb{Z}\to \mathbb{R}\) is a continuous function and w is differentiable with rd-continuous derivative, then for \(\kappa _{1},\kappa _{2}\in \top _{[\kappa _{1},\kappa _{2}]}\) we have
or
The first result starts from the following main theorem.
Theorem 2.3
Let \(\Upsilon :\mathbb{Z}\to \mathbb{R}\) be a convex function on \([\kappa _{1},\kappa _{2}]_{\mathbb{Z}}\) and \(\kappa _{1},\kappa _{2}\in \mathbb{Z}\) with \(\kappa _{1}<\kappa _{2}\). If \(\kappa _{1}+\kappa _{2}\) is an even number, then we have
Proof
Let \(\mathsf{c}\in \top _{ [\frac{\kappa _{1}+\kappa _{2}}{2}, \kappa _{2} ]}\setminus \{0,1\}\) be fixed. Then we can see that
are in \([\kappa _{1},\kappa _{2}]_{\mathbb{Z}}\) and \(z_{1}+z_{2}=\kappa _{1}+\kappa _{2}\) is even. Since \(\frac{1}{2}\in \top _{[z_{1},z_{2}]}\) (or \(\top _{[z_{2},z_{1}]}\)) and ϒ is convex on \([z_{1},z_{2}]_{\mathbb{Z}}\) (or \([z_{2},z_{1}]_{\mathbb{Z}}\)), we can deduce
Integrating both sides over \(\top _{ [\frac{\kappa _{1}+\kappa _{2}}{2},\kappa _{2} ]}\) we get
where Δ̂ is the derivative operator on the time scale \(\top _{ [\frac{\kappa _{1}+\kappa _{2}}{2},\kappa _{2} ]}\).
Making use of Theorem 2.1 with \({w}(\mathsf{c}):= \frac{2(\mathsf{c}-\kappa _{1})}{\kappa _{2}-\kappa _{1}}\) we get
where we used that \({w}^{\Delta }(\mathsf{c})=\frac{2}{\kappa _{2}-\kappa _{1}}\) and \({{{w} ( [\frac{\kappa _{1}+\kappa _{2}}{2}, \kappa _{2} ]_{\mathbb{Z}} ) =\top _{ [\kappa _{1}, \frac{\kappa _{1}+\kappa _{2}}{2} ]}}}\) is also a time scale.
On the other hand, for \({w}(\mathsf{c}):= \frac{2(\kappa _{2}-\mathsf{c} )}{\kappa _{2}-\kappa _{1}}\), we have
where \(f(s)=-s\) and we used that
Since
we have \({{ (f^{-1}\circ {w} )^{\Delta }(s)= \frac{2}{\kappa _{2}-\kappa _{1}}}}>0\) and hence \(f^{-1}\circ {w}\) is strictly increasing. Thus, by making use of Theorem 2.2, we get
Thus, the one half of the inequality in (2.1) follows from (2.2)–(2.4).
To prove the other half of the inequality in (2.1), we use the convexity of ϒ and the following inequalities:
Adding these we obtain
Integrating both sides over \({{\top _{ [\frac{\kappa _{1}+\kappa _{2}}{2}, \kappa _{2} ]}}}\) we get
We can use the same method used above we get
and thus the result follows. □
3 Discrete fractional inequality of HH-type
The left nabla fractional sum of ϒ of order ε is defined by [25–27]
and the right delta fractional sum of ϒ of order ε is defined by [25, 26]
for \(\varepsilon \in \mathbb{R}\setminus \{\cdots ,-2,-1,0\}\). For arbitrary \(\mathsf{c},\varepsilon \in \mathbb{R}\) and \(h>0\), the rising and falling factorial functions are, respectively, defined by [27]
such that \(0^{\overline{\varepsilon }}=0\) and we use the convention that divisions at poles yield zero.
Remark 3.1
In view of the rising and falling factorial functions in (3.3), we have
Theorem 3.1
Let \(\Upsilon :\mathbb{Z}\to \mathbb{R}\) be a convex function on \([\kappa _{1},\kappa _{2}]_{\mathbb{Z}}\) and \(\kappa _{1},\kappa _{2}\in \mathbb{Z}\) with \(\kappa _{1}<\kappa _{2}\). If \(\kappa _{1}+\kappa _{2}\) is an even number, then, for \(\varepsilon >0\), we have
where
Proof
Let \(\mathsf{c}\in \top _{ [\frac{\kappa _{1}+\kappa _{2}}{2}, \kappa _{2} ]}\). Then we can see that
are in \([\kappa _{1},\kappa _{2}]_{\mathbb{Z}}\) and \(z_{1}+z_{2}=\kappa _{1}+\kappa _{2}\) is even. Since \(\frac{1}{2}\in [z_{1},z_{2}]_{\mathbb{Z}}\) (or \([z_{2},z_{1}]_{\mathbb{Z}}\)) and ϒ is convex on \([z_{1},z_{2}]_{\mathbb{Z}}\) (or \([z_{2},z_{1}]_{\mathbb{Z}}\)), we can deduce
Multiplying both sides by \((\frac{\kappa _{2}-\kappa _{1}}{2}(\mathsf{c}-1)+(\varepsilon -1) )^{(\varepsilon -1)}\) and then integrating over \({{\top _{ [\frac{\kappa _{1}+\kappa _{2}}{2}, \kappa _{2} ]}}}\) we get
where Δ̂ is the derivative operator on the time scale \(\top _{ [\frac{\kappa _{1}+\kappa _{2}}{2},\kappa _{2} ]}\).
We assert that
To prove this, we define \({w}(\mathsf{c}):= \frac{2(\mathsf{c}-\kappa _{1})}{\kappa _{2}-\kappa _{1}}\), \(g( \mathsf{c}):= (\mathsf{c}- \frac{\kappa _{1}+\kappa _{2}}{2}+(\varepsilon -1) )^{ \overline{\varepsilon -1}}\) and \(F(\mathsf{c})=g(\mathsf{c})\Upsilon (\mathsf{c})\), then we have
Then, by making use of Theorem 2.1 for the above findings, we get
This completes the proof of our assertion.
On the other hand, we assert that
Then, for \({w}(\mathsf{c}):= \frac{2(\kappa _{2}-\mathsf{c} )}{\kappa _{2}-\kappa _{1}}\), we have
where \(f(s)=-s\), \(g(\mathsf{c}):= (\kappa _{2}-\mathsf{c} +(\varepsilon -1) )^{\overline{\varepsilon -1}}\), \(F(\mathsf{c})=g(\mathsf{c})\Upsilon (\mathsf{c})\) and we used that
Since
we have \({{ (f^{-1}\circ {w} )^{\Delta }(s)= \frac{2}{\kappa _{2}-\kappa _{1}}>0}}\) and hence \(f^{-1}\circ {w}\) is strictly increasing. Therefore, by making use of Theorem 2.2 and Remark 3.1, we get
This completes the second assertion and thus
To prove the other half of the inequality in (2.1), we use the convexity of ϒ and the following inequalities:
Adding these we obtain
Multiplying both sides by \((\frac{\kappa _{2}-\kappa _{1}}{2}(\mathsf{c}-1)+(\varepsilon -1) )^{(\varepsilon -1)}\) and then integrating both sides over \(\top _{ [\frac{\kappa _{1}+\kappa _{2}}{2},\kappa _{2} ]}\) we get
We can use the same method used above to get
and thus the result follows. □
Remark 3.2
In the literature of fractional integral inequalities there are three major HH-type inequalities, namely the endpoint, midpoint and end–midpoint HH-types inequalities; for more details we advise the reader to read the Discussion section of Ref. [28]. Fortunately, the endpoint version of HH-type inequality in the time scale notation has been established by Atıcı and Yaldız in [10]. Also, the inequality (3.4) obtained in Theorem 3.1 represents the midpoint version of HH-type inequality which has never been presented before.
4 Conclusion
The inequality of HH-type plays a crucial role in the theory and application of convex functions. During the last two decades, it has been used as an essential tool to obtain many results in approximation theory, integral inequalities, numerical analysis and optimization theory. In this study, we have considered new discrete time scales to obtain some inequalities of midpoint type for convex functions which have never presented before.
Availability of data and materials
Not applicable.
References
Awan, M.U., Noor, M.A., Safdar, F., Islam, A., Mihai, M.V., Noor, K.I.: Hermite–Hadamard type inequalities with applications. Miskolc Math. Notes 21, 593–614 (2020)
Awan, M.U., Akhtar, N., Iftikhar, S., Noor, M.A., Chu, Y.-M.: New Hermite–Hadmard type inequalities for n-polynomial harmonically convex functions. J. Inequal. Appl. 2020, 125 (2020)
Mohammed, P.O.: Some new Hermite–Hadmard type inequalities for MT-convex functions on differentiable coordinates. J. King Saud Univ., Sci. 30, 258–262 (2018)
Latif, M.A., Rashid, S., Dragomir, S.S., Chu, Y.-M.: Hermite–Hadmard type inequalities for co-ordinated convex and qausi-convex functions and their applications. J. Inequal. Appl. 2019, 317 (2019)
Gürbüz, M., Akdemir, A.O., Rashid, S., Set, E.: Hermite–Hadamard type inequalities for co-ordinated convex and qausi-convex functions and their applications. J. Inequal. Appl. 2020, 172 (2020)
Sarikaya, M.Z., Set, E., Yaldiz, H., Başak, N.: Hermite–Hadamard’s inequalities for fractional integrals and related fractional inequalities. Math. Comput. Model. 57, 2403–2407 (2013)
Sarikaya, M.Z., Yildirim, H.: On Hermite–Hadamard type inequalities for Riemann–Liouville fractional integrals. Miskolc Math. Notes 17(2), 1049–1059 (2017)
Anastassiou, G.A.: Nabla discrete fractional calculus and nabla inequalities. Math. Comput. Model. 51, 562–571 (2010)
Agarwal, R., O’Regan, D., Saker, S.: Dynamic Inequalities on Time Scales. Springer, New York (2014)
Atıcı, F.M., Yaldız, H.: Convex functions on discrete time domains. Can. Math. Bull. 59(2), 225–233 (2016)
Yaldız, H., Agarwal, P.: s-convex functions on discrete time domains. Analysis 37(4), 179–184 (2017)
Atıcı, F.M., Eloe, P.W.: Discrete fractional calculus with the Nabla operator. Electron. J. Qual. Theory Differ. Equ. 1, 3 (2009)
Mohammed, P.O.: Some integral inequalities of fractional quantum type. Malaya J. Mat. 4(1), 93–99 (2016)
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, 3051920 (2020)
Fernandez, A., Mohammed, P.: Hermite–Hadamard inequalities in fractional calculus defined using Mittag-Leffler kernels. Math. Methods Appl. Sci., 1–18 (2020). https://doi.org/10.1002/mma.6188
Mohammed, P.O.: Hermite–Hadamard inequalities for Riemann–Liouville fractional integrals of a convex function with respect to a monotone function. Math. Methods Appl. Sci., 1–11 (2019). https://doi.org/10.1002/mma.5784
Mohammed, P.O., Abdeljawad, T.: Modification of certain fractional integral inequalities for convex functions. Adv. Differ. Equ. 2020, 69 (2020)
Mohammed, P.O., Brevik, I.: A new version of the Hermite–Hadamard inequality for Riemann–Liouville fractional integrals. Symmetry 12, 610 (2020). https://doi.org/10.3390/sym12040610
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, 299 (2019)
Zhou, S.-S., Rashid, S., Noor, M.A., Noor, K.I., Safdar, F., Chu, Y.-M.: New Hermite–Hadamard type inequalities for exponentially convex functions and applications. AIMS Math. 5(6), 6874–6901 (2020)
Mohammed, P.O., Sarikaya, M.Z.: On generalized fractional integral inequalities for twice differentiable convex functions. J. Comput. Appl. Math. 372, 112740 (2020)
Mohammed, P.O., Sarikaya, M.Z., Baleanu, D.: On the generalized Hermite–Hadamard inequalities via the tempered fractional integrals. Symmetry 12, 595 (2020). https://doi.org/10.3390/sym12040595
Huang, C.J., Rahman, G., Nisar, K.S., Ghaffar, A., Qi, F.: Some inequalities of Hermite–Hadamard type for k-fractional conformable integrals. Aust. J. Math. Anal. Appl. 16, 1–9 (2019)
Eloe, P.W., Sheng, Q., Henderson, J.: Notes on crossed symmetry solutions of the two-point boundary value problems on time scales. J. Differ. Equ. Appl. 9(1), 29–48 (2003)
Abdeljawad, T., Baleanu, D.: Monotonicity analysis of a nabla discrete fractional operator with discrete Mittag-Leffler kernel. Chaos Solitons Fractals 116, 1–5 (2017)
Abdeljawad, T., Baleanu, D.: Discrete fractional differences with nonsingular discrete Mittag-Leffler kernels. Adv. Differ. Equ. 2016, 232 (2016)
Goodrich, C., Peterson, A.: Discrete Fractional Calculus. Springer, Berlin (2015)
Mohammed, P.O., Abdeljawad, T., Kashuri, A.: Fractional Hermite–Hadamard–Fejer inequalities for a convex function with respect to an increasing function involving a positive weighted symmetric function. Symmetry 12(9), 1503 (2020)
Acknowledgements
This research was funded by the Deanship of Scientific Research at Princess Nourah bint Abdulrahman University through the Fast-track Research Funding Program.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.
Corresponding authors
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Consent for publication
Not applicable.
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
Mohammed, P.O., Abdeljawad, T., Alqudah, M.A. et al. New discrete inequalities of Hermite–Hadamard type for convex functions. Adv Differ Equ 2021, 122 (2021). https://doi.org/10.1186/s13662-021-03290-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-021-03290-3