Open Access

Asymptotically Pseudocontractions, Banach Operator Pairs and Best Simultaneous Approximations

Fixed Point Theory and Applications20112011:812813

https://doi.org/10.1155/2011/812813

Received: 3 December 2010

Accepted: 12 January 2011

Published: 27 January 2011

Abstract

The existence of common fixed points is established for the mappings where is asymptotically -pseudo-contraction on a nonempty subset of a Banach space. As applications, the invariant best simultaneous approximation and strong convergence results are proved. Presented results are generalizations of very recent fixed point and approximation theorems of Khan and Akbar (2009), Chen and Li (2007), Pathak and Hussain (2008), and several others.

1. Introduction and Preliminaries

We first review needed definitions. Let be a subset of a normed space . The set is called the set of best approximants to out of , where . Suppose that and are bounded subsets of . Then, we write
(1.1)

The number is called the Chebyshev radius of w.r.t. , and an element is called a best simultaneous approximation of w.r.t. . If , then and is the set of all best approximations, , of from . We also refer the reader to Milman [1], and Vijayraju [2] for further details. We denote by and ( ), the set of positive integers and the closure (weak closure) of a set in , respectively. Let be mappings. The set of fixed points of is denoted by . A point is a coincidence point (common fixed point) of and if . The pair is called

(1)commuting [3] if for all ,

(2)compatible (see [3, 4]) if whenever is a sequence such that for some in ,

(3)weakly compatible if they commute at their coincidence points; that is, if whenever ,

(4)Banach operator pair, if the set is -invariant, namely . Obviously, commuting pair is a Banach operator pair but converse is not true in general, see [5, 6]. If is a Banach operator pair, then need not be a Banach operator pair (see, e.g., [5, 7, 8]). The set is called -starshaped with , if the segment joining to is contained in for all . The map defined on a -starshaped set is called affine if
(1.2)

Suppose that is -starshaped with and is both - and -invariant. Then, and are called,

(5) -subweakly commuting on (see [9]) if for all , there exists a real number such that ,

(6)uniformly -subweakly commuting on (see [10]) if there exists a real number such that , for all and . The map is said to be demiclosed at 0 if, for every sequence in converging weakly to and converges to , then .

The classical Banach contraction principle has numerous generalizations, extensions and applications. While considering Lipschitzian mappings, a natural question arises whether it is possible to weaken contraction assumption a little bit in Banach contraction principle and still obtain the existence of a fixed point. In this direction the work of Edelstein [11], Jungck [3], Park [1218] and Suzuki [19] is worth to mention.

Schu [20] introduced the concept of asymptotically pseudocontraction and proved the existence and convergence of fixed points for this class of maps (see also [21]). Recently, Chen and Li [5] introduced the class of Banach operator pairs, as a new class of noncommuting maps and it has been further studied by Hussain [6], Ćirić et al. [7], Khan and Akbar [22, 23] and Pathak and Hussain [8]. More recently, Zhou [24] established a demiclosedness principle for a uniformly -Lipschitzian asymptotically pseudocontraction map and as an application obtained a fixed point result for asymptotically pseudocontraction in the setup of a Hilbert space. In this paper, we are able to join the concepts of uniformly -Lipschitzian, asymptotically -pseudocontraction and Banach operator pair to get the result of Zhou [24] in the setting of a Banach space. As a consequence, the common fixed point and approximation results of Al-Thagafi [25], Beg et al. [10], Chidume et al. [26], Chen and Li [5], Cho et al. [27], Khan and Akbar [22, 23], Pathak and Hussain [8], Schu [28] and Vijayraju [2] are extended to the class of asymptotically -pseudocontraction maps.

2. Main Results

Let be a real Banach space and be a subset of . Let be mappings. Then is called

(a)an -contraction if there exists such that for any ; if , then is called -nonexpansive,

(b)asymptotically -nonexpansive [2] if there exists a sequence of real numbers with and such that
(2.1)

for all and for each ; if , then is called -asymptotically nonexpansive map,

(c)pseudocontraction if and only if for each , there exists such that
(2.2)
where is the normalized duality mapping defined by
(2.3)
(d)strongly pseudocontraction if and only if for each , there exists and such that
(2.4)
(e)asymptotically -pseudocontractive if and only if for each and , there exists and a constant with such that
(2.5)

