Proof mining in metric fixed point theory and ergodic theory
نویسنده
چکیده
In this survey we present some recent applications of proof mining to the fixed point theory of (asymptotically) nonexpansive mappings and to the metastability (in the sense of Terence Tao) of ergodic averages in uniformly convex Banach spaces.
منابع مشابه
Fixed point theory in generalized orthogonal metric space
In this paper, among the other things, we prove the existence and uniqueness theorem of fixed point for mappings on a generalized orthogonal metric space. As a consequence of this, we obtain the existence and uniqueness of fixed point of Cauchy problem for the first order differential equation.
متن کاملCoupled coincidence point in ordered cone metric spaces with examples in game theory
In this paper, we prove some coupled coincidence point theorems for mappings with the mixed monotone property and obtain the uniqueness of this coincidence point. Then we providing useful examples in Nash equilibrium.
متن کاملRecent Progress in Proof Mining in Nonlinear Analysis
During the last two decades the program of ‘proof mining’ emerged which uses tools from mathematical logic (so-called proof interpretations) to systematically extract explicit quantitative information (e.g. rates of convergence) from prima facie nonconstructive proofs (e.g. convergence proofs). This has been applied particularly successful in the context of nonlinear analysis: fixed point theor...
متن کاملSome Fixed Point Results on Intuitionistic Fuzzy Metric Spaces with a Graph
In 2006, Espinola and Kirk made a useful contribution on combining fixed point theoryand graph theory. Recently, Reich and Zaslavski studied a new inexact iterative scheme for fixed points of contractive and nonexpansive multifunctions. In this paper, by using the main idea of their work and the idea of combining fixed point theory on intuitionistic fuzzy metric spaces and graph theory, ...
متن کاملFixed point theory for cyclic $varphi$-contractions in fuzzy metric spaces
In this paper, the notion of cyclic $varphi$-contraction in fuzzymetric spaces is introduced and a fixed point theorem for this typeof mapping is established. Meantime, an example is provided toillustrate this theorem. The main result shows that a self-mappingon a G-complete fuzzy metric space has a unique fixed point if itsatisfies the cyclic $varphi$-contraction. Afterwards, some results inco...
متن کامل