Skip to main content

Theory and Modern Applications

Existence of multiple positive solutions for p-Laplacian multipoint boundary value problems on time scales

Abstract

In this paper, we consider p-Laplacian multipoint boundary value problems on time scales. By using a generalization of the Leggett-Williams fixed point theorem due to Bai and Ge, we prove that a boundary value problem has at least three positive solutions. Moreover, we study existence of positive solutions of a multipoint boundary value problem for an increasing homeomorphism and homomorphism on time scales. By using fixed point index theory, sufficient conditions for the existence of at least two positive solutions are provided. Examples are given to illustrate the results.

MSC:34B15, 34B16, 34B18, 39A10.

1 Introduction

The theory of dynamic equation on time scales (or measure chains) was initiated by Stefan Hilger in his PhD thesis in 1988 [1] (supervised by Bernd Aulbach) as a means of unifying structure for the study of differential equations in the continuous case and study of finite difference equations in the discrete case. In recent years, it has gained a considerable amount of interest and attracted the attention of many researchers, see, for example, [213]. It is still a new area, and the research in this area is rapidly growing. The study of time scales has led to several important applications, e.g., in the study of insect population models, heat transfer, neural networks, phytoremediation of metals, wound healing, and epidemic models.

p-Laplacian equations for boundary value problems (BVPs) with nonlinearity depending on the first order derivative have been studied extensively, see [1420] and references therein. However, there are few papers concerning p-Laplacian equations with nonlinearity depending on the first order derivative for BVPs on time scales, see [5, 7].

In this paper, we study the following three boundary value problems on time scales.

  1. (1)

    We are interested in the existence of at least three positive solutions to the following p-Laplacian multipoint BVP on time scales

    ( ϕ p ( u Δ ( t ) ) ) Δ +q(t)f ( t , u ( t ) , u Δ ( t ) ) =0,t ( 0 , T ) T ,
    (1.1)
u(0)= i = 1 n 2 α i u( ξ i ), ϕ p ( u Δ ( T ) ) = i = 1 n 2 β i ϕ p ( u Δ ( ξ i ) ) ,
(1.2)

where ϕ p (u) is a p-Laplacian operator, i.e., ϕ p (u)=|u | p 2 u, for p>1, with ( ϕ p ) 1 = ϕ q and 1 p + 1 q =1. The usual notation and terminology for time scales as can be found in [21, 22], will be used here. The interesting point is that the nonlinear term f is involved with the first order derivative explicitly and the main tool is a fixed point theorem due to Bai and Ge. The results are even new for the special cases of difference equations and differential equations, as well as in the general time scale setting.

The present work is motivated by the recent papers [5, 15]. In [15], Yang and Xiao studied the existence of multiple positive solutions for ϕ-Laplacian multipoint BVPs

( ϕ ( x ( t ) ) ) + q ( t ) f ( t , x ( t ) , x ( t ) ) = 0 , t ( 0 , 1 ) , x ( 0 ) = i = 1 n 2 α i x ( ξ i ) , ϕ ( x ( 1 ) ) = i = 1 n 2 β i ϕ ( x ( ξ i ) ) ,

where ϕ() is an odd and increasing homeomorphism, ξ i (0,1) with 0< ξ 1 < ξ 2 << ξ n 2 <1, α i and β i are nonnegative constants and f(t,x(t), x (t)) is continuous and allowed to change sign.

  1. (2)

    We consider the existence of at least three positive solutions to the following p-Laplacian multipoint boundary value problem (BVP) on time scales

    ( ϕ p ( u Δ ( t ) ) ) +a(t)f ( t , u ( t ) , u Δ ( t ) ) =0,t ( 0 , T ) T ,
    (1.3)
ϕ p ( u Δ ( 0 ) ) = i = 1 m 2 a i ϕ p ( u Δ ( ξ i ) ) ,u(T)= i = 1 m 2 b i u( ξ i ),
(1.4)

where ϕ p (u) is p-Laplacian operator, i.e., ϕ p (u)=|u | p 2 u, for p>1, with ( ϕ p ) 1 = ϕ q and 1/p+1/q=1.

Recently, much attention has been focused on the study of multipoint positive solutions of BVPs on time scales. When the nonlinear term f does not depend on the first order derivative, many researchers study multipoint boundary conditions on time scales, see [11, 12, 2326]. However, little work has been done on the existence of positive solutions for multipoint BVP on time scales when the nonlinear term is involved in the first order derivative explicitly, see [5].

In recent papers, the authors in [6, 24] have investigated the existence of positive solutions of the following BVP on time scales:

( ϕ ( u Δ ( t ) ) ) + a ( t ) f ( t , u ( t ) ) = 0 , t [ 0 , T ] , ϕ ( u Δ ( 0 ) ) = i = 1 m 2 a i ϕ ( u Δ ( ξ i ) ) , u ( T ) = i = 1 m 2 b i u ( ξ i ) ,

where ϕ:RR is an increasing homeomorphism and a homomorphism and ϕ(0)=0 and

( ϕ ( u Δ ( t ) ) ) + a ( t ) f ( t , u ( t ) ) = 0 , t ( 0 , T ) , u ( 0 ) = i = 1 m 2 a i u ( ξ i ) , ϕ ( u Δ ( T ) ) = i = 1 m 2 b i ϕ ( u Δ ( ξ i ) ) ,

where ϕ:RR is an increasing homeomorphism and a positive homomorphism and ϕ(0)=0.

All the above-mentioned works about positive solutions were done under the assumption that f is allowed to depend just on u, while the first order derivative u Δ is not involved explicitly in the nonlinear term f.

Motivated by all the works above, our main results will depend on an application of a generalization of the Leggett-Williams fixed point theorem due to Bai and Ge. Here, the emphasis is that the nonlinear term is involved explicitly with the first order derivative. We shall prove that the BVP (1.3) and (1.4) has at least three positive solutions.

  1. (3)

    We will be concerned with proving the existence of positive solutions to the boundary value problem on time scale given by

    ( ϕ ( u Δ ( t ) ) ) +q(t)f ( t , u ( t ) ) =0,t ( 0 , T ) T ,
    (1.5)
ϕ ( u Δ ( 0 ) ) =0,u(T)= i = 1 m 2 a i u( ξ i ),
(1.6)

where ϕ:RR is an increasing homeomorphism and a homomorphism and ϕ(0)=0.

A projection ϕ:RR is called an increasing homeomorphism and a homomorphism if the following conditions are satisfied:

  1. (i)

    if xy, then ϕ(x)ϕ(y), x,yR;

  2. (ii)

    ϕ is a continuous bijection and its inverse mapping is also continuous;

  3. (iii)

    ϕ(xy)=ϕ(x)ϕ(y), x,yR.

In recent years, much attention has been paid to the existence of positive solutions for nonlinear boundary value problems on time scales, see [1113, 2629] and the reference therein. On the other hand, multipoint nonlinear boundary value problems with p-Laplacian operators on time scales have also been studied extensively in the literature [26, 3033]. However, to the best of our knowledge, there are few works on the increasing homeomorphism and homomorphism on time scales [34].

Su et al. [26] considered the following m-point singular p-Laplacian boundary value problem on time scales of the form

[ φ p ( u Δ ( t ) ) ] + q ( t ) f ( t , u ( t ) ) = 0 , t ( 0 , T ) T , u ( 0 ) = i = 1 m 2 α i u ( ξ i ) , u Δ ( T ) i = 1 m 2 ψ i ( u ( ξ i ) ) = 0 ,

where φ p (u)= | u | p 2 u, for p>1. ψ i :RR is continuous and nondecreasing 0< ξ 1 < ξ 2 << ξ m 2 <ρ(T). By using the well-known Schauder fixed point theorem and upper and lower solution method, they obtained some new existence criteria for positive solutions of the boundary value problem.

In [34], Liang and Zhang studied the existence of positive solutions of boundary value problems on time scales:

[ φ ( u Δ ( t ) ) ] + a ( t ) f ( u ( t ) ) = 0 , t [ 0 , T ] T , u ( 0 ) = i = 1 m 2 α i u ( ξ i ) , u Δ ( T ) = 0 ,

where φ:RR is an increasing homeomorphism and a positive homomorphism and φ(0)=0. They obtained the countably many positive solutions by using a fixed point index theory and fixed point theorem.

This work is motivated by recent papers [26, 34]. Existence of at least two positive solutions to BVP (1.5) and (1.6) are established by means of fixed point index theory. We also point out that when T=R, p=2, (1.5) and (1.6) becomes a boundary value problem of differential equations and is just the problem considered in [35]. Our main results improve and extend the main results of [35, 36].

2 Preliminaries

In this section, we provide some background materials from the theory of cones in Banach spaces. The following definitions can be found in the book by Deimling [37], as well as in the book by Guo and Lakshmikantham [38].

Definition 2.1 Let E be a real Banach space. A nonempty, closed, convex set PE is a cone if it satisfies the following two conditions:

  1. (i)

    xP, λ0 imply that λxP;

  2. (ii)

    xP, xP imply that x=0.

