Skip to main content

Existence and multiplicity of symmetric positive solutions for nonlinear boundary-value problems with p-Laplacian operator

Abstract

In this paper, we establish the existence and multiplicity of symmetric positive solutions for a class of p-Laplacian fourth-order differential equations with integral boundary conditions. Our proofs use the Leray-Schauder nonlinear alternative and Krasnoselkii’s fixed-point theorem in cones.

MSC:34B10, 39A10.

1 Introduction

In this paper, we are concerned with the existence of symmetric positive solutions of the following fourth-order boundary-value problem with integral boundary conditions:

( ϕ p ( u ) ) (t)=λw(t)f ( t , u ( t ) , u ( t ) ) ,t(0,1),
(1.1)
u ( 0 ) = u ( 1 ) = 0 1 g ( s ) u ( s ) d s , ϕ p ( u ( 0 ) ) = ϕ p ( u ( 1 ) ) = 0 1 h ( s ) ϕ p ( u ( s ) ) d s ,
(1.2)

where λ>0, ϕ p is the p-Laplacian operator, i.e., ϕ p (s)= | s | p 2 s, p>1 and ( ϕ p ) 1 = ϕ q with 1 p + 1 q =1.

Now, let us list the following conditions which are to be used in our theorems:

(H1) wC([0,1],[0,+)) is symmetric on [0,1] and w(t)0 on any subinterval of [0,1];

(H2) fC([0,1]×[0,+)×R,[0,+)) and for (t,u,υ)[0,1]×[0,+)×R, f(t,u,υ) is symmetric in t and even υ, i.e., f satisfies f(1t,u,υ)=f(t,u,υ) and f(t,u,υ)=f(t,u,υ);

(H3) g,hC([0,1],[0,+)) are symmetric functions on [0,1] and μ(0, 3 4 ], ν(0,1), where

μ= 0 1 g(s)ds,ν= 0 1 h(s)ds.

Boundary-value problems with integral boundary conditions for ordinary differential equations represent a very interesting and important class of problems. They include two-, three-, multi-point and nonlocal boundary-value problems as special cases. For an overview of the literature on integral boundary-value problems and symmetric solutions, see [17] and the references therein.

We would like to mention the results of Zhang and Liu [8], Zhang and Ge [9], Ma [10].

In [8], Zhang and Liu considered the following fourth-order boundary-value problems with p-Laplacian operator:

