Skip to main content

Nonoscillatory solutions for higher-order nonlinear neutral delay differential equations

Abstract

This paper deals with the solvability of the higher-order nonlinear neutral delay differential equation d n d t n [x(t)+p(t)x(tτ)]+ ( 1 ) n + 1 i = 1 m q i (t)x( α i (t))+ ( 1 ) n + 1 f(t,x( β 1 (t)),,x( β l (t)))=r(t), t t 0 , where τ>0, n,m,lN, p,r, q i , α i , β j C([ t 0 ,+),R), and fC([ t 0 ,+)× R l ,R) satisfying lim t + α i (t)= lim t + β j (t)=+, i{1,2,,m}, j{1,2,,l}. With respect to various ranges of the function p, we investigate the existence of uncountably many bounded nonoscillatory solutions for the equation. The main tools used in this paper are the Krasnoselskii and Schauder fixed point theorems together with some new techniques. Six nontrivial examples are given to illustrate the superiority of the results presented in this paper.

MSC:39A10, 39A20, 39A22.

1 Introduction and preliminaries

In the past two decades, the oscillation, nonoscillation, and existence of solutions for some kinds of neutral delay differential equations have been extensively studied by many authors. See, for example, [116] and the references cited therein.

Recently, Zhang et al. [14] and Öcalan [10] got several existence results of a nonoscillatory solution or positive solution for the first-order neutral delay differential equations

d d t [ x ( t ) + c ( t ) x ( t τ ) ] +P(t)x(tα)Q(t)x(tβ)=0,t t 0
(1.1)

and

d d t [ x ( t ) + c ( t ) x ( t τ ) ] + i = 1 m A i (t)x(t σ i ) i = m + 1 n A i (t)x(t σ i )=0,t t 0 ,
(1.2)

where τ>0, α,β, σ i R + , cC([ t 0 ,+),R) and P,Q, A i C([ t 0 ,+), R + ) for i{1,2,,n}. Shen and Debnath [12] obtained some sufficient conditions for the oscillations of (1.1) and Luo and Shen [9] established a few oscillation and nonoscillation criteria for (1.2). Liu and Huang [6] used the coincidence degree theory to get the existence and uniqueness results of a T-periodic solution for the first-order neutral functional differential equation with a deviating argument of the form

d d t [ x ( t ) + c x ( t τ ) ] = g 1 ( t , x ( t ) ) + g 2 ( t , x ( t α ( t ) ) ) +f(t),
(1.3)

where c, τ are constants, c±1, f,αC(R,R), g 1 , g 2 C( R 2 ,R), f, α are T-periodic and g 1 , g 2 are T-periodic in the first argument. Using the Banach fixed point theorem, Kulenović and Hadžiomerspahić [4] studied the existence of a nonoscillatory solution for the second-order neutral delay differential equation with positive and negative coefficients

d 2 d t 2 [ x ( t ) + c x ( t τ ) ] +P(t)x(tσ)Q(t)x(tδ)=0,t t 0 ,
(1.4)

where cR{±1}, σ,δ R + and P,QC([ t 0 ,+), R + ). Kong et al. [3] established a complete classification of nonoscillatory solutions for the higher-order neutral differential equation

d n d t n [ x ( t ) x ( t τ ) ] +f(t)x(tα)=0,t t 0 ,
(1.5)

and gave conditions for each type of nonoscillatory solutions to exist, where n is an odd number, τ>0, αR, and fC( R + , R + ). Zhou and Zhang [16] extended the results in [5] to higher-order neutral functional differential equation with positive and negative coefficients

d n d t n [ x ( t ) + c x ( t τ ) ] + ( 1 ) n + 1 [ P ( t ) x ( t σ ) Q ( t ) x ( t δ ) ] =0,t t 0 ,
(1.6)

where cR{±1}, τ,σ,δ R + and P,QC([ t 0 ,+), R + ). Liu et al. [8] investigated the higher-order neutral delay differential equation with positive and negative coefficients

d n d t n [ x ( t ) + c x ( t τ ) ] + ( 1 ) n [ P ( t ) x ( f ( t ) ) Q ( t ) x ( g ( t ) ) ] =0,t t 0 ,
(1.7)

where cR{1}, τ R + , P,QC([ t 0 ,+), R + ), f,gC([ t 0 ,+),R), and lim t + f(t)= lim t + g(t)=+. Utilizing the Banach fixed point theorem, they obtained the existence of bounded nonoscillatory solutions for (1.7), suggested some algorithms for approximating these bounded nonoscillatory solutions, and discussed the convergence and stability of iteration sequences generated by the algorithms. Parhi [11] discussed the oscillation of solutions for the higher-order neutral delay linear differential equation

d n d t n [ x ( t ) + c x ( t τ ) ] + i = 1 m q i (t)x ( t α i ( t ) ) =0,t0,
(1.8)

where c[0,1), τ>0, q i C( R + ,R), and α i C( R + , R + ) for i{1,2,,m}. Li et al. [5] considered the following higher-order neutral delay differential equation with unstable type:

d n d t n [ x ( t ) + c ( t ) x ( t τ ) ] =q(t) | x ( t σ ) | α 1 x(tσ),t0,
(1.9)

proved bounded oscillation and nonoscillation criteria and the existence of an unbounded positive solution for (1.9), where n is an even integer, α1, τ>0, σ>0, c,qC([ t 0 ,+), R + ). Zhou and Zhang [15] used the Krasnoselskii and Schauder fixed point theorems to prove the existence of a nonoscillatory solution for the forced higher-order nonlinear neutral functional differential equation

d n d t n [ x ( t ) + c ( t ) x ( t τ ) ] + i = 1 m q i (t)f ( x ( t σ i ) ) =g(t),t t 0 ,
(1.10)

where τ, σ i R + , c, q i ,gC([ t 0 ,+),R) for i{1,2,,m} and fC(R,R). Liu et al. [7] got the existence of infinitely many nonoscillatory solutions for the n th-order neutral delay differential equation

d n d t n [ x ( t ) + c x ( t τ ) ] + ( 1 ) n + 1 f ( t , x ( t σ 1 ) , x ( t σ 2 ) , , x ( t σ k ) ) =g(t),t t 0 ,
(1.11)

where cR{1}, τ>0, σ i R + for i{1,2,,k}, fC([ t 0 ,+)× R k ,R), and gC([ t 0 ,+), R + ).

However, to the best of our knowledge, there exist no results for the existence of solutions of the higher-order nonlinear neutral delay differential equation

d n d t n [ x ( t ) + p ( t ) x ( t τ ) ] + ( 1 ) n + 1 i = 1 m q i ( t ) x ( α i ( t ) ) + ( 1 ) n + 1 f ( t , x ( β 1 ( t ) ) , , x ( β l ( t ) ) ) = r ( t ) , t t 0 ,
(1.12)