Every cone PE induces an ordering in E given by xy if and only if yxP.

Definition 2.2 A map ψ is said to be a nonnegative continuous concave functional on a cone P of a real Banach space E if ψ:P[0,) is continuous and

ψ ( t x + ( 1 t ) y ) tψ(x)+(1t)ψ(y)

for all x,yP and t[0,1].

Similarly, we say the map α is a nonnegative continuous convex functional on a cone P of a real Banach space E if α:P[0,) is continuous and

α ( t x + ( 1 t ) y ) tα(x)+(1t)α(y)

for all x,yP and t[0,1].

Let ψ be a nonnegative continuous concave functional on P, and α and β be nonnegative continuous convex functionals on P.

For nonnegative real numbers r, a and l, we define the following convex sets

P = ( α , r ; β , l ) = { u P : α ( u ) < r , β ( u ) < l } , P ¯ = ( α , r ; β , l ) = { u P : α ( u ) r , β ( u ) l } , P = ( α , r ; β , l ; ψ , a ) = { u P : α ( u ) < r , β ( u ) < l , ψ ( u ) > a } , P ¯ = ( α , r ; β , l ; ψ , a ) = { u P : α ( u ) r , β ( u ) l , ψ ( u ) a } .

To prove our main results, we need the following fixed point theorem, which comes from Bai and Ge in [14].

Lemma 2.1 [14]

Let P be a cone in a real Banach space E. Assume that constants r 1 , b, d, r 2 , l 1 and l 2 satisfy 0< r 1 <b<d r 2 and 0< l 1 l 2 . If there exist two nonnegative continuous convex functionals α and β on P and a nonnegative continuous concave functional ψ on P such that

(A1) there exists M>0 such that uMmax{α(u),β(u)} for all uP;

(A2) P(α,r;β,l) for any r>0 and l>0;

(A3) ψ(u)α(u) for all u P ¯ (α, r 2 ;β, l 2 );

and if F: P ¯ (α, r 2 ;β, l 2 )(α, r 2 ;β, l 2 ) is completely continuous operator, which satisfies

(B1) {u P ¯ (α,d;β, l 2 ;ψ,b):ψ(u)>b}, ψ(Fu)>b for u P ¯ (α,d;β, l 2 ;ψ,b);

(B2) α(Fu)< r 1 , β(Fu)< l 1 for u P ¯ (α, r 1 ;β, l 1 );

(B3) ψ(Fu)>b for u P ¯ (α, r 2 ;β, l 2 ;ψ,b) with α(Fu)>d.

Then F has at least three different fixed points u 1 , u 2 and u 3 in P ¯ (α, r 2 ;β, l 2 ) with

u 1 P(α, r 1 ;β, l 1 ), u 2 { P ¯ ( α , r 2 ; β , l 2 ; ψ , b ) : ψ ( u ) > b } ;

and

u 3 P ¯ (α, r 2 ;β, l 2 ) ( P ¯ ( α , r 2 ; β , l 2 ; ψ , b ) P ¯ ( α , r 1 ; β , l 1 ) ) .

Let the Banach space

E = C ld 1 ( [ 0 , T ] T ) = { u [ 0 , T ] T R u  is  Δ -differentiable on  [ 0 , T ] T , and  u Δ  is ld-continuous on  [ 0 , T ] T }

be endowed with the norm

u=max { sup t [ 0 , T ] T | u ( t ) | , sup t [ 0 , T ] T | u Δ ( t ) | } .

Define

P= { u E u ( t ) 0 , u Δ ( t ) 0 ,  and  u ( t )  is concave on  [ 0 , T ] T } .

Clearly, P is a cone.

3 Existence of triple positive solutions to (1.1) and (1.2)

Throughout the section, we suppose that the following conditions are satisfied.

(H1) 0,TT, 0< ξ 1 < ξ 2 << ξ n 2 <ρ(T), ξ i T, α i , β i [0,) satisfy 0 i = 1 n 2 α i <1 and 0 i = 1 n 2 β i <1;

(H2) η=min{tT: T 2 t<T} exists;

(H3) q(t) C ld ( [ 0 , T ] T ,[0,)) with 0< η T q(t)Δt<;

(H4) f: ( 0 , T ) T ×[0,)×R[0,) is continuous;

(H5) q(t)f(t,0,0)0, f(t,0,0)0 on [ 0 , T ] T .

Lemma 3.1 If i = 1 n 2 α i 1 and i = 1 n 2 β i 1, then for h C ld [ 0 , T ] T ,

( ϕ p ( u Δ ( t ) ) ) Δ +h(t)=0,t ( 0 , T ) T ,
(3.1)
u(0)= i = 1 n 2 α i u( ξ i ), ϕ p ( u Δ ( T ) ) = i = 1 n 2 β i ϕ p ( u Δ ( ξ i ) )
(3.2)

has the unique solution

u(t)= 0 t ϕ q ( A + s T h ( τ ) Δ τ ) Δs+B,
(3.3)

where

A= i = 1 n 2 β i ξ i T h ( τ ) Δ τ 1 i = 1 n 2 β i ,B= i = 1 n 2 α i 1 i = 1 n 2 α i 0 ξ i ϕ q ( A + s T h ( τ ) Δ τ ) Δs.

Lemma 3.2 The solution of BVP (3.1) and (3.2) satisfies u0, for t [ 0 , T ] T .

Lemma 3.3 Suppose (H1) holds, if h C ld [0,T] and h0, then the unique solution u of (1.1) and (1.2) satisfies

inf t [ 0 , T ] T u(t)γu,

where

γ= i = 1 n 2 α i ξ i T i = 1 n 2 α i ( T ξ i ) .

Proof Let

φ(s)= ϕ q ( i = 1 n 2 β i ξ i T h ( τ ) Δ τ 1 i = 1 n 2 β i + s T h ( τ ) Δ τ ) .

Clearly u Δ (t)=φ(t)0. This implies that

min t [ 0 , T ] u(t)=u(0),u=u(T).

It is easy to see that u Δ ( t 2 ) u Δ ( t 1 ) for any t 1 , t 2 [0,T] with t 1 t 2 . Hence u Δ (t) is a decreasing function on [0,T]. This means that the graph of u(t) is concave down on (0,T). For each i{1,2,,n2}, we have

u ( T ) u ( 0 ) T 0 u ( T ) u ( ξ i ) T ξ i ,

i.e.,

Tu( ξ i ) ξ i u(T)(T ξ i )u(0),

so that

T i = 1 n 2 α i u( ξ i ) i = 1 n 2 α i ξ i u(T) i = 1 n 2 α i (T ξ i )u(0).

With the boundary condition u(0)= i = 1 n 2 α i u( ξ i ), we have

u(0) i = 1 n 2 α i ξ i T i = 1 n 2 α i ( T ξ i ) u(T).

This completes the proof. □

Define the operator F:PE by

( F u ) ( t ) = 0 t ϕ q ( i = 1 n 2 β i ξ i T q ( τ ) f ( τ , u , u Δ ) Δ τ 1 i = 1 n 2 β i + s T q ( τ ) f ( τ , u , u Δ ) Δ τ ) Δ s + i = 1 n 2 α i 1 i = 1 n 2 α i 0 ξ i ϕ q ( i = 1 n 2 β i ξ i T q ( τ ) f ( τ , u , u Δ ) Δ τ 1 i = 1 n 2 β i + s T q ( τ ) f ( τ , u , u Δ ) Δ τ ) Δ s

for t [ 0 , T ] T . By the definition of F, the monotonicity of ϕ q (u) and the assumptions (H1)-(H5), it is easy to see that for each uP, FuP and Fu(T) is the maximum value of Fu(t). Moreover, by direct calculation, we get that each fixed point of the operator F in P is a positive solution of the BVP (1.1) and (1.2). It is easy to see that F:PP is completely continuous.

For uP, we define

α ( u ) = max t [ 0 , T ] T | u ( t ) | = u ( T ) , β ( u ) = sup t [ 0 , T ] T | u Δ ( t ) | = u Δ ( 0 ) , ψ ( u ) = min t [ η , T ] T u ( t ) = u ( η ) .

It is easy to see that α,β:P[0,) are nonnegative continuous convex functionals with u=max{α(u),β(u)}; ψ:P[0,) is nonnegative concave functional. We have ψ(u)α(u) for uP and the assumptions (A1), (A2) and (A3) in Lemma 2.1 hold.

For notational convenience, we denote λ, L and Q by

λ = 0 η ϕ q ( i = 1 n 2 β i ξ i T q ( τ ) Δ τ 1 i = 1 n 2 β i + η T q ( τ ) Δ τ ) Δ s , L = 0 T ϕ q ( i = 1 n 2 β i ξ i T q ( τ ) Δ τ 1 i = 1 n 2 β i + s T q ( τ ) Δ τ ) Δ s + i = 1 n 2 α i 1 i = 1 n 2 α i 0 ξ i ϕ q ( i = 1 n 2 β i ξ i T q ( τ ) Δ τ 1 i = 1 n 2 β i + s T q ( τ ) Δ τ ) Δ s , Q = ϕ q ( i = 1 n 2 β i ξ i T q ( τ ) Δ τ 1 i = 1 n 2 β i + 0 T q ( τ ) Δ τ ) .

