Skip to main content

Solutions for n th-order boundary value problems of impulsive singular nonlinear integro-differential equations in Banach spaces

Abstract

Not considering the Green’s function, the present study starts to construct a cone formed by a nonlinear term in Banach spaces, and through the cone creates a convex closed set. We obtain the existence of solutions for the boundary values problems of n th-order impulsive singular nonlinear integro-differential equations in Banach spaces by applying the Mönch fixed point theorem. An example is given to illustrate the main results.

MSC:45J05, 34G20, 47H10.

1 Introduction and preliminaries

By using the Schauder fixed point theorem, Guo [1] obtained the existence of solutions of initial value problems for n th-order nonlinear impulsive integro-differential equations of mixed type on an infinite interval with infinite number of impulsive times in a Banach space. In [2], by using the fixed point theorem in a cone, Chen and Qin investigated the existence of multiple solutions for a class of boundary value problems of singular nonlinear integro-differential equations of mixed type in Banach spaces. For singular differential equations in Banach spaces please see [39]. Generally based on Green’s function to construct a cone, but using the cone to study different nonlinear terms, we encountered difficulties, especially in infinite dimensional Banach spaces. In this paper, informed by the characteristics of the nonlinear term we construct a new cone, and through this cone create a convex closed set. On the new convex closed set, we apply the Mönch fixed point theorem to investigate the existence of solutions for the boundary value problems of n th-order impulsive singular nonlinear integro-differential equations in Banach spaces. Finally, an example of scalar second-order impulsive integro-differential equations for an infinite system is offered. Because of difficulties of compactness arising from impulsiveness and the use of n th-order integro-differential equations, a space P C n 1 [J,E] is introduced. Let E be a real Banach space and J:=[0,1]. Let PC[J,E] := {u|u:JE u(t) continuous at t t k , left continuous at t= t k , and u( t k + ) exists, k=1,2,,m}. Obviously PC[J,E] is a Banach space with norm

u:= sup t J u ( t ) .

Let P C n 1 [J,E] := {uPC[J,E]| u ( n 1 ) (t) exists and let it be continuous at t t k , let u ( n 1 ) ( t k + ) and u ( n 1 ) ( t k ) exist, k=1,2,,m}, where u ( n 1 ) ( t k + ) and u ( n 1 ) ( t k ) represent the right and the left limits of u ( n 1 ) (t) at t= t k , respectively. For uP C n 1 [J,E], we have

u ( n 2 ) ( t k ϵ ) = u ( n 2 ) ( t ) + t t k ϵ u ( n 1 ) ( s ) d s , t k 1 < t < t k ϵ < t k ( ϵ > 0 ) , k = 1 , 2 , , m .

So observing the existence of u ( n 1 ) ( t k ) and taking limits as ϵ 0 + in the above equality, we see that u ( n 2 ) ( t k ) exists and

u ( n 2 ) ( t k ) = u ( n 2 ) (t)+ t t k u ( n 1 ) (s)ds, t k 1 <t<t,k=1,2,,m.

Similarly, we can show that u ( n 2 ) ( t k + ) exists. In the same way, we get the existence of u ( n 3 ) ( t k ), u ( n 3 ) ( t k + ),, u ( t k ), u ( t k + ). Define u ( i ) ( t k )= u ( i ) ( t k ) (i=1,2,,n1, k=1,2,,m). Then u ( i ) PC[J,E] (i=1,2,,n1), and, as is natural, in the following, u ( i ) ( t k ) is understood as u ( i ) ( t k ). It is easy to see that P C n 1 [J,E] is a Banach space with norm

u P C n 1 := max i = 0 , 1 , , n 1 { sup t J u ( i ) ( t ) } .

Let P be a cone in E which defines a partial ordering in E by xy if and only if yxP. P is said to be normal if there exists a positive constant N such that θxy implies xNy, where the smallest N is called the normal constant of P. For convenience, let N=1. Let P 1 ={uP:u u 0 u}, in which u 0 P and 0< u 0 <1. For r>0, we write P 1 r ={u P 1 :u<r}. We consider the following singular boundary value problem (SBVP for short) for an n th-order impulsive nonlinear integro-differential equation in E:

