Alexander J. Zaslavski
Abstract:In the present paper, under certain assumptions, we establish the convergence of iterates for self-mappings of complete metric spaces with graphs which are of a contractive type. The class of mappings considered in the paper contains the so-called cyclical mappings introduced by W. A. Kirk, P. S. Srinivasan and P. Veeramani in 2003 and the class of monotone nonexpansive operators. Our results hold in the case of a symmetric graph.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the existence of fixed points of self - mappings and the convergence of iterative sequences in complete metric spaces with graph structures under specific conditions. Specifically, the author studied a class of self - mappings with contraction properties (i.e., \(G\)-contraction mappings). These mappings have graph structures on complete metric spaces and satisfy certain assumptions. The author's goal was to prove that the iterative sequences of such mappings will converge to a fixed point under certain conditions.
### Main contributions of the paper:
1. **Existence of fixed points**: Under certain assumptions, it is proved that \(G\)-contraction mappings have fixed points in complete metric spaces.
2. **Convergence of iterative sequences**: Under the same assumptions, it is proved that the iterative sequences of \(G\)-contraction mappings will converge to this fixed point.
3. **Extension of existing results**: The author's results are applicable not only to cyclical mappings but also to monotone nonexpansive mappings, thus extending the existing fixed - point theory.
### Specific assumptions:
- \((X, \rho)\) is a complete metric space, where \(\rho\) is the metric.
- \(G\) is a graph defined on \(X\), and \(V(G)\) and \(E(G)\) represent the vertex set and edge set of the graph respectively.
- \(T: X\rightarrow X\) is a self - mapping, satisfying that for any \((x, y)\in E(G)\), \((T(x), T(y))\in E(G)\) and \(\rho(T(x), T(y))\leq\phi(\rho(x, y))\rho(x, y)\), where \(\phi: [0,\infty)\to[0, 1]\) is a decreasing function and \(\phi(t)<1\) for all \(t > 0\).
### Main theorems:
- **Theorem 1**: In the case of \(G\)-strictly contraction mappings, if there exists a summable computational error sequence, then the iterative sequence will converge to a fixed point.
- **Theorem 2**: The exact iterative sequence is an approximate fixed point.
- **Theorem 3**: Under certain assumptions, the exact iterative sequence will converge to a fixed point.
- **Theorem 4**: In the case of \(G\)-contraction mappings, the inexact iterative sequence is also an approximate fixed point.
- **Theorem 5**: Under certain assumptions, the inexact iterative sequence will converge to a fixed point.
### Conclusion:
Through strict mathematical proofs, the paper shows the existence of fixed points of a class of \(G\)-contraction mappings and the convergence of iterative sequences in complete metric spaces with graph structures. These results not only extend the existing fixed - point theory but also provide new tools and methods for solving practical problems.