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

JJ II

N/A
N/A
Protected

Academic year: 2022

シェア "JJ II"

Copied!
23
0
0

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

全文

(1)

volume 6, issue 1, article 10, 2005.

Received 09 April, 2004;

accepted 24 December, 2004.

Communicated by:S.S. Dragomir

Abstract Contents

JJ II

J I

Home Page Go Back

Close Quit

Journal of Inequalities in Pure and Applied Mathematics

TRIPLE SOLUTIONS FOR A HIGHER-ORDER DIFFERENCE EQUATION

ZENGJI DU, CHUNYAN XUE AND WEIGAO GE

Department of Mathematics Beijing Institute of Technology Beijing 100081

People’s Republic of China EMail:[email protected] EMail:[email protected] EMail:[email protected]

c

2000Victoria University ISSN (electronic): 1443-5756 080-04

(2)

Triple Solutions for a Higher-order Difference

Equation

Zengji Du, Chunyan Xue and Weigao Ge

Title Page Contents

JJ II

J I

Go Back Close

Quit Page2of23

J. Ineq. Pure and Appl. Math. 6(1) Art. 10, 2005

http://jipam.vu.edu.au

Abstract

In this paper, we are concerned with the followingnth difference equations

ny(k−1) +f(k, y(k)) = 0, k∈ {1, . . . , T},

iy(0) = 0, i= 0,1, . . . , n−2, ∆n−2y(T+ 1) =α∆n−2y(ξ),

wheref is continuous, n≥ 2,T ≥ 3andξ ∈ {2, . . . , T−1}are three fixed positive integers, constantα >0such thatαξ < T + 1. Under some suitable conditions, we obtain the existence result of at least three positive solutions for the problem by using the Leggett-Williams fixed point theorem.

2000 Mathematics Subject Classification:39A10.

Key words: Discrete three-point boundary value problem; Multiple solutions; Green’s function; Cone; Fixed point.

Sponsored by the National Natural Science Foundation of China (No. 10371006).

The authors express their sincere gratitude to the referee for very valuable sugges- tions.

Contents

1 Introduction. . . 3 2 Background Definitions and Green’s Function . . . 5 3 Existence of Triple Solutions. . . 12

References

(3)

Triple Solutions for a Higher-order Difference

Equation

Zengji Du, Chunyan Xue and Weigao Ge

Title Page Contents

JJ II

J I

Go Back Close

Quit Page3of23

J. Ineq. Pure and Appl. Math. 6(1) Art. 10, 2005

http://jipam.vu.edu.au

1. Introduction

This paper deals with the following three-point discrete boundary value problem (BVP, for short):

(1.1) ∆ny(k−1) +f(k, y(k)) = 0, k ∈ {1, . . . , T},

(1.2) ∆iy(0) = 0, i= 0,1, . . . , n−2, ∆n−2y(T + 1) =α∆n−2y(ξ), where ∆y(k −1) = y(k) − y(k − 1), ∆ny(k − 1) = ∆n−1(∆y(k − 1)), k ∈ {1, . . . , T}.

Throughout, we assume that the following conditions are satisfied:

(H1) T ≥3andξ ∈ {2, . . . , T −1}are two fixed positive integers,α >0such thatαξ < T + 1.

(H2) f ∈C({1, . . . , T} ×[0,+∞),[0,+∞))andf(k,·)≡0does not hold on {1, . . . , ξ−1}and{ξ, . . . , T}.

In the few past years, there has been increasing interest in studying the exis- tence of multiple positive solutions for differential and difference equations, for example, we refer the reader to [1] – [8].

Recently, Ma [9] studied the following second-order three-point boundary value problem

(1.3) u00+λa(t)f(u) = 0, t∈(0,1), u(0) = 0, αu(η) =u(1),

(4)

Triple Solutions for a Higher-order Difference

Equation

Zengji Du, Chunyan Xue and Weigao Ge

Title Page Contents

JJ II

J I

Go Back Close

Quit Page4of23

J. Ineq. Pure and Appl. Math. 6(1) Art. 10, 2005

http://jipam.vu.edu.au

