• No results found

On positive solutions for nonhomogeneous m-point boundary value problems with two parameters

N/A
N/A
Protected

Academic year: 2020

Share "On positive solutions for nonhomogeneous m-point boundary value problems with two parameters"

Copied!
11
0
0

Loading.... (view fulltext now)

Full text

(1)

R E S E A R C H

Open Access

On positive solutions for nonhomogeneous

m-point boundary value problems with two

parameters

Fanglei Wang

1*

and Yukun An

2

*Correspondence:

[email protected] 1College of Science, Hohai

University, Nanjing, 210098, P.R. China

Full list of author information is available at the end of the article

Abstract

This paper is concerned with the existence, multiplicity, and nonexistence of positive solutions for nonhomogeneous m-point boundary value problems with two

parameters. The proof is based on the fixed-point theorem, the upper-lower solutions method, and the fixed-point index.

MSC: 34B10; 34B18

Keywords: nonhomogeneous BVP; positive solutions; upper-lower solutions; fixed-point theorem; fixed point index

1 Introduction

Many authors have studied the existence, nonexistence, and multiplicity of positive solu-tions for multipoint boundary value problems by using the fixed-point theorem, the fixed point index theory, and the lower and upper solutions method. We refer the readers to the references [–]. Recently, Hao, Liu and Wu [] studied the existence, nonexistence, and multiplicity of positive solutions for the following nonhomogeneous boundary value problems:

⎧ ⎨ ⎩

–u(t) =a(t)f(t,u(t)),

u() = , u() –mi=–kiu(ξi) =b,

whereb> ,ki>  (i= , , . . . ,m– ),  <ξ<ξ<· · ·<ξm–< ,

m–

i= kiξi< ,a(t) may

be singular att=  and/ort= . They showed that there exists a positive numberb*>  such that the problem has at least two positive solutions for  <b<b*, at least one positive solution forb=b*and no solution forb>b*by using the Krasnosel’skii-Guo fixed-point theorem, the upper-lower solutions method, and the topological degree theory.

Inspired by the above references, the purpose of this paper is to study the following more general nonhomogeneous boundary value problems:

⎧ ⎨ ⎩

–u(t) =λh(t)f(u(t)),

u() = , u() –mi=–kiu(ξi) =μ

g(u(s))ds,

()

whereλ,μare positive parameters,ki> ,  <ξ<ξ<· · ·<ξm–< . The main result of the present paper is summarized as follows.

(2)

Theorem . Assume the following conditions hold:

(H) (λ,μ)R+\{(, )}are nonnegative parameters;

(H) h: [, ]→[, +∞)is continuous,h(t)does not vanish identically on any subinterval of[, ]andG(s,s)h(s)ds< +∞, whereG(s,s)is given in Sect. ; (H) f,gC(R+,R+)is nondecreasing with respect tou, respectively, that is,

f(u)≤f(u) ifu≤u,

g(u)≤g(u) ifu≤u.

And eitherf() > org() > ;

(H) There exist constantsm,m> such thatf(u)≥muandg(u)mu,

respectively, for allu≥;

(H) lim|u|→+∞f(uu)= +∞,lim|u|→+∞g(uu)= +∞.

If  < mi=–ki < , then there exists a bounded and continuous curve separating

R

+\{(, )}into two disjoint subsetsandsuch that () has at least two positive so-lutions for(λ,μ), one positive solution for(λ,μ), and no solution for(λ,μ). Moreover, let+∪be the parametric representation of, where

+:μ=μ(λ) > , :μ=μ(λ) = .

Then on+, the functionμ=μ(λ)is continuous and nonincreasing, that is, ifλλ, we haveμ(λ)μ(λ).

For the proof of Theorem ., we also need the following lemmas.

Lemma .[] Let E be a Banach space, K a cone in E andbounded open in E. Let ∈and T:KK be condensing. Suppose that Tx=λx for all xK∂and all λ≥. Then

i(T,K,K) = .

Lemma .[] Let E be a Banach space and K a cone in E. For r> , define Kr={x

K:x<r}. Assume that T :KrK is a compact map such that Tx=x for x∂Kr. If

xTxfor all x∂Kr, then

i(T,Kr,K) = .

2 Preliminaries

Lemma .[] Assume that <im=–kiξi< . If y(t)∈C(, )with

G(s,s)y(s)ds< +∞, then the Green function for the homogeneous BVP

