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

DOI10.1016/J.APAL.2016.09.001zbMATH Open1422.03123arXiv1606.03895OpenAlexW2963134493MaRDI QIDQ331050FDOQ331050

Authors: Andrei Sipoş 

Publication date: 26 October 2016

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

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.

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

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

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)

Cites Work

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

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)