Open AccessArticle

Quantum Estimates of Ostrowski Inequalities for Generalized ϕ-Convex Functions

Miguel J. Vivas-Cortez

^1,*,†

Artion Kashuri

^2,†

Rozana Liko

^2,†

and

Jorge E. Hernández Hernández

^3,†

Escuela de Ciencias Físicas y Matemáticas , Facultad de Ciencias Exactas y Naturales, Pontificia Universidad Católica del Ecuador, Av. 12 de Octubre 1076. Apartado, Quito 17-01-2184, Ecuador

Department of Mathematics, Faculty of Technical Science, University Ismail Qemali, L. Pavaresia, Vlora 1001, Albania

Departamento de Técnicas Cuantitativas, Decanato de Ciencias Económicas y Empresariales, Universidad Centroccidental Lisandro Alvarado, Av. 20. esq. Av. Moran, Edf. Los Militares, Piso 2, Ofc.2, Barquisimeto 3001, Venezuela

Author to whom correspondence should be addressed.

^†

These authors contributed equally to this work.

Symmetry 2019, 11(12), 1513; https://doi.org/10.3390/sym11121513

Submission received: 4 November 2019 / Revised: 20 November 2019 / Accepted: 4 December 2019 / Published: 12 December 2019

Download Versions Notes

Abstract

In this paper, the study is focused on the quantum estimates of Ostrowski type inequalities for q-differentiable functions involving the special function introduced by R.K. Raina which depends on certain parameters. Our methodology involves Jackson’s q-integral, the basic concepts of quantum calculus, and a generalization of a class of special functions used in the frame of convex sets and convex functions. As a main result, some quantum estimates for the aforementioned inequality are established and some cases involving the special hypergeometric and Mittag–Leffler functions have been studied and some known results are deduced.

Keywords:

ostrowski inequality; quantum estimates; raina’s function; generalized convexity

MSC:

26A51; 26A33; 26D07; 26D10

1. Introduction

Quantum calculus (also known as calculus with no limits) was initiated by Euler in the eighteenth century (1707–1783). In [1], F. J. Jackson started a systematic study of q-calculus and introduced the q-definite integrals. He also was the first to develop q-calculus in a systematic way. Some branches of mathematics and physics, such as number theory, orthogonal polynomials, combinatory, basic hypergeometric functions, mechanics, and quantum and relativity theory, have been enriched by the research work of various authors as T. Ernst [2,3], H. Gauchman [4], V. Kac and P. Cheung [5], and M.E.H. Ismail [6,7]. Also, certain famous integral inequalities have been studied in the frame of q-calculus [8,9].

The convexity of a function has played an important role as a tool in the development of inequalities. The relationship of this concept is always present in branches, such as functional analysis, harmonic analysis, specifically in interpolation theory, control theory and optimization, as is shown in the following works C.P. Niculescu [10], C. Bennett and R. Sharpley [11], N.A. Nguyen et. al. [12], Ş. Mititelu and S. Trenţă [13], S. Trenţă [14,15]. This property was defined by J.L.W.V. Jensen in the following works [16,17] as follows.

Definition 1.

A function

f : I \subseteq R ⟶ R

is said to be convex on

I,

f ((1 - ı) ℓ_{1} + ı ℓ_{2}) \leq (1 - ı) f (ℓ_{1}) + ı f (ℓ_{2})

holds for every

ℓ_{1}, ℓ_{2} \in I

and

ı \in [0, 1] .

It is well known that modern analysis directly or indirectly involves the applications of convexity. Due to its applications and significant importance, the concept of convexity has been extended and generalized in several directions. The concept of convexity and its variant forms have played a fundamental role in the development of various fields. Various types of generalized convexity have appeared in different research works, some of them modify the domain or range of the function, always maintaining the basic structure of a convex function. Among them are: s-convexity in the first and second sense [18], P-convexity [19], MT-convexity [20], and others [21,22,23,24,25,26].

The following inequality, named the Ostrowski inequality, is one of the most famous inequalities in the literature.

Theorem 1.

Let

