A Rate of Metastability for the Halpern Type Proximal Point Algorithm. (17th February 2021)

• Record Type: Journal Article
• Authors: Pinto, Pedro
• Is Part Of: Numerical functional analysis and optimization. Volume 42:Number 3(2021)
• Page Start: 320
• Page End: 343
• Publication Date: 2021-02-17
• Subjects: Metastability -- proof mining -- proximal point algorithm -- rates of asymptotic regularity -- sequential weak compactness; 47H05 -- 47H09 -- 47J25 -- 03F10; Functional analysis -- Periodicals; Numerical analysis -- Periodicals; Mathematical optimization -- Periodicals; Numerical Analysis, Computer-Assisted; 515.705
• DOI: 10.1080/01630563.2021.1876726
• Languages: English
• ISSNs: 0163-0563

Abstract

Abstract: Using proof-theoretical techniques, we analyze a proof by Hong-Kun Xu regarding a result of strong convergence for the Halpern type proximal point algorithm. We obtain a rate of metastability (in the sense of Terence Tao) and also a rate of asymptotic regularity for the iteration. Furthermore, our final quantitative result bypasses the sequential weak compactness argument present in the original proof. This elimination is reflected in the extraction of primitive recursive quantitative information. This work follows from recent results in Proof Mining regarding the removal of sequential weak compactness arguments.