Metastability of the proximal point algorithm with multi-parameters

Abstract

In this article we use techniques of proof mining to analyse a result, due to Yonghong Yao and Muhammad Aslam Noor, concerning the strong convergence of a generalized proximal point algorithm which involves multiple parameters. Yao and Noor's result ensures the strong convergence of the algorithm to the nearest projection point onto the set of zeros of the operator. Our quantitative analysis, guided by Fernando Ferreira and Paulo Oliva's bounded functional interpretation, provides a primitive recursive bound on the metastability for the convergence of the algorithm, in the sense of Terence Tao. Furthermore, we obtain quantitative information on the asymptotic regularity of the iteration. The results of this paper are made possible by an arithmetization of the $\mathrm{limsup}$.

21 pages

References in corpus (2)

• Stable blow up dynamics for the 1-corotational energy critical harmonic heat flow
• Quantized slow blow up dynamics for the corotational energy critical harmonic heat flow

Cited by in corpus (12)

• A quantitative description of skyrmions in ultrathin ferromagnetic films and rigidity of degree $\pm 1$ harmonic maps from ${\mathbb{R}}^2$ to ${\mathbb{S}}^2$
• Nematic liquid crystal flow with partially free boundary
• On blow-up for the supercritical defocusing nonlinear wave equation
• Remarks on sparseness and regularity of Navier-Stokes solutions
• Existence and stability of infinite time blow-up in the Keller-Segel system
• A new conformal heat flow of harmonic maps
• On classification of global dynamics for energy-critical equivariant harmonic map heat flows and radial nonlinear heat equation
• Continuous in time bubble decomposition for the harmonic map heat flow
• Existence and stability of infinite time bubble towers in the energy critical heat equation
• Strict type-II blowup in harmonic map flow
• Stratification and rectifiability of harmonic map flows via tangent measures
• Sharp equivalent for the blowup profile to the gradient of a solution to the semilinear heat equation