f : I \subseteq [0, + \infty [⟶ R

be a differentiable function on

I,

such that

f^{'} \in L [ℓ_{1}, ℓ_{2}]

and

ℓ_{1}, ℓ_{2} \in I

with

ℓ_{1} < ℓ_{2} .

| f^{'} (x) | \leq M,

where M is a real positive number, then the following inequality holds:

| f (x) - \frac{1}{ℓ_{2} - ℓ_{1}} \int_{ℓ_{1}}^{ℓ_{2}} f (ı) d ı | \leq \frac{M}{ℓ_{2} - ℓ_{1}} [\frac{{(x - ℓ_{1})}^{2} + {(ℓ_{2} - x)}^{2}}{2}] .

(1)

The Ostrowski type inequality has remained a subject of great interest due to its wide applications in the field of mathematical analysis [27]. For other recent results that generalize, improve, and extend the inequality (1) through various class functions, for example, functions of bounded variation, Lipschitzian, monotone, absolutely continuous, convex, s-convex, h-convex, and

(m, h_{1}, h_{2})

-convex among others, the studies [18,28,29,30,31,32] have appeared.

2. Preliminaries

Let K be a non empty closed set in

R^{n}

and

ϕ : K \to R

be a continuous function.

M.A. Noor, in [33], introduced a new class of non-convex functions, the so-called

ϕ

-convex as follows:

Definition 2.

The function

f : K \to R

on the ϕ-convex set K is said to be ϕ-convex, if

f (ℓ_{1} + ı e^{i ϕ} (ℓ_{2} - ℓ_{1})) \leq (1 - ı) f (ℓ_{1}) + ı f (ℓ_{2}), \forall ℓ_{1}, ℓ_{2} \in K, ı \in [0, 1] .

The function f is said to be

ϕ

-concave if

(- f)

ϕ

-convex. Note that every convex function is

ϕ

-convex but the converse does not hold in general.

R.K. Raina, in [34], introduced a class of functions defined by

F_{ρ, λ}^{σ} (z) = F_{ρ, λ}^{σ (0), σ (1), \dots} (z) = \sum_{k = 0}^{+ \infty} \frac{σ (k)}{Γ (ρ k + λ)} z^{k},

(2)

where

ρ, λ > 0, | z | < R

and

σ = (σ (0), \dots, σ (k), \dots)

is a bounded sequence of positive real numbers. Note that, if we take in (2)

ρ = 1, λ = 0

and

σ (k) = \frac{({(α)}_{k} {(β)}_{k})}{{(γ)}_{k}} f o r k = 0, 1, 2, \dots,

where

α, β

and

γ

are parameters which can take arbitrary real or complex values (provided that

γ \neq 0, - 1, - 2, \dots),

and the symbol

{(a)}_{k}

denotes the quantity

{(a)}_{k} = \frac{Γ (a + k)}{Γ (a)} = a (a + 1) \dots (a + k - 1), k = 0, 1, 2, \dots,

and we restrict its domain to

| z | \leq 1

(with

z \in C

), then we have the classical hypergeometric function, that is

F_{ρ, λ}^{σ} (z) = F (α, β; γ; z) = \sum_{k = 0}^{+ \infty} \frac{{(α)}_{k} {(β)}_{k}}{k! {(γ)}_{k}} z^{k} .

Also, if

σ = (1, 1, \dots)

with

ρ = α, (R e (α) > 0), λ = 1

and if we restrict its domain to

z \in C

in (2) then we have the classical Mittag–Leffler function

E_{α} (z) = \sum_{k = 0}^{+ \infty} \frac{1}{Γ (1 + α k)} z^{k} .

Finally, let us recall the new class of sets and new class of functions involving Raina’s function introduced by Vivas-Cortez et al. in [35]: the so-called generalized

ϕ

-convex set and also the generalized

ϕ

-convex function. The usefulness of this definition lies in the generality of the type of special function focused on. The

σ

ρ

and

λ

parameters determine the particular special function considered. Just as the definition used by Noor in [33] considers the

e^{i ϕ}

function as a parameter, in the framework of complex values, the following definition emulates it in the field of real numbers.

Definition 3.

Let

ρ, λ > 0

and

σ = (σ (0), \dots, σ (k), \dots)

be bounded sequences of positive real numbers. A non empty set K is said to be a generalized ϕ-convex set, if

ℓ_{1} + ı F_{ρ, λ}^{σ} (ℓ_{2} - ℓ_{1}) \in K, \forall ℓ_{1}, ℓ_{2} \in K a n d ı \in [0, 1],

(3)

where

F_{ρ, λ}^{σ} (\cdot)

is Raina’s function.

Definition 4.

Let

ρ, λ > 0

and

σ = (σ (0), \dots, σ (k), \dots)

be bounded sequences of positive real numbers. If a function

f : K \to R

satisfies the following inequality

f (ℓ_{1} + ı F_{ρ, λ}^{σ} (ℓ_{2} - ℓ_{1})) \leq (1 - ı) f (ℓ_{1}) + ı f (ℓ_{2}),

(4)

for all

ı \in [0, 1]

and

ℓ_{1}, ℓ_{2} \in K,

then f is called generalized ϕ-convex.

Remark 1.

Taking

F_{ρ, λ}^{σ} (ℓ_{2} - ℓ_{1}) = ℓ_{2} - ℓ_{1} > 0

in definition 4, then we obtain definition 1. Also, under a suitable choice of

F_{ρ, λ}^{σ} (\cdot),

we find definition 2.

Recently several authors have utilized quantum calculus as a strong tool in establishing other inequalities, see [5,36,37,38,39,40] and the references therein.

We recall now some concepts from quantum calculus. Let

I = [ℓ_{1}, ℓ_{2}] \subseteq R

be an interval and

0 < q < 1

be a constant.

Definition 5.

[39] Let

f : I \to R

be a continuous function and

x \in I .

Then the q-derivative of f on I at x is defined as

_{ℓ_{1}} D_{q} f (x) = \frac{f (x) - f (q x + (1 - q) ℓ_{1})}{(1 - q) (x - ℓ_{1})}, x \neq ℓ_{1},_{ℓ_{1}} D_{q} f (ℓ_{1}) = lim_{x \to ℓ_{1}}_{ℓ_{1}} D_{q} f (x) .

(5)

We say that f is q-differentiable on I provided

_{ℓ_{1}} D_{q} f (x)

exists for all

x \in I .

Note that if

ℓ_{1} = 0

in (5), then

_{ℓ_{1}} D_{q} f = D_{q} f,

where

D_{q}

is the well-known q-derivative of the function

f (x)

defined by

D_{q} f (x) = \frac{f (x) - f (q x)}{(1 - q) x} .

Definition 6.

[39] Let

f : I \to R

be a continuous function. Then the q-integral on I is defined by

\int_{ℓ_{1}}^{x} f (ı)_{ℓ_{1}} d_{q} ı = (1 - q) (x - ℓ_{1}) \sum_{n = 0}^{+ \infty} q^{n} f (q^{n} x + (1 - q^{n}) ℓ_{1}) .

for

x \in I .

Note that if

ℓ_{1} = 0,

then we have the classical q-integral, which is defined by

\int_{0}^{x} f (ı)_{0} d_{q} ı = (1 - q) x \sum_{n = 0}^{+ \infty} q^{n} f (q^{n} x)

for

x \in [0, + \infty) .

Theorem 2.

[39] Assume that

f, g : I \to R

are continuous functions,

c \in R .

Then, for

x \in I,

we have

\int_{ℓ_{1}}^{x} [f (ı) + g (ı)]_{ℓ_{1}} d_{q} ı = \int_{ℓ_{1}}^{x} f (ı)_{ℓ_{1}} d_{q} ı + \int_{ℓ_{1}}^{x} g (ı)_{ℓ_{1}} d_{q} ı;

\int_{ℓ_{1}}^{x} (c f) (ı)_{ℓ_{1}} d_{q} ı = c \int_{ℓ_{1}}^{x} f (ı)_{ℓ_{1}} d_{q} ı .

Definition 7.

[5] For any real number

ℓ_{1},

{[ℓ_{1}]}_{q} = \frac{q^{ℓ_{1}} - 1}{q - 1}

is called the q-analogue of

ℓ_{1} .

In particular, if

n \in Z,

we denote

[n] = \frac{q^{n} - 1}{q - 1} = q^{n - 1} + \dots + q + 1 .

Definition 8.

[5] If

n \in Z,

the q-analogue of

{(x - ℓ_{1})}^{n}

is the polynomial

{(x - ℓ_{1})}_{q}^{n} = \{\begin{matrix} 1, & n = 0; \\ (x - ℓ_{1}) (x - q ℓ_{1}) \dots (x - q^{n - 1} ℓ_{1}), & n \geq 1 . \end{matrix}

Definition 9.

[5] For any

t, s > 0,

β_{q} (t, s) = \int_{0}^{1} ı^{t - 1} {(1 - q ı)}_{q}^{s - 1}_{0} d_{q} ı

is called the q-Beta function. Note that

β_{q} (t, 1) = \int_{0}^{1} ı^{t - 1}_{0} d_{q} ı = \frac{1}{[t]},

where

[t]

is the q-analogue of

t .

Noor M. A. et al. in [31], established the following q-integral identity.

Lemma 1.

Let

f : [ℓ_{1}, ℓ_{2}] \subseteq R \to R

be a q-differentiable function on

(ℓ_{1}, ℓ_{2})

with

_{ℓ_{1}} D_{q} f

be continuous and integrable on

[ℓ_{1}, ℓ_{2}],

where

0 < q < 1 .

Then the following identity holds:

f (x) - \frac{1}{ℓ_{2} - ℓ_{1}} \int_{ℓ_{1}}^{ℓ_{2}} f (ı)_{ℓ_{1}} d_{q} ı = \frac{q {(x - ℓ_{1})}^{2}}{ℓ_{2} - ℓ_{1}} \int_{0}^{1} ı_{ℓ_{1}} D_{q} f (ı x + (1 - ı) ℓ_{1})_{0} d_{q} ı

+ \frac{q {(ℓ_{2} - x)}^{2}}{ℓ_{2} - ℓ_{1}} \int_{0}^{1} ı_{ℓ_{1}} D_{q} f (ı x + (1 - ı) ℓ_{2})_{0} d_{q} ı .

Motivated by the above literatures, the paper is organized as follows: The Main Results section is divided in two subsections; the first is a study about quantum estimates for Ostrowski inequalities using the generalized class of special functions defined by Raina R.K., and the second subsection presents some Ostrowski type inequalities for certain special functions derived from the previous results. We will use an identity for q-differentiable functions involving Raina’s function and applying this identity, we develop some quantum estimates of Ostrowski type inequalities for the generalized

ϕ

-convex function. Various special cases will be obtained.

3. Main Results

This section is subdivided in two subsections. The first is about some quantum estimates for Ostrowski inequalities using the class of functions defined by Raina R.K., and in the second subsection are results about these quantum estimates for the hypergeometric function and the Mittag–Leffler function.

3.1. Quantum Estimates for Ostrowski Inequality

We denote

O = [ℓ_{1}, ℓ_{2}],

for

ℓ_{1} < ℓ_{2},

where

ρ, λ > 0

and

σ = (σ (0), \dots, σ (k), \dots)

is a bounded sequence of positive real numbers. Also, for convenience we denote

d_{q} ı

for

_{0} d_{q} ı,

where

0 < q < 1 .

We first derive a new quantum integral identity for q-differentiable functions involving Raina’s function.

Lemma 2.

Let

f : O \to R

be a q-differentiable function on

O^{\circ}

with

_{ℓ_{1}} D_{q} f

considered continuous and integrable on

O .

Then the following identity holds:

T_{f} (x, ℓ_{1}, ℓ_{2}; q) = \frac{q {[F_{ρ, λ}^{σ} (x - ℓ_{1})]}^{2}}{F_{ρ, λ}^{σ} (x - ℓ_{1}) + F_{ρ, λ}^{σ} (ℓ_{2} - x)} \int_{0}^{1} ı_{ℓ_{1}} D_{q} f (ℓ_{1} + ı F_{ρ, λ}^{σ} (x - ℓ_{1})) d_{q} ı

+ \frac{q {[F_{ρ, λ}^{σ} (ℓ_{2} - x)]}^{2}}{F_{ρ, λ}^{σ} (x - ℓ_{1}) + F_{ρ, λ}^{σ} (ℓ_{2} - x)} \int_{0}^{1} ı_{ℓ_{1}} D_{q} f (ℓ_{2} + ı F_{ρ, λ}^{σ} (x - ℓ_{2})) d_{q} ı,

(6)

where

T_{f} (x, ℓ_{1}, ℓ_{2}; q) = f (x) - \frac{1}{F_{ρ, λ}^{σ} (x - ℓ_{1}) + F_{ρ, λ}^{σ} (ℓ_{2} - x)} \int_{ℓ_{1}}^{ℓ_{1} + F_{ρ, λ}^{σ} (ℓ_{2} - ℓ_{1})} f (ı)_{ℓ_{1}} d_{q} ı .

Proof.

Let denote, respectively,

T_{f}^{(1)} (x, ℓ_{1}, ℓ_{2}; q) = \frac{q {[F_{ρ, λ}^{σ} (x - ℓ_{1})]}^{2}}{F_{ρ, λ}^{σ} (x - ℓ_{1}) + F_{ρ, λ}^{σ} (ℓ_{2} - x)} \int_{0}^{1} ı_{ℓ_{1}} D_{q} f (ℓ_{1} + ı F_{ρ, λ}^{σ} (x - ℓ_{1})) d_{q} ı

and

T_{f}^{(2)} (x, ℓ_{1}, ℓ_{2}; q) = \frac{q {[F_{ρ, λ}^{σ} (ℓ_{2} - x)]}^{2}}{F_{ρ, λ}^{σ} (x - ℓ_{1}) + F_{ρ, λ}^{σ} (ℓ_{2} - x)} \int_{0}^{1} ı_{ℓ_{1}} D_{q} f (ℓ_{2} + ı F_{ρ, λ}^{σ} (x - ℓ_{2})) d_{q} ı .

Then, we have

T_{f} (x, ℓ_{1}, ℓ_{2}; q) = T_{f}^{(1)} (x, ℓ_{1}, ℓ_{2}; q) + T_{f}^{(2)} (x, ℓ_{1}, ℓ_{2}; q) .

Using Definitions 5 and 6, we have

\begin{matrix} T_{f}^{(1)} (x, ℓ_{1}, ℓ_{2}; q) = \frac{q {[F_{ρ, λ}^{σ} (x - ℓ_{1})]}^{2}}{F_{ρ, λ}^{σ} (x - ℓ_{1}) + F_{ρ, λ}^{σ} (ℓ_{2} - x)} \\ \times \int_{0}^{1} ı \frac{f (ℓ_{1} + ı F_{ρ, λ}^{σ} (x - ℓ_{1})) - f (ℓ_{1} + q ı F_{ρ, λ}^{σ} (x - ℓ_{1}))}{(1 - q) ı F_{ρ, λ}^{σ} (x - ℓ_{1})} d_{q} ı \end{matrix}

\begin{matrix} = \frac{F_{ρ, λ}^{σ} (x - ℓ_{1})}{F_{ρ, λ}^{σ} (x - ℓ_{1}) + F_{ρ, λ}^{σ} (ℓ_{2} - x)} \\ \times [\sum_{n = 0}^{+ \infty} q^{n + 1} f (ℓ_{1} + q^{n} F_{ρ, λ}^{σ} (x - ℓ_{1})) - \sum_{n = 0}^{+ \infty} q^{n + 1} f (ℓ_{1} + q^{n + 1} F_{ρ, λ}^{σ} (x - ℓ_{1}))] \end{matrix}

= \frac{F_{ρ, λ}^{σ} (x - ℓ_{1})}{F_{ρ, λ}^{σ} (x - ℓ_{1}) + F_{ρ, λ}^{σ} (ℓ_{2} - x)} f (x) - \frac{1}{F_{ρ, λ}^{σ} (x - ℓ_{1}) + F_{ρ, λ}^{σ} (ℓ_{2} - x)} \int_{ℓ_{1}}^{x} f (ı) d_{q} ı .

(7)

Similarly

\begin{matrix} T_{f}^{(2)} (x, ℓ_{1}, ℓ_{2}; q) = \frac{F_{ρ, λ}^{σ} (ℓ_{2} - x)}{F_{ρ, λ}^{σ} (x - ℓ_{1}) + F_{ρ, λ}^{σ} (ℓ_{2} - x)} f (x) \\ - \frac{1}{F_{ρ, λ}^{σ} (x - ℓ_{1}) + F_{ρ, λ}^{σ} (ℓ_{2} - x)} \int_{x}^{ℓ_{1} + F_{ρ, λ}^{σ} (ℓ_{2} - ℓ_{1})} f (ı) d_{q} ı . \end{matrix}

(8)

Adding (7) and (8), we get (6).

The proof is complete. □

Remark 2.

Taking

q \to 1^{-}

in Lemma 2, we obtain the following new identity:

T_{f} (x, ℓ_{1}, ℓ_{2}) = \frac{{[F_{ρ, λ}^{σ} (x - ℓ_{1})]}^{2}}{F_{ρ, λ}^{σ} (x - ℓ_{1}) + F_{ρ, λ}^{σ} (ℓ_{2} - x)} \int_{0}^{1} ı f^{'} (ℓ_{1} + ı F_{ρ, λ}^{σ} (x - ℓ_{1})) d ı

(9)

+ \frac{{[F_{ρ, λ}^{σ} (ℓ_{2} - x)]}^{2}}{F_{ρ, λ}^{σ} (x - ℓ_{1}) + F_{ρ, λ}^{σ} (ℓ_{2} - x)} \int_{0}^{1} ı f^{'} (ℓ_{2} + ı F_{ρ, λ}^{σ} (x - ℓ_{2})) d ı,

where

T_{f} (x, ℓ_{1}, ℓ_{2}) = f (x) - \frac{1}{F_{ρ, λ}^{σ} (x - ℓ_{1}) + F_{ρ, λ}^{σ} (ℓ_{2} - x)} \int_{ℓ_{1}}^{ℓ_{1} + F_{ρ, λ}^{σ} (ℓ_{2} - ℓ_{1})} f (ı) d ı .

Remark 3.

Letting

ρ = 1, λ = 0

and

σ = (0, 1, 0, 0, \dots)

in Lemma 2 we have

F_{ρ, λ}^{σ} (y - x) = y - x

for all

x, y \in O

, and so we get Lemma 1.

Now, applying Lemma 2, we establish some quantum estimates of Ostrowski type inequalities for generalized

ϕ

-convex functions.

Theorem 3.

Let

f : O \to R

be a q-differentiable function on

O^{\circ}

with

_{ℓ_{1}} D_{q} f

considered continuous and integrable on

O .

|_{ℓ_{1}} D_{q} {f |}^{r}

is generalized as ϕ-convex on O for

r > 1

and

\frac{1}{p} + \frac{1}{r} = 1,

then the following inequality holds:

\begin{matrix} | T_{f} (x, ℓ_{1}, ℓ_{2}; q) | \leq \frac{q}{\sqrt[p]{[p + 1]} (F_{ρ, λ}^{σ} (x - ℓ_{1}) + F_{ρ, λ}^{σ} (ℓ_{2} - x))} \times \\ {{[F_{ρ, λ}^{σ} (x - ℓ_{1})]}^{2} \sqrt[r]{\frac{{q |}_{ℓ_{1}} D_{q} f (ℓ_{1}) |^{r} + {|_{ℓ_{1}} D_{q} f (x) |}^{r}}{1 + q}} \\ + {[F_{ρ, λ}^{σ} (ℓ_{2} - x)]}^{2} \sqrt[r]{\frac{{q |}_{ℓ_{1}} D_{q} f (ℓ_{2}) |^{r} + {|_{ℓ_{1}} D_{q} f (x) |}^{r}}{1 + q}}}, \end{matrix}

(10)

where

[p + 1]

is the q-analogue of

p + 1 .

Proof.

Using Lemma 2, Hölder’s inequality and the fact that

|_{ℓ_{1}} D_{q} {f |}^{r}

is generalized

ϕ

-convex function, we have

\begin{matrix} | T_{f} (x, ℓ_{1}, ℓ_{2}; q) | \\ \leq \frac{q {[F_{ρ, λ}^{σ} (x - ℓ_{1})]}^{2}}{F_{ρ, λ}^{σ} (x - ℓ_{1}) + F_{ρ, λ}^{σ} (ℓ_{2} - x)} \int_{0}^{1} ı |_{ℓ_{1}} D_{q} f (ℓ_{1} + ı F_{ρ, λ}^{σ} (x - ℓ_{1})) | d_{q} ı \\ + \frac{q {[F_{ρ, λ}^{σ} (ℓ_{2} - x)]}^{2}}{F_{ρ, λ}^{σ} (x - ℓ_{1}) + F_{ρ, λ}^{σ} (ℓ_{2} - x)} \int_{0}^{1} ı |_{ℓ_{1}} D_{q} f (ℓ_{2} + ı F_{ρ, λ}^{σ} (x - ℓ_{2})) | d_{q} ı \end{matrix}

\leq \frac{q {[F_{ρ, λ}^{σ} (x - ℓ_{1})]}^{2}}{F_{ρ, λ}^{σ} (x - ℓ_{1}) + F_{ρ, λ}^{σ} (ℓ_{2} - x)} {(\int_{0}^{1} ı^{p} d_{q} ı)}^{\frac{1}{p}} {(\int_{0}^{1} {|_{ℓ_{1}} D_{q} f (ℓ_{1} + ı F_{ρ, λ}^{σ} (x - ℓ_{1})) |}^{r} d_{q} ı)}^{\frac{1}{r}}

\begin{matrix} + \frac{q {[F_{ρ, λ}^{σ} (ℓ_{2} - x)]}^{2}}{F_{ρ, λ}^{σ} (x - ℓ_{1}) + F_{ρ, λ}^{σ} (ℓ_{2} - x)} {(\int_{0}^{1} ı^{p} d_{q} ı)}^{\frac{1}{p}} \times \\ {(\int_{0}^{1} {|_{ℓ_{1}} D_{q} f (ℓ_{2} + ı F_{ρ, λ}^{σ} (x - ℓ_{2})) |}^{r} d_{q} ı)}^{\frac{1}{r}} \end{matrix}

\begin{matrix} \leq \frac{q {[F_{ρ, λ}^{σ} (x - ℓ_{1})]}^{2}}{F_{ρ, λ}^{σ} (x - ℓ_{1}) + F_{ρ, λ}^{σ} (ℓ_{2} - x)} {(\int_{0}^{1} ı^{p} d_{q} ı)}^{\frac{1}{p}} \times \\ {(\int_{0}^{1} [{(1 - ı) |}_{ℓ_{1}} D_{q} f (ℓ_{1}) |^{r} + ı {|_{ℓ_{1}} D_{q} f (x) |}^{r}] d_{q} ı)}^{\frac{1}{r}} \end{matrix}

\begin{matrix} + \frac{q {[F_{ρ, λ}^{σ} (ℓ_{2} - x)]}^{2}}{F_{ρ, λ}^{σ} (x - ℓ_{1}) + F_{ρ, λ}^{σ} (ℓ_{2} - x)} {(\int_{0}^{1} ı^{p} d_{q} ı)}^{\frac{1}{p}} \times \\ {(\int_{0}^{1} [{(1 - ı) |}_{ℓ_{1}} D_{q} f (ℓ_{2}) |^{r} + ı {|_{ℓ_{1}} D_{q} f (x) |}^{r}] d_{q} ı)}^{\frac{1}{r}} \end{matrix}

\begin{matrix} = \frac{q}{\sqrt[p]{[p + 1]}} \times \frac{1}{F_{ρ, λ}^{σ} (x - ℓ_{1}) + F_{ρ, λ}^{σ} (ℓ_{2} - x)} \times \\ {{[F_{ρ, λ}^{σ} (x - ℓ_{1})]}^{2} \sqrt[r]{\frac{{q |}_{ℓ_{1}} D_{q} f (ℓ_{1}) |^{r} + {|_{ℓ_{1}} D_{q} f (x) |}^{r}}{1 + q}} \\ + {[F_{ρ, λ}^{σ} (ℓ_{2} - x)]}^{2} \sqrt[r]{\frac{{q |}_{ℓ_{1}} D_{q} f (ℓ_{2}) |^{r} + {|_{ℓ_{1}} D_{q} f (x) |}^{r}}{1 + q}}} . \end{matrix}

The proof is complete. □

Corollary 1.

Taking the limit when

q \to 1^{-}

in Theorem 3, we obtain

\begin{matrix} | T_{f} (x, ℓ_{1}, ℓ_{2}) | \leq \frac{1}{\sqrt[p]{p + 1} (F_{ρ, λ}^{σ} (x - ℓ_{1}) + F_{ρ, λ}^{σ} (ℓ_{2} - x))} \times \\ \{{[F_{ρ, λ}^{σ} (x - ℓ_{1})]}^{2} \sqrt[r]{\frac{| f^{'} (ℓ_{1}) |^{r} + {| f^{'} (x) |}^{r}}{2}} + {[F_{ρ, λ}^{σ} (ℓ_{2} - x)]}^{2} \sqrt[r]{\frac{| f^{'} (ℓ_{2}) |^{r} + {| f^{'} (x) |}^{r}}{2}}\} . \end{matrix}

(11)

Corollary 2.

Additionally, if

|_{ℓ_{1}} D_{q} f | \leq M

for some

M > 0

in Theorem 3, then the following inequality holds

| T_{f} (x, ℓ_{1}, ℓ_{2}; q) | \leq \frac{q M}{\sqrt[p]{[p + 1]}} [\frac{{[F_{ρ, λ}^{σ} (x - ℓ_{1})]}^{2} + {[F_{ρ, λ}^{σ} (ℓ_{2} - x)]}^{2}}{F_{ρ, λ}^{σ} (x - ℓ_{1}) + F_{ρ, λ}^{σ} (ℓ_{2} - x)}] .

(12)

Remark 4.

Letting

ρ = 1, λ = 0

and

σ = (0, 1, 0, 0, \dots)

in the Raina’s function then we have

F_{ρ, λ}^{σ} (y - x) = y - x

for all

x, y \in O

, so from Corollary 2, we obtain Theorem 3.2 in [31].

Theorem 4.

Let

f : O \to R

be a q-differentiable function on

O^{\circ}

with

_{ℓ_{1}} D_{q} f

considered continuous and integrable on

O .

|_{ℓ_{1}} D_{q} {f |}^{r}

is generalized as ϕ-convex on

O,

then for

r \geq 1,

the following inequality holds:

\begin{matrix} | T_{f} (x, ℓ_{1}, ℓ_{2}; q) | \leq \frac{q}{(1 + q) \sqrt[r]{1 + q + q^{2}} (F_{ρ, λ}^{σ} (x - ℓ_{1}) + F_{ρ, λ}^{σ} (ℓ_{2} - x))} \times \\ {{[F_{ρ, λ}^{σ} (x - ℓ_{1})]}^{2} \sqrt[r]{q^{2} |_{ℓ_{1}} D_{q} f (ℓ_{1}) |^{r} + (1 + q) {|_{ℓ_{1}} D_{q} f (x) |}^{r}} \\ + {[F_{ρ, λ}^{σ} (ℓ_{2} - x)]}^{2} \sqrt[r]{q^{2} |_{ℓ_{1}} D_{q} f (ℓ_{2}) |^{r} + (1 + q) {|_{ℓ_{1}} D_{q} f (x) |}^{r}}} . \end{matrix}

(13)

Proof.

Using Lemma 2, the well-known power mean inequality and the fact that

|_{ℓ_{1}} D_{q} {f |}^{r}

is a generalized

ϕ

-convex function, we have

\begin{matrix} | T_{f} (x, ℓ_{1}, ℓ_{2}; q) | \\ \leq \frac{q {[F_{ρ, λ}^{σ} (x - ℓ_{1})]}^{2}}{F_{ρ, λ}^{σ} (x - ℓ_{1}) + F_{ρ, λ}^{σ} (ℓ_{2} - x)} \int_{0}^{1} ı |_{ℓ_{1}} D_{q} f (ℓ_{1} + ı F_{ρ, λ}^{σ} (x - ℓ_{1})) | d_{q} ı \\ + \frac{q {[F_{ρ, λ}^{σ} (ℓ_{2} - x)]}^{2}}{F_{ρ, λ}^{σ} (x - ℓ_{1}) + F_{ρ, λ}^{σ} (ℓ_{2} - x)} \int_{0}^{1} ı |_{ℓ_{1}} D_{q} f (ℓ_{2} + ı F_{ρ, λ}^{σ} (x - ℓ_{2})) | d_{q} ı \end{matrix}

\leq \frac{q {[F_{ρ, λ}^{σ} (x - ℓ_{1})]}^{2}}{F_{ρ, λ}^{σ} (x - ℓ_{1}) + F_{ρ, λ}^{σ} (ℓ_{2} - x)} {(\int_{0}^{1} ı d_{q} ı)}^{1 - \frac{1}{r}} {(\int_{0}^{1} ı {|_{ℓ_{1}} D_{q} f (ℓ_{1} + ı F_{ρ, λ}^{σ} (x - ℓ_{1})) |}^{r} d_{q} ı)}^{\frac{1}{r}}

+ \frac{q {[F_{ρ, λ}^{σ} (ℓ_{2} - x)]}^{2}}{F_{ρ, λ}^{σ} (x - ℓ_{1}) + F_{ρ, λ}^{σ} (ℓ_{2} - x)} {(\int_{0}^{1} ı d_{q} ı)}^{1 - \frac{1}{r}} {(\int_{0}^{1} ı {|_{ℓ_{1}} D_{q} f (ℓ_{2} + ı F_{ρ, λ}^{σ} (x - ℓ_{2})) |}^{r} d_{q} ı)}^{\frac{1}{r}}

\begin{matrix} \leq \frac{q {[F_{ρ, λ}^{σ} (x - ℓ_{1})]}^{2}}{F_{ρ, λ}^{σ} (x - ℓ_{1}) + F_{ρ, λ}^{σ} (ℓ_{2} - x)} {(\int_{0}^{1} ı d_{q} ı)}^{1 - \frac{1}{r}} \times \\ {(\int_{0}^{1} ı [{(1 - ı) |}_{ℓ_{1}} D_{q} f (ℓ_{1}) |^{r} + ı {|_{ℓ_{1}} D_{q} f (x) |}^{r}] d_{q} ı)}^{\frac{1}{r}} \end{matrix}

\begin{matrix} + \frac{q {[F_{ρ, λ}^{σ} (ℓ_{2} - x)]}^{2}}{F_{ρ, λ}^{σ} (x - ℓ_{1}) + F_{ρ, λ}^{σ} (ℓ_{2} - x)} {(\int_{0}^{1} ı d_{q} ı)}^{1 - \frac{1}{r}} \times \\ {(\int_{0}^{1} ı [{(1 - ı) |}_{ℓ_{1}} D_{q} f (ℓ_{2}) |^{r} + ı {|_{ℓ_{1}} D_{q} f (x) |}^{r}] d_{q} ı)}^{\frac{1}{r}} \end{matrix}

\begin{matrix} = \frac{q}{(1 + q) \sqrt[r]{1 + q + q^{2}}} \times \frac{1}{F_{ρ, λ}^{σ} (x - ℓ_{1}) + F_{ρ, λ}^{σ} (ℓ_{2} - x)} \\ {{[F_{ρ, λ}^{σ} (x - ℓ_{1})]}^{2} \sqrt[r]{q^{2} |_{ℓ_{1}} D_{q} f (ℓ_{1}) |^{r} + (1 + q) {|_{ℓ_{1}} D_{q} f (x) |}^{r}} \\ + {[F_{ρ, λ}^{σ} (ℓ_{2} - x)]}^{2} \sqrt[r]{q^{2} |_{ℓ_{1}} D_{q} f (ℓ_{2}) |^{r} + (1 + q) {|_{ℓ_{1}} D_{q} f (x) |}^{r}}} . \end{matrix}

The proof is complete. □

Corollary 3.

Taking the limit when

q \to 1^{-}

in Theorem 4, we find

\begin{matrix} | T_{f} (x, ℓ_{1}, ℓ_{2}) | \leq \frac{1}{2 [F_{ρ, λ}^{σ} (x - ℓ_{1}) + F_{ρ, λ}^{σ} (ℓ_{2} - x)]} \times \\ \{{[F_{ρ, λ}^{σ} (x - ℓ_{1})]}^{2} \sqrt[r]{\frac{| f^{'} (ℓ_{1}) |^{r} + 2 {| f^{'} (x) |}^{r}}{3}} + {[F_{ρ, λ}^{σ} (ℓ_{2} - x)]}^{2} \sqrt[r]{\frac{| f^{'} (ℓ_{2}) |^{r} + 2 {| f^{'} (x) |}^{r}}{3}}\} . \end{matrix}

(14)

Corollary 4.

Additionally, if

|_{ℓ_{1}} D_{q} f | \leq M

for some

M > 0

in Theorem 4, then we obtain

| T_{f} (x, ℓ_{1}, ℓ_{2}; q) | \leq \frac{q M}{1 + q} [\frac{{[F_{ρ, λ}^{σ} (x - ℓ_{1})]}^{2} + {[F_{ρ, λ}^{σ} (ℓ_{2} - x)]}^{2}}{F_{ρ, λ}^{σ} (x - ℓ_{1}) + F_{ρ, λ}^{σ} (ℓ_{2} - x)}] .

(15)

Remark 5.

Letting

ρ = 1, λ = 0

and

σ = (0, 1, 0, 0, \dots)

in Raina’s function then we have

F_{ρ, λ}^{σ} (y - x) = y - x

for all

x, y \in O

, so from Corollary 4 we obtain Theorem 3.1 in [31].

Theorem 5.

Let

f : O \to R

be a q-differentiable function on

O^{\circ}

with

_{ℓ_{1}} D_{q} f

considered continuous and integrable on

O .

|_{ℓ_{1}} D_{q} {f |}^{r}

is generalized as ϕ-convex on

O,

then for

r \geq 1,

the following inequality holds:

\begin{matrix} | T_{f} (x, ℓ_{1}, ℓ_{2}; q) | \leq \frac{q}{F_{ρ, λ}^{σ} (x - ℓ_{1}) + F_{ρ, λ}^{σ} (ℓ_{2} - x)} {(\frac{1 - q}{1 - q^{r + 2}})}^{1 / r} \times \\ {{[F_{ρ, λ}^{σ} (x - ℓ_{1})]}^{2} \sqrt[r]{\frac{q^{r} (q - 1)}{q^{r + 1} - 1} |_{ℓ_{1}} D_{q} f (ℓ_{1}) |^{r} + {|_{ℓ_{1}} D_{q} f (x) |}^{r}} \\ + {[F_{ρ, λ}^{σ} (ℓ_{2} - x)]}^{2} \sqrt[r]{\frac{q^{r} (q - 1)}{q^{r + 1} - 1} |_{ℓ_{1}} D_{q} f (ℓ_{2}) |^{r} + {|_{ℓ_{1}} D_{q} f (x) |}^{r}}} . \end{matrix}

(16)

Proof.

Using Lemma 2, the well-known power mean inequality and the fact that

|_{ℓ_{1}} D_{q} {f |}^{r}

is a generalized

ϕ

-convex function, we have

\begin{matrix} | T_{f} (x, ℓ_{1}, ℓ_{2}; q) | \\ \leq \frac{q {[F_{ρ, λ}^{σ} (x - ℓ_{1})]}^{2}}{F_{ρ, λ}^{σ} (x - ℓ_{1}) + F_{ρ, λ}^{σ} (ℓ_{2} - x)} \int_{0}^{1} ı |_{ℓ_{1}} D_{q} f (ℓ_{1} + ı F_{ρ, λ}^{σ} (x - ℓ_{1})) | d_{q} ı \\ + \frac{q {[F_{ρ, λ}^{σ} (ℓ_{2} - x)]}^{2}}{F_{ρ, λ}^{σ} (x - ℓ_{1}) + F_{ρ, λ}^{σ} (ℓ_{2} - x)} \int_{0}^{1} ı |_{ℓ_{1}} D_{q} f (ℓ_{2} + ı F_{ρ, λ}^{σ} (x - ℓ_{2})) | d_{q} ı \end{matrix}

\begin{matrix} \leq \frac{q {[F_{ρ, λ}^{σ} (x - ℓ_{1})]}^{2}}{F_{ρ, λ}^{σ} (x - ℓ_{1}) + F_{ρ, λ}^{σ} (ℓ_{2} - x)} \times \\ {(\int_{0}^{1} d_{q} ı)}^{1 - \frac{1}{r}} {(\int_{0}^{1} ı^{r} {|_{ℓ_{1}} D_{q} f (ℓ_{1} + ı F_{ρ, λ}^{σ} (x - ℓ_{1})) |}^{r} d_{q} ı)}^{\frac{1}{r}} \end{matrix}

\begin{matrix} + \frac{q {[F_{ρ, λ}^{σ} (ℓ_{2} - x)]}^{2}}{F_{ρ, λ}^{σ} (x - ℓ_{1}) + F_{ρ, λ}^{σ} (ℓ_{2} - x)} \times \\ {(\int_{0}^{1} d_{q} ı)}^{1 - \frac{1}{r}} {(\int_{0}^{1} ı^{r} {|_{ℓ_{1}} D_{q} f (ℓ_{2} + ı F_{ρ, λ}^{σ} (x - ℓ_{2})) |}^{r} d_{q} ı)}^{\frac{1}{r}} \end{matrix}

\begin{matrix} \leq \frac{q {[F_{ρ, λ}^{σ} (x - ℓ_{1})]}^{2}}{F_{ρ, λ}^{σ} (x - ℓ_{1}) + F_{ρ, λ}^{σ} (ℓ_{2} - x)} \times \\ {(\int_{0}^{1} d_{q} ı)}^{1 - \frac{1}{r}} {(\int_{0}^{1} ı^{r} [{(1 - ı) |}_{ℓ_{1}} D_{q} f (ℓ_{1}) |^{r} + ı {|_{ℓ_{1}} D_{q} f (x) |}^{r}] d_{q} ı)}^{\frac{1}{r}} \end{matrix}

\begin{matrix} + \frac{q {[F_{ρ, λ}^{σ} (ℓ_{2} - x)]}^{2}}{F_{ρ, λ}^{σ} (x - ℓ_{1}) + F_{ρ, λ}^{σ} (ℓ_{2} - x)} \times \\ {(\int_{0}^{1} d_{q} ı)}^{1 - \frac{1}{r}} {(\int_{0}^{1} ı^{r} [{(1 - ı) |}_{ℓ_{1}} D_{q} f (ℓ_{2}) |^{r} + ı {|_{ℓ_{1}} D_{q} f (x) |}^{r}] d_{q} ı)}^{\frac{1}{r}} \end{matrix}

\begin{matrix} = \frac{q}{F_{ρ, λ}^{σ} (x - ℓ_{1}) + F_{ρ, λ}^{σ} (ℓ_{2} - x)} {(\frac{1 - q}{1 - q^{r + 2}})}^{1 / r} \times \\ {{[F_{ρ, λ}^{σ} (x - ℓ_{1})]}^{2} \sqrt[r]{\frac{q^{r} (1 - q)}{1 - q^{r + 1}} |_{ℓ_{1}} D_{q} f (ℓ_{1}) |^{r} + {|_{ℓ_{1}} D_{q} f (x) |}^{r}} \\ + {[F_{ρ, λ}^{σ} (ℓ_{2} - x)]}^{2} \sqrt[r]{\frac{q^{r} (1 - q)}{1 - q^{r + 1}} |_{ℓ_{1}} D_{q} f (ℓ_{2}) |^{r} + {|_{ℓ_{1}} D_{q} f (x) |}^{r}}} . \end{matrix}

The proof is complete. □

Corollary 5.

Taking the limit when

q \to 1^{-}

in Theorem 5, we find

| T_{f} (x, ℓ_{1}, ℓ_{2}) | \leq \frac{1}{{(r + 2)}^{1 / r} (F_{ρ, λ}^{σ} (x - ℓ_{1}) + F_{ρ, λ}^{σ} (ℓ_{2} - x))} \times

(17)

{{[F_{ρ, λ}^{σ} (x - ℓ_{1})]}^{2} \sqrt[r]{\frac{1}{r + 1} | f^{'} (ℓ_{1}) |^{r} + {| f^{'} (x) |}^{r}}

+ {[F_{ρ, λ}^{σ} (ℓ_{2} - x)]}^{2} \sqrt[r]{\frac{1}{r + 1} | f^{'} (ℓ_{2}) |^{r} + {| f^{'} (x) |}^{r}}} .

Corollary 6.

Additionally, if

|_{ℓ_{1}} D_{q} f | \leq M

for some

M > 0

in Theorem 5, then we have

| T_{f} (x, ℓ_{1}, ℓ_{2}; q) |

\leq M q \sqrt[r]{(\frac{q - 1}{q^{r + 2} - 1}) (\frac{q^{r} (q - 1)}{q^{r + 1} - 1} + 1)} [\frac{{[F_{ρ, λ}^{σ} (x - ℓ_{1})]}^{2} + {[F_{ρ, λ}^{σ} (ℓ_{2} - x)]}^{2}}{F_{ρ, λ}^{σ} (x - ℓ_{1}) + F_{ρ, λ}^{σ} (ℓ_{2} - x)}] .

Remark 6.

Letting

ρ = 1, λ = 0

and

σ = (0, 1, 0, 0, \dots)

in Raina’s function, then we have

F_{ρ, λ}^{σ} (y - x) = y - x

for all

x, y \in O

. In Corollary 6, we find

| T_{f} (x, ℓ_{1}, ℓ_{2}; q) | \leq M q \sqrt[r]{(\frac{q - 1}{q^{r + 2} - 1}) (\frac{q^{r} (q - 1)}{q^{r + 1} - 1} + 1)} [\frac{{(x - ℓ_{1})}^{2} + {(ℓ_{2} - x)}^{2}}{ℓ_{2} - ℓ_{1}}] .

3.2. Quantum Estimates Using the Hypergeometric and Mittag–Leffler Functions

As it was mentioned in the Preliminaries section, for a particular selection of choices for the parameters

ρ, λ

, and

σ

in Raina’s function (2), it is possible to find expressions using the hypergeometric function and the Mittag–Leffler function, between others, so we can establish similar results to those found in the Main Results section for these special functions.

3.2.1. For the Hypergeometric Function

Letting in (2)

ρ = 1, λ = 0

and

σ (k) = \frac{({(α)}_{k} {(β)}_{k})}{{(γ)}_{k}} for k = 0, 1, 2, \dots,

then from Lemma 2, Theorem 3, Theorem 4, and Theorem 5, the following results hold.

Lemma 3.

Let

f : O \to R

be a q-differentiable function on

O^{\circ}

with

_{ℓ_{1}} D_{q} f

considered continuous and integrable on

O .

Then the following identity holds:

\begin{matrix} T_{f} (x, ℓ_{1}, ℓ_{2}; q) \\ = \frac{q {[F (α, β; γ; x - ℓ_{1})]}^{2}}{F (α, β; γ; x - ℓ_{1}) + F (α, β; γ; ℓ_{2} - x)} \int_{0}^{1} ı_{ℓ_{1}} D_{q} f (ℓ_{1} + ı F (α, β; γ; x - ℓ_{1}) d_{q} ı \\ + \frac{q {[F (α, β; γ; ℓ_{2} - x)]}^{2}}{F (α, β; γ; ℓ_{1} - x) + F (α, β; γ; ℓ_{2} - x)} \int_{0}^{1} ı_{ℓ_{1}} D_{q} f (ℓ_{2} + ı F (α, β; γ; x - ℓ_{2}) d_{q} ı, \end{matrix}

where

T_{f} (x, ℓ_{1}, ℓ_{2}; q) = f (x) - \frac{1}{F_{ρ, λ}^{σ} (x - ℓ_{1}) + F_{ρ, λ}^{σ} (ℓ_{2} - x)} \int_{ℓ_{1}}^{ℓ_{1} + F (α, β; γ; ℓ_{2} - ℓ_{1})} f (ı)_{ℓ_{1}} d_{q} ı .

Theorem 6.

Let

f : O \to R

be a q-differentiable function on

O^{\circ}

with

_{ℓ_{1}} D_{q} f

considered continuous and integrable on

O .

|_{ℓ_{1}} D_{q} {f |}^{r}

is generalized as ϕ-convex on O for

r > 1

and

\frac{1}{p} + \frac{1}{r} = 1,

then the following inequality holds:

\begin{matrix} | T_{f} (x, ℓ_{1}, ℓ_{2}; q) | \leq \frac{q}{\sqrt[p]{[p + 1]} (F (α, β; γ; x - ℓ_{1}) + F (α, β; γ; ℓ_{2} - x))} \times \\ {{[F (α, β; γ; x - ℓ_{1})]}^{2} \sqrt[r]{\frac{{q |}_{ℓ_{1}} D_{q} f (ℓ_{1}) |^{r} + {|_{ℓ_{1}} D_{q} f (x) |}^{r}}{1 + q}} \\ + {[F (α, β; γ; ℓ_{2} - x)]}^{2} \sqrt[r]{\frac{{q |}_{ℓ_{1}} D_{q} f (ℓ_{2}) |^{r} + {|_{ℓ_{1}} D_{q} f (x) |}^{r}}{1 + q}}}, \end{matrix}

where

[p + 1]

is the q-analogue of

p + 1 .

Theorem 7.

Let

f : O \to R

be a q-differentiable function on

O^{\circ}

with

_{ℓ_{1}} D_{q} f

considered continuous and integrable on

O .

|_{ℓ_{1}} D_{q} {f |}^{r}

is generalized as ϕ-convex on

O,

then for

r \geq 1,

the following inequality holds:

\begin{matrix} | T_{f} (x, ℓ_{1}, ℓ_{2}; q) | \leq \frac{q}{(1 + q) \sqrt[r]{1 + q + q^{2}} (F (α, β; γ; x - ℓ_{1}) + F (α, β; γ; ℓ_{2} - x))} \times \\ {{[F (α, β; γ; x - ℓ_{1})]}^{2} \sqrt[r]{q^{2} |_{ℓ_{1}} D_{q} f (ℓ_{1}) |^{r} + (1 + q) {|_{ℓ_{1}} D_{q} f (x) |}^{r}} \\ + {[F (α, β; γ; ℓ_{2} - x))]}^{2} \sqrt[r]{q^{2} |_{ℓ_{1}} D_{q} f (ℓ_{2}) |^{r} + (1 + q) {|_{ℓ_{1}} D_{q} f (x) |}^{r}}} . \end{matrix}

Theorem 8.

Let

f : O \to R

be a q-differentiable function on

O^{\circ}

with

_{ℓ_{1}} D_{q} f

be continuous and integrable on

O .

|_{ℓ_{1}} D_{q} {f |}^{r}

is generalized ϕ-convex on

O,

then for

r \geq 1,

the following inequality holds:

\begin{matrix} | T_{f} (x, ℓ_{1}, ℓ_{2}; q) | \leq \frac{q}{F (α, β; γ; x - ℓ_{1}) + F (α, β; γ; ℓ_{2} - x)} {(\frac{q - 1}{q^{r + 2} - 1})}^{1 / r} \times \\ {{[F (α, β; γ; x - ℓ_{1})]}^{2} \sqrt[r]{\frac{q^{r} (q - 1)}{q^{r + 1} - 1} |_{ℓ_{1}} D_{q} f (ℓ_{1}) |^{r} + (q + 1) {|_{ℓ_{1}} D_{q} f (x) |}^{r}} \\ + {[F (α, β; γ; ℓ_{2} - x)]}^{2} \sqrt[r]{\frac{q^{r} (q - 1)}{q^{r + 1} - 1} |_{ℓ_{1}} D_{q} f (ℓ_{2}) |^{r} + (q + 1) {|_{ℓ_{1}} D_{q} f (x) |}^{r}}} . \end{matrix}

3.2.2. For the Mittag-Leffler Function

Letting

ρ = α, R e (α) > 0

λ = 1

and

σ = (1, 1, 1, \dots)

in (2), then from Lemma 2, Theorem 3, Theorem 4, and Theorem 5, the following results hold.

Lemma 4.

Let

f : O \to R

be a q-differentiable function on

O^{\circ}

with

_{ℓ_{1}} D_{q} f

considered continuous and integrable on

O .

Then the following identity holds:

\begin{matrix} T_{f} (x, ℓ_{1}, ℓ_{2}; q) = \frac{q {[E_{α} (x - ℓ_{1})]}^{2}}{E_{α} (x - ℓ_{1}) + E_{α} (ℓ_{2} - x)} \int_{0}^{1} ı_{ℓ_{1}} D_{q} f (ℓ_{1} + ı E_{α} (x - ℓ_{1})) d_{q} ı \\ + \frac{q {[E_{α} (ℓ_{2} - x)]}^{2}}{E_{α} (x - ℓ_{1}) + E_{α} (ℓ_{2} - x)} \int_{0}^{1} ı_{ℓ_{1}} D_{q} f (ℓ_{2} + ı E_{α} (x - ℓ_{2}) d_{q} ı, \end{matrix}

where

T_{f} (x, ℓ_{1}, ℓ_{2}; q) = f (x) - \frac{1}{E_{α} (x - ℓ_{1}) + E_{α} (ℓ_{2} - x)} \int_{ℓ_{1}}^{ℓ_{1} + E_{α} (ℓ_{2} - ℓ_{1})} f (ı)_{ℓ_{1}} d_{q} ı .

Theorem 9.

Let

f : O \to R

be a q-differentiable function on

O^{\circ}

with

_{ℓ_{1}} D_{q} f

considered continuous and integrable on

O .

|_{ℓ_{1}} D_{q} {f |}^{r}

is generalized as ϕ-convex on O for

r > 1

and

\frac{1}{p} + \frac{1}{r} = 1,

then the following inequality holds:

\begin{matrix} | T_{f} (x, ℓ_{1}, ℓ_{2}; q) | \leq \frac{q}{\sqrt[p]{[p + 1]} (E_{α} (x - ℓ_{1}) + E_{α} (ℓ_{2} - x))} \times \\ {{[E_{α} (x - ℓ_{1})]}^{2} \sqrt[r]{\frac{{q |}_{ℓ_{1}} D_{q} f (ℓ_{1}) |^{r} + {|_{ℓ_{1}} D_{q} f (x) |}^{r}}{1 + q}} \\ + {[E_{α} (ℓ_{2} - x)]}^{2} \sqrt[r]{\frac{{q |}_{ℓ_{1}} D_{q} f (ℓ_{2}) |^{r} + {|_{ℓ_{1}} D_{q} f (x) |}^{r}}{1 + q}}}, \end{matrix}

where

[p + 1]

is the q-analogue of

p + 1 .

Theorem 10.

Let

f : O \to R

be a q-differentiable function on

O^{\circ}

with

_{ℓ_{1}} D_{q} f

considered continuous and integrable on

O .

|_{ℓ_{1}} D_{q} {f |}^{r}

is generalized as ϕ-convex on

O,

then for

r \geq 1,

the following inequality holds:

\begin{matrix} | T_{f} (x, ℓ_{1}, ℓ_{2}; q) | \leq \frac{q}{(1 + q) \sqrt[r]{1 + q + q^{2}} (E_{α} (x - ℓ_{1}) + E_{α} (ℓ_{2} - x))} \times \\ {{[E_{α} (x - ℓ_{1})]}^{2} \sqrt[r]{q^{2} |_{ℓ_{1}} D_{q} f (ℓ_{1}) |^{r} + (1 + q) {|_{ℓ_{1}} D_{q} f (x) |}^{r}} \\ + {[E_{α} (ℓ_{2} - x))]}^{2} \sqrt[r]{q^{2} |_{ℓ_{1}} D_{q} f (ℓ_{2}) |^{r} + (1 + q) {|_{ℓ_{1}} D_{q} f (x) |}^{r}}} . \end{matrix}

Theorem 11.

Let

f : O \to R

be a q-differentiable function on

O^{\circ}

with

_{ℓ_{1}} D_{q} f

considered continuous and integrable on

O .

|_{ℓ_{1}} D_{q} {f |}^{r}

is generalized as ϕ-convex on

O,

then for

r \geq 1,

the following inequality holds:

\begin{matrix} | T_{f} (x, ℓ_{1}, ℓ_{2}; q) | \leq \frac{q}{E_{α} (x - ℓ_{1}) + E_{α} (ℓ_{2} - x)} {(\frac{q - 1}{q^{r + 2} - 1})}^{1 / r} \times \\ {{[E_{α} (x - ℓ_{1})]}^{2} \sqrt[r]{\frac{q^{r} (q - 1)}{q^{r + 1} - 1} |_{ℓ_{1}} D_{q} f (ℓ_{1}) |^{r} + (q + 1) {|_{ℓ_{1}} D_{q} f (x) |}^{r}} \\ + {[E_{α} (ℓ_{2} - x)]}^{2} \sqrt[r]{\frac{q^{r} (q - 1)}{q^{r + 1} - 1} |_{ℓ_{1}} D_{q} f (ℓ_{2}) |^{r} + (q + 1) {|_{ℓ_{1}} D_{q} f (x) |}^{r}}} . \end{matrix}

4. Conclusions

In the present study, certain new Ostrowski type inequalities have been established: Theorems 3–5, through the use of the identity established in Lemma 2, within the framework of quantum calculus and a class of parametrized special functions. From these results, particular cases for hypergeometric and Mittag–Leffler functions have been deduced. It is expected that from the results obtained, and following the methodology applied, additional special functions may also be evaluated. Future works can be developed in the area of numerical analysis and even contributions using quantum algorithms, using the theorems and corollaries presented. Finally, our results can be applied to derive some inequalities using special means. We omit their proof and the details are left to the interested reader.

Author Contributions

All authors contributed equally in the preparation of the present work: the theorems and corollaries M.J.V.-C., A.K., R.L. and J.E.H.H., the review of the articles and books cited M.J.V.-C., A.K., R.L. and J.E.H.H.; formal analysis M.J.V.-C., A.K., R.L. and J.E.H.H.; writing–original draft preparation and writing–review and editing M.J.V.-C., A.K., R.L. and J.E.H.H.

Funding

This research was funded by Dirección de Investigación from Pontificia Universidad Católica del Ecuador as a part of the research project entitled: Some inequalities using generalized convexity.

Acknowledgments

Miguel J. Vivas-Cortez thanks to Dirección de Investigación from Pontificia Universidad Católica del Ecuador and Jorge E. Hernández Hernández thanks to Consejo de Desarrollo Científico, Humanístico y Tecnológico from Universidad Centroccidental Lisandro Alvarado (Venezuela) for the technical support given in the development of the present article, the first under the project entitled: Algunas desigualdades de funciones convexas generalizadas (Some inequalities of generalized convex functions). Also, all the authors thanks to the appointed referees for their appropriate comments in the evaluation of this work and to the editorial team from Symmetry for the serious and responsible work performed.

Conflicts of Interest

The authors declare no conflict of interest.

References

Jackson, F.H. On a q-definite integrals. Q. J. Pure Appl. Math. 1910, 41, 193–203. [Google Scholar]
Ernst, T. The different tongues of q-calculus. Proc. Eston. Acad. Sci. 2008, 57, 81–99. [Google Scholar] [CrossRef]
Ernst, T. A Comprehensive Treatment of q-Calculus; Springer: Basel, Switzerland, 2012. [Google Scholar]
Gauchman, H. Integral Inequalities in q-Calculus. Comp. Math. Appl. 2004, 47, 281–300. [Google Scholar] [CrossRef] [Green Version]
Kac, V.; Cheung, P. Quantum Calculus; Universitext Springer: New York, NY, USA, 2002. [Google Scholar]
Ismail, M.E.H. Classical and Quantum Orthogonal Polynomials in One Variable; Cambridge University Press: Cambridge, UK, 2005. [Google Scholar]
Ismail, M.E.H.; Mansour, Z.C.I. q-analogues of Freud weights and nonlinear difference equations. Adv. Appl. Math. 2010, 45, 518–547. [Google Scholar] [CrossRef] [Green Version]
Brahim, K.; Taf, S.; Nefzi, B. New Integral Inequalities in Quantum Calculus. Int. J. Anal. Appl. 2015, 7, 50–58. [Google Scholar]
Mirković, T.Z.; Tric̆ković, S.B.; Stanković, M.S. Opial inequality in q-calculus. J. Ineq. Appl. 2018, 2018, 1–8. [Google Scholar] [CrossRef] [Green Version]
Niculescu, C.P. An invitation to convex function theory. In Order Structures in Functional Analysis; Editura Academiei Romane: Bucharest, Romania, 2001. [Google Scholar]
Bennett, C.; Sharpley, R. Interpolation of Operators; Academic Press: Boston, MA, USA, 1998. [Google Scholar]
Nguyen, N.A.; Gulan, M.; Olaru, S.; Averbe, P.R. Convex Lifting: Theory and Control Applications. IEEE Trans. Autom. Control 2010, 63, 1–16. [Google Scholar] [CrossRef]
Mititelu, Ş.; Trenţă, S. Efficiency conditions in vector control problems governed by multiple integrals. J. Appl. Math. Comp. 2018, 57, 647–665. [Google Scholar] [CrossRef]
Trenţă, S. On a New Class of Vector Variational Control Problems. Num. Funct. Anal. Optimi. 2018, 39, 1594–1603. [Google Scholar] [CrossRef]
Trenţă, S. KT-geodesic pseudoinvex control problems governed by multiple integrals. J. Nonlin. Conv. Anal. 2019, 20, 73–84. [Google Scholar]
Jensen, J.L.W.V. Om konvexe Funktioner og Uligheder mellen Middelvaerdier. Nyt. Tidsskr. Math. 1905, 16, 49–69. [Google Scholar]
Jensen, J.L.W.V. Sur les fonctions convexes et les inegalités entre les valeurs moyennes. Acta Math. 1906, 30, 175–193. [Google Scholar] [CrossRef]
Alomari, M.; Darus, M.; Dragomir, S.S.; Cerone, P. Ostrowski type inequalities for functions whose derivatives are s-convex in the second sense. Appl. Math. Lett. 2010, 23, 1071–1076. [Google Scholar] [CrossRef]
Akdemir, A.O.; Özdemir, M.E. Some Hadamard-type inequalities for coordinated P-convex functions and Godunova-Levin functions. AIP Conf. Proc. 2010, 1309, 7–15. [Google Scholar]
Liu, W.; Wen, W.; Park, J. Hermite-Hadamard type inequalities for MT-convex functions via classical integrals and fractional integrals. J. Nonlinear Sci. Appl. 2016, 9, 766–777. [Google Scholar] [CrossRef]
Hernández Hernández, J.E. On Some New Integral Inequalities Related with the Hermite-Hadamard Inequality via h-Convex Functions. MAYFEB J. Math. 2017, 4, 1–12. [Google Scholar]
Hernández Hernández, J.E. On log-(m,h₁,h₂)-convex functions and related integral inequalities. Int. J. Open Prob. Compt. Math. 2019, 12, 43–59. [Google Scholar]
Vivas-Cortez, M.J.; García, C.; Hernández Hernández, J.E. Ostrowski-Type Inequalities for Functions Whose Derivative Modulus is Relatively (m,h₁,h₂)-Convex. Appl. Math. Inf. Sci. 2019, 13, 369–378. [Google Scholar]
Vivas-Cortez, M.J.; García, C.; Hernández Hernández, J.E. Ostrowski Type Inequalities for Functions Whose Derivative Modulus is Relatively Convex. Appl. Math. Inf. Sci. 2019, 13, 1–7. [Google Scholar]
Vivas-Cortez, M.J.; Hernández Hernández, J.E. Hermite-Hadamard inequalities type for Raina’s fractional integral operator using η-convex functions. Revista Matemática: Teoría y Aplicaciones 2019, 26, 1–19. [Google Scholar]
Vivas-Cortez, M.J.; Hernández Hernández, J.E. Ostrowski and Jensen type inequalities via (s,m)-convex functions in the second sense. Boletin de la Sociedad Matemática Mexicana 2019, in press. [Google Scholar]
Dragomir, S.S.; Rassias, T.M. Ostrowski Type Inequalities and Applications in Numerical Integration; Springer: Cham, The Netherlandz, 2002. [Google Scholar]
Alomari, M.; Darus, M. Some Ostrowski type inequalities for quasi-convex functions with applications to special means. RGMIA Res. Rep. Coll. 2010, 13, 1–15. [Google Scholar]
Cerone, P.; Dragomir, S.S. Ostrowski type inequalities for functions whose derivative satisfy certain convexity assumptions. Demonstr. Math. 2004, 37, 299–308. [Google Scholar] [CrossRef] [Green Version]
Hernández Hernández, J.E. Ostrowski type fractional integral operator inequalities for (m,h₁,h₂)-convex functions. MAYFEB J. Math. 2017, 4, 13–28. [Google Scholar]
Noor, M.A.; Awan, M.U.; Noor, K.I. Quantum Ostrowski inequalities for q-differentiable convex functions. J. Math. Inequal. 2016, 10, 1013–1018. [Google Scholar] [CrossRef]
Tomar, M.; Agarwal, P.; Jleli, M.; Samet, B. Certain Ostrowski type inequalities for generalized s-convex functions. J. Nonlinear Sci. Appl. 2017, 10, 5947–5957. [Google Scholar] [CrossRef] [Green Version]
Noor, M.A. Some new classes of non-convex functions. Nonlinear Funct. Anal. Appl. 2006, 11, 165–171. [Google Scholar]
Raina, R.K. On generalized Wright’s hypergeometric functions and fractional calculus operators. East Asian Math. J. 2005, 21, 191–203. [Google Scholar]
Vivas-Cortez, M.J.; Liko, R.; Kashuri, A.; Hernández Hernández, J.E. New quantum estimates of trapezium-type inequalities for generalized ϕ-convex functions. Mathematics 2019, in press. [Google Scholar] [CrossRef] [Green Version]
Alp, N.; Sarikaya, M.Z.; Kunt, M.; İscan, İ. q-Hermite Hadamard inequalities and quantum estimates for midpoint type inequalities via convex and quasi-convex functions. J. King Saud Univ. Sci. 2018, 30, 193–203. [Google Scholar] [CrossRef] [Green Version]
Liu, W.J.; Zhuang, H.F. Some quantum estimates of Hermite-Hadamard inequalities for convex functions. J. Appl. Anal. Comput. 2017, 7, 501–522. [Google Scholar]
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]
Tariboon, J.; Ntouyas, S.K. Quantum integral inequalities on finite intervals. J. Inequal. Appl. 2014, 2014, 1–13. [Google Scholar] [CrossRef] [Green Version]
Zhuang, H.; Liu, W.; Park, J. Some quantum estimates of Hermite-Hadamard inequalities for quasi-convex functions. Mathematics 2019, 7, 152. [Google Scholar] [CrossRef] [Green Version]

© 2019 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/).

Share and Cite

MDPI and ACS Style

Vivas-Cortez, M.J.; Kashuri, A.; Liko, R.; Hernández, J.E.H. Quantum Estimates of Ostrowski Inequalities for Generalized ϕ-Convex Functions. Symmetry 2019, 11, 1513. https://doi.org/10.3390/sym11121513

AMA Style

Vivas-Cortez MJ, Kashuri A, Liko R, Hernández JEH. Quantum Estimates of Ostrowski Inequalities for Generalized ϕ-Convex Functions. Symmetry. 2019; 11(12):1513. https://doi.org/10.3390/sym11121513

Chicago/Turabian Style

Vivas-Cortez, Miguel J., Artion Kashuri, Rozana Liko, and Jorge E. Hernández Hernández. 2019. "Quantum Estimates of Ostrowski Inequalities for Generalized ϕ-Convex Functions" Symmetry 11, no. 12: 1513. https://doi.org/10.3390/sym11121513

APA Style

Vivas-Cortez, M. J., Kashuri, A., Liko, R., & Hernández, J. E. H. (2019). Quantum Estimates of Ostrowski Inequalities for Generalized ϕ-Convex Functions. Symmetry, 11(12), 1513. https://doi.org/10.3390/sym11121513

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Menu

Quantum Estimates of Ostrowski Inequalities for Generalized ϕ-Convex Functions

Abstract

1. Introduction

2. Preliminaries

3. Main Results

3.1. Quantum Estimates for Ostrowski Inequality

3.2. Quantum Estimates Using the Hypergeometric and Mittag–Leffler Functions

3.2.1. For the Hypergeometric Function

3.2.2. For the Mittag-Leffler Function

4. Conclusions

Author Contributions

Funding

Acknowledgments

Conflicts of Interest

References

Share and Cite

Article Metrics

Article Access Statistics

Further Information

Guidelines

MDPI Initiatives

Follow MDPI