⎧ ⎨ ⎩

–u(t) =y(t),

(3)

is given by

G(t,s) =   –mi=–kiξi

⎧ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎨ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎩

s( –t) –mi=–kiit)s, st,sξ, t[( –s) –mi=–kiis)], tsξ, s( –t) +ji=kiξi(t–s) –

m–

i=j+kiit)s,

ξjsξj+,st,j= , , . . . ,m– , t[( –s) –mi=–j+kiis)],

ξjsξj+,ts,j= , , . . . ,m– , s( –t) +mi=–kiξi(t–s), ξm–≤st, t( –s), ξm–≤s,ts.

Moreover, the Green function satisfies the following properties:

(i) G(t,s) > fort,s∈(, ), andG(t,s)is continuous on[, ]×[, ]; (ii) G(t,s)G(s,s)for allt,s∈[, ].

Lemma . Assume that (H)-(H) hold. If <mi=–kiξi< , then u∈C[, ]is a solution

of () if and only if uC[, ]satisfies the following nonlinear integral equation:

u(t) =λ

G(t,s)h(s)f u(s)ds+μ

g(u(s))ds  –mi=–kiξi

t.

Proof Integrating both sides of () from  tottwice and applying the boundary conditions, then we can obtain

u(t) =μ

g(u(s))ds  –mi=–kiξi

tλ

t

(t–s)h(s)f u(s)ds

+λ t  –mi=–kiξi

( –s)h(s)f u(s)ds

m– i= ki ξi

is)h(s)f u(s)

ds

.

Furthermore, by Lemma ., we can obtain

u(t) =λ

G(t,s)h(s)f u(s)ds+μ

g(u(s))ds  –mi=–kiξi

t.

LetEdenote the Banach spaceC[, ] with the normu=maxt∈[,]|u(t)|. A function u(t) is said to be a solution of () ifuC[, ]C(, ) satisfies (). Moreover, from Lemma ., it is clear to see thatu(t) is a solution of () is equivalent to the fixed point of the operatorTdefined as

Tu(t) =λ

G(t,s)h(s)f u(s)ds+μ

g(u(s))ds  –mi=–kiξi

t.

In addition, define a coneKEas

K=

uE:u(t)≥,t∈[, ], inf

t∈[ξ,ξm–]

u(t)θu

,

(4)

Lemma . If (H)-(H) hold, then T:KK is completely continuous.

The proof procedure of Lemma . is standard, so we omit it.

Now, we will establish the classical lower and upper solutions method for our problem. As usual, we say thatx(t) is a lower solution for () if

⎧ ⎨ ⎩

x(t) +λh(t)f(x(t))≥,

x()≤, x() –mi=–kix(ξi)≤ 

g(x(s))ds.

Similarly, we define the upper solutiony(t) of the problem ():

⎧ ⎨ ⎩

y(t) +λh(t)f(y(t))≤,

y()≥, y() –mi=–kiy(ξi)≥ 

g(y(s))ds.

Lemma . Let x(t), y(t)be lower and upper solutions, respectively, of () such that≤ x(t)y(t). Then () has a nonnegative solution u(t)satisfying x(t)u(t)y(t)for t∈[, ].

Proof Define

Dyx=uR:x(t)u(t)y(t),t∈[, ].

It is clear to see thatDyxis a bounded, convex and closed subset in Banach spaceE. Now

we can prove thatT:DyxDyx.

For anyu(t)Dyx, from (H), we have

Tu(t) =λ

G(t,s)h(s)f u(s)ds+μ

g(u(s))ds  –mi=–kiξi

t

λ

G(t,s)h(s)f y(s)ds+μ

g(y(s))ds  –mi=–kiξi

t

=y(t).

On the other hand, we also have

Tu(t) =λ

G(t,s)h(s)f u(s)ds+μ

g(u(s))ds  –mi=–kiξi

t

λ

G(t,s)h(s)f x(s)ds+μ

g(x(s))ds  –mi=–kiξi

t

=x(t).

From above inequalities, we obtain thatT:DyxDyx.

Therefore, by Schauder’s fixed theorem, the operatorThas a fixed pointu(t)Dyx, which

(5)

3 Proof of Theorem 1.1

Lemma . Assume (H)-(H) hold andbe a compact subset of R

