Quantum Hermite-Hadamard and quantum Ostrowski type inequalities for $s$-convex functions in the second sense with applications

In this study, we use quantum calculus to prove Hermite-Hadamard and Ostrowski type inequalities for s-convex functions in the second sense. The newly proven results are also shown to be an extension of comparable results in the existing literature. Furthermore, it is provided that how the newly discovered inequalities can be applied to special means of real numbers.


Introduction
In convex functions theory, Hermite-Hadamard (H-H) inequality is very important and was discovered by C. Hermite and J. Hadamard independently (see, also [23], [41, p.137]), where f is a convex function. In the case of concave mappings, the above inequality is satisfied in reverse order. For more recent developments, one can consult [17,18,42,48,49]. Hudzik and Maligranda defined s-convex functions in the second sense in [28], which may be expressed as: a mapping f : R + → R, where R + = [0, ∞), is called s-convex in the second sense if for all x, y ∈ R + , t ∈ [0, 1], s ∈ (0, 1] and these functions are denoted by f ∈ k 2 s . After that, Dragomir and Fitzpatrick [22] used this newly class of functions and proved the following H-H inequality: For more recent integral inequalities related to the class of s-convex functions and its generalizations via different integral operators, one can consult [11,19,20,24,25,34,36,40].
On the other hand, several studies have been carried out in the domain of q-analysis, beginning with Euler, in order to achieve proficiency in mathematics that constructs quantum computing q-calculus, which is considered a relationship between physics and mathematics. It has a wide range of applications in mathematics, including combinatorics, simple hypergeometric functions, number theory, orthogonal polynomials, and other sciences, as well as mechanics, relativity theory, and quantum theory [27,32]. Euler is thought to be the inventor of this significant branch of mathematics. He used the q-parameter in Newton's work on infinite series. Later, Jackson presented the q-calculus, which knew no limits calculus, in a methodical manner [26,30]. In 1966, Al-Salam [10] introduced a q-analogue of the q-fractional integral and q-Riemann-Liouville fractional. Since then, the related research has gradually increased. In particular, in 2013, Tariboon and Ntouyas introduced a D q -difference operator and q a -integral in [46]. In 2020, Bermudo et al. introduced the notion of b D q derivative and q b -integral in [12].
Many integral inequalities have been studied using quantum integrals for various types of functions. For example, in [3, 6, 8, 9, 12-14, 31, 37, 43-45], the authors used a D q , b D q -derivatives and q a , q b -integrals to prove H-H integral inequalities and their left-right estimates for convex and coordinated convex functions. In [38], Noor et al. presented a generalized version of quantum H-H integral inequalities. For generalized quasi-convex functions, Nwaeze et al. proved certain parameterized quantum integral inequalities in [39]. Khan et al. proved quantum H-H inequality using the green function in [35]. Budak et al. [15], Ali et al. [2,4], Chu et al. [21] and Vivas-Cortez et al. [47] developed new quantum Simpson's and quantum Newton's type inequalities for convex and coordinated convex functions. For quantum Ostrowski's inequalities for convex and co-ordinated convex functions, one can consult [5,7,16].
Inspired by these ongoing studies, we offer a variant of quantum H-H inequality (1.2) and Ostrowski type inequalities for s-convex functions in the second sense. Since the s-convexity is the generalization of convexity, therefore the inequalities proved in this paper using the s-convexity are the generalization of already proved inequalities for convexity that is the main motivation of this paper.
The following is the structure of this paper: A brief overview of the concepts of q-calculus, as well as some related works, is given in Section 2. In Section 3, we show the relationship between the results presented here and comparable results in the literature by proving quantum H-H inequalities for s-convex functions in the second sense. Quantum Ostrowski type inequalities for s-convex functions in the second sense are presented in Section 4. Some applications to special means are given in Section 5. Section 6 concludes with some recommendations for future studies.

Preliminaries of q-calculus and some inequalities
In this section, we recollect some formerly regarded concepts. Also, here and further we use q ∈ (0, 1) and the following notation (see [32]): In [30], Jackson gave the q-Jackson integral from 0 to b as follows: provided the sum converges absolutely.
If x = a, we define a D q f (a) = lim x→a a D q f (x) if it exists and it is finite.
if it exists and it is finite.
The q a -integral of a mapping f : [a, b] → R is defined as: Definition 2.4. [12] The q b -integral of a mapping f : In [12], Bermudo In [16], Budak et al. proved the following Ostrowski inequality by using the concepts of quantum derivatives and integrals:

Hermite-Hadamard inequalities
In this section, we prove H-H inequalities for s-convex functions in the second sense using the quantum integrals.
Theorem 3.1. Assume that the mapping f : R + → R is s-convex in the second sense and a, b ∈ R + with a < b. If f ∈ L 1 ([a, b]), then the following inequality holds for s ∈ (0, 1]: Proof. As f is s-convex in the second sense on R + we have for all x, y ∈ R + and t ∈ [0, 1].
Obverse that We get the following, by putting x = tb + (1 − t) a and y = ta From Definitions 2.3 and 2.4, we have and the first inequality in (3.1) is proved.
To proved the second inequality, we use the s-convexity and we have and the proof is completed.

Ostrowski's inequalities
In this section, we prove Ostrowski's type inequalities for s-convex functions in the second sense. We use the following lemma to prove the new results.
Assume that the mapping f : I ⊂ R + → R is differentiable and a, b ∈ I with a < b. If | a D q f | and | b D q f | are s-convex mappings in the second sense, then the following inequality holds: Proof. From Lemma 4.1 and properties of the modulus, we have Since the mappings | a D q f | and | b D q f | are s-convex in the second sense, therefore We obtain the resultant inequality (4.2) by putting (4.4) and (4.5) in (4.3).
Remark 4.1. If we set s = 1 in Theorem 4.1, then we obtain the following inequality which is given by Budak et al. in [16].
1, then we have following quantum Ostrowski's type inequality for s-convex functions in the second sense: Assume that the mapping f : are s-convex mappings in the second sense, then the following inequality holds: Proof. From Lemma 4.1, using properties of the modulus and power mean inequality, we have Since the mappings | a D q f | p 1 and | b D q f | p 1 are s-convex in the second sense, therefore and We obtain the resultant inequality (4.7) by putting (4.9) and (4.10) in (4.8).
Remark 4.4. If we set s = 1 in Theorem 4.2, then we obtain the following inequality which is proved by Budak et al. in [16].  Assume that the mapping f : I ⊂ R + → R is differentiable and a, b ∈ I with a < b. If | a D q f | p 1 and | b D q f | p 1 , p 1 > 1 are s-convex mappings in the second sense, then the following inequality holds: where 1 r 1 + 1 p 1 = 1. Proof. From Lemma 4.1, using properties of the modulus and Hölder's inequality, we have Since the mappings | a D q f | p 1 and | b D q f | p 1 are s-convex in the second sense, therefore and (4.14) We obtain the resultant inequality (4.11) by putting (4.13) and (4.14) in (4.12).
Remark 4.6. If we set s = 1 in Theorem 4.3, then we obtain the following inequality which is proved by Budak et al. in [16].
(4.15) Remark 4.7. In Corollary 4.3, if we set s = 1, then we recapture the following inequality which is obtained by Budak et al. in [16].  Assume that the mapping f : I ⊂ R + → R is differentiable and a, b ∈ I with a < b. If | a D q f | p 1 and | b D q f | p 1 , p 1 ≥ 1 are s-convex mappings in the second sense, then the following inequality holds: Proof. From Lemma 4.1, using properties of the modulus and improved power mean inequality (see [33]), we have Since the mappings | a D q f | p 1 and | b D q f | p 1 are s-convex in the second sense, therefore and We obtain the resultant inequality (4.16) by putting (4.18), (4.19), (4.20) and (4.21) in (4.17). (4.22) Corollary 4.5. In Corollary 4.4, if we set s = 1, then we obtain the following new Ostrowski type inequality: Theorem 4.5. Assume that the mapping f : I ⊂ R + → R is differentiable and a, b ∈ I with a < b. If | a D q f | p 1 and | b D q f | p 1 , p 1 > 1 are s-convex mappings in the second sense, then the following inequality holds: where 1 r 1 + 1 p 1 = 1. Proof. From Lemma 4.1, using properties of the modulus and Hölder'sİşcan inequality (see [29]), we have Since the mappings | a D q f | p 1 and | b D q f | p 1 are s-convex in the second sense, therefore (4.28) We obtain the resultant inequality (4.23) by putting (4.25), (4.26), (4.27) and (4.28) in (4.24).
Corollary 4.6. If we assume | a D q f (x) |, | b D q f (x) | ≤ M in Theorem 4.5, then we have the following quantum Ostrowski's type inequality for s-convex functions in the second sense: (4.29) Corollary 4.7. In Corollary 4.6, if we use s = 1, then we obtain the following new Ostrowski type inequality:

Conclusions
In this investigation, Hermite-Hadamard and Ostrowski type inequalities for s-convex mappings in the second sense are derived, by applying quantum integrals. It is also showed that the results established in this paper are potential generalization of the existing comparable results in the literature. As future directions, one can find similar inequalities for co-ordinated s-convex functions in the second sense.