• Nem Talált Eredményt

JJ II

N/A
N/A
Protected

Academic year: 2022

Ossza meg "JJ II"

Copied!
20
0
0

Teljes szövegt

(1)

volume 3, issue 1, article 14, 2002.

Received 17 May, 2001;

accepted 29 October, 2001.

Communicated by:B.G. Pachpatte

Abstract Contents

JJ II

J I

Home Page Go Back

Close Quit

Journal of Inequalities in Pure and Applied Mathematics

LOWER AND UPPER SOLUTIONS METHOD FOR FIRST ORDER DIFFERENTIAL INCLUSIONS WITH NONLINEAR

BOUNDARY CONDITIONS

M. BENCHOHRA AND S.K. NTOUYAS

Département de Mathématiques, Université de Sidi Bel Abbès BP 89, 22000 Sidi Bel Abbès, Algérie.

EMail:benchohra@yahoo.com Department of Mathematics, University of Ioannina 451 10 Ioannina, Greece.

EMail:sntouyas@cc.uoi.gr

URL:http://www.uoi.gr/schools/scmath/math/staff/snt/snt.htm

c

2000School of Communications and Informatics,Victoria University of Technology ISSN (electronic): 1443-5756

074-01

(2)

The Lower and Upper Solutions Method for First Order Differential Inclusions with Nonlinear Boundary Conditions

M. BenchohraandS.K. Ntouyas

Title Page Contents

JJ II

J I

Go Back Close

Quit Page2of20

J. Ineq. Pure and Appl. Math. 3(1) Art. 14, 2002

http://jipam.vu.edu.au

Abstract

In this paper a fixed point theorem for condensing maps combined with upper and lower solutions are used to investigate the existence of solutions for first order differential inclusions with general nonlinear boundary conditions.

2000 Mathematics Subject Classification:34A60

Key words: Initial value problem, Convex multivalued map, Differential inclusions, Nonlinear boundary conditions, Condensing map, Fixed point, Trunca- tion map, Upper and lower solutions.

Contents

1 Introduction. . . 3 2 Preliminaries . . . 4 3 Main Result . . . 8

References

(3)

The Lower and Upper Solutions Method for First Order Differential Inclusions with Nonlinear Boundary Conditions

M. BenchohraandS.K. Ntouyas

Title Page Contents

JJ II

J I

Go Back Close

Quit Page3of20

J. Ineq. Pure and Appl. Math. 3(1) Art. 14, 2002

http://jipam.vu.edu.au

1. Introduction

This paper is concerned with the existence of solutions for the boundary multi- valued problem:

(1.1) y0(t)∈F(t, y(t)), for a.e. t∈J = [0, T]

(1.2) L(y(0), y(T)) = 0

where F : J ×R→2R is a compact and convex valued multivalued map and L:R2→Ris a continuous single-valued map.

The method of upper and lower solutions has been successfully applied to study the existence of multiple solutions for initial and boundary value problems of first and second order.

This method has been used only in the context of single-valued differential equations. We refer to the books of Bernfeld-Lakshmikantham [4], Heikkila- Lakshmikantham [13], Ladde- Lakshmikantham-Vatsala [16], to the thesis of De Coster [7], to the papers of Carl-Heikkila- Kumpulainen [6], Cabada [5], Frigon [9], Frigon-O’Regan [10], Heikkila-Cabada [12], Lakshmikantham - Leela [17], Nkashama [20] and the references therein.

Using this method the authors obtained in [2] and [3] existence results for differential inclusions with periodic boundary conditions, for first and second order respectively.

In this paper we establish an existence result for the problem (1.1) – (1.2).

Our approach is based on the existence of upper and lower solutions and on a fixed point theorem for condensing maps due to Martelli [19].

(4)

The Lower and Upper Solutions Method for First Order Differential Inclusions with Nonlinear Boundary Conditions

M. BenchohraandS.K. Ntouyas

Title Page Contents

JJ II

J I

Go Back Close

Quit Page4of20

J. Ineq. Pure and Appl. Math. 3(1) Art. 14, 2002

http://jipam.vu.edu.au

2. Preliminaries

We will briefly recall some basic definitions and facts from multivalued analysis that we will use in the sequel.

AC(J,R)is the space of all absolutely continuous functionsy:J→R. Condition

y≤y¯ if and only if y(t)≤y(t)¯ for all t∈J