by applying fixed-point index theorems and Leray-Schauder degree and upper and lower solutions. In the caseλ= 1, under the conditions thatfis superlinear or sublinear, Ma [10] considered the existence of at least one positive solution of problem (1.3) by using Krasnosel’skii’s fixed-point theorem.

However, in [9] – [11], the author did not give the associate Green’s func- tion and exceptional work was carried out for higher order multi-point differ- ence equations. In the current work, we give the associate Green’s function and obtain the existence of multiple positive solutions for BVP (1.1) – (1.2) by employing the Leggett-Williams fixed point theorem. Our results are new and different from those in [9] – [11]. Particularly, we do not require the assumption thatf is either superlinear or sublinear.

(5)

Triple Solutions for a Higher-order Difference

Equation

Zengji Du, Chunyan Xue and Weigao Ge

Title Page Contents

JJ II

J I

Go Back Close

Quit Page5of23

J. Ineq. Pure and Appl. Math. 6(1) Art. 10, 2005

http://jipam.vu.edu.au

2. Background Definitions and Green’s Function

For the convenience of the reader, we present here the necessary definitions from cone theory in Banach space, which can be found in [3].

LetNbe the nonnegative integers, we letNi,j ={k ∈N :i≤ k ≤ j}and Np =N0,p.

We say thatyis a positive solution of BVP (1.1) – (1.2), ify: NT+n−1 −→

R,ysatisfies (1.1) onN1,T,yfulfills (1.2) andyis nonnegative onNT+n−1 and positive onNn−1,T.

Definition 2.1. LetE be a Banach space, a nonempty closed setK ⊂Eis said to be a cone provided that

(i) ifx∈K andλ≥0thenλx∈K;

(ii) ifx∈K and−x∈K thenx= 0.

If K ⊂ E is a cone, we denote the order induced by K on E by ≤. For x, y ∈K, we writex≤yif and only ify−x∈K.

Definition 2.2. A maphis a nonnegative continuous concave functional on the coneKwhich is convex, provided that

(i) h:K −→[0,∞)is continuous;

(ii) h(tx+ (1−t)y)≥th(x) + (1−t)h(y)for allx, y ∈K and0≤t≤1.

(6)

Triple Solutions for a Higher-order Difference

Equation

Zengji Du, Chunyan Xue and Weigao Ge

Title Page Contents

JJ II

J I

Go Back Close

Quit Page6of23

J. Ineq. Pure and Appl. Math. 6(1) Art. 10, 2005

http://jipam.vu.edu.au

Now we shall denote

Kc ={y∈K :kyk< c}

and

K(h, a, b) ={y∈K :h(y)≥a,kyk ≤b}, wherek · kis the maximum norm.

Next we shall state the fixed point theorem due to Leggett-Williams [12] also see [3].

Theorem 2.1. Let E be a Banach space, and let K ⊂ E be a cone in E.

Assume thath is a nonnegative continuous concave functional onK such that h(y)≤ kykfor ally ∈ Kc, and letS :Kc −→Kc be a completely continuous operator. Suppose that there exist0< a < b < d≤csuch that

(A1) {y∈K(h, b, d) :h(y)> b} 6=∅andh(Sy)> bfor ally∈K(h, b, d);

(A2) kSyk< aforkyk< a;

(A3) h(Sy)> bfor ally∈K(h, b, c)withkSyk> d.

ThenShas at least three fixed pointsy1, y2andy3inKcsuch thatky1k< a, h(y2)> bandky3k> awithh(y3)< b.

In the following, we assume that the functionG(k, l)is the Green’s function of the problem−∆ny(k−1) = 0with the boundary condition (1.2).

It is clear that (see [3])

g(k, l) = ∆n−2G(k, l), (with respect tok)

(7)

Triple Solutions for a Higher-order Difference

Equation

Zengji Du, Chunyan Xue and Weigao Ge

Title Page Contents

JJ II

J I

Go Back Close

Quit Page7of23

J. Ineq. Pure and Appl. Math. 6(1) Art. 10, 2005

http://jipam.vu.edu.au

is the Green’s function of the problem −∆2y(k −1) = 0 with the boundary condition

