Generalized $(p, q)$-analogues of Dragomir-Agarwal's inequalities involving Raina's function and applications

1.   Introduction and preliminaries

A set $\mathcal{C}\subseteq\mathbb{R}$ is said to be convex, if

Similarly, a function ${\Psi}:\mathcal{C}\to\mathbb{R}$ is said to be convex, if

In recent years, the classical concepts of convexity has been extended and generalized in different directions using novel and innovative ideas.

Let us recall first Raina's function $\mathcal{R}_{\rho, \lambda}^{\sigma}(z)$ that it's defined as follows:

where $\rho, \lambda > 0$, with bounded modulus $|z| < M$, and $\sigma = \{\sigma(0), \sigma(1), \ldots, \sigma(k), \ldots\}$ is a bounded sequence of positive real numbers. For details, see ^[1].

Cortez et al. ^[2] presented a new generalization of convexity class as follows:

Definition 1. ^[2] Let $\rho, \lambda > 0$ and $\sigma = (\sigma(0), \ldots, \sigma(k), \ldots)$ be a bounded sequence of positive real numbers. A non-empty set $\mathcal{I}\subseteq\mathbb{R}$ is said to be generalized convex, if

Definition 2. ^[2] Let $\rho, \lambda > 0$ and $\sigma = (\sigma(0), \ldots, \sigma(k), \ldots)$ be a bounded sequence of positive real numbers. A function ${\Psi}:\mathcal{I}\subseteq\mathbb{R}\to \mathbb{R}$ is said to be generalized convex, if

Quantum calculus is the branch of mathematics (often known as calculus without limits) in which we obtain $q$-analogues of mathematical objects which can be recaptured by taking $q\to 1^{-}$. Interested readers may find very useful details on quantum calculus in ^[3]. Recently, quantum calculus has been extended to post quantum calculus. In quantum calculus we deal with $q$-number with one base $q$ however post quantum calculus includes $p$ and $q$-numbers with two independent variables $p$ and $q$. This was first considered by Chakarabarti and Jagannathan ^[4]. Tunç and Gov ^[5] introduced the concepts of $(p, q)$-derivatives and $(p, q)$-integrals on finite intervals as:

Definition 3. ^[5] Let $\mathcal{K}\subseteq\mathbb{R}$ be a non-empty set such that ${\upsilon_{1}}\in \mathcal{K}$, $0 < q < p\leq1$ and ${\Psi}:\mathcal{K}\to\mathbb{R}$ be a continuous function. Then, the $(p, q)$-derivative $_{{\upsilon_{1}}}\mathcal{D}_{(p, q)}{\Psi}({\Theta})$ of ${\Psi}$ at ${\Theta}\in \mathcal{K}$ is defined by

Note that, if we take $p = 1$ in Definition 3, then we get the definition of $q$-derivative introduced and studied by Tariboon et al. ^[6].

Definition 4. ^[5] Let $\mathcal{K}\subseteq\mathbb{R}$ be a non-empty set such that ${\upsilon_{1}}\in \mathcal{K}$, $0 < q < p\leq1$ and ${\Psi}:\mathcal{K}\to\mathbb{R}$ be a continuous function. Then, the $(p, q)$-integral on $\mathcal{K}$ is defined by

for all ${\Theta}\in \mathcal{K}$.

Note that, if we take $p = 1$ in Definition 4, then we get the definition of $q$-integral on finite interval introduced and studied by Tariboon et al. ^[6].

Theory of convexity has played very important role in the development of theory of inequalities. A wide class of inequalities can easily be obtained using the convexity property of the functions. In this regard Hermite-Hadamard's inequality is one of the most studied result. It provides us an equivalent property for convexity. This famous result of Hermite and Hadamard reads as: Let $\Psi:[\upsilon_{1}, \upsilon_{2}]\subseteq\mathbb{R}\to\mathbb{R}$ be a convex function, then