+\{(, )}. Then there exists a constant C> such that for all(λ,μ)and all possible positive solutions u(t)

of () at(λ,μ), one hasuC.

Proof Suppose on the contrary that there exists a sequence{un}of positive solutions of

Eq. () at (λn,μn) such that (λn,μn)∈for allnNand

un → ∞.

Thenun(t)∈K, and thus

inf

t∈[ξ,ξm–]un(t)≥θun. ()

Sinceis compact, the sequence{(λn,μn)}∞n=has a convergent subsequence which we denote without loss of generality still by{(λn,μn)}∞n=such that

lim

n→∞λn=λ

*, lim

n→∞μn=μ

*

and at leastλ*>  orμ*> . Case (I). Ifλ*> , we haveλ

nλ*/ >  fornsufficient large. Then by (H), there exists

aR>  such that

f(u)≥Lu,uR,

whereLsatisfies

λ* Lθtmin∈[,]

ξm–

ξ

G(t,s)h(s)ds> .

Sinceun → ∞, fornsufficient large, we

un(t) =λn

G(t,s)h(s)f un(s)

ds+μn

g(un(s))ds  –mi=–kiξi

t

λn

G(t,s)h(s)f un(s)

ds

λn

G(t,s)h(s)Lun(s)ds

λ*

ξm–

ξ

G(t,s)h(s)Lun(s)ds

λ*

Lθuntmin∈[,]

ξm–

ξ

G(t,s)h(s)ds

>un.

(6)

Case (II). Ifμ*> , then we haveμ

nμ*/ >  fornsufficient large. Sincelim|u|→+∞g(uu) =

+∞, there exists aR>  such that

g(u)Mu,uR,

whereMsatisfies

μ* 

Mθ ξ(ξm––ξ)  –mi=–kiξi

> .

Sinceun → ∞, then fornsufficient large, we have

un(ξ) =λn

G(ξ,s)h(s)f un(s)

ds+μn

g(un(s))ds  –mi=–kiξi

ξ

μn

g(un(s))ds  –mi=–kiξi

ξ

μn

Mun(s)ds  –mi=–kiξi

ξ

μ*

Mθuξ(ξm––ξ)  –mi=–kiξi

>un.

This is a contradiction.

Lemma . Assume (H)-(H) hold. If () has a positive solution at(λ,μ), then Eq. () has a positive solution at(λ,μ)R

+\{(, )}for all(λ,μ)≤(λ,μ).

Proof Letu(t) be the solution of Eq. () at (λ,μ), thenu(t) be the upper solution of () at (λ,μ)R+\{(, )}with (λ,μ)≤(λ,μ). Sincef() >  org() > ,u=  is not a solution of (), but it is the lower solution of () at (λ,μ). Therefore, by Lemma ., we obtain the

result.

Lemma . Assume (H)-(H) hold. Then there exists(λ*,μ*) > (, )such that Eq. () has a positive solution for all(λ,μ)≤(λ*,μ*).

Proof Letβ(t) be the unique solution of

⎧ ⎨ ⎩

–u(t) =h(t),

u() = , u() –mi=–kiu(ξi) = .

()

It is clear to see that β(t) is a positive solution of (). Let Mf = maxt∈[,]f(β(t)), Mg =maxt∈[,]g(β(t)), then by (H), we know thatMf >  and Mg > . Set (λ*,μ*) =

(/Mf, /Mg), we have ⎧

⎨ ⎩

β(t) +λ*h(t)f(β(t)) = –h(t) +λ*h(t)f(β(t)) =h(t)(λ*f(t)) – ), β() = , β() –mi=–kiβi) –μ*

g(β(s))ds=

  –μ

(7)

which implies thatβ(t) is an upper solution of () at (λ*,μ*). On the other hand,  is a lower solution of () and ≤β(t). By (H),  is not a solution of (). Hence, () has a positive solution at (λ*,μ*), Lemma . now implies the conclusion of Lemma ..

Define a setSby

S=(λ,μ)R+\(, ): () has a positive solution at (λ,μ).

Then it follows from Lemma . thatS=∅and (S,≤) is a partially ordered set.

Lemma . Assume (H)-(H) hold. Then(S,≤)is bounded above.

Proof Let (λ,μ)Sandu(t) be a positive solution of () at (λ,μ), then we have

uu(ξ) =λ

G(ξ,s)h(s)f u(s)

ds+μ

