Please use this identifier to cite or link to this item:

Title: The Halpern-Mann iteration in CAT(0) spaces.
Authors: Dinis, Bruno
Keywords: Proof mining
Halpern-Mann iteration
CAT(0) spaces
Issue Date: 2022
Abstract: Complete CAT(0) spaces, also known as Hadamard spaces, are a non-linear generalization of Hilbert spaces. Benefiting from ideas and tools from the proof mining program it was shown by Dinis and Pinto the strong convergence of an iterative schema which alternates between Halpern and Krasnoselskii-Mann style iterations in the general context of CAT(0) spaces. At the same time, the logical tools used allowed to obtain quantitative information in the form of rates of asymptotic regularity and rates of metastability (in the sense of T. Tao). If one restricts oneself to Hilbert spaces, the proof follows some standard arguments. However, to obtain the proof in the more general context of CAT(0) spaces the use of logical tools, and in particular the technique introduced by Ferreira et al., seem to be necessary. In this talk I will explain the role of the logical tools in obtaining this result.
Type: lecture
Appears in Collections:CIMA - Comunicações - Em Congressos Científicos Nacionais
MAT - Comunicações - Em Congressos Científicos Nacionais

Files in This Item:

File Description SizeFormat
Faro_DiL_22.pdf490.45 kBAdobe PDFView/Open
FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpaceOrkut
Formato BibTex mendeley Endnote Logotipo do DeGóis 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.


Dspace Dspace
DSpace Software, version 1.6.2 Copyright © 2002-2008 MIT and Hewlett-Packard - Feedback
UEvora B-On Curriculum DeGois