Open Access

Some Volterra-Fredholm type nonlinear discrete inequalities involving four iterated infinite sums

Advances in Difference Equations20122012:228

https://doi.org/10.1186/1687-1847-2012-228

Received: 3 August 2012

Accepted: 14 December 2012

Published: 28 December 2012

Abstract

Some new generalized Volterra-Fredholm type nonlinear discrete inequalities involving four iterated infinite sums are established in this paper. To illustrate the validity of the established inequalities, we present some applications for them, in which new explicit bounds for the solutions of certain infinite sum-difference equations are deduced.

MSC:26D15.

Keywords

nonlinear discrete inequalitiesVolterra-Fredholm type inequalitiessum-difference equationsbounds

1 Introduction

In recent years, many researchers have focused on various generalizations of the known Gronwall-Bellman inequality [1, 2], which provide explicit bounds for unknown solutions of certain difference equations, and a lot of such generalized inequalities have been established in the literature [320] including the known Ou-Iang inequality [3]. In [21], Ma generalized the discrete version of Ou-Iang’s inequality in two variables to a Volterra-Fredholm form for the first time, which has proved to be very useful in the study of qualitative as well as quantitative properties of the solutions of certain Volterra-Fredholm type difference equations. But since then, few results on Volterra-Fredholm type discrete inequalities have been established. Recent results in this direction include the works of Zheng [22], Ma [23], Zheng and Feng [24] to our best knowledge. We notice that the Volterra-Fredholm type discrete inequalities in [2224] are constructed by an explicit function u p in the left-hand side (see [[22], Theorems 2.5, 2.6], [[23], Theorems 2.1, 2.5, 2.6, 2.7], [[24], Theorems 5, 8, 10, 11]).

Motivated by the works in [2224], in this paper, we establish some new generalized Volterra-Fredholm type discrete inequalities involving four iterated infinite sums with the right-hand side denoted by an arbitrary function ϕ ( u ) , which are of more general forms. To illustrate the usefulness of the established results, we also present some applications for them and study the boundedness of the solutions of certain Volterra-Fredholm type infinite sum-difference equations.

Throughout this paper, denotes the set of real numbers and R + = [ 0 , ) , and denotes the set of integers, while N 0 denotes the set of nonnegative integers. In the next of this paper, let Ω : = ( [ m 0 , ] × [ n 0 , ] ) Z 2 , where m 0 , n 0 Z , and let l 1 , l 2 Z be two constants. If U is a lattice, then we denote the set of all -valued functions on U by ( U ) and denote the set of all R + -valued functions on U by + ( U ) . Finally, for a function f + ( U ) , we have s = m 0 m 1 f = 0 provided m 0 > m 1 .

2 Main results

Lemma 2.1 [[22], Lemma 2.1]

Suppose u , a , b + ( Ω ) . If a ( m , n ) is nonincreasing in the first variable, then for ( m , n ) Ω ,
u ( m , n ) a ( m , n ) + s = m + 1 b ( s , n ) u ( s , n )
implies
u ( m , n ) a ( m , n ) s = m + 1 [ 1 + b ( s , n ) ] .
(1)
Lemma 2.2 Suppose u , a , H + ( Ω ) , b + ( Ω 2 ) , and H, a are nonincreasing in every variable with H ( m , n ) > 0 , while b is nonincreasing in the third variable. φ , ϕ C ( R + , R + ) are strictly increasing with φ ( r ) > 0 , ϕ ( r ) > 0 for r > 0 . If for ( m , n ) Ω , u ( m , n ) satisfies the following inequality:
u ( m , n ) H ( m , n ) + s = m + 1 t = n + 1 b ( s , t , m , n ) φ ( ϕ 1 ( u ( s , t ) + a ( s , t ) ) ) ,
(2)
then we have
u ( m , n ) G 1 [ G ( H ( m , n ) ) + s = m + 1 t = n + 1 b ( s , t , m , n ) ] ,
(3)
where
G ( z ) = z 0 z 1 φ [ ϕ 1 ( z + a ( m , n ) ) ] d z , z z 0 > 0 .
(4)
Proof Fix ( m 1 , n 1 ) Ω , and let ( m , n ) ( [ m 1 , ] × [ n 1 , ] ) Ω . Then we have
u ( m , n ) H ( m 1 , n 1 ) + s = m + 1 t = n + 1 b ( s , t , m , n ) φ [ ϕ 1 ( u ( s , t ) + a ( s , t ) ) ] .
(5)
Let the right-hand side of (5) be v ( m , n ) . Then
u ( m , n ) v ( m , n ) , ( m , n ) ( [ m 1 , ] × [ n 1 , ] ) Ω ,
(6)
and
that is,
(7)
On the other hand, according to the mean-value theorem for integrals, there exists ξ such that v ( m , n ) ξ v ( m 1 , n ) , and
v ( m , n ) v ( m 1 , n ) 1 φ ( ϕ 1 ( z + a ( m , n ) ) ) d z = v ( m 1 , n ) v ( m , n ) φ ( ϕ 1 ( ξ + a ( m , n ) ) ) v ( m 1 , n ) v ( m , n ) φ ( ϕ 1 ( v ( m , n ) + a ( m , n ) ) ) .
(8)
So, combining (7) and (8), we have
v ( m , n ) v ( m 1 , n ) 1 φ ( ϕ 1 ( z + a ( m , n ) ) ) d z = G ( v ( m 1 , n ) ) G ( v ( m , n ) ) s = m t = n + 1 b ( s , t , m 1 , n ) s = m + 1 t = n + 1 b ( s , t , m , n ) ,
(9)
where G is defined in (4). Set m = η in (9); a summation with respect to η from m + 1 to ∞ yields
G ( v ( m , n ) ) G ( v ( , n ) ) s = m + 1 t = n + 1 b ( s , t , m , n ) 0 = s = m + 1 t = n + 1 b ( s , t , m , n ) .
Noticing v ( , n ) = H ( m 1 , n 1 ) and G is increasing, it follows that
v ( m , n ) G 1 [ G ( H ( m 1 , n 1 ) ) + s = m + 1 t = n + 1 b ( s , t , m , n ) ] .
(10)
Combining (6) and (10), we obtain
(11)
Setting m = m 1 , n = n 1 in (11) yields
u ( m 1 , n 1 ) G 1 [ G ( a ( m 1 , n 1 ) ) + s = m 1 + 1 t = n 1 + 1 b ( s , t , m 1 , n 1 ) ] .
(12)