Theorem 3.1 Assume that (H1)-(H5) hold, and there exists 0< r 1 <b<2b r 2 , 0< l 1 l 2 such that b λ min{ r 2 /L, l 2 /Q}. If f satisfies the following conditions:

(D1) f(t,w,v)min{ ϕ p ( r 2 /L), ϕ p ( l 2 /Q)} for (t,w,v) [ 0 , T ] T ×[0, r 2 ]×[ l 2 , l 2 ];

(D2) f(t,w,v)> ϕ p (b/λ) for (t,w,v) [ η , T ] T ×[b,2b]×[ l 2 , l 2 ];

(D3) f(t,w,v)<min{ ϕ p ( r 1 /L), ϕ p ( l 1 /Q)} for (t,w,v) [ 0 , T ] T ×[0, r 1 ]×[ l 1 , l 1 ];

then the BVP (1.1) and (1.2) has at least three positive solutions u 1 , u 2 and u 3 , which satisfy

max t [ 0 , T ] T { u 1 ( t ) } < r 1 , sup t [ 0 , T ] T | u 1 Δ ( t ) | < l 1 ; b < min t [ η , T ] T { u 2 ( t ) } max t [ 0 , T ] T { u 2 ( t ) } r 2 , sup t [ 0 , T ] T | u 2 Δ ( t ) | l 2 ; min t [ η , T ] T { u 3 ( t ) } < b , r 1 < max t [ 0 , T ] T { u 3 ( t ) } < 2 b , l 1 < sup t [ 0 , T ] T | u 3 Δ ( t ) | l 2 .

Proof In order to show that Lemma 2.1 holds, it is sufficient to show that the conditions in Lemma 2.1 are satisfied with respect to operator F.

We first prove that if the assumption (D1) is satisfied, then F: P ¯ (α, r 2 ;β, l 2 ) P ¯ (α, r 2 ;β, l 2 ). If u P ¯ (α, r 2 ;β, l 2 ), then

α(u)= max t [ 0 , T ] T |u(t)| r 2 ,β(u)= sup t [ 0 , T ] T | u Δ (t)| l 2

and assumption (D1) implies that

f ( t , u ( t ) , u Δ ( t ) ) min { ϕ p ( r 2 / L ) , ϕ p ( l 2 / Q ) } ,t [ 0 , T ] T .

For uP, there is FuP, therefore,

α ( F u ) = max t [ 0 , T ] T | ( F u ) ( t ) | = 0 T ϕ q ( i = 1 n 2 β i ξ i T q ( τ ) f ( τ , u , u Δ ) Δ τ 1 i = 1 n 2 β i + s T q ( τ ) f ( τ , u , u Δ ) Δ τ ) Δ s + i = 1 n 2 α i 1 i = 1 n 2 α i 0 ξ i ϕ q ( i = 1 n 2 β i ξ i T q ( τ ) f ( τ , u , u Δ ) Δ τ 1 i = 1 n 2 β i + s T q ( τ ) f ( τ , u , u Δ ) Δ τ ) Δ s r 2 L [ 0 T ϕ q ( i = 1 n 2 β i ξ i T q ( τ ) Δ τ 1 i = 1 n 2 β i + s T q ( τ ) Δ τ ) Δ s + i = 1 n 2 α i 1 i = 1 n 2 α i 0 ξ i ϕ q ( i = 1 n 2 β i ξ i T q ( τ ) Δ τ 1 i = 1 n 2 β i + s T q ( τ ) Δ τ ) Δ s ] = r 2

and

β ( F u ) = sup t [ 0 , T ] T | ( F u ) Δ ( t ) | = ϕ q ( i = 1 n 2 β i ξ i T q ( τ ) f ( τ , u , u Δ ) Δ τ 1 i = 1 n 2 β i + 0 T q ( τ ) f ( τ , u , u Δ ) Δ τ ) l 2 Q ϕ q ( i = 1 n 2 β i ξ i T q ( τ ) Δ τ 1 i = 1 n 2 β i + 0 T q ( τ ) Δ τ ) = l 2 .

Therefore, F: P ¯ (α, r 2 ;β, l 2 ) P ¯ (α, r 2 ;β, l 2 ).

Similarly, if u P ¯ (α, r 1 ;β, l 1 ), then the assumption (D3) implies that

f ( t , u ( t ) , u Δ ( t ) ) <min { ϕ p ( r 1 / L ) , ϕ p ( l 1 / Q ) } for t [ 0 , T ] T .

We can get that F: P ¯ (α, r 1 ;β, l 1 )P(α, r 1 ;β, l 1 ).

So condition (B2) of Lemma 2.1 is satisfied.

To prove condition (B1) of Lemma 2.1 holds. We choose u(t)=2b for t [ 0 , T ] T . It is obvious that

u(t)=2b P ¯ (α,2b;β, l 2 ;ψ,b)andψ(u)=2b>b

and, consequently,

{ u P ¯ ( α , 2 b ; β , l 2 ; ψ , b ) : ψ ( u ) > b } .

So, for u P ¯ (α,2b;β, l 2 ;ψ,b), there are bu(t)2b and | u Δ (t)| l 2 for t [ η , T ] T .

Thus, from the assumption (D2), we have

f ( t , u ( t ) , u Δ ( t ) ) > ϕ p (b/λ)for t [ η , T ] T .

From the definition of the functional ψ, we see that

ψ ( F u ) = min t [ η , T ] T F u ( t ) = F u ( η ) = 0 η ϕ q ( i = 1 n 2 β i ξ i T q ( τ ) f ( τ , u , u Δ ) Δ τ 1 i = 1 n 2 β i + s T q ( τ ) f ( τ , u , u Δ ) Δ τ ) Δ s + i = 1 n 2 α i 1 i = 1 n 2 α i 0 ξ i ϕ q ( i = 1 n 2 β i ξ i T q ( τ ) f ( τ , u , u Δ ) Δ τ 1 i = 1 n 2 β i + s T q ( τ ) f ( τ , u , u Δ ) Δ τ ) Δ s 0 η ϕ q ( i = 1 n 2 β i ξ i T q ( τ ) f ( τ , u , u Δ ) Δ τ 1 i = 1 n 2 β i + η T q ( τ ) f ( τ , u , u Δ ) Δ τ ) Δ s > 0 η ϕ q ( i = 1 n 2 β i ξ i T q ( τ ) ϕ p ( b / λ ) Δ τ 1 i = 1 n 2 β i + η T q ( τ ) ϕ p ( b / λ ) Δ τ ) Δ s = b λ 0 η ϕ q ( i = 1 n 2 β i ξ i T q ( τ ) Δ τ 1 i = 1 n 2 β i + η T q ( τ ) Δ τ ) Δ s = b .

So, we get ψ(Fu)>b for u P ¯ (α,2b;β, l 2 ;ψ,b), and condition (B1) of Lemma 2.1 holds.

Finally, we prove that condition (B3) of Lemma 2.1 holds.

If u P ¯ (α, r 2 ;β, l 2 ;ψ,b) and α(Fu)>2b, we have

ψ(Fu)= min t [ η , T ] T Fu(t)=Fu(η) η T max t [ 0 , T ] T Fu(t) 1 2 α(Fu)>b.

Hence, condition (B3) of Lemma 2.1 is satisfied. Then using Lemma 2.1 and the assumption that f(t,0,0)0 on [ 0 , T ] T , we find that there exist at least three positive solutions of (1.1) and (1.2) such that

u 1 P(α, r 1 ;β, l 1 ), u 2 { P ( α , r 2 ; β , l 2 ; ψ , b ) ψ ( u ) > b }

and

u 3 P ¯ (α, r 2 ;β, l 2 ) ( P ¯ ( α , r 2 ; β , l 2 ; ψ , b ) P ¯ ( α , r 1 ; β , l 1 ) ) .

Otherwise, as u 3 satisfies α( u 3 )2ψ( u 3 ), we have max t [ 0 , T ] T u 3 (t)<2b. □

Example 3.1 Let T={1 ( 1 2 ) N 0 }[1,2], N 0 denotes the set of all nonnegative integers. Take α 1 = 1 2 , α 2 = 1 6 , β 1 = 1 3 , β 2 = 1 6 , ξ 1 = 1 4 , ξ 2 = 3 4 , T=2, p=q=2 and q(t)1, t [ 0 , T ] T . Consider the following BVP

( u Δ ( t ) ) Δ +f ( t , u ( t ) , u Δ ( t ) ) =0,t [ 0 , 2 ] T ,
(3.4)
u(0)= 1 2 u ( 1 4 ) + 1 6 u ( 3 4 ) , u Δ (2)= 1 3 ( u Δ ( 1 4 ) ) + 1 6 ( u Δ ( 3 4 ) ) ,
(3.5)

where

