A QUANTITATIVE VERSION OF A THEOREM DUE TO BORWEIN-REICH-SHAFRIR

We give a quantitative analysis of a result due to Borwein, Reich and Shafrir on the asymptotic behaviour of the general Krasnoselski-Mann iteration for nonexpansive self-mappings of convex sets in arbitrary normed spaces. Besides providing explicit bounds we also get new qualitative results concerning the independence of the rate of asymptotic regularity of that iteration from various input data. In the special case of bounded convex sets, where by well-known results of Ishikawa, Edelstein/O'Brien and Goebel/Kirk the norm of the iteration converges to zero, we obtain uniform bounds which do not depend on the starting point of the iteration and the nonexpansive function, but only depend on the error ε, an upper bound on the diameter of C and some very general information on the sequence of scalars λ k used in the iteration. Only in the special situation, where λ k := λ is constant, uniform bounds were known in that bounded case. For the unbounded case, no quantitative information was known before. Our results were obtained in a case study of analysing non-effective proofs in analysis by certain logical methods. General logical meta-theorems of the author guarantee (at least under some additional restrictions) the extractability of such bounds from proofs of a certain kind and provide an algorithm to extract them. Our results in the present paper (which we present here without any reference to that logical background) were found by applying that method to the original proof of the Borwein/Reich/Shafrir theorem. The general logical method which led to these results will be discussed (with further examples) in [22]. *Basic Research in Computer Science, funded by the Danish National Research Foundation.

[1]  W. R. Mann,et al.  Mean value methods in iteration , 1953 .

[2]  F. Browder,et al.  NONEXPANSIVE NONLINEAR OPERATORS IN A BANACH SPACE. , 1965, Proceedings of the National Academy of Sciences of the United States of America.

[3]  Dietrich Göhde,et al.  Zum Prinzip der kontraktiven Abbildung , 1965 .

[4]  William A. Kirk,et al.  A Fixed Point Theorem for Mappings which do not Increase Distances , 1965 .

[5]  S. Ishikawa.  Fixed points and iteration of a nonexpansive mapping in a Banach space , 1976 .

[6]  Myron S Henry,et al.  Continuity theorems for the rational product approximation operator , 1977 .

[7]  M. Edelstein,et al.  Nonexpansive Mappings, Asymptotic Regularity and Successive Approximations , 1978 .

[8]  W. A. Kirk,et al.  Iteration processes for nonexpansive mappings , 1983 .

[9]  S. Singh,et al.  Topological Methods in Nonlinear Functional Analysis , 1983 .

[10]  S. Reich,et al.  Uniform Convexity, Hyperbolic Geometry, and Nonexpansive Mappings , 1984 .

[11]  Peter Linz,et al.  A critique of numerical analysis , 1988 .

[12]  Itai Shafrir,et al.  Nonexpansive iterations in hyperbolic spaces , 1990 .

[13]  William A. Kirk,et al.  Approximate fixed points for nonexpansive mappings in uniformly convex spaces , 1990 .

[14]  W. A. Kirk,et al.  Topics in Metric Fixed Point Theory , 1990 .

[15]  J. Borwein,et al.  Krasnoselski-Mann Iterations in Normed Spaces , 1992, Canadian Mathematical Bulletin.

[16]  N. Lloyd.  TOPICS IN METRIC FIXED POINT THEORY (Cambridge Studies in Advanced Mathematics 28) , 1992 .

[17]  Ulrich Kohlenbach,et al.  Approximation , 2018, Passive, Active, and Digital Filters.

[18]  Ulrich Kohlenbach,et al.  Effective Moduli from Ineffective Uniqueness Proofs. An Unwinding of de La Vallée Poussin's Proof for Chebycheff Approximation , 1993, Ann. Pure Appl. Log..

[19]  U. Kohlenbach.  Analysing proofs in analysis , 1996 .

[20]  A. Kartsatos.  Theory and applications of nonlinear operators of accretive and monotone type , 1996 .

[21]  Ulrich Kohlenbach,et al.  Arithmetizing proofs in analysis , 1998 .

[22]  Ulrich Kohlenbach,et al.  Proof theory and computational analysis , 1997, COMPROX.

[23]  S. Reich,et al.  Convergence of Krasnoselskii-Mann iterations of nonexpansive operators , 2000 .

[24]  Ulrich Kohlenbach,et al.  On the Computational Content of the Krasnoselski and Ishikawa Fixed Point Theorems , 2000, CCA.

[25]  William A. Kirk,et al.  Nonexpansive mappings and asymptotic regularity , 2000 .

[26]  William A. Kirk,et al.  FIXED POINTS AND APPROXIMATE FIXED POINTS IN PRODUCT SPACES , 2001 .

[27]  Paulo Oliva,et al.  Effective Bounds on Strong Unicity in L1-Approximation , 2001 .