1Department of Mathematics Yangtze Normal University, Chongqing, China
Vibroengineering PROCEDIA, Vol. 28, 2019, p. 201-205.
https://doi.org/10.21595/vp.2019.21034
Received 19 September 2019; accepted 1 October 2019; published 19 October 2019
42nd International Conference on Vibroengineering in Shanghai, China, October 19-21, 2019
In this paper, we introduce a new concept of W-nonexpansive mappings and obtain fixed point theorems for nonexpansive mappings for non-convex set. Our results resolve fixed pointed problem that nonexpansive mappings be not on closed convex set, and it extends fixed point theorems for nonexpansive mappings.
Keywords: W-nonexpansive mapping, Hilbert space, fixed point theorem, non-convex set.
1. Introduction and preliminaries
Fixed point theory is widely applied in engineering. Browder (1965) [1], Kirk (1965) [2] obtained fixed points theorem for nonexpansive mapping. Non-expansion fixed point theory has made great progress, large number of results are obtained by authors (e.g. See [3-11]). let’s come up with some definitions.
Definition 1.1 Let be a nonempty set, the function is called triangular if for all if or then
Definition 1.2 Let be a metric space and be a given mapping, if there exists a function such that , , then we say that is a -nonexpansive mapping.
Clearly, any nonexpansive mapping is a -nonexpansive mapping with for all .
Definition 1.3 Let be a mapping and be a function. We say that is a -admissible if ,
Definition 1.4 [4] Let be a Hilbert space, is called demicompact if whenever is bounded and strongly convergent, then there exists a subsequence of which is strongly convergent.
Next our main results are presented.
2. Main results
Theorem 2.1 Let be a bounded closed convex subset of a Hilbert space , is triangular function, is a -nonexpansive mapping and it is -admissible. If the following conditions are satisfied:
(w1) there exists such that ;
(w2) there exists a sequence with such that for all , if , then , ;
(w3) if is satisfied moreover or then
Then has a fixed point.
Proof. Let such that . Take for all , , there . Now we fix , for each , from (w2), we may obtain
Also, for is -admissible, then is obtained. According to is a triangular function and (w1), then
Once again use (w2), then is also obtained. Continuously, we easily obtain:
Based on that is triangular, we may get:
So from Eq. (2) and for is -nonexpansive, we have:
Let , for is bounded we may get , hence is Cauchy sequence, it means there exists such that convergent to , that is:
Also, from Eq. (1) and (w3), we have:
Once again by Eq. (1), for is triangular, so we have:
Since is bounded, closed and convex in Hilbert , then it is weakly compact. Hence there exists a such that:
From Eqs. (6, 7), applying (w3) we have:
Next, we show that .
Indeed, according to , is -nonexpiansive and Eq. (5), we have:
Let in Eq. (9), utilize Eq. (4) we obtain , it implies that .
Finally, we show that is a fixed point of . If is any arbitrary point in , we have:
Since , then ,
So, based on the above inequality and Eq. (10), we get:
Setting in Eq. (11), we have:
Moreover, since , then:
So, in Eq. (13) as , for we have:
On the other hand, from Eq. (8) and since is -nonexpansive mapping, we have:
Thus:
in turn:
Hence by Eq. (14), we have:
And, due to is bounded, we have also:
So, by Eq. (12), we get , that is, is fixed point of .
Now, we provide a method for computation of that fixed point .
Theorem 2.2 Suppose all conditions of the Theorem 2.1 are satisfied. Then the Krasnoselskij iteration given by:
converges to a fixed point of .
Proof. Take the same as Theorem 2.1, and such that . From (w2) we get:
For is triangular, so:
Since is a -admissible, from Eq. (20) we have:
Once again for is triangular, by Eqs. (21) and (22) we have
Also, from (w2) we have
Continuously, we can obtain:
Hence:
Also form Theorem 2.1, we know that is fixed point of , and Based on all conditions of Theorem 2.1 are satisfied in Theorem 2.2, similarly we have:
From Eqs. (25) and (26), for is triangular, then:
Also, by Eqs. (24) and (27), use is triangular, we get:
Based on Eq. (28), since is -nonexpansive mapping, then we have:
So:
Continuously, we have , which implies that is monotone decrease bounded sequence. So exists.
Next, we prove that :
Also, on the other hand for any constant :
Adding Eq. (31) to Eq. (32) and let , we may obtain:
It implies
Since exists, in the above inequality let it results
It means
For is demicompact, it results that there exists a strongly convergent subsequence such that , that is, . Also is convergent, it implies that . Hence that is convergent to .
Acknowledgements
This work was supported by the Educational Science Foundation of Chongqing.
References
- Browder F. E. Nonexpansive nonlinear operators in a Banach space. Proceedings of the National Academy of Sciences of the United States of America, Vol. 54, 1965, p. 1041-1044. [Publisher]
- Kirk W. A. A fixed point theorem for mappings which do not increase distance. American Mathematical Monthly, Vol. 72, 165, p. 1004-1006. [Publisher]
- Browder F. E. Construction of fixed points of nonlinear mappings in Hilbert space. Journal of Mathematical Analysis and Applications, Vol. 20, Issue 2, 1967, p. 197-228. [Publisher]
- Amini-Harandi A., Fakhar M. Approximate fixed points of α-nonexpamsive mappings. Journal of Mathematical Analysis and Applications, Vol. 462, Issue 2, 2018, p. 1168-1173. [Publisher]
- Shimizu T., Takahashi W. Strong convergence to common fixed points of families of nonexpansive mapping. Journal of Mathematical Analysis and Applications, Vol. 222, Issue 1, 1997, p. 71-83. [Publisher]
- Tang J. F., Chang Shih-Sen General split feasibility problems for two families of nonexpansive mappings in Hilbert spaces. Acta Mathematica Scientia, Vol. 36, Issue 2, 2016, p. 602-603. [Publisher]
- O’hara J. G., Pillay P., Xu H. K. Iterative approaches to finding nearest common fixed points of nonexpansive mappings in Hilbert spaces. Nonlinear Analysis: Theory, Methods and Applications, Vol. 54, Issue 8, 2003, p. 1417-1426. [Publisher]
- Lee B. S., Chang Shih-Sen Fixed points for nonexpansive fuzzy mappings in locally convex space. Fuzzy Sets and Systems, Vol. 76, Issue 2, 1995, p. 247-251. [Publisher]
- Hierro A. F. R. L. D., Shahzad N. New fixed point theorem under R-contractions. Fixed Point Theory and Applications, Vol. 2015, 2015, p. 176. [Publisher]
- Samet B., Vetro C., Vetro P. Fixed point theorems for α-ψ-contractive type mappings. Nonlinear Analysis, Vol. 75, 2012, p. 2154-2165. [Publisher]
- Karapinar E., Samet B. Generalized α-ψ contractive type mappings and related fixed point theorems with applications. Abstract and Applied Analysis, Vol. 2012, 2012, p. 793486. [Publisher]