8 research outputs found
Bounds on Iterations of Asymptotically Quasi-Nonexpansive Mappings
This paper establishes explicit quantitative bounds on the computation of approximate fixed points of asymptotically (quasi-) nonexpansive mappings f by means of iterative processes. Here f is a selfmapping of a convex subset C of a uniformly convex normed space X. We consider general Krasnoselski-Mann iterations with and without error terms. As a consequence of our quantitative analysis we also get new qualitative results which show that the assumption on the existence of fixed points of f can be replaced by the existence of approximate fixed points only. We explain how the existence of effective uniform bounds in this context can be inferred already a-priorily by a logical metatheorem recently proved by the first author. Our bounds were in fact found with the help of the general logical machinery behind the proof of this metatheorem. The proofs we present here are, however, completely self-contained and do not require any tools from logic
Bounds on Iterations of Asymptotically Quasi-Nonexpansive Mappings
Abstract. This paper establishes explicit quantitative bounds on the com-putation of approximate xed points of asymptotically (quasi-)nonexpansive mappings f by means of iterative processes. Here f: C! C is a selfmapping of a convex subset C X of a uniformly convex normed space X. We con-sider general Krasnoselski-Mann iterations with and without error terms. As a consequence of our quantitative analysis we also get new qualitative results which show that the assumption on the existence of xed points of f can be replaced by the existence of approximate xed points only. We explain how the existence of eective uniform bounds in this context can be inferred already a-priorily by a logical metatheorem recently proved by the rst author. Our bounds were in fact found with the help of the general logical machinery be-hind the proof of this metatheorem. The proofs we present here are, however, completely selfcontained and do not require any tools from logic. 1
Effective Bounds on Strong Unicity in L1-Approximation
In this paper we present another case study in the general project of Proof Mining which means the logical analysis of prima facie non-effective proofs with the aim of extracting new computationally relevant data. We use techniques based on monotone functional interpretation (developed in [17]) to analyze Cheney's simplification [6] of Jackson's original proof [9] from 1921 of the uniqueness of the best L1-approximation of continuous functions f in C[0, 1] by polynomials p in Pn of degre
Computational Problems in Metric Fixed Point Theory and their Weihrauch Degrees
We study the computational difficulty of the problem of finding fixed points
of nonexpansive mappings in uniformly convex Banach spaces. We show that the
fixed point sets of computable nonexpansive self-maps of a nonempty, computably
weakly closed, convex and bounded subset of a computable real Hilbert space are
precisely the nonempty, co-r.e. weakly closed, convex subsets of the domain. A
uniform version of this result allows us to determine the Weihrauch degree of
the Browder-Goehde-Kirk theorem in computable real Hilbert space: it is
equivalent to a closed choice principle, which receives as input a closed,
convex and bounded set via negative information in the weak topology and
outputs a point in the set, represented in the strong topology. While in finite
dimensional uniformly convex Banach spaces, computable nonexpansive mappings
always have computable fixed points, on the unit ball in infinite-dimensional
separable Hilbert space the Browder-Goehde-Kirk theorem becomes
Weihrauch-equivalent to the limit operator, and on the Hilbert cube it is
equivalent to Weak Koenig's Lemma. In particular, computable nonexpansive
mappings may not have any computable fixed points in infinite dimension. We
also study the computational difficulty of the problem of finding rates of
convergence for a large class of fixed point iterations, which generalise both
Halpern- and Mann-iterations, and prove that the problem of finding rates of
convergence already on the unit interval is equivalent to the limit operator.Comment: 44 page
Proof mining in metric fixed point theory and ergodic theory
In this survey we present some recent applications of proof mining to the
fixed point theory of (asymptotically) nonexpansive mappings and to the
metastability (in the sense of Terence Tao) of ergodic averages in uniformly
convex Banach spaces.Comment: appeared as OWP 2009-05, Oberwolfach Preprints; 71 page
On the computational content of the Krasnoselski and Ishikawa fixed point theorems
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 under certain compactness conditions. But, as we show, already for uniformly convex spaces in general no bound on the rate of convergence can be computed uniformly in f . This is related to the non-uniqueness of fixed points. However, the iterations yield even without any compactness assumption and for arbitrary normed spaces approximate fixed points of arbitrary quality for bounded C (asymptotic regularity, Ishikawa 1976). We apply proof theoretic techniques (developed in previous papers of us) to non-effective proofs of this regularity and extract effective uniform bounds on the rate of the asymptotic re..