Skip to main content

Some generalized Gronwall-Bellman type nonlinear delay integral inequalities for discontinuous functions

Abstract

In this work, some new generalized Gronwall-Bellman type nonlinear delay integral inequalities for discontinuous functions are established, which can be used as a handy tool in the quantitative and qualitative analysis of solutions of certain integral equations. The established results generalize the main results of Gao and Meng in (Math. Pract. Theory 39(22):198-203, 2009).

MSC:26D10, 26D15.

1 Introduction

In recent years, the research of various mathematical inequalities has been paid much attention to by many authors, and many integral inequalities have been established, which provide handy tools for investigating the quantitative and qualitative properties of solutions of integral and differential equations. Among these inequalities, Gronwall-Bellman type integral inequalities are of particular importance as such inequalities provide explicit bounds for unknown functions, and a lot of generalizations of Gronwall-Bellman type integral inequalities have been established (for example, see [116] and the references therein). But to our knowledge, most of the known integral inequalities are concerned with continuous functions, while very few authors undertake research in integral inequalities for discontinuous functions [1416]. Furthermore, delay integral inequalities containing integration on infinite intervals for discontinuous functions have not been reported in the literature so far.

In [1], Gao and Meng established a generalized Gronwall-Bellman type integral inequality, named Mate-Nevai type nonlinear integral inequality for continuous functions, which is one case of inequalities containing integration on infinite intervals for continuous functions. The related theorem reads as follows.

Theorem A Suppose that uC( R + , R + ), H,FC( R + × R + , R + ), and H(t,s), F(t,s) are decreasing in t for every fixed s. ϕC( R + , R + ) is strictly increasing, and ϕ()=. ψC( R + , R + ) is increasing. ψ( ϕ 1 )C( R + , R + ) is strictly increasing, and ψ( ϕ 1 ) is submultiplicative. If for C0 and t R + , u(t) satisfies

ϕ ( u ( t ) ) C+ t H(t,s)ϕ ( u ( s ) ) ds+ t F(t,s)ψ ( u ( s ) ) ds,

then for 0Tt, we have

u ( t ) ϕ 1 { exp [ t H ( t , s ) d s ] G 1 [ G ( C ) + t F ( t , s ) ψ ( ϕ 1 ( exp ( t H ( t , s ) d ξ ) ) ) d s ] } ,

where G(z)= z 0 z 1 ψ ( ϕ 1 ( s ) ) ds, z z 0 >0, G 1 is the inverse of G, and T R + is chosen so that

G(C)+ t F(t,s)ψ ( ϕ 1 ( exp ( t H ( t , s ) d ξ ) ) ) dsDom ( G 1 ) ,Tt<.

The inequality above appears to be useful in deriving bounds of solutions of certain integral equations, but it is inadequate to deal with boundedness for solutions of both integral equations for discontinuous functions and delay integral equations.

In the present paper, motivated by the work above, we establish some new generalized Mate-Nevai type nonlinear delay integral inequalities for discontinuous functions, which extend the main results in [1]. The establishment for the desired inequalities will be discussed in 1-D and 2-D cases respectively.

2 Main results

In the rest of the paper, we denote the set of real numbers as , and R + =[0,).

Theorem 2.1 Suppose that u(t) is a nonnegative continuous function defined on R + with the first kind of discontinuities at the points t i , i=1,2,,n, and 0 t 1 < t 2 << t n < t n + 1 =. f,gC( R + × R + , R + ), f 2 , g 2 C( R + × R + ,R), and f(s,t), g(s,t) are decreasing in t for every fixed s. p>0 is a constant. τC( R + , R + ) with τ(t)t, and τ(t) t i for t[ t i , t i + 1 ), i=0,1,,n. ωC( R + , R + ), and ω is nondecreasing with ω(u)>0 for u>0. Furthermore, ω is submultiplicative, that is, ω(αγ)ω(α)ω(γ) for α,γ R + . C, β i are constants, and C0, β i >0, i=1,2,,n. If for t R + , u(t) satisfies the following inequality:

u(t)C+ t f(s,t)u ( τ ( s ) ) ds+ t g(s,t)ω ( u ( τ ( s ) ) ) ds+ t < t j < β j u( t j 0),
(2.1)

then

u ( t ) G i 1 1 [ t t i g ˜ i 1 ( s ) exp ( f ˜ i 1 ( s ) ) ω ( exp ( f ˜ i 1 ( s ) ) ) d s ] exp ( f ˜ i 1 ( t ) ) , t [ t i 1 , t i ) , i = 1 , 2 , , n + 1 ,
(2.2)

