Abstract
In this paper, the notions of post-quantum integrals for two-variable interval-valued functions are presented. The newly described integrals are then used to prove some new Hermite–Hadamard inclusions for co-ordinated convex interval-valued functions. Many of the findings in this paper are important extensions of previous findings in the literature. Finally, we present a few examples of our new findings. Analytic inequalities of this nature and especially the techniques involved have applications in various areas in which symmetry plays a prominent role.
1. Introduction
The modern name for the study of calculus without limits is quantum calculus, or q-calculus. It has been studied since the early eighteenth century. Euler, a prominent mathematician, invented q-calculus, and F. H. Jackson [1] discovered the definite q-integral known as the q-Jackson integral in 1910. Orthogonal polynomials, combinatorics, number theory, simple hypergeometric functions, quantum theory, dynamics, and theory of relativity are only a few of the applications of quantum calculus in mathematics and physics; see, for example, [2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19] and the references therein. V. Kac and P. Cheung’s book [20] discusses the fundamentals of quantum calculus as well as the basic theoretical terms.
J. Tariboon and S. K. Ntouyas [21] described and proved some of the properties of the q-derivative and q-integral of a continuous functions on finite intervals in 2013. Moreover, they proved Hermite–Hadamard-type inequalities and many others for convex functions in the setting of quantum calculus; for more information, see [22].
M. Tunç and E. Göv [23] presented the -derivative and -integral on finite intervals in 2016, proved some of their properties, and proved a number of integral inequalities using the -calculus. Many researchers have recently begun working in this direction, based on the works of M. Tunç and E. Göv, and some further findings on the analysis of -calculus can be found in [24,25,26,27].
In [28], S. S. Dragomir proved the following inequalities, which are Hermite–Hadamard type inequalities for co-ordinated convex functions on the rectangle from the plane
Theorem 1.
Suppose that is co-ordinated convex; then we have the following inequalities:
The above inequalities are sharp. The inequalities in (1) hold in the reverse direction if the mapping f is a co-ordinated concave mapping.
The quantum variant of above inequality (1) was given by M. Kunt et al. in [29], S. Bermudo et al. [30] recently used q-calculus to describe new -derivative and -integral, as well as to give the Hermite–Hadamard inequality. H. Budak et al. [31] defined some new -integrals for co-ordinates and Hermite–Hadamard inequalities for co-ordinated convex functions as a result of this. F. Wannalookkhee et al. [32] in 2021 gave some new definitions of -integrals and used them to prove the following Hermite–Hadamard inequalities:
2. Interval Calculus
In this section, we provide notation and background information on interval analysis. The space of all closed intervals of is denoted by , and is a bounded element of . We have the representation
where and . can be used to express the length of the interval . The left and right endpoints of interval are denoted by the numbers and , respectively. The interval is said to be degenerate when , and the form is used. In addition, if , we can say is positive, and if , we can say is negative. and denote the sets of all closed positive intervals and closed negative intervals of , respectively. Between the intervals and , the Pompeiu–Hausdorff distance is defined by
is a complete metric space, as far as we know (see, [33]).
denotes the absolute value of , which is the maximum of the absolute values of its endpoints:
The following are the concepts for fundamental interval arithmetic operations for the intervals and :
The interval ’s scalar multiplication is defined by
where
The opposite of the interval is
where .
In general, is not additive inverse for i.e.,
Definition 1
([2]). For some kind of the intervals Δ, we denote the the H-difference of Δ and Λ as the , and we have
It seems uncontroversial that
where and
The definitions of operations generate a large number of algebraic properties, enabling to be a quasilinear space (see [34]). The following are some of these characteristics (see [33,34,35,36]):
(1) (Law of associative under +) for all
(2) (Additivity element) for all
(3) (Law of commutative under +) for all
(4) (Law of cancellation under +) for all
(5) (Law of associative under ×) for all
(6) (Law of commutative under ×) for all
(7) (Multiplicativity element) for all
(8) (The first law of distributivity) for all and all
(9) (The second law of distributivity) for all and all
Aside from any of these characteristics, the distributive law does not always apply to intervals. As an example, and
whereas
Another distinct feature is the inclusion ⊆, which is described by
In [37], Zhao et al. gave the notions about the co-ordinated convex interval-valued functions and inclusions of Hermite–Hadamard type.
Definition 2
([37]). A function is said to be co-ordinated convex interval-valued function if the following inclusion holds:
for all and
Remark 1.
A function is said to be co-ordinated convex interval-valued function if and only if and are co-ordinated convex and concave, respectively.
Lemma 1
([37]). A function is an interval-valued convex on co-ordinates if and only if there exist two functions and are interval-valued convex.
It is easy to prove that an interval-valued convex function is an interval-valued co-ordinated convex, but the converse may not be true. For this, we can see the following example.
Example 1.
An interval-valued function defined as is an interval-valued convex on co-ordinates, but it is not an interval-valued convex on
For more recent inclusions of Hermite–Hadamard type for co-ordinated convex interval-valued functions one can read [37,38].
3. Basics of Quantum and Post-Quantum Calculus
In this section, we review some necessary definitions about q and -calculus for real-valued and interval-valued functions. Moreover, here and further, we use the following notations with :
Definition 3
([23]). For a function , the definite ()-integral of f is stated as:
where and
Definition 4
([24]). For a function , the definite ()-integral of f is stated as:
with and
Remark 2.
If f is a symmetric function, that is, for , then we have
Definition 5
([26,32]). For a function ,
- 1.
- The integral of f is given as:where
- 2.
- The integral of f is given as:where
- 3.
- The integral of f is given as:where
- 4.
- The integral of f is given as:where
Recently, in [39], the authors gave the notions of quantum integral for the interval-valued functions and stated the following:
Definition 6
([39]). For an interval-valued function , the -definite integral is defined by
for all
Definition 7
([40]). For an interval-valued function , the -definite integral is defined by
for all
In [41], Ali et al. gave the post-quantum version of Definition 7 and defined it as:
Definition 8.
For an interval-valued function , the -definite integral is defined by
for all
In [40], Ali et al. gave the co-ordinated version of the quantum integrals for interval-valued functions and defined it as:
Definition 9
([40]). Suppose that is an interval-valued function. Then, the definite and integrals on are defined by
and
respectively, for
Remark 3.
It is very easy to observe that
by taking the limits (see, [42]).
Now, we define -integrals for the functions of two variables as:
Definition 10.
For an interval-valued function ,
- 1.
- The integral of F is given as:where
- 2.
- The integral of F is given as:where
- 3.
- The integral of F is given as:where
- 4.
- The integral of F is given as:where
Example 2.
Define an interval-valued mapping by . Then, by Definition 10, for and , we have
- 1.
- From -integral:
- 2.
- From -integral:
- 3.
- From -integral:
- 4.
- From -integral
4. Some New -Hermite–Hadamard Inclusions
In this section, we deal with the Hermite–Hadamard-type inclusions for co-ordinated convex interval-valued functions using the newly defined interval-valued -integrals in the last section.
Theorem 2.
Let be a co-ordinated convex interval-valued function on Then, the following inclusions of Hermite–Hadamard type hold for -integral:
Proof.
Since is a co-ordinated convex interval-valued function on co-ordinates , and are co-ordinated convex and concave on co-ordinates , respectively. Hence, from co-ordinated convexity of and using (2), we have
From co-ordinated concavity of and again using (2), we have
Remark 5.
In Theorem 2, if we set , then Theorem 2 becomes ([40], Theorem 12).
Theorem 3.
Let be a co-ordinated convex interval-valued function on The following inclusions of Hermite–Hadamard type hold for -integral:
for all
Proof.
Remark 7.
In Theorem 3, if we set , then Theorem 3 becomes ([40], Theorem 13).
Theorem 4.
Let be a co-ordinated convex interval-valued function on The following inclusions of Hermite–Hadamard type hold for -integral:
Proof.
Remark 9.
In Theorem 4, if we set , then Theorem 4 becomes ([40], Theorem 14).
Theorem 5.
Let be a co-ordinated convex interval-valued function on The following inclusions of Hermite–Hadamard type hold for -integral:
Proof.
Remark 10.
In Theorem 5, if , then we have the following inequality:
This can be found as a special case in [26].
Remark 11.
In Theorem 5, if we set , then Theorem 4 becomes ([40], Theorem 11).
Corollary 1.
Let be a co-ordinated convex interval-valued function on The following inclusions of Hermite–Hadamard type hold for , and -integrals:
Remark 12.
In Corollary 1, if we set , then Corollary 1 becomes ([32], Corollary 1).
Remark 13.
In Corollary 1, if we set , then Corollary 1 reduces to ([40], Corollary 3).
5. Examples
Example 3.
We define a convex interval-valued function by From Theorem 2, for and , we have
and
It is obvious that
which shows that the results of Theorem 2 are correct.
Example 4.
We define a convex interval-valued function by From Theorem 3, for and , we have
and
It is obvious that
which shows that the results of Theorem 3 are correct.
Example 5.
We define a convex interval-valued function by From Theorem 4, for and , we have
and
It is obvious that
which shows that the results of Theorem 4 are correct.
Example 6.
We define a convex interval-valued function by From Theorem 5, for and , we have
and
It is obvious that
which shows that the results of Theorem 5 are right.
6. Conclusions
In this work, for interval-valued functions of two variables, we defined -integrals. We have used newly described integrals to prove the Hermite–Hadamard-type inclusions for co-ordinated convex interval-valued functions. Other researchers’ previously reported findings are deduced as special cases of our results for , and Finally, some examples are given to demonstrate the findings of this article. Results for the case of symmetric interval-valued functions can be obtained by applying the concept in Remark 2, which will be studied in future work. We will look at some further refinements of the Hermite–Hadamard inclusions as well as other well-known mathematical inclusions using -integrals in the future.
Author Contributions
Conceptualization, J.T., M.A.A., H.B., S.K.N.; Formal analysis, J.T., M.A.A., H.B., S.K.N.; Funding acquisition, J.T.; Methodology, J.T., M.A.A., H.B., S.K.N. All authors have read and agreed to the published version of the manuscript.
Funding
This research was supported by the Thailand Research Fund under the project RSA6180059.
Institutional Review Board Statement
Not applicable.
Informed Consent Statement
Not applicable.
Conflicts of Interest
The authors declare no conflict of interest.
References
- Jackson, D.O.; Fukuda, T.; Dunn, O.; Majors, E. On q-definite integrals. Quart. J. Pure Appl. Math. 1910, 41, 193–203. [Google Scholar]
- Ahmad, B. Boundary-value problems for nonlinear third-order q-difference equations. Electron. J. Differ. Equ. 2011, 2011, 1–7. [Google Scholar] [CrossRef]
- Ahmad, B.; Alsaedi, A.; Ntouyas, S.K. A study of second-order q-difference equations with boundary conditions. Adv. Differ. Equ. 2012, 2012, 35. [Google Scholar] [CrossRef][Green Version]
- Ahmad, B.; Ntouyas, S.K.; Purnaras, I.K. Existence results for nonlinear q-difference equations with nonlocal boundary conditions. Commun. Appl. Nonlinear Anal. 2012, 19, 59–72. [Google Scholar]
- Ahmad, B.; Ntouyas, S.K.; Purnaras, I.K. Existence results for nonlocal boundary value problems of nonlinear fractional q-difference equations. Adv. Differ. Equ. 2012, 2012, 140. [Google Scholar] [CrossRef]
- Annaby, M.H.; Mansour, Z.S. q-Fractional Calculus and Equations; Springer: Berlin, Germany, 2012; Volume 2056. [Google Scholar]
- Aral, A.; Gupta, V.; Agarwal, R.P. Applications of q-Calculus in Operator Theory; Springer: New York, NY, USA, 2013. [Google Scholar]
- Bangerezako, G. Variational q-calculus. J. Math. Anal. Appl. 2004, 289, 650–665. [Google Scholar] [CrossRef]
- Bangerezako, G. Variational calculus on q-nonuniform lattices. J. Math. Anal. Appl. 2005, 306, 161–179. [Google Scholar] [CrossRef]
- Bohner, M.; Guseinov, G.S. The h-Laplace and q-Laplace transforms. J. Math. Anal. Appl. 2010, 365, 75–92. [Google Scholar] [CrossRef]
- Bukweli-Kyemba, J.D.; Hounkonnou, M.N. Quantum deformed algebras: Coherent states and special functions. arXiv 2013, arXiv:1301.0116. [Google Scholar]
- Dobrogowska, A.; Odzijewicz, A. Second order q-difference equations solvable by factorization method. J. Comput. Appl. Math. 2006, 193, 319–346. [Google Scholar] [CrossRef]
- Ernst, T. The History of q-Calculus and a New Method; Citeseer: University Park, PA, USA, 2000. [Google Scholar]
- Ernst, T. A Comprehensive Treatment of q-Calculus; Springer Science & Business Media: Berlin, Germany, 2012. [Google Scholar]
- Exton, H. q-Hypergeometric Functions and Applications; Horwood: Bristol, UK, 1983. [Google Scholar]
- Ferreira, R. Nontrivial solutions for fractional q-difference boundary value problems. Electron. J. Qual. Theory Differ. Equ. 2010, 2010, 70. [Google Scholar]
- Gasper, G.; Rahman, M. Some systems of multivariable orthogonal q-Racah polynomials. Ramanujan J. 2007, 13, 389–405. [Google Scholar] [CrossRef]
- Gauchman, H. Integral inequalities in q-calculus. Comput. Math. Appl. 2004, 47, 281–300. [Google Scholar] [CrossRef]
- Jackson, F.H. q-difference equations. Am. J. Math. 1910, 32, 305–314. [Google Scholar] [CrossRef]
- Kac, V.; Cheung, P. Quantum Calculus; Springer Science & Business Media: Berlin, Germany, 2001. [Google Scholar]
- Tariboon, J.; Ntouyas, S.K. Quantum calculus on finite intervals and applications to impulsive difference equations. Adv. Differ. Equ. 2013, 2013, 282. [Google Scholar] [CrossRef]
- Tariboon, J.; Ntouyas, S.K. Quantum integral inequalities on finite intervals. J. Ineq. Appl. 2014, 2014, 121. [Google Scholar] [CrossRef]
- Tunç, M.; Göv, E. Some integral inequalities via (p,q)-calculus on finite intervals. RGMIA Res. Rep. Coll. 2016, 19, 95. [Google Scholar]
- Vivas-Cortez, M.; Ali, M.A.; Budak, H.; Kalsoom, H.; Agarwal, P. Post-quantum Hermite-Hadamard inequalities involving newly defined (p,q)-integral. Entropy 2021, 23, 828. [Google Scholar] [CrossRef]
- Chu, Y.-M.; Awan, M.U.; Talib, S.; Noor, M.A.; Noor, K.I. New post quantum analogues of Ostrowski-type inequalities using new definitions of left-right (p,q)-derivatives and definite integrals. Adv. Differ. Equ. 2020, 2020, 634. [Google Scholar] [CrossRef]
- Kalsoom, H.; Rashid, S.; Idrees, M.; Safdar, F.; Akram, S.; Baleanu, D.; Chu, Y.-M. Post quantum integral inequalities of Hermite-Hadamard-type associated with co-ordinated higher-order generalized strongly pre-invex and quasi-pre-invex mappings. Symmetry 2020, 12, 443. [Google Scholar] [CrossRef]
- Kunt, M.; İŞcan, İ.; Alp, N.; Sarikaya, M. (p,q)-Hermite-Hadamard inequalities and (p,q)-estimates for midpoint type inequalities via convex and quasi-convex functions. RACSAM 2018, 112, 969–992. [Google Scholar] [CrossRef]
- Dragomir, S.S. On the Hadamard’s inequlality for convex functions on the co-ordinates in a rectangle from the plane. Taiwanese J. Math. 2001, 5, 775–788. [Google Scholar] [CrossRef]
- Kunt, M.; Latif, M.A.; İŞcan, İ.; Dragomir, S.S. Quantum Hermite-Hadamard type inequality and some estimates of quantum midpoint type inequalities for double integrals. Sigma J. Eng. Nat. Sci. 2019, 37, 207–223. [Google Scholar]
- Bermudo, S.; Kórus, P.; Valdés, J.E.N. On q-Hermite–Hadamard inequalities for general convex functions. Acta Math. Hungar. 2020, 162, 364–374. [Google Scholar] [CrossRef]
- Budak, H.; Ali, M.A.; Tarhanaci, M. Some new quantum Hermite–Hadamard-like inequalities for coordinated convex functions. J. Optim. Theory Appl. 2020, 186, 899–910. [Google Scholar] [CrossRef]
- Wannalookkhee, F.; Nonlaopon, K.; Tariboon, J.; Ntouyas, S.K. On Hermite-Hadamard type inequalities for coordinated convex functions via (p,q)-calculus. Mathematics 2021, 9, 698. [Google Scholar] [CrossRef]
- Aubin, J.-P.; Cellina, A. Differential Inclusions: Set-Valued Maps and Viability Theory; Springer Science & Business Media: Berlin/Heidelberg, Germany; New York, NY, USA; Tokyo, Japan, 2012. [Google Scholar]
- Markov, S. On the algebraic properties of convex bodies and some applications. J. Convex Anal. 2000, 7, 129–166. [Google Scholar]
- Lupulescu, V. Fractional calculus for interval-valued functions. Fuzzy Sets Syst. 2015, 265, 63–85. [Google Scholar] [CrossRef]
- Moore, R.E. Interval Analysis; Prentice-Hall: Englewood Cliffs, NJ, USA, 1966. [Google Scholar]
- Zhao, D.; Ali, M.A.; Murtaza, G.; Zhang, Z. On the Hermite-Hadamard inequalities for interval-valued co-ordinated convex functions. Adv. Differ. Equ. 2020, 2020, 570. [Google Scholar] [CrossRef]
- Kara, H.; Ali, M.A.; Budak, H. Hermite-Hadamard-type inequalities for interval-valued coordinated convex functions involving generalized fractional integrals. Math. Methods Appl. Sci. 2021, 44, 104–123. [Google Scholar] [CrossRef]
- Lou, T.; Ye, G.; Zhao, D.; Liu, W. Iq-calculus and Iq-Hermite–Hadamard inequalities for interval-valued functions. Adv. Differ. Equ. 2020, 2020, 446. [Google Scholar] [CrossRef]
- Ali, M.A.; Budak, H.; Kara, H.; Qaisar, S. Iq-Hermite-Hadamard inclusions for the interval-valued functions of two variables. Preprint.
- Ali, M.A.; Budak, H.; Murtaza, G.; Chu, Y.-M. Post-quantum Hermite-Hadamard type inequalities for interval-valued convex functions. J. Ineq. Appl. 2021, 2021, 84. [Google Scholar] [CrossRef]
- Zhao, D.F.; An, T.Q.; Ye, G.J.; Liu, W. Chebyshev type inequalities for interval-valued functions. Fuzzy Sets Syst. 2020, 396, 82–101. [Google Scholar] [CrossRef]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations. |
© 2021 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).