Leggett–Williams norm-type fixed point theorems for multivalued mappings

https://doi.org/10.1016/j.amc.2006.09.035Get rights and content

Abstract

This paper presents several norm-type versions of the Leggett–Williams fixed point theorem for multivalued maps with nonempty, convex, compact values.

Introduction

In 1980, Leggett and Williams proved a generalization of Krasnoselskii’s theorem on cone expansion and compression for completely continuous single valued operators [7]. Some refinements of their result can be found for example in [1], [5], [15], [16]. In this paper we establish several multivalued norm-type versions of the Leggett–Williams theorem. We also present applications of our results to the second order boundary value problem with reflection of argumentx(t)+f(t,x(t),x(-t),x(t),x(-t))=0,t[-1,1],ax(-1)-bx(-1)=0,cx(1)+dx(1)=0and the Fredholm integral inclusionx(t)01k(t,s)f(s,x(s))ds,t[0,1].

Section snippets

Fixed point theorems

We begin this section by reviewing some facts on cone theory in Banach spaces. A nonempty subset P, P  {θ}, of a real Banach space E is called a cone if P is closed, convex and

  • (i)

    λx  P for all x  P and λ  0,

  • (ii)

    x, −x  P implies x = θ.

It is well-known that every cone induces a partial ordering in E as follows: for x, y  E we say that x  y if and only if y  x  P. We will write x ⪯̸ y if y  x  P. A cone P is called solid if int P  ∅. We say that P is a normal cone if there exists γ > 0 such thatθxyimpliesxγy.The

Boundary value problem

In this section we will study the existence of positive solutions for the following boundary value problem with reflection of the argumentx(t)+f(t,x(t),x(-t),x(t),x(-t))=0,ax(-1)-bx(-1)=0,cx(1)+dx(1)=0,where t  [−1, 1], a, c  0, b, d > 0 and ad + bc + ac > 0. Similar problems have been studied for example in [6], [13], [14]. The Green’s function for (8) is given byG(t,s)=1ρ(c+d-cs)(a+b+at),-1ts1,1ρ(a+b+as)(c+d-ct),-1st1,where ρ = 2ac + bc + ad. It is easy to show that (9) has the following properties:G

Integral inclusion

In this section we will use Theorem 1 to establish results which guarantee the existence of nonnegative solution to the following Fredholm integral inclusionx(t)01k(t,s)f(s,x(s))ds,t[0,1],with k:[0,1]×[0,1]R and f : [0, 1] × [0, ∞)  K([0, ∞)), where K([0, ∞)) denotes the family of nonempty, compact, convex subsets of [0, ∞). Assume that:

  • 3. f : [0, 1] × [0, ∞)  K([0, ∞)), t  f(t, x) is measurable for every x  [0, ∞) and x  f(t, x) is upper semicontinuous for a.e. t  [0, 1],

  • 4. for each a > 0 there exists ga  L1[0, 1] such

References (16)

There are more references available in the full text version of this article.

Cited by (12)

View all citing articles on Scopus
View full text