Acta Universitatis Apulensis No.

27/2011
ISSN: 1582-5329 pp. 109-114

ON SOME FENG QI TYPE Q-INTEGRAL INEQUALITIES

Valmir Krasniqi, Toufik Mansour, Armend Sh. Shabani

Abstract. In this paper are given several Feng Qi type q-integral inequalities,
by using elementary analytic methods in Quantum Calculus.

2000 Mathematics Subject Classification: 33D05, 26D10, 26D15, 81P99

1. Introduction

In [7] the following problem was posed: Under what conditions does the inequal-
ity
Z b hZ b it−1
t
[f (x)] dx ≥ f (x)dx (1.1)
a a
holds for t > 1? In [1] has been proved the following: Let [a, b] be a closed interval
of R and let p ≥ 1 be a real number. For any real continuous function f on [a, b],
differentiable on ]a, b[, such that f (a) ≥ 0, and f 0 (x) ≥ p for all x ∈]a, b[, we have
that Z b
1 hZ b ip+1
p+2
[f (x)] dx ≥ f (x)dx . (1.2)
a (b − a)p−1 a
In [2] has obtained the q-analogue of the previous result as follows. Let p ≥ 1 be
a real number and f a function defined on [a, b]q (see below for the definitions and
notation), such that f (a) ≥ 0, and Dq f (x) ≥ p for all x ∈ (a, b]q . Then
Z b Z b
p+2 1 h ip+1
[f (x)] dq x ≥ f (qx)dq x . (1.3)
a (b − a)p−1 a

The aim of this paper is to extend this result. This paper will also provide some
more sufficient conditions such that inequalities presented in [6] are valid.

109
V. Krasniqi, T. Mansour, A. Shabani - On some F. Qi type q-integral inequalities

2. Notations and preliminaries

For the convenience of the reader, we provide a summary of notations and defi-
nitions used in this paper. For details, one may refer to [3] and [5].
Let q ∈ (0, 1). The q-analog of the derivative of a function f , denoted by Dq f is
given by
f (x) − f (qx)
Dq f (x) = , x 6= 0. (2.4)
(1 − q)x
If f 0 (0) exists, then Dq f (0) = f 0 (0). As q tends to 1− , the q-derivative reduces to
the usual derivative.
The q-Jackson integral from 0 to a ∈ R is defined by (see [4])
Z a X∞
f (x)dq x = (1 − q)a f (aq n )q n . (2.5)
0 n=0

The q-Jackson integral on a general interval [a, b] may be defined by (see [5])
Z b Z b Z a
f (x)dq x = f (x)dq x − f (x)dq x. (2.6)
a 0 0
For any function f one has
Z x 
Dq f (t)dq t = f (x). (2.7)
a
For b > 0 and a = bq n , n ∈ N denote
[a, b]q = {bq k : 0 ≤ k ≤ n}; (a, b]q = [q −1 a, b]q .

3. Main Results
In order to prove our main results we need the following Lemma from [2].
Lemma 3.1 Let p ≥ 1 and g be a non-negative monotonic function on [a, b]q . Then
pg p−1 (qx)Dq g(x) ≤ Dq [g p (x)] ≤ pg p−1 (x)Dq g(x), x ∈ (a, b]q . (3.8)
Theorem 3.2 If f is a non-negative increasing function on [a, b]q and satisfies
β(β − 1)
(α − 1)f α−2 (qx)Dq f (x) ≥ (x − a)β−2 f (β−1) (x) (3.9)
(b − a)2β−α−1
for α ≥ 1 and β ≥ 2, then
Z b Z b
1 h iβ
[f (x)]α dq x ≥ f (x)dq x . (3.10)
a (b − a)2β−α−1 a

110
V. Krasniqi, T. Mansour, A. Shabani - On some F. Qi type q-integral inequalities

Proof. For x ∈ [a, b]q , let

Z x hZ x
1 iβ
F (x) = [f (t)]α dq t − · f (t)d q t
a (b − a)2β−α−1 a
Rx
and h(x) = a f (t)dq t. By virtue of Lemma 3.1, it follows that
1
Dq F (x) = f α (x) − Dq (hβ (x))
(b − a)2β−α−1
β
≥ f α (x) − hβ−1 (x)Dq h(x)
(b − a)2β−α−1
β
≥ f α (x) − hβ−1 (x)f (x)
(b − a)2β−α−1
= f (x)F1 (x),
β
where F1 (x) = f α−1 (x) − hβ−1 (x).
(b − a)2β−α−1
By Lemma 3.1 we have
β
Dq F1 (x) = Dq (f α−1 (x)) − Dq (hβ−1 (x))
(b − a)2β−α−1
β(β − 1)
≥ (α − 1)f α−2 (qx)Dq f (x) − hβ−2 (x)f (x).
(b − a)2β−α−1
Since f is a non-negative and increasing function, then
Z x
h(x) = f (t)dq t ≤ f (x)(x − a),
a
hence
β(β − 1)
Dq F1 (x) ≥ (α − 1)f α−2 (qx)Dq f (x) − (x − a)β−2 f β−1 (x)
(b − a)2β−α−1
which means that Dq F1 (x) ≥ 0. Since F1 (a) = f α−1 (a) ≥ 0, we obtain F1 (x) ≥ 0.
Since F (a) = 0 and Dq F (x) ≥ 0 it follows that F (x) ≥ 0, for all x ∈ [a, b]q , which
completes the proof. 2

Theorem 3.3 If f is a non-negative and increasing function on [bq m , b]q , m ∈ N

and satisfies
β(β − 1)
(α − 1)Dq f (x) ≥ · (x − a)β−2 · f β−α+1 (q m x) (3.11)
(b − a)2β−α−1
on [a, b]q for α ≥ 1 and β ≥ 2, then
Z b hZ b
α 1 m
iβ
[f (x)] dq x ≥ f (q x)d q x . (3.12)
a (b − a)2β−α−1 a

111
V. Krasniqi, T. Mansour, A. Shabani - On some F. Qi type q-integral inequalities

Proof. For x ∈ [a, b]q let

Z x Z x
1 h iβ
F (x) = [f (t)]α dq t − f (q m t)dq t
a (b − a)2β−α−1 a
Rx
and h(x) = a f (q m t)d q t. Utilizing Lemma 3.1 gives that
1
Dq F (x) = f α (x) − Dq (hβ (x))
(b − a)2β−α−1
β
≥ f α (x) − hβ−1 (x)Dq h(x)
(b − a)2β−α−1
β
≥ f α (x) − hβ−1 (x)f (x)
(b − a)2β−α−1
= f (x)F1 (x),
β
where F1 (x) = f α−1 (x) − hβ−1 (x). By Lemma 3.1, we obtain that
(b − a)2β−α−1
β
Dq F1 (x) = Dq [f α−1 (x)] − Dq (hβ−1 (x))
(b − a)2β−α−1
β(β − 1)
≥ (α − 1)f α−2 (qx)Dq f (x) − hβ−2 (x)f (q m x).
(b − a)2β−α−1
Since f is a non-negative and increasing function, then
Z x
h(x) = f (q m x)dq t ≤ f (q m x)(x − a),
a
hence
β(β − 1)
Dq F1 (x) ≥ (α − 1)f α−2 (qx)Dq F (x) − (x − a)β−2 f β−1 (q m x)
(b − a)2β−α−1
h β(β − 1) i
= f α−2 (qx) (α − 1)Dq f (x) − (x − a)β−2 α−β+1 m
f (q x) ,
(b − a)2β−α−1
which means that Dq F1 (x) ≥ 0. Since F1 (a) = f α−1 (a) ≥ 0, we obtain F1 (x) ≥ 0.
Since F (a) = 0 and Dq F (x) ≥ 0 it follows that F (x) ≥ 0, for all x ∈ [a, b]q , as
claimed. 2

Corollary 3.4 If f is a non-negative increasing function on [a, b]q and satisfies

p
f p (qx)Dq f (x) ≥ f p (x)(x − a)p−1 (3.13)
(b − a)2β−α−1
for p ≥ 0, then
Z b Z b
p+2 1 h ip+1
f (x)dq (x) ≥ f (x)dq (x) . (3.14)
a (b − a)p−1 a

112
V. Krasniqi, T. Mansour, A. Shabani - On some F. Qi type q-integral inequalities

Proof. In Theorem 3.2 put α = p + 2, β = p + 1. 2

At the end of the notes we pose the following problem. Under what conditions
does the inequality
Z b hZ b
1 iβ
[f (x)]α ≤ xβ
f (x)d q x
a (b − a)α a
holds for α ≥ 1, β ≥ 1?

References
[1] M. Akkouchi, Some Integral Inequalities, Divulgaciones Math., 11(2) (2003),
121–125.
[2] K. Brahim, N. Bettaibi and M. Sellemi, On some Feng-Qi type q-integral in-
equalities, J. Ineq. Pure Appl. Math., 9 (2)(2008), Art. 43; Available online at:
http://jipam.vu.edu.au/article.php?sid=975.
[3] G. Gasper, M. Rahman, Basic Hypergeometric Series, 2nd Edition, (2004), En-
cyclopedia of Mathematics and Applications, 96, Cambridge University Press, Cam-
bridge.
[4] F.H. Jackson, On a q-definite integrals, Quarterly Journal of Pure and Applied
Mathematics, 41 (1910), 193–203.
[5] V. G. Kac, P. Cheung, Quantum Calculus, Universitext, Springer-Verlag, New
York, (2002).
[6] Y. Miao, F. Qi, Several q-integral inequalities, J. Math. Inequal., 3(1) (2009),
115–121.
[7] F. Qi, Several integral inequalities, J. Inequal. Pure Appl. Math., 1(2) (2000),
Art. 19; Available online at http://jipam.vu.edu.au/article.php?sid=113.

Valmir Krasniqi
Department of Mathematics
University of Prishtina
Prishtinë 10000, Republic of Kosova
email:vali.99@hotmail.com

Toufik Mansour
Department of Mathematics
University of Haifa
31905 Haifa, Israel
email:toufik@math.haifa.ac.il

113
V. Krasniqi, T. Mansour, A. Shabani - On some F. Qi type q-integral inequalities

Armend Sh. Shabani

Department of Mathematics
University of Prishtina
Prishtinë 10000, Republic of Kosova
email:armend shabani@hotmail.com

114