Since ( m 1 , n 1 ) is selected from Ω arbitrarily, then substituting ( m 1 , n 1 ) with ( m , n ) in (12), we get the desired inequality (3). □

Theorem 2.3 Suppose u + ( Ω ) , b i , c i + ( Ω 2 ) , i = 1 , 2 , , l 1 , d i , e i + ( Ω 2 ) , i = 1 , 2 , , l 2 with b i , c i , d i , e i nonincreasing in the last two variables, and there is at least one function among d i , e i , i = 1 , 2 , , l 2 not equivalent to zero, a, φ, ϕ are defined as in Lemma  2.2. If for ( m , n ) Ω , u ( m , n ) satisfies
ϕ ( u ( m , n ) ) a ( m , n ) + i = 1 l 1 s = m + 1 t = n + 1 [ b i ( s , t , m , n ) φ ( u ( s , t ) ) + ξ = s η = t c i ( ξ , η , m , n ) φ ( u ( ξ , η ) ) ] + i = 1 l 2 s = M + 1 t = N + 1 [ d i ( s , t , m , n ) ϕ ( u ( s , t ) ) + ξ = s η = t e i ( ξ , η , m , n ) ϕ ( u ( ξ , η ) ) ] ,
(13)
then
u ( m , n ) ϕ 1 { a ( m , n ) + G 1 { G ( T 1 [ s = m 0 M 1 t = n 0 N 1 B ( s , t , M , N ) ] ) + s = m + 1 t = n + 1 B ( s , t , m , n ) } }
(14)
provided that T is increasing, where G is defined in (4), and
(15)
(16)
(17)
(18)
Proof Denote
v ( m , n ) = i = 1 l 1 s = m + 1 t = n + 1 [ b i ( s , t , m , n ) φ ( u ( s , t ) ) + ξ = s η = t c i ( ξ , η , m , n ) φ ( u ( ξ , η ) ) ] + i = 1 l 2 s = M + 1 t = N + 1 [ d i ( s , t , m , n ) ϕ ( u ( s , t ) ) + ξ = s η = t e i ( ξ , η , m , n ) ϕ ( u ( ξ , η ) ) ] .
Then we have
u ( m , n ) ϕ 1 ( a ( m , n ) + v ( m , n ) ) .
(19)
So,
v ( m , n ) i = 1 l 1 s = m + 1 t = n + 1 { b i ( s , t , m , n ) φ [ ϕ 1 ( a ( s , t ) + v ( s , t ) ) ] + ξ = s η = t c i ( ξ , η , m , n ) φ [ ϕ 1 ( a ( ξ , η ) + v ( ξ , η ) ) ] } + i = 1 l 2 s = M + 1 t = N + 1 [ d i ( s , t , m , n ) ( a ( s , t ) + v ( s , t ) ) + ξ = s η = t e i ( ξ , η , m , n ) ( a ( ξ , η ) + v ( ξ , η ) ) ] = H ( m , n ) + i = 1 l 1 s = m + 1 t = n + 1 { b i ( s , t , m , n ) φ [ ϕ 1 ( a ( s , t ) + v ( s , t ) ) ] + ξ = s η = t c i ( ξ , η , m , n ) φ [ ϕ 1 ( a ( ξ , η ) + v ( ξ , η ) ) ] } ,
(20)
where H ( m , n ) = J ( m , n ) + i = 1 l 2 s = M + 1 t = N + 1 [ d i ( s , t , m , n ) v ( s , t ) + ξ = s η = t e i ( ξ , η , m , n ) v ( ξ , η ) ] , and J ( m , n ) is defined in (17). Then using H ( m , n ) is nonincreasing in every variable, we obtain
v ( m , n ) H ( M , N ) + i = 1 l 1 s = m + 1 t = n + 1 { b i ( s , t , m , n ) φ [ ϕ 1 ( a ( s , t ) + v ( s , t ) ) ] } + ξ = s η = t c i ( ξ , η , m , n ) φ [ ϕ 1 ( a ( ξ , η ) + v ( ξ , η ) ) ] H ( M , N ) + i = 1 l 1 s = m + 1 t = n + 1 [ b i ( s , t , m , n ) + ξ = s η = t c i ( ξ , η , m , n ) ] × φ [ ϕ 1 ( a ( s , t ) + v ( s , t ) ) ] = H ( M , N ) + s = m + 1 t = n + 1 B ( s , t , m , n ) φ [ ϕ 1 ( a ( s , t ) + v ( s , t ) ) ] ,
(21)

