- Research Article
- Open access
- Published:
Some Sublinear Dynamic Integral Inequalities on Time Scales
Journal of Inequalities and Applications volume 2010, Article number: 983052 (2010)
Abstract
We study some nonlinear dynamic integral inequalities on time scales by introducing two adjusting parameters, which provide improved bounds on unknown functions. Our results include many existing ones in the literature as special cases and can be used as tools in the qualitative theory of certain classes of dynamic equations on time scales.
1. Introduction
Following Hilger's landmark paper [1], there have been plenty of references focused on the theory of time scales in order to unify continuous and discrete analysis, where a time scale is an arbitrary nonempty closed subset of the reals, and the cases when this time scale is equal to the reals or to the integers represent the classical theories of differential and of difference equations. Many other interesting time scales exist; for example, for
(which has important applications in quantum theory),
with
,
and
the space of the harmonic numbers.
Recently, many authors have extended some continuous and discrete integral inequalities to arbitrary time scales. For example, see [2–14] and the references cited therein. The purpose of this paper is to further investigate some sublinear integral inequalities on time scales that have been studied in a recent paper [6]. By introducing two adjusting parameters and
, we first generalize a basic inequality that plays a fundamental role in the proofs of the main results in [6]. Then, we provide improved bounds on unknown functions, which include many existing results in [6, 14] as special cases and can be used as tools in the qualitative theory of certain classes of dynamic equations on time scales.
2. Time Scale Essentials
The definitions below merely serve as a preliminary introduction to the time scale calculus; they can be found in the context of a much more robust treatment than is allowed here in the text [15, 16] and the references therein.
Definition 2.1.
Define the forward (backward) jump operator at
for
(resp.
at
for
) by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F983052/MediaObjects/13660_2010_Article_2319_Equ1_HTML.gif)
Also define , if
, and
, if
. The graininess functions are given by
and
. The set
is derived from
as follows: if
has a left-scattered maximum
, then
; otherwise,
.
Throughout this paper, the assumption is made that inherits from the standard topology on the real numbers
. The jump operators
and
allow the classification of points in a time scale in the following way. If
the point
is right-scattered, while if
then
is left-scattered. Points that are right-scattered and left-scattered at the same time are called isolated. If
and
the point
is right-dense; if
and
then
is left-dense. Points that are right-dense and left-dense at the same time are called dense. The composition
is often denoted
.
Definition 2.2.
A function is said to be rd-continuous (denoted
C
) if it is continuous at each right-dense point and if there exists a finite left limit in all left-dense points.
Every right-dense continuous function has a delta antiderivative [15, Theorem ]. This implies that the delta definite integral of any right-dense continuous function exists. Likewise every left-dense continuous function
on the time scale, denoted
, has a nabla antiderivative [15, Theorem
]
Definition 2.3.
Fix and let
. Define
to be the number (if it exists) with the property that given
there is a neighborhood
of
such that, for all
,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F983052/MediaObjects/13660_2010_Article_2319_Equ2_HTML.gif)
Call the (delta) derivative of
at
. It is easy to see that
is the usual derivative
for
and the usual forward difference
for
.
Definition 2.4.
If then define the (Cauchy) delta integral by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F983052/MediaObjects/13660_2010_Article_2319_Equ3_HTML.gif)
Definition 2.5.
Say is regressive provided that
for all
. Denote by
the set of all regressive and rd-continuous functions
satisfying
on
. For
, define the cylinder transformation
by
, where Log is the principal logarithm function,
, and
. For
, define
. Define the exponential function by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F983052/MediaObjects/13660_2010_Article_2319_Equ4_HTML.gif)
3. Main Results
In the sequel, we always assume that is a constant,
is a time scale with
. The following sublinear integral inequalities on time scales will be considered:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F983052/MediaObjects/13660_2010_Article_2319_Equ5_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F983052/MediaObjects/13660_2010_Article_2319_Equ6_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F983052/MediaObjects/13660_2010_Article_2319_Equ7_HTML.gif)
where are rd-continuous functions,
is continuous, and
is continuous.
If we let and
, then inequalities (I)–(III) reduce to those inequalities studied in [6]. We say inequalities (I)–(III) are sublinear since
. In the sequel, some generalized and improved bounds on unknown functions
will be provided by introducing two adjusting parameters
and
.
Before establishing our main results, we need the following lemmas.
Lemma 3.1 ([15, Theorem , page 255]).
Let ,
C
and
. Then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F983052/MediaObjects/13660_2010_Article_2319_Equ8_HTML.gif)
Implies that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F983052/MediaObjects/13660_2010_Article_2319_Equ9_HTML.gif)
Lemma 3.2.
Let and
are nonnegative functions,
is a constant. Then, for any positive function
,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F983052/MediaObjects/13660_2010_Article_2319_Equ10_HTML.gif)
holds, where and
are nonnegative constants satisfying
.
Proof.
For nonnegative constants and
, positive constants
and
with
, the basic inequality in [17]
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F983052/MediaObjects/13660_2010_Article_2319_Equ11_HTML.gif)
holds. Let ,
,
and
. Then, inequality (3.3) is valid.
Remark 3.3.
When , Lemma 3.2 reduces to Lemma
with
in [6].
Lemma 3.4 ([15, Theorem , page 46]).
Suppose that for each there exists a neighborhood
of
, independent of
, such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F983052/MediaObjects/13660_2010_Article_2319_Equ12_HTML.gif)
where is continuous at
,
with
and
(the derivative of
with respect to the first variable) is rd-continuous on
. Then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F983052/MediaObjects/13660_2010_Article_2319_Equ13_HTML.gif)
implies that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F983052/MediaObjects/13660_2010_Article_2319_Equ14_HTML.gif)
Now, let us give the main results of this paper.
Theorem 3.5.
Assume that are rd-continuous functions. Then, for any rd-continuous function
on
, any nonnegative constants
and
satisfying
, inequality (I) implies that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F983052/MediaObjects/13660_2010_Article_2319_Equ15_HTML.gif)
where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F983052/MediaObjects/13660_2010_Article_2319_Equ16_HTML.gif)
Proof.
Set
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F983052/MediaObjects/13660_2010_Article_2319_Equ17_HTML.gif)
Then, and (I) can be restated as
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F983052/MediaObjects/13660_2010_Article_2319_Equ18_HTML.gif)
Based on a straightforward computation and Lemma 3.2, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F983052/MediaObjects/13660_2010_Article_2319_Equ19_HTML.gif)
Combining (3.11) and (3.12) yields
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F983052/MediaObjects/13660_2010_Article_2319_Equ20_HTML.gif)
Note that C
and
. By Lemma 3.1, (3.11), and (3.13), we get (3.8).
Remark 3.6.
For given , by choosing different constants
and
, some improved bounds on
can be obtained. For example, when
is sufficiently large, we may set
since the value of
changes drastically. Similarly, we may set
for sufficiently small
.
Remark 3.7.
When ,
, Theorem 3.5 reduces to Theorem
in [6]. For some particular cases of
,
,
, and
, Theorem 3.5 reduces to Corollary
, Corollary
in [6], Theorem
, and Theorem
in [14].
Theorem 3.8.
Assume that are rd-continuous functions. Let
be defined as in Lemma 3.4 such that
for
and (3.5) holds. Then, for any rd-continuous function
, any nonnegative constants
and
satisfying
, inequality (II) implies that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F983052/MediaObjects/13660_2010_Article_2319_Equ21_HTML.gif)
where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F983052/MediaObjects/13660_2010_Article_2319_Equ22_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F983052/MediaObjects/13660_2010_Article_2319_IEq166_HTML.gif)
and are the same as in Theorem 3.5.
Proof.
Define a function
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F983052/MediaObjects/13660_2010_Article_2319_Equ23_HTML.gif)
where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F983052/MediaObjects/13660_2010_Article_2319_Equ24_HTML.gif)
Then, ,
is nondecreasing, and
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F983052/MediaObjects/13660_2010_Article_2319_Equ25_HTML.gif)
Similar to the arguments in Theorem 3.5, by Lemmas 3.2 and 3.4 we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F983052/MediaObjects/13660_2010_Article_2319_Equ26_HTML.gif)
Note that C
and
. By Lemma 3.1, we get (3.14).
Theorem 3.9.
Assume that are nonnegative rd-continuous functions defined on
. Let
be a continuous function satisfying
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F983052/MediaObjects/13660_2010_Article_2319_Equ27_HTML.gif)
for and
, where
is a continuous function. Then, for any rd-continuous function
, any nonnegative constants
and
satisfying
, inequality (III) implies that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F983052/MediaObjects/13660_2010_Article_2319_Equ28_HTML.gif)
where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F983052/MediaObjects/13660_2010_Article_2319_Equ29_HTML.gif)
Proof.
Define a function by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F983052/MediaObjects/13660_2010_Article_2319_Equ30_HTML.gif)
Then, and
. According to the straightforward computation, from (3.20) we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F983052/MediaObjects/13660_2010_Article_2319_Equ31_HTML.gif)
Note that C
and
. By Lemma 3.1, we get (3.21).
Remark 3.10.
For some particular cases of ,
,
and
, Theorems 3.8 and 3.9 include Theorem
, Theorem
, Corollary
, Corollary
in [6], Theorem
, Theorem
and Theorem
in [14] as special cases.
Remark 3.11.
Some other integral inequalities on time scales were studied in [8, 9] by using Lemma in [6]. Since Lemma 3.1 generalizes and improves Lemma
, similar to the arguments in this paper, the results in [8, 9] can also be generalized and improved based on Lemma 3.1.
4. Applications
To illustrate the usefulness of the results, we state the corresponding theorems in the previous section for the special cases and
.
Corollary 4.1.
Let and let
be continuous. Then, for any continuous function
on
, any nonnegative constants
and
satisfying
, inequality (I) implies that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F983052/MediaObjects/13660_2010_Article_2319_Equ32_HTML.gif)
where and
are defined as in Theorem 3.5.
Corollary 4.2.
Let and
. Then, for any function
on
, any nonnegative constants
and
satisfying
, inequality (I) implies that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F983052/MediaObjects/13660_2010_Article_2319_Equ33_HTML.gif)
where and
are defined as in Theorem 3.5.
Corollary 4.3.
Assume that and
are continuous. Let
be defined as in Lemma 3.4 such that
for
and (3.5) holds. Then, for any continuous function
on
, any nonnegative constants
and
satisfying
, inequality (II) implies that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F983052/MediaObjects/13660_2010_Article_2319_Equ34_HTML.gif)
where and
are the same as in Theorem 3.8.
Corollary 4.4.
Assume that and
. Let
be defined as in Lemma 3.4 such that
for
and (3.5) holds. Then, for any function
on
, any nonnegative constants
and
satisfying
, inequality (II) implies that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F983052/MediaObjects/13660_2010_Article_2319_Equ35_HTML.gif)
where and
are the same as in Theorem 3.8.
Corollary 4.5.
Assume that and
are nonnegative continuous functions. Let
be a continuous function satisfying (3.20). Then, for any continuous function
on
, any nonnegative constants
and
satisfying
, inequality (III) implies that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F983052/MediaObjects/13660_2010_Article_2319_Equ36_HTML.gif)
where and
are defined as in Theorem 3.9.
Corollary 4.6.
Assume that and
are nonnegative functions on
. Let
be a function satisfying (3.20). Then, for any function
on
, any nonnegative constants
and
satisfying
, inequality (III) implies that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F983052/MediaObjects/13660_2010_Article_2319_Equ37_HTML.gif)
where and
are defined as in Theorem 3.9.
Remark 4.7.
It is not difficult to provide similar results for other specific time scales of interest. For example, consider the time scale with
. Note that
and
for any
; we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F983052/MediaObjects/13660_2010_Article_2319_Equ38_HTML.gif)
for and
. Thus, Theorems 3.5–3.9 can be easily applied.
Finally, we apply Theorem 3.5 to a numerical example. Consider the following initial value problem on time scales:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F983052/MediaObjects/13660_2010_Article_2319_Equ39_HTML.gif)
where is a continuous function satisfying
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F983052/MediaObjects/13660_2010_Article_2319_Equ40_HTML.gif)
where and
are nonnegative rd-continuous functions on
. Then, by Theorem 3.5, we see that the solution of (4.8) satisfies
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F983052/MediaObjects/13660_2010_Article_2319_Equ41_HTML.gif)
where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F983052/MediaObjects/13660_2010_Article_2319_Equ42_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F983052/MediaObjects/13660_2010_Article_2319_IEq278_HTML.gif)
are nonnegative constants, and .
In fact, the solution of (4.8) satisfies the following integral inequality:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F983052/MediaObjects/13660_2010_Article_2319_Equ43_HTML.gif)
It yields
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F983052/MediaObjects/13660_2010_Article_2319_Equ44_HTML.gif)
Using Theorem 3.5 with ,
and
, we see that (4.13) implies (4.10).
References
Hilger S: Analysis on measure chains-a unified approach to continuous and discrete calculus. Results in Mathematics 1990, 18(1–2):18–56.
Agarwal R, Bohner M, Peterson A: Inequalities on time scales: a survey. Mathematical Inequalities & Applications 2001, 4(4):535–557.
Akin-Bohner E, Bohner M, Akin F: Pachpatte inequalities on time scales. Journal of Inequalities in Pure and Applied Mathematics 2005., 6(1, article 6):
Li WN: Some new dynamic inequalities on time scales. Journal of Mathematical Analysis and Applications 2006, 319(2):802–814. 10.1016/j.jmaa.2005.06.065
Li WN: Some Pachpatte type inequalities on time scales. Computers & Mathematics with Applications 2009, 57(2):275–282. 10.1016/j.camwa.2008.09.040
Li WN, Sheng W: Some nonlinear integral inequalities on time scales. Journal of Inequalities and Applications 2007, -15.
Li WN, Sheng W: Some nonlinear dynamic inequalities on time scales. Indian Academy of Sciences and Mathematical Sciences 2007, 117(4):545–554. 10.1007/s12044-007-0044-7
Li WN: Some delay integral inequalities on time scales. Computers & Mathematics with Applications 2010, 59(6):1929–1936. 10.1016/j.camwa.2009.11.006
Anderson DR: Nonlinear dynamic integral inequalities in two independent variables on time scale pairs. Advances in Dynamical Systems and Applications 2008, 3(1):1–13.
Anderson DR: Dynamic double integral inequalities in two independent variables on time scales. Journal of Mathematical Inequalities 2008, 2(2):163–184.
Pachpatte DB: Explicit estimates on integral inequalities with time scale. Journal of Inequalities in Pure and Applied Mathematics 2006., 7(4, article 143):
Wong F-H, Yeh C-C, Hong C-H: Gronwall inequalities on time scales. Mathematical Inequalities & Applications 2006, 9(1):75–86.
Wong F-H, Yeh C-C, Yu S-L, Hong C-H: Young's inequality and related results on time scales. Applied Mathematics Letters 2005, 18(9):983–988. 10.1016/j.aml.2004.06.028
Pachpatte BG: On some new inequalities related to a certain inequality arising in the theory of differential equations. Journal of Mathematical Analysis and Applications 2000, 251(2):736–751. 10.1006/jmaa.2000.7044
Bohner M, Peterson A: Dynamic Equations on Time Scales. Birkhäuser, Boston, Mass, USA; 2001:x+358. An introduction with application
Bohner M, Peterson A (Eds): Advances in Dynamic Equations on Time Scales. Birkhäuser, Boston, Mass, USA; 2003:xii+348.
Hardy GH, Littlewood JE, Pólya G: Inequalities. Cambridge University Press, Cambridge, UK; 1934.
Acknowledgment
The author thanks the referees for their valuable suggestions and helpful comments on this paper. This work was supported by the National Natural Science Foundation of China under the grant 60704039.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Sun, Y. Some Sublinear Dynamic Integral Inequalities on Time Scales. J Inequal Appl 2010, 983052 (2010). https://doi.org/10.1155/2010/983052
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1155/2010/983052