g(u(s))ds  –mi=–kiξi

ξ

λ

G(ξ,s)h(s)mu(s)ds+μ

mu(s)ds  –mi=–kiξi

ξ

λ

ξm–

ξ

G(ξ,s)h(s)mu(s)ds+μ

mθuξ(ξm––ξ)  –mi=–kiξi

λmθu

ξm–

ξ

G(ξ,s)h(s)ds+μ

mθuξ(ξm––ξ)  –mi=–kiξi

by (H). Furthermore, we can obtain that

λmθ

ξm–

ξ

G(ξ,s)h(s)ds+μ

mθ ξ(ξm––ξ)  –mi=–kiξi

≤.

Lemma . Assume (H)-(H) hold. Then every chain in S has a unique supremum in S.

Lemma . Assume (H)-(H) hold. Then there exists aλ∈[λ*,λ]such () has a positive solution at(λ, )for all <λλ, no solution at(λ, )for allλ>λ. Similarly, there exists a

μ∈[μ*,μ]such that () has a positive solution at(,μ)for all <μμ, and no solution at(,μ)for allμ>μ.

Lemma . Assume (H)-(H) hold. Then there exists a continuous curve separating R+\{(, )}into two disjoint subsetsandsuch that is bounded andis un-bounded, Eq. () has at least one solution for(λ,μ)∪, and no solution for(λ,μ). The functionμ=μ(λ)is nonincreasing, that is, if

λλλ,

then

(8)

Lemma . Let(λ,μ). Then there existsε> such that(u*+ε,v*+ε)is an upper solution of () at(λ,μ)for all <εε, where(u*,v*)is the positive solution of Eq. () corresponding to some(λ*,μ*)∈satisfying

(λ,μ)λ*,μ*.

Proof From (H), there exists constantM>  such that

f u*(t)≥M> , g u*(t)≥M> , for allt∈[, ].

Then by the uniform continuity off andgon a compact set, there exist>  such that

f u*(t) +f u*(t)<M(λ *λ)

λ ,

g u*(t) +g u*(t)<M(μ *μ)

μ ,

for allt∈[, ] and  <. Letu*

=u*+, then we have

u*(t) +λh(t)f u*(t)= –λ*h(t)f u*(t)+λh(t)f u*(t)≤h(t) λ*–λ Mf u*≤,

u*() => ,

and

u*() – m–

i=

kiu*i) –μ

g u*

ds

=u*() +

m–

i=

ki u*(ξi) +

μ

g u*+ds

=u*() –

m–

i=

ki u*(ξi)

+

m–

i= kiμ

g u*+ds

=μ*

g u*dsμ

g u*+ds+

 – m– i= ki

= μ*–μ

g u*ds+μ

g u*–g u*+ds

+  – m– i= ki ≥  – m– i= ki > .

From above inequalities, it is clear to see thatu*

, is an upper solution of () at (λ,μ) for all

(9)

Proof of Theorem . From above lemmas, we need only to show the existence of the sec-ond positive solution of () for (λ,μ). Let (λ,μ), then there exists (λ*,μ*)∈ such that

(λ,μ)λ*,μ*.

Let (u*,v*) be the positive solution of () at (λ*,μ*). Then forε

>  given by Lemma . and for allε:  <εε, denote

u*=u*+ε, v*=v*+ε.

Define the set

D=uE: –ε<u<u*.

Then Dis bounded open set inE and ∈D. The mapT satisfies KDK and is condensing, since it is completely continuous. Now let (u,v)K∂D, then there exists ξ∈[, ] such that eitheru(ξ) =u*(ξ). Then by (H) and Lemma ., we obtain

Tu(ξ) =λ

G(ξ,s)h(s)f u(s)ds+μ

g(u(s))ds  –mi=–kiξi

ξ

λ

G(ξ,s)h(s)f u*(s)ds+μ

 g(u

*(s))ds

 –mi=–kiξi

ξ

<u*(ξ) =u(ξ)ϑu(ξ)

for allϑ≥. Thus,T(u)=ϑufor alluK∂Dandϑ≥, Lemma . now implies that

i(T,KD,K) = .

Now for some fixedλandμ, it follows from assumption (H) that there exists aR>  such that

f(u)≥Lu, and g(u)Lu,uR, ()

whereLsatisfies

λ

ξm–

ξ

G(ξ,s)h(s)ds+μ