{ u ( n ) ( t ) = f ( t , u ( t ) , u ( t ) , , u ( n 1 ) ( t ) , ( T u ) ( t ) , ( S u ) ( t ) ) , 0 < t < 1 , t t k ( k = 1 , 2 , , m ) , u ( i ) | t = t k = I i k ( u ( t k ) , u ( t k ) , , u ( n 1 ) ( t k ) ) ( i = 0 , 1 , , n 2 ; k = 1 , 2 , , m ) , u ( n 1 ) | t = t k = I n 1 k ( u ( t k ) , u ( t k ) , , u ( n 1 ) ( t k ) ) ( k = 1 , 2 , , m ) , u ( i ) ( 0 ) = θ ( i = 0 , 1 , , n 2 ) , u ( n 1 ) ( 1 ) = θ ,
(1)

where 0< t 1 < t 2 << t m <1,

fC [ ( 0 , 1 ) × P 1 { θ } × P 1 { θ } × × P 1 { θ } × P 1 × P 1 n + 2 , P 1 ] ,

I i k C[ P 1 × P 1 × × P 1 n , P 1 ] (i=0,1,,n1; k=1,2,,m), and

(Tu)(t)= 0 t k(t,s)u(s)ds,(Su)(t)= 0 1 h(t,s)u(s)ds,tJ,
(2)

with kC[D, R + ] (D={(t,s)J×J:ts}), hC[J×J, R + ]. u ( i ) | t = t k denotes the jump of u ( i ) (t) at t= t k , i.e.,

u ( i ) | t = t k = u ( i ) ( t k + ) u ( i ) ( t k ) ,

and θ denotes the zero element of E.

f(t, v 0 , v 1 ,, v n , v n + 1 ) is singular at v i =θ (i=0,1,,n1), t=0 and/or t=1 if

lim v i θ f ( t , v 0 , , v n + 1 ) =+(i=0,1,,n1),

t(0,1), v k P 1 (k=n,n+1), v j P 1 {θ} (i,j=1,,n1), and

lim t 0 + f ( t , v 0 , , v n + 1 ) =+and/or lim t 1 f ( t , v 0 , , v n + 1 ) =+,

v i P 1 {θ} (i=0,1,,n1), v j P 1 (j=n,n+1).

Remark Obviously, P 1 P, and P 1 is a normal cone of E if P is a normal cone of E. P 1 and P has the same normal constant N.

In the following, we assume that P is a normal cone. Let J =J{ t 1 , t 2 ,, t m }. A map uP C n 1 [J,E] C n [ J ,E] is called a solution of SBVP (1) if it satisfies (1).

2 Several lemmas

To continue, let us formulate some lemmas.

Lemma 2.1 If HP C n 1 [J,E] is bounded and the elements of H ( n 1 ) are equicontinuous on each J k (k=0,1,,m), then

α n 1 (H)= max i = 0 , 1 , , n 1 { sup t J α ( H ( i ) ( t ) ) } ,

in which α denotes the Kuratowski measure of noncompactness, H ( i ) (t)={ x ( i ) (t):xH} (i=0,1,,n1).

Proof For i=0,1,,n1, it is easy to prove that

sup t J α ( H ( i ) ( t ) ) α ( H ( i ) ( J ) ) α ( H ( i ) ) .

Since u ( i ) u P C n 1 (i=0,1,,n1), we know α( H ( i ) ) α n 1 (H) (i=0,1,,n1). Hence

max i = 0 , 1 , , n 1 { sup t J α ( H ( i ) ( t ) ) } α n 1 (H).
(3)

Next, we check that

max i = 0 , 1 , , n 1 { sup t J α ( H ( i ) ( t ) ) } α n 1 (H).

In fact, for any ϵ>0, there is a division H ( i ) = l = 1 p H l ( i ) (i=0,1,,n1) such that

diam ( H l ( i ) ) <α ( H ( i ) ) +ϵ,i=0,1,,n1.
(4)

By hypothesis, the elements of H ( n 1 ) are equicontinuous on each J k and there is a division:

0 = t 0 < t 1 < < t j 1 = t 1 < t j 1 + 1 < < t j 2 = t 2 < < t j m = t m < t j m + 1 < < t j m + 1 = 1 ,

such that

u ( i ) ( t ) u ( i ) ( t 1 ) <ϵ,uH,t [ t 0 , t 1 ] (i=0,1,,n1)
(5)

and

u ( i ) ( t ) u ( i ) ( t j ) <ϵ,uH,t( t j 1 , t j ](j=2,, j m + 1 ,i=0,1,,n1).
(6)

Let J 1 =[0, t 1 ], J j =( t j 1 , t j ] (j=2,, j m + 1 ). By virtue of (5) and (6), we know that

u ( i ) ( t ) u ( i ) ( t j ) <ϵ,uH,t J j (j=1,2,, j m + 1 ,i=0,1,,n1).
(7)

Let B:= i = 0 n 1 j = 1 j m + 1 H ( i ) ( t j ). There is a division B= l = 1 p B l such that

diam B l <α(B)+ϵ(l=1,,p).
(8)

Let F be the finite set of all maps {0,1,,n1}×{1,2,, j m + 1 } into {1,2,,p} (μ:(i,j)μ(i,j)). For μF, let H μ :={uH: u ( i ) ( t j ) B μ ( i , j ) ,(i,j){0,1,,n1}×{1,2,, j m + 1 }}. It is clear that H= μ F H μ . For any u,v H μ , tJ, we have t J j for some j{1,2,, j m + 1 }, and so

u ( i ) ( t ) v ( i ) ( t ) u ( i ) ( t ) u ( i ) ( t j ) + u ( i ) ( t j ) v ( i ) ( t j ) + v ( i ) ( t j ) v ( i ) ( t ) < α ( B ) + 3 ϵ ( i = 0 , 1 , , n 1 ) .
(9)

Consequently,

diam H μ α(B)+3ϵ,μF,

which implies α n 1 (H)α(B)+3ϵ. Since ϵ>0 is arbitrary, we get

α n 1 ( H ) α ( B ) = max { α ( H ( i ) ( t j ) ) : j = 1 , 2 , , j m + 1 , i = 0 , 1 , , n 1 } max i = 0 , 1 , , n 1 { sup t J α ( H ( i ) ( t ) ) } .
(10)

Finally, the conclusion follows from (3) and (10). For details of the Kuratowski measure of noncompactness, please see [10]. □

Lemma 2.2 (see [11])

Let us take a countable set D={ u n }L[J,E] (nN). For all u n D, there is gL[J, R + ] such that u n (t)g(t), a.e, tJ. Then α(D(t))L[J, R + ], and

α ( { 0 t u n ( s ) d s : n N } ) 2 0 t α ( D ( s ) ) ds.

Lemma 2.3 Suppose HPC[J,E] is bounded and equicontinuous on each J k (k=0,1,,m). Then α(H(t))PC[J, R + ], and

α ( { J u ( t ) d t : u H } ) J α ( H ( t ) ) dt.

Proof By Theorem 1.2.2 of [10], the conclusion is obvious. □

Lemma 2.4 Let B 1 , B 2 P C n 1 [J,E] be two countable sets. Suppose u 0 P C n 1 [J,E] and B 1 ¯ = co ¯ ({ u 0 } B 2 ). Then

B 1 ( i ) ( t ) ¯ = co ¯ ( { u 0 ( i ) ( t ) } B 2 ( i ) ( t ) ) ,tJ(i=0,1,,n1).

Proof The conclusion is obvious by Lemma 6 of [12]. □

Lemma 2.5 (see [13]) (The Mönch fixed point theorem)

Let E be a Banach space. Assume that DE is close and convex. Assume also that A:DD is continuous with the further property that for some u 0 D, we have CD countable, C ¯ = co ¯ ({ u 0 }A(C)) implies that C is relatively compact. Then A has a fixed-point in D.

3 Main theorem and example

For convenience, we list the following conditions:

(H1) There exist bC[J, R + ], a i C[J, R + ] (i=0,1,,n+1), g i C[(0,+),(0,+)] (i=0,1,,n1) and h i C[[0,+),[0,+)] (i=0,1,,n+1) such that

f ( t , v 0 , v 1 , , v n 1 , v n , v n + 1 ) b ( t ) + i = 0 n 1 a i ( t ) ( g i ( v i ) + h i ( v i ) ) + a n ( t ) h n ( v n ) + a n + 1 ( t ) h n + 1 ( v n + 1 ) , t ( 0 , 1 ) , v i P 1 r { θ } ( i = 0 , 1 , , n 1 ) , v n , v n + 1 P 1 r ,

where g i is nonincreasing, h i g i (i=0,1,,n1) and h n , h n + 1 are nondecreasing. And there exist d i k 0, c i k j 0 (i,j=0,1,,n1, k=1,2,,m) such that

I i k ( v 0 , v 1 , , v n 1 ) d i k + j = 0 n 1 c i k j v j (i=0,1,,n1,k=1,2,,m),

v j P 1 r (j=0,1,,n1).

(H2) There exists a φ P 1 ( P 1 denotes the dual cone of P 1 ) such that φ=1. And for any r>0, there exists a h r (t)L[(0,1),(0,+)] such that

φ ( f ( t , v 0 , v 1 , , v n 1 , v n , v n + 1 ) ) h r ( t ) , t ( 0 , 1 ) , v i P 1 r { θ } ( i = 0 , 1 , , n 1 ) , v n , v n + 1 P 1 r .

(H3) There exists a R 0 > 0 1 h R 0 (s)ds such that

0 1 ( b ( s ) + i = 0 n 2 a i ( s ) g i ( φ ( u 0 ) s n 1 i ( n 1 i ) ! 0 1 τ h R 0 ( τ ) d τ ) ( 1 + h i ( R 0 ) g i ( R 0 ) ) + a n 1 ( s ) × g n 1 ( φ ( u 0 ) s 1 h R 0 ( τ ) d τ ) × ( 1 + h n 1 ( R 0 ) g n 1 ( R 0 ) ) + a n ( s ) h n ( k R 0 ) + a n + 1 ( s ) h n + 1 ( h R 0 ) ) d s + k = 1 m i = 0 n 2 ( 1 t k ) i i ! ( d i k + j = 0 n 1 c i k j R 0 ) + k = 1 m ( d n 1 k + j = 0 n 1 c n 1 k j R 0 ) R 0 ,

where b, a i (i=0,1,,n+1), g i (i=0,1,,n1), φ, h i (i=0,1,,n+1), d i k (i=0,1,,n1), c i k j (i,j=0,1,,n1, k=0,1,,m) and h R 0 are defined as in conditions (H1) and (H2), and k := max ( t , s ) D {k(t,s)}, h := max ( t , s ) J × J {h(t,s)}.

(H4) There exist L i (t)L[(0,1), R + ] (i=0,1,,n+1), b>a>0 such that

α ( f ( t , B 0 , B 1 , , B n + 1 ) ) i = 0 n + 1 L i (t)α( B i ),t(0,1),

B i P 1 b ¯ P 1 a (i=0,1,,n1), B n , B n + 1 P 1 b ¯ . There exist M i k j 0 (i,j=0,1,,n1, k=1,2,,m) such that

α ( I i k ( B 0 , B 1 , , B n 1 ) ) j = 0 n 1 M i k j α ( B j ) , B j P 1 b ¯ ( j = 0 , 1 , , n 1 ) ( i = 0 , 1 , , n 1 , k = 1 , 2 , , m ) .

Remark Obviously, condition (H4) is satisfied automatically when E is finite dimensional.

Lemma 3.1 Suppose conditions (H1), (H2) and (H3) are satisfied. Then Q defined by

Q = : { u P C n 1 [ J , P ] : u ( i ) ( t ) u 0 u ( i ) ( t ) ( i = 0 , 1 , , n 1 ) , u ( i ) | t = t k θ ( i = 0 , 1 , , n 2 ) , φ ( u ( n 1 ) ( t ) ) φ ( u 0 ) t 1 h R 0 ( s ) d s , u P C n 1 R 0 , t J }

is a nonempty, convex and closed subset of P C n 1 [J,E].

Proof Let

u ˜ ( t ) = u 0 ( 1 ( n 1 ) ! 0 t ( t s ) n 1 h R 0 ( s ) d s + t n 1 ( n 1 ) ! 0 1 h R 0 ( s ) d s + 0 < t k < t i = 0 n 2 ( t t k ) i i ! + m t n 1 ( n 1 ) ! 0 < t k < t ( t t k ) n 1 ( n 1 ) ! ) , t J .

For j=0,1,,n1,

u ˜ ( j ) ( t ) = u 0 ( 1 ( n 1 j ) ! 0 t ( t s ) n 1 j h R 0 ( s ) d s + t n 1 j ( n 1 j ) ! 0 1 h R 0 ( s ) d s + 0 < t k < t i = j n 2 ( t t k ) i j ( i j ) ! + m t n 1 j ( n 1 j ) ! 0 < t k < t ( t t k ) n 1 j ( n 1 j ) ! ) , t J .
(11)

It is clear that u ˜ (t)P C n 1 [J,P]. Since 0< u 0 <1, for j=0,1,,n1, by (11), one can see that

u ˜ ( j ) ( t ) = u 0 | 1 ( n 1 j ) ! 0 t ( t s ) n 1 j h R 0 ( s ) d s + t n 1 j ( n 1 j ) ! 0 1 h R 0 ( s ) d s + 0 < t k < t i = j n 2 ( t t k ) i j ( i j ) ! + m t n 1 j ( n 1 j ) ! 0 < t k < t ( t t k ) n 1 j ( n 1 j ) ! | ( 1 ( n 1 j ) ! 0 t ( t s ) n 1 j h R 0 ( s ) d s + t n 1 j ( n 1 j ) ! 0 1 h R 0 ( s ) d s + 0 < t k < t i = j n 2 ( t t k ) i j ( i j ) ! + m t n 1 j ( n 1 j ) ! 0 < t k < t ( t t k ) n 1 j ( n 1 j ) ! ) ,

which implies u ˜ ( i ) (t) u 0 u ˜ ( i ) (t) (i=0,1,,n1) for tJ.

By conditions (H1), (H2), (H3), and (11), we have

u ˜ ( i ) | t = t k θ(i=0,1,,n2), u ˜ P C n 1 R 0

and φ( u ˜ n 1 (t))φ( u 0 ) t 1 h R 0 (s)ds. Therefore, u ˜ Q and Q is a nonempty set.

Now, we check that Q is a convex subset of P C n 1 [J,E]. In fact, for any u,vQ, 0λ1, we write v ˜ =λu+(1λ)v, which means v ˜ P C n 1 [J,P]. It is clear that

v ˜ ( i ) | t = t k =λ u ( i ) | t = t k +(1λ) v ( i ) | t = t k λθ+(1λ)θ=θ(i=0,1,,n2).
(12)

By virtue of the characters of elements of Q and the characters of φ, we have

v ˜ ( i ) ( t ) = λ u ( i ) ( t ) + ( 1 λ ) v ( i ) ( t ) λ u 0 u ( i ) ( t ) + ( 1 λ ) u 0 v ( i ) ( t ) u 0 ( λ u ( i ) ( t ) + ( 1 λ ) v ( i ) ( t ) ) = u 0 v ˜ ( i ) ( t ) ( i = 0 , 1 , , n 1 ) .
(13)

In the same way,

φ ( v ˜ ( n 1 ) ) = φ ( λ u ( n 1 ) + ( 1 λ ) v ( n 1 ) ) λ φ ( u 0 ) t 1 h R 0 ( s ) d s + ( 1 λ ) φ ( u 0 ) t 1 h R 0 ( s ) d s = φ ( u 0 ) t 1 h R 0 ( s ) d s
(14)

and

v ˜ P C n 1 = λ u + ( 1 λ ) v P C n 1 λ R 0 +(1λ) R 0 = R 0 .

Therefore, v ˜ Q. Thus, Q is a convex subset of P C n 1 [J,E]. It is clear that Q is a closed subset of P C n 1 [J,E]. So the conclusion holds. □

Lemma 3.2 Assume that conditions (H1), (H2) and (H3) are satisfied. Then A:QQ, where the operator A is defined by

( A u ) ( t ) = 1 ( n 1 ) ! 0 t ( t s ) n 1 f ( s , u ( s ) , u ( s ) , , u ( n 1 ) ( s ) , ( T u ) ( s ) , ( S u ) ( s ) ) d s + t n 1 ( n 1 ) ! 0 1 f ( s , u ( s ) , u ( s ) , , u ( n 1 ) ( s ) , ( T u ) ( s ) , ( S u ) ( s ) ) d s + 0 < t k < t i = 0 n 2 ( t t k ) i i ! I i k ( u ( t k ) , u ( t k ) , , u ( n 1 ) ( t k ) ) + t n 1 ( n 1 ) ! k = 1 m I n 1 k ( u ( t k ) , u ( t k ) , , u ( n 1 ) ( t k ) ) 0 < t k < t ( t t k ) n 1 ( n 1 ) ! I n 1 k ( u ( t k ) , u ( t k ) , , u ( n 1 ) ( t k ) ) , t J .
(15)

Proof For any uQ, i.e.,

u ( i ) (t) u 0 u ( i ) ( t ) (i=0,1,,n1)
(16)

and

φ ( u ( n 1 ) ( t ) ) φ ( u 0 ) t 1 h R 0 ( s ) d s , t J , u ( i ) | t = t k θ ( i = 0 , 1 , , n 2 ) , u P C n 1 R 0 .

For any uQ and t(fixed)J,

( T u ) ( t ) = 0 t k ( t , s ) u ( s ) d s 0 t k ( t , s ) u 0 u ( s ) d s u 0 0 t k ( t , s ) u ( s ) d s = u 0 ( T u ) ( t )
(17)

and

( S u ) ( t ) = 0 t h ( t , s ) u ( s ) d s 0 1 h ( t , s ) u 0 u ( s ) d s u 0 0 1 h ( t , s ) u ( s ) d s = u 0 ( S u ) ( t ) .
(18)

Because of φ P , φ=1 and φ( u ( n 1 ) (t))φ( u 0 ) t 1 h R 0 (s)ds, t(0,1), we know

u ( n 1 ) ( t ) = u ( n 1 ) ( t ) φφ ( u ( n 1 ) ( t ) ) φ( u 0 ) t 1 h R 0 (s)ds.
(19)

Analogously, for i=0,1,,n2, it is easy to see

φ ( u ( j ) ( t ) ) = φ ( 0 < t k < t i = j n 1 ( t t k ) i j ( i j ) ! u ( i ) | t = t k + 1 ( n 2 j ) ! 0 t ( t s ) n 2 j u ( n 1 ) ( s ) d s ) 1 ( n 2 j ) ! 0 t ( t s ) n 2 j φ ( u ( n 1 ) ( s ) ) d s 1 ( n 2 j ) ! 0 t ( t s ) n 2 j φ ( u 0 ) s 1 h R 0 ( τ ) d τ d s t n 1 j ( n 1 j ) ! φ ( u 0 ) 0 1 ( 1 ( 1 s ) n 1 j ) h R 0 ( s ) d s t n 1 j ( n 1 j ) ! φ ( u 0 ) 0 1 s h R 0 ( s ) d s , t ( 0 , 1 ) .
(20)

Hence,

u ( j ) ( t ) t n 1 j ( n 1 j ) ! φ( u 0 ) 0 1 s h R 0 (s)ds,j=0,1,,n2,t(0,1).
(21)

Differentiating (15) n1 times, we get

( A u ) ( n 1 ) ( t ) = t 1 f ( s , u ( s ) , u ( s ) , , u ( n 1 ) ( s ) , ( T u ) ( s ) , ( S u ) ( s ) ) d s + k = 1 m I n 1 k ( u ( t k ) , u ( t k ) , , u ( n 1 ) ( t k ) ) 0 < t k < t I n 1 k ( u ( t k ) , u ( t k ) , , u ( n 1 ) ( t k ) ) , t J .
(22)

Obviously, ( A u ) ( n 1 ) ( t i + ) (i=1,2,,m) exist and

( A u ) ( n 1 ) ( t i + ) = t i 1 f ( s , u ( s ) , u ( s ) , , u ( n 1 ) ( s ) , ( T u ) ( s ) , ( S u ) ( s ) ) d s + k = i + 1 m I n 1 k ( u ( t k ) , u ( t k ) , , u ( n 1 ) ( t k ) ) , t J ( i = 1 , 2 , , m ) ,
(23)

where k = i + 1 m I n 1 k (u( t k ), u ( t k ),, u ( n 1 ) ( t k )) is understood as θ for i=m. Similarly, ( A u ) ( n 1 ) ( t i ) (i=1,2,,m) exist. Hence,

AuP C n 1 [J,P].
(24)

Let

G l (t,s)=: { t n 1 l ( t s ) n 1 l ( n 1 l ) ! , 0 s t 1 ; t n 1 l ( n 1 l ) ! , 0 t < s 1 (l=0,1,,n1).
(25)

Since

fC [ ( 0 , 1 ) × P 1 { θ } × P 1 { θ } × × P 1 { θ } × P 1 × P 1 n + 2 , P 1 ]

and I i k C[ P 1 × P 1 × × P 1 n , P 1 ] (i=0,1,,n1; k=1,2,,m), it follows from (15), (16), (17) and (18) that

( A u ) ( l ) ( t ) = 0 1 G l ( t , s ) f ( u ( s ) , u ( s ) , , u ( n 1 ) ( s ) , ( T u ) ( s ) , ( S u ) ( s ) ) d s + 0 < t k < t i = l n 2 ( t t k ) i l ( i l ) ! I i k ( u ( t k ) , u ( t k ) , , u ( n 1 ) ( t k ) ) + t n 1 l ( n 1 l ) ! k = 1 m I n 1 k ( u ( t k ) , u ( t k ) , , u ( n 1 ) ( t k ) ) 0 < t k < t ( t t k ) n 1 l ( n 1 l ) ! I n 1 k ( u ( t k ) , u ( t k ) , , u ( n 1 ) ( t k ) ) 0 1 G l ( t , s ) u 0 f ( u ( s ) , u ( s ) , , u ( n 1 ) ( s ) , ( T u ) ( s ) , ( S u ) ( s ) ) d s + 0 < t k < t i = l n 2 ( t t k ) i l ( i l ) ! u 0 I i k ( u ( t k ) , u ( t k ) , , u ( n 1 ) ( t k ) ) + ( t n 1 l ( n 1 l ) ! k = 1 m 1 k 0 < t k < t ( t t k ) n 1 l ( n 1 l ) ! ) × u 0 I n 1 k ( u ( t k ) , u ( t k ) , , u ( n 1 ) ( t k ) ) u 0 0 1 G l ( t , s ) f ( u ( s ) , u ( s ) , , u ( n 1 ) ( s ) , ( T u ) ( s ) , ( S u ) ( s ) ) d s + 0 < t k < t i = l n 2 ( t t k ) i l ( i l ) ! I i k ( u ( t k ) , u ( t k ) , , u ( n 1 ) ( t k ) ) + t n 1 l ( n 1 l ) ! k = 1 m I n 1 k ( u ( t k ) , u ( t k ) , , u ( n 1 ) ( t k ) ) 0 < t k < t ( t t k ) n 1 l ( n 1 l ) ! I n 1 k ( u ( t k ) , u ( t k ) , , u ( n 1 ) ( t k ) ) = u 0 ( A u ) ( l ) ( t ) , l = 0 , 1 , , n 1 , t J .
(26)

It is clear that

( A u ) ( l ) | t = t k θ,l=0,1,,n2.
(27)

Since φ( u 0 )φ u 0 1, by (22), (26) and condition (H2), we have

φ ( ( A u ) ( n 1 ) ( t ) ) = φ ( t 1 f ( s , u ( s ) , u ( s ) , , u ( n 1 ) ( s ) , ( T u ) ( s ) , ( S u ) ( s ) ) d s + k = 1 m I n 1 k ( u ( t k ) , u ( t k ) , , u ( n 1 ) ( t k ) ) 0 < t k < t I n 1 k ( u ( t k ) , u ( t k ) , , u ( n 1 ) ( t k ) ) ) t 1 h R 0 ( s ) d s φ ( u 0 ) t 1 h R 0 ( s ) d s , t J .
(28)

Now, we show that

A u P C n 1 R 0 ,uQ.
(29)

By (15), (19), (21), conditions (H1) and (H3) imply

( A u ) ( l ) ( t ) = 0 1 G l ( t , s ) f ( u ( s ) , u ( s ) , , u ( n 1 ) ( s ) , ( T u ) ( s ) , ( S u ) ( s ) ) d s + 0 < t k < t i = l n 2 ( t t k ) i l ( i l ) ! I i k ( u ( t k ) , u ( t k ) , , u ( n 1 ) ( t k ) ) + t n 1 l ( n 1 l ) ! k = 1 m I n 1 k ( u ( t k ) , u ( t k ) , , u ( n 1 ) ( t k ) ) 0 < t k < t ( t t k ) n 1 l ( n 1 l ) ! I n 1 k ( u ( t k ) , u ( t k ) , , u ( n 1 ) ( t k ) ) 0 1 G l ( t , s ) f ( u ( s ) , u ( s ) , , u ( n 1 ) ( s ) , ( T u ) ( s ) , ( S u ) ( s ) ) d s + 0 < t k < t i = l n 2 ( t t k ) i l ( i l ) ! I i k ( u ( t k ) , u ( t k ) , , u ( n 1 ) ( t k ) ) + t n 1 l ( n 1 l ) ! k = 1 m I n 1 k ( u ( t k ) , u ( t k ) , , u ( n 1 ) ( t k ) ) 0 < t k < t ( t t k ) n 1 l ( n 1 l ) ! I n 1 k ( u ( t k ) , u ( t k ) , , u ( n 1 ) ( t k ) ) 0 1 ( b ( s ) + i = 0 n 2 a i ( s ) g i ( φ ( u 0 ) s n 1 i ( n 1 i ) ! 0 1 τ h R 0 ( τ ) d τ ) ( 1 + h i ( R 0 ) g i ( R 0 ) ) + a n 1 ( s ) g n 1 ( φ ( u 0 ) s 1 h R 0 ( τ ) d τ ) ( 1 + h n 1 ( R 0 ) g n 1 ( R 0 ) ) + a n ( s ) h n ( k R 0 ) + a n + 1 ( s ) h n + 1 ( h R 0 ) ) d s + k = 1 m i = 0 n 2 ( 1 t k ) i i ! ( d i k + j = 0 n 1 c i k j R 0 ) + k = 1 m ( d n 1 k + j = 0 n 1 c n 1 k j R 0 ) R 0 , l = 0 , 1 , , n 1 , t J ,
(30)

which implies that (29) is true. By (24), (26) to (29), the conclusion holds. □

Lemma 3.3 Suppose conditions (H1) to (H4) are satisfied. Let

D l ( t ) = { 0 1 G l ( t , s ) f ( s , u ( s ) , , u ( n 1 ) ( s ) , ( T u ) ( s ) , ( S u ) ( s ) ) d s : u B } ( l = 0 , 1 , , n 2 )

and

D n 1 (t)= { t 1 f ( s , u ( s ) , , u ( n 1 ) ( s ) , ( T u ) ( s ) , ( S u ) ( s ) ) d s : u B } ,

in which tJ, B(countable)Q. Then

α ( D l ( t ) ) 0 1 2 s ( i = 0 n 1 L i ( s ) α ( B ( i ) ( s ) ) + L n ( s ) k α ( B ( s ) ) + L n + 1 ( s ) h α ( B ( s ) ) ) d s ( l = 0 , 1 , , n 2 )
(31)

and

α ( D n 1 ( t ) ) 0 1 2 ( i = 0 n 1 L i ( s ) α ( B ( i ) ( s ) ) + L n ( s ) k α ( B ( s ) ) + L n + 1 ( s ) h α ( B ( s ) ) ) ds,
(32)

in which B ( i ) (s)={ u ( i ) (s):uB} (i=0,1,,n1).

Proof In order to avoid the singularity, given 1 2 >δ>0, let

D l δ ( t ) = : { δ 1 δ G l ( t , s ) f ( s , u ( s ) , , u ( n 1 ) ( s ) , ( T u ) ( s ) , ( S u ) ( s ) ) d s : u B } ( l = 0 , 1 , , n 2 ) , 0 < δ < 1 2 , t J .

By conditions (H1), (H2) and (H3), for any tJ, uB, we have

0 1 G l ( t , s ) f ( s , u ( s ) , , u ( n 1 ) ( s ) , ( T u ) ( s ) , ( S u ) ( s ) ) d s δ 1 δ G l ( t , s ) f ( s , u ( s ) , , u ( n 1 ) ( s ) , ( T u ) ( s ) , ( S u ) ( s ) ) d s 0 δ ( b ( s ) + i = 0 n 2 a i ( s ) g i ( φ ( u 0 ) s n 1 i ( n 1 i ) ! 0 1 τ h R 0 ( τ ) d τ ) ( 1 + h i ( R 0 ) g i ( R 0 ) ) + a n 1 ( s ) g n 1 ( φ ( u 0 ) s 1 h R 0 ( τ ) d τ ) × ( 1 + h n 1 ( R 0 ) g n 1 ( R 0 ) ) + a n ( s ) h n ( k R 0 ) + a n + 1 ( s ) h n + 1 ( h R 0 ) ) d s + 1 δ 1 ( b ( s ) + i = 0 n 2 a i ( s ) g i ( φ ( u 0 ) s n 1 i ( n 1 i ) ! 0 1 τ h R 0 ( τ ) d τ ) ( 1 + h i ( R 0 ) g i ( R 0 ) ) + a n 1 ( s ) g n 1 ( φ ( u 0 ) s 1 h R 0 ( τ ) d τ ) ( 1 + h n 1 ( R 0 ) g n 1 ( R 0 ) ) + a n ( s ) h n ( k R 0 ) + a n + 1 ( s ) h n + 1 ( h R 0 ) ) d s .
(33)

By virtue of absolute continuity of the Lebesgue integrable function, we have

d H ( D l δ ( t ) , D l ( t ) ) 0,as δ0,tJ,
(34)

in which, d H ( D l δ ( t ) , D l ( t ) ) denotes the Hausdorff distance between D l δ (t) and D l (t). Therefore,

α ( D l ( t ) ) = lim δ 0 α ( D l δ ( t ) ) ,tJ.
(35)

Now, we show

α ( D l δ ( t ) ) 0 1 2 s ( i = 0 n 1 L i ( s ) α ( B ( i ) ( s ) ) + L n ( s ) k α ( B ( s ) ) + L n + 1 ( s ) h α ( B ( s ) ) ) d s ( l = 0 , 1 , , n 1 ) .

In fact, by Lemma 2.2, we have

α ( D l δ ( t ) ) = α ( { δ 1 δ G l ( t , s ) f ( s , u ( s ) , , u ( n 1 ) ( s ) , ( T u ) ( s ) , ( S u ) ( s ) ) d s : u B } ) δ 1 δ 2 G l ( t , s ) α ( f ( s , B ( s ) , , B ( n 1 ) ( s ) , ( T B ) ( s ) , ( S B ) ( s ) ) ) d s ( l = 0 , 1 , , n 2 ) ,
(36)

where (TB)={(Tu)(t):uB}, (SB)={(Su)(t):uB}.

On the other hand, for uBQ, it follows from (19) and (21) that

u ( j ) ( s ) δ n 1 j ( n 1 j ) ! φ( u 0 ) 0 1 s h R 0 (s)ds,j=0,1,,n2,s(δ,1δ)
(37)

and

u ( n 1 ) ( s ) φ( u 0 ) 1 δ 1 h R 0 (s)ds,s(δ,1δ).
(38)

Taking a=min{ min j = 0 , 1 , , n 2 { δ n 1 j ( n 1 j ) ! φ( u 0 ) 0 1 h R 0 (s)ds}, δ n 1 j ( n 1 j ) ! φ( u 0 ) 0 1 h R 0 (s)ds}, b=max{ k , h ,1} R 0 , by (16), (17) and (18), one can see that

B ( i ) (s) P 1 b ¯ P 1 a (i=0,1,,n1),(TB)(s),(SB)(s) P 1 b ¯ .
(39)

Therefore, by condition (H4) and (36), for l=0,1,,n2, it is easy to get

α ( D l δ ( t ) ) 0 1 2 G l ( t , s ) ( i = 0 n 1 L i ( s ) α ( B i ( s ) ) + L n ( s ) α ( ( T B ) ( s ) ) + L n + 1 ( s ) α ( ( S B ) ( s ) ) ) d s , t J .
(40)

Since B is a bounded set of P C n 1 [J,E] and B (t) is a bounded set, B(t) is equicontinuous on each J k (k=1,2,,m). By Lemma 2.3, it is easy to get

α ( ( T B ) ( s ) ) k 0 s α ( B ( τ ) ) dτ,α ( ( S B ) ( s ) ) h 0 1 α ( B ( τ ) ) dτ.
(41)

Substituting (41) into (40), we get (31).

Similarly, we obtain (32) and our conclusion holds. □

Lemma 3.4 Let conditions (H1) to (H3) be satisfied. uP C n 1 [J,E] C n [ J ,E] is a solution of SBVP (1), if and only if uQ is a fixed point of the operator A defined by (15).

Proof First of all, by mathematical induction, for uP C n 1 [J,E] C n [ J ,E], Taylor’s formula with the integral remainder term holds,

u ( t ) = i = 0 n 1 t i i ! u ( i ) ( 0 ) + 0 < t k < t i = 0 n 1 ( t t k ) i i ! [ u ( i ) ( t k + ) u ( i ) ( t k ) ] + 1 ( n 1 ) ! 0 t ( t s ) n 1 u ( n ) ( s ) d s .
(42)

In fact, as n=1, for uPC[J,E] C 1 [ J ,E], let t k <t t k + 1 , it is easy to see that

u ( t 1 ) u ( 0 ) = 0 t 1 u ( s ) d s , u ( t 2 ) u ( t 1 + ) = t 1 t 2 u ( s ) d s , , u ( t k ) u ( t k 1 + ) = t k 1 t k u ( s ) d s , u ( t ) u ( t k + ) = t k t u ( s ) d s .

Adding these together, we get

u(t)u(0) i = 1 k [ u ( t i + ) u ( t i ) ] = 0 t u (s)ds,

that is,

u(t)=u(0)+ 0 < t k < t [ u ( t k + ) u ( t k ) ] + 0 t u (s)ds,tJ.
(43)

This proves that (42) is true for n=1.

Suppose (42) is true for n1, i.e., for uP C n 2 [J,E] C n 1 [ J ,E], the next formula holds:

u ( t ) = i = 0 n 2 t i i ! u ( i ) ( 0 ) + 0 < t k < t i = 0 n 2 ( t t k ) i i ! [ u ( i ) ( t k + ) u ( i ) ( t k ) ] + 1 ( n 2 ) ! 0 t ( t s ) n 2 u ( n 1 ) ( s ) d s .
(44)

Now we check that (42) is also true for n. In fact, suppose uP C n 1 [J,E] C n [ J ,E]. Then u ( n 1 ) PC[J,E] C 1 [ J ,E], by (43), one can see

u ( n 1 ) (t)= u ( n 1 ) (0)+ 0 < t k < t [ u ( n 1 ) ( t k + ) u ( n 1 ) ( t k ) ] + 0 t u ( n ) (s)ds,tJ.
(45)

Substituting the above equation into (44), we get

u ( t ) = i = 0 n 2 t i i ! u ( i ) ( 0 ) + 0 < t k < t i = 0 n 2 ( t t k ) i i ! [ u ( i ) ( t k + ) u ( i ) ( t k ) ] + 1 ( n 2 ) ! 0 t ( t s ) n 2 × { u ( n 1 ) ( 0 ) + 0 < t k < s [ u ( n 1 ) ( t k + ) u ( n 1 ) ( t k ) ] + 0 s u ( n ) ( τ ) d τ } d s = i = 0 n 2 t i i ! u ( i ) ( 0 ) + 0 < t k < t i = 0 n 2 ( t t k ) i i ! [ u ( i ) ( t k + ) u ( i ) ( t k ) ] + ( t s ) n 1 ( n 1 ) ! | t 0 u ( n 1 ) ( 0 ) 0 < t k < t t k t ( t s ) n 2 ( n 2 ) ! [ u ( n 1 ) ( t k + ) u ( n 1 ) ( t k ) ] d s + 1 ( n 1 ) ! 0 t ( t s ) n 1 u ( n ) ( s ) d s = i = 0 n 1 t i i ! u ( i ) ( 0 ) + 0 < t k < t i = 0 n 1 ( t t k ) i i ! [ u ( i ) ( t k + ) u ( i ) ( t k ) ] + 1 ( n 1 ) ! 0 t ( t s ) n 1 u ( n ) ( s ) d s , t J .
(46)

So, (42) is also true for n. By mathematical induction, (42) holds.

Suppose uP C n 1 [J,E] C n [ J ,E] is a solution of SBVP (1). By (42), we can see that

u ( t ) = i = 0 n 1 t i i ! u ( i ) ( 0 ) + 0 < t k < t i = 0 n 1 ( t t k ) i i ! [ u ( i ) ( t k + ) u ( i ) ( t k ) ] + 1 ( n 1 ) ! 0 t ( t s ) n 1 u ( n ) ( s ) d s .
(47)

Substituting

u ( n 1 ) (0)= u ( n 1 ) (a) 0 a u ( n ) (s)ds k = 1 m [ u ( n 1 ) ( t k + ) u ( n 1 ) ( t k ) ]

into (47), by (15), we get u(t)=(Au)(t). So u is a fixed point of the operator A defined by (15) in Q.

Conversely, if uQ is a fixed point of the operator A, i.e., u is a solution of the following impulsive integro-differential equation:

u(t)=(Au)(t).

Then, by (15), similar to (26), from the derivative of both sides of the above equation one can draw the following conclusions:

u ( l ) ( t ) = 0 1 G l ( t , s ) f ( u ( s ) , u ( s ) , , u ( n 1 ) ( s ) , ( T u ) ( s ) , ( S u ) ( s ) ) d s + 0 < t k < t i = l n 2 ( t t k ) i l ( i l ) ! I i k ( u ( t k ) , u ( t k ) , , u ( n 1 ) ( t k ) ) + t n 1 l ( n 1 l ) ! k = 1 m I n 1 k ( u ( t k ) , u ( t k ) , , u ( n 1 ) ( t k ) ) 0 < t k < t ( t t k ) n 1 l ( n 1 l ) ! I n 1 k ( u ( t k ) , u ( t k ) , , u ( n 1 ) ( t k ) ) , l = 0 , 1 , , n 1 , t J .
(48)

So, we have

u ( n 2 ) ( t ) = 0 1 G n 2 ( t , s ) f ( u ( s ) , u ( s ) , , u ( n 1 ) ( s ) , ( T u ) ( s ) , ( S u ) ( s ) ) d s + 0 < t k < t I n 2 k ( u ( t k ) , u ( t k ) , , u ( n 1 ) ( t k ) ) + t k = 1 m I n 1 k ( u ( t k ) , u ( t k ) , , u ( n 1 ) ( t k ) ) 0 < t k < t ( t t k ) I n 1 k ( u ( t k ) , u ( t k ) , , u ( n 1 ) ( t k ) ) , t J
(49)

and

u ( n 1 ) ( t ) = t 1 f ( s , u ( s ) , u ( s ) , , u ( n 1 ) ( s ) , ( T u ) ( s ) , ( S u ) ( s ) ) d s 0 < t k < t I n 1 k ( u ( t k ) , u ( t k ) , , u ( n 1 ) ( t k ) ) + k = 1 m I n 1 k ( u ( t k ) , u ( t k ) , , u ( n 1 ) ( t k ) ) , t J .
(50)

Hence

u ( n ) (t)=f ( t , u ( t ) , u ( t ) , , u ( n 1 ) ( t ) , ( T u ) ( t ) , ( S u ) ( t ) ) ,t J .
(51)

It follows from (48) and (50) that uP C n 1 [J,E] C n [ J ,E]. By (48), (49) and (50), we have

u ( i ) | t = t k = I i k ( u ( t k ) , u ( t k ) , , u ( n 1 ) ( t k ) ) (i=0,1,,n2;k=1,2,,m)
(52)

and

u ( n 1 ) | t = t k = I n 1 k ( u ( t k ) , u ( t k ) , , u ( n 1 ) ( t k ) ) (k=1,2,,m).
(53)

It is easy to see by (48) and (50)

u ( i ) (0)=θ(i=0,1,,n2), u ( n 1 ) (1)=θ.
(54)

By (51) to (54), u is a solution of SBVP (1). □

Theorem 3.1 Let conditions (H1) to (H4) be satisfied. Assume that

β = : max { 0 1 2 s ( i = 0 n 1 L i ( s ) + L n ( s ) k + L n + 1 ( s ) h ) d s + k = 1 m i = 0 n 2 ( 1 t k ) i i ! j = 0 n 1 M i k j + k = 1 m j = 0 n 1 M n 1 k j , 2 0 1 ( i = 0 n 1 L i ( s ) + L n ( s ) k + L n + 1 ( s ) h ) d s + k = 1 m j = 0 n 1 M n 1 k j } < 1 .
(55)

Then SBVP (1) has at least a solution uP C n 1 [J,E] C n [ J ,E].

Proof We will use Lemma 2.5 to prove our conclusion. By (H1)-(H3), from Lemma 3.2, we know A(Q)Q.

We affirm that A:QQ is continuous. In fact, let { u l } l = 1 Q, u 0 Q, u l u 0 P C n 1 0 (as l). From the continuity of f and I i k (i=0,1,,n1, k=1,2,,m) and the definition of A, by virtue of the Lebesgue dominated convergence theorem, we see that

( A u l ) ( i ) ( t ) ( A u 0 ) ( i ) ( t ) 0,as l,tJ,i=0,1,,n1.
(56)

For tJ (fixed), we have α( { ( A u l ) ( i ) ( t ) } l = 1 )=0 (i=0,1,,n1). We also see that { A u l } l = 1 QP C n 1 [J,E] is bounded and ( A u l ) ( n 1 ) is equicontinuous on each J k . By Lemma 2.1, it is easy to get

α n 1 ( { A u l } l = 1 ) = max i = 0 , 1 , , n 1 { sup t J α ( { ( A u l ) ( i ) ( t ) } l = 1 ) } =0,
(57)

i.e., { A u l } l = 1 is a relatively compact set in P C ( n 1 ) [J,E]. The reduction to absurdity is used to prove that A is continuous. Suppose lim l A u l A u 0 P C n 1 0. Then ϵ 0 >0, { l j }{l} such that

A u l j A u 0 P C n 1 ϵ 0 .
(58)

On the other hand, since { A u l } l = 1 is a relatively compact set in P C ( n 1 ) [J,E], there exists a subsequence of { A u l j } j = 1 which converges to yP C ( n 1 ) [J,E]. Without loss of generality, we may assume { A u l j } j = 1 itself converges to y, that is,

A u l j y P C n 1 0(as j).
(59)

By virtue of (56), we see that y=A u 0 . Obviously, this is in contradiction to (58). Hence,

A u l A u 0 P C n 1 0(as l).
(60)

Consequently, A:QQ is continuous.

By Lemma 2.4, for any countable BQ, which satisfies B ¯ = co ¯ ({ u 0 }A(B)), one can see

B ( l ) ( t ) ¯ = co ¯ ( { u 0 ( l ) ( t ) } ( A ( B ) ) ( l ) ( t ) ) (l=0,1,,n1).

By virtue of the character of noncompactness, it is easy to get α n 1 (B)= α n 1 (A(B)),

α ( B ( l ) ( t ) ) = α ( B ( l ) ( t ) ¯ ) = α ( co ¯ ( { u 0 ( l ) ( t ) } ( A ( B ) ) ( l ) ( t ) ) ) = α ( ( { u 0 ( l ) ( t ) } ( A ( B ) ) ( l ) ( t ) ) ) = α ( ( A ( B ) ) ( l ) ( t ) ) ( l = 0 , 1 , , n 1 ) .
(61)

For any fixed tJ, l=0,1,,n2, by condition (H4) and Lemma 3.3, we have

α ( ( A ( B ) ) ( l ) ( t ) ) 0 1 2 s ( i = 0 n 1 L i ( s ) α ( B ( i ) ( s ) ) + L n ( s ) k α ( B ( s ) ) + L n + 1 ( s ) h α ( B ( s ) ) ) d s + k = 1 m i = l n 2 ( 1 t k ) i l ( i l ) ! α ( I i k ( B ( t k ) , B ( t k ) , , B ( n 1 ) ( t k ) ) ) + α ( t n 1 l ( n 1 l ) ! k = 1 m I n 1 k ( B ( t k ) , B ( t k ) , , B ( n 1 ) ( t k ) ) ( t t k ) i l ( i l ) ! 0 < t k < t I n 1 k ( B ( t k ) , B ( t k ) , , B ( n 1 ) ( t k ) ) ) 0 1 2 s ( i = 0 n 1 L i ( s ) α ( B ( i ) ( s ) ) + L n ( s ) k α ( B ( s ) ) + L n + 1 ( s ) h α ( B ( s ) ) ) d s + k = 1 m i = 0 n 2 ( 1 t k ) i i ! j = 0 n 1 M i k j α ( B j ( t k ) ) + k = 1 m j = 0 n 1 M n 1 k j α ( B j ( t k ) ) .
(62)

Similarly, by Lemma 3.3, for l=n1, we have

α ( ( A ( B ) ) ( n 1 ) ( t ) ) 0 1 ( i = 0 n 1 L i ( s ) α ( B ( i ) ( s ) ) + L n ( s ) k α ( B ( s ) ) + L n + 1 ( s ) h α ( B ( s ) ) ) d s + k = 1 m j = 0 n 1 M n 1 k j α ( B j ( t k ) ) .
(63)

Let m = max l = 0 , 1 , , n 1 { sup t J α( ( A ( B ) ) ( l ) (t))}. It is clear that m 0. By (61) and (62), for l=0,1,,n2, it is easy to see that

m ( 0 1 2 s ( i = 0 n 1 L R i ( s ) + L R n ( s ) k + L R n + 1 ( s ) h ) d s + k = 1 m i = 0 n 2 ( 1 t k ) i i ! j = 0 n 1 M i k j + k = 1 m j = 0 n 1 M n 1 k j ) m β m .
(64)

Similarly, for l=n1,

m ( 0 1 2 ( i = 0 n 1 L i ( s ) + L n ( s ) k + L n + 1 ( s ) h ) d s + k = 1 m j = 0 n 1 M n 1 k j ) m β m .
(65)

Since β<1, by (64) and (65), we know that m =0. It is easy to see that A(B)P C n 1 [J,E] is bounded and the elements of ( A ( B ) ) ( n 1 ) are equicontinuous on each J k (k=1,2,,m). It follows from (61) and Lemma 2.1 that

α n 1 (B)= α n 1 ( A ( B ) ) = max l = 0 , 1 , , n 1 { sup t J α ( ( A ( B ) ) ( l ) ( t ) ) } = m =0.
(66)

Hence, B is a relatively compact set. By Lemma 2.5 (the Mönch fixed point theorem), A has at least a fixed point u Q, and by Lemma 3.4, u is the solution of SBVP (1) which means conclusion holds. □

An application of Theorem 3.1 is as follows.

Example Consider the following infinite system of scalar nonlinear second order impulsive integro-differential equations:

{ u n ( t ) = 1 n t ( 1 t ) + t 4 4 n ( u 2 n ( t ) ) 1 2 + t 4 4 ln ( 1 + u n ( t ) ) + 1 t 1 2 ( n + 1 ) ( u ( n + 1 ) ( t ) ) 1 3 u n ( t ) = + t 3 4 0 t ( t s ) u n ( s ) d s + t 5 6 0 1 ( t + s ) u n ( s ) d s , 0 < t < 1 , t 1 2 , u n | t = 1 2 = 1 5 u n ( 1 2 ) , u n | t = 1 2 = 1 7 u n ( 1 2 ) 1 8 u n ( 1 2 ) , u n ( 0 ) = u n ( 1 ) = 0 ( n = 1 , 2 , ) .
(67)

Conclusion. The infinite system (67) has at least a C 2 (t 1 2 ) solution, { u n (t)}, u n (t)0, n, t 1 2 .

Proof Let J=[0,1], E=: C 0 ={u=( u 1 , u 2 ,, u n ,): u n 0} with norm u= sup n | u n |. We have the cone P:={u=( u 1 ,, u n ,) C 0 : u n 0,n=1,2,3,}. Obviously P is a normal cone in E. Taking u 0 =( u 01 , u 02 ,, u 0 n ,) ( u 0 n = ( ln ( n 2 + 1 ) n ) 2 ), it is easy to see u 0 P, 0< u 0 = ( ln 3 2 ) 2 <1 and P 1 ={uP: u n u 0 n u}. The infinite system (67) can be regarded as a SBVP of the form (1) in E. In this situation,

k ( t , s ) = t s C [ D , R + ] ( D = { ( t , s ) J × J : s t } ) , h ( t , s ) = t + s C [ J × J , R + ] , u = ( u 1 , u 2 , , u n , ) , v = ( v 1 , v 2 , , v n , ) , w = ( w 1 , w 2 , , w n , ) , x = ( x 1 , x 2 , , x n , ) , f = ( f 1 , f 2 , , f n , ) ,

in which

f n ( t , u , v , w , x ) = 1 n t ( 1 t ) + t 4 4 n ( u 2 n ) 1 2 + t 4 4 ln ( 1 + u n ) + 1 t 1 2 ( n + 1 ) ( v ( n + 1 ) ) 1 3 + t 3 4 w n + t 5 6 x n
(68)

and t k = 1 2 , I i k =( I i k 1 , I i k 2 ,, I i k n ,) (i=0,1), where

I 01 n (u,v)= 1 5 u n , I 11 n (u,v)= 1 7 u n + 1 8 v n .
(69)

Obviously, for (t,u,v,w,x)(0,1)× P 1 {θ}× P 1 {θ}× P 1 × P 1 , we have

4 n ( u 2 n ) 1 2 2 ln ( n + 1 ) ( u ) 1 2 > 0 , ( n + 1 ) ( v ( n + 1 ) ) 1 3 n + 1 3 ( ln ( n + 1 2 + 1 ) ) 2 3 ( v ) 1 3 > 0 , w n ( ln ( n 2 + 1 ) n ) 2 w , x n ( ln ( n 2 + 1 ) n ) 2 x ( n = 1 , 2 , 3 , ) ,
(70)

which implies

| f n | 1 n t ( 1 t ) + t 4 2 ln ( n + 1 ) ( u ) 1 2 + t 4 4 ln ( 1 + u n ) + 1 t 1 2 n + 1 3 ( ln ( n + 1 2 + 1 ) ) 2 3 ( v ) 1 3 + t 3 4 w n + t 5 6 x n ( n = 1 , 2 , 3 , ) .
(71)

Since

u n 0, v n 0, w n 0, x n 0,ln(n+1)+

and

n + 1 3 ( ln ( n + 1 2 + 1 ) ) 2 3 +

as n+, we have

| f n |0,n+.

That is, fE. Obviously, fP. By (71), we can see

f 1 t ( 1 t ) + t 4 2 ln 2 ( u ) 1 2 + t 4 4 ln ( 1 + u ) + 1 t 1 2 2 3 ( ln 2 ) 2 3 ( v ) 1 3 + t 3 4 w + t 5 6 x .
(72)

On the other hand, from (68) and (70), we have

f n ( t , u , v , w , x ) 1 n t ( 1 t ) + t 4 4 n ( u ) 1 2 + t 4 4 ln ( 1 + ( ln ( n 2 + 1 ) n ) 2 u ) + 1 t 1 2 ( n + 1 ) ( v ) 1 3 + t 3 4 ( ln ( n 2 + 1 ) n ) 2 w + t 5 6 ( ln ( n 2 + 1 ) n ) 2 x ( ln ( n 2 + 1 ) n ) 2 ( n ln 2 ( n 2 + 1 ) t ( 1 t ) + n t 4 4 ln 2 ( n 2 + 1 ) ( u ) 1 2 + t 4 4 ln ( 1 + u ) + n 2 ( 1 t 1 2 ) ( n + 1 ) ln 2 ( n 2 + 1 ) ( v ) 1 3 + t 3 4 w + t 5 6 x ) ( n = 1 , 2 , 3 , ) .
(73)

It is easy to get

nln22 ln 2 ( n 2 + 1 ) , n 2 2 3 ln 2 3 2(n+1) ln 2 ( n 2 + 1 ) (n=1,2,3,).
(74)

It follows from (72), (73) and (74) that

f n ( t , u , v , w , x ) ( ln ( n 2 + 1 ) n ) 2 ( 1 t ( 1 t ) + t 4 2 ln 2 ( u ) 1 2 + t 4 4 ln ( 1 + u ) + 1 t 1 2 2 3 ( ln 2 ) 2 3 ( v ) 1 3 + t 3 4 w + t 5 6 x ) ( ln ( n 2 + 1 ) n ) 2 f = u 0 n f ( n = 1 , 2 , 3 , ) .
(75)

Hence, fC[(0,1)× P 1 {θ}× P 1 {θ}× P 1 × P 1 , P 1 ]. Similarly, we have I 01 , I 11 C[ P 1 × P 1 , P 1 ].

Taking

b ( t ) = 1 t ( 1 t ) , a 0 ( t ) = t 4 2 , a 1 ( t ) = 1 t 1 2 , a 2 ( t ) = t 3 4 , a 3 ( t ) = t 5 6 , g 0 ( y ) = 1 ln 2 y 1 2 , g 1 ( y ) = 1 2 3 ( ln 2 ) 2 3 y 1 3 , g 2 ( y ) = g 3 ( y ) = y

and

h 0 (y)= 1 2 ln(1+y), h 1 (y)=0,

by (69) and (72), condition (H1) holds.

For any u P 1 , define φ by φ(u)= u 1 . It is easy to see φ P 1 , φ=1 and φ( u 0 )= ln 2 3 2 . For any r>0, let

h r (t)= 1 t ( 1 t ) .

Therefore, condition (H2) is satisfied. It follows from (68) that

φ ( f ( t , u , v , w , x ) ) = f 1 ( t , u , v , w , x ) 1 t ( 1 t ) = h r ( t ) , t ( 0 , 1 ) , u , v P 1 r { θ } , w , x P 1 r .
(76)

Now, we check that condition (H3) is true. In fact, it is easy to get

0 1 s 7 2 4 ln 3 2 0 1 τ 1 τ d τ d s = 2 18 ln 3 2 π , 0 1 d s s ( 1 s ) = π , 0 1 1 s 1 2 2 3 ( ln 2 ln 3 2 ) 2 3 ( s 1 1 τ ( 1 τ ) d τ ) 1 3 d s ( 2 ln 2 ln 3 2 ) 2 3 ,

with k =1 and h =2. Since

2 18 ln 3 2 π + 1 16 + 1 15 + 1 5 + 1 7 + 1 8 <1,

there exists a sufficient large R 0 >0 such that

0 1 ( 1 s ( 1 s ) + s 4 2 ln 2 ln 3 2 0 1 τ 1 τ d τ ( 1 + ln 2 2 R 0 1 2 ln ( 1 + R 0 ) ) + 1 s 1 2 2 3 ( ln 2 ln 3 2 ) 2 3 ( s 1 1 τ ( 1 τ ) d τ ) 1 3 + s 3 4 R 0 + s 5 6 2 R 0 ) d s + ( 1 5 + 1 7 + 1 8 ) R 0 < R 0 ,
(77)

which implies that condition (H3) is satisfied.

Let

f= f 1 + f 2 + f 3 + f 4 ,

in which

f 1 = ( f 1 1 , f 2 1 , , f n 1 , ) , f 2 = ( f 1 2 , f 2 2 , , f n 2 , ) , f 3 = ( f 1 3 , f 2 3 , , f n 3 , ) , f 4 = ( f 1 4 , f 2 4 , , f n 4 , ) ,

where

f n 1 ( t , u , v , w , x ) = 1 n t ( 1 t ) + t 4 4 n ( u 2 n ) 1 2 + 1 t 1 2 ( n + 1 ) ( v ( n + 1 ) ) 1 3 , f n 2 ( t , u , v , w , x ) = t 4 4 ln ( 1 + u n ) , f n 3 ( t , u , v , w , x ) = t 3 4 w n , f n 4 ( t , u , v , w , x ) = t 5 6 x n .
(78)

For any

b > a > 0 , z = ( z 1 , z 2 , , z n , ) f 1 ( t , B 0 , B 1 , B 2 , B 3 ) ( t ( 0 , 1 ) , B 0 , B 1 P 1 b ¯ P 1 a , B 2 , B 3 P 1 b ¯ ) ,

by (71) and (78), it is easy to get

| z n | 1 n t ( 1 t ) + t 4 4 n a 1 2 + 1 t 1 2 ( n + 1 ) a 1 3 ,n=1,2,.
(79)

Hence, the relative compactness of f 1 (t, B 0 , B 1 , B 2 , B 3 ) in C 0 follows directly from a known result (see [14]): a bounded set X of C 0 is relatively compact if and only if

lim n { sup z X [ max { | Z k | : k n } ] } =0.

That is,

α ( f 1 ( t , B 0 , B 1 , B 2 , B 3 ) ) =0,t(0,1), B 0 , B 1 P 1 b ¯ P 1 a , B 2 , B 3 P 1 b ¯ .
(80)

For any

b>a>0,(t,u,v,w,x),(t, u ¯ , v ¯ , w ¯ , x ¯ )(0,1)× P 1 b ¯ P 1 a × P 1 b ¯ P 1 a × P 1 b ¯ × P 1 b ¯ ,

by (78), one can get

| f n 2 (t,u,v,w,x) f n 2 (t, u ¯ , v ¯ , w ¯ , x ¯ )|= t 4 4 |ln(1+ u n )ln(1+ u n ¯ )| t 4 4 | u n u n ¯ | 1 + ξ n ,
(81)

in which ξ n ( u n , u n ¯ ). Since u n u 0 n a>0 and u n ¯ u 0 n a>0, by (81), it is easy to see

f 2 ( t , u , v , w , x ) f 2 ( t , u ¯ , v ¯ , w ¯ , x ¯ ) t 4 4 u u ¯ , ( t , u , v , w , x ) , ( t , u ¯ , v ¯ , w ¯ , x ¯ ) ( 0 , 1 ) × P 1 b ¯ P 1 a × P 1 b ¯ P 1 a × P 1 b ¯ × P 1 b ¯ ,
(82)

which implies

α ( f 2 ( t , B 0 , B 1 , B 2 , B 3 ) ) t 4 4 α( B 0 ),t(0,1), B 0 , B 1 P 1 b ¯ P 1 a , B 2 , B 3 P 1 b ¯ .
(83)

Similarly, by (78),

α ( f 3 ( t , B 0 , B 1 , B 2 , B 3 ) ) t 3 4 α( B 2 ),t(0,1), B 0 , B 1 P 1 b ¯ P 1 a , B 2 , B 3 P 1 b ¯
(84)

and

α ( f 4 ( t , B 0 , B 1 , B 2 , B 3 ) ) t 5 6 α( B 3 ),t(0,1), B 0 , B 1 P 1 b ¯ P 1 a , B 2 , B 3 P 1 b ¯ .
(85)

By (80), (82), (83) and (84), it is easy to get

α ( f ( t , B 0 , B 1 , B 2 , B 3 ) ) α ( f 1 ( t , B 0 , B 1 , B 2 , B 3 ) ) + α ( f 2 ( t , B 0 , B 1 , B 2 , B 3 ) ) + α ( f 3 ( t , B 0 , B 1 , B 2 , B 3 ) ) + α ( f 4 ( t , B 0 , B 1 , B 2 , B 3 ) ) t 4 4 α ( B 0 ) + t 3 4 α ( B 2 ) + t 5 6 α ( B 3 ) , t ( 0 , 1 ) , B 0 , B 1 P 1 b ¯ P 1 a , B 2 , B 3 P 1 b ¯ .
(86)

In the same way,

α ( I 01 ( B 0 , B 1 ) ) 1 5 α ( B 0 ) , α ( I 11 ( B 0 , B 1 ) ) 1 7 α ( B 0 ) + 1 8 α ( B 1 ) , B 0 , B 1 P 1 b ¯ .
(87)

Taking

L 0 ( t ) = t 4 4 , L 1 ( t ) 0 , L 2 ( t ) = t 3 4 , L 3 ( t ) = t 5 6 , M 010 = 1 5 , M 011 = 0 , M 110 = 1 7 , M 111 = 1 8 ,

the condition (H4) follows from (86) and (87). We can calculate and get

β=max { 1 12 + 1 10 + 2 21 + 1 5 + 1 7 + 1 8 , 1 10 + 1 8 + 1 9 + 1 7 + 1 8 } <1.
(88)

Therefore, by Theorem 3.1, the conclusion holds. □

References

  1. Guo D: Existence of solutions for n th-order impulsive integro-differential equations in a Banach space. Nonlinear Anal. 2001, 47: 741-752. 10.1016/S0362-546X(01)00219-X

    Article  MathSciNet  Google Scholar 

  2. Chen Y, Qin B: The multiple solutions for a class of singular boundary value problems of nonlinear integro-differential equations in Banach spaces. J. Syst. Sci. Math. Sci. 2005, 25(5):550-561.

    MathSciNet  Google Scholar 

  3. Liu L, Hao X, Wu Y: Positive solutions for singular second order differential equations with integral boundary conditions. Math. Comput. Model. 2013, 57(3-4):836-847. 10.1016/j.mcm.2012.09.012

    Article  MathSciNet  Google Scholar 

  4. Zhang X: Existence of positive solution for second-order nonlinear impulsive singular differential equations of mixed type in Banach spaces. Nonlinear Anal. 2009, 70: 1620-1628. 10.1016/j.na.2008.02.038

    Article  MathSciNet  Google Scholar 

  5. Chen Y, Qin B: Multiple positive solutions for first-order impulsive singular integro-differential equations on the half line in a Banach space. Bound. Value Probl. 2013., 2013: Article ID 69 10.1186/1687-2770-2013-69

    Google Scholar 

  6. Chen Y: Multiple solutions for boundary value problems of n th-order nonlinear integrodifferential equations in Banach spaces. Abstr. Appl. Anal. 2013., 2013: Article ID 296038 10.1155/2013/296038

    Google Scholar 

  7. Guo D: Existence of positive solutions for n th-order nonlinear impulsive singular integro-differential equations in Banach spaces. Nonlinear Anal. 2008, 68: 2727-2740. 10.1016/j.na.2007.02.019

    Article  MathSciNet  Google Scholar 

  8. Guo D: Positive solutions of an infinite boundary value problem for n th-order nonlinear impulsive singular integro-differential equations in Banach spaces. Nonlinear Anal. 2009, 70: 2078-2090. 10.1016/j.na.2008.02.110

    Article  MathSciNet  Google Scholar 

  9. Liu Y: Positive solutions of second order singular initial value problem in Banach spaces. Indian J. Pure Appl. Math. 2002, 33(6):833-845.

    MathSciNet  Google Scholar 

  10. Guo D, Lakshmikantham V, Liu XZ: Nonlinear Integral Equation in Abstract Spaces. Kluwer Academic, Dordrecht; 1996.

    Book  Google Scholar 

  11. Hein HP: On the behaviour of measure of noncompactness with respect to differentiation and integration of vector-valued functions. Nonlinear Anal. 1983, 7: 1351-1371. 10.1016/0362-546X(83)90006-8

    Article  MathSciNet  Google Scholar 

  12. Zhang X, Sun J: Solutions of nonlinear second-order impulsive integrodifferential equations of mixed type in Banach spaces. J. Syst. Sci. Math. Sci. 2002, 22(4):428-438.

    Google Scholar 

  13. Deimling K: Nonlinear Functional Analysis. Springer, Berlin; 1985.

    Book  Google Scholar 

  14. Banas J, Goebel K: Measure of Noncompactness in Banach Spaces. Dekker, New York; 1980.

    Google Scholar 

Download references

Acknowledgements

The authors would like to thank the reviewers for carefully reading this article and making valuable comments and suggestions. The project is supported by the National Natural Science Foundation of P.R. China (71272119), Social Science Foundation of Shandong Province (13CJRJ07) and Teaching and Research Projects of Qi Lu Normal University (201306).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Yanlai Chen.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors typed, 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

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Chen, Y., Cao, T. & Qin, B. Solutions for n th-order boundary value problems of impulsive singular nonlinear integro-differential equations in Banach spaces. Bound Value Probl 2014, 128 (2014). https://doi.org/10.1186/1687-2770-2014-128

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-2770-2014-128

Keywords