In recent years, several new extensions and generalizations of this classical result have been obtained in the literature. In ^[7] Dragomir and Agarwal have obtained a new integral identity using the first order differentiable functions:

Lemma 1. ^[7] Let ${\Psi}:X = [{\upsilon_{1}}, {\upsilon_{2}}]\subseteq\mathbb{R}\to\mathbb{R}$ be a differentiable function on $X^\circ$ (the interior set of $X$), then

Using this identity authors have obtained some new right estimates for Hermite-Hadamard's inequality essentially using the class of first order differentiable convex functions. This idea of Dragomir and Agarwal has inspired many researchers and consequently a variety of new identities and corresponding inequalities have been obtained in the literature using different techniques. Sudsutad et al. ^[8] and Noor et al. ^[9] obtained the quantum counterpart of this result and obtained associated $q$-analogues of trapezium like inequalities. Liu and Zhuang ^[10] obtained another quantum version of this identity via twice $q$-differentiable functions and obtained associated $q$-integral inequalities. Awan et al. ^[11] extended the results of Dragomir and Agarwal by obtaining a new post-quantum integral identity involving twice $(p, q)$-differentiable functions and twice $(p, q)$-differentiable preinvex functions. Du et al. ^[12] obtained certain quantum estimates on the parameterized integral inequalities and established some applications. Zhang et al. ^[13] found different types of quantum integral inequalities via $(\alpha, m)$-convexity. Cortez et al. ^[14,15] derived some inequalities using generalized convex functions in quantum analysis.

The main objective of this paper is to introduce the notion of generalized strongly convex functions using Raina's function. We derive two new general auxiliary results involving first and second order $(p, q)$-differentiable functions and Raina's function. Essentially using these identities and the generalized strongly convexity property of the functions, we also derive corresponding new generalized post-quantum analogues of Dragomir-Agarwal's inequalities. In order to discuss the relation with other results, we also discuss some special cases about generalized convex functions. To support our main results, we give applications to special means, to hypergeometric functions, to Mittag-Leffler functions and also to $(p, q)$-differentiable functions of first and second order that are bounded in absolute value. Finally, some conclusions and future research are provided as well. We hope that the ideas and techniques of this paper will inspire interested readers working in this field.

2.   Main results

In this section, we discuss our main results. First, we introduce the class of generalized strongly convex function involving Raina's function.

Definition 5. Let $\rho, \lambda > 0$ and $\sigma = (\sigma(0), \ldots, \sigma(k), \ldots)$ be a bounded sequence of positive real numbers. A function ${\Psi}:\mathcal{I}\subseteq\mathbb{R}\rightarrow \mathbb{R}$ is called generalized strongly convex, if

$\forall\, c > 0, {\tau}\in[0, 1]$ and $\upsilon_{1}, \upsilon_{2}\in\mathcal{I}$.

2.1.   Auxiliary results

In this section, we derive two new post-quantum integral identities that will be used in a sequel.

Lemma 2. Let ${\Psi}:X = [{\upsilon_{1}}, {\upsilon_{1}}+\mathcal{R}_{\rho, \lambda}^{\sigma}({\upsilon_{2}}-{\upsilon_{1}})]\subseteq\mathbb{R}\to\mathbb{R}$ be a differentiable function and $0 < q < p\leq1$. If ${_{\upsilon_{1}}{\mathrm{D}}_{(p, q)}}{\Psi}$ is integrable function on $X^\circ$, then

Proof. Using the right hand side of (3.3), we have

and from the definitions of ${_{\upsilon_{1}}{\mathrm{D}}_{(p, q)}}$, and $(p, q)$-integral, we get

This completes the proof.

The second identity for twice $(p, q)$-differentiable functions states as follows:

Lemma 3. Let ${\Psi}:X = [{\upsilon_{1}}, {\upsilon_{1}}+\mathcal{R}_{\rho, \lambda}^{\sigma}({\upsilon_{2}}-{\upsilon_{1}})]\subseteq\mathbb{R}\to\mathbb{R}$ be a twice differentiable function and $0 < q < p\leq1$. If ${_{\upsilon_{1}}{\mathrm{D^{2}}}_{(p, q)}}{\Psi}$ is integrable function on $X^\circ$, then

Proof. Firstly, applying the definition of ${_{\upsilon_{1}}{\mathrm{D^{2}}}_{(p, q)}}$ differentiability, we have

Now, using the notion of $(p, q)$-integration, we get

After multiplying both sides by $\frac{pq^2(\mathcal{R}_{\rho, \lambda}^{\sigma}({\upsilon_{2}}-{\upsilon_{1}}))^2}{p+q}$, we obtain our required identity.

2.2.   $(p, q)$-Dragomir-Agarwal like inequalities

We now derive some $(p, q)$-analogues of Dragomir-Agarwal like inequalities using first order and second order $(p, q)$-differentiable functions via generalized strongly convex function with modulus $c > 0$. Let us recall the following notion that will be used in the sequel.

Theorem 1. Suppose that all the assumptions of Lemma 2 are satisfied and $|{_{\upsilon_{1}}D_{(p, q)}{\Psi}}|$ is generalized strongly convex function, then

where

and

Proof. From Lemma 2, properties of modulus and using the generalized strongly convexity of $|{_{\upsilon_{1}}D_{(p, q)}{\Psi}}|$, we have

After simplification, we obtain our required result.

Corollary 1. Letting $c\to 0^{+}$ in Theorem 1, then

Theorem 2. Suppose that all the assumptions of Lemma 2 are satisfied and $|{_{\upsilon_{1}}D_{(p, q)}{\Psi}}|^m$ is generalized strongly convex function with $m\geq1,$ then

where $S_1, S_2$ and $S_3$ are given by (2.3)–(2.5), respectively, and

Proof. From Lemma 2, properties of modulus, power-mean inequality and using the generalized strongly convexity of $|{_{\upsilon_{1}}D_{(p, q)}{\Psi}}|^m$, we have

After simplification, we obtain our required result.

Corollary 2. Letting $c\to 0^{+}$ in Theorem 2, then

Theorem 3. Suppose that all the assumptions of Lemma 2 are satisfied and $|{_{\upsilon_{1}}D_{(p, q)}{\Psi}}|^m$ is generalized strongly convex function with $\frac{1}{l}+\frac{1}{m} = 1,$ and $l, m > 0,$ then

where

Proof. From Lemma 2, properties of modulus, Hölder's inequality and using the generalized strongly convexity of $|{_{\upsilon_{1}}D_{(p, q)}{\Psi}}|^m$, we have

After simplification, we obtain our required result.

Corollary 3. Letting $c\to 0^{+}$ in Theorem 3, then

Theorem 4. Suppose that all the assumptions of Lemma 3 are satisfied and $|{{_{\upsilon_{1}}{\mathrm{D^2}}_{(p, q)}}{\Psi}}|$ is generalized strongly convex function, then

where

and

Proof. From Lemma 3, properties of modulus and using the generalized strongly convexity of $|{{_{\upsilon_{1}}{\mathrm{D^2}}_{(p, q)}}{\Psi}}|$, we have

This completes the proof.

Corollary 4. Letting $c\to 0^{+}$ in Theorem 4, then

Theorem 5. Suppose that all the assumptions of Lemma 3 are satisfied and $|{{_{\upsilon_{1}}{\mathrm{D^2}}_{(p, q)}}{\Psi}}|^{m}$ is generalized strongly convex function with $m\geq1,$ then

where $S_6$, $S_7$ and $S_8$ are given by (2.8)–(2.10), respectively, and

Proof. From Lemma 3, properties of modulus, power-mean inequality and using the generalized strongly convexity of $|{{_{\upsilon_{1}}{\mathrm{D^2}}_{(p, q)}}{\Psi}}|^{m},$ we have

This completes the proof.

