Nonexpansive Mappings, Asymptotic Regularity and Successive Approximations

Edelstein, Michael; O’Brien, Richard C

doi:10.1112/jlms/s2-17.3.547

Cited by 104 publications

(83 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Set T α = (1 − α)I + αT , then for each x ∈ K, T n α (x) − T n+1 α (x) → 0. In 1978, Edelstein and O'Brien [4] proved that {T n α (x) − T n+1 α (x)} converges to 0 uniformly for x ∈ K, in 1983 Goebel and Kirk [8] proved that this convergence is even uniform for T ∈ ζ, where ζ denotes the collection of all nonexpansive self-mappings of K. Also, we obtain some result on T α and reserch about fixed point and it.…”

Section: Introductionmentioning

confidence: 82%

Fixed point for completely norm space and map Tɑ

Mohsenalhosseini¹,

Mazaheri²

2012

Math Morav

View full text Add to dashboard Cite

show abstract

Section: Introductionmentioning

confidence: 82%

Fixed point for completely norm space and map Tɑ

Mohsenalhosseini¹,

Mazaheri²

2012

Math Morav

View full text Add to dashboard Cite

show abstract

“…4 In [11] it is actually shown that one can choose n in the corollary independently of x ∈ C and f . Whereas in [11] a complicated functional theoretic embedding into the space of all nonexpansive mappings is used to derive this uniformity statement, it trivially follows from our quantitative analysis in corollary 4.6 below which even provides an explicit effective description of such a uniform n. For a more restricted iteration the existence of a bound n independent of x was also obtained by [8] using, however, also a universal embedding theorem (due to Banach and Mazur). The use of non-trivial functional theoretic arguments in [11] and [8] to obtain the (ineffective) existence of a uniform n clearly indicates that the authors were not aware of explicit effective uniform bounds hidden in the proof of lim k→∞ f (x k ) − x k = 0 as given e.g.…”

mentioning

confidence: 96%

“…We consider strong generalizations of Krasnoselski's result due to [16], [8], [11] and [4]. In [16] it is shown that Krasnoselski's fixed point theorem even holds without the assumption of X being uniformly convex.…”

mentioning

confidence: 99%

“…None of the papers [16], [8], [11], [4] contains any bounds and in fact [8] and [11] use non-trivial functional theoretic embeddings to show (ineffectively) the existence of a common number k ∈ IN which satisfies x k − f (x k ) < ε uniformly for all starting points x 0 ([8]) 9 and all nonexpansive functions f ( [11]). This uniformity comes for free out of our proof analysis.…”

mentioning

confidence: 99%

See 1 more Smart Citation

Effective Uniform Bounds on the Krasnoselski-Mann Iteration

Kohlenbach¹

2000

BRICS

View full text Add to dashboard Cite

This paper is a case study in proof mining applied to non-effective proofs in nonlinear functional analysis. More specifically, we are concerned with the 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 spaces the rate of convergence is in general not computable in f (which is related to the non-uniqueness of fixed points). However, the iterations yield approximate fixed points of arbitrary quality for general normed spaces and bounded C (asymptotic regularity). In this paper we apply general proof theoretic results obtained in previous papers to non-effective proofs of this regularity and extract uniform explicit bounds on the rate of the asymptotic regularity. We start off with the classical case of uniformly convex spaces treated already by Krasnoselski and show how a logically motivated modification allows to obtain an improved bound. Already the analysis of the original proof (from 1955) yields an elementary proof for a result which was obtained only in 1990 with the use of the deep Browder-G¨ohde-Kirk fixed point theorem. The improved bound from the modified proof gives applied to various special spaces results which previously had been obtained only by ad hoc calculations and which in some case are known to be optimal. The main section of the paper deals with the general case of arbitrary normed spaces and yields new results including a quantitative analysis of a theorem due to Borwein, Reich and Shafrir (1992) on the asymptotic behaviour of 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 bounds which do not depend on the starting point of the iteration and the nonexpansive function and the normed space X and, in fact, only depend 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.

show abstract

“…The existence of fixed points for commutative (and weaker) semigroups, having some type of nonexpansive condition, has been investigated by many authors (cf. [1][2][3][4][5][6][7][8][9][10][11]14]). We list some of these conditions.…”

mentioning

confidence: 99%