f(t,w,v)={ t 1 , 000 + w 3 3 + ( v 100 ) 3 , w 3 , t 1 , 000 + 9 + ( v 100 ) 3 , w > 3 .

Clearly, the assumptions (H1)-(H5) hold, and f(t,0,0)0 on [ 0 , 2 ] T .

We choose r 1 =1/2, r 2 =140, b=2 and l 1 =1/4, l 2 =80. So 0< r 1 <b<2b< r 2 and 0< l 1 < l 2 . By calculating, we obtain

λ = 0 η ϕ q ( i = 1 n 2 β i ξ i T q ( τ ) Δ τ 1 i = 1 n 2 β i + η T q ( τ ) Δ τ ) Δ s = 31 12 , Q = ϕ q ( i = 1 n 2 β i ξ i T q ( τ ) Δ τ 1 i = 1 n 2 β i + 0 T q ( τ ) Δ τ ) = 43 12

and

L = 0 T ϕ q ( i = 1 n 2 β i ξ i T q ( τ ) Δ τ 1 i = 1 n 2 β i + s T q ( τ ) Δ τ ) Δ s + i = 1 n 2 α i 1 i = 1 n 2 α i 0 ξ i ϕ q ( i = 1 n 2 β i ξ i T q ( τ ) Δ τ 1 i = 1 n 2 β i + s T q ( τ ) Δ τ ) Δ s < L ˜ = 0 T ϕ q ( i = 1 n 2 β i ξ i T q ( τ ) Δ τ 1 i = 1 n 2 β i + 0 T q ( τ ) Δ τ ) Δ s + i = 1 n 2 α i 1 i = 1 n 2 α i 0 ξ i ϕ q ( i = 1 n 2 β i ξ i T q ( τ ) Δ τ 1 i = 1 n 2 β i + 0 T q ( τ ) Δ τ ) Δ s = 473 48 .

As a result, f(t,w,v) satisfies

f ( t , w , v ) min { ϕ p ( r 2 L ˜ ) , ϕ p ( l 2 Q ) } 14.2071 < min { ϕ p ( r 2 L ) , ϕ p ( l 2 Q ) } for  0 t 2 , 0 w 140 , | v | 80 ; f ( t , w , v ) > ϕ p ( b λ ) 0.7742 for  1 t 2 , 2 w 4 , | v | 80 ; f ( t , w , v ) < min { ϕ p ( r 1 L ˜ ) , ϕ p ( l 1 Q ) } 0.0507 < min { ϕ p ( r 1 L ) , ϕ p ( l 1 Q ) } for  0 t 2 , 0 w 1 2 , | v | 1 4 .

Hence, by Theorem 3.1, we have that the BVP (3.4) and (3.5) has at least three positive solutions u 1 , u 2 and u 3 such that

max t [ 0 , 2 ] T { u 1 ( t ) } < 1 2 , sup t [ 0 , T ] T | u 1 Δ ( t ) | < 1 4 ; 2 < min t [ 1 , 2 ] T { u 2 ( t ) } max t [ 0 , 2 ] T { u 2 ( t ) } 140 , sup t [ 0 , 2 ] T | u 2 Δ ( t ) | 80 ; min t [ 1 , 2 ] T { u 3 ( t ) } < 2 , 1 2 < max t [ 0 , 2 ] T { u 3 ( t ) } < 4 , 1 4 < sup t [ 0 , 2 ] T | u 3 Δ ( t ) | 80 .

4 Existence of triple positive solutions to (1.3) and (1.4)

The following conditions will be used in this section:

(H1) 0,TT, 0< ξ 1 < ξ 2 << ξ m 2 <ρ(T), ξ i T, a i , b i [0,) satisfy 0 i = 1 m 2 a i <1 and 0 i = 1 m 2 b i <1;

(H2) η=min{tT:T/2t<T} exists;

(H3) a(t) C ld ( [ 0 , T ] T ,[0,)) with 0< η T a(t)t<;

(H4) f: ( 0 , T ) T ×[0,)×R[0,) is continuous;

(H5) a(t)f(t,0,0)0, f(t,0,0)0 on [ 0 , T ] T .

Let the Banach space

E = C ld 1 ( [ 0 , T ] T ) = { u [ 0 , T ] T R u  is  Δ -differentiable on  [ 0 , T ] T , and  u Δ  is ld-continuous on  [ 0 , T ] T }

be endowed with the norm

u=max { sup t [ 0 , T ] T | u ( t ) | , sup t [ 0 , T ] T | u Δ ( t ) | } .

Define

K= { u E u ( t ) 0 , u Δ ( t ) 0 ,  and  u ( t )  is concave on  [ 0 , T ] T } .

Clearly, K is a cone.

We note that u(t) is a solution of (1.3) and (1.4) if and only if

u ( t ) = t T ϕ q ( i = 1 m 2 a i 0 ξ i a ( r ) f ( r , u , u Δ ) r 1 i = 1 m 2 a i + 0 s a ( r ) f ( r , u , u Δ ) r ) Δ s + i = 1 m 2 b i 1 i = 1 m 2 b i ξ i T ϕ q ( i = 1 m 2 a i 0 ξ i a ( r ) f ( r , u , u Δ ) r 1 i = 1 m 2 a i + 0 s a ( r ) f ( r , u , u Δ ) r ) Δ s .

Define the operator A:KE by

( A u ) ( t ) = t T ϕ q ( i = 1 m 2 a i 0 ξ i a ( r ) f ( r , u , u Δ ) r 1 i = 1 m 2 a i + 0 s a ( r ) f ( r , u , u Δ ) r ) Δ s + i = 1 m 2 b i 1 i = 1 m 2 b i ξ i T ϕ q ( i = 1 m 2 a i 0 ξ i a ( r ) f ( r , u , u Δ ) r 1 i = 1 m 2 a i + 0 s a ( r ) f ( r , u , u Δ ) r ) Δ s

for 0tT. By the definition of A, the monotonicity of ϕ q (u) and assumptions (H1)-(H5), it is easy to see that for each uK, AuK and Au(0) is the maximum value of Au(t). Moreover, by direct calculation, we get that each fixed point of the operator A in K is a positive solution of (1.3), (1.4). It is easy to see that A:KK is completely continuous.

For uK, we define

α ( u ) = max t [ 0 , T ] T | u ( t ) | = u ( 0 ) , β ( u ) = sup t [ 0 , T ] T | u Δ ( t ) | = u Δ ( T ) , ψ ( u ) = min t [ η , T ] T u ( t ) = u ( T ) .

It is easy to see that α,β:K[0,) are nonnegative continuous convex functionals with u=max{α(u),β(u)}; ψ:K[0,) is nonnegative concave functional. We have ψ(u)α(u) for uK and assumptions (A1), (A2) and (A3) in Lemma 2.1 hold.

For notational convenience, we denote M, N and Q by

M = i = 1 m 2 b i 1 i = 1 m 2 b i ξ i T ϕ q ( i = 1 m 2 a i 0 ξ i a ( r ) r 1 i = 1 m 2 a i + 0 η a ( r ) r ) Δ s , N = 0 T ϕ q ( i = 1 m 2 a i 0 ξ i a ( r ) r 1 i = 1 m 2 a i + 0 s a ( r ) r ) Δ s + i = 1 m 2 b i 1 i = 1 m 2 b i ξ i T ϕ q ( i = 1 m 2 a i 0 ξ i a ( r ) r 1 i = 1 m 2 a i + 0 s a ( r ) r ) Δ s , Q = ϕ q ( i = 1 m 2 a i 0 ξ i a ( r ) r 1 i = 1 m 2 a i + 0 T a ( r ) r ) .

Theorem 4.1 Assume that (H1)-(H5) hold, and there exists 0< r 1 <b<2b r 2 , 0< l 1 l 2 such that b/Mmin{ r 2 /N, l 2 /Q}. If f satisfies the following conditions:

(D1) f(t,w,v)min{ ϕ p ( r 2 /N), ϕ p ( l 2 /Q)} for (t,w,v) [ 0 , T ] T ×[0, r 2 ]×[ l 2 , l 2 ];

(D2) f(t,w,v)> ϕ p (b/M) for (t,w,v) [ η , T ] T ×[b,2b]×[ l 2 , l 2 ];

(D3) f(t,w,v)<min{ ϕ p ( r 1 /N), ϕ p ( l 1 /Q)} for (t,w,v) [ 0 , T ] T ×[0, r 1 ]×[ l 1 , l 1 ],

then the BVP (1.3) and (1.4) has at least three positive solutions u 1 , u 2 and u 3 , which satisfy

max t [ 0 , T ] T { u 1 ( t ) } < r 1 , sup t [ 0 , T ] T | u 1 Δ ( t ) | < l 1 ; b < min t [ η , T ] T { u 2 ( t ) } max t [ 0 , T ] T { u 2 ( t ) } r 2 , sup t [ 0 , T ] T | u 2 Δ ( t ) | l 2 ; min t [ η , T ] T { u 3 ( t ) } < b , max t [ 0 , T ] T { u 3 ( t ) } < 2 b , sup t [ 0 , T ] T | u 3 Δ ( t ) | l 2 .

Proof In order to show that Lemma 2.1 holds, it is sufficient to show that the conditions in Lemma 2.1 are satisfied with respect to the operator A.

We first prove that if the assumption (D1) is satisfied, then A: P ¯ (α, r 2 ;β, l 2 ) P ¯ (α, r 2 ;β, l 2 ). If u P ¯ (α, r 2 ;β, l 2 ), then

α(u)= max t [ 0 , T ] T |u(t)| r 2 ,β(u)= sup t [ 0 , T ] T | u Δ (t)| l 2

and assumption (D1) implies that

f ( t , u ( t ) , u Δ ( t ) ) min { ϕ p ( r 2 / N ) , ϕ p ( l 2 / Q ) } ,t [ 0 , T ] T .

For uK, there is AuK, therefore,

α ( A u ) = max t [ 0 , T ] T | ( A u ) ( t ) | = 0 T ϕ q ( i = 1 m 2 a i 0 ξ i a ( r ) f ( r , u , u Δ ) r 1 i = 1 m 2 a i + 0 s a ( r ) f ( r , u , u Δ ) r ) Δ s + i = 1 m 2 b i 1 i = 1 m 2 b i ξ i T ϕ q ( i = 1 m 2 a i 0 ξ i a ( r ) f ( r , u , u Δ ) r 1 i = 1 m 2 a i + 0 s a ( r ) f ( r , u , u Δ ) r ) Δ s < r 2 N [ 0 T ϕ q ( i = 1 m 2 a i 0 ξ i a ( r ) r 1 i = 1 m 2 a i + 0 s a ( r ) r ) Δ s + i = 1 m 2 b i 1 i = 1 m 2 b i ξ i T ϕ q ( i = 1 m 2 a i 0 ξ i a ( r ) r 1 i = 1 m 2 a i + 0 s a ( r ) r ) Δ s ] = r 2

and

β ( A u ) = sup t [ 0 , T ] T | ( A u ) Δ ( t ) | = ϕ q ( 0 T a ( r ) f ( r , u , u Δ ) r + i = 1 m 2 a i 1 i = 1 m 2 a i 0 ξ i a ( r ) f ( r , u , u Δ ) r ) l 2 Q ( ϕ q ( 0 T a ( r ) r + i = 1 m 2 a i 1 i = 1 m 2 a i 0 ξ i a ( r ) r ) ) = l 2 .

Therefore, A: P ¯ (α, r 2 ;β, l 2 ) P ¯ (α, r 2 ;β, l 2 ).

Similarly if u P ¯ (α, r 1 ;β, l 1 ), then the assumption (D3) implies that

f ( t , u ( t ) , u Δ ( t ) ) <min { ϕ p ( r 1 / N ) , ϕ p ( l 1 / Q ) } for t [ 0 , T ] T .

We can get that A: P ¯ (α, r 1 ;β, l 1 )P(α, r 1 ;β, l 1 ).

So condition (B2) of Lemma 2.1 is satisfied.

To prove condition (B1) of Lemma 2.1 holds. We choose u(t)=2b for t [ 0 , T ] T . It is obvious that

u(t)=2b P ¯ (α,2b;β, l 2 ;ψ,b)andψ(u)=2b>b,

and, consequently,

{ u P ¯ ( α , 2 b ; β , l 2 ; ψ , b ) : ψ ( u ) > b } .

So, for u P ¯ (α,2b;β, l 2 ;ψ,b), there are bu(t)2b and | u Δ (t)| l 2 for t [ η , T ] T .

Thus, from the assumption (D2), we have

f ( t , u ( t ) , u Δ ( t ) ) > ϕ p (b/M)for t [ η , T ] T .

From the definition of the functional ψ, we see that

ψ ( A u ) = min t [ η , T ] T A u ( t ) = i = 1 m 2 b i 1 i = 1 m 2 b i ξ i T ϕ q ( i = 1 m 2 a i 0 ξ i a ( r ) f ( r , u , u Δ ) r 1 i = 1 m 2 a i + 0 s a ( r ) f ( r , u , u Δ ) r ) Δ s i = 1 m 2 b i 1 i = 1 m 2 b i ξ i T ϕ q ( i = 1 m 2 a i 0 ξ i a ( r ) f ( r , u , u Δ ) r 1 i = 1 m 2 a i + 0 η a ( r ) f ( r , u , u Δ ) r ) Δ s > i = 1 m 2 b i 1 i = 1 m 2 b i ξ i T ϕ q ( i = 1 m 2 a i 0 ξ i a ( r ) ϕ p ( b / M ) r 1 i = 1 m 2 a i + 0 η a ( r ) ϕ p ( b / M ) r ) Δ s = b M ( i = 1 m 2 b i 1 i = 1 m 2 b i ξ i T ϕ q ( i = 1 m 2 a i 0 ξ i a ( r ) r 1 i = 1 m 2 a i + 0 η a ( r ) r ) Δ s ) = b .

So, we get ψ(Au)>b for u P ¯ (α,2b;β, l 2 ;ψ,b), and condition (B1) of Lemma 2.1 holds.

Finally, we prove that condition (B3) of Lemma 2.1 holds. If u P ¯ (α, r 2 ;β, l 2 ;ψ,b) and α(Au)>2b, we have

ψ(Au)= min t [ η , T ] T Au(t)=Au(T) max t [ 0 , T ] T Au(t)α(Au)>2b>b.

Hence, condition (B3) of Lemma 2.1 is satisfied. Then using Lemma 2.1 and the assumption that f(t,0,0)0 on [ 0 , T ] T , we find that there exist at least three positive solutions of (1.3) and (1.4) such that

u 1 P(α, r 1 ;β, l 1 ), u 2 { P ( α , r 2 ; β , l 2 ; ψ , b ) ψ ( u ) > b }

and

u 3 P ¯ (α, r 2 ;β, l 2 ) ( P ¯ ( α , r 2 ; β , l 2 ; ψ , b ) P ¯ ( α , r 1 ; β , l 1 ) ) .

Otherwise, as u 3 satisfies α( u 3 )2ψ( u 3 ), we have max t [ 0 , T ] T u 3 (t)<2b. □

Example 4.1 Let T={1 ( 1 / 2 ) N 0 }[1,2], N 0 denotes the set of all nonnegative integers. Take a 1 =1/2, a 2 =1/6, b 1 =1/3, b 2 =1/6, ξ 1 =1/4, ξ 2 =3/4, T=2, p=q=2 and a(t)1, t [ 0 , T ] T . Consider the following BVP

( u Δ ( t ) ) +f ( t , u ( t ) , u Δ ( t ) ) =0,t [ 0 , 2 ] T ,
(4.1)
u Δ (0)= 1 2 ( u Δ ( 1 4 ) ) + 1 6 ( u Δ ( 3 4 ) ) ,u(2)= 1 3 u ( 1 4 ) + 1 6 u ( 3 4 ) ,
(4.2)

where

f(t,w,v)={ t 2 1 , 000 + 4 w 3 9 + ( v 100 , 000 ) 3 , w 3 , t 2 1 , 000 + 12 + ( v 100 , 000 ) 3 , w > 3 .

Clearly, the assumptions (H1)-(H5) hold, and f(t,0,0)0 on [ 0 , 2 ] T .

We choose r 1 =1/8, r 2 =140, b=2 and l 1 =1/4, l 2 =80. So 0< r 1 <b<2b< r 2 and 0< l 1 < l 2 . By calculating, we obtain

M = i = 1 m 2 b i 1 i = 1 m 2 b i ξ i T ( i = 1 m 2 a i 0 ξ i a ( r ) r 1 i = 1 m 2 a i + 0 η a ( r ) r ) Δ s = 133 / 48 , Q = i = 1 m 2 a i 0 ξ i a ( r ) r 1 i = 1 m 2 a i + 0 T a ( r ) r = 11 / 4

and

N = 0 T ( i = 1 m 2 a i 0 ξ i a ( r ) r 1 i = 1 m 2 a i + 0 s a ( r ) r ) Δ s + i = 1 m 2 b i 1 i = 1 m 2 b i ξ i T ( i = 1 m 2 a i 0 ξ i a ( r ) r 1 i = 1 m 2 a i + 0 s a ( r ) r ) Δ s < N ˜ = 0 T ( i = 1 m 2 a i 0 ξ i a ( r ) r 1 i = 1 m 2 a i + 0 T a ( r ) r ) Δ s + i = 1 m 2 b i 1 i = 1 m 2 b i ξ i T ( i = 1 m 2 a i 0 ξ i a ( r ) r 1 i = 1 m 2 a i + 0 T a ( r ) r ) Δ s = 473 / 48 .

As a result, f(t,w,v) satisfies

f ( t , w , v ) min { ϕ p ( r 2 / N ˜ ) , ϕ p ( l 2 / Q ) } 14.2071 < min { ϕ p ( r 2 / N ) , ϕ p ( l 2 / Q ) } , when  0 t 2 , 0 w 140 , 80 v 80 ; f ( t , w , v ) > ϕ p ( b / M ) 0.7218 , when  1 t 2 , 2 w 4 , 80 v 80 ; f ( t , w , v ) < min { ϕ p ( r 1 / N ˜ ) , ϕ p ( l 1 / Q ) } 0.0126 < min { ϕ p ( r 1 / N ) , ϕ p ( l 1 / Q ) } , when  0 t 2 , 0 w 1 / 8 , 1 / 4 v 1 / 4 .

Then all conditions of Theorem 3.1 hold. Therefore, the BVP (4.1) and (4.2) have at least three positive solutions u 1 , u 2 and u 3 such that

max t [ 0 , 2 ] T { u 1 ( t ) } < 1 / 8 , sup t [ 0 , T ] T | u 1 Δ ( t ) | < 1 / 4 ; 2 < min t [ 1 , 2 ] T { u 2 ( t ) } max t [ 0 , 2 ] T { u 2 ( t ) } 140 , sup t [ 0 , 2 ] T | u 2 Δ ( t ) | 80 ; min t [ 1 , 2 ] T { u 3 ( t ) } < 2 , max t [ 0 , 2 ] T { u 3 ( t ) } < 4 , sup t [ 0 , 2 ] T | u 3 Δ ( t ) | 80 .

5 Existence of double positive solutions to (1.5) and (1.6)

Throughout the section, we assume that the following conditions are satisfied:

(H1) 0,TT, 0< ξ 1 < ξ 2 << ξ m 2 <ρ(T), a i [0,+) satisfy 0< i = 1 m 2 a i <1;

(H2) q(t) C ld ( [ 0 , T ] T ,[0,+)) with 0< 0 ξ i q(r)r<;

(H3) f: [ 0 , T ] T ×[0,+)(,+) is continuous;

(H4) q(t)f(t,u(t))0, f(t,0)0 on [ 0 , T ] T .

Lemma 5.1 If h C ld [0,T], then

( ϕ ( u Δ ( t ) ) ) +h(t)=0,t ( 0 , T ) T ,
(5.1)
ϕ ( u Δ ( 0 ) ) =0,u(T)= i = 1 m 2 a i u( ξ i )
(5.2)

has the unique solution

u ( t ) = 0 t ϕ 1 ( 0 s h ( r ) r ) Δ s + 1 1 i = 1 m 2 a i [ i = 1 m 2 a i 0 ξ i ϕ 1 ( 0 s h ( r ) r ) Δ s + 0 T ϕ 1 ( 0 s h ( r ) r ) Δ s ] .
(5.3)

Lemma 5.2 Assume that (H1) holds, for h C ld [0,T] and h0, then the unique solution u of (5.1) and (5.2) satisfies

u(t)0 for t [ 0 , T ] T .

Lemma 5.3 Assume that (H1) holds, if h C ld [0,T] and h0, then the unique solution u of (5.1) and (5.2) satisfies

inf t [ 0 , T ] u(t)γu,

where

γ= i = 1 m 2 a i ( T ξ i ) T i = 1 m 2 a i ξ i ,u= max t [ 0 , T ] | u ( t ) | .

Let E= C ld ([0,T],R) be the set of all ld-continuous functions from [0,T] to R, and let the norm on C ld ([0,T]) be the maximum. Then the C ld ([0,T],R) is a Banach space. We define three cones by

P = { u : u E , u ( t ) 0 , t [ 0 , T ] T } , P = { u : u E , u ( t )  is nonnegative, concave and decreasing on  [ 0 , T ] T }

and

K= { u : u E , u ( t )  is nonnegative and decreasing on  [ 0 , T ] T , inf t [ 0 , T ] T u ( t ) γ u } ,

where γ is the same as in Lemma 5.3. It is easy to see that the BVP (1.5) and (1.6) has a solution u=u(t) if and only if u solves the equation

u ( t ) = 0 t ϕ 1 ( 0 s q ( r ) f ( r , u ( r ) ) r ) Δ s + 1 1 i = 1 m 2 a i [ i = 1 m 2 a i 0 ξ i ϕ 1 ( 0 s q ( r ) f ( r , u ( r ) ) r ) Δ s + 0 T ϕ 1 ( 0 s q ( r ) f ( r , u ( r ) ) r ) Δ s ] .

We define the operators A:PE, T: P E and S:KE as follows:

( A u ) ( t ) = 0 t ϕ 1 ( 0 s q ( r ) f ( r , u ( r ) ) r ) Δ s ( A u ) ( t ) = + 1 1 i = 1 m 2 a i [ i = 1 m 2 a i 0 ξ i ϕ 1 ( 0 s q ( r ) f ( r , u ( r ) ) r ) Δ s ( A u ) ( t ) = + 0 T ϕ 1 ( 0 s q ( r ) f ( r , u ( r ) ) r ) Δ s ] , ( T u ) ( t ) = ( 0 t ϕ 1 ( 0 s q ( r ) f ( r , u ( r ) ) r ) Δ s ( T u ) ( t ) = + 1 1 i = 1 m 2 a i [ i = 1 m 2 a i 0 ξ i ϕ 1 ( 0 s q ( r ) f ( r , u ( r ) ) r ) Δ s ( T u ) ( t ) = + 0 T ϕ 1 ( 0 s q ( r ) f ( r , u ( r ) ) r ) Δ s ] ) + , ( S u ) ( t ) = 0 t ϕ 1 ( 0 s q ( r ) f + ( r , u ( r ) ) r ) Δ s S u ) ( t ) = + 1 1 i = 1 m 2 a i [ i = 1 m 2 a i 0 ξ i ϕ 1 ( 0 s q ( r ) f + ( r , u ( r ) ) r ) Δ s S u ) ( t ) = + 0 T ϕ 1 ( 0 s q ( r ) f + ( r , u ( r ) ) r ) Δ s ] ,
(5.4)

