# Fixed Points for Pseudocontractive Mappings on Unbounded Domains

- Jesús García-Falset
^{1}Email author and - E Llorens-Fuster
^{1}

**2010**:769858

https://doi.org/10.1155/2010/769858

© J. García-Falset and E. Llorens-Fuster. 2010

**Received: **4 September 2009

**Accepted: **14 October 2009

**Published: **18 October 2009

## Abstract

We give some fixed point results for pseudocontractive mappings on nonbounded domains which allow us to obtain generalizations of recent fixed point theorems of Penot, Isac, and Németh. An application to integral equations is given.

## Keywords

## 1. Introduction

Let
be a nonempty subset of a Banach space
with norm
. Recall that a mapping
is said to be nonexpansive whenever
for every
.
is said to have the fixed point property ((FPP) for short) if every nonexpansive selfmapping of each nonempty bounded closed and convex subset of
has a fixed point. It has been known from the outset of the study of this property (around the early sixties of the last century) that it depends strongly on "nice'' geometrical properties of the space. For instance, a celebrated result due to Kirk [1] establishes that those reflexive Banach spaces with *normal structure* (NS) have the (FPP). In particular, uniformly convex Banach spaces have normal structure (see [2, 3] for more information).

(in other words if is asymptotically contractive), then has a fixed point.

A celebrated fixed point result due to Altman [5] is the following.

for all , then has a fixed point in .

In 2006, Isac and Németh [6] gave some fixed point results for nonexpansive nonlinear mappings in Banach spaces inspired by Penot's results where the asymptotically contractiveness was stated in similar terms to condition (1.2).

In this paper we generalize some Penot, Isac, and Németh's fixed point results in several ways. First, we will be concerned with pseudocontractive mappings, a more general class of mappings than the nonexpansive ones. Second, we use an inwardness condition weaker than , and finally our Altmann type assumptions are more general than those required in [4, 6].

