A new application of proof mining in the fixed point theory of uniformly convex Banach spaces

Relatore:  Thomas Powell - Technische Universität Darmstadt
  mercoledì 20 marzo 2019 alle ore 10.30 Sala Riunioni Secondo Piano
Proof mining is a branch of proof theory which makes use of 
proof theoretic techniques to extract quantitative information from 
seemingly nonconstructive proofs. In this talk, I present a new 
application of proof mining in functional analysis, which focuses on the 
convergence of Picard iterates for generalisations of nonexpansive 
mappings in uniformly convex Banach spaces. 
On the same morning in the same room the speaker will give a preparatory lecture from 09.30, an overview of proof mining.

Contact person: Peter Schuster 


Referente esterno
Data pubblicazione
13 marzo 2019

Offerta formativa