- Research
- Open access
- Published:
Fixed point theorems for a new nonlinear mapping similar to a nonspreading mapping
Fixed Point Theory and Applications volume 2014, Article number: 47 (2014)
Abstract
We introduce a new nonlinear mapping similar to the nonspreading mapping which is defined by Kohsaka and Takahashi (Arch. Math. 91:166-177, 2008). We prove fixed point theorems for such a mapping without the convexity of the domain. We also prove convergence theorems.
MSC:47H10, 47H09, 47J25.
1 Introduction
In 2008, Kohsaka and Takahashi [1] introduced the concept of nonspreading mapping. Let T be a mapping on a subset C of a smooth Banach space E. T is said to be nonspreading if
for all , where . We denote by the set of fixed points of T. They proved is nonempty provided C is bounded, closed, and convex; and E is reflexive and strictly convex. In the case where E is Hilbertian, (1) is equivalent to
We note that the concept of nonspreading mapping is very important because of useful applications.
On the other hand, Chatterjea [2] considered the following condition:
where α is constant belonging to .
Motivated by the above, we introduce a new concept, named Chatterjea mapping. The condition (5) of this concept is weaker than (2). It is meaningful to study Chatterjea mapping because the concept of nonspreading mapping is very important. In this paper, we prove fixed point theorems for Chatterjea mappings without the convexity of the domain. We also prove convergence theorems to a fixed point.
2 Preliminaries
Throughout this paper we denote by ℕ the set of all positive integers and by ℝ the set of all real numbers. For , we define n! by and , that is, n! is the factorial of n. Stirling’s formula is well known. For with , we define , that is, is the binomial coefficient of .
A Banach space E is said to be smooth if the limit exists for each with . The normalized duality mapping J from E into is defined by for all .
Let E be a Banach space. E is said to be strictly convex if for all with and . We recall that E is said to be uniformly convex in every direction (UCED, for short) if for and with , there exists such that
for all with , and . It is obvious that UCED implies strictly convexity. We know that every separable Banach space can be equivalently renormed so that it is UCED. See [3, 4] and others. We know UCED is characterized as follows.
Lemma 1 ([5])
For a Banach space E, the following are equivalent:
-
(i)
E is UCED.
-
(ii)
If is a bounded sequence in E, then a function g on E defined by
(3)
is strictly quasiconvex, that is,
for all and with .
Let C be a subset of a Banach space E. C is said to be boundedly weakly compact if its intersection with any closed ball is weakly compact. It is obvious that if E is reflexive, then every closed convex subset is boundedly weakly compact. C is said to have the Opial property [6] if for each weakly convergent sequence in C with weak limit ,
holds for with . We remark that we may replace ‘lim inf’ by ‘lim sup’. All nonempty compact subsets have the Opial property. Also, all Hilbert spaces, () and finite dimensional Banach spaces have the Opial property. A Banach space with a duality mapping which is weakly sequentially continuous also has the Opial property [7]. We know that every separable Banach space can be equivalently renormed so that it has the Opial property [8].
Lemma 2 Let C be a boundedly weakly compact subset of a Banach space E and let f be a function from C into ℝ which is lower semicontinuous in the weak topology. Assume that either C is bounded or f satisfies
Then exists.
Proof Let be a sequence in C such that . From the assumption, is bounded. Since C is boundedly weakly compact, there exist a subsequence of and such that converges weakly to z. Since f is lower semicontinuous in the weak topology, we have
and hence . □
Let C be a subset of a Banach space E and let f be a function from C into ℝ. f is said to be nonincreasing with respect to a mapping T on C if for all . Also, from now on, in the case where C is bounded, we consider every function f to satisfy (4).
The proof of the following lemma is obvious.
Lemma 3 Let η be a continuous, strictly increasing function from into itself. Then the following hold:
-
(i)
if and only if .
-
(ii)
If , then .
3 Chatterjea mapping
In this section, we introduce the concept of Chatterjea mapping.
Let T be a mapping on a subset C of a Banach space E and let η be a continuous, strictly increasing function from into itself with . Then T is call a Chatterjea mapping with η if
for all .
From the definition, we can obtain the following propositions.
Proposition 4 Let T be a nonspreading mapping on a subset C of a Hilbert space E. Then T is Chatterjea with .
Proof Obvious. □
Proposition 5 Let T be a mapping on a subset C of a Banach space E and let η be a continuous, strictly increasing function from into itself with . Assume that there exists such that
for all . Then T is Chatterjea with η.
Proof For , we have
and
Adding the both inequalities, we obtain the desired result. □
Proposition 6 Let p and q be positive real numbers with . Let T be a mapping on a subset C of a Banach space E. Assume T is Chatterjea with . Then T is also Chatterjea with .
Proof Let α and β be nonnegative real numbers and define functions f and g from into ℝ by
Then we note f is convex because . We next show that g is nondecreasing. In the case where or , the nondecreasingness of g is obvious. In the case where and , we have
and hence g is nondecreasing. Let be fixed. Then we have
which implies that T is Chatterjea with . □
Example 7 Let p and q be positive real numbers with . Let E be a Banach space and let be fixed. Define a mapping T on E by
Then T is Chatterjea with , however, T is not Chatterjea with .
Proof Let be fixed. Then since , we have
which implies that T is Chatterjea with . On the other hand, since , we have
which implies that T is not Chatterjea with . □
Remark Example 7 also informs that Chatterjea mappings are not necessarily continuous.
4 Basic properties
In this section, we prove basic properties of Chatterjea mapping.
A mapping T on a subset C of a Banach space E is said to be quasinonexpansive [9] if
for all and .
Proposition 8 Assume that a mapping T on C is Chatterjea and has a fixed point. Then T is a quasinonexpansive mapping.
Proof Let η satisfy (5). For and , we have
Using this and the strict increasingness of η, we obtain (6). □
From Proposition 8, we obtain the following.
Lemma 9 Assume that a mapping T on C is Chatterjea and has a fixed point. Then is bounded for all .
Proposition 10 Let T be a Chatterjea mapping on a closed subset C of a Banach space E. Then is closed. Moreover, if E is strictly convex and C is convex, then is also convex.
The following lemma plays a very important role in this paper.
Lemma 11 Put and . Let A be a function from into satisfying the following:
-
for ;
-
for ;
-
for .
Then the following hold:
-
(i)
for ;
-
(ii)
for ;
-
(iii)
for ;
-
(iv)
.
Proof We first note for . Define a total order ≤ on by iff either or and . Fix and assume for with . Then we have
By induction, we obtain (i). In order to show (ii) and (iii), we also use induction with respect to n. When , (ii) becomes , which clearly holds. We assume (ii) holds for some . Then we have
Hence (iii) holds provided (ii) holds. We also have
Thus (ii) holds when . By induction, we obtain (ii) and (iii). We put
and
From the above proof, we have and ; and hence . We shall show by induction
for . When , (7) obviously holds. We assume (7) holds for some . Then we have
Thus (7) holds when . By induction, (7) holds for all n. We have
We also have . By (i) and (ii), we obtain
Similarly we can prove . We have shown (iv). □
A mapping T on C is said to be asymptotically regular at [10] if
T is said to be asymptotically regular on C if T is asymptotically regular at all .
Lemma 12 Let T be a Chatterjea mapping on a subset C of a Banach space E. Assume is bounded for some . Then T is asymptotically regular at x.
Proof Let η satisfy (5). From the assumption, there exists a positive real number M such that for . Define a function A by
for with . Then all the assumption of Lemma 11 are satisfied. So we obtain
Therefore T is asymptotically regular at x. □
Proposition 13 Let T be a Chatterjea mapping on a subset C of a Banach space E. Assume is bounded for some . Then the following hold:
-
(i)
is bounded for all .
-
(ii)
T is asymptotically regular on C.
Proof Let η satisfy (5). Define a continuous function f from C into by
for all . Then f is well defined from the assumption. We have
which implies . Thus, f is nonincreasing with respect to T. Hence for . This implies that is bounded. We have shown (i). By Lemma 12, we obtain (ii). □
5 Convergence theorems
In this section, we prove convergence theorems under the assumption that the domain C has the Opial property.
Proposition 14 Let T be a Chatterjea mapping on a subset C of a Banach space E. Assume C has the Opial property. If converges weakly to and , then . That is, is demiclosed at zero.
Proof We note that is bounded. Since
we have
for all . Using this, we have
and hence
Since C has the Opial property, we obtain . □
Remark A function from C into is also nonincreasing with respect to T.
Theorem 15 Let T be a Chatterjea mapping on a subset C of a Banach space E. Assume is bounded for some ; and C is boundedly weakly compact and has the Opial property. Then converges weakly to a fixed point of T for all .
Remark We do not need the convexity of C.
Proof Fix . By Proposition 13, is bounded and . From the assumption, there exist a subsequence of and such that converges weakly to z. By Proposition 14, z is a fixed point of T. By Proposition 8, we note that is a nonincreasing sequence. Arguing by contradiction, assume that does not converge to z. Then there exist a subsequence of and such that converges weakly to w and . We note . From the Opial property,
This is a contradiction. Therefore converges weakly to z. □
As direct consequences of Theorem 15, we obtain the following.
Corollary 16 Let T be a Chatterjea mapping on a weakly compact subset C of a Banach space E. Assume C has the Opial property. Then converges weakly to a fixed point of T for all .
Corollary 17 Let T be a Chatterjea mapping on a compact subset C of a Banach space E. Then converges strongly to a fixed point of T for all .
6 Existence theorems
In this section, we prove the existence of fixed points of Chatterjea mappings. By Lemma 9 and Theorem 15, we obtain the following.
Theorem 18 Let T be a Chatterjea mapping on a subset C of a Banach space E. Assume C is boundedly weakly compact and has the Opial property. Then the following are equivalent:
-
(i)
is bounded for some .
-
(ii)
T has a fixed point.
As direct consequences of Theorem 18, we obtain the following.
Corollary 19 Let T be a Chatterjea mapping on a subset C of a Banach space E. Assume that either of the following holds:
-
C is compact;
-
C is weakly compact and has the Opial property.
Then T has a fixed point.
Remark It is obvious that Corollary 19 also can be proved by Corollaries 16 and 17.
Corollary 20 Let T be a nonspreading mapping on a weakly closed subset C of a Hilbert space E. Then the following are equivalent:
-
(i)
is bounded for some .
-
(ii)
T has a fixed point.
Remark Corollary 20 is a generalization of Corollary 4.4 in [1] because we do not assume the convexity of C.
We shall prove fixed point theorems in UCED Banach spaces.
Lemma 21 Let C be a boundedly weakly compact and convex subset of a Banach space E. Let T be a mapping on a subset C. Assume that there exists a lower semicontinuous, strictly quasiconvex function f from C into ℝ such that f is nonincreasing with respect to T and f satisfies (4). Then T has a fixed point.
Proof Since f is quasiconvex, we note that f is lower semicontinuous in the weak topology. By Lemma 2, there exists such that . Since f is nonincreasing with respect to T, . Thus . If , then since f is strictly quasiconvex, we have
This is a contradiction. Hence . □
Lemma 22 Let C be a boundedly weakly compact and convex subset of a Banach space E. Let be commuting mappings on C. Assume that for every , there exists a lower semicontinuous, strictly quasiconvex function from C into ℝ such that is nonincreasing with respect to and satisfies (4). Assume also that is closed and convex for . Then is nonempty.
Proof By Lemma 21, is nonempty. Since is closed and convex, is weakly closed. Thus is boundedly weakly compact. We assume that is nonempty, boundedly weakly compact and convex for some with . For and with , since , we have , thus is a fixed point of . Therefore . By Lemma 21 again, has a fixed point in , thus, . Since is closed and convex, is nonempty, boundedly weakly compact and convex. By induction, is nonempty, boundedly weakly compact and convex. By Lemma 21, has a fixed point in . This completes the proof. □
Lemma 23 Let C be a weakly compact and convex subset of a Banach space E. Let be a family of commuting mappings on C. Assume that for every , there exists a lower semicontinuous, strictly quasiconvex function from C into ℝ such that is nonincreasing with respect to T. Assume also that is closed and convex for . Then S has a common fixed point.
Proof By Lemma 22, has the finite intersection property. Since C is weakly compact and is weakly closed for every , we have . Since A is weakly compact and , has a fixed point in A. Thus S has a common fixed point. □
Lemma 24 Let C be a convex subset of a UCED Banach space E. Let T be a Chatterjea mapping on C. Assume that is bounded for some . Define a function f from C into by (9). Then f is a continuous, strictly quasiconvex function such that f is nonincreasing with respect to T and f satisfies (4).
Proof We note that a function g defined by (3) is continuous and strictly quasiconvex; and g satisfies (4). So f is also continuous and strictly quasiconvex; and f satisfies (4). We have shown that f is nonincreasing with respect to T in the proof of Proposition 13. □
Using Lemmas 21-24, we obtain the following.
Theorem 25 Let C be a boundedly weakly compact and convex subset of a UCED Banach space E. Let T be a Chatterjea mapping on C. Then the following are equivalent:
-
(i)
is bounded for some .
-
(ii)
T has a fixed point.
Theorem 26 Let C be a boundedly weakly compact and convex subset of a UCED Banach space E. Let be commuting Chatterjea mappings on C. Assume that is bounded for all and j. Then is nonempty.
Theorem 27 Let C be a weakly compact and convex subset of a UCED Banach space E. Let S be a family of commuting Chatterjea mappings on C. Then S has a common fixed point.
References
Kohsaka F, Takahashi W: Fixed point theorems for a class of nonlinear mappings related to maximal monotone operators in Banach spaces. Arch. Math. 2008, 91: 166–177. MR2430800 10.1007/s00013-008-2545-8
Chatterjea SK: Fixed-point theorems. C. R. Acad. Bulgare Sci. 1972, 25: 727–730. MR0324493
Goebel K, Kirk WA Cambridge Studies in Advanced Mathematics 28. In Topics in Metric Fixed Point Theory. Cambridge University Press, Cambridge; 1990. MR1074005
Prus S: Geometrical background of metric fixed point theory. In Handbook of Metric Fixed Point Theory. Edited by: Kirk WA, Sims B. Kluwer Academic, Dordrecht; 2001:93–132. MR1904275
Suzuki T: Fixed point theorems and convergence theorems for some generalized nonexpansive mappings. J. Math. Anal. Appl. 2008, 340: 1088–1095. MR2390912 10.1016/j.jmaa.2007.09.023
Opial Z: Weak convergence of the sequence of successive approximations for nonexpansive mappings. Bull. Am. Math. Soc. 1967, 73: 591–597. MR0211301 10.1090/S0002-9904-1967-11761-0
Gossez J-P, Lami Dozo E: Some geometric properties related to the fixed point theory for nonexpansive mappings. Pac. J. Math. 1972, 40: 565–573. MR0310717 10.2140/pjm.1972.40.565
van Dulst D: Equivalent norms and the fixed point property for nonexpansive mappings. J. Lond. Math. Soc. 1982, 25: 139–144. MR0645871
Diaz JB, Metcalf FT: On the structure of the set of subsequential limit points of successive approximations. Bull. Am. Math. Soc. 1967, 73: 516–519. MR0211387 10.1090/S0002-9904-1967-11725-7
Browder FE, Petryshyn WV: The solution by iteration of nonlinear functional equations in Banach spaces. Bull. Am. Math. Soc. 1966, 72: 571–575. MR0190745 10.1090/S0002-9904-1966-11544-6
Acknowledgements
The author is grateful to the referees for their careful reading. The author is supported in part by a Grant-in-Aid for Scientific Research from the Japan Society for the Promotion of Science.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author did not provide this information.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Suzuki, T. Fixed point theorems for a new nonlinear mapping similar to a nonspreading mapping. Fixed Point Theory Appl 2014, 47 (2014). https://doi.org/10.1186/1687-1812-2014-47
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1812-2014-47