Skip to main content

Theory and Modern Applications

Positive solutions for second order impulsive differential equations with Stieltjes integral boundary conditions

Abstract

In this paper, we study the existence of positive solutions for a singular second order impulsive differential equations with Stieltjes integral boundary conditions. By means of fixed point theorems, some results on the existence and multiplicity of positive solutions are obtained. Two examples are given to demonstrate the main results.

MSC:34B10, 34B15, 34B18, 34B37.

1 Introduction

In this paper, we consider the existence of positive solutions for the following second-order impulsive boundary value problem (IBVP for short)

{ x ( t ) + a ( t ) x ( t ) + b ( t ) x ( t ) + h ( t ) f ( t , x ( t ) ) = 0 , t J , x | t = t i = I i ( x ( t i ) ) , i = 1 , 2 , , m , x ( 0 ) = α [ x ] , x ( 1 ) = β [ x ] ,
(1.1)

where J=[0,1], 0< t 1 < t 2 << t m <1, J =J{ t 1 , t 2 ,, t m }, J 0 =(0, t 1 ], J 1 =( t 1 , t 2 ],, J m =( t m ,1), fC(J× R + , R + ), I i C( R + , R + ), i=1,2,,m, R + =[0,+). x | t = t i denotes the jump of x at t= t i , i.e.,

x | t = t i = x ( t i + ) x ( t i ) ,

where x ( t i + ) and x ( t i ) represent the right-hand limit and the left-hand limit of x at t i , respectively. α[x], β[x] are linear functionals on C(I) given by

α[x]= 0 1 x(t)dA(t),β[x]= 0 1 x(t)dB(t)

involving Stieltjes integrals with signed measures, that is, A, B are suitable functions of bounded variation.

Impulsive differential equations describe processes with sudden changes in their state at certain moments. The theory of impulse differential equations has been further developed significantly in recent years and has played a very important role in modern applied mathematical modeling of real world processes in physics, population dynamics, chemical technology, biotechnology and economics. For details, see [19] and references therein.

Recently, Feng and Xie [10] have dealt with the second order m-point boundary value problem with impulse effects

{ x ( t ) = f ( t , x ( t ) ) , t J , t t i , x | t = t i = I i ( x ( t i ) ) , i = 1 , 2 , , n , x ( 0 ) = i = 1 m 2 a i x ( ξ i ) , x ( 1 ) = i = 1 m 2 b i x ( ξ i ) ,

where a i , b i (0,1), 0< ξ 1 < ξ 2 << ξ m 2 <1, i = 1 m 2 b i ξ i <1, i = 1 m 2 a i (1 ξ i )<1. The existence results of one and two positive solutions are obtained based on the fixed point theorems in a cone.

For the case of I i =0, i=1,2,,m, one of the special cases of problem (1.1) is the following multi-point boundary value problem

{ x ( t ) + a ( t ) x ( t ) + b ( t ) x ( t ) + h ( t ) f ( x ( t ) ) = 0 , t ( 0 , 1 ) , x ( 0 ) = 0 , x ( 1 ) = i = 1 m 2 a i x ( ξ i ) ,
(1.2)

where 0< ξ 1 < ξ 2 << ξ m 2 <1. Boundary value problem (1.2) and related problems have been extensively studied in many papers in recent years (see [1115] and references therein). The existence and multiplicity results of positive solutions are obtained by applying the Krasnosel’skii fixed-point theorem in cones, the Leggett-Williams fixed point theorem and the fixed point index theory. For example, Ma and Wang in [14] studied the existence of positive solutions to the nonlinear boundary-value problem

{ x ( t ) + a ( t ) x ( t ) + b ( t ) x ( t ) + h ( t ) f ( x ( t ) ) = 0 , t ( 0 , 1 ) , x ( 0 ) = 0 , x ( 1 ) = α x ( η ) ,
(1.3)

where aC(J), bC(J,(,0)), 0<η<1 and 0<αϕ(η)<1 are given, ϕ is the unique solution of the linear boundary value problem

{ x ( t ) + a ( t ) x ( t ) + b ( t ) x ( t ) = 0 , t ( 0 , 1 ) , x ( 0 ) = 0 , x ( 1 ) = 1 .

The authors established the existence of at least one positive solution of (1.3) if f is either superlinear or sublinear by applying the fixed point theorem in cones.

Inspired by the work of the above papers, the aim of this paper is to establish the existence and multiplicity of positive solutions for the IBVP (1.1). We discuss the boundary value problem with Stieltjes integral boundary conditions, i.e., the IBVP (1.1) which includes second order two-point, three-point, multi-point and nonlocal boundary value problems as special cases. Moreover, α[] and β[] are two linear functions on C[0,1] denoting the Stieltjes integrals, where A,B are of bounded variation, that is dA and dB may change sign. By using the Krasnosel’skii fixed-point theorem and the Leggett-Williams fixed point theorem, some existence and multiplicity results of positive solutions are obtained.

This paper is organized as follows. In Section 2, we present some preliminaries and lemmas. Section 3 is devoted to the proof of the main results. In Section 4, two examples are given to demonstrate the validity of our main results.

2 Some preliminaries and lemmas

In this section, we first introduce some background definitions in a Banach space, present some basic lemmas, and then present the fixed point theorems that are to be used in the proof of the main results.

Let P C 1 (J, R + )={x:xC(J, R + ),x | J i C 1 (J, R + ),i=0,1,,m, and  x ( t i + ) exists for i=1,2,,m} with the norm x P C 1 =max{ x P C , x P C }, where

x P C = sup t J | x ( t ) | , x P C = sup t J | x ( t ) | .

Then P C 1 (J, R + ) is a Banach space. A function xP C 1 (J, R + ) C 2 ( J ,R) is called a positive solution of problem (1.1) if it satisfies (1.1).

Lemma 2.1 [14]

Assume that aC(J), bC(J,(,0)). Let ϕ and ψ be the unique solution of the following boundary value problem

{ ϕ ( t ) + a ( t ) ϕ ( t ) + b ( t ) ϕ ( t ) = 0 , t J , ϕ ( 0 ) = 0 , ϕ ( 1 ) = 1

and

{ ψ ( t ) + a ( t ) ψ ( t ) + b ( t ) ψ ( t ) = 0 , t J , ψ ( 0 ) = 1 , ψ ( 1 ) = 0 ,

respectively. Then ϕ is strictly increasing on J, ψ is strictly decreasing on J.

Throughout this paper, we adopt the following assumptions:

( H 1 ) aC(J), bC(J,(,0)), k 1 , k 4 (0,1], k 2 , k 3 0, k>0, and

where

( H 2 ) h:(0,1) R + is a Lebesgue integral and 0< 0 1 h(t)dt<+, I i : R + R + is continuous for i=1,2,,m.

( H 3 ) f:J× R + R + is continuous.

Remark 2.1 If dA and dB are two positive measures, then assumption ( H 1 ) can be replaced by the weaker assumption

( H 1 ) aC(J), bC(J,(,0)), and k 1 >0, k 4 >0, k>0.

Lemma 2.2 Assume that ( H 1 ) holds. Then for any y L 1 [0,1], the problem

{ x ( t ) + a ( t ) x ( t ) + b ( t ) x ( t ) + y ( t ) = 0 , t J , t t i , x | t = t i = I i R , i = 1 , 2 , , m , x ( 0 ) = α [ x ] , x ( 1 ) = β [ x ] ,
(2.1)

has a unique solution given by the following formula:

x ( t ) = 0 1 G ( t , s ) p ( s ) y ( s ) d s + ψ ( t ) α [ x ] + ϕ ( t ) β [ x ] + ψ ( t ) i = 1 j ρ 1 p ( t i ) ϕ ( t i ) I i + ϕ ( t ) i = j + 1 m ρ 1 p ( t i ) ψ ( t i ) I i
(2.2)

for t J i , i=0,1,,m. Moreover, x(t)0 on J provided y0.

Proof By similar arguments in [5]. So it is omitted. □

Remark 2.2 If ( H 1 ) holds, then for any t,sJ, it is easy to testify that

γ(t)G(s,s)G(t,s)G(s,s),
(2.3)

where γ(t)=min{ϕ(t),ψ(t)}, tJ. Let ξ(0, t 1 ), η( t m ,1), then

G(t,s)γG(s,s),t[ξ,η],sJ,
(2.4)

where γ= min ξ t η γ(t).

Put

K= { x P C ( J , R + ) : min ξ t η x ( t ) γ x P C , α [ x ] 0 , β [ x ] 0 } .

Clearly, K is a cone of PC(J, R + ). For any r>0, let K r ={xK: x P C <r}, K r ={xK: x P C =r} and K ¯ r ={xK: x P C r}.

For xC(J, R + ), we define two operators T and S by

Tx(t)=ψ(t)α[x]+ϕ(t)β[x]+Fx(t)+Qx(t)

and

S x ( t ) = k 1 ( k 3 ϕ ( t ) + k 4 ψ ( t ) ) ( α [ F x ] + α [ Q x ] ) + k 1 ( k 1 ϕ ( t ) + k 2 ψ ( t ) ) ( β [ F x ] + β [ Q x ] ) + F x ( t ) + Q x ( t ) ,

where

Lemma 2.3 Assume that ( H 1 )-( H 3 ) hold. Then T:KK, S:C(I, R + )K are completely continuous.

Proof Problem (1.1) has a solution x if and only if x solves the operator equation x=Tx in K. Let xK, by (2.3) and the monotonicity of ϕ, ψ, we have

T x P C α [ x ] + β [ x ] + 0 1 G ( s , s ) p ( s ) h ( s ) f ( s , x ( s ) ) d s + i = 1 j ρ 1 p ( t i ) ϕ ( t i ) I i ( x ( t i ) ) + i = j + 1 m ρ 1 p ( t i ) ψ ( t i ) I i ( x ( t i ) ) .

Moreover, by (2.3) and the definition of γ, we have

min ξ t η | T x ( t ) | γ ( t ) α [ x ] + γ ( t ) β [ x ] + γ ( t ) 0 1 G ( s , s ) p ( s ) h ( s ) f ( s , x ( s ) ) d s + γ ( t ) i = 1 j ρ 1 p ( t i ) ϕ ( t i ) I i ( x ( t i ) ) + γ ( t ) i = j + 1 m ρ 1 p ( t i ) ψ ( t i ) I i ( x ( t i ) ) γ T x P C .

On the other hand,

α [ T x ] = α [ ψ ] α [ x ] + α [ ϕ ] β [ x ] + α [ F x ] + α [ Q x ] = ( 1 k 1 ) α [ x ] + k 2 β [ x ] + 0 1 ( 0 1 G ( t , s ) p ( s ) h ( s ) f ( s , x ( s ) ) d s ) d A ( t ) + ( 1 k 1 ) i = 1 j ρ 1 p ( t i ) ϕ ( t i ) I i ( x ( t i ) ) + k 2 i = j + 1 m ρ 1 p ( t i ) ψ ( t i ) I i ( x ( t i ) ) = ( 1 k 1 ) α [ x ] + k 2 β [ x ] + 0 1 G A ( s ) h ( s ) f ( s , x ( s ) ) d s + ( 1 k 1 ) i = 1 j ρ 1 p ( t i ) ϕ ( t i ) I i ( x ( t i ) ) + k 2 i = j + 1 m ρ 1 p ( t i ) ψ ( t i ) I i ( x ( t i ) ) 0 , β [ T x ] = β [ ψ ] α [ x ] + β [ ϕ ] β [ x ] + β [ F x ] + β [ Q x ] = k 3 α [ x ] + ( 1 k 4 ) β [ x ] + 0 1 ( 0 1 G ( t , s ) p ( s ) h ( s ) f ( s , x ( s ) ) d s ) d B ( t ) + k 3 i = 1 j ρ 1 p ( t i ) ϕ ( t i ) I i ( x ( t i ) ) + ( 1 k 4 ) i = j + 1 m ρ 1 p ( t i ) ψ ( t i ) I i ( x ( t i ) ) = k 3 α [ x ] + ( 1 k 4 ) β [ x ] + 0 1 G B ( s ) h ( s ) f ( s , x ( s ) ) d s + k 3 i = 1 j ρ 1 p ( t i ) ϕ ( t i ) I i ( x ( t i ) ) + ( 1 k 4 ) i = j + 1 m ρ 1 p ( t i ) ψ ( t i ) I i ( x ( t i ) ) 0 .

This shows that T:KK.

Now we consider the operator S. Similarly as for the operator T, we have

S x P C k 1 ( k 3 + k 4 ) ( α [ F x ] + α [ Q x ] ) + k 1 ( k 1 + k 2 ) ( β [ F x ] + β [ Q x ] ) + 0 1 G ( s , s ) p ( s ) h ( s ) f ( s , x ( s ) ) d s + i = 1 j ρ 1 p ( t i ) ϕ ( t i ) I i ( x ( t i ) ) + i = j + 1 m ρ 1 p ( t i ) ψ ( t i ) I i ( x ( t i ) ) ,

and

min ξ t η | S x ( t ) | k 1 ( k 3 + k 4 ) γ ( t ) ( α [ F x ] + α [ Q x ] ) + k 1 ( k 1 + k 2 ) γ ( t ) ( β [ F x ] + β [ Q x ] ) + γ ( t ) 0 1 G ( s , s ) p ( s ) h ( s ) f ( s , x ( s ) ) d s + γ ( t ) i = 1 j ρ 1 p ( t i ) ϕ ( t i ) I i ( x ( t i ) ) + γ ( t ) i = j + 1 m ρ 1 p ( t i ) ψ ( t i ) I i ( x ( t i ) ) γ S x P C .

Moreover,

α [ S x ] = k 1 ( k 3 k 2 + k 4 ( 1 k 1 ) ) ( α [ F x ] + α [ Q x ] ) + k 1 ( k 1 k 2 + k 2 ( 1 k 1 ) ) ( β [ F x ] + β [ Q x ] ) + α [ F x ] + α [ Q x ] = k 1 k 4 ( α [ F x ] + α [ Q x ] ) + k 1 k 2 ( β [ F x ] + β [ Q x ] ) 0 ,
(2.5)
β [ S x ] = k 1 ( k 3 ( 1 k 4 ) + k 4 k 3 ) ( α [ F x ] + α [ Q x ] ) + k 1 ( k 1 ( 1 k 4 ) + k 2 k 3 ) ( β [ F x ] + β [ Q x ] ) + β [ F x ] + β [ Q x ] = k 1 k 3 ( α [ F x ] + α [ Q x ] ) + k 1 k 1 ( β [ F x ] + β [ Q x ] ) 0 .
(2.6)

This yields that S:C(J, R + )K.

Next, by similar arguments in [16], one can prove that T:KK, S:C(J, R + )K are completely continuous. So we omit further details, and Lemma 2.3 is proved. □

Lemma 2.4 Assume that ( H 1 )-( H 3 ) hold. Then operators T and S have the same fixed point in K.

Proof Let x be a fixed point of the operator S, i.e., x=Sx. Then by (2.5) and (2.6), we have

So we have

α[Fx]+α[Qx]= k 1 α[x] k 2 β[x],β[Fx]+β[Qx]= k 3 α[x]+ k 4 β[x].

Then

x ( t ) = S x ( t ) = k 1 ( k 3 ϕ ( t ) + k 4 ψ ( t ) ) ( α [ F x ] + α [ Q x ] ) + k 1 ( k 1 ϕ ( t ) + k 2 ψ ( t ) ) ( β [ F x ] + β [ Q x ] ) + F x ( t ) + Q x ( t ) = k 1 ( k 3 ϕ ( t ) + k 4 ψ ( t ) ) ( k 1 α [ x ] k 2 β [ x ] ) + k 1 ( k 1 ϕ ( t ) + k 2 ψ ( t ) ) ( k 3 α [ x ] + k 4 β [ x ] ) + F x ( t ) + Q x ( t ) = ψ ( t ) α [ x ] + ϕ ( t ) β [ x ] + F x ( t ) + Q x ( t ) = T x ( t ) .

This implies that x also is a fixed point of the operator T.

On the other hand, let x be a fixed point of the operator T, i.e., x=Tx. Then

So we have

Therefore,

x ( t ) = T x ( t ) = ψ ( t ) α [ x ] + ϕ ( t ) β [ x ] + F x ( t ) + Q x ( t ) = ψ ( t ) k 1 [ k 4 ( α [ Q x ] + α [ F x ] ) + k 2 ( β [ F x ] + β [ Q x ] ) ] + ϕ ( t ) k 1 [ k 3 ( α [ Q x ] + α [ F x ] ) + k 1 ( β [ F x ] + β [ Q x ] ) ] + F x ( t ) + Q x ( t ) = k 1 ( k 3 ϕ ( t ) + k 4 ψ ( t ) ) ( α [ F x ] + α [ Q x ] ) + k 1 ( k 1 ϕ ( t ) + k 2 ψ ( t ) ) ( β [ F x ] + β [ Q x ] ) + F x ( t ) + Q x ( t ) = S x ( t ) .

This implies that x is also a fixed point of the operator S. The proof is completed. □

Lemma 2.5 [17]

Let X be a real Banach space, K is a cone in X. Assume that Ω 1 and Ω 2 are two bounded open sets of X with θ Ω 1 and Ω ¯ 1 Ω 2 . Let T:K( Ω ¯ 2 Ω 1 )K be a completely continuous operator such that either

  1. (i)

    Txx, xK Ω 1 and Txx, xK Ω 2 , or

  2. (ii)

    Txx, xK Ω 1 and Txx, xK Ω 2 .

Then T has a fixed point in K( Ω ¯ 2 Ω 1 ).

Lemma 2.6 [18, 19]

Let K be a cone in a real Banach space X, K c ={xK:x<c}, φ is a nonnegative continuous concave functional on K such that φ(x)x, for all x K ¯ c , and K(φ,b,d)={xK:bφ(x),xd}. Suppose that T: K ¯ c K ¯ c is completely continuous and there exist positive constants 0<a<b<dc such that

( C 1 ) {xK(φ,b,d):φ(x)>b}ϕ and φ(Tx)>b for xK(φ,b,d),

( C 2 ) Tx<a for x K ¯ a ,

( C 3 ) φ(Tx)>b for xK(φ,b,c) with Tx>d.

Then T has at least three fixed points x 1 , x 2 and x 3 with

x 1 <a,b<φ( x 2 ),a< x 3 with φ( x 3 )<b.

Remark 2.3 If there holds d=c, then condition ( C 1 ) of Lemma 2.6 implies condition ( C 3 ) of Lemma 2.6.

3 Main results

Let

where ω denotes 0 or ∞. Let

(3.1)
(3.2)

and let the nonnegative continuous concave functional φ on the cone K be defined by

φ(x)= min ξ t η | x ( t ) | .

In this section, we apply Lemmas 2.5 and 2.6 to establish the existence of positive solutions for IBVP (1.1). Since operators T and S have the same fixed points (see Lemma 2.4), to prove the following theorems we always use the operator S instead of T.

Theorem 3.1 Assume that ( H 1 )-( H 3 ) hold. In addition, suppose f 0 + j = 1 m I j 0 =0 and max{ f , I 1 ,, I m }= are satisfied, then IBVP (1.1) has at least one positive solution x (t).

Proof From f 0 + j = 1 m I j 0 =0, there exists r 1 >0 such that f(t,u)< ε 1 u, I j (u)< ε 1 u (j=1,2,,m) for all tJ and 0u r 1 , where ε 1 >0 satisfies

ε 1 <min { 1 2 [ L 1 + σ ( L 2 + L 3 ) ] , 1 2 σ ( i = 1 j ρ 1 p ( t i ) ϕ ( t i ) + i = j + 1 m ρ 1 p ( t i ) ψ ( t i ) ) } .
(3.3)

If x K ¯ r 1 , then x P C r 1 . So we have 0x(t) r 1 , tJ and

(3.4)
(3.5)
(3.6)
(3.7)
(3.8)
(3.9)

So, by (3.4)-(3.9), for any x K r 1 , tJ, we have

| S x ( t ) | = k 1 ( k 3 ϕ ( t ) + k 4 ψ ( t ) ) ( α [ F x ] + α [ Q x ] ) + k 1 ( k 1 ϕ ( t ) + k 2 ψ ( t ) ) ( β [ F x ] + β [ Q x ] ) + F x ( t ) + Q x ( t ) k 1 ( k 3 + k 4 ) ( α [ F x ] + α [ Q x ] ) + k 1 ( k 1 + k 2 ) ( β [ F x ] + β [ Q x ] ) + max t J | F x ( t ) | + max t J | Q x ( t ) | k 1 ( k 3 + k 4 ) α [ F x ] + k 1 ( k 1 + k 2 ) β [ F x ] + max t J | F x ( t ) | + k 1 ( k 3 + k 4 ) ( ( 1 k 1 ) i = 1 j ρ 1 p ( t i ) ϕ ( t i ) I i ( x ( t i ) ) + k 2 i = j + 1 m ρ 1 p ( t i ) ψ ( t i ) I i ( x ( t i ) ) ) + k 1 ( k 1 + k 2 ) ( k 3 i = 1 j ρ 1 p ( t i ) ϕ ( t i ) I i ( x ( t i ) ) + ( 1 k 4 ) i = j + 1 m ρ 1 p ( t i ) ψ ( t i ) I i ( x ( t i ) ) ) + i = 1 j ρ 1 p ( t i ) ϕ ( t i ) I i ( x ( t i ) ) + i = j + 1 m ρ 1 p ( t i ) ψ ( t i ) I i ( x ( t i ) ) k 1 ( k 3 + k 4 ) L 2 ε 1 r 1 + k 1 ( k 1 + k 2 ) L 3 ε 1 r 1 + L 1 ε 1 r 1 + k 1 ( k 3 + k 4 ) i = 1 j ρ 1 p ( t i ) ϕ ( t i ) I i ( x ( t i ) ) + k 1 ( k 1 + k 2 ) i = j + 1 m ρ 1 p ( t i ) ψ ( t i ) I i ( x ( t i ) ) ε 1 [ L 1 + σ ( L 2 + L 3 ) ] r 1 + ε 1 r 1 σ [ i = 1 j ρ 1 p ( t i ) ϕ ( t i ) + i = j + 1 m ρ 1 p ( t i ) ψ ( t i ) ] < r 1 = x P C ,
(3.10)

which means that

S x P C x P C ,x K r 1 .
(3.11)

Next, consider max{ f , I 1 ,, I m }=. Without loss of generality, we assume that max{ f , I 1 ,, I m }= f , which means that there exists r ¯ 2 >0 such that f(t,u)> ε 2 u for all t[ξ,η] and u r ¯ 2 , where ε 2 satisfies

ε 2 >max { 1 γ [ L 1 + τ ( L 2 + L 3 ) ] , 1 γ τ ( i = 1 j ρ 1 p ( t i ) ϕ ( t i ) + i = j + 1 m ρ 1 p ( t i ) ψ ( t i ) ) } .
(3.12)

Let r 2 max{2 r 1 , r ¯ 2 γ }, then for any x K r 2 , t[ξ,η], we have

| S x ( t ) | min ξ t η ( k 1 ( k 3 ϕ ( t ) + k 4 ψ ( t ) ) ( α [ F x ] + α [ Q x ] ) + k 1 ( k 1 ϕ ( t ) + k 2 ψ ( t ) ) ( β [ F x ] + β [ Q x ] ) + F x ( t ) + Q x ( t ) ) γ k 1 ( k 3 + k 4 ) α [ F x ] + γ k 1 ( k 1 + k 2 ) β [ F x ] + γ 0 1 G ( s , s ) p ( s ) h ( s ) f ( s , x ( s ) ) d s γ [ k 1 ( k 3 + k 4 ) L 2 ε 2 r 2 + k 1 ( k 1 + k 2 ) L 3 ε 2 r 2 + L 1 ε 2 r 2 ] γ ε 2 [ L 1 + τ ( L 2 + L 3 ) ] r 2 > r 2 = x P C .

Consequently, we have

S x P C x P C ,x K r 2 .
(3.13)

Applying (i) of Lemma 2.5 to (3.11) and (3.13) yields that S has a fixed point x : r 1 x P C r 2 . Thus it follows that IBVP (1.1) has a positive solution x . □

Theorem 3.2 Assume that ( H 1 )-( H 3 ) hold. In addition, suppose f + j = 1 m I j =0 and max{ f 0 , I 10 ,, I m 0 }= are satisfied, then IBVP (1.1) has at least one positive solution x (t).

Proof Consider max{ f 0 , I 10 ,, I m 0 }=. Without loss of generality, we assume that max{ f 0 , I 10 ,, I m 0 }= f 0 , which means that there exists R 1 >0 such that f(t,u)> ε 2 u for all t[ξ,η] and 0u R 1 , where ε 2 satisfies (3.12). Then for any x K R 1 , t[ξ,η], we have

| S x ( t ) | min ξ t η ( k 1 ( k 3 ϕ ( t ) + k 4 ψ ( t ) ) ( α [ F x ] + α [ Q x ] ) + k 1 ( k 1 ϕ ( t ) + k 2 ψ ( t ) ) ( β [ F x ] + β [ Q x ] ) + F x ( t ) + Q x ( t ) ) γ k 1 ( k 3 + k 4 ) α [ F x ] + γ k 1 ( k 1 + k 2 ) β [ F x ] + γ 0 1 G ( s , s ) p ( s ) h ( s ) f ( s , x ( s ) ) d s γ [ k 1 ( k 3 + k 4 ) L 2 ε 2 R 1 + k 1 ( k 1 + k 2 ) L 3 ε 2 R 1 + L 1 ε 2 R 1 ] γ ε 2 [ L 1 + τ ( L 2 + L 3 ) ] r 2 > R 1 = x P C ,

which yields that

S x P C x P C ,x K R 1 .
(3.14)

On the other hand, it follows from f + j = 1 m I j =0 that there exists R 2 : R 2 > R 1 such that f(t,u)< ε 1 u, I j (u)< ε 1 u (j=1,2,,m) for all tJ and u R 2 , where ε 1 >0 satisfies (3.3). Similar to (3.10), for any x K R 2 , tJ, we have

| S x ( t ) | = k 1 ( k 3 ϕ ( t ) + k 4 ψ ( t ) ) ( α [ F x ] + α [ Q x ] ) + k 1 ( k 1 ϕ ( t ) + k 2 ψ ( t ) ) ( β [ F x ] + β [ Q x ] ) + F x ( t ) + Q x ( t ) k 1 ( k 3 + k 4 ) ( α [ F x ] + α [ Q x ] ) + k 1 ( k 1 + k 2 ) ( β [ F x ] + β [ Q x ] ) + max t J | F x ( t ) | + max t J | Q x ( t ) | k 1 ( k 3 + k 4 ) α [ F x ] + k 1 ( k 1 + k 2 ) β [ F x ] + max t J | F x ( t ) | + k 1 ( k 3 + k 4 ) i = 1 j ρ 1 p ( t i ) ϕ ( t i ) I i ( x ( t i ) ) + k 1 ( k 1 + k 2 ) i = j + 1 m ρ 1 p ( t i ) ψ ( t i ) I i ( x ( t i ) ) ε 1 [ L 1 + σ ( L 2 + L 3 ) ] R 2 + ε 1 R 2 σ [ i = 1 j ρ 1 p ( t i ) ϕ ( t i ) + i = j + 1 m ρ 1 p ( t i ) ψ ( t i ) ] < R 2 = x P C ,

which means that

S x P C x P C ,x K R 2 .
(3.15)

Applying (ii) of Lemma 2.5 to (3.14) and (3.15) yields that S has a fixed point x : R 1 x P C R 2 . Thus it follows that IBVP (1.1) has a positive solution x . □

Theorem 3.3 Assume that ( H 1 )-( H 3 ) hold. In addition, we suppose that there exist positive constants Γ, Λ and a<b<c such that

where γ, L i (i=1,2,3) and σ, τ are defined by (2.4), (3.1) and (3.2), respectively, M0, N0, and

( S 1 ) f(t,u) c Γ , for (t,u)J×[0,c], and

i = 1 j ρ 1 p( t i )ϕ( t i ) I i ( u i )+ i = j + 1 m ρ 1 p( t i )ψ( t i ) I i ( u i ) M Γ c,

for u i [0,c], i=0,1,,m.

( S 2 ) f(t,u)< a Γ , for (t,u)J×[0,a], and

i = 1 j ρ 1 p( t i )ϕ( t i ) I i ( u i )+ i = j + 1 m ρ 1 p( t i )ψ( t i ) I i ( u i ) M Γ a,

for u i [0,a], i=0,1,,m.

( S 3 ) f(t,u) b Λ , for (t,u)[ξ,η]×[b,c], and

i = 1 j ρ 1 p( t i )ϕ( t i ) I i ( u i )+ i = j + 1 m ρ 1 p( t i )ψ( t i ) I i ( u i ) N Λ b,

for b u i c, i=0,1,,m.

Then IBVP (1.1) has at least three positive solutions x 1 , x 2 and x 3 with

x 1 P C <a,b< min ξ t η | x 2 ( t ) | < x 2 P C c

and

a< x 3 P C , min ξ t η | x 3 ( t ) | <b.

Proof We shall show that all the conditions of Lemma 2.6 are satisfied.

First, if x K ¯ c , then x P C c and (3.4), (3.6), (3.7) are valid if r 1 is replaced by c Γ . From this and (3.5), (3.8) and (3.9), for any x K ¯ c , we have

| S x ( t ) | = k 1 ( k 3 ϕ ( t ) + k 4 ψ ( t ) ) ( α [ F x ] + α [ Q x ] ) + k 1 ( k 1 ϕ ( t ) + k 2 ψ ( t ) ) ( β [ F x ] + β [ Q x ] ) + F x ( t ) + Q x ( t ) k 1 ( k 3 + k 4 ) ( α [ F x ] + α [ Q x ] ) + k 1 ( k 1 + k 2 ) ( β [ F x ] + β [ Q x ] ) + max t J | F x ( t ) | + max t J | Q x ( t ) | k 1 ( k 3 + k 4 ) α [ F x ] + k 1 ( k 1 + k 2 ) β [ F x ] + max t J | F x ( t ) | + k 1 ( k 3 + k 4 ) ( ( 1 k 1 ) i = 1 j ρ 1 p ( t i ) ϕ ( t i ) I i ( x ( t i ) ) + k 2 i = j + 1 m ρ 1 p ( t i ) ψ ( t i ) I i ( x ( t i ) ) ) + k 1 ( k 1 + k 2 ) ( k 3 i = 1 j ρ 1 p ( t i ) ϕ ( t i ) I i ( x ( t i ) ) + ( 1 k 4 ) i = j + 1 m ρ 1 p ( t i ) ψ ( t i ) I i ( x ( t i ) ) ) + i = 1 j ρ 1 p ( t i ) ϕ ( t i ) I i ( x ( t i ) ) + i = j + 1 m ρ 1 p ( t i ) ψ ( t i ) I i ( x ( t i ) ) k 1 ( k 3 + k 4 ) L 2 Γ c + k 1 ( k 1 + k 2 ) L 3 Γ c + L 1 Γ c + k 1 ( k 3 + k 4 ) i = 1 j ρ 1 p ( t i ) ϕ ( t i ) I i ( x ( t i ) ) + k 1 ( k 1 + k 2 ) i = j + 1 m ρ 1 p ( t i ) ψ ( t i ) I i ( x ( t i ) ) 1 Γ [ L 1 + σ ( L 2 + L 3 + M ) ] c < c ,

which means that S x P C c,x K ¯ c . Therefore, S: K ¯ c K ¯ c . By Lemma 2.3, we know that S: K ¯ c K ¯ c is completely continuous.

Next, it follows from condition ( S 2 ) that if x K ¯ a then

S x P C k 1 ( k 3 + k 4 ) ( α [ F x ] + α [ Q x ] ) + k 1 ( k 1 + k 2 ) ( β [ F x ] + β [ Q x ] ) + max t J | F x ( t ) | + max t J | Q x ( t ) | σ L 2 Γ a + σ L 3 Γ a + L 1 Γ a + σ i = 1 j ρ 1 p ( t i ) ϕ ( t i ) I i ( x ( t i ) ) + σ i = j + 1 m ρ 1 p ( t i ) ψ ( t i ) I i ( x ( t i ) ) 1 Γ [ L 1 + σ ( L 2 + L 3 + M ) ] a < a .

So the condition ( C 2 ) of Lemma 2.6 holds.

Now, we take x(t)= b + c 2 , tJ, then it is easy to see that x(t)= b + c 2 K(φ,b,c), and hence

φ(x)= min ξ t η | x ( t ) | = b + c 2 >b.

Moreover, α[x]0, β[x]0. This proves that {xK(φ,b,c):φ(x)>b}ϕ.

On the other hand, if xK(φ,b,c), then bx(t)c, t[ξ,η]. By condition ( S 3 ), we have

φ ( S x ) = min ξ t η | S x ( t ) | = min ξ t η ( k 1 ( k 3 ϕ ( t ) + k 4 ψ ( t ) ) ( α [ F x ] + α [ Q x ] ) + k 1 ( k 1 ϕ ( t ) + k 2 ψ ( t ) ) ( β [ F x ] + β [ Q x ] ) + F x ( t ) + Q x ( t ) ) γ k 1 ( k 3 + k 4 ) ( α [ F x ] + α [ Q x ] ) + γ k 1 ( k 1 + k 2 ) ( β [ F x ] + β [ Q x ] ) + γ 0 1 G ( s , s ) p ( s ) h ( s ) f ( s , x ( s ) ) d s + γ i = 1 j ρ 1 p ( t i ) ϕ ( t i ) I i ( x ( t i ) ) + γ i = j + 1 m ρ 1 p ( t i ) ψ ( t i ) I i ( x ( t i ) ) γ { k 1 ( k 3 + k 4 ) L 2 b Λ + k 1 ( k 1 + k 2 ) L 3 b Λ + L 1 b Λ + k 1 ( k 3 + k 4 ) × ( ( 1 k 1 ) i = 1 j ρ 1 p ( t i ) ϕ ( t i ) I i ( x ( t i ) ) + k 2 i = j + 1 m ρ 1 p ( t i ) ψ ( t i ) I i ( x ( t i ) ) ) + i = 1 j ρ 1 p ( t i ) ϕ ( t i ) I i ( x ( t i ) ) + i = j + 1 m ρ 1 p ( t i ) ψ ( t i ) I i ( x ( t i ) ) + k 1 ( k 1 + k 2 ) × ( k 3 i = 1 j ρ 1 p ( t i ) ϕ ( t i ) I i ( x ( t i ) ) + ( 1 k 4 ) i = j + 1 m ρ 1 p ( t i ) ψ ( t i ) I i ( x ( t i ) ) ) } = γ { k 1 ( k 3 + k 4 ) L 2 b Λ + k 1 ( k 1 + k 2 ) L 3 b Λ + L 1 b Λ + k 1 ( k 3 + k 4 ) × i = 1 j ρ 1 p ( t i ) ϕ ( t i ) I i ( x ( t i ) ) + k 1 ( k 1 + k 2 ) i = j + 1 m ρ 1 p ( t i ) ψ ( t i ) I i ( x ( t i ) ) } 1 Λ γ ( L 1 + τ ( L 2 + L 3 + N ) ) b > b ,

which implies that φ(Sx)>b, for xK(φ,b,c). This shows that condition ( C 1 ) of Lemma 2.6 is also satisfied.

By Lemma 2.6 and Remark 2.3, IBVP (1.1) has at least three positive solutions x 1 , x 2 and x 3 such that

x 1 P C <a,b< min ξ t η | x 2 ( t ) | < x 2 P C c

and

a< x 3 P C , min ξ t η | x 3 ( t ) | <b.

The proof of Theorem 3.3 is completed. □

4 Examples

Example 4.1 Consider the following singular IBVP

{ x ( t ) x ( t ) + t ( 1 t ) ( e 1 + t e 1 t ) ( e 2 t e t ) ( t 2 + 1 | ln x | ) = 0 , t ( 0 , 1 ) { t 1 } , x | t = t 1 = x ( t 1 ) 3 , t 1 = 1 2 , x ( 0 ) = α [ x ] , x ( 1 ) = β [ x ] .
(4.1)

We conclude that IBVP (4.1) has at least one positive solution.

Proof IBVP (4.1) can be regarded as a IBVP of the form (1.1), where a(t)0, b(t)1, h(t)= t ( 1 t ) ( e 1 + t e 1 t ) ( e 2 t e t ) , f(t,u)= t 2 + 1 |lnu|, I 1 (u)= u 3 . It is not difficult to see that h(t) is singular at t=0 and t=1, 0< 0 1 h(t)dt<+, h(t)0 for t(0,1), f(t,u)0, I 1 (u)0 for tJ, u R + . Choosing ξ= 1 4 , η= 3 4 , then

Let ϕ and ψ satisfy

Then

Case 1. Let α[x]= e 2 1 2 ( e 7 4 e 1 4 ) x( 1 4 ), β[x]= e 2 1 2 ( e 7 4 e 1 4 ) x( 3 4 ). By direct calculation, we have

So all the conditions of Theorem 3.2 are satisfied. By Theorem 3.2, IBVP (4.1) has at least one positive solution.

Case 2. Let α[x]= 0 1 x(t)(4 π 2 +1)cos2πtdt, that is dA(t)=(4 π 2 +1)cos2πtdt, so the measure dA changes sign on [0,1]. For convenience, we still take β[x]= e 2 1 2 ( e 7 4 e 1 4 ) x( 3 4 ). By direct calculation, we have

So all conditions of Theorem 3.2 are satisfied. By Theorem 3.2, IBVP (4.1) has at least one positive solution. □

Example 4.2 Consider the following singular IBVP

{ x ( t ) + t 1 + t x ( t ) 1 1 + t x ( t ) + h ( t ) f ( t , x ( t ) ) = 0 , t ( 0 , 1 ) { t 1 } , x | t = t 1 = I 1 , t 1 = 1 2 , x ( 0 ) = x ( 1 2 ) , x ( 1 ) = 1 4 x ( 1 2 ) ,
(4.2)

where

h(t)={ 1 + t ( 2 e 1 2 e 1 ) t t e t , 0 t 1 2 , 1 + t ( 1 t e t 1 ) 1 t , 1 2 t 1

and

f(t,u)={ 1 50 ( t + 1 ) ( 10 u ) , 0 t 1 , 0 u 10 , 1 5 ( t + 1 ) ( u 10 ) 2 , 0 t 1 , 10 u 20 , 1 196 ( t + 1 ) ( u + 3900 ) , 0 t 1 , u 20 .

We conclude that IBVP (4.2) has at least three positive solutions.

Proof IBVP (4.2) can be regarded as a IBVP of the form (1.1), where a(t)= t 1 + t , b(t)= 1 1 + t . It is not difficult to see that h(t) is singular at t=0 and t=1, 0< 0 1 h(t)dt<+, h(t)0 for t(0,1), f(t,u)0 for tJ, u R + .

Let ϕ and ψ satisfy

Then

By direct calculation, we have

Therefore the conditions ( H 1 )-( H 3 ) hold. In addition, σ= 12 e + 4 8 e 7 e + 4 8 e , τ= 7 e 1 + 2 e 7 e + 4 8 e ,

Let ξ= 1 8 , η= 3 4 , M=5, N=0. Then γ= 1 8 , Γ>18.002, 0<Λ<0.715. Take Γ=20, Λ= 1 2 , a=10, b=20, c=1000. Then 0< I 1 4.545. Consequently, all the assumptions of Theorem 3.3 are satisfied, and thus, by Theorem 3.3, we infer that the singular IBVP (4.2) has at least three positive solutions x 1 , x 2 and x 3 satisfying

 □

References

  1. Bainov DD, Simeonov PS: Systems with Impulse Effect. Ellis Horwood, Chichester; 1989.

    MATH  Google Scholar 

  2. Lakshmikantham V, Bainov DD, Simeonov PS: Theory of Impulsive Differential Equations. World Scientific, Singapore; 1989.

    Book  MATH  Google Scholar 

  3. Agarwal RP, O’Regan D: Multiple nonnegative solutions for second order impulsive differential equations. Appl. Math. Comput. 2000, 114: 51–59. 10.1016/S0096-3003(99)00074-0

    Article  MathSciNet  MATH  Google Scholar 

  4. Agarwal RP, O’Regan D: A multiplicity result for second order impulsive differential equations via the Leggett Williams fixed point theorem. Appl. Math. Comput. 2005, 161: 433–439. 10.1016/j.amc.2003.12.096

    Article  MathSciNet  MATH  Google Scholar 

  5. Hao X, Liu L, Wu Y: Positive solutions for second order impulsive differential equations with integral boundary conditions. Commun. Nonlinear Sci. Numer. Simul. 2011, 16: 101–111. 10.1016/j.cnsns.2010.04.007

    Article  MathSciNet  MATH  Google Scholar 

  6. Jankowski T: Positive solutions to second order four-point boundary value problems for impulsive differential equations. Appl. Math. Comput. 2008, 202: 550–561. 10.1016/j.amc.2008.02.040

    Article  MathSciNet  MATH  Google Scholar 

  7. Jankowski T: Positive solutions for second order impulsive differential equations involving Stieltjes integral conditions. Nonlinear Anal. 2011, 74: 3775–3785. 10.1016/j.na.2011.03.022

    Article  MathSciNet  MATH  Google Scholar 

  8. Lee EK, Lee YH: Multiple positive solutions of singular two point boundary value problems for second order impulsive differential equations. Appl. Math. Comput. 2004, 158: 745–759. 10.1016/j.amc.2003.10.013

    Article  MathSciNet  MATH  Google Scholar 

  9. Lin X, Jiang D: Multiple positive solutions of Dirichlet boundary value problems for second order impulsive differential equations. J. Math. Anal. Appl. 2006, 321: 501–514. 10.1016/j.jmaa.2005.07.076

    Article  MathSciNet  MATH  Google Scholar 

  10. Feng M, Xie D: Multiple positive solutions of multi-point boundary value problem for second-order impulsive differential equations. J. Comput. Appl. Math. 2009, 223: 438–448. 10.1016/j.cam.2008.01.024

    Article  MathSciNet  MATH  Google Scholar 

  11. Li J, Shen J: Multiple positive solutions for a second-order three-point boundary value problem. Appl. Math. Comput. 2006, 182: 258–268. 10.1016/j.amc.2006.01.095

    Article  MathSciNet  MATH  Google Scholar 

  12. Liu B, Liu L, Wu Y: Positive solutions for a singular second-order three-point boundary value problem. Appl. Math. Comput. 2008, 196: 532–541. 10.1016/j.amc.2007.06.013

    Article  MathSciNet  MATH  Google Scholar 

  13. Ma R, Ren L: Positive solutions for nonlinear m -point boundary value problems of Dirichlet type via fixed-point index theory. Appl. Math. Lett. 2003, 16: 863–869. 10.1016/S0893-9659(03)90009-7

    Article  MathSciNet  MATH  Google Scholar 

  14. Ma R, Wang H: Positive solutions of nonlinear three-point boundary-value problems. J. Math. Anal. Appl. 2003, 279: 216–227. 10.1016/S0022-247X(02)00661-3

    Article  MathSciNet  MATH  Google Scholar 

  15. Sun J, Li W, Zhao Y: Three positive solutions of a nonlinear three-point boundary value problem. J. Math. Anal. Appl. 2003, 288: 708–716. 10.1016/j.jmaa.2003.09.019

    Article  MathSciNet  MATH  Google Scholar 

  16. Hu L, Liu L, Wu Y: Positive solutions of nonlinear singular two-point boundary value problems for second-order impulsive differential equations. Appl. Math. Comput. 2008, 196: 550–562. 10.1016/j.amc.2007.06.014

    Article  MathSciNet  MATH  Google Scholar 

  17. Guo D, Lakshmikantham V: Nonlinear Problems in Abstract Cone. Academic Press, New York; 1988.

    MATH  Google Scholar 

  18. Guo D, Sun J, Liu Z: Functional Method for Nonlinear Ordinary Differential Equation. Shandong Science and Technology Press, Jinan; 1995. (in Chinese)

    Google Scholar 

  19. Leggett RW, Williams LR: Multiple positive fixed points of nonlinear operators on ordered Banach space. Indiana Univ. Math. J. 1979, 28: 673–688. 10.1512/iumj.1979.28.28046

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

The authors thank the referee for helpful comments and suggestions, which lead to an improvement of the paper. The first and second authors were supported financially by the National Natural Science Foundation of China (11071141, 11126231) and the Natural Science Foundation of Shandong Province of China (ZR2010AM017, ZR2011AQ008). The third author was supported financially by the Australia Research Council through an ARC Discovery Project Grant.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Lishan Liu.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

The study was carried out in collaboration between all authors. JJ completed the main part of this paper and gave two examples; LL and YW corrected the main theorems and polished the manuscript. All authors read and approved the final manuscript.

Rights and permissions

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

Reprints and permissions

About this article

Cite this article

Jiang, J., Liu, L. & Wu, Y. Positive solutions for second order impulsive differential equations with Stieltjes integral boundary conditions. Adv Differ Equ 2012, 124 (2012). https://doi.org/10.1186/1687-1847-2012-124

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-1847-2012-124

Keywords