English
Related papers

Related papers: An application of proof mining to nonlinear iterat…

200 papers

We show that in the framework of CAT(0) spaces, any convex combination of two mappings which are firmly nonexpansive -- or which satisfy the more general property $(P_2)$ -- is asymptotically regular, conditional on its fixed point set…

Optimization and Control · Mathematics 2018-12-04 Andrei Sipos

In this paper, we consider the asymptotical regularization with convex constraints for nonlinear ill-posed problems. The method allows to use non-smooth penalty terms, including the L1-like and the total variation-like penalty functionals,…

Numerical Analysis · Mathematics 2022-03-23 Min Zhong , Wei Wang

This paper provides a fixed point theorem and iterative construction of a common fixed point for a general class of nonlinear mappings in the setup of uniformly convex hyperbolic spaces. We translate a multi-step iteration, essentially due…

Functional Analysis · Mathematics 2013-12-23 Hafiz Fukhar-ud-din , Amna Kalsoom , Muhammad Aqeel Ahmad Khan

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…

Logic · Mathematics 2009-03-10 Laurentiu Leustean

We study Krasnoselskii-Mann style iterative algorithms for approximating fixpoints of asymptotically weakly contractive mappings, with a focus on providing generalised convergence proofs along with explicit rates of convergence. More…

Functional Analysis · Mathematics 2021-04-30 Thomas Powell , Franziskus Wiesnet

There has been a recent surge of interest in the study of asymptotic reconstruction performance in various cases of generalized linear estimation problems in the teacher-student setting, especially for the case of i.i.d standard normal…

Machine Learning · Statistics 2023-02-20 Cedric Gerbelot , Alia Abbara , Florent Krzakala

We give a rate of metastability for Halpern's iteration relative to a rate of metastability for the resolvent for nonexpansive mappings in uniformly smooth Banach spaces, extracted from a proof due to Xu. In Hilbert space, the latter is…

Functional Analysis · Mathematics 2013-10-28 Daniel Körnlein

Bauschke and Moursi have recently obtained results that implicitly contain the fact that the composition of finitely many averaged mappings on a Hilbert space that have approximate fixed points also has approximate fixed points and thus is…

Optimization and Control · Mathematics 2022-11-22 Andrei Sipos

We propose an iterative estimating equations procedure for analysis of longitudinal data. We show that, under very mild conditions, the probability that the procedure converges at an exponential rate tends to one as the sample size…

Statistics Theory · Mathematics 2007-12-18 Jiming Jiang , Yihui Luan , You-Gan Wang

In this paper we generalize the strongly convergent Krasnoselskii- Mann-type iteration for families of nonexpansive mappings defined recently by Bo\c{t} and Meier in Hilbert spaces to the abstract setting of W - hyperbolic spaces and we…

Optimization and Control · Mathematics 2023-06-16 Horaţiu Cheval

In this paper we establish an estimate for the rate of convergence of the Krasnosel'ski\v{\i}-Mann iteration for computing fixed points of non-expansive maps. Our main result settles the Baillon-Bruck conjecture [3] on the asymptotic…

Optimization and Control · Mathematics 2013-10-09 Roberto Cominetti , José A. Soto , José Vaisman

We apply proof mining methods to analyse a result of Boikanyo and Moro\c{s}anu on the strong convergence of a Halpern-type proximal point algorithm. As a consequence, we obtain quantitative versions of this result, providing uniform…

Optimization and Control · Mathematics 2021-03-01 Laurentiu Leustean , Pedro Pinto

In this paper, we generalize the existence result in [14] and prove convergence theorems of the iterative scheme in [12, 16] for monotone generalized alpa-nonexpansive mappings in uniformly convex partially ordered hyperbolic metric spaces.…

Functional Analysis · Mathematics 2020-06-29 Chang Il Rim , Jong Gyong Kim , Chol-Hui Yun

In this paper, we study $\Delta$- convergence of iterations for a sequence of strongly quasi-nonexpansive mappings as well as the strong convergence of the Halpern type regularization of them in Hadamard spaces. Then, we give some their…

Functional Analysis · Mathematics 2016-11-10 Hadi Khatibzadeh , Vahid Mohebbi

We use techniques of proof mining to extract a uniform rate of metastability (in the sense of Tao) for the strong convergence of approximants to fixed points of uniformly continuous pseudocontractive mappings in Banach spaces which are…

Functional Analysis · Mathematics 2020-01-17 Ulrich Kohlenbach , Andrei Sipos

In this paper, we introduce a new modified Ishikawa iteration for finding a common element of the set of solutions of an equilibrium problem and the set of fixed points of relatively nonexpansive mappings in a Banach space. Our results…

Functional Analysis · Mathematics 2014-10-16 Sattar Alizadeh , Fridoun Moradlou

In this paper we provide a unified treatment of some convex minimization problems, which allows for a better understanding and, in some cases, improvement of results in this direction proved recently in spaces of curvature bounded above.…

Functional Analysis · Mathematics 2014-11-26 David Ariza-Ruiz , Genaro López-Acedo , Adriana Nicolae

We extend the theoretical framework of proof mining by establishing general logical metatheorems that allow for the extraction of the computational content of theorems with prima facie "non-computational" proofs from probability theory,…

Logic · Mathematics 2026-01-14 Morenikeji Neri , Nicholas Pischke

We provide abstract, general and highly uniform rates of asymptotic regularity for a generalized stochastic Halpern-style iteration, which incorporates a second mapping in the style of a Krasnoselskii-Mann iteration. This iteration is…

Optimization and Control · Mathematics 2025-12-19 Nicholas Pischke , Thomas Powell

In this paper, the Mean value iterative process is modified with the Mann iterative process for mean nonexpansive mapping in a hyperbolic metric space that satisfy the symmetry criteria and in uniformly convex hyperbolic spaces to validate…

Functional Analysis · Mathematics 2025-05-12 Mohd Tariq , Mayank Sharma