( ϕ p ( u ( t ) ) = f ( t , u ( t ) ) , 0 < t < 1 , u ( 0 ) = 0 , u ( 1 ) = a u ( ξ ) , u ( 0 ) = 0 , u ( 1 ) = b u ( η ) ,

where ϕ p (t)= | t | p 2 t, p>1, 0<ξ, η<1, fC((0,1)×(0,+),[0,+)) may be singular at t=0 and/or 1 and u=0.

In [9], Zhang and Ge considered the existence and nonexistence of positive solutions of the following fourth-order boundary-value problems with integral boundary conditions:

x 4 ( t ) = w ( t ) f ( t , x ( t ) , x ( t ) ) , 0 < t < 1 , x ( 0 ) = 0 1 g ( s ) x ( s ) d s , x ( 1 ) = 0 , x ( 0 ) = 0 1 h ( s ) x ( s ) d s , x ( 1 ) = 0 ,

where w may be singular at t=0 and (or) t=1, fC([0,1]×[0,+)×(,0],[0,+)), and g,h L 1 [0,1] are nonnegative.

In [10], Ma considered the existence of a symmetric positive solution for the fourth-order nonlocal boundary-value problem (BVP). The author obtained at least one symmetric positive solution by using the fixed-point index in cones. We have

u ′′′′ ( t ) = h ( t ) f ( t , u ) , 0 < t < 1 , u ( 0 ) = u ( 1 ) = 0 1 p ( s ) u ( s ) d s , u ( 0 ) = u ( 1 ) = 0 1 q ( s ) u ( s ) d s ,

where p,q L 1 [0,1], h:(0,1)[0,+) is continuous, symmetric on (0,1), and maybe singular at t=0 and t=1. f:[0,1]×[0,+)[0,+) is continuous and f(,u) is symmetric on [0,1], for all u[0,+).

Motivated by the above works, we consider the existence of one and multiple symmetric positive solutions for the BVP (1.1)-(1.2).

The organization of the paper is as follows. In Section 2, we present some necessary lemmas that will be used to prove our main results. In Section 3, we use the Leray-Schauder nonlinear alternative to get the existence of at least one symmetric positive solution for the nonlinear BVP (1.1)-(1.2). In Section 4, we use the Krasnoselkii fixed-point theorem to get the existence of multiple symmetric positive solutions for the nonlinear BVP (1.1)-(1.2).

In this paper, a symmetric positive solution u of (1.1)-(1.2) means a solution of (1.1)-(1.2) satisfying u>0 and u(t)=u(1t), t[0,1].

2 Preliminaries

To state and prove the main results of this paper, we will make use of the following lemmas.

Lemma 2.1 Assume that (H3) holds. Then for any v C 1 [0,1], the BVP

ϕ p ( u ( t ) ) =υ(t),t(0,1),
(2.1)
u(0)=u(1)= 0 1 g(s)u(s)ds,
(2.2)

has a unique solution u and u can be expressed in the form

u(t)= 0 1 H(t,s) ϕ q ( υ ( s ) ) ds,
(2.3)

where

H ( t , s ) = G ( t , s ) + 1 1 μ 0 1 G ( s , τ ) g ( τ ) d τ , G ( t , s ) = { t ( 1 s ) , 0 t s 1 , s ( 1 t ) , 0 s t 1 .
(2.4)

Proof First suppose that u C 1 [0,1] is a solution of the BVP (2.1)-(2.2). We have

u (t)= ϕ q ( υ ( t ) ) .

It is easy to see by integration of both sides of (2.1) on [0,t] that

u (t) u (0)= 0 t ϕ q ( υ ( s ) ) ds.

Integrating again, we get

u(t)=u(0)+ u (0)t+ 0 t (ts) ϕ q ( υ ( s ) ) ds.
(2.5)

Letting t=1 in (2.5), we find

u (0)= 0 1 (1s) ϕ q ( υ ( s ) ) ds.
(2.6)

Substituting u(0)= 0 1 g(s)u(s)ds, we obtain

u ( t ) = 0 1 g ( s ) u ( s ) d s 0 1 t ( 1 s ) ϕ q ( υ ( s ) ) d s + 0 t ( t s ) ϕ q ( υ ( s ) ) d s = 0 1 G ( t , s ) ϕ q ( υ ( s ) ) d s + 0 1 g ( s ) u ( s ) d s ,
(2.7)

where

0 1 g(s)u(s)ds= 0 1 g(s) [ 0 1 G ( s , τ ) ϕ q ( υ ( τ ) ) d τ + 0 1 g ( τ ) u ( τ ) d τ ] ds,

and so

0 1 g(s)u(s)ds= 1 1 0 1 g ( s ) d s 0 1 g(s) [ 0 1 G ( s , τ ) ϕ q ( υ ( τ ) ) d τ ] ds.
(2.8)

Substituting (2.8) into (2.7) we have

u ( t ) = 0 1 G ( t , s ) ϕ q ( υ ( s ) ) d s 1 1 μ 0 1 g ( s ) [ 0 1 G ( s , τ ) ϕ q ( υ ( τ ) ) d τ ] d s = 0 1 H ( t , s ) ϕ q ( υ ( s ) ) d s ,
(2.9)

where H(t,s) is defined in (2.4).

Next let u be as in (2.9), then

u ( t ) = 0 t s ( 1 t ) ϕ q ( υ ( s ) ) d s t 1 t ( 1 s ) ϕ q ( υ ( s ) ) d s 1 1 μ 0 1 g ( s ) [ 0 1 G ( s , τ ) ϕ q ( υ ( τ ) ) d τ ] d s .
(2.10)

Taking the derivative of (2.10), we get

u (t)= 0 t s ϕ q ( v ( s ) ) ds t 1 (1s) ϕ q ( υ ( s ) ) ds,

and

u = ϕ q ( υ ( t ) ) ,

and it is easy to verify that u(0)=u(1)= 0 1 g(s)u(s)ds. The proof is complete. □

Lemma 2.2 Assume that (H3) is satisfied. Then for any u C 1 [0,1], the BVP

v (t)=λw(t)f ( t , u ( t ) , u ( s ) ) ,t(0,1),
(2.11)
υ(0)=υ(1)= 0 1 h(s)v(s)ds
(2.12)

has a unique solution v

v(t)=λ 0 1 H 1 (t,s)w(s)f ( s , u ( s ) , u ( s ) ) ds,
(2.13)

where

H 1 (t,s)=G(t,s)+ 1 1 ν 0 1 G(s,τ)h(τ)dτ.
(2.14)

Lemma 2.3 [9]

If (H3) holds, then, for all t,s[0,1], the following results are true.

  1. (i)

    G(t,s)0, H(t,s)0, H 1 (t,s)0;

  2. (ii)

    G(1t,1s)=G(t,s), H(1t,1s)=H(t,s), H 1 (1t,1s)= H 1 (t,s);

  3. (iii)

    ρe(s)H(t,s)γe(s), ρ 1 e(s) H 1 (t,s) γ 1 e(s)

where

e ( s ) = s ( 1 s ) , ρ = o 1 e ( s ) g ( s ) d s 1 μ , ρ 1 = o 1 e ( s ) h ( s ) d s 1 ν , γ = 1 1 μ , γ 1 = 1 1 ν ;
  1. (iv)

    e(t)e(s)G(t,s)G(t,t)=t(1t)=e(t) e = max t [ 0 , 1 ] e(t)= 1 4 ,

where H(t,s), G(t,s), H 1 (t,s) are defined by (2.4) and (2.14), respectively.

Lemma 2.4 If u0 and υ0 then

ϕ p (u+υ)= { ϕ p ( u ) + ϕ p ( υ ) , 1 < p < 2 ; 2 p 2 ( ϕ p ( u ) + ϕ p ( υ ) ) , p 2 .

To obtain the existence of symmetric positive solutions of the BVP (1.1)-(1.2), the following Leray-Schauder nonlinear alternative and Krasnoselkii fixed-point theorem are useful.

Lemma 2.5 [11]

Let E be a Banach space with PE closed and convex. Assume U is an open subset of P with 0U and T: U ¯ P is a continuous and compact map. Then either

  1. (i)

    T has a fixed point in U ¯ , or

  2. (ii)

    there exist uU and λ(0,1) such that u=λTu.

Lemma 2.6 [11]

Let P be a cone of a real Banach space E, Ω 1 and Ω 2 be two bounded open sets in E such that 0 Ω 1 Ω 1 ¯ Ω 2 . Let operator T:P( Ω 2 ¯ Ω 1 )P be completely continuous. Suppose that one of the two conditions

  1. (i)

    Tuu for uP Ω 1 , Tuu for uP Ω 2 ,

  2. (ii)

    Tuu for uP Ω 1 , Tuu for uP Ω 2 ,

is satisfied. Then T has at least one fixed point in P( Ω 2 ¯ Ω 1 ).

Let the space E= C 1 [0,1] equipped with the norm u 0 =u+ u = max t [ 0 , 1 ] |u(t)|+ max t [ 0 , 1 ] | u (t)| be our Banach space. Define P to be cone in E by

P= { u E : u ( t ) 0 , u  concave, symmetric on  [ 0 , 1 ] } .

Assume that u is a solution of the BVP (1.1)-(1.2). Then from Lemma 2.1, we get

u(t)= 0 1 H(t,s) ϕ q ( υ ( s ) ) ds.

From Lemma 2.2, we have

u(t)= 0 1 H(t,s) ϕ q ( λ 0 1 H 1 ( s , τ ) w ( τ ) f ( τ , u ( τ ) , u ( τ ) ) d τ ) ds.

3 The existence of one symmetric positive solution

In order to state the following results we need to introduce the notation:

A = ϕ q ( 0 1 w ( τ ) r ( τ ) d τ ) , B = ϕ q ( 0 1 w ( τ ) ( p ( τ ) + q ( τ ) ) d τ ) , A = ( γ γ 1 q 1 + 4 γ 1 q 1 4 q ) max { 1 , 2 q 2 } A , B = ( γ γ 1 q 1 + 4 γ 1 q 1 4 q ) max { 1 , 2 q 2 } B .

Theorem 3.1 Assume that (H1)-(H3) are satisfied and f:[0,1]×[0,+)×R[0,+) is continuous, f(t,0,0)0, t[0,1] and there exist nonnegative functions q 1 , q 2 , q 3 L 1 such that

f(t,u,υ) q 1 (t) | u ( t ) | p 1 + q 2 (t) | υ ( t ) | p 1 + q 3 (t),a.e. (t,u,υ)[0,1]×[0,+)×R,

and there exist t o [0,1] such that q 1 ( t o )0 or q 2 ( t o )0. Then there exists a constant λ >0 such that for any 0<λ λ , the BVP (1.1)-(1.2) has at least one nontrivial symmetric positive solution uP.

Proof It is easy to see that the BVP (1.1)-(1.2) has a solution u=u(t) if and only if u is a fixed point of the operator equation

Tu(t)= 0 1 H(t,s) ϕ q ( λ 0 1 H 1 ( s , τ ) w ( τ ) f ( τ , u ( τ ) , u ( τ ) ) d τ ) ds.
(3.1)

For all uP, we have by

( T u ) ( t ) = t 1 ( 1 s ) ϕ q ( λ 0 1 H 1 ( s , τ ) w ( τ ) f ( τ , u ( τ ) , u ( τ ) ) d τ ) d s 0 t s ϕ q ( λ 0 1 H 1 ( s , τ ) w ( τ ) f ( τ , u ( τ ) , u ( τ ) ) d τ ) d s , ( T u ) ( t ) = ϕ q ( λ 0 1 H 1 ( s , τ ) w ( τ ) f ( τ , u ( τ ) , u ( τ ) ) d τ ) d s , 0 ,

which implies Tu is concave on [0,1].

On the other hand, using (H1)-(H3) and Lemma 2.3 we have

(Tu)(0)= 0 1 H(0,s) ϕ q ( λ 0 1 H 1 ( s , τ ) w ( τ ) f ( τ , u ( τ ) , u ( τ ) ) d τ ) ds0,

for all t[0,1]. In a similar way (Tu)(1)0.

It follows that Tu(t)0 for t[0,1]. Noticing that w(t) is symmetric on [0,1], u(t) is symmetric on [0,1] and f(t,u, u ) is symmetric on [0,1] and even in υ we have

T u ( 1 t ) = 0 1 H ( 1 t , s ) ϕ q ( λ 0 1 H 1 ( s , τ ) w ( τ ) f ( τ , u ( τ ) , u ( τ ) ) d τ ) d s = 0 1 H ( 1 t , 1 s ) ϕ q ( λ 0 1 H 1 ( 1 s , τ ) w ( τ ) f ( τ , u ( τ ) , u ( τ ) ) d τ ) d s = 0 1 H ( t , s ) ϕ q ( λ 0 1 H 1 ( 1 s , τ ) w ( τ ) f ( τ , u ( τ ) , u ( τ ) ) d τ ) d s = 0 1 H ( t , s ) ϕ q ( λ 1 0 H 1 ( 1 s , 1 τ ) w ( 1 τ ) × f ( 1 τ , u ( 1 τ ) , u ( 1 τ ) ) d ( 1 τ ) ) d s = 0 1 H ( t , s ) ϕ q ( λ 0 1 H 1 ( s , τ ) w ( τ ) f ( τ , u ( τ ) , u ( τ ) ) d τ ) d s = ( T u ) ( t ) ,

i.e., (Tu)(1t)=(Tu)(t), t[0,1]. Therefore, (Tu)(t) is symmetric on [0,1]. So TuP and T(P)P. By applying the Arzela-Ascoli theorem, we can see that T(P) is relatively compact. In view of Lebesgue convergence theorem, it is obvious that T is a continuous operator. Hence, T:PP is completely continuous operator. By a similar argument in [9] we may proceed; we omit the details here.

f(t,0,0) q 3 (t), for all t[0,1], and w(t)0, t[0,1], we know that A>0, B>0. Thus A >0, B >0. Let

r= A B ,Ω= { u P : u < r } .

Suppose uΩ, 0<μ<1 such that u=μTu. Then

r=μ T u 0 =μ ( T u + ( T u ) ) .

By Lemma 2.3

T u = max t [ 0 , 1 ] | T u ( t ) | 0 1 γ e ( s ) ϕ q ( λ 0 1 γ 1 e ( τ ) w ( τ ) f ( τ , u ( τ ) , u ( τ ) ) d τ ) d s γ γ 1 q 1 1 4 ( 1 4 ) q 1 ϕ q ( λ 0 1 w ( τ ) [ q 1 ( τ ) | u ( τ ) | p 1 + q 2 ( τ ) | u ( τ ) | p 1 + q 3 ( τ ) ] d τ ) γ γ 1 q 1 ( 1 4 ) q ϕ q ( λ 0 1 w ( τ ) [ u 0 p 1 ( q 1 ( τ ) + q 2 ( τ ) ) + q 3 ( τ ) ] d τ ) γ γ 1 q 1 ( 1 4 ) q ϕ q ( λ [ u 0 p 1 0 1 w ( τ ) ( q 1 ( τ ) + q 2 ( τ ) ) d τ + 0 1 w ( τ ) q 3 ( τ ) d τ ] ) ( γ γ 1 q 1 4 q ) max { 1 , 2 q 2 } ϕ q ( λ ) u 0 ϕ q ( 0 1 w ( τ ) ( q 1 ( τ ) + q 2 ( τ ) ) d τ ) + ( γ γ 1 q 1 4 q ) max { 1 , 2 q 2 } ϕ q ( λ ) ϕ q ( 0 1 w ( τ ) q 3 ( τ ) d τ ) γ 1 q 1 ( 1 4 ) q 1 ϕ q ( λ 0 1 w ( τ ) [ q 1 ( τ ) | u ( τ ) | p 1 + q 2 ( τ ) | u ( τ ) | p 1 + q 3 ( τ ) ] d τ ) ( γ 1 4 ) q 1 max { 1 , 2 q 2 } ϕ q ( λ ) u 0 ϕ q ( 0 1 w ( τ ) ( q 1 ( τ ) + q 2 ( τ ) ) d τ ) + ( γ 1 4 ) q 1 max { 1 , 2 q 2 } ϕ q ( λ ) ϕ q ( 0 1 w ( τ ) q 3 ( τ ) d τ ) .

So,

T u 0 ϕ q (λ) u 0 B + ϕ q (λ) A .

Choose λ = ( 1 2 B ) p 1 . Then when 0<λ< λ , we have

r = u 0 = μ T u 0 μ ( 1 2 B B u 0 + A 2 B ) , r μ ( 1 2 r + 1 2 r ) .

Consequently, μ1. This contradicts 0<μ<1 period, by (i) of Lemma 2.5, T has a fixed point u Ω ¯ , since f(t,0,0)0, then when 0<λ λ , the BVP (1.1)-(1.2) has a nontrivial symmetric positive solution uP. The proof is complete. □

Theorem 3.2 Assume that (H1)-(H3) are satisfied and f:[0,1]×[0,+)×R[0,+) is continuous, f(t,0,0)0, t[0,1] and

0L= lim sup | u | + | υ | + max t [ 0 , 1 ] f ( t , u , υ ) | u | p 1 + | υ | p 1 <+.
(3.2)

Then there exists a constant λ >0 such that for any 0<λ λ , the BVP (1.1)-(1.2) has at least one nontrivial symmetric positive solution uP.

Proof Let ϵ>0 such that L+ϵ>0. By (3.2), there exists H>0 such that

f(t,u,υ)(L+ϵ) ( | u | p 1 + | υ | p 1 ) ,|u|+|υ|H,0t1.

Let K= max t [ 0 , 1 ] , | u | + | υ | H f(t,u,υ). Then for any (t,u,υ)[0,1]× R + ×R, we have

f(t,u,υ)(L+ϵ) ( | u | p 1 + | υ | p 1 ) +K.

From Theorem 3.1, we know that the BVP (1.1)-(1.2) has at least one nontrivial symmetric positive solution uP. The proof is complete. □

Corollary 3.1 Assume that (H1)-(H3) are satisfied and f:[0,1]×[0,+)×R[0,+) is continuous, f(t,0,0)0, t[0,1] and

0 L = lim sup | u | + | υ | + max t [ 0 , 1 ] f ( t , u , υ ) | u | p 1 < + , or 0 L = lim sup | u | + | υ | + max t [ 0 , 1 ] f ( t , u , υ ) | υ | p 1 < + .

Then there exists a constant λ >0, such that for any 0<λ λ , the BVP (1.1)-(1.2) has at least one nontrivial solution uP.

Example 3.1 We consider the following fourth-order BVP.

Let p=4, w(t)=1 in (1.1) and h(t)=g(t)= 1 2 . Then

( ϕ 4 ( u ) ) (t)=λf ( t , u ( t ) , u ( t ) ) ,t(0,1),
(3.3)
u ( 0 ) = u ( 1 ) = 1 2 0 1 u ( s ) d s , ϕ 4 ( u ( 0 ) ) = ϕ 4 ( u ( 1 ) ) = 1 2 0 1 ϕ p ( u ( s ) ) d s ,
(3.4)

where

f ( t , u , υ ) = u 3 + ( t 1 2 ) 2 | sin υ | 3 + t ( 1 t ) + 1 for  ( t , u , υ ) [ 0 , 1 ] × [ 0 , + ) × ( , + ) .

It is obvious that f:[0,1]×[0,+)×(,+)[0,+) is continuous, symmetric on the interval [0,1] and even υ, we have

u 3 + ( t 1 2 ) 2 | sin υ | 3 + t ( 1 t ) + 1 | u | 3 + ( t 2 + 1 ) | υ | 3 + t + 1 and f ( t , 0 , 0 ) 0 , t [ 0 , 1 ] .

It follows from a direct calculation that

B = ϕ q ( 0 1 ( s 2 + 2 ) d s ) = 7 3 3 and γ = γ 1 = 2 ; B = ( γ γ 1 q 1 + 4 γ 1 q 1 4 q ) max { 1 , 2 q 2 } B = ( 2 2 3 + 4 2 3 4 4 3 ) 7 3 3 1 , 1905 .

So,

λ = 1 2 B 0.074.

Then by Theorem 3.1 we know that the BVP (3.3)-(3.4) has a nontrivial symmetric positive solution uP for any λ(0, λ ].

4 The existence of multiple symmetric positive solutions

In this section, we impose growth conditions on f which allows us to apply Lemma 2.6 to establish the existence of two symmetric positive solutions of the BVP (1.1)-(1.2), and we begin by introducing some notation:

σ = ρ ρ 1 q 1 0 1 e ( s ) d s ϕ q ( 0 1 e ( τ ) w ( τ ) d τ ) , σ = γ 1 q 1 ϕ q ( 0 1 e ( τ ) w ( τ ) d τ ) .

Theorem 4.1 Assume that (H1)-(H3) are satisfied and f satisfies the following conditions for t[0,1].

  1. (i)

    There exist numbers 0<r<R<+ such that f(t,u,υ) 1 λ ϕ p ( u + υ 2 σ ) for 0|u|+|υ|r and R|u|+|υ|.

  2. (ii)

    There exist numbers 0<r< p 1 <R<+ such that f(t,u,υ)> 1 λ ϕ p ( p 1 σ ) for 0|u|+|υ| p 1 .

Then the BVP (1.1)-(1.2) has at least two nontrivial symmetric positive solution uP.

Proof Let the operator T be defined by (3.1).

Ω 1 = { u P : u 0 < r } and Ω 2 = { u P : u 0 < p 1 } .

We first show that

T u 0 u 0 for uP Ω 1 .

For uP Ω 1 , we obtain |u|+| u |[0,r], which implies f(t,u, u ) 1 λ ϕ p ( u + υ 2 σ ). Hence for t[0,1], by Lemma 2.3,

T u ( t ) γ γ 1 q 1 4 ϕ q ( λ 0 1 e ( τ ) w ( τ ) f ( τ , u ( τ ) , u ( τ ) ) d τ ) γ γ 1 q 1 4 ϕ q ( λ 0 1 e ( τ ) w ( τ ) 1 λ ϕ p ( u + υ 2 σ ) d τ ) γ 8 u 0 .

Note that 1<γ4. Thus, uP Ω 1 implies

Tu u 0 2 ,
(4.1)

and

( T u ) ( t ) ϕ q ( λ 0 1 γ 1 e ( τ ) w ( τ ) f ( τ , u ( τ ) , u ( τ ) ) d τ ) γ 1 q 1 ϕ q ( λ 0 1 e ( τ ) w ( τ ) 1 λ ϕ p ( u + υ 2 σ ) d τ ) u 0 2 .

Thus, uP Ω 1 implies

( T u ) u 0 2 .
(4.2)

By (4.1) and (4.2), we obtain

T u 0 =Tu+ ( T u ) u 0 2 + u 0 2 = u 0 for uP Ω 1 .
(4.3)

Next we show that

T u 0 u 0 for uP Ω 2 .

For uP Ω 2 , we obtain |u|+| u |[0, p 1 ], which implies f(t,u, u )> 1 λ ϕ p ( p 1 σ ). Hence for t[0,1], by Lemma 2.3,

T u ( t ) ρ ρ 1 q 1 0 1 e ( s ) d s ϕ q ( λ 0 1 e ( τ ) w ( τ ) f ( τ , u ( τ ) , u ( τ ) ) d τ ) > ρ ρ 1 q 1 0 1 e ( s ) d s ϕ q ( λ 0 1 e ( τ ) w ( τ ) 1 λ ϕ p ( p 1 σ ) d τ ) > p 1 = u 0 .
(4.4)

By (4.4), we obtain

T u 0 =Tu+ ( T u ) > u 0 for uP Ω 2 .
(4.5)

Applying Lemma 2.6 to (4.3) and (4.5) shows that T has a fixed point u 1 P( Ω ¯ 2 Ω 1 ) with 0<r u 1 0 < p 1 . Also, let R = γ 1 γ q 1 ρ 1 ρ q 1 R and note that 0< ρ 1 ρ q 1 γ 1 γ q 1 <1. So u(t) ρ 1 ρ q 1 γ 1 γ q 1 u(s) for s[0,1]. Then Ω 3 ={uP: u 0 < R } and uP Ω 3 , and we obtain u(t) ρ 1 ρ q 1 γ 1 γ q 1 R =R. Applying Theorem 4.1(i) for |u|+| u |[R,+), we have T u 0 u 0 for uP Ω 3 . From Lemma 2.6, T has a fixed point u 2 P( Ω ¯ 3 Ω 2 ) with p 1 < u 2 R .

Then the BVP (1.1)-(1.2) has two nontrivial symmetric positive solutions u 1 , u 2 P with 0< u 1 < p 1 < u 2 R . The proof is complete. □

References

  1. Lomtatidze A, Malaguti L: On a nonlocal boundary value problems for second order nonlinear singular differential equations. Georgian Math. J. 2000, 7: 133-154.

    MATH  MathSciNet  Google Scholar 

  2. Gallardo JM: Second order differential operators with integral boundary conditions and generation of semigroups. Rocky Mt. J. Math. 2000, 30: 1265-1292. 10.1216/rmjm/1021477351

    Article  MATH  MathSciNet  Google Scholar 

  3. Zhanga X, Feng M, Ge W: Symmetric positive solutions for p -Laplacian fourth-order differential equations with integral boundary conditions. J. Comput. Appl. Math. 2008, 222: 561-573. 10.1016/j.cam.2007.12.002

    Article  MathSciNet  Google Scholar 

  4. Zhang X, Liu L: Eigenvalue of fourth-order m -point boundary value problem with derivatives. Comput. Math. Appl. 2008, 56: 172-185. 10.1016/j.camwa.2007.08.048

    Article  MATH  MathSciNet  Google Scholar 

  5. Ma R, Xu L: Existence of positive solutions of nonlinear fourth-order boundary value problem. Appl. Math. Lett. 2010, 23: 537-543. 10.1016/j.aml.2010.01.007

    Article  MATH  MathSciNet  Google Scholar 

  6. Avery RI, Henderson J: Three symmetric positive solutions for a second-order boundary value problem. Appl. Math. Lett. 2000, 13: 1-7.

    Article  MATH  MathSciNet  Google Scholar 

  7. Feng H, Pang H, Ge W: Multiplicity of symmetric positive solutions for a multipoint boundary value problem with a one-dimensional p -Laplacian. Nonlinear Anal. 2008, 69: 3050-3059. 10.1016/j.na.2007.08.075

    Article  MATH  MathSciNet  Google Scholar 

  8. Zhang X, Liu L: Positive solutions of fourth-order four-point boundary value problems with ϕ -Laplacian operator. J. Math. Anal. Appl. 2007, 336: 1414-1423. 10.1016/j.jmaa.2007.03.015

    Article  MATH  MathSciNet  Google Scholar 

  9. Zhang X, Ge W: Positive solutions for a class of boundary-value problems with integral boundary conditions. Comput. Math. Appl. 2009, 58: 203-215. 10.1016/j.camwa.2009.04.002

    Article  MATH  MathSciNet  Google Scholar 

  10. Ma H: Symmetric positive solutions for nonlocal boundary value problems of fourth order. Nonlinear Anal. 2008, 68: 645-651. 10.1016/j.na.2006.11.026

    Article  MATH  MathSciNet  Google Scholar 

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

    MATH  Google Scholar 

Download references

Acknowledgements

The authors would like to thank the referees for their useful comments and suggestions.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Nuket Aykut Hamal.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally to the writing of this paper. 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

Senlik, T., Hamal, N.A. Existence and multiplicity of symmetric positive solutions for nonlinear boundary-value problems with p-Laplacian operator. Bound Value Probl 2014, 44 (2014). https://doi.org/10.1186/1687-2770-2014-44

Download citation

  • Received:

  • Accepted:

  • Published:

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

Keywords