(2.1) y(0) = 0, y(T + 1) =αy(ξ).

We shall give the Green’s function of the problem−∆2y(k−1) = 0with the boundary condition (2.1).

Lemma 2.2. The problem

(2.2) ∆2y(k−1) +u(k) = 0, k ∈N1,T, with the boundary condition (2.1) has the unique solution

(2.3) y(k) = −

k−1

X

l=1

(k−l)u(l) + k T + 1−αξ

T

X

l=1

(T + 1−l)u(l)

− αk T + 1−αξ

ξ−1

X

l=1

(ξ−l)u(l), k ∈NT+1.

Proof. From (2.2), one has

∆y(k)−∆y(k−1) =−u(k),

∆y(k−1)−∆y(k−2) =−u(k−1), ...

∆y(1)−∆y(0) =−u(1).

(8)

Triple Solutions for a Higher-order Difference

Equation

Zengji Du, Chunyan Xue and Weigao Ge

Title Page Contents

JJ II

J I

Go Back Close

Quit Page8of23

J. Ineq. Pure and Appl. Math. 6(1) Art. 10, 2005

http://jipam.vu.edu.au

We sum the above equalities to obtain

∆y(k) = ∆y(0)−

k

X

l=1

u(l), k ∈NT,

here and in the following, we denote Pq

l=pu(l) = 0, if p > q. Similarly, we sum the equalities from0tok and change the order of summation to obtain

y(k+ 1) =y(0) + (k+ 1)∆y(0)−

k

X

l=1 l

X

j=1

u(j)

=y(0) + (k+ 1)∆y(0)−

k

X

l=1

(k+ 1−l)u(l), k ∈NT,

i.e.,

(2.4) y(k) =y(0) +k∆y(0)−

k−1

X

l=1

(k−l)u(l), k ∈NT+1.

By using the boundary condition (2.1), we have

(2.5) ∆y(0) = 1 T + 1−αξ

T

X

l=1

(T+ 1−l)u(l)− α T + 1−αξ

ξ−1

X

l=1

(ξ−l)u(l).

By (2.4) and (2.5), we have shown that (2.3) holds.

(9)

Triple Solutions for a Higher-order Difference

Equation

Zengji Du, Chunyan Xue and Weigao Ge

Title Page Contents

JJ II

J I

Go Back Close

Quit Page9of23

J. Ineq. Pure and Appl. Math. 6(1) Art. 10, 2005

http://jipam.vu.edu.au

Lemma 2.3. The function

(2.6) g(k, l) =













l[T+1−k−α(ξ−k)]

T+1−αξ , l ∈N1,k−1T

N1,ξ−1;

l(T+1−k)+αξ(k−l)

T+1−aξ , l ∈Nξ,k−1;

k[T+1−l−α(ξ−l)]

T+1−αξ , l ∈Nk,ξ−1;

k(T+1−l)

T+1−αξ, l ∈Nk,T T Nξ,T. is the Green’s function of the following problem

(2.7) −∆2y(k−1) = 0, k∈N1,T,

(2.1) y(0) = 0, y(T + 1) =αy(ξ).

Proof. We shall divide the proof into the following two steps.

Step 1. We suppose k < ξ. Then the unique solution of problem (2.7), (2.1) can be written as

y(k) = −

k−1

X

l=1

(k−l)u(l) + k T + 1−αξ

k−1

X

l=1

(T + 1−l)u(l)

+ k

T + 1−αξ

"ξ−1 X

l=k

(T + 1−l)u(l) +

T

X

l=ξ

(T + 1−l)u(l)

#

− αk T + 1−αξ

"k−1 X

l=1

(ξ−l)u(l) +

ξ−1

X

l=k

(ξ−l)u(l)

#

(10)

Triple Solutions for a Higher-order Difference

Equation

Zengji Du, Chunyan Xue and Weigao Ge

Title Page Contents

JJ II

J I

Go Back Close

Quit Page10of23

J. Ineq. Pure and Appl. Math. 6(1) Art. 10, 2005

http://jipam.vu.edu.au

=

k−1