defines a partial ordering in AC(J,R). If α, β ∈ AC(J,R) and α ≤ β, we denote

[α, β] ={y∈AC(J,R) :α≤y≤β}.

W1,1(J,R) denotes the Banach space of functions y : J→R which are abso- lutely continuous and whose derivativey0 (which exists almost everywhere) is an element ofL1(J,R)with the norm

kykW1,1 =kykL1 +ky0kL1 for ally∈W1,1(J,R).

Let (X,|·|) be a normed space. A multivalued map G : X→2X is convex (closed) valued if G(x) is convex (closed) for all x ∈ X. G is bounded on bounded sets if G(B) = ∪x∈BG(x) is bounded in X for all bounded subsets B ofX (i.e. supx∈B{sup{|y| : y ∈ G(x)}} < ∞). Gis called upper semi- continuous (u.s.c.) onXif for eachx0 ∈Xthe setG(x0)is a nonempty, closed subset ofX, and if for each open setV ofX containingG(x0), there exists an open neighbourhoodU ofx0 such thatG(U)⊆V.

Gis said to be completely continuous ifG(B)is relatively compact for every bounded subsetB ⊂X.

(5)

The Lower and Upper Solutions Method for First Order Differential Inclusions with Nonlinear Boundary Conditions

M. BenchohraandS.K. Ntouyas

Title Page Contents

JJ II

J I

Go Back Close

Quit Page5of20

J. Ineq. Pure and Appl. Math. 3(1) Art. 14, 2002

http://jipam.vu.edu.au

If the multivalued mapGis completely continuous with nonempty compact values, thenGis u.s.c. if and only ifGhas a closed graph (i.e. xn→x, yn→y, yn∈G(xn)implyy ∈G(x)).

Ghas a fixed point if there isx∈Xsuch thatx∈G(x).

In the followingCC(X)denotes the set of all nonempty compact and convex subsets ofX.

An upper semi-continuous mapG :X→2X is said to be condensing [19] if for any bounded subset B ⊆ X, with µ(B) 6= 0,we haveµ(G(B)) < µ(B), whereµdenotes the Kuratowski measure of noncompacteness [1]. We remark that a compact map is the easiest example of a condensing map. For more details on multivalued maps see the books of Deimling [8] and Hu and Papageorgiou [15].

The multivalued mapF : J→CC(R)is said to be measurable, if for every y ∈R, the functiont7−→d(y, F(t)) = inf{|y−z|:z ∈F(t)}is measurable.

Definition 2.1. A multivalued mapF :J×R→2Ris said to be anL1-Carathéodory if

(i) t7−→F(t, y)is measurable for eachy∈R;

(ii) y7−→F(t, y)is upper semicontinuous for almost allt∈J; (iii) For eachk > 0, there existshk ∈L1(J,R+)such that

kF(t, y)k= sup{|v|:v ∈F(t, y)} ≤hk(t) for all |y| ≤k

and for almost all t∈J.

(6)

The Lower and Upper Solutions Method for First Order Differential Inclusions with Nonlinear Boundary Conditions

M. BenchohraandS.K. Ntouyas

Title Page Contents

JJ II

J I

Go Back Close

Quit Page6of20

J. Ineq. Pure and Appl. Math. 3(1) Art. 14, 2002

http://jipam.vu.edu.au

So let us start by defining what we mean by a solution of problem (1.1) – (1.2).

Definition 2.2. A functiony∈AC(J,R)is said to be a solution of (1.1) – (1.2) if there exists a function v ∈ L1(J,R) such that v(t) ∈ F(t, y(t)) a.e. onJ, y0(t) =v(t)a.e. onJ andL(y(0), y(T)) = 0.

The following concept of lower and upper solutions for (1.1) – (1.2) has been introduced by Halidias and Papageorgiou in [14] for second order multivalued boundary value problems. It will be the basic tools in the approach that follows.

Definition 2.3. A functionα ∈AC(J,R)is said to be a lower solution of (1.1) – (1.2) if there exists v1 ∈ L1(J,R) such that v1(t) ∈ F(t, α(t)) a.e. on J, α0(t)≤v1(t)a.e. onJ andL(α(0), α(T))≤0.

