scholarly journals Effective Uniform Bounds on the Krasnoselski-Mann Iteration

2000 ◽  
Vol 7 (9) ◽  
Author(s):  
Ulrich Kohlenbach

This paper is a case study in proof mining applied to non-effective proofs<br />in nonlinear functional analysis. More specifically, we are concerned with the<br />fixed point theory of nonexpansive selfmappings f of convex sets C in normed spaces. We study the Krasnoselski iteration as well as more general so-called Krasnoselski-Mann iterations. These iterations converge to fixed points of f only under special compactness conditions and even for uniformly convex<br />spaces the rate of convergence is in general not computable in f (which is<br />related to the non-uniqueness of fixed points). However, the iterations yield<br />approximate fixed points of arbitrary quality for general normed spaces and<br />bounded C (asymptotic regularity).<br />In this paper we apply general proof theoretic results obtained in previous<br />papers to non-effective proofs of this regularity and extract uniform explicit<br />bounds on the rate of the asymptotic regularity. We start off with the classical<br />case of uniformly convex spaces treated already by Krasnoselski and show<br />how a logically motivated modification allows to obtain an improved bound. Already the analysis of the original proof (from 1955) yields an elementary<br />proof for a result which was obtained only in 1990 with the use of the deep<br />Browder-G¨ohde-Kirk fixed point theorem. The improved bound from the modified<br /> proof gives applied to various special spaces results which previously had<br />been obtained only by ad hoc calculations and which in some case are known<br />to be optimal.<br />The main section of the paper deals with the general case of arbitrary normed<br />spaces and yields new results including a quantitative analysis of a theorem<br />due to Borwein, Reich and Shafrir (1992) on the asymptotic behaviour of<br />the general Krasnoselski-Mann iteration in arbitrary normed spaces even for unbounded sets C. Besides providing explicit bounds we also get new qualitative results concerning the independence of the rate of convergence of the norm of that iteration from various input data. In the special case of bounded convex sets, where by well-known results of Ishikawa, Edelstein/O'Brian and Goebel/Kirk the norm of the iteration converges to zero, we obtain uniform<br />bounds which do not depend on the starting point of the iteration and the<br />nonexpansive function and the normed space X and, in fact, only depend<br />on the error epsilon, an upper bound on the diameter of C and some very general information on the sequence of scalars k used in the iteration. Even non-effectively only the existence of bounds satisfying weaker uniformity conditions was known before except for the special situation, where lambda_k := lambda is constant. For the unbounded case, no quantitative information was known so far.

2002 ◽  
Vol 9 (10) ◽  
Author(s):  
Ulrich Kohlenbach

In a previous paper we obtained an effective quantitative analysis of a theorem due to Borwein, Reich and Shafrir on the asymptotic behavior of general Krasnoselski-Mann iterations for nonexpansive self-mappings of convex sets C in arbitrary normed spaces. We used this result to obtain a new strong uniform version of Ishikawa's theorem for bounded C . In this paper we give a qualitative improvement of our result in the unbounded case and prove the uniformity result for the bounded case under the weaker assumption that C contains a point x whose Krasnoselski-Mann iteration (x_n) is bounded. <br />We also consider more general iterations for which asymptotic regularity is known only for uniformly convex spaces (Groetsch). We give uniform effective bounds for (an extension of) Groetsch's theorem which generalize previous results by Kirk/Martinez-Yanez and the author.


Filomat ◽  
2018 ◽  
Vol 32 (1) ◽  
pp. 187-196 ◽  
Author(s):  
Kifayat Ullah ◽  
Muhammad Arshad

In this paper we propose a new three-step iteration process, called M iteration process, for approximation of fixed points. Some weak and strong convergence theorems are proved for Suzuki generalized nonexpansive mappings in the setting of uniformly convex Banach spaces. Numerical example is given to show the efficiency of new iteration process. Our results are the extension, improvement and generalization of many known results in the literature of iterations in fixed point theory.


2021 ◽  
Vol 2021 ◽  
pp. 1-8
Author(s):  
Junaid Ahmad ◽  
Kifayat Ullah ◽  
Hüseyin Işik ◽  
Muhammad Arshad ◽  
Manuel de la Sen

We consider the class of mappings endowed with the condition E in a nonlinear domain called 2-uniformly convex hyperbolic space. We provide some strong and Δ -convergence theorems for this class of mappings under the Agarwal iterative process. In order to support the main outcome, we procure an example of mappings endowed with the condition E and prove that its Agarwal iterative process is more effective than Mann and Ishikawa iterative processes. Simultaneously, our results hold in uniformly convex Banach, CAT(0), and some CAT( κ ) spaces. This approach essentially provides a new setting for researchers who are working on the iterative procedures in fixed point theory and applications.