X

l=1

l[T + 1−k−α(ξ−k)]

T + 1−αξ u(l) +

ξ−1

X

l=k

k[T + 1−l−α(ξ−l)]

T + 1−αξ u(l) +

T

X

l=ξ

k(T + 1−l) T + 1−αξ u(l)

=

T

X

l=1

g(k, l)u(l).

Step 2. We suppose k ≥ ξ. Then the unique solution of problem (2.7), (2.1) can be written as

y(k) =−

"ξ−1 X

l=1

(k−l)u(l) +

k−1

X

l=ξ

(k−l)u(l)

#

+ k

T + 1−αξ

"ξ−1 X

l=1

(T + 1−l)u(l) +

k−1

X

l=ξ

(T + 1−l)u(l)

+

T

X

l=k

(T + 1−l)u(l)

#

− αk T + 1−αξ

ξ−1

X

l=1

(ξ−l)u(l)

=

ξ−1

X

l=1

l[T + 1−k−α(ξ−k)]

T + 1−αξ u(l) +

k−1

X

l=ξ

l(T + 1−k) +αξ(k−l) T + 1−αξ u(l) +

T

X

l=k

k(T + 1−l) T + 1−αξ u(l)

(11)

Triple Solutions for a Higher-order Difference

Equation

Zengji Du, Chunyan Xue and Weigao Ge

Title Page Contents

JJ II

J I

Go Back Close

Quit Page11of23

J. Ineq. Pure and Appl. Math. 6(1) Art. 10, 2005

http://jipam.vu.edu.au

=

T

X

l=1

g(k, l)u(l).

Thus the unique solution of problem (2.7), (2.1) can be written as y(k) = PT

l=1g(k, l)u(l).

We observe that the conditionαξ < T+ 1implies thatg(k, l)is nonnegative onNT+1×N1,T, and positive onN1,T ×N1,T. From (2.3), we have

y(k) =

T

X

l=1

g(k, l)u(l),

where

g(k, l) := (T + 1−αξ)−1 k(T + 1−l)

−(k−l)(T + 1−αξ)χ[1,k−1](l)−αk(ξ−l)χ[1,ξ−1](l) . This is a positive function, which means that the finite set

{g(k, l)/g(k, k) :k, l= 1,2, . . . , T}

takes positive values. Let M1, M2 be its minimum and maximum values, re- spectively.

(12)

Triple Solutions for a Higher-order Difference

Equation

Zengji Du, Chunyan Xue and Weigao Ge

Title Page Contents

JJ II

J I

Go Back Close

Quit Page12of23

J. Ineq. Pure and Appl. Math. 6(1) Art. 10, 2005

http://jipam.vu.edu.au

3. Existence of Triple Solutions

In the following, we denote

m= min

k∈Nξ,T T

X

l=ξ

g(k, l), M = max

k∈NT+1 T

X

l=1

g(k, l)

and

me = min

k∈Nξ,Tg(k, k), Mf= max

k∈NT+1g(k, k).

Then0< m < M,0<m <e Mf.

LetE be the Banach space defined by

E ={y:NT+n−1 −→R, ∆iy(0) = 0, i= 0,1, . . . , n−2}.

Define K =

y ∈E : ∆n−2y(k)≥0for k ∈NT+1and min

k∈Nξ,T

n−2y(k)≥σkyk

whereσ = M1me

M2Mf ∈(0,1),kyk= max

k∈NT+1|∆n−2y(k)|. It is clear thatKis a cone inE.

Finally, let the nonnegative continuous concave functionalh:K −→[0,∞) be defined by

h(y) = min

k∈Nξ,Tn−2y(k), y∈K.

Note that fory∈K,h(y)≤ kyk.

(13)

Triple Solutions for a Higher-order Difference

Equation

Zengji Du, Chunyan Xue and Weigao Ge

Title Page Contents

JJ II

J I

Go Back Close

Quit Page13of23

J. Ineq. Pure and Appl. Math. 6(1) Art. 10, 2005

http://jipam.vu.edu.au

Remark 1. Ify∈K,kyk ≤c, then