Similarly, a function β ∈ AC(J,R) is said to be an upper solution of (1.1) – (1.2) if there exists v2 ∈ L1(J,R) such that v2(t) ∈ F(t, β(t)) a.e. on J, β0(t)≥v2(t)a.e. onJ andL(β(0), β(T))≥0.

For the multivalued mapF and for eachy ∈C(J,R)we defineSF,y1 by SF,y1 ={v ∈L1(J,R) :v(t)∈F(t, y(t))for a.e.t∈J}.

Our main result is based on the following:

Lemma 2.1. [18]. LetI be a compact real interval andX be a Banach space.

LetF :I×X→CC(X); (t, y)→F(t, y)measurable with respect totfor any y ∈ X and u.s.c. with respect to y for almost each t ∈ I and SF,y1 6= ∅ for any y ∈ C(I, X)and let Γ be a linear continuous mapping fromL1(I, X)to C(I, X), then the operator

Γ◦SF1 :C(I, X)→CC(C(I, X)), y 7−→(Γ◦SF1)(y) := Γ(SF,y1 )

(7)

The Lower and Upper Solutions Method for First Order Differential Inclusions with Nonlinear Boundary Conditions

M. BenchohraandS.K. Ntouyas

Title Page Contents

JJ II

J I

Go Back Close

Quit Page7of20

J. Ineq. Pure and Appl. Math. 3(1) Art. 14, 2002

http://jipam.vu.edu.au

is a closed graph operator inC(I, X)×C(I, X).

Lemma 2.2. [19]. LetG:X→CC(X)be an u.s.c. condensing map. If the set M :={v ∈X :λv∈G(v)for someλ >1}

is bounded, thenGhas a fixed point.

(8)

The Lower and Upper Solutions Method for First Order Differential Inclusions with Nonlinear Boundary Conditions

M. BenchohraandS.K. Ntouyas

Title Page Contents

JJ II

J I

Go Back Close

Quit Page8of20

J. Ineq. Pure and Appl. Math. 3(1) Art. 14, 2002

http://jipam.vu.edu.au

3. Main Result

We are now in a position to state and prove our existence result for the problem (1.1) – (1.2).

Theorem 3.1. SupposeF :J×R→CC(R)is anL1-Carathéodory multivalued map. In addition assume the following conditions

(H1) there existαandβ inW1,1(J,R) lower and upper solutions respectively for the problem (1.1) – (1.2) such that α≤β,

(H2) Lis a continuous single-valued map in(x, y)∈[α(0), β(0)]×[α(T), β(T)]

and nonincreasing iny∈[α(T), β(T)],

are satisfied. Then the problem (1.1) – (1.2) has at least one solution y ∈ W1,1(J,R)such that

α(t)≤y(t)≤β(t) for all t ∈J.

Proof. Transform the problem into a fixed point problem. Consider the follow- ing modified problem (see [5])

(3.1) y0(t) +y(t)∈F1(t, y(t)), a.e. t∈J,

(3.2) y(0) =τ(0, y(0)−L(y(0), y(T)))

whereF1(t, y) = F(t, τ(t, y)) +τ(t, y), τ(t, y) = max{α(t),min{y, β(t)}}

andy(t) = τ(t, y(t)).

(9)

The Lower and Upper Solutions Method for First Order Differential Inclusions with Nonlinear Boundary Conditions

M. BenchohraandS.K. Ntouyas

Title Page Contents

JJ II

J I

Go Back Close

Quit Page9of20

J. Ineq. Pure and Appl. Math. 3(1) Art. 14, 2002

http://jipam.vu.edu.au

Remark 3.1. (i) Notice that F1 is anL1-Carathéodory multivalued map with compact convex values and there existsφ∈L1(J,R+)such that

kF1(t, y(t))k ≤φ(t) + max(sup

t∈J

|α(t)|,sup

t∈J

|β(t)|)

for a.e. t∈J and all y∈C(J,R).

(ii) By the definition ofτ it is clear thatα(0) ≤y(0)≤β(0).

Clearly a solution to (3.1) – (3.2) is a fixed point of the operatorN :C(J,R)

→2C(J,R)defined by

N(y) :=

h∈C(J,R) :h(t) = y(0) + Z t

0

[v(s) +y(s)−y(s)]ds, v ∈S˜F,y1

where

