An application of proof mining to nonlinear iterations

DOI10.1016/J.APAL.2014.04.015MaRDI QIDQ2453072zbMATH OpenOpenAlexFDO

Authors Laurenţiu Leuştean

Publication date 6 June 2014

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

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

zbMATH Keywords

nonexpansive mappingsasymptotic regularityproof miningiterative procedureslogical metatheoremsuniformly convex geodesic spaces

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: In this paper we apply methods of proof mining to obtain a highly uniform effective rate of asymptotic regularity for the Ishikawa iteration associated to nonexpansive self-mappings of convex subsets of a class of uniformly convex geodesic spaces. Moreover, we show that these results are guaranteed by a combination of logical metatheorems for classical and semi-intuitionistic systems.

Recommendations

• scientific article; zbMATH DE number 2174396
• PROOF MINING IN L^p SPACES
• Proof mining in \(L_{1}\)-approximation
• New Computational Paradigms
• A coinductive approach to proof search
• Mining the Archive of Formal Proofs
• Proof mining in topological dynamics

Cites work

• scientific article; zbMATH DE number 3853749 (Why is no real title available?)
• scientific article; zbMATH DE number 5605127 (Why is no real title available?)
• scientific article; zbMATH DE number 3825797 (Why is no real title available?)
• scientific article; zbMATH DE number 956475 (Why is no real title available?)
• scientific article; zbMATH DE number 1385418 (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?)
• scientific article; zbMATH DE number 3182580 (Why is no real title available?)
• scientific article; zbMATH DE number 3108780 (Why is no real title available?)
• A convexity in metric space and nonexpansive mappings. I.
• A correspondence principle between (hyper)graph theory and probability theory, and the (hyper)graph removal Lemma
• A quadratic rate of asymptotic regularity for CAT(0)-spaces
• A quantitative ergodic theory proof of Szemerédi's theorem
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Approximating fixed points of nonexpansive mappings by the Ishikawa iteration process
• Fixed Points by a New Iteration Method
• General logical metatheorems for functional analysis
• Hybrid Functional Interpretations
• Hybrid functional interpretations of linear and intuitionistic logic
• Mean Value Methods in Iteration
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Metric spaces, convexity and nonpositive curvature
• Nonexpansive iterations in uniformly convex \(W\)-hyperbolic spaces
• Norm convergence of multiple ergodic averages for commuting transformations
• On -convergence theorems in CAT(0) spaces
• On the computational content of convergence proofs via Banach limits
• Proof mining in \(\mathbb{R}\)-trees and hyperbolic spaces
• Remarks on Some Fixed Point Theorems
• Some logical metatheorems with applications in functional analysis
• Spaces with non-positive curvature
• Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
• Strongly uniform bounds from semi-constructive proofs
• Subsystems of second order arithmetic
• The mathematical significance of proof theory
• The primes contain arbitrarily long arithmetic progressions
• The solution by iteration of nonlinear functional equations in Banach spaces
• Weak convergence theorems for nonexpansive mappings in Banach spaces

Cited in

(17)

• Bounds on Kuhfittig's iteration schema in uniformly convex hyperbolic spaces
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
• Proof mining for nonlinear operator theory. Four case studies on accretive operators, the Cauchy problem and nonexpansive semigroups
• scientific article; zbMATH DE number 1746038 (Why is no real title available?)
• scientific article; zbMATH DE number 5859846 (Why is no real title available?)
• Construction of fixed points of asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces
• Mining the Archive of Formal Proofs
• scientific article; zbMATH DE number 7471663 (Why is no real title available?)
• Effective results on a fixed point algorithm for families of nonlinear mappings
• Rates of asymptotic regularity for Halpern iterations of nonexpansive mappings
• PROOF MINING IN L^p SPACES
• Quantitative results on the Ishikawa iteration of Lipschitz pseudo-contractions
• A proof‐theoretic metatheorem for tracial von Neumann algebras
• Proof mining for the dual of a Banach space with extensions for uniformly Fréchet differentiable functions
• Proof mining in \(\mathbb{R}\)-trees and hyperbolic spaces
• Quantitative results on Fejér monotone sequences
• Asymptotic regularity, fixed points and successive approximations

This page was built for publication: An application of proof mining to nonlinear iterations

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