NICOLAE , Adriana

We further study averaged and firmly nonexpansive mappings in the setting of geodesic spaces with a main focus on the asymptotic behavior of their Picard iterates. We use methods of proof mining to obtain an explicit quantitative version of a generalization to geodesic spaces of a result on the asymptotic behavior of Picard iterates for firmly...

We give fixed point results for classes of mappings that generalize pointwise contractions, asymptotic contractions, asymptotic pointwise contractions, and nonexpansive and asymptotic nonexpansive mappings. We consider the case of metric spaces and, in particular, CAT0 spaces. We also study the well-posedness of these fixed point problems.

Karlsson and Margulis [A. Karlsson, G. Margulis, A multiplicative ergodic theorem and nonpositively curved spaces. Commun. Math. Phys. 208 (1999), 107-123] proved in the setting of uniformly convex geodesic spaces, which additionally satisfy a nonpositive curvature condition, an ergodic theorem that focuses on the asymptotic behavior of...

This paper provides uniform bounds on the asymptotic regularity for iterations associated to a finite family of nonexpansive mappings. We obtain our quantitative results in the setting of (r, δ)-convex spaces, a class of geodesic spaces which generalizes metric spaces with a convex geodesic bicombing.

In this paper we apply proof mining techniques to compute, in the setting of CAT(κ) spaces (with κ > 0), effective and highly uniform rates of asymptotic regularity and metastability for a nonlinear generalization of the ergodic averages, known as the Halpern iteration. In this way, we obtain a uniform quantitative version of a nonlinear...

Let A and X be nonempty, bounded and closed subsets of a geodesic metric space (E, d). The minimization (resp. maximization) problem denoted by min(A, X) (resp. max(A, X)) consists in finding (a0,x0)∈A×X(a0,x0)∈A×X such that d(a0,x0)=inf{d(a,x):a∈A,x∈X}d(a0,x0)=inf{d(a,x):a∈A,x∈X} (resp....

This paper deals with the study of parameter dependence of extensions of Lipschitz mappings from the point of view of continuity. We show that if assuming appropriate curvature bounds for the spaces, the multivalued extension operators that assign to every nonexpansive (resp. Lipschitz) mapping all its nonexpansive extensions (resp. Lipschitz...

Starting in 2005, general logical metatheorems have been developed that guarantee the extractability of uniform effective bounds from large classes of proofs of theorems that involve abstract metric structures X. In this paper we adapt this to the class of CAT(κ)-spaces X for κ > 0 and establish a new metatheorem that explains specific bound...

Given A and B two nonempty subsets in a metric space, a mapping T : A ∪ B → A ∪ B is relatively nonexpansive if d(T x, T y) ≤ d(x, y) for every x ∈ A, y ∈ B. A best proximity point for such a mapping is a point x ∈ A ∪ B such that d(x, T x) = dist(A,B). In this work, we extend the results given in [A.A. Eldred, W.A. Kirk, P. Veeramani, Proximal...

We study the nonexpansivity of reflection mappings in geodesic spaces and apply our findings to the averaged alternating reflection algorithm employed in solving the convex feasibility problem for two sets in a nonlinear context. We show that weak convergence results from Hilbert spaces find natural counterparts in spaces of constant curvature....

We prove that geodesic Ptolemy spaces with a continuous midpoint map are strictly convex. Moreover, we show that geodesic Ptolemy spaces with a uniformly continuous midpoint map are reflexive and that in such a setting bounded sequences have unique asymptotic centers. These properties will then be applied to yield a series of fixed point...

The proximal point algorithm is a widely used tool for solving a variety of convex optimization problems such as finding zeros of maximally monotone operators, fixed points of nonexpansive mappings, as well as minimizing convex functions. The algorithm works by applying successively so-called "resolvent" mappings associated to the original...

We provide in a unified way quantitative forms of strong convergence results for numerous iterative procedures which satisfy a general type of Fej´er monotonicity where the convergence uses the compactness of the underlying set. These quantitative versions are in the form of explicit rates of so-called metastability in the sense of T. Tao. Our...

In this paper, we use techniques which originate from proof mining to give rates of asymptotic regularity and metastability for a sequence associated to the composition of two firmly nonexpansive mappings.

We study the existence of fixed points in the context of uniformly convex geodesic metric spaces, hyperconvex spaces and Banach spaces for single and multivalued mappings satisfying conditions that generalize the concept of nonexpansivity. Besides, we use the fixed point theorems proved here to give common fixed point results for commuting mappings.

We analyze, based on an interplay between ideas and techniques from logic and geometric analysis, a pursuit-evasion game. More precisely, we focus on a uniform betweenness property and use it in the study of a discrete lion and man game with an ε -capture criterion. In particular, we prove that in uniformly convex bounded domains the lion...

In this paper we provide a unified treatment of some convex minimization problems, which allows for a better understanding and, in some cases, improvement of results in this direction proved recently in spaces of curvature bounded above. For this purpose, we analyze the asymptotic behavior of compositions of finitely many firmly nonexpansive...

In this work we study continuity properties of convex combinations in Busemann convex geodesic spaces and apply them to obtain two extension results for continuous and Lipschitz mappings with values in a Busemann convex space.

Various results based on some convexity assumptions (involving the exponential map along with affine maps, geodesics and convex hulls) have been recently established on Hadamard manifolds. In this paper we prove that these conditions are mutually equivalent and they hold if and only if the Hadamard manifold is isometric to the Euclidean space....