F,y1 ={v ∈SF,y1 :v(t)≥v1(t)a.e. on A1 and v(t)≤v2(t)a.e. on A2}, SF,y1 ={v ∈L1(J,R) :v(t)∈F(t, y(t))for a.e.t∈J},

A1 ={t∈J :y(t)< α(t)≤β(t)}, A2 ={t∈J :α(t)≤β(t)< y(t)}.

Remark 3.2. (i) For each y ∈ C(J,R) the setSF,y1 is nonempty (see Lasota and Opial [18]).

(ii) For eachy∈ C(J,R)the setS˜F,y1 is nonempty. Indeed, by (i) there exists v ∈SF,y1 . Set

w=v1χA1 +v2χA2 +vχA3,

(10)

The Lower and Upper Solutions Method for First Order Differential Inclusions with Nonlinear Boundary Conditions

M. BenchohraandS.K. Ntouyas

Title Page Contents

JJ II

J I

Go Back Close

Quit Page10of20

J. Ineq. Pure and Appl. Math. 3(1) Art. 14, 2002

http://jipam.vu.edu.au

where

A3 ={t ∈J :α(t)≤y(t)≤β(t)}.

Then by decomposabilityw∈S˜F,y1 .

We shall show that N is a completely continuous multivalued map, u.s.c.

with convex closed values. The proof will be given in several steps.

Step 1: N(y)is convex for eachy∈C(J,R).

Indeed, ifh, hbelong toN(y), then there existv ∈S˜F,y1 andv ∈S˜F,y1 such that

h(t) =y(0) + Z t

0

[v(s) +y(s)−y(s)]ds, t∈J and

h(t) = y(0) + Z t

0

[v(s) +y(s)−y(s)]ds, t∈J.

Let0≤k ≤1.Then for eacht ∈Jwe have [kh+ (1−k)h](t) =y(0) +

Z t

0

[kv(s) + (1−k)v(s) +y(s)−y(s)]ds.

SinceS˜F,y1 is convex (becauseF has convex values) then kh+ (1−k)h∈G(y).

Step 2: N sends bounded sets into bounded sets inC(J,R).

(11)

The Lower and Upper Solutions Method for First Order Differential Inclusions with Nonlinear Boundary Conditions

M. BenchohraandS.K. Ntouyas

Title Page Contents

JJ II

J I

Go Back Close

Quit Page11of20

J. Ineq. Pure and Appl. Math. 3(1) Art. 14, 2002

http://jipam.vu.edu.au

Let Br := {y ∈ C(J,R) : kyk ≤ r}, (kyk := sup{|y(t)| : t ∈ J}) be a bounded set inC(J,R)and y ∈ Br, then for each h ∈ N(y)there exists v ∈S˜F,y1 such that

h(t) = y(0) + Z t

0

[v(s) +y(s)−y(s)]ds, t∈J.

Thus for eacht ∈J we get

|h(t)| ≤ |y(0)|+ Z t

0

[|v(s)|+|y(s)|+|y(s)|]ds

≤ max(α(0), β(0)) +kφrkL1 +Tmax(r,sup

t∈J

|α(t)|,sup

t∈J

|β(t)|) +T r.

Step 3: N sends bounded sets inC(J,R)into equicontinuous sets.

Letu1, u2 ∈J, u1 < u2,Br:={y∈C(J,R) :kyk≤r}be a bounded set in C(J,R)andy∈Br. For eachh∈N(y)there existsv ∈S˜F,y1 such that

h(t) = y(0) + Z t

0

[v(s) +y(s)−y(s)]ds, t∈J.

We then have

|h(u2)−h(u1)|

≤ Z u2

u1

[|v(s) +y(s)|+|y(s)|]ds

≤ Z u2

u1

r(s)|ds+ (u2−u1) max(r,sup

t∈J

|α(t)|,sup

t∈J

|β(t)|) +r(u2−u1).

(12)

The Lower and Upper Solutions Method for First Order Differential Inclusions with Nonlinear Boundary Conditions

M. BenchohraandS.K. Ntouyas

Title Page Contents

JJ II

J I

Go Back Close

Quit Page12of20

J. Ineq. Pure and Appl. Math. 3(1) Art. 14, 2002

http://jipam.vu.edu.au

As a consequence of Step 2, Step 3 together with the Ascoli-Arzela theorem we can conclude that N :C(J,R)→2C(J,R)is a compact multivalued map, and therefore, a condensing map.

