On Opial's Lemma

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Arakcheev, Aleksandr, Bauschke, Heinz H.
Format: Preprint
Published: 2025
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866909031926333440
author Arakcheev, Aleksandr
Bauschke, Heinz H.
author_facet Arakcheev, Aleksandr
Bauschke, Heinz H.
contents Opial's Lemma is a fundamental result in the convergence analysis of sequences generated by optimization algorithms in real Hilbert spaces. We introduce the concept of Opial sequences - sequences for which the limit of the distance to each point in a given set exists. We systematically derive properties of Opial sequences, contrasting them with the well-studied Fejér monotone sequences, and establish conditions for weak and strong convergence. Key results include characterizations of weak convergence via weak cluster points (reaffirming Opial's Lemma), strong convergence via strong cluster points, and the behavior of projections onto Opial sets in terms of asymptotic centers. Special cases and examples are provided to highlight the subtle differences in convergence behaviour and projection properties compared to the Fejér monotone case.
format Preprint
id arxiv_https___arxiv_org_abs_2503_22004
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle On Opial's Lemma
Arakcheev, Aleksandr
Bauschke, Heinz H.
Optimization and Control
47H09, 47J26, 90C25 (Primary) 47H05, 65K10 (Secondary)
Opial's Lemma is a fundamental result in the convergence analysis of sequences generated by optimization algorithms in real Hilbert spaces. We introduce the concept of Opial sequences - sequences for which the limit of the distance to each point in a given set exists. We systematically derive properties of Opial sequences, contrasting them with the well-studied Fejér monotone sequences, and establish conditions for weak and strong convergence. Key results include characterizations of weak convergence via weak cluster points (reaffirming Opial's Lemma), strong convergence via strong cluster points, and the behavior of projections onto Opial sets in terms of asymptotic centers. Special cases and examples are provided to highlight the subtle differences in convergence behaviour and projection properties compared to the Fejér monotone case.
title On Opial's Lemma
topic Optimization and Control
47H09, 47J26, 90C25 (Primary) 47H05, 65K10 (Secondary)
url https://arxiv.org/abs/2503.22004