where B ( s , t , m , n ) is defined in (16).

Since there is at least one function among d i , e i , i = 1 , 2 , , l 2 not equivalent to zero, then H ( M , N ) > 0 . On the other hand, as b i ( s , t , m , n ) , c i ( s , t , m , n ) are both nonincreasing in the last two variables, then B ( s , t , m , n ) is also nonincreasing in the last two variables, and by a suitable application of Lemma 2.2, we obtain
v ( m , n ) G 1 [ G ( H ( M , N ) ) + s = m + 1 t = n + 1 B ( s , t , m , n ) ] .
(22)
Furthermore, by the definitions of H ( m , n ) , μ 1 , μ 2 and (22), we have
H ( M , N ) = J ( M , N ) + i = 1 l 2 s = M + 1 t = N + 1 { d i ( s , t , M , N ) v ( s , t ) + ξ = s η = t e i ( ξ , η , M , N ) v ( ξ , η ) } J ( M , N ) + v ( M , N ) i = 1 l 2 s = M + 1 t = N + 1 { d i ( s , t , M , N ) + ξ = s η = t e i ( ξ , η , M , N ) } = μ 1 + μ 2 v ( M , N ) μ 1 + μ 2 G 1 [ G ( H ( M , N ) ) + s = M + 1 t = N + 1 B ( s , t , M , N ) ] ,
and
G ( H ( M , N ) μ 1 μ 2 ) G ( H ( M , N ) ) + s = M + 1 t = N + 1 B ( s , t , M , N ) ,
which is rewritten as
T ( H ( M , N ) ) s = M + 1 t = N + 1 B ( s , t , M , N ) ,
where T is defined in (15). By T is increasing, we have
H ( M , N ) T 1 [ s = M + 1 t = N + 1 B ( s , t , M , N ) ] .
(23)

Combining (19), (22) and (23), we get the desired result. □

Corollary 2.4 Suppose g 1 i , g 2 i , b 1 i , c 1 i + ( Ω ) , i = 1 , 2 , , l 1 with g 1 i , g 2 i nonincreasing in every variable, d 1 i , e 1 i + ( Ω ) , i = 1 , 2 , , l 2 , u, a, φ, ϕ are defined as in Theorem  2.3. If for ( m , n ) Ω , u ( m , n ) satisfies
ϕ ( u ( m , n ) ) a ( m , n ) + i = 1 l 1 g 1 i ( m , n ) s = m + 1 t = n + 1 [ b 1 i ( s , t ) φ ( u ( s , t ) ) + ξ = s η = t c 1 i ( ξ , η ) φ ( u ( ξ , η ) ) ] + i = 1 l 2 g 2 i ( m , n ) s = M + 1 t = N + 1 [ d 1 i ( s , t ) ϕ ( u ( s , t ) ) + ξ = s η = t e 1 i ( ξ , η ) ϕ ( u ( ξ , η ) ) ] ,
then
u ( m , n ) ϕ 1 { a ( m , n ) + G 1 { G ( T 1 [ s = M + 1 t = N + 1 B ( s , t , M , N ) ] ) + s = m + 1 t = n + 1 B ( s , t , m , n ) } }
provided that T is increasing, where G, T are defined in Theorem  2.3, and
B ( s , t , m , n ) = i = 1 l 1 g 1 i ( m , n ) [ b i ( s , t ) + ξ = s η = t c i ( ξ , η ) ] , J ( m , n ) = i = 1 l 2 g 2 i ( m , n ) s = M + 1 t = N + 1 [ d i ( s , t ) a ( s , t ) + ξ = s η = t e i ( ξ , η ) a ( ξ , η ) ] , μ 1 = J ( M , N ) , μ 2 = i = 1 l 2 g 2 i ( m , n ) s = M + 1 t = N + 1 [ d i ( s , t ) + ξ = s η = t e i ( ξ , η ) ] .

The proof for Corollary 2.4 can be completed by setting b i ( s , t , m , n ) = g 1 i ( m , n ) b 1 i ( s , t ) , c i ( s , t , m , n ) = g 1 i ( m , n ) c 1 i ( s , t ) , d i ( s , t , m , n ) = g 2 i ( m , n ) d 1 i ( s , t ) , e i ( s , t , m , n ) = g 2 i ( m , n ) e 1 i ( s , t ) in Theorem 2.3.

