- Research
- Open access
- Published:
Common fixed point and solution of nonlinear functional equations
Fixed Point Theory and Applications volume 2013, Article number: 290 (2013)
Abstract
Convergence of a new iterative scheme, containing Mann and Ishikawa iterative schemes, for asymptotically nonexpansive mappings on a 2-uniformly convex hyperbolic space is studied. As application, we find a solution of a system of certain nonlinear functional equations in uniformly convex Banach spaces.
MSC:47H09, 47H10.
1 Introduction
The Banach contraction principle asserts that a contraction on a complete metric space has a unique fixed point and its proof hinges on ‘Picard iterations’. This principle is applicable to a variety of subjects such as integral equations, partial differential equations and engineering of image processing.
Many important nonlinear problems of mathematics reduce to nonlinear functional equations such as nonlinear integral equations and boundary value problems for nonlinear ordinary or partial differential equations which can be translated in terms of a fixed point equation for a given nonlinear mapping T on a Banach space or a metric space.
Browder and Petryshyn [1] solved the equation
for a given element f of X (Banach space) and described its relation with the properties of Picard iterates, i.e., the sequence where
for an initial value .
We know that Picard iterates of nonexpansive mappings fail to converge even on a Banach space. Therefore, Mann [2] iterates were introduced to approximate fixed points of nonexpansive mappings. Mann iterates were not adequate for the approximation of fixed points of pseudocontractive mappings and this led to the introduction of Ishikawa iterates [3].
Let C be a nonempty subset of a metric space . A mapping T of C into itself is (i) asymptotically nonexpansive if there is a sequence with as and for all (when for each , it becomes nonexpansive); (ii) semi-continuous if for any bounded sequence in C satisfying , there exists a subsequence of such that ; (iii) completely continuous if every bounded sequence in C implies that has a convergent subsequence.
Nonexpansive mappings (the class of nonlinear mappings containing contractions as a subclass) remain a popular area of research in various fields. The iterative construction of fixed points of these mappings is a fascinating field of research. The fixed point problem for some nonlinear mappings has been studied on linear as well as nonlinear domains [4–8].
Numerous papers have appeared on the iterative construction of fixed points of asymptotically nonexpansive and asymptotically quasi-nonexpansive mappings in uniformly convex Banach spaces [3, 4, 7, 9–18].
The Ishikawa iterative scheme for two asymptotically nonexpansive mappings S and T is defined as
where .
For in (1.2), we have an Ishikawa type iterative scheme for one mapping [19]
When in (1.2), we have the Mann [2] type iterative scheme
Rhoades [16] established Mann and Ishikawa type convergence results as two separate results as follows.
Theorem 1 ([16], Theorem 2)
Let C be a nonempty bounded, closed and convex subset of a uniformly convex Banach space. Let T be a completely continuous asymptotically nonexpansive mapping on C with satisfying . Define to satisfy for all and . Then the Mann type iterative scheme in (1.4) converges to a fixed point of T.
Theorem 2 ([16], Theorem 3)
Let C be a nonempty bounded, closed and convex subset of a uniformly convex Banach space. Let T be a completely continuous asymptotically nonexpansive mapping on C with satisfying . Define , to satisfy for all and . Then the Ishikawa type iterative scheme in (1.3) converges to a fixed point of T.
An extension of a linear version (usually in Banach spaces) of a known result to metric fixed point theory has its own importance. As Mann and Ishikawa iterative schemes involve general convex combinations, we need some convex structure in a metric space to investigate their convergence on a nonlinear domain.
Let be a metric space. Suppose that there exists a family Ϝ of metric segments such that any two points x, y in X are endpoints of a unique metric segment ( is an isometric image of the real line interval ). We shall denote by the unique point z of which satisfies
Such metric spaces are usually called convex metric spaces [20]. One can easily deduce , and from the definition of a convex metric space [21–24].
A convex metric space X is hyperbolic if
for all and (see also [25]).
For , the hyperbolic inequality reduces to convex structure [26]
A nonempty subset C of a convex metric space X is convex if for all and .
Normed spaces and their subsets are linear hyperbolic spaces while Hadamard manifolds [27], the Hilbert open unit ball equipped with the hyperbolic metric [28] and the spaces qualify for the criteria of nonlinear hyperbolic spaces [21, 23, 24, 29].
A convex metric space X is uniformly convex if
for any , and .
From now onwards we assume that X is a uniformly convex hyperbolic space with the property that for every , , there exists depending on s and ε such that for any .
Xu [30] extensively used the concept of p-uniform convexity (see also [[31], p.310]); its nonlinear version for was introduced by Khamsi and Khan [8] as follows:
For a fixed , , , define
where the infimum is taken over all such that , and .
We say that X is 2-uniformly convex if
It was shown in [8] that any space is 2-uniformly convex with .
Using the concept of a unique point in a metric segment , we express (1.2)-(1.4) in a convex hyperbolic space as follows:
Ishikawa iterative scheme for two mappings
where .
Ishikawa iterative scheme for one mapping
Mann iterative scheme
In the sequel, the following results are needed.
Lemma 1 [7]
Suppose that X is a 2-uniformly convex hyperbolic space. Then, for any , we have that
for any .
Lemma 2 [18]
Let , and be nonnegative real sequences and satisfy
If and , then exists.
Our purpose in this paper is to approximate a common fixed point of two asymptotically nonexpansive mappings through iterative scheme (1.6) in 2-uniformly convex hyperbolic spaces. This work provides a unified approach to convergence results for Mann and Ishikawa iterative schemes.
2 Convergence in 2-uniformly convex hyperbolic spaces
We set and .
Lemma 3 Let C be a nonempty convex subset of a hyperbolic space X, and let be asymptotically nonexpansive mappings with sequence such that . Then, for the sequence in (1.6), exists for all .
Proof Let . By (1.5) and (1.6), we have
That is,
Since is bounded, therefore
where . As , so by Lemma 2, exists. □
Lemma 4 Let C be a nonempty convex subset of a hyperbolic space X, and let be asymptotically nonexpansive mappings with sequence such that . Then, for the sequence in (1.6), we have that
for all , and some .
Proof With the help of inequality for and (2.1), we have
 □