where τ>0, n,m,lN, p,r, q i , α i , β j C([ t 0 ,+),R), and fC([ t 0 ,+)× R l ,R) satisfying

lim t + α i (t)= lim t + β j (t)=+,i{1,2,,m},j{1,2,,l}.

It is clear that (1.12) includes (1.1)-(1.11) as special cases. The purpose of this paper is to study the solvability of (1.12) under various ranges of the function p. Utilizing the Krasnoselskii and Schauder fixed point theorems and some new techniques, we study sufficient conditions of the existence of uncountably many bounded nonoscillatory solutions for (1.12) relative to various ranges of the function p. The results presented in this paper extend, improve, and unify the corresponding results in [4] and [1316]. Six nontrivial examples are also given to illustrate the importance of the results obtained in this paper.

Throughout this paper, we assume that , R + and denote the sets of all real numbers, nonnegative numbers and positive integers, respectively, and

γ=min { t 0 τ , inf { α i ( t ) , β j ( t ) : t [ t 0 , + ) , i { 1 , 2 , , m } , j { 1 , 2 , , l } } } .

Let CB([γ,+),R) stand for the Banach space of all continuous and bounded functions on [γ,+) with norm x= sup t γ |x(t)| for all xCB([γ,+),R) and

A(N,M)= { x C B ( [ γ , + ) , R ) : N x ( t ) M , t γ } ,

where M,NR with M>N. It is easy to see that A(N,M) is a nonempty bounded closed convex subset of CB([γ,+),R).

By a solution of (1.12), we mean a function xC([γ,+),R) for some T t 0 , such that x(t)+p(t)x(tτ) is n times continuously differentiable on [T,+) and (1.12) holds for tT. As is customary, a solution of (1.12) is said to be oscillatory if it has arbitrarily large zeros and nonoscillatory otherwise.

The following lemmas are well known.

Lamma 1.1 (Krasnoselskii fixed point theorem [1])

Let X be a nonempty bounded closed convex subset of a Banach space E and let U, S be maps of X into E such that Ux+SyX for every pair x,yX. If U is a contraction and S is completely continuous, then the equation Ux+Sy=x has a solution in X.

Lamma 1.2 (Schauder fixed point theorem [1])

Let X be a nonempty closed convex subset of a Banach space E. Let S:XX be a continuous mapping such that SX is a relatively compact subset of X. Then S has at least one fixed point in X.

2 The existence of uncountably many bounded nonoscillatory solutions

Now we investigate sufficient conditions for the existence of uncountably many bounded nonoscillatory solutions of (1.12) under various ranges of the function p. The proofs of the results presented in this section are based on the Krasnoselskii and Schauder fixed point theorems and a few new and key techniques, one of which is to construct the mappings U L and S L satisfying the conditions in the cited fixed point theorems for each constant L, which belongs to certain interval. Let

H(t)=M i = 1 m | q i (t)|+|r(t)|+h(t),t[T,+).

Theorem 2.1 Assume that there exist hC([ t 0 ,+), R + ) and constants M, N, p 0 , and c satisfying

|f(t, u 1 ,, u l )|h(t),(t, u 1 ,, u l )[ t 0 ,+)× [ N , M ] l ;
(2.1)
t 0 + s n 1 max { i = 1 m | q i ( s ) | , | r ( s ) | , h ( s ) } ds<+;
(2.2)
0<N<(1+ p 0 )M,1< p 0 p(t)0,tc t 0 .
(2.3)

Then (1.12) has uncountably many bounded nonoscillatory solutions in A(N,M).

Proof Let L(N,(1+ p 0 )M). It follows from (2.2) and (2.3) that there exist constants θ(0,1) and T>| t 0 |+τ+|c|+|γ|+n sufficiently large satisfying

θ=| p 0 |+ 1 ( n 1 ) ! T + s n 1 i = 1 m | q i (s)|ds
(2.4)

and

1 ( n 1 ) ! T + s n 1 H(s)dsmin { ( p 0 + 1 ) M L , L N } .
(2.5)

Define two mappings U L and S L :A(N,M)CB([γ,+),R) by

( U L x ) ( t ) = { L p ( t ) x ( t τ ) + 1 ( n 1 ) ! t + ( s t ) n 1 × ( i = 1 m q i ( s ) x ( α i ( s ) ) + ( 1 ) n r ( s ) ) d s , t T , ( U L x ) ( T ) , γ t < T ; ( S L x ) ( t ) = { 1 ( n 1 ) ! t + ( s t ) n 1 f ( s , x ( β 1 ( s ) ) , , x ( β l ( s ) ) ) d s , t T , ( S L x ) ( T ) , γ t < T ,
(2.6)

for each xA(N,M).

First of all we show that

U L x+ S L yA(N,M), U L x U L yθxy,x,yA(N,M).
(2.7)

Let x,yA(N,M) and tT. By (2.3)-(2.6), we get

( U L x ) ( t ) + ( S L y ) ( t ) = L p ( t ) x ( t τ ) + 1 ( n 1 ) ! t + ( s t ) n 1 ( i = 1 m q i ( s ) x ( α i ( s ) ) + ( 1 ) n r ( s ) ) d s + 1 ( n 1 ) ! t + ( s t ) n 1 f ( s , y ( β 1 ( s ) ) , , y ( β l ( s ) ) ) d s L + | p ( t ) | | x ( t ) | + 1 ( n 1 ) ! t + ( s t ) n 1 ( i = 1 m | q i ( s ) | | x ( α i ( s ) ) | + | r ( s ) | + | f ( s , y ( β 1 ( s ) ) , , y ( β l ( s ) ) ) | ) d s L p 0 M + 1 ( n 1 ) ! T + s n 1 H ( s ) d s L p 0 M + min { ( p 0 + 1 ) M L , L N } M , ( U L x ) ( t ) + ( S L y ) ( t ) L 1 ( n 1 ) ! t + ( s t ) n 1 ( i = 1 m | q i ( s ) | | x ( α i ( s ) ) | + | r ( s ) | + | f ( s , y ( β 1 ( s ) ) , , y ( β l ( s ) ) ) | ) d s L 1 ( n 1 ) ! T + s n 1 H ( s ) d s L min { ( p 0 + 1 ) M L , L N } N

and

| ( U L x ) ( t ) ( U L y ) ( t ) | = | L p ( t ) x ( t τ ) + 1 ( n 1 ) ! t + ( s t ) n 1 ( i = 1 m q i ( s ) x ( α i ( s ) ) + ( 1 ) n r ( s ) ) d s L + p ( t ) y ( t τ ) 1 ( n 1 ) ! t + ( s t ) n 1 ( i = 1 m q i ( s ) y ( α i ( s ) ) + ( 1 ) n r ( s ) ) d s | p 0 x y + 1 ( n 1 ) ! T + s n 1 i = 1 m | q i ( s ) | | x ( α i ( s ) ) y ( α i ( s ) ) | d s θ x y ,

which imply (2.7).

Second, we show that S L is continuous in A(N,M) and S L (A(N,M)) is relatively compact. Let { x k } k N be an arbitrary sequence in A(N,M) with

lim k x k =xCB ( [ γ , + ) , R ) .
(2.8)

Since A(N,M) is a closed subset of CB([γ,+),R), it follows that xA(N,M). Put

G k ( s ) = | f ( s , x k ( β 1 ( s ) ) , , x k ( β l ( s ) ) ) f ( s , x ( β 1 ( s ) ) , , x ( β l ( s ) ) ) | , ( s , k ) [ T , + ) × N .

From (2.8) and the continuity of f and β j for j{1,2,,l} we infer that

lim k G k (s)=0,s[T,+),

which together with (2.6) and the Lebesgue dominated convergence theorem yields for any t[T,+)

| ( S L x k ) ( t ) ( S L x ) ( t ) | 1 ( n 1 ) ! t + ( s t ) n 1 | f ( s , x k ( β 1 ( s ) ) , , x k ( β l ( s ) ) ) f ( s , x ( β 1 ( s ) ) , , x ( β l ( s ) ) ) | d s 1 ( n 1 ) ! T + s n 1 G k ( s ) d s 0 as  k ,

which gives

lim k S L x k S L x= lim k sup t γ |( S L x k )(t)( S L x)(t)|= lim k sup t T |( S L x k )(t)( S L x)(t)|=0,

which implies that S L is continuous in A(N,M).

Using (2.1), (2.5), and (2.6), we conclude that for any xA(N,M) and tT

| ( S L x ) ( t ) | = | 1 ( n 1 ) ! t + ( s t ) n 1 f ( s , x ( β 1 ( s ) ) , , x ( β l ( s ) ) ) d s | 1 ( n 1 ) ! T + s n 1 h ( s ) d s min { ( p 0 + 1 ) M L , L N } M ,

which yields

S L xM,xA(N,M).
(2.9)

That is, S L (A(N,M)) is uniformly bounded in [γ,+). In order to prove that S L (A(N,M)) is relatively compact, we have to prove that S L (A(N,M)) is equicontinuous in [γ,+). Let ε>0 be given. Equation (2.2) ensures that there exists T >T satisfying

2 ( n 1 ) ! T + s n 1 h(s)ds<ε.
(2.10)

Put

δ=min { ε 1 + M , ε 1 + max { h ( t ) : t [ T , T ] } } .
(2.11)

Now we consider the following possible cases:

  1. (i)

    t 2 > t 1 T with | t 2 t 1 |<δ. By (2.1), (2.6), and (2.10) we have

    | ( S L x ) ( t 2 ) ( S L x ) ( t 1 ) | = 1 ( n 1 ) ! | t 2 + ( s t 2 ) n 1 f ( s , x ( β 1 ( s ) ) , , x ( β l ( s ) ) ) d s t 1 + ( s t 1 ) n 1 f ( s , x ( β 1 ( s ) ) , , x ( β l ( s ) ) ) | 2 ( n 1 ) ! T + s n 1 h ( s ) d s < ε , x A ( N , M ) .
    (2.12)
  2. (ii)

    T t 1 < t 2 T with | t 2 t 1 |<δ and n=1. By means of (2.1), (2.6), and (2.11) we infer that

    | ( S L x ) ( t 2 ) ( S L x ) ( t 1 ) | = | t 2 + f ( s , x ( β 1 ( s ) ) , , x ( β l ( s ) ) ) d s t 1 + f ( s , x ( β 1 ( s ) ) , , x ( β l ( s ) ) ) d s | t 1 t 2 | f ( s , x ( β 1 ( s ) ) , , x ( β l ( s ) ) ) | d s t 1 t 2 h ( s ) d s < ε , x A ( N , M ) .
    (2.13)
  3. (iii)

    T t 1 < t 2 T with | t 2 t 1 |<δ and n2. In light of (2.1), (2.5), and (2.6), we get

    | d d t ( S L x ) ( t ) | = 1 ( n 1 ) ! | d d t t + ( s t ) n 1 f ( s , x ( β 1 ( s ) ) , , x ( β l ( s ) ) ) d s | = | 1 ( n 2 ) ! t + ( s t ) n 2 f ( s , x ( β 1 ( s ) ) , , x ( β l ( s ) ) ) d s | 1 ( n 2 ) ! T + s n 2 h ( s ) d s 1 ( n 1 ) ! T + s n 1 h ( s ) d s min { ( p 0 + 1 ) M L , L N } M , x A ( N , M ) , t [ T , T ] ,

which together with the mean value theorem and (2.11) yields

|( S L x)( t 2 )( S L x)( t 1 )|M| t 1 t 2 |<ε,xA(N,M).
(2.14)
  1. (iv)

    γ t 1 < t 2 T with | t 2 t 1 |<δ. Clearly (2.6) means that

    |( S L x)( t 2 )( S L x)( t 1 )|=0<ε,xA(N,M).
    (2.15)

It follows from (2.12)-(2.15) that S L (A(N,M)) is equicontinuous in [γ,+). Thus Lemma 1.1 means that there exists xA(N,M) such that U L x+ S L x=x. That is,

x ( t ) = L p ( t ) x ( t τ ) + 1 ( n 1 ) ! t + ( s t ) n 1 ( i = 1 m q i ( s ) x ( α i ( s ) ) + ( 1 ) n r ( s ) ) d s + 1 ( n 1 ) ! t + ( s t ) n 1 f ( s , x ( β 1 ( s ) ) , , x ( β l ( s ) ) ) d s , t T ,

which implies that

d n d t n [ x ( t ) + p ( t ) x ( t τ ) ] = ( 1 ) n ( i = 1 m q i ( t ) x ( α i ( t ) ) + ( 1 ) n r ( t ) ) + ( 1 ) n f ( t , x ( β 1 ( t ) ) , , x ( β l ( t ) ) ) , t T ,

that is, x(t) is a bounded nonoscillatory solution of (1.12) in A(N,M).

Finally, we show (1.12) has uncountably many bounded nonoscillatory solutions in A(N,M). Let L 1 , L 2 (N,(1+ p 0 )M) with L 1 L 2 . As in the above proof we can deduce that for each k{1,2}, there exist constants θ k (0,1), T k >| t 0 |+τ+|c|+|γ|+n, and mappings U L k , S L k :A(N,M)CB([γ,+),R) satisfying (2.4)-(2.6), where θ, T, L, U L and S L are replaced by θ k , T k , L k , U L k , S L k , respectively, and U L k + S L k has a fixed point z k A(N,M). That is, z 1 and z 2 are also bounded nonoscillatory solutions of (1.12) in A(N,M). We now need to show that z 1 z 2 . In view of (2.2) there exists T 3 >max{ T 1 , T 2 } satisfying

1 ( n 1 ) ! T 3 + s n 1 h(s)ds< | L 1 L 2 | 4 .
(2.16)

Note that (2.6) means that for t T 3 ,

z 1 ( t ) = L 1 p ( t ) z 1 ( t τ ) z 1 ( t ) = + 1 ( n 1 ) ! t + ( s t ) n 1 ( i = 1 m q i ( s ) z 1 ( α i ( s ) ) + ( 1 ) n r ( s ) ) d s z 1 ( t ) = + 1 ( n 1 ) ! t + ( s t ) n 1 f ( s , z 1 ( β 1 ( s ) ) , , z 1 ( β l ( s ) ) ) d s , z 2 ( t ) = L 2 p ( t ) z 2 ( t τ ) z 2 ( t ) = + 1 ( n 1 ) ! t + ( s t ) n 1 ( i = 1 m q i ( s ) z 2 ( α i ( s ) ) + ( 1 ) n r ( s ) ) d s z 2 ( t ) = + 1 ( n 1 ) ! t + ( s t ) n 1 f ( s , z 2 ( β 1 ( s ) ) , , z 2 ( β l ( s ) ) ) d s .
(2.17)

It follows from (2.1), (2.4), and (2.17) that for t T 3

| z 1 ( t ) z 2 ( t ) | = | L 1 L 2 p ( t ) ( z 1 ( t τ ) z 2 ( t τ ) ) + 1 ( n 1 ) ! ( t + ( s t ) n 1 i = 1 m q i ( s ) ( z 1 ( α i ( s ) ) z 2 ( α i ( s ) ) ) d s + t + ( s t ) n 1 ( f ( s , z 1 ( α 1 ( s ) ) , , z 1 ( α l ( s ) ) ) f ( s , z 2 ( β 1 ( s ) ) , , z 2 ( β l ( s ) ) ) ) d s ) | | L 1 L 2 | ( p 0 + 1 ( n 1 ) ! T 3 + s n 1 i = 1 m | q i ( s ) | d s ) z 1 z 2 2 ( n 1 ) ! T 3 + s n 1 h ( s ) d s | L 1 L 2 | θ z 1 z 2 2 ( n 1 ) ! T 3 + s n 1 h ( s ) d s ,

which together with (2.16) implies that

z 1 z 2 1 1 + θ ( | L 1 L 2 | 2 ( n 1 ) ! T 3 + s n 1 h ( s ) d s ) > 1 1 + θ ( | L 1 L 2 | | L 1 L 2 | 2 ) = | L 1 L 2 | 2 ( 1 + θ ) > 0 ,

which yields z 1 z 2 . This completes the proof. □

Theorem 2.2 Assume that there exist hC([ t 0 ,+), R + ) and constants M, N, p 0 and c satisfying (2.1), (2.2), and

0<N<(1 p 0 )M,0p(t) p 0 <1,tc t 0 .
(2.18)

Then (1.12) has uncountably many bounded nonoscillatory solutions in A(N,M).

Proof Let L(N,(1 p 0 )M). By (2.2) and (2.18), we choose constants θ(0,1) and T>| t 0 |+τ+|c|+|γ|+n satisfying (2.4) and

1 ( n 1 ) ! T + s n 1 H(s)dsmin{ML,L p 0 MN}.
(2.19)

Define two mappings U L and S L :A(N,M)CB([ t 0 ,+),R) by (2.6).

Let x,yA(N,M) and tT. In terms of (2.6), (2.18), and (2.19), we arrive at

( U L x ) ( t ) + ( S L y ) ( t ) = L p ( t ) x ( t τ ) + 1 ( n 1 ) ! t + ( s t ) n 1 ( i = 1 m q i ( s ) x ( α i ( s ) ) + ( 1 ) n r ( s ) ) d s + 1 ( n 1 ) ! t + ( s t ) n 1 f ( s , y ( β 1 ( s ) ) , , y ( β l ( s ) ) ) d s L + 1 ( n 1 ) ! t + ( s t ) n 1 ( i = 1 m | q i ( s ) | | x ( α i ( s ) ) | + | r ( s ) | + | f ( s , y ( β 1 ( s ) ) , , y ( β l ( s ) ) ) | ) d s L + 1 ( n 1 ) ! T + s n 1 H ( s ) d s L + min { M L , L p 0 M N } M , ( U L x ) ( t ) + ( S L y ) ( t ) L | p ( t ) | | x ( t τ ) | 1 ( n 1 ) ! t + ( s t ) n 1 ( i = 1 m | q i ( s ) | | x ( α i ( s ) ) | + | r ( s ) | + | f ( s , y ( β 1 ( s ) ) , , y ( β l ( s ) ) ) | ) d s L p 0 M 1 ( n 1 ) ! T + s n 1 H ( s ) d s L p 0 M min { M L , L p 0 M N } N ,

which yields U L x+ S L yA(N,M) for any x,yA(N,M). The rest of the proof is similar to that of Theorem 2.1 and is omitted. This completes the proof. □

Theorem 2.3 Assume that there exist hC([ t 0 ,+), R + ) and constants M, N, p 0 , p 1 , and c satisfying (2.1), (2.2), and

M>Nmax { 1 , p 0 ( p 1 2 p 0 ) p 1 ( p 0 2 p 1 ) } >0, p 0 2 > p 1 p(t) p 0 >1,tc t 0 .
(2.20)

Then (1.12) has uncountably many bounded nonoscillatory solutions in A(N,M).

Proof Let L( p 1 p 0 M+ p 1 N, p 0 M+ p 0 p 1 N). It follows from (2.2) and (2.20) that there exist constants θ(0,1) and T>| t 0 |+τ+|c|+|γ|+n satisfying

θ= 1 | p 0 | ( 1 + 1 ( n 1 ) ! ) T + s n 1 i = 1 m | q i (s)|ds
(2.21)

and

1 ( n 1 ) ! T + s n 1 H(s)dsmin { p 0 M L + p 0 p 1 N , p 0 p 1 L M p 0 N } .
(2.22)

Define two mappings U L and S L :A(N,M)CB([ t 0 ,+),R) by

( U L x ) ( t ) = { L p ( t + τ ) x ( t + τ ) p ( t + τ ) + 1 p ( t + τ ) ( n 1 ) ! t + τ + ( s t τ ) n 1 × ( i = 1 m q i ( s ) x ( α i ( s ) ) + ( 1 ) n r ( s ) ) d s , t T , ( U L x ) ( T ) , γ t < T ; ( S L x ) ( t ) = { 1 p ( t + τ ) ( n 1 ) ! t + τ + ( s t τ ) n 1 f ( s , x ( β 1 ( s ) ) , , x ( β l ( s ) ) ) d s , t T , ( S L x ) ( T ) , γ t < T .
(2.23)

We show that (2.7) holds. In fact, for every x,yA(N,M) and tT, by (2.1) and (2.20)-(2.23), we get

( U L x ) ( t ) + ( S L y ) ( t ) = L p ( t + τ ) x ( t τ ) p ( t + τ ) + 1 p ( t + τ ) ( n 1 ) ! × t + τ + ( s t τ ) n 1 ( i = 1 m q i ( s ) x ( α i ( s ) ) + ( 1 ) n r ( s ) ) d s + 1 p ( t + τ ) ( n 1 ) ! t + τ + ( s t τ ) n 1 f ( s , y ( β 1 ( s ) ) , , y ( β l ( s ) ) ) d s L p 0 N p 1 + 1 p 0 ( n 1 ) ! T + s n 1 H ( s ) d s L p 0 N p 1 + 1 p 0 min { p 0 M L + p 0 p 1 N , p 0 p 1 L M p 0 N } = M , ( U L x ) ( t ) + ( S L y ) ( t ) L p 1 M p 0 1 p 0 ( n 1 ) ! T + s n 1 H ( s ) d s L p 1 M p 0 1 p 0 min { p 0 M L + p 0 p 1 N , p 0 p 1 L M p 0 N } N

and

| ( U L x ) ( t ) ( U L y ) ( t ) | = | L p ( t + τ ) x ( t τ ) p ( t + τ ) + 1 p ( t + τ ) ( n 1 ) ! × t + τ + ( s t τ ) n 1 ( i = 1 m q i ( s ) x ( α i ( s ) ) + ( 1 ) n r ( s ) ) d s L p ( t + τ ) + y ( t τ ) p ( t + τ ) 1 p ( t + τ ) ( n 1 ) ! × t + τ + ( s t τ ) n 1 ( i = 1 m q i ( s ) y ( α i ( s ) ) + ( 1 ) n r ( s ) ) d s | 1 p 0 x y + x y p 0 ( n 1 ) ! T + s n 1 i = 1 m | q i ( s ) | d s = θ x y ,

which means that we have (2.7).

Next we show that S L (A(N,M)) is equicontinuous in [γ,+). For any given ε>0, (2.2) guarantees that (2.10) holds for some sufficiently large T >T. Set

f ¯ =max { | f ( t , u 1 , , u l ) | : t [ T , T + τ ] , u j [ N , M ] , j { 1 , 2 , , l } } .
(2.24)

It follows from the uniform continuity of p in [N,M] that there exists δ 0 >0 such that

|p( t 1 +τ)p( t 2 +τ)|< ε 4 ( M + N )
(2.25)

whenever t 1 , t 2 [T, T ] with | t 1 t 2 |< δ 0 . Put

δ=min { δ 0 , ε 4 n ( M + N ) , p 0 ε 4 ( 1 + f ¯ ) ( T T ) n 1 } .
(2.26)

We have to consider the following possible cases:

  1. (i)

    t 2 > t 1 T with | t 2 t 1 |<δ. It follows from (2.1), (2.10), (2.20), (2.23), and (2.26) that

    | ( S L x ) ( t 2 ) ( S L x ) ( t 1 ) | = | 1 p ( t 2 + τ ) ( n 1 ) ! t 2 + τ + ( s t 2 τ ) n 1 f ( s , x ( β 1 ( s ) ) , , x ( β l ( s ) ) ) d s 1 p ( t 1 + τ ) ( n 1 ) ! t 1 + τ + ( s t 1 τ ) n 1 f ( s , x ( β 1 ( s ) ) , , x ( β l ( s ) ) ) | 2 p 0 ( n 1 ) ! T + s n 1 h ( s ) d s < ε , x A ( N , M ) .
    (2.27)
  2. (ii)

    T t 1 < t 2 T with | t 2 t 1 |<δ. For each s( t 2 +τ,+), it follows from the mean value theorem that there exists ξ(s t 2 τ,s t 1 τ) satisfying

    ( s t 2 τ ) n 1 ( s t 1 τ ) n 1 =(n1) ξ n 2 ( t 1 t 2 ),

which together with (2.1), (2.20), (2.22), and (2.26) yields for each n2

1 p ( t 2 + τ ) ( n 1 ) ! t 2 + τ + | ( s t 2 τ ) n 1 ( s t 1 τ ) n 1 | | f ( s , x ( β 1 ( s ) ) , , x ( β l ( s ) ) ) | d s | t 2 t 1 | p 0 ( n 2 ) ! t 2 + τ + ξ n 2 h ( s ) d s ( n 1 ) | t 2 t 1 | p 0 ( n 1 ) ! T + s n 1 h ( s ) d s n 1 p 0 ε 4 n ( M + N ) min { p 0 M L + p 0 p 1 N , p 0 p 1 L M p 0 N } < ε 4 , x A ( N , M ) ,

which implies that for each nN

1 p ( t 2 + τ ) ( n 1 ) ! t 2 + τ + | ( s t 2 τ ) n 1 ( s t 1 τ ) n 1 | | f ( s , x ( β 1 ( s ) ) , , x ( β l ( s ) ) ) | d s < ε 4 , x A ( N , M ) .
(2.28)

By means of (2.1), (2.20), (2.22)-(2.26), and (2.28), we get

| ( S L x ) ( t 2 ) ( S L x ) ( t 1 ) | = 1 ( n 1 ) ! | 1 p ( t 2 + τ ) t 2 + τ + ( s t 2 τ ) n 1 f ( s , x ( β 1 ( s ) ) , , x ( β l ( s ) ) ) d s 1 p ( t 1 + τ ) t 1 + τ + ( s t 1 τ ) n 1 f ( s , x ( β 1 ( s ) ) , , x ( β l ( s ) ) ) d s | 1 ( n 1 ) ! ( 1 p ( t 2 + τ ) | t 2 + τ + ( s t 2 τ ) n 1 f ( s , x ( β 1 ( s ) ) , , x ( β l ( s ) ) ) d s t 1 + τ + ( s t 1 τ ) n 1 f ( s , x ( β 1 ( s ) ) , , x ( β l ( s ) ) ) d s | + | 1 p ( t 2 + τ ) 1 p ( t 1 + τ ) | t 1 + τ + ( s t 1 τ ) n 1 | f ( s , x ( β 1 ( s ) ) , , x ( β l ( s ) ) ) | d s ) 1 p ( t 2 + τ ) ( n 1 ) ! ( t 2 + τ + | ( s t 2 τ ) n 1 ( s t 1 τ ) n 1 | × | f ( s , x ( β 1 ( s ) ) , , x ( β l ( s ) ) ) | d s + t 1 + τ t 2 + τ | ( s t 1 τ ) n 1 | | f ( s , x ( β 1 ( s ) ) , , x ( β l ( s ) ) ) | d s + | p ( t 2 + τ ) p ( t 1 + τ ) | p ( t 1 + τ ) t 1 + τ + ( s t 1 τ ) n 1 | f ( s , x ( β 1 ( s ) ) , , x ( β l ( s ) ) ) | d s ) ε 4 + ( T T ) n 1 f ¯ p 0 ( n 1 ) ! | t 2 t 1 | + | p ( t 2 + τ ) p ( t 1 + τ ) | p 0 ( n 1 ) ! T + s n 1 h ( s ) d s ε 4 + ( T T ) n 1 f ¯ p 0 ( n 1 ) ! p 0 ε 4 ( T T ) n 1 ( 1 + f ¯ ) + ε 4 ( M + N ) p 0 ( n 1 ) ! min { p 0 M L + p 0 p 1 N , p 0 p 1 L M p 0 N } < ε 4 + ε 4 + ε 4 < ε , x A ( N , M ) .
(2.29)
  1. (iii)

    γ t 1 < t 2 T with | t 2 t 1 |<δ. Obviously, (2.23) guarantees that

    |( S L x)( t 2 )( S L x)( t 1 )|=0<ε,xA(N,M).
    (2.30)

Using (2.27), (2.29), and (2.30), we conclude that S L (A(N,M)) is equicontinuous in [γ,+). As in the proof of Theorem 2.1, we prove similarly that S L is continuous in A(N,M) and S L (A(N,M)) is uniformly bounded. It follows that S L (A(N,M)) is relatively compact. Consequently, Lemma 1.1 shows that there is xA(N,M) such that U L x+ S L x=x. That is,

x ( t ) = L p ( t + τ ) x ( t + τ ) p ( t + τ ) + 1 p ( t + τ ) ( n 1 ) ! t + τ + ( s t τ ) n 1 ( i = 1 m q i ( s ) x ( α i ( s ) ) + ( 1 ) n r ( s ) ) d s + 1 p ( t + τ ) ( n 1 ) ! t + τ + ( s t τ ) n 1 f ( s , x ( β 1 ( s ) ) , , x ( β l ( s ) ) ) d s , t T + τ ,

which yields

x ( t + τ ) + p ( t + τ ) x ( t ) = L + 1 ( n 1 ) ! t + τ + ( s t τ ) n 1 ( i = 1 m q i ( s ) x ( α i ( s ) ) + ( 1 ) n r ( s ) ) d s + 1 ( n 1 ) ! t + τ + ( s t τ ) n 1 f ( s , x ( β 1 ( s ) ) , , x ( β l ( s ) ) ) d s , t T + τ ,

which implies that

d n d t n [ x ( t ) + p ( t ) x ( t τ ) ] = ( 1 ) n ( i = 1 m q i ( t ) x ( α i ( t ) ) + ( 1 ) n r ( t ) ) + ( 1 ) n f ( t , x ( β 1 ( t ) ) , , x ( β l ( t ) ) ) , t T ,

that is, x(t) is a bounded nonoscillatory solution of (1.12) in A(N,M).

Finally we show (1.12) has uncountably many bounded nonoscillatory solutions. Let L 1 , L 2 ( p 1 p 0 M+ p 1 N, p 0 M+ p 0 p 1 N) with L 1 L 2 . As in the above proof, we infer that for each k{1,2}, there exist constants θ k (0,1), T k >| t 0 |+τ+|c|+|γ|+n, and mappings U L k , S L k :A(N,M)CB([γ,+),R) satisfying (2.21)-(2.23), where θ, T, L, U L , S L are replaced by θ k , T k , L k , U L k , S L k , respectively, and (1.12) possesses a bounded nonoscillatory solution z k A(N,M). In terms of (2.2), we select T 3 >max{ T 1 , T 2 } satisfying

1 ( n 1 ) ! T 3 + s n 1 h(s)ds< p 0 | L 1 L 2 | 4 p 1 .
(2.31)

It follows from (2.21), (2.23), and (2.31) that for t T 3 +τ

| z 1 ( t ) z 2 ( t ) | = | L 1 L 2 p ( t + τ ) z 1 ( t + τ ) z 2 ( t + τ ) p ( t + τ ) + 1 p ( t + τ ) ( n 1 ) ! ( t + τ + ( s t τ ) n 1 i = 1 m q i ( s ) ( z 1 ( α ( s ) ) z 2 ( α ( s ) ) ) d s + t + τ + ( s t τ ) n 1 ( f ( s , z 1 ( β 1 ( s ) ) , , z 1 ( β l ( s ) ) ) f ( s , z 2 ( β 1 ( s ) ) , , z 2 ( β l ( s ) ) ) ) d s ) | | L 1 L 2 | p 1 z 1 z 2 p 0 ( 1 + 1 ( n 1 ) ! ) T 3 + s n 1 i = 1 m | q i ( s ) | d s 2 p 0 ( n 1 ) ! T 3 + s n 1 h ( s ) d s | L 1 L 2 | p 1 θ z 1 z 2 2 p 0 p 0 | L 1 L 2 | 4 p 1 = | L 1 L 2 | 2 p 1 θ z 1 z 2 ,

which yields

z 1 z 2 | L 1 L 2 | 2 p 1 ( 1 + θ ) >0,

that is, x 1 x 2 . This completes the proof. □

Theorem 2.4 Assume that there exist hC([ t 0 ,+), R + ) and constants M, N, p 0 , p 1 , and c satisfying (2.1), (2.2), and

M > N > 0 , p 0 N ( 1 + 1 p 1 ) > p 1 M ( 1 + 1 p 0 ) , p 1 p ( t ) p 0 < 1 , t c t 0 .
(2.32)

Then (1.12) has uncountably many bounded nonoscillatory solutions in A(N,M).

Proof Let L( p 1 M(1+ 1 p 0 ), p 0 N(1+ 1 p 1 )). It follows from (2.2) and (2.32) that there exist constants θ(0,1) and T>τ+| t 0 |+|c|+|γ| satisfying (2.21) and

1 ( n 1 ) ! T + s n 1 H(s)dsmin { M ( p 0 + 1 ) + p 0 L p 1 , p 0 N ( 1 + 1 p 1 ) L } .
(2.33)

Let the mappings U L and S L :A(N,M)CB([ t 0 ,+),R) be defined by (2.23).

Note that (2.1), (2.21), (2.23), and (2.33) imply that for each x,yA(N,M), and tT

( U L x ) ( t ) + ( S L y ) ( t ) = L p ( t + τ ) x ( t τ ) p ( t + τ ) + 1 p ( t + τ ) ( n 1 ) ! × t + τ + ( s t τ ) n 1 ( i = 1 m q i ( s ) x ( α i ( s ) ) + ( 1 ) n r ( s ) ) d s + 1 p ( t + τ ) ( n 1 ) ! t + τ + ( s t τ ) n 1 f ( s , y ( β 1 ( s ) ) , , y ( β l ( s ) ) ) d s L p 1 M p 0 1 p 0 ( n 1 ) ! T + s n 1 H ( s ) d s L p 1 M p 0 1 p 0 min { M ( p 0 + 1 ) + p 0 L p 1 , p 0 N ( 1 + 1 p 1 ) L } M

and

( U L x ) ( t ) + ( S L y ) ( t ) = L p ( t + τ ) x ( t τ ) p ( t + τ ) + 1 p ( t + τ ) ( n 1 ) ! × t + τ + ( s t τ ) n 1 ( i = 1 m q i ( s ) x ( α i ( s ) ) + ( 1 ) n r ( s ) ) d s + 1 p ( t + τ ) ( n 1 ) ! t + τ + ( s t τ ) n 1 f ( s , y ( β 1 ( s ) ) , , y ( β l ( s ) ) ) d s L p 0 N p 1 + 1 p 0 ( n 1 ) ! T + s n 1 H ( s ) d s L p 0 N p 1 + 1 p 0 min { M ( p 0 + 1 ) + p 0 L p 1 , p 0 N ( 1 + 1 p 1 ) L } N ,

which yields U L x+ S L yA(N,M) for any x,yA(N,M). The rest of the proof is similar to that of Theorem 2.3 and is omitted. This completes the proof. □

Theorem 2.5 Let n=1. Assume that there exist hC([ t 0 ,+), R + ) and constants M, N, and c satisfying (2.1), (2.2), and

0<N<M,p(t)1,tc t 0 .
(2.34)

Then (1.12) has uncountably many bounded nonoscillatory solutions in A(N,M).

Proof Let L(N,M). It follows from (2.2) and (2.34) that there exists a constant T>τ+| t 0 |+|c|+|γ| satisfying

T + H(s)dsmin{ML,LN}.
(2.35)

Define a mapping S L :A(N,M)CB([γ,+),R) by

( S L x)(t)={ L + a = 1 t + ( 2 a 1 ) τ t + 2 a τ ( i = 1 m q i ( s ) x ( α i ( s ) ) r ( s ) + f ( s , x ( β 1 ( s ) ) , , x ( β l ( s ) ) ) d s ) , t T , ( S L x ) ( T ) , γ t < T .
(2.36)

For every xA(N,M) and tT, by (2.1), (2.35), and (2.36), we deduce that

( S L x ) ( t ) = L + a = 1 t + ( 2 a 1 ) τ t + 2 a τ ( i = 1 m q i ( s ) x ( α i ( s ) ) r ( s ) + f ( t , x ( β 1 ( s ) ) , , x ( β l ( s ) ) ) ) d s ( S L x ) ( t ) L + t + H ( s ) d s ( S L x ) ( t ) L + min { M L , L N } ( S L x ) ( t ) M , ( S L x ) ( t ) L t + H ( s ) d s ( S L x ) ( t ) L min { M L , L N } ( S L x ) ( t ) N ,

which yield S(A(N,M))A(N,M) and hence S(A(N,M)) is uniformly bounded in [γ,+).

Let { x k } k N be a sequence in A(N,M) and xA(N,M) satisfying (2.8) and let

G k ( s ) = i = 1 m | q i ( s ) | | x k ( α i ( s ) ) x ( α i ( s ) ) | + | f ( s , x k ( β 1 ( s ) ) , , x k ( β l ( s ) ) ) f ( s , x ( β 1 ( s ) ) , , x ( β l ( s ) ) ) | , ( s , k ) [ T , + ) × N .
(2.37)

Using (2.8), (2.37), and the continuity of f, q i , α i , and β j for i{1,2,,m} and j{1,2,,l}, we obtain lim t + G k (s)=0 for all s[T,+). In light of (2.36) and the Lebesgue dominated convergence theorem, we conclude that for any tT

| ( S L x k ) ( t ) ( S L x ) ( t ) | a = 1 t + ( 2 a 1 ) τ t + 2 a τ ( i = 1 m | q i ( s ) | | x k ( α i ( s ) ) x ( α i ( s ) ) | + | f ( s , x k ( β 1 ( t ) ) , , x k ( β l ( t ) ) ) f ( s , x ( β 1 ( t ) ) , , x ( β l ( s ) ) ) | ) d s T + G k ( s ) d s 0 as  k ,

which means that

lim k S L x k S L x= lim k sup t T |( S L x k )(t)( S L x)(t)|=0,

which implies that S L is continuous in A(N,M).

Let ε be an arbitrary positive number. It follows from (2.2) that there exists T >T large enough such that

T + H(s)ds< ε 4 .
(2.38)

Set

δ= ε 8 K B andB=1+max { H ( s ) : s [ T , T + 2 K τ ] } ,
(2.39)

where KN satisfies

either T + 2 ( K 1 ) τ < T and T + ( 2 K 1 ) τ T or T + ( 2 K 1 ) τ < T and T + 2 K τ T .
(2.40)

We consider the following possible cases:

  1. (i)

    t 2 > t 1 T with | t 2 t 1 |<δ. From (2.1), (2.36), and (2.38), we conclude immediately that

    | ( S L x ) ( t 2 ) ( S L x ) ( t 1 ) | a = 1 t 2 + ( 2 a 1 ) τ t 2 + 2 a τ ( i = 1 m | q i ( s ) | | x ( α i ( s ) ) | + | r ( s ) | + | f ( t , x ( β 1 ( s ) ) , , x ( β l ( s ) ) ) | ) d s + a = 1 t 1 + ( 2 a 1 ) τ t 1 + 2 a τ ( i = 1 m | q i ( s ) | | x ( α i ( s ) ) | + | r ( s ) | + | f ( t , x ( β 1 ( s ) ) , , x ( β l ( s ) ) ) | ) d s 2 T + H ( s ) d s < ε 2 , x A ( N , M ) .
    (2.41)
  2. (ii)

    T t 1 < t 2 T with | t 1 t 2 |<δ. In terms of (2.1) and (2.36)-(2.40), we deduce that

    | ( S L x ) ( t 2 ) ( S L x ) ( t 1 ) | | a = 1 K t 2 + ( 2 a 1 ) τ t 2 + 2 a τ ( i = 1 m q i ( s ) x ( α i ( s ) ) r ( s ) + f ( t , x ( β 1 ( s ) ) , , x ( β l ( s ) ) ) ) d s + a = 1 K t 1 + 2 a τ t 2 + ( 2 a 1 ) τ ( i = 1 m q i ( s ) x ( α i ( s ) ) r ( s ) + f ( t , x ( β 1 ( s ) ) , , x ( β l ( s ) ) ) ) d s a = 1 K t 1 + 2 a τ t 2 + ( 2 a 1 ) τ ( i = 1 m q i ( s ) x ( α i ( s ) ) r ( s ) + f ( t , x ( β 1 ( s ) ) , , x ( β l ( s ) ) ) ) d s a = 1 K t 1 + ( 2 a 1 ) τ t 1 + 2 a τ ( i = 1 m q i ( s ) x ( α i ( s ) ) r ( s ) + f ( t , x ( β 1 ( s ) ) , , x ( β l ( s ) ) ) ) d s | + a = K + 1 t 2 + ( 2 a 1 ) τ t 2 + 2 a τ ( i = 1 m | q i ( s ) | | x ( α i ( s ) ) | + | r ( s ) | + | f ( t , x ( β 1 ( s ) ) , , x ( β l ( s ) ) ) | ) d s + a = K + 1 t 1 + ( 2 a 1 ) τ t 1 + 2 a τ ( i = 1 m | q i ( s ) | | x ( α i ( s ) ) | + | r ( s ) | + | f ( t , x ( β 1 ( s ) ) , , x ( β l ( s ) ) ) | ) d s a = 1 K t 1 + 2 a τ t 2 + 2 a τ H ( s ) d s + a = 1 K t 1 + ( 2 a 1 ) τ t 2 + ( 2 a 1 ) τ H ( s ) d s + 2 T + H ( s ) d s 2 K B | t 2 t 1 | + ε 2 < ε , x A ( N , M ) .
    (2.42)
  3. (iii)

    γ t 1 < t 2 T with | t 1 t 2 |<δ. Equation (2.36) means that

    |( S L x)( t 2 )( S L x)( t 1 )|=0<ε,xA(N,M).
    (2.43)

It follows from (2.41)-(2.43) that S L (A(N,M)) is equicontinuous in [γ,+). Thus Lemma 1.2 means that S L has a fixed point xA(N,M), that is, for any tT+τ

x(t)=L+ a = 1 t + ( 2 a 1 ) τ t + 2 a τ ( i = 1 m q i ( s ) x ( α i ( s ) ) r ( s ) + f ( s , x ( β 1 ( s ) ) , , x ( β l ( s ) ) ) ) ds

and

x(tτ)=L+ a = 1 t + 2 ( a 1 ) τ t + ( 2 a 1 ) τ ( i = 1 m q i ( s ) x ( α i ( s ) ) r ( s ) + f ( s , x ( β 1 ( s ) ) , , x ( β l ( s ) ) ) ) ds,

which give for any tT+τ

x(t)+x(tτ)=2L+ t + ( i = 1 m q i ( s ) x ( α i ( s ) ) r ( s ) + f ( s , x ( β 1 ( s ) ) , , x ( β l ( s ) ) ) ) ds,

which implies that

d d t [ x ( t ) + x ( t τ ) ] + i = 1 m q i (t)x ( α i ( t ) ) +f ( t , x ( β 1 ( t ) ) , , x ( β l ( t ) ) ) =r(t),tT+τ,

that is, xA(N,M) is a bounded nonoscillatory solution of (1.12). The rest of the proof is similar to that of Theorem 2.1 and is omitted. This completes the proof. □

Theorem 2.6 Let nN{1}. Assume that there exist hC([ t 0 ,+), R + ) and constants M, N, and c satisfying (2.1), (2.2), and (2.34). Then (1.12) has uncountably many bounded nonoscillatory solutions in A(N,M).

Proof Let L(N,M). It follows from (2.2) and (2.34) that there exists a constant T>τ+| t 0 |+|c|+|γ| satisfying

1 ( n 1 ) ! T + s n 1 H(s)dsmin{ML,LN}.
(2.44)

Define a mapping S L :A(N,M)CB([γ,+),R) by

( S L x)(t)={ L + 1 ( n 2 ) ! a = 1 t + ( 2 a 1 ) τ t + 2 a τ d u u + ( s u ) n 2 × ( i = 1 m q i ( s ) x ( α i ( s ) ) + ( 1 ) n r ( s ) + f ( s , x ( β 1 ( s ) ) , , x ( β l ( s ) ) ) ) d s , t T , ( S L x ) ( T ) , γ t < T ,
(2.45)

for each xA(N,M).

Let xA(N,M) and tT. By (2.44) and (2.45), we get

| ( S L x ) ( t ) L | = 1 ( n 2 ) ! | a = 1 t + ( 2 a 1 ) τ t + 2 a τ d u u + ( s u ) n 2 ( i = 1 m q i ( s ) x ( α i ( s ) ) + ( 1 ) n r ( s ) + f ( s , x ( β 1 ( s ) ) , , x ( β l ( s ) ) ) ) d s | 1 ( n 2 ) ! t + d u u + ( s u ) n 2 H ( s ) d s = 1 ( n 2 ) ! t + d s t s ( s u ) n 2 H ( s ) d u = 1 ( n 1 ) ! t + ( s t ) n 1 H ( s ) d s min { M L , L N } ,

which gives that S(A(N,M))A(N,M) and S(A(N,M)) is uniformly bounded in [γ,+).

Let { x k } k N A(N,M) satisfy (2.8) for some xA(N,M) and { G k } k N be defined by (2.37). Using (2.8), (2.37), (2.45), the continuity of f and β j for j{1,2,,l}, and the Lebesgue dominated convergence theorem, we conclude that for any tT

| ( S L x k ) ( t ) ( S L x ) ( t ) | 1 ( n 2 ) ! a = 1 t + ( 2 a 1 ) τ t + 2 a τ d u u + ( s u ) n 2 ( i = 1 m | q i ( s ) | | x k ( α i ( s ) ) x ( α i ( s ) ) | + | f ( s , x k ( β 1 ( t ) ) , , x k ( β l ( t ) ) ) f ( s , x ( β 1 ( t ) ) , , x ( β l ( s ) ) ) | ) d s 1 ( n 2 ) ! t + d u u + ( s u ) n 2 G k ( s ) d s 1 ( n 1 ) ! T + ( s T ) n 1 G k ( s ) d s 0 as  k ,

which yields

lim k S L x k S L x= lim k sup t T |( S L x k )(t)( S L x)(t)|=0,

that is, S L is continuous in A(N,M).

Next we show that S L (A(N,M)) is equicontinuous in [γ,+<