Theorem 2.5 Suppose w + ( Ω ) , u, a, b i , c i , d i , e i , φ, ϕ are defined as in Theorem  2.3. Furthermore, assume φ ϕ 1 is submultiplicative, that is, φ ( ϕ 1 ( α β ) ) φ ( ϕ 1 ( α ) ) φ ( ϕ 1 ( β ) ) α , β R + . If for ( m , n ) Ω , u ( m , n ) satisfies
ϕ ( u ( m , n ) ) a ( m , n ) + s = m + 1 w ( s , n ) ϕ ( u ( s , n ) ) + i = 1 l 1 s = m + 1 t = n + 1 [ b i ( s , t , m , n ) φ ( u ( s , t ) ) + ξ = s η = t c i ( ξ , η , m , n ) φ ( u ( ξ , η ) ) ] + i = 1 l 2 s = M + 1 t = N + 1 [ d i ( s , t , m , n ) ϕ ( u ( s , t ) ) + ξ = s η = t e i ( ξ , η , m , n ) ϕ ( u ( ξ , η ) ) ] ,
(24)
then
u ( m , n ) ϕ 1 { { a ( m , n ) + G 1 { G ( T 1 [ s = M + 1 t = N + 1 B ¯ ( s , t , M , N ) ] ) + i = 1 l 1 s = m + 1 t = n + 1 B ¯ ( s , t , m , n ) } } w ¯ ( m , n ) }
(25)
provided that T is increasing, where G is defined in (4), and
(26)
(27)
(28)
(29)
(30)
(31)
(32)
Proof Denote
z ( m , n ) = a ( m , n ) + i = 1 l 1 s = m + 1 t = n + 1 [ b i ( s , t , m , n ) φ ( u ( s , t ) ) + ξ = s η = t c i ( ξ , η , m , n ) φ ( u ( ξ , η ) ) ] + i = 1 l 2 s = M + 1 t = N + 1 [ d i ( s , t , m , n ) ϕ ( u ( s , t ) ) + ξ = s η = t e i ( ξ , η , m , n ) ϕ ( u ( ξ , η ) ) ] .
Then we have
ϕ ( u ( m , n ) ) z ( m , n ) + s = m + 1 w ( s , n ) ϕ ( u ( s , n ) ) .
(33)
Obviously, z ( m , n ) is nonincreasing in the first variable. So, by Lemma 2.1, we obtain
ϕ ( u ( m , n ) ) z ( m , n ) s = m + 1 [ 1 + w ( s , n ) ] = z ( m , n ) w ¯ ( m , n ) ,
where w ¯ ( m , n ) is defined in (31). Define
v ( m , n ) = i = 1 l 1 s = m + 1 t = n + 1 [ b i ( s , t , m , n ) φ ( u ( s , t ) ) + ξ = s η = t c i ( ξ , η , m , n ) φ ( u ( ξ , η ) ) ] + i = 1 l 2 s = M + 1 t = N + 1 [ d i ( s , t , m , n ) ϕ ( u ( s , t ) ) + ξ = s η = t e i ( ξ , η , m , n ) ϕ ( u ( ξ , η ) ) ] .
Then we obtain
u ( m , n ) ϕ 1 [ ( a ( m , n ) + v ( m , n ) ) w ¯ ( m , n ) ] ,
(34)
and furthermore, using φ ϕ 1 is submultiplicative, (34) and Lemma 2.2, we have
v ( m , n ) i = 1 l 1 s = m + 1 t = n + 1 { b i ( s , t , m , n ) φ [ ϕ 1 ( ( a ( s , t ) + v ( s , t ) ) w ¯ ( s , t ) ) ] + ξ = s η = t c i ( ξ , η , m , n ) φ [ ϕ 1 ( ( a ( ξ , η ) + v ( ξ , η ) ) w ¯ ( ξ , η ) ) ] } + i = 1 l 2 s = M + 1 t = N + 1 { d i ( s , t , m , n ) [ a ( s , t ) + v ( s , t ) ] w ¯ ( s , t ) + ξ = s η = t e i ( ξ , η , m , n ) [ a ( ξ , η ) + v ( ξ , η ) ] w ¯ ( ξ , η ) } i = 1 l 1 s = m + 1 t = n + 1 { b i ( s , t , m , n ) φ [ ϕ 1 ( a ( s , t ) + v ( s , t ) ) ] φ [ ϕ 1 ( w ¯ ( s , t ) ) ] + ξ = s η = t c i ( ξ , η , m , n ) φ [ ϕ 1 ( a ( ξ , η ) + v ( ξ , η ) ) ] φ [ ϕ 1 ( w ¯ ( ξ , η ) ) ] } + i = 1 l 2 s = M + 1 t = N + 1 { d i ( s , t , m , n ) [ a ( s , t ) + v ( s , t ) ] w ¯ ( s , t ) + ξ = s η = t e i ( ξ , η , m , n ) [ a ( ξ , η ) + v ( ξ , η ) ] w ¯ ( ξ , η ) } = i = 1 l 1 s = m + 1 t = n + 1 { b ¯ i ( s , t , m , n ) ϕ 1 [ a ( s , t ) + v ( s , t ) ] + ξ = s η = t c ¯ i ( ξ , η , m , n ) ϕ 1 [ a ( ξ , η ) + v ( ξ , η ) ] } + i = 1 l 2 s = M + 1 t = N + 1 { d ¯ i ( s , t , m , n ) [ a ( s , t ) + v ( s , t ) ] + ξ = s η = t e ¯ i ( ξ , η , m , n ) [ a ( ξ , η ) + v ( ξ , η ) ] } = H ¯ ( m , n ) + i = 1 l 1 s = m + 1 t = n + 1 { b ¯ i ( s , t , m , n ) φ [ ϕ 1 ( a ( s , t ) + v ( s , t ) ) ] + ξ = s η = t c i ( ξ , η , m , n ) φ [ ϕ 1 ( a ( ξ , η ) + v ( ξ , η ) ) ] } ,
(35)
where H ¯ ( m , n ) = J ¯ ( m , n ) + i = 1 l 2 s = M + 1 t = N + 1 { d ¯ i ( s , t , m , n ) v ( s , t ) + ξ = s η = t e ¯ i ( ξ , η , m , n ) v ( ξ , η ) } , and J ¯ ( m , n ) is defined in (28). Then similar to the process of (21)-(23), we obtain
v ( m , n ) G 1 [ G ( H ¯ ( M , N ) ) + s = m + 1 t = n + 1 B ¯ ( s , t , m , n ) ] ,
(36)
and
H ¯ ( M , N ) T 1 [ s = M + 1 t = N + 1 B ¯ ( s , t , M , N ) ] .
(37)

Combining (34), (36) and (37), we get the desired result. □

Theorem 2.6 Suppose u, a, b i , c i , d i , e i , φ, ϕ are defined as in Theorem  2.3. L 1 i , L 2 i , T 1 i , T 2 i : Ω × R + R + , i = 1 , 2 , , l 2 satisfies 0 L j i ( m , n , u ) L j i ( m , n , v ) T j i ( m , n , v ) ( u v ) , j = 1 , 2 for u v 0 . If for ( m , n ) Ω , u ( m , n ) satisfies
ϕ ( u ( m , n ) ) a ( m , n ) + i = 1 l 1 s = m + 1 t = n + 1 [ b i ( s , t , m , n ) φ ( u ( s , t ) ) + ξ = s η = t c i ( ξ , η , m , n ) φ ( u ( ξ , η ) ) ] + i = 1 l 2 s = M + 1 t = N + 1 [ d i ( s , t , m , n ) L 1 i ( s , t , ϕ ( u ( s , t ) ) ) + ξ = s η = t e i ( ξ , η , m , n ) L 2 i ( ξ , η , ϕ ( u ( ξ , η ) ) ) ] ,
(38)
then
u ( m , n ) ϕ 1 { a ( m , n ) + G 1 { G ( T 1 [ s = M + 1 t = N + 1 B ˆ ( s , t , M , N ) ] ) + s = m + 1 t = n + 1 B ˆ ( s , t , m , n ) } }
(39)
provided that T is increasing, where G is defined in (4), and
(40)
(41)
(42)
(43)
(44)
(45)
Proof Denote
v ( m , n ) = i = 1 l 1 s = m + 1 t = n + 1 [ b i ( s , t , m , n ) φ ( u ( s , t ) ) + ξ = s η = t c i ( ξ , η , m , n ) φ ( u ( ξ , η ) ) ] + i = 1 l 2 s = M + 1 t = N + 1 [ d i ( s , t , m , n ) L 1 i ( s , t , ϕ ( u ( s , t ) ) ) + ξ = s η = t e i ( ξ , η , m , n ) L 2 i ( ξ , η , ϕ ( u ( ξ , η ) ) ) ] .
Then we have
u ( m , n ) ϕ 1 ( a ( m , n ) + v ( m , n ) ) .
(46)
So,
v ( m , n ) i = 1 l 1 s = m + 1 t = n + 1 { b i ( s , t , m , n ) φ [ ϕ 1 ( a ( s , t ) + v ( s , t ) ) ] + ξ = s η = t c i ( ξ , η , m , n ) φ [ ϕ 1 ( a ( ξ , η ) + v ( ξ , η ) ) ] } + i = 1 l 2 s = M + 1 t = N + 1 { d i ( s , t , m , n ) L 1 i ( s , t , a ( s , t ) + v ( s , t ) ) + ξ = s η = t e i ( ξ , η , m , n ) L 2 i ( ξ , η , a ( ξ , η ) + v ( ξ , η ) ) } = i = 1 l 1 s = m + 1 t = n + 1 { b i ( s , t , m , n ) φ [ ϕ 1 ( a ( s , t ) + v ( s , t ) ) ] + ξ = s η = t c i ( ξ , η , m , n ) φ [ ϕ 1 ( a ( ξ , η ) + v ( ξ , η ) ) ] } + i = 1 l 2 s = M + 1 t = N + 1 { d i ( s , t , m , n ) [ L 1 i ( s , t , a ( s , t ) + v ( s , t ) ) L 1 i ( s , t , a ( s , t ) ) + L 1 i ( s , t , a ( s , t ) ) ] + ξ = s η = t e i ( ξ , η , m , n ) [ L 2 i ( ξ , η , a ( ξ , η ) + v ( ξ , η ) ) L 2 i ( ξ , η , a ( ξ , η ) ) + L 2 i ( ξ , η , a ( ξ , η ) ) ] } i = 1 l 1 s = m + 1 t = n + 1 { b i ( s , t , m , n ) φ [ ϕ 1 ( a ( s , t ) + v ( s , t ) ) ] + ξ = s η = t c i ( ξ , η , m , n ) φ [ ϕ 1 ( a ( ξ , η ) + v ( ξ , η ) ) ] } + i = 1 l 2 s = M + 1 t = N + 1 { d i ( s , t , m , n ) [ T 1 i ( s , t , a ( s , t ) ) v ( s , t ) + L 1 i ( s , t , a ( s , t ) ) ] + ξ = s η = t e i ( ξ , η , m , n ) [ T 2 i ( ξ , η , a ( ξ , η ) ) v ( ξ , η ) + L 2 i ( ξ , η , a ( ξ , η ) ) ] } = H ( m , n ) + i = 1 l 1 s = m + 1 t = n + 1 { b i ( s , t , m , n ) φ [ ϕ 1 ( a ( s , t ) + v ( s , t ) ) ] + ξ = s η = t c i ( ξ , η , m , n ) φ [ ϕ 1 ( a ( ξ , η ) + v ( ξ , η ) ) ] } ,
(47)
where H ˆ ( m , n ) = J ˆ ( m , n ) + i = 1 l 2 s = M + 1 t = N + 1 { d ˆ i ( s , t , m , n ) v ( s , t ) + ξ = s η = t e ˆ i ( ξ , η , m , n ) v ( ξ , η ) } , and J ˆ ( m , n ) is defined in (42). Then similar to the process of (21)-(23), we obtain
v ( m , n ) G 1 [ G ( H ˆ ( M , N ) ) + s = m + 1 t = n + 1 B ˆ ( s , t , m , n ) ] ,
(48)
and
H ( M , N ) T 1 [ s = M + 1 t = N + 1 B ˆ ( s , t , M , N ) ] .
(49)

Combining (46), (48) and (49), we get the desired result. □

Theorem 2.7 Suppose w + ( Ω ) , u, a, b i , c i , d i , e i , φ, ϕ are defined as in Theorem  2.3, and L j i , T j i , j = 1 , 2 , i = 1 , 2 , , l 2 are defined as in Theorem  2.6. If for ( m , n ) Ω , u ( m , n ) satisfies
ϕ ( u ( m , n ) ) a ( m , n ) + s = m + 1 w ( s , n ) ϕ ( u ( m , n ) ) + i = 1 l 1 s = m + 1 t = n + 1 [ b i ( s , t , m , n ) φ ( u ( s , t ) ) + ξ = s η = t c i ( ξ , η , m , n ) φ ( u ( ξ , η ) ) ] + i = 1 l 2 s = M + 1 t = N + 1 [ d i ( s , t , m , n ) L 1 i ( s , t , ϕ ( u ( s , t ) ) ) + ξ = s η = t e i ( ξ , η , m , n ) L 2 i ( ξ , η , ϕ ( u ( ξ , η ) ) ) ] ,
then
u ( m , n ) ϕ 1 { a ( m , n ) + G 1 { G ( T 1 [ s = M + 1 t = N + 1 B ˜ ( s , t , M , N ) ] ) + s = m + 1 t = n + 1 B ˜ ( s , t , m , n ) } }
provided that T is increasing, where G is defined in (4), and

The proof for Theorem 2.7 is similar to the combination of Theorem 2.5 and Theorem 2.6, and we omit the details here.

Remark 2.8 We note that the inequalities established in Theorems 2.3, 2.5-2.7 are essentially different from the results in [2224] as the left-hand side of the inequalities established here is an arbitrary function ϕ ( u ) . Furthermore, if we set ϕ ( u ) = u p , a ( m , n ) = 0 , then Theorem 2.5 reduces to [[22], Theorem 2.5].

3 Applications

In this section, we present some applications for the results established above. Similar to the applications in [2224], we research a certain Volterra-Fredholm sum-difference equation and derive some new bounds for its solutions.

Example Consider the following Volterra-Fredholm type infinite sum-difference equation:
u p ( m , n ) = s = m + 1 t = n + 1 [ F 1 ( s , t , m , n , u ( s , t ) ) + ξ = s η = t F 2 ( ξ , η , m , n , u ( ξ , η ) ) ] + s = M + 1 t = N + 1 [ G 1 ( s , t , m , n , u ( s , t ) ) + ξ = s η = t G 2 ( ξ , η , m , n , u ( ξ , η ) ) ] ,
(50)

where u ( Ω ) , p 1 is an odd number, F i , G i : Ω 2 × R R , i = 1 , 2 .

Theorem 3.1 Suppose u ( m , n ) is a solution of (50), and | F 1 ( s , t , m , n , u ) | f 1 ( s , t , m , n ) | u | p 2 , | F 2 ( s , t , m , n , u ) | f 2 ( s , t , m , n ) | u | p 2 , | G 1 ( s , t , m , n , u ) | g 1 ( s , t , m , n ) | u | p , | G 2 ( s , t , m , n , u ) | g 2 ( s , t , m , n ) | u | p , f i , g i + ( Ω 2 ) , i = 1 , 2 , f i , g i are nondecreasing in the last two variables, and there is at least one function among g 1 , g 2 not equivalent to zero, then we have
u ( m , n ) 4 1 p { μ 1 μ s = M + 1 t = N + 1 B ( s , t , M , N ) + s = m + 1 t = n + 1 B ( s , t , m , n ) } 2 p
(51)
provided that μ < 1 , where
B ( s , t , m , n ) = f 1 ( s , t , m , n ) + ξ = s η = t f 2 ( ξ , η , m , n ) , μ = s = M + 1 t = N + 1 [ g 1 ( s , t , M , N ) + ξ = s η = t g 2 ( ξ , η , M , N ) ] .
Proof From (50) we have
| u ( m , n ) | p s = m + 1 t = n + 1 [ | F 1 ( s , t , m , n , u ( s , t ) ) | + ξ = s η = t | F 2 ( ξ , η , m , n , u ( ξ , η ) ) | ] + s = m 0 M 1 t = n 0 M 1 [ | G 1 ( s , t , m , n , u ( s , t ) ) | + ξ = s η = t | G 2 ( ξ , η , m , n , u ( ξ , η ) ) | ] | a ( m , n ) | + s = m + 1 t = n + 1 [ f 1 ( s , t , m , n ) | u ( s , t ) | p 2 + ξ = s η = t f 2 ( ξ , η , m , n ) | u ( ξ , η ) | p 2 ] + s = M + 1 t = N + 1 [ g 1 ( s , t , m , n ) | u ( s , t ) | p + ξ = s η = t g 2 ( ξ , η , m , n ) | u ( ξ , η ) | p ] .
(52)
Define ϕ ( u ) = u p , φ ( u ) = u p 2 , and
(53)
(54)
Then by μ < 1 , we have T is strictly increasing, and a suitable application of Theorem 2.3 (with a ( m , n ) = 0 and l 1 = l 2 = 1 ) to (52) yields
u ( m , n ) ϕ 1 { G 1 { G ( T 1 [ s = M + 1 t = N + 1 B ( s , t , M , N ) ] ) + s = m + 1 t = n + 1 B ( s , t , m , n ) } } .
(55)