ξ(ξm––ξ)

 –mi=–kiξi

> .

LetR*=max{C

,θ–R,(u*,v*)}whereCis given by Lemma . witha compact set

inR

+\{(, )}containing (λ,μ). Let

KR*=

uK:u<R*.

Then it follows from Lemma .,

(10)

Moreover, foru∂KR*, we have

inf

t∈[ξ,ξm–]

u(t)θuR.

Furthermore, we have

Tu(ξ) =λ

G(ξ,s)h(s)f u(s)

ds+μ

g(u(s))ds  –mi=–kiξi

ξ

≥ 

G(ξ,s)h(s)Lu(s)ds+μ

 Lu(s)ds  –mi=–kiξi

ξ

λLθu

ξm–

ξ

G(ξ,s)h(s)ds+μ

Lθuξ(ξm––ξ)  –mi=–kiξi

=

λ

ξm–

ξ

G(ξ,s)h(s)ds+μ

ξ(ξm––ξ)

 –mi=–kiξi

u

>u.

Thus,Tu>uand it follows from Lemma . that

i(T,KR*,K) = .

By the additivity of the fixed-point index,

 =i(T,KR*,K) =i(T,KD,K) +i(T,KR*\KD,K)

=  +i(T,KR*\KD,K),

which yields

i(T,KR*\KD,K) = –.

Hence,Thas at least one fixed point inKDand another one inKR*\KD; this shows

that in, () has at least two positive solution.

Example Consider the following boundary value problem:

⎧ ⎨ ⎩

–u(t) =λ(u+ ),

u() = , u() –mi=–kiu(ξi) =μ

(u(s) + )ds,

()

wheref(u) = (u+ ),g(u) = (u+ ), andh(t) = .

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

(11)

Author details

1College of Science, Hohai University, Nanjing, 210098, P.R. China.2Department of Mathematics, Nanjing University of

Aeronautics and Astronautics, Nanjing, 210016, P.R. China.

Acknowledgements

The authors would like to thank the referees for valuable comments and suggestions for improving this paper. The first author is supported financially by the Fundamental Research Funds for the Central Universities.

Received: 14 May 2012 Accepted: 27 July 2012 Published: 6 August 2012

References

1. Kong, L, Kong, Q: Higher order boundary value problems with nonhomogeneous boundary conditions. Nonlinear Anal.72, 240-261 (2010)

2. Kong, L, Wong, JSW: Positive solutions for higher order multi-point boundary value problems with nonhomogeneous boundary conditions. J. Math. Anal. Appl.367, 588-611 (2010)

3. Ma, R: Positive solutions for nonhomogeneous m-point boundary value problems. Comput. Math. Appl.47, 689-698 (2004)

4. Yang, X: Existence of positive solutions for 2m-order nonlinear differential systems. Nonlinear Anal.61, 77-95 (2005) 5. Hao, X, Liu, L, Wu, Y: On positive solutions of an m-point nonhomogeneous singular boundary value problem.

Nonlinear Anal.73, 2532-2540 (2010)

6. Guo, D, Lakshmikantham, V: Nonlinear Problems in Abstract Cones. Academic Press, New York (1988)

doi:10.1186/1687-2770-2012-87

References

Related documents

Has-sometsuke ( HasSom ) is the only gene in this study to be expressed in the anterior zone of the outer fold of the mantle (Figure 3W and 4) and the only gene to map pre- cisely to

Http://www.ijetmr.com © International Journal of Engineering Technologies and Management Research [1-11]  Enhancement in the Information and Communication Technology is very

When IT professionals facing unethical issues, how did the dominators of their ethical evaluations work between unethical issue with different moral intensity and

To provide more details of the results, the logistic regression model was constituted for determining the effects of predictor variables (diagnostic control system, interactive

Four research questions were addressed in the study: Research Question One: What was the (1) perceived aptitude of college students toward the dependent

The villages in Himalayan states like Jammu and Kashmir, Himachal Pradesh and Uttarakhand are not yet well connected for mobile services due to the rugged terrains

the generalized difference operator of the n th kind and obtain some significant results, relations and formulae in number theory using Stirling numbers of the second kind,

Tüketici temelli marka değeri boyutlarının ortalama skorları incelendiğinde; marka farkındalığının 3,70; marka çağrışımının 3,51; algılanan kalitenin 3,75 ve