An application of proof mining to nonlinear iterations

DOI10.1016/J.APAL.2014.04.015zbMATH Open1388.03052arXiv1211.2991OpenAlexW2963722077MaRDI QIDQ2453072FDOQ2453072

Authors: Laurenţiu Leuştean 

Publication date: 6 June 2014

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

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.

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

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

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)

Cites Work

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

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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Construction of fixed points of asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces
• Mining the Archive of Formal Proofs
• Title not available (Why is that?)
• 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)