where

( C ) + =max{C,0}, f + ( t , u ( t ) ) =max { f ( t , u ( t ) ) , 0 } ,t [ 0 , T ] T .

Lemma 5.4 S:KK is completely continuous.

Proof It is obvious that K is a cone in E. By f + 0, we get

0 s q(r) f + ( r , u ( r ) ) r0.

Consequently,

ϕ 1 ( 0 s q ( r ) f + ( r , u ( r ) ) r ) 0.

This together with (5.4) imply that (Su)(t)0 and Su is decreasing on [ 0 , T ] T . From

( S u ) Δ (t)= ϕ 1 ( 0 t q ( r ) f + ( r , u ( r ) ) r ) 0,

we see that ( S u ) Δ is decreasing on [ 0 , T ] TK .

  1. (i)

    If t is a left-scattered point, we have

    ( S u ) Δ = ( S u ) Δ ( ρ ( t ) ) ( S u ) Δ ( t ) ρ ( t ) t 0.
  2. (ii)

    If t is a left-dense point, we have

    ( S u ) Δ = lim s t ( S u ) Δ ( t ) ( S u ) Δ ( s ) t s 0.

By (i) and (ii), we have ( S u ) Δ 0, t [ 0 , T ] TK TK . Hence, Lemma 5.3 implies that S:KK.

