Skip to main content

Some new integral inequalities on time scales containing integration on infinite intervals

Abstract

In this paper, some new Gronwall-Bellman type integral inequalities on time scales containing integration on infinite intervals are established. They provide new bounds for unknown functions concerned and can be used as a handy tool in the research of qualitative and quantitative properties of solutions of certain dynamic equations on time scales.

MSC:26E70, 26D15, 26D10.

1 Introduction

The development of the theory of time scales was initiated by Hilger [1] as a theory capable to contain both difference and differential calculus in a consistent way. Since then many authors have expounded on various aspects of the theory of dynamic equations on time scales (for example, see [29], and the references therein). In these investigations, integral inequalities on time scales have been paid much attention by many authors, and a lot of integral inequalities on time scales have been established (for example, see [516] and the references therein), which are mainly designed to unify continuous and discrete analysis and play an important role in the research of boundedness, uniqueness, stability of solutions of dynamic equations on time scales. Among these inequalities, Gronwall-Bellman type integral inequalities are of particular importance as such inequalities provide explicit bounds for unknown functions. For related results, we refer to [1016]. But to our knowledge, Gronwall-Bellman type integral inequalities on time scales containing integration on infinite intervals have been paid little attention so far in the literature.

In this paper, we establish some new Gronwall-Bellman type integral inequalities on time scales containing integration on infinite intervals. New explicit bounds for unknown functions concerned are obtained due to the presented inequalities. Also we present some applications for the established results.

2 Some preliminaries

Throughout this paper, denotes the set of real numbers and R + =[0,), while denotes the set of integers. For two given sets G, H, we denote the set of maps from G to H by (G,H).

A time scale is an arbitrary nonempty closed subset of real numbers. In this paper, T denotes an arbitrary time scale. On T we define the forward and backward jump operators σ(T,T) and ρ(T,T) such that σ(t)=inf{sT,s>t}, ρ(t)=sup{sT,s<t}.

Definition 2.1 The graininess μ(T, R + ) is defined by μ(t)=σ(t)t.

Definition 2.2 The cylinder transformation ξ h is defined by

