Effective results on a fixed point algorithm for families of nonlinear mappings

DOI10.1016/J.APAL.2016.09.001MaRDI QIDQ331050zbMATH OpenOpenAlexFDO

Authors Andrei Sipoş

Publication date 26 October 2016

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1606.03895

zbMATH Keywords

parallel algorithmasymptotic regularityeffective boundsproof miningstrict pseudocontractions

Mathematics Subject Classification ID

Contraction-type mappings, nonexpansive mappings, (A)-proper mappings, etc. (47H09) Iterative procedures involving nonlinear operators (47J25) Constructive and recursive analysis (03F60) Functionals in proof theory (03F10)

Abstract: We use proof mining techniques to obtain a uniform rate of asymptotic regularity for the instance of the parallel algorithm used by L'opez-Acedo and Xu to find common fixed points of finite families of $k$-strict pseudocontractive self-mappings of convex subsets of Hilbert spaces. We show that these results are guaranteed by a number of logical metatheorems for classical and semi-intuitionistic systems.

Recommendations

• An application of proof mining to nonlinear iterations
• An algorithm for a common fixed point of a family of pseudocontractive mappings
• Some results on parallel iterative algorithms for strictly pseudocontractive mappings
• scientific article; zbMATH DE number 1746038
• Quantitative analysis of iterative algorithms in fixed point theory and convex optimization

Cites work

• scientific article; zbMATH DE number 956475 (Why is no real title available?)
• scientific article; zbMATH DE number 3216998 (Why is no real title available?)
• scientific article; zbMATH DE number 3231083 (Why is no real title available?)
• A quadratic rate of asymptotic regularity for CAT(0)-spaces
• A rate of asymptotic regularity for the Mann iteration of \(\kappa\)-strict pseudo-contractions
• An application of proof mining to nonlinear iterations
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Bounds on Kuhfittig's iteration schema in uniformly convex hyperbolic spaces
• Construction of fixed points of nonlinear mappings in Hilbert space
• General logical metatheorems for functional analysis
• Hybrid functional interpretations of linear and intuitionistic logic
• Iterative methods for strict pseudo-contractions in Hilbert spaces
• Relative constructivity
• Some logical metatheorems with applications in functional analysis
• Strongly uniform bounds from semi-constructive proofs
• Weak and strong convergence theorems for strict pseudo-contractions in Hilbert spaces

Cited in

(2)

• A proof‐theoretic metatheorem for tracial von Neumann algebras
• Asymptotic regularity, fixed points and successive approximations

This page was built for publication: Effective results on a fixed point algorithm for families of nonlinear mappings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q331050)