where

{ G i 1 ( z ) = b i 1 z 1 ω ( s ) d s , i = 1 , 2 , , n + 1 , b n = C , b i 1 = a i + β i a i , i = 1 , 2 , n , a i = G i 1 [ t i t i + 1 g ˜ i ( s ) exp ( f ˜ i ( s ) ) ω ( exp ( f ˜ i ( s ) ) ) d s ] exp ( f ˜ i ( t i ) ) , i = 1 , 2 , , n , f ˜ i 1 ( t ) = t t i f ( s , t ) d s , i = 1 , 2 , , n + 1 , g ˜ i 1 ( t ) = d ( t t i g ( s , t ) d s ) d t , i = 1 , 2 , , n + 1 .
(2.3)

Proof Denote the right-hand side of (2.1) by v(t). Then

u(t)v(t).
(2.4)

Define

v ˜ i (t)= b i + t f(s,t)u ( τ ( s ) ) ds+ t g(s,t)ω ( u ( τ ( s ) ) ) ds,i=0,1,,n.
(2.5)

Case 1: If t[ t n ,) (in fact, t n + 1 =), then v(t)= v ˜ n (t). From the definition of τ, we have τ(t) t n for t[ t n ,). So, τ(t)[ t n ,), and from (2.4) we have

u ( τ ( t ) ) v ˜ n ( τ ( t ) ) v ˜ n (t).
(2.6)

Then

v ˜ n (t)C+ t f(s,t) v ˜ n (s)ds+ t g(s,t)ω ( v ˜ n ( s ) ) ds
(2.7)

and

v ˜ n ( t ) = f ( t , t ) u ( τ ( t ) ) + t f ( s , t ) t u ( τ ( s ) ) d s g ( t , t ) ω ( u ( τ ( t ) ) ) + t g ( s , t ) t ω ( u ( τ ( s ) ) ) d s f ( t , t ) v ˜ n ( t ) + t f ( s , t ) t v ˜ n ( s ) d s g ( t , t ) ω ( v ˜ n ( t ) ) + t g ( s , t ) t ω ( v ˜ n ( s ) ) d s [ f ( t , t ) + t f ( s , t ) t d s ] v ˜ n ( t ) + [ g ( t , t ) + t g ( s , t ) t d s ] ω ( v ˜ n ( t ) ) = d ( t f ( s , t ) d s ) d t v ˜ n ( t ) + d ( t g ( s , t ) d s ) d t ω ( v ˜ n ( t ) ) = d f ˜ n ( t ) d t v ˜ n ( t ) + g ˜ n ( t ) ω ( v ˜ n ( s ) ) ,

where f ˜ n , g ˜ n are defined in (2.3), and obviously g ˜ n (t)0. Furthermore, we have

v ˜ n (t) d f ˜ n ( t ) d t v ˜ n (t) g ˜ n (t)ω ( v ˜ n ( t ) ) .
(2.8)

Multiplying exp( f ˜ n (t)) on both sides of (2.8) yields

[ v ˜ n ( t ) exp ( f ˜ n ( t ) ) ] g ˜ n (t)exp ( f ˜ n ( t ) ) ω ( v ˜ n ( t ) ) .
(2.9)

Setting t=s in (2.9), by v ˜ n ()=C= b n , an integration for (2.9) with respect to s from t to ∞ yields

b n v ˜ n (t)exp ( f ˜ n ( t ) ) t g ˜ n (s)exp ( f ˜ n ( s ) ) ω ( v ˜ n ( s ) ) ds,
(2.10)

which implies

v ˜ n (t) { b n t g ˜ n ( s ) exp ( f ˜ n ( s ) ) ω ( v ˜ n ( s ) ) d s } exp ( f ˜ n ( t ) ) .
(2.11)

Define c(t)= b n t g ˜ n (s)exp( f ˜ n (s))ω( v ˜ n (s))ds. Then

v ˜ n (t)c(t)exp ( f ˜ n ( t ) ) .
(2.12)

Since g ˜ n (t)0, and ω is submultiplicative, we have

c ( t ) = g ˜ n ( t ) exp ( f ˜ n ( t ) ) ω ( v ˜ n ( t ) ) g ˜ n ( t ) exp ( f ˜ n ( t ) ) ω ( c ( t ) exp ( f ˜ n ( t ) ) ) g ˜ n ( t ) exp ( f ˜ n ( t ) ) ω ( c ( t ) ) ω ( exp ( f ˜ n ( t ) ) ) ,

that is,

c ( t ) ω ( c ( t ) ) g ˜ n (t)exp ( f ˜ n ( t ) ) ω ( exp ( f ˜ n ( t ) ) ) .
(2.13)

Setting t=s in (2.13), an integration for (2.13) with respect to s from t to ∞ yields

G n ( c ( ) ) G n ( c ( t ) ) t g ˜ n (s)exp ( f ˜ n ( s ) ) ω ( exp ( f ˜ n ( s ) ) ) ds.

By c()= b n , G n ( b n )=0, and G n is increasing, we obtain

c(t) G n 1 [ t g ˜ n ( s ) exp ( f ˜ n ( s ) ) ω ( exp ( f ˜ n ( s ) ) ) d s ] .
(2.14)

Combining (2.12) and (2.14), we obtain

u(t) v ˜ n (t) G n 1 [ t g ˜ n ( s ) exp ( f ˜ n ( s ) ) ω ( exp ( f ˜ n ( s ) ) ) d s ] exp ( f ˜ n ( t ) ) .
(2.15)

Especially,

u( t n ) v ˜ n ( t n ) G n 1 [ t n g ˜ n ( s ) exp ( f ˜ n ( s ) ) ω ( exp ( f ˜ n ( s ) ) ) d s ] exp ( f ˜ n ( t n ) ) = a n ,
(2.16)

where a n is defined in (2.3). At the same time, we have

u( t n 0) v ˜ n ( t n 0) a n .
(2.17)

Case 2: If t[ t n 1 , t n ), then from (2.1), (2.16) and (2.17), we have

u ( t ) C + t f ( s , t ) u ( τ ( s ) ) d s + t g ( s , t ) ω ( u ( τ ( s ) ) ) d s + β n u ( t n 0 ) = b n + t n f ( s , t ) u ( τ ( s ) ) d s + t n g ( s , t ) ω ( u ( τ ( s ) ) ) d s + t t n f ( s , t ) u ( τ ( s ) ) d s + t t n g ( s , t ) ω ( u ( τ ( s ) ) ) d s + β n u ( t n 0 ) a n + β n a n + t t n f ( s , t ) u ( τ ( s ) ) d s + t t n g ( s , t ) ω ( u ( τ ( s ) ) ) d s = b n 1 + t t n f ( s , t ) u ( τ ( s ) ) d s + t t n g ( s , t ) ω ( u ( τ ( s ) ) ) d s = v ˜ n 1 ( t ) .
(2.18)

Then, following in a similar manner as in Case 1, we obtain

u ( t ) v ˜ n 1 ( t ) G n 1 1 [ t t n g ˜ n 1 ( s ) exp ( f ˜ n 1 ( s ) ) ω ( exp ( f ˜ n 1 ( s ) ) ) d s ] exp ( f ˜ n 1 ( t ) ) .
(2.19)

Especially,

{ u ( t n 1 ) v ˜ n 1 ( t n 1 ) u ( t n 1 ) G n 1 1 [ t n 1 t n g ˜ n 1 ( s ) exp ( f ˜ n 1 ( s ) ) ω ( exp ( f ˜ n 1 ( s ) ) ) d s ] exp ( f ˜ n 1 ( t n 1 ) ) = a n 1 , u ( t n 1 0 ) v ˜ n 1 ( t n 1 0 ) a n 1 ,

where a n 1 is defined in (2.3).

Case 3: If for t[ t j , t j + 1 ), j=i,i+1,,n, the following inequalities hold:

{ u ( t ) v ˜ j ( t ) G j 1 [ t t j + 1 g ˜ j ( s ) exp ( f ˜ j ( s ) ) ω ( exp ( f ˜ j ( s ) ) ) d s ] exp ( f ˜ j ( t ) ) , u ( t j ) v ˜ j ( t j ) G j 1 [ t j t j + 1 g ˜ j ( s ) exp ( f ˜ j ( s ) ) ω ( exp ( f ˜ j ( s ) ) ) d s ] exp ( f ˜ j ( t j ) ) = a j , u ( t j 0 ) v ˜ j ( t j 0 ) a j ,
(2.20)

where a j is defined in (2.3). Then for t[ t i 1 , t i ), from (2.1) we obtain

u ( t ) C + t f ( s , t ) u ( τ ( s ) ) d s + t g ( s , t ) ω ( u ( τ ( s ) ) ) d s + t < t j < β j u ( t j 0 ) = C + t i f ( s , t ) u ( τ ( s ) ) d s + t i g ( s , t ) ω ( u ( τ ( s ) ) ) d s + t t i f ( s , t ) u ( τ ( s ) ) d s + t t i g ( s , t ) ω ( u ( τ ( s ) ) ) d s + t < t j < β j u ( t j 0 ) a i + β i a i + t t i f ( s , t ) u ( τ ( s ) ) d s + t t i g ( s , t ) ω ( u ( τ ( s ) ) ) d s = b i 1 + t t i f ( s , t ) u ( τ ( s ) ) d s + t t i g ( s , t ) ω ( u ( τ ( s ) ) ) d s = v ˜ i 1 ( t ) .
(2.21)

Then, following in a similar manner as in Case 1, we obtain

u(t) v ˜ i 1 (t) G i 1 1 [ t t i g ˜ i 1 ( s ) exp ( f ˜ i 1 ( s ) ) ω ( exp ( f ˜ i 1 ( s ) ) ) d s ] exp ( f ˜ i 1 ( t ) ) ,
(2.22)

and the proof is complete. □

Remark 2.1 If we take u(t)=ϕ( u ˜ (t)), ω=ψ ϕ 1 , τ(t)=t, and furthermore u(t) is continuous on R + , then Theorem 2.1 reduces to Theorem A (i.e., [[1], Theorem 1]).

Remark 2.2 Under the assumptions of Remark 2.1, furthermore, if we take ϕ( u ˜ (t))= u ˜ p (t), then Theorem 2.1 reduces to [[1], Corollary 1].

Remark 2.3 If we take ω(u(t))= u q (t) in Theorem 2.1, Remark 2.1 and Remark 2.2, then we can obtain three corollaries, which are omitted here.

Based on Theorem 2.1, we will establish another Mate-Nevai type inequality for discontinuous functions in the 2-D case.

Theorem 2.2 Suppose u(x,y) is a nonnegative continuous function on Ω= i , j 1 Ω i , j , Ω i , j ={(x,y)| x i 1 x< x i , y j 1 y< y j } with the exception at the points ( x i , y i ), i=1,2,,n, where there are finite jumps, and 0 x 0 < x 1 << x n < x n + 1 =, 0 y 0 < y 1 << y n < y n + 1 =. f,gC( R + × R + , R + ). τ 1 (x)C( R + , R + ) with τ 1 (x)x, and τ 1 (x) x i for x[ x i , x i + 1 ), i=0,1,,n. τ 2 (y)C( R + , R + ) with τ 2 (y)y, and τ(y) y i for y[ y i , y i + 1 ), i=0,1,,n. ω is defined the same as in Theorem 2.1. Furthermore, f(x,y)=0, g(x,y)=0 for (x,y) Ω i , j , ij. C>0 is a constant. If for (x,y)Ω, u(x,y) satisfies the following inequality:

u ( x , y ) C + x y f ( s , t ) u ( τ 1 ( s ) , τ 2 ( t ) ) d t d s + x y g ( s , t ) ω ( u ( τ 1 ( s ) , τ 2 ( t ) ) ) d t d s + x < x j < , y < y j < β j u ( x j 0 , y j 0 ) ,
(2.23)

then

u ( x , y ) G ˜ i 1 1 [ x x i g ˜ i 1 ( s , y ) exp ( f ˜ i 1 ( s , y ) ) ω ( exp ( f ˜ i 1 ( s , y ) ) ) d s ] exp ( f ˜ i 1 ( x , y ) ) , ( x , y ) Ω i , i , i = 1 , 2 , , n + 1 ,
(2.24)

where

{ G ˜ i 1 ( z ) = b ˜ i 1 z 1 ω ( s ) d s , i = 1 , 2 , , n + 1 , b ˜ n = C , b ˜ i 1 = a ˜ i + β i a ˜ i , i = 1 , 2 , , n , a ˜ i = G ˜ i 1 [ x i x i + 1 g ˜ i ( s , y i ) exp ( f ˜ i ( s , y i ) ) ω ( exp ( f ˜ i ( s , y i ) ) ) d s ] exp ( f ˜ i ( x i , y i ) ) , i = 1 , 2 , , n , f ˜ i 1 ( x , y ) = x x i y y i f ( s , t ) d t d s , i = 1 , 2 , , n + 1 , g ˜ i 1 ( x , y ) = y y i g ( x , t ) d t , i = 1 , 2 , , n + 1 .
(2.25)

Proof Denote the right-hand side of (2.23) by v(x,y). Then

u(x,y)v(x,y).
(2.26)

Define

v ˜ i ( x , y ) = b i + x y f ( s , t ) u ( τ 1 ( s ) , τ 2 ( t ) ) d t d s + t g ( s , t ) ω ( u ( τ 1 ( s ) , τ 2 ( t ) ) ) d t d s , i = 0 , 1 , , n .
(2.27)

Case 1: If (x,y) Ω n + 1 , n + 1 , then v(x,y)= v ˜ n (x,y). As τ 1 (x) x n for x[ x n ,) and τ 2 (y) y n for y[ y n ,), so ( τ 1 (x), τ 2 (y)) Ω n + 1 , n + 1 , and from (2.26) we have

u ( τ 1 ( x ) , τ 2 ( y ) ) v ˜ n ( τ 1 ( x ) , τ 2 ( y ) ) v ˜ n (x,y).
(2.28)

Then

v ˜ n (x,y)C+ x y f(s,t) v ˜ n (s,t)dtds+ x y g(s,t)ω ( v ˜ n ( s , t ) ) dtds
(2.29)

and

[ v ˜ n ( x , y ) ] x [ y f ( x , t ) v ˜ n ( x , t ) d t + y g ( x , t ) ω ( v ˜ n ( x , t ) ) d t ] [ y f ( x , t ) d t ] v ˜ n ( x , y ) [ y g ( x , t ) d t ] ω ( v ˜ n ( x , y ) ) = [ f ˜ n ( x , y ) ] x v ˜ n ( x , y ) + g ˜ n ( x , y ) ω ( v ˜ n ( x , y ) ) ,

where f ˜ n , g ˜ n are defined in (2.25), and obviously g ˜ n (x,y)0.

Furthermore, we have

[ v ˜ n ( x , y ) ] x [ f ˜ n ( x , y ) ] x v ˜ n (x,y) g ˜ n (x,y)ω ( v ˜ n ( x , y ) ) .
(2.30)

Multiplying exp( f ˜ n (x,y)) on both sides of (2.30) yields

[ v ˜ n ( x , y ) exp ( f ˜ n ( x , y ) ) ] x g ˜ n (x,y)exp ( f ˜ n ( x , y ) ) ω ( v ˜ n ( x , y ) ) .
(2.31)

Setting x=s in (2.31), by v ˜ n (,y)=C= b ˜ n , an integration for (2.31) with respect to s from x to ∞ yields

b ˜ n v ˜ n (x,y)exp ( f ˜ n ( x , y ) ) x g ˜ n (s,y)exp ( f ˜ n ( s , y ) ) ω ( v ˜ n ( s , y ) ) ds,
(2.32)

which implies

v ˜ n (x,y) { b ˜ n x g ˜ n ( s , y ) exp ( f ˜ n ( s , y ) ) ω ( v ˜ n ( s , y ) ) d s } exp ( f ˜ n ( x , y ) ) .
(2.33)

Denote c(x,y) by b ˜ n x g ˜ n (s,y)exp( f ˜ n (s,y))ω( v ˜ n (s,y))ds. Then

v ˜ n (x,y)c(x,y)exp ( f ˜ n ( x , y ) ) .
(2.34)

By g ˜ n (x,y)0, we have

[ c ( x , y ) ] x = g ˜ n ( x , y ) exp ( f ˜ n ( x , y ) ) ω ( v ˜ n ( x , y ) ) g ˜ n ( x , y ) exp ( f ˜ n ( x , y ) ) ω ( c ( x , y ) exp ( f ˜ n ( x , y ) ) ) g ˜ n ( x , y ) exp ( f ˜ n ( x , y ) ) ω ( c ( x , y ) ) ω ( exp ( f ˜ n ( x , y ) ) ) ,

that is,

[ c ( x , y ) ] x ω ( c ( x , y ) ) g ˜ n (x,y)exp ( f ˜ n ( x , y ) ) ω ( exp ( f ˜ n ( x , y ) ) ) .
(2.35)

Setting x=s in (2.35), and an integration for (2.35) with respect to s from x to ∞ yields

G ˜ n ( c ( , y ) ) G ˜ n ( c ( x , y ) ) x g ˜ n (s,y)exp ( f ˜ n ( s , y ) ) ω ( exp ( f ˜ n ( s , y ) ) ) ds.

Since c(,y)= b ˜ n , G ˜ n ( b ˜ n )=0, and G ˜ n is increasing, it follows that

c(x,y) G ˜ n 1 [ x g ˜ n ( s , y ) exp ( f ˜ n ( s , y ) ) ω ( exp ( f ˜ n ( s , y ) ) ) d s ] .
(2.36)

Combining (2.34) and (2.36), we obtain

u ( x , y ) v ˜ n ( x , y ) G n 1 [ x g ˜ n ( s , y ) exp ( f ˜ n ( s , y ) ) ω ( exp ( f ˜ n ( s , y ) ) ) d s ] exp ( f ˜ n ( x , y ) ) .
(2.37)

Especially,

u ( x n , y n ) v ˜ n ( x n , y n ) G n 1 [ x n g ˜ n ( s , y n ) exp ( f ˜ n ( s , y n ) ) ω ( exp ( f ˜ n ( s , y n ) ) ) d s ] × exp ( f ˜ n ( x n , y n ) ) = a ˜ n ,
(2.38)

where a ˜ n is defined in (2.25). At the same time, we have

u( x n 0, y n 0) v ˜ n ( x n 0, y n 0) a ˜ n .
(2.39)

Case 2: If (x,y) Ω n , n , then from (2.23), (2.38) and (2.39), under the given conditions f(x,y)=0,g(x,y)=0 for (x,y) Ω i , j , ij, we have

u ( x , y ) C + x y f ( s , t ) u ( τ 1 ( s ) , τ 2 ( t ) ) d t d s + x y g ( s , t ) ω ( u ( τ 1 ( s ) , τ 2 ( t ) ) ) d t d s + β n u ( x n 0 , y n 0 ) , = b ˜ n + x n y n f ( s , t ) u ( τ 1 ( s ) , τ 2 ( t ) ) d s + x n y n g ( s , t ) ω ( u ( τ 1 ( s ) , τ 2 ( t ) ) ) d s + x x n y y n f ( s , t ) u ( τ 1 ( s ) , τ 2 ( t ) ) d s + x x n y y n g ( s , t ) ω ( u ( τ 1 ( s ) , τ 2 ( t ) ) ) d s + β n u ( x n 0 , y n 0 ) a ˜ n + β n a ˜ n + x x n y y n f ( s , t ) u ( τ 1 ( s ) , τ 2 ( t ) ) d s + x x n y y n g ( s , t ) ω ( u ( τ 1 ( s ) , τ 2 ( t ) ) ) d s = b ˜ n 1 + x x n y y n f ( s , t ) u ( τ 1 ( s ) , τ 2 ( t ) ) d s + x x n y y n g ( s , t ) ω ( u ( τ 1 ( s ) , τ 2 ( t ) ) ) d s = v ˜ n 1 ( x , y ) .
(2.40)

Then, following in a similar manner as in Case 1, we obtain

u ( x , y ) v ˜ n 1 ( x , y ) G ˜ n 1 1 [ x x n g ˜ n 1 ( s , y ) exp ( f ˜ n 1 ( s , y ) ) ω ( exp ( f ˜ n 1 ( s , y ) ) ) d s ] × exp ( f ˜ n 1 ( x , y ) ) .
(2.41)

Especially,

{ u ( x n 1 , y n 1 ) v ˜ n 1 ( x n 1 , y n 1 ) G ˜ n 1 1 [ x n 1 x n g ˜ n 1 ( s , y ) exp ( f ˜ n 1 ( s , y ) ) ω ( exp ( f ˜ n 1 ( s , y ) ) ) d s ] × exp ( f ˜ n 1 ( x n 1 , y n 1 ) ) = a ˜ n 1 , u ( x n 1 0 , y n 1 0 ) v ˜ n 1 ( x n 1 0 , y n 1 0 ) a ˜ n 1 ,

where a ˜ n 1 is defined in (2.25).

Case 3: If for (x,y) Ω j , j , j=i+1,,n, the following inequalities hold:

{ u ( x , y ) v ˜ j ( x , y ) u ( x , y ) G j 1 [ x t j + 1 g ˜ j ( s , y ) exp ( f ˜ j ( s , y ) ) ω ( exp ( f ˜ j ( s , y ) ) ) d s ] exp ( f ˜ j ( x , y ) ) , u ( x j , y j ) v ˜ j ( x j , y j ) G j 1 [ x j x j + 1 g ˜ j ( s , y ) exp ( f ˜ j ( s , y ) ) ω ( exp ( f ˜ j ( s , y ) ) ) d s ] u ( x j , y j ) × exp ( f ˜ j ( x j , y j ) ) = a ˜ j , u ( x j 0 , y j 0 ) v ˜ j ( x j 0 , y j 0 ) a ˜ j ,
(2.42)

where a ˜ j is defined in (2.25), then for (x,y) Ω i , i , by (2.23), we obtain

u ( x , y ) C + x y f ( s , t ) u ( τ 1 ( s ) , τ 2 ( t ) ) d t d s + x y g ( s , t ) ω ( u ( τ 1 ( s ) , τ 2 ( t ) ) ) d t d s + x < x j < , y < y j < β j u ( x j 0 , y j 0 ) = C + x i y i f ( s , t ) u ( τ 1 ( s ) , τ 2 ( t ) ) d t d s + x i y i g ( s , t ) ω ( u ( τ 1 ( s ) , τ 2 ( t ) ) ) d t d s + x x i y y i f ( s , t ) u ( τ 1 ( s ) , τ 2 ( t ) ) d t d s + x x i y y i g ( s , t ) ω ( u ( τ 1 ( s ) , τ 2 ( t ) ) ) d t d s + x < x j < , y < y j < β j u ( x j 0 , y j 0 ) a ˜ i + β i a ˜ i + x x i y y i f ( s , t ) u ( τ 1 ( s ) , τ 2 ( t ) ) d t d s + x x i y y i g ( s , t ) ω ( u ( τ 1 ( s ) , τ 2 ( t ) ) ) d t d s = b ˜ i 1 + x x i y y i f ( s , t ) u ( τ 1 ( s ) , τ 2 ( t ) ) d t d s + x x i y y i g ( s , t ) ω ( u ( τ 1 ( s ) , τ 2 ( t ) ) ) d t d s = v ˜ i 1 ( x , y ) .
(2.43)

Then, following in a similar manner as in Case 1, we obtain

u ( x , y ) v ˜ i 1 ( x , y ) G ˜ i 1 1 [ x t i g ˜ i 1 ( s , y ) exp ( f ˜ i 1 ( s , y ) ) ω ( exp ( f ˜ i 1 ( s , y ) ) ) d s ] × exp ( f ˜ i 1 ( x , y ) ) ,
(2.44)

and the proof is complete. □

Remark 2.4 If we take u(x,y)=ϕ( u ˜ (x,y)) and, furthermore, ϕ(u(x,y))= u q (x,y), or take ω(u)= u q in Theorem 2.2, then we can obtain corresponding corollaries, which are omitted here.

3 Application

In this section, we present one application to illustrate the validity of our results in deriving explicit bounds for the discontinuous solutions of certain integral equations.

Consider an integral equation of the form

u(t)=u()+ t M ( s , t , u ( τ ( s ) ) ) ds+ t < t j < β j u( t j 0),t R + ,
(3.1)

where u is a continuous function defined on R + with the first kind of discontinuities at the points t i , i=1,2,,n, and 0 t 0 < t 1 < t 2 << t n < t n + 1 =. τC( R + , R + ) with τ(t)t, and τ(t) t i for t[ t i , t i + 1 ), i=0,1,,n. β j 0, j=1,2,,n, and MC( R + 2 ×R,R).

Theorem 3.1 Assume that u(t) is a solution of Eq. (3.1), and

{ | u ( ) | C , | M ( s , t , u ) | f ( s , t ) | u | + g ( s , t ) | u | q , ω ( z ) = z q , z R + ,
(3.2)

where q, C are constants with 0<q<1, C0, f,gC( R + × R + , R + ), f 2 , g 2 C( R + × R + ,R), and f(s,t), g(s,t) are decreasing in t for every fixed s. Then we have

| u ( t ) | G i 1 1 [ t t i g ˜ i 1 ( s ) exp ( f ˜ i 1 ( s ) ) ω ( exp ( f ˜ i 1 ( s ) ) ) d s ] exp ( f ˜ i 1 ( t ) ) , t [ t i 1 , t i ) , i = 1 , 2 , , n + 1 ,
(3.3)

where G i , b i , a i , f ˜ i , g ˜ i are defined the same as in (2.3), and t n + 1 =.

Proof From (3.1) we have

| u ( t ) | | u ( ) | + t | M ( s , t , u ( τ ( s ) ) ) | d s + t < t j < β j | u ( t j 0 ) | C + t [ f ( s , t ) | u ( τ ( s ) ) | + g ( s , t ) | u ( τ ( s ) ) | q ] d s + t < t j < β j | u ( t j 0 ) | = C + t [ f ( s , t ) | u ( τ ( s ) ) | + g ( s , t ) ω ( | u ( τ ( s ) ) | ) ] d s + t < t j < β j | u ( t j 0 ) | .

Then a suitable application of Theorem 2.1 yields the desired result. □

Theorem 3.2 Under the conditions of Theorem 3.1, furthermore, we have

| u ( t ) | { ( 1 q ) [ t t i g ˜ i 1 ( s ) exp ( f ˜ i 1 ( s ) ) exp ( q f ˜ i 1 ( s ) ) d s ] + b i 1 1 q } 1 1 q × exp ( f ˜ i 1 ( t ) ) .
(3.4)

Proof As long as we notice ω(z)= z q , and

G i 1 (z)= b i 1 z 1 ω ( s ) ds= b i 1 z 1 s q ds= 1 1 q ( z 1 q b i 1 1 q ) ,i=1,2,,n+1,
(3.5)

combining (3.5) and Theorem 3.1, we can easily deduce the desired result. □

References

  1. Gao QL, Meng FW: On some new Mate-Nevai inequalities. Math. Pract. Theory 2009, 39(22):198–203.

    Google Scholar 

  2. Li WN, Han MA, Meng FW: Some new delay integral inequalities and their applications. J. Comput. Appl. Math. 2005, 180: 191–200. 10.1016/j.cam.2004.10.011

    Article  MathSciNet  Google Scholar 

  3. Lipovan O: A retarded integral inequality and its applications. J. Math. Anal. Appl. 2003, 285: 436–443. 10.1016/S0022-247X(03)00409-8

    Article  MathSciNet  Google Scholar 

  4. Ma QH, Yang EH: Some new Gronwall-Bellman-Bihari type integral inequalities with delay. Period. Math. Hung. 2002, 44(2):225–238. 10.1023/A:1019600715281

    Article  MathSciNet  Google Scholar 

  5. Yuan ZL, Yuan XW, Meng FW: Some new delay integral inequalities and their applications. Appl. Math. Comput. 2009, 208: 231–237. 10.1016/j.amc.2008.11.043

    Article  MathSciNet  Google Scholar 

  6. Lipovan O: Integral inequalities for retarded Volterra equations. J. Math. Anal. Appl. 2006, 322: 349–358. 10.1016/j.jmaa.2005.08.097

    Article  MathSciNet  Google Scholar 

  7. Pachpatte BG: Explicit bounds on certain integral inequalities. J. Math. Anal. Appl. 2002, 267: 48–61. 10.1006/jmaa.2001.7743

    Article  MathSciNet  Google Scholar 

  8. Pachpatte BG: On some new nonlinear retarded integral inequalities. J. Inequal. Pure Appl. Math. 2004., 5: Article ID 80

    Google Scholar 

  9. Sun YG: On retarded integral inequalities and their applications. J. Math. Anal. Appl. 2005, 301: 265–275. 10.1016/j.jmaa.2004.07.020

    Article  MathSciNet  Google Scholar 

  10. Ferreira RAC, Torres DFM: Generalized retarded integral inequalities. Appl. Math. Lett. 2009, 22: 876–881. 10.1016/j.aml.2008.08.022

    Article  MathSciNet  Google Scholar 

  11. Xu R, Sun YG: On retarded integral inequalities in two independent variables and their applications. Appl. Math. Comput. 2006, 182: 1260–1266. 10.1016/j.amc.2006.05.013

    Article  MathSciNet  Google Scholar 

  12. 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 

  13. Li LZ, Meng FW, He LL: Some generalized integral inequalities and their applications. J. Math. Anal. Appl. 2010, 372: 339–349. 10.1016/j.jmaa.2010.06.042

    Article  MathSciNet  Google Scholar 

  14. Gallo A, Piccirillo AM: About some new generalizations of Bellman-Bihari results for integro-functional inequalities with discontinuous functions and applications. Nonlinear Anal. 2009, 71: e2276-e2287. 10.1016/j.na.2009.05.019

    Article  MathSciNet  Google Scholar 

  15. Iovane G: Some new integral inequalities of Bellman-Bihari type with delay for discontinuous functions. Nonlinear Anal. 2007, 66: 498–508. 10.1016/j.na.2005.11.043

    Article  MathSciNet  Google Scholar 

  16. Borysenko S, Iovane G: About some new integral inequalities of Wendroff type for discontinuous functions. Nonlinear Anal. 2007, 66: 2190–2203. 10.1016/j.na.2006.03.008

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

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

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Bin Zheng.

Additional information

Competing interests

The author declares that they have no competing interests.

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

Zheng, B. Some generalized Gronwall-Bellman type nonlinear delay integral inequalities for discontinuous functions. J Inequal Appl 2013, 297 (2013). https://doi.org/10.1186/1029-242X-2013-297

Download citation

  • Received:

  • Accepted:

  • Published:

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

Keywords