Abstract
In this paper, we define -integrals for continuous functions of two variables. Then, we prove the Hermite-Hadamard type inequalities for coordinated convex functions by using -integrals. Many results obtained in this paper provide significant extensions of other related results given in the literature. Finally, we give some examples of our results.
Keywords:
Hermite-Hadamard inequality; (p,q)-derivative; (p,q)-integral; (p,q)-calculus; coordinated convex function MSC:
05A30; 26D10; 26D15; 81P68
1. Introduction
Quantum calculus or q-calculus is the modern name of the study of calculus without limits. It has been studied since the early eighteenth century. The famous mathematician, Euler, established q-calculus and, in 1910, F. H. Jackson [1] determined the definite q-integral known as the q-Jackson integral. Quantum calculus has many applications in mathematics and physics such as combinatorics, orthogonal polynomials, number theory, basic hypergeometric functions, quantum theory, mechanics, and theory of relativity, see for instance [2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23] and the references therein. The book by V. Kac and P. Cheung [24] covers the fundamental knowledge and also the basic theoretical concepts of quantum calculus.
In 2013, J. Tariboon and S. K. Ntouyas [25] defined the q-derivative and q-integral of a continuous function on finite intervals and proved some of its significant properties. In addition, they firstly extended Hölder, Hermite-Hadamard, trapezoid, Ostrowski, Cauchy-Bunyakovsky-Schwarz, Grüss and Grüss-Čebyšev inequalities to q-calculus by using such the definitions, see [26] for more details. Based on these results, there are many publications about q-calculus, see [27,28,29,30,31,32,33,34,35,36,37] and the references cited therein. The further generalization of quantum calculus is post-quantum calculus, denoted by -calculus, which was first considered by R. Chakrabati and R. Jagannathan [38].
In 2016, M. Tunç and E. Göv [39,40] introduced the -derivative and -integral on finite intervals, proved some of its properties and gave many integral inequalities via -calculus. Recently, according to works of M. Tunç and E. Göv, many researchers started working in this direction, some more results on the study of -calculus can be found in [41,42,43,44,45,46,47,48,49,50,51,52,53,54,55].
The Hermite-Hadamard inequality is a classical inequality that has fascinated many researchers, stated as: If is a convex function, then
Inequality (1) was introduced by C. Hermite [56] in 1883 and was investigated by J. Hadamard [57] in 1893. If is a convex function for coordinates, then S. Dragomir [58] stated the Hermite-Hadamard type inequalities in 2001 as follows:
In 2019, the Hermite-Hadamard type inequalities for coordinates via q-calculus was presented by M. Kunt et al. [27]:
for all .
Recently, S. Bermudo, P. Korus and J. E. N. Valdes [28] defined new -derivative, -integral and also gave the Hermite-Hadamard inequality via q-calculus by using such the definitions. Consequently, H. Budak, M. A. Ali and M. Tarhanachi [29] defined some new -integrals for coordinates and gave the following inequalities
and
for all . Moreover, Yu-Ming Chu et al. [51] presented the definitions for new -derivatives, -integrals and gave the Hermite-Hadamard type inequality for convex functions by using -calculus. Our present work was motivated by the above mentioned literatures, we propose to define new -integrals for coordinates and then extend the Hermite-Hadamard type inequality in q-calculus for coordinated convex functions to -calculus for coordinated convex functions.
2. Preliminaries
Throughout this paper, we let , for . The definitions of coordinated functions, -calculus, q-calculus and -calculus for coordinates are given in [27,29,39,42,51,53,54].
Definition 1.
[39] Let be a continuous function. Then the -derivative of f at is defined by
The -integral is defined by
Definition 2.
[51] Let be a continuous function. Then the -derivative of f at is defined by
The -integral is defined by
Definition 3.
[58] A function is said to be convex on coordinates, if the partial mappings
are convex for all and .
A formal definition for coordinated convex functions may be stated as follows:
Definition 4.
A function is said to be convex on coordinates, if
holds for all .
Definition 5.
[30] Suppose that is a continuous function of two variables. Then the derivatives are given by
and
for
Definition 6.
[30] Suppose that is a continuous function of two variables. Then the definite integral is given by
Definition 7.
[29] Suppose that is a continuous function of two variables. Then the definite integrals are given by
and
Definition 8.
[52] Suppose that is a continuous function of two variables. Then the derivatives are given by
and
for .
Definition 9.
[52] Suppose that is a continuous function of two variables. Then the definite integral is given by
For convenience, we call the integral defined in Definition 10 as L-L (Left-Left) integral. Next, we define another integrals for continuous functions of two variables.
Definition 10.
Suppose that is a continuous function of two variables. Then the L-R integral, R-L integral and R-R integral are given by
and
Obviously, if , then Definition 10 reduces to Definition 7.
Example 1.
Define a function by , which is a continuous function of two variables. Then by Definitions 9 and 10, for and , we obtain
and
At the end of this section, we give some known theorems needed to prove our main results.
Theorem 1.
[53] Suppose that is a convex differentiable function on . Then we have
Theorem 2.
[42] Suppose that is a continuous function of two variables. Then the following inequalities hold:
Theorem 3.
[54] Suppose that is a convex differentiable function on . Then we have
3. Main Results
In this section, we give new -Hermite-Hadamard type inequalities for coordinated convex functions and verify them.
Theorem 4.
Let be a convex differentiable function of two variables. Then the following inequalities hold:
Proof.
Let defined by be a convex differentiable function on . Using the inequality (8) on , we have
i.e.,
for all .
By -integrating both sides of (10) on , we have
Similarly, let defined by be a convex function on . Using the inequality (6) on , we have
i.e.,
for all .
By -integrating both sides of (12) on , we have
Since , it follows from the first inequality of (10) that
Since , it follows from the first inequality of (12) that
Adding two inequalities above, we obtain the first inequality in the theorem.
Combining the inequalities above, we get the last inequality in the theorem. This completes the proof. □
Theorem 5.
Let be a convex differentiable function of two variables. Then the following inequalities hold:
Proof.
Let defined by be a convex differentiable function on . Using the inequality (6) on , we have
i.e.,
for all .
By -integrating both sides of (15) on , we have
Similarly, let defined by be a convex function on . Using the inequality (8) on , we have
i.e.,
for all .
By -integrating both sides of (17) on , we have
Since , it follows from the first inequality of (15) that
Since , it follows from the first inequality of (17) that
Adding the two inequalities above, we obtain the first inequality in the theorem.
Combining inequalities above, we get the last inequality in the theorem. This completes the proof. □
Theorem 6.
Let be a convex differentiable function of two variables. Then the following inequalities hold:
Proof.
Let defined by be a convex differentiable function on . Using the inequality (8) on , we have
i.e.,
for all .
By -integrating both sides of (20) on , we have
Similarly, let defined by be a convex function on . Using the inequality (8) on , we have
i.e.,
for all .
By -integrating both sides of (22) on , we have
Since , it follows from the first inequality of (20) that
Since , it follows from the first inequality of (22) that
Adding two inequalities above, we obtain the first inequality in the theorem.
Combining inequalities above, we get the last inequality in the theorem. This completes the proof. □
Corollary 1.
Let be a convex differentiable function of two variables. Then we have the inequalities
Remark 7.
4. Examples
In this section, we give some examples of our main theorems.
Example 2.
Define a function by . Then is a convex differentiable function of two variables on . By applying Theorem 4 with and , the first inequality of (9) becomes
The third inequality of (9) becomes
We also have
It is clear that
which demonstrates the result described in Theorem 4.
5. Conclusions
We define -integrals for continuous functions of two variables. Moreover, we prove the Hermite-Hadamard type inequalities for coordinated convex functions by using -integrals. Some previously published results of other researchers are deduced as special cases of our results for and . Finally, some examples are given to illustrate the result obtained in this paper. For further research, we will study some more refinements of the Hermite-Hadamard inequality and study other famous mathematical inequalities by using -integrals.
Author Contributions
Conceptualization, K.N.; Investigation, F.W. and K.N.; Methodology, F.W.; Supervision, J.T. and S.K.N.; Validation, F.W., K.N., J.T. and S.K.N.; Visualization, K.N., J.T. and S.K.N.; Writing—original draft, F.W.; Writing—review and editing, K.N. All authors have read and agreed to the published version of the manuscript.
Funding
This research received no external funding.
Institutional Review Board Statement
Not applicable.
Informed Consent Statement
Not applicable.
Data Availability Statement
Not applicable.
Acknowledgments
We would like to thank anonymous referees for comments which are helpful for improvement in this paper. The first author is supported by the Development and Promotion of Science and Technology talents project (DPST), Thailand.
Conflicts of Interest
The authors declare no conflict of interest.
References
- Jackson, F.H. On a q-definite integrals. Quart. J. Pure. Appl. Math. 1910, 41, 193–203. [Google Scholar]
- Jackson, F.H. q-difference equations. Am. J. Math. 1910, 32, 305–314. [Google Scholar] [CrossRef]
- Bangerezaka, G. Variational q-calculus. J. Math. Anal. Appl. 2004, 289, 650–665. [Google Scholar] [CrossRef]
- Asawasamrit, S.; Sudprasert, C.; Ntouyas, S.; Tariboon, J. Some results on quantum Hanh integral inequalities. J. Inequal. Appl. 2019, 2019, 154. [Google Scholar] [CrossRef]
- Bangerezako, G. Variational calculus on q-nonuniform. J. Math. Anal. Appl. 2005, 306, 161–179. [Google Scholar] [CrossRef]
- Exton, H. q-Hypergeometric Functions and Applications; Hastead Press: New York, NY, USA, 1983. [Google Scholar]
- Annyby, H.M.; Mansour, S.K. q-Fractional Calculus and Equations; Springer: Helidelberg, Germany, 2012. [Google Scholar]
- Ernst, T. A Comprehensive Treatment of q-Calculus; Springer: Basel, Switzerland, 2012. [Google Scholar]
- Ernst, T. A History of q-Calculus and a New Method; UUDM Report; Uppsala University: Uppsala, Sweden, 2000. [Google Scholar]
- Rui, A.C.F. Nontrivial solutions for fractional q-difference boundary value problems. Electron. J. Qual. Theory Differ. Equ. 2010, 2010, 1–10. [Google Scholar]
- Aslam, M.; Awan, M.U.; Noor, K.I. Quantum Ostrowski inequalities for q-differentiable convex function. J. Math. Inequal. 2016, 10, 1013–1018. [Google Scholar]
- Aral, A.; Gupta, V.; Agarwal, R.P. Applications of q-Calculus in Operator Theory; Springer Science + Business Media: New York, NY, USA, 2013. [Google Scholar]
- Gauchman, H. Integral inequalities in q-calculus. J. Comput. Appl. Math. 2002, 47, 281–300. [Google Scholar] [CrossRef]
- Dobrogowska, A.; Odzijewicz, A. A second order q-difference equation solvable by factorization method. J. Comput. Appl. Math. 2006, 193, 319–346. [Google Scholar] [CrossRef]
- Gasper, G.; Rahman, M. Some systems of multivariable orthogonal q-Racah polynomials. Ramanujan J. 2007, 13, 389–405. [Google Scholar] [CrossRef]
- Ismail, M.E.H.; Simeonov, P. q-difference operators for orthogonal polynomials. J. Comput. Appl. Math. 2009, 233, 749–761. [Google Scholar] [CrossRef]
- Bohner, M.; Guseinov, G.S. The h-Laplace and q-Laplace transforms. J. Comput. Appl. Math. 2010, 365, 75–92. [Google Scholar] [CrossRef]
- El-Shahed, M.; Hassan, H.A. Positive solutions of q-difference equation. Proc. Amer. Math. Soc. 2010, 138, 1733–1738. [Google Scholar] [CrossRef]
- Ahmad, B. Boundary-value problems for nonlinear third-order q-difference equations. Electron. J. Differ. Equ. 2011, 94, 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. Comm. Appl. Nonlinear Anal. 2012, 19, 59–72. [Google Scholar]
- Ahmad, B.; Nieto, J.J. On nonlocal boundary value problems of nonlinear q-difference equation. Adv. Differ. Equ. 2012, 2012, 81. [Google Scholar] [CrossRef]
- Bukweli-Kyemba, J.D.; Hounkonnou, M.N. Quantum deformed algebra: Coherent states and special functions. arXiv 2013, arXiv:1301.0116v1. [Google Scholar]
- Kac, V.; Cheung, P. Quantum Calculus; Springer: New York, NY, USA, 2002. [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. Inequal. Appl. 2014, 2014, 121. [Google Scholar] [CrossRef]
- Kunt, M.; Latif, M.A.; Iscan, I.; 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.; Korus, P.; Valdes, 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]
- Latif, M.A.; Dragomir, S.S.; Momoniat, E. Some q-analogues of Hermite-Hadamard inequality of functions of two variables on finite rectangles in the plane. J. King Saud Univ. Sci. 2017, 29, 263–273. [Google Scholar] [CrossRef]
- Jhanthanam, S.; Tariboon, J.; Ntouyas, S.K.; Nonlaopon, K. On q-Hermite-Hadamard inequalities for differentiable convex functions. Mathematics 2019, 7, 632. [Google Scholar] [CrossRef]
- Kalsoom, H.; Wu, J.D.; Hussain, S.; Latif, M.A. Simpson’s type inequalities for co-ordinated convex functions on quantum calculus. Symmetry 2019, 11, 768. [Google Scholar] [CrossRef]
- Noor, M.A.; Noor, K.I.; Awan, M.U. Some quantum estimates for Hermite-Hadamard inequalities. Appl. Math. Comput. 2015, 251, 675–679. [Google Scholar] [CrossRef]
- Prabseang, J.; Nonlaopon, K.; Tariboon, J. Quantum Hermite-Hadamard inequalities for double integral and q-differentiable convex functions. J. Math. Inequal. 2019, 13, 675–686. [Google Scholar] [CrossRef]
- Sudsutad, W.; Ntouyas, S.K.; Tariboon, J. Quantum integral inequalities for convex functions. J. Math. Inequal. 2015, 9, 781–793. [Google Scholar] [CrossRef]
- Yang, W. Some new Fejér type inequalities via quantum calculus on finite intervals. Sci. Asia 2017, 43, 123–134. [Google Scholar] [CrossRef]
- Prabseang, J.; Nonlaopon, K.; Ntouyas, S.K. On refinement of quantum Hermite-Hadamard inequalities for convex functions. J. Math. Inequal. 2020, 14, 875–885. [Google Scholar] [CrossRef]
- Chakrabarti, R.; Jagannathan, R. A (p,q)-oscillator realization of two-parameter quantum algebras. J. Phys. A Math. Gen. 1991, 24, L711–L718. [Google Scholar] [CrossRef]
- Tunç, M.; Göv, E. Some integral inequalities via (p,q)-calculus on finite intervals. RGMIA Res. Rep. Coll. 2016, 19, 1–12. [Google Scholar]
- Tunç, M.; Göv, E. (p,q)-integral inequalities. RGMIA Res. Rep. Coll. 2016, 19, 1–13. [Google Scholar]
- Prabseang, J.; Nonlaopon, K.; Tariboon, J. (p,q)-Hermite-Hadamard inequalities for double integral and (p,q)-differentiable convex functions. Axioms 2019, 8, 68. [Google Scholar] [CrossRef]
- Kalsoom, H.; Amer, M.; Junjua, M.D.; Hassain, S.; Shahxadi, G. (p,q)-estimates of Hermite-Hadamard-type inequalities for coordinated convex and quasi convex function. Mathematics 2019, 7, 683. [Google Scholar] [CrossRef]
- Burban, I. Two-parameter deformation of the oscillator algebra and (p,q)-analog of two-dimensional conformal field theory. J. Nonlinear Math. Phys. 1995, 2, 384–391. [Google Scholar] [CrossRef]
- Burban, I.M.; Klimyk, A.U. (p,q)-differentiation, (p,q)-integration and (p,q)-hypergeometric functions related to quantum groups. Integral Transform. Spec. Funct. 1994, 2, 15–36. [Google Scholar] [CrossRef]
- Hounkonnou, M.N.; Désiré, J.; Kyemba, B. R(p,q)-calculus: Differentiation and integration. SUT J. Math. 2013, 49, 145–167. [Google Scholar]
- Aral, A.; Gupta, V. Applications of (p,q)-gamma function to Szász durrmeyer operators. Publ. Inst. Math. 2017, 102, 211–220. [Google Scholar] [CrossRef]
- Sahai, V.; Yadav, S. Representations of two parameter quantum algebras and (p,q)-special functions. J. Math. Anal. Appl. 2007, 335, 268–279. [Google Scholar] [CrossRef]
- Sadjang, P.N. On the fundamental theorem of (p,q)-calculus and some (p,q)-Taylor formulas. Results Math. 2018, 73, 39. [Google Scholar] [CrossRef]
- Sadjang, P.N. On the (p,q)-gamma and the (p,q)-beta functions. arXiv 2015, arXiv:1506.07394. [Google Scholar]
- Sadjang, P.N. On two (p,q)-analogues of the laplace transform. J. Differ. Equ. Appl. 2017, 23, 1562–1583. [Google Scholar]
- 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.; Tdrees, M.; Safdar, F.; Akram, S.; Baleanu, D.; Chu, Y.M. Post quantum inequalities of Hermite-Hadamard-type associated with co-ordinated higher-order generalized strongly pre-index and quasi-pre-index mappings. Symmetry 2020, 12, 443. [Google Scholar] [CrossRef]
- Kunt, M.; Iscan, I.; Alp, N.; Sarikaya, M.Z. (p,q)-Hermite-Hadamard and (p,q)-estimates for midpoint type inequalities via convex and quasi-convex functions. RACSAM 2018, 112, 969–992. [Google Scholar] [CrossRef]
- Ali, M.A.; Budak, H.; Kalsoom, H.; Chu, Y.M. Post-quantum Hermite-Hadamard inequalities involving newly defined (p,q)-integral. Authorea 2020. [Google Scholar] [CrossRef]
- Thongjob, S.; Nonlaopon, K.; Ntouyas, S.K. Some (p,q)-Hardy type inequalities for (p,q)-integrable functions. AMIS Math. 2020, 6, 77–89. [Google Scholar] [CrossRef]
- Hermite, C. Sur deux limites d’une integrale de finie. Mathesis 1883, 3, 82. [Google Scholar]
- Hadamard, J. Etude sur les fonctions entiees et en particulier d’une fonction consideree par Riemann. J. Math. Pures Appl. 1893, 58, 171–215. [Google Scholar]
- Dragomir, S.S. On the Hadamard’s inequality for convex functions on the co-ordinates in a rectangle from the plane. Taiwanese J. Math. 2001, 5, 775–788. [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 (http://creativecommons.org/licenses/by/4.0/).