0≤y(k)≤qc, k ∈NT+n−1, where

q=q(n, T) = (T +n−1)(T +n)· · ·(T + 2n−4)

(n−2)! .

In fact, ify∈K,kyk ≤c, then0≤∆n−2y(k)≤c, k ∈NT+1, i.e., 0≤∆(∆n−3y(k)) = ∆n−3y(k+ 1)−∆n−3y(k)≤c.

Then one has

0≤∆n−3y(1)−∆n−3y(0)≤c, 0≤∆n−3y(2)−∆n−3y(1)≤c,

...

0≤∆n−3y(k)−∆n−3y(k−1)≤c.

We sum the above inequalities to obtain

0≤∆n−3y(k)≤kc, k ∈NT+2. Similarly, we have

0≤∆n−4y(k)≤

k

X

i=1

i

!

c= k(k+ 1)

2! c, k ∈NT+3.

(14)

Triple Solutions for a Higher-order Difference

Equation

Zengji Du, Chunyan Xue and Weigao Ge

Title Page Contents

JJ II

J I

Go Back Close

Quit Page14of23

J. Ineq. Pure and Appl. Math. 6(1) Art. 10, 2005

http://jipam.vu.edu.au

By using the induction method, one has

0≤y(k)≤ k(k+ 1)· · ·(k+n−3)

(n−2)! c, k ∈NT+n−1. Then

0≤y(k)≤ (T +n−1)(T +n)· · ·(T + 2n−4)

(n−2)! c=qc, k ∈NT+n−1. Theorem 3.1. Assume that there exist constantsa, b, csuch that0 < a < b <

c·min

σ,Mm and satisfy

(H3) f(k, y)≤ Mc , (k, y)∈[0, T +n−1]×[0, qc], (H4) f(k, y)< Ma, (k, y)∈[0, T +n−1]×[0, qa],

(H5) There exists somel0 ∈[n−2, T+n−1], such thatf(k, y)≥ mb

0, (k, y)∈ [n−2, T +n−1]×

b, qbσ

, wherem0 = min

k,l∈NTg(k, l)>0.

Then BVP (1.1) – (1.2) has at least three positive solutionsy1, y2 and y3, such that

(3.1) ky1k< a, h(y2)> b, and

(3.2) ky3k> a with h(y3)< b.

Proof. Let the operatorS :K −→Ebe defined by (Sy)(k) =

T

X

l=1

G(k, l)f(l, y(l)), k∈NT+n−1.

(15)

Triple Solutions for a Higher-order Difference

Equation

Zengji Du, Chunyan Xue and Weigao Ge

Title Page Contents

JJ II

J I

Go Back Close

Quit Page15of23

J. Ineq. Pure and Appl. Math. 6(1) Art. 10, 2005

http://jipam.vu.edu.au

It follows that

(3.3) ∆n−2(Sy)(k) =

T

X

l=1

g(k, l)f(l, y(l)),for k ∈NT+1.

We shall now show that the operator SmapsK into itself. For this, lety∈ K, from(H1),(H2), one has

(3.4) ∆n−2(Sy)(k) =

T

X

l=1

g(k, l)f(l, y(l))≥0,for k∈NT+1, and

n−2(Sy)(k) =

T

X

l=1

g(k, l)f(l, y(l))

≤M2 T

X

l=1

g(k, k)f(l, y(l))

≤M2Mf

T

X

l=1

f(l, y(l)), for k ∈NT+1. Thus

kSyk ≤M2Mf

T

X

l=1

f(l, y(l)).

From(H1),(H2), and (3.3), fork∈Nξ,T, we have

n−2(Sy)(k)≥M1

T

X

l=1

g(k, k)f(l, y(l))

≥M1me

T

X

l=1

f(l, y(l))≥ M1me

M2MfkSyk=σkSyk.

(16)

Triple Solutions for a Higher-order Difference

Equation

Zengji Du, Chunyan Xue and Weigao Ge

Title Page Contents

JJ II

J I

Go Back Close

Quit Page16of23

J. Ineq. Pure and Appl. Math. 6(1) Art. 10, 2005

http://jipam.vu.edu.au