We now prove that S is completely continuous.

  1. (a)

    From the continuity of f and q(t) C ld ( [ 0 , T ] T ,[0,+)), we find that S is continuous.

  2. (b)

    Let D be a bounded subset of K, and let M>0 be the constant such that uM for uD. The continuity of f + guarantees that there is a L>0 such that

    0 s q(r) f + ( r , u ( r ) ) r 0 T q(r) f + ( r , u ( r ) ) rϕ(L).

Thus,

S u = S u ( 0 ) = 1 1 i = 1 m 2 a i [ i = 1 m 2 a i 0 ξ i ϕ 1 ( 0 s q ( r ) f + ( r , u ( r ) ) r ) Δ s + 0 T ϕ 1 ( 0 s q ( r ) f + ( r , u ( r ) ) r ) Δ s ] 0 T ϕ 1 ( 0 s q ( r ) f + ( r , u ( r ) ) r ) Δ s 1 i = 1 m 2 a i 0 T ϕ 1 ( 0 T q ( r ) f + ( r , u ( r ) ) r ) Δ s 1 i = 1 m 2 a i L T 1 i = 1 m 2 a i .
  1. (c)

    Let t 1 , t 2 [ 0 , T ] T , and let uD. Then we have

    | ( S u ) ( t 2 ) ( S u ) ( t 1 ) | = | 0 t 2 ϕ 1 ( 0 s q ( r ) f + ( r , u ( r ) ) r ) Δ s + 0 t 1 ϕ 1 ( 0 s q ( r ) f + ( r , u ( r ) ) r ) Δ s | = | t 2 t 1 ϕ 1 ( 0 s q ( r ) f + ( r , u ( r ) ) r ) Δ s | L | t 2 t 1 | .

From (a)-(c) together with the Arzela-Ascoli theorem on time scales, we can find that S:KK is completely continuous. This proof is complete. □

The following fixed point index theory will play an important role in the proof our results.

Lemma 5.5 ([37, 38])