If in (2.5), then is called asymptotically -pseudocontractive [20, 24, 27],

(f)uniformly -Lipschitzian if there exists some such that
(2.6)

for all and for each ; if , then is called uniformly -Lipschitzian [20, 24, 29].

The map is called uniformly asymptotically regular [2, 10] on , if for each , there exists such that for all and all .

The class of asymptotically pseudocontraction contains properly the class of asymptotically nonexpansive mappings and every asymptotically nonexpansive mapping is a uniformly -Lipschitzian [2, 24]. For further details, we refer to [21, 24, 27, 29, 30].

In 1974, Deimling [30] proved the following fixed point theorem.

Theorem D.

Let be self-map of a closed convex subset of a real Banach space . Assume that is continuous strongly pseudocontractive mapping. Then, has a unique fixed point.

The following result extends and improves Theorem 3.4 of Beg et al. [10], Theorem 2.10 in [22], Theorems 2.2 of [25] and Theorem 4 in [31].

Theorem 2.1.

Let be self-maps of a subset of a real Banach space . Assume that is closed (resp., weakly closed) and convex, is uniformly -Lipschitzian and asymptotically -pseudocontractive which is also uniformly asymptotically regular on . If is compact (resp., is weakly compact and is demiclosed at 0) and , then .

Proof.

For each , define a self-map on by
(2.7)
where and is a sequence of numbers in such that and . Since and is convex with , it follows that maps into . As is convex and (resp. ), so ) (resp. ) for each . Since is a strongly pseudocontractive on , by Theorem D, for each , there exists such that . As is bounded, so as . Now,
(2.8)
Since for each , and , therefore . Thus . Also is uniformly asymptotically regular, we have from (2.8)
(2.9)
as . Thus as . As is compact, so there exists a subsequence of such that as . Since is a sequence in and , therefore . Moreover,
(2.10)

Taking the limit as , we get . Thus, proves the first case.

Since a weakly closed set is closed, by Theorem D, for each , there exists such that . The weak compactness of implies that there is a subsequence of converging weakly to as . Since is a sequence in and , so . Moreover, we have, as . If is demiclosed at 0, then . Thus, .

Remark 2.2.

By comparing Theorem 3.4 of Beg et al. [10] with the first case of Theorem 2.1, their assumptions " is closed and -starshaped, , , are continuous, is linear, , is compact, is asymptotically -nonexpansive and and are uniformly -subweakly commuting on " are replaced with " is nonempty set, is closed, convex, , is compact, is uniformly -Lipschitzian and asymptotically -pseudocontractive".

If is weakly closed and is weakly continuous, then is weakly closed and hence closed, thus we obtain the following.

Corollary 2.3.

Let be self-maps of a weakly closed subset of a Banach space . Assume that is weakly continuous, is nonempty and convex, is uniformly -Lipschitzian and asymptotically -pseudocontractive which is also uniformly asymptotically regular on . If is compact (resp. is weakly compact and is demiclosed at 0) and is a Banach operator pair, then .

A mapping on is called pointwise asymptotically nonexpansive [32, 33] if there exists a sequence of functions such that
(2.11)

for all and for each where pointwise on .

An asymptotically nonexpansive mapping is pointwise asymptotically nonexpansive. A pointwise asymptotically nonexpansive map defined on a closed bounded convex subset of a uniformly convex Banach space has a fixed point and is closed and convex [32, 33]. Thus we obtain the following.

Corollary 2.4.

Let be a pointwise asymptotically nonexpansive self-map of a closed bounded convex subset of a uniformly convex Banach space . Assume that is a self-map of which is uniformly -Lipschitzian, asymptotically -pseudocontractive and uniformly asymptotically regular. If is compact (resp. is weakly compact and is demiclosed at 0) and , then .

Corollary 2.5 (see [24, Theorem 3.3]).

Let be self-map of a closed bounded and convex subset of a real Hilbert space . Assume that is uniformly Lipschitzian and asymptotically pseudocontractive which is also uniformly asymptotically regular on . Then, .

Corollary 2.6.

Let be a Banach space and and be self-maps of . If , , is closed (resp. weakly closed) and convex, is compact (resp. is weakly compact and is demiclosed at 0), is uniformly -Lipschitzian and asymptotically -pseudocontractive which is also uniformly asymptotically regular on , and , then .

Remark 2.7.

Corollary 2.6 extends Theorems 4.1 and 4.2 of Chen and Li [5] to a more general class of asymptotically -pseudocontractions.

Theorem 2.1 can be extended to uniformly -Lipschitzian and asymptotically -pseudocontractive map which extends Theorem 2.10 of [22] to asymptotically - pseudocontractions.

Theorem 2.8.

Let be self-maps of a subset of a Banach space . Assume that is closed (resp. weakly closed) and convex, is uniformly -Lipschitzian and asymptotically -pseudocontractive which is also uniformly asymptotically regular on . If is compact (resp. is weakly compact and is demiclosed at 0) and , then .

Proof.

For each , define a self-map on by
(2.12)

where and is a sequence of numbers in such that and . Since and is convex with , it follows that maps into . As is convex and (resp. ), so ) (resp. ) for each . Further, since is a strongly pseudocontractive on , by Theorem D, for each , there exists such that . Rest of the proof is similar to that of Theorem 2.1.

Corollary 2.9.

Let be self-maps of a subset of a Banach space . Assume that is closed (resp. weakly closed) and convex, is uniformly -Lipschitzian and asymptotically -pseudocontractive which is also uniformly asymptotically regular on . If is compact (resp. is weakly compact and is demiclosed at 0) and and are Banach operator pairs, then .

Corollary 2.10.

Let be a Banach space and , , and be self-maps of . If , , where is the set of best simultaneous approximations of w.r.t . Assume that is closed (resp. weakly closed) and convex, is compact (resp. is weakly compact and is demiclosed at 0), is uniformly -Lipschitzian and asymptotically -pseudocontractive which is also uniformly asymptotically regular on , and , then .

Remark 2.11.
  1. (1)

    Theorem 2.2 and 2.7 of Khan and Akbar [23] are particular cases of Corollary 2.10.

     
  2. (2)

    By comparing Theorem 2.2 of Khan and Akbar [23] with the first case of Corollary 2.10, their assumptions " is nonempty, compact, starshaped with respect to an element , is invariant under , and , and are Banach operator pairs on , and are -starshaped with , and are continuous and is asymptotically -nonexpansive on ," are replaced with " , is closed and convex, , is compact and is uniformly -Lipschitzian and asymptotically -pseudocontractive on ."

     
  3. (3)

    By comparing Theorem 2.7 of Khan and Akbar [23] with the second case of Corollary 2.10, their assumptions " is nonempty, weakly compact, starshaped with respect to an element , is invariant under , and , and are Banach operator pairs on , and are -starshaped with , and are continuous under weak and strong topologies, is demiclosed at 0 and is asymptotically -nonexpansive on ," are replaced with " , is weakly closed and convex, , is weakly compact and is demiclosed at 0 and is uniformly -Lipschitzian and asymptotically -pseudocontractive on ."

     

We denote by the class of closed convex subsets of containing 0. For , we define = . It is clear that (see [9, 25]).

Theorem 2.12.

Let be self-maps of a Banach space . If and such that , is compact (resp. is weakly compact) and for all , then is nonempty, closed and convex with . If, in addition, , is closed (resp. weakly closed) and convex, is compact (resp. is weakly compact and is demiclosed at 0), is uniformly -Lipschitzian and asymptotically -pseudocontractive which is also uniformly asymptotically regular on , and , then .

Proof.

We may assume that . If , then . Note that
(2.13)

Thus, . If is compact, then by the continuity of norm, we get for some .

If we assume that is weakly compact, using Lemma 5.5 in [34, page 192], we can show the existence of a such that .

Thus, in both cases, we have
(2.14)

for all . Hence and so is nonempty, closed and convex with . The compactness of (resp. weak compactness of ) implies that is compact (resp. is weakly compact). The result now follows from Theorem 2.8.

Remark 2.13.

Theorem 2.12 extends Theorems 4.1 and 4.2 in [25], Theorem 8 in [31], and Theorem 2.15 in [22].

Definition 2.14.

Let be a nonempty closed subset of a Banach space , be mappings and . Then and are said to satisfy property [10, 27] if the following holds: for any bounded sequence in , implies .

The normal structure coefficient of a Banach space is defined [10, 26] by , where is the Chebyshev radius of relative to itself and is diameter of . The space is said to have the uniform normal structure if . A Banach limit is a bounded linear functional on such that and for all bounded sequences in . Let be bounded sequence in . Then we can define the real-valued continuous convex function on by for all .

The following lemmas are well known.

Lemma 2.15 (see [10, 27]).

Let be a Banach space with uniformly Gâteaux differentiable norm and . Let be bounded sequence in . Then if and only if for all , where is the normalized duality mapping and denotes the generalized duality pairing.

Lemma 2.16 (see [10, 26]).

Let be a convex subset of a smooth Banach space , be a nonempty subset of and be a retraction from onto . Then is sunny and nonexpansive if and only if for all and .

Now, we are ready to prove strong convergence to nearest common fixed points of asymptotically -pseudocontraction mappings.

Theorem 2.17.

Let be a subset of a reflexive real Banach space with uniformly Gâteaux differentiable norm. Let and be self-maps on such that is closed and convex, is continuous, uniformly asymptotically regular, uniformly -Lipschitzian and asymptotically -pseudocontractive with a sequence . Let be sequence of real numbers in such that and . If , then we have the following:

(A)For each , there is exactly one in such that
(2.15)

(B)If is bounded and and satisfy property , then converges strongly to , where is the sunny nonexpansive retraction from onto .

Proof.

Part (A) follows from the proof of Theorem 2.1.
  1. (B)
    As in Theorem 2.1, we get . Since is bounded, we can define a function by for all . Since is continuous and convex, as and is reflexive, for some . Clearly, the set is nonempty. Since is bounded and and satisfy property , it follows that . Suppose that , then by Lemma 2.15, we have
    (2.16)
     
In particular, we have
(2.17)
From (2.8), we have
(2.18)
Now, for any , we have
(2.19)
for some . It follows from (2.18) that
(2.20)
Hence we have
(2.21)

This together with (2.17) implies that .

Thus there is a subsequence of which converges strongly to . Suppose that there is another subsequence of which converges strongly to (say). Since is continuous and , is a fixed point of . It follows from (2.21) that
(2.22)
Adding these two inequalities, we get
(2.23)

Consequently, converges strongly to . We can define now a mapping from onto by . From (2.21), we have for all and . Thus by Lemma 2.16, is the sunny nonexpansive retraction on . Notice that and , so by the same argument as in the proof of Theorem 2.1 we obtain, .

Remark 2.18.

Theorem 2.17 extends Theorem 1 in [27]. Notice that the conditions of the continuity and linearity of are not needed in Theorem 3.6 of Beg et al. [10]; moreover, we have obtained the conclusion for more general class of uniformly -Lipschitzian and asymptotically -pseudocontractive map without any type of commutativity of and .

Corollary 2.19 (see [26, Theorem 3.1]).

Let be a closed convex bounded subset of a real Banach space with uniformly Gâteaux differentiable norm possessing uniform normal structure. Let be an asymptotically nonexpansive mapping with a sequence . Let be fixed, be sequence of real numbers in such that and . Then,

(A)for each , there is unique in such that
(2.24)

(B)if , then converges strongly to a fixed point of .

Remark 2.20.
  1. (1)

    Theorem 2.17 improves and extends the results of Beg et al. [10], Cho et al. [27], and Schu [20, 28] to more general class of Banach operators.

     
  2. (2)

    It would be interesting to prove similar results in Modular Function Spaces (cf. [29]).

     
  3. (3)

    Let with the usual norm and . A mapping is defined by , for and , for and on . Clearly, is not -nonexpansive [21]  (e.g., and ). But, is a -pseudocontractive mapping.

     

Authors’ Affiliations

(1)
Department of Mathematics, King Abdulaziz University

References

  1. Milman PD: On best simultaneous approximation in normed linear spaces. Journal of Approximation Theory 1977,20(2):223–238. 10.1016/0021-9045(77)90077-6MathSciNetView ArticleMATHGoogle Scholar
  2. Vijayraju P: Applications of fixed point theorem to best simultaneous approximations. Indian Journal of Pure and Applied Mathematics 1993, 21–26.Google Scholar
  3. Jungck G: Common fixed points for commuting and compatible maps on compacta. Proceedings of the American Mathematical Society 1988,103(3):977–983. 10.1090/S0002-9939-1988-0947693-2MathSciNetView ArticleMATHGoogle Scholar
  4. Jungck G, Hussain N: Compatible maps and invariant approximations. Journal of Mathematical Analysis and Applications 2007,325(2):1003–1012. 10.1016/j.jmaa.2006.02.058MathSciNetView ArticleMATHGoogle Scholar
  5. Chen J, Li Z: Common fixed-points for Banach operator pairs in best approximation. Journal of Mathematical Analysis and Applications 2007,336(2):1466–1475. 10.1016/j.jmaa.2007.01.064MathSciNetView ArticleMATHGoogle Scholar
  6. Hussain N: Common fixed points in best approximation for Banach operator pairs with Ćirić type -contractions. Journal of Mathematical Analysis and Applications 2008,338(2):1351–1363. 10.1016/j.jmaa.2007.06.008MathSciNetView ArticleMATHGoogle Scholar
  7. Ćirić L, Hussain N, Akbar F, Ume JS: Common fixed points for Banach operator pairs from the set of best approximations. Bulletin of the Belgian Mathematical Society 2009,16(2):319–336.MathSciNetMATHGoogle Scholar
  8. Pathak HK, Hussain N: Common fixed points for Banach operator pairs with applications. Nonlinear Analysis: Theory, Methods & Applications 2008,69(9):2788–2802. 10.1016/j.na.2007.08.051MathSciNetView ArticleMATHGoogle Scholar
  9. Hussain N, Jungck G: Common fixed point and invariant approximation results for noncommuting generalized-nonexpansive maps. Journal of Mathematical Analysis and Applications 2006,321(2):851–861. 10.1016/j.jmaa.2005.08.045MathSciNetView ArticleMATHGoogle Scholar
  10. Beg I, Sahu DR, Diwan SD: Approximation of fixed points of uniformly -subweakly commuting mappings. Journal of Mathematical Analysis and Applications 2006,324(2):1105–1114. 10.1016/j.jmaa.2006.01.024MathSciNetView ArticleMATHGoogle Scholar
  11. Edelstein M: On fixed and periodic points under contractive mappings. Journal of the London Mathematical Society Second Series 1962, 37: 74–79. 10.1112/jlms/s1-37.1.74MathSciNetView ArticleMATHGoogle Scholar
  12. Park S: A generalization of a theorem of Janos and Edelstein. Proceedings of the American Mathematical Society 1977,66(2):344–346. 10.1090/S0002-9939-1977-0454907-7MathSciNetView ArticleMATHGoogle Scholar
  13. Park S: Fixed points of -contractive maps. The Rocky Mountain Journal of Mathematics 1978,8(4):743–750. 10.1216/RMJ-1978-8-4-743MathSciNetView ArticleMATHGoogle Scholar
  14. Park S: On -nonexpansive maps. Journal of the Korean Mathematical Society 1979–1980,16(1):29–38.MathSciNetMATHGoogle Scholar
  15. Park S: On general contractive-type conditions. Journal of the Korean Mathematical Society 1980/81,17(1):131–140.MathSciNetMATHGoogle Scholar
  16. Park S: Some general theorems on common fixed points. Kobe Journal of Mathematics 1988,4(2):141–145.MathSciNetMATHGoogle Scholar
  17. Park S: Best approximations and fixed points of nonexpansive maps in Hilbert spaces. Numerical Functional Analysis and Optimization. 1997,18(5–6):649–657.MathSciNetView ArticleMATHGoogle Scholar
  18. Park S: A unified fixed point theory in generalized convex spaces. Acta Mathematica Sinica, English Series 2007,23(8):1509–1526. 10.1007/s10114-007-0947-3MathSciNetView ArticleMATHGoogle Scholar
  19. Suzuki T: A generalized Banach contraction principle that characterizes metric completeness. Proceedings of the American Mathematical Society 2008,136(5):1861–1869.MathSciNetView ArticleMATHGoogle Scholar
  20. Schu J: Iterative construction of fixed points of asymptotically nonexpansive mappings. Journal of Mathematical Analysis and Applications 1991,158(2):407–413. 10.1016/0022-247X(91)90245-UMathSciNetView ArticleMATHGoogle Scholar
  21. Song Y: Iterative convergence to Cesàro means for continuous pseudocontractive mappings. Nonlinear Analysis: Theory, Methods & Applications 2009,71(7–8):2792–2800. 10.1016/j.na.2009.01.123View ArticleMathSciNetMATHGoogle Scholar
  22. Khan AR, Akbar F: Best simultaneous approximations, asymptotically nonexpansive mappings and variational inequalities in Banach spaces. Journal of Mathematical Analysis and Applications 2009,354(2):469–477. 10.1016/j.jmaa.2009.01.007MathSciNetView ArticleMATHGoogle Scholar
  23. Khan AR, Akbar F: Common fixed points from best simultaneous approximations. Taiwanese Journal of Mathematics 2009,13(5):1379–1386.MathSciNetMATHGoogle Scholar
  24. Zhou H: Demiclosedness principle with applications for asymptotically pseudo-contractions in Hilbert spaces. Nonlinear Analysis: Theory, Methods & Applications 2009,70(9):3140–3145. 10.1016/j.na.2008.04.017MathSciNetView ArticleMATHGoogle Scholar
  25. Al-Thagafi MA: Common fixed points and best approximation. Journal of Approximation Theory 1996,85(3):318–323. 10.1006/jath.1996.0045MathSciNetView ArticleMATHGoogle Scholar
  26. Chidume CE, Li J, Udomene A: Convergence of paths and approximation of fixed points of asymptotically nonexpansive mappings. Proceedings of the American Mathematical Society 2005,133(2):473–480. 10.1090/S0002-9939-04-07538-0MathSciNetView ArticleMATHGoogle Scholar
  27. Cho YJ, Sahu DR, Jung JS: Approximation of fixed points of asymptotically pseudocontractive mappings in Banach spaces. Southwest Journal of Pure and Applied Mathematics 2003, (2):49–59.Google Scholar
  28. Schu J: Approximation of fixed points of asymptotically nonexpansive mappings. Proceedings of the American Mathematical Society 1991,112(1):143–151. 10.1090/S0002-9939-1991-1039264-7MathSciNetView ArticleMATHGoogle Scholar
  29. Khamsi MA, Kozlowski WM: On asymptotic pointwise contractions in modular function spaces. Nonlinear Analysis: Theory, Methods & Applications 2010,73(9):2957–2967. 10.1016/j.na.2010.06.061MathSciNetView ArticleMATHGoogle Scholar
  30. Deimling K: Zeros of accretive operators. Manuscripta Mathematica 1974, 13: 365–374. 10.1007/BF01171148MathSciNetView ArticleMATHGoogle Scholar
  31. Habiniak L: Fixed point theorems and invariant approximations. Journal of Approximation Theory 1989,56(3):241–244. 10.1016/0021-9045(89)90113-5MathSciNetView ArticleMATHGoogle Scholar
  32. Hussain N, Khamsi MA: On asymptotic pointwise contractions in metric spaces. Nonlinear Analysis: Theory, Methods & Applications 2009,71(10):4423–4429. 10.1016/j.na.2009.02.126MathSciNetView ArticleMATHGoogle Scholar
  33. Kirk WA, Xu H-K: Asymptotic pointwise contractions. Nonlinear Analysis: Theory, Methods & Applications 2008,69(12):4706–4712. 10.1016/j.na.2007.11.023MathSciNetView ArticleMATHGoogle Scholar
  34. Singh S, Watson B, Srivastava P: Fixed Point Theory and Best Approximation: The KKM-Map Principle, Mathematics and Its Applications. Volume 424. Kluwer Academic Publishers, Dordrecht, The Netherlands; 1997:x+220.View ArticleMATHGoogle Scholar

Copyright

© N. Hussain. 2011

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.