• 検索結果がありません。

Positive Solutions for Two-Point Semipositone Right Focal Eigenvalue Problem

N/A
N/A
Protected

Academic year: 2022

シェア "Positive Solutions for Two-Point Semipositone Right Focal Eigenvalue Problem"

Copied!
12
0
0

読み込み中.... (全文を見る)

全文

(1)

Volume 2007, Article ID 23108,12pages doi:10.1155/2007/23108

Research Article

Positive Solutions for Two-Point Semipositone Right Focal Eigenvalue Problem

Yuguo Lin and Minghe Pei

Received 28 March 2007; Revised 13 July 2007; Accepted 27 August 2007 Recommended by P. Joseph McKenna

Krasnoselskii’s fixed-point theorem in a cone is used to discuss the existence of positive solutions to semipositone right focal eigenvalue problems (1)npu(n)(t)=λ f(t,u(t), u(t),...,u(p1)(t)),u(i)(0)=0, 0ip1,u(i)(1)=0, pin1, wheren2, 1 pn1 is fixed, f : [0, 1]×[0,)p(−∞,) is continuous with f(t,u1,u2,...,up)

Mfor some positive constantM.

Copyright © 2007 Y. Lin and M. Pei. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

1. Introduction

In recent years, many papers have discussed the existence of positive solutions of right focal boundary value problems, see [1–7]. In 2003, Ma [5] established existence results of positive solutions for the fourth-order semipositone boundary value problems

u(4)(x)=λ fx,u(x),u(x),

u(0)=u(0)=u(1)=u(1)=0. (1.1) Motivated by Agarwal and Wong [8] and Ma [5], the purpose of this article is to gen- eralize and complement Ma’s work tonth-order right focal eigenvalue problems:

(1)npu(n)(t)=λ ft,u(t),u(t),...,u(p1)(t) (1.2) with boundary conditions

u(i)(0)=0, 0ip1,

u(i)(1)=0, pin1, (1.3)

(2)

wheren2, 1pn1 is fixed, f : [0, 1]×[0,)p(−∞,) is continuous with f(t,u1,u2,...,up)≥ −Mfor some positive constantM.

We say thatu(t) is positive solution of BVP (1.2), (1.3) ifu(t)Cn[0, 1] is solution of BVP (1.2), (1.3) andu(i)(t)>0,t(0, 1),i=0, 1,...,p1.

For other related works with focal boundary value problem, we refer to recent contri- butions of Agarwal [1], Agarwal et al. [2], Boey and Wong [3], He and Ge [4], and Wong and Agarwal [6,7].

The outline of the paper is as follows: inSection 2, we will present some lemmas which will be used in the proof of main results. InSection 3, by using Krasnoselskii’s fixed-point theorem in a cone, we offer criteria for the existence of a positive solution and two positive solutions of BVP (1.2), (1.3).

2. Some preliminaries

In order to abbreviate our discussion, we useCi(i=1, 2, 3, 4, 5) to denote the following conditions:

(C1) f(t,u1,u2,...,up)C([0, 1]×[0,)p, (−∞,)) is continuous with f(t,u1,u2, ...,up)≥ −Mfor some positive constantM;

(C2) there exists constant 0< ε <1 such that

u1,u2lim,...,up→∞ min

t[ε,1]

ft,u1,u2,...,up+M

up = ∞; (2.1)

(C3) there exists constantα >0 such that

ulimp0+ min

(t,u1,u2,...,up1)[0,1]×[0,α]p1

ft,u1,u2,...,up

up = ∞; (2.2)

(C4) there exists constantα >0 such that

ft,u1,u2,...,up1, 0>0, t,u1,u2,...,up1

[0, 1]×[0,α]p1; (2.3) (C5)h(s)=snp/(np)!, D1=(01h(s)ds)1,D2=(ε1h(s)ds)1, where 0< ε <1 is

constant.

Let B = {u Cp1[0, 1] : u(i)(0) =0, 0 i p 2} with the norm u = supt[0,1]|u(p1)(t)|. It is easy to prove thatBis a Banach space.

Lemma 2.1. Let

C

uB:u(p1)(t)tu,t[0, 1]. (2.4) ThenCis a cone inBand for alluC,

tpiu

(pi)! u(i)(t)u, t[0, 1],i=0, 1,...,p1. (2.5)

(3)

Proof. For allu,vCand for allα0,β0, we have

αu(t) +βv(t)(p1)=αu(p1)(t) +βv(p1)(t)

αtu+βtv

tαu+βv,

(2.6)

soαu+βvC. In addition, ifuC,uC, andu=θ(whereθ denotes the zero ele- ment ofB), then

u(p1)(t)tu0, t[0, 1],

u(p1)(t)tu0, t[0, 1]. (2.7) Thusu(p1)(t)=0,t[0, 1]. It follows thatu =0, which contradicts the assumption.

HenceCis a cone inB.

For alluC, 0ip1, due to Taylor’s formula, we haveξ(0,t) such that u(i)(t)=u(i)(0) +u(i+1)(0)t+···+u(p2)(0)tpi2

(pi2)! +u(p1)(ξ)tpi1

(pi1)! . (2.8) It follows fromuCthat fori=0, 1,...,p1,

uu(i)(t)=u(p1)(ξ)tpi1 (pi1)!

tutpi1 (pi1)!=

tpiu (pi1)!

tpiu (pi)!.

(2.9) Lemma 2.2 [6]. LetK(t,s) be Green’s function of the differential equation (1)npu(n)(t)=0 subject to the boundary conditions (1.3). Then

K(t,s)=(1)np (n1)!

p1 i=0

n1 i

ti(s)ni1, 0st1,

n1 i=p

n1 i

ti(s)ni1, 0ts1,

i

∂tiK(t,s)0, (t,s)[0, 1]×[0, 1], 0ip.

(2.10)

Lemma 2.3. Assume that (C5) holds. Letk(t,s) be Green’s function of the differential equa- tion

(1)npu(np+1)(t)=0 (2.11) subject to the boundary conditions

u(0)=0, u(i)(1)=0, 1inp. (2.12)

(4)

Then

th(s)k(t,s)h(s), (t,s)[0, 1]×[0, 1]. (2.13) Proof. It is clear that

k(t,s)= p1

∂tp1K(t,s)= 1 (np)!

snp, 0st1,

snp(st)np, 0ts1. (2.14) Obviously,

th(s) 1

(np)!snph(s), 0st1. (2.15) For 0ts1,

h(s) 1 (np)!

snp(st)np

= 1 (np)!

s(st)

np1 i=0

snp1i(st)i

1

(np)!tsnp1

1

(np)!tsnp=th(s).

(2.16)

Thus,

th(s)k(t,s)h(s), (t,s)[0, 1]×[0, 1]. (2.17) Lemma 2.4. The boundary value problem

(1)(np)u(n)(t)=1, t[0, 1], u(i)(0)=0, 0ip1, u(i)(1)=0, pin1,

(2.18)

has unique solutionw(t)Cn[0, 1] and 0w(i)(t) tpi

(np)!(pi)!, t[0, 1], 0ip1. (2.19) Proof. It is clear that the boundary value problem

(1)(np)u(n)(t)=1, t[0, 1], u(i)(0)=0, 0ip1, u(i)(1)=0, pin1,

(2.20)

(5)

has unique solution

w(t)= 1

0K(t,s)ds, (2.21)

whereK(t,s) is as inLemma 2.2.

Obviously, for 0st1, 1

(np)!snp tsnp1

(np1)!. (2.22)

For 0ts1, 1 (np)!

snp(st)np= 1

(np)![s(st)]

np1 i=0

snp1i(st)i

(np)tsnp1 (np)!=

tsnp1 (np1)!.

(2.23)

So

0k(t,s) tsnp1

(np1)!, (2.24)

wherek(t,s) is as inLemma 2.3. Sincew(p1)(t)=1

0k(t,s)ds, then

0w(p1)(t)= 1

0k(t,s)ds 1

0

tsnp1

(np1)!ds= t

(np)!. (2.25) Further, sincew(i)(0)=0, 0ip1, we get

0w(i)(t) tpi

(np)!(pi)!, t[0, 1], 0ip1. (2.26) Lemma 2.5 [8]. LetEbe a Banach space, and letCEbe a cone inE. Assume thatΩ1,Ω2

are open subsets ofEwith 0Ω1Ω1Ω2, and letT:C2\Ω1)Cbe a completely continuous operator such that either

(i)Tuu,uC∂Ω1,Tuu,uC∂Ω2or (ii)Tuu,uC∂Ω1,Tuu,uC∂Ω2. Then,Thas a fixed point inC2\Ω1).

3. Main results

In this section, by usingLemma 2.5, we offer criteria for the existence of positive solutions for two-point semipositone right focal eigenvalue problem (1.2), (1.3).

Theorem 3.1. Assume (C1), (C2), and (C5) hold. Then BVP (1.2), (1.3) has at least one positive solution ifλ >0 is small enough.

(6)

Proof. We consider BVP

(1)npu(n)(t)=λ ft,u(t)φ(t),...,u(p1)(t)φ(p1)(t), u(i)(0)=0, 0ip1,

u(i)(1)=0, pin1,

(3.1)

where

φ(t)=λMw(t) w(t) is as inLemma 2.4,

ft,u1,u2,...,up=ft,ρ12,...,ρp+M, (3.2) and for alli=1, 2,...,p,

ρi=

ui, ui0;

0, ui<0. (3.3)

We will prove that (3.1) has a solutionu1(t). Obviously, (3.1) has a solution inCif and only if

u(t)= 1

0K(t,s)λ fs,u(s)φ(s),u(s)φ(s),...,u(p1)(s)φ(p1)(s)ds :=(T1u)(t)

(3.4)

or

u(p1)(t)= 1

0k(t,s)λ fs,u(s)φ(s),u(s)φ(s),...,u(p1)(s)φ(p1)(s)ds :=

T1u(p1)(t)

(3.5)

has a solution inC. FromLemma 2.3, we know that T1u(p1)(t)

= 1

0k(t,s)λ fs,u(s)φ(s),u(s)φ(s),...,u(p1)(s)φ(p1)(s)ds

1

0h(s)λ fs,u(s)φ(s),u(s)φ(s),...,u(p1)(s)φ(p1)(s)ds,

(3.6)

so

T1u 1

0h(s)λ fs,u(s)φ(s),u(s)φ(s),...,u(p1)(s)φ(p1)(s)ds. (3.7)

(7)

FromLemma 2.3again, T1u(p1)(t)

= 1

0k(t,s)λ fs,u(s)φ(s),u(s)φ(s),...,u(p1)(s)φ(p1)(s)ds

1

0th(s)λ fs,u(s)φ(s),u(s)φ(s),...,u(p1)(s)φ(p1)(s)ds

=t 1

0h(s)λ fs,u(s)φ(s),u(s)φ(s),...,u(p1)(s)φ(p1)(s)ds

tT1u.

(3.8)

Hence,T1(C)C. Further, it is clear thatT1:CCis completely continuous.

Let

λ(0,Λ) (3.9)

be fixed, where

Λ=min 2D1

M1

,(np)!

M

, (3.10)

M1=maxft,u1,u2,...,up

:t,u1,u2,...,up

[0, 1]×[0, 2]p. (3.11) We separate the rest of the proof into the following two steps.

Step 1. Let

Ω1=

uB:u<2. (3.12)

From the definition of f, we know M1=maxft,u1,u2,...,up

:t,u1,u2,...,up

[0, 1]×[0, 2]p

=maxft,u1,u2,...,up

:t,u1,u2,...,up

[0, 1]×(−∞, 2]p. (3.13) It follows fromLemma 2.3and (C5) that for allu∂Ω1C,

T1u(p1)(t)

= 1

0k(t,s)λ fs,u(s)φ(s),u(s)φ(s),...,u(p1)(s)φ(p1)(s)ds

1

0h(s)λM1ds=λM1D11<2= u.

(3.14)

Hence,

T1uu, u∂Ω1C. (3.15)

(8)

Step 2. From (C2), we know that there existsη >2 (ηcan be chosen arbitrarily large) such that

σ:=1 λM

(np)!η>1 λM 2(np)!>1

2, (3.16)

and for all (u1,u2,...,up)[(εpση)/ p!,)p1×[εση,),

tmin[ε,1]

ft,u1,u2,...,up+M

up

2D2

λε D2

λεσ. (3.17)

Then, for all (t,u1,u2,...,up)[ε, 1]×[(εpση)/ p!,η]p1×[εση,η], ft,u1,u2,...,up

+MD2up

λεσ D2η

λ . (3.18)

It follows from Lemmas2.1and2.4that foruCandu =η, u(i)(t)φ(i)(t)=u(i)(t)λMw(i)(t)

u(i)(t) λMtpi (np)!(pi)!

u(i)(t)λMu(i)(t) (np)!η

=

1 λM

(np)!η

u(i)(t)

1 λM

(np)!η tpiη

(pi)!

=σ tpiη

(pi)!, t[0, 1] (by (3.16))

εpση

p! , 0ip2,t[ε, 1], εση, i=p1,t[ε, 1].

(3.19)

UsingLemma 2.3and (3.18), we know that T1u(p1)(1)

= 1

0k(1,s)λ fs,u(s)φ(s),u(s)φ(s),...,u(p1)(s)φ(p1)(s)ds

1

ε h(s)λD2η λ ds=

1

ε h(s)D2η ds=η= u.

(3.20)

Hence, let

Ω2=

uB:u< η, (3.21)

(9)

then

T1uu, u∂Ω2C. (3.22)

Thus, it follows from the first part ofLemma 2.5thatT1(u)=uhas one fixed pointu(t) inC, such that 2uη.

Let

u1(t)=u(t)φ(t). (3.23)

From Lemmas2.1,2.4, and (3.16), we know that fori=0, 1,...,p1, u(1i)(t)=u(i)(t)φ(i)(t)

=u(i)(t)λMw(i)(t)

u(i)(t) λMtpi (np)!(pi)!

u(i)(t)λMu(1i)(t) 2(np)!

=

1 λM

2(np)!

u(i)(t)

1 λM

2(np)!

2tpi (pi)!

> tpi

(pi)!>0, t(0, 1].

(3.24)

This implies that

u(i)1 (t)>0, t(0, 1],i=0, 1,...,p1. (3.25) Further, we get

(1)npu(1n)(t)=(1)npu(n)(t)λM

=λ ft,u(t)φ(t),u(t)φ(t),...,u(p1)(t)φ(p1)(t)λM

=λ ft,u(t)φ(t),u(t)φ(t),...,u(p1)(t)φ(p1)(t)

=λ ft,u1(t),u1(t),...,u(p11)(t).

(3.26) So,u1(t)=u(t)φ(t) is a positive solution of BVP (1.2), (1.3).

Thus, forλ(0,Λ), BVP (1.2), (1.3) has at least one positive solution.

Theorem 3.2. Assume (C1), (C2), (C3), and (C5) hold. Then BVP (1.2), (1.3) has at least two positive solutions ifλ >0 is small enough.

(10)

Proof. It follows fromTheorem 3.1that, forλ(0,Λ), whereΛis as in (3.10), BVP (1.2), (1.3) has positive solutionu1(t) such that

u1>1. (3.27)

Next, we will find the second positive solution. From (C3), we know that there exists a(0,) such that

ft,u1,u2,...,up0, t,u1,u2,...,up[0, 1]×[0,a]p. (3.28) We consider the following BVP:

(1)(np)u(n)(t)=λ f∗∗t,u(t),u(t),...,u(p1), t[0, 1], u(i)(0)=0, 0ip1,

u(i)(1)=0, pin1,

(3.29)

where

f∗∗t,u1,u2,...,up

=ft,ρ12,...,ρp , ρi=

ui, ui[0,a],

a, ui(a,), i=1, 2,...,p. (3.30) It is easy to prove that (3.29) has a solution inCif and only if operator

u(t)= 1

0K(t,s)λ f∗∗s,u(s),u(s),...,u(p1)(s)ds:=

T2u(t) (3.31) or

u(p1)(t)= 1

0k(t,s)λ f∗∗s,u(s),u(s),...,u(p1)(s)ds=

T2u(p1)(t) (3.32) has a fixed point inC. Moreover, it is easy to check thatT2:CCis completely contin- uous.

Let

H=min{1,a}, Λ1=min

Λ,D1H M2

, (3.33)

whereΛis as in (3.10) and

M2:=maxf∗∗t,u1,u2,...,up:t,u1,u2,...,up[0, 1]×[0,a]p. (3.34)

(11)

Let

λ 0,Λ1

(3.35)

be fixed.

Let

Ω3=

uB:u< H. (3.36)

Then foruC∂Ω3, we have fromLemma 2.3and (C5) that T2u(p1)(t)=λ

1

0k(t,s)f∗∗t,u(s),u(s),...,u(p1)(s)ds

λ 1

0h(s)f∗∗t,u(s),u(s),...,u(p1)(s)ds

λD11M2< H.

(3.37)

Therefore,

T2uu, uC∂Ω3. (3.38)

From (C3), there existη,r0, whereλη01sh(s)ds >1 withr0< Hsuch that f∗∗t,u1,u2,...,up

ηup, t,u1,u2,...,up

[0, 1]× 0,r0

p

. (3.39)

ForuCandu =r0, we have fromLemma 2.3and (3.39) that T2u(p1)(1)=λ

1

0k(1,s)f∗∗s,u(s),u(s),...,u(p1)(s)ds

=λ 1

0h(s)f∗∗s,u(s),u(s),...,u(p1)(s)ds

λ 1

0h(s)ηu(p1)(s)ds

λ 1

0h(s)ηsuds (by the definition ofC)

=λη 1

0sh(s)dsu

>u.

(3.40)

Thus, let

Ω4=

uB:u< r0

, (3.41)

then

T2uu, uC∂Ω4. (3.42)

(12)

Therefore, it follows from the first part ofLemma 2.5that BVP (3.29) has a solution u2such that

r0u2H. (3.43)

From the definition of f∗∗andLemma 2.1, we know thatu2is positive solution of BVP (1.2), (1.3).

Thus, from (3.27), (3.33), and (3.43), we find that forλ(0,Λ1), BVP (1.2), (1.3) has

two distinct positive solutionsu1andu2.

Corollary 3.3. Assume (C1), (C2), (C4), and (C5) hold. Then BVP (1.2), (1.3) has at least two positive solutions ifλ >0 is small enough.

Proof. It is easy to prove from (C4) that (C3) holds. By usingTheorem 3.2, we know that

the result holds.

Remark 3.4. By letting n=4, p=2 in Theorem 3.1 andCorollary 3.3, we get Ma [5, Theorems 1 and 2].

Acknowledgment

The authors thank the referee for valuable suggestions which led to improvement of the original manuscript.

References

[1] R. P. Agarwal, Boundary Value Problems for Higher Order Differential Equations, World Scientific, Singapore, 1986.

[2] R. P. Agarwal, D. O’Regan, and V. Lakshmikantham, “Singular (p,np) focal and (n,p) higher order boundary value problems,” Nonlinear Analysis: Theory, Methods & Applications, vol. 42, no. 2, pp. 215–228, 2000.

[3] K. L. Boey and P. J. Y. Wong, “Two-point right focal eigenvalue problems on time scales,” Applied Mathematics and Computation, vol. 167, no. 2, pp. 1281–1303, 2005.

[4] X. He and W. Ge, “Positive solutions for semipositone (p,np) right focal boundary value problems,” Applicable Analysis, vol. 81, no. 2, pp. 227–240, 2002.

[5] R. Ma, “Multiple positive solutions for a semipositone fourth-order boundary value problem,”

Hiroshima Mathematical Journal, vol. 33, no. 2, pp. 217–227, 2003.

[6] P. J. Y. Wong and R. P. Agarwal, “Multiple positive solutions of two-point right focal boundary value problems,” Mathematical and Computer Modelling, vol. 28, no. 3, pp. 41–49, 1998.

[7] P. J. Y. Wong and R. P. Agarwal, “On two-point right focal eigenvalue problems,” Zeitschrift f¨ur Analysis und ihre Anwendungen, vol. 17, no. 3, pp. 691–713, 1998.

[8] R. P. Agarwal and F.-H. Wong, “Existence of positive solutions for non-positive higher-order BVPs,” Journal of Computational and Applied Mathematics, vol. 88, no. 1, pp. 3–14, 1998.

Yuguo Lin: Department of Mathematics, Bei Hua University, JiLin City 132013, China Email address:[email protected]

Minghe Pei: Department of Mathematics, Bei Hua University, JiLin City 132013, China Email address:[email protected]

参照

関連したドキュメント

Zhang, Positive solutions for boundary value problems of nonlinear fractional differential equation, Nonlinear Anal., 71 (2009), 5545–5550.. Zeddini, Existence and estimates of

The main result of our paper, stated as Theorem 3.1, says that problem (D λ ) has at least two non-trivial, generalized solutions under appropriate, not complicated assumptions on

Cabada, “The method of lower and upper solutions for second, third, fourth, and higher order boundary value problems,” Journal of Mathematical Analysis and Applications, vol.

By meaning of the upper and lower solutions method, we study the existence of positive solutions for a class of q-fractional boundary value problems with p-Laplacian.. In recent

Yang, Multiple symmetric positive solutions of a class of boundary value problems for higher order ordinary differential equations, Proc... Yang, On a nonlinear boundary value

Yang, Multiple symmetric positive solutions of a class of boundary value problems for higher order ordinary differential equations, Proc.. Yang, A three point boundary value problem

Singular, Four-point boundary value problem, Multiple positive solutions, p-Laplacian, Leray-Schauder degree, Fixed point theorem.. 2000 Mathematics

W ang , Existence of solutions of nonlinear two-point boundary value problems for third-order nonlinear differential equations, Northeast. W eili , Existence and uniqueness of