We prove our fixed point results as a consequence of some results on the existence of zeroes for accretive operators. Among the problems treated by accretive operators theory, one of the most studied is just this one (see, e.g., Kirk and Schöneberg's paper [7] as well as [3, 8, 9] and the references therein). We obtain here several results of this type, and in particular we give a characterization in the setting of the Banach spaces with (FPP) of those -accretive operators which have zeroes.

## 2. Preliminaries

Throughout this paper we suppose that is a real Banach space and that is its topological dual. We use to denote the closed ball centered at with radius . We also use the notation , .

If , we will denote by the normalized duality mapping at defined by . We will often use the mapping defined by .

A mapping will be called an operator on . The domain of is denoted by and its range by . It is well known that an operator is accretive if and only if for all .

If, in addition, is for one, hence for all, , precisely , then is called -accretive. We say that satisfies the range condition if for all .

We now recall some important facts regarding accretive operators which will be used in our paper (see, e.g., [10]).

Proposition 2.1.

Let be an operator on . The following conditions are equivalent:

(ii)the inequality holds for all , and for every ,

(iii)for each the resolvent is a single-valued nonexpansive mapping.

Let be a nonempty subset of and let be a mapping. Recall that a sequence of elements of is said to be an a.f.p sequence for whenever . It is well known that if is a nonexpansive mapping which maps a closed convex bounded subset of into itself, then such a mapping always has a.f.p. sequences in .

When the Banach space has the (FPP), Morales [9] gave a characterization of those -accretive operators such that . Let us recall such result.

Theorem 2.2.

Let be a Banach space with the FPP, and let be an -accretive operator. Then if and only if the set is bounded.

A mapping is said to be pseudocontractive if for every , and for all positive , . Pseudocontractive mappings are easily seen to be more general than nonexpansive mappings ones. The interest in these mappings also stems from the fact that they are firmly connected to the well-known class of accretive mappings. Specifically is pseudocontractive if and only if is accretive where is the identity mapping.

We say that a mapping is demiclosed at if for any sequence in weakly convergent to with norm convergent to one has that . It is well known that if is weakly compact and convex, is nonexpansive, and is demiclosed at , then has a fixed point in .

We say that the mapping is weakly inward on if for all . Such condition is always weaker than the assumption of mapping the boundary of into . Recall that if is a continuous accretive mapping, is convex and closed, and is weakly inward on , then has the range condition (see [11]).

We say that a semi-inner-product is defined on , if to any there corresponds a real number denoted by satisfying the following properties:

It is known (see [12, 13]) that a semi-inner-product space is a normed linear space with the norm and that every Banach space can be endowed with a semi-inner-product (and in general in infinitely many different ways, but a Hilbert space in a unique way).

In [6] the authors considered several fixed point results for nonexpansive mappings with unbounded domains satisfying additional asymptotic contractive-type conditions in terms of a function under the following assumptions:

## 3. Zeroes for Accretive Operators

We begin with the definition of a certain kind of functions on which we will be concerned. This class is more general than the corresponding one considered in [6]. Let be a real Banach space and a mapping which satisfies the following conditions:

(g2) there exists such that for any with ,

(g4) for each , there exists (depending on ), such that if , then .

Notice that if we consider either or , then satisfies (g1)–(g4).

Let be a Banach space with the (FPP). If is an -accretive operator such that its domain is a bounded set, then it is well known that (see, e.g., [7, 9]). If is not bounded, then we give the following result.

Theorem 3.1.

Proof.

Since is -accretive and has the (FPP), by Theorem 2.2 we know that if and only if the set is bounded.

In order to get a contradiction we assume that is an unbounded set. This fact means that for each there exists such that .

Since , then there exist and such that . This means that .

which is a contradiction.

In the following theorem we are going to give a characterization in terms of a particular function , (in the framework of the Banach spaces with the (FPP)), of those -accretive operators which have zeroes.

Theorem 3.2.

If is an -accretive operator, then the following conditions are equivalent:

(1)there exists such that whenever and ;

Proof.

( ) ( ) It is clear that satisfies conditions (g1) and (g2), thus by Theorem 3.1 we obtain that .

The above inequality implies that for each , there exist and such that .

By definition of , we have that , and thus .

that is, is unbounded. By Theorem 2.2, it follows that if is unbounded, then ; therefore, we have a contradiction.

As a consequence of the above characterization it is easy to capture the following result which is related to [7, Theorems 2 and 3].

Corollary 3.3.

Proof.

Without loss of generality we may assume that . Otherwise, we work with the operator defined by .

The above inequality implies that for each , there exist and such that .

By definition of , we have that , and thus .

By hypothesis, we know that the inequality holds for every .

which is a contradiction.

The above corollary allows us to recapture the following well-known result.

Corollary 3.4.

Corollary 3.5.

Proof.

It is clear that condition (3.12) implies assumption (3.1).

Corollary 3.6.

Let be a real Hilbert space. Let be a convex proper lower semicontinuous mapping with effective domain . Suppose that for some there exists such that for all with . Then has an absolute minimum on .

Proof.

It is well known that is an -accretive operator on (see [14]). Now, we consider defined as in Theorem 3.2.

and therefore is an absolute minimum of .

If has the (FPP), is an accretive operator with the range condition, and is convex and bounded, then, ; see [8]. For the case that is not bounded we have the following result.

Theorem 3.7.

Let be a Banach space. Suppose that is a mapping satisfying conditions (g1)–(g4).

If has the (FPP), is an accretive operator with the range condition, is convex, and satisfies condition (3.1), then .

Proof.

Since is accretive with the range condition, then the following two conditions hold:

(ii) is a nonexpansive mapping.

We claim that is a bounded sequence. Indeed, otherwise we can assume that there exists a subsequence of such that . Without loss of generality we may assume that , , where the constants and are given in the definitions of conditions (g2) and (g4), respectively.

This is a contradiction which proves our claim.

Since is a bounded sequence, it is clear that goes to as goes to infinity.

is bounded closed convex and -invariant. Thus, since enjoys the (FPP), there exists such that and then .

Remark 3.8.

If we check the proof of Theorem 3.7, we may notice that such theorem still holds if we omit conditions (g3) and (g4) but we add .

Corollary 3.9.

Let be a Banach space. Suppose that is a mapping satisfying conditions (g1)–(g4).

If has the (FPP), is an accretive operator with the range condition, is convex, and satisfies condition (3.12), then .

## 4. Fixed Point Results

Theorem 4.1.

Let be a Banach space with the (FPP). Suppose that is a mapping satisfying conditions (g1) and (g2). Let be a closed convex and unbounded subset of with . Let be a continuous pseudocontractive mapping. Assume that the following conditions are satisfied.

holds.

Proof.

Since is a continuous, pseudocontractive mappings weakly inward on , then is an accretive operator with the range condition (see [11, 15]).

The above equality along with (4.1) allows us conclude that condition (3.1) holds.

is bounded closed convex and -invariant. Thus, since enjoys the (FPP), there exists such that and then .

Corollary 4.2.

Proof.

Clearly inequality (4.5) implies condition (4.1).

Corollary 4.3.

Let be a Banach space with the (FPP). Suppose that is a mapping satisfying conditions (g1)–(g4). Let be a closed convex and unbounded subset of . If is a continuous pseudocontractive mapping weakly inward on and satisfies condition (4.1), then has a fixed point in .

Proof.

From the above theorem, we know that is an accretive operator with the range condition and with condition (3.1). Therefore by Theorem 3.7 we obtain the result.

Remark 4.4.

In order to give an alternative proof of Corollary 4.3, it is enough to see that condition (4.5) implies that has an a.f.p. sequence and thus, using [16, Theorem 4.3], we obtain the same conclusion. In this case, if we assume that is a reflexive Banach space and is demiclosed at zero, then we can remove the assumption on the (FPP) for the space . Nevertheless, it is well known that there exist nonreflexive Banach spaces with the FPP (see [13]). On the other hand, if is a reflexive Banach space such that for every nonexpansive mapping, say , the mapping is demiclosed at , then the Banach space has the FPP.

Remark 4.5 (Theorem 3.2 in [6] reads).

for some , then has a fixed point in .

Notice that Corollary 4.3 generalizes this theorem in several senses.

(i)Our assumptions (g1)–(g4) on mapping are weaker than the corresponding in that theorem.

(ii)Every nonexpansive mapping is in fact continuous and pseudocontractive.

(iii)The inwardness condition is more general than the assumption .

which is just condition (4.1) of Theorem 4.1.

In the same sense, Theorem 4.1 is a generalization of Theorem 3.1 of [6].

Corollary 4.6.

Let be a Banach space with the (FPP). Let be a closed convex and unbounded subset of such that . Let be a continuous pseudocontractive mapping. Assume that the following conditions are satisfied.

(b)There exists such that for every and for every , .

Proof.

Remark 4.7.

Notice that the above condition (b) is similar to the well-known Leray-Schauder boundary condition. Some results of this type can be found in [17–19].

Corollary 4.8.

for some , then has a fixed point in .

Proof.

Since is a fix element of , clearly there exists such that whenever . This means that satisfies (g2).

To see that satisfies condition (g4) we argue as follows.

Since as , we can find such that for every .

Thus the conclusion follows from Corollary 4.3.

Remark 4.9.

In the case that for all
,
, then the mapping
is said to have
as a *center*; see [20], where some fixed point theorems are given for this class of mappings.

On the other hand, in [21, Corollary 1.6, page 54] one can read a similar condition, where the domain of the mapping is required to be bounded.

which implies condition (4.11) of Corollary 4.8 for , and therefore Penot's fixed point theorem is a consequence of Corollary 4.8.

Example 4.10.

in . Here , is a bounded domain of such that its Lebesgue's measure , and . Suppose that and satisfy the following conditions:

(1) is a Carathéodory function,

(4)the function is strongly measurable and whenever ,

(5)there exists a function , belonging to such that for all ,

Proposition 4.11.

Assume that conditions (1)–(6) are satisfied, then problem (4.17) has at least one solution in .

Proof.

therefore there exists such that if , then as we claimed.

Notice that if then, Corollary in [4] does not apply because under this condition we cannot guarantee that is asymptotically contractive on .

Let
be a closed convex subset of a Banach space
. A family of mappings
is called a *one-parametric strongly continuous semigroup of nonexpansive mappings* (nonexpansive semigroup, for short) on
if the following assumptions are satisfied:

(2)for each , the mapping from into is continuous,

(3)for each , is a nonexpansive mapping.

In the next result we study when a nonexpansive semigroup has a common fixed point.

Theorem 4.12.

whenever large enough, then the semigroup has a least one common fixed point.

Proof.

has a fixed point.

The above inequality means that satisfies the conditions of Corollary 4.3 and therefore has a fixed point, which implies by Theorem of [22] that the semigroup has a common fixed point.

Corollary 4.13.

whenever large enough, then the semigroup has a least one common fixed point.

Proof.

It is enough to apply the above theorem with (see the proof of Corollary 4.8).

We conclude this section by presenting a corollary of Theorem 4.1 which guarantees the existence of positive eigenvalues.

Corollary 4.14.

Let be a Banach space with the (FPP). Suppose that is a mapping satisfying conditions (g1) and (g2). Let be a closed convex and unbounded subset of with . Let be a continuous pseudocontractive mapping. Assume that the following conditions are satisfied.

Then any is an eigenvalue of associated to an eigenvector in .

Proof.

Consider a fixed . Let us see that is a continuous pseudocontractive mapping such that . Indeed, since , is convex, , and , then .

The above inequality holds since is a pseudocontractive mapping and therefore .

The above facts show that is under the assumption of Theorem 4.1 and hence there exists such that .

## Declarations

### Acknowledgments

Both authors were partially supported by MTM 2009-10696-C02-02. This work is dedicated to Professor W. A. Kirk.

## Authors’ Affiliations

## References

- Kirk WA:
**A fixed point theorem for mappings which do not increase distances.***The American Mathematical Monthly*1965,**72:**1004–1006. 10.2307/2313345MathSciNetView ArticleMATHGoogle Scholar - Kirk WA, Sims B (Eds):
*Handbook of Metric Fixed Point Theory*. Kluwer Academic Publishers, Dordrecht, The Netherlands; 2001:xiv+703.MATHGoogle Scholar - Goebel K, Kirk WA:
*Topics in Metric Fixed Point Theory, Cambridge Studies in Advanced Mathematics*.*Volume 28*. Cambridge University Press, Cambridge, UK; 1990:viii+244.View ArticleMATHGoogle Scholar - Penot J-P:
**A fixed-point theorem for asymptotically contractive mappings.***Proceedings of the American Mathematical Society*2003,**131**(8):2371–2377. 10.1090/S0002-9939-03-06999-5MathSciNetView ArticleMATHGoogle Scholar - Altman M:
**A fixed point theorem in Hilbert space.***Bulletin de l'Academie Polonaise des Sciences*1957,**5:**19–22.MathSciNetMATHGoogle Scholar - Isac G, Németh SZ:
**Fixed points and positive eigenvalues for nonlinear operators.***Journal of Mathematical Analysis and Applications*2006,**314**(2):500–512. 10.1016/j.jmaa.2005.04.006MathSciNetView ArticleMATHGoogle Scholar - Kirk WA, Schöneberg R:
**Zeros of -accretive operators in Banach spaces.***Israel Journal of Mathematics*1980,**35**(1–2):1–8. 10.1007/BF02760935MathSciNetView ArticleMATHGoogle Scholar - García-Falset J, Reich S:
**Zeroes of accretive operators and the asymptotic behavior of nonlinear semigroups.***Houston Journal of Mathematics*2006,**32**(4):1197–1225.MathSciNetMATHGoogle Scholar - Morales C:
**Nonlinear equations involving -accretive operators.***Journal of Mathematical Analysis and Applications*1983,**97**(2):329–336. 10.1016/0022-247X(83)90199-3MathSciNetView ArticleMATHGoogle Scholar - Cioranescu I:
*Geometry of Banach Spaces, Duality Mappings and Nonlinear Problems, Mathematics and Its Applications*.*Volume 62*. Kluwer Academic Publishers, Dordrecht, The Netherlands; 1990:xiv+260.View ArticleMATHGoogle Scholar - Martin RH Jr.:
**Differential equations on closed subsets of a Banach space.***Transactions of the American Mathematical Society*1973,**179:**399–414.MathSciNetView ArticleMATHGoogle Scholar - Giles JR:
**Classes of semi-inner-product spaces.***Transactions of the American Mathematical Society*1967,**129:**436–446. 10.1090/S0002-9947-1967-0217574-1MathSciNetView ArticleMATHGoogle Scholar - Lumer G:
**Semi-inner-product spaces.***Transactions of the American Mathematical Society*1961,**100:**29–43. 10.1090/S0002-9947-1961-0133024-2MathSciNetView ArticleMATHGoogle Scholar - Brézis H:
*Opérateurs maximaux monotones et semi-groupes de contractions dans les espaces de Hilbert, North-Holland Mathematics Studies, no. 5. Notas de Matemática (50)*. North-Holland, Amsterdam, The Netherlands; 1973:vi+183.Google Scholar - Browder FE:
**Nonlinear mappings of nonexpansive and accretive type in Banach spaces.***Bulletin of the American Mathematical Society*1967,**73:**875–882. 10.1090/S0002-9904-1967-11823-8MathSciNetView ArticleMATHGoogle Scholar - García-Falset J:
**Fixed points for mappings with the range type condition.***Houston Journal of Mathematics*2002,**28**(1):143–158.MathSciNetMATHGoogle Scholar - González C, Jiménez-Melado A, Llorens-Fuster E:
**A Mönch type fixed point theorem under the interior condition.***Journal of Mathematical Analysis and Applications*2009,**352**(2):816–821. 10.1016/j.jmaa.2008.11.032MathSciNetView ArticleMATHGoogle Scholar - Kirk WA:
**Fixed point theorems for nonexpansive mappings satisfying certain boundary conditions.***Proceedings of the American Mathematical Society*1975,**50:**143–149. 10.1090/S0002-9939-1975-0380527-7MathSciNetView ArticleMATHGoogle Scholar - Morales CH:
**The Leray-Schauder condition for continuous pseudo-contractive mappings.***Proceedings of the American Mathematical Society*2009,**137**(3):1013–1020.MathSciNetView ArticleMATHGoogle Scholar - García-Falset J, Llorens-Fuster E, Prus S:
**The fixed point property for mappings admitting a center.***Nonlinear Analysis: Theory, Methods & Applications*2007,**66**(6):1257–1274. 10.1016/j.na.2006.01.016MathSciNetView ArticleMATHGoogle Scholar - Granas A, Dugundji J:
*Fixed Point Theory, Springer Monographs in Mathematics*. Springer, New York, NY, USA; 2003:xvi+690.View ArticleMATHGoogle Scholar - Suzuki T:
**Common fixed points of one-parameter nonexpansive semigroups.***The Bulletin of the London Mathematical Society*2006,**38**(6):1009–1018. 10.1112/S0024609306018893MathSciNetView ArticleMATHGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. 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.