2020 ◽  
Vol 21 (1) ◽  
pp. 87 ◽  
Author(s):  
Laurence Boxer ◽  
P. Christopher Staecker

<p>In this paper, we examine some properties of the fixed point set of a digitally continuous function. The digital setting requires new methods that are not analogous to those of classical topological fixed point theory, and we obtain results that often differ greatly from standard results in classical topology.</p><p>We introduce several measures related to fixed points for continuous self-maps on digital images, and study their properties. Perhaps the most important of these is the fixed point spectrum F(X) of a digital image: that is, the set of all numbers that can appear as the number of fixed points for some continuous self-map. We give a complete computation of F(C<sub>n</sub>) where C<sub>n</sub> is the digital cycle of n points. For other digital images, we show that, if X has at least 4 points, then F(X) always contains the numbers 0, 1, 2, 3, and the cardinality of X. We give several examples, including C<sub>n</sub>, in which F(X) does not equal {0, 1, . . . , #X}.</p><p>We examine how fixed point sets are affected by rigidity, retraction, deformation retraction, and the formation of wedges and Cartesian products. We also study how fixed point sets in digital images can be arranged; e.g., for some digital images the fixed point set is always connected.</p>


2013 ◽  
Vol 29 (1) ◽  
pp. 125-132
Author(s):  
CLAUDIA ZAHARIA ◽  
◽  
DOREL MIHET ◽  

We establish stability results concerning the additive and quadratic functional equations in complete Menger ϕ-normed spaces by using fixed point theory. As particular cases, some theorems regarding the stability of functional equations in β - normed and quasi-normed spaces are obtained.


Axioms ◽  
2020 ◽  
Vol 9 (4) ◽  
pp. 132
Author(s):  
Youssef Errai ◽  
El Miloudi Marhrani ◽  
Mohamed Aamri

We use interpolation to obtain a common fixed point result for a new type of Ćirić–Reich–Rus-type contraction mappings in metric space. We also introduce a new concept of g-interpolative Ćirić–Reich–Rus-type contractions in b-metric spaces, and we prove some fixed point results for such mappings. Our results extend and improve some results on the fixed point theory in the literature. We also give some examples to illustrate the given results.


Mathematics ◽  
2020 ◽  
Vol 8 (4) ◽  
pp. 578
Author(s):  
Afrah A. N. Abdou ◽  
Mohamed Amine Khamsi

Kannan maps have inspired a branch of metric fixed point theory devoted to the extension of the classical Banach contraction principle. The study of these maps in modular vector spaces was attempted timidly and was not successful. In this work, we look at this problem in the variable exponent sequence spaces lp(·). We prove the modular version of most of the known facts about these maps in metric and Banach spaces. In particular, our results for Kannan nonexpansive maps in the modular sense were never attempted before.


Author(s):  
Jürgen Schu

AbstractLet A be a subset of a Banach space E. A mapping T: A →A is called asymptoically semicontractive if there exists a mapping S: A×A→A and a sequence (kn) in [1, ∞] such that Tx=S(x, x) for all x ∈A while for each fixed x ∈A, S(., x) is asymptotically nonexpansive with sequence (kn) and S(x,.) is strongly compact. Among other things, it is proved that each asymptotically semicontractive self-mpping T of a closed bounded and convex subset A of a uniformly convex Banach space E which satisfies Opial's condition has a fixed point in A, provided s has a certain asymptoticregurity property.


2011 ◽  
Vol 61 (5) ◽  
Author(s):  
D. Miheţ ◽  
R. Saadati ◽  
S. Vaezpour

AbstractWe establish a stability result concerning the functional equation: $\sum\limits_{i = 1}^m {f\left( {mx_i + \sum\limits_{j = 1,j \ne i}^m {x_j } } \right) + f\left( {\sum\limits_{i = 1}^m {x_i } } \right) = 2f\left( {\sum\limits_{i = 1}^m {mx_i } } \right)} $ in a large class of complete probabilistic normed spaces, via fixed point theory.


1989 ◽  
Vol 40 (1) ◽  
pp. 113-117 ◽  
Author(s):  
M. Maiti ◽  
M.K. Ghosh

In a uniformly convex Banach space the convergence of Ishikawa iterates to a fixed point is discussed for nonexpansive and generalised nonexpansive mappings.


Sign in / Sign up

Export Citation Format

Share Document