Corollary 5. Letting $c\to 0^{+}$ in Theorem 5, then

Theorem 6. Suppose that all the assumptions of Lemma 3 are satisfied and $|{{_{\upsilon_{1}}{\mathrm{D^2}}_{(p, q)}}{\Psi}}|^{m}$ is generalized strongly convex function with $\frac{1}{l}+\frac{1}{m} = 1$, and $l, m > 0,$ then

where

Proof. From Lemma 3, properties of modulus, Hölder's inequality and using the generalized strongly convexity of $|{{_{\upsilon_{1}}{\mathrm{D^2}}_{(p, q)}}{\Psi}}|^{m},$ we have

This completes the proof.

Corollary 6. Letting $c\to 0^{+}$ in Theorem 22, then

Theorem 7. Suppose that all the assumptions of Lemma 3 are satisfied and $|{{_{\upsilon_{1}}{\mathrm{D^2}}_{(p, q)}}{\Psi}}|^{m}$ is generalized strongly convex function with $\frac{1}{l}+\frac{1}{m} = 1$, and $l, m > 0,$ then

where

Proof. From Lemma 3, properties of modulus, Hölder's inequality and using the generalized strongly convexity of $|{{_{\upsilon_{1}}{\mathrm{D^2}}_{(p, q)}}{\Psi}}|^{m},$ we have

This completes the proof.

Corollary 7. Letting $c\to 0^{+}$ in Theorem 7, then

Theorem 8. Suppose that all the assumptions of Lemma 3 are satisfied and $|{{_{\upsilon_{1}}{\mathrm{D^2}}_{(p, q)}}{\Psi}}|^{m}$ is generalized strongly convex function with $\frac{1}{l}+\frac{1}{m} = 1$, and $l, m > 0,$ then

where

and

Proof. From Lemma 3, properties of modulus, Hölder's inequality and using the generalized strongly convexity of $|{{_{\upsilon_{1}}{\mathrm{D^2}}_{(p, q)}}{\Psi}}|^{m},$ we have

This completes the proof.

Corollary 8. Letting $c\to 0^{+}$ in Theorem 8, then

3.   Applications

In this section, we discuss some applications of our main results.

3.1.   Applications to means and their numerical verifications

First of all, we recall some previously known concepts regarding special means. For different real numbers ${\upsilon_{1}} < {\upsilon_{2}}$, we have

(1) The arithmetic mean: $A({\upsilon_{1}}, {\upsilon_{2}}) = \frac{{\upsilon_{1}}+{\upsilon_{2}}}{2}.$

(2) The generalized logarithmic mean: $L_n({\upsilon_{1}}, {\upsilon_{2}}) = \left[\frac{{\upsilon_{2}}^{n+1}-{\upsilon_{1}}^{n+1}}{({\upsilon_{2}}-{\upsilon_{1}})(n+1)}\right]^{\frac{1}{n}}, \quad n\in\mathbb{Z}\setminus\{-1, 0\}.$

Proposition 1. Assume that all the assumptions of Theorem 1 are satisfied, then the following inequality holds

where $S_1$ and $S_2$ are given by (2.3) and (2.4), respectively.

Proof. If we choose ${_{\upsilon_{1}}{\mathrm{D^2}}_{(p, q)}}{\Psi}(x) = x^n, \mathcal{R}_{\rho, \lambda}^{\sigma}({\upsilon_{2}}-{\upsilon_{1}}) = \upsilon_{2}-\upsilon_{1}$ and $c = 0$ in Theorem 1, we obtain our required result.

Example 1. If we take $n = 2, {\upsilon_{1}} = 2, {\upsilon_{2}} = 4$, $p = \frac{1}{2}$ and $q = \frac{1}{3}$ in Proposition 1, then we have $0.4 < 9.42$, which shows the validity of the result.

Proposition 2. Assume that all the assumption of Theorem 2 are satisfied, then the following inequality holds

where $S_1$ and $S_2$ are given by (2.3), (2.4), and $S_4$ is given by (2.6), respectively.

Proof. If we choose ${_{\upsilon_{1}}{\mathrm{D^2}}_{(p, q)}}{\Psi}(x) = x^n, \mathcal{R}_{\rho, \lambda}^{\sigma}({\upsilon_{2}}-{\upsilon_{1}}) = \upsilon_{2}-\upsilon_{1}$ and $c = 0$ in Theorem 2, then we obtain our required result.

Example 2. If we take $n = 2, m = 2, {\upsilon_{1}} = 2, {\upsilon_{2}} = 4$, $p = \frac{1}{2}$ and $q = \frac{1}{3}$ in Proposition 2, then we have $0.4 < 11.39$, which shows the validity of the result.

3.2.   Applications to hypergeometric functions

From relation (1.1), if we set $\rho = 1, \lambda = 0$ and $\sigma(k) = \frac{(\phi)_k(\psi)_k}{(\eta)_k}\neq0$, where $\phi, \psi$ and $\eta$ are parameters may be real or complex values and $(m)_k$ is defined as $(m)_k = \frac{\Gamma(m+k)}{\Gamma(m)}$ and its domain is restricted as $|x|\leq1$, then we have the following hypergeometric function

So using above notations and all the results obtained in this paper, we have the following forms.

Lemma 4. Let ${\Psi}:X = [{\upsilon_{1}}, {\upsilon_{1}}+\mathcal{R}(\phi, \psi; \eta; {\upsilon_{2}}-{\upsilon_{1}})]\subseteq\mathbb{R}\to\mathbb{R}$ be a differentiable function and $0 < q < p\leq1$. If ${_{\upsilon_{1}}{\mathrm{D}}_{(p, q)}}{\Psi}$ is integrable function on $X^\circ$, then

The second identity for twice $(p, q)$-differentiable functions states as follows:

Lemma 5. Let ${\Psi}:X = [{\upsilon_{1}}, {\upsilon_{1}}+\mathcal{R}(\phi, \psi; \eta; {\upsilon_{2}}-{\upsilon_{1}})]\subseteq\mathbb{R}\to\mathbb{R}$ be a twice differentiable function and $0 < q < p\leq1$. If ${_{\upsilon_{1}}{\mathrm{D^{2}}}_{(p, q)}}{\Psi}$ is integrable function on $X^\circ$, then

Theorem 9. Suppose that all the assumptions of Lemma 4 are satisfied and $|{_{\upsilon_{1}}D_{(p, q)}{\Psi}}|$ is generalized strongly convex function, then

where $S_1, S_2$ and $S_3$ are given by (2.3)–(2.5).

Theorem 10. Suppose that all the assumptions of Lemma 4 are satisfied and $|{_{\upsilon_{1}}D_{(p, q)}{\Psi}}|^m$ is generalized strongly convex function with $m\geq1,$ then

where $S_1, S_2$ $S_3$ and $S_4$ are given by (2.3)–(2.6), respectively.

Theorem 11. Suppose that all the assumptions of Lemma 4 are satisfied and $|{_{\upsilon_{1}}D_{(p, q)}{\Psi}}|^m$ is generalized strongly convex function with $\frac{1}{l}+\frac{1}{m} = 1,$ and $l, m > 0,$ then

where $S_5$ is given by (2.7).

Theorem 12. Suppose that all the assumptions of Lemma 5 are satisfied and $|{{_{\upsilon_{1}}{\mathrm{D^2}}_{(p, q)}}{\Psi}}|$ is generalized strongly convex function, then

where $S_6, S_7$ and $S_8$ are given as (2.8)–(2.10).

Theorem 13. Suppose that all the assumptions of Lemma 5 are satisfied and $|{{_{\upsilon_{1}}{\mathrm{D^2}}_{(p, q)}}{\Psi}}|^{m}$ is generalized strongly convex function with $m\geq1,$ then

where $S_6$, $S_7, S_8$ and $S_9$ are given by (2.8)–(2.11), respectively.

Theorem 14. Suppose that all the assumptions of Lemma 5 are satisfied and $|{{_{\upsilon_{1}}{\mathrm{D^2}}_{(p, q)}}{\Psi}}|^{m}$ is generalized strongly convex function with $\frac{1}{l}+\frac{1}{m} = 1$, and $l, m > 0,$ then

Theorem 15. Suppose that all the assumptions of Lemma 5 are satisfied and $|{{_{\upsilon_{1}}{\mathrm{D^2}}_{(p, q)}}{\Psi}}|^{m}$ is generalized strongly convex function with $\frac{1}{l}+\frac{1}{m} = 1$, and $l, m > 0,$ then

where $S_{11}$ is given by (2.13).

Theorem 16. Suppose that all the assumptions of Lemma 5 are satisfied and $|{{_{\upsilon_{1}}{\mathrm{D^2}}_{(p, q)}}{\Psi}}|^{m}$ is generalized strongly convex function with $\frac{1}{l}+\frac{1}{m} = 1$, and $l, m > 0,$ then

where $S_{12}, S_{13}, S_{14}$ are given by (2.14)–(2.16).

3.3.   Applications to Mittag-Leffler functions

Moreover if we take $\sigma = (1, 1, 1, \ldots), \lambda = 1$ and $\rho = \phi$ with Re$({\phi}) > 0$ in (1.1), then we obtain well-known Mittag–Leffler function:

So using this function and all the results obtained in this paper, we have the following forms.

Lemma 6. Let ${\Psi}:X = [{\upsilon_{1}}, {\upsilon_{1}}+{\mathcal{R}}_{\phi}({\upsilon_{2}}-{\upsilon_{1}})]\subseteq\mathbb{R}\to\mathbb{R}$ be a differentiable function and $0 < q < p\leq1$. If ${_{\upsilon_{1}}{\mathrm{D}}_{(p, q)}}{\Psi}$ is integrable function on $X^\circ$, then

The second identity for twice $(p, q)$-differentiable functions states as follows:

Lemma 7. Let ${\Psi}:X = [{\upsilon_{1}}, {\upsilon_{1}}+{\mathcal{R}}_{\phi}({\upsilon_{2}}-{\upsilon_{1}})]\subseteq\mathbb{R}\to\mathbb{R}$ be a twice differentiable function and $0 < q < p\leq1$. If ${_{\upsilon_{1}}{\mathrm{D^{2}}}_{(p, q)}}{\Psi}$ is integrable function on $X^\circ$, then

Theorem 17. Suppose that all the assumptions of Lemma 6 are satisfied and $|{_{\upsilon_{1}}D_{(p, q)}{\Psi}}|$ is generalized strongly convex function, then

where $S_1, S_2$ and $S_3$ are (2.3)–(2.5).

Theorem 18. Suppose that all the assumptions of Lemma 6 are satisfied and $|{_{\upsilon_{1}}D_{(p, q)}{\Psi}}|^m$ is generalized strongly convex function with $m\geq1,$ then

where $S_1, S_2$ $S_3 \; S_4p$ are given by (2.3)–(2.6), respectively.

Theorem 19. Suppose that all the assumptions of Lemma 6 are satisfied and $|{_{\upsilon_{1}}D_{(p, q)}{\Psi}}|^m$ is generalized strongly convex function with $\frac{1}{l}+\frac{1}{m} = 1,$ and $l, m > 0,$ then

where $S_5$ is given by (2.7).

Theorem 20. Suppose that all the assumptions of Lemma 7 are satisfied and $|{{_{\upsilon_{1}}{\mathrm{D^2}}_{(p, q)}}{\Psi}}|$ is generalized strongly convex function, then

where $S_6, S_7$ and $S_8$ are given (2.8)–(2.10).

