Open Access

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

Boundary Value Problems20142014:44

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

Received: 1 October 2013

Accepted: 7 February 2014

Published: 20 February 2014

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.

Keywords

boundary-value problemsymmetric positive solutionfixed-point theorem

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) w C ( [ 0 , 1 ] , [ 0 , + ) ) is symmetric on [ 0 , 1 ] and w ( t ) 0 on any subinterval of [ 0 , 1 ] ;

(H2) f C ( [ 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 ( 1 t , u , υ ) = f ( t , u , υ ) and f ( t , u , υ ) = f ( t , u , υ ) ;

(H3) g , h C ( [ 0 , 1 ] , [ 0 , + ) ) are symmetric functions on [ 0 , 1 ] and μ ( 0 , 3 4 ] , ν ( 0 , 1 ) , where
μ = 0 1 g ( s ) d s , ν = 0 1 h ( s ) d s .

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 , f C ( ( 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 , f C ( [ 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 ( 1 t ) , 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 ) d s ,
(2.2)
has a unique solution u and u can be expressed in the form
u ( t ) = 0 1 H ( t , s ) ϕ q ( υ ( s ) ) d s ,
(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 ) ) d s .
Integrating again, we get
u ( t ) = u ( 0 ) + u ( 0 ) t + 0 t ( t s ) ϕ q ( υ ( s ) ) d s .
(2.5)
Letting t = 1 in (2.5), we find
u ( 0 ) = 0 1 ( 1 s ) ϕ q ( υ ( s ) ) d s .
(2.6)
Substituting u ( 0 ) = 0 1 g ( s ) u ( s ) d s , 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 ) d s = 0 1 g ( s ) [ 0 1 G ( s , τ ) ϕ q ( υ ( τ ) ) d τ + 0 1 g ( τ ) u ( τ ) d τ ] d s ,
and so
0 1 g ( s ) u ( s ) d s = 1 1 0 1 g ( s ) d s 0 1 g ( s ) [ 0 1 G ( s , τ ) ϕ q ( υ ( τ ) ) d τ ] d s .
(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 ) ) d s t 1 ( 1 s ) ϕ q ( υ ( s ) ) d s ,
and
u = ϕ q ( υ ( t ) ) ,

and it is easy to verify that u ( 0 ) = u ( 1 ) = 0 1 g ( s ) u ( s ) d s . 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 ) d s
(2.12)
has a unique solution v
v ( t ) = λ 0 1 H 1 ( t , s ) w ( s ) f ( s , u ( s ) , u ( s ) ) d s ,
(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 ( 1 t , 1 s ) = G ( t , s ) , H ( 1 t , 1 s ) = H ( t , s ) , H 1 ( 1 t , 1 s ) = 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 ( 1 t ) = 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 u 0 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 P E closed and convex. Assume U is an open subset of P with 0 U 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 u U and λ ( 0 , 1 ) such that u = λ T u .

     

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)

    T u u for u P Ω 1 , T u u for u P Ω 2 ,

     
  2. (ii)

    T u u for u P Ω 1 , T u u for u P Ω 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 ) ) d s .
From Lemma 2.2, we have
u ( t ) = 0 1 H ( t , s ) ϕ q ( λ 0 1 H 1 ( s , τ ) w ( τ ) f ( τ , u ( τ ) , u ( τ ) ) d τ ) d s .

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 u P .

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
T u ( t ) = 0 1 H ( t , s ) ϕ q ( λ 0 1 H 1 ( s , τ ) w ( τ ) f ( τ , u ( τ ) , u ( τ ) ) d τ ) d s .
(3.1)
For all u P , 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
( T u ) ( 0 ) = 0 1 H ( 0 , s ) ϕ q ( λ 0 1 H 1 ( s , τ ) w ( τ ) f ( τ , u ( τ ) , u ( τ ) ) d τ ) d s 0 ,

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

It follows that T u ( 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., ( T u ) ( 1 t ) = ( T u ) ( t ) , t [ 0 , 1 ] . Therefore, ( T u ) ( t ) is symmetric on [ 0 , 1 ] . So T u P 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 : P P 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 = μ T u . 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 u P . 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
0 L = 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 u P .

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 , 0 t 1 .
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 u P . 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 u P .

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 u P 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 u P .

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  u P Ω 1 .
For u P Ω 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, u P Ω 1 implies
T u 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, u P Ω 1 implies
( T u ) u 0 2 .
(4.2)
By (4.1) and (4.2), we obtain
T u 0 = T u + ( T u ) u 0 2 + u 0 2 = u 0 for  u P Ω 1 .
(4.3)
Next we show that
T u 0 u 0 for  u P Ω 2 .
For u P Ω 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 = T u + ( T u ) > u 0 for  u P Ω 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 = { u P : u 0 < R } and u P Ω 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 u P Ω 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. □

Declarations

Acknowledgements

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

Authors’ Affiliations

(1)
Department of Mathematics, Ege University

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.MATHMathSciNetGoogle 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/1021477351MATHMathSciNetView ArticleGoogle 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.002MathSciNetView ArticleGoogle 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.048MATHMathSciNetView ArticleGoogle 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.007MATHMathSciNetView ArticleGoogle Scholar
  6. Avery RI, Henderson J: Three symmetric positive solutions for a second-order boundary value problem. Appl. Math. Lett. 2000, 13: 1-7.MATHMathSciNetView ArticleGoogle 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.075MATHMathSciNetView ArticleGoogle 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.015MATHMathSciNetView ArticleGoogle 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.002MATHMathSciNetView ArticleGoogle 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.026MATHMathSciNetView ArticleGoogle Scholar
  11. Guo D, Lashmikanthan V: Nonlinear Problems in Abstract Cones. Academic Press, San Diego; 1988.MATHGoogle Scholar

Copyright

© Senlik and Hamal; licensee Springer. 2014

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.