# Existence and multiplicity of positive solutions for a nonlocal differential equation

- Yunhai Wang
^{1}Email author, - Fanglei Wang
^{2, 3}and - Yukun An
^{3}

**2011**:5

**DOI: **10.1186/1687-2770-2011-5

© Wang et al; licensee Springer. 2011

**Received: **21 February 2011

**Accepted: **11 July 2011

**Published: **11 July 2011

## Abstract

In this paper, the existence and multiplicity results of positive solutions for a nonlocal differential equation are mainly considered.

### Keywords

Nonlocal boundary value problems Cone Fixed point theorem## Introduction

where *α, β, γ, δ* are nonnegative constants, *ρ* = *αγ* + *αδ* + *βγ* > 0, *q* ≥ 1;
,
denote the Riemann-Stieltjes integrals.

when the nonlinearity *f* is a sublinear or superlinear function in a sense to be established when necessary. Nonlocal BVPs of ordinary differential equations or system arise in a variety of areas of applied mathematics and physics. In recent years, more and more papers were devoted to deal with the existence of positive solutions of nonlocal BVPs (see [3–9] and references therein). Inspired by the above references, our aim in the present paper is to investigate the existence and multiplicity of positive solutions to Equation 1 using the Krasnosel'skii fixed point theorem and Leggett-Williams fixed point theorem.

This paper is organized as follows: In Section 2, some preliminaries are given; In Section 3, we give the existence results.

## Preliminaries

*G*(

*t, s*) is

and there exists a
such that *G*(*t, s*) ≥ *θ G*(*s, s*), *θ* ≤ *t* ≤ 1 - *θ*, 0 ≤ *s* ≤ 1.

For convenience, we assume the following conditions hold throughout this paper:

(H1) *f*, *g*, Φ: *R*^{+} → *R*^{+} are continuous and nondecreasing functions, and Φ (0) > 0;

(H2) *φ*(*t*) is an increasing nonconstant function defined on [0, 1] with *φ*(0) = 0;

*h*(

*t*) does not vanish identically on any subinterval of (0, 1) and satisfies

*u*∈

*C*

^{2}(0, 1) is a solution of Equation 1 if and only if

*u*∈

*C*(0, 1) satisfies the following nonlinear integral equation

At the end of this section, we state the fixed point theorems, which will be used in Section 3.

*E*be a real Banach space with norm || · || and

*P*⊂

*E*be a cone in

*E*,

*P*

_{ r }= {

*x*∈

*P*: ||

*x*|| <

*r*}(

*r*> 0). Then, . A map

*α*is said to be a nonnegative continuous concave functional on

*P*if

*α*:

*P*→ [0, +∞) is continuous and

*x, y*∈

*P*and

*t*∈ [0, 1]. For numbers

*a, b*such that 0 <

*a*<

*b*and

*α*is a nonnegative continuous concave functional on

*P*, we define the convex set

**Lemma 2.2**[10]. Let be completely continuous and

*α*be a nonnegative continuous concave functional on

*P*such that

*α*(

*x*)

*=*||

*x*|| for all . Suppose there exists 0 <

*d*<

*a*<

*b*=

*c*such that

- (i)
{

*x*∈*P*(*α, a, b*):*α*(*x*) >*a*} ≠ ∅ and*α*(*Ax*) >*a*for*x*∈*P*(*α, a, b*); - (ii)
||

*Ax*|| <*d*for ||*x*|| ≤*d*;

*(iii) α*(*Ax*) > *a* for *x* ∈ *P* (*α, a, c*) with ||*Ax*|| > *b*.

*A*has at least three fixed points

*x*

_{1},

*x*

_{2},

*x*

_{3}satisfying

**Lemma 2.3**[10]. Let

*E*be a Banach space, and let

*P*⊂

*E*be a closed, convex cone in

*E*, assume Ω

_{1}, Ω

_{2}are bounded open subsets of

*E*with , and be a completely continuous operator such that either

- (i)
||

