Related papers: Proof mining in metric fixed point theory and ergo…

We extend the theoretical framework of proof mining by establishing general logical metatheorems that allow for the extraction of the computational content of theorems with prima facie "non-computational" proofs from probability theory,…

Based on the idea of randomizing the traditional space theory of functional analysis, random functional analysis has been developed as functional analysis over random metric spaces, random normed modules and random locally convex modules.…

We consider random fields indexed by finite subsets of an amenable discrete group, taking values in the Banach-space of bounded right-continuous functions. The field is assumed to be equivariant, local, coordinate-wise monotone, and almost…

A general fixed point theorem for isometries in terms of metric functionals is proved under the assumption of the existence of a conical bicombing. It is new even for isometries of Banach spaces as well as for non-locally compact…

We investigate various relaxations of additivity for set maps into Banach spaces in the context of representations of amenable groups. Specifically, we establish conditions under which asymptotically additive and almost additive set maps…

This paper provides an effective uniform rate of metastability (in the sense of Tao) on the strong convergence of Halpern iterations of nonexpansive mappings in CAT(0) spaces. The extraction of this rate from an ineffective proof due to…

Let $T$ be an ergodic measure-preserving transformation on a non-atomic probability space $(X,\Sigma,\mu)$. We prove uniform extensions of the Wiener-Wintner theorem in two settings: For averages involving weights coming from Hardy field…

We prove a mean ergodic theorem for amenable discrete quantum groups. As an application, we prove a Wiener type theorem for continuous measures on compact metrizable groups.

In this article, we obtain a version of the noncommutative Banach Principle suitable to prove Wiener-Wintner type results for weights in W1-space. This is used to obtain noncommutative Wiener-Wintner type ergodic theorems for various types…

In this paper, a strong convergence theorem for asymptotically nonexpansive mappings in a uniformly convex and smooth Banach space is proved by using metric projections. This theorem extends and improves the recent strong convergence…

In this paper we develop a unified theory for cone metric spaces over a solid vector space. As an application of the new theory we present full statements of the iterated contraction principle and the Banach contraction principle in cone…

In this paper the theory of uniformly convex metric spaces is developed. These spaces exhibit a generalized convexity of the metric from a fixed point. Using a (nearly) uniform convexity property a simple proof of reflexivity is presented…

Let C be a nonempty, bounded, closed, and convex subset of a Banach space X and $T : C \rightarrow C$ be a monotone asymptotic nonexpansive mapping. In this paper, we investigate the existence of fixed points of T. In particular, we…

In this paper we prove a general convergence theorem for almost-additive set functions on unimodular, amenable groups. These mappings take their values in some Banach space. By extending the theory of epsilon-quasi tiling techniques, we set…

Furstenberg, Katznelson and Weiss proved in the early 1980s that every measurable subset of the plane with positive density at infinity has the property that all sufficiently large real numbers are realised as the Euclidean distance between…

We analyze a proof of Bruck to obtain an explicit rate of asymptotic regularity for Ces\`aro means in uniformly convex Banach spaces. Our rate will only depend on a norm bound and a modulus $\eta$ of uniform convexity. One ingredient for…

Accretive and monotone operator theory are central branches of nonlinear functional analysis and constitute the abstract study of set-valued mappings between function spaces. This paper deals with the computational properties of certain…

We obtain an equivalent implicit characterization of $L^p$ Banach spaces that is amenable to a logical treatment. Using that, we obtain an axiomatization for such spaces into a higher-order logical system, the kind of which is used in proof…

This article presents a deep investigation of fixed points for multivalued weak contractions in cone metric spaces. We extend Berinde weak contraction principles to the multivalued setting in cone metric spaces, developing existence,…

Some fixed point results of classical theory, such as Banach's Fixed Point Theorem, have been previously extended by other authors to asymmetric spaces in recent years. The aim of this paper is to extend to asymmetric spaces some others…