Combining (53)-(55), we can deduce the desired result. □

Theorem 3.2 Suppose u ( m , n ) is a solution of (50), and | F 1 ( s , t , m , n , u ) | f 1 ( s , t , m , n ) | u | p 3 , | F 2 ( s , t , m , n , u ) | f 2 ( s , t , m , n ) | u | p 3 , | G 1 ( s , t , m , n , u ) | g 1 ( s , t , m , n ) L 1 ( s , t , | u | p ) , | G 2 ( s , t , m , n , u ) | g 2 ( s , t , m , n ) L 2 ( s , t , | u | p ) , where f i , g i , i = 1 , 2 are defined as in Theorem  3.1, L 1 , L 2 , T 1 , T 2 : Ω × R + R + satisfies 0 L i ( m , n , u ) L i ( m , n , v ) T i ( m , n , v ) ( u v ) for u v 0 and L i ( m , n , 0 ) = 0 , i = 1 , 2 , then we have
u ( m , n ) { 2 3 [ μ ˆ 2 3 1 μ ˆ 2 3 s = M + 1 t = N + 1 B ˆ ( s , t , M , N ) + s = m + 1 t = n + 1 B ˆ ( s , t , m , n ) ] } 3 2 p
(56)
provided that μ ˆ < 1 , where
B ˆ ( s , t , m , n ) = f 1 ( s , t , m , n ) + ξ = s η = t f 2 ( ξ , η , m , n ) , μ ˆ = s = M + 1 t = N + 1 [ g 1 ( s , t , M , N ) T 1 ( s , t , 0 ) + ξ = s η = t g 2 ( ξ , η , M , N ) T 2 ( ξ , η , 0 ) ] .
Proof From (50) we have
| u ( m , n ) | p s = m + 1 t = n + 1 [ | F 1 ( s , t , m , n , u ( s , t ) ) | + ξ = s η = t | F 2 ( ξ , η , m , n , u ( ξ , η ) ) | ] + s = M + 1 t = N + 1 [ | G 1 ( s , t , m , n , u ( s , t ) ) | + ξ = s η = t | G 2 ( ξ , η , m , n , u ( ξ , η ) ) | ] s = m + 1 t = n + 1 [ f 1 ( s , t , m , n ) | u ( s , t ) | p 3 + ξ = s η = t f 2 ( ξ , η , m , n ) | u ( ξ , η ) | p 3 ] + s = M + 1 t = N + 1 [ g 1 ( s , t , m , n ) L 1 ( s , t , | u ( s , t ) | p ) + ξ = s η = t g 2 ( ξ , η , m , n ) L 2 ( ξ , η , | u ( ξ , η ) | p ) ] s = m + 1 t = n + 1 [ f 1 ( s , t , m , n ) | u ( s , t ) | p 3 + ξ = s η = t f 2 ( ξ , η , m , n ) | u ( ξ , η ) | p 3 ] + s = M + 1 t = N + 1 [ g 1 ( s , t , m , n ) T 1 ( s , t , 0 ) | u ( s , t ) | p + ξ = s η = t g 2 ( ξ , η , m , n ) T 2 ( ξ , η , 0 ) | u ( ξ , η ) | p ] .
(57)
Define ϕ ( u ) = u p , φ ( u ) = u p 3 , and
(58)
(59)
Then by μ ˆ < 1 , we have T is strictly increasing, and a suitable application of Theorem 2.6 (with ϕ ( u ) = u p , φ ( u ) = u p 3 , a ( m , n ) = 0 and l 1 = l 2 = 1 ) to (57) yields
u ( m , n ) ϕ 1 { G 1 { G ( T 1 [ s = M + 1 t = N + 1 B ˆ ( s , t , M , N ) ] ) + s = m + 1 t = n + 1 B ˆ ( s , t , m , n ) } } .
(60)

Combining (58)-(60), we can deduce the desired result. □

Declarations

Acknowledgements

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

Authors’ Affiliations

(1)
School of Science, Shandong University of Technology
(2)
School of Journalism and Communication, Wuhan University