Step 4: N has a closed graph.

Letyn→y0, hn∈N(yn)andhn→h0. We shall prove thath0 ∈N(y0).

hn∈N(yn)means that there existsvn∈S˜F,yn such that

hn(t) =y(0) + Z t

0

[vn(s) +yn(s)−yn(s)]ds, t∈J.

We must prove that there existsv0 ∈S˜F,y1

0 such that h0(t) =y(0) +

Z t

0

[v0(s) +y0(s)−y0(s)]ds, t∈J.

Consider the linear continuous operatorΓ :L1(J,R)→C(J,R)defined by (Γv)(t) =

Z t

0

v(s)ds.

We have

hn−y(0)− Z t

0

[yn(s)−yn(s)]ds

h0−y(0) + Z t

0

[y0(s)−y0(s)]ds

→0.

(13)

The Lower and Upper Solutions Method for First Order Differential Inclusions with Nonlinear Boundary Conditions

M. BenchohraandS.K. Ntouyas

Title Page Contents

JJ II

J I

Go Back Close

Quit Page13of20

J. Ineq. Pure and Appl. Math. 3(1) Art. 14, 2002

http://jipam.vu.edu.au

From Lemma2.1, it follows thatΓ◦S˜F1 is a closed graph operator.

Also from the definition ofΓwe have that

hn(t)−y(0)− Z t

0

[yn(s)−y0(s)]ds

∈Γ S˜F,y1

n

. Sinceyn→y0 it follows from Lemma2.1that

h0(t) = y(0) + Z t

0

[v0(s) +y0(s)−y0(s)]ds, t∈J for somev0 ∈S˜F,y1

0.

Next we shall show thatN has a fixed point, by proving that Step 5: The set

M :={v ∈C(J,R) :λv ∈N(v)for someλ >1}

is bounded.

Lety ∈ M thenλy ∈ N(y)for someλ > 1. Thus there existsv ∈ S˜F,y1 such that

y(t) = λ−1y(0) +λ−1 Z t

0

[v(s) +y(s)−y(s)]ds, t∈J.

Thus

|y(t)| ≤ |y(0)|+ Z t

0

|v(s) +y(s)−y(s)|ds, t∈J.

From the definition ofτ there existsφ ∈L1(J,R+)such that

kF(t, y(t))k= sup{|v|:v ∈F(t, y(t))} ≤φ(t)for eachy∈C(J,R),

(14)

The Lower and Upper Solutions Method for First Order Differential Inclusions with Nonlinear Boundary Conditions

M. BenchohraandS.K. Ntouyas

Title Page Contents

JJ II

J I

Go Back Close

Quit Page14of20

J. Ineq. Pure and Appl. Math. 3(1) Art. 14, 2002

http://jipam.vu.edu.au

|y(t)| ≤max(α(0), β(0))+kφkL1+T max(sup

t∈J

|α(t)|,sup

t∈J

|β(t)|)+

Z t

0

|y(s)|ds.

Set

z0 = max(α(0), β(0)) +kφkL1 +Tmax(sup

t∈J

|α(t)|,sup

t∈J

|β(t)|).

Using the Gronwall’s Lemma ([11, p. 36]) we get for eacht∈J

|y(t)| ≤ z0+z0 Z t

0

et−sds

≤ z0+z0(et−1).

Thus

kyk ≤z0+z0(eT −1).

This shows thatM is bounded.

Hence, Lemma 2.2 applies andN has a fixed point which is a solution to problem (3.1) – (3.2).

Step 6: We shall show that the solutionyof (3.1)-(3.2) satisfies α(t)≤y(t)≤β(t) for all t ∈J.

Letybe a solution to (3.1) – (3.2). We prove that α(t)≤y(t) for all t ∈J.

(15)

The Lower and Upper Solutions Method for First Order Differential Inclusions with Nonlinear Boundary Conditions

M. BenchohraandS.K. Ntouyas

Title Page Contents

JJ II

J I

Go Back Close

Quit Page15of20

J. Ineq. Pure and Appl. Math. 3(1) Art. 14, 2002

http://jipam.vu.edu.au

Suppose not. Then there existt1, t2 ∈J, t1 < t2 such thatα(t1) = y(t1)and α(t)> y(t) for all t∈(t1, t2).

In view of the definition ofτ one has