Subsequently

(3.5) min

k∈Nξ,Tn−2(Sy)(k)≥σkSyk.

From (3.4) and (3.5), we obtainSy ∈ K. Hence S(K) ⊆ K. Also standard arguments yield thatS :K −→Kis completely continuous.

We now show that all of the conditions of Theorem2.1 are fulfilled. For all y ∈Kc, we havekyk ≤c. From assumption(H3), we get

kSyk= max

k∈NT+1|∆n−2(Sy)(k)|

= max

k∈NT+1

T

X

l=1

g(k, l)f(l, y(l))

≤ c

M max

k∈NT+1 T

X

l=1

g(k, l) =c.

HenceS :Kc −→Kc.

Similarly, ify ∈ Ka, then assumption (H4) yields f(k, y) < Ma, for k ∈ NT+1. As in the argument above, we can show S : Ka −→ Ka. Therefore, condition(A2)of Theorem2.1is satisfied.

Now we prove that condition(A1)of Theorem2.1holds. Let

y(k) = k(k+ 1)· · ·(k+n−3)b

(n−2)!σ , for k ∈Nξ,T.

(17)

Triple Solutions for a Higher-order Difference

Equation

Zengji Du, Chunyan Xue and Weigao Ge

Title Page Contents

JJ II

J I

Go Back Close

Quit Page17of23

J. Ineq. Pure and Appl. Math. 6(1) Art. 10, 2005

http://jipam.vu.edu.au

Then we can show thaty ∈K h, b,qbσ

andh(y)≥ σb > b. So

y∈K

h, b, b σ

:h(y)> b

6=∅.

From assumptions(H2)and(H5), one has

h(Sy) = min

k∈Nξ,T T

X

l=1

g(k, l)f(l, y(l))

> min

k∈Nξ,T T

X

l=ξ

g(k, l)f(l, y(l))

≥ min

k∈Nξ,T

g(k, l0)f(l0, y(l0))

≥ b m0

k∈Nminξ,T g(k, l)≥b.

This shows that condition(A1)of Theorem2.1is satisfied.

Finally, suppose thaty∈K(h, b, c)withkSyk> σb, then h(Sy) = min

k∈Nξ,T

n−2(Sy)(k)≥σkSyk> b.

Thus, condition (A3) of Theorem 2.1 is also satisfied. Therefore, Theorem 2.1 implies that BVP (1.1) – (1.2) has at least three positive solutionsy1, y2, y3 described by (3.1) and (3.2).

(18)

Triple Solutions for a Higher-order Difference

Equation

Zengji Du, Chunyan Xue and Weigao Ge

Title Page Contents

JJ II

J I

Go Back Close

Quit Page18of23

J. Ineq. Pure and Appl. Math. 6(1) Art. 10, 2005

http://jipam.vu.edu.au

Corollary 3.2. Suppose that there exist constants 0< a1 < b1 < c1·minn

σ, m M

o

< a2 < b2 < c2·minn σ, m

M o

<· · ·< ap, pis a positive integer, such that the following conditions are satisfied:

(H7) f(k, y)< Mai, (k, y)∈[0, T +n−1]×[0, qai],i∈N1,p; (H8) There exist li0 ∈ [n−2, T +n−1], such thatf(k, y) ≥ mqbi

0, (k, y) ∈ [n−2, T +n−1]×[bi,qbσi],i∈N1,p−1.

Then BVP (1.1) – (1.2) has at least2p−1positive solutions.

Proof. Whenp = 1, from condition(H7), we showS : Ka1 −→ Ka1 ⊆ Ka1. By using the Schauder fixed point theorem, we show that BVP (1.1) – (1.2) has at least one fixed pointy1 ∈Ka1. Whenp= 2, it is clear that Theorem3.1holds ( withc1 =a2). Then we can obtain BVP (1.1) – (1.2) has at least three positive solutions y1, y2 and y3, such that ky1k < a1, h(y2) > b1, ky3k > a1, with h(y3) < b1. Following this way, we finish the proof by the induction method.

The proof is completed.

If the casen= 2, similar to the proof of Theorem3.1, we obtain the follow- ing result.