References

  1. Gronwall TH: Note on the derivatives with respect to a parameter of solutions of a system of differential equations. Ann. Math. 1919, 20: 292–296. 10.2307/1967124MathSciNetView ArticleMATHGoogle Scholar
  2. Bellman R: The stability of solutions of linear differential equations. Duke Math. J. 1943, 10: 643–647. 10.1215/S0012-7094-43-01059-2MathSciNetView ArticleMATHGoogle Scholar
  3. Ou-Iang L:The boundedness of solutions of linear differential equations y + A ( t ) y = 0 . Shuxue Jinzhan 1957, 3: 409–418.Google Scholar
  4. Pachpatte BG: Inequalities for Differential and Integral Equations. Academic Press, New York; 1998.MATHGoogle Scholar
  5. Cheung WS: Some new nonlinear inequalities and applications to boundary value problems. Nonlinear Anal. TMA 2006, 64: 2112–2128. 10.1016/j.na.2005.08.009View ArticleMATHGoogle Scholar
  6. Zhao XQ, Zhao QX, Meng FW: On some new nonlinear discrete inequalities and their applications. J. Inequal. Pure Appl. Math. 2006., 7: Article ID 52Google Scholar
  7. Yang EH: On some nonlinear integral and discrete inequalities related to Ou-Iang’s inequality. Acta Math. Sin. Engl. Ser. 1998, 14: 353–360. 10.1007/BF02580438View ArticleMATHGoogle Scholar
  8. Cheung WS: Some discrete nonlinear inequalities and applications to boundary value problems for difference equations. J. Differ. Equ. Appl. 2004, 10: 213–223. 10.1080/10236190310001604238View ArticleMATHGoogle Scholar
  9. Meng FW, Ji DH: On some new nonlinear discrete inequalities and their applications. J. Comput. Appl. Math. 2007, 208: 425–433. 10.1016/j.cam.2006.10.024MathSciNetView ArticleMATHGoogle Scholar
  10. Ma QH, Pečarić J: Estimates on solutions of some new nonlinear retarded Volterra-Fredholm type integral inequalities. Nonlinear Anal. 2008, 69: 393–407. 10.1016/j.na.2007.05.027MathSciNetView ArticleMATHGoogle Scholar
  11. Pachpatte BG: Inequalities applicable in the theory of finite differential equations. J. Math. Anal. Appl. 1998, 222: 438–459. 10.1006/jmaa.1998.5929MathSciNetView ArticleMATHGoogle Scholar
  12. Pachpatte BG: On some new inequalities related to a certain inequality arising in the theory of differential equations. J. Math. Anal. Appl. 2000, 251: 736–751. 10.1006/jmaa.2000.7044MathSciNetView ArticleMATHGoogle Scholar
  13. Cheung WS, Ma QH, Pečaric̀ J: Some discrete nonlinear inequalities and applications to difference equations. Acta Math. Sci., Ser. B 2008, 28: 417–430.View ArticleGoogle Scholar
  14. Deng SF: Nonlinear discrete inequalities with two variables and their applications. Appl. Math. Comput. 2010, 217: 2217–2225. 10.1016/j.amc.2010.07.022MathSciNetView ArticleMATHGoogle Scholar
  15. 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.038MathSciNetView ArticleMATHGoogle Scholar
  16. Ma QH, Cheung WS: Some new nonlinear difference inequalities and their applications. J. Comput. Appl. Math. 2007, 202: 339–351. 10.1016/j.cam.2006.02.036MathSciNetView ArticleMATHGoogle Scholar
  17. Ma QH: N -independent-variable discrete inequalities of Gronwall-Ou-Iang type. Ann. Differ. Equ. 2000, 16: 813–820.Google Scholar
  18. Pang PYH, Agarwal RP: On an integral inequality and discrete analogue. J. Math. Anal. Appl. 1995, 194: 569–577. 10.1006/jmaa.1995.1318MathSciNetView ArticleMATHGoogle Scholar
  19. Pachpatte BG: On some fundamental integral inequalities and their discrete analogues. J. Inequal. Pure Appl. Math. 2001., 2: Article ID 15Google Scholar
  20. Meng FW, Li WN: On some new nonlinear discrete inequalities and their applications. J. Comput. Appl. Math. 2003, 158: 407–417. 10.1016/S0377-0427(03)00475-8MathSciNetView ArticleMATHGoogle Scholar
  21. Ma QH: Some new nonlinear Volterra-Fredholm-type discrete inequalities and their applications. J. Comput. Appl. Math. 2008, 216: 451–466. 10.1016/j.cam.2007.05.021MathSciNetView ArticleMATHGoogle Scholar
  22. Zheng B: Qualitative and quantitative analysis for solutions to a class of Volterra-Fredholm type difference equation. Adv. Differ. Equ. 2011., 2011: Article ID 30Google Scholar
  23. Ma QH: Estimates on some power nonlinear Volterra-Fredholm type discrete inequalities and their applications. J. Comput. Appl. Math. 2010, 233: 2170–2180. 10.1016/j.cam.2009.10.002MathSciNetView ArticleMATHGoogle Scholar
  24. Zheng B, Feng QH: Some new Volterra-Fredholm-type discrete inequalities and their applications in the theory of difference equations. Abstr. Appl. Anal. 2011., 2011: Article ID 584951Google Scholar

Copyright

© Zheng and Fu; licensee Springer 2012

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.