*Au*|| ≤ ||*u*||,*u*∈*P*∩ ∂Ω_{1}and ||*Au*|| ≥ ||*u*||,*u*∈*P*∩ ∂Ω_{2}; or - (ii)
||

*Au*|| ≥ ||*u*||,*u*∈*P*∩ ∂Ω_{1}and ||*Au*|| ≤ ||*u*||,*u*∈*P*∩ ∂Ω_{2}.

Then, *A* has a fixed point in
.

## Main result

*E*=

*C*[0, 1] endowed norm ||

*u*|| = max

_{0≤t≤1}

*|u|*, and define the cone

*P*⊆

*E*by

Then, it is easy to prove that *E* is a Banach space and *P* is a cone in *E*.

*T*:

*E*→

*E*by

**Lemma 3.1**. *T*: *E* → *E* is completely continuous, and *Te now prove thatP* ⊆ *P*.

**Proof**. For any

*u*∈

*P*, then from properties of

*G*(

*t, s*),

*T*(

*u*)(

*t*) ≥ 0,

*t*∈ [0, 1], and it follows from the definition of

*T*that

From the above, we conclude that *TP* ⊆ *P*. Also, one can verify that *T* is completely continuous by the Arzela-Ascoli theorem. □

Then, it is clear to see that 0 < *l* ≤ *L* < L.

**Theorem 3.2**. Assume (H1) to (H3) hold. In addition,

*p*

_{1}such that

*p*

_{2}with such that

Then, problem (Equation 1) has one positive solution.

**Proof**. From (H4), there exists a 0 <

*η*< ∞ such that

*R*

_{1}∈ (0,

*η*), set Ω

_{1}= {

*u*∈

*E*: ||

*u*|| <

*R*

_{1}}. We now prove that

*u*∈

*P*∩ ∂Ω

_{1}. Since min

_{θ≤t≤1-θ}

*u*(

*t*) ≥

*θ*||

*u*|| and ||

*u*|| =

*R*

_{1}, from Equation 3, (H1) and (H3), it follows that

Then, Equation 4 holds.

_{2}= {

*u*∈

*E*: ||

*u*|| <

*R*

_{2}}. We now prove that

*u*∈

*P*∩ ∂Ω

_{2}, we have

Then, Equation 7 holds.

Therefore, by Equations 4 and 7 and the second part of Lemma 2.3, *T* has a fixed point in
, which is a positive solution of Equation 1. □

**Example**. Let

*q*= 2,

*h*(

*t*) = 1, Φ(

*s*) = 2 +

*s*,

*φ*(

*t*) = 2

*t*, and , namely,

*p*

_{1}= 2, then it is clear to see that (H4) and (H5) hold. Since

then (H6) hold.

**Theorem 3.3**. Assume (H1) to (H3) hold. In addition,

*p*

_{1}such that

*p*

_{2}with such that

Then, problem (Equation 1) has one positive solution.

**Proof**. From (H7), there exists

*η*

_{1}> 0 such that

*η*

_{2}> 0 such that

_{1}= {

*u*∈

*E*: ||

*u*|| <

*R*

_{1}}. We now prove that

*u*∈

*P*∩ ∂Ω

_{1}, we have

Then, Equation 10 holds.

_{2}= {

*u*∈

*E*: ||

*u*|| <

*R*

_{2}}. We now prove that

*u*∈

*P*∩ ∂Ω

_{2}, Since min

_{θ≤t≤1-θ}

*u*(

*t*) ≥

*θ*||

*u*|| and ||

*u*|| =

*R*

_{2}, we have

Then, Equation 12 holds.

Therefore, by Equations 10 and 12 and the first part of Lemma 2.3, *T* has a fixed point in
, which is a positive solution of Equation 1. □

**Example**. Let *q* = 2, *h*(*t*) = *t*, Φ(*s*) = 2 + *s*, *φ*(*t*) = 2*t*,
and *g*(*s*) = *s*^{2}.

**Theorem 3.4**. Assume that (H1) to (H3) hold. In addition, *φ*(1) ≥ 1, and the functions *f*, *g* satisfy the following growth conditions:

*a*> 0 such that

Then, BVP (Equation 1) has at least three positive solutions.

**Proof**. For the sake of applying the Leggett-Williams fixed point theorem, define a functional

*σ*(

*u*) on cone

*P*by

Evidently, *σ*: *P* → *R*^{+} is a nonnegative continuous and concave. Moreover, *σ*(*u*) ≤ ||*u*|| for each *u* ∈ *P*.

Now, we verify that the assumption of Lemma 2.2 is satisfied.

Firstly, it can verify that there exists a positive number *c* with
such that
.

*τ*> 0 such that

by (H1) to (H3) and (H10).

*d*' ∈ (0,

*a*) such that

Finally, we will show that {*u* ∈ *P* (*σ, a, b*): *σ*(*u*) > *a*} ≠ ∅ and *σ*(*Tu*) > *a* for all *u* ∈ *P*(*σ, a, b*).

*u*∈

*P*(

*σ, a, b*), we have

*t*∈ [

*θ*, 1 -

*θ*]. Then, we have

*u*∈

*P*(

*θ, a, c*) with ||

*Tu*|| >

*b*, we have

*T*has at least three fixed points

*u*

_{ i }(

*i*= 1, 2, 3) such that

The proof is complete. □

**Example**. Let

*q*= 2,

*h*(

*t*) =

*t*, Φ(

*s*) = 2 +

*s*,

*φ*(

*t*) = 2

*t*, and, , namely,

Then, it is easy to see that (H1) to (H3) and (H10) to (H11) hold. Especially, take *a* = 1, by
and (H1), then (H12) holds.

## Declarations

## Authors’ Affiliations

## References

- Correa FJSA: On positive solutions of nonlocal and nonvariational elliptic problems.
*Nonliear Anal*2004, 59: 1147-1155.View ArticleMathSciNetMATH - Stanczy R: Nonlocal elliptic equations.
*Nonlinear Anal*2001, 47: 3579-3548. 10.1016/S0362-546X(01)00478-3View ArticleMathSciNetMATH - Kang P, Wei Z: Three positive solutions of singular nonlocal boundary value problems for systems of nonlinear second-order ordinary differential equations.
*Nonlinear Anal*2009, 70: 444-451. 10.1016/j.na.2007.12.014View ArticleMathSciNetMATH - Kang P, Xub J, Wei Z: Positive solutions for 2p-order and 2q-order systems of singular boundary value problems with integral boundary conditions.
*Nonlinear Anal*2010, 72: 2767-2786. 10.1016/j.na.2009.11.022View ArticleMathSciNetMATH - Perera K, Zhang Z: Nontrivial solutions of Kirchhoff type problems via the Yang index.
*J Diff Equ*2006, 221(1):246-255. 10.1016/j.jde.2005.03.006View ArticleMathSciNetMATH - Pietramala P: A note on a beam equation with nonlinear boundary conditions.
*Boundary Value Problems*2011, 2011: 14. (Article ID 376782)View ArticleMathSciNet - Wang F, An Y: Existence of nontrivial solution for a nonlocal elliptic equation with nonlinear boundary condition.
*Boundary Value Problems*2009, 2009: 8. (Article ID 540360)MathSciNet - Webb JRL, Infante G: Non-local boundary value problems of arbitrary order.
*J Lond Math Soc*2009, 79: 238-258.View ArticleMathSciNetMATH - Zhang Z, Perera K: Sign-changing solutions of Kirchhoff type problems via invariant sets of descent flow.
*J Math Anal Appl*2006, 317(2):456-463. 10.1016/j.jmaa.2005.06.102View ArticleMathSciNetMATH - Guo D, Lakshmikantham V:
*Nonlinear Problems in Abstract Cones.*Academic Press, Orlando; 1988.

## Copyright

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 cited.