Let E be a Banach space, and let K be a cone in E. For r>0, define K r ={uK:u<r}. Assume that S: K r ¯ K is a completely continuous operator such that Tuu for u K r ={uK:u=r}.

  1. (a)

    If Tuu for all u K r , then i(T, K r ,K)=1.

  2. (b)

    If Tuu for all u K r , then i(T, K r ,K)=0.

For notational convenience, we introduce the following notations. Let

R = ϕ 1 ( 0 T q ( r ) r ) ( T i = 1 m 2 a i ξ i 1 i = 1 m 2 a i ) , Q = 1 1 i = 1 m 2 a i [ ϕ 1 ( 0 ξ i q ( r ) r ) T i = 1 m 2 a i ϕ 1 ( 0 ξ i q ( r ) r ) ξ i ] .

Theorem 5.1 Assume that conditions (H1), (H2), (H3) and (H4) are satisfied, there exist b,c,d>0 such that 0< d γ <c<γb<b. Assume further that f(t,u) satisfies the following conditions:

  1. (i)

    f(t,u)0, t [ 0 , T ] T , u[d,b];

  2. (ii)

    f(t,u)<ϕ( c R ), t [ 0 , T ] T , u[0,c];

  3. (iii)

    f(t,u)>ϕ( b Q ), t [ 0 , T ] T , u[γb,b].

Then (1.5) and (1.6) has at least two positive solutions u 1 and u 2 .

Proof We first verify that T has a fixed point u 1 K with c> u 1 >0. By condition (ii), we have for all u(t) K c ,

0 s q(r)f ( r , u ( r ) ) r<ϕ ( c R ) 0 s q(r)r,

so that

ϕ 1 ( 0 s q ( r ) f ( r , u ( r ) ) r ) < c R ϕ 1 ( 0 s q ( r ) r ) < c R ϕ 1 ( 0 T q ( r ) r ) .

Therefore,

T u = max t [ 0 , T ] T ( 0 t ϕ 1 ( 0 s q ( r ) f + ( r , u ( r ) ) r ) Δ s + 1 1 i = 1 m 2 a i [ i = 1 m 2 a i 0 ξ i ϕ 1 ( 0 s q ( r ) f + ( r , u ( r ) ) r ) Δ s + 0 T ϕ 1 ( 0 s q ( r ) f + ( r , u ( r ) ) r ) Δ s ] ) + = 1 1 i = 1 m 2 a i [ i = 1 m 2 a i 0 ξ i ϕ 1 ( 0 s q ( r ) f + ( r , u ( r ) ) r ) Δ s + 0 T ϕ 1 ( 0 s q ( r ) f + ( r , u ( r ) ) r ) Δ s ] < c R ϕ 1 ( 0 T q ( r ) r ) ( T i = 1 m 2 a i ξ i 1 i = 1 m 2 a i ) = c = u .

This implies that Tu<u for u(t) K c . By Lemma 5.5(a), we have i(T, K c ,K)=1.

So, T has a fixed point u 1 in K c . By assumptions (H1), (H3) and (H4), we know that u 1 is also a fixed point of A in K c . As a result, u 1 is a solution of problem (1.5), (1.6).

Next, we verify that A has another fixed point u 2 such that c< u 2 b. Using condition (ii), we have for u(t) P c

Su< c R ϕ 1 ( 0 T q ( r ) r ) ( T i = 1 m 2 a i ξ i 1 i = 1 m 2 a i ) =c=u.

For t [ 0 , T ] T , we have γbu(t)b. By condition (iii), we find for u(t) P b

0 s q(r) f + ( r , u ( r ) ) r>ϕ ( b Q ) 0 s q(r)r

so that

ϕ 1 ( 0 s q ( r ) f + ( r , u ( r ) ) r ) > b Q ϕ 1 ( 0 s q ( r ) r ) .

Moreover, we get

S u = ( S u ) ( 0 ) = 1 1 i = 1 m 2 a i [ 0 T ϕ 1 ( 0 s q ( r ) f + ( r , u ( r ) ) r ) Δ s i = 1 m 2 a i 0 ξ i ϕ 1 ( 0 s q ( r ) f + ( r , u ( r ) ) r ) Δ s ] > b Q 0 T ϕ 1 ( 0 s q ( r ) r ) Δ s b Q i = 1 m 2 a i 0 ξ i ϕ 1 ( 0 s q ( r ) r ) Δ s 1 i = 1 m 2 a i > b Q ϕ 1 ( 0 ξ i q ( r ) r ) T b Q i = 1 m 2 a i ϕ 1 ( 0 ξ i q ( r ) r ) ξ i 1 i = 1 m 2 a i = b = u .

It follows from Lemma 5.5 that i(S, P c ,P)=1, i(S, P b ,P)=0.

Thus, i(S, P b P c ¯ ,P)=1. Hence, S has a fixed point in P b P c ¯ such that c< u 2 b.

In the end, we show that u 2 is also a fixed point of A in P b P c ¯ . We only have to verify that Au=Su, u(t)( P b P c ¯ ){u:Su=u}, and we get u 2 (0)= u 2 >c. By Lemma 5.3, we find that

inf t [ 0 , T ] T u 2 (t)γ u 2 >γc>d.

Hence, b u 2 (t)d for t [ 0 , T ] T . Using condition (i), we understand that f + (t, u 2 (t))=f(t, u 2 (t)). This implies that A u 2 =S u 2 = u 2 . It means that u 2 is a positive solution with b u 2 >c. This completes the proof. □

Example 5.1 Let T={1 ( 1 2 ) N 0 }{ 1 3 ,1}, where N 0 denotes the set of all nonnegative integers. Take a 1 = 1 2 , ξ 1 = 1 3 , T=1 and q(t)1, t [ 0 , T ] T . Consider the following BVP on time scales

( ϕ ( u Δ ( t ) ) ) +f ( t , u ( t ) ) =0,t [ 0 , T ] T ,
(5.5)
ϕ ( u Δ ( 0 ) ) =0,u(T)= 1 2 u ( 1 3 ) ,
(5.6)

where