ξ h (z)={ Log ( 1 + h z ) h if  h 0 ( for  z 1 h ) , z if  h = 0 ,

where Log is the principal logarithm function.

Definition 2.3 For pR, the exponential function is defined by

e p (t,s)=exp ( s t ξ μ ( τ ) ( p ( τ ) ) Δ τ ) for s,tT.

Definition 2.4 If sup t T t=, pR, we define

e p (,s)=exp ( s ξ μ ( τ ) ( p ( τ ) ) Δ τ ) for tT.

Remark 2.1 If T=R, then we have

{ e p ( t , s ) = exp ( s t p ( τ ) d τ ) for  s , t R , e p ( , s ) = exp ( s p ( τ ) d τ ) for  s R .

If T=Z, then we have

{ e p ( t , s ) = τ = s t 1 [ 1 + p ( τ ) ] for  s , t Z  and  s < t , e p ( , s ) = τ = s [ 1 + p ( τ ) ] for  s Z .

The following two theorems include some known properties on the exponential function.

Theorem 2.1 [[17], Theorem 5.2]

If pR, then the following conclusions hold:

  1. (i)

    e p (t,t)1 and e 0 (t,s)1,

  2. (ii)

    e p (σ(t),s)=(1+μ(t)p(t)) e p (t,s),

  3. (iii)

    if p R + , then e p (t,s)>0, s,tT,

  4. (iv)

    if p R + , then p R + ,

  5. (v)

    e p (t,s)= 1 e p ( s , t ) = e p (s,t),

where p= p 1 + μ p .

Remark 2.2 If s=, then Theorem 2.1(iii), (v) still holds.

Theorem 2.2 [[17], Theorem 5.1]

If pR, and fix t 0 T, then the exponential function e p (t, t 0 ) is the unique solution of the following initial value problem:

{ y Δ ( t ) = p ( t ) y ( t ) , y ( t 0 ) = 1 .

For more details about the calculus of time scales, we refer to [18, 19].

The following lemma is important for proving our results.

Lemma 2.1 Suppose that sup t T κ t=, u,q C rd , p R + , and u is delta differential at t T κ , then

u Δ (t)p(t)u(t)q(t),t T κ
(2.1)

implies

u(t)u() e p (,t)+ t q(s) e p ( t , σ ( s ) ) Δs,t T κ .
(2.2)

Proof Since p R + , then from Theorem 2.1(iv) we have p R + , and furthermore, from Theorem 2.1(iii) we obtain e p (t,α)>0, α T κ .

So,

[ u ( t ) e p ( t , α ) ] Δ = [ e p ( t , α ) ] Δ u(t)+ e p ( σ ( t ) , α ) u Δ (t).
(2.3)

On the other hand, from Theorem 2.2 we have

[ e p ( t , α ) ] Δ =(p)(t) e p (t,α).
(2.4)

So, combining (2.3), (2.4) and Theorem 2.1, it follows that

[ u ( t ) e p ( t , α ) ] Δ = ( p ) ( t ) e p ( t , α ) u ( t ) + e p ( σ ( t ) , α ) u Δ ( t ) = e p ( σ ( t ) , α ) [ ( p ) ( t ) 1 + μ ( t ) ( p ) ( t ) u ( t ) + u Δ ( t ) ] = e p ( σ ( t ) , α ) [ u Δ ( t ) p ( t ) u ( t ) ] .
(2.5)

Substituting t with s and an integration for (2.5) with respect to s from α to ∞ yield

u() e p (,α)u(α) e p (α,α)= α e p ( σ ( s ) , α ) [ u Δ ( s ) p ( s ) u ( s ) ] Δs.
(2.6)

Since e p (α,α)=1, from (2.1) and (2.6) we have

u() e p (,α)u(α) α e p ( σ ( s ) , α ) q(s)Δs= α e p ( α , σ ( s ) ) q(s)Δs,

which is followed by

u(α)u() e p (,α)+ α e p ( α , σ ( s ) ) q(s)Δs.
(2.7)

Since α T κ is arbitrary, after substituting α with t, we obtain the desired inequality. □

Lemma 2.2 [20]

Assume that a0, pq0, and p0, then for any K>0

a q p q p K q p p a+ p q p K q p .

3 Main results

Theorem 3.1 Suppose that sup t T κ t=, u,a,f,g,h C rd (T, R + ), and a is decreasing. If u(t) satisfies the following inequality:

u(t)a(t)+ t [ f ( s ) u ( s ) + g ( s ) s h ( ξ ) u ( ξ ) Δ ξ ] Δs,t T κ ,
(3.1)

then

u(t)a(t) e f ˜ (,t),t T κ ,
(3.2)

provided that 1+μ(t) f ˜ (t)>0, where

f ˜ (t)= [ f ( t ) + g ( t ) t h ( ξ ) Δ ξ ] .
(3.3)

Proof Fix T T κ , and let t[T,) T κ . Since a(t) is decreasing on T κ , from (3.1) we have

u(t)a(T)+ t [ f ( s ) u ( s ) + g ( s ) s h ( ξ ) u ( ξ ) Δ ξ ] Δs,t[T,) T κ .
(3.4)

Denote the right-hand side of (3.4) by v(t). Then it follows that

u(t)v(t),t[T,) T κ ;
(3.5)

and furthermore,

v Δ ( t ) = [ f ( t ) u ( t ) + g ( t ) t h ( ξ ) u ( ξ ) Δ ξ ] [ f ( t ) + g ( t ) t h ( ξ ) Δ ξ ] v ( t ) = f ˜ ( t ) v ( t ) ,
(3.6)

where f ˜ is defined in (3.3).

Under the condition 1+μ(t) f ˜ (t)>0, in fact we have f ˜ R + . So, a suitable application of Lemma 2.1 yields

v(t)v() e f ˜ (,t),t[T,) T κ .
(3.7)

Since v()=a(T), then (3.7) can be rewritten as

v(t)a(T) e f ˜ (,t),t[T,) T κ .
(3.8)

Combining (3.8) with (3.5), we have

u(t)a(T) e f ˜ (,t),t[T,) T κ .
(3.9)

Setting t=T in (3.9), since T is selected from T κ arbitrarily, after substituting T with t, we obtain the desired inequality (3.2). □

Since T is an arbitrary time scale, if we take T for some peculiar cases, then we have the following corollaries.

Corollary 3.1 Suppose that T=R. u,a,f,g,hC(R, R + ), and a is decreasing on . If u(t) satisfies the following inequality:

u(t)a(t)+ t [ f ( s ) u ( s ) + g ( s ) s h ( ξ ) u ( ξ ) d ξ ] ds,tR,
(3.10)

then

u(t)a(t)exp ( t f ˜ ( τ ) d τ ) ,tR,
(3.11)

where f ˜ (t)=[f(t)+g(t) t h(ξ)dξ].

Proof When T=R, we have μ(t)=σ(t)t0, and then f ˜ = f ˜ 1 + μ f ˜ = f ˜ . Obviously, 1+μ(t) f ˜ (t)=1>0. Furthermore, from Remark 2.1 we have

e f ˜ (,t)=exp ( t ( f ˜ ) ( τ ) d τ ) =exp ( t f ˜ ( τ ) d τ ) .
(3.12)

Combining (3.12) and (3.2), we obtain the desired result. □

Corollary 3.2 Suppose that T=Z. u,a,f,g,h(Z, R + ), and a is decreasing on . If u(n) satisfies the following inequality:

u(n)a(n)+ s = n [ f ( s ) u ( s ) + g ( s ) ξ = s h ( ξ ) u ( ξ ) ] ,nZ,
(3.13)

then

u(n)a(n) τ = n 1 1 + f ˜ ( τ ) ,nZ,
(3.14)

provided that 1+ f ˜ (n)>0, where f ˜ (n)=[f(n)+g(n) ξ = n h(ξ)].

Proof When T=Z, we have μ(n)=σ(n)n1, nZ, and then f ˜ = f ˜ 1 + μ f ˜ = f ˜ 1 + f ˜ . Furthermore, from Remark 2.1 we have

e f ˜ (,n)= τ = n [ 1 + ( f ˜ ) ( τ ) ] = τ = n 1 1 + f ˜ ( τ ) .
(3.15)

Combining (3.15) and (3.2), we obtain the desired result. □

Theorem 3.2 Suppose that sup t T κ t=, u, a, f, g are defined as in Theorem  3.1. p is a positive number with p1. If u(t) satisfies the following inequality:

u p (t)a(t)+ t [ f ( s ) u ( s ) + g ( s ) ] Δs,t T κ ,
(3.16)

then

u(t) { a ( t ) e f ˆ ( , t ) + t g ˆ ( s ) e f ˆ ( t , σ ( s ) ) Δ s } 1 p ,t T κ ,
(3.17)

provided 1+μ(t) f ˆ (t)>0, where

{ f ˆ ( t ) = f ( t ) 1 p K 1 p p , g ˆ ( t ) = f ( t ) p 1 p K 1 p + g ( t ) , K > 0 .
(3.18)

Proof Fix T T κ . Let t[T,) T κ , and

v(t)=a(T)+ t [ f ( s ) u ( s ) + g ( s ) ] Δs,t T κ .
(3.19)

Then

u(t) v 1 p (t),t[T,) T κ ,
(3.20)

and furthermore,

v Δ (t)= [ f ( t ) u ( t ) + g ( t ) ] [ f ( t ) v 1 p ( t ) + g ( t ) ] ,t[T,) T κ .
(3.21)

On the other hand, from Lemma 2.2 we have

v 1 p (t) 1 p K 1 p p v(t)+ p 1 p K 1 p ,K>0.
(3.22)

So, combining (3.21) and (3.22), we obtain

v Δ ( t ) [ f ( t ) ( 1 p K 1 p p v ( t ) + p 1 p K 1 p ) + g ( t ) ] = f ˆ ( t ) v ( t ) g ˆ ( t ) , t [ T , ) T κ ,
(3.23)

where f ˆ and g ˆ are defined in (3.18).

Since v()=a(T), and 1+μ(t) f ˆ (t)>0, we have f ˆ (t) R + , and a suitable application of Lemma 2.1 yields

v(t)a(T) e f ˆ (,t)+ t g ˆ (s) e f ˆ ( t , σ ( s ) ) Δs,t[T,) T κ .
(3.24)

Combining (3.24) and (3.20), we have

u(t) { a ( T ) e f ˆ ( , t ) + t g ˆ ( s ) e f ˆ ( t , σ ( s ) ) Δ s } 1 p ,t[T,) T κ .
(3.25)

Setting t=T in (3.25), and considering T is selected from T κ arbitrarily, after substituting T with t, we obtain the desired inequality (3.17). □

Corollary 3.3 Suppose that T=R. u,a,f,gC(R, R + ), and a is decreasing on . p is defined as in Theorem  3.2. If u(t) satisfies the following inequality:

u p (t)a(t)+ t [ f ( s ) u ( s ) + g ( s ) ] ds,tR,
(3.26)

then

u(t) { a ( t ) exp ( t f ˆ ( τ ) d τ ) + t g ˆ ( s ) exp ( s t f ˆ ( τ ) d τ ) d s } 1 p ,tR,
(3.27)

where f ˆ , g ˆ are the same as in Theorem  3.2.

Corollary 3.4 Suppose that T=Z. u,a,f,g(Z, R + ), and a is decreasing on . p is defined as in Theorem  3.2. If u(n) satisfies the following inequality:

u p (n)a(n)+ s = n [ f ( s ) u ( s ) + g ( s ) ] ,nZ,
(3.28)

then

u(n) { a ( n ) τ = n 1 1 + f ˆ ( τ ) + s = n g ˆ ( s ) ( τ = n s 1 1 + f ˆ ( τ ) ) } 1 p ,nZ,
(3.29)

where f ˆ , g ˆ are the same as in Theorem  3.2.

The proofs for Corollaries 3.3 and 3.4 are similar to those for Corollaries 3.1 and 3.2, and we omit them here.

Theorem 3.3 Suppose that sup t T κ t=, u, a, f, g, h are defined as in Theorem  3.1, and p1. If u(t) satisfies the following inequality:

u p (t)a(t)+ t [ f ( s ) u p ( s ) + g ( s ) u ( s ) + h ( s ) ] Δs,t T κ ,
(3.30)

then

u(t) { [ a ( t ) e H 1 ( , t ) + t H 2 ( s ) e H 1 ( t , σ ( s ) ) Δ s ] e ( f ) ( , t ) } 1 p ,
(3.31)

provided that 1μ(t)f(t)>0, 1+μ(t) H 1 (t)>0, where

{ H 1 ( t ) = g ( t ) 1 p K 1 p p e ( f ) ( , t ) , H 2 ( t ) = g ( t ) p 1 p K 1 p + h ( t ) , K > 0 .
(3.32)

Proof Let

v(t)=a(t)+ t [ g ( s ) u ( s ) + h ( s ) ] Δs,t T κ .
(3.33)

Then

u p (t)v(t)+ t f(s) u p (s)Δs,t T κ .
(3.34)

Since 1μ(t)f(t)>0, we have f R + , and furthermore (f) R + . Treating u p (t) as a variable, by Corollary 3.5 we obtain

u p (t)v(t) e ( f ) (,t),t T κ .
(3.35)

Now fix T T κ . Let t[T,) T κ , and

y(t)=a(T)+ t [ g ( s ) u ( s ) + h ( s ) ] Δs,t T κ .
(3.36)

Then

v(t)y(t),t[T,) T κ .
(3.37)

Since (f) R + , we have e ( f ) (,t)>0. From (3.35) and Lemma 2.2, we obtain

y Δ ( t ) = [ g ( t ) u ( t ) + h ( t ) ] [ g ( t ) ( v ( t ) e ( f ) ( , t ) ) 1 p + h ( t ) ] [ g ( t ) ( 1 p K 1 p p v ( t ) e ( f ) ( , t ) + p 1 p K 1 p ) + h ( t ) ] [ g ( t ) ( 1 p K 1 p p y ( t ) e ( f ) ( , t ) + p 1 p K 1 p ) + h ( t ) ] = H 1 ( t ) y ( t ) H 2 ( t ) ,
(3.38)

where H 1 , H 2 are defined in (3.32).

Since 1+μ(t) H 1 (t)>0, we have H 1 R + , and a suitable application of Lemma 2.1 yields

y(t)y() e H 1 (,t)+ t H 2 (s) e H 1 ( t , σ ( s ) ) Δs.
(3.39)

Since y()=a(T), we obtain

y(t)a(T) e H 1 (,t)+ t H 2 (s) e H 1 ( t , σ ( s ) ) Δs.
(3.40)

Combining (3.35), (3.37) and (3.40), we obtain

u ( t ) { [ a ( T ) e H 1 ( , t ) + t H 2 ( s ) e H 1 ( t , σ ( s ) ) Δ s ] e ( f ) ( , t ) } 1 p , t [ T , ) T κ .
(3.41)

Setting t=T in (3.41) yields

u(T) { [ a ( T ) e H 1 ( , T ) + T H 2 ( s ) e H 1 ( T , σ ( s ) ) Δ s ] e ( f ) ( , T ) } 1 p .
(3.42)

Since T is selected from T κ arbitrarily, substituting T with t in (3.42), we obtain the desired inequality (3.31). □

Corollary 3.5 Suppose that T=R. u,a,f,g,hC(R, R + ), and a is decreasing on . p is defined as in Theorem  3.3. If u(t) satisfies the following inequality:

u p (t)a(t)+ t [ f ( s ) u p ( s ) + g ( s ) u ( s ) + h ( s ) ] ds,tR,
(3.43)

then

u ( t ) { [ a ( t ) exp ( t H 1 ( τ ) d τ ) + t H 2 ( s ) exp ( s t H 1 ( τ ) d τ ) d s ] × exp ( t f ( τ ) d τ ) } 1 p , t R ,
(3.44)

where H 1 (t)=g(t) 1 p K 1 p p exp( t f(τ)dτ), and H 2 is defined as in Theorem  3.3.

Corollary 3.6 Suppose that T=Z. u,a,f,g(Z, R + ), and a is decreasing on . p is the same as in Theorem  3.3. If u(n) satisfies the following inequality:

u p (n)a(n)+ s = n [ f ( s ) u p ( s ) + g ( s ) u ( s ) + h ( s ) ] ,nZ,
(3.45)

then

u ( n ) { { a ( n ) τ = n 1 1 + H 1 ( τ ) + s = n [ H 2 ( s ) ( τ = n s 1 1 + H 1 ( τ ) ) ] } τ = n 1 1 f ( τ ) } 1 p , n Z ,
(3.46)

where H 1 (τ)=g(τ) 1 p K 1 p p ξ = τ 1 1 f ( ξ ) , and H 2 is defined as in Theorem  3.3.

Theorem 3.4 Suppose that sup t T κ t=, u, a, f are defined as in Theorem  3.1, and p1. LC( T κ × R + , R + ), and 0L(s,x)L(s,y)M(s,y)(xy) for xy0, where MC( T κ × R + , R + ). If u(t) satisfies the following inequality:

u p (t)a(t)+ t [ f ( s ) u p ( s ) + L ( s , u ( s ) ) ] Δs,t T κ ,
(3.47)

then

u(t) { [ a ( t ) e H ˆ 1 ( , t ) + t H ˆ 2 ( s ) e H ˆ 1 ( t , σ ( s ) ) Δ s ] e ( f ) ( , t ) } 1 p ,
(3.48)

provided that 1μ(t)f(t)>0, 1+μ(t) H ˆ 1 (t)>0, where

{ H ˆ 1 ( t ) = M ( t , ( e ( f ) ( , t ) ) 1 p p 1 p K 1 p ) ( e ( f ) ( , t ) ) 1 p 1 p K 1 p p , H ˆ 2 ( t ) = L ( t , ( e ( f ) ( , t ) ) 1 p p 1 p K 1 p ) , K > 0 .
(3.49)

Proof Let

v(t)=a(t)+ t L ( s , u ( s ) ) Δs,t T κ .
(3.50)

Then

u p (t)v(t)+ t f(s) u p (s)Δs,t T κ .
(3.51)

Similar to the process of (3.34) to (3.35), we obtain

u p (t)v(t) e ( f ) (,t),t T κ .
(3.52)

Now fix T T κ . Let t[T,) T κ , and

y(t)=a(T)+ t L ( s , u ( s ) ) Δs,t T κ .
(3.53)

Then

v(t)y(t),t[T,) T κ .
(3.54)

Since 1μ(t)f(t)>0, we have (f) R + , and furthermore e ( f ) (,t)>0. From (3.52), (3.54) and Lemma 2.2, we obtain

y Δ ( t ) = L ( t , u ( t ) ) L ( t , ( y ( t ) ( e ( f ) ( , t ) ) 1 p ) ) L ( t , ( e ( f ) ( , t ) ) 1 p 1 p K 1 p p y ( t ) + ( e ( f ) ( , t ) ) 1 p p 1 p K 1 p ) = [ L ( t , ( e ( f ) ( , t ) ) 1 p 1 p K 1 p p y ( t ) + ( e ( f ) ( , t ) ) 1 p p 1 p K 1 p ) L ( t , ( e ( f ) ( , t ) ) 1 p p 1 p K 1 p ) + L ( t , ( e ( f ) ( , t ) ) 1 p p 1 p K 1 p ) ] [ M ( t , ( e ( f ) ( , t ) ) 1 p p 1 p K 1 p ) ( e ( f ) ( , t ) ) 1 p 1 p K 1 p p y ( t ) + L ( t , ( e ( f ) ( , t ) ) 1 p p 1 p K 1 p ) ] = H ˆ 1 ( t ) y ( t ) H ˆ 2 ( t ) ,
(3.55)

where H ˆ 1 , H ˆ 2 are defined in (3.49).

We note that the structure of (3.55) is just similar to (3.38). So, following in a similar manner as the process of (3.38)-(3.40), we deduce

y(t)a(T) e H ˆ 1 (,t)+ t H ˆ 2 (s) e H ˆ 1 ( t , σ ( s ) ) Δs.
(3.56)

Combining (3.52), (3.54) and (3.56), we obtain

u ( t ) { [ a ( T ) e H ˆ 1 ( , t ) + t H ˆ 2 ( s ) e H ˆ 1 ( t , σ ( s ) ) Δ s ] e ( f ) ( , t ) } 1 p , t [ T , ) T κ .
(3.57)

Setting t=T in (3.57), since T is selected from T κ arbitrarily, after substituting T with t, we obtain the desired inequality (3.48). □

Remark 3.1 If we take T=R or T=Z in Theorem 3.4, then we obtain another two corollaries, which are similar to Corollaries 3.1-3.6.

4 Applications

In this section, we give some applications for the results presented above. In Examples 1 and 3, new explicit bounds for solutions of certain dynamic equations on time scales are derived by the results established, while in Example 2, we deal with the quantitative properties of solutions of a kind of a dynamical equation on time scales.

Example 1 Consider the following dynamic integral equation on time scales:

u p (t)=C+ t F ( s , u ( s ) ) Δs,t T κ ,
(4.1)

with the condition u()=C, where u C rd (T,R), p is a positive number with p1.

Assume that |F(t,u)|f(t)|u|+g(t), where f,g,h C rd (T, R + ), then

|u(t)| { | C | e f ˆ ( , t ) + t g ˆ ( s ) e f ˆ ( t , σ ( s ) ) Δ s } 1 p ,t T κ ,
(4.2)

provided 1+μ(t) f ˆ (t)>0, where f ˆ (t), g ˆ (t) are defined the same as in Theorem 3.2.

In fact, from (4.1) we have

| u ( t ) | p |C|+ t | F ( s , u ( s ) ) | Δs|C|+ t [ f ( s ) | u ( s ) | + g ( s ) ] Δs.

Then a suitable application of Theorem 3.2 yields the desired result.

Example 2 Consider the following dynamic integral equation on time scales:

u(t)=C+ t F ( s , u ( s ) ) Δs,t T κ ,
(4.3)

where u is the same as in Example 1.

Assume that |F(t, u 1 )F(t, u 2 )|f(t)| u 1 (t) u 2 (t)|, where f C rd (T, R + ), then Eq. (4.3) has at most one solution.

In fact, if u 1 (t) and u 2 (t) are two solutions to Eq. (4.3), then

| u 1 ( t ) u 2 ( t ) | = | t F ( s , u 1 ( s ) ) F ( s , u 2 ( s ) ) Δ s | t | F ( s , u 1 ( s ) ) F ( s , u 2 ( s ) ) | Δ s t f ( s ) | u 1 ( s ) u 2 ( s ) | Δ s .
(4.4)

Then a suitable application of Theorem 3.1 yields | u 1 (t) u 2 (t)|0, which implies u 1 (t) u 2 (t).

Example 3 Consider the following dynamic differential equation on time scales:

( u p ( t ) ) Δ =G ( t , u ( t ) ) ,t T κ ,
(4.5)

with the condition u()=C, where u C rd (T,R), and p is a constant with p1.

Assume that |G(t,u)|f(t) | u | p +L(t,|u(t)|), where f, L are defined the same as in Theorem 3.4, then

| u ( t ) | { [ | C | e H ˆ 1 ( , t ) + t H ˆ 2 ( s ) e H ˆ 1 ( t , σ ( s ) ) Δ s ] e ( f ) ( , t ) } 1 p ,
(4.6)

provided that 1μ(t)f(t)>0, 1+μ(t) H ˆ 1 (t)>0, where H ˆ 1 (t), H ˆ 2 (t) are the same as in Theorem 3.4.

In fact, considering u()=C, then the equivalent form of (4.5) is denoted by

u p (t)=C+ t G ( s , u ( s ) ) Δs,t T κ .
(4.7)

Furthermore,

| u ( t ) | p | C | + t | G ( s , u ( s ) ) | Δ s | C | + t [ f ( s ) | u ( s ) | p + L ( s , | u ( s ) | ) ] Δ s , t T κ .
(4.8)

Then a suitable application of Theorem 3.4 yields the desired inequality (4.6).

5 Conclusions

We have established some new Gronwall-Bellman type integral inequalities on time scales containing integration on infinite intervals, which can be used in the research of boundedness and other qualitative properties as well as quantitative properties of solutions of certain dynamic equations on time scales. From the corollaries in Section 3, one can see the established inequalities unify continuous and discrete analysis. Finally, we note that the process of Theorems 3.1-3.4 can be applied to establish delay inequalities with two independent variables on time scales.

References

  1. Hilger S: Analysis on measure chains - a unified approach to continuous and discrete calculus. Results Math. 1990, 18: 18–56. 10.1007/BF03323153

    Article  MathSciNet  Google Scholar 

  2. Bohner M, Erbe L, Peterson A: Oscillation for nonlinear second order dynamic equations on a time scale. J. Math. Anal. Appl. 2005, 301(2):491–507. 10.1016/j.jmaa.2004.07.038

    Article  MathSciNet  Google Scholar 

  3. Xing Y, Han M, Zheng G: Initial value problem for first-order integro-differential equation of Volterra type on time scales. Nonlinear Anal. TMA 2005, 60(3):429–442.

    MathSciNet  Google Scholar 

  4. Agarwal RP, Bohner M, O’Regan D, Peterson A: Dynamic equations on time scales: a survey. J. Comput. Appl. Math. 2006, 141(1–2):1–26.

    Article  MathSciNet  Google Scholar 

  5. Liu WJ, Li CC, Hao YM: Further generalization of some double integral inequalities and applications. Acta Math. Univ. Comen. 2008, 77(1):147–154.

    MathSciNet  Google Scholar 

  6. Cheng XL: Improvement of some Ostrowski-Grüss type inequalities. Comput. Math. Appl. 2001, 42: 109–114. 10.1016/S0898-1221(01)00135-3

    Article  MathSciNet  Google Scholar 

  7. Bohner M, Matthews T: The Grüss inequality on time scales. Commun. Math. Anal. 2007, 3(1):1–8.

    MathSciNet  Google Scholar 

  8. Ngô QA: Some mean value theorems for integrals on time scales. Appl. Math. Comput. 2009, 213: 322–328. 10.1016/j.amc.2009.03.025

    Article  MathSciNet  Google Scholar 

  9. Liu WJ, Ngô QA: Some Iyengar-type inequalities on time scales for functions whose second derivatives are bounded. Appl. Math. Comput. 2010, 216: 3244–3251. 10.1016/j.amc.2010.04.049

    Article  MathSciNet  Google Scholar 

  10. Saker SH: Some nonlinear dynamic inequalities on time scales and applications. J. Math. Inequal. 2010, 4: 561–579.

    Article  MathSciNet  Google Scholar 

  11. Saker SH: Some nonlinear dynamic inequalities on time scales. Math. Inequal. Appl. 2011, 14(3):633–645.

    MathSciNet  Google Scholar 

  12. Li WN: Some delay integral inequalities on time scales. Comput. Math. Appl. 2010, 59: 1929–1936. 10.1016/j.camwa.2009.11.006

    Article  MathSciNet  Google Scholar 

  13. Ma QH, Pečarić J: The bounds on the solutions of certain two-dimensional delay dynamic systems on time scales. Comput. Math. Appl. 2011, 61: 2158–2163. 10.1016/j.camwa.2010.09.001

    Article  MathSciNet  Google Scholar 

  14. Saker SH: Nonlinear dynamic inequalities of Gronwall-Bellman type on time scales. Electron. J. Qual. Theory Differ. Equ. 2011., 2011: Article ID 86

    Google Scholar 

  15. Li WN: Some new dynamic inequalities on time scales. J. Math. Anal. Appl. 2006, 319: 802–814. 10.1016/j.jmaa.2005.06.065

    Article  MathSciNet  Google Scholar 

  16. Feng QH, Meng FW, Zheng B: Gronwall-Bellman type nonlinear delay integral inequalities on time scales. J. Math. Anal. Appl. 2011, 382: 772–784. 10.1016/j.jmaa.2011.04.077

    Article  MathSciNet  Google Scholar 

  17. Agarwal RP, Bohner M, Peterson A: Inequalities on time scales: a survey. Math. Inequal. Appl. 2001, 4(4):535–557.

    MathSciNet  Google Scholar 

  18. Bohner M, Peterson A: Dynamic Equations on Time Scales: An Introduction with Applications. Birkhäuser, Boston; 2001.

    Book  Google Scholar 

  19. Feng QH, Meng FW, Zhang YM, Zheng B, Zhou JC: Some nonlinear delay integral inequalities on time scales arising in the theory of dynamics equations. J. Inequal. Appl. 2011., 2011: Article ID 29

    Google Scholar 

  20. Jiang FC, Meng FW: Explicit bounds on some new nonlinear integral inequality with delay. J. Comput. Appl. Math. 2007, 205: 479–486. 10.1016/j.cam.2006.05.038

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

The authors would like to thank the referees very much for their valuable suggestions on improving this paper.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Bin Zheng.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

ZM and CW carried out the main part of this article. All authors read and approved the final manuscript.

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.

Reprints and permissions

About this article

Cite this article

Meng, Z., Zheng, B. & Wen, C. Some new integral inequalities on time scales containing integration on infinite intervals. J Inequal Appl 2013, 245 (2013). https://doi.org/10.1186/1029-242X-2013-245

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1029-242X-2013-245

Keywords