Variational Analysis, Optimization, and Fixed Point Theory 2014View this Special Issue
Fixed Point Approximation of Nonexpansive Mappings on a Nonlinear Domain
We use a three-step iterative process to prove some strong and -convergence results for nonexpansive mappings in a uniformly convex hyperbolic space, a nonlinear domain. Three-step iterative processes have numerous applications and hyperbolic spaces contain Banach spaces (linear domains) as well as CAT(0) spaces. Thus our results can be viewed as extension and generalization of several known results in uniformly convex Banach spaces as well as CAT(0) spaces.
1. Introduction and Preliminaries
Approximating fixed points of nonlinear mappings using different iterative processes on different domains has remained at the heart of fixed point theory. Nonexpansive mappings constitute one of the most important classes of nonlinear mappings which have remained a crucial part of such studies. Another important role is that of ambient spaces in this regard. Banach spaces (linear domains) with some geometric structure have been studied extensively: one of such structures is convexity. Since every Banach space is a vector space, it is easier to assign a convex structure to it. However, metric spaces do not enjoy this structure. Takahashi  introduced the notion of convex metric spaces and studied the fixed point theory for nonexpansive mappings in this setting. Later on, several attempts were made to introduce different convex structures on a metric space. One such convex structure is available in a hyperbolic space introduced by Kohlenbach . Kohlenbach hyperbolic space  is more restrictive than the hyperbolic space introduced in  and more general than the concept of hyperbolic space in . Spaces like CAT(0) and Banach are special cases of a hyperbolic space. The class of hyperbolic spaces also contains Hadamard manifolds, Hilbert ball equipped with the hyperbolic metric , -trees, and Cartesian products of Hilbert balls as special cases. Many authors have worked on hyperbolic spaces; see for example, [6, 7] and the references cited therein. Finally, an iterative process to be used for approximation of fixed point is very important. Several iterative processes having various numbers of steps have been employed for the purpose. Very famous Mann iteration process is a one-step process, while Ishikawa process is a two-step process among others. Glowinski and Le Tallec  used a three-step iterative process to obtain approximate solutions of the elastoviscoplasticity problem, liquid crystal theory, and eigenvalue computation. They observed that a three-step iterative process is better than a two- and a one-step iterative process in giving numerical results. This was again testified in the study of Abbas and Nazir . Haubruge et al.  analyzed convergence of a three-step iterative process of Glowinski and Le Tallec  and applied it to obtain new splitting type iterations for solving variational inequalities, separable convex programming, and minimization of a sum of convex functions. They also proved that a three-step iterative process lead to highly paralleled iterations under certain conditions. Thus we conclude that studying three-step iterative processes is very important in solving various numerical problems arising in pure and applied sciences.
The purpose of this paper is to investigate -convergence as well as strong convergence of a three-step iterative process (to be given later) for nonexpansive maps on a nonlinear domain of hyperbolic spaces. As mentioned above, the class of uniformly convex hyperbolic spaces includes several types of spaces including those of uniformly convex Banach spaces as well as CAT(0) spaces. This shows that our results extend and improve the corresponding results for uniformly convex Banach spaces as well as CAT(0) spaces at the same time and using one of the well-applied three-step iterative processes.
Throughout this paper, stands for the set of natural numbers. Let be a metric space and a nonempty subset of . A mapping is said to be nonexpansive if for all . The notation has been reserved for the set of fixed points of .
A hyperbolic space  is a triple where is a metric space and is such that(W1),(W2),(W3),(W4),
for all and .
If satisfies only (W1), then it coincides with the convex metric space introduced by Takahashi . A subset of a hyperbolic space is called convex if for all and .
A hyperbolic space is said to be (i)strictly convex  if, for any and , there exists a unique element such that (ii)uniformly convex  if, for all , and , there exists a such that
A map which provides such a for given and is called modulus of uniform convexity. We call monotone if it decreases with (for a fixed ). A uniformly convex hyperbolic space is strictly convex (see ).
In all the iterative processes to follow, we fix a given in (a subset of the ambient space) as a starting point of the process and a nonexpansive mapping unless stated otherwise. We know that Picard and Mann iterative processes are defined, respectively, as where is in .
In an attempt to develop an iterative process whose rate of convergence is faster than the Picard iterative, Agarwal et al.  introduced the following two-step iterative process: where and are in . They showed that this process converges at a rate the same as that of Picard process and faster than Mann process for contractions. Continuing with the same question, Sahu  proved that this process converges at a rate faster than both Picard and Mann for contractions. He also gave a numerical example in support of his analytic proof.
Recently, Abbas and Nazir  considered the following three-step iterative process in Banach spaces: where , and are in .
They proved that it is faster than all of Picard, Mann, and Agarwal et al.’s while supporting their analytic proof by a numerical example. They claimed that their process was independent of all the processes just mentioned in the sense that neither can be deduced from this process and vice versa. They proved some weak and strong convergence results using this iterative process for nonexpansive mappings in Banach spaces (a linear domain).
Keeping in mind the above discussion (about mappings, ambient spaces, and iterative processes), we first write the iterative process (5) in the language of hyperbolic spaces as where , and are in .
Note that (6) is a three-step iterative process. To explain and simplify the already mentioned purpose of our paper, we say that we apply iterative process (6) to approximate fixed points of nonexpansive mappings in a hyperbolic space.
Let us now turn to some prerequisites as follows.
The concept of -convergence in a metric space was introduced by Lim . -convergence in CAT(0) spaces has been investigated initially by Dhompongsa and Panyanak . See also Khan et al. , Abbas and Khan , and Khan and Abbas .
Let be a bounded sequence in a hyperbolic space . For , we define a continuous functional by The asymptotic radius of is defined as The asymptotic center of a bounded sequence with respect to a subset of is defined as
If the asymptotic center is taken with respect to , then it is simply denoted by . It is known that uniformly convex Banach spaces and CAT(0) spaces enjoy the property that bounded sequences have unique asymptotic centers with respect to closed convex subsets. In case of hyperbolic spaces, we have the following result.
Lemma 1 (see ). Let be a complete uniformly convex hyperbolic space with monotone modulus of uniform convexity. Then every bounded sequence in has a unique asymptotic center with respect to any nonempty closed convex subset of .
A sequence in is said to -converge to if is the unique asymptotic center of for every subsequence of . In this case, is called -limit of and is written as -.
The following useful lemma has been taken from Khan et al. .
Lemma 2 (see ). Let be a uniformly convex hyperbolic space with monotone modulus of uniform convexity . Let be a sequence in for some and sequences in . If , , and for some , then .
A sequence in a metric space is said to be Fejér monotone with respect to (a subset of ) if for all and for all .
Lemma 3 (see ). Let be a nonempty closed subset of a complete metric space and let be Fejér monotone with respect to . Then converges to some if and only if .
A map is semicompact if any bounded sequence satisfying as , has a convergent subsequence. A map is said to satisfy condition (I) in  if there is a nondecreasing function with , for all such that for all , where .
2. Fixed Point Approximation
We start our main section with the following.
Lemma 4. Let be a nonempty closed convex subset of a hyperbolic space and let be a nonexpansive self-map on such that . Then as defined in (6) is Fejér monotone with respect to .
Proof. Let . Using (6), we have Next, Thus That is, for all . Thus is Fejér monotone with respect to .
Remarks. The following are immediate consequences of the above lemma:(1) exists for all ;(2) exists;(3) is bounded.
Lemma 5. Let be a nonempty closed convex subset of a uniformly convex hyperbolic space with monotone modulus of uniform convexity . Let be a nonexpansive self-map on such that . Let be as defined in (6). Then
Proof. Let . By Lemma 4, it follows that exists. Assume that where . Note that
Since , Lemma 2 gives
implies by virtue of (17) that
But by (12), ; hence
Since and , Lemma 2 guarantees
because of (20).
Moreover, yields by virtue of (21) that But by (11), ; hence Thus from Lemma 2, we obtain
The following are our strong convergence results.
Theorem 6. Let be a nonempty closed convex subset of a complete uniformly convex hyperbolic space with monotone modulus of uniform convexity and let be a nonexpansive self-map on such that . Suppose that satisfies condition (I) in . Then the sequence defined in (6) converges strongly to .
Proof. By Lemma 4, it follows that exists for all and hence exists. Also, by Lemma 5, . By using condition (I) in  we get . Since is nondecreasing with , it follows that . Again by Lemma 4, is Fejér monotone with respect to . Thus Lemma 3 implies that converges strongly to a point in .
Theorem 7. Let be a nonempty closed convex subset of a complete uniformly convex hyperbolic space with monotone modulus of uniform convexity and let be a nonexpansive self-map on such that . Suppose that either is compact or is semicompact. Then the sequence defined in (6) converges strongly to .
Proof. Note that the condition (I) in  is weaker than both the compactness of and the semicompactness of the nonexpansive mappings ; therefore we have the result by above theorem.
Finally, we give our -convergence theorem.
Theorem 8. Let be a nonempty closed convex subset of a complete uniformly convex hyperbolic space with monotone modulus of uniform convexity and let be a nonexpansive self-map on such that . Then the sequence defined by (6) -converges to a fixed point of .
Proof. It follows from Lemma 4 that is bounded. Therefore has a -convergent subsequence. We now prove that every -convergent subsequence of has a unique -limit in . For this, let and be the -limits of the subsequences and of , respectively. By definition and . By Lemma 5, we have . We claim that is a fixed point of . Now
By the uniqueness of asymptotic centers, . Similarly, we can prove that . This means that both and are fixed points of . What is left to prove now is that . To this end, if and are distinct then by uniqueness of asymptotic centers, This is a contradiction and hence the proof.
Conflict of Interests
The authors declare that they have no conflict of interests regarding the publication of this paper.
W. Takahashi, “A convexity in metric spaces and nonexpansive mappings,” Kodai Mathematical Seminar Reports, vol. 22, no. 2, pp. 142–149, 1970.View at: Publisher Site | Google Scholar | MathSciNet
U. Kohlenbach, “Some logical metatheorems with applications in functional analysis,” Transactions of the American Mathematical Society, vol. 357, no. 1, pp. 89–128, 2005.View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
K. Goebel and W. A. Kirk, “Iteration processes for nonexpansive mappings,” in Topological Methods in Nonlinear Functional Analysis, S. P. Singh, S. Thomeier, and B. Watson, Eds., vol. 21 of Contemporary Mathematics, pp. 115–1123, American Mathematical Society, Providence, RI, USA, 1983.View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
S. Reich and I. Shafrir, “Nonexpansive iterations in hyperbolic spaces,” Nonlinear Analysis, vol. 15, no. 6, pp. 537–558, 1990.View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
K. Goebel and S. Reich, Uniform Convexity, Hyperbolic Geometry, and Nonexpansive Mappings, Marcel Dekker, New York, NY, USA, 1984.View at: MathSciNet
A. R. Khan, H. Fukhar-ud-din, and M. A. A. Khan, “An implicit algorithm for two finite families of nonexpansive maps in hyperbolic spaces,” Fixed Point Theory and Applications, vol. 2012, article 54, 2012.View at: Google Scholar
H. Fukhar-ud-din and M. Khan, “Convergence analysis of a general iteration schema of non-linear mappings in hyperbolic spaces,” Fixed Point Theory and Applications, vol. 2013, article 238, 2013.View at: Publisher Site | Google Scholar
R. Glowinski and P. Le Tallec, Augmented Lagrangian and Operator-Splitting Methods in Nonlinear Mechanics, Society for Industrial and Applied Mathematics, Philadelphia, Pa, USA, 1989.View at: Publisher Site | MathSciNet
M. Abbas and T. Nazir, “A new faster iteration process applied to constrained minimization and feasibility problems,” Mathematicki Vesnik, vol. 106, pp. 1–12, 2013.View at: Google Scholar
S. Haubruge, V. H. Nguyen, and J. J. Strodiot, “Convergence analysis and applications of the Glowinski-Le Tallec splitting method for finding a zero of the sum of two maximal monotone operators,” Journal of Optimization Theory and Applications, vol. 97, no. 3, pp. 645–673, 1998.View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
T. Shimizu and W. Takahashi, “Fixed points of multivalued mappings in certain convex metric spaces,” Topological Methods in Nonlinear Analysis, vol. 8, no. 1, pp. 197–203, 1996.View at: Google Scholar | Zentralblatt MATH | MathSciNet
L. Leustean, “A quadratic rate of asymptotic regularity for CAT(0) spaces,” Journal of Mathematical Analysis and Applications, vol. 325, no. 1, pp. 386–399, 2007.View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
R. P. Agarwal, D. O'Regan, and D. R. Sahu, “Iterative construction of fixed points of nearly asymptotically nonexpansive mappings,” Journal of Nonlinear and Convex Analysis, vol. 8, no. 1, pp. 61–79, 2007.View at: Google Scholar
D. R. Sahu, “Applications of the S-iteration process to constrained minimization problems and split feasibility problems,” Fixed Point Theory, vol. 12, no. 1, pp. 187–204, 2011.View at: Google Scholar | Zentralblatt MATH | MathSciNet
T. C. Lim, “Remarks on some fixed point theorems,” Proceedings of the American Mathematical Society, vol. 60, pp. 179–182, 1976.View at: Google Scholar | MathSciNet
S. Dhompongsa and B. Panyanak, “On -convergence theorems in CAT(0) spaces,” Computers and Mathematics with Applications, vol. 56, no. 10, pp. 2572–2579, 2008.View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
M. Abbas and S. H. Khan, “Some -convergence theorems in CAT(0) spaces,” Hacettepe Journal of Mathematics and Statistics, vol. 40, no. 4, pp. 563–569, 2011.View at: Google Scholar | Zentralblatt MATH | MathSciNet
S. H. Khan and M. Abbas, “Strong and -convergence of some iterative schemes in CAT(0) spaces,” Computers and Mathematics with Applications, vol. 61, no. 1, pp. 109–116, 2011.View at: Publisher Site | Google Scholar | MathSciNet
L. Leustean, “Nonexpansive iterations in uniformly convex W-hyperbolic spaces,” in Nonlinear Analysis and Optimization I: Nonlinear Analysis, A. Leizarowitz, B. S. Mordukhovich, I. Shafrir, and A. Zaslavski, Eds., vol. 513 of Contemporary Mathematics, pp. 193–209, American Mathematical Society, 2010.View at: Publisher Site | Google Scholar | MathSciNet
H. H. Bauschke and P. L. Combettes, Convex Analysis and Monotone Operator Theory in Hilbert Spaces, Springer, New York, NY, USA, 2011.View at: Publisher Site | MathSciNet
H. F. Senter and W. G. Dotson,, “Approximating fixed points of nonexpansive mappings,” Proceedings of the American Mathematical Society, vol. 44, no. 2, pp. 375–380, 1974.View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet