Next Article in Journal
Exploring a Special Class of Bi-Univalent Functions: q-Bernoulli Polynomial, q-Convolution, and q-Exponential Perspective
Next Article in Special Issue
The λ-Fold Spectrum Problem for the Orientations of the Eight-Cycle
Previous Article in Journal
Multi-Granulation Double Fuzzy Rough Sets
Previous Article in Special Issue
On Laplacian Eigenvalues of Wheel Graphs
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Inexact Iterates of Nonexpansive Mappings with Summable Errors in Metric Spaces with Graphs

by
Simeon Reich
* and
Alexander J. Zaslavski
*
Department of Mathematics, The Technion—Israel Institute of Technology, Haifa 32000, Israel
*
Authors to whom correspondence should be addressed.
Symmetry 2023, 15(10), 1927; https://doi.org/10.3390/sym15101927
Submission received: 29 August 2023 / Revised: 25 September 2023 / Accepted: 30 September 2023 / Published: 17 October 2023
(This article belongs to the Special Issue Symmetry and Graph Theory)

Abstract

:
In our joint work with Dan Butnariu (2006) we established the stability of the convergence of iterates of a nonexpansive mapping on a complete metric space in the presence of summable computational errors. In a recent paper of ours, we extended this result to inexact iterates of nonexpansive mappings on complete metric spaces with graphs under a certain assumption on the iterates. In the present paper we obtain an analogous result by removing that assumption on the iterates and replacing it with an additional assumption on the graph.

1. Introduction

During the last sixty years, many interesting developments have taken place in the fixed point theory of nonlinear mappings ([1,2,3,4,5,6,7,8,9,10,11,12,13]). The origin of these investigations is Banach’s classical work [14]. Since Banach’s celebrated theorem, many important and interesting results have been obtained in this field, including results on common fixed point problems, feasibility, iterative projection algorithms, and variational inequalities. In addition to their own importance, these results have numerous useful applications in various areas of research [13,15,16,17,18].
In [2], the authors considered a nonexpansive mapping acting on a complete metric space under the assumption that every sequence of its iterates converges to a fixed point. It was shown there that every sequence of inexact iterates of such a mapping with summable errors converges to a fixed point as well. This result is a generalization of a classical result of Ostrowski [8], which was obtained for strict contractions. In [19], we established an analog of this result for nonexpansive mappings acting on complete metric spaces with graphs under a certain assumption on the iterates. This result is an extension of an analogous theorem which was proved in [20] for strict contractions. In this connection, note that the investigation of mappings in metric spaces with graphs is now of great research interest [5,9,10,21,22,23,24]. In the present work, we obtain an analog of the main result of [19] by removing the assumption on the iterates and replacing it with an additional assumption on the graph.
At this point, it is worth recalling that the study of the behavior of inexact iterates is very important, as computational errors are always produced in calculations. Therefore, this has been and continues to be an important topic in analysis, beginning with the seminal paper [8], though see [2,13] as well.
Let ( X , ρ ) be a complete metric space and let G be a graph. We assume that the set of vertices V ( G ) of G is contained in the space X, its set of edges E ( G ) is a closed subset of the space X × X endowed with the product metric, and that the following assumption holds.
(A1) For each pair of points u , v X , if ( u , v ) E ( G ) , then ( T ( u ) , T ( v ) ) E ( G ) and the inequality
ρ ( T ( u ) , T ( v ) ) ρ ( u , v )
is true.
Assumption (A1) appears in [21] (see [22,23]).
For each ξ X and every E X , put
ρ ( ξ , E ) : = inf { ρ ( ξ , η ) : η E } .
For every ξ X and every Δ > 0 , set
B ( ξ , Δ ) : = { η X : ρ ( ξ , η ) Δ } .
For each map G : X X , let G 0 η = η for all η X .
In [19], we established the following result.
Theorem 1. 
Assume that a sequence { x i } i = 0 X satisfies
( T ( x i ) , x i + 1 ) E ( G ) , i = 0 , 1 ,
and
i = 0 ρ ( T ( x i ) , x i + 1 ) < ,
and that a subsequence { x i k } k = 1 is given. Then, the following assertions hold.
1. Assume that for each integer k, the sequence { T j ( x i k ) } j = 1 converges. Then, there exists
x * = lim i x i ,
( x * , T ( x * ) ) E ( G ) , and if T is continuous at the point x * , then T ( x * ) = x * .
2. Assume that there exists a nonempty set F such that for each integer k 1 ,
lim j ρ ( T j ( x i k ) , F ) = 0 .
Then,
lim i ρ ( x i , F ) = 0 .
3. Assume that for each integer k 1 there exists a nonempty compact set E k X such that
lim j ρ ( T j ( x i k ) , E k ) = 0 .
Then, there exists a nonempty compact set E X such that lim i ρ ( x i , E ) = 0 .
In our work, we obtain an extension of this result without assuming that
( T ( x i ) , x i + 1 ) E ( G ) , i = 0 , 1 , .
Instead, we assume that a certain property of the graph is satisfied (see (A2) in the next section).

2. The Main Result

We use all the definitions and notations from Section 1 and assume that all the assumptions introduced in Section 1 hold. We then prove the following result.
Theorem 2. 
Assume that a sequence { x i } i = 0 X satisfies
i = 0 ρ ( T ( x i ) , x i + 1 ) < ,
c 0 1 , r 0 ( 0 , 1 ] and that the following assumption holds.
(A2) for each integer i 0 and each point z B ( x i , r 0 ) , there exists
ξ B ( x i , c 0 ρ ( z , x i ) )
such that
( x i , ξ ) , ( z , ξ ) E ( G ) .
Let a subsequence { x i k } k = 1 be given; then, the following assertions hold true:
1. Assume that the sequence { T j ( x i k ) } j = 1 converges for each integer k. Then, there exists
x * = lim i x i ,
( x * , T ( x * ) ) E ( G ) , and if T is continuous at the point x * , then T ( x * ) = x * .
2. Assume that there exists a nonempty set F such that, for each integer k 1 ,
lim j ρ ( T j ( x i k ) , F ) = 0 .
Then,
lim i ρ ( x i , F ) = 0 .
3. Assume that for each integer k 1 there exists a nonempty compact set E k X such that
lim j ρ ( T j ( x i k ) , E k ) = 0 .
Then, there exists a nonempty compact set E X such that lim i ρ ( x i , E ) = 0 .
Example 1. 
Assume that ( Z , · ) is a Banach space ordered by a closed convex cone Z + ( x y for x , y Z if and only if y x Z + ) such that
Z + Z + = Z .
Then, per the Krein–Shmulyan theorem [25], there exists c 0 > 0 such that for each z Z there exist points z 1 , z 2 Z + such that
z = z 1 z 2 , z i c 0 z , i = 1 , 2 .
Let V = X be a nonempty closed subset of Z, with ( x , y ) E ( G ) if and only if y x and ρ ( x , y ) = x y , x , y X .Assume that r 0 ( 0 , 1 ] , c 0 1 , { x i } i = 0 X and that
B ( x i , c 0 r 0 ) X , i = 0 , 1 , .
Assume that i 0 is an integer and that z X satisfies
z x i r 0 .
Then, there exist v 1 , v 2 Z + such that
z x 2 = v 2 v 1 , v j c 0 z x i , j = 1 , 2 .
We now have
z = x i + v 2 v 1 x i + v 2 ,
x i x i + v 2 .
Setting
ξ = x i + v 2 ,
it is easy to see that
ρ ( x i , ξ ) = v 2 c 0 z x i = ρ ( z , x i ) c 0 ,
and that
ρ ( x i , ξ ) = v 2 c 0 z x i c 0 r 0 .
Thus, (A2) holds.

3. An Auxiliary Result

Lemma 1. 
Assume that a sequence { x i } i = 0 satisfies
i = 0 ρ ( T ( x i ) , x i + 1 ) <
and that there exist numbers c 0 1 and r 0 ( 0 , 1 ] such that (A2) holds. Let q 0 be an integer such that
i = q ρ ( T ( x i ) , x i + 1 ) < r 0 .
Then, for each integer n 1 ,
ρ ( x n + q , T n ( x q ) ) ( 2 c 0 + 1 ) i = 0 n 1 ρ ( T ( x q + i ) , x q + i + 1 ) .
Proof. 
Setting
y q , 0 = x q ,
y q + 1 , 0 = T ( y q , 0 ) , y q + 1 , 1 = x q + 1 ,
per (2)–(4) we have
ρ ( y q + 1 , 0 , x q + 1 ) ρ ( T ( x q ) , x q + 1 ) < r 0 .
Assumption (A2) and (5) imply that there exists y q + 1 , 1 X such that
( x q + 1 , y q + 1 , 1 ) E ( G ) , ( y q + 1 , 0 , y q + 1 , 1 ) E ( G ) ,
ρ ( x q + 1 , y q + 1 , 1 ) c 0 ρ ( x q + 1 , y q + 1 , 0 ) c 0 r 0 .
Per (3), (4), and (7), we have
ρ ( y q + 1 , 1 , y q + 1 , 0 ) ρ ( x q + 1 , y q + 1 , 1 ) + ρ ( x q + 1 , y q + 1 , 0 ) ,
( c 0 + 1 ) ρ ( x q + 1 , y q + 1 , 0 ) = ( c 0 + 1 ) ρ ( x q + 1 , T ( x q ) ) .
Setting
y q + 1 , 2 = x q + 1 ,
assume that n 1 is a natural number and that we have defined
y q + n , i X , i = 0 , , 2 n ,
such that
y q + n , 0 = T n ( x q ) , y q + n , 2 n = x q + n
for each i { 0 , , 2 n 1 } and at least one of the following relations holds:
( y q + n , i , y q + n , i + 1 ) E ( G ) , ( y q + n , i + 1 , y q + n , i ) E ( G ) ,
ρ ( y q + n , 2 n , y q + n , 2 n 1 ) c 0 ρ ( x q + n , T ( x q + n 1 ) ) ,
ρ ( y q + n , 2 n 1 , y q + n , 2 n 2 ) ( c 0 + 1 ) ρ ( x q + n , T ( x q + n 1 ) ) ,
and
ρ ( x q + n , T n ( x q ) ) i = 0 2 n 1 ρ ( y q + n , i , y q + n , i + 1 ) ,
( 2 c 0 + 1 ) i = 0 n 1 ( x q + i + 1 , T ( x q + i ) ) .
In view of (2)–(4) and (6)–(9), our assumption holds for n = 1 . We now define y q + n + 1 , i X , i = 0 , , 2 n + 2 . For i = 0 , , 2 n 1 , set
y q + n + 1 , i = T ( y q + n , i ) .
Assumption (A1), (10), and (15) imply that for i = 0 , , 2 n 1 at least one of the following two inclusions holds:
( y q + n + 1 , i , y q + n + 1 , i + 1 ) E ( G ) , ( y q + n + 1 , i + 1 , y q + n + 1 , i ) E ( G ) ,
ρ ( y q + n + 1 , i , y q + n + 1 , i + 1 ) ρ ( y q + n , i , y q + n , i + 1 ) ,
y q + n + 1 , 0 = T n + 1 ( x q ) ,
and
y q + n + 1 , 2 n = T ( x q + n ) .
In view of (2),
ρ ( T ( x q + n ) , x q + n + 1 ) < r 0 .
Assumption (A2), (19), and (20) imply that there exists
y q + n + 1 , 2 n + 1 X
such that
( y q + n + 1 , 2 n , y q + n + 1 , 2 n + 1 ) E ( G ) ,
( T ( x q + n ) , y q + n + 1 , 2 n + 1 ) E ( G ) ,
( x q + n + 1 , y q + n + 1 , 2 n + 1 ) E ( G ) ,
and
ρ ( x q + n + 1 , y q + n + 1 , 2 n + 1 ) c 0 ρ ( x q + n + 1 , T ( x q + n ) ) .
Setting
y q + n + 1 , 2 n + 2 = x q + n + 1 ,
per (24) and (25) we have
ρ ( y q + n + 1 , 2 n + 2 , y q + n + 1 , 2 n + 1 ) c 0 ρ ( x q + n + 1 , T ( x q + n ) ) .
It follows from (19), (25), and (26) that
ρ ( y q + n + 1 , 2 n + 1 , y q + n + 1 , 2 n ) ,
ρ ( y q + n + 1 , 2 n + 1 , x q + n + 1 ) + ρ ( x q + n + 1 , T ( x q + n ) ) ,
( c 0 + 1 ) ρ ( x q + n + 1 , T ( x q + n ) ) .
It now follows from (14), (18), and (25)–(27) that
ρ ( T n + 1 ( x q ) , x q + n + 1 ) = ρ ( y q + n + 1 , 0 , y q + n + 1 , 2 n + 2 ) ,
i = 0 2 n + 1 ρ ( y q + n + 1 , i , y q + n + 1 , i + 1 ) ,
= i = 0 2 n 1 ρ ( y q + n + 1 , i , y q + n + 1 , i + 1 ) ,
+ ρ ( y q + n + 1 , 2 n , y q + n + 1 , 2 n + 1 ) + ρ ( y q + n + 1 , 2 n + 1 , y q + n + 1 , 2 n + 2 ) ,
i = 0 2 n 1 ρ ( y q + n , i , y q + n , i + 1 ) ,
+ ( 2 c 0 + 1 ) ρ ( T ( x q + n ) , x q + n + 1 ) ,
( 2 c 0 + 1 ) i = 0 n ρ ( x q + i + 1 , T ( x q + i ) ) .
Per (18), (23), and (25)–(28), the assumption made for n holds for n + 1 as well. Thus, using induction, for each integer n 1 we have defined y q + n , i X , i = 0 , , 2 n , such that (10)–(14) hold. This completes the proof of Lemma 1. □

4. Proof of Theorem 2

Let
ϵ ( 0 , r 0 / 2 ) .
Per (1), there exists an integer k 1 such that
j = i k 1 ρ ( x j + 1 , T ( x j ) ) < ( 2 c 0 + 1 ) 1 ϵ / 4 .
Lemma 1 and inequality (30) imply that for each integer n 1 , we have
ρ ( x n + i k , T n ( x i k ) ) ( 2 c 0 + 1 ) j = i k i k + n 1 ρ ( T ( x j ) , x j + 1 ) < ϵ / 4 .
We first prove Assertion 1. There exists
y k = lim j T j ( x i k ) .
Per (31), for all sufficiently large natural numbers n,
ρ ( x n + i k , y k ) ρ ( y k , T n ( x i k ) ) + ρ ( T n ( x i k ) , x i k + n ) < ϵ .
Because ϵ is an arbitrary sufficiently small positive number, we conclude that { x n } n = 0 is a Cauchy sequence and that there exists the limit
x * = lim n x n .
It follows from (1) that
x * = lim i T ( x i ) .
Because the set E ( G ) is closed, Assumption (A2) implies that
( x * , x * ) E ( G ) .
If the mapping T is continuous at the point x * , then we have T ( x * ) = x * . Assertion 1 is proved.
Next, we prove Assertion 2. Based on our assumptions,
lim j ρ ( T j ( x i k ) , F ) = 0 .
When combined with (31), this implies that for each sufficiently large natural number n we have
ρ ( x n + i k , F ) ρ ( x n + i k , T n ( x i k ) ) + ρ ( T n ( x i k ) , F ) < ϵ .
Because ϵ is an arbitrary sufficiently small positive number, we can conclude that
lim i ρ ( x i , F ) = 0 .
Assertion 2 is proved.
Finally, we prove Assertion 3. There exists a compact set E 0 X such that
lim n ρ ( T n ( x k ) , E 0 ) = 0 .
Per (31), for each sufficiently large natural number n we have
ρ ( x n + i k , E 0 ) ρ ( x n + i k , T n ( x i k ) ) + ρ ( T n ( x i k ) , E 0 ) < ϵ .
Thus, we have shown that there exists a compact set E 0 such that
ρ ( x n + i k , E 0 ) < ϵ
for every sufficiently large natural number n. We may assume that E 0 is finite. Because ϵ is any element of the interval ( 0 , r 0 / 2 ) , this implies that each subsequence of { x i } i = 0 has a convergent subsequence. Denoting the set of all limit points of the sequence { x i } i = 0 by E, it is not difficult to see that E is compact and that
lim i ρ ( x i , E ) = 0 .
This completes the proof of Assertion 3 and of Theorem 2 itself.

5. Conclusions

In the present paper, we have shown that if all exact orbits of a nonexpansive self-mapping of a complete metric space with a graph converge, then this convergence property holds for all its inexact orbits with summable errors as well. This is an analog of the result of [2] for inexact iterates of nonexpansive mappings defined on complete metric spaces. In this connection, we recall that the study of the behavior of inexact iterates is very important, as computational errors are always present in calculations. Therefore, this is a rapidly growing area of research, starting with the seminal paper [8] (although see [2,13] and references mentioned therein as well). Our results show that if all exact iterates converge, then inexact iterates with summable errors converge as well.

Author Contributions

Conceptualization, S.R. and A.J.Z.; Methodology, S.R. and A.J.Z.; Validation, S.R. and A.J.Z.; Formal analysis, S.R. and A.J.Z. All authors have read and agreed to the published version of the manuscript.

Funding

Simeon Reich was partially supported by the Israel Science Foundation (Grant 820/17), by the Fund for the Promotion of Research at the Technion (Grant 2001893), and by the Technion General Research Fund (Grant 2016723).

Data Availability Statement

Not applicable.

Acknowledgments

Both authors are grateful to the editor and the three anonymous referees for their useful comments and helpful suggestions.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Betiuk-Pilarska, A.; Benavides, T.D. Fixed points for nonexpansive mappings and generalized nonexpansive mappings on Banach lattices. Pure Appl. Func. Anal. 2016, 1, 343–359. [Google Scholar]
  2. Butnariu, D.; Reich, S.; Zaslavski, A.J. Convergence to fixed points of inexact orbits of Bregman-monotone and of nonexpansive operators in Banach spaces. In Fixed Point Theory and Its Applications; Yokohama Publishers: Yokohama, Japan, 2006; pp. 11–32. [Google Scholar]
  3. de Blasi, F.S.; Myjak, J. Sur la convergence des approximations successives pour les contractions non linéaires dans un espace de Banach. C. R. Acad. Sci. Paris 1976, 283, 185–187. [Google Scholar]
  4. Goebel, K.; Kirk, W.A. Topics in Metric Fixed Point Theory; Cambridge University Press: Cambridge, UK, 1990. [Google Scholar]
  5. Jachymski, J. Extensions of the Dugundji-Granas and Nadler’s theorems on the continuity of fixed points. Pure Appl. Funct. Anal. 2017, 2, 657–666. [Google Scholar]
  6. Kirk, W.A. Contraction mappings and extensions. In Handbook of Metric Fixed Point Theory; Kluwer: Dordrecht, The Netherlands, 2001; pp. 1–34. [Google Scholar]
  7. Kubota, R.; Takahashi, W.; Takeuchi, Y. Extensions of Browder’s demiclosedness principle and Reich’s lemma and their applications. Pure Appl. Func. Anal. 2016, 1, 63–84. [Google Scholar]
  8. Ostrowski, A.M. The round-off stability of iterations. Z. Angew. Math. Mech. 1967, 47, 77–81. [Google Scholar] [CrossRef]
  9. Petruşel, A.; Petruşel, G.; Yao, J.-C. Multi-valued graph contraction principle with applications. Optimization 2020, 69, 1541–1556. [Google Scholar] [CrossRef]
  10. Petruşel, A.; Petruşel, G.; Yao, J.-C. Graph contractions in vector-valued metric spaces and applications. Optimization 2021, 70, 763–775. [Google Scholar] [CrossRef]
  11. Rakotch, E. A note on contractive mappings. Proc. Amer. Math. Soc. 1962, 13, 459–465. [Google Scholar] [CrossRef]
  12. Reich, S.; Zaslavski, A.J. Genericity in nonlinear analysis. In Developments in Mathematics; Springer: New York, NY, USA, 2014; Volume 34. [Google Scholar]
  13. Zaslavski, A.J. Approximate solutions of common fixed point problems. In Springer Optimization and Its Applications; Springer: Cham, Switzerland, 2016. [Google Scholar]
  14. Banach, S. Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales. Fund. Math. 1922, 3, 133–181. [Google Scholar] [CrossRef]
  15. Censor, Y.; Zaknoon, M. Algorithms and convergence results of projection methods for inconsistent feasibility problems: A review. Pure Appl. Func. Anal. 2018, 3, 565–586. [Google Scholar]
  16. Gibali, A. A new split inverse problem and an application to least intensity feasible solutions. Pure Appl. Funct. Anal. 2017, 2, 243–258. [Google Scholar]
  17. Takahashi, W. The split common fixed point problem and the shrinking projection method for new nonlinear mappings in two Banach spaces. Pure Appl. Funct. Anal. 2017, 2, 685–699. [Google Scholar]
  18. Takahashi, W. A general iterative method for split common fixed point problems in Hilbert spaces and applications. Pure Appl. Funct. Anal. 2018, 3, 349–369. [Google Scholar]
  19. Reich, S.; Zaslavski, A.J. Convergence of inexact iterates of nonexpansive mappings with summable errors in metric spaces with graphs. 2023; submitted. [Google Scholar]
  20. Reich, S.; Zaslavski, A.J. Convergence of inexact iterates of strict contractions in metric spaces with graphs. J. Appl. Numer. Optim. 2022, 4, 215–220. [Google Scholar]
  21. Aleomraninejad, S.M.A.; Rezapour, S.; Shahzad, N. Some fixed point results on a metric space with a graph. Topol. Appl. 2012, 159, 659–663. [Google Scholar] [CrossRef]
  22. Bojor, F. Fixed point of ϕ-contraction in metric spaces endowed with a graph. An. Univ. Craiova Ser. Mat. Inform. 2010, 37, 85–92. [Google Scholar]
  23. Bojor, F. Fixed point theorems for Reich type contractions on metric spaces with a graph. Nonlinear Anal. 2012, 75, 3895–3901. [Google Scholar] [CrossRef]
  24. Jachymski, J. The contraction principle for mappings on a metric space with a graph. Proc. Amer. Math. Soc. 2008, 136, 1359–1373. [Google Scholar] [CrossRef]
  25. Vulikh, B.Z. Introduction to the Theory of Cones in Normed Spaces; Kalinin: Kalinin State Univ, Russia, 1977. (In Russian) [Google Scholar]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Reich, S.; Zaslavski, A.J. Inexact Iterates of Nonexpansive Mappings with Summable Errors in Metric Spaces with Graphs. Symmetry 2023, 15, 1927. https://doi.org/10.3390/sym15101927

AMA Style

Reich S, Zaslavski AJ. Inexact Iterates of Nonexpansive Mappings with Summable Errors in Metric Spaces with Graphs. Symmetry. 2023; 15(10):1927. https://doi.org/10.3390/sym15101927

Chicago/Turabian Style

Reich, Simeon, and Alexander J. Zaslavski. 2023. "Inexact Iterates of Nonexpansive Mappings with Summable Errors in Metric Spaces with Graphs" Symmetry 15, no. 10: 1927. https://doi.org/10.3390/sym15101927

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop