Professional Documents
Culture Documents
Research Article: Diamond
Research Article: Diamond
_
b
a
f
_
gs
_
ds
b a
. 1.1
Jensens inequality on time scales via -integral has been recently obtained by Agarwal,
Bohner, and Peterson.
Theorem 1.2 see2. If g C
rd
a, b, c, d and f Cc, d, R is convex, then
f
_
_
b
a
gss
b a
_
_
b
a
f
_
gs
_
s
b a
. 1.2
Under similar hypotheses, we may replace the -integral by the -integral and get a
completely analogous result 3. The aim of this paper is to extend Jensens inequality to an
arbitrary time scale via the diamond- integral 4.
2 Journal of Inequalities and Applications
There have been recent developments of the theory and applications of dynamic
derivatives on time scales. From the theoretical point of view, the study provides a unication
and extension of traditional dierential and dierence equations. Moreover, it is a crucial tool
in many computational and numerical applications. Based on the well-known delta and
nabla dynamic derivatives, a combined dynamic derivative, the so-called
diamond-
dynamic derivative, was introduced as a linear combination of and dynamic derivatives
on time scales 4. The diamond- derivative reduces to the derivative for 1 and to the
derivative for 0. On the other hand, it represents a weighted dynamic derivative on any
uniformly discrete time scale when 1/2. We refer the reader to 46 for an account of the
calculus associated with the diamond- dynamic derivatives.
The paper is organized as follows. In Section 2, we briey give the basic denitions and
theorems of time scales as introduced in Hilgers thesis 7 see also 8, 9. In Section 3, we
present our main results which are generalizations of Jensens inequality on time scales. Some
examples and applications are given in Section 4.
2. Preliminaries
A time scale T is an arbitrary nonempty closed subset of real numbers. The calculus of time
scales was initiated by Hilger in his Ph.D. thesis 7 in order to unify discrete and continuous
analysis. Let T be a time scale. T has the topology that inherits from the real numbers with the
standard topology. For t T, we dene the forward jump operator : TT by t inf{s
T : s > t}, and the backward jump operator : TT by t sup{s T : s < t}.
If t > t, we say that t is right-scattered, while if t < t, we say that t is left-
scattered. Points that are simultaneously right-scattered and left-scattered are called isolated.
If t t, then t is called right-dense, and if t t, then t is called left-dense. Points that
are simultaneously right-dense and left-dense are called dense. Let t T, then two mappings
, : T0, are dened as follows: t : t t, t : t t.
We introduce the sets T
k
, T
k
, and T
k
k
, which are derived fromthe time scale T, as follows.
If T has a left-scattered maximum t
1
, then T
k
T {t
1
}, otherwise T
k
T. If T has a right-
scattered minimum t
2
, then T
k
T {t
2
}, otherwise T
k
T. Finally, we dene T
k
k
T
k
T
k
.
Throughout the text, we will denote a time scales interval by
a, b
T
{t T : a t b}, with a, b T. 2.1
Let f : TR be a real function on a time scale T. Then, for t T
k
, we dene f
t to be
the number, if one exists, such that for all > 0 there is a neighborhood U of t such that for all
s U:
_
_
f
_
t
_
fs f
t
_
t s
__
_
_
_
t s
_
_
. 2.2
We say that f is delta dierentiable on T
k
, provided f
t to be the number value, if one exists, such that for all > 0, there is a
neighborhood V of t such that for all s V:
_
_
f
_
t
_
fs f
t
_
t s
__
_
_
_
t s
_
_
. 2.3
We say that f is nabla dierentiable on T
k
, provided that f
: TR by f
t ft for all t T,
that is, f
f . We dene f
: TR by f
f . The
following properties hold for all t T
k
.
Moulay Rchid Sidi Ammi et al. 3
i If f is delta dierentiable at t, then f is continuous at t.
ii If f is continuous at t and t is right-scattered, then f is delta dierentiable at t with
f
t f
t ft/t.
iii If f is right-dense, then f is delta dierentiable at t if and only if the limit lim
s t
ft
fs/t s exists as a nite number. In this case, f
t lim
s t
ft fs/t s.
iv If f is delta dierentiable at t, then f
t ft tf
t.
Similarly, given a function f : TR, the following is true for all t T
k
.
a If f is nabla dierentiable at t, then f is continuous at t.
b If f is continuous at t and t is left-scattered, then f is nabla dierentiable at t with
f
t ft f
t/t.
c If f is left-dense, then f is nabla dierentiable at t if and only if the limit
lim
s t
ft fs/t s exists as a nite number. In this case, f
t
lim
s t
ft fs/t s.
d If f is nabla dierentiable at t, then f
t ft tf
t.
A function f : TR is called rd-continuous, provided it is continuous at all right-dense
points in T and its left-sided limits exist at all left-dense points in T.
A function f : TR is called ld-continuous, provided it is continuous at all left-dense
points in T and its right-sided limits exist nite at all right-dense points in T.
A function F : TR is called a delta antiderivative of f : TR, provided F
t ft
holds for all t T
k
. Then the delta integral of f is dened by
_
b
a
ftt Fb Fa.
A function G : TR is called a nabla antiderivative of g : TR, provided G
t gt
holds for all t T
k
. Then the nabla integral of g is dened by
_
b
a
gtt Gb Ga.
For more details on time scales, we refer the reader to 1016. Now, we briey introduce
the diamond- dynamic derivative and the diamond- integral 4, 17.
Let T be a time scale, and t, s T. Following 17, we dene
ts
t s,
ts
t s,
and f
t to be the value, if one exists, such that for all > 0 there is a neighborhood U of t
such that for all s U,
_
_
_
f
t fs
_
ts
1
_
f
t fs
_
ts
f
t
ts
ts
_
_
<
_
_
ts
ts
_
_
. 2.4
A function f is said diamond- dierentiable on T
k
k
, provided f
t is given by
f
t f
t 1 f
t 2.5
see 17, Theorem 3.2. Equality 2.5 is the denition of f
t f
t g
t. 2.6
ii For any constant c, cf : TR is diamond- dierentiable at t T
k
k
with
cf
t cf
t. 2.7
iii fg : TR is diamond- dierentiable at t T
k
k
with
fg
t f
tgt f
tg
t 1 f
tg
t. 2.8
Let a, t T, and h : TR. Then the diamond- integral of h from a to t is dened by
_
t
a
h
_
t
a
h 1
_
t
a
h, 0 1, 2.9
provided that there exist delta and nabla integrals of h on T. It is clear that the diamond-
integral of h exists when h is a continuous function. We may notice that the
-combined
derivative is not a dynamic derivative for the absence of its antiderivative 17, Section 4.
Moreover, in general, we do not have
__
t
a
h
ht, t T. 2.10
Example 2.1. Let T {0, 1, 2}, a 0, and h
2
, T. It is a simple exercise to see that
__
t
0
h
_
_
_
_
t1
h1 21 , 2.11
so that 2.10 holds only when
or
.
Let a, b, t T, c R. Then, cf. 4, Theorem 3.7
a
_
t
a
f g
_
t
a
f
_
t
a
g
;
b
_
t
a
cf
c
_
t
a
f
;
c
_
t
a
f
_
b
a
f
_
t
b
f
.
Next lemma provides some straightforward, but useful results for what follows.
Lemma 2.2. Assume that f and g are continuous functions on a, b
T
.
1 If ft 0 for all t a, b
T
, then
_
b
a
ft
t 0.
2 If ft gt for all t a, b
T
, then
_
b
a
ft
t
_
b
a
gt
t.
3 If ft 0 for all t a, b
T
, then ft 0 if and only if
_
b
a
ft
t 0.
Moulay Rchid Sidi Ammi et al. 5
Proof. Let ft and gt be continuous functions on a, b
T
.
1 Since ft 0 for all t a, b
T
, we know see 15, 16 that
_
b
a
ftt 0 and
_
b
a
ftt 0. Since 0, 1, the result follows.
2 Let ht gt ft. Then
_
b
a
ht
t > 0.
3. Main results
We now prove Jensens diamond- integral inequalities.
Theorem 3.1 Jensens inequality. Let T be a time scale, a,b T with a < b, and c,d R. If
g Ca, b
T
, c, d and f Cc, d, R is convex, then
f
_
_
b
a
gs
s
b a
_
_
b
a
f
_
gs
_
s
b a
. 3.1
Remark 3.2. In the particular case 1, 3.1 reduces to that of Theorem 1.2. If T R, then
Theorem 3.1 gives the classical Jensens inequality, that is, Theorem 1.1. However, if T Z
and fx lnx, then one gets the well-known arithmetic-mean geometric-mean inequality
3.18.
Proof. Since f is convex, we have
f
_
_
b
a
gs
s
b a
_
f
_
b a
_
b
a
gss
1
b a
_
b
a
gss
_
f
_
1
b a
_
b
a
gss
_
1 f
_
1
b a
_
b
a
gss
_
.
3.2
Using now Jensens inequality on time scales see Theorem 1.2, we get
f
_
_
b
a
gs
s
b a
_
b a
_
b
a
f
_
gs
_
s
1
b a
_
b
a
f
_
gs
_
s
1
b a
_
_
b
a
f
_
gs
_
s 1
_
b
a
f
_
gs
_
s
_
1
b a
_
b
a
f
_
gs
_
s.
3.3
Now, we give an extended Jensens inequality on time scales via the diamond- integral.
Theorem 3.3 Generalized Jensens inequality. Let T be a time scale, a,b T with a < b,c, d R,
g Ca, b
T
, c, d, and h Ca, b
T
, R with
_
b
a
_
_
hs
_
_
s > 0. 3.4
6 Journal of Inequalities and Applications
If f Cc, d, R is convex, then
f
__
b
a
_
_
hs
_
_
gs
s
_
b
a
_
_
hs
_
_
s
_
_
b
a
_
_
hs
_
_
f
_
gs
_
s
_
b
a
_
_
hs
_
_
s
. 3.5
Remark 3.4. Theorem 3.3 is the same as 3, Theorem 3.17. However, we prove Theorem 3.3
using a dierent approach than that proposed in 3: in 3, it is stated that such result follows
from the analog nabla inequality. As we have seen, diamond-alpha integrals have dierent
properties than those of delta or nabla integrals cf. Example 2.1. On the other hand, there is
an inconsistency in 3: a very simple example showing this fact is given belowin Remark 3.10.
Remark 3.5. In the particular case h 1, Theorem 3.3 reduces to Theorem 3.1.
Remark 3.6. If f is strictly convex, the inequality sign in 3.5 can be replaced by <. Similar
result to Theorem 3.3 holds if one changes the condition f is convex to f is concave, by
replacing the inequality sign in 3.5 by .
Proof. Since f is convex, it follows, for example, from 18, Exercise 3.42C, that for t c, d
there exists a
t
R such that
a
t
x t fx ft x c, d. 3.6
Setting
t
_
b
a
_
_
hs
_
_
gs
s
_
b
a
_
_
hs
_
_
s
, 3.7
then using 3.6 and item 2 of Lemma 2.2, we get
_
b
a
_
_
hs
_
_
f
_
gs
_
s
__
b
a
_
_
hs
_
_
s
_
f
__
b
a
_
_
hs
_
_
gs
s
_
b
a
_
_
hs
_
_
s
_
_
b
a
_
_
hs
_
_
f
_
gs
_
s
__
b
a
_
_
hs
_
_
s
_
ft
_
b
a
_
_
hs
_
_
_
f
_
gs
_
ft
_
s
a
t
__
b
a
_
_
hs
_
_
_
gs t
_
_
s
a
t
__
b
a
_
_
hs
_
_
gs
s t
_
b
a
_
_
hs
_
_
s
_
a
t
__
b
a
_
_
hs
_
_
gs
s
_
b
a
_
_
hs
_
_
gs
s
_
0.
3.8
This leads to the desired inequality.
Moulay Rchid Sidi Ammi et al. 7
Remark 3.7. The proof of Theorem 3.3 follows closely the proof of the classical Jensens
inequality see, e.g., 18, Problem 3.42 and the proof of Jensens inequality on time scales
2.
We have the following corollaries.
Corollary 3.8 T R. Let g, h : a, b R be continuous functions with ga, b c, d and
_
b
a
|hx|dx > 0. If f Cc, d, R is convex, then
f
__
b
a
_
_
hx
_
_
gxdx
_
b
a
_
_
hx
_
_
dx
_
_
b
a
_
_
hx
_
_
f
_
gx
_
dx
_
b
a
_
_
hx
_
_
dx
. 3.9
Corollary 3.9 T Z. Given a convex function f, we have for any x
1
, . . . , x
n
R and c
1
, . . . , c
n
R
with
n
k1
|c
k
| > 0:
f
_
n
k1
_
_
c
k
_
_
x
k
n
k1
_
_
c
k
_
_
_
n
k1
_
_
c
k
_
_
f
_
x
k
_
n
k1
_
_
c
k
_
_
. 3.10
Remark 3.10. Corollary 3.9 coincides with 19, Corollary 2.4 and 3, Corollary 3.12 if one
substitutes all the |c
k
|s in Corollary 3.9 by c
k
and we restrict ourselves to integer values of
x
i
and c
i
, i 1, . . . , n. Let T Z, a 1, and b 3, so that a, b
T
denotes the set {1, 2, 3} and
n 3. For the data fx x
2
, c
1
1, c
2
5, c
3
3, x
1
1, x
2
1, and x
3
2 one has
A
3
k1
c
k
3 > 0, and B
3
k1
c
k
x
k
0. Thus D fB/A f0 0. On the other hand,
fx
1
1, fx
2
1, and fx
3
4. Therefore, C
3
k1
c
k
fx
k
6. We have E C/A 2
and D > E, that is, f
n
k1
c
k
x
k
/
n
k1
c
k
>
n
k1
c
k
fx
k
/
n
k1
c
k
. Inequality 3.10 gives the
truism 16/9 2.
Particular cases
i Let gt > 0 on a, b
T
and ft t
s
_
b
a
_
_
hs
_
_
s
_
_
b
a
_
_
hs
_
_
g
s
_
b
a
_
_
hs
_
_
s
, if < 0 or > 1;
__
b
a
_
_
hs
_
_
gs
s
_
b
a
_
_
hs
_
_
s
_
_
b
a
_
_
hs
_
_
g
s
_
b
a
_
_
hs
_
_
s
, if 0, 1.
3.11
ii Let gt > 0 on a, b
T
and ft lnt on 0, . One can also see that f is concave
on 0, . It follows that
ln
__
b
a
_
_
hs|gs
s
_
b
a
_
_
hs
_
_
s
_
_
b
a
_
_
hs
_
_
ln
_
gs
_
s
_
b
a
_
_
hs
_
_
s
. 3.12
8 Journal of Inequalities and Applications
iii Let h 1, then
ln
__
b
a
gs
s
b a
_
_
b
a
ln
_
gs
_
s
b a
. 3.13
iv Let T R, g : 0, 10, and ht 1. Applying Theorem 3.3 with the convex
and continuous function f ln on 0, , a 0, and b 1, we get
ln
_
1
0
gsds
_
1
0
ln
_
gs
_
ds. 3.14
Then
_
1
0
gsds exp
__
1
0
ln
_
gs
_
ds
_
. 3.15
v Let T Z and n N. Fix a 1, b n 1 and consider a function g : {1, . . . , n
1} 0, . Obviously, f ln is convex and continuous on 0, , so we may apply Jensens
inequality to obtain
ln
_
1
n
_
t1
gt 1
n1
t2
gt
__
ln
_
1
n
_
n1
1
gt
t
_
1
n
_
n1
1
ln
_
gt
_
1
n
_
t1
ln
_
gt
_
1
n1
t2
ln
_
gt
_
_
ln
_
n
t1
gt
_/n
ln
_
n1
t2
gt
_
1/n
,
3.16
and hence
1
n
_
t1
gt 1
n1
t2
gt
_
_
n
t1
gt
_/n_
n1
t2
gt
_
1/n
. 3.17
When 1, we obtain the well-known arithmetic-mean geometric-mean inequality:
1
n
n
t1
gt
_
n
t1
gt
_1/n
. 3.18
When 0, we also have
1
n
n1
t2
gt
_
n1
t2
gt
_
1/n
. 3.19
Moulay Rchid Sidi Ammi et al. 9
vi Let T 2
N
0
and N N. We can apply Theorem 3.3 with a 1, b 2
N
, and g : {2
k
:
0 k N}0, . Then we get
ln
__
2
N
1
gt
t
2
N
1
_
ln
_
_
2
N
1
gtt
2
N
1
1
_
2
N
1
gtt
2
N
1
_
ln
_
N1
k0
2
k
g
_
2
k
_
2
N
1
1
N
k1
2
k
g
_
2
k
_
2
N
1
_
_
2
N
1
ln
_
gt
_
t
2
N
1
_
2
N
1
ln
_
gt
_
t
2
N
1
1
_
2
N
1
ln
_
gt
_
t
2
N
1
N1
k0
2
k
ln
_
g
_
2
k
__
2
N
1
1
N
k1
2
k
ln
_
g
_
2
k
__
2
N
1
N1
k0
ln
_
g
_
2
k
__
2
k
2
N
1
N
k1
ln
_
g
_
2
k
__
12
k
2
N
1
ln
N1
k0
_
g
_
2
k
__
2
k
2
N
1
ln
_
N
k1
g
_
2
k
__12
k
2
N
1
ln
_
N1
k0
_
g
_
2
k
__
2
k
_
1/2
N
1
ln
_
N
k1
_
g
_
2
k
__12
k
_
1/2
N
1
ln
_
N1
k0
_
g
_
2
k
__
2
k
_
1/2
N
1
_
N
k1
_
g2
k
__12
k
_
1/2
N
1
.
3.20
We conclude that
ln
_
N1
k0
2
k
g
_
2
k
_
1
N
k1
2
k
g
_
2
k
_
2
N
1
_
ln
_
N1
k0
_
g
_
2
k
__
2
k
_
1/2
N
1
_
N
k1
_
g
_
2
k
__
12
k
_
1/2
N
1
.
3.21
On the other hand,
N1
k0
2
k
g
_
2
k
_
1
N
k1
2
k
g
_
2
k
_
N1
k1
2
k
g
_
2
k
_
g1 1 2
N
g
_
2
N
_
. 3.22
It follows that
N1
k1
2
k
g
_
2
k
_
g11 2
N
g
_
2
N
_
2
N
1
_
N1
k0
_
g
_
2
k
__
2
k
_
1/2
N
1
_
N
k1
_
g
_
2
k
__
12
k
_
1/2
N
1
.
3.23
10 Journal of Inequalities and Applications
In the particular case when 1, we have
N1
k0
2
k
g
_
2
k
_
2
N
1
_
N1
k0
_
g
_
2
k
__
2
k
_
1/2
N
1
, 3.24
and when 0 we get the inequality
N
k1
2
k
g
_
2
k
_
2
N
1
_
N
k1
_
g
_
2
k
__
2
k
_
1/2
N
1
. 3.25
4. Related diamond- integral inequalities
The usual proof of H olders inequality use the basic Young inequality x
1/p
y
1/q
x/p y/q for
nonnegative x and y. Here, we present a proof based on the application of Jensens inequality
Theorem 3.3.
Theorem 4.1 H olders inequality. Let T be a time scale, a,b T with a < b, and f,g,h
Ca, b
T
, 0, with
_
b
a
hxg
q
x
x
__
b
a
hxf
p
x
x
_1/p__
b
a
hxg
q
x
x
_1/q
. 4.1
Proof. Choosing fx x
p
in Theorem 3.3, which for p > 1 is obviously a convex function on
0, , we have
__
b
a
_
_
hs
_
_
gs
s
_
b
a
_
_
hs
_
_
s
_p
_
b
a
_
_
hs
_
_
_
gs
_
p
s
_
b
a
_
_
hs
_
_
s
. 4.2
Inequality 4.1 is trivially true in the case when g is identically zero. We consider two cases:
i gx > 0 for all x a, b
T
; ii there exists at least one x a, b
T
such that gx 0. We
begin with situation i. Replacing g by fg
q/p
and |hx| by hg
q
in inequality 4.2, we get
__
b
a
hxg
q
xfxg
q/p
x
x
_
b
a
hxg
q
x
x
_p
_
b
a
hxg
q
x
_
fxg
q/p
x
_
p
x
_
b
a
hxg
q
x
x
. 4.3
Using the fact that 1/p 1/q 1, we obtain that
_
b
a
hxfxgx
x
__
b
a
hxf
p
x
x
_1/p__
b
a
hxg
q
x
x
_1/q
. 4.4
We now consider situation ii. Let G {x a, b
T
| gx 0}. Then
_
b
a
hxfxgx
x
_
a,b
T
G
hxfxgx
x
_
G
hxfxgx
_
a,b
T
G
hxfxgx
x
4.5
Moulay Rchid Sidi Ammi et al. 11
because
_
G
hxfxgx
x
_
a,b
T
G
hxfxgx
__
a,b
T
G
hxf
p
x
x
_
1/p
__
a,b
T
G
hxg
q
x
x
_
1/q
__
b
a
hxf
p
x
x
_1/p__
b
a
hxg
q
x
x
_1/q
.
4.6
Remark 4.2. In the particular case h 1, Theorem 4.1 gives the diamond- version of classical
H olders inequality:
_
b
a
_
_
fxgx
_
_
x
__
b
a
|f|
p
x
x
_1/p__
b
a
|g|
q
x
x
_1/q
, 4.7
where p > 1 and q p/p 1.
Remark 4.3. In the special case p q 2, 4.1 reduces to the following diamond- Cauchy-
Schwarz integral inequality on time scales:
_
b
a
_
_
fxgx
_
_
x
_
__
b
a
f
2
x
x
___
b
a
g
2
x
x
_
. 4.8
We are now in position to prove a Minkowski inequality using our H olders inequality
4.1.
Theorem 4.4 Minkowskis inequality. Let T be a time scale, a,b T with a < b, and p > 1. For
continuous functions f, g : a, b
T
R, we have
__
b
a
_
_
f gx
_
_
p
x
_1/p
__
b
a
_
_
fx
_
_
p
x
_1/p
__
b
a
_
_
gx
_
_
p
x
_1/p
. 4.9
Proof. We have, by the triangle inequality, that
_
b
a
_
_
fx gx
_
_
p
x
_
b
a
_
_
fx gx
_
_
p1
_
_
fx gx
_
_
_
b
a
_
_
fx
_
_
_
_
fx gx
_
_
p1
x
_
b
a
_
_
gx
_
_
_
_
fx gx
_
_
p1
x.
4.10
12 Journal of Inequalities and Applications
Applying now H olders inequality with q p/p 1 to 4.10, we obtain
_
b
a
_
_
fx gx
_
_
p
x
__
b
a
_
_
fx
_
_
p
x
_1/p__
b
a
_
_
fx gx
_
_
p1q
x
_1/q
__
b
a
_
_
gx
_
_
p
x
_1/p__
b
a
_
_
fx gx
_
_
p1q
x
_1/q
___
b
a
_
_
fx
_
_
p
x
_1/p
__
b
a
_
_
gx
_
_
p
x
_1/p___
b
a
_
_
fx gx
_
_
p
x
_1/q
.
4.11
Dividing both sides of the last inequality by
__
b
a
_
_
fx gx
_
_
p
x
_1/q
, 4.12
we get the desired conclusion.
As another application of Theorem 3.3, we have Theorem 4.5, as follows.
Theorem 4.5. Let T be a time scale, a,b T with a < b, and f,g,h Ca, b
T
, 0, .
i If p > 1, then
___
b
a
hf
x
_p
__
b
a
hg
x
_p_1/p
_
b
a
h
_
f
p
g
p
_
1/p
x. 4.13
ii If 0 < p < 1, then
___
b
a
hf
x
_p
__
b
a
hg
x
_p_1/p
_
b
a
h
_
f
p
g
p
_
1/p
x. 4.14
Proof. We prove only i. The proof of ii is similar. Inequality i is trivially true when f is
zero: both the left and right hand sides reduce to
_
b
a
hg
1/p
, which is clearly convex on 0, , we obtain
1
__
b
a
hf
x
_p
__
b
a
h
x
_p
1/p
_
b
a
h
_
1 f
p
_
1/p
x
_
b
a
h
x
. 4.15
In other words,
___
b
a
h
x
_p
__
b
a
hf
x
_p_1/p
_
b
a
h
_
1 f
p
_
1/p
x. 4.16
Changing h and f by hf/
_
b
a
hf