ϕ ( u ) = u , f ( t , u ) : = f ( u ) = { 8 u 2 + 1 for  0 u 1 2 , 4 u 3 for  1 2 u 1 , 17 137 ( u 1 ) 2 + 1 for  1 u 5 , ( 27 17 × 16 137 ) ( u 5 ) 2 + 17 × 16 137 + 1 for  5 u 15 , 10 ( u 5 ) 2 + ( 27 17 × 16 137 ) 10 2 + 17 × 16 137 + 1 for  u 15 .

By calculating, we find

γ = i = 1 m 2 a i ( T ξ i ) T i = 1 m 2 a i ξ i = a 1 ( 1 ξ 1 ) 1 a 1 ξ 1 = 1 2 ( 1 1 3 ) 1 1 2 1 3 = 2 5 , R = ϕ 1 ( 0 T q ( r ) r ) ( T i = 1 m 2 a i ξ i 1 i = 1 m 2 a i ) = ϕ 1 ( 0 1 r ) ( 1 a 1 ξ 1 1 a 1 ) = 5 3

and

Q = 1 1 i = 1 m 2 a i [ ϕ 1 ( 0 ξ i q ( r ) r ) T i = 1 m 2 a i ϕ 1 ( 0 ξ i q ( r ) r ) ξ i ] = 1 1 a 1 [ ϕ 1 ( 0 ξ 1 r ) a 1 ϕ 1 ( 0 ξ 1 r ) ξ 1 ] = 5 9 .

Let b=15, c=5, d=1, then 0< d γ = 1 2 5 = 5 2 <c=5<γb= 2 5 15=6<b=15, and f satisfies

  1. (1)

    f(t,u)=f(u)0, d=1ub=15;

  2. (2)

    f(t,u)=f(u)<ϕ( c R )= 5 5 3 =3, 0uc=5;

  3. (3)

    f(t,u)=f(u)>ϕ( b Q )= 15 5 9 =27, γb=6ub=15.

So all the conditions of Theorem 5.1 hold. Thus, by Theorem 5.1, problems (5.5) and (5.6) have at least two positive solutions.

References

  1. Hilger S: Analysis on measure chains - a unified approach to continuous and discrete calculus. Results Math. 1990, 18: 18–56. 10.1007/BF03323153

    Article  MathSciNet  Google Scholar 

  2. Agarwal RP, Bohner M: Basic calculus on time scales and its applications. Results Math. 1999, 35: 3–22. 10.1007/BF03322019

    Article  MathSciNet  Google Scholar 

  3. Agarwal RP, O’Regan D: Nonlinear boundary value problems on time scales. Nonlinear Anal. 2001, 44: 527–535. 10.1016/S0362-546X(99)00290-4

    Article  MathSciNet  Google Scholar 

  4. Agarwal RP, Bohner M, O’Regan D, Peterson A: Dynamic equations on time scales: a survey. J. Comput. Appl. Math. 2002, 141: 1–26. 10.1016/S0377-0427(01)00432-0

    Article  MathSciNet  Google Scholar 

  5. Sun HR: Triple positive solutions for p -Laplacian m -point boundary value problem on time scales. Comput. Math. Appl. 2009, 58: 1736–1741. 10.1016/j.camwa.2009.07.083

    Article  MathSciNet  Google Scholar 

  6. Sang Y, Su H: Several existence theorems of nonlinear m -point boundary value problem for p -Laplacian dynamic equations on time scales. J. Math. Anal. Appl. 2008, 340: 1012–1026. 10.1016/j.jmaa.2007.09.029

    Article  MathSciNet  Google Scholar 

  7. Zhang Y: A multiplicity result for a generalized Sturm-Liouville problem on time scales. J. Differ. Equ. Appl. 2010, 16: 963–974. 10.1080/10236190802660476

    Article  Google Scholar 

  8. Anderson DR, Avery R, Henderson J: Existence of solutions for a one dimensional p -Laplacian on time-scales. J. Differ. Equ. Appl. 2004, 10: 889–896. 10.1080/10236190410001731416

    Article  MathSciNet  Google Scholar 

  9. Anderson DR: Existence of solutions for a first-order p -Laplacian BVP on time scales. Nonlinear Anal. 2008, 69: 4521–4525. 10.1016/j.na.2007.11.008

    Article  MathSciNet  Google Scholar 

  10. Sun HR, Li WT: Existence theory for positive solutions to one-dimensional p -Laplacian boundary value problems on time scales. J. Differ. Equ. 2007, 240: 217–248. 10.1016/j.jde.2007.06.004

    Article  Google Scholar 

  11. Dogan A, Graef JR, Kong L: Higher-order semipositone multi-point boundary value problems on time scales. Comput. Math. Appl. 2010, 60: 23–35. 10.1016/j.camwa.2010.04.026

    Article  MathSciNet  Google Scholar 

  12. Dogan A, Graef JR, Kong L: Higher-order singular multi-point boundary value problems on time scales. Proc. Edinb. Math. Soc. 2011, 54: 345–361. 10.1017/S0013091509001643

    Article  MathSciNet  Google Scholar 

  13. Graef JR, Kong L: First-order singular boundary value problems with p -Laplacian on time scales. J. Differ. Equ. Appl. 2011, 17: 831–839. 10.1080/10236190903443111

    Article  MathSciNet  Google Scholar 

  14. Bai ZB, Ge WG: Existence of three positive solutions for some second-order boundary value problems. Comput. Math. Appl. 2004, 48: 699–707. 10.1016/j.camwa.2004.03.002

    Article  MathSciNet  Google Scholar 

  15. Yang Y, Xiao D: On existence of multiple positive solutions for ϕ -Laplacian multipoint boundary value. Nonlinear Anal. 2009, 71: 4158–4166. 10.1016/j.na.2009.02.080

    Article  MathSciNet  Google Scholar 

  16. Wang Y, Ge W: Existence of triple positive solutions for multi-point boundary value problems with a one dimensional p -Laplacian. Comput. Math. Appl. 2007, 54: 793–807. 10.1016/j.camwa.2006.10.038

    Article  MathSciNet  Google Scholar 

  17. Ji D, Yang Y, Ge W: Triple positive pseudo-symmetric solutions to a four-point boundary value problem with p -Laplacian. Appl. Math. Lett. 2008, 21: 268–274. 10.1016/j.aml.2007.03.019

    Article  MathSciNet  Google Scholar 

  18. Wang Y, Ge W: Multiple positive solutions for multipoint boundary value problems with one-dimensional p -Laplacian. J. Math. Anal. Appl. 2007, 327: 1381–1395. 10.1016/j.jmaa.2006.05.023

    Article  MathSciNet  Google Scholar 

  19. Bai Z, Ge W, Wang Y: Multiplicity results for some second-order four-point boundary value problems. Nonlinear Anal. 2005, 60: 491–500.

    MathSciNet  Google Scholar 

  20. Sun B, Ge W, Zhao D: Three positive solutions for multipoint one-dimensional p -Laplacian boundary value problems with dependence on the first order derivative. Math. Comput. Model. 2007, 45: 1170–1178. 10.1016/j.mcm.2006.10.002

    Article  MathSciNet  Google Scholar 

  21. Bohner M, Peterson A: Dynamic Equations on Time Scales: An Introduction with Applications. Birkhäuser, Boston; 2001.

    Book  Google Scholar 

  22. Bohner M, Peterson A: Advances in Dynamic Equations on Time Scales. Birkhäuser, Boston; 2003.

    Book  Google Scholar 

  23. Sang Y, Su H, Xu F: Positive solutions of nonlinear m -point BVP for an increasing homeomorphism and homomorphism with sign changing nonlinearity on time scales. Comput. Math. Appl. 2009, 58: 216–226. 10.1016/j.camwa.2009.03.106

    Article  MathSciNet  Google Scholar 

  24. Han W, Jin Z, Kang S: Existence of positive solutions of nonlinear m -point BVP for an increasing homeomorphism and positive homomorphism on time scales. J. Comput. Appl. Math. 2009, 233: 188–196. 10.1016/j.cam.2009.07.009

    Article  MathSciNet  Google Scholar 

  25. Luo H: Positive solutions to singular multi-point dynamic eigenvalue problems with mixed derivatives. Nonlinear Anal. 2009, 70: 1679–1691. 10.1016/j.na.2008.02.051

    Article  MathSciNet  Google Scholar 

  26. Su YH, Li WT, Sun HR: Positive solutions of singular p -Laplacian BVPs with sign changing nonlinearity on time scales. Math. Comput. Model. 2008, 48: 845–858. 10.1016/j.mcm.2007.11.008

    Article  MathSciNet  Google Scholar 

  27. Anderson DR: Solutions to second order three-point problems on time scales. J. Differ. Equ. Appl. 2002, 8: 673–688. 10.1080/1023619021000000717

    Article  Google Scholar 

  28. Sun JP, Li WT: Existence and nonexistence of positive solutions for second-order time scale systems. Nonlinear Anal. 2008, 68: 3107–3114. 10.1016/j.na.2007.03.003

    Article  MathSciNet  Google Scholar 

  29. Sun HR, Li WT: Positive solutions for nonlinear three-point boundary value problems on time scales. J. Math. Anal. Appl. 2004, 299: 508–524. 10.1016/j.jmaa.2004.03.079

    Article  MathSciNet  Google Scholar 

  30. Zhu Y, Zhu J: The multiple positive solutions for p -Laplacian multipoint BVP with sign changing nonlinearity on time scales. J. Math. Anal. Appl. 2008, 344: 616–626. 10.1016/j.jmaa.2008.02.032

    Article  MathSciNet  Google Scholar 

  31. He ZM: Double positive solutions of three-point boundary value problems for p -Laplacian dynamic equations on time scales. J. Comput. Appl. Math. 2005, 182: 304–315. 10.1016/j.cam.2004.12.012

    Article  MathSciNet  Google Scholar 

  32. He ZM: Triple positive solutions of boundary value problems for p -Laplacian dynamic equations on time scales. J. Math. Anal. Appl. 2006, 321: 911–920. 10.1016/j.jmaa.2005.08.090

    Article  MathSciNet  Google Scholar 

  33. Su H, Wang B, Wei Z: Positive solutions of four-point boundary value problems for four-order p -Laplacian dynamic equations on time scales. J. Differ. Equ. 2006, 78: 1–13.

    Google Scholar 

  34. Liang SH, Zhang JH: The existence of countably many positive solutions for nonlinear singular m -point boundary value problems on time scales. J. Comput. Appl. Math. 2009, 223: 291–303. 10.1016/j.cam.2008.01.021

    Article  MathSciNet  Google Scholar 

  35. Ma RY: Existence of solutions of nonlinear m -point boundary value problems. J. Math. Anal. Appl. 2001, 256: 556–567. 10.1006/jmaa.2000.7320

    Article  MathSciNet  Google Scholar 

  36. Wang Y, Hou C: Existence of multiple positive solutions for one-dimensional p -Laplacian. J. Math. Anal. Appl. 2006, 315: 144–153. 10.1016/j.jmaa.2005.09.085

    Article  MathSciNet  Google Scholar 

  37. Deimling K: Nonlinear Functional Analysis. Springer, New York; 1985.

    Book  Google Scholar 

  38. Guo D, Lakshmikantham V: Nonlinear Problems in Abstract Cones. Academic Press, San Diego; 1988.

    Google Scholar 

Download references

Acknowledgements

The author is very grateful to Professor Ravi P Agarwal and Donal O’Regan for their important comments and suggestions in improving this manuscript. The project is supported by Abdullah Gul University Foundation of Turkey (Project No. 5).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Abdulkadir Dogan.

Additional information

Competing interests

The author declares that he has no competing interests.

Authors’ contributions

The author carried out the proof of the theorem 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

Dogan, A. Existence of multiple positive solutions for p-Laplacian multipoint boundary value problems on time scales. Adv Differ Equ 2013, 238 (2013). https://doi.org/10.1186/1687-1847-2013-238

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-1847-2013-238

Keywords