Theorem 21. Suppose that all the assumptions of Lemma 7 are satisfied and $|{{_{\upsilon_{1}}{\mathrm{D^2}}_{(p, q)}}{\Psi}}|^{m}$ is generalized strongly convex function with $m\geq1,$ then

where $S_6$, $S_7, S_8$ and $S_9$ are given by (2.8)–(2.11), respectively.

Theorem 22. Suppose that all the assumptions of Lemma 7 are satisfied and $|{{_{\upsilon_{1}}{\mathrm{D^2}}_{(p, q)}}{\Psi}}|^{m}$ is generalized strongly convex function with $\frac{1}{l}+\frac{1}{m} = 1$, and $l, m > 0,$ then

Theorem 23. Suppose that all the assumptions of Lemma 7 are satisfied and $|{{_{\upsilon_{1}}{\mathrm{D^2}}_{(p, q)}}{\Psi}}|^{m}$ is generalized strongly convex function with $\frac{1}{l}+\frac{1}{m} = 1$, and $l, m > 0,$ then

where $S_{11}$ is given by (2.13).

Theorem 24. Suppose that all the assumptions of Lemma 7 are satisfied and $|{{_{\upsilon_{1}}{\mathrm{D^2}}_{(p, q)}}{\Psi}}|^{m}$ is generalized strongly convex function with $\frac{1}{l}+\frac{1}{m} = 1$, and $l, m > 0,$ then

where $S_{12}, S_{13}$ and $S_{14}$ are given by (2.14)–(2.16).

3.4.   Applications to bounded functions

In this section, we discuss applications regarding bounded functions in absolute value of the results obtained from our main results. We suppose that the following two conditions are satisfied:

and $0 < q < p\leq1.$

Applying the above conditions, we have the following results.

Corollary 9. Under the assumptions of Theorem 1, the following inequality holds

Corollary 10. Under the assumptions of Theorem 2, the following inequality holds

Corollary 11. Under the assumptions of Theorem 3, the following inequality holds

Corollary 12. Under the assumptions of Theorem 4, the following inequality holds

Corollary 13. Under the assumptions of Theorem 5, the following inequality holds

Corollary 14. Under the assumptions of Theorem 22, the following inequality holds

Corollary 15. Under the assumptions of Theorem 7, the following inequality holds

Corollary 16. Under the assumptions of Theorem 8, the following inequality holds

4.   Conclusions

In this paper, we introduced the class of generalized strongly convex functions using Raina's function. We have derived two new general auxiliary results involving first and second order $(p, q)$-differentiable functions and Raina's function. Essentially using these identities and the generalized strongly convexity property of the functions, we also established corresponding new generalized post-quantum analogues of Dragomir-Agarwal's inequalities. We have discussed in details some special cases about generalized convex functions. The efficiency of our main results is also demonstrated with the help of application. We have offered applications to special means, to hypergeometric functions, to Mittag-Leffler functions and also to $(p, q)$-differentiable functions of first and second order that are bounded in absolute value. We will derive as future works several new post-quantum interesting inequalities using Chebyshev, Markov, Young and Minkowski inequalities. Since the class of generalized strongly convex functions have large applications in many mathematical areas, they can be applied to obtain several results in convex analysis, special functions, quantum mechanics, related optimization theory, and mathematical inequalities and may stimulate further research in different areas of pure and applied sciences. Studies relating convexity, partial convexity, and preinvex functions (as contractive operators) may have useful applications in complex interdisciplinary studies, such as maximizing the likelihood from multiple linear regressions involving Gauss-Laplace distribution. For more details, please see ^{[16,17,18,19,20,21,22,23]}.

Acknowledgments

The authors would like to thank the editor and the anonymous reviewers for their valuable comments and suggestions. This research was funded by Dirección de Investigación from Pontificia Universidad Católica del Ecuador in the research project entitled "Some integrals inequalities and generalized convexity" (Algunas desigualdades integrales para funciones con algún tipo de convexidad generalizada y aplicaciones).

Conflict of interest

The authors declare no conflict of interest.