y0(t) +y(t)∈F(t, α(t)) +α(t) a.e. on (t1, t2).

Thus there exists v(t) ∈ F(t, α(t))a.e. onJ withv(t) ≥ v1(t)a.e. on(t1, t2) such that

y0(t) +y(t) =v(t) +α(t) a.e. on (t1, t2).

An integration on(t1, t], witht∈(t1, t2)yields

y(t)−y(t1) = Z t

t1

[v(s) + (α−y)(s)]ds

>

Z t

t1

v(s)ds.

Sinceαis a lower solution to (1.1) – (1.2), then α(t)−α(t1)≤

Z t

t1

v1(s)ds, t∈(t1, t2).

It follows from the factsy(t1) =α(t1), v(t)≥v1(t)that α(t)< y(t) for all t ∈(t1, t2)

(16)

The Lower and Upper Solutions Method for First Order Differential Inclusions with Nonlinear Boundary Conditions

M. BenchohraandS.K. Ntouyas

Title Page Contents

JJ II

J I

Go Back Close

Quit Page16of20

J. Ineq. Pure and Appl. Math. 3(1) Art. 14, 2002

http://jipam.vu.edu.au

which is a contradiction, sincey(t)< α(t) for all t∈(t1, t2). Consequently α(t)≤y(t) for all t ∈J.

Analogously, we can prove that

y(t)≤β(t) for all t ∈J.

This shows that the problem (3.1) – (3.2) has a solution in the interval[α, β].

Finally, we prove that every solution of (3.1) – (3.2) is also a solution to (1.1) – (1.2). We only need to show that

α(0) ≤y(0)−L(y(0), y(T))≤β(0).

Notice first that we can prove that

α(T)≤y(T)≤β(T).

Suppose now thaty(0)−L(y(0), y(T))< α(0). Theny(0) =α(0)and y(0)−L(α(0), y(T))< α(0).

SinceLis nonincreasing iny, we have

α(0) ≤α(0)−L(α(0), α(T))≤α(0)−L(α(0), y(T))< α(0) which is a contradiction.

Analogously we can prove that

y(0)−L(τ(0), τ(T))≤β(0).

Thenyis a solution to (1.1) – (1.2).

(17)

The Lower and Upper Solutions Method for First Order Differential Inclusions with Nonlinear Boundary Conditions

M. BenchohraandS.K. Ntouyas

Title Page Contents

JJ II

J I

Go Back Close

Quit Page17of20

J. Ineq. Pure and Appl. Math. 3(1) Art. 14, 2002

http://jipam.vu.edu.au

Remark 3.3. Observe that ifL(x, y) =ax−by−c,we obtain that Theorem3.1 gives an existence result for the problem

y0(t)∈F(t, y(t)), for a.e. t∈J = [0, T] ay(0)−by(T) = c

witha, b ≥0, a+b > 0which includes the periodic case (a =b = 1, c = 0) and the initial and the terminal problem.

(18)

The Lower and Upper Solutions Method for First Order Differential Inclusions with Nonlinear Boundary Conditions

M. BenchohraandS.K. Ntouyas

Title Page Contents

JJ II

J I

Go Back Close

Quit Page18of20

J. Ineq. Pure and Appl. Math. 3(1) Art. 14, 2002

http://jipam.vu.edu.au

References

[1] J. BANAS AND K. GOEBEL, Measures of Noncompactness in Banach Spaces, Marcel Dekker, New York, 1980.

[2] M. BENCHOHRA AND S. K. NTOUYAS, On first order differential in- clusions with periodic boundary conditions, preprint.

[3] M.BENCHOHRA AND S. K. NTOUYAS, On second order differen- tial inclusions with periodic boundary conditions, Acta Math. Univ.

Comen., LXIX (2000), 173–181.

[4] S. BERNFELD ANDV. LAKSHMIKANTHAM, An Introduction to Non- linear Boundary Value Problems, Academic Press, New York, 1974.

[5] A. CABADA, The monotone method for first order problems with linear and nonlinear boundary conditions, Appl. Math. Comp., 63 (1994), 163–

186.

[6] S. CARL, S. HEIKKILA AND M. KUMPULAINEN, On solvability of first order discontinuous scalar differential equations, Nonlinear Times Di- gest, 2(1) (1995), 11–27.

[7] C. DE COSTER, The method of lower and upper solutions in boundary value problems, PhD thesis, Université Catholique de Louvain, 1994.