Theorem 3 Let C be a nonempty closed and convex subset of a complete hyperbolic space X, and let be asymptotically nonexpansive mappings with sequence such that . Then in (1.6) converges to a point in F if and only if , where .
Proof We only prove sufficiency. Suppose that . It has been shown in the proof of Lemma 3 that . By the properties of inf, we have that and hence, by Lemma 2, exists. Therefore the hypothesis gives that . Next we show that is a Cauchy sequence. Let . Since , there exists such that . Hence there must exist such that .
Now, for any , we have from the estimate in the proof of Lemma 4
This proves that is a Cauchy sequence. Since X is complete and C is its closed subset, therefore . Now gives that . As F is closed, so . □
Lemma 5 Let C be a nonempty convex subset of a 2-uniformly convex hyperbolic space X, and let be asymptotically nonexpansive mappings with sequence such that . Define and to satisfy for all . Then, for the sequence in (1.6), .
Proof Let . Then, by Lemma 1, we have
Since exists, therefore we have
for some .
This inequality implies the following two important inequalities:
and
Let m be any positive integer. Summing up the terms from 1 to m on both sides in inequality (2.2), we have
When in the above inequality, we get that
and hence
Adapting a similar procedure for inequality (2.3), we get that
Therefore the inequality
together with (2.4) and (2.5) gives that
Next we prove that
Note that
Finally,
gives that
Similarly,
That is,
 □