Corollary 3.3. Assume that there exist constants a, b, csuch that 0< a < b <

c·min

σ,Mm and satisfy

(H9) f(k, y)≤ Mc , (k, y)∈[0, T +n−1]×[0, c],

(19)

Triple Solutions for a Higher-order Difference

Equation

Zengji Du, Chunyan Xue and Weigao Ge

Title Page Contents

JJ II

J I

Go Back Close

Quit Page19of23

J. Ineq. Pure and Appl. Math. 6(1) Art. 10, 2005

http://jipam.vu.edu.au

(H10) f(k, y)< Ma, (k, y)∈[0, T +n−1]×[0, a], (H11) f(k, y)≥ mb , (k, y)∈[ξ, T +n−1]×[b,σb].

Then BVP (1.1) – (1.2) has at least three positive solutionsy1, y2 and y3, satisfying (3.1) and (3.2).

Finally, we give an example to illustrate our main result.

Example 3.1. Consider the following second order third point boundary value problem

(3.6) ∆2y(k−1) +f(k, y) = 0, k ∈N1,6,

(3.7) y(0) = 0, y(7) = 7

9y(3), wheref(k, y) = k+100100 a(y), and

a(y) =





1

720 + sin8y, ify∈ 0,301

;

1

720 + 6 y− 301

+ sin8y, ify∈ 1

30,3

;

1

720 + 895 + sin2(y−3)2 + sin8y, ify∈[3,360].

ThenT = 6, n = 3, α = 79 < 1, T + 1−αn = 143 > 0. Then the conditions

(20)

Triple Solutions for a Higher-order Difference

Equation

Zengji Du, Chunyan Xue and Weigao Ge

Title Page Contents

JJ II

J I

Go Back Close

Quit Page20of23

J. Ineq. Pure and Appl. Math. 6(1) Art. 10, 2005

http://jipam.vu.edu.au

(H1),(H2)are satisfied, and the function

G(k, l) = 3 14













l(42−2k)

9 , l ∈N1,k−1T

N1,2;

3l(7−k)+7(k−l)

3 , l ∈N3,k−1;

k(42−2l)

9 , l ∈Nk,2; k(7−l), l ∈Nk,6T

N3,6,

is the Green’s function of the problem−∆2y(k−1) = 0, k ∈N1,6 with (3.7).

Thus we can computem= 272, M = 18,me = 97,Mf= 187 , M1 = 29, M2 = 9, σ = 811 < Mm = 34. We choose thata = 351, b= 101, c= 360, consequently, f(k, y) = 100

k+ 100a(y)

≤a(y)≤





1

720+ 1 <20 = Mc , (k, y)∈[0,7]× 0,301

;

1

720+ 6 3−301

+ 1 <20 = Mc , (k, y)∈[0,7]×1

30,3

;

1

720+ 895 + 32 <20 = Mc , (k, y)∈[0,7]×[3,360].

Thus

f(k, y)≤ c

M, (k, y)∈[0,7]×[0,360];

and

f(k, y)≤ 1

720 + sin8y < 1 630 = a

M, (k, y)∈[0,7]×

0, 1 35

;

(21)

Triple Solutions for a Higher-order Difference

Equation

Zengji Du, Chunyan Xue and Weigao Ge

Title Page Contents

JJ II

J I

Go Back Close

Quit Page21of23

J. Ineq. Pure and Appl. Math. 6(1) Art. 10, 2005

http://jipam.vu.edu.au

f(k, y)≥ 100 107

1 720 + 6

1 10 − 1

30

+ sin8y

≥ 1 135 = b

m, (k, y)∈[3,7]×

1 27,3

.

That is to say, all the conditions of Corollary3.3are satisfied. Then the bound- ary value problem (3.6), (3.7) has at least three positive solutionsy1, y2andy3, such that

y1(k)< 1

35, fork∈N7, y2(k)> 1

27, fork ∈N3,7, and

k∈Nmax1,7y3(k)> 1

35, fork∈N7 with min

k∈N3,7y3(k)< 1 27.

(22)

Triple Solutions for a Higher-order Difference

Equation

Zengji Du, Chunyan Xue and Weigao Ge

Title Page Contents

JJ II

J I

Go Back Close

Quit Page22of23

J. Ineq. Pure and Appl. Math. 6(1) Art. 10, 2005

http://jipam.vu.edu.au

References

[1] X.M. HE AND W.G. GE, Triple solutions for second order three-point boundary value problems, J. Math. Anal. Appl., 268 (2002), 256–265.

[2] Y.P. GUO, W.G. GEANDY. GAO, Two Positive solutions for higher-order m-point boundary value problems with sign changing nonlinearities, Appl.

Math. Comput., 146 (2003), 299–311.

[3] R.P. AGARWAL, D. O’REGANANDP.J.Y. WONG, Positive Solutions of Differential, Difference and Integral Equations, Kluwer Academic Pub- lishers, Boston, 1999.

[4] G.L. KARAKOSTAS, K.G. MAVRIDIS ANDP.Ch. TSAMATOS, Multi- ple positive solutions for a functional second order boundary value prob- lem, J. Math. Anal. Appl., 282 (2003), 567–577.

[5] H.B. THOMPSON, Existence of multiple solutions for finite difference approximations to second-order boundary value problems, Nonlinear Anal., 53 (2003), 97–110.

[6] R.M. ABU-SARISANDQ.M. AL-HASSAN, On global periodicity of dif- ference equations, J. Math. Anal. Appl., 283 (2003), 468–477.

[7] Z.J. DU, W.G. GE AND X.J. LIN, Existence of solution for a class of third order nonlinear boundary value problems, J. Math. Anal. Appl., 294 (2004), 104–112.

(23)

Triple Solutions for a Higher-order Difference

Equation

Zengji Du, Chunyan Xue and Weigao Ge

Title Page Contents

JJ II

J I

Go Back Close

Quit Page23of23

J. Ineq. Pure and Appl. Math. 6(1) Art. 10, 2005

http://jipam.vu.edu.au

[8] A. CABADA, Extremal solutions for the difference p-Laplacian problem with nonlinear functional boundary conditions, Comput. Math. Appl., 42 (2001), 593–601.

[9] R.Y. MA, Multiplicity of positive solutions for second order three-point boundary value problems, Comput. Math. Appl., 40 (2000), 193–204.

[10] R.Y. MA, Positive solutions of a nonlinear three-point boundary value problems, Electron J. Differential Equations, 34 (1999), 1–8.

[11] R.Y. MA, Positive solutions for second order three-point boundary value problems, Appl. Math. Lett., 14 (2001), 1–5.

[12] R.W. LEGGETTANDL.R. WILLIAMS, Multiple positive fixed points of nonlinear operators on ordered Banach spaces, Indiana Univ. Math. J., 28 (1979), 673–688.

http://jipam.vu.edu.au Victoria University

参照

関連したドキュメント

By virtue of the upper and lower solutions method, as well as the Schauder fixed point theorem, the existence of positive solutions to a class of q-fractional difference boundary

Many authors have studied the existence of single or multiple positive solutions to some fourth-order BVPs by using Banach contraction the- orem, Guo–Krasnosel’skii fixed point

An inequality providing some bounds for the integral mean via Pompeiu’s mean value theorem and applications for quadrature rules and special means are given.. 2000 Mathematics

In this paper, we discuss the case of equality of this Young’s inequality, and obtain a characterization for compact normal operators.. 2000 Mathematics Subject Classification:

In this paper, we obtain a class of refined Carleman’s Inequalities with the arithmetic-geometric mean inequality by decreasing their weight coefficient.. 2000 Mathematics

O’Regan; Positive solutions for singular second order Neumann bound- ary value problems via a cone fixed point theorem, Appl.. Vidossich; A general existence theorem for boundary

Using the inclusions between the unit balls for the p-norms, we obtain a new inequality for the gamma function.. 2000 Mathematics Subject Classification: 33B15,

In this paper we obtain a generalization of Ozaki-Nunokawa’s univalence crite- rion using the method of Loewner chains.. 2000 Mathematics Subject