Strong Convergence of Cesaro Means of Firmly Nonexpansive Iterates
Iterates of a firmly nonexpansive operator converge weakly but not strongly, by Genel and Lindenstrauss. Whether their Cesaro means converge strongly was open. They need not: an explicit curve gives a counterexample.
Exact FrontierDelta
Scope and record
Occurred: May 25, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-co-developed. Imported under CC BY 4.0.
Canonical aliases: Strong Convergence of Cesaro Means of Firmly Nonexpansive Iterates · Cesaro means
Confidence: Not scored
Registry verification: unreviewed · preprint · resolved
Attribution
VibeMathed
registry · event recorded by
Heinz H. Bauschke
human · human collaborator
Tran Thanh Tung
human · human collaborator
ChatGPT 5.5
model · ai model contributor · OpenAI
Lineage and corrections
This event attributed to Tran Thanh Tung
This event attributed to Heinz H. Bauschke
This event attributed to ChatGPT 5.5