[8] K. DEIMLING, Multivalued Differential Equations, De Gruyter, Berlin, 1992.

(19)

The Lower and Upper Solutions Method for First Order Differential Inclusions with Nonlinear Boundary Conditions

M. BenchohraandS.K. Ntouyas

Title Page Contents

JJ II

J I

Go Back Close

Quit Page19of20

J. Ineq. Pure and Appl. Math. 3(1) Art. 14, 2002

http://jipam.vu.edu.au

[9] M. FRIGON, Application de la théorie de la transversalité topologique à des problèmes non linéaires pour des équations différentielles ordinaires, Dissertationes Mathemacae, 296 (1990), Warszawa.

[10] M. FRIGON AND D. O’REGAN, Existence results for some initial and boundary value problems without growth restriction, Proc. Amer. Math.

Soc., 123(1) (1995), 207–216.

[11] J.K. HALE, Ordinary Differential Equation, Interscience, New York, 1969.

[12] S. HEIKKILAANDA. CABADA, On first order discontinuous differential equations with nonlinear boundary conditions, Nonlinear Word, 3 (1996), 487–503.

[13] S. HEIKKILA AND V. LAKSHMIKANTHAM, Monotone Iterative Techniques for Discontinuous Nonlinear Differential Equations, Marcel Dekker, New York, 1994.

[14] N. HALIDIAS AND N. S. PAPAGEORGIOU, Second order multivalued boundary value problems, Arch. Math. (Brno), 34 (1998), 267–284.

[15] S. HU AND N. S. PAPAGEORGIOU, Handbook of Multivalued Analy- sis, Volume I: Theory, Kluwer Academic Publishers, Dordrecht, Boston, London, 1997.

[16] G. S. LADDE, V. LAKSHMIKANTHAM AND A.S. Vatsala, Monotone Iterative Techniques for Nonlinear Differential Equations, Pitman, Boston M. A., 1985.

(20)

The Lower and Upper Solutions Method for First Order Differential Inclusions with Nonlinear Boundary Conditions

M. BenchohraandS.K. Ntouyas

Title Page Contents

JJ II

J I

Go Back Close

Quit Page20of20

J. Ineq. Pure and Appl. Math. 3(1) Art. 14, 2002

http://jipam.vu.edu.au

[17] V. LAKSHMIKANTHAM ANDS. LEELA, Remarks on first and second order periodic boundary value problems, Nonlinear Anal., 8(3) (1984), 281–287.

[18] A. LASOTAANDZ. OPIAL, An application of the Kakutani-Ky-Fan the- orem in the theory of ordinary differential equations, Bull. Acad. Pol. Sci.

Ser. Sci. Math. Astronom. Phys., 13 (1965), 781–786.

[19] M. MARTELLI, A Rothe’s type theorem for non compact acyclic-valued maps, Boll. Un. Mat. Ital., 11 (1975), 70–76.

[20] M. N. NKASHAMA, A generalized upper and lower solutions method and multiplicity results for nonlinear first order ordinary differential equations, J. Math. Anal. Appl., 140 (1989), 381–395.

Hivatkozások

KAPCSOLÓDÓ DOKUMENTUMOK

In this paper, by using Krasnoselskii’s fixed point theorem, we study the exis- tence and multiplicity of positive periodic solutions for the delay Nicholson’s blowflies model

By using the monotone iterative technique and the method of upper and lower solutions, we investigate the existence of extremal solutions for a nonlinear differential equation with (

Existence of solutions arguments to nonlinear boundary value problems uti- lizing the Krasnoselskii fixed point theorem, Leggett–Williams fixed point theorem and their

In this paper, using the Fourier series expansion and fixed point methods, we investigate the existence and uniqueness of Besicovitch almost periodic solutions for a class of

In this paper, some results on the ϕ-order of solutions of linear differential equations with coefficients in the unit disc are obtained.. These results yield a sharp lower bound

Torres, Existence of one-signed periodic solutions of some second-order differential equations via a Krasnoselskii fixed point

In this paper we investigate the existence of the periodic solutions of a quasilinear differential equation with piecewise constant argument of generalized type.. By using some

Using a fixed-point theorem, we obtained the existence of positive solutions or infinitely many positive solutions for boundary value problems (1.3).. In [14], authors studied