The following concept is needed to proceed further.
Let f be nondecreasing on with and for all . Then the mappings with satisfy Condition (A) if
Using Condition (A) and Theorem 3, we prove a convergence theorem in complete 2-uniformly convex spaces as follows.
Theorem 4 Let C be a nonempty convex subset of a complete 2-uniformly convex hyperbolic space X. Let be asymptotically nonexpansive mappings with sequence such that and satisfy Condition (A). Define and to satisfy for . Then the sequence in (1.6) converges to a point in F.
Proof By Lemma 5, . Using Condition (A), we get that . Now Theorem 3 gives that converges to a point in F. □
Another convergence theorem is established in the following result under any of Conditions (ii)-(iii) without requiring the completeness of the space X.
Theorem 5 Let C be a nonempty convex subset of a 2-uniformly convex hyperbolic space X. Let be asymptotically nonexpansive mappings with sequence such that and either S or T is semi-compact. Define and to satisfy for all . Then the sequence in (1.6) converges to a point in F.
Proof Lemma 5 gives that . Suppose that T is semi-compact. Since exists, therefore is bounded. As and T is semi-compact, so there is a subsequence of such that , and hence and . Therefore implies that . That is, . As exists and , therefore . □
Let be a family of mappings on C. The multi-step iteration scheme of Khan et al. [12] may be adapted in a convex hyperbolic space as follows:
where for all .
Following the line of action of the proofs of Theorem 3 and Lemma 5, we can easily prove the following results.
Theorem 6 Let C be a nonempty closed and convex subset of a complete 2-uniformly convex hyperbolic space X, and let be a family of asymptotically quasi-nonexpansive self-mappings of C, i.e., for all and , . Suppose that , and for all i. Then the iterative sequence , defined by (2.6), converges to a common fixed point of the family of mappings if and only if .
Theorem 7 Let C be a nonempty closed and convex subset of a 2-uniformly convex hyperbolic space X, and let be a family of asymptotically nonexpansive mappings of C, i.e., for all and , where are sequences in with for each . Assume that and the sequence is in (2.6) with for some . If for some i, , is semi-compact, then converges to a point in .
Remark 1 (1) Theorem 5 extends (unifies) Theorem 2 of Khan and Takahashi [14] (Theorems 1-2) in the setting of 2-uniformly convex hyperbolic spaces.
(2) Theorem 6 establishes Theorem 1 by Qihou [15] together with its Corollaries 1 and 2, which are themselves extensions of the results of Ghosh and Debnath [11] and Petryshyn and Williamson [32], for two asymptotically nonexpansive mappings on a 2-uniformly convex hyperbolic space.
(3) All the results of this paper, in particular, hold in spaces.
Remark 2 In a uniformly convex Banach space B, iterative scheme (2.6) for nonexpansive mappings becomes the scheme (∗) of Kuhfittig ([29], p.137) which he applied to solve the system of equations of the type
where each is a nonexpansive self-mapping on X and each is a given element of X. Following Kuhfittig [29], we can apply our iteration scheme (2.6) to find a solution of the system of equations of the type
for a family of asymptotically nonexpansive mappings on B.
References
Browder FE, Petryshyn WV: The solution by iteration of nonlinear functional equations in Banach spaces. Bull. Am. Math. Soc. 1966, 72: 571–575. 10.1090/S0002-9904-1966-11544-6
Mann WR: Mean value methods in iteration. Proc. Am. Math. Soc. 1953, 4: 506–510. 10.1090/S0002-9939-1953-0054846-3
Ishikawa S: Fixed point by a new iteration method. Proc. Am. Math. Soc. 1974, 44: 147–150. 10.1090/S0002-9939-1974-0336469-5
Fukhar-ud-din H, Khan AR, Akhtar Z: Fixed point results for generalized nonexpansive maps in uniformly convex metric spaces. Nonlinear Anal. 2012, 75: 4747–4760. 10.1016/j.na.2012.03.025
Goebel K, Kirk W: A fixed point theorem for asymptotically nonexpansive mappings. Proc. Am. Math. Soc. 1972, 35: 171–174. 10.1090/S0002-9939-1972-0298500-3
Ibn Dehaish BA: Ishikawa iteration process for asymptotic pointwise nonexpansive mappings in metric spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 98 10.1186/1687-1812-2013-98
Ibn Dehaish BA, Khamsi MA, Khan AR: Mann iteration process for asymptotic pointwise nonexpansive mappings in metric spaces. J. Math. Anal. Appl. 2013, 397: 861–868. 10.1016/j.jmaa.2012.08.013
Khamsi MA, Khan AR: Inequalities in metric spaces with applications. Nonlinear Anal. 2011, 74: 4036–4045. 10.1016/j.na.2011.03.034
Fukhar-ud-din H, Khan SH: Convergence of iterates with errors of asymptotically quasi-nonexpansive mappings and applications. J. Math. Anal. Appl. 2007, 328: 821–829. 10.1016/j.jmaa.2006.05.068
Fukhar-ud-din H, Khan AR, Kalsoom A, Khan MAA: One-step implicit algorithm for two finite families of nonexpansive maps in hyperbolic spaces. J. Adv. Math. Stud. 2013, 6(1):73–81.
Ghosh MK, Debnath L: Convergence of Ishikawa iterates of quasi-nonexpansive mappings. J. Math. Anal. Appl. 1997, 207: 96–103. 10.1006/jmaa.1997.5268
Khan AR, Domlo AA, Fukhar-ud-din H: Common fixed points Noor iteration for a finite family of asymptotically quasi-nonexpansive mappings in Banach spaces. J. Math. Anal. Appl. 2008, 341: 1–11. 10.1016/j.jmaa.2007.06.051
Khan SH, Fukhar-ud-din H: Weak and strong convergence of a scheme with errors for two nonexpansive mappings. Nonlinear Anal. 2005, 61: 1295–1301. 10.1016/j.na.2005.01.081
Khan SH, Takahashi W: Approximating common fixed points of two asymptotically nonexpansive mappings. Sci. Math. Jpn. 2001, 53: 143–148.
Qihou L: Iterative sequences for asymptotically quasi-nonexpansive mappings. J. Math. Anal. Appl. 2001, 259: 1–7. 10.1006/jmaa.2000.6980
Rhoades BE: Fixed point iterations for certain nonlinear mappings. J. Math. Anal. Appl. 1994, 183: 118–120. 10.1006/jmaa.1994.1135
Schu J: Weak and strong convergence of fixed points of asymptotically nonexpansive mappings. Bull. Aust. Math. Soc. 1991, 43: 153–159. 10.1017/S0004972700028884
Tan KK, Xu HK: Fixed point iteration process for asymptotically nonexpansive mappings. Proc. Am. Math. Soc. 1994, 122: 733–739. 10.1090/S0002-9939-1994-1203993-5
Khan AR: On modified Noor iterations for asymptotically nonexpansive mappings. Bull. Belg. Math. Soc. Simon Stevin 2010, 17: 127–140.
Menger K: Untersuchungen über allgemeine Metrik. Math. Ann. 1928, 100: 75–163. 10.1007/BF01448840
Kirk WA: Geodesic geometry and fixed point theory. II. In International Conference on Fixed Point Theory and Applications. Yokohama Publ., Yokohama; 2004:113–142.
Kirk WA: A fixed point theorem in spaces and R -trees. Fixed Point Theory Appl. 2004, 4: 309–316.
Kirk WA Lecture Notes in Mathematics 886. In Fixed Point Theory for Nonexpansive Mappings, I and II. Springer, Berlin; 1981:485–505.
Leustean L: A quadratic rate of asymptotic regularity for CAT(0)-spaces. J. Math. Anal. Appl. 2007, 325: 386–399. 10.1016/j.jmaa.2006.01.081
Abbas M, Khamsi MA, Khan AR: Common fixed point and invariant approximation in hyperbolic ordered metric spaces. Fixed Point Theory Appl. 2011., 2011: Article ID 25 10.1186/1687-1812-2011-25
Takahashi W: A convexity in metric spaces and nonexpansive mappings. Kodai Math. Semin. Rep. 1970, 22: 142–149. 10.2996/kmj/1138846111
Busemann H: Spaces with non-positive curvature. Acta Math. 1948, 80: 259–310. 10.1007/BF02393651
Goebel K, Reich S Series of Monographs and Textbooks in Pure and Applied Mathematics 83. In Uniform Convexity, Hyperbolic Geometry, and Nonexpansive Mappings. Dekker, New York; 1984.
Kuhfittig PKF: Common fixed points of nonexpansive mappings by iteration. Pac. J. Math. 1981, 97: 137–139. 10.2140/pjm.1981.97.137
Xu HK: Inequalities in Banach spaces with applications. Nonlinear Anal. 1991, 16: 1127–1138. 10.1016/0362-546X(91)90200-K
Beauzamy B: Introduction to Banach Spaces and Their Geometry. North-Holland, Amsterdam; 1985.
Petryshyn WV, Williamson TE: Strong and weak convergence of the sequence of successive approximations for quasi-nonexpansive mappings. J. Math. Anal. Appl. 1973, 43: 459–497. 10.1016/0022-247X(73)90087-5
Acknowledgements
The author is grateful to King Fahd University of Petroleum & Minerals for supporting the research project IN 121037.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that he has no competing interests.
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
Khan, A.R. Common fixed point and solution of nonlinear functional equations. Fixed Point Theory Appl 2013, 290 (2013). https://doi.org